12.98/13.05	c 6059 16684 0 0 0 0 0 0
12.98/13.05	c 16 ~x22004+8 ~x22003+4 ~x22002+2 ~x22001+1 ~x22000+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9+1 x8+2 x7+4 x6+8 x5+16 x4-0=62
12.98/13.05	c 16 ~x22518+8 ~x22517+4 ~x22516+2 ~x22515+1 ~x22514+1 x13+2 x12+4 x11+8 x10+16 x9+1 ~x8+2 ~x7+4 ~x6+8 ~x5+16 ~x4-0=62
13.09/13.10	c 32 ~x23033+16 ~x23032+8 ~x23031+4 ~x23030+2 ~x23029+1 ~x23028+1 x13+2 x12+4 x11+8 x10+16 x9+1 ~x8+2 ~x7+4 ~x6+8 ~x5+16 ~x4-0=95
13.09/13.10	c 32 ~x23653+16 ~x23652+8 ~x23651+4 ~x23650+2 ~x23649+1 ~x23648+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9+1 x8+2 x7+4 x6+8 x5+16 x4-0=95
13.09/13.14	c 32 ~x24273+16 ~x24272+8 ~x24271+4 ~x24270+2 ~x24269+1 ~x24268+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9+1 x8+2 x7+4 x6+8 x5+16 x4-0=95
13.09/13.14	c 16 ~x24892+8 ~x24891+4 ~x24890+2 ~x24889+1 ~x24888+1 x13+2 x12+4 x11+8 x10+16 x9+1 ~x8+2 ~x7+4 ~x6+8 ~x5+16 ~x4-0=61
13.09/13.19	c 16 ~x25406+8 ~x25405+4 ~x25404+2 ~x25403+1 ~x25402+1 x13+2 x12+4 x11+8 x10+16 x9+1 ~x8+2 ~x7+4 ~x6+8 ~x5+16 ~x4-0=62
13.09/13.19	c 32 ~x25921+16 ~x25920+8 ~x25919+4 ~x25918+2 ~x25917+1 ~x25916+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9+1 x8+2 x7+4 x6+8 x5+16 x4-0=96
13.09/13.19	c 16 ~x26540+8 ~x26539+4 ~x26538+2 ~x26537+1 ~x26536+1 ~x27+2 ~x26+4 ~x25+8 ~x24+16 ~x23+1 x22+2 x21+4 x20+8 x19+16 x18-0=62
13.19/13.23	c 16 ~x27054+8 ~x27053+4 ~x27052+2 ~x27051+1 ~x27050+1 x27+2 x26+4 x25+8 x24+16 x23+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=62
13.19/13.23	c 32 ~x27569+16 ~x27568+8 ~x27567+4 ~x27566+2 ~x27565+1 ~x27564+1 x27+2 x26+4 x25+8 x24+16 x23+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=95
13.19/13.24	c 32 ~x28189+16 ~x28188+8 ~x28187+4 ~x28186+2 ~x28185+1 ~x28184+1 ~x27+2 ~x26+4 ~x25+8 ~x24+16 ~x23+1 x22+2 x21+4 x20+8 x19+16 x18-0=95
13.19/13.28	c 16 ~x28808+8 ~x28807+4 ~x28806+2 ~x28805+1 ~x28804+1 ~x34+2 ~x33+4 ~x32+8 ~x31+16 ~x30+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
13.19/13.28	c 16 ~x29322+8 ~x29321+4 ~x29320+2 ~x29319+1 ~x29318+1 x34+2 x33+4 x32+8 x31+16 x30+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=62
13.19/13.28	c 32 ~x29837+16 ~x29836+8 ~x29835+4 ~x29834+2 ~x29833+1 ~x29832+1 x34+2 x33+4 x32+8 x31+16 x30+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
13.28/13.30	c 32 ~x30457+16 ~x30456+8 ~x30455+4 ~x30454+2 ~x30453+1 ~x30452+1 ~x34+2 ~x33+4 ~x32+8 ~x31+16 ~x30+1 x13+2 x12+4 x11+8 x10+16 x9-0=95
13.28/13.33	c 16 ~x31076+8 ~x31075+4 ~x31074+2 ~x31073+1 ~x31072+1 x41+2 x40+4 x39+8 x38+16 x37+1 ~x27+2 ~x26+4 ~x25+8 ~x24+16 ~x23-0=62
13.28/13.33	c 16 ~x31590+8 ~x31589+4 ~x31588+2 ~x31587+1 ~x31586+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37+1 x27+2 x26+4 x25+8 x24+16 x23-0=62
13.28/13.36	c 32 ~x32105+16 ~x32104+8 ~x32103+4 ~x32102+2 ~x32101+1 ~x32100+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37+1 x27+2 x26+4 x25+8 x24+16 x23-0=95
13.28/13.36	c 32 ~x32725+16 ~x32724+8 ~x32723+4 ~x32722+2 ~x32721+1 ~x32720+1 x41+2 x40+4 x39+8 x38+16 x37+1 ~x27+2 ~x26+4 ~x25+8 ~x24+16 ~x23-0=95
13.28/13.38	c 16 ~x33344+8 ~x33343+4 ~x33342+2 ~x33341+1 ~x33340+1 ~x48+2 ~x47+4 ~x46+8 ~x45+16 ~x44+1 x41+2 x40+4 x39+8 x38+16 x37-0=62
13.28/13.38	c 16 ~x33858+8 ~x33857+4 ~x33856+2 ~x33855+1 ~x33854+1 x48+2 x47+4 x46+8 x45+16 x44+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=62
13.38/13.41	c 32 ~x34373+16 ~x34372+8 ~x34371+4 ~x34370+2 ~x34369+1 ~x34368+1 x48+2 x47+4 x46+8 x45+16 x44+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=95
13.38/13.41	c 32 ~x34993+16 ~x34992+8 ~x34991+4 ~x34990+2 ~x34989+1 ~x34988+1 ~x48+2 ~x47+4 ~x46+8 ~x45+16 ~x44+1 x41+2 x40+4 x39+8 x38+16 x37-0=95
13.38/13.44	c 16 ~x35612+8 ~x35611+4 ~x35610+2 ~x35609+1 ~x35608+1 ~x48+2 ~x47+4 ~x46+8 ~x45+16 ~x44+1 x22+2 x21+4 x20+8 x19+16 x18-0=62
13.38/13.44	c 16 ~x36126+8 ~x36125+4 ~x36124+2 ~x36123+1 ~x36122+1 x48+2 x47+4 x46+8 x45+16 x44+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=62
13.38/13.47	c 32 ~x36641+16 ~x36640+8 ~x36639+4 ~x36638+2 ~x36637+1 ~x36636+1 x48+2 x47+4 x46+8 x45+16 x44+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=95
13.38/13.47	c 32 ~x37261+16 ~x37260+8 ~x37259+4 ~x37258+2 ~x37257+1 ~x37256+1 ~x48+2 ~x47+4 ~x46+8 ~x45+16 ~x44+1 x22+2 x21+4 x20+8 x19+16 x18-0=95
13.38/13.50	c 16 ~x37880+8 ~x37879+4 ~x37878+2 ~x37877+1 ~x37876+1 ~x57+2 ~x56+4 ~x55+8 ~x54+16 ~x53+1 x22+2 x21+4 x20+8 x19+16 x18-0=62
13.38/13.50	c 16 ~x38394+8 ~x38393+4 ~x38392+2 ~x38391+1 ~x38390+1 x57+2 x56+4 x55+8 x54+16 x53+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=62
13.48/13.52	c 32 ~x38909+16 ~x38908+8 ~x38907+4 ~x38906+2 ~x38905+1 ~x38904+1 x57+2 x56+4 x55+8 x54+16 x53+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=95
13.48/13.52	c 32 ~x39529+16 ~x39528+8 ~x39527+4 ~x39526+2 ~x39525+1 ~x39524+1 ~x57+2 ~x56+4 ~x55+8 ~x54+16 ~x53+1 x22+2 x21+4 x20+8 x19+16 x18-0=95
13.48/13.55	c 16 ~x40148+8 ~x40147+4 ~x40146+2 ~x40145+1 ~x40144+1 ~x57+2 ~x56+4 ~x55+8 ~x54+16 ~x53+1 x41+2 x40+4 x39+8 x38+16 x37-0=62
13.48/13.55	c 16 ~x40662+8 ~x40661+4 ~x40660+2 ~x40659+1 ~x40658+1 x57+2 x56+4 x55+8 x54+16 x53+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=62
13.48/13.58	c 32 ~x41177+16 ~x41176+8 ~x41175+4 ~x41174+2 ~x41173+1 ~x41172+1 x57+2 x56+4 x55+8 x54+16 x53+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=95
13.48/13.58	c 32 ~x41797+16 ~x41796+8 ~x41795+4 ~x41794+2 ~x41793+1 ~x41792+1 ~x57+2 ~x56+4 ~x55+8 ~x54+16 ~x53+1 x41+2 x40+4 x39+8 x38+16 x37-0=95
13.58/13.61	c 16 ~x42416+8 ~x42415+4 ~x42414+2 ~x42413+1 ~x42412+1 ~x34+2 ~x33+4 ~x32+8 ~x31+16 ~x30+1 x13+2 x12+4 x11+8 x10+16 x9-0=61
13.58/13.61	c 32 ~x42931+16 ~x42930+8 ~x42929+4 ~x42928+2 ~x42927+1 ~x42926+1 x34+2 x33+4 x32+8 x31+16 x30+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
13.58/13.64	c 32 ~x43551+16 ~x43550+8 ~x43549+4 ~x43548+2 ~x43547+1 ~x43546+1 x34+2 x33+4 x32+8 x31+16 x30+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=96
13.58/13.64	c 16 ~x44170+8 ~x44169+4 ~x44168+2 ~x44167+1 ~x44166+1 ~x34+2 ~x33+4 ~x32+8 ~x31+16 ~x30+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
13.58/13.66	c 16 ~x44684+8 ~x44683+4 ~x44682+2 ~x44681+1 ~x44680+1 ~x73+2 ~x72+4 ~x71+8 ~x70+16 ~x69+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
13.58/13.66	c 16 ~x45198+8 ~x45197+4 ~x45196+2 ~x45195+1 ~x45194+1 x73+2 x72+4 x71+8 x70+16 x69+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=62
13.58/13.69	c 32 ~x45713+16 ~x45712+8 ~x45711+4 ~x45710+2 ~x45709+1 ~x45708+1 x73+2 x72+4 x71+8 x70+16 x69+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
13.58/13.69	c 32 ~x46333+16 ~x46332+8 ~x46331+4 ~x46330+2 ~x46329+1 ~x46328+1 ~x73+2 ~x72+4 ~x71+8 ~x70+16 ~x69+1 x68+2 x67+4 x66+8 x65+16 x64-0=95
13.68/13.72	c 16 ~x46952+8 ~x46951+4 ~x46950+2 ~x46949+1 ~x46948+1 ~x73+2 ~x72+4 ~x71+8 ~x70+16 ~x69+1 x68+2 x67+4 x66+8 x65+16 x64-0=61
13.68/13.72	c 32 ~x47467+16 ~x47466+8 ~x47465+4 ~x47464+2 ~x47463+1 ~x47462+1 x73+2 x72+4 x71+8 x70+16 x69+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
13.68/13.75	c 32 ~x48087+16 ~x48086+8 ~x48085+4 ~x48084+2 ~x48083+1 ~x48082+1 x73+2 x72+4 x71+8 x70+16 x69+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=96
13.68/13.75	c 16 ~x48706+8 ~x48705+4 ~x48704+2 ~x48703+1 ~x48702+1 ~x73+2 ~x72+4 ~x71+8 ~x70+16 ~x69+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
13.68/13.78	c 16 ~x49220+8 ~x49219+4 ~x49218+2 ~x49217+1 ~x49216+1 ~x82+2 ~x81+4 ~x80+8 ~x79+16 ~x78+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
13.68/13.78	c 16 ~x49734+8 ~x49733+4 ~x49732+2 ~x49731+1 ~x49730+1 x82+2 x81+4 x80+8 x79+16 x78+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=62
13.78/13.80	c 32 ~x50249+16 ~x50248+8 ~x50247+4 ~x50246+2 ~x50245+1 ~x50244+1 x82+2 x81+4 x80+8 x79+16 x78+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
13.78/13.80	c 32 ~x50869+16 ~x50868+8 ~x50867+4 ~x50866+2 ~x50865+1 ~x50864+1 ~x82+2 ~x81+4 ~x80+8 ~x79+16 ~x78+1 x13+2 x12+4 x11+8 x10+16 x9-0=95
13.78/13.83	c 16 ~x51488+8 ~x51487+4 ~x51486+2 ~x51485+1 ~x51484+1 ~x82+2 ~x81+4 ~x80+8 ~x79+16 ~x78+1 x13+2 x12+4 x11+8 x10+16 x9-0=61
13.78/13.83	c 32 ~x52003+16 ~x52002+8 ~x52001+4 ~x52000+2 ~x51999+1 ~x51998+1 x82+2 x81+4 x80+8 x79+16 x78+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
13.78/13.86	c 32 ~x52623+16 ~x52622+8 ~x52621+4 ~x52620+2 ~x52619+1 ~x52618+1 x82+2 x81+4 x80+8 x79+16 x78+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=96
13.78/13.86	c 16 ~x53242+8 ~x53241+4 ~x53240+2 ~x53239+1 ~x53238+1 ~x82+2 ~x81+4 ~x80+8 ~x79+16 ~x78+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
13.78/13.89	c 16 ~x53756+8 ~x53755+4 ~x53754+2 ~x53753+1 ~x53752+1 ~x91+2 ~x90+4 ~x89+8 ~x88+16 ~x87+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
13.78/13.89	c 16 ~x54270+8 ~x54269+4 ~x54268+2 ~x54267+1 ~x54266+1 x91+2 x90+4 x89+8 x88+16 x87+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=62
13.89/13.94	c 32 ~x54785+16 ~x54784+8 ~x54783+4 ~x54782+2 ~x54781+1 ~x54780+1 x91+2 x90+4 x89+8 x88+16 x87+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
13.89/13.94	c 32 ~x55405+16 ~x55404+8 ~x55403+4 ~x55402+2 ~x55401+1 ~x55400+1 ~x91+2 ~x90+4 ~x89+8 ~x88+16 ~x87+1 x13+2 x12+4 x11+8 x10+16 x9-0=95
13.89/13.98	c 16 ~x56024+8 ~x56023+4 ~x56022+2 ~x56021+1 ~x56020+1 ~x91+2 ~x90+4 ~x89+8 ~x88+16 ~x87+1 x13+2 x12+4 x11+8 x10+16 x9-0=61
13.89/13.98	c 32 ~x56539+16 ~x56538+8 ~x56537+4 ~x56536+2 ~x56535+1 ~x56534+1 x91+2 x90+4 x89+8 x88+16 x87+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
13.99/14.01	c 32 ~x57159+16 ~x57158+8 ~x57157+4 ~x57156+2 ~x57155+1 ~x57154+1 x91+2 x90+4 x89+8 x88+16 x87+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=96
13.99/14.01	c 16 ~x57778+8 ~x57777+4 ~x57776+2 ~x57775+1 ~x57774+1 ~x91+2 ~x90+4 ~x89+8 ~x88+16 ~x87+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
13.99/14.05	c 16 ~x58292+8 ~x58291+4 ~x58290+2 ~x58289+1 ~x58288+1 ~x100+2 ~x99+4 ~x98+8 ~x97+16 ~x96+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
13.99/14.05	c 16 ~x58806+8 ~x58805+4 ~x58804+2 ~x58803+1 ~x58802+1 x100+2 x99+4 x98+8 x97+16 x96+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=62
14.08/14.10	c 32 ~x59321+16 ~x59320+8 ~x59319+4 ~x59318+2 ~x59317+1 ~x59316+1 x100+2 x99+4 x98+8 x97+16 x96+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
14.08/14.10	c 32 ~x59941+16 ~x59940+8 ~x59939+4 ~x59938+2 ~x59937+1 ~x59936+1 ~x100+2 ~x99+4 ~x98+8 ~x97+16 ~x96+1 x13+2 x12+4 x11+8 x10+16 x9-0=95
14.08/14.17	c 16 ~x60560+8 ~x60559+4 ~x60558+2 ~x60557+1 ~x60556+1 ~x100+2 ~x99+4 ~x98+8 ~x97+16 ~x96+1 x13+2 x12+4 x11+8 x10+16 x9-0=61
14.08/14.17	c 32 ~x61075+16 ~x61074+8 ~x61073+4 ~x61072+2 ~x61071+1 ~x61070+1 x100+2 x99+4 x98+8 x97+16 x96+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
14.19/14.27	c 32 ~x61695+16 ~x61694+8 ~x61693+4 ~x61692+2 ~x61691+1 ~x61690+1 x100+2 x99+4 x98+8 x97+16 x96+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=96
14.29/14.37	c 16 ~x62314+8 ~x62313+4 ~x62312+2 ~x62311+1 ~x62310+1 ~x100+2 ~x99+4 ~x98+8 ~x97+16 ~x96+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
14.29/14.37	c 16 ~x62828+8 ~x62827+4 ~x62826+2 ~x62825+1 ~x62824+1 ~x109+2 ~x108+4 ~x107+8 ~x106+16 ~x105+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
14.48/14.50	c 16 ~x63342+8 ~x63341+4 ~x63340+2 ~x63339+1 ~x63338+1 x109+2 x108+4 x107+8 x106+16 x105+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=62
14.48/14.50	c 32 ~x63857+16 ~x63856+8 ~x63855+4 ~x63854+2 ~x63853+1 ~x63852+1 x109+2 x108+4 x107+8 x106+16 x105+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
14.68/14.75	c 32 ~x64477+16 ~x64476+8 ~x64475+4 ~x64474+2 ~x64473+1 ~x64472+1 ~x109+2 ~x108+4 ~x107+8 ~x106+16 ~x105+1 x13+2 x12+4 x11+8 x10+16 x9-0=95
14.68/14.75	c 16 ~x65096+8 ~x65095+4 ~x65094+2 ~x65093+1 ~x65092+1 ~x109+2 ~x108+4 ~x107+8 ~x106+16 ~x105+1 x13+2 x12+4 x11+8 x10+16 x9-0=61
14.88/14.99	c 32 ~x65611+16 ~x65610+8 ~x65609+4 ~x65608+2 ~x65607+1 ~x65606+1 x109+2 x108+4 x107+8 x106+16 x105+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
14.88/14.99	c 32 ~x66231+16 ~x66230+8 ~x66229+4 ~x66228+2 ~x66227+1 ~x66226+1 x109+2 x108+4 x107+8 x106+16 x105+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=96
15.18/15.20	c 16 ~x66850+8 ~x66849+4 ~x66848+2 ~x66847+1 ~x66846+1 ~x109+2 ~x108+4 ~x107+8 ~x106+16 ~x105+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
15.18/15.20	c 16 ~x67364+8 ~x67363+4 ~x67362+2 ~x67361+1 ~x67360+1 ~x121+2 ~x120+4 ~x119+8 ~x118+1 x117+2 x116+4 x115+8 x114-0=49
15.29/15.32	c 8 ~x67787+4 ~x67786+2 ~x67785+1 ~x67784+1 x121+2 x120+4 x119+8 x118+1 ~x117+2 ~x116+4 ~x115+8 ~x114-0=27
15.29/15.32	c 8 ~x68165+4 ~x68164+2 ~x68163+1 ~x68162+1 x121+2 x120+4 x119+8 x118+1 ~x117+2 ~x116+4 ~x115+8 ~x114-0=28
15.29/15.35	c 16 ~x68544+8 ~x68543+4 ~x68542+2 ~x68541+1 ~x68540+1 ~x121+2 ~x120+4 ~x119+8 ~x118+1 x117+2 x116+4 x115+8 x114-0=50
15.29/15.35	c 16 ~x68968+8 ~x68967+4 ~x68966+2 ~x68965+1 ~x68964+1 x127+2 x126+4 x125+8 x124+1 ~x121+2 ~x120+4 ~x119+8 ~x118-0=49
15.29/15.35	c 8 ~x69391+4 ~x69390+2 ~x69389+1 ~x69388+1 ~x127+2 ~x126+4 ~x125+8 ~x124+1 x121+2 x120+4 x119+8 x118-0=27
15.29/15.37	c 8 ~x69769+4 ~x69768+2 ~x69767+1 ~x69766+1 ~x127+2 ~x126+4 ~x125+8 ~x124+1 x121+2 x120+4 x119+8 x118-0=28
15.29/15.37	c 16 ~x70148+8 ~x70147+4 ~x70146+2 ~x70145+1 ~x70144+1 x127+2 x126+4 x125+8 x124+1 ~x121+2 ~x120+4 ~x119+8 ~x118-0=50
15.29/15.40	c 16 ~x70572+8 ~x70571+4 ~x70570+2 ~x70569+1 ~x70568+1 ~x121+2 ~x120+4 ~x119+8 ~x118+1 x117+2 x116+4 x115+8 x114-0=48
15.29/15.40	c 8 ~x70995+4 ~x70994+2 ~x70993+1 ~x70992+1 x121+2 x120+4 x119+8 x118+1 ~x117+2 ~x116+4 ~x115+8 ~x114-0=28
15.39/15.43	c 8 ~x71373+4 ~x71372+2 ~x71371+1 ~x71370+1 x121+2 x120+4 x119+8 x118+1 ~x117+2 ~x116+4 ~x115+8 ~x114-0=29
15.39/15.43	c 16 ~x71752+8 ~x71751+4 ~x71750+2 ~x71749+1 ~x71748+1 ~x121+2 ~x120+4 ~x119+8 ~x118+1 x117+2 x116+4 x115+8 x114-0=49
15.39/15.43	c 16 ~x72176+8 ~x72175+4 ~x72174+2 ~x72173+1 ~x72172+1 x127+2 x126+4 x125+8 x124+1 ~x121+2 ~x120+4 ~x119+8 ~x118-0=48
15.39/15.45	c 8 ~x72599+4 ~x72598+2 ~x72597+1 ~x72596+1 ~x127+2 ~x126+4 ~x125+8 ~x124+1 x121+2 x120+4 x119+8 x118-0=28
15.39/15.45	c 8 ~x72977+4 ~x72976+2 ~x72975+1 ~x72974+1 ~x127+2 ~x126+4 ~x125+8 ~x124+1 x121+2 x120+4 x119+8 x118-0=29
15.39/15.47	c 16 ~x73356+8 ~x73355+4 ~x73354+2 ~x73353+1 ~x73352+1 x127+2 x126+4 x125+8 x124+1 ~x121+2 ~x120+4 ~x119+8 ~x118-0=49
15.39/15.47	c 16 ~x73780+8 ~x73779+4 ~x73778+2 ~x73777+1 ~x73776+1 ~x121+2 ~x120+4 ~x119+8 ~x118+1 x117+2 x116+4 x115+8 x114-0=47
15.39/15.49	c 8 ~x74203+4 ~x74202+2 ~x74201+1 ~x74200+1 x121+2 x120+4 x119+8 x118+1 ~x117+2 ~x116+4 ~x115+8 ~x114-0=29
15.39/15.49	c 8 ~x74581+4 ~x74580+2 ~x74579+1 ~x74578+1 x121+2 x120+4 x119+8 x118+1 ~x117+2 ~x116+4 ~x115+8 ~x114-0=30
15.48/15.52	c 16 ~x74960+8 ~x74959+4 ~x74958+2 ~x74957+1 ~x74956+1 ~x121+2 ~x120+4 ~x119+8 ~x118+1 x117+2 x116+4 x115+8 x114-0=48
15.48/15.52	c 16 ~x75384+8 ~x75383+4 ~x75382+2 ~x75381+1 ~x75380+1 x127+2 x126+4 x125+8 x124+1 ~x121+2 ~x120+4 ~x119+8 ~x118-0=47
15.48/15.52	c 8 ~x75807+4 ~x75806+2 ~x75805+1 ~x75804+1 ~x127+2 ~x126+4 ~x125+8 ~x124+1 x121+2 x120+4 x119+8 x118-0=29
15.48/15.54	c 8 ~x76185+4 ~x76184+2 ~x76183+1 ~x76182+1 ~x127+2 ~x126+4 ~x125+8 ~x124+1 x121+2 x120+4 x119+8 x118-0=30
15.48/15.54	c 16 ~x76564+8 ~x76563+4 ~x76562+2 ~x76561+1 ~x76560+1 x127+2 x126+4 x125+8 x124+1 ~x121+2 ~x120+4 ~x119+8 ~x118-0=48
15.48/15.56	c 8 ~x76987+4 ~x76986+2 ~x76985+1 ~x76984+1 ~x121+2 ~x120+4 ~x119+8 ~x118+1 x117+2 x116+4 x115+8 x114-0=30
15.48/15.56	c 8 ~x77365+4 ~x77364+2 ~x77363+1 ~x77362+1 x121+2 x120+4 x119+8 x118+1 ~x117+2 ~x116+4 ~x115+8 ~x114-0=30
15.48/15.58	c 16 ~x77744+8 ~x77743+4 ~x77742+2 ~x77741+1 ~x77740+1 x121+2 x120+4 x119+8 x118+1 ~x117+2 ~x116+4 ~x115+8 ~x114-0=47
15.48/15.58	c 16 ~x78168+8 ~x78167+4 ~x78166+2 ~x78165+1 ~x78164+1 ~x121+2 ~x120+4 ~x119+8 ~x118+1 x117+2 x116+4 x115+8 x114-0=47
15.59/15.61	c 8 ~x78591+4 ~x78590+2 ~x78589+1 ~x78588+1 x127+2 x126+4 x125+8 x124+1 ~x121+2 ~x120+4 ~x119+8 ~x118-0=30
15.59/15.61	c 8 ~x78969+4 ~x78968+2 ~x78967+1 ~x78966+1 ~x127+2 ~x126+4 ~x125+8 ~x124+1 x121+2 x120+4 x119+8 x118-0=30
15.59/15.61	c 16 ~x79348+8 ~x79347+4 ~x79346+2 ~x79345+1 ~x79344+1 ~x127+2 ~x126+4 ~x125+8 ~x124+1 x121+2 x120+4 x119+8 x118-0=47
15.59/15.63	c 16 ~x79772+8 ~x79771+4 ~x79770+2 ~x79769+1 ~x79768+1 x127+2 x126+4 x125+8 x124+1 ~x121+2 ~x120+4 ~x119+8 ~x118-0=47
15.59/15.63	c 16 ~x80196+8 ~x80195+4 ~x80194+2 ~x80193+1 ~x80192+1 ~x146+2 ~x145+4 ~x144+8 ~x143+16 ~x142+1 x41+2 x40+4 x39+8 x38+16 x37-0=62
15.59/15.66	c 16 ~x80710+8 ~x80709+4 ~x80708+2 ~x80707+1 ~x80706+1 x146+2 x145+4 x144+8 x143+16 x142+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=62
15.59/15.66	c 32 ~x81225+16 ~x81224+8 ~x81223+4 ~x81222+2 ~x81221+1 ~x81220+1 x146+2 x145+4 x144+8 x143+16 x142+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=95
15.59/15.69	c 32 ~x81845+16 ~x81844+8 ~x81843+4 ~x81842+2 ~x81841+1 ~x81840+1 ~x146+2 ~x145+4 ~x144+8 ~x143+16 ~x142+1 x41+2 x40+4 x39+8 x38+16 x37-0=95
15.59/15.69	c 16 ~x82464+8 ~x82463+4 ~x82462+2 ~x82461+1 ~x82460+1 ~x146+2 ~x145+4 ~x144+8 ~x143+16 ~x142+1 x22+2 x21+4 x20+8 x19+16 x18-0=62
15.68/15.72	c 16 ~x82978+8 ~x82977+4 ~x82976+2 ~x82975+1 ~x82974+1 x146+2 x145+4 x144+8 x143+16 x142+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=62
15.68/15.72	c 32 ~x83493+16 ~x83492+8 ~x83491+4 ~x83490+2 ~x83489+1 ~x83488+1 x146+2 x145+4 x144+8 x143+16 x142+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=95
15.68/15.73	c 32 ~x84113+16 ~x84112+8 ~x84111+4 ~x84110+2 ~x84109+1 ~x84108+1 ~x146+2 ~x145+4 ~x144+8 ~x143+16 ~x142+1 x22+2 x21+4 x20+8 x19+16 x18-0=95
15.68/15.77	c 16 ~x84732+8 ~x84731+4 ~x84730+2 ~x84729+1 ~x84728+1 x155+2 x154+4 x153+8 x152+16 x151+1 ~x27+2 ~x26+4 ~x25+8 ~x24+16 ~x23-0=62
15.68/15.77	c 16 ~x85246+8 ~x85245+4 ~x85244+2 ~x85243+1 ~x85242+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151+1 x27+2 x26+4 x25+8 x24+16 x23-0=62
15.68/15.79	c 32 ~x85761+16 ~x85760+8 ~x85759+4 ~x85758+2 ~x85757+1 ~x85756+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151+1 x27+2 x26+4 x25+8 x24+16 x23-0=95
15.68/15.79	c 32 ~x86381+16 ~x86380+8 ~x86379+4 ~x86378+2 ~x86377+1 ~x86376+1 x155+2 x154+4 x153+8 x152+16 x151+1 ~x27+2 ~x26+4 ~x25+8 ~x24+16 ~x23-0=95
15.78/15.82	c 16 ~x87000+8 ~x86999+4 ~x86998+2 ~x86997+1 ~x86996+1 x155+2 x154+4 x153+8 x152+16 x151+1 ~x146+2 ~x145+4 ~x144+8 ~x143+16 ~x142-0=62
15.78/15.82	c 16 ~x87514+8 ~x87513+4 ~x87512+2 ~x87511+1 ~x87510+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151+1 x146+2 x145+4 x144+8 x143+16 x142-0=62
15.78/15.85	c 32 ~x88029+16 ~x88028+8 ~x88027+4 ~x88026+2 ~x88025+1 ~x88024+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151+1 x146+2 x145+4 x144+8 x143+16 x142-0=95
15.78/15.85	c 32 ~x88649+16 ~x88648+8 ~x88647+4 ~x88646+2 ~x88645+1 ~x88644+1 x155+2 x154+4 x153+8 x152+16 x151+1 ~x146+2 ~x145+4 ~x144+8 ~x143+16 ~x142-0=95
15.78/15.88	c 16 ~x89268+8 ~x89267+4 ~x89266+2 ~x89265+1 ~x89264+1 x155+2 x154+4 x153+8 x152+16 x151+1 ~x48+2 ~x47+4 ~x46+8 ~x45+16 ~x44-0=62
15.78/15.88	c 16 ~x89782+8 ~x89781+4 ~x89780+2 ~x89779+1 ~x89778+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151+1 x48+2 x47+4 x46+8 x45+16 x44-0=62
15.88/15.91	c 32 ~x90297+16 ~x90296+8 ~x90295+4 ~x90294+2 ~x90293+1 ~x90292+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151+1 x48+2 x47+4 x46+8 x45+16 x44-0=95
15.88/15.91	c 32 ~x90917+16 ~x90916+8 ~x90915+4 ~x90914+2 ~x90913+1 ~x90912+1 x155+2 x154+4 x153+8 x152+16 x151+1 ~x48+2 ~x47+4 ~x46+8 ~x45+16 ~x44-0=95
15.88/15.93	c 16 ~x91536+8 ~x91535+4 ~x91534+2 ~x91533+1 ~x91532+1 ~x166+2 ~x165+4 ~x164+8 ~x163+16 ~x162+1 x41+2 x40+4 x39+8 x38+16 x37-0=62
15.88/15.93	c 16 ~x92050+8 ~x92049+4 ~x92048+2 ~x92047+1 ~x92046+1 x166+2 x165+4 x164+8 x163+16 x162+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=62
15.88/15.95	c 32 ~x92565+16 ~x92564+8 ~x92563+4 ~x92562+2 ~x92561+1 ~x92560+1 x166+2 x165+4 x164+8 x163+16 x162+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=95
15.88/15.98	c 32 ~x93185+16 ~x93184+8 ~x93183+4 ~x93182+2 ~x93181+1 ~x93180+1 ~x166+2 ~x165+4 ~x164+8 ~x163+16 ~x162+1 x41+2 x40+4 x39+8 x38+16 x37-0=95
15.88/15.98	c 16 ~x93804+8 ~x93803+4 ~x93802+2 ~x93801+1 ~x93800+1 ~x166+2 ~x165+4 ~x164+8 ~x163+16 ~x162+1 x22+2 x21+4 x20+8 x19+16 x18-0=62
15.98/16.00	c 16 ~x94318+8 ~x94317+4 ~x94316+2 ~x94315+1 ~x94314+1 x166+2 x165+4 x164+8 x163+16 x162+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=62
15.98/16.00	c 32 ~x94833+16 ~x94832+8 ~x94831+4 ~x94830+2 ~x94829+1 ~x94828+1 x166+2 x165+4 x164+8 x163+16 x162+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=95
15.98/16.03	c 32 ~x95453+16 ~x95452+8 ~x95451+4 ~x95450+2 ~x95449+1 ~x95448+1 ~x166+2 ~x165+4 ~x164+8 ~x163+16 ~x162+1 x22+2 x21+4 x20+8 x19+16 x18-0=95
15.98/16.03	c 16 ~x96072+8 ~x96071+4 ~x96070+2 ~x96069+1 ~x96068+1 x155+2 x154+4 x153+8 x152+16 x151+1 ~x57+2 ~x56+4 ~x55+8 ~x54+16 ~x53-0=62
15.98/16.06	c 16 ~x96586+8 ~x96585+4 ~x96584+2 ~x96583+1 ~x96582+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151+1 x57+2 x56+4 x55+8 x54+16 x53-0=62
15.98/16.06	c 32 ~x97101+16 ~x97100+8 ~x97099+4 ~x97098+2 ~x97097+1 ~x97096+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151+1 x57+2 x56+4 x55+8 x54+16 x53-0=95
15.98/16.09	c 32 ~x97721+16 ~x97720+8 ~x97719+4 ~x97718+2 ~x97717+1 ~x97716+1 x155+2 x154+4 x153+8 x152+16 x151+1 ~x57+2 ~x56+4 ~x55+8 ~x54+16 ~x53-0=95
15.98/16.09	c 16 ~x98340+8 ~x98339+4 ~x98338+2 ~x98337+1 ~x98336+1 ~x166+2 ~x165+4 ~x164+8 ~x163+16 ~x162+1 x155+2 x154+4 x153+8 x152+16 x151-0=62
16.08/16.11	c 16 ~x98854+8 ~x98853+4 ~x98852+2 ~x98851+1 ~x98850+1 x166+2 x165+4 x164+8 x163+16 x162+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=62
16.08/16.11	c 32 ~x99369+16 ~x99368+8 ~x99367+4 ~x99366+2 ~x99365+1 ~x99364+1 x166+2 x165+4 x164+8 x163+16 x162+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=95
16.08/16.14	c 32 ~x99989+16 ~x99988+8 ~x99987+4 ~x99986+2 ~x99985+1 ~x99984+1 ~x166+2 ~x165+4 ~x164+8 ~x163+16 ~x162+1 x155+2 x154+4 x153+8 x152+16 x151-0=95
16.08/16.14	c 16 ~x100608+8 ~x100607+4 ~x100606+2 ~x100605+1 ~x100604+1 x179+2 x178+4 x177+8 x176+16 x175+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=62
16.08/16.16	c 16 ~x101122+8 ~x101121+4 ~x101120+2 ~x101119+1 ~x101118+1 ~x179+2 ~x178+4 ~x177+8 ~x176+16 ~x175+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
16.08/16.19	c 32 ~x101637+16 ~x101636+8 ~x101635+4 ~x101634+2 ~x101633+1 ~x101632+1 ~x179+2 ~x178+4 ~x177+8 ~x176+16 ~x175+1 x13+2 x12+4 x11+8 x10+16 x9-0=95
16.08/16.19	c 32 ~x102257+16 ~x102256+8 ~x102255+4 ~x102254+2 ~x102253+1 ~x102252+1 x179+2 x178+4 x177+8 x176+16 x175+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
16.18/16.21	c 16 ~x102876+8 ~x102875+4 ~x102874+2 ~x102873+1 ~x102872+1 ~x186+2 ~x185+4 ~x184+8 ~x183+16 ~x182+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
16.18/16.21	c 16 ~x103390+8 ~x103389+4 ~x103388+2 ~x103387+1 ~x103386+1 x186+2 x185+4 x184+8 x183+16 x182+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=62
16.18/16.24	c 32 ~x103905+16 ~x103904+8 ~x103903+4 ~x103902+2 ~x103901+1 ~x103900+1 x186+2 x185+4 x184+8 x183+16 x182+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
16.18/16.24	c 32 ~x104525+16 ~x104524+8 ~x104523+4 ~x104522+2 ~x104521+1 ~x104520+1 ~x186+2 ~x185+4 ~x184+8 ~x183+16 ~x182+1 x13+2 x12+4 x11+8 x10+16 x9-0=95
16.18/16.27	c 16 ~x105144+8 ~x105143+4 ~x105142+2 ~x105141+1 ~x105140+1 ~x193+2 ~x192+4 ~x191+8 ~x190+16 ~x189+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
16.18/16.27	c 16 ~x105658+8 ~x105657+4 ~x105656+2 ~x105655+1 ~x105654+1 x193+2 x192+4 x191+8 x190+16 x189+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=62
16.28/16.30	c 32 ~x106173+16 ~x106172+8 ~x106171+4 ~x106170+2 ~x106169+1 ~x106168+1 x193+2 x192+4 x191+8 x190+16 x189+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
16.28/16.30	c 32 ~x106793+16 ~x106792+8 ~x106791+4 ~x106790+2 ~x106789+1 ~x106788+1 ~x193+2 ~x192+4 ~x191+8 ~x190+16 ~x189+1 x13+2 x12+4 x11+8 x10+16 x9-0=95
16.28/16.32	c 16 ~x107412+8 ~x107411+4 ~x107410+2 ~x107409+1 ~x107408+1 ~x179+2 ~x178+4 ~x177+8 ~x176+16 ~x175+1 x13+2 x12+4 x11+8 x10+16 x9-0=61
16.28/16.35	c 32 ~x107927+16 ~x107926+8 ~x107925+4 ~x107924+2 ~x107923+1 ~x107922+1 x179+2 x178+4 x177+8 x176+16 x175+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
16.28/16.35	c 32 ~x108547+16 ~x108546+8 ~x108545+4 ~x108544+2 ~x108543+1 ~x108542+1 x179+2 x178+4 x177+8 x176+16 x175+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=96
16.28/16.37	c 16 ~x109166+8 ~x109165+4 ~x109164+2 ~x109163+1 ~x109162+1 ~x179+2 ~x178+4 ~x177+8 ~x176+16 ~x175+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
16.28/16.37	c 16 ~x109680+8 ~x109679+4 ~x109678+2 ~x109677+1 ~x109676+1 ~x186+2 ~x185+4 ~x184+8 ~x183+16 ~x182+1 x13+2 x12+4 x11+8 x10+16 x9-0=61
16.39/16.40	c 32 ~x110195+16 ~x110194+8 ~x110193+4 ~x110192+2 ~x110191+1 ~x110190+1 x186+2 x185+4 x184+8 x183+16 x182+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
16.39/16.40	c 32 ~x110815+16 ~x110814+8 ~x110813+4 ~x110812+2 ~x110811+1 ~x110810+1 x186+2 x185+4 x184+8 x183+16 x182+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=96
16.39/16.43	c 16 ~x111434+8 ~x111433+4 ~x111432+2 ~x111431+1 ~x111430+1 ~x186+2 ~x185+4 ~x184+8 ~x183+16 ~x182+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
16.39/16.43	c 16 ~x111948+8 ~x111947+4 ~x111946+2 ~x111945+1 ~x111944+1 ~x193+2 ~x192+4 ~x191+8 ~x190+16 ~x189+1 x13+2 x12+4 x11+8 x10+16 x9-0=61
16.39/16.44	c 32 ~x112463+16 ~x112462+8 ~x112461+4 ~x112460+2 ~x112459+1 ~x112458+1 x193+2 x192+4 x191+8 x190+16 x189+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
16.39/16.47	c 32 ~x113083+16 ~x113082+8 ~x113081+4 ~x113080+2 ~x113079+1 ~x113078+1 x193+2 x192+4 x191+8 x190+16 x189+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=96
16.39/16.47	c 16 ~x113702+8 ~x113701+4 ~x113700+2 ~x113699+1 ~x113698+1 ~x193+2 ~x192+4 ~x191+8 ~x190+16 ~x189+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
16.39/16.50	c 16 ~x114216+8 ~x114215+4 ~x114214+2 ~x114213+1 ~x114212+1 ~x206+2 ~x205+4 ~x204+8 ~x203+16 ~x202+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
16.39/16.50	c 16 ~x114730+8 ~x114729+4 ~x114728+2 ~x114727+1 ~x114726+1 x206+2 x205+4 x204+8 x203+16 x202+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=62
16.49/16.53	c 32 ~x115245+16 ~x115244+8 ~x115243+4 ~x115242+2 ~x115241+1 ~x115240+1 x206+2 x205+4 x204+8 x203+16 x202+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
16.49/16.53	c 32 ~x115865+16 ~x115864+8 ~x115863+4 ~x115862+2 ~x115861+1 ~x115860+1 ~x206+2 ~x205+4 ~x204+8 ~x203+16 ~x202+1 x68+2 x67+4 x66+8 x65+16 x64-0=95
16.49/16.56	c 16 ~x116484+8 ~x116483+4 ~x116482+2 ~x116481+1 ~x116480+1 ~x206+2 ~x205+4 ~x204+8 ~x203+16 ~x202+1 x68+2 x67+4 x66+8 x65+16 x64-0=61
16.49/16.56	c 32 ~x116999+16 ~x116998+8 ~x116997+4 ~x116996+2 ~x116995+1 ~x116994+1 x206+2 x205+4 x204+8 x203+16 x202+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
16.49/16.59	c 32 ~x117619+16 ~x117618+8 ~x117617+4 ~x117616+2 ~x117615+1 ~x117614+1 x206+2 x205+4 x204+8 x203+16 x202+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=96
16.58/16.60	c 16 ~x118238+8 ~x118237+4 ~x118236+2 ~x118235+1 ~x118234+1 ~x206+2 ~x205+4 ~x204+8 ~x203+16 ~x202+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
16.58/16.60	c 16 ~x118752+8 ~x118751+4 ~x118750+2 ~x118749+1 ~x118748+1 x206+2 x205+4 x204+8 x203+16 x202+1 ~x73+2 ~x72+4 ~x71+8 ~x70+16 ~x69-0=62
16.58/16.62	c 16 ~x119266+8 ~x119265+4 ~x119264+2 ~x119263+1 ~x119262+1 ~x206+2 ~x205+4 ~x204+8 ~x203+16 ~x202+1 x73+2 x72+4 x71+8 x70+16 x69-0=62
16.58/16.62	c 32 ~x119781+16 ~x119780+8 ~x119779+4 ~x119778+2 ~x119777+1 ~x119776+1 ~x206+2 ~x205+4 ~x204+8 ~x203+16 ~x202+1 x73+2 x72+4 x71+8 x70+16 x69-0=95
16.58/16.65	c 32 ~x120401+16 ~x120400+8 ~x120399+4 ~x120398+2 ~x120397+1 ~x120396+1 x206+2 x205+4 x204+8 x203+16 x202+1 ~x73+2 ~x72+4 ~x71+8 ~x70+16 ~x69-0=95
16.58/16.65	c 16 ~x121020+8 ~x121019+4 ~x121018+2 ~x121017+1 ~x121016+1 ~x217+2 ~x216+4 ~x215+8 ~x214+16 ~x213+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
16.58/16.68	c 16 ~x121534+8 ~x121533+4 ~x121532+2 ~x121531+1 ~x121530+1 x217+2 x216+4 x215+8 x214+16 x213+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=62
16.58/16.68	c 32 ~x122049+16 ~x122048+8 ~x122047+4 ~x122046+2 ~x122045+1 ~x122044+1 x217+2 x216+4 x215+8 x214+16 x213+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
16.68/16.71	c 32 ~x122669+16 ~x122668+8 ~x122667+4 ~x122666+2 ~x122665+1 ~x122664+1 ~x217+2 ~x216+4 ~x215+8 ~x214+16 ~x213+1 x68+2 x67+4 x66+8 x65+16 x64-0=95
16.68/16.71	c 16 ~x123288+8 ~x123287+4 ~x123286+2 ~x123285+1 ~x123284+1 ~x217+2 ~x216+4 ~x215+8 ~x214+16 ~x213+1 x68+2 x67+4 x66+8 x65+16 x64-0=61
16.68/16.72	c 32 ~x123803+16 ~x123802+8 ~x123801+4 ~x123800+2 ~x123799+1 ~x123798+1 x217+2 x216+4 x215+8 x214+16 x213+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
16.68/16.75	c 32 ~x124423+16 ~x124422+8 ~x124421+4 ~x124420+2 ~x124419+1 ~x124418+1 x217+2 x216+4 x215+8 x214+16 x213+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=96
16.68/16.75	c 16 ~x125042+8 ~x125041+4 ~x125040+2 ~x125039+1 ~x125038+1 ~x217+2 ~x216+4 ~x215+8 ~x214+16 ~x213+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
16.68/16.78	c 16 ~x125556+8 ~x125555+4 ~x125554+2 ~x125553+1 ~x125552+1 x217+2 x216+4 x215+8 x214+16 x213+1 ~x73+2 ~x72+4 ~x71+8 ~x70+16 ~x69-0=62
16.68/16.78	c 16 ~x126070+8 ~x126069+4 ~x126068+2 ~x126067+1 ~x126066+1 ~x217+2 ~x216+4 ~x215+8 ~x214+16 ~x213+1 x73+2 x72+4 x71+8 x70+16 x69-0=62
16.78/16.81	c 32 ~x126585+16 ~x126584+8 ~x126583+4 ~x126582+2 ~x126581+1 ~x126580+1 ~x217+2 ~x216+4 ~x215+8 ~x214+16 ~x213+1 x73+2 x72+4 x71+8 x70+16 x69-0=95
16.78/16.81	c 32 ~x127205+16 ~x127204+8 ~x127203+4 ~x127202+2 ~x127201+1 ~x127200+1 x217+2 x216+4 x215+8 x214+16 x213+1 ~x73+2 ~x72+4 ~x71+8 ~x70+16 ~x69-0=95
16.78/16.83	c 16 ~x127824+8 ~x127823+4 ~x127822+2 ~x127821+1 ~x127820+1 ~x228+2 ~x227+4 ~x226+8 ~x225+16 ~x224+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
16.78/16.83	c 16 ~x128338+8 ~x128337+4 ~x128336+2 ~x128335+1 ~x128334+1 x228+2 x227+4 x226+8 x225+16 x224+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=62
16.78/16.86	c 32 ~x128853+16 ~x128852+8 ~x128851+4 ~x128850+2 ~x128849+1 ~x128848+1 x228+2 x227+4 x226+8 x225+16 x224+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
16.78/16.86	c 32 ~x129473+16 ~x129472+8 ~x129471+4 ~x129470+2 ~x129469+1 ~x129468+1 ~x228+2 ~x227+4 ~x226+8 ~x225+16 ~x224+1 x68+2 x67+4 x66+8 x65+16 x64-0=95
16.78/16.88	c 16 ~x130092+8 ~x130091+4 ~x130090+2 ~x130089+1 ~x130088+1 ~x228+2 ~x227+4 ~x226+8 ~x225+16 ~x224+1 x68+2 x67+4 x66+8 x65+16 x64-0=61
16.88/16.91	c 32 ~x130607+16 ~x130606+8 ~x130605+4 ~x130604+2 ~x130603+1 ~x130602+1 x228+2 x227+4 x226+8 x225+16 x224+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
16.88/16.91	c 32 ~x131227+16 ~x131226+8 ~x131225+4 ~x131224+2 ~x131223+1 ~x131222+1 x228+2 x227+4 x226+8 x225+16 x224+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=96
16.88/16.93	c 16 ~x131846+8 ~x131845+4 ~x131844+2 ~x131843+1 ~x131842+1 ~x228+2 ~x227+4 ~x226+8 ~x225+16 ~x224+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
16.88/16.93	c 16 ~x132360+8 ~x132359+4 ~x132358+2 ~x132357+1 ~x132356+1 ~x228+2 ~x227+4 ~x226+8 ~x225+16 ~x224+1 x206+2 x205+4 x204+8 x203+16 x202-0=62
16.88/16.97	c 16 ~x132874+8 ~x132873+4 ~x132872+2 ~x132871+1 ~x132870+1 x228+2 x227+4 x226+8 x225+16 x224+1 ~x206+2 ~x205+4 ~x204+8 ~x203+16 ~x202-0=62
16.88/16.97	c 32 ~x133389+16 ~x133388+8 ~x133387+4 ~x133386+2 ~x133385+1 ~x133384+1 x228+2 x227+4 x226+8 x225+16 x224+1 ~x206+2 ~x205+4 ~x204+8 ~x203+16 ~x202-0=95
16.88/16.98	c 32 ~x134009+16 ~x134008+8 ~x134007+4 ~x134006+2 ~x134005+1 ~x134004+1 ~x228+2 ~x227+4 ~x226+8 ~x225+16 ~x224+1 x206+2 x205+4 x204+8 x203+16 x202-0=95
16.98/17.01	c 16 ~x134628+8 ~x134627+4 ~x134626+2 ~x134625+1 ~x134624+1 ~x228+2 ~x227+4 ~x226+8 ~x225+16 ~x224+1 x217+2 x216+4 x215+8 x214+16 x213-0=62
16.98/17.01	c 16 ~x135142+8 ~x135141+4 ~x135140+2 ~x135139+1 ~x135138+1 x228+2 x227+4 x226+8 x225+16 x224+1 ~x217+2 ~x216+4 ~x215+8 ~x214+16 ~x213-0=62
16.98/17.04	c 32 ~x135657+16 ~x135656+8 ~x135655+4 ~x135654+2 ~x135653+1 ~x135652+1 x228+2 x227+4 x226+8 x225+16 x224+1 ~x217+2 ~x216+4 ~x215+8 ~x214+16 ~x213-0=95
16.98/17.04	c 32 ~x136277+16 ~x136276+8 ~x136275+4 ~x136274+2 ~x136273+1 ~x136272+1 ~x228+2 ~x227+4 ~x226+8 ~x225+16 ~x224+1 x217+2 x216+4 x215+8 x214+16 x213-0=95
16.98/17.06	c 16 ~x136896+8 ~x136895+4 ~x136894+2 ~x136893+1 ~x136892+1 ~x121+2 ~x120+4 ~x119+8 ~x118+1 x117+2 x116+4 x115+8 x114-0=50
16.98/17.06	c 8 ~x137319+4 ~x137318+2 ~x137317+1 ~x137316+1 x121+2 x120+4 x119+8 x118+1 ~x117+2 ~x116+4 ~x115+8 ~x114-0=26
16.98/17.08	c 8 ~x137697+4 ~x137696+2 ~x137695+1 ~x137694+1 x121+2 x120+4 x119+8 x118+1 ~x117+2 ~x116+4 ~x115+8 ~x114-0=27
16.98/17.08	c 16 ~x138076+8 ~x138075+4 ~x138074+2 ~x138073+1 ~x138072+1 ~x121+2 ~x120+4 ~x119+8 ~x118+1 x117+2 x116+4 x115+8 x114-0=51
17.08/17.10	c 16 ~x138500+8 ~x138499+4 ~x138498+2 ~x138497+1 ~x138496+1 x127+2 x126+4 x125+8 x124+1 ~x121+2 ~x120+4 ~x119+8 ~x118-0=50
17.08/17.10	c 8 ~x138923+4 ~x138922+2 ~x138921+1 ~x138920+1 ~x127+2 ~x126+4 ~x125+8 ~x124+1 x121+2 x120+4 x119+8 x118-0=26
17.08/17.13	c 8 ~x139301+4 ~x139300+2 ~x139299+1 ~x139298+1 ~x127+2 ~x126+4 ~x125+8 ~x124+1 x121+2 x120+4 x119+8 x118-0=27
17.08/17.13	c 16 ~x139680+8 ~x139679+4 ~x139678+2 ~x139677+1 ~x139676+1 x127+2 x126+4 x125+8 x124+1 ~x121+2 ~x120+4 ~x119+8 ~x118-0=51
17.08/17.13	c 16 ~x140104+8 ~x140103+4 ~x140102+2 ~x140101+1 ~x140100+1 ~x245+2 ~x244+4 ~x243+8 ~x242+16 ~x241+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
17.08/17.15	c 16 ~x140618+8 ~x140617+4 ~x140616+2 ~x140615+1 ~x140614+1 x245+2 x244+4 x243+8 x242+16 x241+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=62
17.08/17.18	c 32 ~x141133+16 ~x141132+8 ~x141131+4 ~x141130+2 ~x141129+1 ~x141128+1 x245+2 x244+4 x243+8 x242+16 x241+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
17.08/17.18	c 32 ~x141753+16 ~x141752+8 ~x141751+4 ~x141750+2 ~x141749+1 ~x141748+1 ~x245+2 ~x244+4 ~x243+8 ~x242+16 ~x241+1 x13+2 x12+4 x11+8 x10+16 x9-0=95
17.19/17.20	c 16 ~x142372+8 ~x142371+4 ~x142370+2 ~x142369+1 ~x142368+1 ~x245+2 ~x244+4 ~x243+8 ~x242+16 ~x241+1 x13+2 x12+4 x11+8 x10+16 x9-0=61
17.19/17.20	c 32 ~x142887+16 ~x142886+8 ~x142885+4 ~x142884+2 ~x142883+1 ~x142882+1 x245+2 x244+4 x243+8 x242+16 x241+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
17.19/17.23	c 32 ~x143507+16 ~x143506+8 ~x143505+4 ~x143504+2 ~x143503+1 ~x143502+1 x245+2 x244+4 x243+8 x242+16 x241+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=96
17.19/17.23	c 16 ~x144126+8 ~x144125+4 ~x144124+2 ~x144123+1 ~x144122+1 ~x245+2 ~x244+4 ~x243+8 ~x242+16 ~x241+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
17.19/17.26	c 16 ~x144640+8 ~x144639+4 ~x144638+2 ~x144637+1 ~x144636+1 ~x254+2 ~x253+4 ~x252+8 ~x251+16 ~x250+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
17.19/17.26	c 16 ~x145154+8 ~x145153+4 ~x145152+2 ~x145151+1 ~x145150+1 x254+2 x253+4 x252+8 x251+16 x250+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=62
17.19/17.29	c 32 ~x145669+16 ~x145668+8 ~x145667+4 ~x145666+2 ~x145665+1 ~x145664+1 x254+2 x253+4 x252+8 x251+16 x250+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
17.19/17.29	c 32 ~x146289+16 ~x146288+8 ~x146287+4 ~x146286+2 ~x146285+1 ~x146284+1 ~x254+2 ~x253+4 ~x252+8 ~x251+16 ~x250+1 x13+2 x12+4 x11+8 x10+16 x9-0=95
17.29/17.30	c 16 ~x146908+8 ~x146907+4 ~x146906+2 ~x146905+1 ~x146904+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257+1 x41+2 x40+4 x39+8 x38+16 x37-0=62
17.29/17.33	c 16 ~x147422+8 ~x147421+4 ~x147420+2 ~x147419+1 ~x147418+1 x261+2 x260+4 x259+8 x258+16 x257+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=62
17.29/17.33	c 32 ~x147937+16 ~x147936+8 ~x147935+4 ~x147934+2 ~x147933+1 ~x147932+1 x261+2 x260+4 x259+8 x258+16 x257+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=95
17.29/17.36	c 32 ~x148557+16 ~x148556+8 ~x148555+4 ~x148554+2 ~x148553+1 ~x148552+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257+1 x41+2 x40+4 x39+8 x38+16 x37-0=95
17.29/17.36	c 16 ~x149176+8 ~x149175+4 ~x149174+2 ~x149173+1 ~x149172+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257+1 x155+2 x154+4 x153+8 x152+16 x151-0=62
17.29/17.38	c 16 ~x149690+8 ~x149689+4 ~x149688+2 ~x149687+1 ~x149686+1 x261+2 x260+4 x259+8 x258+16 x257+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=62
17.29/17.38	c 32 ~x150205+16 ~x150204+8 ~x150203+4 ~x150202+2 ~x150201+1 ~x150200+1 x261+2 x260+4 x259+8 x258+16 x257+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=95
17.38/17.40	c 32 ~x150825+16 ~x150824+8 ~x150823+4 ~x150822+2 ~x150821+1 ~x150820+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257+1 x155+2 x154+4 x153+8 x152+16 x151-0=95
17.38/17.43	c 16 ~x151444+8 ~x151443+4 ~x151442+2 ~x151441+1 ~x151440+1 x270+2 x269+4 x268+8 x267+16 x266+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257-0=62
17.38/17.43	c 16 ~x151958+8 ~x151957+4 ~x151956+2 ~x151955+1 ~x151954+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266+1 x261+2 x260+4 x259+8 x258+16 x257-0=62
17.38/17.46	c 32 ~x152473+16 ~x152472+8 ~x152471+4 ~x152470+2 ~x152469+1 ~x152468+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266+1 x261+2 x260+4 x259+8 x258+16 x257-0=95
17.38/17.46	c 32 ~x153093+16 ~x153092+8 ~x153091+4 ~x153090+2 ~x153089+1 ~x153088+1 x270+2 x269+4 x268+8 x267+16 x266+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257-0=95
17.38/17.48	c 16 ~x153712+8 ~x153711+4 ~x153710+2 ~x153709+1 ~x153708+1 ~x277+2 ~x276+4 ~x275+8 ~x274+16 ~x273+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
17.38/17.48	c 16 ~x154226+8 ~x154225+4 ~x154224+2 ~x154223+1 ~x154222+1 x277+2 x276+4 x275+8 x274+16 x273+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=62
17.49/17.51	c 32 ~x154741+16 ~x154740+8 ~x154739+4 ~x154738+2 ~x154737+1 ~x154736+1 x277+2 x276+4 x275+8 x274+16 x273+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
17.49/17.51	c 32 ~x155361+16 ~x155360+8 ~x155359+4 ~x155358+2 ~x155357+1 ~x155356+1 ~x277+2 ~x276+4 ~x275+8 ~x274+16 ~x273+1 x13+2 x12+4 x11+8 x10+16 x9-0=95
17.49/17.53	c 16 ~x155980+8 ~x155979+4 ~x155978+2 ~x155977+1 ~x155976+1 ~x284+2 ~x283+4 ~x282+8 ~x281+16 ~x280+1 x22+2 x21+4 x20+8 x19+16 x18-0=62
17.49/17.55	c 16 ~x156494+8 ~x156493+4 ~x156492+2 ~x156491+1 ~x156490+1 x284+2 x283+4 x282+8 x281+16 x280+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=62
17.49/17.55	c 32 ~x157009+16 ~x157008+8 ~x157007+4 ~x157006+2 ~x157005+1 ~x157004+1 x284+2 x283+4 x282+8 x281+16 x280+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=95
17.49/17.58	c 32 ~x157629+16 ~x157628+8 ~x157627+4 ~x157626+2 ~x157625+1 ~x157624+1 ~x284+2 ~x283+4 ~x282+8 ~x281+16 ~x280+1 x22+2 x21+4 x20+8 x19+16 x18-0=95
17.49/17.58	c 16 ~x158248+8 ~x158247+4 ~x158246+2 ~x158245+1 ~x158244+1 ~x284+2 ~x283+4 ~x282+8 ~x281+16 ~x280+1 x41+2 x40+4 x39+8 x38+16 x37-0=62
17.59/17.61	c 16 ~x158762+8 ~x158761+4 ~x158760+2 ~x158759+1 ~x158758+1 x284+2 x283+4 x282+8 x281+16 x280+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=62
17.59/17.61	c 32 ~x159277+16 ~x159276+8 ~x159275+4 ~x159274+2 ~x159273+1 ~x159272+1 x284+2 x283+4 x282+8 x281+16 x280+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=95
17.59/17.64	c 32 ~x159897+16 ~x159896+8 ~x159895+4 ~x159894+2 ~x159893+1 ~x159892+1 ~x284+2 ~x283+4 ~x282+8 ~x281+16 ~x280+1 x41+2 x40+4 x39+8 x38+16 x37-0=95
17.59/17.64	c 16 ~x160516+8 ~x160515+4 ~x160514+2 ~x160513+1 ~x160512+1 ~x284+2 ~x283+4 ~x282+8 ~x281+16 ~x280+1 x155+2 x154+4 x153+8 x152+16 x151-0=62
17.59/17.67	c 16 ~x161030+8 ~x161029+4 ~x161028+2 ~x161027+1 ~x161026+1 x284+2 x283+4 x282+8 x281+16 x280+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=62
17.59/17.67	c 32 ~x161545+16 ~x161544+8 ~x161543+4 ~x161542+2 ~x161541+1 ~x161540+1 x284+2 x283+4 x282+8 x281+16 x280+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=95
17.59/17.68	c 32 ~x162165+16 ~x162164+8 ~x162163+4 ~x162162+2 ~x162161+1 ~x162160+1 ~x284+2 ~x283+4 ~x282+8 ~x281+16 ~x280+1 x155+2 x154+4 x153+8 x152+16 x151-0=95
17.68/17.71	c 16 ~x162784+8 ~x162783+4 ~x162782+2 ~x162781+1 ~x162780+1 x270+2 x269+4 x268+8 x267+16 x266+1 ~x27+2 ~x26+4 ~x25+8 ~x24+16 ~x23-0=62
17.68/17.71	c 16 ~x163298+8 ~x163297+4 ~x163296+2 ~x163295+1 ~x163294+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266+1 x27+2 x26+4 x25+8 x24+16 x23-0=62
17.68/17.74	c 32 ~x163813+16 ~x163812+8 ~x163811+4 ~x163810+2 ~x163809+1 ~x163808+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266+1 x27+2 x26+4 x25+8 x24+16 x23-0=95
17.68/17.74	c 32 ~x164433+16 ~x164432+8 ~x164431+4 ~x164430+2 ~x164429+1 ~x164428+1 x270+2 x269+4 x268+8 x267+16 x266+1 ~x27+2 ~x26+4 ~x25+8 ~x24+16 ~x23-0=95
17.68/17.76	c 16 ~x165052+8 ~x165051+4 ~x165050+2 ~x165049+1 ~x165048+1 x270+2 x269+4 x268+8 x267+16 x266+1 ~x146+2 ~x145+4 ~x144+8 ~x143+16 ~x142-0=62
17.68/17.76	c 16 ~x165566+8 ~x165565+4 ~x165564+2 ~x165563+1 ~x165562+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266+1 x146+2 x145+4 x144+8 x143+16 x142-0=62
17.68/17.78	c 32 ~x166081+16 ~x166080+8 ~x166079+4 ~x166078+2 ~x166077+1 ~x166076+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266+1 x146+2 x145+4 x144+8 x143+16 x142-0=95
17.79/17.81	c 32 ~x166701+16 ~x166700+8 ~x166699+4 ~x166698+2 ~x166697+1 ~x166696+1 x270+2 x269+4 x268+8 x267+16 x266+1 ~x146+2 ~x145+4 ~x144+8 ~x143+16 ~x142-0=95
17.79/17.81	c 16 ~x167320+8 ~x167319+4 ~x167318+2 ~x167317+1 ~x167316+1 ~x284+2 ~x283+4 ~x282+8 ~x281+16 ~x280+1 x270+2 x269+4 x268+8 x267+16 x266-0=62
17.79/17.84	c 16 ~x167834+8 ~x167833+4 ~x167832+2 ~x167831+1 ~x167830+1 x284+2 x283+4 x282+8 x281+16 x280+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266-0=62
17.79/17.84	c 32 ~x168349+16 ~x168348+8 ~x168347+4 ~x168346+2 ~x168345+1 ~x168344+1 x284+2 x283+4 x282+8 x281+16 x280+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266-0=95
17.79/17.87	c 32 ~x168969+16 ~x168968+8 ~x168967+4 ~x168966+2 ~x168965+1 ~x168964+1 ~x284+2 ~x283+4 ~x282+8 ~x281+16 ~x280+1 x270+2 x269+4 x268+8 x267+16 x266-0=95
17.79/17.87	c 16 ~x169588+8 ~x169587+4 ~x169586+2 ~x169585+1 ~x169584+1 x301+2 x300+4 x299+8 x298+16 x297+1 ~x27+2 ~x26+4 ~x25+8 ~x24+16 ~x23-0=62
17.89/17.90	c 16 ~x170102+8 ~x170101+4 ~x170100+2 ~x170099+1 ~x170098+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297+1 x27+2 x26+4 x25+8 x24+16 x23-0=62
17.89/17.90	c 32 ~x170617+16 ~x170616+8 ~x170615+4 ~x170614+2 ~x170613+1 ~x170612+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297+1 x27+2 x26+4 x25+8 x24+16 x23-0=95
17.89/17.91	c 32 ~x171237+16 ~x171236+8 ~x171235+4 ~x171234+2 ~x171233+1 ~x171232+1 x301+2 x300+4 x299+8 x298+16 x297+1 ~x27+2 ~x26+4 ~x25+8 ~x24+16 ~x23-0=95
17.89/17.94	c 16 ~x171856+8 ~x171855+4 ~x171854+2 ~x171853+1 ~x171852+1 x301+2 x300+4 x299+8 x298+16 x297+1 ~x146+2 ~x145+4 ~x144+8 ~x143+16 ~x142-0=62
17.89/17.94	c 16 ~x172370+8 ~x172369+4 ~x172368+2 ~x172367+1 ~x172366+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297+1 x146+2 x145+4 x144+8 x143+16 x142-0=62
17.89/17.97	c 32 ~x172885+16 ~x172884+8 ~x172883+4 ~x172882+2 ~x172881+1 ~x172880+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297+1 x146+2 x145+4 x144+8 x143+16 x142-0=95
17.89/17.97	c 32 ~x173505+16 ~x173504+8 ~x173503+4 ~x173502+2 ~x173501+1 ~x173500+1 x301+2 x300+4 x299+8 x298+16 x297+1 ~x146+2 ~x145+4 ~x144+8 ~x143+16 ~x142-0=95
17.99/18.00	c 16 ~x174124+8 ~x174123+4 ~x174122+2 ~x174121+1 ~x174120+1 x301+2 x300+4 x299+8 x298+16 x297+1 ~x284+2 ~x283+4 ~x282+8 ~x281+16 ~x280-0=62
17.99/18.00	c 16 ~x174638+8 ~x174637+4 ~x174636+2 ~x174635+1 ~x174634+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297+1 x284+2 x283+4 x282+8 x281+16 x280-0=62
17.99/18.01	c 32 ~x175153+16 ~x175152+8 ~x175151+4 ~x175150+2 ~x175149+1 ~x175148+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297+1 x284+2 x283+4 x282+8 x281+16 x280-0=95
17.99/18.04	c 32 ~x175773+16 ~x175772+8 ~x175771+4 ~x175770+2 ~x175769+1 ~x175768+1 x301+2 x300+4 x299+8 x298+16 x297+1 ~x284+2 ~x283+4 ~x282+8 ~x281+16 ~x280-0=95
17.99/18.04	c 16 ~x176392+8 ~x176391+4 ~x176390+2 ~x176389+1 ~x176388+1 ~x312+2 ~x311+4 ~x310+8 ~x309+16 ~x308+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
17.99/18.07	c 16 ~x176906+8 ~x176905+4 ~x176904+2 ~x176903+1 ~x176902+1 x312+2 x311+4 x310+8 x309+16 x308+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=62
17.99/18.07	c 32 ~x177421+16 ~x177420+8 ~x177419+4 ~x177418+2 ~x177417+1 ~x177416+1 x312+2 x311+4 x310+8 x309+16 x308+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
18.08/18.10	c 32 ~x178041+16 ~x178040+8 ~x178039+4 ~x178038+2 ~x178037+1 ~x178036+1 ~x312+2 ~x311+4 ~x310+8 ~x309+16 ~x308+1 x13+2 x12+4 x11+8 x10+16 x9-0=95
18.08/18.10	c 16 ~x178660+8 ~x178659+4 ~x178658+2 ~x178657+1 ~x178656+1 ~x319+2 ~x318+4 ~x317+8 ~x316+16 ~x315+1 x41+2 x40+4 x39+8 x38+16 x37-0=62
18.08/18.12	c 16 ~x179174+8 ~x179173+4 ~x179172+2 ~x179171+1 ~x179170+1 x319+2 x318+4 x317+8 x316+16 x315+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=62
18.08/18.12	c 32 ~x179689+16 ~x179688+8 ~x179687+4 ~x179686+2 ~x179685+1 ~x179684+1 x319+2 x318+4 x317+8 x316+16 x315+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=95
18.08/18.14	c 32 ~x180309+16 ~x180308+8 ~x180307+4 ~x180306+2 ~x180305+1 ~x180304+1 ~x319+2 ~x318+4 ~x317+8 ~x316+16 ~x315+1 x41+2 x40+4 x39+8 x38+16 x37-0=95
18.08/18.17	c 16 ~x180928+8 ~x180927+4 ~x180926+2 ~x180925+1 ~x180924+1 ~x326+2 ~x325+4 ~x324+8 ~x323+16 ~x322+1 x41+2 x40+4 x39+8 x38+16 x37-0=62
18.08/18.17	c 16 ~x181442+8 ~x181441+4 ~x181440+2 ~x181439+1 ~x181438+1 x326+2 x325+4 x324+8 x323+16 x322+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=62
18.08/18.19	c 32 ~x181957+16 ~x181956+8 ~x181955+4 ~x181954+2 ~x181953+1 ~x181952+1 x326+2 x325+4 x324+8 x323+16 x322+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=95
18.08/18.19	c 32 ~x182577+16 ~x182576+8 ~x182575+4 ~x182574+2 ~x182573+1 ~x182572+1 ~x326+2 ~x325+4 ~x324+8 ~x323+16 ~x322+1 x41+2 x40+4 x39+8 x38+16 x37-0=95
18.18/18.22	c 16 ~x183196+8 ~x183195+4 ~x183194+2 ~x183193+1 ~x183192+1 ~x319+2 ~x318+4 ~x317+8 ~x316+16 ~x315+1 x155+2 x154+4 x153+8 x152+16 x151-0=62
18.18/18.22	c 16 ~x183710+8 ~x183709+4 ~x183708+2 ~x183707+1 ~x183706+1 x319+2 x318+4 x317+8 x316+16 x315+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=62
18.18/18.25	c 32 ~x184225+16 ~x184224+8 ~x184223+4 ~x184222+2 ~x184221+1 ~x184220+1 x319+2 x318+4 x317+8 x316+16 x315+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=95
18.18/18.25	c 32 ~x184845+16 ~x184844+8 ~x184843+4 ~x184842+2 ~x184841+1 ~x184840+1 ~x319+2 ~x318+4 ~x317+8 ~x316+16 ~x315+1 x155+2 x154+4 x153+8 x152+16 x151-0=95
18.18/18.26	c 16 ~x185464+8 ~x185463+4 ~x185462+2 ~x185461+1 ~x185460+1 ~x326+2 ~x325+4 ~x324+8 ~x323+16 ~x322+1 x155+2 x154+4 x153+8 x152+16 x151-0=62
18.18/18.29	c 16 ~x185978+8 ~x185977+4 ~x185976+2 ~x185975+1 ~x185974+1 x326+2 x325+4 x324+8 x323+16 x322+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=62
18.18/18.29	c 32 ~x186493+16 ~x186492+8 ~x186491+4 ~x186490+2 ~x186489+1 ~x186488+1 x326+2 x325+4 x324+8 x323+16 x322+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=95
18.29/18.32	c 32 ~x187113+16 ~x187112+8 ~x187111+4 ~x187110+2 ~x187109+1 ~x187108+1 ~x326+2 ~x325+4 ~x324+8 ~x323+16 ~x322+1 x155+2 x154+4 x153+8 x152+16 x151-0=95
18.29/18.32	c 16 ~x187732+8 ~x187731+4 ~x187730+2 ~x187729+1 ~x187728+1 ~x319+2 ~x318+4 ~x317+8 ~x316+16 ~x315+1 x270+2 x269+4 x268+8 x267+16 x266-0=62
18.29/18.35	c 16 ~x188246+8 ~x188245+4 ~x188244+2 ~x188243+1 ~x188242+1 x319+2 x318+4 x317+8 x316+16 x315+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266-0=62
18.29/18.35	c 32 ~x188761+16 ~x188760+8 ~x188759+4 ~x188758+2 ~x188757+1 ~x188756+1 x319+2 x318+4 x317+8 x316+16 x315+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266-0=95
18.29/18.36	c 32 ~x189381+16 ~x189380+8 ~x189379+4 ~x189378+2 ~x189377+1 ~x189376+1 ~x319+2 ~x318+4 ~x317+8 ~x316+16 ~x315+1 x270+2 x269+4 x268+8 x267+16 x266-0=95
18.29/18.39	c 16 ~x190000+8 ~x189999+4 ~x189998+2 ~x189997+1 ~x189996+1 ~x326+2 ~x325+4 ~x324+8 ~x323+16 ~x322+1 x270+2 x269+4 x268+8 x267+16 x266-0=62
18.29/18.39	c 16 ~x190514+8 ~x190513+4 ~x190512+2 ~x190511+1 ~x190510+1 x326+2 x325+4 x324+8 x323+16 x322+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266-0=62
18.39/18.42	c 32 ~x191029+16 ~x191028+8 ~x191027+4 ~x191026+2 ~x191025+1 ~x191024+1 x326+2 x325+4 x324+8 x323+16 x322+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266-0=95
18.39/18.42	c 32 ~x191649+16 ~x191648+8 ~x191647+4 ~x191646+2 ~x191645+1 ~x191644+1 ~x326+2 ~x325+4 ~x324+8 ~x323+16 ~x322+1 x270+2 x269+4 x268+8 x267+16 x266-0=95
18.39/18.45	c 16 ~x192268+8 ~x192267+4 ~x192266+2 ~x192265+1 ~x192264+1 ~x319+2 ~x318+4 ~x317+8 ~x316+16 ~x315+1 x301+2 x300+4 x299+8 x298+16 x297-0=62
18.39/18.45	c 16 ~x192782+8 ~x192781+4 ~x192780+2 ~x192779+1 ~x192778+1 x319+2 x318+4 x317+8 x316+16 x315+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297-0=62
18.39/18.46	c 32 ~x193297+16 ~x193296+8 ~x193295+4 ~x193294+2 ~x193293+1 ~x193292+1 x319+2 x318+4 x317+8 x316+16 x315+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297-0=95
18.39/18.49	c 32 ~x193917+16 ~x193916+8 ~x193915+4 ~x193914+2 ~x193913+1 ~x193912+1 ~x319+2 ~x318+4 ~x317+8 ~x316+16 ~x315+1 x301+2 x300+4 x299+8 x298+16 x297-0=95
18.39/18.49	c 16 ~x194536+8 ~x194535+4 ~x194534+2 ~x194533+1 ~x194532+1 ~x326+2 ~x325+4 ~x324+8 ~x323+16 ~x322+1 x301+2 x300+4 x299+8 x298+16 x297-0=62
18.49/18.51	c 16 ~x195050+8 ~x195049+4 ~x195048+2 ~x195047+1 ~x195046+1 x326+2 x325+4 x324+8 x323+16 x322+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297-0=62
18.49/18.51	c 32 ~x195565+16 ~x195564+8 ~x195563+4 ~x195562+2 ~x195561+1 ~x195560+1 x326+2 x325+4 x324+8 x323+16 x322+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297-0=95
18.49/18.54	c 32 ~x196185+16 ~x196184+8 ~x196183+4 ~x196182+2 ~x196181+1 ~x196180+1 ~x326+2 ~x325+4 ~x324+8 ~x323+16 ~x322+1 x301+2 x300+4 x299+8 x298+16 x297-0=95
18.49/18.54	c 16 ~x196804+8 ~x196803+4 ~x196802+2 ~x196801+1 ~x196800+1 x345+2 x344+4 x343+8 x342+16 x341+1 ~x27+2 ~x26+4 ~x25+8 ~x24+16 ~x23-0=62
18.49/18.56	c 16 ~x197318+8 ~x197317+4 ~x197316+2 ~x197315+1 ~x197314+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341+1 x27+2 x26+4 x25+8 x24+16 x23-0=62
18.49/18.59	c 32 ~x197833+16 ~x197832+8 ~x197831+4 ~x197830+2 ~x197829+1 ~x197828+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341+1 x27+2 x26+4 x25+8 x24+16 x23-0=95
18.49/18.59	c 32 ~x198453+16 ~x198452+8 ~x198451+4 ~x198450+2 ~x198449+1 ~x198448+1 x345+2 x344+4 x343+8 x342+16 x341+1 ~x27+2 ~x26+4 ~x25+8 ~x24+16 ~x23-0=95
18.59/18.61	c 16 ~x199072+8 ~x199071+4 ~x199070+2 ~x199069+1 ~x199068+1 x345+2 x344+4 x343+8 x342+16 x341+1 ~x146+2 ~x145+4 ~x144+8 ~x143+16 ~x142-0=62
18.59/18.61	c 16 ~x199586+8 ~x199585+4 ~x199584+2 ~x199583+1 ~x199582+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341+1 x146+2 x145+4 x144+8 x143+16 x142-0=62
18.59/18.64	c 32 ~x200101+16 ~x200100+8 ~x200099+4 ~x200098+2 ~x200097+1 ~x200096+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341+1 x146+2 x145+4 x144+8 x143+16 x142-0=95
18.59/18.64	c 32 ~x200721+16 ~x200720+8 ~x200719+4 ~x200718+2 ~x200717+1 ~x200716+1 x345+2 x344+4 x343+8 x342+16 x341+1 ~x146+2 ~x145+4 ~x144+8 ~x143+16 ~x142-0=95
18.59/18.66	c 16 ~x201340+8 ~x201339+4 ~x201338+2 ~x201337+1 ~x201336+1 x345+2 x344+4 x343+8 x342+16 x341+1 ~x319+2 ~x318+4 ~x317+8 ~x316+16 ~x315-0=62
18.59/18.68	c 16 ~x201854+8 ~x201853+4 ~x201852+2 ~x201851+1 ~x201850+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341+1 x319+2 x318+4 x317+8 x316+16 x315-0=62
18.59/18.68	c 32 ~x202369+16 ~x202368+8 ~x202367+4 ~x202366+2 ~x202365+1 ~x202364+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341+1 x319+2 x318+4 x317+8 x316+16 x315-0=95
18.69/18.71	c 32 ~x202989+16 ~x202988+8 ~x202987+4 ~x202986+2 ~x202985+1 ~x202984+1 x345+2 x344+4 x343+8 x342+16 x341+1 ~x319+2 ~x318+4 ~x317+8 ~x316+16 ~x315-0=95
18.69/18.71	c 16 ~x203608+8 ~x203607+4 ~x203606+2 ~x203605+1 ~x203604+1 x345+2 x344+4 x343+8 x342+16 x341+1 ~x284+2 ~x283+4 ~x282+8 ~x281+16 ~x280-0=62
18.69/18.74	c 16 ~x204122+8 ~x204121+4 ~x204120+2 ~x204119+1 ~x204118+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341+1 x284+2 x283+4 x282+8 x281+16 x280-0=62
18.69/18.74	c 32 ~x204637+16 ~x204636+8 ~x204635+4 ~x204634+2 ~x204633+1 ~x204632+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341+1 x284+2 x283+4 x282+8 x281+16 x280-0=95
18.69/18.75	c 32 ~x205257+16 ~x205256+8 ~x205255+4 ~x205254+2 ~x205253+1 ~x205252+1 x345+2 x344+4 x343+8 x342+16 x341+1 ~x284+2 ~x283+4 ~x282+8 ~x281+16 ~x280-0=95
18.69/18.78	c 16 ~x205876+8 ~x205875+4 ~x205874+2 ~x205873+1 ~x205872+1 x345+2 x344+4 x343+8 x342+16 x341+1 ~x326+2 ~x325+4 ~x324+8 ~x323+16 ~x322-0=62
18.69/18.78	c 16 ~x206390+8 ~x206389+4 ~x206388+2 ~x206387+1 ~x206386+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341+1 x326+2 x325+4 x324+8 x323+16 x322-0=62
18.78/18.81	c 32 ~x206905+16 ~x206904+8 ~x206903+4 ~x206902+2 ~x206901+1 ~x206900+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341+1 x326+2 x325+4 x324+8 x323+16 x322-0=95
18.78/18.81	c 32 ~x207525+16 ~x207524+8 ~x207523+4 ~x207522+2 ~x207521+1 ~x207520+1 x345+2 x344+4 x343+8 x342+16 x341+1 ~x326+2 ~x325+4 ~x324+8 ~x323+16 ~x322-0=95
18.78/18.84	c 16 ~x208144+8 ~x208143+4 ~x208142+2 ~x208141+1 ~x208140+1 ~x360+2 ~x359+4 ~x358+8 ~x357+16 ~x356+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
18.78/18.84	c 16 ~x208658+8 ~x208657+4 ~x208656+2 ~x208655+1 ~x208654+1 x360+2 x359+4 x358+8 x357+16 x356+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=62
18.78/18.87	c 32 ~x209173+16 ~x209172+8 ~x209171+4 ~x209170+2 ~x209169+1 ~x209168+1 x360+2 x359+4 x358+8 x357+16 x356+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
18.78/18.87	c 32 ~x209793+16 ~x209792+8 ~x209791+4 ~x209790+2 ~x209789+1 ~x209788+1 ~x360+2 ~x359+4 ~x358+8 ~x357+16 ~x356+1 x13+2 x12+4 x11+8 x10+16 x9-0=95
18.78/18.89	c 16 ~x210412+8 ~x210411+4 ~x210410+2 ~x210409+1 ~x210408+1 ~x326+2 ~x325+4 ~x324+8 ~x323+16 ~x322+1 x22+2 x21+4 x20+8 x19+16 x18-0=62
18.88/18.91	c 16 ~x210926+8 ~x210925+4 ~x210924+2 ~x210923+1 ~x210922+1 x326+2 x325+4 x324+8 x323+16 x322+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=62
18.88/18.91	c 32 ~x211441+16 ~x211440+8 ~x211439+4 ~x211438+2 ~x211437+1 ~x211436+1 x326+2 x325+4 x324+8 x323+16 x322+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=95
18.88/18.94	c 32 ~x212061+16 ~x212060+8 ~x212059+4 ~x212058+2 ~x212057+1 ~x212056+1 ~x326+2 ~x325+4 ~x324+8 ~x323+16 ~x322+1 x22+2 x21+4 x20+8 x19+16 x18-0=95
18.88/18.94	c 16 ~x212680+8 ~x212679+4 ~x212678+2 ~x212677+1 ~x212676+1 ~x369+2 ~x368+4 ~x367+8 ~x366+16 ~x365+1 x22+2 x21+4 x20+8 x19+16 x18-0=62
18.88/18.97	c 16 ~x213194+8 ~x213193+4 ~x213192+2 ~x213191+1 ~x213190+1 x369+2 x368+4 x367+8 x366+16 x365+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=62
18.88/18.97	c 32 ~x213709+16 ~x213708+8 ~x213707+4 ~x213706+2 ~x213705+1 ~x213704+1 x369+2 x368+4 x367+8 x366+16 x365+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=95
18.98/19.00	c 32 ~x214329+16 ~x214328+8 ~x214327+4 ~x214326+2 ~x214325+1 ~x214324+1 ~x369+2 ~x368+4 ~x367+8 ~x366+16 ~x365+1 x22+2 x21+4 x20+8 x19+16 x18-0=95
18.98/19.00	c 16 ~x214948+8 ~x214947+4 ~x214946+2 ~x214945+1 ~x214944+1 ~x369+2 ~x368+4 ~x367+8 ~x366+16 ~x365+1 x41+2 x40+4 x39+8 x38+16 x37-0=62
18.98/19.03	c 16 ~x215462+8 ~x215461+4 ~x215460+2 ~x215459+1 ~x215458+1 x369+2 x368+4 x367+8 x366+16 x365+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=62
18.98/19.03	c 32 ~x215977+16 ~x215976+8 ~x215975+4 ~x215974+2 ~x215973+1 ~x215972+1 x369+2 x368+4 x367+8 x366+16 x365+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=95
18.98/19.04	c 32 ~x216597+16 ~x216596+8 ~x216595+4 ~x216594+2 ~x216593+1 ~x216592+1 ~x369+2 ~x368+4 ~x367+8 ~x366+16 ~x365+1 x41+2 x40+4 x39+8 x38+16 x37-0=95
18.98/19.07	c 16 ~x217216+8 ~x217215+4 ~x217214+2 ~x217213+1 ~x217212+1 ~x369+2 ~x368+4 ~x367+8 ~x366+16 ~x365+1 x155+2 x154+4 x153+8 x152+16 x151-0=62
18.98/19.07	c 16 ~x217730+8 ~x217729+4 ~x217728+2 ~x217727+1 ~x217726+1 x369+2 x368+4 x367+8 x366+16 x365+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=62
19.08/19.10	c 32 ~x218245+16 ~x218244+8 ~x218243+4 ~x218242+2 ~x218241+1 ~x218240+1 x369+2 x368+4 x367+8 x366+16 x365+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=95
19.08/19.10	c 32 ~x218865+16 ~x218864+8 ~x218863+4 ~x218862+2 ~x218861+1 ~x218860+1 ~x369+2 ~x368+4 ~x367+8 ~x366+16 ~x365+1 x155+2 x154+4 x153+8 x152+16 x151-0=95
19.08/19.13	c 16 ~x219484+8 ~x219483+4 ~x219482+2 ~x219481+1 ~x219480+1 ~x369+2 ~x368+4 ~x367+8 ~x366+16 ~x365+1 x270+2 x269+4 x268+8 x267+16 x266-0=62
19.08/19.13	c 16 ~x219998+8 ~x219997+4 ~x219996+2 ~x219995+1 ~x219994+1 x369+2 x368+4 x367+8 x366+16 x365+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266-0=62
19.08/19.14	c 32 ~x220513+16 ~x220512+8 ~x220511+4 ~x220510+2 ~x220509+1 ~x220508+1 x369+2 x368+4 x367+8 x366+16 x365+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266-0=95
19.08/19.17	c 32 ~x221133+16 ~x221132+8 ~x221131+4 ~x221130+2 ~x221129+1 ~x221128+1 ~x369+2 ~x368+4 ~x367+8 ~x366+16 ~x365+1 x270+2 x269+4 x268+8 x267+16 x266-0=95
19.08/19.17	c 16 ~x221752+8 ~x221751+4 ~x221750+2 ~x221749+1 ~x221748+1 ~x369+2 ~x368+4 ~x367+8 ~x366+16 ~x365+1 x301+2 x300+4 x299+8 x298+16 x297-0=62
19.08/19.19	c 16 ~x222266+8 ~x222265+4 ~x222264+2 ~x222263+1 ~x222262+1 x369+2 x368+4 x367+8 x366+16 x365+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297-0=62
19.08/19.19	c 32 ~x222781+16 ~x222780+8 ~x222779+4 ~x222778+2 ~x222777+1 ~x222776+1 x369+2 x368+4 x367+8 x366+16 x365+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297-0=95
19.19/19.22	c 32 ~x223401+16 ~x223400+8 ~x223399+4 ~x223398+2 ~x223397+1 ~x223396+1 ~x369+2 ~x368+4 ~x367+8 ~x366+16 ~x365+1 x301+2 x300+4 x299+8 x298+16 x297-0=95
19.19/19.22	c 16 ~x224020+8 ~x224019+4 ~x224018+2 ~x224017+1 ~x224016+1 x384+2 x383+4 x382+8 x381+16 x380+1 ~x27+2 ~x26+4 ~x25+8 ~x24+16 ~x23-0=62
19.19/19.24	c 16 ~x224534+8 ~x224533+4 ~x224532+2 ~x224531+1 ~x224530+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380+1 x27+2 x26+4 x25+8 x24+16 x23-0=62
19.19/19.27	c 32 ~x225049+16 ~x225048+8 ~x225047+4 ~x225046+2 ~x225045+1 ~x225044+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380+1 x27+2 x26+4 x25+8 x24+16 x23-0=95
19.19/19.27	c 32 ~x225669+16 ~x225668+8 ~x225667+4 ~x225666+2 ~x225665+1 ~x225664+1 x384+2 x383+4 x382+8 x381+16 x380+1 ~x27+2 ~x26+4 ~x25+8 ~x24+16 ~x23-0=95
19.19/19.29	c 16 ~x226288+8 ~x226287+4 ~x226286+2 ~x226285+1 ~x226284+1 x384+2 x383+4 x382+8 x381+16 x380+1 ~x146+2 ~x145+4 ~x144+8 ~x143+16 ~x142-0=62
19.19/19.29	c 16 ~x226802+8 ~x226801+4 ~x226800+2 ~x226799+1 ~x226798+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380+1 x146+2 x145+4 x144+8 x143+16 x142-0=62
19.29/19.32	c 32 ~x227317+16 ~x227316+8 ~x227315+4 ~x227314+2 ~x227313+1 ~x227312+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380+1 x146+2 x145+4 x144+8 x143+16 x142-0=95
19.29/19.32	c 32 ~x227937+16 ~x227936+8 ~x227935+4 ~x227934+2 ~x227933+1 ~x227932+1 x384+2 x383+4 x382+8 x381+16 x380+1 ~x146+2 ~x145+4 ~x144+8 ~x143+16 ~x142-0=95
19.29/19.35	c 16 ~x228556+8 ~x228555+4 ~x228554+2 ~x228553+1 ~x228552+1 x384+2 x383+4 x382+8 x381+16 x380+1 ~x284+2 ~x283+4 ~x282+8 ~x281+16 ~x280-0=62
19.29/19.35	c 16 ~x229070+8 ~x229069+4 ~x229068+2 ~x229067+1 ~x229066+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380+1 x284+2 x283+4 x282+8 x281+16 x280-0=62
19.29/19.36	c 32 ~x229585+16 ~x229584+8 ~x229583+4 ~x229582+2 ~x229581+1 ~x229580+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380+1 x284+2 x283+4 x282+8 x281+16 x280-0=95
19.29/19.39	c 32 ~x230205+16 ~x230204+8 ~x230203+4 ~x230202+2 ~x230201+1 ~x230200+1 x384+2 x383+4 x382+8 x381+16 x380+1 ~x284+2 ~x283+4 ~x282+8 ~x281+16 ~x280-0=95
19.29/19.39	c 16 ~x230824+8 ~x230823+4 ~x230822+2 ~x230821+1 ~x230820+1 x384+2 x383+4 x382+8 x381+16 x380+1 ~x326+2 ~x325+4 ~x324+8 ~x323+16 ~x322-0=62
19.38/19.42	c 16 ~x231338+8 ~x231337+4 ~x231336+2 ~x231335+1 ~x231334+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380+1 x326+2 x325+4 x324+8 x323+16 x322-0=62
19.38/19.42	c 32 ~x231853+16 ~x231852+8 ~x231851+4 ~x231850+2 ~x231849+1 ~x231848+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380+1 x326+2 x325+4 x324+8 x323+16 x322-0=95
19.38/19.45	c 32 ~x232473+16 ~x232472+8 ~x232471+4 ~x232470+2 ~x232469+1 ~x232468+1 x384+2 x383+4 x382+8 x381+16 x380+1 ~x326+2 ~x325+4 ~x324+8 ~x323+16 ~x322-0=95
19.38/19.45	c 16 ~x233092+8 ~x233091+4 ~x233090+2 ~x233089+1 ~x233088+1 x384+2 x383+4 x382+8 x381+16 x380+1 ~x369+2 ~x368+4 ~x367+8 ~x366+16 ~x365-0=62
19.38/19.46	c 16 ~x233606+8 ~x233605+4 ~x233604+2 ~x233603+1 ~x233602+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380+1 x369+2 x368+4 x367+8 x366+16 x365-0=62
19.38/19.49	c 32 ~x234121+16 ~x234120+8 ~x234119+4 ~x234118+2 ~x234117+1 ~x234116+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380+1 x369+2 x368+4 x367+8 x366+16 x365-0=95
19.38/19.49	c 32 ~x234741+16 ~x234740+8 ~x234739+4 ~x234738+2 ~x234737+1 ~x234736+1 x384+2 x383+4 x382+8 x381+16 x380+1 ~x369+2 ~x368+4 ~x367+8 ~x366+16 ~x365-0=95
19.48/19.52	c 16 ~x235360+8 ~x235359+4 ~x235358+2 ~x235357+1 ~x235356+1 ~x319+2 ~x318+4 ~x317+8 ~x316+16 ~x315+1 x22+2 x21+4 x20+8 x19+16 x18-0=62
19.48/19.52	c 16 ~x235874+8 ~x235873+4 ~x235872+2 ~x235871+1 ~x235870+1 x319+2 x318+4 x317+8 x316+16 x315+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=62
19.48/19.55	c 32 ~x236389+16 ~x236388+8 ~x236387+4 ~x236386+2 ~x236385+1 ~x236384+1 x319+2 x318+4 x317+8 x316+16 x315+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=95
19.48/19.55	c 32 ~x237009+16 ~x237008+8 ~x237007+4 ~x237006+2 ~x237005+1 ~x237004+1 ~x319+2 ~x318+4 ~x317+8 ~x316+16 ~x315+1 x22+2 x21+4 x20+8 x19+16 x18-0=95
19.48/19.56	c 16 ~x237628+8 ~x237627+4 ~x237626+2 ~x237625+1 ~x237624+1 ~x401+2 ~x400+4 ~x399+8 ~x398+16 ~x397+1 x22+2 x21+4 x20+8 x19+16 x18-0=62
19.48/19.59	c 16 ~x238142+8 ~x238141+4 ~x238140+2 ~x238139+1 ~x238138+1 x401+2 x400+4 x399+8 x398+16 x397+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=62
19.48/19.59	c 32 ~x238657+16 ~x238656+8 ~x238655+4 ~x238654+2 ~x238653+1 ~x238652+1 x401+2 x400+4 x399+8 x398+16 x397+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=95
19.58/19.62	c 32 ~x239277+16 ~x239276+8 ~x239275+4 ~x239274+2 ~x239273+1 ~x239272+1 ~x401+2 ~x400+4 ~x399+8 ~x398+16 ~x397+1 x22+2 x21+4 x20+8 x19+16 x18-0=95
19.58/19.62	c 16 ~x239896+8 ~x239895+4 ~x239894+2 ~x239893+1 ~x239892+1 ~x408+2 ~x407+4 ~x406+8 ~x405+16 ~x404+1 x22+2 x21+4 x20+8 x19+16 x18-0=62
19.58/19.64	c 16 ~x240410+8 ~x240409+4 ~x240408+2 ~x240407+1 ~x240406+1 x408+2 x407+4 x406+8 x405+16 x404+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=62
19.58/19.64	c 32 ~x240925+16 ~x240924+8 ~x240923+4 ~x240922+2 ~x240921+1 ~x240920+1 x408+2 x407+4 x406+8 x405+16 x404+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=95
19.58/19.67	c 32 ~x241545+16 ~x241544+8 ~x241543+4 ~x241542+2 ~x241541+1 ~x241540+1 ~x408+2 ~x407+4 ~x406+8 ~x405+16 ~x404+1 x22+2 x21+4 x20+8 x19+16 x18-0=95
19.58/19.67	c 16 ~x242164+8 ~x242163+4 ~x242162+2 ~x242161+1 ~x242160+1 ~x415+2 ~x414+4 ~x413+8 ~x412+16 ~x411+1 x22+2 x21+4 x20+8 x19+16 x18-0=62
19.69/19.70	c 16 ~x242678+8 ~x242677+4 ~x242676+2 ~x242675+1 ~x242674+1 x415+2 x414+4 x413+8 x412+16 x411+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=62
19.69/19.70	c 32 ~x243193+16 ~x243192+8 ~x243191+4 ~x243190+2 ~x243189+1 ~x243188+1 x415+2 x414+4 x413+8 x412+16 x411+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=95
19.69/19.71	c 32 ~x243813+16 ~x243812+8 ~x243811+4 ~x243810+2 ~x243809+1 ~x243808+1 ~x415+2 ~x414+4 ~x413+8 ~x412+16 ~x411+1 x22+2 x21+4 x20+8 x19+16 x18-0=95
19.69/19.74	c 16 ~x244432+8 ~x244431+4 ~x244430+2 ~x244429+1 ~x244428+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
19.69/19.74	c 16 ~x244946+8 ~x244945+4 ~x244944+2 ~x244943+1 ~x244942+1 x422+2 x421+4 x420+8 x419+16 x418+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=62
19.69/19.77	c 32 ~x245461+16 ~x245460+8 ~x245459+4 ~x245458+2 ~x245457+1 ~x245456+1 x422+2 x421+4 x420+8 x419+16 x418+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
19.69/19.77	c 32 ~x246081+16 ~x246080+8 ~x246079+4 ~x246078+2 ~x246077+1 ~x246076+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418+1 x68+2 x67+4 x66+8 x65+16 x64-0=95
19.69/19.80	c 16 ~x246700+8 ~x246699+4 ~x246698+2 ~x246697+1 ~x246696+1 ~x429+2 ~x428+4 ~x427+8 ~x426+16 ~x425+1 x22+2 x21+4 x20+8 x19+16 x18-0=62
19.69/19.80	c 16 ~x247214+8 ~x247213+4 ~x247212+2 ~x247211+1 ~x247210+1 x429+2 x428+4 x427+8 x426+16 x425+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=62
19.78/19.83	c 32 ~x247729+16 ~x247728+8 ~x247727+4 ~x247726+2 ~x247725+1 ~x247724+1 x429+2 x428+4 x427+8 x426+16 x425+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=95
19.78/19.83	c 32 ~x248349+16 ~x248348+8 ~x248347+4 ~x248346+2 ~x248345+1 ~x248344+1 ~x429+2 ~x428+4 ~x427+8 ~x426+16 ~x425+1 x22+2 x21+4 x20+8 x19+16 x18-0=95
19.78/19.84	c 16 ~x248968+8 ~x248967+4 ~x248966+2 ~x248965+1 ~x248964+1 ~x429+2 ~x428+4 ~x427+8 ~x426+16 ~x425+1 x41+2 x40+4 x39+8 x38+16 x37-0=62
19.78/19.87	c 16 ~x249482+8 ~x249481+4 ~x249480+2 ~x249479+1 ~x249478+1 x429+2 x428+4 x427+8 x426+16 x425+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=62
19.78/19.87	c 32 ~x249997+16 ~x249996+8 ~x249995+4 ~x249994+2 ~x249993+1 ~x249992+1 x429+2 x428+4 x427+8 x426+16 x425+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=95
19.88/19.90	c 32 ~x250617+16 ~x250616+8 ~x250615+4 ~x250614+2 ~x250613+1 ~x250612+1 ~x429+2 ~x428+4 ~x427+8 ~x426+16 ~x425+1 x41+2 x40+4 x39+8 x38+16 x37-0=95
19.88/19.90	c 16 ~x251236+8 ~x251235+4 ~x251234+2 ~x251233+1 ~x251232+1 ~x429+2 ~x428+4 ~x427+8 ~x426+16 ~x425+1 x155+2 x154+4 x153+8 x152+16 x151-0=62
19.88/19.92	c 16 ~x251750+8 ~x251749+4 ~x251748+2 ~x251747+1 ~x251746+1 x429+2 x428+4 x427+8 x426+16 x425+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=62
19.88/19.92	c 32 ~x252265+16 ~x252264+8 ~x252263+4 ~x252262+2 ~x252261+1 ~x252260+1 x429+2 x428+4 x427+8 x426+16 x425+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=95
19.88/19.95	c 32 ~x252885+16 ~x252884+8 ~x252883+4 ~x252882+2 ~x252881+1 ~x252880+1 ~x429+2 ~x428+4 ~x427+8 ~x426+16 ~x425+1 x155+2 x154+4 x153+8 x152+16 x151-0=95
19.88/19.95	c 16 ~x253504+8 ~x253503+4 ~x253502+2 ~x253501+1 ~x253500+1 x270+2 x269+4 x268+8 x267+16 x266+1 ~x57+2 ~x56+4 ~x55+8 ~x54+16 ~x53-0=62
19.88/19.97	c 16 ~x254018+8 ~x254017+4 ~x254016+2 ~x254015+1 ~x254014+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266+1 x57+2 x56+4 x55+8 x54+16 x53-0=62
19.88/19.99	c 32 ~x254533+16 ~x254532+8 ~x254531+4 ~x254530+2 ~x254529+1 ~x254528+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266+1 x57+2 x56+4 x55+8 x54+16 x53-0=95
19.88/19.99	c 32 ~x255153+16 ~x255152+8 ~x255151+4 ~x255150+2 ~x255149+1 ~x255148+1 x270+2 x269+4 x268+8 x267+16 x266+1 ~x57+2 ~x56+4 ~x55+8 ~x54+16 ~x53-0=95
19.98/20.02	c 16 ~x255772+8 ~x255771+4 ~x255770+2 ~x255769+1 ~x255768+1 x270+2 x269+4 x268+8 x267+16 x266+1 ~x166+2 ~x165+4 ~x164+8 ~x163+16 ~x162-0=62
19.98/20.02	c 16 ~x256286+8 ~x256285+4 ~x256284+2 ~x256283+1 ~x256282+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266+1 x166+2 x165+4 x164+8 x163+16 x162-0=62
19.98/20.05	c 32 ~x256801+16 ~x256800+8 ~x256799+4 ~x256798+2 ~x256797+1 ~x256796+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266+1 x166+2 x165+4 x164+8 x163+16 x162-0=95
19.98/20.05	c 32 ~x257421+16 ~x257420+8 ~x257419+4 ~x257418+2 ~x257417+1 ~x257416+1 x270+2 x269+4 x268+8 x267+16 x266+1 ~x166+2 ~x165+4 ~x164+8 ~x163+16 ~x162-0=95
19.98/20.06	c 16 ~x258040+8 ~x258039+4 ~x258038+2 ~x258037+1 ~x258036+1 ~x429+2 ~x428+4 ~x427+8 ~x426+16 ~x425+1 x270+2 x269+4 x268+8 x267+16 x266-0=62
19.98/20.09	c 16 ~x258554+8 ~x258553+4 ~x258552+2 ~x258551+1 ~x258550+1 x429+2 x428+4 x427+8 x426+16 x425+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266-0=62
19.98/20.09	c 32 ~x259069+16 ~x259068+8 ~x259067+4 ~x259066+2 ~x259065+1 ~x259064+1 x429+2 x428+4 x427+8 x426+16 x425+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266-0=95
20.08/20.12	c 32 ~x259689+16 ~x259688+8 ~x259687+4 ~x259686+2 ~x259685+1 ~x259684+1 ~x429+2 ~x428+4 ~x427+8 ~x426+16 ~x425+1 x270+2 x269+4 x268+8 x267+16 x266-0=95
20.08/20.12	c 16 ~x260308+8 ~x260307+4 ~x260306+2 ~x260305+1 ~x260304+1 x301+2 x300+4 x299+8 x298+16 x297+1 ~x57+2 ~x56+4 ~x55+8 ~x54+16 ~x53-0=62
20.08/20.15	c 16 ~x260822+8 ~x260821+4 ~x260820+2 ~x260819+1 ~x260818+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297+1 x57+2 x56+4 x55+8 x54+16 x53-0=62
20.08/20.15	c 32 ~x261337+16 ~x261336+8 ~x261335+4 ~x261334+2 ~x261333+1 ~x261332+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297+1 x57+2 x56+4 x55+8 x54+16 x53-0=95
20.08/20.18	c 32 ~x261957+16 ~x261956+8 ~x261955+4 ~x261954+2 ~x261953+1 ~x261952+1 x301+2 x300+4 x299+8 x298+16 x297+1 ~x57+2 ~x56+4 ~x55+8 ~x54+16 ~x53-0=95
20.08/20.18	c 16 ~x262576+8 ~x262575+4 ~x262574+2 ~x262573+1 ~x262572+1 x301+2 x300+4 x299+8 x298+16 x297+1 ~x166+2 ~x165+4 ~x164+8 ~x163+16 ~x162-0=62
20.18/20.20	c 16 ~x263090+8 ~x263089+4 ~x263088+2 ~x263087+1 ~x263086+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297+1 x166+2 x165+4 x164+8 x163+16 x162-0=62
20.18/20.23	c 32 ~x263605+16 ~x263604+8 ~x263603+4 ~x263602+2 ~x263601+1 ~x263600+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297+1 x166+2 x165+4 x164+8 x163+16 x162-0=95
20.18/20.23	c 32 ~x264225+16 ~x264224+8 ~x264223+4 ~x264222+2 ~x264221+1 ~x264220+1 x301+2 x300+4 x299+8 x298+16 x297+1 ~x166+2 ~x165+4 ~x164+8 ~x163+16 ~x162-0=95
20.18/20.25	c 16 ~x264844+8 ~x264843+4 ~x264842+2 ~x264841+1 ~x264840+1 ~x429+2 ~x428+4 ~x427+8 ~x426+16 ~x425+1 x301+2 x300+4 x299+8 x298+16 x297-0=62
20.18/20.25	c 16 ~x265358+8 ~x265357+4 ~x265356+2 ~x265355+1 ~x265354+1 x429+2 x428+4 x427+8 x426+16 x425+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297-0=62
20.18/20.28	c 32 ~x265873+16 ~x265872+8 ~x265871+4 ~x265870+2 ~x265869+1 ~x265868+1 x429+2 x428+4 x427+8 x426+16 x425+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297-0=95
20.18/20.28	c 32 ~x266493+16 ~x266492+8 ~x266491+4 ~x266490+2 ~x266489+1 ~x266488+1 ~x429+2 ~x428+4 ~x427+8 ~x426+16 ~x425+1 x301+2 x300+4 x299+8 x298+16 x297-0=95
20.28/20.30	c 16 ~x267112+8 ~x267111+4 ~x267110+2 ~x267109+1 ~x267108+1 x384+2 x383+4 x382+8 x381+16 x380+1 ~x57+2 ~x56+4 ~x55+8 ~x54+16 ~x53-0=62
20.28/20.32	c 16 ~x267626+8 ~x267625+4 ~x267624+2 ~x267623+1 ~x267622+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380+1 x57+2 x56+4 x55+8 x54+16 x53-0=62
20.28/20.32	c 32 ~x268141+16 ~x268140+8 ~x268139+4 ~x268138+2 ~x268137+1 ~x268136+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380+1 x57+2 x56+4 x55+8 x54+16 x53-0=95
20.28/20.35	c 32 ~x268761+16 ~x268760+8 ~x268759+4 ~x268758+2 ~x268757+1 ~x268756+1 x384+2 x383+4 x382+8 x381+16 x380+1 ~x57+2 ~x56+4 ~x55+8 ~x54+16 ~x53-0=95
20.28/20.35	c 16 ~x269380+8 ~x269379+4 ~x269378+2 ~x269377+1 ~x269376+1 x384+2 x383+4 x382+8 x381+16 x380+1 ~x166+2 ~x165+4 ~x164+8 ~x163+16 ~x162-0=62
20.28/20.38	c 16 ~x269894+8 ~x269893+4 ~x269892+2 ~x269891+1 ~x269890+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380+1 x166+2 x165+4 x164+8 x163+16 x162-0=62
20.28/20.38	c 32 ~x270409+16 ~x270408+8 ~x270407+4 ~x270406+2 ~x270405+1 ~x270404+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380+1 x166+2 x165+4 x164+8 x163+16 x162-0=95
20.39/20.41	c 32 ~x271029+16 ~x271028+8 ~x271027+4 ~x271026+2 ~x271025+1 ~x271024+1 x384+2 x383+4 x382+8 x381+16 x380+1 ~x166+2 ~x165+4 ~x164+8 ~x163+16 ~x162-0=95
20.39/20.41	c 16 ~x271648+8 ~x271647+4 ~x271646+2 ~x271645+1 ~x271644+1 ~x429+2 ~x428+4 ~x427+8 ~x426+16 ~x425+1 x384+2 x383+4 x382+8 x381+16 x380-0=62
20.39/20.42	c 16 ~x272162+8 ~x272161+4 ~x272160+2 ~x272159+1 ~x272158+1 x429+2 x428+4 x427+8 x426+16 x425+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380-0=62
20.39/20.45	c 32 ~x272677+16 ~x272676+8 ~x272675+4 ~x272674+2 ~x272673+1 ~x272672+1 x429+2 x428+4 x427+8 x426+16 x425+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380-0=95
20.39/20.45	c 32 ~x273297+16 ~x273296+8 ~x273295+4 ~x273294+2 ~x273293+1 ~x273292+1 ~x429+2 ~x428+4 ~x427+8 ~x426+16 ~x425+1 x384+2 x383+4 x382+8 x381+16 x380-0=95
20.39/20.48	c 16 ~x273916+8 ~x273915+4 ~x273914+2 ~x273913+1 ~x273912+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
20.39/20.48	c 16 ~x274430+8 ~x274429+4 ~x274428+2 ~x274427+1 ~x274426+1 x458+2 x457+4 x456+8 x455+16 x454+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=62
20.49/20.51	c 32 ~x274945+16 ~x274944+8 ~x274943+4 ~x274942+2 ~x274941+1 ~x274940+1 x458+2 x457+4 x456+8 x455+16 x454+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
20.49/20.51	c 32 ~x275565+16 ~x275564+8 ~x275563+4 ~x275562+2 ~x275561+1 ~x275560+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454+1 x68+2 x67+4 x66+8 x65+16 x64-0=95
20.49/20.52	c 16 ~x276184+8 ~x276183+4 ~x276182+2 ~x276181+1 ~x276180+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454+1 x422+2 x421+4 x420+8 x419+16 x418-0=62
20.49/20.55	c 16 ~x276698+8 ~x276697+4 ~x276696+2 ~x276695+1 ~x276694+1 x458+2 x457+4 x456+8 x455+16 x454+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=62
20.49/20.55	c 32 ~x277213+16 ~x277212+8 ~x277211+4 ~x277210+2 ~x277209+1 ~x277208+1 x458+2 x457+4 x456+8 x455+16 x454+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=95
20.49/20.58	c 32 ~x277833+16 ~x277832+8 ~x277831+4 ~x277830+2 ~x277829+1 ~x277828+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454+1 x422+2 x421+4 x420+8 x419+16 x418-0=95
20.49/20.58	c 16 ~x278452+8 ~x278451+4 ~x278450+2 ~x278449+1 ~x278448+1 x384+2 x383+4 x382+8 x381+16 x380+1 ~x319+2 ~x318+4 ~x317+8 ~x316+16 ~x315-0=62
20.59/20.60	c 16 ~x278966+8 ~x278965+4 ~x278964+2 ~x278963+1 ~x278962+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380+1 x319+2 x318+4 x317+8 x316+16 x315-0=62
20.59/20.60	c 32 ~x279481+16 ~x279480+8 ~x279479+4 ~x279478+2 ~x279477+1 ~x279476+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380+1 x319+2 x318+4 x317+8 x316+16 x315-0=95
20.59/20.62	c 32 ~x280101+16 ~x280100+8 ~x280099+4 ~x280098+2 ~x280097+1 ~x280096+1 x384+2 x383+4 x382+8 x381+16 x380+1 ~x319+2 ~x318+4 ~x317+8 ~x316+16 ~x315-0=95
20.59/20.65	c 16 ~x280720+8 ~x280719+4 ~x280718+2 ~x280717+1 ~x280716+1 ~x408+2 ~x407+4 ~x406+8 ~x405+16 ~x404+1 x41+2 x40+4 x39+8 x38+16 x37-0=62
20.59/20.65	c 16 ~x281234+8 ~x281233+4 ~x281232+2 ~x281231+1 ~x281230+1 x408+2 x407+4 x406+8 x405+16 x404+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=62
20.59/20.67	c 32 ~x281749+16 ~x281748+8 ~x281747+4 ~x281746+2 ~x281745+1 ~x281744+1 x408+2 x407+4 x406+8 x405+16 x404+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=95
20.59/20.67	c 32 ~x282369+16 ~x282368+8 ~x282367+4 ~x282366+2 ~x282365+1 ~x282364+1 ~x408+2 ~x407+4 ~x406+8 ~x405+16 ~x404+1 x41+2 x40+4 x39+8 x38+16 x37-0=95
20.68/20.70	c 16 ~x282988+8 ~x282987+4 ~x282986+2 ~x282985+1 ~x282984+1 ~x415+2 ~x414+4 ~x413+8 ~x412+16 ~x411+1 x41+2 x40+4 x39+8 x38+16 x37-0=62
20.68/20.70	c 16 ~x283502+8 ~x283501+4 ~x283500+2 ~x283499+1 ~x283498+1 x415+2 x414+4 x413+8 x412+16 x411+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=62
20.68/20.73	c 32 ~x284017+16 ~x284016+8 ~x284015+4 ~x284014+2 ~x284013+1 ~x284012+1 x415+2 x414+4 x413+8 x412+16 x411+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=95
20.68/20.73	c 32 ~x284637+16 ~x284636+8 ~x284635+4 ~x284634+2 ~x284633+1 ~x284632+1 ~x415+2 ~x414+4 ~x413+8 ~x412+16 ~x411+1 x41+2 x40+4 x39+8 x38+16 x37-0=95
20.68/20.76	c 16 ~x285256+8 ~x285255+4 ~x285254+2 ~x285253+1 ~x285252+1 ~x473+2 ~x472+4 ~x471+8 ~x470+16 ~x469+1 x41+2 x40+4 x39+8 x38+16 x37-0=62
20.68/20.76	c 16 ~x285770+8 ~x285769+4 ~x285768+2 ~x285767+1 ~x285766+1 x473+2 x472+4 x471+8 x470+16 x469+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=62
20.68/20.77	c 32 ~x286285+16 ~x286284+8 ~x286283+4 ~x286282+2 ~x286281+1 ~x286280+1 x473+2 x472+4 x471+8 x470+16 x469+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=95
20.79/20.80	c 32 ~x286905+16 ~x286904+8 ~x286903+4 ~x286902+2 ~x286901+1 ~x286900+1 ~x473+2 ~x472+4 ~x471+8 ~x470+16 ~x469+1 x41+2 x40+4 x39+8 x38+16 x37-0=95
20.79/20.80	c 16 ~x287524+8 ~x287523+4 ~x287522+2 ~x287521+1 ~x287520+1 ~x408+2 ~x407+4 ~x406+8 ~x405+16 ~x404+1 x155+2 x154+4 x153+8 x152+16 x151-0=62
20.79/20.83	c 16 ~x288038+8 ~x288037+4 ~x288036+2 ~x288035+1 ~x288034+1 x408+2 x407+4 x406+8 x405+16 x404+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=62
20.79/20.83	c 32 ~x288553+16 ~x288552+8 ~x288551+4 ~x288550+2 ~x288549+1 ~x288548+1 x408+2 x407+4 x406+8 x405+16 x404+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=95
20.79/20.86	c 32 ~x289173+16 ~x289172+8 ~x289171+4 ~x289170+2 ~x289169+1 ~x289168+1 ~x408+2 ~x407+4 ~x406+8 ~x405+16 ~x404+1 x155+2 x154+4 x153+8 x152+16 x151-0=95
20.79/20.86	c 16 ~x289792+8 ~x289791+4 ~x289790+2 ~x289789+1 ~x289788+1 ~x415+2 ~x414+4 ~x413+8 ~x412+16 ~x411+1 x155+2 x154+4 x153+8 x152+16 x151-0=62
20.79/20.87	c 16 ~x290306+8 ~x290305+4 ~x290304+2 ~x290303+1 ~x290302+1 x415+2 x414+4 x413+8 x412+16 x411+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=62
20.79/20.90	c 32 ~x290821+16 ~x290820+8 ~x290819+4 ~x290818+2 ~x290817+1 ~x290816+1 x415+2 x414+4 x413+8 x412+16 x411+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=95
20.79/20.90	c 32 ~x291441+16 ~x291440+8 ~x291439+4 ~x291438+2 ~x291437+1 ~x291436+1 ~x415+2 ~x414+4 ~x413+8 ~x412+16 ~x411+1 x155+2 x154+4 x153+8 x152+16 x151-0=95
20.89/20.93	c 16 ~x292060+8 ~x292059+4 ~x292058+2 ~x292057+1 ~x292056+1 ~x473+2 ~x472+4 ~x471+8 ~x470+16 ~x469+1 x155+2 x154+4 x153+8 x152+16 x151-0=62
20.89/20.93	c 16 ~x292574+8 ~x292573+4 ~x292572+2 ~x292571+1 ~x292570+1 x473+2 x472+4 x471+8 x470+16 x469+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=62
20.89/20.95	c 32 ~x293089+16 ~x293088+8 ~x293087+4 ~x293086+2 ~x293085+1 ~x293084+1 x473+2 x472+4 x471+8 x470+16 x469+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=95
20.89/20.95	c 32 ~x293709+16 ~x293708+8 ~x293707+4 ~x293706+2 ~x293705+1 ~x293704+1 ~x473+2 ~x472+4 ~x471+8 ~x470+16 ~x469+1 x155+2 x154+4 x153+8 x152+16 x151-0=95
20.89/20.97	c 16 ~x294328+8 ~x294327+4 ~x294326+2 ~x294325+1 ~x294324+1 ~x408+2 ~x407+4 ~x406+8 ~x405+16 ~x404+1 x270+2 x269+4 x268+8 x267+16 x266-0=62
20.89/20.99	c 16 ~x294842+8 ~x294841+4 ~x294840+2 ~x294839+1 ~x294838+1 x408+2 x407+4 x406+8 x405+16 x404+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266-0=62
20.89/20.99	c 32 ~x295357+16 ~x295356+8 ~x295355+4 ~x295354+2 ~x295353+1 ~x295352+1 x408+2 x407+4 x406+8 x405+16 x404+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266-0=95
20.98/21.02	c 32 ~x295977+16 ~x295976+8 ~x295975+4 ~x295974+2 ~x295973+1 ~x295972+1 ~x408+2 ~x407+4 ~x406+8 ~x405+16 ~x404+1 x270+2 x269+4 x268+8 x267+16 x266-0=95
20.98/21.02	c 16 ~x296596+8 ~x296595+4 ~x296594+2 ~x296593+1 ~x296592+1 ~x415+2 ~x414+4 ~x413+8 ~x412+16 ~x411+1 x270+2 x269+4 x268+8 x267+16 x266-0=62
20.98/21.05	c 16 ~x297110+8 ~x297109+4 ~x297108+2 ~x297107+1 ~x297106+1 x415+2 x414+4 x413+8 x412+16 x411+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266-0=62
20.98/21.05	c 32 ~x297625+16 ~x297624+8 ~x297623+4 ~x297622+2 ~x297621+1 ~x297620+1 x415+2 x414+4 x413+8 x412+16 x411+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266-0=95
20.98/21.06	c 32 ~x298245+16 ~x298244+8 ~x298243+4 ~x298242+2 ~x298241+1 ~x298240+1 ~x415+2 ~x414+4 ~x413+8 ~x412+16 ~x411+1 x270+2 x269+4 x268+8 x267+16 x266-0=95
20.98/21.09	c 16 ~x298864+8 ~x298863+4 ~x298862+2 ~x298861+1 ~x298860+1 ~x473+2 ~x472+4 ~x471+8 ~x470+16 ~x469+1 x270+2 x269+4 x268+8 x267+16 x266-0=62
20.98/21.09	c 16 ~x299378+8 ~x299377+4 ~x299376+2 ~x299375+1 ~x299374+1 x473+2 x472+4 x471+8 x470+16 x469+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266-0=62
21.08/21.12	c 32 ~x299893+16 ~x299892+8 ~x299891+4 ~x299890+2 ~x299889+1 ~x299888+1 x473+2 x472+4 x471+8 x470+16 x469+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266-0=95
21.08/21.12	c 32 ~x300513+16 ~x300512+8 ~x300511+4 ~x300510+2 ~x300509+1 ~x300508+1 ~x473+2 ~x472+4 ~x471+8 ~x470+16 ~x469+1 x270+2 x269+4 x268+8 x267+16 x266-0=95
21.08/21.15	c 16 ~x301132+8 ~x301131+4 ~x301130+2 ~x301129+1 ~x301128+1 ~x408+2 ~x407+4 ~x406+8 ~x405+16 ~x404+1 x301+2 x300+4 x299+8 x298+16 x297-0=62
21.08/21.15	c 16 ~x301646+8 ~x301645+4 ~x301644+2 ~x301643+1 ~x301642+1 x408+2 x407+4 x406+8 x405+16 x404+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297-0=62
21.08/21.16	c 32 ~x302161+16 ~x302160+8 ~x302159+4 ~x302158+2 ~x302157+1 ~x302156+1 x408+2 x407+4 x406+8 x405+16 x404+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297-0=95
21.08/21.19	c 32 ~x302781+16 ~x302780+8 ~x302779+4 ~x302778+2 ~x302777+1 ~x302776+1 ~x408+2 ~x407+4 ~x406+8 ~x405+16 ~x404+1 x301+2 x300+4 x299+8 x298+16 x297-0=95
21.08/21.19	c 16 ~x303400+8 ~x303399+4 ~x303398+2 ~x303397+1 ~x303396+1 ~x415+2 ~x414+4 ~x413+8 ~x412+16 ~x411+1 x301+2 x300+4 x299+8 x298+16 x297-0=62
21.18/21.22	c 16 ~x303914+8 ~x303913+4 ~x303912+2 ~x303911+1 ~x303910+1 x415+2 x414+4 x413+8 x412+16 x411+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297-0=62
21.18/21.22	c 32 ~x304429+16 ~x304428+8 ~x304427+4 ~x304426+2 ~x304425+1 ~x304424+1 x415+2 x414+4 x413+8 x412+16 x411+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297-0=95
21.18/21.25	c 32 ~x305049+16 ~x305048+8 ~x305047+4 ~x305046+2 ~x305045+1 ~x305044+1 ~x415+2 ~x414+4 ~x413+8 ~x412+16 ~x411+1 x301+2 x300+4 x299+8 x298+16 x297-0=95
21.18/21.25	c 16 ~x305668+8 ~x305667+4 ~x305666+2 ~x305665+1 ~x305664+1 ~x473+2 ~x472+4 ~x471+8 ~x470+16 ~x469+1 x301+2 x300+4 x299+8 x298+16 x297-0=62
21.18/21.27	c 16 ~x306182+8 ~x306181+4 ~x306180+2 ~x306179+1 ~x306178+1 x473+2 x472+4 x471+8 x470+16 x469+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297-0=62
21.18/21.27	c 32 ~x306697+16 ~x306696+8 ~x306695+4 ~x306694+2 ~x306693+1 ~x306692+1 x473+2 x472+4 x471+8 x470+16 x469+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297-0=95
21.18/21.29	c 32 ~x307317+16 ~x307316+8 ~x307315+4 ~x307314+2 ~x307313+1 ~x307312+1 ~x473+2 ~x472+4 ~x471+8 ~x470+16 ~x469+1 x301+2 x300+4 x299+8 x298+16 x297-0=95
21.28/21.32	c 16 ~x307936+8 ~x307935+4 ~x307934+2 ~x307933+1 ~x307932+1 x345+2 x344+4 x343+8 x342+16 x341+1 ~x57+2 ~x56+4 ~x55+8 ~x54+16 ~x53-0=62
21.28/21.32	c 16 ~x308450+8 ~x308449+4 ~x308448+2 ~x308447+1 ~x308446+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341+1 x57+2 x56+4 x55+8 x54+16 x53-0=62
21.28/21.34	c 32 ~x308965+16 ~x308964+8 ~x308963+4 ~x308962+2 ~x308961+1 ~x308960+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341+1 x57+2 x56+4 x55+8 x54+16 x53-0=95
21.28/21.34	c 32 ~x309585+16 ~x309584+8 ~x309583+4 ~x309582+2 ~x309581+1 ~x309580+1 x345+2 x344+4 x343+8 x342+16 x341+1 ~x57+2 ~x56+4 ~x55+8 ~x54+16 ~x53-0=95
21.28/21.37	c 16 ~x310204+8 ~x310203+4 ~x310202+2 ~x310201+1 ~x310200+1 x345+2 x344+4 x343+8 x342+16 x341+1 ~x166+2 ~x165+4 ~x164+8 ~x163+16 ~x162-0=62
21.28/21.37	c 16 ~x310718+8 ~x310717+4 ~x310716+2 ~x310715+1 ~x310714+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341+1 x166+2 x165+4 x164+8 x163+16 x162-0=62
21.28/21.39	c 32 ~x311233+16 ~x311232+8 ~x311231+4 ~x311230+2 ~x311229+1 ~x311228+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341+1 x166+2 x165+4 x164+8 x163+16 x162-0=95
21.39/21.42	c 32 ~x311853+16 ~x311852+8 ~x311851+4 ~x311850+2 ~x311849+1 ~x311848+1 x345+2 x344+4 x343+8 x342+16 x341+1 ~x166+2 ~x165+4 ~x164+8 ~x163+16 ~x162-0=95
21.39/21.42	c 16 ~x312472+8 ~x312471+4 ~x312470+2 ~x312469+1 ~x312468+1 ~x408+2 ~x407+4 ~x406+8 ~x405+16 ~x404+1 x345+2 x344+4 x343+8 x342+16 x341-0=62
21.39/21.44	c 16 ~x312986+8 ~x312985+4 ~x312984+2 ~x312983+1 ~x312982+1 x408+2 x407+4 x406+8 x405+16 x404+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341-0=62
21.39/21.44	c 32 ~x313501+16 ~x313500+8 ~x313499+4 ~x313498+2 ~x313497+1 ~x313496+1 x408+2 x407+4 x406+8 x405+16 x404+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341-0=95
21.39/21.47	c 32 ~x314121+16 ~x314120+8 ~x314119+4 ~x314118+2 ~x314117+1 ~x314116+1 ~x408+2 ~x407+4 ~x406+8 ~x405+16 ~x404+1 x345+2 x344+4 x343+8 x342+16 x341-0=95
21.39/21.47	c 16 ~x314740+8 ~x314739+4 ~x314738+2 ~x314737+1 ~x314736+1 ~x415+2 ~x414+4 ~x413+8 ~x412+16 ~x411+1 x345+2 x344+4 x343+8 x342+16 x341-0=62
21.39/21.48	c 16 ~x315254+8 ~x315253+4 ~x315252+2 ~x315251+1 ~x315250+1 x415+2 x414+4 x413+8 x412+16 x411+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341-0=62
21.48/21.51	c 32 ~x315769+16 ~x315768+8 ~x315767+4 ~x315766+2 ~x315765+1 ~x315764+1 x415+2 x414+4 x413+8 x412+16 x411+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341-0=95
21.48/21.51	c 32 ~x316389+16 ~x316388+8 ~x316387+4 ~x316386+2 ~x316385+1 ~x316384+1 ~x415+2 ~x414+4 ~x413+8 ~x412+16 ~x411+1 x345+2 x344+4 x343+8 x342+16 x341-0=95
21.48/21.54	c 16 ~x317008+8 ~x317007+4 ~x317006+2 ~x317005+1 ~x317004+1 ~x429+2 ~x428+4 ~x427+8 ~x426+16 ~x425+1 x345+2 x344+4 x343+8 x342+16 x341-0=62
21.48/21.54	c 16 ~x317522+8 ~x317521+4 ~x317520+2 ~x317519+1 ~x317518+1 x429+2 x428+4 x427+8 x426+16 x425+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341-0=62
21.48/21.57	c 32 ~x318037+16 ~x318036+8 ~x318035+4 ~x318034+2 ~x318033+1 ~x318032+1 x429+2 x428+4 x427+8 x426+16 x425+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341-0=95
21.48/21.57	c 32 ~x318657+16 ~x318656+8 ~x318655+4 ~x318654+2 ~x318653+1 ~x318652+1 ~x429+2 ~x428+4 ~x427+8 ~x426+16 ~x425+1 x345+2 x344+4 x343+8 x342+16 x341-0=95
21.48/21.58	c 16 ~x319276+8 ~x319275+4 ~x319274+2 ~x319273+1 ~x319272+1 ~x473+2 ~x472+4 ~x471+8 ~x470+16 ~x469+1 x345+2 x344+4 x343+8 x342+16 x341-0=62
21.58/21.61	c 16 ~x319790+8 ~x319789+4 ~x319788+2 ~x319787+1 ~x319786+1 x473+2 x472+4 x471+8 x470+16 x469+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341-0=62
21.58/21.61	c 32 ~x320305+16 ~x320304+8 ~x320303+4 ~x320302+2 ~x320301+1 ~x320300+1 x473+2 x472+4 x471+8 x470+16 x469+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341-0=95
21.58/21.64	c 32 ~x320925+16 ~x320924+8 ~x320923+4 ~x320922+2 ~x320921+1 ~x320920+1 ~x473+2 ~x472+4 ~x471+8 ~x470+16 ~x469+1 x345+2 x344+4 x343+8 x342+16 x341-0=95
21.58/21.64	c 16 ~x321544+8 ~x321543+4 ~x321542+2 ~x321541+1 ~x321540+1 ~x473+2 ~x472+4 ~x471+8 ~x470+16 ~x469+1 x22+2 x21+4 x20+8 x19+16 x18-0=62
21.58/21.66	c 16 ~x322058+8 ~x322057+4 ~x322056+2 ~x322055+1 ~x322054+1 x473+2 x472+4 x471+8 x470+16 x469+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=62
21.58/21.66	c 32 ~x322573+16 ~x322572+8 ~x322571+4 ~x322570+2 ~x322569+1 ~x322568+1 x473+2 x472+4 x471+8 x470+16 x469+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=95
21.58/21.69	c 32 ~x323193+16 ~x323192+8 ~x323191+4 ~x323190+2 ~x323189+1 ~x323188+1 ~x473+2 ~x472+4 ~x471+8 ~x470+16 ~x469+1 x22+2 x21+4 x20+8 x19+16 x18-0=95
21.58/21.69	c 16 ~x323812+8 ~x323811+4 ~x323810+2 ~x323809+1 ~x323808+1 ~x408+2 ~x407+4 ~x406+8 ~x405+16 ~x404+1 x384+2 x383+4 x382+8 x381+16 x380-0=62
21.69/21.71	c 16 ~x324326+8 ~x324325+4 ~x324324+2 ~x324323+1 ~x324322+1 x408+2 x407+4 x406+8 x405+16 x404+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380-0=62
21.69/21.74	c 32 ~x324841+16 ~x324840+8 ~x324839+4 ~x324838+2 ~x324837+1 ~x324836+1 x408+2 x407+4 x406+8 x405+16 x404+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380-0=95
21.69/21.74	c 32 ~x325461+16 ~x325460+8 ~x325459+4 ~x325458+2 ~x325457+1 ~x325456+1 ~x408+2 ~x407+4 ~x406+8 ~x405+16 ~x404+1 x384+2 x383+4 x382+8 x381+16 x380-0=95
21.69/21.76	c 16 ~x326080+8 ~x326079+4 ~x326078+2 ~x326077+1 ~x326076+1 ~x415+2 ~x414+4 ~x413+8 ~x412+16 ~x411+1 x384+2 x383+4 x382+8 x381+16 x380-0=62
21.69/21.76	c 16 ~x326594+8 ~x326593+4 ~x326592+2 ~x326591+1 ~x326590+1 x415+2 x414+4 x413+8 x412+16 x411+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380-0=62
21.78/21.80	c 32 ~x327109+16 ~x327108+8 ~x327107+4 ~x327106+2 ~x327105+1 ~x327104+1 x415+2 x414+4 x413+8 x412+16 x411+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380-0=95
21.78/21.80	c 32 ~x327729+16 ~x327728+8 ~x327727+4 ~x327726+2 ~x327725+1 ~x327724+1 ~x415+2 ~x414+4 ~x413+8 ~x412+16 ~x411+1 x384+2 x383+4 x382+8 x381+16 x380-0=95
21.78/21.82	c 16 ~x328348+8 ~x328347+4 ~x328346+2 ~x328345+1 ~x328344+1 ~x473+2 ~x472+4 ~x471+8 ~x470+16 ~x469+1 x384+2 x383+4 x382+8 x381+16 x380-0=62
21.78/21.84	c 16 ~x328862+8 ~x328861+4 ~x328860+2 ~x328859+1 ~x328858+1 x473+2 x472+4 x471+8 x470+16 x469+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380-0=62
21.78/21.84	c 32 ~x329377+16 ~x329376+8 ~x329375+4 ~x329374+2 ~x329373+1 ~x329372+1 x473+2 x472+4 x471+8 x470+16 x469+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380-0=95
21.78/21.87	c 32 ~x329997+16 ~x329996+8 ~x329995+4 ~x329994+2 ~x329993+1 ~x329992+1 ~x473+2 ~x472+4 ~x471+8 ~x470+16 ~x469+1 x384+2 x383+4 x382+8 x381+16 x380-0=95
21.78/21.87	c 16 ~x330616+8 ~x330615+4 ~x330614+2 ~x330613+1 ~x330612+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
21.88/21.90	c 16 ~x331130+8 ~x331129+4 ~x331128+2 ~x331127+1 ~x331126+1 x518+2 x517+4 x516+8 x515+16 x514+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=62
21.88/21.90	c 32 ~x331645+16 ~x331644+8 ~x331643+4 ~x331642+2 ~x331641+1 ~x331640+1 x518+2 x517+4 x516+8 x515+16 x514+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
21.88/21.91	c 32 ~x332265+16 ~x332264+8 ~x332263+4 ~x332262+2 ~x332261+1 ~x332260+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514+1 x68+2 x67+4 x66+8 x65+16 x64-0=95
21.88/21.94	c 16 ~x332884+8 ~x332883+4 ~x332882+2 ~x332881+1 ~x332880+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514+1 x422+2 x421+4 x420+8 x419+16 x418-0=62
21.88/21.94	c 16 ~x333398+8 ~x333397+4 ~x333396+2 ~x333395+1 ~x333394+1 x518+2 x517+4 x516+8 x515+16 x514+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=62
21.88/21.97	c 32 ~x333913+16 ~x333912+8 ~x333911+4 ~x333910+2 ~x333909+1 ~x333908+1 x518+2 x517+4 x516+8 x515+16 x514+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=95
21.88/21.97	c 32 ~x334533+16 ~x334532+8 ~x334531+4 ~x334530+2 ~x334529+1 ~x334528+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514+1 x422+2 x421+4 x420+8 x419+16 x418-0=95
21.88/22.00	c 16 ~x335152+8 ~x335151+4 ~x335150+2 ~x335149+1 ~x335148+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514+1 x458+2 x457+4 x456+8 x455+16 x454-0=62
21.88/22.00	c 16 ~x335666+8 ~x335665+4 ~x335664+2 ~x335663+1 ~x335662+1 x518+2 x517+4 x516+8 x515+16 x514+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454-0=62
21.99/22.01	c 32 ~x336181+16 ~x336180+8 ~x336179+4 ~x336178+2 ~x336177+1 ~x336176+1 x518+2 x517+4 x516+8 x515+16 x514+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454-0=95
21.99/22.04	c 32 ~x336801+16 ~x336800+8 ~x336799+4 ~x336798+2 ~x336797+1 ~x336796+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514+1 x458+2 x457+4 x456+8 x455+16 x454-0=95
21.99/22.04	c 16 ~x337420+8 ~x337419+4 ~x337418+2 ~x337417+1 ~x337416+1 ~x529+2 ~x528+4 ~x527+8 ~x526+16 ~x525+1 x22+2 x21+4 x20+8 x19+16 x18-0=62
21.99/22.07	c 16 ~x337934+8 ~x337933+4 ~x337932+2 ~x337931+1 ~x337930+1 x529+2 x528+4 x527+8 x526+16 x525+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=62
21.99/22.07	c 32 ~x338449+16 ~x338448+8 ~x338447+4 ~x338446+2 ~x338445+1 ~x338444+1 x529+2 x528+4 x527+8 x526+16 x525+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=95
22.08/22.10	c 32 ~x339069+16 ~x339068+8 ~x339067+4 ~x339066+2 ~x339065+1 ~x339064+1 ~x529+2 ~x528+4 ~x527+8 ~x526+16 ~x525+1 x22+2 x21+4 x20+8 x19+16 x18-0=95
22.08/22.10	c 16 ~x339688+8 ~x339687+4 ~x339686+2 ~x339685+1 ~x339684+1 ~x529+2 ~x528+4 ~x527+8 ~x526+16 ~x525+1 x41+2 x40+4 x39+8 x38+16 x37-0=62
22.08/22.12	c 16 ~x340202+8 ~x340201+4 ~x340200+2 ~x340199+1 ~x340198+1 x529+2 x528+4 x527+8 x526+16 x525+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=62
22.08/22.12	c 32 ~x340717+16 ~x340716+8 ~x340715+4 ~x340714+2 ~x340713+1 ~x340712+1 x529+2 x528+4 x527+8 x526+16 x525+1 ~x41+2 ~x40+4 ~x39+8 ~x38+16 ~x37-0=95
22.08/22.14	c 32 ~x341337+16 ~x341336+8 ~x341335+4 ~x341334+2 ~x341333+1 ~x341332+1 ~x529+2 ~x528+4 ~x527+8 ~x526+16 ~x525+1 x41+2 x40+4 x39+8 x38+16 x37-0=95
22.08/22.17	c 16 ~x341956+8 ~x341955+4 ~x341954+2 ~x341953+1 ~x341952+1 ~x529+2 ~x528+4 ~x527+8 ~x526+16 ~x525+1 x155+2 x154+4 x153+8 x152+16 x151-0=62
22.08/22.17	c 16 ~x342470+8 ~x342469+4 ~x342468+2 ~x342467+1 ~x342466+1 x529+2 x528+4 x527+8 x526+16 x525+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=62
22.08/22.19	c 32 ~x342985+16 ~x342984+8 ~x342983+4 ~x342982+2 ~x342981+1 ~x342980+1 x529+2 x528+4 x527+8 x526+16 x525+1 ~x155+2 ~x154+4 ~x153+8 ~x152+16 ~x151-0=95
22.08/22.19	c 32 ~x343605+16 ~x343604+8 ~x343603+4 ~x343602+2 ~x343601+1 ~x343600+1 ~x529+2 ~x528+4 ~x527+8 ~x526+16 ~x525+1 x155+2 x154+4 x153+8 x152+16 x151-0=95
22.19/22.22	c 16 ~x344224+8 ~x344223+4 ~x344222+2 ~x344221+1 ~x344220+1 ~x529+2 ~x528+4 ~x527+8 ~x526+16 ~x525+1 x270+2 x269+4 x268+8 x267+16 x266-0=62
22.19/22.22	c 16 ~x344738+8 ~x344737+4 ~x344736+2 ~x344735+1 ~x344734+1 x529+2 x528+4 x527+8 x526+16 x525+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266-0=62
22.19/22.25	c 32 ~x345253+16 ~x345252+8 ~x345251+4 ~x345250+2 ~x345249+1 ~x345248+1 x529+2 x528+4 x527+8 x526+16 x525+1 ~x270+2 ~x269+4 ~x268+8 ~x267+16 ~x266-0=95
22.19/22.25	c 32 ~x345873+16 ~x345872+8 ~x345871+4 ~x345870+2 ~x345869+1 ~x345868+1 ~x529+2 ~x528+4 ~x527+8 ~x526+16 ~x525+1 x270+2 x269+4 x268+8 x267+16 x266-0=95
22.19/22.26	c 16 ~x346492+8 ~x346491+4 ~x346490+2 ~x346489+1 ~x346488+1 ~x529+2 ~x528+4 ~x527+8 ~x526+16 ~x525+1 x301+2 x300+4 x299+8 x298+16 x297-0=62
22.19/22.29	c 16 ~x347006+8 ~x347005+4 ~x347004+2 ~x347003+1 ~x347002+1 x529+2 x528+4 x527+8 x526+16 x525+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297-0=62
22.19/22.29	c 32 ~x347521+16 ~x347520+8 ~x347519+4 ~x347518+2 ~x347517+1 ~x347516+1 x529+2 x528+4 x527+8 x526+16 x525+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297-0=95
22.28/22.32	c 32 ~x348141+16 ~x348140+8 ~x348139+4 ~x348138+2 ~x348137+1 ~x348136+1 ~x529+2 ~x528+4 ~x527+8 ~x526+16 ~x525+1 x301+2 x300+4 x299+8 x298+16 x297-0=95
22.28/22.32	c 16 ~x348760+8 ~x348759+4 ~x348758+2 ~x348757+1 ~x348756+1 ~x529+2 ~x528+4 ~x527+8 ~x526+16 ~x525+1 x345+2 x344+4 x343+8 x342+16 x341-0=62
22.28/22.35	c 16 ~x349274+8 ~x349273+4 ~x349272+2 ~x349271+1 ~x349270+1 x529+2 x528+4 x527+8 x526+16 x525+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341-0=62
22.28/22.35	c 32 ~x349789+16 ~x349788+8 ~x349787+4 ~x349786+2 ~x349785+1 ~x349784+1 x529+2 x528+4 x527+8 x526+16 x525+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341-0=95
22.28/22.36	c 32 ~x350409+16 ~x350408+8 ~x350407+4 ~x350406+2 ~x350405+1 ~x350404+1 ~x529+2 ~x528+4 ~x527+8 ~x526+16 ~x525+1 x345+2 x344+4 x343+8 x342+16 x341-0=95
22.28/22.39	c 16 ~x351028+8 ~x351027+4 ~x351026+2 ~x351025+1 ~x351024+1 ~x529+2 ~x528+4 ~x527+8 ~x526+16 ~x525+1 x384+2 x383+4 x382+8 x381+16 x380-0=62
22.28/22.39	c 16 ~x351542+8 ~x351541+4 ~x351540+2 ~x351539+1 ~x351538+1 x529+2 x528+4 x527+8 x526+16 x525+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380-0=62
22.38/22.42	c 32 ~x352057+16 ~x352056+8 ~x352055+4 ~x352054+2 ~x352053+1 ~x352052+1 x529+2 x528+4 x527+8 x526+16 x525+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380-0=95
22.38/22.42	c 32 ~x352677+16 ~x352676+8 ~x352675+4 ~x352674+2 ~x352673+1 ~x352672+1 ~x529+2 ~x528+4 ~x527+8 ~x526+16 ~x525+1 x384+2 x383+4 x382+8 x381+16 x380-0=95
22.38/22.45	c 16 ~x353296+8 ~x353295+4 ~x353294+2 ~x353293+1 ~x353292+1 ~x360+2 ~x359+4 ~x358+8 ~x357+16 ~x356+1 x13+2 x12+4 x11+8 x10+16 x9-0=61
22.38/22.45	c 32 ~x353811+16 ~x353810+8 ~x353809+4 ~x353808+2 ~x353807+1 ~x353806+1 x360+2 x359+4 x358+8 x357+16 x356+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
22.38/22.46	c 32 ~x354431+16 ~x354430+8 ~x354429+4 ~x354428+2 ~x354427+1 ~x354426+1 x360+2 x359+4 x358+8 x357+16 x356+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=96
22.38/22.49	c 16 ~x355050+8 ~x355049+4 ~x355048+2 ~x355047+1 ~x355046+1 ~x360+2 ~x359+4 ~x358+8 ~x357+16 ~x356+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
22.38/22.49	c 16 ~x355564+8 ~x355563+4 ~x355562+2 ~x355561+1 ~x355560+1 ~x254+2 ~x253+4 ~x252+8 ~x251+16 ~x250+1 x13+2 x12+4 x11+8 x10+16 x9-0=61
22.48/22.52	c 32 ~x356079+16 ~x356078+8 ~x356077+4 ~x356076+2 ~x356075+1 ~x356074+1 x254+2 x253+4 x252+8 x251+16 x250+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
22.48/22.52	c 32 ~x356699+16 ~x356698+8 ~x356697+4 ~x356696+2 ~x356695+1 ~x356694+1 x254+2 x253+4 x252+8 x251+16 x250+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=96
22.48/22.55	c 16 ~x357318+8 ~x357317+4 ~x357316+2 ~x357315+1 ~x357314+1 ~x254+2 ~x253+4 ~x252+8 ~x251+16 ~x250+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
22.48/22.55	c 16 ~x357832+8 ~x357831+4 ~x357830+2 ~x357829+1 ~x357828+1 ~x277+2 ~x276+4 ~x275+8 ~x274+16 ~x273+1 x13+2 x12+4 x11+8 x10+16 x9-0=61
22.48/22.57	c 32 ~x358347+16 ~x358346+8 ~x358345+4 ~x358344+2 ~x358343+1 ~x358342+1 x277+2 x276+4 x275+8 x274+16 x273+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=95
22.48/22.57	c 32 ~x358967+16 ~x358966+8 ~x358965+4 ~x358964+2 ~x358963+1 ~x358962+1 x277+2 x276+4 x275+8 x274+16 x273+1 ~x13+2 ~x12+4 ~x11+8 ~x10+16 ~x9-0=96
22.58/22.60	c 16 ~x359586+8 ~x359585+4 ~x359584+2 ~x359583+1 ~x359582+1 ~x277+2 ~x276+4 ~x275+8 ~x274+16 ~x273+1 x13+2 x12+4 x11+8 x10+16 x9-0=62
22.58/22.60	c 32 ~x360101+16 ~x360100+8 ~x360099+4 ~x360098+2 ~x360097+1 ~x360096+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418+1 x68+2 x67+4 x66+8 x65+16 x64-0=95
22.58/22.62	c 16 ~x360720+8 ~x360719+4 ~x360718+2 ~x360717+1 ~x360716+1 x422+2 x421+4 x420+8 x419+16 x418+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=61
22.58/22.64	c 16 ~x361234+8 ~x361233+4 ~x361232+2 ~x361231+1 ~x361230+1 x422+2 x421+4 x420+8 x419+16 x418+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=62
22.58/22.64	c 32 ~x361749+16 ~x361748+8 ~x361747+4 ~x361746+2 ~x361745+1 ~x361744+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418+1 x68+2 x67+4 x66+8 x65+16 x64-0=96
22.58/22.67	c 16 ~x362368+8 ~x362367+4 ~x362366+2 ~x362365+1 ~x362364+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418+1 x68+2 x67+4 x66+8 x65+16 x64-0=61
22.58/22.67	c 32 ~x362883+16 ~x362882+8 ~x362881+4 ~x362880+2 ~x362879+1 ~x362878+1 x422+2 x421+4 x420+8 x419+16 x418+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
22.68/22.70	c 32 ~x363503+16 ~x363502+8 ~x363501+4 ~x363500+2 ~x363499+1 ~x363498+1 x422+2 x421+4 x420+8 x419+16 x418+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=96
22.68/22.70	c 16 ~x364122+8 ~x364121+4 ~x364120+2 ~x364119+1 ~x364118+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
22.68/22.73	c 16 ~x364636+8 ~x364635+4 ~x364634+2 ~x364633+1 ~x364632+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454+1 x68+2 x67+4 x66+8 x65+16 x64-0=61
22.68/22.73	c 32 ~x365151+16 ~x365150+8 ~x365149+4 ~x365148+2 ~x365147+1 ~x365146+1 x458+2 x457+4 x456+8 x455+16 x454+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
22.68/22.74	c 32 ~x365771+16 ~x365770+8 ~x365769+4 ~x365768+2 ~x365767+1 ~x365766+1 x458+2 x457+4 x456+8 x455+16 x454+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=96
22.68/22.77	c 16 ~x366390+8 ~x366389+4 ~x366388+2 ~x366387+1 ~x366386+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
22.68/22.77	c 16 ~x366904+8 ~x366903+4 ~x366902+2 ~x366901+1 ~x366900+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454+1 x422+2 x421+4 x420+8 x419+16 x418-0=61
22.78/22.80	c 32 ~x367419+16 ~x367418+8 ~x367417+4 ~x367416+2 ~x367415+1 ~x367414+1 x458+2 x457+4 x456+8 x455+16 x454+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=95
22.78/22.80	c 32 ~x368039+16 ~x368038+8 ~x368037+4 ~x368036+2 ~x368035+1 ~x368034+1 x458+2 x457+4 x456+8 x455+16 x454+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=96
22.78/22.83	c 16 ~x368658+8 ~x368657+4 ~x368656+2 ~x368655+1 ~x368654+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454+1 x422+2 x421+4 x420+8 x419+16 x418-0=62
22.78/22.83	c 16 ~x369172+8 ~x369171+4 ~x369170+2 ~x369169+1 ~x369168+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514+1 x68+2 x67+4 x66+8 x65+16 x64-0=61
22.78/22.85	c 32 ~x369687+16 ~x369686+8 ~x369685+4 ~x369684+2 ~x369683+1 ~x369682+1 x518+2 x517+4 x516+8 x515+16 x514+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
22.78/22.85	c 32 ~x370307+16 ~x370306+8 ~x370305+4 ~x370304+2 ~x370303+1 ~x370302+1 x518+2 x517+4 x516+8 x515+16 x514+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=96
22.78/22.87	c 16 ~x370926+8 ~x370925+4 ~x370924+2 ~x370923+1 ~x370922+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
22.78/22.89	c 16 ~x371440+8 ~x371439+4 ~x371438+2 ~x371437+1 ~x371436+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514+1 x422+2 x421+4 x420+8 x419+16 x418-0=61
22.78/22.89	c 32 ~x371955+16 ~x371954+8 ~x371953+4 ~x371952+2 ~x371951+1 ~x371950+1 x518+2 x517+4 x516+8 x515+16 x514+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=95
22.88/22.92	c 32 ~x372575+16 ~x372574+8 ~x372573+4 ~x372572+2 ~x372571+1 ~x372570+1 x518+2 x517+4 x516+8 x515+16 x514+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=96
22.88/22.92	c 16 ~x373194+8 ~x373193+4 ~x373192+2 ~x373191+1 ~x373190+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514+1 x422+2 x421+4 x420+8 x419+16 x418-0=62
22.88/22.95	c 32 ~x373709+16 ~x373708+8 ~x373707+4 ~x373706+2 ~x373705+1 ~x373704+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454+1 x68+2 x67+4 x66+8 x65+16 x64-0=95
22.88/22.95	c 16 ~x374328+8 ~x374327+4 ~x374326+2 ~x374325+1 ~x374324+1 x458+2 x457+4 x456+8 x455+16 x454+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=61
22.88/22.98	c 16 ~x374842+8 ~x374841+4 ~x374840+2 ~x374839+1 ~x374838+1 x458+2 x457+4 x456+8 x455+16 x454+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=62
22.88/22.98	c 32 ~x375357+16 ~x375356+8 ~x375355+4 ~x375354+2 ~x375353+1 ~x375352+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454+1 x68+2 x67+4 x66+8 x65+16 x64-0=96
22.88/22.99	c 32 ~x375977+16 ~x375976+8 ~x375975+4 ~x375974+2 ~x375973+1 ~x375972+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454+1 x422+2 x421+4 x420+8 x419+16 x418-0=95
22.99/23.02	c 16 ~x376596+8 ~x376595+4 ~x376594+2 ~x376593+1 ~x376592+1 x458+2 x457+4 x456+8 x455+16 x454+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=61
22.99/23.02	c 16 ~x377110+8 ~x377109+4 ~x377108+2 ~x377107+1 ~x377106+1 x458+2 x457+4 x456+8 x455+16 x454+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=62
22.99/23.05	c 32 ~x377625+16 ~x377624+8 ~x377623+4 ~x377622+2 ~x377621+1 ~x377620+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454+1 x422+2 x421+4 x420+8 x419+16 x418-0=96
22.99/23.05	c 32 ~x378245+16 ~x378244+8 ~x378243+4 ~x378242+2 ~x378241+1 ~x378240+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514+1 x68+2 x67+4 x66+8 x65+16 x64-0=95
22.99/23.08	c 16 ~x378864+8 ~x378863+4 ~x378862+2 ~x378861+1 ~x378860+1 x518+2 x517+4 x516+8 x515+16 x514+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=61
22.99/23.08	c 16 ~x379378+8 ~x379377+4 ~x379376+2 ~x379375+1 ~x379374+1 x518+2 x517+4 x516+8 x515+16 x514+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=62
22.99/23.09	c 32 ~x379893+16 ~x379892+8 ~x379891+4 ~x379890+2 ~x379889+1 ~x379888+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514+1 x68+2 x67+4 x66+8 x65+16 x64-0=96
23.09/23.12	c 32 ~x380513+16 ~x380512+8 ~x380511+4 ~x380510+2 ~x380509+1 ~x380508+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514+1 x422+2 x421+4 x420+8 x419+16 x418-0=95
23.09/23.12	c 16 ~x381132+8 ~x381131+4 ~x381130+2 ~x381129+1 ~x381128+1 x518+2 x517+4 x516+8 x515+16 x514+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=61
23.09/23.15	c 16 ~x381646+8 ~x381645+4 ~x381644+2 ~x381643+1 ~x381642+1 x518+2 x517+4 x516+8 x515+16 x514+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=62
23.09/23.15	c 32 ~x382161+16 ~x382160+8 ~x382159+4 ~x382158+2 ~x382157+1 ~x382156+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514+1 x422+2 x421+4 x420+8 x419+16 x418-0=96
23.09/23.17	c 16 ~x382780+8 ~x382779+4 ~x382778+2 ~x382777+1 ~x382776+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
23.09/23.17	c 16 ~x383294+8 ~x383293+4 ~x383292+2 ~x383291+1 ~x383290+1 x422+2 x421+4 x420+8 x419+16 x418+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=62
23.18/23.20	c 32 ~x383809+16 ~x383808+8 ~x383807+4 ~x383806+2 ~x383805+1 ~x383804+1 x422+2 x421+4 x420+8 x419+16 x418+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
23.18/23.20	c 32 ~x384429+16 ~x384428+8 ~x384427+4 ~x384426+2 ~x384425+1 ~x384424+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418+1 x68+2 x67+4 x66+8 x65+16 x64-0=95
23.18/23.22	c 16 ~x385048+8 ~x385047+4 ~x385046+2 ~x385045+1 ~x385044+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
23.18/23.24	c 16 ~x385562+8 ~x385561+4 ~x385560+2 ~x385559+1 ~x385558+1 x458+2 x457+4 x456+8 x455+16 x454+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=62
23.18/23.24	c 32 ~x386077+16 ~x386076+8 ~x386075+4 ~x386074+2 ~x386073+1 ~x386072+1 x458+2 x457+4 x456+8 x455+16 x454+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
23.18/23.27	c 32 ~x386697+16 ~x386696+8 ~x386695+4 ~x386694+2 ~x386693+1 ~x386692+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454+1 x68+2 x67+4 x66+8 x65+16 x64-0=95
23.18/23.27	c 16 ~x387316+8 ~x387315+4 ~x387314+2 ~x387313+1 ~x387312+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454+1 x422+2 x421+4 x420+8 x419+16 x418-0=62
23.28/23.30	c 16 ~x387830+8 ~x387829+4 ~x387828+2 ~x387827+1 ~x387826+1 x458+2 x457+4 x456+8 x455+16 x454+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=62
23.28/23.30	c 32 ~x388345+16 ~x388344+8 ~x388343+4 ~x388342+2 ~x388341+1 ~x388340+1 x458+2 x457+4 x456+8 x455+16 x454+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=95
23.28/23.31	c 32 ~x388965+16 ~x388964+8 ~x388963+4 ~x388962+2 ~x388961+1 ~x388960+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454+1 x422+2 x421+4 x420+8 x419+16 x418-0=95
23.28/23.34	c 16 ~x389584+8 ~x389583+4 ~x389582+2 ~x389581+1 ~x389580+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
23.28/23.34	c 16 ~x390098+8 ~x390097+4 ~x390096+2 ~x390095+1 ~x390094+1 x518+2 x517+4 x516+8 x515+16 x514+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=62
23.28/23.37	c 32 ~x390613+16 ~x390612+8 ~x390611+4 ~x390610+2 ~x390609+1 ~x390608+1 x518+2 x517+4 x516+8 x515+16 x514+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
23.28/23.37	c 32 ~x391233+16 ~x391232+8 ~x391231+4 ~x391230+2 ~x391229+1 ~x391228+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514+1 x68+2 x67+4 x66+8 x65+16 x64-0=95
23.38/23.40	c 16 ~x391852+8 ~x391851+4 ~x391850+2 ~x391849+1 ~x391848+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514+1 x422+2 x421+4 x420+8 x419+16 x418-0=62
23.38/23.40	c 16 ~x392366+8 ~x392365+4 ~x392364+2 ~x392363+1 ~x392362+1 x518+2 x517+4 x516+8 x515+16 x514+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=62
23.38/23.43	c 32 ~x392881+16 ~x392880+8 ~x392879+4 ~x392878+2 ~x392877+1 ~x392876+1 x518+2 x517+4 x516+8 x515+16 x514+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=95
23.38/23.43	c 32 ~x393501+16 ~x393500+8 ~x393499+4 ~x393498+2 ~x393497+1 ~x393496+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514+1 x422+2 x421+4 x420+8 x419+16 x418-0=95
23.38/23.44	c 16 ~x394120+8 ~x394119+4 ~x394118+2 ~x394117+1 ~x394116+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
23.38/23.47	c 16 ~x394634+8 ~x394633+4 ~x394632+2 ~x394631+1 ~x394630+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=62
23.38/23.47	c 32 ~x395149+16 ~x395148+8 ~x395147+4 ~x395146+2 ~x395145+1 ~x395144+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
23.48/23.50	c 32 ~x395769+16 ~x395768+8 ~x395767+4 ~x395766+2 ~x395765+1 ~x395764+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x68+2 x67+4 x66+8 x65+16 x64-0=95
23.48/23.50	c 16 ~x396388+8 ~x396387+4 ~x396386+2 ~x396385+1 ~x396384+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x422+2 x421+4 x420+8 x419+16 x418-0=62
23.48/23.52	c 16 ~x396902+8 ~x396901+4 ~x396900+2 ~x396899+1 ~x396898+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=62
23.48/23.52	c 32 ~x397417+16 ~x397416+8 ~x397415+4 ~x397414+2 ~x397413+1 ~x397412+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=95
23.48/23.55	c 32 ~x398037+16 ~x398036+8 ~x398035+4 ~x398034+2 ~x398033+1 ~x398032+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x422+2 x421+4 x420+8 x419+16 x418-0=95
23.48/23.55	c 16 ~x398656+8 ~x398655+4 ~x398654+2 ~x398653+1 ~x398652+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x458+2 x457+4 x456+8 x455+16 x454-0=62
23.48/23.57	c 16 ~x399170+8 ~x399169+4 ~x399168+2 ~x399167+1 ~x399166+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454-0=62
23.48/23.59	c 32 ~x399685+16 ~x399684+8 ~x399683+4 ~x399682+2 ~x399681+1 ~x399680+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x458+2 ~x457+4 ~x456+8 ~x455+16 ~x454-0=95
23.48/23.59	c 32 ~x400305+16 ~x400304+8 ~x400303+4 ~x400302+2 ~x400301+1 ~x400300+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x458+2 x457+4 x456+8 x455+16 x454-0=95
23.58/23.62	c 16 ~x400924+8 ~x400923+4 ~x400922+2 ~x400921+1 ~x400920+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x518+2 x517+4 x516+8 x515+16 x514-0=62
23.58/23.62	c 16 ~x401438+8 ~x401437+4 ~x401436+2 ~x401435+1 ~x401434+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514-0=62
23.58/23.65	c 32 ~x401953+16 ~x401952+8 ~x401951+4 ~x401950+2 ~x401949+1 ~x401948+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x518+2 ~x517+4 ~x516+8 ~x515+16 ~x514-0=95
23.58/23.65	c 32 ~x402573+16 ~x402572+8 ~x402571+4 ~x402570+2 ~x402569+1 ~x402568+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x518+2 x517+4 x516+8 x515+16 x514-0=95
23.58/23.66	c 16 ~x403192+8 ~x403191+4 ~x403190+2 ~x403189+1 ~x403188+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257+1 x22+2 x21+4 x20+8 x19+16 x18-0=62
23.58/23.69	c 16 ~x403706+8 ~x403705+4 ~x403704+2 ~x403703+1 ~x403702+1 x261+2 x260+4 x259+8 x258+16 x257+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=62
23.58/23.69	c 32 ~x404221+16 ~x404220+8 ~x404219+4 ~x404218+2 ~x404217+1 ~x404216+1 x261+2 x260+4 x259+8 x258+16 x257+1 ~x22+2 ~x21+4 ~x20+8 ~x19+16 ~x18-0=95
23.68/23.72	c 32 ~x404841+16 ~x404840+8 ~x404839+4 ~x404838+2 ~x404837+1 ~x404836+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257+1 x22+2 x21+4 x20+8 x19+16 x18-0=95
23.68/23.72	c 16 ~x405460+8 ~x405459+4 ~x405458+2 ~x405457+1 ~x405456+1 x301+2 x300+4 x299+8 x298+16 x297+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257-0=62
23.68/23.75	c 16 ~x405974+8 ~x405973+4 ~x405972+2 ~x405971+1 ~x405970+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297+1 x261+2 x260+4 x259+8 x258+16 x257-0=62
23.68/23.75	c 32 ~x406489+16 ~x406488+8 ~x406487+4 ~x406486+2 ~x406485+1 ~x406484+1 ~x301+2 ~x300+4 ~x299+8 ~x298+16 ~x297+1 x261+2 x260+4 x259+8 x258+16 x257-0=95
23.68/23.76	c 32 ~x407109+16 ~x407108+8 ~x407107+4 ~x407106+2 ~x407105+1 ~x407104+1 x301+2 x300+4 x299+8 x298+16 x297+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257-0=95
23.68/23.79	c 16 ~x407728+8 ~x407727+4 ~x407726+2 ~x407725+1 ~x407724+1 x345+2 x344+4 x343+8 x342+16 x341+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257-0=62
23.68/23.79	c 16 ~x408242+8 ~x408241+4 ~x408240+2 ~x408239+1 ~x408238+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341+1 x261+2 x260+4 x259+8 x258+16 x257-0=62
23.78/23.83	c 32 ~x408757+16 ~x408756+8 ~x408755+4 ~x408754+2 ~x408753+1 ~x408752+1 ~x345+2 ~x344+4 ~x343+8 ~x342+16 ~x341+1 x261+2 x260+4 x259+8 x258+16 x257-0=95
23.78/23.83	c 32 ~x409377+16 ~x409376+8 ~x409375+4 ~x409374+2 ~x409373+1 ~x409372+1 x345+2 x344+4 x343+8 x342+16 x341+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257-0=95
23.78/23.86	c 16 ~x409996+8 ~x409995+4 ~x409994+2 ~x409993+1 ~x409992+1 x384+2 x383+4 x382+8 x381+16 x380+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257-0=62
23.78/23.86	c 16 ~x410510+8 ~x410509+4 ~x410508+2 ~x410507+1 ~x410506+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380+1 x261+2 x260+4 x259+8 x258+16 x257-0=62
23.78/23.88	c 32 ~x411025+16 ~x411024+8 ~x411023+4 ~x411022+2 ~x411021+1 ~x411020+1 ~x384+2 ~x383+4 ~x382+8 ~x381+16 ~x380+1 x261+2 x260+4 x259+8 x258+16 x257-0=95
23.78/23.88	c 32 ~x411645+16 ~x411644+8 ~x411643+4 ~x411642+2 ~x411641+1 ~x411640+1 x384+2 x383+4 x382+8 x381+16 x380+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257-0=95
23.88/23.90	c 16 ~x412264+8 ~x412263+4 ~x412262+2 ~x412261+1 ~x412260+1 x595+2 x594+4 x593+8 x592+16 x591+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257-0=62
23.88/23.92	c 16 ~x412778+8 ~x412777+4 ~x412776+2 ~x412775+1 ~x412774+1 ~x595+2 ~x594+4 ~x593+8 ~x592+16 ~x591+1 x261+2 x260+4 x259+8 x258+16 x257-0=62
23.88/23.92	c 32 ~x413293+16 ~x413292+8 ~x413291+4 ~x413290+2 ~x413289+1 ~x413288+1 ~x595+2 ~x594+4 ~x593+8 ~x592+16 ~x591+1 x261+2 x260+4 x259+8 x258+16 x257-0=95
23.88/23.95	c 32 ~x413913+16 ~x413912+8 ~x413911+4 ~x413910+2 ~x413909+1 ~x413908+1 x595+2 x594+4 x593+8 x592+16 x591+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257-0=95
23.88/23.95	c 16 ~x414532+8 ~x414531+4 ~x414530+2 ~x414529+1 ~x414528+1 x602+2 x601+4 x600+8 x599+16 x598+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257-0=62
23.88/23.98	c 16 ~x415046+8 ~x415045+4 ~x415044+2 ~x415043+1 ~x415042+1 ~x602+2 ~x601+4 ~x600+8 ~x599+16 ~x598+1 x261+2 x260+4 x259+8 x258+16 x257-0=62
23.88/23.98	c 32 ~x415561+16 ~x415560+8 ~x415559+4 ~x415558+2 ~x415557+1 ~x415556+1 ~x602+2 ~x601+4 ~x600+8 ~x599+16 ~x598+1 x261+2 x260+4 x259+8 x258+16 x257-0=95
23.88/24.00	c 32 ~x416181+16 ~x416180+8 ~x416179+4 ~x416178+2 ~x416177+1 ~x416176+1 x602+2 x601+4 x600+8 x599+16 x598+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257-0=95
23.98/24.02	c 16 ~x416800+8 ~x416799+4 ~x416798+2 ~x416797+1 ~x416796+1 x609+2 x608+4 x607+8 x606+16 x605+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257-0=62
23.98/24.02	c 16 ~x417314+8 ~x417313+4 ~x417312+2 ~x417311+1 ~x417310+1 ~x609+2 ~x608+4 ~x607+8 ~x606+16 ~x605+1 x261+2 x260+4 x259+8 x258+16 x257-0=62
23.98/24.05	c 32 ~x417829+16 ~x417828+8 ~x417827+4 ~x417826+2 ~x417825+1 ~x417824+1 ~x609+2 ~x608+4 ~x607+8 ~x606+16 ~x605+1 x261+2 x260+4 x259+8 x258+16 x257-0=95
23.98/24.05	c 32 ~x418449+16 ~x418448+8 ~x418447+4 ~x418446+2 ~x418445+1 ~x418444+1 x609+2 x608+4 x607+8 x606+16 x605+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257-0=95
23.98/24.08	c 16 ~x419068+8 ~x419067+4 ~x419066+2 ~x419065+1 ~x419064+1 x616+2 x615+4 x614+8 x613+16 x612+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257-0=62
23.98/24.08	c 16 ~x419582+8 ~x419581+4 ~x419580+2 ~x419579+1 ~x419578+1 ~x616+2 ~x615+4 ~x614+8 ~x613+16 ~x612+1 x261+2 x260+4 x259+8 x258+16 x257-0=62
23.98/24.09	c 32 ~x420097+16 ~x420096+8 ~x420095+4 ~x420094+2 ~x420093+1 ~x420092+1 ~x616+2 ~x615+4 ~x614+8 ~x613+16 ~x612+1 x261+2 x260+4 x259+8 x258+16 x257-0=95
24.08/24.12	c 32 ~x420717+16 ~x420716+8 ~x420715+4 ~x420714+2 ~x420713+1 ~x420712+1 x616+2 x615+4 x614+8 x613+16 x612+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257-0=95
24.08/24.12	c 16 ~x421336+8 ~x421335+4 ~x421334+2 ~x421333+1 ~x421332+1 x261+2 x260+4 x259+8 x258+16 x257+1 ~x48+2 ~x47+4 ~x46+8 ~x45+16 ~x44-0=62
24.08/24.15	c 16 ~x421850+8 ~x421849+4 ~x421848+2 ~x421847+1 ~x421846+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257+1 x48+2 x47+4 x46+8 x45+16 x44-0=62
24.08/24.15	c 32 ~x422365+16 ~x422364+8 ~x422363+4 ~x422362+2 ~x422361+1 ~x422360+1 ~x261+2 ~x260+4 ~x259+8 ~x258+16 ~x257+1 x48+2 x47+4 x46+8 x45+16 x44-0=95
24.08/24.18	c 32 ~x422985+16 ~x422984+8 ~x422983+4 ~x422982+2 ~x422981+1 ~x422980+1 x261+2 x260+4 x259+8 x258+16 x257+1 ~x48+2 ~x47+4 ~x46+8 ~x45+16 ~x44-0=95
24.08/24.18	c 16 ~x423604+8 ~x423603+4 ~x423602+2 ~x423601+1 ~x423600+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x68+2 x67+4 x66+8 x65+16 x64-0=61
24.08/24.19	c 32 ~x424119+16 ~x424118+8 ~x424117+4 ~x424116+2 ~x424115+1 ~x424114+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
24.19/24.22	c 32 ~x424739+16 ~x424738+8 ~x424737+4 ~x424736+2 ~x424735+1 ~x424734+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=96
24.19/24.22	c 16 ~x425358+8 ~x425357+4 ~x425356+2 ~x425355+1 ~x425354+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
24.19/24.25	c 16 ~x425872+8 ~x425871+4 ~x425870+2 ~x425869+1 ~x425868+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x422+2 x421+4 x420+8 x419+16 x418-0=61
24.19/24.25	c 32 ~x426387+16 ~x426386+8 ~x426385+4 ~x426384+2 ~x426383+1 ~x426382+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=95
24.19/24.28	c 32 ~x427007+16 ~x427006+8 ~x427005+4 ~x427004+2 ~x427003+1 ~x427002+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=96
24.19/24.28	c 16 ~x427626+8 ~x427625+4 ~x427624+2 ~x427623+1 ~x427622+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x422+2 x421+4 x420+8 x419+16 x418-0=62
24.28/24.30	c 32 ~x428141+16 ~x428140+8 ~x428139+4 ~x428138+2 ~x428137+1 ~x428136+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x68+2 x67+4 x66+8 x65+16 x64-0=95
24.28/24.30	c 16 ~x428760+8 ~x428759+4 ~x428758+2 ~x428757+1 ~x428756+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=61
24.28/24.32	c 16 ~x429274+8 ~x429273+4 ~x429272+2 ~x429271+1 ~x429270+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=62
24.28/24.35	c 32 ~x429789+16 ~x429788+8 ~x429787+4 ~x429786+2 ~x429785+1 ~x429784+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x68+2 x67+4 x66+8 x65+16 x64-0=96
24.28/24.35	c 32 ~x430409+16 ~x430408+8 ~x430407+4 ~x430406+2 ~x430405+1 ~x430404+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x422+2 x421+4 x420+8 x419+16 x418-0=95
24.28/24.37	c 16 ~x431028+8 ~x431027+4 ~x431026+2 ~x431025+1 ~x431024+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=61
24.28/24.37	c 16 ~x431542+8 ~x431541+4 ~x431540+2 ~x431539+1 ~x431538+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=62
24.38/24.40	c 32 ~x432057+16 ~x432056+8 ~x432055+4 ~x432054+2 ~x432053+1 ~x432052+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x422+2 x421+4 x420+8 x419+16 x418-0=96
24.38/24.40	c 16 ~x432676+8 ~x432675+4 ~x432674+2 ~x432673+1 ~x432672+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x68+2 x67+4 x66+8 x65+16 x64-0=62
24.38/24.43	c 16 ~x433190+8 ~x433189+4 ~x433188+2 ~x433187+1 ~x433186+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=62
24.38/24.43	c 32 ~x433705+16 ~x433704+8 ~x433703+4 ~x433702+2 ~x433701+1 ~x433700+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x68+2 ~x67+4 ~x66+8 ~x65+16 ~x64-0=95
24.38/24.44	c 32 ~x434325+16 ~x434324+8 ~x434323+4 ~x434322+2 ~x434321+1 ~x434320+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x68+2 x67+4 x66+8 x65+16 x64-0=95
24.38/24.47	c 16 ~x434944+8 ~x434943+4 ~x434942+2 ~x434941+1 ~x434940+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x422+2 x421+4 x420+8 x419+16 x418-0=62
24.38/24.47	c 16 ~x435458+8 ~x435457+4 ~x435456+2 ~x435455+1 ~x435454+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=62
24.48/24.50	c 32 ~x435973+16 ~x435972+8 ~x435971+4 ~x435970+2 ~x435969+1 ~x435968+1 x574+2 x573+4 x572+8 x571+16 x570+1 ~x422+2 ~x421+4 ~x420+8 ~x419+16 ~x418-0=95
24.48/24.50	c 32 ~x436593+16 ~x436592+8 ~x436591+4 ~x436590+2 ~x436589+1 ~x436588+1 ~x574+2 ~x573+4 ~x572+8 ~x571+16 ~x570+1 x422+2 x421+4 x420+8 x419+16 x418-0=95
27.08/27.20	c Calling SatSolver
27.08/27.20	c Var= 437210 Clauses=1304185
27.08/27.20	s UNSATISFIABLE

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

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


[startup+0 s]
/proc/loadavg: 0.96 0.97 0.99 3/105 23899
/proc/meminfo: memFree=1864632/2059040 swapFree=4139740/4192956
[pid=23899] ppid=23897 vsize=8700 CPUtime=0
/proc/23899/stat : 23899 (run) S 23897 23899 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20471924 8908800 251 1992294400 4194304 4922060 140736875274064 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23899/statm: 2175 251 211 178 0 68 0

[startup+0.018134 s]
/proc/loadavg: 0.96 0.97 0.99 3/105 23899
/proc/meminfo: memFree=1864632/2059040 swapFree=4139740/4192956
[pid=23899] ppid=23897 vsize=8700 CPUtime=0
/proc/23899/stat : 23899 (run) S 23897 23899 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20471924 8908800 251 1992294400 4194304 4922060 140736875274064 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23899/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101143 s]
/proc/loadavg: 0.96 0.97 0.99 3/105 23899
/proc/meminfo: memFree=1864632/2059040 swapFree=4139740/4192956
[pid=23899] ppid=23897 vsize=8700 CPUtime=0
/proc/23899/stat : 23899 (run) S 23897 23899 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20471924 8908800 251 1992294400 4194304 4922060 140736875274064 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23899/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301164 s]
/proc/loadavg: 0.96 0.97 0.99 3/105 23899
/proc/meminfo: memFree=1864632/2059040 swapFree=4139740/4192956
[pid=23899] ppid=23897 vsize=8700 CPUtime=0
/proc/23899/stat : 23899 (run) S 23897 23899 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20471924 8908800 251 1992294400 4194304 4922060 140736875274064 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23899/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701209 s]
/proc/loadavg: 0.96 0.97 0.99 3/105 23899
/proc/meminfo: memFree=1864632/2059040 swapFree=4139740/4192956
[pid=23899] ppid=23897 vsize=8700 CPUtime=0
/proc/23899/stat : 23899 (run) S 23897 23899 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20471924 8908800 251 1992294400 4194304 4922060 140736875274064 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23899/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50129 s]
/proc/loadavg: 0.96 0.97 0.99 2/107 23902
/proc/meminfo: memFree=1646004/2059040 swapFree=4139740/4192956
[pid=23899] ppid=23897 vsize=8700 CPUtime=0
/proc/23899/stat : 23899 (run) S 23897 23899 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20471924 8908800 251 1992294400 4194304 4922060 140736875274064 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23899/statm: 2175 251 211 178 0 68 0
[pid=23901] ppid=23899 vsize=319908 CPUtime=1.49
/proc/23901/stat : 23901 (PBPASSolver) R 23899 23899 23478 0 -1 4202496 79441 0 0 0 61 88 0 0 25 0 1 0 20471924 327585792 79380 1992294400 134512640 134902295 4291484736 18446744073709551615 134586919 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23901/statm: 79977 79382 256 96 0 79189 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 328608

[startup+3.10047 s]
/proc/loadavg: 0.96 0.97 0.99 2/107 23902
/proc/meminfo: memFree=1434832/2059040 swapFree=4139740/4192956
[pid=23899] ppid=23897 vsize=8700 CPUtime=0
/proc/23899/stat : 23899 (run) S 23897 23899 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20471924 8908800 251 1992294400 4194304 4922060 140736875274064 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23899/statm: 2175 251 211 178 0 68 0
[pid=23901] ppid=23899 vsize=606052 CPUtime=3.08
/proc/23901/stat : 23901 (PBPASSolver) R 23899 23899 23478 0 -1 4202496 150977 0 0 0 140 168 0 0 25 0 1 0 20471924 620597248 150915 1992294400 134512640 134902295 4291484736 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23901/statm: 151513 150918 256 96 0 150725 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 614752

[startup+6.30082 s]
/proc/loadavg: 0.96 0.97 0.99 2/107 23902
/proc/meminfo: memFree=1049564/2059040 swapFree=4139740/4192956
[pid=23899] ppid=23897 vsize=8700 CPUtime=0
/proc/23899/stat : 23899 (run) S 23897 23899 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20471924 8908800 251 1992294400 4194304 4922060 140736875274064 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23899/statm: 2175 251 211 178 0 68 0
[pid=23901] ppid=23899 vsize=835996 CPUtime=6.29
/proc/23901/stat : 23901 (PBPASSolver) R 23899 23899 23478 0 -1 4202496 208411 0 0 0 405 224 0 0 25 0 1 0 20471924 856059904 208349 1992294400 134512640 134902295 4291484736 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23901/statm: 208999 208349 261 96 0 208211 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 844696

[startup+12.7005 s]
/proc/loadavg: 0.96 0.97 0.99 2/107 23904
/proc/meminfo: memFree=945900/2059040 swapFree=4139740/4192956
[pid=23899] ppid=23897 vsize=8700 CPUtime=0
/proc/23899/stat : 23899 (run) S 23897 23899 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20471924 8908800 251 1992294400 4194304 4922060 140736875274064 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23899/statm: 2175 251 211 178 0 68 0
[pid=23901] ppid=23899 vsize=929024 CPUtime=12.68
/proc/23901/stat : 23901 (PBPASSolver) R 23899 23899 23478 0 -1 4202496 231589 0 0 0 1035 233 0 0 25 0 1 0 20471924 951320576 231527 1992294400 134512640 134902295 4291484736 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23901/statm: 232256 231527 261 96 0 231468 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 937724

[startup+25.5009 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 23904
/proc/meminfo: memFree=757048/2059040 swapFree=4139740/4192956
[pid=23899] ppid=23897 vsize=8700 CPUtime=0
/proc/23899/stat : 23899 (run) S 23897 23899 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20471924 8908800 251 1992294400 4194304 4922060 140736875274064 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23899/statm: 2175 251 211 178 0 68 0
[pid=23901] ppid=23899 vsize=1113520 CPUtime=25.48
/proc/23901/stat : 23901 (PBPASSolver) R 23899 23899 23478 0 -1 4202496 282412 0 0 0 2296 252 0 0 25 0 1 0 20471924 1140244480 276469 1992294400 134512640 134902295 4291484736 18446744073709551615 4160321882 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23901/statm: 278380 276469 266 96 0 277592 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1122220

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

[startup+26.301 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 23904
/proc/meminfo: memFree=756924/2059040 swapFree=4139740/4192956
[pid=23899] ppid=23897 vsize=8700 CPUtime=0
/proc/23899/stat : 23899 (run) S 23897 23899 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20471924 8908800 251 1992294400 4194304 4922060 140736875274064 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23899/statm: 2175 251 211 178 0 68 0
[pid=23901] ppid=23899 vsize=1113520 CPUtime=26.29
/proc/23901/stat : 23901 (PBPASSolver) R 23899 23899 23478 0 -1 4202496 282425 0 0 0 2377 252 0 0 25 0 1 0 20471924 1140244480 276482 1992294400 134512640 134902295 4291484736 18446744073709551615 4160322028 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23901/statm: 278380 276482 269 96 0 277592 0
Current children cumulated CPU time (s) 26.29
Current children cumulated vsize (KiB) 1122220

[startup+26.7011 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 23904
/proc/meminfo: memFree=756924/2059040 swapFree=4139740/4192956
[pid=23899] ppid=23897 vsize=8700 CPUtime=0
/proc/23899/stat : 23899 (run) S 23897 23899 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20471924 8908800 251 1992294400 4194304 4922060 140736875274064 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23899/statm: 2175 251 211 178 0 68 0
[pid=23901] ppid=23899 vsize=127440 CPUtime=26.68
/proc/23901/stat : 23901 (PBPASSolver) R 23899 23899 23478 0 -1 4202496 282425 0 0 0 2405 263 0 0 25 0 1 0 20471924 130498560 29991 1992294400 134512640 134902295 4291484736 18446744073709551615 134566744 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23901/statm: 31860 29991 269 96 0 31072 0
Current children cumulated CPU time (s) 26.68
Current children cumulated vsize (KiB) 136140

[startup+27.1011 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 23904
/proc/meminfo: memFree=756924/2059040 swapFree=4139740/4192956
[pid=23899] ppid=23897 vsize=8700 CPUtime=0
/proc/23899/stat : 23899 (run) S 23897 23899 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20471924 8908800 251 1992294400 4194304 4922060 140736875274064 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23899/statm: 2175 251 211 178 0 68 0
[pid=23901] ppid=23899 vsize=80996 CPUtime=27.08
/proc/23901/stat : 23901 (PBPASSolver) R 23899 23899 23478 0 -1 4202496 282425 0 0 0 2444 264 0 0 25 0 1 0 20471924 82939904 18532 1992294400 134512640 134902295 4291484736 18446744073709551615 4160328616 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23901/statm: 20249 18532 269 96 0 19461 0
Current children cumulated CPU time (s) 27.08
Current children cumulated vsize (KiB) 89696

[startup+27.2012 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 23904
/proc/meminfo: memFree=756924/2059040 swapFree=4139740/4192956
[pid=23899] ppid=23897 vsize=8700 CPUtime=0
/proc/23899/stat : 23899 (run) S 23897 23899 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20471924 8908800 251 1992294400 4194304 4922060 140736875274064 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23899/statm: 2175 251 211 178 0 68 0
[pid=23901] ppid=23899 vsize=0 CPUtime=27.18
/proc/23901/stat : 23901 (PBPASSolver) R 23899 23899 23478 0 -1 4202500 282457 0 0 0 2454 264 0 0 25 0 1 0 20471924 0 0 1992294400 0 0 0 0 0 0 0 4096 17608 18446744073709551615 0 0 17 1 0 0 0
/proc/23901/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 27.18
Current children cumulated vsize (KiB) 8700

Child status: 0
Real time (s): 27.2023
CPU time (s): 27.1949
CPU user time (s): 24.5433
CPU system time (s): 2.6516
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1122220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.5433
system time used= 2.6516
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282988
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= 6
involuntary context switches= 84

runsolver used 0.047992 second user time and 0.146977 second system time

The end

Begin job on node087 at 2010-06-17 18:23:04
IDJOB=2674523
IDBENCH=1455
IDSOLVER=1174
FILE ID=node087/2674523-1276791784
PBS_JOBID= 11176608
Free space on /tmp= 62552 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674523-1276791784/watcher-2674523-1276791784 -o /tmp/evaluation-result-2674523-1276791784/solver-2674523-1276791784 -C 1800 -W 2000 -M 1800  run HOME/instance-2674523-1276791784.opb

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

MD5SUM BENCH= e5e9e70aacd6f12ca1d11bb54ad048ed
RANDOM SEED=1458133285

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1865152 kB
Buffers:         24248 kB
Cached:          80692 kB
SwapCached:       5944 kB
Active:          21172 kB
Inactive:        96496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1865152 kB
SwapTotal:     4192956 kB
SwapFree:      4139740 kB
Dirty:            1200 kB
Writeback:           0 kB
AnonPages:       10836 kB
Mapped:          13008 kB
Slab:            54488 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180512 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62552 MiB
End job on node087 at 2010-06-17 18:23:31