Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.03 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_7.opb |
MD5SUM | 4bc9c47dc743f36fab4669cf3c8ccd21 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 0.811876 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 238 |
Total number of constraints | 399 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 398 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 25 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 21 |
Number of bits for the biggest coefficient in the objective function | 5 |
Sum of the numbers in the objective function | 52 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 69 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 362 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.45 c 238 399 0 0 0 0 0 0 0.00/0.45 c 64 ~x246+32 ~x245+16 ~x244+8 ~x243+4 ~x242+2 ~x241+1 ~x240+49 ~x238+64 ~x42+32 ~x41+16 ~x40+8 ~x39+4 ~x38+2 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+16 x6+8 x5+4 x4+2 x3+1 x2-0=253 0.00/0.45 c 64 ~x1850+32 ~x1849+16 ~x1848+8 ~x1847+4 ~x1846+2 ~x1845+1 ~x1844+49 x238+64 x42+32 x41+16 x40+8 x39+4 x38+2 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=223 0.00/0.49 c 128 ~x3455+64 ~x3454+32 ~x3453+16 ~x3452+8 ~x3451+4 ~x3450+2 ~x3449+1 ~x3448+49 ~x237+64 ~x42+32 ~x41+16 ~x40+8 ~x39+4 ~x38+2 ~x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+16 x6+8 x5+4 x4+2 x3+1 x2-0=385 0.00/0.53 c 64 ~x5137+32 ~x5136+16 ~x5135+8 ~x5134+4 ~x5133+2 ~x5132+1 ~x5131+49 x237+64 x42+32 x41+16 x40+8 x39+4 x38+2 x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=219 0.00/0.57 c 64 ~x6741+32 ~x6740+16 ~x6739+8 ~x6738+4 ~x6737+2 ~x6736+1 ~x6735+49 ~x236+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+16 x6+8 x5+4 x4+2 x3+1 x2-0=252 0.00/0.67 c 64 ~x8813+32 ~x8812+16 ~x8811+8 ~x8810+4 ~x8809+2 ~x8808+1 ~x8807+49 x236+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=224 0.00/0.67 c 64 ~x10885+32 ~x10884+16 ~x10883+8 ~x10882+4 ~x10881+2 ~x10880+1 ~x10879+49 ~x235+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+16 x6+8 x5+4 x4+2 x3+1 x2-0=252 0.00/0.72 c 64 ~x12957+32 ~x12956+16 ~x12955+8 ~x12954+4 ~x12953+2 ~x12952+1 ~x12951+49 x235+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=224 0.00/0.77 c 64 ~x15029+32 ~x15028+16 ~x15027+8 ~x15026+4 ~x15025+2 ~x15024+1 ~x15023+49 ~x234+64 ~x36+32 ~x35+16 ~x34+8 ~x33+4 ~x32+2 ~x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+16 x6+8 x5+4 x4+2 x3+1 x2-0=247 0.00/0.81 c 64 ~x16633+32 ~x16632+16 ~x16631+8 ~x16630+4 ~x16629+2 ~x16628+1 ~x16627+49 x234+64 x36+32 x35+16 x34+8 x33+4 x32+2 x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=229 0.00/0.85 c 64 ~x18237+32 ~x18236+16 ~x18235+8 ~x18234+4 ~x18233+2 ~x18232+1 ~x18231+49 ~x233+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+64 ~x36+32 ~x35+16 ~x34+8 ~x33+4 ~x32+2 ~x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25-0=253 0.00/0.89 c 128 ~x19920+64 ~x19919+32 ~x19918+16 ~x19917+8 ~x19916+4 ~x19915+2 ~x19914+1 ~x19913+49 x233+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+64 x36+32 x35+16 x34+8 x33+4 x32+2 x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25-0=383 0.00/0.98 c 128 ~x21681+64 ~x21680+32 ~x21679+16 ~x21678+8 ~x21677+4 ~x21676+2 ~x21675+1 ~x21674+49 ~x232+64 ~x42+32 ~x41+16 ~x40+8 ~x39+4 ~x38+2 ~x37+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+16 x6+8 x5+4 x4+2 x3+1 x2-0=388 0.00/0.98 c 64 ~x23363+32 ~x23362+16 ~x23361+8 ~x23360+4 ~x23359+2 ~x23358+1 ~x23357+49 x232+64 x42+32 x41+16 x40+8 x39+4 x38+2 x37+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=216 1.00/1.02 c 128 ~x24968+64 ~x24967+32 ~x24966+16 ~x24965+8 ~x24964+4 ~x24963+2 ~x24962+1 ~x24961+49 ~x231+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+16 x6+8 x5+4 x4+2 x3+1 x2-0=383 1.00/1.07 c 64 ~x27118+32 ~x27117+16 ~x27116+8 ~x27115+4 ~x27114+2 ~x27113+1 ~x27112+49 x231+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=221 1.09/1.12 c 64 ~x29190+32 ~x29189+16 ~x29188+8 ~x29187+4 ~x29186+2 ~x29185+1 ~x29184+49 ~x230+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+16 x6+8 x5+4 x4+2 x3+1 x2-0=251 1.09/1.17 c 64 ~x31262+32 ~x31261+16 ~x31260+8 ~x31259+4 ~x31258+2 ~x31257+1 ~x31256+49 x230+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=225 1.19/1.22 c 128 ~x33335+64 ~x33334+32 ~x33333+16 ~x33332+8 ~x33331+4 ~x33330+2 ~x33329+1 ~x33328+49 ~x229+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+16 x6+8 x5+4 x4+2 x3+1 x2-0=383 1.19/1.27 c 64 ~x35485+32 ~x35484+16 ~x35483+8 ~x35482+4 ~x35481+2 ~x35480+1 ~x35479+49 x229+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=221 1.29/1.32 c 64 ~x37557+32 ~x37556+16 ~x37555+8 ~x37554+4 ~x37553+2 ~x37552+1 ~x37551+49 ~x228+64 ~x36+32 ~x35+16 ~x34+8 ~x33+4 ~x32+2 ~x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+16 x6+8 x5+4 x4+2 x3+1 x2-0=250 1.29/1.36 c 64 ~x39161+32 ~x39160+16 ~x39159+8 ~x39158+4 ~x39157+2 ~x39156+1 ~x39155+49 x228+64 x36+32 x35+16 x34+8 x33+4 x32+2 x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=226 1.39/1.45 c 128 ~x40766+64 ~x40765+32 ~x40764+16 ~x40763+8 ~x40762+4 ~x40761+2 ~x40760+1 ~x40759+49 ~x227+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+64 ~x36+32 ~x35+16 ~x34+8 ~x33+4 ~x32+2 ~x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19-0=384 1.39/1.45 c 64 ~x42526+32 ~x42525+16 ~x42524+8 ~x42523+4 ~x42522+2 ~x42521+1 ~x42520+49 x227+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+64 x36+32 x35+16 x34+8 x33+4 x32+2 x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19-0=252 1.39/1.49 c 64 ~x44208+32 ~x44207+16 ~x44206+8 ~x44205+4 ~x44204+2 ~x44203+1 ~x44202+49 ~x226+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+16 x6+8 x5+4 x4+2 x3+1 x2-0=246 1.49/1.54 c 64 ~x46280+32 ~x46279+16 ~x46278+8 ~x46277+4 ~x46276+2 ~x46275+1 ~x46274+49 x226+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=230 1.49/1.59 c 64 ~x48352+32 ~x48351+16 ~x48350+8 ~x48349+4 ~x48348+2 ~x48347+1 ~x48346+49 ~x225+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19-0=252 1.59/1.64 c 128 ~x50503+64 ~x50502+32 ~x50501+16 ~x50500+8 ~x50499+4 ~x50498+2 ~x50497+1 ~x50496+49 x225+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19-0=384 1.59/1.70 c 64 ~x52731+32 ~x52730+16 ~x52729+8 ~x52728+4 ~x52727+2 ~x52726+1 ~x52725+49 ~x224+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+16 x6+8 x5+4 x4+2 x3+1 x2-0=251 1.69/1.75 c 64 ~x54803+32 ~x54802+16 ~x54801+8 ~x54800+4 ~x54799+2 ~x54798+1 ~x54797+49 x224+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=225 1.78/1.80 c 64 ~x56875+32 ~x56874+16 ~x56873+8 ~x56872+4 ~x56871+2 ~x56870+1 ~x56869+49 ~x223+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+16 x6+8 x5+4 x4+2 x3+1 x2-0=246 1.78/1.85 c 64 ~x58947+32 ~x58946+16 ~x58945+8 ~x58944+4 ~x58943+2 ~x58942+1 ~x58941+49 x223+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=230 1.89/1.90 c 64 ~x61019+32 ~x61018+16 ~x61017+8 ~x61016+4 ~x61015+2 ~x61014+1 ~x61013+49 ~x222+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19-0=252 1.89/1.95 c 128 ~x63170+64 ~x63169+32 ~x63168+16 ~x63167+8 ~x63166+4 ~x63165+2 ~x63164+1 ~x63163+49 x222+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19-0=384 1.99/2.01 c 64 ~x65398+32 ~x65397+16 ~x65396+8 ~x65395+4 ~x65394+2 ~x65393+1 ~x65392+49 ~x221+64 ~x30+32 ~x29+16 ~x28+8 ~x27+4 ~x26+2 ~x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+16 x6+8 x5+4 x4+2 x3+1 x2-0=242 1.99/2.04 c 64 ~x67002+32 ~x67001+16 ~x67000+8 ~x66999+4 ~x66998+2 ~x66997+1 ~x66996+49 x221+64 x30+32 x29+16 x28+8 x27+4 x26+2 x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=234 2.09/2.13 c 64 ~x68606+32 ~x68605+16 ~x68604+8 ~x68603+4 ~x68602+2 ~x68601+1 ~x68600+49 ~x220+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+64 ~x30+32 ~x29+16 ~x28+8 ~x27+4 ~x26+2 ~x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19-0=248 2.09/2.13 c 128 ~x70289+64 ~x70288+32 ~x70287+16 ~x70286+8 ~x70285+4 ~x70284+2 ~x70283+1 ~x70282+49 x220+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+64 x30+32 x29+16 x28+8 x27+4 x26+2 x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19-0=388 2.09/2.17 c 64 ~x72049+32 ~x72048+16 ~x72047+8 ~x72046+4 ~x72045+2 ~x72044+1 ~x72043+49 ~x219+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+64 ~x30+32 ~x29+16 ~x28+8 ~x27+4 ~x26+2 ~x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19-0=253 2.19/2.21 c 128 ~x73732+64 ~x73731+32 ~x73730+16 ~x73729+8 ~x73728+4 ~x73727+2 ~x73726+1 ~x73725+49 x219+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+64 x30+32 x29+16 x28+8 x27+4 x26+2 x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19-0=383 2.19/2.26 c 128 ~x75493+64 ~x75492+32 ~x75491+16 ~x75490+8 ~x75489+4 ~x75488+2 ~x75487+1 ~x75486+49 ~x218+64 ~x42+32 ~x41+16 ~x40+8 ~x39+4 ~x38+2 ~x37+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=390 2.29/2.30 c 64 ~x77175+32 ~x77174+16 ~x77173+8 ~x77172+4 ~x77171+2 ~x77170+1 ~x77169+49 x218+64 x42+32 x41+16 x40+8 x39+4 x38+2 x37+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=214 2.29/2.34 c 128 ~x78780+64 ~x78779+32 ~x78778+16 ~x78777+8 ~x78776+4 ~x78775+2 ~x78774+1 ~x78773+49 ~x217+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=385 2.39/2.44 c 64 ~x80930+32 ~x80929+16 ~x80928+8 ~x80927+4 ~x80926+2 ~x80925+1 ~x80924+49 x217+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=219 2.39/2.44 c 64 ~x83002+32 ~x83001+16 ~x83000+8 ~x82999+4 ~x82998+2 ~x82997+1 ~x82996+49 ~x216+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=253 2.39/2.49 c 64 ~x85074+32 ~x85073+16 ~x85072+8 ~x85071+4 ~x85070+2 ~x85069+1 ~x85068+49 x216+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=223 2.49/2.55 c 64 ~x87146+32 ~x87145+16 ~x87144+8 ~x87143+4 ~x87142+2 ~x87141+1 ~x87140+49 ~x215+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=250 2.49/2.60 c 64 ~x89218+32 ~x89217+16 ~x89216+8 ~x89215+4 ~x89214+2 ~x89213+1 ~x89212+49 x215+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=226 2.59/2.65 c 128 ~x91291+64 ~x91290+32 ~x91289+16 ~x91288+8 ~x91287+4 ~x91286+2 ~x91285+1 ~x91284+49 ~x214+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=385 2.69/2.70 c 64 ~x93441+32 ~x93440+16 ~x93439+8 ~x93438+4 ~x93437+2 ~x93436+1 ~x93435+49 x214+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=219 2.69/2.75 c 64 ~x95513+32 ~x95512+16 ~x95511+8 ~x95510+4 ~x95509+2 ~x95508+1 ~x95507+49 ~x213+64 ~x36+32 ~x35+16 ~x34+8 ~x33+4 ~x32+2 ~x31+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=252 2.69/2.79 c 64 ~x97117+32 ~x97116+16 ~x97115+8 ~x97114+4 ~x97113+2 ~x97112+1 ~x97111+49 x213+64 x36+32 x35+16 x34+8 x33+4 x32+2 x31+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=224 2.79/2.84 c 128 ~x98722+64 ~x98721+32 ~x98720+16 ~x98719+8 ~x98718+4 ~x98717+2 ~x98716+1 ~x98715+49 ~x212+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+64 ~x36+32 ~x35+16 ~x34+8 ~x33+4 ~x32+2 ~x31+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=386 2.88/2.91 c 64 ~x100482+32 ~x100481+16 ~x100480+8 ~x100479+4 ~x100478+2 ~x100477+1 ~x100476+49 x212+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+64 x36+32 x35+16 x34+8 x33+4 x32+2 x31+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=250 2.88/2.91 c 64 ~x102164+32 ~x102163+16 ~x102162+8 ~x102161+4 ~x102160+2 ~x102159+1 ~x102158+49 ~x211+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=248 2.88/2.96 c 64 ~x104236+32 ~x104235+16 ~x104234+8 ~x104233+4 ~x104232+2 ~x104231+1 ~x104230+49 x211+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=228 2.98/3.01 c 64 ~x106308+32 ~x106307+16 ~x106306+8 ~x106305+4 ~x106304+2 ~x106303+1 ~x106302+49 ~x210+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=254 2.98/3.07 c 64 ~x108458+32 ~x108457+16 ~x108456+8 ~x108455+4 ~x108454+2 ~x108453+1 ~x108452+49 x210+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=254 3.09/3.12 c 64 ~x110608+32 ~x110607+16 ~x110606+8 ~x110605+4 ~x110604+2 ~x110603+1 ~x110602+49 ~x209+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=245 3.09/3.17 c 64 ~x112680+32 ~x112679+16 ~x112678+8 ~x112677+4 ~x112676+2 ~x112675+1 ~x112674+49 x209+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=231 3.20/3.22 c 64 ~x114752+32 ~x114751+16 ~x114750+8 ~x114749+4 ~x114748+2 ~x114747+1 ~x114746+49 ~x208+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=251 3.20/3.27 c 128 ~x116903+64 ~x116902+32 ~x116901+16 ~x116900+8 ~x116899+4 ~x116898+2 ~x116897+1 ~x116896+49 x208+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=385 3.29/3.33 c 64 ~x119131+32 ~x119130+16 ~x119129+8 ~x119128+4 ~x119127+2 ~x119126+1 ~x119125+49 ~x207+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=253 3.29/3.38 c 64 ~x121203+32 ~x121202+16 ~x121201+8 ~x121200+4 ~x121199+2 ~x121198+1 ~x121197+49 x207+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=223 3.39/3.43 c 64 ~x123275+32 ~x123274+16 ~x123273+8 ~x123272+4 ~x123271+2 ~x123270+1 ~x123269+49 ~x206+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=248 3.39/3.48 c 64 ~x125347+32 ~x125346+16 ~x125345+8 ~x125344+4 ~x125343+2 ~x125342+1 ~x125341+49 x206+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=228 3.48/3.53 c 64 ~x127419+32 ~x127418+16 ~x127417+8 ~x127416+4 ~x127415+2 ~x127414+1 ~x127413+49 ~x205+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=254 3.48/3.58 c 64 ~x129569+32 ~x129568+16 ~x129567+8 ~x129566+4 ~x129565+2 ~x129564+1 ~x129563+49 x205+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=254 3.59/3.63 c 64 ~x131719+32 ~x131718+16 ~x131717+8 ~x131716+4 ~x131715+2 ~x131714+1 ~x131713+49 ~x204+64 ~x30+32 ~x29+16 ~x28+8 ~x27+4 ~x26+2 ~x25+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=244 3.59/3.67 c 64 ~x133323+32 ~x133322+16 ~x133321+8 ~x133320+4 ~x133319+2 ~x133318+1 ~x133317+49 x204+64 x30+32 x29+16 x28+8 x27+4 x26+2 x25+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=232 3.69/3.72 c 64 ~x134927+32 ~x134926+16 ~x134925+8 ~x134924+4 ~x134923+2 ~x134922+1 ~x134921+49 ~x203+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+64 ~x30+32 ~x29+16 ~x28+8 ~x27+4 ~x26+2 ~x25+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=250 3.79/3.80 c 128 ~x136610+64 ~x136609+32 ~x136608+16 ~x136607+8 ~x136606+4 ~x136605+2 ~x136604+1 ~x136603+49 x203+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+64 x30+32 x29+16 x28+8 x27+4 x26+2 x25+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=386 3.79/3.80 c 128 ~x138371+64 ~x138370+32 ~x138369+16 ~x138368+8 ~x138367+4 ~x138366+2 ~x138365+1 ~x138364+49 ~x202+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+64 ~x30+32 ~x29+16 ~x28+8 ~x27+4 ~x26+2 ~x25+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=383 3.79/3.84 c 64 ~x140131+32 ~x140130+16 ~x140129+8 ~x140128+4 ~x140127+2 ~x140126+1 ~x140125+49 x202+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+64 x30+32 x29+16 x28+8 x27+4 x26+2 x25+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=253 3.79/3.88 c 64 ~x141813+32 ~x141812+16 ~x141811+8 ~x141810+4 ~x141809+2 ~x141808+1 ~x141807+49 ~x201+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=241 3.88/3.94 c 64 ~x143885+32 ~x143884+16 ~x143883+8 ~x143882+4 ~x143881+2 ~x143880+1 ~x143879+49 x201+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=235 3.88/3.99 c 64 ~x145957+32 ~x145956+16 ~x145955+8 ~x145954+4 ~x145953+2 ~x145952+1 ~x145951+49 ~x200+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=247 3.99/4.04 c 128 ~x148108+64 ~x148107+32 ~x148106+16 ~x148105+8 ~x148104+4 ~x148103+2 ~x148102+1 ~x148101+49 x200+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=389 3.99/4.09 c 64 ~x150336+32 ~x150335+16 ~x150334+8 ~x150333+4 ~x150332+2 ~x150331+1 ~x150330+49 ~x199+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=252 4.09/4.14 c 128 ~x152487+64 ~x152486+32 ~x152485+16 ~x152484+8 ~x152483+4 ~x152482+2 ~x152481+1 ~x152480+49 x199+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=384 4.19/4.20 c 64 ~x154715+32 ~x154714+16 ~x154713+8 ~x154712+4 ~x154711+2 ~x154710+1 ~x154709+49 ~x198+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=250 4.19/4.25 c 64 ~x156787+32 ~x156786+16 ~x156785+8 ~x156784+4 ~x156783+2 ~x156782+1 ~x156781+49 x198+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=226 4.19/4.30 c 64 ~x158859+32 ~x158858+16 ~x158857+8 ~x158856+4 ~x158855+2 ~x158854+1 ~x158853+49 ~x197+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=245 4.30/4.35 c 64 ~x160931+32 ~x160930+16 ~x160929+8 ~x160928+4 ~x160927+2 ~x160926+1 ~x160925+49 x197+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=231 4.30/4.40 c 64 ~x163003+32 ~x163002+16 ~x163001+8 ~x163000+4 ~x162999+2 ~x162998+1 ~x162997+49 ~x196+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=251 4.40/4.45 c 128 ~x165154+64 ~x165153+32 ~x165152+16 ~x165151+8 ~x165150+4 ~x165149+2 ~x165148+1 ~x165147+49 x196+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=385 4.49/4.51 c 64 ~x167382+32 ~x167381+16 ~x167380+8 ~x167379+4 ~x167378+2 ~x167377+1 ~x167376+49 ~x195+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=241 4.49/4.56 c 64 ~x169454+32 ~x169453+16 ~x169452+8 ~x169451+4 ~x169450+2 ~x169449+1 ~x169448+49 x195+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=235 4.58/4.61 c 64 ~x171526+32 ~x171525+16 ~x171524+8 ~x171523+4 ~x171522+2 ~x171521+1 ~x171520+49 ~x194+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=247 4.58/4.66 c 128 ~x173677+64 ~x173676+32 ~x173675+16 ~x173674+8 ~x173673+4 ~x173672+2 ~x173671+1 ~x173670+49 x194+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=389 4.69/4.72 c 64 ~x175905+32 ~x175904+16 ~x175903+8 ~x175902+4 ~x175901+2 ~x175900+1 ~x175899+49 ~x193+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=252 4.69/4.77 c 128 ~x178056+64 ~x178055+32 ~x178054+16 ~x178053+8 ~x178052+4 ~x178051+2 ~x178050+1 ~x178049+49 x193+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=384 4.79/4.82 c 64 ~x180284+32 ~x180283+16 ~x180282+8 ~x180281+4 ~x180280+2 ~x180279+1 ~x180278+49 ~x192+64 ~x24+32 ~x23+16 ~x22+8 ~x21+4 ~x20+2 ~x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=238 4.79/4.86 c 64 ~x181888+32 ~x181887+16 ~x181886+8 ~x181885+4 ~x181884+2 ~x181883+1 ~x181882+49 x192+64 x24+32 x23+16 x22+8 x21+4 x20+2 x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=238 4.89/4.90 c 64 ~x183492+32 ~x183491+16 ~x183490+8 ~x183489+4 ~x183488+2 ~x183487+1 ~x183486+49 ~x191+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+64 ~x24+32 ~x23+16 ~x22+8 ~x21+4 ~x20+2 ~x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=244 4.89/4.94 c 128 ~x185175+64 ~x185174+32 ~x185173+16 ~x185172+8 ~x185171+4 ~x185170+2 ~x185169+1 ~x185168+49 x191+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+64 x24+32 x23+16 x22+8 x21+4 x20+2 x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=392 4.98/5.03 c 64 ~x186935+32 ~x186934+16 ~x186933+8 ~x186932+4 ~x186931+2 ~x186930+1 ~x186929+49 ~x190+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+64 ~x24+32 ~x23+16 ~x22+8 ~x21+4 ~x20+2 ~x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=249 4.98/5.03 c 128 ~x188618+64 ~x188617+32 ~x188616+16 ~x188615+8 ~x188614+4 ~x188613+2 ~x188612+1 ~x188611+49 x190+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+64 x24+32 x23+16 x22+8 x21+4 x20+2 x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=387 4.98/5.07 c 64 ~x190378+32 ~x190377+16 ~x190376+8 ~x190375+4 ~x190374+2 ~x190373+1 ~x190372+49 ~x189+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+64 ~x24+32 ~x23+16 ~x22+8 ~x21+4 ~x20+2 ~x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=253 5.08/5.11 c 128 ~x192061+64 ~x192060+32 ~x192059+16 ~x192058+8 ~x192057+4 ~x192056+2 ~x192055+1 ~x192054+49 x189+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+64 x24+32 x23+16 x22+8 x21+4 x20+2 x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=383 5.08/5.16 c 128 ~x193822+64 ~x193821+32 ~x193820+16 ~x193819+8 ~x193818+4 ~x193817+2 ~x193816+1 ~x193815+49 ~x188+64 ~x42+32 ~x41+16 ~x40+8 ~x39+4 ~x38+2 ~x37+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=391 5.19/5.20 c 64 ~x195504+32 ~x195503+16 ~x195502+8 ~x195501+4 ~x195500+2 ~x195499+1 ~x195498+49 x188+64 x42+32 x41+16 x40+8 x39+4 x38+2 x37+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=213 5.19/5.24 c 128 ~x197109+64 ~x197108+32 ~x197107+16 ~x197106+8 ~x197105+4 ~x197104+2 ~x197103+1 ~x197102+49 ~x187+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=386 5.19/5.29 c 64 ~x199259+32 ~x199258+16 ~x199257+8 ~x199256+4 ~x199255+2 ~x199254+1 ~x199253+49 x187+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=218 5.29/5.34 c 64 ~x201331+32 ~x201330+16 ~x201329+8 ~x201328+4 ~x201327+2 ~x201326+1 ~x201325+49 ~x186+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=254 5.29/5.39 c 64 ~x203403+32 ~x203402+16 ~x203401+8 ~x203400+4 ~x203399+2 ~x203398+1 ~x203397+49 x186+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=222 5.39/5.44 c 64 ~x205475+32 ~x205474+16 ~x205473+8 ~x205472+4 ~x205471+2 ~x205470+1 ~x205469+49 ~x185+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=251 5.39/5.49 c 64 ~x207547+32 ~x207546+16 ~x207545+8 ~x207544+4 ~x207543+2 ~x207542+1 ~x207541+49 x185+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=225 5.49/5.55 c 64 ~x209619+32 ~x209618+16 ~x209617+8 ~x209616+4 ~x209615+2 ~x209614+1 ~x209613+49 ~x184+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=249 5.59/5.65 c 64 ~x211691+32 ~x211690+16 ~x211689+8 ~x211688+4 ~x211687+2 ~x211686+1 ~x211685+49 x184+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=227 5.59/5.65 c 128 ~x213764+64 ~x213763+32 ~x213762+16 ~x213761+8 ~x213760+4 ~x213759+2 ~x213758+1 ~x213757+49 ~x183+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=386 5.69/5.75 c 64 ~x215914+32 ~x215913+16 ~x215912+8 ~x215911+4 ~x215910+2 ~x215909+1 ~x215908+49 x183+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=218 5.69/5.75 c 64 ~x217986+32 ~x217985+16 ~x217984+8 ~x217983+4 ~x217982+2 ~x217981+1 ~x217980+49 ~x182+64 ~x36+32 ~x35+16 ~x34+8 ~x33+4 ~x32+2 ~x31+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=253 5.69/5.79 c 64 ~x219590+32 ~x219589+16 ~x219588+8 ~x219587+4 ~x219586+2 ~x219585+1 ~x219584+49 x182+64 x36+32 x35+16 x34+8 x33+4 x32+2 x31+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=223 5.79/5.83 c 128 ~x221195+64 ~x221194+32 ~x221193+16 ~x221192+8 ~x221191+4 ~x221190+2 ~x221189+1 ~x221188+49 ~x181+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+64 ~x36+32 ~x35+16 ~x34+8 ~x33+4 ~x32+2 ~x31+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=387 5.79/5.87 c 64 ~x222955+32 ~x222954+16 ~x222953+8 ~x222952+4 ~x222951+2 ~x222950+1 ~x222949+49 x181+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+64 x36+32 x35+16 x34+8 x33+4 x32+2 x31+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=249 5.88/5.91 c 64 ~x224637+32 ~x224636+16 ~x224635+8 ~x224634+4 ~x224633+2 ~x224632+1 ~x224631+49 ~x180+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=249 5.88/5.96 c 64 ~x226709+32 ~x226708+16 ~x226707+8 ~x226706+4 ~x226705+2 ~x226704+1 ~x226703+49 x180+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=227 5.99/6.02 c 128 ~x228782+64 ~x228781+32 ~x228780+16 ~x228779+8 ~x228778+4 ~x228777+2 ~x228776+1 ~x228775+49 ~x179+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=383 5.99/6.07 c 64 ~x231010+32 ~x231009+16 ~x231008+8 ~x231007+4 ~x231006+2 ~x231005+1 ~x231004+49 x179+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=253 6.09/6.12 c 64 ~x233160+32 ~x233159+16 ~x233158+8 ~x233157+4 ~x233156+2 ~x233155+1 ~x233154+49 ~x178+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=246 6.09/6.17 c 64 ~x235232+32 ~x235231+16 ~x235230+8 ~x235229+4 ~x235228+2 ~x235227+1 ~x235226+49 x178+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=230 6.19/6.22 c 64 ~x237304+32 ~x237303+16 ~x237302+8 ~x237301+4 ~x237300+2 ~x237299+1 ~x237298+49 ~x177+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=252 6.19/6.28 c 128 ~x239455+64 ~x239454+32 ~x239453+16 ~x239452+8 ~x239451+4 ~x239450+2 ~x239449+1 ~x239448+49 x177+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=384 6.28/6.33 c 64 ~x241683+32 ~x241682+16 ~x241681+8 ~x241680+4 ~x241679+2 ~x241678+1 ~x241677+49 ~x176+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=244 6.28/6.38 c 64 ~x243755+32 ~x243754+16 ~x243753+8 ~x243752+4 ~x243751+2 ~x243750+1 ~x243749+49 x176+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=232 6.39/6.43 c 64 ~x245827+32 ~x245826+16 ~x245825+8 ~x245824+4 ~x245823+2 ~x245822+1 ~x245821+49 ~x175+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=250 6.39/6.48 c 128 ~x247978+64 ~x247977+32 ~x247976+16 ~x247975+8 ~x247974+4 ~x247973+2 ~x247972+1 ~x247971+49 x175+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=386 6.50/6.54 c 64 ~x250206+32 ~x250205+16 ~x250204+8 ~x250203+4 ~x250202+2 ~x250201+1 ~x250200+49 ~x174+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=254 6.50/6.59 c 64 ~x252278+32 ~x252277+16 ~x252276+8 ~x252275+4 ~x252274+2 ~x252273+1 ~x252272+49 x174+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=222 6.59/6.64 c 64 ~x254350+32 ~x254349+16 ~x254348+8 ~x254347+4 ~x254346+2 ~x254345+1 ~x254344+49 ~x173+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=249 6.59/6.69 c 64 ~x256422+32 ~x256421+16 ~x256420+8 ~x256419+4 ~x256418+2 ~x256417+1 ~x256416+49 x173+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=227 6.69/6.74 c 128 ~x258495+64 ~x258494+32 ~x258493+16 ~x258492+8 ~x258491+4 ~x258490+2 ~x258489+1 ~x258488+49 ~x172+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=383 6.69/6.79 c 64 ~x260723+32 ~x260722+16 ~x260721+8 ~x260720+4 ~x260719+2 ~x260718+1 ~x260717+49 x172+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=253 6.79/6.85 c 64 ~x262873+32 ~x262872+16 ~x262871+8 ~x262870+4 ~x262869+2 ~x262868+1 ~x262867+49 ~x171+64 ~x30+32 ~x29+16 ~x28+8 ~x27+4 ~x26+2 ~x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=245 6.89/6.93 c 64 ~x264477+32 ~x264476+16 ~x264475+8 ~x264474+4 ~x264473+2 ~x264472+1 ~x264471+49 x171+64 x30+32 x29+16 x28+8 x27+4 x26+2 x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=231 6.89/6.93 c 64 ~x266081+32 ~x266080+16 ~x266079+8 ~x266078+4 ~x266077+2 ~x266076+1 ~x266075+49 ~x170+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+64 ~x30+32 ~x29+16 ~x28+8 ~x27+4 ~x26+2 ~x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=251 6.89/6.97 c 128 ~x267764+64 ~x267763+32 ~x267762+16 ~x267761+8 ~x267760+4 ~x267759+2 ~x267758+1 ~x267757+49 x170+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+64 x30+32 x29+16 x28+8 x27+4 x26+2 x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=385 6.99/7.01 c 128 ~x269525+64 ~x269524+32 ~x269523+16 ~x269522+8 ~x269521+4 ~x269520+2 ~x269519+1 ~x269518+49 ~x169+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+64 ~x30+32 ~x29+16 ~x28+8 ~x27+4 ~x26+2 ~x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=384 6.99/7.06 c 64 ~x271285+32 ~x271284+16 ~x271283+8 ~x271282+4 ~x271281+2 ~x271280+1 ~x271279+49 x169+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+64 x30+32 x29+16 x28+8 x27+4 x26+2 x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=252 7.08/7.10 c 64 ~x272967+32 ~x272966+16 ~x272965+8 ~x272964+4 ~x272963+2 ~x272962+1 ~x272961+49 ~x168+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=242 7.08/7.15 c 64 ~x275039+32 ~x275038+16 ~x275037+8 ~x275036+4 ~x275035+2 ~x275034+1 ~x275033+49 x168+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=234 7.18/7.20 c 64 ~x277111+32 ~x277110+16 ~x277109+8 ~x277108+4 ~x277107+2 ~x277106+1 ~x277105+49 ~x167+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=248 7.18/7.25 c 128 ~x279262+64 ~x279261+32 ~x279260+16 ~x279259+8 ~x279258+4 ~x279257+2 ~x279256+1 ~x279255+49 x167+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=388 7.28/7.31 c 64 ~x281490+32 ~x281489+16 ~x281488+8 ~x281487+4 ~x281486+2 ~x281485+1 ~x281484+49 ~x166+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=253 7.28/7.36 c 128 ~x283641+64 ~x283640+32 ~x283639+16 ~x283638+8 ~x283637+4 ~x283636+2 ~x283635+1 ~x283634+49 x166+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=383 7.39/7.41 c 64 ~x285869+32 ~x285868+16 ~x285867+8 ~x285866+4 ~x285865+2 ~x285864+1 ~x285863+49 ~x165+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=240 7.39/7.46 c 64 ~x287941+32 ~x287940+16 ~x287939+8 ~x287938+4 ~x287937+2 ~x287936+1 ~x287935+49 x165+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=236 7.49/7.51 c 64 ~x290013+32 ~x290012+16 ~x290011+8 ~x290010+4 ~x290009+2 ~x290008+1 ~x290007+49 ~x164+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=246 7.49/7.56 c 128 ~x292164+64 ~x292163+32 ~x292162+16 ~x292161+8 ~x292160+4 ~x292159+2 ~x292158+1 ~x292157+49 x164+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=390 7.59/7.62 c 64 ~x294392+32 ~x294391+16 ~x294390+8 ~x294389+4 ~x294388+2 ~x294387+1 ~x294386+49 ~x163+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=251 7.59/7.67 c 128 ~x296543+64 ~x296542+32 ~x296541+16 ~x296540+8 ~x296539+4 ~x296538+2 ~x296537+1 ~x296536+49 x163+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=385 7.70/7.72 c 64 ~x298771+32 ~x298770+16 ~x298769+8 ~x298768+4 ~x298767+2 ~x298766+1 ~x298765+49 ~x162+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=251 7.70/7.78 c 64 ~x300843+32 ~x300842+16 ~x300841+8 ~x300840+4 ~x300839+2 ~x300838+1 ~x300837+49 x162+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=225 7.79/7.83 c 64 ~x302915+32 ~x302914+16 ~x302913+8 ~x302912+4 ~x302911+2 ~x302910+1 ~x302909+49 ~x161+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=246 7.79/7.88 c 64 ~x304987+32 ~x304986+16 ~x304985+8 ~x304984+4 ~x304983+2 ~x304982+1 ~x304981+49 x161+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=230 7.88/7.93 c 64 ~x307059+32 ~x307058+16 ~x307057+8 ~x307056+4 ~x307055+2 ~x307054+1 ~x307053+49 ~x160+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=252 7.88/7.98 c 128 ~x309210+64 ~x309209+32 ~x309208+16 ~x309207+8 ~x309206+4 ~x309205+2 ~x309204+1 ~x309203+49 x160+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=384 7.98/8.03 c 64 ~x311438+32 ~x311437+16 ~x311436+8 ~x311435+4 ~x311434+2 ~x311433+1 ~x311432+49 ~x159+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=242 7.98/8.08 c 64 ~x313510+32 ~x313509+16 ~x313508+8 ~x313507+4 ~x313506+2 ~x313505+1 ~x313504+49 x159+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=234 8.09/8.13 c 64 ~x315582+32 ~x315581+16 ~x315580+8 ~x315579+4 ~x315578+2 ~x315577+1 ~x315576+49 ~x158+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=248 8.09/8.19 c 128 ~x317733+64 ~x317732+32 ~x317731+16 ~x317730+8 ~x317729+4 ~x317728+2 ~x317727+1 ~x317726+49 x158+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=388 8.19/8.24 c 64 ~x319961+32 ~x319960+16 ~x319959+8 ~x319958+4 ~x319957+2 ~x319956+1 ~x319955+49 ~x157+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=253 8.19/8.29 c 128 ~x322112+64 ~x322111+32 ~x322110+16 ~x322109+8 ~x322108+4 ~x322107+2 ~x322106+1 ~x322105+49 x157+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=383 8.28/8.35 c 64 ~x324340+32 ~x324339+16 ~x324338+8 ~x324337+4 ~x324336+2 ~x324335+1 ~x324334+49 ~x156+64 ~x24+32 ~x23+16 ~x22+8 ~x21+4 ~x20+2 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=239 8.28/8.39 c 64 ~x325944+32 ~x325943+16 ~x325942+8 ~x325941+4 ~x325940+2 ~x325939+1 ~x325938+49 x156+64 x24+32 x23+16 x22+8 x21+4 x20+2 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=237 8.39/8.43 c 64 ~x327548+32 ~x327547+16 ~x327546+8 ~x327545+4 ~x327544+2 ~x327543+1 ~x327542+49 ~x155+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+64 ~x24+32 ~x23+16 ~x22+8 ~x21+4 ~x20+2 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=245 8.39/8.47 c 128 ~x329231+64 ~x329230+32 ~x329229+16 ~x329228+8 ~x329227+4 ~x329226+2 ~x329225+1 ~x329224+49 x155+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+64 x24+32 x23+16 x22+8 x21+4 x20+2 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=391 8.49/8.56 c 64 ~x330991+32 ~x330990+16 ~x330989+8 ~x330988+4 ~x330987+2 ~x330986+1 ~x330985+49 ~x154+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+64 ~x24+32 ~x23+16 ~x22+8 ~x21+4 ~x20+2 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=250 8.49/8.56 c 128 ~x332674+64 ~x332673+32 ~x332672+16 ~x332671+8 ~x332670+4 ~x332669+2 ~x332668+1 ~x332667+49 x154+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+64 x24+32 x23+16 x22+8 x21+4 x20+2 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=386 8.58/8.60 c 64 ~x334434+32 ~x334433+16 ~x334432+8 ~x334431+4 ~x334430+2 ~x334429+1 ~x334428+49 ~x153+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+64 ~x24+32 ~x23+16 ~x22+8 ~x21+4 ~x20+2 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=254 8.58/8.64 c 64 ~x336116+32 ~x336115+16 ~x336114+8 ~x336113+4 ~x336112+2 ~x336111+1 ~x336110+49 x153+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+64 x24+32 x23+16 x22+8 x21+4 x20+2 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=254 8.58/8.68 c 64 ~x337798+32 ~x337797+16 ~x337796+8 ~x337795+4 ~x337794+2 ~x337793+1 ~x337792+49 ~x152+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=237 8.70/8.73 c 64 ~x339870+32 ~x339869+16 ~x339868+8 ~x339867+4 ~x339866+2 ~x339865+1 ~x339864+49 x152+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=239 8.70/8.79 c 64 ~x341942+32 ~x341941+16 ~x341940+8 ~x341939+4 ~x341938+2 ~x341937+1 ~x341936+49 ~x151+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=243 8.79/8.84 c 128 ~x344093+64 ~x344092+32 ~x344091+16 ~x344090+8 ~x344089+4 ~x344088+2 ~x344087+1 ~x344086+49 x151+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=393 8.79/8.89 c 64 ~x346321+32 ~x346320+16 ~x346319+8 ~x346318+4 ~x346317+2 ~x346316+1 ~x346315+49 ~x150+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=248 8.88/8.94 c 128 ~x348472+64 ~x348471+32 ~x348470+16 ~x348469+8 ~x348468+4 ~x348467+2 ~x348466+1 ~x348465+49 x150+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=388 8.99/9.00 c 64 ~x350700+32 ~x350699+16 ~x350698+8 ~x350697+4 ~x350696+2 ~x350695+1 ~x350694+49 ~x149+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=252 8.99/9.05 c 128 ~x352851+64 ~x352850+32 ~x352849+16 ~x352848+8 ~x352847+4 ~x352846+2 ~x352845+1 ~x352844+49 x149+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=384 9.09/9.10 c 64 ~x355079+32 ~x355078+16 ~x355077+8 ~x355076+4 ~x355075+2 ~x355074+1 ~x355073+49 ~x148+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=249 9.09/9.16 c 64 ~x357151+32 ~x357150+16 ~x357149+8 ~x357148+4 ~x357147+2 ~x357146+1 ~x357145+49 x148+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=227 9.19/9.21 c 64 ~x359223+32 ~x359222+16 ~x359221+8 ~x359220+4 ~x359219+2 ~x359218+1 ~x359217+49 ~x147+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=244 9.19/9.26 c 64 ~x361295+32 ~x361294+16 ~x361293+8 ~x361292+4 ~x361291+2 ~x361290+1 ~x361289+49 x147+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=232 9.29/9.31 c 64 ~x363367+32 ~x363366+16 ~x363365+8 ~x363364+4 ~x363363+2 ~x363362+1 ~x363361+49 ~x146+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=250 9.29/9.36 c 128 ~x365518+64 ~x365517+32 ~x365516+16 ~x365515+8 ~x365514+4 ~x365513+2 ~x365512+1 ~x365511+49 x146+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=386 9.38/9.41 c 64 ~x367746+32 ~x367745+16 ~x367744+8 ~x367743+4 ~x367742+2 ~x367741+1 ~x367740+49 ~x145+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=240 9.38/9.46 c 64 ~x369818+32 ~x369817+16 ~x369816+8 ~x369815+4 ~x369814+2 ~x369813+1 ~x369812+49 x145+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=236 9.48/9.51 c 64 ~x371890+32 ~x371889+16 ~x371888+8 ~x371887+4 ~x371886+2 ~x371885+1 ~x371884+49 ~x144+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=246 9.48/9.57 c 128 ~x374041+64 ~x374040+32 ~x374039+16 ~x374038+8 ~x374037+4 ~x374036+2 ~x374035+1 ~x374034+49 x144+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=390 9.59/9.62 c 64 ~x376269+32 ~x376268+16 ~x376267+8 ~x376266+4 ~x376265+2 ~x376264+1 ~x376263+49 ~x143+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=251 9.59/9.67 c 128 ~x378420+64 ~x378419+32 ~x378418+16 ~x378417+8 ~x378416+4 ~x378415+2 ~x378414+1 ~x378413+49 x143+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=385 9.69/9.73 c 64 ~x380648+32 ~x380647+16 ~x380646+8 ~x380645+4 ~x380644+2 ~x380643+1 ~x380642+49 ~x142+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=237 9.69/9.78 c 64 ~x382720+32 ~x382719+16 ~x382718+8 ~x382717+4 ~x382716+2 ~x382715+1 ~x382714+49 x142+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=239 9.80/9.83 c 64 ~x384792+32 ~x384791+16 ~x384790+8 ~x384789+4 ~x384788+2 ~x384787+1 ~x384786+49 ~x141+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=243 9.80/9.88 c 128 ~x386943+64 ~x386942+32 ~x386941+16 ~x386940+8 ~x386939+4 ~x386938+2 ~x386937+1 ~x386936+49 x141+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=393 9.89/9.93 c 64 ~x389171+32 ~x389170+16 ~x389169+8 ~x389168+4 ~x389167+2 ~x389166+1 ~x389165+49 ~x140+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=248 9.89/9.98 c 128 ~x391322+64 ~x391321+32 ~x391320+16 ~x391319+8 ~x391318+4 ~x391317+2 ~x391316+1 ~x391315+49 x140+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=388 9.98/10.04 c 64 ~x393550+32 ~x393549+16 ~x393548+8 ~x393547+4 ~x393546+2 ~x393545+1 ~x393544+49 ~x139+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=252 9.98/10.09 c 128 ~x395701+64 ~x395700+32 ~x395699+16 ~x395698+8 ~x395697+4 ~x395696+2 ~x395695+1 ~x395694+49 x139+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=384 10.08/10.14 c 64 ~x397929+32 ~x397928+16 ~x397927+8 ~x397926+4 ~x397925+2 ~x397924+1 ~x397923+49 ~x138+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+64 ~x12+32 ~x11+16 ~x10+8 ~x9+4 ~x8+2 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=235 10.08/10.18 c 64 ~x399533+32 ~x399532+16 ~x399531+8 ~x399530+4 ~x399529+2 ~x399528+1 ~x399527+49 x138+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+64 x12+32 x11+16 x10+8 x9+4 x8+2 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=241 10.19/10.22 c 64 ~x401137+32 ~x401136+16 ~x401135+8 ~x401134+4 ~x401133+2 ~x401132+1 ~x401131+49 ~x137+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+64 ~x12+32 ~x11+16 ~x10+8 ~x9+4 ~x8+2 ~x7-0=241 10.19/10.26 c 128 ~x402820+64 ~x402819+32 ~x402818+16 ~x402817+8 ~x402816+4 ~x402815+2 ~x402814+1 ~x402813+49 x137+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+64 x12+32 x11+16 x10+8 x9+4 x8+2 x7-0=395 10.29/10.35 c 64 ~x404580+32 ~x404579+16 ~x404578+8 ~x404577+4 ~x404576+2 ~x404575+1 ~x404574+49 ~x136+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+64 ~x12+32 ~x11+16 ~x10+8 ~x9+4 ~x8+2 ~x7-0=246 10.29/10.35 c 128 ~x406263+64 ~x406262+32 ~x406261+16 ~x406260+8 ~x406259+4 ~x406258+2 ~x406257+1 ~x406256+49 x136+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+64 x12+32 x11+16 x10+8 x9+4 x8+2 x7-0=390 10.29/10.39 c 64 ~x408023+32 ~x408022+16 ~x408021+8 ~x408020+4 ~x408019+2 ~x408018+1 ~x408017+49 ~x135+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+64 ~x12+32 ~x11+16 ~x10+8 ~x9+4 ~x8+2 ~x7-0=250 10.38/10.44 c 128 ~x409706+64 ~x409705+32 ~x409704+16 ~x409703+8 ~x409702+4 ~x409701+2 ~x409700+1 ~x409699+49 x135+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+64 x12+32 x11+16 x10+8 x9+4 x8+2 x7-0=386 10.38/10.48 c 64 ~x411466+32 ~x411465+16 ~x411464+8 ~x411463+4 ~x411462+2 ~x411461+1 ~x411460+49 ~x134+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+64 ~x12+32 ~x11+16 ~x10+8 ~x9+4 ~x8+2 ~x7-0=253 10.49/10.53 c 128 ~x413149+64 ~x413148+32 ~x413147+16 ~x413146+8 ~x413145+4 ~x413144+2 ~x413143+1 ~x413142+49 x134+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+64 x12+32 x11+16 x10+8 x9+4 x8+2 x7-0=383 10.49/10.57 c 128 ~x414910+64 ~x414909+32 ~x414908+16 ~x414907+8 ~x414906+4 ~x414905+2 ~x414904+1 ~x414903+49 ~x133+64 ~x42+32 ~x41+16 ~x40+8 ~x39+4 ~x38+2 ~x37+16 x6+8 x5+4 x4+2 x3+1 x2-0=391 10.59/10.61 c 16 ~x416122+8 ~x416121+4 ~x416120+2 ~x416119+1 ~x416118+16 x40+8 x39+4 x38+2 x37+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=54 10.59/10.61 c 128 ~x416594+64 ~x416593+32 ~x416592+16 ~x416591+8 ~x416590+4 ~x416589+2 ~x416588+1 ~x416587+49 ~x132+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+16 x6+8 x5+4 x4+2 x3+1 x2-0=386 10.59/10.65 c 16 ~x418274+8 ~x418273+4 ~x418272+2 ~x418271+1 ~x418270+16 x41+8 x40+4 x39+2 x38+1 x37+16 x35+8 x34+4 x33+2 x32+1 x31+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=59 10.69/10.71 c 64 ~x419114+32 ~x419113+16 ~x419112+8 ~x419111+4 ~x419110+2 ~x419109+1 ~x419108+49 ~x131+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+16 x6+8 x5+4 x4+2 x3+1 x2-0=254 10.69/10.71 c 32 ~x420514+16 ~x420513+8 ~x420512+4 ~x420511+2 ~x420510+1 ~x420509+16 x41+8 x40+4 x39+2 x38+1 x37+16 x29+8 x28+4 x27+2 x26+1 x25+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=95 10.69/10.73 c 64 ~x421402+32 ~x421401+16 ~x421400+8 ~x421399+4 ~x421398+2 ~x421397+1 ~x421396+49 ~x130+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+16 x6+8 x5+4 x4+2 x3+1 x2-0=251 10.69/10.77 c 32 ~x422802+16 ~x422801+8 ~x422800+4 ~x422799+2 ~x422798+1 ~x422797+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=98 10.79/10.84 c 64 ~x424066+32 ~x424065+16 ~x424064+8 ~x424063+4 ~x424062+2 ~x424061+1 ~x424060+49 ~x129+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=249 10.79/10.84 c 32 ~x425466+16 ~x425465+8 ~x425464+4 ~x425463+2 ~x425462+1 ~x425461+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=100 10.79/10.87 c 64 ~x426730+32 ~x426729+16 ~x426728+8 ~x426727+4 ~x426726+2 ~x426725+1 ~x426724+49 ~x128+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=248 10.89/10.90 c 32 ~x428130+16 ~x428129+8 ~x428128+4 ~x428127+2 ~x428126+1 ~x428125+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=101 10.89/10.98 c 128 ~x429395+64 ~x429394+32 ~x429393+16 ~x429392+8 ~x429391+4 ~x429390+2 ~x429389+1 ~x429388+49 ~x127+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+16 x6+8 x5+4 x4+2 x3+1 x2-0=386 10.89/10.98 c 16 ~x431075+8 ~x431074+4 ~x431073+2 ~x431072+1 ~x431071+16 x41+8 x40+4 x39+2 x38+1 x37+16 x35+8 x34+4 x33+2 x32+1 x31+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=59 10.89/11.00 c 64 ~x431915+32 ~x431914+16 ~x431913+8 ~x431912+4 ~x431911+2 ~x431910+1 ~x431909+49 ~x126+64 ~x36+32 ~x35+16 ~x34+8 ~x33+4 ~x32+2 ~x31+16 x6+8 x5+4 x4+2 x3+1 x2-0=253 10.99/11.04 c 32 ~x432901+16 ~x432900+8 ~x432899+4 ~x432898+2 ~x432897+1 ~x432896+32 x35+16 x34+8 x33+4 x32+2 x31+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=96 10.99/11.04 c 128 ~x433535+64 ~x433534+32 ~x433533+16 ~x433532+8 ~x433531+4 ~x433530+2 ~x433529+1 ~x433528+49 ~x125+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+64 ~x36+32 ~x35+16 ~x34+8 ~x33+4 ~x32+2 ~x31-0=387 10.99/11.07 c 32 ~x434826+16 ~x434825+8 ~x434824+4 ~x434823+2 ~x434822+1 ~x434821+49 x125+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x35+16 x34+8 x33+4 x32+2 x31-0=122 11.08/11.13 c 64 ~x435745+32 ~x435744+16 ~x435743+8 ~x435742+4 ~x435741+2 ~x435740+1 ~x435739+49 ~x124+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+16 x6+8 x5+4 x4+2 x3+1 x2-0=249 11.08/11.13 c 32 ~x437145+16 ~x437144+8 ~x437143+4 ~x437142+2 ~x437141+1 ~x437140+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=100 11.08/11.17 c 128 ~x438410+64 ~x438409+32 ~x438408+16 ~x438407+8 ~x438406+4 ~x438405+2 ~x438404+1 ~x438403+49 ~x123+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25-0=383 11.19/11.21 c 32 ~x440169+16 ~x440168+8 ~x440167+4 ~x440166+2 ~x440165+1 ~x440164+49 x123+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25-0=126 11.19/11.25 c 64 ~x441570+32 ~x441569+16 ~x441568+8 ~x441567+4 ~x441566+2 ~x441565+1 ~x441564+49 ~x122+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+16 x6+8 x5+4 x4+2 x3+1 x2-0=246 11.29/11.31 c 32 ~x442970+16 ~x442969+8 ~x442968+4 ~x442967+2 ~x442966+1 ~x442965+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=103 11.29/11.31 c 64 ~x444234+32 ~x444233+16 ~x444232+8 ~x444231+4 ~x444230+2 ~x444229+1 ~x444228+49 ~x121+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19-0=252 11.29/11.35 c 64 ~x445704+32 ~x445703+16 ~x445702+8 ~x445701+4 ~x445700+2 ~x445699+1 ~x445698+49 x121+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19-0=193 11.29/11.39 c 64 ~x447174+32 ~x447173+16 ~x447172+8 ~x447171+4 ~x447170+2 ~x447169+1 ~x447168+49 ~x120+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=244 11.39/11.42 c 32 ~x448574+16 ~x448573+8 ~x448572+4 ~x448571+2 ~x448570+1 ~x448569+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=105 11.39/11.45 c 64 ~x449838+32 ~x449837+16 ~x449836+8 ~x449835+4 ~x449834+2 ~x449833+1 ~x449832+49 ~x119+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=250 11.49/11.53 c 64 ~x451308+32 ~x451307+16 ~x451306+8 ~x451305+4 ~x451304+2 ~x451303+1 ~x451302+49 x119+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=195 11.49/11.53 c 64 ~x452778+32 ~x452777+16 ~x452776+8 ~x452775+4 ~x452774+2 ~x452773+1 ~x452772+49 ~x118+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=243 11.49/11.56 c 32 ~x454178+16 ~x454177+8 ~x454176+4 ~x454175+2 ~x454174+1 ~x454173+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=106 11.58/11.60 c 64 ~x455442+32 ~x455441+16 ~x455440+8 ~x455439+4 ~x455438+2 ~x455437+1 ~x455436+49 ~x117+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=249 11.58/11.63 c 64 ~x456912+32 ~x456911+16 ~x456910+8 ~x456909+4 ~x456908+2 ~x456907+1 ~x456906+49 x117+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=196 11.68/11.70 c 64 ~x458382+32 ~x458381+16 ~x458380+8 ~x458379+4 ~x458378+2 ~x458377+1 ~x458376+49 ~x116+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+16 x6+8 x5+4 x4+2 x3+1 x2-0=254 11.68/11.70 c 32 ~x459782+16 ~x459781+8 ~x459780+4 ~x459779+2 ~x459778+1 ~x459777+16 x41+8 x40+4 x39+2 x38+1 x37+16 x29+8 x28+4 x27+2 x26+1 x25+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=95 11.68/11.73 c 64 ~x460670+32 ~x460669+16 ~x460668+8 ~x460667+4 ~x460666+2 ~x460665+1 ~x460664+49 ~x115+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+16 x6+8 x5+4 x4+2 x3+1 x2-0=249 11.68/11.76 c 32 ~x462070+16 ~x462069+8 ~x462068+4 ~x462067+2 ~x462066+1 ~x462065+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=100 11.68/11.80 c 128 ~x463335+64 ~x463334+32 ~x463333+16 ~x463332+8 ~x463331+4 ~x463330+2 ~x463329+1 ~x463328+49 ~x114+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25-0=383 11.78/11.87 c 32 ~x465094+16 ~x465093+8 ~x465092+4 ~x465091+2 ~x465090+1 ~x465089+49 x114+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25-0=126 11.78/11.87 c 64 ~x466495+32 ~x466494+16 ~x466493+8 ~x466492+4 ~x466491+2 ~x466490+1 ~x466489+49 ~x113+64 ~x30+32 ~x29+16 ~x28+8 ~x27+4 ~x26+2 ~x25+16 x6+8 x5+4 x4+2 x3+1 x2-0=245 11.89/11.90 c 32 ~x467481+16 ~x467480+8 ~x467479+4 ~x467478+2 ~x467477+1 ~x467476+32 x29+16 x28+8 x27+4 x26+2 x25+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=104 11.89/11.95 c 64 ~x468114+32 ~x468113+16 ~x468112+8 ~x468111+4 ~x468110+2 ~x468109+1 ~x468108+49 ~x112+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+64 ~x30+32 ~x29+16 ~x28+8 ~x27+4 ~x26+2 ~x25-0=251 11.89/11.95 c 64 ~x469170+32 ~x469169+16 ~x469168+8 ~x469167+4 ~x469166+2 ~x469165+1 ~x469164+49 x112+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+64 x30+32 x29+16 x28+8 x27+4 x26+2 x25-0=194 11.89/11.97 c 128 ~x470227+64 ~x470226+32 ~x470225+16 ~x470224+8 ~x470223+4 ~x470222+2 ~x470221+1 ~x470220+49 ~x111+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+64 ~x30+32 ~x29+16 ~x28+8 ~x27+4 ~x26+2 ~x25-0=384 11.99/12.03 c 32 ~x471518+16 ~x471517+8 ~x471516+4 ~x471515+2 ~x471514+1 ~x471513+49 x111+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x29+16 x28+8 x27+4 x26+2 x25-0=125 11.99/12.03 c 64 ~x472437+32 ~x472436+16 ~x472435+8 ~x472434+4 ~x472433+2 ~x472432+1 ~x472431+49 ~x110+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+16 x6+8 x5+4 x4+2 x3+1 x2-0=242 11.99/12.07 c 32 ~x473837+16 ~x473836+8 ~x473835+4 ~x473834+2 ~x473833+1 ~x473832+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=107 11.99/12.10 c 64 ~x475101+32 ~x475100+16 ~x475099+8 ~x475098+4 ~x475097+2 ~x475096+1 ~x475095+49 ~x109+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19-0=248 12.09/12.14 c 64 ~x476571+32 ~x476570+16 ~x476569+8 ~x476568+4 ~x476567+2 ~x476566+1 ~x476565+49 x109+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19-0=197 12.18/12.21 c 64 ~x478041+32 ~x478040+16 ~x478039+8 ~x478038+4 ~x478037+2 ~x478036+1 ~x478035+49 ~x108+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19-0=253 12.18/12.21 c 64 ~x479511+32 ~x479510+16 ~x479509+8 ~x479508+4 ~x479507+2 ~x479506+1 ~x479505+49 x108+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19-0=192 12.18/12.25 c 64 ~x480981+32 ~x480980+16 ~x480979+8 ~x480978+4 ~x480977+2 ~x480976+1 ~x480975+49 ~x107+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=240 12.18/12.28 c 32 ~x482381+16 ~x482380+8 ~x482379+4 ~x482378+2 ~x482377+1 ~x482376+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=109 12.28/12.31 c 64 ~x483645+32 ~x483644+16 ~x483643+8 ~x483642+4 ~x483641+2 ~x483640+1 ~x483639+49 ~x106+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=246 12.28/12.35 c 64 ~x485115+32 ~x485114+16 ~x485113+8 ~x485112+4 ~x485111+2 ~x485110+1 ~x485109+49 x106+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=199 12.39/12.42 c 64 ~x486585+32 ~x486584+16 ~x486583+8 ~x486582+4 ~x486581+2 ~x486580+1 ~x486579+49 ~x105+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=251 12.39/12.42 c 64 ~x488055+32 ~x488054+16 ~x488053+8 ~x488052+4 ~x488051+2 ~x488050+1 ~x488049+49 x105+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=194 12.39/12.46 c 64 ~x489525+32 ~x489524+16 ~x489523+8 ~x489522+4 ~x489521+2 ~x489520+1 ~x489519+49 ~x104+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=239 12.48/12.50 c 32 ~x490925+16 ~x490924+8 ~x490923+4 ~x490922+2 ~x490921+1 ~x490920+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=110 12.48/12.53 c 64 ~x492189+32 ~x492188+16 ~x492187+8 ~x492186+4 ~x492185+2 ~x492184+1 ~x492183+49 ~x103+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=245 12.58/12.60 c 64 ~x493659+32 ~x493658+16 ~x493657+8 ~x493656+4 ~x493655+2 ~x493654+1 ~x493653+49 x103+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=200 12.58/12.60 c 64 ~x495129+32 ~x495128+16 ~x495127+8 ~x495126+4 ~x495125+2 ~x495124+1 ~x495123+49 ~x102+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=250 12.58/12.64 c 64 ~x496599+32 ~x496598+16 ~x496597+8 ~x496596+4 ~x496595+2 ~x496594+1 ~x496593+49 x102+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=195 12.58/12.68 c 64 ~x498069+32 ~x498068+16 ~x498067+8 ~x498066+4 ~x498065+2 ~x498064+1 ~x498063+49 ~x101+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+16 x6+8 x5+4 x4+2 x3+1 x2-0=251 12.68/12.71 c 32 ~x499469+16 ~x499468+8 ~x499467+4 ~x499466+2 ~x499465+1 ~x499464+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=98 12.68/12.75 c 64 ~x500733+32 ~x500732+16 ~x500731+8 ~x500730+4 ~x500729+2 ~x500728+1 ~x500727+49 ~x100+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+16 x6+8 x5+4 x4+2 x3+1 x2-0=246 12.78/12.81 c 32 ~x502133+16 ~x502132+8 ~x502131+4 ~x502130+2 ~x502129+1 ~x502128+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=103 12.78/12.81 c 64 ~x503397+32 ~x503396+16 ~x503395+8 ~x503394+4 ~x503393+2 ~x503392+1 ~x503391+49 ~x99+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19-0=252 12.78/12.85 c 64 ~x504867+32 ~x504866+16 ~x504865+8 ~x504864+4 ~x504863+2 ~x504862+1 ~x504861+49 x99+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19-0=193 12.78/12.89 c 64 ~x506337+32 ~x506336+16 ~x506335+8 ~x506334+4 ~x506333+2 ~x506332+1 ~x506331+49 ~x98+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+16 x6+8 x5+4 x4+2 x3+1 x2-0=242 12.89/12.92 c 32 ~x507737+16 ~x507736+8 ~x507735+4 ~x507734+2 ~x507733+1 ~x507732+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=107 12.89/12.99 c 64 ~x509001+32 ~x509000+16 ~x508999+8 ~x508998+4 ~x508997+2 ~x508996+1 ~x508995+49 ~x97+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19-0=248 12.89/12.99 c 64 ~x510471+32 ~x510470+16 ~x510469+8 ~x510468+4 ~x510467+2 ~x510466+1 ~x510465+49 x97+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19-0=197 12.99/13.04 c 64 ~x511941+32 ~x511940+16 ~x511939+8 ~x511938+4 ~x511937+2 ~x511936+1 ~x511935+49 ~x96+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19-0=253 12.99/13.08 c 64 ~x513411+32 ~x513410+16 ~x513409+8 ~x513408+4 ~x513407+2 ~x513406+1 ~x513405+49 x96+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19-0=192 13.09/13.11 c 64 ~x514881+32 ~x514880+16 ~x514879+8 ~x514878+4 ~x514877+2 ~x514876+1 ~x514875+49 ~x95+64 ~x24+32 ~x23+16 ~x22+8 ~x21+4 ~x20+2 ~x19+16 x6+8 x5+4 x4+2 x3+1 x2-0=239 13.09/13.16 c 32 ~x515867+16 ~x515866+8 ~x515865+4 ~x515864+2 ~x515863+1 ~x515862+32 x23+16 x22+8 x21+4 x20+2 x19+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=110 13.09/13.16 c 64 ~x516500+32 ~x516499+16 ~x516498+8 ~x516497+4 ~x516496+2 ~x516495+1 ~x516494+49 ~x94+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+64 ~x24+32 ~x23+16 ~x22+8 ~x21+4 ~x20+2 ~x19-0=245 13.09/13.18 c 64 ~x517556+32 ~x517555+16 ~x517554+8 ~x517553+4 ~x517552+2 ~x517551+1 ~x517550+49 x94+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+64 x24+32 x23+16 x22+8 x21+4 x20+2 x19-0=200 13.19/13.24 c 64 ~x518612+32 ~x518611+16 ~x518610+8 ~x518609+4 ~x518608+2 ~x518607+1 ~x518606+49 ~x93+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+64 ~x24+32 ~x23+16 ~x22+8 ~x21+4 ~x20+2 ~x19-0=250 13.19/13.24 c 64 ~x519668+32 ~x519667+16 ~x519666+8 ~x519665+4 ~x519664+2 ~x519663+1 ~x519662+49 x93+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+64 x24+32 x23+16 x22+8 x21+4 x20+2 x19-0=195 13.19/13.27 c 64 ~x520724+32 ~x520723+16 ~x520722+8 ~x520721+4 ~x520720+2 ~x520719+1 ~x520718+49 ~x92+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+64 ~x24+32 ~x23+16 ~x22+8 ~x21+4 ~x20+2 ~x19-0=254 13.29/13.32 c 64 ~x521780+32 ~x521779+16 ~x521778+8 ~x521777+4 ~x521776+2 ~x521775+1 ~x521774+49 x92+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x23+16 x22+8 x21+4 x20+2 x19-0=191 13.29/13.32 c 64 ~x522768+32 ~x522767+16 ~x522766+8 ~x522765+4 ~x522764+2 ~x522763+1 ~x522762+49 ~x91+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=237 13.29/13.36 c 32 ~x524168+16 ~x524167+8 ~x524166+4 ~x524165+2 ~x524164+1 ~x524163+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=112 13.29/13.39 c 64 ~x525432+32 ~x525431+16 ~x525430+8 ~x525429+4 ~x525428+2 ~x525427+1 ~x525426+49 ~x90+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=243 13.38/13.46 c 64 ~x526902+32 ~x526901+16 ~x526900+8 ~x526899+4 ~x526898+2 ~x526897+1 ~x526896+49 x90+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=202 13.38/13.46 c 64 ~x528372+32 ~x528371+16 ~x528370+8 ~x528369+4 ~x528368+2 ~x528367+1 ~x528366+49 ~x89+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=248 13.48/13.50 c 64 ~x529842+32 ~x529841+16 ~x529840+8 ~x529839+4 ~x529838+2 ~x529837+1 ~x529836+49 x89+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=197 13.48/13.54 c 64 ~x531312+32 ~x531311+16 ~x531310+8 ~x531309+4 ~x531308+2 ~x531307+1 ~x531306+49 ~x88+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=252 13.48/13.57 c 64 ~x532782+32 ~x532781+16 ~x532780+8 ~x532779+4 ~x532778+2 ~x532777+1 ~x532776+49 x88+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=193 13.59/13.61 c 64 ~x534252+32 ~x534251+16 ~x534250+8 ~x534249+4 ~x534248+2 ~x534247+1 ~x534246+49 ~x87+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=236 13.59/13.68 c 32 ~x535652+16 ~x535651+8 ~x535650+4 ~x535649+2 ~x535648+1 ~x535647+49 x87+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=113 13.59/13.68 c 64 ~x536984+32 ~x536983+16 ~x536982+8 ~x536981+4 ~x536980+2 ~x536979+1 ~x536978+49 ~x86+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=242 13.69/13.72 c 64 ~x538454+32 ~x538453+16 ~x538452+8 ~x538451+4 ~x538450+2 ~x538449+1 ~x538448+49 x86+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=203 13.69/13.75 c 64 ~x539924+32 ~x539923+16 ~x539922+8 ~x539921+4 ~x539920+2 ~x539919+1 ~x539918+49 ~x85+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=247 13.69/13.79 c 64 ~x541394+32 ~x541393+16 ~x541392+8 ~x541391+4 ~x541390+2 ~x541389+1 ~x541388+49 x85+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=198 13.79/13.83 c 64 ~x542864+32 ~x542863+16 ~x542862+8 ~x542861+4 ~x542860+2 ~x542859+1 ~x542858+49 ~x84+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=251 13.79/13.86 c 64 ~x544334+32 ~x544333+16 ~x544332+8 ~x544331+4 ~x544330+2 ~x544329+1 ~x544328+49 x84+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=194 13.88/13.94 c 64 ~x545804+32 ~x545803+16 ~x545802+8 ~x545801+4 ~x545800+2 ~x545799+1 ~x545798+49 ~x83+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=249 13.88/13.94 c 32 ~x547204+16 ~x547203+8 ~x547202+4 ~x547201+2 ~x547200+1 ~x547199+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=100 13.88/13.97 c 64 ~x548468+32 ~x548467+16 ~x548466+8 ~x548465+4 ~x548464+2 ~x548463+1 ~x548462+49 ~x82+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=244 13.98/14.00 c 32 ~x549868+16 ~x549867+8 ~x549866+4 ~x549865+2 ~x549864+1 ~x549863+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=105 13.98/14.07 c 64 ~x551132+32 ~x551131+16 ~x551130+8 ~x551129+4 ~x551128+2 ~x551127+1 ~x551126+49 ~x81+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=250 13.98/14.07 c 64 ~x552602+32 ~x552601+16 ~x552600+8 ~x552599+4 ~x552598+2 ~x552597+1 ~x552596+49 x81+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=195 14.08/14.11 c 64 ~x554072+32 ~x554071+16 ~x554070+8 ~x554069+4 ~x554068+2 ~x554067+1 ~x554066+49 ~x80+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=240 14.08/14.15 c 32 ~x555472+16 ~x555471+8 ~x555470+4 ~x555469+2 ~x555468+1 ~x555467+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=109 14.08/14.18 c 64 ~x556736+32 ~x556735+16 ~x556734+8 ~x556733+4 ~x556732+2 ~x556731+1 ~x556730+49 ~x79+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=246 14.19/14.25 c 64 ~x558206+32 ~x558205+16 ~x558204+8 ~x558203+4 ~x558202+2 ~x558201+1 ~x558200+49 x79+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=199 14.19/14.25 c 64 ~x559676+32 ~x559675+16 ~x559674+8 ~x559673+4 ~x559672+2 ~x559671+1 ~x559670+49 ~x78+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=251 14.19/14.29 c 64 ~x561146+32 ~x561145+16 ~x561144+8 ~x561143+4 ~x561142+2 ~x561141+1 ~x561140+49 x78+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=194 14.29/14.33 c 64 ~x562616+32 ~x562615+16 ~x562614+8 ~x562613+4 ~x562612+2 ~x562611+1 ~x562610+49 ~x77+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=237 14.29/14.36 c 32 ~x564016+16 ~x564015+8 ~x564014+4 ~x564013+2 ~x564012+1 ~x564011+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=112 14.38/14.43 c 64 ~x565280+32 ~x565279+16 ~x565278+8 ~x565277+4 ~x565276+2 ~x565275+1 ~x565274+49 ~x76+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=243 14.38/14.43 c 64 ~x566750+32 ~x566749+16 ~x566748+8 ~x566747+4 ~x566746+2 ~x566745+1 ~x566744+49 x76+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=202 14.38/14.47 c 64 ~x568220+32 ~x568219+16 ~x568218+8 ~x568217+4 ~x568216+2 ~x568215+1 ~x568214+49 ~x75+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=248 14.49/14.50 c 64 ~x569690+32 ~x569689+16 ~x569688+8 ~x569687+4 ~x569686+2 ~x569685+1 ~x569684+49 x75+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=197 14.49/14.54 c 64 ~x571160+32 ~x571159+16 ~x571158+8 ~x571157+4 ~x571156+2 ~x571155+1 ~x571154+49 ~x74+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=252 14.49/14.58 c 64 ~x572630+32 ~x572629+16 ~x572628+8 ~x572627+4 ~x572626+2 ~x572625+1 ~x572624+49 x74+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=193 14.58/14.64 c 64 ~x574100+32 ~x574099+16 ~x574098+8 ~x574097+4 ~x574096+2 ~x574095+1 ~x574094+49 ~x73+64 ~x12+32 ~x11+16 ~x10+8 ~x9+4 ~x8+2 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=235 14.58/14.64 c 32 ~x575086+16 ~x575085+8 ~x575084+4 ~x575083+2 ~x575082+1 ~x575081+49 x73+32 x11+16 x10+8 x9+4 x8+2 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=114 14.58/14.66 c 64 ~x575770+32 ~x575769+16 ~x575768+8 ~x575767+4 ~x575766+2 ~x575765+1 ~x575764+49 ~x72+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+64 ~x12+32 ~x11+16 ~x10+8 ~x9+4 ~x8+2 ~x7-0=241 14.68/14.71 c 64 ~x576826+32 ~x576825+16 ~x576824+8 ~x576823+4 ~x576822+2 ~x576821+1 ~x576820+49 x72+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+64 x12+32 x11+16 x10+8 x9+4 x8+2 x7-0=204 14.68/14.71 c 64 ~x577882+32 ~x577881+16 ~x577880+8 ~x577879+4 ~x577878+2 ~x577877+1 ~x577876+49 ~x71+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+64 ~x12+32 ~x11+16 ~x10+8 ~x9+4 ~x8+2 ~x7-0=246 14.68/14.74 c 64 ~x578938+32 ~x578937+16 ~x578936+8 ~x578935+4 ~x578934+2 ~x578933+1 ~x578932+49 x71+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+64 x12+32 x11+16 x10+8 x9+4 x8+2 x7-0=199 14.68/14.80 c 64 ~x579994+32 ~x579993+16 ~x579992+8 ~x579991+4 ~x579990+2 ~x579989+1 ~x579988+49 ~x70+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+64 ~x12+32 ~x11+16 ~x10+8 ~x9+4 ~x8+2 ~x7-0=250 14.68/14.80 c 64 ~x581050+32 ~x581049+16 ~x581048+8 ~x581047+4 ~x581046+2 ~x581045+1 ~x581044+49 x70+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+64 x12+32 x11+16 x10+8 x9+4 x8+2 x7-0=195 14.79/14.82 c 64 ~x582106+32 ~x582105+16 ~x582104+8 ~x582103+4 ~x582102+2 ~x582101+1 ~x582100+49 ~x69+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+64 ~x12+32 ~x11+16 ~x10+8 ~x9+4 ~x8+2 ~x7-0=253 14.79/14.88 c 64 ~x583162+32 ~x583161+16 ~x583160+8 ~x583159+4 ~x583158+2 ~x583157+1 ~x583156+49 x69+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+64 x12+32 x11+16 x10+8 x9+4 x8+2 x7-0=192 14.79/14.88 c 64 ~x584218+32 ~x584217+16 ~x584216+8 ~x584215+4 ~x584214+2 ~x584213+1 ~x584212+49 ~x68+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=234 14.88/14.91 c 32 ~x585618+16 ~x585617+8 ~x585616+4 ~x585615+2 ~x585614+1 ~x585613+49 x68+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=115 14.88/14.95 c 64 ~x586950+32 ~x586949+16 ~x586948+8 ~x586947+4 ~x586946+2 ~x586945+1 ~x586944+49 ~x67+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=240 14.88/14.98 c 64 ~x588420+32 ~x588419+16 ~x588418+8 ~x588417+4 ~x588416+2 ~x588415+1 ~x588414+49 x67+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=205 14.98/15.06 c 64 ~x589890+32 ~x589889+16 ~x589888+8 ~x589887+4 ~x589886+2 ~x589885+1 ~x589884+49 ~x66+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=245 14.98/15.06 c 64 ~x591360+32 ~x591359+16 ~x591358+8 ~x591357+4 ~x591356+2 ~x591355+1 ~x591354+49 x66+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=200 14.98/15.09 c 64 ~x592830+32 ~x592829+16 ~x592828+8 ~x592827+4 ~x592826+2 ~x592825+1 ~x592824+49 ~x65+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=249 15.09/15.13 c 64 ~x594300+32 ~x594299+16 ~x594298+8 ~x594297+4 ~x594296+2 ~x594295+1 ~x594294+49 x65+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=196 15.09/15.17 c 64 ~x595770+32 ~x595769+16 ~x595768+8 ~x595767+4 ~x595766+2 ~x595765+1 ~x595764+49 ~x64+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=252 15.18/15.21 c 64 ~x597240+32 ~x597239+16 ~x597238+8 ~x597237+4 ~x597236+2 ~x597235+1 ~x597234+49 x64+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=193 15.18/15.28 c 64 ~x598710+32 ~x598709+16 ~x598708+8 ~x598707+4 ~x598706+2 ~x598705+1 ~x598704+49 ~x63+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=248 15.18/15.28 c 32 ~x600110+16 ~x600109+8 ~x600108+4 ~x600107+2 ~x600106+1 ~x600105+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=101 15.29/15.31 c 64 ~x601374+32 ~x601373+16 ~x601372+8 ~x601371+4 ~x601370+2 ~x601369+1 ~x601368+49 ~x62+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=243 15.29/15.34 c 32 ~x602774+16 ~x602773+8 ~x602772+4 ~x602771+2 ~x602770+1 ~x602769+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=106 15.29/15.38 c 64 ~x604038+32 ~x604037+16 ~x604036+8 ~x604035+4 ~x604034+2 ~x604033+1 ~x604032+49 ~x61+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=249 15.39/15.45 c 64 ~x605508+32 ~x605507+16 ~x605506+8 ~x605505+4 ~x605504+2 ~x605503+1 ~x605502+49 x61+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=196 15.39/15.45 c 64 ~x606978+32 ~x606977+16 ~x606976+8 ~x606975+4 ~x606974+2 ~x606973+1 ~x606972+49 ~x60+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=239 15.39/15.49 c 32 ~x608378+16 ~x608377+8 ~x608376+4 ~x608375+2 ~x608374+1 ~x608373+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=110 15.48/15.52 c 64 ~x609642+32 ~x609641+16 ~x609640+8 ~x609639+4 ~x609638+2 ~x609637+1 ~x609636+49 ~x59+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=245 15.48/15.56 c 64 ~x611112+32 ~x611111+16 ~x611110+8 ~x611109+4 ~x611108+2 ~x611107+1 ~x611106+49 x59+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=200 15.48/15.59 c 64 ~x612582+32 ~x612581+16 ~x612580+8 ~x612579+4 ~x612578+2 ~x612577+1 ~x612576+49 ~x58+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=250 15.59/15.67 c 64 ~x614052+32 ~x614051+16 ~x614050+8 ~x614049+4 ~x614048+2 ~x614047+1 ~x614046+49 x58+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=195 15.59/15.67 c 64 ~x615522+32 ~x615521+16 ~x615520+8 ~x615519+4 ~x615518+2 ~x615517+1 ~x615516+49 ~x57+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=236 15.68/15.70 c 32 ~x616922+16 ~x616921+8 ~x616920+4 ~x616919+2 ~x616918+1 ~x616917+49 x57+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=113 15.68/15.74 c 64 ~x618254+32 ~x618253+16 ~x618252+8 ~x618251+4 ~x618250+2 ~x618249+1 ~x618248+49 ~x56+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=242 15.68/15.77 c 64 ~x619724+32 ~x619723+16 ~x619722+8 ~x619721+4 ~x619720+2 ~x619719+1 ~x619718+49 x56+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=203 15.78/15.85 c 64 ~x621194+32 ~x621193+16 ~x621192+8 ~x621191+4 ~x621190+2 ~x621189+1 ~x621188+49 ~x55+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=247 15.78/15.85 c 64 ~x622664+32 ~x622663+16 ~x622662+8 ~x622661+4 ~x622660+2 ~x622659+1 ~x622658+49 x55+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=198 15.78/15.88 c 64 ~x624134+32 ~x624133+16 ~x624132+8 ~x624131+4 ~x624130+2 ~x624129+1 ~x624128+49 ~x54+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=251 15.88/15.92 c 64 ~x625604+32 ~x625603+16 ~x625602+8 ~x625601+4 ~x625600+2 ~x625599+1 ~x625598+49 x54+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13-0=194 15.88/15.96 c 64 ~x627074+32 ~x627073+16 ~x627072+8 ~x627071+4 ~x627070+2 ~x627069+1 ~x627068+49 ~x53+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=234 15.88/15.99 c 32 ~x628474+16 ~x628473+8 ~x628472+4 ~x628471+2 ~x628470+1 ~x628469+49 x53+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=115 15.98/16.06 c 64 ~x629806+32 ~x629805+16 ~x629804+8 ~x629803+4 ~x629802+2 ~x629801+1 ~x629800+49 ~x52+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=240 15.98/16.06 c 64 ~x631276+32 ~x631275+16 ~x631274+8 ~x631273+4 ~x631272+2 ~x631271+1 ~x631270+49 x52+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=205 16.08/16.10 c 64 ~x632746+32 ~x632745+16 ~x632744+8 ~x632743+4 ~x632742+2 ~x632741+1 ~x632740+49 ~x51+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=245 16.08/16.14 c 64 ~x634216+32 ~x634215+16 ~x634214+8 ~x634213+4 ~x634212+2 ~x634211+1 ~x634210+49 x51+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=200 16.08/16.17 c 64 ~x635686+32 ~x635685+16 ~x635684+8 ~x635683+4 ~x635682+2 ~x635681+1 ~x635680+49 ~x50+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=249 16.18/16.21 c 64 ~x637156+32 ~x637155+16 ~x637154+8 ~x637153+4 ~x637152+2 ~x637151+1 ~x637150+49 x50+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=196 16.18/16.30 c 64 ~x638626+32 ~x638625+16 ~x638624+8 ~x638623+4 ~x638622+2 ~x638621+1 ~x638620+49 ~x49+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=252 16.18/16.30 c 64 ~x640096+32 ~x640095+16 ~x640094+8 ~x640093+4 ~x640092+2 ~x640091+1 ~x640090+49 x49+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+32 x18+16 x17+8 x16+4 x15+2 x14+1 x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=193 16.28/16.33 c 64 ~x641566+32 ~x641565+16 ~x641564+8 ~x641563+4 ~x641562+2 ~x641561+1 ~x641560+49 ~x48+64 ~x18+32 ~x17+16 ~x16+8 ~x15+4 ~x14+2 ~x13+16 x6+8 x5+4 x4+2 x3+1 x2-0=233 16.28/16.36 c 32 ~x642552+16 ~x642551+8 ~x642550+4 ~x642549+2 ~x642548+1 ~x642547+49 x48+32 x17+16 x16+8 x15+4 x14+2 x13+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=116 16.39/16.40 c 64 ~x643236+32 ~x643235+16 ~x643234+8 ~x643233+4 ~x643232+2 ~x643231+1 ~x643230+49 ~x47+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+64 ~x18+32 ~x17+16 ~x16+8 ~x15+4 ~x14+2 ~x13-0=239 16.39/16.40 c 64 ~x644292+32 ~x644291+16 ~x644290+8 ~x644289+4 ~x644288+2 ~x644287+1 ~x644286+49 x47+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+64 x18+32 x17+16 x16+8 x15+4 x14+2 x13-0=206 16.39/16.43 c 64 ~x645348+32 ~x645347+16 ~x645346+8 ~x645345+4 ~x645344+2 ~x645343+1 ~x645342+49 ~x46+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+64 ~x18+32 ~x17+16 ~x16+8 ~x15+4 ~x14+2 ~x13-0=244 16.39/16.49 c 64 ~x646404+32 ~x646403+16 ~x646402+8 ~x646401+4 ~x646400+2 ~x646399+1 ~x646398+49 x46+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31+64 x18+32 x17+16 x16+8 x15+4 x14+2 x13-0=201 16.39/16.49 c 64 ~x647460+32 ~x647459+16 ~x647458+8 ~x647457+4 ~x647456+2 ~x647455+1 ~x647454+49 ~x45+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+64 ~x18+32 ~x17+16 ~x16+8 ~x15+4 ~x14+2 ~x13-0=248 16.49/16.51 c 64 ~x648516+32 ~x648515+16 ~x648514+8 ~x648513+4 ~x648512+2 ~x648511+1 ~x648510+49 x45+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25+64 x18+32 x17+16 x16+8 x15+4 x14+2 x13-0=197 16.49/16.57 c 64 ~x649572+32 ~x649571+16 ~x649570+8 ~x649569+4 ~x649568+2 ~x649567+1 ~x649566+49 ~x44+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+64 ~x18+32 ~x17+16 ~x16+8 ~x15+4 ~x14+2 ~x13-0=251 16.49/16.57 c 64 ~x650628+32 ~x650627+16 ~x650626+8 ~x650625+4 ~x650624+2 ~x650623+1 ~x650622+49 x44+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19+64 x18+32 x17+16 x16+8 x15+4 x14+2 x13-0=194 16.58/16.60 c 64 ~x651684+32 ~x651683+16 ~x651682+8 ~x651681+4 ~x651680+2 ~x651679+1 ~x651678+49 ~x43+64 ~x18+32 ~x17+16 ~x16+8 ~x15+4 ~x14+2 ~x13+32 x12+16 x11+8 x10+4 x9+2 x8+1 x7-0=253 16.58/16.65 c 64 ~x652740+32 ~x652739+16 ~x652738+8 ~x652737+4 ~x652736+2 ~x652735+1 ~x652734+49 x43+64 x18+32 x17+16 x16+8 x15+4 x14+2 x13+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=192 16.58/16.65 c 32 ~x653795+16 ~x653794+8 ~x653793+4 ~x653792+2 ~x653791+1 ~x653790+32 ~x42+16 ~x41+8 ~x40+4 ~x39+2 ~x38+1 ~x37+16 x6+8 x5+4 x4+2 x3+1 x2-0=121 16.58/16.67 c 32 ~x654477+16 ~x654476+8 ~x654475+4 ~x654474+2 ~x654473+1 ~x654472+32 x42+16 x41+8 x40+4 x39+2 x38+1 x37+32 ~x36+16 ~x35+8 ~x34+4 ~x33+2 ~x32+1 ~x31-0=122 16.68/16.71 c 32 ~x655210+16 ~x655209+8 ~x655208+4 ~x655207+2 ~x655206+1 ~x655205+32 x36+16 x35+8 x34+4 x33+2 x32+1 x31+32 ~x30+16 ~x29+8 ~x28+4 ~x27+2 ~x26+1 ~x25-0=123 16.68/16.71 c 32 ~x655943+16 ~x655942+8 ~x655941+4 ~x655940+2 ~x655939+1 ~x655938+32 x30+16 x29+8 x28+4 x27+2 x26+1 x25+32 ~x24+16 ~x23+8 ~x22+4 ~x21+2 ~x20+1 ~x19-0=124 16.68/16.73 c 32 ~x656676+16 ~x656675+8 ~x656674+4 ~x656673+2 ~x656672+1 ~x656671+32 x24+16 x23+8 x22+4 x21+2 x20+1 x19+32 ~x12+16 ~x11+8 ~x10+4 ~x9+2 ~x8+1 ~x7-0=125
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-2674845-1276804340/watcher-2674845-1276804340 -o /tmp/evaluation-result-2674845-1276804340/solver-2674845-1276804340 -C 1800 -W 2000 -M 1800 run HOME/instance-2674845-1276804340.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.99 3/106 24945 /proc/meminfo: memFree=1843472/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [startup+0.0674849 s] /proc/loadavg: 1.00 1.00 0.99 3/106 24945 /proc/meminfo: memFree=1843472/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101488 s] /proc/loadavg: 1.00 1.00 0.99 3/106 24945 /proc/meminfo: memFree=1843472/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.30151 s] /proc/loadavg: 1.00 1.00 0.99 3/106 24945 /proc/meminfo: memFree=1843472/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701555 s] /proc/loadavg: 1.00 1.00 0.99 3/106 24945 /proc/meminfo: memFree=1843472/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50064 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24948 /proc/meminfo: memFree=1745744/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=109088 CPUtime=1.49 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 27772 0 0 0 122 27 0 0 22 0 1 0 21724648 111706112 26478 1992294400 134512640 134902295 4289589248 18446744073709551615 134588309 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 27272 26478 262 96 0 26484 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 117788 [startup+3.10082 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24948 /proc/meminfo: memFree=1727764/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=137352 CPUtime=3.09 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 36973 0 0 0 278 31 0 0 25 0 1 0 21724648 140648448 33060 1992294400 134512640 134902295 4289589248 18446744073709551615 4160501841 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 34338 33060 262 96 0 33550 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 146052 [startup+6.30118 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24948 /proc/meminfo: memFree=1672708/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=195344 CPUtime=6.28 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 54507 0 0 0 590 38 0 0 25 0 1 0 21724648 200032256 46714 1992294400 134512640 134902295 4289589248 18446744073709551615 4834812 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 48836 46714 262 96 0 48048 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 204044 [startup+12.7009 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24948 /proc/meminfo: memFree=1558628/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=303648 CPUtime=12.68 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 88399 0 0 0 1216 52 0 0 25 0 1 0 21724648 310935552 73638 1992294400 134512640 134902295 4289589248 18446744073709551615 4160520355 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 75912 73638 262 96 0 75124 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 312348 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24948 /proc/meminfo: memFree=1474184/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=379228 CPUtime=25.48 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 111028 0 0 0 2486 62 0 0 25 0 1 0 21724648 388329472 92171 1992294400 134512640 134902295 4289589248 18446744073709551615 4160488197 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 94807 92171 269 96 0 94019 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 387928 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24948 /proc/meminfo: memFree=1473440/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=380272 CPUtime=51.07 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 111218 0 0 0 5045 62 0 0 25 0 1 0 21724648 389398528 92361 1992294400 134512640 134902295 4289589248 18446744073709551615 4160516054 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 95068 92361 269 96 0 94280 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 388972 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24950 /proc/meminfo: memFree=1472820/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=380536 CPUtime=102.26 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 111298 0 0 0 10163 63 0 0 25 0 1 0 21724648 389668864 92441 1992294400 134512640 134902295 4289589248 18446744073709551615 4160506713 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 95134 92441 269 96 0 94346 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 389236 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24952 /proc/meminfo: memFree=1472324/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=380932 CPUtime=162.24 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 111414 0 0 0 16161 63 0 0 25 0 1 0 21724648 390074368 92557 1992294400 134512640 134902295 4289589248 18446744073709551615 4160518270 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 95233 92557 269 96 0 94445 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 389632 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24954 /proc/meminfo: memFree=1471580/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=381596 CPUtime=222.22 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 111561 0 0 0 22159 63 0 0 25 0 1 0 21724648 390754304 92704 1992294400 134512640 134902295 4289589248 18446744073709551615 4160488059 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 95399 92704 269 96 0 94611 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 390296 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24956 /proc/meminfo: memFree=1471208/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=381860 CPUtime=282.2 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 111647 0 0 0 28157 63 0 0 25 0 1 0 21724648 391024640 92790 1992294400 134512640 134902295 4289589248 18446744073709551615 4160526042 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 95465 92790 269 96 0 94677 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 390560 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24956 /proc/meminfo: memFree=1470968/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=382256 CPUtime=342.17 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 111724 0 0 0 34154 63 0 0 25 0 1 0 21724648 391430144 92867 1992294400 134512640 134902295 4289589248 18446744073709551615 4160519420 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 95564 92867 269 96 0 94776 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 390956 [startup+402.302 s] /proc/loadavg: 1.04 1.01 0.99 2/108 24958 /proc/meminfo: memFree=1470596/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=382520 CPUtime=402.16 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 111819 0 0 0 40152 64 0 0 25 0 1 0 21724648 391700480 92962 1992294400 134512640 134902295 4289589248 18446744073709551615 4160507119 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 95630 92962 269 96 0 94842 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 391220 [startup+462.302 s] ################ # More data... # ################ /proc/24947/statm: 97502 94839 269 96 0 96714 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 398708 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24989 /proc/meminfo: memFree=1462040/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=390352 CPUtime=1181.9 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 113767 0 0 0 118124 66 0 0 25 0 1 0 21724648 399720448 94910 1992294400 134512640 134902295 4289589248 18446744073709551615 4160521157 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 97588 94910 269 96 0 96800 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 399052 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24989 /proc/meminfo: memFree=1461668/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=390748 CPUtime=1241.89 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 113843 0 0 0 124123 66 0 0 25 0 1 0 21724648 400125952 94986 1992294400 134512640 134902295 4289589248 18446744073709551615 4160526050 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 97687 94986 269 96 0 96899 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 399448 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24991 /proc/meminfo: memFree=1461296/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=391012 CPUtime=1301.88 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 113917 0 0 0 130121 67 0 0 25 0 1 0 21724648 400396288 95060 1992294400 134512640 134902295 4289589248 18446744073709551615 4160488229 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 97753 95060 269 96 0 96965 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 399712 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24993 /proc/meminfo: memFree=1460924/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=391276 CPUtime=1361.86 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 114001 0 0 0 136119 67 0 0 25 0 1 0 21724648 400666624 95144 1992294400 134512640 134902295 4289589248 18446744073709551615 4160518270 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 97819 95144 269 96 0 97031 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 399976 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24995 /proc/meminfo: memFree=1460428/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=391804 CPUtime=1421.85 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 114125 0 0 0 142118 67 0 0 25 0 1 0 21724648 401207296 95268 1992294400 134512640 134902295 4289589248 18446744073709551615 4160506713 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 97951 95268 269 96 0 97163 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 400504 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24997 /proc/meminfo: memFree=1459808/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=392332 CPUtime=1481.82 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 114278 0 0 0 148115 67 0 0 25 0 1 0 21724648 401747968 95421 1992294400 134512640 134902295 4289589248 18446744073709551615 4160519420 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 98083 95421 269 96 0 97295 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 401032 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24997 /proc/meminfo: memFree=1459064/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=392992 CPUtime=1541.8 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 114444 0 0 0 154113 67 0 0 25 0 1 0 21724648 402423808 95587 1992294400 134512640 134902295 4289589248 18446744073709551615 4160500512 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 98248 95587 269 96 0 97460 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 401692 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 24999 /proc/meminfo: memFree=1458568/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=393520 CPUtime=1601.78 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 114560 0 0 0 160111 67 0 0 25 0 1 0 21724648 402964480 95703 1992294400 134512640 134902295 4289589248 18446744073709551615 4160488104 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 98380 95703 269 96 0 97592 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 402220 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 25001 /proc/meminfo: memFree=1457824/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=394180 CPUtime=1661.77 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 114717 0 0 0 166109 68 0 0 25 0 1 0 21724648 403640320 95860 1992294400 134512640 134902295 4289589248 18446744073709551615 4160506783 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 98545 95860 269 96 0 97757 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 402880 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 25003 /proc/meminfo: memFree=1457328/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=394576 CPUtime=1721.75 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 114834 0 0 0 172107 68 0 0 25 0 1 0 21724648 404045824 95977 1992294400 134512640 134902295 4289589248 18446744073709551615 4160521428 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 98644 95977 269 96 0 97856 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 403276 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 25005 /proc/meminfo: memFree=1456832/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=394972 CPUtime=1781.72 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 114919 0 0 0 178104 68 0 0 25 0 1 0 21724648 404451328 96062 1992294400 134512640 134902295 4289589248 18446744073709551615 4160521105 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 98743 96062 269 96 0 97955 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 403672 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.99 2/108 25005 /proc/meminfo: memFree=1456708/2059040 swapFree=4140764/4192956 [pid=24945] ppid=24943 vsize=8700 CPUtime=0 /proc/24945/stat : 24945 (run) S 24943 24945 24456 0 -1 4202496 392 134 0 0 0 0 0 0 15 0 1 0 21724648 8908800 251 1992294400 4194304 4922060 140737468212048 18446744073709551615 262178184325 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24945/statm: 2175 251 211 178 0 68 0 [pid=24947] ppid=24945 vsize=395104 CPUtime=1800.03 /proc/24947/stat : 24947 (PBPASSolver) R 24945 24945 24456 0 -1 4202496 114954 0 0 0 179935 68 0 0 25 0 1 0 21724648 404586496 96097 1992294400 134512640 134902295 4289589248 18446744073709551615 4160519420 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24947/statm: 98776 96097 269 96 0 97988 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 403804 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 24945 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=999 # CPU time returned by wait4() is 0.002998 # while last known CPU time is 1800.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.62 CPU time (s): 1800.03 CPU user time (s): 1799.35 CPU system time (s): 0.68 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (KiB): 403804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001999 system time used= 0.000999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 526 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 2.94355 second user time and 8.5497 second system time The end
Begin job on node059 at 2010-06-17 21:52:20 IDJOB=2674845 IDBENCH=2936 IDSOLVER=1174 FILE ID=node059/2674845-1276804340 PBS_JOBID= 11176640 Free space on /tmp= 62552 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_7.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674845-1276804340/watcher-2674845-1276804340 -o /tmp/evaluation-result-2674845-1276804340/solver-2674845-1276804340 -C 1800 -W 2000 -M 1800 run HOME/instance-2674845-1276804340.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4bc9c47dc743f36fab4669cf3c8ccd21 RANDOM SEED=176015955 node059.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.244 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.48 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.244 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1843868 kB Buffers: 47292 kB Cached: 77496 kB SwapCached: 6492 kB Active: 55724 kB Inactive: 82744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1843868 kB SwapTotal: 4192956 kB SwapFree: 4140764 kB Dirty: 760 kB Writeback: 0 kB AnonPages: 11340 kB Mapped: 12928 kB Slab: 54788 kB PageTables: 3884 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181860 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62552 MiB End job on node059 at 2010-06-17 22:22:22