6.88/6.98	c 8869 561 0 0 0 0 0 0
6.88/6.98	c 16384 ~x8885+8192 ~x8884+4096 ~x8883+2048 ~x8882+1024 ~x8881+512 ~x8880+256 ~x8879+128 ~x8878+64 ~x8877+32 ~x8876+16 ~x8875+8 ~x8874+4 ~x8873+2 ~x8872+1 ~x8871+16384 ~x16+8192 ~x15+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=56318
6.98/7.09	c 32768 ~x12763+16384 ~x12762+8192 ~x12761+4096 ~x12760+2048 ~x12759+1024 ~x12758+512 ~x12757+256 ~x12756+128 ~x12755+64 ~x12754+32 ~x12753+16 ~x12752+8 ~x12751+4 ~x12750+2 ~x12749+1 ~x12748+32768 ~x34+16384 ~x33+8192 ~x32+4096 ~x31+2048 ~x30+1024 ~x29+512 ~x28+256 ~x27+128 ~x26+64 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19-0=103422
7.18/7.22	c 16384 ~x17224+8192 ~x17223+4096 ~x17222+2048 ~x17221+1024 ~x17220+512 ~x17219+256 ~x17218+128 ~x17217+64 ~x17216+32 ~x17215+16 ~x17214+8 ~x17213+4 ~x17212+2 ~x17211+1 ~x17210+16384 ~x50+8192 ~x49+4096 ~x48+2048 ~x47+1024 ~x46+512 ~x45+256 ~x44+128 ~x43+64 ~x42+32 ~x41+16 ~x40+8 ~x39+4 ~x38+2 ~x37+1 ~x36-0=50174
7.28/7.32	c 16384 ~x21101+8192 ~x21100+4096 ~x21099+2048 ~x21098+1024 ~x21097+512 ~x21096+256 ~x21095+128 ~x21094+64 ~x21093+32 ~x21092+16 ~x21091+8 ~x21090+4 ~x21089+2 ~x21088+1 ~x21087+16384 ~x66+8192 ~x65+4096 ~x64+2048 ~x63+1024 ~x62+512 ~x61+256 ~x60+128 ~x59+64 ~x58+32 ~x57+16 ~x56+8 ~x55+4 ~x54+2 ~x53+1 ~x52-0=54270
7.38/7.41	c 32768 ~x24979+16384 ~x24978+8192 ~x24977+4096 ~x24976+2048 ~x24975+1024 ~x24974+512 ~x24973+256 ~x24972+128 ~x24971+64 ~x24970+32 ~x24969+16 ~x24968+8 ~x24967+4 ~x24966+2 ~x24965+1 ~x24964+32768 ~x83+16384 ~x82+8192 ~x81+4096 ~x80+2048 ~x79+1024 ~x78+512 ~x77+256 ~x76+128 ~x75+64 ~x74+32 ~x73+16 ~x72+8 ~x71+4 ~x70+2 ~x69+1 ~x68-0=107518
7.48/7.54	c 32768 ~x29441+16384 ~x29440+8192 ~x29439+4096 ~x29438+2048 ~x29437+1024 ~x29436+512 ~x29435+256 ~x29434+128 ~x29433+64 ~x29432+32 ~x29431+16 ~x29430+8 ~x29429+4 ~x29428+2 ~x29427+1 ~x29426+32768 ~x100+16384 ~x99+8192 ~x98+4096 ~x97+2048 ~x96+1024 ~x95+512 ~x94+256 ~x93+128 ~x92+64 ~x91+32 ~x90+16 ~x89+8 ~x88+4 ~x87+2 ~x86+1 ~x85-0=113662
7.59/7.65	c 512 ~x33897+256 ~x33896+128 ~x33895+64 ~x33894+32 ~x33893+16 ~x33892+8 ~x33891+4 ~x33890+2 ~x33889+1 ~x33888+512 ~x291+256 ~x290+128 ~x289+64 ~x288+32 ~x287+16 ~x286+8 ~x285+4 ~x284+2 ~x283+1 ~x282-0=2046
7.59/7.68	c 512 ~x35199+256 ~x35198+128 ~x35197+64 ~x35196+32 ~x35195+16 ~x35194+8 ~x35193+4 ~x35192+2 ~x35191+1 ~x35190+512 ~x303+256 ~x302+128 ~x301+64 ~x300+32 ~x299+16 ~x298+8 ~x297+4 ~x296+2 ~x295+1 ~x294-0=2046
7.69/7.71	c 512 ~x36501+256 ~x36500+128 ~x36499+64 ~x36498+32 ~x36497+16 ~x36496+8 ~x36495+4 ~x36494+2 ~x36493+1 ~x36492+512 ~x315+256 ~x314+128 ~x313+64 ~x312+32 ~x311+16 ~x310+8 ~x309+4 ~x308+2 ~x307+1 ~x306-0=2046
7.69/7.78	c 512 ~x37803+256 ~x37802+128 ~x37801+64 ~x37800+32 ~x37799+16 ~x37798+8 ~x37797+4 ~x37796+2 ~x37795+1 ~x37794+512 ~x327+256 ~x326+128 ~x325+64 ~x324+32 ~x323+16 ~x322+8 ~x321+4 ~x320+2 ~x319+1 ~x318-0=2046
7.69/7.78	c 512 ~x39105+256 ~x39104+128 ~x39103+64 ~x39102+32 ~x39101+16 ~x39100+8 ~x39099+4 ~x39098+2 ~x39097+1 ~x39096+512 ~x339+256 ~x338+128 ~x337+64 ~x336+32 ~x335+16 ~x334+8 ~x333+4 ~x332+2 ~x331+1 ~x330-0=2046
7.78/7.82	c 512 ~x40407+256 ~x40406+128 ~x40405+64 ~x40404+32 ~x40403+16 ~x40402+8 ~x40401+4 ~x40400+2 ~x40399+1 ~x40398+512 ~x351+256 ~x350+128 ~x349+64 ~x348+32 ~x347+16 ~x346+8 ~x345+4 ~x344+2 ~x343+1 ~x342-0=2046
7.78/7.85	c 2048 ~x41711+1024 ~x41710+512 ~x41709+256 ~x41708+128 ~x41707+64 ~x41706+32 ~x41705+16 ~x41704+8 ~x41703+4 ~x41702+2 ~x41701+1 ~x41700+2048 ~x365+1024 ~x364+512 ~x363+256 ~x362+128 ~x361+64 ~x360+32 ~x359+16 ~x358+8 ~x357+4 ~x356+2 ~x355+1 ~x354-0=8190
7.89/7.91	c 2048 ~x43943+1024 ~x43942+512 ~x43941+256 ~x43940+128 ~x43939+64 ~x43938+32 ~x43937+16 ~x43936+8 ~x43935+4 ~x43934+2 ~x43933+1 ~x43932+2048 ~x378+1024 ~x377+512 ~x376+256 ~x375+128 ~x374+64 ~x373+32 ~x372+16 ~x371+8 ~x370+4 ~x369+2 ~x368+1 ~x367-0=8190
7.89/7.96	c 2048 ~x46175+1024 ~x46174+512 ~x46173+256 ~x46172+128 ~x46171+64 ~x46170+32 ~x46169+16 ~x46168+8 ~x46167+4 ~x46166+2 ~x46165+1 ~x46164+2048 ~x391+1024 ~x390+512 ~x389+256 ~x388+128 ~x387+64 ~x386+32 ~x385+16 ~x384+8 ~x383+4 ~x382+2 ~x381+1 ~x380-0=8190
7.98/8.02	c 2048 ~x48407+1024 ~x48406+512 ~x48405+256 ~x48404+128 ~x48403+64 ~x48402+32 ~x48401+16 ~x48400+8 ~x48399+4 ~x48398+2 ~x48397+1 ~x48396+2048 ~x404+1024 ~x403+512 ~x402+256 ~x401+128 ~x400+64 ~x399+32 ~x398+16 ~x397+8 ~x396+4 ~x395+2 ~x394+1 ~x393-0=8190
7.98/8.08	c 2048 ~x50639+1024 ~x50638+512 ~x50637+256 ~x50636+128 ~x50635+64 ~x50634+32 ~x50633+16 ~x50632+8 ~x50631+4 ~x50630+2 ~x50629+1 ~x50628+2048 ~x417+1024 ~x416+512 ~x415+256 ~x414+128 ~x413+64 ~x412+32 ~x411+16 ~x410+8 ~x409+4 ~x408+2 ~x407+1 ~x406-0=8190
8.08/8.13	c 2048 ~x52871+1024 ~x52870+512 ~x52869+256 ~x52868+128 ~x52867+64 ~x52866+32 ~x52865+16 ~x52864+8 ~x52863+4 ~x52862+2 ~x52861+1 ~x52860+2048 ~x430+1024 ~x429+512 ~x428+256 ~x427+128 ~x426+64 ~x425+32 ~x424+16 ~x423+8 ~x422+4 ~x421+2 ~x420+1 ~x419-0=8190
8.19/8.21	c 1024 ~x55102+512 ~x55101+256 ~x55100+128 ~x55099+64 ~x55098+32 ~x55097+16 ~x55096+8 ~x55095+4 ~x55094+2 ~x55093+1 ~x55092+1024 ~x442+512 ~x441+256 ~x440+128 ~x439+64 ~x438+32 ~x437+16 ~x436+8 ~x435+4 ~x434+2 ~x433+1 ~x432-0=4094
8.19/8.26	c 512 ~x56922+256 ~x56921+128 ~x56920+64 ~x56919+32 ~x56918+16 ~x56917+8 ~x56916+4 ~x56915+2 ~x56914+1 ~x56913+512 ~x2209+256 ~x2208+128 ~x2207+64 ~x2206+32 ~x2205+16 ~x2204+8 ~x2203+4 ~x2202+2 ~x2201+1 ~x2200-0=2046
8.19/8.29	c 1024 ~x58225+512 ~x58224+256 ~x58223+128 ~x58222+64 ~x58221+32 ~x58220+16 ~x58219+8 ~x58218+4 ~x58217+2 ~x58216+1 ~x58215+1024 ~x454+512 ~x453+256 ~x452+128 ~x451+64 ~x450+32 ~x449+16 ~x448+8 ~x447+4 ~x446+2 ~x445+1 ~x444-0=4094
8.29/8.36	c 1024 ~x60046+512 ~x60045+256 ~x60044+128 ~x60043+64 ~x60042+32 ~x60041+16 ~x60040+8 ~x60039+4 ~x60038+2 ~x60037+1 ~x60036+1024 ~x466+512 ~x465+256 ~x464+128 ~x463+64 ~x462+32 ~x461+16 ~x460+8 ~x459+4 ~x458+2 ~x457+1 ~x456-0=4094
8.49/8.56	c 1024 ~x61867+512 ~x61866+256 ~x61865+128 ~x61864+64 ~x61863+32 ~x61862+16 ~x61861+8 ~x61860+4 ~x61859+2 ~x61858+1 ~x61857+1024 ~x478+512 ~x477+256 ~x476+128 ~x475+64 ~x474+32 ~x473+16 ~x472+8 ~x471+4 ~x470+2 ~x469+1 ~x468-0=4094
8.49/8.56	c 1024 ~x63688+512 ~x63687+256 ~x63686+128 ~x63685+64 ~x63684+32 ~x63683+16 ~x63682+8 ~x63681+4 ~x63680+2 ~x63679+1 ~x63678+1024 ~x490+512 ~x489+256 ~x488+128 ~x487+64 ~x486+32 ~x485+16 ~x484+8 ~x483+4 ~x482+2 ~x481+1 ~x480-0=4094
8.58/8.64	c 512 ~x65508+256 ~x65507+128 ~x65506+64 ~x65505+32 ~x65504+16 ~x65503+8 ~x65502+4 ~x65501+2 ~x65500+1 ~x65499+512 ~x501+256 ~x500+128 ~x499+64 ~x498+32 ~x497+16 ~x496+8 ~x495+4 ~x494+2 ~x493+1 ~x492-0=2046
8.58/8.67	c 512 ~x66810+256 ~x66809+128 ~x66808+64 ~x66807+32 ~x66806+16 ~x66805+8 ~x66804+4 ~x66803+2 ~x66802+1 ~x66801+512 ~x514+256 ~x513+128 ~x512+64 ~x511+32 ~x510+16 ~x509+8 ~x508+4 ~x507+2 ~x506+1 ~x505-0=2046
8.69/8.71	c 512 ~x68112+256 ~x68111+128 ~x68110+64 ~x68109+32 ~x68108+16 ~x68107+8 ~x68106+4 ~x68105+2 ~x68104+1 ~x68103+512 ~x527+256 ~x526+128 ~x525+64 ~x524+32 ~x523+16 ~x522+8 ~x521+4 ~x520+2 ~x519+1 ~x518-0=2046
8.69/8.74	c 512 ~x69414+256 ~x69413+128 ~x69412+64 ~x69411+32 ~x69410+16 ~x69409+8 ~x69408+4 ~x69407+2 ~x69406+1 ~x69405+512 ~x540+256 ~x539+128 ~x538+64 ~x537+32 ~x536+16 ~x535+8 ~x534+4 ~x533+2 ~x532+1 ~x531-0=2046
8.79/8.81	c 512 ~x70716+256 ~x70715+128 ~x70714+64 ~x70713+32 ~x70712+16 ~x70711+8 ~x70710+4 ~x70709+2 ~x70708+1 ~x70707+512 ~x553+256 ~x552+128 ~x551+64 ~x550+32 ~x549+16 ~x548+8 ~x547+4 ~x546+2 ~x545+1 ~x544-0=2046
8.79/8.81	c 512 ~x72018+256 ~x72017+128 ~x72016+64 ~x72015+32 ~x72014+16 ~x72013+8 ~x72012+4 ~x72011+2 ~x72010+1 ~x72009+512 ~x566+256 ~x565+128 ~x564+64 ~x563+32 ~x562+16 ~x561+8 ~x560+4 ~x559+2 ~x558+1 ~x557-0=2046
8.79/8.84	c 512 ~x73320+256 ~x73319+128 ~x73318+64 ~x73317+32 ~x73316+16 ~x73315+8 ~x73314+4 ~x73313+2 ~x73312+1 ~x73311+512 ~x579+256 ~x578+128 ~x577+64 ~x576+32 ~x575+16 ~x574+8 ~x573+4 ~x572+2 ~x571+1 ~x570-0=2046
8.79/8.88	c 512 ~x74622+256 ~x74621+128 ~x74620+64 ~x74619+32 ~x74618+16 ~x74617+8 ~x74616+4 ~x74615+2 ~x74614+1 ~x74613+512 ~x592+256 ~x591+128 ~x590+64 ~x589+32 ~x588+16 ~x587+8 ~x586+4 ~x585+2 ~x584+1 ~x583-0=2046
8.89/8.92	c 512 ~x75924+256 ~x75923+128 ~x75922+64 ~x75921+32 ~x75920+16 ~x75919+8 ~x75918+4 ~x75917+2 ~x75916+1 ~x75915+512 ~x605+256 ~x604+128 ~x603+64 ~x602+32 ~x601+16 ~x600+8 ~x599+4 ~x598+2 ~x597+1 ~x596-0=2046
8.99/9.03	c 512 ~x77226+256 ~x77225+128 ~x77224+64 ~x77223+32 ~x77222+16 ~x77221+8 ~x77220+4 ~x77219+2 ~x77218+1 ~x77217+512 ~x618+256 ~x617+128 ~x616+64 ~x615+32 ~x614+16 ~x613+8 ~x612+4 ~x611+2 ~x610+1 ~x609-0=2046
8.99/9.03	c 512 ~x78528+256 ~x78527+128 ~x78526+64 ~x78525+32 ~x78524+16 ~x78523+8 ~x78522+4 ~x78521+2 ~x78520+1 ~x78519+512 ~x631+256 ~x630+128 ~x629+64 ~x628+32 ~x627+16 ~x626+8 ~x625+4 ~x624+2 ~x623+1 ~x622-0=2046
8.99/9.06	c 512 ~x79830+256 ~x79829+128 ~x79828+64 ~x79827+32 ~x79826+16 ~x79825+8 ~x79824+4 ~x79823+2 ~x79822+1 ~x79821+512 ~x644+256 ~x643+128 ~x642+64 ~x641+32 ~x640+16 ~x639+8 ~x638+4 ~x637+2 ~x636+1 ~x635-0=2046
9.08/9.10	c 512 ~x81132+256 ~x81131+128 ~x81130+64 ~x81129+32 ~x81128+16 ~x81127+8 ~x81126+4 ~x81125+2 ~x81124+1 ~x81123+512 ~x657+256 ~x656+128 ~x655+64 ~x654+32 ~x653+16 ~x652+8 ~x651+4 ~x650+2 ~x649+1 ~x648-0=2046
9.08/9.14	c 512 ~x82434+256 ~x82433+128 ~x82432+64 ~x82431+32 ~x82430+16 ~x82429+8 ~x82428+4 ~x82427+2 ~x82426+1 ~x82425+512 ~x670+256 ~x669+128 ~x668+64 ~x667+32 ~x666+16 ~x665+8 ~x664+4 ~x663+2 ~x662+1 ~x661-0=2046
9.08/9.17	c 512 ~x83736+256 ~x83735+128 ~x83734+64 ~x83733+32 ~x83732+16 ~x83731+8 ~x83730+4 ~x83729+2 ~x83728+1 ~x83727+512 ~x683+256 ~x682+128 ~x681+64 ~x680+32 ~x679+16 ~x678+8 ~x677+4 ~x676+2 ~x675+1 ~x674-0=2046
9.18/9.26	c 512 ~x85038+256 ~x85037+128 ~x85036+64 ~x85035+32 ~x85034+16 ~x85033+8 ~x85032+4 ~x85031+2 ~x85030+1 ~x85029+512 ~x696+256 ~x695+128 ~x694+64 ~x693+32 ~x692+16 ~x691+8 ~x690+4 ~x689+2 ~x688+1 ~x687-0=2046
9.18/9.26	c 512 ~x86340+256 ~x86339+128 ~x86338+64 ~x86337+32 ~x86336+16 ~x86335+8 ~x86334+4 ~x86333+2 ~x86332+1 ~x86331+512 ~x709+256 ~x708+128 ~x707+64 ~x706+32 ~x705+16 ~x704+8 ~x703+4 ~x702+2 ~x701+1 ~x700-0=2046
9.28/9.32	c 512 ~x87642+256 ~x87641+128 ~x87640+64 ~x87639+32 ~x87638+16 ~x87637+8 ~x87636+4 ~x87635+2 ~x87634+1 ~x87633+512 ~x722+256 ~x721+128 ~x720+64 ~x719+32 ~x718+16 ~x717+8 ~x716+4 ~x715+2 ~x714+1 ~x713-0=2046
9.38/9.40	c 512 ~x88944+256 ~x88943+128 ~x88942+64 ~x88941+32 ~x88940+16 ~x88939+8 ~x88938+4 ~x88937+2 ~x88936+1 ~x88935+512 ~x735+256 ~x734+128 ~x733+64 ~x732+32 ~x731+16 ~x730+8 ~x729+4 ~x728+2 ~x727+1 ~x726-0=2046
9.38/9.46	c 512 ~x90246+256 ~x90245+128 ~x90244+64 ~x90243+32 ~x90242+16 ~x90241+8 ~x90240+4 ~x90239+2 ~x90238+1 ~x90237+512 ~x748+256 ~x747+128 ~x746+64 ~x745+32 ~x744+16 ~x743+8 ~x742+4 ~x741+2 ~x740+1 ~x739-0=2046
9.48/9.57	c 512 ~x91548+256 ~x91547+128 ~x91546+64 ~x91545+32 ~x91544+16 ~x91543+8 ~x91542+4 ~x91541+2 ~x91540+1 ~x91539+512 ~x761+256 ~x760+128 ~x759+64 ~x758+32 ~x757+16 ~x756+8 ~x755+4 ~x754+2 ~x753+1 ~x752-0=2046
9.48/9.57	c 512 ~x92850+256 ~x92849+128 ~x92848+64 ~x92847+32 ~x92846+16 ~x92845+8 ~x92844+4 ~x92843+2 ~x92842+1 ~x92841+512 ~x774+256 ~x773+128 ~x772+64 ~x771+32 ~x770+16 ~x769+8 ~x768+4 ~x767+2 ~x766+1 ~x765-0=2046
9.58/9.62	c 512 ~x94152+256 ~x94151+128 ~x94150+64 ~x94149+32 ~x94148+16 ~x94147+8 ~x94146+4 ~x94145+2 ~x94144+1 ~x94143+512 ~x787+256 ~x786+128 ~x785+64 ~x784+32 ~x783+16 ~x782+8 ~x781+4 ~x780+2 ~x779+1 ~x778-0=2046
9.58/9.66	c 512 ~x95454+256 ~x95453+128 ~x95452+64 ~x95451+32 ~x95450+16 ~x95449+8 ~x95448+4 ~x95447+2 ~x95446+1 ~x95445+512 ~x800+256 ~x799+128 ~x798+64 ~x797+32 ~x796+16 ~x795+8 ~x794+4 ~x793+2 ~x792+1 ~x791-0=2046
9.68/9.70	c 512 ~x96756+256 ~x96755+128 ~x96754+64 ~x96753+32 ~x96752+16 ~x96751+8 ~x96750+4 ~x96749+2 ~x96748+1 ~x96747+512 ~x813+256 ~x812+128 ~x811+64 ~x810+32 ~x809+16 ~x808+8 ~x807+4 ~x806+2 ~x805+1 ~x804-0=2046
9.68/9.77	c 512 ~x98058+256 ~x98057+128 ~x98056+64 ~x98055+32 ~x98054+16 ~x98053+8 ~x98052+4 ~x98051+2 ~x98050+1 ~x98049+512 ~x826+256 ~x825+128 ~x824+64 ~x823+32 ~x822+16 ~x821+8 ~x820+4 ~x819+2 ~x818+1 ~x817-0=2046
9.68/9.77	c 512 ~x99360+256 ~x99359+128 ~x99358+64 ~x99357+32 ~x99356+16 ~x99355+8 ~x99354+4 ~x99353+2 ~x99352+1 ~x99351+512 ~x839+256 ~x838+128 ~x837+64 ~x836+32 ~x835+16 ~x834+8 ~x833+4 ~x832+2 ~x831+1 ~x830-0=2046
9.79/9.80	c 512 ~x100662+256 ~x100661+128 ~x100660+64 ~x100659+32 ~x100658+16 ~x100657+8 ~x100656+4 ~x100655+2 ~x100654+1 ~x100653+512 ~x852+256 ~x851+128 ~x850+64 ~x849+32 ~x848+16 ~x847+8 ~x846+4 ~x845+2 ~x844+1 ~x843-0=2046
9.79/9.83	c 2048 ~x101966+1024 ~x101965+512 ~x101964+256 ~x101963+128 ~x101962+64 ~x101961+32 ~x101960+16 ~x101959+8 ~x101958+4 ~x101957+2 ~x101956+1 ~x101955+2048 ~x867+1024 ~x866+512 ~x865+256 ~x864+128 ~x863+64 ~x862+32 ~x861+16 ~x860+8 ~x859+4 ~x858+2 ~x857+1 ~x856-0=8190
9.79/9.89	c 2048 ~x104198+1024 ~x104197+512 ~x104196+256 ~x104195+128 ~x104194+64 ~x104193+32 ~x104192+16 ~x104191+8 ~x104190+4 ~x104189+2 ~x104188+1 ~x104187+2048 ~x880+1024 ~x879+512 ~x878+256 ~x877+128 ~x876+64 ~x875+32 ~x874+16 ~x873+8 ~x872+4 ~x871+2 ~x870+1 ~x869-0=8190
9.88/9.95	c 2048 ~x106430+1024 ~x106429+512 ~x106428+256 ~x106427+128 ~x106426+64 ~x106425+32 ~x106424+16 ~x106423+8 ~x106422+4 ~x106421+2 ~x106420+1 ~x106419+2048 ~x893+1024 ~x892+512 ~x891+256 ~x890+128 ~x889+64 ~x888+32 ~x887+16 ~x886+8 ~x885+4 ~x884+2 ~x883+1 ~x882-0=8190
9.98/10.00	c 2048 ~x108662+1024 ~x108661+512 ~x108660+256 ~x108659+128 ~x108658+64 ~x108657+32 ~x108656+16 ~x108655+8 ~x108654+4 ~x108653+2 ~x108652+1 ~x108651+2048 ~x906+1024 ~x905+512 ~x904+256 ~x903+128 ~x902+64 ~x901+32 ~x900+16 ~x899+8 ~x898+4 ~x897+2 ~x896+1 ~x895-0=8190
9.98/10.06	c 2048 ~x110894+1024 ~x110893+512 ~x110892+256 ~x110891+128 ~x110890+64 ~x110889+32 ~x110888+16 ~x110887+8 ~x110886+4 ~x110885+2 ~x110884+1 ~x110883+2048 ~x919+1024 ~x918+512 ~x917+256 ~x916+128 ~x915+64 ~x914+32 ~x913+16 ~x912+8 ~x911+4 ~x910+2 ~x909+1 ~x908-0=8190
10.08/10.11	c 2048 ~x113126+1024 ~x113125+512 ~x113124+256 ~x113123+128 ~x113122+64 ~x113121+32 ~x113120+16 ~x113119+8 ~x113118+4 ~x113117+2 ~x113116+1 ~x113115+2048 ~x932+1024 ~x931+512 ~x930+256 ~x929+128 ~x928+64 ~x927+32 ~x926+16 ~x925+8 ~x924+4 ~x923+2 ~x922+1 ~x921-0=8190
10.08/10.17	c 2048 ~x115358+1024 ~x115357+512 ~x115356+256 ~x115355+128 ~x115354+64 ~x115353+32 ~x115352+16 ~x115351+8 ~x115350+4 ~x115349+2 ~x115348+1 ~x115347+2048 ~x945+1024 ~x944+512 ~x943+256 ~x942+128 ~x941+64 ~x940+32 ~x939+16 ~x938+8 ~x937+4 ~x936+2 ~x935+1 ~x934-0=8190
10.18/10.23	c 2048 ~x117590+1024 ~x117589+512 ~x117588+256 ~x117587+128 ~x117586+64 ~x117585+32 ~x117584+16 ~x117583+8 ~x117582+4 ~x117581+2 ~x117580+1 ~x117579+2048 ~x958+1024 ~x957+512 ~x956+256 ~x955+128 ~x954+64 ~x953+32 ~x952+16 ~x951+8 ~x950+4 ~x949+2 ~x948+1 ~x947-0=8190
10.18/10.29	c 2048 ~x119822+1024 ~x119821+512 ~x119820+256 ~x119819+128 ~x119818+64 ~x119817+32 ~x119816+16 ~x119815+8 ~x119814+4 ~x119813+2 ~x119812+1 ~x119811+2048 ~x971+1024 ~x970+512 ~x969+256 ~x968+128 ~x967+64 ~x966+32 ~x965+16 ~x964+8 ~x963+4 ~x962+2 ~x961+1 ~x960-0=8190
10.28/10.34	c 2048 ~x122054+1024 ~x122053+512 ~x122052+256 ~x122051+128 ~x122050+64 ~x122049+32 ~x122048+16 ~x122047+8 ~x122046+4 ~x122045+2 ~x122044+1 ~x122043+2048 ~x984+1024 ~x983+512 ~x982+256 ~x981+128 ~x980+64 ~x979+32 ~x978+16 ~x977+8 ~x976+4 ~x975+2 ~x974+1 ~x973-0=8190
10.38/10.40	c 2048 ~x124286+1024 ~x124285+512 ~x124284+256 ~x124283+128 ~x124282+64 ~x124281+32 ~x124280+16 ~x124279+8 ~x124278+4 ~x124277+2 ~x124276+1 ~x124275+2048 ~x997+1024 ~x996+512 ~x995+256 ~x994+128 ~x993+64 ~x992+32 ~x991+16 ~x990+8 ~x989+4 ~x988+2 ~x987+1 ~x986-0=8190
10.38/10.45	c 2048 ~x126518+1024 ~x126517+512 ~x126516+256 ~x126515+128 ~x126514+64 ~x126513+32 ~x126512+16 ~x126511+8 ~x126510+4 ~x126509+2 ~x126508+1 ~x126507+2048 ~x1010+1024 ~x1009+512 ~x1008+256 ~x1007+128 ~x1006+64 ~x1005+32 ~x1004+16 ~x1003+8 ~x1002+4 ~x1001+2 ~x1000+1 ~x999-0=8190
10.48/10.51	c 2048 ~x128750+1024 ~x128749+512 ~x128748+256 ~x128747+128 ~x128746+64 ~x128745+32 ~x128744+16 ~x128743+8 ~x128742+4 ~x128741+2 ~x128740+1 ~x128739+2048 ~x1023+1024 ~x1022+512 ~x1021+256 ~x1020+128 ~x1019+64 ~x1018+32 ~x1017+16 ~x1016+8 ~x1015+4 ~x1014+2 ~x1013+1 ~x1012-0=8190
10.48/10.57	c 2048 ~x130982+1024 ~x130981+512 ~x130980+256 ~x130979+128 ~x130978+64 ~x130977+32 ~x130976+16 ~x130975+8 ~x130974+4 ~x130973+2 ~x130972+1 ~x130971+2048 ~x1036+1024 ~x1035+512 ~x1034+256 ~x1033+128 ~x1032+64 ~x1031+32 ~x1030+16 ~x1029+8 ~x1028+4 ~x1027+2 ~x1026+1 ~x1025-0=8190
10.58/10.62	c 2048 ~x133214+1024 ~x133213+512 ~x133212+256 ~x133211+128 ~x133210+64 ~x133209+32 ~x133208+16 ~x133207+8 ~x133206+4 ~x133205+2 ~x133204+1 ~x133203+2048 ~x1049+1024 ~x1048+512 ~x1047+256 ~x1046+128 ~x1045+64 ~x1044+32 ~x1043+16 ~x1042+8 ~x1041+4 ~x1040+2 ~x1039+1 ~x1038-0=8190
10.58/10.68	c 2048 ~x135446+1024 ~x135445+512 ~x135444+256 ~x135443+128 ~x135442+64 ~x135441+32 ~x135440+16 ~x135439+8 ~x135438+4 ~x135437+2 ~x135436+1 ~x135435+2048 ~x1062+1024 ~x1061+512 ~x1060+256 ~x1059+128 ~x1058+64 ~x1057+32 ~x1056+16 ~x1055+8 ~x1054+4 ~x1053+2 ~x1052+1 ~x1051-0=8190
10.68/10.74	c 2048 ~x137678+1024 ~x137677+512 ~x137676+256 ~x137675+128 ~x137674+64 ~x137673+32 ~x137672+16 ~x137671+8 ~x137670+4 ~x137669+2 ~x137668+1 ~x137667+2048 ~x1075+1024 ~x1074+512 ~x1073+256 ~x1072+128 ~x1071+64 ~x1070+32 ~x1069+16 ~x1068+8 ~x1067+4 ~x1066+2 ~x1065+1 ~x1064-0=8190
10.68/10.79	c 2048 ~x139910+1024 ~x139909+512 ~x139908+256 ~x139907+128 ~x139906+64 ~x139905+32 ~x139904+16 ~x139903+8 ~x139902+4 ~x139901+2 ~x139900+1 ~x139899+2048 ~x1088+1024 ~x1087+512 ~x1086+256 ~x1085+128 ~x1084+64 ~x1083+32 ~x1082+16 ~x1081+8 ~x1080+4 ~x1079+2 ~x1078+1 ~x1077-0=8190
10.78/10.85	c 2048 ~x142142+1024 ~x142141+512 ~x142140+256 ~x142139+128 ~x142138+64 ~x142137+32 ~x142136+16 ~x142135+8 ~x142134+4 ~x142133+2 ~x142132+1 ~x142131+2048 ~x1101+1024 ~x1100+512 ~x1099+256 ~x1098+128 ~x1097+64 ~x1096+32 ~x1095+16 ~x1094+8 ~x1093+4 ~x1092+2 ~x1091+1 ~x1090-0=8190
10.88/10.91	c 2048 ~x144374+1024 ~x144373+512 ~x144372+256 ~x144371+128 ~x144370+64 ~x144369+32 ~x144368+16 ~x144367+8 ~x144366+4 ~x144365+2 ~x144364+1 ~x144363+2048 ~x1114+1024 ~x1113+512 ~x1112+256 ~x1111+128 ~x1110+64 ~x1109+32 ~x1108+16 ~x1107+8 ~x1106+4 ~x1105+2 ~x1104+1 ~x1103-0=8190
10.88/10.96	c 512 ~x146604+256 ~x146603+128 ~x146602+64 ~x146601+32 ~x146600+16 ~x146599+8 ~x146598+4 ~x146597+2 ~x146596+1 ~x146595+512 ~x1125+256 ~x1124+128 ~x1123+64 ~x1122+32 ~x1121+16 ~x1120+8 ~x1119+4 ~x1118+2 ~x1117+1 ~x1116-0=2046
10.88/11.00	c 512 ~x147906+256 ~x147905+128 ~x147904+64 ~x147903+32 ~x147902+16 ~x147901+8 ~x147900+4 ~x147899+2 ~x147898+1 ~x147897+512 ~x1138+256 ~x1137+128 ~x1136+64 ~x1135+32 ~x1134+16 ~x1133+8 ~x1132+4 ~x1131+2 ~x1130+1 ~x1129-0=2046
10.99/11.03	c 512 ~x149208+256 ~x149207+128 ~x149206+64 ~x149205+32 ~x149204+16 ~x149203+8 ~x149202+4 ~x149201+2 ~x149200+1 ~x149199+512 ~x1151+256 ~x1150+128 ~x1149+64 ~x1148+32 ~x1147+16 ~x1146+8 ~x1145+4 ~x1144+2 ~x1143+1 ~x1142-0=2046
10.99/11.06	c 512 ~x150510+256 ~x150509+128 ~x150508+64 ~x150507+32 ~x150506+16 ~x150505+8 ~x150504+4 ~x150503+2 ~x150502+1 ~x150501+512 ~x1164+256 ~x1163+128 ~x1162+64 ~x1161+32 ~x1160+16 ~x1159+8 ~x1158+4 ~x1157+2 ~x1156+1 ~x1155-0=2046
11.08/11.10	c 512 ~x151812+256 ~x151811+128 ~x151810+64 ~x151809+32 ~x151808+16 ~x151807+8 ~x151806+4 ~x151805+2 ~x151804+1 ~x151803+512 ~x1177+256 ~x1176+128 ~x1175+64 ~x1174+32 ~x1173+16 ~x1172+8 ~x1171+4 ~x1170+2 ~x1169+1 ~x1168-0=2046
11.08/11.13	c 512 ~x153114+256 ~x153113+128 ~x153112+64 ~x153111+32 ~x153110+16 ~x153109+8 ~x153108+4 ~x153107+2 ~x153106+1 ~x153105+512 ~x1190+256 ~x1189+128 ~x1188+64 ~x1187+32 ~x1186+16 ~x1185+8 ~x1184+4 ~x1183+2 ~x1182+1 ~x1181-0=2046
11.08/11.17	c 512 ~x154416+256 ~x154415+128 ~x154414+64 ~x154413+32 ~x154412+16 ~x154411+8 ~x154410+4 ~x154409+2 ~x154408+1 ~x154407+512 ~x1203+256 ~x1202+128 ~x1201+64 ~x1200+32 ~x1199+16 ~x1198+8 ~x1197+4 ~x1196+2 ~x1195+1 ~x1194-0=2046
11.18/11.23	c 512 ~x155718+256 ~x155717+128 ~x155716+64 ~x155715+32 ~x155714+16 ~x155713+8 ~x155712+4 ~x155711+2 ~x155710+1 ~x155709+512 ~x1216+256 ~x1215+128 ~x1214+64 ~x1213+32 ~x1212+16 ~x1211+8 ~x1210+4 ~x1209+2 ~x1208+1 ~x1207-0=2046
11.18/11.23	c 512 ~x157020+256 ~x157019+128 ~x157018+64 ~x157017+32 ~x157016+16 ~x157015+8 ~x157014+4 ~x157013+2 ~x157012+1 ~x157011+512 ~x1229+256 ~x1228+128 ~x1227+64 ~x1226+32 ~x1225+16 ~x1224+8 ~x1223+4 ~x1222+2 ~x1221+1 ~x1220-0=2046
11.18/11.27	c 512 ~x158322+256 ~x158321+128 ~x158320+64 ~x158319+32 ~x158318+16 ~x158317+8 ~x158316+4 ~x158315+2 ~x158314+1 ~x158313+512 ~x1242+256 ~x1241+128 ~x1240+64 ~x1239+32 ~x1238+16 ~x1237+8 ~x1236+4 ~x1235+2 ~x1234+1 ~x1233-0=2046
11.28/11.30	c 512 ~x159624+256 ~x159623+128 ~x159622+64 ~x159621+32 ~x159620+16 ~x159619+8 ~x159618+4 ~x159617+2 ~x159616+1 ~x159615+512 ~x1255+256 ~x1254+128 ~x1253+64 ~x1252+32 ~x1251+16 ~x1250+8 ~x1249+4 ~x1248+2 ~x1247+1 ~x1246-0=2046
11.28/11.33	c 512 ~x160926+256 ~x160925+128 ~x160924+64 ~x160923+32 ~x160922+16 ~x160921+8 ~x160920+4 ~x160919+2 ~x160918+1 ~x160917+512 ~x1268+256 ~x1267+128 ~x1266+64 ~x1265+32 ~x1264+16 ~x1263+8 ~x1262+4 ~x1261+2 ~x1260+1 ~x1259-0=2046
11.28/11.37	c 512 ~x162228+256 ~x162227+128 ~x162226+64 ~x162225+32 ~x162224+16 ~x162223+8 ~x162222+4 ~x162221+2 ~x162220+1 ~x162219+512 ~x1281+256 ~x1280+128 ~x1279+64 ~x1278+32 ~x1277+16 ~x1276+8 ~x1275+4 ~x1274+2 ~x1273+1 ~x1272-0=2046
11.38/11.40	c 512 ~x163530+256 ~x163529+128 ~x163528+64 ~x163527+32 ~x163526+16 ~x163525+8 ~x163524+4 ~x163523+2 ~x163522+1 ~x163521+512 ~x1294+256 ~x1293+128 ~x1292+64 ~x1291+32 ~x1290+16 ~x1289+8 ~x1288+4 ~x1287+2 ~x1286+1 ~x1285-0=2046
11.38/11.44	c 512 ~x164832+256 ~x164831+128 ~x164830+64 ~x164829+32 ~x164828+16 ~x164827+8 ~x164826+4 ~x164825+2 ~x164824+1 ~x164823+512 ~x1307+256 ~x1306+128 ~x1305+64 ~x1304+32 ~x1303+16 ~x1302+8 ~x1301+4 ~x1300+2 ~x1299+1 ~x1298-0=2046
11.38/11.47	c 512 ~x166134+256 ~x166133+128 ~x166132+64 ~x166131+32 ~x166130+16 ~x166129+8 ~x166128+4 ~x166127+2 ~x166126+1 ~x166125+512 ~x1320+256 ~x1319+128 ~x1318+64 ~x1317+32 ~x1316+16 ~x1315+8 ~x1314+4 ~x1313+2 ~x1312+1 ~x1311-0=2046
11.48/11.54	c 512 ~x167436+256 ~x167435+128 ~x167434+64 ~x167433+32 ~x167432+16 ~x167431+8 ~x167430+4 ~x167429+2 ~x167428+1 ~x167427+512 ~x1333+256 ~x1332+128 ~x1331+64 ~x1330+32 ~x1329+16 ~x1328+8 ~x1327+4 ~x1326+2 ~x1325+1 ~x1324-0=2046
11.48/11.54	c 512 ~x168738+256 ~x168737+128 ~x168736+64 ~x168735+32 ~x168734+16 ~x168733+8 ~x168732+4 ~x168731+2 ~x168730+1 ~x168729+512 ~x1346+256 ~x1345+128 ~x1344+64 ~x1343+32 ~x1342+16 ~x1341+8 ~x1340+4 ~x1339+2 ~x1338+1 ~x1337-0=2046
11.48/11.57	c 512 ~x170040+256 ~x170039+128 ~x170038+64 ~x170037+32 ~x170036+16 ~x170035+8 ~x170034+4 ~x170033+2 ~x170032+1 ~x170031+512 ~x1359+256 ~x1358+128 ~x1357+64 ~x1356+32 ~x1355+16 ~x1354+8 ~x1353+4 ~x1352+2 ~x1351+1 ~x1350-0=2046
11.58/11.60	c 512 ~x171342+256 ~x171341+128 ~x171340+64 ~x171339+32 ~x171338+16 ~x171337+8 ~x171336+4 ~x171335+2 ~x171334+1 ~x171333+512 ~x1372+256 ~x1371+128 ~x1370+64 ~x1369+32 ~x1368+16 ~x1367+8 ~x1366+4 ~x1365+2 ~x1364+1 ~x1363-0=2046
11.58/11.64	c 512 ~x172644+256 ~x172643+128 ~x172642+64 ~x172641+32 ~x172640+16 ~x172639+8 ~x172638+4 ~x172637+2 ~x172636+1 ~x172635+512 ~x1385+256 ~x1384+128 ~x1383+64 ~x1382+32 ~x1381+16 ~x1380+8 ~x1379+4 ~x1378+2 ~x1377+1 ~x1376-0=2046
11.58/11.67	c 512 ~x173946+256 ~x173945+128 ~x173944+64 ~x173943+32 ~x173942+16 ~x173941+8 ~x173940+4 ~x173939+2 ~x173938+1 ~x173937+512 ~x1398+256 ~x1397+128 ~x1396+64 ~x1395+32 ~x1394+16 ~x1393+8 ~x1392+4 ~x1391+2 ~x1390+1 ~x1389-0=2046
11.68/11.70	c 512 ~x175248+256 ~x175247+128 ~x175246+64 ~x175245+32 ~x175244+16 ~x175243+8 ~x175242+4 ~x175241+2 ~x175240+1 ~x175239+512 ~x1411+256 ~x1410+128 ~x1409+64 ~x1408+32 ~x1407+16 ~x1406+8 ~x1405+4 ~x1404+2 ~x1403+1 ~x1402-0=2046
11.68/11.74	c 512 ~x176550+256 ~x176549+128 ~x176548+64 ~x176547+32 ~x176546+16 ~x176545+8 ~x176544+4 ~x176543+2 ~x176542+1 ~x176541+512 ~x1422+256 ~x1421+128 ~x1420+64 ~x1419+32 ~x1418+16 ~x1417+8 ~x1416+4 ~x1415+2 ~x1414+1 ~x1413-0=2046
11.68/11.78	c 512 ~x177852+256 ~x177851+128 ~x177850+64 ~x177849+32 ~x177848+16 ~x177847+8 ~x177846+4 ~x177845+2 ~x177844+1 ~x177843+512 ~x1433+256 ~x1432+128 ~x1431+64 ~x1430+32 ~x1429+16 ~x1428+8 ~x1427+4 ~x1426+2 ~x1425+1 ~x1424-0=2046
11.78/11.84	c 512 ~x179154+256 ~x179153+128 ~x179152+64 ~x179151+32 ~x179150+16 ~x179149+8 ~x179148+4 ~x179147+2 ~x179146+1 ~x179145+512 ~x1444+256 ~x1443+128 ~x1442+64 ~x1441+32 ~x1440+16 ~x1439+8 ~x1438+4 ~x1437+2 ~x1436+1 ~x1435-0=2046
11.78/11.84	c 512 ~x180456+256 ~x180455+128 ~x180454+64 ~x180453+32 ~x180452+16 ~x180451+8 ~x180450+4 ~x180449+2 ~x180448+1 ~x180447+512 ~x1455+256 ~x1454+128 ~x1453+64 ~x1452+32 ~x1451+16 ~x1450+8 ~x1449+4 ~x1448+2 ~x1447+1 ~x1446-0=2046
11.78/11.88	c 512 ~x181758+256 ~x181757+128 ~x181756+64 ~x181755+32 ~x181754+16 ~x181753+8 ~x181752+4 ~x181751+2 ~x181750+1 ~x181749+512 ~x1466+256 ~x1465+128 ~x1464+64 ~x1463+32 ~x1462+16 ~x1461+8 ~x1460+4 ~x1459+2 ~x1458+1 ~x1457-0=2046
11.88/11.91	c 512 ~x183060+256 ~x183059+128 ~x183058+64 ~x183057+32 ~x183056+16 ~x183055+8 ~x183054+4 ~x183053+2 ~x183052+1 ~x183051+512 ~x1477+256 ~x1476+128 ~x1475+64 ~x1474+32 ~x1473+16 ~x1472+8 ~x1471+4 ~x1470+2 ~x1469+1 ~x1468-0=2046
11.88/11.94	c 512 ~x184362+256 ~x184361+128 ~x184360+64 ~x184359+32 ~x184358+16 ~x184357+8 ~x184356+4 ~x184355+2 ~x184354+1 ~x184353+512 ~x1488+256 ~x1487+128 ~x1486+64 ~x1485+32 ~x1484+16 ~x1483+8 ~x1482+4 ~x1481+2 ~x1480+1 ~x1479-0=2046
11.88/11.98	c 512 ~x185664+256 ~x185663+128 ~x185662+64 ~x185661+32 ~x185660+16 ~x185659+8 ~x185658+4 ~x185657+2 ~x185656+1 ~x185655+512 ~x1499+256 ~x1498+128 ~x1497+64 ~x1496+32 ~x1495+16 ~x1494+8 ~x1493+4 ~x1492+2 ~x1491+1 ~x1490-0=2046
11.99/12.01	c 512 ~x186966+256 ~x186965+128 ~x186964+64 ~x186963+32 ~x186962+16 ~x186961+8 ~x186960+4 ~x186959+2 ~x186958+1 ~x186957+512 ~x1510+256 ~x1509+128 ~x1508+64 ~x1507+32 ~x1506+16 ~x1505+8 ~x1504+4 ~x1503+2 ~x1502+1 ~x1501-0=2046
11.99/12.04	c 512 ~x188268+256 ~x188267+128 ~x188266+64 ~x188265+32 ~x188264+16 ~x188263+8 ~x188262+4 ~x188261+2 ~x188260+1 ~x188259+512 ~x1521+256 ~x1520+128 ~x1519+64 ~x1518+32 ~x1517+16 ~x1516+8 ~x1515+4 ~x1514+2 ~x1513+1 ~x1512-0=2046
12.08/12.11	c 512 ~x189570+256 ~x189569+128 ~x189568+64 ~x189567+32 ~x189566+16 ~x189565+8 ~x189564+4 ~x189563+2 ~x189562+1 ~x189561+512 ~x1532+256 ~x1531+128 ~x1530+64 ~x1529+32 ~x1528+16 ~x1527+8 ~x1526+4 ~x1525+2 ~x1524+1 ~x1523-0=2046
12.08/12.11	c 2048 ~x190874+1024 ~x190873+512 ~x190872+256 ~x190871+128 ~x190870+64 ~x190869+32 ~x190868+16 ~x190867+8 ~x190866+4 ~x190865+2 ~x190864+1 ~x190863+2048 ~x1545+1024 ~x1544+512 ~x1543+256 ~x1542+128 ~x1541+64 ~x1540+32 ~x1539+16 ~x1538+8 ~x1537+4 ~x1536+2 ~x1535+1 ~x1534-0=7166
12.08/12.17	c 2048 ~x193106+1024 ~x193105+512 ~x193104+256 ~x193103+128 ~x193102+64 ~x193101+32 ~x193100+16 ~x193099+8 ~x193098+4 ~x193097+2 ~x193096+1 ~x193095+2048 ~x1558+1024 ~x1557+512 ~x1556+256 ~x1555+128 ~x1554+64 ~x1553+32 ~x1552+16 ~x1551+8 ~x1550+4 ~x1549+2 ~x1548+1 ~x1547-0=7166
12.18/12.22	c 2048 ~x195338+1024 ~x195337+512 ~x195336+256 ~x195335+128 ~x195334+64 ~x195333+32 ~x195332+16 ~x195331+8 ~x195330+4 ~x195329+2 ~x195328+1 ~x195327+2048 ~x1571+1024 ~x1570+512 ~x1569+256 ~x1568+128 ~x1567+64 ~x1566+32 ~x1565+16 ~x1564+8 ~x1563+4 ~x1562+2 ~x1561+1 ~x1560-0=7166
12.18/12.28	c 2048 ~x197570+1024 ~x197569+512 ~x197568+256 ~x197567+128 ~x197566+64 ~x197565+32 ~x197564+16 ~x197563+8 ~x197562+4 ~x197561+2 ~x197560+1 ~x197559+2048 ~x1584+1024 ~x1583+512 ~x1582+256 ~x1581+128 ~x1580+64 ~x1579+32 ~x1578+16 ~x1577+8 ~x1576+4 ~x1575+2 ~x1574+1 ~x1573-0=7166
12.28/12.34	c 2048 ~x199802+1024 ~x199801+512 ~x199800+256 ~x199799+128 ~x199798+64 ~x199797+32 ~x199796+16 ~x199795+8 ~x199794+4 ~x199793+2 ~x199792+1 ~x199791+2048 ~x1597+1024 ~x1596+512 ~x1595+256 ~x1594+128 ~x1593+64 ~x1592+32 ~x1591+16 ~x1590+8 ~x1589+4 ~x1588+2 ~x1587+1 ~x1586-0=7166
12.28/12.39	c 2048 ~x202034+1024 ~x202033+512 ~x202032+256 ~x202031+128 ~x202030+64 ~x202029+32 ~x202028+16 ~x202027+8 ~x202026+4 ~x202025+2 ~x202024+1 ~x202023+2048 ~x1610+1024 ~x1609+512 ~x1608+256 ~x1607+128 ~x1606+64 ~x1605+32 ~x1604+16 ~x1603+8 ~x1602+4 ~x1601+2 ~x1600+1 ~x1599-0=7166
12.38/12.45	c 2048 ~x204266+1024 ~x204265+512 ~x204264+256 ~x204263+128 ~x204262+64 ~x204261+32 ~x204260+16 ~x204259+8 ~x204258+4 ~x204257+2 ~x204256+1 ~x204255+2048 ~x1623+1024 ~x1622+512 ~x1621+256 ~x1620+128 ~x1619+64 ~x1618+32 ~x1617+16 ~x1616+8 ~x1615+4 ~x1614+2 ~x1613+1 ~x1612-0=7166
12.48/12.50	c 2048 ~x206498+1024 ~x206497+512 ~x206496+256 ~x206495+128 ~x206494+64 ~x206493+32 ~x206492+16 ~x206491+8 ~x206490+4 ~x206489+2 ~x206488+1 ~x206487+2048 ~x1636+1024 ~x1635+512 ~x1634+256 ~x1633+128 ~x1632+64 ~x1631+32 ~x1630+16 ~x1629+8 ~x1628+4 ~x1627+2 ~x1626+1 ~x1625-0=7166
12.48/12.56	c 2048 ~x208730+1024 ~x208729+512 ~x208728+256 ~x208727+128 ~x208726+64 ~x208725+32 ~x208724+16 ~x208723+8 ~x208722+4 ~x208721+2 ~x208720+1 ~x208719+2048 ~x1649+1024 ~x1648+512 ~x1647+256 ~x1646+128 ~x1645+64 ~x1644+32 ~x1643+16 ~x1642+8 ~x1641+4 ~x1640+2 ~x1639+1 ~x1638-0=7166
12.58/12.62	c 2048 ~x210962+1024 ~x210961+512 ~x210960+256 ~x210959+128 ~x210958+64 ~x210957+32 ~x210956+16 ~x210955+8 ~x210954+4 ~x210953+2 ~x210952+1 ~x210951+2048 ~x1662+1024 ~x1661+512 ~x1660+256 ~x1659+128 ~x1658+64 ~x1657+32 ~x1656+16 ~x1655+8 ~x1654+4 ~x1653+2 ~x1652+1 ~x1651-0=7166
12.58/12.67	c 2048 ~x213194+1024 ~x213193+512 ~x213192+256 ~x213191+128 ~x213190+64 ~x213189+32 ~x213188+16 ~x213187+8 ~x213186+4 ~x213185+2 ~x213184+1 ~x213183+2048 ~x1675+1024 ~x1674+512 ~x1673+256 ~x1672+128 ~x1671+64 ~x1670+32 ~x1669+16 ~x1668+8 ~x1667+4 ~x1666+2 ~x1665+1 ~x1664-0=7166
12.68/12.73	c 2048 ~x215426+1024 ~x215425+512 ~x215424+256 ~x215423+128 ~x215422+64 ~x215421+32 ~x215420+16 ~x215419+8 ~x215418+4 ~x215417+2 ~x215416+1 ~x215415+2048 ~x1688+1024 ~x1687+512 ~x1686+256 ~x1685+128 ~x1684+64 ~x1683+32 ~x1682+16 ~x1681+8 ~x1680+4 ~x1679+2 ~x1678+1 ~x1677-0=7166
12.68/12.79	c 2048 ~x217658+1024 ~x217657+512 ~x217656+256 ~x217655+128 ~x217654+64 ~x217653+32 ~x217652+16 ~x217651+8 ~x217650+4 ~x217649+2 ~x217648+1 ~x217647+2048 ~x1701+1024 ~x1700+512 ~x1699+256 ~x1698+128 ~x1697+64 ~x1696+32 ~x1695+16 ~x1694+8 ~x1693+4 ~x1692+2 ~x1691+1 ~x1690-0=7166
12.78/12.85	c 2048 ~x219890+1024 ~x219889+512 ~x219888+256 ~x219887+128 ~x219886+64 ~x219885+32 ~x219884+16 ~x219883+8 ~x219882+4 ~x219881+2 ~x219880+1 ~x219879+2048 ~x1714+1024 ~x1713+512 ~x1712+256 ~x1711+128 ~x1710+64 ~x1709+32 ~x1708+16 ~x1707+8 ~x1706+4 ~x1705+2 ~x1704+1 ~x1703-0=7166
12.88/12.90	c 2048 ~x222122+1024 ~x222121+512 ~x222120+256 ~x222119+128 ~x222118+64 ~x222117+32 ~x222116+16 ~x222115+8 ~x222114+4 ~x222113+2 ~x222112+1 ~x222111+2048 ~x1727+1024 ~x1726+512 ~x1725+256 ~x1724+128 ~x1723+64 ~x1722+32 ~x1721+16 ~x1720+8 ~x1719+4 ~x1718+2 ~x1717+1 ~x1716-0=7166
12.88/12.96	c 2048 ~x224354+1024 ~x224353+512 ~x224352+256 ~x224351+128 ~x224350+64 ~x224349+32 ~x224348+16 ~x224347+8 ~x224346+4 ~x224345+2 ~x224344+1 ~x224343+2048 ~x1740+1024 ~x1739+512 ~x1738+256 ~x1737+128 ~x1736+64 ~x1735+32 ~x1734+16 ~x1733+8 ~x1732+4 ~x1731+2 ~x1730+1 ~x1729-0=7166
12.98/13.02	c 2048 ~x226586+1024 ~x226585+512 ~x226584+256 ~x226583+128 ~x226582+64 ~x226581+32 ~x226580+16 ~x226579+8 ~x226578+4 ~x226577+2 ~x226576+1 ~x226575+2048 ~x1753+1024 ~x1752+512 ~x1751+256 ~x1750+128 ~x1749+64 ~x1748+32 ~x1747+16 ~x1746+8 ~x1745+4 ~x1744+2 ~x1743+1 ~x1742-0=7166
12.98/13.07	c 2048 ~x228818+1024 ~x228817+512 ~x228816+256 ~x228815+128 ~x228814+64 ~x228813+32 ~x228812+16 ~x228811+8 ~x228810+4 ~x228809+2 ~x228808+1 ~x228807+2048 ~x1766+1024 ~x1765+512 ~x1764+256 ~x1763+128 ~x1762+64 ~x1761+32 ~x1760+16 ~x1759+8 ~x1758+4 ~x1757+2 ~x1756+1 ~x1755-0=7166
13.09/13.13	c 4096 ~x231051+2048 ~x231050+1024 ~x231049+512 ~x231048+256 ~x231047+128 ~x231046+64 ~x231045+32 ~x231044+16 ~x231043+8 ~x231042+4 ~x231041+2 ~x231040+1 ~x231039+4096 ~x1780+2048 ~x1779+1024 ~x1778+512 ~x1777+256 ~x1776+128 ~x1775+64 ~x1774+32 ~x1773+16 ~x1772+8 ~x1771+4 ~x1770+2 ~x1769+1 ~x1768-0=14334
13.09/13.19	c 4096 ~x233629+2048 ~x233628+1024 ~x233627+512 ~x233626+256 ~x233625+128 ~x233624+64 ~x233623+32 ~x233622+16 ~x233621+8 ~x233620+4 ~x233619+2 ~x233618+1 ~x233617+4096 ~x1794+2048 ~x1793+1024 ~x1792+512 ~x1791+256 ~x1790+128 ~x1789+64 ~x1788+32 ~x1787+16 ~x1786+8 ~x1785+4 ~x1784+2 ~x1783+1 ~x1782-0=14334
13.19/13.26	c 512 ~x236204+256 ~x236203+128 ~x236202+64 ~x236201+32 ~x236200+16 ~x236199+8 ~x236198+4 ~x236197+2 ~x236196+1 ~x236195+512 ~x1805+256 ~x1804+128 ~x1803+64 ~x1802+32 ~x1801+16 ~x1800+8 ~x1799+4 ~x1798+2 ~x1797+1 ~x1796-0=2046
13.19/13.29	c 512 ~x237506+256 ~x237505+128 ~x237504+64 ~x237503+32 ~x237502+16 ~x237501+8 ~x237500+4 ~x237499+2 ~x237498+1 ~x237497+512 ~x1818+256 ~x1817+128 ~x1816+64 ~x1815+32 ~x1814+16 ~x1813+8 ~x1812+4 ~x1811+2 ~x1810+1 ~x1809-0=2046
13.28/13.32	c 4096 ~x238811+2048 ~x238810+1024 ~x238809+512 ~x238808+256 ~x238807+128 ~x238806+64 ~x238805+32 ~x238804+16 ~x238803+8 ~x238802+4 ~x238801+2 ~x238800+1 ~x238799+4096 ~x1834+2048 ~x1833+1024 ~x1832+512 ~x1831+256 ~x1830+128 ~x1829+64 ~x1828+32 ~x1827+16 ~x1826+8 ~x1825+4 ~x1824+2 ~x1823+1 ~x1822-0=14334
13.28/13.39	c 4096 ~x241389+2048 ~x241388+1024 ~x241387+512 ~x241386+256 ~x241385+128 ~x241384+64 ~x241383+32 ~x241382+16 ~x241381+8 ~x241380+4 ~x241379+2 ~x241378+1 ~x241377+4096 ~x1848+2048 ~x1847+1024 ~x1846+512 ~x1845+256 ~x1844+128 ~x1843+64 ~x1842+32 ~x1841+16 ~x1840+8 ~x1839+4 ~x1838+2 ~x1837+1 ~x1836-0=14334
13.38/13.45	c 4096 ~x243967+2048 ~x243966+1024 ~x243965+512 ~x243964+256 ~x243963+128 ~x243962+64 ~x243961+32 ~x243960+16 ~x243959+8 ~x243958+4 ~x243957+2 ~x243956+1 ~x243955+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=14334
13.48/13.51	c 8192 ~x246546+4096 ~x246545+2048 ~x246544+1024 ~x246543+512 ~x246542+256 ~x246541+128 ~x246540+64 ~x246539+32 ~x246538+16 ~x246537+8 ~x246536+4 ~x246535+2 ~x246534+1 ~x246533+8192 ~x1877+4096 ~x1876+2048 ~x1875+1024 ~x1874+512 ~x1873+256 ~x1872+128 ~x1871+64 ~x1870+32 ~x1869+16 ~x1868+8 ~x1867+4 ~x1866+2 ~x1865+1 ~x1864-0=28670
13.58/13.60	c 8192 ~x250104+4096 ~x250103+2048 ~x250102+1024 ~x250101+512 ~x250100+256 ~x250099+128 ~x250098+64 ~x250097+32 ~x250096+16 ~x250095+8 ~x250094+4 ~x250093+2 ~x250092+1 ~x250091+8192 ~x1892+4096 ~x1891+2048 ~x1890+1024 ~x1889+512 ~x1888+256 ~x1887+128 ~x1886+64 ~x1885+32 ~x1884+16 ~x1883+8 ~x1882+4 ~x1881+2 ~x1880+1 ~x1879-0=28670
13.58/13.69	c 8192 ~x253662+4096 ~x253661+2048 ~x253660+1024 ~x253659+512 ~x253658+256 ~x253657+128 ~x253656+64 ~x253655+32 ~x253654+16 ~x253653+8 ~x253652+4 ~x253651+2 ~x253650+1 ~x253649+8192 ~x1907+4096 ~x1906+2048 ~x1905+1024 ~x1904+512 ~x1903+256 ~x1902+128 ~x1901+64 ~x1900+32 ~x1899+16 ~x1898+8 ~x1897+4 ~x1896+2 ~x1895+1 ~x1894-0=28670
13.68/13.78	c 8192 ~x257220+4096 ~x257219+2048 ~x257218+1024 ~x257217+512 ~x257216+256 ~x257215+128 ~x257214+64 ~x257213+32 ~x257212+16 ~x257211+8 ~x257210+4 ~x257209+2 ~x257208+1 ~x257207+8192 ~x1922+4096 ~x1921+2048 ~x1920+1024 ~x1919+512 ~x1918+256 ~x1917+128 ~x1916+64 ~x1915+32 ~x1914+16 ~x1913+8 ~x1912+4 ~x1911+2 ~x1910+1 ~x1909-0=28670
13.78/13.87	c 8192 ~x260778+4096 ~x260777+2048 ~x260776+1024 ~x260775+512 ~x260774+256 ~x260773+128 ~x260772+64 ~x260771+32 ~x260770+16 ~x260769+8 ~x260768+4 ~x260767+2 ~x260766+1 ~x260765+8192 ~x1937+4096 ~x1936+2048 ~x1935+1024 ~x1934+512 ~x1933+256 ~x1932+128 ~x1931+64 ~x1930+32 ~x1929+16 ~x1928+8 ~x1927+4 ~x1926+2 ~x1925+1 ~x1924-0=28670
13.88/13.96	c 8192 ~x264336+4096 ~x264335+2048 ~x264334+1024 ~x264333+512 ~x264332+256 ~x264331+128 ~x264330+64 ~x264329+32 ~x264328+16 ~x264327+8 ~x264326+4 ~x264325+2 ~x264324+1 ~x264323+8192 ~x1952+4096 ~x1951+2048 ~x1950+1024 ~x1949+512 ~x1948+256 ~x1947+128 ~x1946+64 ~x1945+32 ~x1944+16 ~x1943+8 ~x1942+4 ~x1941+2 ~x1940+1 ~x1939-0=28670
13.98/14.05	c 512 ~x267890+256 ~x267889+128 ~x267888+64 ~x267887+32 ~x267886+16 ~x267885+8 ~x267884+4 ~x267883+2 ~x267882+1 ~x267881+512 ~x1963+256 ~x1962+128 ~x1961+64 ~x1960+32 ~x1959+16 ~x1958+8 ~x1957+4 ~x1956+2 ~x1955+1 ~x1954-0=2046
14.08/14.11	c 512 ~x269192+256 ~x269191+128 ~x269190+64 ~x269189+32 ~x269188+16 ~x269187+8 ~x269186+4 ~x269185+2 ~x269184+1 ~x269183+512 ~x1975+256 ~x1974+128 ~x1973+64 ~x1972+32 ~x1971+16 ~x1970+8 ~x1969+4 ~x1968+2 ~x1967+1 ~x1966-0=2046
14.08/14.11	c 512 ~x270494+256 ~x270493+128 ~x270492+64 ~x270491+32 ~x270490+16 ~x270489+8 ~x270488+4 ~x270487+2 ~x270486+1 ~x270485+512 ~x1987+256 ~x1986+128 ~x1985+64 ~x1984+32 ~x1983+16 ~x1982+8 ~x1981+4 ~x1980+2 ~x1979+1 ~x1978-0=2046
14.08/14.15	c 512 ~x271796+256 ~x271795+128 ~x271794+64 ~x271793+32 ~x271792+16 ~x271791+8 ~x271790+4 ~x271789+2 ~x271788+1 ~x271787+512 ~x1999+256 ~x1998+128 ~x1997+64 ~x1996+32 ~x1995+16 ~x1994+8 ~x1993+4 ~x1992+2 ~x1991+1 ~x1990-0=2046
14.08/14.19	c 512 ~x273098+256 ~x273097+128 ~x273096+64 ~x273095+32 ~x273094+16 ~x273093+8 ~x273092+4 ~x273091+2 ~x273090+1 ~x273089+512 ~x2011+256 ~x2010+128 ~x2009+64 ~x2008+32 ~x2007+16 ~x2006+8 ~x2005+4 ~x2004+2 ~x2003+1 ~x2002-0=2046
14.19/14.22	c 512 ~x274400+256 ~x274399+128 ~x274398+64 ~x274397+32 ~x274396+16 ~x274395+8 ~x274394+4 ~x274393+2 ~x274392+1 ~x274391+512 ~x2023+256 ~x2022+128 ~x2021+64 ~x2020+32 ~x2019+16 ~x2018+8 ~x2017+4 ~x2016+2 ~x2015+1 ~x2014-0=2046
14.19/14.25	c 1024 ~x275703+512 ~x275702+256 ~x275701+128 ~x275700+64 ~x275699+32 ~x275698+16 ~x275697+8 ~x275696+4 ~x275695+2 ~x275694+1 ~x275693+1024 ~x2036+512 ~x2035+256 ~x2034+128 ~x2033+64 ~x2032+32 ~x2031+16 ~x2030+8 ~x2029+4 ~x2028+2 ~x2027+1 ~x2026-0=4094
14.19/14.30	c 512 ~x277523+256 ~x277522+128 ~x277521+64 ~x277520+32 ~x277519+16 ~x277518+8 ~x277517+4 ~x277516+2 ~x277515+1 ~x277514+512 ~x2047+256 ~x2046+128 ~x2045+64 ~x2044+32 ~x2043+16 ~x2042+8 ~x2041+4 ~x2040+2 ~x2039+1 ~x2038-0=2046
14.29/14.34	c 512 ~x278825+256 ~x278824+128 ~x278823+64 ~x278822+32 ~x278821+16 ~x278820+8 ~x278819+4 ~x278818+2 ~x278817+1 ~x278816+512 ~x2058+256 ~x2057+128 ~x2056+64 ~x2055+32 ~x2054+16 ~x2053+8 ~x2052+4 ~x2051+2 ~x2050+1 ~x2049-0=2046
14.29/14.37	c 512 ~x280127+256 ~x280126+128 ~x280125+64 ~x280124+32 ~x280123+16 ~x280122+8 ~x280121+4 ~x280120+2 ~x280119+1 ~x280118+512 ~x2069+256 ~x2068+128 ~x2067+64 ~x2066+32 ~x2065+16 ~x2064+8 ~x2063+4 ~x2062+2 ~x2061+1 ~x2060-0=2046
14.38/14.40	c 2048 ~x281431+1024 ~x281430+512 ~x281429+256 ~x281428+128 ~x281427+64 ~x281426+32 ~x281425+16 ~x281424+8 ~x281423+4 ~x281422+2 ~x281421+1 ~x281420+2048 ~x2082+1024 ~x2081+512 ~x2080+256 ~x2079+128 ~x2078+64 ~x2077+32 ~x2076+16 ~x2075+8 ~x2074+4 ~x2073+2 ~x2072+1 ~x2071-0=7166
14.38/14.46	c 2048 ~x283663+1024 ~x283662+512 ~x283661+256 ~x283660+128 ~x283659+64 ~x283658+32 ~x283657+16 ~x283656+8 ~x283655+4 ~x283654+2 ~x283653+1 ~x283652+2048 ~x2095+1024 ~x2094+512 ~x2093+256 ~x2092+128 ~x2091+64 ~x2090+32 ~x2089+16 ~x2088+8 ~x2087+4 ~x2086+2 ~x2085+1 ~x2084-0=7166
14.48/14.52	c 2048 ~x285895+1024 ~x285894+512 ~x285893+256 ~x285892+128 ~x285891+64 ~x285890+32 ~x285889+16 ~x285888+8 ~x285887+4 ~x285886+2 ~x285885+1 ~x285884+2048 ~x2108+1024 ~x2107+512 ~x2106+256 ~x2105+128 ~x2104+64 ~x2103+32 ~x2102+16 ~x2101+8 ~x2100+4 ~x2099+2 ~x2098+1 ~x2097-0=7166
14.48/14.57	c 8192 ~x288129+4096 ~x288128+2048 ~x288127+1024 ~x288126+512 ~x288125+256 ~x288124+128 ~x288123+64 ~x288122+32 ~x288121+16 ~x288120+8 ~x288119+4 ~x288118+2 ~x288117+1 ~x288116+8192 ~x2123+4096 ~x2122+2048 ~x2121+1024 ~x2120+512 ~x2119+256 ~x2118+128 ~x2117+64 ~x2116+32 ~x2115+16 ~x2114+8 ~x2113+4 ~x2112+2 ~x2111+1 ~x2110-0=28670
14.58/14.66	c 8192 ~x291687+4096 ~x291686+2048 ~x291685+1024 ~x291684+512 ~x291683+256 ~x291682+128 ~x291681+64 ~x291680+32 ~x291679+16 ~x291678+8 ~x291677+4 ~x291676+2 ~x291675+1 ~x291674+8192 ~x2138+4096 ~x2137+2048 ~x2136+1024 ~x2135+512 ~x2134+256 ~x2133+128 ~x2132+64 ~x2131+32 ~x2130+16 ~x2129+8 ~x2128+4 ~x2127+2 ~x2126+1 ~x2125-0=28670
14.68/14.75	c 8192 ~x295245+4096 ~x295244+2048 ~x295243+1024 ~x295242+512 ~x295241+256 ~x295240+128 ~x295239+64 ~x295238+32 ~x295237+16 ~x295236+8 ~x295235+4 ~x295234+2 ~x295233+1 ~x295232+8192 ~x2153+4096 ~x2152+2048 ~x2151+1024 ~x2150+512 ~x2149+256 ~x2148+128 ~x2147+64 ~x2146+32 ~x2145+16 ~x2144+8 ~x2143+4 ~x2142+2 ~x2141+1 ~x2140-0=28670
14.78/14.84	c 8192 ~x298803+4096 ~x298802+2048 ~x298801+1024 ~x298800+512 ~x298799+256 ~x298798+128 ~x298797+64 ~x298796+32 ~x298795+16 ~x298794+8 ~x298793+4 ~x298792+2 ~x298791+1 ~x298790+8192 ~x2168+4096 ~x2167+2048 ~x2166+1024 ~x2165+512 ~x2164+256 ~x2163+128 ~x2162+64 ~x2161+32 ~x2160+16 ~x2159+8 ~x2158+4 ~x2157+2 ~x2156+1 ~x2155-0=28670
14.88/14.93	c 8192 ~x302361+4096 ~x302360+2048 ~x302359+1024 ~x302358+512 ~x302357+256 ~x302356+128 ~x302355+64 ~x302354+32 ~x302353+16 ~x302352+8 ~x302351+4 ~x302350+2 ~x302349+1 ~x302348+8192 ~x2183+4096 ~x2182+2048 ~x2181+1024 ~x2180+512 ~x2179+256 ~x2178+128 ~x2177+64 ~x2176+32 ~x2175+16 ~x2174+8 ~x2173+4 ~x2172+2 ~x2171+1 ~x2170-0=28670
14.98/15.02	c 8192 ~x305919+4096 ~x305918+2048 ~x305917+1024 ~x305916+512 ~x305915+256 ~x305914+128 ~x305913+64 ~x305912+32 ~x305911+16 ~x305910+8 ~x305909+4 ~x305908+2 ~x305907+1 ~x305906+8192 ~x2198+4096 ~x2197+2048 ~x2196+1024 ~x2195+512 ~x2194+256 ~x2193+128 ~x2192+64 ~x2191+32 ~x2190+16 ~x2189+8 ~x2188+4 ~x2187+2 ~x2186+1 ~x2185-0=28670
15.08/15.11	c 8192 ~x309477+4096 ~x309476+2048 ~x309475+1024 ~x309474+512 ~x309473+256 ~x309472+128 ~x309471+64 ~x309470+32 ~x309469+16 ~x309468+8 ~x309467+4 ~x309466+2 ~x309465+1 ~x309464+8192 x2374+4096 x2373+2048 x2372+1024 x2371+512 x2370+256 x2369+128 x2368+64 x2367+32 x2366+16 x2365+8 x2364+4 x2363+2 x2362+1 x2361+8192 x2344+4096 x2343+2048 x2342+1024 x2341+512 x2340+256 x2339+128 x2338+64 x2337+32 x2336+16 x2335+8 x2334+4 x2333+2 x2332+1 x2331+8192 x2314+4096 x2313+2048 x2312+1024 x2311+512 x2310+256 x2309+128 x2308+64 x2307+32 x2306+16 x2305+8 x2304+4 x2303+2 x2302+1 x2301+8192 x2284+4096 x2283+2048 x2282+1024 x2281+512 x2280+256 x2279+128 x2278+64 x2277+32 x2276+16 x2275+8 x2274+4 x2273+2 x2272+1 x2271-0=26623
15.29/15.35	c 8192 ~x319713+4096 ~x319712+2048 ~x319711+1024 ~x319710+512 ~x319709+256 ~x319708+128 ~x319707+64 ~x319706+32 ~x319705+16 ~x319704+8 ~x319703+4 ~x319702+2 ~x319701+1 ~x319700+8192 x2464+4096 x2463+2048 x2462+1024 x2461+512 x2460+256 x2459+128 x2458+64 x2457+32 x2456+16 x2455+8 x2454+4 x2453+2 x2452+1 x2451+8192 x2434+4096 x2433+2048 x2432+1024 x2431+512 x2430+256 x2429+128 x2428+64 x2427+32 x2426+16 x2425+8 x2424+4 x2423+2 x2422+1 x2421+8192 x2404+4096 x2403+2048 x2402+1024 x2401+512 x2400+256 x2399+128 x2398+64 x2397+32 x2396+16 x2395+8 x2394+4 x2393+2 x2392+1 x2391-0=28671
15.48/15.55	c 8192 ~x327723+4096 ~x327722+2048 ~x327721+1024 ~x327720+512 ~x327719+256 ~x327718+128 ~x327717+64 ~x327716+32 ~x327715+16 ~x327714+8 ~x327713+4 ~x327712+2 ~x327711+1 ~x327710+8192 x2524+4096 x2523+2048 x2522+1024 x2521+512 x2520+256 x2519+128 x2518+64 x2517+32 x2516+16 x2515+8 x2514+4 x2513+2 x2512+1 x2511+8192 x2494+4096 x2493+2048 x2492+1024 x2491+512 x2490+256 x2489+128 x2488+64 x2487+32 x2486+16 x2485+8 x2484+4 x2483+2 x2482+1 x2481-0=25599
15.68/15.70	c 2147483648 ~x333525+1073741824 ~x333524+536870912 ~x333523+268435456 ~x333522+134217728 ~x333521+67108864 ~x333520+33554432 ~x333519+16777216 ~x333518+8388608 ~x333517+4194304 ~x333516+2097152 ~x333515+1048576 ~x333514+524288 ~x333513+262144 ~x333512+131072 ~x333511+65536 ~x333510+32768 ~x333509+16384 ~x333508+8192 ~x333507+4096 ~x333506+2048 ~x333505+1024 ~x333504+512 ~x333503+256 ~x333502+128 ~x333501+64 ~x333500+32 ~x333499+16 ~x333498+8 ~x333497+4 ~x333496+2 ~x333495+1 ~x333494+536870912 ~x2840+268435456 ~x2839+134217728 ~x2838+67108864 ~x2837+33554432 ~x2836+16777216 ~x2835+8388608 ~x2834+4194304 ~x2833+2097152 ~x2832+1048576 ~x2831+524288 ~x2830+262144 ~x2829+131072 ~x2828+65536 ~x2827+32768 ~x2826+16384 ~x2825+8192 ~x2824+4096 ~x2823+2048 ~x2822+1024 ~x2821+512 ~x2820+256 ~x2819+128 ~x2818+64 ~x2817+32 ~x2816+16 ~x2815+8 ~x2814+4 ~x2813+2 ~x2812+1 ~x2811+536870912 ~x2780+268435456 ~x2779+134217728 ~x2778+67108864 ~x2777+33554432 ~x2776+16777216 ~x2775+8388608 ~x2774+4194304 ~x2773+2097152 ~x2772+1048576 ~x2771+524288 ~x2770+262144 ~x2769+131072 ~x2768+65536 ~x2767+32768 ~x2766+16384 ~x2765+8192 ~x2764+4096 ~x2763+2048 ~x2762+1024 ~x2761+512 ~x2760+256 ~x2759+128 ~x2758+64 ~x2757+32 ~x2756+16 ~x2755+8 ~x2754+4 ~x2753+2 ~x2752+1 ~x2751+536870912 x2690+268435456 x2689+134217728 x2688+67108864 x2687+33554432 x2686+16777216 x2685+8388608 x2684+4194304 x2683+2097152 x2682+1048576 x2681+524288 x2680+262144 x2679+131072 x2678+65536 x2677+32768 x2676+16384 x2675+8192 x2674+4096 x2673+2048 x2672+1024 x2671+512 x2670+256 x2669+128 x2668+64 x2667+32 x2666+16 x2665+8 x2664+4 x2663+2 x2662+1 x2661+536870912 x2660+268435456 x2659+134217728 x2658+67108864 x2657+33554432 x2656+16777216 x2655+8388608 x2654+4194304 x2653+2097152 x2652+1048576 x2651+524288 x2650+262144 x2649+131072 x2648+65536 x2647+32768 x2646+16384 x2645+8192 x2644+4096 x2643+2048 x2642+1024 x2641+512 x2640+256 x2639+128 x2638+64 x2637+32 x2636+16 x2635+8 x2634+4 x2633+2 x2632+1 x2631+536870912 x2630+268435456 x2629+134217728 x2628+67108864 x2627+33554432 x2626+16777216 x2625+8388608 x2624+4194304 x2623+2097152 x2622+1048576 x2621+524288 x2620+262144 x2619+131072 x2618+65536 x2617+32768 x2616+16384 x2615+8192 x2614+4096 x2613+2048 x2612+1024 x2611+512 x2610+256 x2609+128 x2608+64 x2607+32 x2606+16 x2605+8 x2604+4 x2603+2 x2602+1 x2601+536870912 ~x2360+268435456 ~x2359+134217728 ~x2358+67108864 ~x2357+33554432 ~x2356+16777216 ~x2355+8388608 ~x2354+4194304 ~x2353+2097152 ~x2352+1048576 ~x2351+524288 ~x2350+262144 ~x2349+131072 ~x2348+65536 ~x2347+32768 ~x2346+16384 ~x2345+8192 ~x2344+4096 ~x2343+2048 ~x2342+1024 ~x2341+512 ~x2340+256 ~x2339+128 ~x2338+64 ~x2337+32 ~x2336+16 ~x2335+8 ~x2334+4 ~x2333+2 ~x2332+1 ~x2331-0=7516233724
17.68/17.71	c 4294967296 ~x420337+2147483648 ~x420336+1073741824 ~x420335+536870912 ~x420334+268435456 ~x420333+134217728 ~x420332+67108864 ~x420331+33554432 ~x420330+16777216 ~x420329+8388608 ~x420328+4194304 ~x420327+2097152 ~x420326+1048576 ~x420325+524288 ~x420324+262144 ~x420323+131072 ~x420322+65536 ~x420321+32768 ~x420320+16384 ~x420319+8192 ~x420318+4096 ~x420317+2048 ~x420316+1024 ~x420315+512 ~x420314+256 ~x420313+128 ~x420312+64 ~x420311+32 ~x420310+16 ~x420309+8 ~x420308+4 ~x420307+2 ~x420306+1 ~x420305+536870912 x2750+268435456 x2749+134217728 x2748+67108864 x2747+33554432 x2746+16777216 x2745+8388608 x2744+4194304 x2743+2097152 x2742+1048576 x2741+524288 x2740+262144 x2739+131072 x2738+65536 x2737+32768 x2736+16384 x2735+8192 x2734+4096 x2733+2048 x2732+1024 x2731+512 x2730+256 x2729+128 x2728+64 x2727+32 x2726+16 x2725+8 x2724+4 x2723+2 x2722+1 x2721+536870912 x2720+268435456 x2719+134217728 x2718+67108864 x2717+33554432 x2716+16777216 x2715+8388608 x2714+4194304 x2713+2097152 x2712+1048576 x2711+524288 x2710+262144 x2709+131072 x2708+65536 x2707+32768 x2706+16384 x2705+8192 x2704+4096 x2703+2048 x2702+1024 x2701+512 x2700+256 x2699+128 x2698+64 x2697+32 x2696+16 x2695+8 x2694+4 x2693+2 x2692+1 x2691+536870912 ~x2600+268435456 ~x2599+134217728 ~x2598+67108864 ~x2597+33554432 ~x2596+16777216 ~x2595+8388608 ~x2594+4194304 ~x2593+2097152 ~x2592+1048576 ~x2591+524288 ~x2590+262144 ~x2589+131072 ~x2588+65536 ~x2587+32768 ~x2586+16384 ~x2585+8192 ~x2584+4096 ~x2583+2048 ~x2582+1024 ~x2581+512 ~x2580+256 ~x2579+128 ~x2578+64 ~x2577+32 ~x2576+16 ~x2575+8 ~x2574+4 ~x2573+2 ~x2572+1 ~x2571+536870912 ~x2570+268435456 ~x2569+134217728 ~x2568+67108864 ~x2567+33554432 ~x2566+16777216 ~x2565+8388608 ~x2564+4194304 ~x2563+2097152 ~x2562+1048576 ~x2561+524288 ~x2560+262144 ~x2559+131072 ~x2558+65536 ~x2557+32768 ~x2556+16384 ~x2555+8192 ~x2554+4096 ~x2553+2048 ~x2552+1024 ~x2551+512 ~x2550+256 ~x2549+128 ~x2548+64 ~x2547+32 ~x2546+16 ~x2545+8 ~x2544+4 ~x2543+2 ~x2542+1 ~x2541+536870912 ~x2540+268435456 ~x2539+134217728 ~x2538+67108864 ~x2537+33554432 ~x2536+16777216 ~x2535+8388608 ~x2534+4194304 ~x2533+2097152 ~x2532+1048576 ~x2531+524288 ~x2530+262144 ~x2529+131072 ~x2528+65536 ~x2527+32768 ~x2526+16384 ~x2525+8192 ~x2524+4096 ~x2523+2048 ~x2522+1024 ~x2521+512 ~x2520+256 ~x2519+128 ~x2518+64 ~x2517+32 ~x2516+16 ~x2515+8 ~x2514+4 ~x2513+2 ~x2512+1 ~x2511+536870912 ~x2480+268435456 ~x2479+134217728 ~x2478+67108864 ~x2477+33554432 ~x2476+16777216 ~x2475+8388608 ~x2474+4194304 ~x2473+2097152 ~x2472+1048576 ~x2471+524288 ~x2470+262144 ~x2469+131072 ~x2468+65536 ~x2467+32768 ~x2466+16384 ~x2465+8192 ~x2464+4096 ~x2463+2048 ~x2462+1024 ~x2461+512 ~x2460+256 ~x2459+128 ~x2458+64 ~x2457+32 ~x2456+16 ~x2455+8 ~x2454+4 ~x2453+2 ~x2452+1 ~x2451+536870912 ~x2270+268435456 ~x2269+134217728 ~x2268+67108864 ~x2267+33554432 ~x2266+16777216 ~x2265+8388608 ~x2264+4194304 ~x2263+2097152 ~x2262+1048576 ~x2261+524288 ~x2260+262144 ~x2259+131072 ~x2258+65536 ~x2257+32768 ~x2256+16384 ~x2255+8192 ~x2254+4096 ~x2253+2048 ~x2252+1024 ~x2251+512 ~x2250+256 ~x2249+128 ~x2248+64 ~x2247+32 ~x2246+16 ~x2245+8 ~x2244+4 ~x2243+2 ~x2242+1 ~x2241+536870912 ~x2240+268435456 ~x2239+134217728 ~x2238+67108864 ~x2237+33554432 ~x2236+16777216 ~x2235+8388608 ~x2234+4194304 ~x2233+2097152 ~x2232+1048576 ~x2231+524288 ~x2230+262144 ~x2229+131072 ~x2228+65536 ~x2227+32768 ~x2226+16384 ~x2225+8192 ~x2224+4096 ~x2223+2048 ~x2222+1024 ~x2221+512 ~x2220+256 ~x2219+128 ~x2218+64 ~x2217+32 ~x2216+16 ~x2215+8 ~x2214+4 ~x2213+2 ~x2212+1 ~x2211-0=15032497145
20.18/20.28	c 1073741824 ~x532950+536870912 ~x532949+268435456 ~x532948+134217728 ~x532947+67108864 ~x532946+33554432 ~x532945+16777216 ~x532944+8388608 ~x532943+4194304 ~x532942+2097152 ~x532941+1048576 ~x532940+524288 ~x532939+262144 ~x532938+131072 ~x532937+65536 ~x532936+32768 ~x532935+16384 ~x532934+8192 ~x532933+4096 ~x532932+2048 ~x532931+1024 ~x532930+512 ~x532929+256 ~x532928+128 ~x532927+64 ~x532926+32 ~x532925+16 ~x532924+8 ~x532923+4 ~x532922+2 ~x532921+1 ~x532920+536870912 ~x3200+268435456 ~x3199+134217728 ~x3198+67108864 ~x3197+33554432 ~x3196+16777216 ~x3195+8388608 ~x3194+4194304 ~x3193+2097152 ~x3192+1048576 ~x3191+524288 ~x3190+262144 ~x3189+131072 ~x3188+65536 ~x3187+32768 ~x3186+16384 ~x3185+8192 ~x3184+4096 ~x3183+2048 ~x3182+1024 ~x3181+512 ~x3180+256 ~x3179+128 ~x3178+64 ~x3177+32 ~x3176+16 ~x3175+8 ~x3174+4 ~x3173+2 ~x3172+1 ~x3171+536870912 x3020+268435456 x3019+134217728 x3018+67108864 x3017+33554432 x3016+16777216 x3015+8388608 x3014+4194304 x3013+2097152 x3012+1048576 x3011+524288 x3010+262144 x3009+131072 x3008+65536 x3007+32768 x3006+16384 x3005+8192 x3004+4096 x3003+2048 x3002+1024 x3001+512 x3000+256 x2999+128 x2998+64 x2997+32 x2996+16 x2995+8 x2994+4 x2993+2 x2992+1 x2991+536870912 x2990+268435456 x2989+134217728 x2988+67108864 x2987+33554432 x2986+16777216 x2985+8388608 x2984+4194304 x2983+2097152 x2982+1048576 x2981+524288 x2980+262144 x2979+131072 x2978+65536 x2977+32768 x2976+16384 x2975+8192 x2974+4096 x2973+2048 x2972+1024 x2971+512 x2970+256 x2969+128 x2968+64 x2967+32 x2966+16 x2965+8 x2964+4 x2963+2 x2962+1 x2961+536870912 x2960+268435456 x2959+134217728 x2958+67108864 x2957+33554432 x2956+16777216 x2955+8388608 x2954+4194304 x2953+2097152 x2952+1048576 x2951+524288 x2950+262144 x2949+131072 x2948+65536 x2947+32768 x2946+16384 x2945+8192 x2944+4096 x2943+2048 x2942+1024 x2941+512 x2940+256 x2939+128 x2938+64 x2937+32 x2936+16 x2935+8 x2934+4 x2933+2 x2932+1 x2931+536870912 x2930+268435456 x2929+134217728 x2928+67108864 x2927+33554432 x2926+16777216 x2925+8388608 x2924+4194304 x2923+2097152 x2922+1048576 x2921+524288 x2920+262144 x2919+131072 x2918+65536 x2917+32768 x2916+16384 x2915+8192 x2914+4096 x2913+2048 x2912+1024 x2911+512 x2910+256 x2909+128 x2908+64 x2907+32 x2906+16 x2905+8 x2904+4 x2903+2 x2902+1 x2901+536870912 x2900+268435456 x2899+134217728 x2898+67108864 x2897+33554432 x2896+16777216 x2895+8388608 x2894+4194304 x2893+2097152 x2892+1048576 x2891+524288 x2890+262144 x2889+131072 x2888+65536 x2887+32768 x2886+16384 x2885+8192 x2884+4096 x2883+2048 x2882+1024 x2881+512 x2880+256 x2879+128 x2878+64 x2877+32 x2876+16 x2875+8 x2874+4 x2873+2 x2872+1 x2871-0=3221848062
22.18/22.26	c 2147483648 ~x619338+1073741824 ~x619337+536870912 ~x619336+268435456 ~x619335+134217728 ~x619334+67108864 ~x619333+33554432 ~x619332+16777216 ~x619331+8388608 ~x619330+4194304 ~x619329+2097152 ~x619328+1048576 ~x619327+524288 ~x619326+262144 ~x619325+131072 ~x619324+65536 ~x619323+32768 ~x619322+16384 ~x619321+8192 ~x619320+4096 ~x619319+2048 ~x619318+1024 ~x619317+512 ~x619316+256 ~x619315+128 ~x619314+64 ~x619313+32 ~x619312+16 ~x619311+8 ~x619310+4 ~x619309+2 ~x619308+1 ~x619307+536870912 x3110+268435456 x3109+134217728 x3108+67108864 x3107+33554432 x3106+16777216 x3105+8388608 x3104+4194304 x3103+2097152 x3102+1048576 x3101+524288 x3100+262144 x3099+131072 x3098+65536 x3097+32768 x3096+16384 x3095+8192 x3094+4096 x3093+2048 x3092+1024 x3091+512 x3090+256 x3089+128 x3088+64 x3087+32 x3086+16 x3085+8 x3084+4 x3083+2 x3082+1 x3081+536870912 x3080+268435456 x3079+134217728 x3078+67108864 x3077+33554432 x3076+16777216 x3075+8388608 x3074+4194304 x3073+2097152 x3072+1048576 x3071+524288 x3070+262144 x3069+131072 x3068+65536 x3067+32768 x3066+16384 x3065+8192 x3064+4096 x3063+2048 x3062+1024 x3061+512 x3060+256 x3059+128 x3058+64 x3057+32 x3056+16 x3055+8 x3054+4 x3053+2 x3052+1 x3051+536870912 x3050+268435456 x3049+134217728 x3048+67108864 x3047+33554432 x3046+16777216 x3045+8388608 x3044+4194304 x3043+2097152 x3042+1048576 x3041+524288 x3040+262144 x3039+131072 x3038+65536 x3037+32768 x3036+16384 x3035+8192 x3034+4096 x3033+2048 x3032+1024 x3031+512 x3030+256 x3029+128 x3028+64 x3027+32 x3026+16 x3025+8 x3024+4 x3023+2 x3022+1 x3021+536870912 ~x2870+268435456 ~x2869+134217728 ~x2868+67108864 ~x2867+33554432 ~x2866+16777216 ~x2865+8388608 ~x2864+4194304 ~x2863+2097152 ~x2862+1048576 ~x2861+524288 ~x2860+262144 ~x2859+131072 ~x2858+65536 ~x2857+32768 ~x2856+16384 ~x2855+8192 ~x2854+4096 ~x2853+2048 ~x2852+1024 ~x2851+512 ~x2850+256 ~x2849+128 ~x2848+64 ~x2847+32 ~x2846+16 ~x2845+8 ~x2844+4 ~x2843+2 ~x2842+1 ~x2841+536870912 ~x2810+268435456 ~x2809+134217728 ~x2808+67108864 ~x2807+33554432 ~x2806+16777216 ~x2805+8388608 ~x2804+4194304 ~x2803+2097152 ~x2802+1048576 ~x2801+524288 ~x2800+262144 ~x2799+131072 ~x2798+65536 ~x2797+32768 ~x2796+16384 ~x2795+8192 ~x2794+4096 ~x2793+2048 ~x2792+1024 ~x2791+512 ~x2790+256 ~x2789+128 ~x2788+64 ~x2787+32 ~x2786+16 ~x2785+8 ~x2784+4 ~x2783+2 ~x2782+1 ~x2781+536870912 ~x2390+268435456 ~x2389+134217728 ~x2388+67108864 ~x2387+33554432 ~x2386+16777216 ~x2385+8388608 ~x2384+4194304 ~x2383+2097152 ~x2382+1048576 ~x2381+524288 ~x2380+262144 ~x2379+131072 ~x2378+65536 ~x2377+32768 ~x2376+16384 ~x2375+8192 ~x2374+4096 ~x2373+2048 ~x2372+1024 ~x2371+512 ~x2370+256 ~x2369+128 ~x2368+64 ~x2367+32 ~x2366+16 ~x2365+8 ~x2364+4 ~x2363+2 ~x2362+1 ~x2361-0=7516216316
24.19/24.26	c 32768 ~x706133+16384 ~x706132+8192 ~x706131+4096 ~x706130+2048 ~x706129+1024 ~x706128+512 ~x706127+256 ~x706126+128 ~x706125+64 ~x706124+32 ~x706123+16 ~x706122+8 ~x706121+4 ~x706120+2 ~x706119+1 ~x706118+32768 x3186+16384 x3185+8192 x3184+4096 x3183+2048 x3182+1024 x3181+512 x3180+256 x3179+128 x3178+64 x3177+32 x3176+16 x3175+8 x3174+4 x3173+2 x3172+1 x3171+32768 x3156+16384 x3155+8192 x3154+4096 x3153+2048 x3152+1024 x3151+512 x3150+256 x3149+128 x3148+64 x3147+32 x3146+16 x3145+8 x3144+4 x3143+2 x3142+1 x3141+32768 x3126+16384 x3125+8192 x3124+4096 x3123+2048 x3122+1024 x3121+512 x3120+256 x3119+128 x3118+64 x3117+32 x3116+16 x3115+8 x3114+4 x3113+2 x3112+1 x3111-0=99327
24.47/24.50	c 131072 ~x716303+65536 ~x716302+32768 ~x716301+16384 ~x716300+8192 ~x716299+4096 ~x716298+2048 ~x716297+1024 ~x716296+512 ~x716295+256 ~x716294+128 ~x716293+64 ~x716292+32 ~x716291+16 ~x716290+8 ~x716289+4 ~x716288+2 ~x716287+1 ~x716286+131072 x3248+65536 x3247+32768 x3246+16384 x3245+8192 x3244+4096 x3243+2048 x3242+1024 x3241+512 x3240+256 x3239+128 x3238+64 x3237+32 x3236+16 x3235+8 x3234+4 x3233+2 x3232+1 x3231+131072 x3218+65536 x3217+32768 x3216+16384 x3215+8192 x3214+4096 x3213+2048 x3212+1024 x3211+512 x3210+256 x3209+128 x3208+64 x3207+32 x3206+16 x3205+8 x3204+4 x3203+2 x3202+1 x3201-0=459775
24.67/24.74	c 8192 ~x726407+4096 ~x726406+2048 ~x726405+1024 ~x726404+512 ~x726403+256 ~x726402+128 ~x726401+64 ~x726400+32 ~x726399+16 ~x726398+8 ~x726397+4 ~x726396+2 ~x726395+1 ~x726394+8192 x3304+4096 x3303+2048 x3302+1024 x3301+512 x3300+256 x3299+128 x3298+64 x3297+32 x3296+16 x3295+8 x3294+4 x3293+2 x3292+1 x3291+8192 x3274+4096 x3273+2048 x3272+1024 x3271+512 x3270+256 x3269+128 x3268+64 x3267+32 x3266+16 x3265+8 x3264+4 x3263+2 x3262+1 x3261-0=25599
24.77/24.88	c 16384 ~x732192+8192 ~x732191+4096 ~x732190+2048 ~x732189+1024 ~x732188+512 ~x732187+256 ~x732186+128 ~x732185+64 ~x732184+32 ~x732183+16 ~x732182+8 ~x732181+4 ~x732180+2 ~x732179+1 ~x732178+16384 x3395+8192 x3394+4096 x3393+2048 x3392+1024 x3391+512 x3390+256 x3389+128 x3388+64 x3387+32 x3386+16 x3385+8 x3384+4 x3383+2 x3382+1 x3381+16384 x3365+8192 x3364+4096 x3363+2048 x3362+1024 x3361+512 x3360+256 x3359+128 x3358+64 x3357+32 x3356+16 x3355+8 x3354+4 x3353+2 x3352+1 x3351-0=57343
24.98/25.05	c 4294967296 ~x738855+2147483648 ~x738854+1073741824 ~x738853+536870912 ~x738852+268435456 ~x738851+134217728 ~x738850+67108864 ~x738849+33554432 ~x738848+16777216 ~x738847+8388608 ~x738846+4194304 ~x738845+2097152 ~x738844+1048576 ~x738843+524288 ~x738842+262144 ~x738841+131072 ~x738840+65536 ~x738839+32768 ~x738838+16384 ~x738837+8192 ~x738836+4096 ~x738835+2048 ~x738834+1024 ~x738833+512 ~x738832+256 ~x738831+128 ~x738830+64 ~x738829+32 ~x738828+16 ~x738827+8 ~x738826+4 ~x738825+2 ~x738824+1 ~x738823+536870912 ~x3620+268435456 ~x3619+134217728 ~x3618+67108864 ~x3617+33554432 ~x3616+16777216 ~x3615+8388608 ~x3614+4194304 ~x3613+2097152 ~x3612+1048576 ~x3611+524288 ~x3610+262144 ~x3609+131072 ~x3608+65536 ~x3607+32768 ~x3606+16384 ~x3605+8192 ~x3604+4096 ~x3603+2048 ~x3602+1024 ~x3601+512 ~x3600+256 ~x3599+128 ~x3598+64 ~x3597+32 ~x3596+16 ~x3595+8 ~x3594+4 ~x3593+2 ~x3592+1 ~x3591+536870912 ~x3590+268435456 ~x3589+134217728 ~x3588+67108864 ~x3587+33554432 ~x3586+16777216 ~x3585+8388608 ~x3584+4194304 ~x3583+2097152 ~x3582+1048576 ~x3581+524288 ~x3580+262144 ~x3579+131072 ~x3578+65536 ~x3577+32768 ~x3576+16384 ~x3575+8192 ~x3574+4096 ~x3573+2048 ~x3572+1024 ~x3571+512 ~x3570+256 ~x3569+128 ~x3568+64 ~x3567+32 ~x3566+16 ~x3565+8 ~x3564+4 ~x3563+2 ~x3562+1 ~x3561+536870912 ~x3560+268435456 ~x3559+134217728 ~x3558+67108864 ~x3557+33554432 ~x3556+16777216 ~x3555+8388608 ~x3554+4194304 ~x3553+2097152 ~x3552+1048576 ~x3551+524288 ~x3550+262144 ~x3549+131072 ~x3548+65536 ~x3547+32768 ~x3546+16384 ~x3545+8192 ~x3544+4096 ~x3543+2048 ~x3542+1024 ~x3541+512 ~x3540+256 ~x3539+128 ~x3538+64 ~x3537+32 ~x3536+16 ~x3535+8 ~x3534+4 ~x3533+2 ~x3532+1 ~x3531+536870912 x3500+268435456 x3499+134217728 x3498+67108864 x3497+33554432 x3496+16777216 x3495+8388608 x3494+4194304 x3493+2097152 x3492+1048576 x3491+524288 x3490+262144 x3489+131072 x3488+65536 x3487+32768 x3486+16384 x3485+8192 x3484+4096 x3483+2048 x3482+1024 x3481+512 x3480+256 x3479+128 x3478+64 x3477+32 x3476+16 x3475+8 x3474+4 x3473+2 x3472+1 x3471+536870912 x3470+268435456 x3469+134217728 x3468+67108864 x3467+33554432 x3466+16777216 x3465+8388608 x3464+4194304 x3463+2097152 x3462+1048576 x3461+524288 x3460+262144 x3459+131072 x3458+65536 x3457+32768 x3456+16384 x3455+8192 x3454+4096 x3453+2048 x3452+1024 x3451+512 x3450+256 x3449+128 x3448+64 x3447+32 x3446+16 x3445+8 x3444+4 x3443+2 x3442+1 x3441+536870912 ~x3440+268435456 ~x3439+134217728 ~x3438+67108864 ~x3437+33554432 ~x3436+16777216 ~x3435+8388608 ~x3434+4194304 ~x3433+2097152 ~x3432+1048576 ~x3431+524288 ~x3430+262144 ~x3429+131072 ~x3428+65536 ~x3427+32768 ~x3426+16384 ~x3425+8192 ~x3424+4096 ~x3423+2048 ~x3422+1024 ~x3421+512 ~x3420+256 ~x3419+128 ~x3418+64 ~x3417+32 ~x3416+16 ~x3415+8 ~x3414+4 ~x3413+2 ~x3412+1 ~x3411+536870912 ~x3350+268435456 ~x3349+134217728 ~x3348+67108864 ~x3347+33554432 ~x3346+16777216 ~x3345+8388608 ~x3344+4194304 ~x3343+2097152 ~x3342+1048576 ~x3341+524288 ~x3340+262144 ~x3339+131072 ~x3338+65536 ~x3337+32768 ~x3336+16384 ~x3335+8192 ~x3334+4096 ~x3333+2048 ~x3332+1024 ~x3331+512 ~x3330+256 ~x3329+128 ~x3328+64 ~x3327+32 ~x3326+16 ~x3325+8 ~x3324+4 ~x3323+2 ~x3322+1 ~x3321-0=13958690810
27.28/27.35	c 1073741824 ~x838778+536870912 ~x838777+268435456 ~x838776+134217728 ~x838775+67108864 ~x838774+33554432 ~x838773+16777216 ~x838772+8388608 ~x838771+4194304 ~x838770+2097152 ~x838769+1048576 ~x838768+524288 ~x838767+262144 ~x838766+131072 ~x838765+65536 ~x838764+32768 ~x838763+16384 ~x838762+8192 ~x838761+4096 ~x838760+2048 ~x838759+1024 ~x838758+512 ~x838757+256 ~x838756+128 ~x838755+64 ~x838754+32 ~x838753+16 ~x838752+8 ~x838751+4 ~x838750+2 ~x838749+1 ~x838748+536870912 x3530+268435456 x3529+134217728 x3528+67108864 x3527+33554432 x3526+16777216 x3525+8388608 x3524+4194304 x3523+2097152 x3522+1048576 x3521+524288 x3520+262144 x3519+131072 x3518+65536 x3517+32768 x3516+16384 x3515+8192 x3514+4096 x3513+2048 x3512+1024 x3511+512 x3510+256 x3509+128 x3508+64 x3507+32 x3506+16 x3505+8 x3504+4 x3503+2 x3502+1 x3501+536870912 ~x2240+268435456 ~x2239+134217728 ~x2238+67108864 ~x2237+33554432 ~x2236+16777216 ~x2235+8388608 ~x2234+4194304 ~x2233+2097152 ~x2232+1048576 ~x2231+524288 ~x2230+262144 ~x2229+131072 ~x2228+65536 ~x2227+32768 ~x2226+16384 ~x2225+8192 ~x2224+4096 ~x2223+2048 ~x2222+1024 ~x2221+512 ~x2220+256 ~x2219+128 ~x2218+64 ~x2217+32 ~x2216+16 ~x2215+8 ~x2214+4 ~x2213+2 ~x2212+1 ~x2211-0=3221474302
28.07/28.16	c 16384 ~x874389+8192 ~x874388+4096 ~x874387+2048 ~x874386+1024 ~x874385+512 ~x874384+256 ~x874383+128 ~x874382+64 ~x874381+32 ~x874380+16 ~x874379+8 ~x874378+4 ~x874377+2 ~x874376+1 ~x874375+16384 x3605+8192 x3604+4096 x3603+2048 x3602+1024 x3601+512 x3600+256 x3599+128 x3598+64 x3597+32 x3596+16 x3595+8 x3594+4 x3593+2 x3592+1 x3591-0=56319
28.17/28.28	c 4294967296 ~x878284+2147483648 ~x878283+1073741824 ~x878282+536870912 ~x878281+268435456 ~x878280+134217728 ~x878279+67108864 ~x878278+33554432 ~x878277+16777216 ~x878276+8388608 ~x878275+4194304 ~x878274+2097152 ~x878273+1048576 ~x878272+524288 ~x878271+262144 ~x878270+131072 ~x878269+65536 ~x878268+32768 ~x878267+16384 ~x878266+8192 ~x878265+4096 ~x878264+2048 ~x878263+1024 ~x878262+512 ~x878261+256 ~x878260+128 ~x878259+64 ~x878258+32 ~x878257+16 ~x878256+8 ~x878255+4 ~x878254+2 ~x878253+1 ~x878252+536870912 ~x4220+268435456 ~x4219+134217728 ~x4218+67108864 ~x4217+33554432 ~x4216+16777216 ~x4215+8388608 ~x4214+4194304 ~x4213+2097152 ~x4212+1048576 ~x4211+524288 ~x4210+262144 ~x4209+131072 ~x4208+65536 ~x4207+32768 ~x4206+16384 ~x4205+8192 ~x4204+4096 ~x4203+2048 ~x4202+1024 ~x4201+512 ~x4200+256 ~x4199+128 ~x4198+64 ~x4197+32 ~x4196+16 ~x4195+8 ~x4194+4 ~x4193+2 ~x4192+1 ~x4191+536870912 ~x3980+268435456 ~x3979+134217728 ~x3978+67108864 ~x3977+33554432 ~x3976+16777216 ~x3975+8388608 ~x3974+4194304 ~x3973+2097152 ~x3972+1048576 ~x3971+524288 ~x3970+262144 ~x3969+131072 ~x3968+65536 ~x3967+32768 ~x3966+16384 ~x3965+8192 ~x3964+4096 ~x3963+2048 ~x3962+1024 ~x3961+512 ~x3960+256 ~x3959+128 ~x3958+64 ~x3957+32 ~x3956+16 ~x3955+8 ~x3954+4 ~x3953+2 ~x3952+1 ~x3951+536870912 ~x3920+268435456 ~x3919+134217728 ~x3918+67108864 ~x3917+33554432 ~x3916+16777216 ~x3915+8388608 ~x3914+4194304 ~x3913+2097152 ~x3912+1048576 ~x3911+524288 ~x3910+262144 ~x3909+131072 ~x3908+65536 ~x3907+32768 ~x3906+16384 ~x3905+8192 ~x3904+4096 ~x3903+2048 ~x3902+1024 ~x3901+512 ~x3900+256 ~x3899+128 ~x3898+64 ~x3897+32 ~x3896+16 ~x3895+8 ~x3894+4 ~x3893+2 ~x3892+1 ~x3891+536870912 x3740+268435456 x3739+134217728 x3738+67108864 x3737+33554432 x3736+16777216 x3735+8388608 x3734+4194304 x3733+2097152 x3732+1048576 x3731+524288 x3730+262144 x3729+131072 x3728+65536 x3727+32768 x3726+16384 x3725+8192 x3724+4096 x3723+2048 x3722+1024 x3721+512 x3720+256 x3719+128 x3718+64 x3717+32 x3716+16 x3715+8 x3714+4 x3713+2 x3712+1 x3711+536870912 x3710+268435456 x3709+134217728 x3708+67108864 x3707+33554432 x3706+16777216 x3705+8388608 x3704+4194304 x3703+2097152 x3702+1048576 x3701+524288 x3700+262144 x3699+131072 x3698+65536 x3697+32768 x3696+16384 x3695+8192 x3694+4096 x3693+2048 x3692+1024 x3691+512 x3690+256 x3689+128 x3688+64 x3687+32 x3686+16 x3685+8 x3684+4 x3683+2 x3682+1 x3681+536870912 x3680+268435456 x3679+134217728 x3678+67108864 x3677+33554432 x3676+16777216 x3675+8388608 x3674+4194304 x3673+2097152 x3672+1048576 x3671+524288 x3670+262144 x3669+131072 x3668+65536 x3667+32768 x3666+16384 x3665+8192 x3664+4096 x3663+2048 x3662+1024 x3661+512 x3660+256 x3659+128 x3658+64 x3657+32 x3656+16 x3655+8 x3654+4 x3653+2 x3652+1 x3651+536870912 x3650+268435456 x3649+134217728 x3648+67108864 x3647+33554432 x3646+16777216 x3645+8388608 x3644+4194304 x3643+2097152 x3642+1048576 x3641+524288 x3640+262144 x3639+131072 x3638+65536 x3637+32768 x3636+16384 x3635+8192 x3634+4096 x3633+2048 x3632+1024 x3631+512 x3630+256 x3629+128 x3628+64 x3627+32 x3626+16 x3625+8 x3624+4 x3623+2 x3622+1 x3621+536870912 ~x3320+268435456 ~x3319+134217728 ~x3318+67108864 ~x3317+33554432 ~x3316+16777216 ~x3315+8388608 ~x3314+4194304 ~x3313+2097152 ~x3312+1048576 ~x3311+524288 ~x3310+262144 ~x3309+131072 ~x3308+65536 ~x3307+32768 ~x3306+16384 ~x3305+8192 ~x3304+4096 ~x3303+2048 ~x3302+1024 ~x3301+512 ~x3300+256 ~x3299+128 ~x3298+64 ~x3297+32 ~x3296+16 ~x3295+8 ~x3294+4 ~x3293+2 ~x3292+1 ~x3291-0=12885175291
30.78/30.84	c 16384 ~x990881+8192 ~x990880+4096 ~x990879+2048 ~x990878+1024 ~x990877+512 ~x990876+256 ~x990875+128 ~x990874+64 ~x990873+32 ~x990872+16 ~x990871+8 ~x990870+4 ~x990869+2 ~x990868+1 ~x990867+16384 x3905+8192 x3904+4096 x3903+2048 x3902+1024 x3901+512 x3900+256 x3899+128 x3898+64 x3897+32 x3896+16 x3895+8 x3894+4 x3893+2 x3892+1 x3891+16384 x3875+8192 x3874+4096 x3873+2048 x3872+1024 x3871+512 x3870+256 x3869+128 x3868+64 x3867+32 x3866+16 x3865+8 x3864+4 x3863+2 x3862+1 x3861+16384 x3845+8192 x3844+4096 x3843+2048 x3842+1024 x3841+512 x3840+256 x3839+128 x3838+64 x3837+32 x3836+16 x3835+8 x3834+4 x3833+2 x3832+1 x3831+16384 x3815+8192 x3814+4096 x3813+2048 x3812+1024 x3811+512 x3810+256 x3809+128 x3808+64 x3807+32 x3806+16 x3805+8 x3804+4 x3803+2 x3802+1 x3801-0=54271
31.08/31.11	c 8192 ~x1002565+4096 ~x1002564+2048 ~x1002563+1024 ~x1002562+512 ~x1002561+256 ~x1002560+128 ~x1002559+64 ~x1002558+32 ~x1002557+16 ~x1002556+8 ~x1002555+4 ~x1002554+2 ~x1002553+1 ~x1002552+8192 x3964+4096 x3963+2048 x3962+1024 x3961+512 x3960+256 x3959+128 x3958+64 x3957+32 x3956+16 x3955+8 x3954+4 x3953+2 x3952+1 x3951+8192 x3934+4096 x3933+2048 x3932+1024 x3931+512 x3930+256 x3929+128 x3928+64 x3927+32 x3926+16 x3925+8 x3924+4 x3923+2 x3922+1 x3921-0=30719
31.18/31.28	c 4294967296 ~x1008368+2147483648 ~x1008367+1073741824 ~x1008366+536870912 ~x1008365+268435456 ~x1008364+134217728 ~x1008363+67108864 ~x1008362+33554432 ~x1008361+16777216 ~x1008360+8388608 ~x1008359+4194304 ~x1008358+2097152 ~x1008357+1048576 ~x1008356+524288 ~x1008355+262144 ~x1008354+131072 ~x1008353+65536 ~x1008352+32768 ~x1008351+16384 ~x1008350+8192 ~x1008349+4096 ~x1008348+2048 ~x1008347+1024 ~x1008346+512 ~x1008345+256 ~x1008344+128 ~x1008343+64 ~x1008342+32 ~x1008341+16 ~x1008340+8 ~x1008339+4 ~x1008338+2 ~x1008337+1 ~x1008336+536870912 ~x4340+268435456 ~x4339+134217728 ~x4338+67108864 ~x4337+33554432 ~x4336+16777216 ~x4335+8388608 ~x4334+4194304 ~x4333+2097152 ~x4332+1048576 ~x4331+524288 ~x4330+262144 ~x4329+131072 ~x4328+65536 ~x4327+32768 ~x4326+16384 ~x4325+8192 ~x4324+4096 ~x4323+2048 ~x4322+1024 ~x4321+512 ~x4320+256 ~x4319+128 ~x4318+64 ~x4317+32 ~x4316+16 ~x4315+8 ~x4314+4 ~x4313+2 ~x4312+1 ~x4311+536870912 x4130+268435456 x4129+134217728 x4128+67108864 x4127+33554432 x4126+16777216 x4125+8388608 x4124+4194304 x4123+2097152 x4122+1048576 x4121+524288 x4120+262144 x4119+131072 x4118+65536 x4117+32768 x4116+16384 x4115+8192 x4114+4096 x4113+2048 x4112+1024 x4111+512 x4110+256 x4109+128 x4108+64 x4107+32 x4106+16 x4105+8 x4104+4 x4103+2 x4102+1 x4101+536870912 x4100+268435456 x4099+134217728 x4098+67108864 x4097+33554432 x4096+16777216 x4095+8388608 x4094+4194304 x4093+2097152 x4092+1048576 x4091+524288 x4090+262144 x4089+131072 x4088+65536 x4087+32768 x4086+16384 x4085+8192 x4084+4096 x4083+2048 x4082+1024 x4081+512 x4080+256 x4079+128 x4078+64 x4077+32 x4076+16 x4075+8 x4074+4 x4073+2 x4072+1 x4071+536870912 x4070+268435456 x4069+134217728 x4068+67108864 x4067+33554432 x4066+16777216 x4065+8388608 x4064+4194304 x4063+2097152 x4062+1048576 x4061+524288 x4060+262144 x4059+131072 x4058+65536 x4057+32768 x4056+16384 x4055+8192 x4054+4096 x4053+2048 x4052+1024 x4051+512 x4050+256 x4049+128 x4048+64 x4047+32 x4046+16 x4045+8 x4044+4 x4043+2 x4042+1 x4041+536870912 ~x4040+268435456 ~x4039+134217728 ~x4038+67108864 ~x4037+33554432 ~x4036+16777216 ~x4035+8388608 ~x4034+4194304 ~x4033+2097152 ~x4032+1048576 ~x4031+524288 ~x4030+262144 ~x4029+131072 ~x4028+65536 ~x4027+32768 ~x4026+16384 ~x4025+8192 ~x4024+4096 ~x4023+2048 ~x4022+1024 ~x4021+512 ~x4020+256 ~x4019+128 ~x4018+64 ~x4017+32 ~x4016+16 ~x4015+8 ~x4014+4 ~x4013+2 ~x4012+1 ~x4011+536870912 ~x3800+268435456 ~x3799+134217728 ~x3798+67108864 ~x3797+33554432 ~x3796+16777216 ~x3795+8388608 ~x3794+4194304 ~x3793+2097152 ~x3792+1048576 ~x3791+524288 ~x3790+262144 ~x3789+131072 ~x3788+65536 ~x3787+32768 ~x3786+16384 ~x3785+8192 ~x3784+4096 ~x3783+2048 ~x3782+1024 ~x3781+512 ~x3780+256 ~x3779+128 ~x3778+64 ~x3777+32 ~x3776+16 ~x3775+8 ~x3774+4 ~x3773+2 ~x3772+1 ~x3771+536870912 ~x2360+268435456 ~x2359+134217728 ~x2358+67108864 ~x2357+33554432 ~x2356+16777216 ~x2355+8388608 ~x2354+4194304 ~x2353+2097152 ~x2352+1048576 ~x2351+524288 ~x2350+262144 ~x2349+131072 ~x2348+65536 ~x2347+32768 ~x2346+16384 ~x2345+8192 ~x2344+4096 ~x2343+2048 ~x2342+1024 ~x2341+512 ~x2340+256 ~x2339+128 ~x2338+64 ~x2337+32 ~x2336+16 ~x2335+8 ~x2334+4 ~x2333+2 ~x2332+1 ~x2331-0=12885004283
33.47/33.56	c 16384 ~x1108275+8192 ~x1108274+4096 ~x1108273+2048 ~x1108272+1024 ~x1108271+512 ~x1108270+256 ~x1108269+128 ~x1108268+64 ~x1108267+32 ~x1108266+16 ~x1108265+8 ~x1108264+4 ~x1108263+2 ~x1108262+1 ~x1108261+16384 x4205+8192 x4204+4096 x4203+2048 x4202+1024 x4201+512 x4200+256 x4199+128 x4198+64 x4197+32 x4196+16 x4195+8 x4194+4 x4193+2 x4192+1 x4191+16384 x4175+8192 x4174+4096 x4173+2048 x4172+1024 x4171+512 x4170+256 x4169+128 x4168+64 x4167+32 x4166+16 x4165+8 x4164+4 x4163+2 x4162+1 x4161+16384 x4145+8192 x4144+4096 x4143+2048 x4142+1024 x4141+512 x4140+256 x4139+128 x4138+64 x4137+32 x4136+16 x4135+8 x4134+4 x4133+2 x4132+1 x4131-0=64511
33.68/33.77	c 32768 ~x1117441+16384 ~x1117440+8192 ~x1117439+4096 ~x1117438+2048 ~x1117437+1024 ~x1117436+512 ~x1117435+256 ~x1117434+128 ~x1117433+64 ~x1117432+32 ~x1117431+16 ~x1117430+8 ~x1117429+4 ~x1117428+2 ~x1117427+1 ~x1117426+32768 x4236+16384 x4235+8192 x4234+4096 x4233+2048 x4232+1024 x4231+512 x4230+256 x4229+128 x4228+64 x4227+32 x4226+16 x4225+8 x4224+4 x4223+2 x4222+1 x4221-0=101375
33.78/33.90	c 4294967296 ~x1121920+2147483648 ~x1121919+1073741824 ~x1121918+536870912 ~x1121917+268435456 ~x1121916+134217728 ~x1121915+67108864 ~x1121914+33554432 ~x1121913+16777216 ~x1121912+8388608 ~x1121911+4194304 ~x1121910+2097152 ~x1121909+1048576 ~x1121908+524288 ~x1121907+262144 ~x1121906+131072 ~x1121905+65536 ~x1121904+32768 ~x1121903+16384 ~x1121902+8192 ~x1121901+4096 ~x1121900+2048 ~x1121899+1024 ~x1121898+512 ~x1121897+256 ~x1121896+128 ~x1121895+64 ~x1121894+32 ~x1121893+16 ~x1121892+8 ~x1121891+4 ~x1121890+2 ~x1121889+1 ~x1121888+536870912 ~x4400+268435456 ~x4399+134217728 ~x4398+67108864 ~x4397+33554432 ~x4396+16777216 ~x4395+8388608 ~x4394+4194304 ~x4393+2097152 ~x4392+1048576 ~x4391+524288 ~x4390+262144 ~x4389+131072 ~x4388+65536 ~x4387+32768 ~x4386+16384 ~x4385+8192 ~x4384+4096 ~x4383+2048 ~x4382+1024 ~x4381+512 ~x4380+256 ~x4379+128 ~x4378+64 ~x4377+32 ~x4376+16 ~x4375+8 ~x4374+4 ~x4373+2 ~x4372+1 ~x4371+536870912 ~x4370+268435456 ~x4369+134217728 ~x4368+67108864 ~x4367+33554432 ~x4366+16777216 ~x4365+8388608 ~x4364+4194304 ~x4363+2097152 ~x4362+1048576 ~x4361+524288 ~x4360+262144 ~x4359+131072 ~x4358+65536 ~x4357+32768 ~x4356+16384 ~x4355+8192 ~x4354+4096 ~x4353+2048 ~x4352+1024 ~x4351+512 ~x4350+256 ~x4349+128 ~x4348+64 ~x4347+32 ~x4346+16 ~x4345+8 ~x4344+4 ~x4343+2 ~x4342+1 ~x4341+536870912 x4340+268435456 x4339+134217728 x4338+67108864 x4337+33554432 x4336+16777216 x4335+8388608 x4334+4194304 x4333+2097152 x4332+1048576 x4331+524288 x4330+262144 x4329+131072 x4328+65536 x4327+32768 x4326+16384 x4325+8192 x4324+4096 x4323+2048 x4322+1024 x4321+512 x4320+256 x4319+128 x4318+64 x4317+32 x4316+16 x4315+8 x4314+4 x4313+2 x4312+1 x4311+536870912 x4310+268435456 x4309+134217728 x4308+67108864 x4307+33554432 x4306+16777216 x4305+8388608 x4304+4194304 x4303+2097152 x4302+1048576 x4301+524288 x4300+262144 x4299+131072 x4298+65536 x4297+32768 x4296+16384 x4295+8192 x4294+4096 x4293+2048 x4292+1024 x4291+512 x4290+256 x4289+128 x4288+64 x4287+32 x4286+16 x4285+8 x4284+4 x4283+2 x4282+1 x4281+536870912 x4280+268435456 x4279+134217728 x4278+67108864 x4277+33554432 x4276+16777216 x4275+8388608 x4274+4194304 x4273+2097152 x4272+1048576 x4271+524288 x4270+262144 x4269+131072 x4268+65536 x4267+32768 x4266+16384 x4265+8192 x4264+4096 x4263+2048 x4262+1024 x4261+512 x4260+256 x4259+128 x4258+64 x4257+32 x4256+16 x4255+8 x4254+4 x4253+2 x4252+1 x4251+536870912 ~x4250+268435456 ~x4249+134217728 ~x4248+67108864 ~x4247+33554432 ~x4246+16777216 ~x4245+8388608 ~x4244+4194304 ~x4243+2097152 ~x4242+1048576 ~x4241+524288 ~x4240+262144 ~x4239+131072 ~x4238+65536 ~x4237+32768 ~x4236+16384 ~x4235+8192 ~x4234+4096 ~x4233+2048 ~x4232+1024 ~x4231+512 ~x4230+256 ~x4229+128 ~x4228+64 ~x4227+32 ~x4226+16 ~x4225+8 ~x4224+4 ~x4223+2 ~x4222+1 ~x4221+536870912 ~x2390+268435456 ~x2389+134217728 ~x2388+67108864 ~x2387+33554432 ~x2386+16777216 ~x2385+8388608 ~x2384+4194304 ~x2383+2097152 ~x2382+1048576 ~x2381+524288 ~x2380+262144 ~x2379+131072 ~x2378+65536 ~x2377+32768 ~x2376+16384 ~x2375+8192 ~x2374+4096 ~x2373+2048 ~x2372+1024 ~x2371+512 ~x2370+256 ~x2369+128 ~x2368+64 ~x2367+32 ~x2366+16 ~x2365+8 ~x2364+4 ~x2363+2 ~x2362+1 ~x2361-0=12884963323
36.08/36.18	c 16384 ~x1221827+8192 ~x1221826+4096 ~x1221825+2048 ~x1221824+1024 ~x1221823+512 ~x1221822+256 ~x1221821+128 ~x1221820+64 ~x1221819+32 ~x1221818+16 ~x1221817+8 ~x1221816+4 ~x1221815+2 ~x1221814+1 ~x1221813+16384 x4385+8192 x4384+4096 x4383+2048 x4382+1024 x4381+512 x4380+256 x4379+128 x4378+64 x4377+32 x4376+16 x4375+8 x4374+4 x4373+2 x4372+1 x4371-0=54271
36.18/36.28	c 2147483648 ~x1225721+1073741824 ~x1225720+536870912 ~x1225719+268435456 ~x1225718+134217728 ~x1225717+67108864 ~x1225716+33554432 ~x1225715+16777216 ~x1225714+8388608 ~x1225713+4194304 ~x1225712+2097152 ~x1225711+1048576 ~x1225710+524288 ~x1225709+262144 ~x1225708+131072 ~x1225707+65536 ~x1225706+32768 ~x1225705+16384 ~x1225704+8192 ~x1225703+4096 ~x1225702+2048 ~x1225701+1024 ~x1225700+512 ~x1225699+256 ~x1225698+128 ~x1225697+64 ~x1225696+32 ~x1225695+16 ~x1225694+8 ~x1225693+4 ~x1225692+2 ~x1225691+1 ~x1225690+536870912 ~x4580+268435456 ~x4579+134217728 ~x4578+67108864 ~x4577+33554432 ~x4576+16777216 ~x4575+8388608 ~x4574+4194304 ~x4573+2097152 ~x4572+1048576 ~x4571+524288 ~x4570+262144 ~x4569+131072 ~x4568+65536 ~x4567+32768 ~x4566+16384 ~x4565+8192 ~x4564+4096 ~x4563+2048 ~x4562+1024 ~x4561+512 ~x4560+256 ~x4559+128 ~x4558+64 ~x4557+32 ~x4556+16 ~x4555+8 ~x4554+4 ~x4553+2 ~x4552+1 ~x4551+536870912 ~x4520+268435456 ~x4519+134217728 ~x4518+67108864 ~x4517+33554432 ~x4516+16777216 ~x4515+8388608 ~x4514+4194304 ~x4513+2097152 ~x4512+1048576 ~x4511+524288 ~x4510+262144 ~x4509+131072 ~x4508+65536 ~x4507+32768 ~x4506+16384 ~x4505+8192 ~x4504+4096 ~x4503+2048 ~x4502+1024 ~x4501+512 ~x4500+256 ~x4499+128 ~x4498+64 ~x4497+32 ~x4496+16 ~x4495+8 ~x4494+4 ~x4493+2 ~x4492+1 ~x4491+536870912 ~x4490+268435456 ~x4489+134217728 ~x4488+67108864 ~x4487+33554432 ~x4486+16777216 ~x4485+8388608 ~x4484+4194304 ~x4483+2097152 ~x4482+1048576 ~x4481+524288 ~x4480+262144 ~x4479+131072 ~x4478+65536 ~x4477+32768 ~x4476+16384 ~x4475+8192 ~x4474+4096 ~x4473+2048 ~x4472+1024 ~x4471+512 ~x4470+256 ~x4469+128 ~x4468+64 ~x4467+32 ~x4466+16 ~x4465+8 ~x4464+4 ~x4463+2 ~x4462+1 ~x4461+536870912 x4460+268435456 x4459+134217728 x4458+67108864 x4457+33554432 x4456+16777216 x4455+8388608 x4454+4194304 x4453+2097152 x4452+1048576 x4451+524288 x4450+262144 x4449+131072 x4448+65536 x4447+32768 x4446+16384 x4445+8192 x4444+4096 x4443+2048 x4442+1024 x4441+512 x4440+256 x4439+128 x4438+64 x4437+32 x4436+16 x4435+8 x4434+4 x4433+2 x4432+1 x4431+536870912 x4430+268435456 x4429+134217728 x4428+67108864 x4427+33554432 x4426+16777216 x4425+8388608 x4424+4194304 x4423+2097152 x4422+1048576 x4421+524288 x4420+262144 x4419+131072 x4418+65536 x4417+32768 x4416+16384 x4415+8192 x4414+4096 x4413+2048 x4412+1024 x4411+512 x4410+256 x4409+128 x4408+64 x4407+32 x4406+16 x4405+8 x4404+4 x4403+2 x4402+1 x4401-0=7516532732
37.97/38.00	c 32768 ~x1299826+16384 ~x1299825+8192 ~x1299824+4096 ~x1299823+2048 ~x1299822+1024 ~x1299821+512 ~x1299820+256 ~x1299819+128 ~x1299818+64 ~x1299817+32 ~x1299816+16 ~x1299815+8 ~x1299814+4 ~x1299813+2 ~x1299812+1 ~x1299811+32768 x4566+16384 x4565+8192 x4564+4096 x4563+2048 x4562+1024 x4561+512 x4560+256 x4559+128 x4558+64 x4557+32 x4556+16 x4555+8 x4554+4 x4553+2 x4552+1 x4551+32768 x4536+16384 x4535+8192 x4534+4096 x4533+2048 x4532+1024 x4531+512 x4530+256 x4529+128 x4528+64 x4527+32 x4526+16 x4525+8 x4524+4 x4523+2 x4522+1 x4521-0=99327
38.07/38.17	c 8192 ~x1306974+4096 ~x1306973+2048 ~x1306972+1024 ~x1306971+512 ~x1306970+256 ~x1306969+128 ~x1306968+64 ~x1306967+32 ~x1306966+16 ~x1306965+8 ~x1306964+4 ~x1306963+2 ~x1306962+1 ~x1306961+8192 x4654+4096 x4653+2048 x4652+1024 x4651+512 x4650+256 x4649+128 x4648+64 x4647+32 x4646+16 x4645+8 x4644+4 x4643+2 x4642+1 x4641+8192 x4624+4096 x4623+2048 x4622+1024 x4621+512 x4620+256 x4619+128 x4618+64 x4617+32 x4616+16 x4615+8 x4614+4 x4613+2 x4612+1 x4611+8192 x4594+4096 x4593+2048 x4592+1024 x4591+512 x4590+256 x4589+128 x4588+64 x4587+32 x4586+16 x4585+8 x4584+4 x4583+2 x4582+1 x4581-0=27647
38.28/38.37	c 1073741824 ~x1315001+536870912 ~x1315000+268435456 ~x1314999+134217728 ~x1314998+67108864 ~x1314997+33554432 ~x1314996+16777216 ~x1314995+8388608 ~x1314994+4194304 ~x1314993+2097152 ~x1314992+1048576 ~x1314991+524288 ~x1314990+262144 ~x1314989+131072 ~x1314988+65536 ~x1314987+32768 ~x1314986+16384 ~x1314985+8192 ~x1314984+4096 ~x1314983+2048 ~x1314982+1024 ~x1314981+512 ~x1314980+256 ~x1314979+128 ~x1314978+64 ~x1314977+32 ~x1314976+16 ~x1314975+8 ~x1314974+4 ~x1314973+2 ~x1314972+1 ~x1314971+536870912 x4760+268435456 x4759+134217728 x4758+67108864 x4757+33554432 x4756+16777216 x4755+8388608 x4754+4194304 x4753+2097152 x4752+1048576 x4751+524288 x4750+262144 x4749+131072 x4748+65536 x4747+32768 x4746+16384 x4745+8192 x4744+4096 x4743+2048 x4742+1024 x4741+512 x4740+256 x4739+128 x4738+64 x4737+32 x4736+16 x4735+8 x4734+4 x4733+2 x4732+1 x4731+536870912 x4730+268435456 x4729+134217728 x4728+67108864 x4727+33554432 x4726+16777216 x4725+8388608 x4724+4194304 x4723+2097152 x4722+1048576 x4721+524288 x4720+262144 x4719+131072 x4718+65536 x4717+32768 x4716+16384 x4715+8192 x4714+4096 x4713+2048 x4712+1024 x4711+512 x4710+256 x4709+128 x4708+64 x4707+32 x4706+16 x4705+8 x4704+4 x4703+2 x4702+1 x4701+536870912 x4700+268435456 x4699+134217728 x4698+67108864 x4697+33554432 x4696+16777216 x4695+8388608 x4694+4194304 x4693+2097152 x4692+1048576 x4691+524288 x4690+262144 x4689+131072 x4688+65536 x4687+32768 x4686+16384 x4685+8192 x4684+4096 x4683+2048 x4682+1024 x4681+512 x4680+256 x4679+128 x4678+64 x4677+32 x4676+16 x4675+8 x4674+4 x4673+2 x4672+1 x4671+536870912 ~x3920+268435456 ~x3919+134217728 ~x3918+67108864 ~x3917+33554432 ~x3916+16777216 ~x3915+8388608 ~x3914+4194304 ~x3913+2097152 ~x3912+1048576 ~x3911+524288 ~x3910+262144 ~x3909+131072 ~x3908+65536 ~x3907+32768 ~x3906+16384 ~x3905+8192 ~x3904+4096 ~x3903+2048 ~x3902+1024 ~x3901+512 ~x3900+256 ~x3899+128 ~x3898+64 ~x3897+32 ~x3896+16 ~x3895+8 ~x3894+4 ~x3893+2 ~x3892+1 ~x3891-0=3221297150
39.67/39.79	c 4294967296 ~x1376010+2147483648 ~x1376009+1073741824 ~x1376008+536870912 ~x1376007+268435456 ~x1376006+134217728 ~x1376005+67108864 ~x1376004+33554432 ~x1376003+16777216 ~x1376002+8388608 ~x1376001+4194304 ~x1376000+2097152 ~x1375999+1048576 ~x1375998+524288 ~x1375997+262144 ~x1375996+131072 ~x1375995+65536 ~x1375994+32768 ~x1375993+16384 ~x1375992+8192 ~x1375991+4096 ~x1375990+2048 ~x1375989+1024 ~x1375988+512 ~x1375987+256 ~x1375986+128 ~x1375985+64 ~x1375984+32 ~x1375983+16 ~x1375982+8 ~x1375981+4 ~x1375980+2 ~x1375979+1 ~x1375978+536870912 ~x5630+268435456 ~x5629+134217728 ~x5628+67108864 ~x5627+33554432 ~x5626+16777216 ~x5625+8388608 ~x5624+4194304 ~x5623+2097152 ~x5622+1048576 ~x5621+524288 ~x5620+262144 ~x5619+131072 ~x5618+65536 ~x5617+32768 ~x5616+16384 ~x5615+8192 ~x5614+4096 ~x5613+2048 ~x5612+1024 ~x5611+512 ~x5610+256 ~x5609+128 ~x5608+64 ~x5607+32 ~x5606+16 ~x5605+8 ~x5604+4 ~x5603+2 ~x5602+1 ~x5601+536870912 ~x5510+268435456 ~x5509+134217728 ~x5508+67108864 ~x5507+33554432 ~x5506+16777216 ~x5505+8388608 ~x5504+4194304 ~x5503+2097152 ~x5502+1048576 ~x5501+524288 ~x5500+262144 ~x5499+131072 ~x5498+65536 ~x5497+32768 ~x5496+16384 ~x5495+8192 ~x5494+4096 ~x5493+2048 ~x5492+1024 ~x5491+512 ~x5490+256 ~x5489+128 ~x5488+64 ~x5487+32 ~x5486+16 ~x5485+8 ~x5484+4 ~x5483+2 ~x5482+1 ~x5481+536870912 x5180+268435456 x5179+134217728 x5178+67108864 x5177+33554432 x5176+16777216 x5175+8388608 x5174+4194304 x5173+2097152 x5172+1048576 x5171+524288 x5170+262144 x5169+131072 x5168+65536 x5167+32768 x5166+16384 x5165+8192 x5164+4096 x5163+2048 x5162+1024 x5161+512 x5160+256 x5159+128 x5158+64 x5157+32 x5156+16 x5155+8 x5154+4 x5153+2 x5152+1 x5151+536870912 x5150+268435456 x5149+134217728 x5148+67108864 x5147+33554432 x5146+16777216 x5145+8388608 x5144+4194304 x5143+2097152 x5142+1048576 x5141+524288 x5140+262144 x5139+131072 x5138+65536 x5137+32768 x5136+16384 x5135+8192 x5134+4096 x5133+2048 x5132+1024 x5131+512 x5130+256 x5129+128 x5128+64 x5127+32 x5126+16 x5125+8 x5124+4 x5123+2 x5122+1 x5121+536870912 x5120+268435456 x5119+134217728 x5118+67108864 x5117+33554432 x5116+16777216 x5115+8388608 x5114+4194304 x5113+2097152 x5112+1048576 x5111+524288 x5110+262144 x5109+131072 x5108+65536 x5107+32768 x5106+16384 x5105+8192 x5104+4096 x5103+2048 x5102+1024 x5101+512 x5100+256 x5099+128 x5098+64 x5097+32 x5096+16 x5095+8 x5094+4 x5093+2 x5092+1 x5091+536870912 x5090+268435456 x5089+134217728 x5088+67108864 x5087+33554432 x5086+16777216 x5085+8388608 x5084+4194304 x5083+2097152 x5082+1048576 x5081+524288 x5080+262144 x5079+131072 x5078+65536 x5077+32768 x5076+16384 x5075+8192 x5074+4096 x5073+2048 x5072+1024 x5071+512 x5070+256 x5069+128 x5068+64 x5067+32 x5066+16 x5065+8 x5064+4 x5063+2 x5062+1 x5061+536870912 x5060+268435456 x5059+134217728 x5058+67108864 x5057+33554432 x5056+16777216 x5055+8388608 x5054+4194304 x5053+2097152 x5052+1048576 x5051+524288 x5050+262144 x5049+131072 x5048+65536 x5047+32768 x5046+16384 x5045+8192 x5044+4096 x5043+2048 x5042+1024 x5041+512 x5040+256 x5039+128 x5038+64 x5037+32 x5036+16 x5035+8 x5034+4 x5033+2 x5032+1 x5031+536870912 x5030+268435456 x5029+134217728 x5028+67108864 x5027+33554432 x5026+16777216 x5025+8388608 x5024+4194304 x5023+2097152 x5022+1048576 x5021+524288 x5020+262144 x5019+131072 x5018+65536 x5017+32768 x5016+16384 x5015+8192 x5014+4096 x5013+2048 x5012+1024 x5011+512 x5010+256 x5009+128 x5008+64 x5007+32 x5006+16 x5005+8 x5004+4 x5003+2 x5002+1 x5001+536870912 x5000+268435456 x4999+134217728 x4998+67108864 x4997+33554432 x4996+16777216 x4995+8388608 x4994+4194304 x4993+2097152 x4992+1048576 x4991+524288 x4990+262144 x4989+131072 x4988+65536 x4987+32768 x4986+16384 x4985+8192 x4984+4096 x4983+2048 x4982+1024 x4981+512 x4980+256 x4979+128 x4978+64 x4977+32 x4976+16 x4975+8 x4974+4 x4973+2 x4972+1 x4971+536870912 x4970+268435456 x4969+134217728 x4968+67108864 x4967+33554432 x4966+16777216 x4965+8388608 x4964+4194304 x4963+2097152 x4962+1048576 x4961+524288 x4960+262144 x4959+131072 x4958+65536 x4957+32768 x4956+16384 x4955+8192 x4954+4096 x4953+2048 x4952+1024 x4951+512 x4950+256 x4949+128 x4948+64 x4947+32 x4946+16 x4945+8 x4944+4 x4943+2 x4942+1 x4941+536870912 x4940+268435456 x4939+134217728 x4938+67108864 x4937+33554432 x4936+16777216 x4935+8388608 x4934+4194304 x4933+2097152 x4932+1048576 x4931+524288 x4930+262144 x4929+131072 x4928+65536 x4927+32768 x4926+16384 x4925+8192 x4924+4096 x4923+2048 x4922+1024 x4921+512 x4920+256 x4919+128 x4918+64 x4917+32 x4916+16 x4915+8 x4914+4 x4913+2 x4912+1 x4911+536870912 x4910+268435456 x4909+134217728 x4908+67108864 x4907+33554432 x4906+16777216 x4905+8388608 x4904+4194304 x4903+2097152 x4902+1048576 x4901+524288 x4900+262144 x4899+131072 x4898+65536 x4897+32768 x4896+16384 x4895+8192 x4894+4096 x4893+2048 x4892+1024 x4891+512 x4890+256 x4889+128 x4888+64 x4887+32 x4886+16 x4885+8 x4884+4 x4883+2 x4882+1 x4881+536870912 ~x4850+268435456 ~x4849+134217728 ~x4848+67108864 ~x4847+33554432 ~x4846+16777216 ~x4845+8388608 ~x4844+4194304 ~x4843+2097152 ~x4842+1048576 ~x4841+524288 ~x4840+262144 ~x4839+131072 ~x4838+65536 ~x4837+32768 ~x4836+16384 ~x4835+8192 ~x4834+4096 ~x4833+2048 ~x4832+1024 ~x4831+512 ~x4830+256 ~x4829+128 ~x4828+64 ~x4827+32 ~x4826+16 ~x4825+8 ~x4824+4 ~x4823+2 ~x4822+1 ~x4821+536870912 ~x4640+268435456 ~x4639+134217728 ~x4638+67108864 ~x4637+33554432 ~x4636+16777216 ~x4635+8388608 ~x4634+4194304 ~x4633+2097152 ~x4632+1048576 ~x4631+524288 ~x4630+262144 ~x4629+131072 ~x4628+65536 ~x4627+32768 ~x4626+16384 ~x4625+8192 ~x4624+4096 ~x4623+2048 ~x4622+1024 ~x4621+512 ~x4620+256 ~x4619+128 ~x4618+64 ~x4617+32 ~x4616+16 ~x4615+8 ~x4614+4 ~x4613+2 ~x4612+1 ~x4611-0=12885650427
44.07/44.18	c 4294967296 ~x1568820+2147483648 ~x1568819+1073741824 ~x1568818+536870912 ~x1568817+268435456 ~x1568816+134217728 ~x1568815+67108864 ~x1568814+33554432 ~x1568813+16777216 ~x1568812+8388608 ~x1568811+4194304 ~x1568810+2097152 ~x1568809+1048576 ~x1568808+524288 ~x1568807+262144 ~x1568806+131072 ~x1568805+65536 ~x1568804+32768 ~x1568803+16384 ~x1568802+8192 ~x1568801+4096 ~x1568800+2048 ~x1568799+1024 ~x1568798+512 ~x1568797+256 ~x1568796+128 ~x1568795+64 ~x1568794+32 ~x1568793+16 ~x1568792+8 ~x1568791+4 ~x1568790+2 ~x1568789+1 ~x1568788+536870912 x5390+268435456 x5389+134217728 x5388+67108864 x5387+33554432 x5386+16777216 x5385+8388608 x5384+4194304 x5383+2097152 x5382+1048576 x5381+524288 x5380+262144 x5379+131072 x5378+65536 x5377+32768 x5376+16384 x5375+8192 x5374+4096 x5373+2048 x5372+1024 x5371+512 x5370+256 x5369+128 x5368+64 x5367+32 x5366+16 x5365+8 x5364+4 x5363+2 x5362+1 x5361+536870912 x5360+268435456 x5359+134217728 x5358+67108864 x5357+33554432 x5356+16777216 x5355+8388608 x5354+4194304 x5353+2097152 x5352+1048576 x5351+524288 x5350+262144 x5349+131072 x5348+65536 x5347+32768 x5346+16384 x5345+8192 x5344+4096 x5343+2048 x5342+1024 x5341+512 x5340+256 x5339+128 x5338+64 x5337+32 x5336+16 x5335+8 x5334+4 x5333+2 x5332+1 x5331+536870912 x5330+268435456 x5329+134217728 x5328+67108864 x5327+33554432 x5326+16777216 x5325+8388608 x5324+4194304 x5323+2097152 x5322+1048576 x5321+524288 x5320+262144 x5319+131072 x5318+65536 x5317+32768 x5316+16384 x5315+8192 x5314+4096 x5313+2048 x5312+1024 x5311+512 x5310+256 x5309+128 x5308+64 x5307+32 x5306+16 x5305+8 x5304+4 x5303+2 x5302+1 x5301+536870912 x5300+268435456 x5299+134217728 x5298+67108864 x5297+33554432 x5296+16777216 x5295+8388608 x5294+4194304 x5293+2097152 x5292+1048576 x5291+524288 x5290+262144 x5289+131072 x5288+65536 x5287+32768 x5286+16384 x5285+8192 x5284+4096 x5283+2048 x5282+1024 x5281+512 x5280+256 x5279+128 x5278+64 x5277+32 x5276+16 x5275+8 x5274+4 x5273+2 x5272+1 x5271+536870912 x5270+268435456 x5269+134217728 x5268+67108864 x5267+33554432 x5266+16777216 x5265+8388608 x5264+4194304 x5263+2097152 x5262+1048576 x5261+524288 x5260+262144 x5259+131072 x5258+65536 x5257+32768 x5256+16384 x5255+8192 x5254+4096 x5253+2048 x5252+1024 x5251+512 x5250+256 x5249+128 x5248+64 x5247+32 x5246+16 x5245+8 x5244+4 x5243+2 x5242+1 x5241+536870912 x5240+268435456 x5239+134217728 x5238+67108864 x5237+33554432 x5236+16777216 x5235+8388608 x5234+4194304 x5233+2097152 x5232+1048576 x5231+524288 x5230+262144 x5229+131072 x5228+65536 x5227+32768 x5226+16384 x5225+8192 x5224+4096 x5223+2048 x5222+1024 x5221+512 x5220+256 x5219+128 x5218+64 x5217+32 x5216+16 x5215+8 x5214+4 x5213+2 x5212+1 x5211+536870912 x5210+268435456 x5209+134217728 x5208+67108864 x5207+33554432 x5206+16777216 x5205+8388608 x5204+4194304 x5203+2097152 x5202+1048576 x5201+524288 x5200+262144 x5199+131072 x5198+65536 x5197+32768 x5196+16384 x5195+8192 x5194+4096 x5193+2048 x5192+1024 x5191+512 x5190+256 x5189+128 x5188+64 x5187+32 x5186+16 x5185+8 x5184+4 x5183+2 x5182+1 x5181+536870912 ~x4220+268435456 ~x4219+134217728 ~x4218+67108864 ~x4217+33554432 ~x4216+16777216 ~x4215+8388608 ~x4214+4194304 ~x4213+2097152 ~x4212+1048576 ~x4211+524288 ~x4210+262144 ~x4209+131072 ~x4208+65536 ~x4207+32768 ~x4206+16384 ~x4205+8192 ~x4204+4096 ~x4203+2048 ~x4202+1024 ~x4201+512 ~x4200+256 ~x4199+128 ~x4198+64 ~x4197+32 ~x4196+16 ~x4195+8 ~x4194+4 ~x4193+2 ~x4192+1 ~x4191+536870912 ~x2600+268435456 ~x2599+134217728 ~x2598+67108864 ~x2597+33554432 ~x2596+16777216 ~x2595+8388608 ~x2594+4194304 ~x2593+2097152 ~x2592+1048576 ~x2591+524288 ~x2590+262144 ~x2589+131072 ~x2588+65536 ~x2587+32768 ~x2586+16384 ~x2585+8192 ~x2584+4096 ~x2583+2048 ~x2582+1024 ~x2581+512 ~x2580+256 ~x2579+128 ~x2578+64 ~x2577+32 ~x2576+16 ~x2575+8 ~x2574+4 ~x2573+2 ~x2572+1 ~x2571+536870912 ~x2480+268435456 ~x2479+134217728 ~x2478+67108864 ~x2477+33554432 ~x2476+16777216 ~x2475+8388608 ~x2474+4194304 ~x2473+2097152 ~x2472+1048576 ~x2471+524288 ~x2470+262144 ~x2469+131072 ~x2468+65536 ~x2467+32768 ~x2466+16384 ~x2465+8192 ~x2464+4096 ~x2463+2048 ~x2462+1024 ~x2461+512 ~x2460+256 ~x2459+128 ~x2458+64 ~x2457+32 ~x2456+16 ~x2455+8 ~x2454+4 ~x2453+2 ~x2452+1 ~x2451+536870912 ~x2270+268435456 ~x2269+134217728 ~x2268+67108864 ~x2267+33554432 ~x2266+16777216 ~x2265+8388608 ~x2264+4194304 ~x2263+2097152 ~x2262+1048576 ~x2261+524288 ~x2260+262144 ~x2259+131072 ~x2258+65536 ~x2257+32768 ~x2256+16384 ~x2255+8192 ~x2254+4096 ~x2253+2048 ~x2252+1024 ~x2251+512 ~x2250+256 ~x2249+128 ~x2248+64 ~x2247+32 ~x2246+16 ~x2245+8 ~x2244+4 ~x2243+2 ~x2242+1 ~x2241-0=12887621627
47.58/47.64	c 16384 ~x1722732+8192 ~x1722731+4096 ~x1722730+2048 ~x1722729+1024 ~x1722728+512 ~x1722727+256 ~x1722726+128 ~x1722725+64 ~x1722724+32 ~x1722723+16 ~x1722722+8 ~x1722721+4 ~x1722720+2 ~x1722719+1 ~x1722718+16384 x5495+8192 x5494+4096 x5493+2048 x5492+1024 x5491+512 x5490+256 x5489+128 x5488+64 x5487+32 x5486+16 x5485+8 x5484+4 x5483+2 x5482+1 x5481+16384 x5465+8192 x5464+4096 x5463+2048 x5462+1024 x5461+512 x5460+256 x5459+128 x5458+64 x5457+32 x5456+16 x5455+8 x5454+4 x5453+2 x5452+1 x5451+16384 x5435+8192 x5434+4096 x5433+2048 x5432+1024 x5431+512 x5430+256 x5429+128 x5428+64 x5427+32 x5426+16 x5425+8 x5424+4 x5423+2 x5422+1 x5421+16384 x5405+8192 x5404+4096 x5403+2048 x5402+1024 x5401+512 x5400+256 x5399+128 x5398+64 x5397+32 x5396+16 x5395+8 x5394+4 x5393+2 x5392+1 x5391-0=60415
47.87/47.92	c 32768 ~x1734418+16384 ~x1734417+8192 ~x1734416+4096 ~x1734415+2048 ~x1734414+1024 ~x1734413+512 ~x1734412+256 ~x1734411+128 ~x1734410+64 ~x1734409+32 ~x1734408+16 ~x1734407+8 ~x1734406+4 ~x1734405+2 ~x1734404+1 ~x1734403+32768 x5616+16384 x5615+8192 x5614+4096 x5613+2048 x5612+1024 x5611+512 x5610+256 x5609+128 x5608+64 x5607+32 x5606+16 x5605+8 x5604+4 x5603+2 x5602+1 x5601+32768 x5586+16384 x5585+8192 x5584+4096 x5583+2048 x5582+1024 x5581+512 x5580+256 x5579+128 x5578+64 x5577+32 x5576+16 x5575+8 x5574+4 x5573+2 x5572+1 x5571+32768 x5556+16384 x5555+8192 x5554+4096 x5553+2048 x5552+1024 x5551+512 x5550+256 x5549+128 x5548+64 x5547+32 x5546+16 x5545+8 x5544+4 x5543+2 x5542+1 x5541+32768 x5526+16384 x5525+8192 x5524+4096 x5523+2048 x5522+1024 x5521+512 x5520+256 x5519+128 x5518+64 x5517+32 x5516+16 x5515+8 x5514+4 x5513+2 x5512+1 x5511-0=102399
48.17/48.23	c 2147483648 ~x1747386+1073741824 ~x1747385+536870912 ~x1747384+268435456 ~x1747383+134217728 ~x1747382+67108864 ~x1747381+33554432 ~x1747380+16777216 ~x1747379+8388608 ~x1747378+4194304 ~x1747377+2097152 ~x1747376+1048576 ~x1747375+524288 ~x1747374+262144 ~x1747373+131072 ~x1747372+65536 ~x1747371+32768 ~x1747370+16384 ~x1747369+8192 ~x1747368+4096 ~x1747367+2048 ~x1747366+1024 ~x1747365+512 ~x1747364+256 ~x1747363+128 ~x1747362+64 ~x1747361+32 ~x1747360+16 ~x1747359+8 ~x1747358+4 ~x1747357+2 ~x1747356+1 ~x1747355+536870912 x5720+268435456 x5719+134217728 x5718+67108864 x5717+33554432 x5716+16777216 x5715+8388608 x5714+4194304 x5713+2097152 x5712+1048576 x5711+524288 x5710+262144 x5709+131072 x5708+65536 x5707+32768 x5706+16384 x5705+8192 x5704+4096 x5703+2048 x5702+1024 x5701+512 x5700+256 x5699+128 x5698+64 x5697+32 x5696+16 x5695+8 x5694+4 x5693+2 x5692+1 x5691+536870912 x5690+268435456 x5689+134217728 x5688+67108864 x5687+33554432 x5686+16777216 x5685+8388608 x5684+4194304 x5683+2097152 x5682+1048576 x5681+524288 x5680+262144 x5679+131072 x5678+65536 x5677+32768 x5676+16384 x5675+8192 x5674+4096 x5673+2048 x5672+1024 x5671+512 x5670+256 x5669+128 x5668+64 x5667+32 x5666+16 x5665+8 x5664+4 x5663+2 x5662+1 x5661+536870912 x5660+268435456 x5659+134217728 x5658+67108864 x5657+33554432 x5656+16777216 x5655+8388608 x5654+4194304 x5653+2097152 x5652+1048576 x5651+524288 x5650+262144 x5649+131072 x5648+65536 x5647+32768 x5646+16384 x5645+8192 x5644+4096 x5643+2048 x5642+1024 x5641+512 x5640+256 x5639+128 x5638+64 x5637+32 x5636+16 x5635+8 x5634+4 x5633+2 x5632+1 x5631+536870912 ~x4880+268435456 ~x4879+134217728 ~x4878+67108864 ~x4877+33554432 ~x4876+16777216 ~x4875+8388608 ~x4874+4194304 ~x4873+2097152 ~x4872+1048576 ~x4871+524288 ~x4870+262144 ~x4869+131072 ~x4868+65536 ~x4867+32768 ~x4866+16384 ~x4865+8192 ~x4864+4096 ~x4863+2048 ~x4862+1024 ~x4861+512 ~x4860+256 ~x4859+128 ~x4858+64 ~x4857+32 ~x4856+16 ~x4855+8 ~x4854+4 ~x4853+2 ~x4852+1 ~x4851+536870912 ~x4670+268435456 ~x4669+134217728 ~x4668+67108864 ~x4667+33554432 ~x4666+16777216 ~x4665+8388608 ~x4664+4194304 ~x4663+2097152 ~x4662+1048576 ~x4661+524288 ~x4660+262144 ~x4659+131072 ~x4658+65536 ~x4657+32768 ~x4656+16384 ~x4655+8192 ~x4654+4096 ~x4653+2048 ~x4652+1024 ~x4651+512 ~x4650+256 ~x4649+128 ~x4648+64 ~x4647+32 ~x4646+16 ~x4645+8 ~x4644+4 ~x4643+2 ~x4642+1 ~x4641-0=6442628093
49.87/49.95	c 4294967296 ~x1821508+2147483648 ~x1821507+1073741824 ~x1821506+536870912 ~x1821505+268435456 ~x1821504+134217728 ~x1821503+67108864 ~x1821502+33554432 ~x1821501+16777216 ~x1821500+8388608 ~x1821499+4194304 ~x1821498+2097152 ~x1821497+1048576 ~x1821496+524288 ~x1821495+262144 ~x1821494+131072 ~x1821493+65536 ~x1821492+32768 ~x1821491+16384 ~x1821490+8192 ~x1821489+4096 ~x1821488+2048 ~x1821487+1024 ~x1821486+512 ~x1821485+256 ~x1821484+128 ~x1821483+64 ~x1821482+32 ~x1821481+16 ~x1821480+8 ~x1821479+4 ~x1821478+2 ~x1821477+1 ~x1821476+536870912 ~x6020+268435456 ~x6019+134217728 ~x6018+67108864 ~x6017+33554432 ~x6016+16777216 ~x6015+8388608 ~x6014+4194304 ~x6013+2097152 ~x6012+1048576 ~x6011+524288 ~x6010+262144 ~x6009+131072 ~x6008+65536 ~x6007+32768 ~x6006+16384 ~x6005+8192 ~x6004+4096 ~x6003+2048 ~x6002+1024 ~x6001+512 ~x6000+256 ~x5999+128 ~x5998+64 ~x5997+32 ~x5996+16 ~x5995+8 ~x5994+4 ~x5993+2 ~x5992+1 ~x5991+536870912 x5930+268435456 x5929+134217728 x5928+67108864 x5927+33554432 x5926+16777216 x5925+8388608 x5924+4194304 x5923+2097152 x5922+1048576 x5921+524288 x5920+262144 x5919+131072 x5918+65536 x5917+32768 x5916+16384 x5915+8192 x5914+4096 x5913+2048 x5912+1024 x5911+512 x5910+256 x5909+128 x5908+64 x5907+32 x5906+16 x5905+8 x5904+4 x5903+2 x5902+1 x5901+536870912 x5900+268435456 x5899+134217728 x5898+67108864 x5897+33554432 x5896+16777216 x5895+8388608 x5894+4194304 x5893+2097152 x5892+1048576 x5891+524288 x5890+262144 x5889+131072 x5888+65536 x5887+32768 x5886+16384 x5885+8192 x5884+4096 x5883+2048 x5882+1024 x5881+512 x5880+256 x5879+128 x5878+64 x5877+32 x5876+16 x5875+8 x5874+4 x5873+2 x5872+1 x5871+536870912 ~x5780+268435456 ~x5779+134217728 ~x5778+67108864 ~x5777+33554432 ~x5776+16777216 ~x5775+8388608 ~x5774+4194304 ~x5773+2097152 ~x5772+1048576 ~x5771+524288 ~x5770+262144 ~x5769+131072 ~x5768+65536 ~x5767+32768 ~x5766+16384 ~x5765+8192 ~x5764+4096 ~x5763+2048 ~x5762+1024 ~x5761+512 ~x5760+256 ~x5759+128 ~x5758+64 ~x5757+32 ~x5756+16 ~x5755+8 ~x5754+4 ~x5753+2 ~x5752+1 ~x5751+536870912 ~x5750+268435456 ~x5749+134217728 ~x5748+67108864 ~x5747+33554432 ~x5746+16777216 ~x5745+8388608 ~x5744+4194304 ~x5743+2097152 ~x5742+1048576 ~x5741+524288 ~x5740+262144 ~x5739+131072 ~x5738+65536 ~x5737+32768 ~x5736+16384 ~x5735+8192 ~x5734+4096 ~x5733+2048 ~x5732+1024 ~x5731+512 ~x5730+256 ~x5729+128 ~x5728+64 ~x5727+32 ~x5726+16 ~x5725+8 ~x5724+4 ~x5723+2 ~x5722+1 ~x5721+536870912 ~x4640+268435456 ~x4639+134217728 ~x4638+67108864 ~x4637+33554432 ~x4636+16777216 ~x4635+8388608 ~x4634+4194304 ~x4633+2097152 ~x4632+1048576 ~x4631+524288 ~x4630+262144 ~x4629+131072 ~x4628+65536 ~x4627+32768 ~x4626+16384 ~x4625+8192 ~x4624+4096 ~x4623+2048 ~x4622+1024 ~x4621+512 ~x4620+256 ~x4619+128 ~x4618+64 ~x4617+32 ~x4616+16 ~x4615+8 ~x4614+4 ~x4613+2 ~x4612+1 ~x4611+536870912 ~x3800+268435456 ~x3799+134217728 ~x3798+67108864 ~x3797+33554432 ~x3796+16777216 ~x3795+8388608 ~x3794+4194304 ~x3793+2097152 ~x3792+1048576 ~x3791+524288 ~x3790+262144 ~x3789+131072 ~x3788+65536 ~x3787+32768 ~x3786+16384 ~x3785+8192 ~x3784+4096 ~x3783+2048 ~x3782+1024 ~x3781+512 ~x3780+256 ~x3779+128 ~x3778+64 ~x3777+32 ~x3776+16 ~x3775+8 ~x3774+4 ~x3773+2 ~x3772+1 ~x3771+536870912 ~x3350+268435456 ~x3349+134217728 ~x3348+67108864 ~x3347+33554432 ~x3346+16777216 ~x3345+8388608 ~x3344+4194304 ~x3343+2097152 ~x3342+1048576 ~x3341+524288 ~x3340+262144 ~x3339+131072 ~x3338+65536 ~x3337+32768 ~x3336+16384 ~x3335+8192 ~x3334+4096 ~x3333+2048 ~x3332+1024 ~x3331+512 ~x3330+256 ~x3329+128 ~x3328+64 ~x3327+32 ~x3326+16 ~x3325+8 ~x3324+4 ~x3323+2 ~x3322+1 ~x3321-0=15032469497
52.47/52.52	c 1073741824 ~x1934121+536870912 ~x1934120+268435456 ~x1934119+134217728 ~x1934118+67108864 ~x1934117+33554432 ~x1934116+16777216 ~x1934115+8388608 ~x1934114+4194304 ~x1934113+2097152 ~x1934112+1048576 ~x1934111+524288 ~x1934110+262144 ~x1934109+131072 ~x1934108+65536 ~x1934107+32768 ~x1934106+16384 ~x1934105+8192 ~x1934104+4096 ~x1934103+2048 ~x1934102+1024 ~x1934101+512 ~x1934100+256 ~x1934099+128 ~x1934098+64 ~x1934097+32 ~x1934096+16 ~x1934095+8 ~x1934094+4 ~x1934093+2 ~x1934092+1 ~x1934091+536870912 x6020+268435456 x6019+134217728 x6018+67108864 x6017+33554432 x6016+16777216 x6015+8388608 x6014+4194304 x6013+2097152 x6012+1048576 x6011+524288 x6010+262144 x6009+131072 x6008+65536 x6007+32768 x6006+16384 x6005+8192 x6004+4096 x6003+2048 x6002+1024 x6001+512 x6000+256 x5999+128 x5998+64 x5997+32 x5996+16 x5995+8 x5994+4 x5993+2 x5992+1 x5991+536870912 x5990+268435456 x5989+134217728 x5988+67108864 x5987+33554432 x5986+16777216 x5985+8388608 x5984+4194304 x5983+2097152 x5982+1048576 x5981+524288 x5980+262144 x5979+131072 x5978+65536 x5977+32768 x5976+16384 x5975+8192 x5974+4096 x5973+2048 x5972+1024 x5971+512 x5970+256 x5969+128 x5968+64 x5967+32 x5966+16 x5965+8 x5964+4 x5963+2 x5962+1 x5961+536870912 x5960+268435456 x5959+134217728 x5958+67108864 x5957+33554432 x5956+16777216 x5955+8388608 x5954+4194304 x5953+2097152 x5952+1048576 x5951+524288 x5950+262144 x5949+131072 x5948+65536 x5947+32768 x5946+16384 x5945+8192 x5944+4096 x5943+2048 x5942+1024 x5941+512 x5940+256 x5939+128 x5938+64 x5937+32 x5936+16 x5935+8 x5934+4 x5933+2 x5932+1 x5931+536870912 ~x4670+268435456 ~x4669+134217728 ~x4668+67108864 ~x4667+33554432 ~x4666+16777216 ~x4665+8388608 ~x4664+4194304 ~x4663+2097152 ~x4662+1048576 ~x4661+524288 ~x4660+262144 ~x4659+131072 ~x4658+65536 ~x4657+32768 ~x4656+16384 ~x4655+8192 ~x4654+4096 ~x4653+2048 ~x4652+1024 ~x4651+512 ~x4650+256 ~x4649+128 ~x4648+64 ~x4647+32 ~x4646+16 ~x4645+8 ~x4644+4 ~x4643+2 ~x4642+1 ~x4641-0=3221271550
53.88/53.94	c 8192 ~x1995111+4096 ~x1995110+2048 ~x1995109+1024 ~x1995108+512 ~x1995107+256 ~x1995106+128 ~x1995105+64 ~x1995104+32 ~x1995103+16 ~x1995102+8 ~x1995101+4 ~x1995100+2 ~x1995099+1 ~x1995098+8192 x6064+4096 x6063+2048 x6062+1024 x6061+512 x6060+256 x6059+128 x6058+64 x6057+32 x6056+16 x6055+8 x6054+4 x6053+2 x6052+1 x6051+8192 x6034+4096 x6033+2048 x6032+1024 x6031+512 x6030+256 x6029+128 x6028+64 x6027+32 x6026+16 x6025+8 x6024+4 x6023+2 x6022+1 x6021-0=27647
53.97/54.10	c 4294967296 ~x2000914+2147483648 ~x2000913+1073741824 ~x2000912+536870912 ~x2000911+268435456 ~x2000910+134217728 ~x2000909+67108864 ~x2000908+33554432 ~x2000907+16777216 ~x2000906+8388608 ~x2000905+4194304 ~x2000904+2097152 ~x2000903+1048576 ~x2000902+524288 ~x2000901+262144 ~x2000900+131072 ~x2000899+65536 ~x2000898+32768 ~x2000897+16384 ~x2000896+8192 ~x2000895+4096 ~x2000894+2048 ~x2000893+1024 ~x2000892+512 ~x2000891+256 ~x2000890+128 ~x2000889+64 ~x2000888+32 ~x2000887+16 ~x2000886+8 ~x2000885+4 ~x2000884+2 ~x2000883+1 ~x2000882+536870912 ~x6260+268435456 ~x6259+134217728 ~x6258+67108864 ~x6257+33554432 ~x6256+16777216 ~x6255+8388608 ~x6254+4194304 ~x6253+2097152 ~x6252+1048576 ~x6251+524288 ~x6250+262144 ~x6249+131072 ~x6248+65536 ~x6247+32768 ~x6246+16384 ~x6245+8192 ~x6244+4096 ~x6243+2048 ~x6242+1024 ~x6241+512 ~x6240+256 ~x6239+128 ~x6238+64 ~x6237+32 ~x6236+16 ~x6235+8 ~x6234+4 ~x6233+2 ~x6232+1 ~x6231+536870912 ~x6230+268435456 ~x6229+134217728 ~x6228+67108864 ~x6227+33554432 ~x6226+16777216 ~x6225+8388608 ~x6224+4194304 ~x6223+2097152 ~x6222+1048576 ~x6221+524288 ~x6220+262144 ~x6219+131072 ~x6218+65536 ~x6217+32768 ~x6216+16384 ~x6215+8192 ~x6214+4096 ~x6213+2048 ~x6212+1024 ~x6211+512 ~x6210+256 ~x6209+128 ~x6208+64 ~x6207+32 ~x6206+16 ~x6205+8 ~x6204+4 ~x6203+2 ~x6202+1 ~x6201+536870912 x6200+268435456 x6199+134217728 x6198+67108864 x6197+33554432 x6196+16777216 x6195+8388608 x6194+4194304 x6193+2097152 x6192+1048576 x6191+524288 x6190+262144 x6189+131072 x6188+65536 x6187+32768 x6186+16384 x6185+8192 x6184+4096 x6183+2048 x6182+1024 x6181+512 x6180+256 x6179+128 x6178+64 x6177+32 x6176+16 x6175+8 x6174+4 x6173+2 x6172+1 x6171+536870912 x6170+268435456 x6169+134217728 x6168+67108864 x6167+33554432 x6166+16777216 x6165+8388608 x6164+4194304 x6163+2097152 x6162+1048576 x6161+524288 x6160+262144 x6159+131072 x6158+65536 x6157+32768 x6156+16384 x6155+8192 x6154+4096 x6153+2048 x6152+1024 x6151+512 x6150+256 x6149+128 x6148+64 x6147+32 x6146+16 x6145+8 x6144+4 x6143+2 x6142+1 x6141+536870912 x6140+268435456 x6139+134217728 x6138+67108864 x6137+33554432 x6136+16777216 x6135+8388608 x6134+4194304 x6133+2097152 x6132+1048576 x6131+524288 x6130+262144 x6129+131072 x6128+65536 x6127+32768 x6126+16384 x6125+8192 x6124+4096 x6123+2048 x6122+1024 x6121+512 x6120+256 x6119+128 x6118+64 x6117+32 x6116+16 x6115+8 x6114+4 x6113+2 x6112+1 x6111+536870912 ~x6110+268435456 ~x6109+134217728 ~x6108+67108864 ~x6107+33554432 ~x6106+16777216 ~x6105+8388608 ~x6104+4194304 ~x6103+2097152 ~x6102+1048576 ~x6101+524288 ~x6100+262144 ~x6099+131072 ~x6098+65536 ~x6097+32768 ~x6096+16384 ~x6095+8192 ~x6094+4096 ~x6093+2048 ~x6092+1024 ~x6091+512 ~x6090+256 ~x6089+128 ~x6088+64 ~x6087+32 ~x6086+16 ~x6085+8 ~x6084+4 ~x6083+2 ~x6082+1 ~x6081+536870912 ~x5750+268435456 ~x5749+134217728 ~x5748+67108864 ~x5747+33554432 ~x5746+16777216 ~x5745+8388608 ~x5744+4194304 ~x5743+2097152 ~x5742+1048576 ~x5741+524288 ~x5740+262144 ~x5739+131072 ~x5738+65536 ~x5737+32768 ~x5736+16384 ~x5735+8192 ~x5734+4096 ~x5733+2048 ~x5732+1024 ~x5731+512 ~x5730+256 ~x5729+128 ~x5728+64 ~x5727+32 ~x5726+16 ~x5725+8 ~x5724+4 ~x5723+2 ~x5722+1 ~x5721-0=12885002235
56.27/56.37	c 4294967296 ~x2100839+2147483648 ~x2100838+1073741824 ~x2100837+536870912 ~x2100836+268435456 ~x2100835+134217728 ~x2100834+67108864 ~x2100833+33554432 ~x2100832+16777216 ~x2100831+8388608 ~x2100830+4194304 ~x2100829+2097152 ~x2100828+1048576 ~x2100827+524288 ~x2100826+262144 ~x2100825+131072 ~x2100824+65536 ~x2100823+32768 ~x2100822+16384 ~x2100821+8192 ~x2100820+4096 ~x2100819+2048 ~x2100818+1024 ~x2100817+512 ~x2100816+256 ~x2100815+128 ~x2100814+64 ~x2100813+32 ~x2100812+16 ~x2100811+8 ~x2100810+4 ~x2100809+2 ~x2100808+1 ~x2100807+536870912 ~x6470+268435456 ~x6469+134217728 ~x6468+67108864 ~x6467+33554432 ~x6466+16777216 ~x6465+8388608 ~x6464+4194304 ~x6463+2097152 ~x6462+1048576 ~x6461+524288 ~x6460+262144 ~x6459+131072 ~x6458+65536 ~x6457+32768 ~x6456+16384 ~x6455+8192 ~x6454+4096 ~x6453+2048 ~x6452+1024 ~x6451+512 ~x6450+256 ~x6449+128 ~x6448+64 ~x6447+32 ~x6446+16 ~x6445+8 ~x6444+4 ~x6443+2 ~x6442+1 ~x6441+536870912 ~x6440+268435456 ~x6439+134217728 ~x6438+67108864 ~x6437+33554432 ~x6436+16777216 ~x6435+8388608 ~x6434+4194304 ~x6433+2097152 ~x6432+1048576 ~x6431+524288 ~x6430+262144 ~x6429+131072 ~x6428+65536 ~x6427+32768 ~x6426+16384 ~x6425+8192 ~x6424+4096 ~x6423+2048 ~x6422+1024 ~x6421+512 ~x6420+256 ~x6419+128 ~x6418+64 ~x6417+32 ~x6416+16 ~x6415+8 ~x6414+4 ~x6413+2 ~x6412+1 ~x6411+536870912 x6380+268435456 x6379+134217728 x6378+67108864 x6377+33554432 x6376+16777216 x6375+8388608 x6374+4194304 x6373+2097152 x6372+1048576 x6371+524288 x6370+262144 x6369+131072 x6368+65536 x6367+32768 x6366+16384 x6365+8192 x6364+4096 x6363+2048 x6362+1024 x6361+512 x6360+256 x6359+128 x6358+64 x6357+32 x6356+16 x6355+8 x6354+4 x6353+2 x6352+1 x6351+536870912 x6350+268435456 x6349+134217728 x6348+67108864 x6347+33554432 x6346+16777216 x6345+8388608 x6344+4194304 x6343+2097152 x6342+1048576 x6341+524288 x6340+262144 x6339+131072 x6338+65536 x6337+32768 x6336+16384 x6335+8192 x6334+4096 x6333+2048 x6332+1024 x6331+512 x6330+256 x6329+128 x6328+64 x6327+32 x6326+16 x6325+8 x6324+4 x6323+2 x6322+1 x6321+536870912 x6320+268435456 x6319+134217728 x6318+67108864 x6317+33554432 x6316+16777216 x6315+8388608 x6314+4194304 x6313+2097152 x6312+1048576 x6311+524288 x6310+262144 x6309+131072 x6308+65536 x6307+32768 x6306+16384 x6305+8192 x6304+4096 x6303+2048 x6302+1024 x6301+512 x6300+256 x6299+128 x6298+64 x6297+32 x6296+16 x6295+8 x6294+4 x6293+2 x6292+1 x6291+536870912 ~x6290+268435456 ~x6289+134217728 ~x6288+67108864 ~x6287+33554432 ~x6286+16777216 ~x6285+8388608 ~x6284+4194304 ~x6283+2097152 ~x6282+1048576 ~x6281+524288 ~x6280+262144 ~x6279+131072 ~x6278+65536 ~x6277+32768 ~x6276+16384 ~x6275+8192 ~x6274+4096 ~x6273+2048 ~x6272+1024 ~x6271+512 ~x6270+256 ~x6269+128 ~x6268+64 ~x6267+32 ~x6266+16 ~x6265+8 ~x6264+4 ~x6263+2 ~x6262+1 ~x6261+536870912 ~x5780+268435456 ~x5779+134217728 ~x5778+67108864 ~x5777+33554432 ~x5776+16777216 ~x5775+8388608 ~x5774+4194304 ~x5773+2097152 ~x5772+1048576 ~x5771+524288 ~x5770+262144 ~x5769+131072 ~x5768+65536 ~x5767+32768 ~x5766+16384 ~x5765+8192 ~x5764+4096 ~x5763+2048 ~x5762+1024 ~x5761+512 ~x5760+256 ~x5759+128 ~x5758+64 ~x5757+32 ~x5756+16 ~x5755+8 ~x5754+4 ~x5753+2 ~x5752+1 ~x5751-0=12884939771
58.57/58.66	c 1073741824 ~x2200762+536870912 ~x2200761+268435456 ~x2200760+134217728 ~x2200759+67108864 ~x2200758+33554432 ~x2200757+16777216 ~x2200756+8388608 ~x2200755+4194304 ~x2200754+2097152 ~x2200753+1048576 ~x2200752+524288 ~x2200751+262144 ~x2200750+131072 ~x2200749+65536 ~x2200748+32768 ~x2200747+16384 ~x2200746+8192 ~x2200745+4096 ~x2200744+2048 ~x2200743+1024 ~x2200742+512 ~x2200741+256 ~x2200740+128 ~x2200739+64 ~x2200738+32 ~x2200737+16 ~x2200736+8 ~x2200735+4 ~x2200734+2 ~x2200733+1 ~x2200732+536870912 x6410+268435456 x6409+134217728 x6408+67108864 x6407+33554432 x6406+16777216 x6405+8388608 x6404+4194304 x6403+2097152 x6402+1048576 x6401+524288 x6400+262144 x6399+131072 x6398+65536 x6397+32768 x6396+16384 x6395+8192 x6394+4096 x6393+2048 x6392+1024 x6391+512 x6390+256 x6389+128 x6388+64 x6387+32 x6386+16 x6385+8 x6384+4 x6383+2 x6382+1 x6381+536870912 ~x2570+268435456 ~x2569+134217728 ~x2568+67108864 ~x2567+33554432 ~x2566+16777216 ~x2565+8388608 ~x2564+4194304 ~x2563+2097152 ~x2562+1048576 ~x2561+524288 ~x2560+262144 ~x2559+131072 ~x2558+65536 ~x2557+32768 ~x2556+16384 ~x2555+8192 ~x2554+4096 ~x2553+2048 ~x2552+1024 ~x2551+512 ~x2550+256 ~x2549+128 ~x2548+64 ~x2547+32 ~x2546+16 ~x2545+8 ~x2544+4 ~x2543+2 ~x2542+1 ~x2541-0=3221384190
59.37/59.49	c 4294967296 ~x2236391+2147483648 ~x2236390+1073741824 ~x2236389+536870912 ~x2236388+268435456 ~x2236387+134217728 ~x2236386+67108864 ~x2236385+33554432 ~x2236384+16777216 ~x2236383+8388608 ~x2236382+4194304 ~x2236381+2097152 ~x2236380+1048576 ~x2236379+524288 ~x2236378+262144 ~x2236377+131072 ~x2236376+65536 ~x2236375+32768 ~x2236374+16384 ~x2236373+8192 ~x2236372+4096 ~x2236371+2048 ~x2236370+1024 ~x2236369+512 ~x2236368+256 ~x2236367+128 ~x2236366+64 ~x2236365+32 ~x2236364+16 ~x2236363+8 ~x2236362+4 ~x2236361+2 ~x2236360+1 ~x2236359+536870912 ~x6650+268435456 ~x6649+134217728 ~x6648+67108864 ~x6647+33554432 ~x6646+16777216 ~x6645+8388608 ~x6644+4194304 ~x6643+2097152 ~x6642+1048576 ~x6641+524288 ~x6640+262144 ~x6639+131072 ~x6638+65536 ~x6637+32768 ~x6636+16384 ~x6635+8192 ~x6634+4096 ~x6633+2048 ~x6632+1024 ~x6631+512 ~x6630+256 ~x6629+128 ~x6628+64 ~x6627+32 ~x6626+16 ~x6625+8 ~x6624+4 ~x6623+2 ~x6622+1 ~x6621+536870912 ~x6560+268435456 ~x6559+134217728 ~x6558+67108864 ~x6557+33554432 ~x6556+16777216 ~x6555+8388608 ~x6554+4194304 ~x6553+2097152 ~x6552+1048576 ~x6551+524288 ~x6550+262144 ~x6549+131072 ~x6548+65536 ~x6547+32768 ~x6546+16384 ~x6545+8192 ~x6544+4096 ~x6543+2048 ~x6542+1024 ~x6541+512 ~x6540+256 ~x6539+128 ~x6538+64 ~x6537+32 ~x6536+16 ~x6535+8 ~x6534+4 ~x6533+2 ~x6532+1 ~x6531+536870912 x6530+268435456 x6529+134217728 x6528+67108864 x6527+33554432 x6526+16777216 x6525+8388608 x6524+4194304 x6523+2097152 x6522+1048576 x6521+524288 x6520+262144 x6519+131072 x6518+65536 x6517+32768 x6516+16384 x6515+8192 x6514+4096 x6513+2048 x6512+1024 x6511+512 x6510+256 x6509+128 x6508+64 x6507+32 x6506+16 x6505+8 x6504+4 x6503+2 x6502+1 x6501+536870912 x6500+268435456 x6499+134217728 x6498+67108864 x6497+33554432 x6496+16777216 x6495+8388608 x6494+4194304 x6493+2097152 x6492+1048576 x6491+524288 x6490+262144 x6489+131072 x6488+65536 x6487+32768 x6486+16384 x6485+8192 x6484+4096 x6483+2048 x6482+1024 x6481+512 x6480+256 x6479+128 x6478+64 x6477+32 x6476+16 x6475+8 x6474+4 x6473+2 x6472+1 x6471+536870912 ~x6290+268435456 ~x6289+134217728 ~x6288+67108864 ~x6287+33554432 ~x6286+16777216 ~x6285+8388608 ~x6284+4194304 ~x6283+2097152 ~x6282+1048576 ~x6281+524288 ~x6280+262144 ~x6279+131072 ~x6278+65536 ~x6277+32768 ~x6276+16384 ~x6275+8192 ~x6274+4096 ~x6273+2048 ~x6272+1024 ~x6271+512 ~x6270+256 ~x6269+128 ~x6268+64 ~x6267+32 ~x6266+16 ~x6265+8 ~x6264+4 ~x6263+2 ~x6262+1 ~x6261+536870912 ~x6110+268435456 ~x6109+134217728 ~x6108+67108864 ~x6107+33554432 ~x6106+16777216 ~x6105+8388608 ~x6104+4194304 ~x6103+2097152 ~x6102+1048576 ~x6101+524288 ~x6100+262144 ~x6099+131072 ~x6098+65536 ~x6097+32768 ~x6096+16384 ~x6095+8192 ~x6094+4096 ~x6093+2048 ~x6092+1024 ~x6091+512 ~x6090+256 ~x6089+128 ~x6088+64 ~x6087+32 ~x6086+16 ~x6085+8 ~x6084+4 ~x6083+2 ~x6082+1 ~x6081+536870912 ~x4850+268435456 ~x4849+134217728 ~x4848+67108864 ~x4847+33554432 ~x4846+16777216 ~x4845+8388608 ~x4844+4194304 ~x4843+2097152 ~x4842+1048576 ~x4841+524288 ~x4840+262144 ~x4839+131072 ~x4838+65536 ~x4837+32768 ~x4836+16384 ~x4835+8192 ~x4834+4096 ~x4833+2048 ~x4832+1024 ~x4831+512 ~x4830+256 ~x4829+128 ~x4828+64 ~x4827+32 ~x4826+16 ~x4825+8 ~x4824+4 ~x4823+2 ~x4822+1 ~x4821+536870912 ~x4040+268435456 ~x4039+134217728 ~x4038+67108864 ~x4037+33554432 ~x4036+16777216 ~x4035+8388608 ~x4034+4194304 ~x4033+2097152 ~x4032+1048576 ~x4031+524288 ~x4030+262144 ~x4029+131072 ~x4028+65536 ~x4027+32768 ~x4026+16384 ~x4025+8192 ~x4024+4096 ~x4023+2048 ~x4022+1024 ~x4021+512 ~x4020+256 ~x4019+128 ~x4018+64 ~x4017+32 ~x4016+16 ~x4015+8 ~x4014+4 ~x4013+2 ~x4012+1 ~x4011+536870912 ~x3440+268435456 ~x3439+134217728 ~x3438+67108864 ~x3437+33554432 ~x3436+16777216 ~x3435+8388608 ~x3434+4194304 ~x3433+2097152 ~x3432+1048576 ~x3431+524288 ~x3430+262144 ~x3429+131072 ~x3428+65536 ~x3427+32768 ~x3426+16384 ~x3425+8192 ~x3424+4096 ~x3423+2048 ~x3422+1024 ~x3421+512 ~x3420+256 ~x3419+128 ~x3418+64 ~x3417+32 ~x3416+16 ~x3415+8 ~x3414+4 ~x3413+2 ~x3412+1 ~x3411-0=16106160120
62.27/62.34	c 1073741824 ~x2361694+536870912 ~x2361693+268435456 ~x2361692+134217728 ~x2361691+67108864 ~x2361690+33554432 ~x2361689+16777216 ~x2361688+8388608 ~x2361687+4194304 ~x2361686+2097152 ~x2361685+1048576 ~x2361684+524288 ~x2361683+262144 ~x2361682+131072 ~x2361681+65536 ~x2361680+32768 ~x2361679+16384 ~x2361678+8192 ~x2361677+4096 ~x2361676+2048 ~x2361675+1024 ~x2361674+512 ~x2361673+256 ~x2361672+128 ~x2361671+64 ~x2361670+32 ~x2361669+16 ~x2361668+8 ~x2361667+4 ~x2361666+2 ~x2361665+1 ~x2361664+536870912 x6650+268435456 x6649+134217728 x6648+67108864 x6647+33554432 x6646+16777216 x6645+8388608 x6644+4194304 x6643+2097152 x6642+1048576 x6641+524288 x6640+262144 x6639+131072 x6638+65536 x6637+32768 x6636+16384 x6635+8192 x6634+4096 x6633+2048 x6632+1024 x6631+512 x6630+256 x6629+128 x6628+64 x6627+32 x6626+16 x6625+8 x6624+4 x6623+2 x6622+1 x6621+536870912 x6620+268435456 x6619+134217728 x6618+67108864 x6617+33554432 x6616+16777216 x6615+8388608 x6614+4194304 x6613+2097152 x6612+1048576 x6611+524288 x6610+262144 x6609+131072 x6608+65536 x6607+32768 x6606+16384 x6605+8192 x6604+4096 x6603+2048 x6602+1024 x6601+512 x6600+256 x6599+128 x6598+64 x6597+32 x6596+16 x6595+8 x6594+4 x6593+2 x6592+1 x6591+536870912 x6590+268435456 x6589+134217728 x6588+67108864 x6587+33554432 x6586+16777216 x6585+8388608 x6584+4194304 x6583+2097152 x6582+1048576 x6581+524288 x6580+262144 x6579+131072 x6578+65536 x6577+32768 x6576+16384 x6575+8192 x6574+4096 x6573+2048 x6572+1024 x6571+512 x6570+256 x6569+128 x6568+64 x6567+32 x6566+16 x6565+8 x6564+4 x6563+2 x6562+1 x6561+536870912 ~x4880+268435456 ~x4879+134217728 ~x4878+67108864 ~x4877+33554432 ~x4876+16777216 ~x4875+8388608 ~x4874+4194304 ~x4873+2097152 ~x4872+1048576 ~x4871+524288 ~x4870+262144 ~x4869+131072 ~x4868+65536 ~x4867+32768 ~x4866+16384 ~x4865+8192 ~x4864+4096 ~x4863+2048 ~x4862+1024 ~x4861+512 ~x4860+256 ~x4859+128 ~x4858+64 ~x4857+32 ~x4856+16 ~x4855+8 ~x4854+4 ~x4853+2 ~x4852+1 ~x4851-0=3221246974
63.67/63.75	c 2147483648 ~x2422702+1073741824 ~x2422701+536870912 ~x2422700+268435456 ~x2422699+134217728 ~x2422698+67108864 ~x2422697+33554432 ~x2422696+16777216 ~x2422695+8388608 ~x2422694+4194304 ~x2422693+2097152 ~x2422692+1048576 ~x2422691+524288 ~x2422690+262144 ~x2422689+131072 ~x2422688+65536 ~x2422687+32768 ~x2422686+16384 ~x2422685+8192 ~x2422684+4096 ~x2422683+2048 ~x2422682+1024 ~x2422681+512 ~x2422680+256 ~x2422679+128 ~x2422678+64 ~x2422677+32 ~x2422676+16 ~x2422675+8 ~x2422674+4 ~x2422673+2 ~x2422672+1 ~x2422671+536870912 ~x6770+268435456 ~x6769+134217728 ~x6768+67108864 ~x6767+33554432 ~x6766+16777216 ~x6765+8388608 ~x6764+4194304 ~x6763+2097152 ~x6762+1048576 ~x6761+524288 ~x6760+262144 ~x6759+131072 ~x6758+65536 ~x6757+32768 ~x6756+16384 ~x6755+8192 ~x6754+4096 ~x6753+2048 ~x6752+1024 ~x6751+512 ~x6750+256 ~x6749+128 ~x6748+64 ~x6747+32 ~x6746+16 ~x6745+8 ~x6744+4 ~x6743+2 ~x6742+1 ~x6741+536870912 ~x6740+268435456 ~x6739+134217728 ~x6738+67108864 ~x6737+33554432 ~x6736+16777216 ~x6735+8388608 ~x6734+4194304 ~x6733+2097152 ~x6732+1048576 ~x6731+524288 ~x6730+262144 ~x6729+131072 ~x6728+65536 ~x6727+32768 ~x6726+16384 ~x6725+8192 ~x6724+4096 ~x6723+2048 ~x6722+1024 ~x6721+512 ~x6720+256 ~x6719+128 ~x6718+64 ~x6717+32 ~x6716+16 ~x6715+8 ~x6714+4 ~x6713+2 ~x6712+1 ~x6711+536870912 x6710+268435456 x6709+134217728 x6708+67108864 x6707+33554432 x6706+16777216 x6705+8388608 x6704+4194304 x6703+2097152 x6702+1048576 x6701+524288 x6700+262144 x6699+131072 x6698+65536 x6697+32768 x6696+16384 x6695+8192 x6694+4096 x6693+2048 x6692+1024 x6691+512 x6690+256 x6689+128 x6688+64 x6687+32 x6686+16 x6685+8 x6684+4 x6683+2 x6682+1 x6681+536870912 x6680+268435456 x6679+134217728 x6678+67108864 x6677+33554432 x6676+16777216 x6675+8388608 x6674+4194304 x6673+2097152 x6672+1048576 x6671+524288 x6670+262144 x6669+131072 x6668+65536 x6667+32768 x6666+16384 x6665

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.99 0.99 3/106 17799
/proc/meminfo: memFree=1852792/2059040 swapFree=4135436/4192956
[pid=17799] ppid=17797 vsize=8700 CPUtime=0
/proc/17799/stat : 17799 (run) S 17797 17799 17633 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55595665 8908800 250 1992294400 4194304 4922060 140733393615696 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17799/statm: 2175 250 211 178 0 68 0

[startup+0.0422281 s]
/proc/loadavg: 0.99 0.99 0.99 3/106 17799
/proc/meminfo: memFree=1852792/2059040 swapFree=4135436/4192956
[pid=17799] ppid=17797 vsize=8700 CPUtime=0
/proc/17799/stat : 17799 (run) S 17797 17799 17633 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55595665 8908800 250 1992294400 4194304 4922060 140733393615696 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17799/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101233 s]
/proc/loadavg: 0.99 0.99 0.99 3/106 17799
/proc/meminfo: memFree=1852792/2059040 swapFree=4135436/4192956
[pid=17799] ppid=17797 vsize=8700 CPUtime=0
/proc/17799/stat : 17799 (run) S 17797 17799 17633 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55595665 8908800 250 1992294400 4194304 4922060 140733393615696 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17799/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301251 s]
/proc/loadavg: 0.99 0.99 0.99 3/106 17799
/proc/meminfo: memFree=1852792/2059040 swapFree=4135436/4192956
[pid=17799] ppid=17797 vsize=8700 CPUtime=0
/proc/17799/stat : 17799 (run) S 17797 17799 17633 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55595665 8908800 250 1992294400 4194304 4922060 140733393615696 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17799/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700301 s]
/proc/loadavg: 0.99 0.99 0.99 3/106 17799
/proc/meminfo: memFree=1852792/2059040 swapFree=4135436/4192956
[pid=17799] ppid=17797 vsize=8700 CPUtime=0
/proc/17799/stat : 17799 (run) S 17797 17799 17633 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55595665 8908800 250 1992294400 4194304 4922060 140733393615696 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17799/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50036 s]
/proc/loadavg: 0.99 0.99 0.99 2/108 17802
/proc/meminfo: memFree=1686368/2059040 swapFree=4135436/4192956
[pid=17799] ppid=17797 vsize=8700 CPUtime=0
/proc/17799/stat : 17799 (run) S 17797 17799 17633 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55595665 8908800 250 1992294400 4194304 4922060 140733393615696 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17799/statm: 2175 250 211 178 0 68 0
[pid=17801] ppid=17799 vsize=242980 CPUtime=1.48
/proc/17801/stat : 17801 (PBPASSolver) R 17799 17799 17633 0 -1 4202496 60547 0 0 0 60 88 0 0 25 0 1 0 55595665 248811520 60117 1992294400 134512640 134902295 4291526384 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17801/statm: 60745 60117 256 96 0 59957 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 251680

[startup+3.1005 s]
/proc/loadavg: 0.99 0.99 0.99 2/108 17802
/proc/meminfo: memFree=1526284/2059040 swapFree=4135436/4192956
[pid=17799] ppid=17797 vsize=8700 CPUtime=0
/proc/17799/stat : 17799 (run) S 17797 17799 17633 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55595665 8908800 250 1992294400 4194304 4922060 140733393615696 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17799/statm: 2175 250 211 178 0 68 0
[pid=17801] ppid=17799 vsize=440484 CPUtime=3.08
/proc/17801/stat : 17801 (PBPASSolver) R 17799 17799 17633 0 -1 4202496 109895 0 0 0 134 174 0 0 25 0 1 0 55595665 451055616 109465 1992294400 134512640 134902295 4291526384 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17801/statm: 110121 109465 256 96 0 109333 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 449184

[startup+6.30178 s]
/proc/loadavg: 0.99 0.99 0.99 2/108 17802
/proc/meminfo: memFree=1105924/2059040 swapFree=4135436/4192956
[pid=17799] ppid=17797 vsize=8700 CPUtime=0
/proc/17799/stat : 17799 (run) S 17797 17799 17633 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55595665 8908800 250 1992294400 4194304 4922060 140733393615696 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17799/statm: 2175 250 211 178 0 68 0
[pid=17801] ppid=17799 vsize=813092 CPUtime=6.28
/proc/17801/stat : 17801 (PBPASSolver) R 17799 17799 17633 0 -1 4202496 203927 0 0 0 334 294 0 0 25 0 1 0 55595665 832606208 202665 1992294400 134512640 134902295 4291526384 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17801/statm: 203273 202665 259 96 0 202485 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 821792

[startup+12.7014 s]
/proc/loadavg: 0.99 0.99 0.99 2/108 17802
/proc/meminfo: memFree=1013420/2059040 swapFree=4135436/4192956
[pid=17799] ppid=17797 vsize=8700 CPUtime=0
/proc/17799/stat : 17799 (run) S 17797 17799 17633 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55595665 8908800 250 1992294400 4194304 4922060 140733393615696 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17799/statm: 2175 250 211 178 0 68 0
[pid=17801] ppid=17799 vsize=854188 CPUtime=12.68
/proc/17801/stat : 17801 (PBPASSolver) R 17799 17799 17633 0 -1 4202496 236169 0 0 0 956 312 0 0 25 0 1 0 55595665 874688512 212063 1992294400 134512640 134902295 4291526384 18446744073709551615 4160571751 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17801/statm: 213547 212063 262 96 0 212759 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 862888

[startup+25.5015 s]
/proc/loadavg: 0.99 0.99 0.99 2/108 17802
/proc/meminfo: memFree=782656/2059040 swapFree=4135436/4192956
[pid=17799] ppid=17797 vsize=8700 CPUtime=0
/proc/17799/stat : 17799 (run) S 17797 17799 17633 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55595665 8908800 250 1992294400 4194304 4922060 140733393615696 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17799/statm: 2175 250 211 178 0 68 0
[pid=17801] ppid=17799 vsize=1085492 CPUtime=25.48
/proc/17801/stat : 17801 (PBPASSolver) R 17799 17799 17633 0 -1 4202496 295378 0 0 0 2211 337 0 0 25 0 1 0 55595665 1111543808 268304 1992294400 134512640 134902295 4291526384 18446744073709551615 134860515 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17801/statm: 271373 268304 262 96 0 270585 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1094192

[startup+51.1018 s]
/proc/loadavg: 0.99 0.99 0.99 2/108 17804
/proc/meminfo: memFree=329932/2059040 swapFree=4135436/4192956
[pid=17799] ppid=17797 vsize=8700 CPUtime=0
/proc/17799/stat : 17799 (run) S 17797 17799 17633 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55595665 8908800 250 1992294400 4194304 4922060 140733393615696 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17799/statm: 2175 250 211 178 0 68 0
[pid=17801] ppid=17799 vsize=1574668 CPUtime=51.07
/proc/17801/stat : 17801 (PBPASSolver) R 17799 17799 17633 0 -1 4202496 412710 0 0 0 4717 390 0 0 25 0 1 0 55595665 1612460032 382510 1992294400 134512640 134902295 4291526384 18446744073709551615 134635550 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17801/statm: 393667 382510 262 96 0 392879 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1583368



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+64.1009 s]
/proc/loadavg: 0.99 0.99 0.99 2/108 17804
/proc/meminfo: memFree=73004/2059040 swapFree=4135436/4192956
[pid=17799] ppid=17797 vsize=8700 CPUtime=0
/proc/17799/stat : 17799 (run) S 17797 17799 17633 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55595665 8908800 250 1992294400 4194304 4922060 140733393615696 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17799/statm: 2175 250 211 178 0 68 0
[pid=17801] ppid=17799 vsize=1839144 CPUtime=64.07
/proc/17801/stat : 17801 (PBPASSolver) R 17799 17799 17633 0 -1 4202496 475635 0 0 0 5993 414 0 0 25 0 1 0 55595665 1883283456 445427 1992294400 134512640 134902295 4291526384 18446744073709551615 134519664 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17801/statm: 459786 445435 262 96 0 458998 0
Current children cumulated CPU time (s) 64.07
Current children cumulated vsize (KiB) 1847844

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

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

[startup+64.1009 s]
/proc/loadavg: 0.99 0.99 0.99 2/108 17804
/proc/meminfo: memFree=73004/2059040 swapFree=4135436/4192956
[pid=17799] ppid=17797 vsize=8700 CPUtime=0
/proc/17799/stat : 17799 (run) S 17797 17799 17633 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55595665 8908800 250 1992294400 4194304 4922060 140733393615696 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17799/statm: 2175 250 211 178 0 68 0
[pid=17801] ppid=17799 vsize=1839144 CPUtime=64.07
/proc/17801/stat : 17801 (PBPASSolver) R 17799 17799 17633 0 -1 4202496 475635 0 0 0 5993 414 0 0 25 0 1 0 55595665 1883283456 445427 1992294400 134512640 134902295 4291526384 18446744073709551615 134519664 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17801/statm: 459786 445435 262 96 0 458998 0
Current children cumulated CPU time (s) 64.07
Current children cumulated vsize (KiB) 1847844

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 64.1142
CPU time (s): 64.07
CPU user time (s): 59.93
CPU system time (s): 4.14
CPU usage (%): 99.9311
Max. virtual memory (cumulated for all children) (KiB): 1847844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.003999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523
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.116982 second user time and 0.321951 second system time

The end

Begin job on node015 at 2010-06-17 20:39:03
IDJOB=2673772
IDBENCH=2442
IDSOLVER=1174
FILE ID=node015/2673772-1276799943
PBS_JOBID= 11176629
Free space on /tmp= 62580 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing1.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673772-1276799943/watcher-2673772-1276799943 -o /tmp/evaluation-result-2673772-1276799943/solver-2673772-1276799943 -C 1800 -W 2000 -M 1800  run HOME/instance-2673772-1276799943.opb

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

MD5SUM BENCH= 89b57889d16cd406631a12aac7aefa29
RANDOM SEED=202567236

node015.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1853312 kB
Buffers:         31428 kB
Cached:          81920 kB
SwapCached:      10552 kB
Active:          16656 kB
Inactive:       110104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1853312 kB
SwapTotal:     4192956 kB
SwapFree:      4135436 kB
Dirty:            1936 kB
Writeback:           0 kB
AnonPages:       11960 kB
Mapped:           9112 kB
Slab:            57204 kB
PageTables:       4052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180748 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= 62580 MiB
End job on node015 at 2010-06-17 20:40:10