Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (MO) | 84.68 | 84.722 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb |
MD5SUM | 5d1a4fe23dd6bae39a646bf16e233a2d |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 159425264299921103 |
Best CPU time to get the best result obtained on this benchmark | 1800.33 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 168760139499919105 |
Optimality of the best value was proved | NO |
Number of variables | 6363 |
Total number of constraints | 785 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 785 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 141 |
Number of terms in the objective function | 3774 |
Biggest coefficient in the objective function | 3604480000000000 |
Number of bits for the biggest coefficient in the objective function | 52 |
Sum of the numbers in the objective function | 483609165299803395 |
Number of bits of the sum of numbers in the objective function | 59 |
Biggest number in a constraint | 3604480000000000 |
Number of bits of the biggest number in a constraint | 52 |
Biggest sum of numbers in a constraint | 483609165299803395 |
Number of bits of the biggest sum of numbers | 59 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
2.29/2.39 c 6363 785 0 0 0 0 0 0 2.29/2.39 c 2048 ~x6376+1024 ~x6375+512 ~x6374+256 ~x6373+128 ~x6372+64 ~x6371+32 ~x6370+16 ~x6369+8 ~x6368+4 ~x6367+2 ~x6366+1 ~x6365+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=8190 2.29/2.39 c 8192 ~x8610+4096 ~x8609+2048 ~x8608+1024 ~x8607+512 ~x8606+256 ~x8605+128 ~x8604+64 ~x8603+32 ~x8602+16 ~x8601+8 ~x8600+4 ~x8599+2 ~x8598+1 ~x8597+8192 ~x1740+4096 ~x1739+2048 ~x1738+1024 ~x1737+512 ~x1736+256 ~x1735+128 ~x1734+64 ~x1733+32 ~x1732+16 ~x1731+8 ~x1730+4 ~x1729+2 ~x1728+1 ~x1727-0=26622 2.39/2.48 c 8192 ~x11938+4096 ~x11937+2048 ~x11936+1024 ~x11935+512 ~x11934+256 ~x11933+128 ~x11932+64 ~x11931+32 ~x11930+16 ~x11929+8 ~x11928+4 ~x11927+2 ~x11926+1 ~x11925+8192 ~x3438+4096 ~x3437+2048 ~x3436+1024 ~x3435+512 ~x3434+256 ~x3433+128 ~x3432+64 ~x3431+32 ~x3430+16 ~x3429+8 ~x3428+4 ~x3427+2 ~x3426+1 ~x3425-0=26622 2.49/2.56 c 8192 ~x15266+4096 ~x15265+2048 ~x15264+1024 ~x15263+512 ~x15262+256 ~x15261+128 ~x15260+64 ~x15259+32 ~x15258+16 ~x15257+8 ~x15256+4 ~x15255+2 ~x15254+1 ~x15253+8192 ~x4890+4096 ~x4889+2048 ~x4888+1024 ~x4887+512 ~x4886+256 ~x4885+128 ~x4884+64 ~x4883+32 ~x4882+16 ~x4881+8 ~x4880+4 ~x4879+2 ~x4878+1 ~x4877-0=26622 2.59/2.64 c 4096 ~x18593+2048 ~x18592+1024 ~x18591+512 ~x18590+256 ~x18589+128 ~x18588+64 ~x18587+32 ~x18586+16 ~x18585+8 ~x18584+4 ~x18583+2 ~x18582+1 ~x18581+4096 ~x5220+2048 ~x5219+1024 ~x5218+512 ~x5217+256 ~x5216+128 ~x5215+64 ~x5214+32 ~x5213+16 ~x5212+8 ~x5211+4 ~x5210+2 ~x5209+1 ~x5208-0=13310 2.68/2.70 c 4096 ~x21171+2048 ~x21170+1024 ~x21169+512 ~x21168+256 ~x21167+128 ~x21166+64 ~x21165+32 ~x21164+16 ~x21163+8 ~x21162+4 ~x21161+2 ~x21160+1 ~x21159+4096 ~x5565+2048 ~x5564+1024 ~x5563+512 ~x5562+256 ~x5561+128 ~x5560+64 ~x5559+32 ~x5558+16 ~x5557+8 ~x5556+4 ~x5555+2 ~x5554+1 ~x5553-0=13310 2.68/2.77 c 4096 ~x23749+2048 ~x23748+1024 ~x23747+512 ~x23746+256 ~x23745+128 ~x23744+64 ~x23743+32 ~x23742+16 ~x23741+8 ~x23740+4 ~x23739+2 ~x23738+1 ~x23737+4096 ~x5858+2048 ~x5857+1024 ~x5856+512 ~x5855+256 ~x5854+128 ~x5853+64 ~x5852+32 ~x5851+16 ~x5850+8 ~x5849+4 ~x5848+2 ~x5847+1 ~x5846-0=13310 2.79/2.83 c 8192 ~x26328+4096 ~x26327+2048 ~x26326+1024 ~x26325+512 ~x26324+256 ~x26323+128 ~x26322+64 ~x26321+32 ~x26320+16 ~x26319+8 ~x26318+4 ~x26317+2 ~x26316+1 ~x26315+8192 ~x6032+4096 ~x6031+2048 ~x6030+1024 ~x6029+512 ~x6028+256 ~x6027+128 ~x6026+64 ~x6025+32 ~x6024+16 ~x6023+8 ~x6022+4 ~x6021+2 ~x6020+1 ~x6019-0=26622 2.89/2.91 c 8192 ~x29656+4096 ~x29655+2048 ~x29654+1024 ~x29653+512 ~x29652+256 ~x29651+128 ~x29650+64 ~x29649+32 ~x29648+16 ~x29647+8 ~x29646+4 ~x29645+2 ~x29644+1 ~x29643+8192 ~x6205+4096 ~x6204+2048 ~x6203+1024 ~x6202+512 ~x6201+256 ~x6200+128 ~x6199+64 ~x6198+32 ~x6197+16 ~x6196+8 ~x6195+4 ~x6194+2 ~x6193+1 ~x6192-0=26622 2.89/2.99 c 2048 ~x32982+1024 ~x32981+512 ~x32980+256 ~x32979+128 ~x32978+64 ~x32977+32 ~x32976+16 ~x32975+8 ~x32974+4 ~x32973+2 ~x32972+1 ~x32971+2048 ~x26+1024 ~x25+512 ~x24+256 ~x23+128 ~x22+64 ~x21+32 ~x20+16 ~x19+8 ~x18+4 ~x17+2 ~x16+1 ~x15-0=8190 2.98/3.05 c 4096 ~x35215+2048 ~x35214+1024 ~x35213+512 ~x35212+256 ~x35211+128 ~x35210+64 ~x35209+32 ~x35208+16 ~x35207+8 ~x35206+4 ~x35205+2 ~x35204+1 ~x35203+4096 ~x194+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182-0=15358 3.08/3.11 c 4096 ~x37793+2048 ~x37792+1024 ~x37791+512 ~x37790+256 ~x37789+128 ~x37788+64 ~x37787+32 ~x37786+16 ~x37785+8 ~x37784+4 ~x37783+2 ~x37782+1 ~x37781+4096 ~x364+2048 ~x363+1024 ~x362+512 ~x361+256 ~x360+128 ~x359+64 ~x358+32 ~x357+16 ~x356+8 ~x355+4 ~x354+2 ~x353+1 ~x352-0=13310 3.08/3.17 c 4096 ~x40371+2048 ~x40370+1024 ~x40369+512 ~x40368+256 ~x40367+128 ~x40366+64 ~x40365+32 ~x40364+16 ~x40363+8 ~x40362+4 ~x40361+2 ~x40360+1 ~x40359+4096 ~x534+2048 ~x533+1024 ~x532+512 ~x531+256 ~x530+128 ~x529+64 ~x528+32 ~x527+16 ~x526+8 ~x525+4 ~x524+2 ~x523+1 ~x522-0=14334 3.19/3.23 c 4096 ~x42949+2048 ~x42948+1024 ~x42947+512 ~x42946+256 ~x42945+128 ~x42944+64 ~x42943+32 ~x42942+16 ~x42941+8 ~x42940+4 ~x42939+2 ~x42938+1 ~x42937+4096 ~x710+2048 ~x709+1024 ~x708+512 ~x707+256 ~x706+128 ~x705+64 ~x704+32 ~x703+16 ~x702+8 ~x701+4 ~x700+2 ~x699+1 ~x698-0=14334 3.19/3.29 c 4096 ~x45527+2048 ~x45526+1024 ~x45525+512 ~x45524+256 ~x45523+128 ~x45522+64 ~x45521+32 ~x45520+16 ~x45519+8 ~x45518+4 ~x45517+2 ~x45516+1 ~x45515+4096 ~x883+2048 ~x882+1024 ~x881+512 ~x880+256 ~x879+128 ~x878+64 ~x877+32 ~x876+16 ~x875+8 ~x874+4 ~x873+2 ~x872+1 ~x871-0=13310 3.29/3.36 c 2048 ~x48104+1024 ~x48103+512 ~x48102+256 ~x48101+128 ~x48100+64 ~x48099+32 ~x48098+16 ~x48097+8 ~x48096+4 ~x48095+2 ~x48094+1 ~x48093+2048 ~x1055+1024 ~x1054+512 ~x1053+256 ~x1052+128 ~x1051+64 ~x1050+32 ~x1049+16 ~x1048+8 ~x1047+4 ~x1046+2 ~x1045+1 ~x1044-0=8190 3.39/3.41 c 4096 ~x50337+2048 ~x50336+1024 ~x50335+512 ~x50334+256 ~x50333+128 ~x50332+64 ~x50331+32 ~x50330+16 ~x50329+8 ~x50328+4 ~x50327+2 ~x50326+1 ~x50325+4096 ~x1226+2048 ~x1225+1024 ~x1224+512 ~x1223+256 ~x1222+128 ~x1221+64 ~x1220+32 ~x1219+16 ~x1218+8 ~x1217+4 ~x1216+2 ~x1215+1 ~x1214-0=14334 3.39/3.47 c 8192 ~x52916+4096 ~x52915+2048 ~x52914+1024 ~x52913+512 ~x52912+256 ~x52911+128 ~x52910+64 ~x52909+32 ~x52908+16 ~x52907+8 ~x52906+4 ~x52905+2 ~x52904+1 ~x52903+8192 ~x1400+4096 ~x1399+2048 ~x1398+1024 ~x1397+512 ~x1396+256 ~x1395+128 ~x1394+64 ~x1393+32 ~x1392+16 ~x1391+8 ~x1390+4 ~x1389+2 ~x1388+1 ~x1387-0=25598 3.49/3.55 c 8192 ~x56244+4096 ~x56243+2048 ~x56242+1024 ~x56241+512 ~x56240+256 ~x56239+128 ~x56238+64 ~x56237+32 ~x56236+16 ~x56235+8 ~x56234+4 ~x56233+2 ~x56232+1 ~x56231+8192 ~x1570+4096 ~x1569+2048 ~x1568+1024 ~x1567+512 ~x1566+256 ~x1565+128 ~x1564+64 ~x1563+32 ~x1562+16 ~x1561+8 ~x1560+4 ~x1559+2 ~x1558+1 ~x1557-0=27646 3.59/3.64 c 4096 ~x59571+2048 ~x59570+1024 ~x59569+512 ~x59568+256 ~x59567+128 ~x59566+64 ~x59565+32 ~x59564+16 ~x59563+8 ~x59562+4 ~x59561+2 ~x59560+1 ~x59559+4096 ~x1755+2048 ~x1754+1024 ~x1753+512 ~x1752+256 ~x1751+128 ~x1750+64 ~x1749+32 ~x1748+16 ~x1747+8 ~x1746+4 ~x1745+2 ~x1744+1 ~x1743-0=13310 3.69/3.70 c 4096 ~x62149+2048 ~x62148+1024 ~x62147+512 ~x62146+256 ~x62145+128 ~x62144+64 ~x62143+32 ~x62142+16 ~x62141+8 ~x62140+4 ~x62139+2 ~x62138+1 ~x62137+4096 ~x1925+2048 ~x1924+1024 ~x1923+512 ~x1922+256 ~x1921+128 ~x1920+64 ~x1919+32 ~x1918+16 ~x1917+8 ~x1916+4 ~x1915+2 ~x1914+1 ~x1913-0=13310 3.69/3.76 c 4096 ~x64727+2048 ~x64726+1024 ~x64725+512 ~x64724+256 ~x64723+128 ~x64722+64 ~x64721+32 ~x64720+16 ~x64719+8 ~x64718+4 ~x64717+2 ~x64716+1 ~x64715+4096 ~x2092+2048 ~x2091+1024 ~x2090+512 ~x2089+256 ~x2088+128 ~x2087+64 ~x2086+32 ~x2085+16 ~x2084+8 ~x2083+4 ~x2082+2 ~x2081+1 ~x2080-0=13310 3.78/3.82 c 4096 ~x67305+2048 ~x67304+1024 ~x67303+512 ~x67302+256 ~x67301+128 ~x67300+64 ~x67299+32 ~x67298+16 ~x67297+8 ~x67296+4 ~x67295+2 ~x67294+1 ~x67293+4096 ~x2265+2048 ~x2264+1024 ~x2263+512 ~x2262+256 ~x2261+128 ~x2260+64 ~x2259+32 ~x2258+16 ~x2257+8 ~x2256+4 ~x2255+2 ~x2254+1 ~x2253-0=13310 3.78/3.88 c 4096 ~x69883+2048 ~x69882+1024 ~x69881+512 ~x69880+256 ~x69879+128 ~x69878+64 ~x69877+32 ~x69876+16 ~x69875+8 ~x69874+4 ~x69873+2 ~x69872+1 ~x69871+4096 ~x2432+2048 ~x2431+1024 ~x2430+512 ~x2429+256 ~x2428+128 ~x2427+64 ~x2426+32 ~x2425+16 ~x2424+8 ~x2423+4 ~x2422+2 ~x2421+1 ~x2420-0=13310 3.88/3.95 c 4096 ~x72461+2048 ~x72460+1024 ~x72459+512 ~x72458+256 ~x72457+128 ~x72456+64 ~x72455+32 ~x72454+16 ~x72453+8 ~x72452+4 ~x72451+2 ~x72450+1 ~x72449+4096 ~x2596+2048 ~x2595+1024 ~x2594+512 ~x2593+256 ~x2592+128 ~x2591+64 ~x2590+32 ~x2589+16 ~x2588+8 ~x2587+4 ~x2586+2 ~x2585+1 ~x2584-0=13310 3.99/4.01 c 4096 ~x75039+2048 ~x75038+1024 ~x75037+512 ~x75036+256 ~x75035+128 ~x75034+64 ~x75033+32 ~x75032+16 ~x75031+8 ~x75030+4 ~x75029+2 ~x75028+1 ~x75027+4096 ~x2769+2048 ~x2768+1024 ~x2767+512 ~x2766+256 ~x2765+128 ~x2764+64 ~x2763+32 ~x2762+16 ~x2761+8 ~x2760+4 ~x2759+2 ~x2758+1 ~x2757-0=13310 3.99/4.07 c 4096 ~x77617+2048 ~x77616+1024 ~x77615+512 ~x77614+256 ~x77613+128 ~x77612+64 ~x77611+32 ~x77610+16 ~x77609+8 ~x77608+4 ~x77607+2 ~x77606+1 ~x77605+4096 ~x2945+2048 ~x2944+1024 ~x2943+512 ~x2942+256 ~x2941+128 ~x2940+64 ~x2939+32 ~x2938+16 ~x2937+8 ~x2936+4 ~x2935+2 ~x2934+1 ~x2933-0=13310 4.09/4.13 c 4096 ~x80195+2048 ~x80194+1024 ~x80193+512 ~x80192+256 ~x80191+128 ~x80190+64 ~x80189+32 ~x80188+16 ~x80187+8 ~x80186+4 ~x80185+2 ~x80184+1 ~x80183+4096 ~x3109+2048 ~x3108+1024 ~x3107+512 ~x3106+256 ~x3105+128 ~x3104+64 ~x3103+32 ~x3102+16 ~x3101+8 ~x3100+4 ~x3099+2 ~x3098+1 ~x3097-0=13310 4.09/4.19 c 8192 ~x82774+4096 ~x82773+2048 ~x82772+1024 ~x82771+512 ~x82770+256 ~x82769+128 ~x82768+64 ~x82767+32 ~x82766+16 ~x82765+8 ~x82764+4 ~x82763+2 ~x82762+1 ~x82761+8192 ~x3271+4096 ~x3270+2048 ~x3269+1024 ~x3268+512 ~x3267+256 ~x3266+128 ~x3265+64 ~x3264+32 ~x3263+16 ~x3262+8 ~x3261+4 ~x3260+2 ~x3259+1 ~x3258-0=26622 4.19/4.30 c 4096 ~x86101+2048 ~x86100+1024 ~x86099+512 ~x86098+256 ~x86097+128 ~x86096+64 ~x86095+32 ~x86094+16 ~x86093+8 ~x86092+4 ~x86091+2 ~x86090+1 ~x86089+4096 ~x3453+2048 ~x3452+1024 ~x3451+512 ~x3450+256 ~x3449+128 ~x3448+64 ~x3447+32 ~x3446+16 ~x3445+8 ~x3444+4 ~x3443+2 ~x3442+1 ~x3441-0=14334 4.29/4.36 c 2048 ~x88678+1024 ~x88677+512 ~x88676+256 ~x88675+128 ~x88674+64 ~x88673+32 ~x88672+16 ~x88671+8 ~x88670+4 ~x88669+2 ~x88668+1 ~x88667+2048 ~x3625+1024 ~x3624+512 ~x3623+256 ~x3622+128 ~x3621+64 ~x3620+32 ~x3619+16 ~x3618+8 ~x3617+4 ~x3616+2 ~x3615+1 ~x3614-0=8190 4.39/4.42 c 8192 ~x90912+4096 ~x90911+2048 ~x90910+1024 ~x90909+512 ~x90908+256 ~x90907+128 ~x90906+64 ~x90905+32 ~x90904+16 ~x90903+8 ~x90902+4 ~x90901+2 ~x90900+1 ~x90899+8192 ~x3794+4096 ~x3793+2048 ~x3792+1024 ~x3791+512 ~x3790+256 ~x3789+128 ~x3788+64 ~x3787+32 ~x3786+16 ~x3785+8 ~x3784+4 ~x3783+2 ~x3782+1 ~x3781-0=25598 4.49/4.51 c 4096 ~x94239+2048 ~x94238+1024 ~x94237+512 ~x94236+256 ~x94235+128 ~x94234+64 ~x94233+32 ~x94232+16 ~x94231+8 ~x94230+4 ~x94229+2 ~x94228+1 ~x94227+4096 ~x3963+2048 ~x3962+1024 ~x3961+512 ~x3960+256 ~x3959+128 ~x3958+64 ~x3957+32 ~x3956+16 ~x3955+8 ~x3954+4 ~x3953+2 ~x3952+1 ~x3951-0=13310 4.49/4.57 c 4096 ~x96817+2048 ~x96816+1024 ~x96815+512 ~x96814+256 ~x96813+128 ~x96812+64 ~x96811+32 ~x96810+16 ~x96809+8 ~x96808+4 ~x96807+2 ~x96806+1 ~x96805+4096 ~x4130+2048 ~x4129+1024 ~x4128+512 ~x4127+256 ~x4126+128 ~x4125+64 ~x4124+32 ~x4123+16 ~x4122+8 ~x4121+4 ~x4120+2 ~x4119+1 ~x4118-0=14334 4.59/4.64 c 4096 ~x99395+2048 ~x99394+1024 ~x99393+512 ~x99392+256 ~x99391+128 ~x99390+64 ~x99389+32 ~x99388+16 ~x99387+8 ~x99386+4 ~x99385+2 ~x99384+1 ~x99383+4096 ~x4300+2048 ~x4299+1024 ~x4298+512 ~x4297+256 ~x4296+128 ~x4295+64 ~x4294+32 ~x4293+16 ~x4292+8 ~x4291+4 ~x4290+2 ~x4289+1 ~x4288-0=15358 4.68/4.70 c 2048 ~x101972+1024 ~x101971+512 ~x101970+256 ~x101969+128 ~x101968+64 ~x101967+32 ~x101966+16 ~x101965+8 ~x101964+4 ~x101963+2 ~x101962+1 ~x101961+2048 ~x4466+1024 ~x4465+512 ~x4464+256 ~x4463+128 ~x4462+64 ~x4461+32 ~x4460+16 ~x4459+8 ~x4458+4 ~x4457+2 ~x4456+1 ~x4455-0=8190 4.68/4.75 c 4096 ~x104205+2048 ~x104204+1024 ~x104203+512 ~x104202+256 ~x104201+128 ~x104200+64 ~x104199+32 ~x104198+16 ~x104197+8 ~x104196+4 ~x104195+2 ~x104194+1 ~x104193+4096 ~x4640+2048 ~x4639+1024 ~x4638+512 ~x4637+256 ~x4636+128 ~x4635+64 ~x4634+32 ~x4633+16 ~x4632+8 ~x4631+4 ~x4630+2 ~x4629+1 ~x4628-0=13310 4.78/4.81 c 4096 ~x106783+2048 ~x106782+1024 ~x106781+512 ~x106780+256 ~x106779+128 ~x106778+64 ~x106777+32 ~x106776+16 ~x106775+8 ~x106774+4 ~x106773+2 ~x106772+1 ~x106771+4096 ~x4804+2048 ~x4803+1024 ~x4802+512 ~x4801+256 ~x4800+128 ~x4799+64 ~x4798+32 ~x4797+16 ~x4796+8 ~x4795+4 ~x4794+2 ~x4793+1 ~x4792-0=15358 4.78/4.88 c 2048 ~x109360+1024 ~x109359+512 ~x109358+256 ~x109357+128 ~x109356+64 ~x109355+32 ~x109354+16 ~x109353+8 ~x109352+4 ~x109351+2 ~x109350+1 ~x109349+2048 ~x4863+1024 ~x4862+512 ~x4861+256 ~x4860+128 ~x4859+64 ~x4858+32 ~x4857+16 ~x4856+8 ~x4855+4 ~x4854+2 ~x4853+1 ~x4852-0=8190 4.89/4.93 c 2048 ~x111592+1024 ~x111591+512 ~x111590+256 ~x111589+128 ~x111588+64 ~x111587+32 ~x111586+16 ~x111585+8 ~x111584+4 ~x111583+2 ~x111582+1 ~x111581+2048 ~x4904+1024 ~x4903+512 ~x4902+256 ~x4901+128 ~x4900+64 ~x4899+32 ~x4898+16 ~x4897+8 ~x4896+4 ~x4895+2 ~x4894+1 ~x4893-0=8190 4.89/4.99 c 4096 ~x113825+2048 ~x113824+1024 ~x113823+512 ~x113822+256 ~x113821+128 ~x113820+64 ~x113819+32 ~x113818+16 ~x113817+8 ~x113816+4 ~x113815+2 ~x113814+1 ~x113813+4096 ~x4932+2048 ~x4931+1024 ~x4930+512 ~x4929+256 ~x4928+128 ~x4927+64 ~x4926+32 ~x4925+16 ~x4924+8 ~x4923+4 ~x4922+2 ~x4921+1 ~x4920-0=14334 4.99/5.05 c 4096 ~x116403+2048 ~x116402+1024 ~x116401+512 ~x116400+256 ~x116399+128 ~x116398+64 ~x116397+32 ~x116396+16 ~x116395+8 ~x116394+4 ~x116393+2 ~x116392+1 ~x116391+4096 ~x4968+2048 ~x4967+1024 ~x4966+512 ~x4965+256 ~x4964+128 ~x4963+64 ~x4962+32 ~x4961+16 ~x4960+8 ~x4959+4 ~x4958+2 ~x4957+1 ~x4956-0=14334 5.09/5.11 c 4096 ~x118981+2048 ~x118980+1024 ~x118979+512 ~x118978+256 ~x118977+128 ~x118976+64 ~x118975+32 ~x118974+16 ~x118973+8 ~x118972+4 ~x118971+2 ~x118970+1 ~x118969+4096 ~x5000+2048 ~x4999+1024 ~x4998+512 ~x4997+256 ~x4996+128 ~x4995+64 ~x4994+32 ~x4993+16 ~x4992+8 ~x4991+4 ~x4990+2 ~x4989+1 ~x4988-0=13310 5.09/5.18 c 4096 ~x121559+2048 ~x121558+1024 ~x121557+512 ~x121556+256 ~x121555+128 ~x121554+64 ~x121553+32 ~x121552+16 ~x121551+8 ~x121550+4 ~x121549+2 ~x121548+1 ~x121547+4096 ~x5024+2048 ~x5023+1024 ~x5022+512 ~x5021+256 ~x5020+128 ~x5019+64 ~x5018+32 ~x5017+16 ~x5016+8 ~x5015+4 ~x5014+2 ~x5013+1 ~x5012-0=13310 5.18/5.24 c 4096 ~x124137+2048 ~x124136+1024 ~x124135+512 ~x124134+256 ~x124133+128 ~x124132+64 ~x124131+32 ~x124130+16 ~x124129+8 ~x124128+4 ~x124127+2 ~x124126+1 ~x124125+4096 ~x5049+2048 ~x5048+1024 ~x5047+512 ~x5046+256 ~x5045+128 ~x5044+64 ~x5043+32 ~x5042+16 ~x5041+8 ~x5040+4 ~x5039+2 ~x5038+1 ~x5037-0=13310 5.28/5.30 c 4096 ~x126715+2048 ~x126714+1024 ~x126713+512 ~x126712+256 ~x126711+128 ~x126710+64 ~x126709+32 ~x126708+16 ~x126707+8 ~x126706+4 ~x126705+2 ~x126704+1 ~x126703+4096 ~x5078+2048 ~x5077+1024 ~x5076+512 ~x5075+256 ~x5074+128 ~x5073+64 ~x5072+32 ~x5071+16 ~x5070+8 ~x5069+4 ~x5068+2 ~x5067+1 ~x5066-0=13310 5.28/5.36 c 2048 ~x129292+1024 ~x129291+512 ~x129290+256 ~x129289+128 ~x129288+64 ~x129287+32 ~x129286+16 ~x129285+8 ~x129284+4 ~x129283+2 ~x129282+1 ~x129281+2048 ~x5107+1024 ~x5106+512 ~x5105+256 ~x5104+128 ~x5103+64 ~x5102+32 ~x5101+16 ~x5100+8 ~x5099+4 ~x5098+2 ~x5097+1 ~x5096-0=8190 5.39/5.42 c 4096 ~x131525+2048 ~x131524+1024 ~x131523+512 ~x131522+256 ~x131521+128 ~x131520+64 ~x131519+32 ~x131518+16 ~x131517+8 ~x131516+4 ~x131515+2 ~x131514+1 ~x131513+4096 ~x5140+2048 ~x5139+1024 ~x5138+512 ~x5137+256 ~x5136+128 ~x5135+64 ~x5134+32 ~x5133+16 ~x5132+8 ~x5131+4 ~x5130+2 ~x5129+1 ~x5128-0=13310 5.39/5.48 c 8192 ~x134104+4096 ~x134103+2048 ~x134102+1024 ~x134101+512 ~x134100+256 ~x134099+128 ~x134098+64 ~x134097+32 ~x134096+16 ~x134095+8 ~x134094+4 ~x134093+2 ~x134092+1 ~x134091+8192 ~x5182+4096 ~x5181+2048 ~x5180+1024 ~x5179+512 ~x5178+256 ~x5177+128 ~x5176+64 ~x5175+32 ~x5174+16 ~x5173+8 ~x5172+4 ~x5171+2 ~x5170+1 ~x5169-0=28670 5.49/5.56 c 8192 ~x137432+4096 ~x137431+2048 ~x137430+1024 ~x137429+512 ~x137428+256 ~x137427+128 ~x137426+64 ~x137425+32 ~x137424+16 ~x137423+8 ~x137422+4 ~x137421+2 ~x137420+1 ~x137419+8192 ~x5237+4096 ~x5236+2048 ~x5235+1024 ~x5234+512 ~x5233+256 ~x5232+128 ~x5231+64 ~x5230+32 ~x5229+16 ~x5228+8 ~x5227+4 ~x5226+2 ~x5225+1 ~x5224-0=26622 5.59/5.65 c 4096 ~x140759+2048 ~x140758+1024 ~x140757+512 ~x140756+256 ~x140755+128 ~x140754+64 ~x140753+32 ~x140752+16 ~x140751+8 ~x140750+4 ~x140749+2 ~x140748+1 ~x140747+4096 ~x5266+2048 ~x5265+1024 ~x5264+512 ~x5263+256 ~x5262+128 ~x5261+64 ~x5260+32 ~x5259+16 ~x5258+8 ~x5257+4 ~x5256+2 ~x5255+1 ~x5254-0=13310 5.69/5.71 c 4096 ~x143337+2048 ~x143336+1024 ~x143335+512 ~x143334+256 ~x143333+128 ~x143332+64 ~x143331+32 ~x143330+16 ~x143329+8 ~x143328+4 ~x143327+2 ~x143326+1 ~x143325+4096 ~x5296+2048 ~x5295+1024 ~x5294+512 ~x5293+256 ~x5292+128 ~x5291+64 ~x5290+32 ~x5289+16 ~x5288+8 ~x5287+4 ~x5286+2 ~x5285+1 ~x5284-0=13310 5.69/5.77 c 8192 ~x145916+4096 ~x145915+2048 ~x145914+1024 ~x145913+512 ~x145912+256 ~x145911+128 ~x145910+64 ~x145909+32 ~x145908+16 ~x145907+8 ~x145906+4 ~x145905+2 ~x145904+1 ~x145903+8192 ~x5332+4096 ~x5331+2048 ~x5330+1024 ~x5329+512 ~x5328+256 ~x5327+128 ~x5326+64 ~x5325+32 ~x5324+16 ~x5323+8 ~x5322+4 ~x5321+2 ~x5320+1 ~x5319-0=26622 5.79/5.85 c 16384 ~x149245+8192 ~x149244+4096 ~x149243+2048 ~x149242+1024 ~x149241+512 ~x149240+256 ~x149239+128 ~x149238+64 ~x149237+32 ~x149236+16 ~x149235+8 ~x149234+4 ~x149233+2 ~x149232+1 ~x149231+16384 ~x5367+8192 ~x5366+4096 ~x5365+2048 ~x5364+1024 ~x5363+512 ~x5362+256 ~x5361+128 ~x5360+64 ~x5359+32 ~x5358+16 ~x5357+8 ~x5356+4 ~x5355+2 ~x5354+1 ~x5353-0=58366 5.89/5.94 c 2048 ~x153113+1024 ~x153112+512 ~x153111+256 ~x153110+128 ~x153109+64 ~x153108+32 ~x153107+16 ~x153106+8 ~x153105+4 ~x153104+2 ~x153103+1 ~x153102+2048 ~x5397+1024 ~x5396+512 ~x5395+256 ~x5394+128 ~x5393+64 ~x5392+32 ~x5391+16 ~x5390+8 ~x5389+4 ~x5388+2 ~x5387+1 ~x5386-0=8190 5.98/6.00 c 8192 ~x155347+4096 ~x155346+2048 ~x155345+1024 ~x155344+512 ~x155343+256 ~x155342+128 ~x155341+64 ~x155340+32 ~x155339+16 ~x155338+8 ~x155337+4 ~x155336+2 ~x155335+1 ~x155334+8192 ~x5429+4096 ~x5428+2048 ~x5427+1024 ~x5426+512 ~x5425+256 ~x5424+128 ~x5423+64 ~x5422+32 ~x5421+16 ~x5420+8 ~x5419+4 ~x5418+2 ~x5417+1 ~x5416-0=28670 5.98/6.08 c 8192 ~x158675+4096 ~x158674+2048 ~x158673+1024 ~x158672+512 ~x158671+256 ~x158670+128 ~x158669+64 ~x158668+32 ~x158667+16 ~x158666+8 ~x158665+4 ~x158664+2 ~x158663+1 ~x158662+8192 ~x5459+4096 ~x5458+2048 ~x5457+1024 ~x5456+512 ~x5455+256 ~x5454+128 ~x5453+64 ~x5452+32 ~x5451+16 ~x5450+8 ~x5449+4 ~x5448+2 ~x5447+1 ~x5446-0=28670 6.08/6.16 c 4096 ~x162002+2048 ~x162001+1024 ~x162000+512 ~x161999+256 ~x161998+128 ~x161997+64 ~x161996+32 ~x161995+16 ~x161994+8 ~x161993+4 ~x161992+2 ~x161991+1 ~x161990+4096 ~x5492+2048 ~x5491+1024 ~x5490+512 ~x5489+256 ~x5488+128 ~x5487+64 ~x5486+32 ~x5485+16 ~x5484+8 ~x5483+4 ~x5482+2 ~x5481+1 ~x5480-0=16382 6.19/6.23 c 4096 ~x164580+2048 ~x164579+1024 ~x164578+512 ~x164577+256 ~x164576+128 ~x164575+64 ~x164574+32 ~x164573+16 ~x164572+8 ~x164571+4 ~x164570+2 ~x164569+1 ~x164568+4096 ~x5531+2048 ~x5530+1024 ~x5529+512 ~x5528+256 ~x5527+128 ~x5526+64 ~x5525+32 ~x5524+16 ~x5523+8 ~x5522+4 ~x5521+2 ~x5520+1 ~x5519-0=13310 6.19/6.29 c 2048 ~x167157+1024 ~x167156+512 ~x167155+256 ~x167154+128 ~x167153+64 ~x167152+32 ~x167151+16 ~x167150+8 ~x167149+4 ~x167148+2 ~x167147+1 ~x167146+2048 ~x5580+1024 ~x5579+512 ~x5578+256 ~x5577+128 ~x5576+64 ~x5575+32 ~x5574+16 ~x5573+8 ~x5572+4 ~x5571+2 ~x5570+1 ~x5569-0=8190 6.29/6.34 c 4096 ~x169390+2048 ~x169389+1024 ~x169388+512 ~x169387+256 ~x169386+128 ~x169385+64 ~x169384+32 ~x169383+16 ~x169382+8 ~x169381+4 ~x169380+2 ~x169379+1 ~x169378+4096 ~x5608+2048 ~x5607+1024 ~x5606+512 ~x5605+256 ~x5604+128 ~x5603+64 ~x5602+32 ~x5601+16 ~x5600+8 ~x5599+4 ~x5598+2 ~x5597+1 ~x5596-0=13310 6.39/6.40 c 4096 ~x171968+2048 ~x171967+1024 ~x171966+512 ~x171965+256 ~x171964+128 ~x171963+64 ~x171962+32 ~x171961+16 ~x171960+8 ~x171959+4 ~x171958+2 ~x171957+1 ~x171956+4096 ~x5642+2048 ~x5641+1024 ~x5640+512 ~x5639+256 ~x5638+128 ~x5637+64 ~x5636+32 ~x5635+16 ~x5634+8 ~x5633+4 ~x5632+2 ~x5631+1 ~x5630-0=13310 6.39/6.47 c 4096 ~x174546+2048 ~x174545+1024 ~x174544+512 ~x174543+256 ~x174542+128 ~x174541+64 ~x174540+32 ~x174539+16 ~x174538+8 ~x174537+4 ~x174536+2 ~x174535+1 ~x174534+4096 ~x5669+2048 ~x5668+1024 ~x5667+512 ~x5666+256 ~x5665+128 ~x5664+64 ~x5663+32 ~x5662+16 ~x5661+8 ~x5660+4 ~x5659+2 ~x5658+1 ~x5657-0=13310 6.49/6.53 c 4096 ~x177124+2048 ~x177123+1024 ~x177122+512 ~x177121+256 ~x177120+128 ~x177119+64 ~x177118+32 ~x177117+16 ~x177116+8 ~x177115+4 ~x177114+2 ~x177113+1 ~x177112+4096 ~x5704+2048 ~x5703+1024 ~x5702+512 ~x5701+256 ~x5700+128 ~x5699+64 ~x5698+32 ~x5697+16 ~x5696+8 ~x5695+4 ~x5694+2 ~x5693+1 ~x5692-0=13310 6.49/6.59 c 8192 ~x179703+4096 ~x179702+2048 ~x179701+1024 ~x179700+512 ~x179699+256 ~x179698+128 ~x179697+64 ~x179696+32 ~x179695+16 ~x179694+8 ~x179693+4 ~x179692+2 ~x179691+1 ~x179690+8192 ~x5743+4096 ~x5742+2048 ~x5741+1024 ~x5740+512 ~x5739+256 ~x5738+128 ~x5737+64 ~x5736+32 ~x5735+16 ~x5734+8 ~x5733+4 ~x5732+2 ~x5731+1 ~x5730-0=28670 6.59/6.68 c 8192 ~x183031+4096 ~x183030+2048 ~x183029+1024 ~x183028+512 ~x183027+256 ~x183026+128 ~x183025+64 ~x183024+32 ~x183023+16 ~x183022+8 ~x183021+4 ~x183020+2 ~x183019+1 ~x183018+8192 ~x5773+4096 ~x5772+2048 ~x5771+1024 ~x5770+512 ~x5769+256 ~x5768+128 ~x5767+64 ~x5766+32 ~x5765+16 ~x5764+8 ~x5763+4 ~x5762+2 ~x5761+1 ~x5760-0=26622 6.68/6.76 c 8192 ~x186359+4096 ~x186358+2048 ~x186357+1024 ~x186356+512 ~x186355+256 ~x186354+128 ~x186353+64 ~x186352+32 ~x186351+16 ~x186350+8 ~x186349+4 ~x186348+2 ~x186347+1 ~x186346+8192 ~x5802+4096 ~x5801+2048 ~x5800+1024 ~x5799+512 ~x5798+256 ~x5797+128 ~x5796+64 ~x5795+32 ~x5794+16 ~x5793+8 ~x5792+4 ~x5791+2 ~x5790+1 ~x5789-0=26622 6.79/6.84 c 4096 ~x189686+2048 ~x189685+1024 ~x189684+512 ~x189683+256 ~x189682+128 ~x189681+64 ~x189680+32 ~x189679+16 ~x189678+8 ~x189677+4 ~x189676+2 ~x189675+1 ~x189674+4096 ~x5826+2048 ~x5825+1024 ~x5824+512 ~x5823+256 ~x5822+128 ~x5821+64 ~x5820+32 ~x5819+16 ~x5818+8 ~x5817+4 ~x5816+2 ~x5815+1 ~x5814-0=13310 6.89/6.90 c 4096 ~x192264+2048 ~x192263+1024 ~x192262+512 ~x192261+256 ~x192260+128 ~x192259+64 ~x192258+32 ~x192257+16 ~x192256+8 ~x192255+4 ~x192254+2 ~x192253+1 ~x192252+4096 ~x5842+2048 ~x5841+1024 ~x5840+512 ~x5839+256 ~x5838+128 ~x5837+64 ~x5836+32 ~x5835+16 ~x5834+8 ~x5833+4 ~x5832+2 ~x5831+1 ~x5830-0=13310 6.89/6.96 c 8192 ~x194843+4096 ~x194842+2048 ~x194841+1024 ~x194840+512 ~x194839+256 ~x194838+128 ~x194837+64 ~x194836+32 ~x194835+16 ~x194834+8 ~x194833+4 ~x194832+2 ~x194831+1 ~x194830+8192 ~x5875+4096 ~x5874+2048 ~x5873+1024 ~x5872+512 ~x5871+256 ~x5870+128 ~x5869+64 ~x5868+32 ~x5867+16 ~x5866+8 ~x5865+4 ~x5864+2 ~x5863+1 ~x5862-0=26622 6.98/7.05 c 4096 ~x198170+2048 ~x198169+1024 ~x198168+512 ~x198167+256 ~x198166+128 ~x198165+64 ~x198164+32 ~x198163+16 ~x198162+8 ~x198161+4 ~x198160+2 ~x198159+1 ~x198158+4096 ~x5890+2048 ~x5889+1024 ~x5888+512 ~x5887+256 ~x5886+128 ~x5885+64 ~x5884+32 ~x5883+16 ~x5882+8 ~x5881+4 ~x5880+2 ~x5879+1 ~x5878-0=13310 7.08/7.11 c 4096 ~x200748+2048 ~x200747+1024 ~x200746+512 ~x200745+256 ~x200744+128 ~x200743+64 ~x200742+32 ~x200741+16 ~x200740+8 ~x200739+4 ~x200738+2 ~x200737+1 ~x200736+4096 ~x5906+2048 ~x5905+1024 ~x5904+512 ~x5903+256 ~x5902+128 ~x5901+64 ~x5900+32 ~x5899+16 ~x5898+8 ~x5897+4 ~x5896+2 ~x5895+1 ~x5894-0=13310 7.08/7.17 c 4096 ~x203326+2048 ~x203325+1024 ~x203324+512 ~x203323+256 ~x203322+128 ~x203321+64 ~x203320+32 ~x203319+16 ~x203318+8 ~x203317+4 ~x203316+2 ~x203315+1 ~x203314+4096 ~x5922+2048 ~x5921+1024 ~x5920+512 ~x5919+256 ~x5918+128 ~x5917+64 ~x5916+32 ~x5915+16 ~x5914+8 ~x5913+4 ~x5912+2 ~x5911+1 ~x5910-0=13310 7.18/7.23 c 4096 ~x205904+2048 ~x205903+1024 ~x205902+512 ~x205901+256 ~x205900+128 ~x205899+64 ~x205898+32 ~x205897+16 ~x205896+8 ~x205895+4 ~x205894+2 ~x205893+1 ~x205892+4096 ~x5938+2048 ~x5937+1024 ~x5936+512 ~x5935+256 ~x5934+128 ~x5933+64 ~x5932+32 ~x5931+16 ~x5930+8 ~x5929+4 ~x5928+2 ~x5927+1 ~x5926-0=13310 7.18/7.30 c 2048 ~x208481+1024 ~x208480+512 ~x208479+256 ~x208478+128 ~x208477+64 ~x208476+32 ~x208475+16 ~x208474+8 ~x208473+4 ~x208472+2 ~x208471+1 ~x208470+2048 ~x5953+1024 ~x5952+512 ~x5951+256 ~x5950+128 ~x5949+64 ~x5948+32 ~x5947+16 ~x5946+8 ~x5945+4 ~x5944+2 ~x5943+1 ~x5942-0=8190 7.29/7.35 c 4096 ~x210714+2048 ~x210713+1024 ~x210712+512 ~x210711+256 ~x210710+128 ~x210709+64 ~x210708+32 ~x210707+16 ~x210706+8 ~x210705+4 ~x210704+2 ~x210703+1 ~x210702+4096 ~x5967+2048 ~x5966+1024 ~x5965+512 ~x5964+256 ~x5963+128 ~x5962+64 ~x5961+32 ~x5960+16 ~x5959+8 ~x5958+4 ~x5957+2 ~x5956+1 ~x5955-0=13310 7.39/7.41 c 8192 ~x213293+4096 ~x213292+2048 ~x213291+1024 ~x213290+512 ~x213289+256 ~x213288+128 ~x213287+64 ~x213286+32 ~x213285+16 ~x213284+8 ~x213283+4 ~x213282+2 ~x213281+1 ~x213280+8192 ~x5984+4096 ~x5983+2048 ~x5982+1024 ~x5981+512 ~x5980+256 ~x5979+128 ~x5978+64 ~x5977+32 ~x5976+16 ~x5975+8 ~x5974+4 ~x5973+2 ~x5972+1 ~x5971-0=26622 7.48/7.50 c 8192 ~x216621+4096 ~x216620+2048 ~x216619+1024 ~x216618+512 ~x216617+256 ~x216616+128 ~x216615+64 ~x216614+32 ~x216613+16 ~x216612+8 ~x216611+4 ~x216610+2 ~x216609+1 ~x216608+8192 ~x6000+4096 ~x5999+2048 ~x5998+1024 ~x5997+512 ~x5996+256 ~x5995+128 ~x5994+64 ~x5993+32 ~x5992+16 ~x5991+8 ~x5990+4 ~x5989+2 ~x5988+1 ~x5987-0=29694 7.48/7.58 c 8192 ~x219949+4096 ~x219948+2048 ~x219947+1024 ~x219946+512 ~x219945+256 ~x219944+128 ~x219943+64 ~x219942+32 ~x219941+16 ~x219940+8 ~x219939+4 ~x219938+2 ~x219937+1 ~x219936+8192 ~x6016+4096 ~x6015+2048 ~x6014+1024 ~x6013+512 ~x6012+256 ~x6011+128 ~x6010+64 ~x6009+32 ~x6008+16 ~x6007+8 ~x6006+4 ~x6005+2 ~x6004+1 ~x6003-0=29694 7.59/7.66 c 8192 ~x223277+4096 ~x223276+2048 ~x223275+1024 ~x223274+512 ~x223273+256 ~x223272+128 ~x223271+64 ~x223270+32 ~x223269+16 ~x223268+8 ~x223267+4 ~x223266+2 ~x223265+1 ~x223264+8192 ~x6048+4096 ~x6047+2048 ~x6046+1024 ~x6045+512 ~x6044+256 ~x6043+128 ~x6042+64 ~x6041+32 ~x6040+16 ~x6039+8 ~x6038+4 ~x6037+2 ~x6036+1 ~x6035-0=29694 7.69/7.74 c 4096 ~x226604+2048 ~x226603+1024 ~x226602+512 ~x226601+256 ~x226600+128 ~x226599+64 ~x226598+32 ~x226597+16 ~x226596+8 ~x226595+4 ~x226594+2 ~x226593+1 ~x226592+4096 ~x6063+2048 ~x6062+1024 ~x6061+512 ~x6060+256 ~x6059+128 ~x6058+64 ~x6057+32 ~x6056+16 ~x6055+8 ~x6054+4 ~x6053+2 ~x6052+1 ~x6051-0=13310 7.78/7.81 c 4096 ~x229182+2048 ~x229181+1024 ~x229180+512 ~x229179+256 ~x229178+128 ~x229177+64 ~x229176+32 ~x229175+16 ~x229174+8 ~x229173+4 ~x229172+2 ~x229171+1 ~x229170+4096 ~x6079+2048 ~x6078+1024 ~x6077+512 ~x6076+256 ~x6075+128 ~x6074+64 ~x6073+32 ~x6072+16 ~x6071+8 ~x6070+4 ~x6069+2 ~x6068+1 ~x6067-0=13310 7.78/7.87 c 8192 ~x231761+4096 ~x231760+2048 ~x231759+1024 ~x231758+512 ~x231757+256 ~x231756+128 ~x231755+64 ~x231754+32 ~x231753+16 ~x231752+8 ~x231751+4 ~x231750+2 ~x231749+1 ~x231748+8192 ~x6096+4096 ~x6095+2048 ~x6094+1024 ~x6093+512 ~x6092+256 ~x6091+128 ~x6090+64 ~x6089+32 ~x6088+16 ~x6087+8 ~x6086+4 ~x6085+2 ~x6084+1 ~x6083-0=26622 7.89/7.95 c 8192 ~x235089+4096 ~x235088+2048 ~x235087+1024 ~x235086+512 ~x235085+256 ~x235084+128 ~x235083+64 ~x235082+32 ~x235081+16 ~x235080+8 ~x235079+4 ~x235078+2 ~x235077+1 ~x235076+8192 ~x6112+4096 ~x6111+2048 ~x6110+1024 ~x6109+512 ~x6108+256 ~x6107+128 ~x6106+64 ~x6105+32 ~x6104+16 ~x6103+8 ~x6102+4 ~x6101+2 ~x6100+1 ~x6099-0=26622 7.99/8.03 c 4096 ~x238416+2048 ~x238415+1024 ~x238414+512 ~x238413+256 ~x238412+128 ~x238411+64 ~x238410+32 ~x238409+16 ~x238408+8 ~x238407+4 ~x238406+2 ~x238405+1 ~x238404+4096 ~x6127+2048 ~x6126+1024 ~x6125+512 ~x6124+256 ~x6123+128 ~x6122+64 ~x6121+32 ~x6120+16 ~x6119+8 ~x6118+4 ~x6117+2 ~x6116+1 ~x6115-0=13310 7.99/8.09 c 1024 ~x240992+512 ~x240991+256 ~x240990+128 ~x240989+64 ~x240988+32 ~x240987+16 ~x240986+8 ~x240985+4 ~x240984+2 ~x240983+1 ~x240982+1024 ~x6141+512 ~x6140+256 ~x6139+128 ~x6138+64 ~x6137+32 ~x6136+16 ~x6135+8 ~x6134+4 ~x6133+2 ~x6132+1 ~x6131-0=4094 8.08/8.14 c 8192 ~x242816+4096 ~x242815+2048 ~x242814+1024 ~x242813+512 ~x242812+256 ~x242811+128 ~x242810+64 ~x242809+32 ~x242808+16 ~x242807+8 ~x242806+4 ~x242805+2 ~x242804+1 ~x242803+8192 ~x6157+4096 ~x6156+2048 ~x6155+1024 ~x6154+512 ~x6153+256 ~x6152+128 ~x6151+64 ~x6150+32 ~x6149+16 ~x6148+8 ~x6147+4 ~x6146+2 ~x6145+1 ~x6144-0=26622 8.18/8.22 c 8192 ~x246144+4096 ~x246143+2048 ~x246142+1024 ~x246141+512 ~x246140+256 ~x246139+128 ~x246138+64 ~x246137+32 ~x246136+16 ~x246135+8 ~x246134+4 ~x246133+2 ~x246132+1 ~x246131+8192 ~x6173+4096 ~x6172+2048 ~x6171+1024 ~x6170+512 ~x6169+256 ~x6168+128 ~x6167+64 ~x6166+32 ~x6165+16 ~x6164+8 ~x6163+4 ~x6162+2 ~x6161+1 ~x6160-0=26622 8.28/8.31 c 8192 ~x249472+4096 ~x249471+2048 ~x249470+1024 ~x249469+512 ~x249468+256 ~x249467+128 ~x249466+64 ~x249465+32 ~x249464+16 ~x249463+8 ~x249462+4 ~x249461+2 ~x249460+1 ~x249459+8192 ~x6189+4096 ~x6188+2048 ~x6187+1024 ~x6186+512 ~x6185+256 ~x6184+128 ~x6183+64 ~x6182+32 ~x6181+16 ~x6180+8 ~x6179+4 ~x6178+2 ~x6177+1 ~x6176-0=26622 8.28/8.39 c 8192 ~x252800+4096 ~x252799+2048 ~x252798+1024 ~x252797+512 ~x252796+256 ~x252795+128 ~x252794+64 ~x252793+32 ~x252792+16 ~x252791+8 ~x252790+4 ~x252789+2 ~x252788+1 ~x252787+8192 ~x6221+4096 ~x6220+2048 ~x6219+1024 ~x6218+512 ~x6217+256 ~x6216+128 ~x6215+64 ~x6214+32 ~x6213+16 ~x6212+8 ~x6211+4 ~x6210+2 ~x6209+1 ~x6208-0=26622 8.39/8.47 c 1024 ~x256125+512 ~x256124+256 ~x256123+128 ~x256122+64 ~x256121+32 ~x256120+16 ~x256119+8 ~x256118+4 ~x256117+2 ~x256116+1 ~x256115+1024 ~x6234+512 ~x6233+256 ~x6232+128 ~x6231+64 ~x6230+32 ~x6229+16 ~x6228+8 ~x6227+4 ~x6226+2 ~x6225+1 ~x6224-0=4094 8.49/8.52 c 4096 ~x257948+2048 ~x257947+1024 ~x257946+512 ~x257945+256 ~x257944+128 ~x257943+64 ~x257942+32 ~x257941+16 ~x257940+8 ~x257939+4 ~x257938+2 ~x257937+1 ~x257936+4096 ~x6249+2048 ~x6248+1024 ~x6247+512 ~x6246+256 ~x6245+128 ~x6244+64 ~x6243+32 ~x6242+16 ~x6241+8 ~x6240+4 ~x6239+2 ~x6238+1 ~x6237-0=13310 8.49/8.58 c 8192 ~x260527+4096 ~x260526+2048 ~x260525+1024 ~x260524+512 ~x260523+256 ~x260522+128 ~x260521+64 ~x260520+32 ~x260519+16 ~x260518+8 ~x260517+4 ~x260516+2 ~x260515+1 ~x260514+8192 ~x6266+4096 ~x6265+2048 ~x6264+1024 ~x6263+512 ~x6262+256 ~x6261+128 ~x6260+64 ~x6259+32 ~x6258+16 ~x6257+8 ~x6256+4 ~x6255+2 ~x6254+1 ~x6253-0=26622 8.58/8.66 c 8192 ~x263855+4096 ~x263854+2048 ~x263853+1024 ~x263852+512 ~x263851+256 ~x263850+128 ~x263849+64 ~x263848+32 ~x263847+16 ~x263846+8 ~x263845+4 ~x263844+2 ~x263843+1 ~x263842+8192 ~x6282+4096 ~x6281+2048 ~x6280+1024 ~x6279+512 ~x6278+256 ~x6277+128 ~x6276+64 ~x6275+32 ~x6274+16 ~x6273+8 ~x6272+4 ~x6271+2 ~x6270+1 ~x6269-0=26622 8.69/8.74 c 8192 ~x267183+4096 ~x267182+2048 ~x267181+1024 ~x267180+512 ~x267179+256 ~x267178+128 ~x267177+64 ~x267176+32 ~x267175+16 ~x267174+8 ~x267173+4 ~x267172+2 ~x267171+1 ~x267170+8192 ~x6298+4096 ~x6297+2048 ~x6296+1024 ~x6295+512 ~x6294+256 ~x6293+128 ~x6292+64 ~x6291+32 ~x6290+16 ~x6289+8 ~x6288+4 ~x6287+2 ~x6286+1 ~x6285-0=26622 8.79/8.83 c 8192 ~x270511+4096 ~x270510+2048 ~x270509+1024 ~x270508+512 ~x270507+256 ~x270506+128 ~x270505+64 ~x270504+32 ~x270503+16 ~x270502+8 ~x270501+4 ~x270500+2 ~x270499+1 ~x270498+8192 ~x6314+4096 ~x6313+2048 ~x6312+1024 ~x6311+512 ~x6310+256 ~x6309+128 ~x6308+64 ~x6307+32 ~x6306+16 ~x6305+8 ~x6304+4 ~x6303+2 ~x6302+1 ~x6301-0=26622 8.88/8.91 c 4096 ~x273838+2048 ~x273837+1024 ~x273836+512 ~x273835+256 ~x273834+128 ~x273833+64 ~x273832+32 ~x273831+16 ~x273830+8 ~x273829+4 ~x273828+2 ~x273827+1 ~x273826+4096 ~x6329+2048 ~x6328+1024 ~x6327+512 ~x6326+256 ~x6325+128 ~x6324+64 ~x6323+32 ~x6322+16 ~x6321+8 ~x6320+4 ~x6319+2 ~x6318+1 ~x6317-0=13310 8.88/8.97 c 4096 ~x276416+2048 ~x276415+1024 ~x276414+512 ~x276413+256 ~x276412+128 ~x276411+64 ~x276410+32 ~x276409+16 ~x276408+8 ~x276407+4 ~x276406+2 ~x276405+1 ~x276404+4096 ~x6345+2048 ~x6344+1024 ~x6343+512 ~x6342+256 ~x6341+128 ~x6340+64 ~x6339+32 ~x6338+16 ~x6337+8 ~x6336+4 ~x6335+2 ~x6334+1 ~x6333-0=13310 8.98/9.03 c 8192 ~x278995+4096 ~x278994+2048 ~x278993+1024 ~x278992+512 ~x278991+256 ~x278990+128 ~x278989+64 ~x278988+32 ~x278987+16 ~x278986+8 ~x278985+4 ~x278984+2 ~x278983+1 ~x278982+8192 ~x6362+4096 ~x6361+2048 ~x6360+1024 ~x6359+512 ~x6358+256 ~x6357+128 ~x6356+64 ~x6355+32 ~x6354+16 ~x6353+8 ~x6352+4 ~x6351+2 ~x6350+1 ~x6349-0=26622 9.09/9.11 c 8192 ~x282323+4096 ~x282322+2048 ~x282321+1024 ~x282320+512 ~x282319+256 ~x282318+128 ~x282317+64 ~x282316+32 ~x282315+16 ~x282314+8 ~x282313+4 ~x282312+2 ~x282311+1 ~x282310+8192 ~x41+4096 ~x40+2048 ~x39+1024 ~x38+512 ~x37+256 ~x36+128 ~x35+64 ~x34+32 ~x33+16 ~x32+8 ~x31+4 ~x30+2 ~x29+1 ~x28-0=26622 9.09/9.20 c 4096 ~x285650+2048 ~x285649+1024 ~x285648+512 ~x285647+256 ~x285646+128 ~x285645+64 ~x285644+32 ~x285643+16 ~x285642+8 ~x285641+4 ~x285640+2 ~x285639+1 ~x285638+4096 ~x56+2048 ~x55+1024 ~x54+512 ~x53+256 ~x52+128 ~x51+64 ~x50+32 ~x49+16 ~x48+8 ~x47+4 ~x46+2 ~x45+1 ~x44-0=13310 9.19/9.26 c 4096 ~x288228+2048 ~x288227+1024 ~x288226+512 ~x288225+256 ~x288224+128 ~x288223+64 ~x288222+32 ~x288221+16 ~x288220+8 ~x288219+4 ~x288218+2 ~x288217+1 ~x288216+4096 ~x72+2048 ~x71+1024 ~x70+512 ~x69+256 ~x68+128 ~x67+64 ~x66+32 ~x65+16 ~x64+8 ~x63+4 ~x62+2 ~x61+1 ~x60-0=13310 9.28/9.32 c 4096 ~x290806+2048 ~x290805+1024 ~x290804+512 ~x290803+256 ~x290802+128 ~x290801+64 ~x290800+32 ~x290799+16 ~x290798+8 ~x290797+4 ~x290796+2 ~x290795+1 ~x290794+4096 ~x88+2048 ~x87+1024 ~x86+512 ~x85+256 ~x84+128 ~x83+64 ~x82+32 ~x81+16 ~x80+8 ~x79+4 ~x78+2 ~x77+1 ~x76-0=13310 9.28/9.38 c 4096 ~x293384+2048 ~x293383+1024 ~x293382+512 ~x293381+256 ~x293380+128 ~x293379+64 ~x293378+32 ~x293377+16 ~x293376+8 ~x293375+4 ~x293374+2 ~x293373+1 ~x293372+4096 ~x104+2048 ~x103+1024 ~x102+512 ~x101+256 ~x100+128 ~x99+64 ~x98+32 ~x97+16 ~x96+8 ~x95+4 ~x94+2 ~x93+1 ~x92-0=13310 9.38/9.44 c 4096 ~x295962+2048 ~x295961+1024 ~x295960+512 ~x295959+256 ~x295958+128 ~x295957+64 ~x295956+32 ~x295955+16 ~x295954+8 ~x295953+4 ~x295952+2 ~x295951+1 ~x295950+4096 ~x120+2048 ~x119+1024 ~x118+512 ~x117+256 ~x116+128 ~x115+64 ~x114+32 ~x113+16 ~x112+8 ~x111+4 ~x110+2 ~x109+1 ~x108-0=13310 9.48/9.51 c 4096 ~x298540+2048 ~x298539+1024 ~x298538+512 ~x298537+256 ~x298536+128 ~x298535+64 ~x298534+32 ~x298533+16 ~x298532+8 ~x298531+4 ~x298530+2 ~x298529+1 ~x298528+4096 ~x136+2048 ~x135+1024 ~x134+512 ~x133+256 ~x132+128 ~x131+64 ~x130+32 ~x129+16 ~x128+8 ~x127+4 ~x126+2 ~x125+1 ~x124-0=13310 9.48/9.57 c 4096 ~x301118+2048 ~x301117+1024 ~x301116+512 ~x301115+256 ~x301114+128 ~x301113+64 ~x301112+32 ~x301111+16 ~x301110+8 ~x301109+4 ~x301108+2 ~x301107+1 ~x301106+4096 ~x152+2048 ~x151+1024 ~x150+512 ~x149+256 ~x148+128 ~x147+64 ~x146+32 ~x145+16 ~x144+8 ~x143+4 ~x142+2 ~x141+1 ~x140-0=13310 9.58/9.63 c 1024 ~x303694+512 ~x303693+256 ~x303692+128 ~x303691+64 ~x303690+32 ~x303689+16 ~x303688+8 ~x303687+4 ~x303686+2 ~x303685+1 ~x303684+1024 ~x166+512 ~x165+256 ~x164+128 ~x163+64 ~x162+32 ~x161+16 ~x160+8 ~x159+4 ~x158+2 ~x157+1 ~x156-0=4094 9.69/9.72 c 1024 ~x305515+512 ~x305514+256 ~x305513+128 ~x305512+64 ~x305511+32 ~x305510+16 ~x305509+8 ~x305508+4 ~x305507+2 ~x305506+1 ~x305505+1024 ~x179+512 ~x178+256 ~x177+128 ~x176+64 ~x175+32 ~x174+16 ~x173+8 ~x172+4 ~x171+2 ~x170+1 ~x169-0=4094 9.69/9.72 c 8192 ~x307339+4096 ~x307338+2048 ~x307337+1024 ~x307336+512 ~x307335+256 ~x307334+128 ~x307333+64 ~x307332+32 ~x307331+16 ~x307330+8 ~x307329+4 ~x307328+2 ~x307327+1 ~x307326+8192 ~x211+4096 ~x210+2048 ~x209+1024 ~x208+512 ~x207+256 ~x206+128 ~x205+64 ~x204+32 ~x203+16 ~x202+8 ~x201+4 ~x200+2 ~x199+1 ~x198-0=26622 9.79/9.81 c 8192 ~x310667+4096 ~x310666+2048 ~x310665+1024 ~x310664+512 ~x310663+256 ~x310662+128 ~x310661+64 ~x310660+32 ~x310659+16 ~x310658+8 ~x310657+4 ~x310656+2 ~x310655+1 ~x310654+8192 ~x227+4096 ~x226+2048 ~x225+1024 ~x224+512 ~x223+256 ~x222+128 ~x221+64 ~x220+32 ~x219+16 ~x218+8 ~x217+4 ~x216+2 ~x215+1 ~x214-0=26622 9.79/9.89 c 4096 ~x313994+2048 ~x313993+1024 ~x313992+512 ~x313991+256 ~x313990+128 ~x313989+64 ~x313988+32 ~x313987+16 ~x313986+8 ~x313985+4 ~x313984+2 ~x313983+1 ~x313982+4096 ~x242+2048 ~x241+1024 ~x240+512 ~x239+256 ~x238+128 ~x237+64 ~x236+32 ~x235+16 ~x234+8 ~x233+4 ~x232+2 ~x231+1 ~x230-0=13310 9.89/9.95 c 2048 ~x316571+1024 ~x316570+512 ~x316569+256 ~x316568+128 ~x316567+64 ~x316566+32 ~x316565+16 ~x316564+8 ~x316563+4 ~x316562+2 ~x316561+1 ~x316560+2048 ~x257+1024 ~x256+512 ~x255+256 ~x254+128 ~x253+64 ~x252+32 ~x251+16 ~x250+8 ~x249+4 ~x248+2 ~x247+1 ~x246-0=8190 9.98/10.01 c 8192 ~x318805+4096 ~x318804+2048 ~x318803+1024 ~x318802+512 ~x318801+256 ~x318800+128 ~x318799+64 ~x318798+32 ~x318797+16 ~x318796+8 ~x318795+4 ~x318794+2 ~x318793+1 ~x318792+8192 ~x272+4096 ~x271+2048 ~x270+1024 ~x269+512 ~x268+256 ~x267+128 ~x266+64 ~x265+32 ~x264+16 ~x263+8 ~x262+4 ~x261+2 ~x260+1 ~x259-0=29694 9.98/10.09 c 4096 ~x322132+2048 ~x322131+1024 ~x322130+512 ~x322129+256 ~x322128+128 ~x322127+64 ~x322126+32 ~x322125+16 ~x322124+8 ~x322123+4 ~x322122+2 ~x322121+1 ~x322120+4096 ~x287+2048 ~x286+1024 ~x285+512 ~x284+256 ~x283+128 ~x282+64 ~x281+32 ~x280+16 ~x279+8 ~x278+4 ~x277+2 ~x276+1 ~x275-0=13310 10.08/10.15 c 4096 ~x324710+2048 ~x324709+1024 ~x324708+512 ~x324707+256 ~x324706+128 ~x324705+64 ~x324704+32 ~x324703+16 ~x324702+8 ~x324701+4 ~x324700+2 ~x324699+1 ~x324698+4096 ~x303+2048 ~x302+1024 ~x301+512 ~x300+256 ~x299+128 ~x298+64 ~x297+32 ~x296+16 ~x295+8 ~x294+4 ~x293+2 ~x292+1 ~x291-0=13310 10.19/10.21 c 2048 ~x327287+1024 ~x327286+512 ~x327285+256 ~x327284+128 ~x327283+64 ~x327282+32 ~x327281+16 ~x327280+8 ~x327279+4 ~x327278+2 ~x327277+1 ~x327276+2048 ~x318+1024 ~x317+512 ~x316+256 ~x315+128 ~x314+64 ~x313+32 ~x312+16 ~x311+8 ~x310+4 ~x309+2 ~x308+1 ~x307-0=8190 10.19/10.27 c 4096 ~x329520+2048 ~x329519+1024 ~x329518+512 ~x329517+256 ~x329516+128 ~x329515+64 ~x329514+32 ~x329513+16 ~x329512+8 ~x329511+4 ~x329510+2 ~x329509+1 ~x329508+4096 ~x332+2048 ~x331+1024 ~x330+512 ~x329+256 ~x328+128 ~x327+64 ~x326+32 ~x325+16 ~x324+8 ~x323+4 ~x322+2 ~x321+1 ~x320-0=13310 10.29/10.33 c 4096 ~x332098+2048 ~x332097+1024 ~x332096+512 ~x332095+256 ~x332094+128 ~x332093+64 ~x332092+32 ~x332091+16 ~x332090+8 ~x332089+4 ~x332088+2 ~x332087+1 ~x332086+4096 ~x348+2048 ~x347+1024 ~x346+512 ~x345+256 ~x344+128 ~x343+64 ~x342+32 ~x341+16 ~x340+8 ~x339+4 ~x338+2 ~x337+1 ~x336-0=13310 10.38/10.40 c 4096 ~x334676+2048 ~x334675+1024 ~x334674+512 ~x334673+256 ~x334672+128 ~x334671+64 ~x334670+32 ~x334669+16 ~x334668+8 ~x334667+4 ~x334666+2 ~x334665+1 ~x334664+4096 ~x380+2048 ~x379+1024 ~x378+512 ~x377+256 ~x376+128 ~x375+64 ~x374+32 ~x373+16 ~x372+8 ~x371+4 ~x370+2 ~x369+1 ~x368-0=13310 10.38/10.46 c 4096 ~x337254+2048 ~x337253+1024 ~x337252+512 ~x337251+256 ~x337250+128 ~x337249+64 ~x337248+32 ~x337247+16 ~x337246+8 ~x337245+4 ~x337244+2 ~x337243+1 ~x337242+4096 ~x396+2048 ~x395+1024 ~x394+512 ~x393+256 ~x392+128 ~x391+64 ~x390+32 ~x389+16 ~x388+8 ~x387+4 ~x386+2 ~x385+1 ~x384-0=13310 10.48/10.52 c 8192 ~x339833+4096 ~x339832+2048 ~x339831+1024 ~x339830+512 ~x339829+256 ~x339828+128 ~x339827+64 ~x339826+32 ~x339825+16 ~x339824+8 ~x339823+4 ~x339822+2 ~x339821+1 ~x339820+8192 ~x413+4096 ~x412+2048 ~x411+1024 ~x410+512 ~x409+256 ~x408+128 ~x407+64 ~x406+32 ~x405+16 ~x404+8 ~x403+4 ~x402+2 ~x401+1 ~x400-0=28670 10.59/10.61 c 4096 ~x343160+2048 ~x343159+1024 ~x343158+512 ~x343157+256 ~x343156+128 ~x343155+64 ~x343154+32 ~x343153+16 ~x343152+8 ~x343151+4 ~x343150+2 ~x343149+1 ~x343148+4096 ~x428+2048 ~x427+1024 ~x426+512 ~x425+256 ~x424+128 ~x423+64 ~x422+32 ~x421+16 ~x420+8 ~x419+4 ~x418+2 ~x417+1 ~x416-0=13310 10.59/10.67 c 8192 ~x345739+4096 ~x345738+2048 ~x345737+1024 ~x345736+512 ~x345735+256 ~x345734+128 ~x345733+64 ~x345732+32 ~x345731+16 ~x345730+8 ~x345729+4 ~x345728+2 ~x345727+1 ~x345726+8192 ~x445+4096 ~x444+2048 ~x443+1024 ~x442+512 ~x441+256 ~x440+128 ~x439+64 ~x438+32 ~x437+16 ~x436+8 ~x435+4 ~x434+2 ~x433+1 ~x432-0=26622 10.69/10.75 c 8192 ~x349067+4096 ~x349066+2048 ~x349065+1024 ~x349064+512 ~x349063+256 ~x349062+128 ~x349061+64 ~x349060+32 ~x349059+16 ~x349058+8 ~x349057+4 ~x349056+2 ~x349055+1 ~x349054+8192 ~x461+4096 ~x460+2048 ~x459+1024 ~x458+512 ~x457+256 ~x456+128 ~x455+64 ~x454+32 ~x453+16 ~x452+8 ~x451+4 ~x450+2 ~x449+1 ~x448-0=26622 10.78/10.83 c 8192 ~x352395+4096 ~x352394+2048 ~x352393+1024 ~x352392+512 ~x352391+256 ~x352390+128 ~x352389+64 ~x352388+32 ~x352387+16 ~x352386+8 ~x352385+4 ~x352384+2 ~x352383+1 ~x352382+8192 ~x477+4096 ~x476+2048 ~x475+1024 ~x474+512 ~x473+256 ~x472+128 ~x471+64 ~x470+32 ~x469+16 ~x468+8 ~x467+4 ~x466+2 ~x465+1 ~x464-0=26622 10.89/10.91 c 2048 ~x355721+1024 ~x355720+512 ~x355719+256 ~x355718+128 ~x355717+64 ~x355716+32 ~x355715+16 ~x355714+8 ~x355713+4 ~x355712+2 ~x355711+1 ~x355710+2048 ~x491+1024 ~x490+512 ~x489+256 ~x488+128 ~x487+64 ~x486+32 ~x485+16 ~x484+8 ~x483+4 ~x482+2 ~x481+1 ~x480-0=8190 10.89/10.97 c 4096 ~x357954+2048 ~x357953+1024 ~x357952+512 ~x357951+256 ~x357950+128 ~x357949+64 ~x357948+32 ~x357947+16 ~x357946+8 ~x357945+4 ~x357944+2 ~x357943+1 ~x357942+4096 ~x505+2048 ~x504+1024 ~x503+512 ~x502+256 ~x501+128 ~x500+64 ~x499+32 ~x498+16 ~x497+8 ~x496+4 ~x495+2 ~x494+1 ~x493-0=13310 10.99/11.03 c 2048 ~x360531+1024 ~x360530+512 ~x360529+256 ~x360528+128 ~x360527+64 ~x360526+32 ~x360525+16 ~x360524+8 ~x360523+4 ~x360522+2 ~x360521+1 ~x360520+2048 ~x520+1024 ~x519+512 ~x518+256 ~x517+128 ~x516+64 ~x515+32 ~x514+16 ~x513+8 ~x512+4 ~x511+2 ~x510+1 ~x509-0=8190 10.99/11.09 c 4096 ~x362764+2048 ~x362763+1024 ~x362762+512 ~x362761+256 ~x362760+128 ~x362759+64 ~x362758+32 ~x362757+16 ~x362756+8 ~x362755+4 ~x362754+2 ~x362753+1 ~x362752+4096 ~x550+2048 ~x549+1024 ~x548+512 ~x547+256 ~x546+128 ~x545+64 ~x544+32 ~x543+16 ~x542+8 ~x541+4 ~x540+2 ~x539+1 ~x538-0=13310 11.09/11.15 c 8192 ~x365343+4096 ~x365342+2048 ~x365341+1024 ~x365340+512 ~x365339+256 ~x365338+128 ~x365337+64 ~x365336+32 ~x365335+16 ~x365334+8 ~x365333+4 ~x365332+2 ~x365331+1 ~x365330+8192 ~x567+4096 ~x566+2048 ~x565+1024 ~x564+512 ~x563+256 ~x562+128 ~x561+64 ~x560+32 ~x559+16 ~x558+8 ~x557+4 ~x556+2 ~x555+1 ~x554-0=28670 11.19/11.23 c 8192 ~x368671+4096 ~x368670+2048 ~x368669+1024 ~x368668+512 ~x368667+256 ~x368666+128 ~x368665+64 ~x368664+32 ~x368663+16 ~x368662+8 ~x368661+4 ~x368660+2 ~x368659+1 ~x368658+8192 ~x583+4096 ~x582+2048 ~x581+1024 ~x580+512 ~x579+256 ~x578+128 ~x577+64 ~x576+32 ~x575+16 ~x574+8 ~x573+4 ~x572+2 ~x571+1 ~x570-0=28670 11.29/11.31 c 8192 ~x371999+4096 ~x371998+2048 ~x371997+1024 ~x371996+512 ~x371995+256 ~x371994+128 ~x371993+64 ~x371992+32 ~x371991+16 ~x371990+8 ~x371989+4 ~x371988+2 ~x371987+1 ~x371986+8192 ~x599+4096 ~x598+2048 ~x597+1024 ~x596+512 ~x595+256 ~x594+128 ~x593+64 ~x592+32 ~x591+16 ~x590+8 ~x589+4 ~x588+2 ~x587+1 ~x586-0=28670 11.29/11.39 c 4096 ~x375326+2048 ~x375325+1024 ~x375324+512 ~x375323+256 ~x375322+128 ~x375321+64 ~x375320+32 ~x375319+16 ~x375318+8 ~x375317+4 ~x375316+2 ~x375315+1 ~x375314+4096 ~x614+2048 ~x613+1024 ~x612+512 ~x611+256 ~x610+128 ~x609+64 ~x608+32 ~x607+16 ~x606+8 ~x605+4 ~x604+2 ~x603+1 ~x602-0=13310 11.39/11.46 c 8192 ~x377905+4096 ~x377904+2048 ~x377903+1024 ~x377902+512 ~x377901+256 ~x377900+128 ~x377899+64 ~x377898+32 ~x377897+16 ~x377896+8 ~x377895+4 ~x377894+2 ~x377893+1 ~x377892+8192 ~x631+4096 ~x630+2048 ~x629+1024 ~x628+512 ~x627+256 ~x626+128 ~x625+64 ~x624+32 ~x623+16 ~x622+8 ~x621+4 ~x620+2 ~x619+1 ~x618-0=28670 11.48/11.54 c 8192 ~x381233+4096 ~x381232+2048 ~x381231+1024 ~x381230+512 ~x381229+256 ~x381228+128 ~x381227+64 ~x381226+32 ~x381225+16 ~x381224+8 ~x381223+4 ~x381222+2 ~x381221+1 ~x381220+8192 ~x647+4096 ~x646+2048 ~x645+1024 ~x644+512 ~x643+256 ~x642+128 ~x641+64 ~x640+32 ~x639+16 ~x638+8 ~x637+4 ~x636+2 ~x635+1 ~x634-0=28670 11.58/11.62 c 8192 ~x384561+4096 ~x384560+2048 ~x384559+1024 ~x384558+512 ~x384557+256 ~x384556+128 ~x384555+64 ~x384554+32 ~x384553+16 ~x384552+8 ~x384551+4 ~x384550+2 ~x384549+1 ~x384548+8192 ~x663+4096 ~x662+2048 ~x661+1024 ~x660+512 ~x659+256 ~x658+128 ~x657+64 ~x656+32 ~x655+16 ~x654+8 ~x653+4 ~x652+2 ~x651+1 ~x650-0=28670 11.69/11.70 c 8192 ~x387889+4096 ~x387888+2048 ~x387887+1024 ~x387886+512 ~x387885+256 ~x387884+128 ~x387883+64 ~x387882+32 ~x387881+16 ~x387880+8 ~x387879+4 ~x387878+2 ~x387877+1 ~x387876+8192 ~x679+4096 ~x678+2048 ~x677+1024 ~x676+512 ~x675+256 ~x674+128 ~x673+64 ~x672+32 ~x671+16 ~x670+8 ~x669+4 ~x668+2 ~x667+1 ~x666-0=28670 11.69/11.79 c 4096 ~x391216+2048 ~x391215+1024 ~x391214+512 ~x391213+256 ~x391212+128 ~x391211+64 ~x391210+32 ~x391209+16 ~x391208+8 ~x391207+4 ~x391206+2 ~x391205+1 ~x391204+4096 ~x694+2048 ~x693+1024 ~x692+512 ~x691+256 ~x690+128 ~x689+64 ~x688+32 ~x687+16 ~x686+8 ~x685+4 ~x684+2 ~x683+1 ~x682-0=13310 11.79/11.85 c 4096 ~x393794+2048 ~x393793+1024 ~x393792+512 ~x393791+256 ~x393790+128 ~x393789+64 ~x393788+32 ~x393787+16 ~x393786+8 ~x393785+4 ~x393784+2 ~x393783+1 ~x393782+4096 ~x726+2048 ~x725+1024 ~x724+512 ~x723+256 ~x722+128 ~x721+64 ~x720+32 ~x719+16 ~x718+8 ~x717+4 ~x716+2 ~x715+1 ~x714-0=13310 11.89/11.91 c 2048 ~x396371+1024 ~x396370+512 ~x396369+256 ~x396368+128 ~x396367+64 ~x396366+32 ~x396365+16 ~x396364+8 ~x396363+4 ~x396362+2 ~x396361+1 ~x396360+2048 ~x741+1024 ~x740+512 ~x739+256 ~x738+128 ~x737+64 ~x736+32 ~x735+16 ~x734+8 ~x733+4 ~x732+2 ~x731+1 ~x730-0=8190 11.89/11.97 c 8192 ~x398605+4096 ~x398604+2048 ~x398603+1024 ~x398602+512 ~x398601+256 ~x398600+128 ~x398599+64 ~x398598+32 ~x398597+16 ~x398596+8 ~x398595+4 ~x398594+2 ~x398593+1 ~x398592+8192 ~x756+4096 ~x755+2048 ~x754+1024 ~x753+512 ~x752+256 ~x751+128 ~x750+64 ~x749+32 ~x748+16 ~x747+8 ~x746+4 ~x745+2 ~x744+1 ~x743-0=29694 11.99/12.05 c 4096 ~x401932+2048 ~x401931+1024 ~x401930+512 ~x401929+256 ~x401928+128 ~x401927+64 ~x401926+32 ~x401925+16 ~x401924+8 ~x401923+4 ~x401922+2 ~x401921+1 ~x401920+4096 ~x771+2048 ~x770+1024 ~x769+512 ~x768+256 ~x767+128 ~x766+64 ~x765+32 ~x764+16 ~x763+8 ~x762+4 ~x761+2 ~x760+1 ~x759-0=13310 12.09/12.11 c 8192 ~x404511+4096 ~x404510+2048 ~x404509+1024 ~x404508+512 ~x404507+256 ~x404506+128 ~x404505+64 ~x404504+32 ~x404503+16 ~x404502+8 ~x404501+4 ~x404500+2 ~x404499+1 ~x404498+8192 ~x788+4096 ~x787+2048 ~x786+1024 ~x785+512 ~x784+256 ~x783+128 ~x782+64 ~x781+32 ~x780+16 ~x779+8 ~x778+4 ~x777+2 ~x776+1 ~x775-0=27646 12.09/12.19 c 4096 ~x407838+2048 ~x407837+1024 ~x407836+512 ~x407835+256 ~x407834+128 ~x407833+64 ~x407832+32 ~x407831+16 ~x407830+8 ~x407829+4 ~x407828+2 ~x407827+1 ~x407826+4096 ~x803+2048 ~x802+1024 ~x801+512 ~x800+256 ~x799+128 ~x798+64 ~x797+32 ~x796+16 ~x795+8 ~x794+4 ~x793+2 ~x792+1 ~x791-0=13310 12.18/12.25 c 4096 ~x410416+2048 ~x410415+1024 ~x410414+512 ~x410413+256 ~x410412+128 ~x410411+64 ~x410410+32 ~x410409+16 ~x410408+8 ~x410407+4 ~x410406+2 ~x410405+1 ~x410404+4096 ~x819+2048 ~x818+1024 ~x817+512 ~x816+256 ~x815+128 ~x814+64 ~x813+32 ~x812+16 ~x811+8 ~x810+4 ~x809+2 ~x808+1 ~x807-0=13310 12.28/12.31 c 4096 ~x412994+2048 ~x412993+1024 ~x412992+512 ~x412991+256 ~x412990+128 ~x412989+64 ~x412988+32 ~x412987+16 ~x412986+8 ~x412985+4 ~x412984+2 ~x412983+1 ~x412982+4096 ~x835+2048 ~x834+1024 ~x833+512 ~x832+256 ~x831+128 ~x830+64 ~x829+32 ~x828+16 ~x827+8 ~x826+4 ~x825+2 ~x824+1 ~x823-0=13310 12.28/12.38 c 4096 ~x415572+2048 ~x415571+1024 ~x415570+512 ~x415569+256 ~x415568+128 ~x415567+64 ~x415566+32 ~x415565+16 ~x415564+8 ~x415563+4 ~x415562+2 ~x415561+1 ~x415560+4096 ~x851+2048 ~x850+1024 ~x849+512 ~x848+256 ~x847+128 ~x846+64 ~x845+32 ~x844+16 ~x843+8 ~x842+4 ~x841+2 ~x840+1 ~x839-0=13310 12.38/12.45 c 4096 ~x418150+2048 ~x418149+1024 ~x418148+512 ~x418147+256 ~x418146+128 ~x418145+64 ~x418144+32 ~x418143+16 ~x418142+8 ~x418141+4 ~x418140+2 ~x418139+1 ~x418138+4096 ~x867+2048 ~x866+1024 ~x865+512 ~x864+256 ~x863+128 ~x862+64 ~x861+32 ~x860+16 ~x859+8 ~x858+4 ~x857+2 ~x856+1 ~x855-0=13310 12.48/12.51 c 8192 ~x420729+4096 ~x420728+2048 ~x420727+1024 ~x420726+512 ~x420725+256 ~x420724+128 ~x420723+64 ~x420722+32 ~x420721+16 ~x420720+8 ~x420719+4 ~x420718+2 ~x420717+1 ~x420716+8192 ~x900+4096 ~x899+2048 ~x898+1024 ~x897+512 ~x896+256 ~x895+128 ~x894+64 ~x893+32 ~x892+16 ~x891+8 ~x890+4 ~x889+2 ~x888+1 ~x887-0=27646 12.48/12.59 c 4096 ~x424056+2048 ~x424055+1024 ~x424054+512 ~x424053+256 ~x424052+128 ~x424051+64 ~x424050+32 ~x424049+16 ~x424048+8 ~x424047+4 ~x424046+2 ~x424045+1 ~x424044+4096 ~x915+2048 ~x914+1024 ~x913+512 ~x912+256 ~x911+128 ~x910+64 ~x909+32 ~x908+16 ~x907+8 ~x906+4 ~x905+2 ~x904+1 ~x903-0=13310 12.58/12.65 c 2048 ~x426633+1024 ~x426632+512 ~x426631+256 ~x426630+128 ~x426629+64 ~x426628+32 ~x426627+16 ~x426626+8 ~x426625+4 ~x426624+2 ~x426623+1 ~x426622+2048 ~x930+1024 ~x929+512 ~x928+256 ~x927+128 ~x926+64 ~x925+32 ~x924+16 ~x923+8 ~x922+4 ~x921+2 ~x920+1 ~x919-0=8190 12.69/12.71 c 8192 ~x428867+4096 ~x428866+2048 ~x428865+1024 ~x428864+512 ~x428863+256 ~x428862+128 ~x428861+64 ~x428860+32 ~x428859+16 ~x428858+8 ~x428857+4 ~x428856+2 ~x428855+1 ~x428854+8192 ~x945+4096 ~x944+2048 ~x943+1024 ~x942+512 ~x941+256 ~x940+128 ~x939+64 ~x938+32 ~x937+16 ~x936+8 ~x935+4 ~x934+2 ~x933+1 ~x932-0=26622 12.69/12.79 c 8192 ~x432195+4096 ~x432194+2048 ~x432193+1024 ~x432192+512 ~x432191+256 ~x432190+128 ~x432189+64 ~x432188+32 ~x432187+16 ~x432186+8 ~x432185+4 ~x432184+2 ~x432183+1 ~x432182+8192 ~x961+4096 ~x960+2048 ~x959+1024 ~x958+512 ~x957+256 ~x956+128 ~x955+64 ~x954+32 ~x953+16 ~x952+8 ~x951+4 ~x950+2 ~x949+1 ~x948-0=27646 12.79/12.87 c 8192 ~x435523+4096 ~x435522+2048 ~x435521+1024 ~x435520+512 ~x435519+256 ~x435518+128 ~x435517+64 ~x435516+32 ~x435515+16 ~x435514+8 ~x435513+4 ~x435512+2 ~x435511+1 ~x435510+8192 ~x977+4096 ~x976+2048 ~x975+1024 ~x974+512 ~x973+256 ~x972+128 ~x971+64 ~x970+32 ~x969+16 ~x968+8 ~x967+4 ~x966+2 ~x965+1 ~x964-0=26622 12.88/12.95 c 8192 ~x438851+4096 ~x438850+2048 ~x438849+1024 ~x438848+512 ~x438847+256 ~x438846+128 ~x438845+64 ~x438844+32 ~x438843+16 ~x438842+8 ~x438841+4 ~x438840+2 ~x438839+1 ~x438838+8192 ~x993+4096 ~x992+2048 ~x991+1024 ~x990+512 ~x989+256 ~x988+128 ~x987+64 ~x986+32 ~x985+16 ~x984+8 ~x983+4 ~x982+2 ~x981+1 ~x980-0=27646 12.98/13.03 c 8192 ~x442179+4096 ~x442178+2048 ~x442177+1024 ~x442176+512 ~x442175+256 ~x442174+128 ~x442173+64 ~x442172+32 ~x442171+16 ~x442170+8 ~x442169+4 ~x442168+2 ~x442167+1 ~x442166+8192 ~x1009+4096 ~x1008+2048 ~x1007+1024 ~x1006+512 ~x1005+256 ~x1004+128 ~x1003+64 ~x1002+32 ~x1001+16 ~x1000+8 ~x999+4 ~x998+2 ~x997+1 ~x996-0=26622 13.09/13.12 c 8192 ~x445507+4096 ~x445506+2048 ~x445505+1024 ~x445504+512 ~x445503+256 ~x445502+128 ~x445501+64 ~x445500+32 ~x445499+16 ~x445498+8 ~x445497+4 ~x445496+2 ~x445495+1 ~x445494+8192 ~x1025+4096 ~x1024+2048 ~x1023+1024 ~x1022+512 ~x1021+256 ~x1020+128 ~x1019+64 ~x1018+32 ~x1017+16 ~x1016+8 ~x1015+4 ~x1014+2 ~x1013+1 ~x1012-0=26622 13.09/13.20 c 8192 ~x448835+4096 ~x448834+2048 ~x448833+1024 ~x448832+512 ~x448831+256 ~x448830+128 ~x448829+64 ~x448828+32 ~x448827+16 ~x448826+8 ~x448825+4 ~x448824+2 ~x448823+1 ~x448822+8192 ~x1041+4096 ~x1040+2048 ~x1039+1024 ~x1038+512 ~x1037+256 ~x1036+128 ~x1035+64 ~x1034+32 ~x1033+16 ~x1032+8 ~x1031+4 ~x1030+2 ~x1029+1 ~x1028-0=26622 13.19/13.28 c 8192 ~x452163+4096 ~x452162+2048 ~x452161+1024 ~x452160+512 ~x452159+256 ~x452158+128 ~x452157+64 ~x452156+32 ~x452155+16 ~x452154+8 ~x452153+4 ~x452152+2 ~x452151+1 ~x452150+8192 ~x1070+4096 ~x1069+2048 ~x1068+1024 ~x1067+512 ~x1066+256 ~x1065+128 ~x1064+64 ~x1063+32 ~x1062+16 ~x1061+8 ~x1060+4 ~x1059+2 ~x1058+1 ~x1057-0=26622 13.28/13.36 c 4096 ~x455490+2048 ~x455489+1024 ~x455488+512 ~x455487+256 ~x455486+128 ~x455485+64 ~x455484+32 ~x455483+16 ~x455482+8 ~x455481+4 ~x455480+2 ~x455479+1 ~x455478+4096 ~x1085+2048 ~x1084+1024 ~x1083+512 ~x1082+256 ~x1081+128 ~x1080+64 ~x1079+32 ~x1078+16 ~x1077+8 ~x1076+4 ~x1075+2 ~x1074+1 ~x1073-0=13310 13.39/13.42 c 4096 ~x458068+2048 ~x458067+1024 ~x458066+512 ~x458065+256 ~x458064+128 ~x458063+64 ~x458062+32 ~x458061+16 ~x458060+8 ~x458059+4 ~x458058+2 ~x458057+1 ~x458056+4096 ~x1101+2048 ~x1100+1024 ~x1099+512 ~x1098+256 ~x1097+128 ~x1096+64 ~x1095+32 ~x1094+16 ~x1093+8 ~x1092+4 ~x1091+2 ~x1090+1 ~x1089-0=13310 13.39/13.49 c 4096 ~x460646+2048 ~x460645+1024 ~x460644+512 ~x460643+256 ~x460642+128 ~x460641+64 ~x460640+32 ~x460639+16 ~x460638+8 ~x460637+4 ~x460636+2 ~x460635+1 ~x460634+4096 ~x1117+2048 ~x1116+1024 ~x1115+512 ~x1114+256 ~x1113+128 ~x1112+64 ~x1111+32 ~x1110+16 ~x1109+8 ~x1108+4 ~x1107+2 ~x1106+1 ~x1105-0=13310 13.48/13.55 c 4096 ~x463224+2048 ~x463223+1024 ~x463222+512 ~x463221+256 ~x463220+128 ~x463219+64 ~x463218+32 ~x463217+16 ~x463216+8 ~x463215+4 ~x463214+2 ~x463213+1 ~x463212+4096 ~x1133+2048 ~x1132+1024 ~x1131+512 ~x1130+256 ~x1129+128 ~x1128+64 ~x1127+32 ~x1126+16 ~x1125+8 ~x1124+4 ~x1123+2 ~x1122+1 ~x1121-0=13310 13.58/13.61 c 4096 ~x465802+2048 ~x465801+1024 ~x465800+512 ~x465799+256 ~x465798+128 ~x465797+64 ~x465796+32 ~x465795+16 ~x465794+8 ~x465793+4 ~x465792+2 ~x465791+1 ~x465790+4096 ~x1149+2048 ~x1148+1024 ~x1147+512 ~x1146+256 ~x1145+128 ~x1144+64 ~x1143+32 ~x1142+16 ~x1141+8 ~x1140+4 ~x1139+2 ~x1138+1 ~x1137-0=13310 13.58/13.67 c 8192 ~x468381+4096 ~x468380+2048 ~x468379+1024 ~x468378+512 ~x468377+256 ~x468376+128 ~x468375+64 ~x468374+32 ~x468373+16 ~x468372+8 ~x468371+4 ~x468370+2 ~x468369+1 ~x468368+8192 ~x1166+4096 ~x1165+2048 ~x1164+1024 ~x1163+512 ~x1162+256 ~x1161+128 ~x1160+64 ~x1159+32 ~x1158+16 ~x1157+8 ~x1156+4 ~x1155+2 ~x1154+1 ~x1153-0=26622 13.69/13.75 c 2048 ~x471707+1024 ~x471706+512 ~x471705+256 ~x471704+128 ~x471703+64 ~x471702+32 ~x471701+16 ~x471700+8 ~x471699+4 ~x471698+2 ~x471697+1 ~x471696+2048 ~x1180+1024 ~x1179+512 ~x1178+256 ~x1177+128 ~x1176+64 ~x1175+32 ~x1174+16 ~x1173+8 ~x1172+4 ~x1171+2 ~x1170+1 ~x1169-0=8190 13.79/13.81 c 8192 ~x473941+4096 ~x473940+2048 ~x473939+1024 ~x473938+512 ~x473937+256 ~x473936+128 ~x473935+64 ~x473934+32 ~x473933+16 ~x473932+8 ~x473931+4 ~x473930+2 ~x473929+1 ~x473928+8192 ~x1195+4096 ~x1194+2048 ~x1193+1024 ~x1192+512 ~x1191+256 ~x1190+128 ~x1189+64 ~x1188+32 ~x1187+16 ~x1186+8 ~x1185+4 ~x1184+2 ~x1183+1 ~x1182-0=26622 13.79/13.89 c 8192 ~x477269+4096 ~x477268+2048 ~x477267+1024 ~x477266+512 ~x477265+256 ~x477264+128 ~x477263+64 ~x477262+32 ~x477261+16 ~x477260+8 ~x477259+4 ~x477258+2 ~x477257+1 ~x477256+8192 ~x1211+4096 ~x1210+2048 ~x1209+1024 ~x1208+512 ~x1207+256 ~x1206+128 ~x1205+64 ~x1204+32 ~x1203+16 ~x1202+8 ~x1201+4 ~x1200+2 ~x1199+1 ~x1198-0=26622 13.88/13.97 c 8192 ~x480597+4096 ~x480596+2048 ~x480595+1024 ~x480594+512 ~x480593+256 ~x480592+128 ~x480591+64 ~x480590+32 ~x480589+16 ~x480588+8 ~x480587+4 ~x480586+2 ~x480585+1 ~x480584+8192 ~x1243+4096 ~x1242+2048 ~x1241+1024 ~x1240+512 ~x1239+256 ~x1238+128 ~x1237+64 ~x1236+32 ~x1235+16 ~x1234+8 ~x1233+4 ~x1232+2 ~x1231+1 ~x1230-0=26622 13.98/14.06 c 8192 ~x483925+4096 ~x483924+2048 ~x483923+1024 ~x483922+512 ~x483921+256 ~x483920+128 ~x483919+64 ~x483918+32 ~x483917+16 ~x483916+8 ~x483915+4 ~x483914+2 ~x483913+1 ~x483912+8192 ~x1259+4096 ~x1258+2048 ~x1257+1024 ~x1256+512 ~x1255+256 ~x1254+128 ~x1253+64 ~x1252+32 ~x1251+16 ~x1250+8 ~x1249+4 ~x1248+2 ~x1247+1 ~x1246-0=26622 14.08/14.14 c 4096 ~x487252+2048 ~x487251+1024 ~x487250+512 ~x487249+256 ~x487248+128 ~x487247+64 ~x487246+32 ~x487245+16 ~x487244+8 ~x487243+4 ~x487242+2 ~x487241+1 ~x487240+4096 ~x1274+2048 ~x1273+1024 ~x1272+512 ~x1271+256 ~x1270+128 ~x1269+64 ~x1268+32 ~x1267+16 ~x1266+8 ~x1265+4 ~x1264+2 ~x1263+1 ~x1262-0=13310 14.08/14.20 c 4096 ~x489830+2048 ~x489829+1024 ~x489828+512 ~x489827+256 ~x489826+128 ~x489825+64 ~x489824+32 ~x489823+16 ~x489822+8 ~x489821+4 ~x489820+2 ~x489819+1 ~x489818+4096 ~x1290+2048 ~x1289+1024 ~x1288+512 ~x1287+256 ~x1286+128 ~x1285+64 ~x1284+32 ~x1283+16 ~x1282+8 ~x1281+4 ~x1280+2 ~x1279+1 ~x1278-0=13310 14.19/14.26 c 4096 ~x492408+2048 ~x492407+1024 ~x492406+512 ~x492405+256 ~x492404+128 ~x492403+64 ~x492402+32 ~x492401+16 ~x492400+8 ~x492399+4 ~x492398+2 ~x492397+1 ~x492396+4096 ~x1306+2048 ~x1305+1024 ~x1304+512 ~x1303+256 ~x1302+128 ~x1301+64 ~x1300+32 ~x1299+16 ~x1298+8 ~x1297+4 ~x1296+2 ~x1295+1 ~x1294-0=13310 14.29/14.32 c 8192 ~x494987+4096 ~x494986+2048 ~x494985+1024 ~x494984+512 ~x494983+256 ~x494982+128 ~x494981+64 ~x494980+32 ~x494979+16 ~x494978+8 ~x494977+4 ~x494976+2 ~x494975+1 ~x494974+8192 ~x1323+4096 ~x1322+2048 ~x1321+1024 ~x1320+512 ~x1319+256 ~x1318+128 ~x1317+64 ~x1316+32 ~x1315+16 ~x1314+8 ~x1313+4 ~x1312+2 ~x1311+1 ~x1310-0=26622 14.38/14.41 c 8192 ~x498315+4096 ~x498314+2048 ~x498313+1024 ~x498312+512 ~x498311+256 ~x498310+128 ~x498309+64 ~x498308+32 ~x498307+16 ~x498306+8 ~x498305+4 ~x498304+2 ~x498303+1 ~x498302+8192 ~x1339+4096 ~x1338+2048 ~x1337+1024 ~x1336+512 ~x1335+256 ~x1334+128 ~x1333+64 ~x1332+32 ~x1331+16 ~x1330+8 ~x1329+4 ~x1328+2 ~x1327+1 ~x1326-0=26622 14.38/14.49 c 8192 ~x501643+4096 ~x501642+2048 ~x501641+1024 ~x501640+512 ~x501639+256 ~x501638+128 ~x501637+64 ~x501636+32 ~x501635+16 ~x501634+8 ~x501633+4 ~x501632+2 ~x501631+1 ~x501630+8192 ~x1355+4096 ~x1354+2048 ~x1353+1024 ~x1352+512 ~x1351+256 ~x1350+128 ~x1349+64 ~x1348+32 ~x1347+16 ~x1346+8 ~x1345+4 ~x1344+2 ~x1343+1 ~x1342-0=26622 14.49/14.57 c 2048 ~x504969+1024 ~x504968+512 ~x504967+256 ~x504966+128 ~x504965+64 ~x504964+32 ~x504963+16 ~x504962+8 ~x504961+4 ~x504960+2 ~x504959+1 ~x504958+2048 ~x1369+1024 ~x1368+512 ~x1367+256 ~x1366+128 ~x1365+64 ~x1364+32 ~x1363+16 ~x1362+8 ~x1361+4 ~x1360+2 ~x1359+1 ~x1358-0=8190 14.58/14.62 c 4096 ~x507202+2048 ~x507201+1024 ~x507200+512 ~x507199+256 ~x507198+128 ~x507197+64 ~x507196+32 ~x507195+16 ~x507194+8 ~x507193+4 ~x507192+2 ~x507191+1 ~x507190+4096 ~x1383+2048 ~x1382+1024 ~x1381+512 ~x1380+256 ~x1379+128 ~x1378+64 ~x1377+32 ~x1376+16 ~x1375+8 ~x1374+4 ~x1373+2 ~x1372+1 ~x1371-0=13310 14.58/14.69 c 4096 ~x509780+2048 ~x509779+1024 ~x509778+512 ~x509777+256 ~x509776+128 ~x509775+64 ~x509774+32 ~x509773+16 ~x509772+8 ~x509771+4 ~x509770+2 ~x509769+1 ~x509768+4096 ~x1415+2048 ~x1414+1024 ~x1413+512 ~x1412+256 ~x1411+128 ~x1410+64 ~x1409+32 ~x1408+16 ~x1407+8 ~x1406+4 ~x1405+2 ~x1404+1 ~x1403-0=13310 14.68/14.75 c 4096 ~x512358+2048 ~x512357+1024 ~x512356+512 ~x512355+256 ~x512354+128 ~x512353+64 ~x512352+32 ~x512351+16 ~x512350+8 ~x512349+4 ~x512348+2 ~x512347+1 ~x512346+4096 ~x1431+2048 ~x1430+1024 ~x1429+512 ~x1428+256 ~x1427+128 ~x1426+64 ~x1425+32 ~x1424+16 ~x1423+8 ~x1422+4 ~x1421+2 ~x1420+1 ~x1419-0=13310 14.78/14.81 c 2048 ~x514935+1024 ~x514934+512 ~x514933+256 ~x514932+128 ~x514931+64 ~x514930+32 ~x514929+16 ~x514928+8 ~x514927+4 ~x514926+2 ~x514925+1 ~x514924+2048 ~x1446+1024 ~x1445+512 ~x1444+256 ~x1443+128 ~x1442+64 ~x1441+32 ~x1440+16 ~x1439+8 ~x1438+4 ~x1437+2 ~x1436+1 ~x1435-0=8190 14.78/14.88 c 4096 ~x517168+2048 ~x517167+1024 ~x517166+512 ~x517165+256 ~x517164+128 ~x517163+64 ~x517162+32 ~x517161+16 ~x517160+8 ~x517159+4 ~x517158+2 ~x517157+1 ~x517156+4096 ~x1460+2048 ~x1459+1024 ~x1458+512 ~x1457+256 ~x1456+128 ~x1455+64 ~x1454+32 ~x1453+16 ~x1452+8 ~x1451+4 ~x1450+2 ~x1449+1 ~x1448-0=16382 14.88/14.94 c 8192 ~x519747+4096 ~x519746+2048 ~x519745+1024 ~x519744+512 ~x519743+256 ~x519742+128 ~x519741+64 ~x519740+32 ~x519739+16 ~x519738+8 ~x519737+4 ~x519736+2 ~x519735+1 ~x519734+8192 ~x1477+4096 ~x1476+2048 ~x1475+1024 ~x1474+512 ~x1473+256 ~x1472+128 ~x1471+64 ~x1470+32 ~x1469+16 ~x1468+8 ~x1467+4 ~x1466+2 ~x1465+1 ~x1464-0=27646 14.98/15.02 c 4096 ~x523074+2048 ~x523073+1024 ~x523072+512 ~x523071+256 ~x523070+128 ~x523069+64 ~x523068+32 ~x523067+16 ~x523066+8 ~x523065+4 ~x523064+2 ~x523063+1 ~x523062+4096 ~x1492+2048 ~x1491+1024 ~x1490+512 ~x1489+256 ~x1488+128 ~x1487+64 ~x1486+32 ~x1485+16 ~x1484+8 ~x1483+4 ~x1482+2 ~x1481+1 ~x1480-0=13310 14.98/15.08 c 2048 ~x525651+1024 ~x525650+512 ~x525649+256 ~x525648+128 ~x525647+64 ~x525646+32 ~x525645+16 ~x525644+8 ~x525643+4 ~x525642+2 ~x525641+1 ~x525640+2048 ~x1507+1024 ~x1506+512 ~x1505+256 ~x1504+128 ~x1503+64 ~x1502+32 ~x1501+16 ~x1500+8 ~x1499+4 ~x1498+2 ~x1497+1 ~x1496-0=8190 15.08/15.14 c 4096 ~x527884+2048 ~x527883+1024 ~x527882+512 ~x527881+256 ~x527880+128 ~x527879+64 ~x527878+32 ~x527877+16 ~x527876+8 ~x527875+4 ~x527874+2 ~x527873+1 ~x527872+4096 ~x1521+2048 ~x1520+1024 ~x1519+512 ~x1518+256 ~x1517+128 ~x1516+64 ~x1515+32 ~x1514+16 ~x1513+8 ~x1512+4 ~x1511+2 ~x1510+1 ~x1509-0=13310 15.18/15.20 c 4096 ~x530462+2048 ~x530461+1024 ~x530460+512 ~x530459+256 ~x530458+128 ~x530457+64 ~x530456+32 ~x530455+16 ~x530454+8 ~x530453+4 ~x530452+2 ~x530451+1 ~x530450+4096 ~x1537+2048 ~x1536+1024 ~x1535+512 ~x1534+256 ~x1533+128 ~x1532+64 ~x1531+32 ~x1530+16 ~x1529+8 ~x1528+4 ~x1527+2 ~x1526+1 ~x1525-0=13310 15.18/15.26 c 8192 ~x533041+4096 ~x533040+2048 ~x533039+1024 ~x533038+512 ~x533037+256 ~x533036+128 ~x533035+64 ~x533034+32 ~x533033+16 ~x533032+8 ~x533031+4 ~x533030+2 ~x533029+1 ~x533028+8192 ~x1554+4096 ~x1553+2048 ~x1552+1024 ~x1551+512 ~x1550+256 ~x1549+128 ~x1548+64 ~x1547+32 ~x1546+16 ~x1545+8 ~x1544+4 ~x1543+2 ~x1542+1 ~x1541-0=28670 15.29/15.34 c 2048 ~x536367+1024 ~x536366+512 ~x536365+256 ~x536364+128 ~x536363+64 ~x536362+32 ~x536361+16 ~x536360+8 ~x536359+4 ~x536358+2 ~x536357+1 ~x536356+2048 ~x1584+1024 ~x1583+512 ~x1582+256 ~x1581+128 ~x1580+64 ~x1579+32 ~x1578+16 ~x1577+8 ~x1576+4 ~x1575+2 ~x1574+1 ~x1573-0=8190 15.29/15.40 c 8192 ~x538601+4096 ~x538600+2048 ~x538599+1024 ~x538598+512 ~x538597+256 ~x538596+128 ~x538595+64 ~x538594+32 ~x538593+16 ~x538592+8 ~x538591+4 ~x538590+2 ~x538589+1 ~x538588+8192 ~x1599+4096 ~x1598+2048 ~x1597+1024 ~x1596+512 ~x1595+256 ~x1594+128 ~x1593+64 ~x1592+32 ~x1591+16 ~x1590+8 ~x1589+4 ~x1588+2 ~x1587+1 ~x1586-0=29694 15.39/15.48 c 2048 ~x541927+1024 ~x541926+512 ~x541925+256 ~x541924+128 ~x541923+64 ~x541922+32 ~x541921+16 ~x541920+8 ~x541919+4 ~x541918+2 ~x541917+1 ~x541916+2048 ~x1613+1024 ~x1612+512 ~x1611+256 ~x1610+128 ~x1609+64 ~x1608+32 ~x1607+16 ~x1606+8 ~x1605+4 ~x1604+2 ~x1603+1 ~x1602-0=8190 15.48/15.54 c 4096 ~x544160+2048 ~x544159+1024 ~x544158+512 ~x544157+256 ~x544156+128 ~x544155+64 ~x544154+32 ~x544153+16 ~x544152+8 ~x544151+4 ~x544150+2 ~x544149+1 ~x544148+4096 ~x1627+2048 ~x1626+1024 ~x1625+512 ~x1624+256 ~x1623+128 ~x1622+64 ~x1621+32 ~x1620+16 ~x1619+8 ~x1618+4 ~x1617+2 ~x1616+1 ~x1615-0=13310 15.59/15.60 c 8192 ~x546739+4096 ~x546738+2048 ~x546737+1024 ~x546736+512 ~x546735+256 ~x546734+128 ~x546733+64 ~x546732+32 ~x546731+16 ~x546730+8 ~x546729+4 ~x546728+2 ~x546727+1 ~x546726+8192 ~x1644+4096 ~x1643+2048 ~x1642+1024 ~x1641+512 ~x1640+256 ~x1639+128 ~x1638+64 ~x1637+32 ~x1636+16 ~x1635+8 ~x1634+4 ~x1633+2 ~x1632+1 ~x1631-0=27646 15.59/15.68 c 8192 ~x550067+4096 ~x550066+2048 ~x550065+1024 ~x550064+512 ~x550063+256 ~x550062+128 ~x550061+64 ~x550060+32 ~x550059+16 ~x550058+8 ~x550057+4 ~x550056+2 ~x550055+1 ~x550054+8192 ~x1660+4096 ~x1659+2048 ~x1658+1024 ~x1657+512 ~x1656+256 ~x1655+128 ~x1654+64 ~x1653+32 ~x1652+16 ~x1651+8 ~x1650+4 ~x1649+2 ~x1648+1 ~x1647-0=26622 15.68/15.76 c 8192 ~x553395+4096 ~x553394+2048 ~x553393+1024 ~x553392+512 ~x553391+256 ~x553390+128 ~x553389+64 ~x553388+32 ~x553387+16 ~x553386+8 ~x553385+4 ~x553384+2 ~x553383+1 ~x553382+8192 ~x1676+4096 ~x1675+2048 ~x1674+1024 ~x1673+512 ~x1672+256 ~x1671+128 ~x1670+64 ~x1669+32 ~x1668+16 ~x1667+8 ~x1666+4 ~x1665+2 ~x1664+1 ~x1663-0=26622 15.78/15.84 c 4096 ~x556722+2048 ~x556721+1024 ~x556720+512 ~x556719+256 ~x556718+128 ~x556717+64 ~x556716+32 ~x556715+16 ~x556714+8 ~x556713+4 ~x556712+2 ~x556711+1 ~x556710+4096 ~x1691+2048 ~x1690+1024 ~x1689+512 ~x1688+256 ~x1687+128 ~x1686+64 ~x1685+32 ~x1684+16 ~x1683+8 ~x1682+4 ~x1681+2 ~x1680+1 ~x1679-0=13310 15.88/15.91 c 4096 ~x559300+2048 ~x559299+1024 ~x559298+512 ~x559297+256 ~x559296+128 ~x559295+64 ~x559294+32 ~x559293+16 ~x559292+8 ~x559291+4 ~x559290+2 ~x559289+1 ~x559288+4096 ~x1707+2048 ~x1706+1024 ~x1705+512 ~x1704+256 ~x1703+128 ~x1702+64 ~x1701+32 ~x1700+16 ~x1699+8 ~x1698+4 ~x1697+2 ~x1696+1 ~x1695-0=13310 15.88/15.97 c 4096 ~x561878+2048 ~x561877+1024 ~x561876+512 ~x561875+256 ~x561874+128 ~x561873+64 ~x561872+32 ~x561871+16 ~x561870+8 ~x561869+4 ~x561868+2 ~x561867+1 ~x561866+4096 ~x1723+2048 ~x1722+1024 ~x1721+512 ~x1720+256 ~x1719+128 ~x1718+64 ~x1717+32 ~x1716+16 ~x1715+8 ~x1714+4 ~x1713+2 ~x1712+1 ~x1711-0=13310 15.98/16.03 c 4096 ~x564456+2048 ~x564455+1024 ~x564454+512 ~x564453+256 ~x564452+128 ~x564451+64 ~x564450+32 ~x564449+16 ~x564448+8 ~x564447+4 ~x564446+2 ~x564445+1 ~x564444+4096 ~x1771+2048 ~x1770+1024 ~x1769+512 ~x1768+256 ~x1767+128 ~x1766+64 ~x1765+32 ~x1764+16 ~x1763+8 ~x1762+4 ~x1761+2 ~x1760+1 ~x1759-0=13310 15.98/16.09 c 4096 ~x567034+2048 ~x567033+1024 ~x567032+512 ~x567031+256 ~x567030+128 ~x567029+64 ~x567028+32 ~x567027+16 ~x567026+8 ~x567025+4 ~x567024+2 ~x567023+1 ~x567022+4096 ~x1787+2048 ~x1786+1024 ~x1785+512 ~x1784+256 ~x1783+128 ~x1782+64 ~x1781+32 ~x1780+16 ~x1779+8 ~x1778+4 ~x1777+2 ~x1776+1 ~x1775-0=13310 16.08/16.15 c 2048 ~x569611+1024 ~x569610+512 ~x569609+256 ~x569608+128 ~x569607+64 ~x569606+32 ~x569605+16 ~x569604+8 ~x569603+4 ~x569602+2 ~x569601+1 ~x569600+2048 ~x1802+1024 ~x1801+512 ~x1800+256 ~x1799+128 ~x1798+64 ~x1797+32 ~x1796+16 ~x1795+8 ~x1794+4 ~x1793+2 ~x1792+1 ~x1791-0=8190 16.19/16.21 c 4096 ~x571844+2048 ~x571843+1024 ~x571842+512 ~x571841+256 ~x571840+128 ~x571839+64 ~x571838+32 ~x571837+16 ~x571836+8 ~x571835+4 ~x571834+2 ~x571833+1 ~x571832+4096 ~x1816+2048 ~x1815+1024 ~x1814+512 ~x1813+256 ~x1812+128 ~x1811+64 ~x1810+32 ~x1809+16 ~x1808+8 ~x1807+4 ~x1806+2 ~x1805+1 ~x1804-0=13310 16.19/16.27 c 4096 ~x574422+2048 ~x574421+1024 ~x574420+512 ~x574419+256 ~x574418+128 ~x574417+64 ~x574416+32 ~x574415+16 ~x574414+8 ~x574413+4 ~x574412+2 ~x574411+1 ~x574410+4096 ~x1832+2048 ~x1831+1024 ~x1830+512 ~x1829+256 ~x1828+128 ~x1827+64 ~x1826+32 ~x1825+16 ~x1824+8 ~x1823+4 ~x1822+2 ~x1821+1 ~x1820-0=13310 16.28/16.33 c 8192 ~x577001+4096 ~x577000+2048 ~x576999+1024 ~x576998+512 ~x576997+256 ~x576996+128 ~x576995+64 ~x576994+32 ~x576993+16 ~x576992+8 ~x576991+4 ~x576990+2 ~x576989+1 ~x576988+8192 ~x1849+4096 ~x1848+2048 ~x1847+1024 ~x1846+512 ~x1845+256 ~x1844+128 ~x1843+64 ~x1842+32 ~x1841+16 ~x1840+8 ~x1839+4 ~x1838+2 ~x1837+1 ~x1836-0=28670 16.39/16.42 c 2048 ~x580327+1024 ~x580326+512 ~x580325+256 ~x580324+128 ~x580323+64 ~x580322+32 ~x580321+16 ~x580320+8 ~x580319+4 ~x580318+2 ~x580317+1 ~x580316+2048 ~x1863+1024 ~x1862+512 ~x1861+256 ~x1860+128 ~x1859+64 ~x1858+32 ~x1857+16 ~x1856+8 ~x1855+4 ~x1854+2 ~x1853+1 ~x1852-0=8190 16.39/16.47 c 4096 ~x582560+2048 ~x582559+1024 ~x582558+512 ~x582557+256 ~x582556+128 ~x582555+64 ~x582554+32 ~x582553+16 ~x582552+8 ~x582551+4 ~x582550+2 ~x582549+1 ~x582548+4096 ~x1877+2048 ~x1876+1024 ~x1875+512 ~x1874+256 ~x1873+128 ~x1872+64 ~x1871+32 ~x1870+16 ~x1869+8 ~x1868+4 ~x1867+2 ~x1866+1 ~x1865-0=14334 16.49/16.53 c 4096 ~x585138+2048 ~x585137+1024 ~x585136+512 ~x585135+256 ~x585134+128 ~x585133+64 ~x585132+32 ~x585131+16 ~x585130+8 ~x585129+4 ~x585128+2 ~x585127+1 ~x585126+4096 ~x1893+2048 ~x1892+1024 ~x1891+512 ~x1890+256 ~x1889+128 ~x1888+64 ~x1887+32 ~x1886+16 ~x1885+8 ~x1884+4 ~x1883+2 ~x1882+1 ~x1881-0=14334 16.49/16.60 c 8192 ~x587717+4096 ~x587716+2048 ~x587715+1024 ~x587714+512 ~x587713+256 ~x587712+128 ~x587711+64 ~x587710+32 ~x587709+16 ~x587708+8 ~x587707+4 ~x587706+2 ~x587705+1 ~x587704+8192 ~x1910+4096 ~x1909+2048 ~x1908+1024 ~x1907+512 ~x1906+256 ~x1905+128 ~x1904+64 ~x1903+32 ~x1902+16 ~x1901+8 ~x1900+4 ~x1899+2 ~x1898+1 ~x1897-0=27646 16.58/16.68 c 2048 ~x591043+1024 ~x591042+512 ~x591041+256 ~x591040+128 ~x591039+64 ~x591038+32 ~x591037+16 ~x591036+8 ~x591035+4 ~x591034+2 ~x591033+1 ~x591032+2048 ~x1940+1024 ~x1939+512 ~x1938+256 ~x1937+128 ~x1936+64 ~x1935+32 ~x1934+16 ~x1933+8 ~x1932+4 ~x1931+2 ~x1930+1 ~x1929-0=8190 16.69/16.73 c 4096 ~x593276+2048 ~x593275+1024 ~x593274+512 ~x593273+256 ~x593272+128 ~x593271+64 ~x593270+32 ~x593269+16 ~x593268+8 ~x593267+4 ~x593266+2 ~x593265+1 ~x593264+4096 ~x1954+2048 ~x1953+1024 ~x1952+512 ~x1951+256 ~x1950+128 ~x1949+64 ~x1948+32 ~x1947+16 ~x1946+8 ~x1945+4 ~x1944+2 ~x1943+1 ~x1942-0=13310 16.69/16.79 c 4096 ~x595854+2048 ~x595853+1024 ~x595852+512 ~x595851+256 ~x595850+128 ~x595849+64 ~x595848+32 ~x595847+16 ~x595846+8 ~x595845+4 ~x595844+2 ~x595843+1 ~x595842+4096 ~x1970+2048 ~x1969+1024 ~x1968+512 ~x1967+256 ~x1966+128 ~x1965+64 ~x1964+32 ~x1963+16 ~x1962+8 ~x1961+4 ~x1960+2 ~x1959+1 ~x1958-0=13310 16.79/16.86 c 4096 ~x598432+2048 ~x598431+1024 ~x598430+512 ~x598429+256 ~x598428+128 ~x598427+64 ~x598426+32 ~x598425+16 ~x598424+8 ~x598423+4 ~x598422+2 ~x598421+1 ~x598420+4096 ~x1986+2048 ~x1985+1024 ~x1984+512 ~x1983+256 ~x1982+128 ~x1981+64 ~x1980+32 ~x1979+16 ~x1978+8 ~x1977+4 ~x1976+2 ~x1975+1 ~x1974-0=13310 16.89/16.92 c 4096 ~x601010+2048 ~x601009+1024 ~x601008+512 ~x601007+256 ~x601006+128 ~x601005+64 ~x601004+32 ~x601003+16 ~x601002+8 ~x601001+4 ~x601000+2 ~x600999+1 ~x600998+4096 ~x2002+2048 ~x2001+1024 ~x2000+512 ~x1999+256 ~x1998+128 ~x1997+64 ~x1996+32 ~x1995+16 ~x1994+8 ~x1993+4 ~x1992+2 ~x1991+1 ~x1990-0=13310 16.89/16.98 c 8192 ~x603589+4096 ~x603588+2048 ~x603587+1024 ~x603586+512 ~x603585+256 ~x603584+128 ~x603583+64 ~x603582+32 ~x603581+16 ~x603580+8 ~x603579+4 ~x603578+2 ~x603577+1 ~x603576+8192 ~x2019+4096 ~x2018+2048 ~x2017+1024 ~x2016+512 ~x2015+256 ~x2014+128 ~x2013+64 ~x2012+32 ~x2011+16 ~x2010+8 ~x2009+4 ~x2008+2 ~x2007+1 ~x2006-0=27646 16.98/17.06 c 2048 ~x606915+1024 ~x606914+512 ~x606913+256 ~x606912+128 ~x606911+64 ~x606910+32 ~x606909+16 ~x606908+8 ~x606907+4 ~x606906+2 ~x606905+1 ~x606904+2048 ~x2033+1024 ~x2032+512 ~x2031+256 ~x2030+128 ~x2029+64 ~x2028+32 ~x2027+16 ~x2026+8 ~x2025+4 ~x2024+2 ~x2023+1 ~x2022-0=8190 17.08/17.12 c 2048 ~x609147+1024 ~x609146+512 ~x609145+256 ~x609144+128 ~x609143+64 ~x609142+32 ~x609141+16 ~x609140+8 ~x609139+4 ~x609138+2 ~x609137+1 ~x609136+2048 ~x2046+1024 ~x2045+512 ~x2044+256 ~x2043+128 ~x2042+64 ~x2041+32 ~x2040+16 ~x2039+8 ~x2038+4 ~x2037+2 ~x2036+1 ~x2035-0=7166 17.08/17.17 c 8192 ~x611381+4096 ~x611380+2048 ~x611379+1024 ~x611378+512 ~x611377+256 ~x611376+128 ~x611375+64 ~x611374+32 ~x611373+16 ~x611372+8 ~x611371+4 ~x611370+2 ~x611369+1 ~x611368+8192 ~x2061+4096 ~x2060+2048 ~x2059+1024 ~x2058+512 ~x2057+256 ~x2056+128 ~x2055+64 ~x2054+32 ~x2053+16 ~x2052+8 ~x2051+4 ~x2050+2 ~x2049+1 ~x2048-0=28670 17.18/17.26 c 4096 ~x614708+2048 ~x614707+1024 ~x614706+512 ~x614705+256 ~x614704+128 ~x614703+64 ~x614702+32 ~x614701+16 ~x614700+8 ~x614699+4 ~x614698+2 ~x614697+1 ~x614696+4096 ~x2076+2048 ~x2075+1024 ~x2074+512 ~x2073+256 ~x2072+128 ~x2071+64 ~x2070+32 ~x2069+16 ~x2068+8 ~x2067+4 ~x2066+2 ~x2065+1 ~x2064-0=13310 17.28/17.32 c 4096 ~x617286+2048 ~x617285+1024 ~x617284+512 ~x617283+256 ~x617282+128 ~x617281+64 ~x617280+32 ~x617279+16 ~x617278+8 ~x617277+4 ~x617276+2 ~x617275+1 ~x617274+4096 ~x2108+2048 ~x2107+1024 ~x2106+512 ~x2105+256 ~x2104+128 ~x2103+64 ~x2102+32 ~x2101+16 ~x2100+8 ~x2099+4 ~x2098+2 ~x2097+1 ~x2096-0=13310 17.28/17.38 c 4096 ~x619864+2048 ~x619863+1024 ~x619862+512 ~x619861+256 ~x619860+128 ~x619859+64 ~x619858+32 ~x619857+16 ~x619856+8 ~x619855+4 ~x619854+2 ~x619853+1 ~x619852+4096 ~x2124+2048 ~x2123+1024 ~x2122+512 ~x2121+256 ~x2120+128 ~x2119+64 ~x2118+32 ~x2117+16 ~x2116+8 ~x2115+4 ~x2114+2 ~x2113+1 ~x2112-0=13310 17.39/17.44 c 2048 ~x622441+1024 ~x622440+512 ~x622439+256 ~x622438+128 ~x622437+64 ~x622436+32 ~x622435+16 ~x622434+8 ~x622433+4 ~x622432+2 ~x622431+1 ~x622430+2048 ~x2139+1024 ~x2138+512 ~x2137+256 ~x2136+128 ~x2135+64 ~x2134+32 ~x2133+16 ~x2132+8 ~x2131+4 ~x2130+2 ~x2129+1 ~x2128-0=8190 17.39/17.50 c 4096 ~x624674+2048 ~x624673+1024 ~x624672+512 ~x624671+256 ~x624670+128 ~x624669+64 ~x624668+32 ~x624667+16 ~x624666+8 ~x624665+4 ~x624664+2 ~x624663+1 ~x624662+4096 ~x2153+2048 ~x2152+1024 ~x2151+512 ~x2150+256 ~x2149+128 ~x2148+64 ~x2147+32 ~x2146+16 ~x2145+8 ~x2144+4 ~x2143+2 ~x2142+1 ~x2141-0=13310 17.49/17.56 c 4096 ~x627252+2048 ~x627251+1024 ~x627250+512 ~x627249+256 ~x627248+128 ~x627247+64 ~x627246+32 ~x627245+16 ~x627244+8 ~x627243+4 ~x627242+2 ~x627241+1 ~x627240+4096 ~x2169+2048 ~x2168+1024 ~x2167+512 ~x2166+256 ~x2165+128 ~x2164+64 ~x2163+32 ~x2162+16 ~x2161+8 ~x2160+4 ~x2159+2 ~x2158+1 ~x2157-0=13310 17.59/17.62 c 4096 ~x629830+2048 ~x629829+1024 ~x629828+512 ~x629827+256 ~x629826+128 ~x629825+64 ~x629824+32 ~x629823+16 ~x629822+8 ~x629821+4 ~x629820+2 ~x629819+1 ~x629818+4096 ~x2185+2048 ~x2184+1024 ~x2183+512 ~x2182+256 ~x2181+128 ~x2180+64 ~x2179+32 ~x2178+16 ~x2177+8 ~x2176+4 ~x2175+2 ~x2174+1 ~x2173-0=13310 17.59/17.68 c 4096 ~x632408+2048 ~x632407+1024 ~x632406+512 ~x632405+256 ~x632404+128 ~x632403+64 ~x632402+32 ~x632401+16 ~x632400+8 ~x632399+4 ~x632398+2 ~x632397+1 ~x632396+4096 ~x2201+2048 ~x2200+1024 ~x2199+512 ~x2198+256 ~x2197+128 ~x2196+64 ~x2195+32 ~x2194+16 ~x2193+8 ~x2192+4 ~x2191+2 ~x2190+1 ~x2189-0=14334 17.68/17.75 c 4096 ~x634986+2048 ~x634985+1024 ~x634984+512 ~x634983+256 ~x634982+128 ~x634981+64 ~x634980+32 ~x634979+16 ~x634978+8 ~x634977+4 ~x634976+2 ~x634975+1 ~x634974+4096 ~x2217+2048 ~x2216+1024 ~x2215+512 ~x2214+256 ~x2213+128 ~x2212+64 ~x2211+32 ~x2210+16 ~x2209+8 ~x2208+4 ~x2207+2 ~x2206+1 ~x2205-0=14334 17.78/17.81 c 4096 ~x637564+2048 ~x637563+1024 ~x637562+512 ~x637561+256 ~x637560+128 ~x637559+64 ~x637558+32 ~x637557+16 ~x637556+8 ~x637555+4 ~x637554+2 ~x637553+1 ~x637552+4096 ~x2233+2048 ~x2232+1024 ~x2231+512 ~x2230+256 ~x2229+128 ~x2228+64 ~x2227+32 ~x2226+16 ~x2225+8 ~x2224+4 ~x2223+2 ~x2222+1 ~x2221-0=13310 17.78/17.87 c 4096 ~x640142+2048 ~x640141+1024 ~x640140+512 ~x640139+256 ~x640138+128 ~x640137+64 ~x640136+32 ~x640135+16 ~x640134+8 ~x640133+4 ~x640132+2 ~x640131+1 ~x640130+4096 ~x2249+2048 ~x2248+1024 ~x2247+512 ~x2246+256 ~x2245+128 ~x2244+64 ~x2243+32 ~x2242+16 ~x2241+8 ~x2240+4 ~x2239+2 ~x2238+1 ~x2237-0=13310 17.88/17.93 c 4096 ~x642720+2048 ~x642719+1024 ~x642718+512 ~x642717+256 ~x642716+128 ~x642715+64 ~x642714+32 ~x642713+16 ~x642712+8 ~x642711+4 ~x642710+2 ~x642709+1 ~x642708+4096 ~x2281+2048 ~x2280+1024 ~x2279+512 ~x2278+256 ~x2277+128 ~x2276+64 ~x2275+32 ~x2274+16 ~x2273+8 ~x2272+4 ~x2271+2 ~x2270+1 ~x2269-0=13310 17.98/18.01 c 8192 ~x645299+4096 ~x645298+2048 ~x645297+1024 ~x645296+512 ~x645295+256 ~x645294+128 ~x645293+64 ~x645292+32 ~x645291+16 ~x645290+8 ~x645289+4 ~x645288+2 ~x645287+1 ~x645286+8192 ~x2298+4096 ~x2297+2048 ~x2296+1024 ~x2295+512 ~x2294+256 ~x2293+128 ~x2292+64 ~x2291+32 ~x2290+16 ~x2289+8 ~x2288+4 ~x2287+2 ~x2286+1 ~x2285-0=26622 17.98/18.09 c 2048 ~x648625+1024 ~x648624+512 ~x648623+256 ~x648622+128 ~x648621+64 ~x648620+32 ~x648619+16 ~x648618+8 ~x648617+4 ~x648616+2 ~x648615+1 ~x648614+2048 ~x2312+1024 ~x2311+512 ~x2310+256 ~x2309+128 ~x2308+64 ~x2307+32 ~x2306+16 ~x2305+8 ~x2304+4 ~x2303+2 ~x2302+1 ~x2301-0=8190 18.08/18.14 c 4096 ~x650858+2048 ~x650857+1024 ~x650856+512 ~x650855+256 ~x650854+128 ~x650853+64 ~x650852+32 ~x650851+16 ~x650850+8 ~x650849+4 ~x650848+2 ~x650847+1 ~x650846+4096 ~x2326+2048 ~x2325+1024 ~x2324+512 ~x2323+256 ~x2322+128 ~x2321+64 ~x2320+32 ~x2319+16 ~x2318+8 ~x2317+4 ~x2316+2 ~x2315+1 ~x2314-0=13310 18.18/18.20 c 4096 ~x653436+2048 ~x653435+1024 ~x653434+512 ~x653433+256 ~x653432+128 ~x653431+64 ~x653430+32 ~x653429+16 ~x653428+8 ~x653427+4 ~x653426+2 ~x653425+1 ~x653424+4096 ~x2342+2048 ~x2341+1024 ~x2340+512 ~x2339+256 ~x2338+128 ~x2337+64 ~x2336+32 ~x2335+16 ~x2334+8 ~x2333+4 ~x2332+2 ~x2331+1 ~x2330-0=13310 18.18/18.27 c 4096 ~x656014+2048 ~x656013+1024 ~x656012+512 ~x656011+256 ~x656010+128 ~x656009+64 ~x656008+32 ~x656007+16 ~x656006+8 ~x656005+4 ~x656004+2 ~x656003+1 ~x656002+4096 ~x2358+2048 ~x2357+1024 ~x2356+512 ~x2355+256 ~x2354+128 ~x2353+64 ~x2352+32 ~x2351+16 ~x2350+8 ~x2349+4 ~x2348+2 ~x2347+1 ~x2346-0=13310 18.28/18.33 c 4096 ~x658592+2048 ~x658591+1024 ~x658590+512 ~x658589+256 ~x658588+128 ~x658587+64 ~x658586+32 ~x658585+16 ~x658584+8 ~x658583+4 ~x658582+2 ~x658581+1 ~x658580+4096 ~x2374+2048 ~x2373+1024 ~x2372+512 ~x2371+256 ~x2370+128 ~x2369+64 ~x2368+32 ~x2367+16 ~x2366+8 ~x2365+4 ~x2364+2 ~x2363+1 ~x2362-0=13310 18.28/18.39 c 2048 ~x661169+1024 ~x661168+512 ~x661167+256 ~x661166+128 ~x661165+64 ~x661164+32 ~x661163+16 ~x661162+8 ~x661161+4 ~x661160+2 ~x661159+1 ~x661158+2048 ~x2389+1024 ~x2388+512 ~x2387+256 ~x2386+128 ~x2385+64 ~x2384+32 ~x2383+16 ~x2382+8 ~x2381+4 ~x2380+2 ~x2379+1 ~x2378-0=8190 18.38/18.45 c 4096 ~x663402+2048 ~x663401+1024 ~x663400+512 ~x663399+256 ~x663398+128 ~x663397+64 ~x663396+32 ~x663395+16 ~x663394+8 ~x663393+4 ~x663392+2 ~x663391+1 ~x663390+4096 ~x2403+2048 ~x2402+1024 ~x2401+512 ~x2400+256 ~x2399+128 ~x2398+64 ~x2397+32 ~x2396+16 ~x2395+8 ~x2394+4 ~x2393+2 ~x2392+1 ~x2391-0=13310 18.48/18.51 c 2048 ~x665979+1024 ~x665978+512 ~x665977+256 ~x665976+128 ~x665975+64 ~x665974+32 ~x665973+16 ~x665972+8 ~x665971+4 ~x665970+2 ~x665969+1 ~x665968+2048 ~x2418+1024 ~x2417+512 ~x2416+256 ~x2415+128 ~x2414+64 ~x2413+32 ~x2412+16 ~x2411+8 ~x2410+4 ~x2409+2 ~x2408+1 ~x2407-0=7166 18.48/18.56 c 4096 ~x668212+2048 ~x668211+1024 ~x668210+512 ~x668209+256 ~x668208+128 ~x668207+64 ~x668206+32 ~x668205+16 ~x668204+8 ~x668203+4 ~x668202+2 ~x668201+1 ~x668200+4096 ~x2448+2048 ~x2447+1024 ~x2446+512 ~x2445+256 ~x2444+128 ~x2443+64 ~x2442+32 ~x2441+16 ~x2440+8 ~x2439+4 ~x2438+2 ~x2437+1 ~x2436-0=13310 18.58/18.62 c 4096 ~x670790+2048 ~x670789+1024 ~x670788+512 ~x670787+256 ~x670786+128 ~x670785+64 ~x670784+32 ~x670783+16 ~x670782+8 ~x670781+4 ~x670780+2 ~x670779+1 ~x670778+4096 ~x2464+2048 ~x2463+1024 ~x2462+512 ~x2461+256 ~x2460+128 ~x2459+64 ~x2458+32 ~x2457+16 ~x2456+8 ~x2455+4 ~x2454+2 ~x2453+1 ~x2452-0=15358 18.58/18.69 c 4096 ~x673368+2048 ~x673367+1024 ~x673366+512 ~x673365+256 ~x673364+128 ~x673363+64 ~x673362+32 ~x673361+16 ~x673360+8 ~x673359+4 ~x673358+2 ~x673357+1 ~x673356+4096 ~x2480+2048 ~x2479+1024 ~x2478+512 ~x2477+256 ~x2476+128 ~x2475+64 ~x2474+32 ~x2473+16 ~x2472+8 ~x2471+4 ~x2470+2 ~x2469+1 ~x2468-0=15358 18.69/18.75 c 2048 ~x675945+1024 ~x675944+512 ~x675943+256 ~x675942+128 ~x675941+64 ~x675940+32 ~x675939+16 ~x675938+8 ~x675937+4 ~x675936+2 ~x675935+1 ~x675934+2048 ~x2495+1024 ~x2494+512 ~x2493+256 ~x2492+128 ~x2491+64 ~x2490+32 ~x2489+16 ~x2488+8 ~x2487+4 ~x2486+2 ~x2485+1 ~x2484-0=8190 18.78/18.80 c 2048 ~x678177+1024 ~x678176+512 ~x678175+256 ~x678174+128 ~x678173+64 ~x678172+32 ~x678171+16 ~x678170+8 ~x678169+4 ~x678168+2 ~x678167+1 ~x678166+2048 ~x2508+1024 ~x2507+512 ~x2506+256 ~x2505+128 ~x2504+64 ~x2503+32 ~x2502+16 ~x2501+8 ~x2500+4 ~x2499+2 ~x2498+1 ~x2497-0=8190 18.78/18.86 c 8192 ~x680411+4096 ~x680410+2048 ~x680409+1024 ~x680408+512 ~x680407+256 ~x680406+128 ~x680405+64 ~x680404+32 ~x680403+16 ~x680402+8 ~x680401+4 ~x680400+2 ~x680399+1 ~x680398+8192 ~x2523+4096 ~x2522+2048 ~x2521+1024 ~x2520+512 ~x2519+256 ~x2518+128 ~x2517+64 ~x2516+32 ~x2515+16 ~x2514+8 ~x2513+4 ~x2512+2 ~x2511+1 ~x2510-0=27646 18.88/18.94 c 8192 ~x683739+4096 ~x683738+2048 ~x683737+1024 ~x683736+512 ~x683735+256 ~x683734+128 ~x683733+64 ~x683732+32 ~x683731+16 ~x683730+8 ~x683729+4 ~x683728+2 ~x683727+1 ~x683726+8192 ~x2539+4096 ~x2538+2048 ~x2537+1024 ~x2536+512 ~x2535+256 ~x2534+128 ~x2533+64 ~x2532+32 ~x2531+16 ~x2530+8 ~x2529+4 ~x2528+2 ~x2527+1 ~x2526-0=27646 18.98/19.02 c 2048 ~x687065+1024 ~x687064+512 ~x687063+256 ~x687062+128 ~x687061+64 ~x687060+32 ~x687059+16 ~x687058+8 ~x687057+4 ~x687056+2 ~x687055+1 ~x687054+2048 ~x2553+1024 ~x2552+512 ~x2551+256 ~x2550+128 ~x2549+64 ~x2548+32 ~x2547+16 ~x2546+8 ~x2545+4 ~x2544+2 ~x2543+1 ~x2542-0=8190 18.98/19.08 c 2048 ~x689297+1024 ~x689296+512 ~x689295+256 ~x689294+128 ~x689293+64 ~x689292+32 ~x689291+16 ~x689290+8 ~x689289+4 ~x689288+2 ~x689287+1 ~x689286+2048 ~x2566+1024 ~x2565+512 ~x2564+256 ~x2563+128 ~x2562+64 ~x2561+32 ~x2560+16 ~x2559+8 ~x2558+4 ~x2557+2 ~x2556+1 ~x2555-0=8190 19.08/19.13 c 4096 ~x691530+2048 ~x691529+1024 ~x691528+512 ~x691527+256 ~x691526+128 ~x691525+64 ~x691524+32 ~x691523+16 ~x691522+8 ~x691521+4 ~x691520+2 ~x691519+1 ~x691518+4096 ~x2580+2048 ~x2579+1024 ~x2578+512 ~x2577+256 ~x2576+128 ~x2575+64 ~x2574+32 ~x2573+16 ~x2572+8 ~x2571+4 ~x2570+2 ~x2569+1 ~x2568-0=13310 19.08/19.19 c 4096 ~x694108+2048 ~x694107+1024 ~x694106+512 ~x694105+256 ~x694104+128 ~x694103+64 ~x694102+32 ~x694101+16 ~x694100+8 ~x694099+4 ~x694098+2 ~x694097+1 ~x694096+4096 ~x2612+2048 ~x2611+1024 ~x2610+512 ~x2609+256 ~x2608+128 ~x2607+64 ~x2606+32 ~x2605+16 ~x2604+8 ~x2603+4 ~x2602+2 ~x2601+1 ~x2600-0=13310 19.18/19.26 c 4096 ~x696686+2048 ~x696685+1024 ~x696684+512 ~x696683+256 ~x696682+128 ~x696681+64 ~x696680+32 ~x696679+16 ~x696678+8 ~x696677+4 ~x696676+2 ~x696675+1 ~x696674+4096 ~x2628+2048 ~x2627+1024 ~x2626+512 ~x2625+256 ~x2624+128 ~x2623+64 ~x2622+32 ~x2621+16 ~x2620+8 ~x2619+4 ~x2618+2 ~x2617+1 ~x2616-0=13310 19.28/19.32 c 8192 ~x699265+4096 ~x699264+2048 ~x699263+1024 ~x699262+512 ~x699261+256 ~x699260+128 ~x699259+64 ~x699258+32 ~x699257+16 ~x699256+8 ~x699255+4 ~x699254+2 ~x699253+1 ~x699252+8192 ~x2645+4096 ~x2644+2048 ~x2643+1024 ~x2642+512 ~x2641+256 ~x2640+128 ~x2639+64 ~x2638+32 ~x2637+16 ~x2636+8 ~x2635+4 ~x2634+2 ~x2633+1 ~x2632-0=26622 19.38/19.40 c 8192 ~x702593+4096 ~x702592+2048 ~x702591+1024 ~x702590+512 ~x702589+256 ~x702588+128 ~x702587+64 ~x702586+32 ~x702585+16 ~x702584+8 ~x702583+4 ~x702582+2 ~x702581+1 ~x702580+8192 ~x2661+4096 ~x2660+2048 ~x2659+1024 ~x2658+512 ~x2657+256 ~x2656+128 ~x2655+64 ~x2654+32 ~x2653+16 ~x2652+8 ~x2651+4 ~x2650+2 ~x2649+1 ~x2648-0=26622 19.38/19.48 c 4096 ~x705920+2048 ~x705919+1024 ~x705918+512 ~x705917+256 ~x705916+128 ~x705915+64 ~x705914+32 ~x705913+16 ~x705912+8 ~x705911+4 ~x705910+2 ~x705909+1 ~x705908+4096 ~x2676+2048 ~x2675+1024 ~x2674+512 ~x2673+256 ~x2672+128 ~x2671+64 ~x2670+32 ~x2669+16 ~x2668+8 ~x2667+4 ~x2666+2 ~x2665+1 ~x2664-0=13310 19.49/19.55 c 8192 ~x708499+4096 ~x708498+2048 ~x708497+1024 ~x708496+512 ~x708495+256 ~x708494+128 ~x708493+64 ~x708492+32 ~x708491+16 ~x708490+8 ~x708489+4 ~x708488+2 ~x708487+1 ~x708486+8192 ~x2693+4096 ~x2692+2048 ~x2691+1024 ~x2690+512 ~x2689+256 ~x2688+128 ~x2687+64 ~x2686+32 ~x2685+16 ~x2684+8 ~x2683+4 ~x2682+2 ~x2681+1 ~x2680-0=26622 19.58/19.63 c 2048 ~x711825+1024 ~x711824+512 ~x711823+256 ~x711822+128 ~x711821+64 ~x711820+32 ~x711819+16 ~x711818+8 ~x711817+4 ~x711816+2 ~x711815+1 ~x711814+2048 ~x2707+1024 ~x2706+512 ~x2705+256 ~x2704+128 ~x2703+64 ~x2702+32 ~x2701+16 ~x2700+8 ~x2699+4 ~x2698+2 ~x2697+1 ~x2696-0=8190 19.58/19.68 c 4096 ~x714058+2048 ~x714057+1024 ~x714056+512 ~x714055+256 ~x714054+128 ~x714053+64 ~x714052+32 ~x714051+16 ~x714050+8 ~x714049+4 ~x714048+2 ~x714047+1 ~x714046+4096 ~x2721+2048 ~x2720+1024 ~x2719+512 ~x2718+256 ~x2717+128 ~x2716+64 ~x2715+32 ~x2714+16 ~x2713+8 ~x2712+4 ~x2711+2 ~x2710+1 ~x2709-0=13310 19.69/19.75 c 4096 ~x716636+2048 ~x716635+1024 ~x716634+512 ~x716633+256 ~x716632+128 ~x716631+64 ~x716630+32 ~x716629+16 ~x716628+8 ~x716627+4 ~x716626+2 ~x716625+1 ~x716624+4096 ~x2737+2048 ~x2736+1024 ~x2735+512 ~x2734+256 ~x2733+128 ~x2732+64 ~x2731+32 ~x2730+16 ~x2729+8 ~x2728+4 ~x2727+2 ~x2726+1 ~x2725-0=13310 19.79/19.81 c 4096 ~x719214+2048 ~x719213+1024 ~x719212+512 ~x719211+256 ~x719210+128 ~x719209+64 ~x719208+32 ~x719207+16 ~x719206+8 ~x719205+4 ~x719204+2 ~x719203+1 ~x719202+4096 ~x2753+2048 ~x2752+1024 ~x2751+512 ~x2750+256 ~x2749+128 ~x2748+64 ~x2747+32 ~x2746+16 ~x2745+8 ~x2744+4 ~x2743+2 ~x2742+1 ~x2741-0=13310 19.79/19.87 c 4096 ~x721792+2048 ~x721791+1024 ~x721790+512 ~x721789+256 ~x721788+128 ~x721787+64 ~x721786+32 ~x721785+16 ~x721784+8 ~x721783+4 ~x721782+2 ~x721781+1 ~x721780+4096 ~x2785+2048 ~x2784+1024 ~x2783+512 ~x2782+256 ~x2781+128 ~x2780+64 ~x2779+32 ~x2778+16 ~x2777+8 ~x2776+4 ~x2775+2 ~x2774+1 ~x2773-0=13310 19.88/19.93 c 8192 ~x724371+4096 ~x724370+2048 ~x724369+1024 ~x724368+512 ~x724367+256 ~x724366+128 ~x724365+64 ~x724364+32 ~x724363+16 ~x724362+8 ~x724361+4 ~x724360+2 ~x724359+1 ~x724358+8192 ~x2802+4096 ~x2801+2048 ~x2800+1024 ~x2799+512 ~x2798+256 ~x2797+128 ~x2796+64 ~x2795+32 ~x2794+16 ~x2793+8 ~x2792+4 ~x2791+2 ~x2790+1 ~x2789-0=26622 19.99/20.01 c 8192 ~x727699+4096 ~x727698+2048 ~x727697+1024 ~x727696+512 ~x727695+256 ~x727694+128 ~x727693+64 ~x727692+32 ~x727691+16 ~x727690+8 ~x727689+4 ~x727688+2 ~x727687+1 ~x727686+8192 ~x2818+4096 ~x2817+2048 ~x2816+1024 ~x2815+512 ~x2814+256 ~x2813+128 ~x2812+64 ~x2811+32 ~x2810+16 ~x2809+8 ~x2808+4 ~x2807+2 ~x2806+1 ~x2805-0=26622 19.99/20.10 c 8192 ~x731027+4096 ~x731026+2048 ~x731025+1024 ~x731024+512 ~x731023+256 ~x731022+128 ~x731021+64 ~x731020+32 ~x731019+16 ~x731018+8 ~x731017+4 ~x731016+2 ~x731015+1 ~x731014+8192 ~x2834+4096 ~x2833+2048 ~x2832+1024 ~x2831+512 ~x2830+256 ~x2829+128 ~x2828+64 ~x2827+32 ~x2826+16 ~x2825+8 ~x2824+4 ~x2823+2 ~x2822+1 ~x2821-0=26622 20.09/20.18 c 4096 ~x734354+2048 ~x734353+1024 ~x734352+512 ~x734351+256 ~x734350+128 ~x734349+64 ~x734348+32 ~x734347+16 ~x734346+8 ~x734345+4 ~x734344+2 ~x734343+1 ~x734342+4096 ~x2849+2048 ~x2848+1024 ~x2847+512 ~x2846+256 ~x2845+128 ~x2844+64 ~x2843+32 ~x2842+16 ~x2841+8 ~x2840+4 ~x2839+2 ~x2838+1 ~x2837-0=13310 20.19/20.24 c 4096 ~x736932+2048 ~x736931+1024 ~x736930+512 ~x736929+256 ~x736928+128 ~x736927+64 ~x736926+32 ~x736925+16 ~x736924+8 ~x736923+4 ~x736922+2 ~x736921+1 ~x736920+4096 ~x2865+2048 ~x2864+1024 ~x2863+512 ~x2862+256 ~x2861+128 ~x2860+64 ~x2859+32 ~x2858+16 ~x2857+8 ~x2856+4 ~x2855+2 ~x2854+1 ~x2853-0=13310 20.28/20.30 c 4096 ~x739510+2048 ~x739509+1024 ~x739508+512 ~x739507+256 ~x739506+128 ~x739505+64 ~x739504+32 ~x739503+16 ~x739502+8 ~x739501+4 ~x739500+2 ~x739499+1 ~x739498+4096 ~x2881+2048 ~x2880+1024 ~x2879+512 ~x2878+256 ~x2877+128 ~x2876+64 ~x2875+32 ~x2874+16 ~x2873+8 ~x2872+4 ~x2871+2 ~x2870+1 ~x2869-0=13310 20.28/20.36 c 8192 ~x742089+4096 ~x742088+2048 ~x742087+1024 ~x742086+512 ~x742085+256 ~x742084+128 ~x742083+64 ~x742082+32 ~x742081+16 ~x742080+8 ~x742079+4 ~x742078+2 ~x742077+1 ~x742076+8192 ~x2898+4096 ~x2897+2048 ~x2896+1024 ~x2895+512 ~x2894+256 ~x2893+128 ~x2892+64 ~x2891+32 ~x2890+16 ~x2889+8 ~x2888+4 ~x2887+2 ~x2886+1 ~x2885-0=26622 20.38/20.45 c 4096 ~x745416+2048 ~x745415+1024 ~x745414+512 ~x745413+256 ~x745412+128 ~x745411+64 ~x745410+32 ~x745409+16 ~x745408+8 ~x745407+4 ~x745406+2 ~x745405+1 ~x745404+4096 ~x2913+2048 ~x2912+1024 ~x2911+512 ~x2910+256 ~x2909+128 ~x2908+64 ~x2907+32 ~x2906+16 ~x2905+8 ~x2904+4 ~x2903+2 ~x2902+1 ~x2901-0=13310 20.48/20.51 c 4096 ~x747994+2048 ~x747993+1024 ~x747992+512 ~x747991+256 ~x747990+128 ~x747989+64 ~x747988+32 ~x747987+16 ~x747986+8 ~x747985+4 ~x747984+2 ~x747983+1 ~x747982+4096 ~x2929+2048 ~x2928+1024 ~x2927+512 ~x2926+256 ~x2925+128 ~x2924+64 ~x2923+32 ~x2922+16 ~x2921+8 ~x2920+4 ~x2919+2 ~x2918+1 ~x2917-0=13310 20.48/20.57 c 4096 ~x750572+2048 ~x750571+1024 ~x750570+512 ~x750569+256 ~x750568+128 ~x750567+64 ~x750566+32 ~x750565+16 ~x750564+8 ~x750563+4 ~x750562+2 ~x750561+1 ~x750560+4096 ~x2961+2048 ~x2960+1024 ~x2959+512 ~x2958+256 ~x2957+128 ~x2956+64 ~x2955+32 ~x2954+16 ~x2953+8 ~x2952+4 ~x2951+2 ~x2950+1 ~x2949-0=13310 20.58/20.63 c 8192 ~x753151+4096 ~x753150+2048 ~x753149+1024 ~x753148+512 ~x753147+256 ~x753146+128 ~x753145+64 ~x753144+32 ~x753143+16 ~x753142+8 ~x753141+4 ~x753140+2 ~x753139+1 ~x753138+8192 ~x2978+4096 ~x2977+2048 ~x2976+1024 ~x2975+512 ~x2974+256 ~x2973+128 ~x2972+64 ~x2971+32 ~x2970+16 ~x2969+8 ~x2968+4 ~x2967+2 ~x2966+1 ~x2965-0=26622 20.69/20.71 c 1024 ~x756476+512 ~x756475+256 ~x756474+128 ~x756473+64 ~x756472+32 ~x756471+16 ~x756470+8 ~x756469+4 ~x756468+2 ~x756467+1 ~x756466+1024 ~x2991+512 ~x2990+256 ~x2989+128 ~x2988+64 ~x2987+32 ~x2986+16 ~x2985+8 ~x2984+4 ~x2983+2 ~x2982+1 ~x2981-0=4094 20.69/20.76 c 2048 ~x758298+1024 ~x758297+512 ~x758296+256 ~x758295+128 ~x758294+64 ~x758293+32 ~x758292+16 ~x758291+8 ~x758290+4 ~x758289+2 ~x758288+1 ~x758287+2048 ~x3005+1024 ~x3004+512 ~x3003+256 ~x3002+128 ~x3001+64 ~x3000+32 ~x2999+16 ~x2998+8 ~x2997+4 ~x2996+2 ~x2995+1 ~x2994-0=8190 20.79/20.82 c 8192 ~x760532+4096 ~x760531+2048 ~x760530+1024 ~x760529+512 ~x760528+256 ~x760527+128 ~x760526+64 ~x760525+32 ~x760524+16 ~x760523+8 ~x760522+4 ~x760521+2 ~x760520+1 ~x760519+8192 ~x3020+4096 ~x3019+2048 ~x3018+1024 ~x3017+512 ~x3016+256 ~x3015+128 ~x3014+64 ~x3013+32 ~x3012+16 ~x3011+8 ~x3010+4 ~x3009+2 ~x3008+1 ~x3007-0=29694 20.79/20.90 c 1024 ~x763857+512 ~x763856+256 ~x763855+128 ~x763854+64 ~x763853+32 ~x763852+16 ~x763851+8 ~x763850+4 ~x763849+2 ~x763848+1 ~x763847+1024 ~x3033+512 ~x3032+256 ~x3031+128 ~x3030+64 ~x3029+32 ~x3028+16 ~x3027+8 ~x3026+4 ~x3025+2 ~x3024+1 ~x3023-0=4094 20.89/20.94 c 2048 ~x765679+1024 ~x765678+512 ~x765677+256 ~x765676+128 ~x765675+64 ~x765674+32 ~x765673+16 ~x765672+8 ~x765671+4 ~x765670+2 ~x765669+1 ~x765668+2048 ~x3047+1024 ~x3046+512 ~x3045+256 ~x3044+128 ~x3043+64 ~x3042+32 ~x3041+16 ~x3040+8 ~x3039+4 ~x3038+2 ~x3037+1 ~x3036-0=8190 20.98/21.00 c 8192 ~x767913+4096 ~x767912+2048 ~x767911+1024 ~x767910+512 ~x767909+256 ~x767908+128 ~x767907+64 ~x767906+32 ~x767905+16 ~x767904+8 ~x767903+4 ~x767902+2 ~x767901+1 ~x767900+8192 ~x3062+4096 ~x3061+2048 ~x3060+1024 ~x3059+512 ~x3058+256 ~x3057+128 ~x3056+64 ~x3055+32 ~x3054+16 ~x3053+8 ~x3052+4 ~x3051+2 ~x3050+1 ~x3049-0=29694 20.98/21.08 c 8192 ~x771241+4096 ~x771240+2048 ~x771239+1024 ~x771238+512 ~x771237+256 ~x771236+128 ~x771235+64 ~x771234+32 ~x771233+16 ~x771232+8 ~x771231+4 ~x771230+2 ~x771229+1 ~x771228+8192 ~x3078+4096 ~x3077+2048 ~x3076+1024 ~x3075+512 ~x3074+256 ~x3073+128 ~x3072+64 ~x3071+32 ~x3070+16 ~x3069+8 ~x3068+4 ~x3067+2 ~x3066+1 ~x3065-0=26622 21.08/21.16 c 8192 ~x774569+4096 ~x774568+2048 ~x774567+1024 ~x774566+512 ~x774565+256 ~x774564+128 ~x774563+64 ~x774562+32 ~x774561+16 ~x774560+8 ~x774559+4 ~x774558+2 ~x774557+1 ~x774556+8192 ~x3094+4096 ~x3093+2048 ~x3092+1024 ~x3091+512 ~x3090+256 ~x3089+128 ~x3088+64 ~x3087+32 ~x3086+16 ~x3085+8 ~x3084+4 ~x3083+2 ~x3082+1 ~x3081-0=26622 21.18/21.25 c 1024 ~x777894+512 ~x777893+256 ~x777892+128 ~x777891+64 ~x777890+32 ~x777889+16 ~x777888+8 ~x777887+4 ~x777886+2 ~x777885+1 ~x777884+1024 ~x3123+512 ~x3122+256 ~x3121+128 ~x3120+64 ~x3119+32 ~x3118+16 ~x3117+8 ~x3116+4 ~x3115+2 ~x3114+1 ~x3113-0=4094 21.18/21.29 c 8192 ~x779718+4096 ~x779717+2048 ~x779716+1024 ~x779715+512 ~x779714+256 ~x779713+128 ~x779712+64 ~x779711+32 ~x779710+16 ~x779709+8 ~x779708+4 ~x779707+2 ~x779706+1 ~x779705+8192 ~x3139+4096 ~x3138+2048 ~x3137+1024 ~x3136+512 ~x3135+256 ~x3134+128 ~x3133+64 ~x3132+32 ~x3131+16 ~x3130+8 ~x3129+4 ~x3128+2 ~x3127+1 ~x3126-0=26622 21.28/21.37 c 1024 ~x783043+512 ~x783042+256 ~x783041+128 ~x783040+64 ~x783039+32 ~x783038+16 ~x783037+8 ~x783036+4 ~x783035+2 ~x783034+1 ~x783033+1024 ~x3152+512 ~x3151+256 ~x3150+128 ~x3149+64 ~x3148+32 ~x3147+16 ~x3146+8 ~x3145+4 ~x3144+2 ~x3143+1 ~x3142-0=4094 21.38/21.42 c 2048 ~x784865+1024 ~x784864+512 ~x784863+256 ~x784862+128 ~x784861+64 ~x784860+32 ~x784859+16 ~x784858+8 ~x784857+4 ~x784856+2 ~x784855+1 ~x784854+2048 ~x3166+1024 ~x3165+512 ~x3164+256 ~x3163+128 ~x3162+64 ~x3161+32 ~x3160+16 ~x3159+8 ~x3158+4 ~x3157+2 ~x3156+1 ~x3155-0=8190 21.38/21.48 c 8192 ~x787099+4096 ~x787098+2048 ~x787097+1024 ~x787096+512 ~x787095+256 ~x787094+128 ~x787093+64 ~x787092+32 ~x787091+16 ~x787090+8 ~x787089+4 ~x787088+2 ~x787087+1 ~x787086+8192 ~x3181+4096 ~x3180+2048 ~x3179+1024 ~x3178+512 ~x3177+256 ~x3176+128 ~x3175+64 ~x3174+32 ~x3173+16 ~x3172+8 ~x3171+4 ~x3170+2 ~x3169+1 ~x3168-0=26622 21.48/21.56 c 8192 ~x790427+4096 ~x790426+2048 ~x790425+1024 ~x790424+512 ~x790423+256 ~x790422+128 ~x790421+64 ~x790420+32 ~x790419+16 ~x790418+8 ~x790417+4 ~x790416+2 ~x790415+1 ~x790414+8192 ~x3197+4096 ~x3196+2048 ~x3195+1024 ~x3194+512 ~x3193+256 ~x3192+128 ~x3191+64 ~x3190+32 ~x3189+16 ~x3188+8 ~x3187+4 ~x3186+2 ~x3185+1 ~x3184-0=26622 21.58/21.64 c 2048 ~x793753+1024 ~x793752+512 ~x793751+256 ~x793750+128 ~x793749+64 ~x793748+32 ~x793747+16 ~x793746+8 ~x793745+4 ~x793744+2 ~x793743+1 ~x793742+2048 ~x3211+1024 ~x3210+512 ~x3209+256 ~x3208+128 ~x3207+64 ~x3206+32 ~x3205+16 ~x3204+8 ~x3203+4 ~x3202+2 ~x3201+1 ~x3200-0=8190 21.68/21.70 c 4096 ~x795986+2048 ~x795985+1024 ~x795984+512 ~x795983+256 ~x795982+128 ~x795981+64 ~x795980+32 ~x795979+16 ~x795978+8 ~x795977+4 ~x795976+2 ~x795975+1 ~x795974+4096 ~x3225+2048 ~x3224+1024 ~x3223+512 ~x3222+256 ~x3221+128 ~x3220+64 ~x3219+32 ~x3218+16 ~x3217+8 ~x3216+4 ~x3215+2 ~x3214+1 ~x3213-0=13310 21.68/21.76 c 2048 ~x798563+1024 ~x798562+512 ~x798561+256 ~x798560+128 ~x798559+64 ~x798558+32 ~x798557+16 ~x798556+8 ~x798555+4 ~x798554+2 ~x798553+1 ~x798552+2048 ~x3240+1024 ~x3239+512 ~x3238+256 ~x3237+128 ~x3236+64 ~x3235+32 ~x3234+16 ~x3233+8 ~x3232+4 ~x3231+2 ~x3230+1 ~x3229-0=8190 21.78/21.81 c 4096 ~x800796+2048 ~x800795+1024 ~x800794+512 ~x800793+256 ~x800792+128 ~x800791+64 ~x800790+32 ~x800789+16 ~x800788+8 ~x800787+4 ~x800786+2 ~x800785+1 ~x800784+4096 ~x3254+2048 ~x3253+1024 ~x3252+512 ~x3251+256 ~x3250+128 ~x3249+64 ~x3248+32 ~x3247+16 ~x3246+8 ~x3245+4 ~x3244+2 ~x3243+1 ~x3242-0=13310 21.78/21.88 c 4096 ~x803374+2048 ~x803373+1024 ~x803372+512 ~x803371+256 ~x803370+128 ~x803369+64 ~x803368+32 ~x803367+16 ~x803366+8 ~x803365+4 ~x803364+2 ~x803363+1 ~x803362+4096 ~x3286+2048 ~x3285+1024 ~x3284+512 ~x3283+256 ~x3282+128 ~x3281+64 ~x3280+32 ~x3279+16 ~x3278+8 ~x3277+4 ~x3276+2 ~x3275+1 ~x3274-0=13310 21.89/21.95 c 2048 ~x805951+1024 ~x805950+512 ~x805949+256 ~x805948+128 ~x805947+64 ~x805946+32 ~x805945+16 ~x805944+8 ~x805943+4 ~x805942+2 ~x805941+1 ~x805940+2048 ~x3301+1024 ~x3300+512 ~x3299+256 ~x3298+128 ~x3297+64 ~x3296+32 ~x3295+16 ~x3294+8 ~x3293+4 ~x3292+2 ~x3291+1 ~x3290-0=8190 21.98/22.01 c 8192 ~x808185+4096 ~x808184+2048 ~x808183+1024 ~x808182+512 ~x808181+256 ~x808180+128 ~x808179+64 ~x808178+32 ~x808177+16 ~x808176+8 ~x808175+4 ~x808174+2 ~x808173+1 ~x808172+8192 ~x3316+4096 ~x3315+2048 ~x3314+1024 ~x3313+512 ~x3312+256 ~x3311+128 ~x3310+64 ~x3309+32 ~x3308+16 ~x3307+8 ~x3306+4 ~x3305+2 ~x3304+1 ~x3303-0=27646 21.98/22.09 c 8192 ~x811513+4096 ~x811512+2048 ~x811511+1024 ~x811510+512 ~x811509+256 ~x811508+128 ~x811507+64 ~x811506+32 ~x811505+16 ~x811504+8 ~x811503+4 ~x811502+2 ~x811501+1 ~x811500+8192 ~x3332+4096 ~x3331+2048 ~x3330+1024 ~x3329+512 ~x3328+256 ~x3327+128 ~x3326+64 ~x3325+32 ~x3324+16 ~x3323+8 ~x3322+4 ~x3321+2 ~x3320+1 ~x3319-0=27646 22.08/22.17 c 4096 ~x814840+2048 ~x814839+1024 ~x814838+512 ~x814837+256 ~x814836+128 ~x814835+64 ~x814834+32 ~x814833+16 ~x814832+8 ~x814831+4 ~x814830+2 ~x814829+1 ~x814828+4096 ~x3347+2048 ~x3346+1024 ~x3345+512 ~x3344+256 ~x3343+128 ~x3342+64 ~x3341+32 ~x3340+16 ~x3339+8 ~x3338+4 ~x3337+2 ~x3336+1 ~x3335-0=13310 22.18/22.23 c 4096 ~x817418+2048 ~x817417+1024 ~x817416+512 ~x817415+256 ~x817414+128 ~x817413+64 ~x817412+32 ~x817411+16 ~x817410+8 ~x817409+4 ~x817408+2 ~x817407+1 ~x817406+4096 ~x3363+2048 ~x3362+1024 ~x3361+512 ~x3360+256 ~x3359+128 ~x3358+64 ~x3357+32 ~x3356+16 ~x3355+8 ~x3354+4 ~x3353+2 ~x3352+1 ~x3351-0=13310 22.18/22.30 c 8192 ~x819997+4096 ~x819996+2048 ~x819995+1024 ~x819994+512 ~x819993+256 ~x819992+128 ~x819991+64 ~x819990+32 ~x819989+16 ~x819988+8 ~x819987+4 ~x819986+2 ~x819985+1 ~x819984+8192 ~x3380+4096 ~x3379+2048 ~x3378+1024 ~x3377+512 ~x3376+256 ~x3375+128 ~x3374+64 ~x3373+32 ~x3372+16 ~x3371+8 ~x3370+4 ~x3369+2 ~x3368+1 ~x3367-0=26622 22.28/22.38 c 2048 ~x823323+1024 ~x823322+512 ~x823321+256 ~x823320+128 ~x823319+64 ~x823318+32 ~x823317+16 ~x823316+8 ~x823315+4 ~x823314+2 ~x823313+1 ~x823312+2048 ~x3394+1024 ~x3393+512 ~x3392+256 ~x3391+128 ~x3390+64 ~x3389+32 ~x3388+16 ~x3387+8 ~x3386+4 ~x3385+2 ~x3384+1 ~x3383-0=8190 22.38/22.43 c 2048 ~x825555+1024 ~x825554+512 ~x825553+256 ~x825552+128 ~x825551+64 ~x825550+32 ~x825549+16 ~x825548+8 ~x825547+4 ~x825546+2 ~x825545+1 ~x825544+2048 ~x3407+1024 ~x3406+512 ~x3405+256 ~x3404+128 ~x3403+64 ~x3402+32 ~x3401+16 ~x3400+8 ~x3399+4 ~x3398+2 ~x3397+1 ~x3396-0=8190 22.38/22.49 c 4096 ~x827788+2048 ~x827787+1024 ~x827786+512 ~x827785+256 ~x827784+128 ~x827783+64 ~x827782+32 ~x827781+16 ~x827780+8 ~x827779+4 ~x827778+2 ~x827777+1 ~x827776+4096 ~x3421+2048 ~x3420+1024 ~x3419+512 ~x3418+256 ~x3417+128 ~x3416+64 ~x3415+32 ~x3414+16 ~x3413+8 ~x3412+4 ~x3411+2 ~x3410+1 ~x3409-0=13310 22.48/22.55 c 4096 ~x830366+2048 ~x830365+1024 ~x830364+512 ~x830363+256 ~x830362+128 ~x830361+64 ~x830360+32 ~x830359+16 ~x830358+8 ~x830357+4 ~x830356+2 ~x830355+1 ~x830354+4096 ~x3469+2048 ~x3468+1024 ~x3467+512 ~x3466+256 ~x3465+128 ~x3464+64 ~x3463+32 ~x3462+16 ~x3461+8 ~x3460+4 ~x3459+2 ~x3458+1 ~x3457-0=13310 22.58/22.61 c 4096 ~x832944+2048 ~x832943+1024 ~x832942+512 ~x832941+256 ~x832940+128 ~x832939+64 ~x832938+32 ~x832937+16 ~x832936+8 ~x832935+4 ~x832934+2 ~x832933+1 ~x832932+4096 ~x3485+2048 ~x3484+1024 ~x3483+512 ~x3482+256 ~x3481+128 ~x3480+64 ~x3479+32 ~x3478+16 ~x3477+8 ~x3476+4 ~x3475+2 ~x3474+1 ~x3473-0=13310 22.58/22.67 c 4096 ~x835522+2048 ~x835521+1024 ~x835520+512 ~x835519+256 ~x835518+128 ~x835517+64 ~x835516+32 ~x835515+16 ~x835514+8 ~x835513+4 ~x835512+2 ~x835511+1 ~x835510+4096 ~x3501+2048 ~x3500+1024 ~x3499+512 ~x3498+256 ~x3497+128 ~x3496+64 ~x3495+32 ~x3494+16 ~x3493+8 ~x3492+4 ~x3491+2 ~x3490+1 ~x3489-0=13310 22.68/22.73 c 4096 ~x838100+2048 ~x838099+1024 ~x838098+512 ~x838097+256 ~x838096+128 ~x838095+64 ~x838094+32 ~x838093+16 ~x838092+8 ~x838091+4 ~x838090+2 ~x838089+1 ~x838088+4096 ~x3517+2048 ~x3516+1024 ~x3515+512 ~x3514+256 ~x3513+128 ~x3512+64 ~x3511+32 ~x3510+16 ~x3509+8 ~x3508+4 ~x3507+2 ~x3506+1 ~x3505-0=13310 22.78/22.80 c 4096 ~x840678+2048 ~x840677+1024 ~x840676+512 ~x840675+256 ~x840674+128 ~x840673+64 ~x840672+32 ~x840671+16 ~x840670+8 ~x840669+4 ~x840668+2 ~x840667+1 ~x840666+4096 ~x3533+2048 ~x3532+1024 ~x3531+512 ~x3530+256 ~x3529+128 ~x3528+64 ~x3527+32 ~x3526+16 ~x3525+8 ~x3524+4 ~x3523+2 ~x3522+1 ~x3521-0=13310 22.78/22.86 c 4096 ~x843256+2048 ~x843255+1024 ~x843254+512 ~x843253+256 ~x843252+128 ~x843251+64 ~x843250+32 ~x843249+16 ~x843248+8 ~x843247+4 ~x843246+2 ~x843245+1 ~x843244+4096 ~x3549+2048 ~x3548+1024 ~x3547+512 ~x3546+256 ~x3545+128 ~x3544+64 ~x3543+32 ~x3542+16 ~x3541+8 ~x3540+4 ~x3539+2 ~x3538+1 ~x3537-0=13310 22.88/22.92 c 4096 ~x845834+2048 ~x845833+1024 ~x845832+512 ~x845831+256 ~x845830+128 ~x845829+64 ~x845828+32 ~x845827+16 ~x845826+8 ~x845825+4 ~x845824+2 ~x845823+1 ~x845822+4096 ~x3565+2048 ~x3564+1024 ~x3563+512 ~x3562+256 ~x3561+128 ~x3560+64 ~x3559+32 ~x3558+16 ~x3557+8 ~x3556+4 ~x3555+2 ~x3554+1 ~x3553-0=13310 22.88/22.98 c 2048 ~x848411+1024 ~x848410+512 ~x848409+256 ~x848408+128 ~x848407+64 ~x848406+32 ~x848405+16 ~x848404+8 ~x848403+4 ~x848402+2 ~x848401+1 ~x848400+2048 ~x3580+1024 ~x3579+512 ~x3578+256 ~x3577+128 ~x3576+64 ~x3575+32 ~x3574+16 ~x3573+8 ~x3572+4 ~x3571+2 ~x3570+1 ~x3569-0=8190 22.99/23.04 c 8192 ~x850645+4096 ~x850644+2048 ~x850643+1024 ~x850642+512 ~x850641+256 ~x850640+128 ~x850639+64 ~x850638+32 ~x850637+16 ~x850636+8 ~x850635+4 ~x850634+2 ~x850633+1 ~x850632+8192 ~x3595+4096 ~x3594+2048 ~x3593+1024 ~x3592+512 ~x3591+256 ~x3590+128 ~x3589+64 ~x3588+32 ~x3587+16 ~x3586+8 ~x3585+4 ~x3584+2 ~x3583+1 ~x3582-0=26622 23.09/23.12 c 8192 ~x853973+4096 ~x853972+2048 ~x853971+1024 ~x853970+512 ~x853969+256 ~x853968+128 ~x853967+64 ~x853966+32 ~x853965+16 ~x853964+8 ~x853963+4 ~x853962+2 ~x853961+1 ~x853960+8192 ~x3611+4096 ~x3610+2048 ~x3609+1024 ~x3608+512 ~x3607+256 ~x3606+128 ~x3605+64 ~x3604+32 ~x3603+16 ~x3602+8 ~x3601+4 ~x3600+2 ~x3599+1 ~x3598-0=26622 23.18/23.20 c 4096 ~x857300+2048 ~x857299+1024 ~x857298+512 ~x857297+256 ~x857296+128 ~x857295+64 ~x857294+32 ~x857293+16 ~x857292+8 ~x857291+4 ~x857290+2 ~x857289+1 ~x857288+4096 ~x3639+2048 ~x3638+1024 ~x3637+512 ~x3636+256 ~x3635+128 ~x3634+64 ~x3633+32 ~x3632+16 ~x3631+8 ~x3630+4 ~x3629+2 ~x3628+1 ~x3627-0=13310 23.18/23.26 c 4096 ~x859878+2048 ~x859877+1024 ~x859876+512 ~x859875+256 ~x859874+128 ~x859873+64 ~x859872+32 ~x859871+16 ~x859870+8 ~x859869+4 ~x859868+2 ~x859867+1 ~x859866+4096 ~x3655+2048 ~x3654+1024 ~x3653+512 ~x3652+256 ~x3651+128 ~x3650+64 ~x3649+32 ~x3648+16 ~x3647+8 ~x3646+4 ~x3645+2 ~x3644+1 ~x3643-0=14334 23.28/23.33 c 2048 ~x862455+1024 ~x862454+512 ~x862453+256 ~x862452+128 ~x862451+64 ~x862450+32 ~x862449+16 ~x862448+8 ~x862447+4 ~x862446+2 ~x862445+1 ~x862444+2048 ~x3670+1024 ~x3669+512 ~x3668+256 ~x3667+128 ~x3666+64 ~x3665+32 ~x3664+16 ~x3663+8 ~x3662+4 ~x3661+2 ~x3660+1 ~x3659-0=8190 23.28/23.38 c 8192 ~x864689+4096 ~x864688+2048 ~x864687+1024 ~x864686+512 ~x864685+256 ~x864684+128 ~x864683+64 ~x864682+32 ~x864681+16 ~x864680+8 ~x864679+4 ~x864678+2 ~x864677+1 ~x864676+8192 ~x3685+4096 ~x3684+2048 ~x3683+1024 ~x3682+512 ~x3681+256 ~x3680+128 ~x3679+64 ~x3678+32 ~x3677+16 ~x3676+8 ~x3675+4 ~x3674+2 ~x3673+1 ~x3672-0=31742 23.38/23.46 c 4096 ~x868016+2048 ~x868015+1024 ~x868014+512 ~x868013+256 ~x868012+128 ~x868011+64 ~x868010+32 ~x868009+16 ~x868008+8 ~x868007+4 ~x868006+2 ~x868005+1 ~x868004+4096 ~x3700+2048 ~x3699+1024 ~x3698+512 ~x3697+256 ~x3696+128 ~x3695+64 ~x3694+32 ~x3693+16 ~x3692+8 ~x3691+4 ~x3690+2 ~x3689+1 ~x3688-0=14334 23.48/23.53 c 4096 ~x870594+2048 ~x870593+1024 ~x870592+512 ~x870591+256 ~x870590+128 ~x870589+64 ~x870588+32 ~x870587+16 ~x870586+8 ~x870585+4 ~x870584+2 ~x870583+1 ~x870582+4096 ~x3716+2048 ~x3715+1024 ~x3714+512 ~x3713+256 ~x3712+128 ~x3711+64 ~x3710+32 ~x3709+16 ~x3708+8 ~x3707+4 ~x3706+2 ~x3705+1 ~x3704-0=14334 23.48/23.59 c 2048 ~x873171+1024 ~x873170+512 ~x873169+256 ~x873168+128 ~x873167+64 ~x873166+32 ~x873165+16 ~x873164+8 ~x873163+4 ~x873162+2 ~x873161+1 ~x873160+2048 ~x3731+1024 ~x3730+512 ~x3729+256 ~x3728+128 ~x3727+64 ~x3726+32 ~x3725+16 ~x3724+8 ~x3723+4 ~x3722+2 ~x3721+1 ~x3720-0=8190 23.58/23.64 c 4096 ~x875404+2048 ~x875403+1024 ~x875402+512 ~x875401+256 ~x875400+128 ~x875399+64 ~x875398+32 ~x875397+16 ~x875396+8 ~x875395+4 ~x875394+2 ~x875393+1 ~x875392+4096 ~x3745+2048 ~x3744+1024 ~x3743+512 ~x3742+256 ~x3741+128 ~x3740+64 ~x3739+32 ~x3738+16 ~x3737+8 ~x3736+4 ~x3735+2 ~x3734+1 ~x3733-0=13310 23.68/23.70 c 4096 ~x877982+2048 ~x877981+1024 ~x877980+512 ~x877979+256 ~x877978+128 ~x877977+64 ~x877976+32 ~x877975+16 ~x877974+8 ~x877973+4 ~x877972+2 ~x877971+1 ~x877970+4096 ~x3761+2048 ~x3760+1024 ~x3759+512 ~x3758+256 ~x3757+128 ~x3756+64 ~x3755+32 ~x3754+16 ~x3753+8 ~x3752+4 ~x3751+2 ~x3750+1 ~x3749-0=13310 23.68/23.77 c 4096 ~x880560+2048 ~x880559+1024 ~x880558+512 ~x880557+256 ~x880556+128 ~x880555+64 ~x880554+32 ~x880553+16 ~x880552+8 ~x880551+4 ~x880550+2 ~x880549+1 ~x880548+4096 ~x3777+2048 ~x3776+1024 ~x3775+512 ~x3774+256 ~x3773+128 ~x3772+64 ~x3771+32 ~x3770+16 ~x3769+8 ~x3768+4 ~x3767+2 ~x3766+1 ~x3765-0=13310 23.78/23.83 c 4096 ~x883138+2048 ~x883137+1024 ~x883136+512 ~x883135+256 ~x883134+128 ~x883133+64 ~x883132+32 ~x883131+16 ~x883130+8 ~x883129+4 ~x883128+2 ~x883127+1 ~x883126+4096 ~x3809+2048 ~x3808+1024 ~x3807+512 ~x3806+256 ~x3805+128 ~x3804+64 ~x3803+32 ~x3802+16 ~x3801+8 ~x3800+4 ~x3799+2 ~x3798+1 ~x3797-0=13310 23.78/23.89 c 4096 ~x885716+2048 ~x885715+1024 ~x885714+512 ~x885713+256 ~x885712+128 ~x885711+64 ~x885710+32 ~x885709+16 ~x885708+8 ~x885707+4 ~x885706+2 ~x885705+1 ~x885704+4096 ~x3825+2048 ~x3824+1024 ~x3823+512 ~x3822+256 ~x3821+128 ~x3820+64 ~x3819+32 ~x3818+16 ~x3817+8 ~x3816+4 ~x3815+2 ~x3814+1 ~x3813-0=14334 23.88/23.95 c 2048 ~x888293+1024 ~x888292+512 ~x888291+256 ~x888290+128 ~x888289+64 ~x888288+32 ~x888287+16 ~x888286+8 ~x888285+4 ~x888284+2 ~x888283+1 ~x888282+2048 ~x3840+1024 ~x3839+512 ~x3838+256 ~x3837+128 ~x3836+64 ~x3835+32 ~x3834+16 ~x3833+8 ~x3832+4 ~x3831+2 ~x3830+1 ~x3829-0=8190 23.98/24.01 c 4096 ~x890526+2048 ~x890525+1024 ~x890524+512 ~x890523+256 ~x890522+128 ~x890521+64 ~x890520+32 ~x890519+16 ~x890518+8 ~x890517+4 ~x890516+2 ~x890515+1 ~x890514+4096 ~x3854+2048 ~x3853+1024 ~x3852+512 ~x3851+256 ~x3850+128 ~x3849+64 ~x3848+32 ~x3847+16 ~x3846+8 ~x3845+4 ~x3844+2 ~x3843+1 ~x3842-0=15358 23.98/24.07 c 4096 ~x893104+2048 ~x893103+1024 ~x893102+512 ~x893101+256 ~x893100+128 ~x893099+64 ~x893098+32 ~x893097+16 ~x893096+8 ~x893095+4 ~x893094+2 ~x893093+1 ~x893092+4096 ~x3870+2048 ~x3869+1024 ~x3868+512 ~x3867+256 ~x3866+128 ~x3865+64 ~x3864+32 ~x3863+16 ~x3862+8 ~x3861+4 ~x3860+2 ~x3859+1 ~x3858-0=15358 24.09/24.13 c 4096 ~x895682+2048 ~x895681+1024 ~x895680+512 ~x895679+256 ~x895678+128 ~x895677+64 ~x895676+32 ~x895675+16 ~x895674+8 ~x895673+4 ~x895672+2 ~x895671+1 ~x895670+4096 ~x3886+2048 ~x3885+1024 ~x3884+512 ~x3883+256 ~x3882+128 ~x3881+64 ~x3880+32 ~x3879+16 ~x3878+8 ~x3877+4 ~x3876+2 ~x3875+1 ~x3874-0=15358 24.09/24.19 c 4096 ~x898260+2048 ~x898259+1024 ~x898258+512 ~x898257+256 ~x898256+128 ~x898255+64 ~x898254+32 ~x898253+16 ~x898252+8 ~x898251+4 ~x898250+2 ~x898249+1 ~x898248+4096 ~x3902+2048 ~x3901+1024 ~x3900+512 ~x3899+256 ~x3898+128 ~x3897+64 ~x3896+32 ~x3895+16 ~x3894+8 ~x3893+4 ~x3892+2 ~x3891+1 ~x3890-0=13310 24.18/24.26 c 2048 ~x900837+1024 ~x900836+512 ~x900835+256 ~x900834+128 ~x900833+64 ~x900832+32 ~x900831+16 ~x900830+8 ~x900829+4 ~x900828+2 ~x900827+1 ~x900826+2048 ~x3917+1024 ~x3916+512 ~x3915+256 ~x3914+128 ~x3913+64 ~x3912+32 ~x3911+16 ~x3910+8 ~x3909+4 ~x3908+2 ~x3907+1 ~x3906-0=8190 24.28/24.31 c 4096 ~x903070+2048 ~x903069+1024 ~x903068+512 ~x903067+256 ~x903066+128 ~x903065+64 ~x903064+32 ~x903063+16 ~x903062+8 ~x903061+4 ~x903060+2 ~x903059+1 ~x903058+4096 ~x3931+2048 ~x3930+1024 ~x3929+512 ~x3928+256 ~x3927+128 ~x3926+64 ~x3925+32 ~x3924+16 ~x3923+8 ~x3922+4 ~x3921+2 ~x3920+1 ~x3919-0=14334 24.28/24.37 c 4096 ~x905648+2048 ~x905647+1024 ~x905646+512 ~x905645+256 ~x905644+128 ~x905643+64 ~x905642+32 ~x905641+16 ~x905640+8 ~x905639+4 ~x905638+2 ~x905637+1 ~x905636+4096 ~x3947+2048 ~x3946+1024 ~x3945+512 ~x3944+256 ~x3943+128 ~x3942+64 ~x3941+32 ~x3940+16 ~x3939+8 ~x3938+4 ~x3937+2 ~x3936+1 ~x3935-0=14334 24.38/24.44 c 4096 ~x908226+2048 ~x908225+1024 ~x908224+512 ~x908223+256 ~x908222+128 ~x908221+64 ~x908220+32 ~x908219+16 ~x908218+8 ~x908217+4 ~x908216+2 ~x908215+1 ~x908214+4096 ~x3979+2048 ~x3978+1024 ~x3977+512 ~x3976+256 ~x3975+128 ~x3974+64 ~x3973+32 ~x3972+16 ~x3971+8 ~x3970+4 ~x3969+2 ~x3968+1 ~x3967-0=14334 24.48/24.50 c 4096 ~x910804+2048 ~x910803+1024 ~x910802+512 ~x910801+256 ~x910800+128 ~x910799+64 ~x910798+32 ~x910797+16 ~x910796+8 ~x910795+4 ~x910794+2 ~x910793+1 ~x910792+4096 ~x3995+2048 ~x3994+1024 ~x3993+512 ~x3992+256 ~x3991+128 ~x3990+64 ~x3989+32 ~x3988+16 ~x3987+8 ~x3986+4 ~x3985+2 ~x3984+1 ~x3983-0=13310 24.48/24.56 c 2048 ~x913381+1024 ~x913380+512 ~x913379+256 ~x913378+128 ~x913377+64 ~x913376+32 ~x913375+16 ~x913374+8 ~x913373+4 ~x913372+2 ~x913371+1 ~x913370+2048 ~x4010+1024 ~x4009+512 ~x4008+256 ~x4007+128 ~x4006+64 ~x4005+32 ~x4004+16 ~x4003+8 ~x4002+4 ~x4001+2 ~x4000+1 ~x3999-0=8190 24.58/24.62 c 4096 ~x915614+2048 ~x915613+1024 ~x915612+512 ~x915611+256 ~x915610+128 ~x915609+64 ~x915608+32 ~x915607+16 ~x915606+8 ~x915605+4 ~x915604+2 ~x915603+1 ~x915602+4096 ~x4024+2048 ~x4023+1024 ~x4022+512 ~x4021+256 ~x4020+128 ~x4019+64 ~x4018+32 ~x4017+16 ~x4016+8 ~x4015+4 ~x4014+2 ~x4013+1 ~x4012-0=13310 24.58/24.68 c 2048 ~x918191+1024 ~x918190+512 ~x918189+256 ~x918188+128 ~x918187+64 ~x918186+32 ~x918185+16 ~x918184+8 ~x918183+4 ~x918182+2 ~x918181+1 ~x918180+2048 ~x4039+1024 ~x4038+512 ~x4037+256 ~x4036+128 ~x4035+64 ~x4034+32 ~x4033+16 ~x4032+8 ~x4031+4 ~x4030+2 ~x4029+1 ~x4028-0=8190 24.68/24.73 c 4096 ~x920424+2048 ~x920423+1024 ~x920422+512 ~x920421+256 ~x920420+128 ~x920419+64 ~x920418+32 ~x920417+16 ~x920416+8 ~x920415+4 ~x920414+2 ~x920413+1 ~x920412+4096 ~x4053+2048 ~x4052+1024 ~x4051+512 ~x4050+256 ~x4049+128 ~x4048+64 ~x4047+32 ~x4046+16 ~x4045+8 ~x4044+4 ~x4043+2 ~x4042+1 ~x4041-0=13310 24.68/24.80 c 4096 ~x923002+2048 ~x923001+1024 ~x923000+512 ~x922999+256 ~x922998+128 ~x922997+64 ~x922996+32 ~x922995+16 ~x922994+8 ~x922993+4 ~x922992+2 ~x922991+1 ~x922990+4096 ~x4069+2048 ~x4068+1024 ~x4067+512 ~x4066+256 ~x4065+128 ~x4064+64 ~x4063+32 ~x4062+16 ~x4061+8 ~x4060+4 ~x4059+2 ~x4058+1 ~x4057-0=14334 24.78/24.86 c 2048 ~x925579+1024 ~x925578+512 ~x925577+256 ~x925576+128 ~x925575+64 ~x925574+32 ~x925573+16 ~x925572+8 ~x925571+4 ~x925570+2 ~x925569+1 ~x925568+2048 ~x4084+1024 ~x4083+512 ~x4082+256 ~x4081+128 ~x4080+64 ~x4079+32 ~x4078+16 ~x4077+8 ~x4076+4 ~x4075+2 ~x4074+1 ~x4073-0=8190 24.88/24.91 c 4096 ~x927812+2048 ~x927811+1024 ~x927810+512 ~x927809+256 ~x927808+128 ~x927807+64 ~x927806+32 ~x927805+16 ~x927804+8 ~x927803+4 ~x927802+2 ~x927801+1 ~x927800+4096 ~x4098+2048 ~x4097+1024 ~x4096+512 ~x4095+256 ~x4094+128 ~x4093+64 ~x4092+32 ~x4091+16 ~x4090+8 ~x4089+4 ~x4088+2 ~x4087+1 ~x4086-0=14334 24.88/24.98 c 4096 ~x930390+2048 ~x930389+1024 ~x930388+512 ~x930387+256 ~x930386+128 ~x930385+64 ~x930384+32 ~x930383+16 ~x930382+8 ~x930381+4 ~x930380+2 ~x930379+1 ~x930378+4096 ~x4114+2048 ~x4113+1024 ~x4112+512 ~x4111+256 ~x4110+128 ~x4109+64 ~x4108+32 ~x4107+16 ~x4106+8 ~x4105+4 ~x4104+2 ~x4103+1 ~x4102-0=13310 24.98/25.04 c 4096 ~x932968+2048 ~x932967+1024 ~x932966+512 ~x932965+256 ~x932964+128 ~x932963+64 ~x932962+32 ~x932961+16 ~x932960+8 ~x932959+4 ~x932958+2 ~x932957+1 ~x932956+4096 ~x4146+2048 ~x4145+1024 ~x4144+512 ~x4143+256 ~x4142+128 ~x4141+64 ~x4140+32 ~x4139+16 ~x4138+8 ~x4137+4 ~x4136+2 ~x4135+1 ~x4134-0=13310 25.08/25.10 c 4096 ~x935546+2048 ~x935545+1024 ~x935544+512 ~x935543+256 ~x935542+128 ~x935541+64 ~x935540+32 ~x935539+16 ~x935538+8 ~x935537+4 ~x935536+2 ~x935535+1 ~x935534+4096 ~x4162+2048 ~x4161+1024 ~x4160+512 ~x4159+256 ~x4158+128 ~x4157+64 ~x4156+32 ~x4155+16 ~x4154+8 ~x4153+4 ~x4152+2 ~x4151+1 ~x4150-0=13310 25.08/25.16 c 4096 ~x938124+2048 ~x938123+1024 ~x938122+512 ~x938121+256 ~x938120+128 ~x938119+64 ~x938118+32 ~x938117+16 ~x938116+8 ~x938115+4 ~x938114+2 ~x938113+1 ~x938112+4096 ~x4178+2048 ~x4177+1024 ~x4176+512 ~x4175+256 ~x4174+128 ~x4173+64 ~x4172+32 ~x4171+16 ~x4170+8 ~x4169+4 ~x4168+2 ~x4167+1 ~x4166-0=14334 25.19/25.22 c 4096 ~x940702+2048 ~x940701+1024 ~x940700+512 ~x940699+256 ~x940698+128 ~x940697+64 ~x940696+32 ~x940695+16 ~x940694+8 ~x940693+4 ~x940692+2 ~x940691+1 ~x940690+4096 ~x4194+2048 ~x4193+1024 ~x4192+512 ~x4191+256 ~x4190+128 ~x4189+64 ~x4188+32 ~x4187+16 ~x4186+8 ~x4185+4 ~x4184+2 ~x4183+1 ~x4182-0=14334 25.19/25.29 c 2048 ~x943279+1024 ~x943278+512 ~x943277+256 ~x943276+128 ~x943275+64 ~x943274+32 ~x943273+16 ~x943272+8 ~x943271+4 ~x943270+2 ~x943269+1 ~x943268+2048 ~x4209+1024 ~x4208+512 ~x4207+256 ~x4206+128 ~x4205+64 ~x4204+32 ~x4203+16 ~x4202+8 ~x4201+4 ~x4200+2 ~x4199+1 ~x4198-0=8190 25.29/25.34 c 4096 ~x945512+2048 ~x945511+1024 ~x945510+512 ~x945509+256 ~x945508+128 ~x945507+64 ~x945506+32 ~x945505+16 ~x945504+8 ~x945503+4 ~x945502+2 ~x945501+1 ~x945500+4096 ~x4223+2048 ~x4222+1024 ~x4221+512 ~x4220+256 ~x4219+128 ~x4218+64 ~x4217+32 ~x4216+16 ~x4215+8 ~x4214+4 ~x4213+2 ~x4212+1 ~x4211-0=14334 25.38/25.40 c 4096 ~x948090+2048 ~x948089+1024 ~x948088+512 ~x948087+256 ~x948086+128 ~x948085+64 ~x948084+32 ~x948083+16 ~x948082+8 ~x948081+4 ~x948080+2 ~x948079+1 ~x948078+4096 ~x4239+2048 ~x4238+1024 ~x4237+512 ~x4236+256 ~x4235+128 ~x4234+64 ~x4233+32 ~x4232+16 ~x4231+8 ~x4230+4 ~x4229+2 ~x4228+1 ~x4227-0=13310 25.38/25.47 c 2048 ~x950667+1024 ~x950666+512 ~x950665+256 ~x950664+128 ~x950663+64 ~x950662+32 ~x950661+16 ~x950660+8 ~x950659+4 ~x950658+2 ~x950657+1 ~x950656+2048 ~x4254+1024 ~x4253+512 ~x4252+256 ~x4251+128 ~x4250+64 ~x4249+32 ~x4248+16 ~x4247+8 ~x4246+4 ~x4245+2 ~x4244+1 ~x4243-0=8190 25.48/25.52 c 4096 ~x952900+2048 ~x952899+1024 ~x952898+512 ~x952897+256 ~x952896+128 ~x952895+64 ~x952894+32 ~x952893+16 ~x952892+8 ~x952891+4 ~x952890+2 ~x952889+1 ~x952888+4096 ~x4268+2048 ~x4267+1024 ~x4266+512 ~x4265+256 ~x4264+128 ~x4263+64 ~x4262+32 ~x4261+16 ~x4260+8 ~x4259+4 ~x4258+2 ~x4257+1 ~x4256-0=13310 25.48/25.58 c 4096 ~x955478+2048 ~x955477+1024 ~x955476+512 ~x955475+256 ~x955474+128 ~x955473+64 ~x955472+32 ~x955471+16 ~x955470+8 ~x955469+4 ~x955468+2 ~x955467+1 ~x955466+4096 ~x4284+2048 ~x4283+1024 ~x4282+512 ~x4281+256 ~x4280+128 ~x4279+64 ~x4278+32 ~x4277+16 ~x4276+8 ~x4275+4 ~x4274+2 ~x4273+1 ~x4272-0=13310 25.58/25.65 c 4096 ~x958056+2048 ~x958055+1024 ~x958054+512 ~x958053+256 ~x958052+128 ~x958051+64 ~x958050+32 ~x958049+16 ~x958048+8 ~x958047+4 ~x958046+2 ~x958045+1 ~x958044+4096 ~x4316+2048 ~x4315+1024 ~x4314+512 ~x4313+256 ~x4312+128 ~x4311+64 ~x4310+32 ~x4309+16 ~x4308+8 ~x4307+4 ~x4306+2 ~x4305+1 ~x4304-0=13310 25.68/25.71 c 4096 ~x960634+2048 ~x960633+1024 ~x960632+512 ~x960631+256 ~x960630+128 ~x960629+64 ~x960628+32 ~x960627+16 ~x960626+8 ~x960625+4 ~x960624+2 ~x960623+1 ~x960622+4096 ~x4332+2048 ~x4331+1024 ~x4330+512 ~x4329+256 ~x4328+128 ~x4327+64 ~x4326+32 ~x4325+16 ~x4324+8 ~x4323+4 ~x4322+2 ~x4321+1 ~x4320-0=13310 25.68/25.77 c 2048 ~x963211+1024 ~x963210+512 ~x963209+256 ~x963208+128 ~x963207+64 ~x963206+32 ~x963205+16 ~x963204+8 ~x963203+4 ~x963202+2 ~x963201+1 ~x963200+2048 ~x4347+1024 ~x4346+512 ~x4345+256 ~x4344+128 ~x4343+64 ~x4342+32 ~x4341+16 ~x4340+8 ~x4339+4 ~x4338+2 ~x4337+1 ~x4336-0=8190 25.78/25.82 c 8192 ~x965445+4096 ~x965444+2048 ~x965443+1024 ~x965442+512 ~x965441+256 ~x965440+128 ~x965439+64 ~x965438+32 ~x965437+16 ~x965436+8 ~x965435+4 ~x965434+2 ~x965433+1 ~x965432+8192 ~x4362+4096 ~x4361+2048 ~x4360+1024 ~x4359+512 ~x4358+256 ~x4357+128 ~x4356+64 ~x4355+32 ~x4354+16 ~x4353+8 ~x4352+4 ~x4351+2 ~x4350+1 ~x4349-0=26622 25.88/25.91 c 8192 ~x968773+4096 ~x968772+2048 ~x968771+1024 ~x968770+512 ~x968769+256 ~x968768+128 ~x968767+64 ~x968766+32 ~x968765+16 ~x968764+8 ~x968763+4 ~x968762+2 ~x968761+1 ~x968760+8192 ~x4378+4096 ~x4377+2048 ~x4376+1024 ~x4375+512 ~x4374+256 ~x4373+128 ~x4372+64 ~x4371+32 ~x4370+16 ~x4369+8 ~x4368+4 ~x4367+2 ~x4366+1 ~x4365-0=26622 25.88/25.99 c 2048 ~x972099+1024 ~x972098+512 ~x972097+256 ~x972096+128 ~x972095+64 ~x972094+32 ~x972093+16 ~x972092+8 ~x972091+4 ~x972090+2 ~x972089+1 ~x972088+2048 ~x4392+1024 ~x4391+512 ~x4390+256 ~x4389+128 ~x4388+64 ~x4387+32 ~x4386+16 ~x4385+8 ~x4384+4 ~x4383+2 ~x4382+1 ~x4381-0=8190 25.98/26.04 c 8192 ~x974333+4096 ~x974332+2048 ~x974331+1024 ~x974330+512 ~x974329+256 ~x974328+128 ~x974327+64 ~x974326+32 ~x974325+16 ~x974324+8 ~x974323+4 ~x974322+2 ~x974321+1 ~x974320+8192 ~x4407+4096 ~x4406+2048 ~x4405+1024 ~x4404+512 ~x4403+256 ~x4402+128 ~x4401+64 ~x4400+32 ~x4399+16 ~x4398+8 ~x4397+4 ~x4396+2 ~x4395+1 ~x4394-0=26622 26.08/26.12 c 4096 ~x977660+2048 ~x977659+1024 ~x977658+512 ~x977657+256 ~x977656+128 ~x977655+64 ~x977654+32 ~x977653+16 ~x977652+8 ~x977651+4 ~x977650+2 ~x977649+1 ~x977648+4096 ~x4422+2048 ~x4421+1024 ~x4420+512 ~x4419+256 ~x4418+128 ~x4417+64 ~x4416+32 ~x4415+16 ~x4414+8 ~x4413+4 ~x4412+2 ~x4411+1 ~x4410-0=13310 26.08/26.19 c 2048 ~x980237+1024 ~x980236+512 ~x980235+256 ~x980234+128 ~x980233+64 ~x980232+32 ~x980231+16 ~x980230+8 ~x980229+4 ~x980228+2 ~x980227+1 ~x980226+2048 ~x4437+1024 ~x4436+512 ~x4435+256 ~x4434+128 ~x4433+64 ~x4432+32 ~x4431+16 ~x4430+8 ~x4429+4 ~x4428+2 ~x4427+1 ~x4426-0=8190 26.18/26.24 c 4096 ~x982470+2048 ~x982469+1024 ~x982468+512 ~x982467+256 ~x982466+128 ~x982465+64 ~x982464+32 ~x982463+16 ~x982462+8 ~x982461+4 ~x982460+2 ~x982459+1 ~x982458+4096 ~x4451+2048 ~x4450+1024 ~x4449+512 ~x4448+256 ~x4447+128 ~x4446+64 ~x4445+32 ~x4444+16 ~x4443+8 ~x4442+4 ~x4441+2 ~x4440+1 ~x4439-0=13310 26.28/26.30 c 4096 ~x985048+2048 ~x985047+1024 ~x985046+512 ~x985045+256 ~x985044+128 ~x985043+64 ~x985042+32 ~x985041+16 ~x985040+8 ~x985039+4 ~x985038+2 ~x985037+1 ~x985036+4096 ~x4480+2048 ~x4479+1024 ~x4478+512 ~x4477+256 ~x4476+128 ~x4475+64 ~x4474+32 ~x4473+16 ~x4472+8 ~x4471+4 ~x4470+2 ~x4469+1 ~x4468-0=13310 26.28/26.37 c 4096 ~x987626+2048 ~x987625+1024 ~x987624+512 ~x987623+256 ~x987622+128 ~x987621+64 ~x987620+32 ~x987619+16 ~x987618+8 ~x987617+4 ~x987616+2 ~x987615+1 ~x987614+4096 ~x4496+2048 ~x4495+1024 ~x4494+512 ~x4493+256 ~x4492+128 ~x4491+64 ~x4490+32 ~x4489+16 ~x4488+8 ~x4487+4 ~x4486+2 ~x4485+1 ~x4484-0=13310 26.39/26.43 c 8192 ~x990205+4096 ~x990204+2048 ~x990203+1024 ~x990202+512 ~x990201+256 ~x990200+128 ~x990199+64 ~x990198+32 ~x990197+16 ~x990196+8 ~x990195+4 ~x990194+2 ~x990193+1 ~x990192+8192 ~x4513+4096 ~x4512+2048 ~x4511+1024 ~x4510+512 ~x4509+256 ~x4508+128 ~x4507+64 ~x4506+32 ~x4505+16 ~x4504+8 ~x4503+4 ~x4502+2 ~x4501+1 ~x4500-0=26622 26.48/26.51 c 8192 ~x993533+4096 ~x993532+2048 ~x993531+1024 ~x993530+512 ~x993529+256 ~x993528+128 ~x993527+64 ~x993526+32 ~x993525+16 ~x993524+8 ~x993523+4 ~x993522+2 ~x993521+1 ~x993520+8192 ~x4529+4096 ~x4528+2048 ~x4527+1024 ~x4526+512 ~x4525+256 ~x4524+128 ~x4523+64 ~x4522+32 ~x4521+16 ~x4520+8 ~x4519+4 ~x4518+2 ~x4517+1 ~x4516-0=26622 26.48/26.59 c 4096 ~x996860+2048 ~x996859+1024 ~x996858+512 ~x996857+256 ~x996856+128 ~x996855+64 ~x996854+32 ~x996853+16 ~x996852+8 ~x996851+4 ~x996850+2 ~x996849+1 ~x996848+4096 ~x4544+2048 ~x4543+1024 ~x4542+512 ~x4541+256 ~x4540+128 ~x4539+64 ~x4538+32 ~x4537+16 ~x4536+8 ~x4535+4 ~x4534+2 ~x4533+1 ~x4532-0=13310 26.58/26.65 c 4096 ~x999438+2048 ~x999437+1024 ~x999436+512 ~x999435+256 ~x999434+128 ~x999433+64 ~x999432+32 ~x999431+16 ~x999430+8 ~x999429+4 ~x999428+2 ~x999427+1 ~x999426+4096 ~x4560+2048 ~x4559+1024 ~x4558+512 ~x4557+256 ~x4556+128 ~x4555+64 ~x4554+32 ~x4553+16 ~x4552+8 ~x4551+4 ~x4550+2 ~x4549+1 ~x4548-0=13310 26.68/26.72 c 8192 ~x1002017+4096 ~x1002016+2048 ~x1002015+1024 ~x1002014+512 ~x1002013+256 ~x1002012+128 ~x1002011+64 ~x1002010+32 ~x1002009+16 ~x1002008+8 ~x1002007+4 ~x1002006+2 ~x1002005+1 ~x1002004+8192 ~x4577+4096 ~x4576+2048 ~x4575+1024 ~x4574+512 ~x4573+256 ~x4572+128 ~x4571+64 ~x4570+32 ~x4569+16 ~x4568+8 ~x4567+4 ~x4566+2 ~x4565+1 ~x4564-0=26622 26.78/26.82 c 4096 ~x1005344+2048 ~x1005343+1024 ~x1005342+512 ~x1005341+256 ~x1005340+128 ~x1005339+64 ~x1005338+32 ~x1005337+16 ~x1005336+8 ~x1005335+4 ~x1005334+2 ~x1005333+1 ~x1005332+4096 ~x4592+2048 ~x4591+1024 ~x4590+512 ~x4589+256 ~x4588+128 ~x4587+64 ~x4586+32 ~x4585+16 ~x4584+8 ~x4583+4 ~x4582+2 ~x4581+1 ~x4580-0=13310 26.78/26.88 c 4096 ~x1007922+2048 ~x1007921+1024 ~x1007920+512 ~x1007919+256 ~x1007918+128 ~x1007917+64 ~x1007916+32 ~x1007915+16 ~x1007914+8 ~x1007913+4 ~x1007912+2 ~x1007911+1 ~x1007910+4096 ~x4608+2048 ~x4607+1024 ~x4606+512 ~x4605+256 ~x4604+128 ~x4603+64 ~x4602+32 ~x4601+16 ~x4600+8 ~x4599+4 ~x4598+2 ~x4597+1 ~x4596-0=13310 26.88/26.94 c 4096 ~x1010500+2048 ~x1010499+1024 ~x1010498+512 ~x1010497+256 ~x1010496+128 ~x1010495+64 ~x1010494+32 ~x1010493+16 ~x1010492+8 ~x1010491+4 ~x1010490+2 ~x1010489+1 ~x1010488+4096 ~x4624+2048 ~x4623+1024 ~x4622+512 ~x4621+256 ~x4620+128 ~x4619+64 ~x4618+32 ~x4617+16 ~x4616+8 ~x4615+4 ~x4614+2 ~x4613+1 ~x4612-0=13310 26.98/27.00 c 4096 ~x1013078+2048 ~x1013077+1024 ~x1013076+512 ~x1013075+256 ~x1013074+128 ~x1013073+64 ~x1013072+32 ~x1013071+16 ~x1013070+8 ~x1013069+4 ~x1013068+2 ~x1013067+1 ~x1013066+4096 ~x4656+2048 ~x4655+1024 ~x4654+512 ~x4653+256 ~x4652+128 ~x4651+64 ~x4650+32 ~x4649+16 ~x4648+8 ~x4647+4 ~x4646+2 ~x4645+1 ~x4644-0=14334 26.98/27.06 c 2048 ~x1015655+1024 ~x1015654+512 ~x1015653+256 ~x1015652+128 ~x1015651+64 ~x1015650+32 ~x1015649+16 ~x1015648+8 ~x1015647+4 ~x1015646+2 ~x1015645+1 ~x1015644+2048 ~x4671+1024 ~x4670+512 ~x4669+256 ~x4668+128 ~x4667+64 ~x4666+32 ~x4665+16 ~x4664+8 ~x4663+4 ~x4662+2 ~x4661+1 ~x4660-0=8190 27.08/27.12 c 2048 ~x1017887+1024 ~x1017886+512 ~x1017885+256 ~x1017884+128 ~x1017883+64 ~x1017882+32 ~x1017881+16 ~x1017880+8 ~x1017879+4 ~x1017878+2 ~x1017877+1 ~x1017876+2048 ~x4684+1024 ~x4683+512 ~x4682+256 ~x4681+128 ~x4680+64 ~x4679+32 ~x4678+16 ~x4677+8 ~x4676+4 ~x4675+2 ~x4674+1 ~x4673-0=8190 27.08/27.17 c 4096 ~x1020120+2048 ~x1020119+1024 ~x1020118+512 ~x1020117+256 ~x1020116+128 ~x1020115+64 ~x1020114+32 ~x1020113+16 ~x1020112+8 ~x1020111+4 ~x1020110+2 ~x1020109+1 ~x1020108+4096 ~x4698+2048 ~x4697+1024 ~x4696+512 ~x4695+256 ~x4694+128 ~x4693+64 ~x4692+32 ~x4691+16 ~x4690+8 ~x4689+4 ~x4688+2 ~x4687+1 ~x4686-0=14334 27.18/27.24 c 2048 ~x1022697+1024 ~x1022696+512 ~x1022695+256 ~x1022694+128 ~x1022693+64 ~x1022692+32 ~x1022691+16 ~x1022690+8 ~x1022689+4 ~x1022688+2 ~x1022687+1 ~x1022686+2048 ~x4713+1024 ~x4712+512 ~x4711+256 ~x4710+128 ~x4709+64 ~x4708+32 ~x4707+16 ~x4706+8 ~x4705+4 ~x4704+2 ~x4703+1 ~x4702-0=8190 27.18/27.29 c 8192 ~x1024931+4096 ~x1024930+2048 ~x1024929+1024 ~x1024928+512 ~x1024927+256 ~x1024926+128 ~x1024925+64 ~x1024924+32 ~x1024923+16 ~x1024922+8 ~x1024921+4 ~x1024920+2 ~x1024919+1 ~x1024918+8192 ~x4728+4096 ~x4727+2048 ~x4726+1024 ~x4725+512 ~x4724+256 ~x4723+128 ~x4722+64 ~x4721+32 ~x4720+16 ~x4719+8 ~x4718+4 ~x4717+2 ~x4716+1 ~x4715-0=32766 27.28/27.37 c 2048 ~x1028257+1024 ~x1028256+512 ~x1028255+256 ~x1028254+128 ~x1028253+64 ~x1028252+32 ~x1028251+16 ~x1028250+8 ~x1028249+4 ~x1028248+2 ~x1028247+1 ~x1028246+2048 ~x4742+1024 ~x4741+512 ~x4740+256 ~x4739+128 ~x4738+64 ~x4737+32 ~x4736+16 ~x4735+8 ~x4734+4 ~x4733+2 ~x4732+1 ~x4731-0=8190 27.39/27.43 c 4096 ~x1030490+2048 ~x1030489+1024 ~x1030488+512 ~x1030487+256 ~x1030486+128 ~x1030485+64 ~x1030484+32 ~x1030483+16 ~x1030482+8 ~x1030481+4 ~x1030480+2 ~x1030479+1 ~x1030478+4096 ~x4756+2048 ~x4755+1024 ~x4754+512 ~x4753+256 ~x4752+128 ~x4751+64 ~x4750+32 ~x4749+16 ~x4748+8 ~x4747+4 ~x4746+2 ~x4745+1 ~x4744-0=13310 27.39/27.49 c 8192 ~x1033069+4096 ~x1033068+2048 ~x1033067+1024 ~x1033066+512 ~x1033065+256 ~x1033064+128 ~x1033063+64 ~x1033062+32 ~x1033061+16 ~x1033060+8 ~x1033059+4 ~x1033058+2 ~x1033057+1 ~x1033056+8192 ~x4773+4096 ~x4772+2048 ~x4771+1024 ~x4770+512 ~x4769+256 ~x4768+128 ~x4767+64 ~x4766+32 ~x4765+16 ~x4764+8 ~x4763+4 ~x4762+2 ~x4761+1 ~x4760-0=26622 27.49/27.57 c 4096 ~x1036396+2048 ~x1036395+1024 ~x1036394+512 ~x1036393+256 ~x1036392+128 ~x1036391+64 ~x1036390+32 ~x1036389+16 ~x1036388+8 ~x1036387+4 ~x1036386+2 ~x1036385+1 ~x1036384+4096 ~x4788+2048 ~x4787+1024 ~x4786+512 ~x4785+256 ~x4784+128 ~x4783+64 ~x4782+32 ~x4781+16 ~x4780+8 ~x4779+4 ~x4778+2 ~x4777+1 ~x4776-0=13310 27.58/27.63 c 8192 ~x1038975+4096 ~x1038974+2048 ~x1038973+1024 ~x1038972+512 ~x1038971+256 ~x1038970+128 ~x1038969+64 ~x1038968+32 ~x1038967+16 ~x1038966+8 ~x1038965+4 ~x1038964+2 ~x1038963+1 ~x1038962+8192 ~x4821+4096 ~x4820+2048 ~x4819+1024 ~x4818+512 ~x4817+256 ~x4816+128 ~x4815+64 ~x4814+32 ~x4813+16 ~x4812+8 ~x4811+4 ~x4810+2 ~x4809+1 ~x4808-0=26622 27.68/27.71 c 8192 ~x1042303+4096 ~x1042302+2048 ~x1042301+1024 ~x1042300+512 ~x1042299+256 ~x1042298+128 ~x1042297+64 ~x1042296+32 ~x1042295+16 ~x1042294+8 ~x1042293+4 ~x1042292+2 ~x1042291+1 ~x1042290+8192 ~x4837+4096 ~x4836+2048 ~x4835+1024 ~x4834+512 ~x4833+256 ~x4832+128 ~x4831+64 ~x4830+32 ~x4829+16 ~x4828+8 ~x4827+4 ~x4826+2 ~x4825+1 ~x4824-0=26622 27.78/27.81 c 2 ~x1045633+1 ~x1045632+2 ~x4982+1 ~x4981-0=6 27.78/27.81 c 2 ~x1045666+1 ~x1045665+2 ~x5088+1 ~x5087-0=6 27.78/27.81 c 2 ~x1045696+1 ~x1045695+2 ~x5112+1 ~x5111-0=6 27.78/27.81 c 2 ~x1045725+1 ~x1045724+2 ~x5119+1 ~x5118-0=6 27.78/27.81 c 2 ~x1045756+1 ~x1045755+2 ~x5149+1 ~x5148-0=6 27.78/27.81 c 2 ~x1045787+1 ~x1045786+2 ~x5158+1 ~x5157-0=6 27.78/27.82 c 2 ~x1045815+1 ~x1045814+2 ~x5161+1 ~x5160-0=6 27.78/27.82 c 2 ~x1045843+1 ~x1045842+2 ~x5164+1 ~x5163-0=6 27.78/27.82 c 2 ~x1045871+1 ~x1045870+2 ~x5167+1 ~x5166-0=6 27.78/27.82 c 2 ~x1045900+1 ~x1045899+2 ~x5188+1 ~x5187-0=6 27.78/27.82 c 2 ~x1045940+1 ~x1045939+2 ~x5301+1 ~x5300-0=6 27.78/27.83 c 2 ~x1045970+1 ~x1045969+2 ~x5315+1 ~x5314-0=6 27.78/27.83 c 2 ~x1046007+1 ~x1046006+2 ~x5384+1 ~x5383-0=6 27.78/27.83 c 2 ~x1046035+1 ~x1046034+2 ~x5400+1 ~x5399-0=6 27.78/27.83 c 2 ~x1046070+1 ~x1046069+2 ~x5473+1 ~x5472-0=6 27.78/27.83 c 2 ~x1046098+1 ~x1046097+2 ~x5476+1 ~x5475-0=6 27.78/27.84 c 2 ~x1046127+1 ~x1046126+2 ~x5497+1 ~x5496-0=6 27.78/27.84 c 2 ~x1046156+1 ~x1046155+2 ~x5502+1 ~x5501-0=6 27.78/27.84 c 2 ~x1046184+1 ~x1046183+2 ~x5505+1 ~x5504-0=6 27.78/27.84 c 2 ~x1046212+1 ~x1046211+2 ~x5508+1 ~x5507-0=6 27.78/27.84 c 2 ~x1046240+1 ~x1046239+2 ~x5514+1 ~x5513-0=6 27.78/27.84 c 2 ~x1046268+1 ~x1046267+2 ~x5517+1 ~x5516-0=6 27.78/27.85 c 2 ~x1046296+1 ~x1046295+2 ~x5540+1 ~x5539-0=6 27.78/27.85 c 2 ~x1046324+1 ~x1046323+2 ~x5545+1 ~x5544-0=6 27.78/27.85 c 2 ~x1046355+1 ~x1046354+2 ~x5615+1 ~x5614-0=6 27.78/27.85 c 2 ~x1046389+1 ~x1046388+2 ~x5690+1 ~x5689-0=6 27.78/27.85 c 2 ~x1046417+1 ~x104
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-2674160-1276800653/watcher-2674160-1276800653 -o /tmp/evaluation-result-2674160-1276800653/solver-2674160-1276800653 -C 1800 -W 2000 -M 1800 run HOME/instance-2674160-1276800653.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.99 0.99 3/106 23647 /proc/meminfo: memFree=1850440/2059040 swapFree=4140076/4192956 [pid=23647] ppid=23645 vsize=8700 CPUtime=0 /proc/23647/stat : 23647 (run) S 23645 23647 23449 0 -1 4202496 391 134 0 0 0 0 0 0 17 0 1 0 21358114 8908800 251 1992294400 4194304 4922060 140733417445104 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23647/statm: 2175 251 211 178 0 68 0 [startup+0.0984969 s] /proc/loadavg: 0.99 0.99 0.99 3/106 23647 /proc/meminfo: memFree=1850440/2059040 swapFree=4140076/4192956 [pid=23647] ppid=23645 vsize=8700 CPUtime=0 /proc/23647/stat : 23647 (run) S 23645 23647 23449 0 -1 4202496 391 134 0 0 0 0 0 0 17 0 1 0 21358114 8908800 251 1992294400 4194304 4922060 140733417445104 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23647/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101497 s] /proc/loadavg: 0.99 0.99 0.99 3/106 23647 /proc/meminfo: memFree=1850440/2059040 swapFree=4140076/4192956 [pid=23647] ppid=23645 vsize=8700 CPUtime=0 /proc/23647/stat : 23647 (run) S 23645 23647 23449 0 -1 4202496 391 134 0 0 0 0 0 0 17 0 1 0 21358114 8908800 251 1992294400 4194304 4922060 140733417445104 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23647/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301518 s] /proc/loadavg: 0.99 0.99 0.99 3/106 23647 /proc/meminfo: memFree=1850440/2059040 swapFree=4140076/4192956 [pid=23647] ppid=23645 vsize=8700 CPUtime=0 /proc/23647/stat : 23647 (run) S 23645 23647 23449 0 -1 4202496 391 134 0 0 0 0 0 0 17 0 1 0 21358114 8908800 251 1992294400 4194304 4922060 140733417445104 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23647/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701562 s] /proc/loadavg: 0.99 0.99 0.99 3/106 23647 /proc/meminfo: memFree=1850440/2059040 swapFree=4140076/4192956 [pid=23647] ppid=23645 vsize=8700 CPUtime=0 /proc/23647/stat : 23647 (run) S 23645 23647 23449 0 -1 4202496 391 134 0 0 0 0 0 0 17 0 1 0 21358114 8908800 251 1992294400 4194304 4922060 140733417445104 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23647/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50165 s] /proc/loadavg: 0.99 0.99 0.99 2/108 23650 /proc/meminfo: memFree=1685628/2059040 swapFree=4140076/4192956 [pid=23647] ppid=23645 vsize=8700 CPUtime=0 /proc/23647/stat : 23647 (run) S 23645 23647 23449 0 -1 4202496 391 134 0 0 0 0 0 0 17 0 1 0 21358114 8908800 251 1992294400 4194304 4922060 140733417445104 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23647/statm: 2175 251 211 178 0 68 0 [pid=23649] ppid=23647 vsize=248772 CPUtime=1.48 /proc/23649/stat : 23649 (PBPASSolver) R 23647 23647 23449 0 -1 4202496 61835 0 0 0 60 88 0 0 23 0 1 0 21358114 254742528 61612 1992294400 134512640 134902295 4287256064 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23649/statm: 62193 61612 256 96 0 61405 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 257472 [startup+3.10182 s] /proc/loadavg: 0.99 0.99 0.99 2/108 23650 /proc/meminfo: memFree=1523808/2059040 swapFree=4140076/4192956 [pid=23647] ppid=23645 vsize=8700 CPUtime=0 /proc/23647/stat : 23647 (run) S 23645 23647 23449 0 -1 4202496 391 134 0 0 0 0 0 0 17 0 1 0 21358114 8908800 251 1992294400 4194304 4922060 140733417445104 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23647/statm: 2175 251 211 178 0 68 0 [pid=23649] ppid=23647 vsize=317032 CPUtime=3.08 /proc/23649/stat : 23649 (PBPASSolver) R 23647 23647 23449 0 -1 4202496 87944 0 0 0 197 111 0 0 25 0 1 0 21358114 324640768 78443 1992294400 134512640 134902295 4287256064 18446744073709551615 134520313 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23649/statm: 79258 78443 262 96 0 78470 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 325732 [startup+6.30118 s] /proc/loadavg: 0.99 0.99 0.99 2/108 23650 /proc/meminfo: memFree=1499256/2059040 swapFree=4140076/4192956 [pid=23647] ppid=23645 vsize=8700 CPUtime=0 /proc/23647/stat : 23647 (run) S 23645 23647 23449 0 -1 4202496 391 134 0 0 0 0 0 0 17 0 1 0 21358114 8908800 251 1992294400 4194304 4922060 140733417445104 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23647/statm: 2175 251 211 178 0 68 0 [pid=23649] ppid=23647 vsize=371912 CPUtime=6.29 /proc/23649/stat : 23649 (PBPASSolver) R 23647 23647 23449 0 -1 4202496 103074 0 0 0 512 117 0 0 25 0 1 0 21358114 380837888 91508 1992294400 134512640 134902295 4287256064 18446744073709551615 134635072 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23649/statm: 92978 91508 262 96 0 92190 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 380612 [startup+12.7019 s] /proc/loadavg: 0.99 0.99 0.99 2/108 23650 /proc/meminfo: memFree=1385796/2059040 swapFree=4140076/4192956 [pid=23647] ppid=23645 vsize=8700 CPUtime=0 /proc/23647/stat : 23647 (run) S 23645 23647 23449 0 -1 4202496 391 134 0 0 0 0 0 0 17 0 1 0 21358114 8908800 251 1992294400 4194304 4922060 140733417445104 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23647/statm: 2175 251 211 178 0 68 0 [pid=23649] ppid=23647 vsize=487204 CPUtime=12.69 /proc/23649/stat : 23649 (PBPASSolver) R 23647 23647 23449 0 -1 4202496 135700 0 0 0 1138 131 0 0 25 0 1 0 21358114 498896896 119838 1992294400 134512640 134902295 4287256064 18446744073709551615 10335740 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23649/statm: 121801 119838 262 96 0 121013 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 495904 [startup+25.5013 s] /proc/loadavg: 0.99 0.99 0.99 2/108 23650 /proc/meminfo: memFree=1157016/2059040 swapFree=4140076/4192956 [pid=23647] ppid=23645 vsize=8700 CPUtime=0 /proc/23647/stat : 23647 (run) S 23645 23647 23449 0 -1 4202496 391 134 0 0 0 0 0 0 17 0 1 0 21358114 8908800 251 1992294400 4194304 4922060 140733417445104 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23647/statm: 2175 251 211 178 0 68 0 [pid=23649] ppid=23647 vsize=710588 CPUtime=25.48 /proc/23649/stat : 23649 (PBPASSolver) R 23647 23647 23449 0 -1 4202496 197872 0 0 0 2390 158 0 0 25 0 1 0 21358114 727642112 174178 1992294400 134512640 134902295 4287256064 18446744073709551615 134566864 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23649/statm: 177647 174178 262 96 0 176859 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 719288 [startup+51.1011 s] /proc/loadavg: 0.99 0.99 0.99 2/108 23650 /proc/meminfo: memFree=690652/2059040 swapFree=4140076/4192956 [pid=23647] ppid=23645 vsize=8700 CPUtime=0 /proc/23647/stat : 23647 (run) S 23645 23647 23449 0 -1 4202496 391 134 0 0 0 0 0 0 17 0 1 0 21358114 8908800 251 1992294400 4194304 4922060 140733417445104 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23647/statm: 2175 251 211 178 0 68 0 [pid=23649] ppid=23647 vsize=1203176 CPUtime=51.07 /proc/23649/stat : 23649 (PBPASSolver) R 23647 23647 23449 0 -1 4202496 321555 0 0 0 4894 213 0 0 25 0 1 0 21358114 1232052224 291871 1992294400 134512640 134902295 4287256064 18446744073709551615 4160370952 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23649/statm: 300794 291871 262 96 0 300006 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1211876 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+84.7088 s] /proc/loadavg: 0.99 0.99 0.99 2/108 23652 /proc/meminfo: memFree=64204/2059040 swapFree=4140076/4192956 [pid=23647] ppid=23645 vsize=8700 CPUtime=0 /proc/23647/stat : 23647 (run) S 23645 23647 23449 0 -1 4202496 391 134 0 0 0 0 0 0 17 0 1 0 21358114 8908800 251 1992294400 4194304 4922060 140733417445104 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23647/statm: 2175 251 211 178 0 68 0 [pid=23649] ppid=23647 vsize=1852144 CPUtime=84.68 /proc/23649/stat : 23649 (PBPASSolver) R 23647 23647 23449 0 -1 4202496 477751 0 0 0 8181 287 0 0 25 0 1 0 21358114 1896595456 445667 1992294400 134512640 134902295 4287256064 18446744073709551615 134588032 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23649/statm: 463036 445667 262 96 0 462248 0 Current children cumulated CPU time (s) 84.68 Current children cumulated vsize (KiB) 1860844 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+84.7088 s] /proc/loadavg: 0.99 0.99 0.99 2/108 23652 /proc/meminfo: memFree=64204/2059040 swapFree=4140076/4192956 [pid=23647] ppid=23645 vsize=8700 CPUtime=0 /proc/23647/stat : 23647 (run) S 23645 23647 23449 0 -1 4202496 391 134 0 0 0 0 0 0 17 0 1 0 21358114 8908800 251 1992294400 4194304 4922060 140733417445104 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23647/statm: 2175 251 211 178 0 68 0 [pid=23649] ppid=23647 vsize=1852144 CPUtime=84.68 /proc/23649/stat : 23649 (PBPASSolver) R 23647 23647 23449 0 -1 4202496 477751 0 0 0 8181 287 0 0 25 0 1 0 21358114 1896595456 445667 1992294400 134512640 134902295 4287256064 18446744073709551615 134588032 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23649/statm: 463036 445667 262 96 0 462248 0 Current children cumulated CPU time (s) 84.68 Current children cumulated vsize (KiB) 1860844 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 23647 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.002998 # while last known CPU time is 84.68 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 84.722 CPU time (s): 84.68 CPU user time (s): 81.81 CPU system time (s): 2.87 CPU usage (%): 99.9504 Max. virtual memory (cumulated for all children) (KiB): 1860844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 525 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3 runsolver used 0.160975 second user time and 0.412937 second system time The end
Begin job on node038 at 2010-06-17 20:50:54 IDJOB=2674160 IDBENCH=2529 IDSOLVER=1174 FILE ID=node038/2674160-1276800653 PBS_JOBID= 11176644 Free space on /tmp= 62456 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674160-1276800653/watcher-2674160-1276800653 -o /tmp/evaluation-result-2674160-1276800653/solver-2674160-1276800653 -C 1800 -W 2000 -M 1800 run HOME/instance-2674160-1276800653.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5d1a4fe23dd6bae39a646bf16e233a2d RANDOM SEED=1445882559 node038.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.222 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.44 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.222 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1850836 kB Buffers: 25372 kB Cached: 92292 kB SwapCached: 5916 kB Active: 66832 kB Inactive: 63380 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1850836 kB SwapTotal: 4192956 kB SwapFree: 4140076 kB Dirty: 1000 kB Writeback: 0 kB AnonPages: 10780 kB Mapped: 12868 kB Slab: 55980 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181808 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= 62456 MiB End job on node038 at 2010-06-17 20:52:20