12.49/12.60	c 26494 657 0 0 0 0 0 0
12.49/12.60	c 512 ~x26505+256 ~x26504+128 ~x26503+64 ~x26502+32 ~x26501+16 ~x26500+8 ~x26499+4 ~x26498+2 ~x26497+1 ~x26496+512 ~x4949+256 ~x4948+128 ~x4947+64 ~x4946+32 ~x4945+16 ~x4944+8 ~x4943+4 ~x4942+2 ~x4941+1 ~x4940-0=2046
12.49/12.60	c 2048 ~x27809+1024 ~x27808+512 ~x27807+256 ~x27806+128 ~x27805+64 ~x27804+32 ~x27803+16 ~x27802+8 ~x27801+4 ~x27800+2 ~x27799+1 ~x27798+2048 ~x4367+1024 ~x4366+512 ~x4365+256 ~x4364+128 ~x4363+64 ~x4362+32 ~x4361+16 ~x4360+8 ~x4359+4 ~x4358+2 ~x4357+1 ~x4356-0=7166
12.58/12.69	c 16777216 ~x29960+8388608 ~x29959+4194304 ~x29958+2097152 ~x29957+1048576 ~x29956+524288 ~x29955+262144 ~x29954+131072 ~x29953+65536 ~x29952+32768 ~x29951+16384 ~x29950+8192 ~x29949+4096 ~x29948+2048 ~x29947+1024 ~x29946+512 ~x29945+256 ~x29944+128 ~x29943+64 ~x29942+32 ~x29941+16 ~x29940+8 ~x29939+4 ~x29938+2 ~x29937+1 ~x29936+16000000 ~x678+8000000 ~x677+4000000 ~x676+2000000 ~x675+1000000 ~x674+500000 ~x673+250000 ~x672+125000 ~x671+62500 ~x670+31250 ~x669+15625 ~x668-0=50886518
12.89/12.90	c 8388608 ~x38320+4194304 ~x38319+2097152 ~x38318+1048576 ~x38317+524288 ~x38316+262144 ~x38315+131072 ~x38314+65536 ~x38313+32768 ~x38312+16384 ~x38311+8192 ~x38310+4096 ~x38309+2048 ~x38308+1024 ~x38307+512 ~x38306+256 ~x38305+128 ~x38304+64 ~x38303+32 ~x38302+16 ~x38301+8 ~x38300+4 ~x38299+2 ~x38298+1 ~x38297+8000000 ~x803+4000000 ~x802+2000000 ~x801+1000000 ~x800+500000 ~x799+250000 ~x798+125000 ~x797+62500 ~x796+31250 ~x795+15625 ~x794-0=27035686
12.98/13.06	c 2097152 ~x45001+1048576 ~x45000+524288 ~x44999+262144 ~x44998+131072 ~x44997+65536 ~x44996+32768 ~x44995+16384 ~x44994+8192 ~x44993+4096 ~x44992+2048 ~x44991+1024 ~x44990+512 ~x44989+256 ~x44988+128 ~x44987+64 ~x44986+32 ~x44985+16 ~x44984+8 ~x44983+4 ~x44982+2 ~x44981+1 ~x44980+2000000 ~x1695+1000000 ~x1694+500000 ~x1693+250000 ~x1692+125000 ~x1691+62500 ~x1690+31250 ~x1689+15625 ~x1688-0=6772854
13.19/13.20	c 8388608 ~x50399+4194304 ~x50398+2097152 ~x50397+1048576 ~x50396+524288 ~x50395+262144 ~x50394+131072 ~x50393+65536 ~x50392+32768 ~x50391+16384 ~x50390+8192 ~x50389+4096 ~x50388+2048 ~x50387+1024 ~x50386+512 ~x50385+256 ~x50384+128 ~x50383+64 ~x50382+32 ~x50381+16 ~x50380+8 ~x50379+4 ~x50378+2 ~x50377+1 ~x50376+8000000 ~x1134+4000000 ~x1133+2000000 ~x1132+1000000 ~x1131+500000 ~x1130+250000 ~x1129+125000 ~x1128+62500 ~x1127+31250 ~x1126+15625 ~x1125-0=30294822
13.29/13.36	c 8388608 ~x57082+4194304 ~x57081+2097152 ~x57080+1048576 ~x57079+524288 ~x57078+262144 ~x57077+131072 ~x57076+65536 ~x57075+32768 ~x57074+16384 ~x57073+8192 ~x57072+4096 ~x57071+2048 ~x57070+1024 ~x57069+512 ~x57068+256 ~x57067+128 ~x57066+64 ~x57065+32 ~x57064+16 ~x57063+8 ~x57062+4 ~x57061+2 ~x57060+1 ~x57059+8000000 ~x843+4000000 ~x842+2000000 ~x841+1000000 ~x840+500000 ~x839+250000 ~x838+125000 ~x837+62500 ~x836+31250 ~x835+15625 ~x834-0=32704998
13.48/13.53	c 17179869184 ~x63776+8589934592 ~x63775+4294967296 ~x63774+2147483648 ~x63773+1073741824 ~x63772+536870912 ~x63771+268435456 ~x63770+134217728 ~x63769+67108864 ~x63768+33554432 ~x63767+16777216 ~x63766+8388608 ~x63765+4194304 ~x63764+2097152 ~x63763+1048576 ~x63762+524288 ~x63761+262144 ~x63760+131072 ~x63759+65536 ~x63758+32768 ~x63757+16384 ~x63756+8192 ~x63755+4096 ~x63754+2048 ~x63753+1024 ~x63752+512 ~x63751+256 ~x63750+128 ~x63749+64 ~x63748+32 ~x63747+16 ~x63746+8 ~x63745+4 ~x63744+2 ~x63743+1 ~x63742+16384000000 ~x3789+8192000000 ~x3788+4096000000 ~x3787+2048000000 ~x3786+1024000000 ~x3785+512000000 ~x3784+256000000 ~x3783+128000000 ~x3782+64000000 ~x3781+32000000 ~x3780+16000000 ~x3779+8000000 ~x3778+4000000 ~x3777+2000000 ~x3776+1000000 ~x3775+500000 ~x3774+250000 ~x3773+125000 ~x3772+62500 ~x3771+31250 ~x3770+15625 ~x3769-0=65719050870
13.99/14.00	c 134217728 ~x83784+67108864 ~x83783+33554432 ~x83782+16777216 ~x83781+8388608 ~x83780+4194304 ~x83779+2097152 ~x83778+1048576 ~x83777+524288 ~x83776+262144 ~x83775+131072 ~x83774+65536 ~x83773+32768 ~x83772+16384 ~x83771+8192 ~x83770+4096 ~x83769+2048 ~x83768+1024 ~x83767+512 ~x83766+256 ~x83765+128 ~x83764+64 ~x83763+32 ~x83762+16 ~x83761+8 ~x83760+4 ~x83759+2 ~x83758+1 ~x83757+131072000 ~x4784+65536000 ~x4783+32768000 ~x4782+16384000 ~x4781+8192000 ~x4780+4096000 ~x4779+2048000 ~x4778+1024000 ~x4777+512000 ~x4776+256000 ~x4775+128000 ~x4774+64000 ~x4773+32000 ~x4772+16000 ~x4771+8000 ~x4770+4000 ~x4769+2000 ~x4768+1000 ~x4767+500 ~x4766+250 ~x4765+125 ~x4764-0=510240642
14.29/14.30	c 17179869184 ~x96120+8589934592 ~x96119+4294967296 ~x96118+2147483648 ~x96117+1073741824 ~x96116+536870912 ~x96115+268435456 ~x96114+134217728 ~x96113+67108864 ~x96112+33554432 ~x96111+16777216 ~x96110+8388608 ~x96109+4194304 ~x96108+2097152 ~x96107+1048576 ~x96106+524288 ~x96105+262144 ~x96104+131072 ~x96103+65536 ~x96102+32768 ~x96101+16384 ~x96100+8192 ~x96099+4096 ~x96098+2048 ~x96097+1024 ~x96096+512 ~x96095+256 ~x96094+128 ~x96093+64 ~x96092+32 ~x96091+16 ~x96090+8 ~x96089+4 ~x96088+2 ~x96087+1 ~x96086+16384000000 ~x3877+8192000000 ~x3876+4096000000 ~x3875+2048000000 ~x3874+1024000000 ~x3873+512000000 ~x3872+256000000 ~x3871+128000000 ~x3870+64000000 ~x3869+32000000 ~x3868+16000000 ~x3867+8000000 ~x3866+4000000 ~x3865+2000000 ~x3864+1000000 ~x3863+500000 ~x3862+250000 ~x3861+125000 ~x3860+62500 ~x3859+31250 ~x3858+15625 ~x3857-0=64118582118
14.69/14.78	c 17179869184 ~x116135+8589934592 ~x116134+4294967296 ~x116133+2147483648 ~x116132+1073741824 ~x116131+536870912 ~x116130+268435456 ~x116129+134217728 ~x116128+67108864 ~x116127+33554432 ~x116126+16777216 ~x116125+8388608 ~x116124+4194304 ~x116123+2097152 ~x116122+1048576 ~x116121+524288 ~x116120+262144 ~x116119+131072 ~x116118+65536 ~x116117+32768 ~x116116+16384 ~x116115+8192 ~x116114+4096 ~x116113+2048 ~x116112+1024 ~x116111+512 ~x116110+256 ~x116109+128 ~x116108+64 ~x116107+32 ~x116106+16 ~x116105+8 ~x116104+4 ~x116103+2 ~x116102+1 ~x116101+16384000000 ~x4224+8192000000 ~x4223+4096000000 ~x4222+2048000000 ~x4221+1024000000 ~x4220+512000000 ~x4219+256000000 ~x4218+128000000 ~x4217+64000000 ~x4216+32000000 ~x4215+16000000 ~x4214+8000000 ~x4213+4000000 ~x4212+2000000 ~x4211+1000000 ~x4210+500000 ~x4209+250000 ~x4208+125000 ~x4207+62500 ~x4206+31250 ~x4205+15625 ~x4204-0=54682488374
15.19/15.26	c 17179869184 ~x136150+8589934592 ~x136149+4294967296 ~x136148+2147483648 ~x136147+1073741824 ~x136146+536870912 ~x136145+268435456 ~x136144+134217728 ~x136143+67108864 ~x136142+33554432 ~x136141+16777216 ~x136140+8388608 ~x136139+4194304 ~x136138+2097152 ~x136137+1048576 ~x136136+524288 ~x136135+262144 ~x136134+131072 ~x136133+65536 ~x136132+32768 ~x136131+16384 ~x136130+8192 ~x136129+4096 ~x136128+2048 ~x136127+1024 ~x136126+512 ~x136125+256 ~x136124+128 ~x136123+64 ~x136122+32 ~x136121+16 ~x136120+8 ~x136119+4 ~x136118+2 ~x136117+1 ~x136116+16384000000 ~x4872+8192000000 ~x4871+4096000000 ~x4870+2048000000 ~x4869+1024000000 ~x4868+512000000 ~x4867+256000000 ~x4866+128000000 ~x4865+64000000 ~x4864+32000000 ~x4863+16000000 ~x4862+8000000 ~x4861+4000000 ~x4860+2000000 ~x4859+1000000 ~x4858+500000 ~x4857+250000 ~x4856+125000 ~x4855+62500 ~x4854+31250 ~x4853+15625 ~x4852-0=54249027430
15.68/15.74	c 1073741824 ~x156161+536870912 ~x156160+268435456 ~x156159+134217728 ~x156158+67108864 ~x156157+33554432 ~x156156+16777216 ~x156155+8388608 ~x156154+4194304 ~x156153+2097152 ~x156152+1048576 ~x156151+524288 ~x156150+262144 ~x156149+131072 ~x156148+65536 ~x156147+32768 ~x156146+16384 ~x156145+8192 ~x156144+4096 ~x156143+2048 ~x156142+1024 ~x156141+512 ~x156140+256 ~x156139+128 ~x156138+64 ~x156137+32 ~x156136+16 ~x156135+8 ~x156134+4 ~x156133+2 ~x156132+1 ~x156131+819200000 ~x5010+409600000 ~x5009+204800000 ~x5008+102400000 ~x5007+51200000 ~x5006+25600000 ~x5005+12800000 ~x5004+6400000 ~x5003+3200000 ~x5002+1600000 ~x5001+800000 ~x5000+400000 ~x4999+200000 ~x4998+100000 ~x4997+50000 ~x4996+25000 ~x4995+12500 ~x4994+6250 ~x4993+3125 ~x4992-0=3617085210
16.08/16.10	c 17179869184 ~x171258+8589934592 ~x171257+4294967296 ~x171256+2147483648 ~x171255+1073741824 ~x171254+536870912 ~x171253+268435456 ~x171252+134217728 ~x171251+67108864 ~x171250+33554432 ~x171249+16777216 ~x171248+8388608 ~x171247+4194304 ~x171246+2097152 ~x171245+1048576 ~x171244+524288 ~x171243+262144 ~x171242+131072 ~x171241+65536 ~x171240+32768 ~x171239+16384 ~x171238+8192 ~x171237+4096 ~x171236+2048 ~x171235+1024 ~x171234+512 ~x171233+256 ~x171232+128 ~x171231+64 ~x171230+32 ~x171229+16 ~x171228+8 ~x171227+4 ~x171226+2 ~x171225+1 ~x171224+16384000000 ~x4600+8192000000 ~x4599+4096000000 ~x4598+2048000000 ~x4597+1024000000 ~x4596+512000000 ~x4595+256000000 ~x4594+128000000 ~x4593+64000000 ~x4592+32000000 ~x4591+16000000 ~x4590+8000000 ~x4589+4000000 ~x4588+2000000 ~x4587+1000000 ~x4586+500000 ~x4585+250000 ~x4584+125000 ~x4583+62500 ~x4582+31250 ~x4581+15625 ~x4580-0=51931847734
16.49/16.58	c 2147483648 ~x191270+1073741824 ~x191269+536870912 ~x191268+268435456 ~x191267+134217728 ~x191266+67108864 ~x191265+33554432 ~x191264+16777216 ~x191263+8388608 ~x191262+4194304 ~x191261+2097152 ~x191260+1048576 ~x191259+524288 ~x191258+262144 ~x191257+131072 ~x191256+65536 ~x191255+32768 ~x191254+16384 ~x191253+8192 ~x191252+4096 ~x191251+2048 ~x191250+1024 ~x191249+512 ~x191248+256 ~x191247+128 ~x191246+64 ~x191245+32 ~x191244+16 ~x191243+8 ~x191242+4 ~x191241+2 ~x191240+1 ~x191239+2048000000 ~x5269+1024000000 ~x5268+512000000 ~x5267+256000000 ~x5266+128000000 ~x5265+64000000 ~x5264+32000000 ~x5263+16000000 ~x5262+8000000 ~x5261+4000000 ~x5260+2000000 ~x5259+1000000 ~x5258+500000 ~x5257+250000 ~x5256+125000 ~x5255+62500 ~x5254+31250 ~x5253+15625 ~x5252-0=6787424326
16.89/16.94	c 4294967296 ~x206377+2147483648 ~x206376+1073741824 ~x206375+536870912 ~x206374+268435456 ~x206373+134217728 ~x206372+67108864 ~x206371+33554432 ~x206370+16777216 ~x206369+8388608 ~x206368+4194304 ~x206367+2097152 ~x206366+1048576 ~x206365+524288 ~x206364+262144 ~x206363+131072 ~x206362+65536 ~x206361+32768 ~x206360+16384 ~x206359+8192 ~x206358+4096 ~x206357+2048 ~x206356+1024 ~x206355+512 ~x206354+256 ~x206353+128 ~x206352+64 ~x206351+32 ~x206350+16 ~x206349+8 ~x206348+4 ~x206347+2 ~x206346+1 ~x206345+4096000000 ~x4426+2048000000 ~x4425+1024000000 ~x4424+512000000 ~x4423+256000000 ~x4422+128000000 ~x4421+64000000 ~x4420+32000000 ~x4419+16000000 ~x4418+8000000 ~x4417+4000000 ~x4416+2000000 ~x4415+1000000 ~x4414+500000 ~x4413+250000 ~x4412+125000 ~x4411+62500 ~x4410+31250 ~x4409+15625 ~x4408-0=16083856470
17.28/17.32	c 536870912 ~x222372+268435456 ~x222371+134217728 ~x222370+67108864 ~x222369+33554432 ~x222368+16777216 ~x222367+8388608 ~x222366+4194304 ~x222365+2097152 ~x222364+1048576 ~x222363+524288 ~x222362+262144 ~x222361+131072 ~x222360+65536 ~x222359+32768 ~x222358+16384 ~x222357+8192 ~x222356+4096 ~x222355+2048 ~x222354+1024 ~x222353+512 ~x222352+256 ~x222351+128 ~x222350+64 ~x222349+32 ~x222348+16 ~x222347+8 ~x222346+4 ~x222345+2 ~x222344+1 ~x222343+512000000 ~x4151+256000000 ~x4150+128000000 ~x4149+64000000 ~x4148+32000000 ~x4147+16000000 ~x4146+8000000 ~x4145+4000000 ~x4144+2000000 ~x4143+1000000 ~x4142+500000 ~x4141+250000 ~x4140+125000 ~x4139+62500 ~x4138+31250 ~x4137+15625 ~x4136-0=1687973270
17.59/17.65	c 34359738368 ~x235722+17179869184 ~x235721+8589934592 ~x235720+4294967296 ~x235719+2147483648 ~x235718+1073741824 ~x235717+536870912 ~x235716+268435456 ~x235715+134217728 ~x235714+67108864 ~x235713+33554432 ~x235712+16777216 ~x235711+8388608 ~x235710+4194304 ~x235709+2097152 ~x235708+1048576 ~x235707+524288 ~x235706+262144 ~x235705+131072 ~x235704+65536 ~x235703+32768 ~x235702+16384 ~x235701+8192 ~x235700+4096 ~x235699+2048 ~x235698+1024 ~x235697+512 ~x235696+256 ~x235695+128 ~x235694+64 ~x235693+32 ~x235692+16 ~x235691+8 ~x235690+4 ~x235689+2 ~x235688+1 ~x235687+32768000000 ~x4693+16384000000 ~x4692+8192000000 ~x4691+4096000000 ~x4690+2048000000 ~x4689+1024000000 ~x4688+512000000 ~x4687+256000000 ~x4686+128000000 ~x4685+64000000 ~x4684+32000000 ~x4683+16000000 ~x4682+8000000 ~x4681+4000000 ~x4680+2000000 ~x4679+1000000 ~x4678+500000 ~x4677+250000 ~x4676+125000 ~x4675+62500 ~x4674+31250 ~x4673+15625 ~x4672-0=124936273606
18.08/18.15	c 2147483648 ~x257038+1073741824 ~x257037+536870912 ~x257036+268435456 ~x257035+134217728 ~x257034+67108864 ~x257033+33554432 ~x257032+16777216 ~x257031+8388608 ~x257030+4194304 ~x257029+2097152 ~x257028+1048576 ~x257027+524288 ~x257026+262144 ~x257025+131072 ~x257024+65536 ~x257023+32768 ~x257022+16384 ~x257021+8192 ~x257020+4096 ~x257019+2048 ~x257018+1024 ~x257017+512 ~x257016+256 ~x257015+128 ~x257014+64 ~x257013+32 ~x257012+16 ~x257011+8 ~x257010+4 ~x257009+2 ~x257008+1 ~x257007+3276800000 ~x5184+1638400000 ~x5183+819200000 ~x5182+409600000 ~x5181+204800000 ~x5180+102400000 ~x5179+51200000 ~x5178+25600000 ~x5177+12800000 ~x5176+6400000 ~x5175+3200000 ~x5174+1600000 ~x5173+800000 ~x5172+400000 ~x5171+200000 ~x5170+100000 ~x5169+50000 ~x5168+25000 ~x5167+12500 ~x5166+6250 ~x5165+3125 ~x5164-0=8312836826
18.48/18.54	c 268435456 ~x273149+134217728 ~x273148+67108864 ~x273147+33554432 ~x273146+16777216 ~x273145+8388608 ~x273144+4194304 ~x273143+2097152 ~x273142+1048576 ~x273141+524288 ~x273140+262144 ~x273139+131072 ~x273138+65536 ~x273137+32768 ~x273136+16384 ~x273135+8192 ~x273134+4096 ~x273133+2048 ~x273132+1024 ~x273131+512 ~x273130+256 ~x273129+128 ~x273128+64 ~x273127+32 ~x273126+16 ~x273125+8 ~x273124+4 ~x273123+2 ~x273122+1 ~x273121+256000000 ~x4306+128000000 ~x4305+64000000 ~x4304+32000000 ~x4303+16000000 ~x4302+8000000 ~x4301+4000000 ~x4300+2000000 ~x4299+1000000 ~x4298+500000 ~x4297+250000 ~x4296+125000 ~x4295+62500 ~x4294+31250 ~x4293+15625 ~x4292-0=893993462
18.69/18.80	c 2097152 ~x284260+1048576 ~x284259+524288 ~x284258+262144 ~x284257+131072 ~x284256+65536 ~x284255+32768 ~x284254+16384 ~x284253+8192 ~x284252+4096 ~x284251+2048 ~x284250+1024 ~x284249+512 ~x284248+256 ~x284247+128 ~x284246+64 ~x284245+32 ~x284244+16 ~x284243+8 ~x284242+4 ~x284241+2 ~x284240+1 ~x284239+2097152 ~x5093+1048576 ~x5092+524288 ~x5091+262144 ~x5090+131072 ~x5089+65536 ~x5088+32768 ~x5087+16384 ~x5086+8192 ~x5085+4096 ~x5084+2048 ~x5083+1024 ~x5082+512 ~x5081+256 ~x5080+128 ~x5079+64 ~x5078+32 ~x5077+16 ~x5076+8 ~x5075+4 ~x5074+2 ~x5073+1 ~x5072-0=6588622
18.99/19.02	c 1073741824 ~x292911+536870912 ~x292910+268435456 ~x292909+134217728 ~x292908+67108864 ~x292907+33554432 ~x292906+16777216 ~x292905+8388608 ~x292904+4194304 ~x292903+2097152 ~x292902+1048576 ~x292901+524288 ~x292900+262144 ~x292899+131072 ~x292898+65536 ~x292897+32768 ~x292896+16384 ~x292895+8192 ~x292894+4096 ~x292893+2048 ~x292892+1024 ~x292891+512 ~x292890+256 ~x292889+128 ~x292888+64 ~x292887+32 ~x292886+16 ~x292885+8 ~x292884+4 ~x292883+2 ~x292882+1 ~x292881+1024000000 ~x5354+512000000 ~x5353+256000000 ~x5352+128000000 ~x5351+64000000 ~x5350+32000000 ~x5349+16000000 ~x5348+8000000 ~x5347+4000000 ~x5346+2000000 ~x5345+1000000 ~x5344+500000 ~x5343+250000 ~x5342+125000 ~x5341+62500 ~x5340+31250 ~x5339+15625 ~x5338-0=4073108646
19.28/19.37	c 8589934592 ~x307335+4294967296 ~x307334+2147483648 ~x307333+1073741824 ~x307332+536870912 ~x307331+268435456 ~x307330+134217728 ~x307329+67108864 ~x307328+33554432 ~x307327+16777216 ~x307326+8388608 ~x307325+4194304 ~x307324+2097152 ~x307323+1048576 ~x307322+524288 ~x307321+262144 ~x307320+131072 ~x307319+65536 ~x307318+32768 ~x307317+16384 ~x307316+8192 ~x307315+4096 ~x307314+2048 ~x307313+1024 ~x307312+512 ~x307311+256 ~x307310+128 ~x307309+64 ~x307308+32 ~x307307+16 ~x307306+8 ~x307305+4 ~x307304+2 ~x307303+1 ~x307302+8192000000 ~x4511+4096000000 ~x4510+2048000000 ~x4509+1024000000 ~x4508+512000000 ~x4507+256000000 ~x4506+128000000 ~x4505+64000000 ~x4504+32000000 ~x4503+16000000 ~x4502+8000000 ~x4501+4000000 ~x4500+2000000 ~x4499+1000000 ~x4498+500000 ~x4497+250000 ~x4496+125000 ~x4495+62500 ~x4494+31250 ~x4493+15625 ~x4492-0=27799779334
19.79/19.82	c 33554432 ~x326537+16777216 ~x326536+8388608 ~x326535+4194304 ~x326534+2097152 ~x326533+1048576 ~x326532+524288 ~x326531+262144 ~x326530+131072 ~x326529+65536 ~x326528+32768 ~x326527+16384 ~x326526+8192 ~x326525+4096 ~x326524+2048 ~x326523+1024 ~x326522+512 ~x326521+256 ~x326520+128 ~x326519+64 ~x326518+32 ~x326517+16 ~x326516+8 ~x326515+4 ~x326514+2 ~x326513+1 ~x326512+32000000 ~x3956+16000000 ~x3955+8000000 ~x3954+4000000 ~x3953+2000000 ~x3952+1000000 ~x3951+500000 ~x3950+250000 ~x3949+125000 ~x3948+62500 ~x3947+31250 ~x3946+15625 ~x3945-0=114507542
19.98/20.05	c 34359738368 ~x335461+17179869184 ~x335460+8589934592 ~x335459+4294967296 ~x335458+2147483648 ~x335457+1073741824 ~x335456+536870912 ~x335455+268435456 ~x335454+134217728 ~x335453+67108864 ~x335452+33554432 ~x335451+16777216 ~x335450+8388608 ~x335449+4194304 ~x335448+2097152 ~x335447+1048576 ~x335446+524288 ~x335445+262144 ~x335444+131072 ~x335443+65536 ~x335442+32768 ~x335441+16384 ~x335440+8192 ~x335439+4096 ~x335438+2048 ~x335437+1024 ~x335436+512 ~x335435+256 ~x335434+128 ~x335433+64 ~x335432+32 ~x335431+16 ~x335430+8 ~x335429+4 ~x335428+2 ~x335427+1 ~x335426+32768000000 ~x503+16384000000 ~x502+8192000000 ~x501+4096000000 ~x500+2048000000 ~x499+1024000000 ~x498+512000000 ~x497+256000000 ~x496+128000000 ~x495+64000000 ~x494+32000000 ~x493+16000000 ~x492+8000000 ~x491+4000000 ~x490+2000000 ~x489+1000000 ~x488+500000 ~x487+250000 ~x486+125000 ~x485+62500 ~x484+31250 ~x483+15625 ~x482-0=111453898614
20.48/20.55	c 4294967296 ~x356778+2147483648 ~x356777+1073741824 ~x356776+536870912 ~x356775+268435456 ~x356774+134217728 ~x356773+67108864 ~x356772+33554432 ~x356771+16777216 ~x356770+8388608 ~x356769+4194304 ~x356768+2097152 ~x356767+1048576 ~x356766+524288 ~x356765+262144 ~x356764+131072 ~x356763+65536 ~x356762+32768 ~x356761+16384 ~x356760+8192 ~x356759+4096 ~x356758+2048 ~x356757+1024 ~x356756+512 ~x356755+256 ~x356754+128 ~x356753+64 ~x356752+32 ~x356751+16 ~x356750+8 ~x356749+4 ~x356748+2 ~x356747+1 ~x356746+4096000000 ~x1541+2048000000 ~x1540+1024000000 ~x1539+512000000 ~x1538+256000000 ~x1537+128000000 ~x1536+64000000 ~x1535+32000000 ~x1534+16000000 ~x1533+8000000 ~x1532+4000000 ~x1531+2000000 ~x1530+1000000 ~x1529+500000 ~x1528+250000 ~x1527+125000 ~x1526+62500 ~x1525+31250 ~x1524+15625 ~x1523-0=14671520534
20.88/20.93	c 34359738368 ~x372779+17179869184 ~x372778+8589934592 ~x372777+4294967296 ~x372776+2147483648 ~x372775+1073741824 ~x372774+536870912 ~x372773+268435456 ~x372772+134217728 ~x372771+67108864 ~x372770+33554432 ~x372769+16777216 ~x372768+8388608 ~x372767+4194304 ~x372766+2097152 ~x372765+1048576 ~x372764+524288 ~x372763+262144 ~x372762+131072 ~x372761+65536 ~x372760+32768 ~x372759+16384 ~x372758+8192 ~x372757+4096 ~x372756+2048 ~x372755+1024 ~x372754+512 ~x372753+256 ~x372752+128 ~x372751+64 ~x372750+32 ~x372749+16 ~x372748+8 ~x372747+4 ~x372746+2 ~x372745+1 ~x372744+32768000000 ~x596+16384000000 ~x595+8192000000 ~x594+4096000000 ~x593+2048000000 ~x592+1024000000 ~x591+512000000 ~x590+256000000 ~x589+128000000 ~x588+64000000 ~x587+32000000 ~x586+16000000 ~x585+8000000 ~x584+4000000 ~x583+2000000 ~x582+1000000 ~x581+500000 ~x580+250000 ~x579+125000 ~x578+62500 ~x577+31250 ~x576+15625 ~x575-0=123159148614
21.38/21.43	c 4294967296 ~x394096+2147483648 ~x394095+1073741824 ~x394094+536870912 ~x394093+268435456 ~x394092+134217728 ~x394091+67108864 ~x394090+33554432 ~x394089+16777216 ~x394088+8388608 ~x394087+4194304 ~x394086+2097152 ~x394085+1048576 ~x394084+524288 ~x394083+262144 ~x394082+131072 ~x394081+65536 ~x394080+32768 ~x394079+16384 ~x394078+8192 ~x394077+4096 ~x394076+2048 ~x394075+1024 ~x394074+512 ~x394073+256 ~x394072+128 ~x394071+64 ~x394070+32 ~x394069+16 ~x394068+8 ~x394067+4 ~x394066+2 ~x394065+1 ~x394064+4096000000 ~x969+2048000000 ~x968+1024000000 ~x967+512000000 ~x966+256000000 ~x965+128000000 ~x964+64000000 ~x963+32000000 ~x962+16000000 ~x961+8000000 ~x960+4000000 ~x959+2000000 ~x958+1000000 ~x957+500000 ~x956+250000 ~x955+125000 ~x954+62500 ~x953+31250 ~x952+15625 ~x951-0=13451364278
21.78/21.81	c 8589934592 ~x410095+4294967296 ~x410094+2147483648 ~x410093+1073741824 ~x410092+536870912 ~x410091+268435456 ~x410090+134217728 ~x410089+67108864 ~x410088+33554432 ~x410087+16777216 ~x410086+8388608 ~x410085+4194304 ~x410084+2097152 ~x410083+1048576 ~x410082+524288 ~x410081+262144 ~x410080+131072 ~x410079+65536 ~x410078+32768 ~x410077+16384 ~x410076+8192 ~x410075+4096 ~x410074+2048 ~x410073+1024 ~x410072+512 ~x410071+256 ~x410070+128 ~x410069+64 ~x410068+32 ~x410067+16 ~x410066+8 ~x410065+4 ~x410064+2 ~x410063+1 ~x410062+8192000000 ~x1623+4096000000 ~x1622+2048000000 ~x1621+1024000000 ~x1620+512000000 ~x1619+256000000 ~x1618+128000000 ~x1617+64000000 ~x1616+32000000 ~x1615+16000000 ~x1614+8000000 ~x1613+4000000 ~x1612+2000000 ~x1611+1000000 ~x1610+500000 ~x1609+250000 ~x1608+125000 ~x1607+62500 ~x1606+31250 ~x1605+15625 ~x1604-0=33442095750
22.18/22.27	c 8388608 ~x429295+4194304 ~x429294+2097152 ~x429293+1048576 ~x429292+524288 ~x429291+262144 ~x429290+131072 ~x429289+65536 ~x429288+32768 ~x429287+16384 ~x429286+8192 ~x429285+4096 ~x429284+2048 ~x429283+1024 ~x429282+512 ~x429281+256 ~x429280+128 ~x429279+64 ~x429278+32 ~x429277+16 ~x429276+8 ~x429275+4 ~x429274+2 ~x429273+1 ~x429272+8000000 ~x1740+4000000 ~x1739+2000000 ~x1738+1000000 ~x1737+500000 ~x1736+250000 ~x1735+125000 ~x1734+62500 ~x1733+31250 ~x1732+15625 ~x1731-0=32605334
22.38/22.44	c 2147483648 ~x435987+1073741824 ~x435986+536870912 ~x435985+268435456 ~x435984+134217728 ~x435983+67108864 ~x435982+33554432 ~x435981+16777216 ~x435980+8388608 ~x435979+4194304 ~x435978+2097152 ~x435977+1048576 ~x435976+524288 ~x435975+262144 ~x435974+131072 ~x435973+65536 ~x435972+32768 ~x435971+16384 ~x435970+8192 ~x435969+4096 ~x435968+2048 ~x435967+1024 ~x435966+512 ~x435965+256 ~x435964+128 ~x435963+64 ~x435962+32 ~x435961+16 ~x435960+8 ~x435959+4 ~x435958+2 ~x435957+1 ~x435956+2048000000 ~x1359+1024000000 ~x1358+512000000 ~x1357+256000000 ~x1356+128000000 ~x1355+64000000 ~x1354+32000000 ~x1353+16000000 ~x1352+8000000 ~x1351+4000000 ~x1350+2000000 ~x1349+1000000 ~x1348+500000 ~x1347+250000 ~x1346+125000 ~x1345+62500 ~x1344+31250 ~x1343+15625 ~x1342-0=8216236822
22.78/22.80	c 1073741824 ~x451092+536870912 ~x451091+268435456 ~x451090+134217728 ~x451089+67108864 ~x451088+33554432 ~x451087+16777216 ~x451086+8388608 ~x451085+4194304 ~x451084+2097152 ~x451083+1048576 ~x451082+524288 ~x451081+262144 ~x451080+131072 ~x451079+65536 ~x451078+32768 ~x451077+16384 ~x451076+8192 ~x451075+4096 ~x451074+2048 ~x451073+1024 ~x451072+512 ~x451071+256 ~x451070+128 ~x451069+64 ~x451068+32 ~x451067+16 ~x451066+8 ~x451065+4 ~x451064+2 ~x451063+1 ~x451062+1024000000 ~x2016+512000000 ~x2015+256000000 ~x2014+128000000 ~x2013+64000000 ~x2012+32000000 ~x2011+16000000 ~x2010+8000000 ~x2009+4000000 ~x2008+2000000 ~x2007+1000000 ~x2006+500000 ~x2005+250000 ~x2004+125000 ~x2003+62500 ~x2002+31250 ~x2001+15625 ~x2000-0=3297069590
23.08/23.15	c 4294967296 ~x465515+2147483648 ~x465514+1073741824 ~x465513+536870912 ~x465512+268435456 ~x465511+134217728 ~x465510+67108864 ~x465509+33554432 ~x465508+16777216 ~x465507+8388608 ~x465506+4194304 ~x465505+2097152 ~x465504+1048576 ~x465503+524288 ~x465502+262144 ~x465501+131072 ~x465500+65536 ~x465499+32768 ~x465498+16384 ~x465497+8192 ~x465496+4096 ~x465495+2048 ~x465494+1024 ~x465493+512 ~x465492+256 ~x465491+128 ~x465490+64 ~x465489+32 ~x465488+16 ~x465487+8 ~x465486+4 ~x465485+2 ~x465484+1 ~x465483+4096000000 ~x1183+2048000000 ~x1182+1024000000 ~x1181+512000000 ~x1180+256000000 ~x1179+128000000 ~x1178+64000000 ~x1177+32000000 ~x1176+16000000 ~x1175+8000000 ~x1174+4000000 ~x1173+2000000 ~x1172+1000000 ~x1171+500000 ~x1170+250000 ~x1169+125000 ~x1168+62500 ~x1167+31250 ~x1166+15625 ~x1165-0=15657922870
23.48/23.52	c 2147483648 ~x481512+1073741824 ~x481511+536870912 ~x481510+268435456 ~x481509+134217728 ~x481508+67108864 ~x481507+33554432 ~x481506+16777216 ~x481505+8388608 ~x481504+4194304 ~x481503+2097152 ~x481502+1048576 ~x481501+524288 ~x481500+262144 ~x481499+131072 ~x481498+65536 ~x481497+32768 ~x481496+16384 ~x481495+8192 ~x481494+4096 ~x481493+2048 ~x481492+1024 ~x481491+512 ~x481490+256 ~x481489+128 ~x481488+64 ~x481487+32 ~x481486+16 ~x481485+8 ~x481484+4 ~x481483+2 ~x481482+1 ~x481481+2048000000 ~x891+1024000000 ~x890+512000000 ~x889+256000000 ~x888+128000000 ~x887+64000000 ~x886+32000000 ~x885+16000000 ~x884+8000000 ~x883+4000000 ~x882+2000000 ~x881+1000000 ~x880+500000 ~x879+250000 ~x878+125000 ~x877+62500 ~x876+31250 ~x875+15625 ~x874-0=7598795414
23.78/23.89	c 34359738368 ~x496622+17179869184 ~x496621+8589934592 ~x496620+4294967296 ~x496619+2147483648 ~x496618+1073741824 ~x496617+536870912 ~x496616+268435456 ~x496615+134217728 ~x496614+67108864 ~x496613+33554432 ~x496612+16777216 ~x496611+8388608 ~x496610+4194304 ~x496609+2097152 ~x496608+1048576 ~x496607+524288 ~x496606+262144 ~x496605+131072 ~x496604+65536 ~x496603+32768 ~x496602+16384 ~x496601+8192 ~x496600+4096 ~x496599+2048 ~x496598+1024 ~x496597+512 ~x496596+256 ~x496595+128 ~x496594+64 ~x496593+32 ~x496592+16 ~x496591+8 ~x496590+4 ~x496589+2 ~x496588+1 ~x496587+32768000000 ~x1450+16384000000 ~x1449+8192000000 ~x1448+4096000000 ~x1447+2048000000 ~x1446+1024000000 ~x1445+512000000 ~x1444+256000000 ~x1443+128000000 ~x1442+64000000 ~x1441+32000000 ~x1440+16000000 ~x1439+8000000 ~x1438+4000000 ~x1437+2000000 ~x1436+1000000 ~x1435+500000 ~x1434+250000 ~x1433+125000 ~x1432+62500 ~x1431+31250 ~x1430+15625 ~x1429-0=109481086102
24.29/24.39	c 4294967296 ~x517939+2147483648 ~x517938+1073741824 ~x517937+536870912 ~x517936+268435456 ~x517935+134217728 ~x517934+67108864 ~x517933+33554432 ~x517932+16777216 ~x517931+8388608 ~x517930+4194304 ~x517929+2097152 ~x517928+1048576 ~x517927+524288 ~x517926+262144 ~x517925+131072 ~x517924+65536 ~x517923+32768 ~x517922+16384 ~x517921+8192 ~x517920+4096 ~x517919+2048 ~x517918+1024 ~x517917+512 ~x517916+256 ~x517915+128 ~x517914+64 ~x517913+32 ~x517912+16 ~x517911+8 ~x517910+4 ~x517909+2 ~x517908+1 ~x517907+8192000000 ~x1928+4096000000 ~x1927+2048000000 ~x1926+1024000000 ~x1925+512000000 ~x1924+256000000 ~x1923+128000000 ~x1922+64000000 ~x1921+32000000 ~x1920+16000000 ~x1919+8000000 ~x1918+4000000 ~x1917+2000000 ~x1916+1000000 ~x1915+500000 ~x1914+250000 ~x1913+125000 ~x1912+62500 ~x1911+31250 ~x1910+15625 ~x1909-0=16914727558
24.77/24.85	c 268435456 ~x536736+134217728 ~x536735+67108864 ~x536734+33554432 ~x536733+16777216 ~x536732+8388608 ~x536731+4194304 ~x536730+2097152 ~x536729+1048576 ~x536728+524288 ~x536727+262144 ~x536726+131072 ~x536725+65536 ~x536724+32768 ~x536723+16384 ~x536722+8192 ~x536721+4096 ~x536720+2048 ~x536719+1024 ~x536718+512 ~x536717+256 ~x536716+128 ~x536715+64 ~x536714+32 ~x536713+16 ~x536712+8 ~x536711+4 ~x536710+2 ~x536709+1 ~x536708+204800000 ~x1058+102400000 ~x1057+51200000 ~x1056+25600000 ~x1055+12800000 ~x1054+6400000 ~x1053+3200000 ~x1052+1600000 ~x1051+800000 ~x1050+400000 ~x1049+200000 ~x1048+100000 ~x1047+50000 ~x1046+25000 ~x1045+12500 ~x1044+6250 ~x1043+3125 ~x1042-0=889540442
25.07/25.13	c 4294967296 ~x548428+2147483648 ~x548427+1073741824 ~x548426+536870912 ~x548425+268435456 ~x548424+134217728 ~x548423+67108864 ~x548422+33554432 ~x548421+16777216 ~x548420+8388608 ~x548419+4194304 ~x548418+2097152 ~x548417+1048576 ~x548416+524288 ~x548415+262144 ~x548414+131072 ~x548413+65536 ~x548412+32768 ~x548411+16384 ~x548410+8192 ~x548409+4096 ~x548408+2048 ~x548407+1024 ~x548406+512 ~x548405+256 ~x548404+128 ~x548403+64 ~x548402+32 ~x548401+16 ~x548400+8 ~x548399+4 ~x548398+2 ~x548397+1 ~x548396+3276800000 ~x1830+1638400000 ~x1829+819200000 ~x1828+409600000 ~x1827+204800000 ~x1826+102400000 ~x1825+51200000 ~x1824+25600000 ~x1823+12800000 ~x1822+6400000 ~x1821+3200000 ~x1820+1600000 ~x1819+800000 ~x1818+400000 ~x1817+200000 ~x1816+100000 ~x1815+50000 ~x1814+25000 ~x1813+12500 ~x1812+6250 ~x1811+3125 ~x1810-0=13656643978
25.48/25.52	c 1048576 ~x565098+524288 ~x565097+262144 ~x565096+131072 ~x565095+65536 ~x565094+32768 ~x565093+16384 ~x565092+8192 ~x565091+4096 ~x565090+2048 ~x565089+1024 ~x565088+512 ~x565087+256 ~x565086+128 ~x565085+64 ~x565084+32 ~x565083+16 ~x565082+8 ~x565081+4 ~x565080+2 ~x565079+1 ~x565078+1048576 ~x2103+524288 ~x2102+262144 ~x2101+131072 ~x2100+65536 ~x2099+32768 ~x2098+16384 ~x2097+8192 ~x2096+4096 ~x2095+2048 ~x2094+1024 ~x2093+512 ~x2092+256 ~x2091+128 ~x2090+64 ~x2089+32 ~x2088+16 ~x2087+8 ~x2086+4 ~x2085+2 ~x2084+1 ~x2083-0=4143342
25.68/25.73	c 68719476736 ~x573305+34359738368 ~x573304+17179869184 ~x573303+8589934592 ~x573302+4294967296 ~x573301+2147483648 ~x573300+1073741824 ~x573299+536870912 ~x573298+268435456 ~x573297+134217728 ~x573296+67108864 ~x573295+33554432 ~x573294+16777216 ~x573293+8388608 ~x573292+4194304 ~x573291+2097152 ~x573290+1048576 ~x573289+524288 ~x573288+262144 ~x573287+131072 ~x573286+65536 ~x573285+32768 ~x573284+16384 ~x573283+8192 ~x573282+4096 ~x573281+2048 ~x573280+1024 ~x573279+512 ~x573278+256 ~x573277+128 ~x573276+64 ~x573275+32 ~x573274+16 ~x573273+8 ~x573272+4 ~x573271+2 ~x573270+1 ~x573269+65536000000 ~x1268+32768000000 ~x1267+16384000000 ~x1266+8192000000 ~x1265+4096000000 ~x1264+2048000000 ~x1263+1024000000 ~x1262+512000000 ~x1261+256000000 ~x1260+128000000 ~x1259+64000000 ~x1258+32000000 ~x1257+16000000 ~x1256+8000000 ~x1255+4000000 ~x1254+2000000 ~x1253+1000000 ~x1252+500000 ~x1251+250000 ~x1250+125000 ~x1249+62500 ~x1248+31250 ~x1247+15625 ~x1246-0=255217875350
26.18/26.25	c 2147483648 ~x595686+1073741824 ~x595685+536870912 ~x595684+268435456 ~x595683+134217728 ~x595682+67108864 ~x595681+33554432 ~x595680+16777216 ~x595679+8388608 ~x595678+4194304 ~x595677+2097152 ~x595676+1048576 ~x595675+524288 ~x595674+262144 ~x595673+131072 ~x595672+65536 ~x595671+32768 ~x595670+16384 ~x595669+8192 ~x595668+4096 ~x595667+2048 ~x595666+1024 ~x595665+512 ~x595664+256 ~x595663+128 ~x595662+64 ~x595661+32 ~x595660+16 ~x595659+8 ~x595658+4 ~x595657+2 ~x595656+1 ~x595655+2048000000 ~x735+1024000000 ~x734+512000000 ~x733+256000000 ~x732+128000000 ~x731+64000000 ~x730+32000000 ~x729+16000000 ~x728+8000000 ~x727+4000000 ~x726+2000000 ~x725+1000000 ~x724+500000 ~x723+250000 ~x722+125000 ~x721+62500 ~x720+31250 ~x719+15625 ~x718-0=7993354006
26.57/26.61	c 8388608 ~x610784+4194304 ~x610783+2097152 ~x610782+1048576 ~x610781+524288 ~x610780+262144 ~x610779+131072 ~x610778+65536 ~x610777+32768 ~x610776+16384 ~x610775+8192 ~x610774+4096 ~x610773+2048 ~x610772+1024 ~x610771+512 ~x610770+256 ~x610769+128 ~x610768+64 ~x610767+32 ~x610766+16 ~x610765+8 ~x610764+4 ~x610763+2 ~x610762+1 ~x610761+8000000 ~x22054+4000000 ~x22053+2000000 ~x22052+1000000 ~x22051+500000 ~x22050+250000 ~x22049+125000 ~x22048+62500 ~x22047+31250 ~x22046+15625 ~x22045-0=26687206
26.67/26.77	c 2147483648 ~x617476+1073741824 ~x617475+536870912 ~x617474+268435456 ~x617473+134217728 ~x617472+67108864 ~x617471+33554432 ~x617470+16777216 ~x617469+8388608 ~x617468+4194304 ~x617467+2097152 ~x617466+1048576 ~x617465+524288 ~x617464+262144 ~x617463+131072 ~x617462+65536 ~x617461+32768 ~x617460+16384 ~x617459+8192 ~x617458+4096 ~x617457+2048 ~x617456+1024 ~x617455+512 ~x617454+256 ~x617453+128 ~x617452+64 ~x617451+32 ~x617450+16 ~x617449+8 ~x617448+4 ~x617447+2 ~x617446+1 ~x617445+1638400000 ~x2196+819200000 ~x2195+409600000 ~x2194+204800000 ~x2193+102400000 ~x2192+51200000 ~x2191+25600000 ~x2190+12800000 ~x2189+6400000 ~x2188+3200000 ~x2187+1600000 ~x2186+800000 ~x2185+400000 ~x2184+200000 ~x2183+100000 ~x2182+50000 ~x2181+25000 ~x2180+12500 ~x2179+6250 ~x2178+3125 ~x2177-0=7311023546
27.08/27.15	c 2147483648 ~x633254+1073741824 ~x633253+536870912 ~x633252+268435456 ~x633251+134217728 ~x633250+67108864 ~x633249+33554432 ~x633248+16777216 ~x633247+8388608 ~x633246+4194304 ~x633245+2097152 ~x633244+1048576 ~x633243+524288 ~x633242+262144 ~x633241+131072 ~x633240+65536 ~x633239+32768 ~x633238+16384 ~x633237+8192 ~x633236+4096 ~x633235+2048 ~x633234+1024 ~x633233+512 ~x633232+256 ~x633231+128 ~x633230+64 ~x633229+32 ~x633228+16 ~x633227+8 ~x633226+4 ~x633225+2 ~x633224+1 ~x633223+2048000000 ~x3038+1024000000 ~x3037+512000000 ~x3036+256000000 ~x3035+128000000 ~x3034+64000000 ~x3033+32000000 ~x3032+16000000 ~x3031+8000000 ~x3030+4000000 ~x3029+2000000 ~x3028+1000000 ~x3027+500000 ~x3026+250000 ~x3025+125000 ~x3024+62500 ~x3023+31250 ~x3022+15625 ~x3021-0=6875932134
27.48/27.51	c 524288 ~x648348+262144 ~x648347+131072 ~x648346+65536 ~x648345+32768 ~x648344+16384 ~x648343+8192 ~x648342+4096 ~x648341+2048 ~x648340+1024 ~x648339+512 ~x648338+256 ~x648337+128 ~x648336+64 ~x648335+32 ~x648334+16 ~x648333+8 ~x648332+4 ~x648331+2 ~x648330+1 ~x648329+524288 ~x2280+262144 ~x2279+131072 ~x2278+65536 ~x2277+32768 ~x2276+16384 ~x2275+8192 ~x2274+4096 ~x2273+2048 ~x2272+1024 ~x2271+512 ~x2270+256 ~x2269+128 ~x2268+64 ~x2267+32 ~x2266+16 ~x2265+8 ~x2264+4 ~x2263+2 ~x2262+1 ~x2261-0=1658942
27.59/27.67	c 2147483648 ~x654914+1073741824 ~x654913+536870912 ~x654912+268435456 ~x654911+134217728 ~x654910+67108864 ~x654909+33554432 ~x654908+16777216 ~x654907+8388608 ~x654906+4194304 ~x654905+2097152 ~x654904+1048576 ~x654903+524288 ~x654902+262144 ~x654901+131072 ~x654900+65536 ~x654899+32768 ~x654898+16384 ~x654897+8192 ~x654896+4096 ~x654895+2048 ~x654894+1024 ~x654893+512 ~x654892+256 ~x654891+128 ~x654890+64 ~x654889+32 ~x654888+16 ~x654887+8 ~x654886+4 ~x654885+2 ~x654884+1 ~x654883+2048000000 ~x2500+1024000000 ~x2499+512000000 ~x2498+256000000 ~x2497+128000000 ~x2496+64000000 ~x2495+32000000 ~x2494+16000000 ~x2493+8000000 ~x2492+4000000 ~x2491+2000000 ~x2490+1000000 ~x2489+500000 ~x2488+250000 ~x2487+125000 ~x2486+62500 ~x2485+31250 ~x2484+15625 ~x2483-0=7985482918
27.97/28.04	c 536870912 ~x670018+268435456 ~x670017+134217728 ~x670016+67108864 ~x670015+33554432 ~x670014+16777216 ~x670013+8388608 ~x670012+4194304 ~x670011+2097152 ~x670010+1048576 ~x670009+524288 ~x670008+262144 ~x670007+131072 ~x670006+65536 ~x670005+32768 ~x670004+16384 ~x670003+8192 ~x670002+4096 ~x670001+2048 ~x670000+1024 ~x669999+512 ~x669998+256 ~x669997+128 ~x669996+64 ~x669995+32 ~x669994+16 ~x669993+8 ~x669992+4 ~x669991+2 ~x669990+1 ~x669989+409600000 ~x3116+204800000 ~x3115+102400000 ~x3114+51200000 ~x3113+25600000 ~x3112+12800000 ~x3111+6400000 ~x3110+3200000 ~x3109+1600000 ~x3108+800000 ~x3107+400000 ~x3106+200000 ~x3105+100000 ~x3104+50000 ~x3103+25000 ~x3102+12500 ~x3101+6250 ~x3100+3125 ~x3099-0=1710898074
28.28/28.38	c 134217728 ~x684014+67108864 ~x684013+33554432 ~x684012+16777216 ~x684011+8388608 ~x684010+4194304 ~x684009+2097152 ~x684008+1048576 ~x684007+524288 ~x684006+262144 ~x684005+131072 ~x684004+65536 ~x684003+32768 ~x684002+16384 ~x684001+8192 ~x684000+4096 ~x683999+2048 ~x683998+1024 ~x683997+512 ~x683996+256 ~x683995+128 ~x683994+64 ~x683993+32 ~x683992+16 ~x683991+8 ~x683990+4 ~x683989+2 ~x683988+1 ~x683987+128000000 ~x3189+64000000 ~x3188+32000000 ~x3187+16000000 ~x3186+8000000 ~x3185+4000000 ~x3184+2000000 ~x3183+1000000 ~x3182+500000 ~x3181+250000 ~x3180+125000 ~x3179+62500 ~x3178+31250 ~x3177+15625 ~x3176-0=420324134
28.58/28.63	c 1073741824 ~x694393+536870912 ~x694392+268435456 ~x694391+134217728 ~x694390+67108864 ~x694389+33554432 ~x694388+16777216 ~x694387+8388608 ~x694386+4194304 ~x694385+2097152 ~x694384+1048576 ~x694383+524288 ~x694382+262144 ~x694381+131072 ~x694380+65536 ~x694379+32768 ~x694378+16384 ~x694377+8192 ~x694376+4096 ~x694375+2048 ~x694374+1024 ~x694373+512 ~x694372+256 ~x694371+128 ~x694370+64 ~x694369+32 ~x694368+16 ~x694367+8 ~x694366+4 ~x694365+2 ~x694364+1 ~x694363+819200000 ~x2867+409600000 ~x2866+204800000 ~x2865+102400000 ~x2864+51200000 ~x2863+25600000 ~x2862+12800000 ~x2861+6400000 ~x2860+3200000 ~x2859+1600000 ~x2858+800000 ~x2857+400000 ~x2856+200000 ~x2855+100000 ~x2854+50000 ~x2853+25000 ~x2852+12500 ~x2851+6250 ~x2850+3125 ~x2849-0=3485748490
28.88/28.99	c 268435456 ~x709484+134217728 ~x709483+67108864 ~x709482+33554432 ~x709481+16777216 ~x709480+8388608 ~x709479+4194304 ~x709478+2097152 ~x709477+1048576 ~x709476+524288 ~x709475+262144 ~x709474+131072 ~x709473+65536 ~x709472+32768 ~x709471+16384 ~x709470+8192 ~x709469+4096 ~x709468+2048 ~x709467+1024 ~x709466+512 ~x709465+256 ~x709464+128 ~x709463+64 ~x709462+32 ~x709461+16 ~x709460+8 ~x709459+4 ~x709458+2 ~x709457+1 ~x709456+256000000 ~x3501+128000000 ~x3500+64000000 ~x3499+32000000 ~x3498+16000000 ~x3497+8000000 ~x3496+4000000 ~x3495+2000000 ~x3494+1000000 ~x3493+500000 ~x3492+250000 ~x3491+125000 ~x3490+62500 ~x3489+31250 ~x3488+15625 ~x3487-0=883064022
29.18/29.25	c 1073741824 ~x720604+536870912 ~x720603+268435456 ~x720602+134217728 ~x720601+67108864 ~x720600+33554432 ~x720599+16777216 ~x720598+8388608 ~x720597+4194304 ~x720596+2097152 ~x720595+1048576 ~x720594+524288 ~x720593+262144 ~x720592+131072 ~x720591+65536 ~x720590+32768 ~x720589+16384 ~x720588+8192 ~x720587+4096 ~x720586+2048 ~x720585+1024 ~x720584+512 ~x720583+256 ~x720582+128 ~x720581+64 ~x720580+32 ~x720579+16 ~x720578+8 ~x720577+4 ~x720576+2 ~x720575+1 ~x720574+1024000000 ~x2701+512000000 ~x2700+256000000 ~x2699+128000000 ~x2698+64000000 ~x2697+32000000 ~x2696+16000000 ~x2695+8000000 ~x2694+4000000 ~x2693+2000000 ~x2692+1000000 ~x2691+500000 ~x2690+250000 ~x2689+125000 ~x2688+62500 ~x2687+31250 ~x2686+15625 ~x2685-0=3594707030
29.58/29.60	c 536870912 ~x735024+268435456 ~x735023+134217728 ~x735022+67108864 ~x735021+33554432 ~x735020+16777216 ~x735019+8388608 ~x735018+4194304 ~x735017+2097152 ~x735016+1048576 ~x735015+524288 ~x735014+262144 ~x735013+131072 ~x735012+65536 ~x735011+32768 ~x735010+16384 ~x735009+8192 ~x735008+4096 ~x735007+2048 ~x735006+1024 ~x735005+512 ~x735004+256 ~x735003+128 ~x735002+64 ~x735001+32 ~x735000+16 ~x734999+8 ~x734998+4 ~x734997+2 ~x734996+1 ~x734995+512000000 ~x2429+256000000 ~x2428+128000000 ~x2427+64000000 ~x2426+32000000 ~x2425+16000000 ~x2424+8000000 ~x2423+4000000 ~x2422+2000000 ~x2421+1000000 ~x2420+500000 ~x2419+250000 ~x2418+125000 ~x2417+62500 ~x2416+31250 ~x2415+15625 ~x2414-0=1759453974
29.88/29.92	c 8589934592 ~x748372+4294967296 ~x748371+2147483648 ~x748370+1073741824 ~x748369+536870912 ~x748368+268435456 ~x748367+134217728 ~x748366+67108864 ~x748365+33554432 ~x748364+16777216 ~x748363+8388608 ~x748362+4194304 ~x748361+2097152 ~x748360+1048576 ~x748359+524288 ~x748358+262144 ~x748357+131072 ~x748356+65536 ~x748355+32768 ~x748354+16384 ~x748353+8192 ~x748352+4096 ~x748351+2048 ~x748350+1024 ~x748349+512 ~x748348+256 ~x748347+128 ~x748346+64 ~x748345+32 ~x748344+16 ~x748343+8 ~x748342+4 ~x748341+2 ~x748340+1 ~x748339+8192000000 ~x2954+4096000000 ~x2953+2048000000 ~x2952+1024000000 ~x2951+512000000 ~x2950+256000000 ~x2949+128000000 ~x2948+64000000 ~x2947+32000000 ~x2946+16000000 ~x2945+8000000 ~x2944+4000000 ~x2943+2000000 ~x2942+1000000 ~x2941+500000 ~x2940+250000 ~x2939+125000 ~x2938+62500 ~x2937+31250 ~x2936+15625 ~x2935-0=26405349654
30.28/30.38	c 2147483648 ~x767580+1073741824 ~x767579+536870912 ~x767578+268435456 ~x767577+134217728 ~x767576+67108864 ~x767575+33554432 ~x767574+16777216 ~x767573+8388608 ~x767572+4194304 ~x767571+2097152 ~x767570+1048576 ~x767569+524288 ~x767568+262144 ~x767567+131072 ~x767566+65536 ~x767565+32768 ~x767564+16384 ~x767563+8192 ~x767562+4096 ~x767561+2048 ~x767560+1024 ~x767559+512 ~x767558+256 ~x767557+128 ~x767556+64 ~x767555+32 ~x767554+16 ~x767553+8 ~x767552+4 ~x767551+2 ~x767550+1 ~x767549+2048000000 ~x3579+1024000000 ~x3578+512000000 ~x3577+256000000 ~x3576+128000000 ~x3575+64000000 ~x3574+32000000 ~x3573+16000000 ~x3572+8000000 ~x3571+4000000 ~x3570+2000000 ~x3569+1000000 ~x3568+500000 ~x3567+250000 ~x3566+125000 ~x3565+62500 ~x3564+31250 ~x3563+15625 ~x3562-0=8204162614
30.67/30.74	c 8589934592 ~x782688+4294967296 ~x782687+2147483648 ~x782686+1073741824 ~x782685+536870912 ~x782684+268435456 ~x782683+134217728 ~x782682+67108864 ~x782681+33554432 ~x782680+16777216 ~x782679+8388608 ~x782678+4194304 ~x782677+2097152 ~x782676+1048576 ~x782675+524288 ~x782674+262144 ~x782673+131072 ~x782672+65536 ~x782671+32768 ~x782670+16384 ~x782669+8192 ~x782668+4096 ~x782667+2048 ~x782666+1024 ~x782665+512 ~x782664+256 ~x782663+128 ~x782662+64 ~x782661+32 ~x782660+16 ~x782659+8 ~x782658+4 ~x782657+2 ~x782656+1 ~x782655+8192000000 ~x2777+4096000000 ~x2776+2048000000 ~x2775+1024000000 ~x2774+512000000 ~x2773+256000000 ~x2772+128000000 ~x2771+64000000 ~x2770+32000000 ~x2769+16000000 ~x2768+8000000 ~x2767+4000000 ~x2766+2000000 ~x2765+1000000 ~x2764+500000 ~x2763+250000 ~x2762+125000 ~x2761+62500 ~x2760+31250 ~x2759+15625 ~x2758-0=28344584022
31.17/31.20	c 134217728 ~x801892+67108864 ~x801891+33554432 ~x801890+16777216 ~x801889+8388608 ~x801888+4194304 ~x801887+2097152 ~x801886+1048576 ~x801885+524288 ~x801884+262144 ~x801883+131072 ~x801882+65536 ~x801881+32768 ~x801880+16384 ~x801879+8192 ~x801878+4096 ~x801877+2048 ~x801876+1024 ~x801875+512 ~x801874+256 ~x801873+128 ~x801872+64 ~x801871+32 ~x801870+16 ~x801869+8 ~x801868+4 ~x801867+2 ~x801866+1 ~x801865+128000000 ~x2360+64000000 ~x2359+32000000 ~x2358+16000000 ~x2357+8000000 ~x2356+4000000 ~x2355+2000000 ~x2354+1000000 ~x2353+500000 ~x2352+250000 ~x2351+125000 ~x2350+62500 ~x2349+31250 ~x2348+15625 ~x2347-0=436496486
31.38/31.45	c 1048576 ~x812261+524288 ~x812260+262144 ~x812259+131072 ~x812258+65536 ~x812257+32768 ~x812256+16384 ~x812255+8192 ~x812254+4096 ~x812253+2048 ~x812252+1024 ~x812251+512 ~x812250+256 ~x812249+128 ~x812248+64 ~x812247+32 ~x812246+16 ~x812245+8 ~x812244+4 ~x812243+2 ~x812242+1 ~x812241+1600000 ~x8191+800000 ~x8190+400000 ~x8189+200000 ~x8188+100000 ~x8187+50000 ~x8186+25000 ~x8185+12500 ~x8184+6250 ~x8183+3125 ~x8182-0=3780298
31.47/31.59	c 8388608 ~x817859+4194304 ~x817858+2097152 ~x817857+1048576 ~x817856+524288 ~x817855+262144 ~x817854+131072 ~x817853+65536 ~x817852+32768 ~x817851+16384 ~x817850+8192 ~x817849+4096 ~x817848+2048 ~x817847+1024 ~x817846+512 ~x817845+256 ~x817844+128 ~x817843+64 ~x817842+32 ~x817841+16 ~x817840+8 ~x817839+4 ~x817838+2 ~x817837+1 ~x817836+8000000 ~x6831+4000000 ~x6830+2000000 ~x6829+1000000 ~x6828+500000 ~x6827+250000 ~x6826+125000 ~x6825+62500 ~x6824+31250 ~x6823+15625 ~x6822-0=32761478
31.67/31.76	c 1024 ~x824529+512 ~x824528+256 ~x824527+128 ~x824526+64 ~x824525+32 ~x824524+16 ~x824523+8 ~x824522+4 ~x824521+2 ~x824520+1 ~x824519+1024 ~x21252+512 ~x21251+256 ~x21250+128 ~x21249+64 ~x21248+32 ~x21247+16 ~x21246+8 ~x21245+4 ~x21244+2 ~x21243+1 ~x21242-0=4094
31.78/31.81	c 65536 ~x826274+32768 ~x826273+16384 ~x826272+8192 ~x826271+4096 ~x826270+2048 ~x826269+1024 ~x826268+512 ~x826267+256 ~x826266+128 ~x826265+64 ~x826264+32 ~x826263+16 ~x826262+8 ~x826261+4 ~x826260+2 ~x826259+1 ~x826258+65536 ~x9078+32768 ~x9077+16384 ~x9076+8192 ~x9075+4096 ~x9074+2048 ~x9073+1024 ~x9072+512 ~x9071+256 ~x9070+128 ~x9069+64 ~x9068+32 ~x9067+16 ~x9066+8 ~x9065+4 ~x9064+2 ~x9063+1 ~x9062-0=245758
31.88/31.92	c 131072 ~x830611+65536 ~x830610+32768 ~x830609+16384 ~x830608+8192 ~x830607+4096 ~x830606+2048 ~x830605+1024 ~x830604+512 ~x830603+256 ~x830602+128 ~x830601+64 ~x830600+32 ~x830599+16 ~x830598+8 ~x830597+4 ~x830596+2 ~x830595+1 ~x830594+131072 ~x6761+65536 ~x6760+32768 ~x6759+16384 ~x6758+8192 ~x6757+4096 ~x6756+2048 ~x6755+1024 ~x6754+512 ~x6753+256 ~x6752+128 ~x6751+64 ~x6750+32 ~x6749+16 ~x6748+8 ~x6747+4 ~x6746+2 ~x6745+1 ~x6744-0=479230
31.98/32.05	c 2097152 ~x835959+1048576 ~x835958+524288 ~x835957+262144 ~x835956+131072 ~x835955+65536 ~x835954+32768 ~x835953+16384 ~x835952+8192 ~x835951+4096 ~x835950+2048 ~x835949+1024 ~x835948+512 ~x835947+256 ~x835946+128 ~x835945+64 ~x835944+32 ~x835943+16 ~x835942+8 ~x835941+4 ~x835940+2 ~x835939+1 ~x835938+1600000 ~x10351+800000 ~x10350+400000 ~x10349+200000 ~x10348+100000 ~x10347+50000 ~x10346+25000 ~x10345+12500 ~x10344+6250 ~x10343+3125 ~x10342-0=7391146
32.07/32.19	c 512 ~x841768+256 ~x841767+128 ~x841766+64 ~x841765+32 ~x841764+16 ~x841763+8 ~x841762+4 ~x841761+2 ~x841760+1 ~x841759+512 ~x4962+256 ~x4961+128 ~x4960+64 ~x4959+32 ~x4958+16 ~x4957+8 ~x4956+4 ~x4955+2 ~x4954+1 ~x4953-0=2046
32.17/32.23	c 2048 ~x843072+1024 ~x843071+512 ~x843070+256 ~x843069+128 ~x843068+64 ~x843067+32 ~x843066+16 ~x843065+8 ~x843064+4 ~x843063+2 ~x843062+1 ~x843061+2048 ~x4380+1024 ~x4379+512 ~x4378+256 ~x4377+128 ~x4376+64 ~x4375+32 ~x4374+16 ~x4373+8 ~x4372+4 ~x4371+2 ~x4370+1 ~x4369-0=7166
32.17/32.28	c 1048576 ~x845219+524288 ~x845218+262144 ~x845217+131072 ~x845216+65536 ~x845215+32768 ~x845214+16384 ~x845213+8192 ~x845212+4096 ~x845211+2048 ~x845210+1024 ~x845209+512 ~x845208+256 ~x845207+128 ~x845206+64 ~x845205+32 ~x845204+16 ~x845203+8 ~x845202+4 ~x845201+2 ~x845200+1 ~x845199+800000 ~x688+400000 ~x687+200000 ~x686+100000 ~x685+50000 ~x684+25000 ~x683+12500 ~x682+6250 ~x681+3125 ~x680-0=3520410
32.38/32.42	c 8388608 ~x850605+4194304 ~x850604+2097152 ~x850603+1048576 ~x850602+524288 ~x850601+262144 ~x850600+131072 ~x850599+65536 ~x850598+32768 ~x850597+16384 ~x850596+8192 ~x850595+4096 ~x850594+2048 ~x850593+1024 ~x850592+512 ~x850591+256 ~x850590+128 ~x850589+64 ~x850588+32 ~x850587+16 ~x850586+8 ~x850585+4 ~x850584+2 ~x850583+1 ~x850582+8000000 ~x813+4000000 ~x812+2000000 ~x811+1000000 ~x810+500000 ~x809+250000 ~x808+125000 ~x807+62500 ~x806+31250 ~x805+15625 ~x804-0=25781846
32.48/32.58	c 8388608 ~x857288+4194304 ~x857287+2097152 ~x857286+1048576 ~x857285+524288 ~x857284+262144 ~x857283+131072 ~x857282+65536 ~x857281+32768 ~x857280+16384 ~x857279+8192 ~x857278+4096 ~x857277+2048 ~x857276+1024 ~x857275+512 ~x857274+256 ~x857273+128 ~x857272+64 ~x857271+32 ~x857270+16 ~x857269+8 ~x857268+4 ~x857267+2 ~x857266+1 ~x857265+8000000 ~x1707+4000000 ~x1706+2000000 ~x1705+1000000 ~x1704+500000 ~x1703+250000 ~x1702+125000 ~x1701+62500 ~x1700+31250 ~x1699+15625 ~x1698-0=32420198
32.67/32.74	c 8388608 ~x863972+4194304 ~x863971+2097152 ~x863970+1048576 ~x863969+524288 ~x863968+262144 ~x863967+131072 ~x863966+65536 ~x863965+32768 ~x863964+16384 ~x863963+8192 ~x863962+4096 ~x863961+2048 ~x863960+1024 ~x863959+512 ~x863958+256 ~x863957+128 ~x863956+64 ~x863955+32 ~x863954+16 ~x863953+8 ~x863952+4 ~x863951+2 ~x863950+1 ~x863949+8000000 ~x1144+4000000 ~x1143+2000000 ~x1142+1000000 ~x1141+500000 ~x1140+250000 ~x1139+125000 ~x1138+62500 ~x1137+31250 ~x1136+15625 ~x1135-0=29754662
32.88/32.90	c 512 ~x870641+256 ~x870640+128 ~x870639+64 ~x870638+32 ~x870637+16 ~x870636+8 ~x870635+4 ~x870634+2 ~x870633+1 ~x870632+512 ~x853+256 ~x852+128 ~x851+64 ~x850+32 ~x849+16 ~x848+8 ~x847+4 ~x846+2 ~x845+1 ~x844-0=2046
32.88/32.94	c 17179869184 ~x871967+8589934592 ~x871966+4294967296 ~x871965+2147483648 ~x871964+1073741824 ~x871963+536870912 ~x871962+268435456 ~x871961+134217728 ~x871960+67108864 ~x871959+33554432 ~x871958+16777216 ~x871957+8388608 ~x871956+4194304 ~x871955+2097152 ~x871954+1048576 ~x871953+524288 ~x871952+262144 ~x871951+131072 ~x871950+65536 ~x871949+32768 ~x871948+16384 ~x871947+8192 ~x871946+4096 ~x871945+2048 ~x871944+1024 ~x871943+512 ~x871942+256 ~x871941+128 ~x871940+64 ~x871939+32 ~x871938+16 ~x871937+8 ~x871936+4 ~x871935+2 ~x871934+1 ~x871933+16384000000 ~x3811+8192000000 ~x3810+4096000000 ~x3809+2048000000 ~x3808+1024000000 ~x3807+512000000 ~x3806+256000000 ~x3805+128000000 ~x3804+64000000 ~x3803+32000000 ~x3802+16000000 ~x3801+8000000 ~x3800+4000000 ~x3799+2000000 ~x3798+1000000 ~x3797+500000 ~x3796+250000 ~x3795+125000 ~x3794+62500 ~x3793+31250 ~x3792+15625 ~x3791-0=64230332118
33.38/33.42	c 17179869184 ~x891982+8589934592 ~x891981+4294967296 ~x891980+2147483648 ~x891979+1073741824 ~x891978+536870912 ~x891977+268435456 ~x891976+134217728 ~x891975+67108864 ~x891974+33554432 ~x891973+16777216 ~x891972+8388608 ~x891971+4194304 ~x891970+2097152 ~x891969+1048576 ~x891968+524288 ~x891967+262144 ~x891966+131072 ~x891965+65536 ~x891964+32768 ~x891963+16384 ~x891962+8192 ~x891961+4096 ~x891960+2048 ~x891959+1024 ~x891958+512 ~x891957+256 ~x891956+128 ~x891955+64 ~x891954+32 ~x891953+16 ~x891952+8 ~x891951+4 ~x891950+2 ~x891949+1 ~x891948+16384000000 ~x4806+8192000000 ~x4805+4096000000 ~x4804+2048000000 ~x4803+1024000000 ~x4802+512000000 ~x4801+256000000 ~x4800+128000000 ~x4799+64000000 ~x4798+32000000 ~x4797+16000000 ~x4796+8000000 ~x4795+4000000 ~x4794+2000000 ~x4793+1000000 ~x4792+500000 ~x4791+250000 ~x4790+125000 ~x4789+62500 ~x4788+31250 ~x4787+15625 ~x4786-0=63047285238
33.77/33.89	c 17179869184 ~x911997+8589934592 ~x911996+4294967296 ~x911995+2147483648 ~x911994+1073741824 ~x911993+536870912 ~x911992+268435456 ~x911991+134217728 ~x911990+67108864 ~x911989+33554432 ~x911988+16777216 ~x911987+8388608 ~x911986+4194304 ~x911985+2097152 ~x911984+1048576 ~x911983+524288 ~x911982+262144 ~x911981+131072 ~x911980+65536 ~x911979+32768 ~x911978+16384 ~x911977+8192 ~x911976+4096 ~x911975+2048 ~x911974+1024 ~x911973+512 ~x911972+256 ~x911971+128 ~x911970+64 ~x911969+32 ~x911968+16 ~x911967+8 ~x911966+4 ~x911965+2 ~x911964+1 ~x911963+16384000000 ~x3899+8192000000 ~x3898+4096000000 ~x3897+2048000000 ~x3896+1024000000 ~x3895+512000000 ~x3894+256000000 ~x3893+128000000 ~x3892+64000000 ~x3891+32000000 ~x3890+16000000 ~x3889+8000000 ~x3888+4000000 ~x3887+2000000 ~x3886+1000000 ~x3885+500000 ~x3884+250000 ~x3883+125000 ~x3882+62500 ~x3881+31250 ~x3880+15625 ~x3879-0=62560144614
34.27/34.37	c 17179869184 ~x932012+8589934592 ~x932011+4294967296 ~x932010+2147483648 ~x932009+1073741824 ~x932008+536870912 ~x932007+268435456 ~x932006+134217728 ~x932005+67108864 ~x932004+33554432 ~x932003+16777216 ~x932002+8388608 ~x932001+4194304 ~x932000+2097152 ~x931999+1048576 ~x931998+524288 ~x931997+262144 ~x931996+131072 ~x931995+65536 ~x931994+32768 ~x931993+16384 ~x931992+8192 ~x931991+4096 ~x931990+2048 ~x931989+1024 ~x931988+512 ~x931987+256 ~x931986+128 ~x931985+64 ~x931984+32 ~x931983+16 ~x931982+8 ~x931981+4 ~x931980+2 ~x931979+1 ~x931978+16384000000 ~x4246+8192000000 ~x4245+4096000000 ~x4244+2048000000 ~x4243+1024000000 ~x4242+512000000 ~x4241+256000000 ~x4240+128000000 ~x4239+64000000 ~x4238+32000000 ~x4237+16000000 ~x4236+8000000 ~x4235+4000000 ~x4234+2000000 ~x4233+1000000 ~x4232+500000 ~x4231+250000 ~x4230+125000 ~x4229+62500 ~x4228+31250 ~x4227+15625 ~x4226-0=52713015718
34.78/34.84	c 2147483648 ~x952024+1073741824 ~x952023+536870912 ~x952022+268435456 ~x952021+134217728 ~x952020+67108864 ~x952019+33554432 ~x952018+16777216 ~x952017+8388608 ~x952016+4194304 ~x952015+2097152 ~x952014+1048576 ~x952013+524288 ~x952012+262144 ~x952011+131072 ~x952010+65536 ~x952009+32768 ~x952008+16384 ~x952007+8192 ~x952006+4096 ~x952005+2048 ~x952004+1024 ~x952003+512 ~x952002+256 ~x952001+128 ~x952000+64 ~x951999+32 ~x951998+16 ~x951997+8 ~x951996+4 ~x951995+2 ~x951994+1 ~x951993+3276800000 ~x4894+1638400000 ~x4893+819200000 ~x4892+409600000 ~x4891+204800000 ~x4890+102400000 ~x4889+51200000 ~x4888+25600000 ~x4887+12800000 ~x4886+6400000 ~x4885+3200000 ~x4884+1600000 ~x4883+800000 ~x4882+400000 ~x4881+200000 ~x4880+100000 ~x4879+50000 ~x4878+25000 ~x4877+12500 ~x4876+6250 ~x4875+3125 ~x4874-0=7875154794
35.18/35.23	c 4294967296 ~x968139+2147483648 ~x968138+1073741824 ~x968137+536870912 ~x968136+268435456 ~x968135+134217728 ~x968134+67108864 ~x968133+33554432 ~x968132+16777216 ~x968131+8388608 ~x968130+4194304 ~x968129+2097152 ~x968128+1048576 ~x968127+524288 ~x968126+262144 ~x968125+131072 ~x968124+65536 ~x968123+32768 ~x968122+16384 ~x968121+8192 ~x968120+4096 ~x968119+2048 ~x968118+1024 ~x968117+512 ~x968116+256 ~x968115+128 ~x968114+64 ~x968113+32 ~x968112+16 ~x968111+8 ~x968110+4 ~x968109+2 ~x968108+1 ~x968107+4096000000 ~x5030+2048000000 ~x5029+1024000000 ~x5028+512000000 ~x5027+256000000 ~x5026+128000000 ~x5025+64000000 ~x5024+32000000 ~x5023+16000000 ~x5022+8000000 ~x5021+4000000 ~x5020+2000000 ~x5019+1000000 ~x5018+500000 ~x5017+250000 ~x5016+125000 ~x5015+62500 ~x5014+31250 ~x5013+15625 ~x5012-0=15544340838
35.57/35.61	c 8589934592 ~x984138+4294967296 ~x984137+2147483648 ~x984136+1073741824 ~x984135+536870912 ~x984134+268435456 ~x984133+134217728 ~x984132+67108864 ~x984131+33554432 ~x984130+16777216 ~x984129+8388608 ~x984128+4194304 ~x984127+2097152 ~x984126+1048576 ~x984125+524288 ~x984124+262144 ~x984123+131072 ~x984122+65536 ~x984121+32768 ~x984120+16384 ~x984119+8192 ~x984118+4096 ~x984117+2048 ~x984116+1024 ~x984115+512 ~x984114+256 ~x984113+128 ~x984112+64 ~x984111+32 ~x984110+16 ~x984109+8 ~x984108+4 ~x984107+2 ~x984106+1 ~x984105+8192000000 ~x4622+4096000000 ~x4621+2048000000 ~x4620+1024000000 ~x4619+512000000 ~x4618+256000000 ~x4617+128000000 ~x4616+64000000 ~x4615+32000000 ~x4614+16000000 ~x4613+8000000 ~x4612+4000000 ~x4611+2000000 ~x4610+1000000 ~x4609+500000 ~x4608+250000 ~x4607+125000 ~x4606+62500 ~x4605+31250 ~x4604+15625 ~x4603-0=29807978550
35.97/36.06	c 33554432 ~x1003340+16777216 ~x1003339+8388608 ~x1003338+4194304 ~x1003337+2097152 ~x1003336+1048576 ~x1003335+524288 ~x1003334+262144 ~x1003333+131072 ~x1003332+65536 ~x1003331+32768 ~x1003330+16384 ~x1003329+8192 ~x1003328+4096 ~x1003327+2048 ~x1003326+1024 ~x1003325+512 ~x1003324+256 ~x1003323+128 ~x1003322+64 ~x1003321+32 ~x1003320+16 ~x1003319+8 ~x1003318+4 ~x1003317+2 ~x1003316+1 ~x1003315+40960000 ~x5289+20480000 ~x5288+10240000 ~x5287+5120000 ~x5286+2560000 ~x5285+1280000 ~x5284+640000 ~x5283+320000 ~x5282+160000 ~x5281+80000 ~x5280+40000 ~x5279+20000 ~x5278+10000 ~x5277+5000 ~x5276+2500 ~x5275+1250 ~x5274+625 ~x5273-0=114055582
36.28/36.32	c 4294967296 ~x1013611+2147483648 ~x1013610+1073741824 ~x1013609+536870912 ~x1013608+268435456 ~x1013607+134217728 ~x1013606+67108864 ~x1013605+33554432 ~x1013604+16777216 ~x1013603+8388608 ~x1013602+4194304 ~x1013601+2097152 ~x1013600+1048576 ~x1013599+524288 ~x1013598+262144 ~x1013597+131072 ~x1013596+65536 ~x1013595+32768 ~x1013594+16384 ~x1013593+8192 ~x1013592+4096 ~x1013591+2048 ~x1013590+1024 ~x1013589+512 ~x1013588+256 ~x1013587+128 ~x1013586+64 ~x1013585+32 ~x1013584+16 ~x1013583+8 ~x1013582+4 ~x1013581+2 ~x1013580+1 ~x1013579+4096000000 ~x4447+2048000000 ~x4446+1024000000 ~x4445+512000000 ~x4444+256000000 ~x4443+128000000 ~x4442+64000000 ~x4441+32000000 ~x4440+16000000 ~x4439+8000000 ~x4438+4000000 ~x4437+2000000 ~x4436+1000000 ~x4435+500000 ~x4434+250000 ~x4433+125000 ~x4432+62500 ~x4431+31250 ~x4430+15625 ~x4429-0=14982926774
36.67/36.71	c 536870912 ~x1029606+268435456 ~x1029605+134217728 ~x1029604+67108864 ~x1029603+33554432 ~x1029602+16777216 ~x1029601+8388608 ~x1029600+4194304 ~x1029599+2097152 ~x1029598+1048576 ~x1029597+524288 ~x1029596+262144 ~x1029595+131072 ~x1029594+65536 ~x1029593+32768 ~x1029592+16384 ~x1029591+8192 ~x1029590+4096 ~x1029589+2048 ~x1029588+1024 ~x1029587+512 ~x1029586+256 ~x1029585+128 ~x1029584+64 ~x1029583+32 ~x1029582+16 ~x1029581+8 ~x1029580+4 ~x1029579+2 ~x1029578+1 ~x1029577+512000000 ~x4168+256000000 ~x4167+128000000 ~x4166+64000000 ~x4165+32000000 ~x4164+16000000 ~x4163+8000000 ~x4162+4000000 ~x4161+2000000 ~x4160+1000000 ~x4159+500000 ~x4158+250000 ~x4157+125000 ~x4156+62500 ~x4155+31250 ~x4154+15625 ~x4153-0=1625519654
36.97/37.03	c 34359738368 ~x1042956+17179869184 ~x1042955+8589934592 ~x1042954+4294967296 ~x1042953+2147483648 ~x1042952+1073741824 ~x1042951+536870912 ~x1042950+268435456 ~x1042949+134217728 ~x1042948+67108864 ~x1042947+33554432 ~x1042946+16777216 ~x1042945+8388608 ~x1042944+4194304 ~x1042943+2097152 ~x1042942+1048576 ~x1042941+524288 ~x1042940+262144 ~x1042939+131072 ~x1042938+65536 ~x1042937+32768 ~x1042936+16384 ~x1042935+8192 ~x1042934+4096 ~x1042933+2048 ~x1042932+1024 ~x1042931+512 ~x1042930+256 ~x1042929+128 ~x1042928+64 ~x1042927+32 ~x1042926+16 ~x1042925+8 ~x1042924+4 ~x1042923+2 ~x1042922+1 ~x1042921+32768000000 ~x4716+16384000000 ~x4715+8192000000 ~x4714+4096000000 ~x4713+2048000000 ~x4712+1024000000 ~x4711+512000000 ~x4710+256000000 ~x4709+128000000 ~x4708+64000000 ~x4707+32000000 ~x4706+16000000 ~x4705+8000000 ~x4704+4000000 ~x4703+2000000 ~x4702+1000000 ~x4701+500000 ~x4700+250000 ~x4699+125000 ~x4698+62500 ~x4697+31250 ~x4696+15625 ~x4695-0=121675586102
37.48/37.54	c 17179869184 ~x1064275+8589934592 ~x1064274+4294967296 ~x1064273+2147483648 ~x1064272+1073741824 ~x1064271+536870912 ~x1064270+268435456 ~x1064269+134217728 ~x1064268+67108864 ~x1064267+33554432 ~x1064266+16777216 ~x1064265+8388608 ~x1064264+4194304 ~x1064263+2097152 ~x1064262+1048576 ~x1064261+524288 ~x1064260+262144 ~x1064259+131072 ~x1064258+65536 ~x1064257+32768 ~x1064256+16384 ~x1064255+8192 ~x1064254+4096 ~x1064253+2048 ~x1064252+1024 ~x1064251+512 ~x1064250+256 ~x1064249+128 ~x1064248+64 ~x1064247+32 ~x1064246+16 ~x1064245+8 ~x1064244+4 ~x1064243+2 ~x1064242+1 ~x1064241+16384000000 ~x5206+8192000000 ~x5205+4096000000 ~x5204+2048000000 ~x5203+1024000000 ~x5202+512000000 ~x5201+256000000 ~x5200+128000000 ~x5199+64000000 ~x5198+32000000 ~x5197+16000000 ~x5196+8000000 ~x5195+4000000 ~x5194+2000000 ~x5193+1000000 ~x5192+500000 ~x5191+250000 ~x5190+125000 ~x5189+62500 ~x5188+31250 ~x5187+15625 ~x5186-0=52469445398
37.97/38.01	c 33554432 ~x1084281+16777216 ~x1084280+8388608 ~x1084279+4194304 ~x1084278+2097152 ~x1084277+1048576 ~x1084276+524288 ~x1084275+262144 ~x1084274+131072 ~x1084273+65536 ~x1084272+32768 ~x1084271+16384 ~x1084270+8192 ~x1084269+4096 ~x1084268+2048 ~x1084267+1024 ~x1084266+512 ~x1084265+256 ~x1084264+128 ~x1084263+64 ~x1084262+32 ~x1084261+16 ~x1084260+8 ~x1084259+4 ~x1084258+2 ~x1084257+1 ~x1084256+51200000 ~x4322+25600000 ~x4321+12800000 ~x4320+6400000 ~x4319+3200000 ~x4318+1600000 ~x4317+800000 ~x4316+400000 ~x4315+200000 ~x4314+100000 ~x4313+50000 ~x4312+25000 ~x4311+12500 ~x4310+6250 ~x4309+3125 ~x4308-0=132723754
38.17/38.25	c 2097152 ~x1094001+1048576 ~x1094000+524288 ~x1093999+262144 ~x1093998+131072 ~x1093997+65536 ~x1093996+32768 ~x1093995+16384 ~x1093994+8192 ~x1093993+4096 ~x1093992+2048 ~x1093991+1024 ~x1093990+512 ~x1093989+256 ~x1093988+128 ~x1093987+64 ~x1093986+32 ~x1093985+16 ~x1093984+8 ~x1093983+4 ~x1093982+2 ~x1093981+1 ~x1093980+2097152 ~x5116+1048576 ~x5115+524288 ~x5114+262144 ~x5113+131072 ~x5112+65536 ~x5111+32768 ~x5110+16384 ~x5109+8192 ~x5108+4096 ~x5107+2048 ~x5106+1024 ~x5105+512 ~x5104+256 ~x5103+128 ~x5102+64 ~x5101+32 ~x5100+16 ~x5099+8 ~x5098+4 ~x5097+2 ~x5096+1 ~x5095-0=6327518
38.37/38.46	c 67108864 ~x1102648+33554432 ~x1102647+16777216 ~x1102646+8388608 ~x1102645+4194304 ~x1102644+2097152 ~x1102643+1048576 ~x1102642+524288 ~x1102641+262144 ~x1102640+131072 ~x1102639+65536 ~x1102638+32768 ~x1102637+16384 ~x1102636+8192 ~x1102635+4096 ~x1102634+2048 ~x1102633+1024 ~x1102632+512 ~x1102631+256 ~x1102630+128 ~x1102629+64 ~x1102628+32 ~x1102627+16 ~x1102626+8 ~x1102625+4 ~x1102624+2 ~x1102623+1 ~x1102622+102400000 ~x5374+51200000 ~x5373+25600000 ~x5372+12800000 ~x5371+6400000 ~x5370+3200000 ~x5369+1600000 ~x5368+800000 ~x5367+400000 ~x5366+200000 ~x5365+100000 ~x5364+50000 ~x5363+25000 ~x5362+12500 ~x5361+6250 ~x5360+3125 ~x5359-0=250646634
38.67/38.72	c 4294967296 ~x1113296+2147483648 ~x1113295+1073741824 ~x1113294+536870912 ~x1113293+268435456 ~x1113292+134217728 ~x1113291+67108864 ~x1113290+33554432 ~x1113289+16777216 ~x1113288+8388608 ~x1113287+4194304 ~x1113286+2097152 ~x1113285+1048576 ~x1113284+524288 ~x1113283+262144 ~x1113282+131072 ~x1113281+65536 ~x1113280+32768 ~x1113279+16384 ~x1113278+8192 ~x1113277+4096 ~x1113276+2048 ~x1113275+1024 ~x1113274+512 ~x1113273+256 ~x1113272+128 ~x1113271+64 ~x1113270+32 ~x1113269+16 ~x1113268+8 ~x1113267+4 ~x1113266+2 ~x1113265+1 ~x1113264+8192000000 ~x4533+4096000000 ~x4532+2048000000 ~x4531+1024000000 ~x4530+512000000 ~x4529+256000000 ~x4528+128000000 ~x4527+64000000 ~x4526+32000000 ~x4525+16000000 ~x4524+8000000 ~x4523+4000000 ~x4522+2000000 ~x4521+1000000 ~x4520+500000 ~x4519+250000 ~x4518+125000 ~x4517+62500 ~x4516+31250 ~x4515+15625 ~x4514-0=16817719750
39.08/39.17	c 1073741824 ~x1132095+536870912 ~x1132094+268435456 ~x1132093+134217728 ~x1132092+67108864 ~x1132091+33554432 ~x1132090+16777216 ~x1132089+8388608 ~x1132088+4194304 ~x1132087+2097152 ~x1132086+1048576 ~x1132085+524288 ~x1132084+262144 ~x1132083+131072 ~x1132082+65536 ~x1132081+32768 ~x1132080+16384 ~x1132079+8192 ~x1132078+4096 ~x1132077+2048 ~x1132076+1024 ~x1132075+512 ~x1132074+256 ~x1132073+128 ~x1132072+64 ~x1132071+32 ~x1132070+16 ~x1132069+8 ~x1132068+4 ~x1132067+2 ~x1132066+1 ~x1132065+1024000000 ~x3978+512000000 ~x3977+256000000 ~x3976+128000000 ~x3975+64000000 ~x3974+32000000 ~x3973+16000000 ~x3972+8000000 ~x3971+4000000 ~x3970+2000000 ~x3969+1000000 ~x3968+500000 ~x3967+250000 ~x3966+125000 ~x3965+62500 ~x3964+31250 ~x3963+15625 ~x3962-0=4155737798
39.47/39.51	c 1048576 ~x1146506+524288 ~x1146505+262144 ~x1146504+131072 ~x1146503+65536 ~x1146502+32768 ~x1146501+16384 ~x1146500+8192 ~x1146499+4096 ~x1146498+2048 ~x1146497+1024 ~x1146496+512 ~x1146495+256 ~x1146494+128 ~x1146493+64 ~x1146492+32 ~x1146491+16 ~x1146490+8 ~x1146489+4 ~x1146488+2 ~x1146487+1 ~x1146486+1048576 ~x525+524288 ~x524+262144 ~x523+131072 ~x522+65536 ~x521+32768 ~x520+16384 ~x519+8192 ~x518+4096 ~x517+2048 ~x516+1024 ~x515+512 ~x514+256 ~x513+128 ~x512+64 ~x511+32 ~x510+16 ~x509+8 ~x508+4 ~x507+2 ~x506+1 ~x505-0=3594142
39.68/39.71	c 2147483648 ~x1154708+1073741824 ~x1154707+536870912 ~x1154706+268435456 ~x1154705+134217728 ~x1154704+67108864 ~x1154703+33554432 ~x1154702+16777216 ~x1154701+8388608 ~x1154700+4194304 ~x1154699+2097152 ~x1154698+1048576 ~x1154697+524288 ~x1154696+262144 ~x1154695+131072 ~x1154694+65536 ~x1154693+32768 ~x1154692+16384 ~x1154691+8192 ~x1154690+4096 ~x1154689+2048 ~x1154688+1024 ~x1154687+512 ~x1154686+256 ~x1154685+128 ~x1154684+64 ~x1154683+32 ~x1154682+16 ~x1154681+8 ~x1154680+4 ~x1154679+2 ~x1154678+1 ~x1154677+2048000000 ~x1560+1024000000 ~x1559+512000000 ~x1558+256000000 ~x1557+128000000 ~x1556+64000000 ~x1555+32000000 ~x1554+16000000 ~x1553+8000000 ~x1552+4000000 ~x1551+2000000 ~x1550+1000000 ~x1549+500000 ~x1548+250000 ~x1547+125000 ~x1546+62500 ~x1545+31250 ~x1544+15625 ~x1543-0=8120561046
39.97/40.07	c 34359738368 ~x1169818+17179869184 ~x1169817+8589934592 ~x1169816+4294967296 ~x1169815+2147483648 ~x1169814+1073741824 ~x1169813+536870912 ~x1169812+268435456 ~x1169811+134217728 ~x1169810+67108864 ~x1169809+33554432 ~x1169808+16777216 ~x1169807+8388608 ~x1169806+4194304 ~x1169805+2097152 ~x1169804+1048576 ~x1169803+524288 ~x1169802+262144 ~x1169801+131072 ~x1169800+65536 ~x1169799+32768 ~x1169798+16384 ~x1169797+8192 ~x1169796+4096 ~x1169795+2048 ~x1169794+1024 ~x1169793+512 ~x1169792+256 ~x1169791+128 ~x1169790+64 ~x1169789+32 ~x1169788+16 ~x1169787+8 ~x1169786+4 ~x1169785+2 ~x1169784+1 ~x1169783+32768000000 ~x619+16384000000 ~x618+8192000000 ~x617+4096000000 ~x616+2048000000 ~x615+1024000000 ~x614+512000000 ~x613+256000000 ~x612+128000000 ~x611+64000000 ~x610+32000000 ~x609+16000000 ~x608+8000000 ~x607+4000000 ~x606+2000000 ~x605+1000000 ~x604+500000 ~x603+250000 ~x602+125000 ~x601+62500 ~x600+31250 ~x599+15625 ~x598-0=106378398614
40.47/40.58	c 34359738368 ~x1191138+17179869184 ~x1191137+8589934592 ~x1191136+4294967296 ~x1191135+2147483648 ~x1191134+1073741824 ~x1191133+536870912 ~x1191132+268435456 ~x1191131+134217728 ~x1191130+67108864 ~x1191129+33554432 ~x1191128+16777216 ~x1191127+8388608 ~x1191126+4194304 ~x1191125+2097152 ~x1191124+1048576 ~x1191123+524288 ~x1191122+262144 ~x1191121+131072 ~x1191120+65536 ~x1191119+32768 ~x1191118+16384 ~x1191117+8192 ~x1191116+4096 ~x1191115+2048 ~x1191114+1024 ~x1191113+512 ~x1191112+256 ~x1191111+128 ~x1191110+64 ~x1191109+32 ~x1191108+16 ~x1191107+8 ~x1191106+4 ~x1191105+2 ~x1191104+1 ~x1191103+32768000000 ~x994+16384000000 ~x993+8192000000 ~x992+4096000000 ~x991+2048000000 ~x990+1024000000 ~x989+512000000 ~x988+256000000 ~x987+128000000 ~x986+64000000 ~x985+32000000 ~x984+16000000 ~x983+8000000 ~x982+4000000 ~x981+2000000 ~x980+1000000 ~x979+50000

ERROR: no interpretation found !

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2674737-1276799878/watcher-2674737-1276799878 -o /tmp/evaluation-result-2674737-1276799878/solver-2674737-1276799878 -C 1800 -W 2000 -M 1800 run HOME/instance-2674737-1276799878.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.99 0.97 0.98 3/106 18691
/proc/meminfo: memFree=1871972/2059040 swapFree=4140132/4192956
[pid=18691] ppid=18689 vsize=8700 CPUtime=0
/proc/18691/stat : 18691 (run) S 18689 18691 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55591259 8908800 251 1992294400 4194304 4922060 140736140873872 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18691/statm: 2175 251 211 178 0 68 0

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

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

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

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

[startup+1.50049 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 18694
/proc/meminfo: memFree=1718444/2059040 swapFree=4140132/4192956
[pid=18691] ppid=18689 vsize=8700 CPUtime=0
/proc/18691/stat : 18691 (run) S 18689 18691 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55591259 8908800 251 1992294400 4194304 4922060 140736140873872 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18691/statm: 2175 251 211 178 0 68 0
[pid=18693] ppid=18691 vsize=209220 CPUtime=1.48
/proc/18693/stat : 18693 (PBPASSolver) R 18691 18691 18449 0 -1 4202496 51791 0 0 0 56 92 0 0 25 0 1 0 55591260 214241280 51728 1992294400 134512640 134902295 4294455024 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18693/statm: 52305 51728 256 96 0 51517 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 217920

[startup+3.10079 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 18694
/proc/meminfo: memFree=1584524/2059040 swapFree=4140132/4192956
[pid=18691] ppid=18689 vsize=8700 CPUtime=0
/proc/18691/stat : 18691 (run) S 18689 18691 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55591259 8908800 251 1992294400 4194304 4922060 140736140873872 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18691/statm: 2175 251 211 178 0 68 0
[pid=18693] ppid=18691 vsize=399364 CPUtime=3.08
/proc/18693/stat : 18693 (PBPASSolver) R 18691 18691 18449 0 -1 4202496 99352 0 0 0 128 180 0 0 25 0 1 0 55591260 408948736 99249 1992294400 134512640 134902295 4294455024 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18693/statm: 99841 99249 256 96 0 99053 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 408064

[startup+6.30038 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 18694
/proc/meminfo: memFree=1214632/2059040 swapFree=4140132/4192956
[pid=18691] ppid=18689 vsize=8700 CPUtime=0
/proc/18691/stat : 18691 (run) S 18689 18691 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55591259 8908800 251 1992294400 4194304 4922060 140736140873872 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18691/statm: 2175 251 211 178 0 68 0
[pid=18693] ppid=18691 vsize=748356 CPUtime=6.28
/proc/18693/stat : 18693 (PBPASSolver) R 18691 18691 18449 0 -1 4202496 186679 0 0 0 284 344 0 0 25 0 1 0 55591260 766316544 186440 1992294400 134512640 134902295 4294455024 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18693/statm: 187089 186440 256 96 0 186301 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 757056

[startup+12.7006 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 18696
/proc/meminfo: memFree=579628/2059040 swapFree=4140132/4192956
[pid=18691] ppid=18689 vsize=8700 CPUtime=0
/proc/18691/stat : 18691 (run) S 18689 18691 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55591259 8908800 251 1992294400 4194304 4922060 140736140873872 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18691/statm: 2175 251 211 178 0 68 0
[pid=18693] ppid=18691 vsize=1335720 CPUtime=12.68
/proc/18693/stat : 18693 (PBPASSolver) R 18691 18691 18449 0 -1 4202496 333714 0 0 0 658 610 0 0 25 0 1 0 55591260 1367777280 333187 1992294400 134512640 134902295 4294455024 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18693/statm: 333930 333187 262 96 0 333142 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1344420

[startup+25.5019 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 18696
/proc/meminfo: memFree=316996/2059040 swapFree=4140132/4192956
[pid=18691] ppid=18689 vsize=8700 CPUtime=0
/proc/18691/stat : 18691 (run) S 18689 18691 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55591259 8908800 251 1992294400 4194304 4922060 140736140873872 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18691/statm: 2175 251 211 178 0 68 0
[pid=18693] ppid=18691 vsize=1571032 CPUtime=25.48
/proc/18693/stat : 18693 (PBPASSolver) R 18691 18691 18449 0 -1 4202496 392978 0 0 0 1913 635 0 0 25 0 1 0 55591260 1608736768 388862 1992294400 134512640 134902295 4294455024 18446744073709551615 134813447 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18693/statm: 392758 388862 262 96 0 391970 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1579732



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+40.7017 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 18696
/proc/meminfo: memFree=61308/2059040 swapFree=4140132/4192956
[pid=18691] ppid=18689 vsize=8700 CPUtime=0
/proc/18691/stat : 18691 (run) S 18689 18691 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55591259 8908800 251 1992294400 4194304 4922060 140736140873872 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18691/statm: 2175 251 211 178 0 68 0
[pid=18693] ppid=18691 vsize=1834836 CPUtime=40.68
/proc/18693/stat : 18693 (PBPASSolver) R 18691 18691 18449 0 -1 4202496 462524 0 0 0 3402 666 0 0 25 0 1 0 55591260 1878872064 451850 1992294400 134512640 134902295 4294455024 18446744073709551615 134566852 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18693/statm: 458709 451850 262 96 0 457921 0
Current children cumulated CPU time (s) 40.68
Current children cumulated vsize (KiB) 1843536

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 18691 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.003998
# while last known CPU time is 40.68
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 40.723
CPU time (s): 40.68
CPU user time (s): 34.02
CPU system time (s): 6.66
CPU usage (%): 99.8944
Max. virtual memory (cumulated for all children) (KiB): 1843536

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

runsolver used 0.071989 second user time and 0.210967 second system time

The end

Begin job on node007 at 2010-06-17 20:37:58
IDJOB=2674737
IDBENCH=2424
IDSOLVER=1174
FILE ID=node007/2674737-1276799878
PBS_JOBID= 11176671
Free space on /tmp= 62484 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-pilot4.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674737-1276799878/watcher-2674737-1276799878 -o /tmp/evaluation-result-2674737-1276799878/solver-2674737-1276799878 -C 1800 -W 2000 -M 1800  run HOME/instance-2674737-1276799878.opb

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

MD5SUM BENCH= 3562a44ca41f194f065cdd316b346d0e
RANDOM SEED=501488101

node007.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1872368 kB
Buffers:         30984 kB
Cached:          60208 kB
SwapCached:       6616 kB
Active:          10692 kB
Inactive:        94212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1872368 kB
SwapTotal:     4192956 kB
SwapFree:      4140132 kB
Dirty:            3116 kB
Writeback:           0 kB
AnonPages:       12132 kB
Mapped:          13072 kB
Slab:            59996 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180884 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62484 MiB
End job on node007 at 2010-06-17 20:38:41