0.00/0.58	c 2754 444 0 0 0 0 0 0
0.00/0.58	c 512 ~x2765+256 ~x2764+128 ~x2763+64 ~x2762+32 ~x2761+16 ~x2760+8 ~x2759+4 ~x2758+2 ~x2757+1 ~x2756+512 ~x749+256 ~x748+128 ~x747+64 ~x746+32 ~x745+16 ~x744+8 ~x743+4 ~x742+2 ~x741+1 ~x740-0=2046
0.00/0.58	c 512 ~x4067+256 ~x4066+128 ~x4065+64 ~x4064+32 ~x4063+16 ~x4062+8 ~x4061+4 ~x4060+2 ~x4059+1 ~x4058+512 ~x760+256 ~x759+128 ~x758+64 ~x757+32 ~x756+16 ~x755+8 ~x754+4 ~x753+2 ~x752+1 ~x751-0=2046
0.00/0.61	c 512 ~x5369+256 ~x5368+128 ~x5367+64 ~x5366+32 ~x5365+16 ~x5364+8 ~x5363+4 ~x5362+2 ~x5361+1 ~x5360+512 ~x771+256 ~x770+128 ~x769+64 ~x768+32 ~x767+16 ~x766+8 ~x765+4 ~x764+2 ~x763+1 ~x762-0=2046
0.00/0.64	c 512 ~x6671+256 ~x6670+128 ~x6669+64 ~x6668+32 ~x6667+16 ~x6666+8 ~x6665+4 ~x6664+2 ~x6663+1 ~x6662+512 ~x782+256 ~x781+128 ~x780+64 ~x779+32 ~x778+16 ~x777+8 ~x776+4 ~x775+2 ~x774+1 ~x773-0=2046
0.00/0.71	c 512 ~x7973+256 ~x7972+128 ~x7971+64 ~x7970+32 ~x7969+16 ~x7968+8 ~x7967+4 ~x7966+2 ~x7965+1 ~x7964+512 ~x793+256 ~x792+128 ~x791+64 ~x790+32 ~x789+16 ~x788+8 ~x787+4 ~x786+2 ~x785+1 ~x784-0=2046
0.00/0.71	c 512 ~x9275+256 ~x9274+128 ~x9273+64 ~x9272+32 ~x9271+16 ~x9270+8 ~x9269+4 ~x9268+2 ~x9267+1 ~x9266+512 ~x804+256 ~x803+128 ~x802+64 ~x801+32 ~x800+16 ~x799+8 ~x798+4 ~x797+2 ~x796+1 ~x795-0=2046
0.00/0.74	c 512 ~x10577+256 ~x10576+128 ~x10575+64 ~x10574+32 ~x10573+16 ~x10572+8 ~x10571+4 ~x10570+2 ~x10569+1 ~x10568+512 ~x815+256 ~x814+128 ~x813+64 ~x812+32 ~x811+16 ~x810+8 ~x809+4 ~x808+2 ~x807+1 ~x806-0=2046
0.00/0.77	c 512 ~x11879+256 ~x11878+128 ~x11877+64 ~x11876+32 ~x11875+16 ~x11874+8 ~x11873+4 ~x11872+2 ~x11871+1 ~x11870+512 ~x826+256 ~x825+128 ~x824+64 ~x823+32 ~x822+16 ~x821+8 ~x820+4 ~x819+2 ~x818+1 ~x817-0=2046
0.00/0.80	c 512 ~x13181+256 ~x13180+128 ~x13179+64 ~x13178+32 ~x13177+16 ~x13176+8 ~x13175+4 ~x13174+2 ~x13173+1 ~x13172+512 ~x837+256 ~x836+128 ~x835+64 ~x834+32 ~x833+16 ~x832+8 ~x831+4 ~x830+2 ~x829+1 ~x828-0=2046
0.00/0.86	c 512 ~x14483+256 ~x14482+128 ~x14481+64 ~x14480+32 ~x14479+16 ~x14478+8 ~x14477+4 ~x14476+2 ~x14475+1 ~x14474+512 ~x848+256 ~x847+128 ~x846+64 ~x845+32 ~x844+16 ~x843+8 ~x842+4 ~x841+2 ~x840+1 ~x839-0=2046
0.00/0.86	c 512 ~x15785+256 ~x15784+128 ~x15783+64 ~x15782+32 ~x15781+16 ~x15780+8 ~x15779+4 ~x15778+2 ~x15777+1 ~x15776+512 ~x859+256 ~x858+128 ~x857+64 ~x856+32 ~x855+16 ~x854+8 ~x853+4 ~x852+2 ~x851+1 ~x850-0=2046
0.00/0.89	c 512 ~x17087+256 ~x17086+128 ~x17085+64 ~x17084+32 ~x17083+16 ~x17082+8 ~x17081+4 ~x17080+2 ~x17079+1 ~x17078+512 ~x870+256 ~x869+128 ~x868+64 ~x867+32 ~x866+16 ~x865+8 ~x864+4 ~x863+2 ~x862+1 ~x861-0=2046
0.00/0.92	c 512 ~x18389+256 ~x18388+128 ~x18387+64 ~x18386+32 ~x18385+16 ~x18384+8 ~x18383+4 ~x18382+2 ~x18381+1 ~x18380+512 ~x881+256 ~x880+128 ~x879+64 ~x878+32 ~x877+16 ~x876+8 ~x875+4 ~x874+2 ~x873+1 ~x872-0=2046
0.00/0.95	c 512 ~x19691+256 ~x19690+128 ~x19689+64 ~x19688+32 ~x19687+16 ~x19686+8 ~x19685+4 ~x19684+2 ~x19683+1 ~x19682+512 ~x892+256 ~x891+128 ~x890+64 ~x889+32 ~x888+16 ~x887+8 ~x886+4 ~x885+2 ~x884+1 ~x883-0=2046
1.00/1.02	c 512 ~x20993+256 ~x20992+128 ~x20991+64 ~x20990+32 ~x20989+16 ~x20988+8 ~x20987+4 ~x20986+2 ~x20985+1 ~x20984+512 ~x903+256 ~x902+128 ~x901+64 ~x900+32 ~x899+16 ~x898+8 ~x897+4 ~x896+2 ~x895+1 ~x894-0=2046
1.00/1.02	c 512 ~x22295+256 ~x22294+128 ~x22293+64 ~x22292+32 ~x22291+16 ~x22290+8 ~x22289+4 ~x22288+2 ~x22287+1 ~x22286+512 ~x914+256 ~x913+128 ~x912+64 ~x911+32 ~x910+16 ~x909+8 ~x908+4 ~x907+2 ~x906+1 ~x905-0=2046
1.00/1.05	c 512 ~x23597+256 ~x23596+128 ~x23595+64 ~x23594+32 ~x23593+16 ~x23592+8 ~x23591+4 ~x23590+2 ~x23589+1 ~x23588+512 ~x925+256 ~x924+128 ~x923+64 ~x922+32 ~x921+16 ~x920+8 ~x919+4 ~x918+2 ~x917+1 ~x916-0=2046
1.00/1.08	c 512 ~x24899+256 ~x24898+128 ~x24897+64 ~x24896+32 ~x24895+16 ~x24894+8 ~x24893+4 ~x24892+2 ~x24891+1 ~x24890+512 ~x936+256 ~x935+128 ~x934+64 ~x933+32 ~x932+16 ~x931+8 ~x930+4 ~x929+2 ~x928+1 ~x927-0=2046
1.10/1.11	c 512 ~x26201+256 ~x26200+128 ~x26199+64 ~x26198+32 ~x26197+16 ~x26196+8 ~x26195+4 ~x26194+2 ~x26193+1 ~x26192+512 ~x947+256 ~x946+128 ~x945+64 ~x944+32 ~x943+16 ~x942+8 ~x941+4 ~x940+2 ~x939+1 ~x938-0=2046
1.10/1.14	c 512 ~x27503+256 ~x27502+128 ~x27501+64 ~x27500+32 ~x27499+16 ~x27498+8 ~x27497+4 ~x27496+2 ~x27495+1 ~x27494+512 ~x958+256 ~x957+128 ~x956+64 ~x955+32 ~x954+16 ~x953+8 ~x952+4 ~x951+2 ~x950+1 ~x949-0=2046
1.19/1.20	c 512 ~x28805+256 ~x28804+128 ~x28803+64 ~x28802+32 ~x28801+16 ~x28800+8 ~x28799+4 ~x28798+2 ~x28797+1 ~x28796+512 ~x969+256 ~x968+128 ~x967+64 ~x966+32 ~x965+16 ~x964+8 ~x963+4 ~x962+2 ~x961+1 ~x960-0=2046
1.19/1.20	c 512 ~x30107+256 ~x30106+128 ~x30105+64 ~x30104+32 ~x30103+16 ~x30102+8 ~x30101+4 ~x30100+2 ~x30099+1 ~x30098+512 ~x980+256 ~x979+128 ~x978+64 ~x977+32 ~x976+16 ~x975+8 ~x974+4 ~x973+2 ~x972+1 ~x971-0=2046
1.19/1.23	c 512 ~x31409+256 ~x31408+128 ~x31407+64 ~x31406+32 ~x31405+16 ~x31404+8 ~x31403+4 ~x31402+2 ~x31401+1 ~x31400+512 ~x991+256 ~x990+128 ~x989+64 ~x988+32 ~x987+16 ~x986+8 ~x985+4 ~x984+2 ~x983+1 ~x982-0=2046
1.19/1.26	c 512 ~x32711+256 ~x32710+128 ~x32709+64 ~x32708+32 ~x32707+16 ~x32706+8 ~x32705+4 ~x32704+2 ~x32703+1 ~x32702+512 ~x1002+256 ~x1001+128 ~x1000+64 ~x999+32 ~x998+16 ~x997+8 ~x996+4 ~x995+2 ~x994+1 ~x993-0=2046
1.19/1.29	c 512 ~x34013+256 ~x34012+128 ~x34011+64 ~x34010+32 ~x34009+16 ~x34008+8 ~x34007+4 ~x34006+2 ~x34005+1 ~x34004+512 ~x1013+256 ~x1012+128 ~x1011+64 ~x1010+32 ~x1009+16 ~x1008+8 ~x1007+4 ~x1006+2 ~x1005+1 ~x1004-0=2046
1.28/1.36	c 512 ~x35315+256 ~x35314+128 ~x35313+64 ~x35312+32 ~x35311+16 ~x35310+8 ~x35309+4 ~x35308+2 ~x35307+1 ~x35306+512 ~x1024+256 ~x1023+128 ~x1022+64 ~x1021+32 ~x1020+16 ~x1019+8 ~x1018+4 ~x1017+2 ~x1016+1 ~x1015-0=2046
1.28/1.36	c 512 ~x36617+256 ~x36616+128 ~x36615+64 ~x36614+32 ~x36613+16 ~x36612+8 ~x36611+4 ~x36610+2 ~x36609+1 ~x36608+512 ~x1035+256 ~x1034+128 ~x1033+64 ~x1032+32 ~x1031+16 ~x1030+8 ~x1029+4 ~x1028+2 ~x1027+1 ~x1026-0=2046
1.28/1.39	c 512 ~x37919+256 ~x37918+128 ~x37917+64 ~x37916+32 ~x37915+16 ~x37914+8 ~x37913+4 ~x37912+2 ~x37911+1 ~x37910+512 ~x1046+256 ~x1045+128 ~x1044+64 ~x1043+32 ~x1042+16 ~x1041+8 ~x1040+4 ~x1039+2 ~x1038+1 ~x1037-0=2046
1.38/1.42	c 512 ~x39221+256 ~x39220+128 ~x39219+64 ~x39218+32 ~x39217+16 ~x39216+8 ~x39215+4 ~x39214+2 ~x39213+1 ~x39212+512 ~x1057+256 ~x1056+128 ~x1055+64 ~x1054+32 ~x1053+16 ~x1052+8 ~x1051+4 ~x1050+2 ~x1049+1 ~x1048-0=2046
1.38/1.45	c 512 ~x40523+256 ~x40522+128 ~x40521+64 ~x40520+32 ~x40519+16 ~x40518+8 ~x40517+4 ~x40516+2 ~x40515+1 ~x40514+512 ~x1068+256 ~x1067+128 ~x1066+64 ~x1065+32 ~x1064+16 ~x1063+8 ~x1062+4 ~x1061+2 ~x1060+1 ~x1059-0=2046
1.38/1.48	c 512 ~x41825+256 ~x41824+128 ~x41823+64 ~x41822+32 ~x41821+16 ~x41820+8 ~x41819+4 ~x41818+2 ~x41817+1 ~x41816+512 ~x1079+256 ~x1078+128 ~x1077+64 ~x1076+32 ~x1075+16 ~x1074+8 ~x1073+4 ~x1072+2 ~x1071+1 ~x1070-0=2046
1.48/1.51	c 512 ~x43127+256 ~x43126+128 ~x43125+64 ~x43124+32 ~x43123+16 ~x43122+8 ~x43121+4 ~x43120+2 ~x43119+1 ~x43118+512 ~x1090+256 ~x1089+128 ~x1088+64 ~x1087+32 ~x1086+16 ~x1085+8 ~x1084+4 ~x1083+2 ~x1082+1 ~x1081-0=2046
1.48/1.57	c 512 ~x44429+256 ~x44428+128 ~x44427+64 ~x44426+32 ~x44425+16 ~x44424+8 ~x44423+4 ~x44422+2 ~x44421+1 ~x44420+512 ~x1101+256 ~x1100+128 ~x1099+64 ~x1098+32 ~x1097+16 ~x1096+8 ~x1095+4 ~x1094+2 ~x1093+1 ~x1092-0=2046
1.48/1.57	c 512 ~x45731+256 ~x45730+128 ~x45729+64 ~x45728+32 ~x45727+16 ~x45726+8 ~x45725+4 ~x45724+2 ~x45723+1 ~x45722+512 ~x1112+256 ~x1111+128 ~x1110+64 ~x1109+32 ~x1108+16 ~x1107+8 ~x1106+4 ~x1105+2 ~x1104+1 ~x1103-0=2046
1.58/1.60	c 512 ~x47033+256 ~x47032+128 ~x47031+64 ~x47030+32 ~x47029+16 ~x47028+8 ~x47027+4 ~x47026+2 ~x47025+1 ~x47024+512 ~x1123+256 ~x1122+128 ~x1121+64 ~x1120+32 ~x1119+16 ~x1118+8 ~x1117+4 ~x1116+2 ~x1115+1 ~x1114-0=2046
1.58/1.63	c 512 ~x48335+256 ~x48334+128 ~x48333+64 ~x48332+32 ~x48331+16 ~x48330+8 ~x48329+4 ~x48328+2 ~x48327+1 ~x48326+512 ~x1134+256 ~x1133+128 ~x1132+64 ~x1131+32 ~x1130+16 ~x1129+8 ~x1128+4 ~x1127+2 ~x1126+1 ~x1125-0=2046
1.58/1.66	c 512 ~x49637+256 ~x49636+128 ~x49635+64 ~x49634+32 ~x49633+16 ~x49632+8 ~x49631+4 ~x49630+2 ~x49629+1 ~x49628+512 ~x1145+256 ~x1144+128 ~x1143+64 ~x1142+32 ~x1141+16 ~x1140+8 ~x1139+4 ~x1138+2 ~x1137+1 ~x1136-0=2046
1.58/1.69	c 512 ~x50939+256 ~x50938+128 ~x50937+64 ~x50936+32 ~x50935+16 ~x50934+8 ~x50933+4 ~x50932+2 ~x50931+1 ~x50930+512 ~x1156+256 ~x1155+128 ~x1154+64 ~x1153+32 ~x1152+16 ~x1151+8 ~x1150+4 ~x1149+2 ~x1148+1 ~x1147-0=2046
1.69/1.76	c 512 ~x52241+256 ~x52240+128 ~x52239+64 ~x52238+32 ~x52237+16 ~x52236+8 ~x52235+4 ~x52234+2 ~x52233+1 ~x52232+512 ~x1167+256 ~x1166+128 ~x1165+64 ~x1164+32 ~x1163+16 ~x1162+8 ~x1161+4 ~x1160+2 ~x1159+1 ~x1158-0=2046
1.69/1.76	c 512 ~x53543+256 ~x53542+128 ~x53541+64 ~x53540+32 ~x53539+16 ~x53538+8 ~x53537+4 ~x53536+2 ~x53535+1 ~x53534+512 ~x1178+256 ~x1177+128 ~x1176+64 ~x1175+32 ~x1174+16 ~x1173+8 ~x1172+4 ~x1171+2 ~x1170+1 ~x1169-0=2046
1.69/1.79	c 512 ~x54845+256 ~x54844+128 ~x54843+64 ~x54842+32 ~x54841+16 ~x54840+8 ~x54839+4 ~x54838+2 ~x54837+1 ~x54836+512 ~x1189+256 ~x1188+128 ~x1187+64 ~x1186+32 ~x1185+16 ~x1184+8 ~x1183+4 ~x1182+2 ~x1181+1 ~x1180-0=2046
1.78/1.82	c 512 ~x56147+256 ~x56146+128 ~x56145+64 ~x56144+32 ~x56143+16 ~x56142+8 ~x56141+4 ~x56140+2 ~x56139+1 ~x56138+512 ~x1200+256 ~x1199+128 ~x1198+64 ~x1197+32 ~x1196+16 ~x1195+8 ~x1194+4 ~x1193+2 ~x1192+1 ~x1191-0=2046
1.78/1.85	c 512 ~x57449+256 ~x57448+128 ~x57447+64 ~x57446+32 ~x57445+16 ~x57444+8 ~x57443+4 ~x57442+2 ~x57441+1 ~x57440+512 ~x1211+256 ~x1210+128 ~x1209+64 ~x1208+32 ~x1207+16 ~x1206+8 ~x1205+4 ~x1204+2 ~x1203+1 ~x1202-0=2046
1.78/1.88	c 512 ~x58751+256 ~x58750+128 ~x58749+64 ~x58748+32 ~x58747+16 ~x58746+8 ~x58745+4 ~x58744+2 ~x58743+1 ~x58742+512 ~x1222+256 ~x1221+128 ~x1220+64 ~x1219+32 ~x1218+16 ~x1217+8 ~x1216+4 ~x1215+2 ~x1214+1 ~x1213-0=2046
1.88/1.91	c 512 ~x60053+256 ~x60052+128 ~x60051+64 ~x60050+32 ~x60049+16 ~x60048+8 ~x60047+4 ~x60046+2 ~x60045+1 ~x60044+512 ~x1233+256 ~x1232+128 ~x1231+64 ~x1230+32 ~x1229+16 ~x1228+8 ~x1227+4 ~x1226+2 ~x1225+1 ~x1224-0=2046
1.88/1.97	c 512 ~x61355+256 ~x61354+128 ~x61353+64 ~x61352+32 ~x61351+16 ~x61350+8 ~x61349+4 ~x61348+2 ~x61347+1 ~x61346+512 ~x1244+256 ~x1243+128 ~x1242+64 ~x1241+32 ~x1240+16 ~x1239+8 ~x1238+4 ~x1237+2 ~x1236+1 ~x1235-0=2046
1.88/1.97	c 512 ~x62657+256 ~x62656+128 ~x62655+64 ~x62654+32 ~x62653+16 ~x62652+8 ~x62651+4 ~x62650+2 ~x62649+1 ~x62648+512 ~x1255+256 ~x1254+128 ~x1253+64 ~x1252+32 ~x1251+16 ~x1250+8 ~x1249+4 ~x1248+2 ~x1247+1 ~x1246-0=2046
1.99/2.00	c 512 ~x63959+256 ~x63958+128 ~x63957+64 ~x63956+32 ~x63955+16 ~x63954+8 ~x63953+4 ~x63952+2 ~x63951+1 ~x63950+512 ~x1266+256 ~x1265+128 ~x1264+64 ~x1263+32 ~x1262+16 ~x1261+8 ~x1260+4 ~x1259+2 ~x1258+1 ~x1257-0=2046
1.99/2.03	c 512 ~x65261+256 ~x65260+128 ~x65259+64 ~x65258+32 ~x65257+16 ~x65256+8 ~x65255+4 ~x65254+2 ~x65253+1 ~x65252+512 ~x1277+256 ~x1276+128 ~x1275+64 ~x1274+32 ~x1273+16 ~x1272+8 ~x1271+4 ~x1270+2 ~x1269+1 ~x1268-0=2046
1.99/2.06	c 512 ~x66563+256 ~x66562+128 ~x66561+64 ~x66560+32 ~x66559+16 ~x66558+8 ~x66557+4 ~x66556+2 ~x66555+1 ~x66554+512 ~x1288+256 ~x1287+128 ~x1286+64 ~x1285+32 ~x1284+16 ~x1283+8 ~x1282+4 ~x1281+2 ~x1280+1 ~x1279-0=2046
1.99/2.09	c 512 ~x67865+256 ~x67864+128 ~x67863+64 ~x67862+32 ~x67861+16 ~x67860+8 ~x67859+4 ~x67858+2 ~x67857+1 ~x67856+512 ~x1299+256 ~x1298+128 ~x1297+64 ~x1296+32 ~x1295+16 ~x1294+8 ~x1293+4 ~x1292+2 ~x1291+1 ~x1290-0=2046
2.09/2.13	c 512 ~x69167+256 ~x69166+128 ~x69165+64 ~x69164+32 ~x69163+16 ~x69162+8 ~x69161+4 ~x69160+2 ~x69159+1 ~x69158+512 ~x1310+256 ~x1309+128 ~x1308+64 ~x1307+32 ~x1306+16 ~x1305+8 ~x1304+4 ~x1303+2 ~x1302+1 ~x1301-0=2046
2.09/2.19	c 512 ~x70469+256 ~x70468+128 ~x70467+64 ~x70466+32 ~x70465+16 ~x70464+8 ~x70463+4 ~x70462+2 ~x70461+1 ~x70460+512 ~x1321+256 ~x1320+128 ~x1319+64 ~x1318+32 ~x1317+16 ~x1316+8 ~x1315+4 ~x1314+2 ~x1313+1 ~x1312-0=2046
2.09/2.19	c 512 ~x71771+256 ~x71770+128 ~x71769+64 ~x71768+32 ~x71767+16 ~x71766+8 ~x71765+4 ~x71764+2 ~x71763+1 ~x71762+512 ~x1332+256 ~x1331+128 ~x1330+64 ~x1329+32 ~x1328+16 ~x1327+8 ~x1326+4 ~x1325+2 ~x1324+1 ~x1323-0=2046
2.19/2.22	c 512 ~x73073+256 ~x73072+128 ~x73071+64 ~x73070+32 ~x73069+16 ~x73068+8 ~x73067+4 ~x73066+2 ~x73065+1 ~x73064+512 ~x1343+256 ~x1342+128 ~x1341+64 ~x1340+32 ~x1339+16 ~x1338+8 ~x1337+4 ~x1336+2 ~x1335+1 ~x1334-0=2046
2.19/2.25	c 512 ~x74375+256 ~x74374+128 ~x74373+64 ~x74372+32 ~x74371+16 ~x74370+8 ~x74369+4 ~x74368+2 ~x74367+1 ~x74366+512 ~x1354+256 ~x1353+128 ~x1352+64 ~x1351+32 ~x1350+16 ~x1349+8 ~x1348+4 ~x1347+2 ~x1346+1 ~x1345-0=2046
2.19/2.28	c 512 ~x75677+256 ~x75676+128 ~x75675+64 ~x75674+32 ~x75673+16 ~x75672+8 ~x75671+4 ~x75670+2 ~x75669+1 ~x75668+512 ~x1365+256 ~x1364+128 ~x1363+64 ~x1362+32 ~x1361+16 ~x1360+8 ~x1359+4 ~x1358+2 ~x1357+1 ~x1356-0=2046
2.28/2.32	c 512 ~x76979+256 ~x76978+128 ~x76977+64 ~x76976+32 ~x76975+16 ~x76974+8 ~x76973+4 ~x76972+2 ~x76971+1 ~x76970+512 ~x1376+256 ~x1375+128 ~x1374+64 ~x1373+32 ~x1372+16 ~x1371+8 ~x1370+4 ~x1369+2 ~x1368+1 ~x1367-0=2046
2.28/2.38	c 512 ~x78281+256 ~x78280+128 ~x78279+64 ~x78278+32 ~x78277+16 ~x78276+8 ~x78275+4 ~x78274+2 ~x78273+1 ~x78272+512 ~x1387+256 ~x1386+128 ~x1385+64 ~x1384+32 ~x1383+16 ~x1382+8 ~x1381+4 ~x1380+2 ~x1379+1 ~x1378-0=2046
2.28/2.38	c 512 ~x79583+256 ~x79582+128 ~x79581+64 ~x79580+32 ~x79579+16 ~x79578+8 ~x79577+4 ~x79576+2 ~x79575+1 ~x79574+512 ~x1398+256 ~x1397+128 ~x1396+64 ~x1395+32 ~x1394+16 ~x1393+8 ~x1392+4 ~x1391+2 ~x1390+1 ~x1389-0=2046
2.39/2.41	c 512 ~x80885+256 ~x80884+128 ~x80883+64 ~x80882+32 ~x80881+16 ~x80880+8 ~x80879+4 ~x80878+2 ~x80877+1 ~x80876+512 ~x1409+256 ~x1408+128 ~x1407+64 ~x1406+32 ~x1405+16 ~x1404+8 ~x1403+4 ~x1402+2 ~x1401+1 ~x1400-0=2046
2.39/2.44	c 512 ~x82187+256 ~x82186+128 ~x82185+64 ~x82184+32 ~x82183+16 ~x82182+8 ~x82181+4 ~x82180+2 ~x82179+1 ~x82178+512 ~x1420+256 ~x1419+128 ~x1418+64 ~x1417+32 ~x1416+16 ~x1415+8 ~x1414+4 ~x1413+2 ~x1412+1 ~x1411-0=2046
2.39/2.47	c 512 ~x83489+256 ~x83488+128 ~x83487+64 ~x83486+32 ~x83485+16 ~x83484+8 ~x83483+4 ~x83482+2 ~x83481+1 ~x83480+512 ~x1431+256 ~x1430+128 ~x1429+64 ~x1428+32 ~x1427+16 ~x1426+8 ~x1425+4 ~x1424+2 ~x1423+1 ~x1422-0=2046
2.49/2.51	c 512 ~x84791+256 ~x84790+128 ~x84789+64 ~x84788+32 ~x84787+16 ~x84786+8 ~x84785+4 ~x84784+2 ~x84783+1 ~x84782+512 ~x1442+256 ~x1441+128 ~x1440+64 ~x1439+32 ~x1438+16 ~x1437+8 ~x1436+4 ~x1435+2 ~x1434+1 ~x1433-0=2046
2.49/2.54	c 512 ~x86093+256 ~x86092+128 ~x86091+64 ~x86090+32 ~x86089+16 ~x86088+8 ~x86087+4 ~x86086+2 ~x86085+1 ~x86084+512 ~x1453+256 ~x1452+128 ~x1451+64 ~x1450+32 ~x1449+16 ~x1448+8 ~x1447+4 ~x1446+2 ~x1445+1 ~x1444-0=2046
2.58/2.60	c 512 ~x87395+256 ~x87394+128 ~x87393+64 ~x87392+32 ~x87391+16 ~x87390+8 ~x87389+4 ~x87388+2 ~x87387+1 ~x87386+512 ~x1464+256 ~x1463+128 ~x1462+64 ~x1461+32 ~x1460+16 ~x1459+8 ~x1458+4 ~x1457+2 ~x1456+1 ~x1455-0=2046
2.58/2.60	c 512 ~x88697+256 ~x88696+128 ~x88695+64 ~x88694+32 ~x88693+16 ~x88692+8 ~x88691+4 ~x88690+2 ~x88689+1 ~x88688+512 ~x1475+256 ~x1474+128 ~x1473+64 ~x1472+32 ~x1471+16 ~x1470+8 ~x1469+4 ~x1468+2 ~x1467+1 ~x1466-0=2046
2.58/2.63	c 512 ~x89999+256 ~x89998+128 ~x89997+64 ~x89996+32 ~x89995+16 ~x89994+8 ~x89993+4 ~x89992+2 ~x89991+1 ~x89990+512 ~x1486+256 ~x1485+128 ~x1484+64 ~x1483+32 ~x1482+16 ~x1481+8 ~x1480+4 ~x1479+2 ~x1478+1 ~x1477-0=2046
2.58/2.66	c 512 ~x91301+256 ~x91300+128 ~x91299+64 ~x91298+32 ~x91297+16 ~x91296+8 ~x91295+4 ~x91294+2 ~x91293+1 ~x91292+512 ~x1497+256 ~x1496+128 ~x1495+64 ~x1494+32 ~x1493+16 ~x1492+8 ~x1491+4 ~x1490+2 ~x1489+1 ~x1488-0=2046
2.58/2.69	c 512 ~x92603+256 ~x92602+128 ~x92601+64 ~x92600+32 ~x92599+16 ~x92598+8 ~x92597+4 ~x92596+2 ~x92595+1 ~x92594+512 ~x1508+256 ~x1507+128 ~x1506+64 ~x1505+32 ~x1504+16 ~x1503+8 ~x1502+4 ~x1501+2 ~x1500+1 ~x1499-0=2046
2.69/2.72	c 512 ~x93905+256 ~x93904+128 ~x93903+64 ~x93902+32 ~x93901+16 ~x93900+8 ~x93899+4 ~x93898+2 ~x93897+1 ~x93896+512 ~x1519+256 ~x1518+128 ~x1517+64 ~x1516+32 ~x1515+16 ~x1514+8 ~x1513+4 ~x1512+2 ~x1511+1 ~x1510-0=2046
2.69/2.79	c 512 ~x95207+256 ~x95206+128 ~x95205+64 ~x95204+32 ~x95203+16 ~x95202+8 ~x95201+4 ~x95200+2 ~x95199+1 ~x95198+512 ~x1530+256 ~x1529+128 ~x1528+64 ~x1527+32 ~x1526+16 ~x1525+8 ~x1524+4 ~x1523+2 ~x1522+1 ~x1521-0=2046
2.69/2.79	c 512 ~x96509+256 ~x96508+128 ~x96507+64 ~x96506+32 ~x96505+16 ~x96504+8 ~x96503+4 ~x96502+2 ~x96501+1 ~x96500+512 ~x1541+256 ~x1540+128 ~x1539+64 ~x1538+32 ~x1537+16 ~x1536+8 ~x1535+4 ~x1534+2 ~x1533+1 ~x1532-0=2046
2.79/2.82	c 512 ~x97811+256 ~x97810+128 ~x97809+64 ~x97808+32 ~x97807+16 ~x97806+8 ~x97805+4 ~x97804+2 ~x97803+1 ~x97802+512 ~x1552+256 ~x1551+128 ~x1550+64 ~x1549+32 ~x1548+16 ~x1547+8 ~x1546+4 ~x1545+2 ~x1544+1 ~x1543-0=2046
2.79/2.85	c 512 ~x99113+256 ~x99112+128 ~x99111+64 ~x99110+32 ~x99109+16 ~x99108+8 ~x99107+4 ~x99106+2 ~x99105+1 ~x99104+512 ~x1563+256 ~x1562+128 ~x1561+64 ~x1560+32 ~x1559+16 ~x1558+8 ~x1557+4 ~x1556+2 ~x1555+1 ~x1554-0=2046
2.79/2.88	c 512 ~x100415+256 ~x100414+128 ~x100413+64 ~x100412+32 ~x100411+16 ~x100410+8 ~x100409+4 ~x100408+2 ~x100407+1 ~x100406+512 ~x1574+256 ~x1573+128 ~x1572+64 ~x1571+32 ~x1570+16 ~x1569+8 ~x1568+4 ~x1567+2 ~x1566+1 ~x1565-0=2046
2.88/2.91	c 512 ~x101717+256 ~x101716+128 ~x101715+64 ~x101714+32 ~x101713+16 ~x101712+8 ~x101711+4 ~x101710+2 ~x101709+1 ~x101708+512 ~x1585+256 ~x1584+128 ~x1583+64 ~x1582+32 ~x1581+16 ~x1580+8 ~x1579+4 ~x1578+2 ~x1577+1 ~x1576-0=2046
2.88/2.94	c 512 ~x103019+256 ~x103018+128 ~x103017+64 ~x103016+32 ~x103015+16 ~x103014+8 ~x103013+4 ~x103012+2 ~x103011+1 ~x103010+512 ~x1596+256 ~x1595+128 ~x1594+64 ~x1593+32 ~x1592+16 ~x1591+8 ~x1590+4 ~x1589+2 ~x1588+1 ~x1587-0=2046
2.88/2.97	c 512 ~x104321+256 ~x104320+128 ~x104319+64 ~x104318+32 ~x104317+16 ~x104316+8 ~x104315+4 ~x104314+2 ~x104313+1 ~x104312+512 ~x1607+256 ~x1606+128 ~x1605+64 ~x1604+32 ~x1603+16 ~x1602+8 ~x1601+4 ~x1600+2 ~x1599+1 ~x1598-0=2046
2.98/3.03	c 512 ~x105623+256 ~x105622+128 ~x105621+64 ~x105620+32 ~x105619+16 ~x105618+8 ~x105617+4 ~x105616+2 ~x105615+1 ~x105614+512 ~x1618+256 ~x1617+128 ~x1616+64 ~x1615+32 ~x1614+16 ~x1613+8 ~x1612+4 ~x1611+2 ~x1610+1 ~x1609-0=2046
2.98/3.03	c 512 ~x106925+256 ~x106924+128 ~x106923+64 ~x106922+32 ~x106921+16 ~x106920+8 ~x106919+4 ~x106918+2 ~x106917+1 ~x106916+512 ~x1629+256 ~x1628+128 ~x1627+64 ~x1626+32 ~x1625+16 ~x1624+8 ~x1623+4 ~x1622+2 ~x1621+1 ~x1620-0=2046
2.98/3.06	c 512 ~x108227+256 ~x108226+128 ~x108225+64 ~x108224+32 ~x108223+16 ~x108222+8 ~x108221+4 ~x108220+2 ~x108219+1 ~x108218+512 ~x1640+256 ~x1639+128 ~x1638+64 ~x1637+32 ~x1636+16 ~x1635+8 ~x1634+4 ~x1633+2 ~x1632+1 ~x1631-0=2046
2.98/3.10	c 512 ~x109529+256 ~x109528+128 ~x109527+64 ~x109526+32 ~x109525+16 ~x109524+8 ~x109523+4 ~x109522+2 ~x109521+1 ~x109520+512 ~x1651+256 ~x1650+128 ~x1649+64 ~x1648+32 ~x1647+16 ~x1646+8 ~x1645+4 ~x1644+2 ~x1643+1 ~x1642-0=2046
3.08/3.13	c 512 ~x110831+256 ~x110830+128 ~x110829+64 ~x110828+32 ~x110827+16 ~x110826+8 ~x110825+4 ~x110824+2 ~x110823+1 ~x110822+512 ~x1662+256 ~x1661+128 ~x1660+64 ~x1659+32 ~x1658+16 ~x1657+8 ~x1656+4 ~x1655+2 ~x1654+1 ~x1653-0=2046
3.08/3.16	c 512 ~x112133+256 ~x112132+128 ~x112131+64 ~x112130+32 ~x112129+16 ~x112128+8 ~x112127+4 ~x112126+2 ~x112125+1 ~x112124+512 ~x1673+256 ~x1672+128 ~x1671+64 ~x1670+32 ~x1669+16 ~x1668+8 ~x1667+4 ~x1666+2 ~x1665+1 ~x1664-0=2046
3.08/3.19	c 512 ~x113435+256 ~x113434+128 ~x113433+64 ~x113432+32 ~x113431+16 ~x113430+8 ~x113429+4 ~x113428+2 ~x113427+1 ~x113426+512 ~x1684+256 ~x1683+128 ~x1682+64 ~x1681+32 ~x1680+16 ~x1679+8 ~x1678+4 ~x1677+2 ~x1676+1 ~x1675-0=2046
3.19/3.22	c 512 ~x114737+256 ~x114736+128 ~x114735+64 ~x114734+32 ~x114733+16 ~x114732+8 ~x114731+4 ~x114730+2 ~x114729+1 ~x114728+512 ~x1695+256 ~x1694+128 ~x1693+64 ~x1692+32 ~x1691+16 ~x1690+8 ~x1689+4 ~x1688+2 ~x1687+1 ~x1686-0=2046
3.19/3.25	c 512 ~x116039+256 ~x116038+128 ~x116037+64 ~x116036+32 ~x116035+16 ~x116034+8 ~x116033+4 ~x116032+2 ~x116031+1 ~x116030+512 ~x1706+256 ~x1705+128 ~x1704+64 ~x1703+32 ~x1702+16 ~x1701+8 ~x1700+4 ~x1699+2 ~x1698+1 ~x1697-0=2046
3.29/3.31	c 512 ~x117341+256 ~x117340+128 ~x117339+64 ~x117338+32 ~x117337+16 ~x117336+8 ~x117335+4 ~x117334+2 ~x117333+1 ~x117332+512 ~x1717+256 ~x1716+128 ~x1715+64 ~x1714+32 ~x1713+16 ~x1712+8 ~x1711+4 ~x1710+2 ~x1709+1 ~x1708-0=2046
3.29/3.31	c 512 ~x118643+256 ~x118642+128 ~x118641+64 ~x118640+32 ~x118639+16 ~x118638+8 ~x118637+4 ~x118636+2 ~x118635+1 ~x118634+512 ~x1728+256 ~x1727+128 ~x1726+64 ~x1725+32 ~x1724+16 ~x1723+8 ~x1722+4 ~x1721+2 ~x1720+1 ~x1719-0=2046
3.29/3.34	c 512 ~x119945+256 ~x119944+128 ~x119943+64 ~x119942+32 ~x119941+16 ~x119940+8 ~x119939+4 ~x119938+2 ~x119937+1 ~x119936+512 ~x1739+256 ~x1738+128 ~x1737+64 ~x1736+32 ~x1735+16 ~x1734+8 ~x1733+4 ~x1732+2 ~x1731+1 ~x1730-0=2046
3.29/3.37	c 512 ~x121247+256 ~x121246+128 ~x121245+64 ~x121244+32 ~x121243+16 ~x121242+8 ~x121241+4 ~x121240+2 ~x121239+1 ~x121238+512 ~x1750+256 ~x1749+128 ~x1748+64 ~x1747+32 ~x1746+16 ~x1745+8 ~x1744+4 ~x1743+2 ~x1742+1 ~x1741-0=2046
3.38/3.40	c 512 ~x122549+256 ~x122548+128 ~x122547+64 ~x122546+32 ~x122545+16 ~x122544+8 ~x122543+4 ~x122542+2 ~x122541+1 ~x122540+512 ~x1761+256 ~x1760+128 ~x1759+64 ~x1758+32 ~x1757+16 ~x1756+8 ~x1755+4 ~x1754+2 ~x1753+1 ~x1752-0=2046
3.38/3.44	c 512 ~x123851+256 ~x123850+128 ~x123849+64 ~x123848+32 ~x123847+16 ~x123846+8 ~x123845+4 ~x123844+2 ~x123843+1 ~x123842+512 ~x1772+256 ~x1771+128 ~x1770+64 ~x1769+32 ~x1768+16 ~x1767+8 ~x1766+4 ~x1765+2 ~x1764+1 ~x1763-0=2046
3.38/3.47	c 512 ~x125153+256 ~x125152+128 ~x125151+64 ~x125150+32 ~x125149+16 ~x125148+8 ~x125147+4 ~x125146+2 ~x125145+1 ~x125144+512 ~x1783+256 ~x1782+128 ~x1781+64 ~x1780+32 ~x1779+16 ~x1778+8 ~x1777+4 ~x1776+2 ~x1775+1 ~x1774-0=2046
3.48/3.50	c 512 ~x126455+256 ~x126454+128 ~x126453+64 ~x126452+32 ~x126451+16 ~x126450+8 ~x126449+4 ~x126448+2 ~x126447+1 ~x126446+512 ~x1794+256 ~x1793+128 ~x1792+64 ~x1791+32 ~x1790+16 ~x1789+8 ~x1788+4 ~x1787+2 ~x1786+1 ~x1785-0=2046
3.48/3.53	c 512 ~x127757+256 ~x127756+128 ~x127755+64 ~x127754+32 ~x127753+16 ~x127752+8 ~x127751+4 ~x127750+2 ~x127749+1 ~x127748+512 ~x1805+256 ~x1804+128 ~x1803+64 ~x1802+32 ~x1801+16 ~x1800+8 ~x1799+4 ~x1798+2 ~x1797+1 ~x1796-0=2046
3.48/3.59	c 512 ~x129059+256 ~x129058+128 ~x129057+64 ~x129056+32 ~x129055+16 ~x129054+8 ~x129053+4 ~x129052+2 ~x129051+1 ~x129050+512 ~x1816+256 ~x1815+128 ~x1814+64 ~x1813+32 ~x1812+16 ~x1811+8 ~x1810+4 ~x1809+2 ~x1808+1 ~x1807-0=2046
3.48/3.59	c 512 ~x130361+256 ~x130360+128 ~x130359+64 ~x130358+32 ~x130357+16 ~x130356+8 ~x130355+4 ~x130354+2 ~x130353+1 ~x130352+512 ~x1827+256 ~x1826+128 ~x1825+64 ~x1824+32 ~x1823+16 ~x1822+8 ~x1821+4 ~x1820+2 ~x1819+1 ~x1818-0=2046
3.58/3.62	c 512 ~x131663+256 ~x131662+128 ~x131661+64 ~x131660+32 ~x131659+16 ~x131658+8 ~x131657+4 ~x131656+2 ~x131655+1 ~x131654+512 ~x1838+256 ~x1837+128 ~x1836+64 ~x1835+32 ~x1834+16 ~x1833+8 ~x1832+4 ~x1831+2 ~x1830+1 ~x1829-0=2046
3.58/3.65	c 512 ~x132965+256 ~x132964+128 ~x132963+64 ~x132962+32 ~x132961+16 ~x132960+8 ~x132959+4 ~x132958+2 ~x132957+1 ~x132956+512 ~x1849+256 ~x1848+128 ~x1847+64 ~x1846+32 ~x1845+16 ~x1844+8 ~x1843+4 ~x1842+2 ~x1841+1 ~x1840-0=2046
3.58/3.68	c 512 ~x134267+256 ~x134266+128 ~x134265+64 ~x134264+32 ~x134263+16 ~x134262+8 ~x134261+4 ~x134260+2 ~x134259+1 ~x134258+512 ~x1860+256 ~x1859+128 ~x1858+64 ~x1857+32 ~x1856+16 ~x1855+8 ~x1854+4 ~x1853+2 ~x1852+1 ~x1851-0=2046
3.68/3.71	c 512 ~x135569+256 ~x135568+128 ~x135567+64 ~x135566+32 ~x135565+16 ~x135564+8 ~x135563+4 ~x135562+2 ~x135561+1 ~x135560+512 ~x1871+256 ~x1870+128 ~x1869+64 ~x1868+32 ~x1867+16 ~x1866+8 ~x1865+4 ~x1864+2 ~x1863+1 ~x1862-0=2046
3.68/3.74	c 512 ~x136871+256 ~x136870+128 ~x136869+64 ~x136868+32 ~x136867+16 ~x136866+8 ~x136865+4 ~x136864+2 ~x136863+1 ~x136862+512 ~x1882+256 ~x1881+128 ~x1880+64 ~x1879+32 ~x1878+16 ~x1877+8 ~x1876+4 ~x1875+2 ~x1874+1 ~x1873-0=2046
3.68/3.78	c 512 ~x138173+256 ~x138172+128 ~x138171+64 ~x138170+32 ~x138169+16 ~x138168+8 ~x138167+4 ~x138166+2 ~x138165+1 ~x138164+512 ~x1893+256 ~x1892+128 ~x1891+64 ~x1890+32 ~x1889+16 ~x1888+8 ~x1887+4 ~x1886+2 ~x1885+1 ~x1884-0=2046
3.78/3.84	c 512 ~x139475+256 ~x139474+128 ~x139473+64 ~x139472+32 ~x139471+16 ~x139470+8 ~x139469+4 ~x139468+2 ~x139467+1 ~x139466+512 ~x1904+256 ~x1903+128 ~x1902+64 ~x1901+32 ~x1900+16 ~x1899+8 ~x1898+4 ~x1897+2 ~x1896+1 ~x1895-0=2046
3.78/3.84	c 512 ~x140777+256 ~x140776+128 ~x140775+64 ~x140774+32 ~x140773+16 ~x140772+8 ~x140771+4 ~x140770+2 ~x140769+1 ~x140768+512 ~x1915+256 ~x1914+128 ~x1913+64 ~x1912+32 ~x1911+16 ~x1910+8 ~x1909+4 ~x1908+2 ~x1907+1 ~x1906-0=2046
3.78/3.87	c 512 ~x142079+256 ~x142078+128 ~x142077+64 ~x142076+32 ~x142075+16 ~x142074+8 ~x142073+4 ~x142072+2 ~x142071+1 ~x142070+512 ~x1926+256 ~x1925+128 ~x1924+64 ~x1923+32 ~x1922+16 ~x1921+8 ~x1920+4 ~x1919+2 ~x1918+1 ~x1917-0=2046
3.88/3.90	c 512 ~x143381+256 ~x143380+128 ~x143379+64 ~x143378+32 ~x143377+16 ~x143376+8 ~x143375+4 ~x143374+2 ~x143373+1 ~x143372+512 ~x1937+256 ~x1936+128 ~x1935+64 ~x1934+32 ~x1933+16 ~x1932+8 ~x1931+4 ~x1930+2 ~x1929+1 ~x1928-0=2046
3.88/3.93	c 512 ~x144683+256 ~x144682+128 ~x144681+64 ~x144680+32 ~x144679+16 ~x144678+8 ~x144677+4 ~x144676+2 ~x144675+1 ~x144674+512 ~x1948+256 ~x1947+128 ~x1946+64 ~x1945+32 ~x1944+16 ~x1943+8 ~x1942+4 ~x1941+2 ~x1940+1 ~x1939-0=2046
3.88/3.96	c 512 ~x145985+256 ~x145984+128 ~x145983+64 ~x145982+32 ~x145981+16 ~x145980+8 ~x145979+4 ~x145978+2 ~x145977+1 ~x145976+512 ~x1959+256 ~x1958+128 ~x1957+64 ~x1956+32 ~x1955+16 ~x1954+8 ~x1953+4 ~x1952+2 ~x1951+1 ~x1950-0=2046
3.88/3.99	c 512 ~x147287+256 ~x147286+128 ~x147285+64 ~x147284+32 ~x147283+16 ~x147282+8 ~x147281+4 ~x147280+2 ~x147279+1 ~x147278+512 ~x1970+256 ~x1969+128 ~x1968+64 ~x1967+32 ~x1966+16 ~x1965+8 ~x1964+4 ~x1963+2 ~x1962+1 ~x1961-0=2046
3.98/4.02	c 512 ~x148589+256 ~x148588+128 ~x148587+64 ~x148586+32 ~x148585+16 ~x148584+8 ~x148583+4 ~x148582+2 ~x148581+1 ~x148580+512 ~x1981+256 ~x1980+128 ~x1979+64 ~x1978+32 ~x1977+16 ~x1976+8 ~x1975+4 ~x1974+2 ~x1973+1 ~x1972-0=2046
3.98/4.05	c 512 ~x149891+256 ~x149890+128 ~x149889+64 ~x149888+32 ~x149887+16 ~x149886+8 ~x149885+4 ~x149884+2 ~x149883+1 ~x149882+512 ~x1992+256 ~x1991+128 ~x1990+64 ~x1989+32 ~x1988+16 ~x1987+8 ~x1986+4 ~x1985+2 ~x1984+1 ~x1983-0=2046
4.08/4.11	c 512 ~x151193+256 ~x151192+128 ~x151191+64 ~x151190+32 ~x151189+16 ~x151188+8 ~x151187+4 ~x151186+2 ~x151185+1 ~x151184+512 ~x2003+256 ~x2002+128 ~x2001+64 ~x2000+32 ~x1999+16 ~x1998+8 ~x1997+4 ~x1996+2 ~x1995+1 ~x1994-0=2046
4.08/4.11	c 512 ~x152495+256 ~x152494+128 ~x152493+64 ~x152492+32 ~x152491+16 ~x152490+8 ~x152489+4 ~x152488+2 ~x152487+1 ~x152486+512 ~x2014+256 ~x2013+128 ~x2012+64 ~x2011+32 ~x2010+16 ~x2009+8 ~x2008+4 ~x2007+2 ~x2006+1 ~x2005-0=2046
4.08/4.14	c 512 ~x153797+256 ~x153796+128 ~x153795+64 ~x153794+32 ~x153793+16 ~x153792+8 ~x153791+4 ~x153790+2 ~x153789+1 ~x153788+512 ~x2025+256 ~x2024+128 ~x2023+64 ~x2022+32 ~x2021+16 ~x2020+8 ~x2019+4 ~x2018+2 ~x2017+1 ~x2016-0=2046
4.08/4.18	c 512 ~x155099+256 ~x155098+128 ~x155097+64 ~x155096+32 ~x155095+16 ~x155094+8 ~x155093+4 ~x155092+2 ~x155091+1 ~x155090+512 ~x2036+256 ~x2035+128 ~x2034+64 ~x2033+32 ~x2032+16 ~x2031+8 ~x2030+4 ~x2029+2 ~x2028+1 ~x2027-0=2046
4.19/4.21	c 512 ~x156401+256 ~x156400+128 ~x156399+64 ~x156398+32 ~x156397+16 ~x156396+8 ~x156395+4 ~x156394+2 ~x156393+1 ~x156392+512 ~x2047+256 ~x2046+128 ~x2045+64 ~x2044+32 ~x2043+16 ~x2042+8 ~x2041+4 ~x2040+2 ~x2039+1 ~x2038-0=2046
4.19/4.24	c 512 ~x157703+256 ~x157702+128 ~x157701+64 ~x157700+32 ~x157699+16 ~x157698+8 ~x157697+4 ~x157696+2 ~x157695+1 ~x157694+512 ~x2058+256 ~x2057+128 ~x2056+64 ~x2055+32 ~x2054+16 ~x2053+8 ~x2052+4 ~x2051+2 ~x2050+1 ~x2049-0=2046
4.19/4.27	c 512 ~x159005+256 ~x159004+128 ~x159003+64 ~x159002+32 ~x159001+16 ~x159000+8 ~x158999+4 ~x158998+2 ~x158997+1 ~x158996+512 ~x2069+256 ~x2068+128 ~x2067+64 ~x2066+32 ~x2065+16 ~x2064+8 ~x2063+4 ~x2062+2 ~x2061+1 ~x2060-0=2046
4.19/4.30	c 512 ~x160307+256 ~x160306+128 ~x160305+64 ~x160304+32 ~x160303+16 ~x160302+8 ~x160301+4 ~x160300+2 ~x160299+1 ~x160298+512 ~x2080+256 ~x2079+128 ~x2078+64 ~x2077+32 ~x2076+16 ~x2075+8 ~x2074+4 ~x2073+2 ~x2072+1 ~x2071-0=2046
4.29/4.33	c 512 ~x161609+256 ~x161608+128 ~x161607+64 ~x161606+32 ~x161605+16 ~x161604+8 ~x161603+4 ~x161602+2 ~x161601+1 ~x161600+512 ~x2091+256 ~x2090+128 ~x2089+64 ~x2088+32 ~x2087+16 ~x2086+8 ~x2085+4 ~x2084+2 ~x2083+1 ~x2082-0=2046
4.29/4.39	c 512 ~x162911+256 ~x162910+128 ~x162909+64 ~x162908+32 ~x162907+16 ~x162906+8 ~x162905+4 ~x162904+2 ~x162903+1 ~x162902+512 ~x2102+256 ~x2101+128 ~x2100+64 ~x2099+32 ~x2098+16 ~x2097+8 ~x2096+4 ~x2095+2 ~x2094+1 ~x2093-0=2046
4.29/4.39	c 512 ~x164213+256 ~x164212+128 ~x164211+64 ~x164210+32 ~x164209+16 ~x164208+8 ~x164207+4 ~x164206+2 ~x164205+1 ~x164204+512 ~x2113+256 ~x2112+128 ~x2111+64 ~x2110+32 ~x2109+16 ~x2108+8 ~x2107+4 ~x2106+2 ~x2105+1 ~x2104-0=2046
4.39/4.42	c 512 ~x165515+256 ~x165514+128 ~x165513+64 ~x165512+32 ~x165511+16 ~x165510+8 ~x165509+4 ~x165508+2 ~x165507+1 ~x165506+512 ~x2124+256 ~x2123+128 ~x2122+64 ~x2121+32 ~x2120+16 ~x2119+8 ~x2118+4 ~x2117+2 ~x2116+1 ~x2115-0=2046
4.39/4.45	c 512 ~x166817+256 ~x166816+128 ~x166815+64 ~x166814+32 ~x166813+16 ~x166812+8 ~x166811+4 ~x166810+2 ~x166809+1 ~x166808+512 ~x2135+256 ~x2134+128 ~x2133+64 ~x2132+32 ~x2131+16 ~x2130+8 ~x2129+4 ~x2128+2 ~x2127+1 ~x2126-0=2046
4.39/4.48	c 512 ~x168119+256 ~x168118+128 ~x168117+64 ~x168116+32 ~x168115+16 ~x168114+8 ~x168113+4 ~x168112+2 ~x168111+1 ~x168110+512 ~x2146+256 ~x2145+128 ~x2144+64 ~x2143+32 ~x2142+16 ~x2141+8 ~x2140+4 ~x2139+2 ~x2138+1 ~x2137-0=2046
4.48/4.51	c 512 ~x169421+256 ~x169420+128 ~x169419+64 ~x169418+32 ~x169417+16 ~x169416+8 ~x169415+4 ~x169414+2 ~x169413+1 ~x169412+512 ~x2157+256 ~x2156+128 ~x2155+64 ~x2154+32 ~x2153+16 ~x2152+8 ~x2151+4 ~x2150+2 ~x2149+1 ~x2148-0=2046
4.48/4.55	c 512 ~x170723+256 ~x170722+128 ~x170721+64 ~x170720+32 ~x170719+16 ~x170718+8 ~x170717+4 ~x170716+2 ~x170715+1 ~x170714+512 ~x2168+256 ~x2167+128 ~x2166+64 ~x2165+32 ~x2164+16 ~x2163+8 ~x2162+4 ~x2161+2 ~x2160+1 ~x2159-0=2046
4.48/4.58	c 512 ~x172025+256 ~x172024+128 ~x172023+64 ~x172022+32 ~x172021+16 ~x172020+8 ~x172019+4 ~x172018+2 ~x172017+1 ~x172016+512 ~x2179+256 ~x2178+128 ~x2177+64 ~x2176+32 ~x2175+16 ~x2174+8 ~x2173+4 ~x2172+2 ~x2171+1 ~x2170-0=2046
4.58/4.61	c 512 ~x173327+256 ~x173326+128 ~x173325+64 ~x173324+32 ~x173323+16 ~x173322+8 ~x173321+4 ~x173320+2 ~x173319+1 ~x173318+512 ~x2190+256 ~x2189+128 ~x2188+64 ~x2187+32 ~x2186+16 ~x2185+8 ~x2184+4 ~x2183+2 ~x2182+1 ~x2181-0=2046
4.58/4.67	c 512 ~x174629+256 ~x174628+128 ~x174627+64 ~x174626+32 ~x174625+16 ~x174624+8 ~x174623+4 ~x174622+2 ~x174621+1 ~x174620+512 ~x2201+256 ~x2200+128 ~x2199+64 ~x2198+32 ~x2197+16 ~x2196+8 ~x2195+4 ~x2194+2 ~x2193+1 ~x2192-0=2046
4.58/4.67	c 512 ~x175931+256 ~x175930+128 ~x175929+64 ~x175928+32 ~x175927+16 ~x175926+8 ~x175925+4 ~x175924+2 ~x175923+1 ~x175922+512 ~x2212+256 ~x2211+128 ~x2210+64 ~x2209+32 ~x2208+16 ~x2207+8 ~x2206+4 ~x2205+2 ~x2204+1 ~x2203-0=2046
4.69/4.70	c 512 ~x177233+256 ~x177232+128 ~x177231+64 ~x177230+32 ~x177229+16 ~x177228+8 ~x177227+4 ~x177226+2 ~x177225+1 ~x177224+512 ~x2223+256 ~x2222+128 ~x2221+64 ~x2220+32 ~x2219+16 ~x2218+8 ~x2217+4 ~x2216+2 ~x2215+1 ~x2214-0=2046
4.69/4.73	c 512 ~x178535+256 ~x178534+128 ~x178533+64 ~x178532+32 ~x178531+16 ~x178530+8 ~x178529+4 ~x178528+2 ~x178527+1 ~x178526+512 ~x2234+256 ~x2233+128 ~x2232+64 ~x2231+32 ~x2230+16 ~x2229+8 ~x2228+4 ~x2227+2 ~x2226+1 ~x2225-0=2046
4.69/4.76	c 512 ~x179837+256 ~x179836+128 ~x179835+64 ~x179834+32 ~x179833+16 ~x179832+8 ~x179831+4 ~x179830+2 ~x179829+1 ~x179828+512 ~x2245+256 ~x2244+128 ~x2243+64 ~x2242+32 ~x2241+16 ~x2240+8 ~x2239+4 ~x2238+2 ~x2237+1 ~x2236-0=2046
4.69/4.79	c 512 ~x181139+256 ~x181138+128 ~x181137+64 ~x181136+32 ~x181135+16 ~x181134+8 ~x181133+4 ~x181132+2 ~x181131+1 ~x181130+512 ~x2256+256 ~x2255+128 ~x2254+64 ~x2253+32 ~x2252+16 ~x2251+8 ~x2250+4 ~x2249+2 ~x2248+1 ~x2247-0=2046
4.78/4.82	c 512 ~x182441+256 ~x182440+128 ~x182439+64 ~x182438+32 ~x182437+16 ~x182436+8 ~x182435+4 ~x182434+2 ~x182433+1 ~x182432+512 ~x2267+256 ~x2266+128 ~x2265+64 ~x2264+32 ~x2263+16 ~x2262+8 ~x2261+4 ~x2260+2 ~x2259+1 ~x2258-0=2046
4.78/4.85	c 512 ~x183743+256 ~x183742+128 ~x183741+64 ~x183740+32 ~x183739+16 ~x183738+8 ~x183737+4 ~x183736+2 ~x183735+1 ~x183734+512 ~x2278+256 ~x2277+128 ~x2276+64 ~x2275+32 ~x2274+16 ~x2273+8 ~x2272+4 ~x2271+2 ~x2270+1 ~x2269-0=2046
4.78/4.88	c 512 ~x185045+256 ~x185044+128 ~x185043+64 ~x185042+32 ~x185041+16 ~x185040+8 ~x185039+4 ~x185038+2 ~x185037+1 ~x185036+512 ~x2289+256 ~x2288+128 ~x2287+64 ~x2286+32 ~x2285+16 ~x2284+8 ~x2283+4 ~x2282+2 ~x2281+1 ~x2280-0=2046
4.88/4.95	c 512 ~x186347+256 ~x186346+128 ~x186345+64 ~x186344+32 ~x186343+16 ~x186342+8 ~x186341+4 ~x186340+2 ~x186339+1 ~x186338+512 ~x2300+256 ~x2299+128 ~x2298+64 ~x2297+32 ~x2296+16 ~x2295+8 ~x2294+4 ~x2293+2 ~x2292+1 ~x2291-0=2046
4.88/4.95	c 512 ~x187649+256 ~x187648+128 ~x187647+64 ~x187646+32 ~x187645+16 ~x187644+8 ~x187643+4 ~x187642+2 ~x187641+1 ~x187640+512 ~x2311+256 ~x2310+128 ~x2309+64 ~x2308+32 ~x2307+16 ~x2306+8 ~x2305+4 ~x2304+2 ~x2303+1 ~x2302-0=2046
4.88/4.98	c 512 ~x188951+256 ~x188950+128 ~x188949+64 ~x188948+32 ~x188947+16 ~x188946+8 ~x188945+4 ~x188944+2 ~x188943+1 ~x188942+512 ~x2322+256 ~x2321+128 ~x2320+64 ~x2319+32 ~x2318+16 ~x2317+8 ~x2316+4 ~x2315+2 ~x2314+1 ~x2313-0=2046
4.98/5.01	c 512 ~x190253+256 ~x190252+128 ~x190251+64 ~x190250+32 ~x190249+16 ~x190248+8 ~x190247+4 ~x190246+2 ~x190245+1 ~x190244+512 ~x2333+256 ~x2332+128 ~x2331+64 ~x2330+32 ~x2329+16 ~x2328+8 ~x2327+4 ~x2326+2 ~x2325+1 ~x2324-0=2046
4.98/5.04	c 512 ~x191555+256 ~x191554+128 ~x191553+64 ~x191552+32 ~x191551+16 ~x191550+8 ~x191549+4 ~x191548+2 ~x191547+1 ~x191546+512 ~x2344+256 ~x2343+128 ~x2342+64 ~x2341+32 ~x2340+16 ~x2339+8 ~x2338+4 ~x2337+2 ~x2336+1 ~x2335-0=2046
4.98/5.07	c 512 ~x192857+256 ~x192856+128 ~x192855+64 ~x192854+32 ~x192853+16 ~x192852+8 ~x192851+4 ~x192850+2 ~x192849+1 ~x192848+512 ~x2355+256 ~x2354+128 ~x2353+64 ~x2352+32 ~x2351+16 ~x2350+8 ~x2349+4 ~x2348+2 ~x2347+1 ~x2346-0=2046
5.08/5.10	c 512 ~x194159+256 ~x194158+128 ~x194157+64 ~x194156+32 ~x194155+16 ~x194154+8 ~x194153+4 ~x194152+2 ~x194151+1 ~x194150+512 ~x2366+256 ~x2365+128 ~x2364+64 ~x2363+32 ~x2362+16 ~x2361+8 ~x2360+4 ~x2359+2 ~x2358+1 ~x2357-0=2046
5.08/5.13	c 512 ~x195461+256 ~x195460+128 ~x195459+64 ~x195458+32 ~x195457+16 ~x195456+8 ~x195455+4 ~x195454+2 ~x195453+1 ~x195452+512 ~x2377+256 ~x2376+128 ~x2375+64 ~x2374+32 ~x2373+16 ~x2372+8 ~x2371+4 ~x2370+2 ~x2369+1 ~x2368-0=2046
5.08/5.16	c 512 ~x196763+256 ~x196762+128 ~x196761+64 ~x196760+32 ~x196759+16 ~x196758+8 ~x196757+4 ~x196756+2 ~x196755+1 ~x196754+512 ~x2388+256 ~x2387+128 ~x2386+64 ~x2385+32 ~x2384+16 ~x2383+8 ~x2382+4 ~x2381+2 ~x2380+1 ~x2379-0=2046
5.18/5.22	c 512 ~x198065+256 ~x198064+128 ~x198063+64 ~x198062+32 ~x198061+16 ~x198060+8 ~x198059+4 ~x198058+2 ~x198057+1 ~x198056+512 ~x2399+256 ~x2398+128 ~x2397+64 ~x2396+32 ~x2395+16 ~x2394+8 ~x2393+4 ~x2392+2 ~x2391+1 ~x2390-0=2046
5.18/5.22	c 512 ~x199367+256 ~x199366+128 ~x199365+64 ~x199364+32 ~x199363+16 ~x199362+8 ~x199361+4 ~x199360+2 ~x199359+1 ~x199358+512 ~x2410+256 ~x2409+128 ~x2408+64 ~x2407+32 ~x2406+16 ~x2405+8 ~x2404+4 ~x2403+2 ~x2402+1 ~x2401-0=2046
5.18/5.25	c 512 ~x200669+256 ~x200668+128 ~x200667+64 ~x200666+32 ~x200665+16 ~x200664+8 ~x200663+4 ~x200662+2 ~x200661+1 ~x200660+512 ~x2421+256 ~x2420+128 ~x2419+64 ~x2418+32 ~x2417+16 ~x2416+8 ~x2415+4 ~x2414+2 ~x2413+1 ~x2412-0=2046
5.18/5.28	c 512 ~x201971+256 ~x201970+128 ~x201969+64 ~x201968+32 ~x201967+16 ~x201966+8 ~x201965+4 ~x201964+2 ~x201963+1 ~x201962+512 ~x2432+256 ~x2431+128 ~x2430+64 ~x2429+32 ~x2428+16 ~x2427+8 ~x2426+4 ~x2425+2 ~x2424+1 ~x2423-0=2046
5.28/5.31	c 512 ~x203273+256 ~x203272+128 ~x203271+64 ~x203270+32 ~x203269+16 ~x203268+8 ~x203267+4 ~x203266+2 ~x203265+1 ~x203264+512 ~x2443+256 ~x2442+128 ~x2441+64 ~x2440+32 ~x2439+16 ~x2438+8 ~x2437+4 ~x2436+2 ~x2435+1 ~x2434-0=2046
5.28/5.34	c 512 ~x204575+256 ~x204574+128 ~x204573+64 ~x204572+32 ~x204571+16 ~x204570+8 ~x204569+4 ~x204568+2 ~x204567+1 ~x204566+512 ~x2454+256 ~x2453+128 ~x2452+64 ~x2451+32 ~x2450+16 ~x2449+8 ~x2448+4 ~x2447+2 ~x2446+1 ~x2445-0=2046
5.28/5.37	c 512 ~x205877+256 ~x205876+128 ~x205875+64 ~x205874+32 ~x205873+16 ~x205872+8 ~x205871+4 ~x205870+2 ~x205869+1 ~x205868+512 ~x2465+256 ~x2464+128 ~x2463+64 ~x2462+32 ~x2461+16 ~x2460+8 ~x2459+4 ~x2458+2 ~x2457+1 ~x2456-0=2046
5.28/5.41	c 512 ~x207179+256 ~x207178+128 ~x207177+64 ~x207176+32 ~x207175+16 ~x207174+8 ~x207173+4 ~x207172+2 ~x207171+1 ~x207170+512 ~x2476+256 ~x2475+128 ~x2474+64 ~x2473+32 ~x2472+16 ~x2471+8 ~x2470+4 ~x2469+2 ~x2468+1 ~x2467-0=2046
5.39/5.47	c 512 ~x208481+256 ~x208480+128 ~x208479+64 ~x208478+32 ~x208477+16 ~x208476+8 ~x208475+4 ~x208474+2 ~x208473+1 ~x208472+512 ~x2487+256 ~x2486+128 ~x2485+64 ~x2484+32 ~x2483+16 ~x2482+8 ~x2481+4 ~x2480+2 ~x2479+1 ~x2478-0=2046
5.39/5.47	c 512 ~x209783+256 ~x209782+128 ~x209781+64 ~x209780+32 ~x209779+16 ~x209778+8 ~x209777+4 ~x209776+2 ~x209775+1 ~x209774+512 ~x2498+256 ~x2497+128 ~x2496+64 ~x2495+32 ~x2494+16 ~x2493+8 ~x2492+4 ~x2491+2 ~x2490+1 ~x2489-0=2046
5.39/5.50	c 512 ~x211085+256 ~x211084+128 ~x211083+64 ~x211082+32 ~x211081+16 ~x211080+8 ~x211079+4 ~x211078+2 ~x211077+1 ~x211076+512 ~x2509+256 ~x2508+128 ~x2507+64 ~x2506+32 ~x2505+16 ~x2504+8 ~x2503+4 ~x2502+2 ~x2501+1 ~x2500-0=2046
5.49/5.53	c 512 ~x212387+256 ~x212386+128 ~x212385+64 ~x212384+32 ~x212383+16 ~x212382+8 ~x212381+4 ~x212380+2 ~x212379+1 ~x212378+512 ~x2520+256 ~x2519+128 ~x2518+64 ~x2517+32 ~x2516+16 ~x2515+8 ~x2514+4 ~x2513+2 ~x2512+1 ~x2511-0=2046
5.49/5.56	c 512 ~x213689+256 ~x213688+128 ~x213687+64 ~x213686+32 ~x213685+16 ~x213684+8 ~x213683+4 ~x213682+2 ~x213681+1 ~x213680+512 ~x2531+256 ~x2530+128 ~x2529+64 ~x2528+32 ~x2527+16 ~x2526+8 ~x2525+4 ~x2524+2 ~x2523+1 ~x2522-0=2046
5.49/5.59	c 512 ~x214991+256 ~x214990+128 ~x214989+64 ~x214988+32 ~x214987+16 ~x214986+8 ~x214985+4 ~x214984+2 ~x214983+1 ~x214982+512 ~x2542+256 ~x2541+128 ~x2540+64 ~x2539+32 ~x2538+16 ~x2537+8 ~x2536+4 ~x2535+2 ~x2534+1 ~x2533-0=2046
5.58/5.63	c 512 ~x216293+256 ~x216292+128 ~x216291+64 ~x216290+32 ~x216289+16 ~x216288+8 ~x216287+4 ~x216286+2 ~x216285+1 ~x216284+512 ~x2553+256 ~x2552+128 ~x2551+64 ~x2550+32 ~x2549+16 ~x2548+8 ~x2547+4 ~x2546+2 ~x2545+1 ~x2544-0=2046
5.58/5.66	c 512 ~x217595+256 ~x217594+128 ~x217593+64 ~x217592+32 ~x217591+16 ~x217590+8 ~x217589+4 ~x217588+2 ~x217587+1 ~x217586+512 ~x2564+256 ~x2563+128 ~x2562+64 ~x2561+32 ~x2560+16 ~x2559+8 ~x2558+4 ~x2557+2 ~x2556+1 ~x2555-0=2046
5.58/5.69	c 512 ~x218897+256 ~x218896+128 ~x218895+64 ~x218894+32 ~x218893+16 ~x218892+8 ~x218891+4 ~x218890+2 ~x218889+1 ~x218888+512 ~x2575+256 ~x2574+128 ~x2573+64 ~x2572+32 ~x2571+16 ~x2570+8 ~x2569+4 ~x2568+2 ~x2567+1 ~x2566-0=2046
5.68/5.75	c 512 ~x220199+256 ~x220198+128 ~x220197+64 ~x220196+32 ~x220195+16 ~x220194+8 ~x220193+4 ~x220192+2 ~x220191+1 ~x220190+512 ~x2586+256 ~x2585+128 ~x2584+64 ~x2583+32 ~x2582+16 ~x2581+8 ~x2580+4 ~x2579+2 ~x2578+1 ~x2577-0=2046
5.68/5.75	c 32768 ~x221507+16384 ~x221506+8192 ~x221505+4096 ~x221504+2048 ~x221503+1024 ~x221502+512 ~x221501+256 ~x221500+128 ~x221499+64 ~x221498+32 ~x221497+16 ~x221496+8 ~x221495+4 ~x221494+2 ~x221493+1 ~x221492+32768 ~x17+16384 ~x16+8192 ~x15+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=122878
5.78/5.84	c 32768 ~x225549+16384 ~x225548+8192 ~x225547+4096 ~x225546+2048 ~x225545+1024 ~x225544+512 ~x225543+256 ~x225542+128 ~x225541+64 ~x225540+32 ~x225539+16 ~x225538+8 ~x225537+4 ~x225536+2 ~x225535+1 ~x225534+32768 ~x35+16384 ~x34+8192 ~x33+4096 ~x32+2048 ~x31+1024 ~x30+512 ~x29+256 ~x28+128 ~x27+64 ~x26+32 ~x25+16 ~x24+8 ~x23+4 ~x22+2 ~x21+1 ~x20-0=122878
5.88/5.93	c 32768 ~x229591+16384 ~x229590+8192 ~x229589+4096 ~x229588+2048 ~x229587+1024 ~x229586+512 ~x229585+256 ~x229584+128 ~x229583+64 ~x229582+32 ~x229581+16 ~x229580+8 ~x229579+4 ~x229578+2 ~x229577+1 ~x229576+32768 ~x53+16384 ~x52+8192 ~x51+4096 ~x50+2048 ~x49+1024 ~x48+512 ~x47+256 ~x46+128 ~x45+64 ~x44+32 ~x43+16 ~x42+8 ~x41+4 ~x40+2 ~x39+1 ~x38-0=122878
5.98/6.02	c 32768 ~x233633+16384 ~x233632+8192 ~x233631+4096 ~x233630+2048 ~x233629+1024 ~x233628+512 ~x233627+256 ~x233626+128 ~x233625+64 ~x233624+32 ~x233623+16 ~x233622+8 ~x233621+4 ~x233620+2 ~x233619+1 ~x233618+32768 ~x71+16384 ~x70+8192 ~x69+4096 ~x68+2048 ~x67+1024 ~x66+512 ~x65+256 ~x64+128 ~x63+64 ~x62+32 ~x61+16 ~x60+8 ~x59+4 ~x58+2 ~x57+1 ~x56-0=122878
6.08/6.11	c 32768 ~x237675+16384 ~x237674+8192 ~x237673+4096 ~x237672+2048 ~x237671+1024 ~x237670+512 ~x237669+256 ~x237668+128 ~x237667+64 ~x237666+32 ~x237665+16 ~x237664+8 ~x237663+4 ~x237662+2 ~x237661+1 ~x237660+32768 ~x89+16384 ~x88+8192 ~x87+4096 ~x86+2048 ~x85+1024 ~x84+512 ~x83+256 ~x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74-0=122878
6.18/6.21	c 32768 ~x241717+16384 ~x241716+8192 ~x241715+4096 ~x241714+2048 ~x241713+1024 ~x241712+512 ~x241711+256 ~x241710+128 ~x241709+64 ~x241708+32 ~x241707+16 ~x241706+8 ~x241705+4 ~x241704+2 ~x241703+1 ~x241702+32768 ~x107+16384 ~x106+8192 ~x105+4096 ~x104+2048 ~x103+1024 ~x102+512 ~x101+256 ~x100+128 ~x99+64 ~x98+32 ~x97+16 ~x96+8 ~x95+4 ~x94+2 ~x93+1 ~x92-0=122878
6.28/6.30	c 32768 ~x245759+16384 ~x245758+8192 ~x245757+4096 ~x245756+2048 ~x245755+1024 ~x245754+512 ~x245753+256 ~x245752+128 ~x245751+64 ~x245750+32 ~x245749+16 ~x245748+8 ~x245747+4 ~x245746+2 ~x245745+1 ~x245744+32768 ~x125+16384 ~x124+8192 ~x123+4096 ~x122+2048 ~x121+1024 ~x120+512 ~x119+256 ~x118+128 ~x117+64 ~x116+32 ~x115+16 ~x114+8 ~x113+4 ~x112+2 ~x111+1 ~x110-0=122878
6.28/6.39	c 32768 ~x249801+16384 ~x249800+8192 ~x249799+4096 ~x249798+2048 ~x249797+1024 ~x249796+512 ~x249795+256 ~x249794+128 ~x249793+64 ~x249792+32 ~x249791+16 ~x249790+8 ~x249789+4 ~x249788+2 ~x249787+1 ~x249786+32768 ~x143+16384 ~x142+8192 ~x141+4096 ~x140+2048 ~x139+1024 ~x138+512 ~x137+256 ~x136+128 ~x135+64 ~x134+32 ~x133+16 ~x132+8 ~x131+4 ~x130+2 ~x129+1 ~x128-0=122878
6.37/6.48	c 32768 ~x253843+16384 ~x253842+8192 ~x253841+4096 ~x253840+2048 ~x253839+1024 ~x253838+512 ~x253837+256 ~x253836+128 ~x253835+64 ~x253834+32 ~x253833+16 ~x253832+8 ~x253831+4 ~x253830+2 ~x253829+1 ~x253828+32768 ~x161+16384 ~x160+8192 ~x159+4096 ~x158+2048 ~x157+1024 ~x156+512 ~x155+256 ~x154+128 ~x153+64 ~x152+32 ~x151+16 ~x150+8 ~x149+4 ~x148+2 ~x147+1 ~x146-0=122878
6.48/6.57	c 32768 ~x257885+16384 ~x257884+8192 ~x257883+4096 ~x257882+2048 ~x257881+1024 ~x257880+512 ~x257879+256 ~x257878+128 ~x257877+64 ~x257876+32 ~x257875+16 ~x257874+8 ~x257873+4 ~x257872+2 ~x257871+1 ~x257870+32768 ~x179+16384 ~x178+8192 ~x177+4096 ~x176+2048 ~x175+1024 ~x174+512 ~x173+256 ~x172+128 ~x171+64 ~x170+32 ~x169+16 ~x168+8 ~x167+4 ~x166+2 ~x165+1 ~x164-0=122878
6.59/6.67	c 32768 ~x261927+16384 ~x261926+8192 ~x261925+4096 ~x261924+2048 ~x261923+1024 ~x261922+512 ~x261921+256 ~x261920+128 ~x261919+64 ~x261918+32 ~x261917+16 ~x261916+8 ~x261915+4 ~x261914+2 ~x261913+1 ~x261912+32768 ~x197+16384 ~x196+8192 ~x195+4096 ~x194+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182-0=122878
6.68/6.76	c 32768 ~x265969+16384 ~x265968+8192 ~x265967+4096 ~x265966+2048 ~x265965+1024 ~x265964+512 ~x265963+256 ~x265962+128 ~x265961+64 ~x265960+32 ~x265959+16 ~x265958+8 ~x265957+4 ~x265956+2 ~x265955+1 ~x265954+32768 ~x215+16384 ~x214+8192 ~x213+4096 ~x212+2048 ~x211+1024 ~x210+512 ~x209+256 ~x208+128 ~x207+64 ~x206+32 ~x205+16 ~x204+8 ~x203+4 ~x202+2 ~x201+1 ~x200-0=122878
6.78/6.85	c 16384 ~x270010+8192 ~x270009+4096 ~x270008+2048 ~x270007+1024 ~x270006+512 ~x270005+256 ~x270004+128 ~x270003+64 ~x270002+32 ~x270001+16 ~x270000+8 ~x269999+4 ~x269998+2 ~x269997+1 ~x269996+16384 ~x232+8192 ~x231+4096 ~x230+2048 ~x229+1024 ~x228+512 ~x227+256 ~x226+128 ~x225+64 ~x224+32 ~x223+16 ~x222+8 ~x221+4 ~x220+2 ~x219+1 ~x218-0=61438
6.87/6.94	c 16384 ~x273751+8192 ~x273750+4096 ~x273749+2048 ~x273748+1024 ~x273747+512 ~x273746+256 ~x273745+128 ~x273744+64 ~x273743+32 ~x273742+16 ~x273741+8 ~x273740+4 ~x273739+2 ~x273738+1 ~x273737+16384 ~x249+8192 ~x248+4096 ~x247+2048 ~x246+1024 ~x245+512 ~x244+256 ~x243+128 ~x242+64 ~x241+32 ~x240+16 ~x239+8 ~x238+4 ~x237+2 ~x236+1 ~x235-0=61438
6.98/7.02	c 16384 ~x277492+8192 ~x277491+4096 ~x277490+2048 ~x277489+1024 ~x277488+512 ~x277487+256 ~x277486+128 ~x277485+64 ~x277484+32 ~x277483+16 ~x277482+8 ~x277481+4 ~x277480+2 ~x277479+1 ~x277478+16384 ~x266+8192 ~x265+4096 ~x264+2048 ~x263+1024 ~x262+512 ~x261+256 ~x260+128 ~x259+64 ~x258+32 ~x257+16 ~x256+8 ~x255+4 ~x254+2 ~x253+1 ~x252-0=61438
7.08/7.11	c 16384 ~x281233+8192 ~x281232+4096 ~x281231+2048 ~x281230+1024 ~x281229+512 ~x281228+256 ~x281227+128 ~x281226+64 ~x281225+32 ~x281224+16 ~x281223+8 ~x281222+4 ~x281221+2 ~x281220+1 ~x281219+16384 ~x283+8192 ~x282+4096 ~x281+2048 ~x280+1024 ~x279+512 ~x278+256 ~x277+128 ~x276+64 ~x275+32 ~x274+16 ~x273+8 ~x272+4 ~x271+2 ~x270+1 ~x269-0=61438
7.08/7.19	c 16384 ~x284974+8192 ~x284973+4096 ~x284972+2048 ~x284971+1024 ~x284970+512 ~x284969+256 ~x284968+128 ~x284967+64 ~x284966+32 ~x284965+16 ~x284964+8 ~x284963+4 ~x284962+2 ~x284961+1 ~x284960+16384 ~x300+8192 ~x299+4096 ~x298+2048 ~x297+1024 ~x296+512 ~x295+256 ~x294+128 ~x293+64 ~x292+32 ~x291+16 ~x290+8 ~x289+4 ~x288+2 ~x287+1 ~x286-0=61438
7.17/7.28	c 16384 ~x288715+8192 ~x288714+4096 ~x288713+2048 ~x288712+1024 ~x288711+512 ~x288710+256 ~x288709+128 ~x288708+64 ~x288707+32 ~x288706+16 ~x288705+8 ~x288704+4 ~x288703+2 ~x288702+1 ~x288701+16384 ~x317+8192 ~x316+4096 ~x315+2048 ~x314+1024 ~x313+512 ~x312+256 ~x311+128 ~x310+64 ~x309+32 ~x308+16 ~x307+8 ~x306+4 ~x305+2 ~x304+1 ~x303-0=61438
7.28/7.36	c 16384 ~x292456+8192 ~x292455+4096 ~x292454+2048 ~x292453+1024 ~x292452+512 ~x292451+256 ~x292450+128 ~x292449+64 ~x292448+32 ~x292447+16 ~x292446+8 ~x292445+4 ~x292444+2 ~x292443+1 ~x292442+16384 ~x334+8192 ~x333+4096 ~x332+2048 ~x331+1024 ~x330+512 ~x329+256 ~x328+128 ~x327+64 ~x326+32 ~x325+16 ~x324+8 ~x323+4 ~x322+2 ~x321+1 ~x320-0=61438
7.38/7.45	c 16384 ~x296197+8192 ~x296196+4096 ~x296195+2048 ~x296194+1024 ~x296193+512 ~x296192+256 ~x296191+128 ~x296190+64 ~x296189+32 ~x296188+16 ~x296187+8 ~x296186+4 ~x296185+2 ~x296184+1 ~x296183+16384 ~x351+8192 ~x350+4096 ~x349+2048 ~x348+1024 ~x347+512 ~x346+256 ~x345+128 ~x344+64 ~x343+32 ~x342+16 ~x341+8 ~x340+4 ~x339+2 ~x338+1 ~x337-0=61438
7.48/7.53	c 16384 ~x299938+8192 ~x299937+4096 ~x299936+2048 ~x299935+1024 ~x299934+512 ~x299933+256 ~x299932+128 ~x299931+64 ~x299930+32 ~x299929+16 ~x299928+8 ~x299927+4 ~x299926+2 ~x299925+1 ~x299924+16384 ~x368+8192 ~x367+4096 ~x366+2048 ~x365+1024 ~x364+512 ~x363+256 ~x362+128 ~x361+64 ~x360+32 ~x359+16 ~x358+8 ~x357+4 ~x356+2 ~x355+1 ~x354-0=61438
7.58/7.62	c 16384 ~x303679+8192 ~x303678+4096 ~x303677+2048 ~x303676+1024 ~x303675+512 ~x303674+256 ~x303673+128 ~x303672+64 ~x303671+32 ~x303670+16 ~x303669+8 ~x303668+4 ~x303667+2 ~x303666+1 ~x303665+16384 ~x385+8192 ~x384+4096 ~x383+2048 ~x382+1024 ~x381+512 ~x380+256 ~x379+128 ~x378+64 ~x377+32 ~x376+16 ~x375+8 ~x374+4 ~x373+2 ~x372+1 ~x371-0=61438
7.68/7.71	c 16384 ~x307420+8192 ~x307419+4096 ~x307418+2048 ~x307417+1024 ~x307416+512 ~x307415+256 ~x307414+128 ~x307413+64 ~x307412+32 ~x307411+16 ~x307410+8 ~x307409+4 ~x307408+2 ~x307407+1 ~x307406+16384 ~x402+8192 ~x401+4096 ~x400+2048 ~x399+1024 ~x398+512 ~x397+256 ~x396+128 ~x395+64 ~x394+32 ~x393+16 ~x392+8 ~x391+4 ~x390+2 ~x389+1 ~x388-0=61438
7.68/7.79	c 16384 ~x311161+8192 ~x311160+4096 ~x311159+2048 ~x311158+1024 ~x311157+512 ~x311156+256 ~x311155+128 ~x311154+64 ~x311153+32 ~x311152+16 ~x311151+8 ~x311150+4 ~x311149+2 ~x311148+1 ~x311147+16384 ~x419+8192 ~x418+4096 ~x417+2048 ~x416+1024 ~x415+512 ~x414+256 ~x413+128 ~x412+64 ~x411+32 ~x410+16 ~x409+8 ~x408+4 ~x407+2 ~x406+1 ~x405-0=61438
7.78/7.88	c 131072 ~x314905+65536 ~x314904+32768 ~x314903+16384 ~x314902+8192 ~x314901+4096 ~x314900+2048 ~x314899+1024 ~x314898+512 ~x314897+256 ~x314896+128 ~x314895+64 ~x314894+32 ~x314893+16 ~x314892+8 ~x314891+4 ~x314890+2 ~x314889+1 ~x314888+131072 ~x439+65536 ~x438+32768 ~x437+16384 ~x436+8192 ~x435+4096 ~x434+2048 ~x433+1024 ~x432+512 ~x431+256 ~x430+128 ~x429+64 ~x428+32 ~x427+16 ~x426+8 ~x425+4 ~x424+2 ~x423+1 ~x422-0=479230
7.97/8.00	c 131072 ~x320415+65536 ~x320414+32768 ~x320413+16384 ~x320412+8192 ~x320411+4096 ~x320410+2048 ~x320409+1024 ~x320408+512 ~x320407+256 ~x320406+128 ~x320405+64 ~x320404+32 ~x320403+16 ~x320402+8 ~x320401+4 ~x320400+2 ~x320399+1 ~x320398+131072 ~x458+65536 ~x457+32768 ~x456+16384 ~x455+8192 ~x454+4096 ~x453+2048 ~x452+1024 ~x451+512 ~x450+256 ~x449+128 ~x448+64 ~x447+32 ~x446+16 ~x445+8 ~x444+4 ~x443+2 ~x442+1 ~x441-0=479230
8.08/8.13	c 131072 ~x325925+65536 ~x325924+32768 ~x325923+16384 ~x325922+8192 ~x325921+4096 ~x325920+2048 ~x325919+1024 ~x325918+512 ~x325917+256 ~x325916+128 ~x325915+64 ~x325914+32 ~x325913+16 ~x325912+8 ~x325911+4 ~x325910+2 ~x325909+1 ~x325908+131072 ~x477+65536 ~x476+32768 ~x475+16384 ~x474+8192 ~x473+4096 ~x472+2048 ~x471+1024 ~x470+512 ~x469+256 ~x468+128 ~x467+64 ~x466+32 ~x465+16 ~x464+8 ~x463+4 ~x462+2 ~x461+1 ~x460-0=479230
8.18/8.26	c 131072 ~x331435+65536 ~x331434+32768 ~x331433+16384 ~x331432+8192 ~x331431+4096 ~x331430+2048 ~x331429+1024 ~x331428+512 ~x331427+256 ~x331426+128 ~x331425+64 ~x331424+32 ~x331423+16 ~x331422+8 ~x331421+4 ~x331420+2 ~x331419+1 ~x331418+131072 ~x496+65536 ~x495+32768 ~x494+16384 ~x493+8192 ~x492+4096 ~x491+2048 ~x490+1024 ~x489+512 ~x488+256 ~x487+128 ~x486+64 ~x485+32 ~x484+16 ~x483+8 ~x482+4 ~x481+2 ~x480+1 ~x479-0=479230
8.27/8.38	c 131072 ~x336945+65536 ~x336944+32768 ~x336943+16384 ~x336942+8192 ~x336941+4096 ~x336940+2048 ~x336939+1024 ~x336938+512 ~x336937+256 ~x336936+128 ~x336935+64 ~x336934+32 ~x336933+16 ~x336932+8 ~x336931+4 ~x336930+2 ~x336929+1 ~x336928+131072 ~x515+65536 ~x514+32768 ~x513+16384 ~x512+8192 ~x511+4096 ~x510+2048 ~x509+1024 ~x508+512 ~x507+256 ~x506+128 ~x505+64 ~x504+32 ~x503+16 ~x502+8 ~x501+4 ~x500+2 ~x499+1 ~x498-0=479230
8.48/8.51	c 131072 ~x342455+65536 ~x342454+32768 ~x342453+16384 ~x342452+8192 ~x342451+4096 ~x342450+2048 ~x342449+1024 ~x342448+512 ~x342447+256 ~x342446+128 ~x342445+64 ~x342444+32 ~x342443+16 ~x342442+8 ~x342441+4 ~x342440+2 ~x342439+1 ~x342438+131072 ~x534+65536 ~x533+32768 ~x532+16384 ~x531+8192 ~x530+4096 ~x529+2048 ~x528+1024 ~x527+512 ~x526+256 ~x525+128 ~x524+64 ~x523+32 ~x522+16 ~x521+8 ~x520+4 ~x519+2 ~x518+1 ~x517-0=479230
8.58/8.64	c 16384 ~x347962+8192 ~x347961+4096 ~x347960+2048 ~x347959+1024 ~x347958+512 ~x347957+256 ~x347956+128 ~x347955+64 ~x347954+32 ~x347953+16 ~x347952+8 ~x347951+4 ~x347950+2 ~x347949+1 ~x347948+16384 ~x550+8192 ~x549+4096 ~x548+2048 ~x547+1024 ~x546+512 ~x545+256 ~x544+128 ~x543+64 ~x542+32 ~x541+16 ~x540+8 ~x539+4 ~x538+2 ~x537+1 ~x536-0=61438
8.68/8.73	c 16384 ~x351703+8192 ~x351702+4096 ~x351701+2048 ~x351700+1024 ~x351699+512 ~x351698+256 ~x351697+128 ~x351696+64 ~x351695+32 ~x351694+16 ~x351693+8 ~x351692+4 ~x351691+2 ~x351690+1 ~x351689+16384 ~x567+8192 ~x566+4096 ~x565+2048 ~x564+1024 ~x563+512 ~x562+256 ~x561+128 ~x560+64 ~x559+32 ~x558+16 ~x557+8 ~x556+4 ~x555+2 ~x554+1 ~x553-0=61438
8.77/8.82	c 16384 ~x355444+8192 ~x355443+4096 ~x355442+2048 ~x355441+1024 ~x355440+512 ~x355439+256 ~x355438+128 ~x355437+64 ~x355436+32 ~x355435+16 ~x355434+8 ~x355433+4 ~x355432+2 ~x355431+1 ~x355430+16384 ~x584+8192 ~x583+4096 ~x582+2048 ~x581+1024 ~x580+512 ~x579+256 ~x578+128 ~x577+64 ~x576+32 ~x575+16 ~x574+8 ~x573+4 ~x572+2 ~x571+1 ~x570-0=61438
8.86/8.90	c 16384 ~x359185+8192 ~x359184+4096 ~x359183+2048 ~x359182+1024 ~x359181+512 ~x359180+256 ~x359179+128 ~x359178+64 ~x359177+32 ~x359176+16 ~x359175+8 ~x359174+4 ~x359173+2 ~x359172+1 ~x359171+16384 ~x601+8192 ~x600+4096 ~x599+2048 ~x598+1024 ~x597+512 ~x596+256 ~x595+128 ~x594+64 ~x593+32 ~x592+16 ~x591+8 ~x590+4 ~x589+2 ~x588+1 ~x587-0=61438
8.86/8.99	c 16384 ~x362926+8192 ~x362925+4096 ~x362924+2048 ~x362923+1024 ~x362922+512 ~x362921+256 ~x362920+128 ~x362919+64 ~x362918+32 ~x362917+16 ~x362916+8 ~x362915+4 ~x362914+2 ~x362913+1 ~x362912+16384 ~x618+8192 ~x617+4096 ~x616+2048 ~x615+1024 ~x614+512 ~x613+256 ~x612+128 ~x611+64 ~x610+32 ~x609+16 ~x608+8 ~x607+4 ~x606+2 ~x605+1 ~x604-0=61438
8.96/9.07	c 16384 ~x366667+8192 ~x366666+4096 ~x366665+2048 ~x366664+1024 ~x366663+512 ~x366662+256 ~x366661+128 ~x366660+64 ~x366659+32 ~x366658+16 ~x366657+8 ~x366656+4 ~x366655+2 ~x366654+1 ~x366653+16384 ~x635+8192 ~x634+4096 ~x633+2048 ~x632+1024 ~x631+512 ~x630+256 ~x629+128 ~x628+64 ~x627+32 ~x626+16 ~x625+8 ~x624+4 ~x623+2 ~x622+1 ~x621-0=61438
9.07/9.16	c 16384 ~x370408+8192 ~x370407+4096 ~x370406+2048 ~x370405+1024 ~x370404+512 ~x370403+256 ~x370402+128 ~x370401+64 ~x370400+32 ~x370399+16 ~x370398+8 ~x370397+4 ~x370396+2 ~x370395+1 ~x370394+16384 ~x652+8192 ~x651+4096 ~x650+2048 ~x649+1024 ~x648+512 ~x647+256 ~x646+128 ~x645+64 ~x644+32 ~x643+16 ~x642+8 ~x641+4 ~x640+2 ~x639+1 ~x638-0=61438
9.17/9.24	c 16384 ~x374149+8192 ~x374148+4096 ~x374147+2048 ~x374146+1024 ~x374145+512 ~x374144+256 ~x374143+128 ~x374142+64 ~x374141+32 ~x374140+16 ~x374139+8 ~x374138+4 ~x374137+2 ~x374136+1 ~x374135+16384 ~x669+8192 ~x668+4096 ~x667+2048 ~x666+1024 ~x665+512 ~x664+256 ~x663+128 ~x662+64 ~x661+32 ~x660+16 ~x659+8 ~x658+4 ~x657+2 ~x656+1 ~x655-0=61438
9.27/9.33	c 16384 ~x377890+8192 ~x377889+4096 ~x377888+2048 ~x377887+1024 ~x377886+512 ~x377885+256 ~x377884+128 ~x377883+64 ~x377882+32 ~x377881+16 ~x377880+8 ~x377879+4 ~x377878+2 ~x377877+1 ~x377876+16384 ~x686+8192 ~x685+4096 ~x684+2048 ~x683+1024 ~x682+512 ~x681+256 ~x680+128 ~x679+64 ~x678+32 ~x677+16 ~x676+8 ~x675+4 ~x674+2 ~x673+1 ~x672-0=61438
9.36/9.41	c 16384 ~x381631+8192 ~x381630+4096 ~x381629+2048 ~x381628+1024 ~x381627+512 ~x381626+256 ~x381625+128 ~x381624+64 ~x381623+32 ~x381622+16 ~x381621+8 ~x381620+4 ~x381619+2 ~x381618+1 ~x381617+16384 ~x703+8192 ~x702+4096 ~x701+2048 ~x700+1024 ~x699+512 ~x698+256 ~x697+128 ~x696+64 ~x695+32 ~x694+16 ~x693+8 ~x692+4 ~x691+2 ~x690+1 ~x689-0=61438
9.46/9.50	c 16384 ~x385372+8192 ~x385371+4096 ~x385370+2048 ~x385369+1024 ~x385368+512 ~x385367+256 ~x385366+128 ~x385365+64 ~x385364+32 ~x385363+16 ~x385362+8 ~x385361+4 ~x385360+2 ~x385359+1 ~x385358+16384 ~x720+8192 ~x719+4096 ~x718+2048 ~x717+1024 ~x716+512 ~x715+256 ~x714+128 ~x713+64 ~x712+32 ~x711+16 ~x710+8 ~x709+4 ~x708+2 ~x707+1 ~x706-0=61438
9.46/9.58	c 16384 ~x389113+8192 ~x389112+4096 ~x389111+2048 ~x389110+1024 ~x389109+512 ~x389108+256 ~x389107+128 ~x389106+64 ~x389105+32 ~x389104+16 ~x389103+8 ~x389102+4 ~x389101+2 ~x389100+1 ~x389099+16384 ~x737+8192 ~x736+4096 ~x735+2048 ~x734+1024 ~x733+512 ~x732+256 ~x731+128 ~x730+64 ~x729+32 ~x728+16 ~x727+8 ~x726+4 ~x725+2 ~x724+1 ~x723-0=61438
20.37/20.49	c 4096 ~x898789+2048 ~x898788+1024 ~x898787+512 ~x898786+256 ~x898785+128 ~x898784+64 ~x898783+32 ~x898782+16 ~x898781+8 ~x898780+4 ~x898779+2 ~x898778+1 ~x898777+32 ~x2329+16 ~x2328+8 ~x2327+4 ~x2326+2 ~x2325+1 ~x2324+1024 ~x2070+512 ~x2069+256 ~x2068+128 ~x2067+64 ~x2066+32 ~x2065+16 ~x2064+8 ~x2063+4 ~x2062+2 ~x2061+1 ~x2060+1024 ~x1806+512 ~x1805+256 ~x1804+128 ~x1803+64 ~x1802+32 ~x1801+16 ~x1800+8 ~x1799+4 ~x1798+2 ~x1797+1 ~x1796+64 ~x1538+32 ~x1537+16 ~x1536+8 ~x1535+4 ~x1534+2 ~x1533+1 ~x1532+64 ~x1274+32 ~x1273+16 ~x1272+8 ~x1271+4 ~x1270+2 ~x1269+1 ~x1268+128 ~x1011+64 ~x1010+32 ~x1009+16 ~x1008+8 ~x1007+4 ~x1006+2 ~x1005+1 ~x1004+1024 ~x750+512 ~x749+256 ~x748+128 ~x747+64 ~x746+32 ~x745+16 ~x744+8 ~x743+4 ~x742+2 ~x741+1 ~x740-0=13880
20.56/20.67	c 8192 ~x906877+4096 ~x906876+2048 ~x906875+1024 ~x906874+512 ~x906873+256 ~x906872+128 ~x906871+64 ~x906870+32 ~x906869+16 ~x906868+8 ~x906867+4 ~x906866+2 ~x906865+1 ~x906864+512 ~x2344+256 ~x2343+128 ~x2342+64 ~x2341+32 ~x2340+16 ~x2339+8 ~x2338+4 ~x2337+2 ~x2336+1 ~x2335+1024 ~x2081+512 ~x2080+256 ~x2079+128 ~x2078+64 ~x2077+32 ~x2076+16 ~x2075+8 ~x2074+4 ~x2073+2 ~x2072+1 ~x2071+1024 ~x1817+512 ~x1816+256 ~x1815+128 ~x1814+64 ~x1813+32 ~x1812+16 ~x1811+8 ~x1810+4 ~x1809+2 ~x1808+1 ~x1807+256 ~x1551+128 ~x1550+64 ~x1549+32 ~x1548+16 ~x1547+8 ~x1546+4 ~x1545+2 ~x1544+1 ~x1543+256 ~x1287+128 ~x1286+64 ~x1285+32 ~x1284+16 ~x1283+8 ~x1282+4 ~x1281+2 ~x1280+1 ~x1279+1024 ~x1025+512 ~x1024+256 ~x1023+128 ~x1022+64 ~x1021+32 ~x1020+16 ~x1019+8 ~x1018+4 ~x1017+2 ~x1016+1 ~x1015+1024 ~x761+512 ~x760+256 ~x759+128 ~x758+64 ~x757+32 ~x756+16 ~x755+8 ~x754+4 ~x753+2 ~x752+1 ~x751-0=25592
20.88/20.91	c 8192 ~x918264+4096 ~x918263+2048 ~x918262+1024 ~x918261+512 ~x918260+256 ~x918259+128 ~x918258+64 ~x918257+32 ~x918256+16 ~x918255+8 ~x918254+4 ~x918253+2 ~x918252+1 ~x918251+1024 ~x2356+512 ~x2355+256 ~x2354+128 ~x2353+64 ~x2352+32 ~x2351+16 ~x2350+8 ~x2349+4 ~x2348+2 ~x2347+1 ~x2346+256 ~x2090+128 ~x2089+64 ~x2088+32 ~x2087+16 ~x2086+8 ~x2085+4 ~x2084+2 ~x2083+1 ~x2082+1024 ~x1828+512 ~x1827+256 ~x1826+128 ~x1825+64 ~x1824+32 ~x1823+16 ~x1822+8 ~x1821+4 ~x1820+2 ~x1819+1 ~x1818+256 ~x1562+128 ~x1561+64 ~x1560+32 ~x1559+16 ~x1558+8 ~x1557+4 ~x1556+2 ~x1555+1 ~x1554+256 ~x1298+128 ~x1297+64 ~x1296+32 ~x1295+16 ~x1294+8 ~x1293+4 ~x1292+2 ~x1291+1 ~x1290+1024 ~x1036+512 ~x1035+256 ~x1034+128 ~x1033+64 ~x1032+32 ~x1031+16 ~x1030+8 ~x1029+4 ~x1028+2 ~x1027+1 ~x1026+1024 ~x772+512 ~x771+256 ~x770+128 ~x769+64 ~x768+32 ~x767+16 ~x766+8 ~x765+4 ~x764+2 ~x763+1 ~x762-0=25080
21.06/21.16	c 8192 ~x929510+4096 ~x929509+2048 ~x929508+1024 ~x929507+512 ~x929506+256 ~x929505+128 ~x929504+64 ~x929503+32 ~x929502+16 ~x929501+8 ~x929500+4 ~x929499+2 ~x929498+1 ~x929497+256 ~x2365+128 ~x2364+64 ~x2363+32 ~x2362+16 ~x2361+8 ~x2360+4 ~x2359+2 ~x2358+1 ~x2357+256 ~x2101+128 ~x2100+64 ~x2099+32 ~x2098+16 ~x2097+8 ~x2096+4 ~x2095+2 ~x2094+1 ~x2093+1024 ~x1839+512 ~x1838+256 ~x1837+128 ~x1836+64 ~x1835+32 ~x1834+16 ~x1833+8 ~x1832+4 ~x1831+2 ~x1830+1 ~x1829+256 ~x1573+128 ~x1572+64 ~x1571+32 ~x1570+16 ~x1569+8 ~x1568+4 ~x1567+2 ~x1566+1 ~x1565+1024 ~x1311+512 ~x1310+256 ~x1309+128 ~x1308+64 ~x1307+32 ~x1306+16 ~x1305+8 ~x1304+4 ~x1303+2 ~x1302+1 ~x1301+1024 ~x1047+512 ~x1046+256 ~x1045+128 ~x1044+64 ~x1043+32 ~x1042+16 ~x1041+8 ~x1040+4 ~x1039+2 ~x1038+1 ~x1037+1024 ~x783+512 ~x782+256 ~x781+128 ~x780+64 ~x779+32 ~x778+16 ~x777+8 ~x776+4 ~x775+2 ~x774+1 ~x773-0=25080
21.36/21.40	c 8192 ~x940756+4096 ~x940755+2048 ~x940754+1024 ~x940753+512 ~x940752+256 ~x940751+128 ~x940750+64 ~x940749+32 ~x940748+16 ~x940747+8 ~x940746+4 ~x940745+2 ~x940744+1 ~x940743+256 ~x2376+128 ~x2375+64 ~x2374+32 ~x2373+16 ~x2372+8 ~x2371+4 ~x2370+2 ~x2369+1 ~x2368+256 ~x2112+128 ~x2111+64 ~x2110+32 ~x2109+16 ~x2108+8 ~x2107+4 ~x2106+2 ~x2105+1 ~x2104+1024 ~x1850+512 ~x1849+256 ~x1848+128 ~x1847+64 ~x1846+32 ~x1845+16 ~x1844+8 ~x1843+4 ~x1842+2 ~x1841+1 ~x1840+1024 ~x1586+512 ~x1585+256 ~x1584+128 ~x1583+64 ~x1582+32 ~x1581+16 ~x1580+8 ~x1579+4 ~x1578+2 ~x1577+1 ~x1576+1024 ~x1322+512 ~x1321+256 ~x1320+128 ~x1319+64 ~x1318+32 ~x1317+16 ~x1316+8 ~x1315+4 ~x1314+2 ~x1313+1 ~x1312+1024 ~x1058+512 ~x1057+256 ~x1056+128 ~x1055+64 ~x1054+32 ~x1053+16 ~x1052+8 ~x1051+4 ~x1050+2 ~x1049+1 ~x1048+1024 ~x794+512 ~x793+256 ~x792+128 ~x791+64 ~x790+32 ~x789+16 ~x788+8 ~x787+4 ~x786+2 ~x785+1 ~x784-0=26616
21.56/21.65	c 4096 ~x952283+2048 ~x952282+1024 ~x952281+512 ~x952280+256 ~x952279+128 ~x952278+64 ~x952277+32 ~x952276+16 ~x952275+8 ~x952274+4 ~x952273+2 ~x952272+1 ~x952271+256 ~x2387+128 ~x2386+64 ~x2385+32 ~x2384+16 ~x2383+8 ~x2382+4 ~x2381+2 ~x2380+1 ~x2379+256 ~x2123+128 ~x2122+64 ~x2121+32 ~x2120+16 ~x2119+8 ~x2118+4 ~x2117+2 ~x2116+1 ~x2115+1024 ~x1861+512 ~x1860+256 ~x1859+128 ~x1858+64 ~x1857+32 ~x1856+16 ~x1855+8 ~x1854+4 ~x1853+2 ~x1852+1 ~x1851+1024 ~x1597+512 ~x1596+256 ~x1595+128 ~x1594+64 ~x1593+32 ~x1592+16 ~x1591+8 ~x1590+4 ~x1589+2 ~x1588+1 ~x1587+256 ~x1331+128 ~x1330+64 ~x1329+32 ~x1328+16 ~x1327+8 ~x1326+4 ~x1325+2 ~x1324+1 ~x1323+512 ~x1068+256 ~x1067+128 ~x1066+64 ~x1065+32 ~x1064+16 ~x1063+8 ~x1062+4 ~x1061+2 ~x1060+1 ~x1059+1024 ~x805+512 ~x804+256 ~x803+128 ~x802+64 ~x801+32 ~x800+16 ~x799+8 ~x798+4 ~x797+2 ~x796+1 ~x795-0=15864
21.77/21.85	c 4096 ~x961423+2048 ~x961422+1024 ~x961421+512 ~x961420+256 ~x961419+128 ~x961418+64 ~x961417+32 ~x961416+16 ~x961415+8 ~x961414+4 ~x961413+2 ~x961412+1 ~x961411+32 ~x2395+16 ~x2394+8 ~x2393+4 ~x2392+2 ~x2391+1 ~x2390+1024 ~x2136+512 ~x2135+256 ~x2134+128 ~x2133+64 ~x2132+32 ~x2131+16 ~x2130+8 ~x2129+4 ~x2128+2 ~x2127+1 ~x2126+1024 ~x1872+512 ~x1871+256 ~x1870+128 ~x1869+64 ~x1868+32 ~x1867+16 ~x1866+8 ~x1865+4 ~x1864+2 ~x1863+1 ~x1862+64 ~x1604+32 ~x1603+16 ~x1602+8 ~x1601+4 ~x1600+2 ~x1599+1 ~x1598+64 ~x1340+32 ~x1339+16 ~x1338+8 ~x1337+4 ~x1336+2 ~x1335+1 ~x1334+256 ~x1078+128 ~x1077+64 ~x1076+32 ~x1075+16 ~x1074+8 ~x1073+4 ~x1072+2 ~x1071+1 ~x1070+1024 ~x816+512 ~x815+256 ~x814+128 ~x813+64 ~x812+32 ~x811+16 ~x810+8 ~x809+4 ~x808+2 ~x807+1 ~x806-0=14136
21.97/22.03	c 4096 ~x969627+2048 ~x969626+1024 ~x969625+512 ~x969624+256 ~x969623+128 ~x969622+64 ~x969621+32 ~x969620+16 ~x969619+8 ~x969618+4 ~x969617+2 ~x969616+1 ~x969615+512 ~x2410+256 ~x2409+128 ~x2408+64 ~x2407+32 ~x2406+16 ~x2405+8 ~x2404+4 ~x2403+2 ~x2402+1 ~x2401+512 ~x2146+256 ~x2145+128 ~x2144+64 ~x2143+32 ~x2142+16 ~x2141+8 ~x2140+4 ~x2139+2 ~x2138+1 ~x2137+1024 ~x1883+512 ~x1882+256 ~x1881+128 ~x1880+64 ~x1879+32 ~x1878+16 ~x1877+8 ~x1876+4 ~x1875+2 ~x1874+1 ~x1873+256 ~x1617+128 ~x1616+64 ~x1615+32 ~x1614+16 ~x1613+8 ~x1612+4 ~x1611+2 ~x1610+1 ~x1609+256 ~x1353+128 ~x1352+64 ~x1351+32 ~x1350+16 ~x1349+8 ~x1348+4 ~x1347+2 ~x1346+1 ~x1345+1024 ~x1091+512 ~x1090+256 ~x1089+128 ~x1088+64 ~x1087+32 ~x1086+16 ~x1085+8 ~x1084+4 ~x1083+2 ~x1082+1 ~x1081+1024 ~x827+512 ~x826+256 ~x825+128 ~x824+64 ~x823+32 ~x822+16 ~x821+8 ~x820+4 ~x819+2 ~x818+1 ~x817-0=16376
22.16/22.23	c 8192 ~x978885+4096 ~x978884+2048 ~x978883+1024 ~x978882+512 ~x978881+256 ~x978880+128 ~x978879+64 ~x978878+32 ~x978877+16 ~x978876+8 ~x978875+4 ~x978874+2 ~x978873+1 ~x978872+1024 ~x2422+512 ~x2421+256 ~x2420+128 ~x2419+64 ~x2418+32 ~x2417+16 ~x2416+8 ~x2415+4 ~x2414+2 ~x2413+1 ~x2412+256 ~x2156+128 ~x2155+64 ~x2154+32 ~x2153+16 ~x2152+8 ~x2151+4 ~x2150+2 ~x2149+1 ~x2148+1024 ~x1894+512 ~x1893+256 ~x1892+128 ~x1891+64 ~x1890+32 ~x1889+16 ~x1888+8 ~x1887+4 ~x1886+2 ~x1885+1 ~x1884+256 ~x1628+128 ~x1627+64 ~x1626+32 ~x1625+16 ~x1624+8 ~x1623+4 ~x1622+2 ~x1621+1 ~x1620+256 ~x1364+128 ~x1363+64 ~x1362+32 ~x1361+16 ~x1360+8 ~x1359+4 ~x1358+2 ~x1357+1 ~x1356+1024 ~x1102+512 ~x1101+256 ~x1100+128 ~x1099+64 ~x1098+32 ~x1097+16 ~x1096+8 ~x1095+4 ~x1094+2 ~x1093+1 ~x1092+1024 ~x838+512 ~x837+256 ~x836+128 ~x835+64 ~x834+32 ~x833+16 ~x832+8 ~x831+4 ~x830+2 ~x829+1 ~x828-0=25080
22.37/22.47	c 4096 ~x990130+2048 ~x990129+1024 ~x990128+512 ~x990127+256 ~x990126+128 ~x990125+64 ~x990124+32 ~x990123+16 ~x990122+8 ~x990121+4 ~x990120+2 ~x990119+1 ~x990118+256 ~x2431+128 ~x2430+64 ~x2429+32 ~x2428+16 ~x2427+8 ~x2426+4 ~x2425+2 ~x2424+1 ~x2423+256 ~x2167+128 ~x2166+64 ~x2165+32 ~x2164+16 ~x2163+8 ~x2162+4 ~x2161+2 ~x2160+1 ~x2159+1024 ~x1905+512 ~x1904+256 ~x1903+128 ~x1902+64 ~x1901+32 ~x1900+16 ~x1899+8 ~x1898+4 ~x1897+2 ~x1896+1 ~x1895+256 ~x1639+128 ~x1638+64 ~x1637+32 ~x1636+16 ~x1635+8 ~x1634+4 ~x1633+2 ~x1632+1 ~x1631+1024 ~x1377+512 ~x1376+256 ~x1375+128 ~x1374+64 ~x1373+32 ~x1372+16 ~x1371+8 ~x1370+4 ~x1369+2 ~x1368+1 ~x1367+1024 ~x1113+512 ~x1112+256 ~x1111+128 ~x1110+64 ~x1109+32 ~x1108+16 ~x1107+8 ~x1106+4 ~x1105+2 ~x1104+1 ~x1103+512 ~x848+256 ~x847+128 ~x846+64 ~x845+32 ~x844+16 ~x843+8 ~x842+4 ~x841+2 ~x840+1 ~x839-0=15864
22.56/22.69	c 8192 ~x999271+4096 ~x999270+2048 ~x999269+1024 ~x999268+512 ~x999267+256 ~x999266+128 ~x999265+64 ~x999264+32 ~x999263+16 ~x999262+8 ~x999261+4 ~x999260+2 ~x999259+1 ~x999258+256 ~x2442+128 ~x2441+64 ~x2440+32 ~x2439+16 ~x2438+8 ~x2437+4 ~x2436+2 ~x2435+1 ~x2434+256 ~x2178+128 ~x2177+64 ~x2176+32 ~x2175+16 ~x2174+8 ~x2173+4 ~x2172+2 ~x2171+1 ~x2170+1024 ~x1916+512 ~x1915+256 ~x1914+128 ~x1913+64 ~x1912+32 ~x1911+16 ~x1910+8 ~x1909+4 ~x1908+2 ~x1907+1 ~x1906+1024 ~x1652+512 ~x1651+256 ~x1650+128 ~x1649+64 ~x1648+32 ~x1647+16 ~x1646+8 ~x1645+4 ~x1644+2 ~x1643+1 ~x1642+1024 ~x1388+512 ~x1387+256 ~x1386+128 ~x1385+64 ~x1384+32 ~x1383+16 ~x1382+8 ~x1381+4 ~x1380+2 ~x1379+1 ~x1378+1024 ~x1124+512 ~x1123+256 ~x1122+128 ~x1121+64 ~x1120+32 ~x1119+16 ~x1118+8 ~x1117+4 ~x1116+2 ~x1115+1 ~x1114+512 ~x859+256 ~x858+128 ~x857+64 ~x856+32 ~x855+16 ~x854+8 ~x853+4 ~x852+2 ~x851+1 ~x850-0=25592
22.87/22.93	c 8192 ~x1010658+4096 ~x1010657+2048 ~x1010656+1024 ~x1010655+512 ~x1010654+256 ~x1010653+128 ~x1010652+64 ~x1010651+32 ~x1010650+16 ~x1010649+8 ~x1010648+4 ~x1010647+2 ~x1010646+1 ~x1010645+256 ~x2453+128 ~x2452+64 ~x2451+32 ~x2450+16 ~x2449+8 ~x2448+4 ~x2447+2 ~x2446+1 ~x2445+256 ~x2189+128 ~x2188+64 ~x2187+32 ~x2186+16 ~x2185+8 ~x2184+4 ~x2183+2 ~x2182+1 ~x2181+1024 ~x1927+512 ~x1926+256 ~x1925+128 ~x1924+64 ~x1923+32 ~x1922+16 ~x1921+8 ~x1920+4 ~x1919+2 ~x1918+1 ~x1917+1024 ~x1663+512 ~x1662+256 ~x1661+128 ~x1660+64 ~x1659+32 ~x1658+16 ~x1657+8 ~x1656+4 ~x1655+2 ~x1654+1 ~x1653+256 ~x1397+128 ~x1396+64 ~x1395+32 ~x1394+16 ~x1393+8 ~x1392+4 ~x1391+2 ~x1390+1 ~x1389+1024 ~x1135+512 ~x1134+256 ~x1133+128 ~x1132+64 ~x1131+32 ~x1130+16 ~x1129+8 ~x1128+4 ~x1127+2 ~x1126+1 ~x1125+1024 ~x871+512 ~x870+256 ~x869+128 ~x868+64 ~x867+32 ~x866+16 ~x865+8 ~x864+4 ~x863+2 ~x862+1 ~x861-0=25080
23.07/23.18	c 4096 ~x1021903+2048 ~x1021902+1024 ~x1021901+512 ~x1021900+256 ~x1021899+128 ~x1021898+64 ~x1021897+32 ~x1021896+16 ~x1021895+8 ~x1021894+4 ~x1021893+2 ~x1021892+1 ~x1021891+64 ~x2462+32 ~x2461+16 ~x2460+8 ~x2459+4 ~x2458+2 ~x2457+1 ~x2456+1024 ~x2202+512 ~x2201+256 ~x2200+128 ~x2199+64 ~x2198+32 ~x2197+16 ~x2196+8 ~x2195+4 ~x2194+2 ~x2193+1 ~x2192+1024 ~x1938+512 ~x1937+256 ~x1936+128 ~x1935+64 ~x1934+32 ~x1933+16 ~x1932+8 ~x1931+4 ~x1930+2 ~x1929+1 ~x1928+128 ~x1671+64 ~x1670+32 ~x1669+16 ~x1668+8 ~x1667+4 ~x1666+2 ~x1665+1 ~x1664+64 ~x1406+32 ~x1405+16 ~x1404+8 ~x1403+4 ~x1402+2 ~x1401+1 ~x1400+512 ~x1145+256 ~x1144+128 ~x1143+64 ~x1142+32 ~x1141+16 ~x1140+8 ~x1139+4 ~x1138+2 ~x1137+1 ~x1136+1024 ~x882+512 ~x881+256 ~x880+128 ~x879+64 ~x878+32 ~x877+16 ~x876+8 ~x875+4 ~x874+2 ~x873+1 ~x872-0=14840
23.26/23.36	c 8192 ~x1030459+4096 ~x1030458+2048 ~x1030457+1024 ~x1030456+512 ~x1030455+256 ~x1030454+128 ~x1030453+64 ~x1030452+32 ~x1030451+16 ~x1030450+8 ~x1030449+4 ~x1030448+2 ~x1030447+1 ~x1030446+1024 ~x2477+512 ~x2476+256 ~x2475+128 ~x2474+64 ~x2473+32 ~x2472+16 ~x2471+8 ~x2470+4 ~x2469+2 ~x2468+1 ~x2467+512 ~x2212+256 ~x2211+128 ~x2210+64 ~x2209+32 ~x2208+16 ~x2207+8 ~x2206+4 ~x2205+2 ~x2204+1 ~x2203+1024 ~x1949+512 ~x1948+256 ~x1947+128 ~x1946+64 ~x1945+32 ~x1944+16 ~x1943+8 ~x1942+4 ~x1941+2 ~x1940+1 ~x1939+512 ~x1684+256 ~x1683+128 ~x1682+64 ~x1681+32 ~x1680+16 ~x1679+8 ~x1678+4 ~x1677+2 ~x1676+1 ~x1675+256 ~x1419+128 ~x1418+64 ~x1417+32 ~x1416+16 ~x1415+8 ~x1414+4 ~x1413+2 ~x1412+1 ~x1411+1024 ~x1157+512 ~x1156+256 ~x1155+128 ~x1154+64 ~x1153+32 ~x1152+16 ~x1151+8 ~x1150+4 ~x1149+2 ~x1148+1 ~x1147+1024 ~x893+512 ~x892+256 ~x891+128 ~x890+64 ~x889+32 ~x888+16 ~x887+8 ~x886+4 ~x885+2 ~x884+1 ~x883-0=26104
23.56/23.61	c 8192 ~x1041987+4096 ~x1041986+2048 ~x1041985+1024 ~x1041984+512 ~x1041983+256 ~x1041982+128 ~x1041981+64 ~x1041980+32 ~x1041979+16 ~x1041978+8 ~x1041977+4 ~x1041976+2 ~x1041975+1 ~x1041974+1024 ~x2488+512 ~x2487+256 ~x2486+128 ~x2485+64 ~x2484+32 ~x2483+16 ~x2482+8 ~x2481+4 ~x2480+2 ~x2479+1 ~x2478+128 ~x2221+64 ~x2220+32 ~x2219+16 ~x2218+8 ~x2217+4 ~x2216+2 ~x2215+1 ~x2214+1024 ~x1960+512 ~x1959+256 ~x1958+128 ~x1957+64 ~x1956+32 ~x1955+16 ~x1954+8 ~x1953+4 ~x1952+2 ~x1951+1 ~x1950+512 ~x1695+256 ~x1694+128 ~x1693+64 ~x1692+32 ~x1691+16 ~x1690+8 ~x1689+4 ~x1688+2 ~x1687+1 ~x1686+256 ~x1430+128 ~x1429+64 ~x1428+32 ~x1427+16 ~x1426+8 ~x1425+4 ~x1424+2 ~x1423+1 ~x1422+1024 ~x1168+512 ~x1167+256 ~x1166+128 ~x1165+64 ~x1164+32 ~x1163+16 ~x1162+8 ~x1161+4 ~x1160+2 ~x1159+1 ~x1158+1024 ~x904+512 ~x903+256 ~x902+128 ~x901+64 ~x900+32 ~x899+16 ~x898+8 ~x897+4 ~x896+2 ~x895+1 ~x894-0=25336
23.76/23.86	c 4096 ~x1053232+2048 ~x1053231+1024 ~x1053230+512 ~x1053229+256 ~x1053228+128 ~x1053227+64 ~x1053226+32 ~x1053225+16 ~x1053224+8 ~x1053223+4 ~x1053222+2 ~x1053221+1 ~x1053220+256 ~x2497+128 ~x2496+64 ~x2495+32 ~x2494+16 ~x2493+8 ~x2492+4 ~x2491+2 ~x2490+1 ~x2489+128 ~x2232+64 ~x2231+32 ~x2230+16 ~x2229+8 ~x2228+4 ~x2227+2 ~x2226+1 ~x2225+1024 ~x1971+512 ~x1970+256 ~x1969+128 ~x1968+64 ~x1967+32 ~x1966+16 ~x1965+8 ~x1964+4 ~x1963+2 ~x1962+1 ~x1961+512 ~x1706+256 ~x1705+128 ~x1704+64 ~x1703+32 ~x1702+16 ~x1701+8 ~x1700+4 ~x1699+2 ~x1698+1 ~x1697+1024 ~x1443+512 ~x1442+256 ~x1441+128 ~x1440+64 ~x1439+32 ~x1438+16 ~x1437+8 ~x1436+4 ~x1435+2 ~x1434+1 ~x1433+1024 ~x1179+512 ~x1178+256 ~x1177+128 ~x1176+64 ~x1175+32 ~x1174+16 ~x1173+8 ~x1172+4 ~x1171+2 ~x1170+1 ~x1169+512 ~x914+256 ~x913+128 ~x912+64 ~x911+32 ~x910+16 ~x909+8 ~x908+4 ~x907+2 ~x906+1 ~x905-0=16120
23.96/24.06	c 8192 ~x1062373+4096 ~x1062372+2048 ~x1062371+1024 ~x1062370+512 ~x1062369+256 ~x1062368+128 ~x1062367+64 ~x1062366+32 ~x1062365+16 ~x1062364+8 ~x1062363+4 ~x1062362+2 ~x1062361+1 ~x1062360+256 ~x2508+128 ~x2507+64 ~x2506+32 ~x2505+16 ~x2504+8 ~x2503+4 ~x2502+2 ~x2501+1 ~x2500+128 ~x2243+64 ~x2242+32 ~x2241+16 ~x2240+8 ~x2239+4 ~x2238+2 ~x2237+1 ~x2236+1024 ~x1982+512 ~x1981+256 ~x1980+128 ~x1979+64 ~x1978+32 ~x1977+16 ~x1976+8 ~x1975+4 ~x1974+2 ~x1973+1 ~x1972+1024 ~x1718+512 ~x1717+256 ~x1716+128 ~x1715+64 ~x1714+32 ~x1713+16 ~x1712+8 ~x1711+4 ~x1710+2 ~x1709+1 ~x1708+1024 ~x1454+512 ~x1453+256 ~x1452+128 ~x1451+64 ~x1450+32 ~x1449+16 ~x1448+8 ~x1447+4 ~x1446+2 ~x1445+1 ~x1444+1024 ~x1190+512 ~x1189+256 ~x1188+128 ~x1187+64 ~x1186+32 ~x1185+16 ~x1184+8 ~x1183+4 ~x1182+2 ~x1181+1 ~x1180+512 ~x925+256 ~x924+128 ~x923+64 ~x922+32 ~x921+16 ~x920+8 ~x919+4 ~x918+2 ~x917+1 ~x916-0=25336
24.26/24.30	c 8192 ~x1073619+4096 ~x1073618+2048 ~x1073617+1024 ~x1073616+512 ~x1073615+256 ~x1073614+128 ~x1073613+64 ~x1073612+32 ~x1073611+16 ~x1073610+8 ~x1073609+4 ~x1073608+2 ~x1073607+1 ~x1073606+256 ~x2519+128 ~x2518+64 ~x2517+32 ~x2516+16 ~x2515+8 ~x2514+4 ~x2513+2 ~x2512+1 ~x2511+128 ~x2254+64 ~x2253+32 ~x2252+16 ~x2251+8 ~x2250+4 ~x2249+2 ~x2248+1 ~x2247+1024 ~x1993+512 ~x1992+256 ~x1991+128 ~x1990+64 ~x1989+32 ~x1988+16 ~x1987+8 ~x1986+4 ~x1985+2 ~x1984+1 ~x1983+1024 ~x1729+512 ~x1728+256 ~x1727+128 ~x1726+64 ~x1725+32 ~x1724+16 ~x1723+8 ~x1722+4 ~x1721+2 ~x1720+1 ~x1719+256 ~x1463+128 ~x1462+64 ~x1461+32 ~x1460+16 ~x1459+8 ~x1458+4 ~x1457+2 ~x1456+1 ~x1455+1024 ~x1201+512 ~x1200+256 ~x1199+128 ~x1198+64 ~x1197+32 ~x1196+16 ~x1195+8 ~x1194+4 ~x1193+2 ~x1192+1 ~x1191+1024 ~x937+512 ~x936+256 ~x935+128 ~x934+64 ~x933+32 ~x932+16 ~x931+8 ~x930+4 ~x929+2 ~x928+1 ~x927-0=24824
24.46/24.54	c 4096 ~x1084723+2048 ~x1084722+1024 ~x1084721+512 ~x1084720+256 ~x1084719+128 ~x1084718+64 ~x1084717+32 ~x1084716+16 ~x1084715+8 ~x1084714+4 ~x1084713+2 ~x1084712+1 ~x1084711+32 ~x2527+16 ~x2526+8 ~x2525+4 ~x2524+2 ~x2523+1 ~x2522+1024 ~x2268+512 ~x2267+256 ~x2266+128 ~x2265+64 ~x2264+32 ~x2263+16 ~x2262+8 ~x2261+4 ~x2260+2 ~x2259+1 ~x2258+1024 ~x2004+512 ~x2003+256 ~x2002+128 ~x2001+64 ~x2000+32 ~x1999+16 ~x1998+8 ~x1997+4 ~x1996+2 ~x1995+1 ~x1994+64 ~x1736+32 ~x1735+16 ~x1734+8 ~x1733+4 ~x1732+2 ~x1731+1 ~x1730+64 ~x1472+32 ~x1471+16 ~x1470+8 ~x1469+4 ~x1468+2 ~x1467+1 ~x1466+128 ~x1209+64 ~x1208+32 ~x1207+16 ~x1206+8 ~x1205+4 ~x1204+2 ~x1203+1 ~x1202+1024 ~x948+512 ~x947+256 ~x946+128 ~x945+64 ~x944+32 ~x943+16 ~x942+8 ~x941+4 ~x940+2 ~x939+1 ~x938-0=13880
24.66/24.72	c 4096 ~x1092810+2048 ~x1092809+1024 ~x1092808+512 ~x1092807+256 ~x1092806+128 ~x1092805+64 ~x1092804+32 ~x1092803+16 ~x1092802+8 ~x1092801+4 ~x1092800+2 ~x1092799+1 ~x1092798+512 ~x2542+256 ~x2541+128 ~x2540+64 ~x2539+32 ~x2538+16 ~x2537+8 ~x2536+4 ~x2535+2 ~x2534+1 ~x2533+512 ~x2278+256 ~x2277+128 ~x2276+64 ~x2275+32 ~x2274+16 ~x2273+8 ~x2272+4 ~x2271+2 ~x2270+1 ~x2269+1024 ~x2015+512 ~x2014+256 ~x2013+128 ~x2012+64 ~x2011+32 ~x2010+16 ~x2009+8 ~x2008+4 ~x2007+2 ~x2006+1 ~x2005+256 ~x1749+128 ~x1748+64 ~x1747+32 ~x1746+16 ~x1745+8 ~x1744+4 ~x1743+2 ~x1742+1 ~x1741+256 ~x1485+128 ~x1484+64 ~x1483+32 ~x1482+16 ~x1481+8 ~x1480+4 ~x1479+2 ~x1478+1 ~x1477+1024 ~x1223+512 ~x1222+256 ~x1221+128 ~x1220+64 ~x1219+32 ~x1218+16 ~x1217+8 ~x1216+4 ~x1215+2 ~x1214+1 ~x1213+1024 ~x959+512 ~x958+256 ~x957+128 ~x956+64 ~x955+32 ~x954+16 ~x953+8 ~x952+4 ~x951+2 ~x950+1 ~x949-0=16376
24.86/24.92	c 8192 ~x1102068+4096 ~x1102067+2048 ~x1102066+1024 ~x1102065+512 ~x1102064+256 ~x1102063+128 ~x1102062+64 ~x1102061+32 ~x1102060+16 ~x1102059+8 ~x1102058+4 ~x1102057+2 ~x1102056+1 ~x1102055+1024 ~x2554+512 ~x2553+256 ~x2552+128 ~x2551+64 ~x2550+32 ~x2549+16 ~x2548+8 ~x2547+4 ~x2546+2 ~x2545+1 ~x2544+128 ~x2287+64 ~x2286+32 ~x2285+16 ~x2284+8 ~x2283+4 ~x2282+2 ~x2281+1 ~x2280+1024 ~x2026+512 ~x2025+256 ~x2024+128 ~x2023+64 ~x2022+32 ~x2021+16 ~x2020+8 ~x2019+4 ~x2018+2 ~x2017+1 ~x2016+256 ~x1760+128 ~x1759+64 ~x1758+32 ~x1757+16 ~x1756+8 ~x1755+4 ~x1754+2 ~x1753+1 ~x1752+256 ~x1496+128 ~x1495+64 ~x1494+32 ~x1493+16 ~x1492+8 ~x1491+4 ~x1490+2 ~x1489+1 ~x1488+1024 ~x1234+512 ~x1233+256 ~x1232+128 ~x1231+64 ~x1230+32 ~x1229+16 ~x1228+8 ~x1227+4 ~x1226+2 ~x1225+1 ~x1224+1024 ~x970+512 ~x969+256 ~x968+128 ~x967+64 ~x966+32 ~x965+16 ~x964+8 ~x963+4 ~x962+2 ~x961+1 ~x960-0=24824
25.07/25.16	c 4096 ~x1113172+2048 ~x1113171+1024 ~x1113170+512 ~x1113169+256 ~x1113168+128 ~x1113167+64 ~x1113166+32 ~x1113165+16 ~x1113164+8 ~x1113163+4 ~x1113162+2 ~x1113161+1 ~x1113160+128 ~x2562+64 ~x2561+32 ~x2560+16 ~x2559+8 ~x2558+4 ~x2557+2 ~x2556+1 ~x2555+128 ~x2298+64 ~x2297+32 ~x2296+16 ~x2295+8 ~x2294+4 ~x2293+2 ~x2292+1 ~x2291+1024 ~x2037+512 ~x2036+256 ~x2035+128 ~x2034+64 ~x2033+32 ~x2032+16 ~x2031+8 ~x2030+4 ~x2029+2 ~x2028+1 ~x2027+256 ~x1771+128 ~x1770+64 ~x1769+32 ~x1768+16 ~x1767+8 ~x1766+4 ~x1765+2 ~x1764+1 ~x1763+1024 ~x1509+512 ~x1508+256 ~x1507+128 ~x1506+64 ~x1505+32 ~x1504+16 ~x1503+8 ~x1502+4 ~x1501+2 ~x1500+1 ~x1499+1024 ~x1245+512 ~x1244+256 ~x1243+128 ~x1242+64 ~x1241+32 ~x1240+16 ~x1239+8 ~x1238+4 ~x1237+2 ~x1236+1 ~x1235+512 ~x980+256 ~x979+128 ~x978+64 ~x977+32 ~x976+16 ~x975+8 ~x974+4 ~x973+2 ~x972+1 ~x971-0=15352
25.27/25.35	c 8192 ~x1122079+4096 ~x1122078+2048 ~x1122077+1024 ~x1122076+512 ~x1122075+256 ~x1122074+128 ~x1122073+64 ~x1122072+32 ~x1122071+16 ~x1122070+8 ~x1122069+4 ~x1122068+2 ~x1122067+1 ~x1122066+128 ~x2573+64 ~x2572+32 ~x2571+16 ~x2570+8 ~x2569+4 ~x2568+2 ~x2567+1 ~x2566+128 ~x2309+64 ~x2308+32 ~x2307+16 ~x2306+8 ~x2305+4 ~x2304+2 ~x2303+1 ~x2302+1024 ~x2048+512 ~x2047+256 ~x2046+128 ~x2045+64 ~x2044+32 ~x2043+16 ~x2042+8 ~x2041+4 ~x2040+2 ~x2039+1 ~x2038+1024 ~x1784+512 ~x1783+256 ~x1782+128 ~x1781+64 ~x1780+32 ~x1779+16 ~x1778+8 ~x1777+4 ~x1776+2 ~x1775+1 ~x1774+1024 ~x1520+512 ~x1519+256 ~x1518+128 ~x1517+64 ~x1516+32 ~x1515+16 ~x1514+8 ~x1513+4 ~x1512+2 ~x1511+1 ~x1510+1024 ~x1256+512 ~x1255+256 ~x1254+128 ~x1253+64 ~x1252+32 ~x1251+16 ~x1250+8 ~x1249+4 ~x1248+2 ~x1247+1 ~x1246+512 ~x991+256 ~x990+128 ~x989+64 ~x988+32 ~x987+16 ~x986+8 ~x985+4 ~x984+2 ~x983+1 ~x982-0=25080
25.46/25.60	c 4096 ~x1133183+2048 ~x1133182+1024 ~x1133181+512 ~x1133180+256 ~x1133179+128 ~x1133178+64 ~x1133177+32 ~x1133176+16 ~x1133175+8 ~x1133174+4 ~x1133173+2 ~x1133172+1 ~x1133171+128 ~x2584+64 ~x2583+32 ~x2582+16 ~x2581+8 ~x2580+4 ~x2579+2 ~x2578+1 ~x2577+128 ~x2320+64 ~x2319+32 ~x2318+16 ~x2317+8 ~x2316+4 ~x2315+2 ~x2314+1 ~x2313+1024 ~x2059+512 ~x2058+256 ~x2057+128 ~x2056+64 ~x2055+32 ~x2054+16 ~x2053+8 ~x2052+4 ~x2051+2 ~x2050+1 ~x2049+1024 ~x1795+512 ~x1794+256 ~x1793+128 ~x1792+64 ~x1791+32 ~x1790+16 ~x1789+8 ~x1788+4 ~x1787+2 ~x1786+1 ~x1785+256 ~x1529+128 ~x1528+64 ~x1527+32 ~x1526+16 ~x1525+8 ~x1524+4 ~x1523+2 ~x1522+1 ~x1521+512 ~x1266+256 ~x1265+128 ~x1264+64 ~x1263+32 ~x1262+16 ~x1261+8 ~x1260+4 ~x1259+2 ~x1258+1 ~x1257+1024 ~x1003+512 ~x1002+256 ~x1001+128 ~x1000+64 ~x999+32 ~x998+16 ~x997+8 ~x996+4 ~x995+2 ~x994+1 ~x993-0=15352
25.66/25.79	c 1024 ~x1142087+512 ~x1142086+256 ~x1142085+128 ~x1142084+64 ~x1142083+32 ~x1142082+16 ~x1142081+8 ~x1142080+4 ~x1142079+2 ~x1142078+1 ~x1142077+1024 x2588+1024 ~x750+512 ~x749+256 ~x748+128 ~x747+64 ~x746+32 ~x745+16 ~x744+8 ~x743+4 ~x742+2 ~x741+1 ~x740-0=4094
25.76/25.83	c 1024 ~x1144112+512 ~x1144111+256 ~x1144110+128 ~x1144109+64 ~x1144108+32 ~x1144107+16 ~x1144106+8 ~x1144105+4 ~x1144104+2 ~x1144103+1 ~x1144102+1024 x2589+1024 ~x761+512 ~x760+256 ~x759+128 ~x758+64 ~x757+32 ~x756+16 ~x755+8 ~x754+4 ~x753+2 ~x752+1 ~x751-0=4094
25.76/25.88	c 1024 ~x1146137+512 ~x1146136+256 ~x1146135+128 ~x1146134+64 ~x1146133+32 ~x1146132+16 ~x1146131+8 ~x1146130+4 ~x1146129+2 ~x1146128+1 ~x1146127+1024 x2590+1024 ~x772+512 ~x771+256 ~x770+128 ~x769+64 ~x768+32 ~x767+16 ~x766+8 ~x765+4 ~x764+2 ~x763+1 ~x762-0=4094
25.86/25.93	c 1024 ~x1148162+512 ~x1148161+256 ~x1148160+128 ~x1148159+64 ~x1148158+32 ~x1148157+16 ~x1148156+8 ~x1148155+4 ~x1148154+2 ~x1148153+1 ~x1148152+1024 x2591+1024 ~x783+512 ~x782+256 ~x781+128 ~x780+64 ~x779+32 ~x778+16 ~x777+8 ~x776+4 ~x775+2 ~x774+1 ~x773-0=4094
25.86/25.98	c 1024 ~x1150187+512 ~x1150186+256 ~x1150185+128 ~x1150184+64 ~x1150183+32 ~x1150182+16 ~x1150181+8 ~x1150180+4 ~x1150179+2 ~x1150178+1 ~x1150177+1024 x2592+1024 ~x794+512 ~x793+256 ~x792+128 ~x791+64 ~x790+32 ~x789+16 ~x788+8 ~x787+4 ~x786+2 ~x785+1 ~x784-0=4094
25.96/26.02	c 1024 ~x1152212+512 ~x1152211+256 ~x1152210+128 ~x1152209+64 ~x1152208+32 ~x1152207+16 ~x1152206+8 ~x1152205+4 ~x1152204+2 ~x1152203+1 ~x1152202+1024 x2593+1024 ~x805+512 ~x804+256 ~x803+128 ~x802+64 ~x801+32 ~x800+16 ~x799+8 ~x798+4 ~x797+2 ~x796+1 ~x795-0=4094
25.96/26.07	c 1024 ~x1154237+512 ~x1154236+256 ~x1154235+128 ~x1154234+64 ~x1154233+32 ~x1154232+16 ~x1154231+8 ~x1154230+4 ~x1154229+2 ~x1154228+1 ~x1154227+1024 x2594+1024 ~x816+512 ~x815+256 ~x814+128 ~x813+64 ~x812+32 ~x811+16 ~x810+8 ~x809+4 ~x808+2 ~x807+1 ~x806-0=4094
26.06/26.12	c 1024 ~x1156262+512 ~x1156261+256 ~x1156260+128 ~x1156259+64 ~x1156258+32 ~x1156257+16 ~x1156256+8 ~x1156255+4 ~x1156254+2 ~x1156253+1 ~x1156252+1024 x2595+1024 ~x827+512 ~x826+256 ~x825+128 ~x824+64 ~x823+32 ~x822+16 ~x821+8 ~x820+4 ~x819+2 ~x818+1 ~x817-0=4094
26.06/26.16	c 1024 ~x1158287+512 ~x1158286+256 ~x1158285+128 ~x1158284+64 ~x1158283+32 ~x1158282+16 ~x1158281+8 ~x1158280+4 ~x1158279+2 ~x1158278+1 ~x1158277+1024 x2596+1024 ~x838+512 ~x837+256 ~x836+128 ~x835+64 ~x834+32 ~x833+16 ~x832+8 ~x831+4 ~x830+2 ~x829+1 ~x828-0=4094
26.16/26.21	c 512 ~x1160311+256 ~x1160310+128 ~x1160309+64 ~x1160308+32 ~x1160307+16 ~x1160306+8 ~x1160305+4 ~x1160304+2 ~x1160303+1 ~x1160302+1024 x2597+512 ~x848+256 ~x847+128 ~x846+64 ~x845+32 ~x844+16 ~x843+8 ~x842+4 ~x841+2 ~x840+1 ~x839-0=2046
26.16/26.25	c 512 ~x1161946+256 ~x1161945+128 ~x1161944+64 ~x1161943+32 ~x1161942+16 ~x1161941+8 ~x1161940+4 ~x1161939+2 ~x1161938+1 ~x1161937+1024 x2598+512 ~x859+256 ~x858+128 ~x857+64 ~x856+32 ~x855+16 ~x854+8 ~x853+4 ~x852+2 ~x851+1 ~x850-0=2046
26.16/26.29	c 1024 ~x1163582+512 ~x1163581+256 ~x1163580+128 ~x1163579+64 ~x1163578+32 ~x1163577+16 ~x1163576+8 ~x1163575+4 ~x1163574+2 ~x1163573+1 ~x1163572+1024 x2599+1024 ~x871+512 ~x870+256 ~x869+128 ~x868+64 ~x867+32 ~x866+16 ~x865+8 ~x864+4 ~x863+2 ~x862+1 ~x861-0=4094
26.26/26.34	c 1024 ~x1165607+512 ~x1165606+256 ~x1165605+128 ~x1165604+64 ~x1165603+32 ~x1165602+16 ~x1165601+8 ~x1165600+4 ~x1165599+2 ~x1165598+1 ~x1165597+1024 x2600+1024 ~x882+512 ~x881+256 ~x880+128 ~x879+64 ~x878+32 ~x877+16 ~x876+8 ~x875+4 ~x874+2 ~x873+1 ~x872-0=4094
26.26/26.38	c 1024 ~x1167632+512 ~x1167631+256 ~x1167630+128 ~x1167629+64 ~x1167628+32 ~x1167627+16 ~x1167626+8 ~x1167625+4 ~x1167624+2 ~x1167623+1 ~x1167622+1024 x2601+1024 ~x893+512 ~x892+256 ~x891+128 ~x890+64 ~x889+32 ~x888+16 ~x887+8 ~x886+4 ~x885+2 ~x884+1 ~x883-0=4094
26.36/26.43	c 1024 ~x1169657+512 ~x1169656+256 ~x1169655+128 ~x1169654+64 ~x1169653+32 ~x1169652+16 ~x1169651+8 ~x1169650+4 ~x1169649+2 ~x1169648+1 ~x1169647+1024 x2602+1024 ~x904+512 ~x903+256 ~x902+128 ~x901+64 ~x900+32 ~x899+16 ~x898+8 ~x897+4 ~x896+2 ~x895+1 ~x894-0=4094
26.36/26.48	c 512 ~x1171681+256 ~x1171680+128 ~x1171679+64 ~x1171678+32 ~x1171677+16 ~x1171676+8 ~x1171675+4 ~x1171674+2 ~x1171673+1 ~x1171672+1024 x2603+512 ~x914+256 ~x913+128 ~x912+64 ~x911+32 ~x910+16 ~x909+8 ~x908+4 ~x907+2 ~x906+1 ~x905-0=2046
26.45/26.52	c 512 ~x1173316+256 ~x1173315+128 ~x1173314+64 ~x1173313+32 ~x1173312+16 ~x1173311+8 ~x1173310+4 ~x1173309+2 ~x1173308+1 ~x1173307+1024 x2604+512 ~x925+256 ~x924+128 ~x923+64 ~x922+32 ~x921+16 ~x920+8 ~x919+4 ~x918+2 ~x917+1 ~x916-0=2046
26.45/26.56	c 1024 ~x1174952+512 ~x1174951+256 ~x1174950+128 ~x1174949+64 ~x1174948+32 ~x1174947+16 ~x1174946+8 ~x1174945+4 ~x1174944+2 ~x1174943+1 ~x1174942+1024 x2605+1024 ~x937+512 ~x936+256 ~x935+128 ~x934+64 ~x933+32 ~x932+16 ~x931+8 ~x930+4 ~x929+2 ~x928+1 ~x927-0=4094
26.56/26.60	c 1024 ~x1176977+512 ~x1176976+256 ~x1176975+128 ~x1176974+64 ~x1176973+32 ~x1176972+16 ~x1176971+8 ~x1176970+4 ~x1176969+2 ~x1176968+1 ~x1176967+1024 x2606+1024 ~x948+512 ~x947+256 ~x946+128 ~x945+64 ~x944+32 ~x943+16 ~x942+8 ~x941+4 ~x940+2 ~x939+1 ~x938-0=4094
26.56/26.65	c 1024 ~x1179002+512 ~x1179001+256 ~x1179000+128 ~x1178999+64 ~x1178998+32 ~x1178997+16 ~x1178996+8 ~x1178995+4 ~x1178994+2 ~x1178993+1 ~x1178992+1024 x2607+1024 ~x959+512 ~x958+256 ~x957+128 ~x956+64 ~x955+32 ~x954+16 ~x953+8 ~x952+4 ~x951+2 ~x950+1 ~x949-0=4094
26.66/26.70	c 1024 ~x1181027+512 ~x1181026+256 ~x1181025+128 ~x1181024+64 ~x1181023+32 ~x1181022+16 ~x1181021+8 ~x1181020+4 ~x1181019+2 ~x1181018+1 ~x1181017+1024 x2608+1024 ~x970+512 ~x969+256 ~x968+128 ~x967+64 ~x966+32 ~x965+16 ~x964+8 ~x963+4 ~x962+2 ~x961+1 ~x960-0=4094
26.66/26.75	c 512 ~x1183051+256 ~x1183050+128 ~x1183049+64 ~x1183048+32 ~x1183047+16 ~x1183046+8 ~x1183045+4 ~x1183044+2 ~x1183043+1 ~x1183042+1024 x2609+512 ~x980+256 ~x979+128 ~x978+64 ~x977+32 ~x976+16 ~x975+8 ~x974+4 ~x973+2 ~x972+1 ~x971-0=2046
26.66/26.79	c 512 ~x1184686+256 ~x1184685+128 ~x1184684+64 ~x1184683+32 ~x1184682+16 ~x1184681+8 ~x1184680+4 ~x1184679+2 ~x1184678+1 ~x1184677+1024 x2610+512 ~x991+256 ~x990+128 ~x989+64 ~x988+32 ~x987+16 ~x986+8 ~x985+4 ~x984+2 ~x983+1 ~x982-0=2046
26.75/26.83	c 1024 ~x1186322+512 ~x1186321+256 ~x1186320+128 ~x1186319+64 ~x1186318+32 ~x1186317+16 ~x1186316+8 ~x1186315+4 ~x1186314+2 ~x1186313+1 ~x1186312+1024 x2611+1024 ~x1003+512 ~x1002+256 ~x1001+128 ~x1000+64 ~x999+32 ~x998+16 ~x997+8 ~x996+4 ~x995+2 ~x994+1 ~x993-0=4094
26.75/26.87	c 128 ~x1188344+64 ~x1188343+32 ~x1188342+16 ~x1188341+8 ~x1188340+4 ~x1188339+2 ~x1188338+1 ~x1188337+1024 x2612+128 ~x1011+64 ~x1010+32 ~x1009+16 ~x1008+8 ~x1007+4 ~x1006+2 ~x1005+1 ~x1004-0=510
26.86/26.90	c 1024 ~x1189251+512 ~x1189250+256 ~x1189249+128 ~x1189248+64 ~x1189247+32 ~x1189246+16 ~x1189245+8 ~x1189244+4 ~x1189243+2 ~x1189242+1 ~x1189241+1024 x2613+1024 ~x1025+512 ~x1024+256 ~x1023+128 ~x1022+64 ~x1021+32 ~x1020+16 ~x1019+8 ~x1018+4 ~x1017+2 ~x1016+1 ~x1015-0=4094
26.86/26.94	c 1024 ~x1191276+512 ~x1191275+256 ~x1191274+128 ~x1191273+64 ~x1191272+32 ~x1191271+16 ~x1191270+8 ~x1191269+4 ~x1191268+2 ~x1191267+1 ~x1191266+1024 x2614+1024 ~x1036+512 ~x1035+256 ~x1034+128 ~x1033+64 ~x1032+32 ~x1031+16 ~x1030+8 ~x1029+4 ~x1028+2 ~x1027+1 ~x1026-0=4094
26.86/26.99	c 1024 ~x1193301+512 ~x1193300+256 ~x1193299+128 ~x1193298+64 ~x1193297+32 ~x1193296+16 ~x1193295+8 ~x1193294+4 ~x1193293+2 ~x1193292+1 ~x1193291+1024 x2615+1024 ~x1047+512 ~x1046+256 ~x1045+128 ~x1044+64 ~x1043+32 ~x1042+16 ~x1041+8 ~x1040+4 ~x1039+2 ~x1038+1 ~x1037-0=4094
26.96/27.04	c 1024 ~x1195326+512 ~x1195325+256 ~x1195324+128 ~x1195323+64 ~x1195322+32 ~x1195321+16 ~x1195320+8 ~x1195319+4 ~x1195318+2 ~x1195317+1 ~x1195316+1024 x2616+1024 ~x1058+512 ~x1057+256 ~x1056+128 ~x1055+64 ~x1054+32 ~x1053+16 ~x1052+8 ~x1051+4 ~x1050+2 ~x1049+1 ~x1048-0=4094
26.96/27.09	c 512 ~x1197350+256 ~x1197349+128 ~x1197348+64 ~x1197347+32 ~x1197346+16 ~x1197345+8 ~x1197344+4 ~x1197343+2 ~x1197342+1 ~x1197341+1024 x2617+512 ~x1068+256 ~x1067+128 ~x1066+64 ~x1065+32 ~x1064+16 ~x1063+8 ~x1062+4 ~x1061+2 ~x1060+1 ~x1059-0=2046
27.06/27.13	c 256 ~x1198984+128 ~x1198983+64 ~x1198982+32 ~x1198981+16 ~x1198980+8 ~x1198979+4 ~x1198978+2 ~x1198977+1 ~x1198976+1024 x2618+256 ~x1078+128 ~x1077+64 ~x1076+32 ~x1075+16 ~x1074+8 ~x1073+4 ~x1072+2 ~x1071+1 ~x1070-0=1022
27.06/27.15	c 1024 ~x1200047+512 ~x1200046+256 ~x1200045+128 ~x1200044+64 ~x1200043+32 ~x1200042+16 ~x1200041+8 ~x1200040+4 ~x1200039+2 ~x1200038+1 ~x1200037+1024 x2619+1024 ~x1091+512 ~x1090+256 ~x1089+128 ~x1088+64 ~x1087+32 ~x1086+16 ~x1085+8 ~x1084+4 ~x1083+2 ~x1082+1 ~x1081-0=4094
27.16/27.20	c 1024 ~x1202072+512 ~x1202071+256 ~x1202070+128 ~x1202069+64 ~x1202068+32 ~x1202067+16 ~x1202066+8 ~x1202065+4 ~x1202064+2 ~x1202063+1 ~x1202062+1024 x2620+1024 ~x1102+512 ~x1101+256 ~x1100+128 ~x1099+64 ~x1098+32 ~x1097+16 ~x1096+8 ~x1095+4 ~x1094+2 ~x1093+1 ~x1092-0=4094
27.16/27.25	c 1024 ~x1204097+512 ~x1204096+256 ~x1204095+128 ~x1204094+64 ~x1204093+32 ~x1204092+16 ~x1204091+8 ~x1204090+4 ~x1204089+2 ~x1204088+1 ~x1204087+1024 x2621+1024 ~x1113+512 ~x1112+256 ~x1111+128 ~x1110+64 ~x1109+32 ~x1108+16 ~x1107+8 ~x1106+4 ~x1105+2 ~x1104+1 ~x1103-0=4094
27.16/27.29	c 1024 ~x1206122+512 ~x1206121+256 ~x1206120+128 ~x1206119+64 ~x1206118+32 ~x1206117+16 ~x1206116+8 ~x1206115+4 ~x1206114+2 ~x1206113+1 ~x1206112+1024 x2622+1024 ~x1124+512 ~x1123+256 ~x1122+128 ~x1121+64 ~x1120+32 ~x1119+16 ~x1118+8 ~x1117+4 ~x1116+2 ~x1115+1 ~x1114-0=4094
27.25/27.34	c 1024 ~x1208147+512 ~x1208146+256 ~x1208145+128 ~x1208144+64 ~x1208143+32 ~x1208142+16 ~x1208141+8 ~x1208140+4 ~x1208139+2 ~x1208138+1 ~x1208137+1024 x2623+1024 ~x1135+512 ~x1134+256 ~x1133+128 ~x1132+64 ~x1131+32 ~x1130+16 ~x1129+8 ~x1128+4 ~x1127+2 ~x1126+1 ~x1125-0=4094
27.25/27.39	c 512 ~x1210171+256 ~x1210170+128 ~x1210169+64 ~x1210168+32 ~x1210167+16 ~x1210166+8 ~x1210165+4 ~x1210164+2 ~x1210163+1 ~x1210162+1024 x2624+512 ~x1145+256 ~x1144+128 ~x1143+64 ~x1142+32 ~x1141+16 ~x1140+8 ~x1139+4 ~x1138+2 ~x1137+1 ~x1136-0=2046
27.37/27.43	c 1024 ~x1211807+512 ~x1211806+256 ~x1211805+128 ~x1211804+64 ~x1211803+32 ~x1211802+16 ~x1211801+8 ~x1211800+4 ~x1211799+2 ~x1211798+1 ~x1211797+1024 x2625+1024 ~x1157+512 ~x1156+256 ~x1155+128 ~x1154+64 ~x1153+32 ~x1152+16 ~x1151+8 ~x1150+4 ~x1149+2 ~x1148+1 ~x1147-0=4094
27.37/27.47	c 1024 ~x1213832+512 ~x1213831+256 ~x1213830+128 ~x1213829+64 ~x1213828+32 ~x1213827+16 ~x1213826+8 ~x1213825+4 ~x1213824+2 ~x1213823+1 ~x1213822+1024 x2626+1024 ~x1168+512 ~x1167+256 ~x1166+128 ~x1165+64 ~x1164+32 ~x1163+16 ~x1162+8 ~x1161+4 ~x1160+2 ~x1159+1 ~x1158-0=4094
27.47/27.52	c 1024 ~x1215857+512 ~x1215856+256 ~x1215855+128 ~x1215854+64 ~x1215853+32 ~x1215852+16 ~x1215851+8 ~x1215850+4 ~x1215849+2 ~x1215848+1 ~x1215847+1024 x2627+1024 ~x1179+512 ~x1178+256 ~x1177+128 ~x1176+64 ~x1175+32 ~x1174+16 ~x1173+8 ~x1172+4 ~x1171+2 ~x1170+1 ~x1169-0=4094
27.47/27.57	c 1024 ~x1217882+512 ~x1217881+256 ~x1217880+128 ~x1217879+64 ~x1217878+32 ~x1217877+16 ~x1217876+8 ~x1217875+4 ~x1217874+2 ~x1217873+1 ~x1217872+1024 x2628+1024 ~x1190+512 ~x1189+256 ~x1188+128 ~x1187+64 ~x1186+32 ~x1185+16 ~x1184+8 ~x1183+4 ~x1182+2 ~x1181+1 ~x1180-0=4094
27.56/27.62	c 1024 ~x1219907+512 ~x1219906+256 ~x1219905+128 ~x1219904+64 ~x1219903+32 ~x1219902+16 ~x1219901+8 ~x1219900+4 ~x1219899+2 ~x1219898+1 ~x1219897+1024 x2629+1024 ~x1201+512 ~x1200+256 ~x1199+128 ~x1198+64 ~x1197+32 ~x1196+16 ~x1195+8 ~x1194+4 ~x1193+2 ~x1192+1 ~x1191-0=4094
27.56/27.66	c 128 ~x1221929+64 ~x1221928+32 ~x1221927+16 ~x1221926+8 ~x1221925+4 ~x1221924+2 ~x1221923+1 ~x1221922+1024 x2630+128 ~x1209+64 ~x1208+32 ~x1207+16 ~x1206+8 ~x1205+4 ~x1204+2 ~x1203+1 ~x1202-0=510
27.56/27.69	c 1024 ~x1222836+512 ~x1222835+256 ~x1222834+128 ~x1222833+64 ~x1222832+32 ~x1222831+16 ~x1222830+8 ~x1222829+4 ~x1222828+2 ~x1222827+1 ~x1222826+1024 x2631+1024 ~x1223+512 ~x1222+256 ~x1221+128 ~x1220+64 ~x1219+32 ~x1218+16 ~x1217+8 ~x1216+4 ~x1215+2 ~x1214+1 ~x1213-0=4094
27.66/27.73	c 1024 ~x1224861+512 ~x1224860+256 ~x1224859+128 ~x1224858+64 ~x1224857+32 ~x1224856+16 ~x1224855+8 ~x1224854+4 ~x1224853+2 ~x1224852+1 ~x1224851+1024 x2632+1024 ~x1234+512 ~x1233+256 ~x1232+128 ~x1231+64 ~x1230+32 ~x1229+16 ~x1228+8 ~x1227+4 ~x1226+2 ~x1225+1 ~x1224-0=4094
27.66/27.78	c 1024 ~x1226886+512 ~x1226885+256 ~x1226884+128 ~x1226883+64 ~x1226882+32 ~x1226881+16 ~x1226880+8 ~x1226879+4 ~x1226878+2 ~x1226877+1 ~x1226876+1024 x2633+1024 ~x1245+512 ~x1244+256 ~x1243+128 ~x1242+64 ~x1241+32 ~x1240+16 ~x1239+8 ~x1238+4 ~x1237+2 ~x1236+1 ~x1235-0=4094
27.75/27.83	c 1024 ~x1228911+512 ~x1228910+256 ~x1228909+128 ~x1228908+64 ~x1228907+32 ~x1228906+16 ~x1228905+8 ~x1228904+4 ~x1228903+2 ~x1228902+1 ~x1228901+1024 x2634+1024 ~x1256+512 ~x1255+256 ~x1254+128 ~x1253+64 ~x1252+32 ~x1251+16 ~x1250+8 ~x1249+4 ~x1248+2 ~x1247+1 ~x1246-0=4094
27.75/27.87	c 512 ~x1230935+256 ~x1230934+128 ~x1230933+64 ~x1230932+32 ~x1230931+16 ~x1230930+8 ~x1230929+4 ~x1230928+2 ~x1230927+1 ~x1230926+1024 x2635+512 ~x1266+256 ~x1265+128 ~x1264+64 ~x1263+32 ~x1262+16 ~x1261+8 ~x1260+4 ~x1259+2 ~x1258+1 ~x1257-0=2046
27.85/27.93	c 64 ~x1232567+32 ~x1232566+16 ~x1232565+8 ~x1232564+4 ~x1232563+2 ~x1232562+1 ~x1232561+1024 x2636+64 ~x1274+32 ~x1273+16 ~x1272+8 ~x1271+4 ~x1270+2 ~x1269+1 ~x1268-0=254
27.85/27.93	c 256 ~x1233212+128 ~x1233211+64 ~x1233210+32 ~x1233209+16 ~x1233208+8 ~x1233207+4 ~x1233206+2 ~x1233205+1 ~x1233204+1024 x2637+256 ~x1287+128 ~x1286+64 ~x1285+32 ~x1284+16 ~x1283+8 ~x1282+4 ~x1281+2 ~x1280+1 ~x1279-0=1022
27.85/27.96	c 256 ~x1234273+128 ~x1234272+64 ~x1234271+32 ~x1234270+16 ~x1234269+8 ~x1234268+4 ~x1234267+2 ~x1234266+1 ~x1234265+1024 x2638+256 ~x1298+128 ~x1297+64 ~x1296+32 ~x1295+16 ~x1294+8 ~x1293+4 ~x1292+2 ~x1291+1 ~x1290-0=1022
27.85/27.98	c 1024 ~x1235336+512 ~x1235335+256 ~x1235334+128 ~x1235333+64 ~x1235332+32 ~x1235331+16 ~x1235330+8 ~x1235329+4 ~x1235328+2 ~x1235327+1 ~x1235326+1024 x2639+1024 ~x1311+512 ~x1310+256 ~x1309+128 ~x1308+64 ~x1307+32 ~x1306+16 ~x1305+8 ~x1304+4 ~x1303+2 ~x1302+1 ~x1301-0=4094
27.96/28.03	c 1024 ~x1237361+512 ~x1237360+256 ~x1237359+128 ~x1237358+64 ~x1237357+32 ~x1237356+16 ~x1237355+8 ~x1237354+4 ~x1237353+2 ~x1237352+1 ~x1237351+1024 x2640+1024 ~x1322+512 ~x1321+256 ~x1320+128 ~x1319+64 ~x1318+32 ~x1317+16 ~x1316+8 ~x1315+4 ~x1314+2 ~x1313+1 ~x1312-0=4094
27.96/28.08	c 256 ~x1239384+128 ~x1239383+64 ~x1239382+32 ~x1239381+16 ~x1239380+8 ~x1239379+4 ~x1239378+2 ~x1239377+1 ~x1239376+1024 x2641+256 ~x1331+128 ~x1330+64 ~x1329+32 ~x1328+16 ~x1327+8 ~x1326+4 ~x1325+2 ~x1324+1 ~x1323-0=1022
28.06/28.10	c 64 ~x1240443+32 ~x1240442+16 ~x1240441+8 ~x1240440+4 ~x1240439+2 ~x1240438+1 ~x1240437+1024 x2642+64 ~x1340+32 ~x1339+16 ~x1338+8 ~x1337+4 ~x1336+2 ~x1335+1 ~x1334-0=254
28.06/28.12	c 256 ~x1241088+128 ~x1241087+64 ~x1241086+32 ~x1241085+16 ~x1241084+8 ~x1241083+4 ~x1241082+2 ~x1241081+1 ~x1241080+1024 x2643+256 ~x1353+128 ~x1352+64 ~x1351+32 ~x1350+16 ~x1349+8 ~x1348+4 ~x1347+2 ~x1346+1 ~x1345-0=1022
28.06/28.15	c 256 ~x1242149+128 ~x1242148+64 ~x1242147+32 ~x1242146+16 ~x1242145+8 ~x1242144+4 ~x1242143+2 ~x1242142+1 ~x1242141+1024 x2644+256 ~x1364+128 ~x1363+64 ~x1362+32 ~x1361+16 ~x1360+8 ~x1359+4 ~x1358+2 ~x1357+1 ~x1356-0=1022
28.06/28.17	c 1024 ~x1243212+512 ~x1243211+256 ~x1243210+128 ~x1243209+64 ~x1243208+32 ~x1243207+16 ~x1243206+8 ~x1243205+4 ~x1243204+2 ~x1243203+1 ~x1243202+1024 x2645+1024 ~x1377+512 ~x1376+256 ~x1375+128 ~x1374+64 ~x1373+32 ~x1372+16 ~x1371+8 ~x1370+4 ~x1369+2 ~x1368+1 ~x1367-0=4094
28.15/28.22	c 1024 ~x1245237+512 ~x1245236+256 ~x1245235+128 ~x1245234+64 ~x1245233+32 ~x1245232+16 ~x1245231+8 ~x1245230+4 ~x1245229+2 ~x1245228+1 ~x1245227+1024 x2646+1024 ~x1388+512 ~x1387+256 ~x1386+128 ~x1385+64 ~x1384+32 ~x1383+16 ~x1382+8 ~x1381+4 ~x1380+2 ~x1379+1 ~x1378-0=4094
28.15/28.29	c 256 ~x1247260+128 ~x1247259+64 ~x1247258+32 ~x1247257+16 ~x1247256+8 ~x1247255+4 ~x1247254+2 ~x1247253+1 ~x1247252+1024 x2647+256 ~x1397+128 ~x1396+64 ~x1395+32 ~x1394+16 ~x1393+8 ~x1392+4 ~x1391+2 ~x1390+1 ~x1389-0=1022
28.26/28.33	c 64 ~x1248319+32 ~x1248318+16 ~x1248317+8 ~x1248316+4 ~x1248315+2 ~x1248314+1 ~x1248313+1024 x2648+64 ~x1406+32 ~x1405+16 ~x1404+8 ~x1403+4 ~x1402+2 ~x1401+1 ~x1400-0=254
28.26/28.33	c 256 ~x1248964+128 ~x1248963+64 ~x1248962+32 ~x1248961+16 ~x1248960+8 ~x1248959+4 ~x1248958+2 ~x1248957+1 ~x1248956+1024 x2649+256 ~x1419+128 ~x1418+64 ~x1417+32 ~x1416+16 ~x1415+8 ~x1414+4 ~x1413+2 ~x1412+1 ~x1411-0=1022
28.26/28.36	c 256 ~x1250025+128 ~x1250024+64 ~x1250023+32 ~x1250022+16 ~x1250021+8 ~x1250020+4 ~x1250019+2 ~x1250018+1 ~x1250017+1024 x2650+256 ~x1430+128 ~x1429+64 ~x1428+32 ~x1427+16 ~x1426+8 ~x1425+4 ~x1424+2 ~x1423+1 ~x1422-0=1022
28.26/28.38	c 1024 ~x1251088+512 ~x1251087+256 ~x1251086+128 ~x1251085+64 ~x1251084+32 ~x1251083+16 ~x1251082+8 ~x1251081+4 ~x1251080+2 ~x1251079+1 ~x1251078+1024 x2651+1024 ~x1443+512 ~x1442+256 ~x1441+128 ~x1440+64 ~x1439+32 ~x1438+16 ~x1437+8 ~x1436+4 ~x1435+2 ~x1434+1 ~x1433-0=4094
28.36/28.43	c 1024 ~x1253113+512 ~x1253112+256 ~x1253111+128 ~x1253110+64 ~x1253109+32 ~x1253108+16 ~x1253107+8 ~x1253106+4 ~x1253105+2 ~x1253104+1 ~x1253103+1024 x2652+1024 ~x1454+512 ~x1453+256 ~x1452+128 ~x1451+64 ~x1450+32 ~x1449+16 ~x1448+8 ~x1447+4 ~x1446+2 ~x1445+1 ~x1444-0=4094
28.36/28.48	c 256 ~x1255136+128 ~x1255135+64 ~x1255134+32 ~x1255133+16 ~x1255132+8 ~x1255131+4 ~x1255130+2 ~x1255129+1 ~x1255128+1024 x2653+256 ~x1463+128 ~x1462+64 ~x1461+32 ~x1460+16 ~x1459+8 ~x1458+4 ~x1457+2 ~x1456+1 ~x1455-0=1022
28.36/28.50	c 64 ~x1256195+32 ~x1256194+16 ~x1256193+8 ~x1256192+4 ~x1256191+2 ~x1256190+1 ~x1256189+1024 x2654+64 ~x1472+32 ~x1471+16 ~x1470+8 ~x1469+4 ~x1468+2 ~x1467+1 ~x1466-0=254
28.46/28.52	c 256 ~x1256840+128 ~x1256839+64 ~x1256838+32 ~x1256837+16 ~x1256836+8 ~x1256835+4 ~x1256834+2 ~x1256833+1 ~x1256832+1024 x2655+256 ~x1485+128 ~x1484+64 ~x1483+32 ~x1482+16 ~x1481+8 ~x1480+4 ~x1479+2 ~x1478+1 ~x1477-0=1022
28.46/28.54	c 256 ~x1257901+128 ~x1257900+64 ~x1257899+32 ~x1257898+16 ~x1257897+8 ~x1257896+4 ~x1257895+2 ~x1257894+1 ~x1257893+1024 x2656+256 ~x1496+128 ~x1495+64 ~x1494+32 ~x1493+16 ~x1492+8 ~x1491+4 ~x1490+2 ~x1489+1 ~x1488-0=1022
28.46/28.57	c 1024 ~x1258964+512 ~x1258963+256 ~x1258962+128 ~x1258961+64 ~x1258960+32 ~x1258959+16 ~x1258958+8 ~x1258957+4 ~x1258956+2 ~x1258955+1 ~x1258954+1024 x2657+1024 ~x1509+512 ~x1508+256 ~x1507+128 ~x1506+64 ~x1505+32 ~x1504+16 ~x1503+8 ~x1502+4 ~x1501+2 ~x1500+1 ~x1499-0=4094
28.56/28.62	c 1024 ~x1260989+512 ~x1260988+256 ~x1260987+128 ~x1260986+64 ~x1260985+32 ~x1260984+16 ~x1260983+8 ~x1260982+4 ~x1260981+2 ~x1260980+1 ~x1260979+1024 x2658+1024 ~x1520+512 ~x1519+256 ~x1518+128 ~x1517+64 ~x1516+32 ~x1515+16 ~x1514+8 ~x1513+4 ~x1512+2 ~x1511+1 ~x1510-0=4094
28.56/28.67	c 256 ~x1263012+128 ~x1263011+64 ~x1263010+32 ~x1263009+16 ~x1263008+8 ~x1263007+4 ~x1263006+2 ~x1263005+1 ~x1263004+1024 x2659+256 ~x1529+128 ~x1528+64 ~x1527+32 ~x1526+16 ~x1525+8 ~x1524+4 ~x1523+2 ~x1522+1 ~x1521-0=1022
28.65/28.71	c 64 ~x1264071+32 ~x1264070+16 ~x1264069+8 ~x1264068+4 ~x1264067+2 ~x1264066+1 ~x1264065+1024 x2660+64 ~x1538+32 ~x1537+16 ~x1536+8 ~x1535+4 ~x1534+2 ~x1533+1 ~x1532-0=254
28.65/28.71	c 256 ~x1264716+128 ~x1264715+64 ~x1264714+32 ~x1264713+16 ~x1264712+8 ~x1264711+4 ~x1264710+2 ~x1264709+1 ~x1264708+1024 x2661+256 ~x1551+128 ~x1550+64 ~x1549+32 ~x1548+16 ~x1547+8 ~x1546+4 ~x1545+2 ~x1544+1 ~x1543-0=1022
28.65/28.73	c 256 ~x1265777+128 ~x1265776+64 ~x1265775+32 ~x1265774+16 ~x1265773+8 ~x1265772+4 ~x1265771+2 ~x1265770+1 ~x1265769+1024 x2662+256 ~x1562+128 ~x1561+64 ~x1560+32 ~x1559+16 ~x1558+8 ~x1557+4 ~x1556+2 ~x1555+1 ~x1554-0=1022
28.65/28.76	c 256 ~x1266838+128 ~x1266837+64 ~x1266836+32 ~x1266835+16 ~x1266834+8 ~x1266833+4 ~x1266832+2 ~x1266831+1 ~x1266830+1024 x2663+256 ~x1573+128 ~x1572+64 ~x1571+32 ~x1570+16 ~x1569+8 ~x1568+4 ~x1567+2 ~x1566+1 ~x1565-0=1022
28.65/28.79	c 1024 ~x1267901+512 ~x1267900+256 ~x1267899+128 ~x1267898+64 ~x1267897+32 ~x1267896+16 ~x1267895+8 ~x1267894+4 ~x1267893+2 ~x1267892+1 ~x1267891+1024 x2664+1024 ~x1586+512 ~x1585+256 ~x1584+128 ~x1583+64 ~x1582+32 ~x1581+16 ~x1580+8 ~x1579+4 ~x1578+2 ~x1577+1 ~x1576-0=4094
28.75/28.83	c 1024 ~x1269926+512 ~x1269925+256 ~x1269924+128 ~x1269923+64 ~x1269922+32 ~x1269921+16 ~x1269920+8 ~x1269919+4 ~x1269918+2 ~x1269917+1 ~x1269916+1024 x2665+1024 ~x1597+512 ~x1596+256 ~x1595+128 ~x1594+64 ~x1593+32 ~x1592+16 ~x1591+8 ~x1590+4 ~x1589+2 ~x1588+1 ~x1587-0=4094
28.75/28.88	c 64 ~x1271947+32 ~x1271946+16 ~x1271945+8 ~x1271944+4 ~x1271943+2 ~x1271942+1 ~x1271941+1024 x2666+64 ~x1604+32 ~x1603+16 ~x1602+8 ~x1601+4 ~x1600+2 ~x1599+1 ~x1598-0=254
28.85/28.90	c 256 ~x1272592+128 ~x1272591+64 ~x1272590+32 ~x1272589+16 ~x1272588+8 ~x1272587+4 ~x1272586+2 ~x1272585+1 ~x1272584+1024 x2667+256 ~x1617+128 ~x1616+64 ~x1615+32 ~x1614+16 ~x1613+8 ~x1612+4 ~x1611+2 ~x1610+1 ~x1609-0=1022
28.85/28.95	c 256 ~x1273653+128 ~x1273652+64 ~x1273651+32 ~x1273650+16 ~x1273649+8 ~x1273648+4 ~x1273647+2 ~x1273646+1 ~x1273645+1024 x2668+256 ~x1628+128 ~x1627+64 ~x1626+32 ~x1625+16 ~x1624+8 ~x1623+4 ~x1622+2 ~x1621+1 ~x1620-0=1022
28.85/28.95	c 256 ~x1274714+128 ~x1274713+64 ~x1274712+32 ~x1274711+16 ~x1274710+8 ~x1274709+4 ~x1274708+2 ~x1274707+1 ~x1274706+1024 x2669+256 ~x1639+128 ~x1638+64 ~x1637+32 ~x1636+16 ~x1635+8 ~x1634+4 ~x1633+2 ~x1632+1 ~x1631-0=1022
28.85/28.97	c 1024 ~x1275777+512 ~x1275776+256 ~x1275775+128 ~x1275774+64 ~x1275773+32 ~x1275772+16 ~x1275771+8 ~x1275770+4 ~x1275769+2 ~x1275768+1 ~x1275767+1024 x2670+1024 ~x1652+512 ~x1651+256 ~x1650+128 ~x1649+64 ~x1648+32 ~x1647+16 ~x1646+8 ~x1645+4 ~x1644+2 ~x1643+1 ~x1642-0=4094
28.96/29.02	c 1024 ~x1277802+512 ~x1277801+256 ~x1277800+128 ~x1277799+64 ~x1277798+32 ~x1277797+16 ~x1277796+8 ~x1277795+4 ~x1277794+2 ~x1277793+1 ~x1277792+1024 x2671+1024 ~x1663+512 ~x1662+256 ~x1661+128 ~x1660+64 ~x1659+32 ~x1658+16 ~x1657+8 ~x1656+4 ~x1655+2 ~x1654+1 ~x1653-0=4094
28.96/29.07	c 128 ~x1279824+64 ~x1279823+32 ~x1279822+16 ~x1279821+8 ~x1279820+4 ~x1279819+2 ~x1279818+1 ~x1279817+1024 x2672+128 ~x1671+64 ~x1670+32 ~x1669+16 ~x1668+8 ~x1667+4 ~x1666+2 ~x1665+1 ~x1664-0=510
28.96/29.09	c 512 ~x1280730+256 ~x1280729+128 ~x1280728+64 ~x1280727+32 ~x1280726+16 ~x1280725+8 ~x1280724+4 ~x1280723+2 ~x1280722+1 ~x1280721+1024 x2673+512 ~x1684+256 ~x1683+128 ~x1682+64 ~x1681+32 ~x1680+16 ~x1679+8 ~x1678+4 ~x1677+2 ~x1676+1 ~x1675-0=2046
29.06/29.13	c 512 ~x1282365+256 ~x1282364+128 ~x1282363+64 ~x1282362+32 ~x1282361+16 ~x1282360+8 ~x1282359+4 ~x1282358+2 ~x1282357+1 ~x1282356+1024 x2674+512 ~x1695+256 ~x1694+128 ~x1693+64 ~x1692+32 ~x1691+16 ~x1690+8 ~x1689+4 ~x1688+2 ~x1687+1 ~x1686-0=2046
29.06/29.17	c 512 ~x1284000+256 ~x1283999+128 ~x1283998+64 ~x1283997+32 ~x1283996+16 ~x1283995+8 ~x1283994+4 ~x1283993+2 ~x1283992+1 ~x1283991+1024 x2675+512 ~x1706+256 ~x1705+128 ~x1704+64 ~x1703+32 ~x1702+16 ~x1701+8 ~x1700+4 ~x1699+2 ~x1698+1 ~x1697-0=2046
29.16/29.21	c 1024 ~x1285636+512 ~x1285635+256 ~x1285634+128 ~x1285633+64 ~x1285632+32 ~x1285631+16 ~x1285630+8 ~x1285629+4 ~x1285628+2 ~x1285627+1 ~x1285626+1024 x2676+1024 ~x1718+512 ~x1717+256 ~x1716+128 ~x1715+64 ~x1714+32 ~x1713+16 ~x1712+8 ~x1711+4 ~x1710+2 ~x1709+1 ~x1708-0=4094
29.16/29.26	c 1024 ~x1287661+512 ~x1287660+256 ~x1287659+128 ~x1287658+64 ~x1287657+32 ~x1287656+16 ~x1287655+8 ~x1287654+4 ~x1287653+2 ~x1287652+1 ~x1287651+1024 x2677+1024 ~x1729+512 ~x1728+256 ~x1727+128 ~x1726+64 ~x1725+32 ~x1724+16 ~x1723+8 ~x1722+4 ~x1721+2 ~x1720+1 ~x1719-0=4094
29.25/29.30	c 64 ~x1289682+32 ~x1289681+16 ~x1289680+8 ~x1289679+4 ~x1289678+2 ~x1289677+1 ~x1289676+1024 x2678+64 ~x1736+32 ~x1735+16 ~x1734+8 ~x1733+4 ~x1732+2 ~x1731+1 ~x1730-0=254
29.25/29.32	c 256 ~x1290327+128 ~x1290326+64 ~x1290325+32 ~x1290324+16 ~x1290323+8 ~x1290322+4 ~x1290321+2 ~x1290320+1 ~x1290319+1024 x2679+256 ~x1749+128 ~x1748+64 ~x1747+32 ~x1746+16 ~x1745+8 ~x1744+4 ~x1743+2 ~x1742+1 ~x1741-0=1022
29.25/29.35	c 256 ~x1291388+128 ~x1291387+64 ~x1291386+32 ~x1291385+16 ~x1291384+8 ~x1291383+4 ~x1291382+2 ~x1291381+1 ~x1291380+1024 x2680+256 ~x1760+128 ~x1759+64 ~x1758+32 ~x1757+16 ~x1756+8 ~x1755+4 ~x1754+2 ~x1753+1 ~x1752-0=1022
29.25/29.37	c 256 ~x1292449+128 ~x1292448+64 ~x1292447+32 ~x1292446+16 ~x1292445+8 ~x1292444+4 ~x1292443+2 ~x1292442+1 ~x1292441+1024 x2681+256 ~x1771+128 ~x1770+64 ~x1769+32 ~x1768+16 ~x1767+8 ~x1766+4 ~x1765+2 ~x1764+1 ~x1763-0=1022
29.35/29.40	c 1024 ~x1293512+512 ~x1293511+256 ~x1293510+128 ~x1293509+64 ~x1293508+32 ~x1293507+16 ~x1293506+8 ~x1293505+4 ~x1293504+2 ~x1293503+1 ~x1293502+1024 x2682+1024 ~x1784+512 ~x1783+256 ~x1782+128 ~x1781+64 ~x1780+32 ~x1779+16 ~x1778+8 ~x1777+4 ~x1776+2 ~x1775+1 ~x1774-0=4094
29.35/29.45	c 1024 ~x1295537+512 ~x1295536+256 ~x1295535+128 ~x1295534+64 ~x1295533+32 ~x1295532+16 ~x1295531+8 ~x1295530+4 ~x1295529+2 ~x1295528+1 ~x1295527+1024 x2683+1024 ~x1795+512 ~x1794+256 ~x1793+128 ~x1792+64 ~x1791+32 ~x1790+16 ~x1789+8 ~x1788+4 ~x1787+2 ~x1786+1 ~x1785-0=4094
29.35/29.49	c 1024 ~x1297562+512 ~x1297561+256 ~x1297560+128 ~x1297559+64 ~x1297558+32 ~x1297557+16 ~x1297556+8 ~x1297555+4 ~x1297554+2 ~x1297553+1 ~x1297552+1024 x2684+1024 ~x1806+512 ~x1805+256 ~x1804+128 ~x1803+64 ~x1802+32 ~x1801+16 ~x1800+8 ~x1799+4 ~x1798+2 ~x1797+1 ~x1796-0=4094
29.45/29.54	c 1024 ~x1299587+512 ~x1299586+256 ~x1299585+128 ~x1299584+64 ~x1299583+32 ~x1299582+16 ~x1299581+8 ~x1299580+4 ~x1299579+2 ~x1299578+1 ~x1299577+1024 x2685+1024 ~x1817+512 ~x1816+256 ~x1815+128 ~x1814+64 ~x1813+32 ~x1812+16 ~x1811+8 ~x1810+4 ~x1809+2 ~x1808+1 ~x1807-0=4094
29.45/29.59	c 1024 ~x1301612+512 ~x1301611+256 ~x1301610+128 ~x1301609+64 ~x1301608+32 ~x1301607+16 ~x1301606+8 ~x1301605+4 ~x1301604+2 ~x1301603+1 ~x1301602+1024 x2686+1024 ~x1828+512 ~x1827+256 ~x1826+128 ~x1825+64 ~x1824+32 ~x1823+16 ~x1822+8 ~x1821+4 ~x1820+2 ~x1819+1 ~x1818-0=4094
29.56/29.63	c 1024 ~x1303637+512 ~x1303636+256 ~x1303635+128 ~x1303634+64 ~x1303633+32 ~x1303632+16 ~x1303631+8 ~x1303630+4 ~x1303629+2 ~x1303628+1 ~x1303627+1024 x2687+1024 ~x1839+512 ~x1838+256 ~x1837+128 ~x1836+64 ~x1835+32 ~x1834+16 ~x1833+8 ~x1832+4 ~x1831+2 ~x1830+1 ~x1829-0=4094
29.56/29.68	c 1024 ~x1305662+512 ~x1305661+256 ~x1305660+128 ~x1305659+64 ~x1305658+32 ~x1305657+16 ~x1305656+8 ~x1305655+4 ~x1305654+2 ~x1305653+1 ~x1305652+1024 x2688+1024 ~x1850+512 ~x1849+256 ~x1848+128 ~x1847+64 ~x1846+32 ~x1845+16 ~x1844+8 ~x1843+4 ~x1842+2 ~x1841+1 ~x1840-0=4094
29.67/29.73	c 1024 ~x1307687+512 ~x1307686+256 ~x1307685+128 ~x1307684+64 ~x1307683+32 ~x1307682+16 ~x1307681+8 ~x1307680+4 ~x1307679+2 ~x1307678+1 ~x1307677+1024 x2689+1024 ~x1861+512 ~x1860+256 ~x1859+128 ~x1858+64 ~x1857+32 ~x1856+16 ~x1855+8 ~x1854+4 ~x1853+2 ~x1852+1 ~x1851-0=4094
29.67/29.77	c 1024 ~x1309712+512 ~x1309711+256 ~x1309710+128 ~x1309709+64 ~x1309708+32 ~x1309707+16 ~x1309706+8 ~x1309705+4 ~x1309704+2 ~x1309703+1 ~x1309702+1024 x2690+1024 ~x1872+512 ~x1871+256 ~x1870+128 ~x1869+64 ~x1868+32 ~x1867+16 ~x1866+8 ~x1865+4 ~x1864+2 ~x1863+1 ~x1862-0=4094
29.76/29.82	c 1024 ~x1311737+512 ~x1311736+256 ~x1311735+128 ~x1311734+64 ~x1311733+32 ~x1311732+16 ~x1311731+8 ~x1311730+4 ~x1311729+2 ~x1311728+1 ~x1311727+1024 x2691+1024 ~x1883+512 ~x1882+256 ~x1881+128 ~x1880+64 ~x1879+32 ~x1878+16 ~x1877+8 ~x1876+4 ~x1875+2 ~x1874+1 ~x1873-0=4094
29.76/29.87	c 1024 ~x1313762+512 ~x1313761+256 ~x1313760+128 ~x1313759+64 ~x1313758+32 ~x1313757+16 ~x1313756+8 ~x1313755+4 ~x1313754+2 ~x1313753+1 ~x1313752+1024 x2692+1024 ~x1894+512 ~x1893+256 ~x1892+128 ~x1891+64 ~x1890+32 ~x1889+16 ~x1888+8 ~x1887+4 ~x1886+2 ~x1885+1 ~x1884-0=4094
29.85/29.92	c 1024 ~x1315787+512 ~x1315786+256 ~x1315785+128 ~x1315784+64 ~x1315783+32 ~x1315782+16 ~x1315781+8 ~x1315780+4 ~x1315779+2 ~x1315778+1 ~x1315777+1024 x2693+1024 ~x1905+512 ~x1904+256 ~x1903+128 ~x1902+64 ~x1901+32 ~x1900+16 ~x1899+8 ~x1898+4 ~x1897+2 ~x1896+1 ~x1895-0=4094
29.85/29.96	c 1024 ~x1317812+512 ~x1317811+256 ~x1317810+128 ~x1317809+64 ~x1317808+32 ~x1317807+16 ~x1317806+8 ~x1317805+4 ~x1317804+2 ~x1317803+1 ~x1317802+1024 x2694+1024 ~x1916+512 ~x1915+256 ~x1914+128 ~x1913+64 ~x1912+32 ~x1911+16 ~x1910+8 ~x1909+4 ~x1908+2 ~x1907+1 ~x1906-0=4094
29.95/30.01	c 1024 ~x1319837+512 ~x1319836+256 ~x1319835+128 ~x1319834+64 ~x1319833+32 ~x1319832+16 ~x1319831+8 ~x1319830+4 ~x1319829+2 ~x1319828+1 ~x1319827+1024 x2695+1024 ~x1927+512 ~x1926+256 ~x1925+128 ~x1924+64 ~x1923+32 ~x1922+16 ~x1921+8 ~x1920+4 ~x1919+2 ~x1918+1 ~x1917-0=4094
29.95/30.06	c 1024 ~x1321862+512 ~x1321861+256 ~x1321860+128 ~x1321859+64 ~x1321858+32 ~x1321857+16 ~x1321856+8 ~x1321855+4 ~x1321854+2 ~x1321853+1 ~x1321852+1024 x2696+1024 ~x1938+512 ~x1937+256 ~x1936+128 ~x1935+64 ~x1934+32 ~x1933+16 ~x1932+8 ~x1931+4 ~x1930+2 ~x1929+1 ~x1928-0=4094
30.06/30.10	c 1024 ~x1323887+512 ~x1323886+256 ~x1323885+128 ~x1323884+64 ~x1323883+32 ~x1323882+16 ~x1323881+8 ~x1323880+4 ~x1323879+2 ~x1323878+1 ~x1323877+1024 x2697+1024 ~x1949+512 ~x1948+256 ~x1947+128 ~x1946+64 ~x1945+32 ~x1944+16 ~x1943+8 ~x1942+4 ~x1941+2 ~x1940+1 ~x1939-0=4094
30.06/30.15	c 1024 ~x1325912+512 ~x1325911+256 ~x1325910+128 ~x1325909+64 ~x1325908+32 ~x1325907+16 ~x1325906+8 ~x1325905+4 ~x1325904+2 ~x1325903+1 ~x1325902+1024 x2698+1024 ~x1960+512 ~x1959+256 ~x1958+128 ~x1957+64 ~x1956+32 ~x1955+16 ~x1954+8 ~x1953+4 ~x1952+2 ~x1951+1 ~x1950-0=4094
30.06/30.20	c 1024 ~x1327937+512 ~x1327936+256 ~x1327935+128 ~x1327934+64 ~x1327933+32 ~x1327932+16 ~x1327931+8 ~x1327930+4 ~x1327929+2 ~x1327928+1 ~x1327927+1024 x2699+1024 ~x1971+512 ~x1970+256 ~x1969+128 ~x1968+64 ~x1967+32 ~x1966+16 ~x1965+8 ~x1964+4 ~x1963+2 ~x1962+1 ~x1961-0=4094
30.16/30.24	c 1024 ~x1329962+512 ~x1329961+256 ~x1329960+128 ~x1329959+64 ~x1329958+32 ~x1329957+16 ~x1329956+8 ~x1329955+4 ~x1329954+2 ~x1329953+1 ~x1329952+1024 x2700+1024 ~x1982+512 ~x1981+256 ~x1980+128 ~x1979+64 ~x1978+32 ~x1977+16 ~x1976+8 ~x1975+4 ~x1974+2 ~x1973+1 ~x1972-0=4094
30.16/30.29	c 1024 ~x1331987+512 ~x1331986+256 ~x1331985+128 ~x1331984+64 ~x1331983+32 ~x1331982+16 ~x1331981+8 ~x1331980+4 ~x1331979+2 ~x1331978+1 ~x1331977+1024 x2701+1024 ~x1993+512 ~x1992+256 ~x1991+128 ~x1990+64 ~x1989+32 ~x1988+16 ~x1987+8 ~x1986+4 ~x1985+2 ~x1984+1 ~x1983-0=4094
30.26/30.34	c 1024 ~x1334012+512 ~x1334011+256 ~x1334010+128 ~x1334009+64 ~x1334008+32 ~x1334007+16 ~x1334006+8 ~x1334005+4 ~x1334004+2 ~x1334003+1 ~x1334002+1024 x2702+1024 ~x2004+512 ~x2003+256 ~x2002+128 ~x2001+64 ~x2000+32 ~x1999+16 ~x1998+8 ~x1997+4 ~x1996+2 ~x1995+1 ~x1994-0=4094
30.26/30.38	c 1024 ~x1336037+512 ~x1336036+256 ~x1336035+128 ~x1336034+64 ~x1336033+32 ~x1336032+16 ~x1336031+8 ~x1336030+4 ~x1336029+2 ~x1336028+1 ~x1336027+1024 x2703+1024 ~x2015+512 ~x2014+256 ~x2013+128 ~x2012+64 ~x2011+32 ~x2010+16 ~x2009+8 ~x2008+4 ~x2007+2 ~x2006+1 ~x2005-0=4094
30.36/30.43	c 1024 ~x1338062+512 ~x1338061+256 ~x1338060+128 ~x1338059+64 ~x1338058+32 ~x1338057+16 ~x1338056+8 ~x1338055+4 ~x1338054+2 ~x1338053+1 ~x1338052+1024 x2704+1024 ~x2026+512 ~x2025+256 ~x2024+128 ~x2023+64 ~x2022+32 ~x2021+16 ~x2020+8 ~x2019+4 ~x2018+2 ~x2017+1 ~x2016-0=4094
30.36/30.48	c 1024 ~x1340087+512 ~x1340086+256 ~x1340085+128 ~x1340084+64 ~x1340083+32 ~x1340082+16 ~x1340081+8 ~x1340080+4 ~x1340079+2 ~x1340078+1 ~x1340077+1024 x2705+1024 ~x2037+512 ~x2036+256 ~x2035+128 ~x2034+64 ~x2033+32 ~x2032+16 ~x2031+8 ~x2030+4 ~x2029+2 ~x2028+1 ~x2027-0=4094
30.45/30.53	c 1024 ~x1342112+512 ~x1342111+256 ~x1342110+128 ~x1342109+64 ~x1342108+32 ~x1342107+16 ~x1342106+8 ~x1342105+4 ~x1342104+2 ~x1342103+1 ~x1342102+1024 x2706+1024 ~x2048+512 ~x2047+256 ~x2046+128 ~x2045+64 ~x2044+32 ~x2043+16 ~x2042+8 ~x2041+4 ~x2040+2 ~x2039+1 ~x2038-0=4094
30.45/30.57	c 1024 ~x1344137+512 ~x1344136+256 ~x1344135+128 ~x1344134+64 ~x1344133+32 ~x1344132+16 ~x1344131+8 ~x1344130+4 ~x1344129+2 ~x1344128+1 ~x1344127+1024 x2707+1024 ~x2059+512 ~x2058+256 ~x2057+128 ~x2056+64 ~x2055+32 ~x2054+16 ~x2053+8 ~x2052+4 ~x2051+2 ~x2050+1 ~x2049-0=4094
30.55/30.62	c 1024 ~x1346162+512 ~x1346161+256 ~x1346160+128 ~x1346159+64 ~x1346158+32 ~x1346157+16 ~x1346156+8 ~x1346155+4 ~x1346154+2 ~x1346153+1 ~x1346152+1024 x2708+1024 ~x2070+512 ~x2069+256 ~x2068+128 ~x2067+64 ~x2066+32 ~x2065+16 ~x2064+8 ~x2063+4 ~x2062+2 ~x2061+1 ~x2060-0=4094
30.55/30.67	c 1024 ~x1348187+512 ~x1348186+256 ~x1348185+128 ~x1348184+64 ~x1348183+32 ~x1348182+16 ~x1348181+8 ~x1348180+4 ~x1348179+2 ~x1348178+1 ~x1348177+1024 x2709+1024 ~x2081+512 ~x2080+256 ~x2079+128 ~x2078+64 ~x2077+32 ~x2076+16 ~x2075+8 ~x2074+4 ~x2073+2 ~x2072+1 ~x2071-0=4094
30.66/30.74	c 256 ~x1350210+128 ~x1350209+64 ~x1350208+32 ~x1350207+16 ~x1350206+8 ~x1350205+4 ~x1350204+2 ~x1350203+1 ~x1350202+1024 x2710+256 ~x2090+128 ~x2089+64 ~x2088+32 ~x2087+16 ~x2086+8 ~x2085+4 ~x2084+2 ~x2083+1 ~x2082-0=1022
30.66/30.74	c 256 ~x1351271+128 ~x1351270+64 ~x1351269+32 ~x1351268+16 ~x1351267+8 ~x1351266+4 ~x1351265+2 ~x1351264+1 ~x1351263+1024 x2711+256 ~x2101+128 ~x2100+64 ~x2099+32 ~x2098+16 ~x2097+8 ~x2096+4 ~x2095+2 ~x2094+1 ~x2093-0=1022
30.66/30.77	c 256 ~x1352332+128 ~x1352331+64 ~x1352330+32 ~x1352329+16 ~x1352328+8 ~x1352327+4 ~x1352326+2 ~x1352325+1 ~x1352324+1024 x2712+256 ~x2112+128 ~x2111+64 ~x2110+32 ~x2109+16 ~x2108+8 ~x2107+4 ~x2106+2 ~x2105+1 ~x2104-0=1022
30.66/30.79	c 256 ~x1353393+128 ~x1353392+64 ~x1353391+32 ~x1353390+16 ~x1353389+8 ~x1353388+4 ~x1353387+2 ~x1353386+1 ~x1353385+1024 x2713+256 ~x2123+128 ~x2122+64 ~x2121+32 ~x2120+16 ~x2119+8 ~x2118+4 ~x2117+2 ~x2116+1 ~x2115-0=1022
30.76/30.82	c 1024 ~x1354456+512 ~x1354455+256 ~x1354454+128 ~x1354453+64 ~x1354452+32 ~x1354451+16 ~x1354450+8 ~x1354449+4 ~x1354448+2 ~x1354447+1 ~x1354446+1024 x2714+1024 ~x2136+512 ~x2135+256 ~x2134+128 ~x2133+64 ~x2132+32 ~x2131+16 ~x2130+8 ~x2129+4 ~x2128+2 ~x2127+1 ~x2126-0=4094
30.76/30.87	c 512 ~x1356480+256 ~x1356479+128 ~x1356478+64 ~x1356477+32 ~x1356476+16 ~x1356475+8 ~x1356474+4 ~x1356473+2 ~x1356472+1 ~x1356471+1024 x2715+512 ~x2146+256 ~x2145+128 ~x2144+64 ~x2143+32 ~x2142+16 ~x2141+8 ~x2140+4 ~x2139+2 ~x2138+1 ~x2137-0=2046
30.86/30.90	c 256 ~x1358114+128 ~x1358113+64 ~x1358112+32 ~x1358111+16 ~x1358110+8 ~x1358109+4 ~x1358108+2 ~x1358107+1 ~x1358106+1024 x2716+256 ~x2156+128 ~x2155+64 ~x2154+32 ~x2153+16 ~x2152+8 ~x2151+4 ~x2150+2 ~x2149+1 ~x2148-0=1022
30.86/30.93	c 256 ~x1359175+128 ~x1359174+64 ~x1359173+32 ~x1359172+16 ~x1359171+8 ~x1359170+4 ~x1359169+2 ~x1359168+1 ~x1359167+1024 x2717+256 ~x2167+128 ~x2166+64 ~x2165+32 ~x2164+16 ~x2163+8 ~x2162+4 ~x2161+2 ~x2160+1 ~x2159-0=1022
30.86/30.96	c 256 ~x1360236+128 ~x1360235+64 ~x1360234+32 ~x1360233+16 ~x1360232+8 ~x1360231+4 ~x1360230+2 ~x1360229+1 ~x1360228+1024 x2718+256 ~x2178+128 ~x2177+64 ~x2176+32 ~x2175+16 ~x2174+8 ~x2173+4 ~x2172+2 ~x2171+1 ~x2170-0=1022
30.86/30.98	c 256 ~x1361297+128 ~x1361296+64 ~x1361295+32 ~x1361294+16 ~x1361293+8 ~x1361292+4 ~x1361291+2 ~x1361290+1 ~x1361289+1024 x2719+256 ~x2189+128 ~x2188+64 ~x2187+32 ~x2186+16 ~x2185+8 ~x2184+4 ~x2183+2 ~x2182+1 ~x2181-0=1022
30.96/31.01	c 1024 ~x1362360+512 ~x1362359+256 ~x1362358+128 ~x1362357+64 ~x1362356+32 ~x1362355+16 ~x1362354+8 ~x1362353+4 ~x1362352+2 ~x1362351+1 ~x1362350+1024 x2720+1024 ~x2202+512 ~x2201+256 ~x2200+128 ~x2199+64 ~x2198+32 ~x2197+16 ~x2196+8 ~x2195+4 ~x2194+2 ~x2193+1 ~x2192-0=4094
30.96/31.06	c 512 ~x1364384+256 ~x1364383+128 ~x1364382+64 ~x1364381+32 ~x1364380+16 ~x1364379+8 ~x1364378+4 ~x1364377+2 ~x1364376+1 ~x1364375+1024 x2721+512 ~x2212+256 ~x2211+128 ~x2210+64 ~x2209+32 ~x2208+16 ~x2207+8 ~x2206+4 ~x2205+2 ~x2204+1 ~x2203-0=2046
31.06/31.12	c 128 ~x1366017+64 ~x1366016+32 ~x1366015+16 ~x1366014+8 ~x1366013+4 ~x1366012+2 ~x1366011+1 ~x1366010+1024 x2722+128 ~x2221+64 ~x2220+32 ~x2219+16 ~x2218+8 ~x2217+4 ~x2216+2 ~x2215+1 ~x2214-0=510
31.06/31.12	c 128 ~x1366921+64 ~x1366920+32 ~x1366919+16 ~x1366918+8 ~x1366917+4 ~x1366916+2 ~x1366915+1 ~x1366914+1024 x2723+128 ~x2232+64 ~x2231+32 ~x2230+16 ~x2229+8 ~x2228+4 ~x2227+2 ~x2226+1 ~x2225-0=510
31.06/31.14	c 128 ~x1367825+64 ~x1367824+32 ~x1367823+16 ~x1367822+8 ~x1367821+4 ~x1367820+2 ~x1367819+1 ~x1367818+1024 x2724+128 ~x2243+64 ~x2242+32 ~x2241+16 ~x2240+8 ~x2239+4 ~x2238+2 ~x2237+1 ~x2236-0=510
31.06/31.16	c 128 ~x1368729+64 ~x1368728+32 ~x1368727+16 ~x1368726+8 ~x1368725+4 ~x1368724+2 ~x1368723+1 ~x1368722+1024 x2725+128 ~x2254+64 ~x2253+32 ~x2252+16 ~x2251+8 ~x2250+4 ~x2249+2 ~x2248+1 ~x2247-0=510
31.06/31.19	c 1024 ~x1369636+512 ~x1369635+256 ~x1369634+128 ~x1369633+64 ~x1369632+32 ~x1369631+16 ~x1369630+8 ~x1369629+4 ~x1369628+2 ~x1369627+1 ~x1369626+1024 x2726+1024 ~x2268+512 ~x2267+256 ~x2266+128 ~x2265+64 ~x2264+32 ~x2263+16 ~x2262+8 ~x2261+4 ~x2260+2 ~x2259+1 ~x2258-0=4094
31.15/31.23	c 512 ~x1371660+256 ~x1371659+128 ~x1371658+64 ~x1371657+32 ~x1371656+16 ~x1371655+8 ~x1371654+4 ~x1371653+2 ~x1371652+1 ~x1371651+1024 x2727+512 ~x2278+256 ~x2277+128 ~x2276+64 ~x2275+32 ~x2274+16 ~x2273+8 ~x2272+4 ~x2271+2 ~x2270+1 ~x2269-0=2046
31.15/31.27	c 128 ~x1373293+64 ~x1373292+32 ~x1373291+16 ~x1373290+8 ~x1373289+4 ~x1373288+2 ~x1373287+1 ~x1373286+1024 x2728+128 ~x2287+64 ~x2286+32 ~x2285+16 ~x2284+8 ~x2283+4 ~x2282+2 ~x2281+1 ~x2280-0=510
31.25/31.32	c 128 ~x1374197+64 ~x1374196+32 ~x1374195+16 ~x1374194+8 ~x1374193+4 ~x1374192+2 ~x1374191+1 ~x1374190+1024 x2729+128 ~x2298+64 ~x2297+32 ~x2296+16 ~x2295+8 ~x2294+4 ~x2293+2 ~x2292+1 ~x2291-0=510
31.25/31.32	c 128 ~x1375101+64 ~x1375100+32 ~x1375099+16 ~x1375098+8 ~x1375097+4 ~x1375096+2 ~x1375095+1 ~x1375094+1024 x2730+128 ~x2309+64 ~x2308+32 ~x2307+16 ~x2306+8 ~x2305+4 ~x2304+2 ~x2303+1 ~x2302-0=510
31.25/31.34	c 128 ~x1376005+64 ~x1376004+32 ~x1376003+16 ~x1376002+8 ~x1376001+4 ~x1376000+2 ~x1375999+1 ~x1375998+1024 x2731+128 ~x2320+64 ~x2319+32 ~x2318+16 ~x2317+8 ~x2316+4 ~x2315+2 ~x2314+1 ~x2313-0=510
31.25/31.37	c 32 ~x1376907+16 ~x1376906+8 ~x1376905+4 ~x1376904+2 ~x1376903+1 ~x1376902+1024 x2732+32 ~x2329+16 ~x2328+8 ~x2327+4 ~x2326+2 ~x2325+1 ~x2324-0=126
31.25/31.37	c 512 ~x1377339+256 ~x1377338+128 ~x1377337+64 ~x1377336+32 ~x1377335+16 ~x1377334+8 ~x1377333+4 ~x1377332+2 ~x1377331+1 ~x1377330+1024 x2733+512 ~x2344+256 ~x2343+128 ~x2342+64 ~x2341+32 ~x2340+16 ~x2339+8 ~x2338+4 ~x2337+2 ~x2336+1 ~x2335-0=2046
31.35/31.41	c 1024 ~x1378975+512 ~x1378974+256 ~x1378973+128 ~x1378972+64 ~x1378971+32 ~x1378970+16 ~x1378969+8 ~x1378968+4 ~x1378967+2 ~x1378966+1 ~x1378965+1024 x2734+1024 ~x2356+512 ~x2355+256 ~x2354+128 ~x2353+64 ~x2352+32 ~x2351+16 ~x2350+8 ~x2349+4 ~x2348+2 ~x2347+1 ~x2346-0=4094
31.35/31.46	c 256 ~x1380998+128 ~x1380997+64 ~x1380996+32 ~x1380995+16 ~x1380994+8 ~x1380993+4 ~x1380992+2 ~x1380991+1 ~x1380990+1024 x2735+256 ~x2365+128 ~x2364+64 ~x2363+32 ~x2362+16 ~x2361+8 ~x2360+4 ~x2359+2 ~x2358+1 ~x2357-0=1022
31.35/31.49	c 256 ~x1382059+128 ~x1382058+64 ~x1382057+32 ~x1382056+16 ~x1382055+8 ~x1382054+4 ~x1382053+2 ~x1382052+1 ~x1382051+1024 x2736+256 ~x2376+128 ~x2375+64 ~x2374+32 ~x2373+16 ~x2372+8 ~x2371+4 ~x2370+2 ~x2369+1 ~x2368-0=1022
31.45/31.51	c 256 ~x1383120+128 ~x1383119+64 ~x1383118+32 ~x1383117+16 ~x1383116+8 ~x1383115+4 ~x1383114+2 ~x1383113+1 ~x1383112+1024 x2737+256 ~x2387+128 ~x2386+64 ~x2385+32 ~x2384+16 ~x2383+8 ~x2382+4 ~x2381+2 ~x2380+1 ~x2379-0=1022
31.45/31.54	c 32 ~x1384178+16 ~x1384177+8 ~x1384176+4 ~x1384175+2 ~x1384174+1 ~x1384173+1024 x2738+32 ~x2395+16 ~x2394+8 ~x2393+4 ~x2392+2 ~x2391+1 ~x2390-0=126
31.45/31.55	c 512 ~x1384610+256 ~x1384609+128 ~x1384608+64 ~x1384607+32 ~x1384606+16 ~x1384605+8 ~x1384604+4 ~x1384603+2 ~x1384602+1 ~x1384601+1024 x2739+512 ~x2410+256 ~x2409+128 ~x2408+64 ~x2407+32 ~x2406+16 ~x2405+8 ~x2404+4 ~x2403+2 ~x2402+1 ~x2401-0=2046
31.45/31.59	c 1024 ~x1386246+512 ~x1386245+256 ~x1386244+128 ~x1386243+64 ~x1386242+32 ~x1386241+16 ~x1386240+8 ~x1386239+4 ~x1386238+2 ~x1386237+1 ~x1386236+1024 x2740+1024 ~x2422+512 ~x2421+256 ~x2420+128 ~x2419+64 ~x2418+32 ~x2417+16 ~x2416+8 ~x2415+4 ~x2414+2 ~x2413+1 ~x2412-0=4094
31.55/31.64	c 256 ~x1388269+128 ~x1388268+64 ~x1388267+32 ~x1388266+16 ~x1388265+8 ~x1388264+4 ~x1388263+2 ~x1388262+1 ~x1388261+1024 x2741+256 ~x2431+128 ~x2430+64 ~x2429+32 ~x2428+16 ~x2427+8 ~x2426+4 ~x2425+2 ~x2424+1 ~x2423-0=1022
31.55/31.69	c 256 ~x1389330+128 ~x1389329+64 ~x1389328+32 ~x1389327+16 ~x1389326+8 ~x1389325+4 ~x1389324+2 ~x1389323+1 ~x1389322+1024 x2742+256 ~x2442+128 ~x2441+64 ~x2440+32 ~x2439+16 ~x2438+8 ~x2437+4 ~x2436+2 ~x2435+1 ~x2434-0=1022
31.55/31.69	c 256 ~x1390391+128 ~x1390390+64 ~x1390389+32 ~x1390388+16 ~x1390387+8 ~x1390386+4 ~x1390385+2 ~x1390384+1 ~x1390383+1024 x2743+256 ~x2453+128 ~x2452+64 ~x2451+32 ~x2450+16 ~x2449+8 ~x2448+4 ~x2447+2 ~x2446+1 ~x2445-0=1022
31.65/31.71	c 64 ~x1391450+32 ~x1391449+16 ~x1391448+8 ~x1391447+4 ~x1391446+2 ~x1391445+1 ~x1391444+1024 x2744+64 ~x2462+32 ~x2461+16 ~x2460+8 ~x2459+4 ~x2458+2 ~x2457+1 ~x2456-0=254
31.65/31.73	c 1024 ~x1392097+512 ~x1392096+256 ~x1392095+128 ~x1392094+64 ~x1392093+32 ~x1392092+16 ~x1392091+8 ~x1392090+4 ~x1392089+2 ~x1392088+1 ~x1392087+1024 x2745+1024 ~x2477+512 ~x2476+256 ~x2475+128 ~x2474+64 ~x2473+32 ~x2472+16 ~x2471+8 ~x2470+4 ~x2469+2 ~x2468+1 ~x2467-0=4094
31.65/31.78	c 1024 ~x1394122+512 ~x1394121+256 ~x1394120+128 ~x1394119+64 ~x1394118+32 ~x1394117+16 ~x1394116+8 ~x1394115+4 ~x1394114+2 ~x1394113+1 ~x1394112+1024 x2746+1024 ~x2488+512 ~x2487+256 ~x2486+128 ~x2485+64 ~x2484+32 ~x2483+16 ~x2482+8 ~x2481+4 ~x2480+2 ~x2479+1 ~x2478-0=4094
31.75/31.83	c 256 ~x1396145+128 ~x1396144+64 ~x1396143+32 ~x1396142+16 ~x1396141+8 ~x1396140+4 ~x1396139+2 ~x1396138+1 ~x1396137+1024 x2747+256 ~x2497+128 ~x2496+64 ~x2495+32 ~x2494+16 ~x2493+8 ~x2492+4 ~x2491+2 ~x2490+1 ~x2489-0=1022
31.75/31.85	c 256 ~x1397206+128 ~x1397205+64 ~x1397204+32 ~x1397203+16 ~x1397202+8 ~x1397201+4 ~x1397200+2 ~x1397199+1 ~x1397198+1024 x2748+256 ~x2508+128 ~x2507+64 ~x2506+32 ~x2505+16 ~x2504+8 ~x2503+4 ~x2502+2 ~x2501+1 ~x2500-0=1022
31.75/31.88	c 256 ~x1398267+128 ~x1398266+64 ~x1398265+32 ~x1398264+16 ~x1398263+8 ~x1398262+4 ~x1398261+2 ~x1398260+1 ~x1398259+1024 x2749+256 ~x2519+128 ~x2518+64 ~x2517+32 ~x2516+16 ~x2515+8 ~x2514+4 ~x2513+2 ~x2512+1 ~x2511-0=1022
31.85/31.92	c 32 ~x1399325+16 ~x1399324+8 ~x1399323+4 ~x1399322+2 ~x1399321+1 ~x1399320+1024 x2750+32 ~x2527+16 ~x2526+8 ~x2525+4 ~x2524+2 ~x2523+1 ~x2522-0=126
31.85/31.92	c 512 ~x1399757+256 ~x1399756+128 ~x1399755+64 ~x1399754+32 ~x1399753+16 ~x1399752+8 ~x1399751+4 ~x1399750+2 ~x1399749+1 ~x1399748+1024 x2751+512 ~x2542+256 ~x2541+128 ~x2540+64 ~x2539+32 ~x2538+16 ~x2537+8 ~x2536+4 ~x2535+2 ~x2534+1 ~x2533-0=2046
31.85/31.95	c 1024 ~x1401393+512 ~x1401392+256 ~x1401391+128 ~x1401390+64 ~x1401389+32 ~x1401388+16 ~x1401387+8 ~x1401386+4 ~x1401385+2 ~x1401384+1 ~x1401383+1024 x2752+1024 ~x2554+512 ~x2553+256 ~x2552+128 ~x2551+64 ~x2550+32 ~x2549+16 ~x2548+8 ~x2547+4 ~x2546+2 ~x2545+1 ~x2544-0=4094
31.94/32.00	c 128 ~x1403415+64 ~x1403414+32 ~x1403413+16 ~x1403412+8 ~x1403411+4 ~x1403410+2 ~x1403409+1 ~x1403408+1024 x2753+128 ~x2562+64 ~x2561+32 ~x2560+16 ~x2559+8 ~x2558+4 ~x2557+2 ~x2556+1 ~x2555-0=510
31.94/32.02	c 128 ~x1404319+64 ~x1404318+32 ~x1404317+16 ~x1404316+8 ~x1404315+4 ~x1404314+2 ~x1404313+1 ~x1404312+1024 x2754+128 ~x2573+64 ~x2572+32 ~x2571+16 ~x2570+8 ~x2569+4 ~x2568+2 ~x2567+1 ~x2566-0=510
31.94/32.05	c 128 ~x1405223+64 ~x1405222+32 ~x1405221+16 ~x1405220+8 ~x1405219+4 ~x1405218+2 ~x1405217+1 ~x1405216+1024 x2755+128 ~x2584+64 ~x2583+32 ~x2582+16

ERROR: no interpretation found !

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2673933-1276792348/watcher-2673933-1276792348 -o /tmp/evaluation-result-2673933-1276792348/solver-2673933-1276792348 -C 1800 -W 2000 -M 1800 run HOME/instance-2673933-1276792348.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.04 1.01 1.00 3/106 25534
/proc/meminfo: memFree=1757160/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0

[startup+0.0111499 s]
/proc/loadavg: 1.04 1.01 1.00 3/106 25534
/proc/meminfo: memFree=1757160/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.103821 s]
/proc/loadavg: 1.04 1.01 1.00 3/106 25534
/proc/meminfo: memFree=1757160/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300815 s]
/proc/loadavg: 1.04 1.01 1.00 3/106 25534
/proc/meminfo: memFree=1757160/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700802 s]
/proc/loadavg: 1.04 1.01 1.00 3/106 25534
/proc/meminfo: memFree=1757160/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50078 s]
/proc/loadavg: 1.04 1.01 1.00 2/108 25537
/proc/meminfo: memFree=1641328/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=127444 CPUtime=1.48
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 31707 0 0 0 114 34 0 0 25 0 1 0 20529257 130502656 31030 1992294400 134512640 134902295 4290239280 18446744073709551615 4160272181 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 31861 31030 262 96 0 31073 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 136144

[startup+3.10073 s]
/proc/loadavg: 1.04 1.01 1.00 2/108 25537
/proc/meminfo: memFree=1623844/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=154460 CPUtime=3.08
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 39512 0 0 0 270 38 0 0 25 0 1 0 20529257 158167040 37457 1992294400 134512640 134902295 4290239280 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 38615 37457 262 96 0 37827 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 163160

[startup+6.30063 s]
/proc/loadavg: 1.04 1.01 1.00 2/108 25537
/proc/meminfo: memFree=1566308/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=215516 CPUtime=6.28
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 54703 0 0 0 584 44 0 0 25 0 1 0 20529257 220688384 51920 1992294400 134512640 134902295 4290239280 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 53879 51920 262 96 0 53091 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 224216

[startup+12.7004 s]
/proc/loadavg: 1.03 1.01 1.00 2/108 25537
/proc/meminfo: memFree=1442184/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=349668 CPUtime=12.67
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 87510 0 0 0 1209 58 0 0 25 0 1 0 20529257 358060032 83199 1992294400 134512640 134902295 4290239280 18446744073709551615 4160272093 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 87417 83199 262 96 0 86629 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 358368

[startup+25.5 s]
/proc/loadavg: 1.03 1.01 1.00 2/108 25537
/proc/meminfo: memFree=1190092/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=589080 CPUtime=25.46
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 151335 0 0 0 2460 86 0 0 25 0 1 0 20529257 603217920 142866 1992294400 134512640 134902295 4290239280 18446744073709551615 134635537 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 147270 142866 262 96 0 146482 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 597780

[startup+51.1003 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 25537
/proc/meminfo: memFree=1063984/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=713576 CPUtime=51.04
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 181618 0 0 0 5006 98 0 0 25 0 1 0 20529257 730701824 173037 1992294400 134512640 134902295 4290239280 18446744073709551615 4160234107 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 178394 173037 269 96 0 177606 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 722276

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25539
/proc/meminfo: memFree=1054932/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=722412 CPUtime=102.22
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 183823 0 0 0 10120 102 0 0 25 0 1 0 20529257 739749888 175242 1992294400 134512640 134902295 4290239280 18446744073709551615 4160253093 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 180603 175242 269 96 0 179815 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 731112

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25541
/proc/meminfo: memFree=1048856/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=728492 CPUtime=162.19
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 185311 0 0 0 16113 106 0 0 25 0 1 0 20529257 745975808 176730 1992294400 134512640 134902295 4290239280 18446744073709551615 4160234180 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 182123 176730 269 96 0 181335 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 737192

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25543
/proc/meminfo: memFree=1043524/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=733900 CPUtime=222.16
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 186643 0 0 0 22107 109 0 0 25 0 1 0 20529257 751513600 178062 1992294400 134512640 134902295 4290239280 18446744073709551615 4160267476 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 183475 178062 269 96 0 182687 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 742600

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25543
/proc/meminfo: memFree=1035960/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=741604 CPUtime=282.13
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 188542 0 0 0 28101 112 0 0 25 0 1 0 20529257 759402496 179961 1992294400 134512640 134902295 4290239280 18446744073709551615 4160264538 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 185401 179961 269 96 0 184613 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 750304

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25545
/proc/meminfo: memFree=1026784/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=750744 CPUtime=342.11
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 190862 0 0 0 34097 114 0 0 25 0 1 0 20529257 768761856 182281 1992294400 134512640 134902295 4290239280 18446744073709551615 4160256241 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 187686 182281 269 96 0 186898 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 759444

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25547
/proc/meminfo: memFree=1020584/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=756988 CPUtime=402.09
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 192373 0 0 0 40092 117 0 0 25 0 1 0 20529257 775155712 183792 1992294400 134512640 134902295 4290239280 18446744073709551615 4160255709 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 189247 183792 269 96 0 188459 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 765688

[startup+462.301 s]

################
# More data... #
################

/proc/25536/statm: 205732 200110 269 96 0 204944 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 831628

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25569
/proc/meminfo: memFree=949036/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=828600 CPUtime=1241.72
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 210100 0 0 0 124015 157 0 0 25 0 1 0 20529257 848486400 201519 1992294400 134512640 134902295 4290239280 18446744073709551615 4160246251 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 207150 201519 269 96 0 206362 0
Current children cumulated CPU time (s) 1241.72
Current children cumulated vsize (KiB) 837300

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25571
/proc/meminfo: memFree=943952/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=833352 CPUtime=1301.71
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 211328 0 0 0 130011 160 0 0 25 0 1 0 20529257 853352448 202747 1992294400 134512640 134902295 4290239280 18446744073709551615 4160234239 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 208338 202747 269 96 0 207550 0
Current children cumulated CPU time (s) 1301.71
Current children cumulated vsize (KiB) 842052

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25573
/proc/meminfo: memFree=939860/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=837460 CPUtime=1361.67
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 212366 0 0 0 136004 163 0 0 25 0 1 0 20529257 857559040 203785 1992294400 134512640 134902295 4290239280 18446744073709551615 4160264318 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 209365 203785 269 96 0 208577 0
Current children cumulated CPU time (s) 1361.67
Current children cumulated vsize (KiB) 846160

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25575
/proc/meminfo: memFree=936388/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=840920 CPUtime=1421.66
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 213231 0 0 0 142000 166 0 0 25 0 1 0 20529257 861102080 204650 1992294400 134512640 134902295 4290239280 18446744073709551615 4160264318 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 210230 204650 269 96 0 209442 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 849620

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25575
/proc/meminfo: memFree=931304/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=845888 CPUtime=1481.62
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 214482 0 0 0 147994 168 0 0 25 0 1 0 20529257 866189312 205901 1992294400 134512640 134902295 4290239280 18446744073709551615 4160267187 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 211472 205901 269 96 0 210684 0
Current children cumulated CPU time (s) 1481.62
Current children cumulated vsize (KiB) 854588

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25577
/proc/meminfo: memFree=924608/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=852556 CPUtime=1541.59
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 216126 0 0 0 153989 170 0 0 25 0 1 0 20529257 873017344 207545 1992294400 134512640 134902295 4290239280 18446744073709551615 4160234142 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 213139 207545 269 96 0 212351 0
Current children cumulated CPU time (s) 1541.59
Current children cumulated vsize (KiB) 861256

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25579
/proc/meminfo: memFree=920516/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=856696 CPUtime=1601.57
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 217158 0 0 0 159985 172 0 0 25 0 1 0 20529257 877256704 208577 1992294400 134512640 134902295 4290239280 18446744073709551615 4160264318 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 214174 208577 269 96 0 213386 0
Current children cumulated CPU time (s) 1601.57
Current children cumulated vsize (KiB) 865396

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25581
/proc/meminfo: memFree=916920/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=860020 CPUtime=1661.54
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 218020 0 0 0 165980 174 0 0 25 0 1 0 20529257 880660480 209439 1992294400 134512640 134902295 4290239280 18446744073709551615 4160264310 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 215005 209439 269 96 0 214217 0
Current children cumulated CPU time (s) 1661.54
Current children cumulated vsize (KiB) 868720

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25592
/proc/meminfo: memFree=913324/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=863200 CPUtime=1721.51
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 218816 0 0 0 171974 177 0 0 25 0 1 0 20529257 883916800 210235 1992294400 134512640 134902295 4290239280 18446744073709551615 4160234119 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 215800 210235 269 96 0 215012 0
Current children cumulated CPU time (s) 1721.51
Current children cumulated vsize (KiB) 871900

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25592
/proc/meminfo: memFree=910472/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=865972 CPUtime=1781.49
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 219518 0 0 0 177969 180 0 0 25 0 1 0 20529257 886755328 210937 1992294400 134512640 134902295 4290239280 18446744073709551615 4160234152 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 216493 210937 269 96 0 215705 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (KiB) 874672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25594
/proc/meminfo: memFree=909604/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=866896 CPUtime=1800.08
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 219723 0 0 0 179828 180 0 0 25 0 1 0 20529257 887701504 211142 1992294400 134512640 134902295 4290239280 18446744073709551615 4160264318 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 216724 211142 269 96 0 215936 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 875596

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25594
/proc/meminfo: memFree=909604/2059040 swapFree=4139892/4192956
[pid=25534] ppid=25532 vsize=8700 CPUtime=0
/proc/25534/stat : 25534 (run) S 25532 25534 25133 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 20529257 8908800 251 1992294400 4194304 4922060 140734505920960 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25534/statm: 2175 251 211 178 0 68 0
[pid=25536] ppid=25534 vsize=866896 CPUtime=1800.08
/proc/25536/stat : 25536 (PBPASSolver) R 25534 25534 25133 0 -1 4202496 219723 0 0 0 179828 180 0 0 25 0 1 0 20529257 887701504 211142 1992294400 134512640 134902295 4290239280 18446744073709551615 4160264318 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/25536/statm: 216724 211142 269 96 0 215936 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 875596

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25534 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.003998
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.91
CPU time (s): 1800.08
CPU user time (s): 1798.28
CPU system time (s): 1.8
CPU usage (%): 99.9537
Max. virtual memory (cumulated for all children) (KiB): 875596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 524
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 4

runsolver used 3.58845 second user time and 7.97979 second system time

The end

Begin job on node031 at 2010-06-17 18:32:28
IDJOB=2673933
IDBENCH=1514
IDSOLVER=1174
FILE ID=node031/2673933-1276792348
PBS_JOBID= 11176624
Free space on /tmp= 62576 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673933-1276792348/watcher-2673933-1276792348 -o /tmp/evaluation-result-2673933-1276792348/solver-2673933-1276792348 -C 1800 -W 2000 -M 1800  run HOME/instance-2673933-1276792348.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 019e5a614038472d624f56ab4ecfb30e
RANDOM SEED=1040703576

node031.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.219
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.219
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1757680 kB
Buffers:         92624 kB
Cached:         115928 kB
SwapCached:       6008 kB
Active:          83380 kB
Inactive:       137972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1757680 kB
SwapTotal:     4192956 kB
SwapFree:      4139892 kB
Dirty:             756 kB
Writeback:           0 kB
AnonPages:       11036 kB
Mapped:          13020 kB
Slab:            57972 kB
PageTables:       4048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180232 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62576 MiB
End job on node031 at 2010-06-17 19:02:31