Trace number 2673746

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PBPASSolver 2010-06-13? (MO) 63.97 64.0144

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-bg512142.opb
MD5SUMbc049badf8b0b6990d4dd6f2aa909c41
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23049518932911
Best CPU time to get the best result obtained on this benchmark1800.45
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16800
Total number of constraints945
Number of constraints which are clauses11
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints934
Minimum length of a constraint1
Maximum length of a constraint183
Number of terms in the objective function 9600
Biggest coefficient in the objective function 5368709120000
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 773893279252632
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 5368709120000
Number of bits of the biggest number in a constraint 43
Biggest sum of numbers in a constraint 773893279252632
Number of bits of the biggest sum of numbers50
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

9.29/9.37	c 16800 945 0 0 0 0 0 0
9.29/9.37	c 65536 ~x16818+32768 ~x16817+16384 ~x16816+8192 ~x16815+4096 ~x16814+2048 ~x16813+1024 ~x16812+512 ~x16811+256 ~x16810+128 ~x16809+64 ~x16808+32 ~x16807+16 ~x16806+8 ~x16805+4 ~x16804+2 ~x16803+1 ~x16802+40960 x16565+65536 x2208+32768 x2207+16384 x2206+8192 x2205+4096 x2204+2048 x2203+1024 x2202+512 x2201+256 x2200+128 x2199+64 x2198+32 x2197+16 x2196+8 x2195+4 x2194+2 x2193+1 x2192-0=206847
9.38/9.49	c 32768 ~x21937+16384 ~x21936+8192 ~x21935+4096 ~x21934+2048 ~x21933+1024 ~x21932+512 ~x21931+256 ~x21930+128 ~x21929+64 ~x21928+32 ~x21927+16 ~x21926+8 ~x21925+4 ~x21924+2 ~x21923+1 ~x21922+32768 x2777+16384 x2776+8192 x2775+4096 x2774+2048 x2773+1024 x2772+512 x2771+256 x2770+128 x2769+64 x2768+32 x2767+16 x2766+8 x2765+4 x2764+2 x2763+1 x2762-0=120831
9.48/9.60	c 32768 ~x26399+16384 ~x26398+8192 ~x26397+4096 ~x26396+2048 ~x26395+1024 ~x26394+512 ~x26393+256 ~x26392+128 ~x26391+64 ~x26390+32 ~x26389+16 ~x26388+8 ~x26387+4 ~x26386+2 ~x26385+1 ~x26384+20480 x16607+32768 x3467+16384 x3466+8192 x3465+4096 x3464+2048 x3463+1024 x3462+512 x3461+256 x3460+128 x3459+64 x3458+32 x3457+16 x3456+8 x3455+4 x3454+2 x3453+1 x3452-0=108543
9.79/9.82	c 32768 ~x31029+16384 ~x31028+8192 ~x31027+4096 ~x31026+2048 ~x31025+1024 ~x31024+512 ~x31023+256 ~x31022+128 ~x31021+64 ~x31020+32 ~x31019+16 ~x31018+8 ~x31017+4 ~x31016+2 ~x31015+1 ~x31014+32768 x4217+16384 x4216+8192 x4215+4096 x4214+2048 x4213+1024 x4212+512 x4211+256 x4210+128 x4209+64 x4208+32 x4207+16 x4206+8 x4205+4 x4204+2 x4203+1 x4202-0=110591
9.89/9.93	c 131072 ~x35493+65536 ~x35492+32768 ~x35491+16384 ~x35490+8192 ~x35489+4096 ~x35488+2048 ~x35487+1024 ~x35486+512 ~x35485+256 ~x35484+128 ~x35483+64 ~x35482+32 ~x35481+16 ~x35480+8 ~x35479+4 ~x35478+2 ~x35477+1 ~x35476+79872 x16655+131072 x4909+65536 x4908+32768 x4907+16384 x4906+8192 x4905+4096 x4904+2048 x4903+1024 x4902+512 x4901+256 x4900+128 x4899+64 x4898+32 x4897+16 x4896+8 x4895+4 x4894+2 x4893+1 x4892-0=416767
9.98/10.09	c 65536 ~x42030+32768 ~x42029+16384 ~x42028+8192 ~x42027+4096 ~x42026+2048 ~x42025+1024 ~x42024+512 ~x42023+256 ~x42022+128 ~x42021+64 ~x42020+32 ~x42019+16 ~x42018+8 ~x42017+4 ~x42016+2 ~x42015+1 ~x42014+65536 x4938+32768 x4937+16384 x4936+8192 x4935+4096 x4934+2048 x4933+1024 x4932+512 x4931+256 x4930+128 x4929+64 x4928+32 x4927+16 x4926+8 x4925+4 x4924+2 x4923+1 x4922-0=210943
10.19/10.21	c 131072 ~x46977+65536 ~x46976+32768 ~x46975+16384 ~x46974+8192 ~x46973+4096 ~x46972+2048 ~x46971+1024 ~x46970+512 ~x46969+256 ~x46968+128 ~x46967+64 ~x46966+32 ~x46965+16 ~x46964+8 ~x46963+4 ~x46962+2 ~x46961+1 ~x46960+86016 x16678+131072 x5599+65536 x5598+32768 x5597+16384 x5596+8192 x5595+4096 x5594+2048 x5593+1024 x5592+512 x5591+256 x5590+128 x5589+64 x5588+32 x5587+16 x5586+8 x5585+4 x5584+2 x5583+1 x5582+131072 x3439+65536 x3438+32768 x3437+16384 x3436+8192 x3435+4096 x3434+2048 x3433+1024 x3432+512 x3431+256 x3430+128 x3429+64 x3428+32 x3427+16 x3426+8 x3425+4 x3424+2 x3423+1 x3422+131072 x2719+65536 x2718+32768 x2717+16384 x2716+8192 x2715+4096 x2714+2048 x2713+1024 x2712+512 x2711+256 x2710+128 x2709+64 x2708+32 x2707+16 x2706+8 x2705+4 x2704+2 x2703+1 x2702-0=476159
10.68/10.72	c 131072 ~x61075+65536 ~x61074+32768 ~x61073+16384 ~x61072+8192 ~x61071+4096 ~x61070+2048 ~x61069+1024 ~x61068+512 ~x61067+256 ~x61066+128 ~x61065+64 ~x61064+32 ~x61063+16 ~x61062+8 ~x61061+4 ~x61060+2 ~x61059+1 ~x61058+75776 x16679+131072 x5629+65536 x5628+32768 x5627+16384 x5626+8192 x5625+4096 x5624+2048 x5623+1024 x5622+512 x5621+256 x5620+128 x5619+64 x5618+32 x5617+16 x5616+8 x5615+4 x5614+2 x5613+1 x5612+131072 x3469+65536 x3468+32768 x3467+16384 x3466+8192 x3465+4096 x3464+2048 x3463+1024 x3462+512 x3461+256 x3460+128 x3459+64 x3458+32 x3457+16 x3456+8 x3455+4 x3454+2 x3453+1 x3452+131072 x2749+65536 x2748+32768 x2747+16384 x2746+8192 x2745+4096 x2744+2048 x2743+1024 x2742+512 x2741+256 x2740+128 x2739+64 x2738+32 x2737+16 x2736+8 x2735+4 x2734+2 x2733+1 x2732-0=423935
10.99/11.05	c 131072 ~x75173+65536 ~x75172+32768 ~x75171+16384 ~x75170+8192 ~x75169+4096 ~x75168+2048 ~x75167+1024 ~x75166+512 ~x75165+256 ~x75164+128 ~x75163+64 ~x75162+32 ~x75161+16 ~x75160+8 ~x75159+4 ~x75158+2 ~x75157+1 ~x75156+80896 x16701+131072 x6289+65536 x6288+32768 x6287+16384 x6286+8192 x6285+4096 x6284+2048 x6283+1024 x6282+512 x6281+256 x6280+128 x6279+64 x6278+32 x6277+16 x6276+8 x6275+4 x6274+2 x6273+1 x6272+131072 x4129+65536 x4128+32768 x4127+16384 x4126+8192 x4125+4096 x4124+2048 x4123+1024 x4122+512 x4121+256 x4120+128 x4119+64 x4118+32 x4117+16 x4116+8 x4115+4 x4114+2 x4113+1 x4112+131072 x3409+65536 x3408+32768 x3407+16384 x3406+8192 x3405+4096 x3404+2048 x3403+1024 x3402+512 x3401+256 x3400+128 x3399+64 x3398+32 x3397+16 x3396+8 x3395+4 x3394+2 x3393+1 x3392-0=406527
11.38/11.42	c 262144 ~x89272+131072 ~x89271+65536 ~x89270+32768 ~x89269+16384 ~x89268+8192 ~x89267+4096 ~x89266+2048 ~x89265+1024 ~x89264+512 ~x89263+256 ~x89262+128 ~x89261+64 ~x89260+32 ~x89259+16 ~x89258+8 ~x89257+4 ~x89256+2 ~x89255+1 ~x89254+183296 x16721+262144 x6890+131072 x6889+65536 x6888+32768 x6887+16384 x6886+8192 x6885+4096 x6884+2048 x6883+1024 x6882+512 x6881+256 x6880+128 x6879+64 x6878+32 x6877+16 x6876+8 x6875+4 x6874+2 x6873+1 x6872+262144 x4730+131072 x4729+65536 x4728+32768 x4727+16384 x4726+8192 x4725+4096 x4724+2048 x4723+1024 x4722+512 x4721+256 x4720+128 x4719+64 x4718+32 x4717+16 x4716+8 x4715+4 x4714+2 x4713+1 x4712+262144 x4010+131072 x4009+65536 x4008+32768 x4007+16384 x4006+8192 x4005+4096 x4004+2048 x4003+1024 x4002+512 x4001+256 x4000+128 x3999+64 x3998+32 x3997+16 x3996+8 x3995+4 x3994+2 x3993+1 x3992-0=890879
11.78/11.83	c 262144 ~x104882+131072 ~x104881+65536 ~x104880+32768 ~x104879+16384 ~x104878+8192 ~x104877+4096 ~x104876+2048 ~x104875+1024 ~x104874+512 ~x104873+256 ~x104872+128 ~x104871+64 ~x104870+32 ~x104869+16 ~x104868+8 ~x104867+4 ~x104866+2 ~x104865+1 ~x104864+151552 x16725+262144 x7010+131072 x7009+65536 x7008+32768 x7007+16384 x7006+8192 x7005+4096 x7004+2048 x7003+1024 x7002+512 x7001+256 x7000+128 x6999+64 x6998+32 x6997+16 x6996+8 x6995+4 x6994+2 x6993+1 x6992+262144 x4850+131072 x4849+65536 x4848+32768 x4847+16384 x4846+8192 x4845+4096 x4844+2048 x4843+1024 x4842+512 x4841+256 x4840+128 x4839+64 x4838+32 x4837+16 x4836+8 x4835+4 x4834+2 x4833+1 x4832+262144 x4130+131072 x4129+65536 x4128+32768 x4127+16384 x4126+8192 x4125+4096 x4124+2048 x4123+1024 x4122+512 x4121+256 x4120+128 x4119+64 x4118+32 x4117+16 x4116+8 x4115+4 x4114+2 x4113+1 x4112-0=787455
12.09/12.19	c 131072 ~x120491+65536 ~x120490+32768 ~x120489+16384 ~x120488+8192 ~x120487+4096 ~x120486+2048 ~x120485+1024 ~x120484+512 ~x120483+256 ~x120482+128 ~x120481+64 ~x120480+32 ~x120479+16 ~x120478+8 ~x120477+4 ~x120476+2 ~x120475+1 ~x120474+72704 x16734+140288 x16733+191488 x16732+131072 x7219+65536 x7218+32768 x7217+16384 x7216+8192 x7215+4096 x7214+2048 x7213+1024 x7212+512 x7211+256 x7210+128 x7209+64 x7208+32 x7207+16 x7206+8 x7205+4 x7204+2 x7203+1 x7202+131072 x5059+65536 x5058+32768 x5057+16384 x5056+8192 x5055+4096 x5054+2048 x5053+1024 x5052+512 x5051+256 x5050+128 x5049+64 x5048+32 x5047+16 x5046+8 x5045+4 x5044+2 x5043+1 x5042+131072 x2899+65536 x2898+32768 x2897+16384 x2896+8192 x2895+4096 x2894+2048 x2893+1024 x2892+512 x2891+256 x2890+128 x2889+64 x2888+32 x2887+16 x2886+8 x2885+4 x2884+2 x2883+1 x2882+131072 x2179+65536 x2178+32768 x2177+16384 x2176+8192 x2175+4096 x2174+2048 x2173+1024 x2172+512 x2171+256 x2170+128 x2169+64 x2168+32 x2167+16 x2166+8 x2165+4 x2164+2 x2163+1 x2162-0=501759
12.58/12.64	c 131072 ~x139604+65536 ~x139603+32768 ~x139602+16384 ~x139601+8192 ~x139600+4096 ~x139599+2048 ~x139598+1024 ~x139597+512 ~x139596+256 ~x139595+128 ~x139594+64 ~x139593+32 ~x139592+16 ~x139591+8 ~x139590+4 ~x139589+2 ~x139588+1 ~x139587+106496 x16748+131072 x7699+65536 x7698+32768 x7697+16384 x7696+8192 x7695+4096 x7694+2048 x7693+1024 x7692+512 x7691+256 x7690+128 x7689+64 x7688+32 x7687+16 x7686+8 x7685+4 x7684+2 x7683+1 x7682+131072 x5539+65536 x5538+32768 x5537+16384 x5536+8192 x5535+4096 x5534+2048 x5533+1024 x5532+512 x5531+256 x5530+128 x5529+64 x5528+32 x5527+16 x5526+8 x5525+4 x5524+2 x5523+1 x5522+131072 x3379+65536 x3378+32768 x3377+16384 x3376+8192 x3375+4096 x3374+2048 x3373+1024 x3372+512 x3371+256 x3370+128 x3369+64 x3368+32 x3367+16 x3366+8 x3365+4 x3364+2 x3363+1 x3362+131072 x2659+65536 x2658+32768 x2657+16384 x2656+8192 x2655+4096 x2654+2048 x2653+1024 x2652+512 x2651+256 x2650+128 x2649+64 x2648+32 x2647+16 x2646+8 x2645+4 x2644+2 x2643+1 x2642-0=483327
12.98/13.05	c 131072 ~x157482+65536 ~x157481+32768 ~x157480+16384 ~x157479+8192 ~x157478+4096 ~x157477+2048 ~x157476+1024 ~x157475+512 ~x157474+256 ~x157473+128 ~x157472+64 ~x157471+32 ~x157470+16 ~x157469+8 ~x157468+4 ~x157467+2 ~x157466+1 ~x157465+128000 x16749+131072 x7729+65536 x7728+32768 x7727+16384 x7726+8192 x7725+4096 x7724+2048 x7723+1024 x7722+512 x7721+256 x7720+128 x7719+64 x7718+32 x7717+16 x7716+8 x7715+4 x7714+2 x7713+1 x7712+131072 x5569+65536 x5568+32768 x5567+16384 x5566+8192 x5565+4096 x5564+2048 x5563+1024 x5562+512 x5561+256 x5560+128 x5559+64 x5558+32 x5557+16 x5556+8 x5555+4 x5554+2 x5553+1 x5552+131072 x3409+65536 x3408+32768 x3407+16384 x3406+8192 x3405+4096 x3404+2048 x3403+1024 x3402+512 x3401+256 x3400+128 x3399+64 x3398+32 x3397+16 x3396+8 x3395+4 x3394+2 x3393+1 x3392+131072 x2689+65536 x2688+32768 x2687+16384 x2686+8192 x2685+4096 x2684+2048 x2683+1024 x2682+512 x2681+256 x2680+128 x2679+64 x2678+32 x2677+16 x2676+8 x2675+4 x2674+2 x2673+1 x2672-0=496639
13.38/13.47	c 262144 ~x175361+131072 ~x175360+65536 ~x175359+32768 ~x175358+16384 ~x175357+8192 ~x175356+4096 ~x175355+2048 ~x175354+1024 ~x175353+512 ~x175352+256 ~x175351+128 ~x175350+64 ~x175349+32 ~x175348+16 ~x175347+8 ~x175346+4 ~x175345+2 ~x175344+1 ~x175343+208896 x16773+262144 x8450+131072 x8449+65536 x8448+32768 x8447+16384 x8446+8192 x8445+4096 x8444+2048 x8443+1024 x8442+512 x8441+256 x8440+128 x8439+64 x8438+32 x8437+16 x8436+8 x8435+4 x8434+2 x8433+1 x8432+262144 x6290+131072 x6289+65536 x6288+32768 x6287+16384 x6286+8192 x6285+4096 x6284+2048 x6283+1024 x6282+512 x6281+256 x6280+128 x6279+64 x6278+32 x6277+16 x6276+8 x6275+4 x6274+2 x6273+1 x6272+262144 x5570+131072 x5569+65536 x5568+32768 x5567+16384 x5566+8192 x5565+4096 x5564+2048 x5563+1024 x5562+512 x5561+256 x5560+128 x5559+64 x5558+32 x5557+16 x5556+8 x5555+4 x5554+2 x5553+1 x5552+262144 x4130+131072 x4129+65536 x4128+32768 x4127+16384 x4126+8192 x4125+4096 x4124+2048 x4123+1024 x4122+512 x4121+256 x4120+128 x4119+64 x4118+32 x4117+16 x4116+8 x4115+4 x4114+2 x4113+1 x4112+262144 x3409+131072 x3408+65536 x3407+32768 x3406+16384 x3405+8192 x3404+4096 x3403+2048 x3402+1024 x3401+512 x3400+256 x3399+128 x3398+64 x3397+32 x3396+16 x3395+8 x3394+4 x3393+2 x3392+262144 x2690+131072 x2689+65536 x2688+32768 x2687+16384 x2686+8192 x2685+4096 x2684+2048 x2683+1024 x2682+512 x2681+256 x2680+128 x2679+64 x2678+32 x2677+16 x2676+8 x2675+4 x2674+2 x2673+1 x2672-0=903167
14.08/14.11	c 262144 ~x203235+131072 ~x203234+65536 ~x203233+32768 ~x203232+16384 ~x203231+8192 ~x203230+4096 ~x203229+2048 ~x203228+1024 ~x203227+512 ~x203226+256 ~x203225+128 ~x203224+64 ~x203223+32 ~x203222+16 ~x203221+8 ~x203220+4 ~x203219+2 ~x203218+1 ~x203217+152576 x16774+262144 x8480+131072 x8479+65536 x8478+32768 x8477+16384 x8476+8192 x8475+4096 x8474+2048 x8473+1024 x8472+512 x8471+256 x8470+128 x8469+64 x8468+32 x8467+16 x8466+8 x8465+4 x8464+2 x8463+1 x8462+262144 x6320+131072 x6319+65536 x6318+32768 x6317+16384 x6316+8192 x6315+4096 x6314+2048 x6313+1024 x6312+512 x6311+256 x6310+128 x6309+64 x6308+32 x6307+16 x6306+8 x6305+4 x6304+2 x6303+1 x6302+262144 x5600+131072 x5599+65536 x5598+32768 x5597+16384 x5596+8192 x5595+4096 x5594+2048 x5593+1024 x5592+512 x5591+256 x5590+128 x5589+64 x5588+32 x5587+16 x5586+8 x5585+4 x5584+2 x5583+1 x5582+262144 x4160+131072 x4159+65536 x4158+32768 x4157+16384 x4156+8192 x4155+4096 x4154+2048 x4153+1024 x4152+512 x4151+256 x4150+128 x4149+64 x4148+32 x4147+16 x4146+8 x4145+4 x4144+2 x4143+1 x4142+262144 x3439+131072 x3438+65536 x3437+32768 x3436+16384 x3435+8192 x3434+4096 x3433+2048 x3432+1024 x3431+512 x3430+256 x3429+128 x3428+64 x3427+32 x3426+16 x3425+8 x3424+4 x3423+2 x3422+262144 x2720+131072 x2719+65536 x2718+32768 x2717+16384 x2716+8192 x2715+4096 x2714+2048 x2713+1024 x2712+512 x2711+256 x2710+128 x2709+64 x2708+32 x2707+16 x2706+8 x2705+4 x2704+2 x2703+1 x2702-0=885759
14.68/14.76	c 524288 ~x231110+262144 ~x231109+131072 ~x231108+65536 ~x231107+32768 ~x231106+16384 ~x231105+8192 ~x231104+4096 ~x231103+2048 ~x231102+1024 ~x231101+512 ~x231100+256 ~x231099+128 ~x231098+64 ~x231097+32 ~x231096+16 ~x231095+8 ~x231094+4 ~x231093+2 ~x231092+1 ~x231091+289792 x16792+524288 x9021+262144 x9020+131072 x9019+65536 x9018+32768 x9017+16384 x9016+8192 x9015+4096 x9014+2048 x9013+1024 x9012+512 x9011+256 x9010+128 x9009+64 x9008+32 x9007+16 x9006+8 x9005+4 x9004+2 x9003+1 x9002+524288 x6861+262144 x6860+131072 x6859+65536 x6858+32768 x6857+16384 x6856+8192 x6855+4096 x6854+2048 x6853+1024 x6852+512 x6851+256 x6850+128 x6849+64 x6848+32 x6847+16 x6846+8 x6845+4 x6844+2 x6843+1 x6842+524288 x6141+262144 x6140+131072 x6139+65536 x6138+32768 x6137+16384 x6136+8192 x6135+4096 x6134+2048 x6133+1024 x6132+512 x6131+256 x6130+128 x6129+64 x6128+32 x6127+16 x6126+8 x6125+4 x6124+2 x6123+1 x6122+524288 x4701+262144 x4700+131072 x4699+65536 x4698+32768 x4697+16384 x4696+8192 x4695+4096 x4694+2048 x4693+1024 x4692+512 x4691+256 x4690+128 x4689+64 x4688+32 x4687+16 x4686+8 x4685+4 x4684+2 x4683+1 x4682+524288 x3980+262144 x3979+131072 x3978+65536 x3977+32768 x3976+16384 x3975+8192 x3974+4096 x3973+2048 x3972+1024 x3971+512 x3970+256 x3969+128 x3968+64 x3967+32 x3966+16 x3965+8 x3964+4 x3963+2 x3962+524288 x3261+262144 x3260+131072 x3259+65536 x3258+32768 x3257+16384 x3256+8192 x3255+4096 x3254+2048 x3253+1024 x3252+512 x3251+256 x3250+128 x3249+64 x3248+32 x3247+16 x3246+8 x3245+4 x3244+2 x3243+1 x3242-0=1737727
15.40/15.46	c 524288 ~x261292+262144 ~x261291+131072 ~x261290+65536 ~x261289+32768 ~x261288+16384 ~x261287+8192 ~x261286+4096 ~x261285+2048 ~x261284+1024 ~x261283+512 ~x261282+256 ~x261281+128 ~x261280+64 ~x261279+32 ~x261278+16 ~x261277+8 ~x261276+4 ~x261275+2 ~x261274+1 ~x261273+285696 x16793+524288 x9051+262144 x9050+131072 x9049+65536 x9048+32768 x9047+16384 x9046+8192 x9045+4096 x9044+2048 x9043+1024 x9042+512 x9041+256 x9040+128 x9039+64 x9038+32 x9037+16 x9036+8 x9035+4 x9034+2 x9033+1 x9032+524288 x6891+262144 x6890+131072 x6889+65536 x6888+32768 x6887+16384 x6886+8192 x6885+4096 x6884+2048 x6883+1024 x6882+512 x6881+256 x6880+128 x6879+64 x6878+32 x6877+16 x6876+8 x6875+4 x6874+2 x6873+1 x6872+524288 x6171+262144 x6170+131072 x6169+65536 x6168+32768 x6167+16384 x6166+8192 x6165+4096 x6164+2048 x6163+1024 x6162+512 x6161+256 x6160+128 x6159+64 x6158+32 x6157+16 x6156+8 x6155+4 x6154+2 x6153+1 x6152+524288 x4731+262144 x4730+131072 x4729+65536 x4728+32768 x4727+16384 x4726+8192 x4725+4096 x4724+2048 x4723+1024 x4722+512 x4721+256 x4720+128 x4719+64 x4718+32 x4717+16 x4716+8 x4715+4 x4714+2 x4713+1 x4712+524288 x4010+262144 x4009+131072 x4008+65536 x4007+32768 x4006+16384 x4005+8192 x4004+4096 x4003+2048 x4002+1024 x4001+512 x4000+256 x3999+128 x3998+64 x3997+32 x3996+16 x3995+8 x3994+4 x3993+2 x3992+524288 x3291+262144 x3290+131072 x3289+65536 x3288+32768 x3287+16384 x3286+8192 x3285+4096 x3284+2048 x3283+1024 x3282+512 x3281+256 x3280+128 x3279+64 x3278+32 x3277+16 x3276+8 x3275+4 x3274+2 x3273+1 x3272-0=1624063
16.09/16.15	c 524288 ~x291474+262144 ~x291473+131072 ~x291472+65536 ~x291471+32768 ~x291470+16384 ~x291469+8192 ~x291468+4096 ~x291467+2048 ~x291466+1024 ~x291465+512 ~x291464+256 ~x291463+128 ~x291462+64 ~x291461+32 ~x291460+16 ~x291459+8 ~x291458+4 ~x291457+2 ~x291456+1 ~x291455+336896 x16794+524288 x9081+262144 x9080+131072 x9079+65536 x9078+32768 x9077+16384 x9076+8192 x9075+4096 x9074+2048 x9073+1024 x9072+512 x9071+256 x9070+128 x9069+64 x9068+32 x9067+16 x9066+8 x9065+4 x9064+2 x9063+1 x9062+524288 x6921+262144 x6920+131072 x6919+65536 x6918+32768 x6917+16384 x6916+8192 x6915+4096 x6914+2048 x6913+1024 x6912+512 x6911+256 x6910+128 x6909+64 x6908+32 x6907+16 x6906+8 x6905+4 x6904+2 x6903+1 x6902+524288 x6201+262144 x6200+131072 x6199+65536 x6198+32768 x6197+16384 x6196+8192 x6195+4096 x6194+2048 x6193+1024 x6192+512 x6191+256 x6190+128 x6189+64 x6188+32 x6187+16 x6186+8 x6185+4 x6184+2 x6183+1 x6182+524288 x4761+262144 x4760+131072 x4759+65536 x4758+32768 x4757+16384 x4756+8192 x4755+4096 x4754+2048 x4753+1024 x4752+512 x4751+256 x4750+128 x4749+64 x4748+32 x4747+16 x4746+8 x4745+4 x4744+2 x4743+1 x4742+524288 x4040+262144 x4039+131072 x4038+65536 x4037+32768 x4036+16384 x4035+8192 x4034+4096 x4033+2048 x4032+1024 x4031+512 x4030+256 x4029+128 x4028+64 x4027+32 x4026+16 x4025+8 x4024+4 x4023+2 x4022+524288 x3321+262144 x3320+131072 x3319+65536 x3318+32768 x3317+16384 x3316+8192 x3315+4096 x3314+2048 x3313+1024 x3312+512 x3311+256 x3310+128 x3309+64 x3308+32 x3307+16 x3306+8 x3305+4 x3304+2 x3303+1 x3302-0=1671167
16.78/16.84	c 32768 ~x321652+16384 ~x321651+8192 ~x321650+4096 ~x321649+2048 ~x321648+1024 ~x321647+512 ~x321646+256 ~x321645+128 ~x321644+64 ~x321643+32 ~x321642+16 ~x321641+8 ~x321640+4 ~x321639+2 ~x321638+1 ~x321637+32768 x2177+16384 x2176+8192 x2175+4096 x2174+2048 x2173+1024 x2172+512 x2171+256 x2170+128 x2169+64 x2168+32 x2167+16 x2166+8 x2165+4 x2164+2 x2163+1 x2162-0=99327
16.88/16.95	c 65536 ~x326115+32768 ~x326114+16384 ~x326113+8192 ~x326112+4096 ~x326111+2048 ~x326110+1024 ~x326109+512 ~x326108+256 ~x326107+128 ~x326106+64 ~x326105+32 ~x326104+16 ~x326103+8 ~x326102+4 ~x326101+2 ~x326100+1 ~x326099+65536 x2568+32768 x2567+16384 x2566+8192 x2565+4096 x2564+2048 x2563+1024 x2562+512 x2561+256 x2560+128 x2559+64 x2558+32 x2557+16 x2556+8 x2555+4 x2554+2 x2553+1 x2552-0=228351
16.98/17.07	c 65536 ~x331061+32768 ~x331060+16384 ~x331059+8192 ~x331058+4096 ~x331057+2048 ~x331056+1024 ~x331055+512 ~x331054+256 ~x331053+128 ~x331052+64 ~x331051+32 ~x331050+16 ~x331049+8 ~x331048+4 ~x331047+2 ~x331046+1 ~x331045+65536 x2598+32768 x2597+16384 x2596+8192 x2595+4096 x2594+2048 x2593+1024 x2592+512 x2591+256 x2590+128 x2589+64 x2588+32 x2587+16 x2586+8 x2585+4 x2584+2 x2583+1 x2582-0=204799
17.08/17.19	c 65536 ~x336007+32768 ~x336006+16384 ~x336005+8192 ~x336004+4096 ~x336003+2048 ~x336002+1024 ~x336001+512 ~x336000+256 ~x335999+128 ~x335998+64 ~x335997+32 ~x335996+16 ~x335995+8 ~x335994+4 ~x335993+2 ~x335992+1 ~x335991+65536 x2628+32768 x2627+16384 x2626+8192 x2625+4096 x2624+2048 x2623+1024 x2622+512 x2621+256 x2620+128 x2619+64 x2618+32 x2617+16 x2616+8 x2615+4 x2614+2 x2613+1 x2612-0=238591
17.28/17.30	c 65536 ~x340953+32768 ~x340952+16384 ~x340951+8192 ~x340950+4096 ~x340949+2048 ~x340948+1024 ~x340947+512 ~x340946+256 ~x340945+128 ~x340944+64 ~x340943+32 ~x340942+16 ~x340941+8 ~x340940+4 ~x340939+2 ~x340938+1 ~x340937+65536 x2658+32768 x2657+16384 x2656+8192 x2655+4096 x2654+2048 x2653+1024 x2652+512 x2651+256 x2650+128 x2649+64 x2648+32 x2647+16 x2646+8 x2645+4 x2644+2 x2643+1 x2642-0=218111
17.38/17.43	c 65536 ~x345899+32768 ~x345898+16384 ~x345897+8192 ~x345896+4096 ~x345895+2048 ~x345894+1024 ~x345893+512 ~x345892+256 ~x345891+128 ~x345890+64 ~x345889+32 ~x345888+16 ~x345887+8 ~x345886+4 ~x345885+2 ~x345884+1 ~x345883+65536 x2688+32768 x2687+16384 x2686+8192 x2685+4096 x2684+2048 x2683+1024 x2682+512 x2681+256 x2680+128 x2679+64 x2678+32 x2677+16 x2676+8 x2675+4 x2674+2 x2673+1 x2672-0=217087
17.49/17.54	c 65536 ~x350845+32768 ~x350844+16384 ~x350843+8192 ~x350842+4096 ~x350841+2048 ~x350840+1024 ~x350839+512 ~x350838+256 ~x350837+128 ~x350836+64 ~x350835+32 ~x350834+16 ~x350833+8 ~x350832+4 ~x350831+2 ~x350830+1 ~x350829+65536 x2718+32768 x2717+16384 x2716+8192 x2715+4096 x2714+2048 x2713+1024 x2712+512 x2711+256 x2710+128 x2709+64 x2708+32 x2707+16 x2706+8 x2705+4 x2704+2 x2703+1 x2702-0=234495
17.59/17.66	c 65536 ~x355791+32768 ~x355790+16384 ~x355789+8192 ~x355788+4096 ~x355787+2048 ~x355786+1024 ~x355785+512 ~x355784+256 ~x355783+128 ~x355782+64 ~x355781+32 ~x355780+16 ~x355779+8 ~x355778+4 ~x355777+2 ~x355776+1 ~x355775+37888 x16599+65536 x3228+32768 x3227+16384 x3226+8192 x3225+4096 x3224+2048 x3223+1024 x3222+512 x3221+256 x3220+128 x3219+64 x3218+32 x3217+16 x3216+8 x3215+4 x3214+2 x3213+1 x3212-0=229375
17.68/17.78	c 65536 ~x360911+32768 ~x360910+16384 ~x360909+8192 ~x360908+4096 ~x360907+2048 ~x360906+1024 ~x360905+512 ~x360904+256 ~x360903+128 ~x360902+64 ~x360901+32 ~x360900+16 ~x360899+8 ~x360898+4 ~x360897+2 ~x360896+1 ~x360895+34816 x16615+82944 x16614+65536 x3678+32768 x3677+16384 x3676+8192 x3675+4096 x3674+2048 x3673+1024 x3672+512 x3671+256 x3670+128 x3669+64 x3668+32 x3667+16 x3666+8 x3665+4 x3664+2 x3663+1 x3662-0=252927
17.88/17.91	c 32768 ~x366204+16384 ~x366203+8192 ~x366202+4096 ~x366201+2048 ~x366200+1024 ~x366199+512 ~x366198+256 ~x366197+128 ~x366196+64 ~x366195+32 ~x366194+16 ~x366193+8 ~x366192+4 ~x366191+2 ~x366190+1 ~x366189+32768 x4097+16384 x4096+8192 x4095+4096 x4094+2048 x4093+1024 x4092+512 x4091+256 x4090+128 x4089+64 x4088+32 x4087+16 x4086+8 x4085+4 x4084+2 x4083+1 x4082-0=117759
17.98/18.02	c 32768 ~x370666+16384 ~x370665+8192 ~x370664+4096 ~x370663+2048 ~x370662+1024 ~x370661+512 ~x370660+256 ~x370659+128 ~x370658+64 ~x370657+32 ~x370656+16 ~x370655+8 ~x370654+4 ~x370653+2 ~x370652+1 ~x370651+32768 x4157+16384 x4156+8192 x4155+4096 x4154+2048 x4153+1024 x4152+512 x4151+256 x4150+128 x4149+64 x4148+32 x4147+16 x4146+8 x4145+4 x4144+2 x4143+1 x4142-0=121855
18.08/18.12	c 32768 ~x375128+16384 ~x375127+8192 ~x375126+4096 ~x375125+2048 ~x375124+1024 ~x375123+512 ~x375122+256 ~x375121+128 ~x375120+64 ~x375119+32 ~x375118+16 ~x375117+8 ~x375116+4 ~x375115+2 ~x375114+1 ~x375113+32768 x4187+16384 x4186+8192 x4185+4096 x4184+2048 x4183+1024 x4182+512 x4181+256 x4180+128 x4179+64 x4178+32 x4177+16 x4176+8 x4175+4 x4174+2 x4173+1 x4172-0=109567
18.18/18.23	c 65536 ~x379591+32768 ~x379590+16384 ~x379589+8192 ~x379588+4096 ~x379587+2048 ~x379586+1024 ~x379585+512 ~x379584+256 ~x379583+128 ~x379582+64 ~x379581+32 ~x379580+16 ~x379579+8 ~x379578+4 ~x379577+2 ~x379576+1 ~x379575+65536 x4728+32768 x4727+16384 x4726+8192 x4725+4096 x4724+2048 x4723+1024 x4722+512 x4721+256 x4720+128 x4719+64 x4718+32 x4717+16 x4716+8 x4715+4 x4714+2 x4713+1 x4712-0=252927
18.28/18.35	c 65536 ~x384537+32768 ~x384536+16384 ~x384535+8192 ~x384534+4096 ~x384533+2048 ~x384532+1024 ~x384531+512 ~x384530+256 ~x384529+128 ~x384528+64 ~x384527+32 ~x384526+16 ~x384525+8 ~x384524+4 ~x384523+2 ~x384522+1 ~x384521+65536 x4758+32768 x4757+16384 x4756+8192 x4755+4096 x4754+2048 x4753+1024 x4752+512 x4751+256 x4750+128 x4749+64 x4748+32 x4747+16 x4746+8 x4745+4 x4744+2 x4743+1 x4742-0=249855
18.38/18.47	c 131072 ~x389484+65536 ~x389483+32768 ~x389482+16384 ~x389481+8192 ~x389480+4096 ~x389479+2048 ~x389478+1024 ~x389477+512 ~x389476+256 ~x389475+128 ~x389474+64 ~x389473+32 ~x389472+16 ~x389471+8 ~x389470+4 ~x389469+2 ~x389468+1 ~x389467+131072 x4789+65536 x4788+32768 x4787+16384 x4786+8192 x4785+4096 x4784+2048 x4783+1024 x4782+512 x4781+256 x4780+128 x4779+64 x4778+32 x4777+16 x4776+8 x4775+4 x4774+2 x4773+1 x4772-0=428031
18.59/18.62	c 65536 ~x395811+32768 ~x395810+16384 ~x395809+8192 ~x395808+4096 ~x395807+2048 ~x395806+1024 ~x395805+512 ~x395804+256 ~x395803+128 ~x395802+64 ~x395801+32 ~x395800+16 ~x395799+8 ~x395798+4 ~x395797+2 ~x395796+1 ~x395795+65536 x4818+32768 x4817+16384 x4816+8192 x4815+4096 x4814+2048 x4813+1024 x4812+512 x4811+256 x4810+128 x4809+64 x4808+32 x4807+16 x4806+8 x4805+4 x4804+2 x4803+1 x4802-0=244735
18.69/18.73	c 131072 ~x400758+65536 ~x400757+32768 ~x400756+16384 ~x400755+8192 ~x400754+4096 ~x400753+2048 ~x400752+1024 ~x400751+512 ~x400750+256 ~x400749+128 ~x400748+64 ~x400747+32 ~x400746+16 ~x400745+8 ~x400744+4 ~x400743+2 ~x400742+1 ~x400741+74752 x16654+131072 x4879+65536 x4878+32768 x4877+16384 x4876+8192 x4875+4096 x4874+2048 x4873+1024 x4872+512 x4871+256 x4870+128 x4869+64 x4868+32 x4867+16 x4866+8 x4865+4 x4864+2 x4863+1 x4862-0=432127
18.78/18.89	c 131072 ~x407296+65536 ~x407295+32768 ~x407294+16384 ~x407293+8192 ~x407292+4096 ~x407291+2048 ~x407290+1024 ~x407289+512 ~x407288+256 ~x407287+128 ~x407286+64 ~x407285+32 ~x407284+16 ~x407283+8 ~x407282+4 ~x407281+2 ~x407280+1 ~x407279+67584 x16661+118784 x16660+131072 x5059+65536 x5058+32768 x5057+16384 x5056+8192 x5055+4096 x5054+2048 x5053+1024 x5052+512 x5051+256 x5050+128 x5049+64 x5048+32 x5047+16 x5046+8 x5045+4 x5044+2 x5043+1 x5042+131072 x2899+65536 x2898+32768 x2897+16384 x2896+8192 x2895+4096 x2894+2048 x2893+1024 x2892+512 x2891+256 x2890+128 x2889+64 x2888+32 x2887+16 x2886+8 x2885+4 x2884+2 x2883+1 x2882+131072 x2179+65536 x2178+32768 x2177+16384 x2176+8192 x2175+4096 x2174+2048 x2173+1024 x2172+512 x2171+256 x2170+128 x2169+64 x2168+32 x2167+16 x2166+8 x2165+4 x2164+2 x2163+1 x2162-0=429055
19.18/19.22	c 131072 ~x421604+65536 ~x421603+32768 ~x421602+16384 ~x421601+8192 ~x421600+4096 ~x421599+2048 ~x421598+1024 ~x421597+512 ~x421596+256 ~x421595+128 ~x421594+64 ~x421593+32 ~x421592+16 ~x421591+8 ~x421590+4 ~x421589+2 ~x421588+1 ~x421587+111616 x16673+131072 x5449+65536 x5448+32768 x5447+16384 x5446+8192 x5445+4096 x5444+2048 x5443+1024 x5442+512 x5441+256 x5440+128 x5439+64 x5438+32 x5437+16 x5436+8 x5435+4 x5434+2 x5433+1 x5432+131072 x3289+65536 x3288+32768 x3287+16384 x3286+8192 x3285+4096 x3284+2048 x3283+1024 x3282+512 x3281+256 x3280+128 x3279+64 x3278+32 x3277+16 x3276+8 x3275+4 x3274+2 x3273+1 x3272+131072 x2569+65536 x2568+32768 x2567+16384 x2566+8192 x2565+4096 x2564+2048 x2563+1024 x2562+512 x2561+256 x2560+128 x2559+64 x2558+32 x2557+16 x2556+8 x2555+4 x2554+2 x2553+1 x2552-0=516095
19.48/19.56	c 262144 ~x435703+131072 ~x435702+65536 ~x435701+32768 ~x435700+16384 ~x435699+8192 ~x435698+4096 ~x435697+2048 ~x435696+1024 ~x435695+512 ~x435694+256 ~x435693+128 ~x435692+64 ~x435691+32 ~x435690+16 ~x435689+8 ~x435688+4 ~x435687+2 ~x435686+1 ~x435685+157696 x16674+262144 x5480+131072 x5479+65536 x5478+32768 x5477+16384 x5476+8192 x5475+4096 x5474+2048 x5473+1024 x5472+512 x5471+256 x5470+128 x5469+64 x5468+32 x5467+16 x5466+8 x5465+4 x5464+2 x5463+1 x5462+262144 x3320+131072 x3319+65536 x3318+32768 x3317+16384 x3316+8192 x3315+4096 x3314+2048 x3313+1024 x3312+512 x3311+256 x3310+128 x3309+64 x3308+32 x3307+16 x3306+8 x3305+4 x3304+2 x3303+1 x3302+262144 x2600+131072 x2599+65536 x2598+32768 x2597+16384 x2596+8192 x2595+4096 x2594+2048 x2593+1024 x2592+512 x2591+256 x2590+128 x2589+64 x2588+32 x2587+16 x2586+8 x2585+4 x2584+2 x2583+1 x2582-0=793599
19.88/19.91	c 65536 ~x451311+32768 ~x451310+16384 ~x451309+8192 ~x451308+4096 ~x451307+2048 ~x451306+1024 ~x451305+512 ~x451304+256 ~x451303+128 ~x451302+64 ~x451301+32 ~x451300+16 ~x451299+8 ~x451298+4 ~x451297+2 ~x451296+1 ~x451295+65536 x5568+32768 x5567+16384 x5566+8192 x5565+4096 x5564+2048 x5563+1024 x5562+512 x5561+256 x5560+128 x5559+64 x5558+32 x5557+16 x5556+8 x5555+4 x5554+2 x5553+1 x5552+65536 x3408+32768 x3407+16384 x3406+8192 x3405+4096 x3404+2048 x3403+1024 x3402+512 x3401+256 x3400+128 x3399+64 x3398+32 x3397+16 x3396+8 x3395+4 x3394+2 x3393+1 x3392+65536 x2688+32768 x2687+16384 x2686+8192 x2685+4096 x2684+2048 x2683+1024 x2682+512 x2681+256 x2680+128 x2679+64 x2678+32 x2677+16 x2676+8 x2675+4 x2674+2 x2673+1 x2672-0=237567
20.18/20.21	c 65536 ~x464358+32768 ~x464357+16384 ~x464356+8192 ~x464355+4096 ~x464354+2048 ~x464353+1024 ~x464352+512 ~x464351+256 ~x464350+128 ~x464349+64 ~x464348+32 ~x464347+16 ~x464346+8 ~x464345+4 ~x464344+2 ~x464343+1 ~x464342+65536 x5628+32768 x5627+16384 x5626+8192 x5625+4096 x5624+2048 x5623+1024 x5622+512 x5621+256 x5620+128 x5619+64 x5618+32 x5617+16 x5616+8 x5615+4 x5614+2 x5613+1 x5612+65536 x3468+32768 x3467+16384 x3466+8192 x3465+4096 x3464+2048 x3463+1024 x3462+512 x3461+256 x3460+128 x3459+64 x3458+32 x3457+16 x3456+8 x3455+4 x3454+2 x3453+1 x3452+65536 x2748+32768 x2747+16384 x2746+8192 x2745+4096 x2744+2048 x2743+1024 x2742+512 x2741+256 x2740+128 x2739+64 x2738+32 x2737+16 x2736+8 x2735+4 x2734+2 x2733+1 x2732-0=217087
20.48/20.52	c 131072 ~x477406+65536 ~x477405+32768 ~x477404+16384 ~x477403+8192 ~x477402+4096 ~x477401+2048 ~x477400+1024 ~x477399+512 ~x477398+256 ~x477397+128 ~x477396+64 ~x477395+32 ~x477394+16 ~x477393+8 ~x477392+4 ~x477391+2 ~x477390+1 ~x477389+102400 x16697+131072 x6169+65536 x6168+32768 x6167+16384 x6166+8192 x6165+4096 x6164+2048 x6163+1024 x6162+512 x6161+256 x6160+128 x6159+64 x6158+32 x6157+16 x6156+8 x6155+4 x6154+2 x6153+1 x6152+131072 x4009+65536 x4008+32768 x4007+16384 x4006+8192 x4005+4096 x4004+2048 x4003+1024 x4002+512 x4001+256 x4000+128 x3999+64 x3998+32 x3997+16 x3996+8 x3995+4 x3994+2 x3993+1 x3992+131072 x3289+65536 x3288+32768 x3287+16384 x3286+8192 x3285+4096 x3284+2048 x3283+1024 x3282+512 x3281+256 x3280+128 x3279+64 x3278+32 x3277+16 x3276+8 x3275+4 x3274+2 x3273+1 x3272-0=471039
20.78/20.84	c 65536 ~x491503+32768 ~x491502+16384 ~x491501+8192 ~x491500+4096 ~x491499+2048 ~x491498+1024 ~x491497+512 ~x491496+256 ~x491495+128 ~x491494+64 ~x491493+32 ~x491492+16 ~x491491+8 ~x491490+4 ~x491489+2 ~x491488+1 ~x491487+65536 x6258+32768 x6257+16384 x6256+8192 x6255+4096 x6254+2048 x6253+1024 x6252+512 x6251+256 x6250+128 x6249+64 x6248+32 x6247+16 x6246+8 x6245+4 x6244+2 x6243+1 x6242+65536 x4098+32768 x4097+16384 x4096+8192 x4095+4096 x4094+2048 x4093+1024 x4092+512 x4091+256 x4090+128 x4089+64 x4088+32 x4087+16 x4086+8 x4085+4 x4084+2 x4083+1 x4082+65536 x3378+32768 x3377+16384 x3376+8192 x3375+4096 x3374+2048 x3373+1024 x3372+512 x3371+256 x3370+128 x3369+64 x3368+32 x3367+16 x3366+8 x3365+4 x3364+2 x3363+1 x3362-0=210943
21.08/21.15	c 131072 ~x504551+65536 ~x504550+32768 ~x504549+16384 ~x504548+8192 ~x504547+4096 ~x504546+2048 ~x504545+1024 ~x504544+512 ~x504543+256 ~x504542+128 ~x504541+64 ~x504540+32 ~x504539+16 ~x504538+8 ~x504537+4 ~x504536+2 ~x504535+1 ~x504534+131072 x6979+65536 x6978+32768 x6977+16384 x6976+8192 x6975+4096 x6974+2048 x6973+1024 x6972+512 x6971+256 x6970+128 x6969+64 x6968+32 x6967+16 x6966+8 x6965+4 x6964+2 x6963+1 x6962+131072 x4819+65536 x4818+32768 x4817+16384 x4816+8192 x4815+4096 x4814+2048 x4813+1024 x4812+512 x4811+256 x4810+128 x4809+64 x4808+32 x4807+16 x4806+8 x4805+4 x4804+2 x4803+1 x4802+131072 x4099+65536 x4098+32768 x4097+16384 x4096+8192 x4095+4096 x4094+2048 x4093+1024 x4092+512 x4091+256 x4090+128 x4089+64 x4088+32 x4087+16 x4086+8 x4085+4 x4084+2 x4083+1 x4082-0=428031
21.38/21.47	c 262144 ~x518440+131072 ~x518439+65536 ~x518438+32768 ~x518437+16384 ~x518436+8192 ~x518435+4096 ~x518434+2048 ~x518433+1024 ~x518432+512 ~x518431+256 ~x518430+128 ~x518429+64 ~x518428+32 ~x518427+16 ~x518426+8 ~x518425+4 ~x518424+2 ~x518423+1 ~x518422+157696 x16746+262144 x7640+131072 x7639+65536 x7638+32768 x7637+16384 x7636+8192 x7635+4096 x7634+2048 x7633+1024 x7632+512 x7631+256 x7630+128 x7629+64 x7628+32 x7627+16 x7626+8 x7625+4 x7624+2 x7623+1 x7622+262144 x5480+131072 x5479+65536 x5478+32768 x5477+16384 x5476+8192 x5475+4096 x5474+2048 x5473+1024 x5472+512 x5471+256 x5470+128 x5469+64 x5468+32 x5467+16 x5466+8 x5465+4 x5464+2 x5463+1 x5462+262144 x3320+131072 x3319+65536 x3318+32768 x3317+16384 x3316+8192 x3315+4096 x3314+2048 x3313+1024 x3312+512 x3311+256 x3310+128 x3309+64 x3308+32 x3307+16 x3306+8 x3305+4 x3304+2 x3303+1 x3302+262144 x2600+131072 x2599+65536 x2598+32768 x2597+16384 x2596+8192 x2595+4096 x2594+2048 x2593+1024 x2592+512 x2591+256 x2590+128 x2589+64 x2588+32 x2587+16 x2586+8 x2585+4 x2584+2 x2583+1 x2582-0=793599
21.89/21.93	c 131072 ~x538210+65536 ~x538209+32768 ~x538208+16384 ~x538207+8192 ~x538206+4096 ~x538205+2048 ~x538204+1024 ~x538203+512 ~x538202+256 ~x538201+128 ~x538200+64 ~x538199+32 ~x538198+16 ~x538197+8 ~x538196+4 ~x538195+2 ~x538194+1 ~x538193+86016 x16750+131072 x7759+65536 x7758+32768 x7757+16384 x7756+8192 x7755+4096 x7754+2048 x7753+1024 x7752+512 x7751+256 x7750+128 x7749+64 x7748+32 x7747+16 x7746+8 x7745+4 x7744+2 x7743+1 x7742+131072 x5599+65536 x5598+32768 x5597+16384 x5596+8192 x5595+4096 x5594+2048 x5593+1024 x5592+512 x5591+256 x5590+128 x5589+64 x5588+32 x5587+16 x5586+8 x5585+4 x5584+2 x5583+1 x5582+131072 x3439+65536 x3438+32768 x3437+16384 x3436+8192 x3435+4096 x3434+2048 x3433+1024 x3432+512 x3431+256 x3430+128 x3429+64 x3428+32 x3427+16 x3426+8 x3425+4 x3424+2 x3423+1 x3422+131072 x2719+65536 x2718+32768 x2717+16384 x2716+8192 x2715+4096 x2714+2048 x2713+1024 x2712+512 x2711+256 x2710+128 x2709+64 x2708+32 x2707+16 x2706+8 x2705+4 x2704+2 x2703+1 x2702-0=476159
22.28/22.35	c 262144 ~x556089+131072 ~x556088+65536 ~x556087+32768 ~x556086+16384 ~x556085+8192 ~x556084+4096 ~x556083+2048 ~x556082+1024 ~x556081+512 ~x556080+256 ~x556079+128 ~x556078+64 ~x556077+32 ~x556076+16 ~x556075+8 ~x556074+4 ~x556073+2 ~x556072+1 ~x556071+214016 x16769+262144 x8330+131072 x8329+65536 x8328+32768 x8327+16384 x8326+8192 x8325+4096 x8324+2048 x8323+1024 x8322+512 x8321+256 x8320+128 x8319+64 x8318+32 x8317+16 x8316+8 x8315+4 x8314+2 x8313+1 x8312+262144 x6170+131072 x6169+65536 x6168+32768 x6167+16384 x6166+8192 x6165+4096 x6164+2048 x6163+1024 x6162+512 x6161+256 x6160+128 x6159+64 x6158+32 x6157+16 x6156+8 x6155+4 x6154+2 x6153+1 x6152+262144 x5450+131072 x5449+65536 x5448+32768 x5447+16384 x5446+8192 x5445+4096 x5444+2048 x5443+1024 x5442+512 x5441+256 x5440+128 x5439+64 x5438+32 x5437+16 x5436+8 x5435+4 x5434+2 x5433+1 x5432+262144 x4010+131072 x4009+65536 x4008+32768 x4007+16384 x4006+8192 x4005+4096 x4004+2048 x4003+1024 x4002+512 x4001+256 x4000+128 x3999+64 x3998+32 x3997+16 x3996+8 x3995+4 x3994+2 x3993+1 x3992+262144 x3289+131072 x3288+65536 x3287+32768 x3286+16384 x3285+8192 x3284+4096 x3283+2048 x3282+1024 x3281+512 x3280+256 x3279+128 x3278+64 x3277+32 x3276+16 x3275+8 x3274+4 x3273+2 x3272+262144 x2570+131072 x2569+65536 x2568+32768 x2567+16384 x2566+8192 x2565+4096 x2564+2048 x2563+1024 x2562+512 x2561+256 x2560+128 x2559+64 x2558+32 x2557+16 x2556+8 x2555+4 x2554+2 x2553+1 x2552-0=987135
22.87/22.99	c 262144 ~x583963+131072 ~x583962+65536 ~x583961+32768 ~x583960+16384 ~x583959+8192 ~x583958+4096 ~x583957+2048 ~x583956+1024 ~x583955+512 ~x583954+256 ~x583953+128 ~x583952+64 ~x583951+32 ~x583950+16 ~x583949+8 ~x583948+4 ~x583947+2 ~x583946+1 ~x583945+268288 x16770+262144 x8360+131072 x8359+65536 x8358+32768 x8357+16384 x8356+8192 x8355+4096 x8354+2048 x8353+1024 x8352+512 x8351+256 x8350+128 x8349+64 x8348+32 x8347+16 x8346+8 x8345+4 x8344+2 x8343+1 x8342+262144 x6200+131072 x6199+65536 x6198+32768 x6197+16384 x6196+8192 x6195+4096 x6194+2048 x6193+1024 x6192+512 x6191+256 x6190+128 x6189+64 x6188+32 x6187+16 x6186+8 x6185+4 x6184+2 x6183+1 x6182+262144 x5480+131072 x5479+65536 x5478+32768 x5477+16384 x5476+8192 x5475+4096 x5474+2048 x5473+1024 x5472+512 x5471+256 x5470+128 x5469+64 x5468+32 x5467+16 x5466+8 x5465+4 x5464+2 x5463+1 x5462+262144 x4040+131072 x4039+65536 x4038+32768 x4037+16384 x4036+8192 x4035+4096 x4034+2048 x4033+1024 x4032+512 x4031+256 x4030+128 x4029+64 x4028+32 x4027+16 x4026+8 x4025+4 x4024+2 x4023+1 x4022+262144 x3319+131072 x3318+65536 x3317+32768 x3316+16384 x3315+8192 x3314+4096 x3313+2048 x3312+1024 x3311+512 x3310+256 x3309+128 x3308+64 x3307+32 x3306+16 x3305+8 x3304+4 x3303+2 x3302+262144 x2600+131072 x2599+65536 x2598+32768 x2597+16384 x2596+8192 x2595+4096 x2594+2048 x2593+1024 x2592+512 x2591+256 x2590+128 x2589+64 x2588+32 x2587+16 x2586+8 x2585+4 x2584+2 x2583+1 x2582-0=1006591
23.57/23.63	c 262144 ~x611837+131072 ~x611836+65536 ~x611835+32768 ~x611834+16384 ~x611833+8192 ~x611832+4096 ~x611831+2048 ~x611830+1024 ~x611829+512 ~x611828+256 ~x611827+128 ~x611826+64 ~x611825+32 ~x611824+16 ~x611823+8 ~x611822+4 ~x611821+2 ~x611820+1 ~x611819+194560 x16771+262144 x8390+131072 x8389+65536 x8388+32768 x8387+16384 x8386+8192 x8385+4096 x8384+2048 x8383+1024 x8382+512 x8381+256 x8380+128 x8379+64 x8378+32 x8377+16 x8376+8 x8375+4 x8374+2 x8373+1 x8372+262144 x6230+131072 x6229+65536 x6228+32768 x6227+16384 x6226+8192 x6225+4096 x6224+2048 x6223+1024 x6222+512 x6221+256 x6220+128 x6219+64 x6218+32 x6217+16 x6216+8 x6215+4 x6214+2 x6213+1 x6212+262144 x5510+131072 x5509+65536 x5508+32768 x5507+16384 x5506+8192 x5505+4096 x5504+2048 x5503+1024 x5502+512 x5501+256 x5500+128 x5499+64 x5498+32 x5497+16 x5496+8 x5495+4 x5494+2 x5493+1 x5492+262144 x4070+131072 x4069+65536 x4068+32768 x4067+16384 x4066+8192 x4065+4096 x4064+2048 x4063+1024 x4062+512 x4061+256 x4060+128 x4059+64 x4058+32 x4057+16 x4056+8 x4055+4 x4054+2 x4053+1 x4052+262144 x3349+131072 x3348+65536 x3347+32768 x3346+16384 x3345+8192 x3344+4096 x3343+2048 x3342+1024 x3341+512 x3340+256 x3339+128 x3338+64 x3337+32 x3336+16 x3335+8 x3334+4 x3333+2 x3332+262144 x2630+131072 x2629+65536 x2628+32768 x2627+16384 x2626+8192 x2625+4096 x2624+2048 x2623+1024 x2622+512 x2621+256 x2620+128 x2619+64 x2618+32 x2617+16 x2616+8 x2615+4 x2614+2 x2613+1 x2612-0=987135
24.19/24.28	c 262144 ~x639711+131072 ~x639710+65536 ~x639709+32768 ~x639708+16384 ~x639707+8192 ~x639706+4096 ~x639705+2048 ~x639704+1024 ~x639703+512 ~x639702+256 ~x639701+128 ~x639700+64 ~x639699+32 ~x639698+16 ~x639697+8 ~x639696+4 ~x639695+2 ~x639694+1 ~x639693+169984 x16772+262144 x8420+131072 x8419+65536 x8418+32768 x8417+16384 x8416+8192 x8415+4096 x8414+2048 x8413+1024 x8412+512 x8411+256 x8410+128 x8409+64 x8408+32 x8407+16 x8406+8 x8405+4 x8404+2 x8403+1 x8402+262144 x6260+131072 x6259+65536 x6258+32768 x6257+16384 x6256+8192 x6255+4096 x6254+2048 x6253+1024 x6252+512 x6251+256 x6250+128 x6249+64 x6248+32 x6247+16 x6246+8 x6245+4 x6244+2 x6243+1 x6242+262144 x5540+131072 x5539+65536 x5538+32768 x5537+16384 x5536+8192 x5535+4096 x5534+2048 x5533+1024 x5532+512 x5531+256 x5530+128 x5529+64 x5528+32 x5527+16 x5526+8 x5525+4 x5524+2 x5523+1 x5522+262144 x4100+131072 x4099+65536 x4098+32768 x4097+16384 x4096+8192 x4095+4096 x4094+2048 x4093+1024 x4092+512 x4091+256 x4090+128 x4089+64 x4088+32 x4087+16 x4086+8 x4085+4 x4084+2 x4083+1 x4082+262144 x3379+131072 x3378+65536 x3377+32768 x3376+16384 x3375+8192 x3374+4096 x3373+2048 x3372+1024 x3371+512 x3370+256 x3369+128 x3368+64 x3367+32 x3366+16 x3365+8 x3364+4 x3363+2 x3362+262144 x2660+131072 x2659+65536 x2658+32768 x2657+16384 x2656+8192 x2655+4096 x2654+2048 x2653+1024 x2652+512 x2651+256 x2650+128 x2649+64 x2648+32 x2647+16 x2646+8 x2645+4 x2644+2 x2643+1 x2642-0=888831
24.88/24.93	c 524288 ~x667586+262144 ~x667585+131072 ~x667584+65536 ~x667583+32768 ~x667582+16384 ~x667581+8192 ~x667580+4096 ~x667579+2048 ~x667578+1024 ~x667577+512 ~x667576+256 ~x667575+128 ~x667574+64 ~x667573+32 ~x667572+16 ~x667571+8 ~x667570+4 ~x667569+2 ~x667568+1 ~x667567+245760 x16795+524288 x9111+262144 x9110+131072 x9109+65536 x9108+32768 x9107+16384 x9106+8192 x9105+4096 x9104+2048 x9103+1024 x9102+512 x9101+256 x9100+128 x9099+64 x9098+32 x9097+16 x9096+8 x9095+4 x9094+2 x9093+1 x9092+524288 x6951+262144 x6950+131072 x6949+65536 x6948+32768 x6947+16384 x6946+8192 x6945+4096 x6944+2048 x6943+1024 x6942+512 x6941+256 x6940+128 x6939+64 x6938+32 x6937+16 x6936+8 x6935+4 x6934+2 x6933+1 x6932+524288 x6231+262144 x6230+131072 x6229+65536 x6228+32768 x6227+16384 x6226+8192 x6225+4096 x6224+2048 x6223+1024 x6222+512 x6221+256 x6220+128 x6219+64 x6218+32 x6217+16 x6216+8 x6215+4 x6214+2 x6213+1 x6212+524288 x4791+262144 x4790+131072 x4789+65536 x4788+32768 x4787+16384 x4786+8192 x4785+4096 x4784+2048 x4783+1024 x4782+512 x4781+256 x4780+128 x4779+64 x4778+32 x4777+16 x4776+8 x4775+4 x4774+2 x4773+1 x4772+524288 x4070+262144 x4069+131072 x4068+65536 x4067+32768 x4066+16384 x4065+8192 x4064+4096 x4063+2048 x4062+1024 x4061+512 x4060+256 x4059+128 x4058+64 x4057+32 x4056+16 x4055+8 x4054+4 x4053+2 x4052+524288 x3351+262144 x3350+131072 x3349+65536 x3348+32768 x3347+16384 x3346+8192 x3345+4096 x3344+2048 x3343+1024 x3342+512 x3341+256 x3340+128 x3339+64 x3338+32 x3337+16 x3336+8 x3335+4 x3334+2 x3333+1 x3332-0=1631231
25.58/25.63	c 262144 ~x697767+131072 ~x697766+65536 ~x697765+32768 ~x697764+16384 ~x697763+8192 ~x697762+4096 ~x697761+2048 ~x697760+1024 ~x697759+512 ~x697758+256 ~x697757+128 ~x697756+64 ~x697755+32 ~x697754+16 ~x697753+8 ~x697752+4 ~x697751+2 ~x697750+1 ~x697749+175104 x16796+262144 x9140+131072 x9139+65536 x9138+32768 x9137+16384 x9136+8192 x9135+4096 x9134+2048 x9133+1024 x9132+512 x9131+256 x9130+128 x9129+64 x9128+32 x9127+16 x9126+8 x9125+4 x9124+2 x9123+1 x9122+262144 x6980+131072 x6979+65536 x6978+32768 x6977+16384 x6976+8192 x6975+4096 x6974+2048 x6973+1024 x6972+512 x6971+256 x6970+128 x6969+64 x6968+32 x6967+16 x6966+8 x6965+4 x6964+2 x6963+1 x6962+262144 x6260+131072 x6259+65536 x6258+32768 x6257+16384 x6256+8192 x6255+4096 x6254+2048 x6253+1024 x6252+512 x6251+256 x6250+128 x6249+64 x6248+32 x6247+16 x6246+8 x6245+4 x6244+2 x6243+1 x6242+262144 x4820+131072 x4819+65536 x4818+32768 x4817+16384 x4816+8192 x4815+4096 x4814+2048 x4813+1024 x4812+512 x4811+256 x4810+128 x4809+64 x4808+32 x4807+16 x4806+8 x4805+4 x4804+2 x4803+1 x4802+262144 x4099+131072 x4098+65536 x4097+32768 x4096+16384 x4095+8192 x4094+4096 x4093+2048 x4092+1024 x4091+512 x4090+256 x4089+128 x4088+64 x4087+32 x4086+16 x4085+8 x4084+4 x4083+2 x4082+262144 x3380+131072 x3379+65536 x3378+32768 x3377+16384 x3376+8192 x3375+4096 x3374+2048 x3373+1024 x3372+512 x3371+256 x3370+128 x3369+64 x3368+32 x3367+16 x3366+8 x3365+4 x3364+2 x3363+1 x3362-0=945151
26.18/26.28	c 262144 ~x725641+131072 ~x725640+65536 ~x725639+32768 ~x725638+16384 ~x725637+8192 ~x725636+4096 ~x725635+2048 ~x725634+1024 ~x725633+512 ~x725632+256 ~x725631+128 ~x725630+64 ~x725629+32 ~x725628+16 ~x725627+8 ~x725626+4 ~x725625+2 ~x725624+1 ~x725623+232448 x16797+262144 x9170+131072 x9169+65536 x9168+32768 x9167+16384 x9166+8192 x9165+4096 x9164+2048 x9163+1024 x9162+512 x9161+256 x9160+128 x9159+64 x9158+32 x9157+16 x9156+8 x9155+4 x9154+2 x9153+1 x9152+262144 x7010+131072 x7009+65536 x7008+32768 x7007+16384 x7006+8192 x7005+4096 x7004+2048 x7003+1024 x7002+512 x7001+256 x7000+128 x6999+64 x6998+32 x6997+16 x6996+8 x6995+4 x6994+2 x6993+1 x6992+262144 x6290+131072 x6289+65536 x6288+32768 x6287+16384 x6286+8192 x6285+4096 x6284+2048 x6283+1024 x6282+512 x6281+256 x6280+128 x6279+64 x6278+32 x6277+16 x6276+8 x6275+4 x6274+2 x6273+1 x6272+262144 x4850+131072 x4849+65536 x4848+32768 x4847+16384 x4846+8192 x4845+4096 x4844+2048 x4843+1024 x4842+512 x4841+256 x4840+128 x4839+64 x4838+32 x4837+16 x4836+8 x4835+4 x4834+2 x4833+1 x4832+262144 x4129+131072 x4128+65536 x4127+32768 x4126+16384 x4125+8192 x4124+4096 x4123+2048 x4122+1024 x4121+512 x4120+256 x4119+128 x4118+64 x4117+32 x4116+16 x4115+8 x4114+4 x4113+2 x4112+262144 x3410+131072 x3409+65536 x3408+32768 x3407+16384 x3406+8192 x3405+4096 x3404+2048 x3403+1024 x3402+512 x3401+256 x3400+128 x3399+64 x3398+32 x3397+16 x3396+8 x3395+4 x3394+2 x3393+1 x3392-0=931839
26.88/26.91	c 16384 ~x753511+8192 ~x753510+4096 ~x753509+2048 ~x753508+1024 ~x753507+512 ~x753506+256 ~x753505+128 ~x753504+64 ~x753503+32 ~x753502+16 ~x753501+8 ~x753500+4 ~x753499+2 ~x753498+1 ~x753497+16384 x16588+16384 x2896+8192 x2895+4096 x2894+2048 x2893+1024 x2892+512 x2891+256 x2890+128 x2889+64 x2888+32 x2887+16 x2886+8 x2885+4 x2884+2 x2883+1 x2882-0=63487
26.98/27.01	c 32768 ~x757548+16384 ~x757547+8192 ~x757546+4096 ~x757545+2048 ~x757544+1024 ~x757543+512 ~x757542+256 ~x757541+128 ~x757540+64 ~x757539+32 ~x757538+16 ~x757537+8 ~x757536+4 ~x757535+2 ~x757534+1 ~x757533+26624 x16589+32768 x2927+16384 x2926+8192 x2925+4096 x2924+2048 x2923+1024 x2922+512 x2921+256 x2920+128 x2919+64 x2918+32 x2917+16 x2916+8 x2915+4 x2914+2 x2913+1 x2912-0=108543
27.08/27.12	c 32768 ~x762178+16384 ~x762177+8192 ~x762176+4096 ~x762175+2048 ~x762174+1024 ~x762173+512 ~x762172+256 ~x762171+128 ~x762170+64 ~x762169+32 ~x762168+16 ~x762167+8 ~x762166+4 ~x762165+2 ~x762164+1 ~x762163+32768 x3317+16384 x3316+8192 x3315+4096 x3314+2048 x3313+1024 x3312+512 x3311+256 x3310+128 x3309+64 x3308+32 x3307+16 x3306+8 x3305+4 x3304+2 x3303+1 x3302-0=103423
27.18/27.23	c 32768 ~x766640+16384 ~x766639+8192 ~x766638+4096 ~x766637+2048 ~x766636+1024 ~x766635+512 ~x766634+256 ~x766633+128 ~x766632+64 ~x766631+32 ~x766630+16 ~x766629+8 ~x766628+4 ~x766627+2 ~x766626+1 ~x766625+32768 x3347+16384 x3346+8192 x3345+4096 x3344+2048 x3343+1024 x3342+512 x3341+256 x3340+128 x3339+64 x3338+32 x3337+16 x3336+8 x3335+4 x3334+2 x3333+1 x3332-0=115711
27.28/27.34	c 16384 ~x771101+8192 ~x771100+4096 ~x771099+2048 ~x771098+1024 ~x771097+512 ~x771096+256 ~x771095+128 ~x771094+64 ~x771093+32 ~x771092+16 ~x771091+8 ~x771090+4 ~x771089+2 ~x771088+1 ~x771087+16384 x3376+8192 x3375+4096 x3374+2048 x3373+1024 x3372+512 x3371+256 x3370+128 x3369+64 x3368+32 x3367+16 x3366+8 x3365+4 x3364+2 x3363+1 x3362-0=60415
27.38/27.43	c 16384 ~x774978+8192 ~x774977+4096 ~x774976+2048 ~x774975+1024 ~x774974+512 ~x774973+256 ~x774972+128 ~x774971+64 ~x774970+32 ~x774969+16 ~x774968+8 ~x774967+4 ~x774966+2 ~x774965+1 ~x774964+16384 x3406+8192 x3405+4096 x3404+2048 x3403+1024 x3402+512 x3401+256 x3400+128 x3399+64 x3398+32 x3397+16 x3396+8 x3395+4 x3394+2 x3393+1 x3392-0=53247
27.48/27.53	c 32768 ~x778856+16384 ~x778855+8192 ~x778854+4096 ~x778853+2048 ~x778852+1024 ~x778851+512 ~x778850+256 ~x778849+128 ~x778848+64 ~x778847+32 ~x778846+16 ~x778845+8 ~x778844+4 ~x778843+2 ~x778842+1 ~x778841+38912 x16613+32768 x3647+16384 x3646+8192 x3645+4096 x3644+2048 x3643+1024 x3642+512 x3641+256 x3640+128 x3639+64 x3638+32 x3637+16 x3636+8 x3635+4 x3634+2 x3633+1 x3632-0=124927
27.57/27.64	c 32768 ~x783486+16384 ~x783485+8192 ~x783484+4096 ~x783483+2048 ~x783482+1024 ~x783481+512 ~x783480+256 ~x783479+128 ~x783478+64 ~x783477+32 ~x783476+16 ~x783475+8 ~x783474+4 ~x783473+2 ~x783472+1 ~x783471+32768 x4067+16384 x4066+8192 x4065+4096 x4064+2048 x4063+1024 x4062+512 x4061+256 x4060+128 x4059+64 x4058+32 x4057+16 x4056+8 x4055+4 x4054+2 x4053+1 x4052-0=125951
27.67/27.75	c 65536 ~x787949+32768 ~x787948+16384 ~x787947+8192 ~x787946+4096 ~x787945+2048 ~x787944+1024 ~x787943+512 ~x787942+256 ~x787941+128 ~x787940+64 ~x787939+32 ~x787938+16 ~x787937+8 ~x787936+4 ~x787935+2 ~x787934+1 ~x787933+76800 x16636+65536 x4338+32768 x4337+16384 x4336+8192 x4335+4096 x4334+2048 x4333+1024 x4332+512 x4331+256 x4330+128 x4329+64 x4328+32 x4327+16 x4326+8 x4325+4 x4324+2 x4323+1 x4322-0=251903
27.78/27.87	c 65536 ~x793069+32768 ~x793068+16384 ~x793067+8192 ~x793066+4096 ~x793065+2048 ~x793064+1024 ~x793063+512 ~x793062+256 ~x793061+128 ~x793060+64 ~x793059+32 ~x793058+16 ~x793057+8 ~x793056+4 ~x793055+2 ~x793054+1 ~x793053+65536 x5478+32768 x5477+16384 x5476+8192 x5475+4096 x5474+2048 x5473+1024 x5472+512 x5471+256 x5470+128 x5469+64 x5468+32 x5467+16 x5466+8 x5465+4 x5464+2 x5463+1 x5462+65536 x3318+32768 x3317+16384 x3316+8192 x3315+4096 x3314+2048 x3313+1024 x3312+512 x3311+256 x3310+128 x3309+64 x3308+32 x3307+16 x3306+8 x3305+4 x3304+2 x3303+1 x3302+65536 x2598+32768 x2597+16384 x2596+8192 x2595+4096 x2594+2048 x2593+1024 x2592+512 x2591+256 x2590+128 x2589+64 x2588+32 x2587+16 x2586+8 x2585+4 x2584+2 x2583+1 x2582-0=242687
28.08/28.17	c 131072 ~x806117+65536 ~x806116+32768 ~x806115+16384 ~x806114+8192 ~x806113+4096 ~x806112+2048 ~x806111+1024 ~x806110+512 ~x806109+256 ~x806108+128 ~x806107+64 ~x806106+32 ~x806105+16 ~x806104+8 ~x806103+4 ~x806102+2 ~x806101+1 ~x806100+131072 x5509+65536 x5508+32768 x5507+16384 x5506+8192 x5505+4096 x5504+2048 x5503+1024 x5502+512 x5501+256 x5500+128 x5499+64 x5498+32 x5497+16 x5496+8 x5495+4 x5494+2 x5493+1 x5492+131072 x3349+65536 x3348+32768 x3347+16384 x3346+8192 x3345+4096 x3344+2048 x3343+1024 x3342+512 x3341+256 x3340+128 x3339+64 x3338+32 x3337+16 x3336+8 x3335+4 x3334+2 x3333+1 x3332+131072 x2629+65536 x2628+32768 x2627+16384 x2626+8192 x2625+4096 x2624+2048 x2623+1024 x2622+512 x2621+256 x2620+128 x2619+64 x2618+32 x2617+16 x2616+8 x2615+4 x2614+2 x2613+1 x2612-0=419839
28.48/28.51	c 65536 ~x820004+32768 ~x820003+16384 ~x820002+8192 ~x820001+4096 ~x820000+2048 ~x819999+1024 ~x819998+512 ~x819997+256 ~x819996+128 ~x819995+64 ~x819994+32 ~x819993+16 ~x819992+8 ~x819991+4 ~x819990+2 ~x819989+1 ~x819988+65536 x5538+32768 x5537+16384 x5536+8192 x5535+4096 x5534+2048 x5533+1024 x5532+512 x5531+256 x5530+128 x5529+64 x5528+32 x5527+16 x5526+8 x5525+4 x5524+2 x5523+1 x5522+65536 x3378+32768 x3377+16384 x3376+8192 x3375+4096 x3374+2048 x3373+1024 x3372+512 x3371+256 x3370+128 x3369+64 x3368+32 x3367+16 x3366+8 x3365+4 x3364+2 x3363+1 x3362+65536 x2658+32768 x2657+16384 x2656+8192 x2655+4096 x2654+2048 x2653+1024 x2652+512 x2651+256 x2650+128 x2649+64 x2648+32 x2647+16 x2646+8 x2645+4 x2644+2 x2643+1 x2642-0=245759
28.78/28.81	c 131072 ~x833053+65536 ~x833052+32768 ~x833051+16384 ~x833050+8192 ~x833049+4096 ~x833048+2048 ~x833047+1024 ~x833046+512 ~x833045+256 ~x833044+128 ~x833043+64 ~x833042+32 ~x833041+16 ~x833040+8 ~x833039+4 ~x833038+2 ~x833037+1 ~x833036+65536 x16685+102400 x16684+131072 x5779+65536 x5778+32768 x5777+16384 x5776+8192 x5775+4096 x5774+2048 x5773+1024 x5772+512 x5771+256 x5770+128 x5769+64 x5768+32 x5767+16 x5766+8 x5765+4 x5764+2 x5763+1 x5762+131072 x3619+65536 x3618+32768 x3617+16384 x3616+8192 x3615+4096 x3614+2048 x3613+1024 x3612+512 x3611+256 x3610+128 x3609+64 x3608+32 x3607+16 x3606+8 x3605+4 x3604+2 x3603+1 x3602+131072 x2899+65536 x2898+32768 x2897+16384 x2896+8192 x2895+4096 x2894+2048 x2893+1024 x2892+512 x2891+256 x2890+128 x2889+64 x2888+32 x2887+16 x2886+8 x2885+4 x2884+2 x2883+1 x2882-0=402431
29.07/29.14	c 262144 ~x847362+131072 ~x847361+65536 ~x847360+32768 ~x847359+16384 ~x847358+8192 ~x847357+4096 ~x847356+2048 ~x847355+1024 ~x847354+512 ~x847353+256 ~x847352+128 ~x847351+64 ~x847350+32 ~x847349+16 ~x847348+8 ~x847347+4 ~x847346+2 ~x847345+1 ~x847344+111616 x16745+253952 x16744+262144 x7580+131072 x7579+65536 x7578+32768 x7577+16384 x7576+8192 x7575+4096 x7574+2048 x7573+1024 x7572+512 x7571+256 x7570+128 x7569+64 x7568+32 x7567+16 x7566+8 x7565+4 x7564+2 x7563+1 x7562+262144 x5420+131072 x5419+65536 x5418+32768 x5417+16384 x5416+8192 x5415+4096 x5414+2048 x5413+1024 x5412+512 x5411+256 x5410+128 x5409+64 x5408+32 x5407+16 x5406+8 x5405+4 x5404+2 x5403+1 x5402+262144 x3260+131072 x3259+65536 x3258+32768 x3257+16384 x3256+8192 x3255+4096 x3254+2048 x3253+1024 x3252+512 x3251+256 x3250+128 x3249+64 x3248+32 x3247+16 x3246+8 x3245+4 x3244+2 x3243+1 x3242+262144 x2540+131072 x2539+65536 x2538+32768 x2537+16384 x2536+8192 x2535+4096 x2534+2048 x2533+1024 x2532+512 x2531+256 x2530+128 x2529+64 x2528+32 x2527+16 x2526+8 x2525+4 x2524+2 x2523+1 x2522-0=911359
29.48/29.60	c 131072 ~x867351+65536 ~x867350+32768 ~x867349+16384 ~x867348+8192 ~x867347+4096 ~x867346+2048 ~x867345+1024 ~x867344+512 ~x867343+256 ~x867342+128 ~x867341+64 ~x867340+32 ~x867339+16 ~x867338+8 ~x867337+4 ~x867336+2 ~x867335+1 ~x867334+111616 x16745+131072 x7609+65536 x7608+32768 x7607+16384 x7606+8192 x7605+4096 x7604+2048 x7603+1024 x7602+512 x7601+256 x7600+128 x7599+64 x7598+32 x7597+16 x7596+8 x7595+4 x7594+2 x7593+1 x7592+131072 x5449+65536 x5448+32768 x5447+16384 x5446+8192 x5445+4096 x5444+2048 x5443+1024 x5442+512 x5441+256 x5440+128 x5439+64 x5438+32 x5437+16 x5436+8 x5435+4 x5434+2 x5433+1 x5432+131072 x3289+65536 x3288+32768 x3287+16384 x3286+8192 x3285+4096 x3284+2048 x3283+1024 x3282+512 x3281+256 x3280+128 x3279+64 x3278+32 x3277+16 x3276+8 x3275+4 x3274+2 x3273+1 x3272+131072 x2569+65536 x2568+32768 x2567+16384 x2566+8192 x2565+4096 x2564+2048 x2563+1024 x2562+512 x2561+256 x2560+128 x2559+64 x2558+32 x2557+16 x2556+8 x2555+4 x2554+2 x2553+1 x2552-0=516095
29.98/30.01	c 262144 ~x885230+131072 ~x885229+65536 ~x885228+32768 ~x885227+16384 ~x885226+8192 ~x885225+4096 ~x885224+2048 ~x885223+1024 ~x885222+512 ~x885221+256 ~x885220+128 ~x885219+64 ~x885218+32 ~x885217+16 ~x885216+8 ~x885215+4 ~x885214+2 ~x885213+1 ~x885212+114688 x16747+262144 x7670+131072 x7669+65536 x7668+32768 x7667+16384 x7666+8192 x7665+4096 x7664+2048 x7663+1024 x7662+512 x7661+256 x7660+128 x7659+64 x7658+32 x7657+16 x7656+8 x7655+4 x7654+2 x7653+1 x7652+262144 x5510+131072 x5509+65536 x5508+32768 x5507+16384 x5506+8192 x5505+4096 x5504+2048 x5503+1024 x5502+512 x5501+256 x5500+128 x5499+64 x5498+32 x5497+16 x5496+8 x5495+4 x5494+2 x5493+1 x5492+262144 x3350+131072 x3349+65536 x3348+32768 x3347+16384 x3346+8192 x3345+4096 x3344+2048 x3343+1024 x3342+512 x3341+256 x3340+128 x3339+64 x3338+32 x3337+16 x3336+8 x3335+4 x3334+2 x3333+1 x3332+262144 x2630+131072 x2629+65536 x2628+32768 x2627+16384 x2626+8192 x2625+4096 x2624+2048 x2623+1024 x2622+512 x2621+256 x2620+128 x2619+64 x2618+32 x2617+16 x2616+8 x2615+4 x2614+2 x2613+1 x2612-0=796671
30.37/30.47	c 65536 ~x904999+32768 ~x904998+16384 ~x904997+8192 ~x904996+4096 ~x904995+2048 ~x904994+1024 ~x904993+512 ~x904992+256 ~x904991+128 ~x904990+64 ~x904989+32 ~x904988+16 ~x904987+8 ~x904986+4 ~x904985+2 ~x904984+1 ~x904983+65536 x7728+32768 x7727+16384 x7726+8192 x7725+4096 x7724+2048 x7723+1024 x7722+512 x7721+256 x7720+128 x7719+64 x7718+32 x7717+16 x7716+8 x7715+4 x7714+2 x7713+1 x7712+65536 x5568+32768 x5567+16384 x5566+8192 x5565+4096 x5564+2048 x5563+1024 x5562+512 x5561+256 x5560+128 x5559+64 x5558+32 x5557+16 x5556+8 x5555+4 x5554+2 x5553+1 x5552+65536 x3408+32768 x3407+16384 x3406+8192 x3405+4096 x3404+2048 x3403+1024 x3402+512 x3401+256 x3400+128 x3399+64 x3398+32 x3397+16 x3396+8 x3395+4 x3394+2 x3393+1 x3392+65536 x2688+32768 x2687+16384 x2686+8192 x2685+4096 x2684+2048 x2683+1024 x2682+512 x2681+256 x2680+128 x2679+64 x2678+32 x2677+16 x2676+8 x2675+4 x2674+2 x2673+1 x2672-0=237567
30.78/30.85	c 262144 ~x921618+131072 ~x921617+65536 ~x921616+32768 ~x921615+16384 ~x921614+8192 ~x921613+4096 ~x921612+2048 ~x921611+1024 ~x921610+512 ~x921609+256 ~x921608+128 ~x921607+64 ~x921606+32 ~x921605+16 ~x921604+8 ~x921603+4 ~x921602+2 ~x921601+1 ~x921600+133120 x16757+221184 x16756+262144 x7940+131072 x7939+65536 x7938+32768 x7937+16384 x7936+8192 x7935+4096 x7934+2048 x7933+1024 x7932+512 x7931+256 x7930+128 x7929+64 x7928+32 x7927+16 x7926+8 x7925+4 x7924+2 x7923+1 x7922+262144 x5780+131072 x5779+65536 x5778+32768 x5777+16384 x5776+8192 x5775+4096 x5774+2048 x5773+1024 x5772+512 x5771+256 x5770+128 x5769+64 x5768+32 x5767+16 x5766+8 x5765+4 x5764+2 x5763+1 x5762+262144 x5060+131072 x5059+65536 x5058+32768 x5057+16384 x5056+8192 x5055+4096 x5054+2048 x5053+1024 x5052+512 x5051+256 x5050+128 x5049+64 x5048+32 x5047+16 x5046+8 x5045+4 x5044+2 x5043+1 x5042+262144 x3620+131072 x3619+65536 x3618+32768 x3617+16384 x3616+8192 x3615+4096 x3614+2048 x3613+1024 x3612+512 x3611+256 x3610+128 x3609+64 x3608+32 x3607+16 x3606+8 x3605+4 x3604+2 x3603+1 x3602+262144 x2899+131072 x2898+65536 x2897+32768 x2896+16384 x2895+8192 x2894+4096 x2893+2048 x2892+1024 x2891+512 x2890+256 x2889+128 x2888+64 x2887+32 x2886+16 x2885+8 x2884+4 x2883+2 x2882+262144 x2180+131072 x2179+65536 x2178+32768 x2177+16384 x2176+8192 x2175+4096 x2174+2048 x2173+1024 x2172+512 x2171+256 x2170+128 x2169+64 x2168+32 x2167+16 x2166+8 x2165+4 x2164+2 x2163+1 x2162-0=831487
31.47/31.50	c 131072 ~x949710+65536 ~x949709+32768 ~x949708+16384 ~x949707+8192 ~x949706+4096 ~x949705+2048 ~x949704+1024 ~x949703+512 ~x949702+256 ~x949701+128 ~x949700+64 ~x949699+32 ~x949698+16 ~x949697+8 ~x949696+4 ~x949695+2 ~x949694+1 ~x949693+131072 x8419+65536 x8418+32768 x8417+16384 x8416+8192 x8415+4096 x8414+2048 x8413+1024 x8412+512 x8411+256 x8410+128 x8409+64 x8408+32 x8407+16 x8406+8 x8405+4 x8404+2 x8403+1 x8402+131072 x6259+65536 x6258+32768 x6257+16384 x6256+8192 x6255+4096 x6254+2048 x6253+1024 x6252+512 x6251+256 x6250+128 x6249+64 x6248+32 x6247+16 x6246+8 x6245+4 x6244+2 x6243+1 x6242+131072 x5539+65536 x5538+32768 x5537+16384 x5536+8192 x5535+4096 x5534+2048 x5533+1024 x5532+512 x5531+256 x5530+128 x5529+64 x5528+32 x5527+16 x5526+8 x5525+4 x5524+2 x5523+1 x5522+131072 x4099+65536 x4098+32768 x4097+16384 x4096+8192 x4095+4096 x4094+2048 x4093+1024 x4092+512 x4091+256 x4090+128 x4089+64 x4088+32 x4087+16 x4086+8 x4085+4 x4084+2 x4083+1 x4082+131072 x3378+65536 x3377+32768 x3376+16384 x3375+8192 x3374+4096 x3373+2048 x3372+1024 x3371+512 x3370+256 x3369+128 x3368+64 x3367+32 x3366+16 x3365+8 x3364+4 x3363+2 x3362+131072 x2659+65536 x2658+32768 x2657+16384 x2656+8192 x2655+4096 x2654+2048 x2653+1024 x2652+512 x2651+256 x2650+128 x2649+64 x2648+32 x2647+16 x2646+8 x2645+4 x2644+2 x2643+1 x2642-0=456703
32.08/32.10	c 262144 ~x975832+131072 ~x975831+65536 ~x975830+32768 ~x975829+16384 ~x975828+8192 ~x975827+4096 ~x975826+2048 ~x975825+1024 ~x975824+512 ~x975823+256 ~x975822+128 ~x975821+64 ~x975820+32 ~x975819+16 ~x975818+8 ~x975817+4 ~x975816+2 ~x975815+1 ~x975814+185344 x16798+262144 x9200+131072 x9199+65536 x9198+32768 x9197+16384 x9196+8192 x9195+4096 x9194+2048 x9193+1024 x9192+512 x9191+256 x9190+128 x9189+64 x9188+32 x9187+16 x9186+8 x9185+4 x9184+2 x9183+1 x9182+262144 x7040+131072 x7039+65536 x7038+32768 x7037+16384 x7036+8192 x7035+4096 x7034+2048 x7033+1024 x7032+512 x7031+256 x7030+128 x7029+64 x7028+32 x7027+16 x7026+8 x7025+4 x7024+2 x7023+1 x7022+262144 x6320+131072 x6319+65536 x6318+32768 x6317+16384 x6316+8192 x6315+4096 x6314+2048 x6313+1024 x6312+512 x6311+256 x6310+128 x6309+64 x6308+32 x6307+16 x6306+8 x6305+4 x6304+2 x6303+1 x6302+262144 x4880+131072 x4879+65536 x4878+32768 x4877+16384 x4876+8192 x4875+4096 x4874+2048 x4873+1024 x4872+512 x4871+256 x4870+128 x4869+64 x4868+32 x4867+16 x4866+8 x4865+4 x4864+2 x4863+1 x4862+262144 x4159+131072 x4158+65536 x4157+32768 x4156+16384 x4155+8192 x4154+4096 x4153+2048 x4152+1024 x4151+512 x4150+256 x4149+128 x4148+64 x4147+32 x4146+16 x4145+8 x4144+4 x4143+2 x4142+262144 x3440+131072 x3439+65536 x3438+32768 x3437+16384 x3436+8192 x3435+4096 x3434+2048 x3433+1024 x3432+512 x3431+256 x3430+128 x3429+64 x3428+32 x3427+16 x3426+8 x3425+4 x3424+2 x3423+1 x3422-0=942079
32.68/32.73	c 8192 ~x1003701+4096 ~x1003700+2048 ~x1003699+1024 ~x1003698+512 ~x1003697+256 ~x1003696+128 ~x1003695+64 ~x1003694+32 ~x1003693+16 ~x1003692+8 ~x1003691+4 ~x1003690+2 ~x1003689+1 ~x1003688+8192 x2895+4096 x2894+2048 x2893+1024 x2892+512 x2891+256 x2890+128 x2889+64 x2888+32 x2887+16 x2886+8 x2885+4 x2884+2 x2883+1 x2882-0=30719
32.78/32.82	c 65536 ~x1007262+32768 ~x1007261+16384 ~x1007260+8192 ~x1007259+4096 ~x1007258+2048 ~x1007257+1024 ~x1007256+512 ~x1007255+256 ~x1007254+128 ~x1007253+64 ~x1007252+32 ~x1007251+16 ~x1007250+8 ~x1007249+4 ~x1007248+2 ~x1007247+1 ~x1007246+25600 x16591+49152 x16590+65536 x2958+32768 x2957+16384 x2956+8192 x2955+4096 x2954+2048 x2953+1024 x2952+512 x2951+256 x2950+128 x2949+64 x2948+32 x2947+16 x2946+8 x2945+4 x2944+2 x2943+1 x2942-0=206847
32.88/32.97	c 32768 ~x1012555+16384 ~x1012554+8192 ~x1012553+4096 ~x1012552+2048 ~x1012551+1024 ~x1012550+512 ~x1012549+256 ~x1012548+128 ~x1012547+64 ~x1012546+32 ~x1012545+16 ~x1012544+8 ~x1012543+4 ~x1012542+2 ~x1012541+1 ~x1012540+20480 x16612+32768 x3617+16384 x3616+8192 x3615+4096 x3614+2048 x3613+1024 x3612+512 x3611+256 x3610+128 x3609+64 x3608+32 x3607+16 x3606+8 x3605+4 x3604+2 x3603+1 x3602-0=109567
32.98/33.08	c 524288 ~x1017189+262144 ~x1017188+131072 ~x1017187+65536 ~x1017186+32768 ~x1017185+16384 ~x1017184+8192 ~x1017183+4096 ~x1017182+2048 ~x1017181+1024 ~x1017180+512 ~x1017179+256 ~x1017178+128 ~x1017177+64 ~x1017176+32 ~x1017175+16 ~x1017174+8 ~x1017173+4 ~x1017172+2 ~x1017171+1 ~x1017170+133120 x16671+315392 x16670+468992 x16669+524288 x5331+262144 x5330+131072 x5329+65536 x5328+32768 x5327+16384 x5326+8192 x5325+4096 x5324+2048 x5323+1024 x5322+512 x5321+256 x5320+128 x5319+64 x5318+32 x5317+16 x5316+8 x5315+4 x5314+2 x5313+1 x5312+524288 x3171+262144 x3170+131072 x3169+65536 x3168+32768 x3167+16384 x3166+8192 x3165+4096 x3164+2048 x3163+1024 x3162+512 x3161+256 x3160+128 x3159+64 x3158+32 x3157+16 x3156+8 x3155+4 x3154+2 x3153+1 x3152+524288 x2451+262144 x2450+131072 x2449+65536 x2448+32768 x2447+16384 x2446+8192 x2445+4096 x2444+2048 x2443+1024 x2442+512 x2441+256 x2440+128 x2439+64 x2438+32 x2437+16 x2436+8 x2435+4 x2434+2 x2433+1 x2432-0=1657855
33.37/33.48	c 262144 ~x1034545+131072 ~x1034544+65536 ~x1034543+32768 ~x1034542+16384 ~x1034541+8192 ~x1034540+4096 ~x1034539+2048 ~x1034538+1024 ~x1034537+512 ~x1034536+256 ~x1034535+128 ~x1034534+64 ~x1034533+32 ~x1034532+16 ~x1034531+8 ~x1034530+4 ~x1034529+2 ~x1034528+1 ~x1034527+133120 x16671+315392 x16670+262144 x5360+131072 x5359+65536 x5358+32768 x5357+16384 x5356+8192 x5355+4096 x5354+2048 x5353+1024 x5352+512 x5351+256 x5350+128 x5349+64 x5348+32 x5347+16 x5346+8 x5345+4 x5344+2 x5343+1 x5342+262144 x3200+131072 x3199+65536 x3198+32768 x3197+16384 x3196+8192 x3195+4096 x3194+2048 x3193+1024 x3192+512 x3191+256 x3190+128 x3189+64 x3188+32 x3187+16 x3186+8 x3185+4 x3184+2 x3183+1 x3182+262144 x2480+131072 x2479+65536 x2478+32768 x2477+16384 x2476+8192 x2475+4096 x2474+2048 x2473+1024 x2472+512 x2471+256 x2470+128 x2469+64 x2468+32 x2467+16 x2466+8 x2465+4 x2464+2 x2463+1 x2462-0=993279
33.77/33.85	c 262144 ~x1050374+131072 ~x1050373+65536 ~x1050372+32768 ~x1050371+16384 ~x1050370+8192 ~x1050369+4096 ~x1050368+2048 ~x1050367+1024 ~x1050366+512 ~x1050365+256 ~x1050364+128 ~x1050363+64 ~x1050362+32 ~x1050361+16 ~x1050360+8 ~x1050359+4 ~x1050358+2 ~x1050357+1 ~x1050356+142336 x16672+262144 x5420+131072 x5419+65536 x5418+32768 x5417+16384 x5416+8192 x5415+4096 x5414+2048 x5413+1024 x5412+512 x5411+256 x5410+128 x5409+64 x5408+32 x5407+16 x5406+8 x5405+4 x5404+2 x5403+1 x5402+262144 x3260+131072 x3259+65536 x3258+32768 x3257+16384 x3256+8192 x3255+4096 x3254+2048 x3253+1024 x3252+512 x3251+256 x3250+128 x3249+64 x3248+32 x3247+16 x3246+8 x3245+4 x3244+2 x3243+1 x3242+262144 x2540+131072 x2539+65536 x2538+32768 x2537+16384 x2536+8192 x2535+4096 x2534+2048 x2533+1024 x2532+512 x2531+256 x2530+128 x2529+64 x2528+32 x2527+16 x2526+8 x2525+4 x2524+2 x2523+1 x2522-0=799743
34.18/34.21	c 524288 ~x1065985+262144 ~x1065984+131072 ~x1065983+65536 ~x1065982+32768 ~x1065981+16384 ~x1065980+8192 ~x1065979+4096 ~x1065978+2048 ~x1065977+1024 ~x1065976+512 ~x1065975+256 ~x1065974+128 ~x1065973+64 ~x1065972+32 ~x1065971+16 ~x1065970+8 ~x1065969+4 ~x1065968+2 ~x1065967+1 ~x1065966+142336 x16744+275456 x16743+457728 x16742+524288 x7521+262144 x7520+131072 x7519+65536 x7518+32768 x7517+16384 x7516+8192 x7515+4096 x7514+2048 x7513+1024 x7512+512 x7511+256 x7510+128 x7509+64 x7508+32 x7507+16 x7506+8 x7505+4 x7504+2 x7503+1 x7502+524288 x5361+262144 x5360+131072 x5359+65536 x5358+32768 x5357+16384 x5356+8192 x5355+4096 x5354+2048 x5353+1024 x5352+512 x5351+256 x5350+128 x5349+64 x5348+32 x5347+16 x5346+8 x5345+4 x5344+2 x5343+1 x5342+524288 x3201+262144 x3200+131072 x3199+65536 x3198+32768 x3197+16384 x3196+8192 x3195+4096 x3194+2048 x3193+1024 x3192+512 x3191+256 x3190+128 x3189+64 x3188+32 x3187+16 x3186+8 x3185+4 x3184+2 x3183+1 x3182+524288 x2481+262144 x2480+131072 x2479+65536 x2478+32768 x2477+16384 x2476+8192 x2475+4096 x2474+2048 x2473+1024 x2472+512 x2471+256 x2470+128 x2469+64 x2468+32 x2467+16 x2466+8 x2465+4 x2464+2 x2463+1 x2462-0=1659903
34.68/34.71	c 524288 ~x1087842+262144 ~x1087841+131072 ~x1087840+65536 ~x1087839+32768 ~x1087838+16384 ~x1087837+8192 ~x1087836+4096 ~x1087835+2048 ~x1087834+1024 ~x1087833+512 ~x1087832+256 ~x1087831+128 ~x1087830+64 ~x1087829+32 ~x1087828+16 ~x1087827+8 ~x1087826+4 ~x1087825+2 ~x1087824+1 ~x1087823+111616 x16745+253952 x16744+387072 x16743+524288 x7551+262144 x7550+131072 x7549+65536 x7548+32768 x7547+16384 x7546+8192 x7545+4096 x7544+2048 x7543+1024 x7542+512 x7541+256 x7540+128 x7539+64 x7538+32 x7537+16 x7536+8 x7535+4 x7534+2 x7533+1 x7532+524288 x5391+262144 x5390+131072 x5389+65536 x5388+32768 x5387+16384 x5386+8192 x5385+4096 x5384+2048 x5383+1024 x5382+512 x5381+256 x5380+128 x5379+64 x5378+32 x5377+16 x5376+8 x5375+4 x5374+2 x5373+1 x5372+524288 x3231+262144 x3230+131072 x3229+65536 x3228+32768 x3227+16384 x3226+8192 x3225+4096 x3224+2048 x3223+1024 x3222+512 x3221+256 x3220+128 x3219+64 x3218+32 x3217+16 x3216+8 x3215+4 x3214+2 x3213+1 x3212+524288 x2511+262144 x2510+131072 x2509+65536 x2508+32768 x2507+16384 x2506+8192 x2505+4096 x2504+2048 x2503+1024 x2502+512 x2501+256 x2500+128 x2499+64 x2498+32 x2497+16 x2496+8 x2495+4 x2494+2 x2493+1 x2492-0=1617919
35.08/35.20	c 65536 ~x1109696+32768 ~x1109695+16384 ~x1109694+8192 ~x1109693+4096 ~x1109692+2048 ~x1109691+1024 ~x1109690+512 ~x1109689+256 ~x1109688+128 ~x1109687+64 ~x1109686+32 ~x1109685+16 ~x1109684+8 ~x1109683+4 ~x1109682+2 ~x1109681+1 ~x1109680+65536 x7698+32768 x7697+16384 x7696+8192 x7695+4096 x7694+2048 x7693+1024 x7692+512 x7691+256 x7690+128 x7689+64 x7688+32 x7687+16 x7686+8 x7685+4 x7684+2 x7683+1 x7682+65536 x5538+32768 x5537+16384 x5536+8192 x5535+4096 x5534+2048 x5533+1024 x5532+512 x5531+256 x5530+128 x5529+64 x5528+32 x5527+16 x5526+8 x5525+4 x5524+2 x5523+1 x5522+65536 x3378+32768 x3377+16384 x3376+8192 x3375+4096 x3374+2048 x3373+1024 x3372+512 x3371+256 x3370+128 x3369+64 x3368+32 x3367+16 x3366+8 x3365+4 x3364+2 x3363+1 x3362+65536 x2658+32768 x2657+16384 x2656+8192 x2655+4096 x2654+2048 x2653+1024 x2652+512 x2651+256 x2650+128 x2649+64 x2648+32 x2647+16 x2646+8 x2645+4 x2644+2 x2643+1 x2642-0=245759
35.48/35.59	c 262144 ~x1126315+131072 ~x1126314+65536 ~x1126313+32768 ~x1126312+16384 ~x1126311+8192 ~x1126310+4096 ~x1126309+2048 ~x1126308+1024 ~x1126307+512 ~x1126306+256 ~x1126305+128 ~x1126304+64 ~x1126303+32 ~x1126302+16 ~x1126301+8 ~x1126300+4 ~x1126299+2 ~x1126298+1 ~x1126297+248832 x16768+262144 x8300+131072 x8299+65536 x8298+32768 x8297+16384 x8296+8192 x8295+4096 x8294+2048 x8293+1024 x8292+512 x8291+256 x8290+128 x8289+64 x8288+32 x8287+16 x8286+8 x8285+4 x8284+2 x8283+1 x8282+262144 x6140+131072 x6139+65536 x6138+32768 x6137+16384 x6136+8192 x6135+4096 x6134+2048 x6133+1024 x6132+512 x6131+256 x6130+128 x6129+64 x6128+32 x6127+16 x6126+8 x6125+4 x6124+2 x6123+1 x6122+262144 x5420+131072 x5419+65536 x5418+32768 x5417+16384 x5416+8192 x5415+4096 x5414+2048 x5413+1024 x5412+512 x5411+256 x5410+128 x5409+64 x5408+32 x5407+16 x5406+8 x5405+4 x5404+2 x5403+1 x5402+262144 x3980+131072 x3979+65536 x3978+32768 x3977+16384 x3976+8192 x3975+4096 x3974+2048 x3973+1024 x3972+512 x3971+256 x3970+128 x3969+64 x3968+32 x3967+16 x3966+8 x3965+4 x3964+2 x3963+1 x3962+262144 x3259+131072 x3258+65536 x3257+32768 x3256+16384 x3255+8192 x3254+4096 x3253+2048 x3252+1024 x3251+512 x3250+256 x3249+128 x3248+64 x3247+32 x3246+16 x3245+8 x3244+4 x3243+2 x3242+262144 x2540+131072 x2539+65536 x2538+32768 x2537+16384 x2536+8192 x2535+4096 x2534+2048 x2533+1024 x2532+512 x2531+256 x2530+128 x2529+64 x2528+32 x2527+16 x2526+8 x2525+4 x2524+2 x2523+1 x2522-0=1036287
36.18/36.23	c 262144 ~x1154189+131072 ~x1154188+65536 ~x1154187+32768 ~x1154186+16384 ~x1154185+8192 ~x1154184+4096 ~x1154183+2048 ~x1154182+1024 ~x1154181+512 ~x1154180+256 ~x1154179+128 ~x1154178+64 ~x1154177+32 ~x1154176+16 ~x1154175+8 ~x1154174+4 ~x1154173+2 ~x1154172+1 ~x1154171+146432 x16781+280576 x16780+262144 x8660+131072 x8659+65536 x8658+32768 x8657+16384 x8656+8192 x8655+4096 x8654+2048 x8653+1024 x8652+512 x8651+256 x8650+128 x8649+64 x8648+32 x8647+16 x8646+8 x8645+4 x8644+2 x8643+1 x8642+262144 x6500+131072 x6499+65536 x6498+32768 x6497+16384 x6496+8192 x6495+4096 x6494+2048 x6493+1024 x6492+512 x6491+256 x6490+128 x6489+64 x6488+32 x6487+16 x6486+8 x6485+4 x6484+2 x6483+1 x6482+262144 x5780+131072 x5779+65536 x5778+32768 x5777+16384 x5776+8192 x5775+4096 x5774+2048 x5773+1024 x5772+512 x5771+256 x5770+128 x5769+64 x5768+32 x5767+16 x5766+8 x5765+4 x5764+2 x5763+1 x5762+262144 x4340+131072 x4339+65536 x4338+32768 x4337+16384 x4336+8192 x4335+4096 x4334+2048 x4333+1024 x4332+512 x4331+256 x4330+128 x4329+64 x4328+32 x4327+16 x4326+8 x4325+4 x4324+2 x4323+1 x4322+262144 x3619+131072 x3618+65536 x3617+32768 x3616+16384 x3615+8192 x3614+4096 x3613+2048 x3612+1024 x3611+512 x3610+256 x3609+128 x3608+64 x3607+32 x3606+16 x3605+8 x3604+4 x3603+2 x3602+262144 x2900+131072 x2899+65536 x2898+32768 x2897+16384 x2896+8192 x2895+4096 x2894+2048 x2893+1024 x2892+512 x2891+256 x2890+128 x2889+64 x2888+32 x2887+16 x2886+8 x2885+4 x2884+2 x2883+1 x2882-0=910335
36.77/36.88	c 65536 ~x1182280+32768 ~x1182279+16384 ~x1182278+8192 ~x1182277+4096 ~x1182276+2048 ~x1182275+1024 ~x1182274+512 ~x1182273+256 ~x1182272+128 ~x1182271+64 ~x1182270+32 ~x1182269+16 ~x1182268+8 ~x1182267+4 ~x1182266+2 ~x1182265+1 ~x1182264+34816 x16564+65536 x2178+32768 x2177+16384 x2176+8192 x2175+4096 x2174+2048 x2173+1024 x2172+512 x2171+256 x2170+128 x2169+64 x2168+32 x2167+16 x2166+8 x2165+4 x2164+2 x2163+1 x2162-0=199679
36.97/37.00	c 65536 ~x1187400+32768 ~x1187399+16384 ~x1187398+8192 ~x1187397+4096 ~x1187396+2048 ~x1187395+1024 ~x1187394+512 ~x1187393+256 ~x1187392+128 ~x1187391+64 ~x1187390+32 ~x1187389+16 ~x1187388+8 ~x1187387+4 ~x1187386+2 ~x1187385+1 ~x1187384+49152 x16566+90112 x16565+65536 x2208+32768 x2207+16384 x2206+8192 x2205+4096 x2204+2048 x2203+1024 x2202+512 x2201+256 x2200+128 x2199+64 x2198+32 x2197+16 x2196+8 x2195+4 x2194+2 x2193+1 x2192-0=255999
37.07/37.13	c 131072 ~x1192695+65536 ~x1192694+32768 ~x1192693+16384 ~x1192692+8192 ~x1192691+4096 ~x1192690+2048 ~x1192689+1024 ~x1192688+512 ~x1192687+256 ~x1192686+128 ~x1192685+64 ~x1192684+32 ~x1192683+16 ~x1192682+8 ~x1192681+4 ~x1192680+2 ~x1192679+1 ~x1192678+60416 x16598+110592 x16597+131072 x3169+65536 x3168+32768 x3167+16384 x3166+8192 x3165+4096 x3164+2048 x3163+1024 x3162+512 x3161+256 x3160+128 x3159+64 x3158+32 x3157+16 x3156+8 x3155+4 x3154+2 x3153+1 x3152-0=416767
37.17/37.29	c 65536 ~x1199442+32768 ~x1199441+16384 ~x1199440+8192 ~x1199439+4096 ~x1199438+2048 ~x1199437+1024 ~x1199436+512 ~x1199435+256 ~x1199434+128 ~x1199433+64 ~x1199432+32 ~x1199431+16 ~x1199430+8 ~x1199429+4 ~x1199428+2 ~x1199427+1 ~x1199426+45056 x16631+65536 x4188+32768 x4187+16384 x4186+8192 x4185+4096 x4184+2048 x4183+1024 x4182+512 x4181+256 x4180+128 x4179+64 x4178+32 x4177+16 x4176+8 x4175+4 x4174+2 x4173+1 x4172-0=220159
37.39/37.42	c 131072 ~x1204563+65536 ~x1204562+32768 ~x1204561+16384 ~x1204560+8192 ~x1204559+4096 ~x1204558+2048 ~x1204557+1024 ~x1204556+512 ~x1204555+256 ~x1204554+128 ~x1204553+64 ~x1204552+32 ~x1204551+16 ~x1204550+8 ~x1204549+4 ~x1204548+2 ~x1204547+1 ~x1204546+131072 x9139+65536 x9138+32768 x9137+16384 x9136+8192 x9135+4096 x9134+2048 x9133+1024 x9132+512 x9131+256 x9130+128 x9129+64 x9128+32 x9127+16 x9126+8 x9125+4 x9124+2 x9123+1 x9122+131072 x6979+65536 x6978+32768 x6977+16384 x6976+8192 x6975+4096 x6974+2048 x6973+1024 x6972+512 x6971+256 x6970+128 x6969+64 x6968+32 x6967+16 x6966+8 x6965+4 x6964+2 x6963+1 x6962+131072 x6259+65536 x6258+32768 x6257+16384 x6256+8192 x6255+4096 x6254+2048 x6253+1024 x6252+512 x6251+256 x6250+128 x6249+64 x6248+32 x6247+16 x6246+8 x6245+4 x6244+2 x6243+1 x6242+131072 x4819+65536 x4818+32768 x4817+16384 x4816+8192 x4815+4096 x4814+2048 x4813+1024 x4812+512 x4811+256 x4810+128 x4809+64 x4808+32 x4807+16 x4806+8 x4805+4 x4804+2 x4803+1 x4802+131072 x4098+65536 x4097+32768 x4096+16384 x4095+8192 x4094+4096 x4093+2048 x4092+1024 x4091+512 x4090+256 x4089+128 x4088+64 x4087+32 x4086+16 x4085+8 x4084+4 x4083+2 x4082+131072 x3379+65536 x3378+32768 x3377+16384 x3376+8192 x3375+4096 x3374+2048 x3373+1024 x3372+512 x3371+256 x3370+128 x3369+64 x3368+32 x3367+16 x3366+8 x3365+4 x3364+2 x3363+1 x3362-0=507903
37.98/38.00	c 32768 ~x1230682+16384 ~x1230681+8192 ~x1230680+4096 ~x1230679+2048 ~x1230678+1024 ~x1230677+512 ~x1230676+256 ~x1230675+128 ~x1230674+64 ~x1230673+32 ~x1230672+16 ~x1230671+8 ~x1230670+4 ~x1230669+2 ~x1230668+1 ~x1230667+32768 x2747+16384 x2746+8192 x2745+4096 x2744+2048 x2743+1024 x2742+512 x2741+256 x2740+128 x2739+64 x2738+32 x2737+16 x2736+8 x2735+4 x2734+2 x2733+1 x2732-0=129023
38.07/38.11	c 262144 ~x1235148+131072 ~x1235147+65536 ~x1235146+32768 ~x1235145+16384 ~x1235144+8192 ~x1235143+4096 ~x1235142+2048 ~x1235141+1024 ~x1235140+512 ~x1235139+256 ~x1235138+128 ~x1235137+64 ~x1235136+32 ~x1235135+16 ~x1235134+8 ~x1235133+4 ~x1235132+2 ~x1235131+1 ~x1235130+88064 x16622+169984 x16621+245760 x16620+262144 x3860+131072 x3859+65536 x3858+32768 x3857+16384 x3856+8192 x3855+4096 x3854+2048 x3853+1024 x3852+512 x3851+256 x3850+128 x3849+64 x3848+32 x3847+16 x3846+8 x3845+4 x3844+2 x3843+1 x3842-0=844799
38.17/38.29	c 32768 ~x1242871+16384 ~x1242870+8192 ~x1242869+4096 ~x1242868+2048 ~x1242867+1024 ~x1242866+512 ~x1242865+256 ~x1242864+128 ~x1242863+64 ~x1242862+32 ~x1242861+16 ~x1242860+8 ~x1242859+4 ~x1242858+2 ~x1242857+1 ~x1242856+32768 x4337+16384 x4336+8192 x4335+4096 x4334+2048 x4333+1024 x4332+512 x4331+256 x4330+128 x4329+64 x4328+32 x4327+16 x4326+8 x4325+4 x4324+2 x4323+1 x4322-0=109567
38.38/38.40	c 131072 ~x1247335+65536 ~x1247334+32768 ~x1247333+16384 ~x1247332+8192 ~x1247331+4096 ~x1247330+2048 ~x1247329+1024 ~x1247328+512 ~x1247327+256 ~x1247326+128 ~x1247325+64 ~x1247324+32 ~x1247323+16 ~x1247322+8 ~x1247321+4 ~x1247320+2 ~x1247319+1 ~x1247318+80896 x16709+178176 x16708+131072 x6499+65536 x6498+32768 x6497+16384 x6496+8192 x6495+4096 x6494+2048 x6493+1024 x6492+512 x6491+256 x6490+128 x6489+64 x6488+32 x6487+16 x6486+8 x6485+4 x6484+2 x6483+1 x6482+131072 x4339+65536 x4338+32768 x4337+16384 x4336+8192 x4335+4096 x4334+2048 x4333+1024 x4332+512 x4331+256 x4330+128 x4329+64 x4328+32 x4327+16 x4326+8 x4325+4 x4324+2 x4323+1 x4322+131072 x3619+65536 x3618+32768 x3617+16384 x3616+8192 x3615+4096 x3614+2048 x3613+1024 x3612+512 x3611+256 x3610+128 x3609+64 x3608+32 x3607+16 x3606+8 x3605+4 x3604+2 x3603+1 x3602-0=507903
38.67/38.76	c 131072 ~x1261643+65536 ~x1261642+32768 ~x1261641+16384 ~x1261640+8192 ~x1261639+4096 ~x1261638+2048 ~x1261637+1024 ~x1261636+512 ~x1261635+256 ~x1261634+128 ~x1261633+64 ~x1261632+32 ~x1261631+16 ~x1261630+8 ~x1261629+4 ~x1261628+2 ~x1261627+1 ~x1261626+67584 x16733+118784 x16732+131072 x7219+65536 x7218+32768 x7217+16384 x7216+8192 x7215+4096 x7214+2048 x7213+1024 x7212+512 x7211+256 x7210+128 x7209+64 x7208+32 x7207+16 x7206+8 x7205+4 x7204+2 x7203+1 x7202+131072 x5059+65536 x5058+32768 x5057+16384 x5056+8192 x5055+4096 x5054+2048 x5053+1024 x5052+512 x5051+256 x5050+128 x5049+64 x5048+32 x5047+16 x5046+8 x5045+4 x5044+2 x5043+1 x5042+131072 x2899+65536 x2898+32768 x2897+16384 x2896+8192 x2895+4096 x2894+2048 x2893+1024 x2892+512 x2891+256 x2890+128 x2889+64 x2888+32 x2887+16 x2886+8 x2885+4 x2884+2 x2883+1 x2882+131072 x2179+65536 x2178+32768 x2177+16384 x2176+8192 x2175+4096 x2174+2048 x2173+1024 x2172+512 x2171+256 x2170+128 x2169+64 x2168+32 x2167+16 x2166+8 x2165+4 x2164+2 x2163+1 x2162-0=429055
39.07/39.18	c 32768 ~x1280535+16384 ~x1280534+8192 ~x1280533+4096 ~x1280532+2048 ~x1280531+1024 ~x1280530+512 ~x1280529+256 ~x1280528+128 ~x1280527+64 ~x1280526+32 ~x1280525+16 ~x1280524+8 ~x1280523+4 ~x1280522+2 ~x1280521+1 ~x1280520+22528 x16606+32768 x3437+16384 x3436+8192 x3435+4096 x3434+2048 x3433+1024 x3432+512 x3431+256 x3430+128 x3429+64 x3428+32 x3427+16 x3426+8 x3425+4 x3424+2 x3423+1 x3422-0=112639
39.27/39.30	c 65536 ~x1285166+32768 ~x1285165+16384 ~x1285164+8192 ~x1285163+4096 ~x1285162+2048 ~x1285161+1024 ~x1285160+512 ~x1285159+256 ~x1285158+128 ~x1285157+64 ~x1285156+32 ~x1285155+16 ~x1285154+8 ~x1285153+4 ~x1285152+2 ~x1285151+1 ~x1285150+51200 x16660+65536 x5058+32768 x5057+16384 x5056+8192 x5055+4096 x5054+2048 x5053+1024 x5052+512 x5051+256 x5050+128 x5049+64 x5048+32 x5047+16 x5046+8 x5045+4 x5044+2 x5043+1 x5042+65536 x2898+32768 x2897+16384 x2896+8192 x2895+4096 x2894+2048 x2893+1024 x2892+512 x2891+256 x2890+128 x2889+64 x2888+32 x2887+16 x2886+8 x2885+4 x2884+2 x2883+1 x2882+65536 x2178+32768 x2177+16384 x2176+8192 x2175+4096 x2174+2048 x2173+1024 x2172+512 x2171+256 x2170+128 x2169+64 x2168+32 x2167+16 x2166+8 x2165+4 x2164+2 x2163+1 x2162-0=230399
39.58/39.60	c 262144 ~x1298425+131072 ~x1298424+65536 ~x1298423+32768 ~x1298422+16384 ~x1298421+8192 ~x1298420+4096 ~x1298419+2048 ~x1298418+1024 ~x1298417+512 ~x1298416+256 ~x1298415+128 ~x1298414+64 ~x1298413+32 ~x1298412+16 ~x1298411+8 ~x1298410+4 ~x1298409+2 ~x1298408+1 ~x1298407+133120 x16671+262144 x5390+131072 x5389+65536 x5388+32768 x5387+16384 x5386+8192 x5385+4096 x5384+2048 x5383+1024 x5382+512 x5381+256 x5380+128 x5379+64 x5378+32 x5377+16 x5376+8 x5375+4 x5374+2 x5373+1 x5372+262144 x3230+131072 x3229+65536 x3228+32768 x3227+16384 x3226+8192 x3225+4096 x3224+2048 x3223+1024 x3222+512 x3221+256 x3220+128 x3219+64 x3218+32 x3217+16 x3216+8 x3215+4 x3214+2 x3213+1 x3212+262144 x2510+131072 x2509+65536 x2508+32768 x2507+16384 x2506+8192 x2505+4096 x2504+2048 x2503+1024 x2502+512 x2501+256 x2500+128 x2499+64 x2498+32 x2497+16 x2496+8 x2495+4 x2494+2 x2493+1 x2492-0=839679
39.88/39.97	c 131072 ~x1314034+65536 ~x1314033+32768 ~x1314032+16384 ~x1314031+8192 ~x1314030+4096 ~x1314029+2048 ~x1314028+1024 ~x1314027+512 ~x1314026+256 ~x1314025+128 ~x1314024+64 ~x1314023+32 ~x1314022+16 ~x1314021+8 ~x1314020+4 ~x1314019+2 ~x1314018+1 ~x1314017+88064 x16756+131072 x7939+65536 x7938+32768 x7937+16384 x7936+8192 x7935+4096 x7934+2048 x7933+1024 x7932+512 x7931+256 x7930+128 x7929+64 x7928+32 x7927+16 x7926+8 x7925+4 x7924+2 x7923+1 x7922+131072 x5779+65536 x5778+32768 x5777+16384 x5776+8192 x5775+4096 x5774+2048 x5773+1024 x5772+512 x5771+256 x5770+128 x5769+64 x5768+32 x5767+16 x5766+8 x5765+4 x5764+2 x5763+1 x5762+131072 x5059+65536 x5058+32768 x5057+16384 x5056+8192 x5055+4096 x5054+2048 x5053+1024 x5052+512 x5051+256 x5050+128 x5049+64 x5048+32 x5047+16 x5046+8 x5045+4 x5044+2 x5043+1 x5042+131072 x3619+65536 x3618+32768 x3617+16384 x3616+8192 x3615+4096 x3614+2048 x3613+1024 x3612+512 x3611+256 x3610+128 x3609+64 x3608+32 x3607+16 x3606+8 x3605+4 x3604+2 x3603+1 x3602+131072 x2898+65536 x2897+32768 x2896+16384 x2895+8192 x2894+4096 x2893+2048 x2892+1024 x2891+512 x2890+256 x2889+128 x2888+64 x2887+32 x2886+16 x2885+8 x2884+4 x2883+2 x2882+131072 x2179+65536 x2178+32768 x2177+16384 x2176+8192 x2175+4096 x2174+2048 x2173+1024 x2172+512 x2171+256 x2170+128 x2169+64 x2168+32 x2167+16 x2166+8 x2165+4 x2164+2 x2163+1 x2162-0=436223
40.47/40.56	c 65536 ~x1340373+32768 ~x1340372+16384 ~x1340371+8192 ~x1340370+4096 ~x1340369+2048 ~x1340368+1024 ~x1340367+512 ~x1340366+256 ~x1340365+128 ~x1340364+64 ~x1340363+32 ~x1340362+16 ~x1340361+8 ~x1340360+4 ~x1340359+2 ~x1340358+1 ~x1340357+41984 x16637+65536 x4368+32768 x4367+16384 x4366+8192 x4365+4096 x4364+2048 x4363+1024 x4362+512 x4361+256 x4360+128 x4359+64 x4358+32 x4357+16 x4356+8 x4355+4 x4354+2 x4353+1 x4352-0=249855
40.58/40.68	c 1073741824 ~x1345507+536870912 ~x1345506+268435456 ~x1345505+134217728 ~x1345504+67108864 ~x1345503+33554432 ~x1345502+16777216 ~x1345501+8388608 ~x1345500+4194304 ~x1345499+2097152 ~x1345498+1048576 ~x1345497+524288 ~x1345496+262144 ~x1345495+131072 ~x1345494+65536 ~x1345493+32768 ~x1345492+16384 ~x1345491+8192 ~x1345490+4096 ~x1345489+2048 ~x1345488+1024 ~x1345487+512 ~x1345486+256 ~x1345485+128 ~x1345484+64 ~x1345483+32 ~x1345482+16 ~x1345481+8 ~x1345480+4 ~x1345479+2 ~x1345478+1 ~x1345477+119808 x16694+37888 x16599+10240 ~x16598+119808 x16574+536870912 ~x13351+268435456 ~x13350+134217728 ~x13349+67108864 ~x13348+33554432 ~x13347+16777216 ~x13346+8388608 ~x13345+4194304 ~x13344+2097152 ~x13343+1048576 ~x13342+524288 ~x13341+262144 ~x13340+131072 ~x13339+65536 ~x13338+32768 ~x13337+16384 ~x13336+8192 ~x13335+4096 ~x13334+2048 ~x13333+1024 ~x13332+512 ~x13331+256 ~x13330+128 ~x13329+64 ~x13328+32 ~x13327+16 ~x13326+8 ~x13325+4 ~x13324+2 ~x13323+1 ~x13322+536870912 ~x9751+268435456 ~x9750+134217728 ~x9749+67108864 ~x9748+33554432 ~x9747+16777216 ~x9746+8388608 ~x9745+4194304 ~x9744+2097152 ~x9743+1048576 ~x9742+524288 ~x9741+262144 ~x9740+131072 ~x9739+65536 ~x9738+32768 ~x9737+16384 ~x9736+8192 ~x9735+4096 ~x9734+2048 ~x9733+1024 ~x9732+512 ~x9731+256 ~x9730+128 ~x9729+64 ~x9728+32 ~x9727+16 ~x9726+8 ~x9725+4 ~x9724+2 ~x9723+1 ~x9722+536870912 x3241+268435456 x3240+134217728 x3239+67108864 x3238+33554432 x3237+16777216 x3236+8388608 x3235+4194304 x3234+2097152 x3233+1048576 x3232+524288 x3231+262144 x3230+131072 x3229+65536 x3228+32768 x3227+16384 x3226+8192 x3225+4096 x3224+2048 x3223+1024 x3222+512 x3221+256 x3220+128 x3219+64 x3218+32 x3217+16 x3216+8 x3215+4 x3214+2 x3213+1 x3212+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-0=4294967293
41.87/41.99	c 536870912 ~x1402997+268435456 ~x1402996+134217728 ~x1402995+67108864 ~x1402994+33554432 ~x1402993+16777216 ~x1402992+8388608 ~x1402991+4194304 ~x1402990+2097152 ~x1402989+1048576 ~x1402988+524288 ~x1402987+262144 ~x1402986+131072 ~x1402985+65536 ~x1402984+32768 ~x1402983+16384 ~x1402982+8192 ~x1402981+4096 ~x1402980+2048 ~x1402979+1024 ~x1402978+512 ~x1402977+256 ~x1402976+128 ~x1402975+64 ~x1402974+32 ~x1402973+16 ~x1402972+8 ~x1402971+4 ~x1402970+2 ~x1402969+1 ~x1402968+51200 x16701+63488 x16582+10240 ~x16581+536870912 ~x13561+268435456 ~x13560+134217728 ~x13559+67108864 ~x13558+33554432 ~x13557+16777216 ~x13556+8388608 ~x13555+4194304 ~x13554+2097152 ~x13553+1048576 ~x13552+524288 ~x13551+262144 ~x13550+131072 ~x13549+65536 ~x13548+32768 ~x13547+16384 ~x13546+8192 ~x13545+4096 ~x13544+2048 ~x13543+1024 ~x13542+512 ~x13541+256 ~x13540+128 ~x13539+64 ~x13538+32 ~x13537+16 ~x13536+8 ~x13535+4 ~x13534+2 ~x13533+1 ~x13532+536870912 x2731+268435456 x2730+134217728 x2729+67108864 x2728+33554432 x2727+16777216 x2726+8388608 x2725+4194304 x2724+2097152 x2723+1048576 x2722+524288 x2721+262144 x2720+131072 x2719+65536 x2718+32768 x2717+16384 x2716+8192 x2715+4096 x2714+2048 x2713+1024 x2712+512 x2711+256 x2710+128 x2709+64 x2708+32 x2707+16 x2706+8 x2705+4 x2704+2 x2703+1 x2702+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-0=2147483646
42.97/43.02	c 1073741824 ~x1448104+536870912 ~x1448103+268435456 ~x1448102+134217728 ~x1448101+67108864 ~x1448100+33554432 ~x1448099+16777216 ~x1448098+8388608 ~x1448097+4194304 ~x1448096+2097152 ~x1448095+1048576 ~x1448094+524288 ~x1448093+262144 ~x1448092+131072 ~x1448091+65536 ~x1448090+32768 ~x1448089+16384 ~x1448088+8192 ~x1448087+4096 ~x1448086+2048 ~x1448085+1024 ~x1448084+512 ~x1448083+256 ~x1448082+128 ~x1448081+64 ~x1448080+32 ~x1448079+16 ~x1448078+8 ~x1448077+4 ~x1448076+2 ~x1448075+1 ~x1448074+190464 x16717+180224 x16645+88064 x16622+15360 ~x16621+536870912 ~x14041+268435456 ~x14040+134217728 ~x14039+67108864 ~x14038+33554432 ~x14037+16777216 ~x14036+8388608 ~x14035+4194304 ~x14034+2097152 ~x14033+1048576 ~x14032+524288 ~x14031+262144 ~x14030+131072 ~x14029+65536 ~x14028+32768 ~x14027+16384 ~x14026+8192 ~x14025+4096 ~x14024+2048 ~x14023+1024 ~x14022+512 ~x14021+256 ~x14020+128 ~x14019+64 ~x14018+32 ~x14017+16 ~x14016+8 ~x14015+4 ~x14014+2 ~x14013+1 ~x14012+536870912 ~x11881+268435456 ~x11880+134217728 ~x11879+67108864 ~x11878+33554432 ~x11877+16777216 ~x11876+8388608 ~x11875+4194304 ~x11874+2097152 ~x11873+1048576 ~x11872+524288 ~x11871+262144 ~x11870+131072 ~x11869+65536 ~x11868+32768 ~x11867+16384 ~x11866+8192 ~x11865+4096 ~x11864+2048 ~x11863+1024 ~x11862+512 ~x11861+256 ~x11860+128 ~x11859+64 ~x11858+32 ~x11857+16 ~x11856+8 ~x11855+4 ~x11854+2 ~x11853+1 ~x11852+536870912 x3931+268435456 x3930+134217728 x3929+67108864 x3928+33554432 x3927+16777216 x3926+8388608 x3925+4194304 x3924+2097152 x3923+1048576 x3922+524288 x3921+262144 x3920+131072 x3919+65536 x3918+32768 x3917+16384 x3916+8192 x3915+4096 x3914+2048 x3913+1024 x3912+512 x3911+256 x3910+128 x3909+64 x3908+32 x3907+16 x3906+8 x3905+4 x3904+2 x3903+1 x3902+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=4294967293
44.27/44.33	c 1073741824 ~x1505595+536870912 ~x1505594+268435456 ~x1505593+134217728 ~x1505592+67108864 ~x1505591+33554432 ~x1505590+16777216 ~x1505589+8388608 ~x1505588+4194304 ~x1505587+2097152 ~x1505586+1048576 ~x1505585+524288 ~x1505584+262144 ~x1505583+131072 ~x1505582+65536 ~x1505581+32768 ~x1505580+16384 ~x1505579+8192 ~x1505578+4096 ~x1505577+2048 ~x1505576+1024 ~x1505575+512 ~x1505574+256 ~x1505573+128 ~x1505572+64 ~x1505571+32 ~x1505570+16 ~x1505569+8 ~x1505568+4 ~x1505567+2 ~x1505566+1 ~x1505565+206848 x16719+196608 x16647+61440 x16624+15360 ~x16623+536870912 ~x14101+268435456 ~x14100+134217728 ~x14099+67108864 ~x14098+33554432 ~x14097+16777216 ~x14096+8388608 ~x14095+4194304 ~x14094+2097152 ~x14093+1048576 ~x14092+524288 ~x14091+262144 ~x14090+131072 ~x14089+65536 ~x14088+32768 ~x14087+16384 ~x14086+8192 ~x14085+4096 ~x14084+2048 ~x14083+1024 ~x14082+512 ~x14081+256 ~x14080+128 ~x14079+64 ~x14078+32 ~x14077+16 ~x14076+8 ~x14075+4 ~x14074+2 ~x14073+1 ~x14072+536870912 ~x11941+268435456 ~x11940+134217728 ~x11939+67108864 ~x11938+33554432 ~x11937+16777216 ~x11936+8388608 ~x11935+4194304 ~x11934+2097152 ~x11933+1048576 ~x11932+524288 ~x11931+262144 ~x11930+131072 ~x11929+65536 ~x11928+32768 ~x11927+16384 ~x11926+8192 ~x11925+4096 ~x11924+2048 ~x11923+1024 ~x11922+512 ~x11921+256 ~x11920+128 ~x11919+64 ~x11918+32 ~x11917+16 ~x11916+8 ~x11915+4 ~x11914+2 ~x11913+1 ~x11912+536870912 x3991+268435456 x3990+134217728 x3989+67108864 x3988+33554432 x3987+16777216 x3986+8388608 x3985+4194304 x3984+2097152 x3983+1048576 x3982+524288 x3981+262144 x3980+131072 x3979+65536 x3978+32768 x3977+16384 x3976+8192 x3975+4096 x3974+2048 x3973+1024 x3972+512 x3971+256 x3970+128 x3969+64 x3968+32 x3967+16 x3966+8 x3965+4 x3964+2 x3963+1 x3962+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-0=4294967293
45.58/45.64	c 1073741824 ~x1563086+536870912 ~x1563085+268435456 ~x1563084+134217728 ~x1563083+67108864 ~x1563082+33554432 ~x1563081+16777216 ~x1563080+8388608 ~x1563079+4194304 ~x1563078+2097152 ~x1563077+1048576 ~x1563076+524288 ~x1563075+262144 ~x1563074+131072 ~x1563073+65536 ~x1563072+32768 ~x1563071+16384 ~x1563070+8192 ~x1563069+4096 ~x1563068+2048 ~x1563067+1024 ~x1563066+512 ~x1563065+256 ~x1563064+128 ~x1563063+64 ~x1563062+32 ~x1563061+16 ~x1563060+8 ~x1563059+4 ~x1563058+2 ~x1563057+1 ~x1563056+706560 x16755+706560 x16731+10240 ~x16659+536870912 ~x15181+268435456 ~x15180+134217728 ~x15179+67108864 ~x15178+33554432 ~x15177+16777216 ~x15176+8388608 ~x15175+4194304 ~x15174+2097152 ~x15173+1048576 ~x15172+524288 ~x15171+262144 ~x15170+131072 ~x15169+65536 ~x15168+32768 ~x15167+16384 ~x15166+8192 ~x15165+4096 ~x15164+2048 ~x15163+1024 ~x15162+512 ~x15161+256 ~x15160+128 ~x15159+64 ~x15158+32 ~x15157+16 ~x15156+8 ~x15155+4 ~x15154+2 ~x15153+1 ~x15152+536870912 ~x14461+268435456 ~x14460+134217728 ~x14459+67108864 ~x14458+33554432 ~x14457+16777216 ~x14456+8388608 ~x14455+4194304 ~x14454+2097152 ~x14453+1048576 ~x14452+524288 ~x14451+262144 ~x14450+131072 ~x14449+65536 ~x14448+32768 ~x14447+16384 ~x14446+8192 ~x14445+4096 ~x14444+2048 ~x14443+1024 ~x14442+512 ~x14441+256 ~x14440+128 ~x14439+64 ~x14438+32 ~x14437+16 ~x14436+8 ~x14435+4 ~x14434+2 ~x14433+1 ~x14432+536870912 x1501+268435456 x1500+134217728 x1499+67108864 x1498+33554432 x1497+16777216 x1496+8388608 x1495+4194304 x1494+2097152 x1493+1048576 x1492+524288 x1491+262144 x1490+131072 x1489+65536 x1488+32768 x1487+16384 x1486+8192 x1485+4096 x1484+2048 x1483+1024 x1482+512 x1481+256 x1480+128 x1479+64 x1478+32 x1477+16 x1476+8 x1475+4 x1474+2 x1473+1 x1472-0=4294967293
46.57/46.69	c 2147483648 ~x1608581+1073741824 ~x1608580+536870912 ~x1608579+268435456 ~x1608578+134217728 ~x1608577+67108864 ~x1608576+33554432 ~x1608575+16777216 ~x1608574+8388608 ~x1608573+4194304 ~x1608572+2097152 ~x1608571+1048576 ~x1608570+524288 ~x1608569+262144 ~x1608568+131072 ~x1608567+65536 ~x1608566+32768 ~x1608565+16384 ~x1608564+8192 ~x1608563+4096 ~x1608562+2048 ~x1608561+1024 ~x1608560+512 ~x1608559+256 ~x1608558+128 ~x1608557+64 ~x1608556+32 ~x1608555+16 ~x1608554+8 ~x1608553+4 ~x1608552+2 ~x1608551+1 ~x1608550+706560 x16788+706560 x16764+706560 x16740+10240 ~x16668+536870912 ~x16171+268435456 ~x16170+134217728 ~x16169+67108864 ~x16168+33554432 ~x16167+16777216 ~x16166+8388608 ~x16165+4194304 ~x16164+2097152 ~x16163+1048576 ~x16162+524288 ~x16161+262144 ~x16160+131072 ~x16159+65536 ~x16158+32768 ~x16157+16384 ~x16156+8192 ~x16155+4096 ~x16154+2048 ~x16153+1024 ~x16152+512 ~x16151+256 ~x16150+128 ~x16149+64 ~x16148+32 ~x16147+16 ~x16146+8 ~x16145+4 ~x16144+2 ~x16143+1 ~x16142+536870912 ~x15451+268435456 ~x15450+134217728 ~x15449+67108864 ~x15448+33554432 ~x15447+16777216 ~x15446+8388608 ~x15445+4194304 ~x15444+2097152 ~x15443+1048576 ~x15442+524288 ~x15441+262144 ~x15440+131072 ~x15439+65536 ~x15438+32768 ~x15437+16384 ~x15436+8192 ~x15435+4096 ~x15434+2048 ~x15433+1024 ~x15432+512 ~x15431+256 ~x15430+128 ~x15429+64 ~x15428+32 ~x15427+16 ~x15426+8 ~x15425+4 ~x15424+2 ~x15423+1 ~x15422+536870912 ~x14731+268435456 ~x14730+134217728 ~x14729+67108864 ~x14728+33554432 ~x14727+16777216 ~x14726+8388608 ~x14725+4194304 ~x14724+2097152 ~x14723+1048576 ~x14722+524288 ~x14721+262144 ~x14720+131072 ~x14719+65536 ~x14718+32768 ~x14717+16384 ~x14716+8192 ~x14715+4096 ~x14714+2048 ~x14713+1024 ~x14712+512 ~x14711+256 ~x14710+128 ~x14709+64 ~x14708+32 ~x14707+16 ~x14706+8 ~x14705+4 ~x14704+2 ~x14703+1 ~x14702+536870912 x1771+268435456 x1770+134217728 x1769+67108864 x1768+33554432 x1767+16777216 x1766+8388608 x1765+4194304 x1764+2097152 x1763+1048576 x1762+524288 x1761+262144 x1760+131072 x1759+65536 x1758+32768 x1757+16384 x1756+8192 x1755+4096 x1754+2048 x1753+1024 x1752+512 x1751+256 x1750+128 x1749+64 x1748+32 x1747+16 x1746+8 x1745+4 x1744+2 x1743+1 x1742-0=7516192764
47.97/48.00	c 1073741824 ~x1666459+536870912 ~x1666458+268435456 ~x1666457+134217728 ~x1666456+67108864 ~x1666455+33554432 ~x1666454+16777216 ~x1666453+8388608 ~x1666452+4194304 ~x1666451+2097152 ~x1666450+1048576 ~x1666449+524288 ~x1666448+262144 ~x1666447+131072 ~x1666446+65536 ~x1666445+32768 ~x1666444+16384 ~x1666443+8192 ~x1666442+4096 ~x1666441+2048 ~x1666440+1024 ~x1666439+512 ~x1666438+256 ~x1666437+128 ~x1666436+64 ~x1666435+32 ~x1666434+16 ~x1666433+8 ~x1666432+4 ~x1666431+2 ~x1666430+1 ~x1666429+706560 x16790+706560 x16766+10240 ~x16670+536870912 ~x16231+268435456 ~x16230+134217728 ~x16229+67108864 ~x16228+33554432 ~x16227+16777216 ~x16226+8388608 ~x16225+4194304 ~x16224+2097152 ~x16223+1048576 ~x16222+524288 ~x16221+262144 ~x16220+131072 ~x16219+65536 ~x16218+32768 ~x16217+16384 ~x16216+8192 ~x16215+4096 ~x16214+2048 ~x16213+1024 ~x16212+512 ~x16211+256 ~x16210+128 ~x16209+64 ~x16208+32 ~x16207+16 ~x16206+8 ~x16205+4 ~x16204+2 ~x16203+1 ~x16202+536870912 ~x15511+268435456 ~x15510+134217728 ~x15509+67108864 ~x15508+33554432 ~x15507+16777216 ~x15506+8388608 ~x15505+4194304 ~x15504+2097152 ~x15503+1048576 ~x15502+524288 ~x15501+262144 ~x15500+131072 ~x15499+65536 ~x15498+32768 ~x15497+16384 ~x15496+8192 ~x15495+4096 ~x15494+2048 ~x15493+1024 ~x15492+512 ~x15491+256 ~x15490+128 ~x15489+64 ~x15488+32 ~x15487+16 ~x15486+8 ~x15485+4 ~x15484+2 ~x15483+1 ~x15482+536870912 x1831+268435456 x1830+134217728 x1829+67108864 x1828+33554432 x1827+16777216 x1826+8388608 x1825+4194304 x1824+2097152 x1823+1048576 x1822+524288 x1821+262144 x1820+131072 x1819+65536 x1818+32768 x1817+16384 x1816+8192 x1815+4096 x1814+2048 x1813+1024 x1812+512 x1811+256 x1810+128 x1809+64 x1808+32 x1807+16 x1806+8 x1805+4 x1804+2 x1803+1 x1802-0=4294967293
48.97/49.02	c 16384 ~x1711937+8192 ~x1711936+4096 ~x1711935+2048 ~x1711934+1024 ~x1711933+512 ~x1711932+256 ~x1711931+128 ~x1711930+64 ~x1711929+32 ~x1711928+16 ~x1711927+8 ~x1711926+4 ~x1711925+2 ~x1711924+1 ~x1711923+16384 x3466+8192 x3465+4096 x3464+2048 x3463+1024 x3462+512 x3461+256 x3460+128 x3459+64 x3458+32 x3457+16 x3456+8 x3455+4 x3454+2 x3453+1 x3452-0=55295
49.07/49.12	c 16384 ~x1715814+8192 ~x1715813+4096 ~x1715812+2048 ~x1715811+1024 ~x1715810+512 ~x1715809+256 ~x1715808+128 ~x1715807+64 ~x1715806+32 ~x1715805+16 ~x1715804+8 ~x1715803+4 ~x1715802+2 ~x1715801+1 ~x1715800+16384 x3646+8192 x3645+4096 x3644+2048 x3643+1024 x3642+512 x3641+256 x3640+128 x3639+64 x3638+32 x3637+16 x3636+8 x3635+4 x3634+2 x3633+1 x3632-0=53247
49.17/49.22	c 131072 ~x1719694+65536 ~x1719693+32768 ~x1719692+16384 ~x1719691+8192 ~x1719690+4096 ~x1719689+2048 ~x1719688+1024 ~x1719687+512 ~x1719686+256 ~x1719685+128 ~x1719684+64 ~x1719683+32 ~x1719682+16 ~x1719681+8 ~x1719680+4 ~x1719679+2 ~x1719678+1 ~x1719677+52224 x16639+110592 x16638+131072 x4399+65536 x4398+32768 x4397+16384 x4396+8192 x4395+4096 x4394+2048 x4393+1024 x4392+512 x4391+256 x4390+128 x4389+64 x4388+32 x4387+16 x4386+8 x4385+4 x4384+2 x4383+1 x4382-0=414719
49.27/49.38	c 131072 ~x1726442+65536 ~x1726441+32768 ~x1726440+16384 ~x1726439+8192 ~x1726438+4096 ~x1726437+2048 ~x1726436+1024 ~x1726435+512 ~x1726434+256 ~x1726433+128 ~x1726432+64 ~x1726431+32 ~x1726430+16 ~x1726429+8 ~x1726428+4 ~x1726427+2 ~x1726426+1 ~x1726425+110592 x16698+131072 x6199+65536 x6198+32768 x6197+16384 x6196+8192 x6195+4096 x6194+2048 x6193+1024 x6192+512 x6191+256 x6190+128 x6189+64 x6188+32 x6187+16 x6186+8 x6185+4 x6184+2 x6183+1 x6182+131072 x4039+65536 x4038+32768 x4037+16384 x4036+8192 x4035+4096 x4034+2048 x4033+1024 x4032+512 x4031+256 x4030+128 x4029+64 x4028+32 x4027+16 x4026+8 x4025+4 x4024+2 x4023+1 x4022+131072 x3319+65536 x3318+32768 x3317+16384 x3316+8192 x3315+4096 x3314+2048 x3313+1024 x3312+512 x3311+256 x3310+128 x3309+64 x3308+32 x3307+16 x3306+8 x3305+4 x3304+2 x3303+1 x3302-0=475135
49.67/49.71	c 65536 ~x1740539+32768 ~x1740538+16384 ~x1740537+8192 ~x1740536+4096 ~x1740535+2048 ~x1740534+1024 ~x1740533+512 ~x1740532+256 ~x1740531+128 ~x1740530+64 ~x1740529+32 ~x1740528+16 ~x1740527+8 ~x1740526+4 ~x1740525+2 ~x1740524+1 ~x1740523+65536 x7008+32768 x7007+16384 x7006+8192 x7005+4096 x7004+2048 x7003+1024 x7002+512 x7001+256 x7000+128 x6999+64 x6998+32 x6997+16 x6996+8 x6995+4 x6994+2 x6993+1 x6992+65536 x4848+32768 x4847+16384 x4846+8192 x4845+4096 x4844+2048 x4843+1024 x4842+512 x4841+256 x4840+128 x4839+64 x4838+32 x4837+16 x4836+8 x4835+4 x4834+2 x4833+1 x4832+65536 x4128+32768 x4127+16384 x4126+8192 x4125+4096 x4124+2048 x4123+1024 x4122+512 x4121+256 x4120+128 x4119+64 x4118+32 x4117+16 x4116+8 x4115+4 x4114+2 x4113+1 x4112-0=242687
49.97/50.01	c 524288 ~x1753589+262144 ~x1753588+131072 ~x1753587+65536 ~x1753586+32768 ~x1753585+16384 ~x1753584+8192 ~x1753583+4096 ~x1753582+2048 ~x1753581+1024 ~x1753580+512 ~x1753579+256 ~x1753578+128 ~x1753577+64 ~x1753576+32 ~x1753575+16 ~x1753574+8 ~x1753573+4 ~x1753572+2 ~x1753571+1 ~x1753570+185344 x16798+417792 x16797+524288 x9171+262144 x9170+131072 x9169+65536 x9168+32768 x9167+16384 x9166+8192 x9165+4096 x9164+2048 x9163+1024 x9162+512 x9161+256 x9160+128 x9159+64 x9158+32 x9157+16 x9156+8 x9155+4 x9154+2 x9153+1 x9152+524288 x7011+262144 x7010+131072 x7009+65536 x7008+32768 x7007+16384 x7006+8192 x7005+4096 x7004+2048 x7003+1024 x7002+512 x7001+256 x7000+128 x6999+64 x6998+32 x6997+16 x6996+8 x6995+4 x6994+2 x6993+1 x6992+524288 x6291+262144 x6290+131072 x6289+65536 x6288+32768 x6287+16384 x6286+8192 x6285+4096 x6284+2048 x6283+1024 x6282+512 x6281+256 x6280+128 x6279+64 x6278+32 x6277+16 x6276+8 x6275+4 x6274+2 x6273+1 x6272+524288 x4851+262144 x4850+131072 x4849+65536 x4848+32768 x4847+16384 x4846+8192 x4845+4096 x4844+2048 x4843+1024 x4842+512 x4841+256 x4840+128 x4839+64 x4838+32 x4837+16 x4836+8 x4835+4 x4834+2 x4833+1 x4832+524288 x4130+262144 x4129+131072 x4128+65536 x4127+32768 x4126+16384 x4125+8192 x4124+4096 x4123+2048 x4122+1024 x4121+512 x4120+256 x4119+128 x4118+64 x4117+32 x4116+16 x4115+8 x4114+4 x4113+2 x4112+524288 x3411+262144 x3410+131072 x3409+65536 x3408+32768 x3407+16384 x3406+8192 x3405+4096 x3404+2048 x3403+1024 x3402+512 x3401+256 x3400+128 x3399+64 x3398+32 x3397+16 x3396+8 x3395+4 x3394+2 x3393+1 x3392-0=1641471
50.67/50.72	c 1073741824 ~x1784007+536870912 ~x1784006+268435456 ~x1784005+134217728 ~x1784004+67108864 ~x1784003+33554432 ~x1784002+16777216 ~x1784001+8388608 ~x1784000+4194304 ~x1783999+2097152 ~x1783998+1048576 ~x1783997+524288 ~x1783996+262144 ~x1783995+131072 ~x1783994+65536 ~x1783993+32768 ~x1783992+16384 ~x1783991+8192 ~x1783990+4096 ~x1783989+2048 ~x1783988+1024 ~x1783987+512 ~x1783986+256 ~x1783985+128 ~x1783984+64 ~x1783983+32 ~x1783982+16 ~x1783981+8 ~x1783980+4 ~x1783979+2 ~x1783978+1 ~x1783977+107520 x16693+60416 x16598+10240 ~x16597+107520 x16573+536870912 ~x13321+268435456 ~x13320+134217728 ~x13319+67108864 ~x13318+33554432 ~x13317+16777216 ~x13316+8388608 ~x13315+4194304 ~x13314+2097152 ~x13313+1048576 ~x13312+524288 ~x13311+262144 ~x13310+131072 ~x13309+65536 ~x13308+32768 ~x13307+16384 ~x13306+8192 ~x13305+4096 ~x13304+2048 ~x13303+1024 ~x13302+512 ~x13301+256 ~x13300+128 ~x13299+64 ~x13298+32 ~x13297+16 ~x13296+8 ~x13295+4 ~x13294+2 ~x13293+1 ~x13292+536870912 ~x9721+268435456 ~x9720+134217728 ~x9719+67108864 ~x9718+33554432 ~x9717+16777216 ~x9716+8388608 ~x9715+4194304 ~x9714+2097152 ~x9713+1048576 ~x9712+524288 ~x9711+262144 ~x9710+131072 ~x9709+65536 ~x9708+32768 ~x9707+16384 ~x9706+8192 ~x9705+4096 ~x9704+2048 ~x9703+1024 ~x9702+512 ~x9701+256 ~x9700+128 ~x9699+64 ~x9698+32 ~x9697+16 ~x9696+8 ~x9695+4 ~x9694+2 ~x9693+1 ~x9692+536870912 x3211+268435456 x3210+134217728 x3209+67108864 x3208+33554432 x3207+16777216 x3206+8388608 x3205+4194304 x3204+2097152 x3203+1048576 x3202+524288 x3201+262144 x3200+131072 x3199+65536 x3198+32768 x3197+16384 x3196+8192 x3195+4096 x3194+2048 x3193+1024 x3192+512 x3191+256 x3190+128 x3189+64 x3188+32 x3187+16 x3186+8 x3185+4 x3184+2 x3183+1 x3182+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=4294967293
51.96/52.03	c 1073741824 ~x1841498+536870912 ~x1841497+268435456 ~x1841496+134217728 ~x1841495+67108864 ~x1841494+33554432 ~x1841493+16777216 ~x1841492+8388608 ~x1841491+4194304 ~x1841490+2097152 ~x1841489+1048576 ~x1841488+524288 ~x1841487+262144 ~x1841486+131072 ~x1841485+65536 ~x1841484+32768 ~x1841483+16384 ~x1841482+8192 ~x1841481+4096 ~x1841480+2048 ~x1841479+1024 ~x1841478+512 ~x1841477+256 ~x1841476+128 ~x1841475+64 ~x1841474+32 ~x1841473+16 ~x1841472+8 ~x1841471+4 ~x1841470+2 ~x1841469+1 ~x1841468+135168 x16695+45056 x16600+10240 ~x16599+135168 x16575+536870912 ~x13381+268435456 ~x13380+134217728 ~x13379+67108864 ~x13378+33554432 ~x13377+16777216 ~x13376+8388608 ~x13375+4194304 ~x13374+2097152 ~x13373+1048576 ~x13372+524288 ~x13371+262144 ~x13370+131072 ~x13369+65536 ~x13368+32768 ~x13367+16384 ~x13366+8192 ~x13365+4096 ~x13364+2048 ~x13363+1024 ~x13362+512 ~x13361+256 ~x13360+128 ~x13359+64 ~x13358+32 ~x13357+16 ~x13356+8 ~x13355+4 ~x13354+2 ~x13353+1 ~x13352+536870912 ~x9781+268435456 ~x9780+134217728 ~x9779+67108864 ~x9778+33554432 ~x9777+16777216 ~x9776+8388608 ~x9775+4194304 ~x9774+2097152 ~x9773+1048576 ~x9772+524288 ~x9771+262144 ~x9770+131072 ~x9769+65536 ~x9768+32768 ~x9767+16384 ~x9766+8192 ~x9765+4096 ~x9764+2048 ~x9763+1024 ~x9762+512 ~x9761+256 ~x9760+128 ~x9759+64 ~x9758+32 ~x9757+16 ~x9756+8 ~x9755+4 ~x9754+2 ~x9753+1 ~x9752+536870912 x3271+268435456 x3270+134217728 x3269+67108864 x3268+33554432 x3267+16777216 x3266+8388608 x3265+4194304 x3264+2097152 x3263+1048576 x3262+524288 x3261+262144 x3260+131072 x3259+65536 x3258+32768 x3257+16384 x3256+8192 x3255+4096 x3254+2048 x3253+1024 x3252+512 x3251+256 x3250+128 x3249+64 x3248+32 x3247+16 x3246+8 x3245+4 x3244+2 x3243+1 x3242+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=4294967293
53.27/53.34	c 536870912 ~x1898988+268435456 ~x1898987+134217728 ~x1898986+67108864 ~x1898985+33554432 ~x1898984+16777216 ~x1898983+8388608 ~x1898982+4194304 ~x1898981+2097152 ~x1898980+1048576 ~x1898979+524288 ~x1898978+262144 ~x1898977+131072 ~x1898976+65536 ~x1898975+32768 ~x1898974+16384 ~x1898973+8192 ~x1898972+4096 ~x1898971+2048 ~x1898970+1024 ~x1898969+512 ~x1898968+256 ~x1898967+128 ~x1898966+64 ~x1898965+32 ~x1898964+16 ~x1898963+8 ~x1898962+4 ~x1898961+2 ~x1898960+1 ~x1898959+195584 x16702+10240 ~x16606+536870912 ~x13591+268435456 ~x13590+134217728 ~x13589+67108864 ~x13588+33554432 ~x13587+16777216 ~x13586+8388608 ~x13585+4194304 ~x13584+2097152 ~x13583+1048576 ~x13582+524288 ~x13581+262144 ~x13580+131072 ~x13579+65536 ~x13578+32768 ~x13577+16384 ~x13576+8192 ~x13575+4096 ~x13574+2048 ~x13573+1024 ~x13572+512 ~x13571+256 ~x13570+128 ~x13569+64 ~x13568+32 ~x13567+16 ~x13566+8 ~x13565+4 ~x13564+2 ~x13563+1 ~x13562+536870912 x3481+268435456 x3480+134217728 x3479+67108864 x3478+33554432 x3477+16777216 x3476+8388608 x3475+4194304 x3474+2097152 x3473+1048576 x3472+524288 x3471+262144 x3470+131072 x3469+65536 x3468+32768 x3467+16384 x3466+8192 x3465+4096 x3464+2048 x3463+1024 x3462+512 x3461+256 x3460+128 x3459+64 x3458+32 x3457+16 x3456+8 x3455+4 x3454+2 x3453+1 x3452+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-0=2147483646
54.27/54.35	c 536870912 ~x1943707+268435456 ~x1943706+134217728 ~x1943705+67108864 ~x1943704+33554432 ~x1943703+16777216 ~x1943702+8388608 ~x1943701+4194304 ~x1943700+2097152 ~x1943699+1048576 ~x1943698+524288 ~x1943697+262144 ~x1943696+131072 ~x1943695+65536 ~x1943694+32768 ~x1943693+16384 ~x1943692+8192 ~x1943691+4096 ~x1943690+2048 ~x1943689+1024 ~x1943688+512 ~x1943687+256 ~x1943686+128 ~x1943685+64 ~x1943684+32 ~x1943683+16 ~x1943682+8 ~x1943681+4 ~x1943680+2 ~x1943679+1 ~x1943678+241664 x16708+41984 x16637+15360 ~x16636+536870912 ~x13771+268435456 ~x13770+134217728 ~x13769+67108864 ~x13768+33554432 ~x13767+16777216 ~x13766+8388608 ~x13765+4194304 ~x13764+2097152 ~x13763+1048576 ~x13762+524288 ~x13761+262144 ~x13760+131072 ~x13759+65536 ~x13758+32768 ~x13757+16384 ~x13756+8192 ~x13755+4096 ~x13754+2048 ~x13753+1024 ~x13752+512 ~x13751+256 ~x13750+128 ~x13749+64 ~x13748+32 ~x13747+16 ~x13746+8 ~x13745+4 ~x13744+2 ~x13743+1 ~x13742+536870912 x4381+268435456 x4380+134217728 x4379+67108864 x4378+33554432 x4377+16777216 x4376+8388608 x4375+4194304 x4374+2097152 x4373+1048576 x4372+524288 x4371+262144 x4370+131072 x4369+65536 x4368+32768 x4367+16384 x4366+8192 x4365+4096 x4364+2048 x4363+1024 x4362+512 x4361+256 x4360+128 x4359+64 x4358+32 x4357+16 x4356+8 x4355+4 x4354+2 x4353+1 x4352+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=2147483646
55.36/55.40	c 1073741824 ~x1988814+536870912 ~x1988813+268435456 ~x1988812+134217728 ~x1988811+67108864 ~x1988810+33554432 ~x1988809+16777216 ~x1988808+8388608 ~x1988807+4194304 ~x1988806+2097152 ~x1988805+1048576 ~x1988804+524288 ~x1988803+262144 ~x1988802+131072 ~x1988801+65536 ~x1988800+32768 ~x1988799+16384 ~x1988798+8192 ~x1988797+4096 ~x1988796+2048 ~x1988795+1024 ~x1988794+512 ~x1988793+256 ~x1988792+128 ~x1988791+64 ~x1988790+32 ~x1988789+16 ~x1988788+8 ~x1988787+4 ~x1988786+2 ~x1988785+1 ~x1988784+180224 x16718+169984 x16646+92160 x16623+15360 ~x16622+536870912 ~x14071+268435456 ~x14070+134217728 ~x14069+67108864 ~x14068+33554432 ~x14067+16777216 ~x14066+8388608 ~x14065+4194304 ~x14064+2097152 ~x14063+1048576 ~x14062+524288 ~x14061+262144 ~x14060+131072 ~x14059+65536 ~x14058+32768 ~x14057+16384 ~x14056+8192 ~x14055+4096 ~x14054+2048 ~x14053+1024 ~x14052+512 ~x14051+256 ~x14050+128 ~x14049+64 ~x14048+32 ~x14047+16 ~x14046+8 ~x14045+4 ~x14044+2 ~x14043+1 ~x14042+536870912 ~x11911+268435456 ~x11910+134217728 ~x11909+67108864 ~x11908+33554432 ~x11907+16777216 ~x11906+8388608 ~x11905+4194304 ~x11904+2097152 ~x11903+1048576 ~x11902+524288 ~x11901+262144 ~x11900+131072 ~x11899+65536 ~x11898+32768 ~x11897+16384 ~x11896+8192 ~x11895+4096 ~x11894+2048 ~x11893+1024 ~x11892+512 ~x11891+256 ~x11890+128 ~x11889+64 ~x11888+32 ~x11887+16 ~x11886+8 ~x11885+4 ~x11884+2 ~x11883+1 ~x11882+536870912 x3961+268435456 x3960+134217728 x3959+67108864 x3958+33554432 x3957+16777216 x3956+8388608 x3955+4194304 x3954+2097152 x3953+1048576 x3952+524288 x3951+262144 x3950+131072 x3949+65536 x3948+32768 x3947+16384 x3946+8192 x3945+4096 x3944+2048 x3943+1024 x3942+512 x3941+256 x3940+128 x3939+64 x3938+32 x3937+16 x3936+8 x3935+4 x3934+2 x3933+1 x3932+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=4294967293
56.67/56.70	c 536870912 ~x2046304+268435456 ~x2046303+134217728 ~x2046302+67108864 ~x2046301+33554432 ~x2046300+16777216 ~x2046299+8388608 ~x2046298+4194304 ~x2046297+2097152 ~x2046296+1048576 ~x2046295+524288 ~x2046294+262144 ~x2046293+131072 ~x2046292+65536 ~x2046291+32768 ~x2046290+16384 ~x2046289+8192 ~x2046288+4096 ~x2046287+2048 ~x2046286+1024 ~x2046285+512 ~x2046284+256 ~x2046283+128 ~x2046282+64 ~x2046281+32 ~x2046280+16 ~x2046279+8 ~x2046278+4 ~x2046277+2 ~x2046276+1 ~x2046275+706560 x16755+10240 ~x16659+536870912 ~x15181+268435456 ~x15180+134217728 ~x15179+67108864 ~x15178+33554432 ~x15177+16777216 ~x15176+8388608 ~x15175+4194304 ~x15174+2097152 ~x15173+1048576 ~x15172+524288 ~x15171+262144 ~x15170+131072 ~x15169+65536 ~x15168+32768 ~x15167+16384 ~x15166+8192 ~x15165+4096 ~x15164+2048 ~x15163+1024 ~x15162+512 ~x15161+256 ~x15160+128 ~x15159+64 ~x15158+32 ~x15157+16 ~x15156+8 ~x15155+4 ~x15154+2 ~x15153+1 ~x15152+536870912 x1501+268435456 x1500+134217728 x1499+67108864 x1498+33554432 x1497+16777216 x1496+8388608 x1495+4194304 x1494+2097152 x1493+1048576 x1492+524288 x1491+262144 x1490+131072 x1489+65536 x1488+32768 x1487+16384 x1486+8192 x1485+4096 x1484+2048 x1483+1024 x1482+512 x1481+256 x1480+128 x1479+64 x1478+32 x1477+16 x1476+8 x1475+4 x1474+2 x1473+1 x1472-0=2147483646
57.37/57.45	c 1073741824 ~x2079414+536870912 ~x2079413+268435456 ~x2079412+134217728 ~x2079411+67108864 ~x2079410+33554432 ~x2079409+16777216 ~x2079408+8388608 ~x2079407+4194304 ~x2079406+2097152 ~x2079405+1048576 ~x2079404+524288 ~x2079403+262144 ~x2079402+131072 ~x2079401+65536 ~x2079400+32768 ~x2079399+16384 ~x2079398+8192 ~x2079397+4096 ~x2079396+2048 ~x2079395+1024 ~x2079394+512 ~x2079393+256 ~x2079392+128 ~x2079391+64 ~x2079390+32 ~x2079389+16 ~x2079388+8 ~x2079387+4 ~x2079386+2 ~x2079385+1 ~x2079384+706560 x16791+706560 x16767+10240 ~x16671+536870912 ~x16261+268435456 ~x16260+134217728 ~x16259+67108864 ~x16258+33554432 ~x16257+16777216 ~x16256+8388608 ~x16255+4194304 ~x16254+2097152 ~x16253+1048576 ~x16252+524288 ~x16251+262144 ~x16250+131072 ~x16249+65536 ~x16248+32768 ~x16247+16384 ~x16246+8192 ~x16245+4096 ~x16244+2048 ~x16243+1024 ~x16242+512 ~x16241+256 ~x16240+128 ~x16239+64 ~x16238+32 ~x16237+16 ~x16236+8 ~x16235+4 ~x16234+2 ~x16233+1 ~x16232+536870912 ~x15541+268435456 ~x15540+134217728 ~x15539+67108864 ~x15538+33554432 ~x15537+16777216 ~x15536+8388608 ~x15535+4194304 ~x15534+2097152 ~x15533+1048576 ~x15532+524288 ~x15531+262144 ~x15530+131072 ~x15529+65536 ~x15528+32768 ~x15527+16384 ~x15526+8192 ~x15525+4096 ~x15524+2048 ~x15523+1024 ~x15522+512 ~x15521+256 ~x15520+128 ~x15519+64 ~x15518+32 ~x15517+16 ~x15516+8 ~x15515+4 ~x15514+2 ~x15513+1 ~x15512+536870912 x1861+268435456 x1860+134217728 x1859+67108864 x1858+33554432 x1857+16777216 x1856+8388608 x1855+4194304 x1854+2097152 x1853+1048576 x1852+524288 x1851+262144 x1850+131072 x1849+65536 x1848+32768 x1847+16384 x1846+8192 x1845+4096 x1844+2048 x1843+1024 x1842+512 x1841+256 x1840+128 x1839+64 x1838+32 x1837+16 x1836+8 x1835+4 x1834+2 x1833+1 x1832-0=4294967293
58.37/58.48	c 65536 ~x2124894+32768 ~x2124893+16384 ~x2124892+8192 ~x2124891+4096 ~x2124890+2048 ~x2124889+1024 ~x2124888+512 ~x2124887+256 ~x2124886+128 ~x2124885+64 ~x2124884+32 ~x2124883+16 ~x2124882+8 ~x2124881+4 ~x2124880+2 ~x2124879+1 ~x2124878+45056 x16600+65536 x3258+32768 x3257+16384 x3256+8192 x3255+4096 x3254+2048 x3253+1024 x3252+512 x3251+256 x3250+128 x3249+64 x3248+32 x3247+16 x3246+8 x3245+4 x3244+2 x3243+1 x3242-0=214015
58.56/58.60	c 16384 ~x2130012+8192 ~x2130011+4096 ~x2130010+2048 ~x2130009+1024 ~x2130008+512 ~x2130007+256 ~x2130006+128 ~x2130005+64 ~x2130004+32 ~x2130003+16 ~x2130002+8 ~x2130001+4 ~x2130000+2 ~x2129999+1 ~x2129998+16384 x3496+8192 x3495+4096 x3494+2048 x3493+1024 x3492+512 x3491+256 x3490+128 x3489+64 x3488+32 x3487+16 x3486+8 x3485+4 x3484+2 x3483+1 x3482-0=53247
58.56/58.69	c 131072 ~x2133892+65536 ~x2133891+32768 ~x2133890+16384 ~x2133889+8192 ~x2133888+4096 ~x2133887+2048 ~x2133886+1024 ~x2133885+512 ~x2133884+256 ~x2133883+128 ~x2133882+64 ~x2133881+32 ~x2133880+16 ~x2133879+8 ~x2133878+4 ~x2133877+2 ~x2133876+1 ~x2133875+92160 x16623+131072 x3949+65536 x3948+32768 x3947+16384 x3946+8192 x3945+4096 x3944+2048 x3943+1024 x3942+512 x3941+256 x3940+128 x3939+64 x3938+32 x3937+16 x3936+8 x3935+4 x3934+2 x3933+1 x3932-0=442367
58.77/58.86	c 524288 ~x2140432+262144 ~x2140431+131072 ~x2140430+65536 ~x2140429+32768 ~x2140428+16384 ~x2140427+8192 ~x2140426+4096 ~x2140425+2048 ~x2140424+1024 ~x2140423+512 ~x2140422+256 ~x2140421+128 ~x2140420+64 ~x2140419+32 ~x2140418+16 ~x2140417+8 ~x2140416+4 ~x2140415+2 ~x2140414+1 ~x2140413+153600 x16669+293888 x16668+456704 x16667+524288 x5271+262144 x5270+131072 x5269+65536 x5268+32768 x5267+16384 x5266+8192 x5265+4096 x5264+2048 x5263+1024 x5262+512 x5261+256 x5260+128 x5259+64 x5258+32 x5257+16 x5256+8 x5255+4 x5254+2 x5253+1 x5252+524288 x3111+262144 x3110+131072 x3109+65536 x3108+32768 x3107+16384 x3106+8192 x3105+4096 x3104+2048 x3103+1024 x3102+512 x3101+256 x3100+128 x3099+64 x3098+32 x3097+16 x3096+8 x3095+4 x3094+2 x3093+1 x3092+524288 x2391+262144 x2390+131072 x2389+65536 x2388+32768 x2387+16384 x2386+8192 x2385+4096 x2384+2048 x2383+1024 x2382+512 x2381+256 x2380+128 x2379+64 x2378+32 x2377+16 x2376+8 x2375+4 x2374+2 x2373+1 x2372-0=1668095
59.17/59.26	c 1073741824 ~x2157800+536870912 ~x2157799+268435456 ~x2157798+134217728 ~x2157797+67108864 ~x2157796+33554432 ~x2157795+16777216 ~x2157794+8388608 ~x2157793+4194304 ~x2157792+2097152 ~x2157791+1048576 ~x2157790+524288 ~x2157789+262144 ~x2157788+131072 ~x2157787+65536 ~x2157786+32768 ~x2157785+16384 ~x2157784+8192 ~x2157783+4096 ~x2157782+2048 ~x2157781+1024 ~x2157780+512 ~x2157779+256 ~x2157778+128 ~x2157777+64 ~x2157776+32 ~x2157775+16 ~x2157774+8 ~x2157773+4 ~x2157772+2 ~x2157771+1 ~x2157770+167936 x16685+23552 x16590+10240 ~x16589+167936 x16565+536870912 ~x13081+268435456 ~x13080+134217728 ~x13079+67108864 ~x13078+33554432 ~x13077+16777216 ~x13076+8388608 ~x13075+4194304 ~x13074+2097152 ~x13073+1048576 ~x13072+524288 ~x13071+262144 ~x13070+131072 ~x13069+65536 ~x13068+32768 ~x13067+16384 ~x13066+8192 ~x13065+4096 ~x13064+2048 ~x13063+1024 ~x13062+512 ~x13061+256 ~x13060+128 ~x13059+64 ~x13058+32 ~x13057+16 ~x13056+8 ~x13055+4 ~x13054+2 ~x13053+1 ~x13052+536870912 ~x9481+268435456 ~x9480+134217728 ~x9479+67108864 ~x9478+33554432 ~x9477+16777216 ~x9476+8388608 ~x9475+4194304 ~x9474+2097152 ~x9473+1048576 ~x9472+524288 ~x9471+262144 ~x9470+131072 ~x9469+65536 ~x9468+32768 ~x9467+16384 ~x9466+8192 ~x9465+4096 ~x9464+2048 ~x9463+1024 ~x9462+512 ~x9461+256 ~x9460+128 ~x9459+64 ~x9458+32 ~x9457+16 ~x9456+8 ~x9455+4 ~x9454+2 ~x9453+1 ~x9452+536870912 x2971+268435456 x2970+134217728 x2969+67108864 x2968+33554432 x2967+16777216 x2966+8388608 x2965+4194304 x2964+2097152 x2963+1048576 x2962+524288 x2961+262144 x2960+131072 x2959+65536 x2958+32768 x2957+16384 x2956+8192 x2955+4096 x2954+2048 x2953+1024 x2952+512 x2951+256 x2950+128 x2949+64 x2948+32 x2947+16 x2946+8 x2945+4 x2944+2 x2943+1 x2942+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=4294967293
60.48/60.57	c 536870912 ~x2215290+268435456 ~x2215289+134217728 ~x2215288+67108864 ~x2215287+33554432 ~x2215286+16777216 ~x2215285+8388608 ~x2215284+4194304 ~x2215283+2097152 ~x2215282+1048576 ~x2215281+524288 ~x2215280+262144 ~x2215279+131072 ~x2215278+65536 ~x2215277+32768 ~x2215276+16384 ~x2215275+8192 ~x2215274+4096 ~x2215273+2048 ~x2215272+1024 ~x2215271+512 ~x2215270+256 ~x2215269+128 ~x2215268+64 ~x2215267+32 ~x2215266+16 ~x2215265+8 ~x2215264+4 ~x2215263+2 ~x2215262+1 ~x2215261+50176 x16698+10240 ~x16602+10240 ~x16578+536870912 ~x13471+268435456 ~x13470+134217728 ~x13469+67108864 ~x13468+33554432 ~x13467+16777216 ~x13466+8388608 ~x13465+4194304 ~x13464+2097152 ~x13463+1048576 ~x13462+524288 ~x13461+262144 ~x13460+131072 ~x13459+65536 ~x13458+32768 ~x13457+16384 ~x13456+8192 ~x13455+4096 ~x13454+2048 ~x13453+1024 ~x13452+512 ~x13451+256 ~x13450+128 ~x13449+64 ~x13448+32 ~x13447+16 ~x13446+8 ~x13445+4 ~x13444+2 ~x13443+1 ~x13442+536870912 x3361+268435456 x3360+134217728 x3359+67108864 x3358+33554432 x3357+16777216 x3356+8388608 x3355+4194304 x3354+2097152 x3353+1048576 x3352+524288 x3351+262144 x3350+131072 x3349+65536 x3348+32768 x3347+16384 x3346+8192 x3345+4096 x3344+2048 x3343+1024 x3342+512 x3341+256 x3340+128 x3339+64 x3338+32 x3337+16 x3336+8 x3335+4 x3334+2 x3333+1 x3332+536870912 x2641+268435456 x2640+134217728 x2639+67108864 x2638+33554432 x2637+16777216 x2636+8388608 x2635+4194304 x2634+2097152 x2633+1048576 x2632+524288 x2631+262144 x2630+131072 x2629+65536 x2628+32768 x2627+16384 x2626+8192 x2625+4096 x2624+2048 x2623+1024 x2622+512 x2621+256 x2620+128 x2619+64 x2618+32 x2617+16 x2616+8 x2615+4 x2614+2 x2613+1 x2612+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=2147483646
61.77/61.86	c 536870912 ~x2272006+268435456 ~x2272005+134217728 ~x2272004+67108864 ~x2272003+33554432 ~x2272002+16777216 ~x2272001+8388608 ~x2272000+4194304 ~x2271999+2097152 ~x2271998+1048576 ~x2271997+524288 ~x2271996+262144 ~x2271995+131072 ~x2271994+65536 ~x2271993+32768 ~x2271992+16384 ~x2271991+8192 ~x2271990+4096 ~x2271989+2048 ~x2271988+1024 ~x2271987+512 ~x2271986+256 ~x2271985+128 ~x2271984+64 ~x2271983+32 ~x2271982+16 ~x2271981+8 ~x2271980+4 ~x2271979+2 ~x2271978+1 ~x2271977+66560 x16722+15360 ~x16650+52224 x16627+15360 ~x16626+536870912 ~x14191+268435456 ~x14190+134217728 ~x14189+67108864 ~x14188+33554432 ~x14187+16777216 ~x14186+8388608 ~x14185+4194304 ~x14184+2097152 ~x14183+1048576 ~x14182+524288 ~x14181+262144 ~x14180+131072 ~x14179+65536 ~x14178+32768 ~x14177+16384 ~x14176+8192 ~x14175+4096 ~x14174+2048 ~x14173+1024 ~x14172+512 ~x14171+256 ~x14170+128 ~x14169+64 ~x14168+32 ~x14167+16 ~x14166+8 ~x14165+4 ~x14164+2 ~x14163+1 ~x14162+536870912 x4801+268435456 x4800+134217728 x4799+67108864 x4798+33554432 x4797+16777216 x4796+8388608 x4795+4194304 x4794+2097152 x4793+1048576 x4792+524288 x4791+262144 x4790+131072 x4789+65536 x4788+32768 x4787+16384 x4786+8192 x4785+4096 x4784+2048 x4783+1024 x4782+512 x4781+256 x4780+128 x4779+64 x4778+32 x4777+16 x4776+8 x4775+4 x4774+2 x4773+1 x4772+536870912 x4081+268435456 x4080+134217728 x4079+67108864 x4078+33554432 x4077+16777216 x4076+8388608 x4075+4194304 x4074+2097152 x4073+1048576 x4072+524288 x4071+262144 x4070+131072 x4069+65536 x4068+32768 x4067+16384 x4066+8192 x4065+4096 x4064+2048 x4063+1024 x4062+512 x4061+256 x4060+128 x4059+64 x4058+32 x4057+16 x4056+8 x4055+4 x4054+2 x4053+1 x4052+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=2147483646
63.06/63.16	c 536870912 ~x2329109+268435456 ~x2329108+134217728 ~x2329107+67108864 ~x2329106+33554432 ~x2329105+16777216 ~x2329104+8388608 ~x2329103+4194304 ~x2329102+2097152 ~x2329101+1048576 ~x2329100+524288 ~x2329099+262144 ~x2329098+131072 ~x2329097+65536 ~x2329096+32768 ~x2329095+16384 ~x2329094+8192 ~x2329093+4096 ~x2329092+2048 ~x2329091+1024 ~x2329090+512 ~x2329089+256 ~x2329088+128 ~x2329087+64 ~x2329086+32 ~x2329085+16 ~x2329084+8 ~x2329083+4 ~x2329082+2 ~x2329081+1 ~x2329080+81920 x16724+95232 x16653+15360 ~x16652+56320 x16629+15360 ~x16628+536870912 ~x14251+268435456 ~x14250+134217728 ~x14249+67108864 ~x14248+33554432 ~x14247+16777216 ~x14246+8388608 ~x14245+4194304 ~x14244+2097152 ~x14243+1048576 ~x14242+524288 ~x14241+262144 ~x14240+131072 ~x14239+65536 ~x14238+32768 ~x14237+16384 ~x14236+8192 ~x14235+4096 ~x14234+2048 ~x14233+1024 ~x14232+512 ~x14231+256 ~x14230+128 ~x14229+64 ~x14228+32 ~x14227+16 ~x14226+8 ~x14225+4 ~x14224+2 ~x14223+1 ~x14222+536870912 x4861+268435456 x4860+134217728 x4859+67108864 x4858+33554432 x4857+16777216 x4856+8388608 x4855+4194304 x4854+2097152 x4853+1048576 x4852+524288 x4851+262144 x4850+131072 x4849+65536 x4848+32768 x4847+16384 x4846+8192 x4845+4096 x4844+2048 x4843+1024 x4842+512 x4841+256 x4840+128 x4839+64 x4838+32 x4837+16 x4836+8 x4835+4 x4834+2 x4833+1 x4832+536870912 x4141+268435456 x4140+134217728 x4139+67108864 x4138+33554432 x4137+16777216 x4136+8388608 x4135+4194304 x4134+2097152 x4133+1048576 x4132+524288 x4131+262144 x4130+131072 x4129+65536 x4128+32768 x4127+16384 x4126+8192 x4125+4096 x4124+2048 x4123+1024 x4122+512 x4121+256 x4120+128 x4119+64 x4118+32 x4117+16 x4116+8 x4115+4 x4114+2 x4113+1 x4112+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+1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2673746-1276799597/watcher-2673746-1276799597 -o /tmp/evaluation-result-2673746-1276799597/solver-2673746-1276799597 -C 1800 -W 2000 -M 1800 run HOME/instance-2673746-1276799597.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.97 0.99 0.99 3/106 18506
/proc/meminfo: memFree=1849960/2059040 swapFree=4140132/4192956
[pid=18506] ppid=18504 vsize=8700 CPUtime=0
/proc/18506/stat : 18506 (run) S 18504 18506 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55563178 8908800 251 1992294400 4194304 4922060 140735210716480 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18506/statm: 2175 251 211 178 0 68 0

[startup+0.0953011 s]
/proc/loadavg: 0.97 0.99 0.99 3/106 18506
/proc/meminfo: memFree=1849960/2059040 swapFree=4140132/4192956
[pid=18506] ppid=18504 vsize=8700 CPUtime=0
/proc/18506/stat : 18506 (run) S 18504 18506 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55563178 8908800 251 1992294400 4194304 4922060 140735210716480 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18506/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101302 s]
/proc/loadavg: 0.97 0.99 0.99 3/106 18506
/proc/meminfo: memFree=1849960/2059040 swapFree=4140132/4192956
[pid=18506] ppid=18504 vsize=8700 CPUtime=0
/proc/18506/stat : 18506 (run) S 18504 18506 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55563178 8908800 251 1992294400 4194304 4922060 140735210716480 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18506/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.30134 s]
/proc/loadavg: 0.97 0.99 0.99 3/106 18506
/proc/meminfo: memFree=1849960/2059040 swapFree=4140132/4192956
[pid=18506] ppid=18504 vsize=8700 CPUtime=0
/proc/18506/stat : 18506 (run) S 18504 18506 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55563178 8908800 251 1992294400 4194304 4922060 140735210716480 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18506/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701413 s]
/proc/loadavg: 0.97 0.99 0.99 3/106 18506
/proc/meminfo: memFree=1849960/2059040 swapFree=4140132/4192956
[pid=18506] ppid=18504 vsize=8700 CPUtime=0
/proc/18506/stat : 18506 (run) S 18504 18506 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55563178 8908800 251 1992294400 4194304 4922060 140735210716480 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18506/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50156 s]
/proc/loadavg: 0.97 0.99 0.99 2/108 18509
/proc/meminfo: memFree=1690976/2059040 swapFree=4140132/4192956
[pid=18506] ppid=18504 vsize=8700 CPUtime=0
/proc/18506/stat : 18506 (run) S 18504 18506 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55563178 8908800 251 1992294400 4194304 4922060 140735210716480 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18506/statm: 2175 251 211 178 0 68 0
[pid=18508] ppid=18506 vsize=237924 CPUtime=1.49
/proc/18508/stat : 18508 (PBPASSolver) R 18506 18506 18449 0 -1 4202496 59392 0 0 0 60 89 0 0 25 0 1 0 55563178 243634176 58890 1992294400 134512640 134902295 4290730688 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18508/statm: 59481 58890 256 96 0 58693 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 246624

[startup+3.10086 s]
/proc/loadavg: 0.97 0.99 0.99 2/108 18509
/proc/meminfo: memFree=1529156/2059040 swapFree=4140132/4192956
[pid=18506] ppid=18504 vsize=8700 CPUtime=0
/proc/18506/stat : 18506 (run) S 18504 18506 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55563178 8908800 251 1992294400 4194304 4922060 140735210716480 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18506/statm: 2175 251 211 178 0 68 0
[pid=18508] ppid=18506 vsize=457188 CPUtime=3.08
/proc/18508/stat : 18508 (PBPASSolver) R 18506 18506 18449 0 -1 4202496 114185 0 0 0 138 170 0 0 25 0 1 0 55563178 468160512 113683 1992294400 134512640 134902295 4290730688 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18508/statm: 114297 113683 256 96 0 113509 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 465888

[startup+6.30145 s]
/proc/loadavg: 0.97 0.99 0.99 2/108 18509
/proc/meminfo: memFree=1100984/2059040 swapFree=4140132/4192956
[pid=18506] ppid=18504 vsize=8700 CPUtime=0
/proc/18506/stat : 18506 (run) S 18504 18506 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55563178 8908800 251 1992294400 4194304 4922060 140735210716480 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18506/statm: 2175 251 211 178 0 68 0
[pid=18508] ppid=18506 vsize=848420 CPUtime=6.29
/proc/18508/stat : 18508 (PBPASSolver) R 18506 18506 18449 0 -1 4202496 212002 0 0 0 307 322 0 0 25 0 1 0 55563178 868782080 211500 1992294400 134512640 134902295 4290730688 18446744073709551615 134893982 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18508/statm: 212105 211500 259 96 0 211317 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 857120

[startup+12.7006 s]
/proc/loadavg: 0.98 0.99 0.99 2/108 18509
/proc/meminfo: memFree=963468/2059040 swapFree=4140132/4192956
[pid=18506] ppid=18504 vsize=8700 CPUtime=0
/proc/18506/stat : 18506 (run) S 18504 18506 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55563178 8908800 251 1992294400 4194304 4922060 140735210716480 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18506/statm: 2175 251 211 178 0 68 0
[pid=18508] ppid=18506 vsize=902356 CPUtime=12.69
/proc/18508/stat : 18508 (PBPASSolver) R 18506 18506 18449 0 -1 4202496 250894 0 0 0 928 341 0 0 25 0 1 0 55563178 924012544 224365 1992294400 134512640 134902295 4290730688 18446744073709551615 4159871890 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18508/statm: 225589 224365 262 96 0 224801 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 911056

[startup+25.501 s]
/proc/loadavg: 0.98 0.99 0.99 2/108 18509
/proc/meminfo: memFree=723280/2059040 swapFree=4140132/4192956
[pid=18506] ppid=18504 vsize=8700 CPUtime=0
/proc/18506/stat : 18506 (run) S 18504 18506 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55563178 8908800 251 1992294400 4194304 4922060 140735210716480 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18506/statm: 2175 251 211 178 0 68 0
[pid=18508] ppid=18506 vsize=1137220 CPUtime=25.48
/proc/18508/stat : 18508 (PBPASSolver) R 18506 18506 18449 0 -1 4202496 310184 0 0 0 2184 364 0 0 25 0 1 0 55563178 1164513280 282450 1992294400 134512640 134902295 4290730688 18446744073709551615 4159870793 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18508/statm: 284305 282450 262 96 0 283517 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1145920

[startup+51.1017 s]
/proc/loadavg: 0.98 0.99 0.99 2/108 18509
/proc/meminfo: memFree=271796/2059040 swapFree=4140132/4192956
[pid=18506] ppid=18504 vsize=8700 CPUtime=0
/proc/18506/stat : 18506 (run) S 18504 18506 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55563178 8908800 251 1992294400 4194304 4922060 140735210716480 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18506/statm: 2175 251 211 178 0 68 0
[pid=18508] ppid=18506 vsize=1634692 CPUtime=51.07
/proc/18508/stat : 18508 (PBPASSolver) R 18506 18506 18449 0 -1 4202496 427242 0 0 0 4694 413 0 0 25 0 1 0 55563178 1673924608 396198 1992294400 134512640 134902295 4290730688 18446744073709551615 4159872563 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18508/statm: 408673 396198 262 96 0 407885 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1643392



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+64.0011 s]
/proc/loadavg: 0.99 0.99 0.99 2/108 18509
/proc/meminfo: memFree=28508/2059040 swapFree=4140132/4192956
[pid=18506] ppid=18504 vsize=8700 CPUtime=0
/proc/18506/stat : 18506 (run) S 18504 18506 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55563178 8908800 251 1992294400 4194304 4922060 140735210716480 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18506/statm: 2175 251 211 178 0 68 0
[pid=18508] ppid=18506 vsize=1864300 CPUtime=63.97
/proc/18508/stat : 18508 (PBPASSolver) R 18506 18506 18449 0 -1 4202496 485954 0 0 0 5958 439 0 0 25 0 1 0 55563178 1909043200 454582 1992294400 134512640 134902295 4290730688 18446744073709551615 2946556 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18508/statm: 466075 454582 262 96 0 465287 0
Current children cumulated CPU time (s) 63.97
Current children cumulated vsize (KiB) 1873000

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18506 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 63.97
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 64.0144
CPU time (s): 63.97
CPU user time (s): 59.58
CPU system time (s): 4.39
CPU usage (%): 99.9307
Max. virtual memory (cumulated for all children) (KiB): 1873000

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= 524
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3

runsolver used 0.117982 second user time and 0.318951 second system time

The end

Launcher Data 

Begin job on node007 at 2010-06-17 20:33:17
IDJOB=2673746
IDBENCH=2358
IDSOLVER=1174
FILE ID=node007/2673746-1276799597
PBS_JOBID= 11176671
Free space on /tmp= 62488 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-bg512142.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673746-1276799597/watcher-2673746-1276799597 -o /tmp/evaluation-result-2673746-1276799597/solver-2673746-1276799597 -C 1800 -W 2000 -M 1800  run HOME/instance-2673746-1276799597.opb

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

MD5SUM BENCH= bc049badf8b0b6990d4dd6f2aa909c41
RANDOM SEED=2142245537

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1851200 kB
Buffers:         30544 kB
Cached:          81720 kB
SwapCached:       6616 kB
Active:          29676 kB
Inactive:        96192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1851200 kB
SwapTotal:     4192956 kB
SwapFree:      4140132 kB
Dirty:            1796 kB
Writeback:           0 kB
AnonPages:       11896 kB
Mapped:          12936 kB
Slab:            60264 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181040 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= 62484 MiB
End job on node007 at 2010-06-17 20:34:23