9.38/9.47	c 18384 1752 0 0 0 0 0 0
9.38/9.47	c 2 ~x18387+1 ~x18386+2 ~x14427+1 ~x14426-0=6
9.38/9.47	c 2 ~x18415+1 ~x18414+2 ~x14499+1 ~x14498-0=6
9.38/9.47	c 2 ~x18445+1 ~x18444+2 ~x14430+1 ~x14429-0=6
9.38/9.47	c 2 ~x18473+1 ~x18472+2 ~x14502+1 ~x14501-0=6
9.38/9.47	c 2 ~x18503+1 ~x18502+2 ~x14433+1 ~x14432-0=6
9.38/9.47	c 2 ~x18531+1 ~x18530+2 ~x14505+1 ~x14504-0=6
9.38/9.48	c 2 ~x18561+1 ~x18560+2 ~x14436+1 ~x14435-0=6
9.38/9.48	c 2 ~x18589+1 ~x18588+2 ~x14508+1 ~x14507-0=6
9.38/9.48	c 2 ~x18619+1 ~x18618+2 ~x14439+1 ~x14438-0=6
9.38/9.48	c 2 ~x18647+1 ~x18646+2 ~x14511+1 ~x14510-0=6
9.38/9.48	c 2 ~x18677+1 ~x18676+2 ~x14442+1 ~x14441-0=6
9.38/9.49	c 2 ~x18705+1 ~x18704+2 ~x14514+1 ~x14513-0=6
9.38/9.49	c 2 ~x18735+1 ~x18734+2 ~x14445+1 ~x14444-0=6
9.38/9.49	c 2 ~x18763+1 ~x18762+2 ~x14517+1 ~x14516-0=6
9.38/9.49	c 2 ~x18793+1 ~x18792+2 ~x14448+1 ~x14447-0=6
9.38/9.49	c 2 ~x18821+1 ~x18820+2 ~x14520+1 ~x14519-0=6
9.38/9.49	c 2 ~x18851+1 ~x18850+2 ~x14451+1 ~x14450-0=6
9.48/9.50	c 2 ~x18879+1 ~x18878+2 ~x14523+1 ~x14522-0=6
9.48/9.50	c 2 ~x18909+1 ~x18908+2 ~x14454+1 ~x14453-0=6
9.48/9.50	c 2 ~x18937+1 ~x18936+2 ~x14526+1 ~x14525-0=6
9.48/9.50	c 2 ~x18967+1 ~x18966+2 ~x14457+1 ~x14456-0=6
9.48/9.50	c 2 ~x18995+1 ~x18994+2 ~x14529+1 ~x14528-0=6
9.48/9.52	c 2 ~x19025+1 ~x19024+2 ~x14460+1 ~x14459-0=6
9.48/9.52	c 2 ~x19053+1 ~x19052+2 ~x14532+1 ~x14531-0=6
9.48/9.52	c 2 ~x19083+1 ~x19082+2 ~x14463+1 ~x14462-0=6
9.48/9.52	c 2 ~x19111+1 ~x19110+2 ~x14535+1 ~x14534-0=6
9.48/9.52	c 2 ~x19141+1 ~x19140+2 ~x14466+1 ~x14465-0=6
9.48/9.52	c 2 ~x19169+1 ~x19168+2 ~x14538+1 ~x14537-0=6
9.48/9.53	c 2 ~x19199+1 ~x19198+2 ~x14469+1 ~x14468-0=6
9.48/9.53	c 2 ~x19227+1 ~x19226+2 ~x14541+1 ~x14540-0=6
9.48/9.53	c 2 ~x19257+1 ~x19256+2 ~x14472+1 ~x14471-0=6
9.48/9.53	c 2 ~x19285+1 ~x19284+2 ~x14544+1 ~x14543-0=6
9.48/9.53	c 2 ~x19315+1 ~x19314+2 ~x14475+1 ~x14474-0=6
9.48/9.56	c 2 ~x19343+1 ~x19342+2 ~x14547+1 ~x14546-0=6
9.48/9.56	c 2 ~x19373+1 ~x19372+2 ~x14478+1 ~x14477-0=6
9.48/9.56	c 2 ~x19401+1 ~x19400+2 ~x14550+1 ~x14549-0=6
9.48/9.56	c 2 ~x19431+1 ~x19430+2 ~x14481+1 ~x14480-0=6
9.48/9.56	c 2 ~x19459+1 ~x19458+2 ~x14553+1 ~x14552-0=6
9.48/9.56	c 2 ~x19489+1 ~x19488+2 ~x14484+1 ~x14483-0=6
9.48/9.58	c 2 ~x19517+1 ~x19516+2 ~x14556+1 ~x14555-0=6
9.48/9.58	c 2 ~x19547+1 ~x19546+2 ~x14487+1 ~x14486-0=6
9.48/9.58	c 2 ~x19575+1 ~x19574+2 ~x14559+1 ~x14558-0=6
9.48/9.58	c 2 ~x19605+1 ~x19604+2 ~x14490+1 ~x14489-0=6
9.48/9.58	c 2 ~x19633+1 ~x19632+2 ~x14562+1 ~x14561-0=6
9.48/9.60	c 2 ~x19663+1 ~x19662+2 ~x14493+1 ~x14492-0=6
9.48/9.60	c 2 ~x19691+1 ~x19690+2 ~x14565+1 ~x14564-0=6
9.48/9.60	c 2 ~x19721+1 ~x19720+2 ~x14496+1 ~x14495-0=6
9.48/9.60	c 2 ~x19749+1 ~x19748+2 ~x14568+1 ~x14567-0=6
9.48/9.60	c 512 ~x19787+256 ~x19786+128 ~x19785+64 ~x19784+32 ~x19783+16 ~x19782+8 ~x19781+4 ~x19780+2 ~x19779+1 ~x19778+512 ~x16451+256 ~x16450+128 ~x16449+64 ~x16448+32 ~x16447+16 ~x16446+8 ~x16445+4 ~x16444+2 ~x16443+1 ~x16442-0=2046
9.59/9.63	c 512 ~x21089+256 ~x21088+128 ~x21087+64 ~x21086+32 ~x21085+16 ~x21084+8 ~x21083+4 ~x21082+2 ~x21081+1 ~x21080+512 ~x17267+256 ~x17266+128 ~x17265+64 ~x17264+32 ~x17263+16 ~x17262+8 ~x17261+4 ~x17260+2 ~x17259+1 ~x17258-0=2046
9.59/9.66	c 512 ~x22391+256 ~x22390+128 ~x22389+64 ~x22388+32 ~x22387+16 ~x22386+8 ~x22385+4 ~x22384+2 ~x22383+1 ~x22382+512 ~x15011+256 ~x15010+128 ~x15009+64 ~x15008+32 ~x15007+16 ~x15006+8 ~x15005+4 ~x15004+2 ~x15003+1 ~x15002-0=2046
9.59/9.70	c 512 ~x23693+256 ~x23692+128 ~x23691+64 ~x23690+32 ~x23689+16 ~x23688+8 ~x23687+4 ~x23686+2 ~x23685+1 ~x23684+512 ~x16715+256 ~x16714+128 ~x16713+64 ~x16712+32 ~x16711+16 ~x16710+8 ~x16709+4 ~x16708+2 ~x16707+1 ~x16706-0=2046
9.68/9.73	c 512 ~x24995+256 ~x24994+128 ~x24993+64 ~x24992+32 ~x24991+16 ~x24990+8 ~x24989+4 ~x24988+2 ~x24987+1 ~x24986+512 ~x17531+256 ~x17530+128 ~x17529+64 ~x17528+32 ~x17527+16 ~x17526+8 ~x17525+4 ~x17524+2 ~x17523+1 ~x17522-0=2046
9.68/9.77	c 2048 ~x26299+1024 ~x26298+512 ~x26297+256 ~x26296+128 ~x26295+64 ~x26294+32 ~x26293+16 ~x26292+8 ~x26291+4 ~x26290+2 ~x26289+1 ~x26288+2048 ~x15277+1024 ~x15276+512 ~x15275+256 ~x15274+128 ~x15273+64 ~x15272+32 ~x15271+16 ~x15270+8 ~x15269+4 ~x15268+2 ~x15267+1 ~x15266-0=8190
9.78/9.82	c 512 ~x28435+256 ~x28434+128 ~x28433+64 ~x28432+32 ~x28431+16 ~x28430+8 ~x28429+4 ~x28428+2 ~x28427+1 ~x28426+512 ~x16979+256 ~x16978+128 ~x16977+64 ~x16976+32 ~x16975+16 ~x16974+8 ~x16973+4 ~x16972+2 ~x16971+1 ~x16970-0=2046
9.78/9.86	c 512 ~x29737+256 ~x29736+128 ~x29735+64 ~x29734+32 ~x29733+16 ~x29732+8 ~x29731+4 ~x29730+2 ~x29729+1 ~x29728+512 ~x17819+256 ~x17818+128 ~x17817+64 ~x17816+32 ~x17815+16 ~x17814+8 ~x17813+4 ~x17812+2 ~x17811+1 ~x17810-0=2046
9.89/9.91	c 2048 ~x31041+1024 ~x31040+512 ~x31039+256 ~x31038+128 ~x31037+64 ~x31036+32 ~x31035+16 ~x31034+8 ~x31033+4 ~x31032+2 ~x31031+1 ~x31030+2048 ~x15589+1024 ~x15588+512 ~x15587+256 ~x15586+128 ~x15585+64 ~x15584+32 ~x15583+16 ~x15582+8 ~x15581+4 ~x15580+2 ~x15579+1 ~x15578-0=8190
9.89/9.96	c 1024 ~x33178+512 ~x33177+256 ~x33176+128 ~x33175+64 ~x33174+32 ~x33173+16 ~x33172+8 ~x33171+4 ~x33170+2 ~x33169+1 ~x33168+1024 ~x18108+512 ~x18107+256 ~x18106+128 ~x18105+64 ~x18104+32 ~x18103+16 ~x18102+8 ~x18101+4 ~x18100+2 ~x18099+1 ~x18098-0=4094
9.99/10.04	c 512 ~x34916+256 ~x34915+128 ~x34914+64 ~x34913+32 ~x34912+16 ~x34911+8 ~x34910+4 ~x34909+2 ~x34908+1 ~x34907+512 ~x15899+256 ~x15898+128 ~x15897+64 ~x15896+32 ~x15895+16 ~x15894+8 ~x15893+4 ~x15892+2 ~x15891+1 ~x15890-0=2046
9.99/10.04	c 1024 ~x36219+512 ~x36218+256 ~x36217+128 ~x36216+64 ~x36215+32 ~x36214+16 ~x36213+8 ~x36212+4 ~x36211+2 ~x36210+1 ~x36209+1024 ~x16164+512 ~x16163+256 ~x16162+128 ~x16161+64 ~x16160+32 ~x16159+16 ~x16158+8 ~x16157+4 ~x16156+2 ~x16155+1 ~x16154-0=4094
9.99/10.08	c 512 ~x37957+256 ~x37956+128 ~x37955+64 ~x37954+32 ~x37953+16 ~x37952+8 ~x37951+4 ~x37950+2 ~x37949+1 ~x37948+512 ~x16462+256 ~x16461+128 ~x16460+64 ~x16459+32 ~x16458+16 ~x16457+8 ~x16456+4 ~x16455+2 ~x16454+1 ~x16453-0=2046
10.08/10.12	c 512 ~x39259+256 ~x39258+128 ~x39257+64 ~x39256+32 ~x39255+16 ~x39254+8 ~x39253+4 ~x39252+2 ~x39251+1 ~x39250+512 ~x17278+256 ~x17277+128 ~x17276+64 ~x17275+32 ~x17274+16 ~x17273+8 ~x17272+4 ~x17271+2 ~x17270+1 ~x17269-0=2046
10.08/10.15	c 512 ~x40561+256 ~x40560+128 ~x40559+64 ~x40558+32 ~x40557+16 ~x40556+8 ~x40555+4 ~x40554+2 ~x40553+1 ~x40552+512 ~x15022+256 ~x15021+128 ~x15020+64 ~x15019+32 ~x15018+16 ~x15017+8 ~x15016+4 ~x15015+2 ~x15014+1 ~x15013-0=2046
10.08/10.18	c 512 ~x41863+256 ~x41862+128 ~x41861+64 ~x41860+32 ~x41859+16 ~x41858+8 ~x41857+4 ~x41856+2 ~x41855+1 ~x41854+512 ~x16726+256 ~x16725+128 ~x16724+64 ~x16723+32 ~x16722+16 ~x16721+8 ~x16720+4 ~x16719+2 ~x16718+1 ~x16717-0=2046
10.18/10.21	c 512 ~x43165+256 ~x43164+128 ~x43163+64 ~x43162+32 ~x43161+16 ~x43160+8 ~x43159+4 ~x43158+2 ~x43157+1 ~x43156+512 ~x17543+256 ~x17542+128 ~x17541+64 ~x17540+32 ~x17539+16 ~x17538+8 ~x17537+4 ~x17536+2 ~x17535+1 ~x17534-0=2046
10.18/10.25	c 2048 ~x44469+1024 ~x44468+512 ~x44467+256 ~x44466+128 ~x44465+64 ~x44464+32 ~x44463+16 ~x44462+8 ~x44461+4 ~x44460+2 ~x44459+1 ~x44458+2048 ~x15290+1024 ~x15289+512 ~x15288+256 ~x15287+128 ~x15286+64 ~x15285+32 ~x15284+16 ~x15283+8 ~x15282+4 ~x15281+2 ~x15280+1 ~x15279-0=8190
10.28/10.30	c 512 ~x46605+256 ~x46604+128 ~x46603+64 ~x46602+32 ~x46601+16 ~x46600+8 ~x46599+4 ~x46598+2 ~x46597+1 ~x46596+512 ~x16991+256 ~x16990+128 ~x16989+64 ~x16988+32 ~x16987+16 ~x16986+8 ~x16985+4 ~x16984+2 ~x16983+1 ~x16982-0=2046
10.28/10.33	c 512 ~x47907+256 ~x47906+128 ~x47905+64 ~x47904+32 ~x47903+16 ~x47902+8 ~x47901+4 ~x47900+2 ~x47899+1 ~x47898+512 ~x17831+256 ~x17830+128 ~x17829+64 ~x17828+32 ~x17827+16 ~x17826+8 ~x17825+4 ~x17824+2 ~x17823+1 ~x17822-0=2046
10.28/10.37	c 2048 ~x49211+1024 ~x49210+512 ~x49209+256 ~x49208+128 ~x49207+64 ~x49206+32 ~x49205+16 ~x49204+8 ~x49203+4 ~x49202+2 ~x49201+1 ~x49200+2048 ~x15602+1024 ~x15601+512 ~x15600+256 ~x15599+128 ~x15598+64 ~x15597+32 ~x15596+16 ~x15595+8 ~x15594+4 ~x15593+2 ~x15592+1 ~x15591-0=8190
10.38/10.42	c 1024 ~x51348+512 ~x51347+256 ~x51346+128 ~x51345+64 ~x51344+32 ~x51343+16 ~x51342+8 ~x51341+4 ~x51340+2 ~x51339+1 ~x51338+1024 ~x18120+512 ~x18119+256 ~x18118+128 ~x18117+64 ~x18116+32 ~x18115+16 ~x18114+8 ~x18113+4 ~x18112+2 ~x18111+1 ~x18110-0=4094
10.38/10.46	c 512 ~x53086+256 ~x53085+128 ~x53084+64 ~x53083+32 ~x53082+16 ~x53081+8 ~x53080+4 ~x53079+2 ~x53078+1 ~x53077+512 ~x15910+256 ~x15909+128 ~x15908+64 ~x15907+32 ~x15906+16 ~x15905+8 ~x15904+4 ~x15903+2 ~x15902+1 ~x15901-0=2046
10.48/10.50	c 1024 ~x54389+512 ~x54388+256 ~x54387+128 ~x54386+64 ~x54385+32 ~x54384+16 ~x54383+8 ~x54382+4 ~x54381+2 ~x54380+1 ~x54379+1024 ~x16176+512 ~x16175+256 ~x16174+128 ~x16173+64 ~x16172+32 ~x16171+16 ~x16170+8 ~x16169+4 ~x16168+2 ~x16167+1 ~x16166-0=4094
10.48/10.54	c 512 ~x56127+256 ~x56126+128 ~x56125+64 ~x56124+32 ~x56123+16 ~x56122+8 ~x56121+4 ~x56120+2 ~x56119+1 ~x56118+512 ~x16473+256 ~x16472+128 ~x16471+64 ~x16470+32 ~x16469+16 ~x16468+8 ~x16467+4 ~x16466+2 ~x16465+1 ~x16464-0=2046
10.58/10.61	c 512 ~x57429+256 ~x57428+128 ~x57427+64 ~x57426+32 ~x57425+16 ~x57424+8 ~x57423+4 ~x57422+2 ~x57421+1 ~x57420+512 ~x17289+256 ~x17288+128 ~x17287+64 ~x17286+32 ~x17285+16 ~x17284+8 ~x17283+4 ~x17282+2 ~x17281+1 ~x17280-0=2046
10.58/10.61	c 512 ~x58731+256 ~x58730+128 ~x58729+64 ~x58728+32 ~x58727+16 ~x58726+8 ~x58725+4 ~x58724+2 ~x58723+1 ~x58722+512 ~x15033+256 ~x15032+128 ~x15031+64 ~x15030+32 ~x15029+16 ~x15028+8 ~x15027+4 ~x15026+2 ~x15025+1 ~x15024-0=2046
10.58/10.64	c 512 ~x60033+256 ~x60032+128 ~x60031+64 ~x60030+32 ~x60029+16 ~x60028+8 ~x60027+4 ~x60026+2 ~x60025+1 ~x60024+512 ~x16737+256 ~x16736+128 ~x16735+64 ~x16734+32 ~x16733+16 ~x16732+8 ~x16731+4 ~x16730+2 ~x16729+1 ~x16728-0=2046
10.58/10.67	c 512 ~x61335+256 ~x61334+128 ~x61333+64 ~x61332+32 ~x61331+16 ~x61330+8 ~x61329+4 ~x61328+2 ~x61327+1 ~x61326+512 ~x17555+256 ~x17554+128 ~x17553+64 ~x17552+32 ~x17551+16 ~x17550+8 ~x17549+4 ~x17548+2 ~x17547+1 ~x17546-0=2046
10.68/10.71	c 2048 ~x62639+1024 ~x62638+512 ~x62637+256 ~x62636+128 ~x62635+64 ~x62634+32 ~x62633+16 ~x62632+8 ~x62631+4 ~x62630+2 ~x62629+1 ~x62628+2048 ~x15303+1024 ~x15302+512 ~x15301+256 ~x15300+128 ~x15299+64 ~x15298+32 ~x15297+16 ~x15296+8 ~x15295+4 ~x15294+2 ~x15293+1 ~x15292-0=8190
10.68/10.76	c 512 ~x64775+256 ~x64774+128 ~x64773+64 ~x64772+32 ~x64771+16 ~x64770+8 ~x64769+4 ~x64768+2 ~x64767+1 ~x64766+512 ~x17003+256 ~x17002+128 ~x17001+64 ~x17000+32 ~x16999+16 ~x16998+8 ~x16997+4 ~x16996+2 ~x16995+1 ~x16994-0=2046
10.68/10.79	c 512 ~x66077+256 ~x66076+128 ~x66075+64 ~x66074+32 ~x66073+16 ~x66072+8 ~x66071+4 ~x66070+2 ~x66069+1 ~x66068+512 ~x17843+256 ~x17842+128 ~x17841+64 ~x17840+32 ~x17839+16 ~x17838+8 ~x17837+4 ~x17836+2 ~x17835+1 ~x17834-0=2046
10.78/10.83	c 2048 ~x67381+1024 ~x67380+512 ~x67379+256 ~x67378+128 ~x67377+64 ~x67376+32 ~x67375+16 ~x67374+8 ~x67373+4 ~x67372+2 ~x67371+1 ~x67370+2048 ~x15615+1024 ~x15614+512 ~x15613+256 ~x15612+128 ~x15611+64 ~x15610+32 ~x15609+16 ~x15608+8 ~x15607+4 ~x15606+2 ~x15605+1 ~x15604-0=8190
10.78/10.88	c 1024 ~x69518+512 ~x69517+256 ~x69516+128 ~x69515+64 ~x69514+32 ~x69513+16 ~x69512+8 ~x69511+4 ~x69510+2 ~x69509+1 ~x69508+1024 ~x18132+512 ~x18131+256 ~x18130+128 ~x18129+64 ~x18128+32 ~x18127+16 ~x18126+8 ~x18125+4 ~x18124+2 ~x18123+1 ~x18122-0=4094
10.88/10.92	c 512 ~x71256+256 ~x71255+128 ~x71254+64 ~x71253+32 ~x71252+16 ~x71251+8 ~x71250+4 ~x71249+2 ~x71248+1 ~x71247+512 ~x15921+256 ~x15920+128 ~x15919+64 ~x15918+32 ~x15917+16 ~x15916+8 ~x15915+4 ~x15914+2 ~x15913+1 ~x15912-0=2046
10.88/10.96	c 1024 ~x72559+512 ~x72558+256 ~x72557+128 ~x72556+64 ~x72555+32 ~x72554+16 ~x72553+8 ~x72552+4 ~x72551+2 ~x72550+1 ~x72549+1024 ~x16188+512 ~x16187+256 ~x16186+128 ~x16185+64 ~x16184+32 ~x16183+16 ~x16182+8 ~x16181+4 ~x16180+2 ~x16179+1 ~x16178-0=4094
10.99/11.00	c 512 ~x74297+256 ~x74296+128 ~x74295+64 ~x74294+32 ~x74293+16 ~x74292+8 ~x74291+4 ~x74290+2 ~x74289+1 ~x74288+512 ~x16484+256 ~x16483+128 ~x16482+64 ~x16481+32 ~x16480+16 ~x16479+8 ~x16478+4 ~x16477+2 ~x16476+1 ~x16475-0=2046
10.99/11.03	c 512 ~x75599+256 ~x75598+128 ~x75597+64 ~x75596+32 ~x75595+16 ~x75594+8 ~x75593+4 ~x75592+2 ~x75591+1 ~x75590+512 ~x17300+256 ~x17299+128 ~x17298+64 ~x17297+32 ~x17296+16 ~x17295+8 ~x17294+4 ~x17293+2 ~x17292+1 ~x17291-0=2046
10.99/11.07	c 512 ~x76901+256 ~x76900+128 ~x76899+64 ~x76898+32 ~x76897+16 ~x76896+8 ~x76895+4 ~x76894+2 ~x76893+1 ~x76892+512 ~x15044+256 ~x15043+128 ~x15042+64 ~x15041+32 ~x15040+16 ~x15039+8 ~x15038+4 ~x15037+2 ~x15036+1 ~x15035-0=2046
10.99/11.10	c 512 ~x78203+256 ~x78202+128 ~x78201+64 ~x78200+32 ~x78199+16 ~x78198+8 ~x78197+4 ~x78196+2 ~x78195+1 ~x78194+512 ~x16748+256 ~x16747+128 ~x16746+64 ~x16745+32 ~x16744+16 ~x16743+8 ~x16742+4 ~x16741+2 ~x16740+1 ~x16739-0=2046
11.08/11.17	c 512 ~x79505+256 ~x79504+128 ~x79503+64 ~x79502+32 ~x79501+16 ~x79500+8 ~x79499+4 ~x79498+2 ~x79497+1 ~x79496+512 ~x17567+256 ~x17566+128 ~x17565+64 ~x17564+32 ~x17563+16 ~x17562+8 ~x17561+4 ~x17560+2 ~x17559+1 ~x17558-0=2046
11.08/11.17	c 2048 ~x80809+1024 ~x80808+512 ~x80807+256 ~x80806+128 ~x80805+64 ~x80804+32 ~x80803+16 ~x80802+8 ~x80801+4 ~x80800+2 ~x80799+1 ~x80798+2048 ~x15316+1024 ~x15315+512 ~x15314+256 ~x15313+128 ~x15312+64 ~x15311+32 ~x15310+16 ~x15309+8 ~x15308+4 ~x15307+2 ~x15306+1 ~x15305-0=8190
11.18/11.22	c 512 ~x82945+256 ~x82944+128 ~x82943+64 ~x82942+32 ~x82941+16 ~x82940+8 ~x82939+4 ~x82938+2 ~x82937+1 ~x82936+512 ~x17015+256 ~x17014+128 ~x17013+64 ~x17012+32 ~x17011+16 ~x17010+8 ~x17009+4 ~x17008+2 ~x17007+1 ~x17006-0=2046
11.18/11.25	c 512 ~x84247+256 ~x84246+128 ~x84245+64 ~x84244+32 ~x84243+16 ~x84242+8 ~x84241+4 ~x84240+2 ~x84239+1 ~x84238+512 ~x17855+256 ~x17854+128 ~x17853+64 ~x17852+32 ~x17851+16 ~x17850+8 ~x17849+4 ~x17848+2 ~x17847+1 ~x17846-0=2046
11.18/11.28	c 2048 ~x85551+1024 ~x85550+512 ~x85549+256 ~x85548+128 ~x85547+64 ~x85546+32 ~x85545+16 ~x85544+8 ~x85543+4 ~x85542+2 ~x85541+1 ~x85540+2048 ~x15628+1024 ~x15627+512 ~x15626+256 ~x15625+128 ~x15624+64 ~x15623+32 ~x15622+16 ~x15621+8 ~x15620+4 ~x15619+2 ~x15618+1 ~x15617-0=8190
11.28/11.34	c 1024 ~x87688+512 ~x87687+256 ~x87686+128 ~x87685+64 ~x87684+32 ~x87683+16 ~x87682+8 ~x87681+4 ~x87680+2 ~x87679+1 ~x87678+1024 ~x18144+512 ~x18143+256 ~x18142+128 ~x18141+64 ~x18140+32 ~x18139+16 ~x18138+8 ~x18137+4 ~x18136+2 ~x18135+1 ~x18134-0=4094
11.28/11.38	c 512 ~x89426+256 ~x89425+128 ~x89424+64 ~x89423+32 ~x89422+16 ~x89421+8 ~x89420+4 ~x89419+2 ~x89418+1 ~x89417+512 ~x15932+256 ~x15931+128 ~x15930+64 ~x15929+32 ~x15928+16 ~x15927+8 ~x15926+4 ~x15925+2 ~x15924+1 ~x15923-0=2046
11.38/11.41	c 1024 ~x90729+512 ~x90728+256 ~x90727+128 ~x90726+64 ~x90725+32 ~x90724+16 ~x90723+8 ~x90722+4 ~x90721+2 ~x90720+1 ~x90719+1024 ~x16200+512 ~x16199+256 ~x16198+128 ~x16197+64 ~x16196+32 ~x16195+16 ~x16194+8 ~x16193+4 ~x16192+2 ~x16191+1 ~x16190-0=4094
11.38/11.46	c 512 ~x92467+256 ~x92466+128 ~x92465+64 ~x92464+32 ~x92463+16 ~x92462+8 ~x92461+4 ~x92460+2 ~x92459+1 ~x92458+512 ~x16495+256 ~x16494+128 ~x16493+64 ~x16492+32 ~x16491+16 ~x16490+8 ~x16489+4 ~x16488+2 ~x16487+1 ~x16486-0=2046
11.38/11.49	c 512 ~x93769+256 ~x93768+128 ~x93767+64 ~x93766+32 ~x93765+16 ~x93764+8 ~x93763+4 ~x93762+2 ~x93761+1 ~x93760+512 ~x17311+256 ~x17310+128 ~x17309+64 ~x17308+32 ~x17307+16 ~x17306+8 ~x17305+4 ~x17304+2 ~x17303+1 ~x17302-0=2046
11.48/11.52	c 512 ~x95071+256 ~x95070+128 ~x95069+64 ~x95068+32 ~x95067+16 ~x95066+8 ~x95065+4 ~x95064+2 ~x95063+1 ~x95062+512 ~x15055+256 ~x15054+128 ~x15053+64 ~x15052+32 ~x15051+16 ~x15050+8 ~x15049+4 ~x15048+2 ~x15047+1 ~x15046-0=2046
11.48/11.56	c 512 ~x96373+256 ~x96372+128 ~x96371+64 ~x96370+32 ~x96369+16 ~x96368+8 ~x96367+4 ~x96366+2 ~x96365+1 ~x96364+512 ~x16759+256 ~x16758+128 ~x16757+64 ~x16756+32 ~x16755+16 ~x16754+8 ~x16753+4 ~x16752+2 ~x16751+1 ~x16750-0=2046
11.48/11.59	c 512 ~x97675+256 ~x97674+128 ~x97673+64 ~x97672+32 ~x97671+16 ~x97670+8 ~x97669+4 ~x97668+2 ~x97667+1 ~x97666+512 ~x17579+256 ~x17578+128 ~x17577+64 ~x17576+32 ~x17575+16 ~x17574+8 ~x17573+4 ~x17572+2 ~x17571+1 ~x17570-0=2046
11.59/11.62	c 2048 ~x98979+1024 ~x98978+512 ~x98977+256 ~x98976+128 ~x98975+64 ~x98974+32 ~x98973+16 ~x98972+8 ~x98971+4 ~x98970+2 ~x98969+1 ~x98968+2048 ~x15329+1024 ~x15328+512 ~x15327+256 ~x15326+128 ~x15325+64 ~x15324+32 ~x15323+16 ~x15322+8 ~x15321+4 ~x15320+2 ~x15319+1 ~x15318-0=8190
11.59/11.68	c 512 ~x101115+256 ~x101114+128 ~x101113+64 ~x101112+32 ~x101111+16 ~x101110+8 ~x101109+4 ~x101108+2 ~x101107+1 ~x101106+512 ~x17027+256 ~x17026+128 ~x17025+64 ~x17024+32 ~x17023+16 ~x17022+8 ~x17021+4 ~x17020+2 ~x17019+1 ~x17018-0=2046
11.68/11.71	c 512 ~x102417+256 ~x102416+128 ~x102415+64 ~x102414+32 ~x102413+16 ~x102412+8 ~x102411+4 ~x102410+2 ~x102409+1 ~x102408+512 ~x17867+256 ~x17866+128 ~x17865+64 ~x17864+32 ~x17863+16 ~x17862+8 ~x17861+4 ~x17860+2 ~x17859+1 ~x17858-0=2046
11.68/11.74	c 2048 ~x103721+1024 ~x103720+512 ~x103719+256 ~x103718+128 ~x103717+64 ~x103716+32 ~x103715+16 ~x103714+8 ~x103713+4 ~x103712+2 ~x103711+1 ~x103710+2048 ~x15641+1024 ~x15640+512 ~x15639+256 ~x15638+128 ~x15637+64 ~x15636+32 ~x15635+16 ~x15634+8 ~x15633+4 ~x15632+2 ~x15631+1 ~x15630-0=8190
11.78/11.80	c 1024 ~x105858+512 ~x105857+256 ~x105856+128 ~x105855+64 ~x105854+32 ~x105853+16 ~x105852+8 ~x105851+4 ~x105850+2 ~x105849+1 ~x105848+1024 ~x18156+512 ~x18155+256 ~x18154+128 ~x18153+64 ~x18152+32 ~x18151+16 ~x18150+8 ~x18149+4 ~x18148+2 ~x18147+1 ~x18146-0=4094
11.78/11.84	c 512 ~x107596+256 ~x107595+128 ~x107594+64 ~x107593+32 ~x107592+16 ~x107591+8 ~x107590+4 ~x107589+2 ~x107588+1 ~x107587+512 ~x15943+256 ~x15942+128 ~x15941+64 ~x15940+32 ~x15939+16 ~x15938+8 ~x15937+4 ~x15936+2 ~x15935+1 ~x15934-0=2046
11.78/11.88	c 1024 ~x108899+512 ~x108898+256 ~x108897+128 ~x108896+64 ~x108895+32 ~x108894+16 ~x108893+8 ~x108892+4 ~x108891+2 ~x108890+1 ~x108889+1024 ~x16212+512 ~x16211+256 ~x16210+128 ~x16209+64 ~x16208+32 ~x16207+16 ~x16206+8 ~x16205+4 ~x16204+2 ~x16203+1 ~x16202-0=4094
11.88/11.92	c 512 ~x110637+256 ~x110636+128 ~x110635+64 ~x110634+32 ~x110633+16 ~x110632+8 ~x110631+4 ~x110630+2 ~x110629+1 ~x110628+512 ~x16506+256 ~x16505+128 ~x16504+64 ~x16503+32 ~x16502+16 ~x16501+8 ~x16500+4 ~x16499+2 ~x16498+1 ~x16497-0=2046
11.88/11.95	c 512 ~x111939+256 ~x111938+128 ~x111937+64 ~x111936+32 ~x111935+16 ~x111934+8 ~x111933+4 ~x111932+2 ~x111931+1 ~x111930+512 ~x17322+256 ~x17321+128 ~x17320+64 ~x17319+32 ~x17318+16 ~x17317+8 ~x17316+4 ~x17315+2 ~x17314+1 ~x17313-0=2046
11.98/12.02	c 512 ~x113241+256 ~x113240+128 ~x113239+64 ~x113238+32 ~x113237+16 ~x113236+8 ~x113235+4 ~x113234+2 ~x113233+1 ~x113232+512 ~x15066+256 ~x15065+128 ~x15064+64 ~x15063+32 ~x15062+16 ~x15061+8 ~x15060+4 ~x15059+2 ~x15058+1 ~x15057-0=2046
11.98/12.05	c 512 ~x114543+256 ~x114542+128 ~x114541+64 ~x114540+32 ~x114539+16 ~x114538+8 ~x114537+4 ~x114536+2 ~x114535+1 ~x114534+512 ~x16770+256 ~x16769+128 ~x16768+64 ~x16767+32 ~x16766+16 ~x16765+8 ~x16764+4 ~x16763+2 ~x16762+1 ~x16761-0=2046
11.98/12.05	c 512 ~x115845+256 ~x115844+128 ~x115843+64 ~x115842+32 ~x115841+16 ~x115840+8 ~x115839+4 ~x115838+2 ~x115837+1 ~x115836+512 ~x17591+256 ~x17590+128 ~x17589+64 ~x17588+32 ~x17587+16 ~x17586+8 ~x17585+4 ~x17584+2 ~x17583+1 ~x17582-0=2046
11.98/12.09	c 2048 ~x117149+1024 ~x117148+512 ~x117147+256 ~x117146+128 ~x117145+64 ~x117144+32 ~x117143+16 ~x117142+8 ~x117141+4 ~x117140+2 ~x117139+1 ~x117138+2048 ~x15342+1024 ~x15341+512 ~x15340+256 ~x15339+128 ~x15338+64 ~x15337+32 ~x15336+16 ~x15335+8 ~x15334+4 ~x15333+2 ~x15332+1 ~x15331-0=8190
12.09/12.14	c 512 ~x119285+256 ~x119284+128 ~x119283+64 ~x119282+32 ~x119281+16 ~x119280+8 ~x119279+4 ~x119278+2 ~x119277+1 ~x119276+512 ~x17039+256 ~x17038+128 ~x17037+64 ~x17036+32 ~x17035+16 ~x17034+8 ~x17033+4 ~x17032+2 ~x17031+1 ~x17030-0=2046
12.09/12.17	c 512 ~x120587+256 ~x120586+128 ~x120585+64 ~x120584+32 ~x120583+16 ~x120582+8 ~x120581+4 ~x120580+2 ~x120579+1 ~x120578+512 ~x17879+256 ~x17878+128 ~x17877+64 ~x17876+32 ~x17875+16 ~x17874+8 ~x17873+4 ~x17872+2 ~x17871+1 ~x17870-0=2046
12.19/12.20	c 2048 ~x121891+1024 ~x121890+512 ~x121889+256 ~x121888+128 ~x121887+64 ~x121886+32 ~x121885+16 ~x121884+8 ~x121883+4 ~x121882+2 ~x121881+1 ~x121880+2048 ~x15654+1024 ~x15653+512 ~x15652+256 ~x15651+128 ~x15650+64 ~x15649+32 ~x15648+16 ~x15647+8 ~x15646+4 ~x15645+2 ~x15644+1 ~x15643-0=8190
12.19/12.26	c 1024 ~x124028+512 ~x124027+256 ~x124026+128 ~x124025+64 ~x124024+32 ~x124023+16 ~x124022+8 ~x124021+4 ~x124020+2 ~x124019+1 ~x124018+1024 ~x18168+512 ~x18167+256 ~x18166+128 ~x18165+64 ~x18164+32 ~x18163+16 ~x18162+8 ~x18161+4 ~x18160+2 ~x18159+1 ~x18158-0=4094
12.28/12.34	c 512 ~x125766+256 ~x125765+128 ~x125764+64 ~x125763+32 ~x125762+16 ~x125761+8 ~x125760+4 ~x125759+2 ~x125758+1 ~x125757+512 ~x15954+256 ~x15953+128 ~x15952+64 ~x15951+32 ~x15950+16 ~x15949+8 ~x15948+4 ~x15947+2 ~x15946+1 ~x15945-0=2046
12.28/12.34	c 1024 ~x127069+512 ~x127068+256 ~x127067+128 ~x127066+64 ~x127065+32 ~x127064+16 ~x127063+8 ~x127062+4 ~x127061+2 ~x127060+1 ~x127059+1024 ~x16224+512 ~x16223+256 ~x16222+128 ~x16221+64 ~x16220+32 ~x16219+16 ~x16218+8 ~x16217+4 ~x16216+2 ~x16215+1 ~x16214-0=4094
12.28/12.38	c 512 ~x128807+256 ~x128806+128 ~x128805+64 ~x128804+32 ~x128803+16 ~x128802+8 ~x128801+4 ~x128800+2 ~x128799+1 ~x128798+512 ~x16517+256 ~x16516+128 ~x16515+64 ~x16514+32 ~x16513+16 ~x16512+8 ~x16511+4 ~x16510+2 ~x16509+1 ~x16508-0=2046
12.38/12.42	c 512 ~x130109+256 ~x130108+128 ~x130107+64 ~x130106+32 ~x130105+16 ~x130104+8 ~x130103+4 ~x130102+2 ~x130101+1 ~x130100+512 ~x17333+256 ~x17332+128 ~x17331+64 ~x17330+32 ~x17329+16 ~x17328+8 ~x17327+4 ~x17326+2 ~x17325+1 ~x17324-0=2046
12.38/12.45	c 512 ~x131411+256 ~x131410+128 ~x131409+64 ~x131408+32 ~x131407+16 ~x131406+8 ~x131405+4 ~x131404+2 ~x131403+1 ~x131402+512 ~x15077+256 ~x15076+128 ~x15075+64 ~x15074+32 ~x15073+16 ~x15072+8 ~x15071+4 ~x15070+2 ~x15069+1 ~x15068-0=2046
12.38/12.48	c 512 ~x132713+256 ~x132712+128 ~x132711+64 ~x132710+32 ~x132709+16 ~x132708+8 ~x132707+4 ~x132706+2 ~x132705+1 ~x132704+512 ~x16781+256 ~x16780+128 ~x16779+64 ~x16778+32 ~x16777+16 ~x16776+8 ~x16775+4 ~x16774+2 ~x16773+1 ~x16772-0=2046
12.48/12.52	c 512 ~x134015+256 ~x134014+128 ~x134013+64 ~x134012+32 ~x134011+16 ~x134010+8 ~x134009+4 ~x134008+2 ~x134007+1 ~x134006+512 ~x17603+256 ~x17602+128 ~x17601+64 ~x17600+32 ~x17599+16 ~x17598+8 ~x17597+4 ~x17596+2 ~x17595+1 ~x17594-0=2046
12.48/12.55	c 2048 ~x135319+1024 ~x135318+512 ~x135317+256 ~x135316+128 ~x135315+64 ~x135314+32 ~x135313+16 ~x135312+8 ~x135311+4 ~x135310+2 ~x135309+1 ~x135308+2048 ~x15355+1024 ~x15354+512 ~x15353+256 ~x15352+128 ~x15351+64 ~x15350+32 ~x15349+16 ~x15348+8 ~x15347+4 ~x15346+2 ~x15345+1 ~x15344-0=8190
12.58/12.60	c 512 ~x137455+256 ~x137454+128 ~x137453+64 ~x137452+32 ~x137451+16 ~x137450+8 ~x137449+4 ~x137448+2 ~x137447+1 ~x137446+512 ~x17051+256 ~x17050+128 ~x17049+64 ~x17048+32 ~x17047+16 ~x17046+8 ~x17045+4 ~x17044+2 ~x17043+1 ~x17042-0=2046
12.58/12.64	c 512 ~x138757+256 ~x138756+128 ~x138755+64 ~x138754+32 ~x138753+16 ~x138752+8 ~x138751+4 ~x138750+2 ~x138749+1 ~x138748+512 ~x17891+256 ~x17890+128 ~x17889+64 ~x17888+32 ~x17887+16 ~x17886+8 ~x17885+4 ~x17884+2 ~x17883+1 ~x17882-0=2046
12.58/12.67	c 2048 ~x140061+1024 ~x140060+512 ~x140059+256 ~x140058+128 ~x140057+64 ~x140056+32 ~x140055+16 ~x140054+8 ~x140053+4 ~x140052+2 ~x140051+1 ~x140050+2048 ~x15667+1024 ~x15666+512 ~x15665+256 ~x15664+128 ~x15663+64 ~x15662+32 ~x15661+16 ~x15660+8 ~x15659+4 ~x15658+2 ~x15657+1 ~x15656-0=8190
12.68/12.72	c 1024 ~x142198+512 ~x142197+256 ~x142196+128 ~x142195+64 ~x142194+32 ~x142193+16 ~x142192+8 ~x142191+4 ~x142190+2 ~x142189+1 ~x142188+1024 ~x18180+512 ~x18179+256 ~x18178+128 ~x18177+64 ~x18176+32 ~x18175+16 ~x18174+8 ~x18173+4 ~x18172+2 ~x18171+1 ~x18170-0=4094
12.68/12.77	c 512 ~x143936+256 ~x143935+128 ~x143934+64 ~x143933+32 ~x143932+16 ~x143931+8 ~x143930+4 ~x143929+2 ~x143928+1 ~x143927+512 ~x15965+256 ~x15964+128 ~x15963+64 ~x15962+32 ~x15961+16 ~x15960+8 ~x15959+4 ~x15958+2 ~x15957+1 ~x15956-0=2046
12.78/12.80	c 1024 ~x145239+512 ~x145238+256 ~x145237+128 ~x145236+64 ~x145235+32 ~x145234+16 ~x145233+8 ~x145232+4 ~x145231+2 ~x145230+1 ~x145229+1024 ~x16236+512 ~x16235+256 ~x16234+128 ~x16233+64 ~x16232+32 ~x16231+16 ~x16230+8 ~x16229+4 ~x16228+2 ~x16227+1 ~x16226-0=4094
12.78/12.84	c 512 ~x146977+256 ~x146976+128 ~x146975+64 ~x146974+32 ~x146973+16 ~x146972+8 ~x146971+4 ~x146970+2 ~x146969+1 ~x146968+512 ~x16528+256 ~x16527+128 ~x16526+64 ~x16525+32 ~x16524+16 ~x16523+8 ~x16522+4 ~x16521+2 ~x16520+1 ~x16519-0=2046
12.78/12.88	c 512 ~x148279+256 ~x148278+128 ~x148277+64 ~x148276+32 ~x148275+16 ~x148274+8 ~x148273+4 ~x148272+2 ~x148271+1 ~x148270+512 ~x17344+256 ~x17343+128 ~x17342+64 ~x17341+32 ~x17340+16 ~x17339+8 ~x17338+4 ~x17337+2 ~x17336+1 ~x17335-0=2046
12.88/12.91	c 512 ~x149581+256 ~x149580+128 ~x149579+64 ~x149578+32 ~x149577+16 ~x149576+8 ~x149575+4 ~x149574+2 ~x149573+1 ~x149572+512 ~x15088+256 ~x15087+128 ~x15086+64 ~x15085+32 ~x15084+16 ~x15083+8 ~x15082+4 ~x15081+2 ~x15080+1 ~x15079-0=2046
12.88/12.94	c 512 ~x150883+256 ~x150882+128 ~x150881+64 ~x150880+32 ~x150879+16 ~x150878+8 ~x150877+4 ~x150876+2 ~x150875+1 ~x150874+512 ~x16792+256 ~x16791+128 ~x16790+64 ~x16789+32 ~x16788+16 ~x16787+8 ~x16786+4 ~x16785+2 ~x16784+1 ~x16783-0=2046
12.88/12.98	c 512 ~x152185+256 ~x152184+128 ~x152183+64 ~x152182+32 ~x152181+16 ~x152180+8 ~x152179+4 ~x152178+2 ~x152177+1 ~x152176+512 ~x17615+256 ~x17614+128 ~x17613+64 ~x17612+32 ~x17611+16 ~x17610+8 ~x17609+4 ~x17608+2 ~x17607+1 ~x17606-0=2046
12.98/13.01	c 2048 ~x153489+1024 ~x153488+512 ~x153487+256 ~x153486+128 ~x153485+64 ~x153484+32 ~x153483+16 ~x153482+8 ~x153481+4 ~x153480+2 ~x153479+1 ~x153478+2048 ~x15368+1024 ~x15367+512 ~x15366+256 ~x15365+128 ~x15364+64 ~x15363+32 ~x15362+16 ~x15361+8 ~x15360+4 ~x15359+2 ~x15358+1 ~x15357-0=8190
12.98/13.07	c 512 ~x155625+256 ~x155624+128 ~x155623+64 ~x155622+32 ~x155621+16 ~x155620+8 ~x155619+4 ~x155618+2 ~x155617+1 ~x155616+512 ~x17063+256 ~x17062+128 ~x17061+64 ~x17060+32 ~x17059+16 ~x17058+8 ~x17057+4 ~x17056+2 ~x17055+1 ~x17054-0=2046
13.08/13.10	c 512 ~x156927+256 ~x156926+128 ~x156925+64 ~x156924+32 ~x156923+16 ~x156922+8 ~x156921+4 ~x156920+2 ~x156919+1 ~x156918+512 ~x17903+256 ~x17902+128 ~x17901+64 ~x17900+32 ~x17899+16 ~x17898+8 ~x17897+4 ~x17896+2 ~x17895+1 ~x17894-0=2046
13.08/13.13	c 2048 ~x158231+1024 ~x158230+512 ~x158229+256 ~x158228+128 ~x158227+64 ~x158226+32 ~x158225+16 ~x158224+8 ~x158223+4 ~x158222+2 ~x158221+1 ~x158220+2048 ~x15680+1024 ~x15679+512 ~x15678+256 ~x15677+128 ~x15676+64 ~x15675+32 ~x15674+16 ~x15673+8 ~x15672+4 ~x15671+2 ~x15670+1 ~x15669-0=8190
13.08/13.19	c 1024 ~x160368+512 ~x160367+256 ~x160366+128 ~x160365+64 ~x160364+32 ~x160363+16 ~x160362+8 ~x160361+4 ~x160360+2 ~x160359+1 ~x160358+1024 ~x18192+512 ~x18191+256 ~x18190+128 ~x18189+64 ~x18188+32 ~x18187+16 ~x18186+8 ~x18185+4 ~x18184+2 ~x18183+1 ~x18182-0=4094
13.19/13.23	c 512 ~x162106+256 ~x162105+128 ~x162104+64 ~x162103+32 ~x162102+16 ~x162101+8 ~x162100+4 ~x162099+2 ~x162098+1 ~x162097+512 ~x15976+256 ~x15975+128 ~x15974+64 ~x15973+32 ~x15972+16 ~x15971+8 ~x15970+4 ~x15969+2 ~x15968+1 ~x15967-0=2046
13.19/13.26	c 1024 ~x163409+512 ~x163408+256 ~x163407+128 ~x163406+64 ~x163405+32 ~x163404+16 ~x163403+8 ~x163402+4 ~x163401+2 ~x163400+1 ~x163399+1024 ~x16248+512 ~x16247+256 ~x16246+128 ~x16245+64 ~x16244+32 ~x16243+16 ~x16242+8 ~x16241+4 ~x16240+2 ~x16239+1 ~x16238-0=4094
13.29/13.31	c 512 ~x165147+256 ~x165146+128 ~x165145+64 ~x165144+32 ~x165143+16 ~x165142+8 ~x165141+4 ~x165140+2 ~x165139+1 ~x165138+512 ~x16539+256 ~x16538+128 ~x16537+64 ~x16536+32 ~x16535+16 ~x16534+8 ~x16533+4 ~x16532+2 ~x16531+1 ~x16530-0=2046
13.29/13.34	c 512 ~x166449+256 ~x166448+128 ~x166447+64 ~x166446+32 ~x166445+16 ~x166444+8 ~x166443+4 ~x166442+2 ~x166441+1 ~x166440+512 ~x17355+256 ~x17354+128 ~x17353+64 ~x17352+32 ~x17351+16 ~x17350+8 ~x17349+4 ~x17348+2 ~x17347+1 ~x17346-0=2046
13.29/13.37	c 512 ~x167751+256 ~x167750+128 ~x167749+64 ~x167748+32 ~x167747+16 ~x167746+8 ~x167745+4 ~x167744+2 ~x167743+1 ~x167742+512 ~x15099+256 ~x15098+128 ~x15097+64 ~x15096+32 ~x15095+16 ~x15094+8 ~x15093+4 ~x15092+2 ~x15091+1 ~x15090-0=2046
13.38/13.41	c 512 ~x169053+256 ~x169052+128 ~x169051+64 ~x169050+32 ~x169049+16 ~x169048+8 ~x169047+4 ~x169046+2 ~x169045+1 ~x169044+512 ~x16803+256 ~x16802+128 ~x16801+64 ~x16800+32 ~x16799+16 ~x16798+8 ~x16797+4 ~x16796+2 ~x16795+1 ~x16794-0=2046
13.38/13.44	c 512 ~x170355+256 ~x170354+128 ~x170353+64 ~x170352+32 ~x170351+16 ~x170350+8 ~x170349+4 ~x170348+2 ~x170347+1 ~x170346+512 ~x17627+256 ~x17626+128 ~x17625+64 ~x17624+32 ~x17623+16 ~x17622+8 ~x17621+4 ~x17620+2 ~x17619+1 ~x17618-0=2046
13.38/13.47	c 2048 ~x171659+1024 ~x171658+512 ~x171657+256 ~x171656+128 ~x171655+64 ~x171654+32 ~x171653+16 ~x171652+8 ~x171651+4 ~x171650+2 ~x171649+1 ~x171648+2048 ~x15381+1024 ~x15380+512 ~x15379+256 ~x15378+128 ~x15377+64 ~x15376+32 ~x15375+16 ~x15374+8 ~x15373+4 ~x15372+2 ~x15371+1 ~x15370-0=8190
13.48/13.53	c 512 ~x173795+256 ~x173794+128 ~x173793+64 ~x173792+32 ~x173791+16 ~x173790+8 ~x173789+4 ~x173788+2 ~x173787+1 ~x173786+512 ~x17075+256 ~x17074+128 ~x17073+64 ~x17072+32 ~x17071+16 ~x17070+8 ~x17069+4 ~x17068+2 ~x17067+1 ~x17066-0=2046
13.48/13.56	c 512 ~x175097+256 ~x175096+128 ~x175095+64 ~x175094+32 ~x175093+16 ~x175092+8 ~x175091+4 ~x175090+2 ~x175089+1 ~x175088+512 ~x17915+256 ~x17914+128 ~x17913+64 ~x17912+32 ~x17911+16 ~x17910+8 ~x17909+4 ~x17908+2 ~x17907+1 ~x17906-0=2046
13.48/13.59	c 2048 ~x176401+1024 ~x176400+512 ~x176399+256 ~x176398+128 ~x176397+64 ~x176396+32 ~x176395+16 ~x176394+8 ~x176393+4 ~x176392+2 ~x176391+1 ~x176390+2048 ~x15693+1024 ~x15692+512 ~x15691+256 ~x15690+128 ~x15689+64 ~x15688+32 ~x15687+16 ~x15686+8 ~x15685+4 ~x15684+2 ~x15683+1 ~x15682-0=8190
13.58/13.65	c 1024 ~x178538+512 ~x178537+256 ~x178536+128 ~x178535+64 ~x178534+32 ~x178533+16 ~x178532+8 ~x178531+4 ~x178530+2 ~x178529+1 ~x178528+1024 ~x18204+512 ~x18203+256 ~x18202+128 ~x18201+64 ~x18200+32 ~x18199+16 ~x18198+8 ~x18197+4 ~x18196+2 ~x18195+1 ~x18194-0=4094
13.58/13.69	c 512 ~x180276+256 ~x180275+128 ~x180274+64 ~x180273+32 ~x180272+16 ~x180271+8 ~x180270+4 ~x180269+2 ~x180268+1 ~x180267+512 ~x15987+256 ~x15986+128 ~x15985+64 ~x15984+32 ~x15983+16 ~x15982+8 ~x15981+4 ~x15980+2 ~x15979+1 ~x15978-0=2046
13.68/13.72	c 1024 ~x181579+512 ~x181578+256 ~x181577+128 ~x181576+64 ~x181575+32 ~x181574+16 ~x181573+8 ~x181572+4 ~x181571+2 ~x181570+1 ~x181569+1024 ~x16260+512 ~x16259+256 ~x16258+128 ~x16257+64 ~x16256+32 ~x16255+16 ~x16254+8 ~x16253+4 ~x16252+2 ~x16251+1 ~x16250-0=4094
13.68/13.77	c 512 ~x183317+256 ~x183316+128 ~x183315+64 ~x183314+32 ~x183313+16 ~x183312+8 ~x183311+4 ~x183310+2 ~x183309+1 ~x183308+512 ~x16550+256 ~x16549+128 ~x16548+64 ~x16547+32 ~x16546+16 ~x16545+8 ~x16544+4 ~x16543+2 ~x16542+1 ~x16541-0=2046
13.78/13.80	c 512 ~x184619+256 ~x184618+128 ~x184617+64 ~x184616+32 ~x184615+16 ~x184614+8 ~x184613+4 ~x184612+2 ~x184611+1 ~x184610+512 ~x17366+256 ~x17365+128 ~x17364+64 ~x17363+32 ~x17362+16 ~x17361+8 ~x17360+4 ~x17359+2 ~x17358+1 ~x17357-0=2046
13.78/13.87	c 512 ~x185921+256 ~x185920+128 ~x185919+64 ~x185918+32 ~x185917+16 ~x185916+8 ~x185915+4 ~x185914+2 ~x185913+1 ~x185912+512 ~x15110+256 ~x15109+128 ~x15108+64 ~x15107+32 ~x15106+16 ~x15105+8 ~x15104+4 ~x15103+2 ~x15102+1 ~x15101-0=2046
13.78/13.87	c 512 ~x187223+256 ~x187222+128 ~x187221+64 ~x187220+32 ~x187219+16 ~x187218+8 ~x187217+4 ~x187216+2 ~x187215+1 ~x187214+512 ~x16814+256 ~x16813+128 ~x16812+64 ~x16811+32 ~x16810+16 ~x16809+8 ~x16808+4 ~x16807+2 ~x16806+1 ~x16805-0=2046
13.88/13.90	c 512 ~x188525+256 ~x188524+128 ~x188523+64 ~x188522+32 ~x188521+16 ~x188520+8 ~x188519+4 ~x188518+2 ~x188517+1 ~x188516+512 ~x17639+256 ~x17638+128 ~x17637+64 ~x17636+32 ~x17635+16 ~x17634+8 ~x17633+4 ~x17632+2 ~x17631+1 ~x17630-0=2046
13.88/13.94	c 2048 ~x189829+1024 ~x189828+512 ~x189827+256 ~x189826+128 ~x189825+64 ~x189824+32 ~x189823+16 ~x189822+8 ~x189821+4 ~x189820+2 ~x189819+1 ~x189818+2048 ~x15394+1024 ~x15393+512 ~x15392+256 ~x15391+128 ~x15390+64 ~x15389+32 ~x15388+16 ~x15387+8 ~x15386+4 ~x15385+2 ~x15384+1 ~x15383-0=8190
13.88/13.99	c 512 ~x191965+256 ~x191964+128 ~x191963+64 ~x191962+32 ~x191961+16 ~x191960+8 ~x191959+4 ~x191958+2 ~x191957+1 ~x191956+512 ~x17087+256 ~x17086+128 ~x17085+64 ~x17084+32 ~x17083+16 ~x17082+8 ~x17081+4 ~x17080+2 ~x17079+1 ~x17078-0=2046
13.98/14.02	c 512 ~x193267+256 ~x193266+128 ~x193265+64 ~x193264+32 ~x193263+16 ~x193262+8 ~x193261+4 ~x193260+2 ~x193259+1 ~x193258+512 ~x17927+256 ~x17926+128 ~x17925+64 ~x17924+32 ~x17923+16 ~x17922+8 ~x17921+4 ~x17920+2 ~x17919+1 ~x17918-0=2046
13.98/14.06	c 2048 ~x194571+1024 ~x194570+512 ~x194569+256 ~x194568+128 ~x194567+64 ~x194566+32 ~x194565+16 ~x194564+8 ~x194563+4 ~x194562+2 ~x194561+1 ~x194560+2048 ~x15706+1024 ~x15705+512 ~x15704+256 ~x15703+128 ~x15702+64 ~x15701+32 ~x15700+16 ~x15699+8 ~x15698+4 ~x15697+2 ~x15696+1 ~x15695-0=8190
14.08/14.11	c 1024 ~x196708+512 ~x196707+256 ~x196706+128 ~x196705+64 ~x196704+32 ~x196703+16 ~x196702+8 ~x196701+4 ~x196700+2 ~x196699+1 ~x196698+1024 ~x18216+512 ~x18215+256 ~x18214+128 ~x18213+64 ~x18212+32 ~x18211+16 ~x18210+8 ~x18209+4 ~x18208+2 ~x18207+1 ~x18206-0=4094
14.08/14.16	c 512 ~x198446+256 ~x198445+128 ~x198444+64 ~x198443+32 ~x198442+16 ~x198441+8 ~x198440+4 ~x198439+2 ~x198438+1 ~x198437+512 ~x15998+256 ~x15997+128 ~x15996+64 ~x15995+32 ~x15994+16 ~x15993+8 ~x15992+4 ~x15991+2 ~x15990+1 ~x15989-0=2046
14.08/14.19	c 1024 ~x199749+512 ~x199748+256 ~x199747+128 ~x199746+64 ~x199745+32 ~x199744+16 ~x199743+8 ~x199742+4 ~x199741+2 ~x199740+1 ~x199739+1024 ~x16272+512 ~x16271+256 ~x16270+128 ~x16269+64 ~x16268+32 ~x16267+16 ~x16266+8 ~x16265+4 ~x16264+2 ~x16263+1 ~x16262-0=4094
14.18/14.23	c 512 ~x201487+256 ~x201486+128 ~x201485+64 ~x201484+32 ~x201483+16 ~x201482+8 ~x201481+4 ~x201480+2 ~x201479+1 ~x201478+512 ~x16561+256 ~x16560+128 ~x16559+64 ~x16558+32 ~x16557+16 ~x16556+8 ~x16555+4 ~x16554+2 ~x16553+1 ~x16552-0=2046
14.18/14.27	c 512 ~x202789+256 ~x202788+128 ~x202787+64 ~x202786+32 ~x202785+16 ~x202784+8 ~x202783+4 ~x202782+2 ~x202781+1 ~x202780+512 ~x17377+256 ~x17376+128 ~x17375+64 ~x17374+32 ~x17373+16 ~x17372+8 ~x17371+4 ~x17370+2 ~x17369+1 ~x17368-0=2046
14.18/14.30	c 512 ~x204091+256 ~x204090+128 ~x204089+64 ~x204088+32 ~x204087+16 ~x204086+8 ~x204085+4 ~x204084+2 ~x204083+1 ~x204082+512 ~x15121+256 ~x15120+128 ~x15119+64 ~x15118+32 ~x15117+16 ~x15116+8 ~x15115+4 ~x15114+2 ~x15113+1 ~x15112-0=2046
14.29/14.33	c 512 ~x205393+256 ~x205392+128 ~x205391+64 ~x205390+32 ~x205389+16 ~x205388+8 ~x205387+4 ~x205386+2 ~x205385+1 ~x205384+512 ~x16825+256 ~x16824+128 ~x16823+64 ~x16822+32 ~x16821+16 ~x16820+8 ~x16819+4 ~x16818+2 ~x16817+1 ~x16816-0=2046
14.29/14.36	c 512 ~x206695+256 ~x206694+128 ~x206693+64 ~x206692+32 ~x206691+16 ~x206690+8 ~x206689+4 ~x206688+2 ~x206687+1 ~x206686+512 ~x17651+256 ~x17650+128 ~x17649+64 ~x17648+32 ~x17647+16 ~x17646+8 ~x17645+4 ~x17644+2 ~x17643+1 ~x17642-0=2046
14.29/14.40	c 2048 ~x207999+1024 ~x207998+512 ~x207997+256 ~x207996+128 ~x207995+64 ~x207994+32 ~x207993+16 ~x207992+8 ~x207991+4 ~x207990+2 ~x207989+1 ~x207988+2048 ~x15407+1024 ~x15406+512 ~x15405+256 ~x15404+128 ~x15403+64 ~x15402+32 ~x15401+16 ~x15400+8 ~x15399+4 ~x15398+2 ~x15397+1 ~x15396-0=8190
14.39/14.45	c 512 ~x210135+256 ~x210134+128 ~x210133+64 ~x210132+32 ~x210131+16 ~x210130+8 ~x210129+4 ~x210128+2 ~x210127+1 ~x210126+512 ~x17099+256 ~x17098+128 ~x17097+64 ~x17096+32 ~x17095+16 ~x17094+8 ~x17093+4 ~x17092+2 ~x17091+1 ~x17090-0=2046
14.39/14.48	c 512 ~x211437+256 ~x211436+128 ~x211435+64 ~x211434+32 ~x211433+16 ~x211432+8 ~x211431+4 ~x211430+2 ~x211429+1 ~x211428+512 ~x17939+256 ~x17938+128 ~x17937+64 ~x17936+32 ~x17935+16 ~x17934+8 ~x17933+4 ~x17932+2 ~x17931+1 ~x17930-0=2046
14.48/14.52	c 2048 ~x212741+1024 ~x212740+512 ~x212739+256 ~x212738+128 ~x212737+64 ~x212736+32 ~x212735+16 ~x212734+8 ~x212733+4 ~x212732+2 ~x212731+1 ~x212730+2048 ~x15719+1024 ~x15718+512 ~x15717+256 ~x15716+128 ~x15715+64 ~x15714+32 ~x15713+16 ~x15712+8 ~x15711+4 ~x15710+2 ~x15709+1 ~x15708-0=8190
14.48/14.57	c 1024 ~x214878+512 ~x214877+256 ~x214876+128 ~x214875+64 ~x214874+32 ~x214873+16 ~x214872+8 ~x214871+4 ~x214870+2 ~x214869+1 ~x214868+1024 ~x18228+512 ~x18227+256 ~x18226+128 ~x18225+64 ~x18224+32 ~x18223+16 ~x18222+8 ~x18221+4 ~x18220+2 ~x18219+1 ~x18218-0=4094
14.58/14.62	c 512 ~x216616+256 ~x216615+128 ~x216614+64 ~x216613+32 ~x216612+16 ~x216611+8 ~x216610+4 ~x216609+2 ~x216608+1 ~x216607+512 ~x16009+256 ~x16008+128 ~x16007+64 ~x16006+32 ~x16005+16 ~x16004+8 ~x16003+4 ~x16002+2 ~x16001+1 ~x16000-0=2046
14.58/14.65	c 1024 ~x217919+512 ~x217918+256 ~x217917+128 ~x217916+64 ~x217915+32 ~x217914+16 ~x217913+8 ~x217912+4 ~x217911+2 ~x217910+1 ~x217909+1024 ~x16284+512 ~x16283+256 ~x16282+128 ~x16281+64 ~x16280+32 ~x16279+16 ~x16278+8 ~x16277+4 ~x16276+2 ~x16275+1 ~x16274-0=4094
14.58/14.69	c 512 ~x219657+256 ~x219656+128 ~x219655+64 ~x219654+32 ~x219653+16 ~x219652+8 ~x219651+4 ~x219650+2 ~x219649+1 ~x219648+512 ~x16572+256 ~x16571+128 ~x16570+64 ~x16569+32 ~x16568+16 ~x16567+8 ~x16566+4 ~x16565+2 ~x16564+1 ~x16563-0=2046
14.68/14.73	c 512 ~x220959+256 ~x220958+128 ~x220957+64 ~x220956+32 ~x220955+16 ~x220954+8 ~x220953+4 ~x220952+2 ~x220951+1 ~x220950+512 ~x17388+256 ~x17387+128 ~x17386+64 ~x17385+32 ~x17384+16 ~x17383+8 ~x17382+4 ~x17381+2 ~x17380+1 ~x17379-0=2046
14.68/14.76	c 512 ~x222261+256 ~x222260+128 ~x222259+64 ~x222258+32 ~x222257+16 ~x222256+8 ~x222255+4 ~x222254+2 ~x222253+1 ~x222252+512 ~x15132+256 ~x15131+128 ~x15130+64 ~x15129+32 ~x15128+16 ~x15127+8 ~x15126+4 ~x15125+2 ~x15124+1 ~x15123-0=2046
14.68/14.79	c 512 ~x223563+256 ~x223562+128 ~x223561+64 ~x223560+32 ~x223559+16 ~x223558+8 ~x223557+4 ~x223556+2 ~x223555+1 ~x223554+512 ~x16836+256 ~x16835+128 ~x16834+64 ~x16833+32 ~x16832+16 ~x16831+8 ~x16830+4 ~x16829+2 ~x16828+1 ~x16827-0=2046
14.78/14.83	c 512 ~x224865+256 ~x224864+128 ~x224863+64 ~x224862+32 ~x224861+16 ~x224860+8 ~x224859+4 ~x224858+2 ~x224857+1 ~x224856+512 ~x17663+256 ~x17662+128 ~x17661+64 ~x17660+32 ~x17659+16 ~x17658+8 ~x17657+4 ~x17656+2 ~x17655+1 ~x17654-0=2046
14.78/14.86	c 2048 ~x226169+1024 ~x226168+512 ~x226167+256 ~x226166+128 ~x226165+64 ~x226164+32 ~x226163+16 ~x226162+8 ~x226161+4 ~x226160+2 ~x226159+1 ~x226158+2048 ~x15420+1024 ~x15419+512 ~x15418+256 ~x15417+128 ~x15416+64 ~x15415+32 ~x15414+16 ~x15413+8 ~x15412+4 ~x15411+2 ~x15410+1 ~x15409-0=8190
14.88/14.92	c 512 ~x228305+256 ~x228304+128 ~x228303+64 ~x228302+32 ~x228301+16 ~x228300+8 ~x228299+4 ~x228298+2 ~x228297+1 ~x228296+512 ~x17111+256 ~x17110+128 ~x17109+64 ~x17108+32 ~x17107+16 ~x17106+8 ~x17105+4 ~x17104+2 ~x17103+1 ~x17102-0=2046
14.88/14.95	c 512 ~x229607+256 ~x229606+128 ~x229605+64 ~x229604+32 ~x229603+16 ~x229602+8 ~x229601+4 ~x229600+2 ~x229599+1 ~x229598+512 ~x17951+256 ~x17950+128 ~x17949+64 ~x17948+32 ~x17947+16 ~x17946+8 ~x17945+4 ~x17944+2 ~x17943+1 ~x17942-0=2046
14.88/14.98	c 2048 ~x230911+1024 ~x230910+512 ~x230909+256 ~x230908+128 ~x230907+64 ~x230906+32 ~x230905+16 ~x230904+8 ~x230903+4 ~x230902+2 ~x230901+1 ~x230900+2048 ~x15732+1024 ~x15731+512 ~x15730+256 ~x15729+128 ~x15728+64 ~x15727+32 ~x15726+16 ~x15725+8 ~x15724+4 ~x15723+2 ~x15722+1 ~x15721-0=8190
14.98/15.04	c 1024 ~x233048+512 ~x233047+256 ~x233046+128 ~x233045+64 ~x233044+32 ~x233043+16 ~x233042+8 ~x233041+4 ~x233040+2 ~x233039+1 ~x233038+1024 ~x18240+512 ~x18239+256 ~x18238+128 ~x18237+64 ~x18236+32 ~x18235+16 ~x18234+8 ~x18233+4 ~x18232+2 ~x18231+1 ~x18230-0=4094
14.98/15.08	c 512 ~x234786+256 ~x234785+128 ~x234784+64 ~x234783+32 ~x234782+16 ~x234781+8 ~x234780+4 ~x234779+2 ~x234778+1 ~x234777+512 ~x16020+256 ~x16019+128 ~x16018+64 ~x16017+32 ~x16016+16 ~x16015+8 ~x16014+4 ~x16013+2 ~x16012+1 ~x16011-0=2046
15.08/15.11	c 1024 ~x236089+512 ~x236088+256 ~x236087+128 ~x236086+64 ~x236085+32 ~x236084+16 ~x236083+8 ~x236082+4 ~x236081+2 ~x236080+1 ~x236079+1024 ~x16296+512 ~x16295+256 ~x16294+128 ~x16293+64 ~x16292+32 ~x16291+16 ~x16290+8 ~x16289+4 ~x16288+2 ~x16287+1 ~x16286-0=4094
15.08/15.16	c 512 ~x237827+256 ~x237826+128 ~x237825+64 ~x237824+32 ~x237823+16 ~x237822+8 ~x237821+4 ~x237820+2 ~x237819+1 ~x237818+512 ~x16583+256 ~x16582+128 ~x16581+64 ~x16580+32 ~x16579+16 ~x16578+8 ~x16577+4 ~x16576+2 ~x16575+1 ~x16574-0=2046
15.08/15.19	c 512 ~x239129+256 ~x239128+128 ~x239127+64 ~x239126+32 ~x239125+16 ~x239124+8 ~x239123+4 ~x239122+2 ~x239121+1 ~x239120+512 ~x17399+256 ~x17398+128 ~x17397+64 ~x17396+32 ~x17395+16 ~x17394+8 ~x17393+4 ~x17392+2 ~x17391+1 ~x17390-0=2046
15.18/15.22	c 512 ~x240431+256 ~x240430+128 ~x240429+64 ~x240428+32 ~x240427+16 ~x240426+8 ~x240425+4 ~x240424+2 ~x240423+1 ~x240422+512 ~x15143+256 ~x15142+128 ~x15141+64 ~x15140+32 ~x15139+16 ~x15138+8 ~x15137+4 ~x15136+2 ~x15135+1 ~x15134-0=2046
15.18/15.26	c 512 ~x241733+256 ~x241732+128 ~x241731+64 ~x241730+32 ~x241729+16 ~x241728+8 ~x241727+4 ~x241726+2 ~x241725+1 ~x241724+512 ~x16847+256 ~x16846+128 ~x16845+64 ~x16844+32 ~x16843+16 ~x16842+8 ~x16841+4 ~x16840+2 ~x16839+1 ~x16838-0=2046
15.18/15.29	c 512 ~x243035+256 ~x243034+128 ~x243033+64 ~x243032+32 ~x243031+16 ~x243030+8 ~x243029+4 ~x243028+2 ~x243027+1 ~x243026+512 ~x17675+256 ~x17674+128 ~x17673+64 ~x17672+32 ~x17671+16 ~x17670+8 ~x17669+4 ~x17668+2 ~x17667+1 ~x17666-0=2046
15.28/15.32	c 2048 ~x244339+1024 ~x244338+512 ~x244337+256 ~x244336+128 ~x244335+64 ~x244334+32 ~x244333+16 ~x244332+8 ~x244331+4 ~x244330+2 ~x244329+1 ~x244328+2048 ~x15433+1024 ~x15432+512 ~x15431+256 ~x15430+128 ~x15429+64 ~x15428+32 ~x15427+16 ~x15426+8 ~x15425+4 ~x15424+2 ~x15423+1 ~x15422-0=8190
15.28/15.38	c 512 ~x246475+256 ~x246474+128 ~x246473+64 ~x246472+32 ~x246471+16 ~x246470+8 ~x246469+4 ~x246468+2 ~x246467+1 ~x246466+512 ~x17123+256 ~x17122+128 ~x17121+64 ~x17120+32 ~x17119+16 ~x17118+8 ~x17117+4 ~x17116+2 ~x17115+1 ~x17114-0=2046
15.39/15.41	c 512 ~x247777+256 ~x247776+128 ~x247775+64 ~x247774+32 ~x247773+16 ~x247772+8 ~x247771+4 ~x247770+2 ~x247769+1 ~x247768+512 ~x17963+256 ~x17962+128 ~x17961+64 ~x17960+32 ~x17959+16 ~x17958+8 ~x17957+4 ~x17956+2 ~x17955+1 ~x17954-0=2046
15.39/15.44	c 2048 ~x249081+1024 ~x249080+512 ~x249079+256 ~x249078+128 ~x249077+64 ~x249076+32 ~x249075+16 ~x249074+8 ~x249073+4 ~x249072+2 ~x249071+1 ~x249070+2048 ~x15745+1024 ~x15744+512 ~x15743+256 ~x15742+128 ~x15741+64 ~x15740+32 ~x15739+16 ~x15738+8 ~x15737+4 ~x15736+2 ~x15735+1 ~x15734-0=8190
15.39/15.50	c 1024 ~x251218+512 ~x251217+256 ~x251216+128 ~x251215+64 ~x251214+32 ~x251213+16 ~x251212+8 ~x251211+4 ~x251210+2 ~x251209+1 ~x251208+1024 ~x18252+512 ~x18251+256 ~x18250+128 ~x18249+64 ~x18248+32 ~x18247+16 ~x18246+8 ~x18245+4 ~x18244+2 ~x18243+1 ~x18242-0=4094
15.49/15.54	c 512 ~x252956+256 ~x252955+128 ~x252954+64 ~x252953+32 ~x252952+16 ~x252951+8 ~x252950+4 ~x252949+2 ~x252948+1 ~x252947+512 ~x16031+256 ~x16030+128 ~x16029+64 ~x16028+32 ~x16027+16 ~x16026+8 ~x16025+4 ~x16024+2 ~x16023+1 ~x16022-0=2046
15.49/15.57	c 1024 ~x254259+512 ~x254258+256 ~x254257+128 ~x254256+64 ~x254255+32 ~x254254+16 ~x254253+8 ~x254252+4 ~x254251+2 ~x254250+1 ~x254249+1024 ~x16308+512 ~x16307+256 ~x16306+128 ~x16305+64 ~x16304+32 ~x16303+16 ~x16302+8 ~x16301+4 ~x16300+2 ~x16299+1 ~x16298-0=4094
15.58/15.62	c 512 ~x255997+256 ~x255996+128 ~x255995+64 ~x255994+32 ~x255993+16 ~x255992+8 ~x255991+4 ~x255990+2 ~x255989+1 ~x255988+512 ~x16594+256 ~x16593+128 ~x16592+64 ~x16591+32 ~x16590+16 ~x16589+8 ~x16588+4 ~x16587+2 ~x16586+1 ~x16585-0=2046
15.58/15.65	c 512 ~x257299+256 ~x257298+128 ~x257297+64 ~x257296+32 ~x257295+16 ~x257294+8 ~x257293+4 ~x257292+2 ~x257291+1 ~x257290+512 ~x17410+256 ~x17409+128 ~x17408+64 ~x17407+32 ~x17406+16 ~x17405+8 ~x17404+4 ~x17403+2 ~x17402+1 ~x17401-0=2046
15.68/15.72	c 512 ~x258601+256 ~x258600+128 ~x258599+64 ~x258598+32 ~x258597+16 ~x258596+8 ~x258595+4 ~x258594+2 ~x258593+1 ~x258592+512 ~x15154+256 ~x15153+128 ~x15152+64 ~x15151+32 ~x15150+16 ~x15149+8 ~x15148+4 ~x15147+2 ~x15146+1 ~x15145-0=2046
15.68/15.72	c 512 ~x259903+256 ~x259902+128 ~x259901+64 ~x259900+32 ~x259899+16 ~x259898+8 ~x259897+4 ~x259896+2 ~x259895+1 ~x259894+512 ~x16858+256 ~x16857+128 ~x16856+64 ~x16855+32 ~x16854+16 ~x16853+8 ~x16852+4 ~x16851+2 ~x16850+1 ~x16849-0=2046
15.68/15.75	c 512 ~x261205+256 ~x261204+128 ~x261203+64 ~x261202+32 ~x261201+16 ~x261200+8 ~x261199+4 ~x261198+2 ~x261197+1 ~x261196+512 ~x17687+256 ~x17686+128 ~x17685+64 ~x17684+32 ~x17683+16 ~x17682+8 ~x17681+4 ~x17680+2 ~x17679+1 ~x17678-0=2046
15.68/15.78	c 2048 ~x262509+1024 ~x262508+512 ~x262507+256 ~x262506+128 ~x262505+64 ~x262504+32 ~x262503+16 ~x262502+8 ~x262501+4 ~x262500+2 ~x262499+1 ~x262498+2048 ~x15446+1024 ~x15445+512 ~x15444+256 ~x15443+128 ~x15442+64 ~x15441+32 ~x15440+16 ~x15439+8 ~x15438+4 ~x15437+2 ~x15436+1 ~x15435-0=8190
15.78/15.84	c 512 ~x264645+256 ~x264644+128 ~x264643+64 ~x264642+32 ~x264641+16 ~x264640+8 ~x264639+4 ~x264638+2 ~x264637+1 ~x264636+512 ~x17135+256 ~x17134+128 ~x17133+64 ~x17132+32 ~x17131+16 ~x17130+8 ~x17129+4 ~x17128+2 ~x17127+1 ~x17126-0=2046
15.78/15.87	c 512 ~x265947+256 ~x265946+128 ~x265945+64 ~x265944+32 ~x265943+16 ~x265942+8 ~x265941+4 ~x265940+2 ~x265939+1 ~x265938+512 ~x17975+256 ~x17974+128 ~x17973+64 ~x17972+32 ~x17971+16 ~x17970+8 ~x17969+4 ~x17968+2 ~x17967+1 ~x17966-0=2046
15.88/15.90	c 2048 ~x267251+1024 ~x267250+512 ~x267249+256 ~x267248+128 ~x267247+64 ~x267246+32 ~x267245+16 ~x267244+8 ~x267243+4 ~x267242+2 ~x267241+1 ~x267240+2048 ~x15758+1024 ~x15757+512 ~x15756+256 ~x15755+128 ~x15754+64 ~x15753+32 ~x15752+16 ~x15751+8 ~x15750+4 ~x15749+2 ~x15748+1 ~x15747-0=8190
15.88/15.96	c 1024 ~x269388+512 ~x269387+256 ~x269386+128 ~x269385+64 ~x269384+32 ~x269383+16 ~x269382+8 ~x269381+4 ~x269380+2 ~x269379+1 ~x269378+1024 ~x18264+512 ~x18263+256 ~x18262+128 ~x18261+64 ~x18260+32 ~x18259+16 ~x18258+8 ~x18257+4 ~x18256+2 ~x18255+1 ~x18254-0=4094
15.98/16.00	c 512 ~x271126+256 ~x271125+128 ~x271124+64 ~x271123+32 ~x271122+16 ~x271121+8 ~x271120+4 ~x271119+2 ~x271118+1 ~x271117+512 ~x16042+256 ~x16041+128 ~x16040+64 ~x16039+32 ~x16038+16 ~x16037+8 ~x16036+4 ~x16035+2 ~x16034+1 ~x16033-0=2046
15.98/16.03	c 1024 ~x272429+512 ~x272428+256 ~x272427+128 ~x272426+64 ~x272425+32 ~x272424+16 ~x272423+8 ~x272422+4 ~x272421+2 ~x272420+1 ~x272419+1024 ~x16320+512 ~x16319+256 ~x16318+128 ~x16317+64 ~x16316+32 ~x16315+16 ~x16314+8 ~x16313+4 ~x16312+2 ~x16311+1 ~x16310-0=4094
15.98/16.08	c 512 ~x274167+256 ~x274166+128 ~x274165+64 ~x274164+32 ~x274163+16 ~x274162+8 ~x274161+4 ~x274160+2 ~x274159+1 ~x274158+512 ~x16605+256 ~x16604+128 ~x16603+64 ~x16602+32 ~x16601+16 ~x16600+8 ~x16599+4 ~x16598+2 ~x16597+1 ~x16596-0=2046
16.08/16.11	c 512 ~x275469+256 ~x275468+128 ~x275467+64 ~x275466+32 ~x275465+16 ~x275464+8 ~x275463+4 ~x275462+2 ~x275461+1 ~x275460+512 ~x17421+256 ~x17420+128 ~x17419+64 ~x17418+32 ~x17417+16 ~x17416+8 ~x17415+4 ~x17414+2 ~x17413+1 ~x17412-0=2046
16.08/16.14	c 512 ~x276771+256 ~x276770+128 ~x276769+64 ~x276768+32 ~x276767+16 ~x276766+8 ~x276765+4 ~x276764+2 ~x276763+1 ~x276762+512 ~x15165+256 ~x15164+128 ~x15163+64 ~x15162+32 ~x15161+16 ~x15160+8 ~x15159+4 ~x15158+2 ~x15157+1 ~x15156-0=2046
16.08/16.18	c 512 ~x278073+256 ~x278072+128 ~x278071+64 ~x278070+32 ~x278069+16 ~x278068+8 ~x278067+4 ~x278066+2 ~x278065+1 ~x278064+512 ~x16869+256 ~x16868+128 ~x16867+64 ~x16866+32 ~x16865+16 ~x16864+8 ~x16863+4 ~x16862+2 ~x16861+1 ~x16860-0=2046
16.18/16.21	c 512 ~x279375+256 ~x279374+128 ~x279373+64 ~x279372+32 ~x279371+16 ~x279370+8 ~x279369+4 ~x279368+2 ~x279367+1 ~x279366+512 ~x17699+256 ~x17698+128 ~x17697+64 ~x17696+32 ~x17695+16 ~x17694+8 ~x17693+4 ~x17692+2 ~x17691+1 ~x17690-0=2046
16.18/16.25	c 2048 ~x280679+1024 ~x280678+512 ~x280677+256 ~x280676+128 ~x280675+64 ~x280674+32 ~x280673+16 ~x280672+8 ~x280671+4 ~x280670+2 ~x280669+1 ~x280668+2048 ~x15459+1024 ~x15458+512 ~x15457+256 ~x15456+128 ~x15455+64 ~x15454+32 ~x15453+16 ~x15452+8 ~x15451+4 ~x15450+2 ~x15449+1 ~x15448-0=8190
16.28/16.30	c 512 ~x282815+256 ~x282814+128 ~x282813+64 ~x282812+32 ~x282811+16 ~x282810+8 ~x282809+4 ~x282808+2 ~x282807+1 ~x282806+512 ~x17147+256 ~x17146+128 ~x17145+64 ~x17144+32 ~x17143+16 ~x17142+8 ~x17141+4 ~x17140+2 ~x17139+1 ~x17138-0=2046
16.28/16.33	c 512 ~x284117+256 ~x284116+128 ~x284115+64 ~x284114+32 ~x284113+16 ~x284112+8 ~x284111+4 ~x284110+2 ~x284109+1 ~x284108+512 ~x17987+256 ~x17986+128 ~x17985+64 ~x17984+32 ~x17983+16 ~x17982+8 ~x17981+4 ~x17980+2 ~x17979+1 ~x17978-0=2046
16.28/16.37	c 2048 ~x285421+1024 ~x285420+512 ~x285419+256 ~x285418+128 ~x285417+64 ~x285416+32 ~x285415+16 ~x285414+8 ~x285413+4 ~x285412+2 ~x285411+1 ~x285410+2048 ~x15771+1024 ~x15770+512 ~x15769+256 ~x15768+128 ~x15767+64 ~x15766+32 ~x15765+16 ~x15764+8 ~x15763+4 ~x15762+2 ~x15761+1 ~x15760-0=8190
16.38/16.42	c 1024 ~x287558+512 ~x287557+256 ~x287556+128 ~x287555+64 ~x287554+32 ~x287553+16 ~x287552+8 ~x287551+4 ~x287550+2 ~x287549+1 ~x287548+1024 ~x18276+512 ~x18275+256 ~x18274+128 ~x18273+64 ~x18272+32 ~x18271+16 ~x18270+8 ~x18269+4 ~x18268+2 ~x18267+1 ~x18266-0=4094
16.38/16.47	c 512 ~x289296+256 ~x289295+128 ~x289294+64 ~x289293+32 ~x289292+16 ~x289291+8 ~x289290+4 ~x289289+2 ~x289288+1 ~x289287+512 ~x16053+256 ~x16052+128 ~x16051+64 ~x16050+32 ~x16049+16 ~x16048+8 ~x16047+4 ~x16046+2 ~x16045+1 ~x16044-0=2046
16.48/16.50	c 1024 ~x290599+512 ~x290598+256 ~x290597+128 ~x290596+64 ~x290595+32 ~x290594+16 ~x290593+8 ~x290592+4 ~x290591+2 ~x290590+1 ~x290589+1024 ~x16332+512 ~x16331+256 ~x16330+128 ~x16329+64 ~x16328+32 ~x16327+16 ~x16326+8 ~x16325+4 ~x16324+2 ~x16323+1 ~x16322-0=4094
16.48/16.54	c 512 ~x292337+256 ~x292336+128 ~x292335+64 ~x292334+32 ~x292333+16 ~x292332+8 ~x292331+4 ~x292330+2 ~x292329+1 ~x292328+512 ~x16616+256 ~x16615+128 ~x16614+64 ~x16613+32 ~x16612+16 ~x16611+8 ~x16610+4 ~x16609+2 ~x16608+1 ~x16607-0=2046
16.48/16.58	c 512 ~x293639+256 ~x293638+128 ~x293637+64 ~x293636+32 ~x293635+16 ~x293634+8 ~x293633+4 ~x293632+2 ~x293631+1 ~x293630+512 ~x17432+256 ~x17431+128 ~x17430+64 ~x17429+32 ~x17428+16 ~x17427+8 ~x17426+4 ~x17425+2 ~x17424+1 ~x17423-0=2046
16.58/16.61	c 512 ~x294941+256 ~x294940+128 ~x294939+64 ~x294938+32 ~x294937+16 ~x294936+8 ~x294935+4 ~x294934+2 ~x294933+1 ~x294932+512 ~x15176+256 ~x15175+128 ~x15174+64 ~x15173+32 ~x15172+16 ~x15171+8 ~x15170+4 ~x15169+2 ~x15168+1 ~x15167-0=2046
16.58/16.64	c 512 ~x296243+256 ~x296242+128 ~x296241+64 ~x296240+32 ~x296239+16 ~x296238+8 ~x296237+4 ~x296236+2 ~x296235+1 ~x296234+512 ~x16880+256 ~x16879+128 ~x16878+64 ~x16877+32 ~x16876+16 ~x16875+8 ~x16874+4 ~x16873+2 ~x16872+1 ~x16871-0=2046
16.58/16.68	c 512 ~x297545+256 ~x297544+128 ~x297543+64 ~x297542+32 ~x297541+16 ~x297540+8 ~x297539+4 ~x297538+2 ~x297537+1 ~x297536+512 ~x17711+256 ~x17710+128 ~x17709+64 ~x17708+32 ~x17707+16 ~x17706+8 ~x17705+4 ~x17704+2 ~x17703+1 ~x17702-0=2046
16.68/16.71	c 2048 ~x298849+1024 ~x298848+512 ~x298847+256 ~x298846+128 ~x298845+64 ~x298844+32 ~x298843+16 ~x298842+8 ~x298841+4 ~x298840+2 ~x298839+1 ~x298838+2048 ~x15472+1024 ~x15471+512 ~x15470+256 ~x15469+128 ~x15468+64 ~x15467+32 ~x15466+16 ~x15465+8 ~x15464+4 ~x15463+2 ~x15462+1 ~x15461-0=8190
16.68/16.76	c 512 ~x300985+256 ~x300984+128 ~x300983+64 ~x300982+32 ~x300981+16 ~x300980+8 ~x300979+4 ~x300978+2 ~x300977+1 ~x300976+512 ~x17159+256 ~x17158+128 ~x17157+64 ~x17156+32 ~x17155+16 ~x17154+8 ~x17153+4 ~x17152+2 ~x17151+1 ~x17150-0=2046
16.68/16.79	c 512 ~x302287+256 ~x302286+128 ~x302285+64 ~x302284+32 ~x302283+16 ~x302282+8 ~x302281+4 ~x302280+2 ~x302279+1 ~x302278+512 ~x17999+256 ~x17998+128 ~x17997+64 ~x17996+32 ~x17995+16 ~x17994+8 ~x17993+4 ~x17992+2 ~x17991+1 ~x17990-0=2046
16.78/16.83	c 2048 ~x303591+1024 ~x303590+512 ~x303589+256 ~x303588+128 ~x303587+64 ~x303586+32 ~x303585+16 ~x303584+8 ~x303583+4 ~x303582+2 ~x303581+1 ~x303580+2048 ~x15784+1024 ~x15783+512 ~x15782+256 ~x15781+128 ~x15780+64 ~x15779+32 ~x15778+16 ~x15777+8 ~x15776+4 ~x15775+2 ~x15774+1 ~x15773-0=8190
16.78/16.88	c 1024 ~x305728+512 ~x305727+256 ~x305726+128 ~x305725+64 ~x305724+32 ~x305723+16 ~x305722+8 ~x305721+4 ~x305720+2 ~x305719+1 ~x305718+1024 ~x18288+512 ~x18287+256 ~x18286+128 ~x18285+64 ~x18284+32 ~x18283+16 ~x18282+8 ~x18281+4 ~x18280+2 ~x18279+1 ~x18278-0=4094
16.88/16.92	c 512 ~x307466+256 ~x307465+128 ~x307464+64 ~x307463+32 ~x307462+16 ~x307461+8 ~x307460+4 ~x307459+2 ~x307458+1 ~x307457+512 ~x16064+256 ~x16063+128 ~x16062+64 ~x16061+32 ~x16060+16 ~x16059+8 ~x16058+4 ~x16057+2 ~x16056+1 ~x16055-0=2046
16.88/16.96	c 1024 ~x308769+512 ~x308768+256 ~x308767+128 ~x308766+64 ~x308765+32 ~x308764+16 ~x308763+8 ~x308762+4 ~x308761+2 ~x308760+1 ~x308759+1024 ~x16344+512 ~x16343+256 ~x16342+128 ~x16341+64 ~x16340+32 ~x16339+16 ~x16338+8 ~x16337+4 ~x16336+2 ~x16335+1 ~x16334-0=4094
16.98/17.00	c 512 ~x310507+256 ~x310506+128 ~x310505+64 ~x310504+32 ~x310503+16 ~x310502+8 ~x310501+4 ~x310500+2 ~x310499+1 ~x310498+512 ~x16627+256 ~x16626+128 ~x16625+64 ~x16624+32 ~x16623+16 ~x16622+8 ~x16621+4 ~x16620+2 ~x16619+1 ~x16618-0=2046
16.98/17.04	c 512 ~x311809+256 ~x311808+128 ~x311807+64 ~x311806+32 ~x311805+16 ~x311804+8 ~x311803+4 ~x311802+2 ~x311801+1 ~x311800+512 ~x17443+256 ~x17442+128 ~x17441+64 ~x17440+32 ~x17439+16 ~x17438+8 ~x17437+4 ~x17436+2 ~x17435+1 ~x17434-0=2046
16.98/17.07	c 512 ~x313111+256 ~x313110+128 ~x313109+64 ~x313108+32 ~x313107+16 ~x313106+8 ~x313105+4 ~x313104+2 ~x313103+1 ~x313102+512 ~x15187+256 ~x15186+128 ~x15185+64 ~x15184+32 ~x15183+16 ~x15182+8 ~x15181+4 ~x15180+2 ~x15179+1 ~x15178-0=2046
17.08/17.10	c 512 ~x314413+256 ~x314412+128 ~x314411+64 ~x314410+32 ~x314409+16 ~x314408+8 ~x314407+4 ~x314406+2 ~x314405+1 ~x314404+512 ~x16891+256 ~x16890+128 ~x16889+64 ~x16888+32 ~x16887+16 ~x16886+8 ~x16885+4 ~x16884+2 ~x16883+1 ~x16882-0=2046
17.08/17.14	c 512 ~x315715+256 ~x315714+128 ~x315713+64 ~x315712+32 ~x315711+16 ~x315710+8 ~x315709+4 ~x315708+2 ~x315707+1 ~x315706+512 ~x17723+256 ~x17722+128 ~x17721+64 ~x17720+32 ~x17719+16 ~x17718+8 ~x17717+4 ~x17716+2 ~x17715+1 ~x17714-0=2046
17.08/17.17	c 2048 ~x317019+1024 ~x317018+512 ~x317017+256 ~x317016+128 ~x317015+64 ~x317014+32 ~x317013+16 ~x317012+8 ~x317011+4 ~x317010+2 ~x317009+1 ~x317008+2048 ~x15485+1024 ~x15484+512 ~x15483+256 ~x15482+128 ~x15481+64 ~x15480+32 ~x15479+16 ~x15478+8 ~x15477+4 ~x15476+2 ~x15475+1 ~x15474-0=8190
17.18/17.22	c 512 ~x319155+256 ~x319154+128 ~x319153+64 ~x319152+32 ~x319151+16 ~x319150+8 ~x319149+4 ~x319148+2 ~x319147+1 ~x319146+512 ~x17171+256 ~x17170+128 ~x17169+64 ~x17168+32 ~x17167+16 ~x17166+8 ~x17165+4 ~x17164+2 ~x17163+1 ~x17162-0=2046
17.18/17.25	c 512 ~x320457+256 ~x320456+128 ~x320455+64 ~x320454+32 ~x320453+16 ~x320452+8 ~x320451+4 ~x320450+2 ~x320449+1 ~x320448+512 ~x18011+256 ~x18010+128 ~x18009+64 ~x18008+32 ~x18007+16 ~x18006+8 ~x18005+4 ~x18004+2 ~x18003+1 ~x18002-0=2046
17.18/17.29	c 2048 ~x321761+1024 ~x321760+512 ~x321759+256 ~x321758+128 ~x321757+64 ~x321756+32 ~x321755+16 ~x321754+8 ~x321753+4 ~x321752+2 ~x321751+1 ~x321750+2048 ~x15797+1024 ~x15796+512 ~x15795+256 ~x15794+128 ~x15793+64 ~x15792+32 ~x15791+16 ~x15790+8 ~x15789+4 ~x15788+2 ~x15787+1 ~x15786-0=8190
17.28/17.34	c 1024 ~x323898+512 ~x323897+256 ~x323896+128 ~x323895+64 ~x323894+32 ~x323893+16 ~x323892+8 ~x323891+4 ~x323890+2 ~x323889+1 ~x323888+1024 ~x18300+512 ~x18299+256 ~x18298+128 ~x18297+64 ~x18296+32 ~x18295+16 ~x18294+8 ~x18293+4 ~x18292+2 ~x18291+1 ~x18290-0=4094
17.28/17.39	c 512 ~x325636+256 ~x325635+128 ~x325634+64 ~x325633+32 ~x325632+16 ~x325631+8 ~x325630+4 ~x325629+2 ~x325628+1 ~x325627+512 ~x16075+256 ~x16074+128 ~x16073+64 ~x16072+32 ~x16071+16 ~x16070+8 ~x16069+4 ~x16068+2 ~x16067+1 ~x16066-0=2046
17.38/17.42	c 1024 ~x326939+512 ~x326938+256 ~x326937+128 ~x326936+64 ~x326935+32 ~x326934+16 ~x326933+8 ~x326932+4 ~x326931+2 ~x326930+1 ~x326929+1024 ~x16356+512 ~x16355+256 ~x16354+128 ~x16353+64 ~x16352+32 ~x16351+16 ~x16350+8 ~x16349+4 ~x16348+2 ~x16347+1 ~x16346-0=4094
17.38/17.46	c 512 ~x328677+256 ~x328676+128 ~x328675+64 ~x328674+32 ~x328673+16 ~x328672+8 ~x328671+4 ~x328670+2 ~x328669+1 ~x328668+512 ~x16638+256 ~x16637+128 ~x16636+64 ~x16635+32 ~x16634+16 ~x16633+8 ~x16632+4 ~x16631+2 ~x16630+1 ~x16629-0=2046
17.48/17.53	c 512 ~x329979+256 ~x329978+128 ~x329977+64 ~x329976+32 ~x329975+16 ~x329974+8 ~x329973+4 ~x329972+2 ~x329971+1 ~x329970+512 ~x17454+256 ~x17453+128 ~x17452+64 ~x17451+32 ~x17450+16 ~x17449+8 ~x17448+4 ~x17447+2 ~x17446+1 ~x17445-0=2046
17.48/17.53	c 512 ~x331281+256 ~x331280+128 ~x331279+64 ~x331278+32 ~x331277+16 ~x331276+8 ~x331275+4 ~x331274+2 ~x331273+1 ~x331272+512 ~x15198+256 ~x15197+128 ~x15196+64 ~x15195+32 ~x15194+16 ~x15193+8 ~x15192+4 ~x15191+2 ~x15190+1 ~x15189-0=2046
17.48/17.56	c 512 ~x332583+256 ~x332582+128 ~x332581+64 ~x332580+32 ~x332579+16 ~x332578+8 ~x332577+4 ~x332576+2 ~x332575+1 ~x332574+512 ~x16902+256 ~x16901+128 ~x16900+64 ~x16899+32 ~x16898+16 ~x16897+8 ~x16896+4 ~x16895+2 ~x16894+1 ~x16893-0=2046
17.48/17.59	c 512 ~x333885+256 ~x333884+128 ~x333883+64 ~x333882+32 ~x333881+16 ~x333880+8 ~x333879+4 ~x333878+2 ~x333877+1 ~x333876+512 ~x17735+256 ~x17734+128 ~x17733+64 ~x17732+32 ~x17731+16 ~x17730+8 ~x17729+4 ~x17728+2 ~x17727+1 ~x17726-0=2046
17.59/17.63	c 2048 ~x335189+1024 ~x335188+512 ~x335187+256 ~x335186+128 ~x335185+64 ~x335184+32 ~x335183+16 ~x335182+8 ~x335181+4 ~x335180+2 ~x335179+1 ~x335178+2048 ~x15498+1024 ~x15497+512 ~x15496+256 ~x15495+128 ~x15494+64 ~x15493+32 ~x15492+16 ~x15491+8 ~x15490+4 ~x15489+2 ~x15488+1 ~x15487-0=8190
17.59/17.68	c 512 ~x337325+256 ~x337324+128 ~x337323+64 ~x337322+32 ~x337321+16 ~x337320+8 ~x337319+4 ~x337318+2 ~x337317+1 ~x337316+512 ~x17183+256 ~x17182+128 ~x17181+64 ~x17180+32 ~x17179+16 ~x17178+8 ~x17177+4 ~x17176+2 ~x17175+1 ~x17174-0=2046
17.69/17.71	c 512 ~x338627+256 ~x338626+128 ~x338625+64 ~x338624+32 ~x338623+16 ~x338622+8 ~x338621+4 ~x338620+2 ~x338619+1 ~x338618+512 ~x18023+256 ~x18022+128 ~x18021+64 ~x18020+32 ~x18019+16 ~x18018+8 ~x18017+4 ~x18016+2 ~x18015+1 ~x18014-0=2046
17.69/17.75	c 2048 ~x339931+1024 ~x339930+512 ~x339929+256 ~x339928+128 ~x339927+64 ~x339926+32 ~x339925+16 ~x339924+8 ~x339923+4 ~x339922+2 ~x339921+1 ~x339920+2048 ~x15810+1024 ~x15809+512 ~x15808+256 ~x15807+128 ~x15806+64 ~x15805+32 ~x15804+16 ~x15803+8 ~x15802+4 ~x15801+2 ~x15800+1 ~x15799-0=8190
17.78/17.80	c 1024 ~x342068+512 ~x342067+256 ~x342066+128 ~x342065+64 ~x342064+32 ~x342063+16 ~x342062+8 ~x342061+4 ~x342060+2 ~x342059+1 ~x342058+1024 ~x18312+512 ~x18311+256 ~x18310+128 ~x18309+64 ~x18308+32 ~x18307+16 ~x18306+8 ~x18305+4 ~x18304+2 ~x18303+1 ~x18302-0=4094
17.78/17.84	c 512 ~x343806+256 ~x343805+128 ~x343804+64 ~x343803+32 ~x343802+16 ~x343801+8 ~x343800+4 ~x343799+2 ~x343798+1 ~x343797+512 ~x16086+256 ~x16085+128 ~x16084+64 ~x16083+32 ~x16082+16 ~x16081+8 ~x16080+4 ~x16079+2 ~x16078+1 ~x16077-0=2046
17.78/17.88	c 1024 ~x345109+512 ~x345108+256 ~x345107+128 ~x345106+64 ~x345105+32 ~x345104+16 ~x345103+8 ~x345102+4 ~x345101+2 ~x345100+1 ~x345099+1024 ~x16368+512 ~x16367+256 ~x16366+128 ~x16365+64 ~x16364+32 ~x16363+16 ~x16362+8 ~x16361+4 ~x16360+2 ~x16359+1 ~x16358-0=4094
17.88/17.93	c 512 ~x346847+256 ~x346846+128 ~x346845+64 ~x346844+32 ~x346843+16 ~x346842+8 ~x346841+4 ~x346840+2 ~x346839+1 ~x346838+512 ~x16649+256 ~x16648+128 ~x16647+64 ~x16646+32 ~x16645+16 ~x16644+8 ~x16643+4 ~x16642+2 ~x16641+1 ~x16640-0=2046
17.88/17.96	c 512 ~x348149+256 ~x348148+128 ~x348147+64 ~x348146+32 ~x348145+16 ~x348144+8 ~x348143+4 ~x348142+2 ~x348141+1 ~x348140+512 ~x17465+256 ~x17464+128 ~x17463+64 ~x17462+32 ~x17461+16 ~x17460+8 ~x17459+4 ~x17458+2 ~x17457+1 ~x17456-0=2046
17.88/18.00	c 512 ~x349451+256 ~x349450+128 ~x349449+64 ~x349448+32 ~x349447+16 ~x349446+8 ~x349445+4 ~x349444+2 ~x349443+1 ~x349442+512 ~x15209+256 ~x15208+128 ~x15207+64 ~x15206+32 ~x15205+16 ~x15204+8 ~x15203+4 ~x15202+2 ~x15201+1 ~x15200-0=2046
17.98/18.03	c 512 ~x350753+256 ~x350752+128 ~x350751+64 ~x350750+32 ~x350749+16 ~x350748+8 ~x350747+4 ~x350746+2 ~x350745+1 ~x350744+512 ~x16913+256 ~x16912+128 ~x16911+64 ~x16910+32 ~x16909+16 ~x16908+8 ~x16907+4 ~x16906+2 ~x16905+1 ~x16904-0=2046
17.98/18.06	c 512 ~x352055+256 ~x352054+128 ~x352053+64 ~x352052+32 ~x352051+16 ~x352050+8 ~x352049+4 ~x352048+2 ~x352047+1 ~x352046+512 ~x17747+256 ~x17746+128 ~x17745+64 ~x17744+32 ~x17743+16 ~x17742+8 ~x17741+4 ~x17740+2 ~x17739+1 ~x17738-0=2046
17.98/18.10	c 2048 ~x353359+1024 ~x353358+512 ~x353357+256 ~x353356+128 ~x353355+64 ~x353354+32 ~x353353+16 ~x353352+8 ~x353351+4 ~x353350+2 ~x353349+1 ~x353348+2048 ~x15511+1024 ~x15510+512 ~x15509+256 ~x15508+128 ~x15507+64 ~x15506+32 ~x15505+16 ~x15504+8 ~x15503+4 ~x15502+2 ~x15501+1 ~x15500-0=8190
18.08/18.15	c 512 ~x355495+256 ~x355494+128 ~x355493+64 ~x355492+32 ~x355491+16 ~x355490+8 ~x355489+4 ~x355488+2 ~x355487+1 ~x355486+512 ~x17195+256 ~x17194+128 ~x17193+64 ~x17192+32 ~x17191+16 ~x17190+8 ~x17189+4 ~x17188+2 ~x17187+1 ~x17186-0=2046
18.08/18.18	c 512 ~x356797+256 ~x356796+128 ~x356795+64 ~x356794+32 ~x356793+16 ~x356792+8 ~x356791+4 ~x356790+2 ~x356789+1 ~x356788+512 ~x18035+256 ~x18034+128 ~x18033+64 ~x18032+32 ~x18031+16 ~x18030+8 ~x18029+4 ~x18028+2 ~x18027+1 ~x18026-0=2046
18.18/18.21	c 2048 ~x358101+1024 ~x358100+512 ~x358099+256 ~x358098+128 ~x358097+64 ~x358096+32 ~x358095+16 ~x358094+8 ~x358093+4 ~x358092+2 ~x358091+1 ~x358090+2048 ~x15823+1024 ~x15822+512 ~x15821+256 ~x15820+128 ~x15819+64 ~x15818+32 ~x15817+16 ~x15816+8 ~x15815+4 ~x15814+2 ~x15813+1 ~x15812-0=8190
18.18/18.27	c 1024 ~x360238+512 ~x360237+256 ~x360236+128 ~x360235+64 ~x360234+32 ~x360233+16 ~x360232+8 ~x360231+4 ~x360230+2 ~x360229+1 ~x360228+1024 ~x18324+512 ~x18323+256 ~x18322+128 ~x18321+64 ~x18320+32 ~x18319+16 ~x18318+8 ~x18317+4 ~x18316+2 ~x18315+1 ~x18314-0=4094
18.28/18.31	c 512 ~x361976+256 ~x361975+128 ~x361974+64 ~x361973+32 ~x361972+16 ~x361971+8 ~x361970+4 ~x361969+2 ~x361968+1 ~x361967+512 ~x16097+256 ~x16096+128 ~x16095+64 ~x16094+32 ~x16093+16 ~x16092+8 ~x16091+4 ~x16090+2 ~x16089+1 ~x16088-0=2046
18.28/18.35	c 1024 ~x363279+512 ~x363278+256 ~x363277+128 ~x363276+64 ~x363275+32 ~x363274+16 ~x363273+8 ~x363272+4 ~x363271+2 ~x363270+1 ~x363269+1024 ~x16380+512 ~x16379+256 ~x16378+128 ~x16377+64 ~x16376+32 ~x16375+16 ~x16374+8 ~x16373+4 ~x16372+2 ~x16371+1 ~x16370-0=4094
18.28/18.39	c 512 ~x365017+256 ~x365016+128 ~x365015+64 ~x365014+32 ~x365013+16 ~x365012+8 ~x365011+4 ~x365010+2 ~x365009+1 ~x365008+512 ~x16660+256 ~x16659+128 ~x16658+64 ~x16657+32 ~x16656+16 ~x16655+8 ~x16654+4 ~x16653+2 ~x16652+1 ~x16651-0=2046
18.38/18.42	c 512 ~x366319+256 ~x366318+128 ~x366317+64 ~x366316+32 ~x366315+16 ~x366314+8 ~x366313+4 ~x366312+2 ~x366311+1 ~x366310+512 ~x17476+256 ~x17475+128 ~x17474+64 ~x17473+32 ~x17472+16 ~x17471+8 ~x17470+4 ~x17469+2 ~x17468+1 ~x17467-0=2046
18.38/18.46	c 512 ~x367621+256 ~x367620+128 ~x367619+64 ~x367618+32 ~x367617+16 ~x367616+8 ~x367615+4 ~x367614+2 ~x367613+1 ~x367612+512 ~x15220+256 ~x15219+128 ~x15218+64 ~x15217+32 ~x15216+16 ~x15215+8 ~x15214+4 ~x15213+2 ~x15212+1 ~x15211-0=2046
18.38/18.49	c 512 ~x368923+256 ~x368922+128 ~x368921+64 ~x368920+32 ~x368919+16 ~x368918+8 ~x368917+4 ~x368916+2 ~x368915+1 ~x368914+512 ~x16924+256 ~x16923+128 ~x16922+64 ~x16921+32 ~x16920+16 ~x16919+8 ~x16918+4 ~x16917+2 ~x16916+1 ~x16915-0=2046
18.47/18.52	c 512 ~x370225+256 ~x370224+128 ~x370223+64 ~x370222+32 ~x370221+16 ~x370220+8 ~x370219+4 ~x370218+2 ~x370217+1 ~x370216+512 ~x17759+256 ~x17758+128 ~x17757+64 ~x17756+32 ~x17755+16 ~x17754+8 ~x17753+4 ~x17752+2 ~x17751+1 ~x17750-0=2046
18.47/18.56	c 2048 ~x371529+1024 ~x371528+512 ~x371527+256 ~x371526+128 ~x371525+64 ~x371524+32 ~x371523+16 ~x371522+8 ~x371521+4 ~x371520+2 ~x371519+1 ~x371518+2048 ~x15524+1024 ~x15523+512 ~x15522+256 ~x15521+128 ~x15520+64 ~x15519+32 ~x15518+16 ~x15517+8 ~x15516+4 ~x15515+2 ~x15514+1 ~x15513-0=8190
18.58/18.61	c 512 ~x373665+256 ~x373664+128 ~x373663+64 ~x373662+32 ~x373661+16 ~x373660+8 ~x373659+4 ~x373658+2 ~x373657+1 ~x373656+512 ~x17207+256 ~x17206+128 ~x17205+64 ~x17204+32 ~x17203+16 ~x17202+8 ~x17201+4 ~x17200+2 ~x17199+1 ~x17198-0=2046
18.58/18.64	c 512 ~x374967+256 ~x374966+128 ~x374965+64 ~x374964+32 ~x374963+16 ~x374962+8 ~x374961+4 ~x374960+2 ~x374959+1 ~x374958+512 ~x18047+256 ~x18046+128 ~x18045+64 ~x18044+32 ~x18043+16 ~x18042+8 ~x18041+4 ~x18040+2 ~x18039+1 ~x18038-0=2046
18.58/18.67	c 2048 ~x376271+1024 ~x376270+512 ~x376269+256 ~x376268+128 ~x376267+64 ~x376266+32 ~x376265+16 ~x376264+8 ~x376263+4 ~x376262+2 ~x376261+1 ~x376260+2048 ~x15836+1024 ~x15835+512 ~x15834+256 ~x15833+128 ~x15832+64 ~x15831+32 ~x15830+16 ~x15829+8 ~x15828+4 ~x15827+2 ~x15826+1 ~x15825-0=8190
18.69/18.73	c 1024 ~x378408+512 ~x378407+256 ~x378406+128 ~x378405+64 ~x378404+32 ~x378403+16 ~x378402+8 ~x378401+4 ~x378400+2 ~x378399+1 ~x378398+1024 ~x18336+512 ~x18335+256 ~x18334+128 ~x18333+64 ~x18332+32 ~x18331+16 ~x18330+8 ~x18329+4 ~x18328+2 ~x18327+1 ~x18326-0=4094
18.69/18.77	c 512 ~x380146+256 ~x380145+128 ~x380144+64 ~x380143+32 ~x380142+16 ~x380141+8 ~x380140+4 ~x380139+2 ~x380138+1 ~x380137+512 ~x16108+256 ~x16107+128 ~x16106+64 ~x16105+32 ~x16104+16 ~x16103+8 ~x16102+4 ~x16101+2 ~x16100+1 ~x16099-0=2046
18.79/18.81	c 1024 ~x381449+512 ~x381448+256 ~x381447+128 ~x381446+64 ~x381445+32 ~x381444+16 ~x381443+8 ~x381442+4 ~x381441+2 ~x381440+1 ~x381439+1024 ~x16392+512 ~x16391+256 ~x16390+128 ~x16389+64 ~x16388+32 ~x16387+16 ~x16386+8 ~x16385+4 ~x16384+2 ~x16383+1 ~x16382-0=4094
18.79/18.85	c 512 ~x383187+256 ~x383186+128 ~x383185+64 ~x383184+32 ~x383183+16 ~x383182+8 ~x383181+4 ~x383180+2 ~x383179+1 ~x383178+512 ~x16671+256 ~x16670+128 ~x16669+64 ~x16668+32 ~x16667+16 ~x16666+8 ~x16665+4 ~x16664+2 ~x16663+1 ~x16662-0=2046
18.79/18.88	c 512 ~x384489+256 ~x384488+128 ~x384487+64 ~x384486+32 ~x384485+16 ~x384484+8 ~x384483+4 ~x384482+2 ~x384481+1 ~x384480+512 ~x17487+256 ~x17486+128 ~x17485+64 ~x17484+32 ~x17483+16 ~x17482+8 ~x17481+4 ~x17480+2 ~x17479+1 ~x17478-0=2046
18.88/18.92	c 512 ~x385791+256 ~x385790+128 ~x385789+64 ~x385788+32 ~x385787+16 ~x385786+8 ~x385785+4 ~x385784+2 ~x385783+1 ~x385782+512 ~x15231+256 ~x15230+128 ~x15229+64 ~x15228+32 ~x15227+16 ~x15226+8 ~x15225+4 ~x15224+2 ~x15223+1 ~x15222-0=2046
18.88/18.95	c 512 ~x387093+256 ~x387092+128 ~x387091+64 ~x387090+32 ~x387089+16 ~x387088+8 ~x387087+4 ~x387086+2 ~x387085+1 ~x387084+512 ~x16935+256 ~x16934+128 ~x16933+64 ~x16932+32 ~x16931+16 ~x16930+8 ~x16929+4 ~x16928+2 ~x16927+1 ~x16926-0=2046
18.98/19.02	c 512 ~x388395+256 ~x388394+128 ~x388393+64 ~x388392+32 ~x388391+16 ~x388390+8 ~x388389+4 ~x388388+2 ~x388387+1 ~x388386+512 ~x17771+256 ~x17770+128 ~x17769+64 ~x17768+32 ~x17767+16 ~x17766+8 ~x17765+4 ~x17764+2 ~x17763+1 ~x17762-0=2046
18.98/19.02	c 2048 ~x389699+1024 ~x389698+512 ~x389697+256 ~x389696+128 ~x389695+64 ~x389694+32 ~x389693+16 ~x389692+8 ~x389691+4 ~x389690+2 ~x389689+1 ~x389688+2048 ~x15537+1024 ~x15536+512 ~x15535+256 ~x15534+128 ~x15533+64 ~x15532+32 ~x15531+16 ~x15530+8 ~x15529+4 ~x15528+2 ~x15527+1 ~x15526-0=8190
18.98/19.07	c 512 ~x391835+256 ~x391834+128 ~x391833+64 ~x391832+32 ~x391831+16 ~x391830+8 ~x391829+4 ~x391828+2 ~x391827+1 ~x391826+512 ~x17219+256 ~x17218+128 ~x17217+64 ~x17216+32 ~x17215+16 ~x17214+8 ~x17213+4 ~x17212+2 ~x17211+1 ~x17210-0=2046
19.08/19.13	c 512 ~x393137+256 ~x393136+128 ~x393135+64 ~x393134+32 ~x393133+16 ~x393132+8 ~x393131+4 ~x393130+2 ~x393129+1 ~x393128+512 ~x18059+256 ~x18058+128 ~x18057+64 ~x18056+32 ~x18055+16 ~x18054+8 ~x18053+4 ~x18052+2 ~x18051+1 ~x18050-0=2046
19.08/19.13	c 2048 ~x394441+1024 ~x394440+512 ~x394439+256 ~x394438+128 ~x394437+64 ~x394436+32 ~x394435+16 ~x394434+8 ~x394433+4 ~x394432+2 ~x394431+1 ~x394430+2048 ~x15849+1024 ~x15848+512 ~x15847+256 ~x15846+128 ~x15845+64 ~x15844+32 ~x15843+16 ~x15842+8 ~x15841+4 ~x15840+2 ~x15839+1 ~x15838-0=8190
19.08/19.19	c 1024 ~x396578+512 ~x396577+256 ~x396576+128 ~x396575+64 ~x396574+32 ~x396573+16 ~x396572+8 ~x396571+4 ~x396570+2 ~x396569+1 ~x396568+1024 ~x18348+512 ~x18347+256 ~x18346+128 ~x18345+64 ~x18344+32 ~x18343+16 ~x18342+8 ~x18341+4 ~x18340+2 ~x18339+1 ~x18338-0=4094
19.18/19.23	c 512 ~x398316+256 ~x398315+128 ~x398314+64 ~x398313+32 ~x398312+16 ~x398311+8 ~x398310+4 ~x398309+2 ~x398308+1 ~x398307+512 ~x16119+256 ~x16118+128 ~x16117+64 ~x16116+32 ~x16115+16 ~x16114+8 ~x16113+4 ~x16112+2 ~x16111+1 ~x16110-0=2046
19.18/19.27	c 1024 ~x399619+512 ~x399618+256 ~x399617+128 ~x399616+64 ~x399615+32 ~x399614+16 ~x399613+8 ~x399612+4 ~x399611+2 ~x399610+1 ~x399609+1024 ~x16404+512 ~x16403+256 ~x16402+128 ~x16401+64 ~x16400+32 ~x16399+16 ~x16398+8 ~x16397+4 ~x16396+2 ~x16395+1 ~x16394-0=4094
19.28/19.31	c 512 ~x401357+256 ~x401356+128 ~x401355+64 ~x401354+32 ~x401353+16 ~x401352+8 ~x401351+4 ~x401350+2 ~x401349+1 ~x401348+512 ~x16682+256 ~x16681+128 ~x16680+64 ~x16679+32 ~x16678+16 ~x16677+8 ~x16676+4 ~x16675+2 ~x16674+1 ~x16673-0=2046
19.28/19.38	c 512 ~x402659+256 ~x402658+128 ~x402657+64 ~x402656+32 ~x402655+16 ~x402654+8 ~x402653+4 ~x402652+2 ~x402651+1 ~x402650+512 ~x17498+256 ~x17497+128 ~x17496+64 ~x17495+32 ~x17494+16 ~x17493+8 ~x17492+4 ~x17491+2 ~x17490+1 ~x17489-0=2046
19.28/19.38	c 512 ~x403961+256 ~x403960+128 ~x403959+64 ~x403958+32 ~x403957+16 ~x403956+8 ~x403955+4 ~x403954+2 ~x403953+1 ~x403952+512 ~x15242+256 ~x15241+128 ~x15240+64 ~x15239+32 ~x15238+16 ~x15237+8 ~x15236+4 ~x15235+2 ~x15234+1 ~x15233-0=2046
19.38/19.41	c 512 ~x405263+256 ~x405262+128 ~x405261+64 ~x405260+32 ~x405259+16 ~x405258+8 ~x405257+4 ~x405256+2 ~x405255+1 ~x405254+512 ~x16946+256 ~x16945+128 ~x16944+64 ~x16943+32 ~x16942+16 ~x16941+8 ~x16940+4 ~x16939+2 ~x16938+1 ~x16937-0=2046
19.38/19.44	c 512 ~x406565+256 ~x406564+128 ~x406563+64 ~x406562+32 ~x406561+16 ~x406560+8 ~x406559+4 ~x406558+2 ~x406557+1 ~x406556+512 ~x17783+256 ~x17782+128 ~x17781+64 ~x17780+32 ~x17779+16 ~x17778+8 ~x17777+4 ~x17776+2 ~x17775+1 ~x17774-0=2046
19.38/19.47	c 2048 ~x407869+1024 ~x407868+512 ~x407867+256 ~x407866+128 ~x407865+64 ~x407864+32 ~x407863+16 ~x407862+8 ~x407861+4 ~x407860+2 ~x407859+1 ~x407858+2048 ~x15550+1024 ~x15549+512 ~x15548+256 ~x15547+128 ~x15546+64 ~x15545+32 ~x15544+16 ~x15543+8 ~x15542+4 ~x15541+2 ~x15540+1 ~x15539-0=8190
19.48/19.53	c 512 ~x410005+256 ~x410004+128 ~x410003+64 ~x410002+32 ~x410001+16 ~x410000+8 ~x409999+4 ~x409998+2 ~x409997+1 ~x409996+512 ~x17231+256 ~x17230+128 ~x17229+64 ~x17228+32 ~x17227+16 ~x17226+8 ~x17225+4 ~x17224+2 ~x17223+1 ~x17222-0=2046
19.48/19.56	c 512 ~x411307+256 ~x411306+128 ~x411305+64 ~x411304+32 ~x411303+16 ~x411302+8 ~x411301+4 ~x411300+2 ~x411299+1 ~x411298+512 ~x18071+256 ~x18070+128 ~x18069+64 ~x18068+32 ~x18067+16 ~x18066+8 ~x18065+4 ~x18064+2 ~x18063+1 ~x18062-0=2046
19.48/19.59	c 2048 ~x412611+1024 ~x412610+512 ~x412609+256 ~x412608+128 ~x412607+64 ~x412606+32 ~x412605+16 ~x412604+8 ~x412603+4 ~x412602+2 ~x412601+1 ~x412600+2048 ~x15862+1024 ~x15861+512 ~x15860+256 ~x15859+128 ~x15858+64 ~x15857+32 ~x15856+16 ~x15855+8 ~x15854+4 ~x15853+2 ~x15852+1 ~x15851-0=8190
19.58/19.65	c 1024 ~x414748+512 ~x414747+256 ~x414746+128 ~x414745+64 ~x414744+32 ~x414743+16 ~x414742+8 ~x414741+4 ~x414740+2 ~x414739+1 ~x414738+1024 ~x18360+512 ~x18359+256 ~x18358+128 ~x18357+64 ~x18356+32 ~x18355+16 ~x18354+8 ~x18353+4 ~x18352+2 ~x18351+1 ~x18350-0=4094
19.58/19.69	c 512 ~x416486+256 ~x416485+128 ~x416484+64 ~x416483+32 ~x416482+16 ~x416481+8 ~x416480+4 ~x416479+2 ~x416478+1 ~x416477+512 ~x16130+256 ~x16129+128 ~x16128+64 ~x16127+32 ~x16126+16 ~x16125+8 ~x16124+4 ~x16123+2 ~x16122+1 ~x16121-0=2046
19.68/19.72	c 1024 ~x417789+512 ~x417788+256 ~x417787+128 ~x417786+64 ~x417785+32 ~x417784+16 ~x417783+8 ~x417782+4 ~x417781+2 ~x417780+1 ~x417779+1024 ~x16416+512 ~x16415+256 ~x16414+128 ~x16413+64 ~x16412+32 ~x16411+16 ~x16410+8 ~x16409+4 ~x16408+2 ~x16407+1 ~x16406-0=4094
19.68/19.77	c 512 ~x419527+256 ~x419526+128 ~x419525+64 ~x419524+32 ~x419523+16 ~x419522+8 ~x419521+4 ~x419520+2 ~x419519+1 ~x419518+512 ~x16693+256 ~x16692+128 ~x16691+64 ~x16690+32 ~x16689+16 ~x16688+8 ~x16687+4 ~x16686+2 ~x16685+1 ~x16684-0=2046
19.78/19.80	c 512 ~x420829+256 ~x420828+128 ~x420827+64 ~x420826+32 ~x420825+16 ~x420824+8 ~x420823+4 ~x420822+2 ~x420821+1 ~x420820+512 ~x17509+256 ~x17508+128 ~x17507+64 ~x17506+32 ~x17505+16 ~x17504+8 ~x17503+4 ~x17502+2 ~x17501+1 ~x17500-0=2046
19.78/19.84	c 512 ~x422131+256 ~x422130+128 ~x422129+64 ~x422128+32 ~x422127+16 ~x422126+8 ~x422125+4 ~x422124+2 ~x422123+1 ~x422122+512 ~x15253+256 ~x15252+128 ~x15251+64 ~x15250+32 ~x15249+16 ~x15248+8 ~x15247+4 ~x15246+2 ~x15245+1 ~x15244-0=2046
19.78/19.87	c 512 ~x423433+256 ~x423432+128 ~x423431+64 ~x423430+32 ~x423429+16 ~x423428+8 ~x423427+4 ~x423426+2 ~x423425+1 ~x423424+512 ~x16957+256 ~x16956+128 ~x16955+64 ~x16954+32 ~x16953+16 ~x16952+8 ~x16951+4 ~x16950+2 ~x16949+1 ~x16948-0=2046
19.78/19.90	c 512 ~x424735+256 ~x424734+128 ~x424733+64 ~x424732+32 ~x424731+16 ~x424730+8 ~x424729+4 ~x424728+2 ~x424727+1 ~x424726+512 ~x17795+256 ~x17794+128 ~x17793+64 ~x17792+32 ~x17791+16 ~x17790+8 ~x17789+4 ~x17788+2 ~x17787+1 ~x17786-0=2046
19.89/19.93	c 2048 ~x426039+1024 ~x426038+512 ~x426037+256 ~x426036+128 ~x426035+64 ~x426034+32 ~x426033+16 ~x426032+8 ~x426031+4 ~x426030+2 ~x426029+1 ~x426028+2048 ~x15563+1024 ~x15562+512 ~x15561+256 ~x15560+128 ~x15559+64 ~x15558+32 ~x15557+16 ~x15556+8 ~x15555+4 ~x15554+2 ~x15553+1 ~x15552-0=8190
19.89/20.00	c 512 ~x428175+256 ~x428174+128 ~x428173+64 ~x428172+32 ~x428171+16 ~x428170+8 ~x428169+4 ~x428168+2 ~x428167+1 ~x428166+512 ~x17243+256 ~x17242+128 ~x17241+64 ~x17240+32 ~x17239+16 ~x17238+8 ~x17237+4 ~x17236+2 ~x17235+1 ~x17234-0=2046
19.98/20.03	c 512 ~x429477+256 ~x429476+128 ~x429475+64 ~x429474+32 ~x429473+16 ~x429472+8 ~x429471+4 ~x429470+2 ~x429469+1 ~x429468+512 ~x18083+256 ~x18082+128 ~x18081+64 ~x18080+32 ~x18079+16 ~x18078+8 ~x18077+4 ~x18076+2 ~x18075+1 ~x18074-0=2046
19.98/20.06	c 2048 ~x430781+1024 ~x430780+512 ~x430779+256 ~x430778+128 ~x430777+64 ~x430776+32 ~x430775+16 ~x430774+8 ~x430773+4 ~x430772+2 ~x430771+1 ~x430770+2048 ~x15875+1024 ~x15874+512 ~x15873+256 ~x15872+128 ~x15871+64 ~x15870+32 ~x15869+16 ~x15868+8 ~x15867+4 ~x15866+2 ~x15865+1 ~x15864-0=8190
20.08/20.11	c 1024 ~x432918+512 ~x432917+256 ~x432916+128 ~x432915+64 ~x432914+32 ~x432913+16 ~x432912+8 ~x432911+4 ~x432910+2 ~x432909+1 ~x432908+1024 ~x18372+512 ~x18371+256 ~x18370+128 ~x18369+64 ~x18368+32 ~x18367+16 ~x18366+8 ~x18365+4 ~x18364+2 ~x18363+1 ~x18362-0=4094
20.08/20.16	c 512 ~x434656+256 ~x434655+128 ~x434654+64 ~x434653+32 ~x434652+16 ~x434651+8 ~x434650+4 ~x434649+2 ~x434648+1 ~x434647+512 ~x16141+256 ~x16140+128 ~x16139+64 ~x16138+32 ~x16137+16 ~x16136+8 ~x16135+4 ~x16134+2 ~x16133+1 ~x16132-0=2046
20.08/20.19	c 1024 ~x435959+512 ~x435958+256 ~x435957+128 ~x435956+64 ~x435955+32 ~x435954+16 ~x435953+8 ~x435952+4 ~x435951+2 ~x435950+1 ~x435949+1024 ~x16428+512 ~x16427+256 ~x16426+128 ~x16425+64 ~x16424+32 ~x16423+16 ~x16422+8 ~x16421+4 ~x16420+2 ~x16419+1 ~x16418-0=4094
20.18/20.24	c 512 ~x437697+256 ~x437696+128 ~x437695+64 ~x437694+32 ~x437693+16 ~x437692+8 ~x437691+4 ~x437690+2 ~x437689+1 ~x437688+512 ~x16704+256 ~x16703+128 ~x16702+64 ~x16701+32 ~x16700+16 ~x16699+8 ~x16698+4 ~x16697+2 ~x16696+1 ~x16695-0=2046
20.18/20.27	c 512 ~x438999+256 ~x438998+128 ~x438997+64 ~x438996+32 ~x438995+16 ~x438994+8 ~x438993+4 ~x438992+2 ~x438991+1 ~x438990+512 ~x17520+256 ~x17519+128 ~x17518+64 ~x17517+32 ~x17516+16 ~x17515+8 ~x17514+4 ~x17513+2 ~x17512+1 ~x17511-0=2046
20.27/20.30	c 512 ~x440301+256 ~x440300+128 ~x440299+64 ~x440298+32 ~x440297+16 ~x440296+8 ~x440295+4 ~x440294+2 ~x440293+1 ~x440292+512 ~x15264+256 ~x15263+128 ~x15262+64 ~x15261+32 ~x15260+16 ~x15259+8 ~x15258+4 ~x15257+2 ~x15256+1 ~x15255-0=2046
20.27/20.34	c 512 ~x441603+256 ~x441602+128 ~x441601+64 ~x441600+32 ~x441599+16 ~x441598+8 ~x441597+4 ~x441596+2 ~x441595+1 ~x441594+512 ~x16968+256 ~x16967+128 ~x16966+64 ~x16965+32 ~x16964+16 ~x16963+8 ~x16962+4 ~x16961+2 ~x16960+1 ~x16959-0=2046
20.27/20.37	c 512 ~x442905+256 ~x442904+128 ~x442903+64 ~x442902+32 ~x442901+16 ~x442900+8 ~x442899+4 ~x442898+2 ~x442897+1 ~x442896+512 ~x17807+256 ~x17806+128 ~x17805+64 ~x17804+32 ~x17803+16 ~x17802+8 ~x17801+4 ~x17800+2 ~x17799+1 ~x17798-0=2046
20.38/20.40	c 2048 ~x444209+1024 ~x444208+512 ~x444207+256 ~x444206+128 ~x444205+64 ~x444204+32 ~x444203+16 ~x444202+8 ~x444201+4 ~x444200+2 ~x444199+1 ~x444198+2048 ~x15576+1024 ~x15575+512 ~x15574+256 ~x15573+128 ~x15572+64 ~x15571+32 ~x15570+16 ~x15569+8 ~x15568+4 ~x15567+2 ~x15566+1 ~x15565-0=8190
20.38/20.46	c 512 ~x446345+256 ~x446344+128 ~x446343+64 ~x446342+32 ~x446341+16 ~x446340+8 ~x446339+4 ~x446338+2 ~x446337+1 ~x446336+512 ~x17255+256 ~x17254+128 ~x17253+64 ~x17252+32 ~x17251+16 ~x17250+8 ~x17249+4 ~x17248+2 ~x17247+1 ~x17246-0=2046
20.38/20.49	c 512 ~x447647+256 ~x447646+128 ~x447645+64 ~x447644+32 ~x447643+16 ~x447642+8 ~x447641+4 ~x447640+2 ~x447639+1 ~x447638+512 ~x18095+256 ~x18094+128 ~x18093+64 ~x18092+32 ~x18091+16 ~x18090+8 ~x18089+4 ~x18088+2 ~x18087+1 ~x18086-0=2046
20.48/20.52	c 2048 ~x448951+1024 ~x448950+512 ~x448949+256 ~x448948+128 ~x448947+64 ~x448946+32 ~x448945+16 ~x448944+8 ~x448943+4 ~x448942+2 ~x448941+1 ~x448940+2048 ~x15888+1024 ~x15887+512 ~x15886+256 ~x15885+128 ~x15884+64 ~x15883+32 ~x15882+16 ~x15881+8 ~x15880+4 ~x15879+2 ~x15878+1 ~x15877-0=8190
20.48/20.57	c 1024 ~x451088+512 ~x451087+256 ~x451086+128 ~x451085+64 ~x451084+32 ~x451083+16 ~x451082+8 ~x451081+4 ~x451080+2 ~x451079+1 ~x451078+1024 ~x18384+512 ~x18383+256 ~x18382+128 ~x18381+64 ~x18380+32 ~x18379+16 ~x18378+8 ~x18377+4 ~x18376+2 ~x18375+1 ~x18374-0=4094
20.58/20.62	c 512 ~x452826+256 ~x452825+128 ~x452824+64 ~x452823+32 ~x452822+16 ~x452821+8 ~x452820+4 ~x452819+2 ~x452818+1 ~x452817+512 ~x16152+256 ~x16151+128 ~x16150+64 ~x16149+32 ~x16148+16 ~x16147+8 ~x16146+4 ~x16145+2 ~x16144+1 ~x16143-0=2046
20.58/20.65	c 1024 ~x454129+512 ~x454128+256 ~x454127+128 ~x454126+64 ~x454125+32 ~x454124+16 ~x454123+8 ~x454122+4 ~x454121+2 ~x454120+1 ~x454119+1024 ~x16440+512 ~x16439+256 ~x16438+128 ~x16437+64 ~x16436+32 ~x16435+16 ~x16434+8 ~x16433+4 ~x16432+2 ~x16431+1 ~x16430-0=4094
20.67/20.71	c 8192 ~x455919+4096 ~x455918+2048 ~x455917+1024 ~x455916+512 ~x455915+256 ~x455914+128 ~x455913+64 ~x455912+32 ~x455911+16 ~x455910+8 ~x455909+4 ~x455908+2 ~x455907+1 ~x455906+4096 ~x15278+2048 ~x15277+1024 ~x15276+512 ~x15275+256 ~x15274+128 ~x15273+64 ~x15272+32 ~x15271+16 ~x15270+8 ~x15269+4 ~x15268+2 ~x15267+1 ~x15266+4096 ~x14500+2048 ~x14499+1024 ~x14498+4096 x14428+2048 x14427+1024 x14426-0=31742
20.77/20.80	c 8192 ~x459667+4096 ~x459666+2048 ~x459665+1024 ~x459664+512 ~x459663+256 ~x459662+128 ~x459661+64 ~x459660+32 ~x459659+16 ~x459658+8 ~x459657+4 ~x459656+2 ~x459655+1 ~x459654+4096 ~x15291+2048 ~x15290+1024 ~x15289+512 ~x15288+256 ~x15287+128 ~x15286+64 ~x15285+32 ~x15284+16 ~x15283+8 ~x15282+4 ~x15281+2 ~x15280+1 ~x15279+4096 ~x14503+2048 ~x14502+1024 ~x14501+4096 x14431+2048 x14430+1024 x14429-0=31742
20.77/20.89	c 8192 ~x463415+4096 ~x463414+2048 ~x463413+1024 ~x463412+512 ~x463411+256 ~x463410+128 ~x463409+64 ~x463408+32 ~x463407+16 ~x463406+8 ~x463405+4 ~x463404+2 ~x463403+1 ~x463402+4096 ~x15304+2048 ~x15303+1024 ~x15302+512 ~x15301+256 ~x15300+128 ~x15299+64 ~x15298+32 ~x15297+16 ~x15296+8 ~x15295+4 ~x15294+2 ~x15293+1 ~x15292+4096 ~x14506+2048 ~x14505+1024 ~x14504+4096 x14434+2048 x14433+1024 x14432-0=31742
20.89/20.99	c 8192 ~x467163+4096 ~x467162+2048 ~x467161+1024 ~x467160+512 ~x467159+256 ~x467158+128 ~x467157+64 ~x467156+32 ~x467155+16 ~x467154+8 ~x467153+4 ~x467152+2 ~x467151+1 ~x467150+4096 ~x15317+2048 ~x15316+1024 ~x15315+512 ~x15314+256 ~x15313+128 ~x15312+64 ~x15311+32 ~x15310+16 ~x15309+8 ~x15308+4 ~x15307+2 ~x15306+1 ~x15305+4096 ~x14509+2048 ~x14508+1024 ~x14507+4096 x14437+2048 x14436+1024 x14435-0=31742
20.99/21.08	c 8192 ~x470911+4096 ~x470910+2048 ~x470909+1024 ~x470908+512 ~x470907+256 ~x470906+128 ~x470905+64 ~x470904+32 ~x470903+16 ~x470902+8 ~x470901+4 ~x470900+2 ~x470899+1 ~x470898+4096 ~x15330+2048 ~x15329+1024 ~x15328+512 ~x15327+256 ~x15326+128 ~x15325+64 ~x15324+32 ~x15323+16 ~x15322+8 ~x15321+4 ~x15320+2 ~x15319+1 ~x15318+4096 ~x14512+2048 ~x14511+1024 ~x14510+4096 x14440+2048 x14439+1024 x14438-0=31742
21.08/21.17	c 8192 ~x474659+4096 ~x474658+2048 ~x474657+1024 ~x474656+512 ~x474655+256 ~x474654+128 ~x474653+64 ~x474652+32 ~x474651+16 ~x474650+8 ~x474649+4 ~x474648+2 ~x474647+1 ~x474646+4096 ~x15343+2048 ~x15342+1024 ~x15341+512 ~x15340+256 ~x15339+128 ~x15338+64 ~x15337+32 ~x15336+16 ~x15335+8 ~x15334+4 ~x15333+2 ~x15332+1 ~x15331+4096 ~x14515+2048 ~x14514+1024 ~x14513+4096 x14443+2048 x14442+1024 x14441-0=31742
21.18/21.26	c 8192 ~x478407+4096 ~x478406+2048 ~x478405+1024 ~x478404+512 ~x478403+256 ~x478402+128 ~x478401+64 ~x478400+32 ~x478399+16 ~x478398+8 ~x478397+4 ~x478396+2 ~x478395+1 ~x478394+4096 ~x15356+2048 ~x15355+1024 ~x15354+512 ~x15353+256 ~x15352+128 ~x15351+64 ~x15350+32 ~x15349+16 ~x15348+8 ~x15347+4 ~x15346+2 ~x15345+1 ~x15344+4096 ~x14518+2048 ~x14517+1024 ~x14516+4096 x14446+2048 x14445+1024 x14444-0=31742
21.28/21.36	c 8192 ~x482155+4096 ~x482154+2048 ~x482153+1024 ~x482152+512 ~x482151+256 ~x482150+128 ~x482149+64 ~x482148+32 ~x482147+16 ~x482146+8 ~x482145+4 ~x482144+2 ~x482143+1 ~x482142+4096 ~x15369+2048 ~x15368+1024 ~x15367+512 ~x15366+256 ~x15365+128 ~x15364+64 ~x15363+32 ~x15362+16 ~x15361+8 ~x15360+4 ~x15359+2 ~x15358+1 ~x15357+4096 ~x14521+2048 ~x14520+1024 ~x14519+4096 x14449+2048 x14448+1024 x14447-0=31742
21.38/21.45	c 8192 ~x485903+4096 ~x485902+2048 ~x485901+1024 ~x485900+512 ~x485899+256 ~x485898+128 ~x485897+64 ~x485896+32 ~x485895+16 ~x485894+8 ~x485893+4 ~x485892+2 ~x485891+1 ~x485890+4096 ~x15382+2048 ~x15381+1024 ~x15380+512 ~x15379+256 ~x15378+128 ~x15377+64 ~x15376+32 ~x15375+16 ~x15374+8 ~x15373+4 ~x15372+2 ~x15371+1 ~x15370+4096 ~x14524+2048 ~x14523+1024 ~x14522+4096 x14452+2048 x14451+1024 x14450-0=31742
21.48/21.54	c 8192 ~x489651+4096 ~x489650+2048 ~x489649+1024 ~x489648+512 ~x489647+256 ~x489646+128 ~x489645+64 ~x489644+32 ~x489643+16 ~x489642+8 ~x489641+4 ~x489640+2 ~x489639+1 ~x489638+4096 ~x15395+2048 ~x15394+1024 ~x15393+512 ~x15392+256 ~x15391+128 ~x15390+64 ~x15389+32 ~x15388+16 ~x15387+8 ~x15386+4 ~x15385+2 ~x15384+1 ~x15383+4096 ~x14527+2048 ~x14526+1024 ~x14525+4096 x14455+2048 x14454+1024 x14453-0=31742
21.58/21.63	c 8192 ~x493399+4096 ~x493398+2048 ~x493397+1024 ~x493396+512 ~x493395+256 ~x493394+128 ~x493393+64 ~x493392+32 ~x493391+16 ~x493390+8 ~x493389+4 ~x493388+2 ~x493387+1 ~x493386+4096 ~x15408+2048 ~x15407+1024 ~x15406+512 ~x15405+256 ~x15404+128 ~x15403+64 ~x15402+32 ~x15401+16 ~x15400+8 ~x15399+4 ~x15398+2 ~x15397+1 ~x15396+4096 ~x14530+2048 ~x14529+1024 ~x14528+4096 x14458+2048 x14457+1024 x14456-0=31742
21.68/21.73	c 8192 ~x497147+4096 ~x497146+2048 ~x497145+1024 ~x497144+512 ~x497143+256 ~x497142+128 ~x497141+64 ~x497140+32 ~x497139+16 ~x497138+8 ~x497137+4 ~x497136+2 ~x497135+1 ~x497134+4096 ~x15421+2048 ~x15420+1024 ~x15419+512 ~x15418+256 ~x15417+128 ~x15416+64 ~x15415+32 ~x15414+16 ~x15413+8 ~x15412+4 ~x15411+2 ~x15410+1 ~x15409+4096 ~x14533+2048 ~x14532+1024 ~x14531+4096 x14461+2048 x14460+1024 x14459-0=31742
21.78/21.82	c 8192 ~x500895+4096 ~x500894+2048 ~x500893+1024 ~x500892+512 ~x500891+256 ~x500890+128 ~x500889+64 ~x500888+32 ~x500887+16 ~x500886+8 ~x500885+4 ~x500884+2 ~x500883+1 ~x500882+4096 ~x15434+2048 ~x15433+1024 ~x15432+512 ~x15431+256 ~x15430+128 ~x15429+64 ~x15428+32 ~x15427+16 ~x15426+8 ~x15425+4 ~x15424+2 ~x15423+1 ~x15422+4096 ~x14536+2048 ~x14535+1024 ~x14534+4096 x14464+2048 x14463+1024 x14462-0=31742
21.88/21.91	c 8192 ~x504643+4096 ~x504642+2048 ~x504641+1024 ~x504640+512 ~x504639+256 ~x504638+128 ~x504637+64 ~x504636+32 ~x504635+16 ~x504634+8 ~x504633+4 ~x504632+2 ~x504631+1 ~x504630+4096 ~x15447+2048 ~x15446+1024 ~x15445+512 ~x15444+256 ~x15443+128 ~x15442+64 ~x15441+32 ~x15440+16 ~x15439+8 ~x15438+4 ~x15437+2 ~x15436+1 ~x15435+4096 ~x14539+2048 ~x14538+1024 ~x14537+4096 x14467+2048 x14466+1024 x14465-0=31742
21.98/22.00	c 8192 ~x508391+4096 ~x508390+2048 ~x508389+1024 ~x508388+512 ~x508387+256 ~x508386+128 ~x508385+64 ~x508384+32 ~x508383+16 ~x508382+8 ~x508381+4 ~x508380+2 ~x508379+1 ~x508378+4096 ~x15460+2048 ~x15459+1024 ~x15458+512 ~x15457+256 ~x15456+128 ~x15455+64 ~x15454+32 ~x15453+16 ~x15452+8 ~x15451+4 ~x15450+2 ~x15449+1 ~x15448+4096 ~x14542+2048 ~x14541+1024 ~x14540+4096 x14470+2048 x14469+1024 x14468-0=31742
21.98/22.10	c 8192 ~x512139+4096 ~x512138+2048 ~x512137+1024 ~x512136+512 ~x512135+256 ~x512134+128 ~x512133+64 ~x512132+32 ~x512131+16 ~x512130+8 ~x512129+4 ~x512128+2 ~x512127+1 ~x512126+4096 ~x15473+2048 ~x15472+1024 ~x15471+512 ~x15470+256 ~x15469+128 ~x15468+64 ~x15467+32 ~x15466+16 ~x15465+8 ~x15464+4 ~x15463+2 ~x15462+1 ~x15461+4096 ~x14545+2048 ~x14544+1024 ~x14543+4096 x14473+2048 x14472+1024 x14471-0=31742
22.08/22.19	c 8192 ~x515887+4096 ~x515886+2048 ~x515885+1024 ~x515884+512 ~x515883+256 ~x515882+128 ~x515881+64 ~x515880+32 ~x515879+16 ~x515878+8 ~x515877+4 ~x515876+2 ~x515875+1 ~x515874+4096 ~x15486+2048 ~x15485+1024 ~x15484+512 ~x15483+256 ~x15482+128 ~x15481+64 ~x15480+32 ~x15479+16 ~x15478+8 ~x15477+4 ~x15476+2 ~x15475+1 ~x15474+4096 ~x14548+2048 ~x14547+1024 ~x14546+4096 x14476+2048 x14475+1024 x14474-0=31742
22.17/22.28	c 8192 ~x519635+4096 ~x519634+2048 ~x519633+1024 ~x519632+512 ~x519631+256 ~x519630+128 ~x519629+64 ~x519628+32 ~x519627+16 ~x519626+8 ~x519625+4 ~x519624+2 ~x519623+1 ~x519622+4096 ~x15499+2048 ~x15498+1024 ~x15497+512 ~x15496+256 ~x15495+128 ~x15494+64 ~x15493+32 ~x15492+16 ~x15491+8 ~x15490+4 ~x15489+2 ~x15488+1 ~x15487+4096 ~x14551+2048 ~x14550+1024 ~x14549+4096 x14479+2048 x14478+1024 x14477-0=31742
22.28/22.37	c 8192 ~x523383+4096 ~x523382+2048 ~x523381+1024 ~x523380+512 ~x523379+256 ~x523378+128 ~x523377+64 ~x523376+32 ~x523375+16 ~x523374+8 ~x523373+4 ~x523372+2 ~x523371+1 ~x523370+4096 ~x15512+2048 ~x15511+1024 ~x15510+512 ~x15509+256 ~x15508+128 ~x15507+64 ~x15506+32 ~x15505+16 ~x15504+8 ~x15503+4 ~x15502+2 ~x15501+1 ~x15500+4096 ~x14554+2048 ~x14553+1024 ~x14552+4096 x14482+2048 x14481+1024 x14480-0=31742
22.38/22.47	c 8192 ~x527131+4096 ~x527130+2048 ~x527129+1024 ~x527128+512 ~x527127+256 ~x527126+128 ~x527125+64 ~x527124+32 ~x527123+16 ~x527122+8 ~x527121+4 ~x527120+2 ~x527119+1 ~x527118+4096 ~x15525+2048 ~x15524+1024 ~x15523+512 ~x15522+256 ~x15521+128 ~x15520+64 ~x15519+32 ~x15518+16 ~x15517+8 ~x15516+4 ~x15515+2 ~x15514+1 ~x15513+4096 ~x14557+2048 ~x14556+1024 ~x14555+4096 x14485+2048 x14484+1024 x14483-0=31742
22.48/22.57	c 8192 ~x530879+4096 ~x530878+2048 ~x530877+1024 ~x530876+512 ~x530875+256 ~x530874+128 ~x530873+64 ~x530872+32 ~x530871+16 ~x530870+8 ~x530869+4 ~x530868+2 ~x530867+1 ~x530866+4096 ~x15538+2048 ~x15537+1024 ~x15536+512 ~x15535+256 ~x15534+128 ~x15533+64 ~x15532+32 ~x15531+16 ~x15530+8 ~x15529+4 ~x15528+2 ~x15527+1 ~x15526+4096 ~x14560+2048 ~x14559+1024 ~x14558+4096 x14488+2048 x14487+1024 x14486-0=31742
22.57/22.66	c 8192 ~x534627+4096 ~x534626+2048 ~x534625+1024 ~x534624+512 ~x534623+256 ~x534622+128 ~x534621+64 ~x534620+32 ~x534619+16 ~x534618+8 ~x534617+4 ~x534616+2 ~x534615+1 ~x534614+4096 ~x15551+2048 ~x15550+1024 ~x15549+512 ~x15548+256 ~x15547+128 ~x15546+64 ~x15545+32 ~x15544+16 ~x15543+8 ~x15542+4 ~x15541+2 ~x15540+1 ~x15539+4096 ~x14563+2048 ~x14562+1024 ~x14561+4096 x14491+2048 x14490+1024 x14489-0=31742
22.68/22.76	c 8192 ~x538375+4096 ~x538374+2048 ~x538373+1024 ~x538372+512 ~x538371+256 ~x538370+128 ~x538369+64 ~x538368+32 ~x538367+16 ~x538366+8 ~x538365+4 ~x538364+2 ~x538363+1 ~x538362+4096 ~x15564+2048 ~x15563+1024 ~x15562+512 ~x15561+256 ~x15560+128 ~x15559+64 ~x15558+32 ~x15557+16 ~x15556+8 ~x15555+4 ~x15554+2 ~x15553+1 ~x15552+4096 ~x14566+2048 ~x14565+1024 ~x14564+4096 x14494+2048 x14493+1024 x14492-0=31742
22.78/22.85	c 8192 ~x542123+4096 ~x542122+2048 ~x542121+1024 ~x542120+512 ~x542119+256 ~x542118+128 ~x542117+64 ~x542116+32 ~x542115+16 ~x542114+8 ~x542113+4 ~x542112+2 ~x542111+1 ~x542110+4096 ~x15577+2048 ~x15576+1024 ~x15575+512 ~x15574+256 ~x15573+128 ~x15572+64 ~x15571+32 ~x15570+16 ~x15569+8 ~x15568+4 ~x15567+2 ~x15566+1 ~x15565+4096 ~x14569+2048 ~x14568+1024 ~x14567+4096 x14497+2048 x14496+1024 x14495-0=31742
22.88/22.95	c 562949953421312 ~x545907+281474976710656 ~x545906+140737488355328 ~x545905+70368744177664 ~x545904+35184372088832 ~x545903+17592186044416 ~x545902+8796093022208 ~x545901+4398046511104 ~x545900+2199023255552 ~x545899+1099511627776 ~x545898+549755813888 ~x545897+274877906944 ~x545896+137438953472 ~x545895+68719476736 ~x545894+34359738368 ~x545893+17179869184 ~x545892+8589934592 ~x545891+4294967296 ~x545890+2147483648 ~x545889+1073741824 ~x545888+536870912 ~x545887+268435456 ~x545886+134217728 ~x545885+67108864 ~x545884+33554432 ~x545883+16777216 ~x545882+8388608 ~x545881+4194304 ~x545880+2097152 ~x545879+1048576 ~x545878+524288 ~x545877+262144 ~x545876+131072 ~x545875+65536 ~x545874+32768 ~x545873+16384 ~x545872+8192 ~x545871+4096 ~x545870+2048 ~x545869+1024 ~x545868+512 ~x545867+256 ~x545866+128 ~x545865+64 ~x545864+32 ~x545863+16 ~x545862+8 ~x545861+4 ~x545860+2 ~x545859+1 ~x545858+34570788864 ~x15278+17285394432 ~x15277+8642697216 ~x15276+4321348608 ~x15275+2160674304 ~x15274+1080337152 ~x15273+540168576 ~x15272+270084288 ~x15271+135042144 ~x15270+67521072 ~x15269+33760536 ~x15268+16880268 ~x15267+8440134 ~x15266+27612688384 x14428+13806344192 x14427+6903172096 x14426+536870912000000 ~x7231+268435456000000 ~x7230+134217728000000 ~x7229+67108864000000 ~x7228+33554432000000 ~x7227+16777216000000 ~x7226+8388608000000 ~x7225+4194304000000 ~x7224+2097152000000 ~x7223+1048576000000 ~x7222+524288000000 ~x7221+262144000000 ~x7220+131072000000 ~x7219+65536000000 ~x7218+32768000000 ~x7217+16384000000 ~x7216+8192000000 ~x7215+4096000000 ~x7214+2048000000 ~x7213+1024000000 ~x7212+512000000 ~x7211+256000000 ~x7210+128000000 ~x7209+64000000 ~x7208+32000000 ~x7207+16000000 ~x7206+8000000 ~x7205+4000000 ~x7204+2000000 ~x7203+1000000 ~x7202+182402429222912 x6511+91201214611456 x6510+45600607305728 x6509+22800303652864 x6508+11400151826432 x6507+5700075913216 x6506+2850037956608 x6505+1425018978304 x6504+712509489152 x6503+356254744576 x6502+178127372288 x6501+89063686144 x6500+44531843072 x6499+22265921536 x6498+11132960768 x6497+5566480384 x6496+2783240192 x6495+1391620096 x6494+695810048 x6493+347905024 x6492+173952512 x6491+86976256 x6490+43488128 x6489+21744064 x6488+10872032 x6487+5436016 x6486+2718008 x6485+1359004 x6484+679502 x6483+339751 x6482-0=2199710862980217
24.68/24.79	c 562949953421312 ~x627238+281474976710656 ~x627237+140737488355328 ~x627236+70368744177664 ~x627235+35184372088832 ~x627234+17592186044416 ~x627233+8796093022208 ~x627232+4398046511104 ~x627231+2199023255552 ~x627230+1099511627776 ~x627229+549755813888 ~x627228+274877906944 ~x627227+137438953472 ~x627226+68719476736 ~x627225+34359738368 ~x627224+17179869184 ~x627223+8589934592 ~x627222+4294967296 ~x627221+2147483648 ~x627220+1073741824 ~x627219+536870912 ~x627218+268435456 ~x627217+134217728 ~x627216+67108864 ~x627215+33554432 ~x627214+16777216 ~x627213+8388608 ~x627212+4194304 ~x627211+2097152 ~x627210+1048576 ~x627209+524288 ~x627208+262144 ~x627207+131072 ~x627206+65536 ~x627205+32768 ~x627204+16384 ~x627203+8192 ~x627202+4096 ~x627201+2048 ~x627200+1024 ~x627199+512 ~x627198+256 ~x627197+128 ~x627196+64 ~x627195+32 ~x627194+16 ~x627193+8 ~x627192+4 ~x627191+2 ~x627190+1 ~x627189+34570788864 ~x15291+17285394432 ~x15290+8642697216 ~x15289+4321348608 ~x15288+2160674304 ~x15287+1080337152 ~x15286+540168576 ~x15285+270084288 ~x15284+135042144 ~x15283+67521072 ~x15282+33760536 ~x15281+16880268 ~x15280+8440134 ~x15279+27612688384 x14431+13806344192 x14430+6903172096 x14429+536870912000000 ~x7261+268435456000000 ~x7260+134217728000000 ~x7259+67108864000000 ~x7258+33554432000000 ~x7257+16777216000000 ~x7256+8388608000000 ~x7255+4194304000000 ~x7254+2097152000000 ~x7253+1048576000000 ~x7252+524288000000 ~x7251+262144000000 ~x7250+131072000000 ~x7249+65536000000 ~x7248+32768000000 ~x7247+16384000000 ~x7246+8192000000 ~x7245+4096000000 ~x7244+2048000000 ~x7243+1024000000 ~x7242+512000000 ~x7241+256000000 ~x7240+128000000 ~x7239+64000000 ~x7238+32000000 ~x7237+16000000 ~x7236+8000000 ~x7235+4000000 ~x7234+2000000 ~x7233+1000000 ~x7232+182402429222912 x6541+91201214611456 x6540+45600607305728 x6539+22800303652864 x6538+11400151826432 x6537+5700075913216 x6536+2850037956608 x6535+1425018978304 x6534+712509489152 x6533+356254744576 x6532+178127372288 x6531+89063686144 x6530+44531843072 x6529+22265921536 x6528+11132960768 x6527+5566480384 x6526+2783240192 x6525+1391620096 x6524+695810048 x6523+347905024 x6522+173952512 x6521+86976256 x6520+43488128 x6519+21744064 x6518+10872032 x6517+5436016 x6516+2718008 x6515+1359004 x6514+679502 x6513+339751 x6512-0=2199710862980217
26.57/26.64	c 562949953421312 ~x708569+281474976710656 ~x708568+140737488355328 ~x708567+70368744177664 ~x708566+35184372088832 ~x708565+17592186044416 ~x708564+8796093022208 ~x708563+4398046511104 ~x708562+2199023255552 ~x708561+1099511627776 ~x708560+549755813888 ~x708559+274877906944 ~x708558+137438953472 ~x708557+68719476736 ~x708556+34359738368 ~x708555+17179869184 ~x708554+8589934592 ~x708553+4294967296 ~x708552+2147483648 ~x708551+1073741824 ~x708550+536870912 ~x708549+268435456 ~x708548+134217728 ~x708547+67108864 ~x708546+33554432 ~x708545+16777216 ~x708544+8388608 ~x708543+4194304 ~x708542+2097152 ~x708541+1048576 ~x708540+524288 ~x708539+262144 ~x708538+131072 ~x708537+65536 ~x708536+32768 ~x708535+16384 ~x708534+8192 ~x708533+4096 ~x708532+2048 ~x708531+1024 ~x708530+512 ~x708529+256 ~x708528+128 ~x708527+64 ~x708526+32 ~x708525+16 ~x708524+8 ~x708523+4 ~x708522+2 ~x708521+1 ~x708520+34570788864 ~x15304+17285394432 ~x15303+8642697216 ~x15302+4321348608 ~x15301+2160674304 ~x15300+1080337152 ~x15299+540168576 ~x15298+270084288 ~x15297+135042144 ~x15296+67521072 ~x15295+33760536 ~x15294+16880268 ~x15293+8440134 ~x15292+27612688384 x14434+13806344192 x14433+6903172096 x14432+536870912000000 ~x7291+268435456000000 ~x7290+134217728000000 ~x7289+67108864000000 ~x7288+33554432000000 ~x7287+16777216000000 ~x7286+8388608000000 ~x7285+4194304000000 ~x7284+2097152000000 ~x7283+1048576000000 ~x7282+524288000000 ~x7281+262144000000 ~x7280+131072000000 ~x7279+65536000000 ~x7278+32768000000 ~x7277+16384000000 ~x7276+8192000000 ~x7275+4096000000 ~x7274+2048000000 ~x7273+1024000000 ~x7272+512000000 ~x7271+256000000 ~x7270+128000000 ~x7269+64000000 ~x7268+32000000 ~x7267+16000000 ~x7266+8000000 ~x7265+4000000 ~x7264+2000000 ~x7263+1000000 ~x7262+182402429222912 x6571+91201214611456 x6570+45600607305728 x6569+22800303652864 x6568+11400151826432 x6567+5700075913216 x6566+2850037956608 x6565+1425018978304 x6564+712509489152 x6563+356254744576 x6562+178127372288 x6561+89063686144 x6560+44531843072 x6559+22265921536 x6558+11132960768 x6557+5566480384 x6556+2783240192 x6555+1391620096 x6554+695810048 x6553+347905024 x6552+173952512 x6551+86976256 x6550+43488128 x6549+21744064 x6548+10872032 x6547+5436016 x6546+2718008 x6545+1359004 x6544+679502 x6543+339751 x6542-0=2199710862980217
28.37/28.49	c 562949953421312 ~x789900+281474976710656 ~x789899+140737488355328 ~x789898+70368744177664 ~x789897+35184372088832 ~x789896+17592186044416 ~x789895+8796093022208 ~x789894+4398046511104 ~x789893+2199023255552 ~x789892+1099511627776 ~x789891+549755813888 ~x789890+274877906944 ~x789889+137438953472 ~x789888+68719476736 ~x789887+34359738368 ~x789886+17179869184 ~x789885+8589934592 ~x789884+4294967296 ~x789883+2147483648 ~x789882+1073741824 ~x789881+536870912 ~x789880+268435456 ~x789879+134217728 ~x789878+67108864 ~x789877+33554432 ~x789876+16777216 ~x789875+8388608 ~x789874+4194304 ~x789873+2097152 ~x789872+1048576 ~x789871+524288 ~x789870+262144 ~x789869+131072 ~x789868+65536 ~x789867+32768 ~x789866+16384 ~x789865+8192 ~x789864+4096 ~x789863+2048 ~x789862+1024 ~x789861+512 ~x789860+256 ~x789859+128 ~x789858+64 ~x789857+32 ~x789856+16 ~x789855+8 ~x789854+4 ~x789853+2 ~x789852+1 ~x789851+34570788864 ~x15317+17285394432 ~x15316+8642697216 ~x15315+4321348608 ~x15314+2160674304 ~x15313+1080337152 ~x15312+540168576 ~x15311+270084288 ~x15310+135042144 ~x15309+67521072 ~x15308+33760536 ~x15307+16880268 ~x15306+8440134 ~x15305+27612688384 x14437+13806344192 x14436+6903172096 x14435+536870912000000 ~x7321+268435456000000 ~x7320+134217728000000 ~x7319+67108864000000 ~x7318+33554432000000 ~x7317+16777216000000 ~x7316+8388608000000 ~x7315+4194304000000 ~x7314+2097152000000 ~x7313+1048576000000 ~x7312+524288000000 ~x7311+262144000000 ~x7310+131072000000 ~x7309+65536000000 ~x7308+32768000000 ~x7307+16384000000 ~x7306+8192000000 ~x7305+4096000000 ~x7304+2048000000 ~x7303+1024000000 ~x7302+512000000 ~x7301+256000000 ~x7300+128000000 ~x7299+64000000 ~x7298+32000000 ~x7297+16000000 ~x7296+8000000 ~x7295+4000000 ~x7294+2000000 ~x7293+1000000 ~x7292+182402429222912 x6601+91201214611456 x6600+45600607305728 x6599+22800303652864 x6598+11400151826432 x6597+5700075913216 x6596+2850037956608 x6595+1425018978304 x6594+712509489152 x6593+356254744576 x6592+178127372288 x6591+89063686144 x6590+44531843072 x6589+22265921536 x6588+11132960768 x6587+5566480384 x6586+2783240192 x6585+1391620096 x6584+695810048 x6583+347905024 x6582+173952512 x6581+86976256 x6580+43488128 x6579+21744064 x6578+10872032 x6577+5436016 x6576+2718008 x6575+1359004 x6574+679502 x6573+339751 x6572-0=2199710862980217
30.28/30.33	c 562949953421312 ~x871231+281474976710656 ~x871230+140737488355328 ~x871229+70368744177664 ~x871228+35184372088832 ~x871227+17592186044416 ~x871226+8796093022208 ~x871225+4398046511104 ~x871224+2199023255552 ~x871223+1099511627776 ~x871222+549755813888 ~x871221+274877906944 ~x871220+137438953472 ~x871219+68719476736 ~x871218+34359738368 ~x871217+17179869184 ~x871216+8589934592 ~x871215+4294967296 ~x871214+2147483648 ~x871213+1073741824 ~x871212+536870912 ~x871211+268435456 ~x871210+134217728 ~x871209+67108864 ~x871208+33554432 ~x871207+16777216 ~x871206+8388608 ~x871205+4194304 ~x871204+2097152 ~x871203+1048576 ~x871202+524288 ~x871201+262144 ~x871200+131072 ~x871199+65536 ~x871198+32768 ~x871197+16384 ~x871196+8192 ~x871195+4096 ~x871194+2048 ~x871193+1024 ~x871192+512 ~x871191+256 ~x871190+128 ~x871189+64 ~x871188+32 ~x871187+16 ~x871186+8 ~x871185+4 ~x871184+2 ~x871183+1 ~x871182+34570788864 ~x15330+17285394432 ~x15329+8642697216 ~x15328+4321348608 ~x15327+2160674304 ~x15326+1080337152 ~x15325+540168576 ~x15324+270084288 ~x15323+135042144 ~x15322+67521072 ~x15321+33760536 ~x15320+16880268 ~x15319+8440134 ~x15318+27612688384 x14440+13806344192 x14439+6903172096 x14438+536870912000000 ~x7351+268435456000000 ~x7350+134217728000000 ~x7349+67108864000000 ~x7348+33554432000000 ~x7347+16777216000000 ~x7346+8388608000000 ~x7345+4194304000000 ~x7344+2097152000000 ~x7343+1048576000000 ~x7342+524288000000 ~x7341+262144000000 ~x7340+131072000000 ~x7339+65536000000 ~x7338+32768000000 ~x7337+16384000000 ~x7336+8192000000 ~x7335+4096000000 ~x7334+2048000000 ~x7333+1024000000 ~x7332+512000000 ~x7331+256000000 ~x7330+128000000 ~x7329+64000000 ~x7328+32000000 ~x7327+16000000 ~x7326+8000000 ~x7325+4000000 ~x7324+2000000 ~x7323+1000000 ~x7322+182402429222912 x6631+91201214611456 x6630+45600607305728 x6629+22800303652864 x6628+11400151826432 x6627+5700075913216 x6626+2850037956608 x6625+1425018978304 x6624+712509489152 x6623+356254744576 x6622+178127372288 x6621+89063686144 x6620+44531843072 x6619+22265921536 x6618+11132960768 x6617+5566480384 x6616+2783240192 x6615+1391620096 x6614+695810048 x6613+347905024 x6612+173952512 x6611+86976256 x6610+43488128 x6609+21744064 x6608+10872032 x6607+5436016 x6606+2718008 x6605+1359004 x6604+679502 x6603+339751 x6602-0=2199710862980217
32.08/32.17	c 562949953421312 ~x952562+281474976710656 ~x952561+140737488355328 ~x952560+70368744177664 ~x952559+35184372088832 ~x952558+17592186044416 ~x952557+8796093022208 ~x952556+4398046511104 ~x952555+2199023255552 ~x952554+1099511627776 ~x952553+549755813888 ~x952552+274877906944 ~x952551+137438953472 ~x952550+68719476736 ~x952549+34359738368 ~x952548+17179869184 ~x952547+8589934592 ~x952546+4294967296 ~x952545+2147483648 ~x952544+1073741824 ~x952543+536870912 ~x952542+268435456 ~x952541+134217728 ~x952540+67108864 ~x952539+33554432 ~x952538+16777216 ~x952537+8388608 ~x952536+4194304 ~x952535+2097152 ~x952534+1048576 ~x952533+524288 ~x952532+262144 ~x952531+131072 ~x952530+65536 ~x952529+32768 ~x952528+16384 ~x952527+8192 ~x952526+4096 ~x952525+2048 ~x952524+1024 ~x952523+512 ~x952522+256 ~x952521+128 ~x952520+64 ~x952519+32 ~x952518+16 ~x952517+8 ~x952516+4 ~x952515+2 ~x952514+1 ~x952513+34570788864 ~x15343+17285394432 ~x15342+8642697216 ~x15341+4321348608 ~x15340+2160674304 ~x15339+1080337152 ~x15338+540168576 ~x15337+270084288 ~x15336+135042144 ~x15335+67521072 ~x15334+33760536 ~x15333+16880268 ~x15332+8440134 ~x15331+27612688384 x14443+13806344192 x14442+6903172096 x14441+536870912000000 ~x7381+268435456000000 ~x7380+134217728000000 ~x7379+67108864000000 ~x7378+33554432000000 ~x7377+16777216000000 ~x7376+8388608000000 ~x7375+4194304000000 ~x7374+2097152000000 ~x7373+1048576000000 ~x7372+524288000000 ~x7371+262144000000 ~x7370+131072000000 ~x7369+65536000000 ~x7368+32768000000 ~x7367+16384000000 ~x7366+8192000000 ~x7365+4096000000 ~x7364+2048000000 ~x7363+1024000000 ~x7362+512000000 ~x7361+256000000 ~x7360+128000000 ~x7359+64000000 ~x7358+32000000 ~x7357+16000000 ~x7356+8000000 ~x7355+4000000 ~x7354+2000000 ~x7353+1000000 ~x7352+182402429222912 x6661+91201214611456 x6660+45600607305728 x6659+22800303652864 x6658+11400151826432 x6657+5700075913216 x6656+2850037956608 x6655+1425018978304 x6654+712509489152 x6653+356254744576 x6652+178127372288 x6651+89063686144 x6650+44531843072 x6649+22265921536 x6648+11132960768 x6647+5566480384 x6646+2783240192 x6645+1391620096 x6644+695810048 x6643+347905024 x6642+173952512 x6641+86976256 x6640+43488128 x6639+21744064 x6638+10872032 x6637+5436016 x6636+2718008 x6635+1359004 x6634+679502 x6633+339751 x6632-0=2199710862980217
33.97/34.02	c 562949953421312 ~x1033893+281474976710656 ~x1033892+140737488355328 ~x1033891+70368744177664 ~x1033890+35184372088832 ~x1033889+17592186044416 ~x1033888+8796093022208 ~x1033887+4398046511104 ~x1033886+2199023255552 ~x1033885+1099511627776 ~x1033884+549755813888 ~x1033883+274877906944 ~x1033882+137438953472 ~x1033881+68719476736 ~x1033880+34359738368 ~x1033879+17179869184 ~x1033878+8589934592 ~x1033877+4294967296 ~x1033876+2147483648 ~x1033875+1073741824 ~x1033874+536870912 ~x1033873+268435456 ~x1033872+134217728 ~x1033871+67108864 ~x1033870+33554432 ~x1033869+16777216 ~x1033868+8388608 ~x1033867+4194304 ~x1033866+2097152 ~x1033865+1048576 ~x1033864+524288 ~x1033863+262144 ~x1033862+131072 ~x1033861+65536 ~x1033860+32768 ~x1033859+16384 ~x1033858+8192 ~x1033857+4096 ~x1033856+2048 ~x1033855+1024 ~x1033854+512 ~x1033853+256 ~x1033852+128 ~x1033851+64 ~x1033850+32 ~x1033849+16 ~x1033848+8 ~x1033847+4 ~x1033846+2 ~x1033845+1 ~x1033844+34570788864 ~x15356+17285394432 ~x15355+8642697216 ~x15354+4321348608 ~x15353+2160674304 ~x15352+1080337152 ~x15351+540168576 ~x15350+270084288 ~x15349+135042144 ~x15348+67521072 ~x15347+33760536 ~x15346+16880268 ~x15345+8440134 ~x15344+27612688384 x14446+13806344192 x14445+6903172096 x14444+536870912000000 ~x7411+268435456000000 ~x7410+134217728000000 ~x7409+67108864000000 ~x7408+33554432000000 ~x7407+16777216000000 ~x7406+8388608000000 ~x7405+4194304000000 ~x7404+2097152000000 ~x7403+1048576000000 ~x7402+524288000000 ~x7401+262144000000 ~x7400+131072000000 ~x7399+65536000000 ~x7398+32768000000 ~x7397+16384000000 ~x7396+8192000000 ~x7395+4096000000 ~x7394+2048000000 ~x7393+1024000000 ~x7392+512000000 ~x7391+256000000 ~x7390+128000000 ~x7389+64000000 ~x7388+32000000 ~x7387+16000000 ~x7386+8000000 ~x7385+4000000 ~x7384+2000000 ~x7383+1000000 ~x7382+182402429222912 x6691+91201214611456 x6690+45600607305728 x6689+22800303652864 x6688+11400151826432 x6687+5700075913216 x6686+2850037956608 x6685+1425018978304 x6684+712509489152 x6683+356254744576 x6682+178127372288 x6681+89063686144 x6680+44531843072 x6679+22265921536 x6678+11132960768 x6677+5566480384 x6676+2783240192 x6675+1391620096 x6674+695810048 x6673+347905024 x6672+173952512 x6671+86976256 x6670+43488128 x6669+21744064 x6668+10872032 x6667+5436016 x6666+2718008 x6665+1359004 x6664+679502 x6663+339751 x6662-0=2199710862980217
35.78/35.86	c 562949953421312 ~x1115224+281474976710656 ~x1115223+140737488355328 ~x1115222+70368744177664 ~x1115221+35184372088832 ~x1115220+17592186044416 ~x1115219+8796093022208 ~x1115218+4398046511104 ~x1115217+2199023255552 ~x1115216+1099511627776 ~x1115215+549755813888 ~x1115214+274877906944 ~x1115213+137438953472 ~x1115212+68719476736 ~x1115211+34359738368 ~x1115210+17179869184 ~x1115209+8589934592 ~x1115208+4294967296 ~x1115207+2147483648 ~x1115206+1073741824 ~x1115205+536870912 ~x1115204+268435456 ~x1115203+134217728 ~x1115202+67108864 ~x1115201+33554432 ~x1115200+16777216 ~x1115199+8388608 ~x1115198+4194304 ~x1115197+2097152 ~x1115196+1048576 ~x1115195+524288 ~x1115194+262144 ~x1115193+131072 ~x1115192+65536 ~x1115191+32768 ~x1115190+16384 ~x1115189+8192 ~x1115188+4096 ~x1115187+2048 ~x1115186+1024 ~x1115185+512 ~x1115184+256 ~x1115183+128 ~x1115182+64 ~x1115181+32 ~x1115180+16 ~x1115179+8 ~x1115178+4 ~x1115177+2 ~x1115176+1 ~x1115175+34570788864 ~x15369+17285394432 ~x15368+8642697216 ~x15367+4321348608 ~x15366+2160674304 ~x15365+1080337152 ~x15364+540168576 ~x15363+270084288 ~x15362+135042144 ~x15361+67521072 ~x15360+33760536 ~x15359+16880268 ~x15358+8440134 ~x15357+27612688384 x14449+13806344192 x14448+6903172096 x14447+536870912000000 ~x7441+268435456000000 ~x7440+134217728000000 ~x7439+67108864000000 ~x7438+33554432000000 ~x7437+16777216000000 ~x7436+8388608000000 ~x7435+4194304000000 ~x7434+2097152000000 ~x7433+1048576000000 ~x7432+524288000000 ~x7431+262144000000 ~x7430+131072000000 ~x7429+65536000000 ~x7428+32768000000 ~x7427+16384000000 ~x7426+8192000000 ~x7425+4096000000 ~x7424+2048000000 ~x7423+1024000000 ~x7422+512000000 ~x7421+256000000 ~x7420+128000000 ~x7419+64000000 ~x7418+32000000 ~x7417+16000000 ~x7416+8000000 ~x7415+4000000 ~x7414+2000000 ~x7413+1000000 ~x7412+182402429222912 x6721+91201214611456 x6720+45600607305728 x6719+22800303652864 x6718+11400151826432 x6717+5700075913216 x6716+2850037956608 x6715+1425018978304 x6714+712509489152 x6713+356254744576 x6712+178127372288 x6711+89063686144 x6710+44531843072 x6709+22265921536 x6708+11132960768 x6707+5566480384 x6706+2783240192 x6705+1391620096 x6704+695810048 x6703+347905024 x6702+173952512 x6701+86976256 x6700+43488128 x6699+21744064 x6698+10872032 x6697+5436016 x6696+2718008 x6695+1359004 x6694+679502 x6693+339751 x6692-0=2199710862980217
37.67/37.71	c 562949953421312 ~x1196555+281474976710656 ~x1196554+140737488355328 ~x1196553+70368744177664 ~x1196552+35184372088832 ~x1196551+17592186044416 ~x1196550+8796093022208 ~x1196549+4398046511104 ~x1196548+2199023255552 ~x1196547+1099511627776 ~x1196546+549755813888 ~x1196545+274877906944 ~x1196544+137438953472 ~x1196543+68719476736 ~x1196542+34359738368 ~x1196541+17179869184 ~x1196540+8589934592 ~x1196539+4294967296 ~x1196538+2147483648 ~x1196537+1073741824 ~x1196536+536870912 ~x1196535+268435456 ~x1196534+134217728 ~x1196533+67108864 ~x1196532+33554432 ~x1196531+16777216 ~x1196530+8388608 ~x1196529+4194304 ~x1196528+2097152 ~x1196527+1048576 ~x1196526+524288 ~x1196525+262144 ~x1196524+131072 ~x1196523+65536 ~x1196522+32768 ~x1196521+16384 ~x1196520+8192 ~x1196519+4096 ~x1196518+2048 ~x1196517+1024 ~x1196516+512 ~x1196515+256 ~x1196514+128 ~x1196513+64 ~x1196512+32 ~x1196511+16 ~x1196510+8 ~x1196509+4 ~x1196508+2 ~x1196507+1 ~x1196506+34570788864 ~x15382+17285394432 ~x15381+8642697216 ~x15380+4321348608 ~x15379+2160674304 ~x15378+1080337152 ~x15377+540168576 ~x15376+270084288 ~x15375+135042144 ~x15374+67521072 ~x15373+33760536 ~x15372+16880268 ~x15371+8440134 ~x15370+27612688384 x14452+13806344192 x14451+6903172096 x14450+536870912000000 ~x7471+268435456000000 ~x7470+134217728000000 ~x7469+67108864000000 ~x7468+33554432000000 ~x7467+16777216000000 ~x7466+8388608000000 ~x7465+4194304000000 ~x7464+2097152000000 ~x7463+1048576000000 ~x7462+524288000000 ~x7461+262144000000 ~x7460+131072000000 ~x7459+65536000000 ~x7458+32768000000 ~x7457+16384000000 ~x7456+8192000000 ~x7455+4096000000 ~x7454+2048000000 ~x7453+1024000000 ~x7452+512000000 ~x7451+256000000 ~x7450+128000000 ~x7449+64000000 ~x7448+32000000 ~x7447+16000000 ~x7446+8000000 ~x7445+4000000 ~x7444+2000000 ~x7443+1000000 ~x7442+182402429222912 x6751+91201214611456 x6750+45600607305728 x6749+22800303652864 x6748+11400151826432 x6747+5700075913216 x6746+2850037956608 x6745+1425018978304 x6744+712509489152 x6743+356254744576 x6742+178127372288 x6741+89063686144 x6740+44531843072 x6739+22265921536 x6738+11132960768 x6737+5566480384 x6736+2783240192 x6735+1391620096 x6734+695810048 x6733+347905024 x6732+173952512 x6731+86976256 x6730+43488128 x6729+21744064 x6728+10872032 x6727+5436016 x6726+2718008 x6725+1359004 x6724+679502 x6723+339751 x6722-0=2199710862980217
39.47/39.57	c 562949953421312 ~x1277886+281474976710656 ~x1277885+140737488355328 ~x1277884+70368744177664 ~x1277883+35184372088832 ~x1277882+17592186044416 ~x1277881+8796093022208 ~x1277880+4398046511104 ~x1277879+2199023255552 ~x1277878+1099511627776 ~x1277877+549755813888 ~x1277876+274877906944 ~x1277875+137438953472 ~x1277874+68719476736 ~x1277873+34359738368 ~x1277872+17179869184 ~x1277871+8589934592 ~x1277870+4294967296 ~x1277869+2147483648 ~x1277868+1073741824 ~x1277867+536870912 ~x1277866+268435456 ~x1277865+134217728 ~x1277864+67108864 ~x1277863+33554432 ~x1277862+16777216 ~x1277861+8388608 ~x1277860+4194304 ~x1277859+2097152 ~x1277858+1048576 ~x1277857+524288 ~x1277856+262144 ~x1277855+131072 ~x1277854+65536 ~x1277853+32768 ~x1277852+16384 ~x1277851+8192 ~x1277850+4096 ~x1277849+2048 ~x1277848+1024 ~x1277847+512 ~x1277846+256 ~x1277845+128 ~x1277844+64 ~x1277843+32 ~x1277842+16 ~x1277841+8 ~x1277840+4 ~x1277839+2 ~x1277838+1 ~x1277837+34570788864 ~x15395+17285394432 ~x15394+8642697216 ~x15393+4321348608 ~x15392+2160674304 ~x15391+1080337152 ~x15390+540168576 ~x15389+270084288 ~x15388+135042144 ~x15387+67521072 ~x15386+33760536 ~x15385+16880268 ~x15384+8440134 ~x15383+27612688384 x14455+13806344192 x14454+6903172096 x14453+536870912000000 ~x7501+268435456000000 ~x7500+134217728000000 ~x7499+67108864000000 ~x7498+33554432000000 ~x7497+16777216000000 ~x7496+8388608000000 ~x7495+4194304000000 ~x7494+2097152000000 ~x7493+1048576000000 ~x7492+524288000000 ~x7491+262144000000 ~x7490+131072000000 ~x7489+65536000000 ~x7488+32768000000 ~x7487+16384000000 ~x7486+8192000000 ~x7485+4096000000 ~x7484+2048000000 ~x7483+1024000000 ~x7482+512000000 ~x7481+256000000 ~x7480+128000000 ~x7479+64000000 ~x7478+32000000 ~x7477+16000000 ~x7476+8000000 ~x7475+4000000 ~x7474+2000000 ~x7473+1000000 ~x7472+182402429222912 x6781+91201214611456 x6780+45600607305728 x6779+22800303652864 x6778+11400151826432 x6777+5700075913216 x6776+2850037956608 x6775+1425018978304 x6774+712509489152 x6773+356254744576 x6772+178127372288 x6771+89063686144 x6770+44531843072 x6769+22265921536 x6768+11132960768 x6767+5566480384 x6766+2783240192 x6765+1391620096 x6764+695810048 x6763+347905024 x6762+173952512 x6761+86976256 x6760+43488128 x6759+21744064 x6758+10872032 x6757+5436016 x6756+2718008 x6755+1359004 x6754+679502 x6753+339751 x6752-0=2199710862980217
41.38/41.40	c 562949953421312 ~x1359217+281474976710656 ~x1359216+140737488355328 ~x1359215+70368744177664 ~x1359214+35184372088832 ~x1359213+17592186044416 ~x1359212+8796093022208 ~x1359211+4398046511104 ~x1359210+2199023255552 ~x1359209+1099511627776 ~x1359208+549755813888 ~x1359207+274877906944 ~x1359206+137438953472 ~x1359205+68719476736 ~x1359204+34359738368 ~x1359203+17179869184 ~x1359202+8589934592 ~x1359201+4294967296 ~x1359200+2147483648 ~x1359199+1073741824 ~x1359198+536870912 ~x1359197+268435456 ~x1359196+134217728 ~x1359195+67108864 ~x1359194+33554432 ~x1359193+16777216 ~x1359192+8388608 ~x1359191+4194304 ~x1359190+2097152 ~x1359189+1048576 ~x1359188+524288 ~x1359187+262144 ~x1359186+131072 ~x1359185+65536 ~x1359184+32768 ~x1359183+16384 ~x1359182+8192 ~x1359181+4096 ~x1359180+2048 ~x1359179+1024 ~x1359178+512 ~x1359177+256 ~x1359176+128 ~x1359175+64 ~x1359174+32 ~x1359173+16 ~x1359172+8 ~x1359171+4 ~x1359170+2 ~x1359169+1 ~x1359168+34570788864 ~x15408+17285394432 ~x15407+8642697216 ~x15406+4321348608 ~x15405+2160674304 ~x15404+1080337152 ~x15403+540168576 ~x15402+270084288 ~x15401+135042144 ~x15400+67521072 ~x15399+33760536 ~x15398+16880268 ~x15397+8440134 ~x15396+27612688384 x14458+13806344192 x14457+6903172096 x14456+536870912000000 ~x7531+268435456000000 ~x7530+134217728000000 ~x7529+67108864000000 ~x7528+33554432000000 ~x7527+16777216000000 ~x7526+8388608000000 ~x7525+4194304000000 ~x7524+2097152000000 ~x7523+1048576000000 ~x7522+524288000000 ~x7521+262144000000 ~x7520+131072000000 ~x7519+65536000000 ~x7518+32768000000 ~x7517+16384000000 ~x7516+8192000000 ~x7515+4096000000 ~x7514+2048000000 ~x7513+1024000000 ~x7512+512000000 ~x7511+256000000 ~x7510+128000000 ~x7509+64000000 ~x7508+32000000 ~x7507+16000000 ~x7506+8000000 ~x7505+4000000 ~x7504+2000000 ~x7503+1000000 ~x7502+182402429222912 x6811+91201214611456 x6810+45600607305728 x6809+22800303652864 x6808+11400151826432 x6807+5700075913216 x6806+2850037956608 x6805+1425018978304 x6804+712509489152 x6803+356254744576 x6802+178127372288 x6801+89063686144 x6800+44531843072 x6799+22265921536 x6798+11132960768 x6797+5566480384 x6796+2783240192 x6795+1391620096 x6794+695810048 x6793+347905024 x6792+173952512 x6791+86976256 x6790+43488128 x6789+21744064 x6788+10872032 x6787+5436016 x6786+2718008 x6785+1359004 x6784+679502 x6783+339751 x6782-0=2199710862980217
43.17/43.25	c 562949953421312 ~x1440548+281474976710656 ~x1440547+140737488355328 ~x1440546+70368744177664 ~x1440545+35184372088832 ~x1440544+17592186044416 ~x1440543+8796093022208 ~x1440542+4398046511104 ~x1440541+2199023255552 ~x1440540+1099511627776 ~x1440539+549755813888 ~x1440538+274877906944 ~x1440537+137438953472 ~x1440536+68719476736 ~x1440535+34359738368 ~x1440534+17179869184 ~x1440533+8589934592 ~x1440532+4294967296 ~x1440531+2147483648 ~x1440530+1073741824 ~x1440529+536870912 ~x1440528+268435456 ~x1440527+134217728 ~x1440526+67108864 ~x1440525+33554432 ~x1440524+16777216 ~x1440523+8388608 ~x1440522+4194304 ~x1440521+2097152 ~x1440520+1048576 ~x1440519+524288 ~x1440518+262144 ~x1440517+131072 ~x1440516+65536 ~x1440515+32768 ~x1440514+16384 ~x1440513+8192 ~x1440512+4096 ~x1440511+2048 ~x1440510+1024 ~x1440509+512 ~x1440508+256 ~x1440507+128 ~x1440506+64 ~x1440505+32 ~x1440504+16 ~x1440503+8 ~x1440502+4 ~x1440501+2 ~x1440500+1 ~x1440499+34570788864 ~x15421+17285394432 ~x15420+8642697216 ~x15419+4321348608 ~x15418+2160674304 ~x15417+1080337152 ~x15416+540168576 ~x15415+270084288 ~x15414+135042144 ~x15413+67521072 ~x15412+33760536 ~x15411+16880268 ~x15410+8440134 ~x15409+27612688384 x14461+13806344192 x14460+6903172096 x14459+536870912000000 ~x7561+268435456000000 ~x7560+134217728000000 ~x7559+67108864000000 ~x7558+33554432000000 ~x7557+16777216000000 ~x7556+8388608000000 ~x7555+4194304000000 ~x7554+2097152000000 ~x7553+1048576000000 ~x7552+524288000000 ~x7551+262144000000 ~x7550+131072000000 ~x7549+65536000000 ~x7548+32768000000 ~x7547+16384000000 ~x7546+8192000000 ~x7545+4096000000 ~x7544+2048000000 ~x7543+1024000000 ~x7542+512000000 ~x7541+256000000 ~x7540+128000000 ~x7539+64000000 ~x7538+32000000 ~x7537+16000000 ~x7536+8000000 ~x7535+4000000 ~x7534+2000000 ~x7533+1000000 ~x7532+182402429222912 x6841+91201214611456 x6840+45600607305728 x6839+22800303652864 x6838+11400151826432 x6837+5700075913216 x6836+2850037956608 x6835+1425018978304 x6834+712509489152 x6833+356254744576 x6832+178127372288 x6831+89063686144 x6830+44531843072 x6829+22265921536 x6828+11132960768 x6827+5566480384 x6826+2783240192 x6825+1391620096 x6824+695810048 x6823+347905024 x6822+173952512 x6821+86976256 x6820+43488128 x6819+21744064 x6818+10872032 x6817+5436016 x6816+2718008 x6815+1359004 x6814+679502 x6813+339751 x6812-0=2199710862980217
44.97/45.09	c 562949953421312 ~x1521879+281474976710656 ~x1521878+140737488355328 ~x1521877+70368744177664 ~x1521876+35184372088832 ~x1521875+17592186044416 ~x1521874+8796093022208 ~x1521873+4398046511104 ~x1521872+2199023255552 ~x1521871+1099511627776 ~x1521870+549755813888 ~x1521869+274877906944 ~x1521868+137438953472 ~x1521867+68719476736 ~x1521866+34359738368 ~x1521865+17179869184 ~x1521864+8589934592 ~x1521863+4294967296 ~x1521862+2147483648 ~x1521861+1073741824 ~x1521860+536870912 ~x1521859+268435456 ~x1521858+134217728 ~x1521857+67108864 ~x1521856+33554432 ~x1521855+16777216 ~x1521854+8388608 ~x1521853+4194304 ~x1521852+2097152 ~x1521851+1048576 ~x1521850+524288 ~x1521849+262144 ~x1521848+131072 ~x1521847+65536 ~x1521846+32768 ~x1521845+16384 ~x1521844+8192 ~x1521843+4096 ~x1521842+2048 ~x1521841+1024 ~x1521840+512 ~x1521839+256 ~x1521838+128 ~x1521837+64 ~x1521836+32 ~x1521835+16 ~x1521834+8 ~x1521833+4 ~x1521832+2 ~x1521831+1 ~x1521830+34570788864 ~x15434+17285394432 ~x15433+8642697216 ~x15432+4321348608 ~x15431+2160674304 ~x15430+1080337152 ~x15429+540168576 ~x15428+270084288 ~x15427+135042144 ~x15426+67521072 ~x15425+33760536 ~x15424+16880268 ~x15423+8440134 ~x15422+27612688384 x14464+13806344192 x14463+6903172096 x14462+536870912000000 ~x7591+268435456000000 ~x7590+134217728000000 ~x7589+67108864000000 ~x7588+33554432000000 ~x7587+16777216000000 ~x7586+8388608000000 ~x7585+4194304000000 ~x7584+2097152000000 ~x7583+1048576000000 ~x7582+524288000000 ~x7581+262144000000 ~x7580+131072000000 ~x7579+65536000000 ~x7578+32768000000 ~x7577+16384000000 ~x7576+8192000000 ~x7575+4096000000 ~x7574+2048000000 ~x7573+1024000000 ~x7572+512000000 ~x7571+256000000 ~x7570+128000000 ~x7569+64000000 ~x7568+32000000 ~x7567+16000000 ~x7566+8000000 ~x7565+4000000 ~x7564+2000000 ~x7563+1000000 ~x7562+182402429222912 x6871+91201214611456 x6870+45600607305728 x6869+22800303652864 x6868+11400151826432 x6867+5700075913216 x6866+2850037956608 x6865+1425018978304 x6864+712509489152 x6863+356254744576 x6862+178127372288 x6861+89063686144 x6860+44531843072 x6859+22265921536 x6858+11132960768 x6857+5566480384 x6856+2783240192 x6855+1391620096 x6854+695810048 x6853+347905024 x6852+173952512 x6851+86976256 x6850+43488128 x6849+21744064 x6848+10872032 x6847+5436016 x6846+2718008 x6845+1359004 x6844+679502 x6843+339751 x6842-0=2199710862980217
46.87/46.96	c 562949953421312 ~x1603210+281474976710656 ~x1603209+140737488355328 ~x1603208+70368744177664 ~x1603207+35184372088832 ~x1603206+17592186044416 ~x1603205+8796093022208 ~x1603204+4398046511104 ~x1603203+2199023255552 ~x1603202+1099511627776 ~x1603201+549755813888 ~x1603200+274877906944 ~x1603199+137438953472 ~x1603198+68719476736 ~x1603197+34359738368 ~x1603196+17179869184 ~x1603195+8589934592 ~x1603194+4294967296 ~x1603193+2147483648 ~x1603192+1073741824 ~x1603191+536870912 ~x1603190+268435456 ~x1603189+134217728 ~x1603188+67108864 ~x1603187+33554432 ~x1603186+16777216 ~x1603185+8388608 ~x1603184+4194304 ~x1603183+2097152 ~x1603182+1048576 ~x1603181+524288 ~x1603180+262144 ~x1603179+131072 ~x1603178+65536 ~x1603177+32768 ~x1603176+16384 ~x1603175+8192 ~x1603174+4096 ~x1603173+2048 ~x1603172+1024 ~x1603171+512 ~x1603170+256 ~x1603169+128 ~x1603168+64 ~x1603167+32 ~x1603166+16 ~x1603165+8 ~x1603164+4 ~x1603163+2 ~x1603162+1 ~x1603161+34570788864 ~x15447+17285394432 ~x15446+8642697216 ~x15445+4321348608 ~x15444+2160674304 ~x15443+1080337152 ~x15442+540168576 ~x15441+270084288 ~x15440+135042144 ~x15439+67521072 ~x15438+33760536 ~x15437+16880268 ~x15436+8440134 ~x15435+27612688384 x14467+13806344192 x14466+6903172096 x14465+536870912000000 ~x7621+268435456000000 ~x7620+134217728000000 ~x7619+67108864000000 ~x7618+33554432000000 ~x7617+16777216000000 ~x7616+8388608000000 ~x7615+4194304000000 ~x7614+2097152000000 ~x7613+1048576000000 ~x7612+524288000000 ~x7611+262144000000 ~x7610+131072000000 ~x7609+65536000000 ~x7608+32768000000 ~x7607+16384000000 ~x7606+8192000000 ~x7605+4096000000 ~x7604+2048000000 ~x7603+1024000000 ~x7602+512000000 ~x7601+256000000 ~x7600+128000000 ~x7599+64000000 ~x7598+32000000 ~x7597+16000000 ~x7596+8000000 ~x7595+4000000 ~x7594+2000000 ~x7593+1000000 ~x7592+182402429222912 x6901+91201214611456 x6900+45600607305728 x6899+22800303652864 x6898+11400151826432 x6897+5700075913216 x6896+2850037956608 x6895+1425018978304 x6894+712509489152 x6893+356254744576 x6892+178127372288 x6891+89063686144 x6890+44531843072 x6889+22265921536 x6888+11132960768 x6887+5566480384 x6886+2783240192 x6885+1391620096 x6884+695810048 x6883+347905024 x6882+173952512 x6881+86976256 x6880+43488128 x6879+21744064 x6878+10872032 x6877+5436016 x6876+2718008 x6875+1359004 x6874+679502 x6873+339751 x6872-0=2199710862980217
48.68/48.79	c 562949953421312 ~x1684541+281474976710656 ~x1684540+140737488355328 ~x1684539+70368744177664 ~x1684538+35184372088832 ~x1684537+17592186044416 ~x1684536+8796093022208 ~x1684535+4398046511104 ~x1684534+2199023255552 ~x1684533+1099511627776 ~x1684532+549755813888 ~x1684531+274877906944 ~x1684530+137438953472 ~x1684529+68719476736 ~x1684528+34359738368 ~x1684527+17179869184 ~x1684526+8589934592 ~x1684525+4294967296 ~x1684524+2147483648 ~x1684523+1073741824 ~x1684522+536870912 ~x1684521+268435456 ~x1684520+134217728 ~x1684519+67108864 ~x1684518+33554432 ~x1684517+16777216 ~x1684516+8388608 ~x1684515+4194304 ~x1684514+2097152 ~x1684513+1048576 ~x1684512+524288 ~x1684511+262144 ~x1684510+131072 ~x1684509+65536 ~x1684508+32768 ~x1684507+16384 ~x1684506+8192 ~x1684505+4096 ~x1684504+2048 ~x1684503+1024 ~x1684502+512 ~x1684501+256 ~x1684500+128 ~x1684499+64 ~x1684498+32 ~x1684497+16 ~x1684496+8 ~x1684495+4 ~x1684494+2 ~x1684493+1 ~x1684492+34570788864 ~x15460+17285394432 ~x15459+8642697216 ~x15458+4321348608 ~x15457+2160674304 ~x15456+1080337152 ~x15455+540168576 ~x15454+270084288 ~x15453+135042144 ~x15452+67521072 ~x15451+33760536 ~x15450+16880268 ~x15449+8440134 ~x15448+27612688384 x14470+13806344192 x14469+6903172096 x14468+536870912000000 ~x7651+268435456000000 ~x7650+134217728000000 ~x7649+67108864000000 ~x7648+33554432000000 ~x7647+16777216000000 ~x7646+8388608000000 ~x7645+4194304000000 ~x7644+2097152000000 ~x7643+1048576000000 ~x7642+524288000000 ~x7641+262144000000 ~x7640+131072000000 ~x7639+65536000000 ~x7638+32768000000 ~x7637+16384000000 ~x7636+8192000000 ~x7635+4096000000 ~x7634+2048000000 ~x7633+1024000000 ~x7632+512000000 ~x7631+256000000 ~x7630+128000000 ~x7629+64000000 ~x7628+32000000 ~x7627+16000000 ~x7626+8000000 ~x7625+4000000 ~x7624+2000000 ~x7623+1000000 ~x7622+182402429222912 x6931+91201214611456 x6930+45600607305728 x6929+22800303652864 x6928+11400151826432 x6927+5700075913216 x6926+2850037956608 x6925+1425018978304 x6924+712509489152 x6923+356254744576 x6922+178127372288 x6921+89063686144 x6920+44531843072 x6919+22265921536 x6918+11132960768 x6917+5566480384 x6916+2783240192 x6915+1391620096 x6914+695810048 x6913+347905024 x6912+173952512 x6911+86976256 x6910+43488128 x6909+21744064 x6908+10872032 x6907+5436016 x6906+2718008 x6905+1359004 x6904+679502 x6903+339751 x6902-0=2199710862980217
50.58/50.64	c 562949953421312 ~x1765872+281474976710656 ~x1765871+140737488355328 ~x1765870+70368744177664 ~x1765869+35184372088832 ~x1765868+17592186044416 ~x1765867+8796093022208 ~x1765866+4398046511104 ~x1765865+2199023255552 ~x1765864+1099511627776 ~x1765863+549755813888 ~x1765862+274877906944 ~x1765861+137438953472 ~x1765860+68719476736 ~x1765859+34359738368 ~x1765858+17179869184 ~x1765857+8589934592 ~x1765856+4294967296 ~x1765855+2147483648 ~x1765854+1073741824 ~x1765853+536870912 ~x1765852+268435456 ~x1765851+134217728 ~x1765850+67108864 ~x1765849+33554432 ~x1765848+16777216 ~x1765847+8388608 ~x1765846+4194304 ~x1765845+2097152 ~x1765844+1048576 ~x1765843+524288 ~x1765842+262144 ~x1765841+131072 ~x1765840+65536 ~x1765839+32768 ~x1765838+16384 ~x1765837+8192 ~x1765836+4096 ~x1765835+2048 ~x1765834+1024 ~x1765833+512 ~x1765832+256 ~x1765831+128 ~x1765830+64 ~x1765829+32 ~x1765828+16 ~x1765827+8 ~x1765826+4 ~x1765825+2 ~x1765824+1 ~x1765823+34570788864 ~x15473+17285394432 ~x15472+8642697216 ~x15471+4321348608 ~x15470+2160674304 ~x15469+1080337152 ~x15468+540168576 ~x15467+270084288 ~x15466+135042144 ~x15465+67521072 ~x15464+33760536 ~x15463+16880268 ~x15462+8440134 ~x15461+27612688384 x14473+13806344192 x14472+6903172096 x14471+536870912000000 ~x7681+268435456000000 ~x7680+134217728000000 ~x7679+67108864000000 ~x7678+33554432000000 ~x7677+16777216000000 ~x7676+8388608000000 ~x7675+4194304000000 ~x7674+2097152000000 ~x7673+1048576000000 ~x7672+524288000000 ~x7671+262144000000 ~x7670+131072000000 ~x7669+65536000000 ~x7668+32768000000 ~x7667+16384000000 ~x7666+8192000000 ~x7665+4096000000 ~x7664+2048000000 ~x7663+1024000000 ~x7662+512000000 ~x7661+256000000 ~x7660+128000000 ~x7659+64000000 ~x7658+32000000 ~x7657+16000000 ~x7656+8000000 ~x7655+4000000 ~x7654+2000000 ~x7653+1000000 ~x7652+182402429222912 x6961+91201214611456 x6960+45600607305728 x6959+22800303652864 x6958+11400151826432 x6957+5700075913216 x6956+2850037956608 x6955+1425018978304 x6954+712509489152 x6953+356254744576 x6952+178127372288 x6951+89063686144 x6950+44531843072 x6949+22265921536 x6948+11132960768 x6947+5566480384 x6946+2783240192 x6945+1391620096 x6944+695810048 x6943+347905024 x6942+173952512 x6941+86976256 x6940+43488128 x6939+21744064 x6938+10872032 x6937+5436016 x6936+2718008 x6935+1359004 x6934+679502 x6933+339751 x6932-0=2199710862980217
52.37/52.48	c 562949953421312 ~x1847203+281474976710656 ~x1847202+140737488355328 ~x1847201+70368744177664 ~x1847200+35184372088832 ~x1847199+17592186044416 ~x1847198+8796093022208 ~x1847197+4398046511104 ~x1847196+2199023255552 ~x1847195+1099511627776 ~x1847194+549755813888 ~x1847193+274877906944 ~x1847192+137438953472 ~x1847191+68719476736 ~x1847190+34359738368 ~x1847189+17179869184 ~x1847188+8589934592 ~x1847187+4294967296 ~x1847186+2147483648 ~x1847185+1073741824 ~x1847184+536870912 ~x1847183+268435456 ~x1847182+134217728 ~x1847181+67108864 ~x1847180+33554432 ~x1847179+16777216 ~x1847178+8388608 ~x1847177+4194304 ~x1847176+2097152 ~x1847175+1048576 ~x1847174+524288 ~x1847173+262144 ~x1847172+131072 ~x1847171+65536 ~x1847170+32768 ~x1847169+16384 ~x1847168+8192 ~x1847167+4096 ~x1847166+2048 ~x1847165+1024 ~x1847164+512 ~x1847163+256 ~x1847162+128 ~x1847161+64 ~x1847160+32 ~x1847159+16 ~x1847158+8 ~x1847157+4 ~x1847156+2 ~x1847155+1 ~x1847154+34570788864 ~x15486+17285394432 ~x15485+8642697216 ~x15484+4321348608 ~x15483+2160674304 ~x15482+1080337152 ~x15481+540168576 ~x15480+270084288 ~x15479+135042144 ~x15478+67521072 ~x15477+33760536 ~x15476+16880268 ~x15475+8440134 ~x15474+27612688384 x14476+13806344192 x14475+6903172096 x14474+536870912000000 ~x7711+268435456000000 ~x7710+134217728000000 ~x7709+67108864000000 ~x7708+33554432000000 ~x7707+16777216000000 ~x7706+8388608000000 ~x7705+4194304000000 ~x7704+2097152000000 ~x7703+1048576000000 ~x7702+524288000000 ~x7701+262144000000 ~x7700+131072000000 ~x7699+65536000000 ~x7698+32768000000 ~x7697+16384000000 ~x7696+8192000000 ~x7695+4096000000 ~x7694+2048000000 ~x7693+1024000000 ~x7692+512000000 ~x7691+256000000 ~x7690+128000000 ~x7689+64000000 ~x7688+32000000 ~x7687+16000000 ~x7686+8000000 ~x7685+4000000 ~x7684+2000000 ~x7683+1000000 ~x7682+182402429222912 x6991+91201214611456 x6990+45600607305728 x6989+22800303652864 x6988+11400151826432 x6987+5700075913216 x6986+2850037956608 x6985+1425018978304 x6984+712509489152 x6983+356254744576 x6982+178127372288 x6981+89063686144 x6980+44531843072 x6979+22265921536 x6978+11132960768 x6977+5566480384 x6976+2783240192 x6975+1391620096 x6974+695810048 x6973+347905024 x6972+173952512 x6971+86976256 x6970+43488128 x6969+21744064 x6968+10872032 x6967+5436016 x6966+2718008 x6965+1359004 x6964+679502 x6963+339751 x6962-0=2199710862980217
54.27/54.33	c 562949953421312 ~x1928534+281474976710656 ~x1928533+140737488355328 ~x1928532+70368744177664 ~x1928531+35184372088832 ~x1928530+17592186044416 ~x1928529+8796093022208 ~x1928528+4398046511104 ~x1928527+2199023255552 ~x1928526+1099511627776 ~x1928525+549755813888 ~x1928524+274877906944 ~x1928523+137438953472 ~x1928522+68719476736 ~x1928521+34359738368 ~x1928520+17179869184 ~x1928519+8589934592 ~x1928518+4294967296 ~x1928517+2147483648 ~x1928516+1073741824 ~x1928515+536870912 ~x1928514+268435456 ~x1928513+134217728 ~x1928512+67108864 ~x1928511+33554432 ~x1928510+16777216 ~x1928509+8388608 ~x1928508+4194304 ~x1928507+2097152 ~x1928506+1048576 ~x1928505+524288 ~x1928504+262144 ~x1928503+131072 ~x1928502+65536 ~x1928501+32768 ~x1928500+16384 ~x1928499+8192 ~x1928498+4096 ~x1928497+2048 ~x1928496+1024 ~x1928495+512 ~x1928494+256 ~x1928493+128 ~x1928492+64 ~x1928491+32 ~x1928490+16 ~x1928489+8 ~x1928488+4 ~x1928487+2 ~x1928486+1 ~x1928485+34570788864 ~x15499+17285394432 ~x15498+8642697216 ~x15497+4321348608 ~x15496+2160674304 ~x15495+1080337152 ~x15494+540168576 ~x15493+270084288 ~x15492+135042144 ~x15491+67521072 ~x15490+33760536 ~x15489+16880268 ~x15488+8440134 ~x15487+27612688384 x14479+13806344192 x14478+6903172096 x14477+536870912000000 ~x7741+268435456000000 ~x7740+134217728000000 ~x7739+67108864000000 ~x7738+33554432000000 ~x7737+16777216000000 ~x7736+8388608000000 ~x7735+4194304000000 ~x7734+2097152000000 ~x7733+1048576000000 ~x7732+524288000000 ~x7731+262144000000 ~x7730+131072000000 ~x7729+65536000000 ~x7728+32768000000 ~x7727+16384000000 ~x7726+8192000000 ~x7725+4096000000 ~x7724+2048000000 ~x7723+1024000000 ~x7722+512000000 ~x7721+256000000 ~x7720+128000000 ~x7719+64000000 ~x7718+32000000 ~x7717+16000000 ~x7716+8000000 ~x7715+4000000 ~x7714+2000000 ~x7713+1000000 ~x7712+182402429222912 x7021+91201214611456 x7020+45600607305728 x7019+22800303652864 x7018+11400151826432 x7017+5700075913216 x7016+2850037956608 x7015+1425018978304 x7014+712509489152 x7013+356254744576 x7012+178127372288 x7011+89063686144 x7010+44531843072 x7009+22265921536 x7008+11132960768 x7007+5566480384 x7006+2783240192 x7005+1391620096 x7004+695810048 x7003+347905024 x7002+173952512 x7001+86976256 x7000+43488128 x6999+21744064 x6998+10872032 x6997+5436016 x6996+2718008 x6995+1359004 x6994+679502 x6993+339751 x6992-0=2199710862980217
56.08/56.20	c 562949953421312 ~x2009865+281474976710656 ~x2009864+140737488355328 ~x2009863+70368744177664 ~x2009862+35184372088832 ~x2009861+17592186044416 ~x2009860+8796093022208 ~x2009859+4398046511104 ~x2009858+2199023255552 ~x2009857+1099511627776 ~x2009856+549755813888 ~x2009855+274877906944 ~x2009854+137438953472 ~x2009853+68719476736 ~x2009852+34359738368 ~x2009851+17179869184 ~x2009850+8589934592 ~x2009849+4294967296 ~x2009848+2147483648 ~x2009847+1073741824 ~x2009846+536870912 ~x2009845+268435456 ~x2009844+134217728 ~x2009843+67108864 ~x2009842+33554432 ~x2009841+16777216 ~x2009840+8388608 ~x2009839+4194304 ~x2009838+2097152 ~x2009837+1048576 ~x2009836+524288 ~x2009835+262144 ~x2009834+131072 ~x2009833+65536 ~x2009832+32768 ~x2009831+16384 ~x2009830+8192 ~x2009829+4096 ~x2009828+2048 ~x2009827+1024 ~x2009826+512 ~x2009825+256 ~x2009824+128 ~x2009823+64 ~x2009822+32 ~x2009821+16 ~x2009820+8 ~x2009819+4 ~x2009818+2 ~x2009817+1 ~x2009816+34570788864 ~x15512+17285394432 ~x15511+8642697216 ~x15510+4321348608 ~x15509+2160674304 ~x15508+1080337152 ~x15507+540168576 ~x15506+270084288 ~x15505+135042144 ~x15504+67521072 ~x15503+33760536 ~x15502+16880268 ~x15501+8440134 ~x15500+27612688384 x14482+13806344192 x14481+6903172096 x14480+536870912000000 ~x7771+268435456000000 ~x7770+134217728000000 ~x7769+67108864000000 ~x7768+33554432000000 ~x7767+16777216000000 ~x7766+8388608000000 ~x7765+4194304000000 ~x7764+2097152000000 ~x7763+1048576000000 ~x7762+524288000000 ~x7761+262144000000 ~x7760+131072000000 ~x7759+65536000000 ~x7758+32768000000 ~x7757+16384000000 ~x7756+8192000000 ~x7755+4096000000 ~x7754+2048000000 ~x7753+1024000000 ~x7752+512000000 ~x7751+256000000 ~x7750+128000000 ~x7749+64000000 ~x7748+32000000 ~x7747+16000000 ~x7746+8000000 ~x7745+4000000 ~x7744+2000000 ~x7743+1000000 ~x7742+182402429222912 x7051+91201214611456 x7050+45600607305728 x7049+22800303652864 x7048+11400151826432 x7047+5700075913216 x7046+2850037956608 x7045+1425018978304 x7044+712509489152 x7043+356254744576 x7042+178127372288 x7041+89063686144 x7040+44531843072 x7039+22265921536 x7038+11132960768 x7037+5566480384 x7036+2783240192 x7035+1391620096 x7034+695810048 x7033+347905024 x7032+173952512 x7031+86976256 x7030+43488128 x7029+21744064 x7028+10872032 x7027+5436016 x7026+2718008 x7025+1359004 x7024+679502 x7023+339751 x7022-0=2199710862980217
57.97/58.03	c 562949953421312 ~x2091196+281474976710656 ~x2091195+140737488355328 ~x2091194+70368744177664 ~x2091193+35184372088832 ~x2091192+17592186044416 ~x2091191+8796093022208 ~x2091190+4398046511104 ~x2091189+2199023255552 ~x2091188+1099511627776 ~x2091187+549755813888 ~x2091186+274877906944 ~x2091185+137438953472 ~x2091184+68719476736 ~x2091183+34359738368 ~x2091182+17179869184 ~x2091181+8589934592 ~x2091180+4294967296 ~x2091179+2147483648 ~x2091178+1073741824 ~x2091177+536870912 ~x2091176+268435456 ~x2091175+134217728 ~x2091174+67108864 ~x2091173+33554432 ~x2091172+16777216 ~x2091171+8388608 ~x2091170+4194304 ~x2091169+2097152 ~x2091168+1048576 ~x2091167+524288 ~x2091166+262144 ~x2091165+131072 ~x2091164+65536 ~x2091163+32768 ~x2091162+16384 ~x2091161+8192 ~x2091160+4096 ~x2091159+2048 ~x2091158+1024 ~x2091157+512 ~x2091156+256 ~x2091155+128 ~x2091154+64 ~x2091153+32 ~x2091152+16 ~x2091151+8 ~x2091150+4 ~x2091149+2 ~x2091148+1 ~x2091147+34570788864 ~x15525+17285394432 ~x15524+8642697216 ~x15523+4321348608 ~x15522+2160674304 ~x15521+1080337152 ~x15520+540168576 ~x15519+270084288 ~x15518+135042144 ~x15517+67521072 ~x15516+33760536 ~x15515+16880268 ~x15514+8440134 ~x15513+27612688384 x14485+13806344192 x14484+6903172096 x14483+536870912000000 ~x7801+268435456000000 ~x7800+134217728000000 ~x7799+67108864000000 ~x7798+33554432000000 ~x7797+16777216000000 ~x7796+8388608000000 ~x7795+4194304000000 ~x7794+2097152000000 ~x7793+1048576000000 ~x7792+524288000000 ~x7791+262144000000 ~x7790+131072000000 ~x7789+65536000000 ~x7788+32768000000 ~x7787+16384000000 ~x7786+8192000000 ~x7785+4096000000 ~x7784+2048000000 ~x7783+1024000000 ~x7782+512000000 ~x7781+256000000 ~x7780+128000000 ~x7779+64000000 ~x7778+32000000 ~x7777+16000000 ~x7776+8000000 ~x7775+4000000 ~x7774+2000000 ~x7773+1000000 ~x7772+182402429222912 x7081+91201214611456 x7080+45600607305728 x7079+22800303652864 x7078+11400151826432 x7077+5700075913216 x7076+2850037956608 x7075+1425018978304 x7074+712509489152 x7073+356254744576 x7072+178127372288 x7071+89063686144 x7070+44531843072 x7069+22265921536 x7068+11132960768 x7067+5566480384 x7066+2783240192 x7065+1391620096 x7064+695810048 x7063+347905024 x7062+173952512 x7061+86976256 x7060+43488128 x7059+21744064 x7058+10872032 x7057+5436016 x7056+2718008 x7055+1359004 x7054+679502 x7053+339751 x7052-0=2199710862980217
59.77/59.87	c 562949953421312 ~x2172527+281474976710656 ~x2172526+140737488355328 ~x2172525+70368744177664 ~x2172524+35184372088832 ~x2172523+17592186044416 ~x2172522+8796093022208 ~x2172521+4398046511104 ~x2172520+2199023255552 ~x2172519+1099511627776 ~x2172518+549755813888 ~x2172517+274877906944 ~x2172516+137438953472 ~x2172515+68719476736 ~x2172514+34359738368 ~x2172513+17179869184 ~x2172512+8589934592 ~x2172511+4294967296 ~x2172510+2147483648 ~x2172509+1073741824 ~x2172508+536870912 ~x2172507+268435456 ~x2172506+134217728 ~x2172505+67108864 ~x2172504+33554432 ~x2172503+16777216 ~x2172502+8388608 ~x2172501+4194304 ~x2172500+2097152 ~x2172499+1048576 ~x2172498+524288 ~x2172497+262144 ~x2172496+131072 ~x2172495+65536 ~x2172494+32768 ~x2172493+16384 ~x2172492+8192 ~x2172491+4096 ~x2172490+2048 ~x2172489+1024 ~x2172488+512 ~x2172487+256 ~x2172486+128 ~x2172485+64 ~x2172484+32 ~x2172483+16 ~x2172482+8 ~x2172481+4 ~x2172480+2 ~x2172479+1 ~x2172478+34570788864 ~x15538+17285394432 ~x15537+8642697216 ~x15536+4321348608 ~x15535+2160674304 ~x15534+1080337152 ~x15533+540168576 ~x15532+270084288 ~x15531+135042144 ~x15530+67521072 ~x15529+33760536 ~x15528+16880268 ~x15527+8440134 ~x15526+27612688384 x14488+13806344192 x14487+6903172096 x14486+536870912000000 ~x7831+268435456000000 ~x7830+134217728000000 ~x7829+67108864000000 ~x7828+33554432000000 ~x7827+16777216000000 ~x7826+8388608000000 ~x7825+4194304000000 ~x7824+2097152000000 ~x7823+1048576000000 ~x7822+524288000000 ~x7821+262144000000 ~x7820+131072000000 ~x7819+65536000000 ~x7818+32768000000 ~x7817+16384000000 ~x7816+8192000000 ~x7815+4096000000 ~x7814+2048000000 ~x7813+1024000000 ~x7812+512000000 ~x7811+256000000 ~x7810+128000000 ~x7809+64000000 ~x7808+32000000 ~x7807+16000000 ~x7806+8000000 ~x7805+4000000 ~x7804+2000000 ~x7803+1000000 ~x7802+182402429222912 x7111+91201214611456 x7110+45600607305728 x7109+22800303652864 x7108+11400151826432 x7107+5700075913216 x7106+2850037956608 x7105+1425018978304 x7104+712509489152 x7103+356254744576 x7102+178127372288 x7101+89063686144 x7100+44531843072 x7099+22265921536 x7098+11132960768 x7097+5566480384 x7096+2783240192 x7095+1391620096 x7094+695810048 x7093+347905024 x7092+173952512 x7091+86976256 x7090+43488128 x7089+21744064 x7088+10872032 x7087+5436016 x7086+2718008 x7085+1359004 x7084+679502 x7083+339751 x7082-0=2199710862980217
61.67/61.72	c 562949953421312 ~x2253858+281474976710656 ~x2253857+140737488355328 ~x2253856+70368744177664 ~x2253855+35184372088832 ~x2253854+17592186044416 ~x2253853+8796093022208 ~x2253852+4398046511104 ~x2253851+2199023255552 ~x2253850+1099511627776 ~x2253849+549755813888 ~x2253848+274877906944 ~x2253847+137438953472 ~x2253846+68719476736 ~x2253845+34359738368 ~x2253844+17179869184 ~x2253843+8589934592 ~x2253842+4294967296 ~x2253841+2147483648 ~x2253840+1073741824 ~x2253839+536870912 ~x2253838+268435456 ~x2253837+134217728 ~x2253836+67108864 ~x2253835+33554432 ~x2253834+16777216 ~x2253833+8388608 ~x2253832+4194304 ~x2253831+2097152 ~x2253830+1048576 ~x2253829+524288 ~x2253828+262144 ~x2253827+131072 ~x2253826+65536 ~x2253825+32768 ~x2253824+16384 ~x2253823+8192 ~x2253822+4096 ~x2253821+2048 ~x2253820+1024 ~x2253819+512 ~x2253818+256 ~x2253817+128 ~x2253816+64 ~x2253815+32 ~x2253814+16 ~x2253813+8 ~x2253812+4 ~x2253811+2 ~x2253810+1 ~x2253809+34570788864 ~x15551+17285394432 ~x15550+8642697216 ~x15549+4321348608 ~x15548+2160674304 ~x15547+1080337152 ~x15546+540168576 ~x15545+270084288 ~x15544+135042144 ~x15543+67521072 ~x15542+33760536 ~x15541+16880268 ~x15540+8440134 ~x15539+27612688384 x14491+13806344192 x14490+6903172096 x14489+536870912000000 ~x7861+268435456000000 ~x7860+134217728000000 ~x7859+67108864000000 ~x7858+33554432000000 ~x7857+16777216000000 ~x7856+8388608000000 ~x7855+4194304000000 ~x7854+2097152000000 ~x7853+1048576000000 ~x7852+524288000000 ~x7851+262144000000 ~x7850+131072000000 ~x7849+65536000000 ~x7848+32768000000 ~x7847+16384000000 ~x7846+8192000000 ~x7845+4096000000 ~x7844+2048000000 ~x7843+1024000000 ~x7842+512000000 ~x7841+256000000 ~x7840+128000000 ~x7839+64000000 ~x7838+32000000 ~x7837+16000000 ~x7836+8000000 ~x7835+4000000 ~x7834+2000000 ~x7833+1000000 ~x7832+182402429222912 x7141+91201214611456 x7140+45600607305728 x7139+22800303652864 x7138+11400151826432 x7137+5700075913216 x7136+2850037956608 x7135+1425018978304 x7134+712509489152 x7133+356254744576 x7132+178127372288 x7131+89063686144 x7130+44531843072 x7129+22265921536 x7128+11132960768 x7127+5566480384 x7126+2783240192 x7125+1391620096 x7124+695810048 x7123+347905024 x7122+173952512 x7121+86976256 x7120+43488128 x7119+21744064 x7118+10872032 x7117+5436016 x7116+2718008 x7115+1359004 x7114+679502 x7113+339751 x7112-0=2199710862980217
63.47/63.56	c 562949953421312 ~x2335189+281474976710656 ~x2335188+140737488355328 ~x2335187+70368744177664 ~x2335186+35184372088832 ~x2335185+17592186044416 ~x2335184+8796093022208 ~x2335183+4398046511104 ~x2335182+2199023255552 ~x2335181+1099511627776 ~x2335180+549755813888 ~x2335179+274877906944 ~x2335178+137438953472 ~x2335177+68719476736 ~x2335176+34359738368 ~x2335175+17179869184 ~x2335174+8589934592 ~x2335173+4294967296 ~x2335172+2147483648 ~x2335171+1073741824 ~x2335170+536870912 ~x2335169+268435456 ~x2335168+134217728 ~x2335167+67108864 ~x2335166+33554432 ~x2335165+16777216 ~x2335164+8388608 ~x2335163+4194304 ~x2335162+2097152 ~x2335161+1048576 ~x2335160+524288 ~x2335159+262144 ~x2335158+131072 ~x2335157+65536 ~x2335156+32768 ~x2335155+16384 ~x2335154+8192 ~x2335153+4096 ~x2335152+2048 ~x2335151+1024 ~x2335150+512 ~x2335149+256 ~x2335148+128 ~x2335147+64 ~x2335146+32 ~x2335145+16 ~x2335144+8 ~x2335143+4 ~x2335142+2 ~x2335141+1 ~x2335140+34570788864 ~x15564+17285394432 ~x15563+8642697216 ~x15562+4321348608 ~x15561+2160674304 ~x15560+1080337152 ~x15559+540168576 ~x15558+270084288 ~x15557+135042144 ~x15556+67521072 ~x15555+33760536 ~x15554+16880268 ~x15553+8440134 ~x15552+27612688384 x14494+13806344192 x14493+6903172096 x14492+536870912000000 ~x7891+268435456000000 ~x7890+134217728000000 ~x7889+67108864000000 ~x7888+33554432000000 ~x7887+16777216000000 ~x7886+8388608000000 ~x7885+4194304000000 ~x7884+2097152000000 ~x7883+1048576000000 ~x7882+524288000000 ~x7881+262144000000 ~x7880+131072000000 ~x7879+65536000000 ~x7878+32768000000 ~x7877+16384000000 ~x7876+8192000000 ~x7875+4096000000 ~x7874+2048000000 ~x7873+1024000000 ~x7872+512000000 ~x7871+256000000 ~x7870+128000000 ~x7869+64000000 ~x7868+32000000 ~x7867+16000000 ~x7866+8000000 ~x7865+4000000 ~x7864+2000000 ~x7863+1000000 ~x7862+182402429222912 x7171+91201214611456 x7170+45600607305728 x7169+22800303652864 x7168+11400151826432 x7167+5700075913216 x7166+2850037956608 x7165+1425018978304 x7164+712509489152 x7163+356254744576 x7162+178127372288 x7161+89063686144 x7160+44531843072 x7159+22265921536 x7158+11132960768 x7157+5566480384 x7156+2783240192 x7155+1391620096 x7154+695810048 x7153+347905024 x7152+173952512 x7151+86976256 x7150+43488128 x7149+21744064 x7148+10872032 x7147+5436016 x7146+2718008 x7145+1359004 x7144+679502 x7143+339751 x7142-0=2199710862980217
65.37/65.47	c 562949953421312 ~x2416520+281474976710656 ~x2416519+140737488355328 ~x2416518+70368744177664 ~x2416517+35184372088832 ~x2416516+17592186044416 ~x2416515+8796093022208 ~x2416514+4398046511104 ~x2416513+2199023255552 ~x2416512+1099511627776 ~x2416511+549755813888 ~x2416510+274877906944 ~x2416509+137438953472 ~x2416508+68719476736 ~x2416507+34359738368 ~x2416506+17179869184 ~x2416505+8589934592 ~x2416504+4294967296 ~x2416503+2147483648 ~x2416502+1073741824 ~x2416501+536870912 ~x2416500+268435456 ~x2416499+134217728 ~x2416498+67108864 ~x2416497+33554432 ~x2416496+16777216 ~x2416495+8388608 ~x2416494+4194304 ~x2416493+2097152 ~x2416492+1048576 ~x2416491+524288 ~x2416490+262144 ~x2416489+131072 ~x2416488+65536 ~x2416487+32768 ~x2416486+16384 ~x2416485+8192 ~x2416484+4096 ~x2416483+2048 ~x2416482+1024 ~x2416481+512 ~x2416480+256 ~x2416479+128 ~x2416478+64 ~x2416477+32 ~x2416476+16 ~x2416475+8 ~x2416474+4 ~x2416473+2 ~x2416472+1 ~x2416471+34570788864 ~x15577+17285394432 ~x15576+8642697216 ~x15575+4321348608 ~x15574+2160674304 ~x15573+1080337152 ~x15572+540168576 ~x15571+270084288 ~x15570+135042144 ~x15569+67521072 ~x15568+33760536 ~x15567+16880268 ~x15566+8440134 ~x15565+27612688384 x14497+13806344192 x14496+6903172096 x14495+536870912000000 ~x7921+268435456000000 ~x7920+134217728000000 ~x7919+67108864000000 ~x7918+33554432000000 ~x7917+16777216000000 ~x7916+8388608000000 ~x7915+4194304000000 ~x7914+2097152000000 ~x7913+1048576000000 ~x7912+524288000000 ~x7911+262144000000 ~x7910+131072000000 ~x7909+65536000000 ~x7908+32768000000 ~x7907+16384000000 ~x7906+8192000000 ~x7905+4096000000 ~x7904+2048000000 ~x7903+1024000000 ~x7902+512000000 ~x7901+256000000 ~x7900+128000000 ~x7899+64000000 ~x7898+32000000 ~x7897+16000000 ~x7896+8000000 ~x7895+4000000 ~x7894+2000000 ~x7893+1000000 ~x7892+182402429222912 x7201+91201214611456 x7200+45600607305728 x7199+22800303652864 x7198+11400151826432 x7197+5700075913216 x7196+2850037956608 x7195+1425018978304 x7194+712509489152 x7193+356254744576 x7192+178127372288 x7191+89063686144 x7190+44531843072 x7189+22265921536 x7188+11132960768 x7187+5566480384 x7186+2783240192 x7185+1391620096 x7184+695810048 x7183+347905024 x7182+173952512 x7181+86976256 x7180+43488128 x7179+21744064 x7178+10872032 x7177+5436016 x7176+2718008 x7175+1359004 x7174+679502 x7173+339751 x7172-0=2199710862980217
67.36/67.47	c 281474976710656 ~x2497850+140737488355328 ~x2497849+70368744177664 ~x2497848+35184372088832 ~x2497847+17592186044416 ~x2497846+8796093022208 ~x2497845+4398046511104 ~x2497844+2199023255552 ~x2497843+1099511627776 ~x2497842+549755813888 ~x2497841+274877906944 ~x2497840+137438953472 ~x2497839+68719476736 ~x2497838+34359738368 ~x2497837+17179869184 ~x2497836+8589934592 ~x2497835+4294967296 ~x2497834+2147483648 ~x2497833+1073741824 ~x2497832+536870912 ~x2497831+268435456 ~x2497830+134217728 ~x2497829+67108864 ~x2497828+33554432 ~x2497827+16777216 ~x2497826+8388608 ~x2497825+4194304 ~x2497824+2097152 ~x2497823+1048576 ~x2497822+524288 ~x2497821+262144 ~x2497820+131072 ~x2497819+65536 ~x2497818+32768 ~x2497817+16384 ~x2497816+8192 ~x2497815+4096 ~x2497814+2048 ~x2497813+1024 ~x2497812+512 ~x2497811+256 ~x2497810+128 ~x2497809+64 ~x2497808+32 ~x2497807+16 ~x2497806+8 ~x2497805+4 ~x2497804+2 ~x2497803+1 ~x2497802+307200000 ~x14954+1843200000 ~x14595+921600000 ~x14594+819200000 ~x14570+491520000 ~x14500+245760000 ~x14499+122880000 ~x14498+245760000 ~x14428+122880000 ~x14427+61440000 ~x14426+26624000 ~x14402+102542344192000 x8671+51271172096000 x8670+25635586048000 x8669+12817793024000 x8668+6408896512000 x8667+3204448256000 x8666+1602224128000 x8665+801112064000 x8664+400556032000 x8663+200278016000 x8662+100139008000 x8661+50069504000 x8660+25034752000 x8659+12517376000 x8658+6258688000 x8657+3129344000 x8656+1564672000 x8655+782336000 x8654+391168000 x8653+195584000 x8652+97792000 x8651+48896000 x8650+24448000 x8649+12224000 x8648+6112000 x8647+3056000 x8646+1528000 x8645+764000 x8644+382000 x8643+191000 x8642+103079215104000 x7951+51539607552000 x7950+25769803776000 x7949+12884901888000 x7948+6442450944000 x7947+3221225472000 x7946+1610612736000 x7945+805306368000 x7944+402653184000 x7943+201326592000 x7942+100663296000 x7941+50331648000 x7940+25165824000 x7939+12582912000 x7938+6291456000 x7937+3145728000 x7936+1572864000 x7935+786432000 x7934+393216000 x7933+196608000 x7932+98304000 x7931+49152000 x7930+24576000 x7929+12288000 x7928+6144000 x7927+3072000 x7926+1536000 x7925+768000 x7924+384000 x7923+192000 x7922+107374182400000 x7231+53687091200000 x7230+26843545600000 x7229+13421772800000 x7228+6710886400000 x7227+3355443200000 x7226+1677721600000 x7225+838860800000 x7224+419430400000 x7223+209715200000 x7222+104857600000 x7221+52428800000 x7220+26214400000 x7219+13107200000 x7218+6553600000 x7217+3276800000 x7216+1638400000 x7215+819200000 x7214+409600000 x7213+204800000 x7212+102400000 x7211+51200000 x7210+25600000 x7209+12800000 x7208+6400000 x7207+3200000 x7206+1600000 x7205+800000 x7204+400000 x7203+200000 x7202+107374182400000 x6511+53687091200000 x6510+26843545600000 x6509+13421772800000 x6508+6710886400000 x6507+3355443200000 x6506+1677721600000 x6505+838860800000 x6504+419430400000 x6503+209715200000 x6502+104857600000 x6501+52428800000 x6500+26214400000 x6499+13107200000 x6498+6553600000 x6497+3276800000 x6496+1638400000 x6495+819200000 x6494+409600000 x6493+204800000 x6492+102400000 x6491+51200000 x6490+25600000 x6489+12800000 x6488+6400000 x6487+3200000 x6486+1600000 x6485+800000 x6484+400000 x6483+200000 x6482+107374182400000 x5791+53687091200000 x5790+26843545600000 x5789+13421772800000 x5788+6710886400000 x5787+3355443200000 x5786+1677721600000 x5785+838860800000 x5784+419430400000 x5783+209715200000 x5782+104857600000 x5781+52428800000 x5780+26214400000 x5779+13107200000 x5778+6553600000 x5777+3276800000 x5776+1638400000 x5775+819200000 x5774+409600000 x5773+204800000 x5772+102400000 x5771+51200000 x5770+25600000 x5769+12800000 x5768+6400000 x5767+3200000 x5766+1600000 x5765+800000 x5764+400000 x5763+200000 x5762+96497714593792 x5071+48248857296896 x5070+24124428648448 x5069+12062214324224 x5068+6031107162112 x5067+3015553581056 x5066+1507776790528 x5065+753888395264 x5064+376944197632 x5063+188472098816 x5062+94236049408 x5061+47118024704 x5060+23559012352 x5059+11779506176 x5058+5889753088 x5057+2944876544 x5056+1472438272 x5055+736219136 x5054+368109568 x5053+184054784 x5052+92027392 x5051+46013696 x5050+23006848 x5049+11503424 x5048+5751712 x5047+2875856 x5046+1437928 x5045+718964 x5044+359482 x5043+179741 x5042+103500658769920 x4351+51750329384960 x4350+25875164692480 x4349+12937582346240 x4348+6468791173120 x4347+3234395586560 x4346+1617197793280 x4345+808598896640 x4344+404299448320 x4343+202149724160 x4342+101074862080 x4341+50537431040 x4340+25268715520 x4339+12634357760 x4338+6317178880 x4337+3158589440 x4336+1579294720 x4335+789647360 x4334+394823680 x4333+197411840 x4332+98705920 x4331+49352960 x4330+24676480 x4329+12338240 x4328+6169120 x4327+3084560 x4326+1542280 x4325+771140 x4324+385570 x4323+192785 x4322+104152956928000 x1471+52076478464000 x1470+26038239232000 x1469+13019119616000 x1468+6509559808000 x1467+3254779904000 x1466+1627389952000 x1465+813694976000 x1464+406847488000 x1463+203423744000 x1462+101711872000 x1461+50855936000 x1460+25427968000 x1459+12713984000 x1458+6356992000 x1457+3178496000 x1456+1589248000 x1455+794624000 x1454+397312000 x1453+198656000 x1452+99328000 x1451+49664000 x1450+24832000 x1449+12416000 x1448+6208000 x1447+3104000 x1446+1552000 x1445+776000 x1444+388000 x1443+194000 x1442+107374182400000 ~x751+53687091200000 ~x750+26843545600000 ~x749+13421772800000 ~x748+6710886400000 ~x747+3355443200000 ~x746+1677721600000 ~x745+838860800000 ~x744+419430400000 ~x743+209715200000 ~x742+104857600000 ~x741+52428800000 ~x740+26214400000 ~x739+13107200000 ~x738+6553600000 ~x737+3276800000 ~x736+1638400000 ~x735+819200000 ~x734+409600000 ~x733+204800000 ~x732+102400000 ~x731+51200000 ~x730+25600000 ~x729+12800000 ~x728+6400000 ~x727+3200000 ~x726+1600000 ~x725+800000 ~x724+400000 ~x723+200000 ~x722+107374182400000 ~x31+53687091200000 ~x30+26843545600000 ~x29+13421772800000 ~x28+6710886400000 ~x27+3355443200000 ~x26+1677721600000 ~x25+838860800000 ~x24+419430400000 ~x23+209715200000 ~x22+104857600000 ~x21+52428800000 ~x20+26214400000 ~x19+1310720000

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

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


[startup+0 s]
/proc/loadavg: 1.01 1.06 1.01 3/106 23941
/proc/meminfo: memFree=1657944/2059040 swapFree=4140128/4192956
[pid=23941] ppid=23939 vsize=8700 CPUtime=0
/proc/23941/stat : 23941 (run) S 23939 23941 23835 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21362732 8908800 251 1992294400 4194304 4922060 140737049408912 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23941/statm: 2175 251 211 178 0 68 0

[startup+0.102721 s]
/proc/loadavg: 1.01 1.06 1.01 3/106 23941
/proc/meminfo: memFree=1657944/2059040 swapFree=4140128/4192956
[pid=23941] ppid=23939 vsize=8700 CPUtime=0
/proc/23941/stat : 23941 (run) S 23939 23941 23835 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21362732 8908800 251 1992294400 4194304 4922060 140737049408912 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23941/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.201732 s]
/proc/loadavg: 1.01 1.06 1.01 3/106 23941
/proc/meminfo: memFree=1657944/2059040 swapFree=4140128/4192956
[pid=23941] ppid=23939 vsize=8700 CPUtime=0
/proc/23941/stat : 23941 (run) S 23939 23941 23835 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21362732 8908800 251 1992294400 4194304 4922060 140737049408912 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23941/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301743 s]
/proc/loadavg: 1.01 1.06 1.01 3/106 23941
/proc/meminfo: memFree=1657944/2059040 swapFree=4140128/4192956
[pid=23941] ppid=23939 vsize=8700 CPUtime=0
/proc/23941/stat : 23941 (run) S 23939 23941 23835 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21362732 8908800 251 1992294400 4194304 4922060 140737049408912 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23941/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701786 s]
/proc/loadavg: 1.01 1.06 1.01 3/106 23941
/proc/meminfo: memFree=1657944/2059040 swapFree=4140128/4192956
[pid=23941] ppid=23939 vsize=8700 CPUtime=0
/proc/23941/stat : 23941 (run) S 23939 23941 23835 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21362732 8908800 251 1992294400 4194304 4922060 140737049408912 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23941/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50087 s]
/proc/loadavg: 1.01 1.06 1.01 2/108 23944
/proc/meminfo: memFree=1499084/2059040 swapFree=4140128/4192956
[pid=23941] ppid=23939 vsize=8700 CPUtime=0
/proc/23941/stat : 23941 (run) S 23939 23941 23835 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21362732 8908800 251 1992294400 4194304 4922060 140737049408912 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23941/statm: 2175 251 211 178 0 68 0
[pid=23943] ppid=23941 vsize=213380 CPUtime=1.48
/proc/23943/stat : 23943 (PBPASSolver) R 23941 23941 23835 0 -1 4202496 53343 0 0 0 54 94 0 0 25 0 1 0 21362732 218501120 52728 1992294400 134512640 134902295 4294106336 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23943/statm: 53345 52728 256 96 0 52557 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 222080

[startup+3.10105 s]
/proc/loadavg: 1.00 1.06 1.01 2/108 23944
/proc/meminfo: memFree=1354748/2059040 swapFree=4140128/4192956
[pid=23941] ppid=23939 vsize=8700 CPUtime=0
/proc/23941/stat : 23941 (run) S 23939 23941 23835 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21362732 8908800 251 1992294400 4194304 4922060 140737049408912 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23941/statm: 2175 251 211 178 0 68 0
[pid=23943] ppid=23941 vsize=422436 CPUtime=3.08
/proc/23943/stat : 23943 (PBPASSolver) R 23941 23941 23835 0 -1 4202496 105622 0 0 0 127 181 0 0 25 0 1 0 21362732 432574464 105007 1992294400 134512640 134902295 4294106336 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23943/statm: 105609 105007 256 96 0 104821 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 431136

[startup+6.3014 s]
/proc/loadavg: 1.00 1.06 1.01 2/108 23944
/proc/meminfo: memFree=956460/2059040 swapFree=4140128/4192956
[pid=23941] ppid=23939 vsize=8700 CPUtime=0
/proc/23941/stat : 23941 (run) S 23939 23941 23835 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21362732 8908800 251 1992294400 4194304 4922060 140737049408912 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23941/statm: 2175 251 211 178 0 68 0
[pid=23943] ppid=23941 vsize=703012 CPUtime=6.28
/proc/23943/stat : 23943 (PBPASSolver) R 23941 23941 23835 0 -1 4202496 175743 0 0 0 338 290 0 0 25 0 1 0 21362732 719884288 175128 1992294400 134512640 134902295 4294106336 18446744073709551615 134893982 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23943/statm: 175753 175128 259 96 0 174965 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 711712

[startup+12.7011 s]
/proc/loadavg: 1.00 1.06 1.01 2/108 23944
/proc/meminfo: memFree=914548/2059040 swapFree=4140128/4192956
[pid=23941] ppid=23939 vsize=8700 CPUtime=0
/proc/23941/stat : 23941 (run) S 23939 23941 23835 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21362732 8908800 251 1992294400 4194304 4922060 140737049408912 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23941/statm: 2175 251 211 178 0 68 0
[pid=23943] ppid=23941 vsize=757168 CPUtime=12.68
/proc/23943/stat : 23943 (PBPASSolver) R 23941 23941 23835 0 -1 4202496 218196 0 0 0 960 308 0 0 25 0 1 0 21362732 775340032 188027 1992294400 134512640 134902295 4294106336 18446744073709551615 2561532 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23943/statm: 189292 188027 262 96 0 188504 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 765868

[startup+25.5015 s]
/proc/loadavg: 1.00 1.06 1.01 2/108 23944
/proc/meminfo: memFree=691968/2059040 swapFree=4140128/4192956
[pid=23941] ppid=23939 vsize=8700 CPUtime=0
/proc/23941/stat : 23941 (run) S 23939 23941 23835 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21362732 8908800 251 1992294400 4194304 4922060 140737049408912 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23941/statm: 2175 251 211 178 0 68 0
[pid=23943] ppid=23941 vsize=985320 CPUtime=25.48
/proc/23943/stat : 23943 (PBPASSolver) R 23941 23941 23835 0 -1 4202496 282999 0 0 0 2212 336 0 0 25 0 1 0 21362732 1008967680 242998 1992294400 134512640 134902295 4294106336 18446744073709551615 134519664 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23943/statm: 246330 243006 262 96 0 245542 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 994020

[startup+51.1013 s]
/proc/loadavg: 1.00 1.05 1.01 2/108 23944
/proc/meminfo: memFree=226472/2059040 swapFree=4140128/4192956
[pid=23941] ppid=23939 vsize=8700 CPUtime=0
/proc/23941/stat : 23941 (run) S 23939 23941 23835 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21362732 8908800 251 1992294400 4194304 4922060 140737049408912 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23941/statm: 2175 251 211 178 0 68 0
[pid=23943] ppid=23941 vsize=1476924 CPUtime=51.08
/proc/23943/stat : 23943 (PBPASSolver) R 23941 23941 23835 0 -1 4202496 405394 0 0 0 4721 387 0 0 25 0 1 0 21362732 1512370176 359035 1992294400 134512640 134902295 4294106336 18446744073709551615 134813589 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23943/statm: 369231 359035 262 96 0 368443 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1485624



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+70.6003 s]
/proc/loadavg: 1.00 1.05 1.00 2/108 23946
/proc/meminfo: memFree=10252/2059040 swapFree=4140128/4192956
[pid=23941] ppid=23939 vsize=8700 CPUtime=0
/proc/23941/stat : 23941 (run) S 23939 23941 23835 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21362732 8908800 251 1992294400 4194304 4922060 140737049408912 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23941/statm: 2175 251 211 178 0 68 0
[pid=23943] ppid=23941 vsize=1835272 CPUtime=70.55
/proc/23943/stat : 23943 (PBPASSolver) R 23941 23941 23835 0 -1 4202496 498972 0 0 0 6627 428 0 0 25 0 1 0 21362732 1879318528 450429 1992294400 134512640 134902295 4294106336 18446744073709551615 2561532 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23943/statm: 458818 450429 262 96 0 458030 0
Current children cumulated CPU time (s) 70.55
Current children cumulated vsize (KiB) 1843972

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

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

[startup+70.6003 s]
/proc/loadavg: 1.00 1.05 1.00 2/108 23946
/proc/meminfo: memFree=10252/2059040 swapFree=4140128/4192956
[pid=23941] ppid=23939 vsize=8700 CPUtime=0
/proc/23941/stat : 23941 (run) S 23939 23941 23835 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21362732 8908800 251 1992294400 4194304 4922060 140737049408912 18446744073709551615 269658725509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23941/statm: 2175 251 211 178 0 68 0
[pid=23943] ppid=23941 vsize=1835272 CPUtime=70.55
/proc/23943/stat : 23943 (PBPASSolver) R 23941 23941 23835 0 -1 4202496 498972 0 0 0 6627 428 0 0 25 0 1 0 21362732 1879318528 450429 1992294400 134512640 134902295 4294106336 18446744073709551615 2561532 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23943/statm: 458818 450429 262 96 0 458030 0
Current children cumulated CPU time (s) 70.55
Current children cumulated vsize (KiB) 1843972

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 70.6133
CPU time (s): 70.55
CPU user time (s): 66.27
CPU system time (s): 4.28
CPU usage (%): 99.9103
Max. virtual memory (cumulated for all children) (KiB): 1843972

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

runsolver used 0.123981 second user time and 0.357945 second system time

The end

Begin job on node042 at 2010-06-17 20:51:42
IDJOB=2673878
IDBENCH=2554
IDSOLVER=1174
FILE ID=node042/2673878-1276800702
PBS_JOBID= 11176648
Free space on /tmp= 62576 MiB

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

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

MD5SUM BENCH= d3086c0e0af196eedd939c84273a060e
RANDOM SEED=1829660184

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1658464 kB
Buffers:        132396 kB
Cached:         173276 kB
SwapCached:       6520 kB
Active:         105976 kB
Inactive:       212892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1658464 kB
SwapTotal:     4192956 kB
SwapFree:      4140128 kB
Dirty:            1628 kB
Writeback:           0 kB
AnonPages:       10876 kB
Mapped:          12972 kB
Slab:            59972 kB
PageTables:       4044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182480 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= 62576 MiB
End job on node042 at 2010-06-17 20:52:55