9.48/9.55	c 19038 930 0 0 0 0 0 0
9.48/9.55	c 512 ~x19049+256 ~x19048+128 ~x19047+64 ~x19046+32 ~x19045+16 ~x19044+8 ~x19043+4 ~x19042+2 ~x19041+1 ~x19040+512 ~x185+256 ~x184+128 ~x183+64 ~x182+32 ~x181+16 ~x180+8 ~x179+4 ~x178+2 ~x177+1 ~x176-0=2046
9.48/9.55	c 512 ~x20351+256 ~x20350+128 ~x20349+64 ~x20348+32 ~x20347+16 ~x20346+8 ~x20345+4 ~x20344+2 ~x20343+1 ~x20342+512 ~x196+256 ~x195+128 ~x194+64 ~x193+32 ~x192+16 ~x191+8 ~x190+4 ~x189+2 ~x188+1 ~x187-0=2046
9.48/9.59	c 512 ~x21653+256 ~x21652+128 ~x21651+64 ~x21650+32 ~x21649+16 ~x21648+8 ~x21647+4 ~x21646+2 ~x21645+1 ~x21644+512 ~x207+256 ~x206+128 ~x205+64 ~x204+32 ~x203+16 ~x202+8 ~x201+4 ~x200+2 ~x199+1 ~x198-0=2046
9.58/9.62	c 512 ~x22955+256 ~x22954+128 ~x22953+64 ~x22952+32 ~x22951+16 ~x22950+8 ~x22949+4 ~x22948+2 ~x22947+1 ~x22946+512 ~x218+256 ~x217+128 ~x216+64 ~x215+32 ~x214+16 ~x213+8 ~x212+4 ~x211+2 ~x210+1 ~x209-0=2046
9.58/9.65	c 512 ~x24257+256 ~x24256+128 ~x24255+64 ~x24254+32 ~x24253+16 ~x24252+8 ~x24251+4 ~x24250+2 ~x24249+1 ~x24248+512 ~x229+256 ~x228+128 ~x227+64 ~x226+32 ~x225+16 ~x224+8 ~x223+4 ~x222+2 ~x221+1 ~x220-0=2046
9.68/9.72	c 512 ~x25559+256 ~x25558+128 ~x25557+64 ~x25556+32 ~x25555+16 ~x25554+8 ~x25553+4 ~x25552+2 ~x25551+1 ~x25550+512 ~x240+256 ~x239+128 ~x238+64 ~x237+32 ~x236+16 ~x235+8 ~x234+4 ~x233+2 ~x232+1 ~x231-0=2046
9.68/9.72	c 512 ~x26861+256 ~x26860+128 ~x26859+64 ~x26858+32 ~x26857+16 ~x26856+8 ~x26855+4 ~x26854+2 ~x26853+1 ~x26852+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242-0=2046
9.68/9.75	c 512 ~x28163+256 ~x28162+128 ~x28161+64 ~x28160+32 ~x28159+16 ~x28158+8 ~x28157+4 ~x28156+2 ~x28155+1 ~x28154+512 ~x262+256 ~x261+128 ~x260+64 ~x259+32 ~x258+16 ~x257+8 ~x256+4 ~x255+2 ~x254+1 ~x253-0=2046
9.68/9.79	c 512 ~x29465+256 ~x29464+128 ~x29463+64 ~x29462+32 ~x29461+16 ~x29460+8 ~x29459+4 ~x29458+2 ~x29457+1 ~x29456+512 ~x273+256 ~x272+128 ~x271+64 ~x270+32 ~x269+16 ~x268+8 ~x267+4 ~x266+2 ~x265+1 ~x264-0=2046
9.79/9.82	c 512 ~x30767+256 ~x30766+128 ~x30765+64 ~x30764+32 ~x30763+16 ~x30762+8 ~x30761+4 ~x30760+2 ~x30759+1 ~x30758+512 ~x284+256 ~x283+128 ~x282+64 ~x281+32 ~x280+16 ~x279+8 ~x278+4 ~x277+2 ~x276+1 ~x275-0=2046
9.79/9.90	c 512 ~x32069+256 ~x32068+128 ~x32067+64 ~x32066+32 ~x32065+16 ~x32064+8 ~x32063+4 ~x32062+2 ~x32061+1 ~x32060+512 ~x295+256 ~x294+128 ~x293+64 ~x292+32 ~x291+16 ~x290+8 ~x289+4 ~x288+2 ~x287+1 ~x286-0=2046
9.79/9.90	c 512 ~x33371+256 ~x33370+128 ~x33369+64 ~x33368+32 ~x33367+16 ~x33366+8 ~x33365+4 ~x33364+2 ~x33363+1 ~x33362+512 ~x306+256 ~x305+128 ~x304+64 ~x303+32 ~x302+16 ~x301+8 ~x300+4 ~x299+2 ~x298+1 ~x297-0=2046
9.88/9.94	c 512 ~x34673+256 ~x34672+128 ~x34671+64 ~x34670+32 ~x34669+16 ~x34668+8 ~x34667+4 ~x34666+2 ~x34665+1 ~x34664+512 ~x317+256 ~x316+128 ~x315+64 ~x314+32 ~x313+16 ~x312+8 ~x311+4 ~x310+2 ~x309+1 ~x308-0=2046
9.88/9.97	c 512 ~x35975+256 ~x35974+128 ~x35973+64 ~x35972+32 ~x35971+16 ~x35970+8 ~x35969+4 ~x35968+2 ~x35967+1 ~x35966+512 ~x328+256 ~x327+128 ~x326+64 ~x325+32 ~x324+16 ~x323+8 ~x322+4 ~x321+2 ~x320+1 ~x319-0=2046
9.98/10.00	c 512 ~x37277+256 ~x37276+128 ~x37275+64 ~x37274+32 ~x37273+16 ~x37272+8 ~x37271+4 ~x37270+2 ~x37269+1 ~x37268+512 ~x339+256 ~x338+128 ~x337+64 ~x336+32 ~x335+16 ~x334+8 ~x333+4 ~x332+2 ~x331+1 ~x330-0=2046
9.98/10.04	c 512 ~x38579+256 ~x38578+128 ~x38577+64 ~x38576+32 ~x38575+16 ~x38574+8 ~x38573+4 ~x38572+2 ~x38571+1 ~x38570+512 ~x350+256 ~x349+128 ~x348+64 ~x347+32 ~x346+16 ~x345+8 ~x344+4 ~x343+2 ~x342+1 ~x341-0=2046
10.08/10.10	c 512 ~x39881+256 ~x39880+128 ~x39879+64 ~x39878+32 ~x39877+16 ~x39876+8 ~x39875+4 ~x39874+2 ~x39873+1 ~x39872+512 ~x361+256 ~x360+128 ~x359+64 ~x358+32 ~x357+16 ~x356+8 ~x355+4 ~x354+2 ~x353+1 ~x352-0=2046
10.08/10.10	c 512 ~x41183+256 ~x41182+128 ~x41181+64 ~x41180+32 ~x41179+16 ~x41178+8 ~x41177+4 ~x41176+2 ~x41175+1 ~x41174+512 ~x372+256 ~x371+128 ~x370+64 ~x369+32 ~x368+16 ~x367+8 ~x366+4 ~x365+2 ~x364+1 ~x363-0=2046
10.08/10.13	c 512 ~x42485+256 ~x42484+128 ~x42483+64 ~x42482+32 ~x42481+16 ~x42480+8 ~x42479+4 ~x42478+2 ~x42477+1 ~x42476+512 ~x383+256 ~x382+128 ~x381+64 ~x380+32 ~x379+16 ~x378+8 ~x377+4 ~x376+2 ~x375+1 ~x374-0=2046
10.08/10.17	c 512 ~x43787+256 ~x43786+128 ~x43785+64 ~x43784+32 ~x43783+16 ~x43782+8 ~x43781+4 ~x43780+2 ~x43779+1 ~x43778+512 ~x394+256 ~x393+128 ~x392+64 ~x391+32 ~x390+16 ~x389+8 ~x388+4 ~x387+2 ~x386+1 ~x385-0=2046
10.18/10.20	c 512 ~x45089+256 ~x45088+128 ~x45087+64 ~x45086+32 ~x45085+16 ~x45084+8 ~x45083+4 ~x45082+2 ~x45081+1 ~x45080+512 ~x405+256 ~x404+128 ~x403+64 ~x402+32 ~x401+16 ~x400+8 ~x399+4 ~x398+2 ~x397+1 ~x396-0=2046
10.18/10.27	c 512 ~x46391+256 ~x46390+128 ~x46389+64 ~x46388+32 ~x46387+16 ~x46386+8 ~x46385+4 ~x46384+2 ~x46383+1 ~x46382+512 ~x416+256 ~x415+128 ~x414+64 ~x413+32 ~x412+16 ~x411+8 ~x410+4 ~x409+2 ~x408+1 ~x407-0=2046
10.18/10.27	c 512 ~x47693+256 ~x47692+128 ~x47691+64 ~x47690+32 ~x47689+16 ~x47688+8 ~x47687+4 ~x47686+2 ~x47685+1 ~x47684+512 ~x427+256 ~x426+128 ~x425+64 ~x424+32 ~x423+16 ~x422+8 ~x421+4 ~x420+2 ~x419+1 ~x418-0=2046
10.28/10.30	c 512 ~x48995+256 ~x48994+128 ~x48993+64 ~x48992+32 ~x48991+16 ~x48990+8 ~x48989+4 ~x48988+2 ~x48987+1 ~x48986+512 ~x438+256 ~x437+128 ~x436+64 ~x435+32 ~x434+16 ~x433+8 ~x432+4 ~x431+2 ~x430+1 ~x429-0=2046
10.28/10.33	c 512 ~x50297+256 ~x50296+128 ~x50295+64 ~x50294+32 ~x50293+16 ~x50292+8 ~x50291+4 ~x50290+2 ~x50289+1 ~x50288+512 ~x449+256 ~x448+128 ~x447+64 ~x446+32 ~x445+16 ~x444+8 ~x443+4 ~x442+2 ~x441+1 ~x440-0=2046
10.28/10.36	c 512 ~x51599+256 ~x51598+128 ~x51597+64 ~x51596+32 ~x51595+16 ~x51594+8 ~x51593+4 ~x51592+2 ~x51591+1 ~x51590+512 ~x460+256 ~x459+128 ~x458+64 ~x457+32 ~x456+16 ~x455+8 ~x454+4 ~x453+2 ~x452+1 ~x451-0=2046
10.38/10.43	c 512 ~x52901+256 ~x52900+128 ~x52899+64 ~x52898+32 ~x52897+16 ~x52896+8 ~x52895+4 ~x52894+2 ~x52893+1 ~x52892+512 ~x471+256 ~x470+128 ~x469+64 ~x468+32 ~x467+16 ~x466+8 ~x465+4 ~x464+2 ~x463+1 ~x462-0=2046
10.38/10.43	c 512 ~x54203+256 ~x54202+128 ~x54201+64 ~x54200+32 ~x54199+16 ~x54198+8 ~x54197+4 ~x54196+2 ~x54195+1 ~x54194+512 ~x482+256 ~x481+128 ~x480+64 ~x479+32 ~x478+16 ~x477+8 ~x476+4 ~x475+2 ~x474+1 ~x473-0=2046
10.38/10.46	c 512 ~x55505+256 ~x55504+128 ~x55503+64 ~x55502+32 ~x55501+16 ~x55500+8 ~x55499+4 ~x55498+2 ~x55497+1 ~x55496+512 ~x493+256 ~x492+128 ~x491+64 ~x490+32 ~x489+16 ~x488+8 ~x487+4 ~x486+2 ~x485+1 ~x484-0=2046
10.38/10.49	c 512 ~x56807+256 ~x56806+128 ~x56805+64 ~x56804+32 ~x56803+16 ~x56802+8 ~x56801+4 ~x56800+2 ~x56799+1 ~x56798+512 ~x504+256 ~x503+128 ~x502+64 ~x501+32 ~x500+16 ~x499+8 ~x498+4 ~x497+2 ~x496+1 ~x495-0=2046
10.49/10.53	c 512 ~x58109+256 ~x58108+128 ~x58107+64 ~x58106+32 ~x58105+16 ~x58104+8 ~x58103+4 ~x58102+2 ~x58101+1 ~x58100+512 ~x515+256 ~x514+128 ~x513+64 ~x512+32 ~x511+16 ~x510+8 ~x509+4 ~x508+2 ~x507+1 ~x506-0=2046
10.49/10.59	c 512 ~x59411+256 ~x59410+128 ~x59409+64 ~x59408+32 ~x59407+16 ~x59406+8 ~x59405+4 ~x59404+2 ~x59403+1 ~x59402+512 ~x526+256 ~x525+128 ~x524+64 ~x523+32 ~x522+16 ~x521+8 ~x520+4 ~x519+2 ~x518+1 ~x517-0=2046
10.49/10.59	c 512 ~x60713+256 ~x60712+128 ~x60711+64 ~x60710+32 ~x60709+16 ~x60708+8 ~x60707+4 ~x60706+2 ~x60705+1 ~x60704+512 ~x537+256 ~x536+128 ~x535+64 ~x534+32 ~x533+16 ~x532+8 ~x531+4 ~x530+2 ~x529+1 ~x528-0=2046
10.58/10.63	c 512 ~x62015+256 ~x62014+128 ~x62013+64 ~x62012+32 ~x62011+16 ~x62010+8 ~x62009+4 ~x62008+2 ~x62007+1 ~x62006+512 ~x548+256 ~x547+128 ~x546+64 ~x545+32 ~x544+16 ~x543+8 ~x542+4 ~x541+2 ~x540+1 ~x539-0=2046
10.58/10.66	c 512 ~x63317+256 ~x63316+128 ~x63315+64 ~x63314+32 ~x63313+16 ~x63312+8 ~x63311+4 ~x63310+2 ~x63309+1 ~x63308+512 ~x559+256 ~x558+128 ~x557+64 ~x556+32 ~x555+16 ~x554+8 ~x553+4 ~x552+2 ~x551+1 ~x550-0=2046
10.58/10.69	c 512 ~x64619+256 ~x64618+128 ~x64617+64 ~x64616+32 ~x64615+16 ~x64614+8 ~x64613+4 ~x64612+2 ~x64611+1 ~x64610+512 ~x570+256 ~x569+128 ~x568+64 ~x567+32 ~x566+16 ~x565+8 ~x564+4 ~x563+2 ~x562+1 ~x561-0=2046
10.68/10.72	c 512 ~x65921+256 ~x65920+128 ~x65919+64 ~x65918+32 ~x65917+16 ~x65916+8 ~x65915+4 ~x65914+2 ~x65913+1 ~x65912+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572-0=2046
10.68/10.79	c 512 ~x67223+256 ~x67222+128 ~x67221+64 ~x67220+32 ~x67219+16 ~x67218+8 ~x67217+4 ~x67216+2 ~x67215+1 ~x67214+512 ~x592+256 ~x591+128 ~x590+64 ~x589+32 ~x588+16 ~x587+8 ~x586+4 ~x585+2 ~x584+1 ~x583-0=2046
10.68/10.79	c 512 ~x68525+256 ~x68524+128 ~x68523+64 ~x68522+32 ~x68521+16 ~x68520+8 ~x68519+4 ~x68518+2 ~x68517+1 ~x68516+512 ~x603+256 ~x602+128 ~x601+64 ~x600+32 ~x599+16 ~x598+8 ~x597+4 ~x596+2 ~x595+1 ~x594-0=2046
10.78/10.82	c 512 ~x69827+256 ~x69826+128 ~x69825+64 ~x69824+32 ~x69823+16 ~x69822+8 ~x69821+4 ~x69820+2 ~x69819+1 ~x69818+512 ~x614+256 ~x613+128 ~x612+64 ~x611+32 ~x610+16 ~x609+8 ~x608+4 ~x607+2 ~x606+1 ~x605-0=2046
10.78/10.85	c 512 ~x71129+256 ~x71128+128 ~x71127+64 ~x71126+32 ~x71125+16 ~x71124+8 ~x71123+4 ~x71122+2 ~x71121+1 ~x71120+512 ~x625+256 ~x624+128 ~x623+64 ~x622+32 ~x621+16 ~x620+8 ~x619+4 ~x618+2 ~x617+1 ~x616-0=2046
10.78/10.89	c 512 ~x72431+256 ~x72430+128 ~x72429+64 ~x72428+32 ~x72427+16 ~x72426+8 ~x72425+4 ~x72424+2 ~x72423+1 ~x72422+512 ~x636+256 ~x635+128 ~x634+64 ~x633+32 ~x632+16 ~x631+8 ~x630+4 ~x629+2 ~x628+1 ~x627-0=2046
10.89/10.95	c 512 ~x73733+256 ~x73732+128 ~x73731+64 ~x73730+32 ~x73729+16 ~x73728+8 ~x73727+4 ~x73726+2 ~x73725+1 ~x73724+512 ~x647+256 ~x646+128 ~x645+64 ~x644+32 ~x643+16 ~x642+8 ~x641+4 ~x640+2 ~x639+1 ~x638-0=2046
10.89/10.95	c 512 ~x75035+256 ~x75034+128 ~x75033+64 ~x75032+32 ~x75031+16 ~x75030+8 ~x75029+4 ~x75028+2 ~x75027+1 ~x75026+512 ~x658+256 ~x657+128 ~x656+64 ~x655+32 ~x654+16 ~x653+8 ~x652+4 ~x651+2 ~x650+1 ~x649-0=2046
10.89/10.99	c 512 ~x76337+256 ~x76336+128 ~x76335+64 ~x76334+32 ~x76333+16 ~x76332+8 ~x76331+4 ~x76330+2 ~x76329+1 ~x76328+512 ~x669+256 ~x668+128 ~x667+64 ~x666+32 ~x665+16 ~x664+8 ~x663+4 ~x662+2 ~x661+1 ~x660-0=2046
10.98/11.02	c 512 ~x77639+256 ~x77638+128 ~x77637+64 ~x77636+32 ~x77635+16 ~x77634+8 ~x77633+4 ~x77632+2 ~x77631+1 ~x77630+512 ~x680+256 ~x679+128 ~x678+64 ~x677+32 ~x676+16 ~x675+8 ~x674+4 ~x673+2 ~x672+1 ~x671-0=2046
10.98/11.05	c 512 ~x78941+256 ~x78940+128 ~x78939+64 ~x78938+32 ~x78937+16 ~x78936+8 ~x78935+4 ~x78934+2 ~x78933+1 ~x78932+512 ~x691+256 ~x690+128 ~x689+64 ~x688+32 ~x687+16 ~x686+8 ~x685+4 ~x684+2 ~x683+1 ~x682-0=2046
11.08/11.12	c 512 ~x80243+256 ~x80242+128 ~x80241+64 ~x80240+32 ~x80239+16 ~x80238+8 ~x80237+4 ~x80236+2 ~x80235+1 ~x80234+512 ~x702+256 ~x701+128 ~x700+64 ~x699+32 ~x698+16 ~x697+8 ~x696+4 ~x695+2 ~x694+1 ~x693-0=2046
11.08/11.12	c 512 ~x81545+256 ~x81544+128 ~x81543+64 ~x81542+32 ~x81541+16 ~x81540+8 ~x81539+4 ~x81538+2 ~x81537+1 ~x81536+512 ~x713+256 ~x712+128 ~x711+64 ~x710+32 ~x709+16 ~x708+8 ~x707+4 ~x706+2 ~x705+1 ~x704-0=2046
11.08/11.15	c 512 ~x82847+256 ~x82846+128 ~x82845+64 ~x82844+32 ~x82843+16 ~x82842+8 ~x82841+4 ~x82840+2 ~x82839+1 ~x82838+512 ~x724+256 ~x723+128 ~x722+64 ~x721+32 ~x720+16 ~x719+8 ~x718+4 ~x717+2 ~x716+1 ~x715-0=2046
11.08/11.18	c 512 ~x84149+256 ~x84148+128 ~x84147+64 ~x84146+32 ~x84145+16 ~x84144+8 ~x84143+4 ~x84142+2 ~x84141+1 ~x84140+512 ~x735+256 ~x734+128 ~x733+64 ~x732+32 ~x731+16 ~x730+8 ~x729+4 ~x728+2 ~x727+1 ~x726-0=2046
11.18/11.22	c 512 ~x85451+256 ~x85450+128 ~x85449+64 ~x85448+32 ~x85447+16 ~x85446+8 ~x85445+4 ~x85444+2 ~x85443+1 ~x85442+512 ~x746+256 ~x745+128 ~x744+64 ~x743+32 ~x742+16 ~x741+8 ~x740+4 ~x739+2 ~x738+1 ~x737-0=2046
11.18/11.28	c 512 ~x86753+256 ~x86752+128 ~x86751+64 ~x86750+32 ~x86749+16 ~x86748+8 ~x86747+4 ~x86746+2 ~x86745+1 ~x86744+512 ~x757+256 ~x756+128 ~x755+64 ~x754+32 ~x753+16 ~x752+8 ~x751+4 ~x750+2 ~x749+1 ~x748-0=2046
11.18/11.28	c 512 ~x88055+256 ~x88054+128 ~x88053+64 ~x88052+32 ~x88051+16 ~x88050+8 ~x88049+4 ~x88048+2 ~x88047+1 ~x88046+512 ~x768+256 ~x767+128 ~x766+64 ~x765+32 ~x764+16 ~x763+8 ~x762+4 ~x761+2 ~x760+1 ~x759-0=2046
11.28/11.32	c 512 ~x89357+256 ~x89356+128 ~x89355+64 ~x89354+32 ~x89353+16 ~x89352+8 ~x89351+4 ~x89350+2 ~x89349+1 ~x89348+512 ~x779+256 ~x778+128 ~x777+64 ~x776+32 ~x775+16 ~x774+8 ~x773+4 ~x772+2 ~x771+1 ~x770-0=2046
11.28/11.36	c 512 ~x90659+256 ~x90658+128 ~x90657+64 ~x90656+32 ~x90655+16 ~x90654+8 ~x90653+4 ~x90652+2 ~x90651+1 ~x90650+512 ~x790+256 ~x789+128 ~x788+64 ~x787+32 ~x786+16 ~x785+8 ~x784+4 ~x783+2 ~x782+1 ~x781-0=2046
11.28/11.39	c 512 ~x91961+256 ~x91960+128 ~x91959+64 ~x91958+32 ~x91957+16 ~x91956+8 ~x91955+4 ~x91954+2 ~x91953+1 ~x91952+512 ~x801+256 ~x800+128 ~x799+64 ~x798+32 ~x797+16 ~x796+8 ~x795+4 ~x794+2 ~x793+1 ~x792-0=2046
11.48/11.50	c 512 ~x93263+256 ~x93262+128 ~x93261+64 ~x93260+32 ~x93259+16 ~x93258+8 ~x93257+4 ~x93256+2 ~x93255+1 ~x93254+512 ~x812+256 ~x811+128 ~x810+64 ~x809+32 ~x808+16 ~x807+8 ~x806+4 ~x805+2 ~x804+1 ~x803-0=2046
11.48/11.50	c 512 ~x94565+256 ~x94564+128 ~x94563+64 ~x94562+32 ~x94561+16 ~x94560+8 ~x94559+4 ~x94558+2 ~x94557+1 ~x94556+512 ~x823+256 ~x822+128 ~x821+64 ~x820+32 ~x819+16 ~x818+8 ~x817+4 ~x816+2 ~x815+1 ~x814-0=2046
11.48/11.54	c 512 ~x95867+256 ~x95866+128 ~x95865+64 ~x95864+32 ~x95863+16 ~x95862+8 ~x95861+4 ~x95860+2 ~x95859+1 ~x95858+512 ~x834+256 ~x833+128 ~x832+64 ~x831+32 ~x830+16 ~x829+8 ~x828+4 ~x827+2 ~x826+1 ~x825-0=2046
11.48/11.57	c 512 ~x97169+256 ~x97168+128 ~x97167+64 ~x97166+32 ~x97165+16 ~x97164+8 ~x97163+4 ~x97162+2 ~x97161+1 ~x97160+512 ~x845+256 ~x844+128 ~x843+64 ~x842+32 ~x841+16 ~x840+8 ~x839+4 ~x838+2 ~x837+1 ~x836-0=2046
11.58/11.61	c 512 ~x98471+256 ~x98470+128 ~x98469+64 ~x98468+32 ~x98467+16 ~x98466+8 ~x98465+4 ~x98464+2 ~x98463+1 ~x98462+512 ~x856+256 ~x855+128 ~x854+64 ~x853+32 ~x852+16 ~x851+8 ~x850+4 ~x849+2 ~x848+1 ~x847-0=2046
11.58/11.64	c 512 ~x99773+256 ~x99772+128 ~x99771+64 ~x99770+32 ~x99769+16 ~x99768+8 ~x99767+4 ~x99766+2 ~x99765+1 ~x99764+512 ~x867+256 ~x866+128 ~x865+64 ~x864+32 ~x863+16 ~x862+8 ~x861+4 ~x860+2 ~x859+1 ~x858-0=2046
11.68/11.71	c 512 ~x101075+256 ~x101074+128 ~x101073+64 ~x101072+32 ~x101071+16 ~x101070+8 ~x101069+4 ~x101068+2 ~x101067+1 ~x101066+512 ~x878+256 ~x877+128 ~x876+64 ~x875+32 ~x874+16 ~x873+8 ~x872+4 ~x871+2 ~x870+1 ~x869-0=2046
11.68/11.71	c 512 ~x102377+256 ~x102376+128 ~x102375+64 ~x102374+32 ~x102373+16 ~x102372+8 ~x102371+4 ~x102370+2 ~x102369+1 ~x102368+512 ~x889+256 ~x888+128 ~x887+64 ~x886+32 ~x885+16 ~x884+8 ~x883+4 ~x882+2 ~x881+1 ~x880-0=2046
11.68/11.74	c 512 ~x103679+256 ~x103678+128 ~x103677+64 ~x103676+32 ~x103675+16 ~x103674+8 ~x103673+4 ~x103672+2 ~x103671+1 ~x103670+512 ~x900+256 ~x899+128 ~x898+64 ~x897+32 ~x896+16 ~x895+8 ~x894+4 ~x893+2 ~x892+1 ~x891-0=2046
11.68/11.78	c 512 ~x104981+256 ~x104980+128 ~x104979+64 ~x104978+32 ~x104977+16 ~x104976+8 ~x104975+4 ~x104974+2 ~x104973+1 ~x104972+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902-0=2046
11.78/11.81	c 512 ~x106283+256 ~x106282+128 ~x106281+64 ~x106280+32 ~x106279+16 ~x106278+8 ~x106277+4 ~x106276+2 ~x106275+1 ~x106274+512 ~x922+256 ~x921+128 ~x920+64 ~x919+32 ~x918+16 ~x917+8 ~x916+4 ~x915+2 ~x914+1 ~x913-0=2046
11.78/11.84	c 512 ~x107585+256 ~x107584+128 ~x107583+64 ~x107582+32 ~x107581+16 ~x107580+8 ~x107579+4 ~x107578+2 ~x107577+1 ~x107576+512 ~x933+256 ~x932+128 ~x931+64 ~x930+32 ~x929+16 ~x928+8 ~x927+4 ~x926+2 ~x925+1 ~x924-0=2046
11.88/11.91	c 512 ~x108887+256 ~x108886+128 ~x108885+64 ~x108884+32 ~x108883+16 ~x108882+8 ~x108881+4 ~x108880+2 ~x108879+1 ~x108878+512 ~x944+256 ~x943+128 ~x942+64 ~x941+32 ~x940+16 ~x939+8 ~x938+4 ~x937+2 ~x936+1 ~x935-0=2046
11.88/11.91	c 512 ~x110189+256 ~x110188+128 ~x110187+64 ~x110186+32 ~x110185+16 ~x110184+8 ~x110183+4 ~x110182+2 ~x110181+1 ~x110180+512 ~x955+256 ~x954+128 ~x953+64 ~x952+32 ~x951+16 ~x950+8 ~x949+4 ~x948+2 ~x947+1 ~x946-0=2046
11.88/11.94	c 512 ~x111491+256 ~x111490+128 ~x111489+64 ~x111488+32 ~x111487+16 ~x111486+8 ~x111485+4 ~x111484+2 ~x111483+1 ~x111482+512 ~x966+256 ~x965+128 ~x964+64 ~x963+32 ~x962+16 ~x961+8 ~x960+4 ~x959+2 ~x958+1 ~x957-0=2046
11.88/11.97	c 512 ~x112793+256 ~x112792+128 ~x112791+64 ~x112790+32 ~x112789+16 ~x112788+8 ~x112787+4 ~x112786+2 ~x112785+1 ~x112784+512 ~x977+256 ~x976+128 ~x975+64 ~x974+32 ~x973+16 ~x972+8 ~x971+4 ~x970+2 ~x969+1 ~x968-0=2046
11.98/12.00	c 512 ~x114095+256 ~x114094+128 ~x114093+64 ~x114092+32 ~x114091+16 ~x114090+8 ~x114089+4 ~x114088+2 ~x114087+1 ~x114086+512 ~x988+256 ~x987+128 ~x986+64 ~x985+32 ~x984+16 ~x983+8 ~x982+4 ~x981+2 ~x980+1 ~x979-0=2046
11.98/12.04	c 512 ~x115397+256 ~x115396+128 ~x115395+64 ~x115394+32 ~x115393+16 ~x115392+8 ~x115391+4 ~x115390+2 ~x115389+1 ~x115388+512 ~x999+256 ~x998+128 ~x997+64 ~x996+32 ~x995+16 ~x994+8 ~x993+4 ~x992+2 ~x991+1 ~x990-0=2046
11.98/12.07	c 512 ~x116699+256 ~x116698+128 ~x116697+64 ~x116696+32 ~x116695+16 ~x116694+8 ~x116693+4 ~x116692+2 ~x116691+1 ~x116690+512 ~x1010+256 ~x1009+128 ~x1008+64 ~x1007+32 ~x1006+16 ~x1005+8 ~x1004+4 ~x1003+2 ~x1002+1 ~x1001-0=2046
12.09/12.13	c 512 ~x118001+256 ~x118000+128 ~x117999+64 ~x117998+32 ~x117997+16 ~x117996+8 ~x117995+4 ~x117994+2 ~x117993+1 ~x117992+512 ~x1021+256 ~x1020+128 ~x1019+64 ~x1018+32 ~x1017+16 ~x1016+8 ~x1015+4 ~x1014+2 ~x1013+1 ~x1012-0=2046
12.09/12.13	c 512 ~x119303+256 ~x119302+128 ~x119301+64 ~x119300+32 ~x119299+16 ~x119298+8 ~x119297+4 ~x119296+2 ~x119295+1 ~x119294+512 ~x1032+256 ~x1031+128 ~x1030+64 ~x1029+32 ~x1028+16 ~x1027+8 ~x1026+4 ~x1025+2 ~x1024+1 ~x1023-0=2046
12.09/12.17	c 512 ~x120605+256 ~x120604+128 ~x120603+64 ~x120602+32 ~x120601+16 ~x120600+8 ~x120599+4 ~x120598+2 ~x120597+1 ~x120596+512 ~x1043+256 ~x1042+128 ~x1041+64 ~x1040+32 ~x1039+16 ~x1038+8 ~x1037+4 ~x1036+2 ~x1035+1 ~x1034-0=2046
12.18/12.20	c 512 ~x121907+256 ~x121906+128 ~x121905+64 ~x121904+32 ~x121903+16 ~x121902+8 ~x121901+4 ~x121900+2 ~x121899+1 ~x121898+512 ~x1054+256 ~x1053+128 ~x1052+64 ~x1051+32 ~x1050+16 ~x1049+8 ~x1048+4 ~x1047+2 ~x1046+1 ~x1045-0=2046
12.18/12.23	c 512 ~x123209+256 ~x123208+128 ~x123207+64 ~x123206+32 ~x123205+16 ~x123204+8 ~x123203+4 ~x123202+2 ~x123201+1 ~x123200+512 ~x1065+256 ~x1064+128 ~x1063+64 ~x1062+32 ~x1061+16 ~x1060+8 ~x1059+4 ~x1058+2 ~x1057+1 ~x1056-0=2046
12.18/12.27	c 512 ~x124511+256 ~x124510+128 ~x124509+64 ~x124508+32 ~x124507+16 ~x124506+8 ~x124505+4 ~x124504+2 ~x124503+1 ~x124502+512 ~x1076+256 ~x1075+128 ~x1074+64 ~x1073+32 ~x1072+16 ~x1071+8 ~x1070+4 ~x1069+2 ~x1068+1 ~x1067-0=2046
12.28/12.30	c 512 ~x125813+256 ~x125812+128 ~x125811+64 ~x125810+32 ~x125809+16 ~x125808+8 ~x125807+4 ~x125806+2 ~x125805+1 ~x125804+512 ~x1087+256 ~x1086+128 ~x1085+64 ~x1084+32 ~x1083+16 ~x1082+8 ~x1081+4 ~x1080+2 ~x1079+1 ~x1078-0=2046
12.28/12.33	c 512 ~x127115+256 ~x127114+128 ~x127113+64 ~x127112+32 ~x127111+16 ~x127110+8 ~x127109+4 ~x127108+2 ~x127107+1 ~x127106+512 ~x1098+256 ~x1097+128 ~x1096+64 ~x1095+32 ~x1094+16 ~x1093+8 ~x1092+4 ~x1091+2 ~x1090+1 ~x1089-0=2046
12.28/12.37	c 512 ~x128417+256 ~x128416+128 ~x128415+64 ~x128414+32 ~x128413+16 ~x128412+8 ~x128411+4 ~x128410+2 ~x128409+1 ~x128408+512 ~x1109+256 ~x1108+128 ~x1107+64 ~x1106+32 ~x1105+16 ~x1104+8 ~x1103+4 ~x1102+2 ~x1101+1 ~x1100-0=2046
12.38/12.43	c 512 ~x129719+256 ~x129718+128 ~x129717+64 ~x129716+32 ~x129715+16 ~x129714+8 ~x129713+4 ~x129712+2 ~x129711+1 ~x129710+512 ~x1120+256 ~x1119+128 ~x1118+64 ~x1117+32 ~x1116+16 ~x1115+8 ~x1114+4 ~x1113+2 ~x1112+1 ~x1111-0=2046
12.38/12.43	c 512 ~x131021+256 ~x131020+128 ~x131019+64 ~x131018+32 ~x131017+16 ~x131016+8 ~x131015+4 ~x131014+2 ~x131013+1 ~x131012+512 ~x1131+256 ~x1130+128 ~x1129+64 ~x1128+32 ~x1127+16 ~x1126+8 ~x1125+4 ~x1124+2 ~x1123+1 ~x1122-0=2046
12.38/12.46	c 512 ~x132323+256 ~x132322+128 ~x132321+64 ~x132320+32 ~x132319+16 ~x132318+8 ~x132317+4 ~x132316+2 ~x132315+1 ~x132314+512 ~x1142+256 ~x1141+128 ~x1140+64 ~x1139+32 ~x1138+16 ~x1137+8 ~x1136+4 ~x1135+2 ~x1134+1 ~x1133-0=2046
12.49/12.50	c 512 ~x133625+256 ~x133624+128 ~x133623+64 ~x133622+32 ~x133621+16 ~x133620+8 ~x133619+4 ~x133618+2 ~x133617+1 ~x133616+512 ~x1153+256 ~x1152+128 ~x1151+64 ~x1150+32 ~x1149+16 ~x1148+8 ~x1147+4 ~x1146+2 ~x1145+1 ~x1144-0=2046
12.49/12.53	c 512 ~x134927+256 ~x134926+128 ~x134925+64 ~x134924+32 ~x134923+16 ~x134922+8 ~x134921+4 ~x134920+2 ~x134919+1 ~x134918+512 ~x1164+256 ~x1163+128 ~x1162+64 ~x1161+32 ~x1160+16 ~x1159+8 ~x1158+4 ~x1157+2 ~x1156+1 ~x1155-0=2046
12.49/12.56	c 512 ~x136229+256 ~x136228+128 ~x136227+64 ~x136226+32 ~x136225+16 ~x136224+8 ~x136223+4 ~x136222+2 ~x136221+1 ~x136220+512 ~x1175+256 ~x1174+128 ~x1173+64 ~x1172+32 ~x1171+16 ~x1170+8 ~x1169+4 ~x1168+2 ~x1167+1 ~x1166-0=2046
12.49/12.60	c 512 ~x137531+256 ~x137530+128 ~x137529+64 ~x137528+32 ~x137527+16 ~x137526+8 ~x137525+4 ~x137524+2 ~x137523+1 ~x137522+512 ~x1186+256 ~x1185+128 ~x1184+64 ~x1183+32 ~x1182+16 ~x1181+8 ~x1180+4 ~x1179+2 ~x1178+1 ~x1177-0=2046
12.58/12.63	c 512 ~x138833+256 ~x138832+128 ~x138831+64 ~x138830+32 ~x138829+16 ~x138828+8 ~x138827+4 ~x138826+2 ~x138825+1 ~x138824+512 ~x1197+256 ~x1196+128 ~x1195+64 ~x1194+32 ~x1193+16 ~x1192+8 ~x1191+4 ~x1190+2 ~x1189+1 ~x1188-0=2046
12.58/12.66	c 512 ~x140135+256 ~x140134+128 ~x140133+64 ~x140132+32 ~x140131+16 ~x140130+8 ~x140129+4 ~x140128+2 ~x140127+1 ~x140126+512 ~x1208+256 ~x1207+128 ~x1206+64 ~x1205+32 ~x1204+16 ~x1203+8 ~x1202+4 ~x1201+2 ~x1200+1 ~x1199-0=2046
12.68/12.73	c 512 ~x141437+256 ~x141436+128 ~x141435+64 ~x141434+32 ~x141433+16 ~x141432+8 ~x141431+4 ~x141430+2 ~x141429+1 ~x141428+512 ~x1219+256 ~x1218+128 ~x1217+64 ~x1216+32 ~x1215+16 ~x1214+8 ~x1213+4 ~x1212+2 ~x1211+1 ~x1210-0=2046
12.68/12.73	c 512 ~x142739+256 ~x142738+128 ~x142737+64 ~x142736+32 ~x142735+16 ~x142734+8 ~x142733+4 ~x142732+2 ~x142731+1 ~x142730+512 ~x1230+256 ~x1229+128 ~x1228+64 ~x1227+32 ~x1226+16 ~x1225+8 ~x1224+4 ~x1223+2 ~x1222+1 ~x1221-0=2046
12.68/12.76	c 512 ~x144041+256 ~x144040+128 ~x144039+64 ~x144038+32 ~x144037+16 ~x144036+8 ~x144035+4 ~x144034+2 ~x144033+1 ~x144032+512 ~x1241+256 ~x1240+128 ~x1239+64 ~x1238+32 ~x1237+16 ~x1236+8 ~x1235+4 ~x1234+2 ~x1233+1 ~x1232-0=2046
12.68/12.79	c 512 ~x145343+256 ~x145342+128 ~x145341+64 ~x145340+32 ~x145339+16 ~x145338+8 ~x145337+4 ~x145336+2 ~x145335+1 ~x145334+512 ~x1252+256 ~x1251+128 ~x1250+64 ~x1249+32 ~x1248+16 ~x1247+8 ~x1246+4 ~x1245+2 ~x1244+1 ~x1243-0=2046
12.78/12.82	c 512 ~x146645+256 ~x146644+128 ~x146643+64 ~x146642+32 ~x146641+16 ~x146640+8 ~x146639+4 ~x146638+2 ~x146637+1 ~x146636+512 ~x1263+256 ~x1262+128 ~x1261+64 ~x1260+32 ~x1259+16 ~x1258+8 ~x1257+4 ~x1256+2 ~x1255+1 ~x1254-0=2046
12.78/12.86	c 512 ~x147947+256 ~x147946+128 ~x147945+64 ~x147944+32 ~x147943+16 ~x147942+8 ~x147941+4 ~x147940+2 ~x147939+1 ~x147938+512 ~x1274+256 ~x1273+128 ~x1272+64 ~x1271+32 ~x1270+16 ~x1269+8 ~x1268+4 ~x1267+2 ~x1266+1 ~x1265-0=2046
12.78/12.89	c 512 ~x149249+256 ~x149248+128 ~x149247+64 ~x149246+32 ~x149245+16 ~x149244+8 ~x149243+4 ~x149242+2 ~x149241+1 ~x149240+512 ~x1285+256 ~x1284+128 ~x1283+64 ~x1282+32 ~x1281+16 ~x1280+8 ~x1279+4 ~x1278+2 ~x1277+1 ~x1276-0=2046
12.88/12.92	c 512 ~x150551+256 ~x150550+128 ~x150549+64 ~x150548+32 ~x150547+16 ~x150546+8 ~x150545+4 ~x150544+2 ~x150543+1 ~x150542+512 ~x1296+256 ~x1295+128 ~x1294+64 ~x1293+32 ~x1292+16 ~x1291+8 ~x1290+4 ~x1289+2 ~x1288+1 ~x1287-0=2046
12.88/12.96	c 512 ~x151853+256 ~x151852+128 ~x151851+64 ~x151850+32 ~x151849+16 ~x151848+8 ~x151847+4 ~x151846+2 ~x151845+1 ~x151844+512 ~x1307+256 ~x1306+128 ~x1305+64 ~x1304+32 ~x1303+16 ~x1302+8 ~x1301+4 ~x1300+2 ~x1299+1 ~x1298-0=2046
12.98/13.02	c 512 ~x153155+256 ~x153154+128 ~x153153+64 ~x153152+32 ~x153151+16 ~x153150+8 ~x153149+4 ~x153148+2 ~x153147+1 ~x153146+512 ~x1318+256 ~x1317+128 ~x1316+64 ~x1315+32 ~x1314+16 ~x1313+8 ~x1312+4 ~x1311+2 ~x1310+1 ~x1309-0=2046
12.98/13.02	c 512 ~x154457+256 ~x154456+128 ~x154455+64 ~x154454+32 ~x154453+16 ~x154452+8 ~x154451+4 ~x154450+2 ~x154449+1 ~x154448+512 ~x1329+256 ~x1328+128 ~x1327+64 ~x1326+32 ~x1325+16 ~x1324+8 ~x1323+4 ~x1322+2 ~x1321+1 ~x1320-0=2046
12.98/13.06	c 512 ~x155759+256 ~x155758+128 ~x155757+64 ~x155756+32 ~x155755+16 ~x155754+8 ~x155753+4 ~x155752+2 ~x155751+1 ~x155750+512 ~x1340+256 ~x1339+128 ~x1338+64 ~x1337+32 ~x1336+16 ~x1335+8 ~x1334+4 ~x1333+2 ~x1332+1 ~x1331-0=2046
12.98/13.09	c 512 ~x157061+256 ~x157060+128 ~x157059+64 ~x157058+32 ~x157057+16 ~x157056+8 ~x157055+4 ~x157054+2 ~x157053+1 ~x157052+512 ~x1351+256 ~x1350+128 ~x1349+64 ~x1348+32 ~x1347+16 ~x1346+8 ~x1345+4 ~x1344+2 ~x1343+1 ~x1342-0=2046
13.09/13.12	c 512 ~x158363+256 ~x158362+128 ~x158361+64 ~x158360+32 ~x158359+16 ~x158358+8 ~x158357+4 ~x158356+2 ~x158355+1 ~x158354+512 ~x1362+256 ~x1361+128 ~x1360+64 ~x1359+32 ~x1358+16 ~x1357+8 ~x1356+4 ~x1355+2 ~x1354+1 ~x1353-0=2046
13.09/13.16	c 512 ~x159665+256 ~x159664+128 ~x159663+64 ~x159662+32 ~x159661+16 ~x159660+8 ~x159659+4 ~x159658+2 ~x159657+1 ~x159656+512 ~x1373+256 ~x1372+128 ~x1371+64 ~x1370+32 ~x1369+16 ~x1368+8 ~x1367+4 ~x1366+2 ~x1365+1 ~x1364-0=2046
13.09/13.19	c 512 ~x160967+256 ~x160966+128 ~x160965+64 ~x160964+32 ~x160963+16 ~x160962+8 ~x160961+4 ~x160960+2 ~x160959+1 ~x160958+512 ~x1384+256 ~x1383+128 ~x1382+64 ~x1381+32 ~x1380+16 ~x1379+8 ~x1378+4 ~x1377+2 ~x1376+1 ~x1375-0=2046
13.19/13.22	c 512 ~x162269+256 ~x162268+128 ~x162267+64 ~x162266+32 ~x162265+16 ~x162264+8 ~x162263+4 ~x162262+2 ~x162261+1 ~x162260+512 ~x1395+256 ~x1394+128 ~x1393+64 ~x1392+32 ~x1391+16 ~x1390+8 ~x1389+4 ~x1388+2 ~x1387+1 ~x1386-0=2046
13.19/13.25	c 512 ~x163571+256 ~x163570+128 ~x163569+64 ~x163568+32 ~x163567+16 ~x163566+8 ~x163565+4 ~x163564+2 ~x163563+1 ~x163562+512 ~x1406+256 ~x1405+128 ~x1404+64 ~x1403+32 ~x1402+16 ~x1401+8 ~x1400+4 ~x1399+2 ~x1398+1 ~x1397-0=2046
13.29/13.32	c 512 ~x164873+256 ~x164872+128 ~x164871+64 ~x164870+32 ~x164869+16 ~x164868+8 ~x164867+4 ~x164866+2 ~x164865+1 ~x164864+512 ~x1417+256 ~x1416+128 ~x1415+64 ~x1414+32 ~x1413+16 ~x1412+8 ~x1411+4 ~x1410+2 ~x1409+1 ~x1408-0=2046
13.29/13.32	c 512 ~x166175+256 ~x166174+128 ~x166173+64 ~x166172+32 ~x166171+16 ~x166170+8 ~x166169+4 ~x166168+2 ~x166167+1 ~x166166+512 ~x1428+256 ~x1427+128 ~x1426+64 ~x1425+32 ~x1424+16 ~x1423+8 ~x1422+4 ~x1421+2 ~x1420+1 ~x1419-0=2046
13.29/13.35	c 512 ~x167477+256 ~x167476+128 ~x167475+64 ~x167474+32 ~x167473+16 ~x167472+8 ~x167471+4 ~x167470+2 ~x167469+1 ~x167468+512 ~x1439+256 ~x1438+128 ~x1437+64 ~x1436+32 ~x1435+16 ~x1434+8 ~x1433+4 ~x1432+2 ~x1431+1 ~x1430-0=2046
13.29/13.38	c 512 ~x168779+256 ~x168778+128 ~x168777+64 ~x168776+32 ~x168775+16 ~x168774+8 ~x168773+4 ~x168772+2 ~x168771+1 ~x168770+512 ~x1450+256 ~x1449+128 ~x1448+64 ~x1447+32 ~x1446+16 ~x1445+8 ~x1444+4 ~x1443+2 ~x1442+1 ~x1441-0=2046
13.38/13.42	c 512 ~x170081+256 ~x170080+128 ~x170079+64 ~x170078+32 ~x170077+16 ~x170076+8 ~x170075+4 ~x170074+2 ~x170073+1 ~x170072+512 ~x1461+256 ~x1460+128 ~x1459+64 ~x1458+32 ~x1457+16 ~x1456+8 ~x1455+4 ~x1454+2 ~x1453+1 ~x1452-0=2046
13.38/13.45	c 512 ~x171383+256 ~x171382+128 ~x171381+64 ~x171380+32 ~x171379+16 ~x171378+8 ~x171377+4 ~x171376+2 ~x171375+1 ~x171374+512 ~x1472+256 ~x1471+128 ~x1470+64 ~x1469+32 ~x1468+16 ~x1467+8 ~x1466+4 ~x1465+2 ~x1464+1 ~x1463-0=2046
13.38/13.48	c 512 ~x172685+256 ~x172684+128 ~x172683+64 ~x172682+32 ~x172681+16 ~x172680+8 ~x172679+4 ~x172678+2 ~x172677+1 ~x172676+512 ~x1483+256 ~x1482+128 ~x1481+64 ~x1480+32 ~x1479+16 ~x1478+8 ~x1477+4 ~x1476+2 ~x1475+1 ~x1474-0=2046
13.48/13.51	c 512 ~x173987+256 ~x173986+128 ~x173985+64 ~x173984+32 ~x173983+16 ~x173982+8 ~x173981+4 ~x173980+2 ~x173979+1 ~x173978+512 ~x1494+256 ~x1493+128 ~x1492+64 ~x1491+32 ~x1490+16 ~x1489+8 ~x1488+4 ~x1487+2 ~x1486+1 ~x1485-0=2046
13.48/13.58	c 512 ~x175289+256 ~x175288+128 ~x175287+64 ~x175286+32 ~x175285+16 ~x175284+8 ~x175283+4 ~x175282+2 ~x175281+1 ~x175280+512 ~x1505+256 ~x1504+128 ~x1503+64 ~x1502+32 ~x1501+16 ~x1500+8 ~x1499+4 ~x1498+2 ~x1497+1 ~x1496-0=2046
13.48/13.58	c 512 ~x176591+256 ~x176590+128 ~x176589+64 ~x176588+32 ~x176587+16 ~x176586+8 ~x176585+4 ~x176584+2 ~x176583+1 ~x176582+512 ~x1516+256 ~x1515+128 ~x1514+64 ~x1513+32 ~x1512+16 ~x1511+8 ~x1510+4 ~x1509+2 ~x1508+1 ~x1507-0=2046
13.58/13.61	c 512 ~x177893+256 ~x177892+128 ~x177891+64 ~x177890+32 ~x177889+16 ~x177888+8 ~x177887+4 ~x177886+2 ~x177885+1 ~x177884+512 ~x1527+256 ~x1526+128 ~x1525+64 ~x1524+32 ~x1523+16 ~x1522+8 ~x1521+4 ~x1520+2 ~x1519+1 ~x1518-0=2046
13.58/13.65	c 512 ~x179195+256 ~x179194+128 ~x179193+64 ~x179192+32 ~x179191+16 ~x179190+8 ~x179189+4 ~x179188+2 ~x179187+1 ~x179186+512 ~x1538+256 ~x1537+128 ~x1536+64 ~x1535+32 ~x1534+16 ~x1533+8 ~x1532+4 ~x1531+2 ~x1530+1 ~x1529-0=2046
13.58/13.68	c 512 ~x180497+256 ~x180496+128 ~x180495+64 ~x180494+32 ~x180493+16 ~x180492+8 ~x180491+4 ~x180490+2 ~x180489+1 ~x180488+512 ~x1549+256 ~x1548+128 ~x1547+64 ~x1546+32 ~x1545+16 ~x1544+8 ~x1543+4 ~x1542+2 ~x1541+1 ~x1540-0=2046
13.69/13.71	c 512 ~x181799+256 ~x181798+128 ~x181797+64 ~x181796+32 ~x181795+16 ~x181794+8 ~x181793+4 ~x181792+2 ~x181791+1 ~x181790+512 ~x1560+256 ~x1559+128 ~x1558+64 ~x1557+32 ~x1556+16 ~x1555+8 ~x1554+4 ~x1553+2 ~x1552+1 ~x1551-0=2046
13.69/13.74	c 512 ~x183101+256 ~x183100+128 ~x183099+64 ~x183098+32 ~x183097+16 ~x183096+8 ~x183095+4 ~x183094+2 ~x183093+1 ~x183092+512 ~x1571+256 ~x1570+128 ~x1569+64 ~x1568+32 ~x1567+16 ~x1566+8 ~x1565+4 ~x1564+2 ~x1563+1 ~x1562-0=2046
13.69/13.78	c 512 ~x184403+256 ~x184402+128 ~x184401+64 ~x184400+32 ~x184399+16 ~x184398+8 ~x184397+4 ~x184396+2 ~x184395+1 ~x184394+512 ~x1582+256 ~x1581+128 ~x1580+64 ~x1579+32 ~x1578+16 ~x1577+8 ~x1576+4 ~x1575+2 ~x1574+1 ~x1573-0=2046
13.79/13.81	c 512 ~x185705+256 ~x185704+128 ~x185703+64 ~x185702+32 ~x185701+16 ~x185700+8 ~x185699+4 ~x185698+2 ~x185697+1 ~x185696+512 ~x1593+256 ~x1592+128 ~x1591+64 ~x1590+32 ~x1589+16 ~x1588+8 ~x1587+4 ~x1586+2 ~x1585+1 ~x1584-0=2046
13.79/13.88	c 512 ~x187007+256 ~x187006+128 ~x187005+64 ~x187004+32 ~x187003+16 ~x187002+8 ~x187001+4 ~x187000+2 ~x186999+1 ~x186998+512 ~x1604+256 ~x1603+128 ~x1602+64 ~x1601+32 ~x1600+16 ~x1599+8 ~x1598+4 ~x1597+2 ~x1596+1 ~x1595-0=2046
13.79/13.88	c 512 ~x188309+256 ~x188308+128 ~x188307+64 ~x188306+32 ~x188305+16 ~x188304+8 ~x188303+4 ~x188302+2 ~x188301+1 ~x188300+512 ~x1615+256 ~x1614+128 ~x1613+64 ~x1612+32 ~x1611+16 ~x1610+8 ~x1609+4 ~x1608+2 ~x1607+1 ~x1606-0=2046
13.88/13.91	c 512 ~x189611+256 ~x189610+128 ~x189609+64 ~x189608+32 ~x189607+16 ~x189606+8 ~x189605+4 ~x189604+2 ~x189603+1 ~x189602+512 ~x1626+256 ~x1625+128 ~x1624+64 ~x1623+32 ~x1622+16 ~x1621+8 ~x1620+4 ~x1619+2 ~x1618+1 ~x1617-0=2046
13.88/13.94	c 512 ~x190913+256 ~x190912+128 ~x190911+64 ~x190910+32 ~x190909+16 ~x190908+8 ~x190907+4 ~x190906+2 ~x190905+1 ~x190904+512 ~x1637+256 ~x1636+128 ~x1635+64 ~x1634+32 ~x1633+16 ~x1632+8 ~x1631+4 ~x1630+2 ~x1629+1 ~x1628-0=2046
13.88/13.98	c 512 ~x192215+256 ~x192214+128 ~x192213+64 ~x192212+32 ~x192211+16 ~x192210+8 ~x192209+4 ~x192208+2 ~x192207+1 ~x192206+512 ~x1648+256 ~x1647+128 ~x1646+64 ~x1645+32 ~x1644+16 ~x1643+8 ~x1642+4 ~x1641+2 ~x1640+1 ~x1639-0=2046
13.98/14.01	c 512 ~x193517+256 ~x193516+128 ~x193515+64 ~x193514+32 ~x193513+16 ~x193512+8 ~x193511+4 ~x193510+2 ~x193509+1 ~x193508+512 ~x1659+256 ~x1658+128 ~x1657+64 ~x1656+32 ~x1655+16 ~x1654+8 ~x1653+4 ~x1652+2 ~x1651+1 ~x1650-0=2046
13.98/14.04	c 512 ~x194819+256 ~x194818+128 ~x194817+64 ~x194816+32 ~x194815+16 ~x194814+8 ~x194813+4 ~x194812+2 ~x194811+1 ~x194810+512 ~x1670+256 ~x1669+128 ~x1668+64 ~x1667+32 ~x1666+16 ~x1665+8 ~x1664+4 ~x1663+2 ~x1662+1 ~x1661-0=2046
13.98/14.07	c 512 ~x196121+256 ~x196120+128 ~x196119+64 ~x196118+32 ~x196117+16 ~x196116+8 ~x196115+4 ~x196114+2 ~x196113+1 ~x196112+512 ~x1681+256 ~x1680+128 ~x1679+64 ~x1678+32 ~x1677+16 ~x1676+8 ~x1675+4 ~x1674+2 ~x1673+1 ~x1672-0=2046
14.08/14.11	c 512 ~x197423+256 ~x197422+128 ~x197421+64 ~x197420+32 ~x197419+16 ~x197418+8 ~x197417+4 ~x197416+2 ~x197415+1 ~x197414+512 ~x1692+256 ~x1691+128 ~x1690+64 ~x1689+32 ~x1688+16 ~x1687+8 ~x1686+4 ~x1685+2 ~x1684+1 ~x1683-0=2046
14.08/14.17	c 512 ~x198725+256 ~x198724+128 ~x198723+64 ~x198722+32 ~x198721+16 ~x198720+8 ~x198719+4 ~x198718+2 ~x198717+1 ~x198716+512 ~x1703+256 ~x1702+128 ~x1701+64 ~x1700+32 ~x1699+16 ~x1698+8 ~x1697+4 ~x1696+2 ~x1695+1 ~x1694-0=2046
14.08/14.17	c 512 ~x200027+256 ~x200026+128 ~x200025+64 ~x200024+32 ~x200023+16 ~x200022+8 ~x200021+4 ~x200020+2 ~x200019+1 ~x200018+512 ~x1714+256 ~x1713+128 ~x1712+64 ~x1711+32 ~x1710+16 ~x1709+8 ~x1708+4 ~x1707+2 ~x1706+1 ~x1705-0=2046
14.19/14.20	c 512 ~x201329+256 ~x201328+128 ~x201327+64 ~x201326+32 ~x201325+16 ~x201324+8 ~x201323+4 ~x201322+2 ~x201321+1 ~x201320+512 ~x1725+256 ~x1724+128 ~x1723+64 ~x1722+32 ~x1721+16 ~x1720+8 ~x1719+4 ~x1718+2 ~x1717+1 ~x1716-0=2046
14.19/14.24	c 512 ~x202631+256 ~x202630+128 ~x202629+64 ~x202628+32 ~x202627+16 ~x202626+8 ~x202625+4 ~x202624+2 ~x202623+1 ~x202622+512 ~x1736+256 ~x1735+128 ~x1734+64 ~x1733+32 ~x1732+16 ~x1731+8 ~x1730+4 ~x1729+2 ~x1728+1 ~x1727-0=2046
14.19/14.27	c 512 ~x203933+256 ~x203932+128 ~x203931+64 ~x203930+32 ~x203929+16 ~x203928+8 ~x203927+4 ~x203926+2 ~x203925+1 ~x203924+512 ~x1747+256 ~x1746+128 ~x1745+64 ~x1744+32 ~x1743+16 ~x1742+8 ~x1741+4 ~x1740+2 ~x1739+1 ~x1738-0=2046
14.19/14.30	c 512 ~x205235+256 ~x205234+128 ~x205233+64 ~x205232+32 ~x205231+16 ~x205230+8 ~x205229+4 ~x205228+2 ~x205227+1 ~x205226+512 ~x1758+256 ~x1757+128 ~x1756+64 ~x1755+32 ~x1754+16 ~x1753+8 ~x1752+4 ~x1751+2 ~x1750+1 ~x1749-0=2046
14.29/14.34	c 4 ~x206530+2 ~x206529+1 ~x206528+4 ~x4+2 ~x3+1 ~x2-0=14
14.29/14.34	c 4 ~x206603+2 ~x206602+1 ~x206601+4 ~x9+2 ~x8+1 ~x7-0=14
14.29/14.34	c 4 ~x206676+2 ~x206675+1 ~x206674+4 ~x14+2 ~x13+1 ~x12-0=14
14.29/14.36	c 4 ~x206749+2 ~x206748+1 ~x206747+4 ~x19+2 ~x18+1 ~x17-0=14
14.29/14.36	c 4 ~x206822+2 ~x206821+1 ~x206820+4 ~x24+2 ~x23+1 ~x22-0=14
14.29/14.36	c 4 ~x206895+2 ~x206894+1 ~x206893+4 ~x29+2 ~x28+1 ~x27-0=14
14.29/14.36	c 262144 ~x206984+131072 ~x206983+65536 ~x206982+32768 ~x206981+16384 ~x206980+8192 ~x206979+4096 ~x206978+2048 ~x206977+1024 ~x206976+512 ~x206975+256 ~x206974+128 ~x206973+64 ~x206972+32 ~x206971+16 ~x206970+8 ~x206969+4 ~x206968+2 ~x206967+1 ~x206966+262144 x5378+131072 x5377+65536 x5376+32768 x5375+16384 x5374+8192 x5373+4096 x5372+2048 x5371+1024 x5370+512 x5369+256 x5368+128 x5367+64 x5366+32 x5365+16 x5364+8 x5363+4 x5362+2 x5361+1 x5360+262144 x4658+131072 x4657+65536 x4656+32768 x4655+16384 x4654+8192 x4653+4096 x4652+2048 x4651+1024 x4650+512 x4649+256 x4648+128 x4647+64 x4646+32 x4645+16 x4644+8 x4643+4 x4642+2 x4641+1 x4640+262144 x3938+131072 x3937+65536 x3936+32768 x3935+16384 x3934+8192 x3933+4096 x3932+2048 x3931+1024 x3930+512 x3929+256 x3928+128 x3927+64 x3926+32 x3925+16 x3924+8 x3923+4 x3922+2 x3921+1 x3920+262144 x3218+131072 x3217+65536 x3216+32768 x3215+16384 x3214+8192 x3213+4096 x3212+2048 x3211+1024 x3210+512 x3209+256 x3208+128 x3207+64 x3206+32 x3205+16 x3204+8 x3203+4 x3202+2 x3201+1 x3200+262144 x2498+131072 x2497+65536 x2496+32768 x2495+16384 x2494+8192 x2493+4096 x2492+2048 x2491+1024 x2490+512 x2489+256 x2488+128 x2487+64 x2486+32 x2485+16 x2484+8 x2483+4 x2482+2 x2481+1 x2480+262144 x1778+131072 x1777+65536 x1776+32768 x1775+16384 x1774+8192 x1773+4096 x1772+2048 x1771+1024 x1770+512 x1769+256 x1768+128 x1767+64 x1766+32 x1765+16 x1764+8 x1763+4 x1762+2 x1761+1 x1760-0=963583
14.88/14.98	c 262144 ~x233355+131072 ~x233354+65536 ~x233353+32768 ~x233352+16384 ~x233351+8192 ~x233350+4096 ~x233349+2048 ~x233348+1024 ~x233347+512 ~x233346+256 ~x233345+128 ~x233344+64 ~x233343+32 ~x233342+16 ~x233341+8 ~x233340+4 ~x233339+2 ~x233338+1 ~x233337+262144 x5408+131072 x5407+65536 x5406+32768 x5405+16384 x5404+8192 x5403+4096 x5402+2048 x5401+1024 x5400+512 x5399+256 x5398+128 x5397+64 x5396+32 x5395+16 x5394+8 x5393+4 x5392+2 x5391+1 x5390+262144 x4688+131072 x4687+65536 x4686+32768 x4685+16384 x4684+8192 x4683+4096 x4682+2048 x4681+1024 x4680+512 x4679+256 x4678+128 x4677+64 x4676+32 x4675+16 x4674+8 x4673+4 x4672+2 x4671+1 x4670+262144 x3968+131072 x3967+65536 x3966+32768 x3965+16384 x3964+8192 x3963+4096 x3962+2048 x3961+1024 x3960+512 x3959+256 x3958+128 x3957+64 x3956+32 x3955+16 x3954+8 x3953+4 x3952+2 x3951+1 x3950+262144 x3248+131072 x3247+65536 x3246+32768 x3245+16384 x3244+8192 x3243+4096 x3242+2048 x3241+1024 x3240+512 x3239+256 x3238+128 x3237+64 x3236+32 x3235+16 x3234+8 x3233+4 x3232+2 x3231+1 x3230+262144 x2528+131072 x2527+65536 x2526+32768 x2525+16384 x2524+8192 x2523+4096 x2522+2048 x2521+1024 x2520+512 x2519+256 x2518+128 x2517+64 x2516+32 x2515+16 x2514+8 x2513+4 x2512+2 x2511+1 x2510+262144 x1808+131072 x1807+65536 x1806+32768 x1805+16384 x1804+8192 x1803+4096 x1802+2048 x1801+1024 x1800+512 x1799+256 x1798+128 x1797+64 x1796+32 x1795+16 x1794+8 x1793+4 x1792+2 x1791+1 x1790-0=910335
15.48/15.59	c 262144 ~x259726+131072 ~x259725+65536 ~x259724+32768 ~x259723+16384 ~x259722+8192 ~x259721+4096 ~x259720+2048 ~x259719+1024 ~x259718+512 ~x259717+256 ~x259716+128 ~x259715+64 ~x259714+32 ~x259713+16 ~x259712+8 ~x259711+4 ~x259710+2 ~x259709+1 ~x259708+262144 x5438+131072 x5437+65536 x5436+32768 x5435+16384 x5434+8192 x5433+4096 x5432+2048 x5431+1024 x5430+512 x5429+256 x5428+128 x5427+64 x5426+32 x5425+16 x5424+8 x5423+4 x5422+2 x5421+1 x5420+262144 x4718+131072 x4717+65536 x4716+32768 x4715+16384 x4714+8192 x4713+4096 x4712+2048 x4711+1024 x4710+512 x4709+256 x4708+128 x4707+64 x4706+32 x4705+16 x4704+8 x4703+4 x4702+2 x4701+1 x4700+262144 x3998+131072 x3997+65536 x3996+32768 x3995+16384 x3994+8192 x3993+4096 x3992+2048 x3991+1024 x3990+512 x3989+256 x3988+128 x3987+64 x3986+32 x3985+16 x3984+8 x3983+4 x3982+2 x3981+1 x3980+262144 x3278+131072 x3277+65536 x3276+32768 x3275+16384 x3274+8192 x3273+4096 x3272+2048 x3271+1024 x3270+512 x3269+256 x3268+128 x3267+64 x3266+32 x3265+16 x3264+8 x3263+4 x3262+2 x3261+1 x3260+262144 x2558+131072 x2557+65536 x2556+32768 x2555+16384 x2554+8192 x2553+4096 x2552+2048 x2551+1024 x2550+512 x2549+256 x2548+128 x2547+64 x2546+32 x2545+16 x2544+8 x2543+4 x2542+2 x2541+1 x2540+262144 x1838+131072 x1837+65536 x1836+32768 x1835+16384 x1834+8192 x1833+4096 x1832+2048 x1831+1024 x1830+512 x1829+256 x1828+128 x1827+64 x1826+32 x1825+16 x1824+8 x1823+4 x1822+2 x1821+1 x1820-0=885759
16.19/16.20	c 262144 ~x286097+131072 ~x286096+65536 ~x286095+32768 ~x286094+16384 ~x286093+8192 ~x286092+4096 ~x286091+2048 ~x286090+1024 ~x286089+512 ~x286088+256 ~x286087+128 ~x286086+64 ~x286085+32 ~x286084+16 ~x286083+8 ~x286082+4 ~x286081+2 ~x286080+1 ~x286079+262144 x5468+131072 x5467+65536 x5466+32768 x5465+16384 x5464+8192 x5463+4096 x5462+2048 x5461+1024 x5460+512 x5459+256 x5458+128 x5457+64 x5456+32 x5455+16 x5454+8 x5453+4 x5452+2 x5451+1 x5450+262144 x4748+131072 x4747+65536 x4746+32768 x4745+16384 x4744+8192 x4743+4096 x4742+2048 x4741+1024 x4740+512 x4739+256 x4738+128 x4737+64 x4736+32 x4735+16 x4734+8 x4733+4 x4732+2 x4731+1 x4730+262144 x4028+131072 x4027+65536 x4026+32768 x4025+16384 x4024+8192 x4023+4096 x4022+2048 x4021+1024 x4020+512 x4019+256 x4018+128 x4017+64 x4016+32 x4015+16 x4014+8 x4013+4 x4012+2 x4011+1 x4010+262144 x3308+131072 x3307+65536 x3306+32768 x3305+16384 x3304+8192 x3303+4096 x3302+2048 x3301+1024 x3300+512 x3299+256 x3298+128 x3297+64 x3296+32 x3295+16 x3294+8 x3293+4 x3292+2 x3291+1 x3290+262144 x2588+131072 x2587+65536 x2586+32768 x2585+16384 x2584+8192 x2583+4096 x2582+2048 x2581+1024 x2580+512 x2579+256 x2578+128 x2577+64 x2576+32 x2575+16 x2574+8 x2573+4 x2572+2 x2571+1 x2570+262144 x1868+131072 x1867+65536 x1866+32768 x1865+16384 x1864+8192 x1863+4096 x1862+2048 x1861+1024 x1860+512 x1859+256 x1858+128 x1857+64 x1856+32 x1855+16 x1854+8 x1853+4 x1852+2 x1851+1 x1850-0=870399
16.78/16.81	c 262144 ~x312468+131072 ~x312467+65536 ~x312466+32768 ~x312465+16384 ~x312464+8192 ~x312463+4096 ~x312462+2048 ~x312461+1024 ~x312460+512 ~x312459+256 ~x312458+128 ~x312457+64 ~x312456+32 ~x312455+16 ~x312454+8 ~x312453+4 ~x312452+2 ~x312451+1 ~x312450+262144 x5498+131072 x5497+65536 x5496+32768 x5495+16384 x5494+8192 x5493+4096 x5492+2048 x5491+1024 x5490+512 x5489+256 x5488+128 x5487+64 x5486+32 x5485+16 x5484+8 x5483+4 x5482+2 x5481+1 x5480+262144 x4778+131072 x4777+65536 x4776+32768 x4775+16384 x4774+8192 x4773+4096 x4772+2048 x4771+1024 x4770+512 x4769+256 x4768+128 x4767+64 x4766+32 x4765+16 x4764+8 x4763+4 x4762+2 x4761+1 x4760+262144 x4058+131072 x4057+65536 x4056+32768 x4055+16384 x4054+8192 x4053+4096 x4052+2048 x4051+1024 x4050+512 x4049+256 x4048+128 x4047+64 x4046+32 x4045+16 x4044+8 x4043+4 x4042+2 x4041+1 x4040+262144 x3338+131072 x3337+65536 x3336+32768 x3335+16384 x3334+8192 x3333+4096 x3332+2048 x3331+1024 x3330+512 x3329+256 x3328+128 x3327+64 x3326+32 x3325+16 x3324+8 x3323+4 x3322+2 x3321+1 x3320+262144 x2618+131072 x2617+65536 x2616+32768 x2615+16384 x2614+8192 x2613+4096 x2612+2048 x2611+1024 x2610+512 x2609+256 x2608+128 x2607+64 x2606+32 x2605+16 x2604+8 x2603+4 x2602+2 x2601+1 x2600+262144 x1898+131072 x1897+65536 x1896+32768 x1895+16384 x1894+8192 x1893+4096 x1892+2048 x1891+1024 x1890+512 x1889+256 x1888+128 x1887+64 x1886+32 x1885+16 x1884+8 x1883+4 x1882+2 x1881+1 x1880-0=859135
17.38/17.42	c 262144 ~x338839+131072 ~x338838+65536 ~x338837+32768 ~x338836+16384 ~x338835+8192 ~x338834+4096 ~x338833+2048 ~x338832+1024 ~x338831+512 ~x338830+256 ~x338829+128 ~x338828+64 ~x338827+32 ~x338826+16 ~x338825+8 ~x338824+4 ~x338823+2 ~x338822+1 ~x338821+262144 x5528+131072 x5527+65536 x5526+32768 x5525+16384 x5524+8192 x5523+4096 x5522+2048 x5521+1024 x5520+512 x5519+256 x5518+128 x5517+64 x5516+32 x5515+16 x5514+8 x5513+4 x5512+2 x5511+1 x5510+262144 x4808+131072 x4807+65536 x4806+32768 x4805+16384 x4804+8192 x4803+4096 x4802+2048 x4801+1024 x4800+512 x4799+256 x4798+128 x4797+64 x4796+32 x4795+16 x4794+8 x4793+4 x4792+2 x4791+1 x4790+262144 x4088+131072 x4087+65536 x4086+32768 x4085+16384 x4084+8192 x4083+4096 x4082+2048 x4081+1024 x4080+512 x4079+256 x4078+128 x4077+64 x4076+32 x4075+16 x4074+8 x4073+4 x4072+2 x4071+1 x4070+262144 x3368+131072 x3367+65536 x3366+32768 x3365+16384 x3364+8192 x3363+4096 x3362+2048 x3361+1024 x3360+512 x3359+256 x3358+128 x3357+64 x3356+32 x3355+16 x3354+8 x3353+4 x3352+2 x3351+1 x3350+262144 x2648+131072 x2647+65536 x2646+32768 x2645+16384 x2644+8192 x2643+4096 x2642+2048 x2641+1024 x2640+512 x2639+256 x2638+128 x2637+64 x2636+32 x2635+16 x2634+8 x2633+4 x2632+2 x2631+1 x2630+262144 x1928+131072 x1927+65536 x1926+32768 x1925+16384 x1924+8192 x1923+4096 x1922+2048 x1921+1024 x1920+512 x1919+256 x1918+128 x1917+64 x1916+32 x1915+16 x1914+8 x1913+4 x1912+2 x1911+1 x1910-0=875519
17.98/18.03	c 262144 ~x365210+131072 ~x365209+65536 ~x365208+32768 ~x365207+16384 ~x365206+8192 ~x365205+4096 ~x365204+2048 ~x365203+1024 ~x365202+512 ~x365201+256 ~x365200+128 ~x365199+64 ~x365198+32 ~x365197+16 ~x365196+8 ~x365195+4 ~x365194+2 ~x365193+1 ~x365192+262144 x5558+131072 x5557+65536 x5556+32768 x5555+16384 x5554+8192 x5553+4096 x5552+2048 x5551+1024 x5550+512 x5549+256 x5548+128 x5547+64 x5546+32 x5545+16 x5544+8 x5543+4 x5542+2 x5541+1 x5540+262144 x4838+131072 x4837+65536 x4836+32768 x4835+16384 x4834+8192 x4833+4096 x4832+2048 x4831+1024 x4830+512 x4829+256 x4828+128 x4827+64 x4826+32 x4825+16 x4824+8 x4823+4 x4822+2 x4821+1 x4820+262144 x4118+131072 x4117+65536 x4116+32768 x4115+16384 x4114+8192 x4113+4096 x4112+2048 x4111+1024 x4110+512 x4109+256 x4108+128 x4107+64 x4106+32 x4105+16 x4104+8 x4103+4 x4102+2 x4101+1 x4100+262144 x3398+131072 x3397+65536 x3396+32768 x3395+16384 x3394+8192 x3393+4096 x3392+2048 x3391+1024 x3390+512 x3389+256 x3388+128 x3387+64 x3386+32 x3385+16 x3384+8 x3383+4 x3382+2 x3381+1 x3380+262144 x2678+131072 x2677+65536 x2676+32768 x2675+16384 x2674+8192 x2673+4096 x2672+2048 x2671+1024 x2670+512 x2669+256 x2668+128 x2667+64 x2666+32 x2665+16 x2664+8 x2663+4 x2662+2 x2661+1 x2660+262144 x1958+131072 x1957+65536 x1956+32768 x1955+16384 x1954+8192 x1953+4096 x1952+2048 x1951+1024 x1950+512 x1949+256 x1948+128 x1947+64 x1946+32 x1945+16 x1944+8 x1943+4 x1942+2 x1941+1 x1940-0=932863
18.59/18.64	c 262144 ~x391581+131072 ~x391580+65536 ~x391579+32768 ~x391578+16384 ~x391577+8192 ~x391576+4096 ~x391575+2048 ~x391574+1024 ~x391573+512 ~x391572+256 ~x391571+128 ~x391570+64 ~x391569+32 ~x391568+16 ~x391567+8 ~x391566+4 ~x391565+2 ~x391564+1 ~x391563+262144 x5588+131072 x5587+65536 x5586+32768 x5585+16384 x5584+8192 x5583+4096 x5582+2048 x5581+1024 x5580+512 x5579+256 x5578+128 x5577+64 x5576+32 x5575+16 x5574+8 x5573+4 x5572+2 x5571+1 x5570+262144 x4868+131072 x4867+65536 x4866+32768 x4865+16384 x4864+8192 x4863+4096 x4862+2048 x4861+1024 x4860+512 x4859+256 x4858+128 x4857+64 x4856+32 x4855+16 x4854+8 x4853+4 x4852+2 x4851+1 x4850+262144 x4148+131072 x4147+65536 x4146+32768 x4145+16384 x4144+8192 x4143+4096 x4142+2048 x4141+1024 x4140+512 x4139+256 x4138+128 x4137+64 x4136+32 x4135+16 x4134+8 x4133+4 x4132+2 x4131+1 x4130+262144 x3428+131072 x3427+65536 x3426+32768 x3425+16384 x3424+8192 x3423+4096 x3422+2048 x3421+1024 x3420+512 x3419+256 x3418+128 x3417+64 x3416+32 x3415+16 x3414+8 x3413+4 x3412+2 x3411+1 x3410+262144 x2708+131072 x2707+65536 x2706+32768 x2705+16384 x2704+8192 x2703+4096 x2702+2048 x2701+1024 x2700+512 x2699+256 x2698+128 x2697+64 x2696+32 x2695+16 x2694+8 x2693+4 x2692+2 x2691+1 x2690+262144 x1988+131072 x1987+65536 x1986+32768 x1985+16384 x1984+8192 x1983+4096 x1982+2048 x1981+1024 x1980+512 x1979+256 x1978+128 x1977+64 x1976+32 x1975+16 x1974+8 x1973+4 x1972+2 x1971+1 x1970-0=989183
19.18/19.25	c 524288 ~x417953+262144 ~x417952+131072 ~x417951+65536 ~x417950+32768 ~x417949+16384 ~x417948+8192 ~x417947+4096 ~x417946+2048 ~x417945+1024 ~x417944+512 ~x417943+256 ~x417942+128 ~x417941+64 ~x417940+32 ~x417939+16 ~x417938+8 ~x417937+4 ~x417936+2 ~x417935+1 ~x417934+524288 x5619+262144 x5618+131072 x5617+65536 x5616+32768 x5615+16384 x5614+8192 x5613+4096 x5612+2048 x5611+1024 x5610+512 x5609+256 x5608+128 x5607+64 x5606+32 x5605+16 x5604+8 x5603+4 x5602+2 x5601+1 x5600+524288 x4899+262144 x4898+131072 x4897+65536 x4896+32768 x4895+16384 x4894+8192 x4893+4096 x4892+2048 x4891+1024 x4890+512 x4889+256 x4888+128 x4887+64 x4886+32 x4885+16 x4884+8 x4883+4 x4882+2 x4881+1 x4880+524288 x4179+262144 x4178+131072 x4177+65536 x4176+32768 x4175+16384 x4174+8192 x4173+4096 x4172+2048 x4171+1024 x4170+512 x4169+256 x4168+128 x4167+64 x4166+32 x4165+16 x4164+8 x4163+4 x4162+2 x4161+1 x4160+524288 x3459+262144 x3458+131072 x3457+65536 x3456+32768 x3455+16384 x3454+8192 x3453+4096 x3452+2048 x3451+1024 x3450+512 x3449+256 x3448+128 x3447+64 x3446+32 x3445+16 x3444+8 x3443+4 x3442+2 x3441+1 x3440+524288 x2739+262144 x2738+131072 x2737+65536 x2736+32768 x2735+16384 x2734+8192 x2733+4096 x2732+2048 x2731+1024 x2730+512 x2729+256 x2728+128 x2727+64 x2726+32 x2725+16 x2724+8 x2723+4 x2722+2 x2721+1 x2720+524288 x2019+262144 x2018+131072 x2017+65536 x2016+32768 x2015+16384 x2014+8192 x2013+4096 x2012+2048 x2011+1024 x2010+512 x2009+256 x2008+128 x2007+64 x2006+32 x2005+16 x2004+8 x2003+4 x2002+2 x2001+1 x2000-0=1624063
19.98/20.00	c 524288 ~x450557+262144 ~x450556+131072 ~x450555+65536 ~x450554+32768 ~x450553+16384 ~x450552+8192 ~x450551+4096 ~x450550+2048 ~x450549+1024 ~x450548+512 ~x450547+256 ~x450546+128 ~x450545+64 ~x450544+32 ~x450543+16 ~x450542+8 ~x450541+4 ~x450540+2 ~x450539+1 ~x450538+524288 x5649+262144 x5648+131072 x5647+65536 x5646+32768 x5645+16384 x5644+8192 x5643+4096 x5642+2048 x5641+1024 x5640+512 x5639+256 x5638+128 x5637+64 x5636+32 x5635+16 x5634+8 x5633+4 x5632+2 x5631+1 x5630+524288 x4929+262144 x4928+131072 x4927+65536 x4926+32768 x4925+16384 x4924+8192 x4923+4096 x4922+2048 x4921+1024 x4920+512 x4919+256 x4918+128 x4917+64 x4916+32 x4915+16 x4914+8 x4913+4 x4912+2 x4911+1 x4910+524288 x4209+262144 x4208+131072 x4207+65536 x4206+32768 x4205+16384 x4204+8192 x4203+4096 x4202+2048 x4201+1024 x4200+512 x4199+256 x4198+128 x4197+64 x4196+32 x4195+16 x4194+8 x4193+4 x4192+2 x4191+1 x4190+524288 x3489+262144 x3488+131072 x3487+65536 x3486+32768 x3485+16384 x3484+8192 x3483+4096 x3482+2048 x3481+1024 x3480+512 x3479+256 x3478+128 x3477+64 x3476+32 x3475+16 x3474+8 x3473+4 x3472+2 x3471+1 x3470+524288 x2769+262144 x2768+131072 x2767+65536 x2766+32768 x2765+16384 x2764+8192 x2763+4096 x2762+2048 x2761+1024 x2760+512 x2759+256 x2758+128 x2757+64 x2756+32 x2755+16 x2754+8 x2753+4 x2752+2 x2751+1 x2750+524288 x2049+262144 x2048+131072 x2047+65536 x2046+32768 x2045+16384 x2044+8192 x2043+4096 x2042+2048 x2041+1024 x2040+512 x2039+256 x2038+128 x2037+64 x2036+32 x2035+16 x2034+8 x2033+4 x2032+2 x2031+1 x2030-0=1703935
20.68/20.75	c 524288 ~x483161+262144 ~x483160+131072 ~x483159+65536 ~x483158+32768 ~x483157+16384 ~x483156+8192 ~x483155+4096 ~x483154+2048 ~x483153+1024 ~x483152+512 ~x483151+256 ~x483150+128 ~x483149+64 ~x483148+32 ~x483147+16 ~x483146+8 ~x483145+4 ~x483144+2 ~x483143+1 ~x483142+524288 x5679+262144 x5678+131072 x5677+65536 x5676+32768 x5675+16384 x5674+8192 x5673+4096 x5672+2048 x5671+1024 x5670+512 x5669+256 x5668+128 x5667+64 x5666+32 x5665+16 x5664+8 x5663+4 x5662+2 x5661+1 x5660+524288 x4959+262144 x4958+131072 x4957+65536 x4956+32768 x4955+16384 x4954+8192 x4953+4096 x4952+2048 x4951+1024 x4950+512 x4949+256 x4948+128 x4947+64 x4946+32 x4945+16 x4944+8 x4943+4 x4942+2 x4941+1 x4940+524288 x4239+262144 x4238+131072 x4237+65536 x4236+32768 x4235+16384 x4234+8192 x4233+4096 x4232+2048 x4231+1024 x4230+512 x4229+256 x4228+128 x4227+64 x4226+32 x4225+16 x4224+8 x4223+4 x4222+2 x4221+1 x4220+524288 x3519+262144 x3518+131072 x3517+65536 x3516+32768 x3515+16384 x3514+8192 x3513+4096 x3512+2048 x3511+1024 x3510+512 x3509+256 x3508+128 x3507+64 x3506+32 x3505+16 x3504+8 x3503+4 x3502+2 x3501+1 x3500+524288 x2799+262144 x2798+131072 x2797+65536 x2796+32768 x2795+16384 x2794+8192 x2793+4096 x2792+2048 x2791+1024 x2790+512 x2789+256 x2788+128 x2787+64 x2786+32 x2785+16 x2784+8 x2783+4 x2782+2 x2781+1 x2780+524288 x2079+262144 x2078+131072 x2077+65536 x2076+32768 x2075+16384 x2074+8192 x2073+4096 x2072+2048 x2071+1024 x2070+512 x2069+256 x2068+128 x2067+64 x2066+32 x2065+16 x2064+8 x2063+4 x2062+2 x2061+1 x2060-0=1758207
21.48/21.50	c 524288 ~x515765+262144 ~x515764+131072 ~x515763+65536 ~x515762+32768 ~x515761+16384 ~x515760+8192 ~x515759+4096 ~x515758+2048 ~x515757+1024 ~x515756+512 ~x515755+256 ~x515754+128 ~x515753+64 ~x515752+32 ~x515751+16 ~x515750+8 ~x515749+4 ~x515748+2 ~x515747+1 ~x515746+524288 x5709+262144 x5708+131072 x5707+65536 x5706+32768 x5705+16384 x5704+8192 x5703+4096 x5702+2048 x5701+1024 x5700+512 x5699+256 x5698+128 x5697+64 x5696+32 x5695+16 x5694+8 x5693+4 x5692+2 x5691+1 x5690+524288 x4989+262144 x4988+131072 x4987+65536 x4986+32768 x4985+16384 x4984+8192 x4983+4096 x4982+2048 x4981+1024 x4980+512 x4979+256 x4978+128 x4977+64 x4976+32 x4975+16 x4974+8 x4973+4 x4972+2 x4971+1 x4970+524288 x4269+262144 x4268+131072 x4267+65536 x4266+32768 x4265+16384 x4264+8192 x4263+4096 x4262+2048 x4261+1024 x4260+512 x4259+256 x4258+128 x4257+64 x4256+32 x4255+16 x4254+8 x4253+4 x4252+2 x4251+1 x4250+524288 x3549+262144 x3548+131072 x3547+65536 x3546+32768 x3545+16384 x3544+8192 x3543+4096 x3542+2048 x3541+1024 x3540+512 x3539+256 x3538+128 x3537+64 x3536+32 x3535+16 x3534+8 x3533+4 x3532+2 x3531+1 x3530+524288 x2829+262144 x2828+131072 x2827+65536 x2826+32768 x2825+16384 x2824+8192 x2823+4096 x2822+2048 x2821+1024 x2820+512 x2819+256 x2818+128 x2817+64 x2816+32 x2815+16 x2814+8 x2813+4 x2812+2 x2811+1 x2810+524288 x2109+262144 x2108+131072 x2107+65536 x2106+32768 x2105+16384 x2104+8192 x2103+4096 x2102+2048 x2101+1024 x2100+512 x2099+256 x2098+128 x2097+64 x2096+32 x2095+16 x2094+8 x2093+4 x2092+2 x2091+1 x2090-0=1809407
22.18/22.26	c 524288 ~x548369+262144 ~x548368+131072 ~x548367+65536 ~x548366+32768 ~x548365+16384 ~x548364+8192 ~x548363+4096 ~x548362+2048 ~x548361+1024 ~x548360+512 ~x548359+256 ~x548358+128 ~x548357+64 ~x548356+32 ~x548355+16 ~x548354+8 ~x548353+4 ~x548352+2 ~x548351+1 ~x548350+524288 x5739+262144 x5738+131072 x5737+65536 x5736+32768 x5735+16384 x5734+8192 x5733+4096 x5732+2048 x5731+1024 x5730+512 x5729+256 x5728+128 x5727+64 x5726+32 x5725+16 x5724+8 x5723+4 x5722+2 x5721+1 x5720+524288 x5019+262144 x5018+131072 x5017+65536 x5016+32768 x5015+16384 x5014+8192 x5013+4096 x5012+2048 x5011+1024 x5010+512 x5009+256 x5008+128 x5007+64 x5006+32 x5005+16 x5004+8 x5003+4 x5002+2 x5001+1 x5000+524288 x4299+262144 x4298+131072 x4297+65536 x4296+32768 x4295+16384 x4294+8192 x4293+4096 x4292+2048 x4291+1024 x4290+512 x4289+256 x4288+128 x4287+64 x4286+32 x4285+16 x4284+8 x4283+4 x4282+2 x4281+1 x4280+524288 x3579+262144 x3578+131072 x3577+65536 x3576+32768 x3575+16384 x3574+8192 x3573+4096 x3572+2048 x3571+1024 x3570+512 x3569+256 x3568+128 x3567+64 x3566+32 x3565+16 x3564+8 x3563+4 x3562+2 x3561+1 x3560+524288 x2859+262144 x2858+131072 x2857+65536 x2856+32768 x2855+16384 x2854+8192 x2853+4096 x2852+2048 x2851+1024 x2850+512 x2849+256 x2848+128 x2847+64 x2846+32 x2845+16 x2844+8 x2843+4 x2842+2 x2841+1 x2840+524288 x2139+262144 x2138+131072 x2137+65536 x2136+32768 x2135+16384 x2134+8192 x2133+4096 x2132+2048 x2131+1024 x2130+512 x2129+256 x2128+128 x2127+64 x2126+32 x2125+16 x2124+8 x2123+4 x2122+2 x2121+1 x2120-0=1823743
22.98/23.01	c 524288 ~x580973+262144 ~x580972+131072 ~x580971+65536 ~x580970+32768 ~x580969+16384 ~x580968+8192 ~x580967+4096 ~x580966+2048 ~x580965+1024 ~x580964+512 ~x580963+256 ~x580962+128 ~x580961+64 ~x580960+32 ~x580959+16 ~x580958+8 ~x580957+4 ~x580956+2 ~x580955+1 ~x580954+524288 x5769+262144 x5768+131072 x5767+65536 x5766+32768 x5765+16384 x5764+8192 x5763+4096 x5762+2048 x5761+1024 x5760+512 x5759+256 x5758+128 x5757+64 x5756+32 x5755+16 x5754+8 x5753+4 x5752+2 x5751+1 x5750+524288 x5049+262144 x5048+131072 x5047+65536 x5046+32768 x5045+16384 x5044+8192 x5043+4096 x5042+2048 x5041+1024 x5040+512 x5039+256 x5038+128 x5037+64 x5036+32 x5035+16 x5034+8 x5033+4 x5032+2 x5031+1 x5030+524288 x4329+262144 x4328+131072 x4327+65536 x4326+32768 x4325+16384 x4324+8192 x4323+4096 x4322+2048 x4321+1024 x4320+512 x4319+256 x4318+128 x4317+64 x4316+32 x4315+16 x4314+8 x4313+4 x4312+2 x4311+1 x4310+524288 x3609+262144 x3608+131072 x3607+65536 x3606+32768 x3605+16384 x3604+8192 x3603+4096 x3602+2048 x3601+1024 x3600+512 x3599+256 x3598+128 x3597+64 x3596+32 x3595+16 x3594+8 x3593+4 x3592+2 x3591+1 x3590+524288 x2889+262144 x2888+131072 x2887+65536 x2886+32768 x2885+16384 x2884+8192 x2883+4096 x2882+2048 x2881+1024 x2880+512 x2879+256 x2878+128 x2877+64 x2876+32 x2875+16 x2874+8 x2873+4 x2872+2 x2871+1 x2870+524288 x2169+262144 x2168+131072 x2167+65536 x2166+32768 x2165+16384 x2164+8192 x2163+4096 x2162+2048 x2161+1024 x2160+512 x2159+256 x2158+128 x2157+64 x2156+32 x2155+16 x2154+8 x2153+4 x2152+2 x2151+1 x2150-0=1849343
23.68/23.76	c 524288 ~x613577+262144 ~x613576+131072 ~x613575+65536 ~x613574+32768 ~x613573+16384 ~x613572+8192 ~x613571+4096 ~x613570+2048 ~x613569+1024 ~x613568+512 ~x613567+256 ~x613566+128 ~x613565+64 ~x613564+32 ~x613563+16 ~x613562+8 ~x613561+4 ~x613560+2 ~x613559+1 ~x613558+524288 x5799+262144 x5798+131072 x5797+65536 x5796+32768 x5795+16384 x5794+8192 x5793+4096 x5792+2048 x5791+1024 x5790+512 x5789+256 x5788+128 x5787+64 x5786+32 x5785+16 x5784+8 x5783+4 x5782+2 x5781+1 x5780+524288 x5079+262144 x5078+131072 x5077+65536 x5076+32768 x5075+16384 x5074+8192 x5073+4096 x5072+2048 x5071+1024 x5070+512 x5069+256 x5068+128 x5067+64 x5066+32 x5065+16 x5064+8 x5063+4 x5062+2 x5061+1 x5060+524288 x4359+262144 x4358+131072 x4357+65536 x4356+32768 x4355+16384 x4354+8192 x4353+4096 x4352+2048 x4351+1024 x4350+512 x4349+256 x4348+128 x4347+64 x4346+32 x4345+16 x4344+8 x4343+4 x4342+2 x4341+1 x4340+524288 x3639+262144 x3638+131072 x3637+65536 x3636+32768 x3635+16384 x3634+8192 x3633+4096 x3632+2048 x3631+1024 x3630+512 x3629+256 x3628+128 x3627+64 x3626+32 x3625+16 x3624+8 x3623+4 x3622+2 x3621+1 x3620+524288 x2919+262144 x2918+131072 x2917+65536 x2916+32768 x2915+16384 x2914+8192 x2913+4096 x2912+2048 x2911+1024 x2910+512 x2909+256 x2908+128 x2907+64 x2906+32 x2905+16 x2904+8 x2903+4 x2902+2 x2901+1 x2900+524288 x2199+262144 x2198+131072 x2197+65536 x2196+32768 x2195+16384 x2194+8192 x2193+4096 x2192+2048 x2191+1024 x2190+512 x2189+256 x2188+128 x2187+64 x2186+32 x2185+16 x2184+8 x2183+4 x2182+2 x2181+1 x2180-0=1858559
24.48/24.51	c 524288 ~x646181+262144 ~x646180+131072 ~x646179+65536 ~x646178+32768 ~x646177+16384 ~x646176+8192 ~x646175+4096 ~x646174+2048 ~x646173+1024 ~x646172+512 ~x646171+256 ~x646170+128 ~x646169+64 ~x646168+32 ~x646167+16 ~x646166+8 ~x646165+4 ~x646164+2 ~x646163+1 ~x646162+524288 x5829+262144 x5828+131072 x5827+65536 x5826+32768 x5825+16384 x5824+8192 x5823+4096 x5822+2048 x5821+1024 x5820+512 x5819+256 x5818+128 x5817+64 x5816+32 x5815+16 x5814+8 x5813+4 x5812+2 x5811+1 x5810+524288 x5109+262144 x5108+131072 x5107+65536 x5106+32768 x5105+16384 x5104+8192 x5103+4096 x5102+2048 x5101+1024 x5100+512 x5099+256 x5098+128 x5097+64 x5096+32 x5095+16 x5094+8 x5093+4 x5092+2 x5091+1 x5090+524288 x4389+262144 x4388+131072 x4387+65536 x4386+32768 x4385+16384 x4384+8192 x4383+4096 x4382+2048 x4381+1024 x4380+512 x4379+256 x4378+128 x4377+64 x4376+32 x4375+16 x4374+8 x4373+4 x4372+2 x4371+1 x4370+524288 x3669+262144 x3668+131072 x3667+65536 x3666+32768 x3665+16384 x3664+8192 x3663+4096 x3662+2048 x3661+1024 x3660+512 x3659+256 x3658+128 x3657+64 x3656+32 x3655+16 x3654+8 x3653+4 x3652+2 x3651+1 x3650+524288 x2949+262144 x2948+131072 x2947+65536 x2946+32768 x2945+16384 x2944+8192 x2943+4096 x2942+2048 x2941+1024 x2940+512 x2939+256 x2938+128 x2937+64 x2936+32 x2935+16 x2934+8 x2933+4 x2932+2 x2931+1 x2930+524288 x2229+262144 x2228+131072 x2227+65536 x2226+32768 x2225+16384 x2224+8192 x2223+4096 x2222+2048 x2221+1024 x2220+512 x2219+256 x2218+128 x2217+64 x2216+32 x2215+16 x2214+8 x2213+4 x2212+2 x2211+1 x2210-0=1868799
25.18/25.27	c 524288 ~x678785+262144 ~x678784+131072 ~x678783+65536 ~x678782+32768 ~x678781+16384 ~x678780+8192 ~x678779+4096 ~x678778+2048 ~x678777+1024 ~x678776+512 ~x678775+256 ~x678774+128 ~x678773+64 ~x678772+32 ~x678771+16 ~x678770+8 ~x678769+4 ~x678768+2 ~x678767+1 ~x678766+524288 x5859+262144 x5858+131072 x5857+65536 x5856+32768 x5855+16384 x5854+8192 x5853+4096 x5852+2048 x5851+1024 x5850+512 x5849+256 x5848+128 x5847+64 x5846+32 x5845+16 x5844+8 x5843+4 x5842+2 x5841+1 x5840+524288 x5139+262144 x5138+131072 x5137+65536 x5136+32768 x5135+16384 x5134+8192 x5133+4096 x5132+2048 x5131+1024 x5130+512 x5129+256 x5128+128 x5127+64 x5126+32 x5125+16 x5124+8 x5123+4 x5122+2 x5121+1 x5120+524288 x4419+262144 x4418+131072 x4417+65536 x4416+32768 x4415+16384 x4414+8192 x4413+4096 x4412+2048 x4411+1024 x4410+512 x4409+256 x4408+128 x4407+64 x4406+32 x4405+16 x4404+8 x4403+4 x4402+2 x4401+1 x4400+524288 x3699+262144 x3698+131072 x3697+65536 x3696+32768 x3695+16384 x3694+8192 x3693+4096 x3692+2048 x3691+1024 x3690+512 x3689+256 x3688+128 x3687+64 x3686+32 x3685+16 x3684+8 x3683+4 x3682+2 x3681+1 x3680+524288 x2979+262144 x2978+131072 x2977+65536 x2976+32768 x2975+16384 x2974+8192 x2973+4096 x2972+2048 x2971+1024 x2970+512 x2969+256 x2968+128 x2967+64 x2966+32 x2965+16 x2964+8 x2963+4 x2962+2 x2961+1 x2960+524288 x2259+262144 x2258+131072 x2257+65536 x2256+32768 x2255+16384 x2254+8192 x2253+4096 x2252+2048 x2251+1024 x2250+512 x2249+256 x2248+128 x2247+64 x2246+32 x2245+16 x2244+8 x2243+4 x2242+2 x2241+1 x2240-0=1865727
25.98/26.02	c 524288 ~x711389+262144 ~x711388+131072 ~x711387+65536 ~x711386+32768 ~x711385+16384 ~x711384+8192 ~x711383+4096 ~x711382+2048 ~x711381+1024 ~x711380+512 ~x711379+256 ~x711378+128 ~x711377+64 ~x711376+32 ~x711375+16 ~x711374+8 ~x711373+4 ~x711372+2 ~x711371+1 ~x711370+524288 x5889+262144 x5888+131072 x5887+65536 x5886+32768 x5885+16384 x5884+8192 x5883+4096 x5882+2048 x5881+1024 x5880+512 x5879+256 x5878+128 x5877+64 x5876+32 x5875+16 x5874+8 x5873+4 x5872+2 x5871+1 x5870+524288 x5169+262144 x5168+131072 x5167+65536 x5166+32768 x5165+16384 x5164+8192 x5163+4096 x5162+2048 x5161+1024 x5160+512 x5159+256 x5158+128 x5157+64 x5156+32 x5155+16 x5154+8 x5153+4 x5152+2 x5151+1 x5150+524288 x4449+262144 x4448+131072 x4447+65536 x4446+32768 x4445+16384 x4444+8192 x4443+4096 x4442+2048 x4441+1024 x4440+512 x4439+256 x4438+128 x4437+64 x4436+32 x4435+16 x4434+8 x4433+4 x4432+2 x4431+1 x4430+524288 x3729+262144 x3728+131072 x3727+65536 x3726+32768 x3725+16384 x3724+8192 x3723+4096 x3722+2048 x3721+1024 x3720+512 x3719+256 x3718+128 x3717+64 x3716+32 x3715+16 x3714+8 x3713+4 x3712+2 x3711+1 x3710+524288 x3009+262144 x3008+131072 x3007+65536 x3006+32768 x3005+16384 x3004+8192 x3003+4096 x3002+2048 x3001+1024 x3000+512 x2999+256 x2998+128 x2997+64 x2996+32 x2995+16 x2994+8 x2993+4 x2992+2 x2991+1 x2990+524288 x2289+262144 x2288+131072 x2287+65536 x2286+32768 x2285+16384 x2284+8192 x2283+4096 x2282+2048 x2281+1024 x2280+512 x2279+256 x2278+128 x2277+64 x2276+32 x2275+16 x2274+8 x2273+4 x2272+2 x2271+1 x2270-0=1848319
26.68/26.77	c 524288 ~x743993+262144 ~x743992+131072 ~x743991+65536 ~x743990+32768 ~x743989+16384 ~x743988+8192 ~x743987+4096 ~x743986+2048 ~x743985+1024 ~x743984+512 ~x743983+256 ~x743982+128 ~x743981+64 ~x743980+32 ~x743979+16 ~x743978+8 ~x743977+4 ~x743976+2 ~x743975+1 ~x743974+524288 x5919+262144 x5918+131072 x5917+65536 x5916+32768 x5915+16384 x5914+8192 x5913+4096 x5912+2048 x5911+1024 x5910+512 x5909+256 x5908+128 x5907+64 x5906+32 x5905+16 x5904+8 x5903+4 x5902+2 x5901+1 x5900+524288 x5199+262144 x5198+131072 x5197+65536 x5196+32768 x5195+16384 x5194+8192 x5193+4096 x5192+2048 x5191+1024 x5190+512 x5189+256 x5188+128 x5187+64 x5186+32 x5185+16 x5184+8 x5183+4 x5182+2 x5181+1 x5180+524288 x4479+262144 x4478+131072 x4477+65536 x4476+32768 x4475+16384 x4474+8192 x4473+4096 x4472+2048 x4471+1024 x4470+512 x4469+256 x4468+128 x4467+64 x4466+32 x4465+16 x4464+8 x4463+4 x4462+2 x4461+1 x4460+524288 x3759+262144 x3758+131072 x3757+65536 x3756+32768 x3755+16384 x3754+8192 x3753+4096 x3752+2048 x3751+1024 x3750+512 x3749+256 x3748+128 x3747+64 x3746+32 x3745+16 x3744+8 x3743+4 x3742+2 x3741+1 x3740+524288 x3039+262144 x3038+131072 x3037+65536 x3036+32768 x3035+16384 x3034+8192 x3033+4096 x3032+2048 x3031+1024 x3030+512 x3029+256 x3028+128 x3027+64 x3026+32 x3025+16 x3024+8 x3023+4 x3022+2 x3021+1 x3020+524288 x2319+262144 x2318+131072 x2317+65536 x2316+32768 x2315+16384 x2314+8192 x2313+4096 x2312+2048 x2311+1024 x2310+512 x2309+256 x2308+128 x2307+64 x2306+32 x2305+16 x2304+8 x2303+4 x2302+2 x2301+1 x2300-0=1837055
27.48/27.53	c 524288 ~x776597+262144 ~x776596+131072 ~x776595+65536 ~x776594+32768 ~x776593+16384 ~x776592+8192 ~x776591+4096 ~x776590+2048 ~x776589+1024 ~x776588+512 ~x776587+256 ~x776586+128 ~x776585+64 ~x776584+32 ~x776583+16 ~x776582+8 ~x776581+4 ~x776580+2 ~x776579+1 ~x776578+524288 x5949+262144 x5948+131072 x5947+65536 x5946+32768 x5945+16384 x5944+8192 x5943+4096 x5942+2048 x5941+1024 x5940+512 x5939+256 x5938+128 x5937+64 x5936+32 x5935+16 x5934+8 x5933+4 x5932+2 x5931+1 x5930+524288 x5229+262144 x5228+131072 x5227+65536 x5226+32768 x5225+16384 x5224+8192 x5223+4096 x5222+2048 x5221+1024 x5220+512 x5219+256 x5218+128 x5217+64 x5216+32 x5215+16 x5214+8 x5213+4 x5212+2 x5211+1 x5210+524288 x4509+262144 x4508+131072 x4507+65536 x4506+32768 x4505+16384 x4504+8192 x4503+4096 x4502+2048 x4501+1024 x4500+512 x4499+256 x4498+128 x4497+64 x4496+32 x4495+16 x4494+8 x4493+4 x4492+2 x4491+1 x4490+524288 x3789+262144 x3788+131072 x3787+65536 x3786+32768 x3785+16384 x3784+8192 x3783+4096 x3782+2048 x3781+1024 x3780+512 x3779+256 x3778+128 x3777+64 x3776+32 x3775+16 x3774+8 x3773+4 x3772+2 x3771+1 x3770+524288 x3069+262144 x3068+131072 x3067+65536 x3066+32768 x3065+16384 x3064+8192 x3063+4096 x3062+2048 x3061+1024 x3060+512 x3059+256 x3058+128 x3057+64 x3056+32 x3055+16 x3054+8 x3053+4 x3052+2 x3051+1 x3050+524288 x2349+262144 x2348+131072 x2347+65536 x2346+32768 x2345+16384 x2344+8192 x2343+4096 x2342+2048 x2341+1024 x2340+512 x2339+256 x2338+128 x2337+64 x2336+32 x2335+16 x2334+8 x2333+4 x2332+2 x2331+1 x2330-0=1801215
28.18/28.28	c 524288 ~x809201+262144 ~x809200+131072 ~x809199+65536 ~x809198+32768 ~x809197+16384 ~x809196+8192 ~x809195+4096 ~x809194+2048 ~x809193+1024 ~x809192+512 ~x809191+256 ~x809190+128 ~x809189+64 ~x809188+32 ~x809187+16 ~x809186+8 ~x809185+4 ~x809184+2 ~x809183+1 ~x809182+524288 x5979+262144 x5978+131072 x5977+65536 x5976+32768 x5975+16384 x5974+8192 x5973+4096 x5972+2048 x5971+1024 x5970+512 x5969+256 x5968+128 x5967+64 x5966+32 x5965+16 x5964+8 x5963+4 x5962+2 x5961+1 x5960+524288 x5259+262144 x5258+131072 x5257+65536 x5256+32768 x5255+16384 x5254+8192 x5253+4096 x5252+2048 x5251+1024 x5250+512 x5249+256 x5248+128 x5247+64 x5246+32 x5245+16 x5244+8 x5243+4 x5242+2 x5241+1 x5240+524288 x4539+262144 x4538+131072 x4537+65536 x4536+32768 x4535+16384 x4534+8192 x4533+4096 x4532+2048 x4531+1024 x4530+512 x4529+256 x4528+128 x4527+64 x4526+32 x4525+16 x4524+8 x4523+4 x4522+2 x4521+1 x4520+524288 x3819+262144 x3818+131072 x3817+65536 x3816+32768 x3815+16384 x3814+8192 x3813+4096 x3812+2048 x3811+1024 x3810+512 x3809+256 x3808+128 x3807+64 x3806+32 x3805+16 x3804+8 x3803+4 x3802+2 x3801+1 x3800+524288 x3099+262144 x3098+131072 x3097+65536 x3096+32768 x3095+16384 x3094+8192 x3093+4096 x3092+2048 x3091+1024 x3090+512 x3089+256 x3088+128 x3087+64 x3086+32 x3085+16 x3084+8 x3083+4 x3082+2 x3081+1 x3080+524288 x2379+262144 x2378+131072 x2377+65536 x2376+32768 x2375+16384 x2374+8192 x2373+4096 x2372+2048 x2371+1024 x2370+512 x2369+256 x2368+128 x2367+64 x2366+32 x2365+16 x2364+8 x2363+4 x2362+2 x2361+1 x2360-0=1786879
28.97/29.04	c 524288 ~x841805+262144 ~x841804+131072 ~x841803+65536 ~x841802+32768 ~x841801+16384 ~x841800+8192 ~x841799+4096 ~x841798+2048 ~x841797+1024 ~x841796+512 ~x841795+256 ~x841794+128 ~x841793+64 ~x841792+32 ~x841791+16 ~x841790+8 ~x841789+4 ~x841788+2 ~x841787+1 ~x841786+524288 x6009+262144 x6008+131072 x6007+65536 x6006+32768 x6005+16384 x6004+8192 x6003+4096 x6002+2048 x6001+1024 x6000+512 x5999+256 x5998+128 x5997+64 x5996+32 x5995+16 x5994+8 x5993+4 x5992+2 x5991+1 x5990+524288 x5289+262144 x5288+131072 x5287+65536 x5286+32768 x5285+16384 x5284+8192 x5283+4096 x5282+2048 x5281+1024 x5280+512 x5279+256 x5278+128 x5277+64 x5276+32 x5275+16 x5274+8 x5273+4 x5272+2 x5271+1 x5270+524288 x4569+262144 x4568+131072 x4567+65536 x4566+32768 x4565+16384 x4564+8192 x4563+4096 x4562+2048 x4561+1024 x4560+512 x4559+256 x4558+128 x4557+64 x4556+32 x4555+16 x4554+8 x4553+4 x4552+2 x4551+1 x4550+524288 x3849+262144 x3848+131072 x3847+65536 x3846+32768 x3845+16384 x3844+8192 x3843+4096 x3842+2048 x3841+1024 x3840+512 x3839+256 x3838+128 x3837+64 x3836+32 x3835+16 x3834+8 x3833+4 x3832+2 x3831+1 x3830+524288 x3129+262144 x3128+131072 x3127+65536 x3126+32768 x3125+16384 x3124+8192 x3123+4096 x3122+2048 x3121+1024 x3120+512 x3119+256 x3118+128 x3117+64 x3116+32 x3115+16 x3114+8 x3113+4 x3112+2 x3111+1 x3110+524288 x2409+262144 x2408+131072 x2407+65536 x2406+32768 x2405+16384 x2404+8192 x2403+4096 x2402+2048 x2401+1024 x2400+512 x2399+256 x2398+128 x2397+64 x2396+32 x2395+16 x2394+8 x2393+4 x2392+2 x2391+1 x2390-0=1779711
29.69/29.79	c 524288 ~x874409+262144 ~x874408+131072 ~x874407+65536 ~x874406+32768 ~x874405+16384 ~x874404+8192 ~x874403+4096 ~x874402+2048 ~x874401+1024 ~x874400+512 ~x874399+256 ~x874398+128 ~x874397+64 ~x874396+32 ~x874395+16 ~x874394+8 ~x874393+4 ~x874392+2 ~x874391+1 ~x874390+524288 x6039+262144 x6038+131072 x6037+65536 x6036+32768 x6035+16384 x6034+8192 x6033+4096 x6032+2048 x6031+1024 x6030+512 x6029+256 x6028+128 x6027+64 x6026+32 x6025+16 x6024+8 x6023+4 x6022+2 x6021+1 x6020+524288 x5319+262144 x5318+131072 x5317+65536 x5316+32768 x5315+16384 x5314+8192 x5313+4096 x5312+2048 x5311+1024 x5310+512 x5309+256 x5308+128 x5307+64 x5306+32 x5305+16 x5304+8 x5303+4 x5302+2 x5301+1 x5300+524288 x4599+262144 x4598+131072 x4597+65536 x4596+32768 x4595+16384 x4594+8192 x4593+4096 x4592+2048 x4591+1024 x4590+512 x4589+256 x4588+128 x4587+64 x4586+32 x4585+16 x4584+8 x4583+4 x4582+2 x4581+1 x4580+524288 x3879+262144 x3878+131072 x3877+65536 x3876+32768 x3875+16384 x3874+8192 x3873+4096 x3872+2048 x3871+1024 x3870+512 x3869+256 x3868+128 x3867+64 x3866+32 x3865+16 x3864+8 x3863+4 x3862+2 x3861+1 x3860+524288 x3159+262144 x3158+131072 x3157+65536 x3156+32768 x3155+16384 x3154+8192 x3153+4096 x3152+2048 x3151+1024 x3150+512 x3149+256 x3148+128 x3147+64 x3146+32 x3145+16 x3144+8 x3143+4 x3142+2 x3141+1 x3140+524288 x2439+262144 x2438+131072 x2437+65536 x2436+32768 x2435+16384 x2434+8192 x2433+4096 x2432+2048 x2431+1024 x2430+512 x2429+256 x2428+128 x2427+64 x2426+32 x2425+16 x2424+8 x2423+4 x2422+2 x2421+1 x2420-0=1626111
30.48/30.54	c 262144 ~x907012+131072 ~x907011+65536 ~x907010+32768 ~x907009+16384 ~x907008+8192 ~x907007+4096 ~x907006+2048 ~x907005+1024 ~x907004+512 ~x907003+256 ~x907002+128 ~x907001+64 ~x907000+32 ~x906999+16 ~x906998+8 ~x906997+4 ~x906996+2 ~x906995+1 ~x906994+262144 x6068+131072 x6067+65536 x6066+32768 x6065+16384 x6064+8192 x6063+4096 x6062+2048 x6061+1024 x6060+512 x6059+256 x6058+128 x6057+64 x6056+32 x6055+16 x6054+8 x6053+4 x6052+2 x6051+1 x6050+262144 x5348+131072 x5347+65536 x5346+32768 x5345+16384 x5344+8192 x5343+4096 x5342+2048 x5341+1024 x5340+512 x5339+256 x5338+128 x5337+64 x5336+32 x5335+16 x5334+8 x5333+4 x5332+2 x5331+1 x5330+262144 x4628+131072 x4627+65536 x4626+32768 x4625+16384 x4624+8192 x4623+4096 x4622+2048 x4621+1024 x4620+512 x4619+256 x4618+128 x4617+64 x4616+32 x4615+16 x4614+8 x4613+4 x4612+2 x4611+1 x4610+262144 x3908+131072 x3907+65536 x3906+32768 x3905+16384 x3904+8192 x3903+4096 x3902+2048 x3901+1024 x3900+512 x3899+256 x3898+128 x3897+64 x3896+32 x3895+16 x3894+8 x3893+4 x3892+2 x3891+1 x3890+262144 x3188+131072 x3187+65536 x3186+32768 x3185+16384 x3184+8192 x3183+4096 x3182+2048 x3181+1024 x3180+512 x3179+256 x3178+128 x3177+64 x3176+32 x3175+16 x3174+8 x3173+4 x3172+2 x3171+1 x3170+262144 x2468+131072 x2467+65536 x2466+32768 x2465+16384 x2464+8192 x2463+4096 x2462+2048 x2461+1024 x2460+512 x2459+256 x2458+128 x2457+64 x2456+32 x2455+16 x2454+8 x2453+4 x2452+2 x2451+1 x2450-0=1046527
31.08/31.16	c 32768 ~x933380+16384 ~x933379+8192 ~x933378+4096 ~x933377+2048 ~x933376+1024 ~x933375+512 ~x933374+256 ~x933373+128 ~x933372+64 ~x933371+32 ~x933370+16 ~x933369+8 ~x933368+4 ~x933367+2 ~x933366+1 ~x933365+1024 ~x439+512 ~x438+256 ~x437+128 ~x436+64 ~x435+32 ~x434+16 ~x433+8 ~x432+4 ~x431+2 ~x430+1 ~x429+1024 ~x428+512 ~x427+256 ~x426+128 ~x425+64 ~x424+32 ~x423+16 ~x422+8 ~x421+4 ~x420+2 ~x419+1 ~x418+1024 ~x417+512 ~x416+256 ~x415+128 ~x414+64 ~x413+32 ~x412+16 ~x411+8 ~x410+4 ~x409+2 ~x408+1 ~x407+1024 ~x406+512 ~x405+256 ~x404+128 ~x403+64 ~x402+32 ~x401+16 ~x400+8 ~x399+4 ~x398+2 ~x397+1 ~x396+1024 ~x395+512 ~x394+256 ~x393+128 ~x392+64 ~x391+32 ~x390+16 ~x389+8 ~x388+4 ~x387+2 ~x386+1 ~x385+1024 ~x384+512 ~x383+256 ~x382+128 ~x381+64 ~x380+32 ~x379+16 ~x378+8 ~x377+4 ~x376+2 ~x375+1 ~x374+1024 ~x373+512 ~x372+256 ~x371+128 ~x370+64 ~x369+32 ~x368+16 ~x367+8 ~x366+4 ~x365+2 ~x364+1 ~x363+1024 ~x362+512 ~x361+256 ~x360+128 ~x359+64 ~x358+32 ~x357+16 ~x356+8 ~x355+4 ~x354+2 ~x353+1 ~x352+1024 ~x351+512 ~x350+256 ~x349+128 ~x348+64 ~x347+32 ~x346+16 ~x345+8 ~x344+4 ~x343+2 ~x342+1 ~x341+1024 ~x340+512 ~x339+256 ~x338+128 ~x337+64 ~x336+32 ~x335+16 ~x334+8 ~x333+4 ~x332+2 ~x331+1 ~x330+1024 ~x329+512 ~x328+256 ~x327+128 ~x326+64 ~x325+32 ~x324+16 ~x323+8 ~x322+4 ~x321+2 ~x320+1 ~x319+1024 ~x318+512 ~x317+256 ~x316+128 ~x315+64 ~x314+32 ~x313+16 ~x312+8 ~x311+4 ~x310+2 ~x309+1 ~x308+1024 ~x307+512 ~x306+256 ~x305+128 ~x304+64 ~x303+32 ~x302+16 ~x301+8 ~x300+4 ~x299+2 ~x298+1 ~x297+1024 ~x296+512 ~x295+256 ~x294+128 ~x293+64 ~x292+32 ~x291+16 ~x290+8 ~x289+4 ~x288+2 ~x287+1 ~x286+1024 ~x285+512 ~x284+256 ~x283+128 ~x282+64 ~x281+32 ~x280+16 ~x279+8 ~x278+4 ~x277+2 ~x276+1 ~x275+1024 ~x274+512 ~x273+256 ~x272+128 ~x271+64 ~x270+32 ~x269+16 ~x268+8 ~x267+4 ~x266+2 ~x265+1 ~x264+1024 ~x263+512 ~x262+256 ~x261+128 ~x260+64 ~x259+32 ~x258+16 ~x257+8 ~x256+4 ~x255+2 ~x254+1 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242+1024 ~x241+512 ~x240+256 ~x239+128 ~x238+64 ~x237+32 ~x236+16 ~x235+8 ~x234+4 ~x233+2 ~x232+1 ~x231+1024 ~x230+512 ~x229+256 ~x228+128 ~x227+64 ~x226+32 ~x225+16 ~x224+8 ~x223+4 ~x222+2 ~x221+1 ~x220+1024 ~x219+512 ~x218+256 ~x217+128 ~x216+64 ~x215+32 ~x214+16 ~x213+8 ~x212+4 ~x211+2 ~x210+1 ~x209+1024 ~x208+512 ~x207+256 ~x206+128 ~x205+64 ~x204+32 ~x203+16 ~x202+8 ~x201+4 ~x200+2 ~x199+1 ~x198+1024 ~x197+512 ~x196+256 ~x195+128 ~x194+64 ~x193+32 ~x192+16 ~x191+8 ~x190+4 ~x189+2 ~x188+1 ~x187+1024 ~x186+512 ~x185+256 ~x184+128 ~x183+64 ~x182+32 ~x181+16 ~x180+8 ~x179+4 ~x178+2 ~x177+1 ~x176-0=113639
32.07/32.10	c 32768 ~x974621+16384 ~x974620+8192 ~x974619+4096 ~x974618+2048 ~x974617+1024 ~x974616+512 ~x974615+256 ~x974614+128 ~x974613+64 ~x974612+32 ~x974611+16 ~x974610+8 ~x974609+4 ~x974608+2 ~x974607+1 ~x974606+1024 ~x703+512 ~x702+256 ~x701+128 ~x700+64 ~x699+32 ~x698+16 ~x697+8 ~x696+4 ~x695+2 ~x694+1 ~x693+1024 ~x692+512 ~x691+256 ~x690+128 ~x689+64 ~x688+32 ~x687+16 ~x686+8 ~x685+4 ~x684+2 ~x683+1 ~x682+1024 ~x681+512 ~x680+256 ~x679+128 ~x678+64 ~x677+32 ~x676+16 ~x675+8 ~x674+4 ~x673+2 ~x672+1 ~x671+1024 ~x670+512 ~x669+256 ~x668+128 ~x667+64 ~x666+32 ~x665+16 ~x664+8 ~x663+4 ~x662+2 ~x661+1 ~x660+1024 ~x659+512 ~x658+256 ~x657+128 ~x656+64 ~x655+32 ~x654+16 ~x653+8 ~x652+4 ~x651+2 ~x650+1 ~x649+1024 ~x648+512 ~x647+256 ~x646+128 ~x645+64 ~x644+32 ~x643+16 ~x642+8 ~x641+4 ~x640+2 ~x639+1 ~x638+1024 ~x637+512 ~x636+256 ~x635+128 ~x634+64 ~x633+32 ~x632+16 ~x631+8 ~x630+4 ~x629+2 ~x628+1 ~x627+1024 ~x626+512 ~x625+256 ~x624+128 ~x623+64 ~x622+32 ~x621+16 ~x620+8 ~x619+4 ~x618+2 ~x617+1 ~x616+1024 ~x615+512 ~x614+256 ~x613+128 ~x612+64 ~x611+32 ~x610+16 ~x609+8 ~x608+4 ~x607+2 ~x606+1 ~x605+1024 ~x604+512 ~x603+256 ~x602+128 ~x601+64 ~x600+32 ~x599+16 ~x598+8 ~x597+4 ~x596+2 ~x595+1 ~x594+1024 ~x593+512 ~x592+256 ~x591+128 ~x590+64 ~x589+32 ~x588+16 ~x587+8 ~x586+4 ~x585+2 ~x584+1 ~x583+1024 ~x582+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572+1024 ~x571+512 ~x570+256 ~x569+128 ~x568+64 ~x567+32 ~x566+16 ~x565+8 ~x564+4 ~x563+2 ~x562+1 ~x561+1024 ~x560+512 ~x559+256 ~x558+128 ~x557+64 ~x556+32 ~x555+16 ~x554+8 ~x553+4 ~x552+2 ~x551+1 ~x550+1024 ~x549+512 ~x548+256 ~x547+128 ~x546+64 ~x545+32 ~x544+16 ~x543+8 ~x542+4 ~x541+2 ~x540+1 ~x539+1024 ~x538+512 ~x537+256 ~x536+128 ~x535+64 ~x534+32 ~x533+16 ~x532+8 ~x531+4 ~x530+2 ~x529+1 ~x528+1024 ~x527+512 ~x526+256 ~x525+128 ~x524+64 ~x523+32 ~x522+16 ~x521+8 ~x520+4 ~x519+2 ~x518+1 ~x517+1024 ~x516+512 ~x515+256 ~x514+128 ~x513+64 ~x512+32 ~x511+16 ~x510+8 ~x509+4 ~x508+2 ~x507+1 ~x506+1024 ~x505+512 ~x504+256 ~x503+128 ~x502+64 ~x501+32 ~x500+16 ~x499+8 ~x498+4 ~x497+2 ~x496+1 ~x495+1024 ~x494+512 ~x493+256 ~x492+128 ~x491+64 ~x490+32 ~x489+16 ~x488+8 ~x487+4 ~x486+2 ~x485+1 ~x484+1024 ~x483+512 ~x482+256 ~x481+128 ~x480+64 ~x479+32 ~x478+16 ~x477+8 ~x476+4 ~x475+2 ~x474+1 ~x473+1024 ~x472+512 ~x471+256 ~x470+128 ~x469+64 ~x468+32 ~x467+16 ~x466+8 ~x465+4 ~x464+2 ~x463+1 ~x462+1024 ~x461+512 ~x460+256 ~x459+128 ~x458+64 ~x457+32 ~x456+16 ~x455+8 ~x454+4 ~x453+2 ~x452+1 ~x451+1024 ~x450+512 ~x449+256 ~x448+128 ~x447+64 ~x446+32 ~x445+16 ~x444+8 ~x443+4 ~x442+2 ~x441+1 ~x440-0=113639
32.99/33.06	c 32768 ~x1015862+16384 ~x1015861+8192 ~x1015860+4096 ~x1015859+2048 ~x1015858+1024 ~x1015857+512 ~x1015856+256 ~x1015855+128 ~x1015854+64 ~x1015853+32 ~x1015852+16 ~x1015851+8 ~x1015850+4 ~x1015849+2 ~x1015848+1 ~x1015847+1024 ~x967+512 ~x966+256 ~x965+128 ~x964+64 ~x963+32 ~x962+16 ~x961+8 ~x960+4 ~x959+2 ~x958+1 ~x957+1024 ~x956+512 ~x955+256 ~x954+128 ~x953+64 ~x952+32 ~x951+16 ~x950+8 ~x949+4 ~x948+2 ~x947+1 ~x946+1024 ~x945+512 ~x944+256 ~x943+128 ~x942+64 ~x941+32 ~x940+16 ~x939+8 ~x938+4 ~x937+2 ~x936+1 ~x935+1024 ~x934+512 ~x933+256 ~x932+128 ~x931+64 ~x930+32 ~x929+16 ~x928+8 ~x927+4 ~x926+2 ~x925+1 ~x924+1024 ~x923+512 ~x922+256 ~x921+128 ~x920+64 ~x919+32 ~x918+16 ~x917+8 ~x916+4 ~x915+2 ~x914+1 ~x913+1024 ~x912+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902+1024 ~x901+512 ~x900+256 ~x899+128 ~x898+64 ~x897+32 ~x896+16 ~x895+8 ~x894+4 ~x893+2 ~x892+1 ~x891+1024 ~x890+512 ~x889+256 ~x888+128 ~x887+64 ~x886+32 ~x885+16 ~x884+8 ~x883+4 ~x882+2 ~x881+1 ~x880+1024 ~x879+512 ~x878+256 ~x877+128 ~x876+64 ~x875+32 ~x874+16 ~x873+8 ~x872+4 ~x871+2 ~x870+1 ~x869+1024 ~x868+512 ~x867+256 ~x866+128 ~x865+64 ~x864+32 ~x863+16 ~x862+8 ~x861+4 ~x860+2 ~x859+1 ~x858+1024 ~x857+512 ~x856+256 ~x855+128 ~x854+64 ~x853+32 ~x852+16 ~x851+8 ~x850+4 ~x849+2 ~x848+1 ~x847+1024 ~x846+512 ~x845+256 ~x844+128 ~x843+64 ~x842+32 ~x841+16 ~x840+8 ~x839+4 ~x838+2 ~x837+1 ~x836+1024 ~x835+512 ~x834+256 ~x833+128 ~x832+64 ~x831+32 ~x830+16 ~x829+8 ~x828+4 ~x827+2 ~x826+1 ~x825+1024 ~x824+512 ~x823+256 ~x822+128 ~x821+64 ~x820+32 ~x819+16 ~x818+8 ~x817+4 ~x816+2 ~x815+1 ~x814+1024 ~x813+512 ~x812+256 ~x811+128 ~x810+64 ~x809+32 ~x808+16 ~x807+8 ~x806+4 ~x805+2 ~x804+1 ~x803+1024 ~x802+512 ~x801+256 ~x800+128 ~x799+64 ~x798+32 ~x797+16 ~x796+8 ~x795+4 ~x794+2 ~x793+1 ~x792+1024 ~x791+512 ~x790+256 ~x789+128 ~x788+64 ~x787+32 ~x786+16 ~x785+8 ~x784+4 ~x783+2 ~x782+1 ~x781+1024 ~x780+512 ~x779+256 ~x778+128 ~x777+64 ~x776+32 ~x775+16 ~x774+8 ~x773+4 ~x772+2 ~x771+1 ~x770+1024 ~x769+512 ~x768+256 ~x767+128 ~x766+64 ~x765+32 ~x764+16 ~x763+8 ~x762+4 ~x761+2 ~x760+1 ~x759+1024 ~x758+512 ~x757+256 ~x756+128 ~x755+64 ~x754+32 ~x753+16 ~x752+8 ~x751+4 ~x750+2 ~x749+1 ~x748+1024 ~x747+512 ~x746+256 ~x745+128 ~x744+64 ~x743+32 ~x742+16 ~x741+8 ~x740+4 ~x739+2 ~x738+1 ~x737+1024 ~x736+512 ~x735+256 ~x734+128 ~x733+64 ~x732+32 ~x731+16 ~x730+8 ~x729+4 ~x728+2 ~x727+1 ~x726+1024 ~x725+512 ~x724+256 ~x723+128 ~x722+64 ~x721+32 ~x720+16 ~x719+8 ~x718+4 ~x717+2 ~x716+1 ~x715+1024 ~x714+512 ~x713+256 ~x712+128 ~x711+64 ~x710+32 ~x709+16 ~x708+8 ~x707+4 ~x706+2 ~x705+1 ~x704-0=113639
33.99/34.00	c 32768 ~x1057103+16384 ~x1057102+8192 ~x1057101+4096 ~x1057100+2048 ~x1057099+1024 ~x1057098+512 ~x1057097+256 ~x1057096+128 ~x1057095+64 ~x1057094+32 ~x1057093+16 ~x1057092+8 ~x1057091+4 ~x1057090+2 ~x1057089+1 ~x1057088+1024 ~x1231+512 ~x1230+256 ~x1229+128 ~x1228+64 ~x1227+32 ~x1226+16 ~x1225+8 ~x1224+4 ~x1223+2 ~x1222+1 ~x1221+1024 ~x1220+512 ~x1219+256 ~x1218+128 ~x1217+64 ~x1216+32 ~x1215+16 ~x1214+8 ~x1213+4 ~x1212+2 ~x1211+1 ~x1210+1024 ~x1209+512 ~x1208+256 ~x1207+128 ~x1206+64 ~x1205+32 ~x1204+16 ~x1203+8 ~x1202+4 ~x1201+2 ~x1200+1 ~x1199+1024 ~x1198+512 ~x1197+256 ~x1196+128 ~x1195+64 ~x1194+32 ~x1193+16 ~x1192+8 ~x1191+4 ~x1190+2 ~x1189+1 ~x1188+1024 ~x1187+512 ~x1186+256 ~x1185+128 ~x1184+64 ~x1183+32 ~x1182+16 ~x1181+8 ~x1180+4 ~x1179+2 ~x1178+1 ~x1177+1024 ~x1176+512 ~x1175+256 ~x1174+128 ~x1173+64 ~x1172+32 ~x1171+16 ~x1170+8 ~x1169+4 ~x1168+2 ~x1167+1 ~x1166+1024 ~x1165+512 ~x1164+256 ~x1163+128 ~x1162+64 ~x1161+32 ~x1160+16 ~x1159+8 ~x1158+4 ~x1157+2 ~x1156+1 ~x1155+1024 ~x1154+512 ~x1153+256 ~x1152+128 ~x1151+64 ~x1150+32 ~x1149+16 ~x1148+8 ~x1147+4 ~x1146+2 ~x1145+1 ~x1144+1024 ~x1143+512 ~x1142+256 ~x1141+128 ~x1140+64 ~x1139+32 ~x1138+16 ~x1137+8 ~x1136+4 ~x1135+2 ~x1134+1 ~x1133+1024 ~x1132+512 ~x1131+256 ~x1130+128 ~x1129+64 ~x1128+32 ~x1127+16 ~x1126+8 ~x1125+4 ~x1124+2 ~x1123+1 ~x1122+1024 ~x1121+512 ~x1120+256 ~x1119+128 ~x1118+64 ~x1117+32 ~x1116+16 ~x1115+8 ~x1114+4 ~x1113+2 ~x1112+1 ~x1111+1024 ~x1110+512 ~x1109+256 ~x1108+128 ~x1107+64 ~x1106+32 ~x1105+16 ~x1104+8 ~x1103+4 ~x1102+2 ~x1101+1 ~x1100+1024 ~x1099+512 ~x1098+256 ~x1097+128 ~x1096+64 ~x1095+32 ~x1094+16 ~x1093+8 ~x1092+4 ~x1091+2 ~x1090+1 ~x1089+1024 ~x1088+512 ~x1087+256 ~x1086+128 ~x1085+64 ~x1084+32 ~x1083+16 ~x1082+8 ~x1081+4 ~x1080+2 ~x1079+1 ~x1078+1024 ~x1077+512 ~x1076+256 ~x1075+128 ~x1074+64 ~x1073+32 ~x1072+16 ~x1071+8 ~x1070+4 ~x1069+2 ~x1068+1 ~x1067+1024 ~x1066+512 ~x1065+256 ~x1064+128 ~x1063+64 ~x1062+32 ~x1061+16 ~x1060+8 ~x1059+4 ~x1058+2 ~x1057+1 ~x1056+1024 ~x1055+512 ~x1054+256 ~x1053+128 ~x1052+64 ~x1051+32 ~x1050+16 ~x1049+8 ~x1048+4 ~x1047+2 ~x1046+1 ~x1045+1024 ~x1044+512 ~x1043+256 ~x1042+128 ~x1041+64 ~x1040+32 ~x1039+16 ~x1038+8 ~x1037+4 ~x1036+2 ~x1035+1 ~x1034+1024 ~x1033+512 ~x1032+256 ~x1031+128 ~x1030+64 ~x1029+32 ~x1028+16 ~x1027+8 ~x1026+4 ~x1025+2 ~x1024+1 ~x1023+1024 ~x1022+512 ~x1021+256 ~x1020+128 ~x1019+64 ~x1018+32 ~x1017+16 ~x1016+8 ~x1015+4 ~x1014+2 ~x1013+1 ~x1012+1024 ~x1011+512 ~x1010+256 ~x1009+128 ~x1008+64 ~x1007+32 ~x1006+16 ~x1005+8 ~x1004+4 ~x1003+2 ~x1002+1 ~x1001+1024 ~x1000+512 ~x999+256 ~x998+128 ~x997+64 ~x996+32 ~x995+16 ~x994+8 ~x993+4 ~x992+2 ~x991+1 ~x990+1024 ~x989+512 ~x988+256 ~x987+128 ~x986+64 ~x985+32 ~x984+16 ~x983+8 ~x982+4 ~x981+2 ~x980+1 ~x979+1024 ~x978+512 ~x977+256 ~x976+128 ~x975+64 ~x974+32 ~x973+16 ~x972+8 ~x971+4 ~x970+2 ~x969+1 ~x968-0=113639
34.87/34.94	c 32768 ~x1098344+16384 ~x1098343+8192 ~x1098342+4096 ~x1098341+2048 ~x1098340+1024 ~x1098339+512 ~x1098338+256 ~x1098337+128 ~x1098336+64 ~x1098335+32 ~x1098334+16 ~x1098333+8 ~x1098332+4 ~x1098331+2 ~x1098330+1 ~x1098329+1024 ~x1495+512 ~x1494+256 ~x1493+128 ~x1492+64 ~x1491+32 ~x1490+16 ~x1489+8 ~x1488+4 ~x1487+2 ~x1486+1 ~x1485+1024 ~x1484+512 ~x1483+256 ~x1482+128 ~x1481+64 ~x1480+32 ~x1479+16 ~x1478+8 ~x1477+4 ~x1476+2 ~x1475+1 ~x1474+1024 ~x1473+512 ~x1472+256 ~x1471+128 ~x1470+64 ~x1469+32 ~x1468+16 ~x1467+8 ~x1466+4 ~x1465+2 ~x1464+1 ~x1463+1024 ~x1462+512 ~x1461+256 ~x1460+128 ~x1459+64 ~x1458+32 ~x1457+16 ~x1456+8 ~x1455+4 ~x1454+2 ~x1453+1 ~x1452+1024 ~x1451+512 ~x1450+256 ~x1449+128 ~x1448+64 ~x1447+32 ~x1446+16 ~x1445+8 ~x1444+4 ~x1443+2 ~x1442+1 ~x1441+1024 ~x1440+512 ~x1439+256 ~x1438+128 ~x1437+64 ~x1436+32 ~x1435+16 ~x1434+8 ~x1433+4 ~x1432+2 ~x1431+1 ~x1430+1024 ~x1429+512 ~x1428+256 ~x1427+128 ~x1426+64 ~x1425+32 ~x1424+16 ~x1423+8 ~x1422+4 ~x1421+2 ~x1420+1 ~x1419+1024 ~x1418+512 ~x1417+256 ~x1416+128 ~x1415+64 ~x1414+32 ~x1413+16 ~x1412+8 ~x1411+4 ~x1410+2 ~x1409+1 ~x1408+1024 ~x1407+512 ~x1406+256 ~x1405+128 ~x1404+64 ~x1403+32 ~x1402+16 ~x1401+8 ~x1400+4 ~x1399+2 ~x1398+1 ~x1397+1024 ~x1396+512 ~x1395+256 ~x1394+128 ~x1393+64 ~x1392+32 ~x1391+16 ~x1390+8 ~x1389+4 ~x1388+2 ~x1387+1 ~x1386+1024 ~x1385+512 ~x1384+256 ~x1383+128 ~x1382+64 ~x1381+32 ~x1380+16 ~x1379+8 ~x1378+4 ~x1377+2 ~x1376+1 ~x1375+1024 ~x1374+512 ~x1373+256 ~x1372+128 ~x1371+64 ~x1370+32 ~x1369+16 ~x1368+8 ~x1367+4 ~x1366+2 ~x1365+1 ~x1364+1024 ~x1363+512 ~x1362+256 ~x1361+128 ~x1360+64 ~x1359+32 ~x1358+16 ~x1357+8 ~x1356+4 ~x1355+2 ~x1354+1 ~x1353+1024 ~x1352+512 ~x1351+256 ~x1350+128 ~x1349+64 ~x1348+32 ~x1347+16 ~x1346+8 ~x1345+4 ~x1344+2 ~x1343+1 ~x1342+1024 ~x1341+512 ~x1340+256 ~x1339+128 ~x1338+64 ~x1337+32 ~x1336+16 ~x1335+8 ~x1334+4 ~x1333+2 ~x1332+1 ~x1331+1024 ~x1330+512 ~x1329+256 ~x1328+128 ~x1327+64 ~x1326+32 ~x1325+16 ~x1324+8 ~x1323+4 ~x1322+2 ~x1321+1 ~x1320+1024 ~x1319+512 ~x1318+256 ~x1317+128 ~x1316+64 ~x1315+32 ~x1314+16 ~x1313+8 ~x1312+4 ~x1311+2 ~x1310+1 ~x1309+1024 ~x1308+512 ~x1307+256 ~x1306+128 ~x1305+64 ~x1304+32 ~x1303+16 ~x1302+8 ~x1301+4 ~x1300+2 ~x1299+1 ~x1298+1024 ~x1297+512 ~x1296+256 ~x1295+128 ~x1294+64 ~x1293+32 ~x1292+16 ~x1291+8 ~x1290+4 ~x1289+2 ~x1288+1 ~x1287+1024 ~x1286+512 ~x1285+256 ~x1284+128 ~x1283+64 ~x1282+32 ~x1281+16 ~x1280+8 ~x1279+4 ~x1278+2 ~x1277+1 ~x1276+1024 ~x1275+512 ~x1274+256 ~x1273+128 ~x1272+64 ~x1271+32 ~x1270+16 ~x1269+8 ~x1268+4 ~x1267+2 ~x1266+1 ~x1265+1024 ~x1264+512 ~x1263+256 ~x1262+128 ~x1261+64 ~x1260+32 ~x1259+16 ~x1258+8 ~x1257+4 ~x1256+2 ~x1255+1 ~x1254+1024 ~x1253+512 ~x1252+256 ~x1251+128 ~x1250+64 ~x1249+32 ~x1248+16 ~x1247+8 ~x1246+4 ~x1245+2 ~x1244+1 ~x1243+1024 ~x1242+512 ~x1241+256 ~x1240+128 ~x1239+64 ~x1238+32 ~x1237+16 ~x1236+8 ~x1235+4 ~x1234+2 ~x1233+1 ~x1232-0=113639
35.77/35.87	c 32768 ~x1139585+16384 ~x1139584+8192 ~x1139583+4096 ~x1139582+2048 ~x1139581+1024 ~x1139580+512 ~x1139579+256 ~x1139578+128 ~x1139577+64 ~x1139576+32 ~x1139575+16 ~x1139574+8 ~x1139573+4 ~x1139572+2 ~x1139571+1 ~x1139570+1024 ~x1759+512 ~x1758+256 ~x1757+128 ~x1756+64 ~x1755+32 ~x1754+16 ~x1753+8 ~x1752+4 ~x1751+2 ~x1750+1 ~x1749+1024 ~x1748+512 ~x1747+256 ~x1746+128 ~x1745+64 ~x1744+32 ~x1743+16 ~x1742+8 ~x1741+4 ~x1740+2 ~x1739+1 ~x1738+1024 ~x1737+512 ~x1736+256 ~x1735+128 ~x1734+64 ~x1733+32 ~x1732+16 ~x1731+8 ~x1730+4 ~x1729+2 ~x1728+1 ~x1727+1024 ~x1726+512 ~x1725+256 ~x1724+128 ~x1723+64 ~x1722+32 ~x1721+16 ~x1720+8 ~x1719+4 ~x1718+2 ~x1717+1 ~x1716+1024 ~x1715+512 ~x1714+256 ~x1713+128 ~x1712+64 ~x1711+32 ~x1710+16 ~x1709+8 ~x1708+4 ~x1707+2 ~x1706+1 ~x1705+1024 ~x1704+512 ~x1703+256 ~x1702+128 ~x1701+64 ~x1700+32 ~x1699+16 ~x1698+8 ~x1697+4 ~x1696+2 ~x1695+1 ~x1694+1024 ~x1693+512 ~x1692+256 ~x1691+128 ~x1690+64 ~x1689+32 ~x1688+16 ~x1687+8 ~x1686+4 ~x1685+2 ~x1684+1 ~x1683+1024 ~x1682+512 ~x1681+256 ~x1680+128 ~x1679+64 ~x1678+32 ~x1677+16 ~x1676+8 ~x1675+4 ~x1674+2 ~x1673+1 ~x1672+1024 ~x1671+512 ~x1670+256 ~x1669+128 ~x1668+64 ~x1667+32 ~x1666+16 ~x1665+8 ~x1664+4 ~x1663+2 ~x1662+1 ~x1661+1024 ~x1660+512 ~x1659+256 ~x1658+128 ~x1657+64 ~x1656+32 ~x1655+16 ~x1654+8 ~x1653+4 ~x1652+2 ~x1651+1 ~x1650+1024 ~x1649+512 ~x1648+256 ~x1647+128 ~x1646+64 ~x1645+32 ~x1644+16 ~x1643+8 ~x1642+4 ~x1641+2 ~x1640+1 ~x1639+1024 ~x1638+512 ~x1637+256 ~x1636+128 ~x1635+64 ~x1634+32 ~x1633+16 ~x1632+8 ~x1631+4 ~x1630+2 ~x1629+1 ~x1628+1024 ~x1627+512 ~x1626+256 ~x1625+128 ~x1624+64 ~x1623+32 ~x1622+16 ~x1621+8 ~x1620+4 ~x1619+2 ~x1618+1 ~x1617+1024 ~x1616+512 ~x1615+256 ~x1614+128 ~x1613+64 ~x1612+32 ~x1611+16 ~x1610+8 ~x1609+4 ~x1608+2 ~x1607+1 ~x1606+1024 ~x1605+512 ~x1604+256 ~x1603+128 ~x1602+64 ~x1601+32 ~x1600+16 ~x1599+8 ~x1598+4 ~x1597+2 ~x1596+1 ~x1595+1024 ~x1594+512 ~x1593+256 ~x1592+128 ~x1591+64 ~x1590+32 ~x1589+16 ~x1588+8 ~x1587+4 ~x1586+2 ~x1585+1 ~x1584+1024 ~x1583+512 ~x1582+256 ~x1581+128 ~x1580+64 ~x1579+32 ~x1578+16 ~x1577+8 ~x1576+4 ~x1575+2 ~x1574+1 ~x1573+1024 ~x1572+512 ~x1571+256 ~x1570+128 ~x1569+64 ~x1568+32 ~x1567+16 ~x1566+8 ~x1565+4 ~x1564+2 ~x1563+1 ~x1562+1024 ~x1561+512 ~x1560+256 ~x1559+128 ~x1558+64 ~x1557+32 ~x1556+16 ~x1555+8 ~x1554+4 ~x1553+2 ~x1552+1 ~x1551+1024 ~x1550+512 ~x1549+256 ~x1548+128 ~x1547+64 ~x1546+32 ~x1545+16 ~x1544+8 ~x1543+4 ~x1542+2 ~x1541+1 ~x1540+1024 ~x1539+512 ~x1538+256 ~x1537+128 ~x1536+64 ~x1535+32 ~x1534+16 ~x1533+8 ~x1532+4 ~x1531+2 ~x1530+1 ~x1529+1024 ~x1528+512 ~x1527+256 ~x1526+128 ~x1525+64 ~x1524+32 ~x1523+16 ~x1522+8 ~x1521+4 ~x1520+2 ~x1519+1 ~x1518+1024 ~x1517+512 ~x1516+256 ~x1515+128 ~x1514+64 ~x1513+32 ~x1512+16 ~x1511+8 ~x1510+4 ~x1509+2 ~x1508+1 ~x1507+1024 ~x1506+512 ~x1505+256 ~x1504+128 ~x1503+64 ~x1502+32 

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

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


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 16093
/proc/meminfo: memFree=1872692/2059040 swapFree=4140012/4192956
[pid=16093] ppid=16091 vsize=8700 CPUtime=0
/proc/16093/stat : 16093 (run) S 16091 16093 15987 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55611130 8908800 250 1992294400 4194304 4922060 140735775354176 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16093/statm: 2175 250 211 178 0 68 0

[startup+0.05304 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 16093
/proc/meminfo: memFree=1872692/2059040 swapFree=4140012/4192956
[pid=16093] ppid=16091 vsize=8700 CPUtime=0
/proc/16093/stat : 16093 (run) S 16091 16093 15987 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55611130 8908800 250 1992294400 4194304 4922060 140735775354176 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16093/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.102044 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 16093
/proc/meminfo: memFree=1872692/2059040 swapFree=4140012/4192956
[pid=16093] ppid=16091 vsize=8700 CPUtime=0
/proc/16093/stat : 16093 (run) S 16091 16093 15987 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55611130 8908800 250 1992294400 4194304 4922060 140735775354176 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16093/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.302063 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 16093
/proc/meminfo: memFree=1872692/2059040 swapFree=4140012/4192956
[pid=16093] ppid=16091 vsize=8700 CPUtime=0
/proc/16093/stat : 16093 (run) S 16091 16093 15987 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55611130 8908800 250 1992294400 4194304 4922060 140735775354176 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16093/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701102 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 16093
/proc/meminfo: memFree=1872692/2059040 swapFree=4140012/4192956
[pid=16093] ppid=16091 vsize=8700 CPUtime=0
/proc/16093/stat : 16093 (run) S 16091 16093 15987 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55611130 8908800 250 1992294400 4194304 4922060 140735775354176 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16093/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50118 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 16096
/proc/meminfo: memFree=1740864/2059040 swapFree=4140012/4192956
[pid=16093] ppid=16091 vsize=8700 CPUtime=0
/proc/16093/stat : 16093 (run) S 16091 16093 15987 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55611130 8908800 250 1992294400 4194304 4922060 140735775354176 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16093/statm: 2175 250 211 178 0 68 0
[pid=16095] ppid=16093 vsize=215140 CPUtime=1.48
/proc/16095/stat : 16095 (PBPASSolver) R 16093 16093 15987 0 -1 4202496 53896 0 0 0 55 93 0 0 25 0 1 0 55611131 220303360 53202 1992294400 134512640 134902295 4291861504 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16095/statm: 53785 53202 256 96 0 52997 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 223840

[startup+3.10133 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 16096
/proc/meminfo: memFree=1575696/2059040 swapFree=4140012/4192956
[pid=16093] ppid=16091 vsize=8700 CPUtime=0
/proc/16093/stat : 16093 (run) S 16091 16093 15987 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55611130 8908800 250 1992294400 4194304 4922060 140735775354176 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16093/statm: 2175 250 211 178 0 68 0
[pid=16095] ppid=16093 vsize=432068 CPUtime=3.09
/proc/16095/stat : 16095 (PBPASSolver) R 16093 16093 15987 0 -1 4202496 108103 0 0 0 132 177 0 0 25 0 1 0 55611131 442437632 107409 1992294400 134512640 134902295 4291861504 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16095/statm: 108017 107409 256 96 0 107229 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 440768

[startup+6.30163 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 16096
/proc/meminfo: memFree=1321248/2059040 swapFree=4140012/4192956
[pid=16093] ppid=16091 vsize=8700 CPUtime=0
/proc/16093/stat : 16093 (run) S 16091 16093 15987 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55611130 8908800 250 1992294400 4194304 4922060 140735775354176 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16093/statm: 2175 250 211 178 0 68 0
[pid=16095] ppid=16093 vsize=553124 CPUtime=6.29
/proc/16095/stat : 16095 (PBPASSolver) R 16093 16093 15987 0 -1 4202496 138371 0 0 0 408 221 0 0 25 0 1 0 55611131 566398976 137677 1992294400 134512640 134902295 4291861504 18446744073709551615 134893988 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16095/statm: 138281 137677 259 96 0 137493 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 561824

[startup+12.7012 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 16096
/proc/meminfo: memFree=1282196/2059040 swapFree=4140012/4192956
[pid=16093] ppid=16091 vsize=8700 CPUtime=0
/proc/16093/stat : 16093 (run) S 16091 16093 15987 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55611130 8908800 250 1992294400 4194304 4922060 140735775354176 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16093/statm: 2175 250 211 178 0 68 0
[pid=16095] ppid=16093 vsize=605856 CPUtime=12.68
/proc/16095/stat : 16095 (PBPASSolver) R 16093 16093 15987 0 -1 4202496 185078 0 0 0 1027 241 0 0 25 0 1 0 55611131 620396544 150264 1992294400 134512640 134902295 4291861504 18446744073709551615 4159735333 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16095/statm: 151464 150264 262 96 0 150676 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 614556

[startup+25.5015 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 16098
/proc/meminfo: memFree=1045852/2059040 swapFree=4140012/4192956
[pid=16093] ppid=16091 vsize=8700 CPUtime=0
/proc/16093/stat : 16093 (run) S 16091 16093 15987 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55611130 8908800 250 1992294400 4194304 4922060 140735775354176 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16093/statm: 2175 250 211 178 0 68 0
[pid=16095] ppid=16093 vsize=837636 CPUtime=25.47
/proc/16095/stat : 16095 (PBPASSolver) R 16093 16093 15987 0 -1 4202496 244208 0 0 0 2282 265 0 0 25 0 1 0 55611131 857739264 207492 1992294400 134512640 134902295 4291861504 18446744073709551615 134789797 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16095/statm: 209409 207492 262 96 0 208621 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 846336

[startup+51.1019 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 16098
/proc/meminfo: memFree=588292/2059040 swapFree=4140012/4192956
[pid=16093] ppid=16091 vsize=8700 CPUtime=0
/proc/16093/stat : 16093 (run) S 16091 16093 15987 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55611130 8908800 250 1992294400 4194304 4922060 140735775354176 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16093/statm: 2175 250 211 178 0 68 0
[pid=16095] ppid=16093 vsize=1341012 CPUtime=51.07
/proc/16095/stat : 16095 (PBPASSolver) R 16093 16093 15987 0 -1 4202496 362667 0 0 0 4791 316 0 0 25 0 1 0 55611131 1373196288 323041 1992294400 134512640 134902295 4291861504 18446744073709551615 134634929 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16095/statm: 335253 323041 262 96 0 334465 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1349712



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+77.6004 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 16098
/proc/meminfo: memFree=87580/2059040 swapFree=4140012/4192956
[pid=16093] ppid=16091 vsize=8700 CPUtime=0
/proc/16093/stat : 16093 (run) S 16091 16093 15987 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55611130 8908800 250 1992294400 4194304 4922060 140735775354176 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16093/statm: 2175 250 211 178 0 68 0
[pid=16095] ppid=16093 vsize=1835232 CPUtime=77.57
/proc/16095/stat : 16095 (PBPASSolver) R 16093 16093 15987 0 -1 4202496 485073 0 0 0 7389 368 0 0 25 0 1 0 55611131 1879277568 445447 1992294400 134512640 134902295 4291861504 18446744073709551615 4359676 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16095/statm: 458808 445447 262 96 0 458020 0
Current children cumulated CPU time (s) 77.57
Current children cumulated vsize (KiB) 1843932

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 77.6137
CPU time (s): 77.57
CPU user time (s): 73.89
CPU system time (s): 3.68
CPU usage (%): 99.9437
Max. virtual memory (cumulated for all children) (KiB): 1843932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 522
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 0.137979 second user time and 0.376942 second system time

The end

Begin job on node004 at 2010-06-17 20:41:13
IDJOB=2674151
IDBENCH=2475
IDSOLVER=1174
FILE ID=node004/2674151-1276800073
PBS_JOBID= 11176633
Free space on /tmp= 62564 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-gen.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674151-1276800073/watcher-2674151-1276800073 -o /tmp/evaluation-result-2674151-1276800073/solver-2674151-1276800073 -C 1800 -W 2000 -M 1800  run HOME/instance-2674151-1276800073.opb

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

MD5SUM BENCH= dfc42b4b35cdbc52ce627bfbd0fd8e3d
RANDOM SEED=235022704

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.210
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1873212 kB
Buffers:          9912 kB
Cached:          83888 kB
SwapCached:       5860 kB
Active:          63200 kB
Inactive:        43352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1873212 kB
SwapTotal:     4192956 kB
SwapFree:      4140012 kB
Dirty:            1392 kB
Writeback:           0 kB
AnonPages:       11264 kB
Mapped:          12968 kB
Slab:            57440 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183100 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= 62564 MiB
End job on node004 at 2010-06-17 20:42:32