37.78/37.85	c 7998 307 0 0 0 0 0 0
37.78/37.85	c 8192 ~x1460157+4096 ~x1460156+2048 ~x1460155+1024 ~x1460154+512 ~x1460153+256 ~x1460152+128 ~x1460151+64 ~x1460150+32 ~x1460149+16 ~x1460148+8 ~x1460147+4 ~x1460146+2 ~x1460145+1 ~x1460144+8192 x7742+8192 ~x15+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=32766
37.88/37.94	c 4096 ~x1463872+2048 ~x1463871+1024 ~x1463870+512 ~x1463869+256 ~x1463868+128 ~x1463867+64 ~x1463866+32 ~x1463865+16 ~x1463864+8 ~x1463863+4 ~x1463862+2 ~x1463861+1 ~x1463860+6144 x7743+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=16382
37.97/38.01	c 8192 ~x1466573+4096 ~x1466572+2048 ~x1466571+1024 ~x1466570+512 ~x1466569+256 ~x1466568+128 ~x1466567+64 ~x1466566+32 ~x1466565+16 ~x1466564+8 ~x1466563+4 ~x1466562+2 ~x1466561+1 ~x1466560+10240 x7744+8192 ~x75+4096 ~x74+2048 ~x73+1024 ~x72+512 ~x71+256 ~x70+128 ~x69+64 ~x68+32 ~x67+16 ~x66+8 ~x65+4 ~x64+2 ~x63+1 ~x62-0=32766
38.07/38.10	c 2048 ~x1470287+1024 ~x1470286+512 ~x1470285+256 ~x1470284+128 ~x1470283+64 ~x1470282+32 ~x1470281+16 ~x1470280+8 ~x1470279+4 ~x1470278+2 ~x1470277+1 ~x1470276+3072 x7745+2048 ~x103+1024 ~x102+512 ~x101+256 ~x100+128 ~x99+64 ~x98+32 ~x97+16 ~x96+8 ~x95+4 ~x94+2 ~x93+1 ~x92-0=8190
38.07/38.16	c 8192 ~x1472637+4096 ~x1472636+2048 ~x1472635+1024 ~x1472634+512 ~x1472633+256 ~x1472632+128 ~x1472631+64 ~x1472630+32 ~x1472629+16 ~x1472628+8 ~x1472627+4 ~x1472626+2 ~x1472625+1 ~x1472624+13312 x7746+8192 ~x135+4096 ~x134+2048 ~x133+1024 ~x132+512 ~x131+256 ~x130+128 ~x129+64 ~x128+32 ~x127+16 ~x126+8 ~x125+4 ~x124+2 ~x123+1 ~x122-0=32766
38.17/38.26	c 16384 ~x1476354+8192 ~x1476353+4096 ~x1476352+2048 ~x1476351+1024 ~x1476350+512 ~x1476349+256 ~x1476348+128 ~x1476347+64 ~x1476346+32 ~x1476345+16 ~x1476344+8 ~x1476343+4 ~x1476342+2 ~x1476341+1 ~x1476340+31744 x7747+16384 ~x166+8192 ~x165+4096 ~x164+2048 ~x163+1024 ~x162+512 ~x161+256 ~x160+128 ~x159+64 ~x158+32 ~x157+16 ~x156+8 ~x155+4 ~x154+2 ~x153+1 ~x152-0=65534
38.27/38.36	c 8192 ~x1480645+4096 ~x1480644+2048 ~x1480643+1024 ~x1480642+512 ~x1480641+256 ~x1480640+128 ~x1480639+64 ~x1480638+32 ~x1480637+16 ~x1480636+8 ~x1480635+4 ~x1480634+2 ~x1480633+1 ~x1480632+10240 x7748+8192 ~x195+4096 ~x194+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182-0=32766
38.38/38.45	c 2048 ~x1484359+1024 ~x1484358+512 ~x1484357+256 ~x1484356+128 ~x1484355+64 ~x1484354+32 ~x1484353+16 ~x1484352+8 ~x1484351+4 ~x1484350+2 ~x1484349+1 ~x1484348+2048 x7749+2048 ~x223+1024 ~x222+512 ~x221+256 ~x220+128 ~x219+64 ~x218+32 ~x217+16 ~x216+8 ~x215+4 ~x214+2 ~x213+1 ~x212-0=8190
38.48/38.52	c 8192 ~x1486709+4096 ~x1486708+2048 ~x1486707+1024 ~x1486706+512 ~x1486705+256 ~x1486704+128 ~x1486703+64 ~x1486702+32 ~x1486701+16 ~x1486700+8 ~x1486699+4 ~x1486698+2 ~x1486697+1 ~x1486696+8192 x7750+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
38.57/38.61	c 16384 ~x1490426+8192 ~x1490425+4096 ~x1490424+2048 ~x1490423+1024 ~x1490422+512 ~x1490421+256 ~x1490420+128 ~x1490419+64 ~x1490418+32 ~x1490417+16 ~x1490416+8 ~x1490415+4 ~x1490414+2 ~x1490413+1 ~x1490412+31744 x7751+16384 ~x286+8192 ~x285+4096 ~x284+2048 ~x283+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272-0=65534
38.68/38.72	c 4096 ~x1494716+2048 ~x1494715+1024 ~x1494714+512 ~x1494713+256 ~x1494712+128 ~x1494711+64 ~x1494710+32 ~x1494709+16 ~x1494708+8 ~x1494707+4 ~x1494706+2 ~x1494705+1 ~x1494704+6144 x7752+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=16382
38.68/38.78	c 2048 ~x1497415+1024 ~x1497414+512 ~x1497413+256 ~x1497412+128 ~x1497411+64 ~x1497410+32 ~x1497409+16 ~x1497408+8 ~x1497407+4 ~x1497406+2 ~x1497405+1 ~x1497404+2048 x7753+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=8190
38.78/38.84	c 8192 ~x1499765+4096 ~x1499764+2048 ~x1499763+1024 ~x1499762+512 ~x1499761+256 ~x1499760+128 ~x1499759+64 ~x1499758+32 ~x1499757+16 ~x1499756+8 ~x1499755+4 ~x1499754+2 ~x1499753+1 ~x1499752+11264 x7754+8192 ~x375+4096 ~x374+2048 ~x373+1024 ~x372+512 ~x371+256 ~x370+128 ~x369+64 ~x368+32 ~x367+16 ~x366+8 ~x365+4 ~x364+2 ~x363+1 ~x362-0=32766
38.87/38.94	c 16384 ~x1503482+8192 ~x1503481+4096 ~x1503480+2048 ~x1503479+1024 ~x1503478+512 ~x1503477+256 ~x1503476+128 ~x1503475+64 ~x1503474+32 ~x1503473+16 ~x1503472+8 ~x1503471+4 ~x1503470+2 ~x1503469+1 ~x1503468+19456 x7755+16384 ~x406+8192 ~x405+4096 ~x404+2048 ~x403+1024 ~x402+512 ~x401+256 ~x400+128 ~x399+64 ~x398+32 ~x397+16 ~x396+8 ~x395+4 ~x394+2 ~x393+1 ~x392-0=65534
38.97/39.04	c 4096 ~x1507515+2048 ~x1507514+1024 ~x1507513+512 ~x1507512+256 ~x1507511+128 ~x1507510+64 ~x1507509+32 ~x1507508+16 ~x1507507+8 ~x1507506+4 ~x1507505+2 ~x1507504+1 ~x1507503+6144 x7756+4096 ~x434+2048 ~x433+1024 ~x432+512 ~x431+256 ~x430+128 ~x429+64 ~x428+32 ~x427+16 ~x426+8 ~x425+4 ~x424+2 ~x423+1 ~x422-0=16382
39.07/39.11	c 4096 ~x1510215+2048 ~x1510214+1024 ~x1510213+512 ~x1510212+256 ~x1510211+128 ~x1510210+64 ~x1510209+32 ~x1510208+16 ~x1510207+8 ~x1510206+4 ~x1510205+2 ~x1510204+1 ~x1510203+7168 x7757+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
39.07/39.17	c 2048 ~x1512914+1024 ~x1512913+512 ~x1512912+256 ~x1512911+128 ~x1512910+64 ~x1512909+32 ~x1512908+16 ~x1512907+8 ~x1512906+4 ~x1512905+2 ~x1512904+1 ~x1512903+3072 x7758+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
39.18/39.23	c 8192 ~x1515264+4096 ~x1515263+2048 ~x1515262+1024 ~x1515261+512 ~x1515260+256 ~x1515259+128 ~x1515258+64 ~x1515257+32 ~x1515256+16 ~x1515255+8 ~x1515254+4 ~x1515253+2 ~x1515252+1 ~x1515251+15360 x7759+8192 ~x525+4096 ~x524+2048 ~x523+1024 ~x522+512 ~x521+256 ~x520+128 ~x519+64 ~x518+32 ~x517+16 ~x516+8 ~x515+4 ~x514+2 ~x513+1 ~x512-0=32766
39.27/39.33	c 16384 ~x1518981+8192 ~x1518980+4096 ~x1518979+2048 ~x1518978+1024 ~x1518977+512 ~x1518976+256 ~x1518975+128 ~x1518974+64 ~x1518973+32 ~x1518972+16 ~x1518971+8 ~x1518970+4 ~x1518969+2 ~x1518968+1 ~x1518967+19456 x7760+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
39.37/39.43	c 8192 ~x1523015+4096 ~x1523014+2048 ~x1523013+1024 ~x1523012+512 ~x1523011+256 ~x1523010+128 ~x1523009+64 ~x1523008+32 ~x1523007+16 ~x1523006+8 ~x1523005+4 ~x1523004+2 ~x1523003+1 ~x1523002+8192 x7761+8192 ~x585+4096 ~x584+2048 ~x583+1024 ~x582+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572-0=32766
39.48/39.52	c 4096 ~x1526730+2048 ~x1526729+1024 ~x1526728+512 ~x1526727+256 ~x1526726+128 ~x1526725+64 ~x1526724+32 ~x1526723+16 ~x1526722+8 ~x1526721+4 ~x1526720+2 ~x1526719+1 ~x1526718+4096 x7762+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
39.48/39.59	c 4096 ~x1529430+2048 ~x1529429+1024 ~x1529428+512 ~x1529427+256 ~x1529426+128 ~x1529425+64 ~x1529424+32 ~x1529423+16 ~x1529422+8 ~x1529421+4 ~x1529420+2 ~x1529419+1 ~x1529418+6144 x7763+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
39.58/39.66	c 1024 ~x1532128+512 ~x1532127+256 ~x1532126+128 ~x1532125+64 ~x1532124+32 ~x1532123+16 ~x1532122+8 ~x1532121+4 ~x1532120+2 ~x1532119+1 ~x1532118+1024 x7764+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662-0=4094
39.68/39.71	c 2048 ~x1534242+1024 ~x1534241+512 ~x1534240+256 ~x1534239+128 ~x1534238+64 ~x1534237+32 ~x1534236+16 ~x1534235+8 ~x1534234+4 ~x1534233+2 ~x1534232+1 ~x1534231+3072 x7765+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
39.68/39.78	c 16384 ~x1536593+8192 ~x1536592+4096 ~x1536591+2048 ~x1536590+1024 ~x1536589+512 ~x1536588+256 ~x1536587+128 ~x1536586+64 ~x1536585+32 ~x1536584+16 ~x1536583+8 ~x1536582+4 ~x1536581+2 ~x1536580+1 ~x1536579+16384 x7766+16384 ~x736+8192 ~x735+4096 ~x734+2048 ~x733+1024 ~x732+512 ~x731+256 ~x730+128 ~x729+64 ~x728+32 ~x727+16 ~x726+8 ~x725+4 ~x724+2 ~x723+1 ~x722-0=65534
39.78/39.88	c 16384 ~x1540628+8192 ~x1540627+4096 ~x1540626+2048 ~x1540625+1024 ~x1540624+512 ~x1540623+256 ~x1540622+128 ~x1540621+64 ~x1540620+32 ~x1540619+16 ~x1540618+8 ~x1540617+4 ~x1540616+2 ~x1540615+1 ~x1540614+23552 x7767+16384 ~x766+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=65534
39.87/39.98	c 2048 ~x1544917+1024 ~x1544916+512 ~x1544915+256 ~x1544914+128 ~x1544913+64 ~x1544912+32 ~x1544911+16 ~x1544910+8 ~x1544909+4 ~x1544908+2 ~x1544907+1 ~x1544906+2048 x7768+2048 ~x793+1024 ~x792+512 ~x791+256 ~x790+128 ~x789+64 ~x788+32 ~x787+16 ~x786+8 ~x785+4 ~x784+2 ~x783+1 ~x782-0=8190
39.97/40.04	c 8192 ~x1547267+4096 ~x1547266+2048 ~x1547265+1024 ~x1547264+512 ~x1547263+256 ~x1547262+128 ~x1547261+64 ~x1547260+32 ~x1547259+16 ~x1547258+8 ~x1547257+4 ~x1547256+2 ~x1547255+1 ~x1547254+10240 x7769+8192 ~x825+4096 ~x824+2048 ~x823+1024 ~x822+512 ~x821+256 ~x820+128 ~x819+64 ~x818+32 ~x817+16 ~x816+8 ~x815+4 ~x814+2 ~x813+1 ~x812-0=32766
40.07/40.14	c 16384 ~x1550984+8192 ~x1550983+4096 ~x1550982+2048 ~x1550981+1024 ~x1550980+512 ~x1550979+256 ~x1550978+128 ~x1550977+64 ~x1550976+32 ~x1550975+16 ~x1550974+8 ~x1550973+4 ~x1550972+2 ~x1550971+1 ~x1550970+17408 x7770+16384 ~x856+8192 ~x855+4096 ~x854+2048 ~x853+1024 ~x852+512 ~x851+256 ~x850+128 ~x849+64 ~x848+32 ~x847+16 ~x846+8 ~x845+4 ~x844+2 ~x843+1 ~x842-0=65534
40.17/40.24	c 16384 ~x1555019+8192 ~x1555018+4096 ~x1555017+2048 ~x1555016+1024 ~x1555015+512 ~x1555014+256 ~x1555013+128 ~x1555012+64 ~x1555011+32 ~x1555010+16 ~x1555009+8 ~x1555008+4 ~x1555007+2 ~x1555006+1 ~x1555005+31744 x7771+16384 ~x886+8192 ~x885+4096 ~x884+2048 ~x883+1024 ~x882+512 ~x881+256 ~x880+128 ~x879+64 ~x878+32 ~x877+16 ~x876+8 ~x875+4 ~x874+2 ~x873+1 ~x872-0=65534
40.27/40.37	c 1024 ~x1559307+512 ~x1559306+256 ~x1559305+128 ~x1559304+64 ~x1559303+32 ~x1559302+16 ~x1559301+8 ~x1559300+4 ~x1559299+2 ~x1559298+1 ~x1559297+1024 x7772+1024 ~x912+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902-0=4094
40.37/40.42	c 8192 ~x1561423+4096 ~x1561422+2048 ~x1561421+1024 ~x1561420+512 ~x1561419+256 ~x1561418+128 ~x1561417+64 ~x1561416+32 ~x1561415+16 ~x1561414+8 ~x1561413+4 ~x1561412+2 ~x1561411+1 ~x1561410+13312 x7773+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=32766
40.48/40.52	c 8192 ~x1565139+4096 ~x1565138+2048 ~x1565137+1024 ~x1565136+512 ~x1565135+256 ~x1565134+128 ~x1565133+64 ~x1565132+32 ~x1565131+16 ~x1565130+8 ~x1565129+4 ~x1565128+2 ~x1565127+1 ~x1565126+10240 x7774+8192 ~x975+4096 ~x974+2048 ~x973+1024 ~x972+512 ~x971+256 ~x970+128 ~x969+64 ~x968+32 ~x967+16 ~x966+8 ~x965+4 ~x964+2 ~x963+1 ~x962-0=32766
40.58/40.61	c 2048 ~x1568853+1024 ~x1568852+512 ~x1568851+256 ~x1568850+128 ~x1568849+64 ~x1568848+32 ~x1568847+16 ~x1568846+8 ~x1568845+4 ~x1568844+2 ~x1568843+1 ~x1568842+3072 x7775+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=8190
40.58/40.67	c 8192 ~x1571203+4096 ~x1571202+2048 ~x1571201+1024 ~x1571200+512 ~x1571199+256 ~x1571198+128 ~x1571197+64 ~x1571196+32 ~x1571195+16 ~x1571194+8 ~x1571193+4 ~x1571192+2 ~x1571191+1 ~x1571190+8192 x7776+8192 ~x1035+4096 ~x1034+2048 ~x1033+1024 ~x1032+512 ~x1031+256 ~x1030+128 ~x1029+64 ~x1028+32 ~x1027+16 ~x1026+8 ~x1025+4 ~x1024+2 ~x1023+1 ~x1022-0=32766
40.68/40.77	c 4096 ~x1574918+2048 ~x1574917+1024 ~x1574916+512 ~x1574915+256 ~x1574914+128 ~x1574913+64 ~x1574912+32 ~x1574911+16 ~x1574910+8 ~x1574909+4 ~x1574908+2 ~x1574907+1 ~x1574906+6144 x7777+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
40.78/40.84	c 4096 ~x1577618+2048 ~x1577617+1024 ~x1577616+512 ~x1577615+256 ~x1577614+128 ~x1577613+64 ~x1577612+32 ~x1577611+16 ~x1577610+8 ~x1577609+4 ~x1577608+2 ~x1577607+1 ~x1577606+6144 x7778+4096 ~x1094+2048 ~x1093+1024 ~x1092+512 ~x1091+256 ~x1090+128 ~x1089+64 ~x1088+32 ~x1087+16 ~x1086+8 ~x1085+4 ~x1084+2 ~x1083+1 ~x1082-0=16382
40.88/40.90	c 4096 ~x1580318+2048 ~x1580317+1024 ~x1580316+512 ~x1580315+256 ~x1580314+128 ~x1580313+64 ~x1580312+32 ~x1580311+16 ~x1580310+8 ~x1580309+4 ~x1580308+2 ~x1580307+1 ~x1580306+5120 x7779+4096 ~x1124+2048 ~x1123+1024 ~x1122+512 ~x1121+256 ~x1120+128 ~x1119+64 ~x1118+32 ~x1117+16 ~x1116+8 ~x1115+4 ~x1114+2 ~x1113+1 ~x1112-0=16382
40.88/40.97	c 4096 ~x1583018+2048 ~x1583017+1024 ~x1583016+512 ~x1583015+256 ~x1583014+128 ~x1583013+64 ~x1583012+32 ~x1583011+16 ~x1583010+8 ~x1583009+4 ~x1583008+2 ~x1583007+1 ~x1583006+4096 x7780+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=16382
40.98/41.04	c 16384 ~x1585720+8192 ~x1585719+4096 ~x1585718+2048 ~x1585717+1024 ~x1585716+512 ~x1585715+256 ~x1585714+128 ~x1585713+64 ~x1585712+32 ~x1585711+16 ~x1585710+8 ~x1585709+4 ~x1585708+2 ~x1585707+1 ~x1585706+25600 x7781+16384 ~x1186+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=65534
41.08/41.14	c 8192 ~x1590011+4096 ~x1590010+2048 ~x1590009+1024 ~x1590008+512 ~x1590007+256 ~x1590006+128 ~x1590005+64 ~x1590004+32 ~x1590003+16 ~x1590002+8 ~x1590001+4 ~x1590000+2 ~x1589999+1 ~x1589998+10240 x7782+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
41.17/41.24	c 32768 ~x1593729+16384 ~x1593728+8192 ~x1593727+4096 ~x1593726+2048 ~x1593725+1024 ~x1593724+512 ~x1593723+256 ~x1593722+128 ~x1593721+64 ~x1593720+32 ~x1593719+16 ~x1593718+8 ~x1593717+4 ~x1593716+2 ~x1593715+1 ~x1593714+32768 x7783+32768 ~x1247+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=131070
41.27/41.35	c 4096 ~x1598355+2048 ~x1598354+1024 ~x1598353+512 ~x1598352+256 ~x1598351+128 ~x1598350+64 ~x1598349+32 ~x1598348+16 ~x1598347+8 ~x1598346+4 ~x1598345+2 ~x1598344+1 ~x1598343+4096 x7784+4096 ~x1274+2048 ~x1273+1024 ~x1272+512 ~x1271+256 ~x1270+128 ~x1269+64 ~x1268+32 ~x1267+16 ~x1266+8 ~x1265+4 ~x1264+2 ~x1263+1 ~x1262-0=16382
41.37/41.42	c 4096 ~x1601055+2048 ~x1601054+1024 ~x1601053+512 ~x1601052+256 ~x1601051+128 ~x1601050+64 ~x1601049+32 ~x1601048+16 ~x1601047+8 ~x1601046+4 ~x1601045+2 ~x1601044+1 ~x1601043+4096 x7785+4096 ~x1304+2048 ~x1303+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292-0=16382
41.37/41.49	c 8192 ~x1603756+4096 ~x1603755+2048 ~x1603754+1024 ~x1603753+512 ~x1603752+256 ~x1603751+128 ~x1603750+64 ~x1603749+32 ~x1603748+16 ~x1603747+8 ~x1603746+4 ~x1603745+2 ~x1603744+1 ~x1603743+8192 x7786+8192 ~x1335+4096 ~x1334+2048 ~x1333+1024 ~x1332+512 ~x1331+256 ~x1330+128 ~x1329+64 ~x1328+32 ~x1327+16 ~x1326+8 ~x1325+4 ~x1324+2 ~x1323+1 ~x1322-0=32766
41.47/41.58	c 8192 ~x1607472+4096 ~x1607471+2048 ~x1607470+1024 ~x1607469+512 ~x1607468+256 ~x1607467+128 ~x1607466+64 ~x1607465+32 ~x1607464+16 ~x1607463+8 ~x1607462+4 ~x1607461+2 ~x1607460+1 ~x1607459+10240 x7787+8192 ~x1365+4096 ~x1364+2048 ~x1363+1024 ~x1362+512 ~x1361+256 ~x1360+128 ~x1359+64 ~x1358+32 ~x1357+16 ~x1356+8 ~x1355+4 ~x1354+2 ~x1353+1 ~x1352-0=32766
41.57/41.67	c 2048 ~x1611186+1024 ~x1611185+512 ~x1611184+256 ~x1611183+128 ~x1611182+64 ~x1611181+32 ~x1611180+16 ~x1611179+8 ~x1611178+4 ~x1611177+2 ~x1611176+1 ~x1611175+3072 x7788+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=8190
41.68/41.73	c 16384 ~x1613537+8192 ~x1613536+4096 ~x1613535+2048 ~x1613534+1024 ~x1613533+512 ~x1613532+256 ~x1613531+128 ~x1613530+64 ~x1613529+32 ~x1613528+16 ~x1613527+8 ~x1613526+4 ~x1613525+2 ~x1613524+1 ~x1613523+19456 x7789+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
41.78/41.83	c 16384 ~x1617572+8192 ~x1617571+4096 ~x1617570+2048 ~x1617569+1024 ~x1617568+512 ~x1617567+256 ~x1617566+128 ~x1617565+64 ~x1617564+32 ~x1617563+16 ~x1617562+8 ~x1617561+4 ~x1617560+2 ~x1617559+1 ~x1617558+16384 x7790+16384 ~x1456+8192 ~x1455+4096 ~x1454+2048 ~x1453+1024 ~x1452+512 ~x1451+256 ~x1450+128 ~x1449+64 ~x1448+32 ~x1447+16 ~x1446+8 ~x1445+4 ~x1444+2 ~x1443+1 ~x1442-0=65534
41.87/41.94	c 4096 ~x1621605+2048 ~x1621604+1024 ~x1621603+512 ~x1621602+256 ~x1621601+128 ~x1621600+64 ~x1621599+32 ~x1621598+16 ~x1621597+8 ~x1621596+4 ~x1621595+2 ~x1621594+1 ~x1621593+6144 x7791+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.97/42.00	c 2048 ~x1624304+1024 ~x1624303+512 ~x1624302+256 ~x1624301+128 ~x1624300+64 ~x1624299+32 ~x1624298+16 ~x1624297+8 ~x1624296+4 ~x1624295+2 ~x1624294+1 ~x1624293+3072 x7792+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=8190
41.97/42.06	c 8192 ~x1626654+4096 ~x1626653+2048 ~x1626652+1024 ~x1626651+512 ~x1626650+256 ~x1626649+128 ~x1626648+64 ~x1626647+32 ~x1626646+16 ~x1626645+8 ~x1626644+4 ~x1626643+2 ~x1626642+1 ~x1626641+13312 x7793+8192 ~x1545+4096 ~x1544+2048 ~x1543+1024 ~x1542+512 ~x1541+256 ~x1540+128 ~x1539+64 ~x1538+32 ~x1537+16 ~x1536+8 ~x1535+4 ~x1534+2 ~x1533+1 ~x1532-0=32766
42.08/42.16	c 32768 ~x1630372+16384 ~x1630371+8192 ~x1630370+4096 ~x1630369+2048 ~x1630368+1024 ~x1630367+512 ~x1630366+256 ~x1630365+128 ~x1630364+64 ~x1630363+32 ~x1630362+16 ~x1630361+8 ~x1630360+4 ~x1630359+2 ~x1630358+1 ~x1630357+35840 x7794+32768 ~x1577+16384 ~x1576+8192 ~x1575+4096 ~x1574+2048 ~x1573+1024 ~x1572+512 ~x1571+256 ~x1570+128 ~x1569+64 ~x1568+32 ~x1567+16 ~x1566+8 ~x1565+4 ~x1564+2 ~x1563+1 ~x1562-0=131070
42.18/42.27	c 8192 ~x1634999+4096 ~x1634998+2048 ~x1634997+1024 ~x1634996+512 ~x1634995+256 ~x1634994+128 ~x1634993+64 ~x1634992+32 ~x1634991+16 ~x1634990+8 ~x1634989+4 ~x1634988+2 ~x1634987+1 ~x1634986+10240 x7795+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
42.27/42.36	c 2048 ~x1638713+1024 ~x1638712+512 ~x1638711+256 ~x1638710+128 ~x1638709+64 ~x1638708+32 ~x1638707+16 ~x1638706+8 ~x1638705+4 ~x1638704+2 ~x1638703+1 ~x1638702+2048 x7796+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=8190
42.37/42.42	c 8192 ~x1641063+4096 ~x1641062+2048 ~x1641061+1024 ~x1641060+512 ~x1641059+256 ~x1641058+128 ~x1641057+64 ~x1641056+32 ~x1641055+16 ~x1641054+8 ~x1641053+4 ~x1641052+2 ~x1641051+1 ~x1641050+8192 x7797+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=32766
42.47/42.52	c 32768 ~x1644781+16384 ~x1644780+8192 ~x1644779+4096 ~x1644778+2048 ~x1644777+1024 ~x1644776+512 ~x1644775+256 ~x1644774+128 ~x1644773+64 ~x1644772+32 ~x1644771+16 ~x1644770+8 ~x1644769+4 ~x1644768+2 ~x1644767+1 ~x1644766+49152 x7798+32768 ~x1697+16384 ~x1696+8192 ~x1695+4096 ~x1694+2048 ~x1693+1024 ~x1692+512 ~x1691+256 ~x1690+128 ~x1689+64 ~x1688+32 ~x1687+16 ~x1686+8 ~x1685+4 ~x1684+2 ~x1683+1 ~x1682-0=131070
42.57/42.63	c 8192 ~x1649408+4096 ~x1649407+2048 ~x1649406+1024 ~x1649405+512 ~x1649404+256 ~x1649403+128 ~x1649402+64 ~x1649401+32 ~x1649400+16 ~x1649399+8 ~x1649398+4 ~x1649397+2 ~x1649396+1 ~x1649395+13312 x7799+8192 ~x1725+4096 ~x1724+2048 ~x1723+1024 ~x1722+512 ~x1721+256 ~x1720+128 ~x1719+64 ~x1718+32 ~x1717+16 ~x1716+8 ~x1715+4 ~x1714+2 ~x1713+1 ~x1712-0=32766
42.67/42.72	c 4096 ~x1653123+2048 ~x1653122+1024 ~x1653121+512 ~x1653120+256 ~x1653119+128 ~x1653118+64 ~x1653117+32 ~x1653116+16 ~x1653115+8 ~x1653114+4 ~x1653113+2 ~x1653112+1 ~x1653111+6144 x7800+4096 ~x1754+2048 ~x1753+1024 ~x1752+512 ~x1751+256 ~x1750+128 ~x1749+64 ~x1748+32 ~x1747+16 ~x1746+8 ~x1745+4 ~x1744+2 ~x1743+1 ~x1742-0=16382
42.67/42.79	c 2048 ~x1655822+1024 ~x1655821+512 ~x1655820+256 ~x1655819+128 ~x1655818+64 ~x1655817+32 ~x1655816+16 ~x1655815+8 ~x1655814+4 ~x1655813+2 ~x1655812+1 ~x1655811+2048 x7801+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=8190
42.78/42.85	c 8192 ~x1658172+4096 ~x1658171+2048 ~x1658170+1024 ~x1658169+512 ~x1658168+256 ~x1658167+128 ~x1658166+64 ~x1658165+32 ~x1658164+16 ~x1658163+8 ~x1658162+4 ~x1658161+2 ~x1658160+1 ~x1658159+11264 x7802+8192 ~x1815+4096 ~x1814+2048 ~x1813+1024 ~x1812+512 ~x1811+256 ~x1810+128 ~x1809+64 ~x1808+32 ~x1807+16 ~x1806+8 ~x1805+4 ~x1804+2 ~x1803+1 ~x1802-0=32766
42.88/42.95	c 4096 ~x1661887+2048 ~x1661886+1024 ~x1661885+512 ~x1661884+256 ~x1661883+128 ~x1661882+64 ~x1661881+32 ~x1661880+16 ~x1661879+8 ~x1661878+4 ~x1661877+2 ~x1661876+1 ~x1661875+6144 x7803+4096 ~x1844+2048 ~x1843+1024 ~x1842+512 ~x1841+256 ~x1840+128 ~x1839+64 ~x1838+32 ~x1837+16 ~x1836+8 ~x1835+4 ~x1834+2 ~x1833+1 ~x1832-0=16382
42.97/43.01	c 4096 ~x1664587+2048 ~x1664586+1024 ~x1664585+512 ~x1664584+256 ~x1664583+128 ~x1664582+64 ~x1664581+32 ~x1664580+16 ~x1664579+8 ~x1664578+4 ~x1664577+2 ~x1664576+1 ~x1664575+7168 x7804+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.97/43.08	c 2048 ~x1667286+1024 ~x1667285+512 ~x1667284+256 ~x1667283+128 ~x1667282+64 ~x1667281+32 ~x1667280+16 ~x1667279+8 ~x1667278+4 ~x1667277+2 ~x1667276+1 ~x1667275+3072 x7805+2048 ~x1903+1024 ~x1902+512 ~x1901+256 ~x1900+128 ~x1899+64 ~x1898+32 ~x1897+16 ~x1896+8 ~x1895+4 ~x1894+2 ~x1893+1 ~x1892-0=8190
43.08/43.14	c 8192 ~x1669636+4096 ~x1669635+2048 ~x1669634+1024 ~x1669633+512 ~x1669632+256 ~x1669631+128 ~x1669630+64 ~x1669629+32 ~x1669628+16 ~x1669627+8 ~x1669626+4 ~x1669625+2 ~x1669624+1 ~x1669623+15360 x7806+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
43.17/43.24	c 16384 ~x1673353+8192 ~x1673352+4096 ~x1673351+2048 ~x1673350+1024 ~x1673349+512 ~x1673348+256 ~x1673347+128 ~x1673346+64 ~x1673345+32 ~x1673344+16 ~x1673343+8 ~x1673342+4 ~x1673341+2 ~x1673340+1 ~x1673339+19456 x7807+16384 ~x1966+8192 ~x1965+4096 ~x1964+2048 ~x1963+1024 ~x1962+512 ~x1961+256 ~x1960+128 ~x1959+64 ~x1958+32 ~x1957+16 ~x1956+8 ~x1955+4 ~x1954+2 ~x1953+1 ~x1952-0=65534
43.27/43.34	c 8192 ~x1677387+4096 ~x1677386+2048 ~x1677385+1024 ~x1677384+512 ~x1677383+256 ~x1677382+128 ~x1677381+64 ~x1677380+32 ~x1677379+16 ~x1677378+8 ~x1677377+4 ~x1677376+2 ~x1677375+1 ~x1677374+8192 x7808+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
43.37/43.43	c 4096 ~x1681102+2048 ~x1681101+1024 ~x1681100+512 ~x1681099+256 ~x1681098+128 ~x1681097+64 ~x1681096+32 ~x1681095+16 ~x1681094+8 ~x1681093+4 ~x1681092+2 ~x1681091+1 ~x1681090+4096 x7809+4096 ~x2024+2048 ~x2023+1024 ~x2022+512 ~x2021+256 ~x2020+128 ~x2019+64 ~x2018+32 ~x2017+16 ~x2016+8 ~x2015+4 ~x2014+2 ~x2013+1 ~x2012-0=16382
43.47/43.50	c 32768 ~x1683805+16384 ~x1683804+8192 ~x1683803+4096 ~x1683802+2048 ~x1683801+1024 ~x1683800+512 ~x1683799+256 ~x1683798+128 ~x1683797+64 ~x1683796+32 ~x1683795+16 ~x1683794+8 ~x1683793+4 ~x1683792+2 ~x1683791+1 ~x1683790+35840 x7810+32768 ~x2057+16384 ~x2056+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=131070
43.57/43.61	c 4096 ~x1688431+2048 ~x1688430+1024 ~x1688429+512 ~x1688428+256 ~x1688427+128 ~x1688426+64 ~x1688425+32 ~x1688424+16 ~x1688423+8 ~x1688422+4 ~x1688421+2 ~x1688420+1 ~x1688419+6144 x7811+4096 ~x2084+2048 ~x2083+1024 ~x2082+512 ~x2081+256 ~x2080+128 ~x2079+64 ~x2078+32 ~x2077+16 ~x2076+8 ~x2075+4 ~x2074+2 ~x2073+1 ~x2072-0=16382
43.57/43.68	c 1024 ~x1691129+512 ~x1691128+256 ~x1691127+128 ~x1691126+64 ~x1691125+32 ~x1691124+16 ~x1691123+8 ~x1691122+4 ~x1691121+2 ~x1691120+1 ~x1691119+1024 x7812+1024 ~x2112+512 ~x2111+256 ~x2110+128 ~x2109+64 ~x2108+32 ~x2107+16 ~x2106+8 ~x2105+4 ~x2104+2 ~x2103+1 ~x2102-0=4094
43.67/43.73	c 2048 ~x1693243+1024 ~x1693242+512 ~x1693241+256 ~x1693240+128 ~x1693239+64 ~x1693238+32 ~x1693237+16 ~x1693236+8 ~x1693235+4 ~x1693234+2 ~x1693233+1 ~x1693232+3072 x7813+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
43.67/43.79	c 16384 ~x1695594+8192 ~x1695593+4096 ~x1695592+2048 ~x1695591+1024 ~x1695590+512 ~x1695589+256 ~x1695588+128 ~x1695587+64 ~x1695586+32 ~x1695585+16 ~x1695584+8 ~x1695583+4 ~x1695582+2 ~x1695581+1 ~x1695580+23552 x7814+16384 ~x2176+8192 ~x2175+4096 ~x2174+2048 ~x2173+1024 ~x2172+512 ~x2171+256 ~x2170+128 ~x2169+64 ~x2168+32 ~x2167+16 ~x2166+8 ~x2165+4 ~x2164+2 ~x2163+1 ~x2162-0=65534
43.88/43.90	c 2048 ~x1699883+1024 ~x1699882+512 ~x1699881+256 ~x1699880+128 ~x1699879+64 ~x1699878+32 ~x1699877+16 ~x1699876+8 ~x1699875+4 ~x1699874+2 ~x1699873+1 ~x1699872+2048 x7815+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.88/43.96	c 8192 ~x1702233+4096 ~x1702232+2048 ~x1702231+1024 ~x1702230+512 ~x1702229+256 ~x1702228+128 ~x1702227+64 ~x1702226+32 ~x1702225+16 ~x1702224+8 ~x1702223+4 ~x1702222+2 ~x1702221+1 ~x1702220+10240 x7816+8192 ~x2235+4096 ~x2234+2048 ~x2233+1024 ~x2232+512 ~x2231+256 ~x2230+128 ~x2229+64 ~x2228+32 ~x2227+16 ~x2226+8 ~x2225+4 ~x2224+2 ~x2223+1 ~x2222-0=32766
43.98/44.06	c 16384 ~x1705950+8192 ~x1705949+4096 ~x1705948+2048 ~x1705947+1024 ~x1705946+512 ~x1705945+256 ~x1705944+128 ~x1705943+64 ~x1705942+32 ~x1705941+16 ~x1705940+8 ~x1705939+4 ~x1705938+2 ~x1705937+1 ~x1705936+17408 x7817+16384 ~x2266+8192 ~x2265+4096 ~x2264+2048 ~x2263+1024 ~x2262+512 ~x2261+256 ~x2260+128 ~x2259+64 ~x2258+32 ~x2257+16 ~x2256+8 ~x2255+4 ~x2254+2 ~x2253+1 ~x2252-0=65534
44.07/44.16	c 32768 ~x1709986+16384 ~x1709985+8192 ~x1709984+4096 ~x1709983+2048 ~x1709982+1024 ~x1709981+512 ~x1709980+256 ~x1709979+128 ~x1709978+64 ~x1709977+32 ~x1709976+16 ~x1709975+8 ~x1709974+4 ~x1709973+2 ~x1709972+1 ~x1709971+33792 x7818+32768 ~x2297+16384 ~x2296+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=131070
44.17/44.27	c 1024 ~x1714610+512 ~x1714609+256 ~x1714608+128 ~x1714607+64 ~x1714606+32 ~x1714605+16 ~x1714604+8 ~x1714603+4 ~x1714602+2 ~x1714601+1 ~x1714600+1024 x7819+1024 ~x2322+512 ~x2321+256 ~x2320+128 ~x2319+64 ~x2318+32 ~x2317+16 ~x2316+8 ~x2315+4 ~x2314+2 ~x2313+1 ~x2312-0=4094
44.27/44.32	c 8192 ~x1716726+4096 ~x1716725+2048 ~x1716724+1024 ~x1716723+512 ~x1716722+256 ~x1716721+128 ~x1716720+64 ~x1716719+32 ~x1716718+16 ~x1716717+8 ~x1716716+4 ~x1716715+2 ~x1716714+1 ~x1716713+13312 x7820+8192 ~x2355+4096 ~x2354+2048 ~x2353+1024 ~x2352+512 ~x2351+256 ~x2350+128 ~x2349+64 ~x2348+32 ~x2347+16 ~x2346+8 ~x2345+4 ~x2344+2 ~x2343+1 ~x2342-0=32766
44.37/44.42	c 8192 ~x1720442+4096 ~x1720441+2048 ~x1720440+1024 ~x1720439+512 ~x1720438+256 ~x1720437+128 ~x1720436+64 ~x1720435+32 ~x1720434+16 ~x1720433+8 ~x1720432+4 ~x1720431+2 ~x1720430+1 ~x1720429+10240 x7821+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
44.47/44.51	c 8192 ~x1724158+4096 ~x1724157+2048 ~x1724156+1024 ~x1724155+512 ~x1724154+256 ~x1724153+128 ~x1724152+64 ~x1724151+32 ~x1724150+16 ~x1724149+8 ~x1724148+4 ~x1724147+2 ~x1724146+1 ~x1724145+10240 x7822+8192 ~x2415+4096 ~x2414+2048 ~x2413+1024 ~x2412+512 ~x2411+256 ~x2410+128 ~x2409+64 ~x2408+32 ~x2407+16 ~x2406+8 ~x2405+4 ~x2404+2 ~x2403+1 ~x2402-0=32766
44.57/44.60	c 2048 ~x1727872+1024 ~x1727871+512 ~x1727870+256 ~x1727869+128 ~x1727868+64 ~x1727867+32 ~x1727866+16 ~x1727865+8 ~x1727864+4 ~x1727863+2 ~x1727862+1 ~x1727861+3072 x7823+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
44.57/44.67	c 4096 ~x1730221+2048 ~x1730220+1024 ~x1730219+512 ~x1730218+256 ~x1730217+128 ~x1730216+64 ~x1730215+32 ~x1730214+16 ~x1730213+8 ~x1730212+4 ~x1730211+2 ~x1730210+1 ~x1730209+7168 x7824+4096 ~x2474+2048 ~x2473+1024 ~x2472+512 ~x2471+256 ~x2470+128 ~x2469+64 ~x2468+32 ~x2467+16 ~x2466+8 ~x2465+4 ~x2464+2 ~x2463+1 ~x2462-0=16382
44.67/44.73	c 4096 ~x1732921+2048 ~x1732920+1024 ~x1732919+512 ~x1732918+256 ~x1732917+128 ~x1732916+64 ~x1732915+32 ~x1732914+16 ~x1732913+8 ~x1732912+4 ~x1732911+2 ~x1732910+1 ~x1732909+6144 x7825+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=16382
44.77/44.80	c 4096 ~x1735621+2048 ~x1735620+1024 ~x1735619+512 ~x1735618+256 ~x1735617+128 ~x1735616+64 ~x1735615+32 ~x1735614+16 ~x1735613+8 ~x1735612+4 ~x1735611+2 ~x1735610+1 ~x1735609+5120 x7826+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=16382
44.77/44.87	c 4096 ~x1738321+2048 ~x1738320+1024 ~x1738319+512 ~x1738318+256 ~x1738317+128 ~x1738316+64 ~x1738315+32 ~x1738314+16 ~x1738313+8 ~x1738312+4 ~x1738311+2 ~x1738310+1 ~x1738309+4096 x7827+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=16382
44.87/44.94	c 4096 ~x1741021+2048 ~x1741020+1024 ~x1741019+512 ~x1741018+256 ~x1741017+128 ~x1741016+64 ~x1741015+32 ~x1741014+16 ~x1741013+8 ~x1741012+4 ~x1741011+2 ~x1741010+1 ~x1741009+7168 x7828+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.98/45.00	c 4096 ~x1743721+2048 ~x1743720+1024 ~x1743719+512 ~x1743718+256 ~x1743717+128 ~x1743716+64 ~x1743715+32 ~x1743714+16 ~x1743713+8 ~x1743712+4 ~x1743711+2 ~x1743710+1 ~x1743709+7168 x7829+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=16382
44.98/45.07	c 4096 ~x1746421+2048 ~x1746420+1024 ~x1746419+512 ~x1746418+256 ~x1746417+128 ~x1746416+64 ~x1746415+32 ~x1746414+16 ~x1746413+8 ~x1746412+4 ~x1746411+2 ~x1746410+1 ~x1746409+7168 x7830+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=16382
45.08/45.14	c 4096 ~x1749121+2048 ~x1749120+1024 ~x1749119+512 ~x1749118+256 ~x1749117+128 ~x1749116+64 ~x1749115+32 ~x1749114+16 ~x1749113+8 ~x1749112+4 ~x1749111+2 ~x1749110+1 ~x1749109+4096 x7831+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
45.17/45.21	c 2048 ~x1751820+1024 ~x1751819+512 ~x1751818+256 ~x1751817+128 ~x1751816+64 ~x1751815+32 ~x1751814+16 ~x1751813+8 ~x1751812+4 ~x1751811+2 ~x1751810+1 ~x1751809+2048 x7832+2048 ~x2713+1024 ~x2712+512 ~x2711+256 ~x2710+128 ~x2709+64 ~x2708+32 ~x2707+16 ~x2706+8 ~x2705+4 ~x2704+2 ~x2703+1 ~x2702-0=8190
45.17/45.27	c 4096 ~x1754169+2048 ~x1754168+1024 ~x1754167+512 ~x1754166+256 ~x1754165+128 ~x1754164+64 ~x1754163+32 ~x1754162+16 ~x1754161+8 ~x1754160+4 ~x1754159+2 ~x1754158+1 ~x1754157+4096 x7833+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
45.27/45.33	c 4096 ~x1756869+2048 ~x1756868+1024 ~x1756867+512 ~x1756866+256 ~x1756865+128 ~x1756864+64 ~x1756863+32 ~x1756862+16 ~x1756861+8 ~x1756860+4 ~x1756859+2 ~x1756858+1 ~x1756857+7168 x7834+4096 ~x2774+2048 ~x2773+1024 ~x2772+512 ~x2771+256 ~x2770+128 ~x2769+64 ~x2768+32 ~x2767+16 ~x2766+8 ~x2765+4 ~x2764+2 ~x2763+1 ~x2762-0=16382
45.37/45.40	c 4096 ~x1759569+2048 ~x1759568+1024 ~x1759567+512 ~x1759566+256 ~x1759565+128 ~x1759564+64 ~x1759563+32 ~x1759562+16 ~x1759561+8 ~x1759560+4 ~x1759559+2 ~x1759558+1 ~x1759557+7168 x7835+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=16382
45.37/45.47	c 4096 ~x1762269+2048 ~x1762268+1024 ~x1762267+512 ~x1762266+256 ~x1762265+128 ~x1762264+64 ~x1762263+32 ~x1762262+16 ~x1762261+8 ~x1762260+4 ~x1762259+2 ~x1762258+1 ~x1762257+7168 x7836+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=16382
45.47/45.54	c 4096 ~x1764969+2048 ~x1764968+1024 ~x1764967+512 ~x1764966+256 ~x1764965+128 ~x1764964+64 ~x1764963+32 ~x1764962+16 ~x1764961+8 ~x1764960+4 ~x1764959+2 ~x1764958+1 ~x1764957+7168 x7837+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=16382
45.57/45.60	c 4096 ~x1767669+2048 ~x1767668+1024 ~x1767667+512 ~x1767666+256 ~x1767665+128 ~x1767664+64 ~x1767663+32 ~x1767662+16 ~x1767661+8 ~x1767660+4 ~x1767659+2 ~x1767658+1 ~x1767657+6144 x7838+4096 ~x2894+2048 ~x2893+1024 ~x2892+512 ~x2891+256 ~x2890+128 ~x2889+64 ~x2888+32 ~x2887+16 ~x2886+8 ~x2885+4 ~x2884+2 ~x2883+1 ~x2882-0=16382
45.57/45.67	c 2048 ~x1770368+1024 ~x1770367+512 ~x1770366+256 ~x1770365+128 ~x1770364+64 ~x1770363+32 ~x1770362+16 ~x1770361+8 ~x1770360+4 ~x1770359+2 ~x1770358+1 ~x1770357+3072 x7839+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=8190
45.67/45.74	c 4096 ~x1772717+2048 ~x1772716+1024 ~x1772715+512 ~x1772714+256 ~x1772713+128 ~x1772712+64 ~x1772711+32 ~x1772710+16 ~x1772709+8 ~x1772708+4 ~x1772707+2 ~x1772706+1 ~x1772705+7168 x7840+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=16382
45.77/45.80	c 4096 ~x1775417+2048 ~x1775416+1024 ~x1775415+512 ~x1775414+256 ~x1775413+128 ~x1775412+64 ~x1775411+32 ~x1775410+16 ~x1775409+8 ~x1775408+4 ~x1775407+2 ~x1775406+1 ~x1775405+7168 x7841+4096 ~x2984+2048 ~x2983+1024 ~x2982+512 ~x2981+256 ~x2980+128 ~x2979+64 ~x2978+32 ~x2977+16 ~x2976+8 ~x2975+4 ~x2974+2 ~x2973+1 ~x2972-0=16382
45.77/45.87	c 4096 ~x1778117+2048 ~x1778116+1024 ~x1778115+512 ~x1778114+256 ~x1778113+128 ~x1778112+64 ~x1778111+32 ~x1778110+16 ~x1778109+8 ~x1778108+4 ~x1778107+2 ~x1778106+1 ~x1778105+7168 x7842+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.87/45.94	c 8192 ~x1780818+4096 ~x1780817+2048 ~x1780816+1024 ~x1780815+512 ~x1780814+256 ~x1780813+128 ~x1780812+64 ~x1780811+32 ~x1780810+16 ~x1780809+8 ~x1780808+4 ~x1780807+2 ~x1780806+1 ~x1780805+8192 x7843+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.97/46.04	c 2048 ~x1784532+1024 ~x1784531+512 ~x1784530+256 ~x1784529+128 ~x1784528+64 ~x1784527+32 ~x1784526+16 ~x1784525+8 ~x1784524+4 ~x1784523+2 ~x1784522+1 ~x1784521+2048 x7844+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
46.08/46.10	c 4096 ~x1786881+2048 ~x1786880+1024 ~x1786879+512 ~x1786878+256 ~x1786877+128 ~x1786876+64 ~x1786875+32 ~x1786874+16 ~x1786873+8 ~x1786872+4 ~x1786871+2 ~x1786870+1 ~x1786869+7168 x7845+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
46.08/46.16	c 4096 ~x1789581+2048 ~x1789580+1024 ~x1789579+512 ~x1789578+256 ~x1789577+128 ~x1789576+64 ~x1789575+32 ~x1789574+16 ~x1789573+8 ~x1789572+4 ~x1789571+2 ~x1789570+1 ~x1789569+7168 x7846+4096 ~x3134+2048 ~x3133+1024 ~x3132+512 ~x3131+256 ~x3130+128 ~x3129+64 ~x3128+32 ~x3127+16 ~x3126+8 ~x3125+4 ~x3124+2 ~x3123+1 ~x3122-0=16382
46.18/46.23	c 4096 ~x1792281+2048 ~x1792280+1024 ~x1792279+512 ~x1792278+256 ~x1792277+128 ~x1792276+64 ~x1792275+32 ~x1792274+16 ~x1792273+8 ~x1792272+4 ~x1792271+2 ~x1792270+1 ~x1792269+6144 x7847+4096 ~x3164+2048 ~x3163+1024 ~x3162+512 ~x3161+256 ~x3160+128 ~x3159+64 ~x3158+32 ~x3157+16 ~x3156+8 ~x3155+4 ~x3154+2 ~x3153+1 ~x3152-0=16382
46.28/46.30	c 2048 ~x1794980+1024 ~x1794979+512 ~x1794978+256 ~x1794977+128 ~x1794976+64 ~x1794975+32 ~x1794974+16 ~x1794973+8 ~x1794972+4 ~x1794971+2 ~x1794970+1 ~x1794969+2048 x7848+2048 ~x3193+1024 ~x3192+512 ~x3191+256 ~x3190+128 ~x3189+64 ~x3188+32 ~x3187+16 ~x3186+8 ~x3185+4 ~x3184+2 ~x3183+1 ~x3182-0=8190
46.28/46.36	c 4096 ~x1797329+2048 ~x1797328+1024 ~x1797327+512 ~x1797326+256 ~x1797325+128 ~x1797324+64 ~x1797323+32 ~x1797322+16 ~x1797321+8 ~x1797320+4 ~x1797319+2 ~x1797318+1 ~x1797317+7168 x7849+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
46.38/46.43	c 4096 ~x1800029+2048 ~x1800028+1024 ~x1800027+512 ~x1800026+256 ~x1800025+128 ~x1800024+64 ~x1800023+32 ~x1800022+16 ~x1800021+8 ~x1800020+4 ~x1800019+2 ~x1800018+1 ~x1800017+6144 x7850+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=16382
46.38/46.49	c 4096 ~x1802729+2048 ~x1802728+1024 ~x1802727+512 ~x1802726+256 ~x1802725+128 ~x1802724+64 ~x1802723+32 ~x1802722+16 ~x1802721+8 ~x1802720+4 ~x1802719+2 ~x1802718+1 ~x1802717+7168 x7851+4096 ~x3284+2048 ~x3283+1024 ~x3282+512 ~x3281+256 ~x3280+128 ~x3279+64 ~x3278+32 ~x3277+16 ~x3276+8 ~x3275+4 ~x3274+2 ~x3273+1 ~x3272-0=16382
46.47/46.56	c 2048 ~x1805428+1024 ~x1805427+512 ~x1805426+256 ~x1805425+128 ~x1805424+64 ~x1805423+32 ~x1805422+16 ~x1805421+8 ~x1805420+4 ~x1805419+2 ~x1805418+1 ~x1805417+3072 x7852+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=8190
46.57/46.62	c 4096 ~x1807777+2048 ~x1807776+1024 ~x1807775+512 ~x1807774+256 ~x1807773+128 ~x1807772+64 ~x1807771+32 ~x1807770+16 ~x1807769+8 ~x1807768+4 ~x1807767+2 ~x1807766+1 ~x1807765+7168 x7853+4096 ~x3344+2048 ~x3343+1024 ~x3342+512 ~x3341+256 ~x3340+128 ~x3339+64 ~x3338+32 ~x3337+16 ~x3336+8 ~x3335+4 ~x3334+2 ~x3333+1 ~x3332-0=16382
46.57/46.69	c 4096 ~x1810477+2048 ~x1810476+1024 ~x1810475+512 ~x1810474+256 ~x1810473+128 ~x1810472+64 ~x1810471+32 ~x1810470+16 ~x1810469+8 ~x1810468+4 ~x1810467+2 ~x1810466+1 ~x1810465+5120 x7854+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=16382
46.67/46.76	c 32768 ~x1813180+16384 ~x1813179+8192 ~x1813178+4096 ~x1813177+2048 ~x1813176+1024 ~x1813175+512 ~x1813174+256 ~x1813173+128 ~x1813172+64 ~x1813171+32 ~x1813170+16 ~x1813169+8 ~x1813168+4 ~x1813167+2 ~x1813166+1 ~x1813165+50176 x7855+32768 ~x3407+16384 ~x3406+8192 ~x3405+4096 ~x3404+2048 ~x3403+1024 ~x3402+512 ~x3401+256 ~x3400+128 ~x3399+64 ~x3398+32 ~x3397+16 ~x3396+8 ~x3395+4 ~x3394+2 ~x3393+1 ~x3392-0=131070
46.77/46.87	c 4096 ~x1817806+2048 ~x1817805+1024 ~x1817804+512 ~x1817803+256 ~x1817802+128 ~x1817801+64 ~x1817800+32 ~x1817799+16 ~x1817798+8 ~x1817797+4 ~x1817796+2 ~x1817795+1 ~x1817794+7168 x7856+4096 ~x3434+2048 ~x3433+1024 ~x3432+512 ~x3431+256 ~x3430+128 ~x3429+64 ~x3428+32 ~x3427+16 ~x3426+8 ~x3425+4 ~x3424+2 ~x3423+1 ~x3422-0=16382
46.87/46.94	c 4096 ~x1820506+2048 ~x1820505+1024 ~x1820504+512 ~x1820503+256 ~x1820502+128 ~x1820501+64 ~x1820500+32 ~x1820499+16 ~x1820498+8 ~x1820497+4 ~x1820496+2 ~x1820495+1 ~x1820494+7168 x7857+4096 ~x3464+2048 ~x3463+1024 ~x3462+512 ~x3461+256 ~x3460+128 ~x3459+64 ~x3458+32 ~x3457+16 ~x3456+8 ~x3455+4 ~x3454+2 ~x3453+1 ~x3452-0=16382
46.97/47.01	c 4096 ~x1823206+2048 ~x1823205+1024 ~x1823204+512 ~x1823203+256 ~x1823202+128 ~x1823201+64 ~x1823200+32 ~x1823199+16 ~x1823198+8 ~x1823197+4 ~x1823196+2 ~x1823195+1 ~x1823194+4096 x7858+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.97/47.07	c 4096 ~x1825906+2048 ~x1825905+1024 ~x1825904+512 ~x1825903+256 ~x1825902+128 ~x1825901+64 ~x1825900+32 ~x1825899+16 ~x1825898+8 ~x1825897+4 ~x1825896+2 ~x1825895+1 ~x1825894+6144 x7859+4096 ~x3524+2048 ~x3523+1024 ~x3522+512 ~x3521+256 ~x3520+128 ~x3519+64 ~x3518+32 ~x3517+16 ~x3516+8 ~x3515+4 ~x3514+2 ~x3513+1 ~x3512-0=16382
47.07/47.14	c 1024 ~x1828604+512 ~x1828603+256 ~x1828602+128 ~x1828601+64 ~x1828600+32 ~x1828599+16 ~x1828598+8 ~x1828597+4 ~x1828596+2 ~x1828595+1 ~x1828594+1024 x7860+1024 ~x3552+512 ~x3551+256 ~x3550+128 ~x3549+64 ~x3548+32 ~x3547+16 ~x3546+8 ~x3545+4 ~x3544+2 ~x3543+1 ~x3542-0=4094
47.07/47.20	c 2048 ~x1830718+1024 ~x1830717+512 ~x1830716+256 ~x1830715+128 ~x1830714+64 ~x1830713+32 ~x1830712+16 ~x1830711+8 ~x1830710+4 ~x1830709+2 ~x1830708+1 ~x1830707+3072 x7861+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=8190
47.17/47.26	c 4096 ~x1833067+2048 ~x1833066+1024 ~x1833065+512 ~x1833064+256 ~x1833063+128 ~x1833062+64 ~x1833061+32 ~x1833060+16 ~x1833059+8 ~x1833058+4 ~x1833057+2 ~x1833056+1 ~x1833055+7168 x7862+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.28/47.32	c 2048 ~x1835766+1024 ~x1835765+512 ~x1835764+256 ~x1835763+128 ~x1835762+64 ~x1835761+32 ~x1835760+16 ~x1835759+8 ~x1835758+4 ~x1835757+2 ~x1835756+1 ~x1835755+2048 x7863+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.28/47.38	c 4096 ~x1838115+2048 ~x1838114+1024 ~x1838113+512 ~x1838112+256 ~x1838111+128 ~x1838110+64 ~x1838109+32 ~x1838108+16 ~x1838107+8 ~x1838106+4 ~x1838105+2 ~x1838104+1 ~x1838103+7168 x7864+4096 ~x3674+2048 ~x3673+1024 ~x3672+512 ~x3671+256 ~x3670+128 ~x3669+64 ~x3668+32 ~x3667+16 ~x3666+8 ~x3665+4 ~x3664+2 ~x3663+1 ~x3662-0=16382
47.37/47.45	c 4096 ~x1840815+2048 ~x1840814+1024 ~x1840813+512 ~x1840812+256 ~x1840811+128 ~x1840810+64 ~x1840809+32 ~x1840808+16 ~x1840807+8 ~x1840806+4 ~x1840805+2 ~x1840804+1 ~x1840803+7168 x7865+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=16382
47.47/47.52	c 4096 ~x1843515+2048 ~x1843514+1024 ~x1843513+512 ~x1843512+256 ~x1843511+128 ~x1843510+64 ~x1843509+32 ~x1843508+16 ~x1843507+8 ~x1843506+4 ~x1843505+2 ~x1843504+1 ~x1843503+6144 x7866+4096 ~x3734+2048 ~x3733+1024 ~x3732+512 ~x3731+256 ~x3730+128 ~x3729+64 ~x3728+32 ~x3727+16 ~x3726+8 ~x3725+4 ~x3724+2 ~x3723+1 ~x3722-0=16382
47.47/47.59	c 4096 ~x1846215+2048 ~x1846214+1024 ~x1846213+512 ~x1846212+256 ~x1846211+128 ~x1846210+64 ~x1846209+32 ~x1846208+16 ~x1846207+8 ~x1846206+4 ~x1846205+2 ~x1846204+1 ~x1846203+7168 x7867+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=16382
47.57/47.65	c 1024 ~x1848913+512 ~x1848912+256 ~x1848911+128 ~x1848910+64 ~x1848909+32 ~x1848908+16 ~x1848907+8 ~x1848906+4 ~x1848905+2 ~x1848904+1 ~x1848903+1024 x7868+1024 ~x3792+512 ~x3791+256 ~x3790+128 ~x3789+64 ~x3788+32 ~x3787+16 ~x3786+8 ~x3785+4 ~x3784+2 ~x3783+1 ~x3782-0=4094
47.68/47.71	c 4096 ~x1851028+2048 ~x1851027+1024 ~x1851026+512 ~x1851025+256 ~x1851024+128 ~x1851023+64 ~x1851022+32 ~x1851021+16 ~x1851020+8 ~x1851019+4 ~x1851018+2 ~x1851017+1 ~x1851016+7168 x7869+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=16382
47.68/47.78	c 4096 ~x1853728+2048 ~x1853727+1024 ~x1853726+512 ~x1853725+256 ~x1853724+128 ~x1853723+64 ~x1853722+32 ~x1853721+16 ~x1853720+8 ~x1853719+4 ~x1853718+2 ~x1853717+1 ~x1853716+7168 x7870+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=16382
47.77/47.84	c 2048 ~x1856427+1024 ~x1856426+512 ~x1856425+256 ~x1856424+128 ~x1856423+64 ~x1856422+32 ~x1856421+16 ~x1856420+8 ~x1856419+4 ~x1856418+2 ~x1856417+1 ~x1856416+3072 x7871+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.91	c 8192 ~x1858777+4096 ~x1858776+2048 ~x1858775+1024 ~x1858774+512 ~x1858773+256 ~x1858772+128 ~x1858771+64 ~x1858770+32 ~x1858769+16 ~x1858768+8 ~x1858767+4 ~x1858766+2 ~x1858765+1 ~x1858764+8192 x7872+8192 ~x3915+4096 ~x3914+2048 ~x3913+1024 ~x3912+512 ~x3911+256 ~x3910+128 ~x3909+64 ~x3908+32 ~x3907+16 ~x3906+8 ~x3905+4 ~x3904+2 ~x3903+1 ~x3902-0=32766
47.97/48.00	c 4096 ~x1862492+2048 ~x1862491+1024 ~x1862490+512 ~x1862489+256 ~x1862488+128 ~x1862487+64 ~x1862486+32 ~x1862485+16 ~x1862484+8 ~x1862483+4 ~x1862482+2 ~x1862481+1 ~x1862480+6144 x7873+4096 ~x3944+2048 ~x3943+1024 ~x3942+512 ~x3941+256 ~x3940+128 ~x3939+64 ~x3938+32 ~x3937+16 ~x3936+8 ~x3935+4 ~x3934+2 ~x3933+1 ~x3932-0=16382
47.97/48.07	c 4096 ~x1865192+2048 ~x1865191+1024 ~x1865190+512 ~x1865189+256 ~x1865188+128 ~x1865187+64 ~x1865186+32 ~x1865185+16 ~x1865184+8 ~x1865183+4 ~x1865182+2 ~x1865181+1 ~x1865180+5120 x7874+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.07/48.13	c 4096 ~x1867892+2048 ~x1867891+1024 ~x1867890+512 ~x1867889+256 ~x1867888+128 ~x1867887+64 ~x1867886+32 ~x1867885+16 ~x1867884+8 ~x1867883+4 ~x1867882+2 ~x1867881+1 ~x1867880+4096 x7875+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=16382
48.17/48.20	c 16384 ~x1870594+8192 ~x1870593+4096 ~x1870592+2048 ~x1870591+1024 ~x1870590+512 ~x1870589+256 ~x1870588+128 ~x1870587+64 ~x1870586+32 ~x1870585+16 ~x1870584+8 ~x1870583+4 ~x1870582+2 ~x1870581+1 ~x1870580+25600 x7876+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.31	c 2048 ~x1874883+1024 ~x1874882+512 ~x1874881+256 ~x1874880+128 ~x1874879+64 ~x1874878+32 ~x1874877+16 ~x1874876+8 ~x1874875+4 ~x1874874+2 ~x1874873+1 ~x1874872+2048 x7877+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=8190
48.28/48.37	c 8192 ~x1877233+4096 ~x1877232+2048 ~x1877231+1024 ~x1877230+512 ~x1877229+256 ~x1877228+128 ~x1877227+64 ~x1877226+32 ~x1877225+16 ~x1877224+8 ~x1877223+4 ~x1877222+2 ~x1877221+1 ~x1877220+10240 x7878+8192 ~x4095+4096 ~x4094+2048 ~x4093+1024 ~x4092+512 ~x4091+256 ~x4090+128 ~x4089+64 ~x4088+32 ~x4087+16 ~x4086+8 ~x4085+4 ~x4084+2 ~x4083+1 ~x4082-0=32766
48.38/48.46	c 32768 ~x1880951+16384 ~x1880950+8192 ~x1880949+4096 ~x1880948+2048 ~x1880947+1024 ~x1880946+512 ~x1880945+256 ~x1880944+128 ~x1880943+64 ~x1880942+32 ~x1880941+16 ~x1880940+8 ~x1880939+4 ~x1880938+2 ~x1880937+1 ~x1880936+32768 x7879+32768 ~x4127+16384 ~x4126+8192 ~x4125+4096 ~x4124+2048 ~x4123+1024 ~x4122+512 ~x4121+256 ~x4120+128 ~x4119+64 ~x4118+32 ~x4117+16 ~x4116+8 ~x4115+4 ~x4114+2 ~x4113+1 ~x4112-0=131070
48.47/48.57	c 4096 ~x1885577+2048 ~x1885576+1024 ~x1885575+512 ~x1885574+256 ~x1885573+128 ~x1885572+64 ~x1885571+32 ~x1885570+16 ~x1885569+8 ~x1885568+4 ~x1885567+2 ~x1885566+1 ~x1885565+4096 x7880+4096 ~x4154+2048 ~x4153+1024 ~x4152+512 ~x4151+256 ~x4150+128 ~x4149+64 ~x4148+32 ~x4147+16 ~x4146+8 ~x4145+4 ~x4144+2 ~x4143+1 ~x4142-0=16382
48.57/48.64	c 4096 ~x1888277+2048 ~x1888276+1024 ~x1888275+512 ~x1888274+256 ~x1888273+128 ~x1888272+64 ~x1888271+32 ~x1888270+16 ~x1888269+8 ~x1888268+4 ~x1888267+2 ~x1888266+1 ~x1888265+4096 x7881+4096 ~x4184+2048 ~x4183+1024 ~x4182+512 ~x4181+256 ~x4180+128 ~x4179+64 ~x4178+32 ~x4177+16 ~x4176+8 ~x4175+4 ~x4174+2 ~x4173+1 ~x4172-0=16382
48.67/48.71	c 8192 ~x1890978+4096 ~x1890977+2048 ~x1890976+1024 ~x1890975+512 ~x1890974+256 ~x1890973+128 ~x1890972+64 ~x1890971+32 ~x1890970+16 ~x1890969+8 ~x1890968+4 ~x1890967+2 ~x1890966+1 ~x1890965+8192 x7882+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.77/48.80	c 8192 ~x1894694+4096 ~x1894693+2048 ~x1894692+1024 ~x1894691+512 ~x1894690+256 ~x1894689+128 ~x1894688+64 ~x1894687+32 ~x1894686+16 ~x1894685+8 ~x1894684+4 ~x1894683+2 ~x1894682+1 ~x1894681+10240 x7883+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/48.90	c 16384 ~x1898411+8192 ~x1898410+4096 ~x1898409+2048 ~x1898408+1024 ~x1898407+512 ~x1898406+256 ~x1898405+128 ~x1898404+64 ~x1898403+32 ~x1898402+16 ~x1898401+8 ~x1898400+4 ~x1898399+2 ~x1898398+1 ~x1898397+19456 x7884+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
48.97/49.00	c 16384 ~x1902446+8192 ~x1902445+4096 ~x1902444+2048 ~x1902443+1024 ~x1902442+512 ~x1902441+256 ~x1902440+128 ~x1902439+64 ~x1902438+32 ~x1902437+16 ~x1902436+8 ~x1902435+4 ~x1902434+2 ~x1902433+1 ~x1902432+16384 x7885+16384 ~x4306+8192 ~x4305+4096 ~x4304+2048 ~x4303+1024 ~x4302+512 ~x4301+256 ~x4300+128 ~x4299+64 ~x4298+32 ~x4297+16 ~x4296+8 ~x4295+4 ~x4294+2 ~x4293+1 ~x4292-0=65534
49.07/49.10	c 4096 ~x1906479+2048 ~x1906478+1024 ~x1906477+512 ~x1906476+256 ~x1906475+128 ~x1906474+64 ~x1906473+32 ~x1906472+16 ~x1906471+8 ~x1906470+4 ~x1906469+2 ~x1906468+1 ~x1906467+6144 x7886+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.07/49.17	c 2048 ~x1909178+1024 ~x1909177+512 ~x1909176+256 ~x1909175+128 ~x1909174+64 ~x1909173+32 ~x1909172+16 ~x1909171+8 ~x1909170+4 ~x1909169+2 ~x1909168+1 ~x1909167+3072 x7887+2048 ~x4363+1024 ~x4362+512 ~x4361+256 ~x4360+128 ~x4359+64 ~x4358+32 ~x4357+16 ~x4356+8 ~x4355+4 ~x4354+2 ~x4353+1 ~x4352-0=8190
49.18/49.23	c 8192 ~x1911528+4096 ~x1911527+2048 ~x1911526+1024 ~x1911525+512 ~x1911524+256 ~x1911523+128 ~x1911522+64 ~x1911521+32 ~x1911520+16 ~x1911519+8 ~x1911518+4 ~x1911517+2 ~x1911516+1 ~x1911515+11264 x7888+8192 ~x4395+4096 ~x4394+2048 ~x4393+1024 ~x4392+512 ~x4391+256 ~x4390+128 ~x4389+64 ~x4388+32 ~x4387+16 ~x4386+8 ~x4385+4 ~x4384+2 ~x4383+1 ~x4382-0=32766
49.28/49.32	c 8192 ~x1915244+4096 ~x1915243+2048 ~x1915242+1024 ~x1915241+512 ~x1915240+256 ~x1915239+128 ~x1915238+64 ~x1915237+32 ~x1915236+16 ~x1915235+8 ~x1915234+4 ~x1915233+2 ~x1915232+1 ~x1915231+13312 x7889+8192 ~x4425+4096 ~x4424+2048 ~x4423+1024 ~x4422+512 ~x4421+256 ~x4420+128 ~x4419+64 ~x4418+32 ~x4417+16 ~x4416+8 ~x4415+4 ~x4414+2 ~x4413+1 ~x4412-0=32766
49.38/49.42	c 32768 ~x1918962+16384 ~x1918961+8192 ~x1918960+4096 ~x1918959+2048 ~x1918958+1024 ~x1918957+512 ~x1918956+256 ~x1918955+128 ~x1918954+64 ~x1918953+32 ~x1918952+16 ~x1918951+8 ~x1918950+4 ~x1918949+2 ~x1918948+1 ~x1918947+35840 x7890+32768 ~x4457+16384 ~x4456+8192 ~x4455+4096 ~x4454+2048 ~x4453+1024 ~x4452+512 ~x4451+256 ~x4450+128 ~x4449+64 ~x4448+32 ~x4447+16 ~x4446+8 ~x4445+4 ~x4444+2 ~x4443+1 ~x4442-0=131070
49.48/49.53	c 8192 ~x1923589+4096 ~x1923588+2048 ~x1923587+1024 ~x1923586+512 ~x1923585+256 ~x1923584+128 ~x1923583+64 ~x1923582+32 ~x1923581+16 ~x1923580+8 ~x1923579+4 ~x1923578+2 ~x1923577+1 ~x1923576+10240 x7891+8192 ~x4485+4096 ~x4484+2048 ~x4483+1024 ~x4482+512 ~x4481+256 ~x4480+128 ~x4479+64 ~x4478+32 ~x4477+16 ~x4476+8 ~x4475+4 ~x4474+2 ~x4473+1 ~x4472-0=32766
49.57/49.62	c 2048 ~x1927303+1024 ~x1927302+512 ~x1927301+256 ~x1927300+128 ~x1927299+64 ~x1927298+32 ~x1927297+16 ~x1927296+8 ~x1927295+4 ~x1927294+2 ~x1927293+1 ~x1927292+2048 x7892+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.57/49.68	c 8192 ~x1929653+4096 ~x1929652+2048 ~x1929651+1024 ~x1929650+512 ~x1929649+256 ~x1929648+128 ~x1929647+64 ~x1929646+32 ~x1929645+16 ~x1929644+8 ~x1929643+4 ~x1929642+2 ~x1929641+1 ~x1929640+8192 x7893+8192 ~x4545+4096 ~x4544+2048 ~x4543+1024 ~x4542+512 ~x4541+256 ~x4540+128 ~x4539+64 ~x4538+32 ~x4537+16 ~x4536+8 ~x4535+4 ~x4534+2 ~x4533+1 ~x4532-0=32766
49.67/49.78	c 32768 ~x1933371+16384 ~x1933370+8192 ~x1933369+4096 ~x1933368+2048 ~x1933367+1024 ~x1933366+512 ~x1933365+256 ~x1933364+128 ~x1933363+64 ~x1933362+32 ~x1933361+16 ~x1933360+8 ~x1933359+4 ~x1933358+2 ~x1933357+1 ~x1933356+50176 x7894+32768 ~x4577+16384 ~x4576+8192 ~x4575+4096 ~x4574+2048 ~x4573+1024 ~x4572+512 ~x4571+256 ~x4570+128 ~x4569+64 ~x4568+32 ~x4567+16 ~x4566+8 ~x4565+4 ~x4564+2 ~x4563+1 ~x4562-0=131070
49.77/49.89	c 4096 ~x1937997+2048 ~x1937996+1024 ~x1937995+512 ~x1937994+256 ~x1937993+128 ~x1937992+64 ~x1937991+32 ~x1937990+16 ~x1937989+8 ~x1937988+4 ~x1937987+2 ~x1937986+1 ~x1937985+6144 x7895+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=16382
49.87/49.96	c 2048 ~x1940696+1024 ~x1940695+512 ~x1940694+256 ~x1940693+128 ~x1940692+64 ~x1940691+32 ~x1940690+16 ~x1940689+8 ~x1940688+4 ~x1940687+2 ~x1940686+1 ~x1940685+2048 x7896+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=8190
49.97/50.02	c 8192 ~x1943046+4096 ~x1943045+2048 ~x1943044+1024 ~x1943043+512 ~x1943042+256 ~x1943041+128 ~x1943040+64 ~x1943039+32 ~x1943038+16 ~x1943037+8 ~x1943036+4 ~x1943035+2 ~x1943034+1 ~x1943033+11264 x7897+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.07/50.11	c 4096 ~x1946761+2048 ~x1946760+1024 ~x1946759+512 ~x1946758+256 ~x1946757+128 ~x1946756+64 ~x1946755+32 ~x1946754+16 ~x1946753+8 ~x1946752+4 ~x1946751+2 ~x1946750+1 ~x1946749+6144 x7898+4096 ~x4694+2048 ~x4693+1024 ~x4692+512 ~x4691+256 ~x4690+128 ~x4689+64 ~x4688+32 ~x4687+16 ~x4686+8 ~x4685+4 ~x4684+2 ~x4683+1 ~x4682-0=16382
50.17/50.21	c 4096 ~x1949461+2048 ~x1949460+1024 ~x1949459+512 ~x1949458+256 ~x1949457+128 ~x1949456+64 ~x1949455+32 ~x1949454+16 ~x1949453+8 ~x1949452+4 ~x1949451+2 ~x1949450+1 ~x1949449+6144 x7899+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.17/50.28	c 4096 ~x1952161+2048 ~x1952160+1024 ~x1952159+512 ~x1952158+256 ~x1952157+128 ~x1952156+64 ~x1952155+32 ~x1952154+16 ~x1952153+8 ~x1952152+4 ~x1952151+2 ~x1952150+1 ~x1952149+7168 x7900+4096 ~x4754+2048 ~x4753+1024 ~x4752+512 ~x4751+256 ~x4750+128 ~x4749+64 ~x4748+32 ~x4747+16 ~x4746+8 ~x4745+4 ~x4744+2 ~x4743+1 ~x4742-0=16382
50.27/50.35	c 2048 ~x1954860+1024 ~x1954859+512 ~x1954858+256 ~x1954857+128 ~x1954856+64 ~x1954855+32 ~x1954854+16 ~x1954853+8 ~x1954852+4 ~x1954851+2 ~x1954850+1 ~x1954849+3072 x7901+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=8190
50.37/50.41	c 8192 ~x1957210+4096 ~x1957209+2048 ~x1957208+1024 ~x1957207+512 ~x1957206+256 ~x1957205+128 ~x1957204+64 ~x1957203+32 ~x1957202+16 ~x1957201+8 ~x1957200+4 ~x1957199+2 ~x1957198+1 ~x1957197+15360 x7902+8192 ~x4815+4096 ~x4814+2048 ~x4813+1024 ~x4812+512 ~x4811+256 ~x4810+128 ~x4809+64 ~x4808+32 ~x4807+16 ~x4806+8 ~x4805+4 ~x4804+2 ~x4803+1 ~x4802-0=32766
50.47/50.50	c 16384 ~x1960927+8192 ~x1960926+4096 ~x1960925+2048 ~x1960924+1024 ~x1960923+512 ~x1960922+256 ~x1960921+128 ~x1960920+64 ~x1960919+32 ~x1960918+16 ~x1960917+8 ~x1960916+4 ~x1960915+2 ~x1960914+1 ~x1960913+19456 x7903+16384 ~x4846+8192 ~x4845+4096 ~x4844+2048 ~x4843+1024 ~x4842+512 ~x4841+256 ~x4840+128 ~x4839+64 ~x4838+32 ~x4837+16 ~x4836+8 ~x4835+4 ~x4834+2 ~x4833+1 ~x4832-0=65534
50.47/50.60	c 8192 ~x1964961+4096 ~x1964960+2048 ~x1964959+1024 ~x1964958+512 ~x1964957+256 ~x1964956+128 ~x1964955+64 ~x1964954+32 ~x1964953+16 ~x1964952+8 ~x1964951+4 ~x1964950+2 ~x1964949+1 ~x1964948+8192 x7904+8192 ~x4875+4096 ~x4874+2048 ~x4873+1024 ~x4872+512 ~x4871+256 ~x4870+128 ~x4869+64 ~x4868+32 ~x4867+16 ~x4866+8 ~x4865+4 ~x4864+2 ~x4863+1 ~x4862-0=32766
50.58/50.69	c 4096 ~x1968676+2048 ~x1968675+1024 ~x1968674+512 ~x1968673+256 ~x1968672+128 ~x1968671+64 ~x1968670+32 ~x1968669+16 ~x1968668+8 ~x1968667+4 ~x1968666+2 ~x1968665+1 ~x1968664+4096 x7905+4096 ~x4904+2048 ~x4903+1024 ~x4902+512 ~x4901+256 ~x4900+128 ~x4899+64 ~x4898+32 ~x4897+16 ~x4896+8 ~x4895+4 ~x4894+2 ~x4893+1 ~x4892-0=16382
50.67/50.76	c 4096 ~x1971376+2048 ~x1971375+1024 ~x1971374+512 ~x1971373+256 ~x1971372+128 ~x1971371+64 ~x1971370+32 ~x1971369+16 ~x1971368+8 ~x1971367+4 ~x1971366+2 ~x1971365+1 ~x1971364+6144 x7906+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.77/50.83	c 1024 ~x1974074+512 ~x1974073+256 ~x1974072+128 ~x1974071+64 ~x1974070+32 ~x1974069+16 ~x1974068+8 ~x1974067+4 ~x1974066+2 ~x1974065+1 ~x1974064+1024 x7907+1024 ~x4962+512 ~x4961+256 ~x4960+128 ~x4959+64 ~x4958+32 ~x4957+16 ~x4956+8 ~x4955+4 ~x4954+2 ~x4953+1 ~x4952-0=4094
50.77/50.88	c 2048 ~x1976188+1024 ~x1976187+512 ~x1976186+256 ~x1976185+128 ~x1976184+64 ~x1976183+32 ~x1976182+16 ~x1976181+8 ~x1976180+4 ~x1976179+2 ~x1976178+1 ~x1976177+3072 x7908+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=8190
50.87/50.94	c 16384 ~x1978539+8192 ~x1978538+4096 ~x1978537+2048 ~x1978536+1024 ~x1978535+512 ~x1978534+256 ~x1978533+128 ~x1978532+64 ~x1978531+32 ~x1978530+16 ~x1978529+8 ~x1978528+4 ~x1978527+2 ~x1978526+1 ~x1978525+23552 x7909+16384 ~x5026+8192 ~x5025+4096 ~x5024+2048 ~x5023+1024 ~x5022+512 ~x5021+256 ~x5020+128 ~x5019+64 ~x5018+32 ~x5017+16 ~x5016+8 ~x5015+4 ~x5014+2 ~x5013+1 ~x5012-0=65534
50.97/51.05	c 4096 ~x1982829+2048 ~x1982828+1024 ~x1982827+512 ~x1982826+256 ~x1982825+128 ~x1982824+64 ~x1982823+32 ~x1982822+16 ~x1982821+8 ~x1982820+4 ~x1982819+2 ~x1982818+1 ~x1982817+7168 x7910+4096 ~x5054+2048 ~x5053+1024 ~x5052+512 ~x5051+256 ~x5050+128 ~x5049+64 ~x5048+32 ~x5047+16 ~x5046+8 ~x5045+4 ~x5044+2 ~x5043+1 ~x5042-0=16382
51.07/51.12	c 2048 ~x1985528+1024 ~x1985527+512 ~x1985526+256 ~x1985525+128 ~x1985524+64 ~x1985523+32 ~x1985522+16 ~x1985521+8 ~x1985520+4 ~x1985519+2 ~x1985518+1 ~x1985517+2048 x7911+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=8190
51.07/51.18	c 8192 ~x1987878+4096 ~x1987877+2048 ~x1987876+1024 ~x1987875+512 ~x1987874+256 ~x1987873+128 ~x1987872+64 ~x1987871+32 ~x1987870+16 ~x1987869+8 ~x1987868+4 ~x1987867+2 ~x1987866+1 ~x1987865+10240 x7912+8192 ~x5115+4096 ~x5114+2048 ~x5113+1024 ~x5112+512 ~x5111+256 ~x5110+128 ~x5109+64 ~x5108+32 ~x5107+16 ~x5106+8 ~x5105+4 ~x5104+2 ~x5103+1 ~x5102-0=32766
51.17/51.27	c 16384 ~x1991595+8192 ~x1991594+4096 ~x1991593+2048 ~x1991592+1024 ~x1991591+512 ~x1991590+256 ~x1991589+128 ~x1991588+64 ~x1991587+32 ~x1991586+16 ~x1991585+8 ~x1991584+4 ~x1991583+2 ~x1991582+1 ~x1991581+17408 x7913+16384 ~x5146+8192 ~x5145+4096 ~x5144+2048 ~x5143+1024 ~x5142+512 ~x5141+256 ~x5140+128 ~x5139+64 ~x5138+32 ~x5137+16 ~x5136+8 ~x5135+4 ~x5134+2 ~x5133+1 ~x5132-0=65534
51.27/51.37	c 32768 ~x1995631+16384 ~x1995630+8192 ~x1995629+4096 ~x1995628+2048 ~x1995627+1024 ~x1995626+512 ~x1995625+256 ~x1995624+128 ~x1995623+64 ~x1995622+32 ~x1995621+16 ~x1995620+8 ~x1995619+4 ~x1995618+2 ~x1995617+1 ~x1995616+33792 x7914+32768 ~x5177+16384 ~x5176+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=131070
51.37/51.48	c 1024 ~x2000255+512 ~x2000254+256 ~x2000253+128 ~x2000252+64 ~x2000251+32 ~x2000250+16 ~x2000249+8 ~x2000248+4 ~x2000247+2 ~x2000246+1 ~x2000245+1024 x7915+1024 ~x5202+512 ~x5201+256 ~x5200+128 ~x5199+64 ~x5198+32 ~x5197+16 ~x5196+8 ~x5195+4 ~x5194+2 ~x5193+1 ~x5192-0=4094
51.47/51.54	c 8192 ~x2002371+4096 ~x2002370+2048 ~x2002369+1024 ~x2002368+512 ~x2002367+256 ~x2002366+128 ~x2002365+64 ~x2002364+32 ~x2002363+16 ~x2002362+8 ~x2002361+4 ~x2002360+2 ~x2002359+1 ~x2002358+13312 x7916+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=32766
51.58/51.63	c 8192 ~x2006087+4096 ~x2006086+2048 ~x2006085+1024 ~x2006084+512 ~x2006083+256 ~x2006082+128 ~x2006081+64 ~x2006080+32 ~x2006079+16 ~x2006078+8 ~x2006077+4 ~x2006076+2 ~x2006075+1 ~x2006074+10240 x7917+8192 ~x5265+4096 ~x5264+2048 ~x5263+1024 ~x5262+512 ~x5261+256 ~x5260+128 ~x5259+64 ~x5258+32 ~x5257+16 ~x5256+8 ~x5255+4 ~x5254+2 ~x5253+1 ~x5252-0=32766
51.67/51.73	c 2048 ~x2009801+1024 ~x2009800+512 ~x2009799+256 ~x2009798+128 ~x2009797+64 ~x2009796+32 ~x2009795+16 ~x2009794+8 ~x2009793+4 ~x2009792+2 ~x2009791+1 ~x2009790+3072 x7918+2048 ~x5293+1024 ~x5292+512 ~x5291+256 ~x5290+128 ~x5289+64 ~x5288+32 ~x5287+16 ~x5286+8 ~x5285+4 ~x5284+2 ~x5283+1 ~x5282-0=8190
51.67/51.79	c 2048 ~x2012149+1024 ~x2012148+512 ~x2012147+256 ~x2012146+128 ~x2012145+64 ~x2012144+32 ~x2012143+16 ~x2012142+8 ~x2012141+4 ~x2012140+2 ~x2012139+1 ~x2012138+3072 x7919+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=8190
51.77/51.85	c 8192 ~x2014499+4096 ~x2014498+2048 ~x2014497+1024 ~x2014496+512 ~x2014495+256 ~x2014494+128 ~x2014493+64 ~x2014492+32 ~x2014491+16 ~x2014490+8 ~x2014489+4 ~x2014488+2 ~x2014487+1 ~x2014486+15360 x7920+8192 ~x5355+4096 ~x5354+2048 ~x5353+1024 ~x5352+512 ~x5351+256 ~x5350+128 ~x5349+64 ~x5348+32 ~x5347+16 ~x5346+8 ~x5345+4 ~x5344+2 ~x5343+1 ~x5342-0=32766
51.87/51.94	c 16384 ~x2018216+8192 ~x2018215+4096 ~x2018214+2048 ~x2018213+1024 ~x2018212+512 ~x2018211+256 ~x2018210+128 ~x2018209+64 ~x2018208+32 ~x2018207+16 ~x2018206+8 ~x2018205+4 ~x2018204+2 ~x2018203+1 ~x2018202+19456 x7921+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
51.97/52.04	c 8192 ~x2022250+4096 ~x2022249+2048 ~x2022248+1024 ~x2022247+512 ~x2022246+256 ~x2022245+128 ~x2022244+64 ~x2022243+32 ~x2022242+16 ~x2022241+8 ~x2022240+4 ~x2022239+2 ~x2022238+1 ~x2022237+8192 x7922+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.07/52.13	c 4096 ~x2025965+2048 ~x2025964+1024 ~x2025963+512 ~x2025962+256 ~x2025961+128 ~x2025960+64 ~x2025959+32 ~x2025958+16 ~x2025957+8 ~x2025956+4 ~x2025955+2 ~x2025954+1 ~x2025953+4096 x7923+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=16382
52.17/52.20	c 4096 ~x2028665+2048 ~x2028664+1024 ~x2028663+512 ~x2028662+256 ~x2028661+128 ~x2028660+64 ~x2028659+32 ~x2028658+16 ~x2028657+8 ~x2028656+4 ~x2028655+2 ~x2028654+1 ~x2028653+4096 x7924+4096 ~x5474+2048 ~x5473+1024 ~x5472+512 ~x5471+256 ~x5470+128 ~x5469+64 ~x5468+32 ~x5467+16 ~x5466+8 ~x5465+4 ~x5464+2 ~x5463+1 ~x5462-0=16382
52.17/52.27	c 4096 ~x2031365+2048 ~x2031364+1024 ~x2031363+512 ~x2031362+256 ~x2031361+128 ~x2031360+64 ~x2031359+32 ~x2031358+16 ~x2031357+8 ~x2031356+4 ~x2031355+2 ~x2031354+1 ~x2031353+6144 x7925+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=16382
52.27/52.34	c 1024 ~x2034063+512 ~x2034062+256 ~x2034061+128 ~x2034060+64 ~x2034059+32 ~x2034058+16 ~x2034057+8 ~x2034056+4 ~x2034055+2 ~x2034054+1 ~x2034053+1024 x7926+1024 ~x5532+512 ~x5531+256 ~x5530+128 ~x5529+64 ~x5528+32 ~x5527+16 ~x5526+8 ~x5525+4 ~x5524+2 ~x5523+1 ~x5522-0=4094
52.27/52.39	c 2048 ~x2036177+1024 ~x2036176+512 ~x2036175+256 ~x2036174+128 ~x2036173+64 ~x2036172+32 ~x2036171+16 ~x2036170+8 ~x2036169+4 ~x2036168+2 ~x2036167+1 ~x2036166+3072 x7927+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=8190
52.37/52.45	c 16384 ~x2038528+8192 ~x2038527+4096 ~x2038526+2048 ~x2038525+1024 ~x2038524+512 ~x2038523+256 ~x2038522+128 ~x2038521+64 ~x2038520+32 ~x2038519+16 ~x2038518+8 ~x2038517+4 ~x2038516+2 ~x2038515+1 ~x2038514+23552 x7928+16384 ~x5596+8192 ~x5595+4096 ~x5594+2048 ~x5593+1024 ~x5592+512 ~x5591+256 ~x5590+128 ~x5589+64 ~x5588+32 ~x5587+16 ~x5586+8 ~x5585+4 ~x5584+2 ~x5583+1 ~x5582-0=65534
52.47/52.56	c 2048 ~x2042817+1024 ~x2042816+512 ~x2042815+256 ~x2042814+128 ~x2042813+64 ~x2042812+32 ~x2042811+16 ~x2042810+8 ~x2042809+4 ~x2042808+2 ~x2042807+1 ~x2042806+2048 x7929+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=8190
52.57/52.62	c 8192 ~x2045167+4096 ~x2045166+2048 ~x2045165+1024 ~x2045164+512 ~x2045163+256 ~x2045162+128 ~x2045161+64 ~x2045160+32 ~x2045159+16 ~x2045158+8 ~x2045157+4 ~x2045156+2 ~x2045155+1 ~x2045154+10240 x7930+8192 ~x5655+4096 ~x5654+2048 ~x5653+1024 ~x5652+512 ~x5651+256 ~x5650+128 ~x5649+64 ~x5648+32 ~x5647+16 ~x5646+8 ~x5645+4 ~x5644+2 ~x5643+1 ~x5642-0=32766
52.68/52.71	c 16384 ~x2048884+8192 ~x2048883+4096 ~x2048882+2048 ~x2048881+1024 ~x2048880+512 ~x2048879+256 ~x2048878+128 ~x2048877+64 ~x2048876+32 ~x2048875+16 ~x2048874+8 ~x2048873+4 ~x2048872+2 ~x2048871+1 ~x2048870+17408 x7931+16384 ~x5686+8192 ~x5685+4096 ~x5684+2048 ~x5683+1024 ~x5682+512 ~x5681+256 ~x5680+128 ~x5679+64 ~x5678+32 ~x5677+16 ~x5676+8 ~x5675+4 ~x5674+2 ~x5673+1 ~x5672-0=65534
52.78/52.81	c 32768 ~x2052920+16384 ~x2052919+8192 ~x2052918+4096 ~x2052917+2048 ~x2052916+1024 ~x2052915+512 ~x2052914+256 ~x2052913+128 ~x2052912+64 ~x2052911+32 ~x2052910+16 ~x2052909+8 ~x2052908+4 ~x2052907+2 ~x2052906+1 ~x2052905+33792 x7932+32768 ~x5717+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=131070
52.87/52.92	c 1024 ~x2057544+512 ~x2057543+256 ~x2057542+128 ~x2057541+64 ~x2057540+32 ~x2057539+16 ~x2057538+8 ~x2057537+4 ~x2057536+2 ~x2057535+1 ~x2057534+1024 x7933+1024 ~x5742+512 ~x5741+256 ~x5740+128 ~x5739+64 ~x5738+32 ~x5737+16 ~x5736+8 ~x5735+4 ~x5734+2 ~x5733+1 ~x5732-0=4094
52.87/52.98	c 16384 ~x2059661+8192 ~x2059660+4096 ~x2059659+2048 ~x2059658+1024 ~x2059657+512 ~x2059656+256 ~x2059655+128 ~x2059654+64 ~x2059653+32 ~x2059652+16 ~x2059651+8 ~x2059650+4 ~x2059649+2 ~x2059648+1 ~x2059647+25600 x7934+16384 ~x5776+8192 ~x5775+4096 ~x5774+2048 ~x5773+1024 ~x5772+512 ~x5771+256 ~x5770+128 ~x5769+64 ~x5768+32 ~x5767+16 ~x5766+8 ~x5765+4 ~x5764+2 ~x5763+1 ~x5762-0=65534
52.97/53.08	c 8192 ~x2063952+4096 ~x2063951+2048 ~x2063950+1024 ~x2063949+512 ~x2063948+256 ~x2063947+128 ~x2063946+64 ~x2063945+32 ~x2063944+16 ~x2063943+8 ~x2063942+4 ~x2063941+2 ~x2063940+1 ~x2063939+13312 x7935+8192 ~x5805+4096 ~x5804+2048 ~x5803+1024 ~x5802+512 ~x5801+256 ~x5800+128 ~x5799+64 ~x5798+32 ~x5797+16 ~x5796+8 ~x5795+4 ~x5794+2 ~x5793+1 ~x5792-0=32766
53.07/53.18	c 8192 ~x2067668+4096 ~x2067667+2048 ~x2067666+1024 ~x2067665+512 ~x2067664+256 ~x2067663+128 ~x2067662+64 ~x2067661+32 ~x2067660+16 ~x2067659+8 ~x2067658+4 ~x2067657+2 ~x2067656+1 ~x2067655+10240 x7936+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.17/53.27	c 2048 ~x2071382+1024 ~x2071381+512 ~x2071380+256 ~x2071379+128 ~x2071378+64 ~x2071377+32 ~x2071376+16 ~x2071375+8 ~x2071374+4 ~x2071373+2 ~x2071372+1 ~x2071371+3072 x7937+2048 ~x5863+1024 ~x5862+512 ~x5861+256 ~x5860+128 ~x5859+64 ~x5858+32 ~x5857+16 ~x5856+8 ~x5855+4 ~x5854+2 ~x5853+1 ~x5852-0=8190
53.27/53.33	c 8192 ~x2073732+4096 ~x2073731+2048 ~x2073730+1024 ~x2073729+512 ~x2073728+256 ~x2073727+128 ~x2073726+64 ~x2073725+32 ~x2073724+16 ~x2073723+8 ~x2073722+4 ~x2073721+2 ~x2073720+1 ~x2073719+8192 x7938+8192 ~x5895+4096 ~x5894+2048 ~x5893+1024 ~x5892+512 ~x5891+256 ~x5890+128 ~x5889+64 ~x5888+32 ~x5887+16 ~x5886+8 ~x5885+4 ~x5884+2 ~x5883+1 ~x5882-0=32766
53.37/53.43	c 4096 ~x2077447+2048 ~x2077446+1024 ~x2077445+512 ~x2077444+256 ~x2077443+128 ~x2077442+64 ~x2077441+32 ~x2077440+16 ~x2077439+8 ~x2077438+4 ~x2077437+2 ~x2077436+1 ~x2077435+6144 x7939+4096 ~x5924+2048 ~x5923+1024 ~x5922+512 ~x5921+256 ~x5920+128 ~x5919+64 ~x5918+32 ~x5917+16 ~x5916+8 ~x5915+4 ~x5914+2 ~x5913+1 ~x5912-0=16382
53.37/53.49	c 4096 ~x2080147+2048 ~x2080146+1024 ~x2080145+512 ~x2080144+256 ~x2080143+128 ~x2080142+64 ~x2080141+32 ~x2080140+16 ~x2080139+8 ~x2080138+4 ~x2080137+2 ~x2080136+1 ~x2080135+5120 x7940+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=16382
53.47/53.56	c 4096 ~x2082847+2048 ~x2082846+1024 ~x2082845+512 ~x2082844+256 ~x2082843+128 ~x2082842+64 ~x2082841+32 ~x2082840+16 ~x2082839+8 ~x2082838+4 ~x2082837+2 ~x2082836+1 ~x2082835+4096 x7941+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=16382
53.57/53.63	c 16384 ~x2085549+8192 ~x2085548+4096 ~x2085547+2048 ~x2085546+1024 ~x2085545+512 ~x2085544+256 ~x2085543+128 ~x2085542+64 ~x2085541+32 ~x2085540+16 ~x2085539+8 ~x2085538+4 ~x2085537+2 ~x2085536+1 ~x2085535+25600 x7942+16384 ~x6016+8192 ~x6015+4096 ~x6014+2048 ~x6013+1024 ~x6012+512 ~x6011+256 ~x6010+128 ~x6009+64 ~x6008+32 ~x6007+16 ~x6006+8 ~x6005+4 ~x6004+2 ~x6003+1 ~x6002-0=65534
53.67/53.73	c 8192 ~x2089840+4096 ~x2089839+2048 ~x2089838+1024 ~x2089837+512 ~x2089836+256 ~x2089835+128 ~x2089834+64 ~x2089833+32 ~x2089832+16 ~x2089831+8 ~x2089830+4 ~x2089829+2 ~x2089828+1 ~x2089827+10240 x7943+8192 ~x6045+4096 ~x6044+2048 ~x6043+1024 ~x6042+512 ~x6041+256 ~x6040+128 ~x6039+64 ~x6038+32 ~x6037+16 ~x6036+8 ~x6035+4 ~x6034+2 ~x6033+1 ~x6032-0=32766
53.77/53.83	c 32768 ~x2093558+16384 ~x2093557+8192 ~x2093556+4096 ~x2093555+2048 ~x2093554+1024 ~x2093553+512 ~x2093552+256 ~x2093551+128 ~x2093550+64 ~x2093549+32 ~x2093548+16 ~x2093547+8 ~x2093546+4 ~x2093545+2 ~x2093544+1 ~x2093543+32768 x7944+32768 ~x6077+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=131070
53.87/53.94	c 8192 ~x2098185+4096 ~x2098184+2048 ~x2098183+1024 ~x2098182+512 ~x2098181+256 ~x2098180+128 ~x2098179+64 ~x2098178+32 ~x2098177+16 ~x2098176+8 ~x2098175+4 ~x2098174+2 ~x2098173+1 ~x2098172+10240 x7945+8192 ~x6105+4096 ~x6104+2048 ~x6103+1024 ~x6102+512 ~x6101+256 ~x6100+128 ~x6099+64 ~x6098+32 ~x6097+16 ~x6096+8 ~x6095+4 ~x6094+2 ~x6093+1 ~x6092-0=32766
53.97/54.03	c 4096 ~x2101900+2048 ~x2101899+1024 ~x2101898+512 ~x2101897+256 ~x2101896+128 ~x2101895+64 ~x2101894+32 ~x2101893+16 ~x2101892+8 ~x2101891+4 ~x2101890+2 ~x2101889+1 ~x2101888+4096 x7946+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.07/54.10	c 4096 ~x2104600+2048 ~x2104599+1024 ~x2104598+512 ~x2104597+256 ~x2104596+128 ~x2104595+64 ~x2104594+32 ~x2104593+16 ~x2104592+8 ~x2104591+4 ~x2104590+2 ~x2104589+1 ~x2104588+4096 x7947+4096 ~x6164+2048 ~x6163+1024 ~x6162+512 ~x6161+256 ~x6160+128 ~x6159+64 ~x6158+32 ~x6157+16 ~x6156+8 ~x6155+4 ~x6154+2 ~x6153+1 ~x6152-0=16382
54.07/54.17	c 8192 ~x2107301+4096 ~x2107300+2048 ~x2107299+1024 ~x2107298+512 ~x2107297+256 ~x2107296+128 ~x2107295+64 ~x2107294+32 ~x2107293+16 ~x2107292+8 ~x2107291+4 ~x2107290+2 ~x2107289+1 ~x2107288+8192 x7948+8192 ~x6195+4096 ~x6194+2048 ~x6193+1024 ~x6192+512 ~x6191+256 ~x6190+128 ~x6189+64 ~x6188+32 ~x6187+16 ~x6186+8 ~x6185+4 ~x6184+2 ~x6183+1 ~x6182-0=32766
54.17/54.26	c 8192 ~x2111017+4096 ~x2111016+2048 ~x2111015+1024 ~x2111014+512 ~x2111013+256 ~x2111012+128 ~x2111011+64 ~x2111010+32 ~x2111009+16 ~x2111008+8 ~x2111007+4 ~x2111006+2 ~x2111005+1 ~x2111004+10240 x7949+8192 ~x6225+4096 ~x6224+2048 ~x6223+1024 ~x6222+512 ~x6221+256 ~x6220+128 ~x6219+64 ~x6218+32 ~x6217+16 ~x6216+8 ~x6215+4 ~x6214+2 ~x6213+1 ~x6212-0=32766
54.27/54.36	c 16384 ~x2114734+8192 ~x2114733+4096 ~x2114732+2048 ~x2114731+1024 ~x2114730+512 ~x2114729+256 ~x2114728+128 ~x2114727+64 ~x2114726+32 ~x2114725+16 ~x2114724+8 ~x2114723+4 ~x2114722+2 ~x2114721+1 ~x2114720+19456 x7950+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.37/54.46	c 16384 ~x2118769+8192 ~x2118768+4096 ~x2118767+2048 ~x2118766+1024 ~x2118765+512 ~x2118764+256 ~x2118763+128 ~x2118762+64 ~x2118761+32 ~x2118760+16 ~x2118759+8 ~x2118758+4 ~x2118757+2 ~x2118756+1 ~x2118755+16384 x7951+16384 ~x6286+8192 ~x6285+4096 ~x6284+2048 ~x6283+1024 ~x6282+512 ~x6281+256 ~x6280+128 ~x6279+64 ~x6278+32 ~x6277+16 ~x6276+8 ~x6275+4 ~x6274+2 ~x6273+1 ~x6272-0=65534
54.47/54.56	c 4096 ~x2122802+2048 ~x2122801+1024 ~x2122800+512 ~x2122799+256 ~x2122798+128 ~x2122797+64 ~x2122796+32 ~x2122795+16 ~x2122794+8 ~x2122793+4 ~x2122792+2 ~x2122791+1 ~x2122790+6144 x7952+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=16382
54.57/54.63	c 2048 ~x2125501+1024 ~x2125500+512 ~x2125499+256 ~x2125498+128 ~x2125497+64 ~x2125496+32 ~x2125495+16 ~x2125494+8 ~x2125493+4 ~x2125492+2 ~x2125491+1 ~x2125490+3072 x7953+2048 ~x6343+1024 ~x6342+512 ~x6341+256 ~x6340+128 ~x6339+64 ~x6338+32 ~x6337+16 ~x6336+8 ~x6335+4 ~x6334+2 ~x6333+1 ~x6332-0=8190
54.57/54.69	c 8192 ~x2127851+4096 ~x2127850+2048 ~x2127849+1024 ~x2127848+512 ~x2127847+256 ~x2127846+128 ~x2127845+64 ~x2127844+32 ~x2127843+16 ~x2127842+8 ~x2127841+4 ~x2127840+2 ~x2127839+1 ~x2127838+13312 x7954+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
54.67/54.78	c 32768 ~x2131569+16384 ~x2131568+8192 ~x2131567+4096 ~x2131566+2048 ~x2131565+1024 ~x2131564+512 ~x2131563+256 ~x2131562+128 ~x2131561+64 ~x2131560+32 ~x2131559+16 ~x2131558+8 ~x2131557+4 ~x2131556+2 ~x2131555+1 ~x2131554+35840 x7955+32768 ~x6407+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=131070
54.77/54.89	c 32768 ~x2136198+16384 ~x2136197+8192 ~x2136196+4096 ~x2136195+2048 ~x2136194+1024 ~x2136193+512 ~x2136192+256 ~x2136191+128 ~x2136190+64 ~x2136189+32 ~x2136188+16 ~x2136187+8 ~x2136186+4 ~x2136185+2 ~x2136184+1 ~x2136183+32768 x7956+32768 ~x6437+16384 ~x6436+8192 ~x6435+4096 ~x6434+2048 ~x6433+1024 ~x6432+512 ~x6431+256 ~x6430+128 ~x6429+64 ~x6428+32 ~x6427+16 ~x6426+8 ~x6425+4 ~x6424+2 ~x6423+1 ~x6422-0=131070
54.98/55.01	c 8192 ~x2140825+4096 ~x2140824+2048 ~x2140823+1024 ~x2140822+512 ~x2140821+256 ~x2140820+128 ~x2140819+64 ~x2140818+32 ~x2140817+16 ~x2140816+8 ~x2140815+4 ~x2140814+2 ~x2140813+1 ~x2140812+10240 x7957+8192 ~x6465+4096 ~x6464+2048 ~x6463+1024 ~x6462+512 ~x6461+256 ~x6460+128 ~x6459+64 ~x6458+32 ~x6457+16 ~x6456+8 ~x6455+4 ~x6454+2 ~x6453+1 ~x6452-0=32766
55.07/55.10	c 2048 ~x2144539+1024 ~x2144538+512 ~x2144537+256 ~x2144536+128 ~x2144535+64 ~x2144534+32 ~x2144533+16 ~x2144532+8 ~x2144531+4 ~x2144530+2 ~x2144529+1 ~x2144528+2048 x7958+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.07/55.16	c 8192 ~x2146889+4096 ~x2146888+2048 ~x2146887+1024 ~x2146886+512 ~x2146885+256 ~x2146884+128 ~x2146883+64 ~x2146882+32 ~x2146881+16 ~x2146880+8 ~x2146879+4 ~x2146878+2 ~x2146877+1 ~x2146876+8192 x7959+8192 ~x6525+4096 ~x6524+2048 ~x6523+1024 ~x6522+512 ~x6521+256 ~x6520+128 ~x6519+64 ~x6518+32 ~x6517+16 ~x6516+8 ~x6515+4 ~x6514+2 ~x6513+1 ~x6512-0=32766
55.17/55.25	c 32768 ~x2150607+16384 ~x2150606+8192 ~x2150605+4096 ~x2150604+2048 ~x2150603+1024 ~x2150602+512 ~x2150601+256 ~x2150600+128 ~x2150599+64 ~x2150598+32 ~x2150597+16 ~x2150596+8 ~x2150595+4 ~x2150594+2 ~x2150593+1 ~x2150592+50176 x7960+32768 ~x6557+16384 ~x6556+8192 ~x6555+4096 ~x6554+2048 ~x6553+1024 ~x6552+512 ~x6551+256 ~x6550+128 ~x6549+64 ~x6548+32 ~x6547+16 ~x6546+8 ~x6545+4 ~x6544+2 ~x6543+1 ~x6542-0=131070
55.27/55.37	c 4096 ~x2155233+2048 ~x2155232+1024 ~x2155231+512 ~x2155230+256 ~x2155229+128 ~x2155228+64 ~x2155227+32 ~x2155226+16 ~x2155225+8 ~x2155224+4 ~x2155223+2 ~x2155222+1 ~x2155221+6144 x7961+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=16382
55.37/55.43	c 2048 ~x2157932+1024 ~x2157931+512 ~x2157930+256 ~x2157929+128 ~x2157928+64 ~x2157927+32 ~x2157926+16 ~x2157925+8 ~x2157924+4 ~x2157923+2 ~x2157922+1 ~x2157921+2048 x7962+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=8190
55.37/55.50	c 8192 ~x2160282+4096 ~x2160281+2048 ~x2160280+1024 ~x2160279+512 ~x2160278+256 ~x2160277+128 ~x2160276+64 ~x2160275+32 ~x2160274+16 ~x2160273+8 ~x2160272+4 ~x2160271+2 ~x2160270+1 ~x2160269+11264 x7963+8192 ~x6645+4096 ~x6644+2048 ~x6643+1024 ~x6642+512 ~x6641+256 ~x6640+128 ~x6639+64 ~x6638+32 ~x6637+16 ~x6636+8 ~x6635+4 ~x6634+2 ~x6633+1 ~x6632-0=32766
55.47/55.59	c 4096 ~x2163997+2048 ~x2163996+1024 ~x2163995+512 ~x2163994+256 ~x2163993+128 ~x2163992+64 ~x2163991+32 ~x2163990+16 ~x2163989+8 ~x2163988+4 ~x2163987+2 ~x2163986+1 ~x2163985+6144 x7964+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.57/55.66	c 4096 ~x2166697+2048 ~x2166696+1024 ~x2166695+512 ~x2166694+256 ~x2166693+128 ~x2166692+64 ~x2166691+32 ~x2166690+16 ~x2166689+8 ~x2166688+4 ~x2166687+2 ~x2166686+1 ~x2166685+7168 x7965+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=16382
55.67/55.72	c 2048 ~x2169396+1024 ~x2169395+512 ~x2169394+256 ~x2169393+128 ~x2169392+64 ~x2169391+32 ~x2169390+16 ~x2169389+8 ~x2169388+4 ~x2169387+2 ~x2169386+1 ~x2169385+3072 x7966+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.67/55.78	c 4096 ~x2171745+2048 ~x2171744+1024 ~x2171743+512 ~x2171742+256 ~x2171741+128 ~x2171740+64 ~x2171739+32 ~x2171738+16 ~x2171737+8 ~x2171736+4 ~x2171735+2 ~x2171734+1 ~x2171733+4096 x7967+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=16382
55.77/55.85	c 8192 ~x2174446+4096 ~x2174445+2048 ~x2174444+1024 ~x2174443+512 ~x2174442+256 ~x2174441+128 ~x2174440+64 ~x2174439+32 ~x2174438+16 ~x2174437+8 ~x2174436+4 ~x2174435+2 ~x2174434+1 ~x2174433+15360 x7968+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
55.87/55.95	c 16384 ~x2178163+8192 ~x2178162+4096 ~x2178161+2048 ~x2178160+1024 ~x2178159+512 ~x2178158+256 ~x2178157+128 ~x2178156+64 ~x2178155+32 ~x2178154+16 ~x2178153+8 ~x2178152+4 ~x2178151+2 ~x2178150+1 ~x2178149+19456 x7969+16384 ~x6826+8192 ~x6825+4096 ~x6824+2048 ~x6823+1024 ~x6822+512 ~x6821+256 ~x6820+128 ~x6819+64 ~x6818+32 ~x6817+16 ~x6816+8 ~x6815+4 ~x6814+2 ~x6813+1 ~x6812-0=65534
55.97/56.05	c 8192 ~x2182197+4096 ~x2182196+2048 ~x2182195+1024 ~x2182194+512 ~x2182193+256 ~x2182192+128 ~x2182191+64 ~x2182190+32 ~x2182189+16 ~x2182188+8 ~x2182187+4 ~x2182186+2 ~x2182185+1 ~x2182184+8192 x7970+8192 ~x6855+4096 ~x6854+2048 ~x6853+1024 ~x6852+512 ~x6851+256 ~x6850+128 ~x6849+64 ~x6848+32 ~x6847+16 ~x6846+8 ~x6845+4 ~x6844+2 ~x6843+1 ~x6842-0=32766
56.07/56.14	c 4096 ~x2185912+2048 ~x2185911+1024 ~x2185910+512 ~x2185909+256 ~x2185908+128 ~x2185907+64 ~x2185906+32 ~x2185905+16 ~x2185904+8 ~x2185903+4 ~x2185902+2 ~x2185901+1 ~x2185900+4096 x7971+4096 ~x6884+2048 ~x6883+1024 ~x6882+512 ~x6881+256 ~x6880+128 ~x6879+64 ~x6878+32 ~x6877+16 ~x6876+8 ~x6875+4 ~x6874+2 ~x6873+1 ~x6872-0=16382
56.17/56.21	c 4096 ~x2188612+2048 ~x2188611+1024 ~x2188610+512 ~x2188609+256 ~x2188608+128 ~x2188607+64 ~x2188606+32 ~x2188605+16 ~x2188604+8 ~x2188603+4 ~x2188602+2 ~x2188601+1 ~x2188600+6144 x7972+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.17/56.28	c 1024 ~x2191310+512 ~x2191309+256 ~x2191308+128 ~x2191307+64 ~x2191306+32 ~x2191305+16 ~x2191304+8 ~x2191303+4 ~x2191302+2 ~x2191301+1 ~x2191300+1024 x7973+1024 ~x6942+512 ~x6941+256 ~x6940+128 ~x6939+64 ~x6938+32 ~x6937+16 ~x6936+8 ~x6935+4 ~x6934+2 ~x6933+1 ~x6932-0=4094
56.27/56.33	c 2048 ~x2193424+1024 ~x2193423+512 ~x2193422+256 ~x2193421+128 ~x2193420+64 ~x2193419+32 ~x2193418+16 ~x2193417+8 ~x2193416+4 ~x2193415+2 ~x2193414+1 ~x2193413+3072 x7974+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=8190
56.27/56.39	c 16384 ~x2195775+8192 ~x2195774+4096 ~x2195773+2048 ~x2195772+1024 ~x2195771+512 ~x2195770+256 ~x2195769+128 ~x2195768+64 ~x2195767+32 ~x2195766+16 ~x2195765+8 ~x2195764+4 ~x2195763+2 ~x2195762+1 ~x2195761+23552 x7975+16384 ~x7006+8192 ~x7005+4096 ~x7004+2048 ~x7003+1024 ~x7002+512 ~x7001+256 ~x7000+128 ~x6999+64 ~x6998+32 ~x6997+16 ~x6996+8 ~x6995+4 ~x6994+2 ~x6993+1 ~x6992-0=65534
56.47/56.50	c 2048 ~x2200064+1024 ~x2200063+512 ~x2200062+256 ~x2200061+128 ~x2200060+64 ~x2200059+32 ~x2200058+16 ~x2200057+8 ~x2200056+4 ~x2200055+2 ~x2200054+1 ~x2200053+2048 x7976+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=8190
56.47/56.56	c 8192 ~x2202414+4096 ~x2202413+2048 ~x2202412+1024 ~x2202411+512 ~x2202410+256 ~x2202409+128 ~x2202408+64 ~x2202407+32 ~x2202406+16 ~x2202405+8 ~x2202404+4 ~x2202403+2 ~x2202402+1 ~x2202401+10240 x7977+8192 ~x7065+4096 ~x7064+2048 ~x7063+1024 ~x7062+512 ~x7061+256 ~x7060+128 ~x7059+64 ~x7058+32 ~x7057+16 ~x7056+8 ~x7055+4 ~x7054+2 ~x7053+1 ~x7052-0=32766
56.57/56.65	c 4096 ~x2206129+2048 ~x2206128+1024 ~x2206127+512 ~x2206126+256 ~x2206125+128 ~x2206124+64 ~x2206123+32 ~x2206122+16 ~x2206121+8 ~x2206120+4 ~x2206119+2 ~x2206118+1 ~x2206117+4096 x7978+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=16382
56.66/56.72	c 16384 ~x2208831+8192 ~x2208830+4096 ~x2208829+2048 ~x2208828+1024 ~x2208827+512 ~x2208826+256 ~x2208825+128 ~x2208824+64 ~x2208823+32 ~x2208822+16 ~x2208821+8 ~x2208820+4 ~x2208819+2 ~x2208818+1 ~x2208817+17408 x7979+16384 ~x7126+8192 ~x7125+4096 ~x7124+2048 ~x7123+1024 ~x7122+512 ~x7121+256 ~x7120+128 ~x7119+64 ~x7118+32 ~x7117+16 ~x7116+8 ~x7115+4 ~x7114+2 ~x7113+1 ~x7112-0=65534
56.77/56.82	c 32768 ~x2212867+16384 ~x2212866+8192 ~x2212865+4096 ~x2212864+2048 ~x2212863+1024 ~x2212862+512 ~x2212861+256 ~x2212860+128 ~x2212859+64 ~x2212858+32 ~x2212857+16 ~x2212856+8 ~x2212855+4 ~x2212854+2 ~x2212853+1 ~x2212852+33792 x7980+32768 ~x7157+16384 ~x7156+8192 ~x7155+4096 ~x7154+2048 ~x7153+1024 ~x7152+512 ~x7151+256 ~x7150+128 ~x7149+64 ~x7148+32 ~x7147+16 ~x7146+8 ~x7145+4 ~x7144+2 ~x7143+1 ~x7142-0=131070
56.87/56.93	c 1024 ~x2217491+512 ~x2217490+256 ~x2217489+128 ~x2217488+64 ~x2217487+32 ~x2217486+16 ~x2217485+8 ~x2217484+4 ~x2217483+2 ~x2217482+1 ~x2217481+1024 x7981+1024 ~x7182+512 ~x7181+256 ~x7180+128 ~x7179+64 ~x7178+32 ~x7177+16 ~x7176+8 ~x7175+4 ~x7174+2 ~x7173+1 ~x7172-0=4094
56.87/56.99	c 8192 ~x2219607+4096 ~x2219606+2048 ~x2219605+1024 ~x2219604+512 ~x2219603+256 ~x2219602+128 ~x2219601+64 ~x2219600+32 ~x2219599+16 ~x2219598+8 ~x2219597+4 ~x2219596+2 ~x2219595+1 ~x2219594+13312 x7982+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
56.97/57.08	c 8192 ~x2223323+4096 ~x2223322+2048 ~x2223321+1024 ~x2223320+512 ~x2223319+256 ~x2223318+128 ~x2223317+64 ~x2223316+32 ~x2223315+16 ~x2223314+8 ~x2223313+4 ~x2223312+2 ~x2223311+1 ~x2223310+10240 x7983+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.08/57.18	c 2048 ~x2227037+1024 ~x2227036+512 ~x2227035+256 ~x2227034+128 ~x2227033+64 ~x2227032+32 ~x2227031+16 ~x2227030+8 ~x2227029+4 ~x2227028+2 ~x2227027+1 ~x2227026+3072 x7984+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=8190
57.17/57.24	c 8192 ~x2229387+4096 ~x2229386+2048 ~x2229385+1024 ~x2229384+512 ~x2229383+256 ~x2229382+128 ~x2229381+64 ~x2229380+32 ~x2229379+16 ~x2229378+8 ~x2229377+4 ~x2229376+2 ~x2229375+1 ~x2229374+8192 x7985+8192 ~x7305+4096 ~x7304+2048 ~x7303+1024 ~x7302+512 ~x7301+256 ~x7300+128 ~x7299+64 ~x7298+32 ~x7297+16 ~x7296+8 ~x7295+4 ~x7294+2 ~x7293+1 ~x7292-0=32766
57.27/57.33	c 4096 ~x2233102+2048 ~x2233101+1024 ~x2233100+512 ~x2233099+256 ~x2233098+128 ~x2233097+64 ~x2233096+32 ~x2233095+16 ~x2233094+8 ~x2233093+4 ~x2233092+2 ~x2233091+1 ~x2233090+6144 x7986+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.36/57.40	c 4096 ~x2235802+2048 ~x2235801+1024 ~x2235800+512 ~x2235799+256 ~x2235798+128 ~x2235797+64 ~x2235796+32 ~x2235795+16 ~x2235794+8 ~x2235793+4 ~x2235792+2 ~x2235791+1 ~x2235790+5120 x7987+4096 ~x7364+2048 ~x7363+1024 ~x7362+512 ~x7361+256 ~x7360+128 ~x7359+64 ~x7358+32 ~x7357+16 ~x7356+8 ~x7355+4 ~x7354+2 ~x7353+1 ~x7352-0=16382
57.36/57.47	c 4096 ~x2238502+2048 ~x2238501+1024 ~x2238500+512 ~x2238499+256 ~x2238498+128 ~x2238497+64 ~x2238496+32 ~x2238495+16 ~x2238494+8 ~x2238493+4 ~x2238492+2 ~x2238491+1 ~x2238490+4096 x7988+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.47/57.53	c 8192 ~x2241203+4096 ~x2241202+2048 ~x2241201+1024 ~x2241200+512 ~x2241199+256 ~x2241198+128 ~x2241197+64 ~x2241196+32 ~x2241195+16 ~x2241194+8 ~x2241193+4 ~x2241192+2 ~x2241191+1 ~x2241190+8192 x7989+8192 ~x7425+4096 ~x7424+2048 ~x7423+1024 ~x7422+512 ~x7421+256 ~x7420+128 ~x7419+64 ~x7418+32 ~x7417+16 ~x7416+8 ~x7415+4 ~x7414+2 ~x7413+1 ~x7412-0=32766
57.57/57.63	c 16384 ~x2244920+8192 ~x2244919+4096 ~x2244918+2048 ~x2244917+1024 ~x2244916+512 ~x2244915+256 ~x2244914+128 ~x2244913+64 ~x2244912+32 ~x2244911+16 ~x2244910+8 ~x2244909+4 ~x2244908+2 ~x2244907+1 ~x2244906+25600 x7990+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
57.67/57.73	c 8192 ~x2249211+4096 ~x2249210+2048 ~x2249209+1024 ~x2249208+512 ~x2249207+256 ~x2249206+128 ~x2249205+64 ~x2249204+32 ~x2249203+16 ~x2249202+8 ~x2249201+4 ~x2249200+2 ~x2249199+1 ~x2249198+10240 x7991+8192 ~x7485+4096 ~x7484+2048 ~x7483+1024 ~x7482+512 ~x7481+256 ~x7480+128 ~x7479+64 ~x7478+32 ~x7477+16 ~x7476+8 ~x7475+4 ~x7474+2 ~x7473+1 ~x7472-0=32766
57.77/57.83	c 16384 ~x2252928+8192 ~x2252927+4096 ~x2252926+2048 ~x2252925+1024 ~x2252924+512 ~x2252923+256 ~x2252922+128 ~x2252921+64 ~x2252920+32 ~x2252919+16 ~x2252918+8 ~x2252917+4 ~x2252916+2 ~x2252915+1 ~x2252914+31744 x7992+16384 ~x7516+8192 ~x7515+4096 ~x7514+2048 ~x7513+1024 ~x7512+512 ~x7511+256 ~x7510+128 ~x7509+64 ~x7508+32 ~x7507+16 ~x7506+8 ~x7505+4 ~x7504+2 ~x7503+1 ~x7502-0=65534
57.87/57.93	c 4096 ~x2257218+2048 ~x2257217+1024 ~x2257216+512 ~x2257215+256 ~x2257214+128 ~x2257213+64 ~x2257212+32 ~x2257211+16 ~x2257210+8 ~x2257209+4 ~x2257208+2 ~x2257207+1 ~x2257206+4096 x7993+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
57.97/58.00	c 4096 ~x2259918+2048 ~x2259917+1024 ~x2259916+512 ~x2259915+256 ~x2259914+128 ~x2259913+64 ~x2259912+32 ~x2259911+16 ~x2259910+8 ~x2259909+4 ~x2259908+2 ~x2259907+1 ~x2259906+4096 x7994+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=16382
57.97/58.07	c 8192 ~x2262619+4096 ~x2262618+2048 ~x2262617+1024 ~x2262616+512 ~x2262615+256 ~x2262614+128 ~x2262613+64 ~x2262612+32 ~x2262611+16 ~x2262610+8 ~x2262609+4 ~x2262608+2 ~x2262607+1 ~x2262606+8192 x7995+8192 ~x7605+4096 ~x7604+2048 ~x7603+1024 ~x7602+512 ~x7601+256 ~x7600+128 ~x7599+64 ~x7598+32 ~x7597+16 ~x7596+8 ~x7595+4 ~x7594+2 ~x7593+1 ~x7592-0=32766
58.07/58.16	c 8192 ~x2266335+4096 ~x2266334+2048 ~x2266333+1024 ~x2266332+512 ~x2266331+256 ~x2266330+128 ~x2266329+64 ~x2266328+32 ~x2266327+16 ~x2266326+8 ~x2266325+4 ~x2266324+2 ~x2266323+1 ~x2266322+10240 x7996+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.17/58.26	c 16384 ~x2270052+8192 ~x2270051+4096 ~x2270050+2048 ~x2270049+1024 ~x2270048+512 ~x2270047+256 ~x2270046+128 ~x2270045+64 ~x2270044+32 ~x2270043+16 ~x2270042+8 ~x2270041+4 ~x2270040+2 ~x2270039+1 ~x2270038+19456 x7997+16384 ~x7666+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=65534
58.28/58.36	c 16384 ~x2274087+8192 ~x2274086+4096 ~x2274085+2048 ~x2274084+1024 ~x2274083+512 ~x2274082+256 ~x2274081+128 ~x2274080+64 ~x2274079+32 ~x2274078+16 ~x2274077+8 ~x2274076+4 ~x2274075+2 ~x2274074+1 ~x2274073+16384 x7998+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.37/58.46	c 4096 ~x2278120+2048 ~x2278119+1024 ~x2278118+512 ~x2278117+256 ~x2278116+128 ~x2278115+64 ~x2278114+32 ~x2278113+16 ~x2278112+8 ~x2278111+4 ~x2278110+2 ~x2278109+1 ~x2278108+6144 x7999+4096 

ERROR: no interpretation found !

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

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

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


[startup+0 s]
/proc/loadavg: 0.85 0.95 0.98 3/106 23860
/proc/meminfo: memFree=1660108/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0

[startup+0.0256631 s]
/proc/loadavg: 0.85 0.95 0.98 3/106 23860
/proc/meminfo: memFree=1660108/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.10067 s]
/proc/loadavg: 0.85 0.95 0.98 3/106 23860
/proc/meminfo: memFree=1660108/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300692 s]
/proc/loadavg: 0.85 0.95 0.98 3/106 23860
/proc/meminfo: memFree=1660108/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700735 s]
/proc/loadavg: 0.85 0.95 0.98 3/106 23860
/proc/meminfo: memFree=1660108/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50082 s]
/proc/loadavg: 0.85 0.95 0.98 2/108 23863
/proc/meminfo: memFree=1497900/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=241892 CPUtime=1.48
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 60503 0 0 0 61 87 0 0 25 0 1 0 21182444 247697408 59889 1992294400 134512640 134902295 4289129856 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 60473 59889 256 96 0 59685 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 250592

[startup+3.101 s]
/proc/loadavg: 0.85 0.95 0.98 2/108 23863
/proc/meminfo: memFree=1341412/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=385284 CPUtime=3.08
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 96325 0 0 0 187 121 0 0 25 0 1 0 21182444 394530816 95711 1992294400 134512640 134902295 4289129856 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 96321 95717 259 96 0 95533 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 393984

[startup+6.30135 s]
/proc/loadavg: 0.86 0.95 0.98 2/108 23863
/proc/meminfo: memFree=1311528/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=367964 CPUtime=6.28
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 111267 0 0 0 499 129 0 0 25 0 1 0 21182444 376795136 90854 1992294400 134512640 134902295 4289129856 18446744073709551615 134860532 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 91991 90854 262 96 0 91203 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 376664

[startup+12.7011 s]
/proc/loadavg: 0.87 0.95 0.98 2/108 23863
/proc/meminfo: memFree=1203400/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=475212 CPUtime=12.68
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 140911 0 0 0 1125 143 0 0 25 0 1 0 21182444 486617088 116028 1992294400 134512640 134902295 4289129856 18446744073709551615 4159739159 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 118803 116029 262 96 0 118015 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 483912

[startup+25.5005 s]
/proc/loadavg: 0.90 0.96 0.98 2/108 23863
/proc/meminfo: memFree=984788/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=695084 CPUtime=25.48
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 205173 0 0 0 2376 172 0 0 25 0 1 0 21182444 711766016 169813 1992294400 134512640 134902295 4289129856 18446744073709551615 4159739051 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 173771 169813 262 96 0 172983 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 703784

[startup+51.1013 s]
/proc/loadavg: 0.93 0.96 0.98 2/108 23863
/proc/meminfo: memFree=531692/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1176980 CPUtime=51.07
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 324574 0 0 0 4888 219 0 0 25 0 1 0 21182444 1205227520 283805 1992294400 134512640 134902295 4289129856 18446744073709551615 134631000 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 294245 283805 262 96 0 293457 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1185680

[startup+102.308 s]
/proc/loadavg: 0.97 0.96 0.98 2/108 23865
/proc/meminfo: memFree=404840/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1272668 CPUtime=102.26
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 356238 0 0 0 9992 234 0 0 25 0 1 0 21182444 1303212032 313181 1992294400 134512640 134902295 4289129856 18446744073709551615 4159769052 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 318167 313181 269 96 0 317379 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1281368

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 23867
/proc/meminfo: memFree=392688/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1285104 CPUtime=162.24
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 359272 0 0 0 15988 236 0 0 25 0 1 0 21182444 1315946496 316215 1992294400 134512640 134902295 4289129856 18446744073709551615 4159750635 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 321276 316215 269 96 0 320488 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1293804

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 23869
/proc/meminfo: memFree=385868/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1291908 CPUtime=222.23
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 360965 0 0 0 21985 238 0 0 25 0 1 0 21182444 1322913792 317908 1992294400 134512640 134902295 4289129856 18446744073709551615 4159757988 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 322977 317908 269 96 0 322189 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1300608

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 23869
/proc/meminfo: memFree=381156/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1296568 CPUtime=282.21
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 362131 0 0 0 27981 240 0 0 25 0 1 0 21182444 1327685632 319074 1992294400 134512640 134902295 4289129856 18446744073709551615 4159768710 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 324142 319074 269 96 0 323354 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1305268

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 23871
/proc/meminfo: memFree=377064/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1300444 CPUtime=342.2
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 363117 0 0 0 33978 242 0 0 25 0 1 0 21182444 1331654656 320060 1992294400 134512640 134902295 4289129856 18446744073709551615 4159768702 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 325111 320060 269 96 0 324323 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1309144

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 23873
/proc/meminfo: memFree=369500/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1308376 CPUtime=402.18
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 365038 0 0 0 39975 243 0 0 25 0 1 0 21182444 1339777024 321981 1992294400 134512640 134902295 4289129856 18446744073709551615 4159738503 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 327094 321981 269 96 0 326306 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1317076

[startup+462.3 s]

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

/proc/23862/statm: 341665 336499 269 96 0 340877 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1375360

[startup+1242.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/108 23898
/proc/meminfo: memFree=304772/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1372144 CPUtime=1241.95
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 380944 0 0 0 123935 260 0 0 25 0 1 0 21182444 1405075456 337887 1992294400 134512640 134902295 4289129856 18446744073709551615 4159773645 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 343036 337887 269 96 0 342248 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1380844

[startup+1302.3 s]
/proc/loadavg: 1.13 1.07 1.01 2/108 23900
/proc/meminfo: memFree=296836/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1379976 CPUtime=1301.94
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 382912 0 0 0 129933 261 0 0 25 0 1 0 21182444 1413095424 339855 1992294400 134512640 134902295 4289129856 18446744073709551615 4159771804 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 344994 339855 269 96 0 344206 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1388676

[startup+1362.3 s]
/proc/loadavg: 1.12 1.07 1.00 2/108 23902
/proc/meminfo: memFree=288156/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1389544 CPUtime=1361.92
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 385110 0 0 0 135928 264 0 0 25 0 1 0 21182444 1422893056 342053 1992294400 134512640 134902295 4289129856 18446744073709551615 4159757417 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 347386 342053 269 96 0 346598 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1398244

[startup+1422.31 s]
/proc/loadavg: 1.11 1.07 1.00 2/108 23904
/proc/meminfo: memFree=283692/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1393936 CPUtime=1421.92
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 386215 0 0 0 141927 265 0 0 25 0 1 0 21182444 1427390464 343158 1992294400 134512640 134902295 4289129856 18446744073709551615 4159762174 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 348484 343158 269 96 0 347696 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1402636

[startup+1482.3 s]
/proc/loadavg: 1.22 1.10 1.01 2/108 23904
/proc/meminfo: memFree=279972/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1397660 CPUtime=1481.89
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 387132 0 0 0 147924 265 0 0 25 0 1 0 21182444 1431203840 344075 1992294400 134512640 134902295 4289129856 18446744073709551615 4159738629 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 349415 344075 269 96 0 348627 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1406360

[startup+1542.3 s]
/proc/loadavg: 1.18 1.11 1.02 2/108 23906
/proc/meminfo: memFree=276624/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1400912 CPUtime=1541.87
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 387957 0 0 0 153921 266 0 0 25 0 1 0 21182444 1434533888 344900 1992294400 134512640 134902295 4289129856 18446744073709551615 4159750676 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 350228 344900 269 96 0 349440 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1409612

[startup+1602.3 s]
/proc/loadavg: 1.23 1.14 1.03 2/108 23908
/proc/meminfo: memFree=272532/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1404880 CPUtime=1601.86
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 388963 0 0 0 159918 268 0 0 25 0 1 0 21182444 1438597120 345906 1992294400 134512640 134902295 4289129856 18446744073709551615 4159769070 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 351220 345906 269 96 0 350432 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1413580

[startup+1662.3 s]
/proc/loadavg: 1.08 1.11 1.02 2/108 23910
/proc/meminfo: memFree=268192/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1409128 CPUtime=1661.84
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 390043 0 0 0 165915 269 0 0 25 0 1 0 21182444 1442947072 346986 1992294400 134512640 134902295 4289129856 18446744073709551615 4159750678 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 352282 346986 269 96 0 351494 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1417828

[startup+1722.3 s]
/proc/loadavg: 1.03 1.08 1.02 2/108 23912
/proc/meminfo: memFree=262736/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1414552 CPUtime=1721.83
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 391416 0 0 0 171912 271 0 0 25 0 1 0 21182444 1448501248 348359 1992294400 134512640 134902295 4289129856 18446744073709551615 4159750944 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 353638 348359 269 96 0 352850 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1423252

[startup+1782.3 s]
/proc/loadavg: 1.01 1.07 1.01 2/108 23912
/proc/meminfo: memFree=256660/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1420400 CPUtime=1781.81
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 392904 0 0 0 177909 272 0 0 25 0 1 0 21182444 1454489600 349847 1992294400 134512640 134902295 4289129856 18446744073709551615 4159768702 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 355100 349847 269 96 0 354312 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1429100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.01 1.06 1.01 2/108 23914
/proc/meminfo: memFree=254428/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1422516 CPUtime=1800.01
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 393440 0 0 0 179728 273 0 0 25 0 1 0 21182444 1456656384 350383 1992294400 134512640 134902295 4289129856 18446744073709551615 4159768702 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 355629 350383 269 96 0 354841 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1431216

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

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

[startup+1800.5 s]
/proc/loadavg: 1.01 1.06 1.01 2/108 23914
/proc/meminfo: memFree=254428/2059040 swapFree=4140128/4192956
[pid=23860] ppid=23858 vsize=8700 CPUtime=0
/proc/23860/stat : 23860 (run) S 23858 23860 23835 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21182444 8908800 251 1992294400 4194304 4922060 140735900840720 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23860/statm: 2175 251 211 178 0 68 0
[pid=23862] ppid=23860 vsize=1422516 CPUtime=1800.01
/proc/23862/stat : 23862 (PBPASSolver) R 23860 23860 23835 0 -1 4202496 393440 0 0 0 179728 273 0 0 25 0 1 0 21182444 1456656384 350383 1992294400 134512640 134902295 4289129856 18446744073709551615 4159768702 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23862/statm: 355629 350383 269 96 0 354841 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1431216

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1797.28
CPU system time (s): 2.73
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 1431216

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= 524
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 4

runsolver used 2.96355 second user time and 8.5387 second system time

The end

Begin job on node042 at 2010-06-17 20:21:40
IDJOB=2674098
IDBENCH=2282
IDSOLVER=1174
FILE ID=node042/2674098-1276798899
PBS_JOBID= 11176648
Free space on /tmp= 62576 MiB

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

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

MD5SUM BENCH= 9dd7506c46c3c26c10ff03753daf5d0f
RANDOM SEED=1355158096

node042.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.213
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.42
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.213
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1660628 kB
Buffers:        131260 kB
Cached:         172392 kB
SwapCached:       6520 kB
Active:         104908 kB
Inactive:       211856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1660628 kB
SwapTotal:     4192956 kB
SwapFree:      4140128 kB
Dirty:            1080 kB
Writeback:           0 kB
AnonPages:       10736 kB
Mapped:          12924 kB
Slab:            59964 kB
PageTables:       4036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182900 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62576 MiB
End job on node042 at 2010-06-17 20:51:42