2026-03-05 10:13:29,447 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:["V770","V772","V791","V793","V1078","V1084","V925",],
1:["V771","V773","V792","V794","V1078","V1084","V924",],
2:["V875","V877","V917","V923","V1078","V1084","V1051",],
3:["V876","V878","V917","V923","V1078","V1084","V1050",],
4:["V812","V814","V854","V856","V920","V1078","V1084","V988",],
5:["V813","V815","V855","V857","V920","V1078","V1084","V987",],
6:["V791","V793","V833","V835","V919","V1078","V1084","V967",],
7:["V792","V794","V834","V836","V919","V1078","V1084","V966",],
8:["V770","V772","V812","V814","V918","V1078","V1084","V946",],
9:["V771","V773","V813","V815","V918","V1078","V1084","V945",],
10:["V885","V889","V895","V917","V923","V1078","V1084","V1063",],
11:["V886","V889","V895","V917","V923","V1078","V1084","V1062",],
12:["V883","V887","V894","V917","V923","V1078","V1084","V1061",],
13:["V884","V888","V894","V917","V923","V1078","V1084","V1060",],
14:["V881","V885","V893","V917","V923","V1078","V1084","V1059",],
15:["V882","V886","V893","V917","V923","V1078","V1084","V1058",],
16:["V879","V883","V892","V917","V923","V1078","V1084","V1057",],
17:["V880","V884","V892","V917","V923","V1078","V1084","V1056",],
18:["V877","V881","V891","V917","V923","V1078","V1084","V1055",],
19:["V878","V882","V891","V917","V923","V1078","V1084","V1054",],
20:["V875","V879","V890","V917","V923","V1078","V1084","V1053",],
21:["V876","V880","V890","V917","V923","V1078","V1084","V1052",],
22:["V854","V856","V896","V898","V922","V1078","V1084","V1030",],
23:["V855","V857","V897","V899","V922","V1078","V1084","V1029",],
24:["V833","V835","V875","V877","V921","V1078","V1084","V1009",],
25:["V834","V836","V876","V878","V921","V1078","V1084","V1008",],
26:["V780","V784","V790","V801","V805","V811","V1078","V1084","V937",],
27:["V781","V784","V790","V802","V805","V811","V1078","V1084","V936",],
28:["V778","V782","V789","V799","V803","V810","V1078","V1084","V935",],
29:["V779","V783","V789","V800","V804","V810","V1078","V1084","V934",],
30:["V776","V780","V788","V797","V801","V809","V1078","V1084","V933",],
31:["V777","V781","V788","V798","V802","V809","V1078","V1084","V932",],
32:["V774","V778","V787","V795","V799","V808","V1078","V1084","V931",],
33:["V775","V779","V787","V796","V800","V808","V1078","V1084","V930",],
34:["V772","V776","V786","V793","V797","V807","V1078","V1084","V929",],
35:["V773","V777","V786","V794","V798","V807","V1078","V1084","V928",],
36:["V770","V774","V785","V791","V795","V806","V1078","V1084","V927",],
37:["V771","V775","V785","V792","V796","V806","V1078","V1084","V926",],
38:["V105","V107","V147","V153","V259","V261","V301","V307","V127",],
39:["V106","V108","V147","V153","V260","V262","V301","V307","V126",],
40:["V1","V3","V22","V24","V155","V157","V176","V178","V0",],
41:["V823","V826","V832","V865","V868","V874","V920","V1078","V1084","V999",],
42:["V820","V824","V831","V862","V866","V873","V920","V1078","V1084","V998",],
43:["V821","V825","V831","V863","V867","V873","V920","V1078","V1084","V997",],
44:["V818","V822","V830","V860","V864","V872","V920","V1078","V1084","V996",],
45:["V819","V823","V830","V861","V865","V872","V920","V1078","V1084","V995",],
46:["V816","V820","V829","V858","V862","V871","V920","V1078","V1084","V994",],
47:["V817","V821","V829","V859","V863","V871","V920","V1078","V1084","V993",],
48:["V814","V818","V828","V856","V860","V870","V920","V1078","V1084","V992",],
49:["V815","V819","V828","V857","V861","V870","V920","V1078","V1084","V991",],
50:["V812","V816","V827","V854","V858","V869","V920","V1078","V1084","V990",],
51:["V813","V817","V827","V855","V859","V869","V920","V1078","V1084","V989",],
52:["V801","V805","V811","V843","V847","V853","V919","V1078","V1084","V979",],
53:["V802","V805","V811","V844","V847","V853","V919","V1078","V1084","V978",],
54:["V799","V803","V810","V841","V845","V852","V919","V1078","V1084","V977",],
55:["V800","V804","V810","V842","V846","V852","V919","V1078","V1084","V976",],
56:["V797","V801","V809","V839","V843","V851","V919","V1078","V1084","V975",],
57:["V798","V802","V809","V840","V844","V851","V919","V1078","V1084","V974",],
58:["V795","V799","V808","V837","V841","V850","V919","V1078","V1084","V973",],
59:["V796","V800","V808","V838","V842","V850","V919","V1078","V1084","V972",],
60:["V793","V797","V807","V835","V839","V849","V919","V1078","V1084","V971",],
61:["V794","V798","V807","V836","V840","V849","V919","V1078","V1084","V970",],
62:["V791","V795","V806","V833","V837","V848","V919","V1078","V1084","V969",],
63:["V792","V796","V806","V834","V838","V848","V919","V1078","V1084","V968",],
64:["V780","V784","V790","V822","V826","V832","V918","V1078","V1084","V958",],
65:["V781","V784","V790","V823","V826","V832","V918","V1078","V1084","V957",],
66:["V778","V782","V789","V820","V824","V831","V918","V1078","V1084","V956",],
67:["V779","V783","V789","V821","V825","V831","V918","V1078","V1084","V955",],
68:["V776","V780","V788","V818","V822","V830","V918","V1078","V1084","V954",],
69:["V777","V781","V788","V819","V823","V830","V918","V1078","V1084","V953",],
70:["V774","V778","V787","V816","V820","V829","V918","V1078","V1084","V952",],
71:["V775","V779","V787","V817","V821","V829","V918","V1078","V1084","V951",],
72:["V772","V776","V786","V814","V818","V828","V918","V1078","V1084","V950",],
73:["V773","V777","V786","V815","V819","V828","V918","V1078","V1084","V949",],
74:["V770","V774","V785","V812","V816","V827","V918","V1078","V1084","V948",],
75:["V771","V775","V785","V813","V817","V827","V918","V1078","V1084","V947",],
76:["V567","V569","V609","V615","V875","V877","V917","V923","V1082","V743",],
77:["V568","V570","V609","V615","V876","V878","V917","V923","V1082","V742",],
78:["V463","V465","V484","V486","V771","V773","V792","V794","V1082","V616",],
79:["V413","V415","V455","V461","V721","V723","V763","V769","V1081","V589",],
80:["V414","V416","V455","V461","V722","V724","V763","V769","V1081","V588",],
81:["V309","V311","V330","V332","V617","V619","V638","V640","V1081","V462",],
82:["V259","V261","V301","V307","V567","V569","V609","V615","V1080","V435",],
83:["V260","V262","V301","V307","V568","V570","V609","V615","V1080","V434",],
84:["V155","V157","V176","V178","V463","V465","V484","V486","V1080","V308",],
85:["V105","V107","V147","V153","V413","V415","V455","V461","V1079","V281",],
86:["V106","V108","V147","V153","V414","V416","V455","V461","V1079","V280",],
87:["V1","V3","V22","V24","V309","V311","V330","V332","V1079","V154",],
88:["V864","V868","V874","V906","V910","V916","V922","V1078","V1084","V1042",],
89:["V865","V868","V874","V907","V910","V916","V922","V1078","V1084","V1041",],
90:["V862","V866","V873","V904","V908","V915","V922","V1078","V1084","V1040",],
91:["V863","V867","V873","V905","V909","V915","V922","V1078","V1084","V1039",],
92:["V860","V864","V872","V902","V906","V914","V922","V1078","V1084","V1038",],
93:["V861","V865","V872","V903","V907","V914","V922","V1078","V1084","V1037",],
94:["V858","V862","V871","V900","V904","V913","V922","V1078","V1084","V1036",],
95:["V859","V863","V871","V901","V905","V913","V922","V1078","V1084","V1035",],
96:["V856","V860","V870","V898","V902","V912","V922","V1078","V1084","V1034",],
97:["V857","V861","V870","V899","V903","V912","V922","V1078","V1084","V1033",],
98:["V854","V858","V869","V896","V900","V911","V922","V1078","V1084","V1032",],
99:["V855","V859","V869","V897","V901","V911","V922","V1078","V1084","V1031",],
100:["V843","V847","V853","V885","V889","V895","V921","V1078","V1084","V1021",],
101:["V844","V847","V853","V886","V889","V895","V921","V1078","V1084","V1020",],
102:["V841","V845","V852","V883","V887","V894","V921","V1078","V1084","V1019",],
103:["V842","V846","V852","V884","V888","V894","V921","V1078","V1084","V1018",],
104:["V839","V843","V851","V881","V885","V893","V921","V1078","V1084","V1017",],
105:["V840","V844","V851","V882","V886","V893","V921","V1078","V1084","V1016",],
106:["V837","V841","V850","V879","V883","V892","V921","V1078","V1084","V1015",],
107:["V838","V842","V850","V880","V884","V892","V921","V1078","V1084","V1014",],
108:["V835","V839","V849","V877","V881","V891","V921","V1078","V1084","V1013",],
109:["V836","V840","V849","V878","V882","V891","V921","V1078","V1084","V1012",],
110:["V833","V837","V848","V875","V879","V890","V921","V1078","V1084","V1011",],
111:["V834","V838","V848","V876","V880","V890","V921","V1078","V1084","V1010",],
112:["V63","V65","V105","V107","V151","V217","V219","V259","V261","V305","V85",],
113:["V64","V66","V106","V108","V151","V218","V220","V260","V262","V305","V84",],
114:["V22","V24","V64","V66","V149","V176","V178","V218","V220","V303","V42",],
115:["V1","V3","V43","V45","V148","V155","V157","V197","V199","V302","V21",],
116:["V115","V119","V125","V147","V153","V269","V273","V279","V301","V307","V139",],
117:["V116","V119","V125","V147","V153","V270","V273","V279","V301","V307","V138",],
118:["V113","V117","V124","V147","V153","V267","V271","V278","V301","V307","V137",],
119:["V114","V118","V124","V147","V153","V268","V272","V278","V301","V307","V136",],
120:["V111","V115","V123","V147","V153","V265","V269","V277","V301","V307","V135",],
121:["V112","V116","V123","V147","V153","V266","V270","V277","V301","V307","V134",],
122:["V109","V113","V122","V147","V153","V263","V267","V276","V301","V307","V133",],
123:["V110","V114","V122","V147","V153","V264","V268","V276","V301","V307","V132",],
124:["V107","V111","V121","V147","V153","V261","V265","V275","V301","V307","V131",],
125:["V108","V112","V121","V147","V153","V262","V266","V275","V301","V307","V130",],
126:["V105","V109","V120","V147","V153","V259","V263","V274","V301","V307","V129",],
127:["V106","V110","V120","V147","V153","V260","V264","V274","V301","V307","V128",],
128:["V577","V581","V587","V609","V615","V885","V889","V895","V917","V923","V1082","V755",],
129:["V578","V581","V587","V609","V615","V886","V889","V895","V917","V923","V1082","V754",],
130:["V575","V579","V586","V609","V615","V883","V887","V894","V917","V923","V1082","V753",],
131:["V576","V580","V586","V609","V615","V884","V888","V894","V917","V923","V1082","V752",],
132:["V573","V577","V585","V609","V615","V881","V885","V893","V917","V923","V1082","V751",],
133:["V574","V578","V585","V609","V615","V882","V886","V893","V917","V923","V1082","V750",],
134:["V571","V575","V584","V609","V615","V879","V883","V892","V917","V923","V1082","V749",],
135:["V572","V576","V584","V609","V615","V880","V884","V892","V917","V923","V1082","V748",],
136:["V569","V573","V583","V609","V615","V877","V881","V891","V917","V923","V1082","V747",],
137:["V570","V574","V583","V609","V615","V878","V882","V891","V917","V923","V1082","V746",],
138:["V567","V571","V582","V609","V615","V875","V879","V890","V917","V923","V1082","V745",],
139:["V568","V572","V582","V609","V615","V876","V880","V890","V917","V923","V1082","V744",],
140:["V525","V527","V567","V569","V613","V833","V835","V875","V877","V921","V1082","V701",],
141:["V526","V528","V568","V570","V613","V834","V836","V876","V878","V921","V1082","V700",],
142:["V484","V486","V526","V528","V611","V792","V794","V834","V836","V919","V1082","V658",],
143:["V463","V465","V505","V507","V610","V771","V773","V813","V815","V918","V1082","V637",],
144:["V423","V427","V433","V455","V461","V731","V735","V741","V763","V769","V1081","V601",],
145:["V424","V427","V433","V455","V461","V732","V735","V741","V763","V769","V1081","V600",],
146:["V421","V425","V432","V455","V461","V729","V733","V740","V763","V769","V1081","V599",],
147:["V422","V426","V432","V455","V461","V730","V734","V740","V763","V769","V1081","V598",],
148:["V419","V423","V431","V455","V461","V727","V731","V739","V763","V769","V1081","V597",],
149:["V420","V424","V431","V455","V461","V728","V732","V739","V763","V769","V1081","V596",],
150:["V417","V421","V430","V455","V461","V725","V729","V738","V763","V769","V1081","V595",],
151:["V418","V422","V430","V455","V461","V726","V730","V738","V763","V769","V1081","V594",],
152:["V415","V419","V429","V455","V461","V723","V727","V737","V763","V769","V1081","V593",],
153:["V416","V420","V429","V455","V461","V724","V728","V737","V763","V769","V1081","V592",],
154:["V413","V417","V428","V455","V461","V721","V725","V736","V763","V769","V1081","V591",],
155:["V414","V418","V428","V455","V461","V722","V726","V736","V763","V769","V1081","V590",],
156:["V371","V373","V413","V415","V459","V679","V681","V721","V723","V767","V1081","V547",],
157:["V372","V374","V414","V416","V459","V680","V682","V722","V724","V767","V1081","V546",],
158:["V330","V332","V372","V374","V457","V638","V640","V680","V682","V765","V1081","V504",],
159:["V309","V311","V351","V353","V456","V617","V619","V659","V661","V764","V1081","V483",],
160:["V269","V273","V279","V301","V307","V577","V581","V587","V609","V615","V1080","V447",],
161:["V270","V273","V279","V301","V307","V578","V581","V587","V609","V615","V1080","V446",],
162:["V267","V271","V278","V301","V307","V575","V579","V586","V609","V615","V1080","V445",],
163:["V268","V272","V278","V301","V307","V576","V580","V586","V609","V615","V1080","V444",],
164:["V265","V269","V277","V301","V307","V573","V577","V585","V609","V615","V1080","V443",],
165:["V266","V270","V277","V301","V307","V574","V578","V585","V609","V615","V1080","V442",],
166:["V263","V267","V276","V301","V307","V571","V575","V584","V609","V615","V1080","V441",],
167:["V264","V268","V276","V301","V307","V572","V576","V584","V609","V615","V1080","V440",],
168:["V261","V265","V275","V301","V307","V569","V573","V583","V609","V615","V1080","V439",],
169:["V262","V266","V275","V301","V307","V570","V574","V583","V609","V615","V1080","V438",],
170:["V259","V263","V274","V301","V307","V567","V571","V582","V609","V615","V1080","V437",],
171:["V260","V264","V274","V301","V307","V568","V572","V582","V609","V615","V1080","V436",],
172:["V217","V219","V259","V261","V305","V525","V527","V567","V569","V613","V1080","V393",],
173:["V218","V220","V260","V262","V305","V526","V528","V568","V570","V613","V1080","V392",],
174:["V176","V178","V218","V220","V303","V484","V486","V526","V528","V611","V1080","V350",],
175:["V155","V157","V197","V199","V302","V463","V465","V505","V507","V610","V1080","V329",],
176:["V115","V119","V125","V147","V153","V423","V427","V433","V455","V461","V1079","V293",],
177:["V116","V119","V125","V147","V153","V424","V427","V433","V455","V461","V1079","V292",],
178:["V113","V117","V124","V147","V153","V421","V425","V432","V455","V461","V1079","V291",],
179:["V114","V118","V124","V147","V153","V422","V426","V432","V455","V461","V1079","V290",],
180:["V111","V115","V123","V147","V153","V419","V423","V431","V455","V461","V1079","V289",],
181:["V112","V116","V123","V147","V153","V420","V424","V431","V455","V461","V1079","V288",],
182:["V109","V113","V122","V147","V153","V417","V421","V430","V455","V461","V1079","V287",],
183:["V110","V114","V122","V147","V153","V418","V422","V430","V455","V461","V1079","V286",],
184:["V107","V111","V121","V147","V153","V415","V419","V429","V455","V461","V1079","V285",],
185:["V108","V112","V121","V147","V153","V416","V420","V429","V455","V461","V1079","V284",],
186:["V105","V109","V120","V147","V153","V413","V417","V428","V455","V461","V1079","V283",],
187:["V106","V110","V120","V147","V153","V414","V418","V428","V455","V461","V1079","V282",],
188:["V63","V65","V105","V107","V151","V371","V373","V413","V415","V459","V1079","V239",],
189:["V64","V66","V106","V108","V151","V372","V374","V414","V416","V459","V1079","V238",],
190:["V22","V24","V64","V66","V149","V330","V332","V372","V374","V457","V1079","V196",],
191:["V1","V3","V43","V45","V148","V309","V311","V351","V353","V456","V1079","V175",],
192:["V7","V11","V18","V28","V32","V39","V161","V165","V172","V182","V186","V193","V8",],
193:["V5","V9","V17","V26","V30","V38","V159","V163","V171","V180","V184","V192","V6",],
194:["V3","V7","V16","V24","V28","V37","V157","V161","V170","V178","V182","V191","V4",],
195:["V1","V5","V15","V22","V26","V36","V155","V159","V169","V176","V180","V190","V2",],
196:["V10","V14","V20","V31","V35","V41","V164","V168","V174","V185","V189","V195","V13",],
197:["V11","V14","V20","V32","V35","V41","V165","V168","V174","V186","V189","V195","V12",],
198:["V887","V888","V889","V890","V891","V892","V893","V894","V917","V923","V1078","V1084","V1070",],
199:["V885","V886","V889","V890","V891","V892","V893","V895","V917","V923","V1078","V1084","V1069",],
200:["V883","V884","V889","V890","V891","V892","V894","V895","V917","V923","V1078","V1084","V1068",],
201:["V881","V882","V889","V890","V891","V893","V894","V895","V917","V923","V1078","V1084","V1067",],
202:["V879","V880","V889","V890","V892","V893","V894","V895","V917","V923","V1078","V1084","V1066",],
203:["V877","V878","V889","V891","V892","V893","V894","V895","V917","V923","V1078","V1084","V1065",],
204:["V887","V888","V890","V891","V892","V893","V894","V895","V917","V923","V1078","V1084","V1064",],
205:["V473","V476","V482","V494","V497","V503","V781","V784","V790","V802","V805","V811","V1082","V628",],
206:["V471","V475","V481","V492","V496","V502","V779","V783","V789","V800","V804","V810","V1082","V626",],
207:["V469","V473","V480","V490","V494","V501","V777","V781","V788","V798","V802","V809","V1082","V624",],
208:["V467","V471","V479","V488","V492","V500","V775","V779","V787","V796","V800","V808","V1082","V622",],
209:["V465","V469","V478","V486","V490","V499","V773","V777","V786","V794","V798","V807","V1082","V620",],
210:["V463","V467","V477","V484","V488","V498","V771","V775","V785","V792","V796","V806","V1082","V618",],
211:["V319","V322","V328","V340","V343","V349","V627","V630","V636","V648","V651","V657","V1081","V474",],
212:["V317","V321","V327","V338","V342","V348","V625","V629","V635","V646","V650","V656","V1081","V472",],
213:["V315","V319","V326","V336","V340","V347","V623","V627","V634","V644","V648","V655","V1081","V470",],
214:["V313","V317","V325","V334","V338","V346","V621","V625","V633","V642","V646","V654","V1081","V468",],
215:["V311","V315","V324","V332","V336","V345","V619","V623","V632","V640","V644","V653","V1081","V466",],
216:["V309","V313","V323","V330","V334","V344","V617","V621","V631","V638","V642","V652","V1081","V464",],
217:["V165","V168","V174","V186","V189","V195","V473","V476","V482","V494","V497","V503","V1080","V320",],
218:["V163","V167","V173","V184","V188","V194","V471","V475","V481","V492","V496","V502","V1080","V318",],
219:["V161","V165","V172","V182","V186","V193","V469","V473","V480","V490","V494","V501","V1080","V316",],
220:["V159","V163","V171","V180","V184","V192","V467","V471","V479","V488","V492","V500","V1080","V314",],
221:["V157","V161","V170","V178","V182","V191","V465","V469","V478","V486","V490","V499","V1080","V312",],
222:["V155","V159","V169","V176","V180","V190","V463","V467","V477","V484","V488","V498","V1080","V310",],
223:["V11","V14","V20","V32","V35","V41","V319","V322","V328","V340","V343","V349","V1079","V166",],
224:["V7","V11","V18","V28","V32","V39","V315","V319","V326","V336","V340","V347","V1079","V162",],
225:["V5","V9","V17","V26","V30","V38","V313","V317","V325","V334","V338","V346","V1079","V160",],
226:["V3","V7","V16","V24","V28","V37","V311","V315","V324","V332","V336","V345","V1079","V158",],
227:["V1","V5","V15","V22","V26","V36","V309","V313","V323","V330","V334","V344","V1079","V156",],
228:["V73","V77","V83","V115","V119","V125","V151","V227","V231","V237","V269","V273","V279","V305","V97",],
229:["V74","V77","V83","V116","V119","V125","V151","V228","V231","V237","V270","V273","V279","V305","V96",],
230:["V71","V75","V82","V113","V117","V124","V151","V225","V229","V236","V267","V271","V278","V305","V95",],
231:["V72","V76","V82","V114","V118","V124","V151","V226","V230","V236","V268","V272","V278","V305","V94",],
232:["V69","V73","V81","V111","V115","V123","V151","V223","V227","V235","V265","V269","V277","V305","V93",],
233:["V70","V74","V81","V112","V116","V123","V151","V224","V228","V235","V266","V270","V277","V305","V92",],
234:["V67","V71","V80","V109","V113","V122","V151","V221","V225","V234","V263","V267","V276","V305","V91",],
235:["V68","V72","V80","V110","V114","V122","V151","V222","V226","V234","V264","V268","V276","V305","V90",],
236:["V65","V69","V79","V107","V111","V121","V151","V219","V223","V233","V261","V265","V275","V305","V89",],
237:["V66","V70","V79","V108","V112","V121","V151","V220","V224","V233","V262","V266","V275","V305","V88",],
238:["V63","V67","V78","V105","V109","V120","V151","V217","V221","V232","V259","V263","V274","V305","V87",],
239:["V64","V68","V78","V106","V110","V120","V151","V218","V222","V232","V260","V264","V274","V305","V86",],
240:["V31","V35","V41","V73","V77","V83","V149","V185","V189","V195","V227","V231","V237","V303","V55",],
241:["V32","V35","V41","V74","V77","V83","V149","V186","V189","V195","V228","V231","V237","V303","V54",],
242:["V30","V34","V40","V72","V76","V82","V149","V184","V188","V194","V226","V230","V236","V303","V52",],
243:["V28","V32","V39","V70","V74","V81","V149","V182","V186","V193","V224","V228","V235","V303","V50",],
244:["V26","V30","V38","V68","V72","V80","V149","V180","V184","V192","V222","V226","V234","V303","V48",],
245:["V24","V28","V37","V66","V70","V79","V149","V178","V182","V191","V220","V224","V233","V303","V46",],
246:["V22","V26","V36","V64","V68","V78","V149","V176","V180","V190","V218","V222","V232","V303","V44",],
247:["V11","V14","V20","V53","V56","V62","V148","V165","V168","V174","V207","V210","V216","V302","V33",],
248:["V7","V11","V18","V49","V53","V60","V148","V161","V165","V172","V203","V207","V214","V302","V29",],
249:["V5","V9","V17","V47","V51","V59","V148","V159","V163","V171","V201","V205","V213","V302","V27",],
250:["V3","V7","V16","V45","V49","V58","V148","V157","V161","V170","V199","V203","V212","V302","V25",],
251:["V1","V5","V15","V43","V47","V57","V148","V155","V159","V169","V197","V201","V211","V302","V23",],
252:["V535","V539","V545","V577","V581","V587","V613","V843","V847","V853","V885","V889","V895","V921","V1082","V713",],
253:["V536","V539","V545","V578","V581","V587","V613","V844","V847","V853","V886","V889","V895","V921","V1082","V712",],
254:["V533","V537","V544","V575","V579","V586","V613","V841","V845","V852","V883","V887","V894","V921","V1082","V711",],
255:["V534","V538","V544","V576","V580","V586","V613","V842","V846","V852","V884","V888","V894","V921","V1082","V710",],
256:["V531","V535","V543","V573","V577","V585","V613","V839","V843","V851","V881","V885","V893","V921","V1082","V709",],
257:["V532","V536","V543","V574","V578","V585","V613","V840","V844","V851","V882","V886","V893","V921","V1082","V708",],
258:["V529","V533","V542","V571","V575","V584","V613","V837","V841","V850","V879","V883","V892","V921","V1082","V707",],
259:["V530","V534","V542","V572","V576","V584","V613","V838","V842","V850","V880","V884","V892","V921","V1082","V706",],
260:["V527","V531","V541","V569","V573","V583","V613","V835","V839","V849","V877","V881","V891","V921","V1082","V705",],
261:["V528","V532","V541","V570","V574","V583","V613","V836","V840","V849","V878","V882","V891","V921","V1082","V704",],
262:["V525","V529","V540","V567","V571","V582","V613","V833","V837","V848","V875","V879","V890","V921","V1082","V703",],
263:["V526","V530","V540","V568","V572","V582","V613","V834","V838","V848","V876","V880","V890","V921","V1082","V702",],
264:["V493","V497","V503","V535","V539","V545","V611","V801","V805","V811","V843","V847","V853","V919","V1082","V671",],
265:["V494","V497","V503","V536","V539","V545","V611","V802","V805","V811","V844","V847","V853","V919","V1082","V670",],
266:["V492","V496","V502","V534","V538","V544","V611","V800","V804","V810","V842","V846","V852","V919","V1082","V668",],
267:["V490","V494","V501","V532","V536","V543","V611","V798","V802","V809","V840","V844","V851","V919","V1082","V666",],
268:["V488","V492","V500","V530","V534","V542","V611","V796","V800","V808","V838","V842","V850","V919","V1082","V664",],
269:["V486","V490","V499","V528","V532","V541","V611","V794","V798","V807","V836","V840","V849","V919","V1082","V662",],
270:["V484","V488","V498","V526","V530","V540","V611","V792","V796","V806","V834","V838","V848","V919","V1082","V660",],
271:["V473","V476","V482","V515","V518","V524","V610","V781","V784","V790","V823","V826","V832","V918","V1082","V649",],
272:["V471","V475","V481","V513","V517","V523","V610","V779","V783","V789","V821","V825","V831","V918","V1082","V647",],
273:["V469","V473","V480","V511","V515","V522","V610","V777","V781","V788","V819","V823","V830","V918","V1082","V645",],
274:["V467","V471","V479","V509","V513","V521","V610","V775","V779","V787","V817","V821","V829","V918","V1082","V643",],
275:["V465","V469","V478","V507","V511","V520","V610","V773","V777","V786","V815","V819","V828","V918","V1082","V641",],
276:["V463","V467","V477","V505","V509","V519","V610","V771","V775","V785","V813","V817","V827","V918","V1082","V639",],
277:["V381","V385","V391","V423","V427","V433","V459","V689","V693","V699","V731","V735","V741","V767","V1081","V559",],
278:["V382","V385","V391","V424","V427","V433","V459","V690","V693","V699","V732","V735","V741","V767","V1081","V558",],
279:["V379","V383","V390","V421","V425","V432","V459","V687","V691","V698","V729","V733","V740","V767","V1081","V557",],
280:["V380","V384","V390","V422","V426","V432","V459","V688","V692","V698","V730","V734","V740","V767","V1081","V556",],
281:["V377","V381","V389","V419","V423","V431","V459","V685","V689","V697","V727","V731","V739","V767","V1081","V555",],
282:["V378","V382","V389","V420","V424","V431","V459","V686","V690","V697","V728","V732","V739","V767","V1081","V554",],
283:["V375","V379","V388","V417","V421","V430","V459","V683","V687","V696","V725","V729","V738","V767","V1081","V553",],
284:["V376","V380","V388","V418","V422","V430","V459","V684","V688","V696","V726","V730","V738","V767","V1081","V552",],
285:["V373","V377","V387","V415","V419","V429","V459","V681","V685","V695","V723","V727","V737","V767","V1081","V551",],
286:["V374","V378","V387","V416","V420","V429","V459","V682","V686","V695","V724","V728","V737","V767","V1081","V550",],
287:["V371","V375","V386","V413","V417","V428","V459","V679","V683","V694","V721","V725","V736","V767","V1081","V549",],
288:["V372","V376","V386","V414","V418","V428","V459","V680","V684","V694","V722","V726","V736","V767","V1081","V548",],
289:["V340","V343","V349","V382","V385","V391","V457","V648","V651","V657","V690","V693","V699","V765","V1081","V516",],
290:["V338","V342","V348","V380","V384","V390","V457","V646","V650","V656","V688","V692","V698","V765","V1081","V514",],
291:["V336","V340","V347","V378","V382","V389","V457","V644","V648","V655","V686","V690","V697","V765","V1081","V512",],
292:["V334","V338","V346","V376","V380","V388","V457","V642","V646","V654","V684","V688","V696","V765","V1081","V510",],
293:["V332","V336","V345","V374","V378","V387","V457","V640","V644","V653","V682","V686","V695","V765","V1081","V508",],
294:["V330","V334","V344","V372","V376","V386","V457","V638","V642","V652","V680","V684","V694","V765","V1081","V506",],
295:["V319","V322","V328","V361","V364","V370","V456","V627","V630","V636","V669","V672","V678","V764","V1081","V495",],
296:["V315","V319","V326","V357","V361","V368","V456","V623","V627","V634","V665","V669","V676","V764","V1081","V491",],
297:["V313","V317","V325","V355","V359","V367","V456","V621","V625","V633","V663","V667","V675","V764","V1081","V489",],
298:["V311","V315","V324","V353","V357","V366","V456","V619","V623","V632","V661","V665","V674","V764","V1081","V487",],
299:["V309","V313","V323","V351","V355","V365","V456","V617","V621","V631","V659","V663","V673","V764","V1081","V485",],
300:["V227","V231","V237","V269","V273","V279","V305","V535","V539","V545","V577","V581","V587","V613","V1080","V405",],
301:["V228","V231","V237","V270","V273","V279","V305","V536","V539","V545","V578","V581","V587","V613","V1080","V404",],
302:["V225","V229","V236","V267","V271","V278","V305","V533","V537","V544","V575","V579","V586","V613","V1080","V403",],
303:["V226","V230","V236","V268","V272","V278","V305","V534","V538","V544","V576","V580","V586","V613","V1080","V402",],
304:["V223","V227","V235","V265","V269","V277","V305","V531","V535","V543","V573","V577","V585","V613","V1080","V401",],
305:["V224","V228","V235","V266","V270","V277","V305","V532","V536","V543","V574","V578","V585","V613","V1080","V400",],
306:["V221","V225","V234","V263","V267","V276","V305","V529","V533","V542","V571","V575","V584","V613","V1080","V399",],
307:["V222","V226","V234","V264","V268","V276","V305","V530","V534","V542","V572","V576","V584","V613","V1080","V398",],
308:["V219","V223","V233","V261","V265","V275","V305","V527","V531","V541","V569","V573","V583","V613","V1080","V397",],
309:["V220","V224","V233","V262","V266","V275","V305","V528","V532","V541","V570","V574","V583","V613","V1080","V396",],
310:["V217","V221","V232","V259","V263","V274","V305","V525","V529","V540","V567","V571","V582","V613","V1080","V395",],
311:["V218","V222","V232","V260","V264","V274","V305","V526","V530","V540","V568","V572","V582","V613","V1080","V394",],
312:["V185","V189","V195","V227","V231","V237","V303","V493","V497","V503","V535","V539","V545","V611","V1080","V363",],
313:["V186","V189","V195","V228","V231","V237","V303","V494","V497","V503","V536","V539","V545","V611","V1080","V362",],
314:["V184","V188","V194","V226","V230","V236","V303","V492","V496","V502","V534","V538","V544","V611","V1080","V360",],
315:["V182","V186","V193","V224","V228","V235","V303","V490","V494","V501","V532","V536","V543","V611","V1080","V358",],
316:["V180","V184","V192","V222","V226","V234","V303","V488","V492","V500","V530","V534","V542","V611","V1080","V356",],
317:["V178","V182","V191","V220","V224","V233","V303","V486","V490","V499","V528","V532","V541","V611","V1080","V354",],
318:["V176","V180","V190","V218","V222","V232","V303","V484","V488","V498","V526","V530","V540","V611","V1080","V352",],
319:["V165","V168","V174","V207","V210","V216","V302","V473","V476","V482","V515","V518","V524","V610","V1080","V341",],
320:["V163","V167","V173","V205","V209","V215","V302","V471","V475","V481","V513","V517","V523","V610","V1080","V339",],
321:["V161","V165","V172","V203","V207","V214","V302","V469","V473","V480","V511","V515","V522","V610","V1080","V337",],
322:["V159","V163","V171","V201","V205","V213","V302","V467","V471","V479","V509","V513","V521","V610","V1080","V335",],
323:["V157","V161","V170","V199","V203","V212","V302","V465","V469","V478","V507","V511","V520","V610","V1080","V333",],
324:["V155","V159","V169","V197","V201","V211","V302","V463","V467","V477","V505","V509","V519","V610","V1080","V331",],
325:["V73","V77","V83","V115","V119","V125","V151","V381","V385","V391","V423","V427","V433","V459","V1079","V251",],
326:["V74","V77","V83","V116","V119","V125","V151","V382","V385","V391","V424","V427","V433","V459","V1079","V250",],
327:["V71","V75","V82","V113","V117","V124","V151","V379","V383","V390","V421","V425","V432","V459","V1079","V249",],
328:["V72","V76","V82","V114","V118","V124","V151","V380","V384","V390","V422","V426","V432","V459","V1079","V248",],
329:["V69","V73","V81","V111","V115","V123","V151","V377","V381","V389","V419","V423","V431","V459","V1079","V247",],
330:["V70","V74","V81","V112","V116","V123","V151","V378","V382","V389","V420","V424","V431","V459","V1079","V246",],
331:["V67","V71","V80","V109","V113","V122","V151","V375","V379","V388","V417","V421","V430","V459","V1079","V245",],
332:["V68","V72","V80","V110","V114","V122","V151","V376","V380","V388","V418","V422","V430","V459","V1079","V244",],
333:["V65","V69","V79","V107","V111","V121","V151","V373","V377","V387","V415","V419","V429","V459","V1079","V243",],
334:["V66","V70","V79","V108","V112","V121","V151","V374","V378","V387","V416","V420","V429","V459","V1079","V242",],
335:["V63","V67","V78","V105","V109","V120","V151","V371","V375","V386","V413","V417","V428","V459","V1079","V241",],
336:["V64","V68","V78","V106","V110","V120","V151","V372","V376","V386","V414","V418","V428","V459","V1079","V240",],
337:["V32","V35","V41","V74","V77","V83","V149","V340","V343","V349","V382","V385","V391","V457","V1079","V208",],
338:["V30","V34","V40","V72","V76","V82","V149","V338","V342","V348","V380","V384","V390","V457","V1079","V206",],
339:["V28","V32","V39","V70","V74","V81","V149","V336","V340","V347","V378","V382","V389","V457","V1079","V204",],
340:["V26","V30","V38","V68","V72","V80","V149","V334","V338","V346","V376","V380","V388","V457","V1079","V202",],
341:["V24","V28","V37","V66","V70","V79","V149","V332","V336","V345","V374","V378","V387","V457","V1079","V200",],
342:["V22","V26","V36","V64","V68","V78","V149","V330","V334","V344","V372","V376","V386","V457","V1079","V198",],
343:["V11","V14","V20","V53","V56","V62","V148","V319","V322","V328","V361","V364","V370","V456","V1079","V187",],
344:["V7","V11","V18","V49","V53","V60","V148","V315","V319","V326","V357","V361","V368","V456","V1079","V183",],
345:["V5","V9","V17","V47","V51","V59","V148","V313","V317","V325","V355","V359","V367","V456","V1079","V181",],
346:["V3","V7","V16","V45","V49","V58","V148","V311","V315","V324","V353","V357","V366","V456","V1079","V179",],
347:["V1","V5","V15","V43","V47","V57","V148","V309","V313","V323","V351","V355","V365","V456","V1079","V177",],
348:["V721","V723","V763","V769","V1071","V1077","V1078","V1083","V1084","V855","V857","V859","V869","V899","V901","V911","V922","V897",],
349:["V722","V724","V763","V769","V1071","V1077","V1078","V1083","V1084","V854","V856","V858","V869","V898","V900","V911","V922","V896",],
350:["V782","V783","V784","V785","V786","V787","V788","V789","V803","V804","V805","V806","V807","V808","V809","V810","V1078","V1084","V944",],
351:["V780","V781","V784","V785","V786","V787","V788","V790","V801","V802","V805","V806","V807","V808","V809","V811","V1078","V1084","V943",],
352:["V778","V779","V784","V785","V786","V787","V789","V790","V799","V800","V805","V806","V807","V808","V810","V811","V1078","V1084","V942",],
353:["V776","V777","V784","V785","V786","V788","V789","V790","V797","V798","V805","V806","V807","V809","V810","V811","V1078","V1084","V941",],
354:["V774","V775","V784","V785","V787","V788","V789","V790","V795","V796","V805","V806","V808","V809","V810","V811","V1078","V1084","V940",],
355:["V772","V773","V784","V786","V787","V788","V789","V790","V793","V794","V805","V807","V808","V809","V810","V811","V1078","V1084","V939",],
356:["V782","V783","V785","V786","V787","V788","V789","V790","V803","V804","V806","V807","V808","V809","V810","V811","V1078","V1084","V938",],
357:["V731","V735","V741","V763","V769","V1043","V1049","V1071","V1077","V1078","V1083","V1084","V863","V867","V873","V905","V915","V922","V909",],
358:["V732","V735","V741","V763","V769","V1043","V1049","V1071","V1077","V1078","V1083","V1084","V862","V866","V873","V904","V915","V922","V908",],
359:["V803","V804","V805","V806","V807","V808","V809","V810","V845","V846","V847","V848","V849","V850","V851","V852","V919","V1078","V1084","V986",],
360:["V801","V802","V805","V806","V807","V808","V809","V811","V843","V844","V847","V848","V849","V850","V851","V853","V919","V1078","V1084","V985",],
361:["V799","V800","V805","V806","V807","V808","V810","V811","V841","V842","V847","V848","V849","V850","V852","V853","V919","V1078","V1084","V984",],
362:["V797","V798","V805","V806","V807","V809","V810","V811","V839","V840","V847","V848","V849","V851","V852","V853","V919","V1078","V1084","V983",],
363:["V795","V796","V805","V806","V808","V809","V810","V811","V837","V838","V847","V848","V850","V851","V852","V853","V919","V1078","V1084","V982",],
364:["V793","V794","V805","V807","V808","V809","V810","V811","V835","V836","V847","V849","V850","V851","V852","V853","V919","V1078","V1084","V981",],
365:["V803","V804","V806","V807","V808","V809","V810","V811","V845","V846","V848","V849","V850","V851","V852","V853","V919","V1078","V1084","V980",],
366:["V782","V783","V784","V785","V786","V787","V788","V789","V824","V825","V826","V827","V828","V829","V830","V831","V918","V1078","V1084","V965",],
367:["V780","V781","V784","V785","V786","V787","V788","V790","V822","V823","V826","V827","V828","V829","V830","V832","V918","V1078","V1084","V964",],
368:["V778","V779","V784","V785","V786","V787","V789","V790","V820","V821","V826","V827","V828","V829","V831","V832","V918","V1078","V1084","V963",],
369:["V776","V777","V784","V785","V786","V788","V789","V790","V818","V819","V826","V827","V828","V830","V831","V832","V918","V1078","V1084","V962",],
370:["V774","V775","V784","V785","V787","V788","V789","V790","V816","V817","V826","V827","V829","V830","V831","V832","V918","V1078","V1084","V961",],
371:["V772","V773","V784","V786","V787","V788","V789","V790","V814","V815","V826","V828","V829","V830","V831","V832","V918","V1078","V1084","V960",],
372:["V782","V783","V785","V786","V787","V788","V789","V790","V824","V825","V827","V828","V829","V830","V831","V832","V918","V1078","V1084","V959",],
373:["V617","V619","V638","V640","V918","V1078","V1083","V1084","V772","V774","V785","V791","V793","V795","V806","V812","V814","V816","V827","V770",],
374:["V864","V865","V868","V869","V870","V871","V872","V874","V906","V907","V910","V911","V912","V913","V914","V916","V922","V1078","V1084","V1048",],
375:["V860","V861","V868","V869","V870","V872","V873","V874","V902","V903","V910","V911","V912","V914","V915","V916","V922","V1078","V1084","V1046",],
376:["V858","V859","V868","V869","V871","V872","V873","V874","V900","V901","V910","V911","V913","V914","V915","V916","V922","V1078","V1084","V1045",],
377:["V856","V857","V868","V870","V871","V872","V873","V874","V898","V899","V910","V912","V913","V914","V915","V916","V922","V1078","V1084","V1044",],
378:["V845","V846","V847","V848","V849","V850","V851","V852","V887","V888","V889","V890","V891","V892","V893","V894","V921","V1078","V1084","V1028",],
379:["V843","V844","V847","V848","V849","V850","V851","V853","V885","V886","V889","V890","V891","V892","V893","V895","V921","V1078","V1084","V1027",],
380:["V841","V842","V847","V848","V849","V850","V852","V853","V883","V884","V889","V890","V891","V892","V894","V895","V921","V1078","V1084","V1026",],
381:["V839","V840","V847","V848","V849","V851","V852","V853","V881","V882","V889","V890","V891","V893","V894","V895","V921","V1078","V1084","V1025",],
382:["V837","V838","V847","V848","V850","V851","V852","V853","V879","V880","V889","V890","V892","V893","V894","V895","V921","V1078","V1084","V1024",],
383:["V835","V836","V847","V849","V850","V851","V852","V853","V877","V878","V889","V891","V892","V893","V894","V895","V921","V1078","V1084","V1023",],
384:["V845","V846","V848","V849","V850","V851","V852","V853","V887","V888","V890","V891","V892","V893","V894","V895","V921","V1078","V1084","V1022",],
385:["V824","V825","V826","V827","V828","V829","V830","V831","V866","V867","V868","V869","V870","V871","V872","V873","V920","V1078","V1084","V1007",],
386:["V820","V821","V826","V827","V828","V829","V831","V832","V862","V863","V868","V869","V870","V871","V873","V874","V920","V1078","V1084","V1005",],
387:["V818","V819","V826","V827","V828","V830","V831","V832","V860","V861","V868","V869","V870","V872","V873","V874","V920","V1078","V1084","V1004",],
388:["V816","V817","V826","V827","V829","V830","V831","V832","V858","V859","V868","V869","V871","V872","V873","V874","V920","V1078","V1084","V1003",],
389:["V814","V815","V826","V828","V829","V830","V831","V832","V856","V857","V868","V870","V871","V872","V873","V874","V920","V1078","V1084","V1002",],
390:["V824","V825","V827","V828","V829","V830","V831","V832","V866","V867","V869","V870","V871","V872","V873","V874","V920","V1078","V1084","V1001",],
391:["V117","V118","V119","V120","V121","V122","V123","V124","V147","V153","V271","V272","V273","V274","V275","V276","V277","V278","V301","V307","V146",],
392:["V115","V116","V119","V120","V121","V122","V123","V125","V147","V153","V269","V270","V273","V274","V275","V276","V277","V279","V301","V307","V145",],
393:["V113","V114","V119","V120","V121","V122","V124","V125","V147","V153","V267","V268","V273","V274","V275","V276","V278","V279","V301","V307","V144",],
394:["V111","V112","V119","V120","V121","V123","V124","V125","V147","V153","V265","V266","V273","V274","V275","V277","V278","V279","V301","V307","V143",],
395:["V109","V110","V119","V120","V122","V123","V124","V125","V147","V153","V263","V264","V273","V274","V276","V277","V278","V279","V301","V307","V142",],
396:["V107","V108","V119","V121","V122","V123","V124","V125","V147","V153","V261","V262","V273","V275","V276","V277","V278","V279","V301","V307","V141",],
397:["V117","V118","V120","V121","V122","V123","V124","V125","V147","V153","V271","V272","V274","V275","V276","V277","V278","V279","V301","V307","V140",],
398:["V579","V580","V581","V582","V583","V584","V585","V586","V609","V615","V887","V888","V889","V890","V891","V892","V893","V894","V917","V923","V1082","V762",],
399:["V577","V578","V581","V582","V583","V584","V585","V587","V609","V615","V885","V886","V889","V890","V891","V892","V893","V895","V917","V923","V1082","V761",],
400:["V575","V576","V581","V582","V583","V584","V586","V587","V609","V615","V883","V884","V889","V890","V891","V892","V894","V895","V917","V923","V1082","V760",],
401:["V573","V574","V581","V582","V583","V585","V586","V587","V609","V615","V881","V882","V889","V890","V891","V893","V894","V895","V917","V923","V1082","V759",],
402:["V571","V572","V581","V582","V584","V585","V586","V587","V609","V615","V879","V880","V889","V890","V892","V893","V894","V895","V917","V923","V1082","V758",],
403:["V569","V570","V581","V583","V584","V585","V586","V587","V609","V615","V877","V878","V889","V891","V892","V893","V894","V895","V917","V923","V1082","V757",],
404:["V579","V580","V582","V583","V584","V585","V586","V587","V609","V615","V887","V888","V890","V891","V892","V893","V894","V895","V917","V923","V1082","V756",],
405:["V425","V426","V427","V428","V429","V430","V431","V432","V455","V461","V733","V734","V735","V736","V737","V738","V739","V740","V763","V769","V1081","V608",],
406:["V423","V424","V427","V428","V429","V430","V431","V433","V455","V461","V731","V732","V735","V736","V737","V738","V739","V741","V763","V769","V1081","V607",],
407:["V421","V422","V427","V428","V429","V430","V432","V433","V455","V461","V729","V730","V735","V736","V737","V738","V740","V741","V763","V769","V1081","V606",],
408:["V419","V420","V427","V428","V429","V431","V432","V433","V455","V461","V727","V728","V735","V736","V737","V739","V740","V741","V763","V769","V1081","V605",],
409:["V417","V418","V427","V428","V430","V431","V432","V433","V455","V461","V725","V726","V735","V736","V738","V739","V740","V741","V763","V769","V1081","V604",],
410:["V415","V416","V427","V429","V430","V431","V432","V433","V455","V461","V723","V724","V735","V737","V738","V739","V740","V741","V763","V769","V1081","V603",],
411:["V425","V426","V428","V429","V430","V431","V432","V433","V455","V461","V733","V734","V736","V737","V738","V739","V740","V741","V763","V769","V1081","V602",],
412:["V271","V272","V273","V274","V275","V276","V277","V278","V301","V307","V579","V580","V581","V582","V583","V584","V585","V586","V609","V615","V1080","V454",],
413:["V269","V270","V273","V274","V275","V276","V277","V279","V301","V307","V577","V578","V581","V582","V583","V584","V585","V587","V609","V615","V1080","V453",],
414:["V267","V268","V273","V274","V275","V276","V278","V279","V301","V307","V575","V576","V581","V582","V583","V584","V586","V587","V609","V615","V1080","V452",],
415:["V265","V266","V273","V274","V275","V277","V278","V279","V301","V307","V573","V574","V581","V582","V583","V585","V586","V587","V609","V615","V1080","V451",],
416:["V263","V264","V273","V274","V276","V277","V278","V279","V301","V307","V571","V572","V581","V582","V584","V585","V586","V587","V609","V615","V1080","V450",],
417:["V261","V262","V273","V275","V276","V277","V278","V279","V301","V307","V569","V570","V581","V583","V584","V585","V586","V587","V609","V615","V1080","V449",],
418:["V271","V272","V274","V275","V276","V277","V278","V279","V301","V307","V579","V580","V582","V583","V584","V585","V586","V587","V609","V615","V1080","V448",],
419:["V117","V118","V119","V120","V121","V122","V123","V124","V147","V153","V425","V426","V427","V428","V429","V430","V431","V432","V455","V461","V1079","V300",],
420:["V115","V116","V119","V120","V121","V122","V123","V125","V147","V153","V423","V424","V427","V428","V429","V430","V431","V433","V455","V461","V1079","V299",],
421:["V113","V114","V119","V120","V121","V122","V124","V125","V147","V153","V421","V422","V427","V428","V429","V430","V432","V433","V455","V461","V1079","V298",],
422:["V111","V112","V119","V120","V121","V123","V124","V125","V147","V153","V419","V420","V427","V428","V429","V431","V432","V433","V455","V461","V1079","V297",],
423:["V109","V110","V119","V120","V122","V123","V124","V125","V147","V153","V417","V418","V427","V428","V430","V431","V432","V433","V455","V461","V1079","V296",],
424:["V107","V108","V119","V121","V122","V123","V124","V125","V147","V153","V415","V416","V427","V429","V430","V431","V432","V433","V455","V461","V1079","V295",],
425:["V117","V118","V120","V121","V122","V123","V124","V125","V147","V153","V425","V426","V428","V429","V430","V431","V432","V433","V455","V461","V1079","V294",],
426:["V9","V14","V19","V20","V30","V31","V34","V35","V40","V41","V163","V164","V167","V168","V173","V174","V184","V185","V188","V189","V194","V195","V10",],
427:["V727","V731","V735","V739","V741","V763","V769","V1043","V1047","V1049","V1071","V1077","V1078","V1083","V1084","V859","V863","V867","V871","V873","V901","V913","V915","V922","V905",],
428:["V728","V732","V735","V739","V741","V763","V769","V1043","V1047","V1049","V1071","V1077","V1078","V1083","V1084","V858","V862","V866","V871","V873","V900","V913","V915","V922","V904",],
429:["V476","V482","V493","V497","V503","V780","V784","V790","V801","V805","V811","V1081","V1082","V317","V321","V327","V338","V342","V348","V625","V635","V646","V650","V656","V629",],
430:["V679","V681","V721","V723","V763","V767","V1071","V1075","V1077","V1078","V1083","V1084","V769","V813","V815","V817","V827","V857","V859","V869","V899","V901","V911","V920","V922","V855",],
431:["V680","V682","V722","V724","V763","V767","V1071","V1075","V1077","V1078","V1083","V1084","V769","V812","V814","V816","V827","V856","V858","V869","V898","V900","V911","V920","V922","V854",],
432:["V768","V1076","V1078","V1082","V1083","V1084","V834","V836","V838","V848","V878","V880","V890","V917","V921","V923","V526","V528","V530","V540","V568","V570","V572","V582","V609","V613","V615","V876",],
433:["V768","V1076","V1078","V1082","V1083","V1084","V833","V835","V837","V848","V877","V879","V890","V917","V921","V923","V525","V527","V529","V540","V567","V569","V571","V582","V609","V613","V615","V875",],
434:["V617","V619","V638","V640","V659","V661","V764","V918","V919","V1072","V1078","V1083","V1084","V772","V774","V785","V793","V795","V806","V812","V814","V816","V827","V833","V835","V837","V848","V791",],
435:["V730","V734","V740","V763","V769","V1071","V1077","V1078","V1083","V1084","V860","V864","V865","V868","V869","V870","V871","V872","V874","V902","V907","V910","V911","V912","V913","V914","V916","V922","V906",],
436:["V515","V518","V524","V560","V566","V612","V823","V826","V832","V865","V868","V874","V920","V1081","V1082","V379","V383","V390","V421","V425","V432","V459","V687","V698","V729","V733","V740","V767","V691",],
437:["V456","V493","V501","V531","V535","V543","V611","V621","V625","V633","V797","V801","V809","V839","V843","V851","V919","V1081","V1082","V313","V317","V325","V355","V359","V367","V663","V675","V764","V667",],
438:["V31","V35","V41","V73","V77","V83","V149","V163","V167","V173","V343","V349","V381","V385","V391","V457","V471","V475","V481","V1079","V1080","V205","V215","V302","V513","V517","V523","V610","V209",],
439:["V9","V14","V19","V20","V30","V31","V34","V35","V40","V41","V317","V321","V327","V338","V342","V348","V1079","V163","V167","V168","V173","V174","V184","V185","V188","V189","V194","V195","V164",],
440:["V610","V918","V1078","V1082","V1083","V1084","V773","V775","V785","V792","V794","V796","V806","V813","V815","V817","V827","V463","V465","V467","V477","V484","V486","V488","V498","V505","V507","V509","V519","V771",],
441:["V833","V834","V835","V836","V837","V838","V839","V840","V841","V842","V843","V844","V845","V846","V847","V848","V849","V850","V851","V852","V853","V917","V918","V919","V921","V922","V923","V1078","V1084","V1074",],
442:["V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V832","V917","V918","V920","V921","V922","V923","V1078","V1084","V1073",],
443:["V729","V730","V733","V734","V740","V763","V769","V1071","V1077","V1078","V1083","V1084","V860","V861","V864","V865","V868","V869","V870","V871","V872","V874","V902","V903","V910","V911","V912","V913","V914","V916","V922","V907",],
444:["V5","V9","V17","V31","V39","V47","V59","V69","V73","V81","V148","V149","V159","V163","V171","V185","V193","V201","V205","V213","V223","V227","V235","V302","V303","V313","V317","V325","V355","V359","V367","V456","V1079","V51",],
445:["V1","V3","V5","V15","V45","V47","V57","V63","V65","V148","V149","V155","V157","V159","V169","V197","V199","V201","V211","V217","V219","V302","V303","V309","V311","V313","V323","V351","V353","V355","V365","V456","V1079","V43",],
446:["V65","V66","V77","V79","V80","V81","V82","V83","V107","V108","V119","V121","V122","V123","V124","V125","V151","V219","V220","V231","V233","V234","V235","V236","V237","V261","V262","V273","V275","V276","V277","V278","V279","V305","V99",],
447:["V75","V76","V78","V79","V80","V81","V82","V83","V117","V118","V120","V121","V122","V123","V124","V125","V151","V229","V230","V232","V233","V234","V235","V236","V237","V271","V272","V274","V275","V276","V277","V278","V279","V305","V98",],
448:["V31","V32","V35","V36","V37","V38","V39","V41","V73","V74","V77","V78","V79","V80","V81","V83","V149","V185","V186","V189","V190","V191","V192","V193","V195","V227","V228","V231","V232","V233","V234","V235","V237","V303","V61",],
449:["V75","V76","V77","V78","V79","V80","V81","V82","V117","V118","V119","V120","V121","V122","V123","V124","V151","V229","V230","V231","V232","V233","V234","V235","V236","V271","V272","V273","V274","V275","V276","V277","V278","V305","V104",],
450:["V73","V74","V77","V78","V79","V80","V81","V83","V115","V116","V119","V120","V121","V122","V123","V125","V151","V227","V228","V231","V232","V233","V234","V235","V237","V269","V270","V273","V274","V275","V276","V277","V279","V305","V103",],
451:["V71","V72","V77","V78","V79","V80","V82","V83","V113","V114","V119","V120","V121","V122","V124","V125","V151","V225","V226","V231","V232","V233","V234","V236","V237","V267","V268","V273","V274","V275","V276","V278","V279","V305","V102",],
452:["V69","V70","V77","V78","V79","V81","V82","V83","V111","V112","V119","V120","V121","V123","V124","V125","V151","V223","V224","V231","V232","V233","V235","V236","V237","V265","V266","V273","V274","V275","V277","V278","V279","V305","V101",],
453:["V67","V68","V77","V78","V80","V81","V82","V83","V109","V110","V119","V120","V122","V123","V124","V125","V151","V221","V222","V231","V232","V234","V235","V236","V237","V263","V264","V273","V274","V276","V277","V278","V279","V305","V100",],
454:["V537","V538","V539","V540","V541","V542","V543","V544","V579","V580","V581","V582","V583","V584","V585","V586","V613","V845","V846","V847","V848","V849","V850","V851","V852","V887","V888","V889","V890","V891","V892","V893","V894","V921","V1082","V720",],
455:["V535","V536","V539","V540","V541","V542","V543","V545","V577","V578","V581","V582","V583","V584","V585","V587","V613","V843","V844","V847","V848","V849","V850","V851","V853","V885","V886","V889","V890","V891","V892","V893","V895","V921","V1082","V719",],
456:["V533","V534","V539","V540","V541","V542","V544","V545","V575","V576","V581","V582","V583","V584","V586","V587","V613","V841","V842","V847","V848","V849","V850","V852","V853","V883","V884","V889","V890","V891","V892","V894","V895","V921","V1082","V718",],
457:["V531","V532","V539","V540","V541","V543","V544","V545","V573","V574","V581","V582","V583","V585","V586","V587","V613","V839","V840","V847","V848","V849","V851","V852","V853","V881","V882","V889","V890","V891","V893","V894","V895","V921","V1082","V717",],
458:["V529","V530","V539","V540","V542","V543","V544","V545","V571","V572","V581","V582","V584","V585","V586","V587","V613","V837","V838","V847","V848","V850","V851","V852","V853","V879","V880","V889","V890","V892","V893","V894","V895","V921","V1082","V716",],
459:["V527","V528","V539","V541","V542","V543","V544","V545","V569","V570","V581","V583","V584","V585","V586","V587","V613","V835","V836","V847","V849","V850","V851","V852","V853","V877","V878","V889","V891","V892","V893","V894","V895","V921","V1082","V715",],
460:["V537","V538","V540","V541","V542","V543","V544","V545","V579","V580","V582","V583","V584","V585","V586","V587","V613","V845","V846","V848","V849","V850","V851","V852","V853","V887","V888","V890","V891","V892","V893","V894","V895","V921","V1082","V714",],
461:["V518","V524","V560","V566","V612","V822","V826","V832","V864","V868","V874","V920","V1081","V1082","V338","V342","V348","V380","V384","V390","V422","V426","V432","V457","V459","V646","V650","V656","V688","V698","V730","V734","V740","V765","V767","V692",],
462:["V493","V494","V497","V498","V499","V500","V501","V503","V535","V536","V539","V540","V541","V542","V543","V545","V611","V801","V802","V805","V806","V807","V808","V809","V811","V843","V844","V847","V848","V849","V850","V851","V853","V919","V1082","V677",],
463:["V456","V502","V533","V537","V544","V611","V623","V627","V630","V634","V636","V799","V803","V810","V841","V845","V852","V919","V1081","V1082","V315","V319","V322","V326","V328","V357","V361","V364","V368","V370","V665","V672","V676","V678","V764","V669",],
464:["V381","V382","V385","V386","V387","V388","V389","V391","V423","V424","V427","V428","V429","V430","V431","V433","V459","V689","V690","V693","V694","V695","V696","V697","V699","V731","V732","V735","V736","V737","V738","V739","V741","V767","V1081","V565",],
465:["V379","V380","V385","V386","V387","V388","V390","V391","V421","V422","V427","V428","V429","V430","V432","V433","V459","V687","V688","V693","V694","V695","V696","V698","V699","V729","V730","V735","V736","V737","V738","V740","V741","V767","V1081","V564",],
466:["V377","V378","V385","V386","V387","V389","V390","V391","V419","V420","V427","V428","V429","V431","V432","V433","V459","V685","V686","V693","V694","V695","V697","V698","V699","V727","V728","V735","V736","V737","V739","V740","V741","V767","V1081","V563",],
467:["V375","V376","V385","V386","V388","V389","V390","V391","V417","V418","V427","V428","V430","V431","V432","V433","V459","V683","V684","V693","V694","V696","V697","V698","V699","V725","V726","V735","V736","V738","V739","V740","V741","V767","V1081","V562",],
468:["V373","V374","V385","V387","V388","V389","V390","V391","V415","V416","V427","V429","V430","V431","V432","V433","V459","V681","V682","V693","V695","V696","V697","V698","V699","V723","V724","V735","V737","V738","V739","V740","V741","V767","V1081","V561",],
469:["V229","V230","V231","V232","V233","V234","V235","V236","V271","V272","V273","V274","V275","V276","V277","V278","V305","V537","V538","V539","V540","V541","V542","V543","V544","V579","V580","V581","V582","V583","V584","V585","V586","V613","V1080","V412",],
470:["V227","V228","V231","V232","V233","V234","V235","V237","V269","V270","V273","V274","V275","V276","V277","V279","V305","V535","V536","V539","V540","V541","V542","V543","V545","V577","V578","V581","V582","V583","V584","V585","V587","V613","V1080","V411",],
471:["V225","V226","V231","V232","V233","V234","V236","V237","V267","V268","V273","V274","V275","V276","V278","V279","V305","V533","V534","V539","V540","V541","V542","V544","V545","V575","V576","V581","V582","V583","V584","V586","V587","V613","V1080","V410",],
472:["V223","V224","V231","V232","V233","V235","V236","V237","V265","V266","V273","V274","V275","V277","V278","V279","V305","V531","V532","V539","V540","V541","V543","V544","V545","V573","V574","V581","V582","V583","V585","V586","V587","V613","V1080","V409",],
473:["V221","V222","V231","V232","V234","V235","V236","V237","V263","V264","V273","V274","V276","V277","V278","V279","V305","V529","V530","V539","V540","V542","V543","V544","V545","V571","V572","V581","V582","V584","V585","V586","V587","V613","V1080","V408",],
474:["V219","V220","V231","V233","V234","V235","V236","V237","V261","V262","V273","V275","V276","V277","V278","V279","V305","V527","V528","V539","V541","V542","V543","V544","V545","V569","V570","V581","V583","V584","V585","V586","V587","V613","V1080","V407",],
475:["V229","V230","V232","V233","V234","V235","V236","V237","V271","V272","V274","V275","V276","V277","V278","V279","V305","V537","V538","V540","V541","V542","V543","V544","V545","V579","V580","V582","V583","V584","V585","V586","V587","V613","V1080","V406",],
476:["V185","V186","V189","V190","V191","V192","V193","V195","V227","V228","V231","V232","V233","V234","V235","V237","V303","V493","V494","V497","V498","V499","V500","V501","V503","V535","V536","V539","V540","V541","V542","V543","V545","V611","V1080","V369",],
477:["V75","V76","V77","V78","V79","V80","V81","V82","V117","V118","V119","V120","V121","V122","V123","V124","V151","V383","V384","V385","V386","V387","V388","V389","V390","V425","V426","V427","V428","V429","V430","V431","V432","V459","V1079","V258",],
478:["V73","V74","V77","V78","V79","V80","V81","V83","V115","V116","V119","V120","V121","V122","V123","V125","V151","V381","V382","V385","V386","V387","V388","V389","V391","V423","V424","V427","V428","V429","V430","V431","V433","V459","V1079","V257",],
479:["V71","V72","V77","V78","V79","V80","V82","V83","V113","V114","V119","V120","V121","V122","V124","V125","V151","V379","V380","V385","V386","V387","V388","V390","V391","V421","V422","V427","V428","V429","V430","V432","V433","V459","V1079","V256",],
480:["V69","V70","V77","V78","V79","V81","V82","V83","V111","V112","V119","V120","V121","V123","V124","V125","V151","V377","V378","V385","V386","V387","V389","V390","V391","V419","V420","V427","V428","V429","V431","V432","V433","V459","V1079","V255",],
481:["V67","V68","V77","V78","V80","V81","V82","V83","V109","V110","V119","V120","V122","V123","V124","V125","V151","V375","V376","V385","V386","V388","V389","V390","V391","V417","V418","V427","V428","V430","V431","V432","V433","V459","V1079","V254",],
482:["V65","V66","V77","V79","V80","V81","V82","V83","V107","V108","V119","V121","V122","V123","V124","V125","V151","V373","V374","V385","V387","V388","V389","V390","V391","V415","V416","V427","V429","V430","V431","V432","V433","V459","V1079","V253",],
483:["V75","V76","V78","V79","V80","V81","V82","V83","V117","V118","V120","V121","V122","V123","V124","V125","V151","V383","V384","V386","V387","V388","V389","V390","V391","V425","V426","V428","V429","V430","V431","V432","V433","V459","V1079","V252",],
484:["V64","V66","V68","V78","V108","V110","V120","V147","V151","V152","V153","V218","V220","V222","V232","V260","V262","V264","V274","V301","V305","V306","V307","V386","V414","V416","V418","V428","V455","V459","V461","V1079","V372","V374","V376","V106",],
485:["V65","V67","V78","V107","V109","V120","V147","V151","V152","V153","V217","V219","V221","V232","V259","V261","V263","V274","V301","V305","V306","V307","V386","V413","V415","V417","V428","V455","V459","V461","V1079","V63","V371","V373","V375","V105",],
486:["V726","V729","V730","V733","V734","V738","V740","V763","V769","V1071","V1077","V1078","V1083","V1084","V856","V860","V861","V864","V865","V868","V869","V870","V871","V872","V873","V874","V898","V903","V910","V911","V912","V913","V914","V915","V916","V922","V902",],
487:["V858","V859","V862","V863","V866","V867","V868","V869","V870","V871","V873","V874","V900","V901","V910","V911","V912","V913","V915","V916","V922","V1043","V1049","V1071","V1077","V1078","V1083","V1084","V727","V728","V731","V732","V735","V739","V741","V763","V769","V1047",],
488:["V858","V859","V862","V863","V866","V867","V868","V869","V870","V871","V872","V873","V874","V900","V901","V910","V911","V912","V913","V914","V915","V916","V922","V1043","V1071","V1077","V1078","V1083","V1084","V727","V728","V731","V732","V735","V739","V741","V763","V769","V1049",],
489:["V725","V726","V729","V730","V733","V734","V738","V740","V763","V769","V1071","V1077","V1078","V1083","V1084","V856","V857","V860","V861","V864","V865","V868","V869","V870","V871","V872","V873","V874","V898","V899","V910","V911","V912","V913","V914","V915","V916","V922","V903",],
490:["V627","V630","V636","V648","V651","V657","V918","V1078","V1083","V1084","V778","V783","V784","V785","V786","V787","V788","V789","V790","V799","V803","V804","V805","V806","V807","V808","V809","V810","V811","V820","V824","V825","V826","V827","V828","V829","V830","V831","V832","V782",],
491:["V621","V625","V633","V642","V646","V654","V918","V1078","V1083","V1084","V772","V777","V780","V784","V785","V786","V788","V789","V790","V793","V797","V798","V801","V805","V806","V807","V809","V810","V811","V814","V818","V819","V822","V826","V827","V828","V830","V831","V832","V776",],
492:["V610","V611","V764","V918","V919","V1072","V1078","V1082","V1083","V1084","V773","V775","V785","V794","V796","V806","V813","V815","V817","V827","V834","V836","V838","V848","V463","V465","V467","V477","V484","V486","V488","V498","V505","V507","V509","V519","V526","V528","V530","V540","V792",],
493:["V456","V493","V499","V501","V527","V531","V535","V541","V543","V611","V617","V621","V625","V631","V633","V793","V797","V801","V807","V809","V835","V839","V843","V849","V851","V919","V1081","V1082","V309","V313","V317","V323","V325","V351","V355","V359","V365","V367","V659","V673","V675","V764","V663",],
494:["V343","V349","V381","V385","V391","V457","V471","V475","V481","V651","V657","V689","V693","V699","V765","V1079","V1080","V1081","V1082","V779","V783","V789","V821","V825","V831","V513","V523","V918","V610","V149","V163","V167","V173","V205","V215","V302","V31","V35","V41","V73","V77","V83","V517",],
495:["V303","V322","V328","V364","V370","V456","V471","V475","V481","V492","V502","V611","V630","V636","V672","V678","V764","V1080","V1081","V1082","V919","V779","V783","V789","V800","V804","V810","V534","V538","V544","V842","V846","V852","V163","V167","V173","V184","V188","V194","V226","V230","V236","V496",],
496:["V473","V476","V477","V478","V479","V480","V482","V493","V494","V497","V498","V499","V500","V501","V503","V780","V781","V784","V785","V786","V787","V788","V790","V801","V802","V805","V806","V807","V808","V809","V811","V1081","V1082","V317","V321","V327","V338","V342","V348","V625","V646","V650","V656","V635",],
497:["V7","V11","V14","V18","V20","V40","V49","V56","V60","V62","V71","V75","V82","V148","V149","V161","V165","V168","V172","V174","V194","V203","V207","V210","V214","V216","V225","V229","V236","V302","V303","V315","V319","V322","V326","V328","V357","V361","V364","V368","V370","V456","V1079","V53",],
498:["V3","V5","V15","V22","V24","V26","V36","V45","V47","V57","V63","V148","V149","V155","V157","V159","V169","V176","V178","V180","V190","V302","V303","V309","V311","V313","V323","V330","V332","V334","V344","V351","V353","V355","V365","V1079","V197","V199","V201","V211","V217","V219","V456","V65","V1",],
499:["V346","V375","V379","V388","V457","V465","V469","V473","V478","V480","V507","V654","V683","V687","V696","V765","V1080","V1081","V1082","V515","V520","V522","V918","V610","V773","V777","V781","V786","V788","V815","V819","V823","V828","V830","V157","V161","V165","V170","V172","V199","V203","V207","V212","V214","V302","V511",],
500:["V768","V1076","V1078","V1082","V1083","V1084","V839","V843","V844","V847","V848","V849","V850","V851","V853","V881","V886","V889","V890","V891","V892","V893","V895","V917","V921","V923","V531","V535","V536","V539","V540","V541","V542","V543","V545","V573","V577","V578","V581","V582","V583","V584","V585","V587","V609","V613","V615","V885",],
501:["V64","V66","V68","V78","V108","V110","V120","V147","V151","V152","V153","V386","V414","V416","V418","V428","V455","V459","V460","V461","V1079","V1080","V262","V264","V274","V301","V305","V306","V307","V526","V528","V530","V540","V568","V570","V572","V582","V609","V613","V615","V218","V220","V222","V232","V372","V374","V376","V260",],
502:["V65","V67","V78","V107","V109","V120","V147","V151","V152","V153","V386","V413","V415","V417","V428","V455","V459","V460","V461","V1079","V1080","V261","V263","V274","V301","V305","V306","V307","V525","V527","V529","V540","V567","V569","V571","V582","V609","V613","V615","V217","V219","V221","V232","V63","V371","V373","V375","V259",],
503:["V9","V11","V14","V15","V16","V17","V18","V20","V30","V31","V32","V34","V35","V36","V37","V38","V39","V40","V41","V163","V165","V167","V168","V169","V170","V171","V172","V173","V174","V184","V185","V186","V188","V189","V190","V191","V192","V193","V194","V195","V317","V1079","V321","V327","V338","V342","V348","V19",],
504:["V623","V627","V630","V634","V636","V644","V648","V651","V655","V657","V918","V1078","V1083","V1084","V774","V779","V783","V784","V785","V786","V787","V788","V789","V790","V795","V799","V800","V803","V804","V805","V806","V807","V808","V809","V810","V811","V816","V820","V821","V824","V825","V826","V827","V828","V829","V830","V831","V832","V778",],
505:["V725","V726","V727","V728","V729","V730","V731","V732","V733","V734","V735","V736","V738","V739","V740","V741","V763","V769","V1071","V1077","V1078","V1083","V1084","V856","V857","V858","V859","V860","V861","V862","V863","V864","V865","V866","V867","V868","V869","V870","V871","V872","V873","V874","V898","V899","V900","V901","V910","V911","V913","V914","V915","V916","V922","V912",],
506:["V725","V726","V727","V728","V729","V730","V731","V732","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V769","V1071","V1077","V1078","V1083","V1084","V856","V857","V858","V859","V860","V861","V862","V863","V864","V865","V866","V867","V868","V869","V870","V871","V872","V873","V874","V898","V899","V900","V901","V910","V911","V913","V914","V915","V922","V916",],
507:["V456","V500","V502","V529","V533","V537","V542","V544","V611","V619","V623","V627","V630","V632","V634","V636","V795","V799","V803","V808","V810","V837","V841","V845","V850","V852","V919","V1081","V1082","V311","V315","V319","V322","V324","V326","V328","V353","V357","V361","V364","V366","V368","V370","V661","V672","V674","V676","V678","V764","V665",],
508:["V768","V1076","V1078","V1082","V1083","V1084","V839","V840","V843","V844","V847","V848","V849","V850","V851","V853","V881","V882","V889","V890","V891","V892","V893","V895","V917","V921","V923","V531","V532","V535","V536","V539","V540","V541","V542","V543","V545","V573","V574","V577","V578","V581","V582","V583","V584","V585","V587","V609","V613","V615","V886",],
509:["V768","V1076","V1078","V1082","V1083","V1084","V841","V845","V846","V847","V848","V849","V850","V851","V852","V853","V883","V888","V889","V890","V891","V892","V893","V894","V895","V917","V921","V923","V533","V537","V538","V539","V540","V541","V542","V543","V544","V545","V575","V579","V580","V581","V582","V583","V584","V585","V586","V587","V609","V613","V615","V887",],
510:["V457","V610","V617","V619","V621","V631","V772","V774","V785","V793","V795","V806","V812","V814","V816","V827","V918","V919","V1072","V1078","V1081","V1082","V1083","V1084","V309","V311","V313","V323","V330","V332","V334","V344","V372","V374","V376","V640","V642","V652","V659","V661","V680","V682","V684","V694","V764","V765","V386","V833","V835","V837","V848","V638",],
511:["V3","V7","V16","V26","V35","V36","V38","V39","V40","V41","V45","V49","V67","V68","V77","V78","V80","V81","V82","V83","V148","V149","V157","V161","V170","V180","V189","V190","V192","V193","V194","V195","V199","V203","V212","V221","V222","V231","V232","V234","V235","V236","V237","V302","V303","V311","V315","V324","V353","V357","V366","V456","V1079","V58",],
512:["V768","V1076","V1078","V1082","V1083","V1084","V841","V842","V845","V846","V847","V848","V849","V850","V851","V852","V853","V883","V884","V889","V890","V891","V892","V893","V894","V895","V917","V921","V923","V576","V579","V580","V581","V582","V583","V584","V585","V586","V587","V609","V613","V615","V533","V534","V537","V538","V539","V540","V541","V542","V543","V544","V545","V575","V888",],
513:["V302","V610","V611","V1072","V1078","V1080","V1081","V1082","V1083","V1084","V155","V157","V159","V169","V176","V178","V180","V190","V465","V467","V477","V484","V486","V488","V498","V505","V507","V509","V773","V775","V785","V794","V796","V806","V813","V815","V817","V827","V918","V919","V197","V199","V201","V211","V519","V526","V528","V530","V540","V764","V834","V836","V838","V848","V463",],
514:["V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V147","V148","V149","V151","V152","V153","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V301","V302","V303","V305","V306","V307","V150",],
515:["V525","V526","V527","V528","V529","V530","V531","V532","V533","V534","V535","V536","V537","V538","V539","V540","V541","V542","V543","V544","V545","V609","V610","V611","V613","V614","V615","V833","V834","V835","V836","V837","V838","V839","V840","V841","V842","V843","V844","V845","V846","V847","V848","V849","V850","V851","V852","V853","V917","V918","V919","V921","V922","V923","V1082","V766",],
516:["V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V301","V302","V303","V305","V306","V307","V525","V526","V527","V528","V529","V530","V531","V532","V533","V534","V535","V536","V537","V538","V539","V540","V541","V542","V543","V544","V545","V609","V610","V611","V613","V614","V615","V1080","V458",],
517:["V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V147","V148","V149","V151","V152","V153","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V384","V385","V386","V387","V388","V389","V390","V391","V455","V456","V457","V459","V460","V461","V1079","V304",],
518:["V5","V9","V17","V28","V31","V35","V36","V37","V39","V40","V41","V47","V69","V70","V73","V77","V78","V79","V81","V82","V83","V148","V149","V159","V163","V171","V182","V185","V189","V190","V191","V193","V194","V195","V201","V205","V213","V223","V224","V227","V231","V232","V233","V235","V236","V237","V302","V303","V313","V317","V325","V355","V359","V367","V456","V1079","V59",],
519:["V3","V5","V15","V24","V26","V36","V45","V47","V57","V63","V148","V149","V155","V157","V159","V169","V176","V178","V180","V190","V197","V199","V201","V211","V217","V218","V219","V220","V222","V232","V302","V303","V309","V311","V313","V323","V330","V332","V334","V344","V351","V353","V355","V365","V372","V374","V376","V1079","V64","V65","V66","V68","V78","V456","V457","V386","V22",],
520:["V768","V1076","V1078","V1082","V1083","V1084","V837","V841","V842","V845","V846","V847","V848","V849","V850","V851","V852","V853","V879","V884","V889","V890","V891","V892","V893","V894","V895","V917","V921","V923","V529","V533","V534","V537","V538","V539","V540","V541","V542","V543","V544","V545","V571","V575","V576","V579","V580","V581","V582","V583","V584","V585","V586","V587","V609","V613","V615","V883",],
521:["V768","V1076","V1078","V1082","V1083","V1084","V835","V839","V840","V843","V844","V847","V848","V849","V850","V851","V852","V853","V877","V882","V889","V890","V891","V892","V893","V894","V895","V917","V921","V923","V527","V531","V532","V535","V536","V539","V540","V541","V542","V543","V544","V545","V569","V573","V574","V577","V578","V581","V582","V583","V584","V585","V586","V587","V609","V613","V615","V881",],
522:["V722","V724","V725","V726","V727","V728","V729","V730","V731","V732","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V769","V812","V814","V816","V827","V1071","V1075","V1077","V1078","V1083","V1084","V856","V857","V858","V859","V860","V861","V862","V863","V864","V865","V866","V867","V868","V869","V870","V871","V872","V873","V874","V898","V899","V901","V911","V920","V922","V680","V682","V900",],
523:["V343","V347","V349","V377","V381","V385","V389","V391","V457","V467","V471","V475","V479","V481","V509","V651","V655","V657","V685","V689","V693","V697","V699","V765","V1079","V1080","V1081","V1082","V521","V523","V918","V610","V775","V779","V783","V787","V789","V817","V821","V825","V829","V831","V149","V159","V163","V167","V171","V173","V201","V205","V213","V215","V302","V31","V35","V41","V73","V77","V83","V513",],
524:["V302","V303","V456","V465","V467","V477","V486","V488","V498","V505","V507","V509","V610","V611","V764","V1072","V1078","V1080","V1081","V1082","V1083","V1084","V155","V157","V159","V169","V176","V178","V180","V190","V773","V775","V785","V794","V796","V806","V813","V815","V817","V827","V918","V919","V519","V526","V528","V530","V540","V834","V836","V838","V848","V197","V199","V201","V211","V218","V220","V222","V232","V484",],
525:["V218","V220","V222","V232","V262","V264","V274","V301","V305","V306","V307","V526","V528","V530","V540","V568","V570","V572","V582","V609","V613","V614","V615","V1079","V1080","V1081","V64","V66","V68","V78","V108","V110","V120","V147","V151","V152","V153","V386","V416","V418","V428","V455","V459","V460","V461","V722","V724","V726","V736","V763","V767","V769","V372","V374","V376","V680","V682","V684","V694","V414",],
526:["V217","V219","V221","V232","V261","V263","V274","V301","V305","V306","V307","V525","V527","V529","V540","V567","V569","V571","V582","V609","V613","V614","V615","V1079","V1080","V1081","V65","V67","V78","V107","V109","V120","V147","V151","V152","V153","V386","V415","V417","V428","V455","V459","V460","V461","V721","V723","V725","V736","V763","V767","V769","V63","V371","V373","V375","V679","V681","V683","V694","V413",],
527:["V768","V1076","V1078","V1082","V1083","V1084","V837","V838","V841","V842","V845","V846","V847","V848","V849","V850","V851","V852","V853","V879","V880","V889","V890","V891","V892","V893","V894","V895","V917","V921","V923","V529","V530","V533","V534","V537","V538","V539","V540","V541","V542","V543","V544","V545","V571","V572","V575","V576","V579","V580","V581","V582","V583","V584","V585","V586","V587","V609","V613","V615","V884",],
528:["V768","V1076","V1078","V1082","V1083","V1084","V835","V836","V839","V840","V843","V844","V847","V848","V849","V850","V851","V852","V853","V877","V878","V889","V890","V891","V892","V893","V894","V895","V917","V921","V923","V527","V528","V531","V532","V535","V536","V539","V540","V541","V542","V543","V544","V545","V569","V570","V573","V574","V577","V578","V581","V582","V583","V584","V585","V586","V587","V609","V613","V615","V882",],
529:["V456","V490","V493","V497","V498","V499","V501","V502","V503","V527","V531","V532","V535","V539","V540","V541","V543","V544","V545","V611","V617","V621","V625","V631","V633","V793","V797","V798","V801","V805","V806","V807","V809","V810","V811","V835","V839","V840","V843","V847","V848","V849","V851","V852","V853","V919","V1081","V1082","V309","V313","V317","V323","V325","V351","V355","V359","V365","V367","V659","V673","V764","V675",],
530:["V302","V325","V346","V375","V379","V610","V633","V654","V683","V687","V696","V1080","V1081","V1082","V457","V465","V473","V478","V480","V486","V490","V494","V499","V501","V507","V773","V777","V781","V786","V788","V794","V798","V802","V807","V809","V815","V819","V823","V828","V830","V157","V161","V165","V170","V172","V178","V182","V186","V191","V515","V520","V522","V918","V193","V199","V203","V207","V212","V214","V388","V765","V469",],
531:["V721","V722","V723","V724","V725","V726","V727","V728","V729","V730","V731","V732","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V769","V812","V813","V814","V815","V816","V817","V827","V1071","V1075","V1077","V1078","V1083","V1084","V856","V857","V858","V859","V860","V861","V862","V863","V864","V865","V866","V867","V868","V869","V870","V871","V872","V873","V874","V899","V901","V920","V922","V679","V680","V681","V682","V911",],
532:["V457","V477","V519","V610","V617","V619","V621","V623","V631","V632","V772","V774","V785","V793","V795","V806","V812","V814","V816","V827","V918","V919","V1072","V1078","V1081","V1082","V1083","V1084","V309","V311","V313","V315","V323","V324","V330","V332","V334","V336","V344","V345","V372","V374","V376","V378","V642","V644","V652","V653","V659","V661","V680","V682","V684","V686","V694","V695","V764","V765","V386","V387","V833","V835","V837","V848","V640",],
533:["V338","V342","V348","V379","V380","V383","V384","V386","V387","V388","V389","V390","V391","V421","V422","V425","V426","V428","V429","V430","V431","V432","V433","V457","V459","V646","V650","V656","V687","V688","V694","V695","V696","V697","V698","V699","V729","V730","V733","V734","V736","V737","V738","V739","V740","V741","V765","V767","V1081","V1082","V515","V518","V524","V566","V822","V823","V826","V612","V832","V864","V865","V868","V874","V920","V560",],
534:["V371","V373","V456","V457","V465","V467","V477","V486","V488","V498","V507","V509","V610","V611","V679","V681","V764","V765","V1072","V1078","V1080","V1081","V1082","V1083","V1084","V918","V919","V773","V775","V785","V794","V796","V806","V813","V815","V817","V827","V155","V157","V159","V169","V176","V178","V180","V190","V197","V199","V201","V211","V218","V220","V222","V232","V302","V303","V519","V526","V528","V530","V540","V834","V836","V838","V848","V505",],
535:["V9","V11","V14","V15","V16","V17","V18","V20","V30","V31","V32","V35","V36","V37","V38","V39","V40","V41","V56","V62","V148","V149","V163","V165","V167","V168","V169","V170","V171","V172","V173","V174","V184","V185","V186","V188","V189","V190","V191","V192","V193","V194","V195","V210","V216","V226","V230","V236","V302","V303","V317","V72","V76","V82","V321","V327","V338","V342","V348","V380","V384","V390","V457","V1079","V34",],
536:["V918","V919","V920","V921","V922","V923","V1075","V1077","V1078","V1083","V1084","V856","V857","V858","V859","V860","V861","V862","V863","V864","V865","V866","V867","V868","V869","V870","V871","V872","V873","V874","V721","V722","V723","V724","V725","V726","V727","V728","V729","V730","V731","V732","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V769","V812","V813","V814","V815","V816","V817","V827","V679","V680","V681","V682","V1071",],
537:["V917","V918","V919","V920","V921","V922","V923","V1075","V1078","V1083","V1084","V856","V857","V858","V859","V860","V861","V862","V863","V864","V865","V866","V867","V868","V869","V870","V871","V872","V873","V874","V721","V722","V723","V724","V725","V726","V727","V728","V729","V730","V731","V732","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V769","V812","V813","V814","V815","V816","V817","V827","V679","V680","V681","V682","V1077",],
538:["V69","V73","V74","V77","V78","V79","V80","V81","V83","V111","V116","V119","V120","V121","V122","V123","V125","V147","V151","V152","V153","V223","V227","V228","V231","V232","V233","V234","V235","V237","V265","V269","V270","V273","V274","V275","V276","V277","V279","V301","V305","V306","V307","V385","V386","V387","V388","V389","V391","V419","V423","V424","V427","V428","V429","V430","V431","V433","V455","V459","V461","V1079","V377","V381","V382","V115",],
539:["V768","V1076","V1078","V1082","V1083","V1084","V834","V836","V837","V838","V841","V842","V845","V846","V847","V848","V849","V850","V851","V852","V853","V878","V879","V889","V890","V891","V892","V893","V894","V895","V917","V921","V923","V526","V528","V529","V530","V533","V534","V537","V538","V539","V540","V541","V542","V543","V544","V545","V568","V570","V571","V572","V575","V576","V579","V580","V581","V582","V583","V584","V585","V586","V587","V609","V613","V615","V880",],
540:["V768","V1076","V1078","V1082","V1083","V1084","V833","V835","V836","V837","V839","V840","V843","V844","V847","V848","V849","V850","V851","V852","V853","V878","V879","V889","V890","V891","V892","V893","V894","V895","V917","V921","V923","V525","V527","V528","V529","V531","V532","V535","V536","V539","V540","V541","V542","V543","V544","V545","V567","V569","V570","V571","V573","V574","V577","V578","V581","V582","V583","V584","V585","V586","V587","V609","V613","V615","V877",],
541:["V7","V11","V14","V18","V20","V30","V35","V36","V37","V38","V40","V41","V49","V56","V62","V71","V72","V75","V77","V78","V79","V80","V82","V83","V148","V149","V161","V165","V168","V172","V174","V184","V189","V190","V191","V192","V194","V195","V203","V207","V210","V214","V216","V225","V226","V229","V231","V232","V233","V234","V236","V237","V302","V303","V315","V319","V322","V326","V328","V357","V361","V364","V368","V370","V456","V1079","V60",],
542:["V338","V342","V348","V379","V380","V383","V384","V385","V386","V387","V388","V389","V390","V391","V421","V422","V425","V426","V427","V428","V429","V430","V431","V432","V433","V457","V459","V646","V650","V656","V687","V688","V693","V694","V695","V696","V697","V698","V699","V729","V730","V733","V734","V735","V736","V737","V738","V739","V740","V741","V765","V767","V1081","V1082","V515","V518","V524","V822","V823","V826","V612","V832","V864","V865","V868","V874","V920","V566",],
543:["V456","V492","V497","V498","V499","V500","V502","V503","V529","V533","V534","V537","V539","V540","V541","V542","V544","V545","V611","V619","V623","V627","V630","V632","V634","V636","V795","V799","V800","V803","V805","V806","V807","V808","V810","V811","V837","V841","V842","V845","V847","V848","V849","V850","V852","V853","V919","V1081","V1082","V311","V315","V319","V322","V324","V326","V328","V353","V357","V361","V364","V366","V368","V370","V661","V672","V674","V678","V764","V676",],
544:["V456","V486","V490","V493","V497","V498","V499","V500","V501","V502","V503","V527","V528","V531","V532","V535","V539","V540","V541","V542","V543","V544","V545","V611","V617","V621","V625","V631","V633","V793","V794","V797","V798","V801","V805","V806","V807","V808","V809","V810","V811","V835","V836","V839","V840","V843","V847","V848","V849","V850","V851","V852","V853","V919","V1081","V1082","V309","V313","V317","V323","V325","V351","V355","V359","V365","V367","V659","V764","V673",],
545:["V621","V625","V633","V642","V646","V650","V654","V656","V918","V1078","V1081","V1082","V1083","V1084","V772","V777","V781","V784","V785","V786","V787","V788","V789","V790","V793","V797","V798","V801","V802","V805","V806","V807","V808","V809","V810","V811","V814","V818","V819","V822","V823","V826","V827","V828","V829","V830","V831","V832","V473","V476","V477","V478","V479","V480","V482","V493","V494","V497","V498","V499","V500","V501","V503","V317","V321","V327","V338","V342","V348","V780",],
546:["V69","V70","V73","V74","V77","V78","V79","V80","V81","V83","V111","V112","V119","V120","V121","V122","V123","V125","V147","V151","V152","V153","V223","V224","V227","V228","V231","V232","V233","V234","V235","V237","V265","V266","V269","V270","V273","V274","V275","V276","V277","V279","V301","V305","V306","V307","V385","V386","V387","V388","V389","V391","V419","V420","V423","V424","V427","V428","V429","V430","V431","V433","V455","V459","V461","V1079","V377","V378","V381","V382","V116",],
547:["V679","V680","V681","V682","V686","V695","V721","V722","V723","V724","V725","V726","V727","V728","V729","V730","V731","V732","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V1078","V1083","V1084","V769","V812","V813","V814","V815","V816","V817","V820","V826","V827","V829","V830","V831","V832","V856","V857","V859","V860","V861","V862","V863","V864","V865","V866","V867","V868","V869","V870","V871","V872","V873","V874","V917","V918","V919","V920","V921","V922","V923","V858",],
548:["V72","V75","V76","V77","V78","V79","V80","V81","V82","V83","V114","V117","V119","V120","V121","V122","V123","V124","V125","V147","V151","V152","V153","V226","V229","V230","V231","V232","V233","V234","V235","V236","V237","V268","V271","V272","V273","V274","V275","V276","V277","V278","V279","V301","V305","V306","V307","V384","V385","V386","V387","V388","V389","V390","V391","V422","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V459","V461","V1079","V380","V383","V118",],
549:["V679","V680","V681","V682","V685","V686","V695","V721","V722","V723","V724","V725","V726","V727","V728","V729","V730","V731","V732","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V1078","V1083","V1084","V769","V812","V813","V814","V815","V816","V817","V820","V821","V826","V827","V829","V830","V831","V832","V856","V857","V860","V861","V862","V863","V864","V865","V866","V867","V868","V869","V870","V871","V872","V873","V874","V917","V918","V919","V920","V921","V922","V923","V859",],
550:["V336","V343","V344","V345","V347","V348","V349","V377","V378","V381","V385","V386","V387","V389","V390","V391","V457","V467","V471","V475","V479","V481","V509","V644","V651","V652","V653","V655","V656","V657","V685","V686","V689","V693","V694","V695","V697","V698","V699","V765","V1079","V1080","V1081","V1082","V523","V918","V610","V775","V779","V783","V787","V789","V817","V821","V825","V829","V831","V149","V159","V163","V167","V171","V173","V201","V205","V213","V215","V302","V73","V77","V83","V31","V35","V41","V521",],
551:["V768","V1076","V1078","V1082","V1083","V1084","V833","V834","V835","V836","V837","V838","V839","V840","V841","V842","V843","V844","V845","V846","V847","V848","V849","V850","V851","V852","V853","V878","V879","V889","V890","V891","V892","V893","V894","V917","V921","V923","V576","V577","V578","V579","V580","V581","V582","V583","V584","V585","V586","V587","V609","V613","V615","V525","V526","V527","V528","V529","V530","V531","V532","V533","V534","V535","V536","V537","V538","V539","V540","V541","V542","V543","V544","V545","V567","V568","V569","V570","V571","V572","V573","V574","V575","V895",],
552:["V679","V680","V681","V682","V684","V685","V686","V694","V695","V721","V722","V723","V724","V725","V726","V727","V728","V729","V730","V731","V732","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V1078","V1083","V1084","V769","V812","V813","V814","V815","V816","V817","V818","V820","V821","V826","V827","V828","V829","V830","V831","V832","V857","V860","V861","V862","V863","V864","V865","V866","V867","V868","V869","V870","V871","V872","V873","V874","V917","V918","V919","V920","V921","V922","V923","V856",],
553:["V456","V488","V492","V497","V498","V499","V500","V501","V502","V503","V529","V530","V533","V534","V537","V539","V540","V541","V542","V543","V544","V545","V611","V619","V623","V627","V630","V632","V634","V636","V795","V796","V799","V800","V803","V805","V806","V807","V808","V809","V810","V811","V837","V838","V841","V842","V845","V847","V848","V849","V850","V851","V852","V853","V919","V1081","V1082","V311","V315","V319","V322","V324","V326","V328","V353","V357","V361","V364","V366","V368","V370","V661","V672","V678","V764","V674",],
554:["V679","V680","V681","V682","V683","V684","V685","V686","V694","V695","V721","V722","V723","V724","V725","V726","V727","V728","V729","V730","V731","V732","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V1078","V1083","V1084","V769","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V826","V827","V828","V829","V830","V831","V832","V860","V861","V862","V863","V864","V865","V866","V867","V868","V869","V870","V871","V872","V873","V874","V917","V918","V919","V920","V921","V922","V923","V857",],
555:["V71","V72","V75","V76","V77","V78","V79","V80","V81","V82","V83","V113","V114","V119","V120","V121","V122","V123","V124","V125","V147","V151","V152","V153","V225","V226","V229","V230","V231","V232","V233","V234","V235","V236","V237","V267","V268","V271","V272","V273","V274","V275","V276","V277","V278","V279","V301","V305","V306","V307","V384","V385","V386","V387","V388","V389","V390","V391","V421","V422","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V459","V461","V1079","V379","V380","V383","V117",],
556:["V833","V834","V835","V836","V837","V838","V839","V840","V841","V842","V843","V844","V845","V846","V847","V848","V849","V850","V851","V852","V853","V917","V918","V919","V920","V921","V923","V1078","V1082","V1083","V1084","V768","V525","V526","V527","V528","V529","V530","V531","V532","V533","V534","V535","V536","V537","V538","V539","V540","V541","V542","V543","V544","V545","V567","V568","V569","V570","V571","V572","V573","V574","V575","V576","V577","V578","V579","V580","V581","V582","V583","V584","V585","V586","V587","V609","V613","V615","V1076",],
557:["V679","V680","V681","V682","V683","V684","V685","V686","V688","V694","V695","V696","V721","V722","V723","V724","V725","V726","V727","V728","V729","V730","V731","V732","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V1078","V1083","V1084","V769","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V826","V827","V828","V829","V830","V831","V832","V861","V862","V863","V864","V865","V866","V867","V868","V869","V870","V871","V872","V873","V874","V917","V918","V919","V920","V921","V922","V923","V860",],
558:["V525","V526","V527","V528","V529","V530","V531","V532","V533","V534","V535","V536","V537","V538","V539","V540","V541","V542","V543","V544","V545","V567","V568","V569","V570","V571","V572","V573","V574","V575","V576","V577","V578","V579","V580","V581","V582","V583","V584","V585","V586","V587","V609","V610","V611","V612","V613","V615","V833","V834","V835","V836","V837","V838","V839","V840","V841","V842","V843","V844","V845","V846","V847","V848","V849","V850","V851","V852","V853","V917","V918","V919","V920","V921","V923","V1078","V1082","V1083","V1084","V768",],
559:["V3","V5","V15","V24","V26","V35","V36","V37","V38","V39","V40","V41","V45","V47","V63","V64","V65","V66","V68","V77","V78","V79","V80","V81","V82","V83","V148","V149","V155","V157","V159","V169","V176","V178","V180","V189","V190","V191","V192","V193","V194","V195","V197","V199","V201","V211","V217","V218","V219","V220","V222","V231","V232","V233","V234","V235","V236","V237","V302","V303","V309","V311","V313","V323","V330","V332","V334","V344","V351","V353","V355","V365","V372","V374","V376","V456","V457","V1079","V386","V57",],
560:["V336","V340","V343","V344","V345","V346","V347","V348","V349","V377","V378","V381","V382","V385","V386","V387","V388","V389","V390","V391","V457","V467","V471","V475","V479","V481","V509","V644","V648","V651","V652","V653","V654","V655","V656","V657","V685","V686","V689","V690","V693","V694","V695","V696","V697","V698","V699","V765","V1079","V1080","V1081","V1082","V775","V779","V783","V787","V789","V817","V821","V825","V829","V831","V918","V610","V149","V159","V163","V167","V171","V173","V201","V205","V213","V215","V302","V31","V35","V41","V73","V77","V83","V523",],
561:["V67","V71","V72","V75","V76","V77","V78","V79","V80","V81","V82","V83","V109","V114","V119","V120","V121","V122","V123","V124","V125","V147","V151","V152","V153","V221","V225","V226","V229","V230","V231","V232","V233","V234","V235","V236","V237","V263","V267","V268","V271","V272","V273","V274","V275","V276","V277","V278","V279","V301","V305","V306","V307","V384","V385","V386","V387","V388","V389","V390","V391","V417","V421","V422","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V459","V461","V1079","V375","V379","V380","V383","V113",],
562:["V65","V69","V70","V73","V74","V77","V78","V79","V80","V81","V82","V83","V107","V112","V119","V120","V121","V122","V123","V124","V125","V147","V151","V152","V153","V219","V223","V224","V227","V228","V231","V232","V233","V234","V235","V236","V237","V261","V265","V266","V269","V270","V273","V274","V275","V276","V277","V278","V279","V301","V305","V306","V307","V385","V386","V387","V388","V389","V390","V391","V415","V419","V420","V423","V424","V427","V428","V429","V430","V431","V432","V433","V455","V459","V461","V1079","V373","V377","V378","V381","V382","V111",],
563:["V325","V338","V343","V344","V345","V346","V348","V349","V375","V379","V380","V385","V386","V387","V388","V390","V391","V457","V465","V473","V478","V480","V486","V490","V494","V499","V501","V507","V646","V651","V652","V653","V654","V656","V657","V683","V687","V688","V693","V694","V695","V696","V698","V699","V765","V1080","V1081","V1082","V773","V777","V781","V786","V788","V794","V798","V802","V807","V809","V815","V819","V823","V828","V830","V515","V520","V918","V610","V633","V157","V161","V165","V170","V172","V178","V182","V186","V191","V193","V199","V203","V207","V212","V214","V302","V522",],
564:["V3","V7","V11","V14","V16","V18","V20","V26","V30","V35","V36","V37","V38","V39","V40","V41","V45","V56","V62","V67","V68","V71","V72","V75","V77","V78","V79","V80","V81","V82","V83","V148","V149","V157","V161","V165","V168","V170","V172","V174","V180","V184","V189","V190","V191","V192","V193","V194","V195","V199","V203","V207","V210","V212","V214","V216","V221","V222","V225","V226","V229","V231","V232","V233","V234","V235","V236","V237","V302","V303","V311","V315","V319","V322","V324","V326","V328","V353","V357","V361","V364","V366","V368","V370","V456","V1079","V49",],
565:["V67","V68","V71","V72","V75","V76","V77","V78","V79","V80","V81","V82","V83","V109","V110","V119","V120","V121","V122","V123","V124","V125","V147","V151","V152","V153","V221","V222","V225","V226","V229","V230","V231","V232","V233","V234","V235","V236","V237","V263","V264","V267","V268","V271","V272","V273","V274","V275","V276","V277","V278","V279","V301","V305","V306","V307","V384","V385","V386","V387","V388","V389","V390","V391","V417","V418","V421","V422","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V459","V461","V1079","V375","V376","V379","V380","V383","V114",],
566:["V65","V66","V69","V70","V73","V74","V77","V78","V79","V80","V81","V82","V83","V107","V108","V119","V120","V121","V122","V123","V124","V125","V147","V151","V152","V153","V219","V220","V223","V224","V227","V228","V231","V232","V233","V234","V235","V236","V237","V261","V262","V265","V266","V269","V270","V273","V274","V275","V276","V277","V278","V279","V301","V305","V306","V307","V385","V386","V387","V388","V389","V390","V391","V415","V416","V419","V420","V423","V424","V427","V428","V429","V430","V431","V432","V433","V455","V459","V461","V1079","V373","V374","V377","V378","V381","V382","V112",],
567:["V31","V32","V35","V36","V37","V38","V39","V41","V73","V74","V77","V78","V79","V80","V81","V83","V149","V159","V163","V167","V171","V173","V336","V340","V343","V344","V345","V346","V347","V348","V349","V377","V378","V381","V382","V385","V386","V387","V388","V389","V390","V391","V457","V467","V471","V475","V479","V481","V509","V1079","V1080","V1081","V1082","V201","V205","V213","V302","V610","V644","V648","V651","V652","V653","V654","V655","V656","V657","V685","V686","V689","V690","V693","V694","V695","V696","V697","V698","V699","V775","V779","V783","V787","V789","V817","V821","V825","V829","V831","V765","V918","V215",],
568:["V325","V334","V338","V343","V344","V345","V346","V347","V348","V349","V375","V376","V379","V380","V385","V386","V387","V388","V389","V390","V391","V457","V465","V473","V478","V480","V486","V490","V494","V499","V501","V507","V642","V646","V651","V652","V653","V654","V655","V656","V657","V683","V684","V687","V688","V693","V694","V695","V696","V697","V698","V699","V765","V1080","V1081","V1082","V918","V610","V633","V773","V777","V781","V786","V788","V794","V798","V802","V807","V809","V815","V819","V823","V828","V830","V157","V161","V165","V170","V172","V178","V182","V186","V191","V193","V199","V203","V207","V212","V214","V302","V515","V520",],
569:["V3","V5","V7","V15","V16","V26","V28","V35","V36","V37","V38","V39","V40","V41","V45","V47","V63","V148","V149","V155","V157","V159","V161","V169","V170","V176","V178","V180","V182","V189","V190","V191","V192","V193","V194","V195","V197","V199","V201","V211","V217","V218","V219","V220","V222","V224","V231","V232","V233","V234","V235","V236","V237","V302","V303","V309","V311","V313","V315","V323","V324","V330","V332","V334","V336","V344","V345","V351","V353","V355","V365","V372","V374","V376","V378","V1079","V64","V65","V66","V68","V70","V77","V78","V79","V80","V81","V82","V83","V456","V457","V386","V387","V24",],
570:["V456","V471","V475","V481","V488","V492","V497","V498","V499","V500","V501","V502","V503","V529","V530","V533","V534","V537","V538","V539","V540","V541","V542","V543","V544","V545","V611","V619","V623","V627","V630","V632","V634","V636","V779","V783","V789","V795","V796","V799","V800","V803","V804","V805","V806","V807","V808","V809","V810","V811","V837","V838","V841","V842","V845","V846","V847","V848","V849","V850","V851","V852","V853","V919","V1080","V1081","V1082","V303","V311","V315","V319","V322","V324","V326","V328","V353","V357","V361","V364","V366","V368","V370","V764","V661","V672","V194","V226","V230","V236","V163","V167","V173","V184","V188","V678",],
571:["V1078","V1082","V1083","V1084","V833","V834","V835","V836","V837","V838","V839","V840","V841","V842","V843","V845","V846","V847","V848","V849","V850","V851","V852","V853","V917","V918","V919","V920","V921","V922","V923","V798","V801","V802","V805","V806","V807","V808","V809","V811","V525","V526","V527","V528","V529","V530","V531","V532","V533","V534","V535","V536","V537","V538","V539","V540","V541","V542","V543","V544","V545","V567","V568","V569","V570","V571","V572","V573","V574","V575","V576","V577","V578","V579","V580","V581","V582","V583","V584","V585","V586","V587","V609","V610","V611","V612","V613","V614","V615","V490","V493","V494","V497","V498","V499","V500","V501","V503","V844",],
572:["V610","V617","V619","V621","V623","V627","V630","V631","V632","V634","V636","V642","V644","V648","V651","V652","V653","V655","V657","V659","V661","V680","V682","V684","V686","V694","V695","V918","V919","V1072","V1078","V1081","V1082","V1083","V1084","V772","V775","V779","V783","V784","V785","V786","V787","V788","V789","V790","V793","V795","V796","V799","V800","V803","V804","V805","V806","V807","V808","V809","V810","V811","V812","V814","V816","V817","V820","V821","V824","V825","V826","V827","V828","V829","V830","V831","V832","V833","V835","V837","V848","V764","V765","V457","V477","V309","V311","V313","V315","V323","V324","V330","V332","V334","V336","V344","V345","V372","V374","V376","V378","V386","V387","V519","V774",],
573:["V303","V311","V315","V319","V322","V324","V326","V328","V353","V357","V361","V364","V366","V368","V370","V456","V467","V471","V475","V479","V481","V488","V497","V498","V499","V500","V501","V502","V503","V611","V619","V623","V627","V630","V632","V634","V636","V661","V764","V1080","V1081","V1082","V919","V529","V530","V533","V534","V537","V538","V539","V540","V541","V542","V543","V544","V545","V837","V838","V841","V842","V845","V846","V847","V848","V849","V850","V851","V852","V853","V775","V779","V783","V787","V789","V795","V796","V799","V800","V803","V804","V805","V806","V807","V808","V809","V810","V811","V159","V163","V167","V171","V173","V180","V184","V188","V192","V194","V222","V226","V230","V234","V236","V492",],
574:["V3","V5","V7","V9","V15","V16","V17","V26","V28","V31","V35","V36","V37","V38","V39","V40","V41","V45","V63","V64","V65","V66","V68","V69","V70","V73","V77","V78","V79","V80","V81","V82","V83","V148","V149","V155","V157","V159","V161","V163","V169","V170","V171","V176","V178","V180","V182","V185","V189","V190","V191","V192","V193","V194","V195","V197","V199","V201","V205","V211","V213","V217","V218","V219","V220","V222","V223","V224","V227","V231","V232","V233","V234","V235","V236","V237","V302","V303","V309","V311","V313","V315","V317","V323","V324","V325","V330","V332","V334","V336","V344","V345","V351","V353","V355","V359","V365","V367","V372","V374","V376","V378","V456","V457","V1079","V386","V387","V47",],
575:["V3","V7","V9","V11","V14","V15","V16","V17","V18","V20","V26","V30","V31","V32","V35","V36","V37","V38","V39","V40","V41","V45","V56","V67","V68","V71","V72","V75","V76","V77","V78","V79","V80","V81","V82","V83","V148","V149","V157","V161","V163","V165","V167","V168","V169","V170","V171","V172","V173","V174","V180","V184","V185","V186","V188","V189","V190","V191","V192","V193","V194","V195","V199","V203","V207","V210","V212","V214","V216","V221","V222","V225","V226","V229","V230","V231","V232","V233","V234","V235","V236","V237","V302","V303","V311","V315","V317","V319","V1079","V321","V322","V324","V326","V327","V328","V338","V342","V348","V353","V357","V361","V364","V366","V368","V370","V380","V456","V457","V384","V390","V62",],
576:["V3","V7","V9","V15","V16","V17","V26","V28","V30","V31","V35","V36","V37","V38","V39","V40","V41","V45","V63","V148","V149","V155","V157","V159","V161","V163","V169","V170","V171","V176","V178","V180","V182","V184","V185","V189","V190","V191","V302","V303","V309","V311","V313","V315","V317","V323","V324","V325","V330","V332","V334","V336","V338","V344","V345","V346","V351","V353","V355","V359","V365","V367","V372","V374","V376","V378","V1079","V192","V193","V194","V195","V197","V199","V201","V205","V211","V213","V217","V218","V219","V220","V222","V223","V224","V227","V231","V232","V233","V234","V235","V236","V237","V456","V457","V64","V65","V66","V68","V69","V70","V73","V77","V78","V79","V80","V81","V82","V83","V386","V387","V5",],
577:["V3","V7","V9","V11","V14","V15","V16","V17","V18","V26","V30","V31","V32","V35","V36","V37","V38","V39","V40","V41","V45","V148","V149","V157","V161","V163","V165","V167","V168","V169","V170","V171","V172","V173","V174","V180","V184","V185","V186","V188","V189","V190","V191","V192","V193","V194","V195","V199","V203","V207","V210","V212","V214","V216","V221","V222","V225","V226","V229","V230","V231","V232","V233","V234","V235","V236","V237","V302","V303","V311","V315","V317","V319","V321","V322","V324","V326","V327","V328","V338","V340","V342","V343","V348","V349","V353","V357","V361","V364","V366","V368","V370","V380","V1079","V456","V457","V67","V68","V71","V72","V75","V76","V77","V78","V79","V80","V81","V82","V83","V384","V390","V20",],
578:["V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V107","V108","V109","V110","V119","V120","V121","V122","V123","V124","V147","V151","V152","V153","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V274","V275","V276","V277","V278","V279","V301","V305","V306","V307","V384","V385","V386","V387","V388","V389","V390","V391","V415","V416","V417","V418","V419","V420","V421","V422","V423","V424","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V459","V461","V1079","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V125",],
579:["V3","V7","V9","V11","V15","V16","V17","V26","V28","V30","V31","V32","V35","V36","V37","V38","V39","V40","V41","V45","V148","V149","V157","V161","V163","V165","V167","V168","V169","V170","V171","V172","V173","V174","V180","V182","V184","V185","V186","V188","V189","V190","V191","V192","V193","V194","V195","V199","V203","V207","V210","V212","V214","V216","V221","V222","V225","V226","V229","V230","V231","V232","V233","V234","V235","V236","V237","V302","V303","V311","V315","V317","V319","V321","V322","V324","V326","V327","V328","V336","V338","V340","V342","V343","V347","V348","V349","V353","V357","V361","V364","V366","V368","V370","V380","V1079","V456","V457","V67","V68","V71","V72","V75","V76","V77","V78","V79","V80","V81","V82","V83","V384","V390","V18",],
580:["V659","V764","V1078","V1081","V1082","V1083","V1084","V833","V834","V835","V836","V837","V838","V839","V840","V841","V842","V845","V846","V847","V848","V849","V850","V851","V852","V853","V917","V918","V919","V920","V921","V922","V923","V793","V794","V797","V798","V801","V802","V805","V806","V807","V808","V809","V810","V811","V525","V526","V527","V528","V529","V530","V531","V532","V533","V534","V535","V536","V537","V538","V539","V540","V541","V542","V543","V544","V545","V567","V568","V569","V570","V571","V572","V573","V574","V575","V576","V577","V578","V579","V580","V581","V582","V583","V584","V585","V586","V587","V609","V610","V611","V612","V613","V614","V615","V617","V621","V625","V631","V633","V456","V486","V490","V493","V494","V497","V498","V499","V500","V501","V502","V503","V323","V325","V351","V355","V359","V365","V367","V309","V313","V317","V843",],
581:["V3","V7","V9","V15","V16","V17","V26","V28","V30","V31","V32","V35","V36","V37","V38","V39","V40","V41","V45","V67","V68","V71","V72","V75","V76","V77","V78","V79","V80","V81","V82","V83","V148","V149","V157","V161","V163","V165","V167","V168","V169","V170","V171","V172","V173","V174","V180","V182","V184","V185","V186","V188","V189","V190","V191","V321","V322","V324","V326","V327","V328","V336","V338","V340","V342","V343","V344","V345","V346","V347","V348","V349","V353","V357","V361","V364","V366","V368","V370","V380","V383","V384","V386","V387","V388","V389","V390","V391","V456","V457","V473","V476","V482","V1079","V1080","V192","V193","V194","V195","V199","V203","V207","V212","V214","V216","V221","V222","V225","V226","V229","V230","V231","V232","V233","V234","V235","V236","V237","V302","V303","V311","V315","V317","V319","V515","V518","V524","V610","V210",],
582:["V3","V7","V9","V15","V16","V17","V26","V28","V30","V31","V32","V35","V36","V37","V38","V39","V40","V41","V45","V67","V68","V71","V72","V75","V76","V77","V78","V79","V80","V81","V82","V83","V148","V149","V157","V161","V163","V165","V167","V168","V169","V170","V171","V172","V173","V174","V180","V182","V184","V185","V186","V188","V189","V190","V191","V321","V322","V324","V326","V327","V328","V336","V338","V340","V342","V343","V344","V345","V346","V347","V348","V349","V353","V357","V361","V364","V366","V368","V370","V380","V383","V384","V385","V386","V387","V388","V389","V390","V391","V456","V457","V473","V476","V482","V1079","V1080","V192","V193","V194","V195","V199","V203","V207","V212","V214","V221","V222","V225","V226","V229","V230","V231","V232","V233","V234","V235","V236","V237","V302","V303","V311","V315","V317","V319","V515","V518","V524","V610","V216",],
583:["V610","V621","V625","V633","V642","V646","V650","V651","V652","V653","V654","V655","V656","V657","V683","V684","V687","V688","V693","V694","V695","V696","V697","V698","V699","V918","V1078","V1080","V1081","V1082","V1083","V1084","V772","V773","V781","V784","V785","V786","V787","V788","V789","V790","V793","V794","V797","V798","V801","V802","V805","V806","V807","V808","V809","V810","V811","V814","V815","V818","V819","V822","V823","V826","V827","V828","V829","V830","V831","V457","V465","V473","V476","V477","V478","V479","V480","V482","V486","V490","V493","V494","V497","V498","V499","V500","V501","V503","V507","V515","V832","V321","V325","V327","V334","V338","V342","V343","V344","V345","V346","V347","V348","V349","V375","V376","V379","V380","V385","V386","V387","V388","V389","V390","V391","V765","V193","V199","V203","V207","V212","V214","V302","V317","V157","V161","V165","V170","V172","V178","V182","V186","V191","V777",],
584:["V3","V7","V9","V15","V16","V17","V26","V28","V30","V31","V32","V35","V36","V37","V38","V39","V40","V41","V45","V321","V322","V323","V324","V325","V326","V327","V328","V336","V338","V340","V342","V343","V344","V345","V346","V347","V348","V349","V353","V357","V361","V364","V366","V368","V370","V380","V383","V1079","V1080","V148","V149","V157","V161","V163","V165","V167","V168","V169","V170","V171","V172","V173","V180","V182","V184","V185","V186","V188","V189","V190","V191","V192","V193","V194","V195","V199","V203","V207","V212","V214","V221","V222","V225","V226","V229","V230","V231","V232","V233","V234","V235","V236","V237","V456","V457","V473","V476","V482","V494","V497","V503","V302","V303","V311","V315","V317","V319","V515","V518","V524","V610","V67","V68","V71","V72","V75","V76","V77","V78","V79","V80","V81","V82","V83","V384","V385","V386","V387","V388","V389","V390","V391","V174",],
585:["V610","V621","V625","V633","V642","V646","V650","V651","V652","V653","V654","V655","V656","V657","V683","V684","V687","V688","V693","V694","V695","V696","V697","V698","V699","V918","V1078","V1080","V1081","V1082","V1083","V1084","V772","V773","V784","V785","V786","V787","V788","V789","V790","V793","V794","V797","V798","V801","V802","V805","V806","V807","V808","V809","V810","V811","V814","V815","V818","V819","V822","V823","V826","V827","V828","V829","V830","V831","V832","V457","V465","V473","V476","V477","V478","V479","V480","V482","V486","V490","V493","V494","V497","V498","V499","V500","V501","V503","V507","V515","V518","V524","V321","V325","V327","V334","V338","V342","V343","V344","V345","V346","V347","V348","V349","V375","V376","V379","V380","V302","V317","V385","V386","V387","V388","V389","V390","V391","V765","V193","V199","V203","V207","V212","V214","V157","V161","V165","V170","V172","V178","V182","V186","V191","V781",],
586:["V336","V340","V343","V344","V345","V346","V347","V348","V349","V371","V373","V377","V378","V381","V382","V385","V386","V387","V388","V389","V390","V391","V456","V457","V465","V467","V471","V475","V477","V479","V481","V486","V488","V498","V507","V610","V611","V644","V648","V651","V652","V653","V654","V655","V656","V657","V679","V681","V685","V686","V689","V690","V693","V694","V695","V696","V697","V698","V699","V764","V765","V1072","V1078","V1079","V1080","V1081","V1082","V1083","V1084","V519","V526","V528","V530","V540","V918","V919","V773","V775","V779","V783","V785","V787","V789","V794","V796","V806","V813","V815","V817","V821","V825","V827","V829","V831","V149","V155","V157","V159","V163","V167","V169","V171","V173","V176","V178","V180","V190","V197","V199","V201","V205","V211","V213","V218","V220","V222","V232","V302","V303","V834","V836","V838","V848","V73","V74","V77","V78","V79","V80","V81","V83","V31","V32","V35","V36","V37","V38","V39","V41","V509",],
587:["V302","V317","V321","V322","V323","V324","V325","V327","V328","V334","V338","V342","V343","V344","V345","V346","V347","V348","V349","V375","V376","V379","V380","V610","V621","V625","V630","V631","V632","V633","V636","V642","V646","V650","V651","V652","V653","V654","V655","V656","V657","V683","V684","V687","V688","V693","V694","V695","V696","V697","V698","V699","V1078","V1080","V1081","V1082","V1083","V1084","V457","V465","V473","V476","V477","V478","V479","V482","V486","V490","V493","V494","V497","V498","V499","V500","V501","V503","V507","V772","V773","V784","V785","V786","V787","V788","V789","V790","V793","V794","V797","V798","V801","V802","V805","V806","V807","V808","V809","V810","V811","V814","V815","V818","V819","V822","V823","V826","V827","V828","V829","V830","V831","V157","V161","V165","V170","V172","V178","V182","V186","V191","V193","V199","V203","V207","V212","V214","V515","V518","V524","V918","V385","V386","V387","V388","V389","V390","V391","V765","V832","V480",],
588:["V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V107","V108","V109","V120","V147","V151","V152","V153","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V274","V275","V276","V277","V278","V279","V301","V305","V306","V307","V384","V385","V386","V387","V388","V389","V390","V391","V415","V416","V417","V418","V419","V420","V421","V422","V423","V424","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V459","V460","V461","V1079","V1080","V1081","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V582","V609","V613","V614","V615","V526","V528","V530","V540","V568","V570","V572","V722","V724","V726","V736","V763","V767","V769","V680","V682","V684","V694","V110",],
589:["V302","V313","V317","V321","V322","V323","V324","V325","V326","V327","V328","V334","V338","V342","V343","V344","V345","V346","V347","V348","V349","V375","V376","V379","V380","V610","V621","V625","V630","V631","V632","V633","V634","V636","V642","V646","V650","V651","V652","V653","V654","V655","V656","V657","V683","V684","V687","V688","V693","V694","V695","V696","V697","V698","V699","V1078","V1080","V1081","V1082","V1083","V1084","V457","V465","V473","V476","V477","V479","V482","V486","V490","V493","V494","V497","V498","V499","V500","V501","V503","V507","V772","V773","V784","V785","V786","V787","V788","V789","V790","V793","V794","V797","V798","V801","V802","V805","V806","V807","V808","V809","V810","V811","V814","V815","V818","V819","V822","V823","V826","V827","V828","V829","V830","V831","V157","V161","V165","V170","V172","V178","V182","V186","V191","V515","V518","V524","V918","V193","V199","V203","V207","V212","V214","V385","V386","V387","V388","V389","V390","V391","V765","V832","V478",],
590:["V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V107","V109","V147","V151","V152","V153","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V274","V275","V276","V277","V278","V279","V301","V305","V306","V307","V384","V385","V386","V387","V388","V389","V390","V391","V415","V416","V417","V418","V419","V420","V421","V422","V423","V424","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V459","V460","V461","V1079","V1080","V1081","V63","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V582","V609","V613","V614","V615","V525","V526","V527","V528","V529","V530","V540","V567","V568","V569","V570","V571","V572","V679","V680","V681","V682","V683","V684","V694","V721","V722","V723","V724","V725","V726","V736","V763","V767","V769","V120",],
591:["V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V147","V148","V149","V151","V152","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V274","V275","V276","V277","V278","V279","V301","V302","V303","V305","V306","V307","V384","V385","V386","V387","V388","V389","V390","V391","V415","V416","V417","V418","V419","V420","V421","V422","V423","V424","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V456","V457","V459","V460","V461","V1079","V1080","V1081","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V63","V582","V609","V613","V614","V615","V525","V526","V527","V528","V529","V530","V540","V567","V568","V569","V570","V571","V572","V679","V680","V681","V682","V683","V684","V694","V721","V722","V723","V724","V725","V726","V736","V763","V767","V769","V153",],
592:["V3","V7","V15","V16","V17","V26","V28","V30","V31","V32","V35","V36","V37","V38","V39","V40","V41","V45","V63","V148","V149","V155","V157","V159","V161","V163","V165","V167","V169","V170","V171","V172","V173","V176","V178","V180","V182","V184","V185","V186","V188","V189","V190","V191","V192","V193","V194","V195","V197","V199","V201","V203","V205","V207","V211","V212","V213","V214","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V229","V230","V231","V232","V233","V234","V235","V236","V237","V302","V303","V309","V311","V313","V315","V317","V319","V321","V322","V323","V324","V325","V326","V327","V328","V330","V332","V334","V336","V338","V340","V342","V343","V344","V345","V346","V347","V348","V349","V351","V353","V355","V357","V359","V361","V364","V365","V366","V367","V368","V370","V372","V374","V376","V378","V380","V383","V1079","V1080","V456","V457","V473","V476","V482","V494","V497","V503","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V75","V76","V77","V78","V79","V80","V81","V82","V83","V384","V385","V386","V387","V388","V389","V390","V391","V515","V518","V524","V610","V9",],
593:["V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V148","V149","V384","V385","V386","V387","V388","V389","V390","V391","V415","V416","V417","V418","V419","V420","V421","V422","V423","V424","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V456","V457","V459","V460","V461","V1079","V1080","V1081","V261","V262","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V274","V275","V276","V277","V278","V279","V301","V302","V303","V305","V306","V307","V525","V526","V527","V528","V529","V530","V533","V539","V540","V542","V543","V544","V545","V567","V568","V569","V570","V571","V572","V575","V581","V582","V584","V585","V586","V587","V609","V613","V614","V615","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V63","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V679","V680","V681","V682","V683","V684","V694","V721","V722","V723","V724","V725","V726","V736","V763","V767","V769","V263",],
594:["V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V148","V149","V384","V385","V386","V387","V388","V389","V390","V391","V415","V416","V417","V418","V419","V420","V421","V422","V423","V424","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V456","V457","V459","V460","V461","V1079","V1080","V1081","V261","V262","V265","V266","V267","V268","V269","V270","V271","V272","V273","V274","V275","V276","V277","V278","V279","V301","V302","V303","V305","V306","V307","V525","V526","V527","V528","V529","V530","V533","V534","V539","V540","V542","V543","V544","V545","V567","V568","V569","V570","V571","V572","V575","V576","V581","V582","V584","V585","V586","V587","V609","V613","V614","V615","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V721","V722","V723","V724","V725","V726","V736","V763","V767","V769","V679","V680","V681","V682","V683","V684","V694","V63","V264",],
595:["V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V148","V149","V384","V385","V386","V387","V388","V389","V390","V391","V415","V416","V417","V418","V419","V420","V421","V422","V423","V424","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V456","V457","V459","V460","V461","V1079","V1080","V1081","V262","V265","V266","V267","V268","V269","V270","V271","V272","V273","V274","V275","V276","V277","V278","V279","V301","V302","V303","V305","V306","V307","V525","V526","V527","V528","V529","V530","V531","V533","V534","V539","V540","V541","V542","V543","V544","V545","V567","V568","V569","V570","V571","V572","V573","V575","V576","V581","V582","V583","V584","V585","V586","V587","V609","V613","V614","V615","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V63","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V679","V680","V681","V682","V683","V684","V694","V721","V722","V723","V724","V725","V726","V736","V763","V767","V769","V261",],
596:["V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V148","V149","V384","V385","V386","V387","V388","V389","V390","V391","V415","V416","V417","V418","V419","V420","V421","V422","V423","V424","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V456","V457","V459","V460","V461","V1079","V1080","V1081","V265","V266","V267","V268","V269","V270","V271","V272","V273","V274","V275","V276","V277","V278","V279","V301","V302","V303","V305","V306","V307","V525","V526","V527","V528","V529","V530","V531","V532","V533","V534","V539","V540","V541","V542","V543","V544","V545","V567","V568","V569","V570","V571","V572","V573","V574","V575","V576","V581","V582","V583","V584","V585","V586","V587","V609","V613","V614","V615","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V721","V722","V723","V724","V725","V726","V736","V763","V767","V769","V679","V680","V681","V682","V683","V684","V694","V63","V262",],
597:["V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V148","V149","V384","V385","V386","V387","V388","V389","V390","V391","V415","V416","V417","V418","V419","V420","V421","V422","V423","V424","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V456","V457","V459","V460","V461","V1079","V1080","V1081","V265","V266","V268","V269","V270","V271","V272","V273","V274","V275","V276","V277","V278","V279","V301","V302","V303","V305","V306","V307","V525","V526","V527","V528","V529","V530","V531","V532","V533","V534","V537","V539","V540","V541","V542","V543","V544","V545","V567","V568","V569","V570","V571","V572","V573","V574","V575","V576","V579","V581","V582","V583","V584","V585","V586","V587","V609","V613","V614","V615","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V679","V680","V681","V682","V683","V684","V694","V721","V722","V723","V724","V725","V726","V736","V763","V767","V769","V63","V267",],
598:["V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V148","V149","V384","V385","V386","V387","V388","V389","V390","V391","V415","V416","V417","V418","V419","V420","V421","V422","V423","V424","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V456","V457","V459","V460","V461","V1079","V1080","V1081","V265","V266","V268","V269","V270","V271","V272","V273","V274","V275","V276","V277","V279","V301","V302","V303","V305","V306","V307","V576","V579","V580","V581","V582","V583","V584","V585","V586","V587","V609","V613","V614","V615","V525","V526","V527","V528","V529","V530","V531","V532","V533","V534","V537","V538","V539","V540","V541","V542","V543","V544","V545","V567","V568","V569","V570","V571","V572","V573","V574","V575","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V679","V680","V681","V682","V683","V684","V694","V721","V722","V723","V724","V725","V726","V736","V763","V767","V769","V63","V278",],
599:["V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V148","V149","V384","V385","V386","V387","V388","V389","V390","V391","V415","V416","V417","V418","V419","V420","V421","V422","V423","V424","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V456","V457","V459","V460","V461","V1079","V1080","V1081","V266","V269","V270","V273","V274","V275","V276","V277","V279","V301","V302","V303","V305","V306","V307","V525","V526","V527","V528","V529","V530","V531","V532","V533","V534","V535","V537","V538","V539","V540","V541","V542","V543","V544","V545","V567","V568","V569","V570","V571","V572","V573","V574","V575","V576","V577","V579","V580","V581","V582","V583","V584","V585","V586","V587","V609","V613","V614","V615","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V679","V680","V681","V682","V683","V684","V694","V721","V722","V723","V724","V725","V726","V736","V763","V767","V769","V63","V265",],
600:["V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V148","V149","V384","V385","V386","V387","V388","V389","V390","V391","V415","V416","V417","V418","V419","V420","V421","V422","V423","V424","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V456","V457","V459","V460","V461","V1079","V1080","V1081","V266","V269","V270","V273","V274","V275","V276","V277","V301","V302","V303","V305","V306","V307","V576","V577","V578","V579","V580","V581","V582","V583","V584","V585","V586","V587","V609","V613","V614","V615","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V525","V526","V527","V528","V529","V530","V531","V532","V533","V534","V535","V536","V537","V538","V539","V540","V541","V542","V543","V544","V545","V567","V568","V569","V570","V571","V572","V573","V574","V575","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V679","V680","V681","V682","V683","V684","V694","V721","V722","V723","V724","V725","V726","V736","V763","V767","V769","V63","V279",],
601:["V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V148","V149","V384","V385","V386","V387","V388","V389","V390","V391","V415","V416","V417","V418","V419","V420","V421","V422","V423","V424","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V456","V457","V459","V460","V461","V1079","V1080","V1081","V301","V302","V303","V305","V306","V525","V526","V527","V528","V529","V530","V531","V532","V533","V534","V535","V536","V537","V538","V539","V540","V541","V542","V543","V544","V545","V567","V568","V569","V570","V571","V572","V573","V574","V575","V576","V577","V578","V579","V580","V581","V582","V583","V584","V585","V586","V587","V609","V610","V611","V613","V614","V615","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V63","V679","V680","V681","V682","V683","V684","V694","V721","V722","V723","V724","V725","V726","V736","V763","V767","V769","V307",],
602:["V302","V303","V525","V526","V527","V528","V529","V530","V531","V532","V533","V534","V535","V536","V537","V538","V539","V540","V541","V542","V543","V544","V545","V567","V568","V569","V570","V571","V572","V573","V574","V575","V576","V577","V578","V579","V580","V581","V582","V583","V584","V585","V586","V587","V609","V610","V611","V612","V613","V614","V615","V1079","V1080","V1081","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V148","V149","V63","V455","V456","V457","V459","V461","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V384","V385","V386","V387","V388","V389","V390","V391","V415","V416","V417","V418","V419","V420","V421","V422","V423","V424","V425","V426","V427","V428","V429","V430","V431","V432","V433","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V679","V680","V681","V682","V683","V684","V694","V721","V722","V723","V724","V725","V726","V736","V763","V767","V769","V460",],
603:["V31","V32","V35","V36","V37","V38","V39","V41","V63","V148","V149","V155","V157","V159","V161","V163","V165","V167","V169","V170","V171","V172","V173","V176","V178","V180","V182","V184","V185","V186","V188","V189","V190","V191","V192","V193","V194","V195","V197","V199","V201","V203","V205","V207","V211","V212","V213","V214","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V302","V303","V309","V311","V313","V315","V317","V319","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V321","V322","V323","V324","V325","V326","V327","V328","V330","V332","V334","V336","V338","V340","V342","V343","V344","V345","V346","V347","V348","V349","V351","V353","V355","V357","V359","V361","V364","V365","V366","V367","V368","V370","V372","V374","V376","V378","V380","V382","V383","V384","V385","V386","V387","V388","V389","V390","V391","V456","V457","V473","V476","V482","V494","V497","V503","V1079","V1080","V515","V518","V524","V610","V28",],
604:["V659","V661","V764","V1078","V1080","V1081","V1082","V1083","V1084","V833","V834","V835","V836","V837","V838","V841","V842","V845","V846","V847","V848","V849","V850","V851","V852","V917","V918","V919","V920","V921","V922","V923","V775","V779","V783","V787","V789","V793","V794","V795","V796","V797","V798","V799","V800","V801","V802","V803","V804","V805","V806","V807","V808","V809","V810","V811","V525","V526","V527","V528","V529","V530","V531","V532","V533","V534","V535","V536","V537","V538","V539","V540","V541","V542","V543","V544","V545","V567","V568","V569","V570","V571","V572","V573","V574","V575","V576","V577","V578","V579","V580","V581","V582","V583","V584","V585","V586","V587","V609","V610","V611","V612","V613","V614","V615","V617","V619","V621","V623","V625","V627","V630","V631","V632","V633","V634","V636","V456","V467","V471","V475","V479","V481","V486","V488","V490","V493","V494","V497","V498","V499","V500","V501","V502","V503","V303","V309","V311","V313","V315","V317","V319","V322","V323","V324","V325","V326","V328","V351","V353","V355","V357","V359","V361","V364","V365","V366","V367","V368","V370","V159","V163","V167","V171","V173","V180","V184","V188","V192","V194","V222","V226","V230","V234","V236","V853",],
605:["V31","V32","V35","V36","V37","V38","V39","V41","V63","V148","V149","V155","V157","V159","V161","V163","V165","V167","V169","V170","V171","V172","V173","V176","V178","V180","V182","V184","V185","V186","V188","V189","V190","V191","V321","V322","V323","V324","V325","V326","V327","V328","V330","V332","V334","V336","V338","V340","V342","V343","V344","V345","V346","V347","V348","V349","V351","V353","V355","V357","V359","V361","V364","V365","V366","V367","V368","V370","V372","V374","V376","V378","V380","V382","V383","V456","V457","V473","V476","V482","V493","V494","V497","V498","V499","V500","V501","V503","V1079","V1080","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V192","V193","V194","V197","V199","V201","V203","V205","V207","V211","V212","V213","V214","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V302","V303","V309","V311","V313","V315","V317","V319","V515","V518","V524","V535","V536","V539","V540","V541","V542","V543","V545","V610","V611","V384","V385","V386","V387","V388","V389","V390","V391","V195",],
606:["V610","V617","V619","V621","V623","V625","V627","V630","V631","V632","V633","V634","V636","V642","V644","V646","V648","V650","V651","V652","V653","V654","V655","V656","V657","V659","V661","V680","V682","V683","V684","V686","V687","V688","V693","V694","V695","V696","V697","V698","V699","V918","V919","V1072","V1078","V1080","V1081","V1082","V1083","V1084","V772","V773","V775","V779","V783","V784","V785","V786","V787","V788","V789","V793","V794","V795","V796","V797","V798","V799","V800","V801","V802","V803","V804","V805","V806","V807","V808","V809","V810","V811","V812","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V832","V833","V835","V837","V848","V457","V465","V473","V476","V477","V479","V482","V486","V490","V493","V494","V497","V498","V499","V500","V501","V503","V507","V515","V518","V519","V524","V302","V309","V311","V313","V315","V317","V321","V322","V323","V324","V325","V326","V327","V328","V330","V332","V334","V336","V338","V342","V343","V344","V345","V346","V347","V348","V349","V372","V374","V375","V376","V378","V379","V380","V764","V765","V385","V386","V387","V388","V389","V390","V391","V157","V161","V165","V170","V172","V178","V182","V186","V191","V193","V199","V203","V207","V212","V214","V790",],
607:["V610","V611","V617","V619","V621","V623","V625","V627","V630","V631","V632","V633","V634","V636","V644","V646","V648","V650","V651","V652","V653","V654","V655","V656","V657","V659","V661","V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V689","V690","V693","V694","V695","V696","V697","V698","V699","V918","V919","V1072","V1078","V1079","V1080","V1081","V1082","V1083","V1084","V773","V775","V779","V783","V787","V789","V793","V794","V795","V796","V797","V798","V799","V800","V801","V802","V803","V804","V805","V806","V807","V808","V809","V810","V811","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V456","V457","V465","V467","V471","V473","V475","V476","V477","V479","V481","V482","V486","V488","V490","V493","V494","V497","V498","V499","V500","V501","V503","V507","V515","V518","V519","V524","V526","V528","V530","V540","V832","V833","V834","V835","V836","V837","V838","V848","V764","V765","V321","V322","V323","V324","V325","V326","V327","V328","V330","V332","V334","V336","V338","V340","V342","V343","V344","V345","V346","V347","V348","V349","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V302","V303","V309","V311","V313","V315","V317","V149","V155","V157","V159","V161","V163","V165","V167","V169","V170","V171","V172","V173","V176","V178","V180","V182","V186","V190","V191","V193","V197","V199","V201","V203","V205","V207","V211","V212","V213","V214","V218","V220","V222","V232","V385","V386","V387","V388","V389","V390","V391","V31","V32","V35","V36","V37","V38","V39","V41","V73","V74","V77","V78","V79","V80","V81","V83","V785",],
608:["V456","V457","V467","V471","V473","V475","V476","V479","V481","V482","V486","V488","V490","V493","V494","V497","V498","V499","V500","V501","V503","V515","V518","V524","V526","V528","V530","V540","V610","V611","V617","V619","V621","V623","V625","V627","V630","V631","V632","V633","V634","V636","V775","V779","V783","V787","V789","V793","V794","V795","V796","V797","V798","V799","V800","V801","V802","V803","V804","V805","V806","V807","V808","V809","V810","V811","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V918","V919","V1072","V1078","V1079","V1080","V1081","V1082","V1083","V1084","V321","V322","V323","V324","V325","V326","V327","V328","V330","V332","V334","V336","V338","V340","V342","V343","V344","V345","V346","V347","V348","V349","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V385","V386","V387","V388","V389","V390","V391","V764","V765","V644","V646","V648","V650","V651","V655","V656","V659","V661","V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V689","V690","V693","V694","V695","V696","V697","V698","V699","V302","V303","V309","V311","V313","V315","V317","V319","V832","V833","V834","V835","V836","V837","V838","V848","V193","V197","V199","V201","V203","V205","V207","V211","V212","V213","V214","V218","V220","V222","V232","V73","V74","V77","V78","V79","V80","V81","V83","V31","V32","V35","V36","V37","V38","V39","V41","V149","V155","V157","V159","V161","V163","V165","V167","V169","V170","V171","V172","V173","V176","V178","V180","V182","V186","V190","V191","V657",],
609:["V775","V779","V783","V787","V789","V793","V794","V795","V796","V797","V798","V799","V800","V801","V802","V803","V804","V805","V806","V807","V808","V809","V810","V811","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V917","V918","V919","V920","V921","V922","V923","V1078","V1079","V1080","V1081","V1082","V1083","V1084","V610","V611","V617","V619","V621","V623","V625","V627","V630","V631","V632","V633","V634","V636","V832","V833","V834","V835","V836","V837","V838","V848","V646","V650","V656","V659","V661","V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V689","V690","V693","V694","V695","V696","V697","V698","V699","V764","V765","V515","V518","V524","V526","V528","V530","V540","V456","V457","V467","V471","V473","V475","V476","V479","V481","V482","V486","V488","V490","V493","V494","V497","V498","V499","V500","V501","V503","V302","V303","V309","V311","V313","V315","V317","V319","V149","V155","V157","V159","V161","V163","V165","V167","V169","V170","V171","V172","V173","V176","V178","V180","V182","V186","V190","V191","V193","V197","V199","V201","V203","V205","V207","V211","V212","V213","V214","V218","V220","V222","V232","V321","V322","V323","V324","V325","V326","V327","V328","V330","V332","V334","V336","V338","V340","V342","V343","V344","V345","V346","V347","V348","V349","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V385","V386","V387","V388","V389","V390","V391","V31","V32","V35","V36","V37","V38","V39","V41","V73","V74","V77","V78","V79","V80","V81","V83","V1072",],
610:["V321","V322","V323","V324","V325","V326","V327","V328","V330","V332","V334","V336","V338","V340","V342","V343","V344","V345","V346","V347","V348","V349","V351","V353","V355","V357","V359","V361","V364","V365","V366","V367","V368","V370","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V610","V611","V617","V619","V621","V623","V625","V627","V630","V631","V632","V633","V634","V636","V646","V650","V656","V659","V661","V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V689","V690","V693","V694","V695","V696","V697","V698","V699","V1078","V1079","V1080","V1081","V1082","V1083","V1084","V148","V149","V155","V157","V159","V161","V163","V165","V167","V169","V170","V171","V172","V173","V176","V178","V180","V182","V184","V186","V188","V190","V191","V192","V193","V194","V197","V199","V201","V203","V205","V207","V211","V212","V213","V214","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V456","V457","V467","V471","V473","V475","V476","V479","V481","V486","V488","V490","V493","V494","V497","V498","V499","V500","V501","V503","V775","V779","V783","V787","V789","V793","V794","V795","V796","V797","V798","V799","V800","V801","V802","V803","V804","V805","V806","V807","V808","V809","V810","V811","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V515","V518","V524","V526","V528","V530","V535","V536","V539","V540","V541","V542","V543","V545","V917","V918","V919","V920","V921","V922","V923","V832","V833","V834","V835","V836","V837","V838","V848","V302","V303","V309","V311","V313","V315","V317","V319","V31","V32","V35","V36","V37","V38","V39","V41","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V384","V385","V386","V387","V388","V389","V390","V391","V764","V765","V482",],
611:["V63","V148","V149","V159","V163","V167","V171","V173","V178","V180","V182","V184","V186","V188","V191","V302","V303","V309","V311","V313","V315","V317","V319","V322","V323","V324","V325","V326","V328","V338","V342","V348","V351","V353","V355","V357","V359","V361","V364","V365","V366","V367","V368","V370","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V456","V457","V467","V471","V475","V479","V481","V486","V488","V490","V493","V494","V497","V498","V499","V500","V501","V503","V1078","V1079","V1080","V1081","V1082","V1083","V1084","V192","V194","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V515","V518","V524","V526","V528","V530","V532","V535","V536","V539","V540","V541","V542","V543","V545","V610","V611","V617","V619","V621","V623","V625","V627","V630","V631","V632","V633","V634","V636","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V384","V385","V386","V387","V388","V389","V390","V391","V646","V650","V656","V659","V661","V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V689","V690","V693","V694","V695","V696","V697","V698","V699","V775","V779","V783","V787","V789","V793","V794","V795","V796","V797","V798","V799","V800","V801","V802","V803","V804","V805","V806","V807","V808","V809","V810","V811","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V917","V918","V919","V920","V921","V922","V923","V764","V765","V832","V833","V834","V835","V836","V837","V838","V848","V193",],
612:["V646","V650","V656","V659","V661","V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V689","V690","V693","V694","V695","V696","V697","V698","V699","V764","V765","V1078","V1079","V1080","V1081","V1082","V1083","V1084","V832","V833","V834","V835","V836","V837","V838","V917","V918","V919","V920","V921","V922","V923","V775","V779","V783","V787","V789","V793","V794","V795","V796","V797","V798","V799","V800","V801","V802","V803","V804","V805","V806","V807","V808","V809","V810","V811","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V515","V518","V524","V525","V526","V527","V528","V529","V530","V531","V532","V533","V534","V535","V536","V537","V538","V539","V540","V541","V542","V543","V544","V545","V567","V568","V569","V570","V571","V572","V573","V574","V575","V576","V577","V578","V579","V580","V581","V582","V583","V584","V585","V586","V587","V609","V610","V611","V612","V613","V614","V615","V617","V619","V621","V623","V625","V627","V630","V631","V632","V633","V634","V636","V456","V457","V467","V471","V475","V479","V481","V486","V488","V490","V493","V494","V497","V498","V499","V500","V501","V503","V302","V303","V309","V311","V313","V315","V317","V319","V148","V149","V159","V163","V167","V171","V173","V180","V184","V188","V192","V194","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V322","V323","V324","V325","V326","V328","V338","V342","V348","V351","V353","V355","V357","V359","V361","V364","V365","V366","V367","V368","V370","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V384","V385","V386","V387","V388","V389","V390","V391","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V848",],
613:["V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V148","V149","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V233","V234","V235","V236","V237","V302","V303","V338","V342","V348","V371","V372","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V384","V385","V386","V387","V388","V389","V390","V391","V415","V416","V417","V418","V419","V420","V421","V422","V423","V424","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V456","V457","V459","V461","V1078","V1079","V1080","V1081","V1082","V1083","V1084","V576","V577","V578","V579","V580","V581","V582","V583","V584","V585","V586","V587","V609","V610","V611","V612","V613","V614","V615","V515","V518","V524","V525","V526","V527","V528","V529","V530","V531","V532","V533","V534","V535","V536","V537","V538","V539","V540","V541","V542","V543","V544","V545","V567","V568","V569","V570","V571","V572","V573","V574","V575","V646","V650","V656","V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V689","V690","V693","V694","V695","V696","V697","V698","V699","V769","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V721","V722","V723","V724","V725","V726","V736","V763","V765","V767","V917","V918","V919","V920","V921","V922","V923","V832","V83",],
614:["V515","V518","V524","V612","V614","V1078","V1081","V1082","V1083","V1084","V384","V385","V386","V387","V388","V389","V390","V391","V415","V416","V418","V419","V420","V421","V422","V423","V424","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V457","V459","V461","V721","V722","V723","V724","V725","V726","V729","V735","V736","V738","V739","V740","V741","V763","V765","V767","V769","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V338","V342","V348","V373","V374","V375","V376","V377","V378","V379","V380","V381","V382","V383","V646","V650","V656","V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V689","V690","V693","V694","V695","V696","V697","V698","V699","V917","V918","V919","V920","V921","V922","V923","V832","V417",],
615:["V515","V518","V524","V612","V614","V1078","V1081","V1082","V1083","V1084","V384","V385","V386","V387","V388","V389","V390","V391","V415","V416","V419","V420","V421","V422","V423","V424","V425","V426","V427","V428","V429","V430","V431","V432","V433","V455","V457","V459","V461","V721","V722","V723","V724","V725","V726","V729","V730","V735","V736","V738","V739","V740","V741","V763","V765","V767","V769","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V338","V342","V348","V373","V374","V376","V377","V378","V379","V380","V381","V382","V383","V646","V650","V656","V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V689","V690","V693","V694","V695","V696","V697","V698","V699","V917","V918","V919","V920","V921","V922","V923","V832","V418",],
616:["V455","V457","V459","V461","V515","V518","V524","V612","V614","V769","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V832","V864","V865","V868","V874","V917","V918","V919","V920","V921","V922","V923","V1078","V1081","V1082","V1083","V1084","V338","V342","V348","V373","V374","V377","V378","V379","V380","V381","V382","V383","V646","V650","V656","V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V689","V690","V693","V694","V695","V696","V697","V698","V699","V384","V385","V386","V387","V388","V389","V390","V391","V415","V416","V419","V420","V421","V422","V423","V424","V425","V426","V427","V428","V429","V430","V431","V432","V433","V721","V722","V723","V724","V725","V726","V729","V730","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V765",],
617:["V614","V1078","V1081","V1082","V1083","V1084","V385","V386","V387","V388","V389","V390","V391","V415","V419","V420","V423","V424","V427","V428","V429","V430","V431","V432","V433","V455","V459","V461","V721","V722","V723","V724","V725","V726","V728","V729","V730","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V769","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V373","V374","V377","V378","V381","V382","V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V689","V690","V693","V694","V695","V696","V697","V698","V699","V917","V918","V919","V920","V921","V922","V923","V832","V864","V865","V868","V874","V416",],
618:["V614","V1078","V1081","V1082","V1083","V1084","V385","V386","V387","V388","V389","V390","V391","V415","V419","V420","V423","V424","V427","V428","V429","V430","V431","V433","V455","V459","V461","V721","V722","V723","V724","V725","V726","V727","V728","V729","V730","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V769","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V373","V377","V378","V381","V382","V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V689","V690","V693","V694","V695","V696","V697","V698","V699","V832","V864","V865","V868","V874","V917","V918","V919","V920","V921","V922","V923","V432",],
619:["V614","V1078","V1081","V1082","V1083","V1084","V385","V386","V387","V388","V389","V391","V420","V423","V424","V427","V428","V429","V430","V431","V433","V455","V459","V461","V721","V722","V723","V724","V725","V726","V727","V728","V729","V730","V731","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V769","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V377","V378","V381","V382","V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V689","V690","V693","V694","V695","V696","V697","V698","V699","V917","V918","V919","V920","V921","V922","V923","V832","V864","V865","V868","V874","V419",],
620:["V385","V386","V387","V388","V389","V391","V420","V423","V424","V427","V428","V429","V430","V431","V433","V455","V459","V461","V721","V722","V723","V724","V725","V726","V727","V728","V729","V730","V731","V732","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V769","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V1078","V1081","V1082","V1083","V1084","V832","V864","V865","V868","V874","V917","V918","V919","V920","V921","V922","V923","V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V689","V690","V693","V694","V695","V696","V697","V698","V699","V378","V381","V382","V614",],
621:["V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V694","V695","V696","V721","V722","V723","V724","V725","V726","V727","V728","V729","V730","V731","V732","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V1078","V1083","V1084","V769","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V826","V827","V828","V829","V830","V831","V832","V862","V863","V864","V865","V866","V867","V868","V869","V870","V871","V872","V873","V874","V917","V918","V919","V920","V921","V922","V923","V861",],
622:["V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V690","V694","V695","V696","V697","V721","V722","V723","V724","V725","V726","V727","V728","V729","V730","V731","V732","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V1078","V1083","V1084","V769","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V826","V827","V828","V829","V830","V831","V832","V863","V864","V865","V866","V867","V868","V869","V870","V871","V872","V873","V874","V917","V918","V919","V920","V921","V922","V923","V862",],
623:["V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V689","V690","V694","V695","V696","V697","V721","V722","V723","V724","V725","V726","V727","V728","V729","V730","V731","V732","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V1078","V1083","V1084","V769","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V832","V864","V865","V866","V867","V868","V869","V870","V871","V872","V873","V874","V917","V918","V919","V920","V921","V922","V923","V863",],
624:["V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V689","V690","V693","V694","V695","V696","V697","V699","V721","V722","V723","V724","V725","V726","V727","V728","V729","V730","V731","V732","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V1078","V1083","V1084","V769","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V832","V864","V865","V866","V867","V868","V869","V870","V871","V872","V874","V917","V918","V919","V920","V921","V922","V923","V873",],
625:["V721","V722","V723","V724","V725","V726","V727","V728","V729","V730","V731","V732","V733","V734","V735","V736","V737","V738","V739","V740","V741","V763","V767","V769","V812","V813","V814","V815","V816","V817","V818","V819","V820","V821","V822","V823","V824","V825","V826","V827","V828","V829","V830","V831","V1078","V1083","V1084","V832","V864","V865","V868","V869","V870","V871","V872","V874","V917","V918","V919","V920","V921","V922","V679","V680","V681","V682","V683","V684","V685","V686","V687","V688","V689","V690","V693","V694","V695","V696","V697","V698","V699","V923",],
626:["V1006","V1078","V1084","V822","V823","V826","V827","V828","V829","V830","V832","V864","V865","V868","V869","V870","V871","V874","V920","V872",],
627:["V822","V826","V1000","V1078","V1084","V832","V864","V868","V874","V920",],
}

Variable Max Cliques: [(V0, 1), (V1, 10), (V10, 2), (V100, 1), (V1000, 1), (V1001, 1), (V1002, 1), (V1003, 1), (V1004, 1), (V1005, 1), (V1006, 1), (V1007, 1), (V1008, 1), (V1009, 1), (V101, 1), (V1010, 1), (V1011, 1), (V1012, 1), (V1013, 1), (V1014, 1), (V1015, 1), (V1016, 1), (V1017, 1), (V1018, 1), (V1019, 1), (V102, 1), (V1020, 1), (V1021, 1), (V1022, 1), (V1023, 1), (V1024, 1), (V1025, 1), (V1026, 1), (V1027, 1), (V1028, 1), (V1029, 1), (V103, 1), (V1030, 1), (V1031, 1), (V1032, 1), (V1033, 1), (V1034, 1), (V1035, 1), (V1036, 1), (V1037, 1), (V1038, 1), (V1039, 1), (V104, 1), (V1040, 1), (V1041, 1), (V1042, 1), (V1043, 6), (V1044, 1), (V1045, 1), (V1046, 1), (V1047, 3), (V1048, 1), (V1049, 6), (V105, 9), (V1050, 1), (V1051, 1), (V1052, 1), (V1053, 1), (V1054, 1), (V1055, 1), (V1056, 1), (V1057, 1), (V1058, 1), (V1059, 1), (V106, 9), (V1060, 1), (V1061, 1), (V1062, 1), (V1063, 1), (V1064, 1), (V1065, 1), (V1066, 1), (V1067, 1), (V1068, 1), (V1069, 1), (V107, 20), (V1070, 1), (V1071, 19), (V1072, 13), (V1073, 1), (V1074, 1), (V1075, 6), (V1076, 14), (V1077, 20), (V1078, 228), (V1079, 129), (V108, 18), (V1080, 119), (V1081, 130), (V1082, 139), (V1083, 82), (V1084, 228), (V109, 20), (V11, 16), (V110, 18), (V111, 15), (V112, 15), (V113, 14), (V114, 16), (V115, 13), (V116, 14), (V117, 14), (V118, 13), (V119, 41), (V12, 1), (V120, 49), (V121, 41), (V122, 41), (V123, 41), (V124, 39), (V125, 41), (V126, 1), (V127, 1), (V128, 1), (V129, 1), (V13, 1), (V130, 1), (V131, 1), (V132, 1), (V133, 1), (V134, 1), (V135, 1), (V136, 1), (V137, 1), (V138, 1), (V139, 1), (V14, 14), (V140, 1), (V141, 1), (V142, 1), (V143, 1), (V144, 1), (V145, 1), (V146, 1), (V147, 62), (V148, 52), (V149, 66), (V15, 20), (V150, 1), (V151, 62), (V152, 20), (V153, 62), (V154, 1), (V155, 26), (V156, 1), (V157, 43), (V158, 1), (V159, 36), (V16, 18), (V160, 1), (V161, 37), (V162, 1), (V163, 40), (V164, 3), (V165, 35), (V166, 1), (V167, 32), (V168, 18), (V169, 30), (V17, 17), (V170, 33), (V171, 32), (V172, 31), (V173, 32), (V174, 18), (V175, 1), (V176, 25), (V177, 1), (V178, 34), (V179, 1), (V18, 12), (V180, 37), (V181, 1), (V182, 32), (V183, 1), (V184, 30), (V185, 22), (V186, 34), (V187, 1), (V188, 23), (V189, 30), (V19, 3), (V190, 35), (V191, 37), (V192, 29), (V193, 38), (V194, 32), (V195, 30), (V196, 1), (V197, 22), (V198, 1), (V199, 39), (V2, 1), (V20, 14), (V200, 1), (V201, 28), (V202, 1), (V203, 30), (V204, 1), (V205, 21), (V206, 1), (V207, 29), (V208, 1), (V209, 2), (V21, 1), (V210, 10), (V211, 20), (V212, 26), (V213, 18), (V214, 27), (V215, 7), (V216, 11), (V217, 35), (V218, 44), (V219, 41), (V22, 10), (V220, 48), (V221, 42), (V222, 58), (V223, 37), (V224, 40), (V225, 41), (V226, 50), (V227, 41), (V228, 38), (V229, 42), (V23, 1), (V230, 46), (V231, 67), (V232, 78), (V233, 64), (V234, 66), (V235, 65), (V236, 67), (V237, 67), (V238, 1), (V239, 1), (V24, 12), (V240, 1), (V241, 1), (V242, 1), (V243, 1), (V244, 1), (V245, 1), (V246, 1), (V247, 1), (V248, 1), (V249, 1), (V25, 1), (V250, 1), (V251, 1), (V252, 1), (V253, 1), (V254, 1), (V255, 1), (V256, 1), (V257, 1), (V258, 1), (V259, 10), (V26, 23), (V260, 10), (V261, 24), (V262, 24), (V263, 22), (V264, 22), (V265, 27), (V266, 27), (V267, 24), (V268, 26), (V269, 28), (V27, 1), (V270, 28), (V271, 26), (V272, 26), (V273, 52), (V274, 58), (V275, 52), (V276, 52), (V277, 52), (V278, 48), (V279, 52), (V28, 18), (V280, 1), (V281, 1), (V282, 1), (V283, 1), (V284, 1), (V285, 1), (V286, 1), (V287, 1), (V288, 1), (V289, 1), (V29, 1), (V290, 1), (V291, 1), (V292, 1), (V293, 1), (V294, 1), (V295, 1), (V296, 1), (V297, 1), (V298, 1), (V299, 1), (V3, 24), (V30, 20), (V300, 1), (V301, 71), (V302, 75), (V303, 68), (V304, 1), (V305, 71), (V306, 29), (V307, 71), (V308, 1), (V309, 33), (V31, 31), (V310, 1), (V311, 42), (V312, 1), (V313, 37), (V314, 1), (V315, 40), (V316, 1), (V317, 41), (V318, 1), (V319, 32), (V32, 26), (V320, 1), (V321, 25), (V322, 33), (V323, 32), (V324, 35), (V325, 32), (V326, 31), (V327, 25), (V328, 33), (V329, 1), (V33, 1), (V330, 25), (V331, 1), (V332, 25), (V333, 1), (V334, 30), (V335, 1), (V336, 29), (V337, 1), (V338, 43), (V339, 1), (V34, 6), (V340, 23), (V341, 1), (V342, 36), (V343, 30), (V344, 34), (V345, 30), (V346, 27), (V347, 26), (V348, 42), (V349, 30), (V35, 39), (V350, 1), (V351, 22), (V352, 1), (V353, 31), (V354, 1), (V355, 25), (V356, 1), (V357, 27), (V358, 1), (V359, 18), (V36, 32), (V360, 1), (V361, 26), (V362, 1), (V363, 1), (V364, 25), (V365, 20), (V366, 22), (V367, 18), (V368, 24), (V369, 1), (V37, 29), (V370, 25), (V371, 29), (V372, 44), (V373, 40), (V374, 52), (V375, 43), (V376, 55), (V377, 43), (V378, 55), (V379, 46), (V38, 29), (V380, 59), (V381, 46), (V382, 48), (V383, 39), (V384, 45), (V385, 74), (V386, 86), (V387, 77), (V388, 73), (V389, 72), (V39, 30), (V390, 74), (V391, 76), (V392, 1), (V393, 1), (V394, 1), (V395, 1), (V396, 1), (V397, 1), (V398, 1), (V399, 1), (V4, 1), (V40, 22), (V400, 1), (V401, 1), (V402, 1), (V403, 1), (V404, 1), (V405, 1), (V406, 1), (V407, 1), (V408, 1), (V409, 1), (V41, 39), (V410, 1), (V411, 1), (V412, 1), (V413, 11), (V414, 11), (V415, 37), (V416, 35), (V417, 33), (V418, 33), (V419, 37), (V42, 1), (V420, 37), (V421, 36), (V422, 37), (V423, 38), (V424, 38), (V425, 35), (V426, 35), (V427, 62), (V428, 68), (V429, 62), (V43, 5), (V430, 62), (V431, 62), (V432, 60), (V433, 63), (V434, 1), (V435, 1), (V436, 1), (V437, 1), (V438, 1), (V439, 1), (V44, 1), (V440, 1), (V441, 1), (V442, 1), (V443, 1), (V444, 1), (V445, 1), (V446, 1), (V447, 1), (V448, 1), (V449, 1), (V45, 20), (V450, 1), (V451, 1), (V452, 1), (V453, 1), (V454, 1), (V455, 79), (V456, 69), (V457, 74), (V458, 1), (V459, 81), (V46, 1), (V460, 18), (V461, 79), (V462, 1), (V463, 11), (V464, 1), (V465, 24), (V466, 1), (V467, 26), (V468, 1), (V469, 10), (V47, 12), (V470, 1), (V471, 25), (V472, 1), (V473, 29), (V474, 1), (V475, 21), (V476, 22), (V477, 20), (V478, 14), (V479, 24), (V48, 1), (V480, 13), (V481, 21), (V482, 22), (V483, 1), (V484, 12), (V485, 1), (V486, 31), (V487, 1), (V488, 24), (V489, 1), (V49, 8), (V490, 27), (V491, 1), (V492, 13), (V493, 26), (V494, 33), (V495, 1), (V496, 5), (V497, 35), (V498, 35), (V499, 33), (V5, 17), (V50, 1), (V500, 29), (V501, 33), (V502, 15), (V503, 35), (V504, 1), (V505, 9), (V506, 1), (V507, 20), (V508, 1), (V509, 14), (V51, 3), (V510, 1), (V511, 5), (V512, 1), (V513, 7), (V514, 1), (V515, 32), (V516, 1), (V517, 4), (V518, 26), (V519, 12), (V52, 1), (V520, 6), (V521, 4), (V522, 5), (V523, 7), (V524, 26), (V525, 30), (V526, 45), (V527, 37), (V528, 50), (V529, 40), (V53, 5), (V530, 51), (V531, 33), (V532, 34), (V533, 37), (V534, 38), (V535, 36), (V536, 33), (V537, 33), (V538, 31), (V539, 61), (V54, 1), (V540, 76), (V541, 58), (V542, 59), (V543, 60), (V544, 55), (V545, 61), (V546, 1), (V547, 1), (V548, 1), (V549, 1), (V55, 1), (V550, 1), (V551, 1), (V552, 1), (V553, 1), (V554, 1), (V555, 1), (V556, 1), (V557, 1), (V558, 1), (V559, 1), (V56, 7), (V560, 3), (V561, 1), (V562, 1), (V563, 1), (V564, 1), (V565, 1), (V566, 4), (V567, 32), (V568, 33), (V569, 38), (V57, 6), (V570, 39), (V571, 39), (V572, 38), (V573, 33), (V574, 31), (V575, 35), (V576, 33), (V577, 29), (V578, 28), (V579, 31), (V58, 3), (V580, 30), (V581, 60), (V582, 69), (V583, 58), (V584, 60), (V585, 60), (V586, 58), (V587, 60), (V588, 1), (V589, 1), (V59, 4), (V590, 1), (V591, 1), (V592, 1), (V593, 1), (V594, 1), (V595, 1), (V596, 1), (V597, 1), (V598, 1), (V599, 1), (V6, 1), (V60, 4), (V600, 1), (V601, 1), (V602, 1), (V603, 1), (V604, 1), (V605, 1), (V606, 1), (V607, 1), (V608, 1), (V609, 81), (V61, 1), (V610, 59), (V611, 50), (V612, 14), (V613, 81), (V614, 29), (V615, 81), (V616, 1), (V617, 21), (V618, 1), (V619, 22), (V62, 7), (V620, 1), (V621, 26), (V622, 1), (V623, 21), (V624, 1), (V625, 24), (V626, 1), (V627, 21), (V628, 1), (V629, 2), (V63, 35), (V630, 22), (V631, 19), (V632, 19), (V633, 24), (V634, 19), (V635, 3), (V636, 22), (V637, 1), (V638, 7), (V639, 1), (V64, 38), (V640, 8), (V641, 1), (V642, 15), (V643, 1), (V644, 14), (V645, 1), (V646, 28), (V647, 1), (V648, 13), (V649, 1), (V65, 41), (V650, 23), (V651, 20), (V652, 17), (V653, 16), (V654, 17), (V655, 17), (V656, 29), (V657, 20), (V658, 1), (V659, 18), (V66, 42), (V660, 1), (V661, 19), (V662, 1), (V663, 4), (V664, 1), (V665, 4), (V666, 1), (V667, 2), (V668, 1), (V669, 3), (V67, 42), (V670, 1), (V671, 1), (V672, 7), (V673, 4), (V674, 4), (V675, 4), (V676, 4), (V677, 1), (V678, 7), (V679, 45), (V68, 50), (V680, 51), (V681, 46), (V682, 52), (V683, 46), (V684, 50), (V685, 31), (V686, 36), (V687, 34), (V688, 35), (V689, 26), (V69, 37), (V690, 26), (V691, 2), (V692, 3), (V693, 38), (V694, 60), (V695, 46), (V696, 41), (V697, 38), (V698, 37), (V699, 39), (V7, 22), (V70, 40), (V700, 1), (V701, 1), (V702, 1), (V703, 1), (V704, 1), (V705, 1), (V706, 1), (V707, 1), (V708, 1), (V709, 1), (V71, 41), (V710, 1), (V711, 1), (V712, 1), (V713, 1), (V714, 1), (V715, 1), (V716, 1), (V717, 1), (V718, 1), (V719, 1), (V72, 46), (V720, 1), (V721, 40), (V722, 42), (V723, 42), (V724, 44), (V725, 44), (V726, 46), (V727, 28), (V728, 29), (V729, 35), (V73, 49), (V730, 35), (V731, 28), (V732, 27), (V733, 31), (V734, 32), (V735, 45), (V736, 55), (V737, 36), (V738, 41), (V739, 43), (V74, 42), (V740, 45), (V741, 46), (V742, 1), (V743, 1), (V744, 1), (V745, 1), (V746, 1), (V747, 1), (V748, 1), (V749, 1), (V75, 42), (V750, 1), (V751, 1), (V752, 1), (V753, 1), (V754, 1), (V755, 1), (V756, 1), (V757, 1), (V758, 1), (V759, 1), (V76, 42), (V760, 1), (V761, 1), (V762, 1), (V763, 74), (V764, 35), (V765, 39), (V766, 1), (V767, 62), (V768, 15), (V769, 74), (V77, 75), (V770, 5), (V771, 9), (V772, 18), (V773, 26), (V774, 12), (V775, 30), (V776, 7), (V777, 17), (V778, 8), (V779, 29), (V78, 76), (V780, 10), (V781, 18), (V782, 7), (V783, 28), (V784, 30), (V785, 40), (V786, 33), (V787, 41), (V788, 33), (V789, 44), (V79, 68), (V790, 30), (V791, 6), (V792, 10), (V793, 29), (V794, 33), (V795, 25), (V796, 28), (V797, 25), (V798, 31), (V799, 23), (V8, 1), (V80, 68), (V800, 25), (V801, 30), (V802, 30), (V803, 23), (V804, 22), (V805, 47), (V806, 55), (V807, 49), (V808, 44), (V809, 49), (V81, 69), (V810, 45), (V811, 47), (V812, 40), (V813, 41), (V814, 48), (V815, 52), (V816, 43), (V817, 49), (V818, 36), (V819, 41), (V82, 63), (V820, 35), (V821, 41), (V822, 37), (V823, 41), (V824, 29), (V825, 35), (V826, 56), (V827, 68), (V828, 54), (V829, 56), (V83, 75), (V830, 56), (V831, 58), (V832, 56), (V833, 27), (V834, 29), (V835, 35), (V836, 35), (V837, 38), (V838, 36), (V839, 25), (V84, 1), (V840, 24), (V841, 28), (V842, 28), (V843, 27), (V844, 23), (V845, 28), (V846, 26), (V847, 51), (V848, 68), (V849, 51), (V85, 1), (V850, 50), (V851, 51), (V852, 50), (V853, 51), (V854, 6), (V855, 6), (V856, 19), (V857, 19), (V858, 18), (V859, 19), (V86, 1), (V860, 21), (V861, 21), (V862, 22), (V863, 23), (V864, 34), (V865, 34), (V866, 23), (V867, 23), (V868, 45), (V869, 39), (V87, 1), (V870, 35), (V871, 37), (V872, 35), (V873, 36), (V874, 45), (V875, 9), (V876, 9), (V877, 16), (V878, 17), (V879, 18), (V88, 1), (V880, 15), (V881, 15), (V882, 15), (V883, 15), (V884, 15), (V885, 13), (V886, 14), (V887, 13), (V888, 14), (V889, 43), (V89, 1), (V890, 45), (V891, 43), (V892, 43), (V893, 43), (V894, 41), (V895, 43), (V896, 3), (V897, 3), (V898, 10), (V899, 10), (V9, 19), (V90, 1), (V900, 11), (V901, 12), (V902, 6), (V903, 6), (V904, 4), (V905, 4), (V906, 4), (V907, 5), (V908, 2), (V909, 2), (V91, 1), (V910, 14), (V911, 19), (V912, 12), (V913, 15), (V914, 13), (V915, 15), (V916, 14), (V917, 86), (V918, 91), (V919, 84), (V92, 1), (V920, 59), (V921, 87), (V922, 66), (V923, 87), (V924, 1), (V925, 1), (V926, 1), (V927, 1), (V928, 1), (V929, 1), (V93, 1), (V930, 1), (V931, 1), (V932, 1), (V933, 1), (V934, 1), (V935, 1), (V936, 1), (V937, 1), (V938, 1), (V939, 1), (V94, 1), (V940, 1), (V941, 1), (V942, 1), (V943, 1), (V944, 1), (V945, 1), (V946, 1), (V947, 1), (V948, 1), (V949, 1), (V95, 1), (V950, 1), (V951, 1), (V952, 1), (V953, 1), (V954, 1), (V955, 1), (V956, 1), (V957, 1), (V958, 1), (V959, 1), (V96, 1), (V960, 1), (V961, 1), (V962, 1), (V963, 1), (V964, 1), (V965, 1), (V966, 1), (V967, 1), (V968, 1), (V969, 1), (V97, 1), (V970, 1), (V971, 1), (V972, 1), (V973, 1), (V974, 1), (V975, 1), (V976, 1), (V977, 1), (V978, 1), (V979, 1), (V98, 1), (V980, 1), (V981, 1), (V982, 1), (V983, 1), (V984, 1), (V985, 1), (V986, 1), (V987, 1), (V988, 1), (V989, 1), (V99, 1), (V990, 1), (V991, 1), (V992, 1), (V993, 1), (V994, 1), (V995, 1), (V996, 1), (V997, 1), (V998, 1), (V999, 1)]
	 ( INFO) == Using groupVarSelect %right_file
	 ( INFO) == [(27621232, 0), (27622576, 0), (27624000, 0), (27625152, 0), (27634608, 0), (27635552, 0), (27637152, 0), (27638528, 0), (27646608, 0), (27649328, 0), (27657088, 0), (27661488, 0), (27667264, 0), (27670640, 0), (27671648, 0), (27672880, 0), (27676208, 0), (27686224, 0), (27687824, 0), (27688912, 0), (27701984, 0), (27705024, 0), (27707872, 0), (27724368, 0), (27726064, 0), (27726992, 0), (27739856, 0), (27742016, 0), (27744176, 0), (27746336, 0), (27752704, 0), (27754832, 0), (27756992, 0), (27759152, 0), (27761312, 0), (27763472, 0), (27765632, 0), (27767792, 0), (27769952, 0), (27772112, 0), (27774736, 0), (27776896, 0), (27779056, 0), (27781216, 0), (27783376, 0), (27785536, 0), (27787696, 0), (27789856, 0), (27792016, 0), (27794176, 0), (27796336, 0), (27798496, 0), (27800656, 0), (27802816, 0), (27804976, 0), (27807136, 0), (27809296, 0), (27811456, 0), (27813616, 0), (27815776, 0), (27817936, 0), (27820096, 0), (27822256, 0), (27824416, 0), (27826576, 0), (27828736, 0), (27830896, 0), (27833056, 0), (27835216, 0), (27837376, 0), (27839536, 0), (27841696, 0), (27843856, 0), (27846016, 0), (27848176, 0), (27850336, 0), (27852496, 0), (27854656, 0), (27856816, 0), (27858976, 0), (27861136, 0), (27863296, 0), (27865456, 0), (27867616, 0), (27869776, 0), (27871936, 0), (27874096, 0), (27876256, 0), (27878416, 0), (27880576, 0), (27882736, 0), (27884896, 0), (27887056, 0), (27889216, 0), (27891376, 0), (27892528, 0), (27894688, 0), (27896848, 0), (27899008, 0), (27901168, 0), (27903328, 0), (27905488, 0), (27907648, 0), (27909808, 0), (27911968, 0), (27914128, 0), (27916288, 0), (27918448, 0), (27920608, 0), (27922768, 0), (27924928, 0), (27927088, 0), (27929248, 0), (27931408, 0), (27933568, 0), (27935728, 0), (27937888, 0), (27940048, 0), (27942208, 0), (27944368, 0), (27946528, 0), (27948688, 0), (27950848, 0), (27953008, 0), (27955168, 0), (27957328, 0), (27959488, 0), (27961648, 0), (27963808, 0), (27965968, 0), (27968128, 0), (27970288, 0), (27972448, 0), (27974608, 0), (27976768, 0), (27978928, 0), (27981088, 0), (27983248, 0), (27985408, 0), (27987568, 0), (27989728, 0), (27991888, 0), (27994048, 0), (27996208, 0), (27998368, 0), (28000528, 0), (28002688, 0), (28004848, 0), (28007008, 0), (28009856, 0), (28012016, 0), (28014176, 0), (28016336, 0), (28018496, 0), (28020656, 0), (28022816, 0), (28024976, 0), (28027136, 0), (28029296, 0), (28031456, 0), (28033616, 0), (28035776, 0), (28037936, 0), (28040096, 0), (28042256, 0), (28044416, 0), (28046576, 0), (28048736, 0), (28050896, 0), (28053056, 0), (28055216, 0), (28057376, 0), (28059536, 0), (28061696, 0), (28063856, 0), (28066016, 0), (28068176, 0), (28070336, 0), (28072496, 0), (28074656, 0), (28076816, 0), (28078976, 0), (28081136, 0), (28083296, 0), (28085456, 0), (28087616, 0), (28089776, 0), (28091936, 0), (28094096, 0), (28096256, 0), (28098416, 0), (28100576, 0), (28102736, 0), (28104896, 0), (28107056, 0), (28109216, 0), (28111376, 0), (28113536, 0), (28115696, 0), (28117856, 0), (28120016, 0), (28122176, 0), (28124336, 0), (28126496, 0), (28128656, 0), (28130816, 0), (28132976, 0), (28135136, 0), (28137296, 0), (28139456, 0), (28141616, 0), (28143776, 0), (28145936, 0), (28148096, 0), (28150256, 0), (28152416, 0), (28154576, 0), (28156736, 0), (28158896, 0), (28161056, 0), (28163216, 0), (28165376, 0), (28167536, 0), (28169696, 0), (28171856, 0), (28174016, 0), (28176176, 0), (28178336, 0), (28180496, 0), (28199488, 0), (28202736, 0), (28204896, 0), (28207056, 0), (28209216, 0), (28211376, 0), (28213536, 0), (28215696, 0), (28217856, 0), (28220016, 0), (28222176, 0), (28224336, 0), (28226496, 0), (28228656, 0), (28230816, 0), (28232976, 0), (28235136, 0), (28237296, 0), (28239456, 0), (28241616, 0), (28243776, 0), (28245936, 0), (28248096, 0), (28250256, 0), (28252416, 0), (28254576, 0), (28256736, 0), (28258896, 0), (28261056, 0), (28263216, 0), (28265376, 0), (28267536, 0), (28269696, 0), (28271856, 0), (28274016, 0), (28276176, 0), (28278336, 0), (28280496, 0), (28282656, 0), (28284816, 0), (28286976, 0), (28289136, 0), (28291296, 0), (28293456, 0), (28295616, 0), (28297776, 0), (28299936, 0), (28302096, 0), (28304256, 0), (28306416, 0), (28308576, 0), (28310736, 0), (28312896, 0), (28315056, 0), (28317216, 0), (28319376, 0), (28321536, 0), (28323696, 0), (28325856, 0), (28328016, 0), (28330176, 0), (28332336, 0), (28334496, 0), (28336656, 0), (28338816, 0), (28340976, 0), (28343136, 0), (28345296, 0), (28347456, 0), (28349616, 0), (28351776, 0), (28353936, 0), (28356096, 0), (28358256, 0), (28360416, 0), (28362576, 0), (28364736, 0), (28366896, 0), (28369056, 0), (28371216, 0), (28373376, 0), (28375536, 0), (28377696, 0), (28379856, 0), (28382016, 0), (28384176, 0), (28386336, 0), (28388496, 0), (28390656, 0), (28392816, 0), (28394976, 0), (28397136, 0), (28399296, 0), (28401456, 0), (28403616, 0), (28405776, 0), (28407936, 0), (28410096, 0), (28412256, 0), (28414416, 0), (28416576, 0), (28418736, 0), (28420896, 0), (28423056, 0), (28425216, 0), (28427376, 0), (28429536, 0), (28431696, 0), (28433856, 0), (28436016, 0), (28438176, 0), (28440336, 0), (28442496, 0), (28444656, 0), (28446816, 0), (28448976, 0), (28451136, 0), (28453296, 0), (28455456, 0), (28457616, 0), (28459776, 0), (28461936, 0), (28464096, 0), (28466256, 0), (28468416, 0), (28470576, 0), (28472736, 0), (28474896, 0), (28477056, 0), (28479216, 0), (28481376, 0), (28483536, 0), (28485696, 0), (28487856, 0), (28490016, 0), (28492176, 0), (28494336, 0), (28496496, 0), (28498768, 0), (28500448, 0), (28502560, 0), (28504720, 0), (28506880, 0), (28509040, 0), (28511200, 0), (28513360, 0), (28515520, 0), (28517680, 0), (28519840, 0), (28522000, 0), (28524160, 0), (28526320, 0), (28528480, 0), (28530640, 0), (28532800, 0), (28534960, 0), (28537120, 0), (28539280, 0), (28541440, 0), (28543600, 0), (28545760, 0), (28547920, 0), (28550080, 0), (28552240, 0), (28554400, 0), (28556560, 0), (28558720, 0), (28560880, 0), (28563040, 0), (28565200, 0), (28567360, 0), (28569520, 0), (28571680, 0), (28573840, 0), (28576000, 0), (28578160, 0), (28580320, 0), (28582480, 0), (28584640, 0), (28586800, 0), (28588960, 0), (28591120, 0), (28593280, 0), (28595440, 0), (28597600, 0), (28599760, 0), (28601920, 0), (28604080, 0), (28606240, 0), (28608400, 0), (28610560, 0), (28612720, 0), (28614880, 0), (28617040, 0), (28619200, 0), (28621360, 0), (28623520, 0), (28625680, 0), (28627840, 0), (28630000, 0), (28632160, 0), (28634320, 0), (28636480, 0), (28638640, 0), (28640800, 0), (28642960, 0), (28645120, 0), (28647280, 0), (28649440, 0), (28651600, 0), (28653760, 0), (28655920, 0), (28658080, 0), (28660240, 0), (28662400, 0), (28664560, 0), (28666720, 0), (28668880, 0), (28671040, 0), (28673200, 0), (28675360, 0), (28677520, 0), (28679680, 0), (28681840, 0), (28684000, 0), (28686160, 0), (28688320, 0), (28690480, 0), (28692640, 0), (28694800, 0), (28696960, 0), (28699120, 0), (28701280, 0), (28703440, 0), (28705600, 0), (28707760, 0), (28709920, 0), (28712080, 0), (28714240, 0), (28716400, 0), (28718560, 0), (28720720, 0), (28722880, 0), (28725040, 0), (28727200, 0), (28729360, 0), (28731520, 0), (28733680, 0), (28735840, 0), (28738000, 0), (28740160, 0), (28742320, 0), (28744480, 0), (28746640, 0), (28748800, 0), (28750960, 0), (28753120, 0), (28755280, 0), (28757440, 0), (28759600, 0), (28761760, 0), (28763920, 0), (28766080, 0), (28768240, 0), (28770400, 0), (28772560, 0), (28774720, 0), (28776880, 0), (28779040, 0), (28781200, 0), (28783360, 0), (28785520, 0), (28787680, 0), (28789840, 0), (28792000, 0), (28794160, 0), (28796320, 0), (28798480, 0), (28800640, 0), (28802800, 0), (28804960, 0), (28807120, 0), (28809280, 0), (28811440, 0), (28813600, 0), (28815760, 0), (28817920, 0), (28820080, 0), (28822240, 0), (28824400, 0), (28826560, 0), (28828720, 0), (28830880, 0), (28833040, 0), (28835200, 0), (28837360, 0), (28839520, 0), (28841680, 0), (28843840, 0), (28846000, 0), (28848160, 0), (28850320, 0), (28852480, 0), (28854640, 0), (28856800, 0), (28858960, 0), (28861120, 0), (28863280, 0), (28865440, 0), (28867600, 0), (28869760, 0), (28871920, 0), (28874080, 0), (28876240, 0), (28878400, 0), (28880560, 0), (28882720, 0), (28884880, 0), (28887040, 0), (28889200, 0), (28891360, 0), (28893520, 0), (28895680, 0), (28897840, 0), (28900000, 0), (28902160, 0), (28904320, 0), (28906480, 0), (28908640, 0), (28910800, 0), (28912960, 0), (28915120, 0), (28917280, 0), (28919440, 0), (28921600, 0), (28923760, 0), (28925920, 0), (28928080, 0), (28930240, 0), (28932400, 0), (28934560, 0), (28936720, 0), (28938880, 0), (28941040, 0), (28943200, 0), (28945360, 0), (28947520, 0), (28949680, 0), (28951840, 0), (28954000, 0), (28956160, 0), (28958320, 0), (28960480, 0), (28962640, 0), (28964800, 0), (28966960, 0), (28969120, 0), (28971280, 0), (28972016, 0), (28974064, 0), (28976224, 0), (28978384, 0), (28980544, 0), (28982704, 0), (28984864, 0), (28987024, 0), (28989184, 0), (28991344, 0), (28993504, 0), (28995664, 0), (28997824, 0), (28999984, 0), (29002144, 0), (29004304, 0), (29006464, 0), (29008624, 0), (29010784, 0), (29012944, 0), (29015104, 0), (29017264, 0), (29019424, 0), (29021584, 0), (29023744, 0), (29025904, 0), (29028064, 0), (29030224, 0), (29032384, 0), (29034544, 0), (29036704, 0), (29038864, 0), (29041024, 0), (29043184, 0), (29045344, 0), (29047504, 0), (29049664, 0), (29051824, 0), (29053984, 0), (29056144, 0), (29058304, 0), (29060464, 0), (29062624, 0), (29064784, 0), (29066944, 0), (29069104, 0), (29071264, 0), (29073424, 0), (29075584, 0), (29077744, 0), (29079904, 0), (29082064, 0), (29084224, 0), (29086384, 0), (29088544, 0), (29090704, 0), (29092864, 0), (29095024, 0), (29097184, 0), (29099344, 0), (29101504, 0), (29103664, 0), (29105824, 0), (29107984, 0), (29110144, 0), (29112304, 0), (29114464, 0), (29116624, 0), (29118784, 0), (29120944, 0), (29123104, 0), (29125264, 0), (29127424, 0), (29129584, 0), (29131744, 0), (29133904, 0), (29136064, 0), (29138224, 0), (29140384, 0), (29142544, 0), (29144704, 0), (29146864, 0), (29149024, 0), (29151184, 0), (29153344, 0), (29155504, 0), (29157664, 0), (29159824, 0), (29161984, 0), (29164144, 0), (29166304, 0), (29168464, 0), (29170624, 0), (29172784, 0), (29174944, 0), (29177104, 0), (29179264, 0), (29181424, 0), (29183584, 0), (29185744, 0), (29187904, 0), (29190064, 0), (29192224, 0), (29194384, 0), (29196544, 0), (29198704, 0), (29200864, 0), (29203024, 0), (29205184, 0), (29207344, 0), (29209504, 0), (29211664, 0), (29213824, 0), (29215984, 0), (29218144, 0), (29220304, 0), (29222464, 0), (29224624, 0), (29226784, 0), (29228944, 0), (29231104, 0), (29233264, 0), (29235424, 0), (29237584, 0), (29239744, 0), (29241904, 0), (29244064, 0), (29246224, 0), (29248384, 0), (29250544, 0), (29252704, 0), (29254864, 0), (29257024, 0), (29259184, 0), (29261344, 0), (29263504, 0), (29265664, 0), (29267824, 0), (29269984, 0), (29272144, 0), (29274304, 0), (29276464, 0), (29278624, 0), (29280784, 0), (29282944, 0), (29285104, 0), (29287264, 0), (29289424, 0), (29291584, 0), (29293744, 0), (29295904, 0), (29298064, 0), (29300224, 0), (29302384, 0), (29304544, 0), (29306704, 0), (29308864, 0), (29311024, 0), (29313184, 0), (29315344, 0), (29317504, 0), (29319664, 0), (29321824, 0), (29323984, 0), (29326144, 0), (29328304, 0), (29330464, 0), (29332624, 0), (29334784, 0), (29336944, 0), (29339104, 0), (29341264, 0), (29343424, 0), (29345584, 0), (29347744, 0), (29349904, 0), (29352064, 0), (29354224, 0), (29356384, 0), (29358544, 0), (29360704, 0), (29362864, 0), (29365024, 0), (29367184, 0), (29369344, 0), (29371504, 0), (29373664, 0), (29375824, 0), (29377984, 0), (29380144, 0), (29382304, 0), (29384464, 0), (29386624, 0), (29388784, 0), (29390944, 0), (29393104, 0), (29395264, 0), (29397424, 0), (29399584, 0), (29401744, 0), (29403904, 0), (29406064, 0), (29408224, 0), (29410384, 0), (29412544, 0), (29414704, 0), (29416864, 0), (29419024, 0), (29421184, 0), (29423344, 0), (29425504, 0), (29427664, 0), (29429824, 0), (29431984, 0), (29434144, 0), (29436304, 0), (29438464, 0), (29440624, 0), (29442784, 0), (29444944, 0), (29447104, 0), (29449264, 0), (29451424, 0), (29453584, 0), (29455744, 0), (29457904, 0), (29460064, 0), (29462224, 0), (29464384, 0), (29466544, 0), (29468704, 0), (29470864, 0), (29473024, 0), (29475184, 0), (29477344, 0), (29479504, 0), (29481664, 0), (29483824, 0), (29485984, 0), (29488144, 0), (29490304, 0), (29492464, 0), (29494624, 0), (29496784, 0), (29498944, 0), (29501104, 0), (29503264, 0), (29505424, 0), (29507584, 0), (29509744, 0), (29511904, 0), (29514064, 0), (29516224, 0), (29518384, 0), (29520544, 0), (29522704, 0), (29524864, 0), (29527024, 0), (29529184, 0), (29531344, 0), (29533504, 0), (29535664, 0), (29537824, 0), (29539984, 0), (29542144, 0), (29544304, 0), (29546464, 0), (29548624, 0), (29550784, 0), (29552944, 0), (29555104, 0), (29557264, 0), (29559424, 0), (29561584, 0), (29563744, 0), (29565904, 0), (29568064, 0), (29570224, 0), (29572384, 0), (29574544, 0), (29576704, 0), (29578864, 0), (29581024, 0), (29583184, 0), (29585344, 0), (29587504, 0), (29589664, 0), (29591824, 0), (29593984, 0), (29596144, 0), (29598304, 0), (29600464, 0), (29602624, 0), (29604784, 0), (29606944, 0), (29609104, 0), (29611264, 0), (29613424, 0), (29615584, 0), (29617744, 0), (29619904, 0), (29622064, 0), (29624224, 0), (29626384, 0), (29628544, 0), (29630704, 0), (29632864, 0), (29635024, 0), (29637184, 0), (29639344, 0), (29641504, 0), (29643664, 0), (29645824, 0), (29647984, 0), (29650144, 0), (29652304, 0), (29654464, 0), (29656624, 0), (29658784, 0), (29660944, 0), (29663104, 0), (29665264, 0), (29667424, 0), (29669584, 0), (29671744, 0), (29673904, 0), (29676064, 0), (29678224, 0), (29680384, 0), (29682544, 0), (29684704, 0), (29686864, 0), (29689024, 0), (29691184, 0), (29693344, 0), (29695504, 0), (29697664, 0), (29699824, 0), (29701984, 0), (29704144, 0), (29706304, 0), (29708464, 0), (29710624, 0), (29712784, 0), (29714944, 0), (29717104, 0), (29732384, 0), (29734512, 0), (29736672, 0), (29738832, 0), (29740992, 0), (29743152, 0), (29745312, 0), (29747472, 0), (29749632, 0), (29751792, 0), (29753952, 0), (29756112, 0), (29758272, 0), (29760432, 0), (29762592, 0), (29764752, 0), (29766912, 0), (29769072, 0), (29771232, 0), (29773392, 0), (29775552, 0), (29777712, 0), (29779872, 0), (29782032, 0), (29784192, 0), (29786352, 0), (29788512, 0), (29790672, 0), (29792832, 0), (29794992, 0), (29797152, 0), (29799312, 0), (29801472, 0), (29803632, 0), (29805792, 0), (29807952, 0), (29810112, 0), (29812272, 0), (29814432, 0), (29816592, 0), (29818752, 0), (29820912, 0), (29823072, 0), (29825232, 0), (29827392, 0), (29829552, 0), (29831712, 0), (29833872, 0), (29836032, 0), (29838192, 0), (29840352, 0), (29842512, 0), (29844672, 0), (29846832, 0), (29848992, 0), (29851152, 0), (29853312, 0), (29855472, 0), (29857632, 0), (29859792, 0), (29861952, 0), (29864112, 0), (29866272, 0), (29868432, 0), (29870592, 0), (29872752, 0), (29874912, 0), (29877072, 0), (29879232, 0), (29881392, 0), (29883552, 0), (29885712, 0), (29887872, 0), (29890032, 0), (29892192, 0), (29894352, 0), (29896512, 0), (29898672, 0), (29900832, 0), (29902992, 0), (29905152, 0), (29907312, 0), (29909472, 0), (29911632, 0), (29913792, 0), (29915952, 0), (29918112, 0), (29920272, 0), (29922432, 0), (29924592, 0), (29926752, 0), (29928912, 0), (29931072, 0), (29933232, 0), (29935392, 0), (29937552, 0), (29939712, 0), (29941872, 0), (29944032, 0), (29946192, 0), (29948352, 0), (29950512, 0), (29952672, 0), (29954832, 0), (29956992, 0), (29959152, 0), (29961312, 0), (29963472, 0), (29965632, 0), (29967792, 0), (29969952, 0), (29972112, 0), (29974272, 0), (29976432, 0), (29978592, 0), (29980752, 0), (29982912, 0), (29985072, 0), (29987232, 0), (29989392, 0), (29991552, 0), (29993712, 0), (29995872, 0), (29998032, 0), (30000192, 0), (30002352, 0), (30004512, 0), (30006672, 0), (30008832, 0), (30010992, 0), (30013152, 0), (30015312, 0), (30017472, 0), (30019632, 0), (30021792, 0), (30023952, 0), (30026112, 0), (30028272, 0), (30030432, 0), (30032592, 0), (30034752, 0), (30036912, 0), (30039072, 0), (30041232, 0), (30043392, 0), (30045552, -228), (30047712, 0), (30049872, 0), (30052032, 0), (30054192, -139), (30056352, 0), (30058512, -228)] %right_file
	 ( INFO) == Finished creating data structures %right_file
	 ( INFO) == Beginning Preprocessing %right_file
	 ( INFO) == Finished with Preprocessing %right_file
{"StaticInstanceData": {"# Components":"1","# Constraints":"11395","# Normalized Constraints":"0","# Solutions":"0","# Values Removed From Unary Cons ":"0","# Variables":"1085","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"0","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"4174","CPU Time Post Normalization (ms)":"45995","CPU Time Problem Setup  (ms)":"4594","CPU Time Search (ms)":"41820","Full CPU Time (ms)":"50589","Peak Memory (MB)":"1557.71"},
 "Components": [{"Component Stats": {"# Constraints":"11395","# Variables":"1085"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 6, 30, 120, 360, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"516","# backtracks per level":"[6, 30, 120, 360, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"1236","# solutions":"0","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"0","# value trigger per level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"4460983","# isValid Checks":"113759610"}}]}