9.98/10.01	c 2470 4744 0 0 0 0 0 0
9.98/10.01	c 256 ~x2480+128 ~x2479+64 ~x2478+32 ~x2477+16 ~x2476+8 ~x2475+4 ~x2474+2 ~x2473+1 ~x2472+169 ~x2471+256 ~x105+128 ~x104+64 ~x103+32 ~x102+16 ~x101+8 ~x100+4 ~x99+2 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
10.08/10.11	c 256 ~x4959+128 ~x4958+64 ~x4957+32 ~x4956+16 ~x4955+8 ~x4954+4 ~x4953+2 ~x4952+1 ~x4951+169 x2471+256 x105+128 x104+64 x103+32 x102+16 x101+8 x100+4 x99+2 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
10.19/10.21	c 256 ~x7438+128 ~x7437+64 ~x7436+32 ~x7435+16 ~x7434+8 ~x7433+4 ~x7432+2 ~x7431+1 ~x7430+169 ~x2470+256 ~x105+128 ~x104+64 ~x103+32 ~x102+16 ~x101+8 ~x100+4 ~x99+2 ~x98+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
10.19/10.28	c 256 ~x9917+128 ~x9916+64 ~x9915+32 ~x9914+16 ~x9913+8 ~x9912+4 ~x9911+2 ~x9910+1 ~x9909+169 x2470+256 x105+128 x104+64 x103+32 x102+16 x101+8 x100+4 x99+2 x98+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
10.28/10.35	c 256 ~x12396+128 ~x12395+64 ~x12394+32 ~x12393+16 ~x12392+8 ~x12391+4 ~x12390+2 ~x12389+1 ~x12388+169 ~x2469+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
10.38/10.44	c 256 ~x15547+128 ~x15546+64 ~x15545+32 ~x15544+16 ~x15543+8 ~x15542+4 ~x15541+2 ~x15540+1 ~x15539+169 x2469+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
10.49/10.52	c 256 ~x18698+128 ~x18697+64 ~x18696+32 ~x18695+16 ~x18694+8 ~x18693+4 ~x18692+2 ~x18691+1 ~x18690+169 ~x2468+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
10.58/10.60	c 256 ~x21849+128 ~x21848+64 ~x21847+32 ~x21846+16 ~x21845+8 ~x21844+4 ~x21843+2 ~x21842+1 ~x21841+169 x2468+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
10.58/10.68	c 256 ~x25000+128 ~x24999+64 ~x24998+32 ~x24997+16 ~x24996+8 ~x24995+4 ~x24994+2 ~x24993+1 ~x24992+169 ~x2467+256 ~x97+128 ~x96+64 ~x95+32 ~x94+16 ~x93+8 ~x92+4 ~x91+2 ~x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
10.68/10.74	c 256 ~x27479+128 ~x27478+64 ~x27477+32 ~x27476+16 ~x27475+8 ~x27474+4 ~x27473+2 ~x27472+1 ~x27471+169 x2467+256 x97+128 x96+64 x95+32 x94+16 x93+8 x92+4 x91+2 x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
10.68/10.80	c 256 ~x29958+128 ~x29957+64 ~x29956+32 ~x29955+16 ~x29954+8 ~x29953+4 ~x29952+2 ~x29951+1 ~x29950+169 ~x2466+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+256 ~x97+128 ~x96+64 ~x95+32 ~x94+16 ~x93+8 ~x92+4 ~x91+2 ~x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82-0=1022
10.78/10.86	c 256 ~x32437+128 ~x32436+64 ~x32435+32 ~x32434+16 ~x32433+8 ~x32432+4 ~x32431+2 ~x32430+1 ~x32429+169 x2466+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+256 x97+128 x96+64 x95+32 x94+16 x93+8 x92+4 x91+2 x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82-0=1022
10.89/10.92	c 256 ~x34916+128 ~x34915+64 ~x34914+32 ~x34913+16 ~x34912+8 ~x34911+4 ~x34910+2 ~x34909+1 ~x34908+169 ~x2465+256 ~x105+128 ~x104+64 ~x103+32 ~x102+16 ~x101+8 ~x100+4 ~x99+2 ~x98+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
10.89/10.98	c 256 ~x37395+128 ~x37394+64 ~x37393+32 ~x37392+16 ~x37391+8 ~x37390+4 ~x37389+2 ~x37388+1 ~x37387+169 x2465+256 x105+128 x104+64 x103+32 x102+16 x101+8 x100+4 x99+2 x98+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
10.99/11.04	c 256 ~x39874+128 ~x39873+64 ~x39872+32 ~x39871+16 ~x39870+8 ~x39869+4 ~x39868+2 ~x39867+1 ~x39866+169 ~x2464+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
11.08/11.11	c 256 ~x43025+128 ~x43024+64 ~x43023+32 ~x43022+16 ~x43021+8 ~x43020+4 ~x43019+2 ~x43018+1 ~x43017+169 x2464+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
11.08/11.19	c 256 ~x46176+128 ~x46175+64 ~x46174+32 ~x46173+16 ~x46172+8 ~x46171+4 ~x46170+2 ~x46169+1 ~x46168+169 ~x2463+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
11.18/11.26	c 256 ~x49327+128 ~x49326+64 ~x49325+32 ~x49324+16 ~x49323+8 ~x49322+4 ~x49321+2 ~x49320+1 ~x49319+169 x2463+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
11.28/11.34	c 256 ~x52478+128 ~x52477+64 ~x52476+32 ~x52475+16 ~x52474+8 ~x52473+4 ~x52472+2 ~x52471+1 ~x52470+169 ~x2462+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
11.39/11.42	c 256 ~x55629+128 ~x55628+64 ~x55627+32 ~x55626+16 ~x55625+8 ~x55624+4 ~x55623+2 ~x55622+1 ~x55621+169 x2462+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
11.48/11.50	c 256 ~x58780+128 ~x58779+64 ~x58778+32 ~x58777+16 ~x58776+8 ~x58775+4 ~x58774+2 ~x58773+1 ~x58772+169 ~x2461+256 ~x97+128 ~x96+64 ~x95+32 ~x94+16 ~x93+8 ~x92+4 ~x91+2 ~x90+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
11.48/11.56	c 256 ~x61259+128 ~x61258+64 ~x61257+32 ~x61256+16 ~x61255+8 ~x61254+4 ~x61253+2 ~x61252+1 ~x61251+169 x2461+256 x97+128 x96+64 x95+32 x94+16 x93+8 x92+4 x91+2 x90+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
11.58/11.62	c 256 ~x63738+128 ~x63737+64 ~x63736+32 ~x63735+16 ~x63734+8 ~x63733+4 ~x63732+2 ~x63731+1 ~x63730+169 ~x2460+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+256 ~x97+128 ~x96+64 ~x95+32 ~x94+16 ~x93+8 ~x92+4 ~x91+2 ~x90+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74-0=1022
11.58/11.68	c 256 ~x66217+128 ~x66216+64 ~x66215+32 ~x66214+16 ~x66213+8 ~x66212+4 ~x66211+2 ~x66210+1 ~x66209+169 x2460+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+256 x97+128 x96+64 x95+32 x94+16 x93+8 x92+4 x91+2 x90+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74-0=1022
11.68/11.74	c 256 ~x68696+128 ~x68695+64 ~x68694+32 ~x68693+16 ~x68692+8 ~x68691+4 ~x68690+2 ~x68689+1 ~x68688+169 ~x2459+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
11.78/11.82	c 256 ~x71847+128 ~x71846+64 ~x71845+32 ~x71844+16 ~x71843+8 ~x71842+4 ~x71841+2 ~x71840+1 ~x71839+169 x2459+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
11.78/11.89	c 256 ~x74998+128 ~x74997+64 ~x74996+32 ~x74995+16 ~x74994+8 ~x74993+4 ~x74992+2 ~x74991+1 ~x74990+169 ~x2458+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74-0=1022
11.88/11.97	c 256 ~x78149+128 ~x78148+64 ~x78147+32 ~x78146+16 ~x78145+8 ~x78144+4 ~x78143+2 ~x78142+1 ~x78141+169 x2458+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74-0=1022
11.98/12.04	c 256 ~x81300+128 ~x81299+64 ~x81298+32 ~x81297+16 ~x81296+8 ~x81295+4 ~x81294+2 ~x81293+1 ~x81292+169 ~x2457+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
12.09/12.12	c 256 ~x84451+128 ~x84450+64 ~x84449+32 ~x84448+16 ~x84447+8 ~x84446+4 ~x84445+2 ~x84444+1 ~x84443+169 x2457+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
12.09/12.19	c 256 ~x87602+128 ~x87601+64 ~x87600+32 ~x87599+16 ~x87598+8 ~x87597+4 ~x87596+2 ~x87595+1 ~x87594+169 ~x2456+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
12.18/12.27	c 256 ~x90753+128 ~x90752+64 ~x90751+32 ~x90750+16 ~x90749+8 ~x90748+4 ~x90747+2 ~x90746+1 ~x90745+169 x2456+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
12.28/12.35	c 256 ~x93904+128 ~x93903+64 ~x93902+32 ~x93901+16 ~x93900+8 ~x93899+4 ~x93898+2 ~x93897+1 ~x93896+169 ~x2455+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74-0=1022
12.38/12.42	c 256 ~x97055+128 ~x97054+64 ~x97053+32 ~x97052+16 ~x97051+8 ~x97050+4 ~x97049+2 ~x97048+1 ~x97047+169 x2455+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74-0=1022
12.48/12.50	c 256 ~x100206+128 ~x100205+64 ~x100204+32 ~x100203+16 ~x100202+8 ~x100201+4 ~x100200+2 ~x100199+1 ~x100198+169 ~x2454+256 ~x89+128 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
12.48/12.56	c 256 ~x102685+128 ~x102684+64 ~x102683+32 ~x102682+16 ~x102681+8 ~x102680+4 ~x102679+2 ~x102678+1 ~x102677+169 x2454+256 x89+128 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
12.58/12.62	c 256 ~x105164+128 ~x105163+64 ~x105162+32 ~x105161+16 ~x105160+8 ~x105159+4 ~x105158+2 ~x105157+1 ~x105156+169 ~x2453+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+256 ~x89+128 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74-0=1022
12.58/12.68	c 256 ~x107643+128 ~x107642+64 ~x107641+32 ~x107640+16 ~x107639+8 ~x107638+4 ~x107637+2 ~x107636+1 ~x107635+169 x2453+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+256 x89+128 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74-0=1022
12.68/12.74	c 256 ~x110122+128 ~x110121+64 ~x110120+32 ~x110119+16 ~x110118+8 ~x110117+4 ~x110116+2 ~x110115+1 ~x110114+169 ~x2452+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+256 ~x89+128 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74-0=1022
12.79/12.80	c 256 ~x112601+128 ~x112600+64 ~x112599+32 ~x112598+16 ~x112597+8 ~x112596+4 ~x112595+2 ~x112594+1 ~x112593+169 x2452+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+256 x89+128 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74-0=1022
12.79/12.86	c 256 ~x115080+128 ~x115079+64 ~x115078+32 ~x115077+16 ~x115076+8 ~x115075+4 ~x115074+2 ~x115073+1 ~x115072+169 ~x2451+256 ~x105+128 ~x104+64 ~x103+32 ~x102+16 ~x101+8 ~x100+4 ~x99+2 ~x98+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
12.88/12.92	c 256 ~x117559+128 ~x117558+64 ~x117557+32 ~x117556+16 ~x117555+8 ~x117554+4 ~x117553+2 ~x117552+1 ~x117551+169 x2451+256 x105+128 x104+64 x103+32 x102+16 x101+8 x100+4 x99+2 x98+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
12.88/12.98	c 256 ~x120038+128 ~x120037+64 ~x120036+32 ~x120035+16 ~x120034+8 ~x120033+4 ~x120032+2 ~x120031+1 ~x120030+169 ~x2450+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
12.98/13.06	c 256 ~x123189+128 ~x123188+64 ~x123187+32 ~x123186+16 ~x123185+8 ~x123184+4 ~x123183+2 ~x123182+1 ~x123181+169 x2450+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
13.09/13.13	c 256 ~x126340+128 ~x126339+64 ~x126338+32 ~x126337+16 ~x126336+8 ~x126335+4 ~x126334+2 ~x126333+1 ~x126332+169 ~x2449+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
13.19/13.21	c 256 ~x129491+128 ~x129490+64 ~x129489+32 ~x129488+16 ~x129487+8 ~x129486+4 ~x129485+2 ~x129484+1 ~x129483+169 x2449+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
13.19/13.28	c 256 ~x132642+128 ~x132641+64 ~x132640+32 ~x132639+16 ~x132638+8 ~x132637+4 ~x132636+2 ~x132635+1 ~x132634+169 ~x2448+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
13.28/13.36	c 256 ~x135793+128 ~x135792+64 ~x135791+32 ~x135790+16 ~x135789+8 ~x135788+4 ~x135787+2 ~x135786+1 ~x135785+169 x2448+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
13.38/13.44	c 256 ~x138944+128 ~x138943+64 ~x138942+32 ~x138941+16 ~x138940+8 ~x138939+4 ~x138938+2 ~x138937+1 ~x138936+169 ~x2447+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
13.48/13.51	c 256 ~x142095+128 ~x142094+64 ~x142093+32 ~x142092+16 ~x142091+8 ~x142090+4 ~x142089+2 ~x142088+1 ~x142087+169 x2447+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
13.48/13.59	c 256 ~x145246+128 ~x145245+64 ~x145244+32 ~x145243+16 ~x145242+8 ~x145241+4 ~x145240+2 ~x145239+1 ~x145238+169 ~x2446+256 ~x97+128 ~x96+64 ~x95+32 ~x94+16 ~x93+8 ~x92+4 ~x91+2 ~x90+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
13.58/13.65	c 256 ~x147725+128 ~x147724+64 ~x147723+32 ~x147722+16 ~x147721+8 ~x147720+4 ~x147719+2 ~x147718+1 ~x147717+169 x2446+256 x97+128 x96+64 x95+32 x94+16 x93+8 x92+4 x91+2 x90+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
13.68/13.71	c 256 ~x150204+128 ~x150203+64 ~x150202+32 ~x150201+16 ~x150200+8 ~x150199+4 ~x150198+2 ~x150197+1 ~x150196+169 ~x2445+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+256 ~x97+128 ~x96+64 ~x95+32 ~x94+16 ~x93+8 ~x92+4 ~x91+2 ~x90+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66-0=1022
13.68/13.77	c 256 ~x152683+128 ~x152682+64 ~x152681+32 ~x152680+16 ~x152679+8 ~x152678+4 ~x152677+2 ~x152676+1 ~x152675+169 x2445+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+256 x97+128 x96+64 x95+32 x94+16 x93+8 x92+4 x91+2 x90+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66-0=1022
13.78/13.83	c 256 ~x155162+128 ~x155161+64 ~x155160+32 ~x155159+16 ~x155158+8 ~x155157+4 ~x155156+2 ~x155155+1 ~x155154+169 ~x2444+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
13.88/13.90	c 256 ~x158313+128 ~x158312+64 ~x158311+32 ~x158310+16 ~x158309+8 ~x158308+4 ~x158307+2 ~x158306+1 ~x158305+169 x2444+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
13.88/13.98	c 256 ~x161464+128 ~x161463+64 ~x161462+32 ~x161461+16 ~x161460+8 ~x161459+4 ~x161458+2 ~x161457+1 ~x161456+169 ~x2443+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66-0=1022
13.98/14.05	c 256 ~x164615+128 ~x164614+64 ~x164613+32 ~x164612+16 ~x164611+8 ~x164610+4 ~x164609+2 ~x164608+1 ~x164607+169 x2443+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66-0=1022
14.08/14.13	c 256 ~x167766+128 ~x167765+64 ~x167764+32 ~x167763+16 ~x167762+8 ~x167761+4 ~x167760+2 ~x167759+1 ~x167758+169 ~x2442+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
14.18/14.21	c 256 ~x170917+128 ~x170916+64 ~x170915+32 ~x170914+16 ~x170913+8 ~x170912+4 ~x170911+2 ~x170910+1 ~x170909+169 x2442+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
14.18/14.28	c 256 ~x174068+128 ~x174067+64 ~x174066+32 ~x174065+16 ~x174064+8 ~x174063+4 ~x174062+2 ~x174061+1 ~x174060+169 ~x2441+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66-0=1022
14.29/14.36	c 256 ~x177219+128 ~x177218+64 ~x177217+32 ~x177216+16 ~x177215+8 ~x177214+4 ~x177213+2 ~x177212+1 ~x177211+169 x2441+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66-0=1022
14.38/14.43	c 256 ~x180370+128 ~x180369+64 ~x180368+32 ~x180367+16 ~x180366+8 ~x180365+4 ~x180364+2 ~x180363+1 ~x180362+169 ~x2440+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
14.48/14.51	c 256 ~x183521+128 ~x183520+64 ~x183519+32 ~x183518+16 ~x183517+8 ~x183516+4 ~x183515+2 ~x183514+1 ~x183513+169 x2440+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
14.48/14.58	c 256 ~x186672+128 ~x186671+64 ~x186670+32 ~x186669+16 ~x186668+8 ~x186667+4 ~x186666+2 ~x186665+1 ~x186664+169 ~x2439+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
14.58/14.66	c 256 ~x189823+128 ~x189822+64 ~x189821+32 ~x189820+16 ~x189819+8 ~x189818+4 ~x189817+2 ~x189816+1 ~x189815+169 x2439+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
14.68/14.74	c 256 ~x192974+128 ~x192973+64 ~x192972+32 ~x192971+16 ~x192970+8 ~x192969+4 ~x192968+2 ~x192967+1 ~x192966+169 ~x2438+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66-0=1022
14.78/14.81	c 256 ~x196125+128 ~x196124+64 ~x196123+32 ~x196122+16 ~x196121+8 ~x196120+4 ~x196119+2 ~x196118+1 ~x196117+169 x2438+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66-0=1022
14.78/14.89	c 256 ~x199276+128 ~x199275+64 ~x199274+32 ~x199273+16 ~x199272+8 ~x199271+4 ~x199270+2 ~x199269+1 ~x199268+169 ~x2437+256 ~x89+128 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
14.88/14.95	c 256 ~x201755+128 ~x201754+64 ~x201753+32 ~x201752+16 ~x201751+8 ~x201750+4 ~x201749+2 ~x201748+1 ~x201747+169 x2437+256 x89+128 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
14.98/15.01	c 256 ~x204234+128 ~x204233+64 ~x204232+32 ~x204231+16 ~x204230+8 ~x204229+4 ~x204228+2 ~x204227+1 ~x204226+169 ~x2436+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+256 ~x89+128 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66-0=1022
14.98/15.07	c 256 ~x206713+128 ~x206712+64 ~x206711+32 ~x206710+16 ~x206709+8 ~x206708+4 ~x206707+2 ~x206706+1 ~x206705+169 x2436+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+256 x89+128 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66-0=1022
15.08/15.13	c 256 ~x209192+128 ~x209191+64 ~x209190+32 ~x209189+16 ~x209188+8 ~x209187+4 ~x209186+2 ~x209185+1 ~x209184+169 ~x2435+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+256 ~x89+128 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66-0=1022
15.08/15.19	c 256 ~x211671+128 ~x211670+64 ~x211669+32 ~x211668+16 ~x211667+8 ~x211666+4 ~x211665+2 ~x211664+1 ~x211663+169 x2435+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+256 x89+128 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66-0=1022
15.18/15.25	c 256 ~x214150+128 ~x214149+64 ~x214148+32 ~x214147+16 ~x214146+8 ~x214145+4 ~x214144+2 ~x214143+1 ~x214142+169 ~x2434+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
15.28/15.33	c 256 ~x217301+128 ~x217300+64 ~x217299+32 ~x217298+16 ~x217297+8 ~x217296+4 ~x217295+2 ~x217294+1 ~x217293+169 x2434+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
15.28/15.40	c 256 ~x220452+128 ~x220451+64 ~x220450+32 ~x220449+16 ~x220448+8 ~x220447+4 ~x220446+2 ~x220445+1 ~x220444+169 ~x2433+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66-0=1022
15.38/15.48	c 256 ~x223603+128 ~x223602+64 ~x223601+32 ~x223600+16 ~x223599+8 ~x223598+4 ~x223597+2 ~x223596+1 ~x223595+169 x2433+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66-0=1022
15.48/15.55	c 256 ~x226754+128 ~x226753+64 ~x226752+32 ~x226751+16 ~x226750+8 ~x226749+4 ~x226748+2 ~x226747+1 ~x226746+169 ~x2432+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66-0=1022
15.58/15.63	c 256 ~x229905+128 ~x229904+64 ~x229903+32 ~x229902+16 ~x229901+8 ~x229900+4 ~x229899+2 ~x229898+1 ~x229897+169 x2432+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66-0=1022
15.68/15.70	c 256 ~x233056+128 ~x233055+64 ~x233054+32 ~x233053+16 ~x233052+8 ~x233051+4 ~x233050+2 ~x233049+1 ~x233048+169 ~x2431+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
15.68/15.78	c 256 ~x236207+128 ~x236206+64 ~x236205+32 ~x236204+16 ~x236203+8 ~x236202+4 ~x236201+2 ~x236200+1 ~x236199+169 x2431+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
15.78/15.85	c 256 ~x239358+128 ~x239357+64 ~x239356+32 ~x239355+16 ~x239354+8 ~x239353+4 ~x239352+2 ~x239351+1 ~x239350+169 ~x2430+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
15.88/15.93	c 256 ~x242509+128 ~x242508+64 ~x242507+32 ~x242506+16 ~x242505+8 ~x242504+4 ~x242503+2 ~x242502+1 ~x242501+169 x2430+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
15.98/16.00	c 256 ~x245660+128 ~x245659+64 ~x245658+32 ~x245657+16 ~x245656+8 ~x245655+4 ~x245654+2 ~x245653+1 ~x245652+169 ~x2429+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66-0=1022
15.98/16.08	c 256 ~x248811+128 ~x248810+64 ~x248809+32 ~x248808+16 ~x248807+8 ~x248806+4 ~x248805+2 ~x248804+1 ~x248803+169 x2429+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66-0=1022
16.08/16.15	c 256 ~x251962+128 ~x251961+64 ~x251960+32 ~x251959+16 ~x251958+8 ~x251957+4 ~x251956+2 ~x251955+1 ~x251954+169 ~x2428+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
16.18/16.23	c 256 ~x255113+128 ~x255112+64 ~x255111+32 ~x255110+16 ~x255109+8 ~x255108+4 ~x255107+2 ~x255106+1 ~x255105+169 x2428+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
16.28/16.31	c 256 ~x258264+128 ~x258263+64 ~x258262+32 ~x258261+16 ~x258260+8 ~x258259+4 ~x258258+2 ~x258257+1 ~x258256+169 ~x2427+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66-0=1022
16.28/16.38	c 256 ~x261415+128 ~x261414+64 ~x261413+32 ~x261412+16 ~x261411+8 ~x261410+4 ~x261409+2 ~x261408+1 ~x261407+169 x2427+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66-0=1022
16.38/16.46	c 256 ~x264566+128 ~x264565+64 ~x264564+32 ~x264563+16 ~x264562+8 ~x264561+4 ~x264560+2 ~x264559+1 ~x264558+169 ~x2426+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66-0=1022
16.49/16.54	c 256 ~x267717+128 ~x267716+64 ~x267715+32 ~x267714+16 ~x267713+8 ~x267712+4 ~x267711+2 ~x267710+1 ~x267709+169 x2426+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66-0=1022
16.58/16.61	c 256 ~x270868+128 ~x270867+64 ~x270866+32 ~x270865+16 ~x270864+8 ~x270863+4 ~x270862+2 ~x270861+1 ~x270860+169 ~x2425+256 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
16.58/16.67	c 256 ~x273347+128 ~x273346+64 ~x273345+32 ~x273344+16 ~x273343+8 ~x273342+4 ~x273341+2 ~x273340+1 ~x273339+169 x2425+256 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
16.68/16.73	c 256 ~x275826+128 ~x275825+64 ~x275824+32 ~x275823+16 ~x275822+8 ~x275821+4 ~x275820+2 ~x275819+1 ~x275818+169 ~x2424+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+256 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66-0=1022
16.68/16.79	c 256 ~x278305+128 ~x278304+64 ~x278303+32 ~x278302+16 ~x278301+8 ~x278300+4 ~x278299+2 ~x278298+1 ~x278297+169 x2424+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+256 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66-0=1022
16.78/16.85	c 256 ~x280784+128 ~x280783+64 ~x280782+32 ~x280781+16 ~x280780+8 ~x280779+4 ~x280778+2 ~x280777+1 ~x280776+169 ~x2423+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+256 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66-0=1022
16.88/16.91	c 256 ~x283263+128 ~x283262+64 ~x283261+32 ~x283260+16 ~x283259+8 ~x283258+4 ~x283257+2 ~x283256+1 ~x283255+169 x2423+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+256 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66-0=1022
16.88/16.97	c 256 ~x285742+128 ~x285741+64 ~x285740+32 ~x285739+16 ~x285738+8 ~x285737+4 ~x285736+2 ~x285735+1 ~x285734+169 ~x2422+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+256 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66-0=1022
16.98/17.03	c 256 ~x288221+128 ~x288220+64 ~x288219+32 ~x288218+16 ~x288217+8 ~x288216+4 ~x288215+2 ~x288214+1 ~x288213+169 x2422+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+256 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66-0=1022
16.98/17.09	c 256 ~x290700+128 ~x290699+64 ~x290698+32 ~x290697+16 ~x290696+8 ~x290695+4 ~x290694+2 ~x290693+1 ~x290692+169 ~x2421+256 ~x105+128 ~x104+64 ~x103+32 ~x102+16 ~x101+8 ~x100+4 ~x99+2 ~x98+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
17.08/17.15	c 256 ~x293179+128 ~x293178+64 ~x293177+32 ~x293176+16 ~x293175+8 ~x293174+4 ~x293173+2 ~x293172+1 ~x293171+169 x2421+256 x105+128 x104+64 x103+32 x102+16 x101+8 x100+4 x99+2 x98+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
17.18/17.21	c 256 ~x295658+128 ~x295657+64 ~x295656+32 ~x295655+16 ~x295654+8 ~x295653+4 ~x295652+2 ~x295651+1 ~x295650+169 ~x2420+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
17.18/17.29	c 256 ~x298809+128 ~x298808+64 ~x298807+32 ~x298806+16 ~x298805+8 ~x298804+4 ~x298803+2 ~x298802+1 ~x298801+169 x2420+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
17.28/17.36	c 256 ~x301960+128 ~x301959+64 ~x301958+32 ~x301957+16 ~x301956+8 ~x301955+4 ~x301954+2 ~x301953+1 ~x301952+169 ~x2419+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
17.38/17.44	c 256 ~x305111+128 ~x305110+64 ~x305109+32 ~x305108+16 ~x305107+8 ~x305106+4 ~x305105+2 ~x305104+1 ~x305103+169 x2419+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
17.49/17.51	c 256 ~x308262+128 ~x308261+64 ~x308260+32 ~x308259+16 ~x308258+8 ~x308257+4 ~x308256+2 ~x308255+1 ~x308254+169 ~x2418+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
17.49/17.59	c 256 ~x311413+128 ~x311412+64 ~x311411+32 ~x311410+16 ~x311409+8 ~x311408+4 ~x311407+2 ~x311406+1 ~x311405+169 x2418+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
17.59/17.66	c 256 ~x314564+128 ~x314563+64 ~x314562+32 ~x314561+16 ~x314560+8 ~x314559+4 ~x314558+2 ~x314557+1 ~x314556+169 ~x2417+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
17.68/17.74	c 256 ~x317715+128 ~x317714+64 ~x317713+32 ~x317712+16 ~x317711+8 ~x317710+4 ~x317709+2 ~x317708+1 ~x317707+169 x2417+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
17.78/17.82	c 256 ~x320866+128 ~x320865+64 ~x320864+32 ~x320863+16 ~x320862+8 ~x320861+4 ~x320860+2 ~x320859+1 ~x320858+169 ~x2416+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
17.78/17.89	c 256 ~x324017+128 ~x324016+64 ~x324015+32 ~x324014+16 ~x324013+8 ~x324012+4 ~x324011+2 ~x324010+1 ~x324009+169 x2416+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
17.88/17.97	c 256 ~x327168+128 ~x327167+64 ~x327166+32 ~x327165+16 ~x327164+8 ~x327163+4 ~x327162+2 ~x327161+1 ~x327160+169 ~x2415+256 ~x97+128 ~x96+64 ~x95+32 ~x94+16 ~x93+8 ~x92+4 ~x91+2 ~x90+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
17.98/18.03	c 256 ~x329647+128 ~x329646+64 ~x329645+32 ~x329644+16 ~x329643+8 ~x329642+4 ~x329641+2 ~x329640+1 ~x329639+169 x2415+256 x97+128 x96+64 x95+32 x94+16 x93+8 x92+4 x91+2 x90+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
17.98/18.09	c 256 ~x332126+128 ~x332125+64 ~x332124+32 ~x332123+16 ~x332122+8 ~x332121+4 ~x332120+2 ~x332119+1 ~x332118+169 ~x2414+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+256 ~x97+128 ~x96+64 ~x95+32 ~x94+16 ~x93+8 ~x92+4 ~x91+2 ~x90+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
18.07/18.15	c 256 ~x334605+128 ~x334604+64 ~x334603+32 ~x334602+16 ~x334601+8 ~x334600+4 ~x334599+2 ~x334598+1 ~x334597+169 x2414+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+256 x97+128 x96+64 x95+32 x94+16 x93+8 x92+4 x91+2 x90+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
18.18/18.21	c 256 ~x337084+128 ~x337083+64 ~x337082+32 ~x337081+16 ~x337080+8 ~x337079+4 ~x337078+2 ~x337077+1 ~x337076+169 ~x2413+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
18.18/18.29	c 256 ~x340235+128 ~x340234+64 ~x340233+32 ~x340232+16 ~x340231+8 ~x340230+4 ~x340229+2 ~x340228+1 ~x340227+169 x2413+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
18.28/18.36	c 256 ~x343386+128 ~x343385+64 ~x343384+32 ~x343383+16 ~x343382+8 ~x343381+4 ~x343380+2 ~x343379+1 ~x343378+169 ~x2412+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
18.38/18.44	c 256 ~x346537+128 ~x346536+64 ~x346535+32 ~x346534+16 ~x346533+8 ~x346532+4 ~x346531+2 ~x346530+1 ~x346529+169 x2412+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
18.48/18.51	c 256 ~x349688+128 ~x349687+64 ~x349686+32 ~x349685+16 ~x349684+8 ~x349683+4 ~x349682+2 ~x349681+1 ~x349680+169 ~x2411+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
18.48/18.59	c 256 ~x352839+128 ~x352838+64 ~x352837+32 ~x352836+16 ~x352835+8 ~x352834+4 ~x352833+2 ~x352832+1 ~x352831+169 x2411+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
18.58/18.66	c 256 ~x355990+128 ~x355989+64 ~x355988+32 ~x355987+16 ~x355986+8 ~x355985+4 ~x355984+2 ~x355983+1 ~x355982+169 ~x2410+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
18.69/18.74	c 256 ~x359141+128 ~x359140+64 ~x359139+32 ~x359138+16 ~x359137+8 ~x359136+4 ~x359135+2 ~x359134+1 ~x359133+169 x2410+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
18.78/18.82	c 256 ~x362292+128 ~x362291+64 ~x362290+32 ~x362289+16 ~x362288+8 ~x362287+4 ~x362286+2 ~x362285+1 ~x362284+169 ~x2409+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
18.78/18.89	c 256 ~x365443+128 ~x365442+64 ~x365441+32 ~x365440+16 ~x365439+8 ~x365438+4 ~x365437+2 ~x365436+1 ~x365435+169 x2409+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
18.88/18.97	c 256 ~x368594+128 ~x368593+64 ~x368592+32 ~x368591+16 ~x368590+8 ~x368589+4 ~x368588+2 ~x368587+1 ~x368586+169 ~x2408+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
18.98/19.04	c 256 ~x371745+128 ~x371744+64 ~x371743+32 ~x371742+16 ~x371741+8 ~x371740+4 ~x371739+2 ~x371738+1 ~x371737+169 x2408+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
19.07/19.12	c 256 ~x374896+128 ~x374895+64 ~x374894+32 ~x374893+16 ~x374892+8 ~x374891+4 ~x374890+2 ~x374889+1 ~x374888+169 ~x2407+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
19.07/19.19	c 256 ~x378047+128 ~x378046+64 ~x378045+32 ~x378044+16 ~x378043+8 ~x378042+4 ~x378041+2 ~x378040+1 ~x378039+169 x2407+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
19.18/19.27	c 256 ~x381198+128 ~x381197+64 ~x381196+32 ~x381195+16 ~x381194+8 ~x381193+4 ~x381192+2 ~x381191+1 ~x381190+169 ~x2406+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
19.28/19.34	c 256 ~x384349+128 ~x384348+64 ~x384347+32 ~x384346+16 ~x384345+8 ~x384344+4 ~x384343+2 ~x384342+1 ~x384341+169 x2406+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
19.38/19.42	c 256 ~x387500+128 ~x387499+64 ~x387498+32 ~x387497+16 ~x387496+8 ~x387495+4 ~x387494+2 ~x387493+1 ~x387492+169 ~x2405+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
19.38/19.49	c 256 ~x390651+128 ~x390650+64 ~x390649+32 ~x390648+16 ~x390647+8 ~x390646+4 ~x390645+2 ~x390644+1 ~x390643+169 x2405+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
19.48/19.57	c 256 ~x393802+128 ~x393801+64 ~x393800+32 ~x393799+16 ~x393798+8 ~x393797+4 ~x393796+2 ~x393795+1 ~x393794+169 ~x2404+256 ~x89+128 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
19.58/19.63	c 256 ~x396281+128 ~x396280+64 ~x396279+32 ~x396278+16 ~x396277+8 ~x396276+4 ~x396275+2 ~x396274+1 ~x396273+169 x2404+256 x89+128 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
19.58/19.69	c 256 ~x398760+128 ~x398759+64 ~x398758+32 ~x398757+16 ~x398756+8 ~x398755+4 ~x398754+2 ~x398753+1 ~x398752+169 ~x2403+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+256 ~x89+128 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
19.68/19.75	c 256 ~x401239+128 ~x401238+64 ~x401237+32 ~x401236+16 ~x401235+8 ~x401234+4 ~x401233+2 ~x401232+1 ~x401231+169 x2403+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+256 x89+128 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
19.78/19.81	c 256 ~x403718+128 ~x403717+64 ~x403716+32 ~x403715+16 ~x403714+8 ~x403713+4 ~x403712+2 ~x403711+1 ~x403710+169 ~x2402+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+256 ~x89+128 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
19.78/19.87	c 256 ~x406197+128 ~x406196+64 ~x406195+32 ~x406194+16 ~x406193+8 ~x406192+4 ~x406191+2 ~x406190+1 ~x406189+169 x2402+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+256 x89+128 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
19.87/19.93	c 256 ~x408676+128 ~x408675+64 ~x408674+32 ~x408673+16 ~x408672+8 ~x408671+4 ~x408670+2 ~x408669+1 ~x408668+169 ~x2401+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
19.98/20.01	c 256 ~x411827+128 ~x411826+64 ~x411825+32 ~x411824+16 ~x411823+8 ~x411822+4 ~x411821+2 ~x411820+1 ~x411819+169 x2401+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
19.98/20.09	c 256 ~x414978+128 ~x414977+64 ~x414976+32 ~x414975+16 ~x414974+8 ~x414973+4 ~x414972+2 ~x414971+1 ~x414970+169 ~x2400+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
20.08/20.16	c 256 ~x418129+128 ~x418128+64 ~x418127+32 ~x418126+16 ~x418125+8 ~x418124+4 ~x418123+2 ~x418122+1 ~x418121+169 x2400+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
20.18/20.24	c 256 ~x421280+128 ~x421279+64 ~x421278+32 ~x421277+16 ~x421276+8 ~x421275+4 ~x421274+2 ~x421273+1 ~x421272+169 ~x2399+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
20.28/20.31	c 256 ~x424431+128 ~x424430+64 ~x424429+32 ~x424428+16 ~x424427+8 ~x424426+4 ~x424425+2 ~x424424+1 ~x424423+169 x2399+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
20.28/20.39	c 256 ~x427582+128 ~x427581+64 ~x427580+32 ~x427579+16 ~x427578+8 ~x427577+4 ~x427576+2 ~x427575+1 ~x427574+169 ~x2398+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
20.38/20.46	c 256 ~x430733+128 ~x430732+64 ~x430731+32 ~x430730+16 ~x430729+8 ~x430728+4 ~x430727+2 ~x430726+1 ~x430725+169 x2398+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
20.47/20.54	c 256 ~x433884+128 ~x433883+64 ~x433882+32 ~x433881+16 ~x433880+8 ~x433879+4 ~x433878+2 ~x433877+1 ~x433876+169 ~x2397+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
20.58/20.61	c 256 ~x437035+128 ~x437034+64 ~x437033+32 ~x437032+16 ~x437031+8 ~x437030+4 ~x437029+2 ~x437028+1 ~x437027+169 x2397+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
20.58/20.69	c 256 ~x440186+128 ~x440185+64 ~x440184+32 ~x440183+16 ~x440182+8 ~x440181+4 ~x440180+2 ~x440179+1 ~x440178+169 ~x2396+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
20.68/20.76	c 256 ~x443337+128 ~x443336+64 ~x443335+32 ~x443334+16 ~x443333+8 ~x443332+4 ~x443331+2 ~x443330+1 ~x443329+169 x2396+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
20.79/20.84	c 256 ~x446488+128 ~x446487+64 ~x446486+32 ~x446485+16 ~x446484+8 ~x446483+4 ~x446482+2 ~x446481+1 ~x446480+169 ~x2395+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
20.89/20.91	c 256 ~x449639+128 ~x449638+64 ~x449637+32 ~x449636+16 ~x449635+8 ~x449634+4 ~x449633+2 ~x449632+1 ~x449631+169 x2395+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
20.89/20.99	c 256 ~x452790+128 ~x452789+64 ~x452788+32 ~x452787+16 ~x452786+8 ~x452785+4 ~x452784+2 ~x452783+1 ~x452782+169 ~x2394+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
20.98/21.06	c 256 ~x455941+128 ~x455940+64 ~x455939+32 ~x455938+16 ~x455937+8 ~x455936+4 ~x455935+2 ~x455934+1 ~x455933+169 x2394+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
21.08/21.14	c 256 ~x459092+128 ~x459091+64 ~x459090+32 ~x459089+16 ~x459088+8 ~x459087+4 ~x459086+2 ~x459085+1 ~x459084+169 ~x2393+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
21.18/21.22	c 256 ~x462243+128 ~x462242+64 ~x462241+32 ~x462240+16 ~x462239+8 ~x462238+4 ~x462237+2 ~x462236+1 ~x462235+169 x2393+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
21.18/21.29	c 256 ~x465394+128 ~x465393+64 ~x465392+32 ~x465391+16 ~x465390+8 ~x465389+4 ~x465388+2 ~x465387+1 ~x465386+169 ~x2392+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
21.28/21.37	c 256 ~x468545+128 ~x468544+64 ~x468543+32 ~x468542+16 ~x468541+8 ~x468540+4 ~x468539+2 ~x468538+1 ~x468537+169 x2392+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
21.38/21.44	c 256 ~x471696+128 ~x471695+64 ~x471694+32 ~x471693+16 ~x471692+8 ~x471691+4 ~x471690+2 ~x471689+1 ~x471688+169 ~x2391+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
21.48/21.52	c 256 ~x474847+128 ~x474846+64 ~x474845+32 ~x474844+16 ~x474843+8 ~x474842+4 ~x474841+2 ~x474840+1 ~x474839+169 x2391+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
21.48/21.59	c 256 ~x477998+128 ~x477997+64 ~x477996+32 ~x477995+16 ~x477994+8 ~x477993+4 ~x477992+2 ~x477991+1 ~x477990+169 ~x2390+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
21.58/21.67	c 256 ~x481149+128 ~x481148+64 ~x481147+32 ~x481146+16 ~x481145+8 ~x481144+4 ~x481143+2 ~x481142+1 ~x481141+169 x2390+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
21.68/21.74	c 256 ~x484300+128 ~x484299+64 ~x484298+32 ~x484297+16 ~x484296+8 ~x484295+4 ~x484294+2 ~x484293+1 ~x484292+169 ~x2389+256 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
21.78/21.80	c 256 ~x486779+128 ~x486778+64 ~x486777+32 ~x486776+16 ~x486775+8 ~x486774+4 ~x486773+2 ~x486772+1 ~x486771+169 x2389+256 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
21.78/21.86	c 256 ~x489258+128 ~x489257+64 ~x489256+32 ~x489255+16 ~x489254+8 ~x489253+4 ~x489252+2 ~x489251+1 ~x489250+169 ~x2388+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+256 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
21.89/21.92	c 256 ~x491737+128 ~x491736+64 ~x491735+32 ~x491734+16 ~x491733+8 ~x491732+4 ~x491731+2 ~x491730+1 ~x491729+169 x2388+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+256 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
21.89/21.98	c 256 ~x494216+128 ~x494215+64 ~x494214+32 ~x494213+16 ~x494212+8 ~x494211+4 ~x494210+2 ~x494209+1 ~x494208+169 ~x2387+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+256 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
21.99/22.04	c 256 ~x496695+128 ~x496694+64 ~x496693+32 ~x496692+16 ~x496691+8 ~x496690+4 ~x496689+2 ~x496688+1 ~x496687+169 x2387+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+256 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
22.08/22.10	c 256 ~x499174+128 ~x499173+64 ~x499172+32 ~x499171+16 ~x499170+8 ~x499169+4 ~x499168+2 ~x499167+1 ~x499166+169 ~x2386+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+256 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
22.08/22.16	c 256 ~x501653+128 ~x501652+64 ~x501651+32 ~x501650+16 ~x501649+8 ~x501648+4 ~x501647+2 ~x501646+1 ~x501645+169 x2386+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+256 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
22.18/22.22	c 256 ~x504132+128 ~x504131+64 ~x504130+32 ~x504129+16 ~x504128+8 ~x504127+4 ~x504126+2 ~x504125+1 ~x504124+169 ~x2385+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
22.28/22.30	c 256 ~x507283+128 ~x507282+64 ~x507281+32 ~x507280+16 ~x507279+8 ~x507278+4 ~x507277+2 ~x507276+1 ~x507275+169 x2385+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
22.28/22.37	c 256 ~x510434+128 ~x510433+64 ~x510432+32 ~x510431+16 ~x510430+8 ~x510429+4 ~x510428+2 ~x510427+1 ~x510426+169 ~x2384+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
22.38/22.46	c 256 ~x513585+128 ~x513584+64 ~x513583+32 ~x513582+16 ~x513581+8 ~x513580+4 ~x513579+2 ~x513578+1 ~x513577+169 x2384+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
22.47/22.54	c 256 ~x516736+128 ~x516735+64 ~x516734+32 ~x516733+16 ~x516732+8 ~x516731+4 ~x516730+2 ~x516729+1 ~x516728+169 ~x2383+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
22.57/22.61	c 256 ~x519887+128 ~x519886+64 ~x519885+32 ~x519884+16 ~x519883+8 ~x519882+4 ~x519881+2 ~x519880+1 ~x519879+169 x2383+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
22.57/22.69	c 256 ~x523038+128 ~x523037+64 ~x523036+32 ~x523035+16 ~x523034+8 ~x523033+4 ~x523032+2 ~x523031+1 ~x523030+169 ~x2382+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
22.68/22.76	c 256 ~x526189+128 ~x526188+64 ~x526187+32 ~x526186+16 ~x526185+8 ~x526184+4 ~x526183+2 ~x526182+1 ~x526181+169 x2382+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
22.78/22.84	c 256 ~x529340+128 ~x529339+64 ~x529338+32 ~x529337+16 ~x529336+8 ~x529335+4 ~x529334+2 ~x529333+1 ~x529332+169 ~x2381+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
22.88/22.91	c 256 ~x532491+128 ~x532490+64 ~x532489+32 ~x532488+16 ~x532487+8 ~x532486+4 ~x532485+2 ~x532484+1 ~x532483+169 x2381+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
22.88/22.99	c 256 ~x535642+128 ~x535641+64 ~x535640+32 ~x535639+16 ~x535638+8 ~x535637+4 ~x535636+2 ~x535635+1 ~x535634+169 ~x2380+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
22.98/23.06	c 256 ~x538793+128 ~x538792+64 ~x538791+32 ~x538790+16 ~x538789+8 ~x538788+4 ~x538787+2 ~x538786+1 ~x538785+169 x2380+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
23.09/23.14	c 256 ~x541944+128 ~x541943+64 ~x541942+32 ~x541941+16 ~x541940+8 ~x541939+4 ~x541938+2 ~x541937+1 ~x541936+169 ~x2379+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
23.18/23.21	c 256 ~x545095+128 ~x545094+64 ~x545093+32 ~x545092+16 ~x545091+8 ~x545090+4 ~x545089+2 ~x545088+1 ~x545087+169 x2379+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
23.18/23.29	c 256 ~x548246+128 ~x548245+64 ~x548244+32 ~x548243+16 ~x548242+8 ~x548241+4 ~x548240+2 ~x548239+1 ~x548238+169 ~x2378+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
23.28/23.36	c 256 ~x551397+128 ~x551396+64 ~x551395+32 ~x551394+16 ~x551393+8 ~x551392+4 ~x551391+2 ~x551390+1 ~x551389+169 x2378+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
23.38/23.44	c 256 ~x554548+128 ~x554547+64 ~x554546+32 ~x554545+16 ~x554544+8 ~x554543+4 ~x554542+2 ~x554541+1 ~x554540+169 ~x2377+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
23.48/23.51	c 256 ~x557699+128 ~x557698+64 ~x557697+32 ~x557696+16 ~x557695+8 ~x557694+4 ~x557693+2 ~x557692+1 ~x557691+169 x2377+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
23.48/23.59	c 256 ~x560850+128 ~x560849+64 ~x560848+32 ~x560847+16 ~x560846+8 ~x560845+4 ~x560844+2 ~x560843+1 ~x560842+169 ~x2376+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
23.58/23.67	c 256 ~x564001+128 ~x564000+64 ~x563999+32 ~x563998+16 ~x563997+8 ~x563996+4 ~x563995+2 ~x563994+1 ~x563993+169 x2376+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
23.67/23.74	c 256 ~x567152+128 ~x567151+64 ~x567150+32 ~x567149+16 ~x567148+8 ~x567147+4 ~x567146+2 ~x567145+1 ~x567144+169 ~x2375+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
23.78/23.82	c 256 ~x570303+128 ~x570302+64 ~x570301+32 ~x570300+16 ~x570299+8 ~x570298+4 ~x570297+2 ~x570296+1 ~x570295+169 x2375+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
23.78/23.89	c 256 ~x573454+128 ~x573453+64 ~x573452+32 ~x573451+16 ~x573450+8 ~x573449+4 ~x573448+2 ~x573447+1 ~x573446+169 ~x2374+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
23.88/23.97	c 256 ~x576605+128 ~x576604+64 ~x576603+32 ~x576602+16 ~x576601+8 ~x576600+4 ~x576599+2 ~x576598+1 ~x576597+169 x2374+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
23.98/24.04	c 256 ~x579756+128 ~x579755+64 ~x579754+32 ~x579753+16 ~x579752+8 ~x579751+4 ~x579750+2 ~x579749+1 ~x579748+169 ~x2373+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
24.08/24.12	c 256 ~x582907+128 ~x582906+64 ~x582905+32 ~x582904+16 ~x582903+8 ~x582902+4 ~x582901+2 ~x582900+1 ~x582899+169 x2373+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
24.08/24.19	c 256 ~x586058+128 ~x586057+64 ~x586056+32 ~x586055+16 ~x586054+8 ~x586053+4 ~x586052+2 ~x586051+1 ~x586050+169 ~x2372+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
24.19/24.27	c 256 ~x589209+128 ~x589208+64 ~x589207+32 ~x589206+16 ~x589205+8 ~x589204+4 ~x589203+2 ~x589202+1 ~x589201+169 x2372+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
24.28/24.34	c 256 ~x592360+128 ~x592359+64 ~x592358+32 ~x592357+16 ~x592356+8 ~x592355+4 ~x592354+2 ~x592353+1 ~x592352+169 ~x2371+256 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
24.38/24.40	c 256 ~x594839+128 ~x594838+64 ~x594837+32 ~x594836+16 ~x594835+8 ~x594834+4 ~x594833+2 ~x594832+1 ~x594831+169 x2371+256 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
24.38/24.46	c 256 ~x597318+128 ~x597317+64 ~x597316+32 ~x597315+16 ~x597314+8 ~x597313+4 ~x597312+2 ~x597311+1 ~x597310+169 ~x2370+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+256 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
24.48/24.52	c 256 ~x599797+128 ~x599796+64 ~x599795+32 ~x599794+16 ~x599793+8 ~x599792+4 ~x599791+2 ~x599790+1 ~x599789+169 x2370+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+256 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
24.48/24.58	c 256 ~x602276+128 ~x602275+64 ~x602274+32 ~x602273+16 ~x602272+8 ~x602271+4 ~x602270+2 ~x602269+1 ~x602268+169 ~x2369+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+256 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
24.58/24.64	c 256 ~x604755+128 ~x604754+64 ~x604753+32 ~x604752+16 ~x604751+8 ~x604750+4 ~x604749+2 ~x604748+1 ~x604747+169 x2369+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+256 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
24.67/24.70	c 256 ~x607234+128 ~x607233+64 ~x607232+32 ~x607231+16 ~x607230+8 ~x607229+4 ~x607228+2 ~x607227+1 ~x607226+169 ~x2368+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+256 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
24.67/24.76	c 256 ~x609713+128 ~x609712+64 ~x609711+32 ~x609710+16 ~x609709+8 ~x609708+4 ~x609707+2 ~x609706+1 ~x609705+169 x2368+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+256 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
24.77/24.82	c 256 ~x612192+128 ~x612191+64 ~x612190+32 ~x612189+16 ~x612188+8 ~x612187+4 ~x612186+2 ~x612185+1 ~x612184+169 ~x2367+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+256 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58-0=1022
24.77/24.88	c 256 ~x614671+128 ~x614670+64 ~x614669+32 ~x614668+16 ~x614667+8 ~x614666+4 ~x614665+2 ~x614664+1 ~x614663+169 x2367+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+256 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58-0=1022
24.88/24.94	c 256 ~x617150+128 ~x617149+64 ~x617148+32 ~x617147+16 ~x617146+8 ~x617145+4 ~x617144+2 ~x617143+1 ~x617142+169 ~x2366+256 ~x105+128 ~x104+64 ~x103+32 ~x102+16 ~x101+8 ~x100+4 ~x99+2 ~x98+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
24.98/25.00	c 256 ~x619629+128 ~x619628+64 ~x619627+32 ~x619626+16 ~x619625+8 ~x619624+4 ~x619623+2 ~x619622+1 ~x619621+169 x2366+256 x105+128 x104+64 x103+32 x102+16 x101+8 x100+4 x99+2 x98+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
24.98/25.06	c 256 ~x622108+128 ~x622107+64 ~x622106+32 ~x622105+16 ~x622104+8 ~x622103+4 ~x622102+2 ~x622101+1 ~x622100+169 ~x2365+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
25.08/25.14	c 256 ~x625259+128 ~x625258+64 ~x625257+32 ~x625256+16 ~x625255+8 ~x625254+4 ~x625253+2 ~x625252+1 ~x625251+169 x2365+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
25.18/25.21	c 256 ~x628410+128 ~x628409+64 ~x628408+32 ~x628407+16 ~x628406+8 ~x628405+4 ~x628404+2 ~x628403+1 ~x628402+169 ~x2364+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
25.18/25.29	c 256 ~x631561+128 ~x631560+64 ~x631559+32 ~x631558+16 ~x631557+8 ~x631556+4 ~x631555+2 ~x631554+1 ~x631553+169 x2364+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
25.28/25.36	c 256 ~x634712+128 ~x634711+64 ~x634710+32 ~x634709+16 ~x634708+8 ~x634707+4 ~x634706+2 ~x634705+1 ~x634704+169 ~x2363+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
25.38/25.44	c 256 ~x637863+128 ~x637862+64 ~x637861+32 ~x637860+16 ~x637859+8 ~x637858+4 ~x637857+2 ~x637856+1 ~x637855+169 x2363+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
25.47/25.53	c 256 ~x641014+128 ~x641013+64 ~x641012+32 ~x641011+16 ~x641010+8 ~x641009+4 ~x641008+2 ~x641007+1 ~x641006+169 ~x2362+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
25.58/25.60	c 256 ~x644165+128 ~x644164+64 ~x644163+32 ~x644162+16 ~x644161+8 ~x644160+4 ~x644159+2 ~x644158+1 ~x644157+169 x2362+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
25.58/25.68	c 256 ~x647316+128 ~x647315+64 ~x647314+32 ~x647313+16 ~x647312+8 ~x647311+4 ~x647310+2 ~x647309+1 ~x647308+169 ~x2361+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
25.68/25.75	c 256 ~x650467+128 ~x650466+64 ~x650465+32 ~x650464+16 ~x650463+8 ~x650462+4 ~x650461+2 ~x650460+1 ~x650459+169 x2361+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
25.78/25.83	c 256 ~x653618+128 ~x653617+64 ~x653616+32 ~x653615+16 ~x653614+8 ~x653613+4 ~x653612+2 ~x653611+1 ~x653610+169 ~x2360+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
25.87/25.90	c 256 ~x656769+128 ~x656768+64 ~x656767+32 ~x656766+16 ~x656765+8 ~x656764+4 ~x656763+2 ~x656762+1 ~x656761+169 x2360+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
25.87/25.98	c 256 ~x659920+128 ~x659919+64 ~x659918+32 ~x659917+16 ~x659916+8 ~x659915+4 ~x659914+2 ~x659913+1 ~x659912+169 ~x2359+256 ~x97+128 ~x96+64 ~x95+32 ~x94+16 ~x93+8 ~x92+4 ~x91+2 ~x90+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
25.97/26.04	c 256 ~x662399+128 ~x662398+64 ~x662397+32 ~x662396+16 ~x662395+8 ~x662394+4 ~x662393+2 ~x662392+1 ~x662391+169 x2359+256 x97+128 x96+64 x95+32 x94+16 x93+8 x92+4 x91+2 x90+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
25.97/26.10	c 256 ~x664878+128 ~x664877+64 ~x664876+32 ~x664875+16 ~x664874+8 ~x664873+4 ~x664872+2 ~x664871+1 ~x664870+169 ~x2358+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+256 ~x97+128 ~x96+64 ~x95+32 ~x94+16 ~x93+8 ~x92+4 ~x91+2 ~x90+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50-0=1022
26.08/26.16	c 256 ~x667357+128 ~x667356+64 ~x667355+32 ~x667354+16 ~x667353+8 ~x667352+4 ~x667351+2 ~x667350+1 ~x667349+169 x2358+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+256 x97+128 x96+64 x95+32 x94+16 x93+8 x92+4 x91+2 x90+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50-0=1022
26.18/26.22	c 256 ~x669836+128 ~x669835+64 ~x669834+32 ~x669833+16 ~x669832+8 ~x669831+4 ~x669830+2 ~x669829+1 ~x669828+169 ~x2357+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
26.18/26.29	c 256 ~x672987+128 ~x672986+64 ~x672985+32 ~x672984+16 ~x672983+8 ~x672982+4 ~x672981+2 ~x672980+1 ~x672979+169 x2357+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
26.28/26.37	c 256 ~x676138+128 ~x676137+64 ~x676136+32 ~x676135+16 ~x676134+8 ~x676133+4 ~x676132+2 ~x676131+1 ~x676130+169 ~x2356+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50-0=1022
26.38/26.44	c 256 ~x679289+128 ~x679288+64 ~x679287+32 ~x679286+16 ~x679285+8 ~x679284+4 ~x679283+2 ~x679282+1 ~x679281+169 x2356+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50-0=1022
26.48/26.52	c 256 ~x682440+128 ~x682439+64 ~x682438+32 ~x682437+16 ~x682436+8 ~x682435+4 ~x682434+2 ~x682433+1 ~x682432+169 ~x2355+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
26.48/26.59	c 256 ~x685591+128 ~x685590+64 ~x685589+32 ~x685588+16 ~x685587+8 ~x685586+4 ~x685585+2 ~x685584+1 ~x685583+169 x2355+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
26.57/26.67	c 256 ~x688742+128 ~x688741+64 ~x688740+32 ~x688739+16 ~x688738+8 ~x688737+4 ~x688736+2 ~x688735+1 ~x688734+169 ~x2354+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50-0=1022
26.68/26.74	c 256 ~x691893+128 ~x691892+64 ~x691891+32 ~x691890+16 ~x691889+8 ~x691888+4 ~x691887+2 ~x691886+1 ~x691885+169 x2354+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50-0=1022
26.78/26.82	c 256 ~x695044+128 ~x695043+64 ~x695042+32 ~x695041+16 ~x695040+8 ~x695039+4 ~x695038+2 ~x695037+1 ~x695036+169 ~x2353+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
26.78/26.89	c 256 ~x698195+128 ~x698194+64 ~x698193+32 ~x698192+16 ~x698191+8 ~x698190+4 ~x698189+2 ~x698188+1 ~x698187+169 x2353+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
26.88/26.97	c 256 ~x701346+128 ~x701345+64 ~x701344+32 ~x701343+16 ~x701342+8 ~x701341+4 ~x701340+2 ~x701339+1 ~x701338+169 ~x2352+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50-0=1022
26.98/27.05	c 256 ~x704497+128 ~x704496+64 ~x704495+32 ~x704494+16 ~x704493+8 ~x704492+4 ~x704491+2 ~x704490+1 ~x704489+169 x2352+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50-0=1022
27.07/27.12	c 256 ~x707648+128 ~x707647+64 ~x707646+32 ~x707645+16 ~x707644+8 ~x707643+4 ~x707642+2 ~x707641+1 ~x707640+169 ~x2351+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
27.17/27.20	c 256 ~x710799+128 ~x710798+64 ~x710797+32 ~x710796+16 ~x710795+8 ~x710794+4 ~x710793+2 ~x710792+1 ~x710791+169 x2351+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
27.17/27.27	c 256 ~x713950+128 ~x713949+64 ~x713948+32 ~x713947+16 ~x713946+8 ~x713945+4 ~x713944+2 ~x713943+1 ~x713942+169 ~x2350+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50-0=1022
27.28/27.35	c 256 ~x717101+128 ~x717100+64 ~x717099+32 ~x717098+16 ~x717097+8 ~x717096+4 ~x717095+2 ~x717094+1 ~x717093+169 x2350+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50-0=1022
27.39/27.42	c 256 ~x720252+128 ~x720251+64 ~x720250+32 ~x720249+16 ~x720248+8 ~x720247+4 ~x720246+2 ~x720245+1 ~x720244+169 ~x2349+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
27.39/27.50	c 256 ~x723403+128 ~x723402+64 ~x723401+32 ~x723400+16 ~x723399+8 ~x723398+4 ~x723397+2 ~x723396+1 ~x723395+169 x2349+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
27.48/27.57	c 256 ~x726554+128 ~x726553+64 ~x726552+32 ~x726551+16 ~x726550+8 ~x726549+4 ~x726548+2 ~x726547+1 ~x726546+169 ~x2348+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
27.58/27.65	c 256 ~x729705+128 ~x729704+64 ~x729703+32 ~x729702+16 ~x729701+8 ~x729700+4 ~x729699+2 ~x729698+1 ~x729697+169 x2348+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
27.68/27.72	c 256 ~x732856+128 ~x732855+64 ~x732854+32 ~x732853+16 ~x732852+8 ~x732851+4 ~x732850+2 ~x732849+1 ~x732848+169 ~x2347+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50-0=1022
27.77/27.80	c 256 ~x736007+128 ~x736006+64 ~x736005+32 ~x736004+16 ~x736003+8 ~x736002+4 ~x736001+2 ~x736000+1 ~x735999+169 x2347+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50-0=1022
27.77/27.88	c 256 ~x739158+128 ~x739157+64 ~x739156+32 ~x739155+16 ~x739154+8 ~x739153+4 ~x739152+2 ~x739151+1 ~x739150+169 ~x2346+256 ~x89+128 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
27.87/27.94	c 256 ~x741637+128 ~x741636+64 ~x741635+32 ~x741634+16 ~x741633+8 ~x741632+4 ~x741631+2 ~x741630+1 ~x741629+169 x2346+256 x89+128 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
27.87/27.99	c 256 ~x744116+128 ~x744115+64 ~x744114+32 ~x744113+16 ~x744112+8 ~x744111+4 ~x744110+2 ~x744109+1 ~x744108+169 ~x2345+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+256 ~x89+128 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50-0=1022
27.97/28.05	c 256 ~x746595+128 ~x746594+64 ~x746593+32 ~x746592+16 ~x746591+8 ~x746590+4 ~x746589+2 ~x746588+1 ~x746587+169 x2345+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+256 x89+128 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50-0=1022
28.08/28.11	c 256 ~x749074+128 ~x749073+64 ~x749072+32 ~x749071+16 ~x749070+8 ~x749069+4 ~x749068+2 ~x749067+1 ~x749066+169 ~x2344+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+256 ~x89+128 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50-0=1022
28.08/28.17	c 256 ~x751553+128 ~x751552+64 ~x751551+32 ~x751550+16 ~x751549+8 ~x751548+4 ~x751547+2 ~x751546+1 ~x751545+169 x2344+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+256 x89+128 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50-0=1022
28.18/28.23	c 256 ~x754032+128 ~x754031+64 ~x754030+32 ~x754029+16 ~x754028+8 ~x754027+4 ~x754026+2 ~x754025+1 ~x754024+169 ~x2343+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
28.28/28.31	c 256 ~x757183+128 ~x757182+64 ~x757181+32 ~x757180+16 ~x757179+8 ~x757178+4 ~x757177+2 ~x757176+1 ~x757175+169 x2343+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
28.28/28.38	c 256 ~x760334+128 ~x760333+64 ~x760332+32 ~x760331+16 ~x760330+8 ~x760329+4 ~x760328+2 ~x760327+1 ~x760326+169 ~x2342+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50-0=1022
28.37/28.46	c 256 ~x763485+128 ~x763484+64 ~x763483+32 ~x763482+16 ~x763481+8 ~x763480+4 ~x763479+2 ~x763478+1 ~x763477+169 x2342+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50-0=1022
28.48/28.54	c 256 ~x766636+128 ~x766635+64 ~x766634+32 ~x766633+16 ~x766632+8 ~x766631+4 ~x766630+2 ~x766629+1 ~x766628+169 ~x2341+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50-0=1022
28.58/28.61	c 256 ~x769787+128 ~x769786+64 ~x769785+32 ~x769784+16 ~x769783+8 ~x769782+4 ~x769781+2 ~x769780+1 ~x769779+169 x2341+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50-0=1022
28.58/28.69	c 256 ~x772938+128 ~x772937+64 ~x772936+32 ~x772935+16 ~x772934+8 ~x772933+4 ~x772932+2 ~x772931+1 ~x772930+169 ~x2340+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
28.68/28.76	c 256 ~x776089+128 ~x776088+64 ~x776087+32 ~x776086+16 ~x776085+8 ~x776084+4 ~x776083+2 ~x776082+1 ~x776081+169 x2340+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
28.77/28.84	c 256 ~x779240+128 ~x779239+64 ~x779238+32 ~x779237+16 ~x779236+8 ~x779235+4 ~x779234+2 ~x779233+1 ~x779232+169 ~x2339+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50-0=1022
28.87/28.91	c 256 ~x782391+128 ~x782390+64 ~x782389+32 ~x782388+16 ~x782387+8 ~x782386+4 ~x782385+2 ~x782384+1 ~x782383+169 x2339+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50-0=1022
28.87/28.99	c 256 ~x785542+128 ~x785541+64 ~x785540+32 ~x785539+16 ~x785538+8 ~x785537+4 ~x785536+2 ~x785535+1 ~x785534+169 ~x2338+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50-0=1022
28.97/29.07	c 256 ~x788693+128 ~x788692+64 ~x788691+32 ~x788690+16 ~x788689+8 ~x788688+4 ~x788687+2 ~x788686+1 ~x788685+169 x2338+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50-0=1022
29.08/29.14	c 256 ~x791844+128 ~x791843+64 ~x791842+32 ~x791841+16 ~x791840+8 ~x791839+4 ~x791838+2 ~x791837+1 ~x791836+169 ~x2337+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1022
29.17/29.22	c 256 ~x794995+128 ~x794994+64 ~x794993+32 ~x794992+16 ~x794991+8 ~x794990+4 ~x794989+2 ~x794988+1 ~x794987+169 x2337+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=1022
29.17/29.29	c 256 ~x798146+128 ~x798145+64 ~x798144+32 ~x798143+16 ~x798142+8 ~x798141+4 ~x798140+2 ~x798139+1 ~x798138+169 ~x2336+128 x105+64 x104+32 x103+16 x102+8 x101+4 x100+2 x99+1 x98+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50-0=1022
29.27/29.38	c 256 ~x801297+128 ~x801296+64 ~x801295+32 ~x801294+16 ~x801293+8 ~x801292+4 ~x801291+2 ~x801290+1 ~x801289+169 x2336+128 ~x105+64 ~x104+32 ~x103+16 ~x102+8 ~x101+4 ~x100+2 ~x99+1 ~x98+128 x89+64 x88+32 x87+

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

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


[startup+0 s]
/proc/loadavg: 1.04 1.00 1.00 3/106 22709
/proc/meminfo: memFree=1856796/2059040 swapFree=4140984/4192956
[pid=22709] ppid=22707 vsize=8700 CPUtime=0
/proc/22709/stat : 22709 (run) S 22707 22709 22541 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21403477 8908800 250 1992294400 4194304 4922060 140736441451232 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22709/statm: 2175 250 211 178 0 68 0

[startup+0.0376031 s]
/proc/loadavg: 1.04 1.00 1.00 3/106 22709
/proc/meminfo: memFree=1856796/2059040 swapFree=4140984/4192956
[pid=22709] ppid=22707 vsize=8700 CPUtime=0
/proc/22709/stat : 22709 (run) S 22707 22709 22541 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21403477 8908800 250 1992294400 4194304 4922060 140736441451232 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22709/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101615 s]
/proc/loadavg: 1.04 1.00 1.00 3/106 22709
/proc/meminfo: memFree=1856796/2059040 swapFree=4140984/4192956
[pid=22709] ppid=22707 vsize=8700 CPUtime=0
/proc/22709/stat : 22709 (run) S 22707 22709 22541 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21403477 8908800 250 1992294400 4194304 4922060 140736441451232 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22709/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301641 s]
/proc/loadavg: 1.04 1.00 1.00 3/106 22709
/proc/meminfo: memFree=1856796/2059040 swapFree=4140984/4192956
[pid=22709] ppid=22707 vsize=8700 CPUtime=0
/proc/22709/stat : 22709 (run) S 22707 22709 22541 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21403477 8908800 250 1992294400 4194304 4922060 140736441451232 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22709/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701698 s]
/proc/loadavg: 1.04 1.00 1.00 3/106 22709
/proc/meminfo: memFree=1856796/2059040 swapFree=4140984/4192956
[pid=22709] ppid=22707 vsize=8700 CPUtime=0
/proc/22709/stat : 22709 (run) S 22707 22709 22541 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21403477 8908800 250 1992294400 4194304 4922060 140736441451232 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22709/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50179 s]
/proc/loadavg: 1.04 1.00 1.00 2/108 22712
/proc/meminfo: memFree=1646476/2059040 swapFree=4140984/4192956
[pid=22709] ppid=22707 vsize=8700 CPUtime=0
/proc/22709/stat : 22709 (run) S 22707 22709 22541 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21403477 8908800 250 1992294400 4194304 4922060 140736441451232 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22709/statm: 2175 250 211 178 0 68 0
[pid=22711] ppid=22709 vsize=304324 CPUtime=1.48
/proc/22711/stat : 22711 (PBPASSolver) R 22709 22709 22541 0 -1 4202496 75535 0 0 0 61 87 0 0 25 0 1 0 21403477 311627776 75473 1992294400 134512640 134902295 4294591520 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22711/statm: 76081 75473 256 96 0 75293 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 313024

[startup+3.10102 s]
/proc/loadavg: 1.04 1.00 1.00 2/108 22712
/proc/meminfo: memFree=1449688/2059040 swapFree=4140984/4192956
[pid=22709] ppid=22707 vsize=8700 CPUtime=0
/proc/22709/stat : 22709 (run) S 22707 22709 22541 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21403477 8908800 250 1992294400 4194304 4922060 140736441451232 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22709/statm: 2175 250 211 178 0 68 0
[pid=22711] ppid=22709 vsize=573124 CPUtime=3.08
/proc/22711/stat : 22711 (PBPASSolver) R 22709 22709 22541 0 -1 4202496 142743 0 0 0 137 171 0 0 25 0 1 0 21403477 586878976 142681 1992294400 134512640 134902295 4294591520 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22711/statm: 143281 142681 256 96 0 142493 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 581824

[startup+6.30148 s]
/proc/loadavg: 1.04 1.00 1.00 2/108 22712
/proc/meminfo: memFree=945752/2059040 swapFree=4140984/4192956
[pid=22709] ppid=22707 vsize=8700 CPUtime=0
/proc/22709/stat : 22709 (run) S 22707 22709 22541 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21403477 8908800 250 1992294400 4194304 4922060 140736441451232 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22709/statm: 2175 250 211 178 0 68 0
[pid=22711] ppid=22709 vsize=1033188 CPUtime=6.29
/proc/22711/stat : 22711 (PBPASSolver) R 22709 22709 22541 0 -1 4202496 257765 0 0 0 321 308 0 0 25 0 1 0 21403477 1057984512 257703 1992294400 134512640 134902295 4294591520 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22711/statm: 258297 257703 256 96 0 257509 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1041888

[startup+12.7004 s]
/proc/loadavg: 1.03 1.00 1.00 2/108 22712
/proc/meminfo: memFree=344228/2059040 swapFree=4140984/4192956
[pid=22709] ppid=22707 vsize=8700 CPUtime=0
/proc/22709/stat : 22709 (run) S 22707 22709 22541 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21403477 8908800 250 1992294400 4194304 4922060 140736441451232 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22709/statm: 2175 250 211 178 0 68 0
[pid=22711] ppid=22709 vsize=1526448 CPUtime=12.68
/proc/22711/stat : 22711 (PBPASSolver) R 22709 22709 22541 0 -1 4202496 381836 0 0 0 818 450 0 0 25 0 1 0 21403477 1563082752 380459 1992294400 134512640 134902295 4294591520 18446744073709551615 4160291356 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22711/statm: 381612 380459 262 96 0 380824 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1535148

[startup+25.5012 s]
/proc/loadavg: 1.02 1.00 1.00 2/108 22712
/proc/meminfo: memFree=113712/2059040 swapFree=4140984/4192956
[pid=22709] ppid=22707 vsize=8700 CPUtime=0
/proc/22709/stat : 22709 (run) S 22707 22709 22541 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21403477 8908800 250 1992294400 4194304 4922060 140736441451232 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22709/statm: 2175 250 211 178 0 68 0
[pid=22711] ppid=22709 vsize=1763116 CPUtime=25.47
/proc/22711/stat : 22711 (PBPASSolver) R 22709 22709 22541 0 -1 4202496 440217 0 0 0 2072 475 0 0 25 0 1 0 21403477 1805430784 437976 1992294400 134512640 134902295 4294591520 18446744073709551615 134519664 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22711/statm: 440779 437976 262 96 0 439991 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1771816



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+29.4008 s]
/proc/loadavg: 1.02 1.00 1.00 2/108 22712
/proc/meminfo: memFree=32120/2059040 swapFree=4140984/4192956
[pid=22709] ppid=22707 vsize=8700 CPUtime=0
/proc/22709/stat : 22709 (run) S 22707 22709 22541 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21403477 8908800 250 1992294400 4194304 4922060 140736441451232 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22709/statm: 2175 250 211 178 0 68 0
[pid=22711] ppid=22709 vsize=1846336 CPUtime=29.38
/proc/22711/stat : 22711 (PBPASSolver) R 22709 22709 22541 0 -1 4202496 457828 0 0 0 2455 483 0 0 25 0 1 0 21403477 1890648064 455371 1992294400 134512640 134902295 4294591520 18446744073709551615 134565156 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22711/statm: 461584 455371 262 96 0 460796 0
Current children cumulated CPU time (s) 29.38
Current children cumulated vsize (KiB) 1855036

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 29.414
CPU time (s): 29.38
CPU user time (s): 24.55
CPU system time (s): 4.83
CPU usage (%): 99.8843
Max. virtual memory (cumulated for all children) (KiB): 1855036

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

runsolver used 0.047992 second user time and 0.169974 second system time

The end

Begin job on node049 at 2010-06-17 20:59:14
IDJOB=2674176
IDBENCH=2640
IDSOLVER=1174
FILE ID=node049/2674176-1276801154
PBS_JOBID= 11176665
Free space on /tmp= 62520 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_13.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674176-1276801154/watcher-2674176-1276801154 -o /tmp/evaluation-result-2674176-1276801154/solver-2674176-1276801154 -C 1800 -W 2000 -M 1800  run HOME/instance-2674176-1276801154.opb

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

MD5SUM BENCH= 292e71503f1e4f136e087e61da3c7ed4
RANDOM SEED=909088739

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1857324 kB
Buffers:         42672 kB
Cached:          64536 kB
SwapCached:       6236 kB
Active:          20608 kB
Inactive:       100332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1857324 kB
SwapTotal:     4192956 kB
SwapFree:      4140984 kB
Dirty:            2020 kB
Writeback:           0 kB
AnonPages:       11780 kB
Mapped:          12976 kB
Slab:            58596 kB
PageTables:       4000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182728 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62516 MiB
End job on node049 at 2010-06-17 20:59:46