2026-03-23 19:36:06,226 INFO [default] Using mxClq groupCountThreshold: 2
	 ( INFO) == Loading and Performing Problem Setup %right_file
	 ( INFO) == Processing component #1 %right_file
	 ( INFO) == Creating data structures %right_file
Cliques: {0:["V11","V27","V59","V179","V184","V284","V318","V366","V370","V391","V416","V75",],
1:["V13","V95","V113","V120","V145","V170","V195","V213","V220","V238","V338","V229",],
2:["V51","V58","V183","V283","V315","V322","V331","V340","V365","V383","V390","V442","V249",],
3:["V78","V178","V210","V235","V267","V285","V301","V303","V310","V403","V428","V437","V446","V444",],
4:["V5","V14","V103","V105","V110","V162","V187","V205","V212","V262","V287","V289","V294","V330","V394","V423","V430","V46",],
5:["V0","V11","V55","V66","V77","V84","V91","V113","V128","V148","V154","V173","V187","V191","V193","V296","V316","V339","V370","V416","V357",],
6:["V8","V10","V12","V17","V42","V67","V110","V135","V144","V165","V169","V181","V235","V253","V321","V358","V360","V378","V392","V399","V437","V151",],
7:["V0","V8","V48","V115","V142","V182","V200","V207","V225","V226","V232","V237","V255","V257","V282","V319","V335","V353","V371","V381","V414","V424","V341",],
8:["V8","V33","V51","V76","V125","V144","V149","V153","V160","V162","V164","V171","V207","V223","V241","V265","V276","V301","V305","V376","V401","V408","V433","V367",],
9:["V18","V38","V61","V68","V86","V104","V141","V186","V206","V220","V250","V286","V300","V307","V311","V323","V359","V393","V397","V411","V416","V418","V420","V443","V227",],
10:["V27","V56","V67","V90","V95","V122","V141","V149","V182","V208","V209","V236","V247","V299","V331","V340","V347","V354","V372","V375","V379","V383","V393","V404","V188",],
11:["V12","V44","V69","V80","V85","V94","V96","V119","V126","V144","V189","V192","V233","V235","V255","V260","V262","V346","V351","V362","V371","V380","V385","V424","V426","V278",],
12:["V12","V40","V78","V83","V94","V133","V178","V194","V210","V219","V235","V251","V267","V285","V301","V303","V319","V342","V351","V376","V403","V419","V428","V437","V442","V446","V449","V310",],
13:["V53","V107","V126","V130","V131","V135","V142","V149","V155","V163","V180","V187","V205","V223","V244","V246","V247","V248","V253","V262","V271","V287","V290","V348","V371","V416","V432","V433","V89",],
14:["V21","V49","V66","V91","V104","V136","V138","V143","V147","V175","V191","V220","V233","V259","V265","V281","V291","V298","V323","V330","V348","V373","V387","V389","V391","V398","V416","V427","V407",],
15:["V27","V35","V50","V55","V59","V76","V91","V97","V133","V139","V153","V169","V178","V195","V196","V203","V215","V228","V236","V253","V293","V313","V317","V329","V382","V399","V406","V448","V37",],
16:["V72","V83","V92","V95","V113","V120","V145","V149","V154","V158","V170","V172","V179","V195","V197","V213","V220","V238","V240","V242","V254","V272","V281","V297","V338","V349","V356","V365","V13",],
17:["V7","V39","V50","V66","V71","V85","V106","V118","V123","V167","V171","V180","V196","V203","V236","V296","V303","V320","V328","V349","V351","V383","V394","V396","V409","V413","V415","V422","V427","V429","V137",],
18:["V3","V32","V68","V71","V98","V101","V102","V134","V139","V158","V194","V211","V217","V225","V279","V291","V296","V303","V321","V324","V328","V353","V360","V378","V403","V421","V422","V430","V431","V438","V440","V445","V112",],
19:["V1","V3","V16","V18","V30","V35","V39","V40","V43","V61","V67","V68","V86","V93","V118","V123","V143","V159","V186","V200","V206","V212","V232","V254","V269","V283","V286","V311","V324","V396","V397","V438","V445","V202",],
20:["V28","V67","V72","V85","V147","V163","V195","V220","V224","V240","V251","V252","V254","V256","V258","V269","V277","V282","V302","V308","V318","V320","V327","V348","V374","V377","V406","V425","V429","V434","V438","V440","V441","V445","V161",],
21:["V2","V3","V4","V11","V31","V34","V51","V63","V90","V99","V124","V145","V147","V163","V172","V183","V200","V208","V233","V243","V251","V258","V276","V277","V283","V294","V308","V366","V370","V376","V386","V401","V404","V415","V435","V443","V417",],
22:["V15","V24","V44","V49","V67","V70","V74","V76","V78","V99","V103","V110","V116","V150","V157","V160","V167","V171","V187","V201","V222","V239","V252","V267","V286","V287","V292","V305","V313","V343","V356","V369","V379","V384","V392","V423","V333",],
23:["V21","V26","V29","V35","V42","V52","V63","V79","V94","V95","V109","V121","V136","V146","V149","V168","V245","V246","V280","V282","V289","V315","V316","V325","V328","V346","V353","V371","V378","V394","V397","V398","V403","V428","V431","V433","V436","V337",],
24:["V20","V29","V38","V43","V63","V77","V85","V86","V88","V102","V113","V118","V124","V142","V146","V163","V174","V181","V234","V237","V240","V243","V254","V277","V281","V286","V306","V325","V326","V328","V340","V351","V379","V394","V395","V406","V433","V436","V445","V47",],
25:["V4","V15","V44","V58","V73","V104","V116","V117","V122","V126","V135","V136","V145","V154","V162","V178","V180","V195","V197","V222","V224","V256","V257","V261","V263","V286","V314","V318","V338","V343","V361","V368","V375","V381","V386","V418","V420","V434","V440","V443","V352",],
26:["V0","V1","V3","V5","V15","V21","V23","V26","V39","V40","V58","V65","V67","V81","V84","V90","V97","V117","V128","V140","V165","V179","V181","V183","V192","V251","V283","V312","V316","V319","V330","V335","V356","V363","V382","V385","V395","V408","V412","V426","V446","V199",],
27:["V6","V11","V19","V22","V43","V49","V50","V56","V62","V67","V74","V81","V88","V92","V96","V102","V106","V116","V118","V126","V131","V135","V136","V150","V158","V178","V182","V184","V213","V233","V270","V274","V304","V320","V329","V373","V384","V397","V399","V427","V430","V439","V190",],
28:["V17","V20","V24","V28","V29","V33","V52","V65","V66","V111","V131","V152","V155","V179","V185","V187","V193","V218","V244","V250","V263","V271","V273","V275","V276","V299","V300","V306","V318","V322","V325","V345","V350","V358","V363","V365","V376","V392","V432","V436","V439","V443","V447","V9",],
29:["V34","V41","V53","V62","V76","V80","V88","V92","V93","V94","V103","V133","V152","V166","V180","V196","V209","V221","V225","V236","V266","V268","V285","V304","V315","V317","V319","V320","V348","V349","V351","V360","V372","V373","V389","V398","V400","V412","V414","V423","V427","V431","V448","V57",],
30:["V0","V19","V21","V38","V64","V76","V86","V104","V116","V123","V128","V135","V152","V156","V162","V172","V178","V182","V189","V195","V234","V252","V257","V258","V275","V286","V288","V289","V290","V292","V314","V318","V345","V348","V366","V374","V387","V393","V396","V404","V421","V434","V446","V230",],
31:["V5","V16","V71","V86","V102","V108","V110","V113","V114","V117","V124","V127","V128","V134","V141","V157","V162","V175","V182","V206","V213","V220","V226","V238","V245","V247","V255","V256","V269","V270","V275","V295","V314","V338","V347","V363","V365","V384","V393","V421","V423","V436","V443","V448","V204",],
32:["V25","V26","V29","V40","V42","V62","V63","V73","V77","V97","V99","V101","V143","V153","V154","V160","V172","V177","V192","V194","V196","V218","V239","V241","V244","V254","V256","V257","V258","V265","V281","V309","V311","V336","V360","V361","V363","V374","V379","V386","V405","V411","V433","V434","V436","V45",],
33:["V18","V24","V40","V42","V55","V94","V98","V125","V132","V140","V148","V174","V179","V184","V198","V214","V221","V232","V238","V241","V247","V251","V265","V266","V270","V272","V277","V284","V288","V293","V297","V327","V335","V347","V358","V365","V374","V386","V390","V395","V403","V411","V429","V437","V439","V231",],
34:["V19","V20","V21","V36","V44","V53","V62","V73","V100","V107","V114","V126","V131","V135","V142","V149","V155","V157","V159","V163","V178","V180","V187","V205","V210","V214","V223","V244","V246","V247","V248","V253","V262","V268","V271","V287","V290","V314","V339","V348","V366","V371","V377","V387","V398","V416","V421","V432","V433","V446","V130",],
35:["V12","V18","V22","V26","V40","V67","V78","V83","V91","V94","V103","V127","V133","V150","V178","V194","V206","V210","V213","V219","V233","V235","V251","V267","V271","V273","V285","V301","V303","V304","V307","V312","V319","V342","V351","V360","V370","V376","V384","V385","V390","V403","V405","V410","V414","V428","V436","V437","V442","V446","V449","V419",],
36:["V2","V10","V12","V16","V22","V23","V25","V32","V36","V39","V48","V84","V88","V110","V111","V138","V149","V154","V157","V166","V181","V208","V209","V228","V235","V245","V255","V262","V267","V269","V272","V280","V290","V292","V293","V308","V317","V319","V321","V328","V329","V335","V339","V340","V356","V360","V368","V371","V377","V392","V400","V445","V176",],
37:["V15","V23","V24","V39","V44","V49","V59","V60","V67","V70","V74","V76","V78","V85","V99","V103","V108","V110","V116","V150","V157","V160","V167","V171","V187","V201","V203","V210","V216","V222","V237","V239","V252","V257","V267","V276","V286","V287","V292","V305","V313","V328","V343","V355","V356","V379","V384","V392","V396","V418","V423","V428","V442","V369",],
38:["V2","V3","V4","V10","V11","V16","V34","V43","V49","V51","V63","V88","V90","V99","V124","V145","V146","V147","V163","V164","V172","V183","V200","V201","V207","V208","V215","V222","V223","V233","V234","V236","V242","V243","V251","V258","V276","V277","V283","V294","V300","V304","V305","V308","V320","V366","V370","V376","V386","V401","V404","V415","V433","V435","V440","V443","V31",],
39:["V11","V12","V16","V25","V36","V44","V70","V78","V79","V85","V98","V101","V104","V120","V128","V132","V134","V136","V139","V143","V147","V155","V156","V163","V167","V168","V170","V175","V193","V216","V218","V219","V225","V235","V236","V243","V248","V253","V259","V261","V271","V287","V290","V291","V295","V300","V309","V321","V326","V332","V354","V358","V361","V374","V380","V413","V439","V402",],
40:["V0","V2","V6","V11","V17","V18","V19","V22","V26","V38","V43","V49","V50","V56","V58","V62","V67","V74","V79","V81","V88","V92","V96","V102","V106","V116","V118","V126","V131","V135","V136","V150","V158","V165","V178","V182","V184","V213","V215","V233","V240","V265","V270","V272","V283","V304","V309","V320","V329","V373","V383","V384","V385","V397","V399","V427","V430","V439","V274",],
41:["V0","V6","V8","V18","V23","V27","V30","V48","V54","V60","V64","V74","V111","V116","V122","V127","V142","V182","V200","V207","V211","V220","V222","V225","V226","V232","V237","V239","V255","V257","V263","V267","V282","V288","V299","V300","V306","V319","V328","V334","V335","V353","V356","V368","V371","V381","V382","V383","V394","V396","V400","V406","V414","V416","V420","V423","V424","V426","V429","V431","V115",],
42:["V1","V3","V5","V14","V16","V18","V30","V35","V39","V40","V43","V61","V67","V68","V86","V88","V93","V103","V105","V110","V118","V123","V125","V143","V159","V162","V168","V171","V177","V186","V187","V200","V205","V206","V232","V241","V254","V262","V269","V271","V272","V283","V286","V287","V289","V294","V295","V304","V311","V324","V330","V371","V378","V394","V396","V397","V405","V423","V428","V430","V438","V445","V212",],
43:["V28","V65","V67","V72","V82","V85","V86","V87","V93","V101","V102","V109","V127","V135","V147","V155","V156","V163","V167","V195","V197","V209","V220","V224","V240","V245","V251","V252","V254","V256","V258","V264","V269","V277","V282","V296","V298","V302","V308","V309","V318","V320","V327","V329","V334","V348","V358","V366","V368","V374","V377","V379","V391","V406","V416","V429","V434","V436","V438","V440","V441","V445","V449","V425",],
44:["V2","V8","V18","V25","V26","V27","V29","V34","V40","V42","V49","V52","V62","V63","V73","V77","V79","V97","V99","V101","V102","V127","V143","V153","V154","V160","V170","V172","V177","V179","V192","V194","V196","V218","V238","V239","V241","V242","V244","V254","V256","V257","V258","V265","V270","V281","V284","V295","V309","V311","V318","V360","V361","V363","V374","V379","V385","V386","V395","V405","V411","V426","V433","V434","V436","V336",],
45:["V16","V18","V19","V22","V38","V54","V61","V66","V68","V73","V77","V78","V86","V96","V97","V104","V111","V118","V120","V132","V135","V141","V143","V163","V177","V186","V195","V200","V206","V220","V225","V239","V243","V246","V250","V254","V264","V273","V275","V277","V286","V298","V300","V305","V306","V307","V311","V323","V325","V338","V343","V364","V368","V380","V393","V397","V411","V412","V416","V418","V420","V430","V432","V437","V443","V445","V359",],
46:["V15","V19","V27","V28","V42","V51","V55","V56","V58","V67","V76","V80","V82","V83","V90","V91","V95","V114","V121","V122","V124","V135","V140","V141","V144","V149","V152","V182","V183","V185","V187","V208","V209","V217","V236","V247","V259","V268","V271","V273","V275","V283","V288","V295","V297","V299","V307","V311","V312","V315","V322","V339","V340","V347","V348","V351","V354","V365","V372","V375","V379","V383","V390","V393","V403","V404","V422","V429","V442","V331",],
47:["V1","V7","V8","V18","V24","V32","V34","V48","V50","V53","V60","V62","V72","V76","V80","V82","V86","V88","V92","V93","V94","V95","V96","V102","V103","V107","V128","V133","V142","V152","V166","V175","V177","V180","V181","V196","V209","V211","V218","V221","V225","V236","V266","V268","V275","V284","V285","V294","V300","V304","V305","V315","V317","V319","V320","V348","V349","V351","V354","V360","V372","V373","V389","V390","V398","V400","V409","V412","V413","V414","V423","V427","V431","V448","V41",],
48:["V2","V4","V6","V10","V15","V18","V24","V29","V40","V54","V56","V62","V70","V72","V76","V79","V97","V101","V103","V107","V110","V120","V128","V149","V153","V162","V169","V183","V187","V189","V192","V194","V206","V215","V224","V226","V253","V255","V260","V261","V266","V267","V269","V270","V271","V273","V280","V295","V302","V306","V308","V311","V321","V322","V334","V344","V349","V350","V356","V361","V362","V365","V380","V383","V385","V395","V396","V404","V406","V408","V415","V422","V429","V439","V440","V388",],
49:["V1","V12","V20","V28","V38","V39","V44","V53","V61","V69","V74","V80","V85","V90","V94","V96","V100","V101","V105","V107","V109","V126","V129","V142","V143","V144","V149","V153","V154","V160","V167","V170","V171","V173","V178","V185","V187","V189","V192","V207","V210","V233","V235","V238","V241","V248","V252","V255","V260","V262","V284","V285","V293","V302","V308","V314","V340","V346","V350","V351","V362","V371","V378","V380","V385","V391","V397","V405","V411","V424","V426","V431","V433","V437","V446","V447","V119",],
50:["V2","V3","V4","V6","V7","V8","V10","V11","V16","V33","V34","V43","V49","V51","V53","V63","V69","V76","V88","V90","V99","V124","V125","V133","V144","V145","V146","V147","V149","V153","V160","V162","V163","V164","V171","V172","V180","V183","V189","V198","V200","V201","V207","V208","V215","V222","V223","V233","V234","V236","V241","V242","V243","V246","V251","V258","V265","V276","V277","V283","V285","V294","V297","V300","V301","V304","V305","V308","V312","V315","V317","V320","V342","V366","V370","V374","V376","V385","V386","V404","V408","V410","V415","V433","V435","V440","V443","V401",],
51:["V15","V23","V24","V27","V35","V39","V44","V49","V50","V55","V58","V59","V60","V65","V67","V70","V74","V76","V78","V81","V85","V91","V97","V99","V103","V108","V110","V116","V122","V133","V139","V142","V150","V153","V157","V160","V167","V169","V171","V178","V187","V195","V196","V201","V203","V210","V215","V216","V222","V228","V236","V237","V239","V252","V253","V257","V267","V276","V279","V286","V287","V292","V293","V304","V305","V317","V322","V324","V328","V329","V343","V354","V355","V356","V379","V382","V384","V392","V396","V399","V406","V418","V422","V423","V428","V442","V447","V448","V313",],
52:["V1","V3","V5","V8","V16","V18","V23","V27","V30","V35","V39","V40","V43","V49","V55","V61","V67","V68","V81","V86","V87","V88","V93","V100","V101","V103","V104","V105","V110","V111","V118","V123","V125","V143","V148","V159","V162","V168","V171","V177","V186","V187","V200","V205","V206","V216","V218","V228","V232","V241","V242","V248","V250","V254","V259","V262","V263","V269","V271","V272","V283","V286","V287","V289","V294","V295","V304","V311","V315","V316","V321","V324","V330","V332","V345","V368","V371","V373","V378","V382","V384","V394","V396","V397","V405","V410","V423","V428","V430","V438","V445","V447","V14",],
53:["V11","V15","V23","V24","V27","V35","V39","V44","V49","V50","V55","V58","V60","V65","V67","V70","V74","V76","V78","V81","V85","V91","V93","V97","V99","V100","V103","V108","V110","V116","V122","V133","V139","V142","V150","V153","V157","V160","V167","V169","V171","V175","V178","V179","V184","V187","V193","V195","V196","V201","V203","V210","V215","V216","V222","V228","V236","V237","V239","V252","V253","V257","V267","V276","V279","V284","V286","V287","V292","V293","V304","V305","V317","V318","V322","V324","V328","V329","V343","V354","V355","V356","V366","V370","V379","V382","V384","V391","V392","V396","V399","V406","V416","V418","V422","V423","V428","V442","V447","V448","V59",],
54:["V1","V7","V8","V18","V21","V24","V32","V34","V48","V49","V50","V53","V60","V62","V66","V72","V76","V80","V82","V86","V88","V91","V92","V93","V94","V95","V96","V102","V103","V104","V107","V128","V133","V136","V138","V142","V143","V147","V148","V152","V166","V173","V175","V177","V180","V181","V191","V196","V200","V209","V211","V218","V220","V221","V225","V233","V236","V259","V265","V266","V268","V275","V280","V281","V282","V284","V285","V291","V294","V298","V300","V304","V305","V315","V317","V319","V320","V323","V330","V348","V349","V351","V354","V355","V360","V372","V373","V380","V384","V387","V390","V391","V398","V400","V409","V412","V413","V414","V416","V423","V427","V431","V441","V448","V389",],
55:["V0","V4","V6","V8","V15","V18","V23","V27","V30","V44","V48","V54","V58","V60","V64","V73","V74","V97","V104","V111","V116","V117","V122","V126","V127","V135","V136","V142","V145","V147","V154","V162","V167","V172","V174","V178","V180","V182","V195","V197","V200","V203","V207","V210","V211","V214","V215","V220","V222","V224","V225","V226","V232","V237","V239","V255","V256","V257","V261","V262","V263","V267","V271","V282","V286","V288","V299","V300","V306","V314","V318","V319","V323","V326","V328","V334","V335","V338","V343","V344","V353","V356","V358","V361","V363","V368","V371","V374","V375","V382","V383","V386","V394","V396","V400","V406","V414","V416","V418","V420","V423","V424","V426","V429","V431","V433","V434","V440","V443","V381",],
56:["V0","V2","V6","V7","V11","V17","V18","V19","V22","V26","V33","V36","V38","V39","V43","V49","V50","V54","V56","V58","V62","V65","V66","V67","V71","V74","V79","V81","V85","V88","V92","V96","V102","V103","V116","V118","V120","V123","V126","V129","V131","V132","V135","V136","V148","V150","V158","V165","V167","V171","V174","V178","V180","V182","V184","V196","V203","V210","V213","V215","V233","V236","V240","V263","V265","V270","V272","V276","V283","V296","V297","V303","V304","V309","V320","V322","V328","V329","V343","V344","V347","V349","V351","V354","V355","V358","V366","V372","V373","V377","V383","V384","V385","V394","V396","V397","V399","V409","V413","V415","V420","V422","V427","V429","V430","V434","V439","V446","V449","V106",],
57:["V0","V1","V2","V3","V5","V10","V11","V12","V15","V16","V21","V22","V23","V25","V26","V32","V36","V39","V40","V48","V50","V55","V58","V65","V66","V67","V77","V81","V82","V88","V90","V91","V93","V97","V105","V110","V111","V113","V117","V128","V138","V140","V144","V148","V149","V153","V154","V157","V165","V166","V173","V179","V181","V183","V185","V187","V191","V192","V193","V208","V209","V228","V235","V245","V251","V255","V261","V262","V267","V269","V272","V280","V283","V290","V292","V293","V296","V298","V302","V308","V312","V316","V317","V318","V319","V321","V328","V329","V330","V335","V339","V340","V351","V356","V360","V363","V368","V370","V371","V377","V379","V382","V385","V386","V392","V395","V400","V408","V412","V416","V418","V420","V426","V427","V445","V446","V84",],
58:["V2","V3","V4","V6","V7","V8","V10","V11","V16","V21","V22","V28","V33","V34","V43","V49","V51","V53","V63","V69","V76","V87","V88","V90","V96","V98","V99","V110","V124","V125","V127","V129","V133","V138","V143","V144","V145","V146","V147","V149","V153","V159","V160","V162","V163","V170","V171","V172","V180","V183","V189","V194","V198","V200","V201","V207","V208","V215","V222","V223","V233","V234","V236","V241","V242","V243","V246","V251","V255","V258","V265","V276","V277","V280","V283","V285","V292","V294","V297","V300","V301","V304","V305","V307","V308","V311","V312","V315","V316","V317","V320","V321","V323","V325","V330","V332","V342","V346","V348","V355","V360","V366","V370","V374","V376","V380","V382","V385","V386","V387","V393","V404","V406","V408","V410","V415","V433","V435","V440","V441","V443","V448","V164",],
59:["V11","V12","V15","V16","V18","V22","V25","V26","V28","V36","V40","V44","V54","V64","V67","V70","V78","V79","V83","V85","V91","V94","V98","V101","V103","V104","V120","V127","V128","V132","V133","V134","V136","V138","V139","V143","V146","V147","V150","V155","V156","V163","V167","V168","V170","V175","V178","V183","V192","V193","V194","V201","V206","V210","V213","V216","V218","V224","V225","V233","V235","V236","V237","V243","V247","V248","V251","V253","V258","V259","V261","V267","V271","V273","V285","V287","V290","V291","V295","V300","V301","V303","V304","V305","V307","V309","V312","V317","V319","V321","V324","V326","V332","V335","V342","V351","V353","V354","V356","V358","V360","V361","V370","V374","V376","V378","V380","V384","V385","V390","V403","V405","V410","V413","V414","V428","V436","V437","V439","V440","V442","V446","V449","V219",],
60:["V0","V12","V15","V19","V20","V21","V23","V26","V27","V28","V29","V35","V39","V42","V43","V51","V52","V55","V56","V58","V61","V63","V67","V76","V79","V80","V82","V83","V90","V91","V94","V95","V109","V114","V122","V124","V126","V128","V135","V136","V139","V140","V141","V144","V146","V149","V152","V165","V168","V177","V180","V182","V183","V185","V187","V198","V205","V206","V208","V209","V216","V217","V223","V232","V234","V236","V245","V246","V247","V250","V259","V268","V271","V273","V275","V280","V282","V283","V288","V289","V291","V294","V295","V297","V299","V307","V311","V312","V315","V316","V322","V325","V327","V328","V330","V339","V340","V346","V347","V348","V351","V353","V354","V362","V365","V371","V372","V375","V378","V379","V382","V383","V390","V393","V394","V397","V398","V403","V404","V410","V412","V422","V428","V429","V430","V431","V432","V433","V436","V437","V442","V121",],
61:["V1","V3","V5","V8","V16","V18","V19","V22","V23","V27","V30","V35","V38","V39","V40","V43","V49","V54","V55","V61","V66","V67","V68","V73","V77","V78","V81","V86","V87","V88","V93","V95","V96","V97","V100","V101","V103","V104","V105","V110","V111","V118","V120","V123","V125","V132","V135","V141","V143","V148","V159","V162","V163","V168","V171","V177","V187","V195","V200","V205","V206","V216","V218","V220","V225","V228","V232","V239","V241","V242","V243","V246","V248","V250","V252","V254","V259","V262","V263","V264","V269","V271","V272","V273","V275","V277","V283","V286","V287","V289","V294","V295","V297","V298","V300","V304","V305","V306","V307","V311","V315","V316","V318","V321","V323","V324","V325","V329","V330","V332","V338","V343","V345","V364","V368","V371","V373","V378","V380","V382","V384","V393","V394","V396","V397","V405","V410","V411","V412","V416","V418","V420","V423","V428","V430","V432","V437","V438","V443","V445","V447","V186",],
62:["V1","V7","V8","V12","V16","V18","V21","V24","V32","V34","V40","V42","V48","V49","V50","V53","V55","V60","V62","V66","V72","V76","V80","V82","V86","V88","V91","V92","V93","V94","V95","V96","V98","V102","V103","V104","V107","V125","V128","V132","V133","V136","V138","V139","V140","V142","V143","V147","V148","V152","V157","V166","V173","V174","V175","V177","V179","V180","V181","V184","V191","V196","V198","V200","V209","V211","V214","V218","V220","V225","V232","V233","V236","V238","V241","V247","V251","V259","V265","V266","V268","V270","V272","V275","V277","V280","V281","V282","V284","V285","V288","V289","V291","V293","V294","V297","V298","V300","V304","V305","V315","V317","V319","V320","V323","V327","V330","V335","V347","V348","V349","V351","V354","V355","V358","V360","V365","V372","V373","V374","V380","V382","V384","V386","V387","V390","V391","V395","V398","V400","V403","V405","V409","V411","V412","V413","V414","V416","V423","V427","V429","V431","V437","V439","V441","V448","V221",],
63:["V2","V3","V4","V6","V7","V8","V10","V11","V12","V16","V17","V21","V22","V28","V33","V34","V43","V49","V51","V53","V56","V63","V65","V69","V72","V74","V76","V83","V86","V87","V88","V90","V96","V98","V99","V102","V109","V110","V122","V124","V125","V127","V129","V133","V138","V143","V144","V145","V146","V147","V149","V153","V155","V159","V160","V162","V163","V170","V171","V172","V173","V180","V183","V189","V191","V194","V198","V200","V201","V207","V208","V209","V213","V215","V222","V223","V226","V233","V234","V236","V241","V242","V243","V246","V251","V253","V255","V258","V264","V265","V276","V277","V279","V280","V283","V285","V292","V294","V297","V298","V300","V301","V304","V305","V307","V308","V311","V312","V315","V316","V317","V320","V321","V323","V325","V326","V330","V332","V339","V342","V345","V346","V348","V350","V355","V360","V366","V370","V374","V375","V376","V380","V382","V385","V386","V387","V392","V393","V394","V404","V406","V408","V410","V415","V418","V420","V421","V430","V432","V433","V438","V440","V441","V442","V443","V448","V435",],
64:["V1","V5","V11","V15","V16","V23","V24","V27","V28","V35","V39","V44","V48","V49","V50","V55","V58","V60","V65","V67","V70","V71","V72","V74","V76","V78","V81","V85","V86","V91","V92","V93","V97","V99","V100","V102","V103","V110","V113","V114","V116","V117","V122","V124","V127","V128","V133","V134","V139","V141","V142","V145","V150","V153","V157","V160","V162","V167","V169","V171","V175","V178","V179","V181","V182","V184","V187","V193","V194","V195","V196","V201","V203","V206","V210","V213","V215","V216","V220","V222","V226","V228","V236","V237","V238","V239","V244","V245","V247","V252","V253","V255","V256","V257","V260","V267","V269","V270","V275","V276","V279","V284","V286","V287","V292","V293","V295","V304","V305","V309","V314","V317","V318","V321","V322","V324","V328","V329","V338","V342","V343","V347","V354","V355","V356","V363","V364","V365","V366","V370","V379","V382","V384","V385","V390","V391","V392","V393","V396","V399","V400","V406","V411","V412","V413","V416","V418","V421","V422","V423","V428","V436","V441","V442","V443","V447","V448","V449","V108",],
65:["V1","V2","V3","V5","V8","V16","V18","V19","V22","V23","V27","V30","V32","V35","V38","V39","V40","V43","V49","V54","V55","V61","V66","V67","V71","V73","V77","V78","V81","V86","V87","V88","V93","V95","V96","V97","V98","V100","V101","V102","V103","V104","V105","V109","V110","V111","V118","V120","V123","V125","V132","V134","V135","V139","V141","V143","V148","V158","V159","V162","V163","V168","V171","V177","V184","V187","V194","V195","V200","V205","V206","V209","V211","V216","V217","V218","V220","V225","V228","V232","V239","V241","V242","V243","V246","V248","V250","V252","V254","V259","V262","V263","V264","V269","V271","V272","V273","V275","V277","V279","V283","V286","V287","V289","V291","V294","V295","V296","V297","V298","V300","V303","V304","V305","V306","V307","V311","V315","V316","V318","V321","V323","V324","V325","V327","V328","V329","V330","V332","V338","V343","V345","V353","V360","V364","V368","V371","V373","V378","V380","V382","V384","V393","V394","V396","V397","V403","V405","V410","V411","V412","V416","V418","V420","V421","V422","V423","V428","V430","V431","V432","V437","V438","V440","V443","V445","V447","V68",],
66:["V0","V4","V6","V8","V15","V18","V23","V25","V27","V28","V30","V35","V44","V48","V49","V54","V58","V60","V64","V65","V67","V72","V73","V74","V76","V82","V83","V85","V86","V87","V92","V93","V95","V97","V101","V102","V103","V104","V107","V109","V111","V113","V116","V117","V120","V122","V126","V127","V131","V135","V136","V141","V142","V145","V147","V149","V154","V155","V156","V158","V162","V163","V167","V170","V172","V174","V178","V179","V180","V182","V195","V198","V200","V203","V207","V209","V210","V211","V213","V214","V215","V220","V222","V224","V225","V226","V232","V233","V237","V238","V239","V240","V242","V245","V251","V252","V254","V255","V256","V257","V258","V261","V262","V263","V264","V267","V269","V271","V272","V277","V281","V282","V286","V288","V290","V292","V296","V297","V298","V299","V300","V302","V306","V308","V309","V314","V318","V319","V320","V323","V326","V327","V328","V329","V334","V335","V338","V343","V344","V348","V349","V353","V355","V356","V358","V361","V363","V365","V366","V368","V371","V374","V375","V377","V379","V382","V383","V386","V391","V394","V396","V400","V406","V409","V413","V414","V416","V418","V420","V423","V424","V426","V429","V431","V433","V434","V436","V438","V440","V441","V443","V445","V449","V197",],
67:["V0","V2","V8","V11","V12","V15","V17","V18","V19","V20","V21","V23","V24","V25","V26","V27","V28","V29","V32","V33","V34","V35","V39","V40","V42","V43","V48","V49","V51","V55","V56","V58","V61","V62","V63","V65","V66","V67","V73","V76","V77","V79","V80","V82","V83","V88","V90","V91","V94","V95","V97","V99","V101","V102","V109","V111","V114","V122","V124","V126","V127","V128","V131","V135","V136","V139","V140","V141","V143","V144","V146","V149","V152","V153","V154","V155","V160","V165","V168","V170","V172","V177","V179","V180","V182","V183","V185","V187","V192","V193","V194","V196","V198","V205","V206","V208","V209","V211","V216","V217","V218","V223","V232","V234","V236","V238","V239","V241","V242","V244","V245","V246","V247","V250","V254","V256","V257","V258","V259","V263","V265","V268","V270","V271","V273","V275","V276","V280","V281","V282","V283","V284","V288","V289","V291","V293","V294","V295","V297","V299","V300","V306","V307","V309","V311","V312","V315","V316","V318","V322","V325","V327","V328","V330","V339","V340","V345","V346","V347","V348","V350","V351","V353","V354","V358","V360","V361","V362","V363","V364","V365","V370","V371","V372","V374","V375","V376","V378","V379","V382","V383","V385","V386","V390","V392","V393","V394","V395","V397","V398","V403","V404","V405","V410","V411","V412","V422","V426","V428","V429","V430","V431","V432","V433","V434","V436","V437","V439","V442","V443","V447","V52",],
68:["V0","V1","V2","V3","V4","V6","V7","V8","V10","V11","V12","V16","V17","V20","V21","V22","V28","V32","V33","V34","V35","V38","V39","V43","V44","V48","V49","V51","V53","V56","V60","V61","V63","V65","V72","V74","V76","V78","V80","V83","V85","V86","V87","V88","V90","V94","V96","V98","V99","V100","V101","V102","V105","V107","V109","V110","V122","V124","V125","V126","V127","V129","V133","V138","V142","V143","V144","V145","V146","V147","V149","V153","V154","V155","V159","V160","V162","V163","V167","V170","V171","V172","V173","V178","V180","V183","V185","V187","V189","V191","V192","V194","V198","V200","V201","V207","V208","V209","V210","V213","V215","V222","V223","V226","V233","V234","V235","V236","V238","V241","V242","V243","V246","V248","V251","V252","V253","V255","V258","V260","V262","V264","V265","V266","V276","V277","V279","V280","V283","V284","V285","V287","V292","V293","V294","V297","V298","V300","V301","V302","V303","V304","V305","V307","V308","V311","V312","V314","V315","V316","V317","V320","V321","V323","V324","V325","V326","V330","V332","V339","V340","V342","V345","V346","V348","V350","V351","V355","V360","V362","V366","V370","V371","V374","V375","V376","V378","V380","V382","V385","V386","V387","V391","V392","V393","V394","V397","V404","V405","V406","V408","V410","V411","V414","V415","V418","V420","V421","V424","V426","V430","V431","V432","V433","V437","V438","V440","V441","V442","V443","V446","V447","V448","V69",],
69:["V0","V1","V2","V3","V5","V7","V8","V10","V11","V12","V15","V16","V18","V21","V22","V23","V24","V25","V26","V32","V34","V36","V39","V40","V42","V48","V49","V50","V53","V55","V56","V58","V60","V62","V65","V66","V67","V72","V76","V77","V80","V81","V82","V86","V88","V90","V91","V92","V93","V94","V95","V96","V97","V98","V102","V103","V104","V105","V107","V110","V111","V113","V117","V125","V128","V132","V133","V136","V138","V139","V140","V142","V143","V144","V147","V148","V149","V150","V152","V153","V154","V157","V165","V173","V174","V175","V177","V179","V180","V181","V183","V184","V185","V187","V191","V192","V193","V196","V198","V200","V208","V209","V211","V214","V218","V220","V225","V228","V232","V233","V235","V236","V238","V241","V244","V245","V247","V251","V255","V259","V261","V262","V265","V266","V267","V268","V269","V270","V272","V275","V277","V280","V281","V282","V283","V284","V285","V286","V288","V289","V290","V291","V292","V293","V294","V296","V297","V298","V300","V302","V304","V305","V308","V312","V314","V315","V316","V317","V318","V319","V320","V321","V323","V326","V327","V328","V329","V330","V335","V339","V340","V347","V348","V349","V351","V354","V355","V356","V358","V360","V362","V363","V365","V368","V370","V371","V372","V373","V374","V375","V377","V379","V380","V382","V384","V385","V386","V387","V390","V391","V392","V395","V398","V400","V403","V405","V408","V409","V411","V412","V413","V414","V416","V418","V420","V423","V426","V427","V429","V431","V437","V439","V441","V445","V446","V448","V166",],
70:["V0","V2","V4","V6","V8","V10","V15","V16","V18","V23","V24","V25","V27","V28","V29","V30","V35","V40","V44","V48","V49","V54","V56","V58","V60","V62","V64","V65","V67","V70","V72","V73","V74","V76","V79","V82","V83","V85","V86","V87","V92","V93","V95","V97","V101","V102","V103","V104","V107","V109","V110","V111","V113","V116","V117","V118","V120","V122","V126","V127","V128","V131","V135","V136","V141","V142","V143","V145","V147","V149","V153","V154","V155","V156","V157","V158","V162","V163","V167","V169","V170","V172","V174","V178","V179","V180","V182","V183","V187","V189","V192","V194","V195","V198","V200","V203","V205","V206","V207","V209","V210","V211","V213","V214","V215","V220","V222","V224","V225","V226","V232","V233","V237","V238","V239","V240","V242","V243","V245","V251","V252","V253","V254","V255","V256","V257","V258","V260","V261","V262","V263","V264","V266","V267","V269","V270","V271","V272","V273","V277","V280","V281","V282","V286","V288","V290","V292","V295","V296","V297","V298","V299","V300","V302","V306","V308","V309","V311","V314","V318","V319","V320","V321","V322","V323","V326","V327","V328","V329","V335","V338","V343","V344","V348","V349","V350","V353","V355","V356","V358","V361","V362","V363","V365","V366","V368","V371","V374","V375","V377","V379","V380","V382","V383","V385","V386","V391","V394","V395","V396","V400","V404","V406","V408","V409","V413","V414","V415","V416","V418","V420","V422","V423","V424","V426","V429","V431","V433","V434","V436","V438","V439","V440","V441","V443","V445","V449","V334",],
71:["V0","V1","V2","V5","V6","V7","V8","V10","V11","V12","V15","V16","V17","V18","V19","V22","V23","V24","V26","V27","V28","V33","V35","V36","V38","V39","V42","V43","V44","V48","V49","V50","V54","V55","V56","V58","V60","V62","V65","V66","V67","V70","V71","V72","V74","V76","V78","V79","V81","V85","V86","V88","V91","V92","V93","V96","V97","V99","V100","V102","V103","V110","V113","V114","V116","V117","V118","V120","V122","V123","V124","V126","V127","V128","V129","V131","V132","V133","V134","V135","V136","V139","V140","V141","V142","V144","V145","V148","V150","V153","V157","V158","V160","V162","V165","V167","V169","V171","V173","V174","V175","V178","V179","V180","V181","V182","V184","V187","V193","V194","V195","V196","V201","V203","V206","V210","V213","V215","V216","V217","V220","V222","V226","V228","V233","V235","V236","V237","V238","V239","V240","V244","V245","V247","V252","V253","V255","V256","V257","V260","V263","V265","V267","V269","V270","V272","V275","V276","V279","V283","V284","V286","V287","V292","V293","V294","V295","V296","V297","V303","V304","V305","V309","V314","V316","V317","V318","V320","V321","V322","V324","V328","V329","V332","V338","V342","V343","V344","V347","V349","V351","V354","V355","V356","V358","V360","V363","V364","V365","V366","V370","V372","V373","V377","V378","V379","V382","V383","V384","V385","V390","V391","V392","V393","V394","V396","V397","V400","V406","V409","V411","V412","V413","V415","V416","V418","V420","V421","V422","V423","V426","V427","V428","V429","V430","V434","V436","V437","V439","V441","V442","V443","V446","V447","V448","V449","V399",],
72:["V0","V2","V4","V6","V8","V10","V11","V12","V15","V16","V18","V22","V23","V24","V25","V26","V27","V28","V29","V30","V35","V36","V40","V42","V44","V48","V49","V53","V54","V56","V58","V60","V62","V64","V65","V67","V70","V72","V73","V74","V76","V78","V79","V82","V83","V85","V86","V87","V91","V92","V93","V94","V95","V97","V98","V101","V102","V103","V104","V107","V109","V110","V111","V113","V116","V117","V118","V120","V122","V126","V127","V128","V131","V132","V133","V134","V135","V136","V138","V139","V141","V142","V143","V144","V145","V146","V147","V149","V150","V153","V154","V155","V156","V157","V158","V162","V163","V167","V168","V169","V170","V172","V174","V175","V178","V179","V180","V182","V183","V187","V189","V192","V193","V194","V195","V198","V200","V201","V203","V205","V206","V207","V209","V210","V211","V213","V214","V215","V216","V218","V220","V222","V225","V226","V232","V233","V235","V236","V237","V238","V239","V240","V242","V243","V245","V247","V248","V251","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V264","V266","V267","V269","V270","V271","V272","V273","V277","V280","V281","V282","V283","V285","V286","V287","V288","V290","V291","V292","V295","V296","V297","V298","V299","V300","V301","V302","V303","V304","V305","V306","V307","V308","V309","V311","V312","V314","V317","V318","V319","V320","V321","V322","V323","V324","V326","V327","V328","V329","V332","V335","V338","V342","V343","V344","V348","V349","V350","V351","V353","V354","V355","V356","V358","V360","V361","V362","V363","V365","V366","V368","V370","V371","V374","V375","V376","V377","V378","V379","V380","V382","V383","V384","V385","V386","V390","V391","V394","V395","V396","V400","V403","V404","V405","V406","V408","V409","V410","V413","V414","V415","V416","V418","V420","V422","V423","V424","V426","V428","V429","V431","V433","V434","V436","V437","V438","V439","V440","V441","V442","V443","V445","V446","V449","V224",],
73:["V0","V2","V4","V6","V8","V10","V11","V12","V15","V16","V18","V19","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V35","V36","V38","V40","V42","V44","V48","V49","V53","V54","V56","V58","V60","V62","V64","V65","V67","V70","V72","V73","V74","V76","V78","V79","V82","V83","V85","V86","V87","V91","V92","V93","V94","V95","V97","V98","V101","V102","V103","V104","V107","V109","V110","V111","V113","V116","V117","V118","V120","V122","V123","V126","V127","V128","V131","V132","V133","V134","V135","V136","V138","V139","V141","V142","V143","V144","V145","V146","V147","V149","V150","V152","V153","V154","V155","V157","V158","V162","V163","V165","V167","V168","V169","V170","V172","V174","V175","V178","V179","V180","V182","V183","V187","V189","V192","V193","V194","V195","V198","V200","V201","V203","V205","V206","V207","V209","V210","V211","V213","V214","V215","V216","V218","V220","V222","V225","V226","V232","V233","V234","V235","V236","V237","V238","V239","V240","V242","V243","V245","V247","V248","V251","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V264","V266","V267","V269","V270","V271","V272","V273","V275","V277","V279","V280","V281","V282","V283","V285","V286","V287","V288","V289","V290","V291","V292","V295","V296","V297","V298","V299","V300","V301","V302","V303","V304","V305","V306","V307","V308","V309","V311","V312","V314","V317","V318","V319","V320","V321","V322","V323","V324","V326","V327","V328","V329","V332","V335","V338","V342","V343","V344","V345","V348","V349","V350","V351","V353","V354","V355","V356","V358","V360","V361","V362","V363","V365","V366","V368","V370","V371","V374","V375","V376","V377","V378","V379","V380","V382","V383","V384","V385","V386","V387","V390","V391","V393","V394","V395","V396","V400","V403","V404","V405","V406","V408","V409","V410","V413","V414","V415","V416","V418","V420","V421","V422","V423","V424","V426","V428","V429","V431","V433","V434","V436","V437","V438","V439","V440","V441","V442","V443","V445","V446","V449","V156",],
74:["V0","V1","V2","V3","V5","V6","V7","V8","V10","V11","V12","V15","V16","V17","V18","V19","V22","V23","V24","V26","V27","V28","V30","V32","V33","V35","V36","V38","V39","V40","V42","V43","V44","V48","V49","V50","V54","V55","V56","V58","V60","V61","V62","V65","V66","V67","V70","V72","V73","V74","V76","V77","V78","V79","V81","V85","V86","V87","V88","V91","V92","V93","V95","V96","V97","V98","V99","V100","V101","V102","V103","V104","V105","V109","V110","V111","V113","V114","V116","V117","V118","V120","V122","V123","V124","V125","V126","V127","V128","V129","V131","V132","V133","V134","V135","V136","V139","V140","V141","V142","V143","V144","V145","V148","V150","V153","V157","V158","V159","V160","V162","V163","V165","V167","V168","V169","V171","V173","V174","V175","V177","V178","V179","V180","V181","V182","V184","V187","V193","V194","V195","V196","V200","V201","V203","V205","V206","V209","V210","V211","V213","V215","V216","V217","V218","V220","V222","V225","V226","V228","V232","V233","V235","V236","V237","V238","V239","V240","V241","V242","V243","V244","V245","V246","V247","V248","V250","V252","V253","V254","V255","V256","V257","V259","V260","V262","V263","V264","V265","V267","V269","V270","V271","V272","V273","V275","V276","V277","V279","V283","V284","V286","V287","V289","V291","V292","V293","V294","V295","V296","V297","V298","V300","V303","V304","V305","V306","V307","V309","V311","V314","V315","V316","V317","V318","V320","V321","V322","V323","V324","V325","V327","V328","V329","V330","V332","V338","V342","V343","V344","V345","V347","V349","V351","V353","V354","V355","V356","V358","V360","V363","V364","V365","V366","V368","V370","V371","V372","V373","V377","V378","V379","V380","V382","V383","V384","V385","V390","V391","V392","V393","V394","V396","V397","V400","V403","V405","V406","V409","V410","V411","V412","V413","V415","V416","V418","V420","V421","V422","V423","V426","V427","V428","V429","V430","V431","V432","V434","V436","V437","V438","V439","V440","V441","V442","V443","V445","V446","V447","V448","V449","V71",],
75:["V0","V2","V4","V6","V8","V10","V11","V12","V15","V16","V18","V19","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V35","V36","V38","V40","V42","V43","V44","V48","V49","V53","V54","V56","V58","V60","V62","V65","V67","V70","V72","V73","V74","V76","V78","V79","V82","V83","V85","V86","V87","V90","V91","V92","V93","V94","V95","V97","V98","V101","V102","V103","V104","V105","V107","V109","V110","V111","V113","V116","V117","V118","V120","V122","V123","V126","V127","V128","V131","V132","V133","V134","V135","V136","V138","V139","V141","V142","V143","V144","V145","V146","V147","V149","V150","V152","V153","V154","V155","V157","V158","V160","V162","V163","V165","V167","V168","V169","V170","V172","V174","V175","V178","V179","V180","V182","V183","V184","V187","V189","V192","V193","V194","V195","V198","V200","V201","V203","V205","V206","V207","V209","V210","V211","V213","V214","V215","V216","V218","V220","V222","V223","V225","V226","V232","V233","V234","V235","V236","V237","V238","V239","V240","V241","V242","V243","V245","V247","V248","V251","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V264","V266","V267","V269","V270","V271","V272","V273","V275","V277","V279","V280","V281","V282","V283","V285","V286","V287","V288","V289","V290","V291","V292","V295","V296","V297","V298","V299","V300","V301","V302","V303","V304","V305","V306","V307","V308","V309","V311","V312","V314","V317","V318","V319","V320","V321","V322","V323","V324","V326","V327","V328","V329","V332","V335","V338","V342","V343","V344","V345","V348","V349","V350","V351","V353","V354","V355","V356","V358","V360","V361","V362","V363","V365","V366","V368","V370","V371","V373","V374","V375","V376","V377","V378","V379","V380","V382","V383","V384","V385","V386","V387","V390","V391","V393","V394","V395","V396","V400","V403","V404","V405","V406","V408","V409","V410","V413","V414","V415","V416","V418","V420","V421","V422","V423","V424","V426","V428","V429","V431","V433","V434","V436","V437","V438","V439","V440","V441","V442","V443","V445","V446","V449","V64",],
76:["V0","V1","V2","V3","V4","V6","V7","V8","V10","V11","V12","V15","V16","V17","V18","V19","V20","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V32","V33","V34","V35","V38","V39","V40","V42","V43","V44","V48","V49","V51","V53","V55","V56","V58","V60","V61","V62","V63","V65","V66","V67","V72","V73","V74","V76","V77","V78","V79","V80","V82","V83","V85","V86","V87","V88","V90","V91","V94","V95","V96","V97","V98","V99","V100","V101","V102","V105","V107","V109","V110","V111","V114","V122","V124","V125","V126","V127","V128","V129","V131","V133","V135","V136","V138","V139","V140","V141","V142","V143","V144","V145","V146","V147","V149","V152","V153","V154","V155","V159","V160","V162","V163","V165","V167","V168","V170","V171","V172","V173","V177","V178","V179","V180","V182","V183","V185","V187","V189","V191","V192","V193","V194","V196","V198","V200","V201","V205","V206","V207","V208","V209","V210","V211","V213","V215","V216","V217","V218","V222","V223","V226","V232","V233","V234","V235","V236","V238","V239","V241","V242","V243","V244","V245","V246","V247","V248","V250","V251","V252","V253","V254","V255","V256","V257","V258","V259","V260","V262","V263","V264","V265","V266","V268","V270","V271","V273","V275","V276","V277","V279","V280","V281","V282","V283","V284","V285","V287","V288","V289","V291","V292","V293","V294","V295","V297","V298","V299","V300","V301","V302","V303","V304","V305","V306","V307","V308","V309","V311","V312","V314","V315","V316","V317","V318","V320","V321","V322","V323","V324","V325","V326","V327","V328","V330","V332","V339","V340","V342","V345","V347","V348","V350","V351","V353","V354","V355","V358","V360","V361","V362","V363","V364","V365","V366","V370","V371","V372","V374","V375","V376","V378","V379","V380","V382","V383","V385","V386","V387","V390","V391","V392","V393","V394","V395","V397","V398","V403","V404","V405","V406","V408","V410","V411","V412","V414","V415","V418","V420","V421","V422","V424","V426","V428","V429","V430","V431","V432","V433","V434","V436","V437","V438","V439","V440","V441","V442","V443","V446","V447","V448","V346",],
77:["V0","V1","V2","V3","V4","V6","V7","V8","V10","V11","V12","V15","V16","V17","V18","V19","V20","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V32","V33","V34","V35","V38","V39","V40","V42","V43","V44","V48","V49","V53","V55","V56","V58","V60","V61","V62","V63","V65","V66","V67","V72","V73","V74","V76","V77","V78","V79","V80","V82","V83","V85","V86","V87","V88","V90","V91","V94","V95","V96","V97","V98","V99","V100","V101","V102","V105","V107","V109","V110","V111","V114","V122","V124","V125","V126","V127","V128","V129","V131","V133","V135","V136","V138","V139","V140","V141","V142","V143","V144","V145","V146","V147","V149","V152","V153","V154","V155","V159","V160","V162","V163","V165","V167","V168","V170","V171","V172","V173","V177","V178","V179","V180","V182","V183","V185","V187","V189","V191","V192","V193","V194","V196","V198","V200","V201","V205","V206","V207","V208","V209","V210","V211","V213","V214","V215","V216","V217","V218","V222","V223","V226","V232","V233","V234","V235","V236","V238","V239","V241","V242","V243","V244","V245","V246","V247","V248","V250","V251","V252","V253","V254","V255","V256","V257","V258","V259","V260","V262","V263","V264","V265","V266","V268","V270","V271","V273","V275","V276","V277","V279","V280","V281","V282","V283","V284","V285","V287","V288","V289","V291","V292","V293","V294","V295","V297","V298","V299","V300","V301","V302","V303","V304","V305","V306","V307","V308","V309","V311","V312","V314","V315","V316","V317","V318","V320","V321","V322","V323","V324","V325","V326","V327","V328","V330","V332","V339","V340","V342","V345","V347","V348","V350","V351","V353","V354","V355","V358","V360","V361","V362","V363","V364","V365","V366","V370","V371","V372","V374","V375","V376","V378","V379","V380","V382","V383","V385","V386","V387","V390","V391","V392","V393","V394","V395","V397","V398","V403","V404","V405","V406","V408","V409","V410","V411","V412","V414","V415","V418","V420","V421","V422","V424","V426","V428","V429","V430","V431","V432","V433","V434","V436","V437","V438","V439","V440","V441","V442","V443","V446","V447","V448","V51",],
78:["V0","V1","V2","V3","V4","V6","V7","V8","V10","V11","V12","V15","V16","V17","V18","V19","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V32","V33","V34","V35","V36","V38","V39","V40","V42","V43","V44","V48","V49","V53","V55","V56","V58","V60","V61","V62","V63","V65","V66","V67","V72","V73","V74","V76","V77","V78","V79","V80","V82","V83","V85","V86","V87","V88","V90","V91","V94","V95","V96","V97","V98","V99","V100","V101","V102","V105","V107","V109","V110","V111","V113","V114","V118","V122","V124","V125","V126","V127","V128","V129","V131","V133","V135","V136","V138","V139","V140","V141","V142","V143","V144","V145","V146","V147","V149","V152","V153","V154","V155","V157","V159","V160","V162","V163","V165","V167","V168","V170","V171","V172","V173","V174","V177","V178","V179","V180","V181","V182","V183","V185","V187","V189","V191","V192","V193","V194","V196","V198","V200","V201","V205","V206","V207","V208","V209","V210","V211","V213","V214","V215","V216","V217","V218","V222","V223","V226","V232","V233","V234","V235","V236","V237","V238","V239","V240","V241","V242","V243","V244","V245","V246","V247","V248","V250","V251","V252","V253","V254","V255","V256","V257","V258","V259","V260","V262","V263","V264","V265","V266","V268","V270","V271","V273","V275","V276","V277","V279","V280","V281","V282","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V297","V298","V299","V300","V301","V302","V303","V304","V305","V306","V307","V308","V309","V311","V312","V314","V315","V316","V317","V318","V320","V321","V322","V323","V324","V325","V326","V327","V328","V330","V332","V339","V340","V342","V345","V347","V348","V350","V351","V353","V354","V355","V358","V360","V361","V362","V363","V364","V365","V366","V370","V371","V372","V374","V375","V376","V377","V378","V379","V380","V382","V383","V385","V386","V387","V390","V391","V392","V393","V394","V395","V397","V398","V403","V404","V405","V406","V408","V409","V410","V411","V412","V414","V415","V416","V418","V420","V421","V422","V424","V426","V428","V429","V430","V431","V432","V433","V434","V436","V437","V438","V439","V440","V441","V442","V443","V445","V446","V447","V448","V20",],
79:["V0","V1","V2","V3","V4","V6","V7","V8","V10","V11","V12","V15","V16","V17","V18","V19","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V32","V33","V34","V35","V36","V38","V39","V40","V42","V43","V44","V48","V49","V53","V55","V56","V58","V60","V61","V62","V65","V66","V67","V72","V73","V74","V76","V77","V78","V79","V80","V82","V83","V85","V86","V87","V88","V90","V91","V94","V95","V96","V97","V98","V99","V100","V101","V102","V103","V105","V107","V109","V110","V111","V113","V114","V118","V120","V122","V124","V125","V126","V127","V128","V129","V131","V133","V135","V136","V138","V139","V140","V141","V142","V143","V144","V145","V146","V147","V149","V152","V153","V154","V155","V157","V159","V160","V162","V163","V165","V167","V168","V170","V171","V172","V173","V174","V177","V178","V179","V180","V181","V182","V183","V185","V187","V189","V191","V192","V193","V194","V195","V196","V198","V200","V201","V205","V206","V207","V208","V209","V210","V211","V213","V214","V215","V216","V217","V218","V222","V223","V226","V232","V233","V234","V235","V236","V237","V238","V239","V240","V241","V242","V243","V244","V245","V246","V247","V248","V250","V251","V252","V253","V254","V255","V256","V257","V258","V259","V260","V262","V263","V264","V265","V266","V268","V270","V271","V272","V273","V275","V276","V277","V279","V280","V281","V282","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V297","V298","V299","V300","V301","V302","V303","V304","V305","V306","V307","V308","V309","V311","V312","V314","V315","V316","V317","V318","V320","V321","V322","V323","V324","V325","V326","V327","V328","V330","V332","V339","V340","V342","V344","V345","V347","V348","V350","V351","V353","V354","V355","V358","V360","V361","V362","V363","V364","V365","V366","V370","V371","V372","V374","V375","V376","V377","V378","V379","V380","V382","V383","V385","V386","V387","V390","V391","V392","V393","V394","V395","V397","V398","V403","V404","V405","V406","V408","V409","V410","V411","V412","V414","V415","V416","V418","V420","V421","V422","V424","V426","V428","V429","V430","V431","V432","V433","V434","V436","V437","V438","V439","V440","V441","V442","V443","V445","V446","V447","V448","V63",],
80:["V0","V1","V2","V3","V5","V6","V7","V8","V10","V11","V12","V15","V16","V17","V18","V19","V21","V22","V23","V24","V25","V26","V27","V28","V30","V32","V33","V34","V35","V36","V38","V39","V40","V42","V43","V44","V48","V49","V50","V53","V54","V55","V56","V58","V60","V61","V62","V65","V66","V67","V70","V72","V73","V74","V76","V77","V78","V79","V80","V82","V85","V86","V87","V88","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V103","V104","V105","V107","V109","V110","V111","V113","V114","V116","V117","V118","V120","V122","V123","V124","V125","V126","V127","V128","V129","V131","V132","V133","V134","V135","V136","V138","V139","V140","V141","V142","V143","V144","V145","V147","V148","V149","V150","V152","V153","V154","V157","V158","V159","V160","V162","V163","V165","V167","V168","V169","V171","V173","V174","V175","V177","V178","V179","V180","V181","V182","V183","V184","V185","V187","V191","V192","V193","V194","V195","V196","V198","V200","V201","V203","V205","V206","V208","V209","V210","V211","V213","V214","V215","V216","V217","V218","V220","V222","V225","V226","V228","V232","V233","V235","V236","V237","V238","V239","V240","V241","V242","V243","V244","V245","V246","V247","V248","V250","V251","V252","V253","V254","V255","V256","V257","V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V275","V276","V277","V279","V280","V281","V282","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V296","V297","V298","V300","V302","V303","V304","V305","V306","V307","V308","V309","V311","V312","V314","V315","V316","V317","V318","V319","V320","V321","V322","V323","V324","V325","V326","V327","V328","V329","V330","V332","V335","V338","V339","V340","V342","V343","V344","V345","V347","V348","V349","V351","V353","V354","V355","V356","V358","V360","V362","V363","V364","V365","V366","V368","V370","V371","V372","V373","V374","V375","V377","V378","V379","V380","V382","V383","V384","V385","V386","V387","V390","V391","V392","V393","V394","V395","V396","V397","V398","V400","V403","V405","V406","V408","V409","V410","V411","V412","V413","V414","V415","V416","V418","V420","V421","V422","V423","V426","V427","V428","V429","V430","V431","V432","V434","V436","V437","V438","V439","V440","V441","V442","V443","V445","V446","V447","V448","V449","V81",],
81:["V0","V1","V2","V3","V6","V7","V8","V10","V11","V12","V15","V16","V17","V18","V19","V21","V22","V23","V24","V25","V26","V27","V28","V30","V32","V33","V34","V35","V36","V38","V39","V40","V42","V43","V44","V48","V49","V50","V53","V54","V55","V56","V58","V60","V61","V62","V65","V66","V67","V70","V72","V73","V74","V76","V77","V78","V79","V80","V82","V85","V86","V87","V88","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V103","V104","V105","V107","V109","V110","V111","V113","V114","V116","V117","V118","V120","V122","V123","V124","V125","V126","V127","V128","V129","V131","V132","V133","V134","V135","V136","V138","V139","V140","V141","V142","V143","V144","V145","V147","V149","V150","V152","V153","V154","V157","V158","V159","V160","V162","V163","V165","V167","V168","V169","V171","V173","V174","V175","V177","V178","V179","V180","V181","V182","V183","V184","V185","V187","V191","V192","V193","V194","V195","V196","V198","V200","V201","V203","V205","V206","V208","V209","V210","V211","V213","V214","V215","V216","V217","V218","V220","V222","V225","V226","V232","V233","V235","V236","V237","V238","V239","V240","V241","V242","V243","V244","V245","V246","V247","V248","V250","V251","V252","V253","V254","V255","V256","V257","V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V275","V276","V277","V279","V280","V281","V282","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V296","V297","V298","V300","V302","V303","V304","V305","V306","V307","V308","V309","V311","V312","V314","V315","V316","V317","V318","V319","V320","V321","V322","V323","V324","V325","V326","V327","V328","V329","V330","V332","V335","V338","V339","V340","V342","V343","V344","V345","V347","V348","V349","V350","V351","V353","V354","V355","V356","V358","V360","V362","V363","V364","V365","V366","V368","V370","V371","V372","V373","V374","V375","V377","V378","V379","V380","V382","V383","V384","V385","V386","V387","V390","V391","V392","V393","V394","V395","V396","V397","V398","V400","V403","V405","V406","V408","V409","V410","V411","V412","V413","V414","V415","V416","V418","V420","V421","V422","V423","V426","V427","V428","V429","V430","V431","V432","V434","V436","V437","V438","V439","V440","V441","V442","V443","V445","V446","V447","V448","V449","V148",],
82:["V0","V1","V2","V3","V6","V7","V8","V10","V11","V12","V15","V16","V17","V18","V19","V21","V22","V23","V24","V25","V26","V27","V28","V30","V32","V33","V34","V35","V36","V38","V39","V40","V42","V43","V44","V48","V49","V53","V54","V55","V56","V58","V60","V61","V62","V65","V66","V67","V70","V72","V73","V74","V76","V77","V78","V79","V80","V82","V85","V86","V87","V88","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V103","V104","V105","V107","V109","V110","V111","V113","V114","V116","V117","V118","V120","V122","V123","V124","V125","V126","V127","V128","V129","V131","V132","V133","V134","V135","V136","V138","V139","V140","V141","V142","V143","V144","V145","V147","V149","V150","V152","V153","V154","V157","V158","V159","V160","V162","V163","V165","V167","V168","V169","V171","V173","V174","V175","V177","V178","V179","V180","V181","V182","V183","V184","V185","V187","V191","V192","V193","V194","V195","V196","V198","V200","V201","V203","V205","V206","V208","V209","V210","V211","V213","V214","V215","V216","V217","V218","V220","V222","V225","V226","V232","V233","V235","V236","V237","V238","V239","V240","V241","V242","V243","V244","V245","V246","V247","V248","V250","V251","V252","V253","V254","V255","V256","V257","V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V275","V276","V277","V279","V280","V281","V282","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V296","V297","V298","V300","V301","V302","V303","V304","V305","V306","V307","V308","V309","V311","V312","V314","V315","V316","V317","V318","V319","V320","V321","V322","V323","V324","V325","V326","V327","V328","V329","V330","V332","V335","V338","V339","V340","V342","V343","V344","V345","V347","V348","V349","V350","V351","V353","V354","V355","V356","V358","V360","V362","V363","V364","V365","V366","V368","V370","V371","V372","V373","V374","V375","V377","V378","V379","V380","V382","V383","V384","V385","V386","V387","V390","V391","V392","V393","V394","V395","V396","V397","V398","V400","V403","V405","V406","V408","V409","V410","V411","V412","V413","V414","V415","V416","V418","V420","V421","V422","V423","V426","V427","V428","V429","V430","V431","V432","V434","V436","V437","V438","V439","V440","V441","V442","V443","V445","V446","V447","V448","V449","V50",],
83:["V0","V1","V2","V3","V6","V7","V8","V10","V11","V12","V15","V16","V17","V18","V19","V21","V22","V23","V24","V25","V26","V27","V28","V30","V32","V33","V34","V35","V36","V38","V39","V40","V42","V43","V44","V48","V49","V53","V54","V55","V56","V58","V60","V61","V62","V65","V66","V67","V70","V72","V73","V74","V76","V77","V78","V79","V80","V82","V85","V86","V87","V88","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V103","V104","V105","V107","V109","V110","V111","V113","V114","V116","V117","V118","V120","V122","V123","V124","V125","V126","V127","V128","V129","V131","V132","V133","V134","V135","V136","V138","V139","V140","V141","V142","V143","V144","V145","V147","V149","V150","V152","V153","V154","V157","V158","V159","V160","V162","V163","V165","V167","V168","V169","V171","V173","V174","V175","V177","V178","V179","V180","V181","V182","V183","V184","V185","V187","V191","V192","V193","V194","V195","V196","V198","V200","V201","V203","V205","V206","V208","V209","V210","V211","V213","V214","V215","V216","V217","V218","V220","V222","V223","V225","V226","V232","V233","V235","V236","V237","V238","V239","V240","V241","V242","V243","V244","V245","V246","V247","V248","V250","V251","V252","V253","V254","V255","V256","V257","V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V275","V276","V277","V279","V280","V281","V282","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V296","V297","V298","V300","V301","V302","V303","V304","V305","V306","V307","V308","V309","V311","V312","V314","V315","V316","V317","V318","V319","V320","V321","V322","V323","V324","V325","V326","V327","V328","V329","V330","V332","V335","V338","V339","V340","V342","V343","V344","V345","V347","V348","V349","V350","V351","V353","V354","V355","V356","V358","V360","V361","V362","V363","V364","V365","V366","V368","V370","V371","V372","V373","V374","V375","V377","V378","V379","V380","V382","V383","V384","V385","V386","V387","V390","V391","V392","V393","V394","V395","V396","V397","V398","V400","V403","V405","V406","V408","V409","V410","V411","V412","V413","V414","V415","V416","V418","V420","V421","V422","V423","V426","V428","V429","V430","V431","V432","V434","V436","V437","V438","V439","V440","V441","V442","V443","V445","V446","V447","V448","V449","V427",],
84:["V0","V1","V2","V3","V4","V6","V7","V8","V10","V11","V12","V15","V16","V17","V18","V19","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V32","V33","V34","V35","V36","V38","V39","V40","V42","V43","V44","V48","V49","V53","V54","V55","V56","V58","V60","V61","V62","V65","V66","V67","V70","V72","V73","V74","V76","V77","V78","V79","V80","V82","V83","V85","V86","V87","V88","V90","V91","V92","V93","V94","V95","V96","V97","V98","V100","V101","V102","V103","V104","V105","V107","V109","V110","V111","V113","V114","V116","V117","V118","V120","V122","V123","V124","V125","V126","V127","V128","V129","V131","V132","V133","V134","V135","V136","V138","V139","V140","V141","V142","V143","V144","V145","V146","V147","V149","V150","V152","V153","V154","V155","V157","V158","V159","V160","V162","V163","V165","V167","V168","V169","V170","V171","V172","V173","V174","V175","V177","V178","V179","V180","V181","V182","V183","V184","V185","V187","V189","V191","V192","V193","V194","V195","V196","V198","V200","V201","V203","V205","V206","V207","V208","V209","V210","V211","V213","V214","V215","V216","V217","V218","V220","V222","V223","V225","V226","V232","V233","V234","V235","V236","V237","V238","V239","V240","V241","V242","V243","V244","V245","V246","V247","V248","V250","V251","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V275","V276","V277","V279","V280","V281","V282","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V296","V297","V298","V299","V300","V301","V302","V303","V304","V305","V306","V307","V308","V309","V311","V312","V314","V315","V316","V317","V318","V319","V320","V321","V322","V323","V324","V325","V326","V327","V328","V329","V330","V332","V335","V338","V339","V340","V342","V343","V344","V345","V347","V348","V349","V350","V351","V353","V354","V355","V356","V358","V360","V361","V362","V363","V364","V365","V366","V368","V370","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V382","V383","V384","V385","V386","V387","V390","V391","V392","V393","V394","V395","V396","V397","V398","V400","V403","V404","V405","V406","V408","V409","V410","V411","V412","V413","V414","V415","V416","V418","V420","V421","V422","V423","V424","V426","V428","V429","V430","V431","V432","V433","V434","V436","V437","V438","V439","V440","V441","V442","V443","V445","V446","V447","V448","V449","V99",],
}

Variable Max Cliques: [(V0, 29), (V1, 25), (V10, 25), (V100, 19), (V101, 28), (V102, 33), (V103, 32), (V104, 25), (V105, 20), (V106, 4), (V107, 23), (V108, 5), (V109, 23), (V11, 32), (V110, 34), (V111, 26), (V112, 1), (V113, 22), (V114, 17), (V115, 2), (V116, 24), (V117, 19), (V118, 24), (V119, 2), (V12, 29), (V120, 22), (V121, 3), (V122, 28), (V123, 17), (V124, 23), (V125, 22), (V126, 28), (V127, 28), (V128, 30), (V129, 16), (V13, 2), (V130, 2), (V131, 23), (V132, 19), (V133, 30), (V134, 16), (V135, 32), (V136, 30), (V137, 1), (V138, 22), (V139, 26), (V14, 3), (V140, 19), (V141, 26), (V142, 31), (V143, 33), (V144, 27), (V145, 27), (V146, 18), (V147, 29), (V148, 14), (V149, 32), (V15, 31), (V150, 21), (V151, 1), (V152, 21), (V153, 31), (V154, 26), (V155, 19), (V156, 8), (V157, 24), (V158, 18), (V159, 19), (V16, 34), (V160, 26), (V161, 1), (V162, 32), (V163, 31), (V164, 4), (V165, 21), (V166, 7), (V167, 29), (V168, 22), (V169, 17), (V17, 18), (V170, 20), (V171, 28), (V172, 22), (V173, 19), (V174, 20), (V175, 20), (V176, 1), (V177, 23), (V178, 33), (V179, 28), (V18, 37), (V180, 33), (V181, 19), (V182, 29), (V183, 28), (V184, 18), (V185, 17), (V186, 6), (V187, 37), (V188, 1), (V189, 17), (V19, 24), (V190, 1), (V191, 17), (V192, 24), (V193, 23), (V194, 28), (V195, 27), (V196, 25), (V197, 5), (V198, 23), (V199, 1), (V2, 30), (V20, 10), (V200, 33), (V201, 25), (V202, 1), (V203, 20), (V204, 1), (V205, 23), (V206, 29), (V207, 20), (V208, 22), (V209, 30), (V21, 25), (V210, 29), (V211, 24), (V212, 3), (V213, 27), (V214, 18), (V215, 29), (V216, 25), (V217, 16), (V218, 26), (V219, 4), (V22, 28), (V220, 28), (V221, 5), (V222, 29), (V223, 17), (V224, 9), (V225, 25), (V226, 24), (V227, 1), (V228, 13), (V229, 1), (V23, 31), (V230, 1), (V231, 1), (V232, 28), (V233, 33), (V234, 16), (V235, 26), (V236, 36), (V237, 23), (V238, 27), (V239, 29), (V24, 28), (V240, 20), (V241, 27), (V242, 26), (V243, 26), (V244, 19), (V245, 25), (V246, 22), (V247, 26), (V248, 22), (V249, 1), (V25, 22), (V250, 18), (V251, 30), (V252, 28), (V253, 27), (V254, 28), (V255, 30), (V256, 25), (V257, 28), (V258, 23), (V259, 25), (V26, 26), (V260, 20), (V261, 17), (V262, 29), (V263, 25), (V264, 21), (V265, 26), (V266, 21), (V267, 27), (V268, 18), (V269, 25), (V27, 31), (V270, 26), (V271, 30), (V272, 25), (V273, 24), (V274, 2), (V275, 27), (V276, 25), (V277, 30), (V278, 1), (V279, 20), (V28, 28), (V280, 25), (V281, 23), (V282, 25), (V283, 34), (V284, 23), (V285, 26), (V286, 31), (V287, 29), (V288, 23), (V289, 23), (V29, 17), (V290, 20), (V291, 23), (V292, 28), (V293, 23), (V294, 28), (V295, 28), (V296, 20), (V297, 30), (V298, 26), (V299, 17), (V3, 25), (V30, 22), (V300, 34), (V301, 19), (V302, 21), (V303, 23), (V304, 36), (V305, 33), (V306, 24), (V307, 25), (V308, 27), (V309, 25), (V31, 2), (V310, 2), (V311, 30), (V312, 24), (V313, 4), (V314, 25), (V315, 27), (V316, 24), (V317, 30), (V318, 31), (V319, 24), (V32, 20), (V320, 32), (V321, 30), (V322, 25), (V323, 27), (V324, 25), (V325, 21), (V326, 21), (V327, 23), (V328, 33), (V329, 25), (V33, 19), (V330, 26), (V331, 3), (V332, 22), (V333, 1), (V334, 6), (V335, 20), (V336, 2), (V337, 1), (V338, 21), (V339, 19), (V34, 22), (V340, 20), (V341, 1), (V342, 22), (V343, 23), (V344, 16), (V345, 20), (V346, 9), (V347, 21), (V348, 31), (V349, 21), (V35, 29), (V350, 18), (V351, 32), (V352, 1), (V353, 24), (V354, 28), (V355, 27), (V356, 26), (V357, 1), (V358, 27), (V359, 2), (V36, 19), (V360, 32), (V361, 19), (V362, 20), (V363, 26), (V364, 16), (V365, 28), (V366, 29), (V367, 1), (V368, 22), (V369, 2), (V37, 1), (V370, 29), (V371, 33), (V372, 21), (V373, 20), (V374, 30), (V375, 23), (V376, 20), (V377, 21), (V378, 26), (V379, 31), (V38, 23), (V380, 28), (V381, 4), (V382, 34), (V383, 27), (V384, 27), (V385, 32), (V386, 29), (V387, 20), (V388, 1), (V389, 4), (V39, 30), (V390, 26), (V391, 26), (V392, 24), (V393, 27), (V394, 31), (V395, 22), (V396, 27), (V397, 26), (V398, 19), (V399, 9), (V4, 19), (V40, 31), (V400, 22), (V401, 4), (V402, 1), (V403, 26), (V404, 21), (V405, 26), (V406, 29), (V407, 1), (V408, 22), (V409, 21), (V41, 2), (V410, 24), (V411, 24), (V412, 24), (V413, 21), (V414, 25), (V415, 24), (V416, 32), (V417, 1), (V418, 30), (V419, 2), (V42, 24), (V420, 28), (V421, 21), (V422, 26), (V423, 30), (V424, 16), (V425, 2), (V426, 26), (V427, 17), (V428, 29), (V429, 29), (V43, 28), (V430, 25), (V431, 29), (V432, 20), (V433, 26), (V434, 25), (V435, 5), (V436, 28), (V437, 29), (V438, 25), (V439, 26), (V44, 29), (V440, 28), (V441, 25), (V442, 27), (V443, 32), (V444, 1), (V445, 26), (V446, 26), (V447, 21), (V448, 24), (V449, 18), (V45, 1), (V46, 1), (V47, 1), (V48, 28), (V49, 38), (V5, 13), (V50, 18), (V51, 13), (V52, 5), (V53, 24), (V54, 20), (V55, 26), (V56, 26), (V57, 1), (V58, 30), (V59, 5), (V6, 26), (V60, 27), (V61, 21), (V62, 28), (V63, 16), (V64, 9), (V65, 28), (V66, 24), (V67, 41), (V68, 8), (V69, 6), (V7, 21), (V70, 19), (V71, 8), (V72, 27), (V73, 24), (V74, 29), (V75, 1), (V76, 37), (V77, 20), (V78, 28), (V79, 24), (V8, 34), (V80, 20), (V81, 15), (V82, 23), (V83, 19), (V84, 4), (V85, 30), (V86, 34), (V87, 22), (V88, 32), (V89, 1), (V9, 1), (V90, 24), (V91, 29), (V92, 22), (V93, 26), (V94, 27), (V95, 28), (V96, 26), (V97, 31), (V98, 23), (V99, 25)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(44179312, 0), (44187600, 0), (44188272, 0), (44189696, 0), (44190848, 0), (44193968, 0), (44205280, 0), (44210432, 0), (44218256, 0), (44228480, 0), (44231456, 0), (44236176, 0), (44244192, 0), (44248992, 0), (44254064, 0), (44256576, 0), (44264752, 0), (44265808, 0), (44273184, 0), (44277120, 0), (44278688, 0), (44280608, 0), (44284384, 0), (44288752, 0), (44292208, 0), (44299008, 0), (44303824, 0), (44306480, 0), (44311024, 0), (44317744, 0), (44323504, 0), (44324816, 0), (44325472, 0), (44326432, 0), (44327440, 0), (44344016, 0), (44346144, 0), (44349648, 0), (44354544, 0), (44373296, 0), (44376192, 0), (44379088, 0), (44388544, 0), (44391328, 0), (44394192, 0), (44397056, 0), (44399952, 0), (44402880, 0), (44405776, 0), (44408672, 0), (44411568, 0), (44414464, 0), (44417360, -38), (44420256, 0), (44423152, 0), (44426016, 0), (44428880, 0), (44431744, 0), (44434672, 0), (44437568, 0), (44441184, 0), (44444080, 0), (44446976, 0), (44449872, 0), (44452768, 0), (44455664, 0), (44458560, 0), (44461456, 0), (44464352, 0), (44467248, 0), (44470144, -41), (44473040, 0), (44475936, 0), (44478832, 0), (44481728, 0), (44484624, 0), (44487520, 0), (44490416, 0), (44493312, 0), (44496208, 0), (44499104, 0), (44502000, 0), (44504896, 0), (44507792, 0), (44510688, 0), (44513584, 0), (44516480, 0), (44519376, 0), (44522272, 0), (44525168, 0), (44528064, 0), (44530960, 0), (44533856, 0), (44536752, 0), (44537904, 0), (44540768, 0), (44543632, 0), (44546528, 0), (44549456, 0), (44552352, 0), (44555248, 0), (44558144, 0), (44561008, 0), (44563872, 0), (44566800, 0), (44569696, 0), (44572592, 0), (44575488, 0), (44578384, 0), (44581280, 0), (44584176, 0), (44587072, 0), (44589968, 0), (44592864, 0), (44595760, 0), (44598656, 0), (44601552, 0), (44604448, 0), (44607344, 0), (44610240, 0), (44613136, 0), (44616032, 0), (44618928, 0), (44621824, 0), (44624720, 0), (44627616, 0), (44630512, 0), (44633408, 0), (44636304, 0), (44639200, 0), (44642096, 0), (44644992, 0), (44647888, 0), (44650784, 0), (44653680, 0), (44656576, 0), (44659472, 0), (44662368, 0), (44665264, 0), (44668160, 0), (44671056, 0), (44673952, 0), (44676848, 0), (44679744, 0), (44682640, 0), (44685536, 0), (44688432, 0), (44691328, 0), (44694880, 0), (44697744, 0), (44700640, 0), (44703568, 0), (44706464, 0), (44709360, 0), (44712256, 0), (44715152, 0), (44718048, 0), (44720944, 0), (44723840, 0), (44726736, 0), (44729632, 0), (44732528, 0), (44735424, 0), (44738320, 0), (44741216, 0), (44744112, 0), (44747008, 0), (44749904, 0), (44752800, 0), (44755696, 0), (44758592, 0), (44761488, 0), (44764384, 0), (44767280, 0), (44770176, 0), (44773072, 0), (44775968, 0), (44778864, 0), (44781760, 0), (44784656, 0), (44787552, 0), (44790448, 0), (44793344, 0), (44796240, 0), (44799136, 0), (44802032, 0), (44804928, 0), (44807824, 0), (44810720, 0), (44813616, 0), (44816512, 0), (44819408, 0), (44822304, 0), (44825200, 0), (44828096, 0), (44830992, 0), (44833856, 0), (44836720, 0), (44839648, 0), (44842544, 0), (44845440, 0), (44848336, 0), (44851232, 0), (44854128, 0), (44857024, 0), (44859920, 0), (44862816, 0), (44865712, 0), (44868608, 0), (44871504, 0), (44874400, 0), (44877296, 0), (44880192, 0), (44883088, 0), (44885984, 0), (44888880, 0), (44891776, 0), (44894672, 0), (44897568, 0), (44900464, 0), (44903360, 0), (44906256, 0), (44909152, 0), (44912048, 0), (44914944, 0), (44917840, 0), (44920736, 0), (44923632, 0), (44943408, 0), (44946272, 0), (44950304, 0), (44953200, 0), (44956128, 0), (44959024, 0), (44961920, 0), (44964816, 0), (44967680, 0), (44970544, 0), (44973472, 0), (44976368, 0), (44979264, 0), (44982160, 0), (44985056, 0), (44987952, 0), (44990848, 0), (44993744, 0), (44996640, 0), (44999536, 0), (45002432, 0), (45005328, 0), (45008224, 0), (45011120, 0), (45014016, 0), (45016912, 0), (45019808, 0), (45022704, 0), (45025600, 0), (45028496, 0), (45031392, 0), (45034288, 0), (45037184, 0), (45040080, 0), (45042976, 0), (45045872, 0), (45048768, 0), (45051664, 0), (45054560, 0), (45057456, 0), (45060352, 0), (45063248, 0), (45066144, 0), (45069040, 0), (45071936, 0), (45074832, 0), (45077728, 0), (45080624, 0), (45083520, 0), (45086416, 0), (45089312, 0), (45092208, 0), (45095104, 0), (45098000, 0), (45100896, 0), (45103760, 0), (45106656, 0), (45109584, 0), (45112480, 0), (45115376, 0), (45118272, 0), (45121168, 0), (45124064, 0), (45126960, 0), (45129856, 0), (45132752, 0), (45135648, 0), (45138544, 0), (45141440, 0), (45144336, 0), (45147232, 0), (45150128, 0), (45153024, 0), (45155920, 0), (45158816, 0), (45161712, 0), (45164608, 0), (45167504, 0), (45170400, 0), (45173296, 0), (45176192, 0), (45179088, 0), (45181984, 0), (45184880, 0), (45187776, 0), (45190672, 0), (45193568, 0), (45196464, 0), (45199360, 0), (45202256, 0), (45205152, 0), (45208048, 0), (45210944, 0), (45213840, 0), (45216736, 0), (45219632, 0), (45222528, 0), (45225424, 0), (45228320, 0), (45231216, 0), (45234112, 0), (45236976, 0), (45239872, 0), (45242800, 0), (45245696, 0), (45248592, 0), (45251488, 0), (45254384, 0), (45257280, 0), (45260176, 0), (45263072, 0), (45265968, 0), (45268864, 0), (45271760, 0), (45274656, 0), (45277552, 0), (45280448, 0), (45283344, 0), (45286240, 0), (45289136, 0), (45292032, 0), (45294928, 0), (45297824, 0), (45300720, 0), (45303616, 0), (45306512, 0), (45309408, 0), (45312304, 0), (45315200, 0), (45318096, 0), (45320992, 0), (45323888, 0), (45326784, 0), (45329680, 0), (45332576, 0), (45335472, 0), (45338368, 0), (45345920, 0), (45348784, 0), (45351680, 0), (45354608, 0), (45357504, 0), (45360400, 0), (45363296, 0), (45366192, 0), (45369088, 0), (45371952, 0), (45374848, 0), (45377776, 0), (45380672, 0), (45383568, 0), (45386464, 0), (45389360, 0), (45392256, 0), (45395152, 0), (45398048, 0), (45400944, 0), (45403840, 0), (45406736, 0), (45409632, 0), (45412528, 0), (45415424, 0), (45418320, 0), (45421216, 0), (45424112, 0), (45427008, 0), (45429904, 0), (45432800, 0), (45435696, 0), (45438592, 0), (45441488, 0), (45444384, 0), (45447280, 0), (45450176, 0), (45453072, 0), (45455968, 0), (45458864, 0), (45461760, 0), (45464656, 0), (45467552, 0), (45470448, 0), (45473344, 0), (45476240, 0), (45479136, 0), (45482032, 0), (45484928, 0), (45487824, 0), (45490720, 0), (45493616, 0), (45496512, 0), (45499408, 0), (45502304, 0), (45505200, 0), (45508064, 0), (45510960, 0), (45513888, 0), (45516784, 0), (45519680, 0), (45522576, 0), (45525472, 0), (45528368, 0), (45531264, 0), (45534160, 0), (45537056, 0), (45539952, 0), (45542848, 0), (45545744, 0), (45548640, 0), (45551536, 0), (45554432, 0), (45557328, 0), (45560224, 0), (45563120, 0), (45566016, 0), (45568912, 0), (45571808, 0), (45574704, 0), (45577600, 0), (45580496, 0), (45583392, 0), (45586288, 0), (45589184, 0)] %right_file
	 ( INFO) == Finished creating data structures %right_file
	 ( INFO) == Beginning Preprocessing %right_file
	 ( INFO) == Finished with Preprocessing %right_file
ERROR: Caught signal 24
{"StaticInstanceData": {"# Components":"1","# Constraints":"17425","# Normalized Constraints":"0","# Solutions":"0","# Values Removed From Unary Cons ":"0","# Variables":"450","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Problem Setup  (ms)":"14082","Peak Memory (MB)":"0"},
 "Components": [{"Component Stats": {"# Constraints":"17425","# Variables":"450"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 12, 88, 496, 2297, 8342, 17987, 5596, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# backtracks":"34819","# backtracks per level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 12, 88, 496, 2297, 8342, 17987, 5596, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# nodes visited":"81647","# solutions":"0","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"0","# value trigger per level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# values removed after preprocessing":"0","# variable triggers per level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","search timeout":"1","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "STR2": {"# calls to revise":"309198401","# isValid Checks":"3342133815"}}]}