35.19/35.21	c 7812 284 0 0 0 0 0 0
35.19/35.21	c 4096 ~x1381091+2048 ~x1381090+1024 ~x1381089+512 ~x1381088+256 ~x1381087+128 ~x1381086+64 ~x1381085+32 ~x1381084+16 ~x1381083+8 ~x1381082+4 ~x1381081+2 ~x1381080+1 ~x1381079+6144 x7562+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=16382
35.19/35.28	c 8192 ~x1383792+4096 ~x1383791+2048 ~x1383790+1024 ~x1383789+512 ~x1383788+256 ~x1383787+128 ~x1383786+64 ~x1383785+32 ~x1383784+16 ~x1383783+8 ~x1383782+4 ~x1383781+2 ~x1383780+1 ~x1383779+13312 x7563+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=32766
35.28/35.37	c 4096 ~x1387507+2048 ~x1387506+1024 ~x1387505+512 ~x1387504+256 ~x1387503+128 ~x1387502+64 ~x1387501+32 ~x1387500+16 ~x1387499+8 ~x1387498+4 ~x1387497+2 ~x1387496+1 ~x1387495+7168 x7564+4096 ~x74+2048 ~x73+1024 ~x72+512 ~x71+256 ~x70+128 ~x69+64 ~x68+32 ~x67+16 ~x66+8 ~x65+4 ~x64+2 ~x63+1 ~x62-0=16382
35.38/35.44	c 4096 ~x1390207+2048 ~x1390206+1024 ~x1390205+512 ~x1390204+256 ~x1390203+128 ~x1390202+64 ~x1390201+32 ~x1390200+16 ~x1390199+8 ~x1390198+4 ~x1390197+2 ~x1390196+1 ~x1390195+7168 x7565+4096 ~x104+2048 ~x103+1024 ~x102+512 ~x101+256 ~x100+128 ~x99+64 ~x98+32 ~x97+16 ~x96+8 ~x95+4 ~x94+2 ~x93+1 ~x92-0=16382
35.48/35.50	c 16384 ~x1392909+8192 ~x1392908+4096 ~x1392907+2048 ~x1392906+1024 ~x1392905+512 ~x1392904+256 ~x1392903+128 ~x1392902+64 ~x1392901+32 ~x1392900+16 ~x1392899+8 ~x1392898+4 ~x1392897+2 ~x1392896+1 ~x1392895+18432 x7566+16384 ~x136+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=65534
35.58/35.61	c 8192 ~x1396943+4096 ~x1396942+2048 ~x1396941+1024 ~x1396940+512 ~x1396939+256 ~x1396938+128 ~x1396937+64 ~x1396936+32 ~x1396935+16 ~x1396934+8 ~x1396933+4 ~x1396932+2 ~x1396931+1 ~x1396930+14336 x7567+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
35.68/35.70	c 16384 ~x1400660+8192 ~x1400659+4096 ~x1400658+2048 ~x1400657+1024 ~x1400656+512 ~x1400655+256 ~x1400654+128 ~x1400653+64 ~x1400652+32 ~x1400651+16 ~x1400650+8 ~x1400649+4 ~x1400648+2 ~x1400647+1 ~x1400646+22528 x7568+16384 ~x196+8192 ~x195+4096 ~x194+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182-0=65534
35.78/35.81	c 16384 ~x1404952+8192 ~x1404951+4096 ~x1404950+2048 ~x1404949+1024 ~x1404948+512 ~x1404947+256 ~x1404946+128 ~x1404945+64 ~x1404944+32 ~x1404943+16 ~x1404942+8 ~x1404941+4 ~x1404940+2 ~x1404939+1 ~x1404938+25600 x7569+16384 ~x226+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=65534
35.88/35.91	c 16384 ~x1409244+8192 ~x1409243+4096 ~x1409242+2048 ~x1409241+1024 ~x1409240+512 ~x1409239+256 ~x1409238+128 ~x1409237+64 ~x1409236+32 ~x1409235+16 ~x1409234+8 ~x1409233+4 ~x1409232+2 ~x1409231+1 ~x1409230+25600 x7570+16384 ~x256+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=65534
35.98/36.02	c 8192 ~x1413535+4096 ~x1413534+2048 ~x1413533+1024 ~x1413532+512 ~x1413531+256 ~x1413530+128 ~x1413529+64 ~x1413528+32 ~x1413527+16 ~x1413526+8 ~x1413525+4 ~x1413524+2 ~x1413523+1 ~x1413522+11264 x7571+8192 ~x285+4096 ~x284+2048 ~x283+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272-0=32766
36.08/36.11	c 8192 ~x1417251+4096 ~x1417250+2048 ~x1417249+1024 ~x1417248+512 ~x1417247+256 ~x1417246+128 ~x1417245+64 ~x1417244+32 ~x1417243+16 ~x1417242+8 ~x1417241+4 ~x1417240+2 ~x1417239+1 ~x1417238+8192 x7572+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
36.19/36.20	c 4096 ~x1420966+2048 ~x1420965+1024 ~x1420964+512 ~x1420963+256 ~x1420962+128 ~x1420961+64 ~x1420960+32 ~x1420959+16 ~x1420958+8 ~x1420957+4 ~x1420956+2 ~x1420955+1 ~x1420954+6144 x7573+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=16382
36.19/36.27	c 8192 ~x1423667+4096 ~x1423666+2048 ~x1423665+1024 ~x1423664+512 ~x1423663+256 ~x1423662+128 ~x1423661+64 ~x1423660+32 ~x1423659+16 ~x1423658+8 ~x1423657+4 ~x1423656+2 ~x1423655+1 ~x1423654+10240 x7574+8192 ~x375+4096 ~x374+2048 ~x373+1024 ~x372+512 ~x371+256 ~x370+128 ~x369+64 ~x368+32 ~x367+16 ~x366+8 ~x365+4 ~x364+2 ~x363+1 ~x362-0=32766
36.28/36.37	c 16384 ~x1427384+8192 ~x1427383+4096 ~x1427382+2048 ~x1427381+1024 ~x1427380+512 ~x1427379+256 ~x1427378+128 ~x1427377+64 ~x1427376+32 ~x1427375+16 ~x1427374+8 ~x1427373+4 ~x1427372+2 ~x1427371+1 ~x1427370+18432 x7575+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
36.38/36.47	c 8192 ~x1431418+4096 ~x1431417+2048 ~x1431416+1024 ~x1431415+512 ~x1431414+256 ~x1431413+128 ~x1431412+64 ~x1431411+32 ~x1431410+16 ~x1431409+8 ~x1431408+4 ~x1431407+2 ~x1431406+1 ~x1431405+10240 x7576+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
36.48/36.56	c 8192 ~x1435134+4096 ~x1435133+2048 ~x1435132+1024 ~x1435131+512 ~x1435130+256 ~x1435129+128 ~x1435128+64 ~x1435127+32 ~x1435126+16 ~x1435125+8 ~x1435124+4 ~x1435123+2 ~x1435122+1 ~x1435121+10240 x7577+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
36.58/36.65	c 8192 ~x1438850+4096 ~x1438849+2048 ~x1438848+1024 ~x1438847+512 ~x1438846+256 ~x1438845+128 ~x1438844+64 ~x1438843+32 ~x1438842+16 ~x1438841+8 ~x1438840+4 ~x1438839+2 ~x1438838+1 ~x1438837+10240 x7578+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
36.68/36.75	c 4096 ~x1442565+2048 ~x1442564+1024 ~x1442563+512 ~x1442562+256 ~x1442561+128 ~x1442560+64 ~x1442559+32 ~x1442558+16 ~x1442557+8 ~x1442556+4 ~x1442555+2 ~x1442554+1 ~x1442553+4096 x7579+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=16382
36.78/36.81	c 8192 ~x1445266+4096 ~x1445265+2048 ~x1445264+1024 ~x1445263+512 ~x1445262+256 ~x1445261+128 ~x1445260+64 ~x1445259+32 ~x1445258+16 ~x1445257+8 ~x1445256+4 ~x1445255+2 ~x1445254+1 ~x1445253+10240 x7580+8192 ~x555+4096 ~x554+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=32766
36.88/36.91	c 8192 ~x1448982+4096 ~x1448981+2048 ~x1448980+1024 ~x1448979+512 ~x1448978+256 ~x1448977+128 ~x1448976+64 ~x1448975+32 ~x1448974+16 ~x1448973+8 ~x1448972+4 ~x1448971+2 ~x1448970+1 ~x1448969+10240 x7581+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=32766
36.98/37.00	c 8192 ~x1452698+4096 ~x1452697+2048 ~x1452696+1024 ~x1452695+512 ~x1452694+256 ~x1452693+128 ~x1452692+64 ~x1452691+32 ~x1452690+16 ~x1452689+8 ~x1452688+4 ~x1452687+2 ~x1452686+1 ~x1452685+10240 x7582+8192 ~x615+4096 ~x614+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=32766
36.98/37.09	c 8192 ~x1456414+4096 ~x1456413+2048 ~x1456412+1024 ~x1456411+512 ~x1456410+256 ~x1456409+128 ~x1456408+64 ~x1456407+32 ~x1456406+16 ~x1456405+8 ~x1456404+4 ~x1456403+2 ~x1456402+1 ~x1456401+9216 x7583+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=32766
37.08/37.19	c 4096 ~x1460129+2048 ~x1460128+1024 ~x1460127+512 ~x1460126+256 ~x1460125+128 ~x1460124+64 ~x1460123+32 ~x1460122+16 ~x1460121+8 ~x1460120+4 ~x1460119+2 ~x1460118+1 ~x1460117+7168 x7584+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=16382
37.18/37.26	c 8192 ~x1462830+4096 ~x1462829+2048 ~x1462828+1024 ~x1462827+512 ~x1462826+256 ~x1462825+128 ~x1462824+64 ~x1462823+32 ~x1462822+16 ~x1462821+8 ~x1462820+4 ~x1462819+2 ~x1462818+1 ~x1462817+10240 x7585+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
37.29/37.35	c 8192 ~x1466546+4096 ~x1466545+2048 ~x1466544+1024 ~x1466543+512 ~x1466542+256 ~x1466541+128 ~x1466540+64 ~x1466539+32 ~x1466538+16 ~x1466537+8 ~x1466536+4 ~x1466535+2 ~x1466534+1 ~x1466533+14336 x7586+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=32766
37.38/37.44	c 8192 ~x1470262+4096 ~x1470261+2048 ~x1470260+1024 ~x1470259+512 ~x1470258+256 ~x1470257+128 ~x1470256+64 ~x1470255+32 ~x1470254+16 ~x1470253+8 ~x1470252+4 ~x1470251+2 ~x1470250+1 ~x1470249+10240 x7587+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
37.48/37.54	c 8192 ~x1473978+4096 ~x1473977+2048 ~x1473976+1024 ~x1473975+512 ~x1473974+256 ~x1473973+128 ~x1473972+64 ~x1473971+32 ~x1473970+16 ~x1473969+8 ~x1473968+4 ~x1473967+2 ~x1473966+1 ~x1473965+10240 x7588+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=32766
37.58/37.63	c 8192 ~x1477694+4096 ~x1477693+2048 ~x1477692+1024 ~x1477691+512 ~x1477690+256 ~x1477689+128 ~x1477688+64 ~x1477687+32 ~x1477686+16 ~x1477685+8 ~x1477684+4 ~x1477683+2 ~x1477682+1 ~x1477681+10240 x7589+8192 ~x825+4096 ~x824+2048 ~x823+1024 ~x822+512 ~x821+256 ~x820+128 ~x819+64 ~x818+32 ~x817+16 ~x816+8 ~x815+4 ~x814+2 ~x813+1 ~x812-0=32766
37.68/37.72	c 8192 ~x1481410+4096 ~x1481409+2048 ~x1481408+1024 ~x1481407+512 ~x1481406+256 ~x1481405+128 ~x1481404+64 ~x1481403+32 ~x1481402+16 ~x1481401+8 ~x1481400+4 ~x1481399+2 ~x1481398+1 ~x1481397+10240 x7590+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=32766
37.78/37.82	c 8192 ~x1485126+4096 ~x1485125+2048 ~x1485124+1024 ~x1485123+512 ~x1485122+256 ~x1485121+128 ~x1485120+64 ~x1485119+32 ~x1485118+16 ~x1485117+8 ~x1485116+4 ~x1485115+2 ~x1485114+1 ~x1485113+10240 x7591+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=32766
37.88/37.91	c 8192 ~x1488842+4096 ~x1488841+2048 ~x1488840+1024 ~x1488839+512 ~x1488838+256 ~x1488837+128 ~x1488836+64 ~x1488835+32 ~x1488834+16 ~x1488833+8 ~x1488832+4 ~x1488831+2 ~x1488830+1 ~x1488829+8192 x7592+8192 ~x915+4096 ~x914+2048 ~x913+1024 ~x912+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902-0=32766
37.98/38.00	c 4096 ~x1492557+2048 ~x1492556+1024 ~x1492555+512 ~x1492554+256 ~x1492553+128 ~x1492552+64 ~x1492551+32 ~x1492550+16 ~x1492549+8 ~x1492548+4 ~x1492547+2 ~x1492546+1 ~x1492545+6144 x7593+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=16382
37.98/38.07	c 8192 ~x1495258+4096 ~x1495257+2048 ~x1495256+1024 ~x1495255+512 ~x1495254+256 ~x1495253+128 ~x1495252+64 ~x1495251+32 ~x1495250+16 ~x1495249+8 ~x1495248+4 ~x1495247+2 ~x1495246+1 ~x1495245+13312 x7594+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=32766
38.08/38.16	c 16384 ~x1498975+8192 ~x1498974+4096 ~x1498973+2048 ~x1498972+1024 ~x1498971+512 ~x1498970+256 ~x1498969+128 ~x1498968+64 ~x1498967+32 ~x1498966+16 ~x1498965+8 ~x1498964+4 ~x1498963+2 ~x1498962+1 ~x1498961+16384 x7595+16384 ~x1006+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=65534
38.18/38.26	c 8192 ~x1503009+4096 ~x1503008+2048 ~x1503007+1024 ~x1503006+512 ~x1503005+256 ~x1503004+128 ~x1503003+64 ~x1503002+32 ~x1503001+16 ~x1503000+8 ~x1502999+4 ~x1502998+2 ~x1502997+1 ~x1502996+11264 x7596+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
38.28/38.36	c 16384 ~x1506726+8192 ~x1506725+4096 ~x1506724+2048 ~x1506723+1024 ~x1506722+512 ~x1506721+256 ~x1506720+128 ~x1506719+64 ~x1506718+32 ~x1506717+16 ~x1506716+8 ~x1506715+4 ~x1506714+2 ~x1506713+1 ~x1506712+21504 x7597+16384 ~x1066+8192 ~x1065+4096 ~x1064+2048 ~x1063+1024 ~x1062+512 ~x1061+256 ~x1060+128 ~x1059+64 ~x1058+32 ~x1057+16 ~x1056+8 ~x1055+4 ~x1054+2 ~x1053+1 ~x1052-0=65534
38.39/38.46	c 16384 ~x1511018+8192 ~x1511017+4096 ~x1511016+2048 ~x1511015+1024 ~x1511014+512 ~x1511013+256 ~x1511012+128 ~x1511011+64 ~x1511010+32 ~x1511009+16 ~x1511008+8 ~x1511007+4 ~x1511006+2 ~x1511005+1 ~x1511004+16384 x7598+16384 ~x1096+8192 ~x1095+4096 ~x1094+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=65534
38.48/38.56	c 4096 ~x1515051+2048 ~x1515050+1024 ~x1515049+512 ~x1515048+256 ~x1515047+128 ~x1515046+64 ~x1515045+32 ~x1515044+16 ~x1515043+8 ~x1515042+4 ~x1515041+2 ~x1515040+1 ~x1515039+4096 x7599+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=16382
38.58/38.63	c 16384 ~x1517753+8192 ~x1517752+4096 ~x1517751+2048 ~x1517750+1024 ~x1517749+512 ~x1517748+256 ~x1517747+128 ~x1517746+64 ~x1517745+32 ~x1517744+16 ~x1517743+8 ~x1517742+4 ~x1517741+2 ~x1517740+1 ~x1517739+16384 x7600+16384 ~x1156+8192 ~x1155+4096 ~x1154+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=65534
38.68/38.73	c 8192 ~x1521787+4096 ~x1521786+2048 ~x1521785+1024 ~x1521784+512 ~x1521783+256 ~x1521782+128 ~x1521781+64 ~x1521780+32 ~x1521779+16 ~x1521778+8 ~x1521777+4 ~x1521776+2 ~x1521775+1 ~x1521774+13312 x7601+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
38.78/38.83	c 16384 ~x1525504+8192 ~x1525503+4096 ~x1525502+2048 ~x1525501+1024 ~x1525500+512 ~x1525499+256 ~x1525498+128 ~x1525497+64 ~x1525496+32 ~x1525495+16 ~x1525494+8 ~x1525493+4 ~x1525492+2 ~x1525491+1 ~x1525490+16384 x7602+16384 ~x1216+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=65534
38.88/38.93	c 8192 ~x1529538+4096 ~x1529537+2048 ~x1529536+1024 ~x1529535+512 ~x1529534+256 ~x1529533+128 ~x1529532+64 ~x1529531+32 ~x1529530+16 ~x1529529+8 ~x1529528+4 ~x1529527+2 ~x1529526+1 ~x1529525+9216 x7603+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
38.98/39.02	c 4096 ~x1533253+2048 ~x1533252+1024 ~x1533251+512 ~x1533250+256 ~x1533249+128 ~x1533248+64 ~x1533247+32 ~x1533246+16 ~x1533245+8 ~x1533244+4 ~x1533243+2 ~x1533242+1 ~x1533241+7168 x7604+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=16382
38.98/39.09	c 16384 ~x1535955+8192 ~x1535954+4096 ~x1535953+2048 ~x1535952+1024 ~x1535951+512 ~x1535950+256 ~x1535949+128 ~x1535948+64 ~x1535947+32 ~x1535946+16 ~x1535945+8 ~x1535944+4 ~x1535943+2 ~x1535942+1 ~x1535941+16384 x7605+16384 ~x1306+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=65534
39.08/39.19	c 8192 ~x1539989+4096 ~x1539988+2048 ~x1539987+1024 ~x1539986+512 ~x1539985+256 ~x1539984+128 ~x1539983+64 ~x1539982+32 ~x1539981+16 ~x1539980+8 ~x1539979+4 ~x1539978+2 ~x1539977+1 ~x1539976+14336 x7606+8192 ~x1335+4096 ~x1334+2048 ~x1333+1024 ~x1332+512 ~x1331+256 ~x1330+128 ~x1329+64 ~x1328+32 ~x1327+16 ~x1326+8 ~x1325+4 ~x1324+2 ~x1323+1 ~x1322-0=32766
39.18/39.28	c 16384 ~x1543706+8192 ~x1543705+4096 ~x1543704+2048 ~x1543703+1024 ~x1543702+512 ~x1543701+256 ~x1543700+128 ~x1543699+64 ~x1543698+32 ~x1543697+16 ~x1543696+8 ~x1543695+4 ~x1543694+2 ~x1543693+1 ~x1543692+16384 x7607+16384 ~x1366+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=65534
39.28/39.39	c 16384 ~x1547741+8192 ~x1547740+4096 ~x1547739+2048 ~x1547738+1024 ~x1547737+512 ~x1547736+256 ~x1547735+128 ~x1547734+64 ~x1547733+32 ~x1547732+16 ~x1547731+8 ~x1547730+4 ~x1547729+2 ~x1547728+1 ~x1547727+21504 x7608+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
39.38/39.49	c 16384 ~x1552033+8192 ~x1552032+4096 ~x1552031+2048 ~x1552030+1024 ~x1552029+512 ~x1552028+256 ~x1552027+128 ~x1552026+64 ~x1552025+32 ~x1552024+16 ~x1552023+8 ~x1552022+4 ~x1552021+2 ~x1552020+1 ~x1552019+16384 x7609+16384 ~x1426+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=65534
39.49/39.59	c 16384 ~x1556068+8192 ~x1556067+4096 ~x1556066+2048 ~x1556065+1024 ~x1556064+512 ~x1556063+256 ~x1556062+128 ~x1556061+64 ~x1556060+32 ~x1556059+16 ~x1556058+8 ~x1556057+4 ~x1556056+2 ~x1556055+1 ~x1556054+16384 x7610+16384 ~x1456+8192 ~x1455+4096 ~x1454+2048 ~x1453+1024 ~x1452+512 ~x1451+256 ~x1450+128 ~x1449+64 ~x1448+32 ~x1447+16 ~x1446+8 ~x1445+4 ~x1444+2 ~x1443+1 ~x1442-0=65534
39.68/39.72	c 8192 ~x1560102+4096 ~x1560101+2048 ~x1560100+1024 ~x1560099+512 ~x1560098+256 ~x1560097+128 ~x1560096+64 ~x1560095+32 ~x1560094+16 ~x1560093+8 ~x1560092+4 ~x1560091+2 ~x1560090+1 ~x1560089+11264 x7611+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
39.78/39.81	c 8192 ~x1563818+4096 ~x1563817+2048 ~x1563816+1024 ~x1563815+512 ~x1563814+256 ~x1563813+128 ~x1563812+64 ~x1563811+32 ~x1563810+16 ~x1563809+8 ~x1563808+4 ~x1563807+2 ~x1563806+1 ~x1563805+8192 x7612+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
39.88/39.91	c 4096 ~x1567533+2048 ~x1567532+1024 ~x1567531+512 ~x1567530+256 ~x1567529+128 ~x1567528+64 ~x1567527+32 ~x1567526+16 ~x1567525+8 ~x1567524+4 ~x1567523+2 ~x1567522+1 ~x1567521+6144 x7613+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=16382
39.88/39.97	c 8192 ~x1570234+4096 ~x1570233+2048 ~x1570232+1024 ~x1570231+512 ~x1570230+256 ~x1570229+128 ~x1570228+64 ~x1570227+32 ~x1570226+16 ~x1570225+8 ~x1570224+4 ~x1570223+2 ~x1570222+1 ~x1570221+13312 x7614+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=32766
39.98/40.07	c 16384 ~x1573951+8192 ~x1573950+4096 ~x1573949+2048 ~x1573948+1024 ~x1573947+512 ~x1573946+256 ~x1573945+128 ~x1573944+64 ~x1573943+32 ~x1573942+16 ~x1573941+8 ~x1573940+4 ~x1573939+2 ~x1573938+1 ~x1573937+17408 x7615+16384 ~x1606+8192 ~x1605+4096 ~x1604+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=65534
40.08/40.17	c 8192 ~x1577985+4096 ~x1577984+2048 ~x1577983+1024 ~x1577982+512 ~x1577981+256 ~x1577980+128 ~x1577979+64 ~x1577978+32 ~x1577977+16 ~x1577976+8 ~x1577975+4 ~x1577974+2 ~x1577973+1 ~x1577972+11264 x7616+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=32766
40.18/40.27	c 16384 ~x1581702+8192 ~x1581701+4096 ~x1581700+2048 ~x1581699+1024 ~x1581698+512 ~x1581697+256 ~x1581696+128 ~x1581695+64 ~x1581694+32 ~x1581693+16 ~x1581692+8 ~x1581691+4 ~x1581690+2 ~x1581689+1 ~x1581688+17408 x7617+16384 ~x1666+8192 ~x1665+4096 ~x1664+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=65534
40.28/40.37	c 4096 ~x1585735+2048 ~x1585734+1024 ~x1585733+512 ~x1585732+256 ~x1585731+128 ~x1585730+64 ~x1585729+32 ~x1585728+16 ~x1585727+8 ~x1585726+4 ~x1585725+2 ~x1585724+1 ~x1585723+4096 x7618+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=16382
40.38/40.43	c 16384 ~x1588437+8192 ~x1588436+4096 ~x1588435+2048 ~x1588434+1024 ~x1588433+512 ~x1588432+256 ~x1588431+128 ~x1588430+64 ~x1588429+32 ~x1588428+16 ~x1588427+8 ~x1588426+4 ~x1588425+2 ~x1588424+1 ~x1588423+21504 x7619+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
40.48/40.54	c 16384 ~x1592729+8192 ~x1592728+4096 ~x1592727+2048 ~x1592726+1024 ~x1592725+512 ~x1592724+256 ~x1592723+128 ~x1592722+64 ~x1592721+32 ~x1592720+16 ~x1592719+8 ~x1592718+4 ~x1592717+2 ~x1592716+1 ~x1592715+17408 x7620+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
40.59/40.64	c 8192 ~x1596763+4096 ~x1596762+2048 ~x1596761+1024 ~x1596760+512 ~x1596759+256 ~x1596758+128 ~x1596757+64 ~x1596756+32 ~x1596755+16 ~x1596754+8 ~x1596753+4 ~x1596752+2 ~x1596751+1 ~x1596750+13312 x7621+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
40.68/40.73	c 16384 ~x1600480+8192 ~x1600479+4096 ~x1600478+2048 ~x1600477+1024 ~x1600476+512 ~x1600475+256 ~x1600474+128 ~x1600473+64 ~x1600472+32 ~x1600471+16 ~x1600470+8 ~x1600469+4 ~x1600468+2 ~x1600467+1 ~x1600466+17408 x7622+16384 ~x1816+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=65534
40.78/40.83	c 8192 ~x1604514+4096 ~x1604513+2048 ~x1604512+1024 ~x1604511+512 ~x1604510+256 ~x1604509+128 ~x1604508+64 ~x1604507+32 ~x1604506+16 ~x1604505+8 ~x1604504+4 ~x1604503+2 ~x1604502+1 ~x1604501+9216 x7623+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=32766
40.88/40.93	c 4096 ~x1608229+2048 ~x1608228+1024 ~x1608227+512 ~x1608226+256 ~x1608225+128 ~x1608224+64 ~x1608223+32 ~x1608222+16 ~x1608221+8 ~x1608220+4 ~x1608219+2 ~x1608218+1 ~x1608217+7168 x7624+4096 ~x1874+2048 ~x1873+1024 ~x1872+512 ~x1871+256 ~x1870+128 ~x1869+64 ~x1868+32 ~x1867+16 ~x1866+8 ~x1865+4 ~x1864+2 ~x1863+1 ~x1862-0=16382
40.98/41.00	c 16384 ~x1610931+8192 ~x1610930+4096 ~x1610929+2048 ~x1610928+1024 ~x1610927+512 ~x1610926+256 ~x1610925+128 ~x1610924+64 ~x1610923+32 ~x1610922+16 ~x1610921+8 ~x1610920+4 ~x1610919+2 ~x1610918+1 ~x1610917+17408 x7625+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
41.08/41.10	c 8192 ~x1614965+4096 ~x1614964+2048 ~x1614963+1024 ~x1614962+512 ~x1614961+256 ~x1614960+128 ~x1614959+64 ~x1614958+32 ~x1614957+16 ~x1614956+8 ~x1614955+4 ~x1614954+2 ~x1614953+1 ~x1614952+14336 x7626+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=32766
41.08/41.19	c 16384 ~x1618682+8192 ~x1618681+4096 ~x1618680+2048 ~x1618679+1024 ~x1618678+512 ~x1618677+256 ~x1618676+128 ~x1618675+64 ~x1618674+32 ~x1618673+16 ~x1618672+8 ~x1618671+4 ~x1618670+2 ~x1618669+1 ~x1618668+17408 x7627+16384 ~x1966+8192 ~x1965+4096 ~x1964+2048 ~x1963+1024 ~x1962+512 ~x1961+256 ~x1960+128 ~x1959+64 ~x1958+32 ~x1957+16 ~x1956+8 ~x1955+4 ~x1954+2 ~x1953+1 ~x1952-0=65534
41.18/41.29	c 16384 ~x1622717+8192 ~x1622716+4096 ~x1622715+2048 ~x1622714+1024 ~x1622713+512 ~x1622712+256 ~x1622711+128 ~x1622710+64 ~x1622709+32 ~x1622708+16 ~x1622707+8 ~x1622706+4 ~x1622705+2 ~x1622704+1 ~x1622703+17408 x7628+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
41.28/41.39	c 16384 ~x1626752+8192 ~x1626751+4096 ~x1626750+2048 ~x1626749+1024 ~x1626748+512 ~x1626747+256 ~x1626746+128 ~x1626745+64 ~x1626744+32 ~x1626743+16 ~x1626742+8 ~x1626741+4 ~x1626740+2 ~x1626739+1 ~x1626738+17408 x7629+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
41.38/41.49	c 8192 ~x1630786+4096 ~x1630785+2048 ~x1630784+1024 ~x1630783+512 ~x1630782+256 ~x1630781+128 ~x1630780+64 ~x1630779+32 ~x1630778+16 ~x1630777+8 ~x1630776+4 ~x1630775+2 ~x1630774+1 ~x1630773+11264 x7630+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
41.48/41.58	c 8192 ~x1634502+4096 ~x1634501+2048 ~x1634500+1024 ~x1634499+512 ~x1634498+256 ~x1634497+128 ~x1634496+64 ~x1634495+32 ~x1634494+16 ~x1634493+8 ~x1634492+4 ~x1634491+2 ~x1634490+1 ~x1634489+11264 x7631+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
41.58/41.68	c 8192 ~x1638218+4096 ~x1638217+2048 ~x1638216+1024 ~x1638215+512 ~x1638214+256 ~x1638213+128 ~x1638212+64 ~x1638211+32 ~x1638210+16 ~x1638209+8 ~x1638208+4 ~x1638207+2 ~x1638206+1 ~x1638205+8192 x7632+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=32766
41.68/41.77	c 4096 ~x1641933+2048 ~x1641932+1024 ~x1641931+512 ~x1641930+256 ~x1641929+128 ~x1641928+64 ~x1641927+32 ~x1641926+16 ~x1641925+8 ~x1641924+4 ~x1641923+2 ~x1641922+1 ~x1641921+6144 x7633+4096 ~x2144+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=16382
41.79/41.84	c 8192 ~x1644634+4096 ~x1644633+2048 ~x1644632+1024 ~x1644631+512 ~x1644630+256 ~x1644629+128 ~x1644628+64 ~x1644627+32 ~x1644626+16 ~x1644625+8 ~x1644624+4 ~x1644623+2 ~x1644622+1 ~x1644621+13312 x7634+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=32766
41.88/41.93	c 16384 ~x1648351+8192 ~x1648350+4096 ~x1648349+2048 ~x1648348+1024 ~x1648347+512 ~x1648346+256 ~x1648345+128 ~x1648344+64 ~x1648343+32 ~x1648342+16 ~x1648341+8 ~x1648340+4 ~x1648339+2 ~x1648338+1 ~x1648337+21504 x7635+16384 ~x2206+8192 ~x2205+4096 ~x2204+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=65534
41.97/42.04	c 8192 ~x1652642+4096 ~x1652641+2048 ~x1652640+1024 ~x1652639+512 ~x1652638+256 ~x1652637+128 ~x1652636+64 ~x1652635+32 ~x1652634+16 ~x1652633+8 ~x1652632+4 ~x1652631+2 ~x1652630+1 ~x1652629+11264 x7636+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=32766
42.08/42.13	c 16384 ~x1656359+8192 ~x1656358+4096 ~x1656357+2048 ~x1656356+1024 ~x1656355+512 ~x1656354+256 ~x1656353+128 ~x1656352+64 ~x1656351+32 ~x1656350+16 ~x1656349+8 ~x1656348+4 ~x1656347+2 ~x1656346+1 ~x1656345+20480 x7637+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
42.18/42.24	c 4096 ~x1660649+2048 ~x1660648+1024 ~x1660647+512 ~x1660646+256 ~x1660645+128 ~x1660644+64 ~x1660643+32 ~x1660642+16 ~x1660641+8 ~x1660640+4 ~x1660639+2 ~x1660638+1 ~x1660637+4096 x7638+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=16382
42.28/42.30	c 32768 ~x1663352+16384 ~x1663351+8192 ~x1663350+4096 ~x1663349+2048 ~x1663348+1024 ~x1663347+512 ~x1663346+256 ~x1663345+128 ~x1663344+64 ~x1663343+32 ~x1663342+16 ~x1663341+8 ~x1663340+4 ~x1663339+2 ~x1663338+1 ~x1663337+35840 x7639+32768 ~x2327+16384 ~x2326+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=131070
42.38/42.42	c 8192 ~x1667979+4096 ~x1667978+2048 ~x1667977+1024 ~x1667976+512 ~x1667975+256 ~x1667974+128 ~x1667973+64 ~x1667972+32 ~x1667971+16 ~x1667970+8 ~x1667969+4 ~x1667968+2 ~x1667967+1 ~x1667966+13312 x7640+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=32766
42.47/42.51	c 8192 ~x1671695+4096 ~x1671694+2048 ~x1671693+1024 ~x1671692+512 ~x1671691+256 ~x1671690+128 ~x1671689+64 ~x1671688+32 ~x1671687+16 ~x1671686+8 ~x1671685+4 ~x1671684+2 ~x1671683+1 ~x1671682+8192 x7641+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=32766
42.58/42.60	c 16384 ~x1675412+8192 ~x1675411+4096 ~x1675410+2048 ~x1675409+1024 ~x1675408+512 ~x1675407+256 ~x1675406+128 ~x1675405+64 ~x1675404+32 ~x1675403+16 ~x1675402+8 ~x1675401+4 ~x1675400+2 ~x1675399+1 ~x1675398+20480 x7642+16384 ~x2416+8192 ~x2415+4096 ~x2414+2048 ~x2413+1024 ~x2412+512 ~x2411+256 ~x2410+128 ~x2409+64 ~x2408+32 ~x2407+16 ~x2406+8 ~x2405+4 ~x2404+2 ~x2403+1 ~x2402-0=65534
42.68/42.71	c 8192 ~x1679703+4096 ~x1679702+2048 ~x1679701+1024 ~x1679700+512 ~x1679699+256 ~x1679698+128 ~x1679697+64 ~x1679696+32 ~x1679695+16 ~x1679694+8 ~x1679693+4 ~x1679692+2 ~x1679691+1 ~x1679690+9216 x7643+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=32766
42.79/42.80	c 4096 ~x1683418+2048 ~x1683417+1024 ~x1683416+512 ~x1683415+256 ~x1683414+128 ~x1683413+64 ~x1683412+32 ~x1683411+16 ~x1683410+8 ~x1683409+4 ~x1683408+2 ~x1683407+1 ~x1683406+7168 x7644+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=16382
42.79/42.87	c 16384 ~x1686120+8192 ~x1686119+4096 ~x1686118+2048 ~x1686117+1024 ~x1686116+512 ~x1686115+256 ~x1686114+128 ~x1686113+64 ~x1686112+32 ~x1686111+16 ~x1686110+8 ~x1686109+4 ~x1686108+2 ~x1686107+1 ~x1686106+18432 x7645+16384 ~x2506+8192 ~x2505+4096 ~x2504+2048 ~x2503+1024 ~x2502+512 ~x2501+256 ~x2500+128 ~x2499+64 ~x2498+32 ~x2497+16 ~x2496+8 ~x2495+4 ~x2494+2 ~x2493+1 ~x2492-0=65534
42.88/42.97	c 8192 ~x1690154+4096 ~x1690153+2048 ~x1690152+1024 ~x1690151+512 ~x1690150+256 ~x1690149+128 ~x1690148+64 ~x1690147+32 ~x1690146+16 ~x1690145+8 ~x1690144+4 ~x1690143+2 ~x1690142+1 ~x1690141+14336 x7646+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=32766
42.98/43.07	c 16384 ~x1693871+8192 ~x1693870+4096 ~x1693869+2048 ~x1693868+1024 ~x1693867+512 ~x1693866+256 ~x1693865+128 ~x1693864+64 ~x1693863+32 ~x1693862+16 ~x1693861+8 ~x1693860+4 ~x1693859+2 ~x1693858+1 ~x1693857+22528 x7647+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
43.07/43.17	c 32768 ~x1698164+16384 ~x1698163+8192 ~x1698162+4096 ~x1698161+2048 ~x1698160+1024 ~x1698159+512 ~x1698158+256 ~x1698157+128 ~x1698156+64 ~x1698155+32 ~x1698154+16 ~x1698153+8 ~x1698152+4 ~x1698151+2 ~x1698150+1 ~x1698149+33792 x7648+32768 ~x2597+16384 ~x2596+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=131070
43.18/43.28	c 32768 ~x1702793+16384 ~x1702792+8192 ~x1702791+4096 ~x1702790+2048 ~x1702789+1024 ~x1702788+512 ~x1702787+256 ~x1702786+128 ~x1702785+64 ~x1702784+32 ~x1702783+16 ~x1702782+8 ~x1702781+4 ~x1702780+2 ~x1702779+1 ~x1702778+38912 x7649+32768 ~x2627+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=131070
43.38/43.40	c 8192 ~x1707420+4096 ~x1707419+2048 ~x1707418+1024 ~x1707417+512 ~x1707416+256 ~x1707415+128 ~x1707414+64 ~x1707413+32 ~x1707412+16 ~x1707411+8 ~x1707410+4 ~x1707409+2 ~x1707408+1 ~x1707407+11264 x7650+8192 ~x2655+4096 ~x2654+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=32766
43.38/43.49	c 8192 ~x1711136+4096 ~x1711135+2048 ~x1711134+1024 ~x1711133+512 ~x1711132+256 ~x1711131+128 ~x1711130+64 ~x1711129+32 ~x1711128+16 ~x1711127+8 ~x1711126+4 ~x1711125+2 ~x1711124+1 ~x1711123+8192 x7651+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=32766
43.48/43.58	c 4096 ~x1714851+2048 ~x1714850+1024 ~x1714849+512 ~x1714848+256 ~x1714847+128 ~x1714846+64 ~x1714845+32 ~x1714844+16 ~x1714843+8 ~x1714842+4 ~x1714841+2 ~x1714840+1 ~x1714839+6144 x7652+4096 ~x2714+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=16382
43.58/43.65	c 4096 ~x1717551+2048 ~x1717550+1024 ~x1717549+512 ~x1717548+256 ~x1717547+128 ~x1717546+64 ~x1717545+32 ~x1717544+16 ~x1717543+8 ~x1717542+4 ~x1717541+2 ~x1717540+1 ~x1717539+6144 x7653+4096 ~x2744+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=16382
43.68/43.72	c 8192 ~x1720252+4096 ~x1720251+2048 ~x1720250+1024 ~x1720249+512 ~x1720248+256 ~x1720247+128 ~x1720246+64 ~x1720245+32 ~x1720244+16 ~x1720243+8 ~x1720242+4 ~x1720241+2 ~x1720240+1 ~x1720239+13312 x7654+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=32766
43.78/43.81	c 16384 ~x1723969+8192 ~x1723968+4096 ~x1723967+2048 ~x1723966+1024 ~x1723965+512 ~x1723964+256 ~x1723963+128 ~x1723962+64 ~x1723961+32 ~x1723960+16 ~x1723959+8 ~x1723958+4 ~x1723957+2 ~x1723956+1 ~x1723955+21504 x7655+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=65534
43.88/43.92	c 8192 ~x1728260+4096 ~x1728259+2048 ~x1728258+1024 ~x1728257+512 ~x1728256+256 ~x1728255+128 ~x1728254+64 ~x1728253+32 ~x1728252+16 ~x1728251+8 ~x1728250+4 ~x1728249+2 ~x1728248+1 ~x1728247+11264 x7656+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
43.99/44.01	c 16384 ~x1731977+8192 ~x1731976+4096 ~x1731975+2048 ~x1731974+1024 ~x1731973+512 ~x1731972+256 ~x1731971+128 ~x1731970+64 ~x1731969+32 ~x1731968+16 ~x1731967+8 ~x1731966+4 ~x1731965+2 ~x1731964+1 ~x1731963+20480 x7657+16384 ~x2866+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=65534
44.08/44.12	c 4096 ~x1736267+2048 ~x1736266+1024 ~x1736265+512 ~x1736264+256 ~x1736263+128 ~x1736262+64 ~x1736261+32 ~x1736260+16 ~x1736259+8 ~x1736258+4 ~x1736257+2 ~x1736256+1 ~x1736255+4096 x7658+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=16382
44.08/44.19	c 16384 ~x1738969+8192 ~x1738968+4096 ~x1738967+2048 ~x1738966+1024 ~x1738965+512 ~x1738964+256 ~x1738963+128 ~x1738962+64 ~x1738961+32 ~x1738960+16 ~x1738959+8 ~x1738958+4 ~x1738957+2 ~x1738956+1 ~x1738955+22528 x7659+16384 ~x2926+8192 ~x2925+4096 ~x2924+2048 ~x2923+1024 ~x2922+512 ~x2921+256 ~x2920+128 ~x2919+64 ~x2918+32 ~x2917+16 ~x2916+8 ~x2915+4 ~x2914+2 ~x2913+1 ~x2912-0=65534
44.18/44.29	c 8192 ~x1743260+4096 ~x1743259+2048 ~x1743258+1024 ~x1743257+512 ~x1743256+256 ~x1743255+128 ~x1743254+64 ~x1743253+32 ~x1743252+16 ~x1743251+8 ~x1743250+4 ~x1743249+2 ~x1743248+1 ~x1743247+13312 x7660+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=32766
44.28/44.39	c 16384 ~x1746977+8192 ~x1746976+4096 ~x1746975+2048 ~x1746974+1024 ~x1746973+512 ~x1746972+256 ~x1746971+128 ~x1746970+64 ~x1746969+32 ~x1746968+16 ~x1746967+8 ~x1746966+4 ~x1746965+2 ~x1746964+1 ~x1746963+20480 x7661+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
44.38/44.49	c 8192 ~x1751268+4096 ~x1751267+2048 ~x1751266+1024 ~x1751265+512 ~x1751264+256 ~x1751263+128 ~x1751262+64 ~x1751261+32 ~x1751260+16 ~x1751259+8 ~x1751258+4 ~x1751257+2 ~x1751256+1 ~x1751255+9216 x7662+8192 ~x3015+4096 ~x3014+2048 ~x3013+1024 ~x3012+512 ~x3011+256 ~x3010+128 ~x3009+64 ~x3008+32 ~x3007+16 ~x3006+8 ~x3005+4 ~x3004+2 ~x3003+1 ~x3002-0=32766
44.48/44.58	c 8192 ~x1754984+4096 ~x1754983+2048 ~x1754982+1024 ~x1754981+512 ~x1754980+256 ~x1754979+128 ~x1754978+64 ~x1754977+32 ~x1754976+16 ~x1754975+8 ~x1754974+4 ~x1754973+2 ~x1754972+1 ~x1754971+13312 x7663+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=32766
44.57/44.68	c 4096 ~x1758699+2048 ~x1758698+1024 ~x1758697+512 ~x1758696+256 ~x1758695+128 ~x1758694+64 ~x1758693+32 ~x1758692+16 ~x1758691+8 ~x1758690+4 ~x1758689+2 ~x1758688+1 ~x1758687+7168 x7664+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=16382
44.68/44.75	c 16384 ~x1761401+8192 ~x1761400+4096 ~x1761399+2048 ~x1761398+1024 ~x1761397+512 ~x1761396+256 ~x1761395+128 ~x1761394+64 ~x1761393+32 ~x1761392+16 ~x1761391+8 ~x1761390+4 ~x1761389+2 ~x1761388+1 ~x1761387+18432 x7665+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
44.78/44.85	c 8192 ~x1765435+4096 ~x1765434+2048 ~x1765433+1024 ~x1765432+512 ~x1765431+256 ~x1765430+128 ~x1765429+64 ~x1765428+32 ~x1765427+16 ~x1765426+8 ~x1765425+4 ~x1765424+2 ~x1765423+1 ~x1765422+14336 x7666+8192 ~x3135+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=32766
44.88/44.94	c 16384 ~x1769152+8192 ~x1769151+4096 ~x1769150+2048 ~x1769149+1024 ~x1769148+512 ~x1769147+256 ~x1769146+128 ~x1769145+64 ~x1769144+32 ~x1769143+16 ~x1769142+8 ~x1769141+4 ~x1769140+2 ~x1769139+1 ~x1769138+22528 x7667+16384 ~x3166+8192 ~x3165+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=65534
44.98/45.05	c 16384 ~x1773444+8192 ~x1773443+4096 ~x1773442+2048 ~x1773441+1024 ~x1773440+512 ~x1773439+256 ~x1773438+128 ~x1773437+64 ~x1773436+32 ~x1773435+16 ~x1773434+8 ~x1773433+4 ~x1773432+2 ~x1773431+1 ~x1773430+22528 x7668+16384 ~x3196+8192 ~x3195+4096 ~x3194+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=65534
45.09/45.16	c 16384 ~x1777736+8192 ~x1777735+4096 ~x1777734+2048 ~x1777733+1024 ~x1777732+512 ~x1777731+256 ~x1777730+128 ~x1777729+64 ~x1777728+32 ~x1777727+16 ~x1777726+8 ~x1777725+4 ~x1777724+2 ~x1777723+1 ~x1777722+22528 x7669+16384 ~x3226+8192 ~x3225+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=65534
45.18/45.26	c 8192 ~x1782027+4096 ~x1782026+2048 ~x1782025+1024 ~x1782024+512 ~x1782023+256 ~x1782022+128 ~x1782021+64 ~x1782020+32 ~x1782019+16 ~x1782018+8 ~x1782017+4 ~x1782016+2 ~x1782015+1 ~x1782014+11264 x7670+8192 ~x3255+4096 ~x3254+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=32766
45.28/45.36	c 8192 ~x1785743+4096 ~x1785742+2048 ~x1785741+1024 ~x1785740+512 ~x1785739+256 ~x1785738+128 ~x1785737+64 ~x1785736+32 ~x1785735+16 ~x1785734+8 ~x1785733+4 ~x1785732+2 ~x1785731+1 ~x1785730+8192 x7671+8192 ~x3285+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=32766
45.37/45.45	c 4096 ~x1789458+2048 ~x1789457+1024 ~x1789456+512 ~x1789455+256 ~x1789454+128 ~x1789453+64 ~x1789452+32 ~x1789451+16 ~x1789450+8 ~x1789449+4 ~x1789448+2 ~x1789447+1 ~x1789446+6144 x7672+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
45.47/45.52	c 8192 ~x1792159+4096 ~x1792158+2048 ~x1792157+1024 ~x1792156+512 ~x1792155+256 ~x1792154+128 ~x1792153+64 ~x1792152+32 ~x1792151+16 ~x1792150+8 ~x1792149+4 ~x1792148+2 ~x1792147+1 ~x1792146+13312 x7673+8192 ~x3345+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=32766
45.58/45.61	c 16384 ~x1795876+8192 ~x1795875+4096 ~x1795874+2048 ~x1795873+1024 ~x1795872+512 ~x1795871+256 ~x1795870+128 ~x1795869+64 ~x1795868+32 ~x1795867+16 ~x1795866+8 ~x1795865+4 ~x1795864+2 ~x1795863+1 ~x1795862+21504 x7674+16384 ~x3376+8192 ~x3375+4096 ~x3374+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=65534
45.68/45.72	c 16384 ~x1800168+8192 ~x1800167+4096 ~x1800166+2048 ~x1800165+1024 ~x1800164+512 ~x1800163+256 ~x1800162+128 ~x1800161+64 ~x1800160+32 ~x1800159+16 ~x1800158+8 ~x1800157+4 ~x1800156+2 ~x1800155+1 ~x1800154+19456 x7675+16384 ~x3406+8192 ~x3405+4096 ~x3404+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=65534
45.78/45.82	c 16384 ~x1804203+8192 ~x1804202+4096 ~x1804201+2048 ~x1804200+1024 ~x1804199+512 ~x1804198+256 ~x1804197+128 ~x1804196+64 ~x1804195+32 ~x1804194+16 ~x1804193+8 ~x1804192+4 ~x1804191+2 ~x1804190+1 ~x1804189+21504 x7676+16384 ~x3436+8192 ~x3435+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=65534
45.88/45.92	c 8192 ~x1808494+4096 ~x1808493+2048 ~x1808492+1024 ~x1808491+512 ~x1808490+256 ~x1808489+128 ~x1808488+64 ~x1808487+32 ~x1808486+16 ~x1808485+8 ~x1808484+4 ~x1808483+2 ~x1808482+1 ~x1808481+11264 x7677+8192 ~x3465+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=32766
45.98/46.02	c 16384 ~x1812211+8192 ~x1812210+4096 ~x1812209+2048 ~x1812208+1024 ~x1812207+512 ~x1812206+256 ~x1812205+128 ~x1812204+64 ~x1812203+32 ~x1812202+16 ~x1812201+8 ~x1812200+4 ~x1812199+2 ~x1812198+1 ~x1812197+20480 x7678+16384 ~x3496+8192 ~x3495+4096 ~x3494+2048 ~x3493+1024 ~x3492+512 ~x3491+256 ~x3490+128 ~x3489+64 ~x3488+32 ~x3487+16 ~x3486+8 ~x3485+4 ~x3484+2 ~x3483+1 ~x3482-0=65534
46.08/46.12	c 4096 ~x1816501+2048 ~x1816500+1024 ~x1816499+512 ~x1816498+256 ~x1816497+128 ~x1816496+64 ~x1816495+32 ~x1816494+16 ~x1816493+8 ~x1816492+4 ~x1816491+2 ~x1816490+1 ~x1816489+4096 x7679+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
46.08/46.19	c 32768 ~x1819204+16384 ~x1819203+8192 ~x1819202+4096 ~x1819201+2048 ~x1819200+1024 ~x1819199+512 ~x1819198+256 ~x1819197+128 ~x1819196+64 ~x1819195+32 ~x1819194+16 ~x1819193+8 ~x1819192+4 ~x1819191+2 ~x1819190+1 ~x1819189+33792 x7680+32768 ~x3557+16384 ~x3556+8192 ~x3555+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=131070
46.27/46.30	c 8192 ~x1823831+4096 ~x1823830+2048 ~x1823829+1024 ~x1823828+512 ~x1823827+256 ~x1823826+128 ~x1823825+64 ~x1823824+32 ~x1823823+16 ~x1823822+8 ~x1823821+4 ~x1823820+2 ~x1823819+1 ~x1823818+13312 x7681+8192 ~x3585+4096 ~x3584+2048 ~x3583+1024 ~x3582+512 ~x3581+256 ~x3580+128 ~x3579+64 ~x3578+32 ~x3577+16 ~x3576+8 ~x3575+4 ~x3574+2 ~x3573+1 ~x3572-0=32766
46.38/46.40	c 16384 ~x1827548+8192 ~x1827547+4096 ~x1827546+2048 ~x1827545+1024 ~x1827544+512 ~x1827543+256 ~x1827542+128 ~x1827541+64 ~x1827540+32 ~x1827539+16 ~x1827538+8 ~x1827537+4 ~x1827536+2 ~x1827535+1 ~x1827534+20480 x7682+16384 ~x3616+8192 ~x3615+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=65534
46.48/46.50	c 8192 ~x1831839+4096 ~x1831838+2048 ~x1831837+1024 ~x1831836+512 ~x1831835+256 ~x1831834+128 ~x1831833+64 ~x1831832+32 ~x1831831+16 ~x1831830+8 ~x1831829+4 ~x1831828+2 ~x1831827+1 ~x1831826+9216 x7683+8192 ~x3645+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=32766
46.48/46.60	c 4096 ~x1835554+2048 ~x1835553+1024 ~x1835552+512 ~x1835551+256 ~x1835550+128 ~x1835549+64 ~x1835548+32 ~x1835547+16 ~x1835546+8 ~x1835545+4 ~x1835544+2 ~x1835543+1 ~x1835542+7168 x7684+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=16382
46.57/46.66	c 16384 ~x1838256+8192 ~x1838255+4096 ~x1838254+2048 ~x1838253+1024 ~x1838252+512 ~x1838251+256 ~x1838250+128 ~x1838249+64 ~x1838248+32 ~x1838247+16 ~x1838246+8 ~x1838245+4 ~x1838244+2 ~x1838243+1 ~x1838242+18432 x7685+16384 ~x3706+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=65534
46.68/46.77	c 8192 ~x1842290+4096 ~x1842289+2048 ~x1842288+1024 ~x1842287+512 ~x1842286+256 ~x1842285+128 ~x1842284+64 ~x1842283+32 ~x1842282+16 ~x1842281+8 ~x1842280+4 ~x1842279+2 ~x1842278+1 ~x1842277+11264 x7686+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=32766
46.78/46.86	c 8192 ~x1846006+4096 ~x1846005+2048 ~x1846004+1024 ~x1846003+512 ~x1846002+256 ~x1846001+128 ~x1846000+64 ~x1845999+32 ~x1845998+16 ~x1845997+8 ~x1845996+4 ~x1845995+2 ~x1845994+1 ~x1845993+14336 x7687+8192 ~x3765+4096 ~x3764+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=32766
46.88/46.95	c 16384 ~x1849723+8192 ~x1849722+4096 ~x1849721+2048 ~x1849720+1024 ~x1849719+512 ~x1849718+256 ~x1849717+128 ~x1849716+64 ~x1849715+32 ~x1849714+16 ~x1849713+8 ~x1849712+4 ~x1849711+2 ~x1849710+1 ~x1849709+22528 x7688+16384 ~x3796+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=65534
46.98/47.06	c 32768 ~x1854016+16384 ~x1854015+8192 ~x1854014+4096 ~x1854013+2048 ~x1854012+1024 ~x1854011+512 ~x1854010+256 ~x1854009+128 ~x1854008+64 ~x1854007+32 ~x1854006+16 ~x1854005+8 ~x1854004+4 ~x1854003+2 ~x1854002+1 ~x1854001+33792 x7689+32768 ~x3827+16384 ~x3826+8192 ~x3825+4096 ~x3824+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=131070
47.08/47.17	c 32768 ~x1858645+16384 ~x1858644+8192 ~x1858643+4096 ~x1858642+2048 ~x1858641+1024 ~x1858640+512 ~x1858639+256 ~x1858638+128 ~x1858637+64 ~x1858636+32 ~x1858635+16 ~x1858634+8 ~x1858633+4 ~x1858632+2 ~x1858631+1 ~x1858630+33792 x7690+32768 ~x3857+16384 ~x3856+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=131070
47.19/47.28	c 8192 ~x1863272+4096 ~x1863271+2048 ~x1863270+1024 ~x1863269+512 ~x1863268+256 ~x1863267+128 ~x1863266+64 ~x1863265+32 ~x1863264+16 ~x1863263+8 ~x1863262+4 ~x1863261+2 ~x1863260+1 ~x1863259+11264 x7691+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
47.29/47.38	c 8192 ~x1866988+4096 ~x1866987+2048 ~x1866986+1024 ~x1866985+512 ~x1866984+256 ~x1866983+128 ~x1866982+64 ~x1866981+32 ~x1866980+16 ~x1866979+8 ~x1866978+4 ~x1866977+2 ~x1866976+1 ~x1866975+8192 x7692+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
47.38/47.47	c 4096 ~x1870703+2048 ~x1870702+1024 ~x1870701+512 ~x1870700+256 ~x1870699+128 ~x1870698+64 ~x1870697+32 ~x1870696+16 ~x1870695+8 ~x1870694+4 ~x1870693+2 ~x1870692+1 ~x1870691+6144 x7693+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=16382
47.47/47.54	c 8192 ~x1873404+4096 ~x1873403+2048 ~x1873402+1024 ~x1873401+512 ~x1873400+256 ~x1873399+128 ~x1873398+64 ~x1873397+32 ~x1873396+16 ~x1873395+8 ~x1873394+4 ~x1873393+2 ~x1873392+1 ~x1873391+13312 x7694+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
47.57/47.63	c 16384 ~x1877121+8192 ~x1877120+4096 ~x1877119+2048 ~x1877118+1024 ~x1877117+512 ~x1877116+256 ~x1877115+128 ~x1877114+64 ~x1877113+32 ~x1877112+16 ~x1877111+8 ~x1877110+4 ~x1877109+2 ~x1877108+1 ~x1877107+21504 x7695+16384 ~x4006+8192 ~x4005+4096 ~x4004+2048 ~x4003+1024 ~x4002+512 ~x4001+256 ~x4000+128 ~x3999+64 ~x3998+32 ~x3997+16 ~x3996+8 ~x3995+4 ~x3994+2 ~x3993+1 ~x3992-0=65534
47.68/47.74	c 8192 ~x1881412+4096 ~x1881411+2048 ~x1881410+1024 ~x1881409+512 ~x1881408+256 ~x1881407+128 ~x1881406+64 ~x1881405+32 ~x1881404+16 ~x1881403+8 ~x1881402+4 ~x1881401+2 ~x1881400+1 ~x1881399+11264 x7696+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
47.78/47.83	c 16384 ~x1885129+8192 ~x1885128+4096 ~x1885127+2048 ~x1885126+1024 ~x1885125+512 ~x1885124+256 ~x1885123+128 ~x1885122+64 ~x1885121+32 ~x1885120+16 ~x1885119+8 ~x1885118+4 ~x1885117+2 ~x1885116+1 ~x1885115+19456 x7697+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
47.88/47.93	c 16384 ~x1889164+8192 ~x1889163+4096 ~x1889162+2048 ~x1889161+1024 ~x1889160+512 ~x1889159+256 ~x1889158+128 ~x1889157+64 ~x1889156+32 ~x1889155+16 ~x1889154+8 ~x1889153+4 ~x1889152+2 ~x1889151+1 ~x1889150+20480 x7698+16384 ~x4096+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=65534
47.98/48.04	c 4096 ~x1893454+2048 ~x1893453+1024 ~x1893452+512 ~x1893451+256 ~x1893450+128 ~x1893449+64 ~x1893448+32 ~x1893447+16 ~x1893446+8 ~x1893445+4 ~x1893444+2 ~x1893443+1 ~x1893442+4096 x7699+4096 ~x4124+2048 ~x4123+1024 ~x4122+512 ~x4121+256 ~x4120+128 ~x4119+64 ~x4118+32 ~x4117+16 ~x4116+8 ~x4115+4 ~x4114+2 ~x4113+1 ~x4112-0=16382
48.08/48.11	c 16384 ~x1896156+8192 ~x1896155+4096 ~x1896154+2048 ~x1896153+1024 ~x1896152+512 ~x1896151+256 ~x1896150+128 ~x1896149+64 ~x1896148+32 ~x1896147+16 ~x1896146+8 ~x1896145+4 ~x1896144+2 ~x1896143+1 ~x1896142+22528 x7700+16384 ~x4156+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=65534
48.18/48.21	c 8192 ~x1900447+4096 ~x1900446+2048 ~x1900445+1024 ~x1900444+512 ~x1900443+256 ~x1900442+128 ~x1900441+64 ~x1900440+32 ~x1900439+16 ~x1900438+8 ~x1900437+4 ~x1900436+2 ~x1900435+1 ~x1900434+13312 x7701+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
48.29/48.31	c 16384 ~x1904164+8192 ~x1904163+4096 ~x1904162+2048 ~x1904161+1024 ~x1904160+512 ~x1904159+256 ~x1904158+128 ~x1904157+64 ~x1904156+32 ~x1904155+16 ~x1904154+8 ~x1904153+4 ~x1904152+2 ~x1904151+1 ~x1904150+20480 x7702+16384 ~x4216+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=65534
48.38/48.41	c 8192 ~x1908455+4096 ~x1908454+2048 ~x1908453+1024 ~x1908452+512 ~x1908451+256 ~x1908450+128 ~x1908449+64 ~x1908448+32 ~x1908447+16 ~x1908446+8 ~x1908445+4 ~x1908444+2 ~x1908443+1 ~x1908442+9216 x7703+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=32766
48.47/48.50	c 4096 ~x1912170+2048 ~x1912169+1024 ~x1912168+512 ~x1912167+256 ~x1912166+128 ~x1912165+64 ~x1912164+32 ~x1912163+16 ~x1912162+8 ~x1912161+4 ~x1912160+2 ~x1912159+1 ~x1912158+7168 x7704+4096 ~x4274+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=16382
48.47/48.57	c 16384 ~x1914872+8192 ~x1914871+4096 ~x1914870+2048 ~x1914869+1024 ~x1914868+512 ~x1914867+256 ~x1914866+128 ~x1914865+64 ~x1914864+32 ~x1914863+16 ~x1914862+8 ~x1914861+4 ~x1914860+2 ~x1914859+1 ~x1914858+18432 x7705+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=65534
48.58/48.67	c 8192 ~x1918906+4096 ~x1918905+2048 ~x1918904+1024 ~x1918903+512 ~x1918902+256 ~x1918901+128 ~x1918900+64 ~x1918899+32 ~x1918898+16 ~x1918897+8 ~x1918896+4 ~x1918895+2 ~x1918894+1 ~x1918893+14336 x7706+8192 ~x4335+4096 ~x4334+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=32766
48.68/48.77	c 16384 ~x1922623+8192 ~x1922622+4096 ~x1922621+2048 ~x1922620+1024 ~x1922619+512 ~x1922618+256 ~x1922617+128 ~x1922616+64 ~x1922615+32 ~x1922614+16 ~x1922613+8 ~x1922612+4 ~x1922611+2 ~x1922610+1 ~x1922609+22528 x7707+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
48.78/48.87	c 4096 ~x1926913+2048 ~x1926912+1024 ~x1926911+512 ~x1926910+256 ~x1926909+128 ~x1926908+64 ~x1926907+32 ~x1926906+16 ~x1926905+8 ~x1926904+4 ~x1926903+2 ~x1926902+1 ~x1926901+4096 x7708+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=16382
48.87/48.94	c 16384 ~x1929615+8192 ~x1929614+4096 ~x1929613+2048 ~x1929612+1024 ~x1929611+512 ~x1929610+256 ~x1929609+128 ~x1929608+64 ~x1929607+32 ~x1929606+16 ~x1929605+8 ~x1929604+4 ~x1929603+2 ~x1929602+1 ~x1929601+22528 x7709+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=65534
48.97/49.05	c 16384 ~x1933907+8192 ~x1933906+4096 ~x1933905+2048 ~x1933904+1024 ~x1933903+512 ~x1933902+256 ~x1933901+128 ~x1933900+64 ~x1933899+32 ~x1933898+16 ~x1933897+8 ~x1933896+4 ~x1933895+2 ~x1933894+1 ~x1933893+22528 x7710+16384 ~x4456+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=65534
49.07/49.15	c 8192 ~x1938198+4096 ~x1938197+2048 ~x1938196+1024 ~x1938195+512 ~x1938194+256 ~x1938193+128 ~x1938192+64 ~x1938191+32 ~x1938190+16 ~x1938189+8 ~x1938188+4 ~x1938187+2 ~x1938186+1 ~x1938185+11264 x7711+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
49.18/49.24	c 8192 ~x1941914+4096 ~x1941913+2048 ~x1941912+1024 ~x1941911+512 ~x1941910+256 ~x1941909+128 ~x1941908+64 ~x1941907+32 ~x1941906+16 ~x1941905+8 ~x1941904+4 ~x1941903+2 ~x1941902+1 ~x1941901+8192 x7712+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=32766
49.28/49.34	c 4096 ~x1945629+2048 ~x1945628+1024 ~x1945627+512 ~x1945626+256 ~x1945625+128 ~x1945624+64 ~x1945623+32 ~x1945622+16 ~x1945621+8 ~x1945620+4 ~x1945619+2 ~x1945618+1 ~x1945617+6144 x7713+4096 ~x4544+2048 ~x4543+1024 ~x4542+512 ~x4541+256 ~x4540+128 ~x4539+64 ~x4538+32 ~x4537+16 ~x4536+8 ~x4535+4 ~x4534+2 ~x4533+1 ~x4532-0=16382
49.38/49.44	c 8192 ~x1948330+4096 ~x1948329+2048 ~x1948328+1024 ~x1948327+512 ~x1948326+256 ~x1948325+128 ~x1948324+64 ~x1948323+32 ~x1948322+16 ~x1948321+8 ~x1948320+4 ~x1948319+2 ~x1948318+1 ~x1948317+13312 x7714+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=32766
49.49/49.53	c 16384 ~x1952047+8192 ~x1952046+4096 ~x1952045+2048 ~x1952044+1024 ~x1952043+512 ~x1952042+256 ~x1952041+128 ~x1952040+64 ~x1952039+32 ~x1952038+16 ~x1952037+8 ~x1952036+4 ~x1952035+2 ~x1952034+1 ~x1952033+21504 x7715+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
49.58/49.64	c 8192 ~x1956338+4096 ~x1956337+2048 ~x1956336+1024 ~x1956335+512 ~x1956334+256 ~x1956333+128 ~x1956332+64 ~x1956331+32 ~x1956330+16 ~x1956329+8 ~x1956328+4 ~x1956327+2 ~x1956326+1 ~x1956325+11264 x7716+8192 ~x4635+4096 ~x4634+2048 ~x4633+1024 ~x4632+512 ~x4631+256 ~x4630+128 ~x4629+64 ~x4628+32 ~x4627+16 ~x4626+8 ~x4625+4 ~x4624+2 ~x4623+1 ~x4622-0=32766
49.68/49.73	c 16384 ~x1960055+8192 ~x1960054+4096 ~x1960053+2048 ~x1960052+1024 ~x1960051+512 ~x1960050+256 ~x1960049+128 ~x1960048+64 ~x1960047+32 ~x1960046+16 ~x1960045+8 ~x1960044+4 ~x1960043+2 ~x1960042+1 ~x1960041+20480 x7717+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
49.77/49.83	c 4096 ~x1964345+2048 ~x1964344+1024 ~x1964343+512 ~x1964342+256 ~x1964341+128 ~x1964340+64 ~x1964339+32 ~x1964338+16 ~x1964337+8 ~x1964336+4 ~x1964335+2 ~x1964334+1 ~x1964333+4096 x7718+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=16382
49.87/49.90	c 16384 ~x1967047+8192 ~x1967046+4096 ~x1967045+2048 ~x1967044+1024 ~x1967043+512 ~x1967042+256 ~x1967041+128 ~x1967040+64 ~x1967039+32 ~x1967038+16 ~x1967037+8 ~x1967036+4 ~x1967035+2 ~x1967034+1 ~x1967033+19456 x7719+16384 ~x4726+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=65534
49.97/50.00	c 16384 ~x1971082+8192 ~x1971081+4096 ~x1971080+2048 ~x1971079+1024 ~x1971078+512 ~x1971077+256 ~x1971076+128 ~x1971075+64 ~x1971074+32 ~x1971073+16 ~x1971072+8 ~x1971071+4 ~x1971070+2 ~x1971069+1 ~x1971068+26624 x7720+16384 ~x4756+8192 ~x4755+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=65534
50.07/50.11	c 8192 ~x1975373+4096 ~x1975372+2048 ~x1975371+1024 ~x1975370+512 ~x1975369+256 ~x1975368+128 ~x1975367+64 ~x1975366+32 ~x1975365+16 ~x1975364+8 ~x1975363+4 ~x1975362+2 ~x1975361+1 ~x1975360+13312 x7721+8192 ~x4785+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=32766
50.17/50.20	c 16384 ~x1979090+8192 ~x1979089+4096 ~x1979088+2048 ~x1979087+1024 ~x1979086+512 ~x1979085+256 ~x1979084+128 ~x1979083+64 ~x1979082+32 ~x1979081+16 ~x1979080+8 ~x1979079+4 ~x1979078+2 ~x1979077+1 ~x1979076+20480 x7722+16384 ~x4816+8192 ~x4815+4096 ~x4814+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=65534
50.28/50.31	c 8192 ~x1983381+4096 ~x1983380+2048 ~x1983379+1024 ~x1983378+512 ~x1983377+256 ~x1983376+128 ~x1983375+64 ~x1983374+32 ~x1983373+16 ~x1983372+8 ~x1983371+4 ~x1983370+2 ~x1983369+1 ~x1983368+9216 x7723+8192 ~x4845+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=32766
50.38/50.40	c 4096 ~x1987096+2048 ~x1987095+1024 ~x1987094+512 ~x1987093+256 ~x1987092+128 ~x1987091+64 ~x1987090+32 ~x1987089+16 ~x1987088+8 ~x1987087+4 ~x1987086+2 ~x1987085+1 ~x1987084+7168 x7724+4096 ~x4874+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=16382
50.38/50.47	c 16384 ~x1989798+8192 ~x1989797+4096 ~x1989796+2048 ~x1989795+1024 ~x1989794+512 ~x1989793+256 ~x1989792+128 ~x1989791+64 ~x1989790+32 ~x1989789+16 ~x1989788+8 ~x1989787+4 ~x1989786+2 ~x1989785+1 ~x1989784+18432 x7725+16384 ~x4906+8192 ~x4905+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=65534
50.48/50.57	c 8192 ~x1993832+4096 ~x1993831+2048 ~x1993830+1024 ~x1993829+512 ~x1993828+256 ~x1993827+128 ~x1993826+64 ~x1993825+32 ~x1993824+16 ~x1993823+8 ~x1993822+4 ~x1993821+2 ~x1993820+1 ~x1993819+14336 x7726+8192 ~x4935+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=32766
50.58/50.66	c 16384 ~x1997549+8192 ~x1997548+4096 ~x1997547+2048 ~x1997546+1024 ~x1997545+512 ~x1997544+256 ~x1997543+128 ~x1997542+64 ~x1997541+32 ~x1997540+16 ~x1997539+8 ~x1997538+4 ~x1997537+2 ~x1997536+1 ~x1997535+22528 x7727+16384 ~x4966+8192 ~x4965+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=65534
50.67/50.77	c 16384 ~x2001841+8192 ~x2001840+4096 ~x2001839+2048 ~x2001838+1024 ~x2001837+512 ~x2001836+256 ~x2001835+128 ~x2001834+64 ~x2001833+32 ~x2001832+16 ~x2001831+8 ~x2001830+4 ~x2001829+2 ~x2001828+1 ~x2001827+26624 x7728+16384 ~x4996+8192 ~x4995+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=65534
50.77/50.87	c 16384 ~x2006133+8192 ~x2006132+4096 ~x2006131+2048 ~x2006130+1024 ~x2006129+512 ~x2006128+256 ~x2006127+128 ~x2006126+64 ~x2006125+32 ~x2006124+16 ~x2006123+8 ~x2006122+4 ~x2006121+2 ~x2006120+1 ~x2006119+26624 x7729+16384 ~x5026+8192 ~x5025+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=65534
50.88/50.98	c 8192 ~x2010424+4096 ~x2010423+2048 ~x2010422+1024 ~x2010421+512 ~x2010420+256 ~x2010419+128 ~x2010418+64 ~x2010417+32 ~x2010416+16 ~x2010415+8 ~x2010414+4 ~x2010413+2 ~x2010412+1 ~x2010411+13312 x7730+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=32766
50.98/51.07	c 8192 ~x2014140+4096 ~x2014139+2048 ~x2014138+1024 ~x2014137+512 ~x2014136+256 ~x2014135+128 ~x2014134+64 ~x2014133+32 ~x2014132+16 ~x2014131+8 ~x2014130+4 ~x2014129+2 ~x2014128+1 ~x2014127+11264 x7731+8192 ~x5085+4096 ~x5084+2048 ~x5083+1024 ~x5082+512 ~x5081+256 ~x5080+128 ~x5079+64 ~x5078+32 ~x5077+16 ~x5076+8 ~x5075+4 ~x5074+2 ~x5073+1 ~x5072-0=32766
51.08/51.16	c 8192 ~x2017856+4096 ~x2017855+2048 ~x2017854+1024 ~x2017853+512 ~x2017852+256 ~x2017851+128 ~x2017850+64 ~x2017849+32 ~x2017848+16 ~x2017847+8 ~x2017846+4 ~x2017845+2 ~x2017844+1 ~x2017843+8192 x7732+8192 ~x5115+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=32766
51.17/51.25	c 16384 ~x2021573+8192 ~x2021572+4096 ~x2021571+2048 ~x2021570+1024 ~x2021569+512 ~x2021568+256 ~x2021567+128 ~x2021566+64 ~x2021565+32 ~x2021564+16 ~x2021563+8 ~x2021562+4 ~x2021561+2 ~x2021560+1 ~x2021559+19456 x7733+16384 ~x5146+8192 ~x5145+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=65534
51.27/51.35	c 8192 ~x2025607+4096 ~x2025606+2048 ~x2025605+1024 ~x2025604+512 ~x2025603+256 ~x2025602+128 ~x2025601+64 ~x2025600+32 ~x2025599+16 ~x2025598+8 ~x2025597+4 ~x2025596+2 ~x2025595+1 ~x2025594+9216 x7734+8192 ~x5175+4096 ~x5174+2048 ~x5173+1024 ~x5172+512 ~x5171+256 ~x5170+128 ~x5169+64 ~x5168+32 ~x5167+16 ~x5166+8 ~x5165+4 ~x5164+2 ~x5163+1 ~x5162-0=32766
51.37/51.45	c 4096 ~x2029322+2048 ~x2029321+1024 ~x2029320+512 ~x2029319+256 ~x2029318+128 ~x2029317+64 ~x2029316+32 ~x2029315+16 ~x2029314+8 ~x2029313+4 ~x2029312+2 ~x2029311+1 ~x2029310+7168 x7735+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
51.48/51.52	c 16384 ~x2032024+8192 ~x2032023+4096 ~x2032022+2048 ~x2032021+1024 ~x2032020+512 ~x2032019+256 ~x2032018+128 ~x2032017+64 ~x2032016+32 ~x2032015+16 ~x2032014+8 ~x2032013+4 ~x2032012+2 ~x2032011+1 ~x2032010+18432 x7736+16384 ~x5236+8192 ~x5235+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=65534
51.59/51.62	c 8192 ~x2036058+4096 ~x2036057+2048 ~x2036056+1024 ~x2036055+512 ~x2036054+256 ~x2036053+128 ~x2036052+64 ~x2036051+32 ~x2036050+16 ~x2036049+8 ~x2036048+4 ~x2036047+2 ~x2036046+1 ~x2036045+11264 x7737+8192 ~x5265+4096 ~x5264+2048 ~x5263+1024 ~x5262+512 ~x5261+256 ~x5260+128 ~x5259+64 ~x5258+32 ~x5257+16 ~x5256+8 ~x5255+4 ~x5254+2 ~x5253+1 ~x5252-0=32766
51.69/51.71	c 8192 ~x2039774+4096 ~x2039773+2048 ~x2039772+1024 ~x2039771+512 ~x2039770+256 ~x2039769+128 ~x2039768+64 ~x2039767+32 ~x2039766+16 ~x2039765+8 ~x2039764+4 ~x2039763+2 ~x2039762+1 ~x2039761+14336 x7738+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=32766
51.78/51.80	c 16384 ~x2043491+8192 ~x2043490+4096 ~x2043489+2048 ~x2043488+1024 ~x2043487+512 ~x2043486+256 ~x2043485+128 ~x2043484+64 ~x2043483+32 ~x2043482+16 ~x2043481+8 ~x2043480+4 ~x2043479+2 ~x2043478+1 ~x2043477+19456 x7739+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
51.87/51.90	c 16384 ~x2047526+8192 ~x2047525+4096 ~x2047524+2048 ~x2047523+1024 ~x2047522+512 ~x2047521+256 ~x2047520+128 ~x2047519+64 ~x2047518+32 ~x2047517+16 ~x2047516+8 ~x2047515+4 ~x2047514+2 ~x2047513+1 ~x2047512+19456 x7740+16384 ~x5356+8192 ~x5355+4096 ~x5354+2048 ~x5353+1024 ~x5352+512 ~x5351+256 ~x5350+128 ~x5349+64 ~x5348+32 ~x5347+16 ~x5346+8 ~x5345+4 ~x5344+2 ~x5343+1 ~x5342-0=65534
51.97/52.00	c 16384 ~x2051561+8192 ~x2051560+4096 ~x2051559+2048 ~x2051558+1024 ~x2051557+512 ~x2051556+256 ~x2051555+128 ~x2051554+64 ~x2051553+32 ~x2051552+16 ~x2051551+8 ~x2051550+4 ~x2051549+2 ~x2051548+1 ~x2051547+19456 x7741+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
52.07/52.10	c 8192 ~x2055595+4096 ~x2055594+2048 ~x2055593+1024 ~x2055592+512 ~x2055591+256 ~x2055590+128 ~x2055589+64 ~x2055588+32 ~x2055587+16 ~x2055586+8 ~x2055585+4 ~x2055584+2 ~x2055583+1 ~x2055582+11264 x7742+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=32766
52.17/52.20	c 8192 ~x2059311+4096 ~x2059310+2048 ~x2059309+1024 ~x2059308+512 ~x2059307+256 ~x2059306+128 ~x2059305+64 ~x2059304+32 ~x2059303+16 ~x2059302+8 ~x2059301+4 ~x2059300+2 ~x2059299+1 ~x2059298+8192 x7743+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=32766
52.17/52.29	c 4096 ~x2063026+2048 ~x2063025+1024 ~x2063024+512 ~x2063023+256 ~x2063022+128 ~x2063021+64 ~x2063020+32 ~x2063019+16 ~x2063018+8 ~x2063017+4 ~x2063016+2 ~x2063015+1 ~x2063014+6144 x7744+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=16382
52.28/52.36	c 8192 ~x2065727+4096 ~x2065726+2048 ~x2065725+1024 ~x2065724+512 ~x2065723+256 ~x2065722+128 ~x2065721+64 ~x2065720+32 ~x2065719+16 ~x2065718+8 ~x2065717+4 ~x2065716+2 ~x2065715+1 ~x2065714+13312 x7745+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
52.38/52.45	c 16384 ~x2069444+8192 ~x2069443+4096 ~x2069442+2048 ~x2069441+1024 ~x2069440+512 ~x2069439+256 ~x2069438+128 ~x2069437+64 ~x2069436+32 ~x2069435+16 ~x2069434+8 ~x2069433+4 ~x2069432+2 ~x2069431+1 ~x2069430+21504 x7746+16384 ~x5536+8192 ~x5535+4096 ~x5534+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=65534
52.47/52.56	c 8192 ~x2073735+4096 ~x2073734+2048 ~x2073733+1024 ~x2073732+512 ~x2073731+256 ~x2073730+128 ~x2073729+64 ~x2073728+32 ~x2073727+16 ~x2073726+8 ~x2073725+4 ~x2073724+2 ~x2073723+1 ~x2073722+11264 x7747+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
52.57/52.65	c 16384 ~x2077452+8192 ~x2077451+4096 ~x2077450+2048 ~x2077449+1024 ~x2077448+512 ~x2077447+256 ~x2077446+128 ~x2077445+64 ~x2077444+32 ~x2077443+16 ~x2077442+8 ~x2077441+4 ~x2077440+2 ~x2077439+1 ~x2077438+20480 x7748+16384 ~x5596+8192 ~x5595+4096 ~x5594+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=65534
52.68/52.75	c 16384 ~x2081744+8192 ~x2081743+4096 ~x2081742+2048 ~x2081741+1024 ~x2081740+512 ~x2081739+256 ~x2081738+128 ~x2081737+64 ~x2081736+32 ~x2081735+16 ~x2081734+8 ~x2081733+4 ~x2081732+2 ~x2081731+1 ~x2081730+20480 x7749+16384 ~x5626+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=65534
52.79/52.86	c 4096 ~x2086034+2048 ~x2086033+1024 ~x2086032+512 ~x2086031+256 ~x2086030+128 ~x2086029+64 ~x2086028+32 ~x2086027+16 ~x2086026+8 ~x2086025+4 ~x2086024+2 ~x2086023+1 ~x2086022+4096 x7750+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=16382
52.88/52.93	c 16384 ~x2088736+8192 ~x2088735+4096 ~x2088734+2048 ~x2088733+1024 ~x2088732+512 ~x2088731+256 ~x2088730+128 ~x2088729+64 ~x2088728+32 ~x2088727+16 ~x2088726+8 ~x2088725+4 ~x2088724+2 ~x2088723+1 ~x2088722+24576 x7751+16384 ~x5686+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=65534
52.98/53.03	c 8192 ~x2093027+4096 ~x2093026+2048 ~x2093025+1024 ~x2093024+512 ~x2093023+256 ~x2093022+128 ~x2093021+64 ~x2093020+32 ~x2093019+16 ~x2093018+8 ~x2093017+4 ~x2093016+2 ~x2093015+1 ~x2093014+13312 x7752+8192 ~x5715+4096 ~x5714+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=32766
53.08/53.13	c 16384 ~x2096744+8192 ~x2096743+4096 ~x2096742+2048 ~x2096741+1024 ~x2096740+512 ~x2096739+256 ~x2096738+128 ~x2096737+64 ~x2096736+32 ~x2096735+16 ~x2096734+8 ~x2096733+4 ~x2096732+2 ~x2096731+1 ~x2096730+20480 x7753+16384 ~x5746+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=65534
53.17/53.23	c 8192 ~x2101035+4096 ~x2101034+2048 ~x2101033+1024 ~x2101032+512 ~x2101031+256 ~x2101030+128 ~x2101029+64 ~x2101028+32 ~x2101027+16 ~x2101026+8 ~x2101025+4 ~x2101024+2 ~x2101023+1 ~x2101022+9216 x7754+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
53.27/53.33	c 4096 ~x2104750+2048 ~x2104749+1024 ~x2104748+512 ~x2104747+256 ~x2104746+128 ~x2104745+64 ~x2104744+32 ~x2104743+16 ~x2104742+8 ~x2104741+4 ~x2104740+2 ~x2104739+1 ~x2104738+7168 x7755+4096 ~x5804+2048 ~x5803+1024 ~x5802+512 ~x5801+256 ~x5800+128 ~x5799+64 ~x5798+32 ~x5797+16 ~x5796+8 ~x5795+4 ~x5794+2 ~x5793+1 ~x5792-0=16382
53.27/53.39	c 16384 ~x2107452+8192 ~x2107451+4096 ~x2107450+2048 ~x2107449+1024 ~x2107448+512 ~x2107447+256 ~x2107446+128 ~x2107445+64 ~x2107444+32 ~x2107443+16 ~x2107442+8 ~x2107441+4 ~x2107440+2 ~x2107439+1 ~x2107438+18432 x7756+16384 ~x5836+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=65534
53.37/53.49	c 8192 ~x2111486+4096 ~x2111485+2048 ~x2111484+1024 ~x2111483+512 ~x2111482+256 ~x2111481+128 ~x2111480+64 ~x2111479+32 ~x2111478+16 ~x2111477+8 ~x2111476+4 ~x2111475+2 ~x2111474+1 ~x2111473+14336 x7757+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
53.48/53.59	c 16384 ~x2115203+8192 ~x2115202+4096 ~x2115201+2048 ~x2115200+1024 ~x2115199+512 ~x2115198+256 ~x2115197+128 ~x2115196+64 ~x2115195+32 ~x2115194+16 ~x2115193+8 ~x2115192+4 ~x2115191+2 ~x2115190+1 ~x2115189+22528 x7758+16384 ~x5896+8192 ~x5895+4096 ~x5894+2048 ~x5893+1024 ~x5892+512 ~x5891+256 ~x5890+128 ~x5889+64 ~x5888+32 ~x5887+16 ~x5886+8 ~x5885+4 ~x5884+2 ~x5883+1 ~x5882-0=65534
53.58/53.69	c 4096 ~x2119493+2048 ~x2119492+1024 ~x2119491+512 ~x2119490+256 ~x2119489+128 ~x2119488+64 ~x2119487+32 ~x2119486+16 ~x2119485+8 ~x2119484+4 ~x2119483+2 ~x2119482+1 ~x2119481+4096 x7759+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=16382
53.68/53.76	c 16384 ~x2122195+8192 ~x2122194+4096 ~x2122193+2048 ~x2122192+1024 ~x2122191+512 ~x2122190+256 ~x2122189+128 ~x2122188+64 ~x2122187+32 ~x2122186+16 ~x2122185+8 ~x2122184+4 ~x2122183+2 ~x2122182+1 ~x2122181+24576 x7760+16384 ~x5956+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=65534
53.78/53.87	c 16384 ~x2126487+8192 ~x2126486+4096 ~x2126485+2048 ~x2126484+1024 ~x2126483+512 ~x2126482+256 ~x2126481+128 ~x2126480+64 ~x2126479+32 ~x2126478+16 ~x2126477+8 ~x2126476+4 ~x2126475+2 ~x2126474+1 ~x2126473+24576 x7761+16384 ~x5986+8192 ~x5985+4096 ~x5984+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=65534
53.88/53.97	c 8192 ~x2130778+4096 ~x2130777+2048 ~x2130776+1024 ~x2130775+512 ~x2130774+256 ~x2130773+128 ~x2130772+64 ~x2130771+32 ~x2130770+16 ~x2130769+8 ~x2130768+4 ~x2130767+2 ~x2130766+1 ~x2130765+11264 x7762+8192 ~x6015+4096 ~x6014+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=32766
53.98/54.06	c 8192 ~x2134494+4096 ~x2134493+2048 ~x2134492+1024 ~x2134491+512 ~x2134490+256 ~x2134489+128 ~x2134488+64 ~x2134487+32 ~x2134486+16 ~x2134485+8 ~x2134484+4 ~x2134483+2 ~x2134482+1 ~x2134481+8192 x7763+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=32766
54.08/54.16	c 4096 ~x2138209+2048 ~x2138208+1024 ~x2138207+512 ~x2138206+256 ~x2138205+128 ~x2138204+64 ~x2138203+32 ~x2138202+16 ~x2138201+8 ~x2138200+4 ~x2138199+2 ~x2138198+1 ~x2138197+6144 x7764+4096 ~x6074+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=16382
54.17/54.23	c 8192 ~x2140910+4096 ~x2140909+2048 ~x2140908+1024 ~x2140907+512 ~x2140906+256 ~x2140905+128 ~x2140904+64 ~x2140903+32 ~x2140902+16 ~x2140901+8 ~x2140900+4 ~x2140899+2 ~x2140898+1 ~x2140897+10240 x7765+8192 ~x6105+4096 ~x6104+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=32766
54.27/54.32	c 8192 ~x2144626+4096 ~x2144625+2048 ~x2144624+1024 ~x2144623+512 ~x2144622+256 ~x2144621+128 ~x2144620+64 ~x2144619+32 ~x2144618+16 ~x2144617+8 ~x2144616+4 ~x2144615+2 ~x2144614+1 ~x2144613+10240 x7766+8192 ~x6135+4096 ~x6134+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=32766
54.38/54.41	c 8192 ~x2148342+4096 ~x2148341+2048 ~x2148340+1024 ~x2148339+512 ~x2148338+256 ~x2148337+128 ~x2148336+64 ~x2148335+32 ~x2148334+16 ~x2148333+8 ~x2148332+4 ~x2148331+2 ~x2148330+1 ~x2148329+10240 x7767+8192 ~x6165+4096 ~x6164+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=32766
54.48/54.51	c 8192 ~x2152058+4096 ~x2152057+2048 ~x2152056+1024 ~x2152055+512 ~x2152054+256 ~x2152053+128 ~x2152052+64 ~x2152051+32 ~x2152050+16 ~x2152049+8 ~x2152048+4 ~x2152047+2 ~x2152046+1 ~x2152045+10240 x7768+8192 ~x6195+4096 ~x6194+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=32766
54.58/54.60	c 4096 ~x2155773+2048 ~x2155772+1024 ~x2155771+512 ~x2155770+256 ~x2155769+128 ~x2155768+64 ~x2155767+32 ~x2155766+16 ~x2155765+8 ~x2155764+4 ~x2155763+2 ~x2155762+1 ~x2155761+4096 x7769+4096 ~x6224+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=16382
54.58/54.67	c 16384 ~x2158475+8192 ~x2158474+4096 ~x2158473+2048 ~x2158472+1024 ~x2158471+512 ~x2158470+256 ~x2158469+128 ~x2158468+64 ~x2158467+32 ~x2158466+16 ~x2158465+8 ~x2158464+4 ~x2158463+2 ~x2158462+1 ~x2158461+21504 x7770+16384 ~x6256+8192 ~x6255+4096 ~x6254+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=65534
54.68/54.77	c 8192 ~x2162766+4096 ~x2162765+2048 ~x2162764+1024 ~x2162763+512 ~x2162762+256 ~x2162761+128 ~x2162760+64 ~x2162759+32 ~x2162758+16 ~x2162757+8 ~x2162756+4 ~x2162755+2 ~x2162754+1 ~x2162753+10240 x7771+8192 ~x6285+4096 ~x6284+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=32766
54.78/54.87	c 8192 ~x2166482+4096 ~x2166481+2048 ~x2166480+1024 ~x2166479+512 ~x2166478+256 ~x2166477+128 ~x2166476+64 ~x2166475+32 ~x2166474+16 ~x2166473+8 ~x2166472+4 ~x2166471+2 ~x2166470+1 ~x2166469+10240 x7772+8192 ~x6315+4096 ~x6314+2048 ~x6313+1024 ~x6312+512 ~x6311+256 ~x6310+128 ~x6309+64 ~x6308+32 ~x6307+16 ~x6306+8 ~x6305+4 ~x6304+2 ~x6303+1 ~x6302-0=32766
54.88/54.96	c 8192 ~x2170198+4096 ~x2170197+2048 ~x2170196+1024 ~x2170195+512 ~x2170194+256 ~x2170193+128 ~x2170192+64 ~x2170191+32 ~x2170190+16 ~x2170189+8 ~x2170188+4 ~x2170187+2 ~x2170186+1 ~x2170185+10240 x7773+8192 ~x6345+4096 ~x6344+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=32766
54.98/55.05	c 8192 ~x2173914+4096 ~x2173913+2048 ~x2173912+1024 ~x2173911+512 ~x2173910+256 ~x2173909+128 ~x2173908+64 ~x2173907+32 ~x2173906+16 ~x2173905+8 ~x2173904+4 ~x2173903+2 ~x2173902+1 ~x2173901+9216 x7774+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=32766
55.07/55.15	c 4096 ~x2177629+2048 ~x2177628+1024 ~x2177627+512 ~x2177626+256 ~x2177625+128 ~x2177624+64 ~x2177623+32 ~x2177622+16 ~x2177621+8 ~x2177620+4 ~x2177619+2 ~x2177618+1 ~x2177617+7168 x7775+4096 ~x6404+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=16382
55.17/55.21	c 8192 ~x2180330+4096 ~x2180329+2048 ~x2180328+1024 ~x2180327+512 ~x2180326+256 ~x2180325+128 ~x2180324+64 ~x2180323+32 ~x2180322+16 ~x2180321+8 ~x2180320+4 ~x2180319+2 ~x2180318+1 ~x2180317+10240 x7776+8192 ~x6435+4096 ~x6434+2048 ~x6433+1024 ~x6432+512 ~x6431+256 ~x6430+128 ~x6429+64 ~x6428+32 ~x6427+16 ~x6426+8 ~x6425+4 ~x6424+2 ~x6423+1 ~x6422-0=32766
55.27/55.31	c 8192 ~x2184046+4096 ~x2184045+2048 ~x2184044+1024 ~x2184043+512 ~x2184042+256 ~x2184041+128 ~x2184040+64 ~x2184039+32 ~x2184038+16 ~x2184037+8 ~x2184036+4 ~x2184035+2 ~x2184034+1 ~x2184033+10240 x7777+8192 ~x6465+4096 ~x6464+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=32766
55.37/55.40	c 8192 ~x2187762+4096 ~x2187761+2048 ~x2187760+1024 ~x2187759+512 ~x2187758+256 ~x2187757+128 ~x2187756+64 ~x2187755+32 ~x2187754+16 ~x2187753+8 ~x2187752+4 ~x2187751+2 ~x2187750+1 ~x2187749+10240 x7778+8192 ~x6495+4096 ~x6494+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=32766
55.37/55.49	c 8192 ~x2191478+4096 ~x2191477+2048 ~x2191476+1024 ~x2191475+512 ~x2191474+256 ~x2191473+128 ~x2191472+64 ~x2191471+32 ~x2191470+16 ~x2191469+8 ~x2191468+4 ~x2191467+2 ~x2191466+1 ~x2191465+10240 x7779+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
55.47/55.59	c 8192 ~x2195194+4096 ~x2195193+2048 ~x2195192+1024 ~x2195191+512 ~x2195190+256 ~x2195189+128 ~x2195188+64 ~x2195187+32 ~x2195186+16 ~x2195185+8 ~x2195184+4 ~x2195183+2 ~x2195182+1 ~x2195181+10240 x7780+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=32766
55.58/55.68	c 8192 ~x2198910+4096 ~x2198909+2048 ~x2198908+1024 ~x2198907+512 ~x2198906+256 ~x2198905+128 ~x2198904+64 ~x2198903+32 ~x2198902+16 ~x2198901+8 ~x2198900+4 ~x2198899+2 ~x2198898+1 ~x2198897+13312 x7781+8192 ~x6585+4096 ~x6584+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=32766
55.68/55.77	c 8192 ~x2202626+4096 ~x2202625+2048 ~x2202624+1024 ~x2202623+512 ~x2202622+256 ~x2202621+128 ~x2202620+64 ~x2202619+32 ~x2202618+16 ~x2202617+8 ~x2202616+4 ~x2202615+2 ~x2202614+1 ~x2202613+10240 x7782+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=32766
55.78/55.87	c 8192 ~x2206342+4096 ~x2206341+2048 ~x2206340+1024 ~x2206339+512 ~x2206338+256 ~x2206337+128 ~x2206336+64 ~x2206335+32 ~x2206334+16 ~x2206333+8 ~x2206332+4 ~x2206331+2 ~x2206330+1 ~x2206329+8192 x7783+8192 ~x6645+4096 ~x6644+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=32766
55.87/55.96	c 4096 ~x2210057+2048 ~x2210056+1024 ~x2210055+512 ~x2210054+256 ~x2210053+128 ~x2210052+64 ~x2210051+32 ~x2210050+16 ~x2210049+8 ~x2210048+4 ~x2210047+2 ~x2210046+1 ~x2210045+6144 x7784+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=16382
55.98/56.03	c 8192 ~x2212758+4096 ~x2212757+2048 ~x2212756+1024 ~x2212755+512 ~x2212754+256 ~x2212753+128 ~x2212752+64 ~x2212751+32 ~x2212750+16 ~x2212749+8 ~x2212748+4 ~x2212747+2 ~x2212746+1 ~x2212745+13312 x7785+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
56.08/56.12	c 16384 ~x2216475+8192 ~x2216474+4096 ~x2216473+2048 ~x2216472+1024 ~x2216471+512 ~x2216470+256 ~x2216469+128 ~x2216468+64 ~x2216467+32 ~x2216466+16 ~x2216465+8 ~x2216464+4 ~x2216463+2 ~x2216462+1 ~x2216461+21504 x7786+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
56.17/56.23	c 8192 ~x2220766+4096 ~x2220765+2048 ~x2220764+1024 ~x2220763+512 ~x2220762+256 ~x2220761+128 ~x2220760+64 ~x2220759+32 ~x2220758+16 ~x2220757+8 ~x2220756+4 ~x2220755+2 ~x2220754+1 ~x2220753+11264 x7787+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
56.28/56.32	c 16384 ~x2224483+8192 ~x2224482+4096 ~x2224481+2048 ~x2224480+1024 ~x2224479+512 ~x2224478+256 ~x2224477+128 ~x2224476+64 ~x2224475+32 ~x2224474+16 ~x2224473+8 ~x2224472+4 ~x2224471+2 ~x2224470+1 ~x2224469+20480 x7788+16384 ~x6796+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=65534
56.38/56.43	c 4096 ~x2228773+2048 ~x2228772+1024 ~x2228771+512 ~x2228770+256 ~x2228769+128 ~x2228768+64 ~x2228767+32 ~x2228766+16 ~x2228765+8 ~x2228764+4 ~x2228763+2 ~x2228762+1 ~x2228761+4096 x7789+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=16382
56.38/56.49	c 16384 ~x2231475+8192 ~x2231474+4096 ~x2231473+2048 ~x2231472+1024 ~x2231471+512 ~x2231470+256 ~x2231469+128 ~x2231468+64 ~x2231467+32 ~x2231466+16 ~x2231465+8 ~x2231464+4 ~x2231463+2 ~x2231462+1 ~x2231461+27648 x7790+16384 ~x6856+8192 ~x6855+4096 ~x6854+2048 ~x6853+1024 ~x6852+512 ~x6851+256 ~x6850+128 ~x6849+64 ~x6848+32 ~x6847+16 ~x6846+8 ~x6845+4 ~x6844+2 ~x6843+1 ~x6842-0=65534
56.58/56.60	c 8192 ~x2235766+4096 ~x2235765+2048 ~x2235764+1024 ~x2235763+512 ~x2235762+256 ~x2235761+128 ~x2235760+64 ~x2235759+32 ~x2235758+16 ~x2235757+8 ~x2235756+4 ~x2235755+2 ~x2235754+1 ~x2235753+13312 x7791+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=32766
56.58/56.69	c 16384 ~x2239483+8192 ~x2239482+4096 ~x2239481+2048 ~x2239480+1024 ~x2239479+512 ~x2239478+256 ~x2239477+128 ~x2239476+64 ~x2239475+32 ~x2239474+16 ~x2239473+8 ~x2239472+4 ~x2239471+2 ~x2239470+1 ~x2239469+20480 x7792+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
56.77/56.80	c 16384 ~x2243775+8192 ~x2243774+4096 ~x2243773+2048 ~x2243772+1024 ~x2243771+512 ~x2243770+256 ~x2243769+128 ~x2243768+64 ~x2243767+32 ~x2243766+16 ~x2243765+8 ~x2243764+4 ~x2243763+2 ~x2243762+1 ~x2243761+20480 x7793+16384 ~x6946+8192 ~x6945+4096 ~x6944+2048 ~x6943+1024 ~x6942+512 ~x6941+256 ~x6940+128 ~x6939+64 ~x6938+32 ~x6937+16 ~x6936+8 ~x6935+4 ~x6934+2 ~x6933+1 ~x6932-0=65534
56.87/56.90	c 8192 ~x2248066+4096 ~x2248065+2048 ~x2248064+1024 ~x2248063+512 ~x2248062+256 ~x2248061+128 ~x2248060+64 ~x2248059+32 ~x2248058+16 ~x2248057+8 ~x2248056+4 ~x2248055+2 ~x2248054+1 ~x2248053+9216 x7794+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=32766
56.87/57.00	c 4096 ~x2251781+2048 ~x2251780+1024 ~x2251779+512 ~x2251778+256 ~x2251777+128 ~x2251776+64 ~x2251775+32 ~x2251774+16 ~x2251773+8 ~x2251772+4 ~x2251771+2 ~x2251770+1 ~x2251769+7168 x7795+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=16382
56.97/57.06	c 16384 ~x2254483+8192 ~x2254482+4096 ~x2254481+2048 ~x2254480+1024 ~x2254479+512 ~x2254478+256 ~x2254477+128 ~x2254476+64 ~x2254475+32 ~x2254474+16 ~x2254473+8 ~x2254472+4 ~x2254471+2 ~x2254470+1 ~x2254469+18432 x7796+16384 ~x7036+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=65534
57.09/57.16	c 8192 ~x2258517+4096 ~x2258516+2048 ~x2258515+1024 ~x2258514+512 ~x2258513+256 ~x2258512+128 ~x2258511+64 ~x2258510+32 ~x2258509+16 ~x2258508+8 ~x2258507+4 ~x2258506+2 ~x2258505+1 ~x2258504+14336 x7797+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
57.19/57.26	c 16384 ~x2262234+8192 ~x2262233+4096 ~x2262232+2048 ~x2262231+1024 ~x2262230+512 ~x2262229+256 ~x2262228+128 ~x2262227+64 ~x2262226+32 ~x2262225+16 ~x2262224+8 ~x2262223+4 ~x2262222+2 ~x2262221+1 ~x2262220+22528 x7798+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
57.28/57.36	c 16384 ~x2266526+8192 ~x2266525+4096 ~x2266524+2048 ~x2266523+1024 ~x2266522+512 ~x2266521+256 ~x2266520+128 ~x2266519+64 ~x2266518+32 ~x2266517+16 ~x2266516+8 ~x2266515+4 ~x2266514+2 ~x2266513+1 ~x2266512+27648 x7799+16384 ~x7126+8192 ~x7125+4096 ~x7124+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=65534
57.38/57.47	c 16384 ~x2270818+8192 ~x2270817+4096 ~x2270816+2048 ~x2270815+1024 ~x2270814+512 ~x2270813+256 ~x2270812+128 ~x2270811+64 ~x2270810+32 ~x2270809+16 ~x2270808+8 ~x2270807+4 ~x2270806+2 ~x2270805+1 ~x2270804+27648 x7800+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=65534
57.47/57.57	c 8192 ~x2275109+4096 ~x2275108+2048 ~x2275107+1024 ~x2275106+512 ~x2275105+256 ~x2275104+128 ~x2275103+64 ~x2275102+32 ~x2275101+16 ~x2275100+8 ~x2275099+4 ~x2275098+2 ~x2275097+1 ~x2275096+11264 x7801+8192 ~x7185+4096 ~x7184+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=32766
57.57/57.67	c 8192 ~x2278825+4096 ~x2278824+2048 ~x2278823+1024 ~x2278822+512 ~x2278821+256 ~x2278820+128 ~x2278819+64 ~x2278818+32 ~x2278817+16 ~x2278816+8 ~x2278815+4 ~x2278814+2 ~x2278813+1 ~x2278812+8192 x7802+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=32766
57.67/57.76	c 8192 ~x2282541+4096 ~x2282540+2048 ~x2282539+1024 ~x2282538+512 ~x2282537+256 ~x2282536+128 ~x2282535+64 ~x2282534+32 ~x2282533+16 ~x2282532+8 ~x2282531+4 ~x2282530+2 ~x2282529+1 ~x2282528+9216 x7803+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=32766
57.78/57.85	c 4096 ~x2286256+2048 ~x2286255+1024 ~x2286254+512 ~x2286253+256 ~x2286252+128 ~x2286251+64 ~x2286250+32 ~x2286249+16 ~x2286248+8 ~x2286247+4 ~x2286246+2 ~x2286245+1 ~x2286244+6144 x7804+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=16382
57.88/57.92	c 8192 ~x2288957+4096 ~x2288956+2048 ~x2288955+1024 ~x2288954+512 ~x2288953+256 ~x2288952+128 ~x2288951+64 ~x2288950+32 ~x2288949+16 ~x2288948+8 ~x2288947+4 ~x2288946+2 ~x2288945+1 ~x2288944+13312 x7805+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
57.98/58.02	c 16384 ~x2292674+8192 ~x2292673+4096 ~x2292672+2048 ~x2292671+1024 ~x2292670+512 ~x2292669+256 ~x2292668+128 ~x2292667+64 ~x2292666+32 ~x2292665+16 ~x2292664+8 ~x2292663+4 ~x2292662+2 ~x2292661+1 ~x2292660+21504 x7806+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
58.07/58.12	c 8192 ~x2296965+4096 ~x2296964+2048 ~x2296963+1024 ~x2296962+512 ~x2296961+256 ~x2296960+128 ~x2296959+64 ~x2296958+32 ~x2296957+16 ~x2296956+8 ~x2296955+4 ~x2296954+2 ~x2296953+1 ~x2296952+11264 x7807+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=32766
58.18/58.21	c 16384 ~x2300682+8192 ~x2300681+4096 ~x2300680+2048 ~x2300679+1024 ~x2300678+512 ~x2300677+256 ~x2300676+128 ~x2300675+64 ~x2300674+32 ~x2300673+16 ~x2300672+8 ~x2300671+4 ~x2300670+2 ~x2300669+1 ~x2300668+20480 x7808+16384 ~x7396+8192 ~x7395+4096 ~x7394+2048 ~x7393+1024 ~x7392+512 ~x7391+256 ~x7390+128 ~x7389+64 ~x7388+32 ~x7387+16 ~x7386+8 ~x7385+4 ~x7384+2 ~x7383+1 ~x7382-0=65534
58.28/58.32	c 4096 ~x2304972+2048 ~x2304971+1024 ~x2304970+512 ~x2304969+256 ~x2304968+128 ~x2304967+64 ~x2304966+32 ~x2304965+16 ~x2304964+8 ~x2304963+4 ~x2304962+2 ~x2304961+1 ~x2304960+4096 x7809+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=16382
58.28/58.39	c 16384 ~x2307674+8192 ~x2307673+4096 ~x2307672+2048 ~x2307671+1024 ~x2307670+512 ~x2307669+256 ~x2307668+128 ~x2307667+64 ~x2307666+32 ~x2307665+16 ~x2307664+8 ~x2307663+4 ~x2307662+2 ~x2307661+1 ~x2307660+25600 x7810+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
58.37/58.49	c 8192 ~x2311965+4096 ~x2311964+2048 ~x2311963+1024 ~x2311962+512 ~x2311961+256 ~x2311960+128 ~x2311959+64 ~x2311958+32 ~x2311957+16 ~x2311956+8 ~x2311955+4 ~x2311954+2 ~x2311953+1 ~x2311952+13312 x7811+8192 ~x7485+4096 ~x7484+2048 ~x7483+1024 ~x7482+512 ~x7481+256 ~x7480+128 ~x7479+64 ~x7478+32 ~x7477+16 ~x7476+8 ~x7475+4 ~x7474+2 ~x7473+1 ~x7472-0=32766
58.48/58.59	c 16384 ~x2315682+8192 ~x2315681+4096 ~x2315680+2048 ~x2315679+1024 ~x2315678+512 ~x2315677+256 ~x2315676+128 ~x2315675+64 ~x2315674+32 ~x2315673+16 ~x2315672+8 ~x2315671+4 ~x2315670+2 ~x2315669+1 ~x2315668+20480 x7812+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
58.58/58.69	c 8192 ~x2319973+4096 ~x2319972+2048 ~x2319971+1024 ~x2319970+512 ~x2319969+256 ~x2319968+128 ~x2319967+64 ~x2319966+32 ~x2319965+16 ~x2319964+8 ~x2319963+4 ~x2319962+2 ~x2319961+1 ~x2319960+9216 x7813+8192 ~x7545+4096 ~x7544+2048 ~x7543+1024 ~x7542+512 ~x7541+256 ~x7540+12

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-2674123-1276799111/watcher-2674123-1276799111 -o /tmp/evaluation-result-2674123-1276799111/solver-2674123-1276799111 -C 1800 -W 2000 -M 1800 run HOME/instance-2674123-1276799111.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.82 0.95 0.98 3/106 16745
/proc/meminfo: memFree=1857260/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0

[startup+0.0345169 s]
/proc/loadavg: 0.82 0.95 0.98 3/106 16745
/proc/meminfo: memFree=1857260/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100521 s]
/proc/loadavg: 0.82 0.95 0.98 3/106 16745
/proc/meminfo: memFree=1857260/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300537 s]
/proc/loadavg: 0.82 0.95 0.98 3/106 16745
/proc/meminfo: memFree=1857260/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700568 s]
/proc/loadavg: 0.82 0.95 0.98 3/106 16745
/proc/meminfo: memFree=1857260/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50063 s]
/proc/loadavg: 0.82 0.95 0.98 2/108 16748
/proc/meminfo: memFree=1695548/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=243620 CPUtime=1.49
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 60679 0 0 0 60 89 0 0 25 0 1 0 53566523 249466880 60256 1992294400 134512640 134902295 4288725088 18446744073709551615 134586919 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 60905 60257 256 96 0 60117 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 252320

[startup+3.10176 s]
/proc/loadavg: 0.82 0.95 0.98 2/108 16748
/proc/meminfo: memFree=1546252/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=390660 CPUtime=3.09
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 97475 0 0 0 187 122 0 0 25 0 1 0 53566523 400035840 97052 1992294400 134512640 134902295 4288725088 18446744073709551615 134893911 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 97665 97052 259 96 0 96877 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 399360

[startup+6.30202 s]
/proc/loadavg: 0.83 0.95 0.98 2/108 16748
/proc/meminfo: memFree=1518104/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=359488 CPUtime=6.28
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 108530 0 0 0 500 128 0 0 25 0 1 0 53566523 368115712 88700 1992294400 134512640 134902295 4288725088 18446744073709551615 4159786454 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 89872 88700 262 96 0 89084 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 368188

[startup+12.7015 s]
/proc/loadavg: 0.85 0.95 0.98 2/108 16748
/proc/meminfo: memFree=1404272/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=473244 CPUtime=12.68
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 138505 0 0 0 1126 142 0 0 25 0 1 0 53566523 484601856 116037 1992294400 134512640 134902295 4288725088 18446744073709551615 134565156 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 118311 116038 262 96 0 117523 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 481944

[startup+25.5005 s]
/proc/loadavg: 0.88 0.95 0.98 2/108 16748
/proc/meminfo: memFree=1173012/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=701296 CPUtime=25.49
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 197800 0 0 0 2381 168 0 0 25 0 1 0 53566523 718127104 171958 1992294400 134512640 134902295 4288725088 18446744073709551615 134585440 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 175324 171958 262 96 0 174536 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 709996

[startup+51.1006 s]
/proc/loadavg: 0.92 0.96 0.98 2/108 16750
/proc/meminfo: memFree=726364/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1177324 CPUtime=51.08
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 313776 0 0 0 4892 216 0 0 25 0 1 0 53566523 1205579776 284472 1992294400 134512640 134902295 4288725088 18446744073709551615 134632817 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 294331 284472 262 96 0 293543 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1186024

[startup+102.309 s]
/proc/loadavg: 0.96 0.96 0.98 2/108 16750
/proc/meminfo: memFree=590212/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1281192 CPUtime=102.27
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 345656 0 0 0 9999 228 0 0 25 0 1 0 53566523 1311940608 316128 1992294400 134512640 134902295 4288725088 18446744073709551615 4159769765 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 320298 316128 269 96 0 319510 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1289892

[startup+162.3 s]
/proc/loadavg: 0.98 0.97 0.98 2/108 16752
/proc/meminfo: memFree=577440/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1294120 CPUtime=162.25
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 348855 0 0 0 15994 231 0 0 25 0 1 0 53566523 1325178880 319327 1992294400 134512640 134902295 4288725088 18446744073709551615 4159783933 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 323530 319327 269 96 0 322742 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1302820

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 16754
/proc/meminfo: memFree=571364/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1299952 CPUtime=222.24
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 350349 0 0 0 21992 232 0 0 25 0 1 0 53566523 1331150848 320821 1992294400 134512640 134902295 4288725088 18446744073709551615 4159769705 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 324988 320821 269 96 0 324200 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1308652

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 16756
/proc/meminfo: memFree=561816/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1309748 CPUtime=282.22
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 352757 0 0 0 27987 235 0 0 25 0 1 0 53566523 1341181952 323229 1992294400 134512640 134902295 4288725088 18446744073709551615 4159764445 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 327437 323229 269 96 0 326649 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1318448

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 16756
/proc/meminfo: memFree=552764/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1318628 CPUtime=342.21
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 354976 0 0 0 33984 237 0 0 25 0 1 0 53566523 1350275072 325448 1992294400 134512640 134902295 4288725088 18446744073709551615 4159780990 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 329657 325448 269 96 0 328869 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1327328

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 16758
/proc/meminfo: memFree=544828/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1326568 CPUtime=402.19
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 356979 0 0 0 39979 240 0 0 25 0 1 0 53566523 1358405632 327451 1992294400 134512640 134902295 4288725088 18446744073709551615 4159762923 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 331642 327451 269 96 0 330854 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1335268

[startup+462.301 s]

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

/proc/16747/statm: 340833 336426 269 96 0 340045 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 1372032

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 16783
/proc/meminfo: memFree=503784/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1367232 CPUtime=1242
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 366950 0 0 0 123950 250 0 0 25 0 1 0 53566523 1400045568 337422 1992294400 134512640 134902295 4288725088 18446744073709551615 4159781346 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 341808 337422 269 96 0 341020 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 1375932

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 16785
/proc/meminfo: memFree=498948/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1371896 CPUtime=1301.99
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 368137 0 0 0 129949 250 0 0 25 0 1 0 53566523 1404821504 338609 1992294400 134512640 134902295 4288725088 18446744073709551615 4159781179 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 342974 338609 269 96 0 342186 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1380596

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 16787
/proc/meminfo: memFree=496220/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1374560 CPUtime=1361.97
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 368792 0 0 0 135945 252 0 0 25 0 1 0 53566523 1407549440 339264 1992294400 134512640 134902295 4288725088 18446744073709551615 4159769793 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 343640 339264 269 96 0 342852 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1383260

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 16789
/proc/meminfo: memFree=493616/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1377072 CPUtime=1421.96
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 369435 0 0 0 141944 252 0 0 25 0 1 0 53566523 1410121728 339907 1992294400 134512640 134902295 4288725088 18446744073709551615 4159780990 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 344268 339907 269 96 0 343480 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1385772

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 16791
/proc/meminfo: memFree=491384/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1379240 CPUtime=1481.94
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 369990 0 0 0 147941 253 0 0 25 0 1 0 53566523 1412341760 340462 1992294400 134512640 134902295 4288725088 18446744073709551615 4159780990 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 344810 340462 269 96 0 344022 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1387940

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 16791
/proc/meminfo: memFree=489276/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1381236 CPUtime=1541.93
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 370508 0 0 0 153940 253 0 0 25 0 1 0 53566523 1414385664 340980 1992294400 134512640 134902295 4288725088 18446744073709551615 4159769656 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 345309 340980 269 96 0 344521 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1389936

[startup+1602.3 s]
/proc/loadavg: 1.09 1.00 0.99 2/108 16793
/proc/meminfo: memFree=487292/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1383248 CPUtime=1601.91
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 370993 0 0 0 159937 254 0 0 25 0 1 0 53566523 1416445952 341465 1992294400 134512640 134902295 4288725088 18446744073709551615 4159750776 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 345812 341465 269 96 0 345024 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1391948

[startup+1662.3 s]
/proc/loadavg: 1.11 1.03 1.00 2/108 16795
/proc/meminfo: memFree=484936/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1385552 CPUtime=1661.9
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 371559 0 0 0 165935 255 0 0 25 0 1 0 53566523 1418805248 342031 1992294400 134512640 134902295 4288725088 18446744073709551615 4159750777 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 346388 342031 269 96 0 345600 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1394252

[startup+1722.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/108 16797
/proc/meminfo: memFree=483076/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1387388 CPUtime=1721.89
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 372023 0 0 0 171934 255 0 0 25 0 1 0 53566523 1420685312 342495 1992294400 134512640 134902295 4288725088 18446744073709551615 4159750767 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 346847 342495 269 96 0 346059 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1396088

[startup+1782.3 s]
/proc/loadavg: 1.12 1.05 1.01 2/108 16799
/proc/meminfo: memFree=481340/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1389092 CPUtime=1781.87
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 372456 0 0 0 177932 255 0 0 25 0 1 0 53566523 1422430208 342928 1992294400 134512640 134902295 4288725088 18446744073709551615 4159762961 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 347273 342928 269 96 0 346485 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1397792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.09 1.05 1.00 2/108 16799
/proc/meminfo: memFree=480844/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1389488 CPUtime=1800.08
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 372570 0 0 0 179752 256 0 0 25 0 1 0 53566523 1422835712 343042 1992294400 134512640 134902295 4288725088 18446744073709551615 4159763456 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 347372 343042 269 96 0 346584 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1398188

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

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

[startup+1800.5 s]
/proc/loadavg: 1.09 1.05 1.00 2/108 16799
/proc/meminfo: memFree=480844/2059040 swapFree=4136124/4192956
[pid=16745] ppid=16743 vsize=8700 CPUtime=0
/proc/16745/stat : 16745 (run) S 16743 16745 16658 0 -1 4202496 390 134 0 0 0 0 0 0 18 0 1 0 53566523 8908800 250 1992294400 4194304 4922060 140734766162608 18446744073709551615 238060936325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16745/statm: 2175 250 211 178 0 68 0
[pid=16747] ppid=16745 vsize=1389488 CPUtime=1800.08
/proc/16747/stat : 16747 (PBPASSolver) R 16745 16745 16658 0 -1 4202496 372570 0 0 0 179752 256 0 0 25 0 1 0 53566523 1422835712 343042 1992294400 134512640 134902295 4288725088 18446744073709551615 4159763456 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16747/statm: 347372 343042 269 96 0 346584 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1398188

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1797.52
CPU system time (s): 2.56
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 1398188

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.05454 second user time and 8.43572 second system time

The end

Begin job on node026 at 2010-06-17 20:25:11
IDJOB=2674123
IDBENCH=2310
IDSOLVER=1174
FILE ID=node026/2674123-1276799111
PBS_JOBID= 11176660
Free space on /tmp= 62556 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-ran14x18.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674123-1276799111/watcher-2674123-1276799111 -o /tmp/evaluation-result-2674123-1276799111/solver-2674123-1276799111 -C 1800 -W 2000 -M 1800  run HOME/instance-2674123-1276799111.opb

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

MD5SUM BENCH= e99162fa0a9c8caac0a04031bf39653d
RANDOM SEED=395119105

node026.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.201
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.40
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.201
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:       1857656 kB
Buffers:         27984 kB
Cached:          80052 kB
SwapCached:       9204 kB
Active:          15636 kB
Inactive:       104528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1857656 kB
SwapTotal:     4192956 kB
SwapFree:      4136124 kB
Dirty:            1208 kB
Writeback:           0 kB
AnonPages:       10788 kB
Mapped:           9272 kB
Slab:            59052 kB
PageTables:       4056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180228 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= 62552 MiB
End job on node026 at 2010-06-17 20:55:14