Trace number 2673797

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) 78.76 78.9142

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-blend2.opb
MD5SUM583b02132cd61d8427630f4009f80dd3
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark46020508
Best CPU time to get the best result obtained on this benchmark1800.37
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 33023540
Optimality of the best value was proved NO
Number of variables2944
Total number of constraints214
Number of constraints which are clauses9
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints205
Minimum length of a constraint1
Maximum length of a constraint2659
Number of terms in the objective function 88
Biggest coefficient in the objective function 24014225
Number of bits for the biggest coefficient in the objective function 25
Sum of the numbers in the objective function 235593725
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 8935312239624192
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 1346963845029350184
Number of bits of the biggest sum of numbers61
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

2.10/2.27	c 2944 214 0 0 0 0 0 0
2.10/2.27	c 2 ~x2957+1 ~x2956+2 ~x66+1 ~x65-0=6
2.10/2.27	c 2 ~x2986+1 ~x2985+2 ~x84+1 ~x83-0=6
2.10/2.27	c 2 ~x3015+1 ~x3014+2 ~x98+1 ~x97-0=6
2.10/2.27	c 8192 ~x3058+4096 ~x3057+2048 ~x3056+1024 ~x3055+512 ~x3054+256 ~x3053+128 ~x3052+64 ~x3051+32 ~x3050+16 ~x3049+8 ~x3048+4 ~x3047+2 ~x3046+1 ~x3045+8192 ~x2852+4096 ~x2851+2048 ~x2850+1024 ~x2849+512 ~x2848+256 ~x2847+128 ~x2846+64 ~x2845+32 ~x2844+16 ~x2843+8 ~x2842+4 ~x2841+2 ~x2840+1 ~x2839-0=28670
2.29/2.44	c 536870912 ~x10319+268435456 ~x10318+134217728 ~x10317+67108864 ~x10316+33554432 ~x10315+16777216 ~x10314+8388608 ~x10313+4194304 ~x10312+2097152 ~x10311+1048576 ~x10310+524288 ~x10309+262144 ~x10308+131072 ~x10307+65536 ~x10306+32768 ~x10305+16384 ~x10304+8192 ~x10303+4096 ~x10302+2048 ~x10301+1024 ~x10300+512 ~x10299+256 ~x10298+128 ~x10297+64 ~x10296+32 ~x10295+16 ~x10294+8 ~x10293+4 ~x10292+2 ~x10291+1 ~x10290+1024000 x2868+536870912 ~x528+268435456 ~x527+134217728 ~x526+67108864 ~x525+33554432 ~x524+16777216 ~x523+8388608 ~x522+4194304 ~x521+2097152 ~x520+1048576 ~x519+524288 ~x518+262144 ~x517+131072 ~x516+65536 ~x515+32768 ~x514+16384 ~x513+8192 ~x512+4096 ~x511+2048 ~x510+1024 ~x509+512 ~x508+256 ~x507+128 ~x506+64 ~x505+32 ~x504+16 ~x503+8 ~x502+4 ~x501+2 ~x500+1 ~x499-0=2147483646
2.69/2.84	c 536870912 ~x28547+268435456 ~x28546+134217728 ~x28545+67108864 ~x28544+33554432 ~x28543+16777216 ~x28542+8388608 ~x28541+4194304 ~x28540+2097152 ~x28539+1048576 ~x28538+524288 ~x28537+262144 ~x28536+131072 ~x28535+65536 ~x28534+32768 ~x28533+16384 ~x28532+8192 ~x28531+4096 ~x28530+2048 ~x28529+1024 ~x28528+512 ~x28527+256 ~x28526+128 ~x28525+64 ~x28524+32 ~x28523+16 ~x28522+8 ~x28521+4 ~x28520+2 ~x28519+1 ~x28518+1112064 x2869+536870912 ~x558+268435456 ~x557+134217728 ~x556+67108864 ~x555+33554432 ~x554+16777216 ~x553+8388608 ~x552+4194304 ~x551+2097152 ~x550+1048576 ~x549+524288 ~x548+262144 ~x547+131072 ~x546+65536 ~x545+32768 ~x544+16384 ~x543+8192 ~x542+4096 ~x541+2048 ~x540+1024 ~x539+512 ~x538+256 ~x537+128 ~x536+64 ~x535+32 ~x534+16 ~x533+8 ~x532+4 ~x531+2 ~x530+1 ~x529-0=2147483646
3.20/3.30	c 536870912 ~x46775+268435456 ~x46774+134217728 ~x46773+67108864 ~x46772+33554432 ~x46771+16777216 ~x46770+8388608 ~x46769+4194304 ~x46768+2097152 ~x46767+1048576 ~x46766+524288 ~x46765+262144 ~x46764+131072 ~x46763+65536 ~x46762+32768 ~x46761+16384 ~x46760+8192 ~x46759+4096 ~x46758+2048 ~x46757+1024 ~x46756+512 ~x46755+256 ~x46754+128 ~x46753+64 ~x46752+32 ~x46751+16 ~x46750+8 ~x46749+4 ~x46748+2 ~x46747+1 ~x46746+3072000 x2870+536870912 ~x588+268435456 ~x587+134217728 ~x586+67108864 ~x585+33554432 ~x584+16777216 ~x583+8388608 ~x582+4194304 ~x581+2097152 ~x580+1048576 ~x579+524288 ~x578+262144 ~x577+131072 ~x576+65536 ~x575+32768 ~x574+16384 ~x573+8192 ~x572+4096 ~x571+2048 ~x570+1024 ~x569+512 ~x568+256 ~x567+128 ~x566+64 ~x565+32 ~x564+16 ~x563+8 ~x562+4 ~x561+2 ~x560+1 ~x559-0=2147483646
3.69/3.81	c 536870912 ~x65003+268435456 ~x65002+134217728 ~x65001+67108864 ~x65000+33554432 ~x64999+16777216 ~x64998+8388608 ~x64997+4194304 ~x64996+2097152 ~x64995+1048576 ~x64994+524288 ~x64993+262144 ~x64992+131072 ~x64991+65536 ~x64990+32768 ~x64989+16384 ~x64988+8192 ~x64987+4096 ~x64986+2048 ~x64985+1024 ~x64984+512 ~x64983+256 ~x64982+128 ~x64981+64 ~x64980+32 ~x64979+16 ~x64978+8 ~x64977+4 ~x64976+2 ~x64975+1 ~x64974+2106368 x2871+536870912 ~x618+268435456 ~x617+134217728 ~x616+67108864 ~x615+33554432 ~x614+16777216 ~x613+8388608 ~x612+4194304 ~x611+2097152 ~x610+1048576 ~x609+524288 ~x608+262144 ~x607+131072 ~x606+65536 ~x605+32768 ~x604+16384 ~x603+8192 ~x602+4096 ~x601+2048 ~x600+1024 ~x599+512 ~x598+256 ~x597+128 ~x596+64 ~x595+32 ~x594+16 ~x593+8 ~x592+4 ~x591+2 ~x590+1 ~x589-0=2147483646
4.09/4.25	c 536870912 ~x83231+268435456 ~x83230+134217728 ~x83229+67108864 ~x83228+33554432 ~x83227+16777216 ~x83226+8388608 ~x83225+4194304 ~x83224+2097152 ~x83223+1048576 ~x83222+524288 ~x83221+262144 ~x83220+131072 ~x83219+65536 ~x83218+32768 ~x83217+16384 ~x83216+8192 ~x83215+4096 ~x83214+2048 ~x83213+1024 ~x83212+512 ~x83211+256 ~x83210+128 ~x83209+64 ~x83208+32 ~x83207+16 ~x83206+8 ~x83205+4 ~x83204+2 ~x83203+1 ~x83202+2113536 x2872+536870912 ~x648+268435456 ~x647+134217728 ~x646+67108864 ~x645+33554432 ~x644+16777216 ~x643+8388608 ~x642+4194304 ~x641+2097152 ~x640+1048576 ~x639+524288 ~x638+262144 ~x637+131072 ~x636+65536 ~x635+32768 ~x634+16384 ~x633+8192 ~x632+4096 ~x631+2048 ~x630+1024 ~x629+512 ~x628+256 ~x627+128 ~x626+64 ~x625+32 ~x624+16 ~x623+8 ~x622+4 ~x621+2 ~x620+1 ~x619-0=2147483646
4.49/4.65	c 536870912 ~x101459+268435456 ~x101458+134217728 ~x101457+67108864 ~x101456+33554432 ~x101455+16777216 ~x101454+8388608 ~x101453+4194304 ~x101452+2097152 ~x101451+1048576 ~x101450+524288 ~x101449+262144 ~x101448+131072 ~x101447+65536 ~x101446+32768 ~x101445+16384 ~x101444+8192 ~x101443+4096 ~x101442+2048 ~x101441+1024 ~x101440+512 ~x101439+256 ~x101438+128 ~x101437+64 ~x101436+32 ~x101435+16 ~x101434+8 ~x101433+4 ~x101432+2 ~x101431+1 ~x101430+2004992 x2873+536870912 ~x678+268435456 ~x677+134217728 ~x676+67108864 ~x675+33554432 ~x674+16777216 ~x673+8388608 ~x672+4194304 ~x671+2097152 ~x670+1048576 ~x669+524288 ~x668+262144 ~x667+131072 ~x666+65536 ~x665+32768 ~x664+16384 ~x663+8192 ~x662+4096 ~x661+2048 ~x660+1024 ~x659+512 ~x658+256 ~x657+128 ~x656+64 ~x655+32 ~x654+16 ~x653+8 ~x652+4 ~x651+2 ~x650+1 ~x649-0=2147483646
4.90/5.04	c 536870912 ~x119687+268435456 ~x119686+134217728 ~x119685+67108864 ~x119684+33554432 ~x119683+16777216 ~x119682+8388608 ~x119681+4194304 ~x119680+2097152 ~x119679+1048576 ~x119678+524288 ~x119677+262144 ~x119676+131072 ~x119675+65536 ~x119674+32768 ~x119673+16384 ~x119672+8192 ~x119671+4096 ~x119670+2048 ~x119669+1024 ~x119668+512 ~x119667+256 ~x119666+128 ~x119665+64 ~x119664+32 ~x119663+16 ~x119662+8 ~x119661+4 ~x119660+2 ~x119659+1 ~x119658+1502208 x2874+536870912 ~x708+268435456 ~x707+134217728 ~x706+67108864 ~x705+33554432 ~x704+16777216 ~x703+8388608 ~x702+4194304 ~x701+2097152 ~x700+1048576 ~x699+524288 ~x698+262144 ~x697+131072 ~x696+65536 ~x695+32768 ~x694+16384 ~x693+8192 ~x692+4096 ~x691+2048 ~x690+1024 ~x689+512 ~x688+256 ~x687+128 ~x686+64 ~x685+32 ~x684+16 ~x683+8 ~x682+4 ~x681+2 ~x680+1 ~x679-0=2147483646
5.29/5.43	c 536870912 ~x137915+268435456 ~x137914+134217728 ~x137913+67108864 ~x137912+33554432 ~x137911+16777216 ~x137910+8388608 ~x137909+4194304 ~x137908+2097152 ~x137907+1048576 ~x137906+524288 ~x137905+262144 ~x137904+131072 ~x137903+65536 ~x137902+32768 ~x137901+16384 ~x137900+8192 ~x137899+4096 ~x137898+2048 ~x137897+1024 ~x137896+512 ~x137895+256 ~x137894+128 ~x137893+64 ~x137892+32 ~x137891+16 ~x137890+8 ~x137889+4 ~x137888+2 ~x137887+1 ~x137886+2281472 x2875+536870912 ~x738+268435456 ~x737+134217728 ~x736+67108864 ~x735+33554432 ~x734+16777216 ~x733+8388608 ~x732+4194304 ~x731+2097152 ~x730+1048576 ~x729+524288 ~x728+262144 ~x727+131072 ~x726+65536 ~x725+32768 ~x724+16384 ~x723+8192 ~x722+4096 ~x721+2048 ~x720+1024 ~x719+512 ~x718+256 ~x717+128 ~x716+64 ~x715+32 ~x714+16 ~x713+8 ~x712+4 ~x711+2 ~x710+1 ~x709-0=2147483646
5.69/5.82	c 536870912 ~x156143+268435456 ~x156142+134217728 ~x156141+67108864 ~x156140+33554432 ~x156139+16777216 ~x156138+8388608 ~x156137+4194304 ~x156136+2097152 ~x156135+1048576 ~x156134+524288 ~x156133+262144 ~x156132+131072 ~x156131+65536 ~x156130+32768 ~x156129+16384 ~x156128+8192 ~x156127+4096 ~x156126+2048 ~x156125+1024 ~x156124+512 ~x156123+256 ~x156122+128 ~x156121+64 ~x156120+32 ~x156119+16 ~x156118+8 ~x156117+4 ~x156116+2 ~x156115+1 ~x156114+2324480 x2876+536870912 ~x768+268435456 ~x767+134217728 ~x766+67108864 ~x765+33554432 ~x764+16777216 ~x763+8388608 ~x762+4194304 ~x761+2097152 ~x760+1048576 ~x759+524288 ~x758+262144 ~x757+131072 ~x756+65536 ~x755+32768 ~x754+16384 ~x753+8192 ~x752+4096 ~x751+2048 ~x750+1024 ~x749+512 ~x748+256 ~x747+128 ~x746+64 ~x745+32 ~x744+16 ~x743+8 ~x742+4 ~x741+2 ~x740+1 ~x739-0=2147483646
6.09/6.21	c 536870912 ~x174371+268435456 ~x174370+134217728 ~x174369+67108864 ~x174368+33554432 ~x174367+16777216 ~x174366+8388608 ~x174365+4194304 ~x174364+2097152 ~x174363+1048576 ~x174362+524288 ~x174361+262144 ~x174360+131072 ~x174359+65536 ~x174358+32768 ~x174357+16384 ~x174356+8192 ~x174355+4096 ~x174354+2048 ~x174353+1024 ~x174352+512 ~x174351+256 ~x174350+128 ~x174349+64 ~x174348+32 ~x174347+16 ~x174346+8 ~x174345+4 ~x174344+2 ~x174343+1 ~x174342+2180096 x2877+536870912 ~x798+268435456 ~x797+134217728 ~x796+67108864 ~x795+33554432 ~x794+16777216 ~x793+8388608 ~x792+4194304 ~x791+2097152 ~x790+1048576 ~x789+524288 ~x788+262144 ~x787+131072 ~x786+65536 ~x785+32768 ~x784+16384 ~x783+8192 ~x782+4096 ~x781+2048 ~x780+1024 ~x779+512 ~x778+256 ~x777+128 ~x776+64 ~x775+32 ~x774+16 ~x773+8 ~x772+4 ~x771+2 ~x770+1 ~x769-0=2147483646
6.50/6.68	c 536870912 ~x195848+268435456 ~x195847+134217728 ~x195846+67108864 ~x195845+33554432 ~x195844+16777216 ~x195843+8388608 ~x195842+4194304 ~x195841+2097152 ~x195840+1048576 ~x195839+524288 ~x195838+262144 ~x195837+131072 ~x195836+65536 ~x195835+32768 ~x195834+16384 ~x195833+8192 ~x195832+4096 ~x195831+2048 ~x195830+1024 ~x195829+512 ~x195828+256 ~x195827+128 ~x195826+64 ~x195825+32 ~x195824+16 ~x195823+8 ~x195822+4 ~x195821+2 ~x195820+1 ~x195819+1987584 x2878+536870912 ~x828+268435456 ~x827+134217728 ~x826+67108864 ~x825+33554432 ~x824+16777216 ~x823+8388608 ~x822+4194304 ~x821+2097152 ~x820+1048576 ~x819+524288 ~x818+262144 ~x817+131072 ~x816+65536 ~x815+32768 ~x814+16384 ~x813+8192 ~x812+4096 ~x811+2048 ~x810+1024 ~x809+512 ~x808+256 ~x807+128 ~x806+64 ~x805+32 ~x804+16 ~x803+8 ~x802+4 ~x801+2 ~x800+1 ~x799-0=2147483646
6.89/7.07	c 536870912 ~x214076+268435456 ~x214075+134217728 ~x214074+67108864 ~x214073+33554432 ~x214072+16777216 ~x214071+8388608 ~x214070+4194304 ~x214069+2097152 ~x214068+1048576 ~x214067+524288 ~x214066+262144 ~x214065+131072 ~x214064+65536 ~x214063+32768 ~x214062+16384 ~x214061+8192 ~x214060+4096 ~x214059+2048 ~x214058+1024 ~x214057+512 ~x214056+256 ~x214055+128 ~x214054+64 ~x214053+32 ~x214052+16 ~x214051+8 ~x214050+4 ~x214049+2 ~x214048+1 ~x214047+1980416 x2879+536870912 ~x858+268435456 ~x857+134217728 ~x856+67108864 ~x855+33554432 ~x854+16777216 ~x853+8388608 ~x852+4194304 ~x851+2097152 ~x850+1048576 ~x849+524288 ~x848+262144 ~x847+131072 ~x846+65536 ~x845+32768 ~x844+16384 ~x843+8192 ~x842+4096 ~x841+2048 ~x840+1024 ~x839+512 ~x838+256 ~x837+128 ~x836+64 ~x835+32 ~x834+16 ~x833+8 ~x832+4 ~x831+2 ~x830+1 ~x829-0=2147483646
7.29/7.46	c 536870912 ~x232304+268435456 ~x232303+134217728 ~x232302+67108864 ~x232301+33554432 ~x232300+16777216 ~x232299+8388608 ~x232298+4194304 ~x232297+2097152 ~x232296+1048576 ~x232295+524288 ~x232294+262144 ~x232293+131072 ~x232292+65536 ~x232291+32768 ~x232290+16384 ~x232289+8192 ~x232288+4096 ~x232287+2048 ~x232286+1024 ~x232285+512 ~x232284+256 ~x232283+128 ~x232282+64 ~x232281+32 ~x232280+16 ~x232279+8 ~x232278+4 ~x232277+2 ~x232276+1 ~x232275+362496 x2880+536870912 ~x888+268435456 ~x887+134217728 ~x886+67108864 ~x885+33554432 ~x884+16777216 ~x883+8388608 ~x882+4194304 ~x881+2097152 ~x880+1048576 ~x879+524288 ~x878+262144 ~x877+131072 ~x876+65536 ~x875+32768 ~x874+16384 ~x873+8192 ~x872+4096 ~x871+2048 ~x870+1024 ~x869+512 ~x868+256 ~x867+128 ~x866+64 ~x865+32 ~x864+16 ~x863+8 ~x862+4 ~x861+2 ~x860+1 ~x859-0=2147483646
7.69/7.85	c 536870912 ~x250532+268435456 ~x250531+134217728 ~x250530+67108864 ~x250529+33554432 ~x250528+16777216 ~x250527+8388608 ~x250526+4194304 ~x250525+2097152 ~x250524+1048576 ~x250523+524288 ~x250522+262144 ~x250521+131072 ~x250520+65536 ~x250519+32768 ~x250518+16384 ~x250517+8192 ~x250516+4096 ~x250515+2048 ~x250514+1024 ~x250513+512 ~x250512+256 ~x250511+128 ~x250510+64 ~x250509+32 ~x250508+16 ~x250507+8 ~x250506+4 ~x250505+2 ~x250504+1 ~x250503+1718272 x2881+536870912 ~x918+268435456 ~x917+134217728 ~x916+67108864 ~x915+33554432 ~x914+16777216 ~x913+8388608 ~x912+4194304 ~x911+2097152 ~x910+1048576 ~x909+524288 ~x908+262144 ~x907+131072 ~x906+65536 ~x905+32768 ~x904+16384 ~x903+8192 ~x902+4096 ~x901+2048 ~x900+1024 ~x899+512 ~x898+256 ~x897+128 ~x896+64 ~x895+32 ~x894+16 ~x893+8 ~x892+4 ~x891+2 ~x890+1 ~x889-0=2147483646
8.08/8.25	c 536870912 ~x268760+268435456 ~x268759+134217728 ~x268758+67108864 ~x268757+33554432 ~x268756+16777216 ~x268755+8388608 ~x268754+4194304 ~x268753+2097152 ~x268752+1048576 ~x268751+524288 ~x268750+262144 ~x268749+131072 ~x268748+65536 ~x268747+32768 ~x268746+16384 ~x268745+8192 ~x268744+4096 ~x268743+2048 ~x268742+1024 ~x268741+512 ~x268740+256 ~x268739+128 ~x268738+64 ~x268737+32 ~x268736+16 ~x268735+8 ~x268734+4 ~x268733+2 ~x268732+1 ~x268731+3203072 x2882+536870912 ~x948+268435456 ~x947+134217728 ~x946+67108864 ~x945+33554432 ~x944+16777216 ~x943+8388608 ~x942+4194304 ~x941+2097152 ~x940+1048576 ~x939+524288 ~x938+262144 ~x937+131072 ~x936+65536 ~x935+32768 ~x934+16384 ~x933+8192 ~x932+4096 ~x931+2048 ~x930+1024 ~x929+512 ~x928+256 ~x927+128 ~x926+64 ~x925+32 ~x924+16 ~x923+8 ~x922+4 ~x921+2 ~x920+1 ~x919-0=2147483646
8.49/8.64	c 536870912 ~x286988+268435456 ~x286987+134217728 ~x286986+67108864 ~x286985+33554432 ~x286984+16777216 ~x286983+8388608 ~x286982+4194304 ~x286981+2097152 ~x286980+1048576 ~x286979+524288 ~x286978+262144 ~x286977+131072 ~x286976+65536 ~x286975+32768 ~x286974+16384 ~x286973+8192 ~x286972+4096 ~x286971+2048 ~x286970+1024 ~x286969+512 ~x286968+256 ~x286967+128 ~x286966+64 ~x286965+32 ~x286964+16 ~x286963+8 ~x286962+4 ~x286961+2 ~x286960+1 ~x286959+1685504 x2883+536870912 ~x978+268435456 ~x977+134217728 ~x976+67108864 ~x975+33554432 ~x974+16777216 ~x973+8388608 ~x972+4194304 ~x971+2097152 ~x970+1048576 ~x969+524288 ~x968+262144 ~x967+131072 ~x966+65536 ~x965+32768 ~x964+16384 ~x963+8192 ~x962+4096 ~x961+2048 ~x960+1024 ~x959+512 ~x958+256 ~x957+128 ~x956+64 ~x955+32 ~x954+16 ~x953+8 ~x952+4 ~x951+2 ~x950+1 ~x949-0=2147483646
8.88/9.03	c 536870912 ~x305216+268435456 ~x305215+134217728 ~x305214+67108864 ~x305213+33554432 ~x305212+16777216 ~x305211+8388608 ~x305210+4194304 ~x305209+2097152 ~x305208+1048576 ~x305207+524288 ~x305206+262144 ~x305205+131072 ~x305204+65536 ~x305203+32768 ~x305202+16384 ~x305201+8192 ~x305200+4096 ~x305199+2048 ~x305198+1024 ~x305197+512 ~x305196+256 ~x305195+128 ~x305194+64 ~x305193+32 ~x305192+16 ~x305191+8 ~x305190+4 ~x305189+2 ~x305188+1 ~x305187+512000 x2884+536870912 ~x1008+268435456 ~x1007+134217728 ~x1006+67108864 ~x1005+33554432 ~x1004+16777216 ~x1003+8388608 ~x1002+4194304 ~x1001+2097152 ~x1000+1048576 ~x999+524288 ~x998+262144 ~x997+131072 ~x996+65536 ~x995+32768 ~x994+16384 ~x993+8192 ~x992+4096 ~x991+2048 ~x990+1024 ~x989+512 ~x988+256 ~x987+128 ~x986+64 ~x985+32 ~x984+16 ~x983+8 ~x982+4 ~x981+2 ~x980+1 ~x979-0=2147483646
9.28/9.42	c 536870912 ~x323444+268435456 ~x323443+134217728 ~x323442+67108864 ~x323441+33554432 ~x323440+16777216 ~x323439+8388608 ~x323438+4194304 ~x323437+2097152 ~x323436+1048576 ~x323435+524288 ~x323434+262144 ~x323433+131072 ~x323432+65536 ~x323431+32768 ~x323430+16384 ~x323429+8192 ~x323428+4096 ~x323427+2048 ~x323426+1024 ~x323425+512 ~x323424+256 ~x323423+128 ~x323422+64 ~x323421+32 ~x323420+16 ~x323419+8 ~x323418+4 ~x323417+2 ~x323416+1 ~x323415+1228800 x2885+536870912 ~x1038+268435456 ~x1037+134217728 ~x1036+67108864 ~x1035+33554432 ~x1034+16777216 ~x1033+8388608 ~x1032+4194304 ~x1031+2097152 ~x1030+1048576 ~x1029+524288 ~x1028+262144 ~x1027+131072 ~x1026+65536 ~x1025+32768 ~x1024+16384 ~x1023+8192 ~x1022+4096 ~x1021+2048 ~x1020+1024 ~x1019+512 ~x1018+256 ~x1017+128 ~x1016+64 ~x1015+32 ~x1014+16 ~x1013+8 ~x1012+4 ~x1011+2 ~x1010+1 ~x1009-0=2147483646
9.69/9.81	c 536870912 ~x341672+268435456 ~x341671+134217728 ~x341670+67108864 ~x341669+33554432 ~x341668+16777216 ~x341667+8388608 ~x341666+4194304 ~x341665+2097152 ~x341664+1048576 ~x341663+524288 ~x341662+262144 ~x341661+131072 ~x341660+65536 ~x341659+32768 ~x341658+16384 ~x341657+8192 ~x341656+4096 ~x341655+2048 ~x341654+1024 ~x341653+512 ~x341652+256 ~x341651+128 ~x341650+64 ~x341649+32 ~x341648+16 ~x341647+8 ~x341646+4 ~x341645+2 ~x341644+1 ~x341643+614400 x2886+536870912 ~x1068+268435456 ~x1067+134217728 ~x1066+67108864 ~x1065+33554432 ~x1064+16777216 ~x1063+8388608 ~x1062+4194304 ~x1061+2097152 ~x1060+1048576 ~x1059+524288 ~x1058+262144 ~x1057+131072 ~x1056+65536 ~x1055+32768 ~x1054+16384 ~x1053+8192 ~x1052+4096 ~x1051+2048 ~x1050+1024 ~x1049+512 ~x1048+256 ~x1047+128 ~x1046+64 ~x1045+32 ~x1044+16 ~x1043+8 ~x1042+4 ~x1041+2 ~x1040+1 ~x1039-0=2147483646
10.09/10.21	c 536870912 ~x359900+268435456 ~x359899+134217728 ~x359898+67108864 ~x359897+33554432 ~x359896+16777216 ~x359895+8388608 ~x359894+4194304 ~x359893+2097152 ~x359892+1048576 ~x359891+524288 ~x359890+262144 ~x359889+131072 ~x359888+65536 ~x359887+32768 ~x359886+16384 ~x359885+8192 ~x359884+4096 ~x359883+2048 ~x359882+1024 ~x359881+512 ~x359880+256 ~x359879+128 ~x359878+64 ~x359877+32 ~x359876+16 ~x359875+8 ~x359874+4 ~x359873+2 ~x359872+1 ~x359871+1024000 x2887+536870912 ~x1098+268435456 ~x1097+134217728 ~x1096+67108864 ~x1095+33554432 ~x1094+16777216 ~x1093+8388608 ~x1092+4194304 ~x1091+2097152 ~x1090+1048576 ~x1089+524288 ~x1088+262144 ~x1087+131072 ~x1086+65536 ~x1085+32768 ~x1084+16384 ~x1083+8192 ~x1082+4096 ~x1081+2048 ~x1080+1024 ~x1079+512 ~x1078+256 ~x1077+128 ~x1076+64 ~x1075+32 ~x1074+16 ~x1073+8 ~x1072+4 ~x1071+2 ~x1070+1 ~x1069-0=2147483646
10.49/10.67	c 536870912 ~x381395+268435456 ~x381394+134217728 ~x381393+67108864 ~x381392+33554432 ~x381391+16777216 ~x381390+8388608 ~x381389+4194304 ~x381388+2097152 ~x381387+1048576 ~x381386+524288 ~x381385+262144 ~x381384+131072 ~x381383+65536 ~x381382+32768 ~x381381+16384 ~x381380+8192 ~x381379+4096 ~x381378+2048 ~x381377+1024 ~x381376+512 ~x381375+256 ~x381374+128 ~x381373+64 ~x381372+32 ~x381371+16 ~x381370+8 ~x381369+4 ~x381368+2 ~x381367+1 ~x381366+1091584 x2888+536870912 ~x1128+268435456 ~x1127+134217728 ~x1126+67108864 ~x1125+33554432 ~x1124+16777216 ~x1123+8388608 ~x1122+4194304 ~x1121+2097152 ~x1120+1048576 ~x1119+524288 ~x1118+262144 ~x1117+131072 ~x1116+65536 ~x1115+32768 ~x1114+16384 ~x1113+8192 ~x1112+4096 ~x1111+2048 ~x1110+1024 ~x1109+512 ~x1108+256 ~x1107+128 ~x1106+64 ~x1105+32 ~x1104+16 ~x1103+8 ~x1102+4 ~x1101+2 ~x1100+1 ~x1099-0=2147483646
10.89/11.06	c 536870912 ~x399623+268435456 ~x399622+134217728 ~x399621+67108864 ~x399620+33554432 ~x399619+16777216 ~x399618+8388608 ~x399617+4194304 ~x399616+2097152 ~x399615+1048576 ~x399614+524288 ~x399613+262144 ~x399612+131072 ~x399611+65536 ~x399610+32768 ~x399609+16384 ~x399608+8192 ~x399607+4096 ~x399606+2048 ~x399605+1024 ~x399604+512 ~x399603+256 ~x399602+128 ~x399601+64 ~x399600+32 ~x399599+16 ~x399598+8 ~x399597+4 ~x399596+2 ~x399595+1 ~x399594+1948672 x2889+536870912 ~x1158+268435456 ~x1157+134217728 ~x1156+67108864 ~x1155+33554432 ~x1154+16777216 ~x1153+8388608 ~x1152+4194304 ~x1151+2097152 ~x1150+1048576 ~x1149+524288 ~x1148+262144 ~x1147+131072 ~x1146+65536 ~x1145+32768 ~x1144+16384 ~x1143+8192 ~x1142+4096 ~x1141+2048 ~x1140+1024 ~x1139+512 ~x1138+256 ~x1137+128 ~x1136+64 ~x1135+32 ~x1134+16 ~x1133+8 ~x1132+4 ~x1131+2 ~x1130+1 ~x1129-0=2147483646
11.28/11.46	c 536870912 ~x417851+268435456 ~x417850+134217728 ~x417849+67108864 ~x417848+33554432 ~x417847+16777216 ~x417846+8388608 ~x417845+4194304 ~x417844+2097152 ~x417843+1048576 ~x417842+524288 ~x417841+262144 ~x417840+131072 ~x417839+65536 ~x417838+32768 ~x417837+16384 ~x417836+8192 ~x417835+4096 ~x417834+2048 ~x417833+1024 ~x417832+512 ~x417831+256 ~x417830+128 ~x417829+64 ~x417828+32 ~x417827+16 ~x417826+8 ~x417825+4 ~x417824+2 ~x417823+1 ~x417822+3072000 x2890+536870912 ~x1188+268435456 ~x1187+134217728 ~x1186+67108864 ~x1185+33554432 ~x1184+16777216 ~x1183+8388608 ~x1182+4194304 ~x1181+2097152 ~x1180+1048576 ~x1179+524288 ~x1178+262144 ~x1177+131072 ~x1176+65536 ~x1175+32768 ~x1174+16384 ~x1173+8192 ~x1172+4096 ~x1171+2048 ~x1170+1024 ~x1169+512 ~x1168+256 ~x1167+128 ~x1166+64 ~x1165+32 ~x1164+16 ~x1163+8 ~x1162+4 ~x1161+2 ~x1160+1 ~x1159-0=2147483646
11.69/11.85	c 536870912 ~x436079+268435456 ~x436078+134217728 ~x436077+67108864 ~x436076+33554432 ~x436075+16777216 ~x436074+8388608 ~x436073+4194304 ~x436072+2097152 ~x436071+1048576 ~x436070+524288 ~x436069+262144 ~x436068+131072 ~x436067+65536 ~x436066+32768 ~x436065+16384 ~x436064+8192 ~x436063+4096 ~x436062+2048 ~x436061+1024 ~x436060+512 ~x436059+256 ~x436058+128 ~x436057+64 ~x436056+32 ~x436055+16 ~x436054+8 ~x436053+4 ~x436052+2 ~x436051+1 ~x436050+2109440 x2891+536870912 ~x1218+268435456 ~x1217+134217728 ~x1216+67108864 ~x1215+33554432 ~x1214+16777216 ~x1213+8388608 ~x1212+4194304 ~x1211+2097152 ~x1210+1048576 ~x1209+524288 ~x1208+262144 ~x1207+131072 ~x1206+65536 ~x1205+32768 ~x1204+16384 ~x1203+8192 ~x1202+4096 ~x1201+2048 ~x1200+1024 ~x1199+512 ~x1198+256 ~x1197+128 ~x1196+64 ~x1195+32 ~x1194+16 ~x1193+8 ~x1192+4 ~x1191+2 ~x1190+1 ~x1189-0=2147483646
12.09/12.24	c 536870912 ~x454307+268435456 ~x454306+134217728 ~x454305+67108864 ~x454304+33554432 ~x454303+16777216 ~x454302+8388608 ~x454301+4194304 ~x454300+2097152 ~x454299+1048576 ~x454298+524288 ~x454297+262144 ~x454296+131072 ~x454295+65536 ~x454294+32768 ~x454293+16384 ~x454292+8192 ~x454291+4096 ~x454290+2048 ~x454289+1024 ~x454288+512 ~x454287+256 ~x454286+128 ~x454285+64 ~x454284+32 ~x454283+16 ~x454282+8 ~x454281+4 ~x454280+2 ~x454279+1 ~x454278+863232 x2892+536870912 ~x1248+268435456 ~x1247+134217728 ~x1246+67108864 ~x1245+33554432 ~x1244+16777216 ~x1243+8388608 ~x1242+4194304 ~x1241+2097152 ~x1240+1048576 ~x1239+524288 ~x1238+262144 ~x1237+131072 ~x1236+65536 ~x1235+32768 ~x1234+16384 ~x1233+8192 ~x1232+4096 ~x1231+2048 ~x1230+1024 ~x1229+512 ~x1228+256 ~x1227+128 ~x1226+64 ~x1225+32 ~x1224+16 ~x1223+8 ~x1222+4 ~x1221+2 ~x1220+1 ~x1219-0=2147483646
12.48/12.63	c 536870912 ~x472535+268435456 ~x472534+134217728 ~x472533+67108864 ~x472532+33554432 ~x472531+16777216 ~x472530+8388608 ~x472529+4194304 ~x472528+2097152 ~x472527+1048576 ~x472526+524288 ~x472525+262144 ~x472524+131072 ~x472523+65536 ~x472522+32768 ~x472521+16384 ~x472520+8192 ~x472519+4096 ~x472518+2048 ~x472517+1024 ~x472516+512 ~x472515+256 ~x472514+128 ~x472513+64 ~x472512+32 ~x472511+16 ~x472510+8 ~x472509+4 ~x472508+2 ~x472507+1 ~x472506+1024000 x2893+536870912 ~x1278+268435456 ~x1277+134217728 ~x1276+67108864 ~x1275+33554432 ~x1274+16777216 ~x1273+8388608 ~x1272+4194304 ~x1271+2097152 ~x1270+1048576 ~x1269+524288 ~x1268+262144 ~x1267+131072 ~x1266+65536 ~x1265+32768 ~x1264+16384 ~x1263+8192 ~x1262+4096 ~x1261+2048 ~x1260+1024 ~x1259+512 ~x1258+256 ~x1257+128 ~x1256+64 ~x1255+32 ~x1254+16 ~x1253+8 ~x1252+4 ~x1251+2 ~x1250+1 ~x1249-0=2147483646
12.88/13.02	c 536870912 ~x490763+268435456 ~x490762+134217728 ~x490761+67108864 ~x490760+33554432 ~x490759+16777216 ~x490758+8388608 ~x490757+4194304 ~x490756+2097152 ~x490755+1048576 ~x490754+524288 ~x490753+262144 ~x490752+131072 ~x490751+65536 ~x490750+32768 ~x490749+16384 ~x490748+8192 ~x490747+4096 ~x490746+2048 ~x490745+1024 ~x490744+512 ~x490743+256 ~x490742+128 ~x490741+64 ~x490740+32 ~x490739+16 ~x490738+8 ~x490737+4 ~x490736+2 ~x490735+1 ~x490734+1200128 x2894+536870912 ~x1308+268435456 ~x1307+134217728 ~x1306+67108864 ~x1305+33554432 ~x1304+16777216 ~x1303+8388608 ~x1302+4194304 ~x1301+2097152 ~x1300+1048576 ~x1299+524288 ~x1298+262144 ~x1297+131072 ~x1296+65536 ~x1295+32768 ~x1294+16384 ~x1293+8192 ~x1292+4096 ~x1291+2048 ~x1290+1024 ~x1289+512 ~x1288+256 ~x1287+128 ~x1286+64 ~x1285+32 ~x1284+16 ~x1283+8 ~x1282+4 ~x1281+2 ~x1280+1 ~x1279-0=2147483646
13.28/13.41	c 536870912 ~x508991+268435456 ~x508990+134217728 ~x508989+67108864 ~x508988+33554432 ~x508987+16777216 ~x508986+8388608 ~x508985+4194304 ~x508984+2097152 ~x508983+1048576 ~x508982+524288 ~x508981+262144 ~x508980+131072 ~x508979+65536 ~x508978+32768 ~x508977+16384 ~x508976+8192 ~x508975+4096 ~x508974+2048 ~x508973+1024 ~x508972+512 ~x508971+256 ~x508970+128 ~x508969+64 ~x508968+32 ~x508967+16 ~x508966+8 ~x508965+4 ~x508964+2 ~x508963+1 ~x508962+1503232 x2895+536870912 ~x1338+268435456 ~x1337+134217728 ~x1336+67108864 ~x1335+33554432 ~x1334+16777216 ~x1333+8388608 ~x1332+4194304 ~x1331+2097152 ~x1330+1048576 ~x1329+524288 ~x1328+262144 ~x1327+131072 ~x1326+65536 ~x1325+32768 ~x1324+16384 ~x1323+8192 ~x1322+4096 ~x1321+2048 ~x1320+1024 ~x1319+512 ~x1318+256 ~x1317+128 ~x1316+64 ~x1315+32 ~x1314+16 ~x1313+8 ~x1312+4 ~x1311+2 ~x1310+1 ~x1309-0=2147483646
13.69/13.81	c 536870912 ~x527219+268435456 ~x527218+134217728 ~x527217+67108864 ~x527216+33554432 ~x527215+16777216 ~x527214+8388608 ~x527213+4194304 ~x527212+2097152 ~x527211+1048576 ~x527210+524288 ~x527209+262144 ~x527208+131072 ~x527207+65536 ~x527206+32768 ~x527205+16384 ~x527204+8192 ~x527203+4096 ~x527202+2048 ~x527201+1024 ~x527200+512 ~x527199+256 ~x527198+128 ~x527197+64 ~x527196+32 ~x527195+16 ~x527194+8 ~x527193+4 ~x527192+2 ~x527191+1 ~x527190+1756160 x2896+536870912 ~x1368+268435456 ~x1367+134217728 ~x1366+67108864 ~x1365+33554432 ~x1364+16777216 ~x1363+8388608 ~x1362+4194304 ~x1361+2097152 ~x1360+1048576 ~x1359+524288 ~x1358+262144 ~x1357+131072 ~x1356+65536 ~x1355+32768 ~x1354+16384 ~x1353+8192 ~x1352+4096 ~x1351+2048 ~x1350+1024 ~x1349+512 ~x1348+256 ~x1347+128 ~x1346+64 ~x1345+32 ~x1344+16 ~x1343+8 ~x1342+4 ~x1341+2 ~x1340+1 ~x1339-0=2147483646
14.09/14.21	c 536870912 ~x545447+268435456 ~x545446+134217728 ~x545445+67108864 ~x545444+33554432 ~x545443+16777216 ~x545442+8388608 ~x545441+4194304 ~x545440+2097152 ~x545439+1048576 ~x545438+524288 ~x545437+262144 ~x545436+131072 ~x545435+65536 ~x545434+32768 ~x545433+16384 ~x545432+8192 ~x545431+4096 ~x545430+2048 ~x545429+1024 ~x545428+512 ~x545427+256 ~x545426+128 ~x545425+64 ~x545424+32 ~x545423+16 ~x545422+8 ~x545421+4 ~x545420+2 ~x545419+1 ~x545418+2696192 x2897+536870912 ~x1398+268435456 ~x1397+134217728 ~x1396+67108864 ~x1395+33554432 ~x1394+16777216 ~x1393+8388608 ~x1392+4194304 ~x1391+2097152 ~x1390+1048576 ~x1389+524288 ~x1388+262144 ~x1387+131072 ~x1386+65536 ~x1385+32768 ~x1384+16384 ~x1383+8192 ~x1382+4096 ~x1381+2048 ~x1380+1024 ~x1379+512 ~x1378+256 ~x1377+128 ~x1376+64 ~x1375+32 ~x1374+16 ~x1373+8 ~x1372+4 ~x1371+2 ~x1370+1 ~x1369-0=2147483646
14.48/14.68	c 536870912 ~x567365+268435456 ~x567364+134217728 ~x567363+67108864 ~x567362+33554432 ~x567361+16777216 ~x567360+8388608 ~x567359+4194304 ~x567358+2097152 ~x567357+1048576 ~x567356+524288 ~x567355+262144 ~x567354+131072 ~x567353+65536 ~x567352+32768 ~x567351+16384 ~x567350+8192 ~x567349+4096 ~x567348+2048 ~x567347+1024 ~x567346+512 ~x567345+256 ~x567344+128 ~x567343+64 ~x567342+32 ~x567341+16 ~x567340+8 ~x567339+4 ~x567338+2 ~x567337+1 ~x567336+1183744 x2898+536870912 ~x1428+268435456 ~x1427+134217728 ~x1426+67108864 ~x1425+33554432 ~x1424+16777216 ~x1423+8388608 ~x1422+4194304 ~x1421+2097152 ~x1420+1048576 ~x1419+524288 ~x1418+262144 ~x1417+131072 ~x1416+65536 ~x1415+32768 ~x1414+16384 ~x1413+8192 ~x1412+4096 ~x1411+2048 ~x1410+1024 ~x1409+512 ~x1408+256 ~x1407+128 ~x1406+64 ~x1405+32 ~x1404+16 ~x1403+8 ~x1402+4 ~x1401+2 ~x1400+1 ~x1399-0=2147483646
14.88/15.07	c 536870912 ~x585593+268435456 ~x585592+134217728 ~x585591+67108864 ~x585590+33554432 ~x585589+16777216 ~x585588+8388608 ~x585587+4194304 ~x585586+2097152 ~x585585+1048576 ~x585584+524288 ~x585583+262144 ~x585582+131072 ~x585581+65536 ~x585580+32768 ~x585579+16384 ~x585578+8192 ~x585577+4096 ~x585576+2048 ~x585575+1024 ~x585574+512 ~x585573+256 ~x585572+128 ~x585571+64 ~x585570+32 ~x585569+16 ~x585568+8 ~x585567+4 ~x585566+2 ~x585565+1 ~x585564+1309696 x2899+536870912 ~x1458+268435456 ~x1457+134217728 ~x1456+67108864 ~x1455+33554432 ~x1454+16777216 ~x1453+8388608 ~x1452+4194304 ~x1451+2097152 ~x1450+1048576 ~x1449+524288 ~x1448+262144 ~x1447+131072 ~x1446+65536 ~x1445+32768 ~x1444+16384 ~x1443+8192 ~x1442+4096 ~x1441+2048 ~x1440+1024 ~x1439+512 ~x1438+256 ~x1437+128 ~x1436+64 ~x1435+32 ~x1434+16 ~x1433+8 ~x1432+4 ~x1431+2 ~x1430+1 ~x1429-0=2147483646
15.29/15.47	c 536870912 ~x603821+268435456 ~x603820+134217728 ~x603819+67108864 ~x603818+33554432 ~x603817+16777216 ~x603816+8388608 ~x603815+4194304 ~x603814+2097152 ~x603813+1048576 ~x603812+524288 ~x603811+262144 ~x603810+131072 ~x603809+65536 ~x603808+32768 ~x603807+16384 ~x603806+8192 ~x603805+4096 ~x603804+2048 ~x603803+1024 ~x603802+512 ~x603801+256 ~x603800+128 ~x603799+64 ~x603798+32 ~x603797+16 ~x603796+8 ~x603795+4 ~x603794+2 ~x603793+1 ~x603792+1664000 x2900+536870912 ~x1488+268435456 ~x1487+134217728 ~x1486+67108864 ~x1485+33554432 ~x1484+16777216 ~x1483+8388608 ~x1482+4194304 ~x1481+2097152 ~x1480+1048576 ~x1479+524288 ~x1478+262144 ~x1477+131072 ~x1476+65536 ~x1475+32768 ~x1474+16384 ~x1473+8192 ~x1472+4096 ~x1471+2048 ~x1470+1024 ~x1469+512 ~x1468+256 ~x1467+128 ~x1466+64 ~x1465+32 ~x1464+16 ~x1463+8 ~x1462+4 ~x1461+2 ~x1460+1 ~x1459-0=2147483646
15.68/15.86	c 536870912 ~x622049+268435456 ~x622048+134217728 ~x622047+67108864 ~x622046+33554432 ~x622045+16777216 ~x622044+8388608 ~x622043+4194304 ~x622042+2097152 ~x622041+1048576 ~x622040+524288 ~x622039+262144 ~x622038+131072 ~x622037+65536 ~x622036+32768 ~x622035+16384 ~x622034+8192 ~x622033+4096 ~x622032+2048 ~x622031+1024 ~x622030+512 ~x622029+256 ~x622028+128 ~x622027+64 ~x622026+32 ~x622025+16 ~x622024+8 ~x622023+4 ~x622022+2 ~x622021+1 ~x622020+1382400 x2901+536870912 ~x1518+268435456 ~x1517+134217728 ~x1516+67108864 ~x1515+33554432 ~x1514+16777216 ~x1513+8388608 ~x1512+4194304 ~x1511+2097152 ~x1510+1048576 ~x1509+524288 ~x1508+262144 ~x1507+131072 ~x1506+65536 ~x1505+32768 ~x1504+16384 ~x1503+8192 ~x1502+4096 ~x1501+2048 ~x1500+1024 ~x1499+512 ~x1498+256 ~x1497+128 ~x1496+64 ~x1495+32 ~x1494+16 ~x1493+8 ~x1492+4 ~x1491+2 ~x1490+1 ~x1489-0=2147483646
16.09/16.26	c 536870912 ~x640277+268435456 ~x640276+134217728 ~x640275+67108864 ~x640274+33554432 ~x640273+16777216 ~x640272+8388608 ~x640271+4194304 ~x640270+2097152 ~x640269+1048576 ~x640268+524288 ~x640267+262144 ~x640266+131072 ~x640265+65536 ~x640264+32768 ~x640263+16384 ~x640262+8192 ~x640261+4096 ~x640260+2048 ~x640259+1024 ~x640258+512 ~x640257+256 ~x640256+128 ~x640255+64 ~x640254+32 ~x640253+16 ~x640252+8 ~x640251+4 ~x640250+2 ~x640249+1 ~x640248+1871872 x2902+536870912 ~x1548+268435456 ~x1547+134217728 ~x1546+67108864 ~x1545+33554432 ~x1544+16777216 ~x1543+8388608 ~x1542+4194304 ~x1541+2097152 ~x1540+1048576 ~x1539+524288 ~x1538+262144 ~x1537+131072 ~x1536+65536 ~x1535+32768 ~x1534+16384 ~x1533+8192 ~x1532+4096 ~x1531+2048 ~x1530+1024 ~x1529+512 ~x1528+256 ~x1527+128 ~x1526+64 ~x1525+32 ~x1524+16 ~x1523+8 ~x1522+4 ~x1521+2 ~x1520+1 ~x1519-0=2147483646
16.48/16.65	c 536870912 ~x658505+268435456 ~x658504+134217728 ~x658503+67108864 ~x658502+33554432 ~x658501+16777216 ~x658500+8388608 ~x658499+4194304 ~x658498+2097152 ~x658497+1048576 ~x658496+524288 ~x658495+262144 ~x658494+131072 ~x658493+65536 ~x658492+32768 ~x658491+16384 ~x658490+8192 ~x658489+4096 ~x658488+2048 ~x658487+1024 ~x658486+512 ~x658485+256 ~x658484+128 ~x658483+64 ~x658482+32 ~x658481+16 ~x658480+8 ~x658479+4 ~x658478+2 ~x658477+1 ~x658476+1065984 x2903+536870912 ~x1578+268435456 ~x1577+134217728 ~x1576+67108864 ~x1575+33554432 ~x1574+16777216 ~x1573+8388608 ~x1572+4194304 ~x1571+2097152 ~x1570+1048576 ~x1569+524288 ~x1568+262144 ~x1567+131072 ~x1566+65536 ~x1565+32768 ~x1564+16384 ~x1563+8192 ~x1562+4096 ~x1561+2048 ~x1560+1024 ~x1559+512 ~x1558+256 ~x1557+128 ~x1556+64 ~x1555+32 ~x1554+16 ~x1553+8 ~x1552+4 ~x1551+2 ~x1550+1 ~x1549-0=2147483646
16.88/17.04	c 536870912 ~x676733+268435456 ~x676732+134217728 ~x676731+67108864 ~x676730+33554432 ~x676729+16777216 ~x676728+8388608 ~x676727+4194304 ~x676726+2097152 ~x676725+1048576 ~x676724+524288 ~x676723+262144 ~x676722+131072 ~x676721+65536 ~x676720+32768 ~x676719+16384 ~x676718+8192 ~x676717+4096 ~x676716+2048 ~x676715+1024 ~x676714+512 ~x676713+256 ~x676712+128 ~x676711+64 ~x676710+32 ~x676709+16 ~x676708+8 ~x676707+4 ~x676706+2 ~x676705+1 ~x676704+1477632 x2904+536870912 ~x1608+268435456 ~x1607+134217728 ~x1606+67108864 ~x1605+33554432 ~x1604+16777216 ~x1603+8388608 ~x1602+4194304 ~x1601+2097152 ~x1600+1048576 ~x1599+524288 ~x1598+262144 ~x1597+131072 ~x1596+65536 ~x1595+32768 ~x1594+16384 ~x1593+8192 ~x1592+4096 ~x1591+2048 ~x1590+1024 ~x1589+512 ~x1588+256 ~x1587+128 ~x1586+64 ~x1585+32 ~x1584+16 ~x1583+8 ~x1582+4 ~x1581+2 ~x1580+1 ~x1579-0=2147483646
17.28/17.44	c 536870912 ~x694961+268435456 ~x694960+134217728 ~x694959+67108864 ~x694958+33554432 ~x694957+16777216 ~x694956+8388608 ~x694955+4194304 ~x694954+2097152 ~x694953+1048576 ~x694952+524288 ~x694951+262144 ~x694950+131072 ~x694949+65536 ~x694948+32768 ~x694947+16384 ~x694946+8192 ~x694945+4096 ~x694944+2048 ~x694943+1024 ~x694942+512 ~x694941+256 ~x694940+128 ~x694939+64 ~x694938+32 ~x694937+16 ~x694936+8 ~x694935+4 ~x694934+2 ~x694933+1 ~x694932+3653632 x2905+536870912 ~x1638+268435456 ~x1637+134217728 ~x1636+67108864 ~x1635+33554432 ~x1634+16777216 ~x1633+8388608 ~x1632+4194304 ~x1631+2097152 ~x1630+1048576 ~x1629+524288 ~x1628+262144 ~x1627+131072 ~x1626+65536 ~x1625+32768 ~x1624+16384 ~x1623+8192 ~x1622+4096 ~x1621+2048 ~x1620+1024 ~x1619+512 ~x1618+256 ~x1617+128 ~x1616+64 ~x1615+32 ~x1614+16 ~x1613+8 ~x1612+4 ~x1611+2 ~x1610+1 ~x1609-0=2147483646
17.68/17.83	c 536870912 ~x713189+268435456 ~x713188+134217728 ~x713187+67108864 ~x713186+33554432 ~x713185+16777216 ~x713184+8388608 ~x713183+4194304 ~x713182+2097152 ~x713181+1048576 ~x713180+524288 ~x713179+262144 ~x713178+131072 ~x713177+65536 ~x713176+32768 ~x713175+16384 ~x713174+8192 ~x713173+4096 ~x713172+2048 ~x713171+1024 ~x713170+512 ~x713169+256 ~x713168+128 ~x713167+64 ~x713166+32 ~x713165+16 ~x713164+8 ~x713163+4 ~x713162+2 ~x713161+1 ~x713160+1998848 x2906+536870912 ~x1668+268435456 ~x1667+134217728 ~x1666+67108864 ~x1665+33554432 ~x1664+16777216 ~x1663+8388608 ~x1662+4194304 ~x1661+2097152 ~x1660+1048576 ~x1659+524288 ~x1658+262144 ~x1657+131072 ~x1656+65536 ~x1655+32768 ~x1654+16384 ~x1653+8192 ~x1652+4096 ~x1651+2048 ~x1650+1024 ~x1649+512 ~x1648+256 ~x1647+128 ~x1646+64 ~x1645+32 ~x1644+16 ~x1643+8 ~x1642+4 ~x1641+2 ~x1640+1 ~x1639-0=2147483646
18.08/18.22	c 536870912 ~x731417+268435456 ~x731416+134217728 ~x731415+67108864 ~x731414+33554432 ~x731413+16777216 ~x731412+8388608 ~x731411+4194304 ~x731410+2097152 ~x731409+1048576 ~x731408+524288 ~x731407+262144 ~x731406+131072 ~x731405+65536 ~x731404+32768 ~x731403+16384 ~x731402+8192 ~x731401+4096 ~x731400+2048 ~x731399+1024 ~x731398+512 ~x731397+256 ~x731396+128 ~x731395+64 ~x731394+32 ~x731393+16 ~x731392+8 ~x731391+4 ~x731390+2 ~x731389+1 ~x731388+1024000 x2907+536870912 ~x1698+268435456 ~x1697+134217728 ~x1696+67108864 ~x1695+33554432 ~x1694+16777216 ~x1693+8388608 ~x1692+4194304 ~x1691+2097152 ~x1690+1048576 ~x1689+524288 ~x1688+262144 ~x1687+131072 ~x1686+65536 ~x1685+32768 ~x1684+16384 ~x1683+8192 ~x1682+4096 ~x1681+2048 ~x1680+1024 ~x1679+512 ~x1678+256 ~x1677+128 ~x1676+64 ~x1675+32 ~x1674+16 ~x1673+8 ~x1672+4 ~x1671+2 ~x1670+1 ~x1669-0=2147483646
18.59/18.71	c 536870912 ~x753640+268435456 ~x753639+134217728 ~x753638+67108864 ~x753637+33554432 ~x753636+16777216 ~x753635+8388608 ~x753634+4194304 ~x753633+2097152 ~x753632+1048576 ~x753631+524288 ~x753630+262144 ~x753629+131072 ~x753628+65536 ~x753627+32768 ~x753626+16384 ~x753625+8192 ~x753624+4096 ~x753623+2048 ~x753622+1024 ~x753621+512 ~x753620+256 ~x753619+128 ~x753618+64 ~x753617+32 ~x753616+16 ~x753615+8 ~x753614+4 ~x753613+2 ~x753612+1 ~x753611+5567488 x2908+536870912 ~x1728+268435456 ~x1727+134217728 ~x1726+67108864 ~x1725+33554432 ~x1724+16777216 ~x1723+8388608 ~x1722+4194304 ~x1721+2097152 ~x1720+1048576 ~x1719+524288 ~x1718+262144 ~x1717+131072 ~x1716+65536 ~x1715+32768 ~x1714+16384 ~x1713+8192 ~x1712+4096 ~x1711+2048 ~x1710+1024 ~x1709+512 ~x1708+256 ~x1707+128 ~x1706+64 ~x1705+32 ~x1704+16 ~x1703+8 ~x1702+4 ~x1701+2 ~x1700+1 ~x1699-0=2147483646
18.98/19.10	c 536870912 ~x771868+268435456 ~x771867+134217728 ~x771866+67108864 ~x771865+33554432 ~x771864+16777216 ~x771863+8388608 ~x771862+4194304 ~x771861+2097152 ~x771860+1048576 ~x771859+524288 ~x771858+262144 ~x771857+131072 ~x771856+65536 ~x771855+32768 ~x771854+16384 ~x771853+8192 ~x771852+4096 ~x771851+2048 ~x771850+1024 ~x771849+512 ~x771848+256 ~x771847+128 ~x771846+64 ~x771845+32 ~x771844+16 ~x771843+8 ~x771842+4 ~x771841+2 ~x771840+1 ~x771839+1225728 x2909+536870912 ~x1758+268435456 ~x1757+134217728 ~x1756+67108864 ~x1755+33554432 ~x1754+16777216 ~x1753+8388608 ~x1752+4194304 ~x1751+2097152 ~x1750+1048576 ~x1749+524288 ~x1748+262144 ~x1747+131072 ~x1746+65536 ~x1745+32768 ~x1744+16384 ~x1743+8192 ~x1742+4096 ~x1741+2048 ~x1740+1024 ~x1739+512 ~x1738+256 ~x1737+128 ~x1736+64 ~x1735+32 ~x1734+16 ~x1733+8 ~x1732+4 ~x1731+2 ~x1730+1 ~x1729-0=2147483646
19.28/19.49	c 536870912 ~x790096+268435456 ~x790095+134217728 ~x790094+67108864 ~x790093+33554432 ~x790092+16777216 ~x790091+8388608 ~x790090+4194304 ~x790089+2097152 ~x790088+1048576 ~x790087+524288 ~x790086+262144 ~x790085+131072 ~x790084+65536 ~x790083+32768 ~x790082+16384 ~x790081+8192 ~x790080+4096 ~x790079+2048 ~x790078+1024 ~x790077+512 ~x790076+256 ~x790075+128 ~x790074+64 ~x790073+32 ~x790072+16 ~x790071+8 ~x790070+4 ~x790069+2 ~x790068+1 ~x790067+1454080 x2910+536870912 ~x1788+268435456 ~x1787+134217728 ~x1786+67108864 ~x1785+33554432 ~x1784+16777216 ~x1783+8388608 ~x1782+4194304 ~x1781+2097152 ~x1780+1048576 ~x1779+524288 ~x1778+262144 ~x1777+131072 ~x1776+65536 ~x1775+32768 ~x1774+16384 ~x1773+8192 ~x1772+4096 ~x1771+2048 ~x1770+1024 ~x1769+512 ~x1768+256 ~x1767+128 ~x1766+64 ~x1765+32 ~x1764+16 ~x1763+8 ~x1762+4 ~x1761+2 ~x1760+1 ~x1759-0=2147483646
19.69/19.89	c 536870912 ~x808324+268435456 ~x808323+134217728 ~x808322+67108864 ~x808321+33554432 ~x808320+16777216 ~x808319+8388608 ~x808318+4194304 ~x808317+2097152 ~x808316+1048576 ~x808315+524288 ~x808314+262144 ~x808313+131072 ~x808312+65536 ~x808311+32768 ~x808310+16384 ~x808309+8192 ~x808308+4096 ~x808307+2048 ~x808306+1024 ~x808305+512 ~x808304+256 ~x808303+128 ~x808302+64 ~x808301+32 ~x808300+16 ~x808299+8 ~x808298+4 ~x808297+2 ~x808296+1 ~x808295+1018880 x2911+536870912 ~x1818+268435456 ~x1817+134217728 ~x1816+67108864 ~x1815+33554432 ~x1814+16777216 ~x1813+8388608 ~x1812+4194304 ~x1811+2097152 ~x1810+1048576 ~x1809+524288 ~x1808+262144 ~x1807+131072 ~x1806+65536 ~x1805+32768 ~x1804+16384 ~x1803+8192 ~x1802+4096 ~x1801+2048 ~x1800+1024 ~x1799+512 ~x1798+256 ~x1797+128 ~x1796+64 ~x1795+32 ~x1794+16 ~x1793+8 ~x1792+4 ~x1791+2 ~x1790+1 ~x1789-0=2147483646
20.08/20.28	c 536870912 ~x826552+268435456 ~x826551+134217728 ~x826550+67108864 ~x826549+33554432 ~x826548+16777216 ~x826547+8388608 ~x826546+4194304 ~x826545+2097152 ~x826544+1048576 ~x826543+524288 ~x826542+262144 ~x826541+131072 ~x826540+65536 ~x826539+32768 ~x826538+16384 ~x826537+8192 ~x826536+4096 ~x826535+2048 ~x826534+1024 ~x826533+512 ~x826532+256 ~x826531+128 ~x826530+64 ~x826529+32 ~x826528+16 ~x826527+8 ~x826526+4 ~x826525+2 ~x826524+1 ~x826523+1533952 x2912+536870912 ~x1848+268435456 ~x1847+134217728 ~x1846+67108864 ~x1845+33554432 ~x1844+16777216 ~x1843+8388608 ~x1842+4194304 ~x1841+2097152 ~x1840+1048576 ~x1839+524288 ~x1838+262144 ~x1837+131072 ~x1836+65536 ~x1835+32768 ~x1834+16384 ~x1833+8192 ~x1832+4096 ~x1831+2048 ~x1830+1024 ~x1829+512 ~x1828+256 ~x1827+128 ~x1826+64 ~x1825+32 ~x1824+16 ~x1823+8 ~x1822+4 ~x1821+2 ~x1820+1 ~x1819-0=2147483646
20.48/20.67	c 536870912 ~x844780+268435456 ~x844779+134217728 ~x844778+67108864 ~x844777+33554432 ~x844776+16777216 ~x844775+8388608 ~x844774+4194304 ~x844773+2097152 ~x844772+1048576 ~x844771+524288 ~x844770+262144 ~x844769+131072 ~x844768+65536 ~x844767+32768 ~x844766+16384 ~x844765+8192 ~x844764+4096 ~x844763+2048 ~x844762+1024 ~x844761+512 ~x844760+256 ~x844759+128 ~x844758+64 ~x844757+32 ~x844756+16 ~x844755+8 ~x844754+4 ~x844753+2 ~x844752+1 ~x844751+4689920 x2913+536870912 ~x1878+268435456 ~x1877+134217728 ~x1876+67108864 ~x1875+33554432 ~x1874+16777216 ~x1873+8388608 ~x1872+4194304 ~x1871+2097152 ~x1870+1048576 ~x1869+524288 ~x1868+262144 ~x1867+131072 ~x1866+65536 ~x1865+32768 ~x1864+16384 ~x1863+8192 ~x1862+4096 ~x1861+2048 ~x1860+1024 ~x1859+512 ~x1858+256 ~x1857+128 ~x1856+64 ~x1855+32 ~x1854+16 ~x1853+8 ~x1852+4 ~x1851+2 ~x1850+1 ~x1849-0=2147483646
20.88/21.06	c 536870912 ~x863008+268435456 ~x863007+134217728 ~x863006+67108864 ~x863005+33554432 ~x863004+16777216 ~x863003+8388608 ~x863002+4194304 ~x863001+2097152 ~x863000+1048576 ~x862999+524288 ~x862998+262144 ~x862997+131072 ~x862996+65536 ~x862995+32768 ~x862994+16384 ~x862993+8192 ~x862992+4096 ~x862991+2048 ~x862990+1024 ~x862989+512 ~x862988+256 ~x862987+128 ~x862986+64 ~x862985+32 ~x862984+16 ~x862983+8 ~x862982+4 ~x862981+2 ~x862980+1 ~x862979+3976192 x2914+536870912 ~x1908+268435456 ~x1907+134217728 ~x1906+67108864 ~x1905+33554432 ~x1904+16777216 ~x1903+8388608 ~x1902+4194304 ~x1901+2097152 ~x1900+1048576 ~x1899+524288 ~x1898+262144 ~x1897+131072 ~x1896+65536 ~x1895+32768 ~x1894+16384 ~x1893+8192 ~x1892+4096 ~x1891+2048 ~x1890+1024 ~x1889+512 ~x1888+256 ~x1887+128 ~x1886+64 ~x1885+32 ~x1884+16 ~x1883+8 ~x1882+4 ~x1881+2 ~x1880+1 ~x1879-0=2147483646
21.28/21.45	c 536870912 ~x881236+268435456 ~x881235+134217728 ~x881234+67108864 ~x881233+33554432 ~x881232+16777216 ~x881231+8388608 ~x881230+4194304 ~x881229+2097152 ~x881228+1048576 ~x881227+524288 ~x881226+262144 ~x881225+131072 ~x881224+65536 ~x881223+32768 ~x881222+16384 ~x881221+8192 ~x881220+4096 ~x881219+2048 ~x881218+1024 ~x881217+512 ~x881216+256 ~x881215+128 ~x881214+64 ~x881213+32 ~x881212+16 ~x881211+8 ~x881210+4 ~x881209+2 ~x881208+1 ~x881207+1359872 x2915+536870912 ~x1938+268435456 ~x1937+134217728 ~x1936+67108864 ~x1935+33554432 ~x1934+16777216 ~x1933+8388608 ~x1932+4194304 ~x1931+2097152 ~x1930+1048576 ~x1929+524288 ~x1928+262144 ~x1927+131072 ~x1926+65536 ~x1925+32768 ~x1924+16384 ~x1923+8192 ~x1922+4096 ~x1921+2048 ~x1920+1024 ~x1919+512 ~x1918+256 ~x1917+128 ~x1916+64 ~x1915+32 ~x1914+16 ~x1913+8 ~x1912+4 ~x1911+2 ~x1910+1 ~x1909-0=2147483646
21.68/21.84	c 536870912 ~x899464+268435456 ~x899463+134217728 ~x899462+67108864 ~x899461+33554432 ~x899460+16777216 ~x899459+8388608 ~x899458+4194304 ~x899457+2097152 ~x899456+1048576 ~x899455+524288 ~x899454+262144 ~x899453+131072 ~x899452+65536 ~x899451+32768 ~x899450+16384 ~x899449+8192 ~x899448+4096 ~x899447+2048 ~x899446+1024 ~x899445+512 ~x899444+256 ~x899443+128 ~x899442+64 ~x899441+32 ~x899440+16 ~x899439+8 ~x899438+4 ~x899437+2 ~x899436+1 ~x899435+1077248 x2916+536870912 ~x1968+268435456 ~x1967+134217728 ~x1966+67108864 ~x1965+33554432 ~x1964+16777216 ~x1963+8388608 ~x1962+4194304 ~x1961+2097152 ~x1960+1048576 ~x1959+524288 ~x1958+262144 ~x1957+131072 ~x1956+65536 ~x1955+32768 ~x1954+16384 ~x1953+8192 ~x1952+4096 ~x1951+2048 ~x1950+1024 ~x1949+512 ~x1948+256 ~x1947+128 ~x1946+64 ~x1945+32 ~x1944+16 ~x1943+8 ~x1942+4 ~x1941+2 ~x1940+1 ~x1939-0=2147483646
22.08/22.23	c 536870912 ~x917692+268435456 ~x917691+134217728 ~x917690+67108864 ~x917689+33554432 ~x917688+16777216 ~x917687+8388608 ~x917686+4194304 ~x917685+2097152 ~x917684+1048576 ~x917683+524288 ~x917682+262144 ~x917681+131072 ~x917680+65536 ~x917679+32768 ~x917678+16384 ~x917677+8192 ~x917676+4096 ~x917675+2048 ~x917674+1024 ~x917673+512 ~x917672+256 ~x917671+128 ~x917670+64 ~x917669+32 ~x917668+16 ~x917667+8 ~x917666+4 ~x917665+2 ~x917664+1 ~x917663+1363968 x2917+536870912 ~x1998+268435456 ~x1997+134217728 ~x1996+67108864 ~x1995+33554432 ~x1994+16777216 ~x1993+8388608 ~x1992+4194304 ~x1991+2097152 ~x1990+1048576 ~x1989+524288 ~x1988+262144 ~x1987+131072 ~x1986+65536 ~x1985+32768 ~x1984+16384 ~x1983+8192 ~x1982+4096 ~x1981+2048 ~x1980+1024 ~x1979+512 ~x1978+256 ~x1977+128 ~x1976+64 ~x1975+32 ~x1974+16 ~x1973+8 ~x1972+4 ~x1971+2 ~x1970+1 ~x1969-0=2147483646
22.58/22.71	c 536870912 ~x940098+268435456 ~x940097+134217728 ~x940096+67108864 ~x940095+33554432 ~x940094+16777216 ~x940093+8388608 ~x940092+4194304 ~x940091+2097152 ~x940090+1048576 ~x940089+524288 ~x940088+262144 ~x940087+131072 ~x940086+65536 ~x940085+32768 ~x940084+16384 ~x940083+8192 ~x940082+4096 ~x940081+2048 ~x940080+1024 ~x940079+512 ~x940078+256 ~x940077+128 ~x940076+64 ~x940075+32 ~x940074+16 ~x940073+8 ~x940072+4 ~x940071+2 ~x940070+1 ~x940069+2045952 x2918+536870912 ~x2028+268435456 ~x2027+134217728 ~x2026+67108864 ~x2025+33554432 ~x2024+16777216 ~x2023+8388608 ~x2022+4194304 ~x2021+2097152 ~x2020+1048576 ~x2019+524288 ~x2018+262144 ~x2017+131072 ~x2016+65536 ~x2015+32768 ~x2014+16384 ~x2013+8192 ~x2012+4096 ~x2011+2048 ~x2010+1024 ~x2009+512 ~x2008+256 ~x2007+128 ~x2006+64 ~x2005+32 ~x2004+16 ~x2003+8 ~x2002+4 ~x2001+2 ~x2000+1 ~x1999-0=2147483646
22.88/23.10	c 536870912 ~x958326+268435456 ~x958325+134217728 ~x958324+67108864 ~x958323+33554432 ~x958322+16777216 ~x958321+8388608 ~x958320+4194304 ~x958319+2097152 ~x958318+1048576 ~x958317+524288 ~x958316+262144 ~x958315+131072 ~x958314+65536 ~x958313+32768 ~x958312+16384 ~x958311+8192 ~x958310+4096 ~x958309+2048 ~x958308+1024 ~x958307+512 ~x958306+256 ~x958305+128 ~x958304+64 ~x958303+32 ~x958302+16 ~x958301+8 ~x958300+4 ~x958299+2 ~x958298+1 ~x958297+916480 x2919+536870912 ~x2058+268435456 ~x2057+134217728 ~x2056+67108864 ~x2055+33554432 ~x2054+16777216 ~x2053+8388608 ~x2052+4194304 ~x2051+2097152 ~x2050+1048576 ~x2049+524288 ~x2048+262144 ~x2047+131072 ~x2046+65536 ~x2045+32768 ~x2044+16384 ~x2043+8192 ~x2042+4096 ~x2041+2048 ~x2040+1024 ~x2039+512 ~x2038+256 ~x2037+128 ~x2036+64 ~x2035+32 ~x2034+16 ~x2033+8 ~x2032+4 ~x2031+2 ~x2030+1 ~x2029-0=2147483646
23.27/23.49	c 536870912 ~x976554+268435456 ~x976553+134217728 ~x976552+67108864 ~x976551+33554432 ~x976550+16777216 ~x976549+8388608 ~x976548+4194304 ~x976547+2097152 ~x976546+1048576 ~x976545+524288 ~x976544+262144 ~x976543+131072 ~x976542+65536 ~x976541+32768 ~x976540+16384 ~x976539+8192 ~x976538+4096 ~x976537+2048 ~x976536+1024 ~x976535+512 ~x976534+256 ~x976533+128 ~x976532+64 ~x976531+32 ~x976530+16 ~x976529+8 ~x976528+4 ~x976527+2 ~x976526+1 ~x976525+1914880 x2920+536870912 ~x2088+268435456 ~x2087+134217728 ~x2086+67108864 ~x2085+33554432 ~x2084+16777216 ~x2083+8388608 ~x2082+4194304 ~x2081+2097152 ~x2080+1048576 ~x2079+524288 ~x2078+262144 ~x2077+131072 ~x2076+65536 ~x2075+32768 ~x2074+16384 ~x2073+8192 ~x2072+4096 ~x2071+2048 ~x2070+1024 ~x2069+512 ~x2068+256 ~x2067+128 ~x2066+64 ~x2065+32 ~x2064+16 ~x2063+8 ~x2062+4 ~x2061+2 ~x2060+1 ~x2059-0=2147483646
23.68/23.89	c 536870912 ~x994782+268435456 ~x994781+134217728 ~x994780+67108864 ~x994779+33554432 ~x994778+16777216 ~x994777+8388608 ~x994776+4194304 ~x994775+2097152 ~x994774+1048576 ~x994773+524288 ~x994772+262144 ~x994771+131072 ~x994770+65536 ~x994769+32768 ~x994768+16384 ~x994767+8192 ~x994766+4096 ~x994765+2048 ~x994764+1024 ~x994763+512 ~x994762+256 ~x994761+128 ~x994760+64 ~x994759+32 ~x994758+16 ~x994757+8 ~x994756+4 ~x994755+2 ~x994754+1 ~x994753+1643520 x2921+536870912 ~x2118+268435456 ~x2117+134217728 ~x2116+67108864 ~x2115+33554432 ~x2114+16777216 ~x2113+8388608 ~x2112+4194304 ~x2111+2097152 ~x2110+1048576 ~x2109+524288 ~x2108+262144 ~x2107+131072 ~x2106+65536 ~x2105+32768 ~x2104+16384 ~x2103+8192 ~x2102+4096 ~x2101+2048 ~x2100+1024 ~x2099+512 ~x2098+256 ~x2097+128 ~x2096+64 ~x2095+32 ~x2094+16 ~x2093+8 ~x2092+4 ~x2091+2 ~x2090+1 ~x2089-0=2147483646
24.09/24.29	c 536870912 ~x1013010+268435456 ~x1013009+134217728 ~x1013008+67108864 ~x1013007+33554432 ~x1013006+16777216 ~x1013005+8388608 ~x1013004+4194304 ~x1013003+2097152 ~x1013002+1048576 ~x1013001+524288 ~x1013000+262144 ~x1012999+131072 ~x1012998+65536 ~x1012997+32768 ~x1012996+16384 ~x1012995+8192 ~x1012994+4096 ~x1012993+2048 ~x1012992+1024 ~x1012991+512 ~x1012990+256 ~x1012989+128 ~x1012988+64 ~x1012987+32 ~x1012986+16 ~x1012985+8 ~x1012984+4 ~x1012983+2 ~x1012982+1 ~x1012981+1464320 x2922+536870912 ~x2148+268435456 ~x2147+134217728 ~x2146+67108864 ~x2145+33554432 ~x2144+16777216 ~x2143+8388608 ~x2142+4194304 ~x2141+2097152 ~x2140+1048576 ~x2139+524288 ~x2138+262144 ~x2137+131072 ~x2136+65536 ~x2135+32768 ~x2134+16384 ~x2133+8192 ~x2132+4096 ~x2131+2048 ~x2130+1024 ~x2129+512 ~x2128+256 ~x2127+128 ~x2126+64 ~x2125+32 ~x2124+16 ~x2123+8 ~x2122+4 ~x2121+2 ~x2120+1 ~x2119-0=2147483646
24.47/24.68	c 536870912 ~x1031238+268435456 ~x1031237+134217728 ~x1031236+67108864 ~x1031235+33554432 ~x1031234+16777216 ~x1031233+8388608 ~x1031232+4194304 ~x1031231+2097152 ~x1031230+1048576 ~x1031229+524288 ~x1031228+262144 ~x1031227+131072 ~x1031226+65536 ~x1031225+32768 ~x1031224+16384 ~x1031223+8192 ~x1031222+4096 ~x1031221+2048 ~x1031220+1024 ~x1031219+512 ~x1031218+256 ~x1031217+128 ~x1031216+64 ~x1031215+32 ~x1031214+16 ~x1031213+8 ~x1031212+4 ~x1031211+2 ~x1031210+1 ~x1031209+1907712 x2923+536870912 ~x2178+268435456 ~x2177+134217728 ~x2176+67108864 ~x2175+33554432 ~x2174+16777216 ~x2173+8388608 ~x2172+4194304 ~x2171+2097152 ~x2170+1048576 ~x2169+524288 ~x2168+262144 ~x2167+131072 ~x2166+65536 ~x2165+32768 ~x2164+16384 ~x2163+8192 ~x2162+4096 ~x2161+2048 ~x2160+1024 ~x2159+512 ~x2158+256 ~x2157+128 ~x2156+64 ~x2155+32 ~x2154+16 ~x2153+8 ~x2152+4 ~x2151+2 ~x2150+1 ~x2149-0=2147483646
24.88/25.07	c 536870912 ~x1049466+268435456 ~x1049465+134217728 ~x1049464+67108864 ~x1049463+33554432 ~x1049462+16777216 ~x1049461+8388608 ~x1049460+4194304 ~x1049459+2097152 ~x1049458+1048576 ~x1049457+524288 ~x1049456+262144 ~x1049455+131072 ~x1049454+65536 ~x1049453+32768 ~x1049452+16384 ~x1049451+8192 ~x1049450+4096 ~x1049449+2048 ~x1049448+1024 ~x1049447+512 ~x1049446+256 ~x1049445+128 ~x1049444+64 ~x1049443+32 ~x1049442+16 ~x1049441+8 ~x1049440+4 ~x1049439+2 ~x1049438+1 ~x1049437+2354176 x2924+536870912 ~x2208+268435456 ~x2207+134217728 ~x2206+67108864 ~x2205+33554432 ~x2204+16777216 ~x2203+8388608 ~x2202+4194304 ~x2201+2097152 ~x2200+1048576 ~x2199+524288 ~x2198+262144 ~x2197+131072 ~x2196+65536 ~x2195+32768 ~x2194+16384 ~x2193+8192 ~x2192+4096 ~x2191+2048 ~x2190+1024 ~x2189+512 ~x2188+256 ~x2187+128 ~x2186+64 ~x2185+32 ~x2184+16 ~x2183+8 ~x2182+4 ~x2181+2 ~x2180+1 ~x2179-0=2147483646
25.27/25.46	c 536870912 ~x1067694+268435456 ~x1067693+134217728 ~x1067692+67108864 ~x1067691+33554432 ~x1067690+16777216 ~x1067689+8388608 ~x1067688+4194304 ~x1067687+2097152 ~x1067686+1048576 ~x1067685+524288 ~x1067684+262144 ~x1067683+131072 ~x1067682+65536 ~x1067681+32768 ~x1067680+16384 ~x1067679+8192 ~x1067678+4096 ~x1067677+2048 ~x1067676+1024 ~x1067675+512 ~x1067674+256 ~x1067673+128 ~x1067672+64 ~x1067671+32 ~x1067670+16 ~x1067669+8 ~x1067668+4 ~x1067667+2 ~x1067666+1 ~x1067665+1558528 x2925+536870912 ~x2238+268435456 ~x2237+134217728 ~x2236+67108864 ~x2235+33554432 ~x2234+16777216 ~x2233+8388608 ~x2232+4194304 ~x2231+2097152 ~x2230+1048576 ~x2229+524288 ~x2228+262144 ~x2227+131072 ~x2226+65536 ~x2225+32768 ~x2224+16384 ~x2223+8192 ~x2222+4096 ~x2221+2048 ~x2220+1024 ~x2219+512 ~x2218+256 ~x2217+128 ~x2216+64 ~x2215+32 ~x2214+16 ~x2213+8 ~x2212+4 ~x2211+2 ~x2210+1 ~x2209-0=2147483646
25.67/25.85	c 536870912 ~x1085922+268435456 ~x1085921+134217728 ~x1085920+67108864 ~x1085919+33554432 ~x1085918+16777216 ~x1085917+8388608 ~x1085916+4194304 ~x1085915+2097152 ~x1085914+1048576 ~x1085913+524288 ~x1085912+262144 ~x1085911+131072 ~x1085910+65536 ~x1085909+32768 ~x1085908+16384 ~x1085907+8192 ~x1085906+4096 ~x1085905+2048 ~x1085904+1024 ~x1085903+512 ~x1085902+256 ~x1085901+128 ~x1085900+64 ~x1085899+32 ~x1085898+16 ~x1085897+8 ~x1085896+4 ~x1085895+2 ~x1085894+1 ~x1085893+3072000 x2926+536870912 ~x2268+268435456 ~x2267+134217728 ~x2266+67108864 ~x2265+33554432 ~x2264+16777216 ~x2263+8388608 ~x2262+4194304 ~x2261+2097152 ~x2260+1048576 ~x2259+524288 ~x2258+262144 ~x2257+131072 ~x2256+65536 ~x2255+32768 ~x2254+16384 ~x2253+8192 ~x2252+4096 ~x2251+2048 ~x2250+1024 ~x2249+512 ~x2248+256 ~x2247+128 ~x2246+64 ~x2245+32 ~x2244+16 ~x2243+8 ~x2242+4 ~x2241+2 ~x2240+1 ~x2239-0=2147483646
26.07/26.24	c 536870912 ~x1104150+268435456 ~x1104149+134217728 ~x1104148+67108864 ~x1104147+33554432 ~x1104146+16777216 ~x1104145+8388608 ~x1104144+4194304 ~x1104143+2097152 ~x1104142+1048576 ~x1104141+524288 ~x1104140+262144 ~x1104139+131072 ~x1104138+65536 ~x1104137+32768 ~x1104136+16384 ~x1104135+8192 ~x1104134+4096 ~x1104133+2048 ~x1104132+1024 ~x1104131+512 ~x1104130+256 ~x1104129+128 ~x1104128+64 ~x1104127+32 ~x1104126+16 ~x1104125+8 ~x1104124+4 ~x1104123+2 ~x1104122+1 ~x1104121+4561920 x2927+536870912 ~x2298+268435456 ~x2297+134217728 ~x2296+67108864 ~x2295+33554432 ~x2294+16777216 ~x2293+8388608 ~x2292+4194304 ~x2291+2097152 ~x2290+1048576 ~x2289+524288 ~x2288+262144 ~x2287+131072 ~x2286+65536 ~x2285+32768 ~x2284+16384 ~x2283+8192 ~x2282+4096 ~x2281+2048 ~x2280+1024 ~x2279+512 ~x2278+256 ~x2277+128 ~x2276+64 ~x2275+32 ~x2274+16 ~x2273+8 ~x2272+4 ~x2271+2 ~x2270+1 ~x2269-0=2147483646
26.58/26.73	c 536870912 ~x1126544+268435456 ~x1126543+134217728 ~x1126542+67108864 ~x1126541+33554432 ~x1126540+16777216 ~x1126539+8388608 ~x1126538+4194304 ~x1126537+2097152 ~x1126536+1048576 ~x1126535+524288 ~x1126534+262144 ~x1126533+131072 ~x1126532+65536 ~x1126531+32768 ~x1126530+16384 ~x1126529+8192 ~x1126528+4096 ~x1126527+2048 ~x1126526+1024 ~x1126525+512 ~x1126524+256 ~x1126523+128 ~x1126522+64 ~x1126521+32 ~x1126520+16 ~x1126519+8 ~x1126518+4 ~x1126517+2 ~x1126516+1 ~x1126515+2048000 x2928+536870912 ~x2328+268435456 ~x2327+134217728 ~x2326+67108864 ~x2325+33554432 ~x2324+16777216 ~x2323+8388608 ~x2322+4194304 ~x2321+2097152 ~x2320+1048576 ~x2319+524288 ~x2318+262144 ~x2317+131072 ~x2316+65536 ~x2315+32768 ~x2314+16384 ~x2313+8192 ~x2312+4096 ~x2311+2048 ~x2310+1024 ~x2309+512 ~x2308+256 ~x2307+128 ~x2306+64 ~x2305+32 ~x2304+16 ~x2303+8 ~x2302+4 ~x2301+2 ~x2300+1 ~x2299-0=2147483646
26.98/27.12	c 536870912 ~x1144772+268435456 ~x1144771+134217728 ~x1144770+67108864 ~x1144769+33554432 ~x1144768+16777216 ~x1144767+8388608 ~x1144766+4194304 ~x1144765+2097152 ~x1144764+1048576 ~x1144763+524288 ~x1144762+262144 ~x1144761+131072 ~x1144760+65536 ~x1144759+32768 ~x1144758+16384 ~x1144757+8192 ~x1144756+4096 ~x1144755+2048 ~x1144754+1024 ~x1144753+512 ~x1144752+256 ~x1144751+128 ~x1144750+64 ~x1144749+32 ~x1144748+16 ~x1144747+8 ~x1144746+4 ~x1144745+2 ~x1144744+1 ~x1144743+1873920 x2929+536870912 ~x2358+268435456 ~x2357+134217728 ~x2356+67108864 ~x2355+33554432 ~x2354+16777216 ~x2353+8388608 ~x2352+4194304 ~x2351+2097152 ~x2350+1048576 ~x2349+524288 ~x2348+262144 ~x2347+131072 ~x2346+65536 ~x2345+32768 ~x2344+16384 ~x2343+8192 ~x2342+4096 ~x2341+2048 ~x2340+1024 ~x2339+512 ~x2338+256 ~x2337+128 ~x2336+64 ~x2335+32 ~x2334+16 ~x2333+8 ~x2332+4 ~x2331+2 ~x2330+1 ~x2329-0=2147483646
27.38/27.51	c 536870912 ~x1163000+268435456 ~x1162999+134217728 ~x1162998+67108864 ~x1162997+33554432 ~x1162996+16777216 ~x1162995+8388608 ~x1162994+4194304 ~x1162993+2097152 ~x1162992+1048576 ~x1162991+524288 ~x1162990+262144 ~x1162989+131072 ~x1162988+65536 ~x1162987+32768 ~x1162986+16384 ~x1162985+8192 ~x1162984+4096 ~x1162983+2048 ~x1162982+1024 ~x1162981+512 ~x1162980+256 ~x1162979+128 ~x1162978+64 ~x1162977+32 ~x1162976+16 ~x1162975+8 ~x1162974+4 ~x1162973+2 ~x1162972+1 ~x1162971+1024000 x2930+536870912 ~x2388+268435456 ~x2387+134217728 ~x2386+67108864 ~x2385+33554432 ~x2384+16777216 ~x2383+8388608 ~x2382+4194304 ~x2381+2097152 ~x2380+1048576 ~x2379+524288 ~x2378+262144 ~x2377+131072 ~x2376+65536 ~x2375+32768 ~x2374+16384 ~x2373+8192 ~x2372+4096 ~x2371+2048 ~x2370+1024 ~x2369+512 ~x2368+256 ~x2367+128 ~x2366+64 ~x2365+32 ~x2364+16 ~x2363+8 ~x2362+4 ~x2361+2 ~x2360+1 ~x2359-0=2147483646
27.77/27.90	c 536870912 ~x1181228+268435456 ~x1181227+134217728 ~x1181226+67108864 ~x1181225+33554432 ~x1181224+16777216 ~x1181223+8388608 ~x1181222+4194304 ~x1181221+2097152 ~x1181220+1048576 ~x1181219+524288 ~x1181218+262144 ~x1181217+131072 ~x1181216+65536 ~x1181215+32768 ~x1181214+16384 ~x1181213+8192 ~x1181212+4096 ~x1181211+2048 ~x1181210+1024 ~x1181209+512 ~x1181208+256 ~x1181207+128 ~x1181206+64 ~x1181205+32 ~x1181204+16 ~x1181203+8 ~x1181202+4 ~x1181201+2 ~x1181200+1 ~x1181199+3858432 x2931+536870912 ~x2418+268435456 ~x2417+134217728 ~x2416+67108864 ~x2415+33554432 ~x2414+16777216 ~x2413+8388608 ~x2412+4194304 ~x2411+2097152 ~x2410+1048576 ~x2409+524288 ~x2408+262144 ~x2407+131072 ~x2406+65536 ~x2405+32768 ~x2404+16384 ~x2403+8192 ~x2402+4096 ~x2401+2048 ~x2400+1024 ~x2399+512 ~x2398+256 ~x2397+128 ~x2396+64 ~x2395+32 ~x2394+16 ~x2393+8 ~x2392+4 ~x2391+2 ~x2390+1 ~x2389-0=2147483646
28.07/28.29	c 536870912 ~x1199456+268435456 ~x1199455+134217728 ~x1199454+67108864 ~x1199453+33554432 ~x1199452+16777216 ~x1199451+8388608 ~x1199450+4194304 ~x1199449+2097152 ~x1199448+1048576 ~x1199447+524288 ~x1199446+262144 ~x1199445+131072 ~x1199444+65536 ~x1199443+32768 ~x1199442+16384 ~x1199441+8192 ~x1199440+4096 ~x1199439+2048 ~x1199438+1024 ~x1199437+512 ~x1199436+256 ~x1199435+128 ~x1199434+64 ~x1199433+32 ~x1199432+16 ~x1199431+8 ~x1199430+4 ~x1199429+2 ~x1199428+1 ~x1199427+1829888 x2932+536870912 ~x2448+268435456 ~x2447+134217728 ~x2446+67108864 ~x2445+33554432 ~x2444+16777216 ~x2443+8388608 ~x2442+4194304 ~x2441+2097152 ~x2440+1048576 ~x2439+524288 ~x2438+262144 ~x2437+131072 ~x2436+65536 ~x2435+32768 ~x2434+16384 ~x2433+8192 ~x2432+4096 ~x2431+2048 ~x2430+1024 ~x2429+512 ~x2428+256 ~x2427+128 ~x2426+64 ~x2425+32 ~x2424+16 ~x2423+8 ~x2422+4 ~x2421+2 ~x2420+1 ~x2419-0=2147483646
28.48/28.68	c 536870912 ~x1217684+268435456 ~x1217683+134217728 ~x1217682+67108864 ~x1217681+33554432 ~x1217680+16777216 ~x1217679+8388608 ~x1217678+4194304 ~x1217677+2097152 ~x1217676+1048576 ~x1217675+524288 ~x1217674+262144 ~x1217673+131072 ~x1217672+65536 ~x1217671+32768 ~x1217670+16384 ~x1217669+8192 ~x1217668+4096 ~x1217667+2048 ~x1217666+1024 ~x1217665+512 ~x1217664+256 ~x1217663+128 ~x1217662+64 ~x1217661+32 ~x1217660+16 ~x1217659+8 ~x1217658+4 ~x1217657+2 ~x1217656+1 ~x1217655+1935360 x2933+536870912 ~x2478+268435456 ~x2477+134217728 ~x2476+67108864 ~x2475+33554432 ~x2474+16777216 ~x2473+8388608 ~x2472+4194304 ~x2471+2097152 ~x2470+1048576 ~x2469+524288 ~x2468+262144 ~x2467+131072 ~x2466+65536 ~x2465+32768 ~x2464+16384 ~x2463+8192 ~x2462+4096 ~x2461+2048 ~x2460+1024 ~x2459+512 ~x2458+256 ~x2457+128 ~x2456+64 ~x2455+32 ~x2454+16 ~x2453+8 ~x2452+4 ~x2451+2 ~x2450+1 ~x2449-0=2147483646
28.87/29.07	c 536870912 ~x1235912+268435456 ~x1235911+134217728 ~x1235910+67108864 ~x1235909+33554432 ~x1235908+16777216 ~x1235907+8388608 ~x1235906+4194304 ~x1235905+2097152 ~x1235904+1048576 ~x1235903+524288 ~x1235902+262144 ~x1235901+131072 ~x1235900+65536 ~x1235899+32768 ~x1235898+16384 ~x1235897+8192 ~x1235896+4096 ~x1235895+2048 ~x1235894+1024 ~x1235893+512 ~x1235892+256 ~x1235891+128 ~x1235890+64 ~x1235889+32 ~x1235888+16 ~x1235887+8 ~x1235886+4 ~x1235885+2 ~x1235884+1 ~x1235883+1888256 x2934+536870912 ~x2508+268435456 ~x2507+134217728 ~x2506+67108864 ~x2505+33554432 ~x2504+16777216 ~x2503+8388608 ~x2502+4194304 ~x2501+2097152 ~x2500+1048576 ~x2499+524288 ~x2498+262144 ~x2497+131072 ~x2496+65536 ~x2495+32768 ~x2494+16384 ~x2493+8192 ~x2492+4096 ~x2491+2048 ~x2490+1024 ~x2489+512 ~x2488+256 ~x2487+128 ~x2486+64 ~x2485+32 ~x2484+16 ~x2483+8 ~x2482+4 ~x2481+2 ~x2480+1 ~x2479-0=2147483646
29.27/29.48	c 536870912 ~x1254140+268435456 ~x1254139+134217728 ~x1254138+67108864 ~x1254137+33554432 ~x1254136+16777216 ~x1254135+8388608 ~x1254134+4194304 ~x1254133+2097152 ~x1254132+1048576 ~x1254131+524288 ~x1254130+262144 ~x1254129+131072 ~x1254128+65536 ~x1254127+32768 ~x1254126+16384 ~x1254125+8192 ~x1254124+4096 ~x1254123+2048 ~x1254122+1024 ~x1254121+512 ~x1254120+256 ~x1254119+128 ~x1254118+64 ~x1254117+32 ~x1254116+16 ~x1254115+8 ~x1254114+4 ~x1254113+2 ~x1254112+1 ~x1254111+1959936 x2935+536870912 ~x2538+268435456 ~x2537+134217728 ~x2536+67108864 ~x2535+33554432 ~x2534+16777216 ~x2533+8388608 ~x2532+4194304 ~x2531+2097152 ~x2530+1048576 ~x2529+524288 ~x2528+262144 ~x2527+131072 ~x2526+65536 ~x2525+32768 ~x2524+16384 ~x2523+8192 ~x2522+4096 ~x2521+2048 ~x2520+1024 ~x2519+512 ~x2518+256 ~x2517+128 ~x2516+64 ~x2515+32 ~x2514+16 ~x2513+8 ~x2512+4 ~x2511+2 ~x2510+1 ~x2509-0=2147483646
29.67/29.87	c 536870912 ~x1272368+268435456 ~x1272367+134217728 ~x1272366+67108864 ~x1272365+33554432 ~x1272364+16777216 ~x1272363+8388608 ~x1272362+4194304 ~x1272361+2097152 ~x1272360+1048576 ~x1272359+524288 ~x1272358+262144 ~x1272357+131072 ~x1272356+65536 ~x1272355+32768 ~x1272354+16384 ~x1272353+8192 ~x1272352+4096 ~x1272351+2048 ~x1272350+1024 ~x1272349+512 ~x1272348+256 ~x1272347+128 ~x1272346+64 ~x1272345+32 ~x1272344+16 ~x1272343+8 ~x1272342+4 ~x1272341+2 ~x1272340+1 ~x1272339+1968128 x2936+536870912 ~x2568+268435456 ~x2567+134217728 ~x2566+67108864 ~x2565+33554432 ~x2564+16777216 ~x2563+8388608 ~x2562+4194304 ~x2561+2097152 ~x2560+1048576 ~x2559+524288 ~x2558+262144 ~x2557+131072 ~x2556+65536 ~x2555+32768 ~x2554+16384 ~x2553+8192 ~x2552+4096 ~x2551+2048 ~x2550+1024 ~x2549+512 ~x2548+256 ~x2547+128 ~x2546+64 ~x2545+32 ~x2544+16 ~x2543+8 ~x2542+4 ~x2541+2 ~x2540+1 ~x2539-0=2147483646
30.08/30.26	c 536870912 ~x1290596+268435456 ~x1290595+134217728 ~x1290594+67108864 ~x1290593+33554432 ~x1290592+16777216 ~x1290591+8388608 ~x1290590+4194304 ~x1290589+2097152 ~x1290588+1048576 ~x1290587+524288 ~x1290586+262144 ~x1290585+131072 ~x1290584+65536 ~x1290583+32768 ~x1290582+16384 ~x1290581+8192 ~x1290580+4096 ~x1290579+2048 ~x1290578+1024 ~x1290577+512 ~x1290576+256 ~x1290575+128 ~x1290574+64 ~x1290573+32 ~x1290572+16 ~x1290571+8 ~x1290570+4 ~x1290569+2 ~x1290568+1 ~x1290567+4889600 x2937+536870912 ~x2598+268435456 ~x2597+134217728 ~x2596+67108864 ~x2595+33554432 ~x2594+16777216 ~x2593+8388608 ~x2592+4194304 ~x2591+2097152 ~x2590+1048576 ~x2589+524288 ~x2588+262144 ~x2587+131072 ~x2586+65536 ~x2585+32768 ~x2584+16384 ~x2583+8192 ~x2582+4096 ~x2581+2048 ~x2580+1024 ~x2579+512 ~x2578+256 ~x2577+128 ~x2576+64 ~x2575+32 ~x2574+16 ~x2573+8 ~x2572+4 ~x2571+2 ~x2570+1 ~x2569-0=2147483646
30.58/30.73	c 536870912 ~x1312502+268435456 ~x1312501+134217728 ~x1312500+67108864 ~x1312499+33554432 ~x1312498+16777216 ~x1312497+8388608 ~x1312496+4194304 ~x1312495+2097152 ~x1312494+1048576 ~x1312493+524288 ~x1312492+262144 ~x1312491+131072 ~x1312490+65536 ~x1312489+32768 ~x1312488+16384 ~x1312487+8192 ~x1312486+4096 ~x1312485+2048 ~x1312484+1024 ~x1312483+512 ~x1312482+256 ~x1312481+128 ~x1312480+64 ~x1312479+32 ~x1312478+16 ~x1312477+8 ~x1312476+4 ~x1312475+2 ~x1312474+1 ~x1312473+1654784 x2938+536870912 ~x2628+268435456 ~x2627+134217728 ~x2626+67108864 ~x2625+33554432 ~x2624+16777216 ~x2623+8388608 ~x2622+4194304 ~x2621+2097152 ~x2620+1048576 ~x2619+524288 ~x2618+262144 ~x2617+131072 ~x2616+65536 ~x2615+32768 ~x2614+16384 ~x2613+8192 ~x2612+4096 ~x2611+2048 ~x2610+1024 ~x2609+512 ~x2608+256 ~x2607+128 ~x2606+64 ~x2605+32 ~x2604+16 ~x2603+8 ~x2602+4 ~x2601+2 ~x2600+1 ~x2599-0=2147483646
30.98/31.12	c 536870912 ~x1330730+268435456 ~x1330729+134217728 ~x1330728+67108864 ~x1330727+33554432 ~x1330726+16777216 ~x1330725+8388608 ~x1330724+4194304 ~x1330723+2097152 ~x1330722+1048576 ~x1330721+524288 ~x1330720+262144 ~x1330719+131072 ~x1330718+65536 ~x1330717+32768 ~x1330716+16384 ~x1330715+8192 ~x1330714+4096 ~x1330713+2048 ~x1330712+1024 ~x1330711+512 ~x1330710+256 ~x1330709+128 ~x1330708+64 ~x1330707+32 ~x1330706+16 ~x1330705+8 ~x1330704+4 ~x1330703+2 ~x1330702+1 ~x1330701+1894400 x2939+536870912 ~x2658+268435456 ~x2657+134217728 ~x2656+67108864 ~x2655+33554432 ~x2654+16777216 ~x2653+8388608 ~x2652+4194304 ~x2651+2097152 ~x2650+1048576 ~x2649+524288 ~x2648+262144 ~x2647+131072 ~x2646+65536 ~x2645+32768 ~x2644+16384 ~x2643+8192 ~x2642+4096 ~x2641+2048 ~x2640+1024 ~x2639+512 ~x2638+256 ~x2637+128 ~x2636+64 ~x2635+32 ~x2634+16 ~x2633+8 ~x2632+4 ~x2631+2 ~x2630+1 ~x2629-0=2147483646
31.37/31.51	c 536870912 ~x1348958+268435456 ~x1348957+134217728 ~x1348956+67108864 ~x1348955+33554432 ~x1348954+16777216 ~x1348953+8388608 ~x1348952+4194304 ~x1348951+2097152 ~x1348950+1048576 ~x1348949+524288 ~x1348948+262144 ~x1348947+131072 ~x1348946+65536 ~x1348945+32768 ~x1348944+16384 ~x1348943+8192 ~x1348942+4096 ~x1348941+2048 ~x1348940+1024 ~x1348939+512 ~x1348938+256 ~x1348937+128 ~x1348936+64 ~x1348935+32 ~x1348934+16 ~x1348933+8 ~x1348932+4 ~x1348931+2 ~x1348930+1 ~x1348929+1875968 x2940+536870912 ~x2688+268435456 ~x2687+134217728 ~x2686+67108864 ~x2685+33554432 ~x2684+16777216 ~x2683+8388608 ~x2682+4194304 ~x2681+2097152 ~x2680+1048576 ~x2679+524288 ~x2678+262144 ~x2677+131072 ~x2676+65536 ~x2675+32768 ~x2674+16384 ~x2673+8192 ~x2672+4096 ~x2671+2048 ~x2670+1024 ~x2669+512 ~x2668+256 ~x2667+128 ~x2666+64 ~x2665+32 ~x2664+16 ~x2663+8 ~x2662+4 ~x2661+2 ~x2660+1 ~x2659-0=2147483646
31.67/31.90	c 536870912 ~x1367186+268435456 ~x1367185+134217728 ~x1367184+67108864 ~x1367183+33554432 ~x1367182+16777216 ~x1367181+8388608 ~x1367180+4194304 ~x1367179+2097152 ~x1367178+1048576 ~x1367177+524288 ~x1367176+262144 ~x1367175+131072 ~x1367174+65536 ~x1367173+32768 ~x1367172+16384 ~x1367171+8192 ~x1367170+4096 ~x1367169+2048 ~x1367168+1024 ~x1367167+512 ~x1367166+256 ~x1367165+128 ~x1367164+64 ~x1367163+32 ~x1367162+16 ~x1367161+8 ~x1367160+4 ~x1367159+2 ~x1367158+1 ~x1367157+1812480 x2941+536870912 ~x2718+268435456 ~x2717+134217728 ~x2716+67108864 ~x2715+33554432 ~x2714+16777216 ~x2713+8388608 ~x2712+4194304 ~x2711+2097152 ~x2710+1048576 ~x2709+524288 ~x2708+262144 ~x2707+131072 ~x2706+65536 ~x2705+32768 ~x2704+16384 ~x2703+8192 ~x2702+4096 ~x2701+2048 ~x2700+1024 ~x2699+512 ~x2698+256 ~x2697+128 ~x2696+64 ~x2695+32 ~x2694+16 ~x2693+8 ~x2692+4 ~x2691+2 ~x2690+1 ~x2689-0=2147483646
32.08/32.29	c 536870912 ~x1385414+268435456 ~x1385413+134217728 ~x1385412+67108864 ~x1385411+33554432 ~x1385410+16777216 ~x1385409+8388608 ~x1385408+4194304 ~x1385407+2097152 ~x1385406+1048576 ~x1385405+524288 ~x1385404+262144 ~x1385403+131072 ~x1385402+65536 ~x1385401+32768 ~x1385400+16384 ~x1385399+8192 ~x1385398+4096 ~x1385397+2048 ~x1385396+1024 ~x1385395+512 ~x1385394+256 ~x1385393+128 ~x1385392+64 ~x1385391+32 ~x1385390+16 ~x1385389+8 ~x1385388+4 ~x1385387+2 ~x1385386+1 ~x1385385+1484800 x2942+536870912 ~x2748+268435456 ~x2747+134217728 ~x2746+67108864 ~x2745+33554432 ~x2744+16777216 ~x2743+8388608 ~x2742+4194304 ~x2741+2097152 ~x2740+1048576 ~x2739+524288 ~x2738+262144 ~x2737+131072 ~x2736+65536 ~x2735+32768 ~x2734+16384 ~x2733+8192 ~x2732+4096 ~x2731+2048 ~x2730+1024 ~x2729+512 ~x2728+256 ~x2727+128 ~x2726+64 ~x2725+32 ~x2724+16 ~x2723+8 ~x2722+4 ~x2721+2 ~x2720+1 ~x2719-0=2147483646
32.47/32.68	c 536870912 ~x1403642+268435456 ~x1403641+134217728 ~x1403640+67108864 ~x1403639+33554432 ~x1403638+16777216 ~x1403637+8388608 ~x1403636+4194304 ~x1403635+2097152 ~x1403634+1048576 ~x1403633+524288 ~x1403632+262144 ~x1403631+131072 ~x1403630+65536 ~x1403629+32768 ~x1403628+16384 ~x1403627+8192 ~x1403626+4096 ~x1403625+2048 ~x1403624+1024 ~x1403623+512 ~x1403622+256 ~x1403621+128 ~x1403620+64 ~x1403619+32 ~x1403618+16 ~x1403617+8 ~x1403616+4 ~x1403615+2 ~x1403614+1 ~x1403613+2057216 x2943+536870912 ~x2778+268435456 ~x2777+134217728 ~x2776+67108864 ~x2775+33554432 ~x2774+16777216 ~x2773+8388608 ~x2772+4194304 ~x2771+2097152 ~x2770+1048576 ~x2769+524288 ~x2768+262144 ~x2767+131072 ~x2766+65536 ~x2765+32768 ~x2764+16384 ~x2763+8192 ~x2762+4096 ~x2761+2048 ~x2760+1024 ~x2759+512 ~x2758+256 ~x2757+128 ~x2756+64 ~x2755+32 ~x2754+16 ~x2753+8 ~x2752+4 ~x2751+2 ~x2750+1 ~x2749-0=2147483646
32.88/33.07	c 536870912 ~x1421870+268435456 ~x1421869+134217728 ~x1421868+67108864 ~x1421867+33554432 ~x1421866+16777216 ~x1421865+8388608 ~x1421864+4194304 ~x1421863+2097152 ~x1421862+1048576 ~x1421861+524288 ~x1421860+262144 ~x1421859+131072 ~x1421858+65536 ~x1421857+32768 ~x1421856+16384 ~x1421855+8192 ~x1421854+4096 ~x1421853+2048 ~x1421852+1024 ~x1421851+512 ~x1421850+256 ~x1421849+128 ~x1421848+64 ~x1421847+32 ~x1421846+16 ~x1421845+8 ~x1421844+4 ~x1421843+2 ~x1421842+1 ~x1421841+2109440 x2944+536870912 ~x2808+268435456 ~x2807+134217728 ~x2806+67108864 ~x2805+33554432 ~x2804+16777216 ~x2803+8388608 ~x2802+4194304 ~x2801+2097152 ~x2800+1048576 ~x2799+524288 ~x2798+262144 ~x2797+131072 ~x2796+65536 ~x2795+32768 ~x2794+16384 ~x2793+8192 ~x2792+4096 ~x2791+2048 ~x2790+1024 ~x2789+512 ~x2788+256 ~x2787+128 ~x2786+64 ~x2785+32 ~x2784+16 ~x2783+8 ~x2782+4 ~x2781+2 ~x2780+1 ~x2779-0=2147483646
33.27/33.46	c 536870912 ~x1440098+268435456 ~x1440097+134217728 ~x1440096+67108864 ~x1440095+33554432 ~x1440094+16777216 ~x1440093+8388608 ~x1440092+4194304 ~x1440091+2097152 ~x1440090+1048576 ~x1440089+524288 ~x1440088+262144 ~x1440087+131072 ~x1440086+65536 ~x1440085+32768 ~x1440084+16384 ~x1440083+8192 ~x1440082+4096 ~x1440081+2048 ~x1440080+1024 ~x1440079+512 ~x1440078+256 ~x1440077+128 ~x1440076+64 ~x1440075+32 ~x1440074+16 ~x1440073+8 ~x1440072+4 ~x1440071+2 ~x1440070+1 ~x1440069+2749440 x2945+536870912 ~x2838+268435456 ~x2837+134217728 ~x2836+67108864 ~x2835+33554432 ~x2834+16777216 ~x2833+8388608 ~x2832+4194304 ~x2831+2097152 ~x2830+1048576 ~x2829+524288 ~x2828+262144 ~x2827+131072 ~x2826+65536 ~x2825+32768 ~x2824+16384 ~x2823+8192 ~x2822+4096 ~x2821+2048 ~x2820+1024 ~x2819+512 ~x2818+256 ~x2817+128 ~x2816+64 ~x2815+32 ~x2814+16 ~x2813+8 ~x2812+4 ~x2811+2 ~x2810+1 ~x2809-0=2147483646
57.67/57.84	c 35184372088832 ~x2604485+17592186044416 ~x2604484+8796093022208 ~x2604483+4398046511104 ~x2604482+2199023255552 ~x2604481+1099511627776 ~x2604480+549755813888 ~x2604479+274877906944 ~x2604478+137438953472 ~x2604477+68719476736 ~x2604476+34359738368 ~x2604475+17179869184 ~x2604474+8589934592 ~x2604473+4294967296 ~x2604472+2147483648 ~x2604471+1073741824 ~x2604470+536870912 ~x2604469+268435456 ~x2604468+134217728 ~x2604467+67108864 ~x2604466+33554432 ~x2604465+16777216 ~x2604464+8388608 ~x2604463+4194304 ~x2604462+2097152 ~x2604461+1048576 ~x2604460+524288 ~x2604459+262144 ~x2604458+131072 ~x2604457+65536 ~x2604456+32768 ~x2604455+16384 ~x2604454+8192 ~x2604453+4096 ~x2604452+2048 ~x2604451+1024 ~x2604450+512 ~x2604449+256 ~x2604448+128 ~x2604447+64 ~x2604446+32 ~x2604445+16 ~x2604444+8 ~x2604443+4 ~x2604442+2 ~x2604441+1 ~x2604440+565283651584 ~x2857+282641825792 ~x2856+141320912896 ~x2855+70660456448 ~x2854+35330228224 ~x2853+17665114112 ~x2852+8832557056 ~x2851+4416278528 ~x2850+2208139264 ~x2849+1104069632 ~x2848+552034816 ~x2847+276017408 ~x2846+138008704 ~x2845+69004352 ~x2844+34502176 ~x2843+17251088 ~x2842+8625544 ~x2841+4312772 ~x2840+2156386 ~x2839+23726573748224 x2833+11863286874112 x2832+5931643437056 x2831+2965821718528 x2830+1482910859264 x2829+741455429632 x2828+370727714816 x2827+185363857408 x2826+92681928704 x2825+46340964352 x2824+23170482176 x2823+11585241088 x2822+5792620544 x2821+2896310272 x2820+1448155136 x2819+724077568 x2818+362038784 x2817+181019392 x2816+90509696 x2815+45254848 x2814+22627424 x2813+11313712 x2812+5656856 x2811+2828428 x2810+1414214 x2809+32402189582336 x2803+16201094791168 x2802+8100547395584 x2801+4050273697792 x2800+2025136848896 x2799+1012568424448 x2798+506284212224 x2797+253142106112 x2796+126571053056 x2795+63285526528 x2794+31642763264 x2793+15821381632 x2792+7910690816 x2791+3955345408 x2790+1977672704 x2789+988836352 x2788+494418176 x2787+247209088 x2786+123604544 x2785+61802272 x2784+30901136 x2783+15450568 x2782+7725284 x2781+3862642 x2780+1931321 x2779+34546401673216 x2773+17273200836608 x2772+8636600418304 x2771+4318300209152 x2770+2159150104576 x2769+1079575052288 x2768+539787526144 x2767+269893763072 x2766+134946881536 x2765+67473440768 x2764+33736720384 x2763+16868360192 x2762+8434180096 x2761+4217090048 x2760+2108545024 x2759+1054272512 x2758+527136256 x2757+263568128 x2756+131784064 x2755+65892032 x2754+32946016 x2753+16473008 x2752+8236504 x2751+4118252 x2750+2059126 x2749+40889632161792 x2743+20444816080896 x2742+10222408040448 x2741+5111204020224 x2740+2555602010112 x2739+1277801005056 x2738+638900502528 x2737+319450251264 x2736+159725125632 x2735+79862562816 x2734+39931281408 x2733+19965640704 x2732+9982820352 x2731+4991410176 x2730+2495705088 x2729+1247852544 x2728+623926272 x2727+311963136 x2726+155981568 x2725+77990784 x2724+38995392 x2723+19497696 x2722+9748848 x2721+4874424 x2720+2437212 x2719+43620761600000 x2713+21810380800000 x2712+10905190400000 x2711+5452595200000 x2710+2726297600000 x2709+1363148800000 x2708+681574400000 x2707+340787200000 x2706+170393600000 x2705+85196800000 x2704+42598400000 x2703+21299200000 x2702+10649600000 x2701+5324800000 x2700+2662400000 x2699+1331200000 x2698+665600000 x2697+332800000 x2696+166400000 x2695+83200000 x2694+41600000 x2693+20800000 x2692+10400000 x2691+5200000 x2690+2600000 x2689+39949504086016 x2683+19974752043008 x2682+9987376021504 x2681+4993688010752 x2680+2496844005376 x2679+1248422002688 x2678+624211001344 x2677+312105500672 x2676+156052750336 x2675+78026375168 x2674+39013187584 x2673+19506593792 x2672+9753296896 x2671+4876648448 x2670+2438324224 x2669+1219162112 x2668+609581056 x2667+304790528 x2666+152395264 x2665+76197632 x2664+38098816 x2663+19049408 x2662+9524704 x2661+4762352 x2660+2381176 x2659+35826335481856 x2653+17913167740928 x2652+8956583870464 x2651+4478291935232 x2650+2239145967616 x2649+1119572983808 x2648+559786491904 x2647+279893245952 x2646+139946622976 x2645+69973311488 x2644+34986655744 x2643+17493327872 x2642+8746663936 x2641+4373331968 x2640+2186665984 x2639+1093332992 x2638+546666496 x2637+273333248 x2636+136666624 x2635+68333312 x2634+34166656 x2633+17083328 x2632+8541664 x2631+4270832 x2630+2135416 x2629+37664749256704 x2623+18832374628352 x2622+9416187314176 x2621+4708093657088 x2620+2354046828544 x2619+1177023414272 x2618+588511707136 x2617+294255853568 x2616+147127926784 x2615+73563963392 x2614+36781981696 x2613+18390990848 x2612+9195495424 x2611+4597747712 x2610+2298873856 x2609+1149436928 x2608+574718464 x2607+287359232 x2606+143679616 x2605+71839808 x2604+35919904 x2603+17959952 x2602+8979976 x2601+4489988 x2600+2244994 x2599+35071998296064 x2593+17535999148032 x2592+8767999574016 x2591+4383999787008 x2590+2191999893504 x2589+1095999946752 x2588+547999973376 x2587+273999986688 x2586+136999993344 x2585+68499996672 x2584+34249998336 x2583+17124999168 x2582+8562499584 x2581+4281249792 x2580+2140624896 x2579+1070312448 x2578+535156224 x2577+267578112 x2576+133789056 x2575+66894528 x2574+33447264 x2573+16723632 x2572+8361816 x2571+4180908 x2570+2090454 x2569+27000379015168 x2563+13500189507584 x2562+6750094753792 x2561+3375047376896 x2560+1687523688448 x2559+843761844224 x2558+421880922112 x2557+210940461056 x2556+105470230528 x2555+52735115264 x2554+26367557632 x2553+13183778816 x2552+6591889408 x2551+3295944704 x2550+1647972352 x2549+823986176 x2548+411993088 x2547+205996544 x2546+102998272 x2545+51499136 x2544+25749568 x2543+12874784 x2542+6437392 x2541+3218696 x2540+1609348 x2539+43166703026176 x2533+21583351513088 x2532+10791675756544 x2531+5395837878272 x2530+2697918939136 x2529+1348959469568 x2528+674479734784 x2527+337239867392 x2526+168619933696 x2525+84309966848 x2524+42154983424 x2523+21077491712 x2522+10538745856 x2521+5269372928 x2520+2634686464 x2519+1317343232 x2518+658671616 x2517+329335808 x2516+164667904 x2515+82333952 x2514+41166976 x2513+20583488 x2512+10291744 x2511+5145872 x2510+2572936 x2509+44861403168768 x2503+22430701584384 x2502+11215350792192 x2501+5607675396096 x2500+2803837698048 x2499+1401918849024 x2498+700959424512 x2497+350479712256 x2496+175239856128 x2495+87619928064 x2494+43809964032 x2493+21904982016 x2492+10952491008 x2491+5476245504 x2490+2738122752 x2489+1369061376 x2488+684530688 x2487+342265344 x2486+171132672 x2485+85566336 x2484+42783168 x2483+21391584 x2482+10695792 x2481+5347896 x2480+2673948 x2479+44038195511296 x2473+22019097755648 x2472+11009548877824 x2471+5504774438912 x2470+2752387219456 x2469+1376193609728 x2468+688096804864 x2467+344048402432 x2466+172024201216 x2465+86012100608 x2464+43006050304 x2463+21503025152 x2462+10751512576 x2461+5375756288 x2460+2687878144 x2459+1343939072 x2458+671969536 x2457+335984768 x2456+167992384 x2455+83996192 x2454+41998096 x2453+20999048 x2452+10499524 x2451+5249762 x2450+2624881 x2449+40543971180544 x2443+20271985590272 x2442+10135992795136 x2441+5067996397568 x2440+2533998198784 x2439+1266999099392 x2438+633499549696 x2437+316749774848 x2436+158374887424 x2435+79187443712 x2434+39593721856 x2433+19796860928 x2432+9898430464 x2431+4949215232 x2430+2474607616 x2429+1237303808 x2428+618651904 x2427+309325952 x2426+154662976 x2425+77331488 x2424+38665744 x2423+19332872 x2422+9666436 x2421+4833218 x2420+2416609 x2419+37364638416896 x2413+18682319208448 x2412+9341159604224 x2411+4670579802112 x2410+2335289901056 x2409+1167644950528 x2408+583822475264 x2407+291911237632 x2406+145955618816 x2405+72977809408 x2404+36488904704 x2403+18244452352 x2402+9122226176 x2401+4561113088 x2400+2280556544 x2399+1140278272 x2398+570139136 x2397+285069568 x2396+142534784 x2395+71267392 x2394+35633696 x2393+17816848 x2392+8908424 x2391+4454212 x2390+2227106 x2389+37552492904448 x2383+18776246452224 x2382+9388123226112 x2381+4694061613056 x2380+2347030806528 x2379+1173515403264 x2378+586757701632 x2377+293378850816 x2376+146689425408 x2375+73344712704 x2374+36672356352 x2373+18336178176 x2372+9168089088 x2371+4584044544 x2370+2292022272 x2369+1146011136 x2368+573005568 x2367+286502784 x2366+143251392 x2365+71625696 x2364+35812848 x2363+17906424 x2362+8953212 x2361+4476606 x2360+2238303 x2359+33554432000000 x2353+16777216000000 x2352+8388608000000 x2351+4194304000000 x2350+2097152000000 x2349+1048576000000 x2348+524288000000 x2347+262144000000 x2346+131072000000 x2345+65536000000 x2344+32768000000 x2343+16384000000 x2342+8192000000 x2341+4096000000 x2340+2048000000 x2339+1024000000 x2338+512000000 x2337+256000000 x2336+128000000 x2335+64000000 x2334+32000000 x2333+16000000 x2332+8000000 x2331+4000000 x2330+2000000 x2329+32575464669184 x2323+16287732334592 x2322+8143866167296 x2321+4071933083648 x2320+2035966541824 x2319+1017983270912 x2318+508991635456 x2317+254495817728 x2316+127247908864 x2315+63623954432 x2314+31811977216 x2313+15905988608 x2312+7952994304 x2311+3976497152 x2310+1988248576 x2309+994124288 x2308+497062144 x2307+248531072 x2306+124265536 x2305+62132768 x2304+31066384 x2303+15533192 x2302+7766596 x2301+3883298 x2300+1941649 x2299+36757034762240 x2293+18378517381120 x2292+9189258690560 x2291+4594629345280 x2290+2297314672640 x2289+1148657336320 x2288+574328668160 x2287+287164334080 x2286+143582167040 x2285+71791083520 x2284+35895541760 x2283+17947770880 x2282+8973885440 x2281+4486942720 x2280+2243471360 x2279+1121735680 x2278+560867840 x2277+280433920 x2276+140216960 x2275+70108480 x2274+35054240 x2273+17527120 x2272+8763560 x2271+4381780 x2270+2190890 x2269+34627787948032 x2263+17313893974016 x2262+8656946987008 x2261+4328473493504 x2260+2164236746752 x2259+1082118373376 x2258+541059186688 x2257+270529593344 x2256+135264796672 x2255+67632398336 x2254+33816199168 x2253+16908099584 x2252+8454049792 x2251+4227024896 x2250+2113512448 x2249+1056756224 x2248+528378112 x2247+264189056 x2246+132094528 x2245+66047264 x2244+33023632 x2243+16511816 x2242+8255908 x2241+4127954 x2240+2063977 x2239+27922857459712 x2233+13961428729856 x2232+6980714364928 x2231+3490357182464 x2230+1745178591232 x2229+872589295616 x2228+436294647808 x2227+218147323904 x2226+109073661952 x2225+54536830976 x2224+27268415488 x2223+13634207744 x2222+6817103872 x2221+3408551936 x2220+1704275968 x2219+852137984 x2218+426068992 x2217+213034496 x2216+106517248 x2215+53258624 x2214+26629312 x2213+13314656 x2212+6657328 x2211+3328664 x2210+1664332 x2209+25165824000000 x2203+12582912000000 x2202+6291456000000 x2201+3145728000000 x2200+1572864000000 x2199+786432000000 x2198+393216000000 x2197+196608000000 x2196+98304000000 x2195+49152000000 x2194+24576000000 x2193+12288000000 x2192+6144000000 x2191+3072000000 x2190+1536000000 x2189+768000000 x2188+384000000 x2187+192000000 x2186+96000000 x2185+48000000 x2184+24000000 x2183+12000000 x2182+6000000 x2181+3000000 x2180+1500000 x2179+30890126213120 x2173+15445063106560 x2172+7722531553280 x2171+3861265776640 x2170+1930632888320 x2169+965316444160 x2168+482658222080 x2167+241329111040 x2166+120664555520 x2165+60332277760 x2164+30166138880 x2163+15083069440 x2162+7541534720 x2161+3770767360 x2160+1885383680 x2159+942691840 x2158+471345920 x2157+235672960 x2156+117836480 x2155+58918240 x2154+29459120 x2153+14729560 x2152+7364780 x2151+3682390 x2150+1841195 x2149+38257941282816 x2143+19128970641408 x2142+9564485320704 x2141+4782242660352 x2140+2391121330176 x2139+1195560665088 x2138+597780332544 x2137+298890166272 x2136+149445083136 x2135+74722541568 x2134+37361270784 x2133+18680635392 x2132+9340317696 x2131+4670158848 x2130+2335079424 x2129+1167539712 x2128+583769856 x2127+291884928 x2126+145942464 x2125+72971232 x2124+36485616 x2123+18242808 x2122+9121404 x2121+4560702 x2120+2280351 x2119+34218943971328 x2113+17109471985664 x2112+8554735992832 x2111+4277367996416 x2110+2138683998208 x2109+1069341999104 x2108+534670999552 x2107+267335499776 x2106+133667749888 x2105+66833874944 x2104+33416937472 x2103+16708468736 x2102+8354234368 x2101+4177117184 x2100+2088558592 x2099+1044279296 x2098+522139648 x2097+261069824 x2096+130534912 x2095+65267456 x2094+32633728 x2093+16316864 x2092+8158432 x2091+4079216 x2090+2039608 x2089+40543971180544 x2083+20271985590272 x2082+10135992795136 x2081+5067996397568 x2080+2533998198784 x2079+1266999099392 x2078+633499549696 x2077+316749774848 x2076+158374887424 x2075+79187443712 x2074+39593721856 x2073+19796860928 x2072+9898430464 x2071+4949215232 x2070+2474607616 x2069+1237303808 x2068+618651904 x2067+309325952 x2066+154662976 x2065+77331488 x2064+38665744 x2063+19332872 x2062+9666436 x2061+4833218 x2060+2416609 x2059+41061363744768 x2053+20530681872384 x2052+10265340936192 x2051+5132670468096 x2050+2566335234048 x2049+1283167617024 x2048+641583808512 x2047+320791904256 x2046+160395952128 x2045+80197976064 x2044+40098988032 x2043+20049494016 x2042+10024747008 x2041+5012373504 x2040+2506186752 x2039+1253093376 x2038+626546688 x2037+313273344 x2036+156636672 x2035+78318336 x2034+39159168 x2033+19579584 x2032+9789792 x2031+4894896 x2030+2447448 x2029+43717448695808 x2023+21858724347904 x2022+10929362173952 x2021+5464681086976 x2020+2732340543488 x2019+1366170271744 x2018+683085135872 x2017+341542567936 x2016+170771283968 x2015+85385641984 x2014+42692820992 x2013+21346410496 x2012+10673205248 x2011+5336602624 x2010+2668301312 x2009+1334150656 x2008+667075328 x2007+333537664 x2006+166768832 x2005+83384416 x2004+41692208 x2003+20846104 x2002+10423052 x2001+5211526 x2000+2605763 x1999+43813917687808 x1993+21906958843904 x1992+10953479421952 x1991+5476739710976 x1990+2738369855488 x1989+1369184927744 x1988+684592463872 x1987+342296231936 x1986+171148115968 x1985+85574057984 x1984+42787028992 x1983+21393514496 x1982+10696757248 x1981+5348378624 x1980+2674189312 x1979+1337094656 x1978+668547328 x1977+334273664 x1976+167136832 x1975+83568416 x1974+41784208 x1973+20892104 x1972+10446052 x1971+5223026 x1970+2611513 x1969+41707504664576 x1963+20853752332288 x1962+10426876166144 x1961+5213438083072 x1960+2606719041536 x1959+1303359520768 x1958+651679760384 x1957+325839880192 x1956+162919940096 x1955+81459970048 x1954+40729985024 x1953+20364992512 x1952+10182496256 x1951+5091248128 x1950+2545624064 x1949+1272812032 x1948+636406016 x1947+318203008 x1946+159101504 x1945+79550752 x1944+39775376 x1943+19887688 x1942+9943844 x1941+4971922 x1940+2485961 x1939+41164057083904 x1933+20582028541952 x1932+10291014270976 x1931+5145507135488 x1930+2572753567744 x1929+1286376783872 x1928+643188391936 x1927+321594195968 x1926+160797097984 x1925+80398548992 x1924+40199274496 x1923+20099637248 x1922+10049818624 x1921+5024909312 x1920+2512454656 x1919+1256227328 x1918+628113664 x1917+314056832 x1916+157028416 x1915+78514208 x1914+39257104 x1913+19628552 x1912+9814276 x1911+4907138 x1910+2453569 x1909+37100028166144 x1903+18550014083072 x1902+9275007041536 x1901+4637503520768 x1900+2318751760384 x1899+1159375880192 x1898+579687940096 x1897+289843970048 x1896+144921985024 x1895+72460992512 x1894+36230496256 x1893+18115248128 x1892+9057624064 x1891+4528812032 x1890+2264406016 x1889+1132203008 x1888+566101504 x1887+283050752 x1886+141525376 x1885+70762688 x1884+35381344 x1883+17690672 x1882+8845336 x1881+4422668 x1880+2211334 x1879+33554432000000 x1873+16777216000000 x1872+8388608000000 x1871+4194304000000 x1870+2097152000000 x1869+1048576000000 x1868+524288000000 x1867+262144000000 x1866+131072000000 x1865+65536000000 x1864+32768000000 x1863+16384000000 x1862+8192000000 x1861+4096000000 x1860+2048000000 x1859+1024000000 x1858+512000000 x1857+256000000 x1856+128000000 x1855+64000000 x1854+32000000 x1853+16000000 x1852+8000000 x1851+4000000 x1850+2000000 x1849+25936938401792 x1843+12968469200896 x1842+6484234600448 x1841+3242117300224 x1840+1621058650112 x1839+810529325056 x1838+405264662528 x1837+202632331264 x1836+101316165632 x1835+50658082816 x1834+25329041408 x1833+12664520704 x1832+6332260352 x1831+3166130176 x1830+1583065088 x1829+791532544 x1828+395766272 x1827+197883136 x1826+98941568 x1825+49470784 x1824+24735392 x1823+12367696 x1822+6183848 x1821+3091924 x1820+1545962 x1819+44861403168768 x1813+22430701584384 x1812+11215350792192 x1811+5607675396096 x1810+2803837698048 x1809+1401918849024 x1808+700959424512 x1807+350479712256 x1806+175239856128 x1805+87619928064 x1804+43809964032 x1803+21904982016 x1802+10952491008 x1801+5476245504 x1800+2738122752 x1799+1369061376 x1798+684530688 x1797+342265344 x1796+171132672 x1795+85566336 x1794+42783168 x1793+21391584 x1792+10695792 x1791+5347896 x1790+2673948 x1789+43036092399616 x1783+21518046199808 x1782+10759023099904 x1781+5379511549952 x1780+2689755774976 x1779+1344877887488 x1778+672438943744 x1777+336219471872 x1776+168109735936 x1775+84054867968 x1774+42027433984 x1773+21013716992 x1772+10506858496 x1771+5253429248 x1770+2626714624 x1769+1313357312 x1768+656678656 x1767+328339328 x1766+164169664 x1765+82084832 x1764+41042416 x1763+20521208 x1762+10260604 x1761+5130302 x1760+2565151 x1759+41774932295680 x1753+20887466147840 x1752+10443733073920 x1751+5221866536960 x1750+2610933268480 x1749+1305466634240 x1748+652733317120 x1747+326366658560 x1746+163183329280 x1745+81591664640 x1744+40795832320 x1743+20397916160 x1742+10198958080 x1741+5099479040 x1740+2549739520 x1739+1274869760 x1738+637434880 x1737+318717440 x1736+159358720 x1735+79679360 x1734+39839680 x1733+19919840 x1732+9959920 x1731+4979960 x1730+2489980 x1729+37251459317760 x1723+18625729658880 x1722+9312864829440 x1721+4656432414720 x1720+2328216207360 x1719+1164108103680 x1718+582054051840 x1717+291027025920 x1716+145513512960 x1715+72756756480 x1714+36378378240 x1713+18189189120 x1712+9094594560 x1711+4547297280 x1710+2273648640 x1709+1136824320 x1708+568412160 x1707+284206080 x1706+142103040 x1705+71051520 x1704+35525760 x1703+17762880 x1702+8881440 x1701+4440720 x1700+2220360 x1699+38660477026304 x1693+19330238513152 x1692+9665119256576 x1691+4832559628288 x1690+2416279814144 x1689+1208139907072 x1688+604069953536 x1687+302034976768 x1686+151017488384 x1685+75508744192 x1684+37754372096 x1683+18877186048 x1682+9438593024 x1681+4719296512 x1680+2359648256 x1679+1179824128 x1678+589912064 x1677+294956032 x1676+147478016 x1675+73739008 x1674+36869504 x1673+18434752 x1672+9217376 x1671+4608688 x1670+2304344 x1669+38914467299328 x1663+19457233649664 x1662+9728616824832 x1661+4864308412416 x1660+2432154206208 x1659+1216077103104 x1658+608038551552 x1657+304019275776 x1656+152009637888 x1655+76004818944 x1654+38002409472 x1653+19001204736 x1652+9500602368 x1651+4750301184 x1650+2375150592 x1649+1187575296 x1648+593787648 x1647+296893824 x1646+148446912 x1645+74223456 x1644+37111728 x1643+18555864 x1642+9277932 x1641+4638966 x1640+2319483 x1639+35943994097664 x1633+17971997048832 x1632+8985998524416 x1631+4492999262208 x1630+2246499631104 x1629+1123249815552 x1628+561624907776 x1627+280812453888 x1626+140406226944 x1625+70203113472 x1624+35101556736 x1623+17550778368 x1622+8775389184 x1621+4387694592 x1620+2193847296 x1619+1096923648 x1618+548461824 x1617+274230912 x1616+137115456 x1615+68557728 x1614+34278864 x1613+17139432 x1612+8569716 x1611+4284858 x1610+2142429 x1609+34218943971328 x1603+17109471985664 x1602+8554735992832 x1601+4277367996416 x1600+2138683998208 x1599+1069341999104 x1598+534670999552 x1597+267335499776 x1596+133667749888 x1595+66833874944 x1594+33416937472 x1593+16708468736 x1592+8354234368 x1591+4177117184 x1590+2088558592 x1589+1044279296 x1588+522139648 x1587+261069824 x1586+130534912 x1585+65267456 x1584+32633728 x1583+16316864 x1582+8158432 x1581+4079216 x1580+2039608 x1579+33554432000000 x1573+16777216000000 x1572+8388608000000 x1571+4194304000000 x1570+2097152000000 x1569+1048576000000 x1568+524288000000 x1567+262144000000 x1566+131072000000 x1565+65536000000 x1564+32768000000 x1563+16384000000 x1562+8192000000 x1561+4096000000 x1560+2048000000 x1559+1024000000 x1558+512000000 x1557+256000000 x1556+128000000 x1555+64000000 x1554+32000000 x1553+16000000 x1552+8000000 x1551+4000000 x1550+2000000 x1549+38404809031680 x1543+19202404515840 x1542+9601202257920 x1541+4800601128960 x1540+2400300564480 x1539+1200150282240 x1538+600075141120 x1537+300037570560 x1536+150018785280 x1535+75009392640 x1534+37504696320 x1533+18752348160 x1532+9376174080 x1531+4688087040 x1530+2344043520 x1529+1172021760 x1528+586010880 x1527+293005440 x1526+146502720 x1525+73251360 x1524+36625680 x1523+18312840 x1522+9156420 x1521+4578210 x1520+2289105 x1519+39702140813312 x1513+19851070406656 x1512+9925535203328 x1511+4962767601664 x1510+2481383800832 x1509+1240691900416 x1508+620345950208 x1507+310172975104 x1506+155086487552 x1505+77543243776 x1504+38771621888 x1503+19385810944 x1502+9692905472 x1501+4846452736 x1500+2423226368 x1499+1211613184 x1498+605806592 x1497+302903296 x1496+151451648 x1495+75725824 x1494+37862912 x1493+18931456 x1492+9465728 x1491+4732864 x1490+2366432 x1489+38221132070912 x1483+19110566035456 x1482+9555283017728 x1481+4777641508864 x1480+2388820754432 x1479+1194410377216 x1478+597205188608 x1477+298602594304 x1476+149301297152 x1475+74650648576 x1474+37325324288 x1473+18662662144 x1472+9331331072 x1471+4665665536 x1470+2332832768 x1469+1166416384 x1468+583208192 x1467+291604096 x1466+145802048 x1465+72901024 x1464+36450512 x1463+18225256 x1462+9112628 x1461+4556314 x1460+2278157 x1459+39631173189632 x1453+19815586594816 x1452+9907793297408 x1451+4953896648704 x1450+2476948324352 x1449+1238474162176 x1448+619237081088 x1447+309618540544 x1446+154809270272 x1445+77404635136 x1444+38702317568 x1443+19351158784 x1442+9675579392 x1441+4837789696 x1440+2418894848 x1439+1209447424 x1438+604723712 x1437+302361856 x1436+151180928 x1435+75590464 x1434+37795232 x1433+18897616 x1432+9448808 x1431+4724404 x1430+2362202 x1429+36641993392128 x1423+18320996696064 x1422+9160498348032 x1421+4580249174016 x1420+2290124587008 x1419+1145062293504 x1418+572531146752 x1417+286265573376 x1416+143132786688 x1415+71566393344 x1414+35783196672 x1413+17891598336 x1412+8945799168 x1411+4472899584 x1410+2236449792 x1409+1118224896 x1408+559112448 x1407+279556224 x1406+139778112 x1405+69889056 x1404+34944528 x1403+17472264 x1402+8736132 x1401+4368066 x1400+2184033 x1399+34870789144576 x1393+17435394572288 x1392+8717697286144 x1391+4358848643072 x1390+2179424321536 x1389+1089712160768 x1388+544856080384 x1387+272428040192 x1386+136214020096 x1385+68107010048 x1384+34053505024 x1383+17026752512 x1382+8513376256 x1381+4256688128 x1380+2128344064 x1379+1064172032 x1378+532086016 x1377+266043008 x1376+133021504 x1375+66510752 x1374+33255376 x1373+16627688 x1372+8313844 x1371+4156922 x1370+2078461 x1369+31566147354624 x1363+15783073677312 x1362+7891536838656 x1361+3945768419328 x1360+1972884209664 x1359+986442104832 x1358+493221052416 x1357+246610526208 x1356+123305263104 x1355+61652631552 x1354+30826315776 x1353+15413157888 x1352+7706578944 x1351+3853289472 x1350+1926644736 x1349+963322368 x1348+481661184 x1347+240830592 x1346+120415296 x1345+60207648 x1344+30103824 x1343+15051912 x1342+7525956 x1341+3762978 x1340+1881489 x1339+29396064796672 x1333+14698032398336 x1332+7349016199168 x1331+3674508099584 x1330+1837254049792 x1329+918627024896 x1328+459313512448 x1327+229656756224 x1326+114828378112 x1325+57414189056 x1324+28707094528 x1323+14353547264 x1322+7176773632 x1321+3588386816 x1320+1794193408 x1319+897096704 x1318+448548352 x1317+224274176 x1316+112137088 x1315+56068544 x1314+28034272 x1313+14017136 x1312+7008568 x1311+3504284 x1310+1752142 x1309+32184287100928 x1303+16092143550464 x1302+8046071775232 x1301+4023035887616 x1300+2011517943808 x1299+1005758971904 x1298+502879485952 x1297+251439742976 x1296+125719871488 x1295+62859935744 x1294+31429967872 x1293+15714983936 x1292+7857491968 x1291+3928745984 x1290+1964372992 x1289+982186496 x1288+491093248 x1287+245546624 x1286+122773312 x1285+61386656 x1284+30693328 x1283+15346664 x1282+7673332 x1281+3836666 x1280+1918333 x1279+37213660250112 x1273+18606830125056 x1272+9303415062528 x1271+4651707531264 x1270+2325853765632 x1269+1162926882816 x1268+581463441408 x1267+290731720704 x1266+145365860352 x1265+72682930176 x1264+36341465088 x1263+18170732544 x1262+9085366272 x1261+4542683136 x1260+2271341568 x1259+1135670784 x1258+567835392 x1257+283917696 x1256+141958848 x1255+70979424 x1254+35489712 x1253+17744856 x1252+8872428 x1251+4436214 x1250+2218107 x1249+32271612510208 x1243+16135806255104 x1242+8067903127552 x1241+4033951563776 x1240+2016975781888 x1239+1008487890944 x1238+504243945472 x1237+252121972736 x1236+126060986368 x1235+63030493184 x1234+31515246592 x1233+15757623296 x1232+7878811648 x1231+3939405824 x1230+1969702912 x1229+984851456 x1228+492425728 x1227+246212864 x1226+123106432 x1225+61553216 x1224+30776608 x1223+15388304 x1222+7694152 x1221+3847076 x1220+1923538 x1219+35904802521088 x1213+17952401260544 x1212+8976200630272 x1211+4488100315136 x1210+2244050157568 x1209+1122025078784 x1208+561012539392 x1207+280506269696 x1206+140253134848 x1205+70126567424 x1204+35063283712 x1203+17531641856 x1202+8765820928 x1201+4382910464 x1200+2191455232 x1199+1095727616 x1198+547863808 x1197+273931904 x1196+136965952 x1195+68482976 x1194+34241488 x1193+17120744 x1192+8560372 x1191+4280186 x1190+2140093 x1189+34095329443840 x1183+17047664721920 x1182+8523832360960 x1181+4261916180480 x1180+2130958090240 x1179+1065479045120 x1178+532739522560 x1177+266369761280 x1176+133184880640 x1175+66592440320 x1174+33296220160 x1173+16648110080 x1172+8324055040 x1171+4162027520 x1170+2081013760 x1169+1040506880 x1168+520253440 x1167+260126720 x1166+130063360 x1165+65031680 x1164+32515840 x1163+16257920 x1162+8128960 x1161+4064480 x1160+2032240 x1159+43101456433152 x1153+21550728216576 x1152+10775364108288 x1151+5387682054144 x1150+2693841027072 x1149+1346920513536 x1148+673460256768 x1147+336730128384 x1146+168365064192 x1145+84182532096 x1144+42091266048 x1143+21045633024 x1142+10522816512 x1141+5261408256 x1140+2630704128 x1139+1315352064 x1138+657676032 x1137+328838016 x1136+164419008 x1135+82209504 x1134+41104752 x1133+20552376 x1132+10276188 x1131+5138094 x1130+2569047 x1129+41164057083904 x1123+20582028541952 x1122+10291014270976 x1121+5145507135488 x1120+2572753567744 x1119+1286376783872 x1118+643188391936 x1117+321594195968 x1116+160797097984 x1115+80398548992 x1114+40199274496 x1113+20099637248 x1112+10049818624 x1111+5024909312 x1110+2512454656 x1109+1256227328 x1108+628113664 x1107+314056832 x1106+157028416 x1105+78514208 x1104+39257104 x1103+19628552 x1102+9814276 x1101+4907138 x1100+2453569 x1099+36795303591936 x1093+18397651795968 x1092+9198825897984 x1091+4599412948992 x1090+2299706474496 x1089+1149853237248 x1088+574926618624 x1087+287463309312 x1086+143731654656 x1085+71865827328 x1084+35932913664 x1083+17966456832 x1082+8983228416 x1081+4491614208 x1080+2245807104 x1079+1122903552 x1078+561451776 x1077+280725888 x1076+140362944 x1075+70181472 x1074+35090736 x1073+17545368 x1072+8772684 x1071+4386342 x1070+2193171 x1069+33929822208000 x1063+16964911104000 x1062+8482455552000 x1061+4241227776000 x1060+2120613888000 x1059+1060306944000 x1058+530153472000 x1057+265076736000 x1056+132538368000 x1055+66269184000 x1054+33134592000 x1053+16567296000 x1052+8283648000 x1051+4141824000 x1050+2070912000 x1049+1035456000 x1048+517728000 x1047+258864000 x1046+129432000 x1045+64716000 x1044+32358000 x1043+16179000 x1042+8089500 x1041+4044750 x1040+2022375 x1039+36757034762240 x1033+18378517381120 x1032+9189258690560 x1031+4594629345280 x1030+2297314672640 x1029+1148657336320 x1028+574328668160 x1027+287164334080 x1026+143582167040 x1025+71791083520 x1024+35895541760 x1023+17947770880 x1022+8973885440 x1021+4486942720 x1020+2243471360 x1019+1121735680 x1018+560867840 x1017+280433920 x1016+140216960 x1015+70108480 x1014+35054240 x1013+17527120 x1012+8763560 x1011+4381780 x1010+2190890 x1009+28073651077120 x1003+14036825538560 x1002+7018412769280 x1001+3509206384640 x1000+1754603192320 x999+877301596160 x998+438650798080 x997+219325399040 x996+109662699520 x995+54831349760 x994+27415674880 x993+13707837440 x992+6853918720 x991+3426959360 x990+1713479680 x989+856739840 x988+428369920 x987+214184960 x986+107092480 x985+53546240 x984+26773120 x983+13386560 x982+6693280 x981+3346640 x980+1673320 x979+34627787948032 x973+17313893974016 x972+8656946987008 x971+4328473493504 x970+2164236746752 x969+1082118373376 x968+541059186688 x967+270529593344 x966+135264796672 x965+67632398336 x964+33816199168 x963+16908099584 x962+8454049792 x961+4227024896 x960+2113512448 x959+1056756224 x958+528378112 x957+264189056 x956+132094528 x955+66047264 x954+33023632 x953+16511816 x952+8255908 x951+4127954 x950+2063977 x949+29823833473024 x943+14911916736512 x942+7455958368256 x941+3727979184128 x940+1863989592064 x939+931994796032 x938+465997398016 x937+232998699008 x936+116499349504 x935+58249674752 x934+29124837376 x933+14562418688 x932+7281209344 x931+3640604672 x930+1820302336 x929+910151168 x928+455075584 x927+227537792 x926+113768896 x925+56884448 x924+28442224 x923+14221112 x922+7110556 x921+3555278 x920+1777639 x919+32315199717376 x913+16157599858688 x912+8078799929344 x911+4039399964672 x910+2019699982336 x909+1009849991168 x908+504924995584 x907+252462497792 x906+126231248896 x905+63115624448 x904+31557812224 x903+15778906112 x902+7889453056 x901+3944726528 x900+1972363264 x899+986181632 x898+493090816 x897+246545408 x896+123272704 x895+61636352 x894+30818176 x893+15409088 x892+7704544 x891+3852272 x890+1926136 x889+36986060537856 x883+18493030268928 x882+9246515134464 x881+4623257567232 x880+2311628783616 x879+1155814391808 x878+577907195904 x877+288953597952 x876+144476798976 x875+72238399488 x874+36119199744 x873+18059599872 x872+9029799936 x871+4514899968 x870+2257449984 x869+1128724992 x868+564362496 x867+282181248 x866+141090624 x865+70545312 x864+35272656 x863+17636328 x862+8818164 x861+4409082 x860+2204541 x859+31071840239616 x853+15535920119808 x852+7767960059904 x851+3883980029952 x850+1941990014976 x849+970995007488 x848+485497503744 x847+242748751872 x846+121374375936 x845+60687187968 x844+30343593984 x843+15171796992 x842+7585898496 x841+3792949248 x840+1896474624 x839+948237312 x838+474118656 x837+237059328 x836+118529664 x835+59264832 x834+29632416 x833+14816208 x832+7408104 x831+3704052 x830+1852026 x829+42806563307520 x823+21403281653760 x822+10701640826880 x821+5350820413440 x820+2675410206720 x819+1337705103360 x818+668852551680 x817+334426275840 x816+167213137920 x815+83606568960 x814+41803284480 x813+20901642240 x812+10450821120 x811+5225410560 x810+2612705280 x809+1306352640 x808+653176320 x807+326588160 x806+163294080 x805+81647040 x804+40823520 x803+20411760 x802+10205880 x801+5102940 x800+2551470 x799+28372839170048 x793+14186419585024 x792+7093209792512 x791+3546604896256 x790+1773302448128 x789+886651224064 x788+443325612032 x787+221662806016 x786+110831403008 x785+55415701504 x784+27707850752 x783+13853925376 x782+6926962688 x781+3463481344 x780+1731740672 x779+865870336 x778+432935168 x777+216467584 x776+108233792 x775+54116896 x774+27058448 x773+13529224 x772+6764612 x771+3382306 x770+1691153 x769+27052455493632 x763+13526227746816 x762+6763113873408 x761+3381556936704 x760+1690778468352 x759+845389234176 x758+422694617088 x757+211347308544 x756+105673654272 x755+52836827136 x754+26418413568 x753+13209206784 x752+6604603392 x751+3302301696 x750+1651150848 x749+825575424 x748+412787712 x747+206393856 x746+103196928 x745+51598464 x744+25799232 x743+12899616 x742+6449808 x741+3224904 x740+1612452 x739+29107379240960 x733+14553689620480 x732+7276844810240 x731+3638422405120 x730+1819211202560 x729+909605601280 x728+454802800640 x727+227401400320 x726+113700700160 x725+56850350080 x724+28425175040 x723+14212587520 x722+7106293760 x721+3553146880 x720+1776573440 x719+888286720 x718+444143360 x717+222071680 x716+111035840 x715+55517920 x714+27758960 x713+13879480 x712+6939740 x711+3469870 x710+1734935 x709+28073651077120 x703+14036825538560 x702+7018412769280 x701+3509206384640 x700+1754603192320 x699+877301596160 x698+438650798080 x697+219325399040 x696+109662699520 x695+54831349760 x694+27415674880 x693+13707837440 x692+6853918720 x691+3426959360 x690+1713479680 x689+856739840 x688+428369920 x687+214184960 x686+107092480 x685+53546240 x684+26773120 x683+13386560 x682+6693280 x681+3346640 x680+1673320 x679+1694025908224 x669+847012954112 x668+423506477056 x667+211753238528 x666+105876619264 x665+52938309632 x664+26469154816 x663+13234577408 x662+6617288704 x661+3308644352 x660+1654322176 x659+827161088 x658+413580544 x657+206790272 x656+103395136 x655+51697568 x654+25848784 x653+12924392 x652+6462196 x651+3231098 x650+1615549 x649+3315888816128 x640+1657944408064 x639+828972204032 x638+414486102016 x637+207243051008 x636+103621525504 x635+51810762752 x634+25905381376 x633+12952690688 x632+6476345344 x631+3238172672 x630+1619086336 x629+809543168 x628+404771584 x627+202385792 x626+101192896 x625+50596448 x624+25298224 x623+12649112 x622+6324556 x621+3162278 x620+1581139 x619+3763205046272 x610+1881602523136 x609+940801261568 x608+470400630784 x607+235200315392 x606+117600157696 x605+58800078848 x604+29400039424 x603+14700019712 x602+7350009856 x601+3675004928 x600+1837502464 x599+918751232 x598+459375616 x597+229687808 x596+114843904 x595+57421952 x594+28710976 x593+14355488 x592+7177744 x591+3588872 x590+1794436 x589+4443785396224 x580+2221892698112 x579+1110946349056 x578+555473174528 x577+277736587264 x576+138868293632 x575+69434146816 x574+34717073408 x573+17358536704 x572+8679268352 x571+4339634176 x570+2169817088 x569+1084908544 x568+542454272 x567+271227136 x566+135613568 x565+67806784 x564+33903392 x563+16951696 x562+8475848 x561+4237924 x560+2118962 x559+1907717308416 x549+953858654208 x548+476929327104 x547+238464663552 x546+119232331776 x545+59616165888 x544+29808082944 x543+14904041472 x542+7452020736 x541+3726010368 x540+1863005184 x539+931502592 x538+465751296 x537+232875648 x536+116437824 x535+58218912 x534+29109456 x533+14554728 x532+7277364 x531+3638682 x530+1819341 x529+1027390570496 x518+513695285248 x517+256847642624 x516+128423821312 x515+64211910656 x514+32105955328 x513+16052977664 x512+8026488832 x511+4013244416 x510+2006622208 x509+1003311104 x508+501655552 x507+250827776 x506+125413888 x505+62706944 x504+31353472 x503+15676736 x502+7838368 x501+3919184 x500+1959592 x499+847012954112 x488+423506477056 x487+211753238528 x486+105876619264 x485+52938309632 x484+26469154816 x483+13234577408 x482+6617288704 x481+3308644352 x480+1654322176 x479+827161088 x478+413580544 x477+206790272 x476+103395136 x475+51697568 x474+25848784 x473+12924392 x472+6462196 x471+3231098 x470+1615549 x469+1825245757440 x459+912622878720 x458+456311439360 x457+228155719680 x456+114077859840 x455+57038929920 x454+28519464960 x453+14259732480 x452+7129866240 x451+3564933120 x450+1782466560 x449+891233280 x448+445616640 x447+222808320 x446+111404160 x445+55702080 x444+27851040 x443+13925520 x442+6962760 x441+3481380 x440+1740690 x439+28123731066880 x433+14061865533440 x432+7030932766720 x431+3515466383360 x430+1757733191680 x429+878866595840 x428+439433297920 x427+219716648960 x426+109858324480 x425+54929162240 x424+27464581120 x423+13732290560 x422+6866145280 x421+3433072640 x420+1716536320 x419+858268160 x418+429134080 x417+214567040 x416+107283520 x415+53641760 x414+26820880 x413+13410440 x412+6705220 x411+3352610 x410+1676305 x409+26527110529024 x403+13263555264512 x402+6631777632256 x401+3315888816128 x400+1657944408064 x399+828972204032 x398+414486102016 x397+207243051008 x396+103621525504 x395+51810762752 x394+25905381376 x393+12952690688 x392+6476345344 x391+3238172672 x390+1619086336 x389+809543168 x388+404771584 x387+202385792 x386+101192896 x385+50596448 x384+25298224 x383+12649112 x382+6324556 x381+3162278 x380+1581139 x379+29107379240960 x373+14553689620480 x372+7276844810240 x371+3638422405120 x370+1819211202560 x369+909605601280 x368+454802800640 x367+227401400320 x366+113700700160 x365+56850350080 x364+28425175040 x363+14212587520 x362+7106293760 x361+3553146880 x360+1776573440 x359+888286720 x358+444143360 x357+222071680 x356+111035840 x355+55517920 x354+27758960 x353+13879480 x352+6939740 x351+3469870 x350+1734935 x349+27669689270272 x343+13834844635136 x342+6917422317568 x341+3458711158784 x340+1729355579392 x339+864677789696 x338+432338894848 x337+216169447424 x336+108084723712 x335+54042361856 x334+27021180928 x333+13510590464 x332+6755295232 x331+3377647616 x330+1688823808 x329+844411904 x328+422205952 x327+211102976 x326+105551488 x325+52775744 x324+26387872 x323+13193936 x322+6596968 x321+3298484 x320+1649242 x319+29348149067776 x313+14674074533888 x312+7337037266944 x311+3668518633472 x310+1834259316736 x309+917129658368 x308+458564829184 x307+229282414592 x306+114641207296 x305+57320603648 x304+28660301824 x303+14330150912 x302+7165075456 x301+3582537728 x300+1791268864 x299+895634432 x298+447817216 x297+223908608 x296+111954304 x295+55977152 x294+27988576 x293+13994288 x292+6997144 x291+3498572 x290+1749286 x289+30707355222016 x283+15353677611008 x282+7676838805504 x281+3838419402752 x280+1919209701376 x279+959604850688 x278+479802425344 x277+239901212672 x276+119950606336 x275+59975303168 x274+29987651584 x273+14993825792 x272+7496912896 x271+3748456448 x270+1874228224 x269+937114112 x268+468557056 x267+234278528 x266+117139264 x265+58569632 x264+29284816 x263+14642408 x262+7321204 x261+3660602 x260+1830301 x259+27821858619392 x253+13910929309696 x252+6955464654848 x251+3477732327424 x250+1738866163712 x249+869433081856 x248+434716540928 x247+217358270464 x246+108679135232 x245+54339567616 x244+27169783808 x243+13584891904 x242+6792445952 x241+3396222976 x240+1698111488 x239+849055744 x238+424527872 x237+212263936 x236+106131968 x235+53065984 x234+26532992 x233+13266496 x232+6633248 x231+3316624 x230+1658312 x229+29586939183104 x223+14793469591552 x222+7396734795776 x221+3698367397888 x220+1849183698944 x219+924591849472 x218+462295924736 x217+231147962368 x216+115573981184 x215+57786990592 x214+28893495296 x213+14446747648 x212+7223373824 x211+3611686912 x210+1805843456 x209+902921728 x208+451460864 x207+225730432 x206+112865216 x205+56

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

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


[startup+0 s]
/proc/loadavg: 1.91 1.39 1.14 3/105 26412
/proc/meminfo: memFree=1961264/2059040 swapFree=4139388/4192956
[pid=26412] ppid=26410 vsize=8700 CPUtime=0
/proc/26412/stat : 26412 (run) S 26410 26412 26179 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 21363650 8908800 251 1992294400 4194304 4922060 140734092554016 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26412/statm: 2175 251 211 178 0 68 0

[startup+0.068721 s]
/proc/loadavg: 1.91 1.39 1.14 3/105 26412
/proc/meminfo: memFree=1961264/2059040 swapFree=4139388/4192956
[pid=26412] ppid=26410 vsize=8700 CPUtime=0
/proc/26412/stat : 26412 (run) S 26410 26412 26179 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 21363650 8908800 251 1992294400 4194304 4922060 140734092554016 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26412/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100722 s]
/proc/loadavg: 1.91 1.39 1.14 3/105 26412
/proc/meminfo: memFree=1961264/2059040 swapFree=4139388/4192956
[pid=26412] ppid=26410 vsize=8700 CPUtime=0
/proc/26412/stat : 26412 (run) S 26410 26412 26179 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 21363650 8908800 251 1992294400 4194304 4922060 140734092554016 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26412/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300746 s]
/proc/loadavg: 1.91 1.39 1.14 3/105 26412
/proc/meminfo: memFree=1961264/2059040 swapFree=4139388/4192956
[pid=26412] ppid=26410 vsize=8700 CPUtime=0
/proc/26412/stat : 26412 (run) S 26410 26412 26179 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 21363650 8908800 251 1992294400 4194304 4922060 140734092554016 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26412/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700781 s]
/proc/loadavg: 1.91 1.39 1.14 3/105 26412
/proc/meminfo: memFree=1961264/2059040 swapFree=4139388/4192956
[pid=26412] ppid=26410 vsize=8700 CPUtime=0
/proc/26412/stat : 26412 (run) S 26410 26412 26179 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 21363650 8908800 251 1992294400 4194304 4922060 140734092554016 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26412/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50086 s]
/proc/loadavg: 1.83 1.38 1.14 2/107 26415
/proc/meminfo: memFree=1823268/2059040 swapFree=4139388/4192956
[pid=26412] ppid=26410 vsize=8700 CPUtime=0
/proc/26412/stat : 26412 (run) S 26410 26412 26179 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 21363650 8908800 251 1992294400 4194304 4922060 140734092554016 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26412/statm: 2175 251 211 178 0 68 0
[pid=26414] ppid=26412 vsize=196900 CPUtime=1.39
/proc/26414/stat : 26414 (PBPASSolver) R 26412 26412 26179 0 -1 4202496 49291 0 5 0 52 87 0 0 25 0 1 0 21363651 201625600 48666 1992294400 134512640 134902295 4287032624 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 9
/proc/26414/statm: 49225 48666 256 96 0 48437 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 205600

[startup+3.10103 s]
/proc/loadavg: 1.83 1.38 1.14 2/107 26415
/proc/meminfo: memFree=1660828/2059040 swapFree=4139388/4192956
[pid=26412] ppid=26410 vsize=8700 CPUtime=0
/proc/26412/stat : 26412 (run) S 26410 26412 26179 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 21363650 8908800 251 1992294400 4194304 4922060 140734092554016 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26412/statm: 2175 251 211 178 0 68 0
[pid=26414] ppid=26412 vsize=343328 CPUtime=2.99
/proc/26414/stat : 26414 (PBPASSolver) R 26412 26412 26179 0 -1 4202496 86446 0 5 0 168 131 0 0 25 0 1 0 21363651 351567872 85005 1992294400 134512640 134902295 4287032624 18446744073709551615 4160472599 0 0 4096 17608 0 0 0 17 1 0 0 9
/proc/26414/statm: 85832 85007 262 96 0 85044 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 352028

[startup+6.30137 s]
/proc/loadavg: 1.83 1.38 1.14 2/107 26415
/proc/meminfo: memFree=1581344/2059040 swapFree=4139388/4192956
[pid=26412] ppid=26410 vsize=8700 CPUtime=0
/proc/26412/stat : 26412 (run) S 26410 26412 26179 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 21363650 8908800 251 1992294400 4194304 4922060 140734092554016 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26412/statm: 2175 251 211 178 0 68 0
[pid=26414] ppid=26412 vsize=399760 CPUtime=6.19
/proc/26414/stat : 26414 (PBPASSolver) R 26412 26412 26179 0 -1 4202496 102097 0 5 0 481 138 0 0 25 0 1 0 21363651 409354240 98596 1992294400 134512640 134902295 4287032624 18446744073709551615 134588744 0 0 4096 17608 0 0 0 17 1 0 0 9
/proc/26414/statm: 99940 98597 262 96 0 99152 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 408460

[startup+12.701 s]
/proc/loadavg: 1.70 1.37 1.13 2/107 26415
/proc/meminfo: memFree=1452260/2059040 swapFree=4139388/4192956
[pid=26412] ppid=26410 vsize=8700 CPUtime=0
/proc/26412/stat : 26412 (run) S 26410 26412 26179 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 21363650 8908800 251 1992294400 4194304 4922060 140734092554016 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26412/statm: 2175 251 211 178 0 68 0
[pid=26414] ppid=26412 vsize=530044 CPUtime=12.58
/proc/26414/stat : 26414 (PBPASSolver) R 26412 26412 26179 0 -1 4202496 133378 0 5 0 1109 149 0 0 25 0 1 0 21363651 542765056 129877 1992294400 134512640 134902295 4287032624 18446744073709551615 4160498023 0 0 4096 17608 0 0 0 17 1 0 0 9
/proc/26414/statm: 132511 129877 262 96 0 131723 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 538744

[startup+25.5004 s]
/proc/loadavg: 1.60 1.36 1.13 2/107 26417
/proc/meminfo: memFree=1200544/2059040 swapFree=4139388/4192956
[pid=26412] ppid=26410 vsize=8700 CPUtime=0
/proc/26412/stat : 26412 (run) S 26410 26412 26179 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 21363650 8908800 251 1992294400 4194304 4922060 140734092554016 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26412/statm: 2175 251 211 178 0 68 0
[pid=26414] ppid=26412 vsize=785888 CPUtime=25.38
/proc/26414/stat : 26414 (PBPASSolver) R 26412 26412 26179 0 -1 4202496 197392 0 5 0 2365 173 0 0 25 0 1 0 21363651 804749312 190949 1992294400 134512640 134902295 4287032624 18446744073709551615 134631605 0 0 4096 17608 0 0 0 17 1 0 0 9
/proc/26414/statm: 196472 190949 262 96 0 195684 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 794588

[startup+51.1011 s]
/proc/loadavg: 1.39 1.33 1.13 2/107 26417
/proc/meminfo: memFree=695740/2059040 swapFree=4139388/4192956
[pid=26412] ppid=26410 vsize=8700 CPUtime=0
/proc/26412/stat : 26412 (run) S 26410 26412 26179 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 21363650 8908800 251 1992294400 4194304 4922060 140734092554016 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26412/statm: 2175 251 211 178 0 68 0
[pid=26414] ppid=26412 vsize=1291936 CPUtime=50.96
/proc/26414/stat : 26414 (PBPASSolver) R 26412 26412 26179 0 -1 4202496 325101 0 5 0 4867 229 0 0 25 0 1 0 21363651 1322942464 318274 1992294400 134512640 134902295 4287032624 18446744073709551615 134813695 0 0 4096 17608 0 0 0 17 1 0 0 9
/proc/26414/statm: 322984 318274 262 96 0 322196 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 1300636



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+78.901 s]
/proc/loadavg: 1.24 1.29 1.12 2/107 26417
/proc/meminfo: memFree=184488/2059040 swapFree=4139388/4192956
[pid=26412] ppid=26410 vsize=8700 CPUtime=0
/proc/26412/stat : 26412 (run) S 26410 26412 26179 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 21363650 8908800 251 1992294400 4194304 4922060 140734092554016 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26412/statm: 2175 251 211 178 0 68 0
[pid=26414] ppid=26412 vsize=1835828 CPUtime=78.76
/proc/26414/stat : 26414 (PBPASSolver) R 26412 26412 26179 0 -1 4202496 466381 0 5 0 7585 291 0 0 25 0 1 0 21363651 1879887872 443218 1992294400 134512640 134902295 4287032624 18446744073709551615 9397756 0 0 4096 17608 0 0 0 17 1 0 0 9
/proc/26414/statm: 458957 443218 262 96 0 458169 0
Current children cumulated CPU time (s) 78.76
Current children cumulated vsize (KiB) 1844528

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

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

[startup+78.901 s]
/proc/loadavg: 1.24 1.29 1.12 2/107 26417
/proc/meminfo: memFree=184488/2059040 swapFree=4139388/4192956
[pid=26412] ppid=26410 vsize=8700 CPUtime=0
/proc/26412/stat : 26412 (run) S 26410 26412 26179 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 21363650 8908800 251 1992294400 4194304 4922060 140734092554016 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26412/statm: 2175 251 211 178 0 68 0
[pid=26414] ppid=26412 vsize=1835828 CPUtime=78.76
/proc/26414/stat : 26414 (PBPASSolver) R 26412 26412 26179 0 -1 4202496 466381 0 5 0 7585 291 0 0 25 0 1 0 21363651 1879887872 443218 1992294400 134512640 134902295 4287032624 18446744073709551615 9397756 0 0 4096 17608 0 0 0 17 1 0 0 9
/proc/26414/statm: 458957 443218 262 96 0 458169 0
Current children cumulated CPU time (s) 78.76
Current children cumulated vsize (KiB) 1844528

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 78.9142
CPU time (s): 78.76
CPU user time (s): 75.85
CPU system time (s): 2.91
CPU usage (%): 99.8045
Max. virtual memory (cumulated for all children) (KiB): 1844528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523
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.153976 second user time and 0.379942 second system time

The end

Launcher Data 

Begin job on node082 at 2010-06-17 20:51:41
IDJOB=2673797
IDBENCH=2550
IDSOLVER=1174
FILE ID=node082/2673797-1276800701
PBS_JOBID= 11176635
Free space on /tmp= 62520 MiB

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

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

MD5SUM BENCH= 583b02132cd61d8427630f4009f80dd3
RANDOM SEED=2019919221

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1962320 kB
Buffers:           664 kB
Cached:          17496 kB
SwapCached:       4304 kB
Active:          25080 kB
Inactive:         3328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1962320 kB
SwapTotal:     4192956 kB
SwapFree:      4139388 kB
Dirty:            1124 kB
Writeback:           0 kB
AnonPages:       10200 kB
Mapped:          12724 kB
Slab:            46636 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182240 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62520 MiB
End job on node082 at 2010-06-17 20:53:02