41.17/41.23	c 7936 324 0 0 0 0 0 0
41.17/41.23	c 4096 ~x1636662+2048 ~x1636661+1024 ~x1636660+512 ~x1636659+256 ~x1636658+128 ~x1636657+64 ~x1636656+32 ~x1636655+16 ~x1636654+8 ~x1636653+4 ~x1636652+2 ~x1636651+1 ~x1636650+6144 x7682+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=16382
41.27/41.30	c 8192 ~x1639363+4096 ~x1639362+2048 ~x1639361+1024 ~x1639360+512 ~x1639359+256 ~x1639358+128 ~x1639357+64 ~x1639356+32 ~x1639355+16 ~x1639354+8 ~x1639353+4 ~x1639352+2 ~x1639351+1 ~x1639350+8192 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
41.27/41.39	c 2048 ~x1643077+1024 ~x1643076+512 ~x1643075+256 ~x1643074+128 ~x1643073+64 ~x1643072+32 ~x1643071+16 ~x1643070+8 ~x1643069+4 ~x1643068+2 ~x1643067+1 ~x1643066+3072 x7684+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=8190
41.37/41.45	c 8192 ~x1645427+4096 ~x1645426+2048 ~x1645425+1024 ~x1645424+512 ~x1645423+256 ~x1645422+128 ~x1645421+64 ~x1645420+32 ~x1645419+16 ~x1645418+8 ~x1645417+4 ~x1645416+2 ~x1645415+1 ~x1645414+8192 x7685+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=32766
41.46/41.55	c 1024 ~x1649140+512 ~x1649139+256 ~x1649138+128 ~x1649137+64 ~x1649136+32 ~x1649135+16 ~x1649134+8 ~x1649133+4 ~x1649132+2 ~x1649131+1 ~x1649130+1024 x7686+1024 ~x132+512 ~x131+256 ~x130+128 ~x129+64 ~x128+32 ~x127+16 ~x126+8 ~x125+4 ~x124+2 ~x123+1 ~x122-0=4094
41.56/41.60	c 4096 ~x1651255+2048 ~x1651254+1024 ~x1651253+512 ~x1651252+256 ~x1651251+128 ~x1651250+64 ~x1651249+32 ~x1651248+16 ~x1651247+8 ~x1651246+4 ~x1651245+2 ~x1651244+1 ~x1651243+6144 x7687+4096 ~x164+2048 ~x163+1024 ~x162+512 ~x161+256 ~x160+128 ~x159+64 ~x158+32 ~x157+16 ~x156+8 ~x155+4 ~x154+2 ~x153+1 ~x152-0=16382
41.56/41.67	c 4096 ~x1653955+2048 ~x1653954+1024 ~x1653953+512 ~x1653952+256 ~x1653951+128 ~x1653950+64 ~x1653949+32 ~x1653948+16 ~x1653947+8 ~x1653946+4 ~x1653945+2 ~x1653944+1 ~x1653943+4096 x7688+4096 ~x194+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182-0=16382
41.67/41.74	c 4096 ~x1656655+2048 ~x1656654+1024 ~x1656653+512 ~x1656652+256 ~x1656651+128 ~x1656650+64 ~x1656649+32 ~x1656648+16 ~x1656647+8 ~x1656646+4 ~x1656645+2 ~x1656644+1 ~x1656643+6144 x7689+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=16382
41.78/41.80	c 2048 ~x1659354+1024 ~x1659353+512 ~x1659352+256 ~x1659351+128 ~x1659350+64 ~x1659349+32 ~x1659348+16 ~x1659347+8 ~x1659346+4 ~x1659345+2 ~x1659344+1 ~x1659343+2048 x7690+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=8190
41.78/41.86	c 4096 ~x1661703+2048 ~x1661702+1024 ~x1661701+512 ~x1661700+256 ~x1661699+128 ~x1661698+64 ~x1661697+32 ~x1661696+16 ~x1661695+8 ~x1661694+4 ~x1661693+2 ~x1661692+1 ~x1661691+7168 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
41.87/41.93	c 2048 ~x1664402+1024 ~x1664401+512 ~x1664400+256 ~x1664399+128 ~x1664398+64 ~x1664397+32 ~x1664396+16 ~x1664395+8 ~x1664394+4 ~x1664393+2 ~x1664392+1 ~x1664391+3072 x7692+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=8190
41.87/41.99	c 8192 ~x1666752+4096 ~x1666751+2048 ~x1666750+1024 ~x1666749+512 ~x1666748+256 ~x1666747+128 ~x1666746+64 ~x1666745+32 ~x1666744+16 ~x1666743+8 ~x1666742+4 ~x1666741+2 ~x1666740+1 ~x1666739+9216 x7693+8192 ~x345+4096 ~x344+2048 ~x343+1024 ~x342+512 ~x341+256 ~x340+128 ~x339+64 ~x338+32 ~x337+16 ~x336+8 ~x335+4 ~x334+2 ~x333+1 ~x332-0=32766
41.97/42.09	c 16384 ~x1670469+8192 ~x1670468+4096 ~x1670467+2048 ~x1670466+1024 ~x1670465+512 ~x1670464+256 ~x1670463+128 ~x1670462+64 ~x1670461+32 ~x1670460+16 ~x1670459+8 ~x1670458+4 ~x1670457+2 ~x1670456+1 ~x1670455+22528 x7694+16384 ~x376+8192 ~x375+4096 ~x374+2048 ~x373+1024 ~x372+512 ~x371+256 ~x370+128 ~x369+64 ~x368+32 ~x367+16 ~x366+8 ~x365+4 ~x364+2 ~x363+1 ~x362-0=65534
42.07/42.19	c 32768 ~x1674762+16384 ~x1674761+8192 ~x1674760+4096 ~x1674759+2048 ~x1674758+1024 ~x1674757+512 ~x1674756+256 ~x1674755+128 ~x1674754+64 ~x1674753+32 ~x1674752+16 ~x1674751+8 ~x1674750+4 ~x1674749+2 ~x1674748+1 ~x1674747+44032 x7695+32768 ~x407+16384 ~x406+8192 ~x405+4096 ~x404+2048 ~x403+1024 ~x402+512 ~x401+256 ~x400+128 ~x399+64 ~x398+32 ~x397+16 ~x396+8 ~x395+4 ~x394+2 ~x393+1 ~x392-0=131070
42.26/42.30	c 16384 ~x1679390+8192 ~x1679389+4096 ~x1679388+2048 ~x1679387+1024 ~x1679386+512 ~x1679385+256 ~x1679384+128 ~x1679383+64 ~x1679382+32 ~x1679381+16 ~x1679380+8 ~x1679379+4 ~x1679378+2 ~x1679377+1 ~x1679376+31744 x7696+16384 ~x436+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=65534
42.36/42.41	c 2048 ~x1683679+1024 ~x1683678+512 ~x1683677+256 ~x1683676+128 ~x1683675+64 ~x1683674+32 ~x1683673+16 ~x1683672+8 ~x1683671+4 ~x1683670+2 ~x1683669+1 ~x1683668+2048 x7697+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=8190
42.36/42.47	c 8192 ~x1686029+4096 ~x1686028+2048 ~x1686027+1024 ~x1686026+512 ~x1686025+256 ~x1686024+128 ~x1686023+64 ~x1686022+32 ~x1686021+16 ~x1686020+8 ~x1686019+4 ~x1686018+2 ~x1686017+1 ~x1686016+9216 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
42.47/42.56	c 8192 ~x1689745+4096 ~x1689744+2048 ~x1689743+1024 ~x1689742+512 ~x1689741+256 ~x1689740+128 ~x1689739+64 ~x1689738+32 ~x1689737+16 ~x1689736+8 ~x1689735+4 ~x1689734+2 ~x1689733+1 ~x1689732+12288 x7699+8192 ~x525+4096 ~x524+2048 ~x523+1024 ~x522+512 ~x521+256 ~x520+128 ~x519+64 ~x518+32 ~x517+16 ~x516+8 ~x515+4 ~x514+2 ~x513+1 ~x512-0=32766
42.57/42.65	c 4096 ~x1693460+2048 ~x1693459+1024 ~x1693458+512 ~x1693457+256 ~x1693456+128 ~x1693455+64 ~x1693454+32 ~x1693453+16 ~x1693452+8 ~x1693451+4 ~x1693450+2 ~x1693449+1 ~x1693448+5120 x7700+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=16382
42.66/42.72	c 4096 ~x1696160+2048 ~x1696159+1024 ~x1696158+512 ~x1696157+256 ~x1696156+128 ~x1696155+64 ~x1696154+32 ~x1696153+16 ~x1696152+8 ~x1696151+4 ~x1696150+2 ~x1696149+1 ~x1696148+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
42.66/42.79	c 4096 ~x1698860+2048 ~x1698859+1024 ~x1698858+512 ~x1698857+256 ~x1698856+128 ~x1698855+64 ~x1698854+32 ~x1698853+16 ~x1698852+8 ~x1698851+4 ~x1698850+2 ~x1698849+1 ~x1698848+7168 x7702+4096 ~x614+2048 ~x613+1024 ~x612+512 ~x611+256 ~x610+128 ~x609+64 ~x608+32 ~x607+16 ~x606+8 ~x605+4 ~x604+2 ~x603+1 ~x602-0=16382
42.77/42.86	c 8192 ~x1701561+4096 ~x1701560+2048 ~x1701559+1024 ~x1701558+512 ~x1701557+256 ~x1701556+128 ~x1701555+64 ~x1701554+32 ~x1701553+16 ~x1701552+8 ~x1701551+4 ~x1701550+2 ~x1701549+1 ~x1701548+11264 x7703+8192 ~x645+4096 ~x644+2048 ~x643+1024 ~x642+512 ~x641+256 ~x640+128 ~x639+64 ~x638+32 ~x637+16 ~x636+8 ~x635+4 ~x634+2 ~x633+1 ~x632-0=32766
42.87/42.95	c 32768 ~x1705279+16384 ~x1705278+8192 ~x1705277+4096 ~x1705276+2048 ~x1705275+1024 ~x1705274+512 ~x1705273+256 ~x1705272+128 ~x1705271+64 ~x1705270+32 ~x1705269+16 ~x1705268+8 ~x1705267+4 ~x1705266+2 ~x1705265+1 ~x1705264+33792 x7704+32768 ~x677+16384 ~x676+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662-0=131070
42.97/43.06	c 16384 ~x1709907+8192 ~x1709906+4096 ~x1709905+2048 ~x1709904+1024 ~x1709903+512 ~x1709902+256 ~x1709901+128 ~x1709900+64 ~x1709899+32 ~x1709898+16 ~x1709897+8 ~x1709896+4 ~x1709895+2 ~x1709894+1 ~x1709893+17408 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
43.07/43.16	c 16384 ~x1713942+8192 ~x1713941+4096 ~x1713940+2048 ~x1713939+1024 ~x1713938+512 ~x1713937+256 ~x1713936+128 ~x1713935+64 ~x1713934+32 ~x1713933+16 ~x1713932+8 ~x1713931+4 ~x1713930+2 ~x1713929+1 ~x1713928+18432 x7706+16384 ~x736+8192 ~x735+4096 ~x734+2048 ~x733+1024 ~x732+512 ~x731+256 ~x730+128 ~x729+64 ~x728+32 ~x727+16 ~x726+8 ~x725+4 ~x724+2 ~x723+1 ~x722-0=65534
43.17/43.26	c 8192 ~x1717976+4096 ~x1717975+2048 ~x1717974+1024 ~x1717973+512 ~x1717972+256 ~x1717971+128 ~x1717970+64 ~x1717969+32 ~x1717968+16 ~x1717967+8 ~x1717966+4 ~x1717965+2 ~x1717964+1 ~x1717963+15360 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
43.26/43.36	c 2048 ~x1721690+1024 ~x1721689+512 ~x1721688+256 ~x1721687+128 ~x1721686+64 ~x1721685+32 ~x1721684+16 ~x1721683+8 ~x1721682+4 ~x1721681+2 ~x1721680+1 ~x1721679+3072 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
43.36/43.42	c 4096 ~x1724039+2048 ~x1724038+1024 ~x1724037+512 ~x1724036+256 ~x1724035+128 ~x1724034+64 ~x1724033+32 ~x1724032+16 ~x1724031+8 ~x1724030+4 ~x1724029+2 ~x1724028+1 ~x1724027+5120 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
43.36/43.49	c 4096 ~x1726739+2048 ~x1726738+1024 ~x1726737+512 ~x1726736+256 ~x1726735+128 ~x1726734+64 ~x1726733+32 ~x1726732+16 ~x1726731+8 ~x1726730+4 ~x1726729+2 ~x1726728+1 ~x1726727+4096 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
43.46/43.55	c 4096 ~x1729439+2048 ~x1729438+1024 ~x1729437+512 ~x1729436+256 ~x1729435+128 ~x1729434+64 ~x1729433+32 ~x1729432+16 ~x1729431+8 ~x1729430+4 ~x1729429+2 ~x1729428+1 ~x1729427+4096 x7711+4096 ~x884+2048 ~x883+1024 ~x882+512 ~x881+256 ~x880+128 ~x879+64 ~x878+32 ~x877+16 ~x876+8 ~x875+4 ~x874+2 ~x873+1 ~x872-0=16382
43.56/43.62	c 16384 ~x1732141+8192 ~x1732140+4096 ~x1732139+2048 ~x1732138+1024 ~x1732137+512 ~x1732136+256 ~x1732135+128 ~x1732134+64 ~x1732133+32 ~x1732132+16 ~x1732131+8 ~x1732130+4 ~x1732129+2 ~x1732128+1 ~x1732127+17408 x7712+16384 ~x916+8192 ~x915+4096 ~x914+2048 ~x913+1024 ~x912+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902-0=65534
43.67/43.72	c 4096 ~x1736174+2048 ~x1736173+1024 ~x1736172+512 ~x1736171+256 ~x1736170+128 ~x1736169+64 ~x1736168+32 ~x1736167+16 ~x1736166+8 ~x1736165+4 ~x1736164+2 ~x1736163+1 ~x1736162+7168 x7713+4096 ~x944+2048 ~x943+1024 ~x942+512 ~x941+256 ~x940+128 ~x939+64 ~x938+32 ~x937+16 ~x936+8 ~x935+4 ~x934+2 ~x933+1 ~x932-0=16382
43.67/43.79	c 8192 ~x1738875+4096 ~x1738874+2048 ~x1738873+1024 ~x1738872+512 ~x1738871+256 ~x1738870+128 ~x1738869+64 ~x1738868+32 ~x1738867+16 ~x1738866+8 ~x1738865+4 ~x1738864+2 ~x1738863+1 ~x1738862+15360 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
43.77/43.88	c 4096 ~x1742590+2048 ~x1742589+1024 ~x1742588+512 ~x1742587+256 ~x1742586+128 ~x1742585+64 ~x1742584+32 ~x1742583+16 ~x1742582+8 ~x1742581+4 ~x1742580+2 ~x1742579+1 ~x1742578+6144 x7715+4096 ~x1004+2048 ~x1003+1024 ~x1002+512 ~x1001+256 ~x1000+128 ~x999+64 ~x998+32 ~x997+16 ~x996+8 ~x995+4 ~x994+2 ~x993+1 ~x992-0=16382
43.87/43.95	c 8192 ~x1745291+4096 ~x1745290+2048 ~x1745289+1024 ~x1745288+512 ~x1745287+256 ~x1745286+128 ~x1745285+64 ~x1745284+32 ~x1745283+16 ~x1745282+8 ~x1745281+4 ~x1745280+2 ~x1745279+1 ~x1745278+8192 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
43.97/44.04	c 8192 ~x1749007+4096 ~x1749006+2048 ~x1749005+1024 ~x1749004+512 ~x1749003+256 ~x1749002+128 ~x1749001+64 ~x1749000+32 ~x1748999+16 ~x1748998+8 ~x1748997+4 ~x1748996+2 ~x1748995+1 ~x1748994+8192 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
44.06/44.13	c 8192 ~x1752723+4096 ~x1752722+2048 ~x1752721+1024 ~x1752720+512 ~x1752719+256 ~x1752718+128 ~x1752717+64 ~x1752716+32 ~x1752715+16 ~x1752714+8 ~x1752713+4 ~x1752712+2 ~x1752711+1 ~x1752710+8192 x7718+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=32766
44.17/44.23	c 16384 ~x1756440+8192 ~x1756439+4096 ~x1756438+2048 ~x1756437+1024 ~x1756436+512 ~x1756435+256 ~x1756434+128 ~x1756433+64 ~x1756432+32 ~x1756431+16 ~x1756430+8 ~x1756429+4 ~x1756428+2 ~x1756427+1 ~x1756426+30720 x7719+16384 ~x1126+8192 ~x1125+4096 ~x1124+2048 ~x1123+1024 ~x1122+512 ~x1121+256 ~x1120+128 ~x1119+64 ~x1118+32 ~x1117+16 ~x1116+8 ~x1115+4 ~x1114+2 ~x1113+1 ~x1112-0=65534
44.27/44.33	c 8192 ~x1760731+4096 ~x1760730+2048 ~x1760729+1024 ~x1760728+512 ~x1760727+256 ~x1760726+128 ~x1760725+64 ~x1760724+32 ~x1760723+16 ~x1760722+8 ~x1760721+4 ~x1760720+2 ~x1760719+1 ~x1760718+14336 x7720+8192 ~x1155+4096 ~x1154+2048 ~x1153+1024 ~x1152+512 ~x1151+256 ~x1150+128 ~x1149+64 ~x1148+32 ~x1147+16 ~x1146+8 ~x1145+4 ~x1144+2 ~x1143+1 ~x1142-0=32766
44.37/44.43	c 32768 ~x1764449+16384 ~x1764448+8192 ~x1764447+4096 ~x1764446+2048 ~x1764445+1024 ~x1764444+512 ~x1764443+256 ~x1764442+128 ~x1764441+64 ~x1764440+32 ~x1764439+16 ~x1764438+8 ~x1764437+4 ~x1764436+2 ~x1764435+1 ~x1764434+32768 x7721+32768 ~x1187+16384 ~x1186+8192 ~x1185+4096 ~x1184+2048 ~x1183+1024 ~x1182+512 ~x1181+256 ~x1180+128 ~x1179+64 ~x1178+32 ~x1177+16 ~x1176+8 ~x1175+4 ~x1174+2 ~x1173+1 ~x1172-0=131070
44.46/44.54	c 2048 ~x1769074+1024 ~x1769073+512 ~x1769072+256 ~x1769071+128 ~x1769070+64 ~x1769069+32 ~x1769068+16 ~x1769067+8 ~x1769066+4 ~x1769065+2 ~x1769064+1 ~x1769063+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
44.56/44.60	c 2048 ~x1771422+1024 ~x1771421+512 ~x1771420+256 ~x1771419+128 ~x1771418+64 ~x1771417+32 ~x1771416+16 ~x1771415+8 ~x1771414+4 ~x1771413+2 ~x1771412+1 ~x1771411+2048 x7723+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=8190
44.56/44.66	c 4096 ~x1773771+2048 ~x1773770+1024 ~x1773769+512 ~x1773768+256 ~x1773767+128 ~x1773766+64 ~x1773765+32 ~x1773764+16 ~x1773763+8 ~x1773762+4 ~x1773761+2 ~x1773760+1 ~x1773759+7168 x7724+4096 ~x1274+2048 ~x1273+1024 ~x1272+512 ~x1271+256 ~x1270+128 ~x1269+64 ~x1268+32 ~x1267+16 ~x1266+8 ~x1265+4 ~x1264+2 ~x1263+1 ~x1262-0=16382
44.67/44.73	c 2048 ~x1776470+1024 ~x1776469+512 ~x1776468+256 ~x1776467+128 ~x1776466+64 ~x1776465+32 ~x1776464+16 ~x1776463+8 ~x1776462+4 ~x1776461+2 ~x1776460+1 ~x1776459+2048 x7725+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=8190
44.67/44.79	c 2048 ~x1778818+1024 ~x1778817+512 ~x1778816+256 ~x1778815+128 ~x1778814+64 ~x1778813+32 ~x1778812+16 ~x1778811+8 ~x1778810+4 ~x1778809+2 ~x1778808+1 ~x1778807+3072 x7726+2048 ~x1333+1024 ~x1332+512 ~x1331+256 ~x1330+128 ~x1329+64 ~x1328+32 ~x1327+16 ~x1326+8 ~x1325+4 ~x1324+2 ~x1323+1 ~x1322-0=8190
44.77/44.86	c 32768 ~x1781170+16384 ~x1781169+8192 ~x1781168+4096 ~x1781167+2048 ~x1781166+1024 ~x1781165+512 ~x1781164+256 ~x1781163+128 ~x1781162+64 ~x1781161+32 ~x1781160+16 ~x1781159+8 ~x1781158+4 ~x1781157+2 ~x1781156+1 ~x1781155+44032 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
44.87/44.97	c 8192 ~x1785797+4096 ~x1785796+2048 ~x1785795+1024 ~x1785794+512 ~x1785793+256 ~x1785792+128 ~x1785791+64 ~x1785790+32 ~x1785789+16 ~x1785788+8 ~x1785787+4 ~x1785786+2 ~x1785785+1 ~x1785784+10240 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
44.97/45.06	c 16384 ~x1789514+8192 ~x1789513+4096 ~x1789512+2048 ~x1789511+1024 ~x1789510+512 ~x1789509+256 ~x1789508+128 ~x1789507+64 ~x1789506+32 ~x1789505+16 ~x1789504+8 ~x1789503+4 ~x1789502+2 ~x1789501+1 ~x1789500+18432 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
45.07/45.16	c 8192 ~x1793548+4096 ~x1793547+2048 ~x1793546+1024 ~x1793545+512 ~x1793544+256 ~x1793543+128 ~x1793542+64 ~x1793541+32 ~x1793540+16 ~x1793539+8 ~x1793538+4 ~x1793537+2 ~x1793536+1 ~x1793535+8192 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
45.17/45.25	c 8192 ~x1797264+4096 ~x1797263+2048 ~x1797262+1024 ~x1797261+512 ~x1797260+256 ~x1797259+128 ~x1797258+64 ~x1797257+32 ~x1797256+16 ~x1797255+8 ~x1797254+4 ~x1797253+2 ~x1797252+1 ~x1797251+10240 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
45.27/45.35	c 8192 ~x1800980+4096 ~x1800979+2048 ~x1800978+1024 ~x1800977+512 ~x1800976+256 ~x1800975+128 ~x1800974+64 ~x1800973+32 ~x1800972+16 ~x1800971+8 ~x1800970+4 ~x1800969+2 ~x1800968+1 ~x1800967+8192 x7732+8192 ~x1515+4096 ~x1514+2048 ~x1513+1024 ~x1512+512 ~x1511+256 ~x1510+128 ~x1509+64 ~x1508+32 ~x1507+16 ~x1506+8 ~x1505+4 ~x1504+2 ~x1503+1 ~x1502-0=32766
45.37/45.44	c 16384 ~x1804697+8192 ~x1804696+4096 ~x1804695+2048 ~x1804694+1024 ~x1804693+512 ~x1804692+256 ~x1804691+128 ~x1804690+64 ~x1804689+32 ~x1804688+16 ~x1804687+8 ~x1804686+4 ~x1804685+2 ~x1804684+1 ~x1804683+21504 x7733+16384 ~x1546+8192 ~x1545+4096 ~x1544+2048 ~x1543+1024 ~x1542+512 ~x1541+256 ~x1540+128 ~x1539+64 ~x1538+32 ~x1537+16 ~x1536+8 ~x1535+4 ~x1534+2 ~x1533+1 ~x1532-0=65534
45.47/45.55	c 4096 ~x1808987+2048 ~x1808986+1024 ~x1808985+512 ~x1808984+256 ~x1808983+128 ~x1808982+64 ~x1808981+32 ~x1808980+16 ~x1808979+8 ~x1808978+4 ~x1808977+2 ~x1808976+1 ~x1808975+4096 x7734+4096 ~x1574+2048 ~x1573+1024 ~x1572+512 ~x1571+256 ~x1570+128 ~x1569+64 ~x1568+32 ~x1567+16 ~x1566+8 ~x1565+4 ~x1564+2 ~x1563+1 ~x1562-0=16382
45.57/45.61	c 8192 ~x1811688+4096 ~x1811687+2048 ~x1811686+1024 ~x1811685+512 ~x1811684+256 ~x1811683+128 ~x1811682+64 ~x1811681+32 ~x1811680+16 ~x1811679+8 ~x1811678+4 ~x1811677+2 ~x1811676+1 ~x1811675+11264 x7735+8192 ~x1605+4096 ~x1604+2048 ~x1603+1024 ~x1602+512 ~x1601+256 ~x1600+128 ~x1599+64 ~x1598+32 ~x1597+16 ~x1596+8 ~x1595+4 ~x1594+2 ~x1593+1 ~x1592-0=32766
45.66/45.71	c 2048 ~x1815402+1024 ~x1815401+512 ~x1815400+256 ~x1815399+128 ~x1815398+64 ~x1815397+32 ~x1815396+16 ~x1815395+8 ~x1815394+4 ~x1815393+2 ~x1815392+1 ~x1815391+3072 x7736+2048 ~x1633+1024 ~x1632+512 ~x1631+256 ~x1630+128 ~x1629+64 ~x1628+32 ~x1627+16 ~x1626+8 ~x1625+4 ~x1624+2 ~x1623+1 ~x1622-0=8190
45.66/45.77	c 4096 ~x1817751+2048 ~x1817750+1024 ~x1817749+512 ~x1817748+256 ~x1817747+128 ~x1817746+64 ~x1817745+32 ~x1817744+16 ~x1817743+8 ~x1817742+4 ~x1817741+2 ~x1817740+1 ~x1817739+4096 x7737+4096 ~x1664+2048 ~x1663+1024 ~x1662+512 ~x1661+256 ~x1660+128 ~x1659+64 ~x1658+32 ~x1657+16 ~x1656+8 ~x1655+4 ~x1654+2 ~x1653+1 ~x1652-0=16382
45.76/45.83	c 1024 ~x1820449+512 ~x1820448+256 ~x1820447+128 ~x1820446+64 ~x1820445+32 ~x1820444+16 ~x1820443+8 ~x1820442+4 ~x1820441+2 ~x1820440+1 ~x1820439+1024 x7738+1024 ~x1692+512 ~x1691+256 ~x1690+128 ~x1689+64 ~x1688+32 ~x1687+16 ~x1686+8 ~x1685+4 ~x1684+2 ~x1683+1 ~x1682-0=4094
45.76/45.89	c 8192 ~x1822565+4096 ~x1822564+2048 ~x1822563+1024 ~x1822562+512 ~x1822561+256 ~x1822560+128 ~x1822559+64 ~x1822558+32 ~x1822557+16 ~x1822556+8 ~x1822555+4 ~x1822554+2 ~x1822553+1 ~x1822552+8192 x7739+8192 ~x1725+4096 ~x1724+2048 ~x1723+1024 ~x1722+512 ~x1721+256 ~x1720+128 ~x1719+64 ~x1718+32 ~x1717+16 ~x1716+8 ~x1715+4 ~x1714+2 ~x1713+1 ~x1712-0=32766
45.86/45.98	c 16384 ~x1826282+8192 ~x1826281+4096 ~x1826280+2048 ~x1826279+1024 ~x1826278+512 ~x1826277+256 ~x1826276+128 ~x1826275+64 ~x1826274+32 ~x1826273+16 ~x1826272+8 ~x1826271+4 ~x1826270+2 ~x1826269+1 ~x1826268+24576 x7740+16384 ~x1756+8192 ~x1755+4096 ~x1754+2048 ~x1753+1024 ~x1752+512 ~x1751+256 ~x1750+128 ~x1749+64 ~x1748+32 ~x1747+16 ~x1746+8 ~x1745+4 ~x1744+2 ~x1743+1 ~x1742-0=65534
45.97/46.09	c 32768 ~x1830575+16384 ~x1830574+8192 ~x1830573+4096 ~x1830572+2048 ~x1830571+1024 ~x1830570+512 ~x1830569+256 ~x1830568+128 ~x1830567+64 ~x1830566+32 ~x1830565+16 ~x1830564+8 ~x1830563+4 ~x1830562+2 ~x1830561+1 ~x1830560+45056 x7741+32768 ~x1787+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=131070
46.07/46.20	c 2048 ~x1835200+1024 ~x1835199+512 ~x1835198+256 ~x1835197+128 ~x1835196+64 ~x1835195+32 ~x1835194+16 ~x1835193+8 ~x1835192+4 ~x1835191+2 ~x1835190+1 ~x1835189+3072 x7742+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=8190
46.17/46.26	c 8192 ~x1837550+4096 ~x1837549+2048 ~x1837548+1024 ~x1837547+512 ~x1837546+256 ~x1837545+128 ~x1837544+64 ~x1837543+32 ~x1837542+16 ~x1837541+8 ~x1837540+4 ~x1837539+2 ~x1837538+1 ~x1837537+8192 x7743+8192 ~x1845+4096 ~x1844+2048 ~x1843+1024 ~x1842+512 ~x1841+256 ~x1840+128 ~x1839+64 ~x1838+32 ~x1837+16 ~x1836+8 ~x1835+4 ~x1834+2 ~x1833+1 ~x1832-0=32766
46.26/46.35	c 2048 ~x1841264+1024 ~x1841263+512 ~x1841262+256 ~x1841261+128 ~x1841260+64 ~x1841259+32 ~x1841258+16 ~x1841257+8 ~x1841256+4 ~x1841255+2 ~x1841254+1 ~x1841253+3072 x7744+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=8190
46.37/46.41	c 8192 ~x1843614+4096 ~x1843613+2048 ~x1843612+1024 ~x1843611+512 ~x1843610+256 ~x1843609+128 ~x1843608+64 ~x1843607+32 ~x1843606+16 ~x1843605+8 ~x1843604+4 ~x1843603+2 ~x1843602+1 ~x1843601+11264 x7745+8192 ~x1905+4096 ~x1904+2048 ~x1903+1024 ~x1902+512 ~x1901+256 ~x1900+128 ~x1899+64 ~x1898+32 ~x1897+16 ~x1896+8 ~x1895+4 ~x1894+2 ~x1893+1 ~x1892-0=32766
46.47/46.51	c 2048 ~x1847328+1024 ~x1847327+512 ~x1847326+256 ~x1847325+128 ~x1847324+64 ~x1847323+32 ~x1847322+16 ~x1847321+8 ~x1847320+4 ~x1847319+2 ~x1847318+1 ~x1847317+3072 x7746+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=8190
46.47/46.57	c 8192 ~x1849678+4096 ~x1849677+2048 ~x1849676+1024 ~x1849675+512 ~x1849674+256 ~x1849673+128 ~x1849672+64 ~x1849671+32 ~x1849670+16 ~x1849669+8 ~x1849668+4 ~x1849667+2 ~x1849666+1 ~x1849665+15360 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
46.57/46.66	c 8192 ~x1853394+4096 ~x1853393+2048 ~x1853392+1024 ~x1853391+512 ~x1853390+256 ~x1853389+128 ~x1853388+64 ~x1853387+32 ~x1853386+16 ~x1853385+8 ~x1853384+4 ~x1853383+2 ~x1853382+1 ~x1853381+11264 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
46.66/46.75	c 2048 ~x1857108+1024 ~x1857107+512 ~x1857106+256 ~x1857105+128 ~x1857104+64 ~x1857103+32 ~x1857102+16 ~x1857101+8 ~x1857100+4 ~x1857099+2 ~x1857098+1 ~x1857097+2048 x7749+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=8190
46.76/46.81	c 16384 ~x1859459+8192 ~x1859458+4096 ~x1859457+2048 ~x1859456+1024 ~x1859455+512 ~x1859454+256 ~x1859453+128 ~x1859452+64 ~x1859451+32 ~x1859450+16 ~x1859449+8 ~x1859448+4 ~x1859447+2 ~x1859446+1 ~x1859445+21504 x7750+16384 ~x2056+8192 ~x2055+4096 ~x2054+2048 ~x2053+1024 ~x2052+512 ~x2051+256 ~x2050+128 ~x2049+64 ~x2048+32 ~x2047+16 ~x2046+8 ~x2045+4 ~x2044+2 ~x2043+1 ~x2042-0=65534
46.87/46.92	c 16384 ~x1863751+8192 ~x1863750+4096 ~x1863749+2048 ~x1863748+1024 ~x1863747+512 ~x1863746+256 ~x1863745+128 ~x1863744+64 ~x1863743+32 ~x1863742+16 ~x1863741+8 ~x1863740+4 ~x1863739+2 ~x1863738+1 ~x1863737+19456 x7751+16384 ~x2086+8192 ~x2085+4096 ~x2084+2048 ~x2083+1024 ~x2082+512 ~x2081+256 ~x2080+128 ~x2079+64 ~x2078+32 ~x2077+16 ~x2076+8 ~x2075+4 ~x2074+2 ~x2073+1 ~x2072-0=65534
46.97/47.02	c 8192 ~x1867785+4096 ~x1867784+2048 ~x1867783+1024 ~x1867782+512 ~x1867781+256 ~x1867780+128 ~x1867779+64 ~x1867778+32 ~x1867777+16 ~x1867776+8 ~x1867775+4 ~x1867774+2 ~x1867773+1 ~x1867772+8192 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
47.06/47.11	c 1024 ~x1871498+512 ~x1871497+256 ~x1871496+128 ~x1871495+64 ~x1871494+32 ~x1871493+16 ~x1871492+8 ~x1871491+4 ~x1871490+2 ~x1871489+1 ~x1871488+1024 x7753+1024 ~x2142+512 ~x2141+256 ~x2140+128 ~x2139+64 ~x2138+32 ~x2137+16 ~x2136+8 ~x2135+4 ~x2134+2 ~x2133+1 ~x2132-0=4094
47.06/47.17	c 4096 ~x1873613+2048 ~x1873612+1024 ~x1873611+512 ~x1873610+256 ~x1873609+128 ~x1873608+64 ~x1873607+32 ~x1873606+16 ~x1873605+8 ~x1873604+4 ~x1873603+2 ~x1873602+1 ~x1873601+4096 x7754+4096 ~x2174+2048 ~x2173+1024 ~x2172+512 ~x2171+256 ~x2170+128 ~x2169+64 ~x2168+32 ~x2167+16 ~x2166+8 ~x2165+4 ~x2164+2 ~x2163+1 ~x2162-0=16382
47.17/47.24	c 8192 ~x1876314+4096 ~x1876313+2048 ~x1876312+1024 ~x1876311+512 ~x1876310+256 ~x1876309+128 ~x1876308+64 ~x1876307+32 ~x1876306+16 ~x1876305+8 ~x1876304+4 ~x1876303+2 ~x1876302+1 ~x1876301+8192 x7755+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=32766
47.28/47.33	c 1024 ~x1880027+512 ~x1880026+256 ~x1880025+128 ~x1880024+64 ~x1880023+32 ~x1880022+16 ~x1880021+8 ~x1880020+4 ~x1880019+2 ~x1880018+1 ~x1880017+1024 x7756+1024 ~x2232+512 ~x2231+256 ~x2230+128 ~x2229+64 ~x2228+32 ~x2227+16 ~x2226+8 ~x2225+4 ~x2224+2 ~x2223+1 ~x2222-0=4094
47.28/47.38	c 4096 ~x1882142+2048 ~x1882141+1024 ~x1882140+512 ~x1882139+256 ~x1882138+128 ~x1882137+64 ~x1882136+32 ~x1882135+16 ~x1882134+8 ~x1882133+4 ~x1882132+2 ~x1882131+1 ~x1882130+6144 x7757+4096 ~x2264+2048 ~x2263+1024 ~x2262+512 ~x2261+256 ~x2260+128 ~x2259+64 ~x2258+32 ~x2257+16 ~x2256+8 ~x2255+4 ~x2254+2 ~x2253+1 ~x2252-0=16382
47.36/47.45	c 4096 ~x1884842+2048 ~x1884841+1024 ~x1884840+512 ~x1884839+256 ~x1884838+128 ~x1884837+64 ~x1884836+32 ~x1884835+16 ~x1884834+8 ~x1884833+4 ~x1884832+2 ~x1884831+1 ~x1884830+4096 x7758+4096 ~x2294+2048 ~x2293+1024 ~x2292+512 ~x2291+256 ~x2290+128 ~x2289+64 ~x2288+32 ~x2287+16 ~x2286+8 ~x2285+4 ~x2284+2 ~x2283+1 ~x2282-0=16382
47.46/47.52	c 4096 ~x1887542+2048 ~x1887541+1024 ~x1887540+512 ~x1887539+256 ~x1887538+128 ~x1887537+64 ~x1887536+32 ~x1887535+16 ~x1887534+8 ~x1887533+4 ~x1887532+2 ~x1887531+1 ~x1887530+6144 x7759+4096 ~x2324+2048 ~x2323+1024 ~x2322+512 ~x2321+256 ~x2320+128 ~x2319+64 ~x2318+32 ~x2317+16 ~x2316+8 ~x2315+4 ~x2314+2 ~x2313+1 ~x2312-0=16382
47.46/47.59	c 2048 ~x1890241+1024 ~x1890240+512 ~x1890239+256 ~x1890238+128 ~x1890237+64 ~x1890236+32 ~x1890235+16 ~x1890234+8 ~x1890233+4 ~x1890232+2 ~x1890231+1 ~x1890230+2048 x7760+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=8190
47.56/47.65	c 4096 ~x1892590+2048 ~x1892589+1024 ~x1892588+512 ~x1892587+256 ~x1892586+128 ~x1892585+64 ~x1892584+32 ~x1892583+16 ~x1892582+8 ~x1892581+4 ~x1892580+2 ~x1892579+1 ~x1892578+4096 x7761+4096 ~x2384+2048 ~x2383+1024 ~x2382+512 ~x2381+256 ~x2380+128 ~x2379+64 ~x2378+32 ~x2377+16 ~x2376+8 ~x2375+4 ~x2374+2 ~x2373+1 ~x2372-0=16382
47.66/47.71	c 4096 ~x1895290+2048 ~x1895289+1024 ~x1895288+512 ~x1895287+256 ~x1895286+128 ~x1895285+64 ~x1895284+32 ~x1895283+16 ~x1895282+8 ~x1895281+4 ~x1895280+2 ~x1895279+1 ~x1895278+7168 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
47.66/47.78	c 2048 ~x1897989+1024 ~x1897988+512 ~x1897987+256 ~x1897986+128 ~x1897985+64 ~x1897984+32 ~x1897983+16 ~x1897982+8 ~x1897981+4 ~x1897980+2 ~x1897979+1 ~x1897978+3072 x7763+2048 ~x2443+1024 ~x2442+512 ~x2441+256 ~x2440+128 ~x2439+64 ~x2438+32 ~x2437+16 ~x2436+8 ~x2435+4 ~x2434+2 ~x2433+1 ~x2432-0=8190
47.77/47.84	c 8192 ~x1900339+4096 ~x1900338+2048 ~x1900337+1024 ~x1900336+512 ~x1900335+256 ~x1900334+128 ~x1900333+64 ~x1900332+32 ~x1900331+16 ~x1900330+8 ~x1900329+4 ~x1900328+2 ~x1900327+1 ~x1900326+9216 x7764+8192 ~x2475+4096 ~x2474+2048 ~x2473+1024 ~x2472+512 ~x2471+256 ~x2470+128 ~x2469+64 ~x2468+32 ~x2467+16 ~x2466+8 ~x2465+4 ~x2464+2 ~x2463+1 ~x2462-0=32766
47.87/47.93	c 16384 ~x1904056+8192 ~x1904055+4096 ~x1904054+2048 ~x1904053+1024 ~x1904052+512 ~x1904051+256 ~x1904050+128 ~x1904049+64 ~x1904048+32 ~x1904047+16 ~x1904046+8 ~x1904045+4 ~x1904044+2 ~x1904043+1 ~x1904042+22528 x7765+16384 ~x2506+8192 ~x2505+4096 ~x2504+2048 ~x2503+1024 ~x2502+512 ~x2501+256 ~x2500+128 ~x2499+64 ~x2498+32 ~x2497+16 ~x2496+8 ~x2495+4 ~x2494+2 ~x2493+1 ~x2492-0=65534
47.97/48.04	c 16384 ~x1908348+8192 ~x1908347+4096 ~x1908346+2048 ~x1908345+1024 ~x1908344+512 ~x1908343+256 ~x1908342+128 ~x1908341+64 ~x1908340+32 ~x1908339+16 ~x1908338+8 ~x1908337+4 ~x1908336+2 ~x1908335+1 ~x1908334+31744 x7766+16384 ~x2536+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=65534
48.07/48.14	c 2048 ~x1912637+1024 ~x1912636+512 ~x1912635+256 ~x1912634+128 ~x1912633+64 ~x1912632+32 ~x1912631+16 ~x1912630+8 ~x1912629+4 ~x1912628+2 ~x1912627+1 ~x1912626+2048 x7767+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=8190
48.17/48.20	c 8192 ~x1914987+4096 ~x1914986+2048 ~x1914985+1024 ~x1914984+512 ~x1914983+256 ~x1914982+128 ~x1914981+64 ~x1914980+32 ~x1914979+16 ~x1914978+8 ~x1914977+4 ~x1914976+2 ~x1914975+1 ~x1914974+9216 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
48.27/48.30	c 8192 ~x1918703+4096 ~x1918702+2048 ~x1918701+1024 ~x1918700+512 ~x1918699+256 ~x1918698+128 ~x1918697+64 ~x1918696+32 ~x1918695+16 ~x1918694+8 ~x1918693+4 ~x1918692+2 ~x1918691+1 ~x1918690+12288 x7769+8192 ~x2625+4096 ~x2624+2048 ~x2623+1024 ~x2622+512 ~x2621+256 ~x2620+128 ~x2619+64 ~x2618+32 ~x2617+16 ~x2616+8 ~x2615+4 ~x2614+2 ~x2613+1 ~x2612-0=32766
48.27/48.39	c 4096 ~x1922418+2048 ~x1922417+1024 ~x1922416+512 ~x1922415+256 ~x1922414+128 ~x1922413+64 ~x1922412+32 ~x1922411+16 ~x1922410+8 ~x1922409+4 ~x1922408+2 ~x1922407+1 ~x1922406+5120 x7770+4096 ~x2654+2048 ~x2653+1024 ~x2652+512 ~x2651+256 ~x2650+128 ~x2649+64 ~x2648+32 ~x2647+16 ~x2646+8 ~x2645+4 ~x2644+2 ~x2643+1 ~x2642-0=16382
48.37/48.46	c 4096 ~x1925118+2048 ~x1925117+1024 ~x1925116+512 ~x1925115+256 ~x1925114+128 ~x1925113+64 ~x1925112+32 ~x1925111+16 ~x1925110+8 ~x1925109+4 ~x1925108+2 ~x1925107+1 ~x1925106+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
48.47/48.53	c 8192 ~x1927819+4096 ~x1927818+2048 ~x1927817+1024 ~x1927816+512 ~x1927815+256 ~x1927814+128 ~x1927813+64 ~x1927812+32 ~x1927811+16 ~x1927810+8 ~x1927809+4 ~x1927808+2 ~x1927807+1 ~x1927806+11264 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
48.57/48.62	c 4096 ~x1931534+2048 ~x1931533+1024 ~x1931532+512 ~x1931531+256 ~x1931530+128 ~x1931529+64 ~x1931528+32 ~x1931527+16 ~x1931526+8 ~x1931525+4 ~x1931524+2 ~x1931523+1 ~x1931522+7168 x7773+4096 ~x2744+2048 ~x2743+1024 ~x2742+512 ~x2741+256 ~x2740+128 ~x2739+64 ~x2738+32 ~x2737+16 ~x2736+8 ~x2735+4 ~x2734+2 ~x2733+1 ~x2732-0=16382
48.57/48.69	c 8192 ~x1934235+4096 ~x1934234+2048 ~x1934233+1024 ~x1934232+512 ~x1934231+256 ~x1934230+128 ~x1934229+64 ~x1934228+32 ~x1934227+16 ~x1934226+8 ~x1934225+4 ~x1934224+2 ~x1934223+1 ~x1934222+11264 x7774+8192 ~x2775+4096 ~x2774+2048 ~x2773+1024 ~x2772+512 ~x2771+256 ~x2770+128 ~x2769+64 ~x2768+32 ~x2767+16 ~x2766+8 ~x2765+4 ~x2764+2 ~x2763+1 ~x2762-0=32766
48.66/48.78	c 32768 ~x1937953+16384 ~x1937952+8192 ~x1937951+4096 ~x1937950+2048 ~x1937949+1024 ~x1937948+512 ~x1937947+256 ~x1937946+128 ~x1937945+64 ~x1937944+32 ~x1937943+16 ~x1937942+8 ~x1937941+4 ~x1937940+2 ~x1937939+1 ~x1937938+33792 x7775+32768 ~x2807+16384 ~x2806+8192 ~x2805+4096 ~x2804+2048 ~x2803+1024 ~x2802+512 ~x2801+256 ~x2800+128 ~x2799+64 ~x2798+32 ~x2797+16 ~x2796+8 ~x2795+4 ~x2794+2 ~x2793+1 ~x2792-0=131070
48.76/48.89	c 16384 ~x1942581+8192 ~x1942580+4096 ~x1942579+2048 ~x1942578+1024 ~x1942577+512 ~x1942576+256 ~x1942575+128 ~x1942574+64 ~x1942573+32 ~x1942572+16 ~x1942571+8 ~x1942570+4 ~x1942569+2 ~x1942568+1 ~x1942567+17408 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
48.86/48.99	c 8192 ~x1946615+4096 ~x1946614+2048 ~x1946613+1024 ~x1946612+512 ~x1946611+256 ~x1946610+128 ~x1946609+64 ~x1946608+32 ~x1946607+16 ~x1946606+8 ~x1946605+4 ~x1946604+2 ~x1946603+1 ~x1946602+15360 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
49.06/49.12	c 2048 ~x1950329+1024 ~x1950328+512 ~x1950327+256 ~x1950326+128 ~x1950325+64 ~x1950324+32 ~x1950323+16 ~x1950322+8 ~x1950321+4 ~x1950320+2 ~x1950319+1 ~x1950318+3072 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
49.06/49.18	c 4096 ~x1952678+2048 ~x1952677+1024 ~x1952676+512 ~x1952675+256 ~x1952674+128 ~x1952673+64 ~x1952672+32 ~x1952671+16 ~x1952670+8 ~x1952669+4 ~x1952668+2 ~x1952667+1 ~x1952666+5120 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
49.16/49.25	c 4096 ~x1955378+2048 ~x1955377+1024 ~x1955376+512 ~x1955375+256 ~x1955374+128 ~x1955373+64 ~x1955372+32 ~x1955371+16 ~x1955370+8 ~x1955369+4 ~x1955368+2 ~x1955367+1 ~x1955366+4096 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
49.26/49.31	c 4096 ~x1958078+2048 ~x1958077+1024 ~x1958076+512 ~x1958075+256 ~x1958074+128 ~x1958073+64 ~x1958072+32 ~x1958071+16 ~x1958070+8 ~x1958069+4 ~x1958068+2 ~x1958067+1 ~x1958066+4096 x7781+4096 ~x2984+2048 ~x2983+1024 ~x2982+512 ~x2981+256 ~x2980+128 ~x2979+64 ~x2978+32 ~x2977+16 ~x2976+8 ~x2975+4 ~x2974+2 ~x2973+1 ~x2972-0=16382
49.26/49.38	c 16384 ~x1960780+8192 ~x1960779+4096 ~x1960778+2048 ~x1960777+1024 ~x1960776+512 ~x1960775+256 ~x1960774+128 ~x1960773+64 ~x1960772+32 ~x1960771+16 ~x1960770+8 ~x1960769+4 ~x1960768+2 ~x1960767+1 ~x1960766+17408 x7782+16384 ~x3016+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=65534
49.37/49.48	c 2048 ~x1964812+1024 ~x1964811+512 ~x1964810+256 ~x1964809+128 ~x1964808+64 ~x1964807+32 ~x1964806+16 ~x1964805+8 ~x1964804+4 ~x1964803+2 ~x1964802+1 ~x1964801+3072 x7783+2048 ~x3043+1024 ~x3042+512 ~x3041+256 ~x3040+128 ~x3039+64 ~x3038+32 ~x3037+16 ~x3036+8 ~x3035+4 ~x3034+2 ~x3033+1 ~x3032-0=8190
49.47/49.54	c 4096 ~x1967161+2048 ~x1967160+1024 ~x1967159+512 ~x1967158+256 ~x1967157+128 ~x1967156+64 ~x1967155+32 ~x1967154+16 ~x1967153+8 ~x1967152+4 ~x1967151+2 ~x1967150+1 ~x1967149+7168 x7784+4096 ~x3074+2048 ~x3073+1024 ~x3072+512 ~x3071+256 ~x3070+128 ~x3069+64 ~x3068+32 ~x3067+16 ~x3066+8 ~x3065+4 ~x3064+2 ~x3063+1 ~x3062-0=16382
49.57/49.61	c 8192 ~x1969862+4096 ~x1969861+2048 ~x1969860+1024 ~x1969859+512 ~x1969858+256 ~x1969857+128 ~x1969856+64 ~x1969855+32 ~x1969854+16 ~x1969853+8 ~x1969852+4 ~x1969851+2 ~x1969850+1 ~x1969849+15360 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
49.67/49.70	c 4096 ~x1973577+2048 ~x1973576+1024 ~x1973575+512 ~x1973574+256 ~x1973573+128 ~x1973572+64 ~x1973571+32 ~x1973570+16 ~x1973569+8 ~x1973568+4 ~x1973567+2 ~x1973566+1 ~x1973565+6144 x7786+4096 ~x3134+2048 ~x3133+1024 ~x3132+512 ~x3131+256 ~x3130+128 ~x3129+64 ~x3128+32 ~x3127+16 ~x3126+8 ~x3125+4 ~x3124+2 ~x3123+1 ~x3122-0=16382
49.67/49.77	c 8192 ~x1976278+4096 ~x1976277+2048 ~x1976276+1024 ~x1976275+512 ~x1976274+256 ~x1976273+128 ~x1976272+64 ~x1976271+32 ~x1976270+16 ~x1976269+8 ~x1976268+4 ~x1976267+2 ~x1976266+1 ~x1976265+8192 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
49.76/49.86	c 8192 ~x1979994+4096 ~x1979993+2048 ~x1979992+1024 ~x1979991+512 ~x1979990+256 ~x1979989+128 ~x1979988+64 ~x1979987+32 ~x1979986+16 ~x1979985+8 ~x1979984+4 ~x1979983+2 ~x1979982+1 ~x1979981+8192 x7788+8192 ~x3195+4096 ~x3194+2048 ~x3193+1024 ~x3192+512 ~x3191+256 ~x3190+128 ~x3189+64 ~x3188+32 ~x3187+16 ~x3186+8 ~x3185+4 ~x3184+2 ~x3183+1 ~x3182-0=32766
49.86/49.95	c 16384 ~x1983711+8192 ~x1983710+4096 ~x1983709+2048 ~x1983708+1024 ~x1983707+512 ~x1983706+256 ~x1983705+128 ~x1983704+64 ~x1983703+32 ~x1983702+16 ~x1983701+8 ~x1983700+4 ~x1983699+2 ~x1983698+1 ~x1983697+30720 x7789+16384 ~x3226+8192 ~x3225+4096 ~x3224+2048 ~x3223+1024 ~x3222+512 ~x3221+256 ~x3220+128 ~x3219+64 ~x3218+32 ~x3217+16 ~x3216+8 ~x3215+4 ~x3214+2 ~x3213+1 ~x3212-0=65534
49.97/50.06	c 8192 ~x1988002+4096 ~x1988001+2048 ~x1988000+1024 ~x1987999+512 ~x1987998+256 ~x1987997+128 ~x1987996+64 ~x1987995+32 ~x1987994+16 ~x1987993+8 ~x1987992+4 ~x1987991+2 ~x1987990+1 ~x1987989+14336 x7790+8192 ~x3255+4096 ~x3254+2048 ~x3253+1024 ~x3252+512 ~x3251+256 ~x3250+128 ~x3249+64 ~x3248+32 ~x3247+16 ~x3246+8 ~x3245+4 ~x3244+2 ~x3243+1 ~x3242-0=32766
50.07/50.15	c 32768 ~x1991720+16384 ~x1991719+8192 ~x1991718+4096 ~x1991717+2048 ~x1991716+1024 ~x1991715+512 ~x1991714+256 ~x1991713+128 ~x1991712+64 ~x1991711+32 ~x1991710+16 ~x1991709+8 ~x1991708+4 ~x1991707+2 ~x1991706+1 ~x1991705+32768 x7791+32768 ~x3287+16384 ~x3286+8192 ~x3285+4096 ~x3284+2048 ~x3283+1024 ~x3282+512 ~x3281+256 ~x3280+128 ~x3279+64 ~x3278+32 ~x3277+16 ~x3276+8 ~x3275+4 ~x3274+2 ~x3273+1 ~x3272-0=131070
50.17/50.26	c 2048 ~x1996345+1024 ~x1996344+512 ~x1996343+256 ~x1996342+128 ~x1996341+64 ~x1996340+32 ~x1996339+16 ~x1996338+8 ~x1996337+4 ~x1996336+2 ~x1996335+1 ~x1996334+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
50.26/50.32	c 2048 ~x1998693+1024 ~x1998692+512 ~x1998691+256 ~x1998690+128 ~x1998689+64 ~x1998688+32 ~x1998687+16 ~x1998686+8 ~x1998685+4 ~x1998684+2 ~x1998683+1 ~x1998682+2048 x7793+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=8190
50.26/50.38	c 8192 ~x2001043+4096 ~x2001042+2048 ~x2001041+1024 ~x2001040+512 ~x2001039+256 ~x2001038+128 ~x2001037+64 ~x2001036+32 ~x2001035+16 ~x2001034+8 ~x2001033+4 ~x2001032+2 ~x2001031+1 ~x2001030+8192 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
50.36/50.48	c 4096 ~x2004758+2048 ~x2004757+1024 ~x2004756+512 ~x2004755+256 ~x2004754+128 ~x2004753+64 ~x2004752+32 ~x2004751+16 ~x2004750+8 ~x2004749+4 ~x2004748+2 ~x2004747+1 ~x2004746+4096 x7795+4096 ~x3404+2048 ~x3403+1024 ~x3402+512 ~x3401+256 ~x3400+128 ~x3399+64 ~x3398+32 ~x3397+16 ~x3396+8 ~x3395+4 ~x3394+2 ~x3393+1 ~x3392-0=16382
50.47/50.54	c 4096 ~x2007458+2048 ~x2007457+1024 ~x2007456+512 ~x2007455+256 ~x2007454+128 ~x2007453+64 ~x2007452+32 ~x2007451+16 ~x2007450+8 ~x2007449+4 ~x2007448+2 ~x2007447+1 ~x2007446+7168 x7796+4096 ~x3434+2048 ~x3433+1024 ~x3432+512 ~x3431+256 ~x3430+128 ~x3429+64 ~x3428+32 ~x3427+16 ~x3426+8 ~x3425+4 ~x3424+2 ~x3423+1 ~x3422-0=16382
50.58/50.61	c 2048 ~x2010157+1024 ~x2010156+512 ~x2010155+256 ~x2010154+128 ~x2010153+64 ~x2010152+32 ~x2010151+16 ~x2010150+8 ~x2010149+4 ~x2010148+2 ~x2010147+1 ~x2010146+2048 x7797+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=8190
50.58/50.67	c 2048 ~x2012505+1024 ~x2012504+512 ~x2012503+256 ~x2012502+128 ~x2012501+64 ~x2012500+32 ~x2012499+16 ~x2012498+8 ~x2012497+4 ~x2012496+2 ~x2012495+1 ~x2012494+3072 x7798+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=8190
50.67/50.73	c 32768 ~x2014857+16384 ~x2014856+8192 ~x2014855+4096 ~x2014854+2048 ~x2014853+1024 ~x2014852+512 ~x2014851+256 ~x2014850+128 ~x2014849+64 ~x2014848+32 ~x2014847+16 ~x2014846+8 ~x2014845+4 ~x2014844+2 ~x2014843+1 ~x2014842+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
50.77/50.84	c 16384 ~x2019485+8192 ~x2019484+4096 ~x2019483+2048 ~x2019482+1024 ~x2019481+512 ~x2019480+256 ~x2019479+128 ~x2019478+64 ~x2019477+32 ~x2019476+16 ~x2019475+8 ~x2019474+4 ~x2019473+2 ~x2019472+1 ~x2019471+18432 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
50.87/50.94	c 8192 ~x2023519+4096 ~x2023518+2048 ~x2023517+1024 ~x2023516+512 ~x2023515+256 ~x2023514+128 ~x2023513+64 ~x2023512+32 ~x2023511+16 ~x2023510+8 ~x2023509+4 ~x2023508+2 ~x2023507+1 ~x2023506+8192 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
50.97/51.04	c 8192 ~x2027235+4096 ~x2027234+2048 ~x2027233+1024 ~x2027232+512 ~x2027231+256 ~x2027230+128 ~x2027229+64 ~x2027228+32 ~x2027227+16 ~x2027226+8 ~x2027225+4 ~x2027224+2 ~x2027223+1 ~x2027222+10240 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
51.06/51.13	c 8192 ~x2030951+4096 ~x2030950+2048 ~x2030949+1024 ~x2030948+512 ~x2030947+256 ~x2030946+128 ~x2030945+64 ~x2030944+32 ~x2030943+16 ~x2030942+8 ~x2030941+4 ~x2030940+2 ~x2030939+1 ~x2030938+8192 x7803+8192 ~x3645+4096 ~x3644+2048 ~x3643+1024 ~x3642+512 ~x3641+256 ~x3640+128 ~x3639+64 ~x3638+32 ~x3637+16 ~x3636+8 ~x3635+4 ~x3634+2 ~x3633+1 ~x3632-0=32766
51.16/51.22	c 16384 ~x2034668+8192 ~x2034667+4096 ~x2034666+2048 ~x2034665+1024 ~x2034664+512 ~x2034663+256 ~x2034662+128 ~x2034661+64 ~x2034660+32 ~x2034659+16 ~x2034658+8 ~x2034657+4 ~x2034656+2 ~x2034655+1 ~x2034654+21504 x7804+16384 ~x3676+8192 ~x3675+4096 ~x3674+2048 ~x3673+1024 ~x3672+512 ~x3671+256 ~x3670+128 ~x3669+64 ~x3668+32 ~x3667+16 ~x3666+8 ~x3665+4 ~x3664+2 ~x3663+1 ~x3662-0=65534
51.26/51.33	c 4096 ~x2038958+2048 ~x2038957+1024 ~x2038956+512 ~x2038955+256 ~x2038954+128 ~x2038953+64 ~x2038952+32 ~x2038951+16 ~x2038950+8 ~x2038949+4 ~x2038948+2 ~x2038947+1 ~x2038946+4096 x7805+4096 ~x3704+2048 ~x3703+1024 ~x3702+512 ~x3701+256 ~x3700+128 ~x3699+64 ~x3698+32 ~x3697+16 ~x3696+8 ~x3695+4 ~x3694+2 ~x3693+1 ~x3692-0=16382
51.26/51.40	c 1024 ~x2041656+512 ~x2041655+256 ~x2041654+128 ~x2041653+64 ~x2041652+32 ~x2041651+16 ~x2041650+8 ~x2041649+4 ~x2041648+2 ~x2041647+1 ~x2041646+1024 x7806+1024 ~x3732+512 ~x3731+256 ~x3730+128 ~x3729+64 ~x3728+32 ~x3727+16 ~x3726+8 ~x3725+4 ~x3724+2 ~x3723+1 ~x3722-0=4094
51.36/51.45	c 8192 ~x2043772+4096 ~x2043771+2048 ~x2043770+1024 ~x2043769+512 ~x2043768+256 ~x2043767+128 ~x2043766+64 ~x2043765+32 ~x2043764+16 ~x2043763+8 ~x2043762+4 ~x2043761+2 ~x2043760+1 ~x2043759+11264 x7807+8192 ~x3765+4096 ~x3764+2048 ~x3763+1024 ~x3762+512 ~x3761+256 ~x3760+128 ~x3759+64 ~x3758+32 ~x3757+16 ~x3756+8 ~x3755+4 ~x3754+2 ~x3753+1 ~x3752-0=32766
51.46/51.54	c 2048 ~x2047486+1024 ~x2047485+512 ~x2047484+256 ~x2047483+128 ~x2047482+64 ~x2047481+32 ~x2047480+16 ~x2047479+8 ~x2047478+4 ~x2047477+2 ~x2047476+1 ~x2047475+3072 x7808+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=8190
51.57/51.60	c 4096 ~x2049835+2048 ~x2049834+1024 ~x2049833+512 ~x2049832+256 ~x2049831+128 ~x2049830+64 ~x2049829+32 ~x2049828+16 ~x2049827+8 ~x2049826+4 ~x2049825+2 ~x2049824+1 ~x2049823+4096 x7809+4096 ~x3824+2048 ~x3823+1024 ~x3822+512 ~x3821+256 ~x3820+128 ~x3819+64 ~x3818+32 ~x3817+16 ~x3816+8 ~x3815+4 ~x3814+2 ~x3813+1 ~x3812-0=16382
51.57/51.67	c 1024 ~x2052533+512 ~x2052532+256 ~x2052531+128 ~x2052530+64 ~x2052529+32 ~x2052528+16 ~x2052527+8 ~x2052526+4 ~x2052525+2 ~x2052524+1 ~x2052523+1024 x7810+1024 ~x3852+512 ~x3851+256 ~x3850+128 ~x3849+64 ~x3848+32 ~x3847+16 ~x3846+8 ~x3845+4 ~x3844+2 ~x3843+1 ~x3842-0=4094
51.67/51.73	c 16384 ~x2054650+8192 ~x2054649+4096 ~x2054648+2048 ~x2054647+1024 ~x2054646+512 ~x2054645+256 ~x2054644+128 ~x2054643+64 ~x2054642+32 ~x2054641+16 ~x2054640+8 ~x2054639+4 ~x2054638+2 ~x2054637+1 ~x2054636+24576 x7811+16384 ~x3886+8192 ~x3885+4096 ~x3884+2048 ~x3883+1024 ~x3882+512 ~x3881+256 ~x3880+128 ~x3879+64 ~x3878+32 ~x3877+16 ~x3876+8 ~x3875+4 ~x3874+2 ~x3873+1 ~x3872-0=65534
51.76/51.83	c 32768 ~x2058943+16384 ~x2058942+8192 ~x2058941+4096 ~x2058940+2048 ~x2058939+1024 ~x2058938+512 ~x2058937+256 ~x2058936+128 ~x2058935+64 ~x2058934+32 ~x2058933+16 ~x2058932+8 ~x2058931+4 ~x2058930+2 ~x2058929+1 ~x2058928+45056 x7812+32768 ~x3917+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=131070
51.86/51.94	c 2048 ~x2063568+1024 ~x2063567+512 ~x2063566+256 ~x2063565+128 ~x2063564+64 ~x2063563+32 ~x2063562+16 ~x2063561+8 ~x2063560+4 ~x2063559+2 ~x2063558+1 ~x2063557+3072 x7813+2048 ~x3943+1024 ~x3942+512 ~x3941+256 ~x3940+128 ~x3939+64 ~x3938+32 ~x3937+16 ~x3936+8 ~x3935+4 ~x3934+2 ~x3933+1 ~x3932-0=8190
51.96/52.00	c 8192 ~x2065918+4096 ~x2065917+2048 ~x2065916+1024 ~x2065915+512 ~x2065914+256 ~x2065913+128 ~x2065912+64 ~x2065911+32 ~x2065910+16 ~x2065909+8 ~x2065908+4 ~x2065907+2 ~x2065906+1 ~x2065905+8192 x7814+8192 ~x3975+4096 ~x3974+2048 ~x3973+1024 ~x3972+512 ~x3971+256 ~x3970+128 ~x3969+64 ~x3968+32 ~x3967+16 ~x3966+8 ~x3965+4 ~x3964+2 ~x3963+1 ~x3962-0=32766
51.96/52.10	c 2048 ~x2069632+1024 ~x2069631+512 ~x2069630+256 ~x2069629+128 ~x2069628+64 ~x2069627+32 ~x2069626+16 ~x2069625+8 ~x2069624+4 ~x2069623+2 ~x2069622+1 ~x2069621+3072 x7815+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=8190
52.06/52.16	c 8192 ~x2071982+4096 ~x2071981+2048 ~x2071980+1024 ~x2071979+512 ~x2071978+256 ~x2071977+128 ~x2071976+64 ~x2071975+32 ~x2071974+16 ~x2071973+8 ~x2071972+4 ~x2071971+2 ~x2071970+1 ~x2071969+11264 x7816+8192 ~x4035+4096 ~x4034+2048 ~x4033+1024 ~x4032+512 ~x4031+256 ~x4030+128 ~x4029+64 ~x4028+32 ~x4027+16 ~x4026+8 ~x4025+4 ~x4024+2 ~x4023+1 ~x4022-0=32766
52.17/52.25	c 16384 ~x2075699+8192 ~x2075698+4096 ~x2075697+2048 ~x2075696+1024 ~x2075695+512 ~x2075694+256 ~x2075693+128 ~x2075692+64 ~x2075691+32 ~x2075690+16 ~x2075689+8 ~x2075688+4 ~x2075687+2 ~x2075686+1 ~x2075685+24576 x7817+16384 ~x4066+8192 ~x4065+4096 ~x4064+2048 ~x4063+1024 ~x4062+512 ~x4061+256 ~x4060+128 ~x4059+64 ~x4058+32 ~x4057+16 ~x4056+8 ~x4055+4 ~x4054+2 ~x4053+1 ~x4052-0=65534
52.27/52.35	c 2048 ~x2079988+1024 ~x2079987+512 ~x2079986+256 ~x2079985+128 ~x2079984+64 ~x2079983+32 ~x2079982+16 ~x2079981+8 ~x2079980+4 ~x2079979+2 ~x2079978+1 ~x2079977+3072 x7818+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=8190
52.36/52.41	c 8192 ~x2082338+4096 ~x2082337+2048 ~x2082336+1024 ~x2082335+512 ~x2082334+256 ~x2082333+128 ~x2082332+64 ~x2082331+32 ~x2082330+16 ~x2082329+8 ~x2082328+4 ~x2082327+2 ~x2082326+1 ~x2082325+15360 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
52.46/52.51	c 8192 ~x2086054+4096 ~x2086053+2048 ~x2086052+1024 ~x2086051+512 ~x2086050+256 ~x2086049+128 ~x2086048+64 ~x2086047+32 ~x2086046+16 ~x2086045+8 ~x2086044+4 ~x2086043+2 ~x2086042+1 ~x2086041+11264 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
52.57/52.60	c 2048 ~x2089768+1024 ~x2089767+512 ~x2089766+256 ~x2089765+128 ~x2089764+64 ~x2089763+32 ~x2089762+16 ~x2089761+8 ~x2089760+4 ~x2089759+2 ~x2089758+1 ~x2089757+2048 x7821+2048 ~x4183+1024 ~x4182+512 ~x4181+256 ~x4180+128 ~x4179+64 ~x4178+32 ~x4177+16 ~x4176+8 ~x4175+4 ~x4174+2 ~x4173+1 ~x4172-0=8190
52.57/52.66	c 16384 ~x2092119+8192 ~x2092118+4096 ~x2092117+2048 ~x2092116+1024 ~x2092115+512 ~x2092114+256 ~x2092113+128 ~x2092112+64 ~x2092111+32 ~x2092110+16 ~x2092109+8 ~x2092108+4 ~x2092107+2 ~x2092106+1 ~x2092105+19456 x7822+16384 ~x4216+8192 ~x4215+4096 ~x4214+2048 ~x4213+1024 ~x4212+512 ~x4211+256 ~x4210+128 ~x4209+64 ~x4208+32 ~x4207+16 ~x4206+8 ~x4205+4 ~x4204+2 ~x4203+1 ~x4202-0=65534
52.67/52.76	c 8192 ~x2096153+4096 ~x2096152+2048 ~x2096151+1024 ~x2096150+512 ~x2096149+256 ~x2096148+128 ~x2096147+64 ~x2096146+32 ~x2096145+16 ~x2096144+8 ~x2096143+4 ~x2096142+2 ~x2096141+1 ~x2096140+8192 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
52.77/52.85	c 1024 ~x2099866+512 ~x2099865+256 ~x2099864+128 ~x2099863+64 ~x2099862+32 ~x2099861+16 ~x2099860+8 ~x2099859+4 ~x2099858+2 ~x2099857+1 ~x2099856+1024 x7824+1024 ~x4272+512 ~x4271+256 ~x4270+128 ~x4269+64 ~x4268+32 ~x4267+16 ~x4266+8 ~x4265+4 ~x4264+2 ~x4263+1 ~x4262-0=4094
52.86/52.91	c 4096 ~x2101981+2048 ~x2101980+1024 ~x2101979+512 ~x2101978+256 ~x2101977+128 ~x2101976+64 ~x2101975+32 ~x2101974+16 ~x2101973+8 ~x2101972+4 ~x2101971+2 ~x2101970+1 ~x2101969+4096 x7825+4096 ~x4304+2048 ~x4303+1024 ~x4302+512 ~x4301+256 ~x4300+128 ~x4299+64 ~x4298+32 ~x4297+16 ~x4296+8 ~x4295+4 ~x4294+2 ~x4293+1 ~x4292-0=16382
52.86/52.98	c 8192 ~x2104682+4096 ~x2104681+2048 ~x2104680+1024 ~x2104679+512 ~x2104678+256 ~x2104677+128 ~x2104676+64 ~x2104675+32 ~x2104674+16 ~x2104673+8 ~x2104672+4 ~x2104671+2 ~x2104670+1 ~x2104669+8192 x7826+8192 ~x4335+4096 ~x4334+2048 ~x4333+1024 ~x4332+512 ~x4331+256 ~x4330+128 ~x4329+64 ~x4328+32 ~x4327+16 ~x4326+8 ~x4325+4 ~x4324+2 ~x4323+1 ~x4322-0=32766
52.96/53.07	c 1024 ~x2108395+512 ~x2108394+256 ~x2108393+128 ~x2108392+64 ~x2108391+32 ~x2108390+16 ~x2108389+8 ~x2108388+4 ~x2108387+2 ~x2108386+1 ~x2108385+1024 x7827+1024 ~x4362+512 ~x4361+256 ~x4360+128 ~x4359+64 ~x4358+32 ~x4357+16 ~x4356+8 ~x4355+4 ~x4354+2 ~x4353+1 ~x4352-0=4094
53.06/53.13	c 32768 ~x2110513+16384 ~x2110512+8192 ~x2110511+4096 ~x2110510+2048 ~x2110509+1024 ~x2110508+512 ~x2110507+256 ~x2110506+128 ~x2110505+64 ~x2110504+32 ~x2110503+16 ~x2110502+8 ~x2110501+4 ~x2110500+2 ~x2110499+1 ~x2110498+45056 x7828+32768 ~x4397+16384 ~x4396+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=131070
53.17/53.24	c 4096 ~x2115139+2048 ~x2115138+1024 ~x2115137+512 ~x2115136+256 ~x2115135+128 ~x2115134+64 ~x2115133+32 ~x2115132+16 ~x2115131+8 ~x2115130+4 ~x2115129+2 ~x2115128+1 ~x2115127+6144 x7829+4096 ~x4424+2048 ~x4423+1024 ~x4422+512 ~x4421+256 ~x4420+128 ~x4419+64 ~x4418+32 ~x4417+16 ~x4416+8 ~x4415+4 ~x4414+2 ~x4413+1 ~x4412-0=16382
53.26/53.31	c 4096 ~x2117839+2048 ~x2117838+1024 ~x2117837+512 ~x2117836+256 ~x2117835+128 ~x2117834+64 ~x2117833+32 ~x2117832+16 ~x2117831+8 ~x2117830+4 ~x2117829+2 ~x2117828+1 ~x2117827+4096 x7830+4096 ~x4454+2048 ~x4453+1024 ~x4452+512 ~x4451+256 ~x4450+128 ~x4449+64 ~x4448+32 ~x4447+16 ~x4446+8 ~x4445+4 ~x4444+2 ~x4443+1 ~x4442-0=16382
53.26/53.37	c 4096 ~x2120539+2048 ~x2120538+1024 ~x2120537+512 ~x2120536+256 ~x2120535+128 ~x2120534+64 ~x2120533+32 ~x2120532+16 ~x2120531+8 ~x2120530+4 ~x2120529+2 ~x2120528+1 ~x2120527+6144 x7831+4096 ~x4484+2048 ~x4483+1024 ~x4482+512 ~x4481+256 ~x4480+128 ~x4479+64 ~x4478+32 ~x4477+16 ~x4476+8 ~x4475+4 ~x4474+2 ~x4473+1 ~x4472-0=16382
53.36/53.44	c 2048 ~x2123238+1024 ~x2123237+512 ~x2123236+256 ~x2123235+128 ~x2123234+64 ~x2123233+32 ~x2123232+16 ~x2123231+8 ~x2123230+4 ~x2123229+2 ~x2123228+1 ~x2123227+2048 x7832+2048 ~x4513+1024 ~x4512+512 ~x4511+256 ~x4510+128 ~x4509+64 ~x4508+32 ~x4507+16 ~x4506+8 ~x4505+4 ~x4504+2 ~x4503+1 ~x4502-0=8190
53.46/53.50	c 4096 ~x2125587+2048 ~x2125586+1024 ~x2125585+512 ~x2125584+256 ~x2125583+128 ~x2125582+64 ~x2125581+32 ~x2125580+16 ~x2125579+8 ~x2125578+4 ~x2125577+2 ~x2125576+1 ~x2125575+7168 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
53.46/53.57	c 2048 ~x2128286+1024 ~x2128285+512 ~x2128284+256 ~x2128283+128 ~x2128282+64 ~x2128281+32 ~x2128280+16 ~x2128279+8 ~x2128278+4 ~x2128277+2 ~x2128276+1 ~x2128275+3072 x7834+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=8190
53.56/53.63	c 8192 ~x2130636+4096 ~x2130635+2048 ~x2130634+1024 ~x2130633+512 ~x2130632+256 ~x2130631+128 ~x2130630+64 ~x2130629+32 ~x2130628+16 ~x2130627+8 ~x2130626+4 ~x2130625+2 ~x2130624+1 ~x2130623+9216 x7835+8192 ~x4605+4096 ~x4604+2048 ~x4603+1024 ~x4602+512 ~x4601+256 ~x4600+128 ~x4599+64 ~x4598+32 ~x4597+16 ~x4596+8 ~x4595+4 ~x4594+2 ~x4593+1 ~x4592-0=32766
53.67/53.72	c 16384 ~x2134353+8192 ~x2134352+4096 ~x2134351+2048 ~x2134350+1024 ~x2134349+512 ~x2134348+256 ~x2134347+128 ~x2134346+64 ~x2134345+32 ~x2134344+16 ~x2134343+8 ~x2134342+4 ~x2134341+2 ~x2134340+1 ~x2134339+22528 x7836+16384 ~x4636+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=65534
53.77/53.83	c 16384 ~x2138645+8192 ~x2138644+4096 ~x2138643+2048 ~x2138642+1024 ~x2138641+512 ~x2138640+256 ~x2138639+128 ~x2138638+64 ~x2138637+32 ~x2138636+16 ~x2138635+8 ~x2138634+4 ~x2138633+2 ~x2138632+1 ~x2138631+31744 x7837+16384 ~x4666+8192 ~x4665+4096 ~x4664+2048 ~x4663+1024 ~x4662+512 ~x4661+256 ~x4660+128 ~x4659+64 ~x4658+32 ~x4657+16 ~x4656+8 ~x4655+4 ~x4654+2 ~x4653+1 ~x4652-0=65534
53.87/53.93	c 2048 ~x2142934+1024 ~x2142933+512 ~x2142932+256 ~x2142931+128 ~x2142930+64 ~x2142929+32 ~x2142928+16 ~x2142927+8 ~x2142926+4 ~x2142925+2 ~x2142924+1 ~x2142923+2048 x7838+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=8190
53.87/53.99	c 2048 ~x2145282+1024 ~x2145281+512 ~x2145280+256 ~x2145279+128 ~x2145278+64 ~x2145277+32 ~x2145276+16 ~x2145275+8 ~x2145274+4 ~x2145273+2 ~x2145272+1 ~x2145271+3072 x7839+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=8190
53.96/54.05	c 8192 ~x2147632+4096 ~x2147631+2048 ~x2147630+1024 ~x2147629+512 ~x2147628+256 ~x2147627+128 ~x2147626+64 ~x2147625+32 ~x2147624+16 ~x2147623+8 ~x2147622+4 ~x2147621+2 ~x2147620+1 ~x2147619+9216 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
54.06/54.15	c 8192 ~x2151348+4096 ~x2151347+2048 ~x2151346+1024 ~x2151345+512 ~x2151344+256 ~x2151343+128 ~x2151342+64 ~x2151341+32 ~x2151340+16 ~x2151339+8 ~x2151338+4 ~x2151337+2 ~x2151336+1 ~x2151335+12288 x7841+8192 ~x4785+4096 ~x4784+2048 ~x4783+1024 ~x4782+512 ~x4781+256 ~x4780+128 ~x4779+64 ~x4778+32 ~x4777+16 ~x4776+8 ~x4775+4 ~x4774+2 ~x4773+1 ~x4772-0=32766
54.16/54.24	c 4096 ~x2155063+2048 ~x2155062+1024 ~x2155061+512 ~x2155060+256 ~x2155059+128 ~x2155058+64 ~x2155057+32 ~x2155056+16 ~x2155055+8 ~x2155054+4 ~x2155053+2 ~x2155052+1 ~x2155051+5120 x7842+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=16382
54.26/54.31	c 4096 ~x2157763+2048 ~x2157762+1024 ~x2157761+512 ~x2157760+256 ~x2157759+128 ~x2157758+64 ~x2157757+32 ~x2157756+16 ~x2157755+8 ~x2157754+4 ~x2157753+2 ~x2157752+1 ~x2157751+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
54.26/54.37	c 4096 ~x2160463+2048 ~x2160462+1024 ~x2160461+512 ~x2160460+256 ~x2160459+128 ~x2160458+64 ~x2160457+32 ~x2160456+16 ~x2160455+8 ~x2160454+4 ~x2160453+2 ~x2160452+1 ~x2160451+7168 x7844+4096 ~x4874+2048 ~x4873+1024 ~x4872+512 ~x4871+256 ~x4870+128 ~x4869+64 ~x4868+32 ~x4867+16 ~x4866+8 ~x4865+4 ~x4864+2 ~x4863+1 ~x4862-0=16382
54.37/54.44	c 8192 ~x2163164+4096 ~x2163163+2048 ~x2163162+1024 ~x2163161+512 ~x2163160+256 ~x2163159+128 ~x2163158+64 ~x2163157+32 ~x2163156+16 ~x2163155+8 ~x2163154+4 ~x2163153+2 ~x2163152+1 ~x2163151+11264 x7845+8192 ~x4905+4096 ~x4904+2048 ~x4903+1024 ~x4902+512 ~x4901+256 ~x4900+128 ~x4899+64 ~x4898+32 ~x4897+16 ~x4896+8 ~x4895+4 ~x4894+2 ~x4893+1 ~x4892-0=32766
54.47/54.53	c 32768 ~x2166882+16384 ~x2166881+8192 ~x2166880+4096 ~x2166879+2048 ~x2166878+1024 ~x2166877+512 ~x2166876+256 ~x2166875+128 ~x2166874+64 ~x2166873+32 ~x2166872+16 ~x2166871+8 ~x2166870+4 ~x2166869+2 ~x2166868+1 ~x2166867+33792 x7846+32768 ~x4937+16384 ~x4936+8192 ~x4935+4096 ~x4934+2048 ~x4933+1024 ~x4932+512 ~x4931+256 ~x4930+128 ~x4929+64 ~x4928+32 ~x4927+16 ~x4926+8 ~x4925+4 ~x4924+2 ~x4923+1 ~x4922-0=131070
54.56/54.65	c 16384 ~x2171510+8192 ~x2171509+4096 ~x2171508+2048 ~x2171507+1024 ~x2171506+512 ~x2171505+256 ~x2171504+128 ~x2171503+64 ~x2171502+32 ~x2171501+16 ~x2171500+8 ~x2171499+4 ~x2171498+2 ~x2171497+1 ~x2171496+17408 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
54.66/54.75	c 8192 ~x2175544+4096 ~x2175543+2048 ~x2175542+1024 ~x2175541+512 ~x2175540+256 ~x2175539+128 ~x2175538+64 ~x2175537+32 ~x2175536+16 ~x2175535+8 ~x2175534+4 ~x2175533+2 ~x2175532+1 ~x2175531+15360 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
54.76/54.84	c 2048 ~x2179258+1024 ~x2179257+512 ~x2179256+256 ~x2179255+128 ~x2179254+64 ~x2179253+32 ~x2179252+16 ~x2179251+8 ~x2179250+4 ~x2179249+2 ~x2179248+1 ~x2179247+3072 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
54.87/54.90	c 8192 ~x2181608+4096 ~x2181607+2048 ~x2181606+1024 ~x2181605+512 ~x2181604+256 ~x2181603+128 ~x2181602+64 ~x2181601+32 ~x2181600+16 ~x2181599+8 ~x2181598+4 ~x2181597+2 ~x2181596+1 ~x2181595+8192 x7850+8192 ~x5055+4096 ~x5054+2048 ~x5053+1024 ~x5052+512 ~x5051+256 ~x5050+128 ~x5049+64 ~x5048+32 ~x5047+16 ~x5046+8 ~x5045+4 ~x5044+2 ~x5043+1 ~x5042-0=32766
54.87/54.99	c 4096 ~x2185323+2048 ~x2185322+1024 ~x2185321+512 ~x2185320+256 ~x2185319+128 ~x2185318+64 ~x2185317+32 ~x2185316+16 ~x2185315+8 ~x2185314+4 ~x2185313+2 ~x2185312+1 ~x2185311+5120 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
54.97/55.06	c 4096 ~x2188023+2048 ~x2188022+1024 ~x2188021+512 ~x2188020+256 ~x2188019+128 ~x2188018+64 ~x2188017+32 ~x2188016+16 ~x2188015+8 ~x2188014+4 ~x2188013+2 ~x2188012+1 ~x2188011+4096 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
55.06/55.13	c 4096 ~x2190723+2048 ~x2190722+1024 ~x2190721+512 ~x2190720+256 ~x2190719+128 ~x2190718+64 ~x2190717+32 ~x2190716+16 ~x2190715+8 ~x2190714+4 ~x2190713+2 ~x2190712+1 ~x2190711+4096 x7853+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=16382
55.16/55.20	c 16384 ~x2193425+8192 ~x2193424+4096 ~x2193423+2048 ~x2193422+1024 ~x2193421+512 ~x2193420+256 ~x2193419+128 ~x2193418+64 ~x2193417+32 ~x2193416+16 ~x2193415+8 ~x2193414+4 ~x2193413+2 ~x2193412+1 ~x2193411+17408 x7854+16384 ~x5176+8192 ~x5175+4096 ~x5174+2048 ~x5173+1024 ~x5172+512 ~x5171+256 ~x5170+128 ~x5169+64 ~x5168+32 ~x5167+16 ~x5166+8 ~x5165+4 ~x5164+2 ~x5163+1 ~x5162-0=65534
55.26/55.30	c 4096 ~x2197458+2048 ~x2197457+1024 ~x2197456+512 ~x2197455+256 ~x2197454+128 ~x2197453+64 ~x2197452+32 ~x2197451+16 ~x2197450+8 ~x2197449+4 ~x2197448+2 ~x2197447+1 ~x2197446+7168 x7855+4096 ~x5204+2048 ~x5203+1024 ~x5202+512 ~x5201+256 ~x5200+128 ~x5199+64 ~x5198+32 ~x5197+16 ~x5196+8 ~x5195+4 ~x5194+2 ~x5193+1 ~x5192-0=16382
55.26/55.36	c 8192 ~x2200159+4096 ~x2200158+2048 ~x2200157+1024 ~x2200156+512 ~x2200155+256 ~x2200154+128 ~x2200153+64 ~x2200152+32 ~x2200151+16 ~x2200150+8 ~x2200149+4 ~x2200148+2 ~x2200147+1 ~x2200146+15360 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
55.36/55.46	c 2048 ~x2203873+1024 ~x2203872+512 ~x2203871+256 ~x2203870+128 ~x2203869+64 ~x2203868+32 ~x2203867+16 ~x2203866+8 ~x2203865+4 ~x2203864+2 ~x2203863+1 ~x2203862+3072 x7857+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=8190
55.46/55.52	c 8192 ~x2206223+4096 ~x2206222+2048 ~x2206221+1024 ~x2206220+512 ~x2206219+256 ~x2206218+128 ~x2206217+64 ~x2206216+32 ~x2206215+16 ~x2206214+8 ~x2206213+4 ~x2206212+2 ~x2206211+1 ~x2206210+11264 x7858+8192 ~x5295+4096 ~x5294+2048 ~x5293+1024 ~x5292+512 ~x5291+256 ~x5290+128 ~x5289+64 ~x5288+32 ~x5287+16 ~x5286+8 ~x5285+4 ~x5284+2 ~x5283+1 ~x5282-0=32766
55.57/55.61	c 2048 ~x2209937+1024 ~x2209936+512 ~x2209935+256 ~x2209934+128 ~x2209933+64 ~x2209932+32 ~x2209931+16 ~x2209930+8 ~x2209929+4 ~x2209928+2 ~x2209927+1 ~x2209926+3072 x7859+2048 ~x5323+1024 ~x5322+512 ~x5321+256 ~x5320+128 ~x5319+64 ~x5318+32 ~x5317+16 ~x5316+8 ~x5315+4 ~x5314+2 ~x5313+1 ~x5312-0=8190
55.57/55.67	c 8192 ~x2212287+4096 ~x2212286+2048 ~x2212285+1024 ~x2212284+512 ~x2212283+256 ~x2212282+128 ~x2212281+64 ~x2212280+32 ~x2212279+16 ~x2212278+8 ~x2212277+4 ~x2212276+2 ~x2212275+1 ~x2212274+15360 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
55.66/55.76	c 16384 ~x2216004+8192 ~x2216003+4096 ~x2216002+2048 ~x2216001+1024 ~x2216000+512 ~x2215999+256 ~x2215998+128 ~x2215997+64 ~x2215996+32 ~x2215995+16 ~x2215994+8 ~x2215993+4 ~x2215992+2 ~x2215991+1 ~x2215990+30720 x7861+16384 ~x5386+8192 ~x5385+4096 ~x5384+2048 ~x5383+1024 ~x5382+512 ~x5381+256 ~x5380+128 ~x5379+64 ~x5378+32 ~x5377+16 ~x5376+8 ~x5375+4 ~x5374+2 ~x5373+1 ~x5372-0=65534
55.76/55.87	c 8192 ~x2220295+4096 ~x2220294+2048 ~x2220293+1024 ~x2220292+512 ~x2220291+256 ~x2220290+128 ~x2220289+64 ~x2220288+32 ~x2220287+16 ~x2220286+8 ~x2220285+4 ~x2220284+2 ~x2220283+1 ~x2220282+11264 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
55.86/55.96	c 2048 ~x2224009+1024 ~x2224008+512 ~x2224007+256 ~x2224006+128 ~x2224005+64 ~x2224004+32 ~x2224003+16 ~x2224002+8 ~x2224001+4 ~x2224000+2 ~x2223999+1 ~x2223998+2048 x7863+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=8190
55.97/56.02	c 16384 ~x2226360+8192 ~x2226359+4096 ~x2226358+2048 ~x2226357+1024 ~x2226356+512 ~x2226355+256 ~x2226354+128 ~x2226353+64 ~x2226352+32 ~x2226351+16 ~x2226350+8 ~x2226349+4 ~x2226348+2 ~x2226347+1 ~x2226346+19456 x7864+16384 ~x5476+8192 ~x5475+4096 ~x5474+2048 ~x5473+1024 ~x5472+512 ~x5471+256 ~x5470+128 ~x5469+64 ~x5468+32 ~x5467+16 ~x5466+8 ~x5465+4 ~x5464+2 ~x5463+1 ~x5462-0=65534
56.07/56.12	c 8192 ~x2230394+4096 ~x2230393+2048 ~x2230392+1024 ~x2230391+512 ~x2230390+256 ~x2230389+128 ~x2230388+64 ~x2230387+32 ~x2230386+16 ~x2230385+8 ~x2230384+4 ~x2230383+2 ~x2230382+1 ~x2230381+8192 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
56.17/56.22	c 1024 ~x2234107+512 ~x2234106+256 ~x2234105+128 ~x2234104+64 ~x2234103+32 ~x2234102+16 ~x2234101+8 ~x2234100+4 ~x2234099+2 ~x2234098+1 ~x2234097+1024 x7866+1024 ~x5532+512 ~x5531+256 ~x5530+128 ~x5529+64 ~x5528+32 ~x5527+16 ~x5526+8 ~x5525+4 ~x5524+2 ~x5523+1 ~x5522-0=4094
56.17/56.27	c 4096 ~x2236222+2048 ~x2236221+1024 ~x2236220+512 ~x2236219+256 ~x2236218+128 ~x2236217+64 ~x2236216+32 ~x2236215+16 ~x2236214+8 ~x2236213+4 ~x2236212+2 ~x2236211+1 ~x2236210+4096 x7867+4096 ~x5564+2048 ~x5563+1024 ~x5562+512 ~x5561+256 ~x5560+128 ~x5559+64 ~x5558+32 ~x5557+16 ~x5556+8 ~x5555+4 ~x5554+2 ~x5553+1 ~x5552-0=16382
56.26/56.34	c 8192 ~x2238923+4096 ~x2238922+2048 ~x2238921+1024 ~x2238920+512 ~x2238919+256 ~x2238918+128 ~x2238917+64 ~x2238916+32 ~x2238915+16 ~x2238914+8 ~x2238913+4 ~x2238912+2 ~x2238911+1 ~x2238910+8192 x7868+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=32766
56.36/56.43	c 1024 ~x2242636+512 ~x2242635+256 ~x2242634+128 ~x2242633+64 ~x2242632+32 ~x2242631+16 ~x2242630+8 ~x2242629+4 ~x2242628+2 ~x2242627+1 ~x2242626+1024 x7869+1024 ~x5622+512 ~x5621+256 ~x5620+128 ~x5619+64 ~x5618+32 ~x5617+16 ~x5616+8 ~x5615+4 ~x5614+2 ~x5613+1 ~x5612-0=4094
56.36/56.49	c 4096 ~x2244751+2048 ~x2244750+1024 ~x2244749+512 ~x2244748+256 ~x2244747+128 ~x2244746+64 ~x2244745+32 ~x2244744+16 ~x2244743+8 ~x2244742+4 ~x2244741+2 ~x2244740+1 ~x2244739+6144 x7870+4096 ~x5654+2048 ~x5653+1024 ~x5652+512 ~x5651+256 ~x5650+128 ~x5649+64 ~x5648+32 ~x5647+16 ~x5646+8 ~x5645+4 ~x5644+2 ~x5643+1 ~x5642-0=16382
56.46/56.55	c 4096 ~x2247451+2048 ~x2247450+1024 ~x2247449+512 ~x2247448+256 ~x2247447+128 ~x2247446+64 ~x2247445+32 ~x2247444+16 ~x2247443+8 ~x2247442+4 ~x2247441+2 ~x2247440+1 ~x2247439+4096 x7871+4096 ~x5684+2048 ~x5683+1024 ~x5682+512 ~x5681+256 ~x5680+128 ~x5679+64 ~x5678+32 ~x5677+16 ~x5676+8 ~x5675+4 ~x5674+2 ~x5673+1 ~x5672-0=16382
56.56/56.62	c 8192 ~x2250152+4096 ~x2250151+2048 ~x2250150+1024 ~x2250149+512 ~x2250148+256 ~x2250147+128 ~x2250146+64 ~x2250145+32 ~x2250144+16 ~x2250143+8 ~x2250142+4 ~x2250141+2 ~x2250140+1 ~x2250139+14336 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
56.66/56.71	c 4096 ~x2253867+2048 ~x2253866+1024 ~x2253865+512 ~x2253864+256 ~x2253863+128 ~x2253862+64 ~x2253861+32 ~x2253860+16 ~x2253859+8 ~x2253858+4 ~x2253857+2 ~x2253856+1 ~x2253855+6144 x7873+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=16382
56.66/56.78	c 2048 ~x2256566+1024 ~x2256565+512 ~x2256564+256 ~x2256563+128 ~x2256562+64 ~x2256561+32 ~x2256560+16 ~x2256559+8 ~x2256558+4 ~x2256557+2 ~x2256556+1 ~x2256555+2048 x7874+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=8190
56.77/56.84	c 4096 ~x2258915+2048 ~x2258914+1024 ~x2258913+512 ~x2258912+256 ~x2258911+128 ~x2258910+64 ~x2258909+32 ~x2258908+16 ~x2258907+8 ~x2258906+4 ~x2258905+2 ~x2258904+1 ~x2258903+7168 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
56.86/56.91	c 2048 ~x2261614+1024 ~x2261613+512 ~x2261612+256 ~x2261611+128 ~x2261610+64 ~x2261609+32 ~x2261608+16 ~x2261607+8 ~x2261606+4 ~x2261605+2 ~x2261604+1 ~x2261603+3072 x7876+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=8190
56.86/56.97	c 8192 ~x2263964+4096 ~x2263963+2048 ~x2263962+1024 ~x2263961+512 ~x2263960+256 ~x2263959+128 ~x2263958+64 ~x2263957+32 ~x2263956+16 ~x2263955+8 ~x2263954+4 ~x2263953+2 ~x2263952+1 ~x2263951+9216 x7877+8192 ~x5865+4096 ~x5864+2048 ~x5863+1024 ~x5862+512 ~x5861+256 ~x5860+128 ~x5859+64 ~x5858+32 ~x5857+16 ~x5856+8 ~x5855+4 ~x5854+2 ~x5853+1 ~x5852-0=32766
56.96/57.06	c 16384 ~x2267681+8192 ~x2267680+4096 ~x2267679+2048 ~x2267678+1024 ~x2267677+512 ~x2267676+256 ~x2267675+128 ~x2267674+64 ~x2267673+32 ~x2267672+16 ~x2267671+8 ~x2267670+4 ~x2267669+2 ~x2267668+1 ~x2267667+22528 x7878+16384 ~x5896+8192 ~x5895+4096 ~x5894+2048 ~x5893+1024 ~x5892+512 ~x5891+256 ~x5890+128 ~x5889+64 ~x5888+32 ~x5887+16 ~x5886+8 ~x5885+4 ~x5884+2 ~x5883+1 ~x5882-0=65534
57.06/57.17	c 16384 ~x2271973+8192 ~x2271972+4096 ~x2271971+2048 ~x2271970+1024 ~x2271969+512 ~x2271968+256 ~x2271967+128 ~x2271966+64 ~x2271965+32 ~x2271964+16 ~x2271963+8 ~x2271962+4 ~x2271961+2 ~x2271960+1 ~x2271959+31744 x7879+16384 ~x5926+8192 ~x5925+4096 ~x5924+2048 ~x5923+1024 ~x5922+512 ~x5921+256 ~x5920+128 ~x5919+64 ~x5918+32 ~x5917+16 ~x5916+8 ~x5915+4 ~x5914+2 ~x5913+1 ~x5912-0=65534
57.17/57.27	c 2048 ~x2276262+1024 ~x2276261+512 ~x2276260+256 ~x2276259+128 ~x2276258+64 ~x2276257+32 ~x2276256+16 ~x2276255+8 ~x2276254+4 ~x2276253+2 ~x2276252+1 ~x2276251+2048 x7880+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=8190
57.26/57.33	c 8192 ~x2278612+4096 ~x2278611+2048 ~x2278610+1024 ~x2278609+512 ~x2278608+256 ~x2278607+128 ~x2278606+64 ~x2278605+32 ~x2278604+16 ~x2278603+8 ~x2278602+4 ~x2278601+2 ~x2278600+1 ~x2278599+9216 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
57.36/57.43	c 8192 ~x2282328+4096 ~x2282327+2048 ~x2282326+1024 ~x2282325+512 ~x2282324+256 ~x2282323+128 ~x2282322+64 ~x2282321+32 ~x2282320+16 ~x2282319+8 ~x2282318+4 ~x2282317+2 ~x2282316+1 ~x2282315+12288 x7882+8192 ~x6015+4096 ~x6014+2048 ~x6013+1024 ~x6012+512 ~x6011+256 ~x6010+128 ~x6009+64 ~x6008+32 ~x6007+16 ~x6006+8 ~x6005+4 ~x6004+2 ~x6003+1 ~x6002-0=32766
57.46/57.52	c 32768 ~x2286046+16384 ~x2286045+8192 ~x2286044+4096 ~x2286043+2048 ~x2286042+1024 ~x2286041+512 ~x2286040+256 ~x2286039+128 ~x2286038+64 ~x2286037+32 ~x2286036+16 ~x2286035+8 ~x2286034+4 ~x2286033+2 ~x2286032+1 ~x2286031+32768 x7883+32768 ~x6047+16384 ~x6046+8192 ~x6045+4096 ~x6044+2048 ~x6043+1024 ~x6042+512 ~x6041+256 ~x6040+128 ~x6039+64 ~x6038+32 ~x6037+16 ~x6036+8 ~x6035+4 ~x6034+2 ~x6033+1 ~x6032-0=131070
57.56/57.63	c 4096 ~x2290672+2048 ~x2290671+1024 ~x2290670+512 ~x2290669+256 ~x2290668+128 ~x2290667+64 ~x2290666+32 ~x2290665+16 ~x2290664+8 ~x2290663+4 ~x2290662+2 ~x2290661+1 ~x2290660+5120 x7884+4096 ~x6074+2048 ~x6073+1024 ~x6072+512 ~x6071+256 ~x6070+128 ~x6069+64 ~x6068+32 ~x6067+16 ~x6066+8 ~x6065+4 ~x6064+2 ~x6063+1 ~x6062-0=16382
57.66/57.70	c 4096 ~x2293372+2048 ~x2293371+1024 ~x2293370+512 ~x2293369+256 ~x2293368+128 ~x2293367+64 ~x2293366+32 ~x2293365+16 ~x2293364+8 ~x2293363+4 ~x2293362+2 ~x2293361+1 ~x2293360+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
57.66/57.77	c 4096 ~x2296072+2048 ~x2296071+1024 ~x2296070+512 ~x2296069+256 ~x2296068+128 ~x2296067+64 ~x2296066+32 ~x2296065+16 ~x2296064+8 ~x2296063+4 ~x2296062+2 ~x2296061+1 ~x2296060+7168 x7886+4096 ~x6134+2048 ~x6133+1024 ~x6132+512 ~x6131+256 ~x6130+128 ~x6129+64 ~x6128+32 ~x6127+16 ~x6126+8 ~x6125+4 ~x6124+2 ~x6123+1 ~x6122-0=16382
57.76/57.83	c 8192 ~x2298773+4096 ~x2298772+2048 ~x2298771+1024 ~x2298770+512 ~x2298769+256 ~x2298768+128 ~x2298767+64 ~x2298766+32 ~x2298765+16 ~x2298764+8 ~x2298763+4 ~x2298762+2 ~x2298761+1 ~x2298760+11264 x7887+8192 ~x6165+4096 ~x6164+2048 ~x6163+1024 ~x6162+512 ~x6161+256 ~x6160+128 ~x6159+64 ~x6158+32 ~x6157+16 ~x6156+8 ~x6155+4 ~x6154+2 ~x6153+1 ~x6152-0=32766
57.86/57.93	c 32768 ~x2302491+16384 ~x2302490+8192 ~x2302489+4096 ~x2302488+2048 ~x2302487+1024 ~x2302486+512 ~x2302485+256 ~x2302484+128 ~x2302483+64 ~x2302482+32 ~x2302481+16 ~x2302480+8 ~x2302479+4 ~x2302478+2 ~x2302477+1 ~x2302476+33792 x7888+32768 ~x6197+16384 ~x6196+8192 ~x6195+4096 ~x6194+2048 ~x6193+1024 ~x6192+512 ~x6191+256 ~x6190+128 ~x6189+64 ~x6188+32 ~x6187+16 ~x6186+8 ~x6185+4 ~x6184+2 ~x6183+1 ~x6182-0=131070
57.96/58.04	c 16384 ~x2307119+8192 ~x2307118+4096 ~x2307117+2048 ~x2307116+1024 ~x2307115+512 ~x2307114+256 ~x2307113+128 ~x2307112+64 ~x2307111+32 ~x2307110+16 ~x2307109+8 ~x2307108+4 ~x2307107+2 ~x2307106+1 ~x2307105+17408 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
58.06/58.14	c 8192 ~x2311153+4096 ~x2311152+2048 ~x2311151+1024 ~x2311150+512 ~x2311149+256 ~x2311148+128 ~x2311147+64 ~x2311146+32 ~x2311145+16 ~x2311144+8 ~x2311143+4 ~x2311142+2 ~x2311141+1 ~x2311140+15360 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
58.17/58.23	c 2048 ~x2314867+1024 ~x2314866+512 ~x2314865+256 ~x2314864+128 ~x2314863+64 ~x2314862+32 ~x2314861+16 ~x2314860+8 ~x2314859+4 ~x2314858+2 ~x2314857+1 ~x2314856+3072 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
58.17/58.29	c 4096 ~x2317216+2048 ~x2317215+1024 ~x2317214+512 ~x2317213+256 ~x2317212+128 ~x2317211+64 ~x2317210+32 ~x2317209+16 ~x2317208+8 ~x2317207+4 ~x2317206+2 ~x2317205+1 ~x2317204+5120 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
58.27/58.36	c 4096 ~x2319916+2048 ~x2319915+1024 ~x2319914+512 ~x2319913+256 ~x2319912+128 ~x2319911+64 ~x2319910+32 ~x2319909+16 ~x2319908+8 ~x2319907+4 ~x2319906+2 ~x2319905+1 ~x2319904+4096 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
58.36/58.43	c 2048 ~x2322615+1024 ~x2322614+512 ~x2322613+256 ~x2322612+128 ~x2322611+64 ~x2322610+32 ~x2322609+16 ~x2322608+8 ~x2322607+4 ~x2322606+2 ~x2322605+1 ~x2322604+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
58.36/58.49	c 4096 ~x2324964+2048 ~x2324963+1024 ~x2324962+512 ~x2324961+256 ~x2324960+128 ~x2324959+64 ~x2324958+32 ~x2324957+16 ~x2324956+8 ~x2324955+4 ~x2324954+2 ~x2324953+1 ~x2324952+4096 x7895+4096 ~x6404+2048 ~x6403+1024 ~x6402+512 ~x6401+256 ~x6400+128 ~x6399+64 ~x6398+32 ~x6397+16 ~x6396+8 ~x6395+4 ~x6394+2 ~x6393+1 ~x6392-0=16382
58.46/58.56	c 16384 ~x2327666+8192 ~x2327665+4096 ~x2327664+2048 ~x2327663+1024 ~x2327662+512 ~x2327661+256 ~x2327660+128 ~x2327659+64 ~x2327658+32 ~x2327657+16 ~x2327656+8 ~x2327655+4 ~x2327654+2 ~x2327653+1 ~x2327652+17408 x7896+16384 ~x6436+8192 ~x6435+4096 ~x6434+2048 ~x6433+1024 ~x6432+512 ~x6431+256 ~x6430+128 ~x6429+64 ~x6428+32 ~x6427+16 ~x6426+8 ~x6425+4 ~x6424+2 ~x6423+1 ~x6422-0=65534
58.56/58.66	c 4096 ~x2331699+2048 ~x2331698+1024 ~x2331697+512 ~x2331696+256 ~x2331695+128 ~x2331694+64 ~x2331693+32 ~x2331692+16 ~x2331691+8 ~x2331690+4 ~x2331689+2 ~x2331688+1 ~x2331687+7168 x7897+4096 ~x6464+2048 ~x6463+1024 ~x6462+512 ~x6461+256 ~x6460+128 ~x6459+64 ~x6458+32 ~x6457+16 ~x6456+8 ~x6455+4 ~x6454+2 ~x6453+1 ~x6452-0=16382
58.66/58.73	c 8192 ~x2334400+4096 ~x2334399+2048 ~x2334398+1024 ~x2334397+512 ~x2334396+256 ~x2334395+128 ~x2334394+64 ~x2334393+32 ~x2334392+16 ~x2334391+8 ~x2334390+4 ~x2334389+2 ~x2334388+1 ~x2334387+15360 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
58.76/58.82	c 4096 ~x2338115+2048 ~x2338114+1024 ~x2338113+512 ~x2338112+256 ~x2338111+128 ~x2338110+64 ~x2338109+32 ~x2338108+16 ~x2338107+8 ~x2338106+4 ~x2338105+2 ~x2338104+1 ~x2338103+6144 x7899+4096 ~x6524+2048 ~x6523+1024 ~x6522+512 ~x6521+256 ~x6520+128 ~x6519+64 ~x6518+32 ~x6517+16 ~x6516+8 ~x6515+4 ~x6514+2 ~x6513+1 ~x6512-0=16382
58.76/58.89	c 8192 ~x2340816+4096 ~x2340815+2048 ~x2340814+1024 ~x2340813+512 ~x2340812+256 ~x2340811+128 ~x2340810+64 ~x2340809+32 ~x2340808+16 ~x2340807+8 ~x2340806+4 ~x2340805+2 ~x2340804+1 ~x2340803+8192 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
58.86/58.98	c 8192 ~x2344532+4096 ~x2344531+2048 ~x2344530+1024 ~x2344529+512 ~x2344528+256 ~x2344527+128 ~x2344526+64 ~x2344525+32 ~x2344524+16 ~x2344523+8 ~x2344522+4 ~x2344521+2 ~x2344520+1 ~x2344519+8192 x7901+8192 ~x6585+4096 ~x6584+2048 ~x6583+1024 ~x6582+512 ~x6581+256 ~x6580+128 ~x6579+64 ~x6578+32 ~x6577+16 ~x6576+8 ~x6575+4 ~x6574+2 ~x6573+1 ~x6572-0=32766
58.96/59.07	c 16384 ~x2348249+8192 ~x2348248+4096 ~x2348247+2048 ~x2348246+1024 ~x2348245+512 ~x2348244+256 ~x2348243+128 ~x2348242+64 ~x2348241+32 ~x2348240+16 ~x2348239+8 ~x2348238+4 ~x2348237+2 ~x2348236+1 ~x2348235+30720 x7902+16384 ~x6616+8192 ~x6615+4096 ~x6614+2048 ~x6613+1024 ~x6612+512 ~x6611+256 ~x6610+128 ~x6609+64 ~x6608+32 ~x6607+16 ~x6606+8 ~x6605+4 ~x6604+2 ~x6603+1 ~x6602-0=65534
59.07/59.18	c 8192 ~x2352540+4096 ~x2352539+2048 ~x2352538+1024 ~x2352537+512 ~x2352536+256 ~x2352535+128 ~x2352534+64 ~x2352533+32 ~x2352532+16 ~x2352531+8 ~x2352530+4 ~x2352529+2 ~x2352528+1 ~x2352527+14336 x7903+8192 ~x6645+4096 ~x6644+2048 ~x6643+1024 ~x6642+512 ~x6641+256 ~x6640+128 ~x6639+64 ~x6638+32 ~x6637+16 ~x6636+8 ~x6635+4 ~x6634+2 ~x6633+1 ~x6632-0=32766
59.16/59.27	c 32768 ~x2356258+16384 ~x2356257+8192 ~x2356256+4096 ~x2356255+2048 ~x2356254+1024 ~x2356253+512 ~x2356252+256 ~x2356251+128 ~x2356250+64 ~x2356249+32 ~x2356248+16 ~x2356247+8 ~x2356246+4 ~x2356245+2 ~x2356244+1 ~x2356243+32768 x7904+32768 ~x6677+16384 ~x6676+8192 ~x6675+4096 ~x6674+2048 ~x6673+1024 ~x6672+512 ~x6671+256 ~x6670+128 ~x6669+64 ~x6668+32 ~x6667+16 ~x6666+8 ~x6665+4 ~x6664+2 ~x6663+1 ~x6662-0=131070
59.27/59.38	c 2048 ~x2360883+1024 ~x2360882+512 ~x2360881+256 ~x2360880+128 ~x2360879+64 ~x2360878+32 ~x2360877+16 ~x2360876+8 ~x2360875+4 ~x2360874+2 ~x2360873+1 ~x2360872+2048 x7905+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=8190
59.37/59.45	c 2048 ~x2363231+1024 ~x2363230+512 ~x2363229+256 ~x2363228+128 ~x2363227+64 ~x2363226+32 ~x2363225+16 ~x2363224+8 ~x2363223+4 ~x2363222+2 ~x2363221+1 ~x2363220+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
59.46/59.51	c 2048 ~x2365579+1024 ~x2365578+512 ~x2365577+256 ~x2365576+128 ~x2365575+64 ~x2365574+32 ~x2365573+16 ~x2365572+8 ~x2365571+4 ~x2365570+2 ~x2365569+1 ~x2365568+2048 x7907+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=8190
59.46/59.57	c 4096 ~x2367928+2048 ~x2367927+1024 ~x2367926+512 ~x2367925+256 ~x2367924+128 ~x2367923+64 ~x2367922+32 ~x2367921+16 ~x2367920+8 ~x2367919+4 ~x2367918+2 ~x2367917+1 ~x2367916+7168 x7908+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=16382
59.56/59.64	c 2048 ~x2370627+1024 ~x2370626+512 ~x2370625+256 ~x2370624+128 ~x2370623+64 ~x2370622+32 ~x2370621+16 ~x2370620+8 ~x2370619+4 ~x2370618+2 ~x2370617+1 ~x2370616+2048 x7909+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=8190
59.66/59.70	c 2048 ~x2372975+1024 ~x2372974+512 ~x2372973+256 ~x2372972+128 ~x2372971+64 ~x2372970+32 ~x2372969+16 ~x2372968+8 ~x2372967+4 ~x2372966+2 ~x2372965+1 ~x2372964+3072 x7910+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=8190
59.66/59.76	c 32768 ~x2375327+16384 ~x2375326+8192 ~x2375325+4096 ~x2375324+2048 ~x2375323+1024 ~x2375322+512 ~x2375321+256 ~x2375320+128 ~x2375319+64 ~x2375318+32 ~x2375317+16 ~x2375316+8 ~x2375315+4 ~x2375314+2 ~x2375313+1 ~x2375312+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
59.76/59.87	c 16384 ~x2379955+8192 ~x2379954+4096 ~x2379953+2048 ~x2379952+1024 ~x2379951+512 ~x2379950+256 ~x2379949+128 ~x2379948+64 ~x2379947+32 ~x2379946+16 ~x2379945+8 ~x2379944+4 ~x2379943+2 ~x2379942+1 ~x2379941+18432 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
59.86/59.97	c 8192 ~x2383989+4096 ~x2383988+2048 ~x2383987+1024 ~x2383986+512 ~x2383985+256 ~x2383984+128 ~x2383983+64 ~x2383982+32 ~x2383981+16 ~x2383980+8 ~x2383979+4 ~x2383978+2 ~x2383977+1 ~x2383976+8192 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
59.97/60.07	c 8192 ~x2387705+4096 ~x2387704+2048 ~x2387703+1024 ~x2387702+512 ~x2387701+256 ~x2387700+128 ~x2387699+64 ~x2387698+32 ~x2387697+16 ~x2387696+8 ~x2387695+4 ~x2387694+2 ~x2387693+1 ~x2387692+10240 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
60.06/60.16	c 8192 ~x2391421+4096 ~x2391420+2048 ~x2391419+1024 ~x2391418+512 ~x2391417+256 ~x2391416+128 ~x2391415+64 ~x2391414+32 ~x2391413+16 ~x2391412+8 ~x2391411+4 ~x2391410+2 ~x2391409+1 ~x2391408+8192 x7915+8192 ~x7005+4096 ~x7004+2048 ~x7003+1024 ~x7002+512 ~x7001+256 ~x7000+128 ~x6999+64 ~x6998+32 ~x6997+16 ~x6996+8 ~x6995+4 ~x6994+2 ~x6993+1 ~x6992-0=32766
60.16/60.25	c 4096 ~x2395136+2048 ~x2395135+1024 ~x2395134+512 ~x2395133+256 ~x2395132+128 ~x2395131+64 ~x2395130+32 ~x2395129+16 ~x2395128+8 ~x2395127+4 ~x2395126+2 ~x2395125+1 ~x2395124+7168 x7916+4096 ~x7034+2048 ~x7033+1024 ~x7032+512 ~x7031+256 ~x7030+128 ~x7029+64 ~x7028+32 ~x7027+16 ~x7026+8 ~x7025+4 ~x7024+2 ~x7023+1 ~x7022-0=16382
60.26/60.32	c 16384 ~x2397838+8192 ~x2397837+4096 ~x2397836+2048 ~x2397835+1024 ~x2397834+512 ~x2397833+256 ~x2397832+128 ~x2397831+64 ~x2397830+32 ~x2397829+16 ~x2397828+8 ~x2397827+4 ~x2397826+2 ~x2397825+1 ~x2397824+21504 x7917+16384 ~x7066+8192 ~x7065+4096 ~x7064+2048 ~x7063+1024 ~x7062+512 ~x7061+256 ~x7060+128 ~x7059+64 ~x7058+32 ~x7057+16 ~x7056+8 ~x7055+4 ~x7054+2 ~x7053+1 ~x7052-0=65534
60.36/60.42	c 4096 ~x2402128+2048 ~x2402127+1024 ~x2402126+512 ~x2402125+256 ~x2402124+128 ~x2402123+64 ~x2402122+32 ~x2402121+16 ~x2402120+8 ~x2402119+4 ~x2402118+2 ~x2402117+1 ~x2402116+4096 x7918+4096 ~x7094+2048 ~x7093+1024 ~x7092+512 ~x7091+256 ~x7090+128 ~x7089+64 ~x7088+32 ~x7087+16 ~x7086+8 ~x7085+4 ~x7084+2 ~x7083+1 ~x7082-0=16382
60.36/60.49	c 8192 ~x2404829+4096 ~x2404828+2048 ~x2404827+1024 ~x2404826+512 ~x2404825+256 ~x2404824+128 ~x2404823+64 ~x2404822+32 ~x2404821+16 ~x2404820+8 ~x2404819+4 ~x2404818+2 ~x2404817+1 ~x2404816+11264 x7919+8192 ~x7125+4096 ~x7124+2048 ~x7123+1024 ~x7122+512 ~x7121+256 ~x7120+128 ~x7119+64 ~x7118+32 ~x7117+16 ~x7116+8 ~x7115+4 ~x7114+2 ~x7113+1 ~x7112-0=32766
60.47/60.59	c 2048 ~x2408543+1024 ~x2408542+512 ~x2408541+256 ~x2408540+128 ~x2408539+64 ~x2408538+32 ~x2408537+16 ~x2408536+8 ~x2408535+4 ~x2408534+2 ~x2408533+1 ~x2408532+3072 x7920+2048 ~x7153+1024 ~x7152+512 ~x7151+256 ~x7150+128 ~x7149+64 ~x7148+32 ~x7147+16 ~x7146+8 ~x7145+4 ~x7144+2 ~x7143+1 ~x7142-0=8190
60.57/60.65	c 4096 ~x2410892+2048 ~x2410891+1024 ~x2410890+512 ~x2410889+256 ~x2410888+128 ~x2410887+64 ~x2410886+32 ~x2410885+16 ~x2410884+8 ~x2410883+4 ~x2410882+2 ~x2410881+1 ~x2410880+4096 x7921+4096 ~x7184+2048 ~x7183+1024 ~x7182+512 ~x7181+256 ~x7180+128 ~x7179+64 ~x7178+32 ~x7177+16 ~x7176+8 ~x7175+4 ~x7174+2 ~x7173+1 ~x7172-0=16382
60.67/60.71	c 1024 ~x2413590+512 ~x2413589+256 ~x2413588+128 ~x2413587+64 ~x2413586+32 ~x2413585+16 ~x2413584+8 ~x2413583+4 ~x2413582+2 ~x2413581+1 ~x2413580+1024 x7922+1024 ~x7212+512 ~x7211+256 ~x7210+128 ~x7209+64 ~x7208+32 ~x7207+16 ~x7206+8 ~x7205+4 ~x7204+2 ~x7203+1 ~x7202-0=4094
60.67/60.77	c 16384 ~x2415707+8192 ~x2415706+4096 ~x2415705+2048 ~x2415704+1024 ~x2415703+512 ~x2415702+256 ~x2415701+128 ~x2415700+64 ~x2415699+32 ~x2415698+16 ~x2415697+8 ~x2415696+4 ~x2415695+2 ~x2415694+1 ~x2415693+24576 x7923+16384 ~x7246+8192 ~x7245+4096 ~x7244+2048 ~x7243+1024 ~x7242+512 ~x7241+256 ~x7240+128 ~x7239+64 ~x7238+32 ~x7237+16 ~x7236+8 ~x7235+4 ~x7234+2 ~x7233+1 ~x7232-0=65534
60.76/60.87	c 32768 ~x2420000+16384 ~x2419999+8192 ~x2419998+4096 ~x2419997+2048 ~x2419996+1024 ~x2419995+512 ~x2419994+256 ~x2419993+128 ~x2419992+64 ~x2419991+32 ~x2419990+16 ~x2419989+8 ~x2419988+4 ~x2419987+2 ~x2419986+1 ~x2419985+45056 x7924+32768 ~x7277+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=131070
60.86/60.99	c 2048 ~x2424625+1024 ~x2424624+512 ~x2424623+256 ~x2424622+128 ~x2424621+64 ~x2424620+32 ~x2424619+16 ~x2424618+8 ~x2424617+4 ~x2424616+2 ~x2424615+1 ~x2424614+3072 x7925+2048 ~x7303+1024 ~x7302+512 ~x7301+256 ~x7300+128 ~x7299+64 ~x7298+32 ~x7297+16 ~x7296+8 ~x7295+4 ~x7294+2 ~x7293+1 ~x7292-0=8190
60.96/61.05	c 8192 ~x2426975+4096 ~x2426974+2048 ~x2426973+1024 ~x2426972+512 ~x2426971+256 ~x2426970+128 ~x2426969+64 ~x2426968+32 ~x2426967+16 ~x2426966+8 ~x2426965+4 ~x2426964+2 ~x2426963+1 ~x2426962+8192 x7926+8192 ~x7335+4096 ~x7334+2048 ~x7333+1024 ~x7332+512 ~x7331+256 ~x7330+128 ~x7329+64 ~x7328+32 ~x7327+16 ~x7326+8 ~x7325+4 ~x7324+2 ~x7323+1 ~x7322-0=32766
61.06/61.14	c 2048 ~x2430689+1024 ~x2430688+512 ~x2430687+256 ~x2430686+128 ~x2430685+64 ~x2430684+32 ~x2430683+16 ~x2430682+8 ~x2430681+4 ~x2430680+2 ~x2430679+1 ~x2430678+2048 x7927+2048 ~x7363+1024 ~x7362+512 ~x7361+256 ~x7360+128 ~x7359+64 ~x7358+32 ~x7357+16 ~x7356+8 ~x7355+4 ~x7354+2 ~x7353+1 ~x7352-0=8190
61.16/61.20	c 2048 ~x2433037+1024 ~x2433036+512 ~x2433035+256 ~x2433034+128 ~x2433033+64 ~x2433032+32 ~x2433031+16 ~x2433030+8 ~x2433029+4 ~x2433028+2 ~x2433027+1 ~x2433026+3072 x7928+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=8190
61.26/61.30	c 8192 ~x2435387+4096 ~x2435386+2048 ~x2435385+1024 ~x2435384+512 ~x2435383+256 ~x2435382+128 ~x2435381+64 ~x2435380+32 ~x2435379+16 ~x2435378+8 ~x2435377+4 ~x2435376+2 ~x2435375+1 ~x2435374+11264 x7929+8192 ~x7425+4096 ~x7424+2048 ~x7423+1024 ~x7422+512 ~x7421+256 ~x7420+128 ~x7419+64 ~x7418+32 ~x7417+16 ~x7416+8 ~x7415+4 ~x7414+2 ~x7413+1 ~x7412-0=32766
61.26/61.40	c 2048 ~x2439101+1024 ~x2439100+512 ~x2439099+256 ~x2439098+128 ~x2439097+64 ~x2439096+32 ~x2439095+16 ~x2439094+8 ~x2439093+4 ~x2439092+2 ~x2439091+1 ~x2439090+3072 x7930+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=8190
61.36/61.46	c 8192 ~x2441451+4096 ~x2441450+2048 ~x2441449+1024 ~x2441448+512 ~x2441447+256 ~x2441446+128 ~x2441445+64 ~x2441444+32 ~x2441443+16 ~x2441442+8 ~x2441441+4 ~x2441440+2 ~x2441439+1 ~x2441438+15360 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
61.46/61.55	c 8192 ~x2445167+4096 ~x2445166+2048 ~x2445165+1024 ~x2445164+512 ~x2445163+256 ~x2445162+128 ~x2445161+64 ~x2445160+32 ~x2445159+16 ~x2445158+8 ~x2445157+4 ~x2445156+2 ~x2445155+1 ~x2445154+11264 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
61.57/61.64	c 2048 ~x2448881+1024 ~x2448880+512 ~x2448879+256 ~x2448878+128 ~x2448877+64 ~x2448876+32 ~x2448875+16 ~x2448874+8 ~x2448873+4 ~x2448872+2 ~x2448871+1 ~x2448870+2048 x7933+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=8190
61.66/61.70	c 16384 ~x2451232+8192 ~x2451231+4096 ~x2451230+2048 ~x2451229+1024 ~x2451228+512 ~x2451227+256 ~x2451226+128 ~x2451225+64 ~x2451224+32 ~x2451223+16 ~x2451222+8 ~x2451221+4 ~x2451220+2 ~x2451219+1 ~x2451218+19456 x7934+16384 ~x7576+8192 ~x7575+4096 ~x7574+2048 ~x7573+1024 ~x7572+512 ~x7571+256 ~x7570+128 ~x7569+64 ~x7568+32 ~x7567+16 ~x7566+8 ~x7565+4 ~x7564+2 ~x7563+1 ~x7562-0=65534
61.76/61.80	c 8192 ~x2455266+4096 ~x2455265+2048 ~x2455264+1024 ~x2455263+512 ~x2455262+256 ~x2455261+128 ~x2455260+64 ~x2455259+32 ~x2455258+16 ~x2455257+8 ~x2455256+4 ~x2455255+2 ~x2455254+1 ~x2455253+8192 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
61.76/61.89	c 1024 ~x2458979+512 ~x2458978+256 ~x2458977+128 ~x2458976+64 ~x2458975+32 ~x2458974+16 ~x2458973+8 ~x2458972+4 ~x2458971+2 ~x2458970+1 ~x2458969+1024 x7936+1024 ~x7632+512 ~x7631+256 ~x7630+128 ~x7629+64 ~x7628+32 ~x7627+16 ~x7626+8 ~x7625+4 ~x7624+2 ~x7623+1 ~x7622-0=4094
61.86/61.95	c 4096 ~x2461094+2048 ~x2461093+1024 ~x2461092+512 ~x2461091+256 ~x2461090+128 ~x2461089+64 ~x2461088+32 ~x2461087+16 ~x2461086+8 ~x2461085+4 ~x2461084+2 ~x2461083+1 ~x2461082+4096 x7937+4096 ~x7664+2048 ~x7663+1

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-2674118-1276799075/watcher-2674118-1276799075 -o /tmp/evaluation-result-2674118-1276799075/solver-2674118-1276799075 -C 1800 -W 2000 -M 1800 run HOME/instance-2674118-1276799075.opb 

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


[startup+0 s]
/proc/loadavg: 0.81 0.95 0.98 2/106 24141
/proc/meminfo: memFree=1861056/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0

[startup+0.0788731 s]
/proc/loadavg: 0.81 0.95 0.98 2/106 24141
/proc/meminfo: memFree=1861056/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100872 s]
/proc/loadavg: 0.81 0.95 0.98 2/106 24141
/proc/meminfo: memFree=1861056/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300908 s]
/proc/loadavg: 0.81 0.95 0.98 2/106 24141
/proc/meminfo: memFree=1861056/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700981 s]
/proc/loadavg: 0.81 0.95 0.98 2/106 24141
/proc/meminfo: memFree=1861056/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50113 s]
/proc/loadavg: 0.81 0.95 0.98 2/108 24144
/proc/meminfo: memFree=1701824/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=237284 CPUtime=1.48
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 59365 0 0 0 58 90 0 0 19 0 1 0 21199782 242978816 58726 1992294400 134512640 134902295 4289739472 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 59321 58726 256 96 0 58533 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 245984

[startup+3.10142 s]
/proc/loadavg: 0.81 0.95 0.98 2/108 24144
/proc/meminfo: memFree=1544592/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=379652 CPUtime=3.08
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 94940 0 0 0 182 126 0 0 24 0 1 0 21199782 388763648 94301 1992294400 134512640 134902295 4289739472 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 94913 94308 259 96 0 94125 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 388352

[startup+6.301 s]
/proc/loadavg: 0.82 0.95 0.98 2/108 24144
/proc/meminfo: memFree=1512104/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=368348 CPUtime=6.28
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 111228 0 0 0 494 134 0 0 25 0 1 0 21199782 377188352 91240 1992294400 134512640 134902295 4289739472 18446744073709551615 4160064420 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 92087 91240 262 96 0 91299 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 377048

[startup+12.7012 s]
/proc/loadavg: 0.84 0.95 0.98 2/108 24144
/proc/meminfo: memFree=1398644/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=483740 CPUtime=12.68
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 143397 0 0 0 1120 148 0 0 25 0 1 0 21199782 495349760 118475 1992294400 134512640 134902295 4289739472 18446744073709551615 134631594 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 120935 118475 262 96 0 120147 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 492440

[startup+25.5015 s]
/proc/loadavg: 0.87 0.95 0.98 2/108 24146
/proc/meminfo: memFree=1182884/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=696200 CPUtime=25.47
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 206104 0 0 0 2371 176 0 0 25 0 1 0 21199782 712908800 170617 1992294400 134512640 134902295 4289739472 18446744073709551615 12043772 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 174050 170617 262 96 0 173262 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 704900

[startup+51.1011 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 24146
/proc/meminfo: memFree=734748/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1172168 CPUtime=51.06
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 323821 0 0 0 4881 225 0 0 25 0 1 0 21199782 1200300032 283424 1992294400 134512640 134902295 4289739472 18446744073709551615 134791422 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 293042 283424 262 96 0 292254 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1180868

[startup+102.308 s]
/proc/loadavg: 1.07 0.99 0.99 2/108 24148
/proc/meminfo: memFree=557056/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1347248 CPUtime=102.25
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 373153 0 0 0 9979 246 0 0 25 0 1 0 21199782 1379581952 325436 1992294400 134512640 134902295 4289739472 18446744073709551615 4160045877 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 336812 325436 269 96 0 336024 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1355948

[startup+162.301 s]
/proc/loadavg: 1.10 1.01 1.00 2/108 24148
/proc/meminfo: memFree=548872/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1355412 CPUtime=162.23
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 375192 0 0 0 15974 249 0 0 25 0 1 0 21199782 1387941888 327475 1992294400 134512640 134902295 4289739472 18446744073709551615 4160063614 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 338853 327475 269 96 0 338065 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1364112

[startup+222.301 s]
/proc/loadavg: 1.10 1.02 1.00 2/108 24150
/proc/meminfo: memFree=542548/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1361744 CPUtime=222.2
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 376745 0 0 0 21970 250 0 0 25 0 1 0 21199782 1394425856 329028 1992294400 134512640 134902295 4289739472 18446744073709551615 4160063625 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 340436 329028 269 96 0 339648 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 1370444

[startup+282.301 s]
/proc/loadavg: 1.10 1.03 1.00 2/108 24152
/proc/meminfo: memFree=532256/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1372844 CPUtime=282.19
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 379353 0 0 0 27966 253 0 0 25 0 1 0 21199782 1405792256 331636 1992294400 134512640 134902295 4289739472 18446744073709551615 4160052139 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 343211 331636 269 96 0 342423 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1381544

[startup+342.301 s]
/proc/loadavg: 1.03 1.02 1.00 2/108 24154
/proc/meminfo: memFree=522832/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1382356 CPUtime=342.16
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 381696 0 0 0 33962 254 0 0 25 0 1 0 21199782 1415532544 333979 1992294400 134512640 134902295 4289739472 18446744073709551615 4160057086 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 345589 333979 269 96 0 344801 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 1391056

[startup+402.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/108 24156
/proc/meminfo: memFree=513284/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1391740 CPUtime=402.15
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 384070 0 0 0 39958 257 0 0 25 0 1 0 21199782 1425141760 336353 1992294400 134512640 134902295 4289739472 18446744073709551615 4160033398 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 347935 336353 269 96 0 347147 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1400440

[startup+462.301 s]

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

/proc/24143/statm: 362842 351148 269 96 0 362054 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1460068

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24181
/proc/meminfo: memFree=448804/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1455552 CPUtime=1241.87
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 399929 0 0 0 123913 274 0 0 25 0 1 0 21199782 1490485248 352212 1992294400 134512640 134902295 4289739472 18446744073709551615 4160063614 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 363888 352212 269 96 0 363100 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1464252

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24183
/proc/meminfo: memFree=444092/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1460132 CPUtime=1301.85
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 401081 0 0 0 129910 275 0 0 25 0 1 0 21199782 1495175168 353364 1992294400 134512640 134902295 4289739472 18446744073709551615 4160033505 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 365033 353364 269 96 0 364245 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1468832

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24183
/proc/meminfo: memFree=440496/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1463572 CPUtime=1361.82
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 401959 0 0 0 135906 276 0 0 25 0 1 0 21199782 1498697728 354242 1992294400 134512640 134902295 4289739472 18446744073709551615 4160063614 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 365893 354242 269 96 0 365105 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1472272

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24185
/proc/meminfo: memFree=437272/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1466904 CPUtime=1421.81
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 402767 0 0 0 141904 277 0 0 25 0 1 0 21199782 1502109696 355050 1992294400 134512640 134902295 4289739472 18446744073709551615 4160063622 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 366726 355050 269 96 0 365938 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1475604

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24187
/proc/meminfo: memFree=433800/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1470284 CPUtime=1481.79
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 403633 0 0 0 147901 278 0 0 25 0 1 0 21199782 1505570816 355916 1992294400 134512640 134902295 4289739472 18446744073709551615 4160063614 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 367571 355916 269 96 0 366783 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1478984

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24189
/proc/meminfo: memFree=428096/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1475896 CPUtime=1541.76
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 405037 0 0 0 153896 280 0 0 25 0 1 0 21199782 1511317504 357320 1992294400 134512640 134902295 4289739472 18446744073709551615 4160064370 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 368974 357320 269 96 0 368186 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1484596

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24191
/proc/meminfo: memFree=420036/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1483844 CPUtime=1601.75
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 407046 0 0 0 159893 282 0 0 25 0 1 0 21199782 1519456256 359329 1992294400 134512640 134902295 4289739472 18446744073709551615 4160063614 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 370961 359329 269 96 0 370173 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1492544

[startup+1662.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/108 24191
/proc/meminfo: memFree=414208/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1489572 CPUtime=1661.72
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 408484 0 0 0 165889 283 0 0 25 0 1 0 21199782 1525321728 360767 1992294400 134512640 134902295 4289739472 18446744073709551615 4160051729 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 372393 360767 269 96 0 371605 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1498272

[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 24193
/proc/meminfo: memFree=405528/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1499108 CPUtime=1721.7
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 410652 0 0 0 171886 284 0 0 25 0 1 0 21199782 1535086592 362935 1992294400 134512640 134902295 4289739472 18446744073709551615 4160047190 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 374777 362935 269 96 0 373989 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1507808

[startup+1782.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/108 24195
/proc/meminfo: memFree=396600/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1507744 CPUtime=1781.68
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 412820 0 0 0 177880 288 0 0 25 0 1 0 21199782 1543929856 365103 1992294400 134512640 134902295 4289739472 18446744073709551615 4160064764 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 376936 365103 269 96 0 376148 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 1516444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24195
/proc/meminfo: memFree=394616/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1509792 CPUtime=1800.1
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 413301 0 0 0 179721 289 0 0 25 0 1 0 21199782 1546027008 365584 1992294400 134512640 134902295 4289739472 18446744073709551615 4160064764 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 377448 365584 269 96 0 376660 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1518492

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24195
/proc/meminfo: memFree=394616/2059040 swapFree=4164948/4192956
[pid=24141] ppid=24139 vsize=8700 CPUtime=0
/proc/24141/stat : 24141 (run) S 24139 24141 24086 0 -1 4202496 390 134 0 0 0 0 0 0 23 0 1 0 21199782 8908800 251 1992294400 4194304 4922060 140734651647008 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24141/statm: 2175 251 211 178 0 68 0
[pid=24143] ppid=24141 vsize=1509792 CPUtime=1800.1
/proc/24143/stat : 24143 (PBPASSolver) R 24141 24141 24086 0 -1 4202496 413301 0 0 0 179721 289 0 0 25 0 1 0 21199782 1546027008 365584 1992294400 134512640 134902295 4289739472 18446744073709551615 4160064764 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24143/statm: 377448 365584 269 96 0 376660 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1518492

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1800.72
CPU time (s): 1800.1
CPU user time (s): 1797.21
CPU system time (s): 2.89
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 1518492

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

runsolver used 2.80357 second user time and 8.67968 second system time

The end

Begin job on node044 at 2010-06-17 20:24:35
IDJOB=2674118
IDBENCH=2306
IDSOLVER=1174
FILE ID=node044/2674118-1276799075
PBS_JOBID= 11176658
Free space on /tmp= 62508 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-ran4x64.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674118-1276799075/watcher-2674118-1276799075 -o /tmp/evaluation-result-2674118-1276799075/solver-2674118-1276799075 -C 1800 -W 2000 -M 1800  run HOME/instance-2674118-1276799075.opb

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

MD5SUM BENCH= adabd7fea668d3a11dc3f3df10fc7224
RANDOM SEED=797748084

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1861452 kB
Buffers:         17144 kB
Cached:          69468 kB
SwapCached:       1376 kB
Active:          20104 kB
Inactive:        99204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1861452 kB
SwapTotal:     4192956 kB
SwapFree:      4164948 kB
Dirty:            1124 kB
Writeback:           0 kB
AnonPages:       31412 kB
Mapped:          15048 kB
Slab:            56272 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181372 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= 62508 MiB
End job on node044 at 2010-06-17 20:54:38