| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PBPASSolver 2010-06-13 | ? (TO) | 1800.09 | 1800.72 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell3b.opb |
| MD5SUM | 2982ffe422921e9a65d384b08247e6aa |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1268353751751630 |
| Best CPU time to get the best result obtained on this benchmark | 1800.26 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1351353706341500 |
| Optimality of the best value was proved | NO |
| Number of variables | 2283 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 22 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 129 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 195 |
| Number of terms in the objective function | 1780 |
| Biggest coefficient in the objective function | 50331648000000000 |
| Number of bits for the biggest coefficient in the objective function | 56 |
| Sum of the numbers in the objective function | 1076758128151185266 |
| Number of bits of the sum of numbers in the objective function | 60 |
| Biggest number in a constraint | 50331648000000000 |
| Number of bits of the biggest number in a constraint | 56 |
| Biggest sum of numbers in a constraint | 1076758128151185266 |
| Number of bits of the biggest sum of numbers | 60 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.65 c 2283 151 0 0 0 0 0 0 0.00/0.65 c 4096 ~x2297+2048 ~x2296+1024 ~x2295+512 ~x2294+256 ~x2293+128 ~x2292+64 ~x2291+32 ~x2290+16 ~x2289+8 ~x2288+4 ~x2287+2 ~x2286+1 ~x2285+4096 ~x2105+2048 ~x2104+1024 ~x2103+512 ~x2102+256 ~x2101+128 ~x2100+64 ~x2099+32 ~x2098+16 ~x2097+8 ~x2096+4 ~x2095+2 ~x2094+1 ~x2093-0=14574 0.00/0.71 c 4096 ~x4875+2048 ~x4874+1024 ~x4873+512 ~x4872+256 ~x4871+128 ~x4870+64 ~x4869+32 ~x4868+16 ~x4867+8 ~x4866+4 ~x4865+2 ~x4864+1 ~x4863+4096 ~x2179+2048 ~x2178+1024 ~x2177+512 ~x2176+256 ~x2175+128 ~x2174+64 ~x2173+32 ~x2172+16 ~x2171+8 ~x2170+4 ~x2169+2 ~x2168+1 ~x2167-0=14574 0.00/0.77 c 4096 ~x7453+2048 ~x7452+1024 ~x7451+512 ~x7450+256 ~x7449+128 ~x7448+64 ~x7447+32 ~x7446+16 ~x7445+8 ~x7444+4 ~x7443+2 ~x7442+1 ~x7441+4096 ~x2213+2048 ~x2212+1024 ~x2211+512 ~x2210+256 ~x2209+128 ~x2208+64 ~x2207+32 ~x2206+16 ~x2205+8 ~x2204+4 ~x2203+2 ~x2202+1 ~x2201-0=14574 0.00/0.83 c 4096 ~x10031+2048 ~x10030+1024 ~x10029+512 ~x10028+256 ~x10027+128 ~x10026+64 ~x10025+32 ~x10024+16 ~x10023+8 ~x10022+4 ~x10021+2 ~x10020+1 ~x10019+4096 ~x2227+2048 ~x2226+1024 ~x2225+512 ~x2224+256 ~x2223+128 ~x2222+64 ~x2221+32 ~x2220+16 ~x2219+8 ~x2218+4 ~x2217+2 ~x2216+1 ~x2215-0=14574 0.00/0.90 c 4096 ~x12609+2048 ~x12608+1024 ~x12607+512 ~x12606+256 ~x12605+128 ~x12604+64 ~x12603+32 ~x12602+16 ~x12601+8 ~x12600+4 ~x12599+2 ~x12598+1 ~x12597+4096 ~x2241+2048 ~x2240+1024 ~x2239+512 ~x2238+256 ~x2237+128 ~x2236+64 ~x2235+32 ~x2234+16 ~x2233+8 ~x2232+4 ~x2231+2 ~x2230+1 ~x2229-0=14574 0.00/0.96 c 4096 ~x15187+2048 ~x15186+1024 ~x15185+512 ~x15184+256 ~x15183+128 ~x15182+64 ~x15181+32 ~x15180+16 ~x15179+8 ~x15178+4 ~x15177+2 ~x15176+1 ~x15175+4096 ~x2255+2048 ~x2254+1024 ~x2253+512 ~x2252+256 ~x2251+128 ~x2250+64 ~x2249+32 ~x2248+16 ~x2247+8 ~x2246+4 ~x2245+2 ~x2244+1 ~x2243-0=14574 1.00/1.02 c 4096 ~x17765+2048 ~x17764+1024 ~x17763+512 ~x17762+256 ~x17761+128 ~x17760+64 ~x17759+32 ~x17758+16 ~x17757+8 ~x17756+4 ~x17755+2 ~x17754+1 ~x17753+4096 ~x2269+2048 ~x2268+1024 ~x2267+512 ~x2266+256 ~x2265+128 ~x2264+64 ~x2263+32 ~x2262+16 ~x2261+8 ~x2260+4 ~x2259+2 ~x2258+1 ~x2257-0=14574 1.00/1.09 c 4096 ~x20343+2048 ~x20342+1024 ~x20341+512 ~x20340+256 ~x20339+128 ~x20338+64 ~x20337+32 ~x20336+16 ~x20335+8 ~x20334+4 ~x20333+2 ~x20332+1 ~x20331+4096 ~x2283+2048 ~x2282+1024 ~x2281+512 ~x2280+256 ~x2279+128 ~x2278+64 ~x2277+32 ~x2276+16 ~x2275+8 ~x2274+4 ~x2273+2 ~x2272+1 ~x2271-0=14574 1.09/1.16 c 16 ~x22913+8 ~x22912+4 ~x22911+2 ~x22910+1 ~x22909+16 ~x2111+8 ~x2110+4 ~x2109+2 ~x2108+1 ~x2107-0=54 1.09/1.16 c 16 ~x23202+8 ~x23201+4 ~x23200+2 ~x23199+1 ~x23198+16 ~x2121+8 ~x2120+4 ~x2119+2 ~x2118+1 ~x2117-0=54 1.09/1.16 c 16 ~x23491+8 ~x23490+4 ~x23489+2 ~x23488+1 ~x23487+16 ~x2131+8 ~x2130+4 ~x2129+2 ~x2128+1 ~x2127-0=54 1.09/1.18 c 16 ~x23780+8 ~x23779+4 ~x23778+2 ~x23777+1 ~x23776+16 ~x2141+8 ~x2140+4 ~x2139+2 ~x2138+1 ~x2137-0=54 1.09/1.18 c 16 ~x24069+8 ~x24068+4 ~x24067+2 ~x24066+1 ~x24065+16 ~x2151+8 ~x2150+4 ~x2149+2 ~x2148+1 ~x2147-0=54 1.18/1.21 c 16 ~x24358+8 ~x24357+4 ~x24356+2 ~x24355+1 ~x24354+16 ~x2161+8 ~x2160+4 ~x2159+2 ~x2158+1 ~x2157-0=54 1.18/1.21 c 16 ~x24647+8 ~x24646+4 ~x24645+2 ~x24644+1 ~x24643+16 ~x2185+8 ~x2184+4 ~x2183+2 ~x2182+1 ~x2181-0=54 1.18/1.21 c 16 ~x24936+8 ~x24935+4 ~x24934+2 ~x24933+1 ~x24932+16 ~x2195+8 ~x2194+4 ~x2193+2 ~x2192+1 ~x2191-0=54 1.18/1.22 c 4096 ~x25233+2048 ~x25232+1024 ~x25231+512 ~x25230+256 ~x25229+128 ~x25228+64 ~x25227+32 ~x25226+16 ~x25225+8 ~x25224+4 ~x25223+2 ~x25222+1 ~x25221+4096 ~x1913+2048 ~x1912+1024 ~x1911+512 ~x1910+256 ~x1909+128 ~x1908+64 ~x1907+32 ~x1906+16 ~x1905+8 ~x1904+4 ~x1903+2 ~x1902+1 ~x1901-0=14574 1.18/1.28 c 4096 ~x27811+2048 ~x27810+1024 ~x27809+512 ~x27808+256 ~x27807+128 ~x27806+64 ~x27805+32 ~x27804+16 ~x27803+8 ~x27802+4 ~x27801+2 ~x27800+1 ~x27799+4096 ~x1987+2048 ~x1986+1024 ~x1985+512 ~x1984+256 ~x1983+128 ~x1982+64 ~x1981+32 ~x1980+16 ~x1979+8 ~x1978+4 ~x1977+2 ~x1976+1 ~x1975-0=14574 1.28/1.34 c 4096 ~x30389+2048 ~x30388+1024 ~x30387+512 ~x30386+256 ~x30385+128 ~x30384+64 ~x30383+32 ~x30382+16 ~x30381+8 ~x30380+4 ~x30379+2 ~x30378+1 ~x30377+4096 ~x2021+2048 ~x2020+1024 ~x2019+512 ~x2018+256 ~x2017+128 ~x2016+64 ~x2015+32 ~x2014+16 ~x2013+8 ~x2012+4 ~x2011+2 ~x2010+1 ~x2009-0=14574 1.38/1.41 c 4096 ~x32967+2048 ~x32966+1024 ~x32965+512 ~x32964+256 ~x32963+128 ~x32962+64 ~x32961+32 ~x32960+16 ~x32959+8 ~x32958+4 ~x32957+2 ~x32956+1 ~x32955+4096 ~x2035+2048 ~x2034+1024 ~x2033+512 ~x2032+256 ~x2031+128 ~x2030+64 ~x2029+32 ~x2028+16 ~x2027+8 ~x2026+4 ~x2025+2 ~x2024+1 ~x2023-0=14574 1.38/1.47 c 4096 ~x35545+2048 ~x35544+1024 ~x35543+512 ~x35542+256 ~x35541+128 ~x35540+64 ~x35539+32 ~x35538+16 ~x35537+8 ~x35536+4 ~x35535+2 ~x35534+1 ~x35533+4096 ~x2049+2048 ~x2048+1024 ~x2047+512 ~x2046+256 ~x2045+128 ~x2044+64 ~x2043+32 ~x2042+16 ~x2041+8 ~x2040+4 ~x2039+2 ~x2038+1 ~x2037-0=14574 1.49/1.53 c 4096 ~x38123+2048 ~x38122+1024 ~x38121+512 ~x38120+256 ~x38119+128 ~x38118+64 ~x38117+32 ~x38116+16 ~x38115+8 ~x38114+4 ~x38113+2 ~x38112+1 ~x38111+4096 ~x2063+2048 ~x2062+1024 ~x2061+512 ~x2060+256 ~x2059+128 ~x2058+64 ~x2057+32 ~x2056+16 ~x2055+8 ~x2054+4 ~x2053+2 ~x2052+1 ~x2051-0=14574 1.49/1.59 c 4096 ~x40701+2048 ~x40700+1024 ~x40699+512 ~x40698+256 ~x40697+128 ~x40696+64 ~x40695+32 ~x40694+16 ~x40693+8 ~x40692+4 ~x40691+2 ~x40690+1 ~x40689+4096 ~x2077+2048 ~x2076+1024 ~x2075+512 ~x2074+256 ~x2073+128 ~x2072+64 ~x2071+32 ~x2070+16 ~x2069+8 ~x2068+4 ~x2067+2 ~x2066+1 ~x2065-0=14574 1.59/1.65 c 4096 ~x43279+2048 ~x43278+1024 ~x43277+512 ~x43276+256 ~x43275+128 ~x43274+64 ~x43273+32 ~x43272+16 ~x43271+8 ~x43270+4 ~x43269+2 ~x43268+1 ~x43267+4096 ~x2091+2048 ~x2090+1024 ~x2089+512 ~x2088+256 ~x2087+128 ~x2086+64 ~x2085+32 ~x2084+16 ~x2083+8 ~x2082+4 ~x2081+2 ~x2080+1 ~x2079-0=14574 1.69/1.72 c 16 ~x45849+8 ~x45848+4 ~x45847+2 ~x45846+1 ~x45845+16 ~x1919+8 ~x1918+4 ~x1917+2 ~x1916+1 ~x1915-0=54 1.69/1.72 c 16 ~x46138+8 ~x46137+4 ~x46136+2 ~x46135+1 ~x46134+16 ~x1929+8 ~x1928+4 ~x1927+2 ~x1926+1 ~x1925-0=54 1.69/1.74 c 16 ~x46427+8 ~x46426+4 ~x46425+2 ~x46424+1 ~x46423+16 ~x1939+8 ~x1938+4 ~x1937+2 ~x1936+1 ~x1935-0=54 1.69/1.74 c 16 ~x46716+8 ~x46715+4 ~x46714+2 ~x46713+1 ~x46712+16 ~x1949+8 ~x1948+4 ~x1947+2 ~x1946+1 ~x1945-0=54 1.69/1.77 c 16 ~x47005+8 ~x47004+4 ~x47003+2 ~x47002+1 ~x47001+16 ~x1959+8 ~x1958+4 ~x1957+2 ~x1956+1 ~x1955-0=54 1.69/1.77 c 16 ~x47294+8 ~x47293+4 ~x47292+2 ~x47291+1 ~x47290+16 ~x1969+8 ~x1968+4 ~x1967+2 ~x1966+1 ~x1965-0=54 1.69/1.77 c 16 ~x47583+8 ~x47582+4 ~x47581+2 ~x47580+1 ~x47579+16 ~x1993+8 ~x1992+4 ~x1991+2 ~x1990+1 ~x1989-0=54 1.69/1.79 c 16 ~x47872+8 ~x47871+4 ~x47870+2 ~x47869+1 ~x47868+16 ~x2003+8 ~x2002+4 ~x2001+2 ~x2000+1 ~x1999-0=54 1.69/1.79 c 16384 ~x48193+8192 ~x48192+4096 ~x48191+2048 ~x48190+1024 ~x48189+512 ~x48188+256 ~x48187+128 ~x48186+64 ~x48185+32 ~x48184+16 ~x48183+8 ~x48182+4 ~x48181+2 ~x48180+1 ~x48179+8192 ~x2106+4096 ~x2105+2048 ~x2104+1024 ~x2103+512 ~x2102+256 ~x2101+128 ~x2100+64 ~x2099+32 ~x2098+16 ~x2097+8 ~x2096+4 ~x2095+2 ~x2094+1 ~x2093+1 ~x1405+20 x1382-0=49151 1.78/1.88 c 1024 ~x51877+512 ~x51876+256 ~x51875+128 ~x51874+64 ~x51873+32 ~x51872+16 ~x51871+8 ~x51870+4 ~x51869+2 ~x51868+1 ~x51867+512 ~x2116+256 ~x2115+128 ~x2114+64 ~x2113+32 ~x2112+16 ~x2111+8 ~x2110+4 ~x2109+2 ~x2108+1 ~x2107+1 ~x1406+20 x1383-0=3071 1.88/1.93 c 1024 ~x53739+512 ~x53738+256 ~x53737+128 ~x53736+64 ~x53735+32 ~x53734+16 ~x53733+8 ~x53732+4 ~x53731+2 ~x53730+1 ~x53729+512 ~x2126+256 ~x2125+128 ~x2124+64 ~x2123+32 ~x2122+16 ~x2121+8 ~x2120+4 ~x2119+2 ~x2118+1 ~x2117+1 ~x1407+20 x1385-0=3071 1.88/1.98 c 1024 ~x55601+512 ~x55600+256 ~x55599+128 ~x55598+64 ~x55597+32 ~x55596+16 ~x55595+8 ~x55594+4 ~x55593+2 ~x55592+1 ~x55591+512 ~x2136+256 ~x2135+128 ~x2134+64 ~x2133+32 ~x2132+16 ~x2131+8 ~x2130+4 ~x2129+2 ~x2128+1 ~x2127+1 ~x1408+20 x1386-0=3071 1.98/2.07 c 1024 ~x57463+512 ~x57462+256 ~x57461+128 ~x57460+64 ~x57459+32 ~x57458+16 ~x57457+8 ~x57456+4 ~x57455+2 ~x57454+1 ~x57453+512 ~x2146+256 ~x2145+128 ~x2144+64 ~x2143+32 ~x2142+16 ~x2141+8 ~x2140+4 ~x2139+2 ~x2138+1 ~x2137+1 ~x1409+20 x1388-0=3071 1.98/2.07 c 1024 ~x59325+512 ~x59324+256 ~x59323+128 ~x59322+64 ~x59321+32 ~x59320+16 ~x59319+8 ~x59318+4 ~x59317+2 ~x59316+1 ~x59315+512 ~x2156+256 ~x2155+128 ~x2154+64 ~x2153+32 ~x2152+16 ~x2151+8 ~x2150+4 ~x2149+2 ~x2148+1 ~x2147+1 ~x1410+20 x1389-0=3071 2.10/2.12 c 1024 ~x61187+512 ~x61186+256 ~x61185+128 ~x61184+64 ~x61183+32 ~x61182+16 ~x61181+8 ~x61180+4 ~x61179+2 ~x61178+1 ~x61177+512 ~x2166+256 ~x2165+128 ~x2164+64 ~x2163+32 ~x2162+16 ~x2161+8 ~x2160+4 ~x2159+2 ~x2158+1 ~x2157+1 ~x1411+20 x1390-0=3071 2.10/2.17 c 16384 ~x63053+8192 ~x63052+4096 ~x63051+2048 ~x63050+1024 ~x63049+512 ~x63048+256 ~x63047+128 ~x63046+64 ~x63045+32 ~x63044+16 ~x63043+8 ~x63042+4 ~x63041+2 ~x63040+1 ~x63039+8192 ~x2180+4096 ~x2179+2048 ~x2178+1024 ~x2177+512 ~x2176+256 ~x2175+128 ~x2174+64 ~x2173+32 ~x2172+16 ~x2171+8 ~x2170+4 ~x2169+2 ~x2168+1 ~x2167+1 ~x1412+20 x1393-0=49151 2.19/2.26 c 1024 ~x66737+512 ~x66736+256 ~x66735+128 ~x66734+64 ~x66733+32 ~x66732+16 ~x66731+8 ~x66730+4 ~x66729+2 ~x66728+1 ~x66727+512 ~x2190+256 ~x2189+128 ~x2188+64 ~x2187+32 ~x2186+16 ~x2185+8 ~x2184+4 ~x2183+2 ~x2182+1 ~x2181+1 ~x1413+20 x1394-0=3071 2.28/2.31 c 1024 ~x68599+512 ~x68598+256 ~x68597+128 ~x68596+64 ~x68595+32 ~x68594+16 ~x68593+8 ~x68592+4 ~x68591+2 ~x68590+1 ~x68589+512 ~x2200+256 ~x2199+128 ~x2198+64 ~x2197+32 ~x2196+16 ~x2195+8 ~x2194+4 ~x2193+2 ~x2192+1 ~x2191+1 ~x1414+20 x1395-0=3071 2.28/2.36 c 16384 ~x70465+8192 ~x70464+4096 ~x70463+2048 ~x70462+1024 ~x70461+512 ~x70460+256 ~x70459+128 ~x70458+64 ~x70457+32 ~x70456+16 ~x70455+8 ~x70454+4 ~x70453+2 ~x70452+1 ~x70451+8192 ~x2214+4096 ~x2213+2048 ~x2212+1024 ~x2211+512 ~x2210+256 ~x2209+128 ~x2208+64 ~x2207+32 ~x2206+16 ~x2205+8 ~x2204+4 ~x2203+2 ~x2202+1 ~x2201+1 ~x1415+20 x1398-0=49151 2.39/2.45 c 16384 ~x74153+8192 ~x74152+4096 ~x74151+2048 ~x74150+1024 ~x74149+512 ~x74148+256 ~x74147+128 ~x74146+64 ~x74145+32 ~x74144+16 ~x74143+8 ~x74142+4 ~x74141+2 ~x74140+1 ~x74139+8192 ~x2228+4096 ~x2227+2048 ~x2226+1024 ~x2225+512 ~x2224+256 ~x2223+128 ~x2222+64 ~x2221+32 ~x2220+16 ~x2219+8 ~x2218+4 ~x2217+2 ~x2216+1 ~x2215+1 ~x1416+20 x1399-0=49151 2.49/2.54 c 16384 ~x77841+8192 ~x77840+4096 ~x77839+2048 ~x77838+1024 ~x77837+512 ~x77836+256 ~x77835+128 ~x77834+64 ~x77833+32 ~x77832+16 ~x77831+8 ~x77830+4 ~x77829+2 ~x77828+1 ~x77827+8192 ~x2242+4096 ~x2241+2048 ~x2240+1024 ~x2239+512 ~x2238+256 ~x2237+128 ~x2236+64 ~x2235+32 ~x2234+16 ~x2233+8 ~x2232+4 ~x2231+2 ~x2230+1 ~x2229+1 ~x1417+20 x1400-0=49151 2.58/2.63 c 16384 ~x81529+8192 ~x81528+4096 ~x81527+2048 ~x81526+1024 ~x81525+512 ~x81524+256 ~x81523+128 ~x81522+64 ~x81521+32 ~x81520+16 ~x81519+8 ~x81518+4 ~x81517+2 ~x81516+1 ~x81515+8192 ~x2256+4096 ~x2255+2048 ~x2254+1024 ~x2253+512 ~x2252+256 ~x2251+128 ~x2250+64 ~x2249+32 ~x2248+16 ~x2247+8 ~x2246+4 ~x2245+2 ~x2244+1 ~x2243+1 ~x1418+20 x1401-0=49151 2.68/2.72 c 16384 ~x85217+8192 ~x85216+4096 ~x85215+2048 ~x85214+1024 ~x85213+512 ~x85212+256 ~x85211+128 ~x85210+64 ~x85209+32 ~x85208+16 ~x85207+8 ~x85206+4 ~x85205+2 ~x85204+1 ~x85203+8192 ~x2270+4096 ~x2269+2048 ~x2268+1024 ~x2267+512 ~x2266+256 ~x2265+128 ~x2264+64 ~x2263+32 ~x2262+16 ~x2261+8 ~x2260+4 ~x2259+2 ~x2258+1 ~x2257+1 ~x1419+20 x1402-0=49151 2.79/2.81 c 16384 ~x88905+8192 ~x88904+4096 ~x88903+2048 ~x88902+1024 ~x88901+512 ~x88900+256 ~x88899+128 ~x88898+64 ~x88897+32 ~x88896+16 ~x88895+8 ~x88894+4 ~x88893+2 ~x88892+1 ~x88891+8192 ~x2284+4096 ~x2283+2048 ~x2282+1024 ~x2281+512 ~x2280+256 ~x2279+128 ~x2278+64 ~x2277+32 ~x2276+16 ~x2275+8 ~x2274+4 ~x2273+2 ~x2272+1 ~x2271+1 ~x1420+20 x1404-0=49151 2.89/2.91 c 1073741824 ~x92609+536870912 ~x92608+268435456 ~x92607+134217728 ~x92606+67108864 ~x92605+33554432 ~x92604+16777216 ~x92603+8388608 ~x92602+4194304 ~x92601+2097152 ~x92600+1048576 ~x92599+524288 ~x92598+262144 ~x92597+131072 ~x92596+65536 ~x92595+32768 ~x92594+16384 ~x92593+8192 ~x92592+4096 ~x92591+2048 ~x92590+1024 ~x92589+512 ~x92588+256 ~x92587+128 ~x92586+64 ~x92585+32 ~x92584+16 ~x92583+8 ~x92582+4 ~x92581+2 ~x92580+1 ~x92579+1409286144 x2103+704643072 x2102+352321536 x2101+176160768 x2100+88080384 x2099+44040192 x2098+22020096 x2097+11010048 x2096+5505024 x2095+2752512 x2094+1376256 x2093+536870912 ~x1450+268435456 ~x1449+134217728 ~x1448+67108864 ~x1447+33554432 ~x1446+16777216 ~x1445+8388608 ~x1444+4194304 ~x1443+2097152 ~x1442+1048576 ~x1441+524288 ~x1440+262144 ~x1439+131072 ~x1438+65536 ~x1437+32768 ~x1436+16384 ~x1435+8192 ~x1434+4096 ~x1433+2048 ~x1432+1024 ~x1431+512 ~x1430+256 ~x1429+128 ~x1428+64 ~x1427+32 ~x1426+16 ~x1425+8 ~x1424+4 ~x1423+2 ~x1422+1 ~x1421+688128 x1405+536870912 ~x1051+268435456 ~x1050+134217728 ~x1049+67108864 ~x1048+33554432 ~x1047+16777216 ~x1046+8388608 ~x1045+4194304 ~x1044+2097152 ~x1043+1048576 ~x1042+524288 ~x1041+262144 ~x1040+131072 ~x1039+65536 ~x1038+32768 ~x1037+16384 ~x1036+8192 ~x1035+4096 ~x1034+2048 ~x1033+1024 ~x1032+512 ~x1031+256 ~x1030+128 ~x1029+64 ~x1028+32 ~x1027+16 ~x1026+8 ~x1025+4 ~x1024+2 ~x1023+1 ~x1022+536870912 x721+268435456 x720+134217728 x719+67108864 x718+33554432 x717+16777216 x716+8388608 x715+4194304 x714+2097152 x713+1048576 x712+524288 x711+262144 x710+131072 x709+65536 x708+32768 x707+16384 x706+8192 x705+4096 x704+2048 x703+1024 x702+512 x701+256 x700+128 x699+64 x698+32 x697+16 x696+8 x695+4 x694+2 x693+1 x692-0=4294967293 3.89/3.98 c 2147483648 ~x139783+1073741824 ~x139782+536870912 ~x139781+268435456 ~x139780+134217728 ~x139779+67108864 ~x139778+33554432 ~x139777+16777216 ~x139776+8388608 ~x139775+4194304 ~x139774+2097152 ~x139773+1048576 ~x139772+524288 ~x139771+262144 ~x139770+131072 ~x139769+65536 ~x139768+32768 ~x139767+16384 ~x139766+8192 ~x139765+4096 ~x139764+2048 ~x139763+1024 ~x139762+512 ~x139761+256 ~x139760+128 ~x139759+64 ~x139758+32 ~x139757+16 ~x139756+8 ~x139755+4 ~x139754+2 ~x139753+1 ~x139752+704643072 x2116+352321536 x2115+176160768 x2114+88080384 x2113+44040192 x2112+22020096 x2111+11010048 x2110+5505024 x2109+2752512 x2108+1376256 x2107+536870912 ~x1480+268435456 ~x1479+134217728 ~x1478+67108864 ~x1477+33554432 ~x1476+16777216 ~x1475+8388608 ~x1474+4194304 ~x1473+2097152 ~x1472+1048576 ~x1471+524288 ~x1470+262144 ~x1469+131072 ~x1468+65536 ~x1467+32768 ~x1466+16384 ~x1465+8192 ~x1464+4096 ~x1463+2048 ~x1462+1024 ~x1461+512 ~x1460+256 ~x1459+128 ~x1458+64 ~x1457+32 ~x1456+16 ~x1455+8 ~x1454+4 ~x1453+2 ~x1452+1 ~x1451+688128 x1406+536870912 ~x871+268435456 ~x870+134217728 ~x869+67108864 ~x868+33554432 ~x867+16777216 ~x866+8388608 ~x865+4194304 ~x864+2097152 ~x863+1048576 ~x862+524288 ~x861+262144 ~x860+131072 ~x859+65536 ~x858+32768 ~x857+16384 ~x856+8192 ~x855+4096 ~x854+2048 ~x853+1024 ~x852+512 ~x851+256 ~x850+128 ~x849+64 ~x848+32 ~x847+16 ~x846+8 ~x845+4 ~x844+2 ~x843+1 ~x842+536870912 ~x781+268435456 ~x780+134217728 ~x779+67108864 ~x778+33554432 ~x777+16777216 ~x776+8388608 ~x775+4194304 ~x774+2097152 ~x773+1048576 ~x772+524288 ~x771+262144 ~x770+131072 ~x769+65536 ~x768+32768 ~x767+16384 ~x766+8192 ~x765+4096 ~x764+2048 ~x763+1024 ~x762+512 ~x761+256 ~x760+128 ~x759+64 ~x758+32 ~x757+16 ~x756+8 ~x755+4 ~x754+2 ~x753+1 ~x752+536870912 x751+268435456 x750+134217728 x749+67108864 x748+33554432 x747+16777216 x746+8388608 x745+4194304 x744+2097152 x743+1048576 x742+524288 x741+262144 x740+131072 x739+65536 x738+32768 x737+16384 x736+8192 x735+4096 x734+2048 x733+1024 x732+512 x731+256 x730+128 x729+64 x728+32 x727+16 x726+8 x725+4 x724+2 x723+1 x722-0=7516192764 5.29/5.30 c 536870912 ~x198114+268435456 ~x198113+134217728 ~x198112+67108864 ~x198111+33554432 ~x198110+16777216 ~x198109+8388608 ~x198108+4194304 ~x198107+2097152 ~x198106+1048576 ~x198105+524288 ~x198104+262144 ~x198103+131072 ~x198102+65536 ~x198101+32768 ~x198100+16384 ~x198099+8192 ~x198098+4096 ~x198097+2048 ~x198096+1024 ~x198095+512 ~x198094+256 ~x198093+128 ~x198092+64 ~x198091+32 ~x198090+16 ~x198089+8 ~x198088+4 ~x198087+2 ~x198086+1 ~x198085+536870912 ~x811+268435456 ~x810+134217728 ~x809+67108864 ~x808+33554432 ~x807+16777216 ~x806+8388608 ~x805+4194304 ~x804+2097152 ~x803+1048576 ~x802+524288 ~x801+262144 ~x800+131072 ~x799+65536 ~x798+32768 ~x797+16384 ~x796+8192 ~x795+4096 ~x794+2048 ~x793+1024 ~x792+512 ~x791+256 ~x790+128 ~x789+64 ~x788+32 ~x787+16 ~x786+8 ~x785+4 ~x784+2 ~x783+1 ~x782+536870912 x781+268435456 x780+134217728 x779+67108864 x778+33554432 x777+16777216 x776+8388608 x775+4194304 x774+2097152 x773+1048576 x772+524288 x771+262144 x770+131072 x769+65536 x768+32768 x767+16384 x766+8192 x765+4096 x764+2048 x763+1024 x762+512 x761+256 x760+128 x759+64 x758+32 x757+16 x756+8 x755+4 x754+2 x753+1 x752-0=2147483646 5.89/5.99 c 1073741824 ~x228502+536870912 ~x228501+268435456 ~x228500+134217728 ~x228499+67108864 ~x228498+33554432 ~x228497+16777216 ~x228496+8388608 ~x228495+4194304 ~x228494+2097152 ~x228493+1048576 ~x228492+524288 ~x228491+262144 ~x228490+131072 ~x228489+65536 ~x228488+32768 ~x228487+16384 ~x228486+8192 ~x228485+4096 ~x228484+2048 ~x228483+1024 ~x228482+512 ~x228481+256 ~x228480+128 ~x228479+64 ~x228478+32 ~x228477+16 ~x228476+8 ~x228475+4 ~x228474+2 ~x228473+1 ~x228472+704643072 x2126+352321536 x2125+176160768 x2124+88080384 x2123+44040192 x2122+22020096 x2121+11010048 x2120+5505024 x2119+2752512 x2118+1376256 x2117+536870912 ~x1510+268435456 ~x1509+134217728 ~x1508+67108864 ~x1507+33554432 ~x1506+16777216 ~x1505+8388608 ~x1504+4194304 ~x1503+2097152 ~x1502+1048576 ~x1501+524288 ~x1500+262144 ~x1499+131072 ~x1498+65536 ~x1497+32768 ~x1496+16384 ~x1495+8192 ~x1494+4096 ~x1493+2048 ~x1492+1024 ~x1491+512 ~x1490+256 ~x1489+128 ~x1488+64 ~x1487+32 ~x1486+16 ~x1485+8 ~x1484+4 ~x1483+2 ~x1482+1 ~x1481+688128 x1407+536870912 ~x841+268435456 ~x840+134217728 ~x839+67108864 ~x838+33554432 ~x837+16777216 ~x836+8388608 ~x835+4194304 ~x834+2097152 ~x833+1048576 ~x832+524288 ~x831+262144 ~x830+131072 ~x829+65536 ~x828+32768 ~x827+16384 ~x826+8192 ~x825+4096 ~x824+2048 ~x823+1024 ~x822+512 ~x821+256 ~x820+128 ~x819+64 ~x818+32 ~x817+16 ~x816+8 ~x815+4 ~x814+2 ~x813+1 ~x812+536870912 x811+268435456 x810+134217728 x809+67108864 x808+33554432 x807+16777216 x806+8388608 x805+4194304 x804+2097152 x803+1048576 x802+524288 x801+262144 x800+131072 x799+65536 x798+32768 x797+16384 x796+8192 x795+4096 x794+2048 x793+1024 x792+512 x791+256 x790+128 x789+64 x788+32 x787+16 x786+8 x785+4 x784+2 x783+1 x782-0=4294967293 6.98/7.05 c 536870912 ~x275301+268435456 ~x275300+134217728 ~x275299+67108864 ~x275298+33554432 ~x275297+16777216 ~x275296+8388608 ~x275295+4194304 ~x275294+2097152 ~x275293+1048576 ~x275292+524288 ~x275291+262144 ~x275290+131072 ~x275289+65536 ~x275288+32768 ~x275287+16384 ~x275286+8192 ~x275285+4096 ~x275284+2048 ~x275283+1024 ~x275282+512 ~x275281+256 ~x275280+128 ~x275279+64 ~x275278+32 ~x275277+16 ~x275276+8 ~x275275+4 ~x275274+2 ~x275273+1 ~x275272+704643072 x2136+352321536 x2135+176160768 x2134+88080384 x2133+44040192 x2132+22020096 x2131+11010048 x2130+5505024 x2129+2752512 x2128+1376256 x2127+536870912 ~x1540+268435456 ~x1539+134217728 ~x1538+67108864 ~x1537+33554432 ~x1536+16777216 ~x1535+8388608 ~x1534+4194304 ~x1533+2097152 ~x1532+1048576 ~x1531+524288 ~x1530+262144 ~x1529+131072 ~x1528+65536 ~x1527+32768 ~x1526+16384 ~x1525+8192 ~x1524+4096 ~x1523+2048 ~x1522+1024 ~x1521+512 ~x1520+256 ~x1519+128 ~x1518+64 ~x1517+32 ~x1516+16 ~x1515+8 ~x1514+4 ~x1513+2 ~x1512+1 ~x1511+688128 x1408+536870912 x841+268435456 x840+134217728 x839+67108864 x838+33554432 x837+16777216 x836+8388608 x835+4194304 x834+2097152 x833+1048576 x832+524288 x831+262144 x830+131072 x829+65536 x828+32768 x827+16384 x826+8192 x825+4096 x824+2048 x823+1024 x822+512 x821+256 x820+128 x819+64 x818+32 x817+16 x816+8 x815+4 x814+2 x813+1 x812-0=2147483646 7.79/7.83 c 1073741824 ~x309682+536870912 ~x309681+268435456 ~x309680+134217728 ~x309679+67108864 ~x309678+33554432 ~x309677+16777216 ~x309676+8388608 ~x309675+4194304 ~x309674+2097152 ~x309673+1048576 ~x309672+524288 ~x309671+262144 ~x309670+131072 ~x309669+65536 ~x309668+32768 ~x309667+16384 ~x309666+8192 ~x309665+4096 ~x309664+2048 ~x309663+1024 ~x309662+512 ~x309661+256 ~x309660+128 ~x309659+64 ~x309658+32 ~x309657+16 ~x309656+8 ~x309655+4 ~x309654+2 ~x309653+1 ~x309652+704643072 x2146+352321536 x2145+176160768 x2144+88080384 x2143+44040192 x2142+22020096 x2141+11010048 x2140+5505024 x2139+2752512 x2138+1376256 x2137+536870912 ~x1570+268435456 ~x1569+134217728 ~x1568+67108864 ~x1567+33554432 ~x1566+16777216 ~x1565+8388608 ~x1564+4194304 ~x1563+2097152 ~x1562+1048576 ~x1561+524288 ~x1560+262144 ~x1559+131072 ~x1558+65536 ~x1557+32768 ~x1556+16384 ~x1555+8192 ~x1554+4096 ~x1553+2048 ~x1552+1024 ~x1551+512 ~x1550+256 ~x1549+128 ~x1548+64 ~x1547+32 ~x1546+16 ~x1545+8 ~x1544+4 ~x1543+2 ~x1542+1 ~x1541+688128 x1409+536870912 ~x931+268435456 ~x930+134217728 ~x929+67108864 ~x928+33554432 ~x927+16777216 ~x926+8388608 ~x925+4194304 ~x924+2097152 ~x923+1048576 ~x922+524288 ~x921+262144 ~x920+131072 ~x919+65536 ~x918+32768 ~x917+16384 ~x916+8192 ~x915+4096 ~x914+2048 ~x913+1024 ~x912+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902+536870912 x901+268435456 x900+134217728 x899+67108864 x898+33554432 x897+16777216 x896+8388608 x895+4194304 x894+2097152 x893+1048576 x892+524288 x891+262144 x890+131072 x889+65536 x888+32768 x887+16384 x886+8192 x885+4096 x884+2048 x883+1024 x882+512 x881+256 x880+128 x879+64 x878+32 x877+16 x876+8 x875+4 x874+2 x873+1 x872-0=4294967293 8.88/8.90 c 1073741824 ~x356482+536870912 ~x356481+268435456 ~x356480+134217728 ~x356479+67108864 ~x356478+33554432 ~x356477+16777216 ~x356476+8388608 ~x356475+4194304 ~x356474+2097152 ~x356473+1048576 ~x356472+524288 ~x356471+262144 ~x356470+131072 ~x356469+65536 ~x356468+32768 ~x356467+16384 ~x356466+8192 ~x356465+4096 ~x356464+2048 ~x356463+1024 ~x356462+512 ~x356461+256 ~x356460+128 ~x356459+64 ~x356458+32 ~x356457+16 ~x356456+8 ~x356455+4 ~x356454+2 ~x356453+1 ~x356452+704643072 x2156+352321536 x2155+176160768 x2154+88080384 x2153+44040192 x2152+22020096 x2151+11010048 x2150+5505024 x2149+2752512 x2148+1376256 x2147+536870912 ~x1600+268435456 ~x1599+134217728 ~x1598+67108864 ~x1597+33554432 ~x1596+16777216 ~x1595+8388608 ~x1594+4194304 ~x1593+2097152 ~x1592+1048576 ~x1591+524288 ~x1590+262144 ~x1589+131072 ~x1588+65536 ~x1587+32768 ~x1586+16384 ~x1585+8192 ~x1584+4096 ~x1583+2048 ~x1582+1024 ~x1581+512 ~x1580+256 ~x1579+128 ~x1578+64 ~x1577+32 ~x1576+16 ~x1575+8 ~x1574+4 ~x1573+2 ~x1572+1 ~x1571+688128 x1410+536870912 ~x961+268435456 ~x960+134217728 ~x959+67108864 ~x958+33554432 ~x957+16777216 ~x956+8388608 ~x955+4194304 ~x954+2097152 ~x953+1048576 ~x952+524288 ~x951+262144 ~x950+131072 ~x949+65536 ~x948+32768 ~x947+16384 ~x946+8192 ~x945+4096 ~x944+2048 ~x943+1024 ~x942+512 ~x941+256 ~x940+128 ~x939+64 ~x938+32 ~x937+16 ~x936+8 ~x935+4 ~x934+2 ~x933+1 ~x932+536870912 x931+268435456 x930+134217728 x929+67108864 x928+33554432 x927+16777216 x926+8388608 x925+4194304 x924+2097152 x923+1048576 x922+524288 x921+262144 x920+131072 x919+65536 x918+32768 x917+16384 x916+8192 x915+4096 x914+2048 x913+1024 x912+512 x911+256 x910+128 x909+64 x908+32 x907+16 x906+8 x905+4 x904+2 x903+1 x902-0=4294967293 9.89/9.96 c 1073741824 ~x403282+536870912 ~x403281+268435456 ~x403280+134217728 ~x403279+67108864 ~x403278+33554432 ~x403277+16777216 ~x403276+8388608 ~x403275+4194304 ~x403274+2097152 ~x403273+1048576 ~x403272+524288 ~x403271+262144 ~x403270+131072 ~x403269+65536 ~x403268+32768 ~x403267+16384 ~x403266+8192 ~x403265+4096 ~x403264+2048 ~x403263+1024 ~x403262+512 ~x403261+256 ~x403260+128 ~x403259+64 ~x403258+32 ~x403257+16 ~x403256+8 ~x403255+4 ~x403254+2 ~x403253+1 ~x403252+704643072 x2166+352321536 x2165+176160768 x2164+88080384 x2163+44040192 x2162+22020096 x2161+11010048 x2160+5505024 x2159+2752512 x2158+1376256 x2157+536870912 ~x1630+268435456 ~x1629+134217728 ~x1628+67108864 ~x1627+33554432 ~x1626+16777216 ~x1625+8388608 ~x1624+4194304 ~x1623+2097152 ~x1622+1048576 ~x1621+524288 ~x1620+262144 ~x1619+131072 ~x1618+65536 ~x1617+32768 ~x1616+16384 ~x1615+8192 ~x1614+4096 ~x1613+2048 ~x1612+1024 ~x1611+512 ~x1610+256 ~x1609+128 ~x1608+64 ~x1607+32 ~x1606+16 ~x1605+8 ~x1604+4 ~x1603+2 ~x1602+1 ~x1601+688128 x1411+536870912 ~x991+268435456 ~x990+134217728 ~x989+67108864 ~x988+33554432 ~x987+16777216 ~x986+8388608 ~x985+4194304 ~x984+2097152 ~x983+1048576 ~x982+524288 ~x981+262144 ~x980+131072 ~x979+65536 ~x978+32768 ~x977+16384 ~x976+8192 ~x975+4096 ~x974+2048 ~x973+1024 ~x972+512 ~x971+256 ~x970+128 ~x969+64 ~x968+32 ~x967+16 ~x966+8 ~x965+4 ~x964+2 ~x963+1 ~x962+536870912 x961+268435456 x960+134217728 x959+67108864 x958+33554432 x957+16777216 x956+8388608 x955+4194304 x954+2097152 x953+1048576 x952+524288 x951+262144 x950+131072 x949+65536 x948+32768 x947+16384 x946+8192 x945+4096 x944+2048 x943+1024 x942+512 x941+256 x940+128 x939+64 x938+32 x937+16 x936+8 x935+4 x934+2 x933+1 x932-0=4294967293 10.99/11.02 c 536870912 ~x450081+268435456 ~x450080+134217728 ~x450079+67108864 ~x450078+33554432 ~x450077+16777216 ~x450076+8388608 ~x450075+4194304 ~x450074+2097152 ~x450073+1048576 ~x450072+524288 ~x450071+262144 ~x450070+131072 ~x450069+65536 ~x450068+32768 ~x450067+16384 ~x450066+8192 ~x450065+4096 ~x450064+2048 ~x450063+1024 ~x450062+512 ~x450061+256 ~x450060+128 ~x450059+64 ~x450058+32 ~x450057+16 ~x450056+8 ~x450055+4 ~x450054+2 ~x450053+1 ~x450052+536870912 ~x1081+268435456 ~x1080+134217728 ~x1079+67108864 ~x1078+33554432 ~x1077+16777216 ~x1076+8388608 ~x1075+4194304 ~x1074+2097152 ~x1073+1048576 ~x1072+524288 ~x1071+262144 ~x1070+131072 ~x1069+65536 ~x1068+32768 ~x1067+16384 ~x1066+8192 ~x1065+4096 ~x1064+2048 ~x1063+1024 ~x1062+512 ~x1061+256 ~x1060+128 ~x1059+64 ~x1058+32 ~x1057+16 ~x1056+8 ~x1055+4 ~x1054+2 ~x1053+1 ~x1052+536870912 x1021+268435456 x1020+134217728 x1019+67108864 x1018+33554432 x1017+16777216 x1016+8388608 x1015+4194304 x1014+2097152 x1013+1048576 x1012+524288 x1011+262144 x1010+131072 x1009+65536 x1008+32768 x1007+16384 x1006+8192 x1005+4096 x1004+2048 x1003+1024 x1002+512 x1001+256 x1000+128 x999+64 x998+32 x997+16 x996+8 x995+4 x994+2 x993+1 x992-0=2147483646 11.69/11.71 c 1073741824 ~x480469+536870912 ~x480468+268435456 ~x480467+134217728 ~x480466+67108864 ~x480465+33554432 ~x480464+16777216 ~x480463+8388608 ~x480462+4194304 ~x480461+2097152 ~x480460+1048576 ~x480459+524288 ~x480458+262144 ~x480457+131072 ~x480456+65536 ~x480455+32768 ~x480454+16384 ~x480453+8192 ~x480452+4096 ~x480451+2048 ~x480450+1024 ~x480449+512 ~x480448+256 ~x480447+128 ~x480446+64 ~x480445+32 ~x480444+16 ~x480443+8 ~x480442+4 ~x480441+2 ~x480440+1 ~x480439+1409286144 x2177+704643072 x2176+352321536 x2175+176160768 x2174+88080384 x2173+44040192 x2172+22020096 x2171+11010048 x2170+5505024 x2169+2752512 x2168+1376256 x2167+536870912 ~x1660+268435456 ~x1659+134217728 ~x1658+67108864 ~x1657+33554432 ~x1656+16777216 ~x1655+8388608 ~x1654+4194304 ~x1653+2097152 ~x1652+1048576 ~x1651+524288 ~x1650+262144 ~x1649+131072 ~x1648+65536 ~x1647+32768 ~x1646+16384 ~x1645+8192 ~x1644+4096 ~x1643+2048 ~x1642+1024 ~x1641+512 ~x1640+256 ~x1639+128 ~x1638+64 ~x1637+32 ~x1636+16 ~x1635+8 ~x1634+4 ~x1633+2 ~x1632+1 ~x1631+688128 x1412+536870912 ~x1201+268435456 ~x1200+134217728 ~x1199+67108864 ~x1198+33554432 ~x1197+16777216 ~x1196+8388608 ~x1195+4194304 ~x1194+2097152 ~x1193+1048576 ~x1192+524288 ~x1191+262144 ~x1190+131072 ~x1189+65536 ~x1188+32768 ~x1187+16384 ~x1186+8192 ~x1185+4096 ~x1184+2048 ~x1183+1024 ~x1182+512 ~x1181+256 ~x1180+128 ~x1179+64 ~x1178+32 ~x1177+16 ~x1176+8 ~x1175+4 ~x1174+2 ~x1173+1 ~x1172+536870912 x1051+268435456 x1050+134217728 x1049+67108864 x1048+33554432 x1047+16777216 x1046+8388608 x1045+4194304 x1044+2097152 x1043+1048576 x1042+524288 x1041+262144 x1040+131072 x1039+65536 x1038+32768 x1037+16384 x1036+8192 x1035+4096 x1034+2048 x1033+1024 x1032+512 x1031+256 x1030+128 x1029+64 x1028+32 x1027+16 x1026+8 x1025+4 x1024+2 x1023+1 x1022-0=4294967293 12.68/12.78 c 536870912 ~x527641+268435456 ~x527640+134217728 ~x527639+67108864 ~x527638+33554432 ~x527637+16777216 ~x527636+8388608 ~x527635+4194304 ~x527634+2097152 ~x527633+1048576 ~x527632+524288 ~x527631+262144 ~x527630+131072 ~x527629+65536 ~x527628+32768 ~x527627+16384 ~x527626+8192 ~x527625+4096 ~x527624+2048 ~x527623+1024 ~x527622+512 ~x527621+256 ~x527620+128 ~x527619+64 ~x527618+32 ~x527617+16 ~x527616+8 ~x527615+4 ~x527614+2 ~x527613+1 ~x527612+704643072 x2190+352321536 x2189+176160768 x2188+88080384 x2187+44040192 x2186+22020096 x2185+11010048 x2184+5505024 x2183+2752512 x2182+1376256 x2181+536870912 ~x1690+268435456 ~x1689+134217728 ~x1688+67108864 ~x1687+33554432 ~x1686+16777216 ~x1685+8388608 ~x1684+4194304 ~x1683+2097152 ~x1682+1048576 ~x1681+524288 ~x1680+262144 ~x1679+131072 ~x1678+65536 ~x1677+32768 ~x1676+16384 ~x1675+8192 ~x1674+4096 ~x1673+2048 ~x1672+1024 ~x1671+512 ~x1670+256 ~x1669+128 ~x1668+64 ~x1667+32 ~x1666+16 ~x1665+8 ~x1664+4 ~x1663+2 ~x1662+1 ~x1661+688128 x1413+536870912 x1081+268435456 x1080+134217728 x1079+67108864 x1078+33554432 x1077+16777216 x1076+8388608 x1075+4194304 x1074+2097152 x1073+1048576 x1072+524288 x1071+262144 x1070+131072 x1069+65536 x1068+32768 x1067+16384 x1066+8192 x1065+4096 x1064+2048 x1063+1024 x1062+512 x1061+256 x1060+128 x1059+64 x1058+32 x1057+16 x1056+8 x1055+4 x1054+2 x1053+1 x1052-0=2147483646 13.48/13.57 c 536870912 ~x562021+268435456 ~x562020+134217728 ~x562019+67108864 ~x562018+33554432 ~x562017+16777216 ~x562016+8388608 ~x562015+4194304 ~x562014+2097152 ~x562013+1048576 ~x562012+524288 ~x562011+262144 ~x562010+131072 ~x562009+65536 ~x562008+32768 ~x562007+16384 ~x562006+8192 ~x562005+4096 ~x562004+2048 ~x562003+1024 ~x562002+512 ~x562001+256 ~x562000+128 ~x561999+64 ~x561998+32 ~x561997+16 ~x561996+8 ~x561995+4 ~x561994+2 ~x561993+1 ~x561992+704643072 x2200+352321536 x2199+176160768 x2198+88080384 x2197+44040192 x2196+22020096 x2195+11010048 x2194+5505024 x2193+2752512 x2192+1376256 x2191+536870912 ~x1720+268435456 ~x1719+134217728 ~x1718+67108864 ~x1717+33554432 ~x1716+16777216 ~x1715+8388608 ~x1714+4194304 ~x1713+2097152 ~x1712+1048576 ~x1711+524288 ~x1710+262144 ~x1709+131072 ~x1708+65536 ~x1707+32768 ~x1706+16384 ~x1705+8192 ~x1704+4096 ~x1703+2048 ~x1702+1024 ~x1701+512 ~x1700+256 ~x1699+128 ~x1698+64 ~x1697+32 ~x1696+16 ~x1695+8 ~x1694+4 ~x1693+2 ~x1692+1 ~x1691+688128 x1414+536870912 x1111+268435456 x1110+134217728 x1109+67108864 x1108+33554432 x1107+16777216 x1106+8388608 x1105+4194304 x1104+2097152 x1103+1048576 x1102+524288 x1101+262144 x1100+131072 x1099+65536 x1098+32768 x1097+16384 x1096+8192 x1095+4096 x1094+2048 x1093+1024 x1092+512 x1091+256 x1090+128 x1089+64 x1088+32 x1087+16 x1086+8 x1085+4 x1084+2 x1083+1 x1082-0=2147483646 14.29/14.35 c 1073741824 ~x596402+536870912 ~x596401+268435456 ~x596400+134217728 ~x596399+67108864 ~x596398+33554432 ~x596397+16777216 ~x596396+8388608 ~x596395+4194304 ~x596394+2097152 ~x596393+1048576 ~x596392+524288 ~x596391+262144 ~x596390+131072 ~x596389+65536 ~x596388+32768 ~x596387+16384 ~x596386+8192 ~x596385+4096 ~x596384+2048 ~x596383+1024 ~x596382+512 ~x596381+256 ~x596380+128 ~x596379+64 ~x596378+32 ~x596377+16 ~x596376+8 ~x596375+4 ~x596374+2 ~x596373+1 ~x596372+1409286144 x2211+704643072 x2210+352321536 x2209+176160768 x2208+88080384 x2207+44040192 x2206+22020096 x2205+11010048 x2204+5505024 x2203+2752512 x2202+1376256 x2201+536870912 ~x1750+268435456 ~x1749+134217728 ~x1748+67108864 ~x1747+33554432 ~x1746+16777216 ~x1745+8388608 ~x1744+4194304 ~x1743+2097152 ~x1742+1048576 ~x1741+524288 ~x1740+262144 ~x1739+131072 ~x1738+65536 ~x1737+32768 ~x1736+16384 ~x1735+8192 ~x1734+4096 ~x1733+2048 ~x1732+1024 ~x1731+512 ~x1730+256 ~x1729+128 ~x1728+64 ~x1727+32 ~x1726+16 ~x1725+8 ~x1724+4 ~x1723+2 ~x1722+1 ~x1721+688128 x1415+536870912 ~x1231+268435456 ~x1230+134217728 ~x1229+67108864 ~x1228+33554432 ~x1227+16777216 ~x1226+8388608 ~x1225+4194304 ~x1224+2097152 ~x1223+1048576 ~x1222+524288 ~x1221+262144 ~x1220+131072 ~x1219+65536 ~x1218+32768 ~x1217+16384 ~x1216+8192 ~x1215+4096 ~x1214+2048 ~x1213+1024 ~x1212+512 ~x1211+256 ~x1210+128 ~x1209+64 ~x1208+32 ~x1207+16 ~x1206+8 ~x1205+4 ~x1204+2 ~x1203+1 ~x1202+536870912 x1201+268435456 x1200+134217728 x1199+67108864 x1198+33554432 x1197+16777216 x1196+8388608 x1195+4194304 x1194+2097152 x1193+1048576 x1192+524288 x1191+262144 x1190+131072 x1189+65536 x1188+32768 x1187+16384 x1186+8192 x1185+4096 x1184+2048 x1183+1024 x1182+512 x1181+256 x1180+128 x1179+64 x1178+32 x1177+16 x1176+8 x1175+4 x1174+2 x1173+1 x1172-0=4294967293 15.39/15.43 c 1073741824 ~x643575+536870912 ~x643574+268435456 ~x643573+134217728 ~x643572+67108864 ~x643571+33554432 ~x643570+16777216 ~x643569+8388608 ~x643568+4194304 ~x643567+2097152 ~x643566+1048576 ~x643565+524288 ~x643564+262144 ~x643563+131072 ~x643562+65536 ~x643561+32768 ~x643560+16384 ~x643559+8192 ~x643558+4096 ~x643557+2048 ~x643556+1024 ~x643555+512 ~x643554+256 ~x643553+128 ~x643552+64 ~x643551+32 ~x643550+16 ~x643549+8 ~x643548+4 ~x643547+2 ~x643546+1 ~x643545+1409286144 x2225+704643072 x2224+352321536 x2223+176160768 x2222+88080384 x2221+44040192 x2220+22020096 x2219+11010048 x2218+5505024 x2217+2752512 x2216+1376256 x2215+536870912 ~x1780+268435456 ~x1779+134217728 ~x1778+67108864 ~x1777+33554432 ~x1776+16777216 ~x1775+8388608 ~x1774+4194304 ~x1773+2097152 ~x1772+1048576 ~x1771+524288 ~x1770+262144 ~x1769+131072 ~x1768+65536 ~x1767+32768 ~x1766+16384 ~x1765+8192 ~x1764+4096 ~x1763+2048 ~x1762+1024 ~x1761+512 ~x1760+256 ~x1759+128 ~x1758+64 ~x1757+32 ~x1756+16 ~x1755+8 ~x1754+4 ~x1753+2 ~x1752+1 ~x1751+688128 x1416+536870912 ~x1261+268435456 ~x1260+134217728 ~x1259+67108864 ~x1258+33554432 ~x1257+16777216 ~x1256+8388608 ~x1255+4194304 ~x1254+2097152 ~x1253+1048576 ~x1252+524288 ~x1251+262144 ~x1250+131072 ~x1249+65536 ~x1248+32768 ~x1247+16384 ~x1246+8192 ~x1245+4096 ~x1244+2048 ~x1243+1024 ~x1242+512 ~x1241+256 ~x1240+128 ~x1239+64 ~x1238+32 ~x1237+16 ~x1236+8 ~x1235+4 ~x1234+2 ~x1233+1 ~x1232+536870912 x1231+268435456 x1230+134217728 x1229+67108864 x1228+33554432 x1227+16777216 x1226+8388608 x1225+4194304 x1224+2097152 x1223+1048576 x1222+524288 x1221+262144 x1220+131072 x1219+65536 x1218+32768 x1217+16384 x1216+8192 x1215+4096 x1214+2048 x1213+1024 x1212+512 x1211+256 x1210+128 x1209+64 x1208+32 x1207+16 x1206+8 x1205+4 x1204+2 x1203+1 x1202-0=4294967293 16.39/16.50 c 2147483648 ~x690749+1073741824 ~x690748+536870912 ~x690747+268435456 ~x690746+134217728 ~x690745+67108864 ~x690744+33554432 ~x690743+16777216 ~x690742+8388608 ~x690741+4194304 ~x690740+2097152 ~x690739+1048576 ~x690738+524288 ~x690737+262144 ~x690736+131072 ~x690735+65536 ~x690734+32768 ~x690733+16384 ~x690732+8192 ~x690731+4096 ~x690730+2048 ~x690729+1024 ~x690728+512 ~x690727+256 ~x690726+128 ~x690725+64 ~x690724+32 ~x690723+16 ~x690722+8 ~x690721+4 ~x690720+2 ~x690719+1 ~x690718+2818572288 x2240+1409286144 x2239+704643072 x2238+352321536 x2237+176160768 x2236+88080384 x2235+44040192 x2234+22020096 x2233+11010048 x2232+5505024 x2231+2752512 x2230+1376256 x2229+536870912 ~x1810+268435456 ~x1809+134217728 ~x1808+67108864 ~x1807+33554432 ~x1806+16777216 ~x1805+8388608 ~x1804+4194304 ~x1803+2097152 ~x1802+1048576 ~x1801+524288 ~x1800+262144 ~x1799+131072 ~x1798+65536 ~x1797+32768 ~x1796+16384 ~x1795+8192 ~x1794+4096 ~x1793+2048 ~x1792+1024 ~x1791+512 ~x1790+256 ~x1789+128 ~x1788+64 ~x1787+32 ~x1786+16 ~x1785+8 ~x1784+4 ~x1783+2 ~x1782+1 ~x1781+688128 x1417+536870912 ~x1291+268435456 ~x1290+134217728 ~x1289+67108864 ~x1288+33554432 ~x1287+16777216 ~x1286+8388608 ~x1285+4194304 ~x1284+2097152 ~x1283+1048576 ~x1282+524288 ~x1281+262144 ~x1280+131072 ~x1279+65536 ~x1278+32768 ~x1277+16384 ~x1276+8192 ~x1275+4096 ~x1274+2048 ~x1273+1024 ~x1272+512 ~x1271+256 ~x1270+128 ~x1269+64 ~x1268+32 ~x1267+16 ~x1266+8 ~x1265+4 ~x1264+2 ~x1263+1 ~x1262+536870912 x1261+268435456 x1260+134217728 x1259+67108864 x1258+33554432 x1257+16777216 x1256+8388608 x1255+4194304 x1254+2097152 x1253+1048576 x1252+524288 x1251+262144 x1250+131072 x1249+65536 x1248+32768 x1247+16384 x1246+8192 x1245+4096 x1244+2048 x1243+1024 x1242+512 x1241+256 x1240+128 x1239+64 x1238+32 x1237+16 x1236+8 x1235+4 x1234+2 x1233+1 x1232+536870912 ~x901+268435456 ~x900+134217728 ~x899+67108864 ~x898+33554432 ~x897+16777216 ~x896+8388608 ~x895+4194304 ~x894+2097152 ~x893+1048576 ~x892+524288 ~x891+262144 ~x890+131072 ~x889+65536 ~x888+32768 ~x887+16384 ~x886+8192 ~x885+4096 ~x884+2048 ~x883+1024 ~x882+512 ~x881+256 ~x880+128 ~x879+64 ~x878+32 ~x877+16 ~x876+8 ~x875+4 ~x874+2 ~x873+1 ~x872+536870912 ~x751+268435456 ~x750+134217728 ~x749+67108864 ~x748+33554432 ~x747+16777216 ~x746+8388608 ~x745+4194304 ~x744+2097152 ~x743+1048576 ~x742+524288 ~x741+262144 ~x740+131072 ~x739+65536 ~x738+32768 ~x737+16384 ~x736+8192 ~x735+4096 ~x734+2048 ~x733+1024 ~x732+512 ~x731+256 ~x730+128 ~x729+64 ~x728+32 ~x727+16 ~x726+8 ~x725+4 ~x724+2 ~x723+1 ~x722-0=8589934587 17.98/18.08 c 4294967296 ~x760988+2147483648 ~x760987+1073741824 ~x760986+536870912 ~x760985+268435456 ~x760984+134217728 ~x760983+67108864 ~x760982+33554432 ~x760981+16777216 ~x760980+8388608 ~x760979+4194304 ~x760978+2097152 ~x760977+1048576 ~x760976+524288 ~x760975+262144 ~x760974+131072 ~x760973+65536 ~x760972+32768 ~x760971+16384 ~x760970+8192 ~x760969+4096 ~x760968+2048 ~x760967+1024 ~x760966+512 ~x760965+256 ~x760964+128 ~x760963+64 ~x760962+32 ~x760961+16 ~x760960+8 ~x760959+4 ~x760958+2 ~x760957+1 ~x760956+2818572288 x2254+1409286144 x2253+704643072 x2252+352321536 x2251+176160768 x2250+88080384 x2249+44040192 x2248+22020096 x2247+11010048 x2246+5505024 x2245+2752512 x2244+1376256 x2243+536870912 ~x1840+268435456 ~x1839+134217728 ~x1838+67108864 ~x1837+33554432 ~x1836+16777216 ~x1835+8388608 ~x1834+4194304 ~x1833+2097152 ~x1832+1048576 ~x1831+524288 ~x1830+262144 ~x1829+131072 ~x1828+65536 ~x1827+32768 ~x1826+16384 ~x1825+8192 ~x1824+4096 ~x1823+2048 ~x1822+1024 ~x1821+512 ~x1820+256 ~x1819+128 ~x1818+64 ~x1817+32 ~x1816+16 ~x1815+8 ~x1814+4 ~x1813+2 ~x1812+1 ~x1811+688128 x1418+536870912 ~x1321+268435456 ~x1320+134217728 ~x1319+67108864 ~x1318+33554432 ~x1317+16777216 ~x1316+8388608 ~x1315+4194304 ~x1314+2097152 ~x1313+1048576 ~x1312+524288 ~x1311+262144 ~x1310+131072 ~x1309+65536 ~x1308+32768 ~x1307+16384 ~x1306+8192 ~x1305+4096 ~x1304+2048 ~x1303+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292+536870912 x1291+268435456 x1290+134217728 x1289+67108864 x1288+33554432 x1287+16777216 x1286+8388608 x1285+4194304 x1284+2097152 x1283+1048576 x1282+524288 x1281+262144 x1280+131072 x1279+65536 x1278+32768 x1277+16384 x1276+8192 x1275+4096 x1274+2048 x1273+1024 x1272+512 x1271+256 x1270+128 x1269+64 x1268+32 x1267+16 x1266+8 x1265+4 x1264+2 x1263+1 x1262+536870912 ~x1171+268435456 ~x1170+134217728 ~x1169+67108864 ~x1168+33554432 ~x1167+16777216 ~x1166+8388608 ~x1165+4194304 ~x1164+2097152 ~x1163+1048576 ~x1162+524288 ~x1161+262144 ~x1160+131072 ~x1159+65536 ~x1158+32768 ~x1157+16384 ~x1156+8192 ~x1155+4096 ~x1154+2048 ~x1153+1024 ~x1152+512 ~x1151+256 ~x1150+128 ~x1149+64 ~x1148+32 ~x1147+16 ~x1146+8 ~x1145+4 ~x1144+2 ~x1143+1 ~x1142+536870912 ~x1141+268435456 ~x1140+134217728 ~x1139+67108864 ~x1138+33554432 ~x1137+16777216 ~x1136+8388608 ~x1135+4194304 ~x1134+2097152 ~x1133+1048576 ~x1132+524288 ~x1131+262144 ~x1130+131072 ~x1129+65536 ~x1128+32768 ~x1127+16384 ~x1126+8192 ~x1125+4096 ~x1124+2048 ~x1123+1024 ~x1122+512 ~x1121+256 ~x1120+128 ~x1119+64 ~x1118+32 ~x1117+16 ~x1116+8 ~x1115+4 ~x1114+2 ~x1113+1 ~x1112+536870912 ~x1021+268435456 ~x1020+134217728 ~x1019+67108864 ~x1018+33554432 ~x1017+16777216 ~x1016+8388608 ~x1015+4194304 ~x1014+2097152 ~x1013+1048576 ~x1012+524288 ~x1011+262144 ~x1010+131072 ~x1009+65536 ~x1008+32768 ~x1007+16384 ~x1006+8192 ~x1005+4096 ~x1004+2048 ~x1003+1024 ~x1002+512 ~x1001+256 ~x1000+128 ~x999+64 ~x998+32 ~x997+16 ~x996+8 ~x995+4 ~x994+2 ~x993+1 ~x992-0=13958643706 19.89/19.94 c 2147483648 ~x844009+1073741824 ~x844008+536870912 ~x844007+268435456 ~x844006+134217728 ~x844005+67108864 ~x844004+33554432 ~x844003+16777216 ~x844002+8388608 ~x844001+4194304 ~x844000+2097152 ~x843999+1048576 ~x843998+524288 ~x843997+262144 ~x843996+131072 ~x843995+65536 ~x843994+32768 ~x843993+16384 ~x843992+8192 ~x843991+4096 ~x843990+2048 ~x843989+1024 ~x843988+512 ~x843987+256 ~x843986+128 ~x843985+64 ~x843984+32 ~x843983+16 ~x843982+8 ~x843981+4 ~x843980+2 ~x843979+1 ~x843978+2818572288 x2268+1409286144 x2267+704643072 x2266+352321536 x2265+176160768 x2264+88080384 x2263+44040192 x2262+22020096 x2261+11010048 x2260+5505024 x2259+2752512 x2258+1376256 x2257+536870912 ~x1870+268435456 ~x1869+134217728 ~x1868+67108864 ~x1867+33554432 ~x1866+16777216 ~x1865+8388608 ~x1864+4194304 ~x1863+2097152 ~x1862+1048576 ~x1861+524288 ~x1860+262144 ~x1859+131072 ~x1858+65536 ~x1857+32768 ~x1856+16384 ~x1855+8192 ~x1854+4096 ~x1853+2048 ~x1852+1024 ~x1851+512 ~x1850+256 ~x1849+128 ~x1848+64 ~x1847+32 ~x1846+16 ~x1845+8 ~x1844+4 ~x1843+2 ~x1842+1 ~x1841+688128 x1419+536870912 ~x1351+268435456 ~x1350+134217728 ~x1349+67108864 ~x1348+33554432 ~x1347+16777216 ~x1346+8388608 ~x1345+4194304 ~x1344+2097152 ~x1343+1048576 ~x1342+524288 ~x1341+262144 ~x1340+131072 ~x1339+65536 ~x1338+32768 ~x1337+16384 ~x1336+8192 ~x1335+4096 ~x1334+2048 ~x1333+1024 ~x1332+512 ~x1331+256 ~x1330+128 ~x1329+64 ~x1328+32 ~x1327+16 ~x1326+8 ~x1325+4 ~x1324+2 ~x1323+1 ~x1322+536870912 x1321+268435456 x1320+134217728 x1319+67108864 x1318+33554432 x1317+16777216 x1316+8388608 x1315+4194304 x1314+2097152 x1313+1048576 x1312+524288 x1311+262144 x1310+131072 x1309+65536 x1308+32768 x1307+16384 x1306+8192 x1305+4096 x1304+2048 x1303+1024 x1302+512 x1301+256 x1300+128 x1299+64 x1298+32 x1297+16 x1296+8 x1295+4 x1294+2 x1293+1 x1292+536870912 ~x1111+268435456 ~x1110+134217728 ~x1109+67108864 ~x1108+33554432 ~x1107+16777216 ~x1106+8388608 ~x1105+4194304 ~x1104+2097152 ~x1103+1048576 ~x1102+524288 ~x1101+262144 ~x1100+131072 ~x1099+65536 ~x1098+32768 ~x1097+16384 ~x1096+8192 ~x1095+4096 ~x1094+2048 ~x1093+1024 ~x1092+512 ~x1091+256 ~x1090+128 ~x1089+64 ~x1088+32 ~x1087+16 ~x1086+8 ~x1085+4 ~x1084+2 ~x1083+1 ~x1082-0=7516192764 21.18/21.27 c 536870912 ~x903085+268435456 ~x903084+134217728 ~x903083+67108864 ~x903082+33554432 ~x903081+16777216 ~x903080+8388608 ~x903079+4194304 ~x903078+2097152 ~x903077+1048576 ~x903076+524288 ~x903075+262144 ~x903074+131072 ~x903073+65536 ~x903072+32768 ~x903071+16384 ~x903070+8192 ~x903069+4096 ~x903068+2048 ~x903067+1024 ~x903066+512 ~x903065+256 ~x903064+128 ~x903063+64 ~x903062+32 ~x903061+16 ~x903060+8 ~x903059+4 ~x903058+2 ~x903057+1 ~x903056+536870912 ~x1381+268435456 ~x1380+134217728 ~x1379+67108864 ~x1378+33554432 ~x1377+16777216 ~x1376+8388608 ~x1375+4194304 ~x1374+2097152 ~x1373+1048576 ~x1372+524288 ~x1371+262144 ~x1370+131072 ~x1369+65536 ~x1368+32768 ~x1367+16384 ~x1366+8192 ~x1365+4096 ~x1364+2048 ~x1363+1024 ~x1362+512 ~x1361+256 ~x1360+128 ~x1359+64 ~x1358+32 ~x1357+16 ~x1356+8 ~x1355+4 ~x1354+2 ~x1353+1 ~x1352+536870912 x1351+268435456 x1350+134217728 x1349+67108864 x1348+33554432 x1347+16777216 x1346+8388608 x1345+4194304 x1344+2097152 x1343+1048576 x1342+524288 x1341+262144 x1340+131072 x1339+65536 x1338+32768 x1337+16384 x1336+8192 x1335+4096 x1334+2048 x1333+1024 x1332+512 x1331+256 x1330+128 x1329+64 x1328+32 x1327+16 x1326+8 x1325+4 x1324+2 x1323+1 x1322-0=2147483646 21.89/21.96 c 536870912 ~x933472+268435456 ~x933471+134217728 ~x933470+67108864 ~x933469+33554432 ~x933468+16777216 ~x933467+8388608 ~x933466+4194304 ~x933465+2097152 ~x933464+1048576 ~x933463+524288 ~x933462+262144 ~x933461+131072 ~x933460+65536 ~x933459+32768 ~x933458+16384 ~x933457+8192 ~x933456+4096 ~x933455+2048 ~x933454+1024 ~x933453+512 ~x933452+256 ~x933451+128 ~x933450+64 ~x933449+32 ~x933448+16 ~x933447+8 ~x933446+4 ~x933445+2 ~x933444+1 ~x933443+704643072 x2280+352321536 x2279+176160768 x2278+88080384 x2277+44040192 x2276+22020096 x2275+11010048 x2274+5505024 x2273+2752512 x2272+1376256 x2271+536870912 ~x1900+268435456 ~x1899+134217728 ~x1898+67108864 ~x1897+33554432 ~x1896+16777216 ~x1895+8388608 ~x1894+4194304 ~x1893+2097152 ~x1892+1048576 ~x1891+524288 ~x1890+262144 ~x1889+131072 ~x1888+65536 ~x1887+32768 ~x1886+16384 ~x1885+8192 ~x1884+4096 ~x1883+2048 ~x1882+1024 ~x1881+512 ~x1880+256 ~x1879+128 ~x1878+64 ~x1877+32 ~x1876+16 ~x1875+8 ~x1874+4 ~x1873+2 ~x1872+1 ~x1871+688128 x1420+536870912 x1381+268435456 x1380+134217728 x1379+67108864 x1378+33554432 x1377+16777216 x1376+8388608 x1375+4194304 x1374+2097152 x1373+1048576 x1372+524288 x1371+262144 x1370+131072 x1369+65536 x1368+32768 x1367+16384 x1366+8192 x1365+4096 x1364+2048 x1363+1024 x1362+512 x1361+256 x1360+128 x1359+64 x1358+32 x1357+16 x1356+8 x1355+4 x1354+2 x1353+1 x1352-0=2147483646 22.68/22.74 c 536870912 ~x967853+268435456 ~x967852+134217728 ~x967851+67108864 ~x967850+33554432 ~x967849+16777216 ~x967848+8388608 ~x967847+4194304 ~x967846+2097152 ~x967845+1048576 ~x967844+524288 ~x967843+262144 ~x967842+131072 ~x967841+65536 ~x967840+32768 ~x967839+16384 ~x967838+8192 ~x967837+4096 ~x967836+2048 ~x967835+1024 ~x967834+512 ~x967833+256 ~x967832+128 ~x967831+64 ~x967830+32 ~x967829+16 ~x967828+8 ~x967827+4 ~x967826+2 ~x967825+1 ~x967824+201326592 x1914+100663296 x1913+50331648 x1912+25165824 x1911+12582912 x1910+6291456 x1909+3145728 x1908+1572864 x1907+786432 x1906+393216 x1905+196608 x1904+98304 x1903+49152 x1902+24576 x1901+536870912 ~x1450+268435456 ~x1449+134217728 ~x1448+67108864 ~x1447+33554432 ~x1446+16777216 ~x1445+8388608 ~x1444+4194304 ~x1443+2097152 ~x1442+1048576 ~x1441+524288 ~x1440+262144 ~x1439+131072 ~x1438+65536 ~x1437+32768 ~x1436+16384 ~x1435+8192 ~x1434+4096 ~x1433+2048 ~x1432+1024 ~x1431+512 ~x1430+256 ~x1429+128 ~x1428+64 ~x1427+32 ~x1426+16 ~x1425+8 ~x1424+4 ~x1423+2 ~x1422+1 ~x1421-0=2147483646 23.27/23.30 c 536870912 ~x992432+268435456 ~x992431+134217728 ~x992430+67108864 ~x992429+33554432 ~x992428+16777216 ~x992427+8388608 ~x992426+4194304 ~x992425+2097152 ~x992424+1048576 ~x992423+524288 ~x992422+262144 ~x992421+131072 ~x992420+65536 ~x992419+32768 ~x992418+16384 ~x992417+8192 ~x992416+4096 ~x992415+2048 ~x992414+1024 ~x992413+512 ~x992412+256 ~x992411+128 ~x992410+64 ~x992409+32 ~x992408+16 ~x992407+8 ~x992406+4 ~x992405+2 ~x992404+1 ~x992403+12582912 x1924+6291456 x1923+3145728 x1922+1572864 x1921+786432 x1920+393216 x1919+196608 x1918+98304 x1917+49152 x1916+24576 x1915+536870912 ~x1480+268435456 ~x1479+134217728 ~x1478+67108864 ~x1477+33554432 ~x1476+16777216 ~x1475+8388608 ~x1474+4194304 ~x1473+2097152 ~x1472+1048576 ~x1471+524288 ~x1470+262144 ~x1469+131072 ~x1468+65536 ~x1467+32768 ~x1466+16384 ~x1465+8192 ~x1464+4096 ~x1463+2048 ~x1462+1024 ~x1461+512 ~x1460+256 ~x1459+128 ~x1458+64 ~x1457+32 ~x1456+16 ~x1455+8 ~x1454+4 ~x1453+2 ~x1452+1 ~x1451-0=2147483646 23.78/23.85 c 536870912 ~x1015559+268435456 ~x1015558+134217728 ~x1015557+67108864 ~x1015556+33554432 ~x1015555+16777216 ~x1015554+8388608 ~x1015553+4194304 ~x1015552+2097152 ~x1015551+1048576 ~x1015550+524288 ~x1015549+262144 ~x1015548+131072 ~x1015547+65536 ~x1015546+32768 ~x1015545+16384 ~x1015544+8192 ~x1015543+4096 ~x1015542+2048 ~x1015541+1024 ~x1015540+512 ~x1015539+256 ~x1015538+128 ~x1015537+64 ~x1015536+32 ~x1015535+16 ~x1015534+8 ~x1015533+4 ~x1015532+2 ~x1015531+1 ~x1015530+12582912 x1934+6291456 x1933+3145728 x1932+1572864 x1931+786432 x1930+393216 x1929+196608 x1928+98304 x1927+49152 x1926+24576 x1925+536870912 ~x1510+268435456 ~x1509+134217728 ~x1508+67108864 ~x1507+33554432 ~x1506+16777216 ~x1505+8388608 ~x1504+4194304 ~x1503+2097152 ~x1502+1048576 ~x1501+524288 ~x1500+262144 ~x1499+131072 ~x1498+65536 ~x1497+32768 ~x1496+16384 ~x1495+8192 ~x1494+4096 ~x1493+2048 ~x1492+1024 ~x1491+512 ~x1490+256 ~x1489+128 ~x1488+64 ~x1487+32 ~x1486+16 ~x1485+8 ~x1484+4 ~x1483+2 ~x1482+1 ~x1481-0=2147483646 24.28/24.38 c 536870912 ~x1038686+268435456 ~x1038685+134217728 ~x1038684+67108864 ~x1038683+33554432 ~x1038682+16777216 ~x1038681+8388608 ~x1038680+4194304 ~x1038679+2097152 ~x1038678+1048576 ~x1038677+524288 ~x1038676+262144 ~x1038675+131072 ~x1038674+65536 ~x1038673+32768 ~x1038672+16384 ~x1038671+8192 ~x1038670+4096 ~x1038669+2048 ~x1038668+1024 ~x1038667+512 ~x1038666+256 ~x1038665+128 ~x1038664+64 ~x1038663+32 ~x1038662+16 ~x1038661+8 ~x1038660+4 ~x1038659+2 ~x1038658+1 ~x1038657+12582912 x1944+6291456 x1943+3145728 x1942+1572864 x1941+786432 x1940+393216 x1939+196608 x1938+98304 x1937+49152 x1936+24576 x1935+536870912 ~x1540+268435456 ~x1539+134217728 ~x1538+67108864 ~x1537+33554432 ~x1536+16777216 ~x1535+8388608 ~x1534+4194304 ~x1533+2097152 ~x1532+1048576 ~x1531+524288 ~x1530+262144 ~x1529+131072 ~x1528+65536 ~x1527+32768 ~x1526+16384 ~x1525+8192 ~x1524+4096 ~x1523+2048 ~x1522+1024 ~x1521+512 ~x1520+256 ~x1519+128 ~x1518+64 ~x1517+32 ~x1516+16 ~x1515+8 ~x1514+4 ~x1513+2 ~x1512+1 ~x1511-0=2147483646 24.88/24.92 c 536870912 ~x1061813+268435456 ~x1061812+134217728 ~x1061811+67108864 ~x1061810+33554432 ~x1061809+16777216 ~x1061808+8388608 ~x1061807+4194304 ~x1061806+2097152 ~x1061805+1048576 ~x1061804+524288 ~x1061803+262144 ~x1061802+131072 ~x1061801+65536 ~x1061800+32768 ~x1061799+16384 ~x1061798+8192 ~x1061797+4096 ~x1061796+2048 ~x1061795+1024 ~x1061794+512 ~x1061793+256 ~x1061792+128 ~x1061791+64 ~x1061790+32 ~x1061789+16 ~x1061788+8 ~x1061787+4 ~x1061786+2 ~x1061785+1 ~x1061784+12582912 x1954+6291456 x1953+3145728 x1952+1572864 x1951+786432 x1950+393216 x1949+196608 x1948+98304 x1947+49152 x1946+24576 x1945+536870912 ~x1570+268435456 ~x1569+134217728 ~x1568+67108864 ~x1567+33554432 ~x1566+16777216 ~x1565+8388608 ~x1564+4194304 ~x1563+2097152 ~x1562+1048576 ~x1561+524288 ~x1560+262144 ~x1559+131072 ~x1558+65536 ~x1557+32768 ~x1556+16384 ~x1555+8192 ~x1554+4096 ~x1553+2048 ~x1552+1024 ~x1551+512 ~x1550+256 ~x1549+128 ~x1548+64 ~x1547+32 ~x1546+16 ~x1545+8 ~x1544+4 ~x1543+2 ~x1542+1 ~x1541-0=2147483646 25.38/25.45 c 536870912 ~x1084940+268435456 ~x1084939+134217728 ~x1084938+67108864 ~x1084937+33554432 ~x1084936+16777216 ~x1084935+8388608 ~x1084934+4194304 ~x1084933+2097152 ~x1084932+1048576 ~x1084931+524288 ~x1084930+262144 ~x1084929+131072 ~x1084928+65536 ~x1084927+32768 ~x1084926+16384 ~x1084925+8192 ~x1084924+4096 ~x1084923+2048 ~x1084922+1024 ~x1084921+512 ~x1084920+256 ~x1084919+128 ~x1084918+64 ~x1084917+32 ~x1084916+16 ~x1084915+8 ~x1084914+4 ~x1084913+2 ~x1084912+1 ~x1084911+12582912 x1964+6291456 x1963+3145728 x1962+1572864 x1961+786432 x1960+393216 x1959+196608 x1958+98304 x1957+49152 x1956+24576 x1955+536870912 ~x1600+268435456 ~x1599+134217728 ~x1598+67108864 ~x1597+33554432 ~x1596+16777216 ~x1595+8388608 ~x1594+4194304 ~x1593+2097152 ~x1592+1048576 ~x1591+524288 ~x1590+262144 ~x1589+131072 ~x1588+65536 ~x1587+32768 ~x1586+16384 ~x1585+8192 ~x1584+4096 ~x1583+2048 ~x1582+1024 ~x1581+512 ~x1580+256 ~x1579+128 ~x1578+64 ~x1577+32 ~x1576+16 ~x1575+8 ~x1574+4 ~x1573+2 ~x1572+1 ~x1571-0=2147483646 25.87/25.99 c 536870912 ~x1108067+268435456 ~x1108066+134217728 ~x1108065+67108864 ~x1108064+33554432 ~x1108063+16777216 ~x1108062+8388608 ~x1108061+4194304 ~x1108060+2097152 ~x1108059+1048576 ~x1108058+524288 ~x1108057+262144 ~x1108056+131072 ~x1108055+65536 ~x1108054+32768 ~x1108053+16384 ~x1108052+8192 ~x1108051+4096 ~x1108050+2048 ~x1108049+1024 ~x1108048+512 ~x1108047+256 ~x1108046+128 ~x1108045+64 ~x1108044+32 ~x1108043+16 ~x1108042+8 ~x1108041+4 ~x1108040+2 ~x1108039+1 ~x1108038+12582912 x1974+6291456 x1973+3145728 x1972+1572864 x1971+786432 x1970+393216 x1969+196608 x1968+98304 x1967+49152 x1966+24576 x1965+536870912 ~x1630+268435456 ~x1629+134217728 ~x1628+67108864 ~x1627+33554432 ~x1626+16777216 ~x1625+8388608 ~x1624+4194304 ~x1623+2097152 ~x1622+1048576 ~x1621+524288 ~x1620+262144 ~x1619+131072 ~x1618+65536 ~x1617+32768 ~x1616+16384 ~x1615+8192 ~x1614+4096 ~x1613+2048 ~x1612+1024 ~x1611+512 ~x1610+256 ~x1609+128 ~x1608+64 ~x1607+32 ~x1606+16 ~x1605+8 ~x1604+4 ~x1603+2 ~x1602+1 ~x1601-0=2147483646 26.48/26.52 c 536870912 ~x1131194+268435456 ~x1131193+134217728 ~x1131192+67108864 ~x1131191+33554432 ~x1131190+16777216 ~x1131189+8388608 ~x1131188+4194304 ~x1131187+2097152 ~x1131186+1048576 ~x1131185+524288 ~x1131184+262144 ~x1131183+131072 ~x1131182+65536 ~x1131181+32768 ~x1131180+16384 ~x1131179+8192 ~x1131178+4096 ~x1131177+2048 ~x1131176+1024 ~x1131175+512 ~x1131174+256 ~x1131173+128 ~x1131172+64 ~x1131171+32 ~x1131170+16 ~x1131169+8 ~x1131168+4 ~x1131167+2 ~x1131166+1 ~x1131165+201326592 x1988+100663296 x1987+50331648 x1986+25165824 x1985+12582912 x1984+6291456 x1983+3145728 x1982+1572864 x1981+786432 x1980+393216 x1979+196608 x1978+98304 x1977+49152 x1976+24576 x1975+536870912 ~x1660+268435456 ~x1659+134217728 ~x1658+67108864 ~x1657+33554432 ~x1656+16777216 ~x1655+8388608 ~x1654+4194304 ~x1653+2097152 ~x1652+1048576 ~x1651+524288 ~x1650+262144 ~x1649+131072 ~x1648+65536 ~x1647+32768 ~x1646+16384 ~x1645+8192 ~x1644+4096 ~x1643+2048 ~x1642+1024 ~x1641+512 ~x1640+256 ~x1639+128 ~x1638+64 ~x1637+32 ~x1636+16 ~x1635+8 ~x1634+4 ~x1633+2 ~x1632+1 ~x1631-0=2147483646 26.98/27.08 c 536870912 ~x1155773+268435456 ~x1155772+134217728 ~x1155771+67108864 ~x1155770+33554432 ~x1155769+16777216 ~x1155768+8388608 ~x1155767+4194304 ~x1155766+2097152 ~x1155765+1048576 ~x1155764+524288 ~x1155763+262144 ~x1155762+131072 ~x1155761+65536 ~x1155760+32768 ~x1155759+16384 ~x1155758+8192 ~x1155757+4096 ~x1155756+2048 ~x1155755+1024 ~x1155754+512 ~x1155753+256 ~x1155752+128 ~x1155751+64 ~x1155750+32 ~x1155749+16 ~x1155748+8 ~x1155747+4 ~x1155746+2 ~x1155745+1 ~x1155744+12582912 x1998+6291456 x1997+3145728 x1996+1572864 x1995+786432 x1994+393216 x1993+196608 x1992+98304 x1991+49152 x1990+24576 x1989+536870912 ~x1690+268435456 ~x1689+134217728 ~x1688+67108864 ~x1687+33554432 ~x1686+16777216 ~x1685+8388608 ~x1684+4194304 ~x1683+2097152 ~x1682+1048576 ~x1681+524288 ~x1680+262144 ~x1679+131072 ~x1678+65536 ~x1677+32768 ~x1676+16384 ~x1675+8192 ~x1674+4096 ~x1673+2048 ~x1672+1024 ~x1671+512 ~x1670+256 ~x1669+128 ~x1668+64 ~x1667+32 ~x1666+16 ~x1665+8 ~x1664+4 ~x1663+2 ~x1662+1 ~x1661-0=2147483646 27.58/27.62 c 536870912 ~x1178900+268435456 ~x1178899+134217728 ~x1178898+67108864 ~x1178897+33554432 ~x1178896+16777216 ~x1178895+8388608 ~x1178894+4194304 ~x1178893+2097152 ~x1178892+1048576 ~x1178891+524288 ~x1178890+262144 ~x1178889+131072 ~x1178888+65536 ~x1178887+32768 ~x1178886+16384 ~x1178885+8192 ~x1178884+4096 ~x1178883+2048 ~x1178882+1024 ~x1178881+512 ~x1178880+256 ~x1178879+128 ~x1178878+64 ~x1178877+32 ~x1178876+16 ~x1178875+8 ~x1178874+4 ~x1178873+2 ~x1178872+1 ~x1178871+12582912 x2008+6291456 x2007+3145728 x2006+1572864 x2005+786432 x2004+393216 x2003+196608 x2002+98304 x2001+49152 x2000+24576 x1999+536870912 ~x1720+268435456 ~x1719+134217728 ~x1718+67108864 ~x1717+33554432 ~x1716+16777216 ~x1715+8388608 ~x1714+4194304 ~x1713+2097152 ~x1712+1048576 ~x1711+524288 ~x1710+262144 ~x1709+131072 ~x1708+65536 ~x1707+32768 ~x1706+16384 ~x1705+8192 ~x1704+4096 ~x1703+2048 ~x1702+1024 ~x1701+512 ~x1700+256 ~x1699+128 ~x1698+64 ~x1697+32 ~x1696+16 ~x1695+8 ~x1694+4 ~x1693+2 ~x1692+1 ~x1691-0=2147483646 28.08/28.15 c 536870912 ~x1202027+268435456 ~x1202026+134217728 ~x1202025+67108864 ~x1202024+33554432 ~x1202023+16777216 ~x1202022+8388608 ~x1202021+4194304 ~x1202020+2097152 ~x1202019+1048576 ~x1202018+524288 ~x1202017+262144 ~x1202016+131072 ~x1202015+65536 ~x1202014+32768 ~x1202013+16384 ~x1202012+8192 ~x1202011+4096 ~x1202010+2048 ~x1202009+1024 ~x1202008+512 ~x1202007+256 ~x1202006+128 ~x1202005+64 ~x1202004+32 ~x1202003+16 ~x1202002+8 ~x1202001+4 ~x1202000+2 ~x1201999+1 ~x1201998+201326592 x2022+100663296 x2021+50331648 x2020+25165824 x2019+12582912 x2018+6291456 x2017+3145728 x2016+1572864 x2015+786432 x2014+393216 x2013+196608 x2012+98304 x2011+49152 x2010+24576 x2009+536870912 ~x1750+268435456 ~x1749+134217728 ~x1748+67108864 ~x1747+33554432 ~x1746+16777216 ~x1745+8388608 ~x1744+4194304 ~x1743+2097152 ~x1742+1048576 ~x1741+524288 ~x1740+262144 ~x1739+131072 ~x1738+65536 ~x1737+32768 ~x1736+16384 ~x1735+8192 ~x1734+4096 ~x1733+2048 ~x1732+1024 ~x1731+512 ~x1730+256 ~x1729+128 ~x1728+64 ~x1727+32 ~x1726+16 ~x1725+8 ~x1724+4 ~x1723+2 ~x1722+1 ~x1721-0=2147483646 28.68/28.72 c 536870912 ~x1226606+268435456 ~x1226605+134217728 ~x1226604+67108864 ~x1226603+33554432 ~x1226602+16777216 ~x1226601+8388608 ~x1226600+4194304 ~x1226599+2097152 ~x1226598+1048576 ~x1226597+524288 ~x1226596+262144 ~x1226595+131072 ~x1226594+65536 ~x1226593+32768 ~x1226592+16384 ~x1226591+8192 ~x1226590+4096 ~x1226589+2048 ~x1226588+1024 ~x1226587+512 ~x1226586+256 ~x1226585+128 ~x1226584+64 ~x1226583+32 ~x1226582+16 ~x1226581+8 ~x1226580+4 ~x1226579+2 ~x1226578+1 ~x1226577+201326592 x2036+100663296 x2035+50331648 x2034+25165824 x2033+12582912 x2032+6291456 x2031+3145728 x2030+1572864 x2029+786432 x2028+393216 x2027+196608 x2026+98304 x2025+49152 x2024+24576 x2023+536870912 ~x1780+268435456 ~x1779+134217728 ~x1778+67108864 ~x1777+33554432 ~x1776+16777216 ~x1775+8388608 ~x1774+4194304 ~x1773+2097152 ~x1772+1048576 ~x1771+524288 ~x1770+262144 ~x1769+131072 ~x1768+65536 ~x1767+32768 ~x1766+16384 ~x1765+8192 ~x1764+4096 ~x1763+2048 ~x1762+1024 ~x1761+512 ~x1760+256 ~x1759+128 ~x1758+64 ~x1757+32 ~x1756+16 ~x1755+8 ~x1754+4 ~x1753+2 ~x1752+1 ~x1751-0=2147483646 29.28/29.30 c 536870912 ~x1251185+268435456 ~x1251184+134217728 ~x1251183+67108864 ~x1251182+33554432 ~x1251181+16777216 ~x1251180+8388608 ~x1251179+4194304 ~x1251178+2097152 ~x1251177+1048576 ~x1251176+524288 ~x1251175+262144 ~x1251174+131072 ~x1251173+65536 ~x1251172+32768 ~x1251171+16384 ~x1251170+8192 ~x1251169+4096 ~x1251168+2048 ~x1251167+1024 ~x1251166+512 ~x1251165+256 ~x1251164+128 ~x1251163+64 ~x1251162+32 ~x1251161+16 ~x1251160+8 ~x1251159+4 ~x1251158+2 ~x1251157+1 ~x1251156+201326592 x2050+100663296 x2049+50331648 x2048+25165824 x2047+12582912 x2046+6291456 x2045+3145728 x2044+1572864 x2043+786432 x2042+393216 x2041+196608 x2040+98304 x2039+49152 x2038+24576 x2037+536870912 ~x1810+268435456 ~x1809+134217728 ~x1808+67108864 ~x1807+33554432 ~x1806+16777216 ~x1805+8388608 ~x1804+4194304 ~x1803+2097152 ~x1802+1048576 ~x1801+524288 ~x1800+262144 ~x1799+131072 ~x1798+65536 ~x1797+32768 ~x1796+16384 ~x1795+8192 ~x1794+4096 ~x1793+2048 ~x1792+1024 ~x1791+512 ~x1790+256 ~x1789+128 ~x1788+64 ~x1787+32 ~x1786+16 ~x1785+8 ~x1784+4 ~x1783+2 ~x1782+1 ~x1781-0=2147483646 29.77/29.87 c 536870912 ~x1275764+268435456 ~x1275763+134217728 ~x1275762+67108864 ~x1275761+33554432 ~x1275760+16777216 ~x1275759+8388608 ~x1275758+4194304 ~x1275757+2097152 ~x1275756+1048576 ~x1275755+524288 ~x1275754+262144 ~x1275753+131072 ~x1275752+65536 ~x1275751+32768 ~x1275750+16384 ~x1275749+8192 ~x1275748+4096 ~x1275747+2048 ~x1275746+1024 ~x1275745+512 ~x1275744+256 ~x1275743+128 ~x1275742+64 ~x1275741+32 ~x1275740+16 ~x1275739+8 ~x1275738+4 ~x1275737+2 ~x1275736+1 ~x1275735+201326592 x2064+100663296 x2063+50331648 x2062+25165824 x2061+12582912 x2060+6291456 x2059+3145728 x2058+1572864 x2057+786432 x2056+393216 x2055+196608 x2054+98304 x2053+49152 x2052+24576 x2051+536870912 ~x1840+268435456 ~x1839+134217728 ~x1838+67108864 ~x1837+33554432 ~x1836+16777216 ~x1835+8388608 ~x1834+4194304 ~x1833+2097152 ~x1832+1048576 ~x1831+524288 ~x1830+262144 ~x1829+131072 ~x1828+65536 ~x1827+32768 ~x1826+16384 ~x1825+8192 ~x1824+4096 ~x1823+2048 ~x1822+1024 ~x1821+512 ~x1820+256 ~x1819+128 ~x1818+64 ~x1817+32 ~x1816+16 ~x1815+8 ~x1814+4 ~x1813+2 ~x1812+1 ~x1811-0=2147483646 30.38/30.43 c 536870912 ~x1300343+268435456 ~x1300342+134217728 ~x1300341+67108864 ~x1300340+33554432 ~x1300339+16777216 ~x1300338+8388608 ~x1300337+4194304 ~x1300336+2097152 ~x1300335+1048576 ~x1300334+524288 ~x1300333+262144 ~x1300332+131072 ~x1300331+65536 ~x1300330+32768 ~x1300329+16384 ~x1300328+8192 ~x1300327+4096 ~x1300326+2048 ~x1300325+1024 ~x1300324+512 ~x1300323+256 ~x1300322+128 ~x1300321+64 ~x1300320+32 ~x1300319+16 ~x1300318+8 ~x1300317+4 ~x1300316+2 ~x1300315+1 ~x1300314+201326592 x2078+100663296 x2077+50331648 x2076+25165824 x2075+12582912 x2074+6291456 x2073+3145728 x2072+1572864 x2071+786432 x2070+393216 x2069+196608 x2068+98304 x2067+49152 x2066+24576 x2065+536870912 ~x1870+268435456 ~x1869+134217728 ~x1868+67108864 ~x1867+33554432 ~x1866+16777216 ~x1865+8388608 ~x1864+4194304 ~x1863+2097152 ~x1862+1048576 ~x1861+524288 ~x1860+262144 ~x1859+131072 ~x1858+65536 ~x1857+32768 ~x1856+16384 ~x1855+8192 ~x1854+4096 ~x1853+2048 ~x1852+1024 ~x1851+512 ~x1850+256 ~x1849+128 ~x1848+64 ~x1847+32 ~x1846+16 ~x1845+8 ~x1844+4 ~x1843+2 ~x1842+1 ~x1841-0=2147483646 30.87/30.99 c 536870912 ~x1324922+268435456 ~x1324921+134217728 ~x1324920+67108864 ~x1324919+33554432 ~x1324918+16777216 ~x1324917+8388608 ~x1324916+4194304 ~x1324915+2097152 ~x1324914+1048576 ~x1324913+524288 ~x1324912+262144 ~x1324911+131072 ~x1324910+65536 ~x1324909+32768 ~x1324908+16384 ~x1324907+8192 ~x1324906+4096 ~x1324905+2048 ~x1324904+1024 ~x1324903+512 ~x1324902+256 ~x1324901+128 ~x1324900+64 ~x1324899+32 ~x1324898+16 ~x1324897+8 ~x1324896+4 ~x1324895+2 ~x1324894+1 ~x1324893+201326592 x2092+100663296 x2091+50331648 x2090+25165824 x2089+12582912 x2088+6291456 x2087+3145728 x2086+1572864 x2085+786432 x2084+393216 x2083+196608 x2082+98304 x2081+49152 x2080+24576 x2079+536870912 ~x1900+268435456 ~x1899+134217728 ~x1898+67108864 ~x1897+33554432 ~x1896+16777216 ~x1895+8388608 ~x1894+4194304 ~x1893+2097152 ~x1892+1048576 ~x1891+524288 ~x1890+262144 ~x1889+131072 ~x1888+65536 ~x1887+32768 ~x1886+16384 ~x1885+8192 ~x1884+4096 ~x1883+2048 ~x1882+1024 ~x1881+512 ~x1880+256 ~x1879+128 ~x1878+64 ~x1877+32 ~x1876+16 ~x1875+8 ~x1874+4 ~x1873+2 ~x1872+1 ~x1871-0=2147483646 31.48/31.56 c 1073741824 ~x1349502+536870912 ~x1349501+268435456 ~x1349500+134217728 ~x1349499+67108864 ~x1349498+33554432 ~x1349497+16777216 ~x1349496+8388608 ~x1349495+4194304 ~x1349494+2097152 ~x1349493+1048576 ~x1349492+524288 ~x1349491+262144 ~x1349490+131072 ~x1349489+65536 ~x1349488+32768 ~x1349487+16384 ~x1349486+8192 ~x1349485+4096 ~x1349484+2048 ~x1349483+1024 ~x1349482+512 ~x1349481+256 ~x1349480+128 ~x1349479+64 ~x1349478+32 ~x1349477+16 ~x1349476+8 ~x1349475+4 ~x1349474+2 ~x1349473+1 ~x1349472+536870912 x1450+268435456 x1449+134217728 x1448+67108864 x1447+33554432 x1446+16777216 x1445+8388608 x1444+4194304 x1443+2097152 x1442+1048576 x1441+524288 x1440+262144 x1439+131072 x1438+65536 x1437+32768 x1436+16384 x1435+8192 x1434+4096 x1433+2048 x1432+1024 x1431+512 x1430+256 x1429+128 x1428+64 x1427+32 x1426+16 x1425+8 x1424+4 x1423+2 x1422+1 x1421+536870912 ~x361+268435456 ~x360+134217728 ~x359+67108864 ~x358+33554432 ~x357+16777216 ~x356+8388608 ~x355+4194304 ~x354+2097152 ~x353+1048576 ~x352+524288 ~x351+262144 ~x350+131072 ~x349+65536 ~x348+32768 ~x347+16384 ~x346+8192 ~x345+4096 ~x344+2048 ~x343+1024 ~x342+512 ~x341+256 ~x340+128 ~x339+64 ~x338+32 ~x337+16 ~x336+8 ~x335+4 ~x334+2 ~x333+1 ~x332+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+8192 x15+4096 x14+2048 x13+1024 x12+512 x11+256 x10+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=3222249470 32.48/32.51 c 1073741824 ~x1391143+536870912 ~x1391142+268435456 ~x1391141+134217728 ~x1391140+67108864 ~x1391139+33554432 ~x1391138+16777216 ~x1391137+8388608 ~x1391136+4194304 ~x1391135+2097152 ~x1391134+1048576 ~x1391133+524288 ~x1391132+262144 ~x1391131+131072 ~x1391130+65536 ~x1391129+32768 ~x1391128+16384 ~x1391127+8192 ~x1391126+4096 ~x1391125+2048 ~x1391124+1024 ~x1391123+512 ~x1391122+256 ~x1391121+128 ~x1391120+64 ~x1391119+32 ~x1391118+16 ~x1391117+8 ~x1391116+4 ~x1391115+2 ~x1391114+1 ~x1391113+536870912 x1480+268435456 x1479+134217728 x1478+67108864 x1477+33554432 x1476+16777216 x1475+8388608 x1474+4194304 x1473+2097152 x1472+1048576 x1471+524288 x1470+262144 x1469+131072 x1468+65536 x1467+32768 x1466+16384 x1465+8192 x1464+4096 x1463+2048 x1462+1024 x1461+512 x1460+256 x1459+128 x1458+64 x1457+32 x1456+16 x1455+8 x1454+4 x1453+2 x1452+1 x1451+536870912 ~x181+268435456 ~x180+134217728 ~x179+67108864 ~x178+33554432 ~x177+16777216 ~x176+8388608 ~x175+4194304 ~x174+2097152 ~x173+1048576 ~x172+524288 ~x171+262144 ~x170+131072 ~x169+65536 ~x168+32768 ~x167+16384 ~x166+8192 ~x165+4096 ~x164+2048 ~x163+1024 ~x162+512 ~x161+256 ~x160+128 ~x159+64 ~x158+32 ~x157+16 ~x156+8 ~x155+4 ~x154+2 ~x153+1 ~x152+536870912 ~x91+268435456 ~x90+134217728 ~x89+67108864 ~x88+33554432 ~x87+16777216 ~x86+8388608 ~x85+4194304 ~x84+2097152 ~x83+1048576 ~x82+524288 ~x81+262144 ~x80+131072 ~x79+65536 ~x78+32768 ~x77+16384 ~x76+8192 ~x75+4096 ~x74+2048 ~x73+1024 ~x72+512 ~x71+256 ~x70+128 ~x69+64 ~x68+32 ~x67+16 ~x66+8 ~x65+4 ~x64+2 ~x63+1 ~x62+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=4294967293 33.67/33.72 c 1073741824 ~x1445011+536870912 ~x1445010+268435456 ~x1445009+134217728 ~x1445008+67108864 ~x1445007+33554432 ~x1445006+16777216 ~x1445005+8388608 ~x1445004+4194304 ~x1445003+2097152 ~x1445002+1048576 ~x1445001+524288 ~x1445000+262144 ~x1444999+131072 ~x1444998+65536 ~x1444997+32768 ~x1444996+16384 ~x1444995+8192 ~x1444994+4096 ~x1444993+2048 ~x1444992+1024 ~x1444991+512 ~x1444990+256 ~x1444989+128 ~x1444988+64 ~x1444987+32 ~x1444986+16 ~x1444985+8 ~x1444984+4 ~x1444983+2 ~x1444982+1 ~x1444981+536870912 ~x121+268435456 ~x120+134217728 ~x119+67108864 ~x118+33554432 ~x117+16777216 ~x116+8388608 ~x115+4194304 ~x114+2097152 ~x113+1048576 ~x112+524288 ~x111+262144 ~x110+131072 ~x109+65536 ~x108+32768 ~x107+16384 ~x106+8192 ~x105+4096 ~x104+2048 ~x103+1024 ~x102+512 ~x101+256 ~x100+128 ~x99+64 ~x98+32 ~x97+16 ~x96+8 ~x95+4 ~x94+2 ~x93+1 ~x92+536870912 x91+268435456 x90+134217728 x89+67108864 x88+33554432 x87+16777216 x86+8388608 x85+4194304 x84+2097152 x83+1048576 x82+524288 x81+262144 x80+131072 x79+65536 x78+32768 x77+16384 x76+8192 x75+4096 x74+2048 x73+1024 x72+512 x71+256 x70+128 x69+64 x68+32 x67+16 x66+8 x65+4 x64+2 x63+1 x62-0=3221737470 34.37/34.42 c 1073741824 ~x1475762+536870912 ~x1475761+268435456 ~x1475760+134217728 ~x1475759+67108864 ~x1475758+33554432 ~x1475757+16777216 ~x1475756+8388608 ~x1475755+4194304 ~x1475754+2097152 ~x1475753+1048576 ~x1475752+524288 ~x1475751+262144 ~x1475750+131072 ~x1475749+65536 ~x1475748+32768 ~x1475747+16384 ~x1475746+8192 ~x1475745+4096 ~x1475744+2048 ~x1475743+1024 ~x1475742+512 ~x1475741+256 ~x1475740+128 ~x1475739+64 ~x1475738+32 ~x1475737+16 ~x1475736+8 ~x1475735+4 ~x1475734+2 ~x1475733+1 ~x1475732+536870912 x1510+268435456 x1509+134217728 x1508+67108864 x1507+33554432 x1506+16777216 x1505+8388608 x1504+4194304 x1503+2097152 x1502+1048576 x1501+524288 x1500+262144 x1499+131072 x1498+65536 x1497+32768 x1496+16384 x1495+8192 x1494+4096 x1493+2048 x1492+1024 x1491+512 x1490+256 x1489+128 x1488+64 x1487+32 x1486+16 x1485+8 x1484+4 x1483+2 x1482+1 x1481+536870912 ~x151+268435456 ~x150+134217728 ~x149+67108864 ~x148+33554432 ~x147+16777216 ~x146+8388608 ~x145+4194304 ~x144+2097152 ~x143+1048576 ~x142+524288 ~x141+262144 ~x140+131072 ~x139+65536 ~x138+32768 ~x137+16384 ~x136+8192 ~x135+4096 ~x134+2048 ~x133+1024 ~x132+512 ~x131+256 ~x130+128 ~x129+64 ~x128+32 ~x127+16 ~x126+8 ~x125+4 ~x124+2 ~x123+1 ~x122+536870912 x121+268435456 x120+134217728 x119+67108864 x118+33554432 x117+16777216 x116+8388608 x115+4194304 x114+2097152 x113+1048576 x112+524288 x111+262144 x110+131072 x109+65536 x108+32768 x107+16384 x106+8192 x105+4096 x104+2048 x103+1024 x102+512 x101+256 x100+128 x99+64 x98+32 x97+16 x96+8 x95+4 x94+2 x93+1 x92-0=3223068670 35.27/35.36 c 32768 ~x1517388+16384 ~x1517387+8192 ~x1517386+4096 ~x1517385+2048 ~x1517384+1024 ~x1517383+512 ~x1517382+256 ~x1517381+128 ~x1517380+64 ~x1517379+32 ~x1517378+16 ~x1517377+8 ~x1517376+4 ~x1517375+2 ~x1517374+1 ~x1517373+32768 x1526+16384 x1525+8192 x1524+4096 x1523+2048 x1522+1024 x1521+512 x1520+256 x1519+128 x1518+64 x1517+32 x1516+16 x1515+8 x1514+4 x1513+2 x1512+1 x1511+32768 x137+16384 x136+8192 x135+4096 x134+2048 x133+1024 x132+512 x131+256 x130+128 x129+64 x128+32 x127+16 x126+8 x125+4 x124+2 x123+1 x122-0=116735 35.48/35.52 c 1048576 ~x1524307+524288 ~x1524306+262144 ~x1524305+131072 ~x1524304+65536 ~x1524303+32768 ~x1524302+16384 ~x1524301+8192 ~x1524300+4096 ~x1524299+2048 ~x1524298+1024 ~x1524297+512 ~x1524296+256 ~x1524295+128 ~x1524294+64 ~x1524293+32 ~x1524292+16 ~x1524291+8 ~x1524290+4 ~x1524289+2 ~x1524288+1 ~x1524287+1048576 x172+524288 x171+262144 x170+131072 x169+65536 x168+32768 x167+16384 x166+8192 x165+4096 x164+2048 x163+1024 x162+512 x161+256 x160+128 x159+64 x158+32 x157+16 x156+8 x155+4 x154+2 x153+1 x152-0=4145151 35.67/35.70 c 1073741824 ~x1531651+536870912 ~x1531650+268435456 ~x1531649+134217728 ~x1531648+67108864 ~x1531647+33554432 ~x1531646+16777216 ~x1531645+8388608 ~x1531644+4194304 ~x1531643+2097152 ~x1531642+1048576 ~x1531641+524288 ~x1531640+262144 ~x1531639+131072 ~x1531638+65536 ~x1531637+32768 ~x1531636+16384 ~x1531635+8192 ~x1531634+4096 ~x1531633+2048 ~x1531632+1024 ~x1531631+512 ~x1531630+256 ~x1531629+128 ~x1531628+64 ~x1531627+32 ~x1531626+16 ~x1531625+8 ~x1531624+4 ~x1531623+2 ~x1531622+1 ~x1531621+536870912 x1570+268435456 x1569+134217728 x1568+67108864 x1567+33554432 x1566+16777216 x1565+8388608 x1564+4194304 x1563+2097152 x1562+1048576 x1561+524288 x1560+262144 x1559+131072 x1558+65536 x1557+32768 x1556+16384 x1555+8192 x1554+4096 x1553+2048 x1552+1024 x1551+512 x1550+256 x1549+128 x1548+64 x1547+32 x1546+16 x1545+8 x1544+4 x1543+2 x1542+1 x1541+536870912 ~x241+268435456 ~x240+134217728 ~x239+67108864 ~x238+33554432 ~x237+16777216 ~x236+8388608 ~x235+4194304 ~x234+2097152 ~x233+1048576 ~x232+524288 ~x231+262144 ~x230+131072 ~x229+65536 ~x228+32768 ~x227+16384 ~x226+8192 ~x225+4096 ~x224+2048 ~x223+1024 ~x222+512 ~x221+256 ~x220+128 ~x219+64 ~x218+32 ~x217+16 ~x216+8 ~x215+4 ~x214+2 ~x213+1 ~x212+536870912 x211+268435456 x210+134217728 x209+67108864 x208+33554432 x207+16777216 x206+8388608 x205+4194304 x204+2097152 x203+1048576 x202+524288 x201+262144 x200+131072 x199+65536 x198+32768 x197+16384 x196+8192 x195+4096 x194+2048 x193+1024 x192+512 x191+256 x190+128 x189+64 x188+32 x187+16 x186+8 x185+4 x184+2 x183+1 x182-0=3221839870 36.58/36.66 c 1073741824 ~x1573292+536870912 ~x1573291+268435456 ~x1573290+134217728 ~x1573289+67108864 ~x1573288+33554432 ~x1573287+16777216 ~x1573286+8388608 ~x1573285+4194304 ~x1573284+2097152 ~x1573283+1048576 ~x1573282+524288 ~x1573281+262144 ~x1573280+131072 ~x1573279+65536 ~x1573278+32768 ~x1573277+16384 ~x1573276+8192 ~x1573275+4096 ~x1573274+2048 ~x1573273+1024 ~x1573272+512 ~x1573271+256 ~x1573270+128 ~x1573269+64 ~x1573268+32 ~x1573267+16 ~x1573266+8 ~x1573265+4 ~x1573264+2 ~x1573263+1 ~x1573262+536870912 x1600+268435456 x1599+134217728 x1598+67108864 x1597+33554432 x1596+16777216 x1595+8388608 x1594+4194304 x1593+2097152 x1592+1048576 x1591+524288 x1590+262144 x1589+131072 x1588+65536 x1587+32768 x1586+16384 x1585+8192 x1584+4096 x1583+2048 x1582+1024 x1581+512 x1580+256 x1579+128 x1578+64 x1577+32 x1576+16 x1575+8 x1574+4 x1573+2 x1572+1 x1571+536870912 ~x271+268435456 ~x270+134217728 ~x269+67108864 ~x268+33554432 ~x267+16777216 ~x266+8388608 ~x265+4194304 ~x264+2097152 ~x263+1048576 ~x262+524288 ~x261+262144 ~x260+131072 ~x259+65536 ~x258+32768 ~x257+16384 ~x256+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242+536870912 x241+268435456 x240+134217728 x239+67108864 x238+33554432 x237+16777216 x236+8388608 x235+4194304 x234+2097152 x233+1048576 x232+524288 x231+262144 x230+131072 x229+65536 x228+32768 x227+16384 x226+8192 x225+4096 x224+2048 x223+1024 x222+512 x221+256 x220+128 x219+64 x218+32 x217+16 x216+8 x215+4 x214+2 x213+1 x212-0=3222454270 37.57/37.60 c 1073741824 ~x1614933+536870912 ~x1614932+268435456 ~x1614931+134217728 ~x1614930+67108864 ~x1614929+33554432 ~x1614928+16777216 ~x1614927+8388608 ~x1614926+4194304 ~x1614925+2097152 ~x1614924+1048576 ~x1614923+524288 ~x1614922+262144 ~x1614921+131072 ~x1614920+65536 ~x1614919+32768 ~x1614918+16384 ~x1614917+8192 ~x1614916+4096 ~x1614915+2048 ~x1614914+1024 ~x1614913+512 ~x1614912+256 ~x1614911+128 ~x1614910+64 ~x1614909+32 ~x1614908+16 ~x1614907+8 ~x1614906+4 ~x1614905+2 ~x1614904+1 ~x1614903+536870912 x1630+268435456 x1629+134217728 x1628+67108864 x1627+33554432 x1626+16777216 x1625+8388608 x1624+4194304 x1623+2097152 x1622+1048576 x1621+524288 x1620+262144 x1619+131072 x1618+65536 x1617+32768 x1616+16384 x1615+8192 x1614+4096 x1613+2048 x1612+1024 x1611+512 x1610+256 x1609+128 x1608+64 x1607+32 x1606+16 x1605+8 x1604+4 x1603+2 x1602+1 x1601+536870912 ~x301+268435456 ~x300+134217728 ~x299+67108864 ~x298+33554432 ~x297+16777216 ~x296+8388608 ~x295+4194304 ~x294+2097152 ~x293+1048576 ~x292+524288 ~x291+262144 ~x290+131072 ~x289+65536 ~x288+32768 ~x287+16384 ~x286+8192 ~x285+4096 ~x284+2048 ~x283+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272+536870912 x271+268435456 x270+134217728 x269+67108864 x268+33554432 x267+16777216 x266+8388608 x265+4194304 x264+2097152 x263+1048576 x262+524288 x261+262144 x260+131072 x259+65536 x258+32768 x257+16384 x256+8192 x255+4096 x254+2048 x253+1024 x252+512 x251+256 x250+128 x249+64 x248+32 x247+16 x246+8 x245+4 x244+2 x243+1 x242-0=3231465470 38.48/38.54 c 524288 ~x1656563+262144 ~x1656562+131072 ~x1656561+65536 ~x1656560+32768 ~x1656559+16384 ~x1656558+8192 ~x1656557+4096 ~x1656556+2048 ~x1656555+1024 ~x1656554+512 ~x1656553+256 ~x1656552+128 ~x1656551+64 ~x1656550+32 ~x1656549+16 ~x1656548+8 ~x1656547+4 ~x1656546+2 ~x1656545+1 ~x1656544+524288 x291+262144 x290+131072 x289+65536 x288+32768 x287+16384 x286+8192 x285+4096 x284+2048 x283+1024 x282+512 x281+256 x280+128 x279+64 x278+32 x277+16 x276+8 x275+4 x274+2 x273+1 x272-0=2072575 38.67/38.70 c 536870912 ~x1663333+268435456 ~x1663332+134217728 ~x1663331+67108864 ~x1663330+33554432 ~x1663329+16777216 ~x1663328+8388608 ~x1663327+4194304 ~x1663326+2097152 ~x1663325+1048576 ~x1663324+524288 ~x1663323+262144 ~x1663322+131072 ~x1663321+65536 ~x1663320+32768 ~x1663319+16384 ~x1663318+8192 ~x1663317+4096 ~x1663316+2048 ~x1663315+1024 ~x1663314+512 ~x1663313+256 ~x1663312+128 ~x1663311+64 ~x1663310+32 ~x1663309+16 ~x1663308+8 ~x1663307+4 ~x1663306+2 ~x1663305+1 ~x1663304+536870912 ~x391+268435456 ~x390+134217728 ~x389+67108864 ~x388+33554432 ~x387+16777216 ~x386+8388608 ~x385+4194304 ~x384+2097152 ~x383+1048576 ~x382+524288 ~x381+262144 ~x380+131072 ~x379+65536 ~x378+32768 ~x377+16384 ~x376+8192 ~x375+4096 ~x374+2048 ~x373+1024 ~x372+512 ~x371+256 ~x370+128 ~x369+64 ~x368+32 ~x367+16 ~x366+8 ~x365+4 ~x364+2 ~x363+1 ~x362+536870912 x331+268435456 x330+134217728 x329+67108864 x328+33554432 x327+16777216 x326+8388608 x325+4194304 x324+2097152 x323+1048576 x322+524288 x321+262144 x320+131072 x319+65536 x318+32768 x317+16384 x316+8192 x315+4096 x314+2048 x313+1024 x312+512 x311+256 x310+128 x309+64 x308+32 x307+16 x306+8 x305+4 x304+2 x303+1 x302-0=2147483646 39.28/39.39 c 1073741824 ~x1693721+536870912 ~x1693720+268435456 ~x1693719+134217728 ~x1693718+67108864 ~x1693717+33554432 ~x1693716+16777216 ~x1693715+8388608 ~x1693714+4194304 ~x1693713+2097152 ~x1693712+1048576 ~x1693711+524288 ~x1693710+262144 ~x1693709+131072 ~x1693708+65536 ~x1693707+32768 ~x1693706+16384 ~x1693705+8192 ~x1693704+4096 ~x1693703+2048 ~x1693702+1024 ~x1693701+512 ~x1693700+256 ~x1693699+128 ~x1693698+64 ~x1693697+32 ~x1693696+16 ~x1693695+8 ~x1693694+4 ~x1693693+2 ~x1693692+1 ~x1693691+536870912 x1660+268435456 x1659+134217728 x1658+67108864 x1657+33554432 x1656+16777216 x1655+8388608 x1654+4194304 x1653+2097152 x1652+1048576 x1651+524288 x1650+262144 x1649+131072 x1648+65536 x1647+32768 x1646+16384 x1645+8192 x1644+4096 x1643+2048 x1642+1024 x1641+512 x1640+256 x1639+128 x1638+64 x1637+32 x1636+16 x1635+8 x1634+4 x1633+2 x1632+1 x1631+536870912 ~x511+268435456 ~x510+134217728 ~x509+67108864 ~x508+33554432 ~x507+16777216 ~x506+8388608 ~x505+4194304 ~x504+2097152 ~x503+1048576 ~x502+524288 ~x501+262144 ~x500+131072 ~x499+65536 ~x498+32768 ~x497+16384 ~x496+8192 ~x495+4096 ~x494+2048 ~x493+1024 ~x492+512 ~x491+256 ~x490+128 ~x489+64 ~x488+32 ~x487+16 ~x486+8 ~x485+4 ~x484+2 ~x483+1 ~x482+536870912 x361+268435456 x360+134217728 x359+67108864 x358+33554432 x357+16777216 x356+8388608 x355+4194304 x354+2097152 x353+1048576 x352+524288 x351+262144 x350+131072 x349+65536 x348+32768 x347+16384 x346+8192 x345+4096 x344+2048 x343+1024 x342+512 x341+256 x340+128 x339+64 x338+32 x337+16 x336+8 x335+4 x334+2 x333+1 x332-0=3221737470 40.28/40.34 c 2097152 ~x1735353+1048576 ~x1735352+524288 ~x1735351+262144 ~x1735350+131072 ~x1735349+65536 ~x1735348+32768 ~x1735347+16384 ~x1735346+8192 ~x1735345+4096 ~x1735344+2048 ~x1735343+1024 ~x1735342+512 ~x1735341+256 ~x1735340+128 ~x1735339+64 ~x1735338+32 ~x1735337+16 ~x1735336+8 ~x1735335+4 ~x1735334+2 ~x1735333+1 ~x1735332+2097152 x1682+1048576 x1681+524288 x1680+262144 x1679+131072 x1678+65536 x1677+32768 x1676+16384 x1675+8192 x1674+4096 x1673+2048 x1672+1024 x1671+512 x1670+256 x1669+128 x1668+64 x1667+32 x1666+16 x1665+8 x1664+4 x1663+2 x1662+1 x1661+2097152 x383+1048576 x382+524288 x381+262144 x380+131072 x379+65536 x378+32768 x377+16384 x376+8192 x375+4096 x374+2048 x373+1024 x372+512 x371+256 x370+128 x369+64 x368+32 x367+16 x366+8 x365+4 x364+2 x363+1 x362-0=7266303 40.58/40.66 c 2048 ~x1749627+1024 ~x1749626+512 ~x1749625+256 ~x1749624+128 ~x1749623+64 ~x1749622+32 ~x1749621+16 ~x1749620+8 ~x1749619+4 ~x1749618+2 ~x1749617+1 ~x1749616+1024 x1701+512 x1700+256 x1699+128 x1698+64 x1697+32 x1696+16 x1695+8 x1694+4 x1693+2 x1692+1 x1691+1024 x402+512 x401+256 x400+128 x399+64 x398+32 x397+16 x396+8 x395+4 x394+2 x393+1 x392-0=6143 40.69/40.75 c 524288 ~x1753037+262144 ~x1753036+131072 ~x1753035+65536 ~x1753034+32768 ~x1753033+16384 ~x1753032+8192 ~x1753031+4096 ~x1753030+2048 ~x1753029+1024 ~x1753028+512 ~x1753027+256 ~x1753026+128 ~x1753025+64 ~x1753024+32 ~x1753023+16 ~x1753022+8 ~x1753021+4 ~x1753020+2 ~x1753019+1 ~x1753018+524288 x441+262144 x440+131072 x439+65536 x438+32768 x437+16384 x436+8192 x435+4096 x434+2048 x433+1024 x432+512 x431+256 x430+128 x429+64 x428+32 x427+16 x426+8 x425+4 x424+2 x423+1 x422-0=2072575 40.87/40.91 c 1048576 ~x1759798+524288 ~x1759797+262144 ~x1759796+131072 ~x1759795+65536 ~x1759794+32768 ~x1759793+16384 ~x1759792+8192 ~x1759791+4096 ~x1759790+2048 ~x1759789+1024 ~x1759788+512 ~x1759787+256 ~x1759786+128 ~x1759785+64 ~x1759784+32 ~x1759783+16 ~x1759782+8 ~x1759781+4 ~x1759780+2 ~x1759779+1 ~x1759778+1048576 x472+524288 x471+262144 x470+131072 x469+65536 x468+32768 x467+16384 x466+8192 x465+4096 x464+2048 x463+1024 x462+512 x461+256 x460+128 x459+64 x458+32 x457+16 x456+8 x455+4 x454+2 x453+1 x452-0=4145151 40.97/41.08 c 1073741824 ~x1767142+536870912 ~x1767141+268435456 ~x1767140+134217728 ~x1767139+67108864 ~x1767138+33554432 ~x1767137+16777216 ~x1767136+8388608 ~x1767135+4194304 ~x1767134+2097152 ~x1767133+1048576 ~x1767132+524288 ~x1767131+262144 ~x1767130+131072 ~x1767129+65536 ~x1767128+32768 ~x1767127+16384 ~x1767126+8192 ~x1767125+4096 ~x1767124+2048 ~x1767123+1024 ~x1767122+512 ~x1767121+256 ~x1767120+128 ~x1767119+64 ~x1767118+32 ~x1767117+16 ~x1767116+8 ~x1767115+4 ~x1767114+2 ~x1767113+1 ~x1767112+536870912 x1750+268435456 x1749+134217728 x1748+67108864 x1747+33554432 x1746+16777216 x1745+8388608 x1744+4194304 x1743+2097152 x1742+1048576 x1741+524288 x1740+262144 x1739+131072 x1738+65536 x1737+32768 x1736+16384 x1735+8192 x1734+4096 x1733+2048 x1732+1024 x1731+512 x1730+256 x1729+128 x1728+64 x1727+32 x1726+16 x1725+8 x1724+4 x1723+2 x1722+1 x1721+536870912 ~x541+268435456 ~x540+134217728 ~x539+67108864 ~x538+33554432 ~x537+16777216 ~x536+8388608 ~x535+4194304 ~x534+2097152 ~x533+1048576 ~x532+524288 ~x531+262144 ~x530+131072 ~x529+65536 ~x528+32768 ~x527+16384 ~x526+8192 ~x525+4096 ~x524+2048 ~x523+1024 ~x522+512 ~x521+256 ~x520+128 ~x519+64 ~x518+32 ~x517+16 ~x516+8 ~x515+4 ~x514+2 ~x513+1 ~x512+536870912 x511+268435456 x510+134217728 x509+67108864 x508+33554432 x507+16777216 x506+8388608 x505+4194304 x504+2097152 x503+1048576 x502+524288 x501+262144 x500+131072 x499+65536 x498+32768 x497+16384 x496+8192 x495+4096 x494+2048 x493+1024 x492+512 x491+256 x490+128 x489+64 x488+32 x487+16 x486+8 x485+4 x484+2 x483+1 x482-0=3221276670 41.98/42.03 c 1073741824 ~x1808783+536870912 ~x1808782+268435456 ~x1808781+134217728 ~x1808780+67108864 ~x1808779+33554432 ~x1808778+16777216 ~x1808777+8388608 ~x1808776+4194304 ~x1808775+2097152 ~x1808774+1048576 ~x1808773+524288 ~x1808772+262144 ~x1808771+131072 ~x1808770+65536 ~x1808769+32768 ~x1808768+16384 ~x1808767+8192 ~x1808766+4096 ~x1808765+2048 ~x1808764+1024 ~x1808763+512 ~x1808762+256 ~x1808761+128 ~x1808760+64 ~x1808759+32 ~x1808758+16 ~x1808757+8 ~x1808756+4 ~x1808755+2 ~x1808754+1 ~x1808753+536870912 x1780+268435456 x1779+134217728 x1778+67108864 x1777+33554432 x1776+16777216 x1775+8388608 x1774+4194304 x1773+2097152 x1772+1048576 x1771+524288 x1770+262144 x1769+131072 x1768+65536 x1767+32768 x1766+16384 x1765+8192 x1764+4096 x1763+2048 x1762+1024 x1761+512 x1760+256 x1759+128 x1758+64 x1757+32 x1756+16 x1755+8 x1754+4 x1753+2 x1752+1 x1751+536870912 ~x571+268435456 ~x570+134217728 ~x569+67108864 ~x568+33554432 ~x567+16777216 ~x566+8388608 ~x565+4194304 ~x564+2097152 ~x563+1048576 ~x562+524288 ~x561+262144 ~x560+131072 ~x559+65536 ~x558+32768 ~x557+16384 ~x556+8192 ~x555+4096 ~x554+2048 ~x553+1024 ~x552+512 ~x551+256 ~x550+128 ~x549+64 ~x548+32 ~x547+16 ~x546+8 ~x545+4 ~x544+2 ~x543+1 ~x542+536870912 x541+268435456 x540+134217728 x539+67108864 x538+33554432 x537+16777216 x536+8388608 x535+4194304 x534+2097152 x533+1048576 x532+524288 x531+262144 x530+131072 x529+65536 x528+32768 x527+16384 x526+8192 x525+4096 x524+2048 x523+1024 x522+512 x521+256 x520+128 x519+64 x518+32 x517+16 x516+8 x515+4 x514+2 x513+1 x512-0=3221327870 42.88/42.98 c 2147483648 ~x1850425+1073741824 ~x1850424+536870912 ~x1850423+268435456 ~x1850422+134217728 ~x1850421+67108864 ~x1850420+33554432 ~x1850419+16777216 ~x1850418+8388608 ~x1850417+4194304 ~x1850416+2097152 ~x1850415+1048576 ~x1850414+524288 ~x1850413+262144 ~x1850412+131072 ~x1850411+65536 ~x1850410+32768 ~x1850409+16384 ~x1850408+8192 ~x1850407+4096 ~x1850406+2048 ~x1850405+1024 ~x1850404+512 ~x1850403+256 ~x1850402+128 ~x1850401+64 ~x1850400+32 ~x1850399+16 ~x1850398+8 ~x1850397+4 ~x1850396+2 ~x1850395+1 ~x1850394+536870912 x1810+268435456 x1809+134217728 x1808+67108864 x1807+33554432 x1806+16777216 x1805+8388608 x1804+4194304 x1803+2097152 x1802+1048576 x1801+524288 x1800+262144 x1799+131072 x1798+65536 x1797+32768 x1796+16384 x1795+8192 x1794+4096 x1793+2048 x1792+1024 x1791+512 x1790+256 x1789+128 x1788+64 x1787+32 x1786+16 x1785+8 x1784+4 x1783+2 x1782+1 x1781+536870912 ~x601+268435456 ~x600+134217728 ~x599+67108864 ~x598+33554432 ~x597+16777216 ~x596+8388608 ~x595+4194304 ~x594+2097152 ~x593+1048576 ~x592+524288 ~x591+262144 ~x590+131072 ~x589+65536 ~x588+32768 ~x587+16384 ~x586+8192 ~x585+4096 ~x584+2048 ~x583+1024 ~x582+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572+536870912 x571+268435456 x570+134217728 x569+67108864 x568+33554432 x567+16777216 x566+8388608 x565+4194304 x564+2097152 x563+1048576 x562+524288 x561+262144 x560+131072 x559+65536 x558+32768 x557+16384 x556+8192 x555+4096 x554+2048 x553+1024 x552+512 x551+256 x550+128 x549+64 x548+32 x547+16 x546+8 x545+4 x544+2 x543+1 x542+536870912 ~x211+268435456 ~x210+134217728 ~x209+67108864 ~x208+33554432 ~x207+16777216 ~x206+8388608 ~x205+4194304 ~x204+2097152 ~x203+1048576 ~x202+524288 ~x201+262144 ~x200+131072 ~x199+65536 ~x198+32768 ~x197+16384 ~x196+8192 ~x195+4096 ~x194+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=7516192764 44.37/44.45 c 2147483648 ~x1915826+1073741824 ~x1915825+536870912 ~x1915824+268435456 ~x1915823+134217728 ~x1915822+67108864 ~x1915821+33554432 ~x1915820+16777216 ~x1915819+8388608 ~x1915818+4194304 ~x1915817+2097152 ~x1915816+1048576 ~x1915815+524288 ~x1915814+262144 ~x1915813+131072 ~x1915812+65536 ~x1915811+32768 ~x1915810+16384 ~x1915809+8192 ~x1915808+4096 ~x1915807+2048 ~x1915806+1024 ~x1915805+512 ~x1915804+256 ~x1915803+128 ~x1915802+64 ~x1915801+32 ~x1915800+16 ~x1915799+8 ~x1915798+4 ~x1915797+2 ~x1915796+1 ~x1915795+536870912 x1840+268435456 x1839+134217728 x1838+67108864 x1837+33554432 x1836+16777216 x1835+8388608 x1834+4194304 x1833+2097152 x1832+1048576 x1831+524288 x1830+262144 x1829+131072 x1828+65536 x1827+32768 x1826+16384 x1825+8192 x1824+4096 x1823+2048 x1822+1024 x1821+512 x1820+256 x1819+128 x1818+64 x1817+32 x1816+16 x1815+8 x1814+4 x1813+2 x1812+1 x1811+536870912 ~x631+268435456 ~x630+134217728 ~x629+67108864 ~x628+33554432 ~x627+16777216 ~x626+8388608 ~x625+4194304 ~x624+2097152 ~x623+1048576 ~x622+524288 ~x621+262144 ~x620+131072 ~x619+65536 ~x618+32768 ~x617+16384 ~x616+8192 ~x615+4096 ~x614+2048 ~x613+1024 ~x612+512 ~x611+256 ~x610+128 ~x609+64 ~x608+32 ~x607+16 ~x606+8 ~x605+4 ~x604+2 ~x603+1 ~x602+536870912 x601+268435456 x600+134217728 x599+67108864 x598+33554432 x597+16777216 x596+8388608 x595+4194304 x594+2097152 x593+1048576 x592+524288 x591+262144 x590+131072 x589+65536 x588+32768 x587+16384 x586+8192 x585+4096 x584+2048 x583+1024 x582+512 x581+256 x580+128 x579+64 x578+32 x577+16 x576+8 x575+4 x574+2 x573+1 x572+536870912 ~x481+268435456 ~x480+134217728 ~x479+67108864 ~x478+33554432 ~x477+16777216 ~x476+8388608 ~x475+4194304 ~x474+2097152 ~x473+1048576 ~x472+524288 ~x471+262144 ~x470+131072 ~x469+65536 ~x468+32768 ~x467+16384 ~x466+8192 ~x465+4096 ~x464+2048 ~x463+1024 ~x462+512 ~x461+256 ~x460+128 ~x459+64 ~x458+32 ~x457+16 ~x456+8 ~x455+4 ~x454+2 ~x453+1 ~x452+536870912 ~x451+268435456 ~x450+134217728 ~x449+67108864 ~x448+33554432 ~x447+16777216 ~x446+8388608 ~x445+4194304 ~x444+2097152 ~x443+1048576 ~x442+524288 ~x441+262144 ~x440+131072 ~x439+65536 ~x438+32768 ~x437+16384 ~x436+8192 ~x435+4096 ~x434+2048 ~x433+1024 ~x432+512 ~x431+256 ~x430+128 ~x429+64 ~x428+32 ~x427+16 ~x426+8 ~x425+4 ~x424+2 ~x423+1 ~x422+536870912 ~x331+268435456 ~x330+134217728 ~x329+67108864 ~x328+33554432 ~x327+16777216 ~x326+8388608 ~x325+4194304 ~x324+2097152 ~x323+1048576 ~x322+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302-0=8589934587 46.08/46.19 c 2147483648 ~x1992387+1073741824 ~x1992386+536870912 ~x1992385+268435456 ~x1992384+134217728 ~x1992383+67108864 ~x1992382+33554432 ~x1992381+16777216 ~x1992380+8388608 ~x1992379+4194304 ~x1992378+2097152 ~x1992377+1048576 ~x1992376+524288 ~x1992375+262144 ~x1992374+131072 ~x1992373+65536 ~x1992372+32768 ~x1992371+16384 ~x1992370+8192 ~x1992369+4096 ~x1992368+2048 ~x1992367+1024 ~x1992366+512 ~x1992365+256 ~x1992364+128 ~x1992363+64 ~x1992362+32 ~x1992361+16 ~x1992360+8 ~x1992359+4 ~x1992358+2 ~x1992357+1 ~x1992356+536870912 x1870+268435456 x1869+134217728 x1868+67108864 x1867+33554432 x1866+16777216 x1865+8388608 x1864+4194304 x1863+2097152 x1862+1048576 x1861+524288 x1860+262144 x1859+131072 x1858+65536 x1857+32768 x1856+16384 x1855+8192 x1854+4096 x1853+2048 x1852+1024 x1851+512 x1850+256 x1849+128 x1848+64 x1847+32 x1846+16 x1845+8 x1844+4 x1843+2 x1842+1 x1841+536870912 ~x661+268435456 ~x660+134217728 ~x659+67108864 ~x658+33554432 ~x657+16777216 ~x656+8388608 ~x655+4194304 ~x654+2097152 ~x653+1048576 ~x652+524288 ~x651+262144 ~x650+131072 ~x649+65536 ~x648+32768 ~x647+16384 ~x646+8192 ~x645+4096 ~x644+2048 ~x643+1024 ~x642+512 ~x641+256 ~x640+128 ~x639+64 ~x638+32 ~x637+16 ~x636+8 ~x635+4 ~x634+2 ~x633+1 ~x632+536870912 x631+268435456 x630+134217728 x629+67108864 x628+33554432 x627+16777216 x626+8388608 x625+4194304 x624+2097152 x623+1048576 x622+524288 x621+262144 x620+131072 x619+65536 x618+32768 x617+16384 x616+8192 x615+4096 x614+2048 x613+1024 x612+512 x611+256 x610+128 x609+64 x608+32 x607+16 x606+8 x605+4 x604+2 x603+1 x602+536870912 ~x421+268435456 ~x420+134217728 ~x419+67108864 ~x418+33554432 ~x417+16777216 ~x416+8388608 ~x415+4194304 ~x414+2097152 ~x413+1048576 ~x412+524288 ~x411+262144 ~x410+131072 ~x409+65536 ~x408+32768 ~x407+16384 ~x406+8192 ~x405+4096 ~x404+2048 ~x403+1024 ~x402+512 ~x401+256 ~x400+128 ~x399+64 ~x398+32 ~x397+16 ~x396+8 ~x395+4 ~x394+2 ~x393+1 ~x392-0=6442860541 47.37/47.41 c 1073741824 ~x2046627+536870912 ~x2046626+268435456 ~x2046625+134217728 ~x2046624+67108864 ~x2046623+33554432 ~x2046622+16777216 ~x2046621+8388608 ~x2046620+4194304 ~x2046619+2097152 ~x2046618+1048576 ~x2046617+524288 ~x2046616+262144 ~x2046615+131072 ~x2046614+65536 ~x2046613+32768 ~x2046612+16384 ~x2046611+8192 ~x2046610+4096 ~x2046609+2048 ~x2046608+1024 ~x2046607+512 ~x2046606+256 ~x2046605+128 ~x2046604+64 ~x2046603+32 ~x2046602+16 ~x2046601+8 ~x2046600+4 ~x2046599+2 ~x2046598+1 ~x2046597+536870912 ~x691+268435456 ~x690+134217728 ~x689+67108864 ~x688+33554432 ~x687+16777216 ~x686+8388608 ~x685+4194304 ~x684+2097152 ~x683+1048576 ~x682+524288 ~x681+262144 ~x680+131072 ~x679+65536 ~x678+32768 ~x677+16384 ~x676+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662+536870912 x661+268435456 x660+134217728 x659+67108864 x658+33554432 x657+16777216 x656+8388608 x655+4194304 x654+2097152 x653+1048576 x652+524288 x651+262144 x650+131072 x649+65536 x648+32768 x647+16384 x646+8192 x645+4096 x644+2048 x643+1024 x642+512 x641+256 x640+128 x639+64 x638+32 x637+16 x636+8 x635+4 x634+2 x633+1 x632-0=3221430270 48.07/48.10 c 524288 ~x2077367+262144 ~x2077366+131072 ~x2077365+65536 ~x2077364+32768 ~x2077363+16384 ~x2077362+8192 ~x2077361+4096 ~x2077360+2048 ~x2077359+1024 ~x2077358+512 ~x2077357+256 ~x2077356+128 ~x2077355+64 ~x2077354+32 ~x2077353+16 ~x2077352+8 ~x2077351+4 ~x2077350+2 ~x2077349+1 ~x2077348+524288 x1890+262144 x1889+131072 x1888+65536 x1887+32768 x1886+16384 x1885+8192 x1884+4096 x1883+2048 x1882+1024 x1881+512 x1880+256 x1879+128 x1878+64 x1877+32 x1876+16 x1875+8 x1874+4 x1873+2 x1872+1 x1871+524288 x681+262144 x680+131072 x679+65536 x678+32768 x677+16384 x676+8192 x675+4096 x674+2048 x673+1024 x672+512 x671+256 x670+128 x669+64 x668+32 x667+16 x666+8 x665+4 x664+2 x663+1 x662-0=2072575 48.27/48.36 c 549755813888 ~x2088341+274877906944 ~x2088340+137438953472 ~x2088339+68719476736 ~x2088338+34359738368 ~x2088337+17179869184 ~x2088336+8589934592 ~x2088335+4294967296 ~x2088334+2147483648 ~x2088333+1073741824 ~x2088332+536870912 ~x2088331+268435456 ~x2088330+134217728 ~x2088329+67108864 ~x2088328+33554432 ~x2088327+16777216 ~x2088326+8388608 ~x2088325+4194304 ~x2088324+2097152 ~x2088323+1048576 ~x2088322+524288 ~x2088321+262144 ~x2088320+131072 ~x2088319+65536 ~x2088318+32768 ~x2088317+16384 ~x2088316+8192 ~x2088315+4096 ~x2088314+2048 ~x2088313+1024 ~x2088312+512 ~x2088311+256 ~x2088310+128 ~x2088309+64 ~x2088308+32 ~x2088307+16 ~x2088306+8 ~x2088305+4 ~x2088304+2 ~x2088303+1 ~x2088302+1024000000 ~x1382+44560285696 ~x721+22280142848 ~x720+11140071424 ~x719+5570035712 ~x718+2785017856 ~x717+1392508928 ~x716+696254464 ~x715+348127232 ~x714+174063616 ~x713+87031808 ~x712+43515904 ~x711+21757952 ~x710+10878976 ~x709+5439488 ~x708+2719744 ~x707+1359872 ~x706+679936 ~x705+339968 ~x704+169984 ~x703+84992 ~x702+42496 ~x701+21248 ~x700+10624 ~x699+5312 ~x698+2656 ~x697+1328 ~x696+664 ~x695+332 ~x694+166 ~x693+83 ~x692+447213469696 ~x31+223606734848 ~x30+111803367424 ~x29+55901683712 ~x28+27950841856 ~x27+13975420928 ~x26+6987710464 ~x25+3493855232 ~x24+1746927616 ~x23+873463808 ~x22+436731904 ~x21+218365952 ~x20+109182976 ~x19+54591488 ~x18+27295744 ~x17+13647872 ~x16+6823936 ~x15+3411968 ~x14+1705984 ~x13+852992 ~x12+426496 ~x11+213248 ~x10+106624 ~x9+53312 ~x8+26656 ~x7+13328 ~x6+6664 ~x5+3332 ~x4+1666 ~x3+833 ~x2-0=2082035137643 49.38/49.42 c 549755813888 ~x2135265+274877906944 ~x2135264+137438953472 ~x2135263+68719476736 ~x2135262+34359738368 ~x2135261+17179869184 ~x2135260+8589934592 ~x2135259+4294967296 ~x2135258+2147483648 ~x2135257+1073741824 ~x2135256+536870912 ~x2135255+268435456 ~x2135254+134217728 ~x2135253+67108864 ~x2135252+33554432 ~x2135251+16777216 ~x2135250+8388608 ~x2135249+4194304 ~x2135248+2097152 ~x2135247+1048576 ~x2135246+524288 ~x2135245+262144 ~x2135244+131072 ~x2135243+65536 ~x2135242+32768 ~x2135241+16384 ~x2135240+8192 ~x2135239+4096 ~x2135238+2048 ~x2135237+1024 ~x2135236+512 ~x2135235+256 ~x2135234+128 ~x2135233+64 ~x2135232+32 ~x2135231+16 ~x2135230+8 ~x2135229+4 ~x2135228+2 ~x2135227+1 ~x2135226+1024000000 ~x1393+44560285696 ~x1051+22280142848 ~x1050+11140071424 ~x1049+5570035712 ~x1048+2785017856 ~x1047+1392508928 ~x1046+696254464 ~x1045+348127232 ~x1044+174063616 ~x1043+87031808 ~x1042+43515904 ~x1041+21757952 ~x1040+10878976 ~x1039+5439488 ~x1038+2719744 ~x1037+1359872 ~x1036+679936 ~x1035+339968 ~x1034+169984 ~x1033+84992 ~x1032+42496 ~x1031+21248 ~x1030+10624 ~x1029+5312 ~x1028+2656 ~x1027+1328 ~x1026+664 ~x1025+332 ~x1024+166 ~x1023+83 ~x1022+447213469696 ~x361+223606734848 ~x360+111803367424 ~x359+55901683712 ~x358+27950841856 ~x357+13975420928 ~x356+6987710464 ~x355+3493855232 ~x354+1746927616 ~x353+873463808 ~x352+436731904 ~x351+218365952 ~x350+109182976 ~x349+54591488 ~x348+27295744 ~x347+13647872 ~x346+6823936 ~x345+3411968 ~x344+1705984 ~x343+852992 ~x342+426496 ~x341+213248 ~x340+106624 ~x339+53312 ~x338+26656 ~x337+13328 ~x336+6664 ~x335+3332 ~x334+1666 ~x333+833 ~x332-0=2082035137643 50.37/50.49 c 549755813888 ~x2182189+274877906944 ~x2182188+137438953472 ~x2182187+68719476736 ~x2182186+34359738368 ~x2182185+17179869184 ~x2182184+8589934592 ~x2182183+4294967296 ~x2182182+2147483648 ~x2182181+1073741824 ~x2182180+536870912 ~x2182179+268435456 ~x2182178+134217728 ~x2182177+67108864 ~x2182176+33554432 ~x2182175+16777216 ~x2182174+8388608 ~x2182173+4194304 ~x2182172+2097152 ~x2182171+1048576 ~x2182170+524288 ~x2182169+262144 ~x2182168+131072 ~x2182167+65536 ~x2182166+32768 ~x2182165+16384 ~x2182164+8192 ~x2182163+4096 ~x2182162+2048 ~x2182161+1024 ~x2182160+512 ~x2182159+256 ~x2182158+128 ~x2182157+64 ~x2182156+32 ~x2182155+16 ~x2182154+8 ~x2182153+4 ~x2182152+2 ~x2182151+1 ~x2182150+1024000000 ~x1384+44560285696 ~x781+22280142848 ~x780+11140071424 ~x779+5570035712 ~x778+2785017856 ~x777+1392508928 ~x776+696254464 ~x775+348127232 ~x774+174063616 ~x773+87031808 ~x772+43515904 ~x771+21757952 ~x770+10878976 ~x769+5439488 ~x768+2719744 ~x767+1359872 ~x766+679936 ~x765+339968 ~x764+169984 ~x763+84992 ~x762+42496 ~x761+21248 ~x760+10624 ~x759+5312 ~x758+2656 ~x757+1328 ~x756+664 ~x755+332 ~x754+166 ~x753+83 ~x752+447213469696 ~x91+223606734848 ~x90+111803367424 ~x89+55901683712 ~x88+27950841856 ~x87+13975420928 ~x86+6987710464 ~x85+3493855232 ~x84+1746927616 ~x83+873463808 ~x82+436731904 ~x81+218365952 ~x80+109182976 ~x79+54591488 ~x78+27295744 ~x77+13647872 ~x76+6823936 ~x75+3411968 ~x74+1705984 ~x73+852992 ~x72+426496 ~x71+213248 ~x70+106624 ~x69+53312 ~x68+26656 ~x67+13328 ~x66+6664 ~x65+3332 ~x64+1666 ~x63+833 ~x62-0=2083059137643 51.46/51.56 c 549755813888 ~x2229113+274877906944 ~x2229112+137438953472 ~x2229111+68719476736 ~x2229110+34359738368 ~x2229109+17179869184 ~x2229108+8589934592 ~x2229107+4294967296 ~x2229106+2147483648 ~x2229105+1073741824 ~x2229104+536870912 ~x2229103+268435456 ~x2229102+134217728 ~x2229101+67108864 ~x2229100+33554432 ~x2229099+16777216 ~x2229098+8388608 ~x2229097+4194304 ~x2229096+2097152 ~x2229095+1048576 ~x2229094+524288 ~x2229093+262144 ~x2229092+131072 ~x2229091+65536 ~x2229090+32768 ~x2229089+16384 ~x2229088+8192 ~x2229087+4096 ~x2229086+2048 ~x2229085+1024 ~x2229084+512 ~x2229083+256 ~x2229082+128 ~x2229081+64 ~x2229080+32 ~x2229079+16 ~x2229078+8 ~x2229077+4 ~x2229076+2 ~x2229075+1 ~x2229074+1024000000 ~x1385+44560285696 ~x811+22280142848 ~x810+11140071424 ~x809+5570035712 ~x808+2785017856 ~x807+1392508928 ~x806+696254464 ~x805+348127232 ~x804+174063616 ~x803+87031808 ~x802+43515904 ~x801+21757952 ~x800+10878976 ~x799+5439488 ~x798+2719744 ~x797+1359872 ~x796+679936 ~x795+339968 ~x794+169984 ~x793+84992 ~x792+42496 ~x791+21248 ~x790+10624 ~x789+5312 ~x788+2656 ~x787+1328 ~x786+664 ~x785+332 ~x784+166 ~x783+83 ~x782+447213469696 ~x121+223606734848 ~x120+111803367424 ~x119+55901683712 ~x118+27950841856 ~x117+13975420928 ~x116+6987710464 ~x115+3493855232 ~x114+1746927616 ~x113+873463808 ~x112+436731904 ~x111+218365952 ~x110+109182976 ~x109+54591488 ~x108+27295744 ~x107+13647872 ~x106+6823936 ~x105+3411968 ~x104+1705984 ~x103+852992 ~x102+426496 ~x101+213248 ~x100+106624 ~x99+53312 ~x98+26656 ~x97+13328 ~x96+6664 ~x95+3332 ~x94+1666 ~x93+833 ~x92-0=2081011137643 52.57/52.63 c 549755813888 ~x2276037+274877906944 ~x2276036+137438953472 ~x2276035+68719476736 ~x2276034+34359738368 ~x2276033+17179869184 ~x2276032+8589934592 ~x2276031+4294967296 ~x2276030+2147483648 ~x2276029+1073741824 ~x2276028+536870912 ~x2276027+268435456 ~x2276026+134217728 ~x2276025+67108864 ~x2276024+33554432 ~x2276023+16777216 ~x2276022+8388608 ~x2276021+4194304 ~x2276020+2097152 ~x2276019+1048576 ~x2276018+524288 ~x2276017+262144 ~x2276016+131072 ~x2276015+65536 ~x2276014+32768 ~x2276013+16384 ~x2276012+8192 ~x2276011+4096 ~x2276010+2048 ~x2276009+1024 ~x2276008+512 ~x2276007+256 ~x2276006+128 ~x2276005+64 ~x2276004+32 ~x2276003+16 ~x2276002+8 ~x2276001+4 ~x2276000+2 ~x2275999+1 ~x2275998+1024000000 ~x1386+44560285696 ~x841+22280142848 ~x840+11140071424 ~x839+5570035712 ~x838+2785017856 ~x837+1392508928 ~x836+696254464 ~x835+348127232 ~x834+174063616 ~x833+87031808 ~x832+43515904 ~x831+21757952 ~x830+10878976 ~x829+5439488 ~x828+2719744 ~x827+1359872 ~x826+679936 ~x825+339968 ~x824+169984 ~x823+84992 ~x822+42496 ~x821+21248 ~x820+10624 ~x819+5312 ~x818+2656 ~x817+1328 ~x816+664 ~x815+332 ~x814+166 ~x813+83 ~x812+447213469696 ~x151+223606734848 ~x150+111803367424 ~x149+55901683712 ~x148+27950841856 ~x147+13975420928 ~x146+6987710464 ~x145+3493855232 ~x144+1746927616 ~x143+873463808 ~x142+436731904 ~x141+218365952 ~x140+109182976 ~x139+54591488 ~x138+27295744 ~x137+13647872 ~x136+6823936 ~x135+3411968 ~x134+1705984 ~x133+852992 ~x132+426496 ~x131+213248 ~x130+106624 ~x129+53312 ~x128+26656 ~x127+13328 ~x126+6664 ~x125+3332 ~x124+1666 ~x123+833 ~x122-0=2082035137643 53.67/53.70 c 549755813888 ~x2322961+274877906944 ~x2322960+137438953472 ~x2322959+68719476736 ~x2322958+34359738368 ~x2322957+17179869184 ~x2322956+8589934592 ~x2322955+4294967296 ~x2322954+2147483648 ~x2322953+1073741824 ~x2322952+536870912 ~x2322951+268435456 ~x2322950+134217728 ~x2322949+67108864 ~x2322948+33554432 ~x2322947+16777216 ~x2322946+8388608 ~x2322945+4194304 ~x2322944+2097152 ~x2322943+1048576 ~x2322942+524288 ~x2322941+262144 ~x2322940+131072 ~x2322939+65536 ~x2322938+32768 ~x2322937+16384 ~x2322936+8192 ~x2322935+4096 ~x2322934+2048 ~x2322933+1024 ~x2322932+512 ~x2322931+256 ~x2322930+128 ~x2322929+64 ~x2322928+32 ~x2322927+16 ~x2322926+8 ~x2322925+4 ~x2322924+2 ~x2322923+1 ~x2322922+1024000000 ~x1387+44560285696 ~x871+22280142848 ~x870+11140071424 ~x869+5570035712 ~x868+2785017856 ~x867+1392508928 ~x866+696254464 ~x865+348127232 ~x864+174063616 ~x863+87031808 ~x862+43515904 ~x861+21757952 ~x860+10878976 ~x859+5439488 ~x858+2719744 ~x857+1359872 ~x856+679936 ~x855+339968 ~x854+169984 ~x853+84992 ~x852+42496 ~x851+21248 ~x850+10624 ~x849+5312 ~x848+2656 ~x847+1328 ~x846+664 ~x845+332 ~x844+166 ~x843+83 ~x842+447213469696 ~x181+223606734848 ~x180+111803367424 ~x179+55901683712 ~x178+27950841856 ~x177+13975420928 ~x176+6987710464 ~x175+3493855232 ~x174+1746927616 ~x173+873463808 ~x172+436731904 ~x171+218365952 ~x170+109182976 ~x169+54591488 ~x168+27295744 ~x167+13647872 ~x166+6823936 ~x165+3411968 ~x164+1705984 ~x163+852992 ~x162+426496 ~x161+213248 ~x160+106624 ~x159+53312 ~x158+26656 ~x157+13328 ~x156+6664 ~x155+3332 ~x154+1666 ~x153+833 ~x152-0=2082035137643 54.67/54.77 c 549755813888 ~x2369885+274877906944 ~x2369884+137438953472 ~x2369883+68719476736 ~x2369882+34359738368 ~x2369881+17179869184 ~x2369880+8589934592 ~x2369879+4294967296 ~x2369878+2147483648 ~x2369877+1073741824 ~x2369876+536870912 ~x2369875+268435456 ~x2369874+134217728 ~x2369873+67108864 ~x2369872+33554432 ~x2369871+16777216 ~x2369870+8388608 ~x2369869+4194304 ~x2369868+2097152 ~x2369867+1048576 ~x2369866+524288 ~x2369865+262144 ~x2369864+131072 ~x2369863+65536 ~x2369862+32768 ~x2369861+16384 ~x2369860+8192 ~x2369859+4096 ~x2369858+2048 ~x2369857+1024 ~x2369856+512 ~x2369855+256 ~x2369854+128 ~x2369853+64 ~x2369852+32 ~x2369851+16 ~x2369850+8 ~x2369849+4 ~x2369848+2 ~x2369847+1 ~x2369846+1024000000 ~x1388+44560285696 ~x901+22280142848 ~x900+11140071424 ~x899+5570035712 ~x898+2785017856 ~x897+1392508928 ~x896+696254464 ~x895+348127232 ~x894+174063616 ~x893+87031808 ~x892+43515904 ~x891+21757952 ~x890+10878976 ~x889+5439488 ~x888+2719744 ~x887+1359872 ~x886+679936 ~x885+339968 ~x884+169984 ~x883+84992 ~x882+42496 ~x881+21248 ~x880+10624 ~x879+5312 ~x878+2656 ~x877+1328 ~x876+664 ~x875+332 ~x874+166 ~x873+83 ~x872+447213469696 ~x211+223606734848 ~x210+111803367424 ~x209+55901683712 ~x208+27950841856 ~x207+13975420928 ~x206+6987710464 ~x205+3493855232 ~x204+1746927616 ~x203+873463808 ~x202+436731904 ~x201+218365952 ~x200+109182976 ~x199+54591488 ~x198+27295744 ~x197+13647872 ~x196+6823936 ~x195+3411968 ~x194+1705984 ~x193+852992 ~x192+426496 ~x191+213248 ~x190+106624 ~x189+53312 ~x188+26656 ~x187+13328 ~x186+6664 ~x185+3332 ~x184+1666 ~x183+833 ~x182-0=2082035137643 55.77/55.84 c 549755813888 ~x2416809+274877906944 ~x2416808+137438953472 ~x2416807+68719476736 ~x2416806+34359738368 ~x2416805+17179869184 ~x2416804+8589934592 ~x2416803+4294967296 ~x2416802+2147483648 ~x2416801+1073741824 ~x2416800+536870912 ~x2416799+268435456 ~x2416798+134217728 ~x2416797+67108864 ~x2416796+33554432 ~x2416795+16777216 ~x2416794+8388608 ~x2416793+4194304 ~x2416792+2097152 ~x2416791+1048576 ~x2416790+524288 ~x2416789+262144 ~x2416788+131072 ~x2416787+65536 ~x2416786+32768 ~x2416785+16384 ~x2416784+8192 ~x2416783+4096 ~x2416782+2048 ~x2416781+1024 ~x2416780+512 ~x2416779+256 ~x2416778+128 ~x2416777+64 ~x2416776+32 ~x2416775+16 ~x2416774+8 ~x2416773+4 ~x2416772+2 ~x2416771+1 ~x2416770+1024000000 ~x1389+44560285696 ~x931+22280142848 ~x930+11140071424 ~x929+5570035712 ~x928+2785017856 ~x927+1392508928 ~x926+696254464 ~x925+348127232 ~x924+174063616 ~x923+87031808 ~x922+43515904 ~x921+21757952 ~x920+10878976 ~x919+5439488 ~x918+2719744 ~x917+1359872 ~x916+679936 ~x915+339968 ~x914+169984 ~x913+84992 ~x912+42496 ~x911+21248 ~x910+10624 ~x909+5312 ~x908+2656 ~x907+1328 ~x906+664 ~x905+332 ~x904+166 ~x903+83 ~x902+447213469696 ~x241+223606734848 ~x240+111803367424 ~x239+55901683712 ~x238+27950841856 ~x237+13975420928 ~x236+6987710464 ~x235+3493855232 ~x234+1746927616 ~x233+873463808 ~x232+436731904 ~x231+218365952 ~x230+109182976 ~x229+54591488 ~x228+27295744 ~x227+13647872 ~x226+6823936 ~x225+3411968 ~x224+1705984 ~x223+852992 ~x222+426496 ~x221+213248 ~x220+106624 ~x219+53312 ~x218+26656 ~x217+13328 ~x216+6664 ~x215+3332 ~x214+1666 ~x213+833 ~x212-0=2082035137643 56.87/56.95 c 549755813888 ~x2463733+274877906944 ~x2463732+137438953472 ~x2463731+68719476736 ~x2463730+34359738368 ~x2463729+17179869184 ~x2463728+8589934592 ~x2463727+4294967296 ~x2463726+2147483648 ~x2463725+1073741824 ~x2463724+536870912 ~x2463723+268435456 ~x2463722+134217728 ~x2463721+67108864 ~x2463720+33554432 ~x2463719+16777216 ~x2463718+8388608 ~x2463717+4194304 ~x2463716+2097152 ~x2463715+1048576 ~x2463714+524288 ~x2463713+262144 ~x2463712+131072 ~x2463711+65536 ~x2463710+32768 ~x2463709+16384 ~x2463708+8192 ~x2463707+4096 ~x2463706+2048 ~x2463705+1024 ~x2463704+512 ~x2463703+256 ~x2463702+128 ~x2463701+64 ~x2463700+32 ~x2463699+16 ~x2463698+8 ~x2463697+4 ~x2463696+2 ~x2463695+1 ~x2463694+1024000000 ~x1390+44560285696 ~x961+22280142848 ~x960+11140071424 ~x959+5570035712 ~x958+2785017856 ~x957+1392508928 ~x956+696254464 ~x955+348127232 ~x954+174063616 ~x953+87031808 ~x952+43515904 ~x951+21757952 ~x950+10878976 ~x949+5439488 ~x948+2719744 ~x947+1359872 ~x946+679936 ~x945+339968 ~x944+169984 ~x943+84992 ~x942+42496 ~x941+21248 ~x940+10624 ~x939+5312 ~x938+2656 ~x937+1328 ~x936+664 ~x935+332 ~x934+166 ~x933+83 ~x932+447213469696 ~x271+223606734848 ~x270+111803367424 ~x269+55901683712 ~x268+27950841856 ~x267+13975420928 ~x266+6987710464 ~x265+3493855232 ~x264+1746927616 ~x263+873463808 ~x262+436731904 ~x261+218365952 ~x260+109182976 ~x259+54591488 ~x258+27295744 ~x257+13647872 ~x256+6823936 ~x255+3411968 ~x254+1705984 ~x253+852992 ~x252+426496 ~x251+213248 ~x250+106624 ~x249+53312 ~x248+26656 ~x247+13328 ~x246+6664 ~x245+3332 ~x244+1666 ~x243+833 ~x242-0=2082035137643 57.96/58.01 c 549755813888 ~x2510657+274877906944 ~x2510656+137438953472 ~x2510655+68719476736 ~x2510654+34359738368 ~x2510653+17179869184 ~x2510652+8589934592 ~x2510651+4294967296 ~x2510650+2147483648 ~x2510649+1073741824 ~x2510648+536870912 ~x2510647+268435456 ~x2510646+134217728 ~x2510645+67108864 ~x2510644+33554432 ~x2510643+16777216 ~x2510642+8388608 ~x2510641+4194304 ~x2510640+2097152 ~x2510639+1048576 ~x2510638+524288 ~x2510637+262144 ~x2510636+131072 ~x2510635+65536 ~x2510634+32768 ~x2510633+16384 ~x2510632+8192 ~x2510631+4096 ~x2510630+2048 ~x2510629+1024 ~x2510628+512 ~x2510627+256 ~x2510626+128 ~x2510625+64 ~x2510624+32 ~x2510623+16 ~x2510622+8 ~x2510621+4 ~x2510620+2 ~x2510619+1 ~x2510618+1024000000 ~x1391+44560285696 ~x991+22280142848 ~x990+11140071424 ~x989+5570035712 ~x988+2785017856 ~x987+1392508928 ~x986+696254464 ~x985+348127232 ~x984+174063616 ~x983+87031808 ~x982+43515904 ~x981+21757952 ~x980+10878976 ~x979+5439488 ~x978+2719744 ~x977+1359872 ~x976+679936 ~x975+339968 ~x974+169984 ~x973+84992 ~x972+42496 ~x971+21248 ~x970+10624 ~x969+5312 ~x968+2656 ~x967+1328 ~x966+664 ~x965+332 ~x964+166 ~x963+83 ~x962+447213469696 ~x301+223606734848 ~x300+111803367424 ~x299+55901683712 ~x298+27950841856 ~x297+13975420928 ~x296+6987710464 ~x295+3493855232 ~x294+1746927616 ~x293+873463808 ~x292+436731904 ~x291+218365952 ~x290+109182976 ~x289+54591488 ~x288+27295744 ~x287+13647872 ~x286+6823936 ~x285+3411968 ~x284+1705984 ~x283+852992 ~x282+426496 ~x281+213248 ~x280+106624 ~x279+53312 ~x278+26656 ~x277+13328 ~x276+6664 ~x275+3332 ~x274+1666 ~x273+833 ~x272-0=2082035137643 58.96/59.07 c 549755813888 ~x2557581+274877906944 ~x2557580+137438953472 ~x2557579+68719476736 ~x2557578+34359738368 ~x2557577+17179869184 ~x2557576+8589934592 ~x2557575+4294967296 ~x2557574+2147483648 ~x2557573+1073741824 ~x2557572+536870912 ~x2557571+268435456 ~x2557570+134217728 ~x2557569+67108864 ~x2557568+33554432 ~x2557567+16777216 ~x2557566+8388608 ~x2557565+4194304 ~x2557564+2097152 ~x2557563+1048576 ~x2557562+524288 ~x2557561+262144 ~x2557560+131072 ~x2557559+65536 ~x2557558+32768 ~x2557557+16384 ~x2557556+8192 ~x2557555+4096 ~x2557554+2048 ~x2557553+1024 ~x2557552+512 ~x2557551+256 ~x2557550+128 ~x2557549+64 ~x2557548+32 ~x2557547+16 ~x2557546+8 ~x2557545+4 ~x2557544+2 ~x2557543+1 ~x2557542+1024000000 ~x1392+44560285696 ~x1021+22280142848 ~x1020+11140071424 ~x1019+5570035712 ~x1018+2785017856 ~x1017+1392508928 ~x1016+696254464 ~x1015+348127232 ~x1014+174063616 ~x1013+87031808 ~x1012+43515904 ~x1011+21757952 ~x1010+10878976 ~x1009+5439488 ~x1008+2719744 ~x1007+1359872 ~x1006+679936 ~x1005+339968 ~x1004+169984 ~x1003+84992 ~x1002+42496 ~x1001+21248 ~x1000+10624 ~x999+5312 ~x998+2656 ~x997+1328 ~x996+664 ~x995+332 ~x994+166 ~x993+83 ~x992+447213469696 ~x331+223606734848 ~x330+111803367424 ~x329+55901683712 ~x328+27950841856 ~x327+13975420928 ~x326+6987710464 ~x325+3493855232 ~x324+1746927616 ~x323+873463808 ~x322+436731904 ~x321+218365952 ~x320+109182976 ~x319+54591488 ~x318+27295744 ~x317+13647872 ~x316+6823936 ~x315+3411968 ~x314+1705984 ~x313+852992 ~x312+426496 ~x311+213248 ~x310+106624 ~x309+53312 ~x308+26656 ~x307+13328 ~x306+6664 ~x305+3332 ~x304+1666 ~x303+833 ~x302-0=2083059137643 60.07/60.14 c 549755813888 ~x2604505+274877906944 ~x2604504+137438953472 ~x2604503+68719476736 ~x2604502+34359738368 ~x2604501+17179869184 ~x2604500+8589934592 ~x2604499+4294967296 ~x2604498+2147483648 ~x2604497+1073741824 ~x2604496+536870912 ~x2604495+268435456 ~x2604494+134217728 ~x2604493+67108864 ~x2604492+33554432 ~x2604491+16777216 ~x2604490+8388608 ~x2604489+4194304 ~x2604488+2097152 ~x2604487+1048576 ~x2604486+524288 ~x2604485+262144 ~x2604484+131072 ~x2604483+65536 ~x2604482+32768 ~x2604481+16384 ~x2604480+8192 ~x2604479+4096 ~x2604478+2048 ~x2604477+1024 ~x2604476+512 ~x2604475+256 ~x2604474+128 ~x2604473+64 ~x2604472+32 ~x2604471+16 ~x2604470+8 ~x2604469+4 ~x2604468+2 ~x2604467+1 ~x2604466+1024000000 ~x1394+44560285696 ~x1081+22280142848 ~x1080+11140071424 ~x1079+5570035712 ~x1078+2785017856 ~x1077+1392508928 ~x1076+696254464 ~x1075+348127232 ~x1074+174063616 ~x1073+87031808 ~x1072+43515904 ~x1071+21757952 ~x1070+10878976 ~x1069+5439488 ~x1068+2719744 ~x1067+1359872 ~x1066+679936 ~x1065+339968 ~x1064+169984 ~x1063+84992 ~x1062+42496 ~x1061+21248 ~x1060+10624 ~x1059+5312 ~x1058+2656 ~x1057+1328 ~x1056+664 ~x1055+332 ~x1054+166 ~x1053+83 ~x1052+447213469696 ~x391+223606734848 ~x390+111803367424 ~x389+55901683712 ~x388+27950841856 ~x387+13975420928 ~x386+6987710464 ~x385+3493855232 ~x384+1746927616 ~x383+873463808 ~x382+436731904 ~x381+218365952 ~x380+109182976 ~x379+54591488 ~x378+27295744 ~x377+13647872 ~x376+6823936 ~x375+3411968 ~x374+1705984 ~x373+852992 ~x372+426496 ~x371+213248 ~x370+106624 ~x369+53312 ~x368+26656 ~x367+13328 ~x366+6664 ~x365+3332 ~x364+1666 ~x363+833 ~x362-0=2083059137643 61.16/61.21 c 549755813888 ~x2651429+274877906944 ~x2651428+137438953472 ~x2651427+68719476736 ~x2651426+34359738368 ~x2651425+17179869184 ~x2651424+8589934592 ~x2651423+4294967296 ~x2651422+2147483648 ~x2651421+1073741824 ~x2651420+536870912 ~x2651419+268435456 ~x2651418+134217728 ~x2651417+67108864 ~x2651416+33554432 ~x2651415+16777216 ~x2651414+8388608 ~x2651413+4194304 ~x2651412+2097152 ~x2651411+1048576 ~x2651410+524288 ~x2651409+262144 ~x2651408+131072 ~x2651407+65536 ~x2651406+32768 ~x2651405+16384 ~x2651404+8192 ~x2651403+4096 ~x2651402+2048 ~x2651401+1024 ~x2651400+512 ~x2651399+256 ~x2651398+128 ~x2651397+64 ~x2651396+32 ~x2651395+16 ~x2651394+8 ~x2651393+4 ~x2651392+2 ~x2651391+1 ~x2651390+1024000000 ~x1398+44560285696 ~x1201+22280142848 ~x1200+11140071424 ~x1199+5570035712 ~x1198+2785017856 ~x1197+1392508928 ~x1196+696254464 ~x1195+348127232 ~x1194+174063616 ~x1193+87031808 ~x1192+43515904 ~x1191+21757952 ~x1190+10878976 ~x1189+5439488 ~x1188+2719744 ~x1187+1359872 ~x1186+679936 ~x1185+339968 ~x1184+169984 ~x1183+84992 ~x1182+42496 ~x1181+21248 ~x1180+10624 ~x1179+5312 ~x1178+2656 ~x1177+1328 ~x1176+664 ~x1175+332 ~x1174+166 ~x1173+83 ~x1172+447213469696 ~x511+223606734848 ~x510+111803367424 ~x509+55901683712 ~x508+27950841856 ~x507+13975420928 ~x506+6987710464 ~x505+3493855232 ~x504+1746927616 ~x503+873463808 ~x502+436731904 ~x501+218365952 ~x500+109182976 ~x499+54591488 ~x498+27295744 ~x497+13647872 ~x496+6823936 ~x495+3411968 ~x494+1705984 ~x493+852992 ~x492+426496 ~x491+213248 ~x490+106624 ~x489+53312 ~x488+26656 ~x487+13328 ~x486+6664 ~x485+3332 ~x484+1666 ~x483+833 ~x482-0=2081011137643 62.16/62.29 c 549755813888 ~x2698353+274877906944 ~x2698352+137438953472 ~x2698351+68719476736 ~x2698350+34359738368 ~x2698349+17179869184 ~x2698348+8589934592 ~x2698347+4294967296 ~x2698346+2147483648 ~x2698345+1073741824 ~x2698344+536870912 ~x2698343+268435456 ~x2698342+134217728 ~x2698341+67108864 ~x2698340+33554432 ~x2698339+16777216 ~x2698338+8388608 ~x2698337+4194304 ~x2698336+2097152 ~x2698335+1048576 ~x2698334+524288 ~x2698333+262144 ~x2698332+131072 ~x2698331+65536 ~x2698330+32768 ~x2698329+16384 ~x2698328+8192 ~x2698327+4096 ~x2698326+2048 ~x2698325+1024 ~x2698324+512 ~x2698323+256 ~x2698322+128 ~x2698321+64 ~x2698320+32 ~x2698319+16 ~x2698318+8 ~x2698317+4 ~x2698316+2 ~x2698315+1 ~x2698314+1024000000 ~x1395+44560285696 ~x1111+22280142848 ~x1110+11140071424 ~x1109+5570035712 ~x1108+2785017856 ~x1107+1392508928 ~x1106+696254464 ~x1105+348127232 ~x1104+174063616 ~x1103+87031808 ~x1102+43515904 ~x1101+21757952 ~x1100+10878976 ~x1099+5439488 ~x1098+2719744 ~x1097+1359872 ~x1096+679936 ~x1095+339968 ~x1094+169984 ~x1093+84992 ~x1092+42496 ~x1091+21248 ~x1090+10624 ~x1089+5312 ~x1088+2656 ~x1087+1328 ~x1086+664 ~x1085+332 ~x1084+166 ~x1083+83 ~x1082+447213469696 ~x421+223606734848 ~x420+111803367424 ~x419+55901683712 ~x418+27950841856 ~x417+13975420928 ~x416+6987710464 ~x415+3493855232 ~x414+1746927616 ~x413+873463808 ~x412+436731904 ~x411+218365952 ~x410+109182976 ~x409+54591488 ~x408+27295744 ~x407+13647872 ~x406+6823936 ~x405+3411968 ~x404+1705984 ~x403+852992 ~x402+426496 ~x401+213248 ~x400+106624 ~x399+53312 ~x398+26656 ~x397+13328 ~x396+6664 ~x395+3332 ~x394+1666 ~x393+833 ~x392-0=2082035137643 63.26/63.36 c 549755813888 ~x2745277+274877906944 ~x2745276+137438953472 ~x2745275+68719476736 ~x2745274+34359738368 ~x2745273+17179869184 ~x2745272+8589934592 ~x2745271+4294967296 ~x2745270+2147483648 ~x2745269+1073741824 ~x2745268+536870912 ~x2745267+268435456 ~x2745266+134217728 ~x2745265+67108864 ~x2745264+33554432 ~x2745263+16777216 ~x2745262+8388608 ~x2745261+4194304 ~x2745260+2097152 ~x2745259+1048576 ~x2745258+524288 ~x2745257+262144 ~x2745256+131072 ~x2745255+65536 ~x2745254+32768 ~x2745253+16384 ~x2745252+8192 ~x2745251+4096 ~x2745250+2048 ~x2745249+1024 ~x2745248+512 ~x2745247+256 ~x2745246+128 ~x2745245+64 ~x2745244+32 ~x2745243+16 ~x2745242+8 ~x2745241+4 ~x2745240+2 ~x2745239+1 ~x2745238+1024000000 ~x1396+44560285696 ~x1141+22280142848 ~x1140+11140071424 ~x1139+5570035712 ~x1138+2785017856 ~x1137+1392508928 ~x1136+696254464 ~x1135+348127232 ~x1134+174063616 ~x1133+87031808 ~x1132+43515904 ~x1131+21757952 ~x1130+10878976 ~x1129+5439488 ~x1128+2719744 ~x1127+1359872 ~x1126+679936 ~x1125+339968 ~x1124+169984 ~x1123+84992 ~x1122+42496 ~x1121+21248 ~x1120+10624 ~x1119+5312 ~x1118+2656 ~x1117+1328 ~x1116+664 ~x1115+332 ~x1114+166 ~x1113+83 ~x1112+447213469696 ~x451+223606734848 ~x450+111803367424 ~x449+55901683712 ~x448+27950841856 ~x447+13975420928 ~x446+6987710464 ~x445+3493855232 ~x444+1746927616 ~x443+873463808 ~x442+436731904 ~x441+218365952 ~x440+109182976 ~x439+54591488 ~x438+27295744 ~x437+13647872 ~x436+6823936 ~x435+3411968 ~x434+1705984 ~x433+852992 ~x432+426496 ~x431+213248 ~x430+106624 ~x429+53312 ~x428+26656 ~x427+13328 ~x426+6664 ~x425+3332 ~x424+1666 ~x423+833 ~x422-0=2070771137643 64.36/64.43 c 549755813888 ~x2792201+274877906944 ~x2792200+137438953472 ~x2792199+68719476736 ~x2792198+34359738368 ~x2792197+17179869184 ~x2792196+8589934592 ~x2792195+4294967296 ~x2792194+2147483648 ~x2792193+1073741824 ~x2792192+536870912 ~x2792191+268435456 ~x2792190+134217728 ~x2792189+67108864 ~x2792188+33554432 ~x2792187+16777216 ~x2792186+8388608 ~x2792185+4194304 ~x2792184+2097152 ~x2792183+1048576 ~x2792182+524288 ~x2792181+262144 ~x2792180+131072 ~x2792179+65536 ~x2792178+32768 ~x2792177+16384 ~x2792176+8192 ~x2792175+4096 ~x2792174+2048 ~x2792173+1024 ~x2792172+512 ~x2792171+256 ~x2792170+128 ~x2792169+64 ~x2792168+32 ~x2792167+16 ~x2792166+8 ~x2792165+4 ~x2792164+2 ~x2792163+1 ~x2792162+1024000000 ~x1397+44560285696 ~x1171+22280142848 ~x1170+11140071424 ~x1169+5570035712 ~x1168+2785017856 ~x1167+1392508928 ~x1166+696254464 ~x1165+348127232 ~x1164+174063616 ~x1163+87031808 ~x1162+43515904 ~x1161+21757952 ~x1160+10878976 ~x1159+5439488 ~x1158+2719744 ~x1157+1359872 ~x1156+679936 ~x1155+339968 ~x1154+169984 ~x1153+84992 ~x1152+42496 ~x1151+21248 ~x1150+10624 ~x1149+5312 ~x1148+2656 ~x1147+1328 ~x1146+664 ~x1145+332 ~x1144+166 ~x1143+83 ~x1142+447213469696 ~x481+223606734848 ~x480+111803367424 ~x479+55901683712 ~x478+27950841856 ~x477+13975420928 ~x476+6987710464 ~x475+3493855232 ~x474+1746927616 ~x473+873463808 ~x472+436731904 ~x471+218365952 ~x470+109182976 ~x469+54591488 ~x468+27295744 ~x467+13647872 ~x466+6823936 ~x465+3411968 ~x464+1705984 ~x463+852992 ~x462+426496 ~x461+213248 ~x460+106624 ~x459+53312 ~x458+26656 ~x457+13328 ~x456+6664 ~x455+3332 ~x454+1666 ~x453+833 ~x452-0=1982707137643 65.37/65.50 c 549755813888 ~x2839125+274877906944 ~x2839124+137438953472 ~x2839123+68719476736 ~x2839122+34359738368 ~x2839121+17179869184 ~x2839120+8589934592 ~x2839119+4294967296 ~x2839118+2147483648 ~x2839117+1073741824 ~x2839116+536870912 ~x2839115+268435456 ~x2839114+134217728 ~x2839113+67108864 ~x2839112+33554432 ~x2839111+16777216 ~x2839110+8388608 ~x2839109+4194304 ~x2839108+2097152 ~x2839107+1048576 ~x2839106+524288 ~x2839105+262144 ~x2839104+131072 ~x2839103+65536 ~x2839102+32768 ~x2839101+16384 ~x2839100+8192 ~x2839099+4096 ~x2839098+2048 ~x2839097+1024 ~x2839096+512 ~x2839095+256 ~x2839094+128 ~x2839093+64 ~x2839092+32 ~x2839091+16 ~x2839090+8 ~x2839089+4 ~x2839088+2 ~x2839087+1 ~x2839086+1024000000 ~x1399+44560285696 ~x1231+22280142848 ~x1230+11140071424 ~x1229+5570035712 ~x1228+2785017856 ~x1227+1392508928 ~x1226+696254464 ~x1225+348127232 ~x1224+174063616 ~x1223+87031808 ~x1222+43515904 ~x1221+21757952 ~x1220+10878976 ~x1219+5439488 ~x1218+2719744 ~x1217+1359872 ~x1216+679936 ~x1215+339968 ~x1214+169984 ~x1213+84992 ~x1212+42496 ~x1211+21248 ~x1210+10624 ~x1209+5312 ~x1208+2656 ~x1207+1328 ~x1206+664 ~x1205+332 ~x1204+166 ~x1203+83 ~x1202+447213469696 ~x541+223606734848 ~x540+111803367424 ~x539+55901683712 ~x538+27950841856 ~x537+13975420928 ~x536+6987710464 ~x535+3493855232 ~x534+1746927616 ~x533+873463808 ~x532+436731904 ~x531+218365952 ~x530+109182976 ~x529+54591488 ~x528+27295744 ~x527+13647872 ~x526+6823936 ~x525+3411968 ~x524+1705984 ~x523+852992 ~x522+426496 ~x521+213248 ~x520+106624 ~x519+53312 ~x518+26656 ~x517+13328 ~x516+6664 ~x515+3332 ~x514+1666 ~x513+833 ~x512-0=2082035137643 66.46/66.56 c 549755813888 ~x2886049+274877906944 ~x2886048+137438953472 ~x2886047+68719476736 ~x2886046+34359738368 ~x2886045+17179869184 ~x2886044+8589934592 ~x2886043+4294967296 ~x2886042+2147483648 ~x2886041+1073741824 ~x2886040+536870912 ~x2886039+268435456 ~x2886038+134217728 ~x2886037+67108864 ~x2886036+33554432 ~x2886035+16777216 ~x2886034+8388608 ~x2886033+4194304 ~x2886032+2097152 ~x2886031+1048576 ~x2886030+524288 ~x2886029+262144 ~x2886028+131072 ~x2886027+65536 ~x2886026+32768 ~x2886025+16384 ~x2886024+8192 ~x2886023+4096 ~x2886022+2048 ~x2886021+1024 ~x2886020+512 ~x2886019+256 ~x2886018+128 ~x2886017+64 ~x2886016+32 ~x2886015+16 ~x2886014+8 ~x2886013+4 ~x2886012+2 ~x2886011+1 ~x2886010+1024000000 ~x1400+44560285696 ~x1261+22280142848 ~x1260+11140071424 ~x1259+5570035712 ~x1258+2785017856 ~x1257+1392508928 ~x1256+696254464 ~x1255+348127232 ~x1254+174063616 ~x1253+87031808 ~x1252+43515904 ~x1251+21757952 ~x1250+10878976 ~x1249+5439488 ~x1248+2719744 ~x1247+1359872 ~x1246+679936 ~x1245+339968 ~x1244+169984 ~x1243+84992 ~x1242+42496 ~x1241+21248 ~x1240+10624 ~x1239+5312 ~x1238+2656 ~x1237+1328 ~x1236+664 ~x1235+332 ~x1234+166 ~x1233+83 ~x1232+447213469696 ~x571+223606734848 ~x570+111803367424 ~x569+55901683712 ~x568+27950841856 ~x567+13975420928 ~x566+6987710464 ~x565+3493855232 ~x564+1746927616 ~x563+873463808 ~x562+436731904 ~x561+218365952 ~x560+109182976 ~x559+54591488 ~x558+27295744 ~x557+13647872 ~x556+6823936 ~x555+3411968 ~x554+1705984 ~x553+852992 ~x552+426496 ~x551+213248 ~x550+106624 ~x549+53312 ~x548+26656 ~x547+13328 ~x546+6664 ~x545+3332 ~x544+1666 ~x543+833 ~x542-0=2082035137643 67.57/67.63 c 549755813888 ~x2932973+274877906944 ~x2932972+137438953472 ~x2932971+68719476736 ~x2932970+34359738368 ~x2932969+17179869184 ~x2932968+8589934592 ~x2932967+4294967296 ~x2932966+2147483648 ~x2932965+1073741824 ~x2932964+536870912 ~x2932963+268435456 ~x2932962+134217728 ~x2932961+67108864 ~x2932960+33554432 ~x2932959+16777216 ~x2932958+8388608 ~x2932957+4194304 ~x2932956+2097152 ~x2932955+1048576 ~x2932954+524288 ~x2932953+262144 ~x2932952+131072 ~x2932951+65536 ~x2932950+32768 ~x2932949+16384 ~x2932948+8192 ~x2932947+4096 ~x2932946+2048 ~x2932945+1024 ~x2932944+512 ~x2932943+256 ~x2932942+128 ~x2932941+64 ~x2932940+32 ~x2932939+16 ~x2932938+8 ~x2932937+4 ~x2932936+2 ~x2932935+1 ~x2932934+1024000000 ~x1401+44560285696 ~x1291+22280142848 ~x1290+11140071424 ~x1289+5570035712 ~x1288+2785017856 ~x1287+1392508928 ~x1286+696254464 ~x1285+348127232 ~x1284+174063616 ~x1283+87031808 ~x1282+43515904 ~x1281+21757952 ~x1280+10878976 ~x1279+5439488 ~x1278+2719744 ~x1277+1359872 ~x1276+679936 ~x1275+339968 ~x1274+169984 ~x1273+84992 ~x1272+42496 ~x1271+21248 ~x1270+10624 ~x1269+5312 ~x1268+2656 ~x1267+1328 ~x1266+664 ~x1265+332 ~x1264+166 ~x1263+83 ~x1262+447213469696 ~x601+223606734848 ~x600+111803367424 ~x599+55901683712 ~x598+27950841856 ~x597+13975420928 ~x596+6987710464 ~x595+3493855232 ~x594+1746927616 ~x593+873463808 ~x592+436731904 ~x591+218365952 ~x590+109182976 ~x589+54591488 ~x588+27295744 ~x587+13647872 ~x586+6823936 ~x585+3411968 ~x584+1705984 ~x583+852992 ~x582+426496 ~x581+213248 ~x580+106624 ~x579+53312 ~x578+26656 ~x577+13328 ~x576+6664 ~x575+3332 ~x574+1666 ~x573+833 ~x572-0=2070771137643 68.66/68.70 c 549755813888 ~x2979897+274877906944 ~x2979896+137438953472 ~x2979895+68719476736 ~x2979894+34359738368 ~x2979893+17179869184 ~x2979892+8589934592 ~x2979891+4294967296 ~x2979890+2147483648 ~x2979889+1073741824 ~x2979888+536870912 ~x2979887+268435456 ~x2979886+134217728 ~x2979885+67108864 ~x2979884+33554432 ~x2979883+16777216 ~x2979882+8388608 ~x2979881+4194304 ~x2979880+2097152 ~x2979879+1048576 ~x2979878+524288 ~x2979877+262144 ~x2979876+131072 ~x2979875+65536 ~x2979874+32768 ~x2979873+16384 ~x2979872+8192 ~x2979871+4096 ~x2979870+2048 ~x2979869+1024 ~x2979868+512 ~x2979867+256 ~x2979866+128 ~x2979865+64 ~x2979864+32 ~x2979863+16 ~x2979862+8 ~x2979861+4 ~x2979860+2 ~x2979859+1 ~x2979858+1024000000 ~x1402+44560285696 ~x1321+22280142848 ~x1320+11140071424 ~x1319+5570035712 ~x1318+2785017856 ~x1317+1392508928 ~x1316+696254464 ~x1315+348127232 ~x1314+174063616 ~x1313+87031808 ~x1312+43515904 ~x1311+21757952 ~x1310+10878976 ~x1309+5439488 ~x1308+2719744 ~x1307+1359872 ~x1306+679936 ~x1305+339968 ~x1304+169984 ~x1303+84992 ~x1302+42496 ~x1301+21248 ~x1300+10624 ~x1299+5312 ~x1298+2656 ~x1297+1328 ~x1296+664 ~x1295+332 ~x1294+166 ~x1293+83 ~x1292+447213469696 ~x631+223606734848 ~x630+111803367424 ~x629+55901683712 ~x628+27950841856 ~x627+13975420928 ~x626+6987710464 ~x625+3493855232 ~x624+1746927616 ~x623+873463808 ~x622+436731904 ~x621+218365952 ~x620+109182976 ~x619+54591488 ~x618+27295744 ~x617+13647872 ~x616+6823936 ~x615+3411968 ~x614+1705984 ~x613+852992 ~x612+426496 ~x611+213248 ~x610+106624 ~x609+53312 ~x608+26656 ~x607+13328 ~x606+6664 ~x605+3332 ~x604+1666 ~x603+833 ~x602-0=2082035137643 69.66/69.77 c 549755813888 ~x3026821+274877906944 ~x3026820+137438953472 ~x3026819+68719476736 ~x3026818+34359738368 ~x3026817+17179869184 ~x3026816+8589934592 ~x3026815+4294967296 ~x3026814+2147483648 ~x3026813+1073741824 ~x3026812+536870912 ~x3026811+268435456 ~x3026810+134217728 ~x3026809+67108864 ~x3026808+33554432 ~x3026807+16777216 ~x3026806+8388608 ~x3026805+4194304 ~x3026804+2097152 ~x3026803+1048576 ~x3026802+524288 ~x3026801+262144 ~x3026800+131072 ~x3026799+65536 ~x3026798+32768 ~x3026797+16384 ~x3026796+8192 ~x3026795+4096 ~x3026794+2048 ~x3026793+1024 ~x3026792+512 ~x3026791+256 ~x3026790+128 ~x3026789+64 ~x3026788+32 ~x3026787+16 ~x3026786+8 ~x3026785+4 ~x3026784+2 ~x3026783+1 ~x3026782+1024000000 ~x1403+44560285696 ~x1351+22280142848 ~x1350+11140071424 ~x1349+5570035712 ~x1348+2785017856 ~x1347+1392508928 ~x1346+696254464 ~x1345+348127232 ~x1344+174063616 ~x1343+87031808 ~x1342+43515904 ~x1341+21757952 ~x1340+10878976 ~x1339+5439488 ~x1338+2719744 ~x1337+1359872 ~x1336+679936 ~x1335+339968 ~x1334+169984 ~x1333+84992 ~x1332+42496 ~x1331+21248 ~x1330+10624 ~x1329+5312 ~x1328+2656 ~x1327+1328 ~x1326+664 ~x1325+332 ~x1324+166 ~x1323+83 ~x1322+447213469696 ~x661+223606734848 ~x660+111803367424 ~x659+55901683712 ~x658+27950841856 ~x657+13975420928 ~x656+6987710464 ~x655+3493855232 ~x654+1746927616 ~x653+873463808 ~x652+436731904 ~x651+218365952 ~x650+109182976 ~x649+54591488 ~x648+27295744 ~x647+13647872 ~x646+6823936 ~x645+3411968 ~x644+1705984 ~x643+852992 ~x642+426496 ~x641+213248 ~x640+106624 ~x639+53312 ~x638+26656 ~x637+13328 ~x636+6664 ~x635+3332 ~x634+1666 ~x633+833 ~x632-0=2083059137643 70.76/70.88 c 549755813888 ~x3073745+274877906944 ~x3073744+137438953472 ~x3073743+68719476736 ~x3073742+34359738368 ~x3073741+17179869184 ~x3073740+8589934592 ~x3073739+4294967296 ~x3073738+2147483648 ~x3073737+1073741824 ~x3073736+536870912 ~x3073735+268435456 ~x3073734+134217728 ~x3073733+67108864 ~x3073732+33554432 ~x3073731+16777216 ~x3073730+8388608 ~x3073729+4194304 ~x3073728+2097152 ~x3073727+1048576 ~x3073726+524288 ~x3073725+262144 ~x3073724+131072 ~x3073723+65536 ~x3073722+32768 ~x3073721+16384 ~x3073720+8192 ~x3073719+4096 ~x3073718+2048 ~x3073717+1024 ~x3073716+512 ~x3073715+256 ~x3073714+128 ~x3073713+64 ~x3073712+32 ~x3073711+16 ~x3073710+8 ~x3073709+4 ~x3073708+2 ~x3073707+1 ~x3073706+1024000000 ~x1404+44560285696 ~x1381+22280142848 ~x1380+11140071424 ~x1379+5570035712 ~x1378+2785017856 ~x1377+1392508928 ~x1376+696254464 ~x1375+348127232 ~x1374+174063616 ~x1373+87031808 ~x1372+43515904 ~x1371+21757952 ~x1370+10878976 ~x1369+5439488 ~x1368+2719744 ~x1367+1359872 ~x1366+679936 ~x1365+339968 ~x1364+169984 ~x1363+84992 ~x1362+42496 ~x1361+21248 ~x1360+10624 ~x1359+5312 ~x1358+2656 ~x1357+1328 ~x1356+664 ~x1355+332 ~x1354+166 ~x1353+83 ~x1352+447213469696 ~x691+223606734848 ~x690+111803367424 ~x689+55901683712 ~x688+27950841856 ~x687+13975420928 ~x686+6987710464 ~x685+3493855232 ~x684+1746927616 ~x683+873463808 ~x682+436731904 ~x681+218365952 ~x680+109182976 ~x679+54591488 ~x678+27295744 ~x677+13647872 ~x676+6823936 ~x675+3411968 ~x674+1705984 ~x673+852992 ~x672+426496 ~x671+213248 ~x670+106624 ~x669+53312 ~x668+26656 ~x667+13328 ~x666+6664 ~x665+3332 ~x664+1666 ~x663+833 ~x662-0=2082035137643 71.86/71.94 c 549755813888 ~x3120669+274877906944 ~x3120668+137438953472 ~x3120667+68719476736 ~x3120666+34359738368 ~x3120665+17179869184 ~x3120664+8589934592 ~x3120663+4294967296 ~x3120662+2147483648 ~x3120661+1073741824 ~x3120660+536870912 ~x3120659+268435456 ~x3120658+134217728 ~x3120657+67108864 ~x3120656+33554432 ~x3120655+16777216 ~x3120654+8388608 ~x3120653+4194304 ~x3120652+2097152 ~x3120651+1048576 ~x3120650+524288 ~x3120649+262144 ~x3120648+131072 ~x3120647+65536 ~x3120646+32768 ~x3120645+16384 ~x3120644+8192 ~x3120643+4096 ~x3120642+2048 ~x3120641+1024 ~x3120640+512 ~x3120639+256 ~x3120638+128 ~x3120637+64 ~x3120636+32 ~x3120635+16 ~x3120634+8 ~x3120633+4 ~x3120632+2 ~x3120631+1 ~x3120630+1024000000 ~x1383+44560285696 ~x751+22280142848 ~x750+11140071424 ~x749+5570035712 ~x748+2785017856 ~x747+1392508928 ~x746+696254464 ~x745+348127232 ~x744+174063616 ~x743+87031808 ~x742+43515904 ~x741+21757952 ~x740+10878976 ~x739+5439488 ~x738+2719744 ~x737+1359872 ~x736+679936 ~x735+339968 ~x734+169984 ~x733+84992 ~x732+42496 ~x731+21248 ~x730+10624 ~x729+5312 ~x728+2656 ~x727+1328 ~x726+664 ~x725+332 ~x724+166 ~x723+83 ~x722+447213469696 ~x61+223606734848 ~x60+111803367424 ~x59+55901683712 ~x58+27950841856 ~x57+13975420928 ~x56+6987710464 ~x55+3493855232 ~x54+1746927616 ~x53+873463808 ~x52+436731904 ~x51+218365952 ~x50+109182976 ~x49+54591488 ~x48+27295744 ~x47+1
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-2674165-1276800168/watcher-2674165-1276800168 -o /tmp/evaluation-result-2674165-1276800168/solver-2674165-1276800168 -C 1800 -W 2000 -M 1800 run HOME/instance-2674165-1276800168.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 1.00 0.99 3/106 20231 /proc/meminfo: memFree=1845016/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [startup+0.0553241 s] /proc/loadavg: 0.92 1.00 0.99 3/106 20231 /proc/meminfo: memFree=1845016/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101331 s] /proc/loadavg: 0.92 1.00 0.99 3/106 20231 /proc/meminfo: memFree=1845016/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300368 s] /proc/loadavg: 0.92 1.00 0.99 3/106 20231 /proc/meminfo: memFree=1845016/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.70044 s] /proc/loadavg: 0.92 1.00 0.99 3/106 20231 /proc/meminfo: memFree=1845016/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50058 s] /proc/loadavg: 0.93 1.00 0.99 2/108 20234 /proc/meminfo: memFree=1752620/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=103452 CPUtime=1.49 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 29942 0 0 0 112 37 0 0 25 0 1 0 55618408 105934848 25109 1992294400 134512640 134902295 4292154800 18446744073709551615 8097092 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 25863 25109 262 96 0 25075 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 112152 [startup+3.10087 s] /proc/loadavg: 0.93 1.00 0.99 2/108 20234 /proc/meminfo: memFree=1735756/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=130048 CPUtime=3.08 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 37874 0 0 0 268 40 0 0 25 0 1 0 55618408 133169152 31650 1992294400 134512640 134902295 4292154800 18446744073709551615 4160316625 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 32512 31650 262 96 0 31724 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 138748 [startup+6.30044 s] /proc/loadavg: 0.93 1.00 0.99 2/108 20234 /proc/meminfo: memFree=1679832/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=188184 CPUtime=6.29 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 52880 0 0 0 581 48 0 0 25 0 1 0 55618408 192700416 45002 1992294400 134512640 134902295 4292154800 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 47046 45002 262 96 0 46258 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 196884 [startup+12.7016 s] /proc/loadavg: 0.94 1.00 0.99 2/108 20236 /proc/meminfo: memFree=1559304/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=311620 CPUtime=12.68 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 83688 0 0 0 1206 62 0 0 25 0 1 0 55618408 319098880 75794 1992294400 134512640 134902295 4292154800 18446744073709551615 134588032 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 77905 75794 262 96 0 77117 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 320320 [startup+25.5019 s] /proc/loadavg: 0.95 1.00 0.99 2/108 20236 /proc/meminfo: memFree=1332632/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=537052 CPUtime=25.47 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 143685 0 0 0 2457 90 0 0 25 0 1 0 55618408 549941248 129067 1992294400 134512640 134902295 4292154800 18446744073709551615 4160314295 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 134263 129067 262 96 0 133475 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 545752 [startup+51.1005 s] /proc/loadavg: 0.96 1.00 0.99 2/108 20236 /proc/meminfo: memFree=862424/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1015028 CPUtime=51.07 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 263256 0 0 0 4964 143 0 0 25 0 1 0 55618408 1039388672 247574 1992294400 134512640 134902295 4292154800 18446744073709551615 134631024 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 253757 247574 262 96 0 252969 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1023728 [startup+102.308 s] /proc/loadavg: 0.98 1.00 0.99 2/108 20238 /proc/meminfo: memFree=427680/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1463056 CPUtime=102.26 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 369307 0 0 0 10038 188 0 0 25 0 1 0 55618408 1498169344 353605 1992294400 134512640 134902295 4292154800 18446744073709551615 4160313470 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 365764 353605 269 96 0 364976 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1471756 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/108 20240 /proc/meminfo: memFree=422720/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1468040 CPUtime=162.23 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 370521 0 0 0 16034 189 0 0 25 0 1 0 55618408 1503272960 354819 1992294400 134512640 134902295 4292154800 18446744073709551615 4160302273 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 367010 354819 269 96 0 366222 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 1476740 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.99 2/108 20240 /proc/meminfo: memFree=417884/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1472836 CPUtime=222.21 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 371731 0 0 0 22031 190 0 0 25 0 1 0 55618408 1508184064 356029 1992294400 134512640 134902295 4292154800 18446744073709551615 4160283393 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 368209 356029 269 96 0 367421 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 1481536 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/108 20242 /proc/meminfo: memFree=409204/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1481504 CPUtime=282.19 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 373898 0 0 0 28027 192 0 0 25 0 1 0 55618408 1517060096 358196 1992294400 134512640 134902295 4292154800 18446744073709551615 4160295972 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 370376 358196 269 96 0 369588 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 1490204 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/108 20244 /proc/meminfo: memFree=397920/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1492716 CPUtime=342.18 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 376676 0 0 0 34023 195 0 0 25 0 1 0 55618408 1528541184 360974 1992294400 134512640 134902295 4292154800 18446744073709551615 4160283264 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 373179 360974 269 96 0 372391 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 1501416 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.99 2/108 20246 /proc/meminfo: memFree=394944/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1495504 CPUtime=402.15 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 377413 0 0 0 40020 195 0 0 25 0 1 0 55618408 1531396096 361711 1992294400 134512640 134902295 4292154800 18446744073709551615 4160283383 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 373876 361711 269 96 0 373088 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 1504204 [startup+462.302 s] ################ # More data... # ################ /proc/20233/statm: 391224 378950 269 96 0 390436 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 1573596 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 20277 /proc/meminfo: memFree=316080/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1573872 CPUtime=1241.86 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 396884 0 0 0 123971 215 0 0 25 0 1 0 55618408 1611644928 381182 1992294400 134512640 134902295 4292154800 18446744073709551615 4160306879 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 393468 381182 269 96 0 392680 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1582572 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 20279 /proc/meminfo: memFree=307276/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1582584 CPUtime=1301.85 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 399056 0 0 0 129968 217 0 0 25 0 1 0 55618408 1620566016 383354 1992294400 134512640 134902295 4292154800 18446744073709551615 4160295394 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 395646 383354 269 96 0 394858 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1591284 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 20281 /proc/meminfo: memFree=298472/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1591308 CPUtime=1361.82 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 401262 0 0 0 135962 220 0 0 25 0 1 0 55618408 1629499392 385560 1992294400 134512640 134902295 4292154800 18446744073709551615 4160313470 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 397827 385560 269 96 0 397039 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1600008 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.99 2/108 20281 /proc/meminfo: memFree=290040/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1599664 CPUtime=1421.81 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 403338 0 0 0 141958 223 0 0 25 0 1 0 55618408 1638055936 387636 1992294400 134512640 134902295 4292154800 18446744073709551615 4160313653 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 399916 387636 269 96 0 399128 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1608364 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 20283 /proc/meminfo: memFree=281360/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1608272 CPUtime=1481.78 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 405509 0 0 0 147953 225 0 0 25 0 1 0 55618408 1646870528 389807 1992294400 134512640 134902295 4292154800 18446744073709551615 4160283465 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 402068 389807 269 96 0 401280 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1616972 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 20285 /proc/meminfo: memFree=274540/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1615052 CPUtime=1541.76 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 407193 0 0 0 153948 228 0 0 25 0 1 0 55618408 1653813248 391491 1992294400 134512640 134902295 4292154800 18446744073709551615 4160283288 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 403763 391491 269 96 0 402975 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 1623752 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 20287 /proc/meminfo: memFree=269456/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1619936 CPUtime=1601.74 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 408433 0 0 0 159945 229 0 0 25 0 1 0 55618408 1658814464 392731 1992294400 134512640 134902295 4292154800 18446744073709551615 4160283271 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 404984 392731 269 96 0 404196 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 1628636 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 20289 /proc/meminfo: memFree=265612/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1623648 CPUtime=1661.73 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 409365 0 0 0 165942 231 0 0 25 0 1 0 55618408 1662615552 393663 1992294400 134512640 134902295 4292154800 18446744073709551615 4160314620 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 405912 393663 269 96 0 405124 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 1632348 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 20289 /proc/meminfo: memFree=261768/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1627628 CPUtime=1721.7 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 410346 0 0 0 171938 232 0 0 25 0 1 0 55618408 1666691072 394644 1992294400 134512640 134902295 4292154800 18446744073709551615 4160313470 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 406907 394644 269 96 0 406119 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 1636328 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 0.99 2/108 20291 /proc/meminfo: memFree=259040/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1630268 CPUtime=1781.68 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 411026 0 0 0 177935 233 0 0 25 0 1 0 55618408 1669394432 395324 1992294400 134512640 134902295 4292154800 18446744073709551615 4160283272 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 407567 395324 269 96 0 406779 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 1638968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 1.00 0.99 2/108 20291 /proc/meminfo: memFree=258296/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1630928 CPUtime=1800.09 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 411197 0 0 0 179776 233 0 0 25 0 1 0 55618408 1670070272 395495 1992294400 134512640 134902295 4292154800 18446744073709551615 4160295446 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 407732 395495 269 96 0 406944 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1639628 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 1.00 0.99 2/108 20291 /proc/meminfo: memFree=258296/2059040 swapFree=4136244/4192956 [pid=20231] ppid=20229 vsize=8700 CPUtime=0 /proc/20231/stat : 20231 (run) S 20229 20231 20206 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55618408 8908800 250 1992294400 4194304 4922060 140734104849232 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20231/statm: 2175 250 211 178 0 68 0 [pid=20233] ppid=20231 vsize=1630928 CPUtime=1800.09 /proc/20233/stat : 20233 (PBPASSolver) R 20231 20231 20206 0 -1 4202496 411197 0 0 0 179776 233 0 0 25 0 1 0 55618408 1670070272 395495 1992294400 134512640 134902295 4292154800 18446744073709551615 4160295446 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/20233/statm: 407732 395495 269 96 0 406944 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1639628 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 20231 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.003998 # while last known CPU time is 1800.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.72 CPU time (s): 1800.09 CPU user time (s): 1797.76 CPU system time (s): 2.33 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (KiB): 1639628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001999 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 522 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3 runsolver used 3.01554 second user time and 8.47071 second system time The end
Begin job on node012 at 2010-06-17 20:42:49 IDJOB=2674165 IDBENCH=2490 IDSOLVER=1174 FILE ID=node012/2674165-1276800168 PBS_JOBID= 11176678 Free space on /tmp= 62588 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3b.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674165-1276800168/watcher-2674165-1276800168 -o /tmp/evaluation-result-2674165-1276800168/solver-2674165-1276800168 -C 1800 -W 2000 -M 1800 run HOME/instance-2674165-1276800168.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2982ffe422921e9a65d384b08247e6aa RANDOM SEED=873347396 node012.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.258 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.51 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.258 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: 1845412 kB Buffers: 41992 kB Cached: 78920 kB SwapCached: 9176 kB Active: 68004 kB Inactive: 65128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1845412 kB SwapTotal: 4192956 kB SwapFree: 4136244 kB Dirty: 884 kB Writeback: 0 kB AnonPages: 10852 kB Mapped: 9216 kB Slab: 58540 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181340 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= 62588 MiB End job on node012 at 2010-06-17 21:12:51