Trace number 2674157

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) 75.97 76.0142

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-sctap1.opb
MD5SUM6b31328f3b1919c6fa8863a0d0ba0bd8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1847899095
Best CPU time to get the best result obtained on this benchmark1800.5
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2348791542
Optimality of the best value was proved NO
Number of variables14400
Total number of constraints284
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints284
Minimum length of a constraint90
Maximum length of a constraint660
Number of terms in the objective function 10800
Biggest coefficient in the objective function 42949672960
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 6356551592160
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 42949672960
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 6356551592160
Number of bits of the biggest sum of numbers43
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

8.18/8.23	c 14400 284 0 0 0 0 0 0
8.18/8.23	c 4294967296 ~x14434+2147483648 ~x14433+1073741824 ~x14432+536870912 ~x14431+268435456 ~x14430+134217728 ~x14429+67108864 ~x14428+33554432 ~x14427+16777216 ~x14426+8388608 ~x14425+4194304 ~x14424+2097152 ~x14423+1048576 ~x14422+524288 ~x14421+262144 ~x14420+131072 ~x14419+65536 ~x14418+32768 ~x14417+16384 ~x14416+8192 ~x14415+4096 ~x14414+2048 ~x14413+1024 ~x14412+512 ~x14411+256 ~x14410+128 ~x14409+64 ~x14408+32 ~x14407+16 ~x14406+8 ~x14405+4 ~x14404+2 ~x14403+1 ~x14402+536870912 ~x11101+268435456 ~x11100+134217728 ~x11099+67108864 ~x11098+33554432 ~x11097+16777216 ~x11096+8388608 ~x11095+4194304 ~x11094+2097152 ~x11093+1048576 ~x11092+524288 ~x11091+262144 ~x11090+131072 ~x11089+65536 ~x11088+32768 ~x11087+16384 ~x11086+8192 ~x11085+4096 ~x11084+2048 ~x11083+1024 ~x11082+512 ~x11081+256 ~x11080+128 ~x11079+64 ~x11078+32 ~x11077+16 ~x11076+8 ~x11075+4 ~x11074+2 ~x11073+1 ~x11072+536870912 x10831+268435456 x10830+134217728 x10829+67108864 x10828+33554432 x10827+16777216 x10826+8388608 x10825+4194304 x10824+2097152 x10823+1048576 x10822+524288 x10821+262144 x10820+131072 x10819+65536 x10818+32768 x10817+16384 x10816+8192 x10815+4096 x10814+2048 x10813+1024 x10812+512 x10811+256 x10810+128 x10809+64 x10808+32 x10807+16 x10806+8 x10805+4 x10804+2 x10803+1 x10802+2684354560 ~x7501+1342177280 ~x7500+671088640 ~x7499+335544320 ~x7498+167772160 ~x7497+83886080 ~x7496+41943040 ~x7495+20971520 ~x7494+10485760 ~x7493+5242880 ~x7492+2621440 ~x7491+1310720 ~x7490+655360 ~x7489+327680 ~x7488+163840 ~x7487+81920 ~x7486+40960 ~x7485+20480 ~x7484+10240 ~x7483+5120 ~x7482+2560 ~x7481+1280 ~x7480+640 ~x7479+320 ~x7478+160 ~x7477+80 ~x7476+40 ~x7475+20 ~x7474+10 ~x7473+5 ~x7472+5368709120 x7230+2684354560 x7229+1342177280 x7228+671088640 x7227+335544320 x7226+167772160 x7225+83886080 x7224+41943040 x7223+20971520 x7222+10485760 x7221+5242880 x7220+2621440 x7219+1310720 x7218+655360 x7217+327680 x7216+163840 x7215+81920 x7214+40960 x7213+20480 x7212+10240 x7211+5120 x7210+2560 x7209+1280 x7208+640 x7207+320 x7206+160 x7205+80 x7204+40 x7203+20 x7202+5368709120 x3631+2684354560 x3630+1342177280 x3629+671088640 x3628+335544320 x3627+167772160 x3626+83886080 x3625+41943040 x3624+20971520 x3623+10485760 x3622+5242880 x3621+2621440 x3620+1310720 x3619+655360 x3618+327680 x3617+163840 x3616+81920 x3615+40960 x3614+20480 x3613+10240 x3612+5120 x3611+2560 x3610+1280 x3609+640 x3608+320 x3607+160 x3606+80 x3605+40 x3604+20 x3603+10 x3602-0=15032385529
10.08/10.12	c 4294967296 ~x96315+2147483648 ~x96314+1073741824 ~x96313+536870912 ~x96312+268435456 ~x96311+134217728 ~x96310+67108864 ~x96309+33554432 ~x96308+16777216 ~x96307+8388608 ~x96306+4194304 ~x96305+2097152 ~x96304+1048576 ~x96303+524288 ~x96302+262144 ~x96301+131072 ~x96300+65536 ~x96299+32768 ~x96298+16384 ~x96297+8192 ~x96296+4096 ~x96295+2048 ~x96294+1024 ~x96293+512 ~x96292+256 ~x96291+128 ~x96290+64 ~x96289+32 ~x96288+16 ~x96287+8 ~x96286+4 ~x96285+2 ~x96284+1 ~x96283+536870912 x10891+268435456 x10890+134217728 x10889+67108864 x10888+33554432 x10887+16777216 x10886+8388608 x10885+4194304 x10884+2097152 x10883+1048576 x10882+524288 x10881+262144 x10880+131072 x10879+65536 x10878+32768 x10877+16384 x10876+8192 x10875+4096 x10874+2048 x10873+1024 x10872+512 x10871+256 x10870+128 x10869+64 x10868+32 x10867+16 x10866+8 x10865+4 x10864+2 x10863+1 x10862+536870912 ~x10861+268435456 ~x10860+134217728 ~x10859+67108864 ~x10858+33554432 ~x10857+16777216 ~x10856+8388608 ~x10855+4194304 ~x10854+2097152 ~x10853+1048576 ~x10852+524288 ~x10851+262144 ~x10850+131072 ~x10849+65536 ~x10848+32768 ~x10847+16384 ~x10846+8192 ~x10845+4096 ~x10844+2048 ~x10843+1024 ~x10842+512 ~x10841+256 ~x10840+128 ~x10839+64 ~x10838+32 ~x10837+16 ~x10836+8 ~x10835+4 ~x10834+2 ~x10833+1 ~x10832+5368709120 x7290+2684354560 x7289+1342177280 x7288+671088640 x7287+335544320 x7286+167772160 x7285+83886080 x7284+41943040 x7283+20971520 x7282+10485760 x7281+5242880 x7280+2621440 x7279+1310720 x7278+655360 x7277+327680 x7276+163840 x7275+81920 x7274+40960 x7273+20480 x7272+10240 x7271+5120 x7270+2560 x7269+1280 x7268+640 x7267+320 x7266+160 x7265+80 x7264+40 x7263+20 x7262+2684354560 ~x7261+1342177280 ~x7260+671088640 ~x7259+335544320 ~x7258+167772160 ~x7257+83886080 ~x7256+41943040 ~x7255+20971520 ~x7254+10485760 ~x7253+5242880 ~x7252+2621440 ~x7251+1310720 ~x7250+655360 ~x7249+327680 ~x7248+163840 ~x7247+81920 ~x7246+40960 ~x7245+20480 ~x7244+10240 ~x7243+5120 ~x7242+2560 ~x7241+1280 ~x7240+640 ~x7239+320 ~x7238+160 ~x7237+80 ~x7236+40 ~x7235+20 ~x7234+10 ~x7233+5 ~x7232+5368709120 x3691+2684354560 x3690+1342177280 x3689+671088640 x3688+335544320 x3687+167772160 x3686+83886080 x3685+41943040 x3684+20971520 x3683+10485760 x3682+5242880 x3681+2621440 x3680+1310720 x3679+655360 x3678+327680 x3677+163840 x3676+81920 x3675+40960 x3674+20480 x3673+10240 x3672+5120 x3671+2560 x3670+1280 x3669+640 x3668+320 x3667+160 x3666+80 x3665+40 x3664+20 x3663+10 x3662-0=15032385529
11.88/11.98	c 4294967296 ~x178196+2147483648 ~x178195+1073741824 ~x178194+536870912 ~x178193+268435456 ~x178192+134217728 ~x178191+67108864 ~x178190+33554432 ~x178189+16777216 ~x178188+8388608 ~x178187+4194304 ~x178186+2097152 ~x178185+1048576 ~x178184+524288 ~x178183+262144 ~x178182+131072 ~x178181+65536 ~x178180+32768 ~x178179+16384 ~x178178+8192 ~x178177+4096 ~x178176+2048 ~x178175+1024 ~x178174+512 ~x178173+256 ~x178172+128 ~x178171+64 ~x178170+32 ~x178169+16 ~x178168+8 ~x178167+4 ~x178166+2 ~x178165+1 ~x178164+536870912 x10921+268435456 x10920+134217728 x10919+67108864 x10918+33554432 x10917+16777216 x10916+8388608 x10915+4194304 x10914+2097152 x10913+1048576 x10912+524288 x10911+262144 x10910+131072 x10909+65536 x10908+32768 x10907+16384 x10906+8192 x10905+4096 x10904+2048 x10903+1024 x10902+512 x10901+256 x10900+128 x10899+64 x10898+32 x10897+16 x10896+8 x10895+4 x10894+2 x10893+1 x10892+536870912 ~x10891+268435456 ~x10890+134217728 ~x10889+67108864 ~x10888+33554432 ~x10887+16777216 ~x10886+8388608 ~x10885+4194304 ~x10884+2097152 ~x10883+1048576 ~x10882+524288 ~x10881+262144 ~x10880+131072 ~x10879+65536 ~x10878+32768 ~x10877+16384 ~x10876+8192 ~x10875+4096 ~x10874+2048 ~x10873+1024 ~x10872+512 ~x10871+256 ~x10870+128 ~x10869+64 ~x10868+32 ~x10867+16 ~x10866+8 ~x10865+4 ~x10864+2 ~x10863+1 ~x10862+5368709120 x7320+2684354560 x7319+1342177280 x7318+671088640 x7317+335544320 x7316+167772160 x7315+83886080 x7314+41943040 x7313+20971520 x7312+10485760 x7311+5242880 x7310+2621440 x7309+1310720 x7308+655360 x7307+327680 x7306+163840 x7305+81920 x7304+40960 x7303+20480 x7302+10240 x7301+5120 x7300+2560 x7299+1280 x7298+640 x7297+320 x7296+160 x7295+80 x7294+40 x7293+20 x7292+2684354560 ~x7291+1342177280 ~x7290+671088640 ~x7289+335544320 ~x7288+167772160 ~x7287+83886080 ~x7286+41943040 ~x7285+20971520 ~x7284+10485760 ~x7283+5242880 ~x7282+2621440 ~x7281+1310720 ~x7280+655360 ~x7279+327680 ~x7278+163840 ~x7277+81920 ~x7276+40960 ~x7275+20480 ~x7274+10240 ~x7273+5120 ~x7272+2560 ~x7271+1280 ~x7270+640 ~x7269+320 ~x7268+160 ~x7267+80 ~x7266+40 ~x7265+20 ~x7264+10 ~x7263+5 ~x7262+5368709120 x3721+2684354560 x3720+1342177280 x3719+671088640 x3718+335544320 x3717+167772160 x3716+83886080 x3715+41943040 x3714+20971520 x3713+10485760 x3712+5242880 x3711+2621440 x3710+1310720 x3709+655360 x3708+327680 x3707+163840 x3706+81920 x3705+40960 x3704+20480 x3703+10240 x3702+5120 x3701+2560 x3700+1280 x3699+640 x3698+320 x3697+160 x3696+80 x3695+40 x3694+20 x3693+10 x3692-0=15032385529
13.78/13.84	c 4294967296 ~x260077+2147483648 ~x260076+1073741824 ~x260075+536870912 ~x260074+268435456 ~x260073+134217728 ~x260072+67108864 ~x260071+33554432 ~x260070+16777216 ~x260069+8388608 ~x260068+4194304 ~x260067+2097152 ~x260066+1048576 ~x260065+524288 ~x260064+262144 ~x260063+131072 ~x260062+65536 ~x260061+32768 ~x260060+16384 ~x260059+8192 ~x260058+4096 ~x260057+2048 ~x260056+1024 ~x260055+512 ~x260054+256 ~x260053+128 ~x260052+64 ~x260051+32 ~x260050+16 ~x260049+8 ~x260048+4 ~x260047+2 ~x260046+1 ~x260045+536870912 x10951+268435456 x10950+134217728 x10949+67108864 x10948+33554432 x10947+16777216 x10946+8388608 x10945+4194304 x10944+2097152 x10943+1048576 x10942+524288 x10941+262144 x10940+131072 x10939+65536 x10938+32768 x10937+16384 x10936+8192 x10935+4096 x10934+2048 x10933+1024 x10932+512 x10931+256 x10930+128 x10929+64 x10928+32 x10927+16 x10926+8 x10925+4 x10924+2 x10923+1 x10922+536870912 ~x10921+268435456 ~x10920+134217728 ~x10919+67108864 ~x10918+33554432 ~x10917+16777216 ~x10916+8388608 ~x10915+4194304 ~x10914+2097152 ~x10913+1048576 ~x10912+524288 ~x10911+262144 ~x10910+131072 ~x10909+65536 ~x10908+32768 ~x10907+16384 ~x10906+8192 ~x10905+4096 ~x10904+2048 ~x10903+1024 ~x10902+512 ~x10901+256 ~x10900+128 ~x10899+64 ~x10898+32 ~x10897+16 ~x10896+8 ~x10895+4 ~x10894+2 ~x10893+1 ~x10892+5368709120 x7350+2684354560 x7349+1342177280 x7348+671088640 x7347+335544320 x7346+167772160 x7345+83886080 x7344+41943040 x7343+20971520 x7342+10485760 x7341+5242880 x7340+2621440 x7339+1310720 x7338+655360 x7337+327680 x7336+163840 x7335+81920 x7334+40960 x7333+20480 x7332+10240 x7331+5120 x7330+2560 x7329+1280 x7328+640 x7327+320 x7326+160 x7325+80 x7324+40 x7323+20 x7322+2684354560 ~x7321+1342177280 ~x7320+671088640 ~x7319+335544320 ~x7318+167772160 ~x7317+83886080 ~x7316+41943040 ~x7315+20971520 ~x7314+10485760 ~x7313+5242880 ~x7312+2621440 ~x7311+1310720 ~x7310+655360 ~x7309+327680 ~x7308+163840 ~x7307+81920 ~x7306+40960 ~x7305+20480 ~x7304+10240 ~x7303+5120 ~x7302+2560 ~x7301+1280 ~x7300+640 ~x7299+320 ~x7298+160 ~x7297+80 ~x7296+40 ~x7295+20 ~x7294+10 ~x7293+5 ~x7292+5368709120 x3751+2684354560 x3750+1342177280 x3749+671088640 x3748+335544320 x3747+167772160 x3746+83886080 x3745+41943040 x3744+20971520 x3743+10485760 x3742+5242880 x3741+2621440 x3740+1310720 x3739+655360 x3738+327680 x3737+163840 x3736+81920 x3735+40960 x3734+20480 x3733+10240 x3732+5120 x3731+2560 x3730+1280 x3729+640 x3728+320 x3727+160 x3726+80 x3725+40 x3724+20 x3723+10 x3722-0=15032385529
15.59/15.69	c 4294967296 ~x341958+2147483648 ~x341957+1073741824 ~x341956+536870912 ~x341955+268435456 ~x341954+134217728 ~x341953+67108864 ~x341952+33554432 ~x341951+16777216 ~x341950+8388608 ~x341949+4194304 ~x341948+2097152 ~x341947+1048576 ~x341946+524288 ~x341945+262144 ~x341944+131072 ~x341943+65536 ~x341942+32768 ~x341941+16384 ~x341940+8192 ~x341939+4096 ~x341938+2048 ~x341937+1024 ~x341936+512 ~x341935+256 ~x341934+128 ~x341933+64 ~x341932+32 ~x341931+16 ~x341930+8 ~x341929+4 ~x341928+2 ~x341927+1 ~x341926+536870912 x10981+268435456 x10980+134217728 x10979+67108864 x10978+33554432 x10977+16777216 x10976+8388608 x10975+4194304 x10974+2097152 x10973+1048576 x10972+524288 x10971+262144 x10970+131072 x10969+65536 x10968+32768 x10967+16384 x10966+8192 x10965+4096 x10964+2048 x10963+1024 x10962+512 x10961+256 x10960+128 x10959+64 x10958+32 x10957+16 x10956+8 x10955+4 x10954+2 x10953+1 x10952+536870912 ~x10951+268435456 ~x10950+134217728 ~x10949+67108864 ~x10948+33554432 ~x10947+16777216 ~x10946+8388608 ~x10945+4194304 ~x10944+2097152 ~x10943+1048576 ~x10942+524288 ~x10941+262144 ~x10940+131072 ~x10939+65536 ~x10938+32768 ~x10937+16384 ~x10936+8192 ~x10935+4096 ~x10934+2048 ~x10933+1024 ~x10932+512 ~x10931+256 ~x10930+128 ~x10929+64 ~x10928+32 ~x10927+16 ~x10926+8 ~x10925+4 ~x10924+2 ~x10923+1 ~x10922+5368709120 x7380+2684354560 x7379+1342177280 x7378+671088640 x7377+335544320 x7376+167772160 x7375+83886080 x7374+41943040 x7373+20971520 x7372+10485760 x7371+5242880 x7370+2621440 x7369+1310720 x7368+655360 x7367+327680 x7366+163840 x7365+81920 x7364+40960 x7363+20480 x7362+10240 x7361+5120 x7360+2560 x7359+1280 x7358+640 x7357+320 x7356+160 x7355+80 x7354+40 x7353+20 x7352+2684354560 ~x7351+1342177280 ~x7350+671088640 ~x7349+335544320 ~x7348+167772160 ~x7347+83886080 ~x7346+41943040 ~x7345+20971520 ~x7344+10485760 ~x7343+5242880 ~x7342+2621440 ~x7341+1310720 ~x7340+655360 ~x7339+327680 ~x7338+163840 ~x7337+81920 ~x7336+40960 ~x7335+20480 ~x7334+10240 ~x7333+5120 ~x7332+2560 ~x7331+1280 ~x7330+640 ~x7329+320 ~x7328+160 ~x7327+80 ~x7326+40 ~x7325+20 ~x7324+10 ~x7323+5 ~x7322+5368709120 x3781+2684354560 x3780+1342177280 x3779+671088640 x3778+335544320 x3777+167772160 x3776+83886080 x3775+41943040 x3774+20971520 x3773+10485760 x3772+5242880 x3771+2621440 x3770+1310720 x3769+655360 x3768+327680 x3767+163840 x3766+81920 x3765+40960 x3764+20480 x3763+10240 x3762+5120 x3761+2560 x3760+1280 x3759+640 x3758+320 x3757+160 x3756+80 x3755+40 x3754+20 x3753+10 x3752-0=15032385529
17.49/17.54	c 4294967296 ~x423839+2147483648 ~x423838+1073741824 ~x423837+536870912 ~x423836+268435456 ~x423835+134217728 ~x423834+67108864 ~x423833+33554432 ~x423832+16777216 ~x423831+8388608 ~x423830+4194304 ~x423829+2097152 ~x423828+1048576 ~x423827+524288 ~x423826+262144 ~x423825+131072 ~x423824+65536 ~x423823+32768 ~x423822+16384 ~x423821+8192 ~x423820+4096 ~x423819+2048 ~x423818+1024 ~x423817+512 ~x423816+256 ~x423815+128 ~x423814+64 ~x423813+32 ~x423812+16 ~x423811+8 ~x423810+4 ~x423809+2 ~x423808+1 ~x423807+536870912 x11011+268435456 x11010+134217728 x11009+67108864 x11008+33554432 x11007+16777216 x11006+8388608 x11005+4194304 x11004+2097152 x11003+1048576 x11002+524288 x11001+262144 x11000+131072 x10999+65536 x10998+32768 x10997+16384 x10996+8192 x10995+4096 x10994+2048 x10993+1024 x10992+512 x10991+256 x10990+128 x10989+64 x10988+32 x10987+16 x10986+8 x10985+4 x10984+2 x10983+1 x10982+536870912 ~x10981+268435456 ~x10980+134217728 ~x10979+67108864 ~x10978+33554432 ~x10977+16777216 ~x10976+8388608 ~x10975+4194304 ~x10974+2097152 ~x10973+1048576 ~x10972+524288 ~x10971+262144 ~x10970+131072 ~x10969+65536 ~x10968+32768 ~x10967+16384 ~x10966+8192 ~x10965+4096 ~x10964+2048 ~x10963+1024 ~x10962+512 ~x10961+256 ~x10960+128 ~x10959+64 ~x10958+32 ~x10957+16 ~x10956+8 ~x10955+4 ~x10954+2 ~x10953+1 ~x10952+5368709120 x7410+2684354560 x7409+1342177280 x7408+671088640 x7407+335544320 x7406+167772160 x7405+83886080 x7404+41943040 x7403+20971520 x7402+10485760 x7401+5242880 x7400+2621440 x7399+1310720 x7398+655360 x7397+327680 x7396+163840 x7395+81920 x7394+40960 x7393+20480 x7392+10240 x7391+5120 x7390+2560 x7389+1280 x7388+640 x7387+320 x7386+160 x7385+80 x7384+40 x7383+20 x7382+2684354560 ~x7381+1342177280 ~x7380+671088640 ~x7379+335544320 ~x7378+167772160 ~x7377+83886080 ~x7376+41943040 ~x7375+20971520 ~x7374+10485760 ~x7373+5242880 ~x7372+2621440 ~x7371+1310720 ~x7370+655360 ~x7369+327680 ~x7368+163840 ~x7367+81920 ~x7366+40960 ~x7365+20480 ~x7364+10240 ~x7363+5120 ~x7362+2560 ~x7361+1280 ~x7360+640 ~x7359+320 ~x7358+160 ~x7357+80 ~x7356+40 ~x7355+20 ~x7354+10 ~x7353+5 ~x7352+5368709120 x3811+2684354560 x3810+1342177280 x3809+671088640 x3808+335544320 x3807+167772160 x3806+83886080 x3805+41943040 x3804+20971520 x3803+10485760 x3802+5242880 x3801+2621440 x3800+1310720 x3799+655360 x3798+327680 x3797+163840 x3796+81920 x3795+40960 x3794+20480 x3793+10240 x3792+5120 x3791+2560 x3790+1280 x3789+640 x3788+320 x3787+160 x3786+80 x3785+40 x3784+20 x3783+10 x3782-0=15032385529
19.29/19.38	c 4294967296 ~x505720+2147483648 ~x505719+1073741824 ~x505718+536870912 ~x505717+268435456 ~x505716+134217728 ~x505715+67108864 ~x505714+33554432 ~x505713+16777216 ~x505712+8388608 ~x505711+4194304 ~x505710+2097152 ~x505709+1048576 ~x505708+524288 ~x505707+262144 ~x505706+131072 ~x505705+65536 ~x505704+32768 ~x505703+16384 ~x505702+8192 ~x505701+4096 ~x505700+2048 ~x505699+1024 ~x505698+512 ~x505697+256 ~x505696+128 ~x505695+64 ~x505694+32 ~x505693+16 ~x505692+8 ~x505691+4 ~x505690+2 ~x505689+1 ~x505688+536870912 x11041+268435456 x11040+134217728 x11039+67108864 x11038+33554432 x11037+16777216 x11036+8388608 x11035+4194304 x11034+2097152 x11033+1048576 x11032+524288 x11031+262144 x11030+131072 x11029+65536 x11028+32768 x11027+16384 x11026+8192 x11025+4096 x11024+2048 x11023+1024 x11022+512 x11021+256 x11020+128 x11019+64 x11018+32 x11017+16 x11016+8 x11015+4 x11014+2 x11013+1 x11012+536870912 ~x11011+268435456 ~x11010+134217728 ~x11009+67108864 ~x11008+33554432 ~x11007+16777216 ~x11006+8388608 ~x11005+4194304 ~x11004+2097152 ~x11003+1048576 ~x11002+524288 ~x11001+262144 ~x11000+131072 ~x10999+65536 ~x10998+32768 ~x10997+16384 ~x10996+8192 ~x10995+4096 ~x10994+2048 ~x10993+1024 ~x10992+512 ~x10991+256 ~x10990+128 ~x10989+64 ~x10988+32 ~x10987+16 ~x10986+8 ~x10985+4 ~x10984+2 ~x10983+1 ~x10982+5368709120 x7440+2684354560 x7439+1342177280 x7438+671088640 x7437+335544320 x7436+167772160 x7435+83886080 x7434+41943040 x7433+20971520 x7432+10485760 x7431+5242880 x7430+2621440 x7429+1310720 x7428+655360 x7427+327680 x7426+163840 x7425+81920 x7424+40960 x7423+20480 x7422+10240 x7421+5120 x7420+2560 x7419+1280 x7418+640 x7417+320 x7416+160 x7415+80 x7414+40 x7413+20 x7412+2684354560 ~x7411+1342177280 ~x7410+671088640 ~x7409+335544320 ~x7408+167772160 ~x7407+83886080 ~x7406+41943040 ~x7405+20971520 ~x7404+10485760 ~x7403+5242880 ~x7402+2621440 ~x7401+1310720 ~x7400+655360 ~x7399+327680 ~x7398+163840 ~x7397+81920 ~x7396+40960 ~x7395+20480 ~x7394+10240 ~x7393+5120 ~x7392+2560 ~x7391+1280 ~x7390+640 ~x7389+320 ~x7388+160 ~x7387+80 ~x7386+40 ~x7385+20 ~x7384+10 ~x7383+5 ~x7382+5368709120 x3841+2684354560 x3840+1342177280 x3839+671088640 x3838+335544320 x3837+167772160 x3836+83886080 x3835+41943040 x3834+20971520 x3833+10485760 x3832+5242880 x3831+2621440 x3830+1310720 x3829+655360 x3828+327680 x3827+163840 x3826+81920 x3825+40960 x3824+20480 x3823+10240 x3822+5120 x3821+2560 x3820+1280 x3819+640 x3818+320 x3817+160 x3816+80 x3815+40 x3814+20 x3813+10 x3812-0=15032385529
21.18/21.23	c 4294967296 ~x587601+2147483648 ~x587600+1073741824 ~x587599+536870912 ~x587598+268435456 ~x587597+134217728 ~x587596+67108864 ~x587595+33554432 ~x587594+16777216 ~x587593+8388608 ~x587592+4194304 ~x587591+2097152 ~x587590+1048576 ~x587589+524288 ~x587588+262144 ~x587587+131072 ~x587586+65536 ~x587585+32768 ~x587584+16384 ~x587583+8192 ~x587582+4096 ~x587581+2048 ~x587580+1024 ~x587579+512 ~x587578+256 ~x587577+128 ~x587576+64 ~x587575+32 ~x587574+16 ~x587573+8 ~x587572+4 ~x587571+2 ~x587570+1 ~x587569+536870912 x11071+268435456 x11070+134217728 x11069+67108864 x11068+33554432 x11067+16777216 x11066+8388608 x11065+4194304 x11064+2097152 x11063+1048576 x11062+524288 x11061+262144 x11060+131072 x11059+65536 x11058+32768 x11057+16384 x11056+8192 x11055+4096 x11054+2048 x11053+1024 x11052+512 x11051+256 x11050+128 x11049+64 x11048+32 x11047+16 x11046+8 x11045+4 x11044+2 x11043+1 x11042+536870912 ~x11041+268435456 ~x11040+134217728 ~x11039+67108864 ~x11038+33554432 ~x11037+16777216 ~x11036+8388608 ~x11035+4194304 ~x11034+2097152 ~x11033+1048576 ~x11032+524288 ~x11031+262144 ~x11030+131072 ~x11029+65536 ~x11028+32768 ~x11027+16384 ~x11026+8192 ~x11025+4096 ~x11024+2048 ~x11023+1024 ~x11022+512 ~x11021+256 ~x11020+128 ~x11019+64 ~x11018+32 ~x11017+16 ~x11016+8 ~x11015+4 ~x11014+2 ~x11013+1 ~x11012+5368709120 x7470+2684354560 x7469+1342177280 x7468+671088640 x7467+335544320 x7466+167772160 x7465+83886080 x7464+41943040 x7463+20971520 x7462+10485760 x7461+5242880 x7460+2621440 x7459+1310720 x7458+655360 x7457+327680 x7456+163840 x7455+81920 x7454+40960 x7453+20480 x7452+10240 x7451+5120 x7450+2560 x7449+1280 x7448+640 x7447+320 x7446+160 x7445+80 x7444+40 x7443+20 x7442+2684354560 ~x7441+1342177280 ~x7440+671088640 ~x7439+335544320 ~x7438+167772160 ~x7437+83886080 ~x7436+41943040 ~x7435+20971520 ~x7434+10485760 ~x7433+5242880 ~x7432+2621440 ~x7431+1310720 ~x7430+655360 ~x7429+327680 ~x7428+163840 ~x7427+81920 ~x7426+40960 ~x7425+20480 ~x7424+10240 ~x7423+5120 ~x7422+2560 ~x7421+1280 ~x7420+640 ~x7419+320 ~x7418+160 ~x7417+80 ~x7416+40 ~x7415+20 ~x7414+10 ~x7413+5 ~x7412+5368709120 x3871+2684354560 x3870+1342177280 x3869+671088640 x3868+335544320 x3867+167772160 x3866+83886080 x3865+41943040 x3864+20971520 x3863+10485760 x3862+5242880 x3861+2621440 x3860+1310720 x3859+655360 x3858+327680 x3857+163840 x3856+81920 x3855+40960 x3854+20480 x3853+10240 x3852+5120 x3851+2560 x3850+1280 x3849+640 x3848+320 x3847+160 x3846+80 x3845+40 x3844+20 x3843+10 x3842-0=15032385529
22.99/23.10	c 4294967296 ~x669482+2147483648 ~x669481+1073741824 ~x669480+536870912 ~x669479+268435456 ~x669478+134217728 ~x669477+67108864 ~x669476+33554432 ~x669475+16777216 ~x669474+8388608 ~x669473+4194304 ~x669472+2097152 ~x669471+1048576 ~x669470+524288 ~x669469+262144 ~x669468+131072 ~x669467+65536 ~x669466+32768 ~x669465+16384 ~x669464+8192 ~x669463+4096 ~x669462+2048 ~x669461+1024 ~x669460+512 ~x669459+256 ~x669458+128 ~x669457+64 ~x669456+32 ~x669455+16 ~x669454+8 ~x669453+4 ~x669452+2 ~x669451+1 ~x669450+536870912 x11101+268435456 x11100+134217728 x11099+67108864 x11098+33554432 x11097+16777216 x11096+8388608 x11095+4194304 x11094+2097152 x11093+1048576 x11092+524288 x11091+262144 x11090+131072 x11089+65536 x11088+32768 x11087+16384 x11086+8192 x11085+4096 x11084+2048 x11083+1024 x11082+512 x11081+256 x11080+128 x11079+64 x11078+32 x11077+16 x11076+8 x11075+4 x11074+2 x11073+1 x11072+536870912 ~x11071+268435456 ~x11070+134217728 ~x11069+67108864 ~x11068+33554432 ~x11067+16777216 ~x11066+8388608 ~x11065+4194304 ~x11064+2097152 ~x11063+1048576 ~x11062+524288 ~x11061+262144 ~x11060+131072 ~x11059+65536 ~x11058+32768 ~x11057+16384 ~x11056+8192 ~x11055+4096 ~x11054+2048 ~x11053+1024 ~x11052+512 ~x11051+256 ~x11050+128 ~x11049+64 ~x11048+32 ~x11047+16 ~x11046+8 ~x11045+4 ~x11044+2 ~x11043+1 ~x11042+5368709120 x7500+2684354560 x7499+1342177280 x7498+671088640 x7497+335544320 x7496+167772160 x7495+83886080 x7494+41943040 x7493+20971520 x7492+10485760 x7491+5242880 x7490+2621440 x7489+1310720 x7488+655360 x7487+327680 x7486+163840 x7485+81920 x7484+40960 x7483+20480 x7482+10240 x7481+5120 x7480+2560 x7479+1280 x7478+640 x7477+320 x7476+160 x7475+80 x7474+40 x7473+20 x7472+2684354560 ~x7471+1342177280 ~x7470+671088640 ~x7469+335544320 ~x7468+167772160 ~x7467+83886080 ~x7466+41943040 ~x7465+20971520 ~x7464+10485760 ~x7463+5242880 ~x7462+2621440 ~x7461+1310720 ~x7460+655360 ~x7459+327680 ~x7458+163840 ~x7457+81920 ~x7456+40960 ~x7455+20480 ~x7454+10240 ~x7453+5120 ~x7452+2560 ~x7451+1280 ~x7450+640 ~x7449+320 ~x7448+160 ~x7447+80 ~x7446+40 ~x7445+20 ~x7444+10 ~x7443+5 ~x7442+5368709120 x3901+2684354560 x3900+1342177280 x3899+671088640 x3898+335544320 x3897+167772160 x3896+83886080 x3895+41943040 x3894+20971520 x3893+10485760 x3892+5242880 x3891+2621440 x3890+1310720 x3889+655360 x3888+327680 x3887+163840 x3886+81920 x3885+40960 x3884+20480 x3883+10240 x3882+5120 x3881+2560 x3880+1280 x3879+640 x3878+320 x3877+160 x3876+80 x3875+40 x3874+20 x3873+10 x3872-0=15032385529
24.88/24.94	c 4294967296 ~x751363+2147483648 ~x751362+1073741824 ~x751361+536870912 ~x751360+268435456 ~x751359+134217728 ~x751358+67108864 ~x751357+33554432 ~x751356+16777216 ~x751355+8388608 ~x751354+4194304 ~x751353+2097152 ~x751352+1048576 ~x751351+524288 ~x751350+262144 ~x751349+131072 ~x751348+65536 ~x751347+32768 ~x751346+16384 ~x751345+8192 ~x751344+4096 ~x751343+2048 ~x751342+1024 ~x751341+512 ~x751340+256 ~x751339+128 ~x751338+64 ~x751337+32 ~x751336+16 ~x751335+8 ~x751334+4 ~x751333+2 ~x751332+1 ~x751331+536870912 ~x11401+268435456 ~x11400+134217728 ~x11399+67108864 ~x11398+33554432 ~x11397+16777216 ~x11396+8388608 ~x11395+4194304 ~x11394+2097152 ~x11393+1048576 ~x11392+524288 ~x11391+262144 ~x11390+131072 ~x11389+65536 ~x11388+32768 ~x11387+16384 ~x11386+8192 ~x11385+4096 ~x11384+2048 ~x11383+1024 ~x11382+512 ~x11381+256 ~x11380+128 ~x11379+64 ~x11378+32 ~x11377+16 ~x11376+8 ~x11375+4 ~x11374+2 ~x11373+1 ~x11372+536870912 x11131+268435456 x11130+134217728 x11129+67108864 x11128+33554432 x11127+16777216 x11126+8388608 x11125+4194304 x11124+2097152 x11123+1048576 x11122+524288 x11121+262144 x11120+131072 x11119+65536 x11118+32768 x11117+16384 x11116+8192 x11115+4096 x11114+2048 x11113+1024 x11112+512 x11111+256 x11110+128 x11109+64 x11108+32 x11107+16 x11106+8 x11105+4 x11104+2 x11103+1 x11102+3758096384 ~x7801+1879048192 ~x7800+939524096 ~x7799+469762048 ~x7798+234881024 ~x7797+117440512 ~x7796+58720256 ~x7795+29360128 ~x7794+14680064 ~x7793+7340032 ~x7792+3670016 ~x7791+1835008 ~x7790+917504 ~x7789+458752 ~x7788+229376 ~x7787+114688 ~x7786+57344 ~x7785+28672 ~x7784+14336 ~x7783+7168 ~x7782+3584 ~x7781+1792 ~x7780+896 ~x7779+448 ~x7778+224 ~x7777+112 ~x7776+56 ~x7775+28 ~x7774+14 ~x7773+7 ~x7772+6710886400 x7530+3355443200 x7529+1677721600 x7528+838860800 x7527+419430400 x7526+209715200 x7525+104857600 x7524+52428800 x7523+26214400 x7522+13107200 x7521+6553600 x7520+3276800 x7519+1638400 x7518+819200 x7517+409600 x7516+204800 x7515+102400 x7514+51200 x7513+25600 x7512+12800 x7511+6400 x7510+3200 x7509+1600 x7508+800 x7507+400 x7506+200 x7505+100 x7504+50 x7503+25 x7502+8053063680 x3931+4026531840 x3930+2013265920 x3929+1006632960 x3928+503316480 x3927+251658240 x3926+125829120 x3925+62914560 x3924+31457280 x3923+15728640 x3922+7864320 x3921+3932160 x3920+1966080 x3919+983040 x3918+491520 x3917+245760 x3916+122880 x3915+61440 x3914+30720 x3913+15360 x3912+7680 x3911+3840 x3910+1920 x3909+960 x3908+480 x3907+240 x3906+120 x3905+60 x3904+30 x3903+15 x3902-0=17179869175
26.78/26.82	c 4294967296 ~x833424+2147483648 ~x833423+1073741824 ~x833422+536870912 ~x833421+268435456 ~x833420+134217728 ~x833419+67108864 ~x833418+33554432 ~x833417+16777216 ~x833416+8388608 ~x833415+4194304 ~x833414+2097152 ~x833413+1048576 ~x833412+524288 ~x833411+262144 ~x833410+131072 ~x833409+65536 ~x833408+32768 ~x833407+16384 ~x833406+8192 ~x833405+4096 ~x833404+2048 ~x833403+1024 ~x833402+512 ~x833401+256 ~x833400+128 ~x833399+64 ~x833398+32 ~x833397+16 ~x833396+8 ~x833395+4 ~x833394+2 ~x833393+1 ~x833392+536870912 x11191+268435456 x11190+134217728 x11189+67108864 x11188+33554432 x11187+16777216 x11186+8388608 x11185+4194304 x11184+2097152 x11183+1048576 x11182+524288 x11181+262144 x11180+131072 x11179+65536 x11178+32768 x11177+16384 x11176+8192 x11175+4096 x11174+2048 x11173+1024 x11172+512 x11171+256 x11170+128 x11169+64 x11168+32 x11167+16 x11166+8 x11165+4 x11164+2 x11163+1 x11162+536870912 ~x11161+268435456 ~x11160+134217728 ~x11159+67108864 ~x11158+33554432 ~x11157+16777216 ~x11156+8388608 ~x11155+4194304 ~x11154+2097152 ~x11153+1048576 ~x11152+524288 ~x11151+262144 ~x11150+131072 ~x11149+65536 ~x11148+32768 ~x11147+16384 ~x11146+8192 ~x11145+4096 ~x11144+2048 ~x11143+1024 ~x11142+512 ~x11141+256 ~x11140+128 ~x11139+64 ~x11138+32 ~x11137+16 ~x11136+8 ~x11135+4 ~x11134+2 ~x11133+1 ~x11132+6710886400 x7590+3355443200 x7589+1677721600 x7588+838860800 x7587+419430400 x7586+209715200 x7585+104857600 x7584+52428800 x7583+26214400 x7582+13107200 x7581+6553600 x7580+3276800 x7579+1638400 x7578+819200 x7577+409600 x7576+204800 x7575+102400 x7574+51200 x7573+25600 x7572+12800 x7571+6400 x7570+3200 x7569+1600 x7568+800 x7567+400 x7566+200 x7565+100 x7564+50 x7563+25 x7562+3758096384 ~x7561+1879048192 ~x7560+939524096 ~x7559+469762048 ~x7558+234881024 ~x7557+117440512 ~x7556+58720256 ~x7555+29360128 ~x7554+14680064 ~x7553+7340032 ~x7552+3670016 ~x7551+1835008 ~x7550+917504 ~x7549+458752 ~x7548+229376 ~x7547+114688 ~x7546+57344 ~x7545+28672 ~x7544+14336 ~x7543+7168 ~x7542+3584 ~x7541+1792 ~x7540+896 ~x7539+448 ~x7538+224 ~x7537+112 ~x7536+56 ~x7535+28 ~x7534+14 ~x7533+7 ~x7532+8053063680 x3991+4026531840 x3990+2013265920 x3989+1006632960 x3988+503316480 x3987+251658240 x3986+125829120 x3985+62914560 x3984+31457280 x3983+15728640 x3982+7864320 x3981+3932160 x3980+1966080 x3979+983040 x3978+491520 x3977+245760 x3976+122880 x3975+61440 x3974+30720 x3973+15360 x3972+7680 x3971+3840 x3970+1920 x3969+960 x3968+480 x3967+240 x3966+120 x3965+60 x3964+30 x3963+15 x3962-0=17179869175
28.58/28.68	c 4294967296 ~x915833+2147483648 ~x915832+1073741824 ~x915831+536870912 ~x915830+268435456 ~x915829+134217728 ~x915828+67108864 ~x915827+33554432 ~x915826+16777216 ~x915825+8388608 ~x915824+4194304 ~x915823+2097152 ~x915822+1048576 ~x915821+524288 ~x915820+262144 ~x915819+131072 ~x915818+65536 ~x915817+32768 ~x915816+16384 ~x915815+8192 ~x915814+4096 ~x915813+2048 ~x915812+1024 ~x915811+512 ~x915810+256 ~x915809+128 ~x915808+64 ~x915807+32 ~x915806+16 ~x915805+8 ~x915804+4 ~x915803+2 ~x915802+1 ~x915801+536870912 x11221+268435456 x11220+134217728 x11219+67108864 x11218+33554432 x11217+16777216 x11216+8388608 x11215+4194304 x11214+2097152 x11213+1048576 x11212+524288 x11211+262144 x11210+131072 x11209+65536 x11208+32768 x11207+16384 x11206+8192 x11205+4096 x11204+2048 x11203+1024 x11202+512 x11201+256 x11200+128 x11199+64 x11198+32 x11197+16 x11196+8 x11195+4 x11194+2 x11193+1 x11192+536870912 ~x11191+268435456 ~x11190+134217728 ~x11189+67108864 ~x11188+33554432 ~x11187+16777216 ~x11186+8388608 ~x11185+4194304 ~x11184+2097152 ~x11183+1048576 ~x11182+524288 ~x11181+262144 ~x11180+131072 ~x11179+65536 ~x11178+32768 ~x11177+16384 ~x11176+8192 ~x11175+4096 ~x11174+2048 ~x11173+1024 ~x11172+512 ~x11171+256 ~x11170+128 ~x11169+64 ~x11168+32 ~x11167+16 ~x11166+8 ~x11165+4 ~x11164+2 ~x11163+1 ~x11162+6710886400 x7620+3355443200 x7619+1677721600 x7618+838860800 x7617+419430400 x7616+209715200 x7615+104857600 x7614+52428800 x7613+26214400 x7612+13107200 x7611+6553600 x7610+3276800 x7609+1638400 x7608+819200 x7607+409600 x7606+204800 x7605+102400 x7604+51200 x7603+25600 x7602+12800 x7601+6400 x7600+3200 x7599+1600 x7598+800 x7597+400 x7596+200 x7595+100 x7594+50 x7593+25 x7592+3758096384 ~x7591+1879048192 ~x7590+939524096 ~x7589+469762048 ~x7588+234881024 ~x7587+117440512 ~x7586+58720256 ~x7585+29360128 ~x7584+14680064 ~x7583+7340032 ~x7582+3670016 ~x7581+1835008 ~x7580+917504 ~x7579+458752 ~x7578+229376 ~x7577+114688 ~x7576+57344 ~x7575+28672 ~x7574+14336 ~x7573+7168 ~x7572+3584 ~x7571+1792 ~x7570+896 ~x7569+448 ~x7568+224 ~x7567+112 ~x7566+56 ~x7565+28 ~x7564+14 ~x7563+7 ~x7562+8053063680 x4021+4026531840 x4020+2013265920 x4019+1006632960 x4018+503316480 x4017+251658240 x4016+125829120 x4015+62914560 x4014+31457280 x4013+15728640 x4012+7864320 x4011+3932160 x4010+1966080 x4009+983040 x4008+491520 x4007+245760 x4006+122880 x4005+61440 x4004+30720 x4003+15360 x4002+7680 x4001+3840 x4000+1920 x3999+960 x3998+480 x3997+240 x3996+120 x3995+60 x3994+30 x3993+15 x3992-0=17179869175
30.48/30.54	c 4294967296 ~x998242+2147483648 ~x998241+1073741824 ~x998240+536870912 ~x998239+268435456 ~x998238+134217728 ~x998237+67108864 ~x998236+33554432 ~x998235+16777216 ~x998234+8388608 ~x998233+4194304 ~x998232+2097152 ~x998231+1048576 ~x998230+524288 ~x998229+262144 ~x998228+131072 ~x998227+65536 ~x998226+32768 ~x998225+16384 ~x998224+8192 ~x998223+4096 ~x998222+2048 ~x998221+1024 ~x998220+512 ~x998219+256 ~x998218+128 ~x998217+64 ~x998216+32 ~x998215+16 ~x998214+8 ~x998213+4 ~x998212+2 ~x998211+1 ~x998210+536870912 x11251+268435456 x11250+134217728 x11249+67108864 x11248+33554432 x11247+16777216 x11246+8388608 x11245+4194304 x11244+2097152 x11243+1048576 x11242+524288 x11241+262144 x11240+131072 x11239+65536 x11238+32768 x11237+16384 x11236+8192 x11235+4096 x11234+2048 x11233+1024 x11232+512 x11231+256 x11230+128 x11229+64 x11228+32 x11227+16 x11226+8 x11225+4 x11224+2 x11223+1 x11222+536870912 ~x11221+268435456 ~x11220+134217728 ~x11219+67108864 ~x11218+33554432 ~x11217+16777216 ~x11216+8388608 ~x11215+4194304 ~x11214+2097152 ~x11213+1048576 ~x11212+524288 ~x11211+262144 ~x11210+131072 ~x11209+65536 ~x11208+32768 ~x11207+16384 ~x11206+8192 ~x11205+4096 ~x11204+2048 ~x11203+1024 ~x11202+512 ~x11201+256 ~x11200+128 ~x11199+64 ~x11198+32 ~x11197+16 ~x11196+8 ~x11195+4 ~x11194+2 ~x11193+1 ~x11192+6710886400 x7650+3355443200 x7649+1677721600 x7648+838860800 x7647+419430400 x7646+209715200 x7645+104857600 x7644+52428800 x7643+26214400 x7642+13107200 x7641+6553600 x7640+3276800 x7639+1638400 x7638+819200 x7637+409600 x7636+204800 x7635+102400 x7634+51200 x7633+25600 x7632+12800 x7631+6400 x7630+3200 x7629+1600 x7628+800 x7627+400 x7626+200 x7625+100 x7624+50 x7623+25 x7622+3758096384 ~x7621+1879048192 ~x7620+939524096 ~x7619+469762048 ~x7618+234881024 ~x7617+117440512 ~x7616+58720256 ~x7615+29360128 ~x7614+14680064 ~x7613+7340032 ~x7612+3670016 ~x7611+1835008 ~x7610+917504 ~x7609+458752 ~x7608+229376 ~x7607+114688 ~x7606+57344 ~x7605+28672 ~x7604+14336 ~x7603+7168 ~x7602+3584 ~x7601+1792 ~x7600+896 ~x7599+448 ~x7598+224 ~x7597+112 ~x7596+56 ~x7595+28 ~x7594+14 ~x7593+7 ~x7592+8053063680 x4051+4026531840 x4050+2013265920 x4049+1006632960 x4048+503316480 x4047+251658240 x4046+125829120 x4045+62914560 x4044+31457280 x4043+15728640 x4042+7864320 x4041+3932160 x4040+1966080 x4039+983040 x4038+491520 x4037+245760 x4036+122880 x4035+61440 x4034+30720 x4033+15360 x4032+7680 x4031+3840 x4030+1920 x4029+960 x4028+480 x4027+240 x4026+120 x4025+60 x4024+30 x4023+15 x4022-0=17179869175
32.28/32.39	c 4294967296 ~x1080651+2147483648 ~x1080650+1073741824 ~x1080649+536870912 ~x1080648+268435456 ~x1080647+134217728 ~x1080646+67108864 ~x1080645+33554432 ~x1080644+16777216 ~x1080643+8388608 ~x1080642+4194304 ~x1080641+2097152 ~x1080640+1048576 ~x1080639+524288 ~x1080638+262144 ~x1080637+131072 ~x1080636+65536 ~x1080635+32768 ~x1080634+16384 ~x1080633+8192 ~x1080632+4096 ~x1080631+2048 ~x1080630+1024 ~x1080629+512 ~x1080628+256 ~x1080627+128 ~x1080626+64 ~x1080625+32 ~x1080624+16 ~x1080623+8 ~x1080622+4 ~x1080621+2 ~x1080620+1 ~x1080619+536870912 x11281+268435456 x11280+134217728 x11279+67108864 x11278+33554432 x11277+16777216 x11276+8388608 x11275+4194304 x11274+2097152 x11273+1048576 x11272+524288 x11271+262144 x11270+131072 x11269+65536 x11268+32768 x11267+16384 x11266+8192 x11265+4096 x11264+2048 x11263+1024 x11262+512 x11261+256 x11260+128 x11259+64 x11258+32 x11257+16 x11256+8 x11255+4 x11254+2 x11253+1 x11252+536870912 ~x11251+268435456 ~x11250+134217728 ~x11249+67108864 ~x11248+33554432 ~x11247+16777216 ~x11246+8388608 ~x11245+4194304 ~x11244+2097152 ~x11243+1048576 ~x11242+524288 ~x11241+262144 ~x11240+131072 ~x11239+65536 ~x11238+32768 ~x11237+16384 ~x11236+8192 ~x11235+4096 ~x11234+2048 ~x11233+1024 ~x11232+512 ~x11231+256 ~x11230+128 ~x11229+64 ~x11228+32 ~x11227+16 ~x11226+8 ~x11225+4 ~x11224+2 ~x11223+1 ~x11222+6710886400 x7680+3355443200 x7679+1677721600 x7678+838860800 x7677+419430400 x7676+209715200 x7675+104857600 x7674+52428800 x7673+26214400 x7672+13107200 x7671+6553600 x7670+3276800 x7669+1638400 x7668+819200 x7667+409600 x7666+204800 x7665+102400 x7664+51200 x7663+25600 x7662+12800 x7661+6400 x7660+3200 x7659+1600 x7658+800 x7657+400 x7656+200 x7655+100 x7654+50 x7653+25 x7652+3758096384 ~x7651+1879048192 ~x7650+939524096 ~x7649+469762048 ~x7648+234881024 ~x7647+117440512 ~x7646+58720256 ~x7645+29360128 ~x7644+14680064 ~x7643+7340032 ~x7642+3670016 ~x7641+1835008 ~x7640+917504 ~x7639+458752 ~x7638+229376 ~x7637+114688 ~x7636+57344 ~x7635+28672 ~x7634+14336 ~x7633+7168 ~x7632+3584 ~x7631+1792 ~x7630+896 ~x7629+448 ~x7628+224 ~x7627+112 ~x7626+56 ~x7625+28 ~x7624+14 ~x7623+7 ~x7622+8053063680 x4081+4026531840 x4080+2013265920 x4079+1006632960 x4078+503316480 x4077+251658240 x4076+125829120 x4075+62914560 x4074+31457280 x4073+15728640 x4072+7864320 x4071+3932160 x4070+1966080 x4069+983040 x4068+491520 x4067+245760 x4066+122880 x4065+61440 x4064+30720 x4063+15360 x4062+7680 x4061+3840 x4060+1920 x4059+960 x4058+480 x4057+240 x4056+120 x4055+60 x4054+30 x4053+15 x4052-0=17179869175
34.17/34.23	c 4294967296 ~x1163060+2147483648 ~x1163059+1073741824 ~x1163058+536870912 ~x1163057+268435456 ~x1163056+134217728 ~x1163055+67108864 ~x1163054+33554432 ~x1163053+16777216 ~x1163052+8388608 ~x1163051+4194304 ~x1163050+2097152 ~x1163049+1048576 ~x1163048+524288 ~x1163047+262144 ~x1163046+131072 ~x1163045+65536 ~x1163044+32768 ~x1163043+16384 ~x1163042+8192 ~x1163041+4096 ~x1163040+2048 ~x1163039+1024 ~x1163038+512 ~x1163037+256 ~x1163036+128 ~x1163035+64 ~x1163034+32 ~x1163033+16 ~x1163032+8 ~x1163031+4 ~x1163030+2 ~x1163029+1 ~x1163028+536870912 x11311+268435456 x11310+134217728 x11309+67108864 x11308+33554432 x11307+16777216 x11306+8388608 x11305+4194304 x11304+2097152 x11303+1048576 x11302+524288 x11301+262144 x11300+131072 x11299+65536 x11298+32768 x11297+16384 x11296+8192 x11295+4096 x11294+2048 x11293+1024 x11292+512 x11291+256 x11290+128 x11289+64 x11288+32 x11287+16 x11286+8 x11285+4 x11284+2 x11283+1 x11282+536870912 ~x11281+268435456 ~x11280+134217728 ~x11279+67108864 ~x11278+33554432 ~x11277+16777216 ~x11276+8388608 ~x11275+4194304 ~x11274+2097152 ~x11273+1048576 ~x11272+524288 ~x11271+262144 ~x11270+131072 ~x11269+65536 ~x11268+32768 ~x11267+16384 ~x11266+8192 ~x11265+4096 ~x11264+2048 ~x11263+1024 ~x11262+512 ~x11261+256 ~x11260+128 ~x11259+64 ~x11258+32 ~x11257+16 ~x11256+8 ~x11255+4 ~x11254+2 ~x11253+1 ~x11252+6710886400 x7710+3355443200 x7709+1677721600 x7708+838860800 x7707+419430400 x7706+209715200 x7705+104857600 x7704+52428800 x7703+26214400 x7702+13107200 x7701+6553600 x7700+3276800 x7699+1638400 x7698+819200 x7697+409600 x7696+204800 x7695+102400 x7694+51200 x7693+25600 x7692+12800 x7691+6400 x7690+3200 x7689+1600 x7688+800 x7687+400 x7686+200 x7685+100 x7684+50 x7683+25 x7682+3758096384 ~x7681+1879048192 ~x7680+939524096 ~x7679+469762048 ~x7678+234881024 ~x7677+117440512 ~x7676+58720256 ~x7675+29360128 ~x7674+14680064 ~x7673+7340032 ~x7672+3670016 ~x7671+1835008 ~x7670+917504 ~x7669+458752 ~x7668+229376 ~x7667+114688 ~x7666+57344 ~x7665+28672 ~x7664+14336 ~x7663+7168 ~x7662+3584 ~x7661+1792 ~x7660+896 ~x7659+448 ~x7658+224 ~x7657+112 ~x7656+56 ~x7655+28 ~x7654+14 ~x7653+7 ~x7652+8053063680 x4111+4026531840 x4110+2013265920 x4109+1006632960 x4108+503316480 x4107+251658240 x4106+125829120 x4105+62914560 x4104+31457280 x4103+15728640 x4102+7864320 x4101+3932160 x4100+1966080 x4099+983040 x4098+491520 x4097+245760 x4096+122880 x4095+61440 x4094+30720 x4093+15360 x4092+7680 x4091+3840 x4090+1920 x4089+960 x4088+480 x4087+240 x4086+120 x4085+60 x4084+30 x4083+15 x4082-0=17179869175
36.07/36.10	c 4294967296 ~x1245469+2147483648 ~x1245468+1073741824 ~x1245467+536870912 ~x1245466+268435456 ~x1245465+134217728 ~x1245464+67108864 ~x1245463+33554432 ~x1245462+16777216 ~x1245461+8388608 ~x1245460+4194304 ~x1245459+2097152 ~x1245458+1048576 ~x1245457+524288 ~x1245456+262144 ~x1245455+131072 ~x1245454+65536 ~x1245453+32768 ~x1245452+16384 ~x1245451+8192 ~x1245450+4096 ~x1245449+2048 ~x1245448+1024 ~x1245447+512 ~x1245446+256 ~x1245445+128 ~x1245444+64 ~x1245443+32 ~x1245442+16 ~x1245441+8 ~x1245440+4 ~x1245439+2 ~x1245438+1 ~x1245437+536870912 x11341+268435456 x11340+134217728 x11339+67108864 x11338+33554432 x11337+16777216 x11336+8388608 x11335+4194304 x11334+2097152 x11333+1048576 x11332+524288 x11331+262144 x11330+131072 x11329+65536 x11328+32768 x11327+16384 x11326+8192 x11325+4096 x11324+2048 x11323+1024 x11322+512 x11321+256 x11320+128 x11319+64 x11318+32 x11317+16 x11316+8 x11315+4 x11314+2 x11313+1 x11312+536870912 ~x11311+268435456 ~x11310+134217728 ~x11309+67108864 ~x11308+33554432 ~x11307+16777216 ~x11306+8388608 ~x11305+4194304 ~x11304+2097152 ~x11303+1048576 ~x11302+524288 ~x11301+262144 ~x11300+131072 ~x11299+65536 ~x11298+32768 ~x11297+16384 ~x11296+8192 ~x11295+4096 ~x11294+2048 ~x11293+1024 ~x11292+512 ~x11291+256 ~x11290+128 ~x11289+64 ~x11288+32 ~x11287+16 ~x11286+8 ~x11285+4 ~x11284+2 ~x11283+1 ~x11282+6710886400 x7740+3355443200 x7739+1677721600 x7738+838860800 x7737+419430400 x7736+209715200 x7735+104857600 x7734+52428800 x7733+26214400 x7732+13107200 x7731+6553600 x7730+3276800 x7729+1638400 x7728+819200 x7727+409600 x7726+204800 x7725+102400 x7724+51200 x7723+25600 x7722+12800 x7721+6400 x7720+3200 x7719+1600 x7718+800 x7717+400 x7716+200 x7715+100 x7714+50 x7713+25 x7712+3758096384 ~x7711+1879048192 ~x7710+939524096 ~x7709+469762048 ~x7708+234881024 ~x7707+117440512 ~x7706+58720256 ~x7705+29360128 ~x7704+14680064 ~x7703+7340032 ~x7702+3670016 ~x7701+1835008 ~x7700+917504 ~x7699+458752 ~x7698+229376 ~x7697+114688 ~x7696+57344 ~x7695+28672 ~x7694+14336 ~x7693+7168 ~x7692+3584 ~x7691+1792 ~x7690+896 ~x7689+448 ~x7688+224 ~x7687+112 ~x7686+56 ~x7685+28 ~x7684+14 ~x7683+7 ~x7682+8053063680 x4141+4026531840 x4140+2013265920 x4139+1006632960 x4138+503316480 x4137+251658240 x4136+125829120 x4135+62914560 x4134+31457280 x4133+15728640 x4132+7864320 x4131+3932160 x4130+1966080 x4129+983040 x4128+491520 x4127+245760 x4126+122880 x4125+61440 x4124+30720 x4123+15360 x4122+7680 x4121+3840 x4120+1920 x4119+960 x4118+480 x4117+240 x4116+120 x4115+60 x4114+30 x4113+15 x4112-0=17179869175
37.88/37.97	c 4294967296 ~x1327878+2147483648 ~x1327877+1073741824 ~x1327876+536870912 ~x1327875+268435456 ~x1327874+134217728 ~x1327873+67108864 ~x1327872+33554432 ~x1327871+16777216 ~x1327870+8388608 ~x1327869+4194304 ~x1327868+2097152 ~x1327867+1048576 ~x1327866+524288 ~x1327865+262144 ~x1327864+131072 ~x1327863+65536 ~x1327862+32768 ~x1327861+16384 ~x1327860+8192 ~x1327859+4096 ~x1327858+2048 ~x1327857+1024 ~x1327856+512 ~x1327855+256 ~x1327854+128 ~x1327853+64 ~x1327852+32 ~x1327851+16 ~x1327850+8 ~x1327849+4 ~x1327848+2 ~x1327847+1 ~x1327846+536870912 x11371+268435456 x11370+134217728 x11369+67108864 x11368+33554432 x11367+16777216 x11366+8388608 x11365+4194304 x11364+2097152 x11363+1048576 x11362+524288 x11361+262144 x11360+131072 x11359+65536 x11358+32768 x11357+16384 x11356+8192 x11355+4096 x11354+2048 x11353+1024 x11352+512 x11351+256 x11350+128 x11349+64 x11348+32 x11347+16 x11346+8 x11345+4 x11344+2 x11343+1 x11342+536870912 ~x11341+268435456 ~x11340+134217728 ~x11339+67108864 ~x11338+33554432 ~x11337+16777216 ~x11336+8388608 ~x11335+4194304 ~x11334+2097152 ~x11333+1048576 ~x11332+524288 ~x11331+262144 ~x11330+131072 ~x11329+65536 ~x11328+32768 ~x11327+16384 ~x11326+8192 ~x11325+4096 ~x11324+2048 ~x11323+1024 ~x11322+512 ~x11321+256 ~x11320+128 ~x11319+64 ~x11318+32 ~x11317+16 ~x11316+8 ~x11315+4 ~x11314+2 ~x11313+1 ~x11312+6710886400 x7770+3355443200 x7769+1677721600 x7768+838860800 x7767+419430400 x7766+209715200 x7765+104857600 x7764+52428800 x7763+26214400 x7762+13107200 x7761+6553600 x7760+3276800 x7759+1638400 x7758+819200 x7757+409600 x7756+204800 x7755+102400 x7754+51200 x7753+25600 x7752+12800 x7751+6400 x7750+3200 x7749+1600 x7748+800 x7747+400 x7746+200 x7745+100 x7744+50 x7743+25 x7742+3758096384 ~x7741+1879048192 ~x7740+939524096 ~x7739+469762048 ~x7738+234881024 ~x7737+117440512 ~x7736+58720256 ~x7735+29360128 ~x7734+14680064 ~x7733+7340032 ~x7732+3670016 ~x7731+1835008 ~x7730+917504 ~x7729+458752 ~x7728+229376 ~x7727+114688 ~x7726+57344 ~x7725+28672 ~x7724+14336 ~x7723+7168 ~x7722+3584 ~x7721+1792 ~x7720+896 ~x7719+448 ~x7718+224 ~x7717+112 ~x7716+56 ~x7715+28 ~x7714+14 ~x7713+7 ~x7712+8053063680 x4171+4026531840 x4170+2013265920 x4169+1006632960 x4168+503316480 x4167+251658240 x4166+125829120 x4165+62914560 x4164+31457280 x4163+15728640 x4162+7864320 x4161+3932160 x4160+1966080 x4159+983040 x4158+491520 x4157+245760 x4156+122880 x4155+61440 x4154+30720 x4153+15360 x4152+7680 x4151+3840 x4150+1920 x4149+960 x4148+480 x4147+240 x4146+120 x4145+60 x4144+30 x4143+15 x4142-0=17179869175
39.77/39.83	c 4294967296 ~x1410287+2147483648 ~x1410286+1073741824 ~x1410285+536870912 ~x1410284+268435456 ~x1410283+134217728 ~x1410282+67108864 ~x1410281+33554432 ~x1410280+16777216 ~x1410279+8388608 ~x1410278+4194304 ~x1410277+2097152 ~x1410276+1048576 ~x1410275+524288 ~x1410274+262144 ~x1410273+131072 ~x1410272+65536 ~x1410271+32768 ~x1410270+16384 ~x1410269+8192 ~x1410268+4096 ~x1410267+2048 ~x1410266+1024 ~x1410265+512 ~x1410264+256 ~x1410263+128 ~x1410262+64 ~x1410261+32 ~x1410260+16 ~x1410259+8 ~x1410258+4 ~x1410257+2 ~x1410256+1 ~x1410255+536870912 x11401+268435456 x11400+134217728 x11399+67108864 x11398+33554432 x11397+16777216 x11396+8388608 x11395+4194304 x11394+2097152 x11393+1048576 x11392+524288 x11391+262144 x11390+131072 x11389+65536 x11388+32768 x11387+16384 x11386+8192 x11385+4096 x11384+2048 x11383+1024 x11382+512 x11381+256 x11380+128 x11379+64 x11378+32 x11377+16 x11376+8 x11375+4 x11374+2 x11373+1 x11372+536870912 ~x11371+268435456 ~x11370+134217728 ~x11369+67108864 ~x11368+33554432 ~x11367+16777216 ~x11366+8388608 ~x11365+4194304 ~x11364+2097152 ~x11363+1048576 ~x11362+524288 ~x11361+262144 ~x11360+131072 ~x11359+65536 ~x11358+32768 ~x11357+16384 ~x11356+8192 ~x11355+4096 ~x11354+2048 ~x11353+1024 ~x11352+512 ~x11351+256 ~x11350+128 ~x11349+64 ~x11348+32 ~x11347+16 ~x11346+8 ~x11345+4 ~x11344+2 ~x11343+1 ~x11342+6710886400 x7800+3355443200 x7799+1677721600 x7798+838860800 x7797+419430400 x7796+209715200 x7795+104857600 x7794+52428800 x7793+26214400 x7792+13107200 x7791+6553600 x7790+3276800 x7789+1638400 x7788+819200 x7787+409600 x7786+204800 x7785+102400 x7784+51200 x7783+25600 x7782+12800 x7781+6400 x7780+3200 x7779+1600 x7778+800 x7777+400 x7776+200 x7775+100 x7774+50 x7773+25 x7772+3758096384 ~x7771+1879048192 ~x7770+939524096 ~x7769+469762048 ~x7768+234881024 ~x7767+117440512 ~x7766+58720256 ~x7765+29360128 ~x7764+14680064 ~x7763+7340032 ~x7762+3670016 ~x7761+1835008 ~x7760+917504 ~x7759+458752 ~x7758+229376 ~x7757+114688 ~x7756+57344 ~x7755+28672 ~x7754+14336 ~x7753+7168 ~x7752+3584 ~x7751+1792 ~x7750+896 ~x7749+448 ~x7748+224 ~x7747+112 ~x7746+56 ~x7745+28 ~x7744+14 ~x7743+7 ~x7742+8053063680 x4201+4026531840 x4200+2013265920 x4199+1006632960 x4198+503316480 x4197+251658240 x4196+125829120 x4195+62914560 x4194+31457280 x4193+15728640 x4192+7864320 x4191+3932160 x4190+1966080 x4189+983040 x4188+491520 x4187+245760 x4186+122880 x4185+61440 x4184+30720 x4183+15360 x4182+7680 x4181+3840 x4180+1920 x4179+960 x4178+480 x4177+240 x4176+120 x4175+60 x4174+30 x4173+15 x4172-0=17179869175
41.57/41.69	c 8589934592 ~x1492697+4294967296 ~x1492696+2147483648 ~x1492695+1073741824 ~x1492694+536870912 ~x1492693+268435456 ~x1492692+134217728 ~x1492691+67108864 ~x1492690+33554432 ~x1492689+16777216 ~x1492688+8388608 ~x1492687+4194304 ~x1492686+2097152 ~x1492685+1048576 ~x1492684+524288 ~x1492683+262144 ~x1492682+131072 ~x1492681+65536 ~x1492680+32768 ~x1492679+16384 ~x1492678+8192 ~x1492677+4096 ~x1492676+2048 ~x1492675+1024 ~x1492674+512 ~x1492673+256 ~x1492672+128 ~x1492671+64 ~x1492670+32 ~x1492669+16 ~x1492668+8 ~x1492667+4 ~x1492666+2 ~x1492665+1 ~x1492664+536870912 ~x11701+268435456 ~x11700+134217728 ~x11699+67108864 ~x11698+33554432 ~x11697+16777216 ~x11696+8388608 ~x11695+4194304 ~x11694+2097152 ~x11693+1048576 ~x11692+524288 ~x11691+262144 ~x11690+131072 ~x11689+65536 ~x11688+32768 ~x11687+16384 ~x11686+8192 ~x11685+4096 ~x11684+2048 ~x11683+1024 ~x11682+512 ~x11681+256 ~x11680+128 ~x11679+64 ~x11678+32 ~x11677+16 ~x11676+8 ~x11675+4 ~x11674+2 ~x11673+1 ~x11672+536870912 x11431+268435456 x11430+134217728 x11429+67108864 x11428+33554432 x11427+16777216 x11426+8388608 x11425+4194304 x11424+2097152 x11423+1048576 x11422+524288 x11421+262144 x11420+131072 x11419+65536 x11418+32768 x11417+16384 x11416+8192 x11415+4096 x11414+2048 x11413+1024 x11412+512 x11411+256 x11410+128 x11409+64 x11408+32 x11407+16 x11406+8 x11405+4 x11404+2 x11403+1 x11402+8053063680 ~x8101+4026531840 ~x8100+2013265920 ~x8099+1006632960 ~x8098+503316480 ~x8097+251658240 ~x8096+125829120 ~x8095+62914560 ~x8094+31457280 ~x8093+15728640 ~x8092+7864320 ~x8091+3932160 ~x8090+1966080 ~x8089+983040 ~x8088+491520 ~x8087+245760 ~x8086+122880 ~x8085+61440 ~x8084+30720 ~x8083+15360 ~x8082+7680 ~x8081+3840 ~x8080+1920 ~x8079+960 ~x8078+480 ~x8077+240 ~x8076+120 ~x8075+60 ~x8074+30 ~x8073+15 ~x8072+10737418240 x7829+5368709120 x7828+2684354560 x7827+1342177280 x7826+671088640 x7825+335544320 x7824+167772160 x7823+83886080 x7822+41943040 x7821+20971520 x7820+10485760 x7819+5242880 x7818+2621440 x7817+1310720 x7816+655360 x7815+327680 x7814+163840 x7813+81920 x7812+40960 x7811+20480 x7810+10240 x7809+5120 x7808+2560 x7807+1280 x7806+640 x7805+320 x7804+160 x7803+80 x7802+13421772800 x4230+6710886400 x4229+3355443200 x4228+1677721600 x4227+838860800 x4226+419430400 x4225+209715200 x4224+104857600 x4223+52428800 x4222+26214400 x4221+13107200 x4220+6553600 x4219+3276800 x4218+1638400 x4217+819200 x4216+409600 x4215+204800 x4214+102400 x4213+51200 x4212+25600 x4211+12800 x4210+6400 x4209+3200 x4208+1600 x4207+800 x4206+400 x4205+200 x4204+100 x4203+50 x4202-0=34359738351
43.47/43.56	c 8589934592 ~x1574129+4294967296 ~x1574128+2147483648 ~x1574127+1073741824 ~x1574126+536870912 ~x1574125+268435456 ~x1574124+134217728 ~x1574123+67108864 ~x1574122+33554432 ~x1574121+16777216 ~x1574120+8388608 ~x1574119+4194304 ~x1574118+2097152 ~x1574117+1048576 ~x1574116+524288 ~x1574115+262144 ~x1574114+131072 ~x1574113+65536 ~x1574112+32768 ~x1574111+16384 ~x1574110+8192 ~x1574109+4096 ~x1574108+2048 ~x1574107+1024 ~x1574106+512 ~x1574105+256 ~x1574104+128 ~x1574103+64 ~x1574102+32 ~x1574101+16 ~x1574100+8 ~x1574099+4 ~x1574098+2 ~x1574097+1 ~x1574096+536870912 x11491+268435456 x11490+134217728 x11489+67108864 x11488+33554432 x11487+16777216 x11486+8388608 x11485+4194304 x11484+2097152 x11483+1048576 x11482+524288 x11481+262144 x11480+131072 x11479+65536 x11478+32768 x11477+16384 x11476+8192 x11475+4096 x11474+2048 x11473+1024 x11472+512 x11471+256 x11470+128 x11469+64 x11468+32 x11467+16 x11466+8 x11465+4 x11464+2 x11463+1 x11462+536870912 ~x11461+268435456 ~x11460+134217728 ~x11459+67108864 ~x11458+33554432 ~x11457+16777216 ~x11456+8388608 ~x11455+4194304 ~x11454+2097152 ~x11453+1048576 ~x11452+524288 ~x11451+262144 ~x11450+131072 ~x11449+65536 ~x11448+32768 ~x11447+16384 ~x11446+8192 ~x11445+4096 ~x11444+2048 ~x11443+1024 ~x11442+512 ~x11441+256 ~x11440+128 ~x11439+64 ~x11438+32 ~x11437+16 ~x11436+8 ~x11435+4 ~x11434+2 ~x11433+1 ~x11432+10737418240 x7889+5368709120 x7888+2684354560 x7887+1342177280 x7886+671088640 x7885+335544320 x7884+167772160 x7883+83886080 x7882+41943040 x7881+20971520 x7880+10485760 x7879+5242880 x7878+2621440 x7877+1310720 x7876+655360 x7875+327680 x7874+163840 x7873+81920 x7872+40960 x7871+20480 x7870+10240 x7869+5120 x7868+2560 x7867+1280 x7866+640 x7865+320 x7864+160 x7863+80 x7862+8053063680 ~x7861+4026531840 ~x7860+2013265920 ~x7859+1006632960 ~x7858+503316480 ~x7857+251658240 ~x7856+125829120 ~x7855+62914560 ~x7854+31457280 ~x7853+15728640 ~x7852+7864320 ~x7851+3932160 ~x7850+1966080 ~x7849+983040 ~x7848+491520 ~x7847+245760 ~x7846+122880 ~x7845+61440 ~x7844+30720 ~x7843+15360 ~x7842+7680 ~x7841+3840 ~x7840+1920 ~x7839+960 ~x7838+480 ~x7837+240 ~x7836+120 ~x7835+60 ~x7834+30 ~x7833+15 ~x7832+13421772800 x4290+6710886400 x4289+3355443200 x4288+1677721600 x4287+838860800 x4286+419430400 x4285+209715200 x4284+104857600 x4283+52428800 x4282+26214400 x4281+13107200 x4280+6553600 x4279+3276800 x4278+1638400 x4277+819200 x4276+409600 x4275+204800 x4274+102400 x4273+51200 x4272+25600 x4271+12800 x4270+6400 x4269+3200 x4268+1600 x4267+800 x4266+400 x4265+200 x4264+100 x4263+50 x4262-0=34359738351
45.37/45.40	c 8589934592 ~x1655561+4294967296 ~x1655560+2147483648 ~x1655559+1073741824 ~x1655558+536870912 ~x1655557+268435456 ~x1655556+134217728 ~x1655555+67108864 ~x1655554+33554432 ~x1655553+16777216 ~x1655552+8388608 ~x1655551+4194304 ~x1655550+2097152 ~x1655549+1048576 ~x1655548+524288 ~x1655547+262144 ~x1655546+131072 ~x1655545+65536 ~x1655544+32768 ~x1655543+16384 ~x1655542+8192 ~x1655541+4096 ~x1655540+2048 ~x1655539+1024 ~x1655538+512 ~x1655537+256 ~x1655536+128 ~x1655535+64 ~x1655534+32 ~x1655533+16 ~x1655532+8 ~x1655531+4 ~x1655530+2 ~x1655529+1 ~x1655528+536870912 x11521+268435456 x11520+134217728 x11519+67108864 x11518+33554432 x11517+16777216 x11516+8388608 x11515+4194304 x11514+2097152 x11513+1048576 x11512+524288 x11511+262144 x11510+131072 x11509+65536 x11508+32768 x11507+16384 x11506+8192 x11505+4096 x11504+2048 x11503+1024 x11502+512 x11501+256 x11500+128 x11499+64 x11498+32 x11497+16 x11496+8 x11495+4 x11494+2 x11493+1 x11492+536870912 ~x11491+268435456 ~x11490+134217728 ~x11489+67108864 ~x11488+33554432 ~x11487+16777216 ~x11486+8388608 ~x11485+4194304 ~x11484+2097152 ~x11483+1048576 ~x11482+524288 ~x11481+262144 ~x11480+131072 ~x11479+65536 ~x11478+32768 ~x11477+16384 ~x11476+8192 ~x11475+4096 ~x11474+2048 ~x11473+1024 ~x11472+512 ~x11471+256 ~x11470+128 ~x11469+64 ~x11468+32 ~x11467+16 ~x11466+8 ~x11465+4 ~x11464+2 ~x11463+1 ~x11462+10737418240 x7919+5368709120 x7918+2684354560 x7917+1342177280 x7916+671088640 x7915+335544320 x7914+167772160 x7913+83886080 x7912+41943040 x7911+20971520 x7910+10485760 x7909+5242880 x7908+2621440 x7907+1310720 x7906+655360 x7905+327680 x7904+163840 x7903+81920 x7902+40960 x7901+20480 x7900+10240 x7899+5120 x7898+2560 x7897+1280 x7896+640 x7895+320 x7894+160 x7893+80 x7892+8053063680 ~x7891+4026531840 ~x7890+2013265920 ~x7889+1006632960 ~x7888+503316480 ~x7887+251658240 ~x7886+125829120 ~x7885+62914560 ~x7884+31457280 ~x7883+15728640 ~x7882+7864320 ~x7881+3932160 ~x7880+1966080 ~x7879+983040 ~x7878+491520 ~x7877+245760 ~x7876+122880 ~x7875+61440 ~x7874+30720 ~x7873+15360 ~x7872+7680 ~x7871+3840 ~x7870+1920 ~x7869+960 ~x7868+480 ~x7867+240 ~x7866+120 ~x7865+60 ~x7864+30 ~x7863+15 ~x7862+13421772800 x4320+6710886400 x4319+3355443200 x4318+1677721600 x4317+838860800 x4316+419430400 x4315+209715200 x4314+104857600 x4313+52428800 x4312+26214400 x4311+13107200 x4310+6553600 x4309+3276800 x4308+1638400 x4307+819200 x4306+409600 x4305+204800 x4304+102400 x4303+51200 x4302+25600 x4301+12800 x4300+6400 x4299+3200 x4298+1600 x4297+800 x4296+400 x4295+200 x4294+100 x4293+50 x4292-0=34359738351
47.18/47.24	c 8589934592 ~x1736993+4294967296 ~x1736992+2147483648 ~x1736991+1073741824 ~x1736990+536870912 ~x1736989+268435456 ~x1736988+134217728 ~x1736987+67108864 ~x1736986+33554432 ~x1736985+16777216 ~x1736984+8388608 ~x1736983+4194304 ~x1736982+2097152 ~x1736981+1048576 ~x1736980+524288 ~x1736979+262144 ~x1736978+131072 ~x1736977+65536 ~x1736976+32768 ~x1736975+16384 ~x1736974+8192 ~x1736973+4096 ~x1736972+2048 ~x1736971+1024 ~x1736970+512 ~x1736969+256 ~x1736968+128 ~x1736967+64 ~x1736966+32 ~x1736965+16 ~x1736964+8 ~x1736963+4 ~x1736962+2 ~x1736961+1 ~x1736960+536870912 x11551+268435456 x11550+134217728 x11549+67108864 x11548+33554432 x11547+16777216 x11546+8388608 x11545+4194304 x11544+2097152 x11543+1048576 x11542+524288 x11541+262144 x11540+131072 x11539+65536 x11538+32768 x11537+16384 x11536+8192 x11535+4096 x11534+2048 x11533+1024 x11532+512 x11531+256 x11530+128 x11529+64 x11528+32 x11527+16 x11526+8 x11525+4 x11524+2 x11523+1 x11522+536870912 ~x11521+268435456 ~x11520+134217728 ~x11519+67108864 ~x11518+33554432 ~x11517+16777216 ~x11516+8388608 ~x11515+4194304 ~x11514+2097152 ~x11513+1048576 ~x11512+524288 ~x11511+262144 ~x11510+131072 ~x11509+65536 ~x11508+32768 ~x11507+16384 ~x11506+8192 ~x11505+4096 ~x11504+2048 ~x11503+1024 ~x11502+512 ~x11501+256 ~x11500+128 ~x11499+64 ~x11498+32 ~x11497+16 ~x11496+8 ~x11495+4 ~x11494+2 ~x11493+1 ~x11492+10737418240 x7949+5368709120 x7948+2684354560 x7947+1342177280 x7946+671088640 x7945+335544320 x7944+167772160 x7943+83886080 x7942+41943040 x7941+20971520 x7940+10485760 x7939+5242880 x7938+2621440 x7937+1310720 x7936+655360 x7935+327680 x7934+163840 x7933+81920 x7932+40960 x7931+20480 x7930+10240 x7929+5120 x7928+2560 x7927+1280 x7926+640 x7925+320 x7924+160 x7923+80 x7922+8053063680 ~x7921+4026531840 ~x7920+2013265920 ~x7919+1006632960 ~x7918+503316480 ~x7917+251658240 ~x7916+125829120 ~x7915+62914560 ~x7914+31457280 ~x7913+15728640 ~x7912+7864320 ~x7911+3932160 ~x7910+1966080 ~x7909+983040 ~x7908+491520 ~x7907+245760 ~x7906+122880 ~x7905+61440 ~x7904+30720 ~x7903+15360 ~x7902+7680 ~x7901+3840 ~x7900+1920 ~x7899+960 ~x7898+480 ~x7897+240 ~x7896+120 ~x7895+60 ~x7894+30 ~x7893+15 ~x7892+13421772800 x4350+6710886400 x4349+3355443200 x4348+1677721600 x4347+838860800 x4346+419430400 x4345+209715200 x4344+104857600 x4343+52428800 x4342+26214400 x4341+13107200 x4340+6553600 x4339+3276800 x4338+1638400 x4337+819200 x4336+409600 x4335+204800 x4334+102400 x4333+51200 x4332+25600 x4331+12800 x4330+6400 x4329+3200 x4328+1600 x4327+800 x4326+400 x4325+200 x4324+100 x4323+50 x4322-0=34359738351
48.97/49.09	c 8589934592 ~x1818425+4294967296 ~x1818424+2147483648 ~x1818423+1073741824 ~x1818422+536870912 ~x1818421+268435456 ~x1818420+134217728 ~x1818419+67108864 ~x1818418+33554432 ~x1818417+16777216 ~x1818416+8388608 ~x1818415+4194304 ~x1818414+2097152 ~x1818413+1048576 ~x1818412+524288 ~x1818411+262144 ~x1818410+131072 ~x1818409+65536 ~x1818408+32768 ~x1818407+16384 ~x1818406+8192 ~x1818405+4096 ~x1818404+2048 ~x1818403+1024 ~x1818402+512 ~x1818401+256 ~x1818400+128 ~x1818399+64 ~x1818398+32 ~x1818397+16 ~x1818396+8 ~x1818395+4 ~x1818394+2 ~x1818393+1 ~x1818392+536870912 x11581+268435456 x11580+134217728 x11579+67108864 x11578+33554432 x11577+16777216 x11576+8388608 x11575+4194304 x11574+2097152 x11573+1048576 x11572+524288 x11571+262144 x11570+131072 x11569+65536 x11568+32768 x11567+16384 x11566+8192 x11565+4096 x11564+2048 x11563+1024 x11562+512 x11561+256 x11560+128 x11559+64 x11558+32 x11557+16 x11556+8 x11555+4 x11554+2 x11553+1 x11552+536870912 ~x11551+268435456 ~x11550+134217728 ~x11549+67108864 ~x11548+33554432 ~x11547+16777216 ~x11546+8388608 ~x11545+4194304 ~x11544+2097152 ~x11543+1048576 ~x11542+524288 ~x11541+262144 ~x11540+131072 ~x11539+65536 ~x11538+32768 ~x11537+16384 ~x11536+8192 ~x11535+4096 ~x11534+2048 ~x11533+1024 ~x11532+512 ~x11531+256 ~x11530+128 ~x11529+64 ~x11528+32 ~x11527+16 ~x11526+8 ~x11525+4 ~x11524+2 ~x11523+1 ~x11522+10737418240 x7979+5368709120 x7978+2684354560 x7977+1342177280 x7976+671088640 x7975+335544320 x7974+167772160 x7973+83886080 x7972+41943040 x7971+20971520 x7970+10485760 x7969+5242880 x7968+2621440 x7967+1310720 x7966+655360 x7965+327680 x7964+163840 x7963+81920 x7962+40960 x7961+20480 x7960+10240 x7959+5120 x7958+2560 x7957+1280 x7956+640 x7955+320 x7954+160 x7953+80 x7952+8053063680 ~x7951+4026531840 ~x7950+2013265920 ~x7949+1006632960 ~x7948+503316480 ~x7947+251658240 ~x7946+125829120 ~x7945+62914560 ~x7944+31457280 ~x7943+15728640 ~x7942+7864320 ~x7941+3932160 ~x7940+1966080 ~x7939+983040 ~x7938+491520 ~x7937+245760 ~x7936+122880 ~x7935+61440 ~x7934+30720 ~x7933+15360 ~x7932+7680 ~x7931+3840 ~x7930+1920 ~x7929+960 ~x7928+480 ~x7927+240 ~x7926+120 ~x7925+60 ~x7924+30 ~x7923+15 ~x7922+13421772800 x4380+6710886400 x4379+3355443200 x4378+1677721600 x4377+838860800 x4376+419430400 x4375+209715200 x4374+104857600 x4373+52428800 x4372+26214400 x4371+13107200 x4370+6553600 x4369+3276800 x4368+1638400 x4367+819200 x4366+409600 x4365+204800 x4364+102400 x4363+51200 x4362+25600 x4361+12800 x4360+6400 x4359+3200 x4358+1600 x4357+800 x4356+400 x4355+200 x4354+100 x4353+50 x4352-0=34359738351
50.86/50.94	c 8589934592 ~x1899857+4294967296 ~x1899856+2147483648 ~x1899855+1073741824 ~x1899854+536870912 ~x1899853+268435456 ~x1899852+134217728 ~x1899851+67108864 ~x1899850+33554432 ~x1899849+16777216 ~x1899848+8388608 ~x1899847+4194304 ~x1899846+2097152 ~x1899845+1048576 ~x1899844+524288 ~x1899843+262144 ~x1899842+131072 ~x1899841+65536 ~x1899840+32768 ~x1899839+16384 ~x1899838+8192 ~x1899837+4096 ~x1899836+2048 ~x1899835+1024 ~x1899834+512 ~x1899833+256 ~x1899832+128 ~x1899831+64 ~x1899830+32 ~x1899829+16 ~x1899828+8 ~x1899827+4 ~x1899826+2 ~x1899825+1 ~x1899824+536870912 x11611+268435456 x11610+134217728 x11609+67108864 x11608+33554432 x11607+16777216 x11606+8388608 x11605+4194304 x11604+2097152 x11603+1048576 x11602+524288 x11601+262144 x11600+131072 x11599+65536 x11598+32768 x11597+16384 x11596+8192 x11595+4096 x11594+2048 x11593+1024 x11592+512 x11591+256 x11590+128 x11589+64 x11588+32 x11587+16 x11586+8 x11585+4 x11584+2 x11583+1 x11582+536870912 ~x11581+268435456 ~x11580+134217728 ~x11579+67108864 ~x11578+33554432 ~x11577+16777216 ~x11576+8388608 ~x11575+4194304 ~x11574+2097152 ~x11573+1048576 ~x11572+524288 ~x11571+262144 ~x11570+131072 ~x11569+65536 ~x11568+32768 ~x11567+16384 ~x11566+8192 ~x11565+4096 ~x11564+2048 ~x11563+1024 ~x11562+512 ~x11561+256 ~x11560+128 ~x11559+64 ~x11558+32 ~x11557+16 ~x11556+8 ~x11555+4 ~x11554+2 ~x11553+1 ~x11552+10737418240 x8009+5368709120 x8008+2684354560 x8007+1342177280 x8006+671088640 x8005+335544320 x8004+167772160 x8003+83886080 x8002+41943040 x8001+20971520 x8000+10485760 x7999+5242880 x7998+2621440 x7997+1310720 x7996+655360 x7995+327680 x7994+163840 x7993+81920 x7992+40960 x7991+20480 x7990+10240 x7989+5120 x7988+2560 x7987+1280 x7986+640 x7985+320 x7984+160 x7983+80 x7982+8053063680 ~x7981+4026531840 ~x7980+2013265920 ~x7979+1006632960 ~x7978+503316480 ~x7977+251658240 ~x7976+125829120 ~x7975+62914560 ~x7974+31457280 ~x7973+15728640 ~x7972+7864320 ~x7971+3932160 ~x7970+1966080 ~x7969+983040 ~x7968+491520 ~x7967+245760 ~x7966+122880 ~x7965+61440 ~x7964+30720 ~x7963+15360 ~x7962+7680 ~x7961+3840 ~x7960+1920 ~x7959+960 ~x7958+480 ~x7957+240 ~x7956+120 ~x7955+60 ~x7954+30 ~x7953+15 ~x7952+13421772800 x4410+6710886400 x4409+3355443200 x4408+1677721600 x4407+838860800 x4406+419430400 x4405+209715200 x4404+104857600 x4403+52428800 x4402+26214400 x4401+13107200 x4400+6553600 x4399+3276800 x4398+1638400 x4397+819200 x4396+409600 x4395+204800 x4394+102400 x4393+51200 x4392+25600 x4391+12800 x4390+6400 x4389+3200 x4388+1600 x4387+800 x4386+400 x4385+200 x4384+100 x4383+50 x4382-0=34359738351
52.78/52.81	c 8589934592 ~x1981289+4294967296 ~x1981288+2147483648 ~x1981287+1073741824 ~x1981286+536870912 ~x1981285+268435456 ~x1981284+134217728 ~x1981283+67108864 ~x1981282+33554432 ~x1981281+16777216 ~x1981280+8388608 ~x1981279+4194304 ~x1981278+2097152 ~x1981277+1048576 ~x1981276+524288 ~x1981275+262144 ~x1981274+131072 ~x1981273+65536 ~x1981272+32768 ~x1981271+16384 ~x1981270+8192 ~x1981269+4096 ~x1981268+2048 ~x1981267+1024 ~x1981266+512 ~x1981265+256 ~x1981264+128 ~x1981263+64 ~x1981262+32 ~x1981261+16 ~x1981260+8 ~x1981259+4 ~x1981258+2 ~x1981257+1 ~x1981256+536870912 x11641+268435456 x11640+134217728 x11639+67108864 x11638+33554432 x11637+16777216 x11636+8388608 x11635+4194304 x11634+2097152 x11633+1048576 x11632+524288 x11631+262144 x11630+131072 x11629+65536 x11628+32768 x11627+16384 x11626+8192 x11625+4096 x11624+2048 x11623+1024 x11622+512 x11621+256 x11620+128 x11619+64 x11618+32 x11617+16 x11616+8 x11615+4 x11614+2 x11613+1 x11612+536870912 ~x11611+268435456 ~x11610+134217728 ~x11609+67108864 ~x11608+33554432 ~x11607+16777216 ~x11606+8388608 ~x11605+4194304 ~x11604+2097152 ~x11603+1048576 ~x11602+524288 ~x11601+262144 ~x11600+131072 ~x11599+65536 ~x11598+32768 ~x11597+16384 ~x11596+8192 ~x11595+4096 ~x11594+2048 ~x11593+1024 ~x11592+512 ~x11591+256 ~x11590+128 ~x11589+64 ~x11588+32 ~x11587+16 ~x11586+8 ~x11585+4 ~x11584+2 ~x11583+1 ~x11582+10737418240 x8039+5368709120 x8038+2684354560 x8037+1342177280 x8036+671088640 x8035+335544320 x8034+167772160 x8033+83886080 x8032+41943040 x8031+20971520 x8030+10485760 x8029+5242880 x8028+2621440 x8027+1310720 x8026+655360 x8025+327680 x8024+163840 x8023+81920 x8022+40960 x8021+20480 x8020+10240 x8019+5120 x8018+2560 x8017+1280 x8016+640 x8015+320 x8014+160 x8013+80 x8012+8053063680 ~x8011+4026531840 ~x8010+2013265920 ~x8009+1006632960 ~x8008+503316480 ~x8007+251658240 ~x8006+125829120 ~x8005+62914560 ~x8004+31457280 ~x8003+15728640 ~x8002+7864320 ~x8001+3932160 ~x8000+1966080 ~x7999+983040 ~x7998+491520 ~x7997+245760 ~x7996+122880 ~x7995+61440 ~x7994+30720 ~x7993+15360 ~x7992+7680 ~x7991+3840 ~x7990+1920 ~x7989+960 ~x7988+480 ~x7987+240 ~x7986+120 ~x7985+60 ~x7984+30 ~x7983+15 ~x7982+13421772800 x4440+6710886400 x4439+3355443200 x4438+1677721600 x4437+838860800 x4436+419430400 x4435+209715200 x4434+104857600 x4433+52428800 x4432+26214400 x4431+13107200 x4430+6553600 x4429+3276800 x4428+1638400 x4427+819200 x4426+409600 x4425+204800 x4424+102400 x4423+51200 x4422+25600 x4421+12800 x4420+6400 x4419+3200 x4418+1600 x4417+800 x4416+400 x4415+200 x4414+100 x4413+50 x4412-0=34359738351
54.57/54.64	c 8589934592 ~x2062721+4294967296 ~x2062720+2147483648 ~x2062719+1073741824 ~x2062718+536870912 ~x2062717+268435456 ~x2062716+134217728 ~x2062715+67108864 ~x2062714+33554432 ~x2062713+16777216 ~x2062712+8388608 ~x2062711+4194304 ~x2062710+2097152 ~x2062709+1048576 ~x2062708+524288 ~x2062707+262144 ~x2062706+131072 ~x2062705+65536 ~x2062704+32768 ~x2062703+16384 ~x2062702+8192 ~x2062701+4096 ~x2062700+2048 ~x2062699+1024 ~x2062698+512 ~x2062697+256 ~x2062696+128 ~x2062695+64 ~x2062694+32 ~x2062693+16 ~x2062692+8 ~x2062691+4 ~x2062690+2 ~x2062689+1 ~x2062688+536870912 x11671+268435456 x11670+134217728 x11669+67108864 x11668+33554432 x11667+16777216 x11666+8388608 x11665+4194304 x11664+2097152 x11663+1048576 x11662+524288 x11661+262144 x11660+131072 x11659+65536 x11658+32768 x11657+16384 x11656+8192 x11655+4096 x11654+2048 x11653+1024 x11652+512 x11651+256 x11650+128 x11649+64 x11648+32 x11647+16 x11646+8 x11645+4 x11644+2 x11643+1 x11642+536870912 ~x11641+268435456 ~x11640+134217728 ~x11639+67108864 ~x11638+33554432 ~x11637+16777216 ~x11636+8388608 ~x11635+4194304 ~x11634+2097152 ~x11633+1048576 ~x11632+524288 ~x11631+262144 ~x11630+131072 ~x11629+65536 ~x11628+32768 ~x11627+16384 ~x11626+8192 ~x11625+4096 ~x11624+2048 ~x11623+1024 ~x11622+512 ~x11621+256 ~x11620+128 ~x11619+64 ~x11618+32 ~x11617+16 ~x11616+8 ~x11615+4 ~x11614+2 ~x11613+1 ~x11612+10737418240 x8069+5368709120 x8068+2684354560 x8067+1342177280 x8066+671088640 x8065+335544320 x8064+167772160 x8063+83886080 x8062+41943040 x8061+20971520 x8060+10485760 x8059+5242880 x8058+2621440 x8057+1310720 x8056+655360 x8055+327680 x8054+163840 x8053+81920 x8052+40960 x8051+20480 x8050+10240 x8049+5120 x8048+2560 x8047+1280 x8046+640 x8045+320 x8044+160 x8043+80 x8042+8053063680 ~x8041+4026531840 ~x8040+2013265920 ~x8039+1006632960 ~x8038+503316480 ~x8037+251658240 ~x8036+125829120 ~x8035+62914560 ~x8034+31457280 ~x8033+15728640 ~x8032+7864320 ~x8031+3932160 ~x8030+1966080 ~x8029+983040 ~x8028+491520 ~x8027+245760 ~x8026+122880 ~x8025+61440 ~x8024+30720 ~x8023+15360 ~x8022+7680 ~x8021+3840 ~x8020+1920 ~x8019+960 ~x8018+480 ~x8017+240 ~x8016+120 ~x8015+60 ~x8014+30 ~x8013+15 ~x8012+13421772800 x4470+6710886400 x4469+3355443200 x4468+1677721600 x4467+838860800 x4466+419430400 x4465+209715200 x4464+104857600 x4463+52428800 x4462+26214400 x4461+13107200 x4460+6553600 x4459+3276800 x4458+1638400 x4457+819200 x4456+409600 x4455+204800 x4454+102400 x4453+51200 x4452+25600 x4451+12800 x4450+6400 x4449+3200 x4448+1600 x4447+800 x4446+400 x4445+200 x4444+100 x4443+50 x4442-0=34359738351
56.36/56.49	c 8589934592 ~x2144153+4294967296 ~x2144152+2147483648 ~x2144151+1073741824 ~x2144150+536870912 ~x2144149+268435456 ~x2144148+134217728 ~x2144147+67108864 ~x2144146+33554432 ~x2144145+16777216 ~x2144144+8388608 ~x2144143+4194304 ~x2144142+2097152 ~x2144141+1048576 ~x2144140+524288 ~x2144139+262144 ~x2144138+131072 ~x2144137+65536 ~x2144136+32768 ~x2144135+16384 ~x2144134+8192 ~x2144133+4096 ~x2144132+2048 ~x2144131+1024 ~x2144130+512 ~x2144129+256 ~x2144128+128 ~x2144127+64 ~x2144126+32 ~x2144125+16 ~x2144124+8 ~x2144123+4 ~x2144122+2 ~x2144121+1 ~x2144120+536870912 x11701+268435456 x11700+134217728 x11699+67108864 x11698+33554432 x11697+16777216 x11696+8388608 x11695+4194304 x11694+2097152 x11693+1048576 x11692+524288 x11691+262144 x11690+131072 x11689+65536 x11688+32768 x11687+16384 x11686+8192 x11685+4096 x11684+2048 x11683+1024 x11682+512 x11681+256 x11680+128 x11679+64 x11678+32 x11677+16 x11676+8 x11675+4 x11674+2 x11673+1 x11672+536870912 ~x11671+268435456 ~x11670+134217728 ~x11669+67108864 ~x11668+33554432 ~x11667+16777216 ~x11666+8388608 ~x11665+4194304 ~x11664+2097152 ~x11663+1048576 ~x11662+524288 ~x11661+262144 ~x11660+131072 ~x11659+65536 ~x11658+32768 ~x11657+16384 ~x11656+8192 ~x11655+4096 ~x11654+2048 ~x11653+1024 ~x11652+512 ~x11651+256 ~x11650+128 ~x11649+64 ~x11648+32 ~x11647+16 ~x11646+8 ~x11645+4 ~x11644+2 ~x11643+1 ~x11642+10737418240 x8099+5368709120 x8098+2684354560 x8097+1342177280 x8096+671088640 x8095+335544320 x8094+167772160 x8093+83886080 x8092+41943040 x8091+20971520 x8090+10485760 x8089+5242880 x8088+2621440 x8087+1310720 x8086+655360 x8085+327680 x8084+163840 x8083+81920 x8082+40960 x8081+20480 x8080+10240 x8079+5120 x8078+2560 x8077+1280 x8076+640 x8075+320 x8074+160 x8073+80 x8072+8053063680 ~x8071+4026531840 ~x8070+2013265920 ~x8069+1006632960 ~x8068+503316480 ~x8067+251658240 ~x8066+125829120 ~x8065+62914560 ~x8064+31457280 ~x8063+15728640 ~x8062+7864320 ~x8061+3932160 ~x8060+1966080 ~x8059+983040 ~x8058+491520 ~x8057+245760 ~x8056+122880 ~x8055+61440 ~x8054+30720 ~x8053+15360 ~x8052+7680 ~x8051+3840 ~x8050+1920 ~x8049+960 ~x8048+480 ~x8047+240 ~x8046+120 ~x8045+60 ~x8044+30 ~x8043+15 ~x8042+13421772800 x4500+6710886400 x4499+3355443200 x4498+1677721600 x4497+838860800 x4496+419430400 x4495+209715200 x4494+104857600 x4493+52428800 x4492+26214400 x4491+13107200 x4490+6553600 x4489+3276800 x4488+1638400 x4487+819200 x4486+409600 x4485+204800 x4484+102400 x4483+51200 x4482+25600 x4481+12800 x4480+6400 x4479+3200 x4478+1600 x4477+800 x4476+400 x4475+200 x4474+100 x4473+50 x4472-0=34359738351
58.28/58.32	c 4294967296 ~x2225584+2147483648 ~x2225583+1073741824 ~x2225582+536870912 ~x2225581+268435456 ~x2225580+134217728 ~x2225579+67108864 ~x2225578+33554432 ~x2225577+16777216 ~x2225576+8388608 ~x2225575+4194304 ~x2225574+2097152 ~x2225573+1048576 ~x2225572+524288 ~x2225571+262144 ~x2225570+131072 ~x2225569+65536 ~x2225568+32768 ~x2225567+16384 ~x2225566+8192 ~x2225565+4096 ~x2225564+2048 ~x2225563+1024 ~x2225562+512 ~x2225561+256 ~x2225560+128 ~x2225559+64 ~x2225558+32 ~x2225557+16 ~x2225556+8 ~x2225555+4 ~x2225554+2 ~x2225553+1 ~x2225552+536870912 ~x12001+268435456 ~x12000+134217728 ~x11999+67108864 ~x11998+33554432 ~x11997+16777216 ~x11996+8388608 ~x11995+4194304 ~x11994+2097152 ~x11993+1048576 ~x11992+524288 ~x11991+262144 ~x11990+131072 ~x11989+65536 ~x11988+32768 ~x11987+16384 ~x11986+8192 ~x11985+4096 ~x11984+2048 ~x11983+1024 ~x11982+512 ~x11981+256 ~x11980+128 ~x11979+64 ~x11978+32 ~x11977+16 ~x11976+8 ~x11975+4 ~x11974+2 ~x11973+1 ~x11972+536870912 x11731+268435456 x11730+134217728 x11729+67108864 x11728+33554432 x11727+16777216 x11726+8388608 x11725+4194304 x11724+2097152 x11723+1048576 x11722+524288 x11721+262144 x11720+131072 x11719+65536 x11718+32768 x11717+16384 x11716+8192 x11715+4096 x11714+2048 x11713+1024 x11712+512 x11711+256 x11710+128 x11709+64 x11708+32 x11707+16 x11706+8 x11705+4 x11704+2 x11703+1 x11702+2684354560 ~x8401+1342177280 ~x8400+671088640 ~x8399+335544320 ~x8398+167772160 ~x8397+83886080 ~x8396+41943040 ~x8395+20971520 ~x8394+10485760 ~x8393+5242880 ~x8392+2621440 ~x8391+1310720 ~x8390+655360 ~x8389+327680 ~x8388+163840 ~x8387+81920 ~x8386+40960 ~x8385+20480 ~x8384+10240 ~x8383+5120 ~x8382+2560 ~x8381+1280 ~x8380+640 ~x8379+320 ~x8378+160 ~x8377+80 ~x8376+40 ~x8375+20 ~x8374+10 ~x8373+5 ~x8372+5368709120 x8130+2684354560 x8129+1342177280 x8128+671088640 x8127+335544320 x8126+167772160 x8125+83886080 x8124+41943040 x8123+20971520 x8122+10485760 x8121+5242880 x8120+2621440 x8119+1310720 x8118+655360 x8117+327680 x8116+163840 x8115+81920 x8114+40960 x8113+20480 x8112+10240 x8111+5120 x8110+2560 x8109+1280 x8108+640 x8107+320 x8106+160 x8105+80 x8104+40 x8103+20 x8102+5368709120 x4531+2684354560 x4530+1342177280 x4529+671088640 x4528+335544320 x4527+167772160 x4526+83886080 x4525+41943040 x4524+20971520 x4523+10485760 x4522+5242880 x4521+2621440 x4520+1310720 x4519+655360 x4518+327680 x4517+163840 x4516+81920 x4515+40960 x4514+20480 x4513+10240 x4512+5120 x4511+2560 x4510+1280 x4509+640 x4508+320 x4507+160 x4506+80 x4505+40 x4504+20 x4503+10 x4502-0=15032385529
60.07/60.18	c 4294967296 ~x2307465+2147483648 ~x2307464+1073741824 ~x2307463+536870912 ~x2307462+268435456 ~x2307461+134217728 ~x2307460+67108864 ~x2307459+33554432 ~x2307458+16777216 ~x2307457+8388608 ~x2307456+4194304 ~x2307455+2097152 ~x2307454+1048576 ~x2307453+524288 ~x2307452+262144 ~x2307451+131072 ~x2307450+65536 ~x2307449+32768 ~x2307448+16384 ~x2307447+8192 ~x2307446+4096 ~x2307445+2048 ~x2307444+1024 ~x2307443+512 ~x2307442+256 ~x2307441+128 ~x2307440+64 ~x2307439+32 ~x2307438+16 ~x2307437+8 ~x2307436+4 ~x2307435+2 ~x2307434+1 ~x2307433+536870912 x11791+268435456 x11790+134217728 x11789+67108864 x11788+33554432 x11787+16777216 x11786+8388608 x11785+4194304 x11784+2097152 x11783+1048576 x11782+524288 x11781+262144 x11780+131072 x11779+65536 x11778+32768 x11777+16384 x11776+8192 x11775+4096 x11774+2048 x11773+1024 x11772+512 x11771+256 x11770+128 x11769+64 x11768+32 x11767+16 x11766+8 x11765+4 x11764+2 x11763+1 x11762+536870912 ~x11761+268435456 ~x11760+134217728 ~x11759+67108864 ~x11758+33554432 ~x11757+16777216 ~x11756+8388608 ~x11755+4194304 ~x11754+2097152 ~x11753+1048576 ~x11752+524288 ~x11751+262144 ~x11750+131072 ~x11749+65536 ~x11748+32768 ~x11747+16384 ~x11746+8192 ~x11745+4096 ~x11744+2048 ~x11743+1024 ~x11742+512 ~x11741+256 ~x11740+128 ~x11739+64 ~x11738+32 ~x11737+16 ~x11736+8 ~x11735+4 ~x11734+2 ~x11733+1 ~x11732+5368709120 x8190+2684354560 x8189+1342177280 x8188+671088640 x8187+335544320 x8186+167772160 x8185+83886080 x8184+41943040 x8183+20971520 x8182+10485760 x8181+5242880 x8180+2621440 x8179+1310720 x8178+655360 x8177+327680 x8176+163840 x8175+81920 x8174+40960 x8173+20480 x8172+10240 x8171+5120 x8170+2560 x8169+1280 x8168+640 x8167+320 x8166+160 x8165+80 x8164+40 x8163+20 x8162+2684354560 ~x8161+1342177280 ~x8160+671088640 ~x8159+335544320 ~x8158+167772160 ~x8157+83886080 ~x8156+41943040 ~x8155+20971520 ~x8154+10485760 ~x8153+5242880 ~x8152+2621440 ~x8151+1310720 ~x8150+655360 ~x8149+327680 ~x8148+163840 ~x8147+81920 ~x8146+40960 ~x8145+20480 ~x8144+10240 ~x8143+5120 ~x8142+2560 ~x8141+1280 ~x8140+640 ~x8139+320 ~x8138+160 ~x8137+80 ~x8136+40 ~x8135+20 ~x8134+10 ~x8133+5 ~x8132+5368709120 x4591+2684354560 x4590+1342177280 x4589+671088640 x4588+335544320 x4587+167772160 x4586+83886080 x4585+41943040 x4584+20971520 x4583+10485760 x4582+5242880 x4581+2621440 x4580+1310720 x4579+655360 x4578+327680 x4577+163840 x4576+81920 x4575+40960 x4574+20480 x4573+10240 x4572+5120 x4571+2560 x4570+1280 x4569+640 x4568+320 x4567+160 x4566+80 x4565+40 x4564+20 x4563+10 x4562-0=15032385529
61.96/62.04	c 4294967296 ~x2389346+2147483648 ~x2389345+1073741824 ~x2389344+536870912 ~x2389343+268435456 ~x2389342+134217728 ~x2389341+67108864 ~x2389340+33554432 ~x2389339+16777216 ~x2389338+8388608 ~x2389337+4194304 ~x2389336+2097152 ~x2389335+1048576 ~x2389334+524288 ~x2389333+262144 ~x2389332+131072 ~x2389331+65536 ~x2389330+32768 ~x2389329+16384 ~x2389328+8192 ~x2389327+4096 ~x2389326+2048 ~x2389325+1024 ~x2389324+512 ~x2389323+256 ~x2389322+128 ~x2389321+64 ~x2389320+32 ~x2389319+16 ~x2389318+8 ~x2389317+4 ~x2389316+2 ~x2389315+1 ~x2389314+536870912 x11821+268435456 x11820+134217728 x11819+67108864 x11818+33554432 x11817+16777216 x11816+8388608 x11815+4194304 x11814+2097152 x11813+1048576 x11812+524288 x11811+262144 x11810+131072 x11809+65536 x11808+32768 x11807+16384 x11806+8192 x11805+4096 x11804+2048 x11803+1024 x11802+512 x11801+256 x11800+128 x11799+64 x11798+32 x11797+16 x11796+8 x11795+4 x11794+2 x11793+1 x11792+536870912 ~x11791+268435456 ~x11790+134217728 ~x11789+67108864 ~x11788+33554432 ~x11787+16777216 ~x11786+8388608 ~x11785+4194304 ~x11784+2097152 ~x11783+1048576 ~x11782+524288 ~x11781+262144 ~x11780+131072 ~x11779+65536 ~x11778+32768 ~x11777+16384 ~x11776+8192 ~x11775+4096 ~x11774+2048 ~x11773+1024 ~x11772+512 ~x11771+256 ~x11770+128 ~x11769+64 ~x11768+32 ~x11767+16 ~x11766+8 ~x11765+4 ~x11764+2 ~x11763+1 ~x11762+5368709120 x8220+2684354560 x8219+1342177280 x8218+671088640 x8217+335544320 x8216+167772160 x8215+83886080 x8214+41943040 x8213+20971520 x8212+10485760 x8211+5242880 x8210+2621440 x8209+1310720 x8208+655360 x8207+327680 x8206+163840 x8205+81920 x8204+40960 x8203+20480 x8202+10240 x8201+5120 x8200+2560 x8199+1280 x8198+640 x8197+320 x8196+160 x8195+80 x8194+40 x8193+20 x8192+2684354560 ~x8191+1342177280 ~x8190+671088640 ~x8189+335544320 ~x8188+167772160 ~x8187+83886080 ~x8186+41943040 ~x8185+20971520 ~x8184+10485760 ~x8183+5242880 ~x8182+2621440 ~x8181+1310720 ~x8180+655360 ~x8179+327680 ~x8178+163840 ~x8177+81920 ~x8176+40960 ~x8175+20480 ~x8174+10240 ~x8173+5120 ~x8172+2560 ~x8171+1280 ~x8170+640 ~x8169+320 ~x8168+160 ~x8167+80 ~x8166+40 ~x8165+20 ~x8164+10 ~x8163+5 ~x8162+5368709120 x4621+2684354560 x4620+1342177280 x4619+671088640 x4618+335544320 x4617+167772160 x4616+83886080 x4615+41943040 x4614+20971520 x4613+10485760 x4612+5242880 x4611+2621440 x4610+1310720 x4609+655360 x4608+327680 x4607+163840 x4606+81920 x4605+40960 x4604+20480 x4603+10240 x4602+5120 x4601+2560 x4600+1280 x4599+640 x4598+320 x4597+160 x4596+80 x4595+40 x4594+20 x4593+10 x4592-0=15032385529
63.86/63.93	c 4294967296 ~x2471227+2147483648 ~x2471226+1073741824 ~x2471225+536870912 ~x2471224+268435456 ~x2471223+134217728 ~x2471222+67108864 ~x2471221+33554432 ~x2471220+16777216 ~x2471219+8388608 ~x2471218+4194304 ~x2471217+2097152 ~x2471216+1048576 ~x2471215+524288 ~x2471214+262144 ~x2471213+131072 ~x2471212+65536 ~x2471211+32768 ~x2471210+16384 ~x2471209+8192 ~x2471208+4096 ~x2471207+2048 ~x2471206+1024 ~x2471205+512 ~x2471204+256 ~x2471203+128 ~x2471202+64 ~x2471201+32 ~x2471200+16 ~x2471199+8 ~x2471198+4 ~x2471197+2 ~x2471196+1 ~x2471195+536870912 x11851+268435456 x11850+134217728 x11849+67108864 x11848+33554432 x11847+16777216 x11846+8388608 x11845+4194304 x11844+2097152 x11843+1048576 x11842+524288 x11841+262144 x11840+131072 x11839+65536 x11838+32768 x11837+16384 x11836+8192 x11835+4096 x11834+2048 x11833+1024 x11832+512 x11831+256 x11830+128 x11829+64 x11828+32 x11827+16 x11826+8 x11825+4 x11824+2 x11823+1 x11822+536870912 ~x11821+268435456 ~x11820+134217728 ~x11819+67108864 ~x11818+33554432 ~x11817+16777216 ~x11816+8388608 ~x11815+4194304 ~x11814+2097152 ~x11813+1048576 ~x11812+524288 ~x11811+262144 ~x11810+131072 ~x11809+65536 ~x11808+32768 ~x11807+16384 ~x11806+8192 ~x11805+4096 ~x11804+2048 ~x11803+1024 ~x11802+512 ~x11801+256 ~x11800+128 ~x11799+64 ~x11798+32 ~x11797+16 ~x11796+8 ~x11795+4 ~x11794+2 ~x11793+1 ~x11792+5368709120 x8250+2684354560 x8249+1342177280 x8248+671088640 x8247+335544320 x8246+167772160 x8245+83886080 x8244+41943040 x8243+20971520 x8242+10485760 x8241+5242880 x8240+2621440 x8239+1310720 x8238+655360 x8237+327680 x8236+163840 x8235+81920 x8234+40960 x8233+20480 x8232+10240 x8231+5120 x8230+2560 x8229+1280 x8228+640 x8227+320 x8226+160 x8225+80 x8224+40 x8223+20 x8222+2684354560 ~x8221+1342177280 ~x8220+671088640 ~x8219+335544320 ~x8218+167772160 ~x8217+83886080 ~x8216+41943040 ~x8215+20971520 ~x8214+10485760 ~x8213+5242880 ~x8212+2621440 ~x8211+1310720 ~x8210+655360 ~x8209+327680 ~x8208+163840 ~x8207+81920 ~x8206+40960 ~x8205+20480 ~x8204+10240 ~x8203+5120 ~x8202+2560 ~x8201+1280 ~x8200+640 ~x8199+320 ~x8198+160 ~x8197+80 ~x8196+40 ~x8195+20 ~x8194+10 ~x8193+5 ~x8192+5368709120 x4651+2684354560 x4650+1342177280 x4649+671088640 x4648+335544320 x4647+167772160 x4646+83886080 x4645+41943040 x4644+20971520 x4643+10485760 x4642+5242880 x4641+2621440 x4640+1310720 x4639+655360 x4638+327680 x4637+163840 x4636+81920 x4635+40960 x4634+20480 x4633+10240 x4632+5120 x4631+2560 x4630+1280 x4629+640 x4628+320 x4627+160 x4626+80 x4625+40 x4624+20 x4623+10 x4622-0=15032385529
65.66/65.77	c 4294967296 ~x2553108+2147483648 ~x2553107+1073741824 ~x2553106+536870912 ~x2553105+268435456 ~x2553104+134217728 ~x2553103+67108864 ~x2553102+33554432 ~x2553101+16777216 ~x2553100+8388608 ~x2553099+4194304 ~x2553098+2097152 ~x2553097+1048576 ~x2553096+524288 ~x2553095+262144 ~x2553094+131072 ~x2553093+65536 ~x2553092+32768 ~x2553091+16384 ~x2553090+8192 ~x2553089+4096 ~x2553088+2048 ~x2553087+1024 ~x2553086+512 ~x2553085+256 ~x2553084+128 ~x2553083+64 ~x2553082+32 ~x2553081+16 ~x2553080+8 ~x2553079+4 ~x2553078+2 ~x2553077+1 ~x2553076+536870912 x11881+268435456 x11880+134217728 x11879+67108864 x11878+33554432 x11877+16777216 x11876+8388608 x11875+4194304 x11874+2097152 x11873+1048576 x11872+524288 x11871+262144 x11870+131072 x11869+65536 x11868+32768 x11867+16384 x11866+8192 x11865+4096 x11864+2048 x11863+1024 x11862+512 x11861+256 x11860+128 x11859+64 x11858+32 x11857+16 x11856+8 x11855+4 x11854+2 x11853+1 x11852+536870912 ~x11851+268435456 ~x11850+134217728 ~x11849+67108864 ~x11848+33554432 ~x11847+16777216 ~x11846+8388608 ~x11845+4194304 ~x11844+2097152 ~x11843+1048576 ~x11842+524288 ~x11841+262144 ~x11840+131072 ~x11839+65536 ~x11838+32768 ~x11837+16384 ~x11836+8192 ~x11835+4096 ~x11834+2048 ~x11833+1024 ~x11832+512 ~x11831+256 ~x11830+128 ~x11829+64 ~x11828+32 ~x11827+16 ~x11826+8 ~x11825+4 ~x11824+2 ~x11823+1 ~x11822+5368709120 x8280+2684354560 x8279+1342177280 x8278+671088640 x8277+335544320 x8276+167772160 x8275+83886080 x8274+41943040 x8273+20971520 x8272+10485760 x8271+5242880 x8270+2621440 x8269+1310720 x8268+655360 x8267+327680 x8266+163840 x8265+81920 x8264+40960 x8263+20480 x8262+10240 x8261+5120 x8260+2560 x8259+1280 x8258+640 x8257+320 x8256+160 x8255+80 x8254+40 x8253+20 x8252+2684354560 ~x8251+1342177280 ~x8250+671088640 ~x8249+335544320 ~x8248+167772160 ~x8247+83886080 ~x8246+41943040 ~x8245+20971520 ~x8244+10485760 ~x8243+5242880 ~x8242+2621440 ~x8241+1310720 ~x8240+655360 ~x8239+327680 ~x8238+163840 ~x8237+81920 ~x8236+40960 ~x8235+20480 ~x8234+10240 ~x8233+5120 ~x8232+2560 ~x8231+1280 ~x8230+640 ~x8229+320 ~x8228+160 ~x8227+80 ~x8226+40 ~x8225+20 ~x8224+10 ~x8223+5 ~x8222+5368709120 x4681+2684354560 x4680+1342177280 x4679+671088640 x4678+335544320 x4677+167772160 x4676+83886080 x4675+41943040 x4674+20971520 x4673+10485760 x4672+5242880 x4671+2621440 x4670+1310720 x4669+655360 x4668+327680 x4667+163840 x4666+81920 x4665+40960 x4664+20480 x4663+10240 x4662+5120 x4661+2560 x4660+1280 x4659+640 x4658+320 x4657+160 x4656+80 x4655+40 x4654+20 x4653+10 x4652-0=15032385529
67.56/67.62	c 4294967296 ~x2634989+2147483648 ~x2634988+1073741824 ~x2634987+536870912 ~x2634986+268435456 ~x2634985+134217728 ~x2634984+67108864 ~x2634983+33554432 ~x2634982+16777216 ~x2634981+8388608 ~x2634980+4194304 ~x2634979+2097152 ~x2634978+1048576 ~x2634977+524288 ~x2634976+262144 ~x2634975+131072 ~x2634974+65536 ~x2634973+32768 ~x2634972+16384 ~x2634971+8192 ~x2634970+4096 ~x2634969+2048 ~x2634968+1024 ~x2634967+512 ~x2634966+256 ~x2634965+128 ~x2634964+64 ~x2634963+32 ~x2634962+16 ~x2634961+8 ~x2634960+4 ~x2634959+2 ~x2634958+1 ~x2634957+536870912 x11911+268435456 x11910+134217728 x11909+67108864 x11908+33554432 x11907+16777216 x11906+8388608 x11905+4194304 x11904+2097152 x11903+1048576 x11902+524288 x11901+262144 x11900+131072 x11899+65536 x11898+32768 x11897+16384 x11896+8192 x11895+4096 x11894+2048 x11893+1024 x11892+512 x11891+256 x11890+128 x11889+64 x11888+32 x11887+16 x11886+8 x11885+4 x11884+2 x11883+1 x11882+536870912 ~x11881+268435456 ~x11880+134217728 ~x11879+67108864 ~x11878+33554432 ~x11877+16777216 ~x11876+8388608 ~x11875+4194304 ~x11874+2097152 ~x11873+1048576 ~x11872+524288 ~x11871+262144 ~x11870+131072 ~x11869+65536 ~x11868+32768 ~x11867+16384 ~x11866+8192 ~x11865+4096 ~x11864+2048 ~x11863+1024 ~x11862+512 ~x11861+256 ~x11860+128 ~x11859+64 ~x11858+32 ~x11857+16 ~x11856+8 ~x11855+4 ~x11854+2 ~x11853+1 ~x11852+5368709120 x8310+2684354560 x8309+1342177280 x8308+671088640 x8307+335544320 x8306+167772160 x8305+83886080 x8304+41943040 x8303+20971520 x8302+10485760 x8301+5242880 x8300+2621440 x8299+1310720 x8298+655360 x8297+327680 x8296+163840 x8295+81920 x8294+40960 x8293+20480 x8292+10240 x8291+5120 x8290+2560 x8289+1280 x8288+640 x8287+320 x8286+160 x8285+80 x8284+40 x8283+20 x8282+2684354560 ~x8281+1342177280 ~x8280+671088640 ~x8279+335544320 ~x8278+167772160 ~x8277+83886080 ~x8276+41943040 ~x8275+20971520 ~x8274+10485760 ~x8273+5242880 ~x8272+2621440 ~x8271+1310720 ~x8270+655360 ~x8269+327680 ~x8268+163840 ~x8267+81920 ~x8266+40960 ~x8265+20480 ~x8264+10240 ~x8263+5120 ~x8262+2560 ~x8261+1280 ~x8260+640 ~x8259+320 ~x8258+160 ~x8257+80 ~x8256+40 ~x8255+20 ~x8254+10 ~x8253+5 ~x8252+5368709120 x4711+2684354560 x4710+1342177280 x4709+671088640 x4708+335544320 x4707+167772160 x4706+83886080 x4705+41943040 x4704+20971520 x4703+10485760 x4702+5242880 x4701+2621440 x4700+1310720 x4699+655360 x4698+327680 x4697+163840 x4696+81920 x4695+40960 x4694+20480 x4693+10240 x4692+5120 x4691+2560 x4690+1280 x4689+640 x4688+320 x4687+160 x4686+80 x4685+40 x4684+20 x4683+10 x4682-0=15032385529
69.36/69.48	c 4294967296 ~x2716870+2147483648 ~x2716869+1073741824 ~x2716868+536870912 ~x2716867+268435456 ~x2716866+134217728 ~x2716865+67108864 ~x2716864+33554432 ~x2716863+16777216 ~x2716862+8388608 ~x2716861+4194304 ~x2716860+2097152 ~x2716859+1048576 ~x2716858+524288 ~x2716857+262144 ~x2716856+131072 ~x2716855+65536 ~x2716854+32768 ~x2716853+16384 ~x2716852+8192 ~x2716851+4096 ~x2716850+2048 ~x2716849+1024 ~x2716848+512 ~x2716847+256 ~x2716846+128 ~x2716845+64 ~x2716844+32 ~x2716843+16 ~x2716842+8 ~x2716841+4 ~x2716840+2 ~x2716839+1 ~x2716838+536870912 x11941+268435456 x11940+134217728 x11939+67108864 x11938+33554432 x11937+16777216 x11936+8388608 x11935+4194304 x11934+2097152 x11933+1048576 x11932+524288 x11931+262144 x11930+131072 x11929+65536 x11928+32768 x11927+16384 x11926+8192 x11925+4096 x11924+2048 x11923+1024 x11922+512 x11921+256 x11920+128 x11919+64 x11918+32 x11917+16 x11916+8 x11915+4 x11914+2 x11913+1 x11912+536870912 ~x11911+268435456 ~x11910+134217728 ~x11909+67108864 ~x11908+33554432 ~x11907+16777216 ~x11906+8388608 ~x11905+4194304 ~x11904+2097152 ~x11903+1048576 ~x11902+524288 ~x11901+262144 ~x11900+131072 ~x11899+65536 ~x11898+32768 ~x11897+16384 ~x11896+8192 ~x11895+4096 ~x11894+2048 ~x11893+1024 ~x11892+512 ~x11891+256 ~x11890+128 ~x11889+64 ~x11888+32 ~x11887+16 ~x11886+8 ~x11885+4 ~x11884+2 ~x11883+1 ~x11882+5368709120 x8340+2684354560 x8339+1342177280 x8338+671088640 x8337+335544320 x8336+167772160 x8335+83886080 x8334+41943040 x8333+20971520 x8332+10485760 x8331+5242880 x8330+2621440 x8329+1310720 x8328+655360 x8327+327680 x8326+163840 x8325+81920 x8324+40960 x8323+20480 x8322+10240 x8321+5120 x8320+2560 x8319+1280 x8318+640 x8317+320 x8316+160 x8315+80 x8314+40 x8313+20 x8312+2684354560 ~x8311+1342177280 ~x8310+671088640 ~x8309+335544320 ~x8308+167772160 ~x8307+83886080 ~x8306+41943040 ~x8305+20971520 ~x8304+10485760 ~x8303+5242880 ~x8302+2621440 ~x8301+1310720 ~x8300+655360 ~x8299+327680 ~x8298+163840 ~x8297+81920 ~x8296+40960 ~x8295+20480 ~x8294+10240 ~x8293+5120 ~x8292+2560 ~x8291+1280 ~x8290+640 ~x8289+320 ~x8288+160 ~x8287+80 ~x8286+40 ~x8285+20 ~x8284+10 ~x8283+5 ~x8282+5368709120 x4741+2684354560 x4740+1342177280 x4739+671088640 x4738+335544320 x4737+167772160 x4736+83886080 x4735+41943040 x4734+20971520 x4733+10485760 x4732+5242880 x4731+2621440 x4730+1310720 x4729+655360 x4728+327680 x4727+163840 x4726+81920 x4725+40960 x4724+20480 x4723+10240 x4722+5120 x4721+2560 x4720+1280 x4719+640 x4718+320 x4717+160 x4716+80 x4715+40 x4714+20 x4713+10 x4712-0=15032385529
71.26/71.33	c 4294967296 ~x2798751+2147483648 ~x2798750+1073741824 ~x2798749+536870912 ~x2798748+268435456 ~x2798747+134217728 ~x2798746+67108864 ~x2798745+33554432 ~x2798744+16777216 ~x2798743+8388608 ~x2798742+4194304 ~x2798741+2097152 ~x2798740+1048576 ~x2798739+524288 ~x2798738+262144 ~x2798737+131072 ~x2798736+65536 ~x2798735+32768 ~x2798734+16384 ~x2798733+8192 ~x2798732+4096 ~x2798731+2048 ~x2798730+1024 ~x2798729+512 ~x2798728+256 ~x2798727+128 ~x2798726+64 ~x2798725+32 ~x2798724+16 ~x2798723+8 ~x2798722+4 ~x2798721+2 ~x2798720+1 ~x2798719+536870912 x11971+268435456 x11970+134217728 x11969+67108864 x11968+33554432 x11967+16777216 x11966+8388608 x11965+4194304 x11964+2097152 x11963+1048576 x11962+524288 x11961+262144 x11960+131072 x11959+65536 x11958+32768 x11957+16384 x11956+8192 x11955+4096 x11954+2048 x11953+1024 x11952+512 x11951+256 x11950+128 x11949+64 x11948+32 x11947+16 x11946+8 x11945+4 x11944+2 x11943+1 x11942+536870912 ~x11941+268435456 ~x11940+134217728 ~x11939+67108864 ~x11938+33554432 ~x11937+16777216 ~x11936+8388608 ~x11935+4194304 ~x11934+2097152 ~x11933+1048576 ~x11932+524288 ~x11931+262144 ~x11930+131072 ~x11929+65536 ~x11928+32768 ~x11927+16384 ~x11926+8192 ~x11925+4096 ~x11924+2048 ~x11923+1024 ~x11922+512 ~x11921+256 ~x11920+128 ~x11919+64 ~x11918+32 ~x11917+16 ~x11916+8 ~x11915+4 ~x11914+2 ~x11913+1 ~x11912+5368709120 x8370+2684354560 x8369+1342177280 x8368+671088640 x8367+335544320 x8366+167772160 x8365+83886080 x8364+41943040 x8363+20971520 x8362+10485760 x8361+5242880 x8360+2621440 x8359+1310720 x8358+655360 x8357+327680 x8356+163840 x8355+81920 x8354+40960 x8353+20480 x8352+10240 x8351+5120 x8350+2560 x8349+1280 x8348+640 x8347+320 x8346+160 x8345+80 x8344+40 x8343+20 x8342+2684354560 ~x8341+1342177280 ~x8340+671088640 ~x8339+335544320 ~x8338+167772160 ~x8337+83886080 ~x8336+41943040 ~x8335+20971520 ~x8334+10485760 ~x8333+5242880 ~x8332+2621440 ~x8331+1310720 ~x8330+655360 ~x8329+327680 ~x8328+163840 ~x8327+81920 ~x8326+40960 ~x8325+20480 ~x8324+10240 ~x8323+5120 ~x8322+2560 ~x8321+1280 ~x8320+640 ~x8319+320 ~x8318+160 ~x8317+80 ~x8316+40 ~x8315+20 ~x8314+10 ~x8313+5 ~x8312+5368709120 x4771+2684354560 x4770+1342177280 x4769+671088640 x4768+335544320 x4767+167772160 x4766+83886080 x4765+41943040 x4764+20971520 x4763+10485760 x4762+5242880 x4761+2621440 x4760+1310720 x4759+655360 x4758+327680 x4757+163840 x4756+81920 x4755+40960 x4754+20480 x4753+10240 x4752+5120 x4751+2560 x4750+1280 x4749+640 x4748+320 x4747+160 x4746+80 x4745+40 x4744+20 x4743+10 x4742-0=15032385529
73.06/73.18	c 4294967296 ~x2880632+2147483648 ~x2880631+1073741824 ~x2880630+536870912 ~x2880629+268435456 ~x2880628+134217728 ~x2880627+67108864 ~x2880626+33554432 ~x2880625+16777216 ~x2880624+8388608 ~x2880623+4194304 ~x2880622+2097152 ~x2880621+1048576 ~x2880620+524288 ~x2880619+262144 ~x2880618+131072 ~x2880617+65536 ~x2880616+32768 ~x2880615+16384 ~x2880614+8192 ~x2880613+4096 ~x2880612+2048 ~x2880611+1024 ~x2880610+512 ~x2880609+256 ~x2880608+128 ~x2880607+64 ~x2880606+32 ~x2880605+16 ~x2880604+8 ~x2880603+4 ~x2880602+2 ~x2880601+1 ~x2880600+536870912 x12001+268435456 x12000+134217728 x11999+67108864 x11998+33554432 x11997+16777216 x11996+8388608 x11995+4194304 x11994+2097152 x11993+1048576 x11992+524288 x11991+262144 x11990+131072 x11989+65536 x11988+32768 x11987+16384 x11986+8192 x11985+4096 x11984+2048 x11983+1024 x11982+512 x11981+256 x11980+128 x11979+64 x11978+32 x11977+16 x11976+8 x11975+4 x11974+2 x11973+1 x11972+536870912 ~x11971+268435456 ~x11970+134217728 ~x11969+67108864 ~x11968+33554432 ~x11967+16777216 ~x11966+8388608 ~x11965+4194304 ~x11964+2097152 ~x11963+1048576 ~x11962+524288 ~x11961+262144 ~x11960+131072 ~x11959+65536 ~x11958+32768 ~x11957+16384 ~x11956+8192 ~x11955+4096 ~x11954+2048 ~x11953+1024 ~x11952+512 ~x11951+256 ~x11950+128 ~x11949+64 ~x11948+32 ~x11947+16 ~x11946+8 ~x11945+4 ~x11944+2 ~x11943+1 ~x11942+5368709120 x8400+2684354560 x8399+1342177280 x8398+671088640 x8397+335544320 x8396+167772160 x8395+83886080 x8394+41943040 x8393+20971520 x8392+10485760 x8391+5242880 x8390+2621440 x8389+1310720 x8388+655360 x8387+327680 x8386+163840 x8385+81920 x8384+40960 x8383+20480 x8382+10240 x8381+5120 x8380+2560 x8379+1280 x8378+640 x8377+320 x8376+160 x8375+80 x8374+40 x8373+20 x8372+2684354560 ~x8371+1342177280 ~x8370+671088640 ~x8369+335544320 ~x8368+167772160 ~x8367+83886080 ~x8366+41943040 ~x8365+20971520 ~x8364+10485760 ~x8363+5242880 ~x8362+2621440 ~x8361+1310720 ~x8360+655360 ~x8359+327680 ~x8358+163840 ~x8357+81920 ~x8356+40960 ~x8355+20480 ~x8354+10240 ~x8353+5120 ~x8352+2560 ~x8351+1280 ~x8350+640 ~x8349+320 ~x8348+160 ~x8347+80 ~x8346+40 ~x8345+20 ~x8344+10 ~x8343+5 ~x8342+5368709120 x4801+2684354560 x4800+1342177280 x4799+671088640 x4798+335544320 x4797+167772160 x4796+83886080 x4795+41943040 x4794+20971520 x4793+10485760 x4792+5242880 x4791+2621440 x4790+1310720 x4789+655360 x4788+327680 x4787+163840 x4786+81920 x4785+40960 x4784+20480 x4783+10240 x4782+5120 x4781+2560 x4780+1280 x4779+640 x4778+320 x4777+160 x4776+80 x4775+40 x4774+20 x4773+10 x4772-0=15032385529
74.96/75.04	c 4294967296 ~x2962513+2147483648 ~x2962512+1073741824 ~x2962511+536870912 ~x2962510+268435456 ~x2962509+134217728 ~x2962508+67108864 ~x2962507+33554432 ~x2962506+16777216 ~x2962505+8388608 ~x2962504+4194304 ~x2962503+2097152 ~x2962502+1048576 ~x2962501+524288 ~x2962500+262144 ~x2962499+131072 ~x2962498+65536 ~x2962497+32768 ~x2962496+16384 ~x2962495+8192 ~x2962494+4096 ~x2962493+2048 ~x2962492+1024 ~x2962491+512 ~x2962490+256 ~x2962489+128 ~x2962488+64 ~x2962487+32 ~x2962486+16 ~x2962485+8 ~x2962484+4 ~x2962483+2 ~x2962482+1 ~x2962481+536870912 ~x12301+268435456 ~x12300+134217728 ~x12299+67108864 ~x12298+33554432 ~x12297+16777216 ~x12296+8388608 ~x12295+4194304 ~x12294+2097152 ~x12293+1048576 ~x12292+524288 ~x12291+262144 ~x12290+131072 ~x12289+65536 ~x12288+32768 ~x12287+16384 ~x12286+8192 ~x12285+4096 ~x12284+2048 ~x12283+1024 ~x12282+512 ~x12281+256 ~x12280+128 ~x12279+64 ~x12278+32 ~x12277+16 ~x12276+8 ~x12275+4 ~x12274+2 ~x12273+1 ~x12272+536870912 x12031+268435456 x12030+134217728 x12029+67108864 x12028+33554432 x12027+16777216 x12026+8388608 x12025+4194304 x12024+2097152 x12023+1048576 x12022+524288 x12021+262144 x12020+131072 x12019+65536 x12018+32768 x12017+16384 x12016+8192 x12015+4096 x12014+2048 x12013+1024 x12012+512 x12011+256 x12010+128 x12009+64 x12008+32 x12007+16 x12006+8 x12005+4 x12004+2 x12003+1 x12002+3758096384 ~x8701+1879048192 ~x8700+939524096 ~x8699+469762048 ~x8698+234881024 ~x8697+117440512 ~x8696+58720256 ~x8695+29360128 ~x8694+14680064 ~x8693+7340032 ~x8692+3670016 ~x8691+1835008 ~x8690+917504 ~x8689+458752 ~x8688+229376 ~x8687+114688 ~x8686+57344 ~x8685+28672 ~x8684+14336 ~x8683+7168 ~x8682+3584 ~x8681+1792 ~x8680+896 ~x8679+448 ~x8678+224 ~x8677+112 ~x8676+56 ~x8675+28 ~x8674+14 ~x8673+7 ~x8672+6710886400 x8430+3355443200 x8429+1677721600 x8428+838860800 x8427+419430400 x8426+209715200 x8425+104857600 x8424+52428800 x8423+26214400 x8422+13107200 x8421+6553600 x8420+3276800 x8419+1638400 x8418+819200 x8417+409600 x8416+204800 x8415+102400 x8414+51200 x8413+25600 x8412+12800 x8411+6400 x8410+3200 x8409+1600 x8408+800 x8407+400 x8406+200 x8405+100 x8404+50 x8403+25 x8402+8053063680 x4831+4026531840 x4830+2013265920 x4829+1006632960 x4828+503316480 x4827+251658240 x4826+125829120 x4825+62914560 x4824+31457280 x4823+15728640 x4822+7

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 24931
/proc/meminfo: memFree=1843680/2059040 swapFree=4139992/4192956
[pid=24931] ppid=24929 vsize=8700 CPUtime=0
/proc/24931/stat : 24931 (run) S 24929 24931 24906 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21286157 8908800 250 1992294400 4194304 4922060 140734373448624 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24931/statm: 2175 250 211 178 0 68 0

[startup+0.095767 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 24931
/proc/meminfo: memFree=1843680/2059040 swapFree=4139992/4192956
[pid=24931] ppid=24929 vsize=8700 CPUtime=0
/proc/24931/stat : 24931 (run) S 24929 24931 24906 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21286157 8908800 250 1992294400 4194304 4922060 140734373448624 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24931/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100767 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 24931
/proc/meminfo: memFree=1843680/2059040 swapFree=4139992/4192956
[pid=24931] ppid=24929 vsize=8700 CPUtime=0
/proc/24931/stat : 24931 (run) S 24929 24931 24906 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21286157 8908800 250 1992294400 4194304 4922060 140734373448624 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24931/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300789 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 24931
/proc/meminfo: memFree=1843680/2059040 swapFree=4139992/4192956
[pid=24931] ppid=24929 vsize=8700 CPUtime=0
/proc/24931/stat : 24931 (run) S 24929 24931 24906 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21286157 8908800 250 1992294400 4194304 4922060 140734373448624 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24931/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700831 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 24931
/proc/meminfo: memFree=1843680/2059040 swapFree=4139992/4192956
[pid=24931] ppid=24929 vsize=8700 CPUtime=0
/proc/24931/stat : 24931 (run) S 24929 24931 24906 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21286157 8908800 250 1992294400 4194304 4922060 140734373448624 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24931/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50092 s]
/proc/loadavg: 0.92 0.98 0.99 2/108 24934
/proc/meminfo: memFree=1689160/2059040 swapFree=4139992/4192956
[pid=24931] ppid=24929 vsize=8700 CPUtime=0
/proc/24931/stat : 24931 (run) S 24929 24931 24906 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21286157 8908800 250 1992294400 4194304 4922060 140734373448624 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24931/statm: 2175 250 211 178 0 68 0
[pid=24933] ppid=24931 vsize=230724 CPUtime=1.48
/proc/24933/stat : 24933 (PBPASSolver) R 24931 24931 24906 0 -1 4202496 57682 0 0 0 59 89 0 0 25 0 1 0 21286158 236261376 57116 1992294400 134512640 134902295 4286871072 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24933/statm: 57681 57116 256 96 0 56893 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 239424

[startup+3.10109 s]
/proc/loadavg: 0.93 0.98 0.99 2/108 24934
/proc/meminfo: memFree=1532424/2059040 swapFree=4139992/4192956
[pid=24931] ppid=24929 vsize=8700 CPUtime=0
/proc/24931/stat : 24931 (run) S 24929 24931 24906 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21286157 8908800 250 1992294400 4194304 4922060 140734373448624 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24931/statm: 2175 250 211 178 0 68 0
[pid=24933] ppid=24931 vsize=439524 CPUtime=3.09
/proc/24933/stat : 24933 (PBPASSolver) R 24931 24931 24906 0 -1 4202496 109821 0 0 0 138 171 0 0 25 0 1 0 21286158 450072576 109255 1992294400 134512640 134902295 4286871072 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24933/statm: 109881 109255 256 96 0 109093 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 448224

[startup+6.30044 s]
/proc/loadavg: 0.93 0.98 0.99 2/108 24934
/proc/meminfo: memFree=1243132/2059040 swapFree=4139992/4192956
[pid=24931] ppid=24929 vsize=8700 CPUtime=0
/proc/24931/stat : 24931 (run) S 24929 24931 24906 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21286157 8908800 250 1992294400 4194304 4922060 140734373448624 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24931/statm: 2175 250 211 178 0 68 0
[pid=24933] ppid=24931 vsize=652164 CPUtime=6.28
/proc/24933/stat : 24933 (PBPASSolver) R 24931 24931 24906 0 -1 4202496 163001 0 0 0 390 238 0 0 25 0 1 0 21286158 667815936 162435 1992294400 134512640 134902295 4286871072 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24933/statm: 163041 162435 259 96 0 162253 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 660864

[startup+12.7011 s]
/proc/loadavg: 0.94 0.98 0.99 2/108 24934
/proc/meminfo: memFree=1176420/2059040 swapFree=4139992/4192956
[pid=24931] ppid=24929 vsize=8700 CPUtime=0
/proc/24931/stat : 24931 (run) S 24929 24931 24906 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21286157 8908800 250 1992294400 4194304 4922060 140734373448624 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24931/statm: 2175 250 211 178 0 68 0
[pid=24933] ppid=24931 vsize=686004 CPUtime=12.68
/proc/24933/stat : 24933 (PBPASSolver) R 24931 24931 24906 0 -1 4202496 199352 0 0 0 1012 256 0 0 25 0 1 0 21286158 702468096 169870 1992294400 134512640 134902295 4286871072 18446744073709551615 134631776 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24933/statm: 171509 169878 262 96 0 170721 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 694704

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/108 24934
/proc/meminfo: memFree=949376/2059040 swapFree=4139992/4192956
[pid=24931] ppid=24929 vsize=8700 CPUtime=0
/proc/24931/stat : 24931 (run) S 24929 24931 24906 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21286157 8908800 250 1992294400 4194304 4922060 140734373448624 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24931/statm: 2175 250 211 178 0 68 0
[pid=24933] ppid=24931 vsize=908616 CPUtime=25.48
/proc/24933/stat : 24933 (PBPASSolver) R 24931 24931 24906 0 -1 4202496 259277 0 0 0 2266 282 0 0 25 0 1 0 21286158 930422784 224445 1992294400 134512640 134902295 4286871072 18446744073709551615 4159686779 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24933/statm: 227154 224445 262 96 0 226366 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 917316

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/108 24936
/proc/meminfo: memFree=498884/2059040 swapFree=4139992/4192956
[pid=24931] ppid=24929 vsize=8700 CPUtime=0
/proc/24931/stat : 24931 (run) S 24929 24931 24906 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21286157 8908800 250 1992294400 4194304 4922060 140734373448624 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24931/statm: 2175 250 211 178 0 68 0
[pid=24933] ppid=24931 vsize=1393700 CPUtime=51.06
/proc/24933/stat : 24933 (PBPASSolver) R 24931 24931 24906 0 -1 4202496 378116 0 0 0 4774 332 0 0 25 0 1 0 21286158 1427148800 337926 1992294400 134512640 134902295 4286871072 18446744073709551615 134813348 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24933/statm: 348425 337926 262 96 0 347637 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1402400



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+76.001 s]
/proc/loadavg: 0.97 0.98 0.99 2/108 24936
/proc/meminfo: memFree=57072/2059040 swapFree=4139992/4192956
[pid=24931] ppid=24929 vsize=8700 CPUtime=0
/proc/24931/stat : 24931 (run) S 24929 24931 24906 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21286157 8908800 250 1992294400 4194304 4922060 140734373448624 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24931/statm: 2175 250 211 178 0 68 0
[pid=24933] ppid=24931 vsize=1835796 CPUtime=75.97
/proc/24933/stat : 24933 (PBPASSolver) R 24931 24931 24906 0 -1 4202496 493278 0 0 0 7213 384 0 0 25 0 1 0 21286158 1879855104 445880 1992294400 134512640 134902295 4286871072 18446744073709551615 134634808 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24933/statm: 458949 445880 262 96 0 458161 0
Current children cumulated CPU time (s) 75.97
Current children cumulated vsize (KiB) 1844496

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 76.0142
CPU time (s): 75.97
CPU user time (s): 72.13
CPU system time (s): 3.84
CPU usage (%): 99.9418
Max. virtual memory (cumulated for all children) (KiB): 1844496

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

runsolver used 0.12598 second user time and 0.380942 second system time

The end

Launcher Data 

Begin job on node035 at 2010-06-17 20:38:32
IDJOB=2674157
IDBENCH=2431
IDSOLVER=1174
FILE ID=node035/2674157-1276799912
PBS_JOBID= 11176677
Free space on /tmp= 62416 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap1.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674157-1276799912/watcher-2674157-1276799912 -o /tmp/evaluation-result-2674157-1276799912/solver-2674157-1276799912 -C 1800 -W 2000 -M 1800  run HOME/instance-2674157-1276799912.opb

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

MD5SUM BENCH= 6b31328f3b1919c6fa8863a0d0ba0bd8
RANDOM SEED=655564233

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1844200 kB
Buffers:         28392 kB
Cached:          94316 kB
SwapCached:       7312 kB
Active:          69568 kB
Inactive:        67112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1844200 kB
SwapTotal:     4192956 kB
SwapFree:      4139992 kB
Dirty:            1680 kB
Writeback:           0 kB
AnonPages:       11152 kB
Mapped:          12840 kB
Slab:            56412 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183176 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62416 MiB
End job on node035 at 2010-06-17 20:39:50