36.75/36.89	c 7936 296 0 0 0 0 0 0
36.75/36.89	c 2048 ~x1458858+1024 ~x1458857+512 ~x1458856+256 ~x1458855+128 ~x1458854+64 ~x1458853+32 ~x1458852+16 ~x1458851+8 ~x1458850+4 ~x1458849+2 ~x1458848+1 ~x1458847+2048 x7682+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=8190
36.85/36.95	c 8192 ~x1461208+4096 ~x1461207+2048 ~x1461206+1024 ~x1461205+512 ~x1461204+256 ~x1461203+128 ~x1461202+64 ~x1461201+32 ~x1461200+16 ~x1461199+8 ~x1461198+4 ~x1461197+2 ~x1461196+1 ~x1461195+11264 x7683+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=32766
36.94/37.04	c 4096 ~x1464923+2048 ~x1464922+1024 ~x1464921+512 ~x1464920+256 ~x1464919+128 ~x1464918+64 ~x1464917+32 ~x1464916+16 ~x1464915+8 ~x1464914+4 ~x1464913+2 ~x1464912+1 ~x1464911+6144 x7684+4096 ~x74+2048 ~x73+1024 ~x72+512 ~x71+256 ~x70+128 ~x69+64 ~x68+32 ~x67+16 ~x66+8 ~x65+4 ~x64+2 ~x63+1 ~x62-0=16382
37.04/37.11	c 16384 ~x1467625+8192 ~x1467624+4096 ~x1467623+2048 ~x1467622+1024 ~x1467621+512 ~x1467620+256 ~x1467619+128 ~x1467618+64 ~x1467617+32 ~x1467616+16 ~x1467615+8 ~x1467614+4 ~x1467613+2 ~x1467612+1 ~x1467611+18432 x7685+16384 ~x106+8192 ~x105+4096 ~x104+2048 ~x103+1024 ~x102+512 ~x101+256 ~x100+128 ~x99+64 ~x98+32 ~x97+16 ~x96+8 ~x95+4 ~x94+2 ~x93+1 ~x92-0=65534
37.15/37.21	c 4096 ~x1471658+2048 ~x1471657+1024 ~x1471656+512 ~x1471655+256 ~x1471654+128 ~x1471653+64 ~x1471652+32 ~x1471651+16 ~x1471650+8 ~x1471649+4 ~x1471648+2 ~x1471647+1 ~x1471646+7168 x7686+4096 ~x134+2048 ~x133+1024 ~x132+512 ~x131+256 ~x130+128 ~x129+64 ~x128+32 ~x127+16 ~x126+8 ~x125+4 ~x124+2 ~x123+1 ~x122-0=16382
37.15/37.28	c 2048 ~x1474357+1024 ~x1474356+512 ~x1474355+256 ~x1474354+128 ~x1474353+64 ~x1474352+32 ~x1474351+16 ~x1474350+8 ~x1474349+4 ~x1474348+2 ~x1474347+1 ~x1474346+2048 x7687+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=8190
37.25/37.34	c 16384 ~x1476708+8192 ~x1476707+4096 ~x1476706+2048 ~x1476705+1024 ~x1476704+512 ~x1476703+256 ~x1476702+128 ~x1476701+64 ~x1476700+32 ~x1476699+16 ~x1476698+8 ~x1476697+4 ~x1476696+2 ~x1476695+1 ~x1476694+18432 x7688+16384 ~x196+8192 ~x195+4096 ~x194+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182-0=65534
37.35/37.44	c 8192 ~x1480742+4096 ~x1480741+2048 ~x1480740+1024 ~x1480739+512 ~x1480738+256 ~x1480737+128 ~x1480736+64 ~x1480735+32 ~x1480734+16 ~x1480733+8 ~x1480732+4 ~x1480731+2 ~x1480730+1 ~x1480729+14336 x7689+8192 ~x225+4096 ~x224+2048 ~x223+1024 ~x222+512 ~x221+256 ~x220+128 ~x219+64 ~x218+32 ~x217+16 ~x216+8 ~x215+4 ~x214+2 ~x213+1 ~x212-0=32766
37.44/37.53	c 8192 ~x1484458+4096 ~x1484457+2048 ~x1484456+1024 ~x1484455+512 ~x1484454+256 ~x1484453+128 ~x1484452+64 ~x1484451+32 ~x1484450+16 ~x1484449+8 ~x1484448+4 ~x1484447+2 ~x1484446+1 ~x1484445+9216 x7690+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242-0=32766
37.55/37.62	c 4096 ~x1488173+2048 ~x1488172+1024 ~x1488171+512 ~x1488170+256 ~x1488169+128 ~x1488168+64 ~x1488167+32 ~x1488166+16 ~x1488165+8 ~x1488164+4 ~x1488163+2 ~x1488162+1 ~x1488161+6144 x7691+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=16382
37.55/37.69	c 32768 ~x1490876+16384 ~x1490875+8192 ~x1490874+4096 ~x1490873+2048 ~x1490872+1024 ~x1490871+512 ~x1490870+256 ~x1490869+128 ~x1490868+64 ~x1490867+32 ~x1490866+16 ~x1490865+8 ~x1490864+4 ~x1490863+2 ~x1490862+1 ~x1490861+40960 x7692+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302-0=131070
37.75/37.80	c 16384 ~x1495504+8192 ~x1495503+4096 ~x1495502+2048 ~x1495501+1024 ~x1495500+512 ~x1495499+256 ~x1495498+128 ~x1495497+64 ~x1495496+32 ~x1495495+16 ~x1495494+8 ~x1495493+4 ~x1495492+2 ~x1495491+1 ~x1495490+22528 x7693+16384 ~x346+8192 ~x345+4096 ~x344+2048 ~x343+1024 ~x342+512 ~x341+256 ~x340+128 ~x339+64 ~x338+32 ~x337+16 ~x336+8 ~x335+4 ~x334+2 ~x333+1 ~x332-0=65534
37.84/37.91	c 8192 ~x1499795+4096 ~x1499794+2048 ~x1499793+1024 ~x1499792+512 ~x1499791+256 ~x1499790+128 ~x1499789+64 ~x1499788+32 ~x1499787+16 ~x1499786+8 ~x1499785+4 ~x1499784+2 ~x1499783+1 ~x1499782+9216 x7694+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
37.94/38.00	c 8192 ~x1503511+4096 ~x1503510+2048 ~x1503509+1024 ~x1503508+512 ~x1503507+256 ~x1503506+128 ~x1503505+64 ~x1503504+32 ~x1503503+16 ~x1503502+8 ~x1503501+4 ~x1503500+2 ~x1503499+1 ~x1503498+15360 x7695+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=32766
37.94/38.09	c 8192 ~x1507227+4096 ~x1507226+2048 ~x1507225+1024 ~x1507224+512 ~x1507223+256 ~x1507222+128 ~x1507221+64 ~x1507220+32 ~x1507219+16 ~x1507218+8 ~x1507217+4 ~x1507216+2 ~x1507215+1 ~x1507214+8192 x7696+8192 ~x435+4096 ~x434+2048 ~x433+1024 ~x432+512 ~x431+256 ~x430+128 ~x429+64 ~x428+32 ~x427+16 ~x426+8 ~x425+4 ~x424+2 ~x423+1 ~x422-0=32766
38.04/38.19	c 4096 ~x1510942+2048 ~x1510941+1024 ~x1510940+512 ~x1510939+256 ~x1510938+128 ~x1510937+64 ~x1510936+32 ~x1510935+16 ~x1510934+8 ~x1510933+4 ~x1510932+2 ~x1510931+1 ~x1510930+7168 x7697+4096 ~x464+2048 ~x463+1024 ~x462+512 ~x461+256 ~x460+128 ~x459+64 ~x458+32 ~x457+16 ~x456+8 ~x455+4 ~x454+2 ~x453+1 ~x452-0=16382
38.14/38.26	c 8192 ~x1513643+4096 ~x1513642+2048 ~x1513641+1024 ~x1513640+512 ~x1513639+256 ~x1513638+128 ~x1513637+64 ~x1513636+32 ~x1513635+16 ~x1513634+8 ~x1513633+4 ~x1513632+2 ~x1513631+1 ~x1513630+10240 x7698+8192 ~x495+4096 ~x494+2048 ~x493+1024 ~x492+512 ~x491+256 ~x490+128 ~x489+64 ~x488+32 ~x487+16 ~x486+8 ~x485+4 ~x484+2 ~x483+1 ~x482-0=32766
38.25/38.35	c 1024 ~x1517356+512 ~x1517355+256 ~x1517354+128 ~x1517353+64 ~x1517352+32 ~x1517351+16 ~x1517350+8 ~x1517349+4 ~x1517348+2 ~x1517347+1 ~x1517346+1024 x7699+1024 ~x522+512 ~x521+256 ~x520+128 ~x519+64 ~x518+32 ~x517+16 ~x516+8 ~x515+4 ~x514+2 ~x513+1 ~x512-0=4094
38.35/38.40	c 16384 ~x1519473+8192 ~x1519472+4096 ~x1519471+2048 ~x1519470+1024 ~x1519469+512 ~x1519468+256 ~x1519467+128 ~x1519466+64 ~x1519465+32 ~x1519464+16 ~x1519463+8 ~x1519462+4 ~x1519461+2 ~x1519460+1 ~x1519459+18432 x7700+16384 ~x556+8192 ~x555+4096 ~x554+2048 ~x553+1024 ~x552+512 ~x551+256 ~x550+128 ~x549+64 ~x548+32 ~x547+16 ~x546+8 ~x545+4 ~x544+2 ~x543+1 ~x542-0=65534
38.45/38.50	c 4096 ~x1523506+2048 ~x1523505+1024 ~x1523504+512 ~x1523503+256 ~x1523502+128 ~x1523501+64 ~x1523500+32 ~x1523499+16 ~x1523498+8 ~x1523497+4 ~x1523496+2 ~x1523495+1 ~x1523494+4096 x7701+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=16382
38.45/38.57	c 2048 ~x1526205+1024 ~x1526204+512 ~x1526203+256 ~x1526202+128 ~x1526201+64 ~x1526200+32 ~x1526199+16 ~x1526198+8 ~x1526197+4 ~x1526196+2 ~x1526195+1 ~x1526194+3072 x7702+2048 ~x613+1024 ~x612+512 ~x611+256 ~x610+128 ~x609+64 ~x608+32 ~x607+16 ~x606+8 ~x605+4 ~x604+2 ~x603+1 ~x602-0=8190
38.54/38.63	c 4096 ~x1528554+2048 ~x1528553+1024 ~x1528552+512 ~x1528551+256 ~x1528550+128 ~x1528549+64 ~x1528548+32 ~x1528547+16 ~x1528546+8 ~x1528545+4 ~x1528544+2 ~x1528543+1 ~x1528542+5120 x7703+4096 ~x644+2048 ~x643+1024 ~x642+512 ~x641+256 ~x640+128 ~x639+64 ~x638+32 ~x637+16 ~x636+8 ~x635+4 ~x634+2 ~x633+1 ~x632-0=16382
38.64/38.70	c 4096 ~x1531254+2048 ~x1531253+1024 ~x1531252+512 ~x1531251+256 ~x1531250+128 ~x1531249+64 ~x1531248+32 ~x1531247+16 ~x1531246+8 ~x1531245+4 ~x1531244+2 ~x1531243+1 ~x1531242+7168 x7704+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662-0=16382
38.64/38.77	c 16384 ~x1533956+8192 ~x1533955+4096 ~x1533954+2048 ~x1533953+1024 ~x1533952+512 ~x1533951+256 ~x1533950+128 ~x1533949+64 ~x1533948+32 ~x1533947+16 ~x1533946+8 ~x1533945+4 ~x1533944+2 ~x1533943+1 ~x1533942+31744 x7705+16384 ~x706+8192 ~x705+4096 ~x704+2048 ~x703+1024 ~x702+512 ~x701+256 ~x700+128 ~x699+64 ~x698+32 ~x697+16 ~x696+8 ~x695+4 ~x694+2 ~x693+1 ~x692-0=65534
38.74/38.87	c 8192 ~x1538247+4096 ~x1538246+2048 ~x1538245+1024 ~x1538244+512 ~x1538243+256 ~x1538242+128 ~x1538241+64 ~x1538240+32 ~x1538239+16 ~x1538238+8 ~x1538237+4 ~x1538236+2 ~x1538235+1 ~x1538234+15360 x7706+8192 ~x735+4096 ~x734+2048 ~x733+1024 ~x732+512 ~x731+256 ~x730+128 ~x729+64 ~x728+32 ~x727+16 ~x726+8 ~x725+4 ~x724+2 ~x723+1 ~x722-0=32766
38.84/38.97	c 8192 ~x1541963+4096 ~x1541962+2048 ~x1541961+1024 ~x1541960+512 ~x1541959+256 ~x1541958+128 ~x1541957+64 ~x1541956+32 ~x1541955+16 ~x1541954+8 ~x1541953+4 ~x1541952+2 ~x1541951+1 ~x1541950+9216 x7707+8192 ~x765+4096 ~x764+2048 ~x763+1024 ~x762+512 ~x761+256 ~x760+128 ~x759+64 ~x758+32 ~x757+16 ~x756+8 ~x755+4 ~x754+2 ~x753+1 ~x752-0=32766
38.94/39.06	c 2048 ~x1545677+1024 ~x1545676+512 ~x1545675+256 ~x1545674+128 ~x1545673+64 ~x1545672+32 ~x1545671+16 ~x1545670+8 ~x1545669+4 ~x1545668+2 ~x1545667+1 ~x1545666+2048 x7708+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.05/39.12	c 4096 ~x1548026+2048 ~x1548025+1024 ~x1548024+512 ~x1548023+256 ~x1548022+128 ~x1548021+64 ~x1548020+32 ~x1548019+16 ~x1548018+8 ~x1548017+4 ~x1548016+2 ~x1548015+1 ~x1548014+6144 x7709+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=16382
39.05/39.19	c 4096 ~x1550726+2048 ~x1550725+1024 ~x1550724+512 ~x1550723+256 ~x1550722+128 ~x1550721+64 ~x1550720+32 ~x1550719+16 ~x1550718+8 ~x1550717+4 ~x1550716+2 ~x1550715+1 ~x1550714+6144 x7710+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=16382
39.14/39.25	c 32768 ~x1553429+16384 ~x1553428+8192 ~x1553427+4096 ~x1553426+2048 ~x1553425+1024 ~x1553424+512 ~x1553423+256 ~x1553422+128 ~x1553421+64 ~x1553420+32 ~x1553419+16 ~x1553418+8 ~x1553417+4 ~x1553416+2 ~x1553415+1 ~x1553414+34816 x7711+32768 ~x887+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=131070
39.24/39.37	c 8192 ~x1558056+4096 ~x1558055+2048 ~x1558054+1024 ~x1558053+512 ~x1558052+256 ~x1558051+128 ~x1558050+64 ~x1558049+32 ~x1558048+16 ~x1558047+8 ~x1558046+4 ~x1558045+2 ~x1558044+1 ~x1558043+9216 x7712+8192 ~x915+4096 ~x914+2048 ~x913+1024 ~x912+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902-0=32766
39.35/39.48	c 8192 ~x1561772+4096 ~x1561771+2048 ~x1561770+1024 ~x1561769+512 ~x1561768+256 ~x1561767+128 ~x1561766+64 ~x1561765+32 ~x1561764+16 ~x1561763+8 ~x1561762+4 ~x1561761+2 ~x1561760+1 ~x1561759+9216 x7713+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
39.45/39.58	c 8192 ~x1565488+4096 ~x1565487+2048 ~x1565486+1024 ~x1565485+512 ~x1565484+256 ~x1565483+128 ~x1565482+64 ~x1565481+32 ~x1565480+16 ~x1565479+8 ~x1565478+4 ~x1565477+2 ~x1565476+1 ~x1565475+13312 x7714+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
39.55/39.67	c 2048 ~x1569202+1024 ~x1569201+512 ~x1569200+256 ~x1569199+128 ~x1569198+64 ~x1569197+32 ~x1569196+16 ~x1569195+8 ~x1569194+4 ~x1569193+2 ~x1569192+1 ~x1569191+2048 x7715+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
39.65/39.73	c 8192 ~x1571552+4096 ~x1571551+2048 ~x1571550+1024 ~x1571549+512 ~x1571548+256 ~x1571547+128 ~x1571546+64 ~x1571545+32 ~x1571544+16 ~x1571543+8 ~x1571542+4 ~x1571541+2 ~x1571540+1 ~x1571539+11264 x7716+8192 ~x1035+4096 ~x1034+2048 ~x1033+1024 ~x1032+512 ~x1031+256 ~x1030+128 ~x1029+64 ~x1028+32 ~x1027+16 ~x1026+8 ~x1025+4 ~x1024+2 ~x1023+1 ~x1022-0=32766
39.75/39.83	c 8192 ~x1575268+4096 ~x1575267+2048 ~x1575266+1024 ~x1575265+512 ~x1575264+256 ~x1575263+128 ~x1575262+64 ~x1575261+32 ~x1575260+16 ~x1575259+8 ~x1575258+4 ~x1575257+2 ~x1575256+1 ~x1575255+9216 x7717+8192 ~x1065+4096 ~x1064+2048 ~x1063+1024 ~x1062+512 ~x1061+256 ~x1060+128 ~x1059+64 ~x1058+32 ~x1057+16 ~x1056+8 ~x1055+4 ~x1054+2 ~x1053+1 ~x1052-0=32766
39.84/39.92	c 32768 ~x1578986+16384 ~x1578985+8192 ~x1578984+4096 ~x1578983+2048 ~x1578982+1024 ~x1578981+512 ~x1578980+256 ~x1578979+128 ~x1578978+64 ~x1578977+32 ~x1578976+16 ~x1578975+8 ~x1578974+4 ~x1578973+2 ~x1578972+1 ~x1578971+36864 x7718+32768 ~x1097+16384 ~x1096+8192 ~x1095+4096 ~x1094+2048 ~x1093+1024 ~x1092+512 ~x1091+256 ~x1090+128 ~x1089+64 ~x1088+32 ~x1087+16 ~x1086+8 ~x1085+4 ~x1084+2 ~x1083+1 ~x1082-0=131070
39.94/40.03	c 2048 ~x1583611+1024 ~x1583610+512 ~x1583609+256 ~x1583608+128 ~x1583607+64 ~x1583606+32 ~x1583605+16 ~x1583604+8 ~x1583603+4 ~x1583602+2 ~x1583601+1 ~x1583600+3072 x7719+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=8190
39.94/40.09	c 16384 ~x1585962+8192 ~x1585961+4096 ~x1585960+2048 ~x1585959+1024 ~x1585958+512 ~x1585957+256 ~x1585956+128 ~x1585955+64 ~x1585954+32 ~x1585953+16 ~x1585952+8 ~x1585951+4 ~x1585950+2 ~x1585949+1 ~x1585948+18432 x7720+16384 ~x1156+8192 ~x1155+4096 ~x1154+2048 ~x1153+1024 ~x1152+512 ~x1151+256 ~x1150+128 ~x1149+64 ~x1148+32 ~x1147+16 ~x1146+8 ~x1145+4 ~x1144+2 ~x1143+1 ~x1142-0=65534
40.04/40.19	c 4096 ~x1589995+2048 ~x1589994+1024 ~x1589993+512 ~x1589992+256 ~x1589991+128 ~x1589990+64 ~x1589989+32 ~x1589988+16 ~x1589987+8 ~x1589986+4 ~x1589985+2 ~x1589984+1 ~x1589983+7168 x7721+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=16382
40.15/40.26	c 2048 ~x1592694+1024 ~x1592693+512 ~x1592692+256 ~x1592691+128 ~x1592690+64 ~x1592689+32 ~x1592688+16 ~x1592687+8 ~x1592686+4 ~x1592685+2 ~x1592684+1 ~x1592683+2048 x7722+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=8190
40.25/40.32	c 16384 ~x1595045+8192 ~x1595044+4096 ~x1595043+2048 ~x1595042+1024 ~x1595041+512 ~x1595040+256 ~x1595039+128 ~x1595038+64 ~x1595037+32 ~x1595036+16 ~x1595035+8 ~x1595034+4 ~x1595033+2 ~x1595032+1 ~x1595031+18432 x7723+16384 ~x1246+8192 ~x1245+4096 ~x1244+2048 ~x1243+1024 ~x1242+512 ~x1241+256 ~x1240+128 ~x1239+64 ~x1238+32 ~x1237+16 ~x1236+8 ~x1235+4 ~x1234+2 ~x1233+1 ~x1232-0=65534
40.34/40.42	c 8192 ~x1599079+4096 ~x1599078+2048 ~x1599077+1024 ~x1599076+512 ~x1599075+256 ~x1599074+128 ~x1599073+64 ~x1599072+32 ~x1599071+16 ~x1599070+8 ~x1599069+4 ~x1599068+2 ~x1599067+1 ~x1599066+14336 x7724+8192 ~x1275+4096 ~x1274+2048 ~x1273+1024 ~x1272+512 ~x1271+256 ~x1270+128 ~x1269+64 ~x1268+32 ~x1267+16 ~x1266+8 ~x1265+4 ~x1264+2 ~x1263+1 ~x1262-0=32766
40.44/40.51	c 8192 ~x1602795+4096 ~x1602794+2048 ~x1602793+1024 ~x1602792+512 ~x1602791+256 ~x1602790+128 ~x1602789+64 ~x1602788+32 ~x1602787+16 ~x1602786+8 ~x1602785+4 ~x1602784+2 ~x1602783+1 ~x1602782+9216 x7725+8192 ~x1305+4096 ~x1304+2048 ~x1303+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292-0=32766
40.54/40.61	c 4096 ~x1606510+2048 ~x1606509+1024 ~x1606508+512 ~x1606507+256 ~x1606506+128 ~x1606505+64 ~x1606504+32 ~x1606503+16 ~x1606502+8 ~x1606501+4 ~x1606500+2 ~x1606499+1 ~x1606498+6144 x7726+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=16382
40.54/40.68	c 32768 ~x1609213+16384 ~x1609212+8192 ~x1609211+4096 ~x1609210+2048 ~x1609209+1024 ~x1609208+512 ~x1609207+256 ~x1609206+128 ~x1609205+64 ~x1609204+32 ~x1609203+16 ~x1609202+8 ~x1609201+4 ~x1609200+2 ~x1609199+1 ~x1609198+36864 x7727+32768 ~x1367+16384 ~x1366+8192 ~x1365+4096 ~x1364+2048 ~x1363+1024 ~x1362+512 ~x1361+256 ~x1360+128 ~x1359+64 ~x1358+32 ~x1357+16 ~x1356+8 ~x1355+4 ~x1354+2 ~x1353+1 ~x1352-0=131070
40.65/40.79	c 8192 ~x1613840+4096 ~x1613839+2048 ~x1613838+1024 ~x1613837+512 ~x1613836+256 ~x1613835+128 ~x1613834+64 ~x1613833+32 ~x1613832+16 ~x1613831+8 ~x1613830+4 ~x1613829+2 ~x1613828+1 ~x1613827+8192 x7728+8192 ~x1395+4096 ~x1394+2048 ~x1393+1024 ~x1392+512 ~x1391+256 ~x1390+128 ~x1389+64 ~x1388+32 ~x1387+16 ~x1386+8 ~x1385+4 ~x1384+2 ~x1383+1 ~x1382-0=32766
40.74/40.88	c 16384 ~x1617557+8192 ~x1617556+4096 ~x1617555+2048 ~x1617554+1024 ~x1617553+512 ~x1617552+256 ~x1617551+128 ~x1617550+64 ~x1617549+32 ~x1617548+16 ~x1617547+8 ~x1617546+4 ~x1617545+2 ~x1617544+1 ~x1617543+22528 x7729+16384 ~x1426+8192 ~x1425+4096 ~x1424+2048 ~x1423+1024 ~x1422+512 ~x1421+256 ~x1420+128 ~x1419+64 ~x1418+32 ~x1417+16 ~x1416+8 ~x1415+4 ~x1414+2 ~x1413+1 ~x1412-0=65534
40.84/40.98	c 8192 ~x1621848+4096 ~x1621847+2048 ~x1621846+1024 ~x1621845+512 ~x1621844+256 ~x1621843+128 ~x1621842+64 ~x1621841+32 ~x1621840+16 ~x1621839+8 ~x1621838+4 ~x1621837+2 ~x1621836+1 ~x1621835+9216 x7730+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=32766
40.94/41.08	c 8192 ~x1625564+4096 ~x1625563+2048 ~x1625562+1024 ~x1625561+512 ~x1625560+256 ~x1625559+128 ~x1625558+64 ~x1625557+32 ~x1625556+16 ~x1625555+8 ~x1625554+4 ~x1625553+2 ~x1625552+1 ~x1625551+8192 x7731+8192 ~x1485+4096 ~x1484+2048 ~x1483+1024 ~x1482+512 ~x1481+256 ~x1480+128 ~x1479+64 ~x1478+32 ~x1477+16 ~x1476+8 ~x1475+4 ~x1474+2 ~x1473+1 ~x1472-0=32766
41.04/41.17	c 4096 ~x1629279+2048 ~x1629278+1024 ~x1629277+512 ~x1629276+256 ~x1629275+128 ~x1629274+64 ~x1629273+32 ~x1629272+16 ~x1629271+8 ~x1629270+4 ~x1629269+2 ~x1629268+1 ~x1629267+7168 x7732+4096 ~x1514+2048 ~x1513+1024 ~x1512+512 ~x1511+256 ~x1510+128 ~x1509+64 ~x1508+32 ~x1507+16 ~x1506+8 ~x1505+4 ~x1504+2 ~x1503+1 ~x1502-0=16382
41.14/41.24	c 8192 ~x1631980+4096 ~x1631979+2048 ~x1631978+1024 ~x1631977+512 ~x1631976+256 ~x1631975+128 ~x1631974+64 ~x1631973+32 ~x1631972+16 ~x1631971+8 ~x1631970+4 ~x1631969+2 ~x1631968+1 ~x1631967+10240 x7733+8192 ~x1545+4096 ~x1544+2048 ~x1543+1024 ~x1542+512 ~x1541+256 ~x1540+128 ~x1539+64 ~x1538+32 ~x1537+16 ~x1536+8 ~x1535+4 ~x1534+2 ~x1533+1 ~x1532-0=32766
41.24/41.33	c 1024 ~x1635693+512 ~x1635692+256 ~x1635691+128 ~x1635690+64 ~x1635689+32 ~x1635688+16 ~x1635687+8 ~x1635686+4 ~x1635685+2 ~x1635684+1 ~x1635683+1024 x7734+1024 ~x1572+512 ~x1571+256 ~x1570+128 ~x1569+64 ~x1568+32 ~x1567+16 ~x1566+8 ~x1565+4 ~x1564+2 ~x1563+1 ~x1562-0=4094
41.24/41.39	c 16384 ~x1637810+8192 ~x1637809+4096 ~x1637808+2048 ~x1637807+1024 ~x1637806+512 ~x1637805+256 ~x1637804+128 ~x1637803+64 ~x1637802+32 ~x1637801+16 ~x1637800+8 ~x1637799+4 ~x1637798+2 ~x1637797+1 ~x1637796+18432 x7735+16384 ~x1606+8192 ~x1605+4096 ~x1604+2048 ~x1603+1024 ~x1602+512 ~x1601+256 ~x1600+128 ~x1599+64 ~x1598+32 ~x1597+16 ~x1596+8 ~x1595+4 ~x1594+2 ~x1593+1 ~x1592-0=65534
41.34/41.49	c 4096 ~x1641843+2048 ~x1641842+1024 ~x1641841+512 ~x1641840+256 ~x1641839+128 ~x1641838+64 ~x1641837+32 ~x1641836+16 ~x1641835+8 ~x1641834+4 ~x1641833+2 ~x1641832+1 ~x1641831+4096 x7736+4096 ~x1634+2048 ~x1633+1024 ~x1632+512 ~x1631+256 ~x1630+128 ~x1629+64 ~x1628+32 ~x1627+16 ~x1626+8 ~x1625+4 ~x1624+2 ~x1623+1 ~x1622-0=16382
41.44/41.55	c 2048 ~x1644542+1024 ~x1644541+512 ~x1644540+256 ~x1644539+128 ~x1644538+64 ~x1644537+32 ~x1644536+16 ~x1644535+8 ~x1644534+4 ~x1644533+2 ~x1644532+1 ~x1644531+3072 x7737+2048 ~x1663+1024 ~x1662+512 ~x1661+256 ~x1660+128 ~x1659+64 ~x1658+32 ~x1657+16 ~x1656+8 ~x1655+4 ~x1654+2 ~x1653+1 ~x1652-0=8190
41.54/41.61	c 4096 ~x1646891+2048 ~x1646890+1024 ~x1646889+512 ~x1646888+256 ~x1646887+128 ~x1646886+64 ~x1646885+32 ~x1646884+16 ~x1646883+8 ~x1646882+4 ~x1646881+2 ~x1646880+1 ~x1646879+5120 x7738+4096 ~x1694+2048 ~x1693+1024 ~x1692+512 ~x1691+256 ~x1690+128 ~x1689+64 ~x1688+32 ~x1687+16 ~x1686+8 ~x1685+4 ~x1684+2 ~x1683+1 ~x1682-0=16382
41.54/41.68	c 4096 ~x1649591+2048 ~x1649590+1024 ~x1649589+512 ~x1649588+256 ~x1649587+128 ~x1649586+64 ~x1649585+32 ~x1649584+16 ~x1649583+8 ~x1649582+4 ~x1649581+2 ~x1649580+1 ~x1649579+7168 x7739+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=16382
41.64/41.75	c 4096 ~x1652291+2048 ~x1652290+1024 ~x1652289+512 ~x1652288+256 ~x1652287+128 ~x1652286+64 ~x1652285+32 ~x1652284+16 ~x1652283+8 ~x1652282+4 ~x1652281+2 ~x1652280+1 ~x1652279+7168 x7740+4096 ~x1754+2048 ~x1753+1024 ~x1752+512 ~x1751+256 ~x1750+128 ~x1749+64 ~x1748+32 ~x1747+16 ~x1746+8 ~x1745+4 ~x1744+2 ~x1743+1 ~x1742-0=16382
41.74/41.82	c 16384 ~x1654993+8192 ~x1654992+4096 ~x1654991+2048 ~x1654990+1024 ~x1654989+512 ~x1654988+256 ~x1654987+128 ~x1654986+64 ~x1654985+32 ~x1654984+16 ~x1654983+8 ~x1654982+4 ~x1654981+2 ~x1654980+1 ~x1654979+31744 x7741+16384 ~x1786+8192 ~x1785+4096 ~x1784+2048 ~x1783+1024 ~x1782+512 ~x1781+256 ~x1780+128 ~x1779+64 ~x1778+32 ~x1777+16 ~x1776+8 ~x1775+4 ~x1774+2 ~x1773+1 ~x1772-0=65534
41.84/41.92	c 8192 ~x1659284+4096 ~x1659283+2048 ~x1659282+1024 ~x1659281+512 ~x1659280+256 ~x1659279+128 ~x1659278+64 ~x1659277+32 ~x1659276+16 ~x1659275+8 ~x1659274+4 ~x1659273+2 ~x1659272+1 ~x1659271+9216 x7742+8192 ~x1815+4096 ~x1814+2048 ~x1813+1024 ~x1812+512 ~x1811+256 ~x1810+128 ~x1809+64 ~x1808+32 ~x1807+16 ~x1806+8 ~x1805+4 ~x1804+2 ~x1803+1 ~x1802-0=32766
41.94/42.01	c 2048 ~x1662998+1024 ~x1662997+512 ~x1662996+256 ~x1662995+128 ~x1662994+64 ~x1662993+32 ~x1662992+16 ~x1662991+8 ~x1662990+4 ~x1662989+2 ~x1662988+1 ~x1662987+2048 x7743+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=8190
41.94/42.07	c 4096 ~x1665347+2048 ~x1665346+1024 ~x1665345+512 ~x1665344+256 ~x1665343+128 ~x1665342+64 ~x1665341+32 ~x1665340+16 ~x1665339+8 ~x1665338+4 ~x1665337+2 ~x1665336+1 ~x1665335+6144 x7744+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.04/42.14	c 4096 ~x1668047+2048 ~x1668046+1024 ~x1668045+512 ~x1668044+256 ~x1668043+128 ~x1668042+64 ~x1668041+32 ~x1668040+16 ~x1668039+8 ~x1668038+4 ~x1668037+2 ~x1668036+1 ~x1668035+6144 x7745+4096 ~x1904+2048 ~x1903+1024 ~x1902+512 ~x1901+256 ~x1900+128 ~x1899+64 ~x1898+32 ~x1897+16 ~x1896+8 ~x1895+4 ~x1894+2 ~x1893+1 ~x1892-0=16382
42.14/42.21	c 32768 ~x1670750+16384 ~x1670749+8192 ~x1670748+4096 ~x1670747+2048 ~x1670746+1024 ~x1670745+512 ~x1670744+256 ~x1670743+128 ~x1670742+64 ~x1670741+32 ~x1670740+16 ~x1670739+8 ~x1670738+4 ~x1670737+2 ~x1670736+1 ~x1670735+34816 x7746+32768 ~x1937+16384 ~x1936+8192 ~x1935+4096 ~x1934+2048 ~x1933+1024 ~x1932+512 ~x1931+256 ~x1930+128 ~x1929+64 ~x1928+32 ~x1927+16 ~x1926+8 ~x1925+4 ~x1924+2 ~x1923+1 ~x1922-0=131070
42.24/42.32	c 8192 ~x1675377+4096 ~x1675376+2048 ~x1675375+1024 ~x1675374+512 ~x1675373+256 ~x1675372+128 ~x1675371+64 ~x1675370+32 ~x1675369+16 ~x1675368+8 ~x1675367+4 ~x1675366+2 ~x1675365+1 ~x1675364+9216 x7747+8192 ~x1965+4096 ~x1964+2048 ~x1963+1024 ~x1962+512 ~x1961+256 ~x1960+128 ~x1959+64 ~x1958+32 ~x1957+16 ~x1956+8 ~x1955+4 ~x1954+2 ~x1953+1 ~x1952-0=32766
42.34/42.41	c 8192 ~x1679093+4096 ~x1679092+2048 ~x1679091+1024 ~x1679090+512 ~x1679089+256 ~x1679088+128 ~x1679087+64 ~x1679086+32 ~x1679085+16 ~x1679084+8 ~x1679083+4 ~x1679082+2 ~x1679081+1 ~x1679080+9216 x7748+8192 ~x1995+4096 ~x1994+2048 ~x1993+1024 ~x1992+512 ~x1991+256 ~x1990+128 ~x1989+64 ~x1988+32 ~x1987+16 ~x1986+8 ~x1985+4 ~x1984+2 ~x1983+1 ~x1982-0=32766
42.43/42.51	c 8192 ~x1682809+4096 ~x1682808+2048 ~x1682807+1024 ~x1682806+512 ~x1682805+256 ~x1682804+128 ~x1682803+64 ~x1682802+32 ~x1682801+16 ~x1682800+8 ~x1682799+4 ~x1682798+2 ~x1682797+1 ~x1682796+13312 x7749+8192 ~x2025+4096 ~x2024+2048 ~x2023+1024 ~x2022+512 ~x2021+256 ~x2020+128 ~x2019+64 ~x2018+32 ~x2017+16 ~x2016+8 ~x2015+4 ~x2014+2 ~x2013+1 ~x2012-0=32766
42.54/42.60	c 8192 ~x1686525+4096 ~x1686524+2048 ~x1686523+1024 ~x1686522+512 ~x1686521+256 ~x1686520+128 ~x1686519+64 ~x1686518+32 ~x1686517+16 ~x1686516+8 ~x1686515+4 ~x1686514+2 ~x1686513+1 ~x1686512+10240 x7750+8192 ~x2055+4096 ~x2054+2048 ~x2053+1024 ~x2052+512 ~x2051+256 ~x2050+128 ~x2049+64 ~x2048+32 ~x2047+16 ~x2046+8 ~x2045+4 ~x2044+2 ~x2043+1 ~x2042-0=32766
42.54/42.69	c 2048 ~x1690239+1024 ~x1690238+512 ~x1690237+256 ~x1690236+128 ~x1690235+64 ~x1690234+32 ~x1690233+16 ~x1690232+8 ~x1690231+4 ~x1690230+2 ~x1690229+1 ~x1690228+2048 x7751+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=8190
42.64/42.75	c 8192 ~x1692589+4096 ~x1692588+2048 ~x1692587+1024 ~x1692586+512 ~x1692585+256 ~x1692584+128 ~x1692583+64 ~x1692582+32 ~x1692581+16 ~x1692580+8 ~x1692579+4 ~x1692578+2 ~x1692577+1 ~x1692576+11264 x7752+8192 ~x2115+4096 ~x2114+2048 ~x2113+1024 ~x2112+512 ~x2111+256 ~x2110+128 ~x2109+64 ~x2108+32 ~x2107+16 ~x2106+8 ~x2105+4 ~x2104+2 ~x2103+1 ~x2102-0=32766
42.74/42.85	c 32768 ~x1696307+16384 ~x1696306+8192 ~x1696305+4096 ~x1696304+2048 ~x1696303+1024 ~x1696302+512 ~x1696301+256 ~x1696300+128 ~x1696299+64 ~x1696298+32 ~x1696297+16 ~x1696296+8 ~x1696295+4 ~x1696294+2 ~x1696293+1 ~x1696292+36864 x7753+32768 ~x2147+16384 ~x2146+8192 ~x2145+4096 ~x2144+2048 ~x2143+1024 ~x2142+512 ~x2141+256 ~x2140+128 ~x2139+64 ~x2138+32 ~x2137+16 ~x2136+8 ~x2135+4 ~x2134+2 ~x2133+1 ~x2132-0=131070
42.84/42.96	c 2048 ~x1700932+1024 ~x1700931+512 ~x1700930+256 ~x1700929+128 ~x1700928+64 ~x1700927+32 ~x1700926+16 ~x1700925+8 ~x1700924+4 ~x1700923+2 ~x1700922+1 ~x1700921+3072 x7754+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=8190
42.93/43.02	c 16384 ~x1703283+8192 ~x1703282+4096 ~x1703281+2048 ~x1703280+1024 ~x1703279+512 ~x1703278+256 ~x1703277+128 ~x1703276+64 ~x1703275+32 ~x1703274+16 ~x1703273+8 ~x1703272+4 ~x1703271+2 ~x1703270+1 ~x1703269+18432 x7755+16384 ~x2206+8192 ~x2205+4096 ~x2204+2048 ~x2203+1024 ~x2202+512 ~x2201+256 ~x2200+128 ~x2199+64 ~x2198+32 ~x2197+16 ~x2196+8 ~x2195+4 ~x2194+2 ~x2193+1 ~x2192-0=65534
43.04/43.12	c 4096 ~x1707316+2048 ~x1707315+1024 ~x1707314+512 ~x1707313+256 ~x1707312+128 ~x1707311+64 ~x1707310+32 ~x1707309+16 ~x1707308+8 ~x1707307+4 ~x1707306+2 ~x1707305+1 ~x1707304+7168 x7756+4096 ~x2234+2048 ~x2233+1024 ~x2232+512 ~x2231+256 ~x2230+128 ~x2229+64 ~x2228+32 ~x2227+16 ~x2226+8 ~x2225+4 ~x2224+2 ~x2223+1 ~x2222-0=16382
43.04/43.19	c 2048 ~x1710015+1024 ~x1710014+512 ~x1710013+256 ~x1710012+128 ~x1710011+64 ~x1710010+32 ~x1710009+16 ~x1710008+8 ~x1710007+4 ~x1710006+2 ~x1710005+1 ~x1710004+2048 x7757+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=8190
43.14/43.25	c 16384 ~x1712366+8192 ~x1712365+4096 ~x1712364+2048 ~x1712363+1024 ~x1712362+512 ~x1712361+256 ~x1712360+128 ~x1712359+64 ~x1712358+32 ~x1712357+16 ~x1712356+8 ~x1712355+4 ~x1712354+2 ~x1712353+1 ~x1712352+18432 x7758+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=65534
43.24/43.35	c 8192 ~x1716400+4096 ~x1716399+2048 ~x1716398+1024 ~x1716397+512 ~x1716396+256 ~x1716395+128 ~x1716394+64 ~x1716393+32 ~x1716392+16 ~x1716391+8 ~x1716390+4 ~x1716389+2 ~x1716388+1 ~x1716387+14336 x7759+8192 ~x2325+4096 ~x2324+2048 ~x2323+1024 ~x2322+512 ~x2321+256 ~x2320+128 ~x2319+64 ~x2318+32 ~x2317+16 ~x2316+8 ~x2315+4 ~x2314+2 ~x2313+1 ~x2312-0=32766
43.34/43.44	c 8192 ~x1720116+4096 ~x1720115+2048 ~x1720114+1024 ~x1720113+512 ~x1720112+256 ~x1720111+128 ~x1720110+64 ~x1720109+32 ~x1720108+16 ~x1720107+8 ~x1720106+4 ~x1720105+2 ~x1720104+1 ~x1720103+9216 x7760+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
43.44/43.53	c 1024 ~x1723829+512 ~x1723828+256 ~x1723827+128 ~x1723826+64 ~x1723825+32 ~x1723824+16 ~x1723823+8 ~x1723822+4 ~x1723821+2 ~x1723820+1 ~x1723819+1024 x7761+1024 ~x2382+512 ~x2381+256 ~x2380+128 ~x2379+64 ~x2378+32 ~x2377+16 ~x2376+8 ~x2375+4 ~x2374+2 ~x2373+1 ~x2372-0=4094
43.44/43.59	c 4096 ~x1725944+2048 ~x1725943+1024 ~x1725942+512 ~x1725941+256 ~x1725940+128 ~x1725939+64 ~x1725938+32 ~x1725937+16 ~x1725936+8 ~x1725935+4 ~x1725934+2 ~x1725933+1 ~x1725932+6144 x7762+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=16382
43.53/43.66	c 32768 ~x1728647+16384 ~x1728646+8192 ~x1728645+4096 ~x1728644+2048 ~x1728643+1024 ~x1728642+512 ~x1728641+256 ~x1728640+128 ~x1728639+64 ~x1728638+32 ~x1728637+16 ~x1728636+8 ~x1728635+4 ~x1728634+2 ~x1728633+1 ~x1728632+36864 x7763+32768 ~x2447+16384 ~x2446+8192 ~x2445+4096 ~x2444+2048 ~x2443+1024 ~x2442+512 ~x2441+256 ~x2440+128 ~x2439+64 ~x2438+32 ~x2437+16 ~x2436+8 ~x2435+4 ~x2434+2 ~x2433+1 ~x2432-0=131070
43.63/43.77	c 16384 ~x1733275+8192 ~x1733274+4096 ~x1733273+2048 ~x1733272+1024 ~x1733271+512 ~x1733270+256 ~x1733269+128 ~x1733268+64 ~x1733267+32 ~x1733266+16 ~x1733265+8 ~x1733264+4 ~x1733263+2 ~x1733262+1 ~x1733261+22528 x7764+16384 ~x2476+8192 ~x2475+4096 ~x2474+2048 ~x2473+1024 ~x2472+512 ~x2471+256 ~x2470+128 ~x2469+64 ~x2468+32 ~x2467+16 ~x2466+8 ~x2465+4 ~x2464+2 ~x2463+1 ~x2462-0=65534
43.73/43.87	c 8192 ~x1737566+4096 ~x1737565+2048 ~x1737564+1024 ~x1737563+512 ~x1737562+256 ~x1737561+128 ~x1737560+64 ~x1737559+32 ~x1737558+16 ~x1737557+8 ~x1737556+4 ~x1737555+2 ~x1737554+1 ~x1737553+9216 x7765+8192 ~x2505+4096 ~x2504+2048 ~x2503+1024 ~x2502+512 ~x2501+256 ~x2500+128 ~x2499+64 ~x2498+32 ~x2497+16 ~x2496+8 ~x2495+4 ~x2494+2 ~x2493+1 ~x2492-0=32766
43.84/43.97	c 8192 ~x1741282+4096 ~x1741281+2048 ~x1741280+1024 ~x1741279+512 ~x1741278+256 ~x1741277+128 ~x1741276+64 ~x1741275+32 ~x1741274+16 ~x1741273+8 ~x1741272+4 ~x1741271+2 ~x1741270+1 ~x1741269+8192 x7766+8192 ~x2535+4096 ~x2534+2048 ~x2533+1024 ~x2532+512 ~x2531+256 ~x2530+128 ~x2529+64 ~x2528+32 ~x2527+16 ~x2526+8 ~x2525+4 ~x2524+2 ~x2523+1 ~x2522-0=32766
43.94/44.06	c 4096 ~x1744997+2048 ~x1744996+1024 ~x1744995+512 ~x1744994+256 ~x1744993+128 ~x1744992+64 ~x1744991+32 ~x1744990+16 ~x1744989+8 ~x1744988+4 ~x1744987+2 ~x1744986+1 ~x1744985+7168 x7767+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.03/44.13	c 8192 ~x1747698+4096 ~x1747697+2048 ~x1747696+1024 ~x1747695+512 ~x1747694+256 ~x1747693+128 ~x1747692+64 ~x1747691+32 ~x1747690+16 ~x1747689+8 ~x1747688+4 ~x1747687+2 ~x1747686+1 ~x1747685+10240 x7768+8192 ~x2595+4096 ~x2594+2048 ~x2593+1024 ~x2592+512 ~x2591+256 ~x2590+128 ~x2589+64 ~x2588+32 ~x2587+16 ~x2586+8 ~x2585+4 ~x2584+2 ~x2583+1 ~x2582-0=32766
44.13/44.22	c 1024 ~x1751411+512 ~x1751410+256 ~x1751409+128 ~x1751408+64 ~x1751407+32 ~x1751406+16 ~x1751405+8 ~x1751404+4 ~x1751403+2 ~x1751402+1 ~x1751401+1024 x7769+1024 ~x2622+512 ~x2621+256 ~x2620+128 ~x2619+64 ~x2618+32 ~x2617+16 ~x2616+8 ~x2615+4 ~x2614+2 ~x2613+1 ~x2612-0=4094
44.13/44.28	c 16384 ~x1753528+8192 ~x1753527+4096 ~x1753526+2048 ~x1753525+1024 ~x1753524+512 ~x1753523+256 ~x1753522+128 ~x1753521+64 ~x1753520+32 ~x1753519+16 ~x1753518+8 ~x1753517+4 ~x1753516+2 ~x1753515+1 ~x1753514+18432 x7770+16384 ~x2656+8192 ~x2655+4096 ~x2654+2048 ~x2653+1024 ~x2652+512 ~x2651+256 ~x2650+128 ~x2649+64 ~x2648+32 ~x2647+16 ~x2646+8 ~x2645+4 ~x2644+2 ~x2643+1 ~x2642-0=65534
44.23/44.38	c 4096 ~x1757561+2048 ~x1757560+1024 ~x1757559+512 ~x1757558+256 ~x1757557+128 ~x1757556+64 ~x1757555+32 ~x1757554+16 ~x1757553+8 ~x1757552+4 ~x1757551+2 ~x1757550+1 ~x1757549+4096 x7771+4096 ~x2684+2048 ~x2683+1024 ~x2682+512 ~x2681+256 ~x2680+128 ~x2679+64 ~x2678+32 ~x2677+16 ~x2676+8 ~x2675+4 ~x2674+2 ~x2673+1 ~x2672-0=16382
44.34/44.44	c 8192 ~x1760262+4096 ~x1760261+2048 ~x1760260+1024 ~x1760259+512 ~x1760258+256 ~x1760257+128 ~x1760256+64 ~x1760255+32 ~x1760254+16 ~x1760253+8 ~x1760252+4 ~x1760251+2 ~x1760250+1 ~x1760249+15360 x7772+8192 ~x2715+4096 ~x2714+2048 ~x2713+1024 ~x2712+512 ~x2711+256 ~x2710+128 ~x2709+64 ~x2708+32 ~x2707+16 ~x2706+8 ~x2705+4 ~x2704+2 ~x2703+1 ~x2702-0=32766
44.43/44.54	c 2048 ~x1763976+1024 ~x1763975+512 ~x1763974+256 ~x1763973+128 ~x1763972+64 ~x1763971+32 ~x1763970+16 ~x1763969+8 ~x1763968+4 ~x1763967+2 ~x1763966+1 ~x1763965+3072 x7773+2048 ~x2743+1024 ~x2742+512 ~x2741+256 ~x2740+128 ~x2739+64 ~x2738+32 ~x2737+16 ~x2736+8 ~x2735+4 ~x2734+2 ~x2733+1 ~x2732-0=8190
44.53/44.60	c 4096 ~x1766325+2048 ~x1766324+1024 ~x1766323+512 ~x1766322+256 ~x1766321+128 ~x1766320+64 ~x1766319+32 ~x1766318+16 ~x1766317+8 ~x1766316+4 ~x1766315+2 ~x1766314+1 ~x1766313+5120 x7774+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
44.53/44.67	c 4096 ~x1769025+2048 ~x1769024+1024 ~x1769023+512 ~x1769022+256 ~x1769021+128 ~x1769020+64 ~x1769019+32 ~x1769018+16 ~x1769017+8 ~x1769016+4 ~x1769015+2 ~x1769014+1 ~x1769013+7168 x7775+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
44.64/44.74	c 16384 ~x1771727+8192 ~x1771726+4096 ~x1771725+2048 ~x1771724+1024 ~x1771723+512 ~x1771722+256 ~x1771721+128 ~x1771720+64 ~x1771719+32 ~x1771718+16 ~x1771717+8 ~x1771716+4 ~x1771715+2 ~x1771714+1 ~x1771713+31744 x7776+16384 ~x2836+8192 ~x2835+4096 ~x2834+2048 ~x2833+1024 ~x2832+512 ~x2831+256 ~x2830+128 ~x2829+64 ~x2828+32 ~x2827+16 ~x2826+8 ~x2825+4 ~x2824+2 ~x2823+1 ~x2822-0=65534
44.73/44.84	c 8192 ~x1776018+4096 ~x1776017+2048 ~x1776016+1024 ~x1776015+512 ~x1776014+256 ~x1776013+128 ~x1776012+64 ~x1776011+32 ~x1776010+16 ~x1776009+8 ~x1776008+4 ~x1776007+2 ~x1776006+1 ~x1776005+9216 x7777+8192 ~x2865+4096 ~x2864+2048 ~x2863+1024 ~x2862+512 ~x2861+256 ~x2860+128 ~x2859+64 ~x2858+32 ~x2857+16 ~x2856+8 ~x2855+4 ~x2854+2 ~x2853+1 ~x2852-0=32766
44.83/44.94	c 2048 ~x1779732+1024 ~x1779731+512 ~x1779730+256 ~x1779729+128 ~x1779728+64 ~x1779727+32 ~x1779726+16 ~x1779725+8 ~x1779724+4 ~x1779723+2 ~x1779722+1 ~x1779721+2048 x7778+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=8190
44.83/45.00	c 4096 ~x1782081+2048 ~x1782080+1024 ~x1782079+512 ~x1782078+256 ~x1782077+128 ~x1782076+64 ~x1782075+32 ~x1782074+16 ~x1782073+8 ~x1782072+4 ~x1782071+2 ~x1782070+1 ~x1782069+6144 x7779+4096 ~x2924+2048 ~x2923+1024 ~x2922+512 ~x2921+256 ~x2920+128 ~x2919+64 ~x2918+32 ~x2917+16 ~x2916+8 ~x2915+4 ~x2914+2 ~x2913+1 ~x2912-0=16382
44.95/45.07	c 4096 ~x1784781+2048 ~x1784780+1024 ~x1784779+512 ~x1784778+256 ~x1784777+128 ~x1784776+64 ~x1784775+32 ~x1784774+16 ~x1784773+8 ~x1784772+4 ~x1784771+2 ~x1784770+1 ~x1784769+6144 x7780+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.05/45.13	c 32768 ~x1787484+16384 ~x1787483+8192 ~x1787482+4096 ~x1787481+2048 ~x1787480+1024 ~x1787479+512 ~x1787478+256 ~x1787477+128 ~x1787476+64 ~x1787475+32 ~x1787474+16 ~x1787473+8 ~x1787472+4 ~x1787471+2 ~x1787470+1 ~x1787469+34816 x7781+32768 ~x2987+16384 ~x2986+8192 ~x2985+4096 ~x2984+2048 ~x2983+1024 ~x2982+512 ~x2981+256 ~x2980+128 ~x2979+64 ~x2978+32 ~x2977+16 ~x2976+8 ~x2975+4 ~x2974+2 ~x2973+1 ~x2972-0=131070
45.14/45.25	c 8192 ~x1792111+4096 ~x1792110+2048 ~x1792109+1024 ~x1792108+512 ~x1792107+256 ~x1792106+128 ~x1792105+64 ~x1792104+32 ~x1792103+16 ~x1792102+8 ~x1792101+4 ~x1792100+2 ~x1792099+1 ~x1792098+9216 x7782+8192 ~x3015+4096 ~x3014+2048 ~x3013+1024 ~x3012+512 ~x3011+256 ~x3010+128 ~x3009+64 ~x3008+32 ~x3007+16 ~x3006+8 ~x3005+4 ~x3004+2 ~x3003+1 ~x3002-0=32766
45.23/45.34	c 4096 ~x1795826+2048 ~x1795825+1024 ~x1795824+512 ~x1795823+256 ~x1795822+128 ~x1795821+64 ~x1795820+32 ~x1795819+16 ~x1795818+8 ~x1795817+4 ~x1795816+2 ~x1795815+1 ~x1795814+4096 x7783+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=16382
45.33/45.41	c 8192 ~x1798527+4096 ~x1798526+2048 ~x1798525+1024 ~x1798524+512 ~x1798523+256 ~x1798522+128 ~x1798521+64 ~x1798520+32 ~x1798519+16 ~x1798518+8 ~x1798517+4 ~x1798516+2 ~x1798515+1 ~x1798514+9216 x7784+8192 ~x3075+4096 ~x3074+2048 ~x3073+1024 ~x3072+512 ~x3071+256 ~x3070+128 ~x3069+64 ~x3068+32 ~x3067+16 ~x3066+8 ~x3065+4 ~x3064+2 ~x3063+1 ~x3062-0=32766
45.44/45.50	c 8192 ~x1802243+4096 ~x1802242+2048 ~x1802241+1024 ~x1802240+512 ~x1802239+256 ~x1802238+128 ~x1802237+64 ~x1802236+32 ~x1802235+16 ~x1802234+8 ~x1802233+4 ~x1802232+2 ~x1802231+1 ~x1802230+13312 x7785+8192 ~x3105+4096 ~x3104+2048 ~x3103+1024 ~x3102+512 ~x3101+256 ~x3100+128 ~x3099+64 ~x3098+32 ~x3097+16 ~x3096+8 ~x3095+4 ~x3094+2 ~x3093+1 ~x3092-0=32766
45.44/45.59	c 2048 ~x1805957+1024 ~x1805956+512 ~x1805955+256 ~x1805954+128 ~x1805953+64 ~x1805952+32 ~x1805951+16 ~x1805950+8 ~x1805949+4 ~x1805948+2 ~x1805947+1 ~x1805946+2048 x7786+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=8190
45.54/45.65	c 8192 ~x1808307+4096 ~x1808306+2048 ~x1808305+1024 ~x1808304+512 ~x1808303+256 ~x1808302+128 ~x1808301+64 ~x1808300+32 ~x1808299+16 ~x1808298+8 ~x1808297+4 ~x1808296+2 ~x1808295+1 ~x1808294+11264 x7787+8192 ~x3165+4096 ~x3164+2048 ~x3163+1024 ~x3162+512 ~x3161+256 ~x3160+128 ~x3159+64 ~x3158+32 ~x3157+16 ~x3156+8 ~x3155+4 ~x3154+2 ~x3153+1 ~x3152-0=32766
45.63/45.75	c 32768 ~x1812025+16384 ~x1812024+8192 ~x1812023+4096 ~x1812022+2048 ~x1812021+1024 ~x1812020+512 ~x1812019+256 ~x1812018+128 ~x1812017+64 ~x1812016+32 ~x1812015+16 ~x1812014+8 ~x1812013+4 ~x1812012+2 ~x1812011+1 ~x1812010+45056 x7788+32768 ~x3197+16384 ~x3196+8192 ~x3195+4096 ~x3194+2048 ~x3193+1024 ~x3192+512 ~x3191+256 ~x3190+128 ~x3189+64 ~x3188+32 ~x3187+16 ~x3186+8 ~x3185+4 ~x3184+2 ~x3183+1 ~x3182-0=131070
45.73/45.86	c 2048 ~x1816650+1024 ~x1816649+512 ~x1816648+256 ~x1816647+128 ~x1816646+64 ~x1816645+32 ~x1816644+16 ~x1816643+8 ~x1816642+4 ~x1816641+2 ~x1816640+1 ~x1816639+3072 x7789+2048 ~x3223+1024 ~x3222+512 ~x3221+256 ~x3220+128 ~x3219+64 ~x3218+32 ~x3217+16 ~x3216+8 ~x3215+4 ~x3214+2 ~x3213+1 ~x3212-0=8190
45.83/45.92	c 16384 ~x1819001+8192 ~x1819000+4096 ~x1818999+2048 ~x1818998+1024 ~x1818997+512 ~x1818996+256 ~x1818995+128 ~x1818994+64 ~x1818993+32 ~x1818992+16 ~x1818991+8 ~x1818990+4 ~x1818989+2 ~x1818988+1 ~x1818987+18432 x7790+16384 ~x3256+8192 ~x3255+4096 ~x3254+2048 ~x3253+1024 ~x3252+512 ~x3251+256 ~x3250+128 ~x3249+64 ~x3248+32 ~x3247+16 ~x3246+8 ~x3245+4 ~x3244+2 ~x3243+1 ~x3242-0=65534
45.93/46.02	c 4096 ~x1823034+2048 ~x1823033+1024 ~x1823032+512 ~x1823031+256 ~x1823030+128 ~x1823029+64 ~x1823028+32 ~x1823027+16 ~x1823026+8 ~x1823025+4 ~x1823024+2 ~x1823023+1 ~x1823022+7168 x7791+4096 ~x3284+2048 ~x3283+1024 ~x3282+512 ~x3281+256 ~x3280+128 ~x3279+64 ~x3278+32 ~x3277+16 ~x3276+8 ~x3275+4 ~x3274+2 ~x3273+1 ~x3272-0=16382
45.93/46.09	c 2048 ~x1825733+1024 ~x1825732+512 ~x1825731+256 ~x1825730+128 ~x1825729+64 ~x1825728+32 ~x1825727+16 ~x1825726+8 ~x1825725+4 ~x1825724+2 ~x1825723+1 ~x1825722+2048 x7792+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.04/46.15	c 16384 ~x1828084+8192 ~x1828083+4096 ~x1828082+2048 ~x1828081+1024 ~x1828080+512 ~x1828079+256 ~x1828078+128 ~x1828077+64 ~x1828076+32 ~x1828075+16 ~x1828074+8 ~x1828073+4 ~x1828072+2 ~x1828071+1 ~x1828070+18432 x7793+16384 ~x3346+8192 ~x3345+4096 ~x3344+2048 ~x3343+1024 ~x3342+512 ~x3341+256 ~x3340+128 ~x3339+64 ~x3338+32 ~x3337+16 ~x3336+8 ~x3335+4 ~x3334+2 ~x3333+1 ~x3332-0=65534
46.14/46.25	c 8192 ~x1832118+4096 ~x1832117+2048 ~x1832116+1024 ~x1832115+512 ~x1832114+256 ~x1832113+128 ~x1832112+64 ~x1832111+32 ~x1832110+16 ~x1832109+8 ~x1832108+4 ~x1832107+2 ~x1832106+1 ~x1832105+15360 x7794+8192 ~x3375+4096 ~x3374+2048 ~x3373+1024 ~x3372+512 ~x3371+256 ~x3370+128 ~x3369+64 ~x3368+32 ~x3367+16 ~x3366+8 ~x3365+4 ~x3364+2 ~x3363+1 ~x3362-0=32766
46.23/46.34	c 2048 ~x1835832+1024 ~x1835831+512 ~x1835830+256 ~x1835829+128 ~x1835828+64 ~x1835827+32 ~x1835826+16 ~x1835825+8 ~x1835824+4 ~x1835823+2 ~x1835822+1 ~x1835821+3072 x7795+2048 ~x3403+1024 ~x3402+512 ~x3401+256 ~x3400+128 ~x3399+64 ~x3398+32 ~x3397+16 ~x3396+8 ~x3395+4 ~x3394+2 ~x3393+1 ~x3392-0=8190
46.33/46.40	c 8192 ~x1838182+4096 ~x1838181+2048 ~x1838180+1024 ~x1838179+512 ~x1838178+256 ~x1838177+128 ~x1838176+64 ~x1838175+32 ~x1838174+16 ~x1838173+8 ~x1838172+4 ~x1838171+2 ~x1838170+1 ~x1838169+14336 x7796+8192 ~x3435+4096 ~x3434+2048 ~x3433+1024 ~x3432+512 ~x3431+256 ~x3430+128 ~x3429+64 ~x3428+32 ~x3427+16 ~x3426+8 ~x3425+4 ~x3424+2 ~x3423+1 ~x3422-0=32766
46.33/46.49	c 8192 ~x1841898+4096 ~x1841897+2048 ~x1841896+1024 ~x1841895+512 ~x1841894+256 ~x1841893+128 ~x1841892+64 ~x1841891+32 ~x1841890+16 ~x1841889+8 ~x1841888+4 ~x1841887+2 ~x1841886+1 ~x1841885+9216 x7797+8192 ~x3465+4096 ~x3464+2048 ~x3463+1024 ~x3462+512 ~x3461+256 ~x3460+128 ~x3459+64 ~x3458+32 ~x3457+16 ~x3456+8 ~x3455+4 ~x3454+2 ~x3453+1 ~x3452-0=32766
46.43/46.58	c 4096 ~x1845613+2048 ~x1845612+1024 ~x1845611+512 ~x1845610+256 ~x1845609+128 ~x1845608+64 ~x1845607+32 ~x1845606+16 ~x1845605+8 ~x1845604+4 ~x1845603+2 ~x1845602+1 ~x1845601+6144 x7798+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.54/46.65	c 32768 ~x1848316+16384 ~x1848315+8192 ~x1848314+4096 ~x1848313+2048 ~x1848312+1024 ~x1848311+512 ~x1848310+256 ~x1848309+128 ~x1848308+64 ~x1848307+32 ~x1848306+16 ~x1848305+8 ~x1848304+4 ~x1848303+2 ~x1848302+1 ~x1848301+44032 x7799+32768 ~x3527+16384 ~x3526+8192 ~x3525+4096 ~x3524+2048 ~x3523+1024 ~x3522+512 ~x3521+256 ~x3520+128 ~x3519+64 ~x3518+32 ~x3517+16 ~x3516+8 ~x3515+4 ~x3514+2 ~x3513+1 ~x3512-0=131070
46.64/46.77	c 16384 ~x1852944+8192 ~x1852943+4096 ~x1852942+2048 ~x1852941+1024 ~x1852940+512 ~x1852939+256 ~x1852938+128 ~x1852937+64 ~x1852936+32 ~x1852935+16 ~x1852934+8 ~x1852933+4 ~x1852932+2 ~x1852931+1 ~x1852930+22528 x7800+16384 ~x3556+8192 ~x3555+4096 ~x3554+2048 ~x3553+1024 ~x3552+512 ~x3551+256 ~x3550+128 ~x3549+64 ~x3548+32 ~x3547+16 ~x3546+8 ~x3545+4 ~x3544+2 ~x3543+1 ~x3542-0=65534
46.74/46.87	c 8192 ~x1857235+4096 ~x1857234+2048 ~x1857233+1024 ~x1857232+512 ~x1857231+256 ~x1857230+128 ~x1857229+64 ~x1857228+32 ~x1857227+16 ~x1857226+8 ~x1857225+4 ~x1857224+2 ~x1857223+1 ~x1857222+9216 x7801+8192 ~x3585+4096 ~x3584+2048 ~x3583+1024 ~x3582+512 ~x3581+256 ~x3580+128 ~x3579+64 ~x3578+32 ~x3577+16 ~x3576+8 ~x3575+4 ~x3574+2 ~x3573+1 ~x3572-0=32766
46.84/46.96	c 8192 ~x1860951+4096 ~x1860950+2048 ~x1860949+1024 ~x1860948+512 ~x1860947+256 ~x1860946+128 ~x1860945+64 ~x1860944+32 ~x1860943+16 ~x1860942+8 ~x1860941+4 ~x1860940+2 ~x1860939+1 ~x1860938+8192 x7802+8192 ~x3615+4096 ~x3614+2048 ~x3613+1024 ~x3612+512 ~x3611+256 ~x3610+128 ~x3609+64 ~x3608+32 ~x3607+16 ~x3606+8 ~x3605+4 ~x3604+2 ~x3603+1 ~x3602-0=32766
46.93/47.06	c 4096 ~x1864666+2048 ~x1864665+1024 ~x1864664+512 ~x1864663+256 ~x1864662+128 ~x1864661+64 ~x1864660+32 ~x1864659+16 ~x1864658+8 ~x1864657+4 ~x1864656+2 ~x1864655+1 ~x1864654+7168 x7803+4096 ~x3644+2048 ~x3643+1024 ~x3642+512 ~x3641+256 ~x3640+128 ~x3639+64 ~x3638+32 ~x3637+16 ~x3636+8 ~x3635+4 ~x3634+2 ~x3633+1 ~x3632-0=16382
47.03/47.12	c 8192 ~x1867367+4096 ~x1867366+2048 ~x1867365+1024 ~x1867364+512 ~x1867363+256 ~x1867362+128 ~x1867361+64 ~x1867360+32 ~x1867359+16 ~x1867358+8 ~x1867357+4 ~x1867356+2 ~x1867355+1 ~x1867354+10240 x7804+8192 ~x3675+4096 ~x3674+2048 ~x3673+1024 ~x3672+512 ~x3671+256 ~x3670+128 ~x3669+64 ~x3668+32 ~x3667+16 ~x3666+8 ~x3665+4 ~x3664+2 ~x3663+1 ~x3662-0=32766
47.14/47.22	c 1024 ~x1871080+512 ~x1871079+256 ~x1871078+128 ~x1871077+64 ~x1871076+32 ~x1871075+16 ~x1871074+8 ~x1871073+4 ~x1871072+2 ~x1871071+1 ~x1871070+1024 x7805+1024 ~x3702+512 ~x3701+256 ~x3700+128 ~x3699+64 ~x3698+32 ~x3697+16 ~x3696+8 ~x3695+4 ~x3694+2 ~x3693+1 ~x3692-0=4094
47.14/47.27	c 4096 ~x1873195+2048 ~x1873194+1024 ~x1873193+512 ~x1873192+256 ~x1873191+128 ~x1873190+64 ~x1873189+32 ~x1873188+16 ~x1873187+8 ~x1873186+4 ~x1873185+2 ~x1873184+1 ~x1873183+5120 x7806+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.25/47.34	c 16384 ~x1875897+8192 ~x1875896+4096 ~x1875895+2048 ~x1875894+1024 ~x1875893+512 ~x1875892+256 ~x1875891+128 ~x1875890+64 ~x1875889+32 ~x1875888+16 ~x1875887+8 ~x1875886+4 ~x1875885+2 ~x1875884+1 ~x1875883+18432 x7807+16384 ~x3766+8192 ~x3765+4096 ~x3764+2048 ~x3763+1024 ~x3762+512 ~x3761+256 ~x3760+128 ~x3759+64 ~x3758+32 ~x3757+16 ~x3756+8 ~x3755+4 ~x3754+2 ~x3753+1 ~x3752-0=65534
47.34/47.44	c 4096 ~x1879930+2048 ~x1879929+1024 ~x1879928+512 ~x1879927+256 ~x1879926+128 ~x1879925+64 ~x1879924+32 ~x1879923+16 ~x1879922+8 ~x1879921+4 ~x1879920+2 ~x1879919+1 ~x1879918+4096 x7808+4096 ~x3794+2048 ~x3793+1024 ~x3792+512 ~x3791+256 ~x3790+128 ~x3789+64 ~x3788+32 ~x3787+16 ~x3786+8 ~x3785+4 ~x3784+2 ~x3783+1 ~x3782-0=16382
47.44/47.51	c 2048 ~x1882629+1024 ~x1882628+512 ~x1882627+256 ~x1882626+128 ~x1882625+64 ~x1882624+32 ~x1882623+16 ~x1882622+8 ~x1882621+4 ~x1882620+2 ~x1882619+1 ~x1882618+3072 x7809+2048 ~x3823+1024 ~x3822+512 ~x3821+256 ~x3820+128 ~x3819+64 ~x3818+32 ~x3817+16 ~x3816+8 ~x3815+4 ~x3814+2 ~x3813+1 ~x3812-0=8190
47.44/47.57	c 4096 ~x1884978+2048 ~x1884977+1024 ~x1884976+512 ~x1884975+256 ~x1884974+128 ~x1884973+64 ~x1884972+32 ~x1884971+16 ~x1884970+8 ~x1884969+4 ~x1884968+2 ~x1884967+1 ~x1884966+5120 x7810+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.54/47.63	c 4096 ~x1887678+2048 ~x1887677+1024 ~x1887676+512 ~x1887675+256 ~x1887674+128 ~x1887673+64 ~x1887672+32 ~x1887671+16 ~x1887670+8 ~x1887669+4 ~x1887668+2 ~x1887667+1 ~x1887666+7168 x7811+4096 ~x3884+2048 ~x3883+1024 ~x3882+512 ~x3881+256 ~x3880+128 ~x3879+64 ~x3878+32 ~x3877+16 ~x3876+8 ~x3875+4 ~x3874+2 ~x3873+1 ~x3872-0=16382
47.63/47.70	c 16384 ~x1890380+8192 ~x1890379+4096 ~x1890378+2048 ~x1890377+1024 ~x1890376+512 ~x1890375+256 ~x1890374+128 ~x1890373+64 ~x1890372+32 ~x1890371+16 ~x1890370+8 ~x1890369+4 ~x1890368+2 ~x1890367+1 ~x1890366+31744 x7812+16384 ~x3916+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=65534
47.73/47.81	c 8192 ~x1894671+4096 ~x1894670+2048 ~x1894669+1024 ~x1894668+512 ~x1894667+256 ~x1894666+128 ~x1894665+64 ~x1894664+32 ~x1894663+16 ~x1894662+8 ~x1894661+4 ~x1894660+2 ~x1894659+1 ~x1894658+9216 x7813+8192 ~x3945+4096 ~x3944+2048 ~x3943+1024 ~x3942+512 ~x3941+256 ~x3940+128 ~x3939+64 ~x3938+32 ~x3937+16 ~x3936+8 ~x3935+4 ~x3934+2 ~x3933+1 ~x3932-0=32766
47.84/47.90	c 2048 ~x1898385+1024 ~x1898384+512 ~x1898383+256 ~x1898382+128 ~x1898381+64 ~x1898380+32 ~x1898379+16 ~x1898378+8 ~x1898377+4 ~x1898376+2 ~x1898375+1 ~x1898374+2048 x7814+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=8190
47.84/47.96	c 4096 ~x1900734+2048 ~x1900733+1024 ~x1900732+512 ~x1900731+256 ~x1900730+128 ~x1900729+64 ~x1900728+32 ~x1900727+16 ~x1900726+8 ~x1900725+4 ~x1900724+2 ~x1900723+1 ~x1900722+6144 x7815+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
47.94/48.03	c 4096 ~x1903434+2048 ~x1903433+1024 ~x1903432+512 ~x1903431+256 ~x1903430+128 ~x1903429+64 ~x1903428+32 ~x1903427+16 ~x1903426+8 ~x1903425+4 ~x1903424+2 ~x1903423+1 ~x1903422+6144 x7816+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=16382
47.94/48.09	c 4096 ~x1906134+2048 ~x1906133+1024 ~x1906132+512 ~x1906131+256 ~x1906130+128 ~x1906129+64 ~x1906128+32 ~x1906127+16 ~x1906126+8 ~x1906125+4 ~x1906124+2 ~x1906123+1 ~x1906122+7168 x7817+4096 ~x4064+2048 ~x4063+1024 ~x4062+512 ~x4061+256 ~x4060+128 ~x4059+64 ~x4058+32 ~x4057+16 ~x4056+8 ~x4055+4 ~x4054+2 ~x4053+1 ~x4052-0=16382
48.03/48.16	c 32768 ~x1908837+16384 ~x1908836+8192 ~x1908835+4096 ~x1908834+2048 ~x1908833+1024 ~x1908832+512 ~x1908831+256 ~x1908830+128 ~x1908829+64 ~x1908828+32 ~x1908827+16 ~x1908826+8 ~x1908825+4 ~x1908824+2 ~x1908823+1 ~x1908822+34816 x7818+32768 ~x4097+16384 ~x4096+8192 ~x4095+4096 ~x4094+2048 ~x4093+1024 ~x4092+512 ~x4091+256 ~x4090+128 ~x4089+64 ~x4088+32 ~x4087+16 ~x4086+8 ~x4085+4 ~x4084+2 ~x4083+1 ~x4082-0=131070
48.13/48.27	c 8192 ~x1913464+4096 ~x1913463+2048 ~x1913462+1024 ~x1913461+512 ~x1913460+256 ~x1913459+128 ~x1913458+64 ~x1913457+32 ~x1913456+16 ~x1913455+8 ~x1913454+4 ~x1913453+2 ~x1913452+1 ~x1913451+9216 x7819+8192 ~x4125+4096 ~x4124+2048 ~x4123+1024 ~x4122+512 ~x4121+256 ~x4120+128 ~x4119+64 ~x4118+32 ~x4117+16 ~x4116+8 ~x4115+4 ~x4114+2 ~x4113+1 ~x4112-0=32766
48.24/48.37	c 8192 ~x1917180+4096 ~x1917179+2048 ~x1917178+1024 ~x1917177+512 ~x1917176+256 ~x1917175+128 ~x1917174+64 ~x1917173+32 ~x1917172+16 ~x1917171+8 ~x1917170+4 ~x1917169+2 ~x1917168+1 ~x1917167+9216 x7820+8192 ~x4155+4096 ~x4154+2048 ~x4153+1024 ~x4152+512 ~x4151+256 ~x4150+128 ~x4149+64 ~x4148+32 ~x4147+16 ~x4146+8 ~x4145+4 ~x4144+2 ~x4143+1 ~x4142-0=32766
48.34/48.46	c 8192 ~x1920896+4096 ~x1920895+2048 ~x1920894+1024 ~x1920893+512 ~x1920892+256 ~x1920891+128 ~x1920890+64 ~x1920889+32 ~x1920888+16 ~x1920887+8 ~x1920886+4 ~x1920885+2 ~x1920884+1 ~x1920883+13312 x7821+8192 ~x4185+4096 ~x4184+2048 ~x4183+1024 ~x4182+512 ~x4181+256 ~x4180+128 ~x4179+64 ~x4178+32 ~x4177+16 ~x4176+8 ~x4175+4 ~x4174+2 ~x4173+1 ~x4172-0=32766
48.43/48.55	c 2048 ~x1924610+1024 ~x1924609+512 ~x1924608+256 ~x1924607+128 ~x1924606+64 ~x1924605+32 ~x1924604+16 ~x1924603+8 ~x1924602+4 ~x1924601+2 ~x1924600+1 ~x1924599+2048 x7822+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=8190
48.53/48.61	c 8192 ~x1926960+4096 ~x1926959+2048 ~x1926958+1024 ~x1926957+512 ~x1926956+256 ~x1926955+128 ~x1926954+64 ~x1926953+32 ~x1926952+16 ~x1926951+8 ~x1926950+4 ~x1926949+2 ~x1926948+1 ~x1926947+11264 x7823+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.63/48.71	c 32768 ~x1930678+16384 ~x1930677+8192 ~x1930676+4096 ~x1930675+2048 ~x1930674+1024 ~x1930673+512 ~x1930672+256 ~x1930671+128 ~x1930670+64 ~x1930669+32 ~x1930668+16 ~x1930667+8 ~x1930666+4 ~x1930665+2 ~x1930664+1 ~x1930663+45056 x7824+32768 ~x4277+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=131070
48.73/48.82	c 2048 ~x1935303+1024 ~x1935302+512 ~x1935301+256 ~x1935300+128 ~x1935299+64 ~x1935298+32 ~x1935297+16 ~x1935296+8 ~x1935295+4 ~x1935294+2 ~x1935293+1 ~x1935292+3072 x7825+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=8190
48.73/48.88	c 16384 ~x1937654+8192 ~x1937653+4096 ~x1937652+2048 ~x1937651+1024 ~x1937650+512 ~x1937649+256 ~x1937648+128 ~x1937647+64 ~x1937646+32 ~x1937645+16 ~x1937644+8 ~x1937643+4 ~x1937642+2 ~x1937641+1 ~x1937640+18432 x7826+16384 ~x4336+8192 ~x4335+4096 ~x4334+2048 ~x4333+1024 ~x4332+512 ~x4331+256 ~x4330+128 ~x4329+64 ~x4328+32 ~x4327+16 ~x4326+8 ~x4325+4 ~x4324+2 ~x4323+1 ~x4322-0=65534
48.83/48.98	c 4096 ~x1941687+2048 ~x1941686+1024 ~x1941685+512 ~x1941684+256 ~x1941683+128 ~x1941682+64 ~x1941681+32 ~x1941680+16 ~x1941679+8 ~x1941678+4 ~x1941677+2 ~x1941676+1 ~x1941675+7168 x7827+4096 ~x4364+2048 ~x4363+1024 ~x4362+512 ~x4361+256 ~x4360+128 ~x4359+64 ~x4358+32 ~x4357+16 ~x4356+8 ~x4355+4 ~x4354+2 ~x4353+1 ~x4352-0=16382
48.93/49.05	c 8192 ~x1944388+4096 ~x1944387+2048 ~x1944386+1024 ~x1944385+512 ~x1944384+256 ~x1944383+128 ~x1944382+64 ~x1944381+32 ~x1944380+16 ~x1944379+8 ~x1944378+4 ~x1944377+2 ~x1944376+1 ~x1944375+15360 x7828+8192 ~x4395+4096 ~x4394+2048 ~x4393+1024 ~x4392+512 ~x4391+256 ~x4390+128 ~x4389+64 ~x4388+32 ~x4387+16 ~x4386+8 ~x4385+4 ~x4384+2 ~x4383+1 ~x4382-0=32766
49.03/49.17	c 2048 ~x1948102+1024 ~x1948101+512 ~x1948100+256 ~x1948099+128 ~x1948098+64 ~x1948097+32 ~x1948096+16 ~x1948095+8 ~x1948094+4 ~x1948093+2 ~x1948092+1 ~x1948091+2048 x7829+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=8190
49.13/49.23	c 16384 ~x1950453+8192 ~x1950452+4096 ~x1950451+2048 ~x1950450+1024 ~x1950449+512 ~x1950448+256 ~x1950447+128 ~x1950446+64 ~x1950445+32 ~x1950444+16 ~x1950443+8 ~x1950442+4 ~x1950441+2 ~x1950440+1 ~x1950439+18432 x7830+16384 ~x4456+8192 ~x4455+4096 ~x4454+2048 ~x4453+1024 ~x4452+512 ~x4451+256 ~x4450+128 ~x4449+64 ~x4448+32 ~x4447+16 ~x4446+8 ~x4445+4 ~x4444+2 ~x4443+1 ~x4442-0=65534
49.23/49.33	c 8192 ~x1954487+4096 ~x1954486+2048 ~x1954485+1024 ~x1954484+512 ~x1954483+256 ~x1954482+128 ~x1954481+64 ~x1954480+32 ~x1954479+16 ~x1954478+8 ~x1954477+4 ~x1954476+2 ~x1954475+1 ~x1954474+14336 x7831+8192 ~x4485+4096 ~x4484+2048 ~x4483+1024 ~x4482+512 ~x4481+256 ~x4480+128 ~x4479+64 ~x4478+32 ~x4477+16 ~x4476+8 ~x4475+4 ~x4474+2 ~x4473+1 ~x4472-0=32766
49.34/49.43	c 8192 ~x1958203+4096 ~x1958202+2048 ~x1958201+1024 ~x1958200+512 ~x1958199+256 ~x1958198+128 ~x1958197+64 ~x1958196+32 ~x1958195+16 ~x1958194+8 ~x1958193+4 ~x1958192+2 ~x1958191+1 ~x1958190+9216 x7832+8192 ~x4515+4096 ~x4514+2048 ~x4513+1024 ~x4512+512 ~x4511+256 ~x4510+128 ~x4509+64 ~x4508+32 ~x4507+16 ~x4506+8 ~x4505+4 ~x4504+2 ~x4503+1 ~x4502-0=32766
49.44/49.52	c 4096 ~x1961918+2048 ~x1961917+1024 ~x1961916+512 ~x1961915+256 ~x1961914+128 ~x1961913+64 ~x1961912+32 ~x1961911+16 ~x1961910+8 ~x1961909+4 ~x1961908+2 ~x1961907+1 ~x1961906+6144 x7833+4096 ~x4544+2048 ~x4543+1024 ~x4542+512 ~x4541+256 ~x4540+128 ~x4539+64 ~x4538+32 ~x4537+16 ~x4536+8 ~x4535+4 ~x4534+2 ~x4533+1 ~x4532-0=16382
49.44/49.59	c 32768 ~x1964621+16384 ~x1964620+8192 ~x1964619+4096 ~x1964618+2048 ~x1964617+1024 ~x1964616+512 ~x1964615+256 ~x1964614+128 ~x1964613+64 ~x1964612+32 ~x1964611+16 ~x1964610+8 ~x1964609+4 ~x1964608+2 ~x1964607+1 ~x1964606+44032 x7834+32768 ~x4577+16384 ~x4576+8192 ~x4575+4096 ~x4574+2048 ~x4573+1024 ~x4572+512 ~x4571+256 ~x4570+128 ~x4569+64 ~x4568+32 ~x4567+16 ~x4566+8 ~x4565+4 ~x4564+2 ~x4563+1 ~x4562-0=131070
49.63/49.70	c 16384 ~x1969249+8192 ~x1969248+4096 ~x1969247+2048 ~x1969246+1024 ~x1969245+512 ~x1969244+256 ~x1969243+128 ~x1969242+64 ~x1969241+32 ~x1969240+16 ~x1969239+8 ~x1969238+4 ~x1969237+2 ~x1969236+1 ~x1969235+22528 x7835+16384 ~x4606+8192 ~x4605+4096 ~x4604+2048 ~x4603+1024 ~x4602+512 ~x4601+256 ~x4600+128 ~x4599+64 ~x4598+32 ~x4597+16 ~x4596+8 ~x4595+4 ~x4594+2 ~x4593+1 ~x4592-0=65534
49.73/49.80	c 8192 ~x1973540+4096 ~x1973539+2048 ~x1973538+1024 ~x1973537+512 ~x1973536+256 ~x1973535+128 ~x1973534+64 ~x1973533+32 ~x1973532+16 ~x1973531+8 ~x1973530+4 ~x1973529+2 ~x1973528+1 ~x1973527+9216 x7836+8192 ~x4635+4096 ~x4634+2048 ~x4633+1024 ~x4632+512 ~x4631+256 ~x4630+128 ~x4629+64 ~x4628+32 ~x4627+16 ~x4626+8 ~x4625+4 ~x4624+2 ~x4623+1 ~x4622-0=32766
49.83/49.90	c 8192 ~x1977256+4096 ~x1977255+2048 ~x1977254+1024 ~x1977253+512 ~x1977252+256 ~x1977251+128 ~x1977250+64 ~x1977249+32 ~x1977248+16 ~x1977247+8 ~x1977246+4 ~x1977245+2 ~x1977244+1 ~x1977243+8192 x7837+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
49.83/49.99	c 4096 ~x1980971+2048 ~x1980970+1024 ~x1980969+512 ~x1980968+256 ~x1980967+128 ~x1980966+64 ~x1980965+32 ~x1980964+16 ~x1980963+8 ~x1980962+4 ~x1980961+2 ~x1980960+1 ~x1980959+7168 x7838+4096 ~x4694+2048 ~x4693+1024 ~x4692+512 ~x4691+256 ~x4690+128 ~x4689+64 ~x4688+32 ~x4687+16 ~x4686+8 ~x4685+4 ~x4684+2 ~x4683+1 ~x4682-0=16382
49.93/50.06	c 8192 ~x1983672+4096 ~x1983671+2048 ~x1983670+1024 ~x1983669+512 ~x1983668+256 ~x1983667+128 ~x1983666+64 ~x1983665+32 ~x1983664+16 ~x1983663+8 ~x1983662+4 ~x1983661+2 ~x1983660+1 ~x1983659+9216 x7839+8192 ~x4725+4096 ~x4724+2048 ~x4723+1024 ~x4722+512 ~x4721+256 ~x4720+128 ~x4719+64 ~x4718+32 ~x4717+16 ~x4716+8 ~x4715+4 ~x4714+2 ~x4713+1 ~x4712-0=32766
50.03/50.15	c 8192 ~x1987388+4096 ~x1987387+2048 ~x1987386+1024 ~x1987385+512 ~x1987384+256 ~x1987383+128 ~x1987382+64 ~x1987381+32 ~x1987380+16 ~x1987379+8 ~x1987378+4 ~x1987377+2 ~x1987376+1 ~x1987375+10240 x7840+8192 ~x4755+4096 ~x4754+2048 ~x4753+1024 ~x4752+512 ~x4751+256 ~x4750+128 ~x4749+64 ~x4748+32 ~x4747+16 ~x4746+8 ~x4745+4 ~x4744+2 ~x4743+1 ~x4742-0=32766
50.13/50.24	c 1024 ~x1991101+512 ~x1991100+256 ~x1991099+128 ~x1991098+64 ~x1991097+32 ~x1991096+16 ~x1991095+8 ~x1991094+4 ~x1991093+2 ~x1991092+1 ~x1991091+1024 x7841+1024 ~x4782+512 ~x4781+256 ~x4780+128 ~x4779+64 ~x4778+32 ~x4777+16 ~x4776+8 ~x4775+4 ~x4774+2 ~x4773+1 ~x4772-0=4094
50.23/50.30	c 16384 ~x1993218+8192 ~x1993217+4096 ~x1993216+2048 ~x1993215+1024 ~x1993214+512 ~x1993213+256 ~x1993212+128 ~x1993211+64 ~x1993210+32 ~x1993209+16 ~x1993208+8 ~x1993207+4 ~x1993206+2 ~x1993205+1 ~x1993204+18432 x7842+16384 ~x4816+8192 ~x4815+4096 ~x4814+2048 ~x4813+1024 ~x4812+512 ~x4811+256 ~x4810+128 ~x4809+64 ~x4808+32 ~x4807+16 ~x4806+8 ~x4805+4 ~x4804+2 ~x4803+1 ~x4802-0=65534
50.33/50.40	c 4096 ~x1997251+2048 ~x1997250+1024 ~x1997249+512 ~x1997248+256 ~x1997247+128 ~x1997246+64 ~x1997245+32 ~x1997244+16 ~x1997243+8 ~x1997242+4 ~x1997241+2 ~x1997240+1 ~x1997239+4096 x7843+4096 ~x4844+2048 ~x4843+1024 ~x4842+512 ~x4841+256 ~x4840+128 ~x4839+64 ~x4838+32 ~x4837+16 ~x4836+8 ~x4835+4 ~x4834+2 ~x4833+1 ~x4832-0=16382
50.33/50.46	c 2048 ~x1999950+1024 ~x1999949+512 ~x1999948+256 ~x1999947+128 ~x1999946+64 ~x1999945+32 ~x1999944+16 ~x1999943+8 ~x1999942+4 ~x1999941+2 ~x1999940+1 ~x1999939+3072 x7844+2048 ~x4873+1024 ~x4872+512 ~x4871+256 ~x4870+128 ~x4869+64 ~x4868+32 ~x4867+16 ~x4866+8 ~x4865+4 ~x4864+2 ~x4863+1 ~x4862-0=8190
50.44/50.52	c 4096 ~x2002299+2048 ~x2002298+1024 ~x2002297+512 ~x2002296+256 ~x2002295+128 ~x2002294+64 ~x2002293+32 ~x2002292+16 ~x2002291+8 ~x2002290+4 ~x2002289+2 ~x2002288+1 ~x2002287+5120 x7845+4096 ~x4904+2048 ~x4903+1024 ~x4902+512 ~x4901+256 ~x4900+128 ~x4899+64 ~x4898+32 ~x4897+16 ~x4896+8 ~x4895+4 ~x4894+2 ~x4893+1 ~x4892-0=16382
50.44/50.59	c 4096 ~x2004999+2048 ~x2004998+1024 ~x2004997+512 ~x2004996+256 ~x2004995+128 ~x2004994+64 ~x2004993+32 ~x2004992+16 ~x2004991+8 ~x2004990+4 ~x2004989+2 ~x2004988+1 ~x2004987+7168 x7846+4096 ~x4934+2048 ~x4933+1024 ~x4932+512 ~x4931+256 ~x4930+128 ~x4929+64 ~x4928+32 ~x4927+16 ~x4926+8 ~x4925+4 ~x4924+2 ~x4923+1 ~x4922-0=16382
50.54/50.66	c 16384 ~x2007701+8192 ~x2007700+4096 ~x2007699+2048 ~x2007698+1024 ~x2007697+512 ~x2007696+256 ~x2007695+128 ~x2007694+64 ~x2007693+32 ~x2007692+16 ~x2007691+8 ~x2007690+4 ~x2007689+2 ~x2007688+1 ~x2007687+31744 x7847+16384 ~x4966+8192 ~x4965+4096 ~x4964+2048 ~x4963+1024 ~x4962+512 ~x4961+256 ~x4960+128 ~x4959+64 ~x4958+32 ~x4957+16 ~x4956+8 ~x4955+4 ~x4954+2 ~x4953+1 ~x4952-0=65534
50.63/50.76	c 8192 ~x2011992+4096 ~x2011991+2048 ~x2011990+1024 ~x2011989+512 ~x2011988+256 ~x2011987+128 ~x2011986+64 ~x2011985+32 ~x2011984+16 ~x2011983+8 ~x2011982+4 ~x2011981+2 ~x2011980+1 ~x2011979+9216 x7848+8192 ~x4995+4096 ~x4994+2048 ~x4993+1024 ~x4992+512 ~x4991+256 ~x4990+128 ~x4989+64 ~x4988+32 ~x4987+16 ~x4986+8 ~x4985+4 ~x4984+2 ~x4983+1 ~x4982-0=32766
50.72/50.86	c 2048 ~x2015706+1024 ~x2015705+512 ~x2015704+256 ~x2015703+128 ~x2015702+64 ~x2015701+32 ~x2015700+16 ~x2015699+8 ~x2015698+4 ~x2015697+2 ~x2015696+1 ~x2015695+2048 x7849+2048 ~x5023+1024 ~x5022+512 ~x5021+256 ~x5020+128 ~x5019+64 ~x5018+32 ~x5017+16 ~x5016+8 ~x5015+4 ~x5014+2 ~x5013+1 ~x5012-0=8190
50.83/50.92	c 2048 ~x2018054+1024 ~x2018053+512 ~x2018052+256 ~x2018051+128 ~x2018050+64 ~x2018049+32 ~x2018048+16 ~x2018047+8 ~x2018046+4 ~x2018045+2 ~x2018044+1 ~x2018043+2048 x7850+2048 ~x5053+1024 ~x5052+512 ~x5051+256 ~x5050+128 ~x5049+64 ~x5048+32 ~x5047+16 ~x5046+8 ~x5045+4 ~x5044+2 ~x5043+1 ~x5042-0=8190
50.83/50.98	c 4096 ~x2020403+2048 ~x2020402+1024 ~x2020401+512 ~x2020400+256 ~x2020399+128 ~x2020398+64 ~x2020397+32 ~x2020396+16 ~x2020395+8 ~x2020394+4 ~x2020393+2 ~x2020392+1 ~x2020391+6144 x7851+4096 ~x5084+2048 ~x5083+1024 ~x5082+512 ~x5081+256 ~x5080+128 ~x5079+64 ~x5078+32 ~x5077+16 ~x5076+8 ~x5075+4 ~x5074+2 ~x5073+1 ~x5072-0=16382
50.93/51.04	c 4096 ~x2023103+2048 ~x2023102+1024 ~x2023101+512 ~x2023100+256 ~x2023099+128 ~x2023098+64 ~x2023097+32 ~x2023096+16 ~x2023095+8 ~x2023094+4 ~x2023093+2 ~x2023092+1 ~x2023091+6144 x7852+4096 ~x5114+2048 ~x5113+1024 ~x5112+512 ~x5111+256 ~x5110+128 ~x5109+64 ~x5108+32 ~x5107+16 ~x5106+8 ~x5105+4 ~x5104+2 ~x5103+1 ~x5102-0=16382
51.03/51.11	c 32768 ~x2025806+16384 ~x2025805+8192 ~x2025804+4096 ~x2025803+2048 ~x2025802+1024 ~x2025801+512 ~x2025800+256 ~x2025799+128 ~x2025798+64 ~x2025797+32 ~x2025796+16 ~x2025795+8 ~x2025794+4 ~x2025793+2 ~x2025792+1 ~x2025791+34816 x7853+32768 ~x5147+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=131070
51.12/51.22	c 8192 ~x2030433+4096 ~x2030432+2048 ~x2030431+1024 ~x2030430+512 ~x2030429+256 ~x2030428+128 ~x2030427+64 ~x2030426+32 ~x2030425+16 ~x2030424+8 ~x2030423+4 ~x2030422+2 ~x2030421+1 ~x2030420+9216 x7854+8192 ~x5175+4096 ~x5174+2048 ~x5173+1024 ~x5172+512 ~x5171+256 ~x5170+128 ~x5169+64 ~x5168+32 ~x5167+16 ~x5166+8 ~x5165+4 ~x5164+2 ~x5163+1 ~x5162-0=32766
51.22/51.32	c 8192 ~x2034149+4096 ~x2034148+2048 ~x2034147+1024 ~x2034146+512 ~x2034145+256 ~x2034144+128 ~x2034143+64 ~x2034142+32 ~x2034141+16 ~x2034140+8 ~x2034139+4 ~x2034138+2 ~x2034137+1 ~x2034136+9216 x7855+8192 ~x5205+4096 ~x5204+2048 ~x5203+1024 ~x5202+512 ~x5201+256 ~x5200+128 ~x5199+64 ~x5198+32 ~x5197+16 ~x5196+8 ~x5195+4 ~x5194+2 ~x5193+1 ~x5192-0=32766
51.33/51.41	c 8192 ~x2037865+4096 ~x2037864+2048 ~x2037863+1024 ~x2037862+512 ~x2037861+256 ~x2037860+128 ~x2037859+64 ~x2037858+32 ~x2037857+16 ~x2037856+8 ~x2037855+4 ~x2037854+2 ~x2037853+1 ~x2037852+13312 x7856+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.43/51.50	c 4096 ~x2041580+2048 ~x2041579+1024 ~x2041578+512 ~x2041577+256 ~x2041576+128 ~x2041575+64 ~x2041574+32 ~x2041573+16 ~x2041572+8 ~x2041571+4 ~x2041570+2 ~x2041569+1 ~x2041568+6144 x7857+4096 ~x5264+2048 ~x5263+1024 ~x5262+512 ~x5261+256 ~x5260+128 ~x5259+64 ~x5258+32 ~x5257+16 ~x5256+8 ~x5255+4 ~x5254+2 ~x5253+1 ~x5252-0=16382
51.43/51.57	c 4096 ~x2044280+2048 ~x2044279+1024 ~x2044278+512 ~x2044277+256 ~x2044276+128 ~x2044275+64 ~x2044274+32 ~x2044273+16 ~x2044272+8 ~x2044271+4 ~x2044270+2 ~x2044269+1 ~x2044268+6144 x7858+4096 ~x5294+2048 ~x5293+1024 ~x5292+512 ~x5291+256 ~x5290+128 ~x5289+64 ~x5288+32 ~x5287+16 ~x5286+8 ~x5285+4 ~x5284+2 ~x5283+1 ~x5282-0=16382
51.53/51.63	c 8192 ~x2046981+4096 ~x2046980+2048 ~x2046979+1024 ~x2046978+512 ~x2046977+256 ~x2046976+128 ~x2046975+64 ~x2046974+32 ~x2046973+16 ~x2046972+8 ~x2046971+4 ~x2046970+2 ~x2046969+1 ~x2046968+15360 x7859+8192 ~x5325+4096 ~x5324+2048 ~x5323+1024 ~x5322+512 ~x5321+256 ~x5320+128 ~x5319+64 ~x5318+32 ~x5317+16 ~x5316+8 ~x5315+4 ~x5314+2 ~x5313+1 ~x5312-0=32766
51.63/51.73	c 8192 ~x2050697+4096 ~x2050696+2048 ~x2050695+1024 ~x2050694+512 ~x2050693+256 ~x2050692+128 ~x2050691+64 ~x2050690+32 ~x2050689+16 ~x2050688+8 ~x2050687+4 ~x2050686+2 ~x2050685+1 ~x2050684+9216 x7860+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.73/51.82	c 2048 ~x2054411+1024 ~x2054410+512 ~x2054409+256 ~x2054408+128 ~x2054407+64 ~x2054406+32 ~x2054405+16 ~x2054404+8 ~x2054403+4 ~x2054402+2 ~x2054401+1 ~x2054400+3072 x7861+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=8190
51.73/51.88	c 8192 ~x2056761+4096 ~x2056760+2048 ~x2056759+1024 ~x2056758+512 ~x2056757+256 ~x2056756+128 ~x2056755+64 ~x2056754+32 ~x2056753+16 ~x2056752+8 ~x2056751+4 ~x2056750+2 ~x2056749+1 ~x2056748+9216 x7862+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
51.83/51.97	c 8192 ~x2060477+4096 ~x2060476+2048 ~x2060475+1024 ~x2060474+512 ~x2060473+256 ~x2060472+128 ~x2060471+64 ~x2060470+32 ~x2060469+16 ~x2060468+8 ~x2060467+4 ~x2060466+2 ~x2060465+1 ~x2060464+13312 x7863+8192 ~x5445+4096 ~x5444+2048 ~x5443+1024 ~x5442+512 ~x5441+256 ~x5440+128 ~x5439+64 ~x5438+32 ~x5437+16 ~x5436+8 ~x5435+4 ~x5434+2 ~x5433+1 ~x5432-0=32766
51.93/52.06	c 2048 ~x2064191+1024 ~x2064190+512 ~x2064189+256 ~x2064188+128 ~x2064187+64 ~x2064186+32 ~x2064185+16 ~x2064184+8 ~x2064183+4 ~x2064182+2 ~x2064181+1 ~x2064180+2048 x7864+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=8190
52.02/52.13	c 8192 ~x2066541+4096 ~x2066540+2048 ~x2066539+1024 ~x2066538+512 ~x2066537+256 ~x2066536+128 ~x2066535+64 ~x2066534+32 ~x2066533+16 ~x2066532+8 ~x2066531+4 ~x2066530+2 ~x2066529+1 ~x2066528+11264 x7865+8192 ~x5505+4096 ~x5504+2048 ~x5503+1024 ~x5502+512 ~x5501+256 ~x5500+128 ~x5499+64 ~x5498+32 ~x5497+16 ~x5496+8 ~x5495+4 ~x5494+2 ~x5493+1 ~x5492-0=32766
52.12/52.22	c 32768 ~x2070259+16384 ~x2070258+8192 ~x2070257+4096 ~x2070256+2048 ~x2070255+1024 ~x2070254+512 ~x2070253+256 ~x2070252+128 ~x2070251+64 ~x2070250+32 ~x2070249+16 ~x2070248+8 ~x2070247+4 ~x2070246+2 ~x2070245+1 ~x2070244+45056 x7866+32768 ~x5537+16384 ~x5536+8192 ~x5535+4096 ~x5534+2048 ~x5533+1024 ~x5532+512 ~x5531+256 ~x5530+128 ~x5529+64 ~x5528+32 ~x5527+16 ~x5526+8 ~x5525+4 ~x5524+2 ~x5523+1 ~x5522-0=131070
52.22/52.33	c 2048 ~x2074884+1024 ~x2074883+512 ~x2074882+256 ~x2074881+128 ~x2074880+64 ~x2074879+32 ~x2074878+16 ~x2074877+8 ~x2074876+4 ~x2074875+2 ~x2074874+1 ~x2074873+3072 x7867+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.22/52.39	c 16384 ~x2077235+8192 ~x2077234+4096 ~x2077233+2048 ~x2077232+1024 ~x2077231+512 ~x2077230+256 ~x2077229+128 ~x2077228+64 ~x2077227+32 ~x2077226+16 ~x2077225+8 ~x2077224+4 ~x2077223+2 ~x2077222+1 ~x2077221+18432 x7868+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.32/52.49	c 4096 ~x2081268+2048 ~x2081267+1024 ~x2081266+512 ~x2081265+256 ~x2081264+128 ~x2081263+64 ~x2081262+32 ~x2081261+16 ~x2081260+8 ~x2081259+4 ~x2081258+2 ~x2081257+1 ~x2081256+7168 x7869+4096 ~x5624+2048 ~x5623+1024 ~x5622+512 ~x5621+256 ~x5620+128 ~x5619+64 ~x5618+32 ~x5617+16 ~x5616+8 ~x5615+4 ~x5614+2 ~x5613+1 ~x5612-0=16382
52.42/52.56	c 2048 ~x2083967+1024 ~x2083966+512 ~x2083965+256 ~x2083964+128 ~x2083963+64 ~x2083962+32 ~x2083961+16 ~x2083960+8 ~x2083959+4 ~x2083958+2 ~x2083957+1 ~x2083956+2048 x7870+2048 ~x5653+1024 ~x5652+512 ~x5651+256 ~x5650+128 ~x5649+64 ~x5648+32 ~x5647+16 ~x5646+8 ~x5645+4 ~x5644+2 ~x5643+1 ~x5642-0=8190
52.52/52.62	c 16384 ~x2086318+8192 ~x2086317+4096 ~x2086316+2048 ~x2086315+1024 ~x2086314+512 ~x2086313+256 ~x2086312+128 ~x2086311+64 ~x2086310+32 ~x2086309+16 ~x2086308+8 ~x2086307+4 ~x2086306+2 ~x2086305+1 ~x2086304+18432 x7871+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.63/52.72	c 8192 ~x2090352+4096 ~x2090351+2048 ~x2090350+1024 ~x2090349+512 ~x2090348+256 ~x2090347+128 ~x2090346+64 ~x2090345+32 ~x2090344+16 ~x2090343+8 ~x2090342+4 ~x2090341+2 ~x2090340+1 ~x2090339+15360 x7872+8192 ~x5715+4096 ~x5714+2048 ~x5713+1024 ~x5712+512 ~x5711+256 ~x5710+128 ~x5709+64 ~x5708+32 ~x5707+16 ~x5706+8 ~x5705+4 ~x5704+2 ~x5703+1 ~x5702-0=32766
52.73/52.81	c 8192 ~x2094068+4096 ~x2094067+2048 ~x2094066+1024 ~x2094065+512 ~x2094064+256 ~x2094063+128 ~x2094062+64 ~x2094061+32 ~x2094060+16 ~x2094059+8 ~x2094058+4 ~x2094057+2 ~x2094056+1 ~x2094055+14336 x7873+8192 ~x5745+4096 ~x5744+2048 ~x5743+1024 ~x5742+512 ~x5741+256 ~x5740+128 ~x5739+64 ~x5738+32 ~x5737+16 ~x5736+8 ~x5735+4 ~x5734+2 ~x5733+1 ~x5732-0=32766
52.83/52.90	c 8192 ~x2097784+4096 ~x2097783+2048 ~x2097782+1024 ~x2097781+512 ~x2097780+256 ~x2097779+128 ~x2097778+64 ~x2097777+32 ~x2097776+16 ~x2097775+8 ~x2097774+4 ~x2097773+2 ~x2097772+1 ~x2097771+9216 x7874+8192 ~x5775+4096 ~x5774+2048 ~x5773+1024 ~x5772+512 ~x5771+256 ~x5770+128 ~x5769+64 ~x5768+32 ~x5767+16 ~x5766+8 ~x5765+4 ~x5764+2 ~x5763+1 ~x5762-0=32766
52.93/53.00	c 4096 ~x2101499+2048 ~x2101498+1024 ~x2101497+512 ~x2101496+256 ~x2101495+128 ~x2101494+64 ~x2101493+32 ~x2101492+16 ~x2101491+8 ~x2101490+4 ~x2101489+2 ~x2101488+1 ~x2101487+6144 x7875+4096 ~x5804+2048 ~x5803+1024 ~x5802+512 ~x5801+256 ~x5800+128 ~x5799+64 ~x5798+32 ~x5797+16 ~x5796+8 ~x5795+4 ~x5794+2 ~x5793+1 ~x5792-0=16382
52.93/53.07	c 32768 ~x2104202+16384 ~x2104201+8192 ~x2104200+4096 ~x2104199+2048 ~x2104198+1024 ~x2104197+512 ~x2104196+256 ~x2104195+128 ~x2104194+64 ~x2104193+32 ~x2104192+16 ~x2104191+8 ~x2104190+4 ~x2104189+2 ~x2104188+1 ~x2104187+44032 x7876+32768 ~x5837+16384 ~x5836+8192 ~x5835+4096 ~x5834+2048 ~x5833+1024 ~x5832+512 ~x5831+256 ~x5830+128 ~x5829+64 ~x5828+32 ~x5827+16 ~x5826+8 ~x5825+4 ~x5824+2 ~x5823+1 ~x5822-0=131070
53.03/53.18	c 16384 ~x2108830+8192 ~x2108829+4096 ~x2108828+2048 ~x2108827+1024 ~x2108826+512 ~x2108825+256 ~x2108824+128 ~x2108823+64 ~x2108822+32 ~x2108821+16 ~x2108820+8 ~x2108819+4 ~x2108818+2 ~x2108817+1 ~x2108816+22528 x7877+16384 ~x5866+8192 ~x5865+4096 ~x5864+2048 ~x5863+1024 ~x5862+512 ~x5861+256 ~x5860+128 ~x5859+64 ~x5858+32 ~x5857+16 ~x5856+8 ~x5855+4 ~x5854+2 ~x5853+1 ~x5852-0=65534
53.12/53.28	c 8192 ~x2113121+4096 ~x2113120+2048 ~x2113119+1024 ~x2113118+512 ~x2113117+256 ~x2113116+128 ~x2113115+64 ~x2113114+32 ~x2113113+16 ~x2113112+8 ~x2113111+4 ~x2113110+2 ~x2113109+1 ~x2113108+9216 x7878+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.22/53.38	c 8192 ~x2116837+4096 ~x2116836+2048 ~x2116835+1024 ~x2116834+512 ~x2116833+256 ~x2116832+128 ~x2116831+64 ~x2116830+32 ~x2116829+16 ~x2116828+8 ~x2116827+4 ~x2116826+2 ~x2116825+1 ~x2116824+8192 x7879+8192 ~x5925+4096 ~x5924+2048 ~x5923+1024 ~x5922+512 ~x5921+256 ~x5920+128 ~x5919+64 ~x5918+32 ~x5917+16 ~x5916+8 ~x5915+4 ~x5914+2 ~x5913+1 ~x5912-0=32766
53.32/53.47	c 4096 ~x2120552+2048 ~x2120551+1024 ~x2120550+512 ~x2120549+256 ~x2120548+128 ~x2120547+64 ~x2120546+32 ~x2120545+16 ~x2120544+8 ~x2120543+4 ~x2120542+2 ~x2120541+1 ~x2120540+7168 x7880+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.43/53.54	c 8192 ~x2123253+4096 ~x2123252+2048 ~x2123251+1024 ~x2123250+512 ~x2123249+256 ~x2123248+128 ~x2123247+64 ~x2123246+32 ~x2123245+16 ~x2123244+8 ~x2123243+4 ~x2123242+2 ~x2123241+1 ~x2123240+10240 x7881+8192 ~x5985+4096 ~x5984+2048 ~x5983+1024 ~x5982+512 ~x5981+256 ~x5980+128 ~x5979+64 ~x5978+32 ~x5977+16 ~x5976+8 ~x5975+4 ~x5974+2 ~x5973+1 ~x5972-0=32766
53.52/53.63	c 1024 ~x2126966+512 ~x2126965+256 ~x2126964+128 ~x2126963+64 ~x2126962+32 ~x2126961+16 ~x2126960+8 ~x2126959+4 ~x2126958+2 ~x2126957+1 ~x2126956+1024 x7882+1024 ~x6012+512 ~x6011+256 ~x6010+128 ~x6009+64 ~x6008+32 ~x6007+16 ~x6006+8 ~x6005+4 ~x6004+2 ~x6003+1 ~x6002-0=4094
53.52/53.68	c 4096 ~x2129081+2048 ~x2129080+1024 ~x2129079+512 ~x2129078+256 ~x2129077+128 ~x2129076+64 ~x2129075+32 ~x2129074+16 ~x2129073+8 ~x2129072+4 ~x2129071+2 ~x2129070+1 ~x2129069+7168 x7883+4096 ~x6044+2048 ~x6043+1024 ~x6042+512 ~x6041+256 ~x6040+128 ~x6039+64 ~x6038+32 ~x6037+16 ~x6036+8 ~x6035+4 ~x6034+2 ~x6033+1 ~x6032-0=16382
53.62/53.75	c 16384 ~x2131783+8192 ~x2131782+4096 ~x2131781+2048 ~x2131780+1024 ~x2131779+512 ~x2131778+256 ~x2131777+128 ~x2131776+64 ~x2131775+32 ~x2131774+16 ~x2131773+8 ~x2131772+4 ~x2131771+2 ~x2131770+1 ~x2131769+18432 x7884+16384 ~x6076+8192 ~x6075+4096 ~x6074+2048 ~x6073+1024 ~x6072+512 ~x6071+256 ~x6070+128 ~x6069+64 ~x6068+32 ~x6067+16 ~x6066+8 ~x6065+4 ~x6064+2 ~x6063+1 ~x6062-0=65534
53.73/53.85	c 4096 ~x2135816+2048 ~x2135815+1024 ~x2135814+512 ~x2135813+256 ~x2135812+128 ~x2135811+64 ~x2135810+32 ~x2135809+16 ~x2135808+8 ~x2135807+4 ~x2135806+2 ~x2135805+1 ~x2135804+4096 x7885+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=16382
53.83/53.92	c 2048 ~x2138515+1024 ~x2138514+512 ~x2138513+256 ~x2138512+128 ~x2138511+64 ~x2138510+32 ~x2138509+16 ~x2138508+8 ~x2138507+4 ~x2138506+2 ~x2138505+1 ~x2138504+3072 x7886+2048 ~x6133+1024 ~x6132+512 ~x6131+256 ~x6130+128 ~x6129+64 ~x6128+32 ~x6127+16 ~x6126+8 ~x6125+4 ~x6124+2 ~x6123+1 ~x6122-0=8190
53.83/53.98	c 4096 ~x2140864+2048 ~x2140863+1024 ~x2140862+512 ~x2140861+256 ~x2140860+128 ~x2140859+64 ~x2140858+32 ~x2140857+16 ~x2140856+8 ~x2140855+4 ~x2140854+2 ~x2140853+1 ~x2140852+5120 x7887+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
53.92/54.05	c 4096 ~x2143564+2048 ~x2143563+1024 ~x2143562+512 ~x2143561+256 ~x2143560+128 ~x2143559+64 ~x2143558+32 ~x2143557+16 ~x2143556+8 ~x2143555+4 ~x2143554+2 ~x2143553+1 ~x2143552+7168 x7888+4096 ~x6194+2048 ~x6193+1024 ~x6192+512 ~x6191+256 ~x6190+128 ~x6189+64 ~x6188+32 ~x6187+16 ~x6186+8 ~x6185+4 ~x6184+2 ~x6183+1 ~x6182-0=16382
54.02/54.11	c 16384 ~x2146266+8192 ~x2146265+4096 ~x2146264+2048 ~x2146263+1024 ~x2146262+512 ~x2146261+256 ~x2146260+128 ~x2146259+64 ~x2146258+32 ~x2146257+16 ~x2146256+8 ~x2146255+4 ~x2146254+2 ~x2146253+1 ~x2146252+31744 x7889+16384 ~x6226+8192 ~x6225+4096 ~x6224+2048 ~x6223+1024 ~x6222+512 ~x6221+256 ~x6220+128 ~x6219+64 ~x6218+32 ~x6217+16 ~x6216+8 ~x6215+4 ~x6214+2 ~x6213+1 ~x6212-0=65534
54.12/54.22	c 8192 ~x2150557+4096 ~x2150556+2048 ~x2150555+1024 ~x2150554+512 ~x2150553+256 ~x2150552+128 ~x2150551+64 ~x2150550+32 ~x2150549+16 ~x2150548+8 ~x2150547+4 ~x2150546+2 ~x2150545+1 ~x2150544+9216 x7890+8192 ~x6255+4096 ~x6254+2048 ~x6253+1024 ~x6252+512 ~x6251+256 ~x6250+128 ~x6249+64 ~x6248+32 ~x6247+16 ~x6246+8 ~x6245+4 ~x6244+2 ~x6243+1 ~x6242-0=32766
54.22/54.31	c 2048 ~x2154271+1024 ~x2154270+512 ~x2154269+256 ~x2154268+128 ~x2154267+64 ~x2154266+32 ~x2154265+16 ~x2154264+8 ~x2154263+4 ~x2154262+2 ~x2154261+1 ~x2154260+2048 x7891+2048 ~x6283+1024 ~x6282+512 ~x6281+256 ~x6280+128 ~x6279+64 ~x6278+32 ~x6277+16 ~x6276+8 ~x6275+4 ~x6274+2 ~x6273+1 ~x6272-0=8190
54.22/54.37	c 4096 ~x2156620+2048 ~x2156619+1024 ~x2156618+512 ~x2156617+256 ~x2156616+128 ~x2156615+64 ~x2156614+32 ~x2156613+16 ~x2156612+8 ~x2156611+4 ~x2156610+2 ~x2156609+1 ~x2156608+6144 x7892+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.32/54.44	c 4096 ~x2159320+2048 ~x2159319+1024 ~x2159318+512 ~x2159317+256 ~x2159316+128 ~x2159315+64 ~x2159314+32 ~x2159313+16 ~x2159312+8 ~x2159311+4 ~x2159310+2 ~x2159309+1 ~x2159308+6144 x7893+4096 ~x6344+2048 ~x6343+1024 ~x6342+512 ~x6341+256 ~x6340+128 ~x6339+64 ~x6338+32 ~x6337+16 ~x6336+8 ~x6335+4 ~x6334+2 ~x6333+1 ~x6332-0=16382
54.43/54.51	c 2048 ~x2162019+1024 ~x2162018+512 ~x2162017+256 ~x2162016+128 ~x2162015+64 ~x2162014+32 ~x2162013+16 ~x2162012+8 ~x2162011+4 ~x2162010+2 ~x2162009+1 ~x2162008+2048 x7894+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=8190
54.43/54.57	c 32768 ~x2164371+16384 ~x2164370+8192 ~x2164369+4096 ~x2164368+2048 ~x2164367+1024 ~x2164366+512 ~x2164365+256 ~x2164364+128 ~x2164363+64 ~x2164362+32 ~x2164361+16 ~x2164360+8 ~x2164359+4 ~x2164358+2 ~x2164357+1 ~x2164356+34816 x7895+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.52/54.68	c 8192 ~x2168998+4096 ~x2168997+2048 ~x2168996+1024 ~x2168995+512 ~x2168994+256 ~x2168993+128 ~x2168992+64 ~x2168991+32 ~x2168990+16 ~x2168989+8 ~x2168988+4 ~x2168987+2 ~x2168986+1 ~x2168985+9216 x7896+8192 ~x6435+4096 ~x6434+2048 ~x6433+1024 ~x6432+512 ~x6431+256 ~x6430+128 ~x6429+64 ~x6428+32 ~x6427+16 ~x6426+8 ~x6425+4 ~x6424+2 ~x6423+1 ~x6422-0=32766
54.62/54.77	c 8192 ~x2172714+4096 ~x2172713+2048 ~x2172712+1024 ~x2172711+512 ~x2172710+256 ~x2172709+128 ~x2172708+64 ~x2172707+32 ~x2172706+16 ~x2172705+8 ~x2172704+4 ~x2172703+2 ~x2172702+1 ~x2172701+9216 x7897+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
54.72/54.87	c 8192 ~x2176430+4096 ~x2176429+2048 ~x2176428+1024 ~x2176427+512 ~x2176426+256 ~x2176425+128 ~x2176424+64 ~x2176423+32 ~x2176422+16 ~x2176421+8 ~x2176420+4 ~x2176419+2 ~x2176418+1 ~x2176417+13312 x7898+8192 ~x6495+4096 ~x6494+2048 ~x6493+1024 ~x6492+512 ~x6491+256 ~x6490+128 ~x6489+64 ~x6488+32 ~x6487+16 ~x6486+8 ~x6485+4 ~x6484+2 ~x6483+1 ~x6482-0=32766
54.82/54.96	c 2048 ~x2180144+1024 ~x2180143+512 ~x2180142+256 ~x2180141+128 ~x2180140+64 ~x2180139+32 ~x2180138+16 ~x2180137+8 ~x2180136+4 ~x2180135+2 ~x2180134+1 ~x2180133+2048 x7899+2048 ~x6523+1024 ~x6522+512 ~x6521+256 ~x6520+128 ~x6519+64 ~x6518+32 ~x6517+16 ~x6516+8 ~x6515+4 ~x6514+2 ~x6513+1 ~x6512-0=8190
54.93/55.02	c 8192 ~x2182494+4096 ~x2182493+2048 ~x2182492+1024 ~x2182491+512 ~x2182490+256 ~x2182489+128 ~x2182488+64 ~x2182487+32 ~x2182486+16 ~x2182485+8 ~x2182484+4 ~x2182483+2 ~x2182482+1 ~x2182481+11264 x7900+8192 ~x6555+4096 ~x6554+2048 ~x6553+1024 ~x6552+512 ~x6551+256 ~x6550+128 ~x6549+64 ~x6548+32 ~x6547+16 ~x6546+8 ~x6545+4 ~x6544+2 ~x6543+1 ~x6542-0=32766
55.02/55.11	c 32768 ~x2186212+16384 ~x2186211+8192 ~x2186210+4096 ~x2186209+2048 ~x2186208+1024 ~x2186207+512 ~x2186206+256 ~x2186205+128 ~x2186204+64 ~x2186203+32 ~x2186202+16 ~x2186201+8 ~x2186200+4 ~x2186199+2 ~x2186198+1 ~x2186197+45056 x7901+32768 ~x6587+16384 ~x6586+8192 ~x6585+4096 ~x6584+2048 ~x6583+1024 ~x6582+512 ~x6581+256 ~x6580+128 ~x6579+64 ~x6578+32 ~x6577+16 ~x6576+8 ~x6575+4 ~x6574+2 ~x6573+1 ~x6572-0=131070
55.12/55.22	c 2048 ~x2190837+1024 ~x2190836+512 ~x2190835+256 ~x2190834+128 ~x2190833+64 ~x2190832+32 ~x2190831+16 ~x2190830+8 ~x2190829+4 ~x2190828+2 ~x2190827+1 ~x2190826+3072 x7902+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.12/55.28	c 16384 ~x2193188+8192 ~x2193187+4096 ~x2193186+2048 ~x2193185+1024 ~x2193184+512 ~x2193183+256 ~x2193182+128 ~x2193181+64 ~x2193180+32 ~x2193179+16 ~x2193178+8 ~x2193177+4 ~x2193176+2 ~x2193175+1 ~x2193174+18432 x7903+16384 ~x6646+8192 ~x6645+4096 ~x6644+2048 ~x6643+1024 ~x6642+512 ~x6641+256 ~x6640+128 ~x6639+64 ~x6638+32 ~x6637+16 ~x6636+8 ~x6635+4 ~x6634+2 ~x6633+1 ~x6632-0=65534
55.22/55.38	c 4096 ~x2197221+2048 ~x2197220+1024 ~x2197219+512 ~x2197218+256 ~x2197217+128 ~x2197216+64 ~x2197215+32 ~x2197214+16 ~x2197213+8 ~x2197212+4 ~x2197211+2 ~x2197210+1 ~x2197209+7168 x7904+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.32/55.45	c 8192 ~x2199922+4096 ~x2199921+2048 ~x2199920+1024 ~x2199919+512 ~x2199918+256 ~x2199917+128 ~x2199916+64 ~x2199915+32 ~x2199914+16 ~x2199913+8 ~x2199912+4 ~x2199911+2 ~x2199910+1 ~x2199909+15360 x7905+8192 ~x6705+4096 ~x6704+2048 ~x6703+1024 ~x6702+512 ~x6701+256 ~x6700+128 ~x6699+64 ~x6698+32 ~x6697+16 ~x6696+8 ~x6695+4 ~x6694+2 ~x6693+1 ~x6692-0=32766
55.42/55.54	c 2048 ~x2203636+1024 ~x2203635+512 ~x2203634+256 ~x2203633+128 ~x2203632+64 ~x2203631+32 ~x2203630+16 ~x2203629+8 ~x2203628+4 ~x2203627+2 ~x2203626+1 ~x2203625+2048 x7906+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.52/55.61	c 16384 ~x2205987+8192 ~x2205986+4096 ~x2205985+2048 ~x2205984+1024 ~x2205983+512 ~x2205982+256 ~x2205981+128 ~x2205980+64 ~x2205979+32 ~x2205978+16 ~x2205977+8 ~x2205976+4 ~x2205975+2 ~x2205974+1 ~x2205973+18432 x7907+16384 ~x6766+8192 ~x6765+4096 ~x6764+2048 ~x6763+1024 ~x6762+512 ~x6761+256 ~x6760+128 ~x6759+64 ~x6758+32 ~x6757+16 ~x6756+8 ~x6755+4 ~x6754+2 ~x6753+1 ~x6752-0=65534
55.62/55.71	c 8192 ~x2210021+4096 ~x2210020+2048 ~x2210019+1024 ~x2210018+512 ~x2210017+256 ~x2210016+128 ~x2210015+64 ~x2210014+32 ~x2210013+16 ~x2210012+8 ~x2210011+4 ~x2210010+2 ~x2210009+1 ~x2210008+14336 x7908+8192 ~x6795+4096 ~x6794+2048 ~x6793+1024 ~x6792+512 ~x6791+256 ~x6790+128 ~x6789+64 ~x6788+32 ~x6787+16 ~x6786+8 ~x6785+4 ~x6784+2 ~x6783+1 ~x6782-0=32766
55.72/55.80	c 8192 ~x2213737+4096 ~x2213736+2048 ~x2213735+1024 ~x2213734+512 ~x2213733+256 ~x2213732+128 ~x2213731+64 ~x2213730+32 ~x2213729+16 ~x2213728+8 ~x2213727+4 ~x2213726+2 ~x2213725+1 ~x2213724+9216 x7909+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=32766
55.72/55.89	c 4096 ~x2217452+2048 ~x2217451+1024 ~x2217450+512 ~x2217449+256 ~x2217448+128 ~x2217447+64 ~x2217446+32 ~x2217445+16 ~x2217444+8 ~x2217443+4 ~x2217442+2 ~x2217441+1 ~x2217440+6144 x7910+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=16382
55.82/55.96	c 32768 ~x2220155+16384 ~x2220154+8192 ~x2220153+4096 ~x2220152+2048 ~x2220151+1024 ~x2220150+512 ~x2220149+256 ~x2220148+128 ~x2220147+64 ~x2220146+32 ~x2220145+16 ~x2220144+8 ~x2220143+4 ~x2220142+2 ~x2220141+1 ~x2220140+44032 x7911+32768 ~x6887+16384 ~x6886+8192 ~x6885+4096 ~x6884+2048 ~x6883+1024 ~x6882+512 ~x6881+256 ~x6880+128 ~x6879+64 ~x6878+32 ~x6877+16 ~x6876+8 ~x6875+4 ~x6874+2 ~x6873+1 ~x6872-0=131070
55.92/56.07	c 16384 ~x2224783+8192 ~x2224782+4096 ~x2224781+2048 ~x2224780+1024 ~x2224779+512 ~x2224778+256 ~x2224777+128 ~x2224776+64 ~x2224775+32 ~x2224774+16 ~x2224773+8 ~x2224772+4 ~x2224771+2 ~x2224770+1 ~x2224769+22528 x7912+16384 ~x6916+8192 ~x6915+4096 ~x6914+2048 ~x6913+1024 ~x6912+512 ~x6911+256 ~x6910+128 ~x6909+64 ~x6908+32 ~x6907+16 ~x6906+8 ~x6905+4 ~x6904+2 ~x6903+1 ~x6902-0=65534
56.02/56.18	c 8192 ~x2229074+4096 ~x2229073+2048 ~x2229072+1024 ~x2229071+512 ~x2229070+256 ~x2229069+128 ~x2229068+64 ~x2229067+32 ~x2229066+16 ~x2229065+8 ~x2229064+4 ~x2229063+2 ~x2229062+1 ~x2229061+9216 x7913+8192 ~x6945+4096 ~x6944+2048 ~x6943+1024 ~x6942+512 ~x6941+256 ~x6940+128 ~x6939+64 ~x6938+32 ~x6937+16 ~x6936+8 ~x6935+4 ~x6934+2 ~x6933+1 ~x6932-0=32766
56.11/56.27	c 8192 ~x2232790+4096 ~x2232789+2048 ~x2232788+1024 ~x2232787+512 ~x2232786+256 ~x2232785+128 ~x2232784+64 ~x2232783+32 ~x2232782+16 ~x2232781+8 ~x2232780+4 ~x2232779+2 ~x2232778+1 ~x2232777+8192 x7914+8192 ~x6975+4096 ~x6974+2048 ~x6973+1024 ~x6972+512 ~x6971+256 ~x6970+128 ~x6969+64 ~x6968+32 ~x6967+16 ~x6966+8 ~x6965+4 ~x6964+2 ~x6963+1 ~x6962-0=32766
56.22/56.36	c 4096 ~x2236505+2048 ~x2236504+1024 ~x2236503+512 ~x2236502+256 ~x2236501+128 ~x2236500+64 ~x2236499+32 ~x2236498+16 ~x2236497+8 ~x2236496+4 ~x2236495+2 ~x2236494+1 ~x2236493+7168 x7915+4096 ~x7004+2048 ~x7003+1024 ~x7002+512 ~x7001+256 ~x7000+128 ~x6999+64 ~x6998+32 ~x6997+16 ~x6996+8 ~x6995+4 ~x6994+2 ~x6993+1 ~x6992-0=16382
56.32/56.43	c 8192 ~x2239206+4096 ~x2239205+2048 ~x2239204+1024 ~x2239203+512 ~x2239202+256 ~x2239201+128 ~x2239200+64 ~x2239199+32 ~x2239198+16 ~x2239197+8 ~x2239196+4 ~x2239195+2 ~x2239194+1 ~x2239193+14336 x7916+8192 ~x7035+4096 ~x7034+2048 ~x7033+1024 ~x7032+512 ~x7031+256 ~x7030+128 ~x7029+64 ~x7028+32 ~x7027+16 ~x7026+8 ~x7025+4 ~x7024+2 ~x7023+1 ~x7022-0=32766
56.42/56.52	c 8192 ~x2242922+4096 ~x2242921+2048 ~x2242920+1024 ~x2242919+512 ~x2242918+256 ~x2242917+128 ~x2242916+64 ~x2242915+32 ~x2242914+16 ~x2242913+8 ~x2242912+4 ~x2242911+2 ~x2242910+1 ~x2242909+10240 x7917+8192 ~x7065+4096 ~x7064+2048 ~x7063+1024 ~x7062+512 ~x7061+256 ~x7060+128 ~x7059+64 ~x7058+32 ~x7057+16 ~x7056+8 ~x7055+4 ~x7054+2 ~x7053+1 ~x7052-0=32766
56.52/56.62	c 1024 ~x2246635+512 ~x2246634+256 ~x2246633+128 ~x2246632+64 ~x2246631+32 ~x2246630+16 ~x2246629+8 ~x2246628+4 ~x2246627+2 ~x2246626+1 ~x2246625+1024 x7918+1024 ~x7092+512 ~x7091+256 ~x7090+128 ~x7089+64 ~x7088+32 ~x7087+16 ~x7086+8 ~x7085+4 ~x7084+2 ~x7083+1 ~x7082-0=4094
56.52/56.67	c 16384 ~x2248752+8192 ~x2248751+4096 ~x2248750+2048 ~x2248749+1024 ~x2248748+512 ~x2248747+256 ~x2248746+128 ~x2248745+64 ~x2248744+32 ~x2248743+16 ~x2248742+8 ~x2248741+4 ~x2248740+2 ~x2248739+1 ~x2248738+18432 x7919+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.62/56.77	c 4096 ~x2252785+2048 ~x2252784+1024 ~x2252783+512 ~x2252782+256 ~x2252781+128 ~x2252780+64 ~x2252779+32 ~x2252778+16 ~x2252777+8 ~x2252776+4 ~x2252775+2 ~x2252774+1 ~x2252773+4096 x7920+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=16382
56.71/56.84	c 2048 ~x2255484+1024 ~x2255483+512 ~x2255482+256 ~x2255481+128 ~x2255480+64 ~x2255479+32 ~x2255478+16 ~x2255477+8 ~x2255476+4 ~x2255475+2 ~x2255474+1 ~x2255473+3072 x7921+2048 ~x7183+1024 ~x7182+512 ~x7181+256 ~x7180+128 ~x7179+64 ~x7178+32 ~x7177+16 ~x7176+8 ~x7175+4 ~x7174+2 ~x7173+1 ~x7172-0=8190
56.82/56.90	c 4096 ~x2257833+2048 ~x2257832+1024 ~x2257831+512 ~x2257830+256 ~x2257829+128 ~x2257828+64 ~x2257827+32 ~x2257826+16 ~x2257825+8 ~x2257824+4 ~x2257823+2 ~x2257822+1 ~x2257821+5120 x7922+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=16382
56.82/56.97	c 4096 ~x2260533+2048 ~x2260532+1024 ~x2260531+512 ~x2260530+256 ~x2260529+128 ~x2260528+64 ~x2260527+32 ~x2260526+16 ~x2260525+8 ~x2260524+4 ~x2260523+2 ~x2260522+1 ~x2260521+7168 x7923+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=16382
56.92/57.03	c 16384 ~x2263235+8192 ~x2263234+4096 ~x2263233+2048 ~x2263232+1024 ~x2263231+512 ~x2263230+256 ~x2263229+128 ~x2263228+64 ~x2263227+32 ~x2263226+16 ~x2263225+8 ~x2263224+4 ~x2263223+2 ~x2263222+1 ~x2263221+31744 x7924+16384 ~x7276+8192 ~x7275+4096 ~x7274+2048 ~x7273+1024 ~x7272+512 ~x7271+256 ~x7270+128 ~x7269+64 ~x7268+32 ~x7267+16 ~x7266+8 ~x7265+4 ~x7264+2 ~x7263+1 ~x7262-0=65534
57.03/57.14	c 8192 ~x2267526+4096 ~x2267525+2048 ~x2267524+1024 ~x2267523+512 ~x2267522+256 ~x2267521+128 ~x2267520+64 ~x2267519+32 ~x2267518+16 ~x2267517+8 ~x2267516+4 ~x2267515+2 ~x2267514+1 ~x2267513+9216 x7925+8192 ~x7305+4096 ~x7304+2048 ~x7303+1024 ~x7302+512 ~x7301+256 ~x7300+128 ~x7299+64 ~x7298+32 ~x7297+16 ~x7296+8 ~x7295+4 ~x7294+2 ~x7293+1 ~x7292-0=32766
57.12/57.23	c 2048 ~x2271240+1024 ~x2271239+512 ~x2271238+256 ~x2271237+128 ~x2271236+64 ~x2271235+32 ~x2271234+16 ~x2271233+8 ~x2271232+4 ~x2271231+2 ~x2271230+1 ~x2271229+2048 x7926+2048 ~x7333+1024 ~x7332+512 ~x7331+256 ~x7330+128 ~x7329+64 ~x7328+32 ~x7327+16 ~x7326+8 ~x7325+4 ~x7324+2 ~x7323+1 ~x7322-0=8190
57.12/57.29	c 8192 ~x2273590+4096 ~x2273589+2048 ~x2273588+1024 ~x2273587+512 ~x2273586+256 ~x2273585+128 ~x2273584+64 ~x2273583+32 ~x2273582+16 ~x2273581+8 ~x2273580+4 ~x2273579+2 ~x2273578+1 ~x2273577+9216 x7927+8192 ~x7365+4096 ~x7364+2048 ~x7363+1024 ~x7362+512 ~x7361+256 ~x7360+128 ~x7359+64 ~x7358+32 ~x7357+16 ~x7356+8 ~x7355+4 ~x7354+2 ~x7353+1 ~x7352-0=32766
57.22/57.38	c 4096 ~x2277305+2048 ~x2277304+1024 ~x2277303+512 ~x2277302+256 ~x2277301+128 ~x2277300+64 ~x2277299+32 ~x2277298+16 ~x2277297+8 ~x2277296+4 ~x2277295+2 ~x2277294+1 ~x2277293+6144 x7928+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.31/57.45	c 4096 ~x2280005+2048 ~x2280004+1024 ~x2280003+512 ~x2280002+256 ~x2280001+128 ~x2280000+64 ~x2279999+32 ~x2279998+16 ~x2279997+8 ~x2279996+4 ~x2279995+2 ~x2279994+1 ~x2279993+6144 x7929+4096 ~x7424+2048 ~x7423+1024 ~x7422+512 ~x7421+256 ~x7420+128 ~x7419+64 ~x7418+32 ~x7417+16 ~x7416+8 ~x7415+4 ~x7414+2 ~x7413+1 ~x7412-0=16382
57.41/57.52	c 32768 ~x2282708+16384 ~x2282707+8192 ~x2282706+4096 ~x2282705+2048 ~x2282704+1024 ~x2282703+512 ~x2282702+256 ~x2282701+128 ~x2282700+64 ~x2282699+32 ~x2282698+16 ~x2282697+8 ~x2282696+4 ~x2282695+2 ~x2282694+1 ~x2282693+34816 x7930+32768 ~x7457+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=131070
57.51/57.63	c 8192 ~x2287335+4096 ~x2287334+2048 ~x2287333+1024 ~x2287332+512 ~x2287331+256 ~x2287330+128 ~x2287329+64 ~x2287328+32 ~x2287327+16 ~x2287326+8 ~x2287325+4 ~x2287324+2 ~x2287323+1 ~x2287322+9216 x7931+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.62/57.72	c 8192 ~x2291051+4096 ~x2291050+2048 ~x2291049+1024 ~x2291048+512 ~x2291047+256 ~x2291046+128 ~x2291045+64 ~x2291044+32 ~x2291043+16 ~x2291042+8 ~x2291041+4 ~x2291040+2 ~x2291039+1 ~x2291038+9216 x7932+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=32766
57.72/57.82	c 8192 ~x2294767+4096 ~x2294766+2048 ~x2294765+1024 ~x2294764+512 ~x2294763+256 ~x2294762+128 ~x2294761+64 ~x2294760+32 ~x2294759+16 ~x2294758+8 ~x2294757+4 ~x2294756+2 ~x2294755+1 ~x2294754+13312 x7933+8192 ~x7545+4096 ~x7544+2048 ~x7543+1024 ~x7542+512 ~x7541+256 ~x7540+128 ~x7539+64 ~x7538+32 ~x7537+16 ~x7536+8 ~x7535+4 ~x7534+2 ~x7533+1 ~x7532-0=32766
57.82/57.91	c 2048 ~x2298481+1024 ~x2298480+512 ~x2298479+256 ~x2298478+128 ~x2298477+64 ~x2298476+32 ~x2298475+16 ~x2298474+8 ~x2298473+4 ~x2298472+2 ~x2298471+1 ~x2298470+2048 x7934+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=8190
57.82/57.97	c 8192 ~x2300831+4096 ~x2300830+2048 ~x2300829+1024 ~x2300828+512 ~x2300827+256 ~x2300826+128 ~x2300825+64 ~x2300824+32 ~x2300823+16 ~x2300822+8 ~x2300821+4 ~x2300820+2 ~x2300819+1 ~x2300818+11264 x7935+8192 ~x7605+4096 ~x7604+2048 ~x7603+1024 ~x7602+512 ~x7601+256 ~x7600+128 ~x7599+64 ~x7598+32 ~x7597+16 ~x7596+8 ~x7595+4 ~x7594+2 ~x7593+1 ~x7592-0=32766
57.91/58.06	c 32768 ~x2304549+16384 ~x2304548+8192 ~x2304547+4096 ~x2304546+2048 ~x2304545+1024 ~x2304544+512 ~x2304543+256 ~x2304542+128 ~x2304541+64 ~x2304540+32 ~x2304539+16 ~x2304538+8 ~x2304537+4 ~x2304536+2 ~x2304535+1 ~x2304534+40960 x7936+32768 ~x7637+16384 ~x7636+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=131070
58.02/58.18	c 2048 ~x2309174+1024 ~x2309173+512 ~x2309172+256 ~x2309171+128 ~x2309170+64 ~x2309169+32 ~x2309168+16 ~x2309167+8 ~x2309166+4 ~x2309165+2 ~x2309164+1 ~x2309163+3072 x7937+2048 ~x7663+1024 ~x7662+512 ~x7661+256 

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-2674111-1276799005/watcher-2674111-1276799005 -o /tmp/evaluation-result-2674111-1276799005/solver-2674111-1276799005 -C 1800 -W 2000 -M 1800 run HOME/instance-2674111-1276799005.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: 1.05 1.00 1.00 3/106 24192
/proc/meminfo: memFree=1963112/2059040 swapFree=4135532/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0

[startup+0.034122 s]
/proc/loadavg: 1.05 1.00 1.00 3/106 24192
/proc/meminfo: memFree=1963112/2059040 swapFree=4135532/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101124 s]
/proc/loadavg: 1.05 1.00 1.00 3/106 24192
/proc/meminfo: memFree=1963112/2059040 swapFree=4135532/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301145 s]
/proc/loadavg: 1.05 1.00 1.00 3/106 24192
/proc/meminfo: memFree=1963112/2059040 swapFree=4135532/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701187 s]
/proc/loadavg: 1.05 1.00 1.00 3/106 24192
/proc/meminfo: memFree=1963112/2059040 swapFree=4135532/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50127 s]
/proc/loadavg: 1.05 1.00 1.00 2/108 24195
/proc/meminfo: memFree=1800408/2059040 swapFree=4135532/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=242340 CPUtime=1.48
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 60463 0 0 0 57 91 0 0 20 0 1 0 21192533 248156160 59985 1992294400 134512640 134902295 4287235520 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24194/statm: 60585 59992 256 96 0 59797 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 251040

[startup+3.10144 s]
/proc/loadavg: 1.05 1.00 1.00 2/108 24195
/proc/meminfo: memFree=1647144/2059040 swapFree=4135532/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=395492 CPUtime=3.08
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 98780 0 0 0 181 127 0 0 24 0 1 0 21192533 404983808 98302 1992294400 134512640 134902295 4287235520 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24194/statm: 98873 98302 259 96 0 98085 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 404192

[startup+6.30178 s]
/proc/loadavg: 1.05 1.00 1.00 2/108 24195
/proc/meminfo: memFree=1618876/2059040 swapFree=4135532/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=363236 CPUtime=6.26
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 110340 0 1 0 492 134 0 0 21 0 1 0 21192533 371953664 89738 1992294400 134512640 134902295 4287235520 18446744073709551615 134793667 0 0 4096 17608 0 0 0 17 1 0 0 2
/proc/24194/statm: 90809 89738 262 96 0 90021 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 371936

[startup+12.7015 s]
/proc/loadavg: 1.04 1.00 1.00 2/108 24195
/proc/meminfo: memFree=1508392/2059040 swapFree=4135532/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=475340 CPUtime=12.65
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 142371 0 1 0 1118 147 0 0 25 0 1 0 21192533 486748160 116445 1992294400 134512640 134902295 4287235520 18446744073709551615 134588032 0 0 4096 17608 0 0 0 17 1 0 0 2
/proc/24194/statm: 118835 116445 262 96 0 118047 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 484040

[startup+25.5008 s]
/proc/loadavg: 1.03 1.00 1.00 2/108 24195
/proc/meminfo: memFree=1278124/2059040 swapFree=4135532/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=702156 CPUtime=25.45
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 202469 0 1 0 2369 176 0 0 25 0 1 0 21192533 719007744 172177 1992294400 134512640 134902295 4287235520 18446744073709551615 134813873 0 0 4096 17608 0 0 0 17 1 0 0 2
/proc/24194/statm: 175539 172177 262 96 0 174751 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 710856

[startup+51.1016 s]
/proc/loadavg: 1.02 1.00 1.00 2/108 24197
/proc/meminfo: memFree=817092/2059040 swapFree=4135532/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1191792 CPUtime=51.03
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 320008 0 1 0 4877 226 0 0 25 0 1 0 21192533 1220395008 288236 1992294400 134512640 134902295 4287235520 18446744073709551615 134791119 0 0 4096 17608 0 0 0 17 1 0 0 2
/proc/24194/statm: 297948 288236 262 96 0 297160 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 1200492

[startup+102.309 s]
/proc/loadavg: 1.01 1.00 1.00 2/108 24197
/proc/meminfo: memFree=693032/2059040 swapFree=4135532/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1285360 CPUtime=102.19
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 349204 0 3 0 9979 240 0 0 25 0 1 0 21192533 1316208640 316914 1992294400 134512640 134902295 4287235520 18446744073709551615 4159975906 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/24194/statm: 321340 316914 269 96 0 320552 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 1294060

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24199
/proc/meminfo: memFree=680756/2059040 swapFree=4135532/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1297728 CPUtime=162.17
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 352267 0 3 0 15974 243 0 0 25 0 1 0 21192533 1328873472 319977 1992294400 134512640 134902295 4287235520 18446744073709551615 4159976326 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/24194/statm: 324432 319977 269 96 0 323644 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 1306428

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24201
/proc/meminfo: memFree=670712/2059040 swapFree=4135532/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1307688 CPUtime=222.15
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 354755 0 3 0 21969 246 0 0 25 0 1 0 21192533 1339072512 322465 1992294400 134512640 134902295 4287235520 18446744073709551615 4159963783 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/24194/statm: 326922 322465 269 96 0 326134 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 1316388

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24203
/proc/meminfo: memFree=662900/2059040 swapFree=4135532/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1315372 CPUtime=282.12
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 356699 0 3 0 27965 247 0 0 25 0 1 0 21192533 1346940928 324409 1992294400 134512640 134902295 4287235520 18446744073709551615 4159982762 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/24194/statm: 328843 324409 269 96 0 328055 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 1324072

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24203
/proc/meminfo: memFree=658312/2059040 swapFree=4135532/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1320148 CPUtime=342.1
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 357842 0 3 0 33962 248 0 0 25 0 1 0 21192533 1351831552 325552 1992294400 134512640 134902295 4287235520 18446744073709551615 4159993982 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/24194/statm: 330037 325552 269 96 0 329249 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 1328848

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24205
/proc/meminfo: memFree=654716/2059040 swapFree=4135532/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1323640 CPUtime=402.08
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 358706 0 3 0 39959 249 0 0 25 0 1 0 21192533 1355407360 326416 1992294400 134512640 134902295 4287235520 18446744073709551615 4159982425 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/24194/statm: 330910 326416 269 96 0 330122 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 1332340

[startup+462.3 s]

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

/proc/24194/statm: 339945 335414 269 96 0 339157 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 1368480

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24230
/proc/meminfo: memFree=562128/2059040 swapFree=4135564/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1361268 CPUtime=1181.88
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 368088 0 3 0 117928 260 0 0 25 0 1 0 21192533 1393938432 335798 1992294400 134512640 134902295 4287235520 18446744073709551615 4159963846 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/24194/statm: 340317 335798 269 96 0 339529 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1369968

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24230
/proc/meminfo: memFree=560020/2059040 swapFree=4135564/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1363308 CPUtime=1241.86
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 368584 0 3 0 123926 260 0 0 25 0 1 0 21192533 1396027392 336294 1992294400 134512640 134902295 4287235520 18446744073709551615 4159996910 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/24194/statm: 340827 336294 269 96 0 340039 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1372008

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24232
/proc/meminfo: memFree=552952/2059040 swapFree=4135564/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1370820 CPUtime=1301.85
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 370316 0 3 0 129923 262 0 0 25 0 1 0 21192533 1403719680 338026 1992294400 134512640 134902295 4287235520 18446744073709551615 4159993975 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/24194/statm: 342705 338026 269 96 0 341917 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1379520

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24234
/proc/meminfo: memFree=549852/2059040 swapFree=4135564/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1373892 CPUtime=1361.83
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 371092 0 3 0 135920 263 0 0 25 0 1 0 21192533 1406865408 338802 1992294400 134512640 134902295 4287235520 18446744073709551615 4159963769 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/24194/statm: 343473 338802 269 96 0 342685 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1382592

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24236
/proc/meminfo: memFree=547372/2059040 swapFree=4135564/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1376300 CPUtime=1421.82
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 371722 0 3 0 141919 263 0 0 25 0 1 0 21192533 1409331200 339432 1992294400 134512640 134902295 4287235520 18446744073709551615 4159994074 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/24194/statm: 344075 339432 269 96 0 343287 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1385000

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24238
/proc/meminfo: memFree=545760/2059040 swapFree=4135564/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1378008 CPUtime=1481.8
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 372143 0 3 0 147916 264 0 0 25 0 1 0 21192533 1411080192 339853 1992294400 134512640 134902295 4287235520 18446744073709551615 4159993982 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/24194/statm: 344502 339853 269 96 0 343714 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1386708

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24238
/proc/meminfo: memFree=544024/2059040 swapFree=4135564/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1379756 CPUtime=1541.78
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 372581 0 3 0 153914 264 0 0 25 0 1 0 21192533 1412870144 340291 1992294400 134512640 134902295 4287235520 18446744073709551615 4159982425 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/24194/statm: 344939 340291 269 96 0 344151 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1388456

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24240
/proc/meminfo: memFree=542288/2059040 swapFree=4135564/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1381436 CPUtime=1601.77
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 372982 0 3 0 159912 265 0 0 25 0 1 0 21192533 1414590464 340692 1992294400 134512640 134902295 4287235520 18446744073709551615 4159994165 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/24194/statm: 345359 340692 269 96 0 344571 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1390136

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24242
/proc/meminfo: memFree=540800/2059040 swapFree=4135564/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1382864 CPUtime=1661.75
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 373343 0 3 0 165910 265 0 0 25 0 1 0 21192533 1416052736 341053 1992294400 134512640 134902295 4287235520 18446744073709551615 4159982729 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/24194/statm: 345716 341053 269 96 0 344928 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1391564

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24244
/proc/meminfo: memFree=539188/2059040 swapFree=4135564/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1384448 CPUtime=1721.74
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 373747 0 3 0 171908 266 0 0 25 0 1 0 21192533 1417674752 341457 1992294400 134512640 134902295 4287235520 18446744073709551615 4159963888 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/24194/statm: 346112 341457 269 96 0 345324 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1393148

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24246
/proc/meminfo: memFree=537080/2059040 swapFree=4135564/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1386324 CPUtime=1781.72
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 374214 0 3 0 177906 266 0 0 25 0 1 0 21192533 1419595776 341924 1992294400 134512640 134902295 4287235520 18446744073709551615 4159993982 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/24194/statm: 346581 341924 269 96 0 345793 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1395024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24246
/proc/meminfo: memFree=536584/2059040 swapFree=4135564/4192956
[pid=24192] ppid=24190 vsize=8700 CPUtime=0
/proc/24192/stat : 24192 (run) S 24190 24192 23174 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21192532 8908800 251 1992294400 4194304 4922060 140736473016640 18446744073709551615 242171354245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24192/statm: 2175 251 211 178 0 68 0
[pid=24194] ppid=24192 vsize=1386720 CPUtime=1800.03
/proc/24194/stat : 24194 (PBPASSolver) R 24192 24192 23174 0 -1 4202496 374329 0 3 0 179737 266 0 0 25 0 1 0 21192533 1420001280 342039 1992294400 134512640 134902295 4287235520 18446744073709551615 4159983062 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/24194/statm: 346680 342039 269 96 0 345892 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1395420

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1800.62
CPU time (s): 1800.03
CPU user time (s): 1797.37
CPU system time (s): 2.66
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (KiB): 1395420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 524
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 3

runsolver used 3.01054 second user time and 8.49671 second system time

The end

Begin job on node047 at 2010-06-17 20:23:25
IDJOB=2674111
IDBENCH=2300
IDSOLVER=1174
FILE ID=node047/2674111-1276799005
PBS_JOBID= 11176623
Free space on /tmp= 62520 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-ran8x32.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674111-1276799005/watcher-2674111-1276799005 -o /tmp/evaluation-result-2674111-1276799005/solver-2674111-1276799005 -C 1800 -W 2000 -M 1800  run HOME/instance-2674111-1276799005.opb

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

MD5SUM BENCH= cbc794920cb33f20cfa2472a22fd5e8b
RANDOM SEED=1399014885

node047.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.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1963632 kB
Buffers:           796 kB
Cached:          15952 kB
SwapCached:       5732 kB
Active:          18208 kB
Inactive:         6236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1963632 kB
SwapTotal:     4192956 kB
SwapFree:      4135532 kB
Dirty:            1084 kB
Writeback:           0 kB
AnonPages:        6336 kB
Mapped:           6852 kB
Slab:            49196 kB
PageTables:       4068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181424 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= 62520 MiB
End job on node047 at 2010-06-17 20:53:28