2026-03-23 15:46:05,359 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:["V0","V2","V3","V4","V5","V1",],
1:["V6","V8","V9","V10","V11","V7",],
2:["V4","V8","V9","V10","V11","V6",],
3:["V2","V3","V4","V8","V10","V5",],
4:["V2","V3","V8","V9","V10","V11","V4",],
5:["V84","V85","V92","V93","V94","V96","V98","V95",],
6:["V76","V77","V84","V85","V86","V88","V90","V87",],
7:["V68","V69","V76","V77","V78","V80","V82","V79",],
8:["V68","V69","V70","V72","V74","V60","V61","V71",],
9:["V52","V53","V60","V61","V62","V64","V66","V63",],
10:["V44","V45","V52","V53","V54","V56","V58","V55",],
11:["V36","V37","V44","V45","V46","V48","V50","V47",],
12:["V28","V29","V36","V37","V38","V40","V42","V39",],
13:["V20","V21","V28","V29","V30","V32","V34","V31",],
14:["V228","V229","V236","V237","V238","V240","V242","V239",],
15:["V220","V221","V228","V229","V230","V232","V234","V231",],
16:["V12","V13","V20","V21","V22","V24","V26","V23",],
17:["V212","V213","V220","V221","V222","V224","V226","V223",],
18:["V204","V205","V212","V213","V214","V216","V218","V215",],
19:["V196","V197","V204","V205","V206","V208","V210","V207",],
20:["V196","V197","V198","V200","V202","V188","V189","V199",],
21:["V180","V181","V188","V189","V190","V192","V194","V191",],
22:["V172","V173","V180","V181","V182","V184","V186","V183",],
23:["V164","V165","V172","V173","V174","V176","V178","V175",],
24:["V156","V157","V164","V165","V166","V168","V170","V167",],
25:["V148","V149","V156","V157","V158","V160","V162","V159",],
26:["V140","V141","V148","V149","V150","V152","V154","V151",],
27:["V2","V3","V12","V13","V14","V16","V18","V15",],
28:["V132","V133","V140","V141","V142","V144","V146","V143",],
29:["V132","V133","V134","V136","V138","V124","V125","V135",],
30:["V116","V117","V124","V125","V126","V128","V130","V127",],
31:["V108","V109","V116","V117","V118","V120","V122","V119",],
32:["V100","V101","V108","V109","V110","V112","V114","V111",],
33:["V92","V93","V100","V101","V102","V104","V106","V103",],
34:["V644","V645","V646","V258","V259","V262","V263","V278","V279","V647",],
35:["V642","V644","V645","V244","V245","V254","V255","V282","V283","V643",],
36:["V636","V637","V638","V266","V267","V270","V271","V640","V641","V639",],
37:["V632","V633","V634","V636","V637","V258","V259","V262","V263","V635",],
38:["V628","V629","V630","V274","V275","V276","V277","V302","V303","V631",],
39:["V624","V625","V626","V628","V629","V266","V267","V270","V271","V627",],
40:["V620","V621","V622","V276","V277","V278","V279","V302","V303","V623",],
41:["V614","V615","V616","V618","V619","V266","V267","V270","V271","V617",],
42:["V612","V614","V615","V234","V235","V250","V251","V290","V291","V613",],
43:["V608","V609","V610","V274","V275","V278","V279","V304","V305","V611",],
44:["V602","V603","V604","V606","V607","V266","V267","V270","V271","V605",],
45:["V596","V597","V598","V600","V601","V250","V251","V254","V255","V599",],
46:["V592","V593","V594","V274","V275","V276","V277","V278","V279","V595",],
47:["V586","V587","V588","V590","V591","V250","V251","V254","V255","V589",],
48:["V584","V586","V587","V218","V219","V282","V283","V308","V309","V585",],
49:["V580","V581","V582","V276","V277","V302","V303","V304","V305","V583",],
50:["V576","V578","V579","V270","V271","V296","V297","V574","V575","V577",],
51:["V568","V569","V570","V572","V573","V250","V251","V290","V291","V571",],
52:["V566","V568","V569","V210","V211","V282","V283","V308","V309","V567",],
53:["V562","V563","V564","V274","V275","V276","V277","V304","V305","V565",],
54:["V556","V558","V559","V202","V203","V282","V283","V308","V309","V557",],
55:["V550","V551","V552","V554","V555","V266","V267","V270","V271","V553",],
56:["V544","V545","V546","V548","V549","V258","V259","V262","V263","V547",],
57:["V540","V541","V542","V544","V545","V254","V255","V290","V291","V543",],
58:["V536","V537","V538","V276","V277","V278","V279","V302","V303","V539",],
59:["V534","V536","V537","V186","V187","V308","V309","V250","V251","V535",],
60:["V530","V531","V532","V278","V279","V302","V303","V304","V305","V533",],
61:["V522","V523","V524","V526","V527","V266","V267","V270","V271","V525",],
62:["V518","V519","V520","V522","V523","V258","V259","V290","V291","V521",],
63:["V514","V515","V516","V518","V519","V250","V251","V254","V255","V517",],
64:["V508","V509","V510","V266","V267","V270","V271","V512","V513","V511",],
65:["V506","V508","V509","V170","V171","V250","V251","V262","V263","V507",],
66:["V502","V503","V504","V270","V271","V274","V275","V278","V279","V505",],
67:["V500","V502","V503","V162","V163","V250","V251","V290","V291","V501",],
68:["V496","V497","V498","V276","V277","V278","V279","V302","V303","V499",],
69:["V490","V491","V492","V494","V495","V262","V263","V290","V291","V493",],
70:["V484","V485","V486","V488","V489","V262","V263","V266","V267","V487",],
71:["V480","V481","V482","V274","V275","V276","V277","V278","V279","V483",],
72:["V476","V477","V478","V480","V481","V262","V263","V290","V291","V479",],
73:["V472","V473","V474","V278","V279","V302","V303","V304","V305","V475",],
74:["V466","V468","V469","V130","V131","V254","V255","V258","V259","V467",],
75:["V462","V463","V464","V274","V275","V278","V279","V304","V305","V465",],
76:["V456","V457","V458","V460","V461","V266","V267","V270","V271","V459",],
77:["V452","V453","V454","V274","V275","V302","V303","V304","V305","V455",],
78:["V448","V450","V451","V262","V263","V290","V291","V446","V447","V449",],
79:["V442","V444","V445","V114","V115","V282","V283","V308","V309","V443",],
80:["V438","V439","V440","V276","V277","V302","V303","V304","V305","V441",],
81:["V430","V431","V432","V434","V435","V258","V259","V262","V263","V433",],
82:["V428","V430","V431","V106","V107","V254","V255","V290","V291","V429",],
83:["V424","V425","V426","V258","V259","V266","V267","V274","V275","V427",],
84:["V422","V424","V425","V98","V99","V308","V309","V250","V251","V423",],
85:["V416","V417","V418","V420","V421","V250","V251","V254","V255","V419",],
86:["V412","V413","V414","V274","V275","V278","V279","V302","V303","V415",],
87:["V406","V407","V408","V410","V411","V258","V259","V262","V263","V409",],
88:["V402","V403","V404","V406","V407","V254","V255","V290","V291","V405",],
89:["V400","V402","V403","V82","V83","V282","V283","V308","V309","V401",],
90:["V396","V397","V398","V266","V267","V302","V303","V304","V305","V399",],
91:["V392","V393","V394","V396","V397","V258","V259","V290","V291","V395",],
92:["V388","V389","V390","V392","V393","V250","V251","V254","V255","V391",],
93:["V384","V385","V386","V276","V277","V302","V303","V304","V305","V387",],
94:["V376","V377","V378","V380","V381","V258","V259","V296","V297","V379",],
95:["V374","V376","V377","V66","V67","V250","V251","V290","V291","V375",],
96:["V334","V335","V370","V371","V372","V276","V277","V304","V305","V373",],
97:["V366","V367","V368","V370","V371","V266","V267","V270","V271","V369",],
98:["V360","V361","V362","V364","V365","V250","V251","V262","V263","V363",],
99:["V358","V360","V361","V58","V59","V282","V283","V308","V309","V359",],
100:["V334","V335","V354","V355","V356","V274","V275","V276","V277","V357",],
101:["V350","V351","V352","V354","V355","V262","V263","V266","V267","V353",],
102:["V346","V347","V348","V350","V351","V250","V251","V254","V255","V349",],
103:["V344","V346","V347","V50","V51","V282","V283","V308","V309","V345",],
104:["V334","V335","V340","V341","V342","V302","V303","V304","V305","V343",],
105:["V336","V337","V338","V340","V341","V270","V271","V296","V297","V339",],
106:["V328","V329","V330","V332","V333","V334","V335","V296","V297","V331",],
107:["V324","V325","V326","V328","V329","V258","V259","V262","V263","V327",],
108:["V322","V324","V325","V34","V35","V282","V283","V290","V291","V323",],
109:["V320","V278","V279","V302","V303","V304","V305","V318","V319","V321",],
110:["V270","V271","V296","V297","V314","V315","V316","V318","V319","V317",],
111:["V306","V307","V310","V312","V313","V250","V251","V254","V255","V311",],
112:["V274","V275","V298","V299","V300","V302","V303","V304","V305","V301",],
113:["V270","V271","V292","V293","V294","V296","V297","V298","V299","V295",],
114:["V262","V263","V286","V287","V288","V290","V291","V292","V293","V289",],
115:["V280","V281","V284","V286","V287","V250","V251","V254","V255","V285",],
116:["V268","V269","V272","V274","V275","V276","V277","V278","V279","V273",],
117:["V260","V261","V264","V266","V267","V268","V269","V270","V271","V265",],
118:["V256","V258","V259","V260","V261","V262","V263","V252","V253","V257",],
119:["V248","V250","V251","V252","V253","V254","V255","V10","V11","V249",],
120:["V228","V229","V237","V238","V240","V242","V245","V247","V236",],
121:["V2","V3","V8","V10","V11","V16","V17","V18","V19","V9",],
122:["V2","V3","V8","V12","V13","V16","V17","V18","V19","V14",],
123:["V2","V3","V10","V11","V12","V13","V16","V17","V18","V19","V8",],
124:["V84","V85","V88","V92","V93","V96","V97","V98","V99","V94",],
125:["V76","V77","V80","V84","V85","V88","V89","V90","V91","V86",],
126:["V68","V69","V72","V76","V77","V80","V81","V82","V83","V78",],
127:["V64","V68","V69","V72","V73","V74","V75","V60","V61","V70",],
128:["V52","V53","V56","V60","V61","V64","V65","V66","V67","V62",],
129:["V44","V45","V48","V52","V53","V56","V57","V58","V59","V54",],
130:["V36","V37","V40","V44","V45","V48","V49","V50","V51","V46",],
131:["V28","V29","V32","V36","V37","V40","V41","V42","V43","V38",],
132:["V20","V21","V24","V28","V29","V32","V33","V34","V35","V30",],
133:["V228","V229","V238","V240","V242","V244","V245","V246","V247","V237",],
134:["V220","V221","V224","V228","V229","V232","V233","V234","V235","V230",],
135:["V212","V213","V216","V220","V221","V224","V225","V226","V227","V222",],
136:["V12","V13","V16","V20","V21","V24","V25","V26","V27","V22",],
137:["V204","V205","V208","V212","V213","V216","V217","V218","V219","V214",],
138:["V196","V197","V200","V204","V205","V208","V209","V210","V211","V206",],
139:["V192","V196","V197","V200","V201","V202","V203","V188","V189","V198",],
140:["V180","V181","V184","V188","V189","V192","V193","V194","V195","V190",],
141:["V172","V173","V176","V180","V181","V184","V185","V186","V187","V182",],
142:["V164","V165","V168","V172","V173","V176","V177","V178","V179","V174",],
143:["V156","V157","V160","V164","V165","V168","V169","V170","V171","V166",],
144:["V148","V149","V152","V156","V157","V160","V161","V162","V163","V158",],
145:["V140","V141","V144","V148","V149","V152","V153","V154","V155","V150",],
146:["V132","V133","V136","V140","V141","V144","V145","V146","V147","V142",],
147:["V128","V132","V133","V136","V137","V138","V139","V124","V125","V134",],
148:["V116","V117","V120","V124","V125","V128","V129","V130","V131","V126",],
149:["V108","V109","V112","V116","V117","V120","V121","V122","V123","V118",],
150:["V100","V101","V104","V108","V109","V112","V113","V114","V115","V110",],
151:["V92","V93","V96","V100","V101","V104","V105","V106","V107","V102",],
152:["V640","V266","V267","V270","V271","V274","V275","V304","V305","V636","V637","V641",],
153:["V632","V636","V637","V246","V247","V258","V259","V262","V263","V308","V309","V633",],
154:["V618","V619","V620","V274","V275","V276","V277","V278","V279","V302","V303","V621",],
155:["V606","V607","V608","V274","V275","V278","V279","V304","V305","V334","V335","V609",],
156:["V596","V600","V601","V226","V227","V250","V251","V254","V255","V308","V309","V597",],
157:["V590","V591","V592","V270","V271","V274","V275","V276","V277","V278","V279","V593",],
158:["V578","V579","V580","V274","V275","V276","V277","V302","V303","V304","V305","V581",],
159:["V568","V569","V572","V574","V575","V258","V259","V290","V291","V250","V251","V573",],
160:["V560","V561","V562","V270","V271","V274","V275","V276","V277","V304","V305","V563",],
161:["V558","V560","V561","V202","V203","V250","V251","V282","V283","V308","V309","V559",],
162:["V550","V551","V554","V266","V267","V270","V271","V276","V277","V278","V279","V555",],
163:["V544","V545","V548","V550","V551","V258","V259","V262","V263","V296","V297","V549",],
164:["V540","V544","V545","V194","V195","V254","V255","V282","V283","V290","V291","V541",],
165:["V528","V529","V530","V274","V275","V278","V279","V302","V303","V304","V305","V531",],
166:["V522","V523","V526","V528","V529","V266","V267","V270","V271","V334","V335","V527",],
167:["V514","V518","V519","V178","V179","V308","V309","V250","V251","V254","V255","V515",],
168:["V512","V266","V267","V270","V271","V278","V279","V302","V303","V508","V509","V513",],
169:["V494","V495","V496","V270","V271","V276","V277","V278","V279","V302","V303","V497",],
170:["V490","V494","V495","V154","V155","V250","V251","V262","V263","V290","V291","V491",],
171:["V484","V485","V488","V262","V263","V266","V267","V302","V303","V304","V305","V489",],
172:["V476","V480","V481","V138","V139","V262","V263","V290","V291","V308","V309","V477",],
173:["V470","V471","V472","V274","V275","V278","V279","V302","V303","V304","V305","V473",],
174:["V460","V461","V462","V274","V275","V278","V279","V304","V305","V334","V335","V463",],
175:["V450","V451","V452","V274","V275","V296","V297","V302","V303","V304","V305","V453",],
176:["V444","V446","V447","V254","V255","V282","V283","V308","V309","V114","V115","V445",],
177:["V436","V437","V438","V274","V275","V276","V277","V302","V303","V304","V305","V439",],
178:["V416","V420","V421","V90","V91","V282","V283","V250","V251","V254","V255","V417",],
179:["V410","V411","V412","V270","V271","V274","V275","V278","V279","V302","V303","V413",],
180:["V388","V392","V393","V74","V75","V282","V283","V250","V251","V254","V255","V389",],
181:["V384","V276","V277","V302","V303","V304","V305","V334","V335","V382","V383","V385",],
182:["V360","V361","V364","V366","V367","V262","V263","V296","V297","V250","V251","V365",],
183:["V328","V329","V332","V334","V335","V274","V275","V296","V297","V304","V305","V333",],
184:["V306","V308","V309","V312","V313","V26","V27","V250","V251","V254","V255","V307",],
185:["V280","V282","V283","V286","V287","V18","V19","V250","V251","V254","V255","V281",],
186:["V228","V229","V232","V240","V241","V242","V243","V244","V245","V246","V247","V238",],
187:["V228","V229","V232","V233","V240","V242","V243","V244","V245","V246","V247","V241",],
188:["V10","V11","V12","V13","V16","V18","V19","V24","V25","V26","V27","V17",],
189:["V10","V11","V12","V13","V18","V19","V20","V21","V24","V25","V26","V27","V16",],
190:["V76","V77","V80","V81","V84","V85","V88","V90","V91","V96","V97","V98","V99","V89",],
191:["V76","V77","V80","V81","V84","V85","V90","V91","V92","V93","V96","V97","V98","V99","V88",],
192:["V64","V65","V68","V69","V72","V74","V75","V80","V81","V82","V83","V60","V61","V73",],
193:["V64","V65","V68","V69","V74","V75","V76","V77","V80","V81","V82","V83","V60","V61","V72",],
194:["V644","V244","V245","V254","V255","V258","V259","V262","V263","V278","V279","V282","V283","V645",],
195:["V624","V625","V628","V266","V267","V270","V271","V274","V275","V276","V277","V302","V303","V629",],
196:["V600","V602","V603","V226","V227","V250","V251","V254","V255","V262","V263","V308","V309","V601",],
197:["V586","V590","V591","V218","V219","V250","V251","V254","V255","V282","V283","V308","V309","V587",],
198:["V536","V250","V251","V276","V277","V278","V279","V302","V303","V308","V309","V186","V187","V537",],
199:["V44","V45","V48","V49","V52","V53","V56","V58","V59","V64","V65","V66","V67","V57",],
200:["V44","V45","V48","V49","V52","V53","V58","V59","V60","V61","V64","V65","V66","V67","V56",],
201:["V502","V270","V271","V274","V275","V278","V279","V290","V291","V162","V163","V250","V251","V503",],
202:["V484","V146","V147","V262","V263","V266","V267","V302","V303","V304","V305","V308","V309","V485",],
203:["V468","V469","V470","V274","V275","V278","V279","V302","V303","V304","V305","V334","V335","V471",],
204:["V434","V435","V436","V274","V275","V276","V277","V302","V303","V304","V305","V334","V335","V437",],
205:["V430","V434","V435","V258","V259","V262","V263","V290","V291","V106","V107","V254","V255","V431",],
206:["V424","V250","V251","V258","V259","V266","V267","V274","V275","V308","V309","V98","V99","V425",],
207:["V420","V250","V251","V254","V255","V266","V267","V270","V271","V282","V283","V90","V91","V421",],
208:["V402","V403","V406","V410","V411","V258","V259","V262","V263","V290","V291","V254","V255","V407",],
209:["V334","V335","V380","V381","V382","V266","V267","V276","V277","V302","V303","V304","V305","V383",],
210:["V376","V380","V381","V258","V259","V290","V291","V296","V297","V66","V67","V250","V251","V377",],
211:["V334","V335","V366","V367","V370","V266","V267","V270","V271","V276","V277","V304","V305","V371",],
212:["V28","V29","V32","V33","V36","V37","V40","V42","V43","V48","V49","V50","V51","V41",],
213:["V28","V29","V32","V33","V36","V37","V42","V43","V44","V45","V48","V49","V50","V51","V40",],
214:["V334","V335","V350","V351","V354","V262","V263","V266","V267","V274","V275","V276","V277","V355",],
215:["V346","V350","V351","V250","V251","V254","V255","V282","V283","V308","V309","V50","V51","V347",],
216:["V334","V335","V336","V337","V340","V270","V271","V296","V297","V302","V303","V304","V305","V341",],
217:["V270","V271","V278","V279","V296","V297","V302","V303","V304","V305","V314","V315","V318","V319",],
218:["V258","V259","V308","V309","V312","V314","V315","V250","V251","V254","V255","V26","V27","V313",],
219:["V270","V271","V274","V275","V292","V293","V296","V297","V298","V302","V303","V304","V305","V299",],
220:["V260","V261","V266","V267","V268","V270","V271","V274","V275","V276","V277","V278","V279","V269",],
221:["V250","V251","V252","V254","V255","V258","V259","V260","V261","V262","V263","V10","V11","V253",],
222:["V220","V221","V224","V228","V232","V233","V234","V235","V242","V243","V244","V245","V246","V247","V229",],
223:["V220","V221","V224","V225","V232","V234","V235","V242","V243","V244","V245","V246","V247","V233",],
224:["V204","V205","V208","V209","V212","V213","V216","V218","V219","V224","V225","V226","V227","V217",],
225:["V204","V205","V208","V209","V212","V213","V218","V219","V220","V221","V224","V225","V226","V227","V216",],
226:["V10","V11","V18","V19","V20","V21","V24","V26","V27","V32","V33","V34","V35","V25",],
227:["V10","V11","V18","V19","V20","V21","V26","V27","V28","V29","V32","V33","V34","V35","V24",],
228:["V192","V193","V196","V197","V200","V202","V203","V208","V209","V210","V211","V188","V189","V201",],
229:["V192","V193","V196","V197","V202","V203","V204","V205","V208","V209","V210","V211","V188","V189","V200",],
230:["V172","V173","V176","V177","V180","V181","V184","V186","V187","V192","V193","V194","V195","V185",],
231:["V172","V173","V176","V177","V180","V181","V186","V187","V188","V189","V192","V193","V194","V195","V184",],
232:["V156","V157","V160","V161","V164","V165","V168","V170","V171","V176","V177","V178","V179","V169",],
233:["V156","V157","V160","V161","V164","V165","V170","V171","V172","V173","V176","V177","V178","V179","V168",],
234:["V140","V141","V144","V145","V148","V149","V152","V154","V155","V160","V161","V162","V163","V153",],
235:["V140","V141","V144","V145","V148","V149","V154","V155","V156","V157","V160","V161","V162","V163","V152",],
236:["V128","V129","V132","V133","V136","V138","V139","V144","V145","V146","V147","V124","V125","V137",],
237:["V128","V129","V132","V133","V138","V139","V140","V141","V144","V145","V146","V147","V124","V125","V136",],
238:["V108","V109","V112","V113","V116","V117","V120","V122","V123","V128","V129","V130","V131","V121",],
239:["V108","V109","V112","V113","V116","V117","V122","V123","V124","V125","V128","V129","V130","V131","V120",],
240:["V92","V93","V96","V97","V100","V101","V104","V106","V107","V112","V113","V114","V115","V105",],
241:["V92","V93","V96","V97","V100","V101","V106","V107","V108","V109","V112","V113","V114","V115","V104",],
242:["V624","V242","V243","V266","V267","V270","V271","V274","V275","V276","V277","V290","V291","V302","V303","V625",],
243:["V614","V615","V618","V266","V267","V270","V271","V274","V275","V276","V277","V278","V279","V302","V303","V619",],
244:["V602","V603","V606","V266","V267","V270","V271","V274","V275","V278","V279","V304","V305","V334","V335","V607",],
245:["V578","V270","V271","V274","V275","V276","V277","V296","V297","V302","V303","V304","V305","V574","V575","V579",],
246:["V568","V574","V575","V210","V211","V250","V251","V258","V259","V282","V283","V290","V291","V308","V309","V569",],
247:["V518","V522","V523","V250","V251","V254","V255","V258","V259","V290","V291","V308","V309","V178","V179","V519",],
248:["V508","V262","V263","V266","V267","V270","V271","V278","V279","V302","V303","V170","V171","V250","V251","V509",],
249:["V480","V262","V263","V274","V275","V276","V277","V278","V279","V290","V291","V308","V309","V138","V139","V481",],
250:["V456","V457","V460","V266","V267","V270","V271","V274","V275","V278","V279","V304","V305","V334","V335","V461",],
251:["V446","V254","V255","V262","V263","V282","V283","V290","V291","V308","V309","V450","V451","V114","V115","V447",],
252:["V392","V396","V397","V250","V251","V254","V255","V258","V259","V282","V283","V290","V291","V74","V75","V393",],
253:["V334","V335","V336","V42","V43","V270","V271","V282","V283","V296","V297","V302","V303","V304","V305","V337",],
254:["V324","V325","V328","V334","V335","V258","V259","V262","V263","V274","V275","V296","V297","V304","V305","V329",],
255:["V262","V263","V282","V283","V286","V290","V291","V292","V293","V250","V251","V254","V255","V18","V19","V287",],
256:["V636","V258","V259","V262","V263","V266","V267","V270","V271","V274","V275","V304","V305","V308","V309","V246","V247","V637",],
257:["V64","V66","V67","V74","V75","V76","V77","V80","V81","V82","V83","V44","V45","V48","V49","V58","V59","V60","V61","V65",],
258:["V560","V202","V203","V250","V251","V270","V271","V274","V275","V276","V277","V282","V283","V304","V305","V308","V309","V561",],
259:["V544","V545","V550","V258","V259","V262","V263","V266","V267","V270","V271","V276","V277","V278","V279","V296","V297","V551",],
260:["V522","V523","V528","V266","V267","V270","V271","V274","V275","V278","V279","V302","V303","V304","V305","V334","V335","V529",],
261:["V494","V262","V263","V270","V271","V276","V277","V278","V279","V290","V291","V302","V303","V154","V155","V250","V251","V495",],
262:["V468","V258","V259","V274","V275","V278","V279","V302","V303","V304","V305","V334","V335","V130","V131","V254","V255","V469",],
263:["V456","V122","V123","V266","V267","V270","V271","V274","V275","V278","V279","V304","V305","V308","V309","V334","V335","V457",],
264:["V402","V410","V411","V254","V255","V258","V259","V262","V263","V282","V283","V290","V291","V308","V309","V82","V83","V403",],
265:["V10","V11","V18","V19","V26","V27","V28","V29","V32","V34","V35","V42","V43","V44","V45","V48","V49","V50","V51","V33",],
266:["V192","V193","V202","V203","V204","V205","V208","V210","V211","V218","V219","V220","V221","V224","V225","V226","V227","V188","V189","V209",],
267:["V156","V157","V160","V161","V170","V171","V172","V173","V176","V178","V179","V186","V187","V188","V189","V192","V193","V194","V195","V177",],
268:["V128","V129","V138","V139","V140","V141","V144","V146","V147","V154","V155","V156","V157","V160","V161","V162","V163","V124","V125","V145",],
269:["V92","V93","V96","V97","V106","V107","V108","V109","V112","V114","V115","V122","V123","V124","V125","V128","V129","V130","V131","V113",],
270:["V614","V266","V267","V270","V271","V274","V275","V276","V277","V278","V279","V290","V291","V302","V303","V234","V235","V250","V251","V615",],
271:["V590","V218","V219","V250","V251","V254","V255","V270","V271","V274","V275","V276","V277","V278","V279","V282","V283","V308","V309","V591",],
272:["V396","V258","V259","V266","V267","V282","V283","V290","V291","V302","V303","V304","V305","V250","V251","V254","V255","V74","V75","V397",],
273:["V334","V335","V360","V361","V366","V262","V263","V266","V267","V270","V271","V276","V277","V296","V297","V304","V305","V250","V251","V367",],
274:["V324","V334","V335","V258","V259","V262","V263","V274","V275","V282","V283","V290","V291","V296","V297","V304","V305","V34","V35","V325",],
275:["V76","V77","V80","V81","V90","V92","V93","V96","V97","V98","V99","V266","V267","V270","V271","V282","V283","V250","V251","V254","V255","V91",],
276:["V450","V262","V263","V274","V275","V282","V283","V290","V291","V296","V297","V302","V303","V304","V305","V308","V309","V114","V115","V254","V255","V451",],
277:["V434","V258","V259","V262","V263","V274","V275","V276","V277","V290","V291","V302","V303","V304","V305","V334","V335","V254","V255","V106","V107","V435",],
278:["V334","V335","V380","V258","V259","V266","V267","V276","V277","V290","V291","V296","V297","V302","V303","V304","V305","V250","V251","V66","V67","V381",],
279:["V334","V335","V350","V250","V251","V254","V255","V262","V263","V266","V267","V274","V275","V276","V277","V282","V283","V308","V309","V50","V51","V351",],
280:["V258","V259","V270","V271","V278","V279","V296","V297","V302","V303","V304","V305","V308","V309","V314","V250","V251","V254","V255","V26","V27","V315",],
281:["V258","V259","V260","V262","V263","V266","V267","V270","V271","V274","V275","V276","V277","V278","V279","V250","V251","V254","V255","V10","V11","V261",],
282:["V602","V262","V263","V266","V267","V270","V271","V274","V275","V278","V279","V304","V305","V308","V309","V334","V335","V226","V227","V250","V251","V254","V255","V603",],
283:["V544","V258","V259","V262","V263","V266","V267","V270","V271","V276","V277","V278","V279","V282","V283","V290","V291","V296","V297","V194","V195","V254","V255","V545",],
284:["V410","V258","V259","V262","V263","V270","V271","V274","V275","V278","V279","V282","V283","V290","V291","V302","V303","V308","V309","V254","V255","V82","V83","V411",],
285:["V334","V335","V360","V250","V251","V262","V263","V266","V267","V270","V271","V276","V277","V282","V283","V296","V297","V304","V305","V308","V309","V58","V59","V361",],
286:["V262","V263","V270","V271","V274","V275","V282","V283","V290","V291","V292","V296","V297","V302","V303","V304","V305","V250","V251","V254","V255","V18","V19","V293",],
287:["V220","V221","V224","V225","V234","V235","V242","V244","V245","V246","V247","V266","V267","V270","V271","V274","V275","V276","V277","V290","V291","V302","V303","V243",],
288:["V76","V77","V80","V81","V92","V93","V96","V97","V98","V258","V259","V266","V267","V270","V271","V274","V275","V282","V283","V308","V309","V250","V251","V254","V255","V99",],
289:["V574","V258","V259","V270","V271","V274","V275","V276","V277","V282","V283","V290","V291","V296","V297","V302","V303","V304","V305","V308","V309","V210","V211","V250","V251","V575",],
290:["V220","V221","V224","V225","V234","V244","V245","V246","V247","V250","V251","V266","V267","V270","V271","V274","V275","V276","V277","V278","V279","V290","V291","V302","V303","V235",],
291:["V156","V157","V160","V161","V170","V171","V178","V179","V186","V188","V189","V276","V277","V278","V279","V302","V303","V308","V309","V192","V193","V194","V195","V250","V251","V187",],
292:["V128","V129","V138","V139","V146","V147","V154","V155","V156","V157","V160","V161","V162","V250","V251","V270","V271","V274","V275","V278","V279","V290","V291","V124","V125","V163",],
293:["V522","V258","V259","V266","V267","V270","V271","V274","V275","V278","V279","V290","V291","V302","V303","V304","V305","V308","V309","V334","V335","V250","V251","V254","V255","V178","V179","V523",],
294:["V10","V11","V18","V19","V26","V27","V34","V35","V42","V44","V45","V48","V49","V50","V51","V270","V271","V282","V283","V296","V297","V302","V303","V304","V305","V334","V335","V43",],
295:["V192","V193","V202","V210","V211","V218","V219","V220","V221","V224","V225","V226","V227","V250","V251","V270","V271","V274","V275","V276","V277","V282","V283","V304","V305","V308","V309","V188","V189","V203",],
296:["V156","V157","V160","V161","V170","V178","V179","V188","V189","V192","V193","V194","V195","V250","V251","V262","V263","V266","V267","V270","V271","V276","V277","V278","V279","V302","V303","V308","V309","V171",],
297:["V128","V129","V138","V146","V147","V154","V155","V156","V157","V160","V161","V262","V263","V270","V271","V274","V275","V276","V277","V278","V279","V290","V291","V308","V309","V124","V125","V250","V251","V139",],
298:["V128","V129","V146","V147","V154","V156","V157","V160","V161","V250","V251","V262","V263","V270","V271","V274","V275","V276","V277","V278","V279","V290","V291","V302","V303","V308","V309","V124","V125","V155",],
299:["V128","V129","V130","V92","V93","V96","V97","V106","V107","V114","V115","V122","V123","V124","V125","V254","V255","V258","V259","V274","V275","V278","V279","V302","V303","V304","V305","V334","V335","V131",],
300:["V66","V67","V74","V76","V77","V80","V81","V82","V83","V258","V259","V266","V267","V282","V283","V290","V291","V302","V303","V304","V305","V44","V45","V48","V49","V58","V59","V250","V251","V254","V255","V75",],
301:["V220","V221","V224","V225","V244","V246","V247","V250","V251","V254","V255","V258","V259","V262","V263","V266","V267","V270","V271","V274","V275","V276","V277","V278","V279","V282","V283","V290","V291","V302","V303","V245",],
302:["V192","V193","V210","V211","V218","V220","V221","V224","V225","V226","V227","V250","V251","V254","V255","V270","V271","V274","V275","V276","V277","V278","V279","V282","V283","V304","V305","V308","V309","V188","V189","V219",],
303:["V128","V129","V146","V156","V157","V160","V161","V262","V263","V266","V267","V270","V271","V274","V275","V276","V277","V278","V279","V290","V291","V302","V303","V304","V305","V308","V309","V124","V125","V250","V251","V147",],
304:["V10","V11","V18","V19","V26","V27","V34","V44","V45","V48","V49","V50","V51","V258","V259","V262","V263","V270","V271","V274","V275","V282","V283","V290","V291","V296","V297","V302","V303","V304","V305","V334","V335","V35",],
305:["V220","V221","V224","V225","V246","V250","V251","V254","V255","V258","V259","V262","V263","V266","V267","V270","V271","V274","V275","V276","V277","V278","V279","V282","V283","V290","V291","V302","V303","V304","V305","V308","V309","V247",],
306:["V92","V93","V96","V97","V106","V114","V115","V122","V123","V124","V125","V254","V255","V258","V259","V262","V263","V274","V275","V276","V277","V278","V279","V290","V291","V302","V303","V304","V305","V334","V335","V128","V129","V107",],
307:["V66","V76","V77","V80","V81","V82","V83","V44","V45","V48","V49","V58","V59","V250","V251","V254","V255","V334","V335","V258","V259","V266","V267","V276","V277","V282","V283","V290","V291","V296","V297","V302","V303","V304","V305","V67",],
308:["V192","V193","V210","V211","V220","V221","V224","V225","V226","V250","V251","V254","V255","V262","V263","V266","V267","V270","V271","V274","V275","V276","V277","V278","V279","V282","V283","V304","V305","V308","V309","V334","V335","V188","V189","V227",],
309:["V192","V193","V210","V211","V220","V221","V224","V250","V251","V254","V255","V188","V189","V258","V259","V262","V263","V266","V267","V270","V271","V274","V275","V276","V277","V278","V279","V282","V283","V290","V291","V302","V303","V304","V305","V308","V309","V334","V335","V225",],
310:["V192","V193","V210","V250","V251","V254","V255","V258","V259","V262","V263","V266","V267","V270","V271","V274","V275","V276","V277","V278","V279","V282","V283","V290","V291","V296","V297","V302","V303","V304","V305","V308","V309","V188","V189","V334","V335","V211",],
311:["V192","V193","V194","V250","V251","V254","V255","V156","V157","V160","V161","V178","V179","V188","V189","V258","V259","V262","V263","V266","V267","V270","V271","V276","V277","V278","V279","V282","V283","V290","V291","V296","V297","V302","V303","V308","V309","V195",],
312:["V192","V250","V251","V254","V255","V156","V157","V160","V161","V178","V179","V188","V189","V258","V259","V262","V263","V266","V267","V270","V271","V274","V275","V276","V277","V278","V279","V282","V283","V290","V291","V296","V297","V302","V303","V304","V305","V308","V309","V334","V335","V193",],
313:["V128","V129","V156","V157","V160","V124","V125","V250","V251","V254","V255","V258","V259","V262","V263","V266","V267","V270","V271","V274","V275","V276","V277","V278","V279","V282","V283","V290","V291","V296","V297","V302","V303","V304","V305","V308","V309","V334","V335","V161",],
314:["V92","V93","V96","V97","V114","V122","V123","V124","V125","V258","V259","V262","V263","V274","V275","V276","V277","V278","V279","V282","V283","V290","V291","V296","V297","V302","V303","V304","V305","V308","V309","V254","V255","V128","V129","V334","V335","V115",],
315:["V92","V93","V96","V97","V122","V124","V125","V258","V259","V262","V263","V266","V267","V270","V271","V274","V275","V276","V277","V278","V279","V282","V283","V290","V291","V296","V297","V302","V303","V304","V305","V308","V309","V128","V129","V334","V335","V254","V255","V123",],
316:["V128","V92","V93","V96","V97","V124","V125","V258","V259","V262","V263","V266","V267","V270","V271","V274","V275","V276","V277","V278","V279","V282","V283","V290","V291","V296","V297","V302","V303","V304","V305","V308","V309","V250","V251","V254","V255","V334","V335","V129",],
317:["V76","V77","V80","V81","V92","V93","V96","V258","V259","V262","V263","V266","V267","V270","V271","V274","V275","V276","V277","V278","V279","V282","V283","V290","V291","V296","V297","V302","V303","V304","V305","V308","V309","V334","V335","V250","V251","V254","V255","V97",],
318:["V44","V45","V48","V49","V58","V258","V259","V262","V263","V266","V267","V270","V271","V276","V277","V282","V283","V290","V291","V296","V297","V302","V303","V304","V305","V308","V309","V334","V335","V76","V77","V80","V81","V82","V83","V250","V251","V254","V255","V59",],
319:["V76","V77","V80","V81","V82","V258","V259","V262","V263","V266","V267","V270","V271","V274","V275","V276","V277","V278","V279","V282","V283","V290","V291","V296","V297","V302","V303","V304","V305","V308","V309","V44","V45","V48","V49","V250","V251","V254","V255","V334","V335","V83",],
320:["V258","V259","V262","V263","V266","V267","V270","V271","V274","V275","V276","V278","V279","V282","V283","V290","V291","V296","V297","V302","V303","V304","V305","V308","V309","V334","V335","V250","V251","V254","V255","V10","V11","V44","V45","V48","V49","V50","V51","V277",],
321:["V258","V259","V262","V263","V270","V271","V274","V275","V278","V279","V282","V283","V290","V291","V296","V297","V302","V303","V304","V305","V308","V10","V11","V26","V27","V44","V45","V48","V49","V50","V51","V250","V251","V254","V255","V334","V335","V309",],
322:["V10","V11","V18","V19","V26","V27","V44","V45","V48","V49","V50","V258","V259","V262","V263","V270","V271","V274","V275","V282","V283","V290","V291","V296","V297","V302","V303","V304","V305","V334","V335","V250","V251","V254","V255","V51",],
}

Variable Max Cliques: [(V0, 1), (V1, 1), (V10, 19), (V100, 6), (V101, 6), (V102, 2), (V103, 1), (V104, 5), (V105, 2), (V106, 10), (V107, 9), (V108, 8), (V109, 8), (V11, 18), (V110, 2), (V111, 1), (V112, 8), (V113, 6), (V114, 12), (V115, 11), (V116, 6), (V117, 6), (V118, 2), (V119, 1), (V12, 7), (V120, 5), (V121, 2), (V122, 10), (V123, 9), (V124, 19), (V125, 19), (V126, 2), (V127, 1), (V128, 19), (V129, 17), (V13, 7), (V130, 8), (V131, 7), (V132, 6), (V133, 6), (V134, 2), (V135, 1), (V136, 5), (V137, 2), (V138, 9), (V139, 8), (V14, 2), (V140, 8), (V141, 8), (V142, 2), (V143, 1), (V144, 8), (V145, 6), (V146, 10), (V147, 9), (V148, 6), (V149, 6), (V15, 1), (V150, 2), (V151, 1), (V152, 5), (V153, 2), (V154, 10), (V155, 9), (V156, 18), (V157, 18), (V158, 2), (V159, 1), (V16, 7), (V160, 18), (V161, 16), (V162, 8), (V163, 7), (V164, 6), (V165, 6), (V166, 2), (V167, 1), (V168, 5), (V169, 2), (V17, 4), (V170, 9), (V171, 8), (V172, 8), (V173, 8), (V174, 2), (V175, 1), (V176, 8), (V177, 6), (V178, 12), (V179, 11), (V18, 15), (V180, 6), (V181, 6), (V182, 2), (V183, 1), (V184, 5), (V185, 2), (V186, 8), (V187, 7), (V188, 18), (V189, 18), (V19, 14), (V190, 2), (V191, 1), (V192, 18), (V193, 16), (V194, 10), (V195, 9), (V196, 6), (V197, 6), (V198, 2), (V199, 1), (V2, 7), (V20, 7), (V200, 5), (V201, 2), (V202, 9), (V203, 8), (V204, 8), (V205, 8), (V206, 2), (V207, 1), (V208, 8), (V209, 6), (V21, 7), (V210, 13), (V211, 12), (V212, 6), (V213, 6), (V214, 2), (V215, 1), (V216, 5), (V217, 2), (V218, 10), (V219, 9), (V22, 2), (V220, 16), (V221, 16), (V222, 2), (V223, 1), (V224, 16), (V225, 13), (V226, 11), (V227, 10), (V228, 8), (V229, 8), (V23, 1), (V230, 2), (V231, 1), (V232, 6), (V233, 4), (V234, 8), (V235, 7), (V236, 2), (V237, 3), (V238, 4), (V239, 1), (V24, 7), (V240, 5), (V241, 2), (V242, 9), (V243, 6), (V244, 10), (V245, 11), (V246, 11), (V247, 12), (V248, 1), (V249, 1), (V25, 4), (V250, 85), (V251, 85), (V252, 3), (V253, 3), (V254, 73), (V255, 73), (V256, 1), (V257, 1), (V258, 62), (V259, 62), (V26, 14), (V260, 5), (V261, 5), (V262, 71), (V263, 71), (V264, 1), (V265, 1), (V266, 68), (V267, 68), (V268, 3), (V269, 3), (V27, 13), (V270, 85), (V271, 85), (V272, 1), (V273, 1), (V274, 85), (V275, 85), (V276, 71), (V277, 71), (V278, 73), (V279, 73), (V28, 8), (V280, 2), (V281, 2), (V282, 61), (V283, 61), (V284, 1), (V285, 1), (V286, 4), (V287, 4), (V288, 1), (V289, 1), (V29, 8), (V290, 68), (V291, 68), (V292, 5), (V293, 5), (V294, 1), (V295, 1), (V296, 43), (V297, 43), (V298, 3), (V299, 3), (V3, 7), (V30, 2), (V300, 1), (V301, 1), (V302, 81), (V303, 81), (V304, 80), (V305, 80), (V306, 2), (V307, 2), (V308, 63), (V309, 63), (V31, 1), (V310, 1), (V311, 1), (V312, 3), (V313, 3), (V314, 4), (V315, 4), (V316, 1), (V317, 1), (V318, 3), (V319, 3), (V32, 8), (V320, 1), (V321, 1), (V322, 1), (V323, 1), (V324, 4), (V325, 4), (V326, 1), (V327, 1), (V328, 4), (V329, 4), (V33, 6), (V330, 1), (V331, 1), (V332, 2), (V333, 2), (V334, 49), (V335, 49), (V336, 3), (V337, 3), (V338, 1), (V339, 1), (V34, 9), (V340, 3), (V341, 3), (V342, 1), (V343, 1), (V344, 1), (V345, 1), (V346, 3), (V347, 3), (V348, 1), (V349, 1), (V35, 8), (V350, 5), (V351, 5), (V352, 1), (V353, 1), (V354, 3), (V355, 3), (V356, 1), (V357, 1), (V358, 1), (V359, 1), (V36, 6), (V360, 5), (V361, 5), (V362, 1), (V363, 1), (V364, 2), (V365, 2), (V366, 4), (V367, 4), (V368, 1), (V369, 1), (V37, 6), (V370, 3), (V371, 3), (V372, 1), (V373, 1), (V374, 1), (V375, 1), (V376, 3), (V377, 3), (V378, 1), (V379, 1), (V38, 2), (V380, 4), (V381, 4), (V382, 2), (V383, 2), (V384, 2), (V385, 2), (V386, 1), (V387, 1), (V388, 2), (V389, 2), (V39, 1), (V390, 1), (V391, 1), (V392, 4), (V393, 4), (V394, 1), (V395, 1), (V396, 4), (V397, 4), (V398, 1), (V399, 1), (V4, 4), (V40, 5), (V400, 1), (V401, 1), (V402, 4), (V403, 4), (V404, 1), (V405, 1), (V406, 3), (V407, 3), (V408, 1), (V409, 1), (V41, 2), (V410, 5), (V411, 5), (V412, 2), (V413, 2), (V414, 1), (V415, 1), (V416, 2), (V417, 2), (V418, 1), (V419, 1), (V42, 7), (V420, 3), (V421, 3), (V422, 1), (V423, 1), (V424, 3), (V425, 3), (V426, 1), (V427, 1), (V428, 1), (V429, 1), (V43, 6), (V430, 3), (V431, 3), (V432, 1), (V433, 1), (V434, 4), (V435, 4), (V436, 2), (V437, 2), (V438, 2), (V439, 2), (V44, 18), (V440, 1), (V441, 1), (V442, 1), (V443, 1), (V444, 2), (V445, 2), (V446, 3), (V447, 3), (V448, 1), (V449, 1), (V45, 18), (V450, 4), (V451, 4), (V452, 2), (V453, 2), (V454, 1), (V455, 1), (V456, 3), (V457, 3), (V458, 1), (V459, 1), (V46, 2), (V460, 3), (V461, 3), (V462, 2), (V463, 2), (V464, 1), (V465, 1), (V466, 1), (V467, 1), (V468, 3), (V469, 3), (V47, 1), (V470, 2), (V471, 2), (V472, 2), (V473, 2), (V474, 1), (V475, 1), (V476, 2), (V477, 2), (V478, 1), (V479, 1), (V48, 18), (V480, 4), (V481, 4), (V482, 1), (V483, 1), (V484, 3), (V485, 3), (V486, 1), (V487, 1), (V488, 2), (V489, 2), (V49, 16), (V490, 2), (V491, 2), (V492, 1), (V493, 1), (V494, 4), (V495, 4), (V496, 2), (V497, 2), (V498, 1), (V499, 1), (V5, 2), (V50, 13), (V500, 1), (V501, 1), (V502, 3), (V503, 3), (V504, 1), (V505, 1), (V506, 1), (V507, 1), (V508, 4), (V509, 4), (V51, 12), (V510, 1), (V511, 1), (V512, 2), (V513, 2), (V514, 2), (V515, 2), (V516, 1), (V517, 1), (V518, 4), (V519, 4), (V52, 6), (V520, 1), (V521, 1), (V522, 6), (V523, 6), (V524, 1), (V525, 1), (V526, 2), (V527, 2), (V528, 3), (V529, 3), (V53, 6), (V530, 2), (V531, 2), (V532, 1), (V533, 1), (V534, 1), (V535, 1), (V536, 3), (V537, 3), (V538, 1), (V539, 1), (V54, 2), (V540, 2), (V541, 2), (V542, 1), (V543, 1), (V544, 6), (V545, 6), (V546, 1), (V547, 1), (V548, 2), (V549, 2), (V55, 1), (V550, 4), (V551, 4), (V552, 1), (V553, 1), (V554, 2), (V555, 2), (V556, 1), (V557, 1), (V558, 2), (V559, 2), (V56, 5), (V560, 3), (V561, 3), (V562, 2), (V563, 2), (V564, 1), (V565, 1), (V566, 1), (V567, 1), (V568, 4), (V569, 4), (V57, 2), (V570, 1), (V571, 1), (V572, 2), (V573, 2), (V574, 5), (V575, 5), (V576, 1), (V577, 1), (V578, 3), (V579, 3), (V58, 10), (V580, 2), (V581, 2), (V582, 1), (V583, 1), (V584, 1), (V585, 1), (V586, 3), (V587, 3), (V588, 1), (V589, 1), (V59, 9), (V590, 4), (V591, 4), (V592, 2), (V593, 2), (V594, 1), (V595, 1), (V596, 2), (V597, 2), (V598, 1), (V599, 1), (V6, 2), (V60, 8), (V600, 3), (V601, 3), (V602, 4), (V603, 4), (V604, 1), (V605, 1), (V606, 3), (V607, 3), (V608, 2), (V609, 2), (V61, 8), (V610, 1), (V611, 1), (V612, 1), (V613, 1), (V614, 4), (V615, 4), (V616, 1), (V617, 1), (V618, 3), (V619, 3), (V62, 2), (V620, 2), (V621, 2), (V622, 1), (V623, 1), (V624, 3), (V625, 3), (V626, 1), (V627, 1), (V628, 3), (V629, 3), (V63, 1), (V630, 1), (V631, 1), (V632, 2), (V633, 2), (V634, 1), (V635, 1), (V636, 5), (V637, 5), (V638, 1), (V639, 1), (V64, 8), (V640, 2), (V641, 2), (V642, 1), (V643, 1), (V644, 3), (V645, 3), (V646, 1), (V647, 1), (V65, 6), (V66, 10), (V67, 9), (V68, 6), (V69, 6), (V7, 1), (V70, 2), (V71, 1), (V72, 5), (V73, 2), (V74, 9), (V75, 8), (V76, 15), (V77, 15), (V78, 2), (V79, 1), (V8, 7), (V80, 15), (V81, 13), (V82, 12), (V83, 11), (V84, 6), (V85, 6), (V86, 2), (V87, 1), (V88, 5), (V89, 2), (V9, 4), (V90, 7), (V91, 6), (V92, 16), (V93, 16), (V94, 2), (V95, 1), (V96, 16), (V97, 14), (V98, 8), (V99, 7)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(35322000, 0), (35324768, 0), (35333696, 0), (35335376, 0), (35336320, 0), (35337072, 0), (35338928, 0), (35342144, 0), (35346880, 0), (35350096, 0), (35356640, 0), (35360560, 0), (35362256, 0), (35365232, 0), (35366864, 0), (35368544, 0), (35371856, 0), (35372864, 0), (35373888, 0), (35376384, 0), (35384944, 0), (35387664, 0), (35389264, 0), (35390352, 0), (35392656, 0), (35402544, 0), (35406736, 0), (35408416, 0), (35410208, 0), (35425984, 0), (35428768, 0), (35441472, 0), (35443264, 0), (35445056, 0), (35446848, 0), (35448640, 0), (35453696, 0), (35454384, 0), (35456128, 0), (35457872, 0), (35459616, 0), (35461872, 0), (35463664, 0), (35465456, 0), (35467248, 0), (35469040, 0), (35470832, 0), (35472624, 0), (35474416, 0), (35476208, 0), (35478000, 0), (35479792, 0), (35481584, 0), (35483376, 0), (35485168, 0), (35486960, 0), (35488752, 0), (35490544, 0), (35492336, 0), (35494128, 0), (35495920, 0), (35497712, 0), (35499504, 0), (35501296, 0), (35503088, 0), (35504880, 0), (35506672, 0), (35508464, 0), (35510256, 0), (35512048, 0), (35513840, 0), (35515632, 0), (35517424, 0), (35519216, 0), (35521008, 0), (35522800, 0), (35524592, 0), (35526384, 0), (35528176, 0), (35529968, 0), (35531760, 0), (35533552, 0), (35535344, 0), (35537136, 0), (35538928, 0), (35540720, 0), (35542512, 0), (35544304, 0), (35546096, 0), (35547888, 0), (35549680, 0), (35551472, 0), (35553264, 0), (35555056, 0), (35556848, 0), (35558640, 0), (35559792, 0), (35561584, 0), (35563376, 0), (35565168, 0), (35566960, 0), (35568752, 0), (35570544, 0), (35572336, 0), (35574128, 0), (35575920, 0), (35577712, 0), (35579504, 0), (35581296, 0), (35583088, 0), (35584880, 0), (35586672, 0), (35588464, 0), (35590256, 0), (35592048, 0), (35593840, 0), (35595632, 0), (35597424, 0), (35599216, 0), (35601008, 0), (35602800, 0), (35604592, 0), (35606384, 0), (35608176, 0), (35609968, 0), (35611760, 0), (35613552, 0), (35615344, 0), (35617136, 0), (35618928, 0), (35620720, 0), (35622512, 0), (35624304, 0), (35626096, 0), (35627888, 0), (35629680, 0), (35631472, 0), (35633264, 0), (35635056, 0), (35636848, 0), (35638640, 0), (35640432, 0), (35642224, 0), (35644016, 0), (35645808, 0), (35647600, 0), (35649392, 0), (35651184, 0), (35652976, 0), (35655392, 0), (35657248, 0), (35659040, 0), (35660832, 0), (35662624, 0), (35664416, 0), (35666208, 0), (35668000, 0), (35669792, 0), (35671584, 0), (35673376, 0), (35675168, 0), (35676960, 0), (35678752, 0), (35680544, 0), (35682336, 0), (35684128, 0), (35685920, 0), (35687712, 0), (35689504, 0), (35691296, 0), (35693088, 0), (35694880, 0), (35696672, 0), (35698464, 0), (35700256, 0), (35702048, 0), (35703840, 0), (35705632, 0), (35707424, 0), (35709216, 0), (35711008, 0), (35712800, 0), (35714592, 0), (35716384, 0), (35718176, 0), (35719968, 0), (35721760, 0), (35723552, 0), (35725344, 0), (35727136, 0), (35728928, 0), (35730720, 0), (35732512, 0), (35734304, 0), (35736096, 0), (35737888, 0), (35739680, 0), (35741472, 0), (35743264, 0), (35745056, 0), (35746848, 0), (35748640, 0), (35750432, 0), (35752224, 0), (35754016, 0), (35755808, 0), (35757600, 0), (35759392, 0), (35761184, 0), (35762976, 0), (35764768, 0), (35766560, 0), (35768352, 0), (35770144, 0), (35771936, 0), (35773728, 0), (35775520, 0), (35777312, 0), (35779104, 0), (35780896, 0), (35782688, 0), (35784480, 0), (35786272, 0), (35788064, 0), (35789856, 0), (35791648, 0), (35793440, 0), (35795232, 0), (35797024, 0), (35798816, 0), (35817136, 0), (35818928, 0), (35820640, 0), (35822432, 0), (35824224, 0), (35826016, 0), (35827808, 0), (35829600, 0), (35831392, 0), (35833184, 0), (35834976, 0), (35836768, 0), (35838560, 0), (35840352, 0), (35842144, 0), (35843936, 0), (35845728, 0), (35847520, 0), (35849312, 0), (35851104, 0), (35852896, 0), (35854688, 0), (35856480, -85), (35858272, -85), (35860064, 0), (35861856, 0), (35863648, 0), (35865440, 0), (35867232, 0), (35869024, 0), (35870816, 0), (35872608, 0), (35874400, 0), (35876192, 0), (35877984, 0), (35879776, 0), (35881568, 0), (35883360, 0), (35885152, 0), (35886944, 0), (35888736, 0), (35890528, 0), (35892320, -85), (35894112, -85), (35895904, 0), (35897696, 0), (35899488, -85), (35901280, -85), (35903072, 0), (35904864, 0), (35906656, 0), (35908448, 0), (35910240, 0), (35912032, 0), (35913824, 0), (35915616, 0), (35917408, 0), (35919200, 0), (35920992, 0), (35922784, 0), (35924576, 0), (35926368, 0), (35928160, 0), (35929952, 0), (35931744, 0), (35933536, 0), (35935328, 0), (35937120, 0), (35938912, 0), (35940704, 0), (35942496, 0), (35944288, 0), (35946080, 0), (35947872, 0), (35949664, -81), (35951456, -81), (35953248, 0), (35955040, 0), (35956832, 0), (35958624, 0), (35960416, 0), (35962208, 0), (35964000, 0), (35965792, 0), (35967584, 0), (35969376, 0), (35971168, 0), (35972960, 0), (35974752, 0), (35976544, 0), (35978336, 0), (35980128, 0), (35981920, 0), (35983712, 0), (35985504, 0), (35987296, 0), (35989088, 0), (35990880, 0), (35992672, 0), (35994464, 0), (35996256, 0), (35998048, 0), (35999840, 0), (36001632, 0), (36003424, 0), (36005216, 0), (36007008, 0), (36008800, 0), (36010592, 0), (36012384, 0), (36014176, 0), (36015968, 0), (36017760, 0), (36019552, 0), (36021344, 0), (36023136, 0), (36024928, 0), (36026720, 0), (36028512, 0), (36030304, 0), (36032096, 0), (36033888, 0), (36035680, 0), (36037472, 0), (36039264, 0), (36041056, 0), (36042848, 0), (36044640, 0), (36046432, 0), (36048224, 0), (36050016, 0), (36051808, 0), (36053600, 0), (36055392, 0), (36057184, 0), (36058976, 0), (36060768, 0), (36062560, 0), (36064352, 0), (36066096, 0), (36067888, 0), (36069680, 0), (36071472, 0), (36073264, 0), (36075056, 0), (36076848, 0), (36078640, 0), (36080432, 0), (36082224, 0), (36084016, 0), (36085808, 0), (36087600, 0), (36089392, 0), (36091184, 0), (36092976, 0), (36094768, 0), (36096560, 0), (36098352, 0), (36100144, 0), (36101936, 0), (36103728, 0), (36105520, 0), (36107312, 0), (36109104, 0), (36110896, 0), (36112688, 0), (36114480, 0), (36116272, 0), (36118064, 0), (36119856, 0), (36121648, 0), (36123440, 0), (36125232, 0), (36127024, 0), (36128816, 0), (36130608, 0), (36132400, 0), (36134192, 0), (36135984, 0), (36137776, 0), (36139568, 0), (36141360, 0), (36143152, 0), (36144944, 0), (36146736, 0), (36148528, 0), (36150320, 0), (36152112, 0), (36153904, 0), (36155696, 0), (36157488, 0), (36159280, 0), (36161072, 0), (36162864, 0), (36164656, 0), (36166448, 0), (36168240, 0), (36170032, 0), (36171824, 0), (36173616, 0), (36175408, 0), (36177200, 0), (36178992, 0), (36180784, 0), (36182576, 0), (36184368, 0), (36186160, 0), (36187952, 0), (36189744, 0), (36191536, 0), (36193328, 0), (36195120, 0), (36196912, 0), (36198704, 0), (36200496, 0), (36202288, 0), (36204080, 0), (36205872, 0), (36207664, 0), (36209456, 0), (36211248, 0), (36213040, 0), (36214832, 0), (36216624, 0), (36218416, 0), (36220208, 0), (36222000, 0), (36223792, 0), (36225584, 0), (36227376, 0), (36229168, 0), (36230960, 0), (36232752, 0), (36234544, 0), (36236336, 0), (36238128, 0), (36239920, 0), (36241712, 0), (36243504, 0), (36245296, 0), (36247088, 0), (36248880, 0), (36250672, 0), (36252464, 0), (36254256, 0), (36256048, 0), (36257840, 0), (36259632, 0), (36261424, 0), (36263216, 0), (36265008, 0), (36266800, 0), (36268592, 0), (36270384, 0), (36272176, 0), (36273968, 0), (36275760, 0), (36277552, 0), (36279344, 0), (36281136, 0), (36282928, 0), (36284720, 0), (36286512, 0), (36288304, 0), (36290096, 0), (36291888, 0), (36293680, 0), (36295472, 0), (36297264, 0), (36299056, 0), (36300848, 0), (36302640, 0), (36304432, 0), (36306224, 0), (36308016, 0), (36309808, 0), (36311600, 0), (36313392, 0), (36315184, 0), (36316976, 0), (36318768, 0), (36320560, 0), (36322352, 0), (36324144, 0), (36325936, 0), (36327728, 0), (36329520, 0), (36331312, 0), (36333104, 0), (36334896, 0), (36336688, 0), (36338480, 0), (36340272, 0), (36342064, 0), (36343856, 0), (36345648, 0), (36347440, 0), (36349232, 0), (36351024, 0), (36352816, 0), (36354608, 0), (36356400, 0), (36358192, 0), (36359984, 0), (36361776, 0), (36363568, 0), (36365360, 0), (36367152, 0), (36368944, 0), (36370736, 0), (36372528, 0), (36374320, 0), (36376112, 0), (36377904, 0), (36379696, 0), (36381488, 0), (36383280, 0), (36385072, 0), (36386864, 0), (36388656, 0), (36390448, 0), (36392240, 0), (36394032, 0), (36395824, 0), (36397616, 0), (36399408, 0), (36401200, 0), (36402992, 0), (36404784, 0), (36406576, 0), (36408368, 0), (36410160, 0), (36411952, 0), (36413744, 0), (36415536, 0), (36417328, 0), (36419120, 0), (36420912, 0), (36422704, 0), (36424496, 0), (36426288, 0), (36428080, 0), (36429872, 0), (36431664, 0), (36433456, 0), (36435248, 0), (36437040, 0), (36438832, 0), (36440624, 0), (36442416, 0), (36444208, 0), (36446000, 0), (36447792, 0), (36449584, 0), (36459552, 0), (36461344, 0), (36463136, 0), (36464928, 0), (36466720, 0), (36468512, 0), (36470304, 0), (36472096, 0), (36473888, 0), (36475680, 0), (36477472, 0), (36479264, 0), (36481056, 0), (36482848, 0), (36484640, 0), (36486432, 0), (36488224, 0), (36490016, 0), (36491808, 0), (36493600, 0), (36495392, 0), (36497184, 0), (36498976, 0), (36500768, 0), (36502560, 0), (36504352, 0), (36506144, 0), (36507936, 0), (36509728, 0), (36511520, 0), (36513312, 0), (36515104, 0), (36516896, 0), (36518688, 0), (36520480, 0), (36522272, 0), (36524064, 0), (36525856, 0), (36527648, 0), (36529440, 0), (36531232, 0), (36533024, 0), (36534816, 0), (36536608, 0), (36538400, 0), (36540192, 0), (36541984, 0), (36543776, 0), (36545568, 0), (36547360, 0), (36549152, 0), (36550944, 0), (36552736, 0), (36554528, 0), (36556320, 0), (36558112, 0), (36559904, 0), (36561696, 0), (36563488, 0), (36565280, 0), (36567072, 0), (36568864, 0), (36570656, 0), (36572448, 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":"1556","# Normalized Constraints":"60","# Solutions":"1","# Values Removed From Unary Cons ":"0","# Variables":"648","Boost Version":"1.75.0","Instance Name":"","Max Arity":"3","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"252","CPU Time Post Normalization (ms)":"262527","CPU Time Problem Setup  (ms)":"95","CPU Time Search (ms)":"262274","Full CPU Time (ms)":"262622","Peak Memory (MB)":"153.518"},
 "Components": [{"Component Stats": {"# Constraints":"1556","# Variables":"648"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 1, 2, 5, 10, 17, 35, 53, 33, 43, 52, 61, 66, 64, 79, 86, 88, 91, 94, 99, 106, 113, 125, 135, 145, 149, 158, 175, 185, 195, 213, 226, 250, 279, 301, 326, 356, 382, 408, 429, 448, 471, 505, 541, 567, 600, 634, 663, 681, 699, 698, 708, 730, 749, 758, 767, 773, 788, 798, 804, 816, 820, 832, 845, 861, 868, 873, 888, 896, 909, 903, 905, 915, 922, 935, 942, 930, 931, 931, 935, 939, 947, 949, 959, 967, 975, 979, 979, 968, 955, 942, 933, 955, 976, 989, 1004, 1010, 1017, 995, 976, 972, 969, 973, 979, 988, 985, 989, 990, 1002, 1003, 1014, 1019, 1008, 1007, 1009, 1010, 1015, 1016, 1019, 1017, 1018, 1019, 1028, 1034, 1033, 1035, 1033, 1039, 1046, 1043, 1039, 1044, 1033, 1034, 1041, 1040, 1044, 1051, 1046, 1037, 1036, 1036, 1032, 1015, 1015, 1014, 1013, 1018, 1013, 1010, 1012, 1005, 1011, 1006, 1007, 1006, 1017, 1012, 1013, 1016, 1013, 1015, 1015, 1021, 1021, 1023, 1023, 1024, 1018, 1020, 1017, 1015, 1019, 1011, 1009, 1012, 1015, 1013, 1006, 1002, 990, 989, 978, 974, 989, 995, 1003, 1006, 1005, 1009, 1009, 1011, 1009, 1007, 1007, 1013, 1008, 1007, 1000, 999, 998, 994, 985, 985, 987, 984, 982, 983, 973, 970, 965, 966, 958, 949, 942, 934, 908, 905, 884, 880, 870, 871, 872, 871, 868, 869, 862, 860, 853, 850, 844, 843, 836, 835, 838, 836, 833, 832, 822, 821, 816, 814, 805, 805, 808, 807, 798, 795, 798, 794, 791, 791, 792, 793, 787, 786, 780, 773, 763, 764, 753, 754, 755, 752, 735, 735, 726, 723, 688, 680, 683, 682, 682, 682, 671, 668, 652, 647, 630, 628, 603, 602, 583, 576, 552, 547, 536, 533, 523, 517, 473, 467, 446, 437, 407, 398, 396, 391, 388, 384, 369, 366, 356, 354, 347, 344, 341, 341, 337, 335, 300, 300, 296, 296, 280, 278, 233, 232, 234, 231, 219, 216, 188, 186, 184, 182, 166, 165, 167, 167, 164, 164, 152, 152, 147, 147, 144, 142, 103, 103, 103, 103, 100, 100, 98, 97, 84, 84, 84, 84, 80, 80, 72, 72, 72, 72, 70, 70, 69, 69, 67, 66, 58, 56, 51, 50, 50, 50, 49, 48, 47, 47, 48, 48, 48, 48, 48, 48, 47, 47, 47, 47, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 39, 39, 37, 37, 37, 37, 37, 37, 37, 37, 35, 35, 35, 35, 34, 34, 34, 34, 31, 31, 23, 23, 18, 18, 14, 14, 12, 12, 12, 12, 12, 12, 11, 11, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 8, 8, 7, 7, 5, 5, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"247159","# backtracks per level":"[0, 1, 2, 5, 10, 17, 35, 53, 33, 43, 52, 61, 66, 64, 79, 86, 88, 91, 94, 99, 106, 113, 125, 135, 145, 149, 158, 175, 185, 195, 213, 226, 250, 279, 301, 326, 356, 382, 408, 429, 448, 471, 505, 541, 567, 600, 634, 663, 681, 699, 698, 708, 730, 749, 758, 767, 773, 788, 798, 804, 816, 820, 832, 845, 861, 868, 873, 888, 896, 909, 903, 905, 915, 922, 935, 942, 930, 931, 931, 935, 939, 947, 949, 959, 967, 975, 979, 979, 968, 955, 942, 933, 955, 976, 989, 1004, 1010, 1017, 995, 976, 972, 969, 973, 979, 988, 985, 989, 990, 1002, 1003, 1014, 1019, 1008, 1007, 1009, 1010, 1015, 1016, 1019, 1017, 1018, 1019, 1028, 1034, 1033, 1035, 1033, 1039, 1046, 1043, 1039, 1044, 1033, 1034, 1041, 1040, 1044, 1051, 1046, 1037, 1036, 1036, 1032, 1015, 1015, 1014, 1013, 1018, 1013, 1010, 1012, 1005, 1011, 1006, 1007, 1006, 1017, 1012, 1013, 1016, 1013, 1015, 1015, 1021, 1021, 1023, 1023, 1024, 1018, 1020, 1017, 1015, 1019, 1011, 1009, 1012, 1015, 1013, 1006, 1002, 990, 989, 978, 974, 989, 995, 1003, 1006, 1005, 1009, 1009, 1011, 1009, 1007, 1007, 1013, 1008, 1007, 1000, 999, 998, 994, 985, 985, 987, 984, 982, 983, 973, 970, 965, 966, 958, 949, 942, 934, 908, 905, 884, 880, 870, 871, 872, 871, 868, 869, 862, 860, 853, 850, 844, 843, 836, 835, 838, 836, 833, 832, 822, 821, 816, 814, 805, 805, 808, 807, 798, 795, 798, 794, 791, 791, 792, 793, 787, 786, 780, 773, 763, 764, 753, 754, 755, 752, 735, 735, 726, 723, 688, 680, 683, 682, 682, 682, 671, 668, 652, 647, 630, 628, 603, 602, 583, 576, 552, 547, 536, 533, 523, 517, 473, 467, 446, 437, 407, 398, 396, 391, 388, 384, 369, 366, 356, 354, 347, 344, 341, 341, 337, 335, 300, 300, 296, 296, 280, 278, 233, 232, 234, 231, 219, 216, 188, 186, 184, 182, 166, 165, 167, 167, 164, 164, 152, 152, 147, 147, 144, 142, 103, 103, 103, 103, 100, 100, 98, 97, 84, 84, 84, 84, 80, 80, 72, 72, 72, 72, 70, 70, 69, 69, 67, 66, 58, 56, 51, 50, 50, 50, 49, 48, 47, 47, 48, 48, 48, 48, 48, 48, 47, 47, 47, 47, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 39, 39, 37, 37, 37, 37, 37, 37, 37, 37, 35, 35, 35, 35, 34, 34, 34, 34, 31, 31, 23, 23, 18, 18, 14, 14, 12, 12, 12, 12, 12, 12, 11, 11, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 8, 8, 7, 7, 5, 5, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"254473","# 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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."}, "STR2": {"# calls to revise":"5829860","# isValid Checks":"23652323"}}]}