Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (MO) | 73.96 | 74.213 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-UMTS.opb |
MD5SUM | c716bc6c519760d619aa6878c926054c |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 32998130 |
Best CPU time to get the best result obtained on this benchmark | 1800.53 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 31249460 |
Optimality of the best value was proved | NO |
Number of variables | 6402 |
Total number of constraints | 4465 |
Number of constraints which are clauses | 2785 |
Number of constraints which are cardinality constraints (but not clauses) | 1428 |
Number of constraints which are nor clauses,nor cardinality constraints | 252 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 511 |
Number of terms in the objective function | 4170 |
Biggest coefficient in the objective function | 23582998528 |
Number of bits for the biggest coefficient in the objective function | 35 |
Sum of the numbers in the objective function | 2904924551250 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 1024000000000 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 2904924551250 |
Number of bits of the biggest sum of numbers | 42 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
4.89/4.96 c 6402 4465 0 0 0 0 0 0 4.89/4.96 c 2048 ~x28216+1024 ~x28215+512 ~x28214+256 ~x28213+128 ~x28212+64 ~x28211+32 ~x28210+16 ~x28209+8 ~x28208+4 ~x28207+2 ~x28206+1 ~x28205+49 ~x6395+25 ~x6381+44 ~x6368+26 ~x6355+34 ~x6342+26 ~x6329+31 ~x6315+14 ~x6305+48 ~x6302+27 ~x6288+46 ~x6275+49 ~x6262+29 ~x6248+27 ~x6235+43 ~x6222+34 ~x6209+43 ~x6196+48 ~x6181+24 ~x6171+45 ~x6168+47 ~x6155+30 ~x6142+34 ~x6129+26 ~x6115+25 ~x6102+24 ~x6089+23 ~x6076+13 ~x6062+26 ~x6048+19 ~x6038+23 ~x6035+15 ~x6022+17 ~x6009+22 ~x5996+19 ~x5982+16 ~x5969+20 ~x5955+17 ~x5942+16 ~x5929+25 ~x5915+16 ~x5905+14 ~x5902+17 ~x5889+24 ~x5876+23 ~x5863+21 ~x5848+22 ~x5835+22 ~x5822+21 ~x5809+21 ~x5796+17 ~x5782+24 ~x5772+16 ~x5769+13 ~x5756+19 ~x5743+17 ~x5729+17 ~x5715+13 ~x5702+22 ~x5689+16 ~x5676+24 ~x5663+23 ~x5649+25 ~x5639+23 ~x5636+17 ~x5622+17 ~x3533+19 ~x1903+26 ~x1769+13 ~x1636+21 ~x1503+22 ~x1370+24 ~x1237+13 ~x1102+19 ~x969+36 ~x913+30 ~x886+24 ~x873+25 ~x836+34 ~x833+22 ~x820+27 ~x807+24 ~x779+34 ~x766+27 ~x713+18 ~x703+34 ~x700+30 ~x687+31 ~x674+28 ~x660+24 ~x620+22 ~x594+33 ~x580+16 ~x570+23 ~x567+35 ~x553+27 ~x527+25 ~x500+30 ~x487+23 ~x436+30 ~x433+27 ~x420+24 ~x407+24 ~x380+25 ~x367+36 ~x354+28 ~x341+600 x336+27 ~x313+23 ~x303+49 ~x300+29 ~x287+36 ~x274+41 ~x261+38 ~x247+46 ~x234+47 ~x220+44 ~x207+33 ~x194+27 ~x180+22 ~x170+44 ~x167+42 ~x154+26 ~x141+35 ~x128+34 ~x113+25 ~x100+28 ~x87+30 ~x74+35 ~x61+39 ~x47+25 ~x37+36 ~x34+47 ~x21+47 ~x8+350 x2-0=7756 5.28/5.38 c 2048 ~x44754+1024 ~x44753+512 ~x44752+256 ~x44751+128 ~x44750+64 ~x44749+32 ~x44748+16 ~x44747+8 ~x44746+4 ~x44745+2 ~x44744+1 ~x44743+49 ~x6396+25 ~x6383+44 ~x6369+26 ~x6356+34 ~x6343+26 ~x6330+31 ~x6317+14 ~x6316+48 ~x6303+27 ~x6289+46 ~x6276+49 ~x6263+29 ~x6250+27 ~x6236+43 ~x6223+34 ~x6210+43 ~x6197+48 ~x6184+24 ~x6183+45 ~x6169+47 ~x6156+30 ~x6143+34 ~x6130+26 ~x6117+25 ~x6103+24 ~x6090+23 ~x6077+13 ~x6063+26 ~x6050+19 ~x6049+23 ~x6036+15 ~x6023+17 ~x6010+22 ~x5997+19 ~x5984+16 ~x5970+20 ~x5956+17 ~x5943+16 ~x5930+25 ~x5917+16 ~x5916+14 ~x5903+17 ~x5890+24 ~x5877+23 ~x5864+21 ~x5851+22 ~x5836+22 ~x5823+21 ~x5810+21 ~x5797+17 ~x5784+24 ~x5783+16 ~x5770+13 ~x5757+19 ~x5744+17 ~x5730+17 ~x5717+13 ~x5703+22 ~x5690+16 ~x5677+24 ~x5664+23 ~x5651+25 ~x5650+23 ~x5637+17 ~x5623+17 ~x3775+19 ~x1914+26 ~x1781+13 ~x1647+21 ~x1514+22 ~x1381+24 ~x1248+13 ~x1115+350 x1113+19 ~x980+36 ~x915+30 ~x887+24 ~x874+25 ~x847+34 ~x834+22 ~x821+27 ~x808+34 ~x767+27 ~x715+18 ~x714+30 ~x688+31 ~x675+28 ~x661+31 ~x648+24 ~x621+22 ~x595+33 ~x582+16 ~x581+23 ~x568+35 ~x554+27 ~x528+25 ~x501+30 ~x488+23 ~x448+600 x447+27 ~x421+24 ~x408+24 ~x382+25 ~x368+36 ~x355+28 ~x342+29 ~x328+27 ~x315+23 ~x314+49 ~x301+29 ~x288+36 ~x275+41 ~x262+38 ~x249+46 ~x235+47 ~x221+44 ~x208+33 ~x195+27 ~x182+22 ~x181+44 ~x168+42 ~x155+26 ~x142+35 ~x129+34 ~x116+25 ~x101+28 ~x88+30 ~x75+35 ~x62+39 ~x49+25 ~x48+36 ~x35+47 ~x22+47 ~x9-0=7728 5.78/5.81 c 2048 ~x61172+1024 ~x61171+512 ~x61170+256 ~x61169+128 ~x61168+64 ~x61167+32 ~x61166+16 ~x61165+8 ~x61164+4 ~x61163+2 ~x61162+1 ~x61161+49 ~x6397+25 ~x6384+44 ~x6370+26 ~x6357+26 ~x6331+14 ~x6327+31 ~x6318+48 ~x6304+46 ~x6277+49 ~x6264+29 ~x6251+27 ~x6237+34 ~x6211+43 ~x6198+24 ~x6194+48 ~x6185+47 ~x6157+30 ~x6144+34 ~x6131+26 ~x6118+25 ~x6104+24 ~x6091+23 ~x6078+13 ~x6064+19 ~x6060+26 ~x6051+23 ~x6037+15 ~x6024+17 ~x6011+22 ~x5998+19 ~x5985+16 ~x5971+20 ~x5957+17 ~x5944+16 ~x5931+16 ~x5927+25 ~x5918+14 ~x5904+17 ~x5891+24 ~x5878+23 ~x5865+21 ~x5852+22 ~x5837+22 ~x5824+21 ~x5811+21 ~x5798+24 ~x5794+17 ~x5785+16 ~x5771+13 ~x5758+19 ~x5745+17 ~x5731+17 ~x5718+13 ~x5704+22 ~x5691+16 ~x5678+24 ~x5665+25 ~x5661+23 ~x5652+23 ~x5638+350 x5627+17 ~x5624+17 ~x3881+19 ~x1925+26 ~x1792+13 ~x1658+21 ~x1525+22 ~x1392+24 ~x1259+13 ~x1126+19 ~x991+36 ~x916+25 ~x858+27 ~x849+27 ~x809+37 ~x755+18 ~x725+33 ~x635+38 ~x609+16 ~x592+600 x558+35 ~x555+27 ~x529+23 ~x459+20 ~x450+30 ~x435+32 ~x396+25 ~x369+36 ~x356+29 ~x329+23 ~x325+27 ~x316+49 ~x302+29 ~x289+36 ~x276+38 ~x250+46 ~x236+47 ~x222+44 ~x209+33 ~x196+22 ~x192+27 ~x183+44 ~x169+26 ~x143+35 ~x130+34 ~x117+25 ~x102+28 ~x89+30 ~x76+25 ~x59+36 ~x36+47 ~x23+47 ~x10-0=7088 6.08/6.14 c 2048 ~x75127+1024 ~x75126+512 ~x75125+256 ~x75124+128 ~x75123+64 ~x75122+32 ~x75121+16 ~x75120+8 ~x75119+4 ~x75118+2 ~x75117+1 ~x75116+49 ~x6398+25 ~x6385+44 ~x6372+26 ~x6358+34 ~x6345+14 ~x6338+26 ~x6332+31 ~x6319+48 ~x6306+27 ~x6291+46 ~x6278+49 ~x6265+29 ~x6252+27 ~x6239+43 ~x6225+34 ~x6212+24 ~x6205+43 ~x6199+48 ~x6186+45 ~x6172+47 ~x6158+30 ~x6145+34 ~x6132+26 ~x6119+25 ~x6106+24 ~x6092+23 ~x6079+19 ~x6072+13 ~x6065+26 ~x6052+23 ~x6039+15 ~x6025+17 ~x6012+22 ~x5999+19 ~x5986+16 ~x5973+20 ~x5958+17 ~x5945+16 ~x5938+16 ~x5932+25 ~x5919+14 ~x5906+17 ~x5892+24 ~x5879+23 ~x5866+21 ~x5853+22 ~x5839+22 ~x5825+21 ~x5812+24 ~x5805+21 ~x5799+17 ~x5786+16 ~x5773+13 ~x5759+19 ~x5746+350 x5738+17 ~x5732+17 ~x5719+13 ~x5706+22 ~x5692+16 ~x5679+25 ~x5672+24 ~x5666+23 ~x5653+23 ~x5640+17 ~x5625+17 ~x4085+19 ~x1993+26 ~x1803+13 ~x1670+21 ~x1536+22 ~x1403+24 ~x1270+13 ~x1137+19 ~x1003+36 ~x917+30 ~x889+24 ~x876+25 ~x869+34 ~x837+22 ~x823+27 ~x810+34 ~x770+37 ~x756+18 ~x736+27 ~x717+31 ~x677+600 x669+28 ~x663+31 ~x650+24 ~x623+16 ~x603+22 ~x597+33 ~x584+23 ~x571+35 ~x556+27 ~x530+25 ~x504+30 ~x490+23 ~x470+20 ~x451+27 ~x423+24 ~x410+24 ~x384+25 ~x371+36 ~x357+28 ~x344+23 ~x337+29 ~x330+27 ~x317+49 ~x304+29 ~x290+36 ~x277+41 ~x264+38 ~x251+46 ~x238+47 ~x223+44 ~x210+22 ~x203+33 ~x197+27 ~x184+44 ~x171+42 ~x157+26 ~x144+35 ~x131+34 ~x118+25 ~x104+28 ~x90+30 ~x77+25 ~x70+35 ~x64+39 ~x51+36 ~x38+47 ~x24+47 ~x11-0=7755 6.49/6.58 c 2048 ~x91656+1024 ~x91655+512 ~x91654+256 ~x91653+128 ~x91652+64 ~x91651+32 ~x91650+16 ~x91649+8 ~x91648+4 ~x91647+2 ~x91646+1 ~x91645+49 ~x6399+25 ~x6386+44 ~x6373+26 ~x6359+14 ~x6349+34 ~x6346+26 ~x6333+31 ~x6320+48 ~x6307+27 ~x6292+46 ~x6279+49 ~x6266+29 ~x6253+27 ~x6240+43 ~x6226+24 ~x6216+34 ~x6213+43 ~x6200+48 ~x6187+45 ~x6173+47 ~x6159+30 ~x6146+34 ~x6133+26 ~x6120+25 ~x6107+24 ~x6093+19 ~x6083+23 ~x6080+13 ~x6066+26 ~x6053+23 ~x6040+15 ~x6026+17 ~x6013+22 ~x6000+19 ~x5987+16 ~x5974+20 ~x5959+16 ~x5949+17 ~x5946+16 ~x5933+25 ~x5920+14 ~x5907+17 ~x5893+24 ~x5880+23 ~x5867+21 ~x5854+350 x5849+22 ~x5840+22 ~x5826+24 ~x5816+21 ~x5813+21 ~x5800+17 ~x5787+16 ~x5774+13 ~x5760+19 ~x5747+17 ~x5733+17 ~x5720+13 ~x5707+22 ~x5693+25 ~x5683+16 ~x5680+24 ~x5667+23 ~x5654+23 ~x5641+17 ~x5626+17 ~x4239+19 ~x2235+26 ~x1814+13 ~x1681+21 ~x1547+22 ~x1414+24 ~x1281+13 ~x1148+19 ~x1014+36 ~x918+30 ~x890+25 ~x880+24 ~x877+34 ~x838+22 ~x824+27 ~x811+24 ~x785+600 x780+34 ~x771+18 ~x747+27 ~x718+34 ~x705+30 ~x691+31 ~x678+28 ~x664+24 ~x624+16 ~x614+22 ~x598+33 ~x585+23 ~x572+35 ~x557+27 ~x531+25 ~x505+30 ~x491+23 ~x481+30 ~x438+27 ~x424+24 ~x411+24 ~x385+25 ~x372+36 ~x358+23 ~x348+28 ~x345+27 ~x318+49 ~x305+29 ~x291+36 ~x278+41 ~x265+38 ~x252+46 ~x239+47 ~x224+22 ~x214+44 ~x211+33 ~x198+27 ~x185+44 ~x172+42 ~x158+26 ~x145+35 ~x132+34 ~x119+25 ~x105+28 ~x91+25 ~x81+30 ~x78+35 ~x65+39 ~x52+36 ~x39+47 ~x25+47 ~x12-0=7756 6.99/7.00 c 2048 ~x108179+1024 ~x108178+512 ~x108177+256 ~x108176+128 ~x108175+64 ~x108174+32 ~x108173+16 ~x108172+8 ~x108171+4 ~x108170+2 ~x108169+1 ~x108168+49 ~x6400+25 ~x6387+44 ~x6374+26 ~x6361+14 ~x6360+26 ~x6334+31 ~x6321+48 ~x6308+46 ~x6280+49 ~x6267+29 ~x6254+27 ~x6241+24 ~x6227+34 ~x6214+43 ~x6201+48 ~x6188+47 ~x6161+30 ~x6147+34 ~x6134+26 ~x6121+25 ~x6108+24 ~x6095+19 ~x6094+23 ~x6081+13 ~x6067+26 ~x6054+23 ~x6041+15 ~x6028+17 ~x6014+22 ~x6001+19 ~x5988+16 ~x5975+20 ~x5962+16 ~x5961+350 x5960+17 ~x5947+16 ~x5934+25 ~x5921+14 ~x5908+17 ~x5895+24 ~x5881+23 ~x5868+21 ~x5855+22 ~x5841+22 ~x5828+24 ~x5827+21 ~x5814+21 ~x5801+17 ~x5788+16 ~x5775+13 ~x5762+19 ~x5748+17 ~x5734+17 ~x5721+13 ~x5708+22 ~x5695+25 ~x5694+16 ~x5681+24 ~x5668+23 ~x5655+23 ~x5642+17 ~x5629+17 ~x4395+19 ~x2341+26 ~x1825+13 ~x1692+21 ~x1559+22 ~x1425+24 ~x1292+13 ~x1159+19 ~x1025+36 ~x919+25 ~x892+600 x891+27 ~x852+27 ~x812+37 ~x759+18 ~x758+33 ~x639+16 ~x625+38 ~x612+35 ~x560+27 ~x532+23 ~x492+20 ~x453+30 ~x439+32 ~x399+25 ~x373+36 ~x360+23 ~x359+29 ~x332+27 ~x319+49 ~x306+29 ~x293+36 ~x279+38 ~x253+46 ~x240+47 ~x227+22 ~x226+44 ~x212+33 ~x199+27 ~x186+44 ~x173+26 ~x146+35 ~x133+34 ~x120+25 ~x106+28 ~x93+25 ~x92+30 ~x79+36 ~x40+47 ~x27+47 ~x13-0=7088 7.29/7.33 c 2048 ~x122134+1024 ~x122133+512 ~x122132+256 ~x122131+128 ~x122130+64 ~x122129+32 ~x122128+16 ~x122127+8 ~x122126+4 ~x122125+2 ~x122124+1 ~x122123+25 ~x6388+44 ~x6375+14 ~x6371+26 ~x6362+34 ~x6348+26 ~x6335+48 ~x6309+27 ~x6296+46 ~x6281+29 ~x6255+27 ~x6242+24 ~x6238+43 ~x6229+48 ~x6189+45 ~x6175+47 ~x6162+30 ~x6148+34 ~x6135+26 ~x6122+25 ~x6109+19 ~x6105+24 ~x6096+23 ~x6082+350 x6071+13 ~x6068+26 ~x6055+23 ~x6042+15 ~x6029+17 ~x6015+22 ~x6002+19 ~x5989+16 ~x5976+16 ~x5972+20 ~x5963+17 ~x5948+16 ~x5935+25 ~x5922+14 ~x5909+17 ~x5896+24 ~x5882+23 ~x5869+21 ~x5856+22 ~x5842+24 ~x5838+22 ~x5829+21 ~x5815+21 ~x5802+17 ~x5789+16 ~x5776+13 ~x5763+19 ~x5749+17 ~x5735+17 ~x5722+13 ~x5709+25 ~x5705+22 ~x5696+16 ~x5682+24 ~x5669+23 ~x5656+23 ~x5643+17 ~x5630+17 ~x4607+19 ~x2545+26 ~x1836+13 ~x1703+21 ~x1570+22 ~x1436+24 ~x1303+13 ~x1170+19 ~x1036+600 x1002+36 ~x920+25 ~x903+30 ~x894+24 ~x879+34 ~x840+27 ~x813+21 ~x800+34 ~x773+18 ~x769+37 ~x760+31 ~x653+16 ~x636+24 ~x627+33 ~x587+35 ~x561+27 ~x533+25 ~x507+23 ~x503+30 ~x494+28 ~x480+21 ~x467+20 ~x454+27 ~x427+24 ~x413+25 ~x374+23 ~x370+36 ~x361+28 ~x347+29 ~x333+27 ~x320+49 ~x307+29 ~x294+36 ~x280+41 ~x267+46 ~x241+22 ~x237+44 ~x213+33 ~x200+27 ~x187+44 ~x174+42 ~x161+26 ~x147+35 ~x134+34 ~x121+25 ~x107+25 ~x103+30 ~x80+35 ~x67+39 ~x54+36 ~x41+47 ~x28+47 ~x14-0=7329 7.60/7.68 c 2048 ~x137253+1024 ~x137252+512 ~x137251+256 ~x137250+128 ~x137249+64 ~x137248+32 ~x137247+16 ~x137246+8 ~x137245+4 ~x137244+2 ~x137243+1 ~x137242+25 ~x6389+14 ~x6382+26 ~x6363+34 ~x6350+26 ~x6336+48 ~x6310+27 ~x6297+46 ~x6283+29 ~x6256+24 ~x6249+27 ~x6243+43 ~x6230+48 ~x6190+350 x6182+45 ~x6176+47 ~x6163+34 ~x6136+26 ~x6123+19 ~x6116+25 ~x6110+24 ~x6097+23 ~x6084+13 ~x6069+26 ~x6056+15 ~x6030+17 ~x6017+22 ~x6003+19 ~x5990+16 ~x5983+16 ~x5977+20 ~x5964+17 ~x5950+16 ~x5936+25 ~x5923+14 ~x5910+17 ~x5897+24 ~x5884+23 ~x5870+21 ~x5857+24 ~x5850+22 ~x5843+22 ~x5830+21 ~x5817+21 ~x5803+17 ~x5790+16 ~x5777+13 ~x5764+19 ~x5751+17 ~x5736+17 ~x5723+25 ~x5716+13 ~x5710+22 ~x5697+16 ~x5684+24 ~x5670+23 ~x5657+23 ~x5644+17 ~x5631+17 ~x4725+19 ~x2699+26 ~x1847+13 ~x1714+21 ~x1581+22 ~x1448+24 ~x1314+13 ~x1181+600 x1114+19 ~x1047+25 ~x914+30 ~x895+24 ~x881+34 ~x841+27 ~x815+21 ~x801+18 ~x781+34 ~x774+37 ~x761+31 ~x654+16 ~x647+24 ~x628+33 ~x588+35 ~x562+27 ~x534+23 ~x514+25 ~x508+30 ~x495+28 ~x482+21 ~x468+27 ~x428+24 ~x415+23 ~x381+25 ~x375+36 ~x362+28 ~x349+29 ~x334+27 ~x321+29 ~x295+41 ~x268+22 ~x248+46 ~x242+44 ~x215+33 ~x201+27 ~x188+44 ~x175+42 ~x162+26 ~x149+35 ~x135+25 ~x115+25 ~x108+30 ~x82+35 ~x68+39 ~x55+36 ~x42-0=6963 7.98/8.01 c 2048 ~x151172+1024 ~x151171+512 ~x151170+256 ~x151169+128 ~x151168+64 ~x151167+32 ~x151166+16 ~x151165+8 ~x151164+4 ~x151163+2 ~x151162+1 ~x151161+14 ~x6393+25 ~x6390+44 ~x6377+26 ~x6364+26 ~x6337+48 ~x6311+350 x6293+49 ~x6270+24 ~x6260+29 ~x6257+27 ~x6244+34 ~x6218+43 ~x6204+48 ~x6191+47 ~x6164+30 ~x6151+19 ~x6127+26 ~x6124+25 ~x6111+24 ~x6098+23 ~x6085+13 ~x6070+26 ~x6057+23 ~x6044+15 ~x6031+17 ~x6018+22 ~x6004+16 ~x5994+19 ~x5991+16 ~x5978+20 ~x5965+17 ~x5951+16 ~x5937+25 ~x5924+14 ~x5911+17 ~x5898+24 ~x5885+23 ~x5871+24 ~x5861+21 ~x5858+22 ~x5844+22 ~x5831+21 ~x5818+21 ~x5804+17 ~x5791+16 ~x5778+13 ~x5765+19 ~x5752+17 ~x5737+25 ~x5727+17 ~x5724+13 ~x5711+22 ~x5698+16 ~x5685+24 ~x5671+23 ~x5658+23 ~x5645+17 ~x5632+17 ~x4976+19 ~x2855+13 ~x1725+21 ~x1592+22 ~x1459+24 ~x1325+600 x1225+13 ~x1192+19 ~x1058+25 ~x925+36 ~x922+27 ~x855+27 ~x816+18 ~x792+37 ~x762+16 ~x658+33 ~x642+38 ~x616+35 ~x563+27 ~x535+23 ~x525+20 ~x456+32 ~x402+23 ~x392+25 ~x376+36 ~x363+29 ~x335+27 ~x322+49 ~x309+29 ~x296+36 ~x283+22 ~x259+46 ~x243+47 ~x230+33 ~x202+27 ~x189+44 ~x176+35 ~x136+25 ~x126+34 ~x123+25 ~x109+30 ~x83+47 ~x30+47 ~x17-0=6700 8.29/8.30 c 2048 ~x163834+1024 ~x163833+512 ~x163832+256 ~x163831+128 ~x163830+64 ~x163829+32 ~x163828+16 ~x163827+8 ~x163826+4 ~x163825+2 ~x163824+1 ~x163823+25 ~x6391+44 ~x6378+26 ~x6365+34 ~x6352+31 ~x6325+48 ~x6312+27 ~x6299+46 ~x6285+49 ~x6272+24 ~x6271+27 ~x6245+43 ~x6232+34 ~x6219+43 ~x6206+48 ~x6192+45 ~x6178+47 ~x6165+34 ~x6139+19 ~x6138+26 ~x6125+25 ~x6112+24 ~x6099+23 ~x6086+13 ~x6073+26 ~x6058+23 ~x6045+15 ~x6032+17 ~x6019+22 ~x6006+16 ~x6005+19 ~x5992+16 ~x5979+20 ~x5966+17 ~x5952+16 ~x5939+25 ~x5925+14 ~x5912+17 ~x5899+24 ~x5886+23 ~x5873+24 ~x5872+21 ~x5859+22 ~x5845+22 ~x5832+21 ~x5819+21 ~x5806+17 ~x5792+16 ~x5779+13 ~x5766+19 ~x5753+17 ~x5740+25 ~x5739+17 ~x5725+13 ~x5712+22 ~x5699+16 ~x5686+24 ~x5673+23 ~x5659+23 ~x5646+17 ~x5633+17 ~x5073+19 ~x3068+26 ~x1869+13 ~x1736+21 ~x1603+22 ~x1470+24 ~x1337+600 x1336+13 ~x1203+19 ~x1069+25 ~x936+24 ~x910+30 ~x897+34 ~x843+22 ~x830+18 ~x803+24 ~x790+34 ~x776+34 ~x750+30 ~x737+34 ~x710+30 ~x697+31 ~x684+28 ~x671+16 ~x670+23 ~x577+30 ~x550+23 ~x536+25 ~x523+30 ~x443+27 ~x430+24 ~x417+23 ~x403+24 ~x390+28 ~x351+27 ~x323+49 ~x310+36 ~x284+41 ~x271+22 ~x270+38 ~x257+46 ~x244+47 ~x231+44 ~x217+33 ~x204+44 ~x177+42 ~x164+26 ~x151+35 ~x138+25 ~x137+34 ~x124+28 ~x97+35 ~x71+39 ~x57+36 ~x44+47 ~x31+47 ~x18+49 ~x5+14 ~x4+350 x3-0=7332 8.59/8.65 c 2048 ~x178590+1024 ~x178589+512 ~x178588+256 ~x178587+128 ~x178586+64 ~x178585+32 ~x178584+16 ~x178583+8 ~x178582+4 ~x178581+2 ~x178580+1 ~x178579+25 ~x6392+44 ~x6379+26 ~x6366+34 ~x6353+31 ~x6326+48 ~x6313+27 ~x6300+46 ~x6286+24 ~x6282+49 ~x6273+27 ~x6246+43 ~x6233+34 ~x6220+43 ~x6207+48 ~x6193+45 ~x6179+47 ~x6166+19 ~x6149+34 ~x6140+26 ~x6126+25 ~x6113+24 ~x6100+23 ~x6087+26 ~x6059+23 ~x6046+15 ~x6033+17 ~x6020+16 ~x6016+22 ~x6007+16 ~x5980+20 ~x5967+17 ~x5953+16 ~x5940+25 ~x5926+14 ~x5913+17 ~x5900+24 ~x5887+24 ~x5883+23 ~x5874+21 ~x5860+22 ~x5846+22 ~x5833+21 ~x5820+21 ~x5807+17 ~x5793+16 ~x5780+13 ~x5767+19 ~x5754+25 ~x5750+17 ~x5726+13 ~x5713+22 ~x5700+16 ~x5687+24 ~x5674+23 ~x5660+23 ~x5647+17 ~x5634+17 ~x5315+19 ~x3185+26 ~x1880+13 ~x1747+21 ~x1614+22 ~x1481+600 x1447+24 ~x1348+13 ~x1214+19 ~x1080+25 ~x947+30 ~x898+34 ~x844+22 ~x831+18 ~x814+24 ~x791+34 ~x777+30 ~x738+27 ~x724+34 ~x711+30 ~x698+31 ~x685+16 ~x681+28 ~x672+24 ~x631+22 ~x605+23 ~x578+30 ~x551+23 ~x547+30 ~x498+30 ~x444+27 ~x431+24 ~x418+23 ~x414+24 ~x391+28 ~x352+27 ~x324+49 ~x311+36 ~x285+22 ~x281+41 ~x272+38 ~x258+46 ~x245+47 ~x232+44 ~x218+33 ~x205+44 ~x178+42 ~x165+26 ~x152+25 ~x148+35 ~x139+350 x114+28 ~x98+35 ~x72+39 ~x58+36 ~x45+47 ~x32+47 ~x19+14 ~x15+49 ~x6-0=7304 8.88/8.98 c 2048 ~x193004+1024 ~x193003+512 ~x193002+256 ~x193001+128 ~x193000+64 ~x192999+32 ~x192998+16 ~x192997+8 ~x192996+4 ~x192995+2 ~x192994+1 ~x192993+25 ~x6394+44 ~x6380+26 ~x6367+34 ~x6354+26 ~x6341+31 ~x6328+48 ~x6314+27 ~x6301+24 ~x6294+49 ~x6274+43 ~x6234+34 ~x6221+43 ~x6208+45 ~x6180+47 ~x6167+19 ~x6160+30 ~x6154+34 ~x6141+26 ~x6128+25 ~x6114+24 ~x6101+23 ~x6088+13 ~x6075+26 ~x6061+23 ~x6047+15 ~x6034+16 ~x6027+17 ~x6021+22 ~x6008+19 ~x5995+16 ~x5981+20 ~x5968+17 ~x5954+16 ~x5941+25 ~x5928+14 ~x5914+17 ~x5901+24 ~x5894+24 ~x5888+23 ~x5875+21 ~x5862+22 ~x5847+22 ~x5834+21 ~x5821+21 ~x5808+17 ~x5795+16 ~x5781+13 ~x5768+25 ~x5761+17 ~x5742+17 ~x5728+13 ~x5714+22 ~x5701+16 ~x5688+24 ~x5675+23 ~x5662+23 ~x5648+17 ~x5635+17 ~x5421+19 ~x3436+26 ~x1892+13 ~x1758+21 ~x1625+600 x1558+22 ~x1492+24 ~x1359+13 ~x1226+19 ~x1091+25 ~x958+36 ~x926+24 ~x912+27 ~x859+18 ~x825+24 ~x793+34 ~x752+30 ~x739+34 ~x712+16 ~x692+31 ~x686+38 ~x619+23 ~x559+30 ~x552+25 ~x526+30 ~x445+23 ~x425+32 ~x406+24 ~x393+25 ~x379+28 ~x353+49 ~x312+29 ~x299+22 ~x292+36 ~x286+38 ~x260+46 ~x246+47 ~x233+350 x225+44 ~x219+42 ~x166+25 ~x159+26 ~x153+34 ~x127+25 ~x112+28 ~x99+30 ~x86+39 ~x60+36 ~x46+47 ~x33+14 ~x26+47 ~x20+49 ~x7-0=7023 9.28/9.30 c 128 ~x206715+64 ~x206714+32 ~x206713+16 ~x206712+8 ~x206711+4 ~x206710+2 ~x206709+1 ~x206708+1 ~x6395+1 ~x6381+1 ~x6368+1 ~x6355+1 ~x6342+1 ~x6329+1 ~x6315+1 ~x6305+1 ~x6302+1 ~x6288+1 ~x6275+1 ~x6262+1 ~x6248+1 ~x6235+1 ~x6222+1 ~x6209+1 ~x6196+1 ~x6181+1 ~x6171+1 ~x6168+1 ~x6155+1 ~x6142+1 ~x6129+1 ~x6115+1 ~x6102+1 ~x6089+1 ~x6076+1 ~x6062+1 ~x6048+1 ~x6038+1 ~x6035+1 ~x6022+1 ~x6009+1 ~x5996+1 ~x5982+1 ~x5969+1 ~x5955+1 ~x5942+1 ~x5929+1 ~x5915+1 ~x5905+1 ~x5902+1 ~x5889+1 ~x5876+1 ~x5863+1 ~x5848+1 ~x5835+1 ~x5822+1 ~x5809+1 ~x5796+1 ~x5782+1 ~x5772+1 ~x5769+1 ~x5756+1 ~x5743+1 ~x5729+1 ~x5715+1 ~x5702+1 ~x5689+1 ~x5676+1 ~x5663+1 ~x5649+1 ~x5639+1 ~x5636+1 ~x5622+1 ~x3533+1 ~x1903+1 ~x1769+1 ~x1636+1 ~x1503+1 ~x1370+1 ~x1237+1 ~x1102+1 ~x969+1 ~x913+1 ~x886+1 ~x873+1 ~x836+1 ~x833+1 ~x820+1 ~x807+1 ~x779+1 ~x766+1 ~x713+1 ~x703+1 ~x700+1 ~x687+1 ~x674+1 ~x660+1 ~x620+1 ~x594+1 ~x580+1 ~x570+1 ~x567+1 ~x553+1 ~x527+1 ~x500+1 ~x487+1 ~x436+1 ~x433+1 ~x420+1 ~x407+1 ~x380+1 ~x367+1 ~x354+1 ~x341+30 x336+1 ~x313+1 ~x303+1 ~x300+1 ~x287+1 ~x274+1 ~x261+1 ~x247+1 ~x234+1 ~x220+1 ~x207+1 ~x194+1 ~x180+1 ~x170+1 ~x167+1 ~x154+1 ~x141+1 ~x128+1 ~x113+1 ~x100+1 ~x87+1 ~x74+1 ~x61+1 ~x47+1 ~x37+1 ~x34+1 ~x21+1 ~x8+20 x2-0=388 9.48/9.56 c 128 ~x217431+64 ~x217430+32 ~x217429+16 ~x217428+8 ~x217427+4 ~x217426+2 ~x217425+1 ~x217424+1 ~x6396+1 ~x6383+1 ~x6369+1 ~x6356+1 ~x6343+1 ~x6330+1 ~x6317+1 ~x6316+1 ~x6303+1 ~x6289+1 ~x6276+1 ~x6263+1 ~x6250+1 ~x6236+1 ~x6223+1 ~x6210+1 ~x6197+1 ~x6184+1 ~x6183+1 ~x6169+1 ~x6156+1 ~x6143+1 ~x6130+1 ~x6117+1 ~x6103+1 ~x6090+1 ~x6077+1 ~x6063+1 ~x6050+1 ~x6049+1 ~x6036+1 ~x6023+1 ~x6010+1 ~x5997+1 ~x5984+1 ~x5970+1 ~x5956+1 ~x5943+1 ~x5930+1 ~x5917+1 ~x5916+1 ~x5903+1 ~x5890+1 ~x5877+1 ~x5864+1 ~x5851+1 ~x5836+1 ~x5823+1 ~x5810+1 ~x5797+1 ~x5784+1 ~x5783+1 ~x5770+1 ~x5757+1 ~x5744+1 ~x5730+1 ~x5717+1 ~x5703+1 ~x5690+1 ~x5677+1 ~x5664+1 ~x5651+1 ~x5650+1 ~x5637+1 ~x5623+1 ~x3775+1 ~x1914+1 ~x1781+1 ~x1647+1 ~x1514+1 ~x1381+1 ~x1248+1 ~x1115+20 x1113+1 ~x980+1 ~x915+1 ~x887+1 ~x874+1 ~x847+1 ~x834+1 ~x821+1 ~x808+1 ~x767+1 ~x715+1 ~x714+1 ~x688+1 ~x675+1 ~x661+1 ~x648+1 ~x621+1 ~x595+1 ~x582+1 ~x581+1 ~x568+1 ~x554+1 ~x528+1 ~x501+1 ~x488+1 ~x448+30 x447+1 ~x421+1 ~x408+1 ~x382+1 ~x368+1 ~x355+1 ~x342+1 ~x328+1 ~x315+1 ~x314+1 ~x301+1 ~x288+1 ~x275+1 ~x262+1 ~x249+1 ~x235+1 ~x221+1 ~x208+1 ~x195+1 ~x182+1 ~x181+1 ~x168+1 ~x155+1 ~x142+1 ~x129+1 ~x116+1 ~x101+1 ~x88+1 ~x75+1 ~x62+1 ~x49+1 ~x48+1 ~x35+1 ~x22+1 ~x9-0=387 9.79/9.81 c 64 ~x228056+32 ~x228055+16 ~x228054+8 ~x228053+4 ~x228052+2 ~x228051+1 ~x228050+1 ~x6397+1 ~x6384+1 ~x6370+1 ~x6357+1 ~x6331+1 ~x6327+1 ~x6318+1 ~x6304+1 ~x6277+1 ~x6264+1 ~x6251+1 ~x6237+1 ~x6211+1 ~x6198+1 ~x6194+1 ~x6185+1 ~x6157+1 ~x6144+1 ~x6131+1 ~x6118+1 ~x6104+1 ~x6091+1 ~x6078+1 ~x6064+1 ~x6060+1 ~x6051+1 ~x6037+1 ~x6024+1 ~x6011+1 ~x5998+1 ~x5985+1 ~x5971+1 ~x5957+1 ~x5944+1 ~x5931+1 ~x5927+1 ~x5918+1 ~x5904+1 ~x5891+1 ~x5878+1 ~x5865+1 ~x5852+1 ~x5837+1 ~x5824+1 ~x5811+1 ~x5798+1 ~x5794+1 ~x5785+1 ~x5771+1 ~x5758+1 ~x5745+1 ~x5731+1 ~x5718+1 ~x5704+1 ~x5691+1 ~x5678+1 ~x5665+1 ~x5661+1 ~x5652+1 ~x5638+20 x5627+1 ~x5624+1 ~x3881+1 ~x1925+1 ~x1792+1 ~x1658+1 ~x1525+1 ~x1392+1 ~x1259+1 ~x1126+1 ~x991+1 ~x916+1 ~x858+1 ~x849+1 ~x809+1 ~x755+1 ~x725+1 ~x635+1 ~x609+1 ~x592+30 x558+1 ~x555+1 ~x529+1 ~x459+1 ~x450+1 ~x435+1 ~x396+1 ~x369+1 ~x356+1 ~x329+1 ~x325+1 ~x316+1 ~x302+1 ~x289+1 ~x276+1 ~x250+1 ~x236+1 ~x222+1 ~x209+1 ~x196+1 ~x192+1 ~x183+1 ~x169+1 ~x143+1 ~x130+1 ~x117+1 ~x102+1 ~x89+1 ~x76+1 ~x59+1 ~x36+1 ~x23+1 ~x10-0=238 9.98/10.00 c 128 ~x235908+64 ~x235907+32 ~x235906+16 ~x235905+8 ~x235904+4 ~x235903+2 ~x235902+1 ~x235901+1 ~x6398+1 ~x6385+1 ~x6372+1 ~x6358+1 ~x6345+1 ~x6338+1 ~x6332+1 ~x6319+1 ~x6306+1 ~x6291+1 ~x6278+1 ~x6265+1 ~x6252+1 ~x6239+1 ~x6225+1 ~x6212+1 ~x6205+1 ~x6199+1 ~x6186+1 ~x6172+1 ~x6158+1 ~x6145+1 ~x6132+1 ~x6119+1 ~x6106+1 ~x6092+1 ~x6079+1 ~x6072+1 ~x6065+1 ~x6052+1 ~x6039+1 ~x6025+1 ~x6012+1 ~x5999+1 ~x5986+1 ~x5973+1 ~x5958+1 ~x5945+1 ~x5938+1 ~x5932+1 ~x5919+1 ~x5906+1 ~x5892+1 ~x5879+1 ~x5866+1 ~x5853+1 ~x5839+1 ~x5825+1 ~x5812+1 ~x5805+1 ~x5799+1 ~x5786+1 ~x5773+1 ~x5759+1 ~x5746+20 x5738+1 ~x5732+1 ~x5719+1 ~x5706+1 ~x5692+1 ~x5679+1 ~x5672+1 ~x5666+1 ~x5653+1 ~x5640+1 ~x5625+1 ~x4085+1 ~x1993+1 ~x1803+1 ~x1670+1 ~x1536+1 ~x1403+1 ~x1270+1 ~x1137+1 ~x1003+1 ~x917+1 ~x889+1 ~x876+1 ~x869+1 ~x837+1 ~x823+1 ~x810+1 ~x770+1 ~x756+1 ~x736+1 ~x717+1 ~x677+30 x669+1 ~x663+1 ~x650+1 ~x623+1 ~x603+1 ~x597+1 ~x584+1 ~x571+1 ~x556+1 ~x530+1 ~x504+1 ~x490+1 ~x470+1 ~x451+1 ~x423+1 ~x410+1 ~x384+1 ~x371+1 ~x357+1 ~x344+1 ~x337+1 ~x330+1 ~x317+1 ~x304+1 ~x290+1 ~x277+1 ~x264+1 ~x251+1 ~x238+1 ~x223+1 ~x210+1 ~x203+1 ~x197+1 ~x184+1 ~x171+1 ~x157+1 ~x144+1 ~x131+1 ~x118+1 ~x104+1 ~x90+1 ~x77+1 ~x70+1 ~x64+1 ~x51+1 ~x38+1 ~x24+1 ~x11-0=388 10.19/10.25 c 128 ~x246612+64 ~x246611+32 ~x246610+16 ~x246609+8 ~x246608+4 ~x246607+2 ~x246606+1 ~x246605+1 ~x6399+1 ~x6386+1 ~x6373+1 ~x6359+1 ~x6349+1 ~x6346+1 ~x6333+1 ~x6320+1 ~x6307+1 ~x6292+1 ~x6279+1 ~x6266+1 ~x6253+1 ~x6240+1 ~x6226+1 ~x6216+1 ~x6213+1 ~x6200+1 ~x6187+1 ~x6173+1 ~x6159+1 ~x6146+1 ~x6133+1 ~x6120+1 ~x6107+1 ~x6093+1 ~x6083+1 ~x6080+1 ~x6066+1 ~x6053+1 ~x6040+1 ~x6026+1 ~x6013+1 ~x6000+1 ~x5987+1 ~x5974+1 ~x5959+1 ~x5949+1 ~x5946+1 ~x5933+1 ~x5920+1 ~x5907+1 ~x5893+1 ~x5880+1 ~x5867+1 ~x5854+20 x5849+1 ~x5840+1 ~x5826+1 ~x5816+1 ~x5813+1 ~x5800+1 ~x5787+1 ~x5774+1 ~x5760+1 ~x5747+1 ~x5733+1 ~x5720+1 ~x5707+1 ~x5693+1 ~x5683+1 ~x5680+1 ~x5667+1 ~x5654+1 ~x5641+1 ~x5626+1 ~x4239+1 ~x2235+1 ~x1814+1 ~x1681+1 ~x1547+1 ~x1414+1 ~x1281+1 ~x1148+1 ~x1014+1 ~x918+1 ~x890+1 ~x880+1 ~x877+1 ~x838+1 ~x824+1 ~x811+1 ~x785+30 x780+1 ~x771+1 ~x747+1 ~x718+1 ~x705+1 ~x691+1 ~x678+1 ~x664+1 ~x624+1 ~x614+1 ~x598+1 ~x585+1 ~x572+1 ~x557+1 ~x531+1 ~x505+1 ~x491+1 ~x481+1 ~x438+1 ~x424+1 ~x411+1 ~x385+1 ~x372+1 ~x358+1 ~x348+1 ~x345+1 ~x318+1 ~x305+1 ~x291+1 ~x278+1 ~x265+1 ~x252+1 ~x239+1 ~x224+1 ~x214+1 ~x211+1 ~x198+1 ~x185+1 ~x172+1 ~x158+1 ~x145+1 ~x132+1 ~x119+1 ~x105+1 ~x91+1 ~x81+1 ~x78+1 ~x65+1 ~x52+1 ~x39+1 ~x25+1 ~x12-0=388 10.48/10.51 c 64 ~x257315+32 ~x257314+16 ~x257313+8 ~x257312+4 ~x257311+2 ~x257310+1 ~x257309+1 ~x6400+1 ~x6387+1 ~x6374+1 ~x6361+1 ~x6360+1 ~x6334+1 ~x6321+1 ~x6308+1 ~x6280+1 ~x6267+1 ~x6254+1 ~x6241+1 ~x6227+1 ~x6214+1 ~x6201+1 ~x6188+1 ~x6161+1 ~x6147+1 ~x6134+1 ~x6121+1 ~x6108+1 ~x6095+1 ~x6094+1 ~x6081+1 ~x6067+1 ~x6054+1 ~x6041+1 ~x6028+1 ~x6014+1 ~x6001+1 ~x5988+1 ~x5975+1 ~x5962+1 ~x5961+20 x5960+1 ~x5947+1 ~x5934+1 ~x5921+1 ~x5908+1 ~x5895+1 ~x5881+1 ~x5868+1 ~x5855+1 ~x5841+1 ~x5828+1 ~x5827+1 ~x5814+1 ~x5801+1 ~x5788+1 ~x5775+1 ~x5762+1 ~x5748+1 ~x5734+1 ~x5721+1 ~x5708+1 ~x5695+1 ~x5694+1 ~x5681+1 ~x5668+1 ~x5655+1 ~x5642+1 ~x5629+1 ~x4395+1 ~x2341+1 ~x1825+1 ~x1692+1 ~x1559+1 ~x1425+1 ~x1292+1 ~x1159+1 ~x1025+1 ~x919+1 ~x892+30 x891+1 ~x852+1 ~x812+1 ~x759+1 ~x758+1 ~x639+1 ~x625+1 ~x612+1 ~x560+1 ~x532+1 ~x492+1 ~x453+1 ~x439+1 ~x399+1 ~x373+1 ~x360+1 ~x359+1 ~x332+1 ~x319+1 ~x306+1 ~x293+1 ~x279+1 ~x253+1 ~x240+1 ~x227+1 ~x226+1 ~x212+1 ~x199+1 ~x186+1 ~x173+1 ~x146+1 ~x133+1 ~x120+1 ~x106+1 ~x93+1 ~x92+1 ~x79+1 ~x40+1 ~x27+1 ~x13-0=238 10.58/10.69 c 64 ~x265166+32 ~x265165+16 ~x265164+8 ~x265163+4 ~x265162+2 ~x265161+1 ~x265160+1 ~x6388+1 ~x6375+1 ~x6371+1 ~x6362+1 ~x6348+1 ~x6335+1 ~x6309+1 ~x6296+1 ~x6281+1 ~x6255+1 ~x6242+1 ~x6238+1 ~x6229+1 ~x6189+1 ~x6175+1 ~x6162+1 ~x6148+1 ~x6135+1 ~x6122+1 ~x6109+1 ~x6105+1 ~x6096+1 ~x6082+20 x6071+1 ~x6068+1 ~x6055+1 ~x6042+1 ~x6029+1 ~x6015+1 ~x6002+1 ~x5989+1 ~x5976+1 ~x5972+1 ~x5963+1 ~x5948+1 ~x5935+1 ~x5922+1 ~x5909+1 ~x5896+1 ~x5882+1 ~x5869+1 ~x5856+1 ~x5842+1 ~x5838+1 ~x5829+1 ~x5815+1 ~x5802+1 ~x5789+1 ~x5776+1 ~x5763+1 ~x5749+1 ~x5735+1 ~x5722+1 ~x5709+1 ~x5705+1 ~x5696+1 ~x5682+1 ~x5669+1 ~x5656+1 ~x5643+1 ~x5630+1 ~x4607+1 ~x2545+1 ~x1836+1 ~x1703+1 ~x1570+1 ~x1436+1 ~x1303+1 ~x1170+1 ~x1036+30 x1002+1 ~x920+1 ~x903+1 ~x894+1 ~x879+1 ~x840+1 ~x813+1 ~x800+1 ~x773+1 ~x769+1 ~x760+1 ~x653+1 ~x636+1 ~x627+1 ~x587+1 ~x561+1 ~x533+1 ~x507+1 ~x503+1 ~x494+1 ~x480+1 ~x467+1 ~x454+1 ~x427+1 ~x413+1 ~x374+1 ~x370+1 ~x361+1 ~x347+1 ~x333+1 ~x320+1 ~x307+1 ~x294+1 ~x280+1 ~x267+1 ~x241+1 ~x237+1 ~x213+1 ~x200+1 ~x187+1 ~x174+1 ~x161+1 ~x147+1 ~x134+1 ~x121+1 ~x107+1 ~x103+1 ~x80+1 ~x67+1 ~x54+1 ~x41+1 ~x28+1 ~x14-0=248 10.79/10.90 c 64 ~x273707+32 ~x273706+16 ~x273705+8 ~x273704+4 ~x273703+2 ~x273702+1 ~x273701+1 ~x6389+1 ~x6382+1 ~x6363+1 ~x6350+1 ~x6336+1 ~x6310+1 ~x6297+1 ~x6283+1 ~x6256+1 ~x6249+1 ~x6243+1 ~x6230+1 ~x6190+20 x6182+1 ~x6176+1 ~x6163+1 ~x6136+1 ~x6123+1 ~x6116+1 ~x6110+1 ~x6097+1 ~x6084+1 ~x6069+1 ~x6056+1 ~x6030+1 ~x6017+1 ~x6003+1 ~x5990+1 ~x5983+1 ~x5977+1 ~x5964+1 ~x5950+1 ~x5936+1 ~x5923+1 ~x5910+1 ~x5897+1 ~x5884+1 ~x5870+1 ~x5857+1 ~x5850+1 ~x5843+1 ~x5830+1 ~x5817+1 ~x5803+1 ~x5790+1 ~x5777+1 ~x5764+1 ~x5751+1 ~x5736+1 ~x5723+1 ~x5716+1 ~x5710+1 ~x5697+1 ~x5684+1 ~x5670+1 ~x5657+1 ~x5644+1 ~x5631+1 ~x4725+1 ~x2699+1 ~x1847+1 ~x1714+1 ~x1581+1 ~x1448+1 ~x1314+1 ~x1181+30 x1114+1 ~x1047+1 ~x914+1 ~x895+1 ~x881+1 ~x841+1 ~x815+1 ~x801+1 ~x781+1 ~x774+1 ~x761+1 ~x654+1 ~x647+1 ~x628+1 ~x588+1 ~x562+1 ~x534+1 ~x514+1 ~x508+1 ~x495+1 ~x482+1 ~x468+1 ~x428+1 ~x415+1 ~x381+1 ~x375+1 ~x362+1 ~x349+1 ~x334+1 ~x321+1 ~x295+1 ~x268+1 ~x248+1 ~x242+1 ~x215+1 ~x201+1 ~x188+1 ~x175+1 ~x162+1 ~x149+1 ~x135+1 ~x115+1 ~x108+1 ~x82+1 ~x68+1 ~x55+1 ~x42-0=238 10.99/11.08 c 64 ~x281558+32 ~x281557+16 ~x281556+8 ~x281555+4 ~x281554+2 ~x281553+1 ~x281552+1 ~x6393+1 ~x6390+1 ~x6377+1 ~x6364+1 ~x6337+1 ~x6311+20 x6293+1 ~x6270+1 ~x6260+1 ~x6257+1 ~x6244+1 ~x6218+1 ~x6204+1 ~x6191+1 ~x6164+1 ~x6151+1 ~x6127+1 ~x6124+1 ~x6111+1 ~x6098+1 ~x6085+1 ~x6070+1 ~x6057+1 ~x6044+1 ~x6031+1 ~x6018+1 ~x6004+1 ~x5994+1 ~x5991+1 ~x5978+1 ~x5965+1 ~x5951+1 ~x5937+1 ~x5924+1 ~x5911+1 ~x5898+1 ~x5885+1 ~x5871+1 ~x5861+1 ~x5858+1 ~x5844+1 ~x5831+1 ~x5818+1 ~x5804+1 ~x5791+1 ~x5778+1 ~x5765+1 ~x5752+1 ~x5737+1 ~x5727+1 ~x5724+1 ~x5711+1 ~x5698+1 ~x5685+1 ~x5671+1 ~x5658+1 ~x5645+1 ~x5632+1 ~x4976+1 ~x2855+1 ~x1725+1 ~x1592+1 ~x1459+1 ~x1325+30 x1225+1 ~x1192+1 ~x1058+1 ~x925+1 ~x922+1 ~x855+1 ~x816+1 ~x792+1 ~x762+1 ~x658+1 ~x642+1 ~x616+1 ~x563+1 ~x535+1 ~x525+1 ~x456+1 ~x402+1 ~x392+1 ~x376+1 ~x363+1 ~x335+1 ~x322+1 ~x309+1 ~x296+1 ~x283+1 ~x259+1 ~x243+1 ~x230+1 ~x202+1 ~x189+1 ~x176+1 ~x136+1 ~x126+1 ~x123+1 ~x109+1 ~x83+1 ~x30+1 ~x17-0=227 11.18/11.25 c 64 ~x288650+32 ~x288649+16 ~x288648+8 ~x288647+4 ~x288646+2 ~x288645+1 ~x288644+1 ~x6391+1 ~x6378+1 ~x6365+1 ~x6352+1 ~x6325+1 ~x6312+1 ~x6299+1 ~x6285+1 ~x6272+1 ~x6271+1 ~x6245+1 ~x6232+1 ~x6219+1 ~x6206+1 ~x6192+1 ~x6178+1 ~x6165+1 ~x6139+1 ~x6138+1 ~x6125+1 ~x6112+1 ~x6099+1 ~x6086+1 ~x6073+1 ~x6058+1 ~x6045+1 ~x6032+1 ~x6019+1 ~x6006+1 ~x6005+1 ~x5992+1 ~x5979+1 ~x5966+1 ~x5952+1 ~x5939+1 ~x5925+1 ~x5912+1 ~x5899+1 ~x5886+1 ~x5873+1 ~x5872+1 ~x5859+1 ~x5845+1 ~x5832+1 ~x5819+1 ~x5806+1 ~x5792+1 ~x5779+1 ~x5766+1 ~x5753+1 ~x5740+1 ~x5739+1 ~x5725+1 ~x5712+1 ~x5699+1 ~x5686+1 ~x5673+1 ~x5659+1 ~x5646+1 ~x5633+1 ~x5073+1 ~x3068+1 ~x1869+1 ~x1736+1 ~x1603+1 ~x1470+1 ~x1337+30 x1336+1 ~x1203+1 ~x1069+1 ~x936+1 ~x910+1 ~x897+1 ~x843+1 ~x830+1 ~x803+1 ~x790+1 ~x776+1 ~x750+1 ~x737+1 ~x710+1 ~x697+1 ~x684+1 ~x671+1 ~x670+1 ~x577+1 ~x550+1 ~x536+1 ~x523+1 ~x443+1 ~x430+1 ~x417+1 ~x403+1 ~x390+1 ~x351+1 ~x323+1 ~x310+1 ~x284+1 ~x271+1 ~x270+1 ~x257+1 ~x244+1 ~x231+1 ~x217+1 ~x204+1 ~x177+1 ~x164+1 ~x151+1 ~x138+1 ~x137+1 ~x124+1 ~x97+1 ~x71+1 ~x57+1 ~x44+1 ~x31+1 ~x18+1 ~x5+1 ~x4+20 x3-0=245 11.39/11.45 c 64 ~x296996+32 ~x296995+16 ~x296994+8 ~x296993+4 ~x296992+2 ~x296991+1 ~x296990+1 ~x6392+1 ~x6379+1 ~x6366+1 ~x6353+1 ~x6326+1 ~x6313+1 ~x6300+1 ~x6286+1 ~x6282+1 ~x6273+1 ~x6246+1 ~x6233+1 ~x6220+1 ~x6207+1 ~x6193+1 ~x6179+1 ~x6166+1 ~x6149+1 ~x6140+1 ~x6126+1 ~x6113+1 ~x6100+1 ~x6087+1 ~x6059+1 ~x6046+1 ~x6033+1 ~x6020+1 ~x6016+1 ~x6007+1 ~x5980+1 ~x5967+1 ~x5953+1 ~x5940+1 ~x5926+1 ~x5913+1 ~x5900+1 ~x5887+1 ~x5883+1 ~x5874+1 ~x5860+1 ~x5846+1 ~x5833+1 ~x5820+1 ~x5807+1 ~x5793+1 ~x5780+1 ~x5767+1 ~x5754+1 ~x5750+1 ~x5726+1 ~x5713+1 ~x5700+1 ~x5687+1 ~x5674+1 ~x5660+1 ~x5647+1 ~x5634+1 ~x5315+1 ~x3185+1 ~x1880+1 ~x1747+1 ~x1614+1 ~x1481+30 x1447+1 ~x1348+1 ~x1214+1 ~x1080+1 ~x947+1 ~x898+1 ~x844+1 ~x831+1 ~x814+1 ~x791+1 ~x777+1 ~x738+1 ~x724+1 ~x711+1 ~x698+1 ~x685+1 ~x681+1 ~x672+1 ~x631+1 ~x605+1 ~x578+1 ~x551+1 ~x547+1 ~x498+1 ~x444+1 ~x431+1 ~x418+1 ~x414+1 ~x391+1 ~x352+1 ~x324+1 ~x311+1 ~x285+1 ~x281+1 ~x272+1 ~x258+1 ~x245+1 ~x232+1 ~x218+1 ~x205+1 ~x178+1 ~x165+1 ~x152+1 ~x148+1 ~x139+20 x114+1 ~x98+1 ~x72+1 ~x58+1 ~x45+1 ~x32+1 ~x19+1 ~x15+1 ~x6-0=243 11.59/11.64 c 64 ~x305126+32 ~x305125+16 ~x305124+8 ~x305123+4 ~x305122+2 ~x305121+1 ~x305120+1 ~x6394+1 ~x6380+1 ~x6367+1 ~x6354+1 ~x6341+1 ~x6328+1 ~x6314+1 ~x6301+1 ~x6294+1 ~x6274+1 ~x6234+1 ~x6221+1 ~x6208+1 ~x6180+1 ~x6167+1 ~x6160+1 ~x6154+1 ~x6141+1 ~x6128+1 ~x6114+1 ~x6101+1 ~x6088+1 ~x6075+1 ~x6061+1 ~x6047+1 ~x6034+1 ~x6027+1 ~x6021+1 ~x6008+1 ~x5995+1 ~x5981+1 ~x5968+1 ~x5954+1 ~x5941+1 ~x5928+1 ~x5914+1 ~x5901+1 ~x5894+1 ~x5888+1 ~x5875+1 ~x5862+1 ~x5847+1 ~x5834+1 ~x5821+1 ~x5808+1 ~x5795+1 ~x5781+1 ~x5768+1 ~x5761+1 ~x5742+1 ~x5728+1 ~x5714+1 ~x5701+1 ~x5688+1 ~x5675+1 ~x5662+1 ~x5648+1 ~x5635+1 ~x5421+1 ~x3436+1 ~x1892+1 ~x1758+1 ~x1625+30 x1558+1 ~x1492+1 ~x1359+1 ~x1226+1 ~x1091+1 ~x958+1 ~x926+1 ~x912+1 ~x859+1 ~x825+1 ~x793+1 ~x752+1 ~x739+1 ~x712+1 ~x692+1 ~x686+1 ~x619+1 ~x559+1 ~x552+1 ~x526+1 ~x445+1 ~x425+1 ~x406+1 ~x393+1 ~x379+1 ~x353+1 ~x312+1 ~x299+1 ~x292+1 ~x286+1 ~x260+1 ~x246+1 ~x233+20 x225+1 ~x219+1 ~x166+1 ~x159+1 ~x153+1 ~x127+1 ~x112+1 ~x99+1 ~x86+1 ~x60+1 ~x46+1 ~x33+1 ~x26+1 ~x20+1 ~x7-0=236 11.79/11.83 c 128 ~x312840+64 ~x312839+32 ~x312838+16 ~x312837+8 ~x312836+4 ~x312835+2 ~x312834+1 ~x312833+1 ~x6395+1 ~x6381+1 ~x6368+1 ~x6355+1 ~x6342+1 ~x6329+1 ~x6315+1 ~x6305+1 ~x6302+1 ~x6288+1 ~x6275+1 ~x6262+1 ~x6248+1 ~x6235+1 ~x6222+1 ~x6209+1 ~x6196+1 ~x6181+1 ~x6171+1 ~x6168+1 ~x6155+1 ~x6142+1 ~x6129+1 ~x6115+1 ~x6102+1 ~x6089+1 ~x6076+1 ~x6062+1 ~x6048+1 ~x6038+1 ~x6035+1 ~x6022+1 ~x6009+1 ~x5996+1 ~x5982+1 ~x5969+1 ~x5955+1 ~x5942+1 ~x5929+1 ~x5915+1 ~x5905+1 ~x5902+1 ~x5889+1 ~x5876+1 ~x5863+1 ~x5848+1 ~x5835+1 ~x5822+1 ~x5809+1 ~x5796+1 ~x5782+1 ~x5772+1 ~x5769+1 ~x5756+1 ~x5743+1 ~x5729+1 ~x5715+1 ~x5702+1 ~x5689+1 ~x5676+1 ~x5663+1 ~x5649+1 ~x5639+1 ~x5636+1 ~x5622+1 ~x3533+1 ~x1903+1 ~x1769+1 ~x1636+1 ~x1503+1 ~x1370+1 ~x1237+1 ~x1102+1 ~x969+1 ~x913+1 ~x886+1 ~x873+1 ~x836+1 ~x833+1 ~x820+1 ~x807+1 ~x779+1 ~x766+1 ~x713+1 ~x703+1 ~x700+1 ~x687+1 ~x674+1 ~x660+1 ~x620+1 ~x594+1 ~x580+1 ~x570+1 ~x567+1 ~x553+1 ~x527+1 ~x500+1 ~x487+1 ~x436+1 ~x433+1 ~x420+1 ~x407+1 ~x380+1 ~x367+1 ~x354+1 ~x341+60 x336+1 ~x313+1 ~x303+1 ~x300+1 ~x287+1 ~x274+1 ~x261+1 ~x247+1 ~x234+1 ~x220+1 ~x207+1 ~x194+1 ~x180+1 ~x170+1 ~x167+1 ~x154+1 ~x141+1 ~x128+1 ~x113+1 ~x100+1 ~x87+1 ~x74+1 ~x61+1 ~x47+1 ~x37+1 ~x34+1 ~x21+1 ~x8+40 x2-0=388 11.99/12.08 c 128 ~x323598+64 ~x323597+32 ~x323596+16 ~x323595+8 ~x323594+4 ~x323593+2 ~x323592+1 ~x323591+1 ~x6396+1 ~x6383+1 ~x6369+1 ~x6356+1 ~x6343+1 ~x6330+1 ~x6317+1 ~x6316+1 ~x6303+1 ~x6289+1 ~x6276+1 ~x6263+1 ~x6250+1 ~x6236+1 ~x6223+1 ~x6210+1 ~x6197+1 ~x6184+1 ~x6183+1 ~x6169+1 ~x6156+1 ~x6143+1 ~x6130+1 ~x6117+1 ~x6103+1 ~x6090+1 ~x6077+1 ~x6063+1 ~x6050+1 ~x6049+1 ~x6036+1 ~x6023+1 ~x6010+1 ~x5997+1 ~x5984+1 ~x5970+1 ~x5956+1 ~x5943+1 ~x5930+1 ~x5917+1 ~x5916+1 ~x5903+1 ~x5890+1 ~x5877+1 ~x5864+1 ~x5851+1 ~x5836+1 ~x5823+1 ~x5810+1 ~x5797+1 ~x5784+1 ~x5783+1 ~x5770+1 ~x5757+1 ~x5744+1 ~x5730+1 ~x5717+1 ~x5703+1 ~x5690+1 ~x5677+1 ~x5664+1 ~x5651+1 ~x5650+1 ~x5637+1 ~x5623+1 ~x3775+1 ~x1914+1 ~x1781+1 ~x1647+1 ~x1514+1 ~x1381+1 ~x1248+1 ~x1115+40 x1113+1 ~x980+1 ~x915+1 ~x887+1 ~x874+1 ~x847+1 ~x834+1 ~x821+1 ~x808+1 ~x767+1 ~x715+1 ~x714+1 ~x688+1 ~x675+1 ~x661+1 ~x648+1 ~x621+1 ~x595+1 ~x582+1 ~x581+1 ~x568+1 ~x554+1 ~x528+1 ~x501+1 ~x488+1 ~x448+60 x447+1 ~x421+1 ~x408+1 ~x382+1 ~x368+1 ~x355+1 ~x342+1 ~x328+1 ~x315+1 ~x314+1 ~x301+1 ~x288+1 ~x275+1 ~x262+1 ~x249+1 ~x235+1 ~x221+1 ~x208+1 ~x195+1 ~x182+1 ~x181+1 ~x168+1 ~x155+1 ~x142+1 ~x129+1 ~x116+1 ~x101+1 ~x88+1 ~x75+1 ~x62+1 ~x49+1 ~x48+1 ~x35+1 ~x22+1 ~x9-0=387 12.29/12.34 c 64 ~x334223+32 ~x334222+16 ~x334221+8 ~x334220+4 ~x334219+2 ~x334218+1 ~x334217+1 ~x6397+1 ~x6384+1 ~x6370+1 ~x6357+1 ~x6331+1 ~x6327+1 ~x6318+1 ~x6304+1 ~x6277+1 ~x6264+1 ~x6251+1 ~x6237+1 ~x6211+1 ~x6198+1 ~x6194+1 ~x6185+1 ~x6157+1 ~x6144+1 ~x6131+1 ~x6118+1 ~x6104+1 ~x6091+1 ~x6078+1 ~x6064+1 ~x6060+1 ~x6051+1 ~x6037+1 ~x6024+1 ~x6011+1 ~x5998+1 ~x5985+1 ~x5971+1 ~x5957+1 ~x5944+1 ~x5931+1 ~x5927+1 ~x5918+1 ~x5904+1 ~x5891+1 ~x5878+1 ~x5865+1 ~x5852+1 ~x5837+1 ~x5824+1 ~x5811+1 ~x5798+1 ~x5794+1 ~x5785+1 ~x5771+1 ~x5758+1 ~x5745+1 ~x5731+1 ~x5718+1 ~x5704+1 ~x5691+1 ~x5678+1 ~x5665+1 ~x5661+1 ~x5652+1 ~x5638+40 x5627+1 ~x5624+1 ~x3881+1 ~x1925+1 ~x1792+1 ~x1658+1 ~x1525+1 ~x1392+1 ~x1259+1 ~x1126+1 ~x991+1 ~x916+1 ~x858+1 ~x849+1 ~x809+1 ~x755+1 ~x725+1 ~x635+1 ~x609+1 ~x592+60 x558+1 ~x555+1 ~x529+1 ~x459+1 ~x450+1 ~x435+1 ~x396+1 ~x369+1 ~x356+1 ~x329+1 ~x325+1 ~x316+1 ~x302+1 ~x289+1 ~x276+1 ~x250+1 ~x236+1 ~x222+1 ~x209+1 ~x196+1 ~x192+1 ~x183+1 ~x169+1 ~x143+1 ~x130+1 ~x117+1 ~x102+1 ~x89+1 ~x76+1 ~x59+1 ~x36+1 ~x23+1 ~x10-0=238 12.48/12.53 c 128 ~x342075+64 ~x342074+32 ~x342073+16 ~x342072+8 ~x342071+4 ~x342070+2 ~x342069+1 ~x342068+1 ~x6398+1 ~x6385+1 ~x6372+1 ~x6358+1 ~x6345+1 ~x6338+1 ~x6332+1 ~x6319+1 ~x6306+1 ~x6291+1 ~x6278+1 ~x6265+1 ~x6252+1 ~x6239+1 ~x6225+1 ~x6212+1 ~x6205+1 ~x6199+1 ~x6186+1 ~x6172+1 ~x6158+1 ~x6145+1 ~x6132+1 ~x6119+1 ~x6106+1 ~x6092+1 ~x6079+1 ~x6072+1 ~x6065+1 ~x6052+1 ~x6039+1 ~x6025+1 ~x6012+1 ~x5999+1 ~x5986+1 ~x5973+1 ~x5958+1 ~x5945+1 ~x5938+1 ~x5932+1 ~x5919+1 ~x5906+1 ~x5892+1 ~x5879+1 ~x5866+1 ~x5853+1 ~x5839+1 ~x5825+1 ~x5812+1 ~x5805+1 ~x5799+1 ~x5786+1 ~x5773+1 ~x5759+1 ~x5746+40 x5738+1 ~x5732+1 ~x5719+1 ~x5706+1 ~x5692+1 ~x5679+1 ~x5672+1 ~x5666+1 ~x5653+1 ~x5640+1 ~x5625+1 ~x4085+1 ~x1993+1 ~x1803+1 ~x1670+1 ~x1536+1 ~x1403+1 ~x1270+1 ~x1137+1 ~x1003+1 ~x917+1 ~x889+1 ~x876+1 ~x869+1 ~x837+1 ~x823+1 ~x810+1 ~x770+1 ~x756+1 ~x736+1 ~x717+1 ~x677+60 x669+1 ~x663+1 ~x650+1 ~x623+1 ~x603+1 ~x597+1 ~x584+1 ~x571+1 ~x556+1 ~x530+1 ~x504+1 ~x490+1 ~x470+1 ~x451+1 ~x423+1 ~x410+1 ~x384+1 ~x371+1 ~x357+1 ~x344+1 ~x337+1 ~x330+1 ~x317+1 ~x304+1 ~x290+1 ~x277+1 ~x264+1 ~x251+1 ~x238+1 ~x223+1 ~x210+1 ~x203+1 ~x197+1 ~x184+1 ~x171+1 ~x157+1 ~x144+1 ~x131+1 ~x118+1 ~x104+1 ~x90+1 ~x77+1 ~x70+1 ~x64+1 ~x51+1 ~x38+1 ~x24+1 ~x11-0=388 12.68/12.78 c 128 ~x352779+64 ~x352778+32 ~x352777+16 ~x352776+8 ~x352775+4 ~x352774+2 ~x352773+1 ~x352772+1 ~x6399+1 ~x6386+1 ~x6373+1 ~x6359+1 ~x6349+1 ~x6346+1 ~x6333+1 ~x6320+1 ~x6307+1 ~x6292+1 ~x6279+1 ~x6266+1 ~x6253+1 ~x6240+1 ~x6226+1 ~x6216+1 ~x6213+1 ~x6200+1 ~x6187+1 ~x6173+1 ~x6159+1 ~x6146+1 ~x6133+1 ~x6120+1 ~x6107+1 ~x6093+1 ~x6083+1 ~x6080+1 ~x6066+1 ~x6053+1 ~x6040+1 ~x6026+1 ~x6013+1 ~x6000+1 ~x5987+1 ~x5974+1 ~x5959+1 ~x5949+1 ~x5946+1 ~x5933+1 ~x5920+1 ~x5907+1 ~x5893+1 ~x5880+1 ~x5867+1 ~x5854+40 x5849+1 ~x5840+1 ~x5826+1 ~x5816+1 ~x5813+1 ~x5800+1 ~x5787+1 ~x5774+1 ~x5760+1 ~x5747+1 ~x5733+1 ~x5720+1 ~x5707+1 ~x5693+1 ~x5683+1 ~x5680+1 ~x5667+1 ~x5654+1 ~x5641+1 ~x5626+1 ~x4239+1 ~x2235+1 ~x1814+1 ~x1681+1 ~x1547+1 ~x1414+1 ~x1281+1 ~x1148+1 ~x1014+1 ~x918+1 ~x890+1 ~x880+1 ~x877+1 ~x838+1 ~x824+1 ~x811+1 ~x785+60 x780+1 ~x771+1 ~x747+1 ~x718+1 ~x705+1 ~x691+1 ~x678+1 ~x664+1 ~x624+1 ~x614+1 ~x598+1 ~x585+1 ~x572+1 ~x557+1 ~x531+1 ~x505+1 ~x491+1 ~x481+1 ~x438+1 ~x424+1 ~x411+1 ~x385+1 ~x372+1 ~x358+1 ~x348+1 ~x345+1 ~x318+1 ~x305+1 ~x291+1 ~x278+1 ~x265+1 ~x252+1 ~x239+1 ~x224+1 ~x214+1 ~x211+1 ~x198+1 ~x185+1 ~x172+1 ~x158+1 ~x145+1 ~x132+1 ~x119+1 ~x105+1 ~x91+1 ~x81+1 ~x78+1 ~x65+1 ~x52+1 ~x39+1 ~x25+1 ~x12-0=388 12.99/13.03 c 64 ~x363482+32 ~x363481+16 ~x363480+8 ~x363479+4 ~x363478+2 ~x363477+1 ~x363476+1 ~x6400+1 ~x6387+1 ~x6374+1 ~x6361+1 ~x6360+1 ~x6334+1 ~x6321+1 ~x6308+1 ~x6280+1 ~x6267+1 ~x6254+1 ~x6241+1 ~x6227+1 ~x6214+1 ~x6201+1 ~x6188+1 ~x6161+1 ~x6147+1 ~x6134+1 ~x6121+1 ~x6108+1 ~x6095+1 ~x6094+1 ~x6081+1 ~x6067+1 ~x6054+1 ~x6041+1 ~x6028+1 ~x6014+1 ~x6001+1 ~x5988+1 ~x5975+1 ~x5962+1 ~x5961+40 x5960+1 ~x5947+1 ~x5934+1 ~x5921+1 ~x5908+1 ~x5895+1 ~x5881+1 ~x5868+1 ~x5855+1 ~x5841+1 ~x5828+1 ~x5827+1 ~x5814+1 ~x5801+1 ~x5788+1 ~x5775+1 ~x5762+1 ~x5748+1 ~x5734+1 ~x5721+1 ~x5708+1 ~x5695+1 ~x5694+1 ~x5681+1 ~x5668+1 ~x5655+1 ~x5642+1 ~x5629+1 ~x4395+1 ~x2341+1 ~x1825+1 ~x1692+1 ~x1559+1 ~x1425+1 ~x1292+1 ~x1159+1 ~x1025+1 ~x919+1 ~x892+60 x891+1 ~x852+1 ~x812+1 ~x759+1 ~x758+1 ~x639+1 ~x625+1 ~x612+1 ~x560+1 ~x532+1 ~x492+1 ~x453+1 ~x439+1 ~x399+1 ~x373+1 ~x360+1 ~x359+1 ~x332+1 ~x319+1 ~x306+1 ~x293+1 ~x279+1 ~x253+1 ~x240+1 ~x227+1 ~x226+1 ~x212+1 ~x199+1 ~x186+1 ~x173+1 ~x146+1 ~x133+1 ~x120+1 ~x106+1 ~x93+1 ~x92+1 ~x79+1 ~x40+1 ~x27+1 ~x13-0=238 13.19/13.22 c 64 ~x371333+32 ~x371332+16 ~x371331+8 ~x371330+4 ~x371329+2 ~x371328+1 ~x371327+1 ~x6388+1 ~x6375+1 ~x6371+1 ~x6362+1 ~x6348+1 ~x6335+1 ~x6309+1 ~x6296+1 ~x6281+1 ~x6255+1 ~x6242+1 ~x6238+1 ~x6229+1 ~x6189+1 ~x6175+1 ~x6162+1 ~x6148+1 ~x6135+1 ~x6122+1 ~x6109+1 ~x6105+1 ~x6096+1 ~x6082+40 x6071+1 ~x6068+1 ~x6055+1 ~x6042+1 ~x6029+1 ~x6015+1 ~x6002+1 ~x5989+1 ~x5976+1 ~x5972+1 ~x5963+1 ~x5948+1 ~x5935+1 ~x5922+1 ~x5909+1 ~x5896+1 ~x5882+1 ~x5869+1 ~x5856+1 ~x5842+1 ~x5838+1 ~x5829+1 ~x5815+1 ~x5802+1 ~x5789+1 ~x5776+1 ~x5763+1 ~x5749+1 ~x5735+1 ~x5722+1 ~x5709+1 ~x5705+1 ~x5696+1 ~x5682+1 ~x5669+1 ~x5656+1 ~x5643+1 ~x5630+1 ~x4607+1 ~x2545+1 ~x1836+1 ~x1703+1 ~x1570+1 ~x1436+1 ~x1303+1 ~x1170+1 ~x1036+60 x1002+1 ~x920+1 ~x903+1 ~x894+1 ~x879+1 ~x840+1 ~x813+1 ~x800+1 ~x773+1 ~x769+1 ~x760+1 ~x653+1 ~x636+1 ~x627+1 ~x587+1 ~x561+1 ~x533+1 ~x507+1 ~x503+1 ~x494+1 ~x480+1 ~x467+1 ~x454+1 ~x427+1 ~x413+1 ~x374+1 ~x370+1 ~x361+1 ~x347+1 ~x333+1 ~x320+1 ~x307+1 ~x294+1 ~x280+1 ~x267+1 ~x241+1 ~x237+1 ~x213+1 ~x200+1 ~x187+1 ~x174+1 ~x161+1 ~x147+1 ~x134+1 ~x121+1 ~x107+1 ~x103+1 ~x80+1 ~x67+1 ~x54+1 ~x41+1 ~x28+1 ~x14-0=248 13.38/13.42 c 64 ~x379874+32 ~x379873+16 ~x379872+8 ~x379871+4 ~x379870+2 ~x379869+1 ~x379868+1 ~x6389+1 ~x6382+1 ~x6363+1 ~x6350+1 ~x6336+1 ~x6310+1 ~x6297+1 ~x6283+1 ~x6256+1 ~x6249+1 ~x6243+1 ~x6230+1 ~x6190+40 x6182+1 ~x6176+1 ~x6163+1 ~x6136+1 ~x6123+1 ~x6116+1 ~x6110+1 ~x6097+1 ~x6084+1 ~x6069+1 ~x6056+1 ~x6030+1 ~x6017+1 ~x6003+1 ~x5990+1 ~x5983+1 ~x5977+1 ~x5964+1 ~x5950+1 ~x5936+1 ~x5923+1 ~x5910+1 ~x5897+1 ~x5884+1 ~x5870+1 ~x5857+1 ~x5850+1 ~x5843+1 ~x5830+1 ~x5817+1 ~x5803+1 ~x5790+1 ~x5777+1 ~x5764+1 ~x5751+1 ~x5736+1 ~x5723+1 ~x5716+1 ~x5710+1 ~x5697+1 ~x5684+1 ~x5670+1 ~x5657+1 ~x5644+1 ~x5631+1 ~x4725+1 ~x2699+1 ~x1847+1 ~x1714+1 ~x1581+1 ~x1448+1 ~x1314+1 ~x1181+60 x1114+1 ~x1047+1 ~x914+1 ~x895+1 ~x881+1 ~x841+1 ~x815+1 ~x801+1 ~x781+1 ~x774+1 ~x761+1 ~x654+1 ~x647+1 ~x628+1 ~x588+1 ~x562+1 ~x534+1 ~x514+1 ~x508+1 ~x495+1 ~x482+1 ~x468+1 ~x428+1 ~x415+1 ~x381+1 ~x375+1 ~x362+1 ~x349+1 ~x334+1 ~x321+1 ~x295+1 ~x268+1 ~x248+1 ~x242+1 ~x215+1 ~x201+1 ~x188+1 ~x175+1 ~x162+1 ~x149+1 ~x135+1 ~x115+1 ~x108+1 ~x82+1 ~x68+1 ~x55+1 ~x42-0=238 13.58/13.61 c 64 ~x387725+32 ~x387724+16 ~x387723+8 ~x387722+4 ~x387721+2 ~x387720+1 ~x387719+1 ~x6393+1 ~x6390+1 ~x6377+1 ~x6364+1 ~x6337+1 ~x6311+40 x6293+1 ~x6270+1 ~x6260+1 ~x6257+1 ~x6244+1 ~x6218+1 ~x6204+1 ~x6191+1 ~x6164+1 ~x6151+1 ~x6127+1 ~x6124+1 ~x6111+1 ~x6098+1 ~x6085+1 ~x6070+1 ~x6057+1 ~x6044+1 ~x6031+1 ~x6018+1 ~x6004+1 ~x5994+1 ~x5991+1 ~x5978+1 ~x5965+1 ~x5951+1 ~x5937+1 ~x5924+1 ~x5911+1 ~x5898+1 ~x5885+1 ~x5871+1 ~x5861+1 ~x5858+1 ~x5844+1 ~x5831+1 ~x5818+1 ~x5804+1 ~x5791+1 ~x5778+1 ~x5765+1 ~x5752+1 ~x5737+1 ~x5727+1 ~x5724+1 ~x5711+1 ~x5698+1 ~x5685+1 ~x5671+1 ~x5658+1 ~x5645+1 ~x5632+1 ~x4976+1 ~x2855+1 ~x1725+1 ~x1592+1 ~x1459+1 ~x1325+60 x1225+1 ~x1192+1 ~x1058+1 ~x925+1 ~x922+1 ~x855+1 ~x816+1 ~x792+1 ~x762+1 ~x658+1 ~x642+1 ~x616+1 ~x563+1 ~x535+1 ~x525+1 ~x456+1 ~x402+1 ~x392+1 ~x376+1 ~x363+1 ~x335+1 ~x322+1 ~x309+1 ~x296+1 ~x283+1 ~x259+1 ~x243+1 ~x230+1 ~x202+1 ~x189+1 ~x176+1 ~x136+1 ~x126+1 ~x123+1 ~x109+1 ~x83+1 ~x30+1 ~x17-0=227 13.68/13.78 c 64 ~x394817+32 ~x394816+16 ~x394815+8 ~x394814+4 ~x394813+2 ~x394812+1 ~x394811+1 ~x6391+1 ~x6378+1 ~x6365+1 ~x6352+1 ~x6325+1 ~x6312+1 ~x6299+1 ~x6285+1 ~x6272+1 ~x6271+1 ~x6245+1 ~x6232+1 ~x6219+1 ~x6206+1 ~x6192+1 ~x6178+1 ~x6165+1 ~x6139+1 ~x6138+1 ~x6125+1 ~x6112+1 ~x6099+1 ~x6086+1 ~x6073+1 ~x6058+1 ~x6045+1 ~x6032+1 ~x6019+1 ~x6006+1 ~x6005+1 ~x5992+1 ~x5979+1 ~x5966+1 ~x5952+1 ~x5939+1 ~x5925+1 ~x5912+1 ~x5899+1 ~x5886+1 ~x5873+1 ~x5872+1 ~x5859+1 ~x5845+1 ~x5832+1 ~x5819+1 ~x5806+1 ~x5792+1 ~x5779+1 ~x5766+1 ~x5753+1 ~x5740+1 ~x5739+1 ~x5725+1 ~x5712+1 ~x5699+1 ~x5686+1 ~x5673+1 ~x5659+1 ~x5646+1 ~x5633+1 ~x5073+1 ~x3068+1 ~x1869+1 ~x1736+1 ~x1603+1 ~x1470+1 ~x1337+60 x1336+1 ~x1203+1 ~x1069+1 ~x936+1 ~x910+1 ~x897+1 ~x843+1 ~x830+1 ~x803+1 ~x790+1 ~x776+1 ~x750+1 ~x737+1 ~x710+1 ~x697+1 ~x684+1 ~x671+1 ~x670+1 ~x577+1 ~x550+1 ~x536+1 ~x523+1 ~x443+1 ~x430+1 ~x417+1 ~x403+1 ~x390+1 ~x351+1 ~x323+1 ~x310+1 ~x284+1 ~x271+1 ~x270+1 ~x257+1 ~x244+1 ~x231+1 ~x217+1 ~x204+1 ~x177+1 ~x164+1 ~x151+1 ~x138+1 ~x137+1 ~x124+1 ~x97+1 ~x71+1 ~x57+1 ~x44+1 ~x31+1 ~x18+1 ~x5+1 ~x4+40 x3-0=245 13.88/13.97 c 64 ~x403205+32 ~x403204+16 ~x403203+8 ~x403202+4 ~x403201+2 ~x403200+1 ~x403199+1 ~x6392+1 ~x6379+1 ~x6366+1 ~x6353+1 ~x6326+1 ~x6313+1 ~x6300+1 ~x6286+1 ~x6282+1 ~x6273+1 ~x6246+1 ~x6233+1 ~x6220+1 ~x6207+1 ~x6193+1 ~x6179+1 ~x6166+1 ~x6149+1 ~x6140+1 ~x6126+1 ~x6113+1 ~x6100+1 ~x6087+1 ~x6059+1 ~x6046+1 ~x6033+1 ~x6020+1 ~x6016+1 ~x6007+1 ~x5980+1 ~x5967+1 ~x5953+1 ~x5940+1 ~x5926+1 ~x5913+1 ~x5900+1 ~x5887+1 ~x5883+1 ~x5874+1 ~x5860+1 ~x5846+1 ~x5833+1 ~x5820+1 ~x5807+1 ~x5793+1 ~x5780+1 ~x5767+1 ~x5754+1 ~x5750+1 ~x5726+1 ~x5713+1 ~x5700+1 ~x5687+1 ~x5674+1 ~x5660+1 ~x5647+1 ~x5634+1 ~x5315+1 ~x3185+1 ~x1880+1 ~x1747+1 ~x1614+1 ~x1481+60 x1447+1 ~x1348+1 ~x1214+1 ~x1080+1 ~x947+1 ~x898+1 ~x844+1 ~x831+1 ~x814+1 ~x791+1 ~x777+1 ~x738+1 ~x724+1 ~x711+1 ~x698+1 ~x685+1 ~x681+1 ~x672+1 ~x631+1 ~x605+1 ~x578+1 ~x551+1 ~x547+1 ~x498+1 ~x444+1 ~x431+1 ~x418+1 ~x414+1 ~x391+1 ~x352+1 ~x324+1 ~x311+1 ~x285+1 ~x281+1 ~x272+1 ~x258+1 ~x245+1 ~x232+1 ~x218+1 ~x205+1 ~x178+1 ~x165+1 ~x152+1 ~x148+1 ~x139+40 x114+1 ~x98+1 ~x72+1 ~x58+1 ~x45+1 ~x32+1 ~x19+1 ~x15+1 ~x6-0=243 14.09/14.17 c 64 ~x411335+32 ~x411334+16 ~x411333+8 ~x411332+4 ~x411331+2 ~x411330+1 ~x411329+1 ~x6394+1 ~x6380+1 ~x6367+1 ~x6354+1 ~x6341+1 ~x6328+1 ~x6314+1 ~x6301+1 ~x6294+1 ~x6274+1 ~x6234+1 ~x6221+1 ~x6208+1 ~x6180+1 ~x6167+1 ~x6160+1 ~x6154+1 ~x6141+1 ~x6128+1 ~x6114+1 ~x6101+1 ~x6088+1 ~x6075+1 ~x6061+1 ~x6047+1 ~x6034+1 ~x6027+1 ~x6021+1 ~x6008+1 ~x5995+1 ~x5981+1 ~x5968+1 ~x5954+1 ~x5941+1 ~x5928+1 ~x5914+1 ~x5901+1 ~x5894+1 ~x5888+1 ~x5875+1 ~x5862+1 ~x5847+1 ~x5834+1 ~x5821+1 ~x5808+1 ~x5795+1 ~x5781+1 ~x5768+1 ~x5761+1 ~x5742+1 ~x5728+1 ~x5714+1 ~x5701+1 ~x5688+1 ~x5675+1 ~x5662+1 ~x5648+1 ~x5635+1 ~x5421+1 ~x3436+1 ~x1892+1 ~x1758+1 ~x1625+60 x1558+1 ~x1492+1 ~x1359+1 ~x1226+1 ~x1091+1 ~x958+1 ~x926+1 ~x912+1 ~x859+1 ~x825+1 ~x793+1 ~x752+1 ~x739+1 ~x712+1 ~x692+1 ~x686+1 ~x619+1 ~x559+1 ~x552+1 ~x526+1 ~x445+1 ~x425+1 ~x406+1 ~x393+1 ~x379+1 ~x353+1 ~x312+1 ~x299+1 ~x292+1 ~x286+1 ~x260+1 ~x246+1 ~x233+40 x225+1 ~x219+1 ~x166+1 ~x159+1 ~x153+1 ~x127+1 ~x112+1 ~x99+1 ~x86+1 ~x60+1 ~x46+1 ~x33+1 ~x26+1 ~x20+1 ~x7-0=236 14.29/14.36 c 1024 ~x419052+512 ~x419051+256 ~x419050+128 ~x419049+64 ~x419048+32 ~x419047+16 ~x419046+8 ~x419045+4 ~x419044+2 ~x419043+1 ~x419042+15 ~x6395+9 ~x6381+14 ~x6368+9 ~x6355+11 ~x6342+9 ~x6329+11 ~x6315+6 ~x6305+15 ~x6302+9 ~x6288+15 ~x6275+15 ~x6262+10 ~x6248+9 ~x6235+14 ~x6222+11 ~x6209+14 ~x6196+15 ~x6181+9 ~x6171+14 ~x6168+15 ~x6155+10 ~x6142+11 ~x6129+9 ~x6115+9 ~x6102+9 ~x6089+8 ~x6076+5 ~x6062+9 ~x6048+7 ~x6038+8 ~x6035+6 ~x6022+7 ~x6009+8 ~x5996+7 ~x5982+6 ~x5969+7 ~x5955+7 ~x5942+6 ~x5929+9 ~x5915+6 ~x5905+6 ~x5902+7 ~x5889+9 ~x5876+8 ~x5863+8 ~x5848+8 ~x5835+8 ~x5822+8 ~x5809+8 ~x5796+7 ~x5782+9 ~x5772+6 ~x5769+5 ~x5756+7 ~x5743+7 ~x5729+7 ~x5715+5 ~x5702+8 ~x5689+6 ~x5676+9 ~x5663+8 ~x5649+9 ~x5639+8 ~x5636+7 ~x5622+7 ~x3533+960 x2039+480 x2038+240 x2037+120 x2036+60 x2035+30 x2034+960 x2019+480 x2018+240 x2017+120 x2016+60 x2015+30 x2014+960 x1999+480 x1998+240 x1997+120 x1996+60 x1995+30 x1994+960 x1978+480 x1977+240 x1976+120 x1975+60 x1974+30 x1973+960 x1958+480 x1957+240 x1956+120 x1955+60 x1954+30 x1953+960 x1938+480 x1937+240 x1936+120 x1935+60 x1934+30 x1933+7 ~x1903+9 ~x1769+5 ~x1636+8 ~x1503+8 ~x1370+9 ~x1237+5 ~x1102+7 ~x969+12 ~x913+10 ~x886+9 ~x873+9 ~x836+11 ~x833+8 ~x820+9 ~x807+9 ~x779+11 ~x766+9 ~x713+7 ~x703+11 ~x700+10 ~x687+11 ~x674+10 ~x660+9 ~x620+8 ~x594+11 ~x580+6 ~x570+8 ~x567+12 ~x553+9 ~x527+9 ~x500+10 ~x487+8 ~x436+10 ~x433+9 ~x420+9 ~x407+9 ~x380+9 ~x367+12 ~x354+10 ~x341+9 ~x313+8 ~x303+15 ~x300+10 ~x287+12 ~x274+13 ~x261+12 ~x247+15 ~x234+15 ~x220+14 ~x207+11 ~x194+9 ~x180+8 ~x170+14 ~x167+13 ~x154+9 ~x141+12 ~x128+11 ~x113+9 ~x100+10 ~x87+10 ~x74+12 ~x61+13 ~x47+9 ~x37+12 ~x34+15 ~x21+15 ~x8-0=3312 14.79/14.84 c 1024 ~x439433+512 ~x439432+256 ~x439431+128 ~x439430+64 ~x439429+32 ~x439428+16 ~x439427+8 ~x439426+4 ~x439425+2 ~x439424+1 ~x439423+15 ~x6396+9 ~x6383+14 ~x6369+9 ~x6356+11 ~x6343+9 ~x6330+11 ~x6317+6 ~x6316+15 ~x6303+9 ~x6289+15 ~x6276+15 ~x6263+10 ~x6250+9 ~x6236+14 ~x6223+11 ~x6210+14 ~x6197+15 ~x6184+9 ~x6183+14 ~x6169+15 ~x6156+10 ~x6143+11 ~x6130+9 ~x6117+9 ~x6103+9 ~x6090+8 ~x6077+5 ~x6063+9 ~x6050+7 ~x6049+8 ~x6036+6 ~x6023+7 ~x6010+8 ~x5997+7 ~x5984+6 ~x5970+7 ~x5956+7 ~x5943+6 ~x5930+9 ~x5917+6 ~x5916+6 ~x5903+7 ~x5890+9 ~x5877+8 ~x5864+8 ~x5851+8 ~x5836+8 ~x5823+8 ~x5810+8 ~x5797+7 ~x5784+9 ~x5783+6 ~x5770+5 ~x5757+7 ~x5744+7 ~x5730+7 ~x5717+5 ~x5703+8 ~x5690+6 ~x5677+9 ~x5664+8 ~x5651+9 ~x5650+8 ~x5637+7 ~x5623+7 ~x3775+960 x2347+480 x2346+240 x2345+120 x2344+60 x2343+30 x2342+960 x2326+480 x2325+240 x2324+120 x2323+60 x2322+30 x2321+960 x2306+480 x2305+240 x2304+120 x2303+60 x2302+30 x2301+960 x2286+480 x2285+240 x2284+120 x2283+60 x2282+30 x2281+960 x2266+480 x2265+240 x2264+120 x2263+60 x2262+30 x2261+960 x2246+480 x2245+240 x2244+120 x2243+60 x2242+30 x2241+7 ~x1914+9 ~x1781+5 ~x1647+8 ~x1514+8 ~x1381+9 ~x1248+5 ~x1115+7 ~x980+12 ~x915+10 ~x887+9 ~x874+9 ~x847+11 ~x834+8 ~x821+9 ~x808+11 ~x767+9 ~x715+7 ~x714+10 ~x688+11 ~x675+10 ~x661+11 ~x648+9 ~x621+8 ~x595+11 ~x582+6 ~x581+8 ~x568+12 ~x554+9 ~x528+9 ~x501+10 ~x488+8 ~x448+9 ~x421+9 ~x408+9 ~x382+9 ~x368+12 ~x355+10 ~x342+10 ~x328+9 ~x315+8 ~x314+15 ~x301+10 ~x288+12 ~x275+13 ~x262+12 ~x249+15 ~x235+15 ~x221+14 ~x208+11 ~x195+9 ~x182+8 ~x181+14 ~x168+13 ~x155+9 ~x142+12 ~x129+11 ~x116+9 ~x101+10 ~x88+10 ~x75+12 ~x62+13 ~x49+9 ~x48+12 ~x35+15 ~x22+15 ~x9-0=3303 15.29/15.31 c 1024 ~x459697+512 ~x459696+256 ~x459695+128 ~x459694+64 ~x459693+32 ~x459692+16 ~x459691+8 ~x459690+4 ~x459689+2 ~x459688+1 ~x459687+15 ~x6397+9 ~x6384+14 ~x6370+9 ~x6357+9 ~x6331+6 ~x6327+11 ~x6318+15 ~x6304+15 ~x6277+15 ~x6264+10 ~x6251+9 ~x6237+11 ~x6211+14 ~x6198+9 ~x6194+15 ~x6185+15 ~x6157+10 ~x6144+11 ~x6131+9 ~x6118+9 ~x6104+9 ~x6091+8 ~x6078+5 ~x6064+7 ~x6060+9 ~x6051+8 ~x6037+6 ~x6024+7 ~x6011+8 ~x5998+7 ~x5985+6 ~x5971+7 ~x5957+7 ~x5944+6 ~x5931+6 ~x5927+9 ~x5918+6 ~x5904+7 ~x5891+9 ~x5878+8 ~x5865+8 ~x5852+8 ~x5837+8 ~x5824+8 ~x5811+8 ~x5798+9 ~x5794+7 ~x5785+6 ~x5771+5 ~x5758+7 ~x5745+7 ~x5731+7 ~x5718+5 ~x5704+8 ~x5691+6 ~x5678+9 ~x5665+9 ~x5661+8 ~x5652+8 ~x5638+7 ~x5624+7 ~x3881+960 x2654+480 x2653+240 x2652+120 x2651+60 x2650+30 x2649+960 x2634+480 x2633+240 x2632+120 x2631+60 x2630+30 x2629+960 x2614+480 x2613+240 x2612+120 x2611+60 x2610+30 x2609+960 x2594+480 x2593+240 x2592+120 x2591+60 x2590+30 x2589+960 x2574+480 x2573+240 x2572+120 x2571+60 x2570+30 x2569+960 x2554+480 x2553+240 x2552+120 x2551+60 x2550+30 x2549+7 ~x1925+9 ~x1792+5 ~x1658+8 ~x1525+8 ~x1392+9 ~x1259+5 ~x1126+7 ~x991+12 ~x916+9 ~x858+9 ~x849+9 ~x809+12 ~x755+7 ~x725+11 ~x635+12 ~x609+6 ~x592+12 ~x555+9 ~x529+8 ~x459+7 ~x450+10 ~x435+11 ~x396+9 ~x369+12 ~x356+10 ~x329+8 ~x325+9 ~x316+15 ~x302+10 ~x289+12 ~x276+12 ~x250+15 ~x236+15 ~x222+14 ~x209+11 ~x196+8 ~x192+9 ~x183+14 ~x169+9 ~x143+12 ~x130+11 ~x117+9 ~x102+10 ~x89+10 ~x76+9 ~x59+12 ~x36+15 ~x23+15 ~x10-0=3084 15.68/15.74 c 1024 ~x477516+512 ~x477515+256 ~x477514+128 ~x477513+64 ~x477512+32 ~x477511+16 ~x477510+8 ~x477509+4 ~x477508+2 ~x477507+1 ~x477506+15 ~x6398+9 ~x6385+14 ~x6372+9 ~x6358+11 ~x6345+6 ~x6338+9 ~x6332+11 ~x6319+15 ~x6306+9 ~x6291+15 ~x6278+15 ~x6265+10 ~x6252+9 ~x6239+14 ~x6225+11 ~x6212+9 ~x6205+14 ~x6199+15 ~x6186+14 ~x6172+15 ~x6158+10 ~x6145+11 ~x6132+9 ~x6119+9 ~x6106+9 ~x6092+8 ~x6079+7 ~x6072+5 ~x6065+9 ~x6052+8 ~x6039+6 ~x6025+7 ~x6012+8 ~x5999+7 ~x5986+6 ~x5973+7 ~x5958+7 ~x5945+6 ~x5938+6 ~x5932+9 ~x5919+6 ~x5906+7 ~x5892+9 ~x5879+8 ~x5866+8 ~x5853+8 ~x5839+8 ~x5825+8 ~x5812+9 ~x5805+8 ~x5799+7 ~x5786+6 ~x5773+5 ~x5759+7 ~x5746+7 ~x5732+7 ~x5719+5 ~x5706+8 ~x5692+6 ~x5679+9 ~x5672+9 ~x5666+8 ~x5653+8 ~x5640+7 ~x5625+7 ~x4085+960 x2962+480 x2961+240 x2960+120 x2959+60 x2958+30 x2957+960 x2942+480 x2941+240 x2940+120 x2939+60 x2938+30 x2937+960 x2922+480 x2921+240 x2920+120 x2919+60 x2918+30 x2917+960 x2902+480 x2901+240 x2900+120 x2899+60 x2898+30 x2897+960 x2882+480 x2881+240 x2880+120 x2879+60 x2878+30 x2877+960 x2862+480 x2861+240 x2860+120 x2859+60 x2858+30 x2857+7 ~x1993+9 ~x1803+5 ~x1670+8 ~x1536+8 ~x1403+9 ~x1270+5 ~x1137+7 ~x1003+12 ~x917+10 ~x889+9 ~x876+9 ~x869+11 ~x837+8 ~x823+9 ~x810+11 ~x770+12 ~x756+7 ~x736+9 ~x717+11 ~x677+10 ~x663+11 ~x650+9 ~x623+6 ~x603+8 ~x597+11 ~x584+8 ~x571+12 ~x556+9 ~x530+9 ~x504+10 ~x490+8 ~x470+7 ~x451+9 ~x423+9 ~x410+9 ~x384+9 ~x371+12 ~x357+10 ~x344+8 ~x337+10 ~x330+9 ~x317+15 ~x304+10 ~x290+12 ~x277+13 ~x264+12 ~x251+15 ~x238+15 ~x223+14 ~x210+8 ~x203+11 ~x197+9 ~x184+14 ~x171+13 ~x157+9 ~x144+12 ~x131+11 ~x118+9 ~x104+10 ~x90+10 ~x77+9 ~x70+12 ~x64+13 ~x51+12 ~x38+15 ~x24+15 ~x11-0=3312 16.18/16.21 c 1024 ~x497870+512 ~x497869+256 ~x497868+128 ~x497867+64 ~x497866+32 ~x497865+16 ~x497864+8 ~x497863+4 ~x497862+2 ~x497861+1 ~x497860+15 ~x6399+9 ~x6386+14 ~x6373+9 ~x6359+6 ~x6349+11 ~x6346+9 ~x6333+11 ~x6320+15 ~x6307+9 ~x6292+15 ~x6279+15 ~x6266+10 ~x6253+9 ~x6240+14 ~x6226+9 ~x6216+11 ~x6213+14 ~x6200+15 ~x6187+14 ~x6173+15 ~x6159+10 ~x6146+11 ~x6133+9 ~x6120+9 ~x6107+9 ~x6093+7 ~x6083+8 ~x6080+5 ~x6066+9 ~x6053+8 ~x6040+6 ~x6026+7 ~x6013+8 ~x6000+7 ~x5987+6 ~x5974+7 ~x5959+6 ~x5949+7 ~x5946+6 ~x5933+9 ~x5920+6 ~x5907+7 ~x5893+9 ~x5880+8 ~x5867+8 ~x5854+8 ~x5840+8 ~x5826+9 ~x5816+8 ~x5813+8 ~x5800+7 ~x5787+6 ~x5774+5 ~x5760+7 ~x5747+7 ~x5733+7 ~x5720+5 ~x5707+8 ~x5693+9 ~x5683+6 ~x5680+9 ~x5667+8 ~x5654+8 ~x5641+7 ~x5626+7 ~x4239+960 x3271+480 x3270+240 x3269+120 x3268+60 x3267+30 x3266+960 x3251+480 x3250+240 x3249+120 x3248+60 x3247+30 x3246+960 x3231+480 x3230+240 x3229+120 x3228+60 x3227+30 x3226+960 x3211+480 x3210+240 x3209+120 x3208+60 x3207+30 x3206+960 x3191+480 x3190+240 x3189+120 x3188+60 x3187+30 x3186+960 x3170+480 x3169+240 x3168+120 x3167+60 x3166+30 x3165+7 ~x2235+9 ~x1814+5 ~x1681+8 ~x1547+8 ~x1414+9 ~x1281+5 ~x1148+7 ~x1014+12 ~x918+10 ~x890+9 ~x880+9 ~x877+11 ~x838+8 ~x824+9 ~x811+9 ~x785+11 ~x771+7 ~x747+9 ~x718+11 ~x705+10 ~x691+11 ~x678+10 ~x664+9 ~x624+6 ~x614+8 ~x598+11 ~x585+8 ~x572+12 ~x557+9 ~x531+9 ~x505+10 ~x491+8 ~x481+10 ~x438+9 ~x424+9 ~x411+9 ~x385+9 ~x372+12 ~x358+8 ~x348+10 ~x345+9 ~x318+15 ~x305+10 ~x291+12 ~x278+13 ~x265+12 ~x252+15 ~x239+15 ~x224+8 ~x214+14 ~x211+11 ~x198+9 ~x185+14 ~x172+13 ~x158+9 ~x145+12 ~x132+11 ~x119+9 ~x105+10 ~x91+9 ~x81+10 ~x78+12 ~x65+13 ~x52+12 ~x39+15 ~x25+15 ~x12-0=3312 16.68/16.70 c 1024 ~x518221+512 ~x518220+256 ~x518219+128 ~x518218+64 ~x518217+32 ~x518216+16 ~x518215+8 ~x518214+4 ~x518213+2 ~x518212+1 ~x518211+15 ~x6400+9 ~x6387+14 ~x6374+9 ~x6361+6 ~x6360+9 ~x6334+11 ~x6321+15 ~x6308+15 ~x6280+15 ~x6267+10 ~x6254+9 ~x6241+9 ~x6227+11 ~x6214+14 ~x6201+15 ~x6188+15 ~x6161+10 ~x6147+11 ~x6134+9 ~x6121+9 ~x6108+9 ~x6095+7 ~x6094+8 ~x6081+5 ~x6067+9 ~x6054+8 ~x6041+6 ~x6028+7 ~x6014+8 ~x6001+7 ~x5988+6 ~x5975+7 ~x5962+6 ~x5961+7 ~x5947+6 ~x5934+9 ~x5921+6 ~x5908+7 ~x5895+9 ~x5881+8 ~x5868+8 ~x5855+8 ~x5841+8 ~x5828+9 ~x5827+8 ~x5814+8 ~x5801+7 ~x5788+6 ~x5775+5 ~x5762+7 ~x5748+7 ~x5734+7 ~x5721+5 ~x5708+8 ~x5695+9 ~x5694+6 ~x5681+9 ~x5668+8 ~x5655+8 ~x5642+7 ~x5629+7 ~x4395+960 x3579+480 x3578+240 x3577+120 x3576+60 x3575+30 x3574+960 x3559+480 x3558+240 x3557+120 x3556+60 x3555+30 x3554+960 x3539+480 x3538+240 x3537+120 x3536+60 x3535+30 x3534+960 x3518+480 x3517+240 x3516+120 x3515+60 x3514+30 x3513+960 x3498+480 x3497+240 x3496+120 x3495+60 x3494+30 x3493+960 x3478+480 x3477+240 x3476+120 x3475+60 x3474+30 x3473+7 ~x2341+9 ~x1825+5 ~x1692+8 ~x1559+8 ~x1425+9 ~x1292+5 ~x1159+7 ~x1025+12 ~x919+9 ~x892+9 ~x852+9 ~x812+12 ~x759+7 ~x758+11 ~x639+6 ~x625+12 ~x612+12 ~x560+9 ~x532+8 ~x492+7 ~x453+10 ~x439+11 ~x399+9 ~x373+12 ~x360+8 ~x359+10 ~x332+9 ~x319+15 ~x306+10 ~x293+12 ~x279+12 ~x253+15 ~x240+15 ~x227+8 ~x226+14 ~x212+11 ~x199+9 ~x186+14 ~x173+9 ~x146+12 ~x133+11 ~x120+9 ~x106+10 ~x93+9 ~x92+10 ~x79+12 ~x40+15 ~x27+15 ~x13-0=3084 17.08/17.12 c 1024 ~x536028+512 ~x536027+256 ~x536026+128 ~x536025+64 ~x536024+32 ~x536023+16 ~x536022+8 ~x536021+4 ~x536020+2 ~x536019+1 ~x536018+9 ~x6388+14 ~x6375+6 ~x6371+9 ~x6362+11 ~x6348+9 ~x6335+15 ~x6309+9 ~x6296+15 ~x6281+10 ~x6255+9 ~x6242+9 ~x6238+14 ~x6229+15 ~x6189+14 ~x6175+15 ~x6162+10 ~x6148+11 ~x6135+9 ~x6122+9 ~x6109+7 ~x6105+9 ~x6096+8 ~x6082+5 ~x6068+9 ~x6055+8 ~x6042+6 ~x6029+7 ~x6015+8 ~x6002+7 ~x5989+6 ~x5976+6 ~x5972+7 ~x5963+7 ~x5948+6 ~x5935+9 ~x5922+6 ~x5909+7 ~x5896+9 ~x5882+8 ~x5869+8 ~x5856+8 ~x5842+9 ~x5838+8 ~x5829+8 ~x5815+8 ~x5802+7 ~x5789+6 ~x5776+5 ~x5763+7 ~x5749+7 ~x5735+7 ~x5722+5 ~x5709+9 ~x5705+8 ~x5696+6 ~x5682+9 ~x5669+8 ~x5656+8 ~x5643+7 ~x5630+7 ~x4607+960 x3887+480 x3886+240 x3885+120 x3884+60 x3883+30 x3882+960 x3866+480 x3865+240 x3864+120 x3863+60 x3862+30 x3861+960 x3846+480 x3845+240 x3844+120 x3843+60 x3842+30 x3841+960 x3826+480 x3825+240 x3824+120 x3823+60 x3822+30 x3821+960 x3806+480 x3805+240 x3804+120 x3803+60 x3802+30 x3801+960 x3786+480 x3785+240 x3784+120 x3783+60 x3782+30 x3781+7 ~x2545+9 ~x1836+5 ~x1703+8 ~x1570+8 ~x1436+9 ~x1303+5 ~x1170+7 ~x1036+12 ~x920+9 ~x903+10 ~x894+9 ~x879+11 ~x840+9 ~x813+8 ~x800+11 ~x773+7 ~x769+12 ~x760+11 ~x653+6 ~x636+9 ~x627+11 ~x587+12 ~x561+9 ~x533+9 ~x507+8 ~x503+10 ~x494+10 ~x480+8 ~x467+7 ~x454+9 ~x427+9 ~x413+9 ~x374+8 ~x370+12 ~x361+10 ~x347+10 ~x333+9 ~x320+15 ~x307+10 ~x294+12 ~x280+13 ~x267+15 ~x241+8 ~x237+14 ~x213+11 ~x200+9 ~x187+14 ~x174+13 ~x161+9 ~x147+12 ~x134+11 ~x121+9 ~x107+9 ~x103+10 ~x80+12 ~x67+13 ~x54+12 ~x41+15 ~x28+15 ~x14-0=3172 17.49/17.56 c 512 ~x554974+256 ~x554973+128 ~x554972+64 ~x554971+32 ~x554970+16 ~x554969+8 ~x554968+4 ~x554967+2 ~x554966+1 ~x554965+9 ~x6389+6 ~x6382+9 ~x6363+11 ~x6350+9 ~x6336+15 ~x6310+9 ~x6297+15 ~x6283+10 ~x6256+9 ~x6249+9 ~x6243+14 ~x6230+15 ~x6190+14 ~x6176+15 ~x6163+11 ~x6136+9 ~x6123+7 ~x6116+9 ~x6110+9 ~x6097+8 ~x6084+5 ~x6069+9 ~x6056+6 ~x6030+7 ~x6017+8 ~x6003+7 ~x5990+6 ~x5983+6 ~x5977+7 ~x5964+7 ~x5950+6 ~x5936+9 ~x5923+6 ~x5910+7 ~x5897+9 ~x5884+8 ~x5870+8 ~x5857+9 ~x5850+8 ~x5843+8 ~x5830+8 ~x5817+8 ~x5803+7 ~x5790+6 ~x5777+5 ~x5764+7 ~x5751+7 ~x5736+7 ~x5723+9 ~x5716+5 ~x5710+8 ~x5697+6 ~x5684+9 ~x5670+8 ~x5657+8 ~x5644+7 ~x5631+7 ~x4725+960 x4194+480 x4193+240 x4192+120 x4191+60 x4190+30 x4189+960 x4174+480 x4173+240 x4172+120 x4171+60 x4170+30 x4169+960 x4154+480 x4153+240 x4152+120 x4151+60 x4150+30 x4149+960 x4134+480 x4133+240 x4132+120 x4131+60 x4130+30 x4129+960 x4114+480 x4113+240 x4112+120 x4111+60 x4110+30 x4109+960 x4094+480 x4093+240 x4092+120 x4091+60 x4090+30 x4089+7 ~x2699+9 ~x1847+5 ~x1714+8 ~x1581+8 ~x1448+9 ~x1314+5 ~x1181+7 ~x1047+9 ~x914+10 ~x895+9 ~x881+11 ~x841+9 ~x815+8 ~x801+7 ~x781+11 ~x774+12 ~x761+11 ~x654+6 ~x647+9 ~x628+11 ~x588+12 ~x562+9 ~x534+8 ~x514+9 ~x508+10 ~x495+10 ~x482+8 ~x468+9 ~x428+9 ~x415+8 ~x381+9 ~x375+12 ~x362+10 ~x349+10 ~x334+9 ~x321+10 ~x295+13 ~x268+8 ~x248+15 ~x242+14 ~x215+11 ~x201+9 ~x188+14 ~x175+13 ~x162+9 ~x149+12 ~x135+9 ~x115+9 ~x108+10 ~x82+12 ~x68+13 ~x55+12 ~x42-0=2029 17.88/17.98 c 512 ~x572657+256 ~x572656+128 ~x572655+64 ~x572654+32 ~x572653+16 ~x572652+8 ~x572651+4 ~x572650+2 ~x572649+1 ~x572648+6 ~x6393+9 ~x6390+14 ~x6377+9 ~x6364+9 ~x6337+15 ~x6311+15 ~x6270+9 ~x6260+10 ~x6257+9 ~x6244+11 ~x6218+14 ~x6204+15 ~x6191+15 ~x6164+10 ~x6151+7 ~x6127+9 ~x6124+9 ~x6111+9 ~x6098+8 ~x6085+5 ~x6070+9 ~x6057+8 ~x6044+6 ~x6031+7 ~x6018+8 ~x6004+6 ~x5994+7 ~x5991+6 ~x5978+7 ~x5965+7 ~x5951+6 ~x5937+9 ~x5924+6 ~x5911+7 ~x5898+9 ~x5885+8 ~x5871+9 ~x5861+8 ~x5858+8 ~x5844+8 ~x5831+8 ~x5818+8 ~x5804+7 ~x5791+6 ~x5778+5 ~x5765+7 ~x5752+7 ~x5737+9 ~x5727+7 ~x5724+5 ~x5711+8 ~x5698+6 ~x5685+9 ~x5671+8 ~x5658+8 ~x5645+7 ~x5632+7 ~x4976+960 x4502+480 x4501+240 x4500+120 x4499+60 x4498+30 x4497+960 x4482+480 x4481+240 x4480+120 x4479+60 x4478+30 x4477+960 x4462+480 x4461+240 x4460+120 x4459+60 x4458+30 x4457+960 x4402+480 x4401+240 x4400+120 x4399+60 x4398+30 x4397+7 ~x2855+5 ~x1725+8 ~x1592+8 ~x1459+9 ~x1325+5 ~x1192+7 ~x1058+9 ~x925+12 ~x922+9 ~x855+9 ~x816+7 ~x792+12 ~x762+6 ~x658+11 ~x642+12 ~x616+12 ~x563+9 ~x535+8 ~x525+7 ~x456+11 ~x402+8 ~x392+9 ~x376+12 ~x363+10 ~x335+9 ~x322+15 ~x309+10 ~x296+12 ~x283+8 ~x259+15 ~x243+15 ~x230+11 ~x202+9 ~x189+14 ~x176+12 ~x136+9 ~x126+11 ~x123+9 ~x109+10 ~x83+15 ~x30+15 ~x17-0=1932 18.28/18.33 c 1024 ~x587662+512 ~x587661+256 ~x587660+128 ~x587659+64 ~x587658+32 ~x587657+16 ~x587656+8 ~x587655+4 ~x587654+2 ~x587653+1 ~x587652+9 ~x6391+14 ~x6378+9 ~x6365+11 ~x6352+11 ~x6325+15 ~x6312+9 ~x6299+15 ~x6285+15 ~x6272+9 ~x6271+9 ~x6245+14 ~x6232+11 ~x6219+14 ~x6206+15 ~x6192+14 ~x6178+15 ~x6165+11 ~x6139+7 ~x6138+9 ~x6125+9 ~x6112+9 ~x6099+8 ~x6086+5 ~x6073+9 ~x6058+8 ~x6045+6 ~x6032+7 ~x6019+8 ~x6006+6 ~x6005+7 ~x5992+6 ~x5979+7 ~x5966+7 ~x5952+6 ~x5939+9 ~x5925+6 ~x5912+7 ~x5899+9 ~x5886+8 ~x5873+9 ~x5872+8 ~x5859+8 ~x5845+8 ~x5832+8 ~x5819+8 ~x5806+7 ~x5792+6 ~x5779+5 ~x5766+7 ~x5753+7 ~x5740+9 ~x5739+7 ~x5725+5 ~x5712+8 ~x5699+6 ~x5686+9 ~x5673+8 ~x5659+8 ~x5646+7 ~x5633+7 ~x5073+960 x4791+480 x4790+240 x4789+120 x4788+60 x4787+30 x4786+960 x4771+480 x4770+240 x4769+120 x4768+60 x4767+30 x4766+960 x4751+480 x4750+240 x4749+120 x4748+60 x4747+30 x4746+960 x4731+480 x4730+240 x4729+120 x4728+60 x4727+30 x4726+960 x4709+480 x4708+240 x4707+120 x4706+60 x4705+30 x4704+7 ~x3068+9 ~x1869+5 ~x1736+8 ~x1603+8 ~x1470+9 ~x1337+5 ~x1203+7 ~x1069+9 ~x936+9 ~x910+10 ~x897+11 ~x843+8 ~x830+7 ~x803+9 ~x790+11 ~x776+11 ~x750+10 ~x737+11 ~x710+10 ~x697+11 ~x684+10 ~x671+6 ~x670+8 ~x577+10 ~x550+8 ~x536+9 ~x523+10 ~x443+9 ~x430+9 ~x417+8 ~x403+9 ~x390+10 ~x351+9 ~x323+15 ~x310+12 ~x284+13 ~x271+8 ~x270+12 ~x257+15 ~x244+15 ~x231+14 ~x217+11 ~x204+14 ~x177+13 ~x164+9 ~x151+12 ~x138+9 ~x137+11 ~x124+10 ~x97+12 ~x71+13 ~x57+12 ~x44+15 ~x31+15 ~x18+15 ~x5+6 ~x4-0=3166 18.69/18.75 c 1024 ~x605571+512 ~x605570+256 ~x605569+128 ~x605568+64 ~x605567+32 ~x605566+16 ~x605565+8 ~x605564+4 ~x605563+2 ~x605562+1 ~x605561+9 ~x6392+14 ~x6379+9 ~x6366+11 ~x6353+11 ~x6326+15 ~x6313+9 ~x6300+15 ~x6286+9 ~x6282+15 ~x6273+9 ~x6246+14 ~x6233+11 ~x6220+14 ~x6207+15 ~x6193+14 ~x6179+15 ~x6166+7 ~x6149+11 ~x6140+9 ~x6126+9 ~x6113+9 ~x6100+8 ~x6087+9 ~x6059+8 ~x6046+6 ~x6033+7 ~x6020+6 ~x6016+8 ~x6007+6 ~x5980+7 ~x5967+7 ~x5953+6 ~x5940+9 ~x5926+6 ~x5913+7 ~x5900+9 ~x5887+9 ~x5883+8 ~x5874+8 ~x5860+8 ~x5846+8 ~x5833+8 ~x5820+8 ~x5807+7 ~x5793+6 ~x5780+5 ~x5767+7 ~x5754+9 ~x5750+7 ~x5726+5 ~x5713+8 ~x5700+6 ~x5687+9 ~x5674+8 ~x5660+8 ~x5647+7 ~x5634+7 ~x5315+960 x5099+480 x5098+240 x5097+120 x5096+60 x5095+30 x5094+960 x5079+480 x5078+240 x5077+120 x5076+60 x5075+30 x5074+960 x5058+480 x5057+240 x5056+120 x5055+60 x5054+30 x5053+960 x5038+480 x5037+240 x5036+120 x5035+60 x5034+30 x5033+960 x5018+480 x5017+240 x5016+120 x5015+60 x5014+30 x5013+7 ~x3185+9 ~x1880+5 ~x1747+8 ~x1614+8 ~x1481+9 ~x1348+5 ~x1214+7 ~x1080+9 ~x947+10 ~x898+11 ~x844+8 ~x831+7 ~x814+9 ~x791+11 ~x777+10 ~x738+9 ~x724+11 ~x711+10 ~x698+11 ~x685+6 ~x681+10 ~x672+9 ~x631+8 ~x605+8 ~x578+10 ~x551+8 ~x547+10 ~x498+10 ~x444+9 ~x431+9 ~x418+8 ~x414+9 ~x391+10 ~x352+9 ~x324+15 ~x311+12 ~x285+8 ~x281+13 ~x272+12 ~x258+15 ~x245+15 ~x232+14 ~x218+11 ~x205+14 ~x178+13 ~x165+9 ~x152+9 ~x148+12 ~x139+10 ~x98+12 ~x72+13 ~x58+12 ~x45+15 ~x32+15 ~x19+6 ~x15+15 ~x6-0=3155 19.08/19.16 c 512 ~x623125+256 ~x623124+128 ~x623123+64 ~x623122+32 ~x623121+16 ~x623120+8 ~x623119+4 ~x623118+2 ~x623117+1 ~x623116+9 ~x6394+14 ~x6380+9 ~x6367+11 ~x6354+9 ~x6341+11 ~x6328+15 ~x6314+9 ~x6301+9 ~x6294+15 ~x6274+14 ~x6234+11 ~x6221+14 ~x6208+14 ~x6180+15 ~x6167+7 ~x6160+10 ~x6154+11 ~x6141+9 ~x6128+9 ~x6114+9 ~x6101+8 ~x6088+5 ~x6075+9 ~x6061+8 ~x6047+6 ~x6034+6 ~x6027+7 ~x6021+8 ~x6008+7 ~x5995+6 ~x5981+7 ~x5968+7 ~x5954+6 ~x5941+9 ~x5928+6 ~x5914+7 ~x5901+9 ~x5894+9 ~x5888+8 ~x5875+8 ~x5862+8 ~x5847+8 ~x5834+8 ~x5821+8 ~x5808+7 ~x5795+6 ~x5781+5 ~x5768+9 ~x5761+7 ~x5742+7 ~x5728+5 ~x5714+8 ~x5701+6 ~x5688+9 ~x5675+8 ~x5662+8 ~x5648+7 ~x5635+7 ~x5421+960 x5406+480 x5405+240 x5404+120 x5403+60 x5402+30 x5401+960 x5386+480 x5385+240 x5384+120 x5383+60 x5382+30 x5381+960 x5366+480 x5365+240 x5364+120 x5363+60 x5362+30 x5361+960 x5326+480 x5325+240 x5324+120 x5323+60 x5322+30 x5321+7 ~x3436+9 ~x1892+5 ~x1758+8 ~x1625+8 ~x1492+9 ~x1359+5 ~x1226+7 ~x1091+9 ~x958+12 ~x926+9 ~x912+9 ~x859+7 ~x825+9 ~x793+11 ~x752+10 ~x739+11 ~x712+6 ~x692+11 ~x686+12 ~x619+8 ~x559+10 ~x552+9 ~x526+10 ~x445+8 ~x425+11 ~x406+9 ~x393+9 ~x379+10 ~x353+15 ~x312+10 ~x299+8 ~x292+12 ~x286+12 ~x260+15 ~x246+15 ~x233+14 ~x219+13 ~x166+9 ~x159+9 ~x153+11 ~x127+9 ~x112+10 ~x99+10 ~x86+13 ~x60+12 ~x46+15 ~x33+6 ~x26+15 ~x20+15 ~x7-0=2040 19.48/19.54 c 524288 ~x639162+262144 ~x639161+131072 ~x639160+65536 ~x639159+32768 ~x639158+16384 ~x639157+8192 ~x639156+4096 ~x639155+2048 ~x639154+1024 ~x639153+512 ~x639152+256 ~x639151+128 ~x639150+64 ~x639149+32 ~x639148+16 ~x639147+8 ~x639146+4 ~x639145+2 ~x639144+1 ~x639143+524288 ~x1952+262144 ~x1951+131072 ~x1950+65536 ~x1949+32768 ~x1948+16384 ~x1947+8192 ~x1946+4096 ~x1945+2048 ~x1944+1024 ~x1943+512 ~x1942+256 ~x1941+128 ~x1940+64 ~x1939+32 ~x1938+16 ~x1937+8 ~x1936+4 ~x1935+2 ~x1934+1 ~x1933-0=2097150 19.69/19.71 c 524288 ~x646296+262144 ~x646295+131072 ~x646294+65536 ~x646293+32768 ~x646292+16384 ~x646291+8192 ~x646290+4096 ~x646289+2048 ~x646288+1024 ~x646287+512 ~x646286+256 ~x646285+128 ~x646284+64 ~x646283+32 ~x646282+16 ~x646281+8 ~x646280+4 ~x646279+2 ~x646278+1 ~x646277+524288 ~x1972+262144 ~x1971+131072 ~x1970+65536 ~x1969+32768 ~x1968+16384 ~x1967+8192 ~x1966+4096 ~x1965+2048 ~x1964+1024 ~x1963+512 ~x1962+256 ~x1961+128 ~x1960+64 ~x1959+32 ~x1958+16 ~x1957+8 ~x1956+4 ~x1955+2 ~x1954+1 ~x1953-0=2097150 19.78/19.88 c 524288 ~x653430+262144 ~x653429+131072 ~x653428+65536 ~x653427+32768 ~x653426+16384 ~x653425+8192 ~x653424+4096 ~x653423+2048 ~x653422+1024 ~x653421+512 ~x653420+256 ~x653419+128 ~x653418+64 ~x653417+32 ~x653416+16 ~x653415+8 ~x653414+4 ~x653413+2 ~x653412+1 ~x653411+524288 ~x1992+262144 ~x1991+131072 ~x1990+65536 ~x1989+32768 ~x1988+16384 ~x1987+8192 ~x1986+4096 ~x1985+2048 ~x1984+1024 ~x1983+512 ~x1982+256 ~x1981+128 ~x1980+64 ~x1979+32 ~x1978+16 ~x1977+8 ~x1976+4 ~x1975+2 ~x1974+1 ~x1973-0=2097150 19.99/20.05 c 524288 ~x660564+262144 ~x660563+131072 ~x660562+65536 ~x660561+32768 ~x660560+16384 ~x660559+8192 ~x660558+4096 ~x660557+2048 ~x660556+1024 ~x660555+512 ~x660554+256 ~x660553+128 ~x660552+64 ~x660551+32 ~x660550+16 ~x660549+8 ~x660548+4 ~x660547+2 ~x660546+1 ~x660545+524288 ~x2013+262144 ~x2012+131072 ~x2011+65536 ~x2010+32768 ~x2009+16384 ~x2008+8192 ~x2007+4096 ~x2006+2048 ~x2005+1024 ~x2004+512 ~x2003+256 ~x2002+128 ~x2001+64 ~x2000+32 ~x1999+16 ~x1998+8 ~x1997+4 ~x1996+2 ~x1995+1 ~x1994-0=2097150 20.18/20.22 c 524288 ~x667698+262144 ~x667697+131072 ~x667696+65536 ~x667695+32768 ~x667694+16384 ~x667693+8192 ~x667692+4096 ~x667691+2048 ~x667690+1024 ~x667689+512 ~x667688+256 ~x667687+128 ~x667686+64 ~x667685+32 ~x667684+16 ~x667683+8 ~x667682+4 ~x667681+2 ~x667680+1 ~x667679+524288 ~x2033+262144 ~x2032+131072 ~x2031+65536 ~x2030+32768 ~x2029+16384 ~x2028+8192 ~x2027+4096 ~x2026+2048 ~x2025+1024 ~x2024+512 ~x2023+256 ~x2022+128 ~x2021+64 ~x2020+32 ~x2019+16 ~x2018+8 ~x2017+4 ~x2016+2 ~x2015+1 ~x2014-0=2097150 20.28/20.39 c 524288 ~x674832+262144 ~x674831+131072 ~x674830+65536 ~x674829+32768 ~x674828+16384 ~x674827+8192 ~x674826+4096 ~x674825+2048 ~x674824+1024 ~x674823+512 ~x674822+256 ~x674821+128 ~x674820+64 ~x674819+32 ~x674818+16 ~x674817+8 ~x674816+4 ~x674815+2 ~x674814+1 ~x674813+524288 ~x2053+262144 ~x2052+131072 ~x2051+65536 ~x2050+32768 ~x2049+16384 ~x2048+8192 ~x2047+4096 ~x2046+2048 ~x2045+1024 ~x2044+512 ~x2043+256 ~x2042+128 ~x2041+64 ~x2040+32 ~x2039+16 ~x2038+8 ~x2037+4 ~x2036+2 ~x2035+1 ~x2034-0=2097150 20.48/20.55 c 524288 ~x681966+262144 ~x681965+131072 ~x681964+65536 ~x681963+32768 ~x681962+16384 ~x681961+8192 ~x681960+4096 ~x681959+2048 ~x681958+1024 ~x681957+512 ~x681956+256 ~x681955+128 ~x681954+64 ~x681953+32 ~x681952+16 ~x681951+8 ~x681950+4 ~x681949+2 ~x681948+1 ~x681947+524288 ~x2260+262144 ~x2259+131072 ~x2258+65536 ~x2257+32768 ~x2256+16384 ~x2255+8192 ~x2254+4096 ~x2253+2048 ~x2252+1024 ~x2251+512 ~x2250+256 ~x2249+128 ~x2248+64 ~x2247+32 ~x2246+16 ~x2245+8 ~x2244+4 ~x2243+2 ~x2242+1 ~x2241-0=2097150 20.69/20.72 c 524288 ~x689100+262144 ~x689099+131072 ~x689098+65536 ~x689097+32768 ~x689096+16384 ~x689095+8192 ~x689094+4096 ~x689093+2048 ~x689092+1024 ~x689091+512 ~x689090+256 ~x689089+128 ~x689088+64 ~x689087+32 ~x689086+16 ~x689085+8 ~x689084+4 ~x689083+2 ~x689082+1 ~x689081+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=2097150 20.79/20.89 c 524288 ~x696234+262144 ~x696233+131072 ~x696232+65536 ~x696231+32768 ~x696230+16384 ~x696229+8192 ~x696228+4096 ~x696227+2048 ~x696226+1024 ~x696225+512 ~x696224+256 ~x696223+128 ~x696222+64 ~x696221+32 ~x696220+16 ~x696219+8 ~x696218+4 ~x696217+2 ~x696216+1 ~x696215+524288 ~x2300+262144 ~x2299+131072 ~x2298+65536 ~x2297+32768 ~x2296+16384 ~x2295+8192 ~x2294+4096 ~x2293+2048 ~x2292+1024 ~x2291+512 ~x2290+256 ~x2289+128 ~x2288+64 ~x2287+32 ~x2286+16 ~x2285+8 ~x2284+4 ~x2283+2 ~x2282+1 ~x2281-0=2097150 20.98/21.06 c 524288 ~x703368+262144 ~x703367+131072 ~x703366+65536 ~x703365+32768 ~x703364+16384 ~x703363+8192 ~x703362+4096 ~x703361+2048 ~x703360+1024 ~x703359+512 ~x703358+256 ~x703357+128 ~x703356+64 ~x703355+32 ~x703354+16 ~x703353+8 ~x703352+4 ~x703351+2 ~x703350+1 ~x703349+524288 ~x2320+262144 ~x2319+131072 ~x2318+65536 ~x2317+32768 ~x2316+16384 ~x2315+8192 ~x2314+4096 ~x2313+2048 ~x2312+1024 ~x2311+512 ~x2310+256 ~x2309+128 ~x2308+64 ~x2307+32 ~x2306+16 ~x2305+8 ~x2304+4 ~x2303+2 ~x2302+1 ~x2301-0=2097150 21.18/21.23 c 524288 ~x710502+262144 ~x710501+131072 ~x710500+65536 ~x710499+32768 ~x710498+16384 ~x710497+8192 ~x710496+4096 ~x710495+2048 ~x710494+1024 ~x710493+512 ~x710492+256 ~x710491+128 ~x710490+64 ~x710489+32 ~x710488+16 ~x710487+8 ~x710486+4 ~x710485+2 ~x710484+1 ~x710483+524288 ~x2340+262144 ~x2339+131072 ~x2338+65536 ~x2337+32768 ~x2336+16384 ~x2335+8192 ~x2334+4096 ~x2333+2048 ~x2332+1024 ~x2331+512 ~x2330+256 ~x2329+128 ~x2328+64 ~x2327+32 ~x2326+16 ~x2325+8 ~x2324+4 ~x2323+2 ~x2322+1 ~x2321-0=2097150 21.38/21.40 c 524288 ~x717636+262144 ~x717635+131072 ~x717634+65536 ~x717633+32768 ~x717632+16384 ~x717631+8192 ~x717630+4096 ~x717629+2048 ~x717628+1024 ~x717627+512 ~x717626+256 ~x717625+128 ~x717624+64 ~x717623+32 ~x717622+16 ~x717621+8 ~x717620+4 ~x717619+2 ~x717618+1 ~x717617+524288 ~x2361+262144 ~x2360+131072 ~x2359+65536 ~x2358+32768 ~x2357+16384 ~x2356+8192 ~x2355+4096 ~x2354+2048 ~x2353+1024 ~x2352+512 ~x2351+256 ~x2350+128 ~x2349+64 ~x2348+32 ~x2347+16 ~x2346+8 ~x2345+4 ~x2344+2 ~x2343+1 ~x2342-0=2097150 21.48/21.57 c 524288 ~x724770+262144 ~x724769+131072 ~x724768+65536 ~x724767+32768 ~x724766+16384 ~x724765+8192 ~x724764+4096 ~x724763+2048 ~x724762+1024 ~x724761+512 ~x724760+256 ~x724759+128 ~x724758+64 ~x724757+32 ~x724756+16 ~x724755+8 ~x724754+4 ~x724753+2 ~x724752+1 ~x724751+524288 ~x2568+262144 ~x2567+131072 ~x2566+65536 ~x2565+32768 ~x2564+16384 ~x2563+8192 ~x2562+4096 ~x2561+2048 ~x2560+1024 ~x2559+512 ~x2558+256 ~x2557+128 ~x2556+64 ~x2555+32 ~x2554+16 ~x2553+8 ~x2552+4 ~x2551+2 ~x2550+1 ~x2549-0=2097150 21.68/21.74 c 524288 ~x731904+262144 ~x731903+131072 ~x731902+65536 ~x731901+32768 ~x731900+16384 ~x731899+8192 ~x731898+4096 ~x731897+2048 ~x731896+1024 ~x731895+512 ~x731894+256 ~x731893+128 ~x731892+64 ~x731891+32 ~x731890+16 ~x731889+8 ~x731888+4 ~x731887+2 ~x731886+1 ~x731885+524288 ~x2588+262144 ~x2587+131072 ~x2586+65536 ~x2585+32768 ~x2584+16384 ~x2583+8192 ~x2582+4096 ~x2581+2048 ~x2580+1024 ~x2579+512 ~x2578+256 ~x2577+128 ~x2576+64 ~x2575+32 ~x2574+16 ~x2573+8 ~x2572+4 ~x2571+2 ~x2570+1 ~x2569-0=2097150 21.89/21.90 c 524288 ~x739038+262144 ~x739037+131072 ~x739036+65536 ~x739035+32768 ~x739034+16384 ~x739033+8192 ~x739032+4096 ~x739031+2048 ~x739030+1024 ~x739029+512 ~x739028+256 ~x739027+128 ~x739026+64 ~x739025+32 ~x739024+16 ~x739023+8 ~x739022+4 ~x739021+2 ~x739020+1 ~x739019+524288 ~x2608+262144 ~x2607+131072 ~x2606+65536 ~x2605+32768 ~x2604+16384 ~x2603+8192 ~x2602+4096 ~x2601+2048 ~x2600+1024 ~x2599+512 ~x2598+256 ~x2597+128 ~x2596+64 ~x2595+32 ~x2594+16 ~x2593+8 ~x2592+4 ~x2591+2 ~x2590+1 ~x2589-0=2097150 21.99/22.07 c 524288 ~x746172+262144 ~x746171+131072 ~x746170+65536 ~x746169+32768 ~x746168+16384 ~x746167+8192 ~x746166+4096 ~x746165+2048 ~x746164+1024 ~x746163+512 ~x746162+256 ~x746161+128 ~x746160+64 ~x746159+32 ~x746158+16 ~x746157+8 ~x746156+4 ~x746155+2 ~x746154+1 ~x746153+524288 ~x2628+262144 ~x2627+131072 ~x2626+65536 ~x2625+32768 ~x2624+16384 ~x2623+8192 ~x2622+4096 ~x2621+2048 ~x2620+1024 ~x2619+512 ~x2618+256 ~x2617+128 ~x2616+64 ~x2615+32 ~x2614+16 ~x2613+8 ~x2612+4 ~x2611+2 ~x2610+1 ~x2609-0=2097150 22.18/22.24 c 524288 ~x753306+262144 ~x753305+131072 ~x753304+65536 ~x753303+32768 ~x753302+16384 ~x753301+8192 ~x753300+4096 ~x753299+2048 ~x753298+1024 ~x753297+512 ~x753296+256 ~x753295+128 ~x753294+64 ~x753293+32 ~x753292+16 ~x753291+8 ~x753290+4 ~x753289+2 ~x753288+1 ~x753287+524288 ~x2648+262144 ~x2647+131072 ~x2646+65536 ~x2645+32768 ~x2644+16384 ~x2643+8192 ~x2642+4096 ~x2641+2048 ~x2640+1024 ~x2639+512 ~x2638+256 ~x2637+128 ~x2636+64 ~x2635+32 ~x2634+16 ~x2633+8 ~x2632+4 ~x2631+2 ~x2630+1 ~x2629-0=2097150 22.38/22.41 c 524288 ~x760440+262144 ~x760439+131072 ~x760438+65536 ~x760437+32768 ~x760436+16384 ~x760435+8192 ~x760434+4096 ~x760433+2048 ~x760432+1024 ~x760431+512 ~x760430+256 ~x760429+128 ~x760428+64 ~x760427+32 ~x760426+16 ~x760425+8 ~x760424+4 ~x760423+2 ~x760422+1 ~x760421+524288 ~x2668+262144 ~x2667+131072 ~x2666+65536 ~x2665+32768 ~x2664+16384 ~x2663+8192 ~x2662+4096 ~x2661+2048 ~x2660+1024 ~x2659+512 ~x2658+256 ~x2657+128 ~x2656+64 ~x2655+32 ~x2654+16 ~x2653+8 ~x2652+4 ~x2651+2 ~x2650+1 ~x2649-0=2097150 22.48/22.58 c 524288 ~x767574+262144 ~x767573+131072 ~x767572+65536 ~x767571+32768 ~x767570+16384 ~x767569+8192 ~x767568+4096 ~x767567+2048 ~x767566+1024 ~x767565+512 ~x767564+256 ~x767563+128 ~x767562+64 ~x767561+32 ~x767560+16 ~x767559+8 ~x767558+4 ~x767557+2 ~x767556+1 ~x767555+524288 ~x2876+262144 ~x2875+131072 ~x2874+65536 ~x2873+32768 ~x2872+16384 ~x2871+8192 ~x2870+4096 ~x2869+2048 ~x2868+1024 ~x2867+512 ~x2866+256 ~x2865+128 ~x2864+64 ~x2863+32 ~x2862+16 ~x2861+8 ~x2860+4 ~x2859+2 ~x2858+1 ~x2857-0=2097150 22.68/22.75 c 524288 ~x774708+262144 ~x774707+131072 ~x774706+65536 ~x774705+32768 ~x774704+16384 ~x774703+8192 ~x774702+4096 ~x774701+2048 ~x774700+1024 ~x774699+512 ~x774698+256 ~x774697+128 ~x774696+64 ~x774695+32 ~x774694+16 ~x774693+8 ~x774692+4 ~x774691+2 ~x774690+1 ~x774689+524288 ~x2896+262144 ~x2895+131072 ~x2894+65536 ~x2893+32768 ~x2892+16384 ~x2891+8192 ~x2890+4096 ~x2889+2048 ~x2888+1024 ~x2887+512 ~x2886+256 ~x2885+128 ~x2884+64 ~x2883+32 ~x2882+16 ~x2881+8 ~x2880+4 ~x2879+2 ~x2878+1 ~x2877-0=2097150 22.88/22.91 c 524288 ~x781842+262144 ~x781841+131072 ~x781840+65536 ~x781839+32768 ~x781838+16384 ~x781837+8192 ~x781836+4096 ~x781835+2048 ~x781834+1024 ~x781833+512 ~x781832+256 ~x781831+128 ~x781830+64 ~x781829+32 ~x781828+16 ~x781827+8 ~x781826+4 ~x781825+2 ~x781824+1 ~x781823+524288 ~x2916+262144 ~x2915+131072 ~x2914+65536 ~x2913+32768 ~x2912+16384 ~x2911+8192 ~x2910+4096 ~x2909+2048 ~x2908+1024 ~x2907+512 ~x2906+256 ~x2905+128 ~x2904+64 ~x2903+32 ~x2902+16 ~x2901+8 ~x2900+4 ~x2899+2 ~x2898+1 ~x2897-0=2097150 22.98/23.08 c 524288 ~x788976+262144 ~x788975+131072 ~x788974+65536 ~x788973+32768 ~x788972+16384 ~x788971+8192 ~x788970+4096 ~x788969+2048 ~x788968+1024 ~x788967+512 ~x788966+256 ~x788965+128 ~x788964+64 ~x788963+32 ~x788962+16 ~x788961+8 ~x788960+4 ~x788959+2 ~x788958+1 ~x788957+524288 ~x2936+262144 ~x2935+131072 ~x2934+65536 ~x2933+32768 ~x2932+16384 ~x2931+8192 ~x2930+4096 ~x2929+2048 ~x2928+1024 ~x2927+512 ~x2926+256 ~x2925+128 ~x2924+64 ~x2923+32 ~x2922+16 ~x2921+8 ~x2920+4 ~x2919+2 ~x2918+1 ~x2917-0=2097150 23.18/23.25 c 524288 ~x796110+262144 ~x796109+131072 ~x796108+65536 ~x796107+32768 ~x796106+16384 ~x796105+8192 ~x796104+4096 ~x796103+2048 ~x796102+1024 ~x796101+512 ~x796100+256 ~x796099+128 ~x796098+64 ~x796097+32 ~x796096+16 ~x796095+8 ~x796094+4 ~x796093+2 ~x796092+1 ~x796091+524288 ~x2956+262144 ~x2955+131072 ~x2954+65536 ~x2953+32768 ~x2952+16384 ~x2951+8192 ~x2950+4096 ~x2949+2048 ~x2948+1024 ~x2947+512 ~x2946+256 ~x2945+128 ~x2944+64 ~x2943+32 ~x2942+16 ~x2941+8 ~x2940+4 ~x2939+2 ~x2938+1 ~x2937-0=2097150 23.38/23.43 c 524288 ~x803244+262144 ~x803243+131072 ~x803242+65536 ~x803241+32768 ~x803240+16384 ~x803239+8192 ~x803238+4096 ~x803237+2048 ~x803236+1024 ~x803235+512 ~x803234+256 ~x803233+128 ~x803232+64 ~x803231+32 ~x803230+16 ~x803229+8 ~x803228+4 ~x803227+2 ~x803226+1 ~x803225+524288 ~x2976+262144 ~x2975+131072 ~x2974+65536 ~x2973+32768 ~x2972+16384 ~x2971+8192 ~x2970+4096 ~x2969+2048 ~x2968+1024 ~x2967+512 ~x2966+256 ~x2965+128 ~x2964+64 ~x2963+32 ~x2962+16 ~x2961+8 ~x2960+4 ~x2959+2 ~x2958+1 ~x2957-0=2097150 23.58/23.60 c 524288 ~x810378+262144 ~x810377+131072 ~x810376+65536 ~x810375+32768 ~x810374+16384 ~x810373+8192 ~x810372+4096 ~x810371+2048 ~x810370+1024 ~x810369+512 ~x810368+256 ~x810367+128 ~x810366+64 ~x810365+32 ~x810364+16 ~x810363+8 ~x810362+4 ~x810361+2 ~x810360+1 ~x810359+524288 ~x3184+262144 ~x3183+131072 ~x3182+65536 ~x3181+32768 ~x3180+16384 ~x3179+8192 ~x3178+4096 ~x3177+2048 ~x3176+1024 ~x3175+512 ~x3174+256 ~x3173+128 ~x3172+64 ~x3171+32 ~x3170+16 ~x3169+8 ~x3168+4 ~x3167+2 ~x3166+1 ~x3165-0=2097150 23.68/23.77 c 524288 ~x817512+262144 ~x817511+131072 ~x817510+65536 ~x817509+32768 ~x817508+16384 ~x817507+8192 ~x817506+4096 ~x817505+2048 ~x817504+1024 ~x817503+512 ~x817502+256 ~x817501+128 ~x817500+64 ~x817499+32 ~x817498+16 ~x817497+8 ~x817496+4 ~x817495+2 ~x817494+1 ~x817493+524288 ~x3205+262144 ~x3204+131072 ~x3203+65536 ~x3202+32768 ~x3201+16384 ~x3200+8192 ~x3199+4096 ~x3198+2048 ~x3197+1024 ~x3196+512 ~x3195+256 ~x3194+128 ~x3193+64 ~x3192+32 ~x3191+16 ~x3190+8 ~x3189+4 ~x3188+2 ~x3187+1 ~x3186-0=2097150 23.88/23.94 c 524288 ~x824646+262144 ~x824645+131072 ~x824644+65536 ~x824643+32768 ~x824642+16384 ~x824641+8192 ~x824640+4096 ~x824639+2048 ~x824638+1024 ~x824637+512 ~x824636+256 ~x824635+128 ~x824634+64 ~x824633+32 ~x824632+16 ~x824631+8 ~x824630+4 ~x824629+2 ~x824628+1 ~x824627+524288 ~x3225+262144 ~x3224+131072 ~x3223+65536 ~x3222+32768 ~x3221+16384 ~x3220+8192 ~x3219+4096 ~x3218+2048 ~x3217+1024 ~x3216+512 ~x3215+256 ~x3214+128 ~x3213+64 ~x3212+32 ~x3211+16 ~x3210+8 ~x3209+4 ~x3208+2 ~x3207+1 ~x3206-0=2097150 24.08/24.11 c 524288 ~x831780+262144 ~x831779+131072 ~x831778+65536 ~x831777+32768 ~x831776+16384 ~x831775+8192 ~x831774+4096 ~x831773+2048 ~x831772+1024 ~x831771+512 ~x831770+256 ~x831769+128 ~x831768+64 ~x831767+32 ~x831766+16 ~x831765+8 ~x831764+4 ~x831763+2 ~x831762+1 ~x831761+524288 ~x3245+262144 ~x3244+131072 ~x3243+65536 ~x3242+32768 ~x3241+16384 ~x3240+8192 ~x3239+4096 ~x3238+2048 ~x3237+1024 ~x3236+512 ~x3235+256 ~x3234+128 ~x3233+64 ~x3232+32 ~x3231+16 ~x3230+8 ~x3229+4 ~x3228+2 ~x3227+1 ~x3226-0=2097150 24.19/24.27 c 524288 ~x838914+262144 ~x838913+131072 ~x838912+65536 ~x838911+32768 ~x838910+16384 ~x838909+8192 ~x838908+4096 ~x838907+2048 ~x838906+1024 ~x838905+512 ~x838904+256 ~x838903+128 ~x838902+64 ~x838901+32 ~x838900+16 ~x838899+8 ~x838898+4 ~x838897+2 ~x838896+1 ~x838895+524288 ~x3265+262144 ~x3264+131072 ~x3263+65536 ~x3262+32768 ~x3261+16384 ~x3260+8192 ~x3259+4096 ~x3258+2048 ~x3257+1024 ~x3256+512 ~x3255+256 ~x3254+128 ~x3253+64 ~x3252+32 ~x3251+16 ~x3250+8 ~x3249+4 ~x3248+2 ~x3247+1 ~x3246-0=2097150 24.38/24.44 c 524288 ~x846048+262144 ~x846047+131072 ~x846046+65536 ~x846045+32768 ~x846044+16384 ~x846043+8192 ~x846042+4096 ~x846041+2048 ~x846040+1024 ~x846039+512 ~x846038+256 ~x846037+128 ~x846036+64 ~x846035+32 ~x846034+16 ~x846033+8 ~x846032+4 ~x846031+2 ~x846030+1 ~x846029+524288 ~x3285+262144 ~x3284+131072 ~x3283+65536 ~x3282+32768 ~x3281+16384 ~x3280+8192 ~x3279+4096 ~x3278+2048 ~x3277+1024 ~x3276+512 ~x3275+256 ~x3274+128 ~x3273+64 ~x3272+32 ~x3271+16 ~x3270+8 ~x3269+4 ~x3268+2 ~x3267+1 ~x3266-0=2097150 24.58/24.61 c 524288 ~x853182+262144 ~x853181+131072 ~x853180+65536 ~x853179+32768 ~x853178+16384 ~x853177+8192 ~x853176+4096 ~x853175+2048 ~x853174+1024 ~x853173+512 ~x853172+256 ~x853171+128 ~x853170+64 ~x853169+32 ~x853168+16 ~x853167+8 ~x853166+4 ~x853165+2 ~x853164+1 ~x853163+524288 ~x3492+262144 ~x3491+131072 ~x3490+65536 ~x3489+32768 ~x3488+16384 ~x3487+8192 ~x3486+4096 ~x3485+2048 ~x3484+1024 ~x3483+512 ~x3482+256 ~x3481+128 ~x3480+64 ~x3479+32 ~x3478+16 ~x3477+8 ~x3476+4 ~x3475+2 ~x3474+1 ~x3473-0=2097150 24.68/24.78 c 524288 ~x860316+262144 ~x860315+131072 ~x860314+65536 ~x860313+32768 ~x860312+16384 ~x860311+8192 ~x860310+4096 ~x860309+2048 ~x860308+1024 ~x860307+512 ~x860306+256 ~x860305+128 ~x860304+64 ~x860303+32 ~x860302+16 ~x860301+8 ~x860300+4 ~x860299+2 ~x860298+1 ~x860297+524288 ~x3512+262144 ~x3511+131072 ~x3510+65536 ~x3509+32768 ~x3508+16384 ~x3507+8192 ~x3506+4096 ~x3505+2048 ~x3504+1024 ~x3503+512 ~x3502+256 ~x3501+128 ~x3500+64 ~x3499+32 ~x3498+16 ~x3497+8 ~x3496+4 ~x3495+2 ~x3494+1 ~x3493-0=2097150 24.88/24.95 c 524288 ~x867450+262144 ~x867449+131072 ~x867448+65536 ~x867447+32768 ~x867446+16384 ~x867445+8192 ~x867444+4096 ~x867443+2048 ~x867442+1024 ~x867441+512 ~x867440+256 ~x867439+128 ~x867438+64 ~x867437+32 ~x867436+16 ~x867435+8 ~x867434+4 ~x867433+2 ~x867432+1 ~x867431+524288 ~x3532+262144 ~x3531+131072 ~x3530+65536 ~x3529+32768 ~x3528+16384 ~x3527+8192 ~x3526+4096 ~x3525+2048 ~x3524+1024 ~x3523+512 ~x3522+256 ~x3521+128 ~x3520+64 ~x3519+32 ~x3518+16 ~x3517+8 ~x3516+4 ~x3515+2 ~x3514+1 ~x3513-0=2097150 25.08/25.11 c 524288 ~x874584+262144 ~x874583+131072 ~x874582+65536 ~x874581+32768 ~x874580+16384 ~x874579+8192 ~x874578+4096 ~x874577+2048 ~x874576+1024 ~x874575+512 ~x874574+256 ~x874573+128 ~x874572+64 ~x874571+32 ~x874570+16 ~x874569+8 ~x874568+4 ~x874567+2 ~x874566+1 ~x874565+524288 ~x3553+262144 ~x3552+131072 ~x3551+65536 ~x3550+32768 ~x3549+16384 ~x3548+8192 ~x3547+4096 ~x3546+2048 ~x3545+1024 ~x3544+512 ~x3543+256 ~x3542+128 ~x3541+64 ~x3540+32 ~x3539+16 ~x3538+8 ~x3537+4 ~x3536+2 ~x3535+1 ~x3534-0=2097150 25.19/25.28 c 524288 ~x881718+262144 ~x881717+131072 ~x881716+65536 ~x881715+32768 ~x881714+16384 ~x881713+8192 ~x881712+4096 ~x881711+2048 ~x881710+1024 ~x881709+512 ~x881708+256 ~x881707+128 ~x881706+64 ~x881705+32 ~x881704+16 ~x881703+8 ~x881702+4 ~x881701+2 ~x881700+1 ~x881699+524288 ~x3573+262144 ~x3572+131072 ~x3571+65536 ~x3570+32768 ~x3569+16384 ~x3568+8192 ~x3567+4096 ~x3566+2048 ~x3565+1024 ~x3564+512 ~x3563+256 ~x3562+128 ~x3561+64 ~x3560+32 ~x3559+16 ~x3558+8 ~x3557+4 ~x3556+2 ~x3555+1 ~x3554-0=2097150 25.38/25.45 c 524288 ~x888852+262144 ~x888851+131072 ~x888850+65536 ~x888849+32768 ~x888848+16384 ~x888847+8192 ~x888846+4096 ~x888845+2048 ~x888844+1024 ~x888843+512 ~x888842+256 ~x888841+128 ~x888840+64 ~x888839+32 ~x888838+16 ~x888837+8 ~x888836+4 ~x888835+2 ~x888834+1 ~x888833+524288 ~x3593+262144 ~x3592+131072 ~x3591+65536 ~x3590+32768 ~x3589+16384 ~x3588+8192 ~x3587+4096 ~x3586+2048 ~x3585+1024 ~x3584+512 ~x3583+256 ~x3582+128 ~x3581+64 ~x3580+32 ~x3579+16 ~x3578+8 ~x3577+4 ~x3576+2 ~x3575+1 ~x3574-0=2097150 25.58/25.62 c 524288 ~x895986+262144 ~x895985+131072 ~x895984+65536 ~x895983+32768 ~x895982+16384 ~x895981+8192 ~x895980+4096 ~x895979+2048 ~x895978+1024 ~x895977+512 ~x895976+256 ~x895975+128 ~x895974+64 ~x895973+32 ~x895972+16 ~x895971+8 ~x895970+4 ~x895969+2 ~x895968+1 ~x895967+524288 ~x3800+262144 ~x3799+131072 ~x3798+65536 ~x3797+32768 ~x3796+16384 ~x3795+8192 ~x3794+4096 ~x3793+2048 ~x3792+1024 ~x3791+512 ~x3790+256 ~x3789+128 ~x3788+64 ~x3787+32 ~x3786+16 ~x3785+8 ~x3784+4 ~x3783+2 ~x3782+1 ~x3781-0=2097150 25.68/25.79 c 524288 ~x903120+262144 ~x903119+131072 ~x903118+65536 ~x903117+32768 ~x903116+16384 ~x903115+8192 ~x903114+4096 ~x903113+2048 ~x903112+1024 ~x903111+512 ~x903110+256 ~x903109+128 ~x903108+64 ~x903107+32 ~x903106+16 ~x903105+8 ~x903104+4 ~x903103+2 ~x903102+1 ~x903101+524288 ~x3820+262144 ~x3819+131072 ~x3818+65536 ~x3817+32768 ~x3816+16384 ~x3815+8192 ~x3814+4096 ~x3813+2048 ~x3812+1024 ~x3811+512 ~x3810+256 ~x3809+128 ~x3808+64 ~x3807+32 ~x3806+16 ~x3805+8 ~x3804+4 ~x3803+2 ~x3802+1 ~x3801-0=2097150 25.88/25.96 c 524288 ~x910254+262144 ~x910253+131072 ~x910252+65536 ~x910251+32768 ~x910250+16384 ~x910249+8192 ~x910248+4096 ~x910247+2048 ~x910246+1024 ~x910245+512 ~x910244+256 ~x910243+128 ~x910242+64 ~x910241+32 ~x910240+16 ~x910239+8 ~x910238+4 ~x910237+2 ~x910236+1 ~x910235+524288 ~x3840+262144 ~x3839+131072 ~x3838+65536 ~x3837+32768 ~x3836+16384 ~x3835+8192 ~x3834+4096 ~x3833+2048 ~x3832+1024 ~x3831+512 ~x3830+256 ~x3829+128 ~x3828+64 ~x3827+32 ~x3826+16 ~x3825+8 ~x3824+4 ~x3823+2 ~x3822+1 ~x3821-0=2097150 26.08/26.13 c 524288 ~x917388+262144 ~x917387+131072 ~x917386+65536 ~x917385+32768 ~x917384+16384 ~x917383+8192 ~x917382+4096 ~x917381+2048 ~x917380+1024 ~x917379+512 ~x917378+256 ~x917377+128 ~x917376+64 ~x917375+32 ~x917374+16 ~x917373+8 ~x917372+4 ~x917371+2 ~x917370+1 ~x917369+524288 ~x3860+262144 ~x3859+131072 ~x3858+65536 ~x3857+32768 ~x3856+16384 ~x3855+8192 ~x3854+4096 ~x3853+2048 ~x3852+1024 ~x3851+512 ~x3850+256 ~x3849+128 ~x3848+64 ~x3847+32 ~x3846+16 ~x3845+8 ~x3844+4 ~x3843+2 ~x3842+1 ~x3841-0=2097150 26.18/26.29 c 524288 ~x924522+262144 ~x924521+131072 ~x924520+65536 ~x924519+32768 ~x924518+16384 ~x924517+8192 ~x924516+4096 ~x924515+2048 ~x924514+1024 ~x924513+512 ~x924512+256 ~x924511+128 ~x924510+64 ~x924509+32 ~x924508+16 ~x924507+8 ~x924506+4 ~x924505+2 ~x924504+1 ~x924503+524288 ~x3880+262144 ~x3879+131072 ~x3878+65536 ~x3877+32768 ~x3876+16384 ~x3875+8192 ~x3874+4096 ~x3873+2048 ~x3872+1024 ~x3871+512 ~x3870+256 ~x3869+128 ~x3868+64 ~x3867+32 ~x3866+16 ~x3865+8 ~x3864+4 ~x3863+2 ~x3862+1 ~x3861-0=2097150 26.39/26.46 c 524288 ~x931656+262144 ~x931655+131072 ~x931654+65536 ~x931653+32768 ~x931652+16384 ~x931651+8192 ~x931650+4096 ~x931649+2048 ~x931648+1024 ~x931647+512 ~x931646+256 ~x931645+128 ~x931644+64 ~x931643+32 ~x931642+16 ~x931641+8 ~x931640+4 ~x931639+2 ~x931638+1 ~x931637+524288 ~x3901+262144 ~x3900+131072 ~x3899+65536 ~x3898+32768 ~x3897+16384 ~x3896+8192 ~x3895+4096 ~x3894+2048 ~x3893+1024 ~x3892+512 ~x3891+256 ~x3890+128 ~x3889+64 ~x3888+32 ~x3887+16 ~x3886+8 ~x3885+4 ~x3884+2 ~x3883+1 ~x3882-0=2097150 26.58/26.63 c 524288 ~x938790+262144 ~x938789+131072 ~x938788+65536 ~x938787+32768 ~x938786+16384 ~x938785+8192 ~x938784+4096 ~x938783+2048 ~x938782+1024 ~x938781+512 ~x938780+256 ~x938779+128 ~x938778+64 ~x938777+32 ~x938776+16 ~x938775+8 ~x938774+4 ~x938773+2 ~x938772+1 ~x938771+524288 ~x4108+262144 ~x4107+131072 ~x4106+65536 ~x4105+32768 ~x4104+16384 ~x4103+8192 ~x4102+4096 ~x4101+2048 ~x4100+1024 ~x4099+512 ~x4098+256 ~x4097+128 ~x4096+64 ~x4095+32 ~x4094+16 ~x4093+8 ~x4092+4 ~x4091+2 ~x4090+1 ~x4089-0=2097150 26.78/26.80 c 524288 ~x945924+262144 ~x945923+131072 ~x945922+65536 ~x945921+32768 ~x945920+16384 ~x945919+8192 ~x945918+4096 ~x945917+2048 ~x945916+1024 ~x945915+512 ~x945914+256 ~x945913+128 ~x945912+64 ~x945911+32 ~x945910+16 ~x945909+8 ~x945908+4 ~x945907+2 ~x945906+1 ~x945905+524288 ~x4128+262144 ~x4127+131072 ~x4126+65536 ~x4125+32768 ~x4124+16384 ~x4123+8192 ~x4122+4096 ~x4121+2048 ~x4120+1024 ~x4119+512 ~x4118+256 ~x4117+128 ~x4116+64 ~x4115+32 ~x4114+16 ~x4113+8 ~x4112+4 ~x4111+2 ~x4110+1 ~x4109-0=2097150 26.88/26.97 c 524288 ~x953058+262144 ~x953057+131072 ~x953056+65536 ~x953055+32768 ~x953054+16384 ~x953053+8192 ~x953052+4096 ~x953051+2048 ~x953050+1024 ~x953049+512 ~x953048+256 ~x953047+128 ~x953046+64 ~x953045+32 ~x953044+16 ~x953043+8 ~x953042+4 ~x953041+2 ~x953040+1 ~x953039+524288 ~x4148+262144 ~x4147+131072 ~x4146+65536 ~x4145+32768 ~x4144+16384 ~x4143+8192 ~x4142+4096 ~x4141+2048 ~x4140+1024 ~x4139+512 ~x4138+256 ~x4137+128 ~x4136+64 ~x4135+32 ~x4134+16 ~x4133+8 ~x4132+4 ~x4131+2 ~x4130+1 ~x4129-0=2097150 27.08/27.13 c 524288 ~x960192+262144 ~x960191+131072 ~x960190+65536 ~x960189+32768 ~x960188+16384 ~x960187+8192 ~x960186+4096 ~x960185+2048 ~x960184+1024 ~x960183+512 ~x960182+256 ~x960181+128 ~x960180+64 ~x960179+32 ~x960178+16 ~x960177+8 ~x960176+4 ~x960175+2 ~x960174+1 ~x960173+524288 ~x4168+262144 ~x4167+131072 ~x4166+65536 ~x4165+32768 ~x4164+16384 ~x4163+8192 ~x4162+4096 ~x4161+2048 ~x4160+1024 ~x4159+512 ~x4158+256 ~x4157+128 ~x4156+64 ~x4155+32 ~x4154+16 ~x4153+8 ~x4152+4 ~x4151+2 ~x4150+1 ~x4149-0=2097150 27.28/27.30 c 524288 ~x967326+262144 ~x967325+131072 ~x967324+65536 ~x967323+32768 ~x967322+16384 ~x967321+8192 ~x967320+4096 ~x967319+2048 ~x967318+1024 ~x967317+512 ~x967316+256 ~x967315+128 ~x967314+64 ~x967313+32 ~x967312+16 ~x967311+8 ~x967310+4 ~x967309+2 ~x967308+1 ~x967307+524288 ~x4188+262144 ~x4187+131072 ~x4186+65536 ~x4185+32768 ~x4184+16384 ~x4183+8192 ~x4182+4096 ~x4181+2048 ~x4180+1024 ~x4179+512 ~x4178+256 ~x4177+128 ~x4176+64 ~x4175+32 ~x4174+16 ~x4173+8 ~x4172+4 ~x4171+2 ~x4170+1 ~x4169-0=2097150 27.39/27.47 c 524288 ~x974460+262144 ~x974459+131072 ~x974458+65536 ~x974457+32768 ~x974456+16384 ~x974455+8192 ~x974454+4096 ~x974453+2048 ~x974452+1024 ~x974451+512 ~x974450+256 ~x974449+128 ~x974448+64 ~x974447+32 ~x974446+16 ~x974445+8 ~x974444+4 ~x974443+2 ~x974442+1 ~x974441+524288 ~x4208+262144 ~x4207+131072 ~x4206+65536 ~x4205+32768 ~x4204+16384 ~x4203+8192 ~x4202+4096 ~x4201+2048 ~x4200+1024 ~x4199+512 ~x4198+256 ~x4197+128 ~x4196+64 ~x4195+32 ~x4194+16 ~x4193+8 ~x4192+4 ~x4191+2 ~x4190+1 ~x4189-0=2097150 27.58/27.64 c 524288 ~x981594+262144 ~x981593+131072 ~x981592+65536 ~x981591+32768 ~x981590+16384 ~x981589+8192 ~x981588+4096 ~x981587+2048 ~x981586+1024 ~x981585+512 ~x981584+256 ~x981583+128 ~x981582+64 ~x981581+32 ~x981580+16 ~x981579+8 ~x981578+4 ~x981577+2 ~x981576+1 ~x981575+524288 ~x4416+262144 ~x4415+131072 ~x4414+65536 ~x4413+32768 ~x4412+16384 ~x4411+8192 ~x4410+4096 ~x4409+2048 ~x4408+1024 ~x4407+512 ~x4406+256 ~x4405+128 ~x4404+64 ~x4403+32 ~x4402+16 ~x4401+8 ~x4400+4 ~x4399+2 ~x4398+1 ~x4397-0=2097150 27.78/27.81 c 524288 ~x988728+262144 ~x988727+131072 ~x988726+65536 ~x988725+32768 ~x988724+16384 ~x988723+8192 ~x988722+4096 ~x988721+2048 ~x988720+1024 ~x988719+512 ~x988718+256 ~x988717+128 ~x988716+64 ~x988715+32 ~x988714+16 ~x988713+8 ~x988712+4 ~x988711+2 ~x988710+1 ~x988709+524288 ~x4476+262144 ~x4475+131072 ~x4474+65536 ~x4473+32768 ~x4472+16384 ~x4471+8192 ~x4470+4096 ~x4469+2048 ~x4468+1024 ~x4467+512 ~x4466+256 ~x4465+128 ~x4464+64 ~x4463+32 ~x4462+16 ~x4461+8 ~x4460+4 ~x4459+2 ~x4458+1 ~x4457-0=2097150 27.88/27.98 c 524288 ~x995862+262144 ~x995861+131072 ~x995860+65536 ~x995859+32768 ~x995858+16384 ~x995857+8192 ~x995856+4096 ~x995855+2048 ~x995854+1024 ~x995853+512 ~x995852+256 ~x995851+128 ~x995850+64 ~x995849+32 ~x995848+16 ~x995847+8 ~x995846+4 ~x995845+2 ~x995844+1 ~x995843+524288 ~x4496+262144 ~x4495+131072 ~x4494+65536 ~x4493+32768 ~x4492+16384 ~x4491+8192 ~x4490+4096 ~x4489+2048 ~x4488+1024 ~x4487+512 ~x4486+256 ~x4485+128 ~x4484+64 ~x4483+32 ~x4482+16 ~x4481+8 ~x4480+4 ~x4479+2 ~x4478+1 ~x4477-0=2097150 28.08/28.17 c 524288 ~x1002996+262144 ~x1002995+131072 ~x1002994+65536 ~x1002993+32768 ~x1002992+16384 ~x1002991+8192 ~x1002990+4096 ~x1002989+2048 ~x1002988+1024 ~x1002987+512 ~x1002986+256 ~x1002985+128 ~x1002984+64 ~x1002983+32 ~x1002982+16 ~x1002981+8 ~x1002980+4 ~x1002979+2 ~x1002978+1 ~x1002977+524288 ~x4516+262144 ~x4515+131072 ~x4514+65536 ~x4513+32768 ~x4512+16384 ~x4511+8192 ~x4510+4096 ~x4509+2048 ~x4508+1024 ~x4507+512 ~x4506+256 ~x4505+128 ~x4504+64 ~x4503+32 ~x4502+16 ~x4501+8 ~x4500+4 ~x4499+2 ~x4498+1 ~x4497-0=2097150 28.28/28.34 c 524288 ~x1010130+262144 ~x1010129+131072 ~x1010128+65536 ~x1010127+32768 ~x1010126+16384 ~x1010125+8192 ~x1010124+4096 ~x1010123+2048 ~x1010122+1024 ~x1010121+512 ~x1010120+256 ~x1010119+128 ~x1010118+64 ~x1010117+32 ~x1010116+16 ~x1010115+8 ~x1010114+4 ~x1010113+2 ~x1010112+1 ~x1010111+524288 ~x4723+262144 ~x4722+131072 ~x4721+65536 ~x4720+32768 ~x4719+16384 ~x4718+8192 ~x4717+4096 ~x4716+2048 ~x4715+1024 ~x4714+512 ~x4713+256 ~x4712+128 ~x4711+64 ~x4710+32 ~x4709+16 ~x4708+8 ~x4707+4 ~x4706+2 ~x4705+1 ~x4704-0=2097150 28.49/28.51 c 524288 ~x1017264+262144 ~x1017263+131072 ~x1017262+65536 ~x1017261+32768 ~x1017260+16384 ~x1017259+8192 ~x1017258+4096 ~x1017257+2048 ~x1017256+1024 ~x1017255+512 ~x1017254+256 ~x1017253+128 ~x1017252+64 ~x1017251+32 ~x1017250+16 ~x1017249+8 ~x1017248+4 ~x1017247+2 ~x1017246+1 ~x1017245+524288 ~x4745+262144 ~x4744+131072 ~x4743+65536 ~x4742+32768 ~x4741+16384 ~x4740+8192 ~x4739+4096 ~x4738+2048 ~x4737+1024 ~x4736+512 ~x4735+256 ~x4734+128 ~x4733+64 ~x4732+32 ~x4731+16 ~x4730+8 ~x4729+4 ~x4728+2 ~x4727+1 ~x4726-0=2097150 28.58/28.67 c 524288 ~x1024398+262144 ~x1024397+131072 ~x1024396+65536 ~x1024395+32768 ~x1024394+16384 ~x1024393+8192 ~x1024392+4096 ~x1024391+2048 ~x1024390+1024 ~x1024389+512 ~x1024388+256 ~x1024387+128 ~x1024386+64 ~x1024385+32 ~x1024384+16 ~x1024383+8 ~x1024382+4 ~x1024381+2 ~x1024380+1 ~x1024379+524288 ~x4765+262144 ~x4764+131072 ~x4763+65536 ~x4762+32768 ~x4761+16384 ~x4760+8192 ~x4759+4096 ~x4758+2048 ~x4757+1024 ~x4756+512 ~x4755+256 ~x4754+128 ~x4753+64 ~x4752+32 ~x4751+16 ~x4750+8 ~x4749+4 ~x4748+2 ~x4747+1 ~x4746-0=2097150 28.78/28.84 c 524288 ~x1031532+262144 ~x1031531+131072 ~x1031530+65536 ~x1031529+32768 ~x1031528+16384 ~x1031527+8192 ~x1031526+4096 ~x1031525+2048 ~x1031524+1024 ~x1031523+512 ~x1031522+256 ~x1031521+128 ~x1031520+64 ~x1031519+32 ~x1031518+16 ~x1031517+8 ~x1031516+4 ~x1031515+2 ~x1031514+1 ~x1031513+524288 ~x4785+262144 ~x4784+131072 ~x4783+65536 ~x4782+32768 ~x4781+16384 ~x4780+8192 ~x4779+4096 ~x4778+2048 ~x4777+1024 ~x4776+512 ~x4775+256 ~x4774+128 ~x4773+64 ~x4772+32 ~x4771+16 ~x4770+8 ~x4769+4 ~x4768+2 ~x4767+1 ~x4766-0=2097150 28.98/29.01 c 524288 ~x1038666+262144 ~x1038665+131072 ~x1038664+65536 ~x1038663+32768 ~x1038662+16384 ~x1038661+8192 ~x1038660+4096 ~x1038659+2048 ~x1038658+1024 ~x1038657+512 ~x1038656+256 ~x1038655+128 ~x1038654+64 ~x1038653+32 ~x1038652+16 ~x1038651+8 ~x1038650+4 ~x1038649+2 ~x1038648+1 ~x1038647+524288 ~x4805+262144 ~x4804+131072 ~x4803+65536 ~x4802+32768 ~x4801+16384 ~x4800+8192 ~x4799+4096 ~x4798+2048 ~x4797+1024 ~x4796+512 ~x4795+256 ~x4794+128 ~x4793+64 ~x4792+32 ~x4791+16 ~x4790+8 ~x4789+4 ~x4788+2 ~x4787+1 ~x4786-0=2097150 29.08/29.18 c 524288 ~x1045800+262144 ~x1045799+131072 ~x1045798+65536 ~x1045797+32768 ~x1045796+16384 ~x1045795+8192 ~x1045794+4096 ~x1045793+2048 ~x1045792+1024 ~x1045791+512 ~x1045790+256 ~x1045789+128 ~x1045788+64 ~x1045787+32 ~x1045786+16 ~x1045785+8 ~x1045784+4 ~x1045783+2 ~x1045782+1 ~x1045781+524288 ~x5032+262144 ~x5031+131072 ~x5030+65536 ~x5029+32768 ~x5028+16384 ~x5027+8192 ~x5026+4096 ~x5025+2048 ~x5024+1024 ~x5023+512 ~x5022+256 ~x5021+128 ~x5020+64 ~x5019+32 ~x5018+16 ~x5017+8 ~x5016+4 ~x5015+2 ~x5014+1 ~x5013-0=2097150 29.28/29.35 c 524288 ~x1052934+262144 ~x1052933+131072 ~x1052932+65536 ~x1052931+32768 ~x1052930+16384 ~x1052929+8192 ~x1052928+4096 ~x1052927+2048 ~x1052926+1024 ~x1052925+512 ~x1052924+256 ~x1052923+128 ~x1052922+64 ~x1052921+32 ~x1052920+16 ~x1052919+8 ~x1052918+4 ~x1052917+2 ~x1052916+1 ~x1052915+524288 ~x5052+262144 ~x5051+131072 ~x5050+65536 ~x5049+32768 ~x5048+16384 ~x5047+8192 ~x5046+4096 ~x5045+2048 ~x5044+1024 ~x5043+512 ~x5042+256 ~x5041+128 ~x5040+64 ~x5039+32 ~x5038+16 ~x5037+8 ~x5036+4 ~x5035+2 ~x5034+1 ~x5033-0=2097150 29.48/29.52 c 524288 ~x1060068+262144 ~x1060067+131072 ~x1060066+65536 ~x1060065+32768 ~x1060064+16384 ~x1060063+8192 ~x1060062+4096 ~x1060061+2048 ~x1060060+1024 ~x1060059+512 ~x1060058+256 ~x1060057+128 ~x1060056+64 ~x1060055+32 ~x1060054+16 ~x1060053+8 ~x1060052+4 ~x1060051+2 ~x1060050+1 ~x1060049+524288 ~x5072+262144 ~x5071+131072 ~x5070+65536 ~x5069+32768 ~x5068+16384 ~x5067+8192 ~x5066+4096 ~x5065+2048 ~x5064+1024 ~x5063+512 ~x5062+256 ~x5061+128 ~x5060+64 ~x5059+32 ~x5058+16 ~x5057+8 ~x5056+4 ~x5055+2 ~x5054+1 ~x5053-0=2097150 29.58/29.69 c 524288 ~x1067202+262144 ~x1067201+131072 ~x1067200+65536 ~x1067199+32768 ~x1067198+16384 ~x1067197+8192 ~x1067196+4096 ~x1067195+2048 ~x1067194+1024 ~x1067193+512 ~x1067192+256 ~x1067191+128 ~x1067190+64 ~x1067189+32 ~x1067188+16 ~x1067187+8 ~x1067186+4 ~x1067185+2 ~x1067184+1 ~x1067183+524288 ~x5093+262144 ~x5092+131072 ~x5091+65536 ~x5090+32768 ~x5089+16384 ~x5088+8192 ~x5087+4096 ~x5086+2048 ~x5085+1024 ~x5084+512 ~x5083+256 ~x5082+128 ~x5081+64 ~x5080+32 ~x5079+16 ~x5078+8 ~x5077+4 ~x5076+2 ~x5075+1 ~x5074-0=2097150 29.78/29.86 c 524288 ~x1074336+262144 ~x1074335+131072 ~x1074334+65536 ~x1074333+32768 ~x1074332+16384 ~x1074331+8192 ~x1074330+4096 ~x1074329+2048 ~x1074328+1024 ~x1074327+512 ~x1074326+256 ~x1074325+128 ~x1074324+64 ~x1074323+32 ~x1074322+16 ~x1074321+8 ~x1074320+4 ~x1074319+2 ~x1074318+1 ~x1074317+524288 ~x5113+262144 ~x5112+131072 ~x5111+65536 ~x5110+32768 ~x5109+16384 ~x5108+8192 ~x5107+4096 ~x5106+2048 ~x5105+1024 ~x5104+512 ~x5103+256 ~x5102+128 ~x5101+64 ~x5100+32 ~x5099+16 ~x5098+8 ~x5097+4 ~x5096+2 ~x5095+1 ~x5094-0=2097150 29.98/30.03 c 524288 ~x1081470+262144 ~x1081469+131072 ~x1081468+65536 ~x1081467+32768 ~x1081466+16384 ~x1081465+8192 ~x1081464+4096 ~x1081463+2048 ~x1081462+1024 ~x1081461+512 ~x1081460+256 ~x1081459+128 ~x1081458+64 ~x1081457+32 ~x1081456+16 ~x1081455+8 ~x1081454+4 ~x1081453+2 ~x1081452+1 ~x1081451+524288 ~x5340+262144 ~x5339+131072 ~x5338+65536 ~x5337+32768 ~x5336+16384 ~x5335+8192 ~x5334+4096 ~x5333+2048 ~x5332+1024 ~x5331+512 ~x5330+256 ~x5329+128 ~x5328+64 ~x5327+32 ~x5326+16 ~x5325+8 ~x5324+4 ~x5323+2 ~x5322+1 ~x5321-0=2097150 30.18/30.20 c 524288 ~x1088604+262144 ~x1088603+131072 ~x1088602+65536 ~x1088601+32768 ~x1088600+16384 ~x1088599+8192 ~x1088598+4096 ~x1088597+2048 ~x1088596+1024 ~x1088595+512 ~x1088594+256 ~x1088593+128 ~x1088592+64 ~x1088591+32 ~x1088590+16 ~x1088589+8 ~x1088588+4 ~x1088587+2 ~x1088586+1 ~x1088585+524288 ~x5380+262144 ~x5379+131072 ~x5378+65536 ~x5377+32768 ~x5376+16384 ~x5375+8192 ~x5374+4096 ~x5373+2048 ~x5372+1024 ~x5371+512 ~x5370+256 ~x5369+128 ~x5368+64 ~x5367+32 ~x5366+16 ~x5365+8 ~x5364+4 ~x5363+2 ~x5362+1 ~x5361-0=2097150 30.28/30.37 c 524288 ~x1095738+262144 ~x1095737+131072 ~x1095736+65536 ~x1095735+32768 ~x1095734+16384 ~x1095733+8192 ~x1095732+4096 ~x1095731+2048 ~x1095730+1024 ~x1095729+512 ~x1095728+256 ~x1095727+128 ~x1095726+64 ~x1095725+32 ~x1095724+16 ~x1095723+8 ~x1095722+4 ~x1095721+2 ~x1095720+1 ~x1095719+524288 ~x5400+262144 ~x5399+131072 ~x5398+65536 ~x5397+32768 ~x5396+16384 ~x5395+8192 ~x5394+4096 ~x5393+2048 ~x5392+1024 ~x5391+512 ~x5390+256 ~x5389+128 ~x5388+64 ~x5387+32 ~x5386+16 ~x5385+8 ~x5384+4 ~x5383+2 ~x5382+1 ~x5381-0=2097150 30.48/30.54 c 524288 ~x1102872+262144 ~x1102871+131072 ~x1102870+65536 ~x1102869+32768 ~x1102868+16384 ~x1102867+8192 ~x1102866+4096 ~x1102865+2048 ~x1102864+1024 ~x1102863+512 ~x1102862+256 ~x1102861+128 ~x1102860+64 ~x1102859+32 ~x1102858+16 ~x1102857+8 ~x1102856+4 ~x1102855+2 ~x1102854+1 ~x1102853+524288 ~x5420+262144 ~x5419+131072 ~x5418+65536 ~x5417+32768 ~x5416+16384 ~x5415+8192 ~x5414+4096 ~x5413+2048 ~x5412+1024 ~x5411+512 ~x5410+256 ~x5409+128 ~x5408+64 ~x5407+32 ~x5406+16 ~x5405+8 ~x5404+4 ~x5403+2 ~x5402+1 ~x5401-0=2097150 30.68/30.73 c 8589934592 ~x1110020+4294967296 ~x1110019+2147483648 ~x1110018+1073741824 ~x1110017+536870912 ~x1110016+268435456 ~x1110015+134217728 ~x1110014+67108864 ~x1110013+33554432 ~x1110012+16777216 ~x1110011+8388608 ~x1110010+4194304 ~x1110009+2097152 ~x1110008+1048576 ~x1110007+524288 ~x1110006+262144 ~x1110005+131072 ~x1110004+65536 ~x1110003+32768 ~x1110002+16384 ~x1110001+8192 ~x1110000+4096 ~x1109999+2048 ~x1109998+1024 ~x1109997+512 ~x1109996+256 ~x1109995+128 ~x1109994+64 ~x1109993+32 ~x1109992+16 ~x1109991+8 ~x1109990+4 ~x1109989+2 ~x1109988+1 ~x1109987+536870912 ~x5471+268435456 ~x5470+134217728 ~x5469+67108864 ~x5468+33554432 ~x5467+16777216 ~x5466+8388608 ~x5465+4194304 ~x5464+2097152 ~x5463+1048576 ~x5462+524288 ~x5461+262144 ~x5460+131072 ~x5459+65536 ~x5458+32768 ~x5457+16384 ~x5456+8192 ~x5455+4096 ~x5454+2048 ~x5453+1024 ~x5452+512 ~x5451+256 ~x5450+128 ~x5449+64 ~x5448+32 ~x5447+16 ~x5446+8 ~x5445+4 ~x5444+2 ~x5443+1 ~x5442+536870912 ~x5163+268435456 ~x5162+134217728 ~x5161+67108864 ~x5160+33554432 ~x5159+16777216 ~x5158+8388608 ~x5157+4194304 ~x5156+2097152 ~x5155+1048576 ~x5154+524288 ~x5153+262144 ~x5152+131072 ~x5151+65536 ~x5150+32768 ~x5149+16384 ~x5148+8192 ~x5147+4096 ~x5146+2048 ~x5145+1024 ~x5144+512 ~x5143+256 ~x5142+128 ~x5141+64 ~x5140+32 ~x5139+16 ~x5138+8 ~x5137+4 ~x5136+2 ~x5135+1 ~x5134+536870912 ~x4855+268435456 ~x4854+134217728 ~x4853+67108864 ~x4852+33554432 ~x4851+16777216 ~x4850+8388608 ~x4849+4194304 ~x4848+2097152 ~x4847+1048576 ~x4846+524288 ~x4845+262144 ~x4844+131072 ~x4843+65536 ~x4842+32768 ~x4841+16384 ~x4840+8192 ~x4839+4096 ~x4838+2048 ~x4837+1024 ~x4836+512 ~x4835+256 ~x4834+128 ~x4833+64 ~x4832+32 ~x4831+16 ~x4830+8 ~x4829+4 ~x4828+2 ~x4827+1 ~x4826+536870912 ~x4546+268435456 ~x4545+134217728 ~x4544+67108864 ~x4543+33554432 ~x4542+16777216 ~x4541+8388608 ~x4540+4194304 ~x4539+2097152 ~x4538+1048576 ~x4537+524288 ~x4536+262144 ~x4535+131072 ~x4534+65536 ~x4533+32768 ~x4532+16384 ~x4531+8192 ~x4530+4096 ~x4529+2048 ~x4528+1024 ~x4527+512 ~x4526+256 ~x4525+128 ~x4524+64 ~x4523+32 ~x4522+16 ~x4521+8 ~x4520+4 ~x4519+2 ~x4518+1 ~x4517+536870912 ~x4238+268435456 ~x4237+134217728 ~x4236+67108864 ~x4235+33554432 ~x4234+16777216 ~x4233+8388608 ~x4232+4194304 ~x4231+2097152 ~x4230+1048576 ~x4229+524288 ~x4228+262144 ~x4227+131072 ~x4226+65536 ~x4225+32768 ~x4224+16384 ~x4223+8192 ~x4222+4096 ~x4221+2048 ~x4220+1024 ~x4219+512 ~x4218+256 ~x4217+128 ~x4216+64 ~x4215+32 ~x4214+16 ~x4213+8 ~x4212+4 ~x4211+2 ~x4210+1 ~x4209+536870912 ~x3931+268435456 ~x3930+134217728 ~x3929+67108864 ~x3928+33554432 ~x3927+16777216 ~x3926+8388608 ~x3925+4194304 ~x3924+2097152 ~x3923+1048576 ~x3922+524288 ~x3921+262144 ~x3920+131072 ~x3919+65536 ~x3918+32768 ~x3917+16384 ~x3916+8192 ~x3915+4096 ~x3914+2048 ~x3913+1024 ~x3912+512 ~x3911+256 ~x3910+128 ~x3909+64 ~x3908+32 ~x3907+16 ~x3906+8 ~x3905+4 ~x3904+2 ~x3903+1 ~x3902+536870912 ~x3623+268435456 ~x3622+134217728 ~x3621+67108864 ~x3620+33554432 ~x3619+16777216 ~x3618+8388608 ~x3617+4194304 ~x3616+2097152 ~x3615+1048576 ~x3614+524288 ~x3613+262144 ~x3612+131072 ~x3611+65536 ~x3610+32768 ~x3609+16384 ~x3608+8192 ~x3607+4096 ~x3606+2048 ~x3605+1024 ~x3604+512 ~x3603+256 ~x3602+128 ~x3601+64 ~x3600+32 ~x3599+16 ~x3598+8 ~x3597+4 ~x3596+2 ~x3595+1 ~x3594+536870912 ~x3315+268435456 ~x3314+134217728 ~x3313+67108864 ~x3312+33554432 ~x3311+16777216 ~x3310+8388608 ~x3309+4194304 ~x3308+2097152 ~x3307+1048576 ~x3306+524288 ~x3305+262144 ~x3304+131072 ~x3303+65536 ~x3302+32768 ~x3301+16384 ~x3300+8192 ~x3299+4096 ~x3298+2048 ~x3297+1024 ~x3296+512 ~x3295+256 ~x3294+128 ~x3293+64 ~x3292+32 ~x3291+16 ~x3290+8 ~x3289+4 ~x3288+2 ~x3287+1 ~x3286+536870912 ~x3006+268435456 ~x3005+134217728 ~x3004+67108864 ~x3003+33554432 ~x3002+16777216 ~x3001+8388608 ~x3000+4194304 ~x2999+2097152 ~x2998+1048576 ~x2997+524288 ~x2996+262144 ~x2995+131072 ~x2994+65536 ~x2993+32768 ~x2992+16384 ~x2991+8192 ~x2990+4096 ~x2989+2048 ~x2988+1024 ~x2987+512 ~x2986+256 ~x2985+128 ~x2984+64 ~x2983+32 ~x2982+16 ~x2981+8 ~x2980+4 ~x2979+2 ~x2978+1 ~x2977+536870912 ~x2698+268435456 ~x2697+134217728 ~x2696+67108864 ~x2695+33554432 ~x2694+16777216 ~x2693+8388608 ~x2692+4194304 ~x2691+2097152 ~x2690+1048576 ~x2689+524288 ~x2688+262144 ~x2687+131072 ~x2686+65536 ~x2685+32768 ~x2684+16384 ~x2683+8192 ~x2682+4096 ~x2681+2048 ~x2680+1024 ~x2679+512 ~x2678+256 ~x2677+128 ~x2676+64 ~x2675+32 ~x2674+16 ~x2673+8 ~x2672+4 ~x2671+2 ~x2670+1 ~x2669+536870912 ~x2391+268435456 ~x2390+134217728 ~x2389+67108864 ~x2388+33554432 ~x2387+16777216 ~x2386+8388608 ~x2385+4194304 ~x2384+2097152 ~x2383+1048576 ~x2382+524288 ~x2381+262144 ~x2380+131072 ~x2379+65536 ~x2378+32768 ~x2377+16384 ~x2376+8192 ~x2375+4096 ~x2374+2048 ~x2373+1024 ~x2372+512 ~x2371+256 ~x2370+128 ~x2369+64 ~x2368+32 ~x2367+16 ~x2366+8 ~x2365+4 ~x2364+2 ~x2363+1 ~x2362+536870912 ~x2083+268435456 ~x2082+134217728 ~x2081+67108864 ~x2080+33554432 ~x2079+16777216 ~x2078+8388608 ~x2077+4194304 ~x2076+2097152 ~x2075+1048576 ~x2074+524288 ~x2073+262144 ~x2072+131072 ~x2071+65536 ~x2070+32768 ~x2069+16384 ~x2068+8192 ~x2067+4096 ~x2066+2048 ~x2065+1024 ~x2064+512 ~x2063+256 ~x2062+128 ~x2061+64 ~x2060+32 ~x2059+16 ~x2058+8 ~x2057+4 ~x2056+2 ~x2055+1 ~x2054+3072000 x1669-0=30064771059 34.09/34.14 c 8589934592 ~x1261441+4294967296 ~x1261440+2147483648 ~x1261439+1073741824 ~x1261438+536870912 ~x1261437+268435456 ~x1261436+134217728 ~x1261435+67108864 ~x1261434+33554432 ~x1261433+16777216 ~x1261432+8388608 ~x1261431+4194304 ~x1261430+2097152 ~x1261429+1048576 ~x1261428+524288 ~x1261427+262144 ~x1261426+131072 ~x1261425+65536 ~x1261424+32768 ~x1261423+16384 ~x1261422+8192 ~x1261421+4096 ~x1261420+2048 ~x1261419+1024 ~x1261418+512 ~x1261417+256 ~x1261416+128 ~x1261415+64 ~x1261414+32 ~x1261413+16 ~x1261412+8 ~x1261411+4 ~x1261410+2 ~x1261409+1 ~x1261408+536870912 ~x5193+268435456 ~x5192+134217728 ~x5191+67108864 ~x5190+33554432 ~x5189+16777216 ~x5188+8388608 ~x5187+4194304 ~x5186+2097152 ~x5185+1048576 ~x5184+524288 ~x5183+262144 ~x5182+131072 ~x5181+65536 ~x5180+32768 ~x5179+16384 ~x5178+8192 ~x5177+4096 ~x5176+2048 ~x5175+1024 ~x5174+512 ~x5173+256 ~x5172+128 ~x5171+64 ~x5170+32 ~x5169+16 ~x5168+8 ~x5167+4 ~x5166+2 ~x5165+1 ~x5164+536870912 ~x4885+268435456 ~x4884+134217728 ~x4883+67108864 ~x4882+33554432 ~x4881+16777216 ~x4880+8388608 ~x4879+4194304 ~x4878+2097152 ~x4877+1048576 ~x4876+524288 ~x4875+262144 ~x4874+131072 ~x4873+65536 ~x4872+32768 ~x4871+16384 ~x4870+8192 ~x4869+4096 ~x4868+2048 ~x4867+1024 ~x4866+512 ~x4865+256 ~x4864+128 ~x4863+64 ~x4862+32 ~x4861+16 ~x4860+8 ~x4859+4 ~x4858+2 ~x4857+1 ~x4856+536870912 ~x4269+268435456 ~x4268+134217728 ~x4267+67108864 ~x4266+33554432 ~x4265+16777216 ~x4264+8388608 ~x4263+4194304 ~x4262+2097152 ~x4261+1048576 ~x4260+524288 ~x4259+262144 ~x4258+131072 ~x4257+65536 ~x4256+32768 ~x4255+16384 ~x4254+8192 ~x4253+4096 ~x4252+2048 ~x4251+1024 ~x4250+512 ~x4249+256 ~x4248+128 ~x4247+64 ~x4246+32 ~x4245+16 ~x4244+8 ~x4243+4 ~x4242+2 ~x4241+1 ~x4240+536870912 ~x3961+268435456 ~x3960+134217728 ~x3959+67108864 ~x3958+33554432 ~x3957+16777216 ~x3956+8388608 ~x3955+4194304 ~x3954+2097152 ~x3953+1048576 ~x3952+524288 ~x3951+262144 ~x3950+131072 ~x3949+65536 ~x3948+32768 ~x3947+16384 ~x3946+8192 ~x3945+4096 ~x3944+2048 ~x3943+1024 ~x3942+512 ~x3941+256 ~x3940+128 ~x3939+64 ~x3938+32 ~x3937+16 ~x3936+8 ~x3935+4 ~x3934+2 ~x3933+1 ~x3932+536870912 ~x3653+268435456 ~x3652+134217728 ~x3651+67108864 ~x3650+33554432 ~x3649+16777216 ~x3648+8388608 ~x3647+4194304 ~x3646+2097152 ~x3645+1048576 ~x3644+524288 ~x3643+262144 ~x3642+131072 ~x3641+65536 ~x3640+32768 ~x3639+16384 ~x3638+8192 ~x3637+4096 ~x3636+2048 ~x3635+1024 ~x3634+512 ~x3633+256 ~x3632+128 ~x3631+64 ~x3630+32 ~x3629+16 ~x3628+8 ~x3627+4 ~x3626+2 ~x3625+1 ~x3624+536870912 ~x3345+268435456 ~x3344+134217728 ~x3343+67108864 ~x3342+33554432 ~x3341+16777216 ~x3340+8388608 ~x3339+4194304 ~x3338+2097152 ~x3337+1048576 ~x3336+524288 ~x3335+262144 ~x3334+131072 ~x3333+65536 ~x3332+32768 ~x3331+16384 ~x3330+8192 ~x3329+4096 ~x3328+2048 ~x3327+1024 ~x3326+512 ~x3325+256 ~x3324+128 ~x3323+64 ~x3322+32 ~x3321+16 ~x3320+8 ~x3319+4 ~x3318+2 ~x3317+1 ~x3316+536870912 ~x3036+268435456 ~x3035+134217728 ~x3034+67108864 ~x3033+33554432 ~x3032+16777216 ~x3031+8388608 ~x3030+4194304 ~x3029+2097152 ~x3028+1048576 ~x3027+524288 ~x3026+262144 ~x3025+131072 ~x3024+65536 ~x3023+32768 ~x3022+16384 ~x3021+8192 ~x3020+4096 ~x3019+2048 ~x3018+1024 ~x3017+512 ~x3016+256 ~x3015+128 ~x3014+64 ~x3013+32 ~x3012+16 ~x3011+8 ~x3010+4 ~x3009+2 ~x3008+1 ~x3007+536870912 ~x2729+268435456 ~x2728+134217728 ~x2727+67108864 ~x2726+33554432 ~x2725+16777216 ~x2724+8388608 ~x2723+4194304 ~x2722+2097152 ~x2721+1048576 ~x2720+524288 ~x2719+262144 ~x2718+131072 ~x2717+65536 ~x2716+32768 ~x2715+16384 ~x2714+8192 ~x2713+4096 ~x2712+2048 ~x2711+1024 ~x2710+512 ~x2709+256 ~x2708+128 ~x2707+64 ~x2706+32 ~x2705+16 ~x2704+8 ~x2703+4 ~x2702+2 ~x2701+1 ~x2700+536870912 ~x2421+268435456 ~x2420+134217728 ~x2419+67108864 ~x2418+33554432 ~x2417+16777216 ~x2416+8388608 ~x2415+4194304 ~x2414+2097152 ~x2413+1048576 ~x2412+524288 ~x2411+262144 ~x2410+131072 ~x2409+65536 ~x2408+32768 ~x2407+16384 ~x2406+8192 ~x2405+4096 ~x2404+2048 ~x2403+1024 ~x2402+512 ~x2401+256 ~x2400+128 ~x2399+64 ~x2398+32 ~x2397+16 ~x2396+8 ~x2395+4 ~x2394+2 ~x2393+1 ~x2392+536870912 ~x2113+268435456 ~x2112+134217728 ~x2111+67108864 ~x2110+33554432 ~x2109+16777216 ~x2108+8388608 ~x2107+4194304 ~x2106+2097152 ~x2105+1048576 ~x2104+524288 ~x2103+262144 ~x2102+131072 ~x2101+65536 ~x2100+32768 ~x2099+16384 ~x2098+8192 ~x2097+4096 ~x2096+2048 ~x2095+1024 ~x2094+512 ~x2093+256 ~x2092+128 ~x2091+64 ~x2090+32 ~x2089+16 ~x2088+8 ~x2087+4 ~x2086+2 ~x2085+1 ~x2084+3072000 x1780-0=27917287413 36.87/36.99 c 8589934592 ~x1389462+4294967296 ~x1389461+2147483648 ~x1389460+1073741824 ~x1389459+536870912 ~x1389458+268435456 ~x1389457+134217728 ~x1389456+67108864 ~x1389455+33554432 ~x1389454+16777216 ~x1389453+8388608 ~x1389452+4194304 ~x1389451+2097152 ~x1389450+1048576 ~x1389449+524288 ~x1389448+262144 ~x1389447+131072 ~x1389446+65536 ~x1389445+32768 ~x1389444+16384 ~x1389443+8192 ~x1389442+4096 ~x1389441+2048 ~x1389440+1024 ~x1389439+512 ~x1389438+256 ~x1389437+128 ~x1389436+64 ~x1389435+32 ~x1389434+16 ~x1389433+8 ~x1389432+4 ~x1389431+2 ~x1389430+1 ~x1389429+536870912 ~x5531+268435456 ~x5530+134217728 ~x5529+67108864 ~x5528+33554432 ~x5527+16777216 ~x5526+8388608 ~x5525+4194304 ~x5524+2097152 ~x5523+1048576 ~x5522+524288 ~x5521+262144 ~x5520+131072 ~x5519+65536 ~x5518+32768 ~x5517+16384 ~x5516+8192 ~x5515+4096 ~x5514+2048 ~x5513+1024 ~x5512+512 ~x5511+256 ~x5510+128 ~x5509+64 ~x5508+32 ~x5507+16 ~x5506+8 ~x5505+4 ~x5504+2 ~x5503+1 ~x5502+536870912 ~x5223+268435456 ~x5222+134217728 ~x5221+67108864 ~x5220+33554432 ~x5219+16777216 ~x5218+8388608 ~x5217+4194304 ~x5216+2097152 ~x5215+1048576 ~x5214+524288 ~x5213+262144 ~x5212+131072 ~x5211+65536 ~x5210+32768 ~x5209+16384 ~x5208+8192 ~x5207+4096 ~x5206+2048 ~x5205+1024 ~x5204+512 ~x5203+256 ~x5202+128 ~x5201+64 ~x5200+32 ~x5199+16 ~x5198+8 ~x5197+4 ~x5196+2 ~x5195+1 ~x5194+536870912 ~x4915+268435456 ~x4914+134217728 ~x4913+67108864 ~x4912+33554432 ~x4911+16777216 ~x4910+8388608 ~x4909+4194304 ~x4908+2097152 ~x4907+1048576 ~x4906+524288 ~x4905+262144 ~x4904+131072 ~x4903+65536 ~x4902+32768 ~x4901+16384 ~x4900+8192 ~x4899+4096 ~x4898+2048 ~x4897+1024 ~x4896+512 ~x4895+256 ~x4894+128 ~x4893+64 ~x4892+32 ~x4891+16 ~x4890+8 ~x4889+4 ~x4888+2 ~x4887+1 ~x4886+536870912 ~x4299+268435456 ~x4298+134217728 ~x4297+67108864 ~x4296+33554432 ~x4295+16777216 ~x4294+8388608 ~x4293+4194304 ~x4292+2097152 ~x4291+1048576 ~x4290+524288 ~x4289+262144 ~x4288+131072 ~x4287+65536 ~x4286+32768 ~x4285+16384 ~x4284+8192 ~x4283+4096 ~x4282+2048 ~x4281+1024 ~x4280+512 ~x4279+256 ~x4278+128 ~x4277+64 ~x4276+32 ~x4275+16 ~x4274+8 ~x4273+4 ~x4272+2 ~x4271+1 ~x4270+536870912 ~x3991+268435456 ~x3990+134217728 ~x3989+67108864 ~x3988+33554432 ~x3987+16777216 ~x3986+8388608 ~x3985+4194304 ~x3984+2097152 ~x3983+1048576 ~x3982+524288 ~x3981+262144 ~x3980+131072 ~x3979+65536 ~x3978+32768 ~x3977+16384 ~x3976+8192 ~x3975+4096 ~x3974+2048 ~x3973+1024 ~x3972+512 ~x3971+256 ~x3970+128 ~x3969+64 ~x3968+32 ~x3967+16 ~x3966+8 ~x3965+4 ~x3964+2 ~x3963+1 ~x3962+536870912 ~x3683+268435456 ~x3682+134217728 ~x3681+67108864 ~x3680+33554432 ~x3679+16777216 ~x3678+8388608 ~x3677+4194304 ~x3676+2097152 ~x3675+1048576 ~x3674+524288 ~x3673+262144 ~x3672+131072 ~x3671+65536 ~x3670+32768 ~x3669+16384 ~x3668+8192 ~x3667+4096 ~x3666+2048 ~x3665+1024 ~x3664+512 ~x3663+256 ~x3662+128 ~x3661+64 ~x3660+32 ~x3659+16 ~x3658+8 ~x3657+4 ~x3656+2 ~x3655+1 ~x3654+536870912 ~x3375+268435456 ~x3374+134217728 ~x3373+67108864 ~x3372+33554432 ~x3371+16777216 ~x3370+8388608 ~x3369+4194304 ~x3368+2097152 ~x3367+1048576 ~x3366+524288 ~x3365+262144 ~x3364+131072 ~x3363+65536 ~x3362+32768 ~x3361+16384 ~x3360+8192 ~x3359+4096 ~x3358+2048 ~x3357+1024 ~x3356+512 ~x3355+256 ~x3354+128 ~x3353+64 ~x3352+32 ~x3351+16 ~x3350+8 ~x3349+4 ~x3348+2 ~x3347+1 ~x3346+536870912 ~x3066+268435456 ~x3065+134217728 ~x3064+67108864 ~x3063+33554432 ~x3062+16777216 ~x3061+8388608 ~x3060+4194304 ~x3059+2097152 ~x3058+1048576 ~x3057+524288 ~x3056+262144 ~x3055+131072 ~x3054+65536 ~x3053+32768 ~x3052+16384 ~x3051+8192 ~x3050+4096 ~x3049+2048 ~x3048+1024 ~x3047+512 ~x3046+256 ~x3045+128 ~x3044+64 ~x3043+32 ~x3042+16 ~x3041+8 ~x3040+4 ~x3039+2 ~x3038+1 ~x3037+536870912 ~x2759+268435456 ~x2758+134217728 ~x2757+67108864 ~x2756+33554432 ~x2755+16777216 ~x2754+8388608 ~x2753+4194304 ~x2752+2097152 ~x2751+1048576 ~x2750+524288 ~x2749+262144 ~x2748+131072 ~x2747+65536 ~x2746+32768 ~x2745+16384 ~x2744+8192 ~x2743+4096 ~x2742+2048 ~x2741+1024 ~x2740+512 ~x2739+256 ~x2738+128 ~x2737+64 ~x2736+32 ~x2735+16 ~x2734+8 ~x2733+4 ~x2732+2 ~x2731+1 ~x2730+536870912 ~x2451+268435456 ~x2450+134217728 ~x2449+67108864 ~x2448+33554432 ~x2447+16777216 ~x2446+8388608 ~x2445+4194304 ~x2444+2097152 ~x2443+1048576 ~x2442+524288 ~x2441+262144 ~x2440+131072 ~x2439+65536 ~x2438+32768 ~x2437+16384 ~x2436+8192 ~x2435+4096 ~x2434+2048 ~x2433+1024 ~x2432+512 ~x2431+256 ~x2430+128 ~x2429+64 ~x2428+32 ~x2427+16 ~x2426+8 ~x2425+4 ~x2424+2 ~x2423+1 ~x2422+536870912 ~x2143+268435456 ~x2142+134217728 ~x2141+67108864 ~x2140+33554432 ~x2139+16777216 ~x2138+8388608 ~x2137+4194304 ~x2136+2097152 ~x2135+1048576 ~x2134+524288 ~x2133+262144 ~x2132+131072 ~x2131+65536 ~x2130+32768 ~x2129+16384 ~x2128+8192 ~x2127+4096 ~x2126+2048 ~x2125+1024 ~x2124+512 ~x2123+256 ~x2122+128 ~x2121+64 ~x2120+32 ~x2119+16 ~x2118+8 ~x2117+4 ~x2116+2 ~x2115+1 ~x2114+3072000 x1891-0=28991029236 40.08/40.11 c 8589934592 ~x1529183+4294967296 ~x1529182+2147483648 ~x1529181+1073741824 ~x1529180+536870912 ~x1529179+268435456 ~x1529178+134217728 ~x1529177+67108864 ~x1529176+33554432 ~x1529175+16777216 ~x1529174+8388608 ~x1529173+4194304 ~x1529172+2097152 ~x1529171+1048576 ~x1529170+524288 ~x1529169+262144 ~x1529168+131072 ~x1529167+65536 ~x1529166+32768 ~x1529165+16384 ~x1529164+8192 ~x1529163+4096 ~x1529162+2048 ~x1529161+1024 ~x1529160+512 ~x1529159+256 ~x1529158+128 ~x1529157+64 ~x1529156+32 ~x1529155+16 ~x1529154+8 ~x1529153+4 ~x1529152+2 ~x1529151+1 ~x1529150+536870912 ~x5561+268435456 ~x5560+134217728 ~x5559+67108864 ~x5558+33554432 ~x5557+16777216 ~x5556+8388608 ~x5555+4194304 ~x5554+2097152 ~x5553+1048576 ~x5552+524288 ~x5551+262144 ~x5550+131072 ~x5549+65536 ~x5548+32768 ~x5547+16384 ~x5546+8192 ~x5545+4096 ~x5544+2048 ~x5543+1024 ~x5542+512 ~x5541+256 ~x5540+128 ~x5539+64 ~x5538+32 ~x5537+16 ~x5536+8 ~x5535+4 ~x5534+2 ~x5533+1 ~x5532+536870912 ~x5253+268435456 ~x5252+134217728 ~x5251+67108864 ~x5250+33554432 ~x5249+16777216 ~x5248+8388608 ~x5247+4194304 ~x5246+2097152 ~x5245+1048576 ~x5244+524288 ~x5243+262144 ~x5242+131072 ~x5241+65536 ~x5240+32768 ~x5239+16384 ~x5238+8192 ~x5237+4096 ~x5236+2048 ~x5235+1024 ~x5234+512 ~x5233+256 ~x5232+128 ~x5231+64 ~x5230+32 ~x5229+16 ~x5228+8 ~x5227+4 ~x5226+2 ~x5225+1 ~x5224+536870912 ~x4945+268435456 ~x4944+134217728 ~x4943+67108864 ~x4942+33554432 ~x4941+16777216 ~x4940+8388608 ~x4939+4194304 ~x4938+2097152 ~x4937+1048576 ~x4936+524288 ~x4935+262144 ~x4934+131072 ~x4933+65536 ~x4932+32768 ~x4931+16384 ~x4930+8192 ~x4929+4096 ~x4928+2048 ~x4927+1024 ~x4926+512 ~x4925+256 ~x4924+128 ~x4923+64 ~x4922+32 ~x4921+16 ~x4920+8 ~x4919+4 ~x4918+2 ~x4917+1 ~x4916+536870912 ~x4637+268435456 ~x4636+134217728 ~x4635+67108864 ~x4634+33554432 ~x4633+16777216 ~x4632+8388608 ~x4631+4194304 ~x4630+2097152 ~x4629+1048576 ~x4628+524288 ~x4627+262144 ~x4626+131072 ~x4625+65536 ~x4624+32768 ~x4623+16384 ~x4622+8192 ~x4621+4096 ~x4620+2048 ~x4619+1024 ~x4618+512 ~x4617+256 ~x4616+128 ~x4615+64 ~x4614+32 ~x4613+16 ~x4612+8 ~x4611+4 ~x4610+2 ~x4609+1 ~x4608+536870912 ~x4329+268435456 ~x4328+134217728 ~x4327+67108864 ~x4326+33554432 ~x4325+16777216 ~x4324+8388608 ~x4323+4194304 ~x4322+2097152 ~x4321+1048576 ~x4320+524288 ~x4319+262144 ~x4318+131072 ~x4317+65536 ~x4316+32768 ~x4315+16384 ~x4314+8192 ~x4313+4096 ~x4312+2048 ~x4311+1024 ~x4310+512 ~x4309+256 ~x4308+128 ~x4307+64 ~x4306+32 ~x4305+16 ~x4304+8 ~x4303+4 ~x4302+2 ~x4301+1 ~x4300+536870912 ~x4021+268435456 ~x4020+134217728 ~x4019+67108864 ~x4018+33554432 ~x4017+16777216 ~x4016+8388608 ~x4015+4194304 ~x4014+2097152 ~x4013+1048576 ~x4012+524288 ~x4011+262144 ~x4010+131072 ~x4009+65536 ~x4008+32768 ~x4007+16384 ~x4006+8192 ~x4005+4096 ~x4004+2048 ~x4003+1024 ~x4002+512 ~x4001+256 ~x4000+128 ~x3999+64 ~x3998+32 ~x3997+16 ~x3996+8 ~x3995+4 ~x3994+2 ~x3993+1 ~x3992+536870912 ~x3713+268435456 ~x3712+134217728 ~x3711+67108864 ~x3710+33554432 ~x3709+16777216 ~x3708+8388608 ~x3707+4194304 ~x3706+2097152 ~x3705+1048576 ~x3704+524288 ~x3703+262144 ~x3702+131072 ~x3701+65536 ~x3700+32768 ~x3699+16384 ~x3698+8192 ~x3697+4096 ~x3696+2048 ~x3695+1024 ~x3694+512 ~x3693+256 ~x3692+128 ~x3691+64 ~x3690+32 ~x3689+16 ~x3688+8 ~x3687+4 ~x3686+2 ~x3685+1 ~x3684+536870912 ~x3405+268435456 ~x3404+134217728 ~x3403+67108864 ~x3402+33554432 ~x3401+16777216 ~x3400+8388608 ~x3399+4194304 ~x3398+2097152 ~x3397+1048576 ~x3396+524288 ~x3395+262144 ~x3394+131072 ~x3393+65536 ~x3392+32768 ~x3391+16384 ~x3390+8192 ~x3389+4096 ~x3388+2048 ~x3387+1024 ~x3386+512 ~x3385+256 ~x3384+128 ~x3383+64 ~x3382+32 ~x3381+16 ~x3380+8 ~x3379+4 ~x3378+2 ~x3377+1 ~x3376+536870912 ~x3098+268435456 ~x3097+134217728 ~x3096+67108864 ~x3095+33554432 ~x3094+16777216 ~x3093+8388608 ~x3092+4194304 ~x3091+2097152 ~x3090+1048576 ~x3089+524288 ~x3088+262144 ~x3087+131072 ~x3086+65536 ~x3085+32768 ~x3084+16384 ~x3083+8192 ~x3082+4096 ~x3081+2048 ~x3080+1024 ~x3079+512 ~x3078+256 ~x3077+128 ~x3076+64 ~x3075+32 ~x3074+16 ~x3073+8 ~x3072+4 ~x3071+2 ~x3070+1 ~x3069+3072000 x3067+536870912 ~x2789+268435456 ~x2788+134217728 ~x2787+67108864 ~x2786+33554432 ~x2785+16777216 ~x2784+8388608 ~x2783+4194304 ~x2782+2097152 ~x2781+1048576 ~x2780+524288 ~x2779+262144 ~x2778+131072 ~x2777+65536 ~x2776+32768 ~x2775+16384 ~x2774+8192 ~x2773+4096 ~x2772+2048 ~x2771+1024 ~x2770+512 ~x2769+256 ~x2768+128 ~x2767+64 ~x2766+32 ~x2765+16 ~x2764+8 ~x2763+4 ~x2762+2 ~x2761+1 ~x2760+536870912 ~x2481+268435456 ~x2480+134217728 ~x2479+67108864 ~x2478+33554432 ~x2477+16777216 ~x2476+8388608 ~x2475+4194304 ~x2474+2097152 ~x2473+1048576 ~x2472+524288 ~x2471+262144 ~x2470+131072 ~x2469+65536 ~x2468+32768 ~x2467+16384 ~x2466+8192 ~x2465+4096 ~x2464+2048 ~x2463+1024 ~x2462+512 ~x2461+256 ~x2460+128 ~x2459+64 ~x2458+32 ~x2457+16 ~x2456+8 ~x2455+4 ~x2454+2 ~x2453+1 ~x2452+536870912 ~x2173+268435456 ~x2172+134217728 ~x2171+67108864 ~x2170+33554432 ~x2169+16777216 ~x2168+8388608 ~x2167+4194304 ~x2166+2097152 ~x2165+1048576 ~x2164+524288 ~x2163+262144 ~x2162+131072 ~x2161+65536 ~x2160+32768 ~x2159+16384 ~x2158+8192 ~x2157+4096 ~x2156+2048 ~x2155+1024 ~x2154+512 ~x2153+256 ~x2152+128 ~x2151+64 ~x2150+32 ~x2149+16 ~x2148+8 ~x2147+4 ~x2146+2 ~x2145+1 ~x2144-0=30064771059 43.47/43.50 c 8589934592 ~x1680718+4294967296 ~x1680717+2147483648 ~x1680716+1073741824 ~x1680715+536870912 ~x1680714+268435456 ~x1680713+134217728 ~x1680712+67108864 ~x1680711+33554432 ~x1680710+16777216 ~x1680709+8388608 ~x1680708+4194304 ~x1680707+2097152 ~x1680706+1048576 ~x1680705+524288 ~x1680704+262144 ~x1680703+131072 ~x1680702+65536 ~x1680701+32768 ~x1680700+16384 ~x1680699+8192 ~x1680698+4096 ~x1680697+2048 ~x1680696+1024 ~x1680695+512 ~x1680694+256 ~x1680693+128 ~x1680692+64 ~x1680691+32 ~x1680690+16 ~x1680689+8 ~x1680688+4 ~x1680687+2 ~x1680686+1 ~x1680685+536870912 ~x5591+268435456 ~x5590+134217728 ~x5589+67108864 ~x5588+33554432 ~x5587+16777216 ~x5586+8388608 ~x5585+4194304 ~x5584+2097152 ~x5583+1048576 ~x5582+524288 ~x5581+262144 ~x5580+131072 ~x5579+65536 ~x5578+32768 ~x5577+16384 ~x5576+8192 ~x5575+4096 ~x5574+2048 ~x5573+1024 ~x5572+512 ~x5571+256 ~x5570+128 ~x5569+64 ~x5568+32 ~x5567+16 ~x5566+8 ~x5565+4 ~x5564+2 ~x5563+1 ~x5562+536870912 ~x5283+268435456 ~x5282+134217728 ~x5281+67108864 ~x5280+33554432 ~x5279+16777216 ~x5278+8388608 ~x5277+4194304 ~x5276+2097152 ~x5275+1048576 ~x5274+524288 ~x5273+262144 ~x5272+131072 ~x5271+65536 ~x5270+32768 ~x5269+16384 ~x5268+8192 ~x5267+4096 ~x5266+2048 ~x5265+1024 ~x5264+512 ~x5263+256 ~x5262+128 ~x5261+64 ~x5260+32 ~x5259+16 ~x5258+8 ~x5257+4 ~x5256+2 ~x5255+1 ~x5254+536870912 ~x4975+268435456 ~x4974+134217728 ~x4973+67108864 ~x4972+33554432 ~x4971+16777216 ~x4970+8388608 ~x4969+4194304 ~x4968+2097152 ~x4967+1048576 ~x4966+524288 ~x4965+262144 ~x4964+131072 ~x4963+65536 ~x4962+32768 ~x4961+16384 ~x4960+8192 ~x4959+4096 ~x4958+2048 ~x4957+1024 ~x4956+512 ~x4955+256 ~x4954+128 ~x4953+64 ~x4952+32 ~x4951+16 ~x4950+8 ~x4949+4 ~x4948+2 ~x4947+1 ~x4946+3072000 x4724+536870912 ~x4667+268435456 ~x4666+134217728 ~x4665+67108864 ~x4664+33554432 ~x4663+16777216 ~x4662+8388608 ~x4661+4194304 ~x4660+2097152 ~x4659+1048576 ~x4658+524288 ~x4657+262144 ~x4656+131072 ~x4655+65536 ~x4654+32768 ~x4653+16384 ~x4652+8192 ~x4651+4096 ~x4650+2048 ~x4649+1024 ~x4648+512 ~x4647+256 ~x4646+128 ~x4645+64 ~x4644+32 ~x4643+16 ~x4642+8 ~x4641+4 ~x4640+2 ~x4639+1 ~x4638+536870912 ~x4359+268435456 ~x4358+134217728 ~x4357+67108864 ~x4356+33554432 ~x4355+16777216 ~x4354+8388608 ~x4353+4194304 ~x4352+2097152 ~x4351+1048576 ~x4350+524288 ~x4349+262144 ~x4348+131072 ~x4347+65536 ~x4346+32768 ~x4345+16384 ~x4344+8192 ~x4343+4096 ~x4342+2048 ~x4341+1024 ~x4340+512 ~x4339+256 ~x4338+128 ~x4337+64 ~x4336+32 ~x4335+16 ~x4334+8 ~x4333+4 ~x4332+2 ~x4331+1 ~x4330+536870912 ~x4051+268435456 ~x4050+134217728 ~x4049+67108864 ~x4048+33554432 ~x4047+16777216 ~x4046+8388608 ~x4045+4194304 ~x4044+2097152 ~x4043+1048576 ~x4042+524288 ~x4041+262144 ~x4040+131072 ~x4039+65536 ~x4038+32768 ~x4037+16384 ~x4036+8192 ~x4035+4096 ~x4034+2048 ~x4033+1024 ~x4032+512 ~x4031+256 ~x4030+128 ~x4029+64 ~x4028+32 ~x4027+16 ~x4026+8 ~x4025+4 ~x4024+2 ~x4023+1 ~x4022+536870912 ~x3743+268435456 ~x3742+134217728 ~x3741+67108864 ~x3740+33554432 ~x3739+16777216 ~x3738+8388608 ~x3737+4194304 ~x3736+2097152 ~x3735+1048576 ~x3734+524288 ~x3733+262144 ~x3732+131072 ~x3731+65536 ~x3730+32768 ~x3729+16384 ~x3728+8192 ~x3727+4096 ~x3726+2048 ~x3725+1024 ~x3724+512 ~x3723+256 ~x3722+128 ~x3721+64 ~x3720+32 ~x3719+16 ~x3718+8 ~x3717+4 ~x3716+2 ~x3715+1 ~x3714+536870912 ~x3435+268435456 ~x3434+134217728 ~x3433+67108864 ~x3432+33554432 ~x3431+16777216 ~x3430+8388608 ~x3429+4194304 ~x3428+2097152 ~x3427+1048576 ~x3426+524288 ~x3425+262144 ~x3424+131072 ~x3423+65536 ~x3422+32768 ~x3421+16384 ~x3420+8192 ~x3419+4096 ~x3418+2048 ~x3417+1024 ~x3416+512 ~x3415+256 ~x3414+128 ~x3413+64 ~x3412+32 ~x3411+16 ~x3410+8 ~x3409+4 ~x3408+2 ~x3407+1 ~x3406+536870912 ~x3128+268435456 ~x3127+134217728 ~x3126+67108864 ~x3125+33554432 ~x3124+16777216 ~x3123+8388608 ~x3122+4194304 ~x3121+2097152 ~x3120+1048576 ~x3119+524288 ~x3118+262144 ~x3117+131072 ~x3116+65536 ~x3115+32768 ~x3114+16384 ~x3113+8192 ~x3112+4096 ~x3111+2048 ~x3110+1024 ~x3109+512 ~x3108+256 ~x3107+128 ~x3106+64 ~x3105+32 ~x3104+16 ~x3103+8 ~x3102+4 ~x3101+2 ~x3100+1 ~x3099+536870912 ~x2819+268435456 ~x2818+134217728 ~x2817+67108864 ~x2816+33554432 ~x2815+16777216 ~x2814+8388608 ~x2813+4194304 ~x2812+2097152 ~x2811+1048576 ~x2810+524288 ~x2809+262144 ~x2808+131072 ~x2807+65536 ~x2806+32768 ~x2805+16384 ~x2804+8192 ~x2803+4096 ~x2802+2048 ~x2801+1024 ~x2800+512 ~x2799+256 ~x2798+128 ~x2797+64 ~x2796+32 ~x2795+16 ~x2794+8 ~x2793+4 ~x2792+2 ~x2791+1 ~x2790+536870912 ~x2511+268435456 ~x2510+134217728 ~x2509+67108864 ~x2508+33554432 ~x2507+16777216 ~x2506+8388608 ~x2505+4194304 ~x2504+2097152 ~x2503+1048576 ~x2502+524288 ~x2501+262144 ~x2500+131072 ~x2499+65536 ~x2498+32768 ~x2497+16384 ~x2496+8192 ~x2495+4096 ~x2494+2048 ~x2493+1024 ~x2492+512 ~x2491+256 ~x2490+128 ~x2489+64 ~x2488+32 ~x2487+16 ~x2486+8 ~x2485+4 ~x2484+2 ~x2483+1 ~x2482+536870912 ~x2203+268435456 ~x2202+134217728 ~x2201+67108864 ~x2200+33554432 ~x2199+16777216 ~x2198+8388608 ~x2197+4194304 ~x2196+2097152 ~x2195+1048576 ~x2194+524288 ~x2193+262144 ~x2192+131072 ~x2191+65536 ~x2190+32768 ~x2189+16384 ~x2188+8192 ~x2187+4096 ~x2186+2048 ~x2185+1024 ~x2184+512 ~x2183+256 ~x2182+128 ~x2181+64 ~x2180+32 ~x2179+16 ~x2178+8 ~x2177+4 ~x2176+2 ~x2175+1 ~x2174-0=30064771059 46.77/46.88 c 8589934592 ~x1832253+4294967296 ~x1832252+2147483648 ~x1832251+1073741824 ~x1832250+536870912 ~x1832249+268435456 ~x1832248+134217728 ~x1832247+67108864 ~x1832246+33554432 ~x1832245+16777216 ~x1832244+8388608 ~x1832243+4194304 ~x1832242+2097152 ~x1832241+1048576 ~x1832240+524288 ~x1832239+262144 ~x1832238+131072 ~x1832237+65536 ~x1832236+32768 ~x1832235+16384 ~x1832234+8192 ~x1832233+4096 ~x1832232+2048 ~x1832231+1024 ~x1832230+512 ~x1832229+256 ~x1832228+128 ~x1832227+64 ~x1832226+32 ~x1832225+16 ~x1832224+8 ~x1832223+4 ~x1832222+2 ~x1832221+1 ~x1832220+3072000 x5628+536870912 ~x4697+268435456 ~x4696+134217728 ~x4695+67108864 ~x4694+33554432 ~x4693+16777216 ~x4692+8388608 ~x4691+4194304 ~x4690+2097152 ~x4689+1048576 ~x4688+524288 ~x4687+262144 ~x4686+131072 ~x4685+65536 ~x4684+32768 ~x4683+16384 ~x4682+8192 ~x4681+4096 ~x4680+2048 ~x4679+1024 ~x4678+512 ~x4677+256 ~x4676+128 ~x4675+64 ~x4674+32 ~x4673+16 ~x4672+8 ~x4671+4 ~x4670+2 ~x4669+1 ~x4668+536870912 ~x4389+268435456 ~x4388+134217728 ~x4387+67108864 ~x4386+33554432 ~x4385+16777216 ~x4384+8388608 ~x4383+4194304 ~x4382+2097152 ~x4381+1048576 ~x4380+524288 ~x4379+262144 ~x4378+131072 ~x4377+65536 ~x4376+32768 ~x4375+16384 ~x4374+8192 ~x4373+4096 ~x4372+2048 ~x4371+1024 ~x4370+512 ~x4369+256 ~x4368+128 ~x4367+64 ~x4366+32 ~x4365+16 ~x4364+8 ~x4363+4 ~x4362+2 ~x4361+1 ~x4360+536870912 ~x4081+268435456 ~x4080+134217728 ~x4079+67108864 ~x4078+33554432 ~x4077+16777216 ~x4076+8388608 ~x4075+4194304 ~x4074+2097152 ~x4073+1048576 ~x4072+524288 ~x4071+262144 ~x4070+131072 ~x4069+65536 ~x4068+32768 ~x4067+16384 ~x4066+8192 ~x4065+4096 ~x4064+2048 ~x4063+1024 ~x4062+512 ~x4061+256 ~x4060+128 ~x4059+64 ~x4058+32 ~x4057+16 ~x4056+8 ~x4055+4 ~x4054+2 ~x4053+1 ~x4052+536870912 ~x3773+268435456 ~x3772+134217728 ~x3771+67108864 ~x3770+33554432 ~x3769+16777216 ~x3768+8388608 ~x3767+4194304 ~x3766+2097152 ~x3765+1048576 ~x3764+524288 ~x3763+262144 ~x3762+131072 ~x3761+65536 ~x3760+32768 ~x3759+16384 ~x3758+8192 ~x3757+4096 ~x3756+2048 ~x3755+1024 ~x3754+512 ~x3753+256 ~x3752+128 ~x3751+64 ~x3750+32 ~x3749+16 ~x3748+8 ~x3747+4 ~x3746+2 ~x3745+1 ~x3744+536870912 ~x3466+268435456 ~x3465+134217728 ~x3464+67108864 ~x3463+33554432 ~x3462+16777216 ~x3461+8388608 ~x3460+4194304 ~x3459+2097152 ~x3458+1048576 ~x3457+524288 ~x3456+262144 ~x3455+131072 ~x3454+65536 ~x3453+32768 ~x3452+16384 ~x3451+8192 ~x3450+4096 ~x3449+2048 ~x3448+1024 ~x3447+512 ~x3446+256 ~x3445+128 ~x3444+64 ~x3443+32 ~x3442+16 ~x3441+8 ~x3440+4 ~x3439+2 ~x3438+1 ~x3437+536870912 ~x3158+268435456 ~x3157+134217728 ~x3156+67108864 ~x3155+33554432 ~x3154+16777216 ~x3153+8388608 ~x3152+4194304 ~x3151+2097152 ~x3150+1048576 ~x3149+524288 ~x3148+262144 ~x3147+131072 ~x3146+65536 ~x3145+32768 ~x3144+16384 ~x3143+8192 ~x3142+4096 ~x3141+2048 ~x3140+1024 ~x3139+512 ~x3138+256 ~x3137+128 ~x3136+64 ~x3135+32 ~x3134+16 ~x3133+8 ~x3132+4 ~x3131+2 ~x3130+1 ~x3129+536870912 ~x2849+268435456 ~x2848+134217728 ~x2847+67108864 ~x2846+33554432 ~x2845+16777216 ~x2844+8388608 ~x2843+4194304 ~x2842+2097152 ~x2841+1048576 ~x2840+524288 ~x2839+262144 ~x2838+131072 ~x2837+65536 ~x2836+32768 ~x2835+16384 ~x2834+8192 ~x2833+4096 ~x2832+2048 ~x2831+1024 ~x2830+512 ~x2829+256 ~x2828+128 ~x2827+64 ~x2826+32 ~x2825+16 ~x2824+8 ~x2823+4 ~x2822+2 ~x2821+1 ~x2820+536870912 ~x2541+268435456 ~x2540+134217728 ~x2539+67108864 ~x2538+33554432 ~x2537+16777216 ~x2536+8388608 ~x2535+4194304 ~x2534+2097152 ~x2533+1048576 ~x2532+524288 ~x2531+262144 ~x2530+131072 ~x2529+65536 ~x2528+32768 ~x2527+16384 ~x2526+8192 ~x2525+4096 ~x2524+2048 ~x2523+1024 ~x2522+512 ~x2521+256 ~x2520+128 ~x2519+64 ~x2518+32 ~x2517+16 ~x2516+8 ~x2515+4 ~x2514+2 ~x2513+1 ~x2512+536870912 ~x2233+268435456 ~x2232+134217728 ~x2231+67108864 ~x2230+33554432 ~x2229+16777216 ~x2228+8388608 ~x2227+4194304 ~x2226+2097152 ~x2225+1048576 ~x2224+524288 ~x2223+262144 ~x2222+131072 ~x2221+65536 ~x2220+32768 ~x2219+16384 ~x2218+8192 ~x2217+4096 ~x2216+2048 ~x2215+1024 ~x2214+512 ~x2213+256 ~x2212+128 ~x2211+64 ~x2210+32 ~x2209+16 ~x2208+8 ~x2207+4 ~x2206+2 ~x2
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-2674144-1276799562/watcher-2674144-1276799562 -o /tmp/evaluation-result-2674144-1276799562/solver-2674144-1276799562 -C 1800 -W 2000 -M 1800 run HOME/instance-2674144-1276799562.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.95 1.00 1.00 3/106 25891 /proc/meminfo: memFree=1752640/2059040 swapFree=4139892/4192956 [pid=25891] ppid=25889 vsize=8700 CPUtime=0 /proc/25891/stat : 25891 (run) S 25889 25891 25866 0 -1 4202496 390 135 0 0 0 0 0 0 17 0 1 0 21250645 8908800 251 1992294400 4194304 4922060 140735089829744 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25891/statm: 2175 251 211 178 0 68 0 [startup+0.0877089 s] /proc/loadavg: 0.95 1.00 1.00 3/106 25891 /proc/meminfo: memFree=1752640/2059040 swapFree=4139892/4192956 [pid=25891] ppid=25889 vsize=8700 CPUtime=0 /proc/25891/stat : 25891 (run) S 25889 25891 25866 0 -1 4202496 390 135 0 0 0 0 0 0 17 0 1 0 21250645 8908800 251 1992294400 4194304 4922060 140735089829744 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25891/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.10071 s] /proc/loadavg: 0.95 1.00 1.00 3/106 25891 /proc/meminfo: memFree=1752640/2059040 swapFree=4139892/4192956 [pid=25891] ppid=25889 vsize=8700 CPUtime=0 /proc/25891/stat : 25891 (run) S 25889 25891 25866 0 -1 4202496 390 135 0 0 0 0 0 0 17 0 1 0 21250645 8908800 251 1992294400 4194304 4922060 140735089829744 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25891/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300728 s] /proc/loadavg: 0.95 1.00 1.00 3/106 25891 /proc/meminfo: memFree=1752640/2059040 swapFree=4139892/4192956 [pid=25891] ppid=25889 vsize=8700 CPUtime=0 /proc/25891/stat : 25891 (run) S 25889 25891 25866 0 -1 4202496 390 135 0 0 0 0 0 0 17 0 1 0 21250645 8908800 251 1992294400 4194304 4922060 140735089829744 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25891/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700761 s] /proc/loadavg: 0.95 1.00 1.00 3/106 25891 /proc/meminfo: memFree=1752640/2059040 swapFree=4139892/4192956 [pid=25891] ppid=25889 vsize=8700 CPUtime=0 /proc/25891/stat : 25891 (run) S 25889 25891 25866 0 -1 4202496 390 135 0 0 0 0 0 0 17 0 1 0 21250645 8908800 251 1992294400 4194304 4922060 140735089829744 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25891/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50083 s] /proc/loadavg: 0.95 1.00 1.00 2/108 25894 /proc/meminfo: memFree=1565756/2059040 swapFree=4139892/4192956 [pid=25891] ppid=25889 vsize=8700 CPUtime=0 /proc/25891/stat : 25891 (run) S 25889 25891 25866 0 -1 4202496 390 135 0 0 0 0 0 0 17 0 1 0 21250645 8908800 251 1992294400 4194304 4922060 140735089829744 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25891/statm: 2175 251 211 178 0 68 0 [pid=25893] ppid=25891 vsize=265860 CPUtime=1.48 /proc/25893/stat : 25893 (PBPASSolver) R 25891 25891 25866 0 -1 4202496 66118 0 0 0 57 91 0 0 23 0 1 0 21250645 272240640 65887 1992294400 134512640 134902295 4287326464 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25893/statm: 66465 65887 256 96 0 65677 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 274560 [startup+3.10197 s] /proc/loadavg: 0.96 1.00 1.00 2/108 25894 /proc/meminfo: memFree=1391784/2059040 swapFree=4139892/4192956 [pid=25891] ppid=25889 vsize=8700 CPUtime=0 /proc/25891/stat : 25891 (run) S 25889 25891 25866 0 -1 4202496 390 135 0 0 0 0 0 0 17 0 1 0 21250645 8908800 251 1992294400 4194304 4922060 140735089829744 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25891/statm: 2175 251 211 178 0 68 0 [pid=25893] ppid=25891 vsize=503748 CPUtime=3.08 /proc/25893/stat : 25893 (PBPASSolver) R 25891 25891 25866 0 -1 4202496 125535 0 0 0 148 160 0 0 25 0 1 0 21250645 515837952 125304 1992294400 134512640 134902295 4287326464 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25893/statm: 125937 125310 259 96 0 125149 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 512448 [startup+6.30124 s] /proc/loadavg: 0.96 1.00 1.00 2/108 25894 /proc/meminfo: memFree=1244596/2059040 swapFree=4139892/4192956 [pid=25891] ppid=25889 vsize=8700 CPUtime=0 /proc/25891/stat : 25891 (run) S 25889 25891 25866 0 -1 4202496 390 135 0 0 0 0 0 0 17 0 1 0 21250645 8908800 251 1992294400 4194304 4922060 140735089829744 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25891/statm: 2175 251 211 178 0 68 0 [pid=25893] ppid=25891 vsize=525488 CPUtime=6.29 /proc/25893/stat : 25893 (PBPASSolver) R 25891 25891 25866 0 -1 4202496 142497 0 0 0 460 169 0 0 25 0 1 0 21250645 538099712 130414 1992294400 134512640 134902295 4287326464 18446744073709551615 134631000 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25893/statm: 131372 130414 262 96 0 130584 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 534188 [startup+12.7018 s] /proc/loadavg: 0.96 1.00 1.00 2/108 25894 /proc/meminfo: memFree=1132508/2059040 swapFree=4139892/4192956 [pid=25891] ppid=25889 vsize=8700 CPUtime=0 /proc/25891/stat : 25891 (run) S 25889 25891 25866 0 -1 4202496 390 135 0 0 0 0 0 0 17 0 1 0 21250645 8908800 251 1992294400 4194304 4922060 140735089829744 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25891/statm: 2175 251 211 178 0 68 0 [pid=25893] ppid=25891 vsize=640060 CPUtime=12.68 /proc/25893/stat : 25893 (PBPASSolver) R 25891 25891 25866 0 -1 4202496 171997 0 0 0 1087 181 0 0 25 0 1 0 21250645 655421440 158447 1992294400 134512640 134902295 4287326464 18446744073709551615 134813444 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25893/statm: 160015 158447 262 96 0 159227 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 648760 [startup+25.5009 s] /proc/loadavg: 0.97 1.00 1.00 2/108 25894 /proc/meminfo: memFree=892816/2059040 swapFree=4139892/4192956 [pid=25891] ppid=25889 vsize=8700 CPUtime=0 /proc/25891/stat : 25891 (run) S 25889 25891 25866 0 -1 4202496 390 135 0 0 0 0 0 0 17 0 1 0 21250645 8908800 251 1992294400 4194304 4922060 140735089829744 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25891/statm: 2175 251 211 178 0 68 0 [pid=25893] ppid=25891 vsize=881132 CPUtime=25.48 /proc/25893/stat : 25893 (PBPASSolver) R 25891 25891 25866 0 -1 4202496 229343 0 0 0 2345 203 0 0 25 0 1 0 21250645 902279168 215745 1992294400 134512640 134902295 4287326464 18446744073709551615 134565362 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25893/statm: 220283 215745 262 96 0 219495 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 889832 [startup+51.1011 s] /proc/loadavg: 0.98 1.00 1.00 2/108 25894 /proc/meminfo: memFree=420996/2059040 swapFree=4139892/4192956 [pid=25891] ppid=25889 vsize=8700 CPUtime=0 /proc/25891/stat : 25891 (run) S 25889 25891 25866 0 -1 4202496 390 135 0 0 0 0 0 0 17 0 1 0 21250645 8908800 251 1992294400 4194304 4922060 140735089829744 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25891/statm: 2175 251 211 178 0 68 0 [pid=25893] ppid=25891 vsize=1378092 CPUtime=51.07 /proc/25893/stat : 25893 (PBPASSolver) R 25891 25891 25866 0 -1 4202496 351324 0 0 0 4853 254 0 0 25 0 1 0 21250645 1411166208 334816 1992294400 134512640 134902295 4287326464 18446744073709551615 134793664 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25893/statm: 344523 334816 262 96 0 343735 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1386792 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+73.887 s] /proc/loadavg: 0.98 1.00 1.00 4/108 25896 /proc/meminfo: memFree=10428/2059040 swapFree=4139880/4192956 [pid=25891] ppid=25889 vsize=8700 CPUtime=0 /proc/25891/stat : 25891 (run) S 25889 25891 25866 0 -1 4202496 390 135 0 0 0 0 0 0 17 0 1 0 21250645 8908800 251 1992294400 4194304 4922060 140735089829744 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25891/statm: 2175 251 211 178 0 68 0 [pid=25893] ppid=25891 vsize=1844000 CPUtime=73.96 /proc/25893/stat : 25893 (PBPASSolver) R 25891 25891 25866 0 -1 4202496 463008 0 0 0 7086 310 0 0 24 0 1 0 21250645 1888256000 446500 1992294400 134512640 134902295 4287326464 18446744073709551615 134631605 0 0 4096 17608 0 0 0 17 0 0 0 20 /proc/25893/statm: 461000 446500 262 96 0 460212 0 Current children cumulated CPU time (s) 73.96 Current children cumulated vsize (KiB) 1852700 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 25891 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=1999 # CPU time returned by wait4() is 0.002998 # while last known CPU time is 73.96 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 74.213 CPU time (s): 73.96 CPU user time (s): 70.86 CPU system time (s): 3.1 CPU usage (%): 99.6591 Max. virtual memory (cumulated for all children) (KiB): 1852700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 525 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.100984 second user time and 0.406938 second system time The end
Begin job on node031 at 2010-06-17 20:32:42 IDJOB=2674144 IDBENCH=2354 IDSOLVER=1174 FILE ID=node031/2674144-1276799562 PBS_JOBID= 11176670 Free space on /tmp= 62576 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674144-1276799562/watcher-2674144-1276799562 -o /tmp/evaluation-result-2674144-1276799562/solver-2674144-1276799562 -C 1800 -W 2000 -M 1800 run HOME/instance-2674144-1276799562.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c716bc6c519760d619aa6878c926054c RANDOM SEED=801055688 node031.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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1753036 kB Buffers: 96556 kB Cached: 116528 kB SwapCached: 6008 kB Active: 83892 kB Inactive: 141856 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1753036 kB SwapTotal: 4192956 kB SwapFree: 4139892 kB Dirty: 1128 kB Writeback: 0 kB AnonPages: 10880 kB Mapped: 12880 kB Slab: 58152 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180468 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62576 MiB End job on node031 at 2010-06-17 20:33:58