Checked for one pass and found: 1
2026-03-23 18:11:32,190 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:["V169","V365","V230","V258","V364",],
1:["V223","V18","V326","V142","V143","V222",],
2:["V327","V18","V223","V142","V143","V326",],
3:["V267","V91","V327","V370","V174","V266",],
4:["V209","V214","V245","V4","V101","V244",],
5:["V198","V199","V200","V239","V99","V238",],
6:["V98","V152","V198","V199","V200","V239","V99",],
7:["V81","V164","V165","V196","V248","V249","V80",],
8:["V72","V100","V101","V339","V129","V215","V73",],
9:["V56","V74","V103","V127","V187","V243","V57",],
10:["V54","V144","V192","V193","V351","V399","V55",],
11:["V355","V381","V21","V53","V261","V304","V380",],
12:["V366","V17","V39","V188","V189","V241","V367",],
13:["V334","V363","V95","V216","V217","V164","V362",],
14:["V357","V365","V6","V75","V308","V309","V356",],
15:["V339","V348","V98","V234","V235","V289","V349",],
16:["V344","V353","V377","V134","V135","V221","V345",],
17:["V337","V357","V60","V206","V207","V395","V336",],
18:["V331","V50","V234","V315","V81","V133","V330",],
19:["V32","V107","V360","V361","V231","V279","V33",],
20:["V311","V70","V338","V339","V193","V251","V310",],
21:["V278","V299","V118","V119","V121","V341","V298",],
22:["V278","V296","V300","V61","V68","V361","V297",],
23:["V290","V304","V305","V313","V15","V89","V291",],
24:["V269","V274","V275","V285","V8","V372","V284",],
25:["V282","V69","V390","V392","V393","V324","V283",],
26:["V281","V98","V348","V169","V255","V390","V280",],
27:["V277","V12","V13","V40","V41","V78","V276",],
28:["V208","V209","V253","V45","V174","V351","V252",],
29:["V246","V251","V103","V139","V145","V181","V250",],
30:["V237","V20","V322","V323","V340","V186","V236",],
31:["V233","V267","V287","V376","V384","V385","V232",],
32:["V223","V229","V106","V107","V131","V146","V228",],
33:["V209","V215","V245","V4","V96","V101","V214",],
34:["V203","V14","V15","V90","V100","V386","V202",],
35:["V200","V130","V131","V321","V327","V343","V201",],
36:["V190","V40","V41","V277","V301","V85","V191",],
37:["V176","V109","V375","V382","V383","V387","V177",],
38:["V170","V4","V204","V205","V105","V288","V171",],
39:["V26","V109","V113","V372","V163","V166","V162",],
40:["V153","V154","V180","V181","V378","V267","V155",],
41:["V137","V146","V2","V3","V67","V247","V147",],
42:["V141","V114","V115","V246","V249","V303","V140",],
43:["V77","V117","V28","V29","V263","V230","V116",],
44:["V113","V11","V38","V39","V219","V366","V112",],
45:["V109","V25","V346","V379","V265","V292","V108",],
46:["V105","V128","V129","V156","V157","V184","V104",],
47:["V1","V172","V300","V301","V306","V197","V0",],
48:["V96","V119","V6","V59","V216","V217","V245","V97",],
49:["V94","V18","V334","V363","V216","V217","V164","V95",],
50:["V89","V113","V149","V153","V176","V189","V399","V88",],
51:["V77","V139","V151","V163","V270","V289","V237","V76",],
52:["V71","V74","V357","V365","V308","V309","V6","V75",],
53:["V65","V81","V14","V15","V343","V290","V196","V64",],
54:["V16","V32","V37","V63","V151","V258","V218","V62",],
55:["V53","V67","V274","V285","V187","V386","V373","V52",],
56:["V46","V66","V86","V328","V329","V143","V259","V47",],
57:["V20","V45","V141","V156","V337","V368","V253","V44",],
58:["V394","V399","V120","V161","V170","V328","V281","V398",],
59:["V379","V58","V153","V154","V180","V181","V267","V378",],
60:["V377","V220","V233","V384","V385","V267","V287","V376",],
61:["V327","V371","V174","V259","V267","V316","V91","V370",],
62:["V368","V12","V46","V86","V87","V141","V303","V369",],
63:["V351","V368","V371","V382","V175","V192","V253","V350",],
64:["V346","V379","V25","V154","V161","V210","V264","V347",],
65:["V323","V340","V13","V20","V130","V186","V237","V322",],
66:["V320","V327","V343","V130","V131","V200","V388","V321",],
67:["V257","V299","V319","V110","V203","V255","V359","V318",],
68:["V273","V311","V316","V20","V355","V139","V159","V317",],
69:["V285","V294","V315","V92","V334","V342","V343","V314",],
70:["V313","V8","V396","V397","V84","V85","V125","V312",],
71:["V30","V45","V141","V190","V119","V279","V374","V31",],
72:["V261","V306","V37","V127","V393","V163","V381","V307",],
73:["V290","V304","V313","V15","V23","V396","V89","V305",],
74:["V303","V35","V92","V93","V218","V249","V357","V302",],
75:["V28","V32","V230","V231","V77","V117","V263","V29",],
76:["V289","V105","V170","V204","V205","V235","V4","V288",],
77:["V270","V279","V287","V36","V48","V230","V89","V286",],
78:["V256","V265","V273","V34","V340","V86","V216","V272",],
79:["V270","V17","V28","V63","V335","V188","V240","V271",],
80:["V269","V27","V48","V136","V137","V144","V118","V268",],
81:["V263","V9","V11","V38","V84","V85","V397","V262",],
82:["V220","V255","V56","V90","V96","V299","V358","V254",],
83:["V246","V2","V3","V137","V146","V391","V67","V247",],
84:["V16","V17","V25","V240","V270","V313","V190","V24",],
85:["V227","V5","V294","V295","V315","V149","V331","V226",],
86:["V23","V78","V79","V111","V124","V293","V396","V22",],
87:["V218","V7","V11","V38","V39","V113","V366","V219",],
88:["V213","V36","V37","V40","V56","V122","V352","V212",],
89:["V210","V242","V59","V154","V83","V120","V121","V211",],
90:["V209","V253","V174","V175","V351","V383","V45","V208",],
91:["V206","V337","V344","V357","V377","V395","V60","V207",],
92:["V199","V200","V239","V98","V152","V157","V293","V198",],
93:["V200","V239","V98","V111","V152","V157","V293","V199",],
94:["V196","V1","V300","V301","V306","V172","V187","V197",],
95:["V195","V210","V34","V150","V168","V83","V304","V194",],
96:["V18","V127","V386","V387","V393","V363","V374","V19",],
97:["V128","V129","V156","V157","V185","V105","V223","V184",],
98:["V150","V151","V182","V185","V42","V43","V72","V183",],
99:["V178","V224","V287","V320","V332","V388","V389","V179",],
100:["V172","V81","V325","V333","V358","V359","V319","V173",],
101:["V134","V135","V166","V68","V203","V255","V319","V167",],
102:["V164","V81","V196","V248","V249","V263","V397","V165",],
103:["V159","V180","V181","V82","V242","V256","V273","V158",],
104:["V136","V149","V160","V70","V77","V123","V260","V148",],
105:["V139","V18","V282","V115","V354","V355","V381","V138",],
106:["V133","V26","V48","V49","V296","V65","V196","V132",],
107:["V74","V127","V51","V363","V234","V243","V174","V126",],
108:["V79","V115","V275","V303","V141","V246","V249","V114",],
109:["V89","V107","V333","V131","V146","V223","V229","V106",],
110:["V103","V3","V26","V30","V54","V168","V209","V102",],
111:["V60","V227","V334","V361","V278","V296","V300","V68","V61",],
112:["V51","V213","V234","V331","V373","V315","V81","V133","V50",],
113:["V344","V352","V377","V92","V221","V265","V134","V135","V353",],
114:["V323","V340","V79","V118","V119","V121","V278","V299","V341",],
115:["V325","V67","V69","V251","V282","V390","V392","V393","V324",],
116:["V20","V53","V261","V274","V304","V394","V355","V381","V21",],
117:["V71","V123","V36","V37","V40","V56","V213","V352","V122",],
118:["V8","V10","V11","V38","V84","V85","V117","V263","V397","V9",],
119:["V74","V83","V242","V159","V180","V181","V348","V256","V273","V82",],
120:["V374","V382","V383","V109","V110","V292","V293","V176","V387","V375",],
121:["V339","V42","V70","V100","V311","V150","V193","V225","V251","V338",],
122:["V328","V46","V259","V66","V86","V87","V142","V143","V225","V329",],
123:["V287","V294","V315","V5","V36","V227","V149","V392","V331","V295",],
124:["V301","V12","V13","V30","V40","V41","V190","V78","V85","V277",],
125:["V225","V142","V178","V287","V320","V332","V333","V388","V389","V224",],
126:["V220","V233","V344","V352","V377","V265","V134","V135","V92","V221",],
127:["V153","V157","V98","V111","V200","V239","V281","V293","V399","V152",],
128:["V139","V144","V146","V181","V390","V246","V251","V311","V103","V145",],
129:["V72","V96","V100","V129","V209","V215","V245","V4","V339","V101",],
130:["V91","V92","V344","V357","V166","V203","V218","V249","V303","V35","V93",],
131:["V35","V42","V205","V72","V94","V346","V150","V151","V182","V185","V43",],
132:["V12","V13","V30","V40","V60","V301","V337","V78","V85","V190","V41",],
133:["V7","V11","V17","V38","V366","V113","V188","V189","V218","V241","V39",],
134:["V388","V10","V287","V309","V142","V178","V320","V332","V333","V225","V389",],
135:["V385","V63","V267","V269","V287","V69","V134","V220","V233","V377","V384",],
136:["V355","V366","V381","V71","V115","V123","V139","V153","V18","V282","V354",],
137:["V334","V343","V14","V23","V225","V257","V285","V294","V315","V92","V342",],
138:["V309","V71","V74","V335","V357","V365","V182","V185","V392","V6","V308",],
139:["V204","V205","V234","V170","V289","V339","V348","V98","V105","V4","V235",],
140:["V230","V28","V32","V263","V279","V360","V361","V77","V107","V117","V231",],
141:["V60","V337","V344","V357","V377","V72","V110","V264","V135","V395","V206",],
142:["V3","V13","V66","V67","V137","V146","V289","V360","V246","V391","V2",],
143:["V204","V210","V248","V34","V35","V83","V124","V150","V168","V304","V195",],
144:["V129","V130","V187","V1","V13","V20","V237","V239","V323","V340","V186",],
145:["V136","V149","V161","V16","V49","V365","V70","V77","V123","V260","V160",],
146:["V129","V156","V157","V185","V1","V223","V229","V237","V105","V395","V128",],
147:["V28","V49","V59","V220","V94","V153","V154","V180","V181","V379","V267","V58",],
148:["V4","V36","V204","V227","V287","V294","V315","V331","V335","V149","V392","V5",],
149:["V27","V63","V69","V267","V269","V282","V287","V220","V233","V377","V134","V385",],
150:["V373","V8","V26","V269","V274","V275","V285","V109","V113","V163","V166","V372",],
151:["V209","V210","V245","V72","V96","V100","V316","V339","V346","V4","V129","V215",],
152:["V142","V18","V46","V66","V86","V87","V327","V328","V223","V225","V259","V143",],
153:["V84","V85","V124","V8","V54","V382","V303","V313","V169","V396","V397","V125",],
154:["V91","V96","V100","V14","V15","V56","V203","V220","V255","V386","V299","V358","V90",],
155:["V259","V16","V32","V37","V63","V151","V169","V176","V365","V366","V218","V230","V258",],
156:["V234","V242","V51","V56","V74","V103","V127","V257","V306","V174","V187","V363","V243",],
157:["V241","V16","V17","V25","V28","V63","V109","V188","V190","V270","V313","V335","V240",],
158:["V142","V156","V115","V320","V332","V333","V225","V239","V388","V287","V309","V10","V178",],
159:["V174","V45","V54","V124","V192","V209","V253","V351","V368","V371","V382","V383","V175",],
160:["V6","V11","V17","V38","V59","V113","V118","V217","V218","V241","V366","V188","V189","V7",],
161:["V386","V393","V18","V363","V374","V382","V383","V176","V292","V293","V109","V110","V127","V387",],
162:["V325","V333","V358","V81","V87","V110","V172","V256","V257","V299","V319","V203","V255","V359",],
163:["V278","V300","V26","V48","V49","V60","V133","V334","V361","V65","V68","V196","V227","V296",],
164:["V260","V274","V304","V306","V20","V37","V53","V355","V381","V127","V393","V394","V163","V261",],
165:["V139","V180","V181","V74","V83","V348","V355","V256","V273","V311","V316","V242","V20","V159",],
166:["V130","V146","V89","V107","V200","V223","V229","V282","V320","V327","V333","V343","V388","V131",],
167:["V79","V83","V118","V119","V120","V278","V299","V210","V242","V323","V340","V59","V154","V121",],
168:["V368","V371","V382","V383","V45","V54","V192","V193","V209","V253","V144","V174","V399","V124","V351",],
169:["V81","V94","V196","V216","V217","V248","V249","V263","V290","V334","V363","V371","V397","V18","V164",],
170:["V79","V85","V111","V124","V12","V13","V23","V30","V40","V60","V293","V301","V396","V190","V337","V78",],
171:["V12","V18","V259","V303","V311","V66","V86","V87","V327","V328","V368","V141","V142","V223","V225","V46",],
172:["V344","V377","V36","V37","V40","V56","V213","V220","V233","V71","V92","V123","V265","V134","V135","V352",],
173:["V320","V325","V333","V142","V156","V188","V189","V388","V391","V225","V239","V287","V309","V10","V115","V332",],
174:["V193","V209","V253","V30","V45","V54","V77","V124","V368","V371","V382","V383","V144","V174","V399","V192",],
175:["V85","V117","V124","V263","V264","V303","V313","V396","V397","V340","V382","V8","V10","V11","V38","V54","V169","V84",],
176:["V67","V68","V134","V390","V392","V393","V267","V269","V282","V287","V325","V377","V220","V233","V251","V27","V63","V69",],
177:["V35","V70","V72","V94","V100","V150","V151","V182","V185","V339","V346","V193","V205","V225","V248","V251","V311","V42",],
178:["V256","V257","V299","V134","V135","V166","V172","V388","V203","V255","V325","V333","V358","V68","V81","V87","V110","V319",],
179:["V278","V301","V306","V1","V26","V48","V49","V60","V196","V227","V65","V68","V334","V361","V133","V172","V187","V300",],
180:["V13","V26","V30","V54","V66","V67","V103","V137","V144","V146","V168","V360","V371","V209","V246","V391","V289","V3",],
181:["V265","V293","V96","V109","V110","V127","V176","V346","V363","V374","V379","V382","V383","V386","V393","V18","V25","V292",],
182:["V256","V265","V311","V316","V139","V180","V181","V74","V83","V86","V216","V242","V340","V348","V355","V20","V34","V273",],
183:["V209","V210","V216","V217","V4","V6","V10","V59","V339","V346","V374","V72","V96","V100","V119","V129","V316","V245",],
184:["V136","V161","V98","V105","V117","V120","V204","V205","V234","V281","V289","V328","V339","V348","V394","V399","V4","V170",],
185:["V129","V153","V156","V185","V98","V105","V111","V200","V223","V229","V237","V239","V281","V293","V395","V399","V1","V157",],
186:["V257","V285","V287","V315","V4","V14","V23","V36","V331","V334","V335","V343","V149","V204","V225","V227","V92","V392","V294",],
187:["V269","V274","V285","V303","V79","V109","V113","V115","V233","V246","V249","V394","V141","V163","V166","V8","V26","V373","V275",],
188:["V193","V209","V20","V30","V45","V54","V337","V368","V371","V382","V383","V141","V144","V156","V174","V77","V124","V399","V253",],
189:["V20","V37","V51","V213","V260","V274","V285","V304","V306","V355","V373","V381","V386","V393","V394","V67","V127","V163","V187","V53",],
190:["V340","V79","V83","V118","V119","V120","V210","V237","V239","V242","V278","V299","V1","V13","V20","V59","V129","V130","V154","V187","V323",],
191:["V20","V30","V54","V141","V144","V156","V174","V190","V193","V209","V337","V368","V371","V374","V382","V383","V77","V119","V124","V279","V399","V45",],
192:["V16","V28","V37","V63","V218","V230","V259","V263","V279","V313","V137","V151","V169","V176","V77","V107","V117","V360","V361","V365","V366","V32",],
193:["V6","V11","V16","V25","V28","V38","V59","V63","V270","V313","V335","V366","V217","V218","V241","V188","V189","V190","V109","V113","V118","V17",],
194:["V26","V48","V63","V390","V392","V393","V134","V136","V137","V144","V267","V269","V282","V285","V287","V67","V68","V118","V220","V233","V251","V325","V377","V27",],
195:["V151","V168","V182","V185","V34","V35","V193","V204","V205","V210","V225","V248","V251","V339","V346","V70","V72","V83","V94","V100","V124","V304","V311","V150",],
196:["V172","V187","V65","V68","V81","V331","V334","V361","V373","V278","V301","V306","V315","V1","V26","V48","V49","V51","V60","V196","V213","V227","V234","V133",],
197:["V217","V218","V105","V109","V113","V117","V118","V267","V270","V313","V182","V188","V189","V190","V335","V366","V6","V11","V16","V25","V28","V38","V59","V63","V241",],
198:["V218","V16","V28","V36","V37","V48","V63","V77","V89","V107","V117","V259","V263","V270","V279","V287","V313","V360","V361","V365","V366","V137","V151","V169","V176","V230",],
199:["V355","V366","V373","V139","V153","V163","V187","V260","V274","V282","V285","V304","V306","V18","V20","V37","V51","V67","V71","V115","V123","V127","V386","V393","V394","V213","V381",],
200:["V325","V333","V130","V134","V135","V166","V172","V200","V203","V220","V255","V256","V257","V299","V68","V81","V87","V91","V96","V100","V110","V14","V15","V56","V386","V388","V358",],
201:["V325","V327","V333","V343","V360","V89","V107","V115","V130","V142","V146","V156","V188","V189","V388","V391","V282","V287","V301","V309","V200","V223","V225","V229","V239","V10","V320",],
202:["V139","V153","V154","V181","V216","V220","V242","V256","V265","V267","V281","V311","V316","V395","V340","V348","V355","V379","V20","V28","V34","V49","V59","V74","V83","V86","V94","V180",],
203:["V79","V111","V117","V124","V8","V10","V11","V12","V13","V23","V30","V38","V40","V54","V60","V263","V264","V293","V301","V303","V313","V169","V190","V396","V397","V337","V340","V382","V85",],
204:["V68","V81","V111","V1","V14","V15","V23","V26","V48","V49","V51","V60","V172","V187","V196","V213","V227","V234","V331","V334","V343","V361","V373","V278","V290","V301","V306","V315","V65",],
205:["V67","V86","V87","V103","V12","V13","V18","V26","V30","V54","V327","V328","V360","V368","V371","V137","V141","V142","V144","V146","V168","V259","V289","V303","V311","V209","V223","V225","V246","V391","V66",],
206:["V200","V203","V220","V130","V134","V135","V166","V169","V172","V256","V257","V281","V299","V68","V81","V87","V91","V96","V98","V100","V110","V386","V388","V390","V325","V333","V348","V14","V15","V56","V255",],
207:["V397","V8","V10","V11","V12","V13","V15","V23","V30","V38","V40","V54","V60","V79","V89","V111","V117","V124","V263","V264","V290","V293","V301","V303","V304","V313","V169","V190","V337","V340","V382","V396",],
208:["V71","V72","V77","V83","V94","V100","V123","V124","V136","V149","V151","V161","V168","V182","V185","V260","V304","V311","V339","V346","V365","V193","V204","V205","V210","V225","V248","V251","V16","V34","V35","V49","V70",],
209:["V139","V144","V146","V153","V154","V74","V83","V86","V94","V103","V340","V348","V355","V379","V216","V220","V242","V246","V251","V256","V265","V267","V281","V311","V316","V20","V28","V34","V49","V59","V390","V395","V181",],
210:["V337","V346","V363","V368","V371","V374","V379","V382","V77","V96","V109","V110","V119","V124","V127","V141","V144","V156","V174","V176","V190","V193","V209","V18","V20","V25","V30","V54","V386","V393","V399","V265","V279","V293","V383",],
211:["V282","V287","V301","V6","V10","V388","V391","V392","V71","V74","V89","V107","V115","V325","V327","V333","V335","V343","V357","V360","V365","V200","V223","V225","V229","V239","V130","V142","V146","V156","V182","V185","V188","V189","V309",],
212:["V200","V218","V220","V249","V68","V81","V87","V91","V92","V96","V98","V100","V110","V130","V134","V135","V166","V169","V172","V256","V257","V281","V299","V303","V386","V388","V390","V14","V15","V35","V56","V325","V333","V344","V348","V357","V203",],
213:["V334","V335","V343","V361","V373","V1","V4","V14","V15","V23","V26","V36","V48","V49","V51","V60","V196","V204","V213","V225","V227","V234","V68","V81","V92","V111","V149","V172","V187","V257","V278","V285","V287","V290","V301","V306","V315","V392","V331",],
214:["V257","V278","V285","V287","V290","V301","V306","V1","V4","V14","V15","V23","V26","V36","V48","V49","V51","V60","V334","V335","V343","V361","V373","V68","V81","V92","V94","V111","V196","V204","V213","V225","V234","V149","V172","V187","V392","V315",],
215:["V260","V269","V282","V285","V303","V304","V306","V8","V18","V20","V26","V37","V51","V386","V393","V394","V355","V366","V373","V67","V71","V79","V109","V113","V115","V123","V127","V139","V141","V153","V163","V166","V187","V213","V233","V246","V249","V274",],
216:["V325","V337","V344","V357","V134","V135","V136","V137","V144","V213","V220","V233","V251","V390","V392","V393","V395","V26","V36","V37","V40","V48","V56","V60","V63","V264","V265","V267","V269","V282","V285","V287","V67","V68","V71","V72","V92","V110","V118","V123","V377",],
217:["V67","V71","V77","V79","V109","V113","V115","V123","V127","V213","V233","V237","V246","V249","V139","V141","V151","V153","V166","V187","V260","V269","V270","V282","V285","V289","V303","V304","V306","V355","V366","V373","V8","V18","V20","V26","V37","V51","V386","V393","V394","V163",],
218:["V68","V81","V87","V92","V96","V98","V100","V110","V325","V327","V333","V344","V348","V357","V371","V130","V134","V135","V161","V166","V169","V172","V174","V256","V257","V259","V267","V281","V299","V303","V316","V200","V218","V220","V249","V14","V15","V35","V56","V386","V388","V390","V91",],
219:["V193","V204","V210","V225","V234","V248","V251","V4","V16","V34","V35","V49","V136","V149","V151","V161","V168","V182","V185","V260","V281","V289","V304","V311","V71","V72","V77","V83","V94","V98","V100","V105","V117","V120","V123","V124","V328","V339","V346","V348","V365","V394","V399","V205",],
220:["V200","V223","V225","V237","V239","V129","V130","V142","V146","V153","V156","V182","V185","V188","V189","V388","V391","V392","V395","V399","V325","V327","V333","V335","V343","V357","V360","V365","V281","V282","V287","V293","V301","V71","V74","V89","V98","V105","V107","V111","V115","V1","V6","V10","V229",],
221:["V335","V343","V361","V363","V371","V373","V1","V4","V14","V15","V18","V23","V26","V36","V48","V49","V51","V60","V196","V204","V213","V216","V217","V225","V234","V248","V249","V149","V172","V187","V257","V263","V278","V285","V287","V290","V301","V306","V68","V81","V92","V94","V111","V392","V397","V334",],
222:["V337","V339","V346","V363","V368","V371","V379","V382","V4","V6","V10","V18","V20","V25","V30","V54","V59","V193","V209","V210","V216","V217","V386","V393","V399","V265","V279","V293","V316","V72","V77","V96","V100","V109","V110","V119","V124","V127","V129","V141","V144","V156","V174","V176","V190","V374",],
223:["V6","V8","V10","V11","V12","V13","V15","V16","V23","V25","V28","V30","V40","V54","V59","V60","V63","V263","V264","V267","V270","V290","V293","V301","V303","V304","V313","V79","V89","V105","V109","V111","V113","V117","V118","V124","V217","V218","V335","V337","V340","V366","V382","V397","V169","V182","V188","V189","V190","V38",],
224:["V129","V130","V139","V144","V146","V153","V161","V187","V1","V13","V20","V25","V28","V34","V49","V59","V340","V346","V348","V355","V379","V210","V216","V220","V237","V239","V242","V246","V251","V256","V264","V265","V267","V278","V281","V299","V311","V316","V74","V79","V83","V86","V94","V103","V118","V119","V120","V390","V395","V154",],
225:["V6","V8","V10","V12","V13","V15","V16","V23","V25","V28","V30","V40","V54","V59","V60","V63","V79","V89","V105","V109","V111","V113","V117","V118","V120","V124","V263","V264","V267","V270","V290","V293","V301","V303","V304","V313","V217","V218","V335","V337","V340","V366","V382","V397","V169","V182","V188","V189","V190","V11",],
226:["V210","V216","V220","V234","V237","V239","V246","V251","V74","V79","V83","V86","V94","V103","V118","V119","V120","V127","V129","V130","V139","V144","V146","V153","V161","V174","V187","V256","V257","V264","V265","V267","V278","V281","V299","V306","V311","V316","V1","V13","V20","V25","V28","V34","V49","V51","V56","V59","V340","V346","V348","V355","V363","V379","V390","V395","V242",],
227:["V259","V263","V264","V267","V270","V279","V287","V290","V293","V301","V303","V304","V6","V8","V10","V12","V13","V15","V16","V23","V25","V28","V30","V36","V37","V40","V48","V54","V59","V60","V63","V137","V151","V169","V176","V182","V188","V189","V190","V77","V79","V89","V105","V107","V109","V111","V113","V117","V118","V120","V124","V397","V217","V218","V335","V337","V340","V360","V361","V365","V366","V382","V313",],
228:["V327","V328","V337","V339","V346","V360","V363","V371","V379","V382","V4","V6","V10","V12","V13","V18","V20","V25","V26","V30","V54","V59","V129","V137","V141","V142","V144","V146","V156","V168","V174","V176","V190","V67","V72","V77","V86","V87","V96","V100","V103","V109","V110","V119","V124","V127","V193","V209","V210","V216","V217","V223","V225","V246","V259","V265","V279","V289","V293","V303","V311","V316","V386","V391","V393","V399","V368",],
229:["V260","V264","V265","V267","V270","V282","V285","V287","V289","V303","V304","V306","V8","V18","V20","V26","V36","V37","V40","V48","V51","V56","V60","V63","V386","V390","V392","V393","V394","V395","V325","V337","V344","V355","V357","V366","V373","V134","V135","V136","V137","V139","V141","V144","V151","V153","V166","V187","V67","V68","V71","V72","V77","V79","V92","V109","V110","V113","V115","V118","V123","V127","V213","V220","V233","V237","V246","V249","V251","V269",],
230:["V68","V87","V92","V94","V96","V98","V100","V110","V111","V200","V204","V213","V216","V217","V218","V220","V225","V234","V248","V249","V130","V134","V135","V149","V161","V166","V169","V172","V174","V187","V325","V327","V333","V335","V343","V344","V348","V357","V361","V363","V371","V373","V386","V388","V390","V392","V397","V256","V257","V259","V263","V267","V278","V281","V285","V287","V290","V299","V301","V303","V306","V316","V1","V4","V14","V15","V18","V23","V26","V35","V36","V48","V49","V51","V56","V60","V81",],
231:["V129","V130","V136","V142","V146","V149","V151","V153","V156","V161","V168","V182","V188","V189","V260","V281","V282","V287","V289","V293","V301","V304","V311","V193","V200","V204","V210","V223","V225","V234","V237","V239","V248","V251","V325","V327","V328","V333","V335","V339","V343","V346","V348","V357","V360","V365","V71","V72","V74","V77","V83","V89","V94","V98","V100","V105","V107","V111","V115","V117","V120","V123","V124","V1","V4","V6","V10","V16","V34","V35","V49","V388","V391","V392","V394","V395","V399","V185",],
232:["V130","V134","V135","V149","V161","V166","V169","V174","V187","V1","V4","V15","V18","V23","V26","V35","V36","V48","V49","V51","V56","V60","V256","V257","V259","V263","V267","V278","V281","V285","V287","V290","V299","V301","V303","V306","V316","V325","V327","V328","V333","V335","V337","V343","V344","V348","V357","V361","V363","V371","V373","V386","V388","V390","V391","V392","V397","V200","V204","V213","V216","V217","V218","V220","V225","V234","V248","V249","V68","V87","V92","V94","V96","V98","V100","V110","V111","V172",],
233:["V67","V68","V71","V72","V77","V79","V87","V94","V96","V98","V100","V109","V110","V111","V113","V115","V118","V123","V127","V1","V4","V8","V15","V18","V20","V23","V26","V35","V36","V37","V40","V48","V49","V51","V56","V60","V63","V256","V257","V259","V260","V263","V264","V265","V267","V270","V278","V281","V282","V285","V287","V289","V290","V299","V301","V303","V304","V306","V316","V325","V327","V328","V333","V335","V337","V343","V344","V348","V355","V357","V361","V363","V366","V371","V373","V200","V204","V213","V216","V217","V218","V220","V225","V234","V237","V246","V248","V249","V251","V130","V134","V135","V136","V137","V139","V141","V144","V149","V151","V153","V161","V166","V169","V174","V187","V386","V388","V390","V391","V392","V393","V394","V395","V397","V92",],
234:["V67","V71","V72","V77","V79","V87","V94","V96","V98","V100","V109","V110","V111","V113","V115","V118","V123","V127","V1","V4","V6","V8","V15","V18","V20","V23","V26","V35","V36","V37","V40","V48","V49","V51","V56","V60","V63","V256","V257","V259","V260","V263","V264","V265","V267","V270","V278","V281","V282","V287","V289","V290","V299","V301","V303","V304","V306","V316","V130","V136","V137","V139","V141","V144","V149","V151","V153","V161","V169","V174","V187","V325","V327","V328","V333","V335","V337","V343","V348","V355","V357","V361","V363","V366","V371","V200","V204","V216","V217","V218","V220","V225","V234","V237","V246","V248","V251","V386","V388","V390","V391","V392","V393","V394","V395","V397","V68",],
235:["V1","V4","V6","V10","V12","V13","V15","V16","V18","V20","V23","V25","V26","V28","V30","V35","V36","V37","V40","V48","V49","V51","V54","V56","V59","V60","V63","V67","V71","V72","V77","V79","V87","V89","V94","V96","V98","V100","V105","V107","V109","V110","V111","V113","V115","V117","V118","V120","V123","V124","V127","V256","V257","V259","V260","V263","V264","V265","V267","V270","V278","V279","V281","V282","V287","V289","V290","V293","V299","V301","V303","V304","V306","V316","V325","V327","V328","V333","V335","V337","V340","V343","V348","V355","V357","V360","V361","V363","V365","V366","V371","V382","V386","V388","V390","V391","V392","V393","V394","V395","V397","V130","V136","V137","V139","V141","V144","V149","V151","V153","V161","V169","V174","V176","V182","V187","V188","V189","V190","V200","V204","V216","V217","V218","V220","V225","V234","V237","V246","V248","V251","V8",],
236:["V256","V257","V259","V260","V264","V265","V267","V278","V279","V281","V282","V287","V289","V293","V299","V301","V303","V304","V306","V316","V1","V4","V6","V10","V12","V13","V16","V18","V20","V25","V26","V28","V30","V35","V49","V51","V54","V56","V59","V67","V71","V72","V77","V79","V87","V89","V94","V96","V98","V100","V105","V107","V109","V110","V111","V113","V115","V117","V118","V120","V123","V124","V127","V130","V136","V137","V139","V141","V144","V149","V151","V153","V161","V168","V169","V174","V176","V182","V187","V188","V189","V190","V325","V327","V328","V333","V335","V337","V340","V343","V348","V355","V357","V360","V363","V365","V371","V382","V386","V388","V390","V391","V392","V393","V394","V395","V200","V204","V216","V217","V220","V225","V234","V237","V246","V248","V251","V290",],
237:["V67","V71","V72","V77","V79","V87","V89","V94","V96","V98","V100","V105","V107","V109","V110","V111","V115","V117","V118","V120","V123","V124","V127","V1","V4","V6","V10","V12","V13","V16","V18","V20","V25","V26","V28","V30","V35","V49","V51","V54","V56","V59","V200","V204","V216","V217","V220","V225","V234","V237","V246","V248","V251","V130","V136","V137","V139","V141","V144","V149","V151","V153","V161","V168","V174","V176","V182","V187","V188","V189","V190","V325","V327","V328","V333","V335","V337","V340","V343","V348","V355","V357","V360","V363","V365","V371","V382","V386","V388","V390","V391","V392","V393","V394","V395","V399","V256","V257","V259","V260","V264","V265","V267","V278","V279","V281","V282","V287","V289","V293","V299","V301","V303","V304","V306","V316","V113",],
238:["V67","V71","V72","V74","V77","V79","V83","V87","V89","V94","V96","V100","V105","V107","V109","V110","V111","V115","V117","V118","V120","V123","V124","V127","V129","V130","V136","V137","V139","V141","V142","V144","V146","V149","V151","V153","V156","V161","V168","V174","V176","V182","V187","V188","V189","V190","V193","V200","V204","V210","V216","V217","V220","V223","V225","V234","V237","V239","V246","V248","V251","V325","V327","V328","V333","V335","V337","V339","V340","V343","V346","V348","V355","V357","V360","V363","V365","V371","V382","V256","V257","V259","V260","V264","V265","V267","V278","V279","V281","V282","V287","V289","V293","V299","V301","V303","V304","V306","V311","V316","V386","V388","V390","V391","V392","V393","V394","V395","V399","V1","V4","V6","V10","V12","V13","V16","V18","V20","V25","V26","V28","V30","V34","V35","V49","V51","V54","V56","V59","V98",],
239:["V67","V72","V74","V77","V79","V83","V86","V87","V94","V100","V103","V109","V110","V118","V119","V120","V124","V127","V129","V130","V137","V139","V141","V142","V144","V146","V153","V156","V161","V168","V174","V176","V187","V190","V256","V257","V259","V264","V265","V267","V278","V279","V281","V289","V293","V299","V303","V306","V311","V316","V193","V210","V216","V217","V220","V223","V225","V234","V237","V239","V246","V251","V1","V4","V6","V10","V12","V13","V18","V20","V25","V26","V28","V30","V34","V49","V51","V54","V56","V59","V327","V328","V337","V339","V340","V346","V348","V355","V360","V363","V371","V379","V382","V386","V390","V391","V393","V395","V399","V96",],
}

Variable Max Cliques: [(V0, 1), (V1, 25), (V10, 22), (V100, 27), (V101, 4), (V102, 1), (V103, 12), (V104, 1), (V105, 19), (V106, 2), (V107, 16), (V108, 1), (V109, 27), (V11, 13), (V110, 25), (V111, 24), (V112, 1), (V113, 21), (V114, 2), (V115, 21), (V116, 1), (V117, 20), (V118, 23), (V119, 14), (V12, 18), (V120, 16), (V121, 4), (V122, 2), (V123, 19), (V124, 27), (V125, 2), (V126, 1), (V127, 24), (V128, 3), (V129, 18), (V13, 23), (V130, 25), (V131, 5), (V132, 1), (V133, 6), (V134, 19), (V135, 16), (V136, 16), (V137, 20), (V138, 1), (V139, 23), (V14, 14), (V140, 1), (V141, 23), (V142, 17), (V143, 5), (V144, 25), (V145, 2), (V146, 19), (V147, 1), (V148, 1), (V149, 21), (V15, 22), (V150, 7), (V151, 21), (V152, 4), (V153, 24), (V154, 10), (V155, 1), (V156, 18), (V157, 7), (V158, 1), (V159, 4), (V16, 19), (V160, 2), (V161, 19), (V162, 1), (V163, 10), (V164, 5), (V165, 2), (V166, 16), (V167, 1), (V168, 14), (V169, 21), (V17, 7), (V170, 5), (V171, 1), (V172, 17), (V173, 1), (V174, 25), (V175, 3), (V176, 17), (V177, 1), (V178, 4), (V179, 1), (V18, 29), (V180, 8), (V181, 11), (V182, 18), (V183, 1), (V184, 2), (V185, 13), (V186, 3), (V187, 28), (V188, 19), (V189, 18), (V19, 1), (V190, 23), (V191, 1), (V192, 5), (V193, 17), (V194, 1), (V195, 2), (V196, 13), (V197, 2), (V198, 3), (V199, 4), (V2, 3), (V20, 31), (V200, 25), (V201, 1), (V202, 1), (V203, 10), (V204, 22), (V205, 9), (V206, 3), (V207, 2), (V208, 2), (V209, 18), (V21, 2), (V210, 18), (V211, 1), (V212, 1), (V213, 18), (V214, 2), (V215, 4), (V216, 23), (V217, 23), (V218, 21), (V219, 2), (V22, 1), (V220, 29), (V221, 3), (V222, 1), (V223, 18), (V224, 2), (V225, 32), (V226, 1), (V227, 10), (V228, 1), (V229, 8), (V23, 19), (V230, 8), (V231, 3), (V232, 1), (V233, 13), (V234, 24), (V235, 3), (V236, 1), (V237, 20), (V238, 1), (V239, 18), (V24, 1), (V240, 3), (V241, 6), (V242, 12), (V243, 3), (V244, 1), (V245, 6), (V246, 23), (V247, 2), (V248, 18), (V249, 17), (V25, 20), (V250, 1), (V251, 24), (V252, 1), (V253, 8), (V254, 1), (V255, 9), (V256, 24), (V257, 23), (V258, 3), (V259, 21), (V26, 29), (V260, 17), (V261, 4), (V262, 1), (V263, 21), (V264, 19), (V265, 23), (V266, 1), (V267, 31), (V268, 1), (V269, 12), (V27, 4), (V270, 16), (V271, 1), (V272, 1), (V273, 6), (V274, 9), (V275, 4), (V276, 1), (V277, 3), (V278, 24), (V279, 16), (V28, 22), (V280, 1), (V281, 24), (V282, 23), (V283, 1), (V284, 1), (V285, 20), (V286, 1), (V287, 34), (V288, 2), (V289, 20), (V29, 2), (V290, 18), (V291, 1), (V292, 4), (V293, 24), (V294, 6), (V295, 2), (V296, 4), (V297, 1), (V298, 1), (V299, 24), (V3, 5), (V30, 23), (V300, 6), (V301, 29), (V302, 1), (V303, 30), (V304, 26), (V305, 2), (V306, 26), (V307, 1), (V308, 3), (V309, 8), (V31, 1), (V310, 1), (V311, 20), (V312, 1), (V313, 16), (V314, 1), (V315, 12), (V316, 22), (V317, 1), (V318, 1), (V319, 5), (V32, 6), (V320, 8), (V321, 2), (V322, 2), (V323, 6), (V324, 2), (V325, 25), (V326, 2), (V327, 24), (V328, 18), (V329, 2), (V33, 1), (V330, 1), (V331, 9), (V332, 5), (V333, 25), (V334, 14), (V335, 24), (V336, 1), (V337, 26), (V338, 2), (V339, 18), (V34, 14), (V340, 23), (V341, 2), (V342, 2), (V343, 23), (V344, 14), (V345, 1), (V346, 18), (V347, 1), (V348, 25), (V349, 1), (V35, 19), (V350, 1), (V351, 6), (V352, 5), (V353, 2), (V354, 2), (V355, 24), (V356, 1), (V357, 23), (V358, 6), (V359, 3), (V36, 19), (V360, 18), (V361, 19), (V362, 1), (V363, 22), (V364, 1), (V365, 18), (V366, 21), (V367, 1), (V368, 13), (V369, 1), (V37, 19), (V370, 2), (V371, 24), (V372, 3), (V373, 17), (V374, 9), (V375, 2), (V376, 2), (V377, 12), (V378, 2), (V379, 13), (V38, 12), (V380, 1), (V381, 8), (V382, 25), (V383, 11), (V384, 3), (V385, 4), (V386, 27), (V387, 4), (V388, 24), (V389, 3), (V39, 4), (V390, 23), (V391, 18), (V392, 24), (V393, 25), (V394, 18), (V395, 20), (V396, 8), (V397, 18), (V398, 1), (V399, 19), (V4, 27), (V40, 18), (V41, 4), (V42, 4), (V43, 2), (V44, 1), (V45, 9), (V46, 5), (V47, 1), (V48, 20), (V49, 26), (V5, 3), (V50, 2), (V51, 23), (V52, 1), (V53, 5), (V54, 24), (V55, 1), (V56, 23), (V57, 1), (V58, 2), (V59, 23), (V6, 22), (V60, 25), (V61, 2), (V62, 1), (V63, 20), (V64, 1), (V65, 6), (V66, 7), (V67, 23), (V68, 23), (V69, 5), (V7, 3), (V70, 7), (V71, 21), (V72, 23), (V73, 1), (V74, 17), (V75, 2), (V76, 1), (V77, 27), (V78, 5), (V79, 24), (V8, 18), (V80, 1), (V81, 19), (V82, 2), (V83, 18), (V84, 5), (V85, 10), (V86, 14), (V87, 21), (V88, 1), (V89, 19), (V9, 2), (V90, 3), (V91, 8), (V92, 18), (V93, 2), (V94, 24), (V95, 2), (V96, 24), (V97, 1), (V98, 23), (V99, 2)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(21563280, 0), (21572800, 0), (21574288, 0), (21576512, 0), (21587632, 0), (21590848, 0), (21595888, 0), (21599008, 0), (21604304, 0), (21608928, 0), (21609920, 0), (21612896, 0), (21614528, 0), (21616208, 0), (21619520, 0), (21621392, 0), (21629024, 0), (21632608, 0), (21635920, 0), (21637952, 0), (21639744, 0), (21644016, 0), (21646192, 0), (21647520, 0), (21649168, 0), (21650496, 0), (21651808, 0), (21653520, 0), (21654896, 0), (21666624, 0), (21669648, 0), (21670368, 0), (21674288, 0), (21675776, 0), (21678800, 0), (21680608, 0), (21682400, 0), (21695312, 0), (21697104, 0), (21698704, 0), (21700384, 0), (21702640, 0), (21704432, 0), (21707216, 0), (21712832, 0), (21722208, 0), (21723280, 0), (21724224, 0), (21726528, 0), (21727360, 0), (21728112, 0), (21731232, 0), (21742720, 0), (21744512, -32), (21746304, 0), (21748096, 0), (21749888, 0), (21754944, 0), (21755536, 0), (21756656, 0), (21758448, 0), (21760240, 0), (21762032, 0), (21763824, 0), (21765616, 0), (21767408, 0), (21769200, 0), (21770992, 0), (21772784, 0), (21774576, 0), (21776368, 0), (21778160, 0), (21779952, 0), (21781744, 0), (21783536, 0), (21785328, 0), (21787120, 0), (21788912, 0), (21790704, 0), (21792496, 0), (21794288, 0), (21796080, 0), (21797872, 0), (21799664, 0), (21801456, 0), (21803248, 0), (21805040, 0), (21806832, 0), (21808624, 0), (21810416, 0), (21812208, 0), (21814000, 0), (21815792, 0), (21817584, 0), (21819376, 0), (21821168, 0), (21822320, 0), (21824112, 0), (21825904, 0), (21827696, 0), (21829488, 0), (21831280, 0), (21833072, 0), (21834864, 0), (21836656, 0), (21838448, 0), (21840240, 0), (21842032, 0), (21843824, 0), (21845616, 0), (21847408, 0), (21849200, 0), (21850992, 0), (21852784, 0), (21854576, 0), (21856368, 0), (21858160, 0), (21859952, 0), (21861744, 0), (21863536, 0), (21865328, 0), (21867120, 0), (21868912, 0), (21870704, 0), (21872496, 0), (21874288, 0), (21876080, 0), (21877872, 0), (21879664, 0), (21881456, 0), (21883248, 0), (21885040, 0), (21886832, 0), (21888624, 0), (21890416, 0), (21892208, 0), (21894000, 0), (21895792, 0), (21897584, 0), (21899376, 0), (21901168, 0), (21902960, 0), (21904752, 0), (21906544, 0), (21908336, 0), (21910128, 0), (21911920, 0), (21913712, 0), (21915504, 0), (21917920, 0), (21919776, 0), (21921568, 0), (21923360, 0), (21925152, 0), (21926944, 0), (21928736, 0), (21930528, 0), (21932320, 0), (21934112, 0), (21935904, 0), (21937696, 0), (21939488, 0), (21941280, 0), (21943072, 0), (21944864, 0), (21946656, 0), (21948448, 0), (21950240, 0), (21952032, 0), (21953824, 0), (21955616, 0), (21957408, 0), (21959200, 0), (21960992, 0), (21962784, 0), (21964576, 0), (21966368, 0), (21968160, 0), (21969952, 0), (21971744, 0), (21973536, 0), (21975328, 0), (21977120, 0), (21978912, 0), (21980704, 0), (21982496, 0), (21984288, 0), (21986080, 0), (21987872, 0), (21989664, 0), (21991456, 0), (21993248, 0), (21995040, 0), (21996832, 0), (21998624, 0), (22000416, 0), (22002208, 0), (22004000, 0), (22005792, 0), (22007584, 0), (22009376, 0), (22011168, 0), (22012960, 0), (22014752, 0), (22016544, 0), (22018336, 0), (22020128, 0), (22021920, 0), (22023712, 0), (22025504, 0), (22027296, 0), (22029088, 0), (22030880, 0), (22032672, 0), (22034464, 0), (22036256, 0), (22038048, 0), (22039840, 0), (22041632, 0), (22043424, 0), (22045216, 0), (22047008, 0), (22048800, 0), (22050592, 0), (22052384, 0), (22054176, 0), (22055968, 0), (22057760, 0), (22059552, 0), (22061344, 0), (22079664, 0), (22081456, 0), (22083168, 0), (22084960, 0), (22086752, 0), (22088544, 0), (22090336, 0), (22092128, 0), (22093920, 0), (22095712, 0), (22097504, 0), (22099296, 0), (22101088, 0), (22102880, 0), (22104672, 0), (22106464, 0), (22108256, 0), (22110048, 0), (22111840, 0), (22113632, 0), (22115424, 0), (22117216, 0), (22119008, 0), (22120800, 0), (22122592, 0), (22124384, 0), (22126176, 0), (22127968, 0), (22129760, 0), (22131552, 0), (22133344, 0), (22135136, 0), (22136928, 0), (22138720, 0), (22140512, 0), (22142304, 0), (22144096, 0), (22145888, 0), (22147680, 0), (22149472, 0), (22151264, 0), (22153056, 0), (22154848, 0), (22156640, 0), (22158432, 0), (22160224, 0), (22162016, 0), (22163808, 0), (22165600, 0), (22167392, 0), (22169184, 0), (22170976, 0), (22172768, 0), (22174560, 0), (22176352, 0), (22178144, 0), (22179936, 0), (22181728, 0), (22183520, 0), (22185312, -34), (22187104, 0), (22188896, 0), (22190688, 0), (22192480, 0), (22194272, 0), (22196064, 0), (22197856, 0), (22199648, 0), (22201440, 0), (22203232, 0), (22205024, 0), (22206816, 0), (22208608, 0), (22210400, 0), (22212192, 0), (22213984, 0), (22215776, 0), (22217568, 0), (22219360, 0), (22221152, 0), (22222944, 0), (22224736, 0), (22226528, 0), (22228320, 0), (22230112, 0), (22231904, 0), (22233696, 0), (22235488, 0), (22237280, 0), (22239072, 0), (22240864, 0), (22242656, 0), (22244448, 0), (22246240, 0), (22248032, 0), (22249824, 0), (22251616, 0), (22253408, 0), (22255200, 0), (22256992, 0), (22258784, 0), (22260576, 0), (22262368, 0), (22264160, 0), (22265952, 0), (22267744, 0), (22269536, 0), (22271328, 0), (22273120, 0), (22274912, 0), (22276704, 0), (22278496, 0), (22280288, 0), (22282080, 0), (22283872, 0), (22285664, 0), (22287456, 0), (22289248, 0), (22291040, 0), (22292832, 0), (22294624, 0), (22296416, 0), (22298208, 0), (22300000, 0), (22301792, 0), (22303584, 0), (22305376, 0), (22307168, 0), (22308960, 0), (22310752, 0), (22312544, 0), (22314336, 0), (22316128, 0), (22317920, 0), (22319712, 0), (22321504, 0), (22328624, 0), (22330416, 0), (22332208, 0), (22334000, 0), (22335792, 0), (22337584, 0), (22339376, 0), (22341168, 0), (22342960, 0), (22344752, 0), (22346544, 0), (22348336, 0), (22350128, 0), (22351920, 0), (22353712, 0), (22355504, 0), (22357296, 0), (22359088, 0), (22360880, 0), (22362672, 0), (22364464, 0), (22366256, 0), (22368048, 0), (22369840, 0), (22371632, 0), (22373424, 0), (22375216, 0), (22377008, 0), (22378800, 0), (22380592, 0), (22382384, 0), (22384176, 0), (22385968, 0), (22387760, 0)] %right_file
	 ( INFO) == Finished creating data structures %right_file
	 ( INFO) == Beginning Preprocessing %right_file
	 ( INFO) == Finished with Preprocessing %right_file
{"StaticInstanceData": {"# Components":"1","# Constraints":"599","# Normalized Constraints":"1","# Solutions":"1","# Values Removed From Unary Cons ":"0","# Variables":"400","Boost Version":"1.75.0","Instance Name":"","Max Arity":"3","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"303","CPU Time Post Normalization (ms)":"8192","CPU Time Problem Setup  (ms)":"13","CPU Time Search (ms)":"7889","Full CPU Time (ms)":"8206","Peak Memory (MB)":"130.847"},
 "Components": [{"Component Stats": {"# Constraints":"599","# Variables":"400"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 1, 2, 4, 5, 8, 11, 13, 18, 24, 26, 27, 30, 33, 33, 33, 34, 33, 33, 32, 32, 33, 35, 35, 34, 34, 34, 33, 34, 35, 34, 34, 33, 32, 33, 33, 33, 31, 30, 28, 28, 27, 25, 22, 18, 18, 17, 17, 18, 20, 19, 20, 20, 20, 19, 19, 19, 19, 20, 22, 21, 20, 19, 19, 19, 19, 17, 14, 15, 15, 17, 17, 15, 14, 16, 16, 16, 17, 16, 17, 16, 15, 15, 13, 11, 11, 10, 10, 10, 10, 10, 7, 7, 7, 8, 8, 8, 7, 8, 8, 8, 8, 7, 7, 7, 7, 7, 6, 5, 5, 5, 4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 2, 2, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"2157","# backtracks per level":"[1, 2, 4, 5, 8, 11, 13, 18, 24, 26, 27, 30, 33, 33, 33, 34, 33, 33, 32, 32, 33, 35, 35, 34, 34, 34, 33, 34, 35, 34, 34, 33, 32, 33, 33, 33, 31, 30, 28, 28, 27, 25, 22, 18, 18, 17, 17, 18, 20, 19, 20, 20, 20, 19, 19, 19, 19, 20, 22, 21, 20, 19, 19, 19, 19, 17, 14, 15, 15, 17, 17, 15, 14, 16, 16, 16, 17, 16, 17, 16, 15, 15, 13, 11, 11, 10, 10, 10, 10, 10, 7, 7, 7, 8, 8, 8, 7, 8, 8, 8, 8, 7, 7, 7, 7, 7, 6, 5, 5, 5, 4, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 2, 2, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"2696","# solutions":"1","# 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]","# 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]","search timeout":"0","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "POAC1": null, "STR2": {"# calls to revise":"1403285","# isValid Checks":"7909357"}, "POACQ": null}]}