Checked for one pass and found: 1
2026-03-25 09:22:18,399 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) == [(21247872, 0), (21261184, 0), (21271328, 0), (21277888, 0), (21286848, 0), (21289696, 0), (21291840, 0), (21294976, 0), (21296368, 0), (21304928, 0), (21310272, 0), (21312848, 0), (21316240, 0), (21318512, 0), (21319840, 0), (21322816, 0), (21325392, 0), (21328384, 0), (21340208, 0), (21341968, 0), (21343952, 0), (21346608, 0), (21348096, 0), (21351120, 0), (21354192, 0), (21368832, 0), (21371024, 0), (21373568, 0), (21376192, 0), (21385056, 0), (21397776, 0), (21398848, 0), (21402096, 0), (21405040, 0), (21415040, 0), (21417616, 0), (21420192, 0), (21427920, 0), (21429168, 0), (21430416, 0), (21431664, 0), (21432912, 0), (21434160, 0), (21436704, 0), (21439248, 0), (21441824, 0), (21444432, 0), (21447008, 0), (21449584, 0), (21452160, 0), (21454736, 0), (21457312, 0), (21459888, -38), (21462464, 0), (21465040, 0), (21467616, 0), (21470192, 0), (21472768, 0), (21475344, 0), (21477920, 0), (21480464, 0), (21483008, 0), (21485584, 0), (21488192, 0), (21490768, 0), (21493344, 0), (21495920, 0), (21498496, 0), (21501072, 0), (21503648, 0), (21506224, -41), (21508800, 0), (21511376, 0), (21513952, 0), (21516528, 0), (21519104, 0), (21521680, 0), (21524256, 0), (21526832, 0), (21529408, 0), (21531984, 0), (21534560, 0), (21537136, 0), (21539712, 0), (21542288, 0), (21544864, 0), (21547440, 0), (21550016, 0), (21552592, 0), (21555168, 0), (21557744, 0), (21560320, 0), (21562896, 0), (21565472, 0), (21566624, 0), (21569168, 0), (21571712, 0), (21574288, 0), (21576896, 0), (21579472, 0), (21582048, 0), (21584624, 0), (21587200, 0), (21589776, 0), (21592352, 0), (21594928, 0), (21597504, 0), (21600080, 0), (21602656, 0), (21605232, 0), (21607808, 0), (21610384, 0), (21612960, 0), (21615504, 0), (21618048, 0), (21620656, 0), (21623232, 0), (21625808, 0), (21628384, 0), (21630960, 0), (21633536, 0), (21636112, 0), (21638688, 0), (21641264, 0), (21643840, 0), (21646416, 0), (21648992, 0), (21651568, 0), (21654144, 0), (21656720, 0), (21659296, 0), (21661872, 0), (21664448, 0), (21667024, 0), (21669600, 0), (21672176, 0), (21674752, 0), (21677328, 0), (21679904, 0), (21682480, 0), (21685056, 0), (21687632, 0), (21690208, 0), (21692784, 0), (21695360, 0), (21697936, 0), (21700512, 0), (21703024, 0), (21706320, 0), (21708864, 0), (21711472, 0), (21714048, 0), (21716624, 0), (21719200, 0), (21721776, 0), (21724352, 0), (21726928, 0), (21729504, 0), (21732080, 0), (21734656, 0), (21737232, 0), (21739808, 0), (21742384, 0), (21744960, 0), (21747536, 0), (21750112, 0), (21752656, 0), (21755200, 0), (21757808, 0), (21760384, 0), (21762960, 0), (21765536, 0), (21768112, 0), (21770688, 0), (21773264, 0), (21775840, 0), (21778416, 0), (21780992, 0), (21783568, 0), (21786144, 0), (21788720, 0), (21791296, 0), (21793872, 0), (21796448, 0), (21799024, 0), (21801600, 0), (21804176, 0), (21806752, 0), (21809328, 0), (21811904, 0), (21814480, 0), (21817056, 0), (21819632, 0), (21822208, 0), (21824784, 0), (21827360, 0), (21829936, 0), (21832512, 0), (21835088, 0), (21837664, 0), (21840240, 0), (21842816, 0), (21845392, 0), (21847968, 0), (21850544, 0), (21853120, 0), (21855696, 0), (21858272, 0), (21860848, 0), (21863424, 0), (21866000, 0), (21868576, 0), (21871152, 0), (21873728, 0), (21876304, 0), (21878880, 0), (21881456, 0), (21884032, 0), (21886576, 0), (21889152, 0), (21891760, 0), (21894336, 0), (21896912, 0), (21899488, 0), (21902064, 0), (21904640, 0), (21907216, 0), (21909792, 0), (21928672, 0), (21930896, 0), (21934512, 0), (21937088, 0), (21939696, 0), (21942272, 0), (21944848, 0), (21947424, 0), (21950000, 0), (21952576, 0), (21955152, 0), (21957728, 0), (21960304, 0), (21962880, 0), (21965456, 0), (21968032, 0), (21970608, 0), (21973184, 0), (21975760, 0), (21978336, 0), (21980912, 0), (21983488, 0), (21986064, 0), (21988640, 0), (21991216, 0), (21993792, 0), (21996368, 0), (21998944, 0), (22001520, 0), (22004096, 0), (22006672, 0), (22009248, 0), (22011824, 0), (22014400, 0), (22016976, 0), (22019552, 0), (22022096, 0), (22024672, 0), (22027280, 0), (22029856, 0), (22032432, 0), (22035008, 0), (22037584, 0), (22040160, 0), (22042736, 0), (22045312, 0), (22047888, 0), (22050464, 0), (22053040, 0), (22055616, 0), (22058192, 0), (22060768, 0), (22063344, 0), (22065920, 0), (22068496, 0), (22071072, 0), (22073648, 0), (22076224, 0), (22078800, 0), (22081376, 0), (22083952, 0), (22086528, 0), (22089104, 0), (22091680, 0), (22094256, 0), (22096832, 0), (22099408, 0), (22101984, 0), (22104560, 0), (22107136, 0), (22109712, 0), (22112288, 0), (22114864, 0), (22117440, 0), (22120016, 0), (22122592, 0), (22125168, 0), (22127744, 0), (22130320, 0), (22132896, 0), (22135472, 0), (22138048, 0), (22140624, 0), (22143200, 0), (22145776, 0), (22148352, 0), (22150928, 0), (22153504, 0), (22156048, 0), (22158624, 0), (22161232, 0), (22163808, 0), (22166384, 0), (22168960, 0), (22171536, 0), (22174112, 0), (22176688, 0), (22179264, 0), (22181840, 0), (22184416, 0), (22186992, 0), (22189568, 0), (22192144, 0), (22194720, 0), (22197296, 0), (22199872, 0), (22202448, 0), (22205024, 0), (22207600, 0), (22210176, 0), (22212752, 0), (22215328, 0), (22217904, 0), (22220480, 0), (22223056, 0), (22225632, 0), (22228208, 0), (22230784, 0), (22233360, 0), (22235936, 0), (22238512, 0), (22241088, 0), (22243664, 0), (22246240, 0), (22248816, 0), (22251392, 0), (22253968, 0), (22256544, 0), (22259120, 0), (22261696, 0), (22264272, 0), (22266848, 0), (22269424, 0), (22272000, 0), (22274576, 0), (22277152, 0), (22279728, 0), (22286736, 0), (22289200, 0), (22291744, 0), (22294320, 0), (22296928, 0), (22299504, 0), (22302080, 0), (22304656, 0), (22307232, 0), (22309808, 0), (22312384, 0), (22314960, 0), (22317536, 0), (22320112, 0), (22322688, 0), (22325264, 0), (22327840, 0), (22330416, 0), (22332992, 0), (22335568, 0), (22338144, 0), (22340720, 0), (22343296, 0), (22345872, 0), (22348448, 0), (22351024, 0), (22353600, 0), (22356176, 0), (22358752, 0), (22361328, 0), (22363904, 0), (22366480, 0), (22369056, 0), (22371632, 0), (22374208, 0), (22376784, 0), (22379360, 0), (22381936, 0), (22384512, 0), (22387088, 0), (22389664, 0), (22392240, 0), (22394816, 0), (22397392, 0), (22399968, 0), (22402544, 0), (22405120, 0), (22407696, 0), (22410272, 0), (22412848, 0), (22415424, 0), (22418000, 0), (22420576, 0), (22423152, 0), (22425728, 0), (22428272, 0), (22430848, 0), (22433456, 0), (22436032, 0), (22438608, 0), (22441184, 0), (22443760, 0), (22446336, 0), (22448912, 0), (22451488, 0), (22454064, 0), (22456640, 0), (22459216, 0), (22461792, 0), (22464368, 0), (22466944, 0), (22469520, 0), (22472096, 0), (22474672, 0), (22477248, 0), (22479824, 0), (22482400, 0), (22484976, 0), (22487552, 0), (22490128, 0), (22492704, 0), (22495280, 0), (22497856, 0), (22500432, 0), (22503008, 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)":"41951","Peak Memory (MB)":"0"},
 "Components": [{"Component Stats": {"# Constraints":"17425","# Variables":"450"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 0, 0, 0, 0, 0, 2, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"10","# backtracks per level":"[0, 0, 0, 0, 0, 0, 2, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"41","# 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":"327492978","# isValid Checks":"3118150928"}, "POACQ": null}]}