| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PBPASSolver 2010-06-13 | ? (MO) | 32.18 | 32.2163 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_13.opb |
| MD5SUM | e41be903cf92c8332743e4188dbf4c82 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 127 |
| Best CPU time to get the best result obtained on this benchmark | 1800.31 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 123 |
| Optimality of the best value was proved | NO |
| Number of variables | 2467 |
| Total number of constraints | 4745 |
| 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 | 4744 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 33 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 78 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 205 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 256 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 1391 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
9.48/9.56 c 2467 4745 0 0 0 0 0 0 9.48/9.56 c 128 ~x2476+64 ~x2475+32 ~x2474+16 ~x2473+8 ~x2472+4 ~x2471+2 ~x2470+1 ~x2469+169 ~x2467+128 ~x101+64 ~x100+32 ~x99+16 ~x98+8 ~x97+4 ~x96+2 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=509 9.59/9.69 c 256 ~x4472+128 ~x4471+64 ~x4470+32 ~x4469+16 ~x4468+8 ~x4467+4 ~x4466+2 ~x4465+1 ~x4464+169 x2467+128 x101+64 x100+32 x99+16 x98+8 x97+4 x96+2 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=767 9.59/9.69 c 256 ~x6699+128 ~x6698+64 ~x6697+32 ~x6696+16 ~x6695+8 ~x6694+4 ~x6693+2 ~x6692+1 ~x6691+169 ~x2466+128 ~x101+64 ~x100+32 ~x99+16 ~x98+8 ~x97+4 ~x96+2 ~x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=775 9.69/9.78 c 128 ~x8925+64 ~x8924+32 ~x8923+16 ~x8922+8 ~x8921+4 ~x8920+2 ~x8919+1 ~x8918+169 x2466+128 x101+64 x100+32 x99+16 x98+8 x97+4 x96+2 x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=501 9.79/9.86 c 128 ~x10920+64 ~x10919+32 ~x10918+16 ~x10917+8 ~x10916+4 ~x10915+2 ~x10914+1 ~x10913+169 ~x2465+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=508 9.89/9.93 c 256 ~x13462+128 ~x13461+64 ~x13460+32 ~x13459+16 ~x13458+8 ~x13457+4 ~x13456+2 ~x13455+1 ~x13454+169 x2465+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=768 9.98/10.05 c 128 ~x16276+64 ~x16275+32 ~x16274+16 ~x16273+8 ~x16272+4 ~x16271+2 ~x16270+1 ~x16269+169 ~x2464+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=508 10.09/10.15 c 256 ~x18818+128 ~x18817+64 ~x18816+32 ~x18815+16 ~x18814+8 ~x18813+4 ~x18812+2 ~x18811+1 ~x18810+169 x2464+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=768 10.18/10.22 c 128 ~x21632+64 ~x21631+32 ~x21630+16 ~x21629+8 ~x21628+4 ~x21627+2 ~x21626+1 ~x21625+169 ~x2463+128 ~x94+64 ~x93+32 ~x92+16 ~x91+8 ~x90+4 ~x89+2 ~x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=497 10.18/10.27 c 256 ~x23628+128 ~x23627+64 ~x23626+32 ~x23625+16 ~x23624+8 ~x23623+4 ~x23622+2 ~x23621+1 ~x23620+169 x2463+128 x94+64 x93+32 x92+16 x91+8 x90+4 x89+2 x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=779 10.28/10.32 c 128 ~x25854+64 ~x25853+32 ~x25852+16 ~x25851+8 ~x25850+4 ~x25849+2 ~x25848+1 ~x25847+169 ~x2462+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 ~x94+64 ~x93+32 ~x92+16 ~x91+8 ~x90+4 ~x89+2 ~x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81-0=509 10.28/10.37 c 256 ~x27850+128 ~x27849+64 ~x27848+32 ~x27847+16 ~x27846+8 ~x27845+4 ~x27844+2 ~x27843+1 ~x27842+169 x2462+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 x94+64 x93+32 x92+16 x91+8 x90+4 x89+2 x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81-0=767 10.38/10.43 c 256 ~x30077+128 ~x30076+64 ~x30075+32 ~x30074+16 ~x30073+8 ~x30072+4 ~x30071+2 ~x30070+1 ~x30069+169 ~x2461+128 ~x101+64 ~x100+32 ~x99+16 ~x98+8 ~x97+4 ~x96+2 ~x95+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=784 10.38/10.48 c 256 ~x32388+128 ~x32387+64 ~x32386+32 ~x32385+16 ~x32384+8 ~x32383+4 ~x32382+2 ~x32381+1 ~x32380+169 x2461+128 x101+64 x100+32 x99+16 x98+8 x97+4 x96+2 x95+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=876 10.48/10.54 c 256 ~x34699+128 ~x34698+64 ~x34697+32 ~x34696+16 ~x34695+8 ~x34694+4 ~x34693+2 ~x34692+1 ~x34691+169 ~x2460+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=773 10.58/10.61 c 256 ~x37598+128 ~x37597+64 ~x37596+32 ~x37595+16 ~x37594+8 ~x37593+4 ~x37592+2 ~x37591+1 ~x37590+169 x2460+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=887 10.58/10.68 c 128 ~x40496+64 ~x40495+32 ~x40494+16 ~x40493+8 ~x40492+4 ~x40491+2 ~x40490+1 ~x40489+169 ~x2459+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=507 10.68/10.74 c 256 ~x43116+128 ~x43115+64 ~x43114+32 ~x43113+16 ~x43112+8 ~x43111+4 ~x43110+2 ~x43109+1 ~x43108+169 x2459+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=897 10.79/10.81 c 256 ~x46015+128 ~x46014+64 ~x46013+32 ~x46012+16 ~x46011+8 ~x46010+4 ~x46009+2 ~x46008+1 ~x46007+169 ~x2458+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=773 10.79/10.88 c 256 ~x48914+128 ~x48913+64 ~x48912+32 ~x48911+16 ~x48910+8 ~x48909+4 ~x48908+2 ~x48907+1 ~x48906+169 x2458+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=887 10.89/10.96 c 128 ~x51812+64 ~x51811+32 ~x51810+16 ~x51809+8 ~x51808+4 ~x51807+2 ~x51806+1 ~x51805+169 ~x2457+128 ~x94+64 ~x93+32 ~x92+16 ~x91+8 ~x90+4 ~x89+2 ~x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=506 10.99/11.01 c 256 ~x53886+128 ~x53885+64 ~x53884+32 ~x53883+16 ~x53882+8 ~x53881+4 ~x53880+2 ~x53879+1 ~x53878+169 x2457+128 x94+64 x93+32 x92+16 x91+8 x90+4 x89+2 x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=898 10.99/11.07 c 256 ~x56197+128 ~x56196+64 ~x56195+32 ~x56194+16 ~x56193+8 ~x56192+4 ~x56191+2 ~x56190+1 ~x56189+169 ~x2456+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 ~x94+64 ~x93+32 ~x92+16 ~x91+8 ~x90+4 ~x89+2 ~x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73-0=774 11.08/11.13 c 256 ~x58508+128 ~x58507+64 ~x58506+32 ~x58505+16 ~x58504+8 ~x58503+4 ~x58502+2 ~x58501+1 ~x58500+169 x2456+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 x94+64 x93+32 x92+16 x91+8 x90+4 x89+2 x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73-0=886 11.08/11.18 c 128 ~x60818+64 ~x60817+32 ~x60816+16 ~x60815+8 ~x60814+4 ~x60813+2 ~x60812+1 ~x60811+169 ~x2455+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=496 11.18/11.25 c 256 ~x63438+128 ~x63437+64 ~x63436+32 ~x63435+16 ~x63434+8 ~x63433+4 ~x63432+2 ~x63431+1 ~x63430+169 x2455+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=908 11.28/11.32 c 128 ~x66336+64 ~x66335+32 ~x66334+16 ~x66333+8 ~x66332+4 ~x66331+2 ~x66330+1 ~x66329+169 ~x2454+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73-0=508 11.28/11.38 c 256 ~x68956+128 ~x68955+64 ~x68954+32 ~x68953+16 ~x68952+8 ~x68951+4 ~x68950+2 ~x68949+1 ~x68948+169 x2454+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73-0=896 11.38/11.45 c 128 ~x71854+64 ~x71853+32 ~x71852+16 ~x71851+8 ~x71850+4 ~x71849+2 ~x71848+1 ~x71847+169 ~x2453+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=507 11.49/11.52 c 256 ~x74474+128 ~x74473+64 ~x74472+32 ~x74471+16 ~x74470+8 ~x74469+4 ~x74468+2 ~x74467+1 ~x74466+169 x2453+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=897 11.49/11.59 c 128 ~x77372+64 ~x77371+32 ~x77370+16 ~x77369+8 ~x77368+4 ~x77367+2 ~x77366+1 ~x77365+169 ~x2452+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=496 11.59/11.65 c 256 ~x79992+128 ~x79991+64 ~x79990+32 ~x79989+16 ~x79988+8 ~x79987+4 ~x79986+2 ~x79985+1 ~x79984+169 x2452+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=908 11.69/11.72 c 128 ~x82890+64 ~x82889+32 ~x82888+16 ~x82887+8 ~x82886+4 ~x82885+2 ~x82884+1 ~x82883+169 ~x2451+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73-0=508 11.69/11.78 c 256 ~x85510+128 ~x85509+64 ~x85508+32 ~x85507+16 ~x85506+8 ~x85505+4 ~x85504+2 ~x85503+1 ~x85502+169 x2451+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73-0=896 11.78/11.85 c 128 ~x88408+64 ~x88407+32 ~x88406+16 ~x88405+8 ~x88404+4 ~x88403+2 ~x88402+1 ~x88401+169 ~x2450+128 ~x87+64 ~x86+32 ~x85+16 ~x84+8 ~x83+4 ~x82+2 ~x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=486 11.88/11.91 c 256 ~x90482+128 ~x90481+64 ~x90480+32 ~x90479+16 ~x90478+8 ~x90477+4 ~x90476+2 ~x90475+1 ~x90474+169 x2450+128 x87+64 x86+32 x85+16 x84+8 x83+4 x82+2 x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=918 11.88/11.96 c 128 ~x92792+64 ~x92791+32 ~x92790+16 ~x92789+8 ~x92788+4 ~x92787+2 ~x92786+1 ~x92785+169 ~x2449+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 ~x87+64 ~x86+32 ~x85+16 ~x84+8 ~x83+4 ~x82+2 ~x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73-0=498 11.99/12.01 c 256 ~x94866+128 ~x94865+64 ~x94864+32 ~x94863+16 ~x94862+8 ~x94861+4 ~x94860+2 ~x94859+1 ~x94858+169 x2449+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 x87+64 x86+32 x85+16 x84+8 x83+4 x82+2 x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73-0=906 11.99/12.07 c 128 ~x97176+64 ~x97175+32 ~x97174+16 ~x97173+8 ~x97172+4 ~x97171+2 ~x97170+1 ~x97169+169 ~x2448+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 ~x87+64 ~x86+32 ~x85+16 ~x84+8 ~x83+4 ~x82+2 ~x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73-0=509 12.09/12.12 c 256 ~x99250+128 ~x99249+64 ~x99248+32 ~x99247+16 ~x99246+8 ~x99245+4 ~x99244+2 ~x99243+1 ~x99242+169 x2448+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 x87+64 x86+32 x85+16 x84+8 x83+4 x82+2 x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73-0=895 12.09/12.17 c 256 ~x101561+128 ~x101560+64 ~x101559+32 ~x101558+16 ~x101557+8 ~x101556+4 ~x101555+2 ~x101554+1 ~x101553+169 ~x2447+128 ~x101+64 ~x100+32 ~x99+16 ~x98+8 ~x97+4 ~x96+2 ~x95+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=792 12.19/12.23 c 256 ~x103872+128 ~x103871+64 ~x103870+32 ~x103869+16 ~x103868+8 ~x103867+4 ~x103866+2 ~x103865+1 ~x103864+169 x2447+128 x101+64 x100+32 x99+16 x98+8 x97+4 x96+2 x95+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=868 12.19/12.29 c 256 ~x106183+128 ~x106182+64 ~x106181+32 ~x106180+16 ~x106179+8 ~x106178+4 ~x106177+2 ~x106176+1 ~x106175+169 ~x2446+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=781 12.28/12.36 c 256 ~x109082+128 ~x109081+64 ~x109080+32 ~x109079+16 ~x109078+8 ~x109077+4 ~x109076+2 ~x109075+1 ~x109074+169 x2446+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=879 12.38/12.43 c 256 ~x111981+128 ~x111980+64 ~x111979+32 ~x111978+16 ~x111977+8 ~x111976+4 ~x111975+2 ~x111974+1 ~x111973+169 ~x2445+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=771 12.48/12.50 c 256 ~x114880+128 ~x114879+64 ~x114878+32 ~x114877+16 ~x114876+8 ~x114875+4 ~x114874+2 ~x114873+1 ~x114872+169 x2445+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=889 12.48/12.57 c 256 ~x117779+128 ~x117778+64 ~x117777+32 ~x117776+16 ~x117775+8 ~x117774+4 ~x117773+2 ~x117772+1 ~x117771+169 ~x2444+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=890 12.58/12.64 c 256 ~x120762+128 ~x120761+64 ~x120760+32 ~x120759+16 ~x120758+8 ~x120757+4 ~x120756+2 ~x120755+1 ~x120754+169 x2444+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=898 12.68/12.71 c 256 ~x123745+128 ~x123744+64 ~x123743+32 ~x123742+16 ~x123741+8 ~x123740+4 ~x123739+2 ~x123738+1 ~x123737+169 ~x2443+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=781 12.68/12.78 c 256 ~x126644+128 ~x126643+64 ~x126642+32 ~x126641+16 ~x126640+8 ~x126639+4 ~x126638+2 ~x126637+1 ~x126636+169 x2443+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=879 12.78/12.85 c 256 ~x129543+128 ~x129542+64 ~x129541+32 ~x129540+16 ~x129539+8 ~x129538+4 ~x129537+2 ~x129536+1 ~x129535+169 ~x2442+128 ~x94+64 ~x93+32 ~x92+16 ~x91+8 ~x90+4 ~x89+2 ~x88+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=770 12.88/12.91 c 256 ~x131854+128 ~x131853+64 ~x131852+32 ~x131851+16 ~x131850+8 ~x131849+4 ~x131848+2 ~x131847+1 ~x131846+169 x2442+128 x94+64 x93+32 x92+16 x91+8 x90+4 x89+2 x88+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=890 12.88/12.96 c 256 ~x134165+128 ~x134164+64 ~x134163+32 ~x134162+16 ~x134161+8 ~x134160+4 ~x134159+2 ~x134158+1 ~x134157+169 ~x2441+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 ~x94+64 ~x93+32 ~x92+16 ~x91+8 ~x90+4 ~x89+2 ~x88+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65-0=782 12.99/13.02 c 256 ~x136476+128 ~x136475+64 ~x136474+32 ~x136473+16 ~x136472+8 ~x136471+4 ~x136470+2 ~x136469+1 ~x136468+169 x2441+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 x94+64 x93+32 x92+16 x91+8 x90+4 x89+2 x88+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65-0=878 12.99/13.08 c 128 ~x138786+64 ~x138785+32 ~x138784+16 ~x138783+8 ~x138782+4 ~x138781+2 ~x138780+1 ~x138779+169 ~x2440+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=504 13.09/13.14 c 256 ~x141406+128 ~x141405+64 ~x141404+32 ~x141403+16 ~x141402+8 ~x141401+4 ~x141400+2 ~x141399+1 ~x141398+169 x2440+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=900 13.19/13.21 c 256 ~x144305+128 ~x144304+64 ~x144303+32 ~x144302+16 ~x144301+8 ~x144300+4 ~x144299+2 ~x144298+1 ~x144297+169 ~x2439+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65-0=772 13.19/13.28 c 256 ~x147204+128 ~x147203+64 ~x147202+32 ~x147201+16 ~x147200+8 ~x147199+4 ~x147198+2 ~x147197+1 ~x147196+169 x2439+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65-0=888 13.28/13.35 c 256 ~x150103+128 ~x150102+64 ~x150101+32 ~x150100+16 ~x150099+8 ~x150098+4 ~x150097+2 ~x150096+1 ~x150095+169 ~x2438+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=879 13.38/13.42 c 256 ~x153086+128 ~x153085+64 ~x153084+32 ~x153083+16 ~x153082+8 ~x153081+4 ~x153080+2 ~x153079+1 ~x153078+169 x2438+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=909 13.38/13.49 c 256 ~x156069+128 ~x156068+64 ~x156067+32 ~x156066+16 ~x156065+8 ~x156064+4 ~x156063+2 ~x156062+1 ~x156061+169 ~x2437+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65-0=891 13.48/13.56 c 256 ~x159052+128 ~x159051+64 ~x159050+32 ~x159049+16 ~x159048+8 ~x159047+4 ~x159046+2 ~x159045+1 ~x159044+169 x2437+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65-0=897 13.59/13.64 c 256 ~x162035+128 ~x162034+64 ~x162033+32 ~x162032+16 ~x162031+8 ~x162030+4 ~x162029+2 ~x162028+1 ~x162027+169 ~x2436+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=771 13.68/13.71 c 256 ~x164934+128 ~x164933+64 ~x164932+32 ~x164931+16 ~x164930+8 ~x164929+4 ~x164928+2 ~x164927+1 ~x164926+169 x2436+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=889 13.68/13.78 c 128 ~x167832+64 ~x167831+32 ~x167830+16 ~x167829+8 ~x167828+4 ~x167827+2 ~x167826+1 ~x167825+169 ~x2435+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=504 13.78/13.84 c 256 ~x170452+128 ~x170451+64 ~x170450+32 ~x170449+16 ~x170448+8 ~x170447+4 ~x170446+2 ~x170445+1 ~x170444+169 x2435+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=900 13.88/13.91 c 256 ~x173351+128 ~x173350+64 ~x173349+32 ~x173348+16 ~x173347+8 ~x173346+4 ~x173345+2 ~x173344+1 ~x173343+169 ~x2434+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65-0=772 13.88/13.98 c 256 ~x176250+128 ~x176249+64 ~x176248+32 ~x176247+16 ~x176246+8 ~x176245+4 ~x176244+2 ~x176243+1 ~x176242+169 x2434+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65-0=888 13.99/14.05 c 128 ~x179148+64 ~x179147+32 ~x179146+16 ~x179145+8 ~x179144+4 ~x179143+2 ~x179142+1 ~x179141+169 ~x2433+128 ~x87+64 ~x86+32 ~x85+16 ~x84+8 ~x83+4 ~x82+2 ~x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=494 14.08/14.10 c 256 ~x181222+128 ~x181221+64 ~x181220+32 ~x181219+16 ~x181218+8 ~x181217+4 ~x181216+2 ~x181215+1 ~x181214+169 x2433+128 x87+64 x86+32 x85+16 x84+8 x83+4 x82+2 x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=910 14.08/14.16 c 128 ~x183532+64 ~x183531+32 ~x183530+16 ~x183529+8 ~x183528+4 ~x183527+2 ~x183526+1 ~x183525+169 ~x2432+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 ~x87+64 ~x86+32 ~x85+16 ~x84+8 ~x83+4 ~x82+2 ~x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65-0=506 14.19/14.21 c 256 ~x185606+128 ~x185605+64 ~x185604+32 ~x185603+16 ~x185602+8 ~x185601+4 ~x185600+2 ~x185599+1 ~x185598+169 x2432+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 x87+64 x86+32 x85+16 x84+8 x83+4 x82+2 x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65-0=898 14.19/14.27 c 256 ~x187917+128 ~x187916+64 ~x187915+32 ~x187914+16 ~x187913+8 ~x187912+4 ~x187911+2 ~x187910+1 ~x187909+169 ~x2431+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 ~x87+64 ~x86+32 ~x85+16 ~x84+8 ~x83+4 ~x82+2 ~x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65-0=773 14.29/14.32 c 256 ~x190228+128 ~x190227+64 ~x190226+32 ~x190225+16 ~x190224+8 ~x190223+4 ~x190222+2 ~x190221+1 ~x190220+169 x2431+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 x87+64 x86+32 x85+16 x84+8 x83+4 x82+2 x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65-0=887 14.29/14.38 c 256 ~x192539+128 ~x192538+64 ~x192537+32 ~x192536+16 ~x192535+8 ~x192534+4 ~x192533+2 ~x192532+1 ~x192531+169 ~x2430+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=869 14.39/14.45 c 256 ~x195522+128 ~x195521+64 ~x195520+32 ~x195519+16 ~x195518+8 ~x195517+4 ~x195516+2 ~x195515+1 ~x195514+169 x2430+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=919 14.48/14.52 c 256 ~x198505+128 ~x198504+64 ~x198503+32 ~x198502+16 ~x198501+8 ~x198500+4 ~x198499+2 ~x198498+1 ~x198497+169 ~x2429+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65-0=881 14.48/14.59 c 256 ~x201488+128 ~x201487+64 ~x201486+32 ~x201485+16 ~x201484+8 ~x201483+4 ~x201482+2 ~x201481+1 ~x201480+169 x2429+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65-0=907 14.58/14.66 c 256 ~x204471+128 ~x204470+64 ~x204469+32 ~x204468+16 ~x204467+8 ~x204466+4 ~x204465+2 ~x204464+1 ~x204463+169 ~x2428+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65-0=892 14.68/14.74 c 256 ~x207454+128 ~x207453+64 ~x207452+32 ~x207451+16 ~x207450+8 ~x207449+4 ~x207448+2 ~x207447+1 ~x207446+169 x2428+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65-0=896 14.78/14.81 c 256 ~x210437+128 ~x210436+64 ~x210435+32 ~x210434+16 ~x210433+8 ~x210432+4 ~x210431+2 ~x210430+1 ~x210429+169 ~x2427+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=890 14.78/14.88 c 256 ~x213420+128 ~x213419+64 ~x213418+32 ~x213417+16 ~x213416+8 ~x213415+4 ~x213414+2 ~x213413+1 ~x213412+169 x2427+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=898 14.88/14.95 c 256 ~x216403+128 ~x216402+64 ~x216401+32 ~x216400+16 ~x216399+8 ~x216398+4 ~x216397+2 ~x216396+1 ~x216395+169 ~x2426+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=879 14.98/15.03 c 256 ~x219386+128 ~x219385+64 ~x219384+32 ~x219383+16 ~x219382+8 ~x219381+4 ~x219380+2 ~x219379+1 ~x219378+169 x2426+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=909 15.08/15.10 c 256 ~x222369+128 ~x222368+64 ~x222367+32 ~x222366+16 ~x222365+8 ~x222364+4 ~x222363+2 ~x222362+1 ~x222361+169 ~x2425+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65-0=891 15.08/15.17 c 256 ~x225352+128 ~x225351+64 ~x225350+32 ~x225349+16 ~x225348+8 ~x225347+4 ~x225346+2 ~x225345+1 ~x225344+169 x2425+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65-0=897 15.19/15.24 c 256 ~x228335+128 ~x228334+64 ~x228333+32 ~x228332+16 ~x228331+8 ~x228330+4 ~x228329+2 ~x228328+1 ~x228327+169 ~x2424+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=869 15.29/15.31 c 256 ~x231318+128 ~x231317+64 ~x231316+32 ~x231315+16 ~x231314+8 ~x231313+4 ~x231312+2 ~x231311+1 ~x231310+169 x2424+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=919 15.29/15.38 c 256 ~x234301+128 ~x234300+64 ~x234299+32 ~x234298+16 ~x234297+8 ~x234296+4 ~x234295+2 ~x234294+1 ~x234293+169 ~x2423+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65-0=881 15.39/15.45 c 256 ~x237284+128 ~x237283+64 ~x237282+32 ~x237281+16 ~x237280+8 ~x237279+4 ~x237278+2 ~x237277+1 ~x237276+169 x2423+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65-0=907 15.48/15.53 c 256 ~x240267+128 ~x240266+64 ~x240265+32 ~x240264+16 ~x240263+8 ~x240262+4 ~x240261+2 ~x240260+1 ~x240259+169 ~x2422+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65-0=892 15.59/15.60 c 256 ~x243250+128 ~x243249+64 ~x243248+32 ~x243247+16 ~x243246+8 ~x243245+4 ~x243244+2 ~x243243+1 ~x243242+169 x2422+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65-0=896 15.59/15.67 c 256 ~x246233+128 ~x246232+64 ~x246231+32 ~x246230+16 ~x246229+8 ~x246228+4 ~x246227+2 ~x246226+1 ~x246225+169 ~x2421+256 ~x80+128 ~x79+64 ~x78+32 ~x77+16 ~x76+8 ~x75+4 ~x74+2 ~x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=988 15.68/15.73 c 256 ~x248628+128 ~x248627+64 ~x248626+32 ~x248625+16 ~x248624+8 ~x248623+4 ~x248622+2 ~x248621+1 ~x248620+169 x2421+256 x80+128 x79+64 x78+32 x77+16 x76+8 x75+4 x74+2 x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=928 15.68/15.78 c 256 ~x251023+128 ~x251022+64 ~x251021+32 ~x251020+16 ~x251019+8 ~x251018+4 ~x251017+2 ~x251016+1 ~x251015+169 ~x2420+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+256 ~x80+128 ~x79+64 ~x78+32 ~x77+16 ~x76+8 ~x75+4 ~x74+2 ~x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65-0=1000 15.78/15.84 c 256 ~x253418+128 ~x253417+64 ~x253416+32 ~x253415+16 ~x253414+8 ~x253413+4 ~x253412+2 ~x253411+1 ~x253410+169 x2420+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+256 x80+128 x79+64 x78+32 x77+16 x76+8 x75+4 x74+2 x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65-0=916 15.88/15.90 c 256 ~x255813+128 ~x255812+64 ~x255811+32 ~x255810+16 ~x255809+8 ~x255808+4 ~x255807+2 ~x255806+1 ~x255805+169 ~x2419+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+256 ~x80+128 ~x79+64 ~x78+32 ~x77+16 ~x76+8 ~x75+4 ~x74+2 ~x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65-0=1011 15.88/15.96 c 256 ~x258208+128 ~x258207+64 ~x258206+32 ~x258205+16 ~x258204+8 ~x258203+4 ~x258202+2 ~x258201+1 ~x258200+169 x2419+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+256 x80+128 x79+64 x78+32 x77+16 x76+8 x75+4 x74+2 x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65-0=905 15.98/16.02 c 256 ~x260603+128 ~x260602+64 ~x260601+32 ~x260600+16 ~x260599+8 ~x260598+4 ~x260597+2 ~x260596+1 ~x260595+169 ~x2418+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+256 ~x80+128 ~x79+64 ~x78+32 ~x77+16 ~x76+8 ~x75+4 ~x74+2 ~x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65-0=1021 15.98/16.07 c 256 ~x262998+128 ~x262997+64 ~x262996+32 ~x262995+16 ~x262994+8 ~x262993+4 ~x262992+2 ~x262991+1 ~x262990+169 x2418+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+256 x80+128 x79+64 x78+32 x77+16 x76+8 x75+4 x74+2 x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65-0=895 16.09/16.14 c 256 ~x265393+128 ~x265392+64 ~x265391+32 ~x265390+16 ~x265389+8 ~x265388+4 ~x265387+2 ~x265386+1 ~x265385+169 ~x2417+128 ~x101+64 ~x100+32 ~x99+16 ~x98+8 ~x97+4 ~x96+2 ~x95+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=799 16.09/16.19 c 256 ~x267704+128 ~x267703+64 ~x267702+32 ~x267701+16 ~x267700+8 ~x267699+4 ~x267698+2 ~x267697+1 ~x267696+169 x2417+128 x101+64 x100+32 x99+16 x98+8 x97+4 x96+2 x95+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=861 16.19/16.25 c 256 ~x270015+128 ~x270014+64 ~x270013+32 ~x270012+16 ~x270011+8 ~x270010+4 ~x270009+2 ~x270008+1 ~x270007+169 ~x2416+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=788 16.28/16.32 c 256 ~x272914+128 ~x272913+64 ~x272912+32 ~x272911+16 ~x272910+8 ~x272909+4 ~x272908+2 ~x272907+1 ~x272906+169 x2416+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=872 16.28/16.39 c 256 ~x275813+128 ~x275812+64 ~x275811+32 ~x275810+16 ~x275809+8 ~x275808+4 ~x275807+2 ~x275806+1 ~x275805+169 ~x2415+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=778 16.39/16.46 c 256 ~x278712+128 ~x278711+64 ~x278710+32 ~x278709+16 ~x278708+8 ~x278707+4 ~x278706+2 ~x278705+1 ~x278704+169 x2415+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=882 16.49/16.53 c 256 ~x281611+128 ~x281610+64 ~x281609+32 ~x281608+16 ~x281607+8 ~x281606+4 ~x281605+2 ~x281604+1 ~x281603+169 ~x2414+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=897 16.59/16.60 c 256 ~x284594+128 ~x284593+64 ~x284592+32 ~x284591+16 ~x284590+8 ~x284589+4 ~x284588+2 ~x284587+1 ~x284586+169 x2414+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=891 16.59/16.67 c 256 ~x287577+128 ~x287576+64 ~x287575+32 ~x287574+16 ~x287573+8 ~x287572+4 ~x287571+2 ~x287570+1 ~x287569+169 ~x2413+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=889 16.69/16.74 c 256 ~x290560+128 ~x290559+64 ~x290558+32 ~x290557+16 ~x290556+8 ~x290555+4 ~x290554+2 ~x290553+1 ~x290552+169 x2413+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=899 16.78/16.81 c 256 ~x293543+128 ~x293542+64 ~x293541+32 ~x293540+16 ~x293539+8 ~x293538+4 ~x293537+2 ~x293536+1 ~x293535+169 ~x2412+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=788 16.78/16.88 c 256 ~x296442+128 ~x296441+64 ~x296440+32 ~x296439+16 ~x296438+8 ~x296437+4 ~x296436+2 ~x296435+1 ~x296434+169 x2412+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=872 16.88/16.95 c 256 ~x299341+128 ~x299340+64 ~x299339+32 ~x299338+16 ~x299337+8 ~x299336+4 ~x299335+2 ~x299334+1 ~x299333+169 ~x2411+128 ~x94+64 ~x93+32 ~x92+16 ~x91+8 ~x90+4 ~x89+2 ~x88+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=777 16.98/17.01 c 256 ~x301652+128 ~x301651+64 ~x301650+32 ~x301649+16 ~x301648+8 ~x301647+4 ~x301646+2 ~x301645+1 ~x301644+169 x2411+128 x94+64 x93+32 x92+16 x91+8 x90+4 x89+2 x88+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=883 16.98/17.06 c 256 ~x303963+128 ~x303962+64 ~x303961+32 ~x303960+16 ~x303959+8 ~x303958+4 ~x303957+2 ~x303956+1 ~x303955+169 ~x2410+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 ~x94+64 ~x93+32 ~x92+16 ~x91+8 ~x90+4 ~x89+2 ~x88+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=789 17.08/17.12 c 256 ~x306274+128 ~x306273+64 ~x306272+32 ~x306271+16 ~x306270+8 ~x306269+4 ~x306268+2 ~x306267+1 ~x306266+169 x2410+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 x94+64 x93+32 x92+16 x91+8 x90+4 x89+2 x88+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=871 17.08/17.18 c 256 ~x308585+128 ~x308584+64 ~x308583+32 ~x308582+16 ~x308581+8 ~x308580+4 ~x308579+2 ~x308578+1 ~x308577+169 ~x2409+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=767 17.19/17.25 c 256 ~x311484+128 ~x311483+64 ~x311482+32 ~x311481+16 ~x311480+8 ~x311479+4 ~x311478+2 ~x311477+1 ~x311476+169 x2409+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=893 17.28/17.32 c 256 ~x314383+128 ~x314382+64 ~x314381+32 ~x314380+16 ~x314379+8 ~x314378+4 ~x314377+2 ~x314376+1 ~x314375+169 ~x2408+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=779 17.28/17.39 c 256 ~x317282+128 ~x317281+64 ~x317280+32 ~x317279+16 ~x317278+8 ~x317277+4 ~x317276+2 ~x317275+1 ~x317274+169 x2408+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=881 17.38/17.46 c 256 ~x320181+128 ~x320180+64 ~x320179+32 ~x320178+16 ~x320177+8 ~x320176+4 ~x320175+2 ~x320174+1 ~x320173+169 ~x2407+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=886 17.48/17.53 c 256 ~x323164+128 ~x323163+64 ~x323162+32 ~x323161+16 ~x323160+8 ~x323159+4 ~x323158+2 ~x323157+1 ~x323156+169 x2407+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=902 17.48/17.60 c 256 ~x326147+128 ~x326146+64 ~x326145+32 ~x326144+16 ~x326143+8 ~x326142+4 ~x326141+2 ~x326140+1 ~x326139+169 ~x2406+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=898 17.59/17.68 c 256 ~x329130+128 ~x329129+64 ~x329128+32 ~x329127+16 ~x329126+8 ~x329125+4 ~x329124+2 ~x329123+1 ~x329122+169 x2406+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=890 17.68/17.75 c 256 ~x332113+128 ~x332112+64 ~x332111+32 ~x332110+16 ~x332109+8 ~x332108+4 ~x332107+2 ~x332106+1 ~x332105+169 ~x2405+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=878 17.78/17.82 c 256 ~x335096+128 ~x335095+64 ~x335094+32 ~x335093+16 ~x335092+8 ~x335091+4 ~x335090+2 ~x335089+1 ~x335088+169 x2405+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=910 17.78/17.89 c 256 ~x338079+128 ~x338078+64 ~x338077+32 ~x338076+16 ~x338075+8 ~x338074+4 ~x338073+2 ~x338072+1 ~x338071+169 ~x2404+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=890 17.88/17.96 c 256 ~x341062+128 ~x341061+64 ~x341060+32 ~x341059+16 ~x341058+8 ~x341057+4 ~x341056+2 ~x341055+1 ~x341054+169 x2404+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=898 17.98/18.03 c 256 ~x344045+128 ~x344044+64 ~x344043+32 ~x344042+16 ~x344041+8 ~x344040+4 ~x344039+2 ~x344038+1 ~x344037+169 ~x2403+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=778 18.08/18.10 c 256 ~x346944+128 ~x346943+64 ~x346942+32 ~x346941+16 ~x346940+8 ~x346939+4 ~x346938+2 ~x346937+1 ~x346936+169 x2403+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=882 18.08/18.17 c 256 ~x349843+128 ~x349842+64 ~x349841+32 ~x349840+16 ~x349839+8 ~x349838+4 ~x349837+2 ~x349836+1 ~x349835+169 ~x2402+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=767 18.18/18.24 c 256 ~x352742+128 ~x352741+64 ~x352740+32 ~x352739+16 ~x352738+8 ~x352737+4 ~x352736+2 ~x352735+1 ~x352734+169 x2402+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=893 18.28/18.31 c 256 ~x355641+128 ~x355640+64 ~x355639+32 ~x355638+16 ~x355637+8 ~x355636+4 ~x355635+2 ~x355634+1 ~x355633+169 ~x2401+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=779 18.28/18.38 c 256 ~x358540+128 ~x358539+64 ~x358538+32 ~x358537+16 ~x358536+8 ~x358535+4 ~x358534+2 ~x358533+1 ~x358532+169 x2401+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=881 18.38/18.45 c 128 ~x361438+64 ~x361437+32 ~x361436+16 ~x361435+8 ~x361434+4 ~x361433+2 ~x361432+1 ~x361431+169 ~x2400+128 ~x87+64 ~x86+32 ~x85+16 ~x84+8 ~x83+4 ~x82+2 ~x81+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=501 18.48/18.50 c 256 ~x363512+128 ~x363511+64 ~x363510+32 ~x363509+16 ~x363508+8 ~x363507+4 ~x363506+2 ~x363505+1 ~x363504+169 x2400+128 x87+64 x86+32 x85+16 x84+8 x83+4 x82+2 x81+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=903 18.48/18.56 c 256 ~x365823+128 ~x365822+64 ~x365821+32 ~x365820+16 ~x365819+8 ~x365818+4 ~x365817+2 ~x365816+1 ~x365815+169 ~x2399+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 ~x87+64 ~x86+32 ~x85+16 ~x84+8 ~x83+4 ~x82+2 ~x81+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=769 18.59/18.62 c 256 ~x368134+128 ~x368133+64 ~x368132+32 ~x368131+16 ~x368130+8 ~x368129+4 ~x368128+2 ~x368127+1 ~x368126+169 x2399+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 x87+64 x86+32 x85+16 x84+8 x83+4 x82+2 x81+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=891 18.59/18.67 c 256 ~x370445+128 ~x370444+64 ~x370443+32 ~x370442+16 ~x370441+8 ~x370440+4 ~x370439+2 ~x370438+1 ~x370437+169 ~x2398+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 ~x87+64 ~x86+32 ~x85+16 ~x84+8 ~x83+4 ~x82+2 ~x81+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=780 18.69/18.73 c 256 ~x372756+128 ~x372755+64 ~x372754+32 ~x372753+16 ~x372752+8 ~x372751+4 ~x372750+2 ~x372749+1 ~x372748+169 x2398+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 x87+64 x86+32 x85+16 x84+8 x83+4 x82+2 x81+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=880 18.69/18.78 c 256 ~x375067+128 ~x375066+64 ~x375065+32 ~x375064+16 ~x375063+8 ~x375062+4 ~x375061+2 ~x375060+1 ~x375059+169 ~x2397+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=876 18.78/18.85 c 256 ~x378050+128 ~x378049+64 ~x378048+32 ~x378047+16 ~x378046+8 ~x378045+4 ~x378044+2 ~x378043+1 ~x378042+169 x2397+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=912 18.88/18.93 c 256 ~x381033+128 ~x381032+64 ~x381031+32 ~x381030+16 ~x381029+8 ~x381028+4 ~x381027+2 ~x381026+1 ~x381025+169 ~x2396+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=888 18.98/19.00 c 256 ~x384016+128 ~x384015+64 ~x384014+32 ~x384013+16 ~x384012+8 ~x384011+4 ~x384010+2 ~x384009+1 ~x384008+169 x2396+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=900 18.98/19.07 c 256 ~x386999+128 ~x386998+64 ~x386997+32 ~x386996+16 ~x386995+8 ~x386994+4 ~x386993+2 ~x386992+1 ~x386991+169 ~x2395+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=899 19.09/19.14 c 256 ~x389982+128 ~x389981+64 ~x389980+32 ~x389979+16 ~x389978+8 ~x389977+4 ~x389976+2 ~x389975+1 ~x389974+169 x2395+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=889 19.18/19.21 c 256 ~x392965+128 ~x392964+64 ~x392963+32 ~x392962+16 ~x392961+8 ~x392960+4 ~x392959+2 ~x392958+1 ~x392957+169 ~x2394+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=868 19.18/19.28 c 256 ~x395948+128 ~x395947+64 ~x395946+32 ~x395945+16 ~x395944+8 ~x395943+4 ~x395942+2 ~x395941+1 ~x395940+169 x2394+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=920 19.28/19.35 c 256 ~x398931+128 ~x398930+64 ~x398929+32 ~x398928+16 ~x398927+8 ~x398926+4 ~x398925+2 ~x398924+1 ~x398923+169 ~x2393+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=880 19.38/19.43 c 256 ~x401914+128 ~x401913+64 ~x401912+32 ~x401911+16 ~x401910+8 ~x401909+4 ~x401908+2 ~x401907+1 ~x401906+169 x2393+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=908 19.48/19.50 c 256 ~x404897+128 ~x404896+64 ~x404895+32 ~x404894+16 ~x404893+8 ~x404892+4 ~x404891+2 ~x404890+1 ~x404889+169 ~x2392+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=891 19.48/19.57 c 256 ~x407880+128 ~x407879+64 ~x407878+32 ~x407877+16 ~x407876+8 ~x407875+4 ~x407874+2 ~x407873+1 ~x407872+169 x2392+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=897 19.58/19.65 c 256 ~x410863+128 ~x410862+64 ~x410861+32 ~x410860+16 ~x410859+8 ~x410858+4 ~x410857+2 ~x410856+1 ~x410855+169 ~x2391+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=897 19.69/19.72 c 256 ~x413846+128 ~x413845+64 ~x413844+32 ~x413843+16 ~x413842+8 ~x413841+4 ~x413840+2 ~x413839+1 ~x413838+169 x2391+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=891 19.69/19.79 c 256 ~x416829+128 ~x416828+64 ~x416827+32 ~x416826+16 ~x416825+8 ~x416824+4 ~x416823+2 ~x416822+1 ~x416821+169 ~x2390+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=886 19.79/19.86 c 256 ~x419812+128 ~x419811+64 ~x419810+32 ~x419809+16 ~x419808+8 ~x419807+4 ~x419806+2 ~x419805+1 ~x419804+169 x2390+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=902 19.88/19.93 c 256 ~x422795+128 ~x422794+64 ~x422793+32 ~x422792+16 ~x422791+8 ~x422790+4 ~x422789+2 ~x422788+1 ~x422787+169 ~x2389+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=898 19.98/20.00 c 256 ~x425778+128 ~x425777+64 ~x425776+32 ~x425775+16 ~x425774+8 ~x425773+4 ~x425772+2 ~x425771+1 ~x425770+169 x2389+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=890 19.98/20.08 c 256 ~x428761+128 ~x428760+64 ~x428759+32 ~x428758+16 ~x428757+8 ~x428756+4 ~x428755+2 ~x428754+1 ~x428753+169 ~x2388+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=876 20.08/20.15 c 256 ~x431744+128 ~x431743+64 ~x431742+32 ~x431741+16 ~x431740+8 ~x431739+4 ~x431738+2 ~x431737+1 ~x431736+169 x2388+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=912 20.18/20.22 c 256 ~x434727+128 ~x434726+64 ~x434725+32 ~x434724+16 ~x434723+8 ~x434722+4 ~x434721+2 ~x434720+1 ~x434719+169 ~x2387+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=888 20.18/20.29 c 256 ~x437710+128 ~x437709+64 ~x437708+32 ~x437707+16 ~x437706+8 ~x437705+4 ~x437704+2 ~x437703+1 ~x437702+169 x2387+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=900 20.29/20.36 c 256 ~x440693+128 ~x440692+64 ~x440691+32 ~x440690+16 ~x440689+8 ~x440688+4 ~x440687+2 ~x440686+1 ~x440685+169 ~x2386+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=899 20.38/20.43 c 256 ~x443676+128 ~x443675+64 ~x443674+32 ~x443673+16 ~x443672+8 ~x443671+4 ~x443670+2 ~x443669+1 ~x443668+169 x2386+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=889 20.48/20.50 c 256 ~x446659+128 ~x446658+64 ~x446657+32 ~x446656+16 ~x446655+8 ~x446654+4 ~x446653+2 ~x446652+1 ~x446651+169 ~x2385+256 ~x80+128 ~x79+64 ~x78+32 ~x77+16 ~x76+8 ~x75+4 ~x74+2 ~x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=995 20.48/20.56 c 256 ~x449054+128 ~x449053+64 ~x449052+32 ~x449051+16 ~x449050+8 ~x449049+4 ~x449048+2 ~x449047+1 ~x449046+169 x2385+256 x80+128 x79+64 x78+32 x77+16 x76+8 x75+4 x74+2 x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=921 20.58/20.62 c 256 ~x451449+128 ~x451448+64 ~x451447+32 ~x451446+16 ~x451445+8 ~x451444+4 ~x451443+2 ~x451442+1 ~x451441+169 ~x2384+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+256 ~x80+128 ~x79+64 ~x78+32 ~x77+16 ~x76+8 ~x75+4 ~x74+2 ~x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=1007 20.58/20.68 c 256 ~x453844+128 ~x453843+64 ~x453842+32 ~x453841+16 ~x453840+8 ~x453839+4 ~x453838+2 ~x453837+1 ~x453836+169 x2384+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+256 x80+128 x79+64 x78+32 x77+16 x76+8 x75+4 x74+2 x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=909 20.68/20.73 c 256 ~x456239+128 ~x456238+64 ~x456237+32 ~x456236+16 ~x456235+8 ~x456234+4 ~x456233+2 ~x456232+1 ~x456231+169 ~x2383+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+256 ~x80+128 ~x79+64 ~x78+32 ~x77+16 ~x76+8 ~x75+4 ~x74+2 ~x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=1018 20.68/20.79 c 256 ~x458634+128 ~x458633+64 ~x458632+32 ~x458631+16 ~x458630+8 ~x458629+4 ~x458628+2 ~x458627+1 ~x458626+169 x2383+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+256 x80+128 x79+64 x78+32 x77+16 x76+8 x75+4 x74+2 x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=898 20.79/20.85 c 512 ~x461030+256 ~x461029+128 ~x461028+64 ~x461027+32 ~x461026+16 ~x461025+8 ~x461024+4 ~x461023+2 ~x461022+1 ~x461021+169 ~x2382+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+256 ~x80+128 ~x79+64 ~x78+32 ~x77+16 ~x76+8 ~x75+4 ~x74+2 ~x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=1540 20.89/20.91 c 256 ~x463506+128 ~x463505+64 ~x463504+32 ~x463503+16 ~x463502+8 ~x463501+4 ~x463500+2 ~x463499+1 ~x463498+169 x2382+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+256 x80+128 x79+64 x78+32 x77+16 x76+8 x75+4 x74+2 x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=888 20.89/20.97 c 256 ~x465901+128 ~x465900+64 ~x465899+32 ~x465898+16 ~x465897+8 ~x465896+4 ~x465895+2 ~x465894+1 ~x465893+169 ~x2381+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=987 20.98/21.04 c 256 ~x468968+128 ~x468967+64 ~x468966+32 ~x468965+16 ~x468964+8 ~x468963+4 ~x468962+2 ~x468961+1 ~x468960+169 x2381+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=929 21.09/21.11 c 256 ~x472035+128 ~x472034+64 ~x472033+32 ~x472032+16 ~x472031+8 ~x472030+4 ~x472029+2 ~x472028+1 ~x472027+169 ~x2380+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=999 21.09/21.19 c 256 ~x475102+128 ~x475101+64 ~x475100+32 ~x475099+16 ~x475098+8 ~x475097+4 ~x475096+2 ~x475095+1 ~x475094+169 x2380+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=917 21.18/21.26 c 256 ~x478169+128 ~x478168+64 ~x478167+32 ~x478166+16 ~x478165+8 ~x478164+4 ~x478163+2 ~x478162+1 ~x478161+169 ~x2379+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=1010 21.28/21.33 c 256 ~x481236+128 ~x481235+64 ~x481234+32 ~x481233+16 ~x481232+8 ~x481231+4 ~x481230+2 ~x481229+1 ~x481228+169 x2379+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=906 21.38/21.41 c 256 ~x484303+128 ~x484302+64 ~x484301+32 ~x484300+16 ~x484299+8 ~x484298+4 ~x484297+2 ~x484296+1 ~x484295+169 ~x2378+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=1020 21.38/21.48 c 256 ~x487370+128 ~x487369+64 ~x487368+32 ~x487367+16 ~x487366+8 ~x487365+4 ~x487364+2 ~x487363+1 ~x487362+169 x2378+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=896 21.48/21.55 c 256 ~x490437+128 ~x490436+64 ~x490435+32 ~x490434+16 ~x490433+8 ~x490432+4 ~x490431+2 ~x490430+1 ~x490429+169 ~x2377+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=889 21.58/21.63 c 256 ~x493420+128 ~x493419+64 ~x493418+32 ~x493417+16 ~x493416+8 ~x493415+4 ~x493414+2 ~x493413+1 ~x493412+169 x2377+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=899 21.68/21.70 c 256 ~x496403+128 ~x496402+64 ~x496401+32 ~x496400+16 ~x496399+8 ~x496398+4 ~x496397+2 ~x496396+1 ~x496395+169 ~x2376+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=878 21.68/21.77 c 256 ~x499386+128 ~x499385+64 ~x499384+32 ~x499383+16 ~x499382+8 ~x499381+4 ~x499380+2 ~x499379+1 ~x499378+169 x2376+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=910 21.79/21.84 c 256 ~x502369+128 ~x502368+64 ~x502367+32 ~x502366+16 ~x502365+8 ~x502364+4 ~x502363+2 ~x502362+1 ~x502361+169 ~x2375+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=890 21.89/21.91 c 256 ~x505352+128 ~x505351+64 ~x505350+32 ~x505349+16 ~x505348+8 ~x505347+4 ~x505346+2 ~x505345+1 ~x505344+169 x2375+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=898 21.89/21.98 c 256 ~x508335+128 ~x508334+64 ~x508333+32 ~x508332+16 ~x508331+8 ~x508330+4 ~x508329+2 ~x508328+1 ~x508327+169 ~x2374+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=868 21.99/22.05 c 256 ~x511318+128 ~x511317+64 ~x511316+32 ~x511315+16 ~x511314+8 ~x511313+4 ~x511312+2 ~x511311+1 ~x511310+169 x2374+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=920 22.09/22.13 c 256 ~x514301+128 ~x514300+64 ~x514299+32 ~x514298+16 ~x514297+8 ~x514296+4 ~x514295+2 ~x514294+1 ~x514293+169 ~x2373+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=880 22.19/22.21 c 256 ~x517284+128 ~x517283+64 ~x517282+32 ~x517281+16 ~x517280+8 ~x517279+4 ~x517278+2 ~x517277+1 ~x517276+169 x2373+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=908 22.19/22.28 c 256 ~x520267+128 ~x520266+64 ~x520265+32 ~x520264+16 ~x520263+8 ~x520262+4 ~x520261+2 ~x520260+1 ~x520259+169 ~x2372+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=891 22.28/22.35 c 256 ~x523250+128 ~x523249+64 ~x523248+32 ~x523247+16 ~x523246+8 ~x523245+4 ~x523244+2 ~x523243+1 ~x523242+169 x2372+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=897 22.38/22.42 c 256 ~x526233+128 ~x526232+64 ~x526231+32 ~x526230+16 ~x526229+8 ~x526228+4 ~x526227+2 ~x526226+1 ~x526225+169 ~x2371+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=987 22.38/22.50 c 256 ~x529300+128 ~x529299+64 ~x529298+32 ~x529297+16 ~x529296+8 ~x529295+4 ~x529294+2 ~x529293+1 ~x529292+169 x2371+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=929 22.48/22.57 c 256 ~x532367+128 ~x532366+64 ~x532365+32 ~x532364+16 ~x532363+8 ~x532362+4 ~x532361+2 ~x532360+1 ~x532359+169 ~x2370+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=999 22.58/22.64 c 256 ~x535434+128 ~x535433+64 ~x535432+32 ~x535431+16 ~x535430+8 ~x535429+4 ~x535428+2 ~x535427+1 ~x535426+169 x2370+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=917 22.68/22.71 c 256 ~x538501+128 ~x538500+64 ~x538499+32 ~x538498+16 ~x538497+8 ~x538496+4 ~x538495+2 ~x538494+1 ~x538493+169 ~x2369+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=1010 22.68/22.79 c 256 ~x541568+128 ~x541567+64 ~x541566+32 ~x541565+16 ~x541564+8 ~x541563+4 ~x541562+2 ~x541561+1 ~x541560+169 x2369+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=906 22.78/22.86 c 256 ~x544635+128 ~x544634+64 ~x544633+32 ~x544632+16 ~x544631+8 ~x544630+4 ~x544629+2 ~x544628+1 ~x544627+169 ~x2368+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=1020 22.88/22.93 c 256 ~x547702+128 ~x547701+64 ~x547700+32 ~x547699+16 ~x547698+8 ~x547697+4 ~x547696+2 ~x547695+1 ~x547694+169 x2368+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=896 22.99/23.01 c 256 ~x550769+128 ~x550768+64 ~x550767+32 ~x550766+16 ~x550765+8 ~x550764+4 ~x550763+2 ~x550762+1 ~x550761+169 ~x2367+256 ~x72+128 ~x71+64 ~x70+32 ~x69+16 ~x68+8 ~x67+4 ~x66+2 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=979 22.99/23.06 c 256 ~x553164+128 ~x553163+64 ~x553162+32 ~x553161+16 ~x553160+8 ~x553159+4 ~x553158+2 ~x553157+1 ~x553156+169 x2367+256 x72+128 x71+64 x70+32 x69+16 x68+8 x67+4 x66+2 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=937 23.08/23.12 c 256 ~x555559+128 ~x555558+64 ~x555557+32 ~x555556+16 ~x555555+8 ~x555554+4 ~x555553+2 ~x555552+1 ~x555551+169 ~x2366+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+256 ~x72+128 ~x71+64 ~x70+32 ~x69+16 ~x68+8 ~x67+4 ~x66+2 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=991 23.08/23.18 c 256 ~x557954+128 ~x557953+64 ~x557952+32 ~x557951+16 ~x557950+8 ~x557949+4 ~x557948+2 ~x557947+1 ~x557946+169 x2366+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+256 x72+128 x71+64 x70+32 x69+16 x68+8 x67+4 x66+2 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=925 23.19/23.24 c 256 ~x560349+128 ~x560348+64 ~x560347+32 ~x560346+16 ~x560345+8 ~x560344+4 ~x560343+2 ~x560342+1 ~x560341+169 ~x2365+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+256 ~x72+128 ~x71+64 ~x70+32 ~x69+16 ~x68+8 ~x67+4 ~x66+2 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=1002 23.19/23.30 c 256 ~x562744+128 ~x562743+64 ~x562742+32 ~x562741+16 ~x562740+8 ~x562739+4 ~x562738+2 ~x562737+1 ~x562736+169 x2365+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+256 x72+128 x71+64 x70+32 x69+16 x68+8 x67+4 x66+2 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=914 23.28/23.35 c 256 ~x565139+128 ~x565138+64 ~x565137+32 ~x565136+16 ~x565135+8 ~x565134+4 ~x565133+2 ~x565132+1 ~x565131+169 ~x2364+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+256 ~x72+128 ~x71+64 ~x70+32 ~x69+16 ~x68+8 ~x67+4 ~x66+2 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=1012 23.38/23.41 c 256 ~x567534+128 ~x567533+64 ~x567532+32 ~x567531+16 ~x567530+8 ~x567529+4 ~x567528+2 ~x567527+1 ~x567526+169 x2364+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+256 x72+128 x71+64 x70+32 x69+16 x68+8 x67+4 x66+2 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=904 23.38/23.47 c 256 ~x569929+128 ~x569928+64 ~x569927+32 ~x569926+16 ~x569925+8 ~x569924+4 ~x569923+2 ~x569922+1 ~x569921+169 ~x2363+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+256 ~x72+128 ~x71+64 ~x70+32 ~x69+16 ~x68+8 ~x67+4 ~x66+2 ~x65+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57-0=1021 23.48/23.53 c 512 ~x572409+256 ~x572408+128 ~x572407+64 ~x572406+32 ~x572405+16 ~x572404+8 ~x572403+4 ~x572402+2 ~x572401+1 ~x572400+169 x2363+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+256 x72+128 x71+64 x70+32 x69+16 x68+8 x67+4 x66+2 x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=1535 23.48/23.59 c 256 ~x574969+128 ~x574968+64 ~x574967+32 ~x574966+16 ~x574965+8 ~x574964+4 ~x574963+2 ~x574962+1 ~x574961+169 ~x2362+128 ~x101+64 ~x100+32 ~x99+16 ~x98+8 ~x97+4 ~x96+2 ~x95+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=805 23.58/23.65 c 256 ~x577280+128 ~x577279+64 ~x577278+32 ~x577277+16 ~x577276+8 ~x577275+4 ~x577274+2 ~x577273+1 ~x577272+169 x2362+128 x101+64 x100+32 x99+16 x98+8 x97+4 x96+2 x95+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=855 23.68/23.70 c 256 ~x579591+128 ~x579590+64 ~x579589+32 ~x579588+16 ~x579587+8 ~x579586+4 ~x579585+2 ~x579584+1 ~x579583+169 ~x2361+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=794 23.68/23.77 c 256 ~x582490+128 ~x582489+64 ~x582488+32 ~x582487+16 ~x582486+8 ~x582485+4 ~x582484+2 ~x582483+1 ~x582482+169 x2361+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=866 23.78/23.84 c 256 ~x585389+128 ~x585388+64 ~x585387+32 ~x585386+16 ~x585385+8 ~x585384+4 ~x585383+2 ~x585382+1 ~x585381+169 ~x2360+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=784 23.88/23.91 c 256 ~x588288+128 ~x588287+64 ~x588286+32 ~x588285+16 ~x588284+8 ~x588283+4 ~x588282+2 ~x588281+1 ~x588280+169 x2360+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=876 23.88/23.98 c 256 ~x591187+128 ~x591186+64 ~x591185+32 ~x591184+16 ~x591183+8 ~x591182+4 ~x591181+2 ~x591180+1 ~x591179+169 ~x2359+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=903 23.98/24.05 c 256 ~x594170+128 ~x594169+64 ~x594168+32 ~x594167+16 ~x594166+8 ~x594165+4 ~x594164+2 ~x594163+1 ~x594162+169 x2359+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=885 24.09/24.12 c 256 ~x597153+128 ~x597152+64 ~x597151+32 ~x597150+16 ~x597149+8 ~x597148+4 ~x597147+2 ~x597146+1 ~x597145+169 ~x2358+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=895 24.09/24.19 c 256 ~x600136+128 ~x600135+64 ~x600134+32 ~x600133+16 ~x600132+8 ~x600131+4 ~x600130+2 ~x600129+1 ~x600128+169 x2358+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=893 24.19/24.27 c 256 ~x603119+128 ~x603118+64 ~x603117+32 ~x603116+16 ~x603115+8 ~x603114+4 ~x603113+2 ~x603112+1 ~x603111+169 ~x2357+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=888 24.28/24.34 c 256 ~x606102+128 ~x606101+64 ~x606100+32 ~x606099+16 ~x606098+8 ~x606097+4 ~x606096+2 ~x606095+1 ~x606094+169 x2357+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=900 24.38/24.41 c 256 ~x609085+128 ~x609084+64 ~x609083+32 ~x609082+16 ~x609081+8 ~x609080+4 ~x609079+2 ~x609078+1 ~x609077+169 ~x2356+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=794 24.38/24.48 c 256 ~x611984+128 ~x611983+64 ~x611982+32 ~x611981+16 ~x611980+8 ~x611979+4 ~x611978+2 ~x611977+1 ~x611976+169 x2356+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=866 24.48/24.55 c 256 ~x614883+128 ~x614882+64 ~x614881+32 ~x614880+16 ~x614879+8 ~x614878+4 ~x614877+2 ~x614876+1 ~x614875+169 ~x2355+128 ~x94+64 ~x93+32 ~x92+16 ~x91+8 ~x90+4 ~x89+2 ~x88+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=783 24.57/24.60 c 256 ~x617194+128 ~x617193+64 ~x617192+32 ~x617191+16 ~x617190+8 ~x617189+4 ~x617188+2 ~x617187+1 ~x617186+169 x2355+128 x94+64 x93+32 x92+16 x91+8 x90+4 x89+2 x88+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=877 24.57/24.66 c 256 ~x619505+128 ~x619504+64 ~x619503+32 ~x619502+16 ~x619501+8 ~x619500+4 ~x619499+2 ~x619498+1 ~x619497+169 ~x2354+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 ~x94+64 ~x93+32 ~x92+16 ~x91+8 ~x90+4 ~x89+2 ~x88+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=795 24.68/24.72 c 256 ~x621816+128 ~x621815+64 ~x621814+32 ~x621813+16 ~x621812+8 ~x621811+4 ~x621810+2 ~x621809+1 ~x621808+169 x2354+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 x94+64 x93+32 x92+16 x91+8 x90+4 x89+2 x88+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=865 24.68/24.77 c 256 ~x624127+128 ~x624126+64 ~x624125+32 ~x624124+16 ~x624123+8 ~x624122+4 ~x624121+2 ~x624120+1 ~x624119+169 ~x2353+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=773 24.78/24.84 c 256 ~x627026+128 ~x627025+64 ~x627024+32 ~x627023+16 ~x627022+8 ~x627021+4 ~x627020+2 ~x627019+1 ~x627018+169 x2353+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=887 24.88/24.91 c 256 ~x629925+128 ~x629924+64 ~x629923+32 ~x629922+16 ~x629921+8 ~x629920+4 ~x629919+2 ~x629918+1 ~x629917+169 ~x2352+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=785 24.88/24.98 c 256 ~x632824+128 ~x632823+64 ~x632822+32 ~x632821+16 ~x632820+8 ~x632819+4 ~x632818+2 ~x632817+1 ~x632816+169 x2352+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=875 24.97/25.05 c 256 ~x635723+128 ~x635722+64 ~x635721+32 ~x635720+16 ~x635719+8 ~x635718+4 ~x635717+2 ~x635716+1 ~x635715+169 ~x2351+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=892 25.08/25.12 c 256 ~x638706+128 ~x638705+64 ~x638704+32 ~x638703+16 ~x638702+8 ~x638701+4 ~x638700+2 ~x638699+1 ~x638698+169 x2351+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=896 25.18/25.21 c 256 ~x641689+128 ~x641688+64 ~x641687+32 ~x641686+16 ~x641685+8 ~x641684+4 ~x641683+2 ~x641682+1 ~x641681+169 ~x2350+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=904 25.18/25.28 c 256 ~x644672+128 ~x644671+64 ~x644670+32 ~x644669+16 ~x644668+8 ~x644667+4 ~x644666+2 ~x644665+1 ~x644664+169 x2350+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=884 25.28/25.35 c 256 ~x647655+128 ~x647654+64 ~x647653+32 ~x647652+16 ~x647651+8 ~x647650+4 ~x647649+2 ~x647648+1 ~x647647+169 ~x2349+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=884 25.38/25.42 c 256 ~x650638+128 ~x650637+64 ~x650636+32 ~x650635+16 ~x650634+8 ~x650633+4 ~x650632+2 ~x650631+1 ~x650630+169 x2349+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=904 25.38/25.49 c 256 ~x653621+128 ~x653620+64 ~x653619+32 ~x653618+16 ~x653617+8 ~x653616+4 ~x653615+2 ~x653614+1 ~x653613+169 ~x2348+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=896 25.48/25.56 c 256 ~x656604+128 ~x656603+64 ~x656602+32 ~x656601+16 ~x656600+8 ~x656599+4 ~x656598+2 ~x656597+1 ~x656596+169 x2348+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=892 25.58/25.63 c 256 ~x659587+128 ~x659586+64 ~x659585+32 ~x659584+16 ~x659583+8 ~x659582+4 ~x659581+2 ~x659580+1 ~x659579+169 ~x2347+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=877 25.68/25.70 c 256 ~x662570+128 ~x662569+64 ~x662568+32 ~x662567+16 ~x662566+8 ~x662565+4 ~x662564+2 ~x662563+1 ~x662562+169 x2347+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=911 25.68/25.77 c 256 ~x665553+128 ~x665552+64 ~x665551+32 ~x665550+16 ~x665549+8 ~x665548+4 ~x665547+2 ~x665546+1 ~x665545+169 ~x2346+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=889 25.78/25.85 c 256 ~x668536+128 ~x668535+64 ~x668534+32 ~x668533+16 ~x668532+8 ~x668531+4 ~x668530+2 ~x668529+1 ~x668528+169 x2346+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=899 25.88/25.92 c 256 ~x671519+128 ~x671518+64 ~x671517+32 ~x671516+16 ~x671515+8 ~x671514+4 ~x671513+2 ~x671512+1 ~x671511+169 ~x2345+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=784 25.88/25.99 c 256 ~x674418+128 ~x674417+64 ~x674416+32 ~x674415+16 ~x674414+8 ~x674413+4 ~x674412+2 ~x674411+1 ~x674410+169 x2345+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=876 25.98/26.06 c 256 ~x677317+128 ~x677316+64 ~x677315+32 ~x677314+16 ~x677313+8 ~x677312+4 ~x677311+2 ~x677310+1 ~x677309+169 ~x2344+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=773 26.07/26.13 c 256 ~x680216+128 ~x680215+64 ~x680214+32 ~x680213+16 ~x680212+8 ~x680211+4 ~x680210+2 ~x680209+1 ~x680208+169 x2344+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=887 26.07/26.19 c 256 ~x683115+128 ~x683114+64 ~x683113+32 ~x683112+16 ~x683111+8 ~x683110+4 ~x683109+2 ~x683108+1 ~x683107+169 ~x2343+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=785 26.18/26.26 c 256 ~x686014+128 ~x686013+64 ~x686012+32 ~x686011+16 ~x686010+8 ~x686009+4 ~x686008+2 ~x686007+1 ~x686006+169 x2343+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=875 26.28/26.33 c 128 ~x688912+64 ~x688911+32 ~x688910+16 ~x688909+8 ~x688908+4 ~x688907+2 ~x688906+1 ~x688905+169 ~x2342+128 ~x87+64 ~x86+32 ~x85+16 ~x84+8 ~x83+4 ~x82+2 ~x81+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=507 26.28/26.38 c 256 ~x690986+128 ~x690985+64 ~x690984+32 ~x690983+16 ~x690982+8 ~x690981+4 ~x690980+2 ~x690979+1 ~x690978+169 x2342+128 x87+64 x86+32 x85+16 x84+8 x83+4 x82+2 x81+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=897 26.38/26.44 c 256 ~x693297+128 ~x693296+64 ~x693295+32 ~x693294+16 ~x693293+8 ~x693292+4 ~x693291+2 ~x693290+1 ~x693289+169 ~x2341+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 ~x87+64 ~x86+32 ~x85+16 ~x84+8 ~x83+4 ~x82+2 ~x81+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=775 26.48/26.50 c 256 ~x695608+128 ~x695607+64 ~x695606+32 ~x695605+16 ~x695604+8 ~x695603+4 ~x695602+2 ~x695601+1 ~x695600+169 x2341+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 x87+64 x86+32 x85+16 x84+8 x83+4 x82+2 x81+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=885 26.48/26.55 c 256 ~x697919+128 ~x697918+64 ~x697917+32 ~x697916+16 ~x697915+8 ~x697914+4 ~x697913+2 ~x697912+1 ~x697911+169 ~x2340+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 ~x87+64 ~x86+32 ~x85+16 ~x84+8 ~x83+4 ~x82+2 ~x81+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=786 26.58/26.61 c 256 ~x700230+128 ~x700229+64 ~x700228+32 ~x700227+16 ~x700226+8 ~x700225+4 ~x700224+2 ~x700223+1 ~x700222+169 x2340+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 x87+64 x86+32 x85+16 x84+8 x83+4 x82+2 x81+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=874 26.58/26.67 c 256 ~x702541+128 ~x702540+64 ~x702539+32 ~x702538+16 ~x702537+8 ~x702536+4 ~x702535+2 ~x702534+1 ~x702533+169 ~x2339+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=882 26.68/26.74 c 256 ~x705524+128 ~x705523+64 ~x705522+32 ~x705521+16 ~x705520+8 ~x705519+4 ~x705518+2 ~x705517+1 ~x705516+169 x2339+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=906 26.78/26.81 c 256 ~x708507+128 ~x708506+64 ~x708505+32 ~x708504+16 ~x708503+8 ~x708502+4 ~x708501+2 ~x708500+1 ~x708499+169 ~x2338+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=894 26.78/26.88 c 256 ~x711490+128 ~x711489+64 ~x711488+32 ~x711487+16 ~x711486+8 ~x711485+4 ~x711484+2 ~x711483+1 ~x711482+169 x2338+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=894 26.88/26.95 c 256 ~x714473+128 ~x714472+64 ~x714471+32 ~x714470+16 ~x714469+8 ~x714468+4 ~x714467+2 ~x714466+1 ~x714465+169 ~x2337+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=905 26.98/27.02 c 256 ~x717456+128 ~x717455+64 ~x717454+32 ~x717453+16 ~x717452+8 ~x717451+4 ~x717450+2 ~x717449+1 ~x717448+169 x2337+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=883 26.98/27.09 c 256 ~x720439+128 ~x720438+64 ~x720437+32 ~x720436+16 ~x720435+8 ~x720434+4 ~x720433+2 ~x720432+1 ~x720431+169 ~x2336+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=874 27.08/27.17 c 256 ~x723422+128 ~x723421+64 ~x723420+32 ~x723419+16 ~x723418+8 ~x723417+4 ~x723416+2 ~x723415+1 ~x723414+169 x2336+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=914 27.18/27.24 c 256 ~x726405+128 ~x726404+64 ~x726403+32 ~x726402+16 ~x726401+8 ~x726400+4 ~x726399+2 ~x726398+1 ~x726397+169 ~x2335+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=886 27.28/27.31 c 256 ~x729388+128 ~x729387+64 ~x729386+32 ~x729385+16 ~x729384+8 ~x729383+4 ~x729382+2 ~x729381+1 ~x729380+169 x2335+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=902 27.28/27.38 c 256 ~x732371+128 ~x732370+64 ~x732369+32 ~x732368+16 ~x732367+8 ~x732366+4 ~x732365+2 ~x732364+1 ~x732363+169 ~x2334+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=897 27.39/27.45 c 256 ~x735354+128 ~x735353+64 ~x735352+32 ~x735351+16 ~x735350+8 ~x735349+4 ~x735348+2 ~x735347+1 ~x735346+169 x2334+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=891 27.49/27.52 c 256 ~x738337+128 ~x738336+64 ~x738335+32 ~x738334+16 ~x738333+8 ~x738332+4 ~x738331+2 ~x738330+1 ~x738329+169 ~x2333+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=867 27.49/27.59 c 256 ~x741320+128 ~x741319+64 ~x741318+32 ~x741317+16 ~x741316+8 ~x741315+4 ~x741314+2 ~x741313+1 ~x741312+169 x2333+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=921 27.58/27.67 c 256 ~x744303+128 ~x744302+64 ~x744301+32 ~x744300+16 ~x744299+8 ~x744298+4 ~x744297+2 ~x744296+1 ~x744295+169 ~x2332+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=879 27.68/27.74 c 256 ~x747286+128 ~x747285+64 ~x747284+32 ~x747283+16 ~x747282+8 ~x747281+4 ~x747280+2 ~x747279+1 ~x747278+169 x2332+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=909 27.78/27.81 c 256 ~x750269+128 ~x750268+64 ~x750267+32 ~x750266+16 ~x750265+8 ~x750264+4 ~x750263+2 ~x750262+1 ~x750261+169 ~x2331+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=890 27.78/27.88 c 256 ~x753252+128 ~x753251+64 ~x753250+32 ~x753249+16 ~x753248+8 ~x753247+4 ~x753246+2 ~x753245+1 ~x753244+169 x2331+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=898 27.88/27.95 c 256 ~x756235+128 ~x756234+64 ~x756233+32 ~x756232+16 ~x756231+8 ~x756230+4 ~x756229+2 ~x756228+1 ~x756227+169 ~x2330+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=903 27.98/28.02 c 256 ~x759218+128 ~x759217+64 ~x759216+32 ~x759215+16 ~x759214+8 ~x759213+4 ~x759212+2 ~x759211+1 ~x759210+169 x2330+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=885 27.98/28.09 c 256 ~x762201+128 ~x762200+64 ~x762199+32 ~x762198+16 ~x762197+8 ~x762196+4 ~x762195+2 ~x762194+1 ~x762193+169 ~x2329+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=892 28.08/28.17 c 256 ~x765184+128 ~x765183+64 ~x765182+32 ~x765181+16 ~x765180+8 ~x765179+4 ~x765178+2 ~x765177+1 ~x765176+169 x2329+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=896 28.18/28.24 c 256 ~x768167+128 ~x768166+64 ~x768165+32 ~x768164+16 ~x768163+8 ~x768162+4 ~x768161+2 ~x768160+1 ~x768159+169 ~x2328+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=904 28.27/28.31 c 256 ~x771150+128 ~x771149+64 ~x771148+32 ~x771147+16 ~x771146+8 ~x771145+4 ~x771144+2 ~x771143+1 ~x771142+169 x2328+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=884 28.27/28.38 c 256 ~x774133+128 ~x774132+64 ~x774131+32 ~x774130+16 ~x774129+8 ~x774128+4 ~x774127+2 ~x774126+1 ~x774125+169 ~x2327+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=882 28.38/28.45 c 256 ~x777116+128 ~x777115+64 ~x777114+32 ~x777113+16 ~x777112+8 ~x777111+4 ~x777110+2 ~x777109+1 ~x777108+169 x2327+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=906 28.49/28.52 c 256 ~x780099+128 ~x780098+64 ~x780097+32 ~x780096+16 ~x780095+8 ~x780094+4 ~x780093+2 ~x780092+1 ~x780091+169 ~x2326+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=894 28.49/28.59 c 256 ~x783082+128 ~x783081+64 ~x783080+32 ~x783079+16 ~x783078+8 ~x783077+4 ~x783076+2 ~x783075+1 ~x783074+169 x2326+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=894 28.59/28.67 c 256 ~x786065+128 ~x786064+64 ~x786063+32 ~x786062+16 ~x786061+8 ~x786060+4 ~x786059+2 ~x786058+1 ~x786057+169 ~x2325+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=905 28.68/28.74 c 256 ~x789048+128 ~x789047+64 ~x789046+32 ~x789045+16 ~x789044+8 ~x789043+4 ~x789042+2 ~x789041+1 ~x789040+169 x2325+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=883 28.78/28.81 c 256 ~x792031+128 ~x792030+64 ~x792029+32 ~x792028+16 ~x792027+8 ~x792026+4 ~x792025+2 ~x792024+1 ~x792023+169 ~x2324+256 ~x80+128 ~x79+64 ~x78+32 ~x77+16 ~x76+8 ~x75+4 ~x74+2 ~x73+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=1001 28.78/28.87 c 256 ~x794426+128 ~x794425+64 ~x794424+32 ~x794423+16 ~x794422+8 ~x794421+4 ~x794420+2 ~x794419+1 ~x794418+169 x2324+256 x80+128 x79+64 x78+32 x77+16 x76+8 x75+4 x74+2 x73+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=915 28.88/28.93 c 256 ~x796821+128 ~x796820+64 ~x796819+32 ~x796818+16 ~x796817+8 ~x796816+4 ~x796815+2 ~x796814+1 ~x796813+169 ~x2323+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+256 ~x80+128 ~x79+64 ~x78+32 ~x77+16 ~x76+8 ~x75+4 ~x74+2 ~x73+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=1013 28.98/29.00 c 256 ~x799216+128 ~x799215+64 ~x799214+32 ~x799213+16 ~x799212+8 ~x799211+4 ~x799210+2 ~x799209+1 ~x799208+169 x2323+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+256 x80+128 x79+64 x78+32 x77+16 x76+8 x75+4 x74+2 x73+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=903 28.98/29.06 c 512 ~x801612+256 ~x801611+128 ~x801610+64 ~x801609+32 ~x801608+16 ~x801607+8 ~x801606+4 ~x801605+2 ~x801604+1 ~x801603+169 ~x2322+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+256 ~x80+128 ~x79+64 ~x78+32 ~x77+16 ~x76+8 ~x75+4 ~x74+2 ~x73+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=1536 29.08/29.12 c 256 ~x804088+128 ~x804087+64 ~x804086+32 ~x804085+16 ~x804084+8 ~x804083+4 ~x804082+2 ~x804081+1 ~x804080+169 x2322+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+256 x80+128 x79+64 x78+32 x77+16 x76+8 x75+4 x74+2 x73+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=892 29.08/29.18 c 512 ~x806484+256 ~x806483+128 ~x806482+64 ~x806481+32 ~x806480+16 ~x806479+8 ~x806478+4 ~x806477+2 ~x806476+1 ~x806475+169 ~x2321+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+256 ~x80+128 ~x79+64 ~x78+32 ~x77+16 ~x76+8 ~x75+4 ~x74+2 ~x73+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=1546 29.18/29.24 c 256 ~x808960+128 ~x808959+64 ~x808958+32 ~x808957+16 ~x808956+8 ~x808955+4 ~x808954+2 ~x808953+1 ~x808952+169 x2321+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+256 x80+128 x79+64 x78+32 x77+16 x76+8 x75+4 x74+2 x73+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=882 29.18/29.29 c 256 ~x811355+128 ~x811354+64 ~x811353+32 ~x811352+16 ~x811351+8 ~x811350+4 ~x811349+2 ~x811348+1 ~x811347+169 ~x2320+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=993 29.28/29.37 c 256 ~x814422+128 ~x814421+64 ~x814420+32 ~x814419+16 ~x814418+8 ~x814417+4 ~x814416+2 ~x814415+1 ~x814414+169 x2320+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=923 29.38/29.44 c 256 ~x817489+128 ~x817488+64 ~x817487+32 ~x817486+16 ~x817485+8 ~x817484+4 ~x817483+2 ~x817482+1 ~x817481+169 ~x2319+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=1005 29.48/29.51 c 256 ~x820556+128 ~x820555+64 ~x820554+32 ~x820553+16 ~x820552+8 ~x820551+4 ~x820550+2 ~x820549+1 ~x820548+169 x2319+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=911 29.48/29.59 c 256 ~x823623+128 ~x823622+64 ~x823621+32 ~x823620+16 ~x823619+8 ~x823618+4 ~x823617+2 ~x823616+1 ~x823615+169 ~x2318+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=1016 29.58/29.66 c 256 ~x826690+128 ~x826689+64 ~x826688+32 ~x826687+16 ~x826686+8 ~x826685+4 ~x826684+2 ~x826683+1 ~x826682+169 x2318+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=900 29.69/29.73 c 512 ~x829758+256 ~x829757+128 ~x829756+64 ~x829755+32 ~x829754+16 ~x829753+8 ~x829752+4 ~x829751+2 ~x829750+1 ~x829749+169 ~x2317+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=1538 29.78/29.81 c 256 ~x832906+128 ~x832905+64 ~x832904+32 ~x832903+16 ~x832902+8 ~x832901+4 ~x832900+2 ~x832899+1 ~x832898+169 x2317+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=890 29.78/29.88 c 256 ~x835973+128 ~x835972+64 ~x835971+32 ~x835970+16 ~x835969+8 ~x835968+4 ~x835967+2 ~x835966+1 ~x835965+169 ~x2316+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=986 29.88/29.95 c 256 ~x839040+128 ~x839039+64 ~x839038+32 ~x839037+16 ~x839036+8 ~x839035+4 ~x839034+2 ~x839033+1 ~x839032+169 x2316+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=930 29.98/30.03 c 256 ~x842107+128 ~x842106+64 ~x842105+32 ~x842104+16 ~x842103+8 ~x842102+4 ~x842101+2 ~x842100+1 ~x842099+169 ~x2315+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=998 30.08/30.10 c 256 ~x845174+128 ~x845173+64 ~x845172+32 ~x845171+16 ~x845170+8 ~x845169+4 ~x845168+2 ~x845167+1 ~x845166+169 x2315+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=918 30.08/30.17 c 256 ~x848241+128 ~x848240+64 ~x848239+32 ~x848238+16 ~x848237+8 ~x848236+4 ~x848235+2 ~x848234+1 ~x848233+169 ~x2314+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=1009 30.18/30.25 c 256 ~x851308+128 ~x851307+64 ~x851306+32 ~x851305+16 ~x851304+8 ~x851303+4 ~x851302+2 ~x851301+1 ~x851300+169 x2314+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=907 30.28/30.32 c 256 ~x854375+128 ~x854374+64 ~x854373+32 ~x854372+16 ~x854371+8 ~x854370+4 ~x854369+2 ~x854368+1 ~x854367+169 ~x2313+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=1019 30.28/30.39 c 256 ~x857442+128 ~x857441+64 ~x857440+32 ~x857439+16 ~x857438+8 ~x857437+4 ~x857436+2 ~x857435+1 ~x857434+169 x2313+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x64+64 x63+32 x62+16 x61+8 x60+4 x59+2 x58+1 x57+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=897 30.38/30.47 c 256 ~x860509+128 ~x860508+64 ~x860507+32 ~x860506+16 ~x860505+8 ~x860504+4 ~x860503+2 ~x860502+1 ~x860501+169 ~x2312+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=895 30.48/30.54 c 256 ~x863492+128 ~x863491+64 ~x863490+32 ~x863489+16 ~x863488+8 ~x863487+4 ~x863486+2 ~x863485+1 ~x863484+169 x2312+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=893 30.58/30.61 c 256 ~x866475+128 ~x866474+64 ~x866473+32 ~x866472+16 ~x866471+8 ~x866470+4 ~x866469+2 ~x866468+1 ~x866467+169 ~x2311+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=884 30.58/30.68 c 256 ~x869458+128 ~x869457+64 ~x869456+32 ~x869455+16 ~x869454+8 ~x869453+4 ~x869452+2 ~x869451+1 ~x869450+169 x2311+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=904 30.69/30.75 c 256 ~x872441+128 ~x872440+64 ~x872439+32 ~x872438+16 ~x872437+8 ~x872436+4 ~x872435+2 ~x872434+1 ~x872433+169 ~x2310+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=896 30.79/30.82 c 256 ~x875424+128 ~x875423+64 ~x875422+32 ~x875421+16 ~x875420+8 ~x875419+4 ~x875418+2 ~x875417+1 ~x875416+169 x2310+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=892 30.79/30.89 c 256 ~x878407+128 ~x878406+64 ~x878405+32 ~x878404+16 ~x878403+8 ~x878402+4 ~x878401+2 ~x878400+1 ~x878399+169 ~x2309+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=874 30.88/30.97 c 256 ~x881390+128 ~x881389+64 ~x881388+32 ~x881387+16 ~x881386+8 ~x881385+4 ~x881384+2 ~x881383+1 ~x881382+169 x2309+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=914 30.98/31.04 c 256 ~x884373+128 ~x884372+64 ~x884371+32 ~x884370+16 ~x884369+8 ~x884368+4 ~x884367+2 ~x884366+1 ~x884365+169 ~x2308+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=886 31.08/31.11 c 256 ~x887356+128 ~x887355+64 ~x887354+32 ~x887353+16 ~x887352+8 ~x887351+4 ~x887350+2 ~x887349+1 ~x887348+169 x2308+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=902 31.08/31.18 c 256 ~x890339+128 ~x890338+64 ~x890337+32 ~x890336+16 ~x890335+8 ~x890334+4 ~x890333+2 ~x890332+1 ~x890331+169 ~x2307+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=897 31.18/31.25 c 256 ~x893322+128 ~x893321+64 ~x893320+32 ~x893319+16 ~x893318+8 ~x893317+4 ~x893316+2 ~x893315+1 ~x893314+169 x2307+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=891 31.27/31.32 c 256 ~x896305+128 ~x896304+64 ~x896303+32 ~x896302+16 ~x896301+8 ~x896300+4 ~x896299+2 ~x896298+1 ~x896297+169 ~x2306+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=993 31.27/31.40 c 256 ~x899372+128 ~x899371+64 ~x899370+32 ~x899369+16 ~x899368+8 ~x899367+4 ~x899366+2 ~x899365+1 ~x899364+169 x2306+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=923 31.38/31.47 c 256 ~x902439+128 ~x902438+64 ~x902437+32 ~x902436+16 ~x902435+8 ~x902434+4 ~x902433+2 ~x902432+1 ~x902431+169 ~x2305+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=1005 31.48/31.54 c 256 ~x905506+128 ~x905505+64 ~x905504+32 ~x905503+16 ~x905502+8 ~x905501+4 ~x905500+2 ~x905499+1 ~x905498+169 x2305+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=911 31.58/31.62 c 256 ~x908573+128 ~x908572+64 ~x908571+32 ~x908570+16 ~x908569+8 ~x908568+4 ~x908567+2 ~x908566+1 ~x908565+169 ~x2304+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=1016 31.58/31.69 c 256 ~x911640+128 ~x911639+64 ~x911638+32 ~x911637+16 ~x911636+8 ~x911635+4 ~x911634+2 ~x911633+1 ~x911632+169 x2304+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=900 31.68/31.76 c 512 ~x914708+256 ~x914707+128 ~x914706+64 ~x914705+32 ~x914704+16 ~x914703+8 ~x914702+4 ~x914701+2 ~x914700+1 ~x914699+169 ~x2303+64 x87+32 x86+16 x85+8 x84+4 x83+2 x82+1 x81+128 ~x80+64 ~x79+32 ~x78+16 ~x77+8 ~x76+4 ~x75+2 ~x74+1 ~x73+128 ~x72+64 ~x71+32 ~x70+16 ~x69+8 ~x68+4 ~x67+2 ~x66+1 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=1538 31.78/31.84 c 256 ~x917856+128 ~x917855+64 ~x917854+32 ~x917853+16 ~x917852+8 ~x917851+4 ~x917850+2 ~x917849+1 ~x917848+169 x2303+64 ~x87+32 ~x86+16 ~x85+8 ~x84+4 ~x83+2 ~x82+1 ~x81+128 x80+64 x79+32 x78+16 x77+8 x76+4 x75+2 x74+1 x73+128 x72+64 x71+32 x70+16 x69+8 x68+4 x67+2 x66+1 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=890 31.88/31.91 c 256 ~x920923+128 ~x920922+64 ~x920921+32 ~x920920+16 ~x920919+8 ~x920918+4 ~x920917+2 ~x920916+1 ~x920915+169 ~x2302+256 ~x72+128 ~x71+64 ~x70+32 ~x69+16 ~x68+8 ~x67+4 ~x66+2 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=985 31.88/31.97 c 256 ~x923318+128 ~x923317+64 ~x923316+32 ~x923315+16 ~x923314+8 ~x923313+4 ~x923312+2 ~x923311+1 ~x923310+169 x2302+256 x72+128 x71+64 x70+32 x69+16 x68+8 x67+4 x66+2 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=931 31.98/32.03 c 256 ~x925713+128 ~x925712+64 ~x925711+32 ~x925710+16 ~x925709+8 ~x925708+4 ~x925707+2 ~x925706+1 ~x925705+169 ~x2301+64 x101+32 x100+16 x99+8 x98+4 x97+2 x96+1 x95+256 ~x72+128 ~x71+64 ~x70+32 ~x69+16 ~x68+8 ~x67+4 ~x66+2 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=997 31.98/32.08 c 256 ~x928108+128 ~x928107+64 ~x928106+32 ~x928105+16 ~x928104+8 ~x928103+4 ~x928102+2 ~x928101+1 ~x928100+169 x2301+64 ~x101+32 ~x100+16 ~x99+8 ~x98+4 ~x97+2 ~x96+1 ~x95+256 x72+128 x71+64 x70+32 x69+16 x68+8 x67+4 x66+2 x65+128 ~x56+64 ~x55+32 ~x54+16 ~x53+8 ~x52+4 ~x51+2 ~x50+1 ~x49-0=919 32.08/32.14 c 256 ~x930503+128 ~x930502+64 ~x930501+32 ~x930500+16 ~x930499+8 ~x930498+4 ~x930497+2 ~x930496+1 ~x930495+169 ~x2300+64 x94+32 x93+16 x92+8 x91+4 x90+2 x89+1 x88+256 ~x72+128 ~x71+64 ~x70+32 ~x69+16 ~x68+8 ~x67+4 ~x66+2 ~x65+128 x56+64 x55+32 x54+16 x53+8 x52+4 x51+2 x50+1 x49-0=1008 32.18/32.20 c 256 ~x932898+128 ~x932897+64 ~x932896+32 ~x932895+16 ~x932894+8 ~x932893+4 ~x932892+2 ~x932891+1 ~x932890+169 x2300+64 ~x94+32 ~x93+16 ~x92+8 ~x91+4 ~x90+2 ~x89+1 ~x88+256 x72+128 x71+
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-2674235-1276804370/watcher-2674235-1276804370 -o /tmp/evaluation-result-2674235-1276804370/solver-2674235-1276804370 -C 1800 -W 2000 -M 1800 run HOME/instance-2674235-1276804370.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 1.00 3/106 14592 /proc/meminfo: memFree=1850236/2059040 swapFree=4139832/4192956 [pid=14592] ppid=14590 vsize=8700 CPUtime=0 /proc/14592/stat : 14592 (run) S 14590 14592 14199 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 56040920 8908800 250 1992294400 4194304 4922060 140735232252832 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14592/statm: 2175 250 211 178 0 68 0 [startup+0.0843839 s] /proc/loadavg: 1.00 1.00 1.00 3/106 14592 /proc/meminfo: memFree=1850236/2059040 swapFree=4139832/4192956 [pid=14592] ppid=14590 vsize=8700 CPUtime=0 /proc/14592/stat : 14592 (run) S 14590 14592 14199 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 56040920 8908800 250 1992294400 4194304 4922060 140735232252832 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14592/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100384 s] /proc/loadavg: 1.00 1.00 1.00 3/106 14592 /proc/meminfo: memFree=1850236/2059040 swapFree=4139832/4192956 [pid=14592] ppid=14590 vsize=8700 CPUtime=0 /proc/14592/stat : 14592 (run) S 14590 14592 14199 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 56040920 8908800 250 1992294400 4194304 4922060 140735232252832 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14592/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300401 s] /proc/loadavg: 1.00 1.00 1.00 3/106 14592 /proc/meminfo: memFree=1850236/2059040 swapFree=4139832/4192956 [pid=14592] ppid=14590 vsize=8700 CPUtime=0 /proc/14592/stat : 14592 (run) S 14590 14592 14199 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 56040920 8908800 250 1992294400 4194304 4922060 140735232252832 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14592/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700433 s] /proc/loadavg: 1.00 1.00 1.00 3/106 14592 /proc/meminfo: memFree=1850236/2059040 swapFree=4139832/4192956 [pid=14592] ppid=14590 vsize=8700 CPUtime=0 /proc/14592/stat : 14592 (run) S 14590 14592 14199 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 56040920 8908800 250 1992294400 4194304 4922060 140735232252832 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14592/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14595 /proc/meminfo: memFree=1648348/2059040 swapFree=4139832/4192956 [pid=14592] ppid=14590 vsize=8700 CPUtime=0 /proc/14592/stat : 14592 (run) S 14590 14592 14199 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 56040920 8908800 250 1992294400 4194304 4922060 140735232252832 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14592/statm: 2175 250 211 178 0 68 0 [pid=14594] ppid=14592 vsize=297412 CPUtime=1.48 /proc/14594/stat : 14594 (PBPASSolver) R 14592 14592 14199 0 -1 4202496 73813 0 0 0 58 90 0 0 25 0 1 0 56040921 304549888 73750 1992294400 134512640 134902295 4289900464 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/14594/statm: 74353 73750 256 96 0 73565 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 306112 [startup+3.10163 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14595 /proc/meminfo: memFree=1449328/2059040 swapFree=4139832/4192956 [pid=14592] ppid=14590 vsize=8700 CPUtime=0 /proc/14592/stat : 14592 (run) S 14590 14592 14199 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 56040920 8908800 250 1992294400 4194304 4922060 140735232252832 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14592/statm: 2175 250 211 178 0 68 0 [pid=14594] ppid=14592 vsize=568004 CPUtime=3.08 /proc/14594/stat : 14594 (PBPASSolver) R 14592 14592 14199 0 -1 4202496 141499 0 0 0 136 172 0 0 25 0 1 0 56040921 581636096 141436 1992294400 134512640 134902295 4289900464 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/14594/statm: 142001 141436 256 96 0 141213 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 576704 [startup+6.30189 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14595 /proc/meminfo: memFree=942416/2059040 swapFree=4139832/4192956 [pid=14592] ppid=14590 vsize=8700 CPUtime=0 /proc/14592/stat : 14592 (run) S 14590 14592 14199 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 56040920 8908800 250 1992294400 4194304 4922060 140735232252832 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14592/statm: 2175 250 211 178 0 68 0 [pid=14594] ppid=14592 vsize=1030116 CPUtime=6.29 /proc/14594/stat : 14594 (PBPASSolver) R 14592 14592 14199 0 -1 4202496 257003 0 0 0 307 322 0 0 25 0 1 0 56040921 1054838784 256940 1992294400 134512640 134902295 4289900464 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/14594/statm: 257529 256940 256 96 0 256741 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1038816 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14595 /proc/meminfo: memFree=381440/2059040 swapFree=4139832/4192956 [pid=14592] ppid=14590 vsize=8700 CPUtime=0 /proc/14592/stat : 14592 (run) S 14590 14592 14199 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 56040920 8908800 250 1992294400 4194304 4922060 140735232252832 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14592/statm: 2175 250 211 178 0 68 0 [pid=14594] ppid=14592 vsize=1482260 CPUtime=12.68 /proc/14594/stat : 14594 (PBPASSolver) R 14592 14592 14199 0 -1 4202496 371431 0 0 0 817 451 0 0 25 0 1 0 56040921 1517834240 369573 1992294400 134512640 134902295 4289900464 18446744073709551615 134588032 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/14594/statm: 370565 369576 262 96 0 369777 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1490960 [startup+25.5004 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14595 /proc/meminfo: memFree=144972/2059040 swapFree=4139832/4192956 [pid=14592] ppid=14590 vsize=8700 CPUtime=0 /proc/14592/stat : 14592 (run) S 14590 14592 14199 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 56040920 8908800 250 1992294400 4194304 4922060 140735232252832 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14592/statm: 2175 250 211 178 0 68 0 [pid=14594] ppid=14592 vsize=1716828 CPUtime=25.48 /proc/14594/stat : 14594 (PBPASSolver) R 14592 14592 14199 0 -1 4202496 431544 0 0 0 2070 478 0 0 25 0 1 0 56040921 1758031872 426654 1992294400 134512640 134902295 4289900464 18446744073709551615 4160083118 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/14594/statm: 429207 426654 262 96 0 428419 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1725528 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+32.202 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14595 /proc/meminfo: memFree=27172/2059040 swapFree=4139832/4192956 [pid=14592] ppid=14590 vsize=8700 CPUtime=0 /proc/14592/stat : 14592 (run) S 14590 14592 14199 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 56040920 8908800 250 1992294400 4194304 4922060 140735232252832 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14592/statm: 2175 250 211 178 0 68 0 [pid=14594] ppid=14592 vsize=1835296 CPUtime=32.18 /proc/14594/stat : 14594 (PBPASSolver) R 14592 14592 14199 0 -1 4202496 460786 0 0 0 2726 492 0 0 25 0 1 0 56040921 1879343104 454944 1992294400 134512640 134902295 4289900464 18446744073709551615 10954236 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/14594/statm: 458824 454944 262 96 0 458036 0 Current children cumulated CPU time (s) 32.18 Current children cumulated vsize (KiB) 1843996 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 14592 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=1999 # CPU time returned by wait4() is 0.003998 # while last known CPU time is 32.18 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 32.2163 CPU time (s): 32.18 CPU user time (s): 27.26 CPU system time (s): 4.92 CPU usage (%): 99.8874 Max. virtual memory (cumulated for all children) (KiB): 1843996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001999 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 522 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3 runsolver used 0.05999 second user time and 0.171973 second system time The end
Begin job on node003 at 2010-06-17 21:52:50 IDJOB=2674235 IDBENCH=2948 IDSOLVER=1174 FILE ID=node003/2674235-1276804370 PBS_JOBID= 11176647 Free space on /tmp= 62524 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_13.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674235-1276804370/watcher-2674235-1276804370 -o /tmp/evaluation-result-2674235-1276804370/solver-2674235-1276804370 -C 1800 -W 2000 -M 1800 run HOME/instance-2674235-1276804370.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e41be903cf92c8332743e4188dbf4c82 RANDOM SEED=1811472427 node003.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.251 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.50 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.251 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: 1850632 kB Buffers: 16308 kB Cached: 98500 kB SwapCached: 5344 kB Active: 7324 kB Inactive: 119564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1850632 kB SwapTotal: 4192956 kB SwapFree: 4139832 kB Dirty: 1840 kB Writeback: 0 kB AnonPages: 10968 kB Mapped: 12876 kB Slab: 59536 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183484 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= 62524 MiB End job on node003 at 2010-06-17 21:53:24