36.68/36.79	c 8060 296 0 0 0 0 0 0
36.68/36.79	c 16384 ~x1424240+8192 ~x1424239+4096 ~x1424238+2048 ~x1424237+1024 ~x1424236+512 ~x1424235+256 ~x1424234+128 ~x1424233+64 ~x1424232+32 ~x1424231+16 ~x1424230+8 ~x1424229+4 ~x1424228+2 ~x1424227+1 ~x1424226+21504 x7802+16384 ~x16+8192 ~x15+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=65534
36.78/36.89	c 8192 ~x1428531+4096 ~x1428530+2048 ~x1428529+1024 ~x1428528+512 ~x1428527+256 ~x1428526+128 ~x1428525+64 ~x1428524+32 ~x1428523+16 ~x1428522+8 ~x1428521+4 ~x1428520+2 ~x1428519+1 ~x1428518+8192 x7803+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=32766
36.88/36.99	c 16384 ~x1432248+8192 ~x1432247+4096 ~x1432246+2048 ~x1432245+1024 ~x1432244+512 ~x1432243+256 ~x1432242+128 ~x1432241+64 ~x1432240+32 ~x1432239+16 ~x1432238+8 ~x1432237+4 ~x1432236+2 ~x1432235+1 ~x1432234+29696 x7804+16384 ~x76+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=65534
36.97/37.09	c 16384 ~x1436540+8192 ~x1436539+4096 ~x1436538+2048 ~x1436537+1024 ~x1436536+512 ~x1436535+256 ~x1436534+128 ~x1436533+64 ~x1436532+32 ~x1436531+16 ~x1436530+8 ~x1436529+4 ~x1436528+2 ~x1436527+1 ~x1436526+25600 x7805+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=65534
37.18/37.20	c 4096 ~x1440830+2048 ~x1440829+1024 ~x1440828+512 ~x1440827+256 ~x1440826+128 ~x1440825+64 ~x1440824+32 ~x1440823+16 ~x1440822+8 ~x1440821+4 ~x1440820+2 ~x1440819+1 ~x1440818+4096 x7806+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=16382
37.18/37.27	c 4096 ~x1443530+2048 ~x1443529+1024 ~x1443528+512 ~x1443527+256 ~x1443526+128 ~x1443525+64 ~x1443524+32 ~x1443523+16 ~x1443522+8 ~x1443521+4 ~x1443520+2 ~x1443519+1 ~x1443518+6144 x7807+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=16382
37.28/37.34	c 2048 ~x1446229+1024 ~x1446228+512 ~x1446227+256 ~x1446226+128 ~x1446225+64 ~x1446224+32 ~x1446223+16 ~x1446222+8 ~x1446221+4 ~x1446220+2 ~x1446219+1 ~x1446218+3072 x7808+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=8190
37.28/37.40	c 16384 ~x1448580+8192 ~x1448579+4096 ~x1448578+2048 ~x1448577+1024 ~x1448576+512 ~x1448575+256 ~x1448574+128 ~x1448573+64 ~x1448572+32 ~x1448571+16 ~x1448570+8 ~x1448569+4 ~x1448568+2 ~x1448567+1 ~x1448566+21504 x7809+16384 ~x226+8192 ~x225+4096 ~x224+2048 ~x223+1024 ~x222+512 ~x221+256 ~x220+128 ~x219+64 ~x218+32 ~x217+16 ~x216+8 ~x215+4 ~x214+2 ~x213+1 ~x212-0=65534
37.47/37.50	c 8192 ~x1452871+4096 ~x1452870+2048 ~x1452869+1024 ~x1452868+512 ~x1452867+256 ~x1452866+128 ~x1452865+64 ~x1452864+32 ~x1452863+16 ~x1452862+8 ~x1452861+4 ~x1452860+2 ~x1452859+1 ~x1452858+8192 x7810+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242-0=32766
37.58/37.60	c 8192 ~x1456587+4096 ~x1456586+2048 ~x1456585+1024 ~x1456584+512 ~x1456583+256 ~x1456582+128 ~x1456581+64 ~x1456580+32 ~x1456579+16 ~x1456578+8 ~x1456577+4 ~x1456576+2 ~x1456575+1 ~x1456574+14336 x7811+8192 ~x285+4096 ~x284+2048 ~x283+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272-0=32766
37.58/37.69	c 8192 ~x1460303+4096 ~x1460302+2048 ~x1460301+1024 ~x1460300+512 ~x1460299+256 ~x1460298+128 ~x1460297+64 ~x1460296+32 ~x1460295+16 ~x1460294+8 ~x1460293+4 ~x1460292+2 ~x1460291+1 ~x1460290+10240 x7812+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302-0=32766
37.68/37.79	c 8192 ~x1464019+4096 ~x1464018+2048 ~x1464017+1024 ~x1464016+512 ~x1464015+256 ~x1464014+128 ~x1464013+64 ~x1464012+32 ~x1464011+16 ~x1464010+8 ~x1464009+4 ~x1464008+2 ~x1464007+1 ~x1464006+11264 x7813+8192 ~x345+4096 ~x344+2048 ~x343+1024 ~x342+512 ~x341+256 ~x340+128 ~x339+64 ~x338+32 ~x337+16 ~x336+8 ~x335+4 ~x334+2 ~x333+1 ~x332-0=32766
37.78/37.88	c 16384 ~x1467736+8192 ~x1467735+4096 ~x1467734+2048 ~x1467733+1024 ~x1467732+512 ~x1467731+256 ~x1467730+128 ~x1467729+64 ~x1467728+32 ~x1467727+16 ~x1467726+8 ~x1467725+4 ~x1467724+2 ~x1467723+1 ~x1467722+19456 x7814+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
37.87/37.98	c 32768 ~x1471772+16384 ~x1471771+8192 ~x1471770+4096 ~x1471769+2048 ~x1471768+1024 ~x1471767+512 ~x1471766+256 ~x1471765+128 ~x1471764+64 ~x1471763+32 ~x1471762+16 ~x1471761+8 ~x1471760+4 ~x1471759+2 ~x1471758+1 ~x1471757+57344 x7815+32768 ~x407+16384 ~x406+8192 ~x405+4096 ~x404+2048 ~x403+1024 ~x402+512 ~x401+256 ~x400+128 ~x399+64 ~x398+32 ~x397+16 ~x396+8 ~x395+4 ~x394+2 ~x393+1 ~x392-0=131070
38.08/38.10	c 2048 ~x1476397+1024 ~x1476396+512 ~x1476395+256 ~x1476394+128 ~x1476393+64 ~x1476392+32 ~x1476391+16 ~x1476390+8 ~x1476389+4 ~x1476388+2 ~x1476387+1 ~x1476386+3072 x7816+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
38.08/38.16	c 4096 ~x1478746+2048 ~x1478745+1024 ~x1478744+512 ~x1478743+256 ~x1478742+128 ~x1478741+64 ~x1478740+32 ~x1478739+16 ~x1478738+8 ~x1478737+4 ~x1478736+2 ~x1478735+1 ~x1478734+6144 x7817+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=16382
38.18/38.23	c 2048 ~x1481445+1024 ~x1481444+512 ~x1481443+256 ~x1481442+128 ~x1481441+64 ~x1481440+32 ~x1481439+16 ~x1481438+8 ~x1481437+4 ~x1481436+2 ~x1481435+1 ~x1481434+2048 x7818+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=8190
38.18/38.29	c 4096 ~x1483794+2048 ~x1483793+1024 ~x1483792+512 ~x1483791+256 ~x1483790+128 ~x1483789+64 ~x1483788+32 ~x1483787+16 ~x1483786+8 ~x1483785+4 ~x1483784+2 ~x1483783+1 ~x1483782+7168 x7819+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
38.28/38.36	c 16384 ~x1486496+8192 ~x1486495+4096 ~x1486494+2048 ~x1486493+1024 ~x1486492+512 ~x1486491+256 ~x1486490+128 ~x1486489+64 ~x1486488+32 ~x1486487+16 ~x1486486+8 ~x1486485+4 ~x1486484+2 ~x1486483+1 ~x1486482+21504 x7820+16384 ~x556+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=65534
38.38/38.46	c 16384 ~x1490788+8192 ~x1490787+4096 ~x1490786+2048 ~x1490785+1024 ~x1490784+512 ~x1490783+256 ~x1490782+128 ~x1490781+64 ~x1490780+32 ~x1490779+16 ~x1490778+8 ~x1490777+4 ~x1490776+2 ~x1490775+1 ~x1490774+21504 x7821+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
38.48/38.57	c 4096 ~x1495078+2048 ~x1495077+1024 ~x1495076+512 ~x1495075+256 ~x1495074+128 ~x1495073+64 ~x1495072+32 ~x1495071+16 ~x1495070+8 ~x1495069+4 ~x1495068+2 ~x1495067+1 ~x1495066+4096 x7822+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=16382
38.57/38.64	c 4096 ~x1497778+2048 ~x1497777+1024 ~x1497776+512 ~x1497775+256 ~x1497774+128 ~x1497773+64 ~x1497772+32 ~x1497771+16 ~x1497770+8 ~x1497769+4 ~x1497768+2 ~x1497767+1 ~x1497766+6144 x7823+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=16382
38.68/38.71	c 16384 ~x1500480+8192 ~x1500479+4096 ~x1500478+2048 ~x1500477+1024 ~x1500476+512 ~x1500475+256 ~x1500474+128 ~x1500473+64 ~x1500472+32 ~x1500471+16 ~x1500470+8 ~x1500469+4 ~x1500468+2 ~x1500467+1 ~x1500466+21504 x7824+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
38.78/38.81	c 2048 ~x1504769+1024 ~x1504768+512 ~x1504767+256 ~x1504766+128 ~x1504765+64 ~x1504764+32 ~x1504763+16 ~x1504762+8 ~x1504761+4 ~x1504760+2 ~x1504759+1 ~x1504758+2048 x7825+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=8190
38.78/38.87	c 4096 ~x1507118+2048 ~x1507117+1024 ~x1507116+512 ~x1507115+256 ~x1507114+128 ~x1507113+64 ~x1507112+32 ~x1507111+16 ~x1507110+8 ~x1507109+4 ~x1507108+2 ~x1507107+1 ~x1507106+4096 x7826+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=16382
38.88/38.94	c 8192 ~x1509819+4096 ~x1509818+2048 ~x1509817+1024 ~x1509816+512 ~x1509815+256 ~x1509814+128 ~x1509813+64 ~x1509812+32 ~x1509811+16 ~x1509810+8 ~x1509809+4 ~x1509808+2 ~x1509807+1 ~x1509806+8192 x7827+8192 ~x765+4096 ~x764+2048 ~x763+1024 ~x762+512 ~x761+256 ~x760+128 ~x759+64 ~x758+32 ~x757+16 ~x756+8 ~x755+4 ~x754+2 ~x753+1 ~x752-0=32766
38.97/39.04	c 8192 ~x1513535+4096 ~x1513534+2048 ~x1513533+1024 ~x1513532+512 ~x1513531+256 ~x1513530+128 ~x1513529+64 ~x1513528+32 ~x1513527+16 ~x1513526+8 ~x1513525+4 ~x1513524+2 ~x1513523+1 ~x1513522+8192 x7828+8192 ~x795+4096 ~x794+2048 ~x793+1024 ~x792+512 ~x791+256 ~x790+128 ~x789+64 ~x788+32 ~x787+16 ~x786+8 ~x785+4 ~x784+2 ~x783+1 ~x782-0=32766
39.08/39.13	c 16384 ~x1517252+8192 ~x1517251+4096 ~x1517250+2048 ~x1517249+1024 ~x1517248+512 ~x1517247+256 ~x1517246+128 ~x1517245+64 ~x1517244+32 ~x1517243+16 ~x1517242+8 ~x1517241+4 ~x1517240+2 ~x1517239+1 ~x1517238+21504 x7829+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
39.18/39.24	c 8192 ~x1521543+4096 ~x1521542+2048 ~x1521541+1024 ~x1521540+512 ~x1521539+256 ~x1521538+128 ~x1521537+64 ~x1521536+32 ~x1521535+16 ~x1521534+8 ~x1521533+4 ~x1521532+2 ~x1521531+1 ~x1521530+11264 x7830+8192 ~x855+4096 ~x854+2048 ~x853+1024 ~x852+512 ~x851+256 ~x850+128 ~x849+64 ~x848+32 ~x847+16 ~x846+8 ~x845+4 ~x844+2 ~x843+1 ~x842-0=32766
39.28/39.33	c 4096 ~x1525258+2048 ~x1525257+1024 ~x1525256+512 ~x1525255+256 ~x1525254+128 ~x1525253+64 ~x1525252+32 ~x1525251+16 ~x1525250+8 ~x1525249+4 ~x1525248+2 ~x1525247+1 ~x1525246+6144 x7831+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=16382
39.38/39.40	c 16384 ~x1527960+8192 ~x1527959+4096 ~x1527958+2048 ~x1527957+1024 ~x1527956+512 ~x1527955+256 ~x1527954+128 ~x1527953+64 ~x1527952+32 ~x1527951+16 ~x1527950+8 ~x1527949+4 ~x1527948+2 ~x1527947+1 ~x1527946+16384 x7832+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
39.48/39.50	c 16384 ~x1531995+8192 ~x1531994+4096 ~x1531993+2048 ~x1531992+1024 ~x1531991+512 ~x1531990+256 ~x1531989+128 ~x1531988+64 ~x1531987+32 ~x1531986+16 ~x1531985+8 ~x1531984+4 ~x1531983+2 ~x1531982+1 ~x1531981+21504 x7833+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
39.58/39.61	c 4096 ~x1536285+2048 ~x1536284+1024 ~x1536283+512 ~x1536282+256 ~x1536281+128 ~x1536280+64 ~x1536279+32 ~x1536278+16 ~x1536277+8 ~x1536276+4 ~x1536275+2 ~x1536274+1 ~x1536273+4096 x7834+4096 ~x974+2048 ~x973+1024 ~x972+512 ~x971+256 ~x970+128 ~x969+64 ~x968+32 ~x967+16 ~x966+8 ~x965+4 ~x964+2 ~x963+1 ~x962-0=16382
39.58/39.68	c 4096 ~x1538985+2048 ~x1538984+1024 ~x1538983+512 ~x1538982+256 ~x1538981+128 ~x1538980+64 ~x1538979+32 ~x1538978+16 ~x1538977+8 ~x1538976+4 ~x1538975+2 ~x1538974+1 ~x1538973+6144 x7835+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=16382
39.67/39.75	c 2048 ~x1541684+1024 ~x1541683+512 ~x1541682+256 ~x1541681+128 ~x1541680+64 ~x1541679+32 ~x1541678+16 ~x1541677+8 ~x1541676+4 ~x1541675+2 ~x1541674+1 ~x1541673+3072 x7836+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=8190
39.78/39.81	c 4096 ~x1544033+2048 ~x1544032+1024 ~x1544031+512 ~x1544030+256 ~x1544029+128 ~x1544028+64 ~x1544027+32 ~x1544026+16 ~x1544025+8 ~x1544024+4 ~x1544023+2 ~x1544022+1 ~x1544021+6144 x7837+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=16382
39.78/39.88	c 16384 ~x1546735+8192 ~x1546734+4096 ~x1546733+2048 ~x1546732+1024 ~x1546731+512 ~x1546730+256 ~x1546729+128 ~x1546728+64 ~x1546727+32 ~x1546726+16 ~x1546725+8 ~x1546724+4 ~x1546723+2 ~x1546722+1 ~x1546721+21504 x7838+16384 ~x1096+8192 ~x1095+4096 ~x1094+2048 ~x1093+1024 ~x1092+512 ~x1091+256 ~x1090+128 ~x1089+64 ~x1088+32 ~x1087+16 ~x1086+8 ~x1085+4 ~x1084+2 ~x1083+1 ~x1082-0=65534
39.88/39.98	c 8192 ~x1551026+4096 ~x1551025+2048 ~x1551024+1024 ~x1551023+512 ~x1551022+256 ~x1551021+128 ~x1551020+64 ~x1551019+32 ~x1551018+16 ~x1551017+8 ~x1551016+4 ~x1551015+2 ~x1551014+1 ~x1551013+8192 x7839+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
39.98/40.08	c 8192 ~x1554742+4096 ~x1554741+2048 ~x1554740+1024 ~x1554739+512 ~x1554738+256 ~x1554737+128 ~x1554736+64 ~x1554735+32 ~x1554734+16 ~x1554733+8 ~x1554732+4 ~x1554731+2 ~x1554730+1 ~x1554729+14336 x7840+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=32766
40.08/40.17	c 8192 ~x1558458+4096 ~x1558457+2048 ~x1558456+1024 ~x1558455+512 ~x1558454+256 ~x1558453+128 ~x1558452+64 ~x1558451+32 ~x1558450+16 ~x1558449+8 ~x1558448+4 ~x1558447+2 ~x1558446+1 ~x1558445+10240 x7841+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
40.18/40.29	c 8192 ~x1562174+4096 ~x1562173+2048 ~x1562172+1024 ~x1562171+512 ~x1562170+256 ~x1562169+128 ~x1562168+64 ~x1562167+32 ~x1562166+16 ~x1562165+8 ~x1562164+4 ~x1562163+2 ~x1562162+1 ~x1562161+11264 x7842+8192 ~x1215+4096 ~x1214+2048 ~x1213+1024 ~x1212+512 ~x1211+256 ~x1210+128 ~x1209+64 ~x1208+32 ~x1207+16 ~x1206+8 ~x1205+4 ~x1204+2 ~x1203+1 ~x1202-0=32766
40.28/40.39	c 16384 ~x1565891+8192 ~x1565890+4096 ~x1565889+2048 ~x1565888+1024 ~x1565887+512 ~x1565886+256 ~x1565885+128 ~x1565884+64 ~x1565883+32 ~x1565882+16 ~x1565881+8 ~x1565880+4 ~x1565879+2 ~x1565878+1 ~x1565877+19456 x7843+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
40.38/40.49	c 2048 ~x1569923+1024 ~x1569922+512 ~x1569921+256 ~x1569920+128 ~x1569919+64 ~x1569918+32 ~x1569917+16 ~x1569916+8 ~x1569915+4 ~x1569914+2 ~x1569913+1 ~x1569912+3072 x7844+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=8190
40.48/40.55	c 4096 ~x1572272+2048 ~x1572271+1024 ~x1572270+512 ~x1572269+256 ~x1572268+128 ~x1572267+64 ~x1572266+32 ~x1572265+16 ~x1572264+8 ~x1572263+4 ~x1572262+2 ~x1572261+1 ~x1572260+6144 x7845+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
40.58/40.62	c 2048 ~x1574971+1024 ~x1574970+512 ~x1574969+256 ~x1574968+128 ~x1574967+64 ~x1574966+32 ~x1574965+16 ~x1574964+8 ~x1574963+4 ~x1574962+2 ~x1574961+1 ~x1574960+2048 x7846+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
40.58/40.68	c 4096 ~x1577320+2048 ~x1577319+1024 ~x1577318+512 ~x1577317+256 ~x1577316+128 ~x1577315+64 ~x1577314+32 ~x1577313+16 ~x1577312+8 ~x1577311+4 ~x1577310+2 ~x1577309+1 ~x1577308+7168 x7847+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
40.69/40.75	c 16384 ~x1580022+8192 ~x1580021+4096 ~x1580020+2048 ~x1580019+1024 ~x1580018+512 ~x1580017+256 ~x1580016+128 ~x1580015+64 ~x1580014+32 ~x1580013+16 ~x1580012+8 ~x1580011+4 ~x1580010+2 ~x1580009+1 ~x1580008+27648 x7848+16384 ~x1396+8192 ~x1395+4096 ~x1394+2048 ~x1393+1024 ~x1392+512 ~x1391+256 ~x1390+128 ~x1389+64 ~x1388+32 ~x1387+16 ~x1386+8 ~x1385+4 ~x1384+2 ~x1383+1 ~x1382-0=65534
40.78/40.86	c 16384 ~x1584314+8192 ~x1584313+4096 ~x1584312+2048 ~x1584311+1024 ~x1584310+512 ~x1584309+256 ~x1584308+128 ~x1584307+64 ~x1584306+32 ~x1584305+16 ~x1584304+8 ~x1584303+4 ~x1584302+2 ~x1584301+1 ~x1584300+29696 x7849+16384 ~x1426+8192 ~x1425+4096 ~x1424+2048 ~x1423+1024 ~x1422+512 ~x1421+256 ~x1420+128 ~x1419+64 ~x1418+32 ~x1417+16 ~x1416+8 ~x1415+4 ~x1414+2 ~x1413+1 ~x1412-0=65534
40.88/40.96	c 32768 ~x1588607+16384 ~x1588606+8192 ~x1588605+4096 ~x1588604+2048 ~x1588603+1024 ~x1588602+512 ~x1588601+256 ~x1588600+128 ~x1588599+64 ~x1588598+32 ~x1588597+16 ~x1588596+8 ~x1588595+4 ~x1588594+2 ~x1588593+1 ~x1588592+44032 x7850+32768 ~x1457+16384 ~x1456+8192 ~x1455+4096 ~x1454+2048 ~x1453+1024 ~x1452+512 ~x1451+256 ~x1450+128 ~x1449+64 ~x1448+32 ~x1447+16 ~x1446+8 ~x1445+4 ~x1444+2 ~x1443+1 ~x1442-0=131070
40.97/41.08	c 4096 ~x1593233+2048 ~x1593232+1024 ~x1593231+512 ~x1593230+256 ~x1593229+128 ~x1593228+64 ~x1593227+32 ~x1593226+16 ~x1593225+8 ~x1593224+4 ~x1593223+2 ~x1593222+1 ~x1593221+4096 x7851+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
41.07/41.14	c 4096 ~x1595933+2048 ~x1595932+1024 ~x1595931+512 ~x1595930+256 ~x1595929+128 ~x1595928+64 ~x1595927+32 ~x1595926+16 ~x1595925+8 ~x1595924+4 ~x1595923+2 ~x1595922+1 ~x1595921+6144 x7852+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
41.17/41.21	c 16384 ~x1598635+8192 ~x1598634+4096 ~x1598633+2048 ~x1598632+1024 ~x1598631+512 ~x1598630+256 ~x1598629+128 ~x1598628+64 ~x1598627+32 ~x1598626+16 ~x1598625+8 ~x1598624+4 ~x1598623+2 ~x1598622+1 ~x1598621+27648 x7853+16384 ~x1546+8192 ~x1545+4096 ~x1544+2048 ~x1543+1024 ~x1542+512 ~x1541+256 ~x1540+128 ~x1539+64 ~x1538+32 ~x1537+16 ~x1536+8 ~x1535+4 ~x1534+2 ~x1533+1 ~x1532-0=65534
41.28/41.32	c 2048 ~x1602924+1024 ~x1602923+512 ~x1602922+256 ~x1602921+128 ~x1602920+64 ~x1602919+32 ~x1602918+16 ~x1602917+8 ~x1602916+4 ~x1602915+2 ~x1602914+1 ~x1602913+2048 x7854+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=8190
41.28/41.38	c 8192 ~x1605274+4096 ~x1605273+2048 ~x1605272+1024 ~x1605271+512 ~x1605270+256 ~x1605269+128 ~x1605268+64 ~x1605267+32 ~x1605266+16 ~x1605265+8 ~x1605264+4 ~x1605263+2 ~x1605262+1 ~x1605261+8192 x7855+8192 ~x1605+4096 ~x1604+2048 ~x1603+1024 ~x1602+512 ~x1601+256 ~x1600+128 ~x1599+64 ~x1598+32 ~x1597+16 ~x1596+8 ~x1595+4 ~x1594+2 ~x1593+1 ~x1592-0=32766
41.38/41.47	c 8192 ~x1608990+4096 ~x1608989+2048 ~x1608988+1024 ~x1608987+512 ~x1608986+256 ~x1608985+128 ~x1608984+64 ~x1608983+32 ~x1608982+16 ~x1608981+8 ~x1608980+4 ~x1608979+2 ~x1608978+1 ~x1608977+8192 x7856+8192 ~x1635+4096 ~x1634+2048 ~x1633+1024 ~x1632+512 ~x1631+256 ~x1630+128 ~x1629+64 ~x1628+32 ~x1627+16 ~x1626+8 ~x1625+4 ~x1624+2 ~x1623+1 ~x1622-0=32766
41.47/41.57	c 16384 ~x1612707+8192 ~x1612706+4096 ~x1612705+2048 ~x1612704+1024 ~x1612703+512 ~x1612702+256 ~x1612701+128 ~x1612700+64 ~x1612699+32 ~x1612698+16 ~x1612697+8 ~x1612696+4 ~x1612695+2 ~x1612694+1 ~x1612693+30720 x7857+16384 ~x1666+8192 ~x1665+4096 ~x1664+2048 ~x1663+1024 ~x1662+512 ~x1661+256 ~x1660+128 ~x1659+64 ~x1658+32 ~x1657+16 ~x1656+8 ~x1655+4 ~x1654+2 ~x1653+1 ~x1652-0=65534
41.57/41.67	c 8192 ~x1616998+4096 ~x1616997+2048 ~x1616996+1024 ~x1616995+512 ~x1616994+256 ~x1616993+128 ~x1616992+64 ~x1616991+32 ~x1616990+16 ~x1616989+8 ~x1616988+4 ~x1616987+2 ~x1616986+1 ~x1616985+11264 x7858+8192 ~x1695+4096 ~x1694+2048 ~x1693+1024 ~x1692+512 ~x1691+256 ~x1690+128 ~x1689+64 ~x1688+32 ~x1687+16 ~x1686+8 ~x1685+4 ~x1684+2 ~x1683+1 ~x1682-0=32766
41.68/41.77	c 2048 ~x1620712+1024 ~x1620711+512 ~x1620710+256 ~x1620709+128 ~x1620708+64 ~x1620707+32 ~x1620706+16 ~x1620705+8 ~x1620704+4 ~x1620703+2 ~x1620702+1 ~x1620701+2048 x7859+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=8190
41.79/41.83	c 4096 ~x1623061+2048 ~x1623060+1024 ~x1623059+512 ~x1623058+256 ~x1623057+128 ~x1623056+64 ~x1623055+32 ~x1623054+16 ~x1623053+8 ~x1623052+4 ~x1623051+2 ~x1623050+1 ~x1623049+6144 x7860+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
41.79/41.90	c 16384 ~x1625763+8192 ~x1625762+4096 ~x1625761+2048 ~x1625760+1024 ~x1625759+512 ~x1625758+256 ~x1625757+128 ~x1625756+64 ~x1625755+32 ~x1625754+16 ~x1625753+8 ~x1625752+4 ~x1625751+2 ~x1625750+1 ~x1625749+16384 x7861+16384 ~x1786+8192 ~x1785+4096 ~x1784+2048 ~x1783+1024 ~x1782+512 ~x1781+256 ~x1780+128 ~x1779+64 ~x1778+32 ~x1777+16 ~x1776+8 ~x1775+4 ~x1774+2 ~x1773+1 ~x1772-0=65534
41.98/42.00	c 32768 ~x1629799+16384 ~x1629798+8192 ~x1629797+4096 ~x1629796+2048 ~x1629795+1024 ~x1629794+512 ~x1629793+256 ~x1629792+128 ~x1629791+64 ~x1629790+32 ~x1629789+16 ~x1629788+8 ~x1629787+4 ~x1629786+2 ~x1629785+1 ~x1629784+33792 x7862+32768 ~x1817+16384 ~x1816+8192 ~x1815+4096 ~x1814+2048 ~x1813+1024 ~x1812+512 ~x1811+256 ~x1810+128 ~x1809+64 ~x1808+32 ~x1807+16 ~x1806+8 ~x1805+4 ~x1804+2 ~x1803+1 ~x1802-0=131070
42.07/42.11	c 4096 ~x1634425+2048 ~x1634424+1024 ~x1634423+512 ~x1634422+256 ~x1634421+128 ~x1634420+64 ~x1634419+32 ~x1634418+16 ~x1634417+8 ~x1634416+4 ~x1634415+2 ~x1634414+1 ~x1634413+4096 x7863+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.07/42.18	c 4096 ~x1637125+2048 ~x1637124+1024 ~x1637123+512 ~x1637122+256 ~x1637121+128 ~x1637120+64 ~x1637119+32 ~x1637118+16 ~x1637117+8 ~x1637116+4 ~x1637115+2 ~x1637114+1 ~x1637113+6144 x7864+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
42.17/42.25	c 2048 ~x1639824+1024 ~x1639823+512 ~x1639822+256 ~x1639821+128 ~x1639820+64 ~x1639819+32 ~x1639818+16 ~x1639817+8 ~x1639816+4 ~x1639815+2 ~x1639814+1 ~x1639813+3072 x7865+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
42.27/42.31	c 8192 ~x1642174+4096 ~x1642173+2048 ~x1642172+1024 ~x1642171+512 ~x1642170+256 ~x1642169+128 ~x1642168+64 ~x1642167+32 ~x1642166+16 ~x1642165+8 ~x1642164+4 ~x1642163+2 ~x1642162+1 ~x1642161+11264 x7866+8192 ~x1935+4096 ~x1934+2048 ~x1933+1024 ~x1932+512 ~x1931+256 ~x1930+128 ~x1929+64 ~x1928+32 ~x1927+16 ~x1926+8 ~x1925+4 ~x1924+2 ~x1923+1 ~x1922-0=32766
42.38/42.40	c 8192 ~x1645890+4096 ~x1645889+2048 ~x1645888+1024 ~x1645887+512 ~x1645886+256 ~x1645885+128 ~x1645884+64 ~x1645883+32 ~x1645882+16 ~x1645881+8 ~x1645880+4 ~x1645879+2 ~x1645878+1 ~x1645877+8192 x7867+8192 ~x1965+4096 ~x1964+2048 ~x1963+1024 ~x1962+512 ~x1961+256 ~x1960+128 ~x1959+64 ~x1958+32 ~x1957+16 ~x1956+8 ~x1955+4 ~x1954+2 ~x1953+1 ~x1952-0=32766
42.38/42.50	c 8192 ~x1649606+4096 ~x1649605+2048 ~x1649604+1024 ~x1649603+512 ~x1649602+256 ~x1649601+128 ~x1649600+64 ~x1649599+32 ~x1649598+16 ~x1649597+8 ~x1649596+4 ~x1649595+2 ~x1649594+1 ~x1649593+11264 x7868+8192 ~x1995+4096 ~x1994+2048 ~x1993+1024 ~x1992+512 ~x1991+256 ~x1990+128 ~x1989+64 ~x1988+32 ~x1987+16 ~x1986+8 ~x1985+4 ~x1984+2 ~x1983+1 ~x1982-0=32766
42.48/42.59	c 8192 ~x1653322+4096 ~x1653321+2048 ~x1653320+1024 ~x1653319+512 ~x1653318+256 ~x1653317+128 ~x1653316+64 ~x1653315+32 ~x1653314+16 ~x1653313+8 ~x1653312+4 ~x1653311+2 ~x1653310+1 ~x1653309+10240 x7869+8192 ~x2025+4096 ~x2024+2048 ~x2023+1024 ~x2022+512 ~x2021+256 ~x2020+128 ~x2019+64 ~x2018+32 ~x2017+16 ~x2016+8 ~x2015+4 ~x2014+2 ~x2013+1 ~x2012-0=32766
42.58/42.68	c 8192 ~x1657038+4096 ~x1657037+2048 ~x1657036+1024 ~x1657035+512 ~x1657034+256 ~x1657033+128 ~x1657032+64 ~x1657031+32 ~x1657030+16 ~x1657029+8 ~x1657028+4 ~x1657027+2 ~x1657026+1 ~x1657025+8192 x7870+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
42.68/42.78	c 8192 ~x1660754+4096 ~x1660753+2048 ~x1660752+1024 ~x1660751+512 ~x1660750+256 ~x1660749+128 ~x1660748+64 ~x1660747+32 ~x1660746+16 ~x1660745+8 ~x1660744+4 ~x1660743+2 ~x1660742+1 ~x1660741+11264 x7871+8192 ~x2085+4096 ~x2084+2048 ~x2083+1024 ~x2082+512 ~x2081+256 ~x2080+128 ~x2079+64 ~x2078+32 ~x2077+16 ~x2076+8 ~x2075+4 ~x2074+2 ~x2073+1 ~x2072-0=32766
42.78/42.87	c 8192 ~x1664470+4096 ~x1664469+2048 ~x1664468+1024 ~x1664467+512 ~x1664466+256 ~x1664465+128 ~x1664464+64 ~x1664463+32 ~x1664462+16 ~x1664461+8 ~x1664460+4 ~x1664459+2 ~x1664458+1 ~x1664457+11264 x7872+8192 ~x2115+4096 ~x2114+2048 ~x2113+1024 ~x2112+512 ~x2111+256 ~x2110+128 ~x2109+64 ~x2108+32 ~x2107+16 ~x2106+8 ~x2105+4 ~x2104+2 ~x2103+1 ~x2102-0=32766
42.88/42.97	c 2048 ~x1668184+1024 ~x1668183+512 ~x1668182+256 ~x1668181+128 ~x1668180+64 ~x1668179+32 ~x1668178+16 ~x1668177+8 ~x1668176+4 ~x1668175+2 ~x1668174+1 ~x1668173+3072 x7873+2048 ~x2143+1024 ~x2142+512 ~x2141+256 ~x2140+128 ~x2139+64 ~x2138+32 ~x2137+16 ~x2136+8 ~x2135+4 ~x2134+2 ~x2133+1 ~x2132-0=8190
42.97/43.03	c 4096 ~x1670533+2048 ~x1670532+1024 ~x1670531+512 ~x1670530+256 ~x1670529+128 ~x1670528+64 ~x1670527+32 ~x1670526+16 ~x1670525+8 ~x1670524+4 ~x1670523+2 ~x1670522+1 ~x1670521+6144 x7874+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
42.97/43.10	c 2048 ~x1673232+1024 ~x1673231+512 ~x1673230+256 ~x1673229+128 ~x1673228+64 ~x1673227+32 ~x1673226+16 ~x1673225+8 ~x1673224+4 ~x1673223+2 ~x1673222+1 ~x1673221+2048 x7875+2048 ~x2203+1024 ~x2202+512 ~x2201+256 ~x2200+128 ~x2199+64 ~x2198+32 ~x2197+16 ~x2196+8 ~x2195+4 ~x2194+2 ~x2193+1 ~x2192-0=8190
43.08/43.16	c 4096 ~x1675581+2048 ~x1675580+1024 ~x1675579+512 ~x1675578+256 ~x1675577+128 ~x1675576+64 ~x1675575+32 ~x1675574+16 ~x1675573+8 ~x1675572+4 ~x1675571+2 ~x1675570+1 ~x1675569+7168 x7876+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.18/43.23	c 8192 ~x1678282+4096 ~x1678281+2048 ~x1678280+1024 ~x1678279+512 ~x1678278+256 ~x1678277+128 ~x1678276+64 ~x1678275+32 ~x1678274+16 ~x1678273+8 ~x1678272+4 ~x1678271+2 ~x1678270+1 ~x1678269+11264 x7877+8192 ~x2265+4096 ~x2264+2048 ~x2263+1024 ~x2262+512 ~x2261+256 ~x2260+128 ~x2259+64 ~x2258+32 ~x2257+16 ~x2256+8 ~x2255+4 ~x2254+2 ~x2253+1 ~x2252-0=32766
43.27/43.32	c 8192 ~x1681998+4096 ~x1681997+2048 ~x1681996+1024 ~x1681995+512 ~x1681994+256 ~x1681993+128 ~x1681992+64 ~x1681991+32 ~x1681990+16 ~x1681989+8 ~x1681988+4 ~x1681987+2 ~x1681986+1 ~x1681985+11264 x7878+8192 ~x2295+4096 ~x2294+2048 ~x2293+1024 ~x2292+512 ~x2291+256 ~x2290+128 ~x2289+64 ~x2288+32 ~x2287+16 ~x2286+8 ~x2285+4 ~x2284+2 ~x2283+1 ~x2282-0=32766
43.37/43.41	c 4096 ~x1685713+2048 ~x1685712+1024 ~x1685711+512 ~x1685710+256 ~x1685709+128 ~x1685708+64 ~x1685707+32 ~x1685706+16 ~x1685705+8 ~x1685704+4 ~x1685703+2 ~x1685702+1 ~x1685701+4096 x7879+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
43.37/43.48	c 4096 ~x1688413+2048 ~x1688412+1024 ~x1688411+512 ~x1688410+256 ~x1688409+128 ~x1688408+64 ~x1688407+32 ~x1688406+16 ~x1688405+8 ~x1688404+4 ~x1688403+2 ~x1688402+1 ~x1688401+6144 x7880+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
43.48/43.55	c 8192 ~x1691114+4096 ~x1691113+2048 ~x1691112+1024 ~x1691111+512 ~x1691110+256 ~x1691109+128 ~x1691108+64 ~x1691107+32 ~x1691106+16 ~x1691105+8 ~x1691104+4 ~x1691103+2 ~x1691102+1 ~x1691101+8192 x7881+8192 ~x2385+4096 ~x2384+2048 ~x2383+1024 ~x2382+512 ~x2381+256 ~x2380+128 ~x2379+64 ~x2378+32 ~x2377+16 ~x2376+8 ~x2375+4 ~x2374+2 ~x2373+1 ~x2372-0=32766
43.57/43.65	c 8192 ~x1694830+4096 ~x1694829+2048 ~x1694828+1024 ~x1694827+512 ~x1694826+256 ~x1694825+128 ~x1694824+64 ~x1694823+32 ~x1694822+16 ~x1694821+8 ~x1694820+4 ~x1694819+2 ~x1694818+1 ~x1694817+11264 x7882+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
43.67/43.74	c 2048 ~x1698544+1024 ~x1698543+512 ~x1698542+256 ~x1698541+128 ~x1698540+64 ~x1698539+32 ~x1698538+16 ~x1698537+8 ~x1698536+4 ~x1698535+2 ~x1698534+1 ~x1698533+2048 x7883+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=8190
43.77/43.80	c 8192 ~x1700894+4096 ~x1700893+2048 ~x1700892+1024 ~x1700891+512 ~x1700890+256 ~x1700889+128 ~x1700888+64 ~x1700887+32 ~x1700886+16 ~x1700885+8 ~x1700884+4 ~x1700883+2 ~x1700882+1 ~x1700881+8192 x7884+8192 ~x2475+4096 ~x2474+2048 ~x2473+1024 ~x2472+512 ~x2471+256 ~x2470+128 ~x2469+64 ~x2468+32 ~x2467+16 ~x2466+8 ~x2465+4 ~x2464+2 ~x2463+1 ~x2462-0=32766
43.77/43.90	c 8192 ~x1704610+4096 ~x1704609+2048 ~x1704608+1024 ~x1704607+512 ~x1704606+256 ~x1704605+128 ~x1704604+64 ~x1704603+32 ~x1704602+16 ~x1704601+8 ~x1704600+4 ~x1704599+2 ~x1704598+1 ~x1704597+8192 x7885+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
43.89/43.99	c 8192 ~x1708326+4096 ~x1708325+2048 ~x1708324+1024 ~x1708323+512 ~x1708322+256 ~x1708321+128 ~x1708320+64 ~x1708319+32 ~x1708318+16 ~x1708317+8 ~x1708316+4 ~x1708315+2 ~x1708314+1 ~x1708313+11264 x7886+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
43.98/44.08	c 8192 ~x1712042+4096 ~x1712041+2048 ~x1712040+1024 ~x1712039+512 ~x1712038+256 ~x1712037+128 ~x1712036+64 ~x1712035+32 ~x1712034+16 ~x1712033+8 ~x1712032+4 ~x1712031+2 ~x1712030+1 ~x1712029+11264 x7887+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.07/44.18	c 4096 ~x1715757+2048 ~x1715756+1024 ~x1715755+512 ~x1715754+256 ~x1715753+128 ~x1715752+64 ~x1715751+32 ~x1715750+16 ~x1715749+8 ~x1715748+4 ~x1715747+2 ~x1715746+1 ~x1715745+6144 x7888+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=16382
44.17/44.25	c 8192 ~x1718458+4096 ~x1718457+2048 ~x1718456+1024 ~x1718455+512 ~x1718454+256 ~x1718453+128 ~x1718452+64 ~x1718451+32 ~x1718450+16 ~x1718449+8 ~x1718448+4 ~x1718447+2 ~x1718446+1 ~x1718445+11264 x7889+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.27/44.34	c 8192 ~x1722174+4096 ~x1722173+2048 ~x1722172+1024 ~x1722171+512 ~x1722170+256 ~x1722169+128 ~x1722168+64 ~x1722167+32 ~x1722166+16 ~x1722165+8 ~x1722164+4 ~x1722163+2 ~x1722162+1 ~x1722161+11264 x7890+8192 ~x2655+4096 ~x2654+2048 ~x2653+1024 ~x2652+512 ~x2651+256 ~x2650+128 ~x2649+64 ~x2648+32 ~x2647+16 ~x2646+8 ~x2645+4 ~x2644+2 ~x2643+1 ~x2642-0=32766
44.38/44.44	c 4096 ~x1725889+2048 ~x1725888+1024 ~x1725887+512 ~x1725886+256 ~x1725885+128 ~x1725884+64 ~x1725883+32 ~x1725882+16 ~x1725881+8 ~x1725880+4 ~x1725879+2 ~x1725878+1 ~x1725877+4096 x7891+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=16382
44.48/44.50	c 16384 ~x1728591+8192 ~x1728590+4096 ~x1728589+2048 ~x1728588+1024 ~x1728587+512 ~x1728586+256 ~x1728585+128 ~x1728584+64 ~x1728583+32 ~x1728582+16 ~x1728581+8 ~x1728580+4 ~x1728579+2 ~x1728578+1 ~x1728577+30720 x7892+16384 ~x2716+8192 ~x2715+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=65534
44.57/44.61	c 4096 ~x1732881+2048 ~x1732880+1024 ~x1732879+512 ~x1732878+256 ~x1732877+128 ~x1732876+64 ~x1732875+32 ~x1732874+16 ~x1732873+8 ~x1732872+4 ~x1732871+2 ~x1732870+1 ~x1732869+6144 x7893+4096 ~x2744+2048 ~x2743+1024 ~x2742+512 ~x2741+256 ~x2740+128 ~x2739+64 ~x2738+32 ~x2737+16 ~x2736+8 ~x2735+4 ~x2734+2 ~x2733+1 ~x2732-0=16382
44.57/44.68	c 2048 ~x1735580+1024 ~x1735579+512 ~x1735578+256 ~x1735577+128 ~x1735576+64 ~x1735575+32 ~x1735574+16 ~x1735573+8 ~x1735572+4 ~x1735571+2 ~x1735570+1 ~x1735569+3072 x7894+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=8190
44.68/44.74	c 16384 ~x1737931+8192 ~x1737930+4096 ~x1737929+2048 ~x1737928+1024 ~x1737927+512 ~x1737926+256 ~x1737925+128 ~x1737924+64 ~x1737923+32 ~x1737922+16 ~x1737921+8 ~x1737920+4 ~x1737919+2 ~x1737918+1 ~x1737917+21504 x7895+16384 ~x2806+8192 ~x2805+4096 ~x2804+2048 ~x2803+1024 ~x2802+512 ~x2801+256 ~x2800+128 ~x2799+64 ~x2798+32 ~x2797+16 ~x2796+8 ~x2795+4 ~x2794+2 ~x2793+1 ~x2792-0=65534
44.78/44.85	c 8192 ~x1742222+4096 ~x1742221+2048 ~x1742220+1024 ~x1742219+512 ~x1742218+256 ~x1742217+128 ~x1742216+64 ~x1742215+32 ~x1742214+16 ~x1742213+8 ~x1742212+4 ~x1742211+2 ~x1742210+1 ~x1742209+8192 x7896+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
44.88/44.94	c 8192 ~x1745938+4096 ~x1745937+2048 ~x1745936+1024 ~x1745935+512 ~x1745934+256 ~x1745933+128 ~x1745932+64 ~x1745931+32 ~x1745930+16 ~x1745929+8 ~x1745928+4 ~x1745927+2 ~x1745926+1 ~x1745925+14336 x7897+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
44.98/45.04	c 8192 ~x1749654+4096 ~x1749653+2048 ~x1749652+1024 ~x1749651+512 ~x1749650+256 ~x1749649+128 ~x1749648+64 ~x1749647+32 ~x1749646+16 ~x1749645+8 ~x1749644+4 ~x1749643+2 ~x1749642+1 ~x1749641+10240 x7898+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.08/45.13	c 8192 ~x1753370+4096 ~x1753369+2048 ~x1753368+1024 ~x1753367+512 ~x1753366+256 ~x1753365+128 ~x1753364+64 ~x1753363+32 ~x1753362+16 ~x1753361+8 ~x1753360+4 ~x1753359+2 ~x1753358+1 ~x1753357+11264 x7899+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.17/45.23	c 16384 ~x1757087+8192 ~x1757086+4096 ~x1757085+2048 ~x1757084+1024 ~x1757083+512 ~x1757082+256 ~x1757081+128 ~x1757080+64 ~x1757079+32 ~x1757078+16 ~x1757077+8 ~x1757076+4 ~x1757075+2 ~x1757074+1 ~x1757073+19456 x7900+16384 ~x2956+8192 ~x2955+4096 ~x2954+2048 ~x2953+1024 ~x2952+512 ~x2951+256 ~x2950+128 ~x2949+64 ~x2948+32 ~x2947+16 ~x2946+8 ~x2945+4 ~x2944+2 ~x2943+1 ~x2942-0=65534
45.27/45.33	c 2048 ~x1761119+1024 ~x1761118+512 ~x1761117+256 ~x1761116+128 ~x1761115+64 ~x1761114+32 ~x1761113+16 ~x1761112+8 ~x1761111+4 ~x1761110+2 ~x1761109+1 ~x1761108+3072 x7901+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=8190
45.27/45.39	c 4096 ~x1763468+2048 ~x1763467+1024 ~x1763466+512 ~x1763465+256 ~x1763464+128 ~x1763463+64 ~x1763462+32 ~x1763461+16 ~x1763460+8 ~x1763459+4 ~x1763458+2 ~x1763457+1 ~x1763456+6144 x7902+4096 ~x3014+2048 ~x3013+1024 ~x3012+512 ~x3011+256 ~x3010+128 ~x3009+64 ~x3008+32 ~x3007+16 ~x3006+8 ~x3005+4 ~x3004+2 ~x3003+1 ~x3002-0=16382
45.37/45.46	c 8192 ~x1766169+4096 ~x1766168+2048 ~x1766167+1024 ~x1766166+512 ~x1766165+256 ~x1766164+128 ~x1766163+64 ~x1766162+32 ~x1766161+16 ~x1766160+8 ~x1766159+4 ~x1766158+2 ~x1766157+1 ~x1766156+11264 x7903+8192 ~x3045+4096 ~x3044+2048 ~x3043+1024 ~x3042+512 ~x3041+256 ~x3040+128 ~x3039+64 ~x3038+32 ~x3037+16 ~x3036+8 ~x3035+4 ~x3034+2 ~x3033+1 ~x3032-0=32766
45.48/45.55	c 2048 ~x1769883+1024 ~x1769882+512 ~x1769881+256 ~x1769880+128 ~x1769879+64 ~x1769878+32 ~x1769877+16 ~x1769876+8 ~x1769875+4 ~x1769874+2 ~x1769873+1 ~x1769872+2048 x7904+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=8190
45.57/45.62	c 4096 ~x1772232+2048 ~x1772231+1024 ~x1772230+512 ~x1772229+256 ~x1772228+128 ~x1772227+64 ~x1772226+32 ~x1772225+16 ~x1772224+8 ~x1772223+4 ~x1772222+2 ~x1772221+1 ~x1772220+7168 x7905+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=16382
45.57/45.69	c 16384 ~x1774934+8192 ~x1774933+4096 ~x1774932+2048 ~x1774931+1024 ~x1774930+512 ~x1774929+256 ~x1774928+128 ~x1774927+64 ~x1774926+32 ~x1774925+16 ~x1774924+8 ~x1774923+4 ~x1774922+2 ~x1774921+1 ~x1774920+29696 x7906+16384 ~x3136+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=65534
45.68/45.79	c 32768 ~x1779227+16384 ~x1779226+8192 ~x1779225+4096 ~x1779224+2048 ~x1779223+1024 ~x1779222+512 ~x1779221+256 ~x1779220+128 ~x1779219+64 ~x1779218+32 ~x1779217+16 ~x1779216+8 ~x1779215+4 ~x1779214+2 ~x1779213+1 ~x1779212+55296 x7907+32768 ~x3167+16384 ~x3166+8192 ~x3165+4096 ~x3164+2048 ~x3163+1024 ~x3162+512 ~x3161+256 ~x3160+128 ~x3159+64 ~x3158+32 ~x3157+16 ~x3156+8 ~x3155+4 ~x3154+2 ~x3153+1 ~x3152-0=131070
45.87/45.91	c 4096 ~x1783853+2048 ~x1783852+1024 ~x1783851+512 ~x1783850+256 ~x1783849+128 ~x1783848+64 ~x1783847+32 ~x1783846+16 ~x1783845+8 ~x1783844+4 ~x1783843+2 ~x1783842+1 ~x1783841+4096 x7908+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=16382
45.87/45.98	c 4096 ~x1786553+2048 ~x1786552+1024 ~x1786551+512 ~x1786550+256 ~x1786549+128 ~x1786548+64 ~x1786547+32 ~x1786546+16 ~x1786545+8 ~x1786544+4 ~x1786543+2 ~x1786542+1 ~x1786541+6144 x7909+4096 ~x3224+2048 ~x3223+1024 ~x3222+512 ~x3221+256 ~x3220+128 ~x3219+64 ~x3218+32 ~x3217+16 ~x3216+8 ~x3215+4 ~x3214+2 ~x3213+1 ~x3212-0=16382
45.97/46.05	c 16384 ~x1789255+8192 ~x1789254+4096 ~x1789253+2048 ~x1789252+1024 ~x1789251+512 ~x1789250+256 ~x1789249+128 ~x1789248+64 ~x1789247+32 ~x1789246+16 ~x1789245+8 ~x1789244+4 ~x1789243+2 ~x1789242+1 ~x1789241+27648 x7910+16384 ~x3256+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=65534
46.08/46.15	c 2048 ~x1793544+1024 ~x1793543+512 ~x1793542+256 ~x1793541+128 ~x1793540+64 ~x1793539+32 ~x1793538+16 ~x1793537+8 ~x1793536+4 ~x1793535+2 ~x1793534+1 ~x1793533+2048 x7911+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=8190
46.19/46.21	c 8192 ~x1795894+4096 ~x1795893+2048 ~x1795892+1024 ~x1795891+512 ~x1795890+256 ~x1795889+128 ~x1795888+64 ~x1795887+32 ~x1795886+16 ~x1795885+8 ~x1795884+4 ~x1795883+2 ~x1795882+1 ~x1795881+8192 x7912+8192 ~x3315+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=32766
46.28/46.31	c 8192 ~x1799610+4096 ~x1799609+2048 ~x1799608+1024 ~x1799607+512 ~x1799606+256 ~x1799605+128 ~x1799604+64 ~x1799603+32 ~x1799602+16 ~x1799601+8 ~x1799600+4 ~x1799599+2 ~x1799598+1 ~x1799597+8192 x7913+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.38/46.40	c 8192 ~x1803326+4096 ~x1803325+2048 ~x1803324+1024 ~x1803323+512 ~x1803322+256 ~x1803321+128 ~x1803320+64 ~x1803319+32 ~x1803318+16 ~x1803317+8 ~x1803316+4 ~x1803315+2 ~x1803314+1 ~x1803313+14336 x7914+8192 ~x3375+4096 ~x3374+2048 ~x3373+1024 ~x3372+512 ~x3371+256 ~x3370+128 ~x3369+64 ~x3368+32 ~x3367+16 ~x3366+8 ~x3365+4 ~x3364+2 ~x3363+1 ~x3362-0=32766
46.38/46.50	c 4096 ~x1807041+2048 ~x1807040+1024 ~x1807039+512 ~x1807038+256 ~x1807037+128 ~x1807036+64 ~x1807035+32 ~x1807034+16 ~x1807033+8 ~x1807032+4 ~x1807031+2 ~x1807030+1 ~x1807029+6144 x7915+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.47/46.56	c 16384 ~x1809743+8192 ~x1809742+4096 ~x1809741+2048 ~x1809740+1024 ~x1809739+512 ~x1809738+256 ~x1809737+128 ~x1809736+64 ~x1809735+32 ~x1809734+16 ~x1809733+8 ~x1809732+4 ~x1809731+2 ~x1809730+1 ~x1809729+30720 x7916+16384 ~x3436+8192 ~x3435+4096 ~x3434+2048 ~x3433+1024 ~x3432+512 ~x3431+256 ~x3430+128 ~x3429+64 ~x3428+32 ~x3427+16 ~x3426+8 ~x3425+4 ~x3424+2 ~x3423+1 ~x3422-0=65534
46.57/46.67	c 8192 ~x1814034+4096 ~x1814033+2048 ~x1814032+1024 ~x1814031+512 ~x1814030+256 ~x1814029+128 ~x1814028+64 ~x1814027+32 ~x1814026+16 ~x1814025+8 ~x1814024+4 ~x1814023+2 ~x1814022+1 ~x1814021+11264 x7917+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
46.67/46.77	c 4096 ~x1817749+2048 ~x1817748+1024 ~x1817747+512 ~x1817746+256 ~x1817745+128 ~x1817744+64 ~x1817743+32 ~x1817742+16 ~x1817741+8 ~x1817740+4 ~x1817739+2 ~x1817738+1 ~x1817737+6144 x7918+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=16382
46.77/46.83	c 16384 ~x1820451+8192 ~x1820450+4096 ~x1820449+2048 ~x1820448+1024 ~x1820447+512 ~x1820446+256 ~x1820445+128 ~x1820444+64 ~x1820443+32 ~x1820442+16 ~x1820441+8 ~x1820440+4 ~x1820439+2 ~x1820438+1 ~x1820437+16384 x7919+16384 ~x3526+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=65534
46.87/46.94	c 32768 ~x1824487+16384 ~x1824486+8192 ~x1824485+4096 ~x1824484+2048 ~x1824483+1024 ~x1824482+512 ~x1824481+256 ~x1824480+128 ~x1824479+64 ~x1824478+32 ~x1824477+16 ~x1824476+8 ~x1824475+4 ~x1824474+2 ~x1824473+1 ~x1824472+33792 x7920+32768 ~x3557+16384 ~x3556+8192 ~x3555+4096 ~x3554+2048 ~x3553+1024 ~x3552+512 ~x3551+256 ~x3550+128 ~x3549+64 ~x3548+32 ~x3547+16 ~x3546+8 ~x3545+4 ~x3544+2 ~x3543+1 ~x3542-0=131070
46.97/47.05	c 4096 ~x1829113+2048 ~x1829112+1024 ~x1829111+512 ~x1829110+256 ~x1829109+128 ~x1829108+64 ~x1829107+32 ~x1829106+16 ~x1829105+8 ~x1829104+4 ~x1829103+2 ~x1829102+1 ~x1829101+4096 x7921+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.08/47.12	c 4096 ~x1831813+2048 ~x1831812+1024 ~x1831811+512 ~x1831810+256 ~x1831809+128 ~x1831808+64 ~x1831807+32 ~x1831806+16 ~x1831805+8 ~x1831804+4 ~x1831803+2 ~x1831802+1 ~x1831801+6144 x7922+4096 ~x3614+2048 ~x3613+1024 ~x3612+512 ~x3611+256 ~x3610+128 ~x3609+64 ~x3608+32 ~x3607+16 ~x3606+8 ~x3605+4 ~x3604+2 ~x3603+1 ~x3602-0=16382
47.08/47.19	c 2048 ~x1834512+1024 ~x1834511+512 ~x1834510+256 ~x1834509+128 ~x1834508+64 ~x1834507+32 ~x1834506+16 ~x1834505+8 ~x1834504+4 ~x1834503+2 ~x1834502+1 ~x1834501+3072 x7923+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=8190
47.18/47.25	c 16384 ~x1836863+8192 ~x1836862+4096 ~x1836861+2048 ~x1836860+1024 ~x1836859+512 ~x1836858+256 ~x1836857+128 ~x1836856+64 ~x1836855+32 ~x1836854+16 ~x1836853+8 ~x1836852+4 ~x1836851+2 ~x1836850+1 ~x1836849+18432 x7924+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.28/47.35	c 8192 ~x1840897+4096 ~x1840896+2048 ~x1840895+1024 ~x1840894+512 ~x1840893+256 ~x1840892+128 ~x1840891+64 ~x1840890+32 ~x1840889+16 ~x1840888+8 ~x1840887+4 ~x1840886+2 ~x1840885+1 ~x1840884+8192 x7925+8192 ~x3705+4096 ~x3704+2048 ~x3703+1024 ~x3702+512 ~x3701+256 ~x3700+128 ~x3699+64 ~x3698+32 ~x3697+16 ~x3696+8 ~x3695+4 ~x3694+2 ~x3693+1 ~x3692-0=32766
47.37/47.44	c 16384 ~x1844614+8192 ~x1844613+4096 ~x1844612+2048 ~x1844611+1024 ~x1844610+512 ~x1844609+256 ~x1844608+128 ~x1844607+64 ~x1844606+32 ~x1844605+16 ~x1844604+8 ~x1844603+4 ~x1844602+2 ~x1844601+1 ~x1844600+16384 x7926+16384 ~x3736+8192 ~x3735+4096 ~x3734+2048 ~x3733+1024 ~x3732+512 ~x3731+256 ~x3730+128 ~x3729+64 ~x3728+32 ~x3727+16 ~x3726+8 ~x3725+4 ~x3724+2 ~x3723+1 ~x3722-0=65534
47.48/47.55	c 8192 ~x1848648+4096 ~x1848647+2048 ~x1848646+1024 ~x1848645+512 ~x1848644+256 ~x1848643+128 ~x1848642+64 ~x1848641+32 ~x1848640+16 ~x1848639+8 ~x1848638+4 ~x1848637+2 ~x1848636+1 ~x1848635+14336 x7927+8192 ~x3765+4096 ~x3764+2048 ~x3763+1024 ~x3762+512 ~x3761+256 ~x3760+128 ~x3759+64 ~x3758+32 ~x3757+16 ~x3756+8 ~x3755+4 ~x3754+2 ~x3753+1 ~x3752-0=32766
47.58/47.64	c 8192 ~x1852364+4096 ~x1852363+2048 ~x1852362+1024 ~x1852361+512 ~x1852360+256 ~x1852359+128 ~x1852358+64 ~x1852357+32 ~x1852356+16 ~x1852355+8 ~x1852354+4 ~x1852353+2 ~x1852352+1 ~x1852351+10240 x7928+8192 ~x3795+4096 ~x3794+2048 ~x3793+1024 ~x3792+512 ~x3791+256 ~x3790+128 ~x3789+64 ~x3788+32 ~x3787+16 ~x3786+8 ~x3785+4 ~x3784+2 ~x3783+1 ~x3782-0=32766
47.67/47.73	c 8192 ~x1856080+4096 ~x1856079+2048 ~x1856078+1024 ~x1856077+512 ~x1856076+256 ~x1856075+128 ~x1856074+64 ~x1856073+32 ~x1856072+16 ~x1856071+8 ~x1856070+4 ~x1856069+2 ~x1856068+1 ~x1856067+11264 x7929+8192 ~x3825+4096 ~x3824+2048 ~x3823+1024 ~x3822+512 ~x3821+256 ~x3820+128 ~x3819+64 ~x3818+32 ~x3817+16 ~x3816+8 ~x3815+4 ~x3814+2 ~x3813+1 ~x3812-0=32766
47.77/47.83	c 16384 ~x1859797+8192 ~x1859796+4096 ~x1859795+2048 ~x1859794+1024 ~x1859793+512 ~x1859792+256 ~x1859791+128 ~x1859790+64 ~x1859789+32 ~x1859788+16 ~x1859787+8 ~x1859786+4 ~x1859785+2 ~x1859784+1 ~x1859783+18432 x7930+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
47.87/47.93	c 2048 ~x1863829+1024 ~x1863828+512 ~x1863827+256 ~x1863826+128 ~x1863825+64 ~x1863824+32 ~x1863823+16 ~x1863822+8 ~x1863821+4 ~x1863820+2 ~x1863819+1 ~x1863818+3072 x7931+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=8190
47.87/47.99	c 4096 ~x1866178+2048 ~x1866177+1024 ~x1866176+512 ~x1866175+256 ~x1866174+128 ~x1866173+64 ~x1866172+32 ~x1866171+16 ~x1866170+8 ~x1866169+4 ~x1866168+2 ~x1866167+1 ~x1866166+6144 x7932+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
47.98/48.06	c 2048 ~x1868877+1024 ~x1868876+512 ~x1868875+256 ~x1868874+128 ~x1868873+64 ~x1868872+32 ~x1868871+16 ~x1868870+8 ~x1868869+4 ~x1868868+2 ~x1868867+1 ~x1868866+2048 x7933+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=8190
48.08/48.12	c 4096 ~x1871226+2048 ~x1871225+1024 ~x1871224+512 ~x1871223+256 ~x1871222+128 ~x1871221+64 ~x1871220+32 ~x1871219+16 ~x1871218+8 ~x1871217+4 ~x1871216+2 ~x1871215+1 ~x1871214+7168 x7934+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=16382
48.08/48.19	c 16384 ~x1873928+8192 ~x1873927+4096 ~x1873926+2048 ~x1873925+1024 ~x1873924+512 ~x1873923+256 ~x1873922+128 ~x1873921+64 ~x1873920+32 ~x1873919+16 ~x1873918+8 ~x1873917+4 ~x1873916+2 ~x1873915+1 ~x1873914+18432 x7935+16384 ~x4006+8192 ~x4005+4096 ~x4004+2048 ~x4003+1024 ~x4002+512 ~x4001+256 ~x4000+128 ~x3999+64 ~x3998+32 ~x3997+16 ~x3996+8 ~x3995+4 ~x3994+2 ~x3993+1 ~x3992-0=65534
48.18/48.29	c 16384 ~x1877963+8192 ~x1877962+4096 ~x1877961+2048 ~x1877960+1024 ~x1877959+512 ~x1877958+256 ~x1877957+128 ~x1877956+64 ~x1877955+32 ~x1877954+16 ~x1877953+8 ~x1877952+4 ~x1877951+2 ~x1877950+1 ~x1877949+18432 x7936+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.28/48.39	c 32768 ~x1881999+16384 ~x1881998+8192 ~x1881997+4096 ~x1881996+2048 ~x1881995+1024 ~x1881994+512 ~x1881993+256 ~x1881992+128 ~x1881991+64 ~x1881990+32 ~x1881989+16 ~x1881988+8 ~x1881987+4 ~x1881986+2 ~x1881985+1 ~x1881984+33792 x7937+32768 ~x4067+16384 ~x4066+8192 ~x4065+4096 ~x4064+2048 ~x4063+1024 ~x4062+512 ~x4061+256 ~x4060+128 ~x4059+64 ~x4058+32 ~x4057+16 ~x4056+8 ~x4055+4 ~x4054+2 ~x4053+1 ~x4052-0=131070
48.47/48.51	c 4096 ~x1886625+2048 ~x1886624+1024 ~x1886623+512 ~x1886622+256 ~x1886621+128 ~x1886620+64 ~x1886619+32 ~x1886618+16 ~x1886617+8 ~x1886616+4 ~x1886615+2 ~x1886614+1 ~x1886613+4096 x7938+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=16382
48.47/48.58	c 4096 ~x1889325+2048 ~x1889324+1024 ~x1889323+512 ~x1889322+256 ~x1889321+128 ~x1889320+64 ~x1889319+32 ~x1889318+16 ~x1889317+8 ~x1889316+4 ~x1889315+2 ~x1889314+1 ~x1889313+6144 x7939+4096 ~x4124+2048 ~x4123+1024 ~x4122+512 ~x4121+256 ~x4120+128 ~x4119+64 ~x4118+32 ~x4117+16 ~x4116+8 ~x4115+4 ~x4114+2 ~x4113+1 ~x4112-0=16382
48.57/48.64	c 16384 ~x1892027+8192 ~x1892026+4096 ~x1892025+2048 ~x1892024+1024 ~x1892023+512 ~x1892022+256 ~x1892021+128 ~x1892020+64 ~x1892019+32 ~x1892018+16 ~x1892017+8 ~x1892016+4 ~x1892015+2 ~x1892014+1 ~x1892013+18432 x7940+16384 ~x4156+8192 ~x4155+4096 ~x4154+2048 ~x4153+1024 ~x4152+512 ~x4151+256 ~x4150+128 ~x4149+64 ~x4148+32 ~x4147+16 ~x4146+8 ~x4145+4 ~x4144+2 ~x4143+1 ~x4142-0=65534
48.68/48.75	c 2048 ~x1896059+1024 ~x1896058+512 ~x1896057+256 ~x1896056+128 ~x1896055+64 ~x1896054+32 ~x1896053+16 ~x1896052+8 ~x1896051+4 ~x1896050+2 ~x1896049+1 ~x1896048+2048 x7941+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
48.77/48.81	c 8192 ~x1898409+4096 ~x1898408+2048 ~x1898407+1024 ~x1898406+512 ~x1898405+256 ~x1898404+128 ~x1898403+64 ~x1898402+32 ~x1898401+16 ~x1898400+8 ~x1898399+4 ~x1898398+2 ~x1898397+1 ~x1898396+8192 x7942+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
48.87/48.90	c 8192 ~x1902125+4096 ~x1902124+2048 ~x1902123+1024 ~x1902122+512 ~x1902121+256 ~x1902120+128 ~x1902119+64 ~x1902118+32 ~x1902117+16 ~x1902116+8 ~x1902115+4 ~x1902114+2 ~x1902113+1 ~x1902112+8192 x7943+8192 ~x4245+4096 ~x4244+2048 ~x4243+1024 ~x4242+512 ~x4241+256 ~x4240+128 ~x4239+64 ~x4238+32 ~x4237+16 ~x4236+8 ~x4235+4 ~x4234+2 ~x4233+1 ~x4232-0=32766
48.87/49.00	c 16384 ~x1905842+8192 ~x1905841+4096 ~x1905840+2048 ~x1905839+1024 ~x1905838+512 ~x1905837+256 ~x1905836+128 ~x1905835+64 ~x1905834+32 ~x1905833+16 ~x1905832+8 ~x1905831+4 ~x1905830+2 ~x1905829+1 ~x1905828+18432 x7944+16384 ~x4276+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=65534
49.07/49.10	c 8192 ~x1909876+4096 ~x1909875+2048 ~x1909874+1024 ~x1909873+512 ~x1909872+256 ~x1909871+128 ~x1909870+64 ~x1909869+32 ~x1909868+16 ~x1909867+8 ~x1909866+4 ~x1909865+2 ~x1909864+1 ~x1909863+11264 x7945+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.07/49.19	c 4096 ~x1913591+2048 ~x1913590+1024 ~x1913589+512 ~x1913588+256 ~x1913587+128 ~x1913586+64 ~x1913585+32 ~x1913584+16 ~x1913583+8 ~x1913582+4 ~x1913581+2 ~x1913580+1 ~x1913579+6144 x7946+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=16382
49.17/49.26	c 16384 ~x1916293+8192 ~x1916292+4096 ~x1916291+2048 ~x1916290+1024 ~x1916289+512 ~x1916288+256 ~x1916287+128 ~x1916286+64 ~x1916285+32 ~x1916284+16 ~x1916283+8 ~x1916282+4 ~x1916281+2 ~x1916280+1 ~x1916279+16384 x7947+16384 ~x4366+8192 ~x4365+4096 ~x4364+2048 ~x4363+1024 ~x4362+512 ~x4361+256 ~x4360+128 ~x4359+64 ~x4358+32 ~x4357+16 ~x4356+8 ~x4355+4 ~x4354+2 ~x4353+1 ~x4352-0=65534
49.28/49.36	c 4096 ~x1920326+2048 ~x1920325+1024 ~x1920324+512 ~x1920323+256 ~x1920322+128 ~x1920321+64 ~x1920320+32 ~x1920319+16 ~x1920318+8 ~x1920317+4 ~x1920316+2 ~x1920315+1 ~x1920314+4096 x7948+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.38/49.43	c 16384 ~x1923028+8192 ~x1923027+4096 ~x1923026+2048 ~x1923025+1024 ~x1923024+512 ~x1923023+256 ~x1923022+128 ~x1923021+64 ~x1923020+32 ~x1923019+16 ~x1923018+8 ~x1923017+4 ~x1923016+2 ~x1923015+1 ~x1923014+18432 x7949+16384 ~x4426+8192 ~x4425+4096 ~x4424+2048 ~x4423+1024 ~x4422+512 ~x4421+256 ~x4420+128 ~x4419+64 ~x4418+32 ~x4417+16 ~x4416+8 ~x4415+4 ~x4414+2 ~x4413+1 ~x4412-0=65534
49.48/49.53	c 4096 ~x1927061+2048 ~x1927060+1024 ~x1927059+512 ~x1927058+256 ~x1927057+128 ~x1927056+64 ~x1927055+32 ~x1927054+16 ~x1927053+8 ~x1927052+4 ~x1927051+2 ~x1927050+1 ~x1927049+4096 x7950+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=16382
49.57/49.60	c 4096 ~x1929761+2048 ~x1929760+1024 ~x1929759+512 ~x1929758+256 ~x1929757+128 ~x1929756+64 ~x1929755+32 ~x1929754+16 ~x1929753+8 ~x1929752+4 ~x1929751+2 ~x1929750+1 ~x1929749+6144 x7951+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
49.57/49.67	c 2048 ~x1932460+1024 ~x1932459+512 ~x1932458+256 ~x1932457+128 ~x1932456+64 ~x1932455+32 ~x1932454+16 ~x1932453+8 ~x1932452+4 ~x1932451+2 ~x1932450+1 ~x1932449+3072 x7952+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=8190
49.67/49.73	c 16384 ~x1934811+8192 ~x1934810+4096 ~x1934809+2048 ~x1934808+1024 ~x1934807+512 ~x1934806+256 ~x1934805+128 ~x1934804+64 ~x1934803+32 ~x1934802+16 ~x1934801+8 ~x1934800+4 ~x1934799+2 ~x1934798+1 ~x1934797+21504 x7953+16384 ~x4546+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=65534
49.77/49.84	c 8192 ~x1939102+4096 ~x1939101+2048 ~x1939100+1024 ~x1939099+512 ~x1939098+256 ~x1939097+128 ~x1939096+64 ~x1939095+32 ~x1939094+16 ~x1939093+8 ~x1939092+4 ~x1939091+2 ~x1939090+1 ~x1939089+8192 x7954+8192 ~x4575+4096 ~x4574+2048 ~x4573+1024 ~x4572+512 ~x4571+256 ~x4570+128 ~x4569+64 ~x4568+32 ~x4567+16 ~x4566+8 ~x4565+4 ~x4564+2 ~x4563+1 ~x4562-0=32766
49.87/49.93	c 8192 ~x1942818+4096 ~x1942817+2048 ~x1942816+1024 ~x1942815+512 ~x1942814+256 ~x1942813+128 ~x1942812+64 ~x1942811+32 ~x1942810+16 ~x1942809+8 ~x1942808+4 ~x1942807+2 ~x1942806+1 ~x1942805+14336 x7955+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
49.97/50.03	c 8192 ~x1946534+4096 ~x1946533+2048 ~x1946532+1024 ~x1946531+512 ~x1946530+256 ~x1946529+128 ~x1946528+64 ~x1946527+32 ~x1946526+16 ~x1946525+8 ~x1946524+4 ~x1946523+2 ~x1946522+1 ~x1946521+10240 x7956+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.07/50.15	c 8192 ~x1950250+4096 ~x1950249+2048 ~x1950248+1024 ~x1950247+512 ~x1950246+256 ~x1950245+128 ~x1950244+64 ~x1950243+32 ~x1950242+16 ~x1950241+8 ~x1950240+4 ~x1950239+2 ~x1950238+1 ~x1950237+11264 x7957+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.17/50.25	c 16384 ~x1953967+8192 ~x1953966+4096 ~x1953965+2048 ~x1953964+1024 ~x1953963+512 ~x1953962+256 ~x1953961+128 ~x1953960+64 ~x1953959+32 ~x1953958+16 ~x1953957+8 ~x1953956+4 ~x1953955+2 ~x1953954+1 ~x1953953+19456 x7958+16384 ~x4696+8192 ~x4695+4096 ~x4694+2048 ~x4693+1024 ~x4692+512 ~x4691+256 ~x4690+128 ~x4689+64 ~x4688+32 ~x4687+16 ~x4686+8 ~x4685+4 ~x4684+2 ~x4683+1 ~x4682-0=65534
50.27/50.35	c 4096 ~x1958000+2048 ~x1957999+1024 ~x1957998+512 ~x1957997+256 ~x1957996+128 ~x1957995+64 ~x1957994+32 ~x1957993+16 ~x1957992+8 ~x1957991+4 ~x1957990+2 ~x1957989+1 ~x1957988+6144 x7959+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.38/50.42	c 2048 ~x1960699+1024 ~x1960698+512 ~x1960697+256 ~x1960696+128 ~x1960695+64 ~x1960694+32 ~x1960693+16 ~x1960692+8 ~x1960691+4 ~x1960690+2 ~x1960689+1 ~x1960688+3072 x7960+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.38/50.48	c 4096 ~x1963048+2048 ~x1963047+1024 ~x1963046+512 ~x1963045+256 ~x1963044+128 ~x1963043+64 ~x1963042+32 ~x1963041+16 ~x1963040+8 ~x1963039+4 ~x1963038+2 ~x1963037+1 ~x1963036+6144 x7961+4096 ~x4784+2048 ~x4783+1024 ~x4782+512 ~x4781+256 ~x4780+128 ~x4779+64 ~x4778+32 ~x4777+16 ~x4776+8 ~x4775+4 ~x4774+2 ~x4773+1 ~x4772-0=16382
50.48/50.55	c 2048 ~x1965747+1024 ~x1965746+512 ~x1965745+256 ~x1965744+128 ~x1965743+64 ~x1965742+32 ~x1965741+16 ~x1965740+8 ~x1965739+4 ~x1965738+2 ~x1965737+1 ~x1965736+2048 x7962+2048 ~x4813+1024 ~x4812+512 ~x4811+256 ~x4810+128 ~x4809+64 ~x4808+32 ~x4807+16 ~x4806+8 ~x4805+4 ~x4804+2 ~x4803+1 ~x4802-0=8190
50.58/50.61	c 4096 ~x1968096+2048 ~x1968095+1024 ~x1968094+512 ~x1968093+256 ~x1968092+128 ~x1968091+64 ~x1968090+32 ~x1968089+16 ~x1968088+8 ~x1968087+4 ~x1968086+2 ~x1968085+1 ~x1968084+7168 x7963+4096 ~x4844+2048 ~x4843+1024 ~x4842+512 ~x4841+256 ~x4840+128 ~x4839+64 ~x4838+32 ~x4837+16 ~x4836+8 ~x4835+4 ~x4834+2 ~x4833+1 ~x4832-0=16382
50.58/50.68	c 16384 ~x1970798+8192 ~x1970797+4096 ~x1970796+2048 ~x1970795+1024 ~x1970794+512 ~x1970793+256 ~x1970792+128 ~x1970791+64 ~x1970790+32 ~x1970789+16 ~x1970788+8 ~x1970787+4 ~x1970786+2 ~x1970785+1 ~x1970784+29696 x7964+16384 ~x4876+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=65534
50.67/50.78	c 32768 ~x1975091+16384 ~x1975090+8192 ~x1975089+4096 ~x1975088+2048 ~x1975087+1024 ~x1975086+512 ~x1975085+256 ~x1975084+128 ~x1975083+64 ~x1975082+32 ~x1975081+16 ~x1975080+8 ~x1975079+4 ~x1975078+2 ~x1975077+1 ~x1975076+57344 x7965+32768 ~x4907+16384 ~x4906+8192 ~x4905+4096 ~x4904+2048 ~x4903+1024 ~x4902+512 ~x4901+256 ~x4900+128 ~x4899+64 ~x4898+32 ~x4897+16 ~x4896+8 ~x4895+4 ~x4894+2 ~x4893+1 ~x4892-0=131070
50.77/50.89	c 4096 ~x1979717+2048 ~x1979716+1024 ~x1979715+512 ~x1979714+256 ~x1979713+128 ~x1979712+64 ~x1979711+32 ~x1979710+16 ~x1979709+8 ~x1979708+4 ~x1979707+2 ~x1979706+1 ~x1979705+4096 x7966+4096 ~x4934+2048 ~x4933+1024 ~x4932+512 ~x4931+256 ~x4930+128 ~x4929+64 ~x4928+32 ~x4927+16 ~x4926+8 ~x4925+4 ~x4924+2 ~x4923+1 ~x4922-0=16382
50.87/50.96	c 4096 ~x1982417+2048 ~x1982416+1024 ~x1982415+512 ~x1982414+256 ~x1982413+128 ~x1982412+64 ~x1982411+32 ~x1982410+16 ~x1982409+8 ~x1982408+4 ~x1982407+2 ~x1982406+1 ~x1982405+6144 x7967+4096 ~x4964+2048 ~x4963+1024 ~x4962+512 ~x4961+256 ~x4960+128 ~x4959+64 ~x4958+32 ~x4957+16 ~x4956+8 ~x4955+4 ~x4954+2 ~x4953+1 ~x4952-0=16382
50.97/51.03	c 16384 ~x1985119+8192 ~x1985118+4096 ~x1985117+2048 ~x1985116+1024 ~x1985115+512 ~x1985114+256 ~x1985113+128 ~x1985112+64 ~x1985111+32 ~x1985110+16 ~x1985109+8 ~x1985108+4 ~x1985107+2 ~x1985106+1 ~x1985105+27648 x7968+16384 ~x4996+8192 ~x4995+4096 ~x4994+2048 ~x4993+1024 ~x4992+512 ~x4991+256 ~x4990+128 ~x4989+64 ~x4988+32 ~x4987+16 ~x4986+8 ~x4985+4 ~x4984+2 ~x4983+1 ~x4982-0=65534
51.08/51.14	c 2048 ~x1989408+1024 ~x1989407+512 ~x1989406+256 ~x1989405+128 ~x1989404+64 ~x1989403+32 ~x1989402+16 ~x1989401+8 ~x1989400+4 ~x1989399+2 ~x1989398+1 ~x1989397+2048 x7969+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=8190
51.18/51.20	c 2048 ~x1991756+1024 ~x1991755+512 ~x1991754+256 ~x1991753+128 ~x1991752+64 ~x1991751+32 ~x1991750+16 ~x1991749+8 ~x1991748+4 ~x1991747+2 ~x1991746+1 ~x1991745+3072 x7970+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.18/51.26	c 8192 ~x1994106+4096 ~x1994105+2048 ~x1994104+1024 ~x1994103+512 ~x1994102+256 ~x1994101+128 ~x1994100+64 ~x1994099+32 ~x1994098+16 ~x1994097+8 ~x1994096+4 ~x1994095+2 ~x1994094+1 ~x1994093+8192 x7971+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.27/51.35	c 8192 ~x1997822+4096 ~x1997821+2048 ~x1997820+1024 ~x1997819+512 ~x1997818+256 ~x1997817+128 ~x1997816+64 ~x1997815+32 ~x1997814+16 ~x1997813+8 ~x1997812+4 ~x1997811+2 ~x1997810+1 ~x1997809+8192 x7972+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.37/51.45	c 16384 ~x2001539+8192 ~x2001538+4096 ~x2001537+2048 ~x2001536+1024 ~x2001535+512 ~x2001534+256 ~x2001533+128 ~x2001532+64 ~x2001531+32 ~x2001530+16 ~x2001529+8 ~x2001528+4 ~x2001527+2 ~x2001526+1 ~x2001525+30720 x7973+16384 ~x5146+8192 ~x5145+4096 ~x5144+2048 ~x5143+1024 ~x5142+512 ~x5141+256 ~x5140+128 ~x5139+64 ~x5138+32 ~x5137+16 ~x5136+8 ~x5135+4 ~x5134+2 ~x5133+1 ~x5132-0=65534
51.47/51.55	c 8192 ~x2005830+4096 ~x2005829+2048 ~x2005828+1024 ~x2005827+512 ~x2005826+256 ~x2005825+128 ~x2005824+64 ~x2005823+32 ~x2005822+16 ~x2005821+8 ~x2005820+4 ~x2005819+2 ~x2005818+1 ~x2005817+11264 x7974+8192 ~x5175+4096 ~x5174+2048 ~x5173+1024 ~x5172+512 ~x5171+256 ~x5170+128 ~x5169+64 ~x5168+32 ~x5167+16 ~x5166+8 ~x5165+4 ~x5164+2 ~x5163+1 ~x5162-0=32766
51.58/51.65	c 4096 ~x2009545+2048 ~x2009544+1024 ~x2009543+512 ~x2009542+256 ~x2009541+128 ~x2009540+64 ~x2009539+32 ~x2009538+16 ~x2009537+8 ~x2009536+4 ~x2009535+2 ~x2009534+1 ~x2009533+6144 x7975+4096 ~x5204+2048 ~x5203+1024 ~x5202+512 ~x5201+256 ~x5200+128 ~x5199+64 ~x5198+32 ~x5197+16 ~x5196+8 ~x5195+4 ~x5194+2 ~x5193+1 ~x5192-0=16382
51.68/51.71	c 16384 ~x2012247+8192 ~x2012246+4096 ~x2012245+2048 ~x2012244+1024 ~x2012243+512 ~x2012242+256 ~x2012241+128 ~x2012240+64 ~x2012239+32 ~x2012238+16 ~x2012237+8 ~x2012236+4 ~x2012235+2 ~x2012234+1 ~x2012233+16384 x7976+16384 ~x5236+8192 ~x5235+4096 ~x5234+2048 ~x5233+1024 ~x5232+512 ~x5231+256 ~x5230+128 ~x5229+64 ~x5228+32 ~x5227+16 ~x5226+8 ~x5225+4 ~x5224+2 ~x5223+1 ~x5222-0=65534
51.77/51.82	c 32768 ~x2016283+16384 ~x2016282+8192 ~x2016281+4096 ~x2016280+2048 ~x2016279+1024 ~x2016278+512 ~x2016277+256 ~x2016276+128 ~x2016275+64 ~x2016274+32 ~x2016273+16 ~x2016272+8 ~x2016271+4 ~x2016270+2 ~x2016269+1 ~x2016268+33792 x7977+32768 ~x5267+16384 ~x5266+8192 ~x5265+4096 ~x5264+2048 ~x5263+1024 ~x5262+512 ~x5261+256 ~x5260+128 ~x5259+64 ~x5258+32 ~x5257+16 ~x5256+8 ~x5255+4 ~x5254+2 ~x5253+1 ~x5252-0=131070
51.87/51.93	c 4096 ~x2020909+2048 ~x2020908+1024 ~x2020907+512 ~x2020906+256 ~x2020905+128 ~x2020904+64 ~x2020903+32 ~x2020902+16 ~x2020901+8 ~x2020900+4 ~x2020899+2 ~x2020898+1 ~x2020897+4096 x7978+4096 ~x5294+2048 ~x5293+1024 ~x5292+512 ~x5291+256 ~x5290+128 ~x5289+64 ~x5288+32 ~x5287+16 ~x5286+8 ~x5285+4 ~x5284+2 ~x5283+1 ~x5282-0=16382
51.87/52.00	c 4096 ~x2023609+2048 ~x2023608+1024 ~x2023607+512 ~x2023606+256 ~x2023605+128 ~x2023604+64 ~x2023603+32 ~x2023602+16 ~x2023601+8 ~x2023600+4 ~x2023599+2 ~x2023598+1 ~x2023597+6144 x7979+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=16382
51.98/52.06	c 2048 ~x2026308+1024 ~x2026307+512 ~x2026306+256 ~x2026305+128 ~x2026304+64 ~x2026303+32 ~x2026302+16 ~x2026301+8 ~x2026300+4 ~x2026299+2 ~x2026298+1 ~x2026297+3072 x7980+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=8190
52.07/52.13	c 16384 ~x2028659+8192 ~x2028658+4096 ~x2028657+2048 ~x2028656+1024 ~x2028655+512 ~x2028654+256 ~x2028653+128 ~x2028652+64 ~x2028651+32 ~x2028650+16 ~x2028649+8 ~x2028648+4 ~x2028647+2 ~x2028646+1 ~x2028645+21504 x7981+16384 ~x5386+8192 ~x5385+4096 ~x5384+2048 ~x5383+1024 ~x5382+512 ~x5381+256 ~x5380+128 ~x5379+64 ~x5378+32 ~x5377+16 ~x5376+8 ~x5375+4 ~x5374+2 ~x5373+1 ~x5372-0=65534
52.17/52.23	c 8192 ~x2032950+4096 ~x2032949+2048 ~x2032948+1024 ~x2032947+512 ~x2032946+256 ~x2032945+128 ~x2032944+64 ~x2032943+32 ~x2032942+16 ~x2032941+8 ~x2032940+4 ~x2032939+2 ~x2032938+1 ~x2032937+8192 x7982+8192 ~x5415+4096 ~x5414+2048 ~x5413+1024 ~x5412+512 ~x5411+256 ~x5410+128 ~x5409+64 ~x5408+32 ~x5407+16 ~x5406+8 ~x5405+4 ~x5404+2 ~x5403+1 ~x5402-0=32766
52.27/52.32	c 8192 ~x2036666+4096 ~x2036665+2048 ~x2036664+1024 ~x2036663+512 ~x2036662+256 ~x2036661+128 ~x2036660+64 ~x2036659+32 ~x2036658+16 ~x2036657+8 ~x2036656+4 ~x2036655+2 ~x2036654+1 ~x2036653+14336 x7983+8192 ~x5445+4096 ~x5444+2048 ~x5443+1024 ~x5442+512 ~x5441+256 ~x5440+128 ~x5439+64 ~x5438+32 ~x5437+16 ~x5436+8 ~x5435+4 ~x5434+2 ~x5433+1 ~x5432-0=32766
52.37/52.42	c 8192 ~x2040382+4096 ~x2040381+2048 ~x2040380+1024 ~x2040379+512 ~x2040378+256 ~x2040377+128 ~x2040376+64 ~x2040375+32 ~x2040374+16 ~x2040373+8 ~x2040372+4 ~x2040371+2 ~x2040370+1 ~x2040369+10240 x7984+8192 ~x5475+4096 ~x5474+2048 ~x5473+1024 ~x5472+512 ~x5471+256 ~x5470+128 ~x5469+64 ~x5468+32 ~x5467+16 ~x5466+8 ~x5465+4 ~x5464+2 ~x5463+1 ~x5462-0=32766
52.47/52.51	c 8192 ~x2044098+4096 ~x2044097+2048 ~x2044096+1024 ~x2044095+512 ~x2044094+256 ~x2044093+128 ~x2044092+64 ~x2044091+32 ~x2044090+16 ~x2044089+8 ~x2044088+4 ~x2044087+2 ~x2044086+1 ~x2044085+10240 x7985+8192 ~x5505+4096 ~x5504+2048 ~x5503+1024 ~x5502+512 ~x5501+256 ~x5500+128 ~x5499+64 ~x5498+32 ~x5497+16 ~x5496+8 ~x5495+4 ~x5494+2 ~x5493+1 ~x5492-0=32766
52.57/52.61	c 8192 ~x2047814+4096 ~x2047813+2048 ~x2047812+1024 ~x2047811+512 ~x2047810+256 ~x2047809+128 ~x2047808+64 ~x2047807+32 ~x2047806+16 ~x2047805+8 ~x2047804+4 ~x2047803+2 ~x2047802+1 ~x2047801+11264 x7986+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=32766
52.68/52.70	c 16384 ~x2051531+8192 ~x2051530+4096 ~x2051529+2048 ~x2051528+1024 ~x2051527+512 ~x2051526+256 ~x2051525+128 ~x2051524+64 ~x2051523+32 ~x2051522+16 ~x2051521+8 ~x2051520+4 ~x2051519+2 ~x2051518+1 ~x2051517+19456 x7987+16384 ~x5566+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=65534
52.68/52.80	c 2048 ~x2055563+1024 ~x2055562+512 ~x2055561+256 ~x2055560+128 ~x2055559+64 ~x2055558+32 ~x2055557+16 ~x2055556+8 ~x2055555+4 ~x2055554+2 ~x2055553+1 ~x2055552+3072 x7988+2048 ~x5593+1024 ~x5592+512 ~x5591+256 ~x5590+128 ~x5589+64 ~x5588+32 ~x5587+16 ~x5586+8 ~x5585+4 ~x5584+2 ~x5583+1 ~x5582-0=8190
52.78/52.86	c 4096 ~x2057912+2048 ~x2057911+1024 ~x2057910+512 ~x2057909+256 ~x2057908+128 ~x2057907+64 ~x2057906+32 ~x2057905+16 ~x2057904+8 ~x2057903+4 ~x2057902+2 ~x2057901+1 ~x2057900+6144 x7989+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=16382
52.87/52.93	c 2048 ~x2060611+1024 ~x2060610+512 ~x2060609+256 ~x2060608+128 ~x2060607+64 ~x2060606+32 ~x2060605+16 ~x2060604+8 ~x2060603+4 ~x2060602+2 ~x2060601+1 ~x2060600+2048 x7990+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=8190
52.87/52.99	c 4096 ~x2062960+2048 ~x2062959+1024 ~x2062958+512 ~x2062957+256 ~x2062956+128 ~x2062955+64 ~x2062954+32 ~x2062953+16 ~x2062952+8 ~x2062951+4 ~x2062950+2 ~x2062949+1 ~x2062948+7168 x7991+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=16382
52.97/53.06	c 16384 ~x2065662+8192 ~x2065661+4096 ~x2065660+2048 ~x2065659+1024 ~x2065658+512 ~x2065657+256 ~x2065656+128 ~x2065655+64 ~x2065654+32 ~x2065653+16 ~x2065652+8 ~x2065651+4 ~x2065650+2 ~x2065649+1 ~x2065648+29696 x7992+16384 ~x5716+8192 ~x5715+4096 ~x5714+2048 ~x5713+1024 ~x5712+512 ~x5711+256 ~x5710+128 ~x5709+64 ~x5708+32 ~x5707+16 ~x5706+8 ~x5705+4 ~x5704+2 ~x5703+1 ~x5702-0=65534
53.07/53.17	c 16384 ~x2069954+8192 ~x2069953+4096 ~x2069952+2048 ~x2069951+1024 ~x2069950+512 ~x2069949+256 ~x2069948+128 ~x2069947+64 ~x2069946+32 ~x2069945+16 ~x2069944+8 ~x2069943+4 ~x2069942+2 ~x2069941+1 ~x2069940+31744 x7993+16384 ~x5746+8192 ~x5745+4096 ~x5744+2048 ~x5743+1024 ~x5742+512 ~x5741+256 ~x5740+128 ~x5739+64 ~x5738+32 ~x5737+16 ~x5736+8 ~x5735+4 ~x5734+2 ~x5733+1 ~x5732-0=65534
53.17/53.27	c 4096 ~x2074244+2048 ~x2074243+1024 ~x2074242+512 ~x2074241+256 ~x2074240+128 ~x2074239+64 ~x2074238+32 ~x2074237+16 ~x2074236+8 ~x2074235+4 ~x2074234+2 ~x2074233+1 ~x2074232+4096 x7994+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=16382
53.27/53.34	c 4096 ~x2076944+2048 ~x2076943+1024 ~x2076942+512 ~x2076941+256 ~x2076940+128 ~x2076939+64 ~x2076938+32 ~x2076937+16 ~x2076936+8 ~x2076935+4 ~x2076934+2 ~x2076933+1 ~x2076932+6144 x7995+4096 ~x5804+2048 ~x5803+1024 ~x5802+512 ~x5801+256 ~x5800+128 ~x5799+64 ~x5798+32 ~x5797+16 ~x5796+8 ~x5795+4 ~x5794+2 ~x5793+1 ~x5792-0=16382
53.38/53.41	c 8192 ~x2079645+4096 ~x2079644+2048 ~x2079643+1024 ~x2079642+512 ~x2079641+256 ~x2079640+128 ~x2079639+64 ~x2079638+32 ~x2079637+16 ~x2079636+8 ~x2079635+4 ~x2079634+2 ~x2079633+1 ~x2079632+11264 x7996+8192 ~x5835+4096 ~x5834+2048 ~x5833+1024 ~x5832+512 ~x5831+256 ~x5830+128 ~x5829+64 ~x5828+32 ~x5827+16 ~x5826+8 ~x5825+4 ~x5824+2 ~x5823+1 ~x5822-0=32766
53.47/53.50	c 16384 ~x2083362+8192 ~x2083361+4096 ~x2083360+2048 ~x2083359+1024 ~x2083358+512 ~x2083357+256 ~x2083356+128 ~x2083355+64 ~x2083354+32 ~x2083353+16 ~x2083352+8 ~x2083351+4 ~x2083350+2 ~x2083349+1 ~x2083348+27648 x7997+16384 ~x5866+8192 ~x5865+4096 ~x5864+2048 ~x5863+1024 ~x5862+512 ~x5861+256 ~x5860+128 ~x5859+64 ~x5858+32 ~x5857+16 ~x5856+8 ~x5855+4 ~x5854+2 ~x5853+1 ~x5852-0=65534
53.57/53.61	c 2048 ~x2087651+1024 ~x2087650+512 ~x2087649+256 ~x2087648+128 ~x2087647+64 ~x2087646+32 ~x2087645+16 ~x2087644+8 ~x2087643+4 ~x2087642+2 ~x2087641+1 ~x2087640+2048 x7998+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=8190
53.57/53.67	c 8192 ~x2090001+4096 ~x2090000+2048 ~x2089999+1024 ~x2089998+512 ~x2089997+256 ~x2089996+128 ~x2089995+64 ~x2089994+32 ~x2089993+16 ~x2089992+8 ~x2089991+4 ~x2089990+2 ~x2089989+1 ~x2089988+8192 x7999+8192 ~x5925+4096 ~x5924+2048 ~x5923+1024 ~x5922+512 ~x5921+256 ~x5920+128 ~x5919+64 ~x5918+32 ~x5917+16 ~x5916+8 ~x5915+4 ~x5914+2 ~x5913+1 ~x5912-0=32766
53.67/53.76	c 8192 ~x2093717+4096 ~x2093716+2048 ~x2093715+1024 ~x2093714+512 ~x2093713+256 ~x2093712+128 ~x2093711+64 ~x2093710+32 ~x2093709+16 ~x2093708+8 ~x2093707+4 ~x2093706+2 ~x2093705+1 ~x2093704+8192 x8000+8192 ~x5955+4096 ~x5954+2048 ~x5953+1024 ~x5952+512 ~x5951+256 ~x5950+128 ~x5949+64 ~x5948+32 ~x5947+16 ~x5946+8 ~x5945+4 ~x5944+2 ~x5943+1 ~x5942-0=32766
53.78/53.86	c 16384 ~x2097434+8192 ~x2097433+4096 ~x2097432+2048 ~x2097431+1024 ~x2097430+512 ~x2097429+256 ~x2097428+128 ~x2097427+64 ~x2097426+32 ~x2097425+16 ~x2097424+8 ~x2097423+4 ~x2097422+2 ~x2097421+1 ~x2097420+30720 x8001+16384 ~x5986+8192 ~x5985+4096 ~x5984+2048 ~x5983+1024 ~x5982+512 ~x5981+256 ~x5980+128 ~x5979+64 ~x5978+32 ~x5977+16 ~x5976+8 ~x5975+4 ~x5974+2 ~x5973+1 ~x5972-0=65534
53.88/53.97	c 8192 ~x2101725+4096 ~x2101724+2048 ~x2101723+1024 ~x2101722+512 ~x2101721+256 ~x2101720+128 ~x2101719+64 ~x2101718+32 ~x2101717+16 ~x2101716+8 ~x2101715+4 ~x2101714+2 ~x2101713+1 ~x2101712+11264 x8002+8192 ~x6015+4096 ~x6014+2048 ~x6013+1024 ~x6012+512 ~x6011+256 ~x6010+128 ~x6009+64 ~x6008+32 ~x6007+16 ~x6006+8 ~x6005+4 ~x6004+2 ~x6003+1 ~x6002-0=32766
53.98/54.06	c 4096 ~x2105440+2048 ~x2105439+1024 ~x2105438+512 ~x2105437+256 ~x2105436+128 ~x2105435+64 ~x2105434+32 ~x2105433+16 ~x2105432+8 ~x2105431+4 ~x2105430+2 ~x2105429+1 ~x2105428+6144 x8003+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.07/54.13	c 16384 ~x2108142+8192 ~x2108141+4096 ~x2108140+2048 ~x2108139+1024 ~x2108138+512 ~x2108137+256 ~x2108136+128 ~x2108135+64 ~x2108134+32 ~x2108133+16 ~x2108132+8 ~x2108131+4 ~x2108130+2 ~x2108129+1 ~x2108128+16384 x8004+16384 ~x6076+8192 ~x6075+4096 ~x6074+2048 ~x6073+1024 ~x6072+512 ~x6071+256 ~x6070+128 ~x6069+64 ~x6068+32 ~x6067+16 ~x6066+8 ~x6065+4 ~x6064+2 ~x6063+1 ~x6062-0=65534
54.17/54.23	c 16384 ~x2112177+8192 ~x2112176+4096 ~x2112175+2048 ~x2112174+1024 ~x2112173+512 ~x2112172+256 ~x2112171+128 ~x2112170+64 ~x2112169+32 ~x2112168+16 ~x2112167+8 ~x2112166+4 ~x2112165+2 ~x2112164+1 ~x2112163+31744 x8005+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.27/54.34	c 4096 ~x2116467+2048 ~x2116466+1024 ~x2116465+512 ~x2116464+256 ~x2116463+128 ~x2116462+64 ~x2116461+32 ~x2116460+16 ~x2116459+8 ~x2116458+4 ~x2116457+2 ~x2116456+1 ~x2116455+4096 x8006+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=16382
54.37/54.41	c 16384 ~x2119169+8192 ~x2119168+4096 ~x2119167+2048 ~x2119166+1024 ~x2119165+512 ~x2119164+256 ~x2119163+128 ~x2119162+64 ~x2119161+32 ~x2119160+16 ~x2119159+8 ~x2119158+4 ~x2119157+2 ~x2119156+1 ~x2119155+19456 x8007+16384 ~x6166+8192 ~x6165+4096 ~x6164+2048 ~x6163+1024 ~x6162+512 ~x6161+256 ~x6160+128 ~x6159+64 ~x6158+32 ~x6157+16 ~x6156+8 ~x6155+4 ~x6154+2 ~x6153+1 ~x6152-0=65534
54.47/54.51	c 4096 ~x2123202+2048 ~x2123201+1024 ~x2123200+512 ~x2123199+256 ~x2123198+128 ~x2123197+64 ~x2123196+32 ~x2123195+16 ~x2123194+8 ~x2123193+4 ~x2123192+2 ~x2123191+1 ~x2123190+6144 x8008+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=16382
54.47/54.58	c 2048 ~x2125901+1024 ~x2125900+512 ~x2125899+256 ~x2125898+128 ~x2125897+64 ~x2125896+32 ~x2125895+16 ~x2125894+8 ~x2125893+4 ~x2125892+2 ~x2125891+1 ~x2125890+3072 x8009+2048 ~x6223+1024 ~x6222+512 ~x6221+256 ~x6220+128 ~x6219+64 ~x6218+32 ~x6217+16 ~x6216+8 ~x6215+4 ~x6214+2 ~x6213+1 ~x6212-0=8190
54.57/54.64	c 16384 ~x2128252+8192 ~x2128251+4096 ~x2128250+2048 ~x2128249+1024 ~x2128248+512 ~x2128247+256 ~x2128246+128 ~x2128245+64 ~x2128244+32 ~x2128243+16 ~x2128242+8 ~x2128241+4 ~x2128240+2 ~x2128239+1 ~x2128238+21504 x8010+16384 ~x6256+8192 ~x6255+4096 ~x6254+2048 ~x6253+1024 ~x6252+512 ~x6251+256 ~x6250+128 ~x6249+64 ~x6248+32 ~x6247+16 ~x6246+8 ~x6245+4 ~x6244+2 ~x6243+1 ~x6242-0=65534
54.67/54.74	c 8192 ~x2132543+4096 ~x2132542+2048 ~x2132541+1024 ~x2132540+512 ~x2132539+256 ~x2132538+128 ~x2132537+64 ~x2132536+32 ~x2132535+16 ~x2132534+8 ~x2132533+4 ~x2132532+2 ~x2132531+1 ~x2132530+8192 x8011+8192 ~x6285+4096 ~x6284+2048 ~x6283+1024 ~x6282+512 ~x6281+256 ~x6280+128 ~x6279+64 ~x6278+32 ~x6277+16 ~x6276+8 ~x6275+4 ~x6274+2 ~x6273+1 ~x6272-0=32766
54.77/54.84	c 8192 ~x2136259+4096 ~x2136258+2048 ~x2136257+1024 ~x2136256+512 ~x2136255+256 ~x2136254+128 ~x2136253+64 ~x2136252+32 ~x2136251+16 ~x2136250+8 ~x2136249+4 ~x2136248+2 ~x2136247+1 ~x2136246+14336 x8012+8192 ~x6315+4096 ~x6314+2048 ~x6313+1024 ~x6312+512 ~x6311+256 ~x6310+128 ~x6309+64 ~x6308+32 ~x6307+16 ~x6306+8 ~x6305+4 ~x6304+2 ~x6303+1 ~x6302-0=32766
54.88/54.93	c 8192 ~x2139975+4096 ~x2139974+2048 ~x2139973+1024 ~x2139972+512 ~x2139971+256 ~x2139970+128 ~x2139969+64 ~x2139968+32 ~x2139967+16 ~x2139966+8 ~x2139965+4 ~x2139964+2 ~x2139963+1 ~x2139962+10240 x8013+8192 ~x6345+4096 ~x6344+2048 ~x6343+1024 ~x6342+512 ~x6341+256 ~x6340+128 ~x6339+64 ~x6338+32 ~x6337+16 ~x6336+8 ~x6335+4 ~x6334+2 ~x6333+1 ~x6332-0=32766
54.97/55.03	c 8192 ~x2143691+4096 ~x2143690+2048 ~x2143689+1024 ~x2143688+512 ~x2143687+256 ~x2143686+128 ~x2143685+64 ~x2143684+32 ~x2143683+16 ~x2143682+8 ~x2143681+4 ~x2143680+2 ~x2143679+1 ~x2143678+11264 x8014+8192 ~x6375+4096 ~x6374+2048 ~x6373+1024 ~x6372+512 ~x6371+256 ~x6370+128 ~x6369+64 ~x6368+32 ~x6367+16 ~x6366+8 ~x6365+4 ~x6364+2 ~x6363+1 ~x6362-0=32766
55.07/55.12	c 16384 ~x2147408+8192 ~x2147407+4096 ~x2147406+2048 ~x2147405+1024 ~x2147404+512 ~x2147403+256 ~x2147402+128 ~x2147401+64 ~x2147400+32 ~x2147399+16 ~x2147398+8 ~x2147397+4 ~x2147396+2 ~x2147395+1 ~x2147394+19456 x8015+16384 ~x6406+8192 ~x6405+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=65534
55.17/55.22	c 2048 ~x2151440+1024 ~x2151439+512 ~x2151438+256 ~x2151437+128 ~x2151436+64 ~x2151435+32 ~x2151434+16 ~x2151433+8 ~x2151432+4 ~x2151431+2 ~x2151430+1 ~x2151429+3072 x8016+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=8190
55.17/55.28	c 4096 ~x2153789+2048 ~x2153788+1024 ~x2153787+512 ~x2153786+256 ~x2153785+128 ~x2153784+64 ~x2153783+32 ~x2153782+16 ~x2153781+8 ~x2153780+4 ~x2153779+2 ~x2153778+1 ~x2153777+6144 x8017+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.27/55.35	c 2048 ~x2156488+1024 ~x2156487+512 ~x2156486+256 ~x2156485+128 ~x2156484+64 ~x2156483+32 ~x2156482+16 ~x2156481+8 ~x2156480+4 ~x2156479+2 ~x2156478+1 ~x2156477+3072 x8018+2048 ~x6493+1024 ~x6492+512 ~x6491+256 ~x6490+128 ~x6489+64 ~x6488+32 ~x6487+16 ~x6486+8 ~x6485+4 ~x6484+2 ~x6483+1 ~x6482-0=8190
55.37/55.41	c 2048 ~x2158836+1024 ~x2158835+512 ~x2158834+256 ~x2158833+128 ~x2158832+64 ~x2158831+32 ~x2158830+16 ~x2158829+8 ~x2158828+4 ~x2158827+2 ~x2158826+1 ~x2158825+2048 x8019+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=8190
55.37/55.47	c 4096 ~x2161185+2048 ~x2161184+1024 ~x2161183+512 ~x2161182+256 ~x2161181+128 ~x2161180+64 ~x2161179+32 ~x2161178+16 ~x2161177+8 ~x2161176+4 ~x2161175+2 ~x2161174+1 ~x2161173+7168 x8020+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
55.47/55.54	c 16384 ~x2163887+8192 ~x2163886+4096 ~x2163885+2048 ~x2163884+1024 ~x2163883+512 ~x2163882+256 ~x2163881+128 ~x2163880+64 ~x2163879+32 ~x2163878+16 ~x2163877+8 ~x2163876+4 ~x2163875+2 ~x2163874+1 ~x2163873+29696 x8021+16384 ~x6586+8192 ~x6585+4096 ~x6584+2048 ~x6583+1024 ~x6582+512 ~x6581+256 ~x6580+128 ~x6579+64 ~x6578+32 ~x6577+16 ~x6576+8 ~x6575+4 ~x6574+2 ~x6573+1 ~x6572-0=65534
55.57/55.65	c 16384 ~x2168179+8192 ~x2168178+4096 ~x2168177+2048 ~x2168176+1024 ~x2168175+512 ~x2168174+256 ~x2168173+128 ~x2168172+64 ~x2168171+32 ~x2168170+16 ~x2168169+8 ~x2168168+4 ~x2168167+2 ~x2168166+1 ~x2168165+29696 x8022+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
55.67/55.76	c 4096 ~x2172469+2048 ~x2172468+1024 ~x2172467+512 ~x2172466+256 ~x2172465+128 ~x2172464+64 ~x2172463+32 ~x2172462+16 ~x2172461+8 ~x2172460+4 ~x2172459+2 ~x2172458+1 ~x2172457+4096 x8023+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=16382
55.77/55.82	c 4096 ~x2175169+2048 ~x2175168+1024 ~x2175167+512 ~x2175166+256 ~x2175165+128 ~x2175164+64 ~x2175163+32 ~x2175162+16 ~x2175161+8 ~x2175160+4 ~x2175159+2 ~x2175158+1 ~x2175157+6144 x8024+4096 ~x6674+2048 ~x6673+1024 ~x6672+512 ~x6671+256 ~x6670+128 ~x6669+64 ~x6668+32 ~x6667+16 ~x6666+8 ~x6665+4 ~x6664+2 ~x6663+1 ~x6662-0=16382
55.77/55.89	c 16384 ~x2177871+8192 ~x2177870+4096 ~x2177869+2048 ~x2177868+1024 ~x2177867+512 ~x2177866+256 ~x2177865+128 ~x2177864+64 ~x2177863+32 ~x2177862+16 ~x2177861+8 ~x2177860+4 ~x2177859+2 ~x2177858+1 ~x2177857+27648 x8025+16384 ~x6706+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=65534
55.98/56.00	c 2048 ~x2182160+1024 ~x2182159+512 ~x2182158+256 ~x2182157+128 ~x2182156+64 ~x2182155+32 ~x2182154+16 ~x2182153+8 ~x2182152+4 ~x2182151+2 ~x2182150+1 ~x2182149+2048 x8026+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=8190
55.98/56.06	c 8192 ~x2184510+4096 ~x2184509+2048 ~x2184508+1024 ~x2184507+512 ~x2184506+256 ~x2184505+128 ~x2184504+64 ~x2184503+32 ~x2184502+16 ~x2184501+8 ~x2184500+4 ~x2184499+2 ~x2184498+1 ~x2184497+8192 x8027+8192 ~x6765+4096 ~x6764+2048 ~x6763+1024 ~x6762+512 ~x6761+256 ~x6760+128 ~x6759+64 ~x6758+32 ~x6757+16 ~x6756+8 ~x6755+4 ~x6754+2 ~x6753+1 ~x6752-0=32766
56.08/56.15	c 8192 ~x2188226+4096 ~x2188225+2048 ~x2188224+1024 ~x2188223+512 ~x2188222+256 ~x2188221+128 ~x2188220+64 ~x2188219+32 ~x2188218+16 ~x2188217+8 ~x2188216+4 ~x2188215+2 ~x2188214+1 ~x2188213+8192 x8028+8192 ~x6795+4096 ~x6794+2048 ~x6793+1024 ~x6792+512 ~x6791+256 ~x6790+128 ~x6789+64 ~x6788+32 ~x6787+16 ~x6786+8 ~x6785+4 ~x6784+2 ~x6783+1 ~x6782-0=32766
56.17/56.25	c 4096 ~x2191941+2048 ~x2191940+1024 ~x2191939+512 ~x2191938+256 ~x2191937+128 ~x2191936+64 ~x2191935+32 ~x2191934+16 ~x2191933+8 ~x2191932+4 ~x2191931+2 ~x2191930+1 ~x2191929+6144 x8029+4096 ~x6824+2048 ~x6823+1024 ~x6822+512 ~x6821+256 ~x6820+128 ~x6819+64 ~x6818+32 ~x6817+16 ~x6816+8 ~x6815+4 ~x6814+2 ~x6813+1 ~x6812-0=16382
56.27/56.32	c 16384 ~x2194643+8192 ~x2194642+4096 ~x2194641+2048 ~x2194640+1024 ~x2194639+512 ~x2194638+256 ~x2194637+128 ~x2194636+64 ~x2194635+32 ~x2194634+16 ~x2194633+8 ~x2194632+4 ~x2194631+2 ~x2194630+1 ~x2194629+29696 x8030+16384 ~x6856+8192 ~x6855+4096 ~x6854+2048 ~x6853+1024 ~x6852+512 ~x6851+256 ~x6850+128 ~x6849+64 ~x6848+32 ~x6847+16 ~x6846+8 ~x6845+4 ~x6844+2 ~x6843+1 ~x6842-0=65534
56.37/56.42	c 8192 ~x2198934+4096 ~x2198933+2048 ~x2198932+1024 ~x2198931+512 ~x2198930+256 ~x2198929+128 ~x2198928+64 ~x2198927+32 ~x2198926+16 ~x2198925+8 ~x2198924+4 ~x2198923+2 ~x2198922+1 ~x2198921+11264 x8031+8192 ~x6885+4096 ~x6884+2048 ~x6883+1024 ~x6882+512 ~x6881+256 ~x6880+128 ~x6879+64 ~x6878+32 ~x6877+16 ~x6876+8 ~x6875+4 ~x6874+2 ~x6873+1 ~x6872-0=32766
56.47/56.52	c 4096 ~x2202649+2048 ~x2202648+1024 ~x2202647+512 ~x2202646+256 ~x2202645+128 ~x2202644+64 ~x2202643+32 ~x2202642+16 ~x2202641+8 ~x2202640+4 ~x2202639+2 ~x2202638+1 ~x2202637+6144 x8032+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=16382
56.47/56.59	c 16384 ~x2205351+8192 ~x2205350+4096 ~x2205349+2048 ~x2205348+1024 ~x2205347+512 ~x2205346+256 ~x2205345+128 ~x2205344+64 ~x2205343+32 ~x2205342+16 ~x2205341+8 ~x2205340+4 ~x2205339+2 ~x2205338+1 ~x2205337+16384 x8033+16384 ~x6946+8192 ~x6945+4096 ~x6944+2048 ~x6943+1024 ~x6942+512 ~x6941+256 ~x6940+128 ~x6939+64 ~x6938+32 ~x6937+16 ~x6936+8 ~x6935+4 ~x6934+2 ~x6933+1 ~x6932-0=65534
56.57/56.69	c 16384 ~x2209386+8192 ~x2209385+4096 ~x2209384+2048 ~x2209383+1024 ~x2209382+512 ~x2209381+256 ~x2209380+128 ~x2209379+64 ~x2209378+32 ~x2209377+16 ~x2209376+8 ~x2209375+4 ~x2209374+2 ~x2209373+1 ~x2209372+29696 x8034+16384 ~x6976+8192 ~x6975+4096 ~x6974+2048 ~x6973+1024 ~x6972+512 ~x6971+256 ~x6970+128 ~x6969+64 ~x6968+32 ~x6967+16 ~x6966+8 ~x6965+4 ~x6964+2 ~x6963+1 ~x6962-0=65534
56.67/56.80	c 4096 ~x2213676+2048 ~x2213675+1024 ~x2213674+512 ~x2213673+256 ~x2213672+128 ~x2213671+64 ~x2213670+32 ~x2213669+16 ~x2213668+8 ~x2213667+4 ~x2213666+2 ~x2213665+1 ~x2213664+4096 x8035+4096 ~x7004+2048 ~x7003+1024 ~x7002+512 ~x7001+256 ~x7000+128 ~x6999+64 ~x6998+32 ~x6997+16 ~x6996+8 ~x6995+4 ~x6994+2 ~x6993+1 ~x6992-0=16382
56.77/56.86	c 4096 ~x2216376+2048 ~x2216375+1024 ~x2216374+512 ~x2216373+256 ~x2216372+128 ~x2216371+64 ~x2216370+32 ~x2216369+16 ~x2216368+8 ~x2216367+4 ~x2216366+2 ~x2216365+1 ~x2216364+6144 x8036+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=16382
56.87/56.93	c 2048 ~x2219075+1024 ~x2219074+512 ~x2219073+256 ~x2219072+128 ~x2219071+64 ~x2219070+32 ~x2219069+16 ~x2219068+8 ~x2219067+4 ~x2219066+2 ~x2219065+1 ~x2219064+3072 x8037+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=8190
56.87/56.99	c 16384 ~x2221426+8192 ~x2221425+4096 ~x2221424+2048 ~x2221423+1024 ~x2221422+512 ~x2221421+256 ~x2221420+128 ~x2221419+64 ~x2221418+32 ~x2221417+16 ~x2221416+8 ~x2221415+4 ~x2221414+2 ~x2221413+1 ~x2221412+21504 x8038+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.07/57.10	c 8192 ~x2225717+4096 ~x2225716+2048 ~x2225715+1024 ~x2225714+512 ~x2225713+256 ~x2225712+128 ~x2225711+64 ~x2225710+32 ~x2225709+16 ~x2225708+8 ~x2225707+4 ~x2225706+2 ~x2225705+1 ~x2225704+8192 x8039+8192 ~x7125+4096 ~x7124+2048 ~x7123+1024 ~x7122+512 ~x7121+256 ~x7120+128 ~x7119+64 ~x7118+32 ~x7117+16 ~x7116+8 ~x7115+4 ~x7114+2 ~x7113+1 ~x7112-0=32766
57.07/57.19	c 2048 ~x2229431+1024 ~x2229430+512 ~x2229429+256 ~x2229428+128 ~x2229427+64 ~x2229426+32 ~x2229425+16 ~x2229424+8 ~x2229423+4 ~x2229422+2 ~x2229421+1 ~x2229420+2048 x8040+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
57.18/57.26	c 8192 ~x2231781+4096 ~x2231780+2048 ~x2231779+1024 ~x2231778+512 ~x2231777+256 ~x2231776+128 ~x2231775+64 ~x2231774+32 ~x2231773+16 ~x2231772+8 ~x2231771+4 ~x2231770+2 ~x2231769+1 ~x2231768+14336 x8041+8192 ~x7185+4096 ~x7184+2048 ~x7183+1024 ~x7182+512 ~x7181+256 ~x7180+128 ~x7179+64 ~x7178+32 ~x7177+16 ~x7176+8 ~x7175+4 ~x7174+2 ~x7173+1 ~x7172-0=32766
57.27/57.35	c 8192 ~x2235497+4096 ~x2235496+2048 ~x2235495+1024 ~x2235494+512 ~x2235493+256 ~x2235492+128 ~x2235491+64 ~x2235490+32 ~x2235489+16 ~x2235488+8 ~x2235487+4 ~x2235486+2 ~x2235485+1 ~x2235484+10240 x8042+8192 ~x7215+4096 ~x7214+2048 ~x7213+1024 ~x7212+512 ~x7211+256 ~x7210+128 ~x7209+64 ~x7208+32 ~x7207+16 ~x7206+8 ~x7205+4 ~x7204+2 ~x7203+1 ~x7202-0=32766
57.37/57.44	c 8192 ~x2239213+4096 ~x2239212+2048 ~x2239211+1024 ~x2239210+512 ~x2239209+256 ~x2239208+128 ~x2239207+64 ~x2239206+32 ~x2239205+16 ~x2239204+8 ~x2239203+4 ~x2239202+2 ~x2239201+1 ~x2239200+11264 x8043+8192 ~x7245+4096 ~x7244+2048 ~x7243+1024 ~x7242+512 ~x7241+256 ~x7240+128 ~x7239+64 ~x7238+32 ~x7237+16 ~x7236+8 ~x7235+4 ~x7234+2 ~x7233+1 ~x7232-0=32766
57.47/57.54	c 16384 ~x2242930+8192 ~x2242929+4096 ~x2242928+2048 ~x2242927+1024 ~x2242926+512 ~x2242925+256 ~x2242924+128 ~x2242923+64 ~x2242922+32 ~x2242921+16 ~x2242920+8 ~x2242919+4 ~x2242918+2 ~x2242917+1 ~x2242916+19456 x8044+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
57.57/57.64	c 2048 ~x2246962+1024 ~x2246961+512 ~x2246960+256 ~x2246959+128 ~x2246958+64 ~x2246957+32 ~x2246956+16 ~x2246955+8 ~x2246954+4 ~x2246953+2 ~x2246952+1 ~x2246951+3072 x8045+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=8190
57.67/57.70	c 4096 ~x2249311+2048 ~x2249310+1024 ~x2249309+512 ~x2249308+256 ~x2249307+128 ~x2249306+64 ~x2249305+32 ~x2249304+16 ~x2249303+8 ~x2249302+4 ~x2249301+2 ~x2249300+1 ~x2249299+6144 x8046+4096 ~x7334+2048 ~x7333+1024 ~x7332+512 ~x7331+256 ~x7330+128 ~x7329+64 ~x7328+32 ~x7327+16 ~x7326+8 ~x7325+4 ~x7324+2 ~x7323+1 ~x7322-0=16382
57.67/57.77	c 2048 ~x2252010+1024 ~x2252009+512 ~x2252008+256 ~x2252007+128 ~x2252006+64 ~x2252005+32 ~x2252004+16 ~x2252003+8 ~x2252002+4 ~x2252001+2 ~x2252000+1 ~x2251999+2048 x8047+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=8190
57.77/57.83	c 4096 ~x2254359+2048 ~x2254358+1024 ~x2254357+512 ~x2254356+256 ~x2254355+128 ~x2254354+64 ~x2254353+32 ~x2254352+16 ~x2254351+8 ~x2254350+4 ~x2254349+2 ~x2254348+1 ~x2254347+7168 x8048+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=16382
57.87/57.90	c 16384 ~x2257061+8192 ~x2257060+4096 ~x2257059+2048 ~x2257058+1024 ~x2257057+512 ~x2257056+256 ~x2257055+128 ~x2257054+64 ~x2257053+32 ~x2257052+16 ~x2257051+8 ~x2257050+4 ~x2257049+2 ~x2257048+1 ~x2257047+25600 x8049+16384 ~x7426+8192 ~x7425+4096 ~x7424+2048 ~x7423+1024 ~x7422+512 ~x7421+256 ~x7420+128 ~x7419+64 ~x7418+32 ~x7417+16 ~x7416+8 ~x7415+4 ~x7414+2 ~x7413+1 ~x7412-0=65534
57.97/58.01	c 16384 ~x2261353+8192 ~x2261352+4096 ~x2261351+2048 ~x2261350+1024 ~x2261349+512 ~x2261348+256 ~x2261347+128 ~x2261346+64 ~x2261345+32 ~x2261344+16 ~x2261343+8 ~x2261342+4 ~x2261341+2 ~x2261340+1 ~x2261339+25600 x8050+16384 ~x7456+8192 ~x7455+4096 ~x7454+2048 ~x7453+1024 ~x7452+512 ~x7451+256 ~x7450+128 ~x7449+64 ~x7448+32 ~x7447+16 ~x7446+8 ~x7445+4 ~x7444+2 ~x7443+1 ~x7442-0=65534
58.07/58.11	c 4096 ~x2265643+2048 ~x2265642+1024 ~x2265641+512 ~x2265640+256 ~x2265639+128 ~x2265638+64 ~x2265637+32 ~x2265636+16 ~x2265635+8 ~x2265634+4 ~x2265633+2 ~x2265632+1 ~x2265631+7168 x8051+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=16382
58.07/58.18	c 4096 ~x2268343+2048 ~x2268342+1024 ~x2268341+512 ~x2268340+256 ~x2268339+128 ~x2268338+64 ~x2268337+32 ~x2268336+16 ~x2268335+8 ~x2268334+4 ~x2268333+2 ~x2268332+1 ~x2268331+4096 x8052+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=16382
58.17/58.25	c 4096 ~x2271043+2048 ~x2271042+1024 ~x2271041+512 ~x2271040+256 ~x2271039+128 ~x2271038+64 ~x2271037+32 ~x2271036+16 ~x2271035+8 ~x2271034+4 ~x2271033+2 ~x2271032+1 ~x2271031+6144 x8053+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=16382
58.28/58.32	c 16384 ~x2273745+8192 ~x2273744+4096 ~x2273743+2048 ~x2273742+1024 ~x2273741+512 ~x2273740+256 ~x2273739+128 ~x2273738+64 ~x2273737+32 ~x2273736+16 ~x2273735+8 ~x2273734+4 ~x2273733+2 ~x2273732+1 ~x2273731+25600 x8054+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
58.37/58.42	c 2048 ~x2278034+1024 ~x2278033+512 ~x2278032+256 ~x2278031+128 ~x2278030+64 ~x2278029+32 ~x2278028+16 ~x2278027+8 ~x2278026+4 ~x2278025+2 ~x2278024+1 ~x2278023+2048 x8055+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=8190
58.37/58.49	c 8192 ~x2280384+4096 ~x2280383+2048 ~x2280382+1024 ~x2280381+512 ~x2280380+256 ~x2280379+128 ~x2280378+64 ~x2280377+32 ~x2280376+16 ~x2280375+8 ~x2280374+4 ~x2280373+2 ~x2280372+1 ~x2280371+8192 x8056+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
58.47/58.58	c 8192 ~x2284100+4096 ~x2284099+2048 ~x2284098+1024 ~x2284097+512 ~x2284096+256 ~x2284095+128 ~x2284094+64 ~x2284093+32 ~x2284092+16 ~x2284091+8 ~x2284090+4 ~x2284089+2 ~x2284088+1 ~x2284087+8192 x8057+8192 ~x7665+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=32766
58.57/58.67	c 16384 ~x2287817+8192 ~x2287816+4096 ~x2287815+2048 ~x2287814+1024 ~x2287813+512 ~x2287812+256 ~x2287811+128 ~x2287810+64 ~x2287809+32 ~x2287808+16 ~x2287807+8 ~x2287806+4 ~x2287805+2 ~x2287804+1 ~x2287803+25600 x8058+16384 ~x7696+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=65534
58.67/58.78	c 8192 ~x2292108+4096 ~x2292107+2048 ~x2292106+1024 ~x2292105+512 ~x2292104+256 ~x2292103+128 ~x2292102+64 ~x2292101+32 ~x2292100+16 ~x2292099+8 ~x2292098+4 ~x2292097+2 ~x2292096+1 ~x2292095+11264 x8059+8192 ~x7725+4096 ~x7724+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=32766
58.77/58.87	c 4096 ~x2295823+2048 ~x2295822+1024 ~x2295821+512 ~x2295820+256 ~x2295819+128 ~x2295818+64 ~x2295817+32 ~x2295816+16 ~x2295815+8 ~x2295814+4 ~x2295813+2 ~x2295812+1 ~x2295811+6144 x8060+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=16382
58.87/58.94	c 16384 ~x2298525+8192 ~x2298524+4096 ~x2298523+2048 ~x2298522+1024 ~x2298521+512 ~x2298520+256 ~x2298519+128 ~x2298518+64 ~x2298517+32 ~x2298516+16 ~x2298515+8 ~x2298514+4 ~x2298513+2 ~x2298512+1 ~x2298511+16384 x8061+16384 ~x7786+8192 ~x7785+4096 ~x7784+2048 ~x7783+1024 ~x7782+512 ~x7781+256 ~x7780+128 ~x7779+64 ~x7778+32 ~x7777+16 

ERROR: no interpretation found !

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2674103-1276798922/watcher-2674103-1276798922 -o /tmp/evaluation-result-2674103-1276798922/solver-2674103-1276798922 -C 1800 -W 2000 -M 1800 run HOME/instance-2674103-1276798922.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.91 0.98 0.99 3/106 23126
/proc/meminfo: memFree=1857272/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0

[startup+0.0275891 s]
/proc/loadavg: 0.91 0.98 0.99 3/106 23126
/proc/meminfo: memFree=1857272/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100601 s]
/proc/loadavg: 0.91 0.98 0.99 3/106 23126
/proc/meminfo: memFree=1857272/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300633 s]
/proc/loadavg: 0.91 0.98 0.99 3/106 23126
/proc/meminfo: memFree=1857272/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.7007 s]
/proc/loadavg: 0.91 0.98 0.99 3/106 23126
/proc/meminfo: memFree=1857272/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50083 s]
/proc/loadavg: 0.91 0.98 0.99 2/108 23129
/proc/meminfo: memFree=1696304/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=241444 CPUtime=1.49
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 60291 0 0 0 59 90 0 0 25 0 1 0 21183142 247238656 59789 1992294400 134512640 134902295 4291482416 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 60361 59789 256 96 0 59573 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 250144

[startup+3.1011 s]
/proc/loadavg: 0.92 0.98 0.99 2/108 23129
/proc/meminfo: memFree=1536592/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=375876 CPUtime=3.09
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 93853 0 0 0 185 124 0 0 25 0 1 0 21183142 384897024 93351 1992294400 134512640 134902295 4291482416 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 93969 93357 259 96 0 93181 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 384576

[startup+6.30163 s]
/proc/loadavg: 0.92 0.98 0.99 2/108 23129
/proc/meminfo: memFree=1510428/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=364216 CPUtime=6.29
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 110946 0 0 0 497 132 0 0 25 0 1 0 21183142 372957184 90189 1992294400 134512640 134902295 4291482416 18446744073709551615 4159842460 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 91054 90189 262 96 0 90266 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 372916

[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/108 23131
/proc/meminfo: memFree=1403168/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=475440 CPUtime=12.68
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 140959 0 0 0 1123 145 0 0 25 0 1 0 21183142 486850560 116328 1992294400 134512640 134902295 4291482416 18446744073709551615 4159812905 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 118860 116328 262 96 0 118072 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 484140

[startup+25.5008 s]
/proc/loadavg: 0.94 0.98 0.99 2/108 23131
/proc/meminfo: memFree=1170916/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=704928 CPUtime=25.48
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 199999 0 0 0 2379 169 0 0 25 0 1 0 21183142 721846272 172521 1992294400 134512640 134902295 4291482416 18446744073709551615 4159813218 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 176232 172521 262 96 0 175444 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 713628

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/108 23131
/proc/meminfo: memFree=727616/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1178360 CPUtime=51.08
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 315629 0 0 0 4886 222 0 0 25 0 1 0 21183142 1206640640 284225 1992294400 134512640 134902295 4291482416 18446744073709551615 2542900 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 294590 284225 262 96 0 293802 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1187060

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/108 23133
/proc/meminfo: memFree=592952/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1280312 CPUtime=102.26
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 347571 0 0 0 9991 235 0 0 25 0 1 0 21183142 1311039488 315551 1992294400 134512640 134902295 4291482416 18446744073709551615 4159842598 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 320078 315551 269 96 0 319290 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1289012

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 23135
/proc/meminfo: memFree=578940/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1294780 CPUtime=162.23
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 351078 0 0 0 15986 237 0 0 25 0 1 0 21183142 1325854720 319058 1992294400 134512640 134902295 4291482416 18446744073709551615 4159831148 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 323695 319058 269 96 0 322907 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1303480

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 23135
/proc/meminfo: memFree=569888/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1303688 CPUtime=222.21
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 353300 0 0 0 21982 239 0 0 25 0 1 0 21183142 1334976512 321280 1992294400 134512640 134902295 4291482416 18446744073709551615 4159845351 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 325922 321280 269 96 0 325134 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1312388

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 23137
/proc/meminfo: memFree=562944/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1310848 CPUtime=282.2
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 355048 0 0 0 27979 241 0 0 25 0 1 0 21183142 1342308352 323028 1992294400 134512640 134902295 4291482416 18446744073709551615 4159831667 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 327712 323028 269 96 0 326924 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1319548

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 23139
/proc/meminfo: memFree=554140/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1319312 CPUtime=342.18
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 357192 0 0 0 33975 243 0 0 25 0 1 0 21183142 1350975488 325172 1992294400 134512640 134902295 4291482416 18446744073709551615 4159812231 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 329828 325172 269 96 0 329040 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1328012

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 23141
/proc/meminfo: memFree=548436/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1325012 CPUtime=402.16
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 358634 0 0 0 39971 245 0 0 25 0 1 0 21183142 1356812288 326614 1992294400 134512640 134902295 4291482416 18446744073709551615 4159824360 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 331253 326614 269 96 0 330465 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1333712

[startup+462.301 s]

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

/proc/23128/statm: 342290 337454 269 96 0 341502 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 1377860

[startup+1182.3 s]
/proc/loadavg: 1.14 1.01 1.00 2/108 23164
/proc/meminfo: memFree=502556/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1370876 CPUtime=1181.91
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 369913 0 0 0 117932 259 0 0 25 0 1 0 21183142 1403777024 337893 1992294400 134512640 134902295 4291482416 18446744073709551615 4159842430 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 342719 337893 269 96 0 341931 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 1379576

[startup+1242.3 s]
/proc/loadavg: 1.11 1.02 1.00 2/108 23166
/proc/meminfo: memFree=500820/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1372536 CPUtime=1241.89
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 370327 0 0 0 123930 259 0 0 25 0 1 0 21183142 1405476864 338307 1992294400 134512640 134902295 4291482416 18446744073709551615 4159831252 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 343134 338307 269 96 0 342346 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1381236

[startup+1302.3 s]
/proc/loadavg: 1.09 1.03 1.00 2/108 23168
/proc/meminfo: memFree=498960/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1374380 CPUtime=1301.88
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 370784 0 0 0 129929 259 0 0 25 0 1 0 21183142 1407365120 338764 1992294400 134512640 134902295 4291482416 18446744073709551615 4159812351 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 343595 338764 269 96 0 342807 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1383080

[startup+1362.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/108 23170
/proc/meminfo: memFree=497472/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1375996 CPUtime=1361.85
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 371179 0 0 0 135925 260 0 0 25 0 1 0 21183142 1409019904 339159 1992294400 134512640 134902295 4291482416 18446744073709551615 4159845282 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 343999 339159 269 96 0 343211 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1384696

[startup+1422.31 s]
/proc/loadavg: 1.07 1.04 1.00 2/108 23170
/proc/meminfo: memFree=495984/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1377508 CPUtime=1421.84
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 371537 0 0 0 141924 260 0 0 25 0 1 0 21183142 1410568192 339517 1992294400 134512640 134902295 4291482416 18446744073709551615 4159812226 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 344377 339517 269 96 0 343589 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1386208

[startup+1482.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/108 23172
/proc/meminfo: memFree=494372/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1379076 CPUtime=1481.82
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 371940 0 0 0 147921 261 0 0 25 0 1 0 21183142 1412173824 339912 1992294400 134512640 134902295 4291482416 18446744073709551615 4159842430 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 344769 339912 269 96 0 343981 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1387776

[startup+1542.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/108 23174
/proc/meminfo: memFree=492884/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1380396 CPUtime=1541.8
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 372292 0 0 0 153919 261 0 0 25 0 1 0 21183142 1413525504 340264 1992294400 134512640 134902295 4291482416 18446744073709551615 4159842430 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 345099 340264 269 96 0 344311 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1389096

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 23176
/proc/meminfo: memFree=486188/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1387204 CPUtime=1601.78
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 373983 0 0 0 159916 262 0 0 25 0 1 0 21183142 1420496896 341955 1992294400 134512640 134902295 4291482416 18446744073709551615 4159824413 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 346801 341955 269 96 0 346013 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1395904

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 23178
/proc/meminfo: memFree=479368/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1393696 CPUtime=1661.76
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 375652 0 0 0 165912 264 0 0 25 0 1 0 21183142 1427144704 343624 1992294400 134512640 134902295 4291482416 18446744073709551615 4159812351 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 348424 343624 269 96 0 347636 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1402396

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 23178
/proc/meminfo: memFree=476144/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1396964 CPUtime=1721.74
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 376460 0 0 0 171908 266 0 0 25 0 1 0 21183142 1430491136 344432 1992294400 134512640 134902295 4291482416 18446744073709551615 4159842430 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 349241 344432 269 96 0 348453 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1405664

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 23180
/proc/meminfo: memFree=474160/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1398856 CPUtime=1781.71
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 376915 0 0 0 177905 266 0 0 25 0 1 0 21183142 1432428544 344887 1992294400 134512640 134902295 4291482416 18446744073709551615 4159812214 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 349714 344887 269 96 0 348926 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1407556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 23180
/proc/meminfo: memFree=473788/2059040 swapFree=4140256/4192956
[pid=23126] ppid=23124 vsize=8700 CPUtime=0
/proc/23126/stat : 23126 (run) S 23124 23126 23071 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 21183142 8908800 251 1992294400 4194304 4922060 140734692636784 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23126/statm: 2175 251 211 178 0 68 0
[pid=23128] ppid=23126 vsize=1399120 CPUtime=1800.02
/proc/23128/stat : 23128 (PBPASSolver) R 23126 23126 23071 0 -1 4202496 377001 0 0 0 179736 266 0 0 25 0 1 0 21183142 1432698880 344973 1992294400 134512640 134902295 4291482416 18446744073709551615 4159842517 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23128/statm: 349780 344973 269 96 0 348992 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1407820

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 23126 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.02
#
# 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.02
CPU user time (s): 1797.36
CPU system time (s): 2.66
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 1407820

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.83257 second user time and 8.66568 second system time

The end

Begin job on node055 at 2010-06-17 20:22:02
IDJOB=2674103
IDBENCH=2288
IDSOLVER=1174
FILE ID=node055/2674103-1276798922
PBS_JOBID= 11176649
Free space on /tmp= 62472 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-ran10x26.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674103-1276798922/watcher-2674103-1276798922 -o /tmp/evaluation-result-2674103-1276798922/solver-2674103-1276798922 -C 1800 -W 2000 -M 1800  run HOME/instance-2674103-1276798922.opb

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

MD5SUM BENCH= 24310f50398f30cad58c742db29765ce
RANDOM SEED=1252696680

node055.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.258
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.51
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.258
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:       1857792 kB
Buffers:         24740 kB
Cached:          94908 kB
SwapCached:       6444 kB
Active:          20128 kB
Inactive:       112536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1857792 kB
SwapTotal:     4192956 kB
SwapFree:      4140256 kB
Dirty:            1392 kB
Writeback:           0 kB
AnonPages:       10720 kB
Mapped:          12976 kB
Slab:            46608 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181208 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= 62468 MiB
End job on node055 at 2010-06-17 20:52:05