Checked for one pass and found: 1
2026-03-23 14:40:54,616 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","V284","V318","V391","V416","V366","V370","V179","V184","V75",],
1:["V13","V95","V113","V120","V145","V170","V195","V213","V220","V238","V338","V229",],
2:["V51","V58","V183","V322","V331","V340","V365","V383","V283","V315","V390","V442","V249",],
3:["V78","V178","V210","V235","V267","V285","V301","V303","V310","V403","V428","V437","V446","V444",],
4:["V5","V14","V262","V287","V289","V294","V162","V187","V103","V105","V110","V394","V423","V430","V205","V212","V330","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","V401","V408","V433","V376","V367",],
9:["V18","V38","V61","V68","V86","V104","V141","V186","V206","V220","V250","V393","V397","V411","V416","V418","V420","V443","V286","V300","V307","V311","V323","V359","V227",],
10:["V27","V56","V67","V90","V95","V122","V141","V149","V182","V208","V209","V236","V247","V331","V340","V347","V354","V372","V375","V379","V383","V393","V404","V299","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","V205","V223","V244","V246","V247","V248","V253","V130","V131","V135","V142","V149","V155","V163","V180","V187","V107","V126","V262","V271","V287","V290","V416","V432","V433","V348","V371","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","V195","V196","V203","V215","V228","V236","V253","V133","V139","V153","V169","V178","V76","V91","V97","V293","V313","V317","V399","V406","V329","V382","V448","V37",],
16:["V72","V83","V92","V95","V113","V120","V195","V197","V213","V220","V238","V240","V242","V254","V272","V281","V297","V145","V149","V154","V158","V170","V172","V179","V338","V349","V356","V365","V13",],
17:["V7","V39","V50","V66","V71","V85","V106","V118","V123","V296","V303","V394","V396","V409","V413","V415","V422","V427","V429","V196","V203","V236","V167","V171","V180","V320","V328","V349","V351","V383","V137",],
18:["V3","V32","V68","V71","V98","V101","V102","V321","V324","V328","V353","V360","V378","V279","V291","V296","V303","V403","V421","V422","V430","V431","V438","V440","V445","V194","V211","V217","V225","V134","V139","V158","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","V396","V397","V438","V445","V324","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","V384","V392","V423","V343","V356","V369","V379","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","V277","V281","V286","V306","V142","V146","V163","V174","V181","V77","V85","V86","V88","V102","V113","V118","V124","V234","V237","V240","V243","V254","V394","V395","V406","V433","V436","V445","V325","V326","V328","V340","V351","V379","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","V385","V395","V408","V412","V426","V446","V283","V312","V316","V319","V330","V335","V356","V363","V382","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","V384","V397","V399","V427","V430","V439","V270","V274","V304","V320","V329","V373","V190",],
28:["V322","V325","V345","V350","V358","V363","V365","V376","V263","V271","V273","V275","V276","V299","V300","V306","V318","V193","V218","V244","V250","V392","V432","V436","V439","V443","V447","V17","V20","V24","V28","V29","V33","V52","V131","V152","V155","V179","V185","V187","V65","V66","V111","V9",],
29:["V34","V41","V53","V62","V448","V389","V398","V400","V412","V414","V423","V427","V431","V133","V152","V166","V180","V320","V348","V349","V351","V360","V372","V373","V266","V268","V285","V304","V315","V317","V319","V196","V209","V221","V225","V236","V76","V80","V88","V92","V93","V94","V103","V57",],
30:["V0","V19","V21","V38","V64","V76","V86","V104","V116","V123","V128","V135","V152","V156","V162","V172","V178","V182","V189","V195","V234","V252","V387","V393","V396","V404","V421","V434","V446","V257","V258","V275","V286","V288","V289","V290","V292","V314","V318","V345","V348","V366","V374","V230",],
31:["V5","V16","V71","V86","V102","V108","V110","V113","V114","V117","V124","V127","V128","V134","V141","V157","V162","V175","V182","V338","V347","V363","V365","V256","V269","V270","V275","V295","V314","V206","V213","V220","V226","V238","V245","V247","V255","V384","V393","V421","V423","V436","V443","V448","V204",],
32:["V25","V26","V29","V40","V42","V62","V63","V256","V257","V258","V265","V281","V309","V311","V336","V360","V361","V363","V374","V379","V386","V405","V411","V433","V434","V436","V192","V194","V196","V218","V239","V241","V244","V254","V143","V153","V154","V160","V172","V177","V73","V77","V97","V99","V101","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","V386","V390","V395","V403","V411","V429","V437","V439","V327","V335","V347","V358","V365","V374","V231",],
34:["V19","V20","V21","V36","V44","V53","V62","V73","V100","V107","V114","V126","V387","V398","V416","V421","V432","V433","V446","V205","V210","V214","V223","V244","V246","V247","V248","V253","V339","V348","V366","V371","V377","V262","V268","V271","V287","V290","V314","V131","V135","V142","V149","V155","V157","V159","V163","V178","V180","V187","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","V262","V267","V269","V272","V280","V290","V292","V293","V308","V317","V319","V208","V209","V228","V235","V245","V255","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","V200","V201","V207","V208","V215","V222","V223","V233","V234","V236","V242","V243","V251","V386","V401","V404","V415","V433","V435","V440","V443","V258","V276","V277","V283","V294","V300","V304","V305","V308","V88","V90","V99","V124","V320","V366","V370","V376","V145","V146","V147","V163","V164","V172","V183","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","V394","V396","V400","V406","V414","V416","V420","V423","V424","V426","V429","V431","V257","V263","V267","V282","V288","V299","V300","V306","V319","V200","V207","V211","V220","V222","V225","V226","V232","V237","V239","V255","V328","V334","V335","V353","V356","V368","V371","V381","V382","V383","V142","V182","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","V324","V330","V371","V378","V394","V396","V397","V405","V423","V428","V430","V438","V445","V262","V269","V271","V272","V283","V286","V287","V289","V294","V295","V304","V311","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","V385","V386","V395","V405","V411","V426","V433","V434","V436","V360","V361","V363","V374","V379","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","V266","V268","V275","V284","V285","V294","V300","V304","V305","V315","V317","V319","V196","V209","V211","V218","V221","V225","V236","V389","V390","V398","V400","V409","V412","V413","V414","V423","V427","V431","V320","V348","V349","V351","V354","V360","V372","V373","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","V340","V346","V350","V351","V362","V371","V378","V380","V260","V262","V284","V285","V293","V302","V308","V314","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","V143","V148","V159","V162","V168","V171","V177","V186","V187","V384","V394","V396","V397","V405","V410","V423","V428","V430","V438","V445","V447","V321","V324","V330","V332","V345","V368","V371","V373","V378","V382","V200","V205","V206","V216","V218","V228","V232","V241","V242","V248","V250","V254","V67","V68","V81","V86","V87","V88","V93","V100","V101","V103","V104","V105","V110","V111","V118","V123","V125","V259","V262","V263","V269","V271","V272","V283","V286","V287","V289","V294","V295","V304","V311","V315","V316","V14",],
53:["V11","V15","V23","V24","V27","V35","V39","V44","V49","V50","V55","V58","V60","V193","V195","V196","V201","V203","V210","V215","V216","V222","V228","V236","V237","V239","V252","V253","V133","V139","V142","V150","V153","V157","V160","V167","V169","V171","V175","V178","V179","V184","V187","V65","V67","V70","V74","V76","V78","V81","V85","V91","V93","V97","V99","V100","V103","V108","V110","V116","V122","V322","V324","V328","V329","V343","V354","V355","V356","V366","V370","V379","V382","V257","V267","V276","V279","V284","V286","V287","V292","V293","V304","V305","V317","V318","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","V320","V322","V328","V329","V343","V344","V347","V349","V351","V354","V355","V358","V366","V372","V373","V377","V383","V263","V265","V270","V272","V276","V283","V296","V297","V303","V304","V309","V129","V131","V132","V135","V136","V148","V150","V158","V165","V167","V171","V174","V178","V180","V182","V184","V384","V385","V394","V396","V397","V399","V409","V413","V415","V420","V422","V427","V429","V430","V434","V439","V446","V449","V196","V203","V210","V213","V215","V233","V236","V240","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","V385","V386","V392","V395","V400","V408","V412","V416","V418","V420","V426","V427","V445","V446","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","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","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","V448","V385","V386","V387","V393","V404","V406","V408","V410","V415","V433","V435","V440","V441","V443","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","V390","V393","V394","V397","V398","V403","V404","V410","V412","V422","V428","V429","V430","V431","V432","V433","V436","V437","V442","V198","V205","V206","V208","V209","V216","V217","V223","V232","V234","V236","V245","V246","V247","V250","V322","V325","V327","V328","V330","V339","V340","V346","V347","V348","V351","V353","V354","V362","V365","V371","V372","V375","V378","V379","V382","V383","V259","V268","V271","V273","V275","V280","V282","V283","V288","V289","V291","V294","V295","V297","V299","V307","V311","V312","V315","V316","V128","V135","V136","V139","V140","V141","V144","V146","V149","V152","V165","V168","V177","V180","V182","V183","V185","V187","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","V384","V393","V394","V396","V397","V405","V410","V411","V412","V416","V418","V420","V423","V428","V430","V432","V437","V438","V443","V445","V447","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","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","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","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","V128","V133","V134","V139","V141","V142","V145","V150","V153","V157","V160","V162","V167","V169","V171","V175","V178","V179","V181","V182","V184","V187","V321","V322","V324","V328","V329","V338","V342","V343","V347","V354","V355","V356","V363","V364","V365","V366","V370","V379","V382","V256","V257","V260","V267","V269","V270","V275","V276","V279","V284","V286","V287","V292","V293","V295","V304","V305","V309","V314","V317","V318","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","V192","V193","V196","V198","V200","V208","V209","V211","V214","V218","V220","V225","V228","V232","V233","V235","V236","V238","V241","V244","V245","V247","V251","V255","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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","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) == [(25483152, 0), (25492672, 0), (25518880, 0), (25528800, 0), (25529792, 0), (25532768, 0), (25534400, 0), (25537376, 0), (25539392, 0), (25548896, 0), (25555792, 0), (25559120, 0), (25566064, 0), (25567392, 0), (25570368, 0), (25589520, 0), (25594160, 0), (25598672, 0), (25602688, 0), (25615184, 0), (25618576, 0), (25621792, 0), (25643152, 0), (25647232, 0), (25649648, 0), (25662592, 0), (25666128, 0), (25669664, 0), (25675344, 0), (25677760, 0), (25680176, 0), (25682592, 0), (25685008, 0), (25688192, 0), (25691696, 0), (25695200, 0), (25698704, 0), (25702208, 0), (25705712, 0), (25709680, 0), (25713216, 0), (25716752, 0), (25720288, 0), (25723824, 0), (25727328, 0), (25730864, 0), (25734400, 0), (25737936, 0), (25741472, 0), (25745008, 0), (25748544, 0), (25752080, 0), (25755616, -38), (25759152, 0), (25762688, 0), (25766224, 0), (25769760, 0), (25773296, 0), (25776832, 0), (25780368, 0), (25783904, 0), (25787440, 0), (25790976, 0), (25794512, 0), (25798048, 0), (25801584, 0), (25805120, 0), (25808656, 0), (25812192, 0), (25815728, 0), (25819264, -41), (25822800, 0), (25826336, 0), (25829872, 0), (25833408, 0), (25836944, 0), (25840480, 0), (25844016, 0), (25847552, 0), (25851088, 0), (25854624, 0), (25858160, 0), (25861696, 0), (25865232, 0), (25868768, 0), (25872304, 0), (25875840, 0), (25879376, 0), (25882912, 0), (25886448, 0), (25889984, 0), (25893520, 0), (25897056, 0), (25900592, 0), (25901744, 0), (25905280, 0), (25908816, 0), (25912352, 0), (25915888, 0), (25919424, 0), (25922960, 0), (25926496, 0), (25930032, 0), (25933568, 0), (25937104, 0), (25940640, 0), (25944176, 0), (25947712, 0), (25951248, 0), (25954784, 0), (25958320, 0), (25961856, 0), (25965392, 0), (25968928, 0), (25972464, 0), (25976000, 0), (25979536, 0), (25983072, 0), (25986608, 0), (25990144, 0), (25993680, 0), (25997216, 0), (26000752, 0), (26004288, 0), (26007824, 0), (26011360, 0), (26014896, 0), (26018432, 0), (26021968, 0), (26025504, 0), (26029040, 0), (26032576, 0), (26036112, 0), (26039648, 0), (26043184, 0), (26046720, 0), (26050256, 0), (26053792, 0), (26057328, 0), (26060864, 0), (26064400, 0), (26067936, 0), (26071472, 0), (26075008, 0), (26078544, 0), (26082080, 0), (26085616, 0), (26089152, 0), (26093376, 0), (26096912, 0), (26100448, 0), (26103984, 0), (26107520, 0), (26111056, 0), (26114592, 0), (26118128, 0), (26121664, 0), (26125200, 0), (26128736, 0), (26132272, 0), (26135808, 0), (26139344, 0), (26142880, 0), (26146416, 0), (26149952, 0), (26153488, 0), (26157024, 0), (26160560, 0), (26164096, 0), (26167632, 0), (26171168, 0), (26174704, 0), (26178240, 0), (26181776, 0), (26185312, 0), (26188848, 0), (26192384, 0), (26195920, 0), (26199456, 0), (26202992, 0), (26206528, 0), (26210064, 0), (26213600, 0), (26217136, 0), (26220672, 0), (26224208, 0), (26227744, 0), (26231280, 0), (26234816, 0), (26238352, 0), (26241888, 0), (26245424, 0), (26248960, 0), (26252496, 0), (26256032, 0), (26259568, 0), (26263104, 0), (26266640, 0), (26270176, 0), (26273712, 0), (26277248, 0), (26280784, 0), (26284320, 0), (26287856, 0), (26291392, 0), (26294928, 0), (26298464, 0), (26302000, 0), (26305536, 0), (26309072, 0), (26312608, 0), (26316144, 0), (26319680, 0), (26323216, 0), (26326752, 0), (26330288, 0), (26333824, 0), (26337360, 0), (26340896, 0), (26344432, 0), (26347968, 0), (26351504, 0), (26355040, 0), (26358576, 0), (26362112, 0), (26365648, 0), (26369184, 0), (26372720, 0), (26395104, 0), (26398640, 0), (26403312, 0), (26406816, 0), (26410352, 0), (26413888, 0), (26417424, 0), (26420960, 0), (26424496, 0), (26428032, 0), (26431568, 0), (26435104, 0), (26438640, 0), (26442176, 0), (26445712, 0), (26449248, 0), (26452784, 0), (26456320, 0), (26459856, 0), (26463392, 0), (26466928, 0), (26470464, 0), (26474000, 0), (26477536, 0), (26481072, 0), (26484608, 0), (26488144, 0), (26491680, 0), (26495216, 0), (26498752, 0), (26502288, 0), (26505824, 0), (26509360, 0), (26512896, 0), (26516432, 0), (26519968, 0), (26523504, 0), (26527040, 0), (26530576, 0), (26534112, 0), (26537648, 0), (26541184, 0), (26544720, 0), (26548256, 0), (26551792, 0), (26555328, 0), (26558864, 0), (26562400, 0), (26565936, 0), (26569472, 0), (26573008, 0), (26576544, 0), (26580080, 0), (26583616, 0), (26587152, 0), (26590688, 0), (26594224, 0), (26597760, 0), (26601296, 0), (26604832, 0), (26608368, 0), (26611904, 0), (26615440, 0), (26618976, 0), (26622512, 0), (26626048, 0), (26629584, 0), (26633120, 0), (26636656, 0), (26640192, 0), (26643728, 0), (26647264, 0), (26650800, 0), (26654336, 0), (26657872, 0), (26661408, 0), (26664944, 0), (26668480, 0), (26672016, 0), (26675552, 0), (26679088, 0), (26682624, 0), (26686160, 0), (26689696, 0), (26693232, 0), (26696768, 0), (26700304, 0), (26703840, 0), (26707376, 0), (26710912, 0), (26714448, 0), (26717984, 0), (26721520, 0), (26725056, 0), (26728592, 0), (26732128, 0), (26735664, 0), (26739200, 0), (26742736, 0), (26746272, 0), (26749808, 0), (26753344, 0), (26756880, 0), (26760416, 0), (26763952, 0), (26767488, 0), (26771024, 0), (26774560, 0), (26778096, 0), (26781632, 0), (26785168, 0), (26788704, 0), (26792240, 0), (26795776, 0), (26799312, 0), (26802848, 0), (26806384, 0), (26809920, 0), (26813456, 0), (26816992, 0), (26820528, 0), (26824064, 0), (26827600, 0), (26831136, 0), (26834672, 0), (26838208, 0), (26841744, 0), (26845280, 0), (26848816, 0), (26852352, 0), (26855888, 0), (26859424, 0), (26862960, 0), (26866496, 0), (26870032, 0), (26873568, 0), (26877104, 0), (26885968, 0), (26889472, 0), (26893008, 0), (26896544, 0), (26900080, 0), (26903616, 0), (26907152, 0), (26910688, 0), (26914224, 0), (26917760, 0), (26921296, 0), (26924832, 0), (26928368, 0), (26931904, 0), (26935440, 0), (26938976, 0), (26942512, 0), (26946048, 0), (26949584, 0), (26953120, 0), (26956656, 0), (26960192, 0), (26963728, 0), (26967264, 0), (26970800, 0), (26974336, 0), (26977872, 0), (26981408, 0), (26984944, 0), (26988480, 0), (26992016, 0), (26995552, 0), (26999088, 0), (27002624, 0), (27006160, 0), (27009696, 0), (27013232, 0), (27016768, 0), (27020304, 0), (27023840, 0), (27027376, 0), (27030912, 0), (27034448, 0), (27037984, 0), (27041520, 0), (27045056, 0), (27048592, 0), (27052128, 0), (27055664, 0), (27059200, 0), (27062736, 0), (27066272, 0), (27069808, 0), (27073344, 0), (27076880, 0), (27080416, 0), (27083952, 0), (27087488, 0), (27091024, 0), (27094560, 0), (27098096, 0), (27101632, 0), (27105168, 0), (27108704, 0), (27112240, 0), (27115776, 0), (27119312, 0), (27122848, 0), (27126384, 0), (27129920, 0), (27133456, 0), (27136992, 0), (27140528, 0), (27144064, 0), (27147600, 0), (27151136, 0), (27154672, 0), (27158208, 0), (27161744, 0), (27165280, 0), (27168816, 0), (27172352, 0), (27175888, 0), (27179424, 0), (27182960, 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)":"16316","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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"0","# backtracks 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]","# nodes visited":"2","# 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."}, "POAC1": null, "STR2": {"# calls to revise":"100901477","# isValid Checks":"3391958023"}, "POACQ": null}]}