37.68/37.78	c 8959 323 0 0 0 0 0 0
37.68/37.78	c 8192 ~x1450521+4096 ~x1450520+2048 ~x1450519+1024 ~x1450518+512 ~x1450517+256 ~x1450516+128 ~x1450515+64 ~x1450514+32 ~x1450513+16 ~x1450512+8 ~x1450511+4 ~x1450510+2 ~x1450509+1 ~x1450508+12288 x8672+8192 ~x15+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=32766
37.78/37.87	c 4096 ~x1454236+2048 ~x1454235+1024 ~x1454234+512 ~x1454233+256 ~x1454232+128 ~x1454231+64 ~x1454230+32 ~x1454229+16 ~x1454228+8 ~x1454227+4 ~x1454226+2 ~x1454225+1 ~x1454224+6144 x8673+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=16382
37.88/37.94	c 8192 ~x1456937+4096 ~x1456936+2048 ~x1456935+1024 ~x1456934+512 ~x1456933+256 ~x1456932+128 ~x1456931+64 ~x1456930+32 ~x1456929+16 ~x1456928+8 ~x1456927+4 ~x1456926+2 ~x1456925+1 ~x1456924+8192 x8674+8192 ~x75+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=32766
37.98/38.04	c 32768 ~x1460655+16384 ~x1460654+8192 ~x1460653+4096 ~x1460652+2048 ~x1460651+1024 ~x1460650+512 ~x1460649+256 ~x1460648+128 ~x1460647+64 ~x1460646+32 ~x1460645+16 ~x1460644+8 ~x1460643+4 ~x1460642+2 ~x1460641+1 ~x1460640+32768 x8675+32768 ~x107+16384 ~x106+8192 ~x105+4096 ~x104+2048 ~x103+1024 ~x102+512 ~x101+256 ~x100+128 ~x99+64 ~x98+32 ~x97+16 ~x96+8 ~x95+4 ~x94+2 ~x93+1 ~x92-0=131070
38.07/38.15	c 16384 ~x1465283+8192 ~x1465282+4096 ~x1465281+2048 ~x1465280+1024 ~x1465279+512 ~x1465278+256 ~x1465277+128 ~x1465276+64 ~x1465275+32 ~x1465274+16 ~x1465273+8 ~x1465272+4 ~x1465271+2 ~x1465270+1 ~x1465269+19456 x8676+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
38.17/38.25	c 16384 ~x1469318+8192 ~x1469317+4096 ~x1469316+2048 ~x1469315+1024 ~x1469314+512 ~x1469313+256 ~x1469312+128 ~x1469311+64 ~x1469310+32 ~x1469309+16 ~x1469308+8 ~x1469307+4 ~x1469306+2 ~x1469305+1 ~x1469304+17408 x8677+16384 ~x166+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=65534
38.27/38.35	c 4096 ~x1473351+2048 ~x1473350+1024 ~x1473349+512 ~x1473348+256 ~x1473347+128 ~x1473346+64 ~x1473345+32 ~x1473344+16 ~x1473343+8 ~x1473342+4 ~x1473341+2 ~x1473340+1 ~x1473339+6144 x8678+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=16382
38.39/38.42	c 2048 ~x1476050+1024 ~x1476049+512 ~x1476048+256 ~x1476047+128 ~x1476046+64 ~x1476045+32 ~x1476044+16 ~x1476043+8 ~x1476042+4 ~x1476041+2 ~x1476040+1 ~x1476039+3072 x8679+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=8190
38.39/38.48	c 16384 ~x1478401+8192 ~x1478400+4096 ~x1478399+2048 ~x1478398+1024 ~x1478397+512 ~x1478396+256 ~x1478395+128 ~x1478394+64 ~x1478393+32 ~x1478392+16 ~x1478391+8 ~x1478390+4 ~x1478389+2 ~x1478388+1 ~x1478387+20480 x8680+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
38.49/38.59	c 16384 ~x1482693+8192 ~x1482692+4096 ~x1482691+2048 ~x1482690+1024 ~x1482689+512 ~x1482688+256 ~x1482687+128 ~x1482686+64 ~x1482685+32 ~x1482684+16 ~x1482683+8 ~x1482682+4 ~x1482681+2 ~x1482680+1 ~x1482679+26624 x8681+16384 ~x286+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=65534
38.58/38.69	c 16384 ~x1486985+8192 ~x1486984+4096 ~x1486983+2048 ~x1486982+1024 ~x1486981+512 ~x1486980+256 ~x1486979+128 ~x1486978+64 ~x1486977+32 ~x1486976+16 ~x1486975+8 ~x1486974+4 ~x1486973+2 ~x1486972+1 ~x1486971+23552 x8682+16384 ~x316+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=65534
38.77/38.80	c 16384 ~x1491277+8192 ~x1491276+4096 ~x1491275+2048 ~x1491274+1024 ~x1491273+512 ~x1491272+256 ~x1491271+128 ~x1491270+64 ~x1491269+32 ~x1491268+16 ~x1491267+8 ~x1491266+4 ~x1491265+2 ~x1491264+1 ~x1491263+27648 x8683+16384 ~x346+8192 ~x345+4096 ~x344+2048 ~x343+1024 ~x342+512 ~x341+256 ~x340+128 ~x339+64 ~x338+32 ~x337+16 ~x336+8 ~x335+4 ~x334+2 ~x333+1 ~x332-0=65534
38.87/38.90	c 16384 ~x1495569+8192 ~x1495568+4096 ~x1495567+2048 ~x1495566+1024 ~x1495565+512 ~x1495564+256 ~x1495563+128 ~x1495562+64 ~x1495561+32 ~x1495560+16 ~x1495559+8 ~x1495558+4 ~x1495557+2 ~x1495556+1 ~x1495555+27648 x8684+16384 ~x376+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=65534
38.97/39.01	c 4096 ~x1499859+2048 ~x1499858+1024 ~x1499857+512 ~x1499856+256 ~x1499855+128 ~x1499854+64 ~x1499853+32 ~x1499852+16 ~x1499851+8 ~x1499850+4 ~x1499849+2 ~x1499848+1 ~x1499847+4096 x8685+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=16382
38.97/39.08	c 2048 ~x1502558+1024 ~x1502557+512 ~x1502556+256 ~x1502555+128 ~x1502554+64 ~x1502553+32 ~x1502552+16 ~x1502551+8 ~x1502550+4 ~x1502549+2 ~x1502548+1 ~x1502547+3072 x8686+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=8190
39.08/39.14	c 16384 ~x1504909+8192 ~x1504908+4096 ~x1504907+2048 ~x1504906+1024 ~x1504905+512 ~x1504904+256 ~x1504903+128 ~x1504902+64 ~x1504901+32 ~x1504900+16 ~x1504899+8 ~x1504898+4 ~x1504897+2 ~x1504896+1 ~x1504895+27648 x8687+16384 ~x466+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=65534
39.18/39.24	c 8192 ~x1509200+4096 ~x1509199+2048 ~x1509198+1024 ~x1509197+512 ~x1509196+256 ~x1509195+128 ~x1509194+64 ~x1509193+32 ~x1509192+16 ~x1509191+8 ~x1509190+4 ~x1509189+2 ~x1509188+1 ~x1509187+8192 x8688+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
39.27/39.34	c 4096 ~x1512915+2048 ~x1512914+1024 ~x1512913+512 ~x1512912+256 ~x1512911+128 ~x1512910+64 ~x1512909+32 ~x1512908+16 ~x1512907+8 ~x1512906+4 ~x1512905+2 ~x1512904+1 ~x1512903+4096 x8689+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
39.37/39.40	c 8192 ~x1515616+4096 ~x1515615+2048 ~x1515614+1024 ~x1515613+512 ~x1515612+256 ~x1515611+128 ~x1515610+64 ~x1515609+32 ~x1515608+16 ~x1515607+8 ~x1515606+4 ~x1515605+2 ~x1515604+1 ~x1515603+15360 x8690+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
39.48/39.50	c 16384 ~x1519333+8192 ~x1519332+4096 ~x1519331+2048 ~x1519330+1024 ~x1519329+512 ~x1519328+256 ~x1519327+128 ~x1519326+64 ~x1519325+32 ~x1519324+16 ~x1519323+8 ~x1519322+4 ~x1519321+2 ~x1519320+1 ~x1519319+16384 x8691+16384 ~x586+8192 ~x585+4096 ~x584+2048 ~x583+1024 ~x582+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572-0=65534
39.48/39.60	c 8192 ~x1523367+4096 ~x1523366+2048 ~x1523365+1024 ~x1523364+512 ~x1523363+256 ~x1523362+128 ~x1523361+64 ~x1523360+32 ~x1523359+16 ~x1523358+8 ~x1523357+4 ~x1523356+2 ~x1523355+1 ~x1523354+12288 x8692+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
39.58/39.69	c 16384 ~x1527084+8192 ~x1527083+4096 ~x1527082+2048 ~x1527081+1024 ~x1527080+512 ~x1527079+256 ~x1527078+128 ~x1527077+64 ~x1527076+32 ~x1527075+16 ~x1527074+8 ~x1527073+4 ~x1527072+2 ~x1527071+1 ~x1527070+27648 x8693+16384 ~x646+8192 ~x645+4096 ~x644+2048 ~x643+1024 ~x642+512 ~x641+256 ~x640+128 ~x639+64 ~x638+32 ~x637+16 ~x636+8 ~x635+4 ~x634+2 ~x633+1 ~x632-0=65534
39.78/39.80	c 16384 ~x1531376+8192 ~x1531375+4096 ~x1531374+2048 ~x1531373+1024 ~x1531372+512 ~x1531371+256 ~x1531370+128 ~x1531369+64 ~x1531368+32 ~x1531367+16 ~x1531366+8 ~x1531365+4 ~x1531364+2 ~x1531363+1 ~x1531362+19456 x8694+16384 ~x676+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662-0=65534
39.88/39.90	c 16384 ~x1535411+8192 ~x1535410+4096 ~x1535409+2048 ~x1535408+1024 ~x1535407+512 ~x1535406+256 ~x1535405+128 ~x1535404+64 ~x1535403+32 ~x1535402+16 ~x1535401+8 ~x1535400+4 ~x1535399+2 ~x1535398+1 ~x1535397+17408 x8695+16384 ~x706+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=65534
39.97/40.00	c 8192 ~x1539445+4096 ~x1539444+2048 ~x1539443+1024 ~x1539442+512 ~x1539441+256 ~x1539440+128 ~x1539439+64 ~x1539438+32 ~x1539437+16 ~x1539436+8 ~x1539435+4 ~x1539434+2 ~x1539433+1 ~x1539432+12288 x8696+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
39.97/40.09	c 4096 ~x1543160+2048 ~x1543159+1024 ~x1543158+512 ~x1543157+256 ~x1543156+128 ~x1543155+64 ~x1543154+32 ~x1543153+16 ~x1543152+8 ~x1543151+4 ~x1543150+2 ~x1543149+1 ~x1543148+6144 x8697+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=16382
40.07/40.16	c 2048 ~x1545859+1024 ~x1545858+512 ~x1545857+256 ~x1545856+128 ~x1545855+64 ~x1545854+32 ~x1545853+16 ~x1545852+8 ~x1545851+4 ~x1545850+2 ~x1545849+1 ~x1545848+3072 x8698+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=8190
40.17/40.22	c 16384 ~x1548210+8192 ~x1548209+4096 ~x1548208+2048 ~x1548207+1024 ~x1548206+512 ~x1548205+256 ~x1548204+128 ~x1548203+64 ~x1548202+32 ~x1548201+16 ~x1548200+8 ~x1548199+4 ~x1548198+2 ~x1548197+1 ~x1548196+19456 x8699+16384 ~x826+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=65534
40.28/40.32	c 16384 ~x1552245+8192 ~x1552244+4096 ~x1552243+2048 ~x1552242+1024 ~x1552241+512 ~x1552240+256 ~x1552239+128 ~x1552238+64 ~x1552237+32 ~x1552236+16 ~x1552235+8 ~x1552234+4 ~x1552233+2 ~x1552232+1 ~x1552231+19456 x8700+16384 ~x856+8192 ~x855+4096 ~x854+2048 ~x853+1024 ~x852+512 ~x851+256 ~x850+128 ~x849+64 ~x848+32 ~x847+16 ~x846+8 ~x845+4 ~x844+2 ~x843+1 ~x842-0=65534
40.38/40.42	c 16384 ~x1556280+8192 ~x1556279+4096 ~x1556278+2048 ~x1556277+1024 ~x1556276+512 ~x1556275+256 ~x1556274+128 ~x1556273+64 ~x1556272+32 ~x1556271+16 ~x1556270+8 ~x1556269+4 ~x1556268+2 ~x1556267+1 ~x1556266+19456 x8701+16384 ~x886+8192 ~x885+4096 ~x884+2048 ~x883+1024 ~x882+512 ~x881+256 ~x880+128 ~x879+64 ~x878+32 ~x877+16 ~x876+8 ~x875+4 ~x874+2 ~x873+1 ~x872-0=65534
40.47/40.55	c 16384 ~x1560315+8192 ~x1560314+4096 ~x1560313+2048 ~x1560312+1024 ~x1560311+512 ~x1560310+256 ~x1560309+128 ~x1560308+64 ~x1560307+32 ~x1560306+16 ~x1560305+8 ~x1560304+4 ~x1560303+2 ~x1560302+1 ~x1560301+19456 x8702+16384 ~x916+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=65534
40.58/40.65	c 16384 ~x1564350+8192 ~x1564349+4096 ~x1564348+2048 ~x1564347+1024 ~x1564346+512 ~x1564345+256 ~x1564344+128 ~x1564343+64 ~x1564342+32 ~x1564341+16 ~x1564340+8 ~x1564339+4 ~x1564338+2 ~x1564337+1 ~x1564336+19456 x8703+16384 ~x946+8192 ~x945+4096 ~x944+2048 ~x943+1024 ~x942+512 ~x941+256 ~x940+128 ~x939+64 ~x938+32 ~x937+16 ~x936+8 ~x935+4 ~x934+2 ~x933+1 ~x932-0=65534
40.68/40.75	c 2048 ~x1568382+1024 ~x1568381+512 ~x1568380+256 ~x1568379+128 ~x1568378+64 ~x1568377+32 ~x1568376+16 ~x1568375+8 ~x1568374+4 ~x1568373+2 ~x1568372+1 ~x1568371+3072 x8704+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=8190
40.78/40.81	c 16384 ~x1570733+8192 ~x1570732+4096 ~x1570731+2048 ~x1570730+1024 ~x1570729+512 ~x1570728+256 ~x1570727+128 ~x1570726+64 ~x1570725+32 ~x1570724+16 ~x1570723+8 ~x1570722+4 ~x1570721+2 ~x1570720+1 ~x1570719+19456 x8705+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
40.88/40.91	c 8192 ~x1574767+4096 ~x1574766+2048 ~x1574765+1024 ~x1574764+512 ~x1574763+256 ~x1574762+128 ~x1574761+64 ~x1574760+32 ~x1574759+16 ~x1574758+8 ~x1574757+4 ~x1574756+2 ~x1574755+1 ~x1574754+8192 x8706+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
40.97/41.01	c 8192 ~x1578483+4096 ~x1578482+2048 ~x1578481+1024 ~x1578480+512 ~x1578479+256 ~x1578478+128 ~x1578477+64 ~x1578476+32 ~x1578475+16 ~x1578474+8 ~x1578473+4 ~x1578472+2 ~x1578471+1 ~x1578470+12288 x8707+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=32766
41.07/41.10	c 4096 ~x1582198+2048 ~x1582197+1024 ~x1582196+512 ~x1582195+256 ~x1582194+128 ~x1582193+64 ~x1582192+32 ~x1582191+16 ~x1582190+8 ~x1582189+4 ~x1582188+2 ~x1582187+1 ~x1582186+4096 x8708+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=16382
41.07/41.17	c 8192 ~x1584899+4096 ~x1584898+2048 ~x1584897+1024 ~x1584896+512 ~x1584895+256 ~x1584894+128 ~x1584893+64 ~x1584892+32 ~x1584891+16 ~x1584890+8 ~x1584889+4 ~x1584888+2 ~x1584887+1 ~x1584886+15360 x8709+8192 ~x1125+4096 ~x1124+2048 ~x1123+1024 ~x1122+512 ~x1121+256 ~x1120+128 ~x1119+64 ~x1118+32 ~x1117+16 ~x1116+8 ~x1115+4 ~x1114+2 ~x1113+1 ~x1112-0=32766
41.18/41.26	c 16384 ~x1588616+8192 ~x1588615+4096 ~x1588614+2048 ~x1588613+1024 ~x1588612+512 ~x1588611+256 ~x1588610+128 ~x1588609+64 ~x1588608+32 ~x1588607+16 ~x1588606+8 ~x1588605+4 ~x1588604+2 ~x1588603+1 ~x1588602+16384 x8710+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
41.28/41.36	c 8192 ~x1592650+4096 ~x1592649+2048 ~x1592648+1024 ~x1592647+512 ~x1592646+256 ~x1592645+128 ~x1592644+64 ~x1592643+32 ~x1592642+16 ~x1592641+8 ~x1592640+4 ~x1592639+2 ~x1592638+1 ~x1592637+12288 x8711+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
41.38/41.46	c 16384 ~x1596367+8192 ~x1596366+4096 ~x1596365+2048 ~x1596364+1024 ~x1596363+512 ~x1596362+256 ~x1596361+128 ~x1596360+64 ~x1596359+32 ~x1596358+16 ~x1596357+8 ~x1596356+4 ~x1596355+2 ~x1596354+1 ~x1596353+19456 x8712+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
41.48/41.56	c 16384 ~x1600402+8192 ~x1600401+4096 ~x1600400+2048 ~x1600399+1024 ~x1600398+512 ~x1600397+256 ~x1600396+128 ~x1600395+64 ~x1600394+32 ~x1600393+16 ~x1600392+8 ~x1600391+4 ~x1600390+2 ~x1600389+1 ~x1600388+19456 x8713+16384 ~x1246+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=65534
41.58/41.66	c 4096 ~x1604435+2048 ~x1604434+1024 ~x1604433+512 ~x1604432+256 ~x1604431+128 ~x1604430+64 ~x1604429+32 ~x1604428+16 ~x1604427+8 ~x1604426+4 ~x1604425+2 ~x1604424+1 ~x1604423+5120 x8714+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
41.68/41.73	c 4096 ~x1607135+2048 ~x1607134+1024 ~x1607133+512 ~x1607132+256 ~x1607131+128 ~x1607130+64 ~x1607129+32 ~x1607128+16 ~x1607127+8 ~x1607126+4 ~x1607125+2 ~x1607124+1 ~x1607123+5120 x8715+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=16382
41.68/41.79	c 2048 ~x1609834+1024 ~x1609833+512 ~x1609832+256 ~x1609831+128 ~x1609830+64 ~x1609829+32 ~x1609828+16 ~x1609827+8 ~x1609826+4 ~x1609825+2 ~x1609824+1 ~x1609823+3072 x8716+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=8190
41.78/41.85	c 4096 ~x1612183+2048 ~x1612182+1024 ~x1612181+512 ~x1612180+256 ~x1612179+128 ~x1612178+64 ~x1612177+32 ~x1612176+16 ~x1612175+8 ~x1612174+4 ~x1612173+2 ~x1612172+1 ~x1612171+5120 x8717+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=16382
41.87/41.92	c 8192 ~x1614884+4096 ~x1614883+2048 ~x1614882+1024 ~x1614881+512 ~x1614880+256 ~x1614879+128 ~x1614878+64 ~x1614877+32 ~x1614876+16 ~x1614875+8 ~x1614874+4 ~x1614873+2 ~x1614872+1 ~x1614871+12288 x8718+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=32766
41.97/42.01	c 4096 ~x1618599+2048 ~x1618598+1024 ~x1618597+512 ~x1618596+256 ~x1618595+128 ~x1618594+64 ~x1618593+32 ~x1618592+16 ~x1618591+8 ~x1618590+4 ~x1618589+2 ~x1618588+1 ~x1618587+5120 x8719+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=16382
41.97/42.08	c 4096 ~x1621299+2048 ~x1621298+1024 ~x1621297+512 ~x1621296+256 ~x1621295+128 ~x1621294+64 ~x1621293+32 ~x1621292+16 ~x1621291+8 ~x1621290+4 ~x1621289+2 ~x1621288+1 ~x1621287+5120 x8720+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=16382
42.07/42.15	c 4096 ~x1623999+2048 ~x1623998+1024 ~x1623997+512 ~x1623996+256 ~x1623995+128 ~x1623994+64 ~x1623993+32 ~x1623992+16 ~x1623991+8 ~x1623990+4 ~x1623989+2 ~x1623988+1 ~x1623987+5120 x8721+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=16382
42.18/42.22	c 4096 ~x1626699+2048 ~x1626698+1024 ~x1626697+512 ~x1626696+256 ~x1626695+128 ~x1626694+64 ~x1626693+32 ~x1626692+16 ~x1626691+8 ~x1626690+4 ~x1626689+2 ~x1626688+1 ~x1626687+5120 x8722+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=16382
42.18/42.28	c 2048 ~x1629398+1024 ~x1629397+512 ~x1629396+256 ~x1629395+128 ~x1629394+64 ~x1629393+32 ~x1629392+16 ~x1629391+8 ~x1629390+4 ~x1629389+2 ~x1629388+1 ~x1629387+3072 x8723+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=8190
42.28/42.35	c 4096 ~x1631747+2048 ~x1631746+1024 ~x1631745+512 ~x1631744+256 ~x1631743+128 ~x1631742+64 ~x1631741+32 ~x1631740+16 ~x1631739+8 ~x1631738+4 ~x1631737+2 ~x1631736+1 ~x1631735+5120 x8724+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=16382
42.37/42.41	c 4096 ~x1634447+2048 ~x1634446+1024 ~x1634445+512 ~x1634444+256 ~x1634443+128 ~x1634442+64 ~x1634441+32 ~x1634440+16 ~x1634439+8 ~x1634438+4 ~x1634437+2 ~x1634436+1 ~x1634435+5120 x8725+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=16382
42.37/42.48	c 4096 ~x1637147+2048 ~x1637146+1024 ~x1637145+512 ~x1637144+256 ~x1637143+128 ~x1637142+64 ~x1637141+32 ~x1637140+16 ~x1637139+8 ~x1637138+4 ~x1637137+2 ~x1637136+1 ~x1637135+4096 x8726+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=16382
42.47/42.55	c 4096 ~x1639847+2048 ~x1639846+1024 ~x1639845+512 ~x1639844+256 ~x1639843+128 ~x1639842+64 ~x1639841+32 ~x1639840+16 ~x1639839+8 ~x1639838+4 ~x1639837+2 ~x1639836+1 ~x1639835+5120 x8727+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=16382
42.57/42.61	c 4096 ~x1642547+2048 ~x1642546+1024 ~x1642545+512 ~x1642544+256 ~x1642543+128 ~x1642542+64 ~x1642541+32 ~x1642540+16 ~x1642539+8 ~x1642538+4 ~x1642537+2 ~x1642536+1 ~x1642535+5120 x8728+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
42.57/42.68	c 8192 ~x1645248+4096 ~x1645247+2048 ~x1645246+1024 ~x1645245+512 ~x1645244+256 ~x1645243+128 ~x1645242+64 ~x1645241+32 ~x1645240+16 ~x1645239+8 ~x1645238+4 ~x1645237+2 ~x1645236+1 ~x1645235+12288 x8729+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=32766
42.67/42.77	c 4096 ~x1648963+2048 ~x1648962+1024 ~x1648961+512 ~x1648960+256 ~x1648959+128 ~x1648958+64 ~x1648957+32 ~x1648956+16 ~x1648955+8 ~x1648954+4 ~x1648953+2 ~x1648952+1 ~x1648951+5120 x8730+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=16382
42.78/42.84	c 4096 ~x1651663+2048 ~x1651662+1024 ~x1651661+512 ~x1651660+256 ~x1651659+128 ~x1651658+64 ~x1651657+32 ~x1651656+16 ~x1651655+8 ~x1651654+4 ~x1651653+2 ~x1651652+1 ~x1651651+5120 x8731+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=16382
42.89/42.91	c 4096 ~x1654363+2048 ~x1654362+1024 ~x1654361+512 ~x1654360+256 ~x1654359+128 ~x1654358+64 ~x1654357+32 ~x1654356+16 ~x1654355+8 ~x1654354+4 ~x1654353+2 ~x1654352+1 ~x1654351+5120 x8732+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=16382
42.89/42.98	c 4096 ~x1657063+2048 ~x1657062+1024 ~x1657061+512 ~x1657060+256 ~x1657059+128 ~x1657058+64 ~x1657057+32 ~x1657056+16 ~x1657055+8 ~x1657054+4 ~x1657053+2 ~x1657052+1 ~x1657051+4096 x8733+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=16382
42.97/43.04	c 4096 ~x1659763+2048 ~x1659762+1024 ~x1659761+512 ~x1659760+256 ~x1659759+128 ~x1659758+64 ~x1659757+32 ~x1659756+16 ~x1659755+8 ~x1659754+4 ~x1659753+2 ~x1659752+1 ~x1659751+4096 x8734+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
43.07/43.11	c 2048 ~x1662462+1024 ~x1662461+512 ~x1662460+256 ~x1662459+128 ~x1662458+64 ~x1662457+32 ~x1662456+16 ~x1662455+8 ~x1662454+4 ~x1662453+2 ~x1662452+1 ~x1662451+3072 x8735+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=8190
43.07/43.17	c 4096 ~x1664811+2048 ~x1664810+1024 ~x1664809+512 ~x1664808+256 ~x1664807+128 ~x1664806+64 ~x1664805+32 ~x1664804+16 ~x1664803+8 ~x1664802+4 ~x1664801+2 ~x1664800+1 ~x1664799+4096 x8736+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=16382
43.18/43.24	c 4096 ~x1667511+2048 ~x1667510+1024 ~x1667509+512 ~x1667508+256 ~x1667507+128 ~x1667506+64 ~x1667505+32 ~x1667504+16 ~x1667503+8 ~x1667502+4 ~x1667501+2 ~x1667500+1 ~x1667499+4096 x8737+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=16382
43.28/43.31	c 4096 ~x1670211+2048 ~x1670210+1024 ~x1670209+512 ~x1670208+256 ~x1670207+128 ~x1670206+64 ~x1670205+32 ~x1670204+16 ~x1670203+8 ~x1670202+4 ~x1670201+2 ~x1670200+1 ~x1670199+4096 x8738+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=16382
43.28/43.37	c 4096 ~x1672911+2048 ~x1672910+1024 ~x1672909+512 ~x1672908+256 ~x1672907+128 ~x1672906+64 ~x1672905+32 ~x1672904+16 ~x1672903+8 ~x1672902+4 ~x1672901+2 ~x1672900+1 ~x1672899+4096 x8739+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=16382
43.38/43.44	c 8192 ~x1675612+4096 ~x1675611+2048 ~x1675610+1024 ~x1675609+512 ~x1675608+256 ~x1675607+128 ~x1675606+64 ~x1675605+32 ~x1675604+16 ~x1675603+8 ~x1675602+4 ~x1675601+2 ~x1675600+1 ~x1675599+12288 x8740+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
43.48/43.54	c 4096 ~x1679327+2048 ~x1679326+1024 ~x1679325+512 ~x1679324+256 ~x1679323+128 ~x1679322+64 ~x1679321+32 ~x1679320+16 ~x1679319+8 ~x1679318+4 ~x1679317+2 ~x1679316+1 ~x1679315+4096 x8741+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=16382
43.58/43.60	c 2048 ~x1682026+1024 ~x1682025+512 ~x1682024+256 ~x1682023+128 ~x1682022+64 ~x1682021+32 ~x1682020+16 ~x1682019+8 ~x1682018+4 ~x1682017+2 ~x1682016+1 ~x1682015+3072 x8742+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=8190
43.58/43.66	c 4096 ~x1684375+2048 ~x1684374+1024 ~x1684373+512 ~x1684372+256 ~x1684371+128 ~x1684370+64 ~x1684369+32 ~x1684368+16 ~x1684367+8 ~x1684366+4 ~x1684365+2 ~x1684364+1 ~x1684363+4096 x8743+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
43.68/43.73	c 4096 ~x1687075+2048 ~x1687074+1024 ~x1687073+512 ~x1687072+256 ~x1687071+128 ~x1687070+64 ~x1687069+32 ~x1687068+16 ~x1687067+8 ~x1687066+4 ~x1687065+2 ~x1687064+1 ~x1687063+4096 x8744+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=16382
43.77/43.80	c 4096 ~x1689775+2048 ~x1689774+1024 ~x1689773+512 ~x1689772+256 ~x1689771+128 ~x1689770+64 ~x1689769+32 ~x1689768+16 ~x1689767+8 ~x1689766+4 ~x1689765+2 ~x1689764+1 ~x1689763+4096 x8745+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=16382
43.77/43.87	c 4096 ~x1692475+2048 ~x1692474+1024 ~x1692473+512 ~x1692472+256 ~x1692471+128 ~x1692470+64 ~x1692469+32 ~x1692468+16 ~x1692467+8 ~x1692466+4 ~x1692465+2 ~x1692464+1 ~x1692463+4096 x8746+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=16382
43.88/43.93	c 4096 ~x1695175+2048 ~x1695174+1024 ~x1695173+512 ~x1695172+256 ~x1695171+128 ~x1695170+64 ~x1695169+32 ~x1695168+16 ~x1695167+8 ~x1695166+4 ~x1695165+2 ~x1695164+1 ~x1695163+4096 x8747+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=16382
43.88/44.00	c 4096 ~x1697875+2048 ~x1697874+1024 ~x1697873+512 ~x1697872+256 ~x1697871+128 ~x1697870+64 ~x1697869+32 ~x1697868+16 ~x1697867+8 ~x1697866+4 ~x1697865+2 ~x1697864+1 ~x1697863+4096 x8748+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
43.98/44.07	c 4096 ~x1700575+2048 ~x1700574+1024 ~x1700573+512 ~x1700572+256 ~x1700571+128 ~x1700570+64 ~x1700569+32 ~x1700568+16 ~x1700567+8 ~x1700566+4 ~x1700565+2 ~x1700564+1 ~x1700563+4096 x8749+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=16382
44.07/44.14	c 4096 ~x1703275+2048 ~x1703274+1024 ~x1703273+512 ~x1703272+256 ~x1703271+128 ~x1703270+64 ~x1703269+32 ~x1703268+16 ~x1703267+8 ~x1703266+4 ~x1703265+2 ~x1703264+1 ~x1703263+4096 x8750+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=16382
44.17/44.20	c 4096 ~x1705975+2048 ~x1705974+1024 ~x1705973+512 ~x1705972+256 ~x1705971+128 ~x1705970+64 ~x1705969+32 ~x1705968+16 ~x1705967+8 ~x1705966+4 ~x1705965+2 ~x1705964+1 ~x1705963+6144 x8751+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=16382
44.17/44.27	c 8192 ~x1708676+4096 ~x1708675+2048 ~x1708674+1024 ~x1708673+512 ~x1708672+256 ~x1708671+128 ~x1708670+64 ~x1708669+32 ~x1708668+16 ~x1708667+8 ~x1708666+4 ~x1708665+2 ~x1708664+1 ~x1708663+14336 x8752+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=32766
44.28/44.37	c 4096 ~x1712391+2048 ~x1712390+1024 ~x1712389+512 ~x1712388+256 ~x1712387+128 ~x1712386+64 ~x1712385+32 ~x1712384+16 ~x1712383+8 ~x1712382+4 ~x1712381+2 ~x1712380+1 ~x1712379+6144 x8753+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=16382
44.38/44.43	c 2048 ~x1715090+1024 ~x1715089+512 ~x1715088+256 ~x1715087+128 ~x1715086+64 ~x1715085+32 ~x1715084+16 ~x1715083+8 ~x1715082+4 ~x1715081+2 ~x1715080+1 ~x1715079+3072 x8754+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=8190
44.38/44.49	c 8192 ~x1717440+4096 ~x1717439+2048 ~x1717438+1024 ~x1717437+512 ~x1717436+256 ~x1717435+128 ~x1717434+64 ~x1717433+32 ~x1717432+16 ~x1717431+8 ~x1717430+4 ~x1717429+2 ~x1717428+1 ~x1717427+14336 x8755+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=32766
44.47/44.59	c 8192 ~x1721156+4096 ~x1721155+2048 ~x1721154+1024 ~x1721153+512 ~x1721152+256 ~x1721151+128 ~x1721150+64 ~x1721149+32 ~x1721148+16 ~x1721147+8 ~x1721146+4 ~x1721145+2 ~x1721144+1 ~x1721143+14336 x8756+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
44.57/44.68	c 8192 ~x1724872+4096 ~x1724871+2048 ~x1724870+1024 ~x1724869+512 ~x1724868+256 ~x1724867+128 ~x1724866+64 ~x1724865+32 ~x1724864+16 ~x1724863+8 ~x1724862+4 ~x1724861+2 ~x1724860+1 ~x1724859+14336 x8757+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=32766
44.67/44.77	c 8192 ~x1728588+4096 ~x1728587+2048 ~x1728586+1024 ~x1728585+512 ~x1728584+256 ~x1728583+128 ~x1728582+64 ~x1728581+32 ~x1728580+16 ~x1728579+8 ~x1728578+4 ~x1728577+2 ~x1728576+1 ~x1728575+14336 x8758+8192 ~x2595+4096 ~x2594+2048 ~x2593+1024 ~x2592+512 ~x2591+256 ~x2590+128 ~x2589+64 ~x2588+32 ~x2587+16 ~x2586+8 ~x2585+4 ~x2584+2 ~x2583+1 ~x2582-0=32766
44.78/44.87	c 8192 ~x1732304+4096 ~x1732303+2048 ~x1732302+1024 ~x1732301+512 ~x1732300+256 ~x1732299+128 ~x1732298+64 ~x1732297+32 ~x1732296+16 ~x1732295+8 ~x1732294+4 ~x1732293+2 ~x1732292+1 ~x1732291+14336 x8759+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=32766
44.88/44.96	c 2048 ~x1736018+1024 ~x1736017+512 ~x1736016+256 ~x1736015+128 ~x1736014+64 ~x1736013+32 ~x1736012+16 ~x1736011+8 ~x1736010+4 ~x1736009+2 ~x1736008+1 ~x1736007+3072 x8760+2048 ~x2653+1024 ~x2652+512 ~x2651+256 ~x2650+128 ~x2649+64 ~x2648+32 ~x2647+16 ~x2646+8 ~x2645+4 ~x2644+2 ~x2643+1 ~x2642-0=8190
44.98/45.02	c 8192 ~x1738368+4096 ~x1738367+2048 ~x1738366+1024 ~x1738365+512 ~x1738364+256 ~x1738363+128 ~x1738362+64 ~x1738361+32 ~x1738360+16 ~x1738359+8 ~x1738358+4 ~x1738357+2 ~x1738356+1 ~x1738355+14336 x8761+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
45.08/45.11	c 4096 ~x1742083+2048 ~x1742082+1024 ~x1742081+512 ~x1742080+256 ~x1742079+128 ~x1742078+64 ~x1742077+32 ~x1742076+16 ~x1742075+8 ~x1742074+4 ~x1742073+2 ~x1742072+1 ~x1742071+6144 x8762+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
45.08/45.18	c 8192 ~x1744784+4096 ~x1744783+2048 ~x1744782+1024 ~x1744781+512 ~x1744780+256 ~x1744779+128 ~x1744778+64 ~x1744777+32 ~x1744776+16 ~x1744775+8 ~x1744774+4 ~x1744773+2 ~x1744772+1 ~x1744771+8192 x8763+8192 ~x2745+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=32766
45.17/45.27	c 4096 ~x1748499+2048 ~x1748498+1024 ~x1748497+512 ~x1748496+256 ~x1748495+128 ~x1748494+64 ~x1748493+32 ~x1748492+16 ~x1748491+8 ~x1748490+4 ~x1748489+2 ~x1748488+1 ~x1748487+4096 x8764+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=16382
45.28/45.34	c 8192 ~x1751200+4096 ~x1751199+2048 ~x1751198+1024 ~x1751197+512 ~x1751196+256 ~x1751195+128 ~x1751194+64 ~x1751193+32 ~x1751192+16 ~x1751191+8 ~x1751190+4 ~x1751189+2 ~x1751188+1 ~x1751187+14336 x8765+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=32766
45.38/45.43	c 8192 ~x1754916+4096 ~x1754915+2048 ~x1754914+1024 ~x1754913+512 ~x1754912+256 ~x1754911+128 ~x1754910+64 ~x1754909+32 ~x1754908+16 ~x1754907+8 ~x1754906+4 ~x1754905+2 ~x1754904+1 ~x1754903+14336 x8766+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
45.47/45.53	c 8192 ~x1758632+4096 ~x1758631+2048 ~x1758630+1024 ~x1758629+512 ~x1758628+256 ~x1758627+128 ~x1758626+64 ~x1758625+32 ~x1758624+16 ~x1758623+8 ~x1758622+4 ~x1758621+2 ~x1758620+1 ~x1758619+12288 x8767+8192 ~x2865+4096 ~x2864+2048 ~x2863+1024 ~x2862+512 ~x2861+256 ~x2860+128 ~x2859+64 ~x2858+32 ~x2857+16 ~x2856+8 ~x2855+4 ~x2854+2 ~x2853+1 ~x2852-0=32766
45.57/45.62	c 8192 ~x1762348+4096 ~x1762347+2048 ~x1762346+1024 ~x1762345+512 ~x1762344+256 ~x1762343+128 ~x1762342+64 ~x1762341+32 ~x1762340+16 ~x1762339+8 ~x1762338+4 ~x1762337+2 ~x1762336+1 ~x1762335+14336 x8768+8192 ~x2895+4096 ~x2894+2048 ~x2893+1024 ~x2892+512 ~x2891+256 ~x2890+128 ~x2889+64 ~x2888+32 ~x2887+16 ~x2886+8 ~x2885+4 ~x2884+2 ~x2883+1 ~x2882-0=32766
45.67/45.71	c 8192 ~x1766064+4096 ~x1766063+2048 ~x1766062+1024 ~x1766061+512 ~x1766060+256 ~x1766059+128 ~x1766058+64 ~x1766057+32 ~x1766056+16 ~x1766055+8 ~x1766054+4 ~x1766053+2 ~x1766052+1 ~x1766051+14336 x8769+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=32766
45.77/45.81	c 8192 ~x1769780+4096 ~x1769779+2048 ~x1769778+1024 ~x1769777+512 ~x1769776+256 ~x1769775+128 ~x1769774+64 ~x1769773+32 ~x1769772+16 ~x1769771+8 ~x1769770+4 ~x1769769+2 ~x1769768+1 ~x1769767+10240 x8770+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
45.87/45.90	c 4096 ~x1773495+2048 ~x1773494+1024 ~x1773493+512 ~x1773492+256 ~x1773491+128 ~x1773490+64 ~x1773489+32 ~x1773488+16 ~x1773487+8 ~x1773486+4 ~x1773485+2 ~x1773484+1 ~x1773483+6144 x8771+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=16382
45.87/45.97	c 2048 ~x1776194+1024 ~x1776193+512 ~x1776192+256 ~x1776191+128 ~x1776190+64 ~x1776189+32 ~x1776188+16 ~x1776187+8 ~x1776186+4 ~x1776185+2 ~x1776184+1 ~x1776183+3072 x8772+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=8190
45.97/46.03	c 2048 ~x1778542+1024 ~x1778541+512 ~x1778540+256 ~x1778539+128 ~x1778538+64 ~x1778537+32 ~x1778536+16 ~x1778535+8 ~x1778534+4 ~x1778533+2 ~x1778532+1 ~x1778531+3072 x8773+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=8190
45.97/46.09	c 8192 ~x1780892+4096 ~x1780891+2048 ~x1780890+1024 ~x1780889+512 ~x1780888+256 ~x1780887+128 ~x1780886+64 ~x1780885+32 ~x1780884+16 ~x1780883+8 ~x1780882+4 ~x1780881+2 ~x1780880+1 ~x1780879+10240 x8774+8192 ~x3075+4096 ~x3074+2048 ~x3073+1024 ~x3072+512 ~x3071+256 ~x3070+128 ~x3069+64 ~x3068+32 ~x3067+16 ~x3066+8 ~x3065+4 ~x3064+2 ~x3063+1 ~x3062-0=32766
46.09/46.19	c 8192 ~x1784608+4096 ~x1784607+2048 ~x1784606+1024 ~x1784605+512 ~x1784604+256 ~x1784603+128 ~x1784602+64 ~x1784601+32 ~x1784600+16 ~x1784599+8 ~x1784598+4 ~x1784597+2 ~x1784596+1 ~x1784595+10240 x8775+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=32766
46.19/46.28	c 8192 ~x1788324+4096 ~x1788323+2048 ~x1788322+1024 ~x1788321+512 ~x1788320+256 ~x1788319+128 ~x1788318+64 ~x1788317+32 ~x1788316+16 ~x1788315+8 ~x1788314+4 ~x1788313+2 ~x1788312+1 ~x1788311+10240 x8776+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
46.28/46.37	c 8192 ~x1792040+4096 ~x1792039+2048 ~x1792038+1024 ~x1792037+512 ~x1792036+256 ~x1792035+128 ~x1792034+64 ~x1792033+32 ~x1792032+16 ~x1792031+8 ~x1792030+4 ~x1792029+2 ~x1792028+1 ~x1792027+10240 x8777+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=32766
46.38/46.47	c 8192 ~x1795756+4096 ~x1795755+2048 ~x1795754+1024 ~x1795753+512 ~x1795752+256 ~x1795751+128 ~x1795750+64 ~x1795749+32 ~x1795748+16 ~x1795747+8 ~x1795746+4 ~x1795745+2 ~x1795744+1 ~x1795743+10240 x8778+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=32766
46.48/46.56	c 2048 ~x1799470+1024 ~x1799469+512 ~x1799468+256 ~x1799467+128 ~x1799466+64 ~x1799465+32 ~x1799464+16 ~x1799463+8 ~x1799462+4 ~x1799461+2 ~x1799460+1 ~x1799459+3072 x8779+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=8190
46.58/46.62	c 8192 ~x1801820+4096 ~x1801819+2048 ~x1801818+1024 ~x1801817+512 ~x1801816+256 ~x1801815+128 ~x1801814+64 ~x1801813+32 ~x1801812+16 ~x1801811+8 ~x1801810+4 ~x1801809+2 ~x1801808+1 ~x1801807+10240 x8780+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
46.67/46.71	c 8192 ~x1805536+4096 ~x1805535+2048 ~x1805534+1024 ~x1805533+512 ~x1805532+256 ~x1805531+128 ~x1805530+64 ~x1805529+32 ~x1805528+16 ~x1805527+8 ~x1805526+4 ~x1805525+2 ~x1805524+1 ~x1805523+8192 x8781+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
46.78/46.81	c 4096 ~x1809251+2048 ~x1809250+1024 ~x1809249+512 ~x1809248+256 ~x1809247+128 ~x1809246+64 ~x1809245+32 ~x1809244+16 ~x1809243+8 ~x1809242+4 ~x1809241+2 ~x1809240+1 ~x1809239+4096 x8782+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
46.78/46.87	c 8192 ~x1811952+4096 ~x1811951+2048 ~x1811950+1024 ~x1811949+512 ~x1811948+256 ~x1811947+128 ~x1811946+64 ~x1811945+32 ~x1811944+16 ~x1811943+8 ~x1811942+4 ~x1811941+2 ~x1811940+1 ~x1811939+10240 x8783+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
46.88/46.97	c 2048 ~x1815666+1024 ~x1815665+512 ~x1815664+256 ~x1815663+128 ~x1815662+64 ~x1815661+32 ~x1815660+16 ~x1815659+8 ~x1815658+4 ~x1815657+2 ~x1815656+1 ~x1815655+3072 x8784+2048 ~x3373+1024 ~x3372+512 ~x3371+256 ~x3370+128 ~x3369+64 ~x3368+32 ~x3367+16 ~x3366+8 ~x3365+4 ~x3364+2 ~x3363+1 ~x3362-0=8190
46.97/47.03	c 4096 ~x1818015+2048 ~x1818014+1024 ~x1818013+512 ~x1818012+256 ~x1818011+128 ~x1818010+64 ~x1818009+32 ~x1818008+16 ~x1818007+8 ~x1818006+4 ~x1818005+2 ~x1818004+1 ~x1818003+6144 x8785+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=16382
46.97/47.09	c 8192 ~x1820716+4096 ~x1820715+2048 ~x1820714+1024 ~x1820713+512 ~x1820712+256 ~x1820711+128 ~x1820710+64 ~x1820709+32 ~x1820708+16 ~x1820707+8 ~x1820706+4 ~x1820705+2 ~x1820704+1 ~x1820703+10240 x8786+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=32766
47.07/47.19	c 8192 ~x1824432+4096 ~x1824431+2048 ~x1824430+1024 ~x1824429+512 ~x1824428+256 ~x1824427+128 ~x1824426+64 ~x1824425+32 ~x1824424+16 ~x1824423+8 ~x1824422+4 ~x1824421+2 ~x1824420+1 ~x1824419+10240 x8787+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
47.18/47.28	c 8192 ~x1828148+4096 ~x1828147+2048 ~x1828146+1024 ~x1828145+512 ~x1828144+256 ~x1828143+128 ~x1828142+64 ~x1828141+32 ~x1828140+16 ~x1828139+8 ~x1828138+4 ~x1828137+2 ~x1828136+1 ~x1828135+10240 x8788+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=32766
47.28/47.37	c 8192 ~x1831864+4096 ~x1831863+2048 ~x1831862+1024 ~x1831861+512 ~x1831860+256 ~x1831859+128 ~x1831858+64 ~x1831857+32 ~x1831856+16 ~x1831855+8 ~x1831854+4 ~x1831853+2 ~x1831852+1 ~x1831851+10240 x8789+8192 ~x3525+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=32766
47.38/47.47	c 16384 ~x1835581+8192 ~x1835580+4096 ~x1835579+2048 ~x1835578+1024 ~x1835577+512 ~x1835576+256 ~x1835575+128 ~x1835574+64 ~x1835573+32 ~x1835572+16 ~x1835571+8 ~x1835570+4 ~x1835569+2 ~x1835568+1 ~x1835567+17408 x8790+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=65534
47.48/47.57	c 4096 ~x1839614+2048 ~x1839613+1024 ~x1839612+512 ~x1839611+256 ~x1839610+128 ~x1839609+64 ~x1839608+32 ~x1839607+16 ~x1839606+8 ~x1839605+4 ~x1839604+2 ~x1839603+1 ~x1839602+6144 x8791+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=16382
47.58/47.64	c 2048 ~x1842313+1024 ~x1842312+512 ~x1842311+256 ~x1842310+128 ~x1842309+64 ~x1842308+32 ~x1842307+16 ~x1842306+8 ~x1842305+4 ~x1842304+2 ~x1842303+1 ~x1842302+3072 x8792+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=8190
47.68/47.70	c 16384 ~x1844664+8192 ~x1844663+4096 ~x1844662+2048 ~x1844661+1024 ~x1844660+512 ~x1844659+256 ~x1844658+128 ~x1844657+64 ~x1844656+32 ~x1844655+16 ~x1844654+8 ~x1844653+4 ~x1844652+2 ~x1844651+1 ~x1844650+20480 x8793+16384 ~x3646+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=65534
47.78/47.80	c 16384 ~x1848956+8192 ~x1848955+4096 ~x1848954+2048 ~x1848953+1024 ~x1848952+512 ~x1848951+256 ~x1848950+128 ~x1848949+64 ~x1848948+32 ~x1848947+16 ~x1848946+8 ~x1848945+4 ~x1848944+2 ~x1848943+1 ~x1848942+26624 x8794+16384 ~x3676+8192 ~x3675+4096 ~x3674+2048 ~x3673+1024 ~x3672+512 ~x3671+256 ~x3670+128 ~x3669+64 ~x3668+32 ~x3667+16 ~x3666+8 ~x3665+4 ~x3664+2 ~x3663+1 ~x3662-0=65534
47.87/47.91	c 16384 ~x1853248+8192 ~x1853247+4096 ~x1853246+2048 ~x1853245+1024 ~x1853244+512 ~x1853243+256 ~x1853242+128 ~x1853241+64 ~x1853240+32 ~x1853239+16 ~x1853238+8 ~x1853237+4 ~x1853236+2 ~x1853235+1 ~x1853234+23552 x8795+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
47.97/48.01	c 4096 ~x1857538+2048 ~x1857537+1024 ~x1857536+512 ~x1857535+256 ~x1857534+128 ~x1857533+64 ~x1857532+32 ~x1857531+16 ~x1857530+8 ~x1857529+4 ~x1857528+2 ~x1857527+1 ~x1857526+6144 x8796+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=16382
47.97/48.08	c 16384 ~x1860240+8192 ~x1860239+4096 ~x1860238+2048 ~x1860237+1024 ~x1860236+512 ~x1860235+256 ~x1860234+128 ~x1860233+64 ~x1860232+32 ~x1860231+16 ~x1860230+8 ~x1860229+4 ~x1860228+2 ~x1860227+1 ~x1860226+28672 x8797+16384 ~x3766+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=65534
48.07/48.19	c 16384 ~x1864532+8192 ~x1864531+4096 ~x1864530+2048 ~x1864529+1024 ~x1864528+512 ~x1864527+256 ~x1864526+128 ~x1864525+64 ~x1864524+32 ~x1864523+16 ~x1864522+8 ~x1864521+4 ~x1864520+2 ~x1864519+1 ~x1864518+28672 x8798+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
48.17/48.29	c 2048 ~x1868821+1024 ~x1868820+512 ~x1868819+256 ~x1868818+128 ~x1868817+64 ~x1868816+32 ~x1868815+16 ~x1868814+8 ~x1868813+4 ~x1868812+2 ~x1868811+1 ~x1868810+3072 x8799+2048 ~x3823+1024 ~x3822+512 ~x3821+256 ~x3820+128 ~x3819+64 ~x3818+32 ~x3817+16 ~x3816+8 ~x3815+4 ~x3814+2 ~x3813+1 ~x3812-0=8190
48.28/48.35	c 16384 ~x1871172+8192 ~x1871171+4096 ~x1871170+2048 ~x1871169+1024 ~x1871168+512 ~x1871167+256 ~x1871166+128 ~x1871165+64 ~x1871164+32 ~x1871163+16 ~x1871162+8 ~x1871161+4 ~x1871160+2 ~x1871159+1 ~x1871158+28672 x8800+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=65534
48.38/48.46	c 8192 ~x1875463+4096 ~x1875462+2048 ~x1875461+1024 ~x1875460+512 ~x1875459+256 ~x1875458+128 ~x1875457+64 ~x1875456+32 ~x1875455+16 ~x1875454+8 ~x1875453+4 ~x1875452+2 ~x1875451+1 ~x1875450+8192 x8801+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
48.47/48.55	c 4096 ~x1879178+2048 ~x1879177+1024 ~x1879176+512 ~x1879175+256 ~x1879174+128 ~x1879173+64 ~x1879172+32 ~x1879171+16 ~x1879170+8 ~x1879169+4 ~x1879168+2 ~x1879167+1 ~x1879166+4096 x8802+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=16382
48.57/48.62	c 8192 ~x1881879+4096 ~x1881878+2048 ~x1881877+1024 ~x1881876+512 ~x1881875+256 ~x1881874+128 ~x1881873+64 ~x1881872+32 ~x1881871+16 ~x1881870+8 ~x1881869+4 ~x1881868+2 ~x1881867+1 ~x1881866+15360 x8803+8192 ~x3945+4096 ~x3944+2048 ~x3943+1024 ~x3942+512 ~x3941+256 ~x3940+128 ~x3939+64 ~x3938+32 ~x3937+16 ~x3936+8 ~x3935+4 ~x3934+2 ~x3933+1 ~x3932-0=32766
48.68/48.71	c 16384 ~x1885596+8192 ~x1885595+4096 ~x1885594+2048 ~x1885593+1024 ~x1885592+512 ~x1885591+256 ~x1885590+128 ~x1885589+64 ~x1885588+32 ~x1885587+16 ~x1885586+8 ~x1885585+4 ~x1885584+2 ~x1885583+1 ~x1885582+16384 x8804+16384 ~x3976+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=65534
48.78/48.81	c 8192 ~x1889630+4096 ~x1889629+2048 ~x1889628+1024 ~x1889627+512 ~x1889626+256 ~x1889625+128 ~x1889624+64 ~x1889623+32 ~x1889622+16 ~x1889621+8 ~x1889620+4 ~x1889619+2 ~x1889618+1 ~x1889617+12288 x8805+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=32766
48.88/48.91	c 16384 ~x1893347+8192 ~x1893346+4096 ~x1893345+2048 ~x1893344+1024 ~x1893343+512 ~x1893342+256 ~x1893341+128 ~x1893340+64 ~x1893339+32 ~x1893338+16 ~x1893337+8 ~x1893336+4 ~x1893335+2 ~x1893334+1 ~x1893333+28672 x8806+16384 ~x4036+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=65534
48.97/49.01	c 4096 ~x1897637+2048 ~x1897636+1024 ~x1897635+512 ~x1897634+256 ~x1897633+128 ~x1897632+64 ~x1897631+32 ~x1897630+16 ~x1897629+8 ~x1897628+4 ~x1897627+2 ~x1897626+1 ~x1897625+6144 x8807+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=16382
48.97/49.08	c 16384 ~x1900339+8192 ~x1900338+4096 ~x1900337+2048 ~x1900336+1024 ~x1900335+512 ~x1900334+256 ~x1900333+128 ~x1900332+64 ~x1900331+32 ~x1900330+16 ~x1900329+8 ~x1900328+4 ~x1900327+2 ~x1900326+1 ~x1900325+19456 x8808+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
49.07/49.18	c 8192 ~x1904373+4096 ~x1904372+2048 ~x1904371+1024 ~x1904370+512 ~x1904369+256 ~x1904368+128 ~x1904367+64 ~x1904366+32 ~x1904365+16 ~x1904364+8 ~x1904363+4 ~x1904362+2 ~x1904361+1 ~x1904360+9216 x8809+8192 ~x4125+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=32766
49.17/49.27	c 4096 ~x1908088+2048 ~x1908087+1024 ~x1908086+512 ~x1908085+256 ~x1908084+128 ~x1908083+64 ~x1908082+32 ~x1908081+16 ~x1908080+8 ~x1908079+4 ~x1908078+2 ~x1908077+1 ~x1908076+6144 x8810+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=16382
49.27/49.34	c 2048 ~x1910787+1024 ~x1910786+512 ~x1910785+256 ~x1910784+128 ~x1910783+64 ~x1910782+32 ~x1910781+16 ~x1910780+8 ~x1910779+4 ~x1910778+2 ~x1910777+1 ~x1910776+3072 x8811+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=8190
49.38/49.40	c 8192 ~x1913137+4096 ~x1913136+2048 ~x1913135+1024 ~x1913134+512 ~x1913133+256 ~x1913132+128 ~x1913131+64 ~x1913130+32 ~x1913129+16 ~x1913128+8 ~x1913127+4 ~x1913126+2 ~x1913125+1 ~x1913124+9216 x8812+8192 ~x4215+4096 ~x4214+2048 ~x4213+1024 ~x4212+512 ~x4211+256 ~x4210+128 ~x4209+64 ~x4208+32 ~x4207+16 ~x4206+8 ~x4205+4 ~x4204+2 ~x4203+1 ~x4202-0=32766
49.38/49.49	c 8192 ~x1916853+4096 ~x1916852+2048 ~x1916851+1024 ~x1916850+512 ~x1916849+256 ~x1916848+128 ~x1916847+64 ~x1916846+32 ~x1916845+16 ~x1916844+8 ~x1916843+4 ~x1916842+2 ~x1916841+1 ~x1916840+9216 x8813+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
49.48/49.59	c 8192 ~x1920569+4096 ~x1920568+2048 ~x1920567+1024 ~x1920566+512 ~x1920565+256 ~x1920564+128 ~x1920563+64 ~x1920562+32 ~x1920561+16 ~x1920560+8 ~x1920559+4 ~x1920558+2 ~x1920557+1 ~x1920556+9216 x8814+8192 ~x4275+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=32766
49.57/49.68	c 8192 ~x1924285+4096 ~x1924284+2048 ~x1924283+1024 ~x1924282+512 ~x1924281+256 ~x1924280+128 ~x1924279+64 ~x1924278+32 ~x1924277+16 ~x1924276+8 ~x1924275+4 ~x1924274+2 ~x1924273+1 ~x1924272+9216 x8815+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=32766
49.67/49.77	c 8192 ~x1928001+4096 ~x1928000+2048 ~x1927999+1024 ~x1927998+512 ~x1927997+256 ~x1927996+128 ~x1927995+64 ~x1927994+32 ~x1927993+16 ~x1927992+8 ~x1927991+4 ~x1927990+2 ~x1927989+1 ~x1927988+9216 x8816+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
49.77/49.87	c 2048 ~x1931715+1024 ~x1931714+512 ~x1931713+256 ~x1931712+128 ~x1931711+64 ~x1931710+32 ~x1931709+16 ~x1931708+8 ~x1931707+4 ~x1931706+2 ~x1931705+1 ~x1931704+3072 x8817+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=8190
49.88/49.93	c 4096 ~x1934064+2048 ~x1934063+1024 ~x1934062+512 ~x1934061+256 ~x1934060+128 ~x1934059+64 ~x1934058+32 ~x1934057+16 ~x1934056+8 ~x1934055+4 ~x1934054+2 ~x1934053+1 ~x1934052+6144 x8818+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
49.88/49.99	c 8192 ~x1936765+4096 ~x1936764+2048 ~x1936763+1024 ~x1936762+512 ~x1936761+256 ~x1936760+128 ~x1936759+64 ~x1936758+32 ~x1936757+16 ~x1936756+8 ~x1936755+4 ~x1936754+2 ~x1936753+1 ~x1936752+9216 x8819+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=32766
49.98/50.09	c 8192 ~x1940481+4096 ~x1940480+2048 ~x1940479+1024 ~x1940478+512 ~x1940477+256 ~x1940476+128 ~x1940475+64 ~x1940474+32 ~x1940473+16 ~x1940472+8 ~x1940471+4 ~x1940470+2 ~x1940469+1 ~x1940468+8192 x8820+8192 ~x4455+4096 ~x4454+2048 ~x4453+1024 ~x4452+512 ~x4451+256 ~x4450+128 ~x4449+64 ~x4448+32 ~x4447+16 ~x4446+8 ~x4445+4 ~x4444+2 ~x4443+1 ~x4442-0=32766
50.07/50.18	c 4096 ~x1944196+2048 ~x1944195+1024 ~x1944194+512 ~x1944193+256 ~x1944192+128 ~x1944191+64 ~x1944190+32 ~x1944189+16 ~x1944188+8 ~x1944187+4 ~x1944186+2 ~x1944185+1 ~x1944184+4096 x8821+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=16382
50.17/50.25	c 8192 ~x1946897+4096 ~x1946896+2048 ~x1946895+1024 ~x1946894+512 ~x1946893+256 ~x1946892+128 ~x1946891+64 ~x1946890+32 ~x1946889+16 ~x1946888+8 ~x1946887+4 ~x1946886+2 ~x1946885+1 ~x1946884+9216 x8822+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
50.27/50.37	c 8192 ~x1950613+4096 ~x1950612+2048 ~x1950611+1024 ~x1950610+512 ~x1950609+256 ~x1950608+128 ~x1950607+64 ~x1950606+32 ~x1950605+16 ~x1950604+8 ~x1950603+4 ~x1950602+2 ~x1950601+1 ~x1950600+9216 x8823+8192 ~x4545+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=32766
50.38/50.47	c 8192 ~x1954329+4096 ~x1954328+2048 ~x1954327+1024 ~x1954326+512 ~x1954325+256 ~x1954324+128 ~x1954323+64 ~x1954322+32 ~x1954321+16 ~x1954320+8 ~x1954319+4 ~x1954318+2 ~x1954317+1 ~x1954316+9216 x8824+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
50.48/50.56	c 8192 ~x1958045+4096 ~x1958044+2048 ~x1958043+1024 ~x1958042+512 ~x1958041+256 ~x1958040+128 ~x1958039+64 ~x1958038+32 ~x1958037+16 ~x1958036+8 ~x1958035+4 ~x1958034+2 ~x1958033+1 ~x1958032+9216 x8825+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=32766
50.58/50.65	c 8192 ~x1961761+4096 ~x1961760+2048 ~x1961759+1024 ~x1961758+512 ~x1961757+256 ~x1961756+128 ~x1961755+64 ~x1961754+32 ~x1961753+16 ~x1961752+8 ~x1961751+4 ~x1961750+2 ~x1961749+1 ~x1961748+9216 x8826+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
50.68/50.74	c 8192 ~x1965477+4096 ~x1965476+2048 ~x1965475+1024 ~x1965474+512 ~x1965473+256 ~x1965472+128 ~x1965471+64 ~x1965470+32 ~x1965469+16 ~x1965468+8 ~x1965467+4 ~x1965466+2 ~x1965465+1 ~x1965464+8192 x8827+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=32766
50.78/50.84	c 4096 ~x1969192+2048 ~x1969191+1024 ~x1969190+512 ~x1969189+256 ~x1969188+128 ~x1969187+64 ~x1969186+32 ~x1969185+16 ~x1969184+8 ~x1969183+4 ~x1969182+2 ~x1969181+1 ~x1969180+6144 x8828+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
50.87/50.90	c 4096 ~x1971892+2048 ~x1971891+1024 ~x1971890+512 ~x1971889+256 ~x1971888+128 ~x1971887+64 ~x1971886+32 ~x1971885+16 ~x1971884+8 ~x1971883+4 ~x1971882+2 ~x1971881+1 ~x1971880+6144 x8829+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=16382
50.87/50.97	c 2048 ~x1974591+1024 ~x1974590+512 ~x1974589+256 ~x1974588+128 ~x1974587+64 ~x1974586+32 ~x1974585+16 ~x1974584+8 ~x1974583+4 ~x1974582+2 ~x1974581+1 ~x1974580+3072 x8830+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=8190
50.97/51.03	c 8192 ~x1976941+4096 ~x1976940+2048 ~x1976939+1024 ~x1976938+512 ~x1976937+256 ~x1976936+128 ~x1976935+64 ~x1976934+32 ~x1976933+16 ~x1976932+8 ~x1976931+4 ~x1976930+2 ~x1976929+1 ~x1976928+8192 x8831+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
51.07/51.12	c 8192 ~x1980657+4096 ~x1980656+2048 ~x1980655+1024 ~x1980654+512 ~x1980653+256 ~x1980652+128 ~x1980651+64 ~x1980650+32 ~x1980649+16 ~x1980648+8 ~x1980647+4 ~x1980646+2 ~x1980645+1 ~x1980644+8192 x8832+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=32766
51.18/51.22	c 8192 ~x1984373+4096 ~x1984372+2048 ~x1984371+1024 ~x1984370+512 ~x1984369+256 ~x1984368+128 ~x1984367+64 ~x1984366+32 ~x1984365+16 ~x1984364+8 ~x1984363+4 ~x1984362+2 ~x1984361+1 ~x1984360+8192 x8833+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
51.28/51.31	c 8192 ~x1988089+4096 ~x1988088+2048 ~x1988087+1024 ~x1988086+512 ~x1988085+256 ~x1988084+128 ~x1988083+64 ~x1988082+32 ~x1988081+16 ~x1988080+8 ~x1988079+4 ~x1988078+2 ~x1988077+1 ~x1988076+8192 x8834+8192 ~x4875+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=32766
51.38/51.40	c 8192 ~x1991805+4096 ~x1991804+2048 ~x1991803+1024 ~x1991802+512 ~x1991801+256 ~x1991800+128 ~x1991799+64 ~x1991798+32 ~x1991797+16 ~x1991796+8 ~x1991795+4 ~x1991794+2 ~x1991793+1 ~x1991792+8192 x8835+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=32766
51.48/51.50	c 2048 ~x1995519+1024 ~x1995518+512 ~x1995517+256 ~x1995516+128 ~x1995515+64 ~x1995514+32 ~x1995513+16 ~x1995512+8 ~x1995511+4 ~x1995510+2 ~x1995509+1 ~x1995508+3072 x8836+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=8190
51.48/51.56	c 8192 ~x1997869+4096 ~x1997868+2048 ~x1997867+1024 ~x1997866+512 ~x1997865+256 ~x1997864+128 ~x1997863+64 ~x1997862+32 ~x1997861+16 ~x1997860+8 ~x1997859+4 ~x1997858+2 ~x1997857+1 ~x1997856+8192 x8837+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=32766
51.58/51.65	c 8192 ~x2001585+4096 ~x2001584+2048 ~x2001583+1024 ~x2001582+512 ~x2001581+256 ~x2001580+128 ~x2001579+64 ~x2001578+32 ~x2001577+16 ~x2001576+8 ~x2001575+4 ~x2001574+2 ~x2001573+1 ~x2001572+8192 x8838+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=32766
51.68/51.74	c 4096 ~x2005300+2048 ~x2005299+1024 ~x2005298+512 ~x2005297+256 ~x2005296+128 ~x2005295+64 ~x2005294+32 ~x2005293+16 ~x2005292+8 ~x2005291+4 ~x2005290+2 ~x2005289+1 ~x2005288+4096 x8839+4096 ~x5024+2048 ~x5023+1024 ~x5022+512 ~x5021+256 ~x5020+128 ~x5019+64 ~x5018+32 ~x5017+16 ~x5016+8 ~x5015+4 ~x5014+2 ~x5013+1 ~x5012-0=16382
51.77/51.81	c 2048 ~x2007999+1024 ~x2007998+512 ~x2007997+256 ~x2007996+128 ~x2007995+64 ~x2007994+32 ~x2007993+16 ~x2007992+8 ~x2007991+4 ~x2007990+2 ~x2007989+1 ~x2007988+3072 x8840+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=8190
51.77/51.87	c 8192 ~x2010349+4096 ~x2010348+2048 ~x2010347+1024 ~x2010346+512 ~x2010345+256 ~x2010344+128 ~x2010343+64 ~x2010342+32 ~x2010341+16 ~x2010340+8 ~x2010339+4 ~x2010338+2 ~x2010337+1 ~x2010336+8192 x8841+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.87/51.96	c 8192 ~x2014065+4096 ~x2014064+2048 ~x2014063+1024 ~x2014062+512 ~x2014061+256 ~x2014060+128 ~x2014059+64 ~x2014058+32 ~x2014057+16 ~x2014056+8 ~x2014055+4 ~x2014054+2 ~x2014053+1 ~x2014052+8192 x8842+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.97/52.05	c 8192 ~x2017781+4096 ~x2017780+2048 ~x2017779+1024 ~x2017778+512 ~x2017777+256 ~x2017776+128 ~x2017775+64 ~x2017774+32 ~x2017773+16 ~x2017772+8 ~x2017771+4 ~x2017770+2 ~x2017769+1 ~x2017768+8192 x8843+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=32766
52.07/52.15	c 8192 ~x2021497+4096 ~x2021496+2048 ~x2021495+1024 ~x2021494+512 ~x2021493+256 ~x2021492+128 ~x2021491+64 ~x2021490+32 ~x2021489+16 ~x2021488+8 ~x2021487+4 ~x2021486+2 ~x2021485+1 ~x2021484+8192 x8844+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
52.17/52.24	c 8192 ~x2025213+4096 ~x2025212+2048 ~x2025211+1024 ~x2025210+512 ~x2025209+256 ~x2025208+128 ~x2025207+64 ~x2025206+32 ~x2025205+16 ~x2025204+8 ~x2025203+4 ~x2025202+2 ~x2025201+1 ~x2025200+8192 x8845+8192 ~x5205+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=32766
52.28/52.33	c 16384 ~x2028930+8192 ~x2028929+4096 ~x2028928+2048 ~x2028927+1024 ~x2028926+512 ~x2028925+256 ~x2028924+128 ~x2028923+64 ~x2028922+32 ~x2028921+16 ~x2028920+8 ~x2028919+4 ~x2028918+2 ~x2028917+1 ~x2028916+17408 x8846+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
52.38/52.43	c 4096 ~x2032963+2048 ~x2032962+1024 ~x2032961+512 ~x2032960+256 ~x2032959+128 ~x2032958+64 ~x2032957+32 ~x2032956+16 ~x2032955+8 ~x2032954+4 ~x2032953+2 ~x2032952+1 ~x2032951+6144 x8847+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=16382
52.47/52.50	c 2048 ~x2035662+1024 ~x2035661+512 ~x2035660+256 ~x2035659+128 ~x2035658+64 ~x2035657+32 ~x2035656+16 ~x2035655+8 ~x2035654+4 ~x2035653+2 ~x2035652+1 ~x2035651+3072 x8848+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=8190
52.47/52.56	c 16384 ~x2038013+8192 ~x2038012+4096 ~x2038011+2048 ~x2038010+1024 ~x2038009+512 ~x2038008+256 ~x2038007+128 ~x2038006+64 ~x2038005+32 ~x2038004+16 ~x2038003+8 ~x2038002+4 ~x2038001+2 ~x2038000+1 ~x2037999+20480 x8849+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
52.57/52.67	c 16384 ~x2042305+8192 ~x2042304+4096 ~x2042303+2048 ~x2042302+1024 ~x2042301+512 ~x2042300+256 ~x2042299+128 ~x2042298+64 ~x2042297+32 ~x2042296+16 ~x2042295+8 ~x2042294+4 ~x2042293+2 ~x2042292+1 ~x2042291+26624 x8850+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
52.68/52.77	c 4096 ~x2046595+2048 ~x2046594+1024 ~x2046593+512 ~x2046592+256 ~x2046591+128 ~x2046590+64 ~x2046589+32 ~x2046588+16 ~x2046587+8 ~x2046586+4 ~x2046585+2 ~x2046584+1 ~x2046583+6144 x8851+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=16382
52.78/52.84	c 16384 ~x2049297+8192 ~x2049296+4096 ~x2049295+2048 ~x2049294+1024 ~x2049293+512 ~x2049292+256 ~x2049291+128 ~x2049290+64 ~x2049289+32 ~x2049288+16 ~x2049287+8 ~x2049286+4 ~x2049285+2 ~x2049284+1 ~x2049283+23552 x8852+16384 ~x5416+8192 ~x5415+4096 ~x5414+2048 ~x5413+1024 ~x5412+512 ~x5411+256 ~x5410+128 ~x5409+64 ~x5408+32 ~x5407+16 ~x5406+8 ~x5405+4 ~x5404+2 ~x5403+1 ~x5402-0=65534
52.87/52.95	c 16384 ~x2053589+8192 ~x2053588+4096 ~x2053587+2048 ~x2053586+1024 ~x2053585+512 ~x2053584+256 ~x2053583+128 ~x2053582+64 ~x2053581+32 ~x2053580+16 ~x2053579+8 ~x2053578+4 ~x2053577+2 ~x2053576+1 ~x2053575+28672 x8853+16384 ~x5446+8192 ~x5445+4096 ~x5444+2048 ~x5443+1024 ~x5442+512 ~x5441+256 ~x5440+128 ~x5439+64 ~x5438+32 ~x5437+16 ~x5436+8 ~x5435+4 ~x5434+2 ~x5433+1 ~x5432-0=65534
52.98/53.05	c 16384 ~x2057881+8192 ~x2057880+4096 ~x2057879+2048 ~x2057878+1024 ~x2057877+512 ~x2057876+256 ~x2057875+128 ~x2057874+64 ~x2057873+32 ~x2057872+16 ~x2057871+8 ~x2057870+4 ~x2057869+2 ~x2057868+1 ~x2057867+28672 x8854+16384 ~x5476+8192 ~x5475+4096 ~x5474+2048 ~x5473+1024 ~x5472+512 ~x5471+256 ~x5470+128 ~x5469+64 ~x5468+32 ~x5467+16 ~x5466+8 ~x5465+4 ~x5464+2 ~x5463+1 ~x5462-0=65534
53.08/53.16	c 2048 ~x2062170+1024 ~x2062169+512 ~x2062168+256 ~x2062167+128 ~x2062166+64 ~x2062165+32 ~x2062164+16 ~x2062163+8 ~x2062162+4 ~x2062161+2 ~x2062160+1 ~x2062159+3072 x8855+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=8190
53.17/53.22	c 16384 ~x2064521+8192 ~x2064520+4096 ~x2064519+2048 ~x2064518+1024 ~x2064517+512 ~x2064516+256 ~x2064515+128 ~x2064514+64 ~x2064513+32 ~x2064512+16 ~x2064511+8 ~x2064510+4 ~x2064509+2 ~x2064508+1 ~x2064507+28672 x8856+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
53.27/53.32	c 8192 ~x2068812+4096 ~x2068811+2048 ~x2068810+1024 ~x2068809+512 ~x2068808+256 ~x2068807+128 ~x2068806+64 ~x2068805+32 ~x2068804+16 ~x2068803+8 ~x2068802+4 ~x2068801+2 ~x2068800+1 ~x2068799+8192 x8857+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
53.38/53.42	c 4096 ~x2072527+2048 ~x2072526+1024 ~x2072525+512 ~x2072524+256 ~x2072523+128 ~x2072522+64 ~x2072521+32 ~x2072520+16 ~x2072519+8 ~x2072518+4 ~x2072517+2 ~x2072516+1 ~x2072515+4096 x8858+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=16382
53.38/53.48	c 8192 ~x2075228+4096 ~x2075227+2048 ~x2075226+1024 ~x2075225+512 ~x2075224+256 ~x2075223+128 ~x2075222+64 ~x2075221+32 ~x2075220+16 ~x2075219+8 ~x2075218+4 ~x2075217+2 ~x2075216+1 ~x2075215+15360 x8859+8192 ~x5625+4096 ~x5624+2048 ~x5623+1024 ~x5622+512 ~x5621+256 ~x5620+128 ~x5619+64 ~x5618+32 ~x5617+16 ~x5616+8 ~x5615+4 ~x5614+2 ~x5613+1 ~x5612-0=32766
53.47/53.58	c 16384 ~x2078945+8192 ~x2078944+4096 ~x2078943+2048 ~x2078942+1024 ~x2078941+512 ~x2078940+256 ~x2078939+128 ~x2078938+64 ~x2078937+32 ~x2078936+16 ~x2078935+8 ~x2078934+4 ~x2078933+2 ~x2078932+1 ~x2078931+16384 x8860+16384 ~x5656+8192 ~x5655+4096 ~x5654+2048 ~x5653+1024 ~x5652+512 ~x5651+256 ~x5650+128 ~x5649+64 ~x5648+32 ~x5647+16 ~x5646+8 ~x5645+4 ~x5644+2 ~x5643+1 ~x5642-0=65534
53.57/53.68	c 8192 ~x2082979+4096 ~x2082978+2048 ~x2082977+1024 ~x2082976+512 ~x2082975+256 ~x2082974+128 ~x2082973+64 ~x2082972+32 ~x2082971+16 ~x2082970+8 ~x2082969+4 ~x2082968+2 ~x2082967+1 ~x2082966+12288 x8861+8192 ~x5685+4096 ~x5684+2048 ~x5683+1024 ~x5682+512 ~x5681+256 ~x5680+128 ~x5679+64 ~x5678+32 ~x5677+16 ~x5676+8 ~x5675+4 ~x5674+2 ~x5673+1 ~x5672-0=32766
53.67/53.77	c 4096 ~x2086694+2048 ~x2086693+1024 ~x2086692+512 ~x2086691+256 ~x2086690+128 ~x2086689+64 ~x2086688+32 ~x2086687+16 ~x2086686+8 ~x2086685+4 ~x2086684+2 ~x2086683+1 ~x2086682+6144 x8862+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=16382
53.77/53.84	c 16384 ~x2089396+8192 ~x2089395+4096 ~x2089394+2048 ~x2089393+1024 ~x2089392+512 ~x2089391+256 ~x2089390+128 ~x2089389+64 ~x2089388+32 ~x2089387+16 ~x2089386+8 ~x2089385+4 ~x2089384+2 ~x2089383+1 ~x2089382+28672 x8863+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.88/53.94	c 16384 ~x2093688+8192 ~x2093687+4096 ~x2093686+2048 ~x2093685+1024 ~x2093684+512 ~x2093683+256 ~x2093682+128 ~x2093681+64 ~x2093680+32 ~x2093679+16 ~x2093678+8 ~x2093677+4 ~x2093676+2 ~x2093675+1 ~x2093674+19456 x8864+16384 ~x5776+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=65534
53.97/54.05	c 16384 ~x2097723+8192 ~x2097722+4096 ~x2097721+2048 ~x2097720+1024 ~x2097719+512 ~x2097718+256 ~x2097717+128 ~x2097716+64 ~x2097715+32 ~x2097714+16 ~x2097713+8 ~x2097712+4 ~x2097711+2 ~x2097710+1 ~x2097709+17408 x8865+16384 ~x5806+8192 ~x5805+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=65534
54.07/54.15	c 4096 ~x2101756+2048 ~x2101755+1024 ~x2101754+512 ~x2101753+256 ~x2101752+128 ~x2101751+64 ~x2101750+32 ~x2101749+16 ~x2101748+8 ~x2101747+4 ~x2101746+2 ~x2101745+1 ~x2101744+6144 x8866+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=16382
54.17/54.21	c 2048 ~x2104455+1024 ~x2104454+512 ~x2104453+256 ~x2104452+128 ~x2104451+64 ~x2104450+32 ~x2104449+16 ~x2104448+8 ~x2104447+4 ~x2104446+2 ~x2104445+1 ~x2104444+3072 x8867+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=8190
54.17/54.27	c 16384 ~x2106806+8192 ~x2106805+4096 ~x2106804+2048 ~x2106803+1024 ~x2106802+512 ~x2106801+256 ~x2106800+128 ~x2106799+64 ~x2106798+32 ~x2106797+16 ~x2106796+8 ~x2106795+4 ~x2106794+2 ~x2106793+1 ~x2106792+20480 x8868+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
54.27/54.38	c 16384 ~x2111098+8192 ~x2111097+4096 ~x2111096+2048 ~x2111095+1024 ~x2111094+512 ~x2111093+256 ~x2111092+128 ~x2111091+64 ~x2111090+32 ~x2111089+16 ~x2111088+8 ~x2111087+4 ~x2111086+2 ~x2111085+1 ~x2111084+26624 x8869+16384 ~x5926+8192 ~x5925+4096 ~x5924+2048 ~x5923+1024 ~x5922+512 ~x5921+256 ~x5920+128 ~x5919+64 ~x5918+32 ~x5917+16 ~x5916+8 ~x5915+4 ~x5914+2 ~x5913+1 ~x5912-0=65534
54.37/54.49	c 16384 ~x2115390+8192 ~x2115389+4096 ~x2115388+2048 ~x2115387+1024 ~x2115386+512 ~x2115385+256 ~x2115384+128 ~x2115383+64 ~x2115382+32 ~x2115381+16 ~x2115380+8 ~x2115379+4 ~x2115378+2 ~x2115377+1 ~x2115376+23552 x8870+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
54.47/54.59	c 32768 ~x2119683+16384 ~x2119682+8192 ~x2119681+4096 ~x2119680+2048 ~x2119679+1024 ~x2119678+512 ~x2119677+256 ~x2119676+128 ~x2119675+64 ~x2119674+32 ~x2119673+16 ~x2119672+8 ~x2119671+4 ~x2119670+2 ~x2119669+1 ~x2119668+35840 x8871+32768 ~x5987+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=131070
54.67/54.70	c 16384 ~x2124311+8192 ~x2124310+4096 ~x2124309+2048 ~x2124308+1024 ~x2124307+512 ~x2124306+256 ~x2124305+128 ~x2124304+64 ~x2124303+32 ~x2124302+16 ~x2124301+8 ~x2124300+4 ~x2124299+2 ~x2124298+1 ~x2124297+30720 x8872+16384 ~x6016+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=65534
54.78/54.81	c 4096 ~x2128601+2048 ~x2128600+1024 ~x2128599+512 ~x2128598+256 ~x2128597+128 ~x2128596+64 ~x2128595+32 ~x2128594+16 ~x2128593+8 ~x2128592+4 ~x2128591+2 ~x2128590+1 ~x2128589+4096 x8873+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=16382
54.78/54.88	c 2048 ~x2131300+1024 ~x2131299+512 ~x2131298+256 ~x2131297+128 ~x2131296+64 ~x2131295+32 ~x2131294+16 ~x2131293+8 ~x2131292+4 ~x2131291+2 ~x2131290+1 ~x2131289+3072 x8874+2048 ~x6073+1024 ~x6072+512 ~x6071+256 ~x6070+128 ~x6069+64 ~x6068+32 ~x6067+16 ~x6066+8 ~x6065+4 ~x6064+2 ~x6063+1 ~x6062-0=8190
54.88/54.94	c 16384 ~x2133651+8192 ~x2133650+4096 ~x2133649+2048 ~x2133648+1024 ~x2133647+512 ~x2133646+256 ~x2133645+128 ~x2133644+64 ~x2133643+32 ~x2133642+16 ~x2133641+8 ~x2133640+4 ~x2133639+2 ~x2133638+1 ~x2133637+29696 x8875+16384 ~x6106+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=65534
54.98/55.04	c 8192 ~x2137942+4096 ~x2137941+2048 ~x2137940+1024 ~x2137939+512 ~x2137938+256 ~x2137937+128 ~x2137936+64 ~x2137935+32 ~x2137934+16 ~x2137933+8 ~x2137932+4 ~x2137931+2 ~x2137930+1 ~x2137929+8192 x8876+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
55.07/55.14	c 4096 ~x2141657+2048 ~x2141656+1024 ~x2141655+512 ~x2141654+256 ~x2141653+128 ~x2141652+64 ~x2141651+32 ~x2141650+16 ~x2141649+8 ~x2141648+4 ~x2141647+2 ~x2141646+1 ~x2141645+4096 x8877+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=16382
55.17/55.20	c 8192 ~x2144358+4096 ~x2144357+2048 ~x2144356+1024 ~x2144355+512 ~x2144354+256 ~x2144353+128 ~x2144352+64 ~x2144351+32 ~x2144350+16 ~x2144349+8 ~x2144348+4 ~x2144347+2 ~x2144346+1 ~x2144345+15360 x8878+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
55.17/55.30	c 16384 ~x2148075+8192 ~x2148074+4096 ~x2148073+2048 ~x2148072+1024 ~x2148071+512 ~x2148070+256 ~x2148069+128 ~x2148068+64 ~x2148067+32 ~x2148066+16 ~x2148065+8 ~x2148064+4 ~x2148063+2 ~x2148062+1 ~x2148061+16384 x8879+16384 ~x6226+8192 ~x6225+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=65534
55.37/55.40	c 8192 ~x2152109+4096 ~x2152108+2048 ~x2152107+1024 ~x2152106+512 ~x2152105+256 ~x2152104+128 ~x2152103+64 ~x2152102+32 ~x2152101+16 ~x2152100+8 ~x2152099+4 ~x2152098+2 ~x2152097+1 ~x2152096+12288 x8880+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=32766
55.37/55.49	c 32768 ~x2155827+16384 ~x2155826+8192 ~x2155825+4096 ~x2155824+2048 ~x2155823+1024 ~x2155822+512 ~x2155821+256 ~x2155820+128 ~x2155819+64 ~x2155818+32 ~x2155817+16 ~x2155816+8 ~x2155815+4 ~x2155814+2 ~x2155813+1 ~x2155812+33792 x8881+32768 ~x6287+16384 ~x6286+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=131070
55.57/55.60	c 16384 ~x2160455+8192 ~x2160454+4096 ~x2160453+2048 ~x2160452+1024 ~x2160451+512 ~x2160450+256 ~x2160449+128 ~x2160448+64 ~x2160447+32 ~x2160446+16 ~x2160445+8 ~x2160444+4 ~x2160443+2 ~x2160442+1 ~x2160441+19456 x8882+16384 ~x6316+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=65534
55.67/55.70	c 4096 ~x2164488+2048 ~x2164487+1024 ~x2164486+512 ~x2164485+256 ~x2164484+128 ~x2164483+64 ~x2164482+32 ~x2164481+16 ~x2164480+8 ~x2164479+4 ~x2164478+2 ~x2164477+1 ~x2164476+6144 x8883+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=16382
55.67/55.77	c 8192 ~x2167189+4096 ~x2167188+2048 ~x2167187+1024 ~x2167186+512 ~x2167185+256 ~x2167184+128 ~x2167183+64 ~x2167182+32 ~x2167181+16 ~x2167180+8 ~x2167179+4 ~x2167178+2 ~x2167177+1 ~x2167176+12288 x8884+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.77/55.86	c 4096 ~x2170904+2048 ~x2170903+1024 ~x2170902+512 ~x2170901+256 ~x2170900+128 ~x2170899+64 ~x2170898+32 ~x2170897+16 ~x2170896+8 ~x2170895+4 ~x2170894+2 ~x2170893+1 ~x2170892+6144 x8885+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.88/55.93	c 4096 ~x2173604+2048 ~x2173603+1024 ~x2173602+512 ~x2173601+256 ~x2173600+128 ~x2173599+64 ~x2173598+32 ~x2173597+16 ~x2173596+8 ~x2173595+4 ~x2173594+2 ~x2173593+1 ~x2173592+6144 x8886+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=16382
55.98/56.00	c 4096 ~x2176304+2048 ~x2176303+1024 ~x2176302+512 ~x2176301+256 ~x2176300+128 ~x2176299+64 ~x2176298+32 ~x2176297+16 ~x2176296+8 ~x2176295+4 ~x2176294+2 ~x2176293+1 ~x2176292+6144 x8887+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=16382
55.98/56.07	c 4096 ~x2179004+2048 ~x2179003+1024 ~x2179002+512 ~x2179001+256 ~x2179000+128 ~x2178999+64 ~x2178998+32 ~x2178997+16 ~x2178996+8 ~x2178995+4 ~x2178994+2 ~x2178993+1 ~x2178992+6144 x8888+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=16382
56.08/56.14	c 16384 ~x2181706+8192 ~x2181705+4096 ~x2181704+2048 ~x2181703+1024 ~x2181702+512 ~x2181701+256 ~x2181700+128 ~x2181699+64 ~x2181698+32 ~x2181697+16 ~x2181696+8 ~x2181695+4 ~x2181694+2 ~x2181693+1 ~x2181692+17408 x8889+16384 ~x6526+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=65534
56.17/56.24	c 4096 ~x2185739+2048 ~x2185738+1024 ~x2185737+512 ~x2185736+256 ~x2185735+128 ~x2185734+64 ~x2185733+32 ~x2185732+16 ~x2185731+8 ~x2185730+4 ~x2185729+2 ~x2185728+1 ~x2185727+6144 x8890+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=16382
56.27/56.30	c 2048 ~x2188438+1024 ~x2188437+512 ~x2188436+256 ~x2188435+128 ~x2188434+64 ~x2188433+32 ~x2188432+16 ~x2188431+8 ~x2188430+4 ~x2188429+2 ~x2188428+1 ~x2188427+3072 x8891+2048 ~x6583+1024 ~x6582+512 ~x6581+256 ~x6580+128 ~x6579+64 ~x6578+32 ~x6577+16 ~x6576+8 ~x6575+4 ~x6574+2 ~x6573+1 ~x6572-0=8190
56.27/56.36	c 16384 ~x2190789+8192 ~x2190788+4096 ~x2190787+2048 ~x2190786+1024 ~x2190785+512 ~x2190784+256 ~x2190783+128 ~x2190782+64 ~x2190781+32 ~x2190780+16 ~x2190779+8 ~x2190778+4 ~x2190777+2 ~x2190776+1 ~x2190775+20480 x8892+16384 ~x6616+8192 ~x6615+4096 ~x6614+2048 ~x6613+1024 ~x6612+512 ~x6611+256 ~x6610+128 ~x6609+64 ~x6608+32 ~x6607+16 ~x6606+8 ~x6605+4 ~x6604+2 ~x6603+1 ~x6602-0=65534
56.38/56.47	c 16384 ~x2195081+8192 ~x2195080+4096 ~x2195079+2048 ~x2195078+1024 ~x2195077+512 ~x2195076+256 ~x2195075+128 ~x2195074+64 ~x2195073+32 ~x2195072+16 ~x2195071+8 ~x2195070+4 ~x2195069+2 ~x2195068+1 ~x2195067+23552 x8893+16384 ~x6646+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=65534
56.47/56.58	c 16384 ~x2199373+8192 ~x2199372+4096 ~x2199371+2048 ~x2199370+1024 ~x2199369+512 ~x2199368+256 ~x2199367+128 ~x2199366+64 ~x2199365+32 ~x2199364+16 ~x2199363+8 ~x2199362+4 ~x2199361+2 ~x2199360+1 ~x2199359+23552 x8894+16384 ~x6676+8192 ~x6675+4096 ~x6674+2048 ~x6673+1024 ~x6672+512 ~x6671+256 ~x6670+128 ~x6669+64 ~x6668+32 ~x6667+16 ~x6666+8 ~x6665+4 ~x6664+2 ~x6663+1 ~x6662-0=65534
56.57/56.68	c 8192 ~x2203664+4096 ~x2203663+2048 ~x2203662+1024 ~x2203661+512 ~x2203660+256 ~x2203659+128 ~x2203658+64 ~x2203657+32 ~x2203656+16 ~x2203655+8 ~x2203654+4 ~x2203653+2 ~x2203652+1 ~x2203651+12288 x8895+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.67/56.77	c 16384 ~x2207381+8192 ~x2207380+4096 ~x2207379+2048 ~x2207378+1024 ~x2207377+512 ~x2207376+256 ~x2207375+128 ~x2207374+64 ~x2207373+32 ~x2207372+16 ~x2207371+8 ~x2207370+4 ~x2207369+2 ~x2207368+1 ~x2207367+23552 x8896+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.77/56.88	c 16384 ~x2211673+8192 ~x2211672+4096 ~x2211671+2048 ~x2211670+1024 ~x2211669+512 ~x2211668+256 ~x2211667+128 ~x2211666+64 ~x2211665+32 ~x2211664+16 ~x2211663+8 ~x2211662+4 ~x2211661+2 ~x2211660+1 ~x2211659+23552 x8897+16384 ~x6766+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=65534
56.87/56.98	c 2048 ~x2215962+1024 ~x2215961+512 ~x2215960+256 ~x2215959+128 ~x2215958+64 ~x2215957+32 ~x2215956+16 ~x2215955+8 ~x2215954+4 ~x2215953+2 ~x2215952+1 ~x2215951+3072 x8898+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=8190
56.97/57.05	c 16384 ~x2218313+8192 ~x2218312+4096 ~x2218311+2048 ~x2218310+1024 ~x2218309+512 ~x2218308+256 ~x2218307+128 ~x2218306+64 ~x2218305+32 ~x2218304+16 ~x2218303+8 ~x2218302+4 ~x2218301+2 ~x2218300+1 ~x2218299+23552 x8899+16384 ~x6826+8192 ~x6825+4096 ~x6824+2048 ~x6823+1024 ~x6822+512 ~x6821+256 ~x6820+128 ~x6819+64 ~x6818+32 ~x6817+16 ~x6816+8 ~x6815+4 ~x6814+2 ~x6813+1 ~x6812-0=65534
57.08/57.15	c 8192 ~x2222604+4096 ~x2222603+2048 ~x2222602+1024 ~x2222601+512 ~x2222600+256 ~x2222599+128 ~x2222598+64 ~x2222597+32 ~x2222596+16 ~x2222595+8 ~x2222594+4 ~x2222593+2 ~x2222592+1 ~x2222591+8192 x8900+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=32766
57.18/57.24	c 4096 ~x2226319+2048 ~x2226318+1024 ~x2226317+512 ~x2226316+256 ~x2226315+128 ~x2226314+64 ~x2226313+32 ~x2226312+16 ~x2226311+8 ~x2226310+4 ~x2226309+2 ~x2226308+1 ~x2226307+4096 x8901+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=16382
57.27/57.31	c 8192 ~x2229020+4096 ~x2229019+2048 ~x2229018+1024 ~x2229017+512 ~x2229016+256 ~x2229015+128 ~x2229014+64 ~x2229013+32 ~x2229012+16 ~x2229011+8 ~x2229010+4 ~x2229009+2 ~x2229008+1 ~x2229007+15360 x8902+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=32766
57.37/57.40	c 16384 ~x2232737+8192 ~x2232736+4096 ~x2232735+2048 ~x2232734+1024 ~x2232733+512 ~x2232732+256 ~x2232731+128 ~x2232730+64 ~x2232729+32 ~x2232728+16 ~x2232727+8 ~x2232726+4 ~x2232725+2 ~x2232724+1 ~x2232723+16384 x8903+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
57.47/57.51	c 8192 ~x2236771+4096 ~x2236770+2048 ~x2236769+1024 ~x2236768+512 ~x2236767+256 ~x2236766+128 ~x2236765+64 ~x2236764+32 ~x2236763+16 ~x2236762+8 ~x2236761+4 ~x2236760+2 ~x2236759+1 ~x2236758+12288 x8904+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
57.57/57.60	c 16384 ~x2240488+8192 ~x2240487+4096 ~x2240486+2048 ~x2240485+1024 ~x2240484+512 ~x2240483+256 ~x2240482+128 ~x2240481+64 ~x2240480+32 ~x2240479+16 ~x2240478+8 ~x2240477+4 ~x2240476+2 ~x2240475+1 ~x2240474+23552 x8905+16384 ~x7006+8192 ~x7005+4096 ~x7004+2048 ~x7003+1024 ~x7002+512 ~x7001+256 ~x7000+128 ~x6999+64 ~x6998+32 ~x6997+16 ~x6996+8 ~x6995+4 ~x6994+2 ~x6993+1 ~x6992-0=65534
57.67/57.70	c 8192 ~x2244779+4096 ~x2244778+2048 ~x2244777+1024 ~x2244776+512 ~x2244775+256 ~x2244774+128 ~x2244773+64 ~x2244772+32 ~x2244771+16 ~x2244770+8 ~x2244769+4 ~x2244768+2 ~x2244767+1 ~x2244766+12288 x8906+8192 ~x7035+4096 ~x7034+2048 ~x7033+1024 ~x7032+512 ~x7031+256 ~x7030+128 ~x7029+64 ~x7028+32 ~x7027+16 ~x7026+8 ~x7025+4 ~x7024+2 ~x7023+1 ~x7022-0=32766
57.78/57.80	c 16384 ~x2248496+8192 ~x2248495+4096 ~x2248494+2048 ~x2248493+1024 ~x2248492+512 ~x2248491+256 ~x2248490+128 ~x2248489+64 ~x2248488+32 ~x2248487+16 ~x2248486+8 ~x2248485+4 ~x2248484+2 ~x2248483+1 ~x2248482+19456 x8907+16384 ~x7066+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=65534
57.87/57.90	c 16384 ~x2252531+8192 ~x2252530+4096 ~x2252529+2048 ~x2252528+1024 ~x2252527+512 ~x2252526+256 ~x2252525+128 ~x2252524+64 ~x2252523+32 ~x2252522+16 ~x2252521+8 ~x2252520+4 ~x2252519+2 ~x2252518+1 ~x2252517+17408 x8908+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.97/58.00	c 4096 ~x2256564+2048 ~x2256563+1024 ~x2256562+512 ~x2256561+256 ~x2256560+128 ~x2256559+64 ~x2256558+32 ~x2256557+16 ~x2256556+8 ~x2256555+4 ~x2256554+2 ~x2256553+1 ~x2256552+6144 x8909+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=16382
57.97/58.07	c 2048 ~x2259263+1024 ~x2259262+512 ~x2259261+256 ~x2259260+128 ~x2259259+64 ~x2259258+32 ~x2259257+16 ~x2259256+8 ~x2259255+4 ~x2259254+2 ~x2259253+1 ~x2259252+3072 x8910+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=8190
58.07/58.13	c 16384 ~x2261614+8192 ~x2261613+4096 ~x2261612+2048 ~x2261611+1024 ~x2261610+512 ~x2261609+256 ~x2261608+128 ~x2261607+64 ~x2261606+32 ~x2261605+16 ~x2261604+8 ~x2261603+4 ~x2261602+2 ~x2261601+1 ~x2261600+20480 x8911+16384 ~x7186+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=65534
58.18/58.23	c 16384 ~x2265906+8192 ~x2265905+4096 ~x2265904+2048 ~x2265903+1024 ~x2265902+512 ~x2265901+256 ~x2265900+128 ~x2265899+64 ~x2265898+32 ~x2265897+16 ~x2265896+8 ~x2265895+4 ~x2265894+2 ~x2265893+1 ~x2265892+25600 x8912+16384 ~x7216+8192 ~x7215+4096 ~x7214+2048 ~x7213+1024 ~x7212+512 ~x7211+256 ~x7210+128 ~x7209+64 ~x7208+32 ~x7207+16 ~x7206+8 ~x7205+4 ~x7204+2 ~x7203+1 ~x7202-0=65534
58.27/58.34	c 16384 ~x2270198+8192 ~x2270197+4096 ~x2270196+2048 ~x2270195+1024 ~x2270194+512 ~x2270193+256 ~x2270192+128 ~x2270191+64 ~x2270190+32 ~x2270189+16 ~x2270188+8 ~x2270187+4 ~x2270186+2 ~x2270185+1 ~x2270184+23552 x8913+16384 ~x7246+8192 ~x7245+4096 ~x7244+2048 ~x7243+1024 ~x7242+512 ~x7241+256 ~x7240+128 ~x7239+64 ~x7238+32 ~x7237+16 ~x7236+8 ~x7235+4 ~x7234+2 ~x7233+1 ~x7232-0=65534
58.38/58.44	c 16384 ~x2274490+8192 ~x2274489+4096 ~x2274488+2048 ~x2274487+1024 ~x2274486+512 ~x2274485+256 ~x2274484+128 ~x2274483+64 ~x2274482+32 ~x2274481+16 ~x2274480+8 ~x2274479+4 ~x2274478+2 ~x2274477+1 ~x2274476+25600 x8914+16384 ~x7276+8192 ~x7275+4096 ~x7274+2048 ~x7273+1024 ~x7272+512 ~x7271+256 ~x7270+128 ~x7269+64 ~x7268+32 ~x7267+16 ~x7266+8 ~x7265+4 ~x7264+2 ~x7263+1 ~x7262-0=65534
58.48/58.55	c 16384 ~x2278782+8192 ~x2278781+4096 ~x2278780+2048 ~x2278779+1024 ~x2278778+512 ~x2278777+256 ~x2278776+128 ~x2278775+64 ~x2278774+32 ~x2278773+16 ~x2278772+8 ~x2278771+4 ~x2278770+2 ~x2278769+1 ~x2278768+25600 x8915+16384 ~x7306+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=65534
58.57/58.66	c 2048 ~x2283071+1024 ~x2283070+512 ~x2283069+256 ~x2283068+128 ~x2283067+64 ~x2283066+32 ~x2283065+16 ~x2283064+8 ~x2283063+4 ~x2283062+2 ~x2283061+1 ~x2283060+3072 x8916+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=8190
58.67/58.72	c 8192 ~x2285421+4096 ~x2285420+2048 ~x2285419+1024 ~x2285418+512 ~x2285417+256 ~x2285416+128 ~x2285415+64 ~x2285414+32 ~x2285413+16 ~x2285412+8 ~x2285411+4 ~x2285410+2 ~x2285409+1 ~x2285408+12288 x8917+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.77/58.81	c 16384 ~x2289138+8192 ~x2289137+4096 ~x2289136+2048 ~x2289135+1024 ~x2289134+512 ~x2289133+256 ~x2289132+128 ~x2289131+64 ~x2289130+32 ~x2289129+16 ~x2289128+8 ~x2289127+4 ~x2289126+2 ~x2289125+1 ~x2289124+25600 x8918+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.87/58.91	c 8192 ~x2293429+4096 ~x2293428+2048 ~x2293427+1024 ~x2293426+512 ~x2293425+256 ~x2293424+128 ~x2293423+64 ~x2293422+32 ~x2293421+16 ~x2293420+8 ~x2293419+4 ~x2293418+2 ~x2293417+1 ~x2293416+8192 x8919+8192 ~x7425+4096 ~x7424+2048 ~x7423+1024 ~x7422+512 ~x7421+256 ~x7420+128 ~x7419+64 ~x7418+32 ~x7417+16 ~x7416+8 ~x7415+4 ~x7414+2 ~x7413+1 ~x7412-0=32766
58.97/59.01	c 4096 ~x2297144+2048 ~x2297143+1024 ~x2297142+512 ~x2297141+256 ~x2297140+128 ~x2297139+64 ~x2297138+32 ~x2297137+16 ~x2297136+8 ~x2297135+4 ~x2297134+2 ~x2297133+1 ~x2297132+4096 x8920+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=16382
58.97/59.07	c 8192 ~x2299845+4096 ~x2299844+2048 ~x2299843+1024 ~x2299842+512 ~x2299841+256 ~x2299840+128 ~x2299839+64 ~x2299838+32 ~x2299837+16 ~x2299836+8 ~x2299835+4 ~x2299834+2 ~x2299833+1 ~x2299832+15360 x8921+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
59.07/59.17	c 16384 ~x2303562+8192 ~x2303561+4096 ~x2303560+2048 ~x2303559+1024 ~x2303558+512 ~x2303557+256 ~x2303556+128 ~x2303555+64 ~x2303554+32 ~x2303553+16 ~x2303552+8 ~x2303551+4 ~x2303550+2 ~x2303549+1 ~x2303548+16384 x8922+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
59.17/59.27	c 8192 ~x2307596+4096 ~x2307595+2048 ~x2307594+1024 ~x2307593+512 ~x2307592+256 ~x2307591+128 ~x2307590+64 ~x2307589+32 ~x2307588+16 ~x2307587+8 ~x2307586+4 ~x2307585+2 ~x2307584+1 ~x2307583+12288 x8923+8192 ~x7545+4096 ~x7544+2048 ~x7543+1024 ~x7542+512 ~x7541+256 ~x7540+128 ~x7539+64 ~x7538+32 ~x7537+16 ~x7536+8 ~x7535+4 ~x7534+2 ~x7533+1 ~x7532-0=32766
59.28/59.36	c 16384 ~x2311313+8192 ~x2311312+4096 ~x2311311+2048 ~x2311310+1024 ~x2311309+512 ~x2311308+256 ~x2311307+128 ~x2311306+64 ~x2311305+32 ~x2311304+16 ~x2311303+8 ~x2311302+4 ~x2311301+2 ~x2311300+1 ~x2311299+25600 x8924+16384 ~x7576+8192 ~x7575+4096 ~x7574+2048 ~x7573+1024 ~x7572+512 ~x7571+256 ~x7570+128 ~x7569+64 ~x7568+32 ~x7567+16 ~x7566+8 ~x7565+4 ~x7564+2 ~x7563+1 ~x7562-0=65534
59.37/59.47	c 16384 ~x2315605+8192 ~x2315604+4096 ~x2315603+2048 ~x2315602+1024 ~x2315601+512 ~x2315600+256 ~x2315599+128 ~x2315598+64 ~x2315597+32 ~x2315596+16 ~x2315595+8 ~x2315594+4 ~x2315593+2 ~x2315592+1 ~x2315591+19456 x8925+16384 ~x7606+8192 ~x7605+4096 ~x7604+2048 ~x7603+1024 ~x7602+512 ~x7601+256 ~x7600+128 ~x7599+64 ~x7598+32 ~x7597+16 ~x7596+8 ~x7595+4 ~x7594+2 ~x7593+1 ~x7592-0=65534
59.47/59.57	c 8192 ~x2319639+4096 ~x2319638+2048 ~x2319637+1024 ~x2319636+512 ~x2319635+256 ~x2319634+128 ~x2319633+64 ~x2319632+32 ~x2319631+16 ~x2319630+8 ~x2319629+4 ~x2319628+2 ~x2319627+1 ~x2319626+15360 x8926+8192 ~x7635+4096 ~x7634+2048 ~x7633+1024 ~x7632+512 ~x7631+256 ~x7630+128 ~x7629+64 ~x7628+32 ~x7627+16 ~x7626+8 ~x7625+4 ~x7624+2 ~x7623+1 ~x7622-0=32766
59.57/59.66	c 4096 ~x2323354+2048 ~x2323353+1024 ~x2323352+512 ~x2323351+256 ~x2323350+128 ~x2323349+64 ~x2323348+32 ~x2323347+16 ~x2323346+8 ~x2323345+4 ~x2323344+2 ~x2323343+1 ~x2323342+6144 x8927+4096 ~x7664+2048 ~x7663+1024 ~x7662+512 ~x7661+256 ~x7660+128 ~x7659+64 ~x7658+32 ~x7657+16 ~x7656+8 ~x7655+4 ~x7654+2 ~x7653+1 ~x7652-0=16382
59.67/59.73	c 8192 ~x2326055+4096 ~x2326054+2048 ~x2326053+1024 ~x2326052+512 ~x2326051+256 ~x2326050+128 ~x2326049+64 ~x2326048+32 ~x2326047+16 ~x2326046+8 ~x2326045+4 ~x2326044+2 ~x2326043+1 ~x2326042+12288 x8928+8192 ~x7695+4096 ~x7694+2048 ~x7693+1024 ~x7692+512 ~x7691+256 ~x7690+128 ~x7689+64 ~x7688+32 ~x7687+16 ~x7686+8 ~x7685+4 ~x7684+2 ~x7683+1 ~x7682-0=32766
59.77/59.82	c 2048 ~x2329769+1024 ~x2329768+512 ~x2329767+256 ~x2329766+128 ~x2329765+64 ~x2329764+32 ~x2329763+16 ~x2329762+8 ~x2329761+4 ~x2329760+2 ~x2329759+1 ~x2329758+3072 x8929+2048 ~x7723+1024 ~x7722+512 ~x7721+256 ~x7720+128 ~x7719+64 ~x7718+32 ~x7717+16 ~x7716+8 ~x7715+4 ~x7714+2 ~x7713+1 ~x7712-0=8190
59.77/59.88	c 8192 ~x2332119+4096 ~x2332118+2048 ~x2332117+1024 ~x2332116+512 ~x2332115+256 ~x2332114+128 ~x2332113+64 ~x2332112+32 ~x2332111+16 ~x2332110+8 ~x2332109+4 ~x2332108+2 ~x2332107+1 ~x2332106+15360 x8930+8192 ~x7755+4096 ~x7754+2048 ~x7753+1024 ~x7752+512 ~x7751+256 ~x7750+128 ~x7749+64 ~x7748+32 ~x7747+16 ~x7746+8 ~x7745+4 ~x7744+2 ~x7743+1 ~x7742-0=32766
59.87/59.98	c 8192 ~x2335835+4096 ~x2335834+2048 ~x2335833+1024 ~x2335832+512 ~x2335831+256 ~x2335830+128 ~x2335829+64 ~x2335828+32 ~x2335827+16 ~x2335826+8 ~x2335825+4 ~x2335824+2 ~x2335823+1 ~x2335822+15360 x8931+8192 ~x7785+4096 ~x7784+2048 ~x7783+1024 ~x7782+512 ~x7781+256 ~x7780+128 ~x7779+64 ~x7778+32 ~x7777+16 ~x7776+8 ~x7775+4 ~x7774+2 ~x7773+1 ~x7772-0=32766
59.98/60.07	c 8192 ~x2339551+4096 ~x2339550+2048 ~x2339549+1024 ~x2339548+512 ~x2339547+256 ~x2339546+128 ~x2339545+64 ~x2339544+32 ~x2339543+16 ~x2339542+8 ~x2339541+4 ~x2339540+2 ~x2339539+1 ~x2339538+15360 x8932+8192 ~x7815+4096 ~x7814+2048 ~x7813+1024 ~x7812+512 ~x7811+256 ~x7810+128 ~x7809+64 ~x7808+32 ~x7807+16 ~x7806+8 ~x7805+4 ~x7804+2 ~x7803+1 ~x7802-0=32766
60.07/60.16	c 8192 ~x2343267+4096 ~x2343266+2048 ~x2343265+1024 ~x2343264+512 ~x2343263+256 ~x2343262+128 ~x2343261+64 ~x2343260+32 ~x2343259+16 ~x2343258+8 ~x2343257+4 ~x2343256+2 ~x2343255+1 ~x2343254+15360 x8933+8192 ~x7845+4096 ~x7844+2048 ~x7843+1024 ~x7842+512 ~x7841+256 ~x7840+128 ~x7839+64 ~x7838+32 ~x7837+16 ~x7836+8 ~x7835+4 ~x7834+2 ~x7833+1 ~x7832-0=32766
60.17/60.25	c 8192 ~x2346983+4096 ~x2346982+2048 ~x2346981+1024 ~x2346980+512 ~x2346979+256 ~x2346978+128 ~x2346977+64 ~x2346976+32 ~x2346975+16 ~x2346974+8 ~x2346973+4 ~x2346972+2 ~x2346971+1 ~x2346970+15360 x8934+8192 ~x7875+4096 ~x7874+2048 ~x7873+1024 ~x7872+512 ~x7871+256 ~x7870+128 ~x7869+64 ~x7868+32 ~x7867+16 ~x7866+8 ~x7865+4 ~x7864+2 ~x7863+1 ~x7862-0=32766
60.27/60.35	c 2048 ~x2350697+1024 ~x2350696+512 ~x2350695+256 ~x2350694+128 ~x2350693+64 ~x2350692+32 ~x2350691+16 ~x2350690+8 ~x2350689+4 ~x2350688+2 ~x2350687+1 ~x2350686+3072 x8935+2048 ~x7903+1024 ~x7902+512 ~x7901+256 ~x7900+128 ~x7899+64 ~x7898+32 ~x7897+16 ~x7896+8 ~x7895+4 ~x7894+2 ~x7893+1 ~x7892-0=8190
60.38/60.41	c 8192 ~x2353047+4096 ~x2353046+2048 ~x2353045+1024 ~x2353044+512 ~x2353043+256 ~x2353042+128 ~x2353041+64 ~x2353040+32 ~x2353039+16 ~x2353038+8 ~x2353037+4 ~x2353036+2 ~x2353035+1 ~x2353034+15360 x8936+8192 ~x7935+4096 ~x7934+2048 ~x7933+1024 ~x7932+512 ~x7931+256 ~x7930+128 ~x7929+64 ~x7928+32 ~x7927+16 ~x7926+8 ~x7925+4 ~x7924+2 ~x7923+1 ~x7922-0=32766
60.38/60.50	c 8192 ~x2356763+4096 ~x2356762+2048 ~x2356761+1024 ~x2356760+512 ~x2356759+256 ~x2356758+128 ~x2356757+64 ~x2356756+32 ~x2356755+16 ~x2356754+8 ~x2356753+4 ~x2356752+2 ~x2356751+1 ~x2356750+8192 x8937+8192 ~x7965+4096 ~x7964+2048 ~x7963+1024 ~x7962+512 ~x7961+256 ~x7960+128 ~x7959+64 ~x7958+32 ~x7957+16 ~x7956+8 ~x7955+4 ~x7954+2 ~x7953+1 ~x7952-0=32766
60.48/60.59	c 4096 ~x2360478+2048 ~x2360477+1024 ~x2360476+512 ~x2360475+256 ~x2360474+128 ~x2360473+64 ~x2360472+32 ~x2360471+16 ~x2360470+8 ~x2360469+4 ~x2360468+2 ~x2360467+1 ~x2360466+4096 x8938+4096 ~x7994+2048 ~x7993+1024 ~x7992+512 ~x7991+256 ~x7990+128 ~x7989+64 ~x7988+32 ~x7987+16 ~x7986+8 ~x7985+4 ~x7984+2 ~x7983+1 ~x7982-0=16382
60.57/60.67	c 2048 ~x2363177+1024 ~x2363176+512 ~x2363175+256 ~x2363174+128 ~x2363173+64 ~x2363172+32 ~x2363171+16 ~x2363170+8 ~x2363169+4 ~x2363168+2 ~x2363167+1 ~x2363166+3072 x8939+2048 ~x8023+1024 ~x8022+512 ~x8021+256 ~x8020+128 ~x8019+64 ~x8018+32 ~x8017+16 ~x8016+8 ~x8015+4 ~x8014+2 ~x8013+1 ~x8012-0=8190
60.67/60.73	c 8192 ~x2365527+4096 ~x2365526+2048 ~x2365525+1024 ~x2365524+512 ~x2365523+256 ~x2365522+128 ~x2365521+64 ~x2365520+32 ~x2365519+16 ~x2365518+8 ~x2365517+4 ~x2365516+2 ~x2365515+1 ~x2365514+15360 x8940+8192 ~x8055+4096 ~x8054+2048 ~x8053+1024 ~x8052+512 ~x8051+256 ~x8050+128 ~x8049+64 ~x8048+32 ~x8047+16 ~x8046+8 ~x8045+4 ~x8044+2 ~x8043+1 ~x8042-0=32766
60.77/60.82	c 8192 ~x2369243+4096 ~x2369242+2048 ~x2369241+1024 ~x2369240+512 ~x2369239+256 ~x2369238+128 ~x2369237+64 ~x2369236+32 ~x2369235+16 ~x2369234+8 ~x2369233+4 ~x2369232+2 ~x2369231+1 ~x2369230+15360 x8941+8192 ~x8085+4096 ~x8084+2048 ~x8083+1024 ~x8082+512 ~x8081+256 ~x8080+128 ~x8079+64 ~x8078+32 ~x8077+16 ~x8076+8 ~x8075+4 ~x8074+2 ~x8073+1 ~x8072-0=32766
60.87/60.91	c 8192 ~x2372959+4096 ~x2372958+2048 ~x2372957+1024 ~x2372956+512 ~x2372955+256 ~x2372954+128 ~x2372953+64 ~x2372952+32 ~x2372951+16 ~x2372950+8 ~x2372949+4 ~x2372948+2 ~x2372947+1 ~x2372946+12288 x8942+8192 ~x8115+4096 ~x8114+2048 ~x8113+1024 ~x8112+512 ~x8111+256 ~x8110+128 ~x8109+64 ~x8108+32 ~x8107+16 ~x8106+8 ~x8105+4 ~x8104+2 ~x8103+1 ~x8102-0=32766
60.98/61.01	c 8192 ~x2376675+4096 ~x2376674+2048 ~x2376673+1024 ~x2376672+512 ~x2376671+256 ~x2376670+128 ~x2376669+64 ~x2376668+32 ~x2376667+16 ~x2376666+8 ~x2376665+4 ~x2376664+2 ~x2376663+1 ~x2376662+15360 x8943+8192 ~x8145+4096 ~x8144+2048 ~x8143+1024 ~x8142+512 ~x8141+256 ~x8140+128 ~x8139+64 ~x8138+32 ~x8137+16 ~x8136+8 ~x8135+4 ~x8134+2 ~x8133+1 ~x8132-0=32766
61.07/61.10	c 8192 ~x2380391+4096 ~x2380390+2048 ~x2380389+1024 ~x2380388+512 ~x2380387+256 ~x2380386+128 ~x2380385+64 ~x2380384+32 ~x2380383+16 ~x2380382+8 ~x2380381+4 ~x2380380+2 ~x2380379+1 ~x2380378+15360 x8944+8192 ~x8175+4096 ~x8174+2048 ~x8173+1024 ~x8172+512 ~x8171+256 ~x8170+128 ~x8169+64 ~x8168+32 ~x8167+16 ~x8166+8 ~x8165+4 ~x8164+2 ~x8163+1 ~x8162-0=32766
61.07/61.19	c 16384 ~x2384108+8192 ~x2384107+4096 ~x2384106+2048 ~x2384105+1024 ~x2384104+512 ~x2384103+256 ~x2384102+128 ~x2384101+64 ~x2384100+32 ~x2384099+16 ~x2384098+8 ~x2384097+4 ~x2384096+2 ~x2384095+1 ~x2384094+17408 x8945+16384 ~x8206+8192 ~x8205+4096 ~x8204+2048 ~x8203+1024 ~x8202+512 ~x8201+256 ~x8200+128 ~x8199+64 ~x8198+32 ~x8197+16 ~x8196+8 ~x8195+4 ~x8194+2 ~x8193+1 ~x8192-0=65534
61.17/61.29	c 4096 ~x2388141+2048 ~x2388140+1024 ~x2388139+512 ~x2388138+256 ~x2388137+128 ~x2388136+64 ~x2388135+32 ~x2388134+16 ~x2388133+8 ~x2388132+4 ~x2388131+2 ~x2388130+1 ~x2388129+6144 x8946+4096 ~x8234+2048 ~x8233+1024 ~x8232+512 ~x8231+256 ~x8230+128 ~x8229+64 ~x8228+32 ~x8227+16 ~x8226+8 ~x8225+4 ~x8224+2 ~x8223+1 ~x8222-0=16382
61.27/61.36	c 2048 ~x2390840+1024 ~x2390839+512 ~x2390838+256 ~x2390837+128 ~x2390836+64 ~x2390835+32 ~x2390834+16 ~x2390833+8 ~x2390832+4 ~x2390831+2 ~x2390830+1 ~x2390829+3072 x8947+2048 ~x8263+1024 ~x8262+512 ~x8261+256 ~x8260+128 ~x8259+64 ~x8258+32 ~x8257+16 ~x8256+8 ~x8255+4 ~x8254+2 ~x8253+1 ~x8252-0=8190
61.38/61.42	c 16384 ~x2393191+8192 ~x2393190+4096 ~x2393189+2048 ~x2393188+1024 ~x2393187+512 ~x2393186+256 ~x2393185+128 ~x2393184+64 ~x2393183+32 ~x2393182+16 ~x2393181+8 ~x2393180+4 ~x2393179+2 ~x2393178+1 ~x2393177+20480 x8948+16384 ~x8296+8192 ~x8295+4096 ~x8294+2048 ~x8293+1024 ~x8292+512 ~x8291+256 ~x8290+128 ~x8289+64 ~x8288+32 ~x8287+16 ~x8286+8 ~x8285+4 ~x8284+2 ~x8283+1 ~x8282-0=65534
61.48/61.53	c 16384 ~x2397483+8192 ~x2397482+4096 ~x2397481+2048 ~x2397480+1024 ~x2397479+512 ~x2397478+256 ~x2397477+128 ~x2397476+64 ~x2397475+32 ~x2397474+16 ~x2397473+8 ~x2397472+4 ~x2397471+2 ~x2397470+1 ~x2397469+26624 x8949+16384 ~x8326+8192 ~x8325+4096 ~x8324+2048 ~x8323+1024 ~x8322+512 ~x8321+256 ~x8320+128 ~x8319+64 ~x8318+32 ~x8317+16 ~x8316+8 ~x8315+4 ~x8314+2 ~x8313+1 ~x8312-0=65534
61.58/61.63	c 8192 ~x2401774+4096 ~x2401773+2048 ~x2401772+1024 ~x2401771+512 ~x2401770+256 ~x2401769+128 ~x2401768+64 ~x2401767+32 ~x2401766+16 ~x2401765+8 ~x2401764+4 ~x2401763+2 ~x2401762+1 ~x2401761+12288 x8950+8192 ~x8355+4096 ~x8354+2048 ~x8353+1024 ~x8352+512 ~x8351+256 ~x8350+128 ~x8349+64 ~x8348+32 ~x8347+16 ~x8346+8 ~x8345+4 ~x8344+2 ~x8343+1 ~x8342-0=32766
61.67/61.73	c 16384 ~x2405491+8192 ~x2405490+4096 ~x2405489+2048 ~x2405488+1024 ~x2405487+512 ~x2405486+256 ~x2405485+128 ~x2405484+64 ~x2405483+32 ~x2405482+16 ~x2405481+8 ~x2405480+4 ~x2405479+2 ~x2405478+1 ~x2405477+23552 x8951+16384 ~x8386+8192 ~x8385+4096 ~x8384+2048 ~x8383+1024 ~x8382+512 ~x8381+256 ~x8380+128 ~x8379+64 ~x8378+32 ~x8377+16 ~x8376+8 ~x8375+4 ~x8374+2 ~x8373+1 ~x8372-0=65534
61.77/61.83	c 32768 ~x2409784+16384 ~x2409783+8192 ~x2409782+4096 ~x2409781+2048 ~x2409780+1024 ~x2409779+512 ~x2409778+256 ~x2409777+128 ~x2409776+64 ~x2409775+32 ~x2409774+16 ~x2409773+8 ~x2409772+4 ~x2409771+2 ~x2409770+1 ~x2409769+32768 x8952+32768 ~x8417+16384 ~x8416+8192 ~x8415+4096 ~x8414+2048 ~x8413+1024 ~x8412+512 ~x8411+256 ~x8410+128 ~x8409+64 ~x8408+32 ~x8407+16 ~x8406+8 ~x8405+4 ~x8404+2 ~x8403+1 ~x8402-0=131070
61.86/61.95	c 16384 ~x2414412+8192 ~x2414411+4096 ~x2414410+2048 ~x2414409+1024 ~x2414408+512 ~x2414407+256 ~x2414406+128 ~x2414405+64 ~x2414404+32 ~x2414403+16 ~x2414402+8 ~x2414401+4 ~x2414400+2 ~x2414399+1 ~x2414398+30720 x8953+16384 ~x8446+8192 ~x8445+4096 ~x8444+2048 ~x8443+1024 ~x8442+512 ~x8441+256 ~x8440+128 ~x8439+64 ~x8438+32 ~x8437+16 ~x8436+8 ~x8435+4 ~x8434+2 ~x8433+1 ~x8432-0=65534
61.97/62.05	c 2048 ~x2418701+1024 ~x2418700+512 ~x2418699+256 ~x2418698+128 ~x2418697+64 ~x2418696+32 ~x2418695+16 ~x2418694+8 ~x2418693+4 ~x2418692+2 ~x2418691+1 ~x2418690+3072 x8954+2048 ~x8473+1024 ~x8472+512 ~x8471+256 ~x8470+128 ~x8469+64 ~x8468+32 ~x8467+16 ~x8466+8 ~x8465+4 ~x8464+2 ~x8463+1 ~x8462-0=8190
62.07/62.11	c 16384 ~x2421052+8192 ~x2421051+4096 ~x2421050+2048 ~x2421049+1024 ~x2421048+512 ~x2421047+256 ~x2421046+128 ~x2421045+64 ~x2421044+32 ~x2421043+16 ~x2421042+8 ~x2421041+4 ~x2421040+2 ~x2421039+1 ~x2421038+29696 x8955+16384 ~x8506+8192 ~x8505+4096 ~x8504+2048 ~x8503+1024 ~x8502+512 ~x8501+256 ~x8500+128 ~x8499+64 ~x8498+32 ~x8497+16 ~x8496+8 ~x8495+4 ~x8494+2 ~x8493+1 ~x8492-0=65534
62.16/62.22	c 8192 ~x2425343+4096 ~x2425342+2048 ~x2425341+1024 ~x2425340+512 ~x2425339+256 ~x2425338+128 ~x2425337+64 ~x2425336+32 ~x2425335+16 ~x2425334+8 ~x2425333+4 ~x2425332+2 ~x2425331+1 ~x2425330+8192 x8956+8192 ~x8535+4096 ~x8534+2048 ~x8533+1024 ~x8532+512 ~x8531+256 ~x8530+128 ~x8529+64 ~x8528+32 ~x8527+16 ~x8526+8 ~x8525+4 ~x8524+2 ~x8523+1 ~x8522-0=32766
62.27/62.31	c 4096 ~x2429058+2048 ~x2429057+1024 ~x2429056+512 ~x2429055+256 ~x2429054+128 ~x2429053+64 ~x2429052+32 ~x2429051+16 ~x2429050+8 ~x2429049+4 ~x2429048+2 ~x2429047+1 ~x2429046+4096 x8957+4096 ~x8564+2048 ~x8563+1024 ~x8562+512 ~x8561+256 ~x8560+128 ~x8559+64 ~x8558+32 ~x8557+16 ~x8556+8 ~x8555+4 ~x8554+2 ~x8553+1 ~x8552-0=16382
62.27/62.38	c 8192 ~x2431759+4096 ~x2431758+2048 ~x2431757+1024 ~x2431756+512 ~x2431755+256 ~x2431754+128 ~x2431753+64 ~x2431752+32 ~x2431751+16 ~x2431750+8 ~x2431749+4 ~x2431748+2 ~x2431747+1 ~x2431746+15360 x8958+8192 ~x8595+4096 ~x8594+2048 ~x8593+1024 ~x8592+512 ~x8591+256 ~x8590+128 ~x8589+64 ~x8588+32 ~x8587+16 ~x8586+8 ~x8585+4 ~x8584+2 ~x8583+1 ~x8582-0=32766
62.37/62.47	c 16384 ~x2435476+8192 ~x2435475+4096 ~x2435474+2048 ~x2435473+1024 ~x2435472+512 ~x2435471+256 ~x2435470+128 ~x2435469+64 ~x2435468+32 ~x2435467+16 ~x2435466+8 ~x2435465+4 ~x2435464+2 ~x2435463+1 ~x2435462+16384 x8959+16384 ~x8626+8192 ~x8625+4096 ~x8624+2048 ~x8623+1024 ~x8622+512 ~x8621+256 ~x8620+128 ~x8619+64 ~x8618+32 ~x8617+16 ~x8616+8 ~x8615+4 ~x8614+2 ~x8613+1 ~x8612-0=65534
62.57/62.61	c 8192 ~x2439510+4096 ~x2439509+2048 ~x2439508+1024 ~x2439507+512 ~x2439506+256 ~x2439505+128 ~x2439504+64 ~x2439503+32 ~x2439502+16 ~x2439501+8 ~x2439500+4 ~x2439499+2 ~x2439498+1 ~x2439497+12288 x8960+8192 ~x8655+4096 ~x8654+2048 ~x8653+1024 ~x8652+512 ~x8651+256 ~x8650+128 ~x8649+64 ~x8648+32 ~x8647+16 ~x8646+8 ~x8645+4 ~x8

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-2674114-1276799049/watcher-2674114-1276799049 -o /tmp/evaluation-result-2674114-1276799049/solver-2674114-1276799049 -C 1800 -W 2000 -M 1800 run HOME/instance-2674114-1276799049.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.85 0.97 0.99 3/107 17408
/proc/meminfo: memFree=1849700/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0

[startup+0.0144131 s]
/proc/loadavg: 0.85 0.97 0.99 3/107 17408
/proc/meminfo: memFree=1849700/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.10142 s]
/proc/loadavg: 0.85 0.97 0.99 3/107 17408
/proc/meminfo: memFree=1849700/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301437 s]
/proc/loadavg: 0.85 0.97 0.99 3/107 17408
/proc/meminfo: memFree=1849700/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701473 s]
/proc/loadavg: 0.85 0.97 0.99 3/107 17408
/proc/meminfo: memFree=1849700/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50154 s]
/proc/loadavg: 0.85 0.97 0.99 2/109 17411
/proc/meminfo: memFree=1688980/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=239236 CPUtime=1.49
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 59669 0 0 0 60 89 0 0 25 0 1 0 53560688 244977664 59189 1992294400 134512640 134902295 4294505088 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 59809 59189 256 96 0 59021 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 247936

[startup+3.10069 s]
/proc/loadavg: 0.85 0.97 0.99 2/109 17411
/proc/meminfo: memFree=1519348/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=358884 CPUtime=3.09
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 89591 0 0 0 177 132 0 0 25 0 1 0 53560688 367497216 89111 1992294400 134512640 134902295 4294505088 18446744073709551615 134893982 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 89721 89111 259 96 0 88933 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 367584

[startup+6.30098 s]
/proc/loadavg: 0.86 0.97 0.99 2/109 17411
/proc/meminfo: memFree=1480660/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=387616 CPUtime=6.28
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 118695 0 0 0 485 143 0 0 25 0 1 0 53560688 396918784 95907 1992294400 134512640 134902295 4294505088 18446744073709551615 4160531760 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 96904 95907 262 96 0 96116 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 396316

[startup+12.7006 s]
/proc/loadavg: 0.87 0.97 0.99 2/109 17411
/proc/meminfo: memFree=1368936/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=505924 CPUtime=12.68
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 149364 0 0 0 1111 157 0 0 25 0 1 0 53560688 518066176 123883 1992294400 134512640 134902295 4294505088 18446744073709551615 4160492808 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 126481 123883 262 96 0 125693 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 514624

[startup+25.5017 s]
/proc/loadavg: 0.90 0.97 0.99 2/109 17413
/proc/meminfo: memFree=1134204/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=735688 CPUtime=25.48
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 208575 0 0 0 2366 182 0 0 25 0 1 0 53560688 753344512 179720 1992294400 134512640 134902295 4294505088 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 183922 179720 262 96 0 183134 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 744388

[startup+51.101 s]
/proc/loadavg: 0.93 0.97 0.99 2/109 17413
/proc/meminfo: memFree=683836/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1214868 CPUtime=51.07
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 327398 0 0 0 4874 233 0 0 25 0 1 0 53560688 1244024832 293193 1992294400 134512640 134902295 4294505088 18446744073709551615 134520353 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 303717 293194 262 96 0 302929 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1223568

[startup+102.309 s]
/proc/loadavg: 0.97 0.97 0.99 2/109 17415
/proc/meminfo: memFree=493496/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1400672 CPUtime=102.26
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 382634 0 0 0 9968 258 0 0 25 0 1 0 53560688 1434288128 338357 1992294400 134512640 134902295 4294505088 18446744073709551615 4160492275 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 350168 338357 269 96 0 349380 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1409372

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/109 17415
/proc/meminfo: memFree=483328/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1410988 CPUtime=162.24
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 385223 0 0 0 15964 260 0 0 25 0 1 0 53560688 1444851712 340946 1992294400 134512640 134902295 4294505088 18446744073709551615 4160504502 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 352747 340946 269 96 0 351959 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1419688

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/109 17417
/proc/meminfo: memFree=474648/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1419344 CPUtime=222.22
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 387317 0 0 0 21960 262 0 0 25 0 1 0 53560688 1453408256 343040 1992294400 134512640 134902295 4294505088 18446744073709551615 4160492263 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 354836 343040 269 96 0 354048 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1428044

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/109 17419
/proc/meminfo: memFree=469068/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1424952 CPUtime=282.21
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 388721 0 0 0 27957 264 0 0 25 0 1 0 53560688 1459150848 344444 1992294400 134512640 134902295 4294505088 18446744073709551615 4160492223 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 356238 344444 269 96 0 355450 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1433652

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/109 17421
/proc/meminfo: memFree=466588/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1427524 CPUtime=342.18
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 389336 0 0 0 33954 264 0 0 25 0 1 0 53560688 1461784576 345059 1992294400 134512640 134902295 4294505088 18446744073709551615 4160522732 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 356881 345059 269 96 0 356093 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1436224

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/109 17423
/proc/meminfo: memFree=455676/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1438592 CPUtime=402.16
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 392089 0 0 0 39950 266 0 0 25 0 1 0 53560688 1473118208 347812 1992294400 134512640 134902295 4294505088 18446744073709551615 4160530138 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 359648 347812 269 96 0 358860 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1447292

[startup+462.302 s]

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

/proc/17410/statm: 381457 369524 269 96 0 380669 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1534528

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/109 17446
/proc/meminfo: memFree=361188/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1532488 CPUtime=1181.92
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 415476 0 0 0 117899 293 0 0 25 0 1 0 53560688 1569267712 371199 1992294400 134512640 134902295 4294505088 18446744073709551615 4160504477 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 383122 371199 269 96 0 382334 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1541188

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/109 17448
/proc/meminfo: memFree=355856/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1537428 CPUtime=1241.91
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 416726 0 0 0 123896 295 0 0 25 0 1 0 53560688 1574326272 372449 1992294400 134512640 134902295 4294505088 18446744073709551615 4160522366 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 384357 372449 269 96 0 383569 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1546128

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/109 17450
/proc/meminfo: memFree=351640/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1541536 CPUtime=1301.9
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 417733 0 0 0 129894 296 0 0 25 0 1 0 53560688 1578532864 373456 1992294400 134512640 134902295 4294505088 18446744073709551615 4160511205 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 385384 373456 269 96 0 384596 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1550236

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/109 17450
/proc/meminfo: memFree=348044/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1545236 CPUtime=1361.88
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 418668 0 0 0 135891 297 0 0 25 0 1 0 53560688 1582321664 374391 1992294400 134512640 134902295 4294505088 18446744073709551615 4160522535 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 386309 374391 269 96 0 385521 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1553936

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/109 17452
/proc/meminfo: memFree=343952/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1549328 CPUtime=1421.87
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 419694 0 0 0 141889 298 0 0 25 0 1 0 53560688 1586511872 375417 1992294400 134512640 134902295 4294505088 18446744073709551615 4160522552 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 387332 375417 269 96 0 386544 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1558028

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/109 17454
/proc/meminfo: memFree=337504/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1555680 CPUtime=1481.84
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 421293 0 0 0 147885 299 0 0 25 0 1 0 53560688 1593016320 377016 1992294400 134512640 134902295 4294505088 18446744073709551615 4160505736 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 388920 377016 269 96 0 388132 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1564380

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/109 17456
/proc/meminfo: memFree=329940/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1563556 CPUtime=1541.82
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 423151 0 0 0 153881 301 0 0 25 0 1 0 53560688 1601081344 378874 1992294400 134512640 134902295 4294505088 18446744073709551615 4160525200 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 390889 378874 269 96 0 390101 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1572256

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/109 17458
/proc/meminfo: memFree=323616/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1569652 CPUtime=1601.81
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 424710 0 0 0 159878 303 0 0 25 0 1 0 53560688 1607323648 380433 1992294400 134512640 134902295 4294505088 18446744073709551615 4160504337 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 392413 380433 269 96 0 391625 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1578352

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/109 17458
/proc/meminfo: memFree=318780/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1574628 CPUtime=1661.8
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 425943 0 0 0 165875 305 0 0 25 0 1 0 53560688 1612419072 381666 1992294400 134512640 134902295 4294505088 18446744073709551615 4160522366 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 393657 381666 269 96 0 392869 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1583328

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/109 17460
/proc/meminfo: memFree=315432/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1577656 CPUtime=1721.78
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 426722 0 0 0 171872 306 0 0 25 0 1 0 53560688 1615519744 382445 1992294400 134512640 134902295 4294505088 18446744073709551615 4160522436 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 394414 382445 269 96 0 393626 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1586356

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/109 17462
/proc/meminfo: memFree=311836/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1580972 CPUtime=1781.76
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 427572 0 0 0 177870 306 0 0 25 0 1 0 53560688 1618915328 383295 1992294400 134512640 134902295 4294505088 18446744073709551615 4160522450 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 395243 383295 269 96 0 394455 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1589672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/109 17462
/proc/meminfo: memFree=310720/2059040 swapFree=4139544/4192956
[pid=17408] ppid=17406 vsize=8700 CPUtime=0
/proc/17408/stat : 17408 (run) S 17406 17408 17383 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 53560688 8908800 251 1992294400 4194304 4922060 140734052628384 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17408/statm: 2175 251 211 178 0 68 0
[pid=17410] ppid=17408 vsize=1582160 CPUtime=1800.06
/proc/17410/stat : 17410 (PBPASSolver) R 17408 17408 17383 0 -1 4202496 427865 0 0 0 179700 306 0 0 25 0 1 0 53560688 1620131840 383588 1992294400 134512640 134902295 4294505088 18446744073709551615 4160504480 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17410/statm: 395540 383588 269 96 0 394752 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1590860

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1800.62
CPU time (s): 1800.06
CPU user time (s): 1797
CPU system time (s): 3.06
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 1590860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 525
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 2.86656 second user time and 8.62969 second system time

The end

Begin job on node025 at 2010-06-17 20:24:10
IDJOB=2674114
IDBENCH=2302
IDSOLVER=1174
FILE ID=node025/2674114-1276799049
PBS_JOBID= 11176657
Free space on /tmp= 62576 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-ran17x17.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674114-1276799049/watcher-2674114-1276799049 -o /tmp/evaluation-result-2674114-1276799049/solver-2674114-1276799049 -C 1800 -W 2000 -M 1800  run HOME/instance-2674114-1276799049.opb

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

MD5SUM BENCH= 041d40ba01d992f8c3bb358df2c9aea9
RANDOM SEED=1891292253

node025.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.242
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.48
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.242
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1850096 kB
Buffers:         37652 kB
Cached:          81724 kB
SwapCached:       6360 kB
Active:          56756 kB
Inactive:        75524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1850096 kB
SwapTotal:     4192956 kB
SwapFree:      4139544 kB
Dirty:            1252 kB
Writeback:           0 kB
AnonPages:       11256 kB
Mapped:          12820 kB
Slab:            54660 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183420 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= 62576 MiB
End job on node025 at 2010-06-17 20:54:12