Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (MO) | 45.91 | 46.0167 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-arki001.opb |
MD5SUM | 72fff71fe37083f89a4fde6caf0f3578 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 4.12337 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 8268 |
Total number of constraints | 1451 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 21 |
Number of constraints which are nor clauses,nor cardinality constraints | 1430 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 8249 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 2386602666496000 |
Number of bits of the biggest number in a constraint | 52 |
Biggest sum of numbers in a constraint | 5223634990318712 |
Number of bits of the biggest sum of numbers | 53 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
9.64/9.72 c 8268 1451 0 0 0 0 0 0 9.64/9.72 c 1024 ~x8280+512 ~x8279+256 ~x8278+128 ~x8277+64 ~x8276+32 ~x8275+16 ~x8274+8 ~x8273+4 ~x8272+2 ~x8271+1 ~x8270+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=4094 9.64/9.72 c 1024 ~x10101+512 ~x10100+256 ~x10099+128 ~x10098+64 ~x10097+32 ~x10096+16 ~x10095+8 ~x10094+4 ~x10093+2 ~x10092+1 ~x10091+1024 ~x2123+512 ~x2122+256 ~x2121+128 ~x2120+64 ~x2119+32 ~x2118+16 ~x2117+8 ~x2116+4 ~x2115+2 ~x2114+1 ~x2113-0=4094 9.64/9.78 c 1024 ~x11922+512 ~x11921+256 ~x11920+128 ~x11919+64 ~x11918+32 ~x11917+16 ~x11916+8 ~x11915+4 ~x11914+2 ~x11913+1 ~x11912+1024 ~x3626+512 ~x3625+256 ~x3624+128 ~x3623+64 ~x3622+32 ~x3621+16 ~x3620+8 ~x3619+4 ~x3618+2 ~x3617+1 ~x3616-0=4094 9.75/9.82 c 1024 ~x13743+512 ~x13742+256 ~x13741+128 ~x13740+64 ~x13739+32 ~x13738+16 ~x13737+8 ~x13736+4 ~x13735+2 ~x13734+1 ~x13733+1024 ~x5171+512 ~x5170+256 ~x5169+128 ~x5168+64 ~x5167+32 ~x5166+16 ~x5165+8 ~x5164+4 ~x5163+2 ~x5162+1 ~x5161-0=4094 9.75/9.87 c 1024 ~x15564+512 ~x15563+256 ~x15562+128 ~x15561+64 ~x15560+32 ~x15559+16 ~x15558+8 ~x15557+4 ~x15556+2 ~x15555+1 ~x15554+1024 ~x6962+512 ~x6961+256 ~x6960+128 ~x6959+64 ~x6958+32 ~x6957+16 ~x6956+8 ~x6955+4 ~x6954+2 ~x6953+1 ~x6952-0=4094 9.85/9.91 c 1024 ~x17385+512 ~x17384+256 ~x17383+128 ~x17382+64 ~x17381+32 ~x17380+16 ~x17379+8 ~x17378+4 ~x17377+2 ~x17376+1 ~x17375+1024 ~x7394+512 ~x7393+256 ~x7392+128 ~x7391+64 ~x7390+32 ~x7389+16 ~x7388+8 ~x7387+4 ~x7386+2 ~x7385+1 ~x7384-0=4094 9.85/9.96 c 1024 ~x19206+512 ~x19205+256 ~x19204+128 ~x19203+64 ~x19202+32 ~x19201+16 ~x19200+8 ~x19199+4 ~x19198+2 ~x19197+1 ~x19196+1024 ~x7595+512 ~x7594+256 ~x7593+128 ~x7592+64 ~x7591+32 ~x7590+16 ~x7589+8 ~x7588+4 ~x7587+2 ~x7586+1 ~x7585-0=4094 9.94/10.00 c 1024 ~x21027+512 ~x21026+256 ~x21025+128 ~x21024+64 ~x21023+32 ~x21022+16 ~x21021+8 ~x21020+4 ~x21019+2 ~x21018+1 ~x21017+1024 ~x7817+512 ~x7816+256 ~x7815+128 ~x7814+64 ~x7813+32 ~x7812+16 ~x7811+8 ~x7810+4 ~x7809+2 ~x7808+1 ~x7807-0=4094 9.94/10.07 c 1024 ~x22848+512 ~x22847+256 ~x22846+128 ~x22845+64 ~x22844+32 ~x22843+16 ~x22842+8 ~x22841+4 ~x22840+2 ~x22839+1 ~x22838+1024 ~x8021+512 ~x8020+256 ~x8019+128 ~x8018+64 ~x8017+32 ~x8016+16 ~x8015+8 ~x8014+4 ~x8013+2 ~x8012+1 ~x8011-0=4094 10.04/10.12 c 1024 ~x24669+512 ~x24668+256 ~x24667+128 ~x24666+64 ~x24665+32 ~x24664+16 ~x24663+8 ~x24662+4 ~x24661+2 ~x24660+1 ~x24659+1024 ~x24+512 ~x23+256 ~x22+128 ~x21+64 ~x20+32 ~x19+16 ~x18+8 ~x17+4 ~x16+2 ~x15+1 ~x14-0=4094 10.04/10.16 c 1024 ~x26490+512 ~x26489+256 ~x26488+128 ~x26487+64 ~x26486+32 ~x26485+16 ~x26484+8 ~x26483+4 ~x26482+2 ~x26481+1 ~x26480+1024 ~x286+512 ~x285+256 ~x284+128 ~x283+64 ~x282+32 ~x281+16 ~x280+8 ~x279+4 ~x278+2 ~x277+1 ~x276-0=4094 10.15/10.21 c 1024 ~x28311+512 ~x28310+256 ~x28309+128 ~x28308+64 ~x28307+32 ~x28306+16 ~x28305+8 ~x28304+4 ~x28303+2 ~x28302+1 ~x28301+1024 ~x548+512 ~x547+256 ~x546+128 ~x545+64 ~x544+32 ~x543+16 ~x542+8 ~x541+4 ~x540+2 ~x539+1 ~x538-0=4094 10.15/10.25 c 1024 ~x30132+512 ~x30131+256 ~x30130+128 ~x30129+64 ~x30128+32 ~x30127+16 ~x30126+8 ~x30125+4 ~x30124+2 ~x30123+1 ~x30122+1024 ~x849+512 ~x848+256 ~x847+128 ~x846+64 ~x845+32 ~x844+16 ~x843+8 ~x842+4 ~x841+2 ~x840+1 ~x839-0=4094 10.15/10.30 c 2048 ~x31954+1024 ~x31953+512 ~x31952+256 ~x31951+128 ~x31950+64 ~x31949+32 ~x31948+16 ~x31947+8 ~x31946+4 ~x31945+2 ~x31944+1 ~x31943+2048 ~x1208+1024 ~x1207+512 ~x1206+256 ~x1205+128 ~x1204+64 ~x1203+32 ~x1202+16 ~x1201+8 ~x1200+4 ~x1199+2 ~x1198+1 ~x1197-0=8190 10.24/10.39 c 1024 ~x34185+512 ~x34184+256 ~x34183+128 ~x34182+64 ~x34181+32 ~x34180+16 ~x34179+8 ~x34178+4 ~x34177+2 ~x34176+1 ~x34175+1024 ~x1360+512 ~x1359+256 ~x1358+128 ~x1357+64 ~x1356+32 ~x1355+16 ~x1354+8 ~x1353+4 ~x1352+2 ~x1351+1 ~x1350-0=4094 10.24/10.39 c 1024 ~x36006+512 ~x36005+256 ~x36004+128 ~x36003+64 ~x36002+32 ~x36001+16 ~x36000+8 ~x35999+4 ~x35998+2 ~x35997+1 ~x35996+1024 ~x1514+512 ~x1513+256 ~x1512+128 ~x1511+64 ~x1510+32 ~x1509+16 ~x1508+8 ~x1507+4 ~x1506+2 ~x1505+1 ~x1504-0=4094 10.34/10.44 c 1024 ~x37827+512 ~x37826+256 ~x37825+128 ~x37824+64 ~x37823+32 ~x37822+16 ~x37821+8 ~x37820+4 ~x37819+2 ~x37818+1 ~x37817+1024 ~x1679+512 ~x1678+256 ~x1677+128 ~x1676+64 ~x1675+32 ~x1674+16 ~x1673+8 ~x1672+4 ~x1671+2 ~x1670+1 ~x1669-0=4094 10.34/10.48 c 1024 ~x39648+512 ~x39647+256 ~x39646+128 ~x39645+64 ~x39644+32 ~x39643+16 ~x39642+8 ~x39641+4 ~x39640+2 ~x39639+1 ~x39638+1024 ~x1841+512 ~x1840+256 ~x1839+128 ~x1838+64 ~x1837+32 ~x1836+16 ~x1835+8 ~x1834+4 ~x1833+2 ~x1832+1 ~x1831-0=4094 10.44/10.52 c 1024 ~x41469+512 ~x41468+256 ~x41467+128 ~x41466+64 ~x41465+32 ~x41464+16 ~x41463+8 ~x41462+4 ~x41461+2 ~x41460+1 ~x41459+1024 ~x1993+512 ~x1992+256 ~x1991+128 ~x1990+64 ~x1989+32 ~x1988+16 ~x1987+8 ~x1986+4 ~x1985+2 ~x1984+1 ~x1983-0=4094 10.44/10.57 c 8192 ~x43293+4096 ~x43292+2048 ~x43291+1024 ~x43290+512 ~x43289+256 ~x43288+128 ~x43287+64 ~x43286+32 ~x43285+16 ~x43284+8 ~x43283+4 ~x43282+2 ~x43281+1 ~x43280+6400 ~x2133+3200 ~x2132+1600 ~x2131+800 ~x2130+400 ~x2129+200 ~x2128+100 ~x2127+50 ~x2126+25 ~x2125-0=28902 10.54/10.62 c 8192 ~x45392+4096 ~x45391+2048 ~x45390+1024 ~x45389+512 ~x45388+256 ~x45387+128 ~x45386+64 ~x45385+32 ~x45384+16 ~x45383+8 ~x45382+4 ~x45381+2 ~x45380+1 ~x45379+6400 ~x2248+3200 ~x2247+1600 ~x2246+800 ~x2245+400 ~x2244+200 ~x2243+100 ~x2242+50 ~x2241+25 ~x2240-0=28902 10.54/10.67 c 8192 ~x47491+4096 ~x47490+2048 ~x47489+1024 ~x47488+512 ~x47487+256 ~x47486+128 ~x47485+64 ~x47484+32 ~x47483+16 ~x47482+8 ~x47481+4 ~x47480+2 ~x47479+1 ~x47478+6400 ~x2394+3200 ~x2393+1600 ~x2392+800 ~x2391+400 ~x2390+200 ~x2389+100 ~x2388+50 ~x2387+25 ~x2386-0=28902 10.64/10.72 c 8192 ~x49590+4096 ~x49589+2048 ~x49588+1024 ~x49587+512 ~x49586+256 ~x49585+128 ~x49584+64 ~x49583+32 ~x49582+16 ~x49581+8 ~x49580+4 ~x49579+2 ~x49578+1 ~x49577+6400 ~x2553+3200 ~x2552+1600 ~x2551+800 ~x2550+400 ~x2549+200 ~x2548+100 ~x2547+50 ~x2546+25 ~x2545-0=28902 10.64/10.77 c 8192 ~x51689+4096 ~x51688+2048 ~x51687+1024 ~x51686+512 ~x51685+256 ~x51684+128 ~x51683+64 ~x51682+32 ~x51681+16 ~x51680+8 ~x51679+4 ~x51678+2 ~x51677+1 ~x51676+6400 ~x2696+3200 ~x2695+1600 ~x2694+800 ~x2693+400 ~x2692+200 ~x2691+100 ~x2690+50 ~x2689+25 ~x2688-0=28902 10.74/10.82 c 8192 ~x53788+4096 ~x53787+2048 ~x53786+1024 ~x53785+512 ~x53784+256 ~x53783+128 ~x53782+64 ~x53781+32 ~x53780+16 ~x53779+8 ~x53778+4 ~x53777+2 ~x53776+1 ~x53775+6400 ~x2834+3200 ~x2833+1600 ~x2832+800 ~x2831+400 ~x2830+200 ~x2829+100 ~x2828+50 ~x2827+25 ~x2826-0=28902 10.74/10.87 c 8192 ~x55887+4096 ~x55886+2048 ~x55885+1024 ~x55884+512 ~x55883+256 ~x55882+128 ~x55881+64 ~x55880+32 ~x55879+16 ~x55878+8 ~x55877+4 ~x55876+2 ~x55875+1 ~x55874+6400 ~x2986+3200 ~x2985+1600 ~x2984+800 ~x2983+400 ~x2982+200 ~x2981+100 ~x2980+50 ~x2979+25 ~x2978-0=28902 10.85/10.92 c 8192 ~x57986+4096 ~x57985+2048 ~x57984+1024 ~x57983+512 ~x57982+256 ~x57981+128 ~x57980+64 ~x57979+32 ~x57978+16 ~x57977+8 ~x57976+4 ~x57975+2 ~x57974+1 ~x57973+6400 ~x3140+3200 ~x3139+1600 ~x3138+800 ~x3137+400 ~x3136+200 ~x3135+100 ~x3134+50 ~x3133+25 ~x3132-0=28902 10.85/10.96 c 8192 ~x60085+4096 ~x60084+2048 ~x60083+1024 ~x60082+512 ~x60081+256 ~x60080+128 ~x60079+64 ~x60078+32 ~x60077+16 ~x60076+8 ~x60075+4 ~x60074+2 ~x60073+1 ~x60072+6400 ~x3299+3200 ~x3298+1600 ~x3297+800 ~x3296+400 ~x3295+200 ~x3294+100 ~x3293+50 ~x3292+25 ~x3291-0=28902 10.95/11.01 c 8192 ~x62184+4096 ~x62183+2048 ~x62182+1024 ~x62181+512 ~x62180+256 ~x62179+128 ~x62178+64 ~x62177+32 ~x62176+16 ~x62175+8 ~x62174+4 ~x62173+2 ~x62172+1 ~x62171+6400 ~x3462+3200 ~x3461+1600 ~x3460+800 ~x3459+400 ~x3458+200 ~x3457+100 ~x3456+50 ~x3455+25 ~x3454-0=28902 10.95/11.06 c 8192 ~x64283+4096 ~x64282+2048 ~x64281+1024 ~x64280+512 ~x64279+256 ~x64278+128 ~x64277+64 ~x64276+32 ~x64275+16 ~x64274+8 ~x64273+4 ~x64272+2 ~x64271+1 ~x64270+6400 ~x3636+3200 ~x3635+1600 ~x3634+800 ~x3633+400 ~x3632+200 ~x3631+100 ~x3630+50 ~x3629+25 ~x3628-0=28902 11.04/11.11 c 8192 ~x66382+4096 ~x66381+2048 ~x66380+1024 ~x66379+512 ~x66378+256 ~x66377+128 ~x66376+64 ~x66375+32 ~x66374+16 ~x66373+8 ~x66372+4 ~x66371+2 ~x66370+1 ~x66369+6400 ~x3795+3200 ~x3794+1600 ~x3793+800 ~x3792+400 ~x3791+200 ~x3790+100 ~x3789+50 ~x3788+25 ~x3787-0=28902 11.04/11.16 c 512 ~x68477+256 ~x68476+128 ~x68475+64 ~x68474+32 ~x68473+16 ~x68472+8 ~x68471+4 ~x68470+2 ~x68469+1 ~x68468+512 ~x3952+256 ~x3951+128 ~x3950+64 ~x3949+32 ~x3948+16 ~x3947+8 ~x3946+4 ~x3945+2 ~x3944+1 ~x3943-0=2046 11.04/11.19 c 512 ~x69779+256 ~x69778+128 ~x69777+64 ~x69776+32 ~x69775+16 ~x69774+8 ~x69773+4 ~x69772+2 ~x69771+1 ~x69770+512 ~x4086+256 ~x4085+128 ~x4084+64 ~x4083+32 ~x4082+16 ~x4081+8 ~x4080+4 ~x4079+2 ~x4078+1 ~x4077-0=2046 11.14/11.23 c 262144 ~x71090+131072 ~x71089+65536 ~x71088+32768 ~x71087+16384 ~x71086+8192 ~x71085+4096 ~x71084+2048 ~x71083+1024 ~x71082+512 ~x71081+256 ~x71080+128 ~x71079+64 ~x71078+32 ~x71077+16 ~x71076+8 ~x71075+4 ~x71074+2 ~x71073+1 ~x71072+204800 ~x4230+102400 ~x4229+51200 ~x4228+25600 ~x4227+12800 ~x4226+6400 ~x4225+3200 ~x4224+1600 ~x4223+800 ~x4222+400 ~x4221+200 ~x4220+100 ~x4219+50 ~x4218+25 ~x4217-0=850918 11.24/11.35 c 8192 ~x76326+4096 ~x76325+2048 ~x76324+1024 ~x76323+512 ~x76322+256 ~x76321+128 ~x76320+64 ~x76319+32 ~x76318+16 ~x76317+8 ~x76316+4 ~x76315+2 ~x76314+1 ~x76313+8192 ~x4394+4096 ~x4393+2048 ~x4392+1024 ~x4391+512 ~x4390+256 ~x4389+128 ~x4388+64 ~x4387+32 ~x4386+16 ~x4385+8 ~x4384+4 ~x4383+2 ~x4382+1 ~x4381-0=28670 11.34/11.43 c 8192 ~x79654+4096 ~x79653+2048 ~x79652+1024 ~x79651+512 ~x79650+256 ~x79649+128 ~x79648+64 ~x79647+32 ~x79646+16 ~x79645+8 ~x79644+4 ~x79643+2 ~x79642+1 ~x79641+8192 ~x4550+4096 ~x4549+2048 ~x4548+1024 ~x4547+512 ~x4546+256 ~x4545+128 ~x4544+64 ~x4543+32 ~x4542+16 ~x4541+8 ~x4540+4 ~x4539+2 ~x4538+1 ~x4537-0=28670 11.44/11.51 c 8192 ~x82982+4096 ~x82981+2048 ~x82980+1024 ~x82979+512 ~x82978+256 ~x82977+128 ~x82976+64 ~x82975+32 ~x82974+16 ~x82973+8 ~x82972+4 ~x82971+2 ~x82970+1 ~x82969+8192 ~x4695+4096 ~x4694+2048 ~x4693+1024 ~x4692+512 ~x4691+256 ~x4690+128 ~x4689+64 ~x4688+32 ~x4687+16 ~x4686+8 ~x4685+4 ~x4684+2 ~x4683+1 ~x4682-0=28670 11.44/11.58 c 8192 ~x86310+4096 ~x86309+2048 ~x86308+1024 ~x86307+512 ~x86306+256 ~x86305+128 ~x86304+64 ~x86303+32 ~x86302+16 ~x86301+8 ~x86300+4 ~x86299+2 ~x86298+1 ~x86297+8192 ~x4850+4096 ~x4849+2048 ~x4848+1024 ~x4847+512 ~x4846+256 ~x4845+128 ~x4844+64 ~x4843+32 ~x4842+16 ~x4841+8 ~x4840+4 ~x4839+2 ~x4838+1 ~x4837-0=28670 11.54/11.66 c 8192 ~x89638+4096 ~x89637+2048 ~x89636+1024 ~x89635+512 ~x89634+256 ~x89633+128 ~x89632+64 ~x89631+32 ~x89630+16 ~x89629+8 ~x89628+4 ~x89627+2 ~x89626+1 ~x89625+8192 ~x5015+4096 ~x5014+2048 ~x5013+1024 ~x5012+512 ~x5011+256 ~x5010+128 ~x5009+64 ~x5008+32 ~x5007+16 ~x5006+8 ~x5005+4 ~x5004+2 ~x5003+1 ~x5002-0=28670 11.64/11.74 c 8192 ~x92966+4096 ~x92965+2048 ~x92964+1024 ~x92963+512 ~x92962+256 ~x92961+128 ~x92960+64 ~x92959+32 ~x92958+16 ~x92957+8 ~x92956+4 ~x92955+2 ~x92954+1 ~x92953+8192 ~x5186+4096 ~x5185+2048 ~x5184+1024 ~x5183+512 ~x5182+256 ~x5181+128 ~x5180+64 ~x5179+32 ~x5178+16 ~x5177+8 ~x5176+4 ~x5175+2 ~x5174+1 ~x5173-0=28670 11.74/11.82 c 8192 ~x96294+4096 ~x96293+2048 ~x96292+1024 ~x96291+512 ~x96290+256 ~x96289+128 ~x96288+64 ~x96287+32 ~x96286+16 ~x96285+8 ~x96284+4 ~x96283+2 ~x96282+1 ~x96281+8192 ~x5325+4096 ~x5324+2048 ~x5323+1024 ~x5322+512 ~x5321+256 ~x5320+128 ~x5319+64 ~x5318+32 ~x5317+16 ~x5316+8 ~x5315+4 ~x5314+2 ~x5313+1 ~x5312-0=28670 11.84/11.90 c 8192 ~x99622+4096 ~x99621+2048 ~x99620+1024 ~x99619+512 ~x99618+256 ~x99617+128 ~x99616+64 ~x99615+32 ~x99614+16 ~x99613+8 ~x99612+4 ~x99611+2 ~x99610+1 ~x99609+8192 ~x5440+4096 ~x5439+2048 ~x5438+1024 ~x5437+512 ~x5436+256 ~x5435+128 ~x5434+64 ~x5433+32 ~x5432+16 ~x5431+8 ~x5430+4 ~x5429+2 ~x5428+1 ~x5427-0=28670 11.84/11.98 c 8192 ~x102950+4096 ~x102949+2048 ~x102948+1024 ~x102947+512 ~x102946+256 ~x102945+128 ~x102944+64 ~x102943+32 ~x102942+16 ~x102941+8 ~x102940+4 ~x102939+2 ~x102938+1 ~x102937+8192 ~x5558+4096 ~x5557+2048 ~x5556+1024 ~x5555+512 ~x5554+256 ~x5553+128 ~x5552+64 ~x5551+32 ~x5550+16 ~x5549+8 ~x5548+4 ~x5547+2 ~x5546+1 ~x5545-0=28670 11.95/12.06 c 131072 ~x106282+65536 ~x106281+32768 ~x106280+16384 ~x106279+8192 ~x106278+4096 ~x106277+2048 ~x106276+1024 ~x106275+512 ~x106274+256 ~x106273+128 ~x106272+64 ~x106271+32 ~x106270+16 ~x106269+8 ~x106268+4 ~x106267+2 ~x106266+1 ~x106265+128000 ~x5678+64000 ~x5677+32000 ~x5676+16000 ~x5675+8000 ~x5674+4000 ~x5673+2000 ~x5672+1000 ~x5671+500 ~x5670+250 ~x5669+125 ~x5668-0=429570 12.04/12.16 c 131072 ~x110766+65536 ~x110765+32768 ~x110764+16384 ~x110763+8192 ~x110762+4096 ~x110761+2048 ~x110760+1024 ~x110759+512 ~x110758+256 ~x110757+128 ~x110756+64 ~x110755+32 ~x110754+16 ~x110753+8 ~x110752+4 ~x110751+2 ~x110750+1 ~x110749+128000 ~x5801+64000 ~x5800+32000 ~x5799+16000 ~x5798+8000 ~x5797+4000 ~x5796+2000 ~x5795+1000 ~x5794+500 ~x5793+250 ~x5792+125 ~x5791-0=429570 12.13/12.27 c 131072 ~x115250+65536 ~x115249+32768 ~x115248+16384 ~x115247+8192 ~x115246+4096 ~x115245+2048 ~x115244+1024 ~x115243+512 ~x115242+256 ~x115241+128 ~x115240+64 ~x115239+32 ~x115238+16 ~x115237+8 ~x115236+4 ~x115235+2 ~x115234+1 ~x115233+128000 ~x5914+64000 ~x5913+32000 ~x5912+16000 ~x5911+8000 ~x5910+4000 ~x5909+2000 ~x5908+1000 ~x5907+500 ~x5906+250 ~x5905+125 ~x5904-0=429570 12.24/12.38 c 131072 ~x119734+65536 ~x119733+32768 ~x119732+16384 ~x119731+8192 ~x119730+4096 ~x119729+2048 ~x119728+1024 ~x119727+512 ~x119726+256 ~x119725+128 ~x119724+64 ~x119723+32 ~x119722+16 ~x119721+8 ~x119720+4 ~x119719+2 ~x119718+1 ~x119717+128000 ~x6026+64000 ~x6025+32000 ~x6024+16000 ~x6023+8000 ~x6022+4000 ~x6021+2000 ~x6020+1000 ~x6019+500 ~x6018+250 ~x6017+125 ~x6016-0=429570 12.33/12.48 c 131072 ~x124218+65536 ~x124217+32768 ~x124216+16384 ~x124215+8192 ~x124214+4096 ~x124213+2048 ~x124212+1024 ~x124211+512 ~x124210+256 ~x124209+128 ~x124208+64 ~x124207+32 ~x124206+16 ~x124205+8 ~x124204+4 ~x124203+2 ~x124202+1 ~x124201+128000 ~x6338+64000 ~x6337+32000 ~x6336+16000 ~x6335+8000 ~x6334+4000 ~x6333+2000 ~x6332+1000 ~x6331+500 ~x6330+250 ~x6329+125 ~x6328-0=429570 12.44/12.59 c 131072 ~x128702+65536 ~x128701+32768 ~x128700+16384 ~x128699+8192 ~x128698+4096 ~x128697+2048 ~x128696+1024 ~x128695+512 ~x128694+256 ~x128693+128 ~x128692+64 ~x128691+32 ~x128690+16 ~x128689+8 ~x128688+4 ~x128687+2 ~x128686+1 ~x128685+128000 ~x6650+64000 ~x6649+32000 ~x6648+16000 ~x6647+8000 ~x6646+4000 ~x6645+2000 ~x6644+1000 ~x6643+500 ~x6642+250 ~x6641+125 ~x6640-0=429570 12.64/12.70 c 131072 ~x133186+65536 ~x133185+32768 ~x133184+16384 ~x133183+8192 ~x133182+4096 ~x133181+2048 ~x133180+1024 ~x133179+512 ~x133178+256 ~x133177+128 ~x133176+64 ~x133175+32 ~x133174+16 ~x133173+8 ~x133172+4 ~x133171+2 ~x133170+1 ~x133169+128000 ~x6974+64000 ~x6973+32000 ~x6972+16000 ~x6971+8000 ~x6970+4000 ~x6969+2000 ~x6968+1000 ~x6967+500 ~x6966+250 ~x6965+125 ~x6964-0=429570 12.73/12.81 c 131072 ~x137670+65536 ~x137669+32768 ~x137668+16384 ~x137667+8192 ~x137666+4096 ~x137665+2048 ~x137664+1024 ~x137663+512 ~x137662+256 ~x137661+128 ~x137660+64 ~x137659+32 ~x137658+16 ~x137657+8 ~x137656+4 ~x137655+2 ~x137654+1 ~x137653+128000 ~x7236+64000 ~x7235+32000 ~x7234+16000 ~x7233+8000 ~x7232+4000 ~x7231+2000 ~x7230+1000 ~x7229+500 ~x7228+250 ~x7227+125 ~x7226-0=429570 12.84/12.91 c 131072 ~x142154+65536 ~x142153+32768 ~x142152+16384 ~x142151+8192 ~x142150+4096 ~x142149+2048 ~x142148+1024 ~x142147+512 ~x142146+256 ~x142145+128 ~x142144+64 ~x142143+32 ~x142142+16 ~x142141+8 ~x142140+4 ~x142139+2 ~x142138+1 ~x142137+128000 ~x7248+64000 ~x7247+32000 ~x7246+16000 ~x7245+8000 ~x7244+4000 ~x7243+2000 ~x7242+1000 ~x7241+500 ~x7240+250 ~x7239+125 ~x7238-0=429570 12.94/13.02 c 131072 ~x146638+65536 ~x146637+32768 ~x146636+16384 ~x146635+8192 ~x146634+4096 ~x146633+2048 ~x146632+1024 ~x146631+512 ~x146630+256 ~x146629+128 ~x146628+64 ~x146627+32 ~x146626+16 ~x146625+8 ~x146624+4 ~x146623+2 ~x146622+1 ~x146621+128000 ~x7270+64000 ~x7269+32000 ~x7268+16000 ~x7267+8000 ~x7266+4000 ~x7265+2000 ~x7264+1000 ~x7263+500 ~x7262+250 ~x7261+125 ~x7260-0=429570 13.04/13.13 c 131072 ~x151122+65536 ~x151121+32768 ~x151120+16384 ~x151119+8192 ~x151118+4096 ~x151117+2048 ~x151116+1024 ~x151115+512 ~x151114+256 ~x151113+128 ~x151112+64 ~x151111+32 ~x151110+16 ~x151109+8 ~x151108+4 ~x151107+2 ~x151106+1 ~x151105+128000 ~x7282+64000 ~x7281+32000 ~x7280+16000 ~x7279+8000 ~x7278+4000 ~x7277+2000 ~x7276+1000 ~x7275+500 ~x7274+250 ~x7273+125 ~x7272-0=429570 13.14/13.23 c 131072 ~x155606+65536 ~x155605+32768 ~x155604+16384 ~x155603+8192 ~x155602+4096 ~x155601+2048 ~x155600+1024 ~x155599+512 ~x155598+256 ~x155597+128 ~x155596+64 ~x155595+32 ~x155594+16 ~x155593+8 ~x155592+4 ~x155591+2 ~x155590+1 ~x155589+128000 ~x7304+64000 ~x7303+32000 ~x7302+16000 ~x7301+8000 ~x7300+4000 ~x7299+2000 ~x7298+1000 ~x7297+500 ~x7296+250 ~x7295+125 ~x7294-0=429570 13.23/13.34 c 131072 ~x160090+65536 ~x160089+32768 ~x160088+16384 ~x160087+8192 ~x160086+4096 ~x160085+2048 ~x160084+1024 ~x160083+512 ~x160082+256 ~x160081+128 ~x160080+64 ~x160079+32 ~x160078+16 ~x160077+8 ~x160076+4 ~x160075+2 ~x160074+1 ~x160073+128000 ~x7316+64000 ~x7315+32000 ~x7314+16000 ~x7313+8000 ~x7312+4000 ~x7311+2000 ~x7310+1000 ~x7309+500 ~x7308+250 ~x7307+125 ~x7306-0=429570 13.33/13.45 c 131072 ~x164574+65536 ~x164573+32768 ~x164572+16384 ~x164571+8192 ~x164570+4096 ~x164569+2048 ~x164568+1024 ~x164567+512 ~x164566+256 ~x164565+128 ~x164564+64 ~x164563+32 ~x164562+16 ~x164561+8 ~x164560+4 ~x164559+2 ~x164558+1 ~x164557+128000 ~x7338+64000 ~x7337+32000 ~x7336+16000 ~x7335+8000 ~x7334+4000 ~x7333+2000 ~x7332+1000 ~x7331+500 ~x7330+250 ~x7329+125 ~x7328-0=429570 13.44/13.55 c 131072 ~x169058+65536 ~x169057+32768 ~x169056+16384 ~x169055+8192 ~x169054+4096 ~x169053+2048 ~x169052+1024 ~x169051+512 ~x169050+256 ~x169049+128 ~x169048+64 ~x169047+32 ~x169046+16 ~x169045+8 ~x169044+4 ~x169043+2 ~x169042+1 ~x169041+128000 ~x7350+64000 ~x7349+32000 ~x7348+16000 ~x7347+8000 ~x7346+4000 ~x7345+2000 ~x7344+1000 ~x7343+500 ~x7342+250 ~x7341+125 ~x7340-0=429570 13.54/13.66 c 131072 ~x173542+65536 ~x173541+32768 ~x173540+16384 ~x173539+8192 ~x173538+4096 ~x173537+2048 ~x173536+1024 ~x173535+512 ~x173534+256 ~x173533+128 ~x173532+64 ~x173531+32 ~x173530+16 ~x173529+8 ~x173528+4 ~x173527+2 ~x173526+1 ~x173525+128000 ~x7372+64000 ~x7371+32000 ~x7370+16000 ~x7369+8000 ~x7368+4000 ~x7367+2000 ~x7366+1000 ~x7365+500 ~x7364+250 ~x7363+125 ~x7362-0=429570 13.64/13.77 c 131072 ~x178026+65536 ~x178025+32768 ~x178024+16384 ~x178023+8192 ~x178022+4096 ~x178021+2048 ~x178020+1024 ~x178019+512 ~x178018+256 ~x178017+128 ~x178016+64 ~x178015+32 ~x178014+16 ~x178013+8 ~x178012+4 ~x178011+2 ~x178010+1 ~x178009+128000 ~x7406+64000 ~x7405+32000 ~x7404+16000 ~x7403+8000 ~x7402+4000 ~x7401+2000 ~x7400+1000 ~x7399+500 ~x7398+250 ~x7397+125 ~x7396-0=429570 13.73/13.87 c 131072 ~x182510+65536 ~x182509+32768 ~x182508+16384 ~x182507+8192 ~x182506+4096 ~x182505+2048 ~x182504+1024 ~x182503+512 ~x182502+256 ~x182501+128 ~x182500+64 ~x182499+32 ~x182498+16 ~x182497+8 ~x182496+4 ~x182495+2 ~x182494+1 ~x182493+128000 ~x7418+64000 ~x7417+32000 ~x7416+16000 ~x7415+8000 ~x7414+4000 ~x7413+2000 ~x7412+1000 ~x7411+500 ~x7410+250 ~x7409+125 ~x7408-0=429570 13.83/13.98 c 131072 ~x186994+65536 ~x186993+32768 ~x186992+16384 ~x186991+8192 ~x186990+4096 ~x186989+2048 ~x186988+1024 ~x186987+512 ~x186986+256 ~x186985+128 ~x186984+64 ~x186983+32 ~x186982+16 ~x186981+8 ~x186980+4 ~x186979+2 ~x186978+1 ~x186977+128000 ~x7440+64000 ~x7439+32000 ~x7438+16000 ~x7437+8000 ~x7436+4000 ~x7435+2000 ~x7434+1000 ~x7433+500 ~x7432+250 ~x7431+125 ~x7430-0=429570 13.94/14.08 c 512 ~x191470+256 ~x191469+128 ~x191468+64 ~x191467+32 ~x191466+16 ~x191465+8 ~x191464+4 ~x191463+2 ~x191462+1 ~x191461+512 ~x7451+256 ~x7450+128 ~x7449+64 ~x7448+32 ~x7447+16 ~x7446+8 ~x7445+4 ~x7444+2 ~x7443+1 ~x7442-0=2046 14.04/14.12 c 512 ~x192772+256 ~x192771+128 ~x192770+64 ~x192769+32 ~x192768+16 ~x192767+8 ~x192766+4 ~x192765+2 ~x192764+1 ~x192763+512 ~x7475+256 ~x7474+128 ~x7473+64 ~x7472+32 ~x7471+16 ~x7470+8 ~x7469+4 ~x7468+2 ~x7467+1 ~x7466-0=2046 14.04/14.15 c 262144 ~x194083+131072 ~x194082+65536 ~x194081+32768 ~x194080+16384 ~x194079+8192 ~x194078+4096 ~x194077+2048 ~x194076+1024 ~x194075+512 ~x194074+256 ~x194073+128 ~x194072+64 ~x194071+32 ~x194070+16 ~x194069+8 ~x194068+4 ~x194067+2 ~x194066+1 ~x194065+204800 ~x7493+102400 ~x7492+51200 ~x7491+25600 ~x7490+12800 ~x7489+6400 ~x7488+3200 ~x7487+1600 ~x7486+800 ~x7485+400 ~x7484+200 ~x7483+100 ~x7482+50 ~x7481+25 ~x7480-0=850918 14.14/14.27 c 8192 ~x199319+4096 ~x199318+2048 ~x199317+1024 ~x199316+512 ~x199315+256 ~x199314+128 ~x199313+64 ~x199312+32 ~x199311+16 ~x199310+8 ~x199309+4 ~x199308+2 ~x199307+1 ~x199306+8192 ~x7518+4096 ~x7517+2048 ~x7516+1024 ~x7515+512 ~x7514+256 ~x7513+128 ~x7512+64 ~x7511+32 ~x7510+16 ~x7509+8 ~x7508+4 ~x7507+2 ~x7506+1 ~x7505-0=28670 14.24/14.35 c 8192 ~x202647+4096 ~x202646+2048 ~x202645+1024 ~x202644+512 ~x202643+256 ~x202642+128 ~x202641+64 ~x202640+32 ~x202639+16 ~x202638+8 ~x202637+4 ~x202636+2 ~x202635+1 ~x202634+8192 ~x7533+4096 ~x7532+2048 ~x7531+1024 ~x7530+512 ~x7529+256 ~x7528+128 ~x7527+64 ~x7526+32 ~x7525+16 ~x7524+8 ~x7523+4 ~x7522+2 ~x7521+1 ~x7520-0=28670 14.33/14.43 c 8192 ~x205975+4096 ~x205974+2048 ~x205973+1024 ~x205972+512 ~x205971+256 ~x205970+128 ~x205969+64 ~x205968+32 ~x205967+16 ~x205966+8 ~x205965+4 ~x205964+2 ~x205963+1 ~x205962+8192 ~x7558+4096 ~x7557+2048 ~x7556+1024 ~x7555+512 ~x7554+256 ~x7553+128 ~x7552+64 ~x7551+32 ~x7550+16 ~x7549+8 ~x7548+4 ~x7547+2 ~x7546+1 ~x7545-0=28670 14.43/14.51 c 8192 ~x209303+4096 ~x209302+2048 ~x209301+1024 ~x209300+512 ~x209299+256 ~x209298+128 ~x209297+64 ~x209296+32 ~x209295+16 ~x209294+8 ~x209293+4 ~x209292+2 ~x209291+1 ~x209290+8192 ~x7583+4096 ~x7582+2048 ~x7581+1024 ~x7580+512 ~x7579+256 ~x7578+128 ~x7577+64 ~x7576+32 ~x7575+16 ~x7574+8 ~x7573+4 ~x7572+2 ~x7571+1 ~x7570-0=28670 14.43/14.59 c 8192 ~x212631+4096 ~x212630+2048 ~x212629+1024 ~x212628+512 ~x212627+256 ~x212626+128 ~x212625+64 ~x212624+32 ~x212623+16 ~x212622+8 ~x212621+4 ~x212620+2 ~x212619+1 ~x212618+8192 ~x7610+4096 ~x7609+2048 ~x7608+1024 ~x7607+512 ~x7606+256 ~x7605+128 ~x7604+64 ~x7603+32 ~x7602+16 ~x7601+8 ~x7600+4 ~x7599+2 ~x7598+1 ~x7597-0=28670 14.53/14.67 c 8192 ~x215959+4096 ~x215958+2048 ~x215957+1024 ~x215956+512 ~x215955+256 ~x215954+128 ~x215953+64 ~x215952+32 ~x215951+16 ~x215950+8 ~x215949+4 ~x215948+2 ~x215947+1 ~x215946+8192 ~x7635+4096 ~x7634+2048 ~x7633+1024 ~x7632+512 ~x7631+256 ~x7630+128 ~x7629+64 ~x7628+32 ~x7627+16 ~x7626+8 ~x7625+4 ~x7624+2 ~x7623+1 ~x7622-0=28670 14.63/14.75 c 8192 ~x219287+4096 ~x219286+2048 ~x219285+1024 ~x219284+512 ~x219283+256 ~x219282+128 ~x219281+64 ~x219280+32 ~x219279+16 ~x219278+8 ~x219277+4 ~x219276+2 ~x219275+1 ~x219274+8192 ~x7650+4096 ~x7649+2048 ~x7648+1024 ~x7647+512 ~x7646+256 ~x7645+128 ~x7644+64 ~x7643+32 ~x7642+16 ~x7641+8 ~x7640+4 ~x7639+2 ~x7638+1 ~x7637-0=28670 14.74/14.83 c 8192 ~x222615+4096 ~x222614+2048 ~x222613+1024 ~x222612+512 ~x222611+256 ~x222610+128 ~x222609+64 ~x222608+32 ~x222607+16 ~x222606+8 ~x222605+4 ~x222604+2 ~x222603+1 ~x222602+8192 ~x7675+4096 ~x7674+2048 ~x7673+1024 ~x7672+512 ~x7671+256 ~x7670+128 ~x7669+64 ~x7668+32 ~x7667+16 ~x7666+8 ~x7665+4 ~x7664+2 ~x7663+1 ~x7662-0=28670 14.84/14.91 c 8192 ~x225943+4096 ~x225942+2048 ~x225941+1024 ~x225940+512 ~x225939+256 ~x225938+128 ~x225937+64 ~x225936+32 ~x225935+16 ~x225934+8 ~x225933+4 ~x225932+2 ~x225931+1 ~x225930+8192 ~x7690+4096 ~x7689+2048 ~x7688+1024 ~x7687+512 ~x7686+256 ~x7685+128 ~x7684+64 ~x7683+32 ~x7682+16 ~x7681+8 ~x7680+4 ~x7679+2 ~x7678+1 ~x7677-0=28670 14.84/14.98 c 8192 ~x229271+4096 ~x229270+2048 ~x229269+1024 ~x229268+512 ~x229267+256 ~x229266+128 ~x229265+64 ~x229264+32 ~x229263+16 ~x229262+8 ~x229261+4 ~x229260+2 ~x229259+1 ~x229258+8192 ~x7715+4096 ~x7714+2048 ~x7713+1024 ~x7712+512 ~x7711+256 ~x7710+128 ~x7709+64 ~x7708+32 ~x7707+16 ~x7706+8 ~x7705+4 ~x7704+2 ~x7703+1 ~x7702-0=26622 14.93/15.06 c 8192 ~x232599+4096 ~x232598+2048 ~x232597+1024 ~x232596+512 ~x232595+256 ~x232594+128 ~x232593+64 ~x232592+32 ~x232591+16 ~x232590+8 ~x232589+4 ~x232588+2 ~x232587+1 ~x232586+8192 ~x7730+4096 ~x7729+2048 ~x7728+1024 ~x7727+512 ~x7726+256 ~x7725+128 ~x7724+64 ~x7723+32 ~x7722+16 ~x7721+8 ~x7720+4 ~x7719+2 ~x7718+1 ~x7717-0=26622 15.03/15.14 c 8192 ~x235927+4096 ~x235926+2048 ~x235925+1024 ~x235924+512 ~x235923+256 ~x235922+128 ~x235921+64 ~x235920+32 ~x235919+16 ~x235918+8 ~x235917+4 ~x235916+2 ~x235915+1 ~x235914+8192 ~x7755+4096 ~x7754+2048 ~x7753+1024 ~x7752+512 ~x7751+256 ~x7750+128 ~x7749+64 ~x7748+32 ~x7747+16 ~x7746+8 ~x7745+4 ~x7744+2 ~x7743+1 ~x7742-0=26622 15.14/15.22 c 8192 ~x239255+4096 ~x239254+2048 ~x239253+1024 ~x239252+512 ~x239251+256 ~x239250+128 ~x239249+64 ~x239248+32 ~x239247+16 ~x239246+8 ~x239245+4 ~x239244+2 ~x239243+1 ~x239242+8192 ~x7780+4096 ~x7779+2048 ~x7778+1024 ~x7777+512 ~x7776+256 ~x7775+128 ~x7774+64 ~x7773+32 ~x7772+16 ~x7771+8 ~x7770+4 ~x7769+2 ~x7768+1 ~x7767-0=26622 15.14/15.30 c 8192 ~x242583+4096 ~x242582+2048 ~x242581+1024 ~x242580+512 ~x242579+256 ~x242578+128 ~x242577+64 ~x242576+32 ~x242575+16 ~x242574+8 ~x242573+4 ~x242572+2 ~x242571+1 ~x242570+8192 ~x7795+4096 ~x7794+2048 ~x7793+1024 ~x7792+512 ~x7791+256 ~x7790+128 ~x7789+64 ~x7788+32 ~x7787+16 ~x7786+8 ~x7785+4 ~x7784+2 ~x7783+1 ~x7782-0=26622 15.24/15.37 c 1024 ~x245908+512 ~x245907+256 ~x245906+128 ~x245905+64 ~x245904+32 ~x245903+16 ~x245902+8 ~x245901+4 ~x245900+2 ~x245899+1 ~x245898+1024 ~x7829+512 ~x7828+256 ~x7827+128 ~x7826+64 ~x7825+32 ~x7824+16 ~x7823+8 ~x7822+4 ~x7821+2 ~x7820+1 ~x7819-0=4094 15.34/15.42 c 8192 ~x247732+4096 ~x247731+2048 ~x247730+1024 ~x247729+512 ~x247728+256 ~x247727+128 ~x247726+64 ~x247725+32 ~x247724+16 ~x247723+8 ~x247722+4 ~x247721+2 ~x247720+1 ~x247719+8192 ~x7847+4096 ~x7846+2048 ~x7845+1024 ~x7844+512 ~x7843+256 ~x7842+128 ~x7841+64 ~x7840+32 ~x7839+16 ~x7838+8 ~x7837+4 ~x7836+2 ~x7835+1 ~x7834-0=26622 15.43/15.50 c 8192 ~x251060+4096 ~x251059+2048 ~x251058+1024 ~x251057+512 ~x251056+256 ~x251055+128 ~x251054+64 ~x251053+32 ~x251052+16 ~x251051+8 ~x251050+4 ~x251049+2 ~x251048+1 ~x251047+8192 ~x7882+4096 ~x7881+2048 ~x7880+1024 ~x7879+512 ~x7878+256 ~x7877+128 ~x7876+64 ~x7875+32 ~x7874+16 ~x7873+8 ~x7872+4 ~x7871+2 ~x7870+1 ~x7869-0=28670 15.43/15.57 c 8192 ~x254388+4096 ~x254387+2048 ~x254386+1024 ~x254385+512 ~x254384+256 ~x254383+128 ~x254382+64 ~x254381+32 ~x254380+16 ~x254379+8 ~x254378+4 ~x254377+2 ~x254376+1 ~x254375+8192 ~x7928+4096 ~x7927+2048 ~x7926+1024 ~x7925+512 ~x7924+256 ~x7923+128 ~x7922+64 ~x7921+32 ~x7920+16 ~x7919+8 ~x7918+4 ~x7917+2 ~x7916+1 ~x7915-0=28670 15.54/15.65 c 8192 ~x257716+4096 ~x257715+2048 ~x257714+1024 ~x257713+512 ~x257712+256 ~x257711+128 ~x257710+64 ~x257709+32 ~x257708+16 ~x257707+8 ~x257706+4 ~x257705+2 ~x257704+1 ~x257703+8192 ~x7949+4096 ~x7948+2048 ~x7947+1024 ~x7946+512 ~x7945+256 ~x7944+128 ~x7943+64 ~x7942+32 ~x7941+16 ~x7940+8 ~x7939+4 ~x7938+2 ~x7937+1 ~x7936-0=28670 15.64/15.73 c 8192 ~x261044+4096 ~x261043+2048 ~x261042+1024 ~x261041+512 ~x261040+256 ~x261039+128 ~x261038+64 ~x261037+32 ~x261036+16 ~x261035+8 ~x261034+4 ~x261033+2 ~x261032+1 ~x261031+8192 ~x7974+4096 ~x7973+2048 ~x7972+1024 ~x7971+512 ~x7970+256 ~x7969+128 ~x7968+64 ~x7967+32 ~x7966+16 ~x7965+8 ~x7964+4 ~x7963+2 ~x7962+1 ~x7961-0=28670 15.74/15.81 c 8192 ~x264372+4096 ~x264371+2048 ~x264370+1024 ~x264369+512 ~x264368+256 ~x264367+128 ~x264366+64 ~x264365+32 ~x264364+16 ~x264363+8 ~x264362+4 ~x264361+2 ~x264360+1 ~x264359+8192 ~x7999+4096 ~x7998+2048 ~x7997+1024 ~x7996+512 ~x7995+256 ~x7994+128 ~x7993+64 ~x7992+32 ~x7991+16 ~x7990+8 ~x7989+4 ~x7988+2 ~x7987+1 ~x7986-0=28670 15.74/15.89 c 8192 ~x267700+4096 ~x267699+2048 ~x267698+1024 ~x267697+512 ~x267696+256 ~x267695+128 ~x267694+64 ~x267693+32 ~x267692+16 ~x267691+8 ~x267690+4 ~x267689+2 ~x267688+1 ~x267687+8192 ~x8036+4096 ~x8035+2048 ~x8034+1024 ~x8033+512 ~x8032+256 ~x8031+128 ~x8030+64 ~x8029+32 ~x8028+16 ~x8027+8 ~x8026+4 ~x8025+2 ~x8024+1 ~x8023-0=28670 15.83/15.97 c 8192 ~x271028+4096 ~x271027+2048 ~x271026+1024 ~x271025+512 ~x271024+256 ~x271023+128 ~x271022+64 ~x271021+32 ~x271020+16 ~x271019+8 ~x271018+4 ~x271017+2 ~x271016+1 ~x271015+8192 ~x8061+4096 ~x8060+2048 ~x8059+1024 ~x8058+512 ~x8057+256 ~x8056+128 ~x8055+64 ~x8054+32 ~x8053+16 ~x8052+8 ~x8051+4 ~x8050+2 ~x8049+1 ~x8048-0=28670 15.94/16.05 c 8192 ~x274356+4096 ~x274355+2048 ~x274354+1024 ~x274353+512 ~x274352+256 ~x274351+128 ~x274350+64 ~x274349+32 ~x274348+16 ~x274347+8 ~x274346+4 ~x274345+2 ~x274344+1 ~x274343+8192 ~x8086+4096 ~x8085+2048 ~x8084+1024 ~x8083+512 ~x8082+256 ~x8081+128 ~x8080+64 ~x8079+32 ~x8078+16 ~x8077+8 ~x8076+4 ~x8075+2 ~x8074+1 ~x8073-0=28670 16.03/16.13 c 8192 ~x277684+4096 ~x277683+2048 ~x277682+1024 ~x277681+512 ~x277680+256 ~x277679+128 ~x277678+64 ~x277677+32 ~x277676+16 ~x277675+8 ~x277674+4 ~x277673+2 ~x277672+1 ~x277671+8192 ~x8111+4096 ~x8110+2048 ~x8109+1024 ~x8108+512 ~x8107+256 ~x8106+128 ~x8105+64 ~x8104+32 ~x8103+16 ~x8102+8 ~x8101+4 ~x8100+2 ~x8099+1 ~x8098-0=28670 16.13/16.20 c 8192 ~x281012+4096 ~x281011+2048 ~x281010+1024 ~x281009+512 ~x281008+256 ~x281007+128 ~x281006+64 ~x281005+32 ~x281004+16 ~x281003+8 ~x281002+4 ~x281001+2 ~x281000+1 ~x280999+8192 ~x8133+4096 ~x8132+2048 ~x8131+1024 ~x8130+512 ~x8129+256 ~x8128+128 ~x8127+64 ~x8126+32 ~x8125+16 ~x8124+8 ~x8123+4 ~x8122+2 ~x8121+1 ~x8120-0=26622 16.13/16.28 c 8192 ~x284340+4096 ~x284339+2048 ~x284338+1024 ~x284337+512 ~x284336+256 ~x284335+128 ~x284334+64 ~x284333+32 ~x284332+16 ~x284331+8 ~x284330+4 ~x284329+2 ~x284328+1 ~x284327+8192 ~x8158+4096 ~x8157+2048 ~x8156+1024 ~x8155+512 ~x8154+256 ~x8153+128 ~x8152+64 ~x8151+32 ~x8150+16 ~x8149+8 ~x8148+4 ~x8147+2 ~x8146+1 ~x8145-0=26622 16.23/16.36 c 8192 ~x287668+4096 ~x287667+2048 ~x287666+1024 ~x287665+512 ~x287664+256 ~x287663+128 ~x287662+64 ~x287661+32 ~x287660+16 ~x287659+8 ~x287658+4 ~x287657+2 ~x287656+1 ~x287655+8192 ~x8183+4096 ~x8182+2048 ~x8181+1024 ~x8180+512 ~x8179+256 ~x8178+128 ~x8177+64 ~x8176+32 ~x8175+16 ~x8174+8 ~x8173+4 ~x8172+2 ~x8171+1 ~x8170-0=26622 16.34/16.44 c 8192 ~x290996+4096 ~x290995+2048 ~x290994+1024 ~x290993+512 ~x290992+256 ~x290991+128 ~x290990+64 ~x290989+32 ~x290988+16 ~x290987+8 ~x290986+4 ~x290985+2 ~x290984+1 ~x290983+8192 ~x8208+4096 ~x8207+2048 ~x8206+1024 ~x8205+512 ~x8204+256 ~x8203+128 ~x8202+64 ~x8201+32 ~x8200+16 ~x8199+8 ~x8198+4 ~x8197+2 ~x8196+1 ~x8195-0=26622 16.45/16.52 c 8192 ~x294324+4096 ~x294323+2048 ~x294322+1024 ~x294321+512 ~x294320+256 ~x294319+128 ~x294318+64 ~x294317+32 ~x294316+16 ~x294315+8 ~x294314+4 ~x294313+2 ~x294312+1 ~x294311+8192 ~x8233+4096 ~x8232+2048 ~x8231+1024 ~x8230+512 ~x8229+256 ~x8228+128 ~x8227+64 ~x8226+32 ~x8225+16 ~x8224+8 ~x8223+4 ~x8222+2 ~x8221+1 ~x8220-0=26622 16.45/16.59 c 1024 ~x297649+512 ~x297648+256 ~x297647+128 ~x297646+64 ~x297645+32 ~x297644+16 ~x297643+8 ~x297642+4 ~x297641+2 ~x297640+1 ~x297639+1024 ~x8255+512 ~x8254+256 ~x8253+128 ~x8252+64 ~x8251+32 ~x8250+16 ~x8249+8 ~x8248+4 ~x8247+2 ~x8246+1 ~x8245-0=4094 16.54/16.64 c 8192 ~x299473+4096 ~x299472+2048 ~x299471+1024 ~x299470+512 ~x299469+256 ~x299468+128 ~x299467+64 ~x299466+32 ~x299465+16 ~x299464+8 ~x299463+4 ~x299462+2 ~x299461+1 ~x299460+8192 ~x39+4096 ~x38+2048 ~x37+1024 ~x36+512 ~x35+256 ~x34+128 ~x33+64 ~x32+32 ~x31+16 ~x30+8 ~x29+4 ~x28+2 ~x27+1 ~x26-0=26622 16.63/16.71 c 8192 ~x302801+4096 ~x302800+2048 ~x302799+1024 ~x302798+512 ~x302797+256 ~x302796+128 ~x302795+64 ~x302794+32 ~x302793+16 ~x302792+8 ~x302791+4 ~x302790+2 ~x302789+1 ~x302788+8192 ~x64+4096 ~x63+2048 ~x62+1024 ~x61+512 ~x60+256 ~x59+128 ~x58+64 ~x57+32 ~x56+16 ~x55+8 ~x54+4 ~x53+2 ~x52+1 ~x51-0=26622 16.63/16.79 c 8192 ~x306129+4096 ~x306128+2048 ~x306127+1024 ~x306126+512 ~x306125+256 ~x306124+128 ~x306123+64 ~x306122+32 ~x306121+16 ~x306120+8 ~x306119+4 ~x306118+2 ~x306117+1 ~x306116+8192 ~x89+4096 ~x88+2048 ~x87+1024 ~x86+512 ~x85+256 ~x84+128 ~x83+64 ~x82+32 ~x81+16 ~x80+8 ~x79+4 ~x78+2 ~x77+1 ~x76-0=26622 16.73/16.87 c 8192 ~x309457+4096 ~x309456+2048 ~x309455+1024 ~x309454+512 ~x309453+256 ~x309452+128 ~x309451+64 ~x309450+32 ~x309449+16 ~x309448+8 ~x309447+4 ~x309446+2 ~x309445+1 ~x309444+8192 ~x114+4096 ~x113+2048 ~x112+1024 ~x111+512 ~x110+256 ~x109+128 ~x108+64 ~x107+32 ~x106+16 ~x105+8 ~x104+4 ~x103+2 ~x102+1 ~x101-0=26622 16.84/16.95 c 8192 ~x312785+4096 ~x312784+2048 ~x312783+1024 ~x312782+512 ~x312781+256 ~x312780+128 ~x312779+64 ~x312778+32 ~x312777+16 ~x312776+8 ~x312775+4 ~x312774+2 ~x312773+1 ~x312772+8192 ~x139+4096 ~x138+2048 ~x137+1024 ~x136+512 ~x135+256 ~x134+128 ~x133+64 ~x132+32 ~x131+16 ~x130+8 ~x129+4 ~x128+2 ~x127+1 ~x126-0=26622 16.94/17.03 c 8192 ~x316113+4096 ~x316112+2048 ~x316111+1024 ~x316110+512 ~x316109+256 ~x316108+128 ~x316107+64 ~x316106+32 ~x316105+16 ~x316104+8 ~x316103+4 ~x316102+2 ~x316101+1 ~x316100+8192 ~x164+4096 ~x163+2048 ~x162+1024 ~x161+512 ~x160+256 ~x159+128 ~x158+64 ~x157+32 ~x156+16 ~x155+8 ~x154+4 ~x153+2 ~x152+1 ~x151-0=28670 17.03/17.11 c 8192 ~x319441+4096 ~x319440+2048 ~x319439+1024 ~x319438+512 ~x319437+256 ~x319436+128 ~x319435+64 ~x319434+32 ~x319433+16 ~x319432+8 ~x319431+4 ~x319430+2 ~x319429+1 ~x319428+8192 ~x189+4096 ~x188+2048 ~x187+1024 ~x186+512 ~x185+256 ~x184+128 ~x183+64 ~x182+32 ~x181+16 ~x180+8 ~x179+4 ~x178+2 ~x177+1 ~x176-0=28670 17.03/17.18 c 8192 ~x322769+4096 ~x322768+2048 ~x322767+1024 ~x322766+512 ~x322765+256 ~x322764+128 ~x322763+64 ~x322762+32 ~x322761+16 ~x322760+8 ~x322759+4 ~x322758+2 ~x322757+1 ~x322756+8192 ~x214+4096 ~x213+2048 ~x212+1024 ~x211+512 ~x210+256 ~x209+128 ~x208+64 ~x207+32 ~x206+16 ~x205+8 ~x204+4 ~x203+2 ~x202+1 ~x201-0=28670 17.13/17.26 c 8192 ~x326097+4096 ~x326096+2048 ~x326095+1024 ~x326094+512 ~x326093+256 ~x326092+128 ~x326091+64 ~x326090+32 ~x326089+16 ~x326088+8 ~x326087+4 ~x326086+2 ~x326085+1 ~x326084+8192 ~x239+4096 ~x238+2048 ~x237+1024 ~x236+512 ~x235+256 ~x234+128 ~x233+64 ~x232+32 ~x231+16 ~x230+8 ~x229+4 ~x228+2 ~x227+1 ~x226-0=28670 17.23/17.34 c 8192 ~x329425+4096 ~x329424+2048 ~x329423+1024 ~x329422+512 ~x329421+256 ~x329420+128 ~x329419+64 ~x329418+32 ~x329417+16 ~x329416+8 ~x329415+4 ~x329414+2 ~x329413+1 ~x329412+8192 ~x264+4096 ~x263+2048 ~x262+1024 ~x261+512 ~x260+256 ~x259+128 ~x258+64 ~x257+32 ~x256+16 ~x255+8 ~x254+4 ~x253+2 ~x252+1 ~x251-0=26622 17.34/17.42 c 8192 ~x332753+4096 ~x332752+2048 ~x332751+1024 ~x332750+512 ~x332749+256 ~x332748+128 ~x332747+64 ~x332746+32 ~x332745+16 ~x332744+8 ~x332743+4 ~x332742+2 ~x332741+1 ~x332740+8192 ~x301+4096 ~x300+2048 ~x299+1024 ~x298+512 ~x297+256 ~x296+128 ~x295+64 ~x294+32 ~x293+16 ~x292+8 ~x291+4 ~x290+2 ~x289+1 ~x288-0=28670 17.34/17.50 c 8192 ~x336081+4096 ~x336080+2048 ~x336079+1024 ~x336078+512 ~x336077+256 ~x336076+128 ~x336075+64 ~x336074+32 ~x336073+16 ~x336072+8 ~x336071+4 ~x336070+2 ~x336069+1 ~x336068+8192 ~x326+4096 ~x325+2048 ~x324+1024 ~x323+512 ~x322+256 ~x321+128 ~x320+64 ~x319+32 ~x318+16 ~x317+8 ~x316+4 ~x315+2 ~x314+1 ~x313-0=28670 17.44/17.58 c 8192 ~x339409+4096 ~x339408+2048 ~x339407+1024 ~x339406+512 ~x339405+256 ~x339404+128 ~x339403+64 ~x339402+32 ~x339401+16 ~x339400+8 ~x339399+4 ~x339398+2 ~x339397+1 ~x339396+8192 ~x351+4096 ~x350+2048 ~x349+1024 ~x348+512 ~x347+256 ~x346+128 ~x345+64 ~x344+32 ~x343+16 ~x342+8 ~x341+4 ~x340+2 ~x339+1 ~x338-0=28670 17.54/17.66 c 8192 ~x342737+4096 ~x342736+2048 ~x342735+1024 ~x342734+512 ~x342733+256 ~x342732+128 ~x342731+64 ~x342730+32 ~x342729+16 ~x342728+8 ~x342727+4 ~x342726+2 ~x342725+1 ~x342724+8192 ~x376+4096 ~x375+2048 ~x374+1024 ~x373+512 ~x372+256 ~x371+128 ~x370+64 ~x369+32 ~x368+16 ~x367+8 ~x366+4 ~x365+2 ~x364+1 ~x363-0=28670 17.63/17.74 c 8192 ~x346065+4096 ~x346064+2048 ~x346063+1024 ~x346062+512 ~x346061+256 ~x346060+128 ~x346059+64 ~x346058+32 ~x346057+16 ~x346056+8 ~x346055+4 ~x346054+2 ~x346053+1 ~x346052+8192 ~x401+4096 ~x400+2048 ~x399+1024 ~x398+512 ~x397+256 ~x396+128 ~x395+64 ~x394+32 ~x393+16 ~x392+8 ~x391+4 ~x390+2 ~x389+1 ~x388-0=28670 17.73/17.81 c 8192 ~x349393+4096 ~x349392+2048 ~x349391+1024 ~x349390+512 ~x349389+256 ~x349388+128 ~x349387+64 ~x349386+32 ~x349385+16 ~x349384+8 ~x349383+4 ~x349382+2 ~x349381+1 ~x349380+8192 ~x426+4096 ~x425+2048 ~x424+1024 ~x423+512 ~x422+256 ~x421+128 ~x420+64 ~x419+32 ~x418+16 ~x417+8 ~x416+4 ~x415+2 ~x414+1 ~x413-0=28670 17.83/17.94 c 1024 ~x352718+512 ~x352717+256 ~x352716+128 ~x352715+64 ~x352714+32 ~x352713+16 ~x352712+8 ~x352711+4 ~x352710+2 ~x352709+1 ~x352708+1024 ~x448+512 ~x447+256 ~x446+128 ~x445+64 ~x444+32 ~x443+16 ~x442+8 ~x441+4 ~x440+2 ~x439+1 ~x438-0=4094 17.83/17.94 c 8192 ~x354542+4096 ~x354541+2048 ~x354540+1024 ~x354539+512 ~x354538+256 ~x354537+128 ~x354536+64 ~x354535+32 ~x354534+16 ~x354533+8 ~x354532+4 ~x354531+2 ~x354530+1 ~x354529+8192 ~x476+4096 ~x475+2048 ~x474+1024 ~x473+512 ~x472+256 ~x471+128 ~x470+64 ~x469+32 ~x468+16 ~x467+8 ~x466+4 ~x465+2 ~x464+1 ~x463-0=28670 17.94/18.02 c 8192 ~x357870+4096 ~x357869+2048 ~x357868+1024 ~x357867+512 ~x357866+256 ~x357865+128 ~x357864+64 ~x357863+32 ~x357862+16 ~x357861+8 ~x357860+4 ~x357859+2 ~x357858+1 ~x357857+8192 ~x501+4096 ~x500+2048 ~x499+1024 ~x498+512 ~x497+256 ~x496+128 ~x495+64 ~x494+32 ~x493+16 ~x492+8 ~x491+4 ~x490+2 ~x489+1 ~x488-0=26622 17.94/18.09 c 8192 ~x361198+4096 ~x361197+2048 ~x361196+1024 ~x361195+512 ~x361194+256 ~x361193+128 ~x361192+64 ~x361191+32 ~x361190+16 ~x361189+8 ~x361188+4 ~x361187+2 ~x361186+1 ~x361185+8192 ~x526+4096 ~x525+2048 ~x524+1024 ~x523+512 ~x522+256 ~x521+128 ~x520+64 ~x519+32 ~x518+16 ~x517+8 ~x516+4 ~x515+2 ~x514+1 ~x513-0=28670 18.04/18.17 c 512 ~x364522+256 ~x364521+128 ~x364520+64 ~x364519+32 ~x364518+16 ~x364517+8 ~x364516+4 ~x364515+2 ~x364514+1 ~x364513+512 ~x559+256 ~x558+128 ~x557+64 ~x556+32 ~x555+16 ~x554+8 ~x553+4 ~x552+2 ~x551+1 ~x550-0=2046 18.13/18.20 c 512 ~x365824+256 ~x365823+128 ~x365822+64 ~x365821+32 ~x365820+16 ~x365819+8 ~x365818+4 ~x365817+2 ~x365816+1 ~x365815+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572-0=2046 18.13/18.23 c 512 ~x367126+256 ~x367125+128 ~x367124+64 ~x367123+32 ~x367122+16 ~x367121+8 ~x367120+4 ~x367119+2 ~x367118+1 ~x367117+512 ~x603+256 ~x602+128 ~x601+64 ~x600+32 ~x599+16 ~x598+8 ~x597+4 ~x596+2 ~x595+1 ~x594-0=2046 18.13/18.26 c 512 ~x368428+256 ~x368427+128 ~x368426+64 ~x368425+32 ~x368424+16 ~x368423+8 ~x368422+4 ~x368421+2 ~x368420+1 ~x368419+512 ~x625+256 ~x624+128 ~x623+64 ~x622+32 ~x621+16 ~x620+8 ~x619+4 ~x618+2 ~x617+1 ~x616-0=2046 18.23/18.33 c 512 ~x369730+256 ~x369729+128 ~x369728+64 ~x369727+32 ~x369726+16 ~x369725+8 ~x369724+4 ~x369723+2 ~x369722+1 ~x369721+512 ~x647+256 ~x646+128 ~x645+64 ~x644+32 ~x643+16 ~x642+8 ~x641+4 ~x640+2 ~x639+1 ~x638-0=2046 18.23/18.33 c 512 ~x371032+256 ~x371031+128 ~x371030+64 ~x371029+32 ~x371028+16 ~x371027+8 ~x371026+4 ~x371025+2 ~x371024+1 ~x371023+512 ~x669+256 ~x668+128 ~x667+64 ~x666+32 ~x665+16 ~x664+8 ~x663+4 ~x662+2 ~x661+1 ~x660-0=2046 18.23/18.36 c 512 ~x372334+256 ~x372333+128 ~x372332+64 ~x372331+32 ~x372330+16 ~x372329+8 ~x372328+4 ~x372327+2 ~x372326+1 ~x372325+512 ~x687+256 ~x686+128 ~x685+64 ~x684+32 ~x683+16 ~x682+8 ~x681+4 ~x680+2 ~x679+1 ~x678-0=2046 18.23/18.39 c 512 ~x373636+256 ~x373635+128 ~x373634+64 ~x373633+32 ~x373632+16 ~x373631+8 ~x373630+4 ~x373629+2 ~x373628+1 ~x373627+512 ~x708+256 ~x707+128 ~x706+64 ~x705+32 ~x704+16 ~x703+8 ~x702+4 ~x701+2 ~x700+1 ~x699-0=2046 18.33/18.42 c 512 ~x374938+256 ~x374937+128 ~x374936+64 ~x374935+32 ~x374934+16 ~x374933+8 ~x374932+4 ~x374931+2 ~x374930+1 ~x374929+512 ~x750+256 ~x749+128 ~x748+64 ~x747+32 ~x746+16 ~x745+8 ~x744+4 ~x743+2 ~x742+1 ~x741-0=2046 18.33/18.45 c 512 ~x376240+256 ~x376239+128 ~x376238+64 ~x376237+32 ~x376236+16 ~x376235+8 ~x376234+4 ~x376233+2 ~x376232+1 ~x376231+512 ~x796+256 ~x795+128 ~x794+64 ~x793+32 ~x792+16 ~x791+8 ~x790+4 ~x789+2 ~x788+1 ~x787-0=2046 18.33/18.48 c 512 ~x377542+256 ~x377541+128 ~x377540+64 ~x377539+32 ~x377538+16 ~x377537+8 ~x377536+4 ~x377535+2 ~x377534+1 ~x377533+512 ~x860+256 ~x859+128 ~x858+64 ~x857+32 ~x856+16 ~x855+8 ~x854+4 ~x853+2 ~x852+1 ~x851-0=2046 18.43/18.55 c 512 ~x378844+256 ~x378843+128 ~x378842+64 ~x378841+32 ~x378840+16 ~x378839+8 ~x378838+4 ~x378837+2 ~x378836+1 ~x378835+512 ~x912+256 ~x911+128 ~x910+64 ~x909+32 ~x908+16 ~x907+8 ~x906+4 ~x905+2 ~x904+1 ~x903-0=2046 18.43/18.55 c 268435456 ~x380165+134217728 ~x380164+67108864 ~x380163+33554432 ~x380162+16777216 ~x380161+8388608 ~x380160+4194304 ~x380159+2097152 ~x380158+1048576 ~x380157+524288 ~x380156+262144 ~x380155+131072 ~x380154+65536 ~x380153+32768 ~x380152+16384 ~x380151+8192 ~x380150+4096 ~x380149+2048 ~x380148+1024 ~x380147+512 ~x380146+256 ~x380145+128 ~x380144+64 ~x380143+32 ~x380142+16 ~x380141+8 ~x380140+4 ~x380139+2 ~x380138+1 ~x380137+400000000 ~x965+200000000 ~x964+100000000 ~x963+50000000 ~x962+25000000 ~x961+12500000 ~x960+6250000 ~x959+3125000 ~x958+1562500 ~x957+781250 ~x956+390625 ~x955-0=972503908 18.64/18.79 c 512 ~x390878+256 ~x390877+128 ~x390876+64 ~x390875+32 ~x390874+16 ~x390873+8 ~x390872+4 ~x390871+2 ~x390870+1 ~x390869+512 ~x1010+256 ~x1009+128 ~x1008+64 ~x1007+32 ~x1006+16 ~x1005+8 ~x1004+4 ~x1003+2 ~x1002+1 ~x1001-0=2046 18.73/18.82 c 2147483648 ~x392202+1073741824 ~x392201+536870912 ~x392200+268435456 ~x392199+134217728 ~x392198+67108864 ~x392197+33554432 ~x392196+16777216 ~x392195+8388608 ~x392194+4194304 ~x392193+2097152 ~x392192+1048576 ~x392191+524288 ~x392190+262144 ~x392189+131072 ~x392188+65536 ~x392187+32768 ~x392186+16384 ~x392185+8192 ~x392184+4096 ~x392183+2048 ~x392182+1024 ~x392181+512 ~x392180+256 ~x392179+128 ~x392178+64 ~x392177+32 ~x392176+16 ~x392175+8 ~x392174+4 ~x392173+2 ~x392172+1 ~x392171+2000000000 ~x1044+1000000000 ~x1043+500000000 ~x1042+250000000 ~x1041+125000000 ~x1040+62500000 ~x1039+31250000 ~x1038+15625000 ~x1037+7812500 ~x1036+3906250 ~x1035+1953125 ~x1034-0=6561714958 19.02/19.13 c 1073741824 ~x405781+536870912 ~x405780+268435456 ~x405779+134217728 ~x405778+67108864 ~x405777+33554432 ~x405776+16777216 ~x405775+8388608 ~x405774+4194304 ~x405773+2097152 ~x405772+1048576 ~x405771+524288 ~x405770+262144 ~x405769+131072 ~x405768+65536 ~x405767+32768 ~x405766+16384 ~x405765+8192 ~x405764+4096 ~x405763+2048 ~x405762+1024 ~x405761+512 ~x405760+256 ~x405759+128 ~x405758+64 ~x405757+32 ~x405756+16 ~x405755+8 ~x405754+4 ~x405753+2 ~x405752+1 ~x405751+1000000000 ~x1081+500000000 ~x1080+250000000 ~x1079+125000000 ~x1078+62500000 ~x1077+31250000 ~x1076+15625000 ~x1075+7812500 ~x1074+3906250 ~x1073+1953125 ~x1072-0=3334506900 19.33/19.42 c 2147483648 ~x418282+1073741824 ~x418281+536870912 ~x418280+268435456 ~x418279+134217728 ~x418278+67108864 ~x418277+33554432 ~x418276+16777216 ~x418275+8388608 ~x418274+4194304 ~x418273+2097152 ~x418272+1048576 ~x418271+524288 ~x418270+262144 ~x418269+131072 ~x418268+65536 ~x418267+32768 ~x418266+16384 ~x418265+8192 ~x418264+4096 ~x418263+2048 ~x418262+1024 ~x418261+512 ~x418260+256 ~x418259+128 ~x418258+64 ~x418257+32 ~x418256+16 ~x418255+8 ~x418254+4 ~x418253+2 ~x418252+1 ~x418251+2000000000 ~x1122+1000000000 ~x1121+500000000 ~x1120+250000000 ~x1119+125000000 ~x1118+62500000 ~x1117+31250000 ~x1116+15625000 ~x1115+7812500 ~x1114+3906250 ~x1113+1953125 ~x1112-0=6561714958 19.64/19.72 c 512 ~x431840+256 ~x431839+128 ~x431838+64 ~x431837+32 ~x431836+16 ~x431835+8 ~x431834+4 ~x431833+2 ~x431832+1 ~x431831+512 ~x1149+256 ~x1148+128 ~x1147+64 ~x1146+32 ~x1145+16 ~x1144+8 ~x1143+4 ~x1142+2 ~x1141+1 ~x1140-0=2046 19.64/19.76 c 2147483648 ~x433164+1073741824 ~x433163+536870912 ~x433162+268435456 ~x433161+134217728 ~x433160+67108864 ~x433159+33554432 ~x433158+16777216 ~x433157+8388608 ~x433156+4194304 ~x433155+2097152 ~x433154+1048576 ~x433153+524288 ~x433152+262144 ~x433151+131072 ~x433150+65536 ~x433149+32768 ~x433148+16384 ~x433147+8192 ~x433146+4096 ~x433145+2048 ~x433144+1024 ~x433143+512 ~x433142+256 ~x433141+128 ~x433140+64 ~x433139+32 ~x433138+16 ~x433137+8 ~x433136+4 ~x433135+2 ~x433134+1 ~x433133+2000000000 ~x1172+1000000000 ~x1171+500000000 ~x1170+250000000 ~x1169+125000000 ~x1168+62500000 ~x1167+31250000 ~x1166+15625000 ~x1165+7812500 ~x1164+3906250 ~x1163+1953125 ~x1162-0=6561714958 19.93/20.06 c 536870912 ~x446742+268435456 ~x446741+134217728 ~x446740+67108864 ~x446739+33554432 ~x446738+16777216 ~x446737+8388608 ~x446736+4194304 ~x446735+2097152 ~x446734+1048576 ~x446733+524288 ~x446732+262144 ~x446731+131072 ~x446730+65536 ~x446729+32768 ~x446728+16384 ~x446727+8192 ~x446726+4096 ~x446725+2048 ~x446724+1024 ~x446723+512 ~x446722+256 ~x446721+128 ~x446720+64 ~x446719+32 ~x446718+16 ~x446717+8 ~x446716+4 ~x446715+2 ~x446714+1 ~x446713+400000000 ~x1193+200000000 ~x1192+100000000 ~x1191+50000000 ~x1190+25000000 ~x1189+12500000 ~x1188+6250000 ~x1187+3125000 ~x1186+1562500 ~x1185+781250 ~x1184+390625 ~x1183-0=1831245934 20.23/20.31 c 536870912 ~x457793+268435456 ~x457792+134217728 ~x457791+67108864 ~x457790+33554432 ~x457789+16777216 ~x457788+8388608 ~x457787+4194304 ~x457786+2097152 ~x457785+1048576 ~x457784+524288 ~x457783+262144 ~x457782+131072 ~x457781+65536 ~x457780+32768 ~x457779+16384 ~x457778+8192 ~x457777+4096 ~x457776+2048 ~x457775+1024 ~x457774+512 ~x457773+256 ~x457772+128 ~x457771+64 ~x457770+32 ~x457769+16 ~x457768+8 ~x457767+4 ~x457766+2 ~x457765+1 ~x457764+400000000 ~x1220+200000000 ~x1219+100000000 ~x1218+50000000 ~x1217+25000000 ~x1216+12500000 ~x1215+6250000 ~x1214+3125000 ~x1213+1562500 ~x1212+781250 ~x1211+390625 ~x1210-0=1831245934 20.43/20.56 c 536870912 ~x468844+268435456 ~x468843+134217728 ~x468842+67108864 ~x468841+33554432 ~x468840+16777216 ~x468839+8388608 ~x468838+4194304 ~x468837+2097152 ~x468836+1048576 ~x468835+524288 ~x468834+262144 ~x468833+131072 ~x468832+65536 ~x468831+32768 ~x468830+16384 ~x468829+8192 ~x468828+4096 ~x468827+2048 ~x468826+1024 ~x468825+512 ~x468824+256 ~x468823+128 ~x468822+64 ~x468821+32 ~x468820+16 ~x468819+8 ~x468818+4 ~x468817+2 ~x468816+1 ~x468815+400000000 ~x1234+200000000 ~x1233+100000000 ~x1232+50000000 ~x1231+25000000 ~x1230+12500000 ~x1229+6250000 ~x1228+3125000 ~x1227+1562500 ~x1226+781250 ~x1225+390625 ~x1224-0=1848088042 20.63/20.80 c 536870912 ~x479895+268435456 ~x479894+134217728 ~x479893+67108864 ~x479892+33554432 ~x479891+16777216 ~x479890+8388608 ~x479889+4194304 ~x479888+2097152 ~x479887+1048576 ~x479886+524288 ~x479885+262144 ~x479884+131072 ~x479883+65536 ~x479882+32768 ~x479881+16384 ~x479880+8192 ~x479879+4096 ~x479878+2048 ~x479877+1024 ~x479876+512 ~x479875+256 ~x479874+128 ~x479873+64 ~x479872+32 ~x479871+16 ~x479870+8 ~x479869+4 ~x479868+2 ~x479867+1 ~x479866+400000000 ~x1248+200000000 ~x1247+100000000 ~x1246+50000000 ~x1245+25000000 ~x1244+12500000 ~x1243+6250000 ~x1242+3125000 ~x1241+1562500 ~x1240+781250 ~x1239+390625 ~x1238-0=1848088042 20.93/21.05 c 536870912 ~x490946+268435456 ~x490945+134217728 ~x490944+67108864 ~x490943+33554432 ~x490942+16777216 ~x490941+8388608 ~x490940+4194304 ~x490939+2097152 ~x490938+1048576 ~x490937+524288 ~x490936+262144 ~x490935+131072 ~x490934+65536 ~x490933+32768 ~x490932+16384 ~x490931+8192 ~x490930+4096 ~x490929+2048 ~x490928+1024 ~x490927+512 ~x490926+256 ~x490925+128 ~x490924+64 ~x490923+32 ~x490922+16 ~x490921+8 ~x490920+4 ~x490919+2 ~x490918+1 ~x490917+800000000 ~x1263+400000000 ~x1262+200000000 ~x1261+100000000 ~x1260+50000000 ~x1259+25000000 ~x1258+12500000 ~x1257+6250000 ~x1256+3125000 ~x1255+1562500 ~x1254+781250 ~x1253+390625 ~x1252-0=2012358290 21.23/21.34 c 536870912 ~x503784+268435456 ~x503783+134217728 ~x503782+67108864 ~x503781+33554432 ~x503780+16777216 ~x503779+8388608 ~x503778+4194304 ~x503777+2097152 ~x503776+1048576 ~x503775+524288 ~x503774+262144 ~x503773+131072 ~x503772+65536 ~x503771+32768 ~x503770+16384 ~x503769+8192 ~x503768+4096 ~x503767+2048 ~x503766+1024 ~x503765+512 ~x503764+256 ~x503763+128 ~x503762+64 ~x503761+32 ~x503760+16 ~x503759+8 ~x503758+4 ~x503757+2 ~x503756+1 ~x503755+800000000 ~x1277+400000000 ~x1276+200000000 ~x1275+100000000 ~x1274+50000000 ~x1273+25000000 ~x1272+12500000 ~x1271+6250000 ~x1270+3125000 ~x1269+1562500 ~x1268+781250 ~x1267+390625 ~x1266-0=2131075526 21.53/21.64 c 536870912 ~x516622+268435456 ~x516621+134217728 ~x516620+67108864 ~x516619+33554432 ~x516618+16777216 ~x516617+8388608 ~x516616+4194304 ~x516615+2097152 ~x516614+1048576 ~x516613+524288 ~x516612+262144 ~x516611+131072 ~x516610+65536 ~x516609+32768 ~x516608+16384 ~x516607+8192 ~x516606+4096 ~x516605+2048 ~x516604+1024 ~x516603+512 ~x516602+256 ~x516601+128 ~x516600+64 ~x516599+32 ~x516598+16 ~x516597+8 ~x516596+4 ~x516595+2 ~x516594+1 ~x516593+800000000 ~x1291+400000000 ~x1290+200000000 ~x1289+100000000 ~x1288+50000000 ~x1287+25000000 ~x1286+12500000 ~x1285+6250000 ~x1284+3125000 ~x1283+1562500 ~x1282+781250 ~x1281+390625 ~x1280-0=2012358290 21.84/21.94 c 536870912 ~x529460+268435456 ~x529459+134217728 ~x529458+67108864 ~x529457+33554432 ~x529456+16777216 ~x529455+8388608 ~x529454+4194304 ~x529453+2097152 ~x529452+1048576 ~x529451+524288 ~x529450+262144 ~x529449+131072 ~x529448+65536 ~x529447+32768 ~x529446+16384 ~x529445+8192 ~x529444+4096 ~x529443+2048 ~x529442+1024 ~x529441+512 ~x529440+256 ~x529439+128 ~x529438+64 ~x529437+32 ~x529436+16 ~x529435+8 ~x529434+4 ~x529433+2 ~x529432+1 ~x529431+800000000 ~x1305+400000000 ~x1304+200000000 ~x1303+100000000 ~x1302+50000000 ~x1301+25000000 ~x1300+12500000 ~x1299+6250000 ~x1298+3125000 ~x1297+1562500 ~x1296+781250 ~x1295+390625 ~x1294-0=2131075526 22.13/22.23 c 536870912 ~x542298+268435456 ~x542297+134217728 ~x542296+67108864 ~x542295+33554432 ~x542294+16777216 ~x542293+8388608 ~x542292+4194304 ~x542291+2097152 ~x542290+1048576 ~x542289+524288 ~x542288+262144 ~x542287+131072 ~x542286+65536 ~x542285+32768 ~x542284+16384 ~x542283+8192 ~x542282+4096 ~x542281+2048 ~x542280+1024 ~x542279+512 ~x542278+256 ~x542277+128 ~x542276+64 ~x542275+32 ~x542274+16 ~x542273+8 ~x542272+4 ~x542271+2 ~x542270+1 ~x542269+400000000 ~x1318+200000000 ~x1317+100000000 ~x1316+50000000 ~x1315+25000000 ~x1314+12500000 ~x1313+6250000 ~x1312+3125000 ~x1311+1562500 ~x1310+781250 ~x1309+390625 ~x1308-0=1747035410 22.33/22.48 c 536870912 ~x553349+268435456 ~x553348+134217728 ~x553347+67108864 ~x553346+33554432 ~x553345+16777216 ~x553344+8388608 ~x553343+4194304 ~x553342+2097152 ~x553341+1048576 ~x553340+524288 ~x553339+262144 ~x553338+131072 ~x553337+65536 ~x553336+32768 ~x553335+16384 ~x553334+8192 ~x553333+4096 ~x553332+2048 ~x553331+1024 ~x553330+512 ~x553329+256 ~x553328+128 ~x553327+64 ~x553326+32 ~x553325+16 ~x553324+8 ~x553323+4 ~x553322+2 ~x553321+1 ~x553320+800000000 ~x1333+400000000 ~x1332+200000000 ~x1331+100000000 ~x1330+50000000 ~x1329+25000000 ~x1328+12500000 ~x1327+6250000 ~x1326+3125000 ~x1325+1562500 ~x1324+781250 ~x1323+390625 ~x1322-0=2091503114 22.62/22.77 c 536870912 ~x566187+268435456 ~x566186+134217728 ~x566185+67108864 ~x566184+33554432 ~x566183+16777216 ~x566182+8388608 ~x566181+4194304 ~x566180+2097152 ~x566179+1048576 ~x566178+524288 ~x566177+262144 ~x566176+131072 ~x566175+65536 ~x566174+32768 ~x566173+16384 ~x566172+8192 ~x566171+4096 ~x566170+2048 ~x566169+1024 ~x566168+512 ~x566167+256 ~x566166+128 ~x566165+64 ~x566164+32 ~x566163+16 ~x566162+8 ~x566161+4 ~x566160+2 ~x566159+1 ~x566158+800000000 ~x1347+400000000 ~x1346+200000000 ~x1345+100000000 ~x1344+50000000 ~x1343+25000000 ~x1342+12500000 ~x1341+6250000 ~x1340+3125000 ~x1339+1562500 ~x1338+781250 ~x1337+390625 ~x1336-0=2091503114 22.94/23.06 c 536870912 ~x579025+268435456 ~x579024+134217728 ~x579023+67108864 ~x579022+33554432 ~x579021+16777216 ~x579020+8388608 ~x579019+4194304 ~x579018+2097152 ~x579017+1048576 ~x579016+524288 ~x579015+262144 ~x579014+131072 ~x579013+65536 ~x579012+32768 ~x579011+16384 ~x579010+8192 ~x579009+4096 ~x579008+2048 ~x579007+1024 ~x579006+512 ~x579005+256 ~x579004+128 ~x579003+64 ~x579002+32 ~x579001+16 ~x579000+8 ~x578999+4 ~x578998+2 ~x578997+1 ~x578996+800000000 ~x1373+400000000 ~x1372+200000000 ~x1371+100000000 ~x1370+50000000 ~x1369+25000000 ~x1368+12500000 ~x1367+6250000 ~x1366+3125000 ~x1365+1562500 ~x1364+781250 ~x1363+390625 ~x1362-0=2091503114 23.23/23.35 c 1073741824 ~x591864+536870912 ~x591863+268435456 ~x591862+134217728 ~x591861+67108864 ~x591860+33554432 ~x591859+16777216 ~x591858+8388608 ~x591857+4194304 ~x591856+2097152 ~x591855+1048576 ~x591854+524288 ~x591853+262144 ~x591852+131072 ~x591851+65536 ~x591850+32768 ~x591849+16384 ~x591848+8192 ~x591847+4096 ~x591846+2048 ~x591845+1024 ~x591844+512 ~x591843+256 ~x591842+128 ~x591841+64 ~x591840+32 ~x591839+16 ~x591838+8 ~x591837+4 ~x591836+2 ~x591835+1 ~x591834+800000000 ~x1387+400000000 ~x1386+200000000 ~x1385+100000000 ~x1384+50000000 ~x1383+25000000 ~x1382+12500000 ~x1381+6250000 ~x1380+3125000 ~x1379+1562500 ~x1378+781250 ~x1377+390625 ~x1376-0=3347278034 23.52/23.65 c 1073741824 ~x605066+536870912 ~x605065+268435456 ~x605064+134217728 ~x605063+67108864 ~x605062+33554432 ~x605061+16777216 ~x605060+8388608 ~x605059+4194304 ~x605058+2097152 ~x605057+1048576 ~x605056+524288 ~x605055+262144 ~x605054+131072 ~x605053+65536 ~x605052+32768 ~x605051+16384 ~x605050+8192 ~x605049+4096 ~x605048+2048 ~x605047+1024 ~x605046+512 ~x605045+256 ~x605044+128 ~x605043+64 ~x605042+32 ~x605041+16 ~x605040+8 ~x605039+4 ~x605038+2 ~x605037+1 ~x605036+800000000 ~x1401+400000000 ~x1400+200000000 ~x1399+100000000 ~x1398+50000000 ~x1397+25000000 ~x1396+12500000 ~x1395+6250000 ~x1394+3125000 ~x1393+1562500 ~x1392+781250 ~x1391+390625 ~x1390-0=3402679414 23.83/23.95 c 134217728 ~x618265+67108864 ~x618264+33554432 ~x618263+16777216 ~x618262+8388608 ~x618261+4194304 ~x618260+2097152 ~x618259+1048576 ~x618258+524288 ~x618257+262144 ~x618256+131072 ~x618255+65536 ~x618254+32768 ~x618253+16384 ~x618252+8192 ~x618251+4096 ~x618250+2048 ~x618249+1024 ~x618248+512 ~x618247+256 ~x618246+128 ~x618245+64 ~x618244+32 ~x618243+16 ~x618242+8 ~x618241+4 ~x618240+2 ~x618239+1 ~x618238+160000000 ~x1415+80000000 ~x1414+40000000 ~x1413+20000000 ~x1412+10000000 ~x1411+5000000 ~x1410+2500000 ~x1409+1250000 ~x1408+625000 ~x1407+312500 ~x1406+156250 ~x1405+78125 ~x1404-0=524223298 24.03/24.19 c 16777216 ~x628834+8388608 ~x628833+4194304 ~x628832+2097152 ~x628831+1048576 ~x628830+524288 ~x628829+262144 ~x628828+131072 ~x628827+65536 ~x628826+32768 ~x628825+16384 ~x628824+8192 ~x628823+4096 ~x628822+2048 ~x628821+1024 ~x628820+512 ~x628819+256 ~x628818+128 ~x628817+64 ~x628816+32 ~x628815+16 ~x628814+8 ~x628813+4 ~x628812+2 ~x628811+1 ~x628810+12500000 ~x1423+6250000 ~x1422+3125000 ~x1421+1562500 ~x1420+781250 ~x1419+390625 ~x1418-0=52960290 24.23/24.34 c 134217728 ~x635385+67108864 ~x635384+33554432 ~x635383+16777216 ~x635382+8388608 ~x635381+4194304 ~x635380+2097152 ~x635379+1048576 ~x635378+524288 ~x635377+262144 ~x635376+131072 ~x635375+65536 ~x635374+32768 ~x635373+16384 ~x635372+8192 ~x635371+4096 ~x635370+2048 ~x635369+1024 ~x635368+512 ~x635367+256 ~x635366+128 ~x635365+64 ~x635364+32 ~x635363+16 ~x635362+8 ~x635361+4 ~x635360+2 ~x635359+1 ~x635358+160000000 ~x1443+80000000 ~x1442+40000000 ~x1441+20000000 ~x1440+10000000 ~x1439+5000000 ~x1438+2500000 ~x1437+1250000 ~x1436+625000 ~x1435+312500 ~x1434+156250 ~x1433+78125 ~x1432-0=524223298 24.43/24.58 c 536870912 ~x645959+268435456 ~x645958+134217728 ~x645957+67108864 ~x645956+33554432 ~x645955+16777216 ~x645954+8388608 ~x645953+4194304 ~x645952+2097152 ~x645951+1048576 ~x645950+524288 ~x645949+262144 ~x645948+131072 ~x645947+65536 ~x645946+32768 ~x645945+16384 ~x645944+8192 ~x645943+4096 ~x645942+2048 ~x645941+1024 ~x645940+512 ~x645939+256 ~x645938+128 ~x645937+64 ~x645936+32 ~x645935+16 ~x645934+8 ~x645933+4 ~x645932+2 ~x645931+1 ~x645930+400000000 ~x1456+200000000 ~x1455+100000000 ~x1454+50000000 ~x1453+25000000 ~x1452+12500000 ~x1451+6250000 ~x1450+3125000 ~x1449+1562500 ~x1448+781250 ~x1447+390625 ~x1446-0=1831245934 24.72/24.84 c 134217728 ~x657008+67108864 ~x657007+33554432 ~x657006+16777216 ~x657005+8388608 ~x657004+4194304 ~x657003+2097152 ~x657002+1048576 ~x657001+524288 ~x657000+262144 ~x656999+131072 ~x656998+65536 ~x656997+32768 ~x656996+16384 ~x656995+8192 ~x656994+4096 ~x656993+2048 ~x656992+1024 ~x656991+512 ~x656990+256 ~x656989+128 ~x656988+64 ~x656987+32 ~x656986+16 ~x656985+8 ~x656984+4 ~x656983+2 ~x656982+1 ~x656981+160000000 ~x1471+80000000 ~x1470+40000000 ~x1469+20000000 ~x1468+10000000 ~x1467+5000000 ~x1466+2500000 ~x1465+1250000 ~x1464+625000 ~x1463+312500 ~x1462+156250 ~x1461+78125 ~x1460-0=524223298 24.93/25.07 c 8192 ~x667566+4096 ~x667565+2048 ~x667564+1024 ~x667563+512 ~x667562+256 ~x667561+128 ~x667560+64 ~x667559+32 ~x667558+16 ~x667557+8 ~x667556+4 ~x667555+2 ~x667554+1 ~x667553+8192 ~x1487+4096 ~x1486+2048 ~x1485+1024 ~x1484+512 ~x1483+256 ~x1482+128 ~x1481+64 ~x1480+32 ~x1479+16 ~x1478+8 ~x1477+4 ~x1476+2 ~x1475+1 ~x1474-0=26622 25.02/25.15 c 8192 ~x670894+4096 ~x670893+2048 ~x670892+1024 ~x670891+512 ~x670890+256 ~x670889+128 ~x670888+64 ~x670887+32 ~x670886+16 ~x670885+8 ~x670884+4 ~x670883+2 ~x670882+1 ~x670881+8192 ~x1502+4096 ~x1501+2048 ~x1500+1024 ~x1499+512 ~x1498+256 ~x1497+128 ~x1496+64 ~x1495+32 ~x1494+16 ~x1493+8 ~x1492+4 ~x1491+2 ~x1490+1 ~x1489-0=26622 25.13/25.23 c 8192 ~x674222+4096 ~x674221+2048 ~x674220+1024 ~x674219+512 ~x674218+256 ~x674217+128 ~x674216+64 ~x674215+32 ~x674214+16 ~x674213+8 ~x674212+4 ~x674211+2 ~x674210+1 ~x674209+8192 ~x1532+4096 ~x1531+2048 ~x1530+1024 ~x1529+512 ~x1528+256 ~x1527+128 ~x1526+64 ~x1525+32 ~x1524+16 ~x1523+8 ~x1522+4 ~x1521+2 ~x1520+1 ~x1519-0=26622 25.23/25.31 c 8192 ~x677550+4096 ~x677549+2048 ~x677548+1024 ~x677547+512 ~x677546+256 ~x677545+128 ~x677544+64 ~x677543+32 ~x677542+16 ~x677541+8 ~x677540+4 ~x677539+2 ~x677538+1 ~x677537+8192 ~x1547+4096 ~x1546+2048 ~x1545+1024 ~x1544+512 ~x1543+256 ~x1542+128 ~x1541+64 ~x1540+32 ~x1539+16 ~x1538+8 ~x1537+4 ~x1536+2 ~x1535+1 ~x1534-0=26622 25.23/25.39 c 8192 ~x680878+4096 ~x680877+2048 ~x680876+1024 ~x680875+512 ~x680874+256 ~x680873+128 ~x680872+64 ~x680871+32 ~x680870+16 ~x680869+8 ~x680868+4 ~x680867+2 ~x680866+1 ~x680865+8192 ~x1562+4096 ~x1561+2048 ~x1560+1024 ~x1559+512 ~x1558+256 ~x1557+128 ~x1556+64 ~x1555+32 ~x1554+16 ~x1553+8 ~x1552+4 ~x1551+2 ~x1550+1 ~x1549-0=28670 25.32/25.46 c 8192 ~x684206+4096 ~x684205+2048 ~x684204+1024 ~x684203+512 ~x684202+256 ~x684201+128 ~x684200+64 ~x684199+32 ~x684198+16 ~x684197+8 ~x684196+4 ~x684195+2 ~x684194+1 ~x684193+8192 ~x1577+4096 ~x1576+2048 ~x1575+1024 ~x1574+512 ~x1573+256 ~x1572+128 ~x1571+64 ~x1570+32 ~x1569+16 ~x1568+8 ~x1567+4 ~x1566+2 ~x1565+1 ~x1564-0=28670 25.42/25.54 c 8192 ~x687534+4096 ~x687533+2048 ~x687532+1024 ~x687531+512 ~x687530+256 ~x687529+128 ~x687528+64 ~x687527+32 ~x687526+16 ~x687525+8 ~x687524+4 ~x687523+2 ~x687522+1 ~x687521+8192 ~x1592+4096 ~x1591+2048 ~x1590+1024 ~x1589+512 ~x1588+256 ~x1587+128 ~x1586+64 ~x1585+32 ~x1584+16 ~x1583+8 ~x1582+4 ~x1581+2 ~x1580+1 ~x1579-0=28670 25.52/25.62 c 8192 ~x690862+4096 ~x690861+2048 ~x690860+1024 ~x690859+512 ~x690858+256 ~x690857+128 ~x690856+64 ~x690855+32 ~x690854+16 ~x690853+8 ~x690852+4 ~x690851+2 ~x690850+1 ~x690849+8192 ~x1607+4096 ~x1606+2048 ~x1605+1024 ~x1604+512 ~x1603+256 ~x1602+128 ~x1601+64 ~x1600+32 ~x1599+16 ~x1598+8 ~x1597+4 ~x1596+2 ~x1595+1 ~x1594-0=28670 25.62/25.70 c 8192 ~x694190+4096 ~x694189+2048 ~x694188+1024 ~x694187+512 ~x694186+256 ~x694185+128 ~x694184+64 ~x694183+32 ~x694182+16 ~x694181+8 ~x694180+4 ~x694179+2 ~x694178+1 ~x694177+8192 ~x1622+4096 ~x1621+2048 ~x1620+1024 ~x1619+512 ~x1618+256 ~x1617+128 ~x1616+64 ~x1615+32 ~x1614+16 ~x1613+8 ~x1612+4 ~x1611+2 ~x1610+1 ~x1609-0=26622 25.62/25.78 c 8192 ~x697518+4096 ~x697517+2048 ~x697516+1024 ~x697515+512 ~x697514+256 ~x697513+128 ~x697512+64 ~x697511+32 ~x697510+16 ~x697509+8 ~x697508+4 ~x697507+2 ~x697506+1 ~x697505+8192 ~x1637+4096 ~x1636+2048 ~x1635+1024 ~x1634+512 ~x1633+256 ~x1632+128 ~x1631+64 ~x1630+32 ~x1629+16 ~x1628+8 ~x1627+4 ~x1626+2 ~x1625+1 ~x1624-0=28670 25.72/25.86 c 8192 ~x700846+4096 ~x700845+2048 ~x700844+1024 ~x700843+512 ~x700842+256 ~x700841+128 ~x700840+64 ~x700839+32 ~x700838+16 ~x700837+8 ~x700836+4 ~x700835+2 ~x700834+1 ~x700833+8192 ~x1652+4096 ~x1651+2048 ~x1650+1024 ~x1649+512 ~x1648+256 ~x1647+128 ~x1646+64 ~x1645+32 ~x1644+16 ~x1643+8 ~x1642+4 ~x1641+2 ~x1640+1 ~x1639-0=28670 25.82/25.93 c 8192 ~x704174+4096 ~x704173+2048 ~x704172+1024 ~x704171+512 ~x704170+256 ~x704169+128 ~x704168+64 ~x704167+32 ~x704166+16 ~x704165+8 ~x704164+4 ~x704163+2 ~x704162+1 ~x704161+8192 ~x1667+4096 ~x1666+2048 ~x1665+1024 ~x1664+512 ~x1663+256 ~x1662+128 ~x1661+64 ~x1660+32 ~x1659+16 ~x1658+8 ~x1657+4 ~x1656+2 ~x1655+1 ~x1654-0=28670 25.92/26.01 c 8192 ~x707502+4096 ~x707501+2048 ~x707500+1024 ~x707499+512 ~x707498+256 ~x707497+128 ~x707496+64 ~x707495+32 ~x707494+16 ~x707493+8 ~x707492+4 ~x707491+2 ~x707490+1 ~x707489+8192 ~x1694+4096 ~x1693+2048 ~x1692+1024 ~x1691+512 ~x1690+256 ~x1689+128 ~x1688+64 ~x1687+32 ~x1686+16 ~x1685+8 ~x1684+4 ~x1683+2 ~x1682+1 ~x1681-0=28670 25.92/26.09 c 8192 ~x710830+4096 ~x710829+2048 ~x710828+1024 ~x710827+512 ~x710826+256 ~x710825+128 ~x710824+64 ~x710823+32 ~x710822+16 ~x710821+8 ~x710820+4 ~x710819+2 ~x710818+1 ~x710817+8192 ~x1709+4096 ~x1708+2048 ~x1707+1024 ~x1706+512 ~x1705+256 ~x1704+128 ~x1703+64 ~x1702+32 ~x1701+16 ~x1700+8 ~x1699+4 ~x1698+2 ~x1697+1 ~x1696-0=26622 26.03/26.17 c 8192 ~x714158+4096 ~x714157+2048 ~x714156+1024 ~x714155+512 ~x714154+256 ~x714153+128 ~x714152+64 ~x714151+32 ~x714150+16 ~x714149+8 ~x714148+4 ~x714147+2 ~x714146+1 ~x714145+8192 ~x1724+4096 ~x1723+2048 ~x1722+1024 ~x1721+512 ~x1720+256 ~x1719+128 ~x1718+64 ~x1717+32 ~x1716+16 ~x1715+8 ~x1714+4 ~x1713+2 ~x1712+1 ~x1711-0=28670 26.13/26.25 c 8192 ~x717486+4096 ~x717485+2048 ~x717484+1024 ~x717483+512 ~x717482+256 ~x717481+128 ~x717480+64 ~x717479+32 ~x717478+16 ~x717477+8 ~x717476+4 ~x717475+2 ~x717474+1 ~x717473+8192 ~x1739+4096 ~x1738+2048 ~x1737+1024 ~x1736+512 ~x1735+256 ~x1734+128 ~x1733+64 ~x1732+32 ~x1731+16 ~x1730+8 ~x1729+4 ~x1728+2 ~x1727+1 ~x1726-0=28670 26.23/26.32 c 8192 ~x720814+4096 ~x720813+2048 ~x720812+1024 ~x720811+512 ~x720810+256 ~x720809+128 ~x720808+64 ~x720807+32 ~x720806+16 ~x720805+8 ~x720804+4 ~x720803+2 ~x720802+1 ~x720801+8192 ~x1754+4096 ~x1753+2048 ~x1752+1024 ~x1751+512 ~x1750+256 ~x1749+128 ~x1748+64 ~x1747+32 ~x1746+16 ~x1745+8 ~x1744+4 ~x1743+2 ~x1742+1 ~x1741-0=28670 26.23/26.40 c 1024 ~x724139+512 ~x724138+256 ~x724137+128 ~x724136+64 ~x724135+32 ~x724134+16 ~x724133+8 ~x724132+4 ~x724131+2 ~x724130+1 ~x724129+1024 ~x1766+512 ~x1765+256 ~x1764+128 ~x1763+64 ~x1762+32 ~x1761+16 ~x1760+8 ~x1759+4 ~x1758+2 ~x1757+1 ~x1756-0=4094 26.33/26.45 c 8192 ~x725963+4096 ~x725962+2048 ~x725961+1024 ~x725960+512 ~x725959+256 ~x725958+128 ~x725957+64 ~x725956+32 ~x725955+16 ~x725954+8 ~x725953+4 ~x725952+2 ~x725951+1 ~x725950+8192 ~x1784+4096 ~x1783+2048 ~x1782+1024 ~x1781+512 ~x1780+256 ~x1779+128 ~x1778+64 ~x1777+32 ~x1776+16 ~x1775+8 ~x1774+4 ~x1773+2 ~x1772+1 ~x1771-0=28670 26.42/26.53 c 8192 ~x729291+4096 ~x729290+2048 ~x729289+1024 ~x729288+512 ~x729287+256 ~x729286+128 ~x729285+64 ~x729284+32 ~x729283+16 ~x729282+8 ~x729281+4 ~x729280+2 ~x729279+1 ~x729278+8192 ~x1799+4096 ~x1798+2048 ~x1797+1024 ~x1796+512 ~x1795+256 ~x1794+128 ~x1793+64 ~x1792+32 ~x1791+16 ~x1790+8 ~x1789+4 ~x1788+2 ~x1787+1 ~x1786-0=28670 26.52/26.60 c 8192 ~x732619+4096 ~x732618+2048 ~x732617+1024 ~x732616+512 ~x732615+256 ~x732614+128 ~x732613+64 ~x732612+32 ~x732611+16 ~x732610+8 ~x732609+4 ~x732608+2 ~x732607+1 ~x732606+8192 ~x1814+4096 ~x1813+2048 ~x1812+1024 ~x1811+512 ~x1810+256 ~x1809+128 ~x1808+64 ~x1807+32 ~x1806+16 ~x1805+8 ~x1804+4 ~x1803+2 ~x1802+1 ~x1801-0=26622 26.52/26.68 c 8192 ~x735947+4096 ~x735946+2048 ~x735945+1024 ~x735944+512 ~x735943+256 ~x735942+128 ~x735941+64 ~x735940+32 ~x735939+16 ~x735938+8 ~x735937+4 ~x735936+2 ~x735935+1 ~x735934+8192 ~x1829+4096 ~x1828+2048 ~x1827+1024 ~x1826+512 ~x1825+256 ~x1824+128 ~x1823+64 ~x1822+32 ~x1821+16 ~x1820+8 ~x1819+4 ~x1818+2 ~x1817+1 ~x1816-0=26622 26.63/26.76 c 8192 ~x739275+4096 ~x739274+2048 ~x739273+1024 ~x739272+512 ~x739271+256 ~x739270+128 ~x739269+64 ~x739268+32 ~x739267+16 ~x739266+8 ~x739265+4 ~x739264+2 ~x739263+1 ~x739262+8192 ~x1856+4096 ~x1855+2048 ~x1854+1024 ~x1853+512 ~x1852+256 ~x1851+128 ~x1850+64 ~x1849+32 ~x1848+16 ~x1847+8 ~x1846+4 ~x1845+2 ~x1844+1 ~x1843-0=26622 26.73/26.84 c 8192 ~x742603+4096 ~x742602+2048 ~x742601+1024 ~x742600+512 ~x742599+256 ~x742598+128 ~x742597+64 ~x742596+32 ~x742595+16 ~x742594+8 ~x742593+4 ~x742592+2 ~x742591+1 ~x742590+8192 ~x1871+4096 ~x1870+2048 ~x1869+1024 ~x1868+512 ~x1867+256 ~x1866+128 ~x1865+64 ~x1864+32 ~x1863+16 ~x1862+8 ~x1861+4 ~x1860+2 ~x1859+1 ~x1858-0=26622 26.82/26.91 c 8192 ~x745931+4096 ~x745930+2048 ~x745929+1024 ~x745928+512 ~x745927+256 ~x745926+128 ~x745925+64 ~x745924+32 ~x745923+16 ~x745922+8 ~x745921+4 ~x745920+2 ~x745919+1 ~x745918+8192 ~x1886+4096 ~x1885+2048 ~x1884+1024 ~x1883+512 ~x1882+256 ~x1881+128 ~x1880+64 ~x1879+32 ~x1878+16 ~x1877+8 ~x1876+4 ~x1875+2 ~x1874+1 ~x1873-0=26622 26.82/26.99 c 1024 ~x749256+512 ~x749255+256 ~x749254+128 ~x749253+64 ~x749252+32 ~x749251+16 ~x749250+8 ~x749249+4 ~x749248+2 ~x749247+1 ~x749246+1024 ~x1898+512 ~x1897+256 ~x1896+128 ~x1895+64 ~x1894+32 ~x1893+16 ~x1892+8 ~x1891+4 ~x1890+2 ~x1889+1 ~x1888-0=4094 26.92/27.04 c 8192 ~x751080+4096 ~x751079+2048 ~x751078+1024 ~x751077+512 ~x751076+256 ~x751075+128 ~x751074+64 ~x751073+32 ~x751072+16 ~x751071+8 ~x751070+4 ~x751069+2 ~x751068+1 ~x751067+8192 ~x1916+4096 ~x1915+2048 ~x1914+1024 ~x1913+512 ~x1912+256 ~x1911+128 ~x1910+64 ~x1909+32 ~x1908+16 ~x1907+8 ~x1906+4 ~x1905+2 ~x1904+1 ~x1903-0=26622 27.03/27.12 c 2147483648 ~x754426+1073741824 ~x754425+536870912 ~x754424+268435456 ~x754423+134217728 ~x754422+67108864 ~x754421+33554432 ~x754420+16777216 ~x754419+8388608 ~x754418+4194304 ~x754417+2097152 ~x754416+1048576 ~x754415+524288 ~x754414+262144 ~x754413+131072 ~x754412+65536 ~x754411+32768 ~x754410+16384 ~x754409+8192 ~x754408+4096 ~x754407+2048 ~x754406+1024 ~x754405+512 ~x754404+256 ~x754403+128 ~x754402+64 ~x754401+32 ~x754400+16 ~x754399+8 ~x754398+4 ~x754397+2 ~x754396+1 ~x754395+2000000000 ~x1928+1000000000 ~x1927+500000000 ~x1926+250000000 ~x1925+125000000 ~x1924+62500000 ~x1923+31250000 ~x1922+15625000 ~x1921+7812500 ~x1920+3906250 ~x1919+1953125 ~x1918-0=6531367282 27.33/27.43 c 2147483648 ~x768006+1073741824 ~x768005+536870912 ~x768004+268435456 ~x768003+134217728 ~x768002+67108864 ~x768001+33554432 ~x768000+16777216 ~x767999+8388608 ~x767998+4194304 ~x767997+2097152 ~x767996+1048576 ~x767995+524288 ~x767994+262144 ~x767993+131072 ~x767992+65536 ~x767991+32768 ~x767990+16384 ~x767989+8192 ~x767988+4096 ~x767987+2048 ~x767986+1024 ~x767985+512 ~x767984+256 ~x767983+128 ~x767982+64 ~x767981+32 ~x767980+16 ~x767979+8 ~x767978+4 ~x767977+2 ~x767976+1 ~x767975+2000000000 ~x1941+1000000000 ~x1940+500000000 ~x1939+250000000 ~x1938+125000000 ~x1937+62500000 ~x1936+31250000 ~x1935+15625000 ~x1934+7812500 ~x1933+3906250 ~x1932+1953125 ~x1931-0=6830533518 27.62/27.73 c 536870912 ~x781584+268435456 ~x781583+134217728 ~x781582+67108864 ~x781581+33554432 ~x781580+16777216 ~x781579+8388608 ~x781578+4194304 ~x781577+2097152 ~x781576+1048576 ~x781575+524288 ~x781574+262144 ~x781573+131072 ~x781572+65536 ~x781571+32768 ~x781570+16384 ~x781569+8192 ~x781568+4096 ~x781567+2048 ~x781566+1024 ~x781565+512 ~x781564+256 ~x781563+128 ~x781562+64 ~x781561+32 ~x781560+16 ~x781559+8 ~x781558+4 ~x781557+2 ~x781556+1 ~x781555+1000000000 ~x1953+500000000 ~x1952+250000000 ~x1951+125000000 ~x1950+62500000 ~x1949+31250000 ~x1948+15625000 ~x1947+7812500 ~x1946+3906250 ~x1945+1953125 ~x1944-0=2113476862 27.92/28.01 c 1073741824 ~x793721+536870912 ~x793720+268435456 ~x793719+134217728 ~x793718+67108864 ~x793717+33554432 ~x793716+16777216 ~x793715+8388608 ~x793714+4194304 ~x793713+2097152 ~x793712+1048576 ~x793711+524288 ~x793710+262144 ~x793709+131072 ~x793708+65536 ~x793707+32768 ~x793706+16384 ~x793705+8192 ~x793704+4096 ~x793703+2048 ~x793702+1024 ~x793701+512 ~x793700+256 ~x793699+128 ~x793698+64 ~x793697+32 ~x793696+16 ~x793695+8 ~x793694+4 ~x793693+2 ~x793692+1 ~x793691+1000000000 ~x1966+500000000 ~x1965+250000000 ~x1964+125000000 ~x1963+62500000 ~x1962+31250000 ~x1961+15625000 ~x1960+7812500 ~x1959+3906250 ~x1958+1953125 ~x1957-0=3512399378 28.22/28.31 c 1073741824 ~x806221+536870912 ~x806220+268435456 ~x806219+134217728 ~x806218+67108864 ~x806217+33554432 ~x806216+16777216 ~x806215+8388608 ~x806214+4194304 ~x806213+2097152 ~x806212+1048576 ~x806211+524288 ~x806210+262144 ~x806209+131072 ~x806208+65536 ~x806207+32768 ~x806206+16384 ~x806205+8192 ~x806204+4096 ~x806203+2048 ~x806202+1024 ~x806201+512 ~x806200+256 ~x806199+128 ~x806198+64 ~x806197+32 ~x806196+16 ~x806195+8 ~x806194+4 ~x806193+2 ~x806192+1 ~x806191+1000000000 ~x1979+500000000 ~x1978+250000000 ~x1977+125000000 ~x1976+62500000 ~x1975+31250000 ~x1974+15625000 ~x1973+7812500 ~x1972+3906250 ~x1971+1953125 ~x1970-0=3404005814 28.42/28.60 c 268435456 ~x818719+134217728 ~x818718+67108864 ~x818717+33554432 ~x818716+16777216 ~x818715+8388608 ~x818714+4194304 ~x818713+2097152 ~x818712+1048576 ~x818711+524288 ~x818710+262144 ~x818709+131072 ~x818708+65536 ~x818707+32768 ~x818706+16384 ~x818705+8192 ~x818704+4096 ~x818703+2048 ~x818702+1024 ~x818701+512 ~x818700+256 ~x818699+128 ~x818698+64 ~x818697+32 ~x818696+16 ~x818695+8 ~x818694+4 ~x818693+2 ~x818692+1 ~x818691+400000000 ~x2005+200000000 ~x2004+100000000 ~x2003+50000000 ~x2002+25000000 ~x2001+12500000 ~x2000+6250000 ~x1999+3125000 ~x1998+1562500 ~x1997+781250 ~x1996+390625 ~x1995-0=1024039740 28.71/28.84 c 1073741824 ~x829453+536870912 ~x829452+268435456 ~x829451+134217728 ~x829450+67108864 ~x829449+33554432 ~x829448+16777216 ~x829447+8388608 ~x829446+4194304 ~x829445+2097152 ~x829444+1048576 ~x829443+524288 ~x829442+262144 ~x829441+131072 ~x829440+65536 ~x829439+32768 ~x829438+16384 ~x829437+8192 ~x829436+4096 ~x829435+2048 ~x829434+1024 ~x829433+512 ~x829432+256 ~x829431+128 ~x829430+64 ~x829429+32 ~x829428+16 ~x829427+8 ~x829426+4 ~x829425+2 ~x829424+1 ~x829423+1000000000 ~x2017+500000000 ~x2016+250000000 ~x2015+125000000 ~x2014+62500000 ~x2013+31250000 ~x2012+15625000 ~x2011+7812500 ~x2010+3906250 ~x2009+1953125 ~x2008-0=3404005814 29.02/29.12 c 1073741824 ~x841953+536870912 ~x841952+268435456 ~x841951+134217728 ~x841950+67108864 ~x841949+33554432 ~x841948+16777216 ~x841947+8388608 ~x841946+4194304 ~x841945+2097152 ~x841944+1048576 ~x841943+524288 ~x841942+262144 ~x841941+131072 ~x841940+65536 ~x841939+32768 ~x841938+16384 ~x841937+8192 ~x841936+4096 ~x841935+2048 ~x841934+1024 ~x841933+512 ~x841932+256 ~x841931+128 ~x841930+64 ~x841929+32 ~x841928+16 ~x841927+8 ~x841926+4 ~x841925+2 ~x841924+1 ~x841923+1000000000 ~x2030+500000000 ~x2029+250000000 ~x2028+125000000 ~x2027+62500000 ~x2026+31250000 ~x2025+15625000 ~x2024+7812500 ~x2023+3906250 ~x2022+1953125 ~x2021-0=4054367198 29.32/29.40 c 1048576 ~x854443+524288 ~x854442+262144 ~x854441+131072 ~x854440+65536 ~x854439+32768 ~x854438+16384 ~x854437+8192 ~x854436+4096 ~x854435+2048 ~x854434+1024 ~x854433+512 ~x854432+256 ~x854431+128 ~x854430+64 ~x854429+32 ~x854428+16 ~x854427+8 ~x854426+4 ~x854425+2 ~x854424+1 ~x854423+1024000 ~x2047+512000 ~x2046+256000 ~x2045+128000 ~x2044+64000 ~x2043+32000 ~x2042+16000 ~x2041+8000 ~x2040+4000 ~x2039+2000 ~x2038+1000 ~x2037+500 ~x2036+250 ~x2035+125 ~x2034-0=3772418 29.41/29.54 c 1073741824 ~x860526+536870912 ~x860525+268435456 ~x860524+134217728 ~x860523+67108864 ~x860522+33554432 ~x860521+16777216 ~x860520+8388608 ~x860519+4194304 ~x860518+2097152 ~x860517+1048576 ~x860516+524288 ~x860515+262144 ~x860514+131072 ~x860513+65536 ~x860512+32768 ~x860511+16384 ~x860510+8192 ~x860509+4096 ~x860508+2048 ~x860507+1024 ~x860506+512 ~x860505+256 ~x860504+128 ~x860503+64 ~x860502+32 ~x860501+16 ~x860500+8 ~x860499+4 ~x860498+2 ~x860497+1 ~x860496+1000000000 ~x2058+500000000 ~x2057+250000000 ~x2056+125000000 ~x2055+62500000 ~x2054+31250000 ~x2053+15625000 ~x2052+7812500 ~x2051+3906250 ~x2050+1953125 ~x2049-0=3975385060 29.72/29.83 c 1073741824 ~x873026+536870912 ~x873025+268435456 ~x873024+134217728 ~x873023+67108864 ~x873022+33554432 ~x873021+16777216 ~x873020+8388608 ~x873019+4194304 ~x873018+2097152 ~x873017+1048576 ~x873016+524288 ~x873015+262144 ~x873014+131072 ~x873013+65536 ~x873012+32768 ~x873011+16384 ~x873010+8192 ~x873009+4096 ~x873008+2048 ~x873007+1024 ~x873006+512 ~x873005+256 ~x873004+128 ~x873003+64 ~x873002+32 ~x873001+16 ~x873000+8 ~x872999+4 ~x872998+2 ~x872997+1 ~x872996+1000000000 ~x2069+500000000 ~x2068+250000000 ~x2067+125000000 ~x2066+62500000 ~x2065+31250000 ~x2064+15625000 ~x2063+7812500 ~x2062+3906250 ~x2061+1953125 ~x2060-0=3975385060 30.01/30.11 c 536870912 ~x885525+268435456 ~x885524+134217728 ~x885523+67108864 ~x885522+33554432 ~x885521+16777216 ~x885520+8388608 ~x885519+4194304 ~x885518+2097152 ~x885517+1048576 ~x885516+524288 ~x885515+262144 ~x885514+131072 ~x885513+65536 ~x885512+32768 ~x885511+16384 ~x885510+8192 ~x885509+4096 ~x885508+2048 ~x885507+1024 ~x885506+512 ~x885505+256 ~x885504+128 ~x885503+64 ~x885502+32 ~x885501+16 ~x885500+8 ~x885499+4 ~x885498+2 ~x885497+1 ~x885496+1000000000 ~x2080+500000000 ~x2079+250000000 ~x2078+125000000 ~x2077+62500000 ~x2076+31250000 ~x2075+15625000 ~x2074+7812500 ~x2073+3906250 ~x2072+1953125 ~x2071-0=2121333132 30.22/30.39 c 536870912 ~x897661+268435456 ~x897660+134217728 ~x897659+67108864 ~x897658+33554432 ~x897657+16777216 ~x897656+8388608 ~x897655+4194304 ~x897654+2097152 ~x897653+1048576 ~x897652+524288 ~x897651+262144 ~x897650+131072 ~x897649+65536 ~x897648+32768 ~x897647+16384 ~x897646+8192 ~x897645+4096 ~x897644+2048 ~x897643+1024 ~x897642+512 ~x897641+256 ~x897640+128 ~x897639+64 ~x897638+32 ~x897637+16 ~x897636+8 ~x897635+4 ~x897634+2 ~x897633+1 ~x897632+1000000000 ~x2091+500000000 ~x2090+250000000 ~x2089+125000000 ~x2088+62500000 ~x2087+31250000 ~x2086+15625000 ~x2085+7812500 ~x2084+3906250 ~x2083+1953125 ~x2082-0=2121333132 30.51/30.66 c 16777216 ~x909792+8388608 ~x909791+4194304 ~x909790+2097152 ~x909789+1048576 ~x909788+524288 ~x909787+262144 ~x909786+131072 ~x909785+65536 ~x909784+32768 ~x909783+16384 ~x909782+8192 ~x909781+4096 ~x909780+2048 ~x909779+1024 ~x909778+512 ~x909777+256 ~x909776+128 ~x909775+64 ~x909774+32 ~x909773+16 ~x909772+8 ~x909771+4 ~x909770+2 ~x909769+1 ~x909768+25000000 ~x2099+12500000 ~x2098+6250000 ~x2097+3125000 ~x2096+1562500 ~x2095+781250 ~x2094+390625 ~x2093-0=60676152 30.73/30.82 c 33554432 ~x916593+16777216 ~x916592+8388608 ~x916591+4194304 ~x916590+2097152 ~x916589+1048576 ~x916588+524288 ~x916587+262144 ~x916586+131072 ~x916585+65536 ~x916584+32768 ~x916583+16384 ~x916582+8192 ~x916581+4096 ~x916580+2048 ~x916579+1024 ~x916578+512 ~x916577+256 ~x916576+128 ~x916575+64 ~x916574+32 ~x916573+16 ~x916572+8 ~x916571+4 ~x916570+2 ~x916569+1 ~x916568+25000000 ~x2109+12500000 ~x2108+6250000 ~x2107+3125000 ~x2106+1562500 ~x2105+781250 ~x2104+390625 ~x2103-0=102328142 30.92/31.01 c 16777216 ~x924742+8388608 ~x924741+4194304 ~x924740+2097152 ~x924739+1048576 ~x924738+524288 ~x924737+262144 ~x924736+131072 ~x924735+65536 ~x924734+32768 ~x924733+16384 ~x924732+8192 ~x924731+4096 ~x924730+2048 ~x924729+1024 ~x924728+512 ~x924727+256 ~x924726+128 ~x924725+64 ~x924724+32 ~x924723+16 ~x924722+8 ~x924721+4 ~x924720+2 ~x924719+1 ~x924718+25000000 ~x2144+12500000 ~x2143+6250000 ~x2142+3125000 ~x2141+1562500 ~x2140+781250 ~x2139+390625 ~x2138-0=60676152 31.01/31.16 c 33554432 ~x931543+16777216 ~x931542+8388608 ~x931541+4194304 ~x931540+2097152 ~x931539+1048576 ~x931538+524288 ~x931537+262144 ~x931536+131072 ~x931535+65536 ~x931534+32768 ~x931533+16384 ~x931532+8192 ~x931531+4096 ~x931530+2048 ~x931529+1024 ~x931528+512 ~x931527+256 ~x931526+128 ~x931525+64 ~x931524+32 ~x931523+16 ~x931522+8 ~x931521+4 ~x931520+2 ~x931519+1 ~x931518+25000000 ~x2154+12500000 ~x2153+6250000 ~x2152+3125000 ~x2151+1562500 ~x2150+781250 ~x2149+390625 ~x2148-0=102328142 31.22/31.35 c 1073741824 ~x939698+536870912 ~x939697+268435456 ~x939696+134217728 ~x939695+67108864 ~x939694+33554432 ~x939693+16777216 ~x939692+8388608 ~x939691+4194304 ~x939690+2097152 ~x939689+1048576 ~x939688+524288 ~x939687+262144 ~x939686+131072 ~x939685+65536 ~x939684+32768 ~x939683+16384 ~x939682+8192 ~x939681+4096 ~x939680+2048 ~x939679+1024 ~x939678+512 ~x939677+256 ~x939676+128 ~x939675+64 ~x939674+32 ~x939673+16 ~x939672+8 ~x939671+4 ~x939670+2 ~x939669+1 ~x939668+1000000000 ~x2167+500000000 ~x2166+250000000 ~x2165+125000000 ~x2164+62500000 ~x2163+31250000 ~x2162+15625000 ~x2161+7812500 ~x2160+3906250 ~x2159+1953125 ~x2158-0=3942994830 31.51/31.64 c 16777216 ~x952192+8388608 ~x952191+4194304 ~x952190+2097152 ~x952189+1048576 ~x952188+524288 ~x952187+262144 ~x952186+131072 ~x952185+65536 ~x952184+32768 ~x952183+16384 ~x952182+8192 ~x952181+4096 ~x952180+2048 ~x952179+1024 ~x952178+512 ~x952177+256 ~x952176+128 ~x952175+64 ~x952174+32 ~x952173+16 ~x952172+8 ~x952171+4 ~x952170+2 ~x952169+1 ~x952168+25000000 ~x2175+12500000 ~x2174+6250000 ~x2173+3125000 ~x2172+1562500 ~x2171+781250 ~x2170+390625 ~x2169-0=66074524 31.61/31.79 c 16777216 ~x958992+8388608 ~x958991+4194304 ~x958990+2097152 ~x958989+1048576 ~x958988+524288 ~x958987+262144 ~x958986+131072 ~x958985+65536 ~x958984+32768 ~x958983+16384 ~x958982+8192 ~x958981+4096 ~x958980+2048 ~x958979+1024 ~x958978+512 ~x958977+256 ~x958976+128 ~x958975+64 ~x958974+32 ~x958973+16 ~x958972+8 ~x958971+4 ~x958970+2 ~x958969+1 ~x958968+25000000 ~x2185+12500000 ~x2184+6250000 ~x2183+3125000 ~x2182+1562500 ~x2181+781250 ~x2180+390625 ~x2179-0=66074524 31.83/31.95 c 16777216 ~x965792+8388608 ~x965791+4194304 ~x965790+2097152 ~x965789+1048576 ~x965788+524288 ~x965787+262144 ~x965786+131072 ~x965785+65536 ~x965784+32768 ~x965783+16384 ~x965782+8192 ~x965781+4096 ~x965780+2048 ~x965779+1024 ~x965778+512 ~x965777+256 ~x965776+128 ~x965775+64 ~x965774+32 ~x965773+16 ~x965772+8 ~x965771+4 ~x965770+2 ~x965769+1 ~x965768+25000000 ~x2195+12500000 ~x2194+6250000 ~x2193+3125000 ~x2192+1562500 ~x2191+781250 ~x2190+390625 ~x2189-0=66074524 32.01/32.10 c 134217728 ~x972595+67108864 ~x972594+33554432 ~x972593+16777216 ~x972592+8388608 ~x972591+4194304 ~x972590+2097152 ~x972589+1048576 ~x972588+524288 ~x972587+262144 ~x972586+131072 ~x972585+65536 ~x972584+32768 ~x972583+16384 ~x972582+8192 ~x972581+4096 ~x972580+2048 ~x972579+1024 ~x972578+512 ~x972577+256 ~x972576+128 ~x972575+64 ~x972574+32 ~x972573+16 ~x972572+8 ~x972571+4 ~x972570+2 ~x972569+1 ~x972568+125000000 ~x2205+62500000 ~x2204+31250000 ~x2203+15625000 ~x2202+7812500 ~x2201+3906250 ~x2200+1953125 ~x2199-0=493117196 32.22/32.31 c 134217728 ~x981652+67108864 ~x981651+33554432 ~x981650+16777216 ~x981649+8388608 ~x981648+4194304 ~x981647+2097152 ~x981646+1048576 ~x981645+524288 ~x981644+262144 ~x981643+131072 ~x981642+65536 ~x981641+32768 ~x981640+16384 ~x981639+8192 ~x981638+4096 ~x981637+2048 ~x981636+1024 ~x981635+512 ~x981634+256 ~x981633+128 ~x981632+64 ~x981631+32 ~x981630+16 ~x981629+8 ~x981628+4 ~x981627+2 ~x981626+1 ~x981625+125000000 ~x2215+62500000 ~x2214+31250000 ~x2213+15625000 ~x2212+7812500 ~x2211+3906250 ~x2210+1953125 ~x2209-0=512011496 32.41/32.52 c 134217728 ~x990709+67108864 ~x990708+33554432 ~x990707+16777216 ~x990706+8388608 ~x990705+4194304 ~x990704+2097152 ~x990703+1048576 ~x990702+524288 ~x990701+262144 ~x990700+131072 ~x990699+65536 ~x990698+32768 ~x990697+16384 ~x990696+8192 ~x990695+4096 ~x990694+2048 ~x990693+1024 ~x990692+512 ~x990691+256 ~x990690+128 ~x990689+64 ~x990688+32 ~x990687+16 ~x990686+8 ~x990685+4 ~x990684+2 ~x990683+1 ~x990682+250000000 ~x2226+125000000 ~x2225+62500000 ~x2224+31250000 ~x2223+15625000 ~x2222+7812500 ~x2221+3906250 ~x2220+1953125 ~x2219-0=520109054 32.62/32.73 c 1073741824 ~x1000072+536870912 ~x1000071+268435456 ~x1000070+134217728 ~x1000069+67108864 ~x1000068+33554432 ~x1000067+16777216 ~x1000066+8388608 ~x1000065+4194304 ~x1000064+2097152 ~x1000063+1048576 ~x1000062+524288 ~x1000061+262144 ~x1000060+131072 ~x1000059+65536 ~x1000058+32768 ~x1000057+16384 ~x1000056+8192 ~x1000055+4096 ~x1000054+2048 ~x1000053+1024 ~x1000052+512 ~x1000051+256 ~x1000050+128 ~x1000049+64 ~x1000048+32 ~x1000047+16 ~x1000046+8 ~x1000045+4 ~x1000044+2 ~x1000043+1 ~x1000042+1000000000 ~x2238+500000000 ~x2237+250000000 ~x2236+125000000 ~x2235+62500000 ~x2234+31250000 ~x2233+15625000 ~x2232+7812500 ~x2231+3906250 ~x2230+1953125 ~x2229-0=3969601090 32.92/33.04 c 134217728 ~x1012569+67108864 ~x1012568+33554432 ~x1012567+16777216 ~x1012566+8388608 ~x1012565+4194304 ~x1012564+2097152 ~x1012563+1048576 ~x1012562+524288 ~x1012561+262144 ~x1012560+131072 ~x1012559+65536 ~x1012558+32768 ~x1012557+16384 ~x1012556+8192 ~x1012555+4096 ~x1012554+2048 ~x1012553+1024 ~x1012552+512 ~x1012551+256 ~x1012550+128 ~x1012549+64 ~x1012548+32 ~x1012547+16 ~x1012546+8 ~x1012545+4 ~x1012544+2 ~x1012543+1 ~x1012542+250000000 ~x2260+125000000 ~x2259+62500000 ~x2258+31250000 ~x2257+15625000 ~x2256+7812500 ~x2255+3906250 ~x2254+1953125 ~x2253-0=520109054 33.12/33.25 c 1073741824 ~x1021932+536870912 ~x1021931+268435456 ~x1021930+134217728 ~x1021929+67108864 ~x1021928+33554432 ~x1021927+16777216 ~x1021926+8388608 ~x1021925+4194304 ~x1021924+2097152 ~x1021923+1048576 ~x1021922+524288 ~x1021921+262144 ~x1021920+131072 ~x1021919+65536 ~x1021918+32768 ~x1021917+16384 ~x1021916+8192 ~x1021915+4096 ~x1021914+2048 ~x1021913+1024 ~x1021912+512 ~x1021911+256 ~x1021910+128 ~x1021909+64 ~x1021908+32 ~x1021907+16 ~x1021906+8 ~x1021905+4 ~x1021904+2 ~x1021903+1 ~x1021902+1000000000 ~x2272+500000000 ~x2271+250000000 ~x2270+125000000 ~x2269+62500000 ~x2268+31250000 ~x2267+15625000 ~x2266+7812500 ~x2265+3906250 ~x2264+1953125 ~x2263-0=3975385060 33.41/33.53 c 134217728 ~x1034429+67108864 ~x1034428+33554432 ~x1034427+16777216 ~x1034426+8388608 ~x1034425+4194304 ~x1034424+2097152 ~x1034423+1048576 ~x1034422+524288 ~x1034421+262144 ~x1034420+131072 ~x1034419+65536 ~x1034418+32768 ~x1034417+16384 ~x1034416+8192 ~x1034415+4096 ~x1034414+2048 ~x1034413+1024 ~x1034412+512 ~x1034411+256 ~x1034410+128 ~x1034409+64 ~x1034408+32 ~x1034407+16 ~x1034406+8 ~x1034405+4 ~x1034404+2 ~x1034403+1 ~x1034402+250000000 ~x2281+125000000 ~x2280+62500000 ~x2279+31250000 ~x2278+15625000 ~x2277+7812500 ~x2276+3906250 ~x2275+1953125 ~x2274-0=520109054 33.61/33.74 c 1024 ~x1043772+512 ~x1043771+256 ~x1043770+128 ~x1043769+64 ~x1043768+32 ~x1043767+16 ~x1043766+8 ~x1043765+4 ~x1043764+2 ~x1043763+1 ~x1043762+1024 ~x2294+512 ~x2293+256 ~x2292+128 ~x2291+64 ~x2290+32 ~x2289+16 ~x2288+8 ~x2287+4 ~x2286+2 ~x2285+1 ~x2284-0=4094 33.61/33.79 c 8192 ~x1045596+4096 ~x1045595+2048 ~x1045594+1024 ~x1045593+512 ~x1045592+256 ~x1045591+128 ~x1045590+64 ~x1045589+32 ~x1045588+16 ~x1045587+8 ~x1045586+4 ~x1045585+2 ~x1045584+1 ~x1045583+8192 ~x2309+4096 ~x2308+2048 ~x2307+1024 ~x2306+512 ~x2305+256 ~x2304+128 ~x2303+64 ~x2302+32 ~x2301+16 ~x2300+8 ~x2299+4 ~x2298+2 ~x2297+1 ~x2296-0=26622 33.71/33.86 c 8192 ~x1048924+4096 ~x1048923+2048 ~x1048922+1024 ~x1048921+512 ~x1048920+256 ~x1048919+128 ~x1048918+64 ~x1048917+32 ~x1048916+16 ~x1048915+8 ~x1048914+4 ~x1048913+2 ~x1048912+1 ~x1048911+8192 ~x2324+4096 ~x2323+2048 ~x2322+1024 ~x2321+512 ~x2320+256 ~x2319+128 ~x2318+64 ~x2317+32 ~x2316+16 ~x2315+8 ~x2314+4 ~x2313+2 ~x2312+1 ~x2311-0=26622 33.81/33.94 c 8192 ~x1052252+4096 ~x1052251+2048 ~x1052250+1024 ~x1052249+512 ~x1052248+256 ~x1052247+128 ~x1052246+64 ~x1052245+32 ~x1052244+16 ~x1052243+8 ~x1052242+4 ~x1052241+2 ~x1052240+1 ~x1052239+8192 ~x2339+4096 ~x2338+2048 ~x2337+1024 ~x2336+512 ~x2335+256 ~x2334+128 ~x2333+64 ~x2332+32 ~x2331+16 ~x2330+8 ~x2329+4 ~x2328+2 ~x2327+1 ~x2326-0=26622 33.92/34.02 c 8192 ~x1055580+4096 ~x1055579+2048 ~x1055578+1024 ~x1055577+512 ~x1055576+256 ~x1055575+128 ~x1055574+64 ~x1055573+32 ~x1055572+16 ~x1055571+8 ~x1055570+4 ~x1055569+2 ~x1055568+1 ~x1055567+8192 ~x2354+4096 ~x2353+2048 ~x2352+1024 ~x2351+512 ~x2350+256 ~x2349+128 ~x2348+64 ~x2347+32 ~x2346+16 ~x2345+8 ~x2344+4 ~x2343+2 ~x2342+1 ~x2341-0=26622 33.92/34.10 c 8192 ~x1058908+4096 ~x1058907+2048 ~x1058906+1024 ~x1058905+512 ~x1058904+256 ~x1058903+128 ~x1058902+64 ~x1058901+32 ~x1058900+16 ~x1058899+8 ~x1058898+4 ~x1058897+2 ~x1058896+1 ~x1058895+8192 ~x2369+4096 ~x2368+2048 ~x2367+1024 ~x2366+512 ~x2365+256 ~x2364+128 ~x2363+64 ~x2362+32 ~x2361+16 ~x2360+8 ~x2359+4 ~x2358+2 ~x2357+1 ~x2356-0=28670 34.03/34.17 c 8192 ~x1062236+4096 ~x1062235+2048 ~x1062234+1024 ~x1062233+512 ~x1062232+256 ~x1062231+128 ~x1062230+64 ~x1062229+32 ~x1062228+16 ~x1062227+8 ~x1062226+4 ~x1062225+2 ~x1062224+1 ~x1062223+8192 ~x2384+4096 ~x2383+2048 ~x2382+1024 ~x2381+512 ~x2380+256 ~x2379+128 ~x2378+64 ~x2377+32 ~x2376+16 ~x2375+8 ~x2374+4 ~x2373+2 ~x2372+1 ~x2371-0=28670 34.12/34.25 c 8192 ~x1065564+4096 ~x1065563+2048 ~x1065562+1024 ~x1065561+512 ~x1065560+256 ~x1065559+128 ~x1065558+64 ~x1065557+32 ~x1065556+16 ~x1065555+8 ~x1065554+4 ~x1065553+2 ~x1065552+1 ~x1065551+8192 ~x2412+4096 ~x2411+2048 ~x2410+1024 ~x2409+512 ~x2408+256 ~x2407+128 ~x2406+64 ~x2405+32 ~x2404+16 ~x2403+8 ~x2402+4 ~x2401+2 ~x2400+1 ~x2399-0=28670 34.21/34.33 c 8192 ~x1068892+4096 ~x1068891+2048 ~x1068890+1024 ~x1068889+512 ~x1068888+256 ~x1068887+128 ~x1068886+64 ~x1068885+32 ~x1068884+16 ~x1068883+8 ~x1068882+4 ~x1068881+2 ~x1068880+1 ~x1068879+8192 ~x2427+4096 ~x2426+2048 ~x2425+1024 ~x2424+512 ~x2423+256 ~x2422+128 ~x2421+64 ~x2420+32 ~x2419+16 ~x2418+8 ~x2417+4 ~x2416+2 ~x2415+1 ~x2414-0=28670 34.31/34.41 c 8192 ~x1072220+4096 ~x1072219+2048 ~x1072218+1024 ~x1072217+512 ~x1072216+256 ~x1072215+128 ~x1072214+64 ~x1072213+32 ~x1072212+16 ~x1072211+8 ~x1072210+4 ~x1072209+2 ~x1072208+1 ~x1072207+8192 ~x2442+4096 ~x2441+2048 ~x2440+1024 ~x2439+512 ~x2438+256 ~x2437+128 ~x2436+64 ~x2435+32 ~x2434+16 ~x2433+8 ~x2432+4 ~x2431+2 ~x2430+1 ~x2429-0=26622 34.31/34.49 c 8192 ~x1075548+4096 ~x1075547+2048 ~x1075546+1024 ~x1075545+512 ~x1075544+256 ~x1075543+128 ~x1075542+64 ~x1075541+32 ~x1075540+16 ~x1075539+8 ~x1075538+4 ~x1075537+2 ~x1075536+1 ~x1075535+8192 ~x2457+4096 ~x2456+2048 ~x2455+1024 ~x2454+512 ~x2453+256 ~x2452+128 ~x2451+64 ~x2450+32 ~x2449+16 ~x2448+8 ~x2447+4 ~x2446+2 ~x2445+1 ~x2444-0=28670 34.42/34.56 c 8192 ~x1078876+4096 ~x1078875+2048 ~x1078874+1024 ~x1078873+512 ~x1078872+256 ~x1078871+128 ~x1078870+64 ~x1078869+32 ~x1078868+16 ~x1078867+8 ~x1078866+4 ~x1078865+2 ~x1078864+1 ~x1078863+8192 ~x2472+4096 ~x2471+2048 ~x2470+1024 ~x2469+512 ~x2468+256 ~x2467+128 ~x2466+64 ~x2465+32 ~x2464+16 ~x2463+8 ~x2462+4 ~x2461+2 ~x2460+1 ~x2459-0=28670 34.51/34.64 c 8192 ~x1082204+4096 ~x1082203+2048 ~x1082202+1024 ~x1082201+512 ~x1082200+256 ~x1082199+128 ~x1082198+64 ~x1082197+32 ~x1082196+16 ~x1082195+8 ~x1082194+4 ~x1082193+2 ~x1082192+1 ~x1082191+8192 ~x2487+4096 ~x2486+2048 ~x2485+1024 ~x2484+512 ~x2483+256 ~x2482+128 ~x2481+64 ~x2480+32 ~x2479+16 ~x2478+8 ~x2477+4 ~x2476+2 ~x2475+1 ~x2474-0=28670 34.61/34.72 c 8192 ~x1085532+4096 ~x1085531+2048 ~x1085530+1024 ~x1085529+512 ~x1085528+256 ~x1085527+128 ~x1085526+64 ~x1085525+32 ~x1085524+16 ~x1085523+8 ~x1085522+4 ~x1085521+2 ~x1085520+1 ~x1085519+8192 ~x2502+4096 ~x2501+2048 ~x2500+1024 ~x2499+512 ~x2498+256 ~x2497+128 ~x2496+64 ~x2495+32 ~x2494+16 ~x2493+8 ~x2492+4 ~x2491+2 ~x2490+1 ~x2489-0=28670 34.71/34.80 c 8192 ~x1088860+4096 ~x1088859+2048 ~x1088858+1024 ~x1088857+512 ~x1088856+256 ~x1088855+128 ~x1088854+64 ~x1088853+32 ~x1088852+16 ~x1088851+8 ~x1088850+4 ~x1088849+2 ~x1088848+1 ~x1088847+8192 ~x2517+4096 ~x2516+2048 ~x2515+1024 ~x2514+512 ~x2513+256 ~x2512+128 ~x2511+64 ~x2510+32 ~x2509+16 ~x2508+8 ~x2507+4 ~x2506+2 ~x2505+1 ~x2504-0=26622 34.71/34.88 c 2048 ~x1092186+1024 ~x1092185+512 ~x1092184+256 ~x1092183+128 ~x1092182+64 ~x1092181+32 ~x1092180+16 ~x1092179+8 ~x1092178+4 ~x1092177+2 ~x1092176+1 ~x1092175+2048 ~x2530+1024 ~x2529+512 ~x2528+256 ~x2527+128 ~x2526+64 ~x2525+32 ~x2524+16 ~x2523+8 ~x2522+4 ~x2521+2 ~x2520+1 ~x2519-0=8190 34.81/34.93 c 2048 ~x1094418+1024 ~x1094417+512 ~x1094416+256 ~x1094415+128 ~x1094414+64 ~x1094413+32 ~x1094412+16 ~x1094411+8 ~x1094410+4 ~x1094409+2 ~x1094408+1 ~x1094407+2048 ~x2543+1024 ~x2542+512 ~x2541+256 ~x2540+128 ~x2539+64 ~x2538+32 ~x2537+16 ~x2536+8 ~x2535+4 ~x2534+2 ~x2533+1 ~x2532-0=8190 34.81/34.98 c 2048 ~x1096650+1024 ~x1096649+512 ~x1096648+256 ~x1096647+128 ~x1096646+64 ~x1096645+32 ~x1096644+16 ~x1096643+8 ~x1096642+4 ~x1096641+2 ~x1096640+1 ~x1096639+2048 ~x2569+1024 ~x2568+512 ~x2567+256 ~x2566+128 ~x2565+64 ~x2564+32 ~x2563+16 ~x2562+8 ~x2561+4 ~x2560+2 ~x2559+1 ~x2558-0=8190 34.92/35.04 c 2048 ~x1098882+1024 ~x1098881+512 ~x1098880+256 ~x1098879+128 ~x1098878+64 ~x1098877+32 ~x1098876+16 ~x1098875+8 ~x1098874+4 ~x1098873+2 ~x1098872+1 ~x1098871+2048 ~x2582+1024 ~x2581+512 ~x2580+256 ~x2579+128 ~x2578+64 ~x2577+32 ~x2576+16 ~x2575+8 ~x2574+4 ~x2573+2 ~x2572+1 ~x2571-0=8190 34.92/35.09 c 2048 ~x1101114+1024 ~x1101113+512 ~x1101112+256 ~x1101111+128 ~x1101110+64 ~x1101109+32 ~x1101108+16 ~x1101107+8 ~x1101106+4 ~x1101105+2 ~x1101104+1 ~x1101103+2048 ~x2595+1024 ~x2594+512 ~x2593+256 ~x2592+128 ~x2591+64 ~x2590+32 ~x2589+16 ~x2588+8 ~x2587+4 ~x2586+2 ~x2585+1 ~x2584-0=8190 35.02/35.14 c 2048 ~x1103346+1024 ~x1103345+512 ~x1103344+256 ~x1103343+128 ~x1103342+64 ~x1103341+32 ~x1103340+16 ~x1103339+8 ~x1103338+4 ~x1103337+2 ~x1103336+1 ~x1103335+2048 ~x2608+1024 ~x2607+512 ~x2606+256 ~x2605+128 ~x2604+64 ~x2603+32 ~x2602+16 ~x2601+8 ~x2600+4 ~x2599+2 ~x2598+1 ~x2597-0=8190 35.02/35.19 c 2048 ~x1105578+1024 ~x1105577+512 ~x1105576+256 ~x1105575+128 ~x1105574+64 ~x1105573+32 ~x1105572+16 ~x1105571+8 ~x1105570+4 ~x1105569+2 ~x1105568+1 ~x1105567+2048 ~x2621+1024 ~x2620+512 ~x2619+256 ~x2618+128 ~x2617+64 ~x2616+32 ~x2615+16 ~x2614+8 ~x2613+4 ~x2612+2 ~x2611+1 ~x2610-0=8190 35.12/35.25 c 2048 ~x1107810+1024 ~x1107809+512 ~x1107808+256 ~x1107807+128 ~x1107806+64 ~x1107805+32 ~x1107804+16 ~x1107803+8 ~x1107802+4 ~x1107801+2 ~x1107800+1 ~x1107799+2048 ~x2634+1024 ~x2633+512 ~x2632+256 ~x2631+128 ~x2630+64 ~x2629+32 ~x2628+16 ~x2627+8 ~x2626+4 ~x2625+2 ~x2624+1 ~x2623-0=8190 35.21/35.30 c 2048 ~x1110042+1024 ~x1110041+512 ~x1110040+256 ~x1110039+128 ~x1110038+64 ~x1110037+32 ~x1110036+16 ~x1110035+8 ~x1110034+4 ~x1110033+2 ~x1110032+1 ~x1110031+2048 ~x2647+1024 ~x2646+512 ~x2645+256 ~x2644+128 ~x2643+64 ~x2642+32 ~x2641+16 ~x2640+8 ~x2639+4 ~x2638+2 ~x2637+1 ~x2636-0=8190 35.21/35.35 c 2048 ~x1112274+1024 ~x1112273+512 ~x1112272+256 ~x1112271+128 ~x1112270+64 ~x1112269+32 ~x1112268+16 ~x1112267+8 ~x1112266+4 ~x1112265+2 ~x1112264+1 ~x1112263+2048 ~x2660+1024 ~x2659+512 ~x2658+256 ~x2657+128 ~x2656+64 ~x2655+32 ~x2654+16 ~x2653+8 ~x2652+4 ~x2651+2 ~x2650+1 ~x2649-0=8190 35.32/35.40 c 2048 ~x1114506+1024 ~x1114505+512 ~x1114504+256 ~x1114503+128 ~x1114502+64 ~x1114501+32 ~x1114500+16 ~x1114499+8 ~x1114498+4 ~x1114497+2 ~x1114496+1 ~x1114495+2048 ~x2673+1024 ~x2672+512 ~x2671+256 ~x2670+128 ~x2669+64 ~x2668+32 ~x2667+16 ~x2666+8 ~x2665+4 ~x2664+2 ~x2663+1 ~x2662-0=8190 35.32/35.45 c 2048 ~x1116738+1024 ~x1116737+512 ~x1116736+256 ~x1116735+128 ~x1116734+64 ~x1116733+32 ~x1116732+16 ~x1116731+8 ~x1116730+4 ~x1116729+2 ~x1116728+1 ~x1116727+2048 ~x2686+1024 ~x2685+512 ~x2684+256 ~x2683+128 ~x2682+64 ~x2681+32 ~x2680+16 ~x2679+8 ~x2678+4 ~x2677+2 ~x2676+1 ~x2675-0=8190 35.42/35.51 c 1024 ~x1118969+512 ~x1118968+256 ~x1118967+128 ~x1118966+64 ~x1118965+32 ~x1118964+16 ~x1118963+8 ~x1118962+4 ~x1118961+2 ~x1118960+1 ~x1118959+1024 ~x2711+512 ~x2710+256 ~x2709+128 ~x2708+64 ~x2707+32 ~x2706+16 ~x2705+8 ~x2704+4 ~x2703+2 ~x2702+1 ~x2701-0=4094 35.42/35.55 c 1024 ~x1120790+512 ~x1120789+256 ~x1120788+128 ~x1120787+64 ~x1120786+32 ~x1120785+16 ~x1120784+8 ~x1120783+4 ~x1120782+2 ~x1120781+1 ~x1120780+1024 ~x2724+512 ~x2723+256 ~x2722+128 ~x2721+64 ~x2720+32 ~x2719+16 ~x2718+8 ~x2717+4 ~x2716+2 ~x2715+1 ~x2714-0=4094 35.42/35.60 c 1024 ~x1122611+512 ~x1122610+256 ~x1122609+128 ~x1122608+64 ~x1122607+32 ~x1122606+16 ~x1122605+8 ~x1122604+4 ~x1122603+2 ~x1122602+1 ~x1122601+1024 ~x2737+512 ~x2736+256 ~x2735+128 ~x2734+64 ~x2733+32 ~x2732+16 ~x2731+8 ~x2730+4 ~x2729+2 ~x2728+1 ~x2727-0=4094 35.51/35.64 c 1024 ~x1124432+512 ~x1124431+256 ~x1124430+128 ~x1124429+64 ~x1124428+32 ~x1124427+16 ~x1124426+8 ~x1124425+4 ~x1124424+2 ~x1124423+1 ~x1124422+1024 ~x2750+512 ~x2749+256 ~x2748+128 ~x2747+64 ~x2746+32 ~x2745+16 ~x2744+8 ~x2743+4 ~x2742+2 ~x2741+1 ~x2740-0=4094 35.61/35.71 c 512 ~x1126252+256 ~x1126251+128 ~x1126250+64 ~x1126249+32 ~x1126248+16 ~x1126247+8 ~x1126246+4 ~x1126245+2 ~x1126244+1 ~x1126243+512 ~x2762+256 ~x2761+128 ~x2760+64 ~x2759+32 ~x2758+16 ~x2757+8 ~x2756+4 ~x2755+2 ~x2754+1 ~x2753-0=2046 35.61/35.71 c 512 ~x1127554+256 ~x1127553+128 ~x1127552+64 ~x1127551+32 ~x1127550+16 ~x1127549+8 ~x1127548+4 ~x1127547+2 ~x1127546+1 ~x1127545+512 ~x2774+256 ~x2773+128 ~x2772+64 ~x2771+32 ~x2770+16 ~x2769+8 ~x2768+4 ~x2767+2 ~x2766+1 ~x2765-0=2046 35.61/35.75 c 512 ~x1128856+256 ~x1128855+128 ~x1128854+64 ~x1128853+32 ~x1128852+16 ~x1128851+8 ~x1128850+4 ~x1128849+2 ~x1128848+1 ~x1128847+512 ~x2786+256 ~x2785+128 ~x2784+64 ~x2783+32 ~x2782+16 ~x2781+8 ~x2780+4 ~x2779+2 ~x2778+1 ~x2777-0=2046 35.61/35.78 c 512 ~x1130158+256 ~x1130157+128 ~x1130156+64 ~x1130155+32 ~x1130154+16 ~x1130153+8 ~x1130152+4 ~x1130151+2 ~x1130150+1 ~x1130149+512 ~x2798+256 ~x2797+128 ~x2796+64 ~x2795+32 ~x2794+16 ~x2793+8 ~x2792+4 ~x2791+2 ~x2790+1 ~x2789-0=2046 35.71/35.81 c 1024 ~x1131461+512 ~x1131460+256 ~x1131459+128 ~x1131458+64 ~x1131457+32 ~x1131456+16 ~x1131455+8 ~x1131454+4 ~x1131453+2 ~x1131452+1 ~x1131451+1024 ~x2811+512 ~x2810+256 ~x2809+128 ~x2808+64 ~x2807+32 ~x2806+16 ~x2805+8 ~x2804+4 ~x2803+2 ~x2802+1 ~x2801-0=4094 35.71/35.85 c 512 ~x1133281+256 ~x1133280+128 ~x1133279+64 ~x1133278+32 ~x1133277+16 ~x1133276+8 ~x1133275+4 ~x1133274+2 ~x1133273+1 ~x1133272+512 ~x2823+256 ~x2822+128 ~x2821+64 ~x2820+32 ~x2819+16 ~x2818+8 ~x2817+4 ~x2816+2 ~x2815+1 ~x2814-0=2046 35.71/35.88 c 512 ~x1134583+256 ~x1134582+128 ~x1134581+64 ~x1134580+32 ~x1134579+16 ~x1134578+8 ~x1134577+4 ~x1134576+2 ~x1134575+1 ~x1134574+512 ~x2848+256 ~x2847+128 ~x2846+64 ~x2845+32 ~x2844+16 ~x2843+8 ~x2842+4 ~x2841+2 ~x2840+1 ~x2839-0=2046 35.81/35.91 c 512 ~x1135885+256 ~x1135884+128 ~x1135883+64 ~x1135882+32 ~x1135881+16 ~x1135880+8 ~x1135879+4 ~x1135878+2 ~x1135877+1 ~x1135876+512 ~x2860+256 ~x2859+128 ~x2858+64 ~x2857+32 ~x2856+16 ~x2855+8 ~x2854+4 ~x2853+2 ~x2852+1 ~x2851-0=2046 35.81/35.94 c 512 ~x1137187+256 ~x1137186+128 ~x1137185+64 ~x1137184+32 ~x1137183+16 ~x1137182+8 ~x1137181+4 ~x1137180+2 ~x1137179+1 ~x1137178+512 ~x2872+256 ~x2871+128 ~x2870+64 ~x2869+32 ~x2868+16 ~x2867+8 ~x2866+4 ~x2865+2 ~x2864+1 ~x2863-0=2046 35.81/35.98 c 1024 ~x1138490+512 ~x1138489+256 ~x1138488+128 ~x1138487+64 ~x1138486+32 ~x1138485+16 ~x1138484+8 ~x1138483+4 ~x1138482+2 ~x1138481+1 ~x1138480+1024 ~x2885+512 ~x2884+256 ~x2883+128 ~x2882+64 ~x2881+32 ~x2880+16 ~x2879+8 ~x2878+4 ~x2877+2 ~x2876+1 ~x2875-0=4094 35.92/36.02 c 8192 ~x1140314+4096 ~x1140313+2048 ~x1140312+1024 ~x1140311+512 ~x1140310+256 ~x1140309+128 ~x1140308+64 ~x1140307+32 ~x1140306+16 ~x1140305+8 ~x1140304+4 ~x1140303+2 ~x1140302+1 ~x1140301+8192 ~x2901+4096 ~x2900+2048 ~x2899+1024 ~x2898+512 ~x2897+256 ~x2896+128 ~x2895+64 ~x2894+32 ~x2893+16 ~x2892+8 ~x2891+4 ~x2890+2 ~x2889+1 ~x2888-0=26622 36.02/36.10 c 8192 ~x1143642+4096 ~x1143641+2048 ~x1143640+1024 ~x1143639+512 ~x1143638+256 ~x1143637+128 ~x1143636+64 ~x1143635+32 ~x1143634+16 ~x1143633+8 ~x1143632+4 ~x1143631+2 ~x1143630+1 ~x1143629+8192 ~x2916+4096 ~x2915+2048 ~x2914+1024 ~x2913+512 ~x2912+256 ~x2911+128 ~x2910+64 ~x2909+32 ~x2908+16 ~x2907+8 ~x2906+4 ~x2905+2 ~x2904+1 ~x2903-0=26622 36.02/36.18 c 8192 ~x1146970+4096 ~x1146969+2048 ~x1146968+1024 ~x1146967+512 ~x1146966+256 ~x1146965+128 ~x1146964+64 ~x1146963+32 ~x1146962+16 ~x1146961+8 ~x1146960+4 ~x1146959+2 ~x1146958+1 ~x1146957+8192 ~x2931+4096 ~x2930+2048 ~x2929+1024 ~x2928+512 ~x2927+256 ~x2926+128 ~x2925+64 ~x2924+32 ~x2923+16 ~x2922+8 ~x2921+4 ~x2920+2 ~x2919+1 ~x2918-0=26622 36.12/36.25 c 8192 ~x1150298+4096 ~x1150297+2048 ~x1150296+1024 ~x1150295+512 ~x1150294+256 ~x1150293+128 ~x1150292+64 ~x1150291+32 ~x1150290+16 ~x1150289+8 ~x1150288+4 ~x1150287+2 ~x1150286+1 ~x1150285+8192 ~x2946+4096 ~x2945+2048 ~x2944+1024 ~x2943+512 ~x2942+256 ~x2941+128 ~x2940+64 ~x2939+32 ~x2938+16 ~x2937+8 ~x2936+4 ~x2935+2 ~x2934+1 ~x2933-0=26622 36.22/36.33 c 8192 ~x1153626+4096 ~x1153625+2048 ~x1153624+1024 ~x1153623+512 ~x1153622+256 ~x1153621+128 ~x1153620+64 ~x1153619+32 ~x1153618+16 ~x1153617+8 ~x1153616+4 ~x1153615+2 ~x1153614+1 ~x1153613+8192 ~x2961+4096 ~x2960+2048 ~x2959+1024 ~x2958+512 ~x2957+256 ~x2956+128 ~x2955+64 ~x2954+32 ~x2953+16 ~x2952+8 ~x2951+4 ~x2950+2 ~x2949+1 ~x2948-0=26622 36.31/36.41 c 1024 ~x1156951+512 ~x1156950+256 ~x1156949+128 ~x1156948+64 ~x1156947+32 ~x1156946+16 ~x1156945+8 ~x1156944+4 ~x1156943+2 ~x1156942+1 ~x1156941+1024 ~x2973+512 ~x2972+256 ~x2971+128 ~x2970+64 ~x2969+32 ~x2968+16 ~x2967+8 ~x2966+4 ~x2965+2 ~x2964+1 ~x2963-0=4094 36.31/36.45 c 8192 ~x1158775+4096 ~x1158774+2048 ~x1158773+1024 ~x1158772+512 ~x1158771+256 ~x1158770+128 ~x1158769+64 ~x1158768+32 ~x1158767+16 ~x1158766+8 ~x1158765+4 ~x1158764+2 ~x1158763+1 ~x1158762+8192 ~x3004+4096 ~x3003+2048 ~x3002+1024 ~x3001+512 ~x3000+256 ~x2999+128 ~x2998+64 ~x2997+32 ~x2996+16 ~x2995+8 ~x2994+4 ~x2993+2 ~x2992+1 ~x2991-0=26622 36.41/36.54 c 536870912 ~x1162119+268435456 ~x1162118+134217728 ~x1162117+67108864 ~x1162116+33554432 ~x1162115+16777216 ~x1162114+8388608 ~x1162113+4194304 ~x1162112+2097152 ~x1162111+1048576 ~x1162110+524288 ~x1162109+262144 ~x1162108+131072 ~x1162107+65536 ~x1162106+32768 ~x1162105+16384 ~x1162104+8192 ~x1162103+4096 ~x1162102+2048 ~x1162101+1024 ~x1162100+512 ~x1162099+256 ~x1162098+128 ~x1162097+64 ~x1162096+32 ~x1162095+16 ~x1162094+8 ~x1162093+4 ~x1162092+2 ~x1162091+1 ~x1162090+400000000 ~x3016+200000000 ~x3015+100000000 ~x3014+50000000 ~x3013+25000000 ~x3012+12500000 ~x3011+6250000 ~x3010+3125000 ~x3009+1562500 ~x3008+781250 ~x3007+390625 ~x3006-0=1799892610 36.61/36.78 c 536870912 ~x1173170+268435456 ~x1173169+134217728 ~x1173168+67108864 ~x1173167+33554432 ~x1173166+16777216 ~x1173165+8388608 ~x1173164+4194304 ~x1173163+2097152 ~x1173162+1048576 ~x1173161+524288 ~x1173160+262144 ~x1173159+131072 ~x1173158+65536 ~x1173157+32768 ~x1173156+16384 ~x1173155+8192 ~x1173154+4096 ~x1173153+2048 ~x1173152+1024 ~x1173151+512 ~x1173150+256 ~x1173149+128 ~x1173148+64 ~x1173147+32 ~x1173146+16 ~x1173145+8 ~x1173144+4 ~x1173143+2 ~x1173142+1 ~x1173141+400000000 ~x3030+200000000 ~x3029+100000000 ~x3028+50000000 ~x3027+25000000 ~x3026+12500000 ~x3025+6250000 ~x3024+3125000 ~x3023+1562500 ~x3022+781250 ~x3021+390625 ~x3020-0=1799892610 36.91/37.03 c 536870912 ~x1184221+268435456 ~x1184220+134217728 ~x1184219+67108864 ~x1184218+33554432 ~x1184217+16777216 ~x1184216+8388608 ~x1184215+4194304 ~x1184214+2097152 ~x1184213+1048576 ~x1184212+524288 ~x1184211+262144 ~x1184210+131072 ~x1184209+65536 ~x1184208+32768 ~x1184207+16384 ~x1184206+8192 ~x1184205+4096 ~x1184204+2048 ~x1184203+1024 ~x1184202+512 ~x1184201+256 ~x1184200+128 ~x1184199+64 ~x1184198+32 ~x1184197+16 ~x1184196+8 ~x1184195+4 ~x1184194+2 ~x1184193+1 ~x1184192+400000000 ~x3044+200000000 ~x3043+100000000 ~x3042+50000000 ~x3041+25000000 ~x3040+12500000 ~x3039+6250000 ~x3038+3125000 ~x3037+1562500 ~x3036+781250 ~x3035+390625 ~x3034-0=1816828310 37.11/37.28 c 536870912 ~x1195272+268435456 ~x1195271+134217728 ~x1195270+67108864 ~x1195269+33554432 ~x1195268+16777216 ~x1195267+8388608 ~x1195266+4194304 ~x1195265+2097152 ~x1195264+1048576 ~x1195263+524288 ~x1195262+262144 ~x1195261+131072 ~x1195260+65536 ~x1195259+32768 ~x1195258+16384 ~x1195257+8192 ~x1195256+4096 ~x1195255+2048 ~x1195254+1024 ~x1195253+512 ~x1195252+256 ~x1195251+128 ~x1195250+64 ~x1195249+32 ~x1195248+16 ~x1195247+8 ~x1195246+4 ~x1195245+2 ~x1195244+1 ~x1195243+400000000 ~x3058+200000000 ~x3057+100000000 ~x3056+50000000 ~x3055+25000000 ~x3054+12500000 ~x3053+6250000 ~x3052+3125000 ~x3051+1562500 ~x3050+781250 ~x3049+390625 ~x3048-0=1816828310 37.42/37.53 c 67108864 ~x1206320+33554432 ~x1206319+16777216 ~x1206318+8388608 ~x1206317+4194304 ~x1206316+2097152 ~x1206315+1048576 ~x1206314+524288 ~x1206313+262144 ~x1206312+131072 ~x1206311+65536 ~x1206310+32768 ~x1206309+16384 ~x1206308+8192 ~x1206307+4096 ~x1206306+2048 ~x1206305+1024 ~x1206304+512 ~x1206303+256 ~x1206302+128 ~x1206301+64 ~x1206300+32 ~x1206299+16 ~x1206298+8 ~x1206297+4 ~x1206296+2 ~x1206295+1 ~x1206294+80000000 ~x3072+40000000 ~x3071+20000000 ~x3070+10000000 ~x3069+5000000 ~x3068+2500000 ~x3067+1250000 ~x3066+625000 ~x3065+312500 ~x3064+156250 ~x3063+78125 ~x3062-0=245576490 37.61/37.75 c 536870912 ~x1215956+268435456 ~x1215955+134217728 ~x1215954+67108864 ~x1215953+33554432 ~x1215952+16777216 ~x1215951+8388608 ~x1215950+4194304 ~x1215949+2097152 ~x1215948+1048576 ~x1215947+524288 ~x1215946+262144 ~x1215945+131072 ~x1215944+65536 ~x1215943+32768 ~x1215942+16384 ~x1215941+8192 ~x1215940+4096 ~x1215939+2048 ~x1215938+1024 ~x1215937+512 ~x1215936+256 ~x1215935+128 ~x1215934+64 ~x1215933+32 ~x1215932+16 ~x1215931+8 ~x1215930+4 ~x1215929+2 ~x1215928+1 ~x1215927+400000000 ~x3086+200000000 ~x3085+100000000 ~x3084+50000000 ~x3083+25000000 ~x3082+12500000 ~x3081+6250000 ~x3080+3125000 ~x3079+1562500 ~x3078+781250 ~x3077+390625 ~x3076-0=1757553366 37.91/38.00 c 67108864 ~x1227004+33554432 ~x1227003+16777216 ~x1227002+8388608 ~x1227001+4194304 ~x1227000+2097152 ~x1226999+1048576 ~x1226998+524288 ~x1226997+262144 ~x1226996+131072 ~x1226995+65536 ~x1226994+32768 ~x1226993+16384 ~x1226992+8192 ~x1226991+4096 ~x1226990+2048 ~x1226989+1024 ~x1226988+512 ~x1226987+256 ~x1226986+128 ~x1226985+64 ~x1226984+32 ~x1226983+16 ~x1226982+8 ~x1226981+4 ~x1226980+2 ~x1226979+1 ~x1226978+80000000 ~x3100+40000000 ~x3099+20000000 ~x3098+10000000 ~x3097+5000000 ~x3096+2500000 ~x3095+1250000 ~x3094+625000 ~x3093+312500 ~x3092+156250 ~x3091+78125 ~x3090-0=245576490 38.11/38.22 c 536870912 ~x1236640+268435456 ~x1236639+134217728 ~x1236638+67108864 ~x1236637+33554432 ~x1236636+16777216 ~x1236635+8388608 ~x1236634+4194304 ~x1236633+2097152 ~x1236632+1048576 ~x1236631+524288 ~x1236630+262144 ~x1236629+131072 ~x1236628+65536 ~x1236627+32768 ~x1236626+16384 ~x1236625+8192 ~x1236624+4096 ~x1236623+2048 ~x1236622+1024 ~x1236621+512 ~x1236620+256 ~x1236619+128 ~x1236618+64 ~x1236617+32 ~x1236616+16 ~x1236615+8 ~x1236614+4 ~x1236613+2 ~x1236612+1 ~x1236611+400000000 ~x3114+200000000 ~x3113+100000000 ~x3112+50000000 ~x3111+25000000 ~x3110+12500000 ~x3109+6250000 ~x3108+3125000 ~x3107+1562500 ~x3106+781250 ~x3105+390625 ~x3104-0=1757553366 38.32/38.47 c 536870912 ~x1247691+268435456 ~x1247690+134217728 ~x1247689+67108864 ~x1247688+33554432 ~x1247687+16777216 ~x1247686+8388608 ~x1247685+4194304 ~x1247684+2097152 ~x1247683+1048576 ~x1247682+524288 ~x1247681+262144 ~x1247680+131072 ~x1247679+65536 ~x1247678+32768 ~x1247677+16384 ~x1247676+8192 ~x1247675+4096 ~x1247674+2048 ~x1247673+1024 ~x1247672+512 ~x1247671+256 ~x1247670+128 ~x1247669+64 ~x1247668+32 ~x1247667+16 ~x1247666+8 ~x1247665+4 ~x1247664+2 ~x1247663+1 ~x1247662+400000000 ~x3128+200000000 ~x3127+100000000 ~x3126+50000000 ~x3125+25000000 ~x3124+12500000 ~x3123+6250000 ~x3122+3125000 ~x3121+1562500 ~x3120+781250 ~x3119+390625 ~x3118-0=1715214126 38.60/38.74 c 536870912 ~x1258742+268435456 ~x1258741+134217728 ~x1258740+67108864 ~x1258739+33554432 ~x1258738+16777216 ~x1258737+8388608 ~x1258736+4194304 ~x1258735+2097152 ~x1258734+1048576 ~x1258733+524288 ~x1258732+262144 ~x1258731+131072 ~x1258730+65536 ~x1258729+32768 ~x1258728+16384 ~x1258727+8192 ~x1258726+4096 ~x1258725+2048 ~x1258724+1024 ~x1258723+512 ~x1258722+256 ~x1258721+128 ~x1258720+64 ~x1258719+32 ~x1258718+16 ~x1258717+8 ~x1258716+4 ~x1258715+2 ~x1258714+1 ~x1258713+400000000 ~x3155+200000000 ~x3154+100000000 ~x3153+50000000 ~x3152+25000000 ~x3151+12500000 ~x3150+6250000 ~x3149+3125000 ~x3148+1562500 ~x3147+781250 ~x3146+390625 ~x3145-0=1715214126 38.81/38.98 c 536870912 ~x1269793+268435456 ~x1269792+134217728 ~x1269791+67108864 ~x1269790+33554432 ~x1269789+16777216 ~x1269788+8388608 ~x1269787+4194304 ~x1269786+2097152 ~x1269785+1048576 ~x1269784+524288 ~x1269783+262144 ~x1269782+131072 ~x1269781+65536 ~x1269780+32768 ~x1269779+16384 ~x1269778+8192 ~x1269777+4096 ~x1269776+2048 ~x1269775+1024 ~x1269774+512 ~x1269773+256 ~x1269772+128 ~x1269771+64 ~x1269770+32 ~x1269769+16 ~x1269768+8 ~x1269767+4 ~x1269766+2 ~x1269765+1 ~x1269764+400000000 ~x3169+200000000 ~x3168+100000000 ~x3167+50000000 ~x3166+25000000 ~x3165+12500000 ~x3164+6250000 ~x3163+3125000 ~x3162+1562500 ~x3161+781250 ~x3160+390625 ~x3159-0=1715214126 39.10/39.23 c 536870912 ~x1280844+268435456 ~x1280843+134217728 ~x1280842+67108864 ~x1280841+33554432 ~x1280840+16777216 ~x1280839+8388608 ~x1280838+4194304 ~x1280837+2097152 ~x1280836+1048576 ~x1280835+524288 ~x1280834+262144 ~x1280833+131072 ~x1280832+65536 ~x1280831+32768 ~x1280830+16384 ~x1280829+8192 ~x1280828+4096 ~x1280827+2048 ~x1280826+1024 ~x1280825+512 ~x1280824+256 ~x1280823+128 ~x1280822+64 ~x1280821+32 ~x1280820+16 ~x1280819+8 ~x1280818+4 ~x1280817+2 ~x1280816+1 ~x1280815+400000000 ~x3183+200000000 ~x3182+100000000 ~x3181+50000000 ~x3180+25000000 ~x3179+12500000 ~x3178+6250000 ~x3177+3125000 ~x3176+1562500 ~x3175+781250 ~x3174+390625 ~x3173-0=1715214126 39.30/39.48 c 4294967296 ~x1291898+2147483648 ~x1291897+1073741824 ~x1291896+536870912 ~x1291895+268435456 ~x1291894+134217728 ~x1291893+67108864 ~x1291892+33554432 ~x1291891+16777216 ~x1291890+8388608 ~x1291889+4194304 ~x1291888+2097152 ~x1291887+1048576 ~x1291886+524288 ~x1291885+262144 ~x1291884+131072 ~x1291883+65536 ~x1291882+32768 ~x1291881+16384 ~x1291880+8192 ~x1291879+4096 ~x1291878+2048 ~x1291877+1024 ~x1291876+512 ~x1291875+256 ~x1291874+128 ~x1291873+64 ~x1291872+32 ~x1291871+16 ~x1291870+8 ~x1291869+4 ~x1291868+2 ~x1291867+1 ~x1291866+3200000000 ~x3200+1600000000 ~x3199+800000000 ~x3198+400000000 ~x3197+200000000 ~x3196+100000000 ~x3195+50000000 ~x3194+25000000 ~x3193+12500000 ~x3192+6250000 ~x3191+3125000 ~x3190+1562500 ~x3189+781250 ~x3188+390625 ~x3187-0=14435323274 39.71/39.81 c 4294967296 ~x1306931+2147483648 ~x1306930+1073741824 ~x1306929+536870912 ~x1306928+268435456 ~x1306927+134217728 ~x1306926+67108864 ~x1306925+33554432 ~x1306924+16777216 ~x1306923+8388608 ~x1306922+4194304 ~x1306921+2097152 ~x1306920+1048576 ~x1306919+524288 ~x1306918+262144 ~x1306917+131072 ~x1306916+65536 ~x1306915+32768 ~x1306914+16384 ~x1306913+8192 ~x1306912+4096 ~x1306911+2048 ~x1306910+1024 ~x1306909+512 ~x1306908+256 ~x1306907+128 ~x1306906+64 ~x1306905+32 ~x1306904+16 ~x1306903+8 ~x1306902+4 ~x1306901+2 ~x1306900+1 ~x1306899+3200000000 ~x3215+1600000000 ~x3214+800000000 ~x3213+400000000 ~x3212+200000000 ~x3211+100000000 ~x3210+50000000 ~x3209+25000000 ~x3208+12500000 ~x3207+6250000 ~x3206+3125000 ~x3205+1562500 ~x3204+781250 ~x3203+390625 ~x3202-0=14509416950 40.00/40.14 c 4294967296 ~x1321964+2147483648 ~x1321963+1073741824 ~x1321962+536870912 ~x1321961+268435456 ~x1321960+134217728 ~x1321959+67108864 ~x1321958+33554432 ~x1321957+16777216 ~x1321956+8388608 ~x1321955+4194304 ~x1321954+2097152 ~x1321953+1048576 ~x1321952+524288 ~x1321951+262144 ~x1321950+131072 ~x1321949+65536 ~x1321948+32768 ~x1321947+16384 ~x1321946+8192 ~x1321945+4096 ~x1321944+2048 ~x1321943+1024 ~x1321942+512 ~x1321941+256 ~x1321940+128 ~x1321939+64 ~x1321938+32 ~x1321937+16 ~x1321936+8 ~x1321935+4 ~x1321934+2 ~x1321933+1 ~x1321932+3200000000 ~x3230+1600000000 ~x3229+800000000 ~x3228+400000000 ~x3227+200000000 ~x3226+100000000 ~x3225+50000000 ~x3224+25000000 ~x3223+12500000 ~x3222+6250000 ~x3221+3125000 ~x3220+1562500 ~x3219+781250 ~x3218+390625 ~x3217-0=14541171382 40.31/40.48 c 4294967296 ~x1336997+2147483648 ~x1336996+1073741824 ~x1336995+536870912 ~x1336994+268435456 ~x1336993+134217728 ~x1336992+67108864 ~x1336991+33554432 ~x1336990+16777216 ~x1336989+8388608 ~x1336988+4194304 ~x1336987+2097152 ~x1336986+1048576 ~x1336985+524288 ~x1336984+262144 ~x1336983+131072 ~x1336982+65536 ~x1336981+32768 ~x1336980+16384 ~x1336979+8192 ~x1336978+4096 ~x1336977+2048 ~x1336976+1024 ~x1336975+512 ~x1336974+256 ~x1336973+128 ~x1336972+64 ~x1336971+32 ~x1336970+16 ~x1336969+8 ~x1336968+4 ~x1336967+2 ~x1336966+1 ~x1336965+3200000000 ~x3245+1600000000 ~x3244+800000000 ~x3243+400000000 ~x3242+200000000 ~x3241+100000000 ~x3240+50000000 ~x3239+25000000 ~x3238+12500000 ~x3237+6250000 ~x3236+3125000 ~x3235+1562500 ~x3234+781250 ~x3233+390625 ~x3232-0=14752867598 40.71/40.82 c 4294967296 ~x1352030+2147483648 ~x1352029+1073741824 ~x1352028+536870912 ~x1352027+268435456 ~x1352026+134217728 ~x1352025+67108864 ~x1352024+33554432 ~x1352023+16777216 ~x1352022+8388608 ~x1352021+4194304 ~x1352020+2097152 ~x1352019+1048576 ~x1352018+524288 ~x1352017+262144 ~x1352016+131072 ~x1352015+65536 ~x1352014+32768 ~x1352013+16384 ~x1352012+8192 ~x1352011+4096 ~x1352010+2048 ~x1352009+1024 ~x1352008+512 ~x1352007+256 ~x1352006+128 ~x1352005+64 ~x1352004+32 ~x1352003+16 ~x1352002+8 ~x1352001+4 ~x1352000+2 ~x1351999+1 ~x1351998+3200000000 ~x3260+1600000000 ~x3259+800000000 ~x3258+400000000 ~x3257+200000000 ~x3256+100000000 ~x3255+50000000 ~x3254+25000000 ~x3253+12500000 ~x3252+6250000 ~x3251+3125000 ~x3250+1562500 ~x3249+781250 ~x3248+390625 ~x3247-0=14541171382 41.00/41.15 c 536870912 ~x1367060+268435456 ~x1367059+134217728 ~x1367058+67108864 ~x1367057+33554432 ~x1367056+16777216 ~x1367055+8388608 ~x1367054+4194304 ~x1367053+2097152 ~x1367052+1048576 ~x1367051+524288 ~x1367050+262144 ~x1367049+131072 ~x1367048+65536 ~x1367047+32768 ~x1367046+16384 ~x1367045+8192 ~x1367044+4096 ~x1367043+2048 ~x1367042+1024 ~x1367041+512 ~x1367040+256 ~x1367039+128 ~x1367038+64 ~x1367037+32 ~x1367036+16 ~x1367035+8 ~x1367034+4 ~x1367033+2 ~x1367032+1 ~x1367031+400000000 ~x3272+200000000 ~x3271+100000000 ~x3270+50000000 ~x3269+25000000 ~x3268+12500000 ~x3267+6250000 ~x3266+3125000 ~x3265+1562500 ~x3264+781250 ~x3263+390625 ~x3262-0=1799892610 41.31/41.40 c 4294967296 ~x1378114+2147483648 ~x1378113+1073741824 ~x1378112+536870912 ~x1378111+268435456 ~x1378110+134217728 ~x1378109+67108864 ~x1378108+33554432 ~x1378107+16777216 ~x1378106+8388608 ~x1378105+4194304 ~x1378104+2097152 ~x1378103+1048576 ~x1378102+524288 ~x1378101+262144 ~x1378100+131072 ~x1378099+65536 ~x1378098+32768 ~x1378097+16384 ~x1378096+8192 ~x1378095+4096 ~x1378094+2048 ~x1378093+1024 ~x1378092+512 ~x1378091+256 ~x1378090+128 ~x1378089+64 ~x1378088+32 ~x1378087+16 ~x1378086+8 ~x1378085+4 ~x1378084+2 ~x1378083+1 ~x1378082+3200000000 ~x3289+1600000000 ~x3288+800000000 ~x3287+400000000 ~x3286+200000000 ~x3285+100000000 ~x3284+50000000 ~x3283+25000000 ~x3282+12500000 ~x3281+6250000 ~x3280+3125000 ~x3279+1562500 ~x3278+781250 ~x3277+390625 ~x3276-0=14541171382 41.62/41.73 c 8192 ~x1393128+4096 ~x1393127+2048 ~x1393126+1024 ~x1393125+512 ~x1393124+256 ~x1393123+128 ~x1393122+64 ~x1393121+32 ~x1393120+16 ~x1393119+8 ~x1393118+4 ~x1393117+2 ~x1393116+1 ~x1393115+8192 ~x3317+4096 ~x3316+2048 ~x3315+1024 ~x3314+512 ~x3313+256 ~x3312+128 ~x3311+64 ~x3310+32 ~x3309+16 ~x3308+8 ~x3307+4 ~x3306+2 ~x3305+1 ~x3304-0=26622 41.72/41.81 c 8192 ~x1396456+4096 ~x1396455+2048 ~x1396454+1024 ~x1396453+512 ~x1396452+256 ~x1396451+128 ~x1396450+64 ~x1396449+32 ~x1396448+16 ~x1396447+8 ~x1396446+4 ~x1396445+2 ~x1396444+1 ~x1396443+8192 ~x3332+4096 ~x3331+2048 ~x3330+1024 ~x3329+512 ~x3328+256 ~x3327+128 ~x3326+64 ~x3325+32 ~x3324+16 ~x3323+8 ~x3322+4 ~x3321+2 ~x3320+1 ~x3319-0=26622 41.72/41.89 c 8192 ~x1399784+4096 ~x1399783+2048 ~x1399782+1024 ~x1399781+512 ~x1399780+256 ~x1399779+128 ~x1399778+64 ~x1399777+32 ~x1399776+16 ~x1399775+8 ~x1399774+4 ~x1399773+2 ~x1399772+1 ~x1399771+8192 ~x3347+4096 ~x3346+2048 ~x3345+1024 ~x3344+512 ~x3343+256 ~x3342+128 ~x3341+64 ~x3340+32 ~x3339+16 ~x3338+8 ~x3337+4 ~x3336+2 ~x3335+1 ~x3334-0=26622 41.80/41.97 c 8192 ~x1403112+4096 ~x1403111+2048 ~x1403110+1024 ~x1403109+512 ~x1403108+256 ~x1403107+128 ~x1403106+64 ~x1403105+32 ~x1403104+16 ~x1403103+8 ~x1403102+4 ~x1403101+2 ~x1403100+1 ~x1403099+8192 ~x3362+4096 ~x3361+2048 ~x3360+1024 ~x3359+512 ~x3358+256 ~x3357+128 ~x3356+64 ~x3355+32 ~x3354+16 ~x3353+8 ~x3352+4 ~x3351+2 ~x3350+1 ~x3349-0=26622 41.90/42.04 c 8192 ~x1406440+4096 ~x1406439+2048 ~x1406438+1024 ~x1406437+512 ~x1406436+256 ~x1406435+128 ~x1406434+64 ~x1406433+32 ~x1406432+16 ~x1406431+8 ~x1406430+4 ~x1406429+2 ~x1406428+1 ~x1406427+8192 ~x3377+4096 ~x3376+2048 ~x3375+1024 ~x3374+512 ~x3373+256 ~x3372+128 ~x3371+64 ~x3370+32 ~x3369+16 ~x3368+8 ~x3367+4 ~x3366+2 ~x3365+1 ~x3364-0=28670 42.01/42.12 c 8192 ~x1409768+4096 ~x1409767+2048 ~x1409766+1024 ~x1409765+512 ~x1409764+256 ~x1409763+128 ~x1409762+64 ~x1409761+32 ~x1409760+16 ~x1409759+8 ~x1409758+4 ~x1409757+2 ~x1409756+1 ~x1409755+8192 ~x3392+4096 ~x3391+2048 ~x3390+1024 ~x3389+512 ~x3388+256 ~x3387+128 ~x3386+64 ~x3385+32 ~x3384+16 ~x3383+8 ~x3382+4 ~x3381+2 ~x3380+1 ~x3379-0=28670 42.11/42.20 c 8192 ~x1413096+4096 ~x1413095+2048 ~x1413094+1024 ~x1413093+512 ~x1413092+256 ~x1413091+128 ~x1413090+64 ~x1413089+32 ~x1413088+16 ~x1413087+8 ~x1413086+4 ~x1413085+2 ~x1413084+1 ~x1413083+8192 ~x3407+4096 ~x3406+2048 ~x3405+1024 ~x3404+512 ~x3403+256 ~x3402+128 ~x3401+64 ~x3400+32 ~x3399+16 ~x3398+8 ~x3397+4 ~x3396+2 ~x3395+1 ~x3394-0=28670 42.11/42.28 c 8192 ~x1416424+4096 ~x1416423+2048 ~x1416422+1024 ~x1416421+512 ~x1416420+256 ~x1416419+128 ~x1416418+64 ~x1416417+32 ~x1416416+16 ~x1416415+8 ~x1416414+4 ~x1416413+2 ~x1416412+1 ~x1416411+8192 ~x3422+4096 ~x3421+2048 ~x3420+1024 ~x3419+512 ~x3418+256 ~x3417+128 ~x3416+64 ~x3415+32 ~x3414+16 ~x3413+8 ~x3412+4 ~x3411+2 ~x3410+1 ~x3409-0=28670 42.20/42.36 c 8192 ~x1419752+4096 ~x1419751+2048 ~x1419750+1024 ~x1419749+512 ~x1419748+256 ~x1419747+128 ~x1419746+64 ~x1419745+32 ~x1419744+16 ~x1419743+8 ~x1419742+4 ~x1419741+2 ~x1419740+1 ~x1419739+8192 ~x3437+4096 ~x3436+2048 ~x3435+1024 ~x3434+512 ~x3433+256 ~x3432+128 ~x3431+64 ~x3430+32 ~x3429+16 ~x3428+8 ~x3427+4 ~x3426+2 ~x3425+1 ~x3424-0=26622 42.30/42.43 c 8192 ~x1423080+4096 ~x1423079+2048 ~x1423078+1024 ~x1423077+512 ~x1423076+256 ~x1423075+128 ~x1423074+64 ~x1423073+32 ~x1423072+16 ~x1423071+8 ~x1423070+4 ~x1423069+2 ~x1423068+1 ~x1423067+8192 ~x3452+4096 ~x3451+2048 ~x3450+1024 ~x3449+512 ~x3448+256 ~x3447+128 ~x3446+64 ~x3445+32 ~x3444+16 ~x3443+8 ~x3442+4 ~x3441+2 ~x3440+1 ~x3439-0=28670 42.40/42.51 c 8192 ~x1426408+4096 ~x1426407+2048 ~x1426406+1024 ~x1426405+512 ~x1426404+256 ~x1426403+128 ~x1426402+64 ~x1426401+32 ~x1426400+16 ~x1426399+8 ~x1426398+4 ~x1426397+2 ~x1426396+1 ~x1426395+8192 ~x3480+4096 ~x3479+2048 ~x3478+1024 ~x3477+512 ~x3476+256 ~x3475+128 ~x3474+64 ~x3473+32 ~x3472+16 ~x3471+8 ~x3470+4 ~x3469+2 ~x3468+1 ~x3467-0=28670 42.40/42.59 c 8192 ~x1429736+4096 ~x1429735+2048 ~x1429734+1024 ~x1429733+512 ~x1429732+256 ~x1429731+128 ~x1429730+64 ~x1429729+32 ~x1429728+16 ~x1429727+8 ~x1429726+4 ~x1429725+2 ~x1429724+1 ~x1429723+8192 ~x3495+4096 ~x3494+2048 ~x3493+1024 ~x3492+512 ~x3491+256 ~x3490+128 ~x3489+64 ~x3488+32 ~x3487+16 ~x3486+8 ~x3485+4 ~x3484+2 ~x3483+1 ~x3482-0=28670 42.51/42.67 c 8192 ~x1433064+4096 ~x1433063+2048 ~x1433062+1024 ~x1433061+512 ~x1433060+256 ~x1433059+128 ~x1433058+64 ~x1433057+32 ~x1433056+16 ~x1433055+8 ~x1433054+4 ~x1433053+2 ~x1433052+1 ~x1433051+8192 ~x3510+4096 ~x3509+2048 ~x3508+1024 ~x3507+512 ~x3506+256 ~x3505+128 ~x3504+64 ~x3503+32 ~x3502+16 ~x3501+8 ~x3500+4 ~x3499+2 ~x3498+1 ~x3497-0=28670 42.60/42.75 c 8192 ~x1436392+4096 ~x1436391+2048 ~x1436390+1024 ~x1436389+512 ~x1436388+256 ~x1436387+128 ~x1436386+64 ~x1436385+32 ~x1436384+16 ~x1436383+8 ~x1436382+4 ~x1436381+2 ~x1436380+1 ~x1436379+8192 ~x3525+4096 ~x3524+2048 ~x3523+1024 ~x3522+512 ~x3521+256 ~x3520+128 ~x3519+64 ~x3518+32 ~x3517+16 ~x3516+8 ~x3515+4 ~x3514+2 ~x3513+1 ~x3512-0=28670 42.71/42.82 c 8192 ~x1439720+4096 ~x1439719+2048 ~x1439718+1024 ~x1439717+512 ~x1439716+256 ~x1439715+128 ~x1439714+64 ~x1439713+32 ~x1439712+16 ~x1439711+8 ~x1439710+4 ~x1439709+2 ~x1439708+1 ~x1439707+8192 ~x3540+4096 ~x3539+2048 ~x3538+1024 ~x3537+512 ~x3536+256 ~x3535+128 ~x3534+64 ~x3533+32 ~x3532+16 ~x3531+8 ~x3530+4 ~x3529+2 ~x3528+1 ~x3527-0=28670 42.71/42.90 c 1024 ~x1443045+512 ~x1443044+256 ~x1443043+128 ~x1443042+64 ~x1443041+32 ~x1443040+16 ~x1443039+8 ~x1443038+4 ~x1443037+2 ~x1443036+1 ~x1443035+1024 ~x3552+512 ~x3551+256 ~x3550+128 ~x3549+64 ~x3548+32 ~x3547+16 ~x3546+8 ~x3545+4 ~x3544+2 ~x3543+1 ~x3542-0=4094 42.82/42.95 c 8192 ~x1444869+4096 ~x1444868+2048 ~x1444867+1024 ~x1444866+512 ~x1444865+256 ~x1444864+128 ~x1444863+64 ~x1444862+32 ~x1444861+16 ~x1444860+8 ~x1444859+4 ~x1444858+2 ~x1444857+1 ~x1444856+8192 ~x3570+4096 ~x3569+2048 ~x3568+1024 ~x3567+512 ~x3566+256 ~x3565+128 ~x3564+64 ~x3563+32 ~x3562+16 ~x3561+8 ~x3560+4 ~x3559+2 ~x3558+1 ~x3557-0=28670 42.91/43.02 c 8192 ~x1448197+4096 ~x1448196+2048 ~x1448195+1024 ~x1448194+512 ~x1448193+256 ~x1448192+128 ~x1448191+64 ~x1448190+32 ~x1448189+16 ~x1448188+8 ~x1448187+4 ~x1448186+2 ~x1448185+1 ~x1448184+8192 ~x3585+4096 ~x3584+2048 ~x3583+1024 ~x3582+512 ~x3581+256 ~x3580+128 ~x3579+64 ~x3578+32 ~x3577+16 ~x3576+8 ~x3575+4 ~x3574+2 ~x3573+1 ~x3572-0=26622 43.01/43.10 c 8192 ~x1451525+4096 ~x1451524+2048 ~x1451523+1024 ~x1451522+512 ~x1451521+256 ~x1451520+128 ~x1451519+64 ~x1451518+32 ~x1451517+16 ~x1451516+8 ~x1451515+4 ~x1451514+2 ~x1451513+1 ~x1451512+8192 ~x3600+4096 ~x3599+2048 ~x3598+1024 ~x3597+512 ~x3596+256 ~x3595+128 ~x3594+64 ~x3593+32 ~x3592+16 ~x3591+8 ~x3590+4 ~x3589+2 ~x3588+1 ~x3587-0=28670 43.01/43.19 c 268435456 ~x1454868+134217728 ~x1454867+67108864 ~x1454866+33554432 ~x1454865+16777216 ~x1454864+8388608 ~x1454863+4194304 ~x1454862+2097152 ~x1454861+1048576 ~x1454860+524288 ~x1454859+262144 ~x1454858+131072 ~x1454857+65536 ~x1454856+32768 ~x1454855+16384 ~x1454854+8192 ~x1454853+4096 ~x1454852+2048 ~x1454851+1024 ~x1454850+512 ~x1454849+256 ~x1454848+128 ~x1454847+64 ~x1454846+32 ~x1454845+16 ~x1454844+8 ~x1454843+4 ~x1454842+2 ~x1454841+1 ~x1454840+200000000 ~x3611+100000000 ~x3610+50000000 ~x3609+25000000 ~x3608+12500000 ~x3607+6250000 ~x3606+3125000 ~x3605+1562500 ~x3604+781250 ~x3603+390625 ~x3602-0=917589142 43.31/43.42 c 268435456 ~x1465150+134217728 ~x1465149+67108864 ~x1465148+33554432 ~x1465147+16777216 ~x1465146+8388608 ~x1465145+4194304 ~x1465144+2097152 ~x1465143+1048576 ~x1465142+524288 ~x1465141+262144 ~x1465140+131072 ~x1465139+65536 ~x1465138+32768 ~x1465137+16384 ~x1465136+8192 ~x1465135+4096 ~x1465134+2048 ~x1465133+1024 ~x1465132+512 ~x1465131+256 ~x1465130+128 ~x1465129+64 ~x1465128+32 ~x1465127+16 ~x1465126+8 ~x1465125+4 ~x1465124+2 ~x1465123+1 ~x1465122+200000000 ~x3650+100000000 ~x3649+50000000 ~x3648+25000000 ~x3647+12500000 ~x3646+6250000 ~x3645+3125000 ~x3644+1562500 ~x3643+781250 ~x3642+390625 ~x3641-0=917589142 43.51/43.65 c 134217728 ~x1475431+67108864 ~x1475430+33554432 ~x1475429+16777216 ~x1475428+8388608 ~x1475427+4194304 ~x1475426+2097152 ~x1475425+1048576 ~x1475424+524288 ~x1475423+262144 ~x1475422+131072 ~x1475421+65536 ~x1475420+32768 ~x1475419+16384 ~x1475418+8192 ~x1475417+4096 ~x1475416+2048 ~x1475415+1024 ~x1475414+512 ~x1475413+256 ~x1475412+128 ~x1475411+64 ~x1475410+32 ~x1475409+16 ~x1475408+8 ~x1475407+4 ~x1475406+2 ~x1475405+1 ~x1475404+200000000 ~x3664+100000000 ~x3663+50000000 ~x3662+25000000 ~x3661+12500000 ~x3660+6250000 ~x3659+3125000 ~x3658+1562500 ~x3657+781250 ~x3656+390625 ~x3655-0=474412614 43.71/43.88 c 134217728 ~x1485397+67108864 ~x1485396+33554432 ~x1485395+16777216 ~x1485394+8388608 ~x1485393+4194304 ~x1485392+2097152 ~x1485391+1048576 ~x1485390+524288 ~x1485389+262144 ~x1485388+131072 ~x1485387+65536 ~x1485386+32768 ~x1485385+16384 ~x1485384+8192 ~x1485383+4096 ~x1485382+2048 ~x1485381+1024 ~x1485380+512 ~x1485379+256 ~x1485378+128 ~x1485377+64 ~x1485376+32 ~x1485375+16 ~x1485374+8 ~x1485373+4 ~x1485372+2 ~x1485371+1 ~x1485370+200000000 ~x3678+100000000 ~x3677+50000000 ~x3676+25000000 ~x3675+12500000 ~x3674+6250000 ~x3673+3125000 ~x3672+1562500 ~x3671+781250 ~x3670+390625 ~x3669-0=474412614 44.00/44.11 c 4294967296 ~x1495368+2147483648 ~x1495367+1073741824 ~x1495366+536870912 ~x1495365+268435456 ~x1495364+134217728 ~x1495363+67108864 ~x1495362+33554432 ~x1495361+16777216 ~x1495360+8388608 ~x1495359+4194304 ~x1495358+2097152 ~x1495357+1048576 ~x1495356+524288 ~x1495355+262144 ~x1495354+131072 ~x1495353+65536 ~x1495352+32768 ~x1495351+16384 ~x1495350+8192 ~x1495349+4096 ~x1495348+2048 ~x1495347+1024 ~x1495346+512 ~x1495345+256 ~x1495344+128 ~x1495343+64 ~x1495342+32 ~x1495341+16 ~x1495340+8 ~x1495339+4 ~x1495338+2 ~x1495337+1 ~x1495336+3200000000 ~x3696+1600000000 ~x3695+800000000 ~x3694+400000000 ~x3693+200000000 ~x3692+100000000 ~x3691+50000000 ~x3690+25000000 ~x3689+12500000 ~x3688+6250000 ~x3687+3125000 ~x3686+1562500 ~x3685+781250 ~x3684+390625 ~x3683-0=14792875274 44.31/44.44 c 4294967296 ~x1510401+2147483648 ~x1510400+1073741824 ~x1510399+536870912 ~x1510398+268435456 ~x1510397+134217728 ~x1510396+67108864 ~x1510395+33554432 ~x1510394+16777216 ~x1510393+8388608 ~x1510392+4194304 ~x1510391+2097152 ~x1510390+1048576 ~x1510389+524288 ~x1510388+262144 ~x1510387+131072 ~x1510386+65536 ~x1510385+32768 ~x1510384+16384 ~x1510383+8192 ~x1510382+4096 ~x1510381+2048 ~x1510380+1024 ~x1510379+512 ~x1510378+256 ~x1510377+128 ~x1510376+64 ~x1510375+32 ~x1510374+16 ~x1510373+8 ~x1510372+4 ~x1510371+2 ~x1510370+1 ~x1510369+3200000000 ~x3711+1600000000 ~x3710+800000000 ~x3709+400000000 ~x3708+200000000 ~x3707+100000000 ~x3706+50000000 ~x3705+25000000 ~x3704+12500000 ~x3703+6250000 ~x3702+3125000 ~x3701+1562500 ~x3700+781250 ~x3699+390625 ~x3698-0=14936281114 44.60/44.78 c 4294967296 ~x1525434+2147483648 ~x1525433+1073741824 ~x1525432+536870912 ~x1525431+268435456 ~x1525430+134217728 ~x1525429+67108864 ~x1525428+33554432 ~x1525427+16777216 ~x1525426+8388608 ~x1525425+4194304 ~x1525424+2097152 ~x1525423+1048576 ~x1525422+524288 ~x1525421+262144 ~x1525420+131072 ~x1525419+65536 ~x1525418+32768 ~x1525417+16384 ~x1525416+8192 ~x1525415+4096 ~x1525414+2048 ~x1525413+1024 ~x1525412+512 ~x1525411+256 ~x1525410+128 ~x1525409+64 ~x1525408+32 ~x1525407+16 ~x1525406+8 ~x1525405+4 ~x1525404+2 ~x1525403+1 ~x1525402+3200000000 ~x3726+1600000000 ~x3725+800000000 ~x3724+400000000 ~x3723+200000000 ~x3722+100000000 ~x3721+50000000 ~x3720+25000000 ~x3719+12500000 ~x3718+6250000 ~x3717+3125000 ~x3716+1562500 ~x3715+781250 ~x3714+390625 ~x3713-0=14593820698 45.01/45.12 c 4294967296 ~x1540467+2147483648 ~x1540466+1073741824 ~x1540465+536870912 ~x1540464+268435456 ~x1540463+134217728 ~x1540462+67108864 ~x1540461+33554432 ~x1540460+16777216 ~x1540459+8388608 ~x1540458+4194304 ~x1540457+2097152 ~x1540456+1048576 ~x1540455+524288 ~x1540454+262144 ~x1540453+131072 ~x1540452+65536 ~x1540451+32768 ~x1540450+16384 ~x1540449+8192 ~x1540448+4096 ~x1540447+2048 ~x1540446+1024 ~x1540445+512 ~x1540444+256 ~x1540443+128 ~x1540442+64 ~x1540441+32 ~x1540440+16 ~x1540439+8 ~x1540438+4 ~x1540437+2 ~x1540436+1 ~x1540435+3200000000 ~x3741+1600000000 ~x3740+800000000 ~x3739+400000000 ~x3738+200000000 ~x3737+100000000 ~x3736+50000000 ~x3735+25000000 ~x3734+12500000 ~x3733+6250000 ~x3732+3125000 ~x3731+1562500 ~x3730+781250 ~x3729+390625 ~x3728-0=14741553810 45.30/45.45 c 67108864 ~x1555494+33554432 ~x1555493+16777216 ~x1555492+8388608 ~x1555491+4194304 ~x1555490+2097152 ~x1555489+1048576 ~x1555488+524288 ~x1555487+262144 ~x1555486+131072 ~x1555485+65536 ~x1555484+32768 ~x1555483+16384 ~x1555482+8192 ~x1555481+4096 ~x1555480+2048 ~x1555479+1024 ~x1555478+512 ~x1555477+256 ~x1555476+128 ~x1555475+64 ~x1555474+32 ~x1555473+16 ~x1555472+8 ~x1555471+4 ~x1555470+2 ~x1555469+1 ~x1555468+50000000 ~x3750+25000000 ~x3749+12500000 ~x3748+6250000 ~x3747+3125000 ~x3746+1562500 ~x3745+781250 ~x3744+390625 ~x3743-0=228932034 45.50/45.66 c 4294967296 ~x1564251+2147483648 ~x1564250+1073741824 ~x1564249+536870912 ~x1564248+268435456 ~x1564247+134217728 ~x1564246+67108864 ~x1564245+33554432 ~x1564244+16777216 ~x1564243+8388608 ~x1564242+4194304 ~x1564241+2097152 ~x1564240+1048576 ~x1564239+524288 ~x1564238+262144 ~x1564237+131072 ~x1564236+65536 ~x1564235+32768 ~x1564234+16384 ~x1564233+8192 ~x1564232+4096 ~x1564231+2048 ~x1564230+1024 ~x1564229+512 ~x1564228+256 ~x1564227+128 ~x1564226+64 ~x1564225+32 ~x1564224+16 ~x1564223+8 ~x1564222+4 ~x1564221+2 ~x1564220+1 ~x1564219+3200000000 ~x3770+1600000000 ~x3769+800000000 ~x3768+400000000 ~x3767+200000000 ~x3766+100000000 ~
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-2674764-1276800575/watcher-2674764-1276800575 -o /tmp/evaluation-result-2674764-1276800575/solver-2674764-1276800575 -C 1800 -W 2000 -M 1800 run HOME/instance-2674764-1276800575.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.02 1.00 1.00 2/106 16558 /proc/meminfo: memFree=1949588/2059040 swapFree=4138932/4192956 [pid=16558] ppid=16556 vsize=8700 CPUtime=0 /proc/16558/stat : 16558 (run) S 16556 16558 16364 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55661275 8908800 251 1992294400 4194304 4922060 140734762205456 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16558/statm: 2175 251 211 178 0 68 0 [startup+0.075942 s] /proc/loadavg: 1.02 1.00 1.00 2/106 16558 /proc/meminfo: memFree=1949588/2059040 swapFree=4138932/4192956 [pid=16558] ppid=16556 vsize=8700 CPUtime=0 /proc/16558/stat : 16558 (run) S 16556 16558 16364 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55661275 8908800 251 1992294400 4194304 4922060 140734762205456 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16558/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100942 s] /proc/loadavg: 1.02 1.00 1.00 2/106 16558 /proc/meminfo: memFree=1949588/2059040 swapFree=4138932/4192956 [pid=16558] ppid=16556 vsize=8700 CPUtime=0 /proc/16558/stat : 16558 (run) S 16556 16558 16364 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55661275 8908800 251 1992294400 4194304 4922060 140734762205456 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16558/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.30094 s] /proc/loadavg: 1.02 1.00 1.00 2/106 16558 /proc/meminfo: memFree=1949588/2059040 swapFree=4138932/4192956 [pid=16558] ppid=16556 vsize=8700 CPUtime=0 /proc/16558/stat : 16558 (run) S 16556 16558 16364 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55661275 8908800 251 1992294400 4194304 4922060 140734762205456 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16558/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700938 s] /proc/loadavg: 1.02 1.00 1.00 2/106 16558 /proc/meminfo: memFree=1949588/2059040 swapFree=4138932/4192956 [pid=16558] ppid=16556 vsize=8700 CPUtime=0 /proc/16558/stat : 16558 (run) S 16556 16558 16364 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55661275 8908800 251 1992294400 4194304 4922060 140734762205456 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16558/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50093 s] /proc/loadavg: 1.02 1.00 1.00 2/108 16561 /proc/meminfo: memFree=1796392/2059040 swapFree=4138932/4192956 [pid=16558] ppid=16556 vsize=8700 CPUtime=0 /proc/16558/stat : 16558 (run) S 16556 16558 16364 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55661275 8908800 251 1992294400 4194304 4922060 140734762205456 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16558/statm: 2175 251 211 178 0 68 0 [pid=16560] ppid=16558 vsize=213092 CPUtime=1.44 /proc/16560/stat : 16560 (PBPASSolver) R 16558 16558 16364 0 -1 4202496 52697 0 5 0 52 92 0 0 20 0 1 0 55661275 218206208 52640 1992294400 134512640 134902295 4290947840 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 0 0 0 4 /proc/16560/statm: 53273 52640 256 96 0 52485 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 221792 [startup+3.10192 s] /proc/loadavg: 1.02 1.00 1.00 2/108 16561 /proc/meminfo: memFree=1639532/2059040 swapFree=4138932/4192956 [pid=16558] ppid=16556 vsize=8700 CPUtime=0 /proc/16558/stat : 16558 (run) S 16556 16558 16364 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55661275 8908800 251 1992294400 4194304 4922060 140734762205456 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16558/statm: 2175 251 211 178 0 68 0 [pid=16560] ppid=16558 vsize=462308 CPUtime=3.04 /proc/16560/stat : 16560 (PBPASSolver) R 16558 16558 16364 0 -1 4202496 115381 0 5 0 121 183 0 0 25 0 1 0 55661275 473403392 114940 1992294400 134512640 134902295 4290947840 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 0 0 0 4 /proc/16560/statm: 115577 114940 256 96 0 114789 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 471008 [startup+6.30091 s] /proc/loadavg: 1.02 1.00 1.00 2/108 16561 /proc/meminfo: memFree=1222644/2059040 swapFree=4138932/4192956 [pid=16558] ppid=16556 vsize=8700 CPUtime=0 /proc/16558/stat : 16558 (run) S 16556 16558 16364 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55661275 8908800 251 1992294400 4194304 4922060 140734762205456 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16558/statm: 2175 251 211 178 0 68 0 [pid=16560] ppid=16558 vsize=823812 CPUtime=6.24 /proc/16560/stat : 16560 (PBPASSolver) R 16558 16558 16364 0 -1 4202496 205759 0 5 0 284 340 0 0 25 0 1 0 55661275 843583488 205318 1992294400 134512640 134902295 4290947840 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 0 0 0 4 /proc/16560/statm: 205953 205320 256 96 0 205165 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 832512 [startup+12.7019 s] /proc/loadavg: 1.02 1.00 1.00 2/108 16561 /proc/meminfo: memFree=770788/2059040 swapFree=4138932/4192956 [pid=16558] ppid=16556 vsize=8700 CPUtime=0 /proc/16558/stat : 16558 (run) S 16556 16558 16364 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55661275 8908800 251 1992294400 4194304 4922060 140734762205456 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16558/statm: 2175 251 211 178 0 68 0 [pid=16560] ppid=16558 vsize=1192136 CPUtime=12.64 /proc/16560/stat : 16560 (PBPASSolver) R 16558 16558 16364 0 -1 4202496 298130 0 5 0 781 483 0 0 25 0 1 0 55661275 1220747264 297122 1992294400 134512640 134902295 4290947840 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 0 0 0 4 /proc/16560/statm: 298034 297122 262 96 0 297246 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 1200836 [startup+25.5008 s] /proc/loadavg: 1.01 1.00 1.00 2/108 16561 /proc/meminfo: memFree=526012/2059040 swapFree=4138932/4192956 [pid=16558] ppid=16556 vsize=8700 CPUtime=0 /proc/16558/stat : 16558 (run) S 16556 16558 16364 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55661275 8908800 251 1992294400 4194304 4922060 140734762205456 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16558/statm: 2175 251 211 178 0 68 0 [pid=16560] ppid=16558 vsize=1433344 CPUtime=25.42 /proc/16560/stat : 16560 (PBPASSolver) R 16558 16558 16364 0 -1 4202496 358121 0 5 0 2034 508 0 0 25 0 1 0 55661275 1467744256 356353 1992294400 134512640 134902295 4290947840 18446744073709551615 134634800 0 0 4096 17608 0 0 0 17 0 0 0 4 /proc/16560/statm: 358336 356353 262 96 0 357548 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 1442044 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+46.0017 s] /proc/loadavg: 1.01 1.00 1.00 2/108 16563 /proc/meminfo: memFree=145952/2059040 swapFree=4138932/4192956 [pid=16558] ppid=16556 vsize=8700 CPUtime=0 /proc/16558/stat : 16558 (run) S 16556 16558 16364 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55661275 8908800 251 1992294400 4194304 4922060 140734762205456 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16558/statm: 2175 251 211 178 0 68 0 [pid=16560] ppid=16558 vsize=1835212 CPUtime=45.91 /proc/16560/stat : 16560 (PBPASSolver) R 16558 16558 16364 0 -1 4202496 455155 0 5 0 4043 548 0 0 25 0 1 0 55661275 1879257088 449981 1992294400 134512640 134902295 4290947840 18446744073709551615 134566864 0 0 4096 17608 0 0 0 17 0 0 0 4 /proc/16560/statm: 458803 449981 262 96 0 458015 0 Current children cumulated CPU time (s) 45.91 Current children cumulated vsize (KiB) 1843912 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16558 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=3999 # CPU time returned by wait4() is 0.003999 # while last known CPU time is 45.91 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 46.0167 CPU time (s): 45.91 CPU user time (s): 40.43 CPU system time (s): 5.48 CPU usage (%): 99.7682 Max. virtual memory (cumulated for all children) (KiB): 1843912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.003999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 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= 4 involuntary context switches= 3 runsolver used 0.114982 second user time and 0.265959 second system time The end
Begin job on node005 at 2010-06-17 20:49:36 IDJOB=2674764 IDBENCH=2517 IDSOLVER=1174 FILE ID=node005/2674764-1276800575 PBS_JOBID= 11176636 Free space on /tmp= 62564 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-arki001.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674764-1276800575/watcher-2674764-1276800575 -o /tmp/evaluation-result-2674764-1276800575/solver-2674764-1276800575 -C 1800 -W 2000 -M 1800 run HOME/instance-2674764-1276800575.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 72fff71fe37083f89a4fde6caf0f3578 RANDOM SEED=711222119 node005.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.246 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.49 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.246 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: 1950108 kB Buffers: 540 kB Cached: 19256 kB SwapCached: 4408 kB Active: 26568 kB Inactive: 3524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1950108 kB SwapTotal: 4192956 kB SwapFree: 4138932 kB Dirty: 2676 kB Writeback: 4 kB AnonPages: 10084 kB Mapped: 12856 kB Slab: 57124 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181268 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62564 MiB End job on node005 at 2010-06-17 20:50:24