33.48/33.56	c 7936 288 0 0 0 0 0 0
33.48/33.56	c 8192 ~x1295541+4096 ~x1295540+2048 ~x1295539+1024 ~x1295538+512 ~x1295537+256 ~x1295536+128 ~x1295535+64 ~x1295534+32 ~x1295533+16 ~x1295532+8 ~x1295531+4 ~x1295530+2 ~x1295529+1 ~x1295528+11264 x7682+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=32766
33.58/33.65	c 16384 ~x1299258+8192 ~x1299257+4096 ~x1299256+2048 ~x1299255+1024 ~x1299254+512 ~x1299253+256 ~x1299252+128 ~x1299251+64 ~x1299250+32 ~x1299249+16 ~x1299248+8 ~x1299247+4 ~x1299246+2 ~x1299245+1 ~x1299244+22528 x7683+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=65534
33.68/33.76	c 1024 ~x1303546+512 ~x1303545+256 ~x1303544+128 ~x1303543+64 ~x1303542+32 ~x1303541+16 ~x1303540+8 ~x1303539+4 ~x1303538+2 ~x1303537+1 ~x1303536+1024 x7684+1024 ~x72+512 ~x71+256 ~x70+128 ~x69+64 ~x68+32 ~x67+16 ~x66+8 ~x65+4 ~x64+2 ~x63+1 ~x62-0=4094
33.77/33.81	c 2048 ~x1305660+1024 ~x1305659+512 ~x1305658+256 ~x1305657+128 ~x1305656+64 ~x1305655+32 ~x1305654+16 ~x1305653+8 ~x1305652+4 ~x1305651+2 ~x1305650+1 ~x1305649+2048 x7685+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=8190
33.77/33.88	c 8192 ~x1308010+4096 ~x1308009+2048 ~x1308008+1024 ~x1308007+512 ~x1308006+256 ~x1308005+128 ~x1308004+64 ~x1308003+32 ~x1308002+16 ~x1308001+8 ~x1308000+4 ~x1307999+2 ~x1307998+1 ~x1307997+9216 x7686+8192 ~x135+4096 ~x134+2048 ~x133+1024 ~x132+512 ~x131+256 ~x130+128 ~x129+64 ~x128+32 ~x127+16 ~x126+8 ~x125+4 ~x124+2 ~x123+1 ~x122-0=32766
33.88/33.97	c 8192 ~x1311726+4096 ~x1311725+2048 ~x1311724+1024 ~x1311723+512 ~x1311722+256 ~x1311721+128 ~x1311720+64 ~x1311719+32 ~x1311718+16 ~x1311717+8 ~x1311716+4 ~x1311715+2 ~x1311714+1 ~x1311713+9216 x7687+8192 ~x165+4096 ~x164+2048 ~x163+1024 ~x162+512 ~x161+256 ~x160+128 ~x159+64 ~x158+32 ~x157+16 ~x156+8 ~x155+4 ~x154+2 ~x153+1 ~x152-0=32766
33.98/34.06	c 8192 ~x1315442+4096 ~x1315441+2048 ~x1315440+1024 ~x1315439+512 ~x1315438+256 ~x1315437+128 ~x1315436+64 ~x1315435+32 ~x1315434+16 ~x1315433+8 ~x1315432+4 ~x1315431+2 ~x1315430+1 ~x1315429+8192 x7688+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=32766
34.08/34.16	c 8192 ~x1319158+4096 ~x1319157+2048 ~x1319156+1024 ~x1319155+512 ~x1319154+256 ~x1319153+128 ~x1319152+64 ~x1319151+32 ~x1319150+16 ~x1319149+8 ~x1319148+4 ~x1319147+2 ~x1319146+1 ~x1319145+9216 x7689+8192 ~x225+4096 ~x224+2048 ~x223+1024 ~x222+512 ~x221+256 ~x220+128 ~x219+64 ~x218+32 ~x217+16 ~x216+8 ~x215+4 ~x214+2 ~x213+1 ~x212-0=32766
34.17/34.25	c 8192 ~x1322874+4096 ~x1322873+2048 ~x1322872+1024 ~x1322871+512 ~x1322870+256 ~x1322869+128 ~x1322868+64 ~x1322867+32 ~x1322866+16 ~x1322865+8 ~x1322864+4 ~x1322863+2 ~x1322862+1 ~x1322861+9216 x7690+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242-0=32766
34.27/34.34	c 1024 ~x1326587+512 ~x1326586+256 ~x1326585+128 ~x1326584+64 ~x1326583+32 ~x1326582+16 ~x1326581+8 ~x1326580+4 ~x1326579+2 ~x1326578+1 ~x1326577+1024 x7691+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272-0=4094
34.37/34.40	c 8192 ~x1328703+4096 ~x1328702+2048 ~x1328701+1024 ~x1328700+512 ~x1328699+256 ~x1328698+128 ~x1328697+64 ~x1328696+32 ~x1328695+16 ~x1328694+8 ~x1328693+4 ~x1328692+2 ~x1328691+1 ~x1328690+9216 x7692+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302-0=32766
34.37/34.49	c 8192 ~x1332419+4096 ~x1332418+2048 ~x1332417+1024 ~x1332416+512 ~x1332415+256 ~x1332414+128 ~x1332413+64 ~x1332412+32 ~x1332411+16 ~x1332410+8 ~x1332409+4 ~x1332408+2 ~x1332407+1 ~x1332406+9216 x7693+8192 ~x345+4096 ~x344+2048 ~x343+1024 ~x342+512 ~x341+256 ~x340+128 ~x339+64 ~x338+32 ~x337+16 ~x336+8 ~x335+4 ~x334+2 ~x333+1 ~x332-0=32766
34.47/34.58	c 1024 ~x1336132+512 ~x1336131+256 ~x1336130+128 ~x1336129+64 ~x1336128+32 ~x1336127+16 ~x1336126+8 ~x1336125+4 ~x1336124+2 ~x1336123+1 ~x1336122+1024 x7694+1024 ~x372+512 ~x371+256 ~x370+128 ~x369+64 ~x368+32 ~x367+16 ~x366+8 ~x365+4 ~x364+2 ~x363+1 ~x362-0=4094
34.57/34.64	c 16384 ~x1338249+8192 ~x1338248+4096 ~x1338247+2048 ~x1338246+1024 ~x1338245+512 ~x1338244+256 ~x1338243+128 ~x1338242+64 ~x1338241+32 ~x1338240+16 ~x1338239+8 ~x1338238+4 ~x1338237+2 ~x1338236+1 ~x1338235+22528 x7695+16384 ~x406+8192 ~x405+4096 ~x404+2048 ~x403+1024 ~x402+512 ~x401+256 ~x400+128 ~x399+64 ~x398+32 ~x397+16 ~x396+8 ~x395+4 ~x394+2 ~x393+1 ~x392-0=65534
34.68/34.75	c 8192 ~x1342540+4096 ~x1342539+2048 ~x1342538+1024 ~x1342537+512 ~x1342536+256 ~x1342535+128 ~x1342534+64 ~x1342533+32 ~x1342532+16 ~x1342531+8 ~x1342530+4 ~x1342529+2 ~x1342528+1 ~x1342527+9216 x7696+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=32766
34.78/34.84	c 8192 ~x1346256+4096 ~x1346255+2048 ~x1346254+1024 ~x1346253+512 ~x1346252+256 ~x1346251+128 ~x1346250+64 ~x1346249+32 ~x1346248+16 ~x1346247+8 ~x1346246+4 ~x1346245+2 ~x1346244+1 ~x1346243+9216 x7697+8192 ~x465+4096 ~x464+2048 ~x463+1024 ~x462+512 ~x461+256 ~x460+128 ~x459+64 ~x458+32 ~x457+16 ~x456+8 ~x455+4 ~x454+2 ~x453+1 ~x452-0=32766
34.88/34.93	c 8192 ~x1349972+4096 ~x1349971+2048 ~x1349970+1024 ~x1349969+512 ~x1349968+256 ~x1349967+128 ~x1349966+64 ~x1349965+32 ~x1349964+16 ~x1349963+8 ~x1349962+4 ~x1349961+2 ~x1349960+1 ~x1349959+11264 x7698+8192 ~x495+4096 ~x494+2048 ~x493+1024 ~x492+512 ~x491+256 ~x490+128 ~x489+64 ~x488+32 ~x487+16 ~x486+8 ~x485+4 ~x484+2 ~x483+1 ~x482-0=32766
34.98/35.03	c 16384 ~x1353689+8192 ~x1353688+4096 ~x1353687+2048 ~x1353686+1024 ~x1353685+512 ~x1353684+256 ~x1353683+128 ~x1353682+64 ~x1353681+32 ~x1353680+16 ~x1353679+8 ~x1353678+4 ~x1353677+2 ~x1353676+1 ~x1353675+17408 x7699+16384 ~x526+8192 ~x525+4096 ~x524+2048 ~x523+1024 ~x522+512 ~x521+256 ~x520+128 ~x519+64 ~x518+32 ~x517+16 ~x516+8 ~x515+4 ~x514+2 ~x513+1 ~x512-0=65534
35.08/35.13	c 2048 ~x1357721+1024 ~x1357720+512 ~x1357719+256 ~x1357718+128 ~x1357717+64 ~x1357716+32 ~x1357715+16 ~x1357714+8 ~x1357713+4 ~x1357712+2 ~x1357711+1 ~x1357710+2048 x7700+2048 ~x553+1024 ~x552+512 ~x551+256 ~x550+128 ~x549+64 ~x548+32 ~x547+16 ~x546+8 ~x545+4 ~x544+2 ~x543+1 ~x542-0=8190
35.08/35.19	c 16384 ~x1360072+8192 ~x1360071+4096 ~x1360070+2048 ~x1360069+1024 ~x1360068+512 ~x1360067+256 ~x1360066+128 ~x1360065+64 ~x1360064+32 ~x1360063+16 ~x1360062+8 ~x1360061+4 ~x1360060+2 ~x1360059+1 ~x1360058+17408 x7701+16384 ~x586+8192 ~x585+4096 ~x584+2048 ~x583+1024 ~x582+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572-0=65534
35.18/35.29	c 2048 ~x1364104+1024 ~x1364103+512 ~x1364102+256 ~x1364101+128 ~x1364100+64 ~x1364099+32 ~x1364098+16 ~x1364097+8 ~x1364096+4 ~x1364095+2 ~x1364094+1 ~x1364093+2048 x7702+2048 ~x613+1024 ~x612+512 ~x611+256 ~x610+128 ~x609+64 ~x608+32 ~x607+16 ~x606+8 ~x605+4 ~x604+2 ~x603+1 ~x602-0=8190
35.27/35.35	c 16384 ~x1366455+8192 ~x1366454+4096 ~x1366453+2048 ~x1366452+1024 ~x1366451+512 ~x1366450+256 ~x1366449+128 ~x1366448+64 ~x1366447+32 ~x1366446+16 ~x1366445+8 ~x1366444+4 ~x1366443+2 ~x1366442+1 ~x1366441+17408 x7703+16384 ~x646+8192 ~x645+4096 ~x644+2048 ~x643+1024 ~x642+512 ~x641+256 ~x640+128 ~x639+64 ~x638+32 ~x637+16 ~x636+8 ~x635+4 ~x634+2 ~x633+1 ~x632-0=65534
35.38/35.45	c 16384 ~x1370490+8192 ~x1370489+4096 ~x1370488+2048 ~x1370487+1024 ~x1370486+512 ~x1370485+256 ~x1370484+128 ~x1370483+64 ~x1370482+32 ~x1370481+16 ~x1370480+8 ~x1370479+4 ~x1370478+2 ~x1370477+1 ~x1370476+17408 x7704+16384 ~x676+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662-0=65534
35.48/35.56	c 8192 ~x1374524+4096 ~x1374523+2048 ~x1374522+1024 ~x1374521+512 ~x1374520+256 ~x1374519+128 ~x1374518+64 ~x1374517+32 ~x1374516+16 ~x1374515+8 ~x1374514+4 ~x1374513+2 ~x1374512+1 ~x1374511+8192 x7705+8192 ~x705+4096 ~x704+2048 ~x703+1024 ~x702+512 ~x701+256 ~x700+128 ~x699+64 ~x698+32 ~x697+16 ~x696+8 ~x695+4 ~x694+2 ~x693+1 ~x692-0=32766
35.58/35.65	c 16384 ~x1378241+8192 ~x1378240+4096 ~x1378239+2048 ~x1378238+1024 ~x1378237+512 ~x1378236+256 ~x1378235+128 ~x1378234+64 ~x1378233+32 ~x1378232+16 ~x1378231+8 ~x1378230+4 ~x1378229+2 ~x1378228+1 ~x1378227+17408 x7706+16384 ~x736+8192 ~x735+4096 ~x734+2048 ~x733+1024 ~x732+512 ~x731+256 ~x730+128 ~x729+64 ~x728+32 ~x727+16 ~x726+8 ~x725+4 ~x724+2 ~x723+1 ~x722-0=65534
35.67/35.75	c 8192 ~x1382275+4096 ~x1382274+2048 ~x1382273+1024 ~x1382272+512 ~x1382271+256 ~x1382270+128 ~x1382269+64 ~x1382268+32 ~x1382267+16 ~x1382266+8 ~x1382265+4 ~x1382264+2 ~x1382263+1 ~x1382262+9216 x7707+8192 ~x765+4096 ~x764+2048 ~x763+1024 ~x762+512 ~x761+256 ~x760+128 ~x759+64 ~x758+32 ~x757+16 ~x756+8 ~x755+4 ~x754+2 ~x753+1 ~x752-0=32766
35.77/35.84	c 16384 ~x1385992+8192 ~x1385991+4096 ~x1385990+2048 ~x1385989+1024 ~x1385988+512 ~x1385987+256 ~x1385986+128 ~x1385985+64 ~x1385984+32 ~x1385983+16 ~x1385982+8 ~x1385981+4 ~x1385980+2 ~x1385979+1 ~x1385978+16384 x7708+16384 ~x796+8192 ~x795+4096 ~x794+2048 ~x793+1024 ~x792+512 ~x791+256 ~x790+128 ~x789+64 ~x788+32 ~x787+16 ~x786+8 ~x785+4 ~x784+2 ~x783+1 ~x782-0=65534
35.88/35.95	c 1024 ~x1390023+512 ~x1390022+256 ~x1390021+128 ~x1390020+64 ~x1390019+32 ~x1390018+16 ~x1390017+8 ~x1390016+4 ~x1390015+2 ~x1390014+1 ~x1390013+1024 x7709+1024 ~x822+512 ~x821+256 ~x820+128 ~x819+64 ~x818+32 ~x817+16 ~x816+8 ~x815+4 ~x814+2 ~x813+1 ~x812-0=4094
35.98/36.00	c 16384 ~x1392140+8192 ~x1392139+4096 ~x1392138+2048 ~x1392137+1024 ~x1392136+512 ~x1392135+256 ~x1392134+128 ~x1392133+64 ~x1392132+32 ~x1392131+16 ~x1392130+8 ~x1392129+4 ~x1392128+2 ~x1392127+1 ~x1392126+17408 x7710+16384 ~x856+8192 ~x855+4096 ~x854+2048 ~x853+1024 ~x852+512 ~x851+256 ~x850+128 ~x849+64 ~x848+32 ~x847+16 ~x846+8 ~x845+4 ~x844+2 ~x843+1 ~x842-0=65534
36.08/36.10	c 16384 ~x1396175+8192 ~x1396174+4096 ~x1396173+2048 ~x1396172+1024 ~x1396171+512 ~x1396170+256 ~x1396169+128 ~x1396168+64 ~x1396167+32 ~x1396166+16 ~x1396165+8 ~x1396164+4 ~x1396163+2 ~x1396162+1 ~x1396161+17408 x7711+16384 ~x886+8192 ~x885+4096 ~x884+2048 ~x883+1024 ~x882+512 ~x881+256 ~x880+128 ~x879+64 ~x878+32 ~x877+16 ~x876+8 ~x875+4 ~x874+2 ~x873+1 ~x872-0=65534
36.18/36.20	c 1024 ~x1400206+512 ~x1400205+256 ~x1400204+128 ~x1400203+64 ~x1400202+32 ~x1400201+16 ~x1400200+8 ~x1400199+4 ~x1400198+2 ~x1400197+1 ~x1400196+1024 x7712+1024 ~x912+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902-0=4094
36.18/36.26	c 16384 ~x1402323+8192 ~x1402322+4096 ~x1402321+2048 ~x1402320+1024 ~x1402319+512 ~x1402318+256 ~x1402317+128 ~x1402316+64 ~x1402315+32 ~x1402314+16 ~x1402313+8 ~x1402312+4 ~x1402311+2 ~x1402310+1 ~x1402309+17408 x7713+16384 ~x946+8192 ~x945+4096 ~x944+2048 ~x943+1024 ~x942+512 ~x941+256 ~x940+128 ~x939+64 ~x938+32 ~x937+16 ~x936+8 ~x935+4 ~x934+2 ~x933+1 ~x932-0=65534
36.28/36.36	c 16384 ~x1406358+8192 ~x1406357+4096 ~x1406356+2048 ~x1406355+1024 ~x1406354+512 ~x1406353+256 ~x1406352+128 ~x1406351+64 ~x1406350+32 ~x1406349+16 ~x1406348+8 ~x1406347+4 ~x1406346+2 ~x1406345+1 ~x1406344+17408 x7714+16384 ~x976+8192 ~x975+4096 ~x974+2048 ~x973+1024 ~x972+512 ~x971+256 ~x970+128 ~x969+64 ~x968+32 ~x967+16 ~x966+8 ~x965+4 ~x964+2 ~x963+1 ~x962-0=65534
36.37/36.46	c 8192 ~x1410392+4096 ~x1410391+2048 ~x1410390+1024 ~x1410389+512 ~x1410388+256 ~x1410387+128 ~x1410386+64 ~x1410385+32 ~x1410384+16 ~x1410383+8 ~x1410382+4 ~x1410381+2 ~x1410380+1 ~x1410379+11264 x7715+8192 ~x1005+4096 ~x1004+2048 ~x1003+1024 ~x1002+512 ~x1001+256 ~x1000+128 ~x999+64 ~x998+32 ~x997+16 ~x996+8 ~x995+4 ~x994+2 ~x993+1 ~x992-0=32766
36.47/36.56	c 8192 ~x1414108+4096 ~x1414107+2048 ~x1414106+1024 ~x1414105+512 ~x1414104+256 ~x1414103+128 ~x1414102+64 ~x1414101+32 ~x1414100+16 ~x1414099+8 ~x1414098+4 ~x1414097+2 ~x1414096+1 ~x1414095+15360 x7716+8192 ~x1035+4096 ~x1034+2048 ~x1033+1024 ~x1032+512 ~x1031+256 ~x1030+128 ~x1029+64 ~x1028+32 ~x1027+16 ~x1026+8 ~x1025+4 ~x1024+2 ~x1023+1 ~x1022-0=32766
36.58/36.65	c 1024 ~x1417821+512 ~x1417820+256 ~x1417819+128 ~x1417818+64 ~x1417817+32 ~x1417816+16 ~x1417815+8 ~x1417814+4 ~x1417813+2 ~x1417812+1 ~x1417811+1024 x7717+1024 ~x1062+512 ~x1061+256 ~x1060+128 ~x1059+64 ~x1058+32 ~x1057+16 ~x1056+8 ~x1055+4 ~x1054+2 ~x1053+1 ~x1052-0=4094
36.68/36.70	c 2048 ~x1419935+1024 ~x1419934+512 ~x1419933+256 ~x1419932+128 ~x1419931+64 ~x1419930+32 ~x1419929+16 ~x1419928+8 ~x1419927+4 ~x1419926+2 ~x1419925+1 ~x1419924+2048 x7718+2048 ~x1093+1024 ~x1092+512 ~x1091+256 ~x1090+128 ~x1089+64 ~x1088+32 ~x1087+16 ~x1086+8 ~x1085+4 ~x1084+2 ~x1083+1 ~x1082-0=8190
36.68/36.77	c 8192 ~x1422285+4096 ~x1422284+2048 ~x1422283+1024 ~x1422282+512 ~x1422281+256 ~x1422280+128 ~x1422279+64 ~x1422278+32 ~x1422277+16 ~x1422276+8 ~x1422275+4 ~x1422274+2 ~x1422273+1 ~x1422272+15360 x7719+8192 ~x1125+4096 ~x1124+2048 ~x1123+1024 ~x1122+512 ~x1121+256 ~x1120+128 ~x1119+64 ~x1118+32 ~x1117+16 ~x1116+8 ~x1115+4 ~x1114+2 ~x1113+1 ~x1112-0=32766
36.77/36.86	c 2048 ~x1425999+1024 ~x1425998+512 ~x1425997+256 ~x1425996+128 ~x1425995+64 ~x1425994+32 ~x1425993+16 ~x1425992+8 ~x1425991+4 ~x1425990+2 ~x1425989+1 ~x1425988+2048 x7720+2048 ~x1153+1024 ~x1152+512 ~x1151+256 ~x1150+128 ~x1149+64 ~x1148+32 ~x1147+16 ~x1146+8 ~x1145+4 ~x1144+2 ~x1143+1 ~x1142-0=8190
36.87/36.92	c 8192 ~x1428349+4096 ~x1428348+2048 ~x1428347+1024 ~x1428346+512 ~x1428345+256 ~x1428344+128 ~x1428343+64 ~x1428342+32 ~x1428341+16 ~x1428340+8 ~x1428339+4 ~x1428338+2 ~x1428337+1 ~x1428336+15360 x7721+8192 ~x1185+4096 ~x1184+2048 ~x1183+1024 ~x1182+512 ~x1181+256 ~x1180+128 ~x1179+64 ~x1178+32 ~x1177+16 ~x1176+8 ~x1175+4 ~x1174+2 ~x1173+1 ~x1172-0=32766
36.97/37.01	c 8192 ~x1432065+4096 ~x1432064+2048 ~x1432063+1024 ~x1432062+512 ~x1432061+256 ~x1432060+128 ~x1432059+64 ~x1432058+32 ~x1432057+16 ~x1432056+8 ~x1432055+4 ~x1432054+2 ~x1432053+1 ~x1432052+15360 x7722+8192 ~x1215+4096 ~x1214+2048 ~x1213+1024 ~x1212+512 ~x1211+256 ~x1210+128 ~x1209+64 ~x1208+32 ~x1207+16 ~x1206+8 ~x1205+4 ~x1204+2 ~x1203+1 ~x1202-0=32766
37.08/37.11	c 8192 ~x1435781+4096 ~x1435780+2048 ~x1435779+1024 ~x1435778+512 ~x1435777+256 ~x1435776+128 ~x1435775+64 ~x1435774+32 ~x1435773+16 ~x1435772+8 ~x1435771+4 ~x1435770+2 ~x1435769+1 ~x1435768+8192 x7723+8192 ~x1245+4096 ~x1244+2048 ~x1243+1024 ~x1242+512 ~x1241+256 ~x1240+128 ~x1239+64 ~x1238+32 ~x1237+16 ~x1236+8 ~x1235+4 ~x1234+2 ~x1233+1 ~x1232-0=32766
37.18/37.20	c 8192 ~x1439497+4096 ~x1439496+2048 ~x1439495+1024 ~x1439494+512 ~x1439493+256 ~x1439492+128 ~x1439491+64 ~x1439490+32 ~x1439489+16 ~x1439488+8 ~x1439487+4 ~x1439486+2 ~x1439485+1 ~x1439484+9216 x7724+8192 ~x1275+4096 ~x1274+2048 ~x1273+1024 ~x1272+512 ~x1271+256 ~x1270+128 ~x1269+64 ~x1268+32 ~x1267+16 ~x1266+8 ~x1265+4 ~x1264+2 ~x1263+1 ~x1262-0=32766
37.18/37.29	c 8192 ~x1443213+4096 ~x1443212+2048 ~x1443211+1024 ~x1443210+512 ~x1443209+256 ~x1443208+128 ~x1443207+64 ~x1443206+32 ~x1443205+16 ~x1443204+8 ~x1443203+4 ~x1443202+2 ~x1443201+1 ~x1443200+15360 x7725+8192 ~x1305+4096 ~x1304+2048 ~x1303+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292-0=32766
37.28/37.39	c 1024 ~x1446926+512 ~x1446925+256 ~x1446924+128 ~x1446923+64 ~x1446922+32 ~x1446921+16 ~x1446920+8 ~x1446919+4 ~x1446918+2 ~x1446917+1 ~x1446916+1024 x7726+1024 ~x1332+512 ~x1331+256 ~x1330+128 ~x1329+64 ~x1328+32 ~x1327+16 ~x1326+8 ~x1325+4 ~x1324+2 ~x1323+1 ~x1322-0=4094
37.38/37.44	c 8192 ~x1449042+4096 ~x1449041+2048 ~x1449040+1024 ~x1449039+512 ~x1449038+256 ~x1449037+128 ~x1449036+64 ~x1449035+32 ~x1449034+16 ~x1449033+8 ~x1449032+4 ~x1449031+2 ~x1449030+1 ~x1449029+15360 x7727+8192 ~x1365+4096 ~x1364+2048 ~x1363+1024 ~x1362+512 ~x1361+256 ~x1360+128 ~x1359+64 ~x1358+32 ~x1357+16 ~x1356+8 ~x1355+4 ~x1354+2 ~x1353+1 ~x1352-0=32766
37.47/37.54	c 16384 ~x1452759+8192 ~x1452758+4096 ~x1452757+2048 ~x1452756+1024 ~x1452755+512 ~x1452754+256 ~x1452753+128 ~x1452752+64 ~x1452751+32 ~x1452750+16 ~x1452749+8 ~x1452748+4 ~x1452747+2 ~x1452746+1 ~x1452745+22528 x7728+16384 ~x1396+8192 ~x1395+4096 ~x1394+2048 ~x1393+1024 ~x1392+512 ~x1391+256 ~x1390+128 ~x1389+64 ~x1388+32 ~x1387+16 ~x1386+8 ~x1385+4 ~x1384+2 ~x1383+1 ~x1382-0=65534
37.57/37.64	c 8192 ~x1457050+4096 ~x1457049+2048 ~x1457048+1024 ~x1457047+512 ~x1457046+256 ~x1457045+128 ~x1457044+64 ~x1457043+32 ~x1457042+16 ~x1457041+8 ~x1457040+4 ~x1457039+2 ~x1457038+1 ~x1457037+15360 x7729+8192 ~x1425+4096 ~x1424+2048 ~x1423+1024 ~x1422+512 ~x1421+256 ~x1420+128 ~x1419+64 ~x1418+32 ~x1417+16 ~x1416+8 ~x1415+4 ~x1414+2 ~x1413+1 ~x1412-0=32766
37.67/37.74	c 1024 ~x1460763+512 ~x1460762+256 ~x1460761+128 ~x1460760+64 ~x1460759+32 ~x1460758+16 ~x1460757+8 ~x1460756+4 ~x1460755+2 ~x1460754+1 ~x1460753+1024 x7730+1024 ~x1452+512 ~x1451+256 ~x1450+128 ~x1449+64 ~x1448+32 ~x1447+16 ~x1446+8 ~x1445+4 ~x1444+2 ~x1443+1 ~x1442-0=4094
37.67/37.79	c 8192 ~x1462879+4096 ~x1462878+2048 ~x1462877+1024 ~x1462876+512 ~x1462875+256 ~x1462874+128 ~x1462873+64 ~x1462872+32 ~x1462871+16 ~x1462870+8 ~x1462869+4 ~x1462868+2 ~x1462867+1 ~x1462866+15360 x7731+8192 ~x1485+4096 ~x1484+2048 ~x1483+1024 ~x1482+512 ~x1481+256 ~x1480+128 ~x1479+64 ~x1478+32 ~x1477+16 ~x1476+8 ~x1475+4 ~x1474+2 ~x1473+1 ~x1472-0=32766
37.78/37.89	c 8192 ~x1466595+4096 ~x1466594+2048 ~x1466593+1024 ~x1466592+512 ~x1466591+256 ~x1466590+128 ~x1466589+64 ~x1466588+32 ~x1466587+16 ~x1466586+8 ~x1466585+4 ~x1466584+2 ~x1466583+1 ~x1466582+15360 x7732+8192 ~x1515+4096 ~x1514+2048 ~x1513+1024 ~x1512+512 ~x1511+256 ~x1510+128 ~x1509+64 ~x1508+32 ~x1507+16 ~x1506+8 ~x1505+4 ~x1504+2 ~x1503+1 ~x1502-0=32766
37.87/37.98	c 8192 ~x1470311+4096 ~x1470310+2048 ~x1470309+1024 ~x1470308+512 ~x1470307+256 ~x1470306+128 ~x1470305+64 ~x1470304+32 ~x1470303+16 ~x1470302+8 ~x1470301+4 ~x1470300+2 ~x1470299+1 ~x1470298+11264 x7733+8192 ~x1545+4096 ~x1544+2048 ~x1543+1024 ~x1542+512 ~x1541+256 ~x1540+128 ~x1539+64 ~x1538+32 ~x1537+16 ~x1536+8 ~x1535+4 ~x1534+2 ~x1533+1 ~x1532-0=32766
37.97/38.07	c 16384 ~x1474028+8192 ~x1474027+4096 ~x1474026+2048 ~x1474025+1024 ~x1474024+512 ~x1474023+256 ~x1474022+128 ~x1474021+64 ~x1474020+32 ~x1474019+16 ~x1474018+8 ~x1474017+4 ~x1474016+2 ~x1474015+1 ~x1474014+18432 x7734+16384 ~x1576+8192 ~x1575+4096 ~x1574+2048 ~x1573+1024 ~x1572+512 ~x1571+256 ~x1570+128 ~x1569+64 ~x1568+32 ~x1567+16 ~x1566+8 ~x1565+4 ~x1564+2 ~x1563+1 ~x1562-0=65534
38.07/38.17	c 2048 ~x1478060+1024 ~x1478059+512 ~x1478058+256 ~x1478057+128 ~x1478056+64 ~x1478055+32 ~x1478054+16 ~x1478053+8 ~x1478052+4 ~x1478051+2 ~x1478050+1 ~x1478049+2048 x7735+2048 ~x1603+1024 ~x1602+512 ~x1601+256 ~x1600+128 ~x1599+64 ~x1598+32 ~x1597+16 ~x1596+8 ~x1595+4 ~x1594+2 ~x1593+1 ~x1592-0=8190
38.18/38.24	c 16384 ~x1480411+8192 ~x1480410+4096 ~x1480409+2048 ~x1480408+1024 ~x1480407+512 ~x1480406+256 ~x1480405+128 ~x1480404+64 ~x1480403+32 ~x1480402+16 ~x1480401+8 ~x1480400+4 ~x1480399+2 ~x1480398+1 ~x1480397+18432 x7736+16384 ~x1636+8192 ~x1635+4096 ~x1634+2048 ~x1633+1024 ~x1632+512 ~x1631+256 ~x1630+128 ~x1629+64 ~x1628+32 ~x1627+16 ~x1626+8 ~x1625+4 ~x1624+2 ~x1623+1 ~x1622-0=65534
38.28/38.34	c 2048 ~x1484443+1024 ~x1484442+512 ~x1484441+256 ~x1484440+128 ~x1484439+64 ~x1484438+32 ~x1484437+16 ~x1484436+8 ~x1484435+4 ~x1484434+2 ~x1484433+1 ~x1484432+2048 x7737+2048 ~x1663+1024 ~x1662+512 ~x1661+256 ~x1660+128 ~x1659+64 ~x1658+32 ~x1657+16 ~x1656+8 ~x1655+4 ~x1654+2 ~x1653+1 ~x1652-0=8190
38.38/38.40	c 16384 ~x1486794+8192 ~x1486793+4096 ~x1486792+2048 ~x1486791+1024 ~x1486790+512 ~x1486789+256 ~x1486788+128 ~x1486787+64 ~x1486786+32 ~x1486785+16 ~x1486784+8 ~x1486783+4 ~x1486782+2 ~x1486781+1 ~x1486780+18432 x7738+16384 ~x1696+8192 ~x1695+4096 ~x1694+2048 ~x1693+1024 ~x1692+512 ~x1691+256 ~x1690+128 ~x1689+64 ~x1688+32 ~x1687+16 ~x1686+8 ~x1685+4 ~x1684+2 ~x1683+1 ~x1682-0=65534
38.38/38.50	c 16384 ~x1490829+8192 ~x1490828+4096 ~x1490827+2048 ~x1490826+1024 ~x1490825+512 ~x1490824+256 ~x1490823+128 ~x1490822+64 ~x1490821+32 ~x1490820+16 ~x1490819+8 ~x1490818+4 ~x1490817+2 ~x1490816+1 ~x1490815+17408 x7739+16384 ~x1726+8192 ~x1725+4096 ~x1724+2048 ~x1723+1024 ~x1722+512 ~x1721+256 ~x1720+128 ~x1719+64 ~x1718+32 ~x1717+16 ~x1716+8 ~x1715+4 ~x1714+2 ~x1713+1 ~x1712-0=65534
38.57/38.60	c 16384 ~x1494864+8192 ~x1494863+4096 ~x1494862+2048 ~x1494861+1024 ~x1494860+512 ~x1494859+256 ~x1494858+128 ~x1494857+64 ~x1494856+32 ~x1494855+16 ~x1494854+8 ~x1494853+4 ~x1494852+2 ~x1494851+1 ~x1494850+18432 x7740+16384 ~x1756+8192 ~x1755+4096 ~x1754+2048 ~x1753+1024 ~x1752+512 ~x1751+256 ~x1750+128 ~x1749+64 ~x1748+32 ~x1747+16 ~x1746+8 ~x1745+4 ~x1744+2 ~x1743+1 ~x1742-0=65534
38.68/38.70	c 8192 ~x1498898+4096 ~x1498897+2048 ~x1498896+1024 ~x1498895+512 ~x1498894+256 ~x1498893+128 ~x1498892+64 ~x1498891+32 ~x1498890+16 ~x1498889+8 ~x1498888+4 ~x1498887+2 ~x1498886+1 ~x1498885+8192 x7741+8192 ~x1785+4096 ~x1784+2048 ~x1783+1024 ~x1782+512 ~x1781+256 ~x1780+128 ~x1779+64 ~x1778+32 ~x1777+16 ~x1776+8 ~x1775+4 ~x1774+2 ~x1773+1 ~x1772-0=32766
38.78/38.80	c 8192 ~x1502614+4096 ~x1502613+2048 ~x1502612+1024 ~x1502611+512 ~x1502610+256 ~x1502609+128 ~x1502608+64 ~x1502607+32 ~x1502606+16 ~x1502605+8 ~x1502604+4 ~x1502603+2 ~x1502602+1 ~x1502601+9216 x7742+8192 ~x1815+4096 ~x1814+2048 ~x1813+1024 ~x1812+512 ~x1811+256 ~x1810+128 ~x1809+64 ~x1808+32 ~x1807+16 ~x1806+8 ~x1805+4 ~x1804+2 ~x1803+1 ~x1802-0=32766
38.78/38.89	c 16384 ~x1506331+8192 ~x1506330+4096 ~x1506329+2048 ~x1506328+1024 ~x1506327+512 ~x1506326+256 ~x1506325+128 ~x1506324+64 ~x1506323+32 ~x1506322+16 ~x1506321+8 ~x1506320+4 ~x1506319+2 ~x1506318+1 ~x1506317+16384 x7743+16384 ~x1846+8192 ~x1845+4096 ~x1844+2048 ~x1843+1024 ~x1842+512 ~x1841+256 ~x1840+128 ~x1839+64 ~x1838+32 ~x1837+16 ~x1836+8 ~x1835+4 ~x1834+2 ~x1833+1 ~x1832-0=65534
38.88/38.99	c 1024 ~x1510362+512 ~x1510361+256 ~x1510360+128 ~x1510359+64 ~x1510358+32 ~x1510357+16 ~x1510356+8 ~x1510355+4 ~x1510354+2 ~x1510353+1 ~x1510352+1024 x7744+1024 ~x1872+512 ~x1871+256 ~x1870+128 ~x1869+64 ~x1868+32 ~x1867+16 ~x1866+8 ~x1865+4 ~x1864+2 ~x1863+1 ~x1862-0=4094
38.97/39.05	c 16384 ~x1512479+8192 ~x1512478+4096 ~x1512477+2048 ~x1512476+1024 ~x1512475+512 ~x1512474+256 ~x1512473+128 ~x1512472+64 ~x1512471+32 ~x1512470+16 ~x1512469+8 ~x1512468+4 ~x1512467+2 ~x1512466+1 ~x1512465+18432 x7745+16384 ~x1906+8192 ~x1905+4096 ~x1904+2048 ~x1903+1024 ~x1902+512 ~x1901+256 ~x1900+128 ~x1899+64 ~x1898+32 ~x1897+16 ~x1896+8 ~x1895+4 ~x1894+2 ~x1893+1 ~x1892-0=65534
39.07/39.15	c 16384 ~x1516514+8192 ~x1516513+4096 ~x1516512+2048 ~x1516511+1024 ~x1516510+512 ~x1516509+256 ~x1516508+128 ~x1516507+64 ~x1516506+32 ~x1516505+16 ~x1516504+8 ~x1516503+4 ~x1516502+2 ~x1516501+1 ~x1516500+17408 x7746+16384 ~x1936+8192 ~x1935+4096 ~x1934+2048 ~x1933+1024 ~x1932+512 ~x1931+256 ~x1930+128 ~x1929+64 ~x1928+32 ~x1927+16 ~x1926+8 ~x1925+4 ~x1924+2 ~x1923+1 ~x1922-0=65534
39.17/39.25	c 1024 ~x1520545+512 ~x1520544+256 ~x1520543+128 ~x1520542+64 ~x1520541+32 ~x1520540+16 ~x1520539+8 ~x1520538+4 ~x1520537+2 ~x1520536+1 ~x1520535+1024 x7747+1024 ~x1962+512 ~x1961+256 ~x1960+128 ~x1959+64 ~x1958+32 ~x1957+16 ~x1956+8 ~x1955+4 ~x1954+2 ~x1953+1 ~x1952-0=4094
39.28/39.31	c 16384 ~x1522662+8192 ~x1522661+4096 ~x1522660+2048 ~x1522659+1024 ~x1522658+512 ~x1522657+256 ~x1522656+128 ~x1522655+64 ~x1522654+32 ~x1522653+16 ~x1522652+8 ~x1522651+4 ~x1522650+2 ~x1522649+1 ~x1522648+18432 x7748+16384 ~x1996+8192 ~x1995+4096 ~x1994+2048 ~x1993+1024 ~x1992+512 ~x1991+256 ~x1990+128 ~x1989+64 ~x1988+32 ~x1987+16 ~x1986+8 ~x1985+4 ~x1984+2 ~x1983+1 ~x1982-0=65534
39.37/39.41	c 16384 ~x1526697+8192 ~x1526696+4096 ~x1526695+2048 ~x1526694+1024 ~x1526693+512 ~x1526692+256 ~x1526691+128 ~x1526690+64 ~x1526689+32 ~x1526688+16 ~x1526687+8 ~x1526686+4 ~x1526685+2 ~x1526684+1 ~x1526683+17408 x7749+16384 ~x2026+8192 ~x2025+4096 ~x2024+2048 ~x2023+1024 ~x2022+512 ~x2021+256 ~x2020+128 ~x2019+64 ~x2018+32 ~x2017+16 ~x2016+8 ~x2015+4 ~x2014+2 ~x2013+1 ~x2012-0=65534
39.48/39.51	c 8192 ~x1530731+4096 ~x1530730+2048 ~x1530729+1024 ~x1530728+512 ~x1530727+256 ~x1530726+128 ~x1530725+64 ~x1530724+32 ~x1530723+16 ~x1530722+8 ~x1530721+4 ~x1530720+2 ~x1530719+1 ~x1530718+11264 x7750+8192 ~x2055+4096 ~x2054+2048 ~x2053+1024 ~x2052+512 ~x2051+256 ~x2050+128 ~x2049+64 ~x2048+32 ~x2047+16 ~x2046+8 ~x2045+4 ~x2044+2 ~x2043+1 ~x2042-0=32766
39.48/39.60	c 8192 ~x1534447+4096 ~x1534446+2048 ~x1534445+1024 ~x1534444+512 ~x1534443+256 ~x1534442+128 ~x1534441+64 ~x1534440+32 ~x1534439+16 ~x1534438+8 ~x1534437+4 ~x1534436+2 ~x1534435+1 ~x1534434+11264 x7751+8192 ~x2085+4096 ~x2084+2048 ~x2083+1024 ~x2082+512 ~x2081+256 ~x2080+128 ~x2079+64 ~x2078+32 ~x2077+16 ~x2076+8 ~x2075+4 ~x2074+2 ~x2073+1 ~x2072-0=32766
39.67/39.70	c 16384 ~x1538164+8192 ~x1538163+4096 ~x1538162+2048 ~x1538161+1024 ~x1538160+512 ~x1538159+256 ~x1538158+128 ~x1538157+64 ~x1538156+32 ~x1538155+16 ~x1538154+8 ~x1538153+4 ~x1538152+2 ~x1538151+1 ~x1538150+19456 x7752+16384 ~x2116+8192 ~x2115+4096 ~x2114+2048 ~x2113+1024 ~x2112+512 ~x2111+256 ~x2110+128 ~x2109+64 ~x2108+32 ~x2107+16 ~x2106+8 ~x2105+4 ~x2104+2 ~x2103+1 ~x2102-0=65534
39.77/39.80	c 2048 ~x1542196+1024 ~x1542195+512 ~x1542194+256 ~x1542193+128 ~x1542192+64 ~x1542191+32 ~x1542190+16 ~x1542189+8 ~x1542188+4 ~x1542187+2 ~x1542186+1 ~x1542185+2048 x7753+2048 ~x2143+1024 ~x2142+512 ~x2141+256 ~x2140+128 ~x2139+64 ~x2138+32 ~x2137+16 ~x2136+8 ~x2135+4 ~x2134+2 ~x2133+1 ~x2132-0=8190
39.77/39.86	c 16384 ~x1544547+8192 ~x1544546+4096 ~x1544545+2048 ~x1544544+1024 ~x1544543+512 ~x1544542+256 ~x1544541+128 ~x1544540+64 ~x1544539+32 ~x1544538+16 ~x1544537+8 ~x1544536+4 ~x1544535+2 ~x1544534+1 ~x1544533+19456 x7754+16384 ~x2176+8192 ~x2175+4096 ~x2174+2048 ~x2173+1024 ~x2172+512 ~x2171+256 ~x2170+128 ~x2169+64 ~x2168+32 ~x2167+16 ~x2166+8 ~x2165+4 ~x2164+2 ~x2163+1 ~x2162-0=65534
39.88/39.96	c 2048 ~x1548579+1024 ~x1548578+512 ~x1548577+256 ~x1548576+128 ~x1548575+64 ~x1548574+32 ~x1548573+16 ~x1548572+8 ~x1548571+4 ~x1548570+2 ~x1548569+1 ~x1548568+2048 x7755+2048 ~x2203+1024 ~x2202+512 ~x2201+256 ~x2200+128 ~x2199+64 ~x2198+32 ~x2197+16 ~x2196+8 ~x2195+4 ~x2194+2 ~x2193+1 ~x2192-0=8190
39.98/40.02	c 16384 ~x1550930+8192 ~x1550929+4096 ~x1550928+2048 ~x1550927+1024 ~x1550926+512 ~x1550925+256 ~x1550924+128 ~x1550923+64 ~x1550922+32 ~x1550921+16 ~x1550920+8 ~x1550919+4 ~x1550918+2 ~x1550917+1 ~x1550916+19456 x7756+16384 ~x2236+8192 ~x2235+4096 ~x2234+2048 ~x2233+1024 ~x2232+512 ~x2231+256 ~x2230+128 ~x2229+64 ~x2228+32 ~x2227+16 ~x2226+8 ~x2225+4 ~x2224+2 ~x2223+1 ~x2222-0=65534
40.08/40.12	c 16384 ~x1554965+8192 ~x1554964+4096 ~x1554963+2048 ~x1554962+1024 ~x1554961+512 ~x1554960+256 ~x1554959+128 ~x1554958+64 ~x1554957+32 ~x1554956+16 ~x1554955+8 ~x1554954+4 ~x1554953+2 ~x1554952+1 ~x1554951+19456 x7757+16384 ~x2266+8192 ~x2265+4096 ~x2264+2048 ~x2263+1024 ~x2262+512 ~x2261+256 ~x2260+128 ~x2259+64 ~x2258+32 ~x2257+16 ~x2256+8 ~x2255+4 ~x2254+2 ~x2253+1 ~x2252-0=65534
40.17/40.22	c 8192 ~x1558999+4096 ~x1558998+2048 ~x1558997+1024 ~x1558996+512 ~x1558995+256 ~x1558994+128 ~x1558993+64 ~x1558992+32 ~x1558991+16 ~x1558990+8 ~x1558989+4 ~x1558988+2 ~x1558987+1 ~x1558986+8192 x7758+8192 ~x2295+4096 ~x2294+2048 ~x2293+1024 ~x2292+512 ~x2291+256 ~x2290+128 ~x2289+64 ~x2288+32 ~x2287+16 ~x2286+8 ~x2285+4 ~x2284+2 ~x2283+1 ~x2282-0=32766
40.27/40.34	c 8192 ~x1562715+4096 ~x1562714+2048 ~x1562713+1024 ~x1562712+512 ~x1562711+256 ~x1562710+128 ~x1562709+64 ~x1562708+32 ~x1562707+16 ~x1562706+8 ~x1562705+4 ~x1562704+2 ~x1562703+1 ~x1562702+9216 x7759+8192 ~x2325+4096 ~x2324+2048 ~x2323+1024 ~x2322+512 ~x2321+256 ~x2320+128 ~x2319+64 ~x2318+32 ~x2317+16 ~x2316+8 ~x2315+4 ~x2314+2 ~x2313+1 ~x2312-0=32766
40.37/40.44	c 16384 ~x1566432+8192 ~x1566431+4096 ~x1566430+2048 ~x1566429+1024 ~x1566428+512 ~x1566427+256 ~x1566426+128 ~x1566425+64 ~x1566424+32 ~x1566423+16 ~x1566422+8 ~x1566421+4 ~x1566420+2 ~x1566419+1 ~x1566418+16384 x7760+16384 ~x2356+8192 ~x2355+4096 ~x2354+2048 ~x2353+1024 ~x2352+512 ~x2351+256 ~x2350+128 ~x2349+64 ~x2348+32 ~x2347+16 ~x2346+8 ~x2345+4 ~x2344+2 ~x2343+1 ~x2342-0=65534
40.47/40.54	c 16384 ~x1570467+8192 ~x1570466+4096 ~x1570465+2048 ~x1570464+1024 ~x1570463+512 ~x1570462+256 ~x1570461+128 ~x1570460+64 ~x1570459+32 ~x1570458+16 ~x1570457+8 ~x1570456+4 ~x1570455+2 ~x1570454+1 ~x1570453+24576 x7761+16384 ~x2386+8192 ~x2385+4096 ~x2384+2048 ~x2383+1024 ~x2382+512 ~x2381+256 ~x2380+128 ~x2379+64 ~x2378+32 ~x2377+16 ~x2376+8 ~x2375+4 ~x2374+2 ~x2373+1 ~x2372-0=65534
40.58/40.64	c 1024 ~x1574755+512 ~x1574754+256 ~x1574753+128 ~x1574752+64 ~x1574751+32 ~x1574750+16 ~x1574749+8 ~x1574748+4 ~x1574747+2 ~x1574746+1 ~x1574745+1024 x7762+1024 ~x2412+512 ~x2411+256 ~x2410+128 ~x2409+64 ~x2408+32 ~x2407+16 ~x2406+8 ~x2405+4 ~x2404+2 ~x2403+1 ~x2402-0=4094
40.58/40.70	c 16384 ~x1576872+8192 ~x1576871+4096 ~x1576870+2048 ~x1576869+1024 ~x1576868+512 ~x1576867+256 ~x1576866+128 ~x1576865+64 ~x1576864+32 ~x1576863+16 ~x1576862+8 ~x1576861+4 ~x1576860+2 ~x1576859+1 ~x1576858+19456 x7763+16384 ~x2446+8192 ~x2445+4096 ~x2444+2048 ~x2443+1024 ~x2442+512 ~x2441+256 ~x2440+128 ~x2439+64 ~x2438+32 ~x2437+16 ~x2436+8 ~x2435+4 ~x2434+2 ~x2433+1 ~x2432-0=65534
40.77/40.80	c 16384 ~x1580907+8192 ~x1580906+4096 ~x1580905+2048 ~x1580904+1024 ~x1580903+512 ~x1580902+256 ~x1580901+128 ~x1580900+64 ~x1580899+32 ~x1580898+16 ~x1580897+8 ~x1580896+4 ~x1580895+2 ~x1580894+1 ~x1580893+17408 x7764+16384 ~x2476+8192 ~x2475+4096 ~x2474+2048 ~x2473+1024 ~x2472+512 ~x2471+256 ~x2470+128 ~x2469+64 ~x2468+32 ~x2467+16 ~x2466+8 ~x2465+4 ~x2464+2 ~x2463+1 ~x2462-0=65534
40.87/40.90	c 1024 ~x1584938+512 ~x1584937+256 ~x1584936+128 ~x1584935+64 ~x1584934+32 ~x1584933+16 ~x1584932+8 ~x1584931+4 ~x1584930+2 ~x1584929+1 ~x1584928+1024 x7765+1024 ~x2502+512 ~x2501+256 ~x2500+128 ~x2499+64 ~x2498+32 ~x2497+16 ~x2496+8 ~x2495+4 ~x2494+2 ~x2493+1 ~x2492-0=4094
40.87/40.96	c 16384 ~x1587055+8192 ~x1587054+4096 ~x1587053+2048 ~x1587052+1024 ~x1587051+512 ~x1587050+256 ~x1587049+128 ~x1587048+64 ~x1587047+32 ~x1587046+16 ~x1587045+8 ~x1587044+4 ~x1587043+2 ~x1587042+1 ~x1587041+19456 x7766+16384 ~x2536+8192 ~x2535+4096 ~x2534+2048 ~x2533+1024 ~x2532+512 ~x2531+256 ~x2530+128 ~x2529+64 ~x2528+32 ~x2527+16 ~x2526+8 ~x2525+4 ~x2524+2 ~x2523+1 ~x2522-0=65534
40.97/41.06	c 16384 ~x1591090+8192 ~x1591089+4096 ~x1591088+2048 ~x1591087+1024 ~x1591086+512 ~x1591085+256 ~x1591084+128 ~x1591083+64 ~x1591082+32 ~x1591081+16 ~x1591080+8 ~x1591079+4 ~x1591078+2 ~x1591077+1 ~x1591076+17408 x7767+16384 ~x2566+8192 ~x2565+4096 ~x2564+2048 ~x2563+1024 ~x2562+512 ~x2561+256 ~x2560+128 ~x2559+64 ~x2558+32 ~x2557+16 ~x2556+8 ~x2555+4 ~x2554+2 ~x2553+1 ~x2552-0=65534
41.08/41.16	c 8192 ~x1595124+4096 ~x1595123+2048 ~x1595122+1024 ~x1595121+512 ~x1595120+256 ~x1595119+128 ~x1595118+64 ~x1595117+32 ~x1595116+16 ~x1595115+8 ~x1595114+4 ~x1595113+2 ~x1595112+1 ~x1595111+11264 x7768+8192 ~x2595+4096 ~x2594+2048 ~x2593+1024 ~x2592+512 ~x2591+256 ~x2590+128 ~x2589+64 ~x2588+32 ~x2587+16 ~x2586+8 ~x2585+4 ~x2584+2 ~x2583+1 ~x2582-0=32766
41.18/41.26	c 16384 ~x1598841+8192 ~x1598840+4096 ~x1598839+2048 ~x1598838+1024 ~x1598837+512 ~x1598836+256 ~x1598835+128 ~x1598834+64 ~x1598833+32 ~x1598832+16 ~x1598831+8 ~x1598830+4 ~x1598829+2 ~x1598828+1 ~x1598827+24576 x7769+16384 ~x2626+8192 ~x2625+4096 ~x2624+2048 ~x2623+1024 ~x2622+512 ~x2621+256 ~x2620+128 ~x2619+64 ~x2618+32 ~x2617+16 ~x2616+8 ~x2615+4 ~x2614+2 ~x2613+1 ~x2612-0=65534
41.28/41.36	c 2048 ~x1603130+1024 ~x1603129+512 ~x1603128+256 ~x1603127+128 ~x1603126+64 ~x1603125+32 ~x1603124+16 ~x1603123+8 ~x1603122+4 ~x1603121+2 ~x1603120+1 ~x1603119+2048 x7770+2048 ~x2653+1024 ~x2652+512 ~x2651+256 ~x2650+128 ~x2649+64 ~x2648+32 ~x2647+16 ~x2646+8 ~x2645+4 ~x2644+2 ~x2643+1 ~x2642-0=8190
41.37/41.42	c 32768 ~x1605482+16384 ~x1605481+8192 ~x1605480+4096 ~x1605479+2048 ~x1605478+1024 ~x1605477+512 ~x1605476+256 ~x1605475+128 ~x1605474+64 ~x1605473+32 ~x1605472+16 ~x1605471+8 ~x1605470+4 ~x1605469+2 ~x1605468+1 ~x1605467+38912 x7771+32768 ~x2687+16384 ~x2686+8192 ~x2685+4096 ~x2684+2048 ~x2683+1024 ~x2682+512 ~x2681+256 ~x2680+128 ~x2679+64 ~x2678+32 ~x2677+16 ~x2676+8 ~x2675+4 ~x2674+2 ~x2673+1 ~x2672-0=131070
41.47/41.53	c 2048 ~x1610107+1024 ~x1610106+512 ~x1610105+256 ~x1610104+128 ~x1610103+64 ~x1610102+32 ~x1610101+16 ~x1610100+8 ~x1610099+4 ~x1610098+2 ~x1610097+1 ~x1610096+2048 x7772+2048 ~x2713+1024 ~x2712+512 ~x2711+256 ~x2710+128 ~x2709+64 ~x2708+32 ~x2707+16 ~x2706+8 ~x2705+4 ~x2704+2 ~x2703+1 ~x2702-0=8190
41.47/41.60	c 2048 ~x1612455+1024 ~x1612454+512 ~x1612453+256 ~x1612452+128 ~x1612451+64 ~x1612450+32 ~x1612449+16 ~x1612448+8 ~x1612447+4 ~x1612446+2 ~x1612445+1 ~x1612444+2048 x7773+2048 ~x2743+1024 ~x2742+512 ~x2741+256 ~x2740+128 ~x2739+64 ~x2738+32 ~x2737+16 ~x2736+8 ~x2735+4 ~x2734+2 ~x2733+1 ~x2732-0=8190
41.58/41.66	c 16384 ~x1614806+8192 ~x1614805+4096 ~x1614804+2048 ~x1614803+1024 ~x1614802+512 ~x1614801+256 ~x1614800+128 ~x1614799+64 ~x1614798+32 ~x1614797+16 ~x1614796+8 ~x1614795+4 ~x1614794+2 ~x1614793+1 ~x1614792+22528 x7774+16384 ~x2776+8192 ~x2775+4096 ~x2774+2048 ~x2773+1024 ~x2772+512 ~x2771+256 ~x2770+128 ~x2769+64 ~x2768+32 ~x2767+16 ~x2766+8 ~x2765+4 ~x2764+2 ~x2763+1 ~x2762-0=65534
41.68/41.76	c 32768 ~x1619099+16384 ~x1619098+8192 ~x1619097+4096 ~x1619096+2048 ~x1619095+1024 ~x1619094+512 ~x1619093+256 ~x1619092+128 ~x1619091+64 ~x1619090+32 ~x1619089+16 ~x1619088+8 ~x1619087+4 ~x1619086+2 ~x1619085+1 ~x1619084+38912 x7775+32768 ~x2807+16384 ~x2806+8192 ~x2805+4096 ~x2804+2048 ~x2803+1024 ~x2802+512 ~x2801+256 ~x2800+128 ~x2799+64 ~x2798+32 ~x2797+16 ~x2796+8 ~x2795+4 ~x2794+2 ~x2793+1 ~x2792-0=131070
41.78/41.87	c 8192 ~x1623726+4096 ~x1623725+2048 ~x1623724+1024 ~x1623723+512 ~x1623722+256 ~x1623721+128 ~x1623720+64 ~x1623719+32 ~x1623718+16 ~x1623717+8 ~x1623716+4 ~x1623715+2 ~x1623714+1 ~x1623713+8192 x7776+8192 ~x2835+4096 ~x2834+2048 ~x2833+1024 ~x2832+512 ~x2831+256 ~x2830+128 ~x2829+64 ~x2828+32 ~x2827+16 ~x2826+8 ~x2825+4 ~x2824+2 ~x2823+1 ~x2822-0=32766
41.87/41.97	c 8192 ~x1627442+4096 ~x1627441+2048 ~x1627440+1024 ~x1627439+512 ~x1627438+256 ~x1627437+128 ~x1627436+64 ~x1627435+32 ~x1627434+16 ~x1627433+8 ~x1627432+4 ~x1627431+2 ~x1627430+1 ~x1627429+9216 x7777+8192 ~x2865+4096 ~x2864+2048 ~x2863+1024 ~x2862+512 ~x2861+256 ~x2860+128 ~x2859+64 ~x2858+32 ~x2857+16 ~x2856+8 ~x2855+4 ~x2854+2 ~x2853+1 ~x2852-0=32766
41.97/42.06	c 16384 ~x1631159+8192 ~x1631158+4096 ~x1631157+2048 ~x1631156+1024 ~x1631155+512 ~x1631154+256 ~x1631153+128 ~x1631152+64 ~x1631151+32 ~x1631150+16 ~x1631149+8 ~x1631148+4 ~x1631147+2 ~x1631146+1 ~x1631145+16384 x7778+16384 ~x2896+8192 ~x2895+4096 ~x2894+2048 ~x2893+1024 ~x2892+512 ~x2891+256 ~x2890+128 ~x2889+64 ~x2888+32 ~x2887+16 ~x2886+8 ~x2885+4 ~x2884+2 ~x2883+1 ~x2882-0=65534
42.07/42.16	c 1024 ~x1635190+512 ~x1635189+256 ~x1635188+128 ~x1635187+64 ~x1635186+32 ~x1635185+16 ~x1635184+8 ~x1635183+4 ~x1635182+2 ~x1635181+1 ~x1635180+1024 x7779+1024 ~x2922+512 ~x2921+256 ~x2920+128 ~x2919+64 ~x2918+32 ~x2917+16 ~x2916+8 ~x2915+4 ~x2914+2 ~x2913+1 ~x2912-0=4094
42.17/42.22	c 32768 ~x1637308+16384 ~x1637307+8192 ~x1637306+4096 ~x1637305+2048 ~x1637304+1024 ~x1637303+512 ~x1637302+256 ~x1637301+128 ~x1637300+64 ~x1637299+32 ~x1637298+16 ~x1637297+8 ~x1637296+4 ~x1637295+2 ~x1637294+1 ~x1637293+38912 x7780+32768 ~x2957+16384 ~x2956+8192 ~x2955+4096 ~x2954+2048 ~x2953+1024 ~x2952+512 ~x2951+256 ~x2950+128 ~x2949+64 ~x2948+32 ~x2947+16 ~x2946+8 ~x2945+4 ~x2944+2 ~x2943+1 ~x2942-0=131070
42.28/42.33	c 16384 ~x1641936+8192 ~x1641935+4096 ~x1641934+2048 ~x1641933+1024 ~x1641932+512 ~x1641931+256 ~x1641930+128 ~x1641929+64 ~x1641928+32 ~x1641927+16 ~x1641926+8 ~x1641925+4 ~x1641924+2 ~x1641923+1 ~x1641922+17408 x7781+16384 ~x2986+8192 ~x2985+4096 ~x2984+2048 ~x2983+1024 ~x2982+512 ~x2981+256 ~x2980+128 ~x2979+64 ~x2978+32 ~x2977+16 ~x2976+8 ~x2975+4 ~x2974+2 ~x2973+1 ~x2972-0=65534
42.38/42.43	c 1024 ~x1645967+512 ~x1645966+256 ~x1645965+128 ~x1645964+64 ~x1645963+32 ~x1645962+16 ~x1645961+8 ~x1645960+4 ~x1645959+2 ~x1645958+1 ~x1645957+1024 x7782+1024 ~x3012+512 ~x3011+256 ~x3010+128 ~x3009+64 ~x3008+32 ~x3007+16 ~x3006+8 ~x3005+4 ~x3004+2 ~x3003+1 ~x3002-0=4094
42.38/42.49	c 16384 ~x1648084+8192 ~x1648083+4096 ~x1648082+2048 ~x1648081+1024 ~x1648080+512 ~x1648079+256 ~x1648078+128 ~x1648077+64 ~x1648076+32 ~x1648075+16 ~x1648074+8 ~x1648073+4 ~x1648072+2 ~x1648071+1 ~x1648070+24576 x7783+16384 ~x3046+8192 ~x3045+4096 ~x3044+2048 ~x3043+1024 ~x3042+512 ~x3041+256 ~x3040+128 ~x3039+64 ~x3038+32 ~x3037+16 ~x3036+8 ~x3035+4 ~x3034+2 ~x3033+1 ~x3032-0=65534
42.48/42.59	c 16384 ~x1652376+8192 ~x1652375+4096 ~x1652374+2048 ~x1652373+1024 ~x1652372+512 ~x1652371+256 ~x1652370+128 ~x1652369+64 ~x1652368+32 ~x1652367+16 ~x1652366+8 ~x1652365+4 ~x1652364+2 ~x1652363+1 ~x1652362+30720 x7784+16384 ~x3076+8192 ~x3075+4096 ~x3074+2048 ~x3073+1024 ~x3072+512 ~x3071+256 ~x3070+128 ~x3069+64 ~x3068+32 ~x3067+16 ~x3066+8 ~x3065+4 ~x3064+2 ~x3063+1 ~x3062-0=65534
42.67/42.70	c 16384 ~x1656668+8192 ~x1656667+4096 ~x1656666+2048 ~x1656665+1024 ~x1656664+512 ~x1656663+256 ~x1656662+128 ~x1656661+64 ~x1656660+32 ~x1656659+16 ~x1656658+8 ~x1656657+4 ~x1656656+2 ~x1656655+1 ~x1656654+17408 x7785+16384 ~x3106+8192 ~x3105+4096 ~x3104+2048 ~x3103+1024 ~x3102+512 ~x3101+256 ~x3100+128 ~x3099+64 ~x3098+32 ~x3097+16 ~x3096+8 ~x3095+4 ~x3094+2 ~x3093+1 ~x3092-0=65534
42.78/42.80	c 4096 ~x1660701+2048 ~x1660700+1024 ~x1660699+512 ~x1660698+256 ~x1660697+128 ~x1660696+64 ~x1660695+32 ~x1660694+16 ~x1660693+8 ~x1660692+4 ~x1660691+2 ~x1660690+1 ~x1660689+6144 x7786+4096 ~x3134+2048 ~x3133+1024 ~x3132+512 ~x3131+256 ~x3130+128 ~x3129+64 ~x3128+32 ~x3127+16 ~x3126+8 ~x3125+4 ~x3124+2 ~x3123+1 ~x3122-0=16382
42.78/42.87	c 4096 ~x1663401+2048 ~x1663400+1024 ~x1663399+512 ~x1663398+256 ~x1663397+128 ~x1663396+64 ~x1663395+32 ~x1663394+16 ~x1663393+8 ~x1663392+4 ~x1663391+2 ~x1663390+1 ~x1663389+6144 x7787+4096 ~x3164+2048 ~x3163+1024 ~x3162+512 ~x3161+256 ~x3160+128 ~x3159+64 ~x3158+32 ~x3157+16 ~x3156+8 ~x3155+4 ~x3154+2 ~x3153+1 ~x3152-0=16382
42.88/42.94	c 2048 ~x1666100+1024 ~x1666099+512 ~x1666098+256 ~x1666097+128 ~x1666096+64 ~x1666095+32 ~x1666094+16 ~x1666093+8 ~x1666092+4 ~x1666091+2 ~x1666090+1 ~x1666089+2048 x7788+2048 ~x3193+1024 ~x3192+512 ~x3191+256 ~x3190+128 ~x3189+64 ~x3188+32 ~x3187+16 ~x3186+8 ~x3185+4 ~x3184+2 ~x3183+1 ~x3182-0=8190
42.88/43.00	c 4096 ~x1668449+2048 ~x1668448+1024 ~x1668447+512 ~x1668446+256 ~x1668445+128 ~x1668444+64 ~x1668443+32 ~x1668442+16 ~x1668441+8 ~x1668440+4 ~x1668439+2 ~x1668438+1 ~x1668437+6144 x7789+4096 ~x3224+2048 ~x3223+1024 ~x3222+512 ~x3221+256 ~x3220+128 ~x3219+64 ~x3218+32 ~x3217+16 ~x3216+8 ~x3215+4 ~x3214+2 ~x3213+1 ~x3212-0=16382
42.97/43.06	c 2048 ~x1671148+1024 ~x1671147+512 ~x1671146+256 ~x1671145+128 ~x1671144+64 ~x1671143+32 ~x1671142+16 ~x1671141+8 ~x1671140+4 ~x1671139+2 ~x1671138+1 ~x1671137+2048 x7790+2048 ~x3253+1024 ~x3252+512 ~x3251+256 ~x3250+128 ~x3249+64 ~x3248+32 ~x3247+16 ~x3246+8 ~x3245+4 ~x3244+2 ~x3243+1 ~x3242-0=8190
43.07/43.12	c 4096 ~x1673497+2048 ~x1673496+1024 ~x1673495+512 ~x1673494+256 ~x1673493+128 ~x1673492+64 ~x1673491+32 ~x1673490+16 ~x1673489+8 ~x1673488+4 ~x1673487+2 ~x1673486+1 ~x1673485+6144 x7791+4096 ~x3284+2048 ~x3283+1024 ~x3282+512 ~x3281+256 ~x3280+128 ~x3279+64 ~x3278+32 ~x3277+16 ~x3276+8 ~x3275+4 ~x3274+2 ~x3273+1 ~x3272-0=16382
43.07/43.19	c 4096 ~x1676197+2048 ~x1676196+1024 ~x1676195+512 ~x1676194+256 ~x1676193+128 ~x1676192+64 ~x1676191+32 ~x1676190+16 ~x1676189+8 ~x1676188+4 ~x1676187+2 ~x1676186+1 ~x1676185+6144 x7792+4096 ~x3314+2048 ~x3313+1024 ~x3312+512 ~x3311+256 ~x3310+128 ~x3309+64 ~x3308+32 ~x3307+16 ~x3306+8 ~x3305+4 ~x3304+2 ~x3303+1 ~x3302-0=16382
43.17/43.26	c 4096 ~x1678897+2048 ~x1678896+1024 ~x1678895+512 ~x1678894+256 ~x1678893+128 ~x1678892+64 ~x1678891+32 ~x1678890+16 ~x1678889+8 ~x1678888+4 ~x1678887+2 ~x1678886+1 ~x1678885+6144 x7793+4096 ~x3344+2048 ~x3343+1024 ~x3342+512 ~x3341+256 ~x3340+128 ~x3339+64 ~x3338+32 ~x3337+16 ~x3336+8 ~x3335+4 ~x3334+2 ~x3333+1 ~x3332-0=16382
43.27/43.33	c 2048 ~x1681596+1024 ~x1681595+512 ~x1681594+256 ~x1681593+128 ~x1681592+64 ~x1681591+32 ~x1681590+16 ~x1681589+8 ~x1681588+4 ~x1681587+2 ~x1681586+1 ~x1681585+2048 x7794+2048 ~x3373+1024 ~x3372+512 ~x3371+256 ~x3370+128 ~x3369+64 ~x3368+32 ~x3367+16 ~x3366+8 ~x3365+4 ~x3364+2 ~x3363+1 ~x3362-0=8190
43.27/43.39	c 2048 ~x1683944+1024 ~x1683943+512 ~x1683942+256 ~x1683941+128 ~x1683940+64 ~x1683939+32 ~x1683938+16 ~x1683937+8 ~x1683936+4 ~x1683935+2 ~x1683934+1 ~x1683933+2048 x7795+2048 ~x3403+1024 ~x3402+512 ~x3401+256 ~x3400+128 ~x3399+64 ~x3398+32 ~x3397+16 ~x3396+8 ~x3395+4 ~x3394+2 ~x3393+1 ~x3392-0=8190
43.37/43.45	c 4096 ~x1686293+2048 ~x1686292+1024 ~x1686291+512 ~x1686290+256 ~x1686289+128 ~x1686288+64 ~x1686287+32 ~x1686286+16 ~x1686285+8 ~x1686284+4 ~x1686283+2 ~x1686282+1 ~x1686281+6144 x7796+4096 ~x3434+2048 ~x3433+1024 ~x3432+512 ~x3431+256 ~x3430+128 ~x3429+64 ~x3428+32 ~x3427+16 ~x3426+8 ~x3425+4 ~x3424+2 ~x3423+1 ~x3422-0=16382
43.47/43.52	c 4096 ~x1688993+2048 ~x1688992+1024 ~x1688991+512 ~x1688990+256 ~x1688989+128 ~x1688988+64 ~x1688987+32 ~x1688986+16 ~x1688985+8 ~x1688984+4 ~x1688983+2 ~x1688982+1 ~x1688981+6144 x7797+4096 ~x3464+2048 ~x3463+1024 ~x3462+512 ~x3461+256 ~x3460+128 ~x3459+64 ~x3458+32 ~x3457+16 ~x3456+8 ~x3455+4 ~x3454+2 ~x3453+1 ~x3452-0=16382
43.47/43.59	c 1024 ~x1691691+512 ~x1691690+256 ~x1691689+128 ~x1691688+64 ~x1691687+32 ~x1691686+16 ~x1691685+8 ~x1691684+4 ~x1691683+2 ~x1691682+1 ~x1691681+1024 x7798+1024 ~x3492+512 ~x3491+256 ~x3490+128 ~x3489+64 ~x3488+32 ~x3487+16 ~x3486+8 ~x3485+4 ~x3484+2 ~x3483+1 ~x3482-0=4094
43.57/43.64	c 4096 ~x1693806+2048 ~x1693805+1024 ~x1693804+512 ~x1693803+256 ~x1693802+128 ~x1693801+64 ~x1693800+32 ~x1693799+16 ~x1693798+8 ~x1693797+4 ~x1693796+2 ~x1693795+1 ~x1693794+6144 x7799+4096 ~x3524+2048 ~x3523+1024 ~x3522+512 ~x3521+256 ~x3520+128 ~x3519+64 ~x3518+32 ~x3517+16 ~x3516+8 ~x3515+4 ~x3514+2 ~x3513+1 ~x3512-0=16382
43.67/43.71	c 4096 ~x1696506+2048 ~x1696505+1024 ~x1696504+512 ~x1696503+256 ~x1696502+128 ~x1696501+64 ~x1696500+32 ~x1696499+16 ~x1696498+8 ~x1696497+4 ~x1696496+2 ~x1696495+1 ~x1696494+6144 x7800+4096 ~x3554+2048 ~x3553+1024 ~x3552+512 ~x3551+256 ~x3550+128 ~x3549+64 ~x3548+32 ~x3547+16 ~x3546+8 ~x3545+4 ~x3544+2 ~x3543+1 ~x3542-0=16382
43.67/43.78	c 1024 ~x1699204+512 ~x1699203+256 ~x1699202+128 ~x1699201+64 ~x1699200+32 ~x1699199+16 ~x1699198+8 ~x1699197+4 ~x1699196+2 ~x1699195+1 ~x1699194+1024 x7801+1024 ~x3582+512 ~x3581+256 ~x3580+128 ~x3579+64 ~x3578+32 ~x3577+16 ~x3576+8 ~x3575+4 ~x3574+2 ~x3573+1 ~x3572-0=4094
43.77/43.83	c 4096 ~x1701319+2048 ~x1701318+1024 ~x1701317+512 ~x1701316+256 ~x1701315+128 ~x1701314+64 ~x1701313+32 ~x1701312+16 ~x1701311+8 ~x1701310+4 ~x1701309+2 ~x1701308+1 ~x1701307+6144 x7802+4096 ~x3614+2048 ~x3613+1024 ~x3612+512 ~x3611+256 ~x3610+128 ~x3609+64 ~x3608+32 ~x3607+16 ~x3606+8 ~x3605+4 ~x3604+2 ~x3603+1 ~x3602-0=16382
43.87/43.90	c 4096 ~x1704019+2048 ~x1704018+1024 ~x1704017+512 ~x1704016+256 ~x1704015+128 ~x1704014+64 ~x1704013+32 ~x1704012+16 ~x1704011+8 ~x1704010+4 ~x1704009+2 ~x1704008+1 ~x1704007+6144 x7803+4096 ~x3644+2048 ~x3643+1024 ~x3642+512 ~x3641+256 ~x3640+128 ~x3639+64 ~x3638+32 ~x3637+16 ~x3636+8 ~x3635+4 ~x3634+2 ~x3633+1 ~x3632-0=16382
43.87/43.97	c 8192 ~x1706720+4096 ~x1706719+2048 ~x1706718+1024 ~x1706717+512 ~x1706716+256 ~x1706715+128 ~x1706714+64 ~x1706713+32 ~x1706712+16 ~x1706711+8 ~x1706710+4 ~x1706709+2 ~x1706708+1 ~x1706707+11264 x7804+8192 ~x3675+4096 ~x3674+2048 ~x3673+1024 ~x3672+512 ~x3671+256 ~x3670+128 ~x3669+64 ~x3668+32 ~x3667+16 ~x3666+8 ~x3665+4 ~x3664+2 ~x3663+1 ~x3662-0=32766
43.98/44.06	c 8192 ~x1710436+4096 ~x1710435+2048 ~x1710434+1024 ~x1710433+512 ~x1710432+256 ~x1710431+128 ~x1710430+64 ~x1710429+32 ~x1710428+16 ~x1710427+8 ~x1710426+4 ~x1710425+2 ~x1710424+1 ~x1710423+13312 x7805+8192 ~x3705+4096 ~x3704+2048 ~x3703+1024 ~x3702+512 ~x3701+256 ~x3700+128 ~x3699+64 ~x3698+32 ~x3697+16 ~x3696+8 ~x3695+4 ~x3694+2 ~x3693+1 ~x3692-0=32766
44.07/44.15	c 16384 ~x1714153+8192 ~x1714152+4096 ~x1714151+2048 ~x1714150+1024 ~x1714149+512 ~x1714148+256 ~x1714147+128 ~x1714146+64 ~x1714145+32 ~x1714144+16 ~x1714143+8 ~x1714142+4 ~x1714141+2 ~x1714140+1 ~x1714139+22528 x7806+16384 ~x3736+8192 ~x3735+4096 ~x3734+2048 ~x3733+1024 ~x3732+512 ~x3731+256 ~x3730+128 ~x3729+64 ~x3728+32 ~x3727+16 ~x3726+8 ~x3725+4 ~x3724+2 ~x3723+1 ~x3722-0=65534
44.17/44.26	c 2048 ~x1718442+1024 ~x1718441+512 ~x1718440+256 ~x1718439+128 ~x1718438+64 ~x1718437+32 ~x1718436+16 ~x1718435+8 ~x1718434+4 ~x1718433+2 ~x1718432+1 ~x1718431+2048 x7807+2048 ~x3763+1024 ~x3762+512 ~x3761+256 ~x3760+128 ~x3759+64 ~x3758+32 ~x3757+16 ~x3756+8 ~x3755+4 ~x3754+2 ~x3753+1 ~x3752-0=8190
44.27/44.32	c 8192 ~x1720792+4096 ~x1720791+2048 ~x1720790+1024 ~x1720789+512 ~x1720788+256 ~x1720787+128 ~x1720786+64 ~x1720785+32 ~x1720784+16 ~x1720783+8 ~x1720782+4 ~x1720781+2 ~x1720780+1 ~x1720779+13312 x7808+8192 ~x3795+4096 ~x3794+2048 ~x3793+1024 ~x3792+512 ~x3791+256 ~x3790+128 ~x3789+64 ~x3788+32 ~x3787+16 ~x3786+8 ~x3785+4 ~x3784+2 ~x3783+1 ~x3782-0=32766
44.38/44.41	c 2048 ~x1724506+1024 ~x1724505+512 ~x1724504+256 ~x1724503+128 ~x1724502+64 ~x1724501+32 ~x1724500+16 ~x1724499+8 ~x1724498+4 ~x1724497+2 ~x1724496+1 ~x1724495+2048 x7809+2048 ~x3823+1024 ~x3822+512 ~x3821+256 ~x3820+128 ~x3819+64 ~x3818+32 ~x3817+16 ~x3816+8 ~x3815+4 ~x3814+2 ~x3813+1 ~x3812-0=8190
44.38/44.48	c 8192 ~x1726856+4096 ~x1726855+2048 ~x1726854+1024 ~x1726853+512 ~x1726852+256 ~x1726851+128 ~x1726850+64 ~x1726849+32 ~x1726848+16 ~x1726847+8 ~x1726846+4 ~x1726845+2 ~x1726844+1 ~x1726843+13312 x7810+8192 ~x3855+4096 ~x3854+2048 ~x3853+1024 ~x3852+512 ~x3851+256 ~x3850+128 ~x3849+64 ~x3848+32 ~x3847+16 ~x3846+8 ~x3845+4 ~x3844+2 ~x3843+1 ~x3842-0=32766
44.47/44.57	c 8192 ~x1730572+4096 ~x1730571+2048 ~x1730570+1024 ~x1730569+512 ~x1730568+256 ~x1730567+128 ~x1730566+64 ~x1730565+32 ~x1730564+16 ~x1730563+8 ~x1730562+4 ~x1730561+2 ~x1730560+1 ~x1730559+13312 x7811+8192 ~x3885+4096 ~x3884+2048 ~x3883+1024 ~x3882+512 ~x3881+256 ~x3880+128 ~x3879+64 ~x3878+32 ~x3877+16 ~x3876+8 ~x3875+4 ~x3874+2 ~x3873+1 ~x3872-0=32766
44.57/44.66	c 8192 ~x1734288+4096 ~x1734287+2048 ~x1734286+1024 ~x1734285+512 ~x1734284+256 ~x1734283+128 ~x1734282+64 ~x1734281+32 ~x1734280+16 ~x1734279+8 ~x1734278+4 ~x1734277+2 ~x1734276+1 ~x1734275+8192 x7812+8192 ~x3915+4096 ~x3914+2048 ~x3913+1024 ~x3912+512 ~x3911+256 ~x3910+128 ~x3909+64 ~x3908+32 ~x3907+16 ~x3906+8 ~x3905+4 ~x3904+2 ~x3903+1 ~x3902-0=32766
44.67/44.76	c 8192 ~x1738004+4096 ~x1738003+2048 ~x1738002+1024 ~x1738001+512 ~x1738000+256 ~x1737999+128 ~x1737998+64 ~x1737997+32 ~x1737996+16 ~x1737995+8 ~x1737994+4 ~x1737993+2 ~x1737992+1 ~x1737991+9216 x7813+8192 ~x3945+4096 ~x3944+2048 ~x3943+1024 ~x3942+512 ~x3941+256 ~x3940+128 ~x3939+64 ~x3938+32 ~x3937+16 ~x3936+8 ~x3935+4 ~x3934+2 ~x3933+1 ~x3932-0=32766
44.77/44.85	c 8192 ~x1741720+4096 ~x1741719+2048 ~x1741718+1024 ~x1741717+512 ~x1741716+256 ~x1741715+128 ~x1741714+64 ~x1741713+32 ~x1741712+16 ~x1741711+8 ~x1741710+4 ~x1741709+2 ~x1741708+1 ~x1741707+13312 x7814+8192 ~x3975+4096 ~x3974+2048 ~x3973+1024 ~x3972+512 ~x3971+256 ~x3970+128 ~x3969+64 ~x3968+32 ~x3967+16 ~x3966+8 ~x3965+4 ~x3964+2 ~x3963+1 ~x3962-0=32766
44.87/44.94	c 1024 ~x1745433+512 ~x1745432+256 ~x1745431+128 ~x1745430+64 ~x1745429+32 ~x1745428+16 ~x1745427+8 ~x1745426+4 ~x1745425+2 ~x1745424+1 ~x1745423+1024 x7815+1024 ~x4002+512 ~x4001+256 ~x4000+128 ~x3999+64 ~x3998+32 ~x3997+16 ~x3996+8 ~x3995+4 ~x3994+2 ~x3993+1 ~x3992-0=4094
44.87/45.00	c 8192 ~x1747549+4096 ~x1747548+2048 ~x1747547+1024 ~x1747546+512 ~x1747545+256 ~x1747544+128 ~x1747543+64 ~x1747542+32 ~x1747541+16 ~x1747540+8 ~x1747539+4 ~x1747538+2 ~x1747537+1 ~x1747536+13312 x7816+8192 ~x4035+4096 ~x4034+2048 ~x4033+1024 ~x4032+512 ~x4031+256 ~x4030+128 ~x4029+64 ~x4028+32 ~x4027+16 ~x4026+8 ~x4025+4 ~x4024+2 ~x4023+1 ~x4022-0=32766
44.98/45.09	c 16384 ~x1751266+8192 ~x1751265+4096 ~x1751264+2048 ~x1751263+1024 ~x1751262+512 ~x1751261+256 ~x1751260+128 ~x1751259+64 ~x1751258+32 ~x1751257+16 ~x1751256+8 ~x1751255+4 ~x1751254+2 ~x1751253+1 ~x1751252+24576 x7817+16384 ~x4066+8192 ~x4065+4096 ~x4064+2048 ~x4063+1024 ~x4062+512 ~x4061+256 ~x4060+128 ~x4059+64 ~x4058+32 ~x4057+16 ~x4056+8 ~x4055+4 ~x4054+2 ~x4053+1 ~x4052-0=65534
45.17/45.20	c 8192 ~x1755557+4096 ~x1755556+2048 ~x1755555+1024 ~x1755554+512 ~x1755553+256 ~x1755552+128 ~x1755551+64 ~x1755550+32 ~x1755549+16 ~x1755548+8 ~x1755547+4 ~x1755546+2 ~x1755545+1 ~x1755544+13312 x7818+8192 ~x4095+4096 ~x4094+2048 ~x4093+1024 ~x4092+512 ~x4091+256 ~x4090+128 ~x4089+64 ~x4088+32 ~x4087+16 ~x4086+8 ~x4085+4 ~x4084+2 ~x4083+1 ~x4082-0=32766
45.17/45.29	c 1024 ~x1759270+512 ~x1759269+256 ~x1759268+128 ~x1759267+64 ~x1759266+32 ~x1759265+16 ~x1759264+8 ~x1759263+4 ~x1759262+2 ~x1759261+1 ~x1759260+1024 x7819+1024 ~x4122+512 ~x4121+256 ~x4120+128 ~x4119+64 ~x4118+32 ~x4117+16 ~x4116+8 ~x4115+4 ~x4114+2 ~x4113+1 ~x4112-0=4094
45.27/45.35	c 8192 ~x1761386+4096 ~x1761385+2048 ~x1761384+1024 ~x1761383+512 ~x1761382+256 ~x1761381+128 ~x1761380+64 ~x1761379+32 ~x1761378+16 ~x1761377+8 ~x1761376+4 ~x1761375+2 ~x1761374+1 ~x1761373+13312 x7820+8192 ~x4155+4096 ~x4154+2048 ~x4153+1024 ~x4152+512 ~x4151+256 ~x4150+128 ~x4149+64 ~x4148+32 ~x4147+16 ~x4146+8 ~x4145+4 ~x4144+2 ~x4143+1 ~x4142-0=32766
45.37/45.44	c 8192 ~x1765102+4096 ~x1765101+2048 ~x1765100+1024 ~x1765099+512 ~x1765098+256 ~x1765097+128 ~x1765096+64 ~x1765095+32 ~x1765094+16 ~x1765093+8 ~x1765092+4 ~x1765091+2 ~x1765090+1 ~x1765089+13312 x7821+8192 ~x4185+4096 ~x4184+2048 ~x4183+1024 ~x4182+512 ~x4181+256 ~x4180+128 ~x4179+64 ~x4178+32 ~x4177+16 ~x4176+8 ~x4175+4 ~x4174+2 ~x4173+1 ~x4172-0=32766
45.47/45.53	c 8192 ~x1768818+4096 ~x1768817+2048 ~x1768816+1024 ~x1768815+512 ~x1768814+256 ~x1768813+128 ~x1768812+64 ~x1768811+32 ~x1768810+16 ~x1768809+8 ~x1768808+4 ~x1768807+2 ~x1768806+1 ~x1768805+11264 x7822+8192 ~x4215+4096 ~x4214+2048 ~x4213+1024 ~x4212+512 ~x4211+256 ~x4210+128 ~x4209+64 ~x4208+32 ~x4207+16 ~x4206+8 ~x4205+4 ~x4204+2 ~x4203+1 ~x4202-0=32766
45.57/45.63	c 16384 ~x1772535+8192 ~x1772534+4096 ~x1772533+2048 ~x1772532+1024 ~x1772531+512 ~x1772530+256 ~x1772529+128 ~x1772528+64 ~x1772527+32 ~x1772526+16 ~x1772525+8 ~x1772524+4 ~x1772523+2 ~x1772522+1 ~x1772521+24576 x7823+16384 ~x4246+8192 ~x4245+4096 ~x4244+2048 ~x4243+1024 ~x4242+512 ~x4241+256 ~x4240+128 ~x4239+64 ~x4238+32 ~x4237+16 ~x4236+8 ~x4235+4 ~x4234+2 ~x4233+1 ~x4232-0=65534
45.67/45.74	c 2048 ~x1776824+1024 ~x1776823+512 ~x1776822+256 ~x1776821+128 ~x1776820+64 ~x1776819+32 ~x1776818+16 ~x1776817+8 ~x1776816+4 ~x1776815+2 ~x1776814+1 ~x1776813+2048 x7824+2048 ~x4273+1024 ~x4272+512 ~x4271+256 ~x4270+128 ~x4269+64 ~x4268+32 ~x4267+16 ~x4266+8 ~x4265+4 ~x4264+2 ~x4263+1 ~x4262-0=8190
45.77/45.80	c 32768 ~x1779176+16384 ~x1779175+8192 ~x1779174+4096 ~x1779173+2048 ~x1779172+1024 ~x1779171+512 ~x1779170+256 ~x1779169+128 ~x1779168+64 ~x1779167+32 ~x1779166+16 ~x1779165+8 ~x1779164+4 ~x1779163+2 ~x1779162+1 ~x1779161+38912 x7825+32768 ~x4307+16384 ~x4306+8192 ~x4305+4096 ~x4304+2048 ~x4303+1024 ~x4302+512 ~x4301+256 ~x4300+128 ~x4299+64 ~x4298+32 ~x4297+16 ~x4296+8 ~x4295+4 ~x4294+2 ~x4293+1 ~x4292-0=131070
45.88/45.92	c 2048 ~x1783801+1024 ~x1783800+512 ~x1783799+256 ~x1783798+128 ~x1783797+64 ~x1783796+32 ~x1783795+16 ~x1783794+8 ~x1783793+4 ~x1783792+2 ~x1783791+1 ~x1783790+2048 x7826+2048 ~x4333+1024 ~x4332+512 ~x4331+256 ~x4330+128 ~x4329+64 ~x4328+32 ~x4327+16 ~x4326+8 ~x4325+4 ~x4324+2 ~x4323+1 ~x4322-0=8190
45.88/45.98	c 16384 ~x1786152+8192 ~x1786151+4096 ~x1786150+2048 ~x1786149+1024 ~x1786148+512 ~x1786147+256 ~x1786146+128 ~x1786145+64 ~x1786144+32 ~x1786143+16 ~x1786142+8 ~x1786141+4 ~x1786140+2 ~x1786139+1 ~x1786138+22528 x7827+16384 ~x4366+8192 ~x4365+4096 ~x4364+2048 ~x4363+1024 ~x4362+512 ~x4361+256 ~x4360+128 ~x4359+64 ~x4358+32 ~x4357+16 ~x4356+8 ~x4355+4 ~x4354+2 ~x4353+1 ~x4352-0=65534
45.98/46.08	c 8192 ~x1790443+4096 ~x1790442+2048 ~x1790441+1024 ~x1790440+512 ~x1790439+256 ~x1790438+128 ~x1790437+64 ~x1790436+32 ~x1790435+16 ~x1790434+8 ~x1790433+4 ~x1790432+2 ~x1790431+1 ~x1790430+8192 x7828+8192 ~x4395+4096 ~x4394+2048 ~x4393+1024 ~x4392+512 ~x4391+256 ~x4390+128 ~x4389+64 ~x4388+32 ~x4387+16 ~x4386+8 ~x4385+4 ~x4384+2 ~x4383+1 ~x4382-0=32766
46.08/46.18	c 32768 ~x1794161+16384 ~x1794160+8192 ~x1794159+4096 ~x1794158+2048 ~x1794157+1024 ~x1794156+512 ~x1794155+256 ~x1794154+128 ~x1794153+64 ~x1794152+32 ~x1794151+16 ~x1794150+8 ~x1794149+4 ~x1794148+2 ~x1794147+1 ~x1794146+38912 x7829+32768 ~x4427+16384 ~x4426+8192 ~x4425+4096 ~x4424+2048 ~x4423+1024 ~x4422+512 ~x4421+256 ~x4420+128 ~x4419+64 ~x4418+32 ~x4417+16 ~x4416+8 ~x4415+4 ~x4414+2 ~x4413+1 ~x4412-0=131070
46.18/46.29	c 8192 ~x1798788+4096 ~x1798787+2048 ~x1798786+1024 ~x1798785+512 ~x1798784+256 ~x1798783+128 ~x1798782+64 ~x1798781+32 ~x1798780+16 ~x1798779+8 ~x1798778+4 ~x1798777+2 ~x1798776+1 ~x1798775+8192 x7830+8192 ~x4455+4096 ~x4454+2048 ~x4453+1024 ~x4452+512 ~x4451+256 ~x4450+128 ~x4449+64 ~x4448+32 ~x4447+16 ~x4446+8 ~x4445+4 ~x4444+2 ~x4443+1 ~x4442-0=32766
46.27/46.38	c 8192 ~x1802504+4096 ~x1802503+2048 ~x1802502+1024 ~x1802501+512 ~x1802500+256 ~x1802499+128 ~x1802498+64 ~x1802497+32 ~x1802496+16 ~x1802495+8 ~x1802494+4 ~x1802493+2 ~x1802492+1 ~x1802491+9216 x7831+8192 ~x4485+4096 ~x4484+2048 ~x4483+1024 ~x4482+512 ~x4481+256 ~x4480+128 ~x4479+64 ~x4478+32 ~x4477+16 ~x4476+8 ~x4475+4 ~x4474+2 ~x4473+1 ~x4472-0=32766
46.37/46.48	c 16384 ~x1806221+8192 ~x1806220+4096 ~x1806219+2048 ~x1806218+1024 ~x1806217+512 ~x1806216+256 ~x1806215+128 ~x1806214+64 ~x1806213+32 ~x1806212+16 ~x1806211+8 ~x1806210+4 ~x1806209+2 ~x1806208+1 ~x1806207+16384 x7832+16384 ~x4516+8192 ~x4515+4096 ~x4514+2048 ~x4513+1024 ~x4512+512 ~x4511+256 ~x4510+128 ~x4509+64 ~x4508+32 ~x4507+16 ~x4506+8 ~x4505+4 ~x4504+2 ~x4503+1 ~x4502-0=65534
46.47/46.58	c 1024 ~x1810252+512 ~x1810251+256 ~x1810250+128 ~x1810249+64 ~x1810248+32 ~x1810247+16 ~x1810246+8 ~x1810245+4 ~x1810244+2 ~x1810243+1 ~x1810242+1024 x7833+1024 ~x4542+512 ~x4541+256 ~x4540+128 ~x4539+64 ~x4538+32 ~x4537+16 ~x4536+8 ~x4535+4 ~x4534+2 ~x4533+1 ~x4532-0=4094
46.57/46.63	c 32768 ~x1812370+16384 ~x1812369+8192 ~x1812368+4096 ~x1812367+2048 ~x1812366+1024 ~x1812365+512 ~x1812364+256 ~x1812363+128 ~x1812362+64 ~x1812361+32 ~x1812360+16 ~x1812359+8 ~x1812358+4 ~x1812357+2 ~x1812356+1 ~x1812355+38912 x7834+32768 ~x4577+16384 ~x4576+8192 ~x4575+4096 ~x4574+2048 ~x4573+1024 ~x4572+512 ~x4571+256 ~x4570+128 ~x4569+64 ~x4568+32 ~x4567+16 ~x4566+8 ~x4565+4 ~x4564+2 ~x4563+1 ~x4562-0=131070
46.68/46.75	c 16384 ~x1816998+8192 ~x1816997+4096 ~x1816996+2048 ~x1816995+1024 ~x1816994+512 ~x1816993+256 ~x1816992+128 ~x1816991+64 ~x1816990+32 ~x1816989+16 ~x1816988+8 ~x1816987+4 ~x1816986+2 ~x1816985+1 ~x1816984+17408 x7835+16384 ~x4606+8192 ~x4605+4096 ~x4604+2048 ~x4603+1024 ~x4602+512 ~x4601+256 ~x4600+128 ~x4599+64 ~x4598+32 ~x4597+16 ~x4596+8 ~x4595+4 ~x4594+2 ~x4593+1 ~x4592-0=65534
46.77/46.85	c 1024 ~x1821029+512 ~x1821028+256 ~x1821027+128 ~x1821026+64 ~x1821025+32 ~x1821024+16 ~x1821023+8 ~x1821022+4 ~x1821021+2 ~x1821020+1 ~x1821019+1024 x7836+1024 ~x4632+512 ~x4631+256 ~x4630+128 ~x4629+64 ~x4628+32 ~x4627+16 ~x4626+8 ~x4625+4 ~x4624+2 ~x4623+1 ~x4622-0=4094
46.88/46.90	c 16384 ~x1823146+8192 ~x1823145+4096 ~x1823144+2048 ~x1823143+1024 ~x1823142+512 ~x1823141+256 ~x1823140+128 ~x1823139+64 ~x1823138+32 ~x1823137+16 ~x1823136+8 ~x1823135+4 ~x1823134+2 ~x1823133+1 ~x1823132+30720 x7837+16384 ~x4666+8192 ~x4665+4096 ~x4664+2048 ~x4663+1024 ~x4662+512 ~x4661+256 ~x4660+128 ~x4659+64 ~x4658+32 ~x4657+16 ~x4656+8 ~x4655+4 ~x4654+2 ~x4653+1 ~x4652-0=65534
46.98/47.01	c 16384 ~x1827438+8192 ~x1827437+4096 ~x1827436+2048 ~x1827435+1024 ~x1827434+512 ~x1827433+256 ~x1827432+128 ~x1827431+64 ~x1827430+32 ~x1827429+16 ~x1827428+8 ~x1827427+4 ~x1827426+2 ~x1827425+1 ~x1827424+17408 x7838+16384 ~x4696+8192 ~x4695+4096 ~x4694+2048 ~x4693+1024 ~x4692+512 ~x4691+256 ~x4690+128 ~x4689+64 ~x4688+32 ~x4687+16 ~x4686+8 ~x4685+4 ~x4684+2 ~x4683+1 ~x4682-0=65534
47.07/47.11	c 8192 ~x1831472+4096 ~x1831471+2048 ~x1831470+1024 ~x1831469+512 ~x1831468+256 ~x1831467+128 ~x1831466+64 ~x1831465+32 ~x1831464+16 ~x1831463+8 ~x1831462+4 ~x1831461+2 ~x1831460+1 ~x1831459+9216 x7839+8192 ~x4725+4096 ~x4724+2048 ~x4723+1024 ~x4722+512 ~x4721+256 ~x4720+128 ~x4719+64 ~x4718+32 ~x4717+16 ~x4716+8 ~x4715+4 ~x4714+2 ~x4713+1 ~x4712-0=32766
47.18/47.21	c 4096 ~x1835187+2048 ~x1835186+1024 ~x1835185+512 ~x1835184+256 ~x1835183+128 ~x1835182+64 ~x1835181+32 ~x1835180+16 ~x1835179+8 ~x1835178+4 ~x1835177+2 ~x1835176+1 ~x1835175+6144 x7840+4096 ~x4754+2048 ~x4753+1024 ~x4752+512 ~x4751+256 ~x4750+128 ~x4749+64 ~x4748+32 ~x4747+16 ~x4746+8 ~x4745+4 ~x4744+2 ~x4743+1 ~x4742-0=16382
47.18/47.27	c 4096 ~x1837887+2048 ~x1837886+1024 ~x1837885+512 ~x1837884+256 ~x1837883+128 ~x1837882+64 ~x1837881+32 ~x1837880+16 ~x1837879+8 ~x1837878+4 ~x1837877+2 ~x1837876+1 ~x1837875+6144 x7841+4096 ~x4784+2048 ~x4783+1024 ~x4782+512 ~x4781+256 ~x4780+128 ~x4779+64 ~x4778+32 ~x4777+16 ~x4776+8 ~x4775+4 ~x4774+2 ~x4773+1 ~x4772-0=16382
47.28/47.34	c 2048 ~x1840586+1024 ~x1840585+512 ~x1840584+256 ~x1840583+128 ~x1840582+64 ~x1840581+32 ~x1840580+16 ~x1840579+8 ~x1840578+4 ~x1840577+2 ~x1840576+1 ~x1840575+2048 x7842+2048 ~x4813+1024 ~x4812+512 ~x4811+256 ~x4810+128 ~x4809+64 ~x4808+32 ~x4807+16 ~x4806+8 ~x4805+4 ~x4804+2 ~x4803+1 ~x4802-0=8190
47.37/47.40	c 4096 ~x1842935+2048 ~x1842934+1024 ~x1842933+512 ~x1842932+256 ~x1842931+128 ~x1842930+64 ~x1842929+32 ~x1842928+16 ~x1842927+8 ~x1842926+4 ~x1842925+2 ~x1842924+1 ~x1842923+6144 x7843+4096 ~x4844+2048 ~x4843+1024 ~x4842+512 ~x4841+256 ~x4840+128 ~x4839+64 ~x4838+32 ~x4837+16 ~x4836+8 ~x4835+4 ~x4834+2 ~x4833+1 ~x4832-0=16382
47.37/47.47	c 2048 ~x1845634+1024 ~x1845633+512 ~x1845632+256 ~x1845631+128 ~x1845630+64 ~x1845629+32 ~x1845628+16 ~x1845627+8 ~x1845626+4 ~x1845625+2 ~x1845624+1 ~x1845623+2048 x7844+2048 ~x4873+1024 ~x4872+512 ~x4871+256 ~x4870+128 ~x4869+64 ~x4868+32 ~x4867+16 ~x4866+8 ~x4865+4 ~x4864+2 ~x4863+1 ~x4862-0=8190
47.47/47.53	c 4096 ~x1847983+2048 ~x1847982+1024 ~x1847981+512 ~x1847980+256 ~x1847979+128 ~x1847978+64 ~x1847977+32 ~x1847976+16 ~x1847975+8 ~x1847974+4 ~x1847973+2 ~x1847972+1 ~x1847971+6144 x7845+4096 ~x4904+2048 ~x4903+1024 ~x4902+512 ~x4901+256 ~x4900+128 ~x4899+64 ~x4898+32 ~x4897+16 ~x4896+8 ~x4895+4 ~x4894+2 ~x4893+1 ~x4892-0=16382
47.57/47.60	c 4096 ~x1850683+2048 ~x1850682+1024 ~x1850681+512 ~x1850680+256 ~x1850679+128 ~x1850678+64 ~x1850677+32 ~x1850676+16 ~x1850675+8 ~x1850674+4 ~x1850673+2 ~x1850672+1 ~x1850671+6144 x7846+4096 ~x4934+2048 ~x4933+1024 ~x4932+512 ~x4931+256 ~x4930+128 ~x4929+64 ~x4928+32 ~x4927+16 ~x4926+8 ~x4925+4 ~x4924+2 ~x4923+1 ~x4922-0=16382
47.57/47.67	c 4096 ~x1853383+2048 ~x1853382+1024 ~x1853381+512 ~x1853380+256 ~x1853379+128 ~x1853378+64 ~x1853377+32 ~x1853376+16 ~x1853375+8 ~x1853374+4 ~x1853373+2 ~x1853372+1 ~x1853371+6144 x7847+4096 ~x4964+2048 ~x4963+1024 ~x4962+512 ~x4961+256 ~x4960+128 ~x4959+64 ~x4958+32 ~x4957+16 ~x4956+8 ~x4955+4 ~x4954+2 ~x4953+1 ~x4952-0=16382
47.67/47.73	c 4096 ~x1856083+2048 ~x1856082+1024 ~x1856081+512 ~x1856080+256 ~x1856079+128 ~x1856078+64 ~x1856077+32 ~x1856076+16 ~x1856075+8 ~x1856074+4 ~x1856073+2 ~x1856072+1 ~x1856071+6144 x7848+4096 ~x4994+2048 ~x4993+1024 ~x4992+512 ~x4991+256 ~x4990+128 ~x4989+64 ~x4988+32 ~x4987+16 ~x4986+8 ~x4985+4 ~x4984+2 ~x4983+1 ~x4982-0=16382
47.77/47.80	c 4096 ~x1858783+2048 ~x1858782+1024 ~x1858781+512 ~x1858780+256 ~x1858779+128 ~x1858778+64 ~x1858777+32 ~x1858776+16 ~x1858775+8 ~x1858774+4 ~x1858773+2 ~x1858772+1 ~x1858771+6144 x7849+4096 ~x5024+2048 ~x5023+1024 ~x5022+512 ~x5021+256 ~x5020+128 ~x5019+64 ~x5018+32 ~x5017+16 ~x5016+8 ~x5015+4 ~x5014+2 ~x5013+1 ~x5012-0=16382
47.77/47.87	c 16384 ~x1861485+8192 ~x1861484+4096 ~x1861483+2048 ~x1861482+1024 ~x1861481+512 ~x1861480+256 ~x1861479+128 ~x1861478+64 ~x1861477+32 ~x1861476+16 ~x1861475+8 ~x1861474+4 ~x1861473+2 ~x1861472+1 ~x1861471+16384 x7850+16384 ~x5056+8192 ~x5055+4096 ~x5054+2048 ~x5053+1024 ~x5052+512 ~x5051+256 ~x5050+128 ~x5049+64 ~x5048+32 ~x5047+16 ~x5046+8 ~x5045+4 ~x5044+2 ~x5043+1 ~x5042-0=65534
47.87/47.97	c 1024 ~x1865516+512 ~x1865515+256 ~x1865514+128 ~x1865513+64 ~x1865512+32 ~x1865511+16 ~x1865510+8 ~x1865509+4 ~x1865508+2 ~x1865507+1 ~x1865506+1024 x7851+1024 ~x5082+512 ~x5081+256 ~x5080+128 ~x5079+64 ~x5078+32 ~x5077+16 ~x5076+8 ~x5075+4 ~x5074+2 ~x5073+1 ~x5072-0=4094
47.97/48.03	c 4096 ~x1867631+2048 ~x1867630+1024 ~x1867629+512 ~x1867628+256 ~x1867627+128 ~x1867626+64 ~x1867625+32 ~x1867624+16 ~x1867623+8 ~x1867622+4 ~x1867621+2 ~x1867620+1 ~x1867619+6144 x7852+4096 ~x5114+2048 ~x5113+1024 ~x5112+512 ~x5111+256 ~x5110+128 ~x5109+64 ~x5108+32 ~x5107+16 ~x5106+8 ~x5105+4 ~x5104+2 ~x5103+1 ~x5102-0=16382
47.97/48.09	c 4096 ~x1870331+2048 ~x1870330+1024 ~x1870329+512 ~x1870328+256 ~x1870327+128 ~x1870326+64 ~x1870325+32 ~x1870324+16 ~x1870323+8 ~x1870322+4 ~x1870321+2 ~x1870320+1 ~x1870319+6144 x7853+4096 ~x5144+2048 ~x5143+1024 ~x5142+512 ~x5141+256 ~x5140+128 ~x5139+64 ~x5138+32 ~x5137+16 ~x5136+8 ~x5135+4 ~x5134+2 ~x5133+1 ~x5132-0=16382
48.07/48.16	c 1024 ~x1873029+512 ~x1873028+256 ~x1873027+128 ~x1873026+64 ~x1873025+32 ~x1873024+16 ~x1873023+8 ~x1873022+4 ~x1873021+2 ~x1873020+1 ~x1873019+1024 x7854+1024 ~x5172+512 ~x5171+256 ~x5170+128 ~x5169+64 ~x5168+32 ~x5167+16 ~x5166+8 ~x5165+4 ~x5164+2 ~x5163+1 ~x5162-0=4094
48.17/48.22	c 4096 ~x1875144+2048 ~x1875143+1024 ~x1875142+512 ~x1875141+256 ~x1875140+128 ~x1875139+64 ~x1875138+32 ~x1875137+16 ~x1875136+8 ~x1875135+4 ~x1875134+2 ~x1875133+1 ~x1875132+6144 x7855+4096 ~x5204+2048 ~x5203+1024 ~x5202+512 ~x5201+256 ~x5200+128 ~x5199+64 ~x5198+32 ~x5197+16 ~x5196+8 ~x5195+4 ~x5194+2 ~x5193+1 ~x5192-0=16382
48.17/48.28	c 4096 ~x1877844+2048 ~x1877843+1024 ~x1877842+512 ~x1877841+256 ~x1877840+128 ~x1877839+64 ~x1877838+32 ~x1877837+16 ~x1877836+8 ~x1877835+4 ~x1877834+2 ~x1877833+1 ~x1877832+6144 x7856+4096 ~x5234+2048 ~x5233+1024 ~x5232+512 ~x5231+256 ~x5230+128 ~x5229+64 ~x5228+32 ~x5227+16 ~x5226+8 ~x5225+4 ~x5224+2 ~x5223+1 ~x5222-0=16382
48.28/48.35	c 1024 ~x1880542+512 ~x1880541+256 ~x1880540+128 ~x1880539+64 ~x1880538+32 ~x1880537+16 ~x1880536+8 ~x1880535+4 ~x1880534+2 ~x1880533+1 ~x1880532+1024 x7857+1024 ~x5262+512 ~x5261+256 ~x5260+128 ~x5259+64 ~x5258+32 ~x5257+16 ~x5256+8 ~x5255+4 ~x5254+2 ~x5253+1 ~x5252-0=4094
48.38/48.41	c 16384 ~x1882659+8192 ~x1882658+4096 ~x1882657+2048 ~x1882656+1024 ~x1882655+512 ~x1882654+256 ~x1882653+128 ~x1882652+64 ~x1882651+32 ~x1882650+16 ~x1882649+8 ~x1882648+4 ~x1882647+2 ~x1882646+1 ~x1882645+24576 x7858+16384 ~x5296+8192 ~x5295+4096 ~x5294+2048 ~x5293+1024 ~x5292+512 ~x5291+256 ~x5290+128 ~x5289+64 ~x5288+32 ~x5287+16 ~x5286+8 ~x5285+4 ~x5284+2 ~x5283+1 ~x5282-0=65534
48.47/48.51	c 16384 ~x1886951+8192 ~x1886950+4096 ~x1886949+2048 ~x1886948+1024 ~x1886947+512 ~x1886946+256 ~x1886945+128 ~x1886944+64 ~x1886943+32 ~x1886942+16 ~x1886941+8 ~x1886940+4 ~x1886939+2 ~x1886938+1 ~x1886937+17408 x7859+16384 ~x5326+8192 ~x5325+4096 ~x5324+2048 ~x5323+1024 ~x5322+512 ~x5321+256 ~x5320+128 ~x5319+64 ~x5318+32 ~x5317+16 ~x5316+8 ~x5315+4 ~x5314+2 ~x5313+1 ~x5312-0=65534
48.57/48.62	c 1024 ~x1890982+512 ~x1890981+256 ~x1890980+128 ~x1890979+64 ~x1890978+32 ~x1890977+16 ~x1890976+8 ~x1890975+4 ~x1890974+2 ~x1890973+1 ~x1890972+1024 x7860+1024 ~x5352+512 ~x5351+256 ~x5350+128 ~x5349+64 ~x5348+32 ~x5347+16 ~x5346+8 ~x5345+4 ~x5344+2 ~x5343+1 ~x5342-0=4094
48.57/48.67	c 16384 ~x1893099+8192 ~x1893098+4096 ~x1893097+2048 ~x1893096+1024 ~x1893095+512 ~x1893094+256 ~x1893093+128 ~x1893092+64 ~x1893091+32 ~x1893090+16 ~x1893089+8 ~x1893088+4 ~x1893087+2 ~x1893086+1 ~x1893085+22528 x7861+16384 ~x5386+8192 ~x5385+4096 ~x5384+2048 ~x5383+1024 ~x5382+512 ~x5381+256 ~x5380+128 ~x5379+64 ~x5378+32 ~x5377+16 ~x5376+8 ~x5375+4 ~x5374+2 ~x5373+1 ~x5372-0=65534
48.67/48.78	c 16384 ~x1897391+8192 ~x1897390+4096 ~x1897389+2048 ~x1897388+1024 ~x1897387+512 ~x1897386+256 ~x1897385+128 ~x1897384+64 ~x1897383+32 ~x1897382+16 ~x1897381+8 ~x1897380+4 ~x1897379+2 ~x1897378+1 ~x1897377+24576 x7862+16384 ~x5416+8192 ~x5415+4096 ~x5414+2048 ~x5413+1024 ~x5412+512 ~x5411+256 ~x5410+128 ~x5409+64 ~x5408+32 ~x5407+16 ~x5406+8 ~x5405+4 ~x5404+2 ~x5403+1 ~x5402-0=65534
48.77/48.88	c 16384 ~x1901683+8192 ~x1901682+4096 ~x1901681+2048 ~x1901680+1024 ~x1901679+512 ~x1901678+256 ~x1901677+128 ~x1901676+64 ~x1901675+32 ~x1901674+16 ~x1901673+8 ~x1901672+4 ~x1901671+2 ~x1901670+1 ~x1901669+17408 x7863+16384 ~x5446+8192 ~x5445+4096 ~x5444+2048 ~x5443+1024 ~x5442+512 ~x5441+256 ~x5440+128 ~x5439+64 ~x5438+32 ~x5437+16 ~x5436+8 ~x5435+4 ~x5434+2 ~x5433+1 ~x5432-0=65534
48.87/48.98	c 8192 ~x1905717+4096 ~x1905716+2048 ~x1905715+1024 ~x1905714+512 ~x1905713+256 ~x1905712+128 ~x1905711+64 ~x1905710+32 ~x1905709+16 ~x1905708+8 ~x1905707+4 ~x1905706+2 ~x1905705+1 ~x1905704+10240 x7864+8192 ~x5475+4096 ~x5474+2048 ~x5473+1024 ~x5472+512 ~x5471+256 ~x5470+128 ~x5469+64 ~x5468+32 ~x5467+16 ~x5466+8 ~x5465+4 ~x5464+2 ~x5463+1 ~x5462-0=32766
48.97/49.08	c 8192 ~x1909433+4096 ~x1909432+2048 ~x1909431+1024 ~x1909430+512 ~x1909429+256 ~x1909428+128 ~x1909427+64 ~x1909426+32 ~x1909425+16 ~x1909424+8 ~x1909423+4 ~x1909422+2 ~x1909421+1 ~x1909420+10240 x7865+8192 ~x5505+4096 ~x5504+2048 ~x5503+1024 ~x5502+512 ~x5501+256 ~x5500+128 ~x5499+64 ~x5498+32 ~x5497+16 ~x5496+8 ~x5495+4 ~x5494+2 ~x5493+1 ~x5492-0=32766
49.07/49.17	c 2048 ~x1913147+1024 ~x1913146+512 ~x1913145+256 ~x1913144+128 ~x1913143+64 ~x1913142+32 ~x1913141+16 ~x1913140+8 ~x1913139+4 ~x1913138+2 ~x1913137+1 ~x1913136+2048 x7866+2048 ~x5533+1024 ~x5532+512 ~x5531+256 ~x5530+128 ~x5529+64 ~x5528+32 ~x5527+16 ~x5526+8 ~x5525+4 ~x5524+2 ~x5523+1 ~x5522-0=8190
49.17/49.23	c 8192 ~x1915497+4096 ~x1915496+2048 ~x1915495+1024 ~x1915494+512 ~x1915493+256 ~x1915492+128 ~x1915491+64 ~x1915490+32 ~x1915489+16 ~x1915488+8 ~x1915487+4 ~x1915486+2 ~x1915485+1 ~x1915484+10240 x7867+8192 ~x5565+4096 ~x5564+2048 ~x5563+1024 ~x5562+512 ~x5561+256 ~x5560+128 ~x5559+64 ~x5558+32 ~x5557+16 ~x5556+8 ~x5555+4 ~x5554+2 ~x5553+1 ~x5552-0=32766
49.27/49.33	c 2048 ~x1919211+1024 ~x1919210+512 ~x1919209+256 ~x1919208+128 ~x1919207+64 ~x1919206+32 ~x1919205+16 ~x1919204+8 ~x1919203+4 ~x1919202+2 ~x1919201+1 ~x1919200+2048 x7868+2048 ~x5593+1024 ~x5592+512 ~x5591+256 ~x5590+128 ~x5589+64 ~x5588+32 ~x5587+16 ~x5586+8 ~x5585+4 ~x5584+2 ~x5583+1 ~x5582-0=8190
49.27/49.39	c 8192 ~x1921561+4096 ~x1921560+2048 ~x1921559+1024 ~x1921558+512 ~x1921557+256 ~x1921556+128 ~x1921555+64 ~x1921554+32 ~x1921553+16 ~x1921552+8 ~x1921551+4 ~x1921550+2 ~x1921549+1 ~x1921548+10240 x7869+8192 ~x5625+4096 ~x5624+2048 ~x5623+1024 ~x5622+512 ~x5621+256 ~x5620+128 ~x5619+64 ~x5618+32 ~x5617+16 ~x5616+8 ~x5615+4 ~x5614+2 ~x5613+1 ~x5612-0=32766
49.37/49.48	c 8192 ~x1925277+4096 ~x1925276+2048 ~x1925275+1024 ~x1925274+512 ~x1925273+256 ~x1925272+128 ~x1925271+64 ~x1925270+32 ~x1925269+16 ~x1925268+8 ~x1925267+4 ~x1925266+2 ~x1925265+1 ~x1925264+10240 x7870+8192 ~x5655+4096 ~x5654+2048 ~x5653+1024 ~x5652+512 ~x5651+256 ~x5650+128 ~x5649+64 ~x5648+32 ~x5647+16 ~x5646+8 ~x5645+4 ~x5644+2 ~x5643+1 ~x5642-0=32766
49.47/49.57	c 8192 ~x1928993+4096 ~x1928992+2048 ~x1928991+1024 ~x1928990+512 ~x1928989+256 ~x1928988+128 ~x1928987+64 ~x1928986+32 ~x1928985+16 ~x1928984+8 ~x1928983+4 ~x1928982+2 ~x1928981+1 ~x1928980+8192 x7871+8192 ~x5685+4096 ~x5684+2048 ~x5683+1024 ~x5682+512 ~x5681+256 ~x5680+128 ~x5679+64 ~x5678+32 ~x5677+16 ~x5676+8 ~x5675+4 ~x5674+2 ~x5673+1 ~x5672-0=32766
49.57/49.67	c 2048 ~x1932707+1024 ~x1932706+512 ~x1932705+256 ~x1932704+128 ~x1932703+64 ~x1932702+32 ~x1932701+16 ~x1932700+8 ~x1932699+4 ~x1932698+2 ~x1932697+1 ~x1932696+2048 x7872+2048 ~x5713+1024 ~x5712+512 ~x5711+256 ~x5710+128 ~x5709+64 ~x5708+32 ~x5707+16 ~x5706+8 ~x5705+4 ~x5704+2 ~x5703+1 ~x5702-0=8190
49.67/49.73	c 8192 ~x1935057+4096 ~x1935056+2048 ~x1935055+1024 ~x1935054+512 ~x1935053+256 ~x1935052+128 ~x1935051+64 ~x1935050+32 ~x1935049+16 ~x1935048+8 ~x1935047+4 ~x1935046+2 ~x1935045+1 ~x1935044+9216 x7873+8192 ~x5745+4096 ~x5744+2048 ~x5743+1024 ~x5742+512 ~x5741+256 ~x5740+128 ~x5739+64 ~x5738+32 ~x5737+16 ~x5736+8 ~x5735+4 ~x5734+2 ~x5733+1 ~x5732-0=32766
49.77/49.82	c 8192 ~x1938773+4096 ~x1938772+2048 ~x1938771+1024 ~x1938770+512 ~x1938769+256 ~x1938768+128 ~x1938767+64 ~x1938766+32 ~x1938765+16 ~x1938764+8 ~x1938763+4 ~x1938762+2 ~x1938761+1 ~x1938760+10240 x7874+8192 ~x5775+4096 ~x5774+2048 ~x5773+1024 ~x5772+512 ~x5771+256 ~x5770+128 ~x5769+64 ~x5768+32 ~x5767+16 ~x5766+8 ~x5765+4 ~x5764+2 ~x5763+1 ~x5762-0=32766
49.87/49.91	c 1024 ~x1942486+512 ~x1942485+256 ~x1942484+128 ~x1942483+64 ~x1942482+32 ~x1942481+16 ~x1942480+8 ~x1942479+4 ~x1942478+2 ~x1942477+1 ~x1942476+1024 x7875+1024 ~x5802+512 ~x5801+256 ~x5800+128 ~x5799+64 ~x5798+32 ~x5797+16 ~x5796+8 ~x5795+4 ~x5794+2 ~x5793+1 ~x5792-0=4094
49.87/49.97	c 8192 ~x1944602+4096 ~x1944601+2048 ~x1944600+1024 ~x1944599+512 ~x1944598+256 ~x1944597+128 ~x1944596+64 ~x1944595+32 ~x1944594+16 ~x1944593+8 ~x1944592+4 ~x1944591+2 ~x1944590+1 ~x1944589+10240 x7876+8192 ~x5835+4096 ~x5834+2048 ~x5833+1024 ~x5832+512 ~x5831+256 ~x5830+128 ~x5829+64 ~x5828+32 ~x5827+16 ~x5826+8 ~x5825+4 ~x5824+2 ~x5823+1 ~x5822-0=32766
49.97/50.06	c 8192 ~x1948318+4096 ~x1948317+2048 ~x1948316+1024 ~x1948315+512 ~x1948314+256 ~x1948313+128 ~x1948312+64 ~x1948311+32 ~x1948310+16 ~x1948309+8 ~x1948308+4 ~x1948307+2 ~x1948306+1 ~x1948305+10240 x7877+8192 ~x5865+4096 ~x5864+2048 ~x5863+1024 ~x5862+512 ~x5861+256 ~x5860+128 ~x5859+64 ~x5858+32 ~x5857+16 ~x5856+8 ~x5855+4 ~x5854+2 ~x5853+1 ~x5852-0=32766
50.07/50.19	c 1024 ~x1952031+512 ~x1952030+256 ~x1952029+128 ~x1952028+64 ~x1952027+32 ~x1952026+16 ~x1952025+8 ~x1952024+4 ~x1952023+2 ~x1952022+1 ~x1952021+1024 x7878+1024 ~x5892+512 ~x5891+256 ~x5890+128 ~x5889+64 ~x5888+32 ~x5887+16 ~x5886+8 ~x5885+4 ~x5884+2 ~x5883+1 ~x5882-0=4094
50.17/50.24	c 8192 ~x1954147+4096 ~x1954146+2048 ~x1954145+1024 ~x1954144+512 ~x1954143+256 ~x1954142+128 ~x1954141+64 ~x1954140+32 ~x1954139+16 ~x1954138+8 ~x1954137+4 ~x1954136+2 ~x1954135+1 ~x1954134+10240 x7879+8192 ~x5925+4096 ~x5924+2048 ~x5923+1024 ~x5922+512 ~x5921+256 ~x5920+128 ~x5919+64 ~x5918+32 ~x5917+16 ~x5916+8 ~x5915+4 ~x5914+2 ~x5913+1 ~x5912-0=32766
50.27/50.34	c 8192 ~x1957863+4096 ~x1957862+2048 ~x1957861+1024 ~x1957860+512 ~x1957859+256 ~x1957858+128 ~x1957857+64 ~x1957856+32 ~x1957855+16 ~x1957854+8 ~x1957853+4 ~x1957852+2 ~x1957851+1 ~x1957850+10240 x7880+8192 ~x5955+4096 ~x5954+2048 ~x5953+1024 ~x5952+512 ~x5951+256 ~x5950+128 ~x5949+64 ~x5948+32 ~x5947+16 ~x5946+8 ~x5945+4 ~x5944+2 ~x5943+1 ~x5942-0=32766
50.37/50.43	c 2048 ~x1961577+1024 ~x1961576+512 ~x1961575+256 ~x1961574+128 ~x1961573+64 ~x1961572+32 ~x1961571+16 ~x1961570+8 ~x1961569+4 ~x1961568+2 ~x1961567+1 ~x1961566+3072 x7881+2048 ~x5983+1024 ~x5982+512 ~x5981+256 ~x5980+128 ~x5979+64 ~x5978+32 ~x5977+16 ~x5976+8 ~x5975+4 ~x5974+2 ~x5973+1 ~x5972-0=8190
50.37/50.49	c 2048 ~x1963925+1024 ~x1963924+512 ~x1963923+256 ~x1963922+128 ~x1963921+64 ~x1963920+32 ~x1963919+16 ~x1963918+8 ~x1963917+4 ~x1963916+2 ~x1963915+1 ~x1963914+3072 x7882+2048 ~x6013+1024 ~x6012+512 ~x6011+256 ~x6010+128 ~x6009+64 ~x6008+32 ~x6007+16 ~x6006+8 ~x6005+4 ~x6004+2 ~x6003+1 ~x6002-0=8190
50.48/50.55	c 16384 ~x1966276+8192 ~x1966275+4096 ~x1966274+2048 ~x1966273+1024 ~x1966272+512 ~x1966271+256 ~x1966270+128 ~x1966269+64 ~x1966268+32 ~x1966267+16 ~x1966266+8 ~x1966265+4 ~x1966264+2 ~x1966263+1 ~x1966262+22528 x7883+16384 ~x6046+8192 ~x6045+4096 ~x6044+2048 ~x6043+1024 ~x6042+512 ~x6041+256 ~x6040+128 ~x6039+64 ~x6038+32 ~x6037+16 ~x6036+8 ~x6035+4 ~x6034+2 ~x6033+1 ~x6032-0=65534
50.58/50.66	c 2048 ~x1970565+1024 ~x1970564+512 ~x1970563+256 ~x1970562+128 ~x1970561+64 ~x1970560+32 ~x1970559+16 ~x1970558+8 ~x1970557+4 ~x1970556+2 ~x1970555+1 ~x1970554+2048 x7884+2048 ~x6073+1024 ~x6072+512 ~x6071+256 ~x6070+128 ~x6069+64 ~x6068+32 ~x6067+16 ~x6066+8 ~x6065+4 ~x6064+2 ~x6063+1 ~x6062-0=8190
50.67/50.72	c 2048 ~x1972913+1024 ~x1972912+512 ~x1972911+256 ~x1972910+128 ~x1972909+64 ~x1972908+32 ~x1972907+16 ~x1972906+8 ~x1972905+4 ~x1972904+2 ~x1972903+1 ~x1972902+3072 x7885+2048 ~x6103+1024 ~x6102+512 ~x6101+256 ~x6100+128 ~x6099+64 ~x6098+32 ~x6097+16 ~x6096+8 ~x6095+4 ~x6094+2 ~x6093+1 ~x6092-0=8190
50.67/50.78	c 2048 ~x1975261+1024 ~x1975260+512 ~x1975259+256 ~x1975258+128 ~x1975257+64 ~x1975256+32 ~x1975255+16 ~x1975254+8 ~x1975253+4 ~x1975252+2 ~x1975251+1 ~x1975250+2048 x7886+2048 ~x6133+1024 ~x6132+512 ~x6131+256 ~x6130+128 ~x6129+64 ~x6128+32 ~x6127+16 ~x6126+8 ~x6125+4 ~x6124+2 ~x6123+1 ~x6122-0=8190
50.77/50.84	c 2048 ~x1977609+1024 ~x1977608+512 ~x1977607+256 ~x1977606+128 ~x1977605+64 ~x1977604+32 ~x1977603+16 ~x1977602+8 ~x1977601+4 ~x1977600+2 ~x1977599+1 ~x1977598+3072 x7887+2048 ~x6163+1024 ~x6162+512 ~x6161+256 ~x6160+128 ~x6159+64 ~x6158+32 ~x6157+16 ~x6156+8 ~x6155+4 ~x6154+2 ~x6153+1 ~x6152-0=8190
50.87/50.90	c 2048 ~x1979957+1024 ~x1979956+512 ~x1979955+256 ~x1979954+128 ~x1979953+64 ~x1979952+32 ~x1979951+16 ~x1979950+8 ~x1979949+4 ~x1979948+2 ~x1979947+1 ~x1979946+3072 x7888+2048 ~x6193+1024 ~x6192+512 ~x6191+256 ~x6190+128 ~x6189+64 ~x6188+32 ~x6187+16 ~x6186+8 ~x6185+4 ~x6184+2 ~x6183+1 ~x6182-0=8190
50.87/50.96	c 2048 ~x1982305+1024 ~x1982304+512 ~x1982303+256 ~x1982302+128 ~x1982301+64 ~x1982300+32 ~x1982299+16 ~x1982298+8 ~x1982297+4 ~x1982296+2 ~x1982295+1 ~x1982294+3072 x7889+2048 ~x6223+1024 ~x6222+512 ~x6221+256 ~x6220+128 ~x6219+64 ~x6218+32 ~x6217+16 ~x6216+8 ~x6215+4 ~x6214+2 ~x6213+1 ~x6212-0=8190
50.97/51.02	c 2048 ~x1984653+1024 ~x1984652+512 ~x1984651+256 ~x1984650+128 ~x1984649+64 ~x1984648+32 ~x1984647+16 ~x1984646+8 ~x1984645+4 ~x1984644+2 ~x1984643+1 ~x1984642+3072 x7890+2048 ~x6253+1024 ~x6252+512 ~x6251+256 ~x6250+128 ~x6249+64 ~x6248+32 ~x6247+16 ~x6246+8 ~x6245+4 ~x6244+2 ~x6243+1 ~x6242-0=8190
50.97/51.08	c 2048 ~x1987001+1024 ~x1987000+512 ~x1986999+256 ~x1986998+128 ~x1986997+64 ~x1986996+32 ~x1986995+16 ~x1986994+8 ~x1986993+4 ~x1986992+2 ~x1986991+1 ~x1986990+3072 x7891+2048 ~x6283+1024 ~x6282+512 ~x6281+256 ~x6280+128 ~x6279+64 ~x6278+32 ~x6277+16 ~x6276+8 ~x6275+4 ~x6274+2 ~x6273+1 ~x6272-0=8190
51.07/51.14	c 1024 ~x1989348+512 ~x1989347+256 ~x1989346+128 ~x1989345+64 ~x1989344+32 ~x1989343+16 ~x1989342+8 ~x1989341+4 ~x1989340+2 ~x1989339+1 ~x1989338+1024 x7892+1024 ~x6312+512 ~x6311+256 ~x6310+128 ~x6309+64 ~x6308+32 ~x6307+16 ~x6306+8 ~x6305+4 ~x6304+2 ~x6303+1 ~x6302-0=4094
51.17/51.20	c 2048 ~x1991462+1024 ~x1991461+512 ~x1991460+256 ~x1991459+128 ~x1991458+64 ~x1991457+32 ~x1991456+16 ~x1991455+8 ~x1991454+4 ~x1991453+2 ~x1991452+1 ~x1991451+3072 x7893+2048 ~x6343+1024 ~x6342+512 ~x6341+256 ~x6340+128 ~x6339+64 ~x6338+32 ~x6337+16 ~x6336+8 ~x6335+4 ~x6334+2 ~x6333+1 ~x6332-0=8190
51.17/51.26	c 16384 ~x1993813+8192 ~x1993812+4096 ~x1993811+2048 ~x1993810+1024 ~x1993809+512 ~x1993808+256 ~x1993807+128 ~x1993806+64 ~x1993805+32 ~x1993804+16 ~x1993803+8 ~x1993802+4 ~x1993801+2 ~x1993800+1 ~x1993799+22528 x7894+16384 ~x6376+8192 ~x6375+4096 ~x6374+2048 ~x6373+1024 ~x6372+512 ~x6371+256 ~x6370+128 ~x6369+64 ~x6368+32 ~x6367+16 ~x6366+8 ~x6365+4 ~x6364+2 ~x6363+1 ~x6362-0=65534
51.27/51.36	c 2048 ~x1998102+1024 ~x1998101+512 ~x1998100+256 ~x1998099+128 ~x1998098+64 ~x1998097+32 ~x1998096+16 ~x1998095+8 ~x1998094+4 ~x1998093+2 ~x1998092+1 ~x1998091+3072 x7895+2048 ~x6403+1024 ~x6402+512 ~x6401+256 ~x6400+128 ~x6399+64 ~x6398+32 ~x6397+16 ~x6396+8 ~x6395+4 ~x6394+2 ~x6393+1 ~x6392-0=8190
51.37/51.42	c 1024 ~x2000449+512 ~x2000448+256 ~x2000447+128 ~x2000446+64 ~x2000445+32 ~x2000444+16 ~x2000443+8 ~x2000442+4 ~x2000441+2 ~x2000440+1 ~x2000439+1024 x7896+1024 ~x6432+512 ~x6431+256 ~x6430+128 ~x6429+64 ~x6428+32 ~x6427+16 ~x6426+8 ~x6425+4 ~x6424+2 ~x6423+1 ~x6422-0=4094
51.37/51.48	c 2048 ~x2002563+1024 ~x2002562+512 ~x2002561+256 ~x2002560+128 ~x2002559+64 ~x2002558+32 ~x2002557+16 ~x2002556+8 ~x2002555+4 ~x2002554+2 ~x2002553+1 ~x2002552+3072 x7897+2048 ~x6463+1024 ~x6462+512 ~x6461+256 ~x6460+128 ~x6459+64 ~x6458+32 ~x6457+16 ~x6456+8 ~x6455+4 ~x6454+2 ~x6453+1 ~x6452-0=8190
51.47/51.54	c 2048 ~x2004911+1024 ~x2004910+512 ~x2004909+256 ~x2004908+128 ~x2004907+64 ~x2004906+32 ~x2004905+16 ~x2004904+8 ~x2004903+4 ~x2004902+2 ~x2004901+1 ~x2004900+3072 x7898+2048 ~x6493+1024 ~x6492+512 ~x6491+256 ~x6490+128 ~x6489+64 ~x6488+32 ~x6487+16 ~x6486+8 ~x6485+4 ~x6484+2 ~x6483+1 ~x6482-0=8190
51.47/51.60	c 8192 ~x2007261+4096 ~x2007260+2048 ~x2007259+1024 ~x2007258+512 ~x2007257+256 ~x2007256+128 ~x2007255+64 ~x2007254+32 ~x2007253+16 ~x2007252+8 ~x2007251+4 ~x2007250+2 ~x2007249+1 ~x2007248+11264 x7899+8192 ~x6525+4096 ~x6524+2048 ~x6523+1024 ~x6522+512 ~x6521+256 ~x6520+128 ~x6519+64 ~x6518+32 ~x6517+16 ~x6516+8 ~x6515+4 ~x6514+2 ~x6513+1 ~x6512-0=32766
51.57/51.69	c 16384 ~x2010978+8192 ~x2010977+4096 ~x2010976+2048 ~x2010975+1024 ~x2010974+512 ~x2010973+256 ~x2010972+128 ~x2010971+64 ~x2010970+32 ~x2010969+16 ~x2010968+8 ~x2010967+4 ~x2010966+2 ~x2010965+1 ~x2010964+18432 x7900+16384 ~x6556+8192 ~x6555+4096 ~x6554+2048 ~x6553+1024 ~x6552+512 ~x6551+256 ~x6550+128 ~x6549+64 ~x6548+32 ~x6547+16 ~x6546+8 ~x6545+4 ~x6544+2 ~x6543+1 ~x6542-0=65534
51.68/51.79	c 2048 ~x2015010+1024 ~x2015009+512 ~x2015008+256 ~x2015007+128 ~x2015006+64 ~x2015005+32 ~x2015004+16 ~x2015003+8 ~x2015002+4 ~x2015001+2 ~x2015000+1 ~x2014999+2048 x7901+2048 ~x6583+1024 ~x6582+512 ~x6581+256 ~x6580+128 ~x6579+64 ~x6578+32 ~x6577+16 ~x6576+8 ~x6575+4 ~x6574+2 ~x6573+1 ~x6572-0=8190
51.77/51.86	c 16384 ~x2017361+8192 ~x2017360+4096 ~x2017359+2048 ~x2017358+1024 ~x2017357+512 ~x2017356+256 ~x2017355+128 ~x2017354+64 ~x2017353+32 ~x2017352+16 ~x2017351+8 ~x2017350+4 ~x2017349+2 ~x2017348+1 ~x2017347+18432 x7902+16384 ~x6616+8192 ~x6615+4096 ~x6614+2048 ~x6613+1024 ~x6612+512 ~x6611+256 ~x6610+128 ~x6609+64 ~x6608+32 ~x6607+16 ~x6606+8 ~x6605+4 ~x6604+2 ~x6603+1 ~x6602-0=65534
51.87/51.96	c 2048 ~x2021393+1024 ~x2021392+512 ~x2021391+256 ~x2021390+128 ~x2021389+64 ~x2021388+32 ~x2021387+16 ~x2021386+8 ~x2021385+4 ~x2021384+2 ~x2021383+1 ~x2021382+2048 x7903+2048 ~x6643+1024 ~x6642+512 ~x6641+256 ~x6640+128 ~x6639+64 ~x6638+32 ~x6637+16 ~x6636+8 ~x6635+4 ~x6634+2 ~x6633+1 ~x6632-0=8190
51.97/52.02	c 16384 ~x2023744+8192 ~x2023743+4096 ~x2023742+2048 ~x2023741+1024 ~x2023740+512 ~x2023739+256 ~x2023738+128 ~x2023737+64 ~x2023736+32 ~x2023735+16 ~x2023734+8 ~x2023733+4 ~x2023732+2 ~x2023731+1 ~x2023730+18432 x7904+16384 ~x6676+8192 ~x6675+4096 ~x6674+2048 ~x6673+1024 ~x6672+512 ~x6671+256 ~x6670+128 ~x6669+64 ~x6668+32 ~x6667+16 ~x6666+8 ~x6665+4 ~x6664+2 ~x6663+1 ~x6662-0=65534
52.07/52.12	c 8192 ~x2027778+4096 ~x2027777+2048 ~x2027776+1024 ~x2027775+512 ~x2027774+256 ~x2027773+128 ~x2027772+64 ~x2027771+32 ~x2027770+16 ~x2027769+8 ~x2027768+4 ~x2027767+2 ~x2027766+1 ~x2027765+8192 x7905+8192 ~x6705+4096 ~x6704+2048 ~x6703+1024 ~x6702+512 ~x6701+256 ~x6700+128 ~x6699+64 ~x6698+32 ~x6697+16 ~x6696+8 ~x6695+4 ~x6694+2 ~x6693+1 ~x6692-0=32766
52.17/52.21	c 16384 ~x2031495+8192 ~x2031494+4096 ~x2031493+2048 ~x2031492+1024 ~x2031491+512 ~x2031490+256 ~x2031489+128 ~x2031488+64 ~x2031487+32 ~x2031486+16 ~x2031485+8 ~x2031484+4 ~x2031483+2 ~x2031482+1 ~x2031481+18432 x7906+16384 ~x6736+8192 ~x6735+4096 ~x6734+2048 ~x6733+1024 ~x6732+512 ~x6731+256 ~x6730+128 ~x6729+64 ~x6728+32 ~x6727+16 ~x6726+8 ~x6725+4 ~x6724+2 ~x6723+1 ~x6722-0=65534
52.27/52.31	c 8192 ~x2035529+4096 ~x2035528+2048 ~x2035527+1024 ~x2035526+512 ~x2035525+256 ~x2035524+128 ~x2035523+64 ~x2035522+32 ~x2035521+16 ~x2035520+8 ~x2035519+4 ~x2035518+2 ~x2035517+1 ~x2035516+8192 x7907+8192 ~x6765+4096 ~x6764+2048 ~x6763+1024 ~x6762+512 ~x6761+256 ~x6760+128 ~x6759+64 ~x6758+32 ~x6757+16 ~x6756+8 ~x6755+4 ~x6754+2 ~x6753+1 ~x6752-0=32766
52.37/52.41	c 8192 ~x2039245+4096 ~x2039244+2048 ~x2039243+1024 ~x2039242+512 ~x2039241+256 ~x2039240+128 ~x2039239+64 ~x2039238+32 ~x2039237+16 ~x2039236+8 ~x2039235+4 ~x2039234+2 ~x2039233+1 ~x2039232+9216 x7908+8192 ~x6795+4096 ~x6794+2048 ~x6793+1024 ~x6792+512 ~x6791+256 ~x6790+128 ~x6789+64 ~x6788+32 ~x6787+16 ~x6786+8 ~x6785+4 ~x6784+2 ~x6783+1 ~x6782-0=32766
52.47/52.50	c 16384 ~x2042962+8192 ~x2042961+4096 ~x2042960+2048 ~x2042959+1024 ~x2042958+512 ~x2042957+256 ~x2042956+128 ~x2042955+64 ~x2042954+32 ~x2042953+16 ~x2042952+8 ~x2042951+4 ~x2042950+2 ~x2042949+1 ~x2042948+16384 x7909+16384 ~x6826+8192 ~x6825+4096 ~x6824+2048 ~x6823+1024 ~x6822+512 ~x6821+256 ~x6820+128 ~x6819+64 ~x6818+32 ~x6817+16 ~x6816+8 ~x6815+4 ~x6814+2 ~x6813+1 ~x6812-0=65534
52.57/52.60	c 1024 ~x2046993+512 ~x2046992+256 ~x2046991+128 ~x2046990+64 ~x2046989+32 ~x2046988+16 ~x2046987+8 ~x2046986+4 ~x2046985+2 ~x2046984+1 ~x2046983+1024 x7910+1024 ~x6852+512 ~x6851+256 ~x6850+128 ~x6849+64 ~x6848+32 ~x6847+16 ~x6846+8 ~x6845+4 ~x6844+2 ~x6843+1 ~x6842-0=4094
52.57/52.66	c 16384 ~x2049110+8192 ~x2049109+4096 ~x2049108+2048 ~x2049107+1024 ~x2049106+512 ~x2049105+256 ~x2049104+128 ~x2049103+64 ~x2049102+32 ~x2049101+16 ~x2049100+8 ~x2049099+4 ~x2049098+2 ~x2049097+1 ~x2049096+18432 x7911+16384 ~x6886+8192 ~x6885+4096 ~x6884+2048 ~x6883+1024 ~x6882+512 ~x6881+256 ~x6880+128 ~x6879+64 ~x6878+32 ~x6877+16 ~x6876+8 ~x6875+4 ~x6874+2 ~x6873+1 ~x6872-0=65534
52.68/52.76	c 16384 ~x2053145+8192 ~x2053144+4096 ~x2053143+2048 ~x2053142+1024 ~x2053141+512 ~x2053140+256 ~x2053139+128 ~x2053138+64 ~x2053137+32 ~x2053136+16 ~x2053135+8 ~x2053134+4 ~x2053133+2 ~x2053132+1 ~x2053131+17408 x7912+16384 ~x6916+8192 ~x6915+4096 ~x6914+2048 ~x6913+1024 ~x6912+512 ~x6911+256 ~x6910+128 ~x6909+64 ~x6908+32 ~x6907+16 ~x6906+8 ~x6905+4 ~x6904+2 ~x6903+1 ~x6902-0=65534
52.78/52.86	c 1024 ~x2057176+512 ~x2057175+256 ~x2057174+128 ~x2057173+64 ~x2057172+32 ~x2057171+16 ~x2057170+8 ~x2057169+4 ~x2057168+2 ~x2057167+1 ~x2057166+1024 x7913+1024 ~x6942+512 ~x6941+256 ~x6940+128 ~x6939+64 ~x6938+32 ~x6937+16 ~x6936+8 ~x6935+4 ~x6934+2 ~x6933+1 ~x6932-0=4094
52.87/52.91	c 16384 ~x2059293+8192 ~x2059292+4096 ~x2059291+2048 ~x2059290+1024 ~x2059289+512 ~x2059288+256 ~x2059287+128 ~x2059286+64 ~x2059285+32 ~x2059284+16 ~x2059283+8 ~x2059282+4 ~x2059281+2 ~x2059280+1 ~x2059279+18432 x7914+16384 ~x6976+8192 ~x6975+4096 ~x6974+2048 ~x6973+1024 ~x6972+512 ~x6971+256 ~x6970+128 ~x6969+64 ~x6968+32 ~x6967+16 ~x6966+8 ~x6965+4 ~x6964+2 ~x6963+1 ~x6962-0=65534
52.97/53.01	c 16384 ~x2063328+8192 ~x2063327+4096 ~x2063326+2048 ~x2063325+1024 ~x2063324+512 ~x2063323+256 ~x2063322+128 ~x2063321+64 ~x2063320+32 ~x2063319+16 ~x2063318+8 ~x2063317+4 ~x2063316+2 ~x2063315+1 ~x2063314+17408 x7915+16384 ~x7006+8192 ~x7005+4096 ~x7004+2048 ~x7003+1024 ~x7002+512 ~x7001+256 ~x7000+128 ~x6999+64 ~x6998+32 ~x6997+16 ~x6996+8 ~x6995+4 ~x6994+2 ~x6993+1 ~x6992-0=65534
53.07/53.11	c 8192 ~x2067362+4096 ~x2067361+2048 ~x2067360+1024 ~x2067359+512 ~x2067358+256 ~x2067357+128 ~x2067356+64 ~x2067355+32 ~x2067354+16 ~x2067353+8 ~x2067352+4 ~x2067351+2 ~x2067350+1 ~x2067349+9216 x7916+8192 ~x7035+4096 ~x7034+2048 ~x7033+1024 ~x7032+512 ~x7031+256 ~x7030+128 ~x7029+64 ~x7028+32 ~x7027+16 ~x7026+8 ~x7025+4 ~x7024+2 ~x7023+1 ~x7022-0=32766
53.17/53.21	c 8192 ~x2071078+4096 ~x2071077+2048 ~x2071076+1024 ~x2071075+512 ~x2071074+256 ~x2071073+128 ~x2071072+64 ~x2071071+32 ~x2071070+16 ~x2071069+8 ~x2071068+4 ~x2071067+2 ~x2071066+1 ~x2071065+11264 x7917+8192 ~x7065+4096 ~x7064+2048 ~x7063+1024 ~x7062+512 ~x7061+256 ~x7060+128 ~x7059+64 ~x7058+32 ~x7057+16 ~x7056+8 ~x7055+4 ~x7054+2 ~x7053+1 ~x7052-0=32766
53.27/53.30	c 16384 ~x2074795+8192 ~x2074794+4096 ~x2074793+2048 ~x2074792+1024 ~x2074791+512 ~x2074790+256 ~x2074789+128 ~x2074788+64 ~x2074787+32 ~x2074786+16 ~x2074785+8 ~x2074784+4 ~x2074783+2 ~x2074782+1 ~x2074781+24576 x7918+16384 ~x7096+8192 ~x7095+4096 ~x7094+2048 ~x7093+1024 ~x7092+512 ~x7091+256 ~x7090+128 ~x7089+64 ~x7088+32 ~x7087+16 ~x7086+8 ~x7085+4 ~x7084+2 ~x7083+1 ~x7082-0=65534
53.37/53.41	c 2048 ~x2079084+1024 ~x2079083+512 ~x2079082+256 ~x2079081+128 ~x2079080+64 ~x2079079+32 ~x2079078+16 ~x2079077+8 ~x2079076+4 ~x2079075+2 ~x2079074+1 ~x2079073+2048 x7919+2048 ~x7123+1024 ~x7122+512 ~x7121+256 ~x7120+128 ~x7119+64 ~x7118+32 ~x7117+16 ~x7116+8 ~x7115+4 ~x7114+2 ~x7113+1 ~x7112-0=8190
53.37/53.47	c 32768 ~x2081436+16384 ~x2081435+8192 ~x2081434+4096 ~x2081433+2048 ~x2081432+1024 ~x2081431+512 ~x2081430+256 ~x2081429+128 ~x2081428+64 ~x2081427+32 ~x2081426+16 ~x2081425+8 ~x2081424+4 ~x2081423+2 ~x2081422+1 ~x2081421+50176 x7920+32768 ~x7157+16384 ~x7156+8192 ~x7155+4096 ~x7154+2048 ~x7153+1024 ~x7152+512 ~x7151+256 ~x7150+128 ~x7149+64 ~x7148+32 ~x7147+16 ~x7146+8 ~x7145+4 ~x7144+2 ~x7143+1 ~x7142-0=131070
53.47/53.58	c 2048 ~x2086061+1024 ~x2086060+512 ~x2086059+256 ~x2086058+128 ~x2086057+64 ~x2086056+32 ~x2086055+16 ~x2086054+8 ~x2086053+4 ~x2086052+2 ~x2086051+1 ~x2086050+2048 x7921+2048 ~x7183+1024 ~x7182+512 ~x7181+256 ~x7180+128 ~x7179+64 ~x7178+32 ~x7177+16 ~x7176+8 ~x7175+4 ~x7174+2 ~x7173+1 ~x7172-0=8190
53.57/53.64	c 16384 ~x2088412+8192 ~x2088411+4096 ~x2088410+2048 ~x2088409+1024 ~x2088408+512 ~x2088407+256 ~x2088406+128 ~x2088405+64 ~x2088404+32 ~x2088403+16 ~x2088402+8 ~x2088401+4 ~x2088400+2 ~x2088399+1 ~x2088398+22528 x7922+16384 ~x7216+8192 ~x7215+4096 ~x7214+2048 ~x7213+1024 ~x7212+512 ~x7211+256 ~x7210+128 ~x7209+64 ~x7208+32 ~x7207+16 ~x7206+8 ~x7205+4 ~x7204+2 ~x7203+1 ~x7202-0=65534
53.67/53.75	c 32768 ~x2092705+16384 ~x2092704+8192 ~x2092703+4096 ~x2092702+2048 ~x2092701+1024 ~x2092700+512 ~x2092699+256 ~x2092698+128 ~x2092697+64 ~x2092696+32 ~x2092695+16 ~x2092694+8 ~x2092693+4 ~x2092692+2 ~x2092691+1 ~x2092690+41984 x7923+32768 ~x7247+16384 ~x7246+8192 ~x7245+4096 ~x7244+2048 ~x7243+1024 ~x7242+512 ~x7241+256 ~x7240+128 ~x7239+64 ~x7238+32 ~x7237+16 ~x7236+8 ~x7235+4 ~x7234+2 ~x7233+1 ~x7232-0=131070
53.77/53.86	c 8192 ~x2097332+4096 ~x2097331+2048 ~x2097330+1024 ~x2097329+512 ~x2097328+256 ~x2097327+128 ~x2097326+64 ~x2097325+32 ~x2097324+16 ~x2097323+8 ~x2097322+4 ~x2097321+2 ~x2097320+1 ~x2097319+8192 x7924+8192 ~x7275+4096 ~x7274+2048 ~x7273+1024 ~x7272+512 ~x7271+256 ~x7270+128 ~x7269+64 ~x7268+32 ~x7267+16 ~x7266+8 ~x7265+4 ~x7264+2 ~x7263+1 ~x7262-0=32766
53.87/53.96	c 8192 ~x2101048+4096 ~x2101047+2048 ~x2101046+1024 ~x2101045+512 ~x2101044+256 ~x2101043+128 ~x2101042+64 ~x2101041+32 ~x2101040+16 ~x2101039+8 ~x2101038+4 ~x2101037+2 ~x2101036+1 ~x2101035+9216 x7925+8192 ~x7305+4096 ~x7304+2048 ~x7303+1024 ~x7302+512 ~x7301+256 ~x7300+128 ~x7299+64 ~x7298+32 ~x7297+16 ~x7296+8 ~x7295+4 ~x7294+2 ~x7293+1 ~x7292-0=32766
53.96/54.05	c 16384 ~x2104765+8192 ~x2104764+4096 ~x2104763+2048 ~x2104762+1024 ~x2104761+512 ~x2104760+256 ~x2104759+128 ~x2104758+64 ~x2104757+32 ~x2104756+16 ~x2104755+8 ~x2104754+4 ~x2104753+2 ~x2104752+1 ~x2104751+16384 x7926+16384 ~x7336+8192 ~x7335+4096 ~x7334+2048 ~x7333+1024 ~x7332+512 ~x7331+256 ~x7330+128 ~x7329+64 ~x7328+32 ~x7327+16 ~x7326+8 ~x7325+4 ~x7324+2 ~x7323+1 ~x7322-0=65534
54.07/54.15	c 16384 ~x2108800+8192 ~x2108799+4096 ~x2108798+2048 ~x2108797+1024 ~x2108796+512 ~x2108795+256 ~x2108794+128 ~x2108793+64 ~x2108792+32 ~x2108791+16 ~x2108790+8 ~x2108789+4 ~x2108788+2 ~x2108787+1 ~x2108786+16384 x7927+16384 ~x7366+8192 ~x7365+4096 ~x7364+2048 ~x7363+1024 ~x7362+512 ~x7361+256 ~x7360+128 ~x7359+64 ~x7358+32 ~x7357+16 ~x7356+8 ~x7355+4 ~x7354+2 ~x7353+1 ~x7352-0=65534
54.17/54.25	c 1024 ~x2112831+512 ~x2112830+256 ~x2112829+128 ~x2112828+64 ~x2112827+32 ~x2112826+16 ~x2112825+8 ~x2112824+4 ~x2112823+2 ~x2112822+1 ~x2112821+1024 x7928+1024 ~x7392+512 ~x7391+256 ~x7390+128 ~x7389+64 ~x7388+32 ~x7387+16 ~x7386+8 ~x7385+4 ~x7384+2 ~x7383+1 ~x7382-0=4094
54.27/54.31	c 32768 ~x2114949+16384 ~x2114948+8192 ~x2114947+4096 ~x2114946+2048 ~x2114945+1024 ~x2114944+512 ~x2114943+256 ~x2114942+128 ~x2114941+64 ~x2114940+32 ~x2114939+16 ~x2114938+8 ~x2114937+4 ~x2114936+2 ~x2114935+1 ~x2114934+55296 x7929+32768 ~x7427+16384 ~x7426+8192 ~x7425+4096 ~x7424+2048 ~x7423+1024 ~x7422+512 ~x7421+256 ~x7420+128 ~x7419+64 ~x7418+32 ~x7417+16 ~x7416+8 ~x7415+4 ~x7414+2 ~x7413+1 ~x7412-0=131070
54.36/54.42	c 16384 ~x2119577+8192 ~x2119576+4096 ~x2119575+2048 ~x2119574+1024 ~x2119573+512 ~x2119572+256 ~x2119571+128 ~x2119570+64 ~x2119569+32 ~x2119568+16 ~x2119567+8 ~x2119566+4 ~x2119565+2 ~x2119564+1 ~x2119563+17408 x7930+16384 ~x7456+8192 ~x7455+4096 ~x7454+2048 ~x7453+1024 ~x7452+512 ~x7451+256 ~x7450+128 ~x7449+64 ~x7448+32 ~x7447+16 ~x7446+8 ~x7445+4 ~x7444+2 ~x7443+1 ~x7442-0=65534
54.47/54.52	c 1024 ~x2123608+512 ~x2123607+256 ~x2123606+128 ~x2123605+64 ~x2123604+32 ~x2123603+16 ~x2123602+8 ~x2123601+4 ~x2123600+2 ~x2123599+1 ~x2123598+1024 x7931+1024 ~x7482+512 ~x7481+256 ~x7480+128 ~x7479+64 ~x7478+32 ~x7477+16 ~x7476+8 ~x7475+4 ~x7474+2 ~x7473+1 ~x7472-0=4094
54.47/54.58	c 16384 ~x2125725+8192 ~x2125724+4096 ~x2125723+2048 ~x2125722+1024 ~x2125721+512 ~x2125720+256 ~x2125719+128 ~x2125718+64 ~x2125717+32 ~x2125716+16 ~x2125715+8 ~x2125714+4 ~x2125713+2 ~x2125712+1 ~x2125711+30720 x7932+16384 ~x7516+8192 ~x7515+4096 ~x7514+2048 ~x7513+1024 ~x7512+512 ~x7511+256 ~x7510+128 ~x7509+64 ~x7508+32 ~x7507+16 ~x7506+8 ~x7505+4 ~x7504+2 ~x7503+1 ~x7502-0=65534
54.57/54.69	c 16384 ~x2130017+8192 ~x2130016+4096 ~x2130015+2048 ~x2130014+1024 ~x2130013+512 ~x2130012+256 ~x2130011+128 ~x2130010+64 ~x2130009+32 ~x2130008+16 ~x2130007+8 ~x2130006+4 ~x2130005+2 ~x2130004+1 ~x2130003+17408 x7933+16384 ~x7546+8192 ~x7545+4096 ~x7544+2048 ~x7543+1024 ~x7542+512 ~x7541+256 ~x7540+128 ~x7539+64 ~x7538+32 ~x7537+16 ~x7536+8 ~x7535+4 ~x7534+2 ~x7533+1 ~x7532-0=65534
54.67/54.79	c 8192 ~x2134051+4096 ~x2134050+2048 ~x2134049+1024 ~x2134048+512 ~x2134047+256 ~x2134046+128 ~x2134045+64 ~x2134044+32 ~x2134043+16 ~x2134042+8 ~x2134041+4 ~x2134040+2 ~x2134039+1 ~x2134038+9216 x7934+8192 ~x7575+4096 ~x7574+2048 ~x7573+1024 ~x7572+512 ~x7571+256 ~x7570+128 ~x7569+64 ~x7568+32 ~x7567+16 ~x7566+8 ~x7565+4 ~x7564+2 ~x7563+1 ~x7562-0=32766
54.77/54.88	c 8192 ~x2137767+4096 ~x2137766+2048 ~x2137765+1024 ~x2137764+512 ~x2137763+256 ~x2137762+128 ~x2137761+64 ~x2137760+32 ~x2137759+16 ~x2137758+8 ~x2137757+4 ~x2137756+2 ~x2137755+1 ~x2137754+9216 x7935+8192 ~x7605+4096 ~x7604+2048 ~x7603+1024 ~x7602+512 ~x7601+256 ~x7600+128 ~x7599+64 ~x7598+32 ~x7597+16 ~x7596+8 ~x7595+4 ~x7594+2 ~x7593+1 ~x7592-0=32766
54.87/54.97	c 2048 ~x2141481+1024 ~x2141480+512 ~x2141479+256 ~x2141478+128 ~x2141477+64 ~x2141476+32 ~x2141475+16 ~x2141474+8 ~x2141473+4 ~x2141472+2 ~x2141471+1 ~x2141470+2048 x7936+2048 ~x7633+1024 ~x7632+512 ~x7631+256 ~x7630+128 ~x7629+64 ~x7628+32 ~x7627+16 ~x7626+8 ~x7625+4 ~x7624+2 ~x7623+1 ~x7622-0=8190
54.98/55.03	c 8192 ~x2143831+4096 ~x2143830+2048 ~x2143829+1024 ~x2143828+512 ~x2143827+256 ~x2143826+128 ~x2143825+64 ~x2143824+32 ~x2143823+16 ~x2143822+8 ~x2143821+4 ~x2143820+2 ~x2143819+1 ~x2143818+9216 x7937+8192 ~x7665+4096 ~

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-2674094-1276798939/watcher-2674094-1276798939 -o /tmp/evaluation-result-2674094-1276798939/solver-2674094-1276798939 -C 1800 -W 2000 -M 1800 run HOME/instance-2674094-1276798939.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: 0.92 0.98 0.99 3/106 17700
/proc/meminfo: memFree=1847972/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0

[startup+0.0285259 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 17700
/proc/meminfo: memFree=1847972/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101542 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 17700
/proc/meminfo: memFree=1847972/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301584 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 17700
/proc/meminfo: memFree=1847972/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701669 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 17700
/proc/meminfo: memFree=1847972/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50184 s]
/proc/loadavg: 0.92 0.98 0.99 2/108 17703
/proc/meminfo: memFree=1687376/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=243844 CPUtime=1.49
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 60782 0 0 0 59 90 0 0 25 0 1 0 55495587 249696256 60368 1992294400 134512640 134902295 4291996064 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 60961 60368 256 96 0 60173 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 252544

[startup+3.10118 s]
/proc/loadavg: 0.92 0.98 0.99 2/108 17703
/proc/meminfo: memFree=1531880/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=396772 CPUtime=3.09
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 99015 0 0 0 186 123 0 0 25 0 1 0 55495587 406294528 98601 1992294400 134512640 134902295 4291996064 18446744073709551615 134893869 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 99193 98601 259 96 0 98405 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 405472

[startup+6.30186 s]
/proc/loadavg: 0.93 0.98 0.99 2/108 17703
/proc/meminfo: memFree=1505096/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=360304 CPUtime=6.29
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 109844 0 0 0 500 129 0 0 25 0 1 0 55495587 368951296 88999 1992294400 134512640 134902295 4291996064 18446744073709551615 2795004 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 90076 88999 262 96 0 89288 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 369004

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/108 17703
/proc/meminfo: memFree=1393372/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=475008 CPUtime=12.69
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 140163 0 0 0 1123 146 0 0 25 0 1 0 55495587 486408192 116343 1992294400 134512640 134902295 4291996064 18446744073709551615 134568716 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 118752 116343 262 96 0 117964 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 483708

[startup+25.501 s]
/proc/loadavg: 0.95 0.98 0.99 2/108 17703
/proc/meminfo: memFree=1150828/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=715308 CPUtime=25.48
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 199086 0 0 0 2379 169 0 0 25 0 1 0 55495587 732475392 175266 1992294400 134512640 134902295 4291996064 18446744073709551615 134588032 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 178827 175271 262 96 0 178039 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 724008

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/108 17703
/proc/meminfo: memFree=709636/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1186408 CPUtime=51.07
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 313190 0 0 0 4890 217 0 0 25 0 1 0 55495587 1214881792 286252 1992294400 134512640 134902295 4291996064 18446744073709551615 134631262 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 296602 286252 262 96 0 295814 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1195108

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/108 17705
/proc/meminfo: memFree=631268/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1243940 CPUtime=102.25
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 330574 0 0 0 10001 224 0 0 25 0 1 0 55495587 1273794560 303588 1992294400 134512640 134902295 4291996064 18446744073709551615 4160370976 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 310985 303588 269 96 0 310197 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1252640

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 17707
/proc/meminfo: memFree=620976/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1254316 CPUtime=162.22
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 333138 0 0 0 15995 227 0 0 25 0 1 0 55495587 1284419584 306152 1992294400 134512640 134902295 4291996064 18446744073709551615 4160370822 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 313579 306152 269 96 0 312791 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 1263016

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 17709
/proc/meminfo: memFree=609940/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1265344 CPUtime=222.21
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 335883 0 0 0 21991 230 0 0 25 0 1 0 55495587 1295712256 308897 1992294400 134512640 134902295 4291996064 18446744073709551615 4160378699 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 316336 308897 269 96 0 315548 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1274044

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 17711
/proc/meminfo: memFree=595308/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1280288 CPUtime=282.19
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 339573 0 0 0 27987 232 0 0 25 0 1 0 55495587 1311014912 312587 1992294400 134512640 134902295 4291996064 18446744073709551615 4160359063 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 320072 312587 269 96 0 319284 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1288988

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 17711
/proc/meminfo: memFree=588744/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1286644 CPUtime=342.17
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 341179 0 0 0 33983 234 0 0 25 0 1 0 55495587 1317523456 314193 1992294400 134512640 134902295 4291996064 18446744073709551615 4160371024 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 321661 314193 269 96 0 320873 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1295344

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 17713
/proc/meminfo: memFree=583660/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1292112 CPUtime=402.15
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 342461 0 0 0 39979 236 0 0 25 0 1 0 55495587 1323122688 315475 1992294400 134512640 134902295 4291996064 18446744073709551615 4160373675 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 323028 315475 269 96 0 322240 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1300812

[startup+462.301 s]

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

/proc/17702/statm: 336392 328830 269 96 0 335604 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 1354268

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 17735
/proc/meminfo: memFree=527488/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1347416 CPUtime=1241.84
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 356288 0 0 0 123934 250 0 0 25 0 1 0 55495587 1379753984 329302 1992294400 134512640 134902295 4291996064 18446744073709551615 4160359342 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 336854 329302 269 96 0 336066 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1356116

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 17737
/proc/meminfo: memFree=525876/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1349164 CPUtime=1301.82
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 356712 0 0 0 129932 250 0 0 25 0 1 0 55495587 1381543936 329726 1992294400 134512640 134902295 4291996064 18446744073709551615 4160370814 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 337291 329726 269 96 0 336503 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1357864

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 17739
/proc/meminfo: memFree=523768/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1351236 CPUtime=1361.79
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 357204 0 0 0 135929 250 0 0 25 0 1 0 55495587 1383665664 330218 1992294400 134512640 134902295 4291996064 18446744073709551615 4160352738 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 337809 330218 269 96 0 337021 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1359936

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 17741
/proc/meminfo: memFree=521908/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1353156 CPUtime=1421.77
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 357691 0 0 0 141926 251 0 0 25 0 1 0 55495587 1385631744 330705 1992294400 134512640 134902295 4291996064 18446744073709551615 4160370881 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 338289 330705 269 96 0 337501 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1361856

[startup+1482.3 s]
/proc/loadavg: 1.06 1.00 1.00 2/108 17743
/proc/meminfo: memFree=516824/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1358204 CPUtime=1481.75
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 358976 0 0 0 147922 253 0 0 25 0 1 0 55495587 1390800896 331990 1992294400 134512640 134902295 4291996064 18446744073709551615 4160378586 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 339551 331990 269 96 0 338763 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1366904

[startup+1542.3 s]
/proc/loadavg: 1.08 1.01 1.00 2/108 17743
/proc/meminfo: memFree=508640/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1367196 CPUtime=1541.72
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 361025 0 0 0 153918 254 0 0 25 0 1 0 55495587 1400008704 334039 1992294400 134512640 134902295 4291996064 18446744073709551615 4160359563 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 341799 334039 269 96 0 341011 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 1375896

[startup+1602.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/108 17745
/proc/meminfo: memFree=499836/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1375924 CPUtime=1601.71
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 363219 0 0 0 159914 257 0 0 25 0 1 0 55495587 1408946176 336233 1992294400 134512640 134902295 4291996064 18446744073709551615 4160373757 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 343981 336233 269 96 0 343193 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 1384624

[startup+1662.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/108 17747
/proc/meminfo: memFree=494008/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1381460 CPUtime=1661.68
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 364623 0 0 0 165909 259 0 0 25 0 1 0 55495587 1414615040 337637 1992294400 134512640 134902295 4291996064 18446744073709551615 4160359617 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 345365 337637 269 96 0 344577 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 1390160

[startup+1722.3 s]
/proc/loadavg: 1.07 1.04 1.00 2/108 17749
/proc/meminfo: memFree=489296/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1386304 CPUtime=1721.66
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 365848 0 0 0 171906 260 0 0 25 0 1 0 55495587 1419575296 338862 1992294400 134512640 134902295 4291996064 18446744073709551615 4160359631 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 346576 338862 269 96 0 345788 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 1395004

[startup+1782.3 s]
/proc/loadavg: 1.07 1.04 1.00 2/108 17751
/proc/meminfo: memFree=483840/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1391448 CPUtime=1781.63
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 367125 0 0 0 177902 261 0 0 25 0 1 0 55495587 1424842752 340139 1992294400 134512640 134902295 4291996064 18446744073709551615 4160370814 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 347862 340139 269 96 0 347074 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 1400148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.12 1.06 1.00 2/108 17751
/proc/meminfo: memFree=482600/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1392680 CPUtime=1800.05
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 367441 0 0 0 179743 262 0 0 25 0 1 0 55495587 1426104320 340455 1992294400 134512640 134902295 4291996064 18446744073709551615 4160359420 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 348170 340455 269 96 0 347382 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1401380

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

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

[startup+1800.71 s]
/proc/loadavg: 1.12 1.06 1.00 2/108 17751
/proc/meminfo: memFree=482600/2059040 swapFree=4139724/4192956
[pid=17700] ppid=17698 vsize=8700 CPUtime=0
/proc/17700/stat : 17700 (run) S 17698 17700 17675 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 55495587 8908800 251 1992294400 4194304 4922060 140735018903968 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17700/statm: 2175 251 211 178 0 68 0
[pid=17702] ppid=17700 vsize=1392680 CPUtime=1800.05
/proc/17702/stat : 17702 (PBPASSolver) R 17700 17700 17675 0 -1 4202496 367441 0 0 0 179743 262 0 0 25 0 1 0 55495587 1426104320 340455 1992294400 134512640 134902295 4291996064 18446744073709551615 4160359420 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17702/statm: 348170 340455 269 96 0 347382 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1401380

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17700 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=1999
# CPU time returned by wait4() is 0.002998
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.72
CPU time (s): 1800.05
CPU user time (s): 1797.43
CPU system time (s): 2.62
CPU usage (%): 99.9626
Max. virtual memory (cumulated for all children) (KiB): 1401380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.001999
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= 3
involuntary context switches= 3

runsolver used 3.00554 second user time and 8.48171 second system time

The end

Begin job on node010 at 2010-06-17 20:22:20
IDJOB=2674094
IDBENCH=2293
IDSOLVER=1174
FILE ID=node010/2674094-1276798939
PBS_JOBID= 11176654
Free space on /tmp= 62528 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran16x16.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674094-1276798939/watcher-2674094-1276798939 -o /tmp/evaluation-result-2674094-1276798939/solver-2674094-1276798939 -C 1800 -W 2000 -M 1800  run HOME/instance-2674094-1276798939.opb

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

MD5SUM BENCH= 334ff12347ae763156f4e4389dfec521
RANDOM SEED=2061580806

node010.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.267
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.53
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.267
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1848376 kB
Buffers:         37644 kB
Cached:          78984 kB
SwapCached:       5772 kB
Active:          61500 kB
Inactive:        67448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1848376 kB
SwapTotal:     4192956 kB
SwapFree:      4139724 kB
Dirty:            1192 kB
Writeback:           0 kB
AnonPages:       10884 kB
Mapped:          12804 kB
Slab:            59952 kB
PageTables:       3936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182260 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62528 MiB
End job on node010 at 2010-06-17 20:52:22