Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (MO) | 59.67 | 59.7144 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb |
MD5SUM | 5d09427ddf3dc39fc0331bd5827affb8 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 63488 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 63488 |
Optimality of the best value was proved | NO |
Number of variables | 9464 |
Total number of constraints | 1820 |
Number of constraints which are clauses | 309 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1511 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 78 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073790975 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1024000000 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 2147979262 |
Number of bits of the biggest sum of numbers | 32 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
6.09/6.11 c 9464 1820 0 0 0 0 0 0 6.09/6.11 c 33554432 ~x9491+16777216 ~x9490+8388608 ~x9489+4194304 ~x9488+2097152 ~x9487+1048576 ~x9486+524288 ~x9485+262144 ~x9484+131072 ~x9483+65536 ~x9482+32768 ~x9481+16384 ~x9480+8192 ~x9479+4096 ~x9478+2048 ~x9477+1024 ~x9476+512 ~x9475+256 ~x9474+128 ~x9473+64 ~x9472+32 ~x9471+16 ~x9470+8 ~x9469+4 ~x9468+2 ~x9467+1 ~x9466+33554432 ~x3349+16777216 ~x3348+8388608 ~x3347+4194304 ~x3346+2097152 ~x3345+1048576 ~x3344+524288 ~x3343+262144 ~x3342+131072 ~x3341+65536 ~x3340+32768 ~x3339+16384 ~x3338+8192 ~x3337+4096 ~x3336+2048 ~x3335+1024 ~x3334+512 ~x3333+256 ~x3332+128 ~x3331+64 ~x3330+32 ~x3329+16 ~x3328+8 ~x3327+4 ~x3326+2 ~x3325+1 ~x3324-0=116850686 6.38/6.45 c 33554432 ~x23171+16777216 ~x23170+8388608 ~x23169+4194304 ~x23168+2097152 ~x23167+1048576 ~x23166+524288 ~x23165+262144 ~x23164+131072 ~x23163+65536 ~x23162+32768 ~x23161+16384 ~x23160+8192 ~x23159+4096 ~x23158+2048 ~x23157+1024 ~x23156+512 ~x23155+256 ~x23154+128 ~x23153+64 ~x23152+32 ~x23151+16 ~x23150+8 ~x23149+4 ~x23148+2 ~x23147+1 ~x23146+33554432 ~x3379+16777216 ~x3378+8388608 ~x3377+4194304 ~x3376+2097152 ~x3375+1048576 ~x3374+524288 ~x3373+262144 ~x3372+131072 ~x3371+65536 ~x3370+32768 ~x3369+16384 ~x3368+8192 ~x3367+4096 ~x3366+2048 ~x3365+1024 ~x3364+512 ~x3363+256 ~x3362+128 ~x3361+64 ~x3360+32 ~x3359+16 ~x3358+8 ~x3357+4 ~x3356+2 ~x3355+1 ~x3354-0=116850686 6.68/6.77 c 33554432 ~x36851+16777216 ~x36850+8388608 ~x36849+4194304 ~x36848+2097152 ~x36847+1048576 ~x36846+524288 ~x36845+262144 ~x36844+131072 ~x36843+65536 ~x36842+32768 ~x36841+16384 ~x36840+8192 ~x36839+4096 ~x36838+2048 ~x36837+1024 ~x36836+512 ~x36835+256 ~x36834+128 ~x36833+64 ~x36832+32 ~x36831+16 ~x36830+8 ~x36829+4 ~x36828+2 ~x36827+1 ~x36826+33554432 ~x3409+16777216 ~x3408+8388608 ~x3407+4194304 ~x3406+2097152 ~x3405+1048576 ~x3404+524288 ~x3403+262144 ~x3402+131072 ~x3401+65536 ~x3400+32768 ~x3399+16384 ~x3398+8192 ~x3397+4096 ~x3396+2048 ~x3395+1024 ~x3394+512 ~x3393+256 ~x3392+128 ~x3391+64 ~x3390+32 ~x3389+16 ~x3388+8 ~x3387+4 ~x3386+2 ~x3385+1 ~x3384-0=116850686 6.99/7.09 c 33554432 ~x50531+16777216 ~x50530+8388608 ~x50529+4194304 ~x50528+2097152 ~x50527+1048576 ~x50526+524288 ~x50525+262144 ~x50524+131072 ~x50523+65536 ~x50522+32768 ~x50521+16384 ~x50520+8192 ~x50519+4096 ~x50518+2048 ~x50517+1024 ~x50516+512 ~x50515+256 ~x50514+128 ~x50513+64 ~x50512+32 ~x50511+16 ~x50510+8 ~x50509+4 ~x50508+2 ~x50507+1 ~x50506+33554432 ~x3441+16777216 ~x3440+8388608 ~x3439+4194304 ~x3438+2097152 ~x3437+1048576 ~x3436+524288 ~x3435+262144 ~x3434+131072 ~x3433+65536 ~x3432+32768 ~x3431+16384 ~x3430+8192 ~x3429+4096 ~x3428+2048 ~x3427+1024 ~x3426+512 ~x3425+256 ~x3424+128 ~x3423+64 ~x3422+32 ~x3421+16 ~x3420+8 ~x3419+4 ~x3418+2 ~x3417+1 ~x3416-0=116850686 7.39/7.44 c 33554432 ~x64211+16777216 ~x64210+8388608 ~x64209+4194304 ~x64208+2097152 ~x64207+1048576 ~x64206+524288 ~x64205+262144 ~x64204+131072 ~x64203+65536 ~x64202+32768 ~x64201+16384 ~x64200+8192 ~x64199+4096 ~x64198+2048 ~x64197+1024 ~x64196+512 ~x64195+256 ~x64194+128 ~x64193+64 ~x64192+32 ~x64191+16 ~x64190+8 ~x64189+4 ~x64188+2 ~x64187+1 ~x64186+33554432 ~x3289+16777216 ~x3288+8388608 ~x3287+4194304 ~x3286+2097152 ~x3285+1048576 ~x3284+524288 ~x3283+262144 ~x3282+131072 ~x3281+65536 ~x3280+32768 ~x3279+16384 ~x3278+8192 ~x3277+4096 ~x3276+2048 ~x3275+1024 ~x3274+512 ~x3273+256 ~x3272+128 ~x3271+64 ~x3270+32 ~x3269+16 ~x3268+8 ~x3267+4 ~x3266+2 ~x3265+1 ~x3264-0=116850686 7.69/7.76 c 33554432 ~x77891+16777216 ~x77890+8388608 ~x77889+4194304 ~x77888+2097152 ~x77887+1048576 ~x77886+524288 ~x77885+262144 ~x77884+131072 ~x77883+65536 ~x77882+32768 ~x77881+16384 ~x77880+8192 ~x77879+4096 ~x77878+2048 ~x77877+1024 ~x77876+512 ~x77875+256 ~x77874+128 ~x77873+64 ~x77872+32 ~x77871+16 ~x77870+8 ~x77869+4 ~x77868+2 ~x77867+1 ~x77866+33554432 ~x3319+16777216 ~x3318+8388608 ~x3317+4194304 ~x3316+2097152 ~x3315+1048576 ~x3314+524288 ~x3313+262144 ~x3312+131072 ~x3311+65536 ~x3310+32768 ~x3309+16384 ~x3308+8192 ~x3307+4096 ~x3306+2048 ~x3305+1024 ~x3304+512 ~x3303+256 ~x3302+128 ~x3301+64 ~x3300+32 ~x3299+16 ~x3298+8 ~x3297+4 ~x3296+2 ~x3295+1 ~x3294-0=116850686 8.09/8.15 c 33554432 ~x91571+16777216 ~x91570+8388608 ~x91569+4194304 ~x91568+2097152 ~x91567+1048576 ~x91566+524288 ~x91565+262144 ~x91564+131072 ~x91563+65536 ~x91562+32768 ~x91561+16384 ~x91560+8192 ~x91559+4096 ~x91558+2048 ~x91557+1024 ~x91556+512 ~x91555+256 ~x91554+128 ~x91553+64 ~x91552+32 ~x91551+16 ~x91550+8 ~x91549+4 ~x91548+2 ~x91547+1 ~x91546+33554432 ~x3531+16777216 ~x3530+8388608 ~x3529+4194304 ~x3528+2097152 ~x3527+1048576 ~x3526+524288 ~x3525+262144 ~x3524+131072 ~x3523+65536 ~x3522+32768 ~x3521+16384 ~x3520+8192 ~x3519+4096 ~x3518+2048 ~x3517+1024 ~x3516+512 ~x3515+256 ~x3514+128 ~x3513+64 ~x3512+32 ~x3511+16 ~x3510+8 ~x3509+4 ~x3508+2 ~x3507+1 ~x3506-0=116850686 8.48/8.53 c 33554432 ~x105251+16777216 ~x105250+8388608 ~x105249+4194304 ~x105248+2097152 ~x105247+1048576 ~x105246+524288 ~x105245+262144 ~x105244+131072 ~x105243+65536 ~x105242+32768 ~x105241+16384 ~x105240+8192 ~x105239+4096 ~x105238+2048 ~x105237+1024 ~x105236+512 ~x105235+256 ~x105234+128 ~x105233+64 ~x105232+32 ~x105231+16 ~x105230+8 ~x105229+4 ~x105228+2 ~x105227+1 ~x105226+33554432 ~x3561+16777216 ~x3560+8388608 ~x3559+4194304 ~x3558+2097152 ~x3557+1048576 ~x3556+524288 ~x3555+262144 ~x3554+131072 ~x3553+65536 ~x3552+32768 ~x3551+16384 ~x3550+8192 ~x3549+4096 ~x3548+2048 ~x3547+1024 ~x3546+512 ~x3545+256 ~x3544+128 ~x3543+64 ~x3542+32 ~x3541+16 ~x3540+8 ~x3539+4 ~x3538+2 ~x3537+1 ~x3536-0=116850686 8.89/8.91 c 33554432 ~x118931+16777216 ~x118930+8388608 ~x118929+4194304 ~x118928+2097152 ~x118927+1048576 ~x118926+524288 ~x118925+262144 ~x118924+131072 ~x118923+65536 ~x118922+32768 ~x118921+16384 ~x118920+8192 ~x118919+4096 ~x118918+2048 ~x118917+1024 ~x118916+512 ~x118915+256 ~x118914+128 ~x118913+64 ~x118912+32 ~x118911+16 ~x118910+8 ~x118909+4 ~x118908+2 ~x118907+1 ~x118906+33554432 ~x3591+16777216 ~x3590+8388608 ~x3589+4194304 ~x3588+2097152 ~x3587+1048576 ~x3586+524288 ~x3585+262144 ~x3584+131072 ~x3583+65536 ~x3582+32768 ~x3581+16384 ~x3580+8192 ~x3579+4096 ~x3578+2048 ~x3577+1024 ~x3576+512 ~x3575+256 ~x3574+128 ~x3573+64 ~x3572+32 ~x3571+16 ~x3570+8 ~x3569+4 ~x3568+2 ~x3567+1 ~x3566-0=116850686 9.19/9.23 c 33554432 ~x132611+16777216 ~x132610+8388608 ~x132609+4194304 ~x132608+2097152 ~x132607+1048576 ~x132606+524288 ~x132605+262144 ~x132604+131072 ~x132603+65536 ~x132602+32768 ~x132601+16384 ~x132600+8192 ~x132599+4096 ~x132598+2048 ~x132597+1024 ~x132596+512 ~x132595+256 ~x132594+128 ~x132593+64 ~x132592+32 ~x132591+16 ~x132590+8 ~x132589+4 ~x132588+2 ~x132587+1 ~x132586+33554432 ~x3621+16777216 ~x3620+8388608 ~x3619+4194304 ~x3618+2097152 ~x3617+1048576 ~x3616+524288 ~x3615+262144 ~x3614+131072 ~x3613+65536 ~x3612+32768 ~x3611+16384 ~x3610+8192 ~x3609+4096 ~x3608+2048 ~x3607+1024 ~x3606+512 ~x3605+256 ~x3604+128 ~x3603+64 ~x3602+32 ~x3601+16 ~x3600+8 ~x3599+4 ~x3598+2 ~x3597+1 ~x3596-0=116850686 9.48/9.55 c 33554432 ~x146291+16777216 ~x146290+8388608 ~x146289+4194304 ~x146288+2097152 ~x146287+1048576 ~x146286+524288 ~x146285+262144 ~x146284+131072 ~x146283+65536 ~x146282+32768 ~x146281+16384 ~x146280+8192 ~x146279+4096 ~x146278+2048 ~x146277+1024 ~x146276+512 ~x146275+256 ~x146274+128 ~x146273+64 ~x146272+32 ~x146271+16 ~x146270+8 ~x146269+4 ~x146268+2 ~x146267+1 ~x146266+33554432 ~x3471+16777216 ~x3470+8388608 ~x3469+4194304 ~x3468+2097152 ~x3467+1048576 ~x3466+524288 ~x3465+262144 ~x3464+131072 ~x3463+65536 ~x3462+32768 ~x3461+16384 ~x3460+8192 ~x3459+4096 ~x3458+2048 ~x3457+1024 ~x3456+512 ~x3455+256 ~x3454+128 ~x3453+64 ~x3452+32 ~x3451+16 ~x3450+8 ~x3449+4 ~x3448+2 ~x3447+1 ~x3446-0=116850686 9.79/9.86 c 33554432 ~x159971+16777216 ~x159970+8388608 ~x159969+4194304 ~x159968+2097152 ~x159967+1048576 ~x159966+524288 ~x159965+262144 ~x159964+131072 ~x159963+65536 ~x159962+32768 ~x159961+16384 ~x159960+8192 ~x159959+4096 ~x159958+2048 ~x159957+1024 ~x159956+512 ~x159955+256 ~x159954+128 ~x159953+64 ~x159952+32 ~x159951+16 ~x159950+8 ~x159949+4 ~x159948+2 ~x159947+1 ~x159946+33554432 ~x3501+16777216 ~x3500+8388608 ~x3499+4194304 ~x3498+2097152 ~x3497+1048576 ~x3496+524288 ~x3495+262144 ~x3494+131072 ~x3493+65536 ~x3492+32768 ~x3491+16384 ~x3490+8192 ~x3489+4096 ~x3488+2048 ~x3487+1024 ~x3486+512 ~x3485+256 ~x3484+128 ~x3483+64 ~x3482+32 ~x3481+16 ~x3480+8 ~x3479+4 ~x3478+2 ~x3477+1 ~x3476-0=116850686 10.08/10.18 c 33554432 ~x173651+16777216 ~x173650+8388608 ~x173649+4194304 ~x173648+2097152 ~x173647+1048576 ~x173646+524288 ~x173645+262144 ~x173644+131072 ~x173643+65536 ~x173642+32768 ~x173641+16384 ~x173640+8192 ~x173639+4096 ~x173638+2048 ~x173637+1024 ~x173636+512 ~x173635+256 ~x173634+128 ~x173633+64 ~x173632+32 ~x173631+16 ~x173630+8 ~x173629+4 ~x173628+2 ~x173627+1 ~x173626+33554432 ~x3711+16777216 ~x3710+8388608 ~x3709+4194304 ~x3708+2097152 ~x3707+1048576 ~x3706+524288 ~x3705+262144 ~x3704+131072 ~x3703+65536 ~x3702+32768 ~x3701+16384 ~x3700+8192 ~x3699+4096 ~x3698+2048 ~x3697+1024 ~x3696+512 ~x3695+256 ~x3694+128 ~x3693+64 ~x3692+32 ~x3691+16 ~x3690+8 ~x3689+4 ~x3688+2 ~x3687+1 ~x3686-0=116850686 10.48/10.50 c 33554432 ~x187331+16777216 ~x187330+8388608 ~x187329+4194304 ~x187328+2097152 ~x187327+1048576 ~x187326+524288 ~x187325+262144 ~x187324+131072 ~x187323+65536 ~x187322+32768 ~x187321+16384 ~x187320+8192 ~x187319+4096 ~x187318+2048 ~x187317+1024 ~x187316+512 ~x187315+256 ~x187314+128 ~x187313+64 ~x187312+32 ~x187311+16 ~x187310+8 ~x187309+4 ~x187308+2 ~x187307+1 ~x187306+33554432 ~x3742+16777216 ~x3741+8388608 ~x3740+4194304 ~x3739+2097152 ~x3738+1048576 ~x3737+524288 ~x3736+262144 ~x3735+131072 ~x3734+65536 ~x3733+32768 ~x3732+16384 ~x3731+8192 ~x3730+4096 ~x3729+2048 ~x3728+1024 ~x3727+512 ~x3726+256 ~x3725+128 ~x3724+64 ~x3723+32 ~x3722+16 ~x3721+8 ~x3720+4 ~x3719+2 ~x3718+1 ~x3717-0=116850686 10.78/10.81 c 33554432 ~x201011+16777216 ~x201010+8388608 ~x201009+4194304 ~x201008+2097152 ~x201007+1048576 ~x201006+524288 ~x201005+262144 ~x201004+131072 ~x201003+65536 ~x201002+32768 ~x201001+16384 ~x201000+8192 ~x200999+4096 ~x200998+2048 ~x200997+1024 ~x200996+512 ~x200995+256 ~x200994+128 ~x200993+64 ~x200992+32 ~x200991+16 ~x200990+8 ~x200989+4 ~x200988+2 ~x200987+1 ~x200986+33554432 ~x3772+16777216 ~x3771+8388608 ~x3770+4194304 ~x3769+2097152 ~x3768+1048576 ~x3767+524288 ~x3766+262144 ~x3765+131072 ~x3764+65536 ~x3763+32768 ~x3762+16384 ~x3761+8192 ~x3760+4096 ~x3759+2048 ~x3758+1024 ~x3757+512 ~x3756+256 ~x3755+128 ~x3754+64 ~x3753+32 ~x3752+16 ~x3751+8 ~x3750+4 ~x3749+2 ~x3748+1 ~x3747-0=116850686 11.09/11.13 c 33554432 ~x214691+16777216 ~x214690+8388608 ~x214689+4194304 ~x214688+2097152 ~x214687+1048576 ~x214686+524288 ~x214685+262144 ~x214684+131072 ~x214683+65536 ~x214682+32768 ~x214681+16384 ~x214680+8192 ~x214679+4096 ~x214678+2048 ~x214677+1024 ~x214676+512 ~x214675+256 ~x214674+128 ~x214673+64 ~x214672+32 ~x214671+16 ~x214670+8 ~x214669+4 ~x214668+2 ~x214667+1 ~x214666+33554432 ~x3802+16777216 ~x3801+8388608 ~x3800+4194304 ~x3799+2097152 ~x3798+1048576 ~x3797+524288 ~x3796+262144 ~x3795+131072 ~x3794+65536 ~x3793+32768 ~x3792+16384 ~x3791+8192 ~x3790+4096 ~x3789+2048 ~x3788+1024 ~x3787+512 ~x3786+256 ~x3785+128 ~x3784+64 ~x3783+32 ~x3782+16 ~x3781+8 ~x3780+4 ~x3779+2 ~x3778+1 ~x3777-0=116850686 11.38/11.45 c 33554432 ~x228371+16777216 ~x228370+8388608 ~x228369+4194304 ~x228368+2097152 ~x228367+1048576 ~x228366+524288 ~x228365+262144 ~x228364+131072 ~x228363+65536 ~x228362+32768 ~x228361+16384 ~x228360+8192 ~x228359+4096 ~x228358+2048 ~x228357+1024 ~x228356+512 ~x228355+256 ~x228354+128 ~x228353+64 ~x228352+32 ~x228351+16 ~x228350+8 ~x228349+4 ~x228348+2 ~x228347+1 ~x228346+33554432 ~x3651+16777216 ~x3650+8388608 ~x3649+4194304 ~x3648+2097152 ~x3647+1048576 ~x3646+524288 ~x3645+262144 ~x3644+131072 ~x3643+65536 ~x3642+32768 ~x3641+16384 ~x3640+8192 ~x3639+4096 ~x3638+2048 ~x3637+1024 ~x3636+512 ~x3635+256 ~x3634+128 ~x3633+64 ~x3632+32 ~x3631+16 ~x3630+8 ~x3629+4 ~x3628+2 ~x3627+1 ~x3626-0=116850686 11.68/11.77 c 33554432 ~x242051+16777216 ~x242050+8388608 ~x242049+4194304 ~x242048+2097152 ~x242047+1048576 ~x242046+524288 ~x242045+262144 ~x242044+131072 ~x242043+65536 ~x242042+32768 ~x242041+16384 ~x242040+8192 ~x242039+4096 ~x242038+2048 ~x242037+1024 ~x242036+512 ~x242035+256 ~x242034+128 ~x242033+64 ~x242032+32 ~x242031+16 ~x242030+8 ~x242029+4 ~x242028+2 ~x242027+1 ~x242026+33554432 ~x3681+16777216 ~x3680+8388608 ~x3679+4194304 ~x3678+2097152 ~x3677+1048576 ~x3676+524288 ~x3675+262144 ~x3674+131072 ~x3673+65536 ~x3672+32768 ~x3671+16384 ~x3670+8192 ~x3669+4096 ~x3668+2048 ~x3667+1024 ~x3666+512 ~x3665+256 ~x3664+128 ~x3663+64 ~x3662+32 ~x3661+16 ~x3660+8 ~x3659+4 ~x3658+2 ~x3657+1 ~x3656-0=116850686 11.98/12.09 c 33554432 ~x255731+16777216 ~x255730+8388608 ~x255729+4194304 ~x255728+2097152 ~x255727+1048576 ~x255726+524288 ~x255725+262144 ~x255724+131072 ~x255723+65536 ~x255722+32768 ~x255721+16384 ~x255720+8192 ~x255719+4096 ~x255718+2048 ~x255717+1024 ~x255716+512 ~x255715+256 ~x255714+128 ~x255713+64 ~x255712+32 ~x255711+16 ~x255710+8 ~x255709+4 ~x255708+2 ~x255707+1 ~x255706+33554432 ~x3892+16777216 ~x3891+8388608 ~x3890+4194304 ~x3889+2097152 ~x3888+1048576 ~x3887+524288 ~x3886+262144 ~x3885+131072 ~x3884+65536 ~x3883+32768 ~x3882+16384 ~x3881+8192 ~x3880+4096 ~x3879+2048 ~x3878+1024 ~x3877+512 ~x3876+256 ~x3875+128 ~x3874+64 ~x3873+32 ~x3872+16 ~x3871+8 ~x3870+4 ~x3869+2 ~x3868+1 ~x3867-0=116850686 12.38/12.41 c 33554432 ~x269411+16777216 ~x269410+8388608 ~x269409+4194304 ~x269408+2097152 ~x269407+1048576 ~x269406+524288 ~x269405+262144 ~x269404+131072 ~x269403+65536 ~x269402+32768 ~x269401+16384 ~x269400+8192 ~x269399+4096 ~x269398+2048 ~x269397+1024 ~x269396+512 ~x269395+256 ~x269394+128 ~x269393+64 ~x269392+32 ~x269391+16 ~x269390+8 ~x269389+4 ~x269388+2 ~x269387+1 ~x269386+33554432 ~x3922+16777216 ~x3921+8388608 ~x3920+4194304 ~x3919+2097152 ~x3918+1048576 ~x3917+524288 ~x3916+262144 ~x3915+131072 ~x3914+65536 ~x3913+32768 ~x3912+16384 ~x3911+8192 ~x3910+4096 ~x3909+2048 ~x3908+1024 ~x3907+512 ~x3906+256 ~x3905+128 ~x3904+64 ~x3903+32 ~x3902+16 ~x3901+8 ~x3900+4 ~x3899+2 ~x3898+1 ~x3897-0=116850686 12.68/12.73 c 33554432 ~x283091+16777216 ~x283090+8388608 ~x283089+4194304 ~x283088+2097152 ~x283087+1048576 ~x283086+524288 ~x283085+262144 ~x283084+131072 ~x283083+65536 ~x283082+32768 ~x283081+16384 ~x283080+8192 ~x283079+4096 ~x283078+2048 ~x283077+1024 ~x283076+512 ~x283075+256 ~x283074+128 ~x283073+64 ~x283072+32 ~x283071+16 ~x283070+8 ~x283069+4 ~x283068+2 ~x283067+1 ~x283066+33554432 ~x3952+16777216 ~x3951+8388608 ~x3950+4194304 ~x3949+2097152 ~x3948+1048576 ~x3947+524288 ~x3946+262144 ~x3945+131072 ~x3944+65536 ~x3943+32768 ~x3942+16384 ~x3941+8192 ~x3940+4096 ~x3939+2048 ~x3938+1024 ~x3937+512 ~x3936+256 ~x3935+128 ~x3934+64 ~x3933+32 ~x3932+16 ~x3931+8 ~x3930+4 ~x3929+2 ~x3928+1 ~x3927-0=116850686 12.98/13.04 c 33554432 ~x296771+16777216 ~x296770+8388608 ~x296769+4194304 ~x296768+2097152 ~x296767+1048576 ~x296766+524288 ~x296765+262144 ~x296764+131072 ~x296763+65536 ~x296762+32768 ~x296761+16384 ~x296760+8192 ~x296759+4096 ~x296758+2048 ~x296757+1024 ~x296756+512 ~x296755+256 ~x296754+128 ~x296753+64 ~x296752+32 ~x296751+16 ~x296750+8 ~x296749+4 ~x296748+2 ~x296747+1 ~x296746+33554432 ~x3982+16777216 ~x3981+8388608 ~x3980+4194304 ~x3979+2097152 ~x3978+1048576 ~x3977+524288 ~x3976+262144 ~x3975+131072 ~x3974+65536 ~x3973+32768 ~x3972+16384 ~x3971+8192 ~x3970+4096 ~x3969+2048 ~x3968+1024 ~x3967+512 ~x3966+256 ~x3965+128 ~x3964+64 ~x3963+32 ~x3962+16 ~x3961+8 ~x3960+4 ~x3959+2 ~x3958+1 ~x3957-0=116850686 13.28/13.36 c 33554432 ~x310451+16777216 ~x310450+8388608 ~x310449+4194304 ~x310448+2097152 ~x310447+1048576 ~x310446+524288 ~x310445+262144 ~x310444+131072 ~x310443+65536 ~x310442+32768 ~x310441+16384 ~x310440+8192 ~x310439+4096 ~x310438+2048 ~x310437+1024 ~x310436+512 ~x310435+256 ~x310434+128 ~x310433+64 ~x310432+32 ~x310431+16 ~x310430+8 ~x310429+4 ~x310428+2 ~x310427+1 ~x310426+33554432 ~x3832+16777216 ~x3831+8388608 ~x3830+4194304 ~x3829+2097152 ~x3828+1048576 ~x3827+524288 ~x3826+262144 ~x3825+131072 ~x3824+65536 ~x3823+32768 ~x3822+16384 ~x3821+8192 ~x3820+4096 ~x3819+2048 ~x3818+1024 ~x3817+512 ~x3816+256 ~x3815+128 ~x3814+64 ~x3813+32 ~x3812+16 ~x3811+8 ~x3810+4 ~x3809+2 ~x3808+1 ~x3807-0=116850686 13.59/13.68 c 33554432 ~x324131+16777216 ~x324130+8388608 ~x324129+4194304 ~x324128+2097152 ~x324127+1048576 ~x324126+524288 ~x324125+262144 ~x324124+131072 ~x324123+65536 ~x324122+32768 ~x324121+16384 ~x324120+8192 ~x324119+4096 ~x324118+2048 ~x324117+1024 ~x324116+512 ~x324115+256 ~x324114+128 ~x324113+64 ~x324112+32 ~x324111+16 ~x324110+8 ~x324109+4 ~x324108+2 ~x324107+1 ~x324106+33554432 ~x3862+16777216 ~x3861+8388608 ~x3860+4194304 ~x3859+2097152 ~x3858+1048576 ~x3857+524288 ~x3856+262144 ~x3855+131072 ~x3854+65536 ~x3853+32768 ~x3852+16384 ~x3851+8192 ~x3850+4096 ~x3849+2048 ~x3848+1024 ~x3847+512 ~x3846+256 ~x3845+128 ~x3844+64 ~x3843+32 ~x3842+16 ~x3841+8 ~x3840+4 ~x3839+2 ~x3838+1 ~x3837-0=116850686 13.98/14.00 c 33554432 ~x337811+16777216 ~x337810+8388608 ~x337809+4194304 ~x337808+2097152 ~x337807+1048576 ~x337806+524288 ~x337805+262144 ~x337804+131072 ~x337803+65536 ~x337802+32768 ~x337801+16384 ~x337800+8192 ~x337799+4096 ~x337798+2048 ~x337797+1024 ~x337796+512 ~x337795+256 ~x337794+128 ~x337793+64 ~x337792+32 ~x337791+16 ~x337790+8 ~x337789+4 ~x337788+2 ~x337787+1 ~x337786+33554432 ~x4073+16777216 ~x4072+8388608 ~x4071+4194304 ~x4070+2097152 ~x4069+1048576 ~x4068+524288 ~x4067+262144 ~x4066+131072 ~x4065+65536 ~x4064+32768 ~x4063+16384 ~x4062+8192 ~x4061+4096 ~x4060+2048 ~x4059+1024 ~x4058+512 ~x4057+256 ~x4056+128 ~x4055+64 ~x4054+32 ~x4053+16 ~x4052+8 ~x4051+4 ~x4050+2 ~x4049+1 ~x4048-0=116850686 14.29/14.32 c 33554432 ~x351491+16777216 ~x351490+8388608 ~x351489+4194304 ~x351488+2097152 ~x351487+1048576 ~x351486+524288 ~x351485+262144 ~x351484+131072 ~x351483+65536 ~x351482+32768 ~x351481+16384 ~x351480+8192 ~x351479+4096 ~x351478+2048 ~x351477+1024 ~x351476+512 ~x351475+256 ~x351474+128 ~x351473+64 ~x351472+32 ~x351471+16 ~x351470+8 ~x351469+4 ~x351468+2 ~x351467+1 ~x351466+33554432 ~x4103+16777216 ~x4102+8388608 ~x4101+4194304 ~x4100+2097152 ~x4099+1048576 ~x4098+524288 ~x4097+262144 ~x4096+131072 ~x4095+65536 ~x4094+32768 ~x4093+16384 ~x4092+8192 ~x4091+4096 ~x4090+2048 ~x4089+1024 ~x4088+512 ~x4087+256 ~x4086+128 ~x4085+64 ~x4084+32 ~x4083+16 ~x4082+8 ~x4081+4 ~x4080+2 ~x4079+1 ~x4078-0=116850686 14.58/14.63 c 33554432 ~x365171+16777216 ~x365170+8388608 ~x365169+4194304 ~x365168+2097152 ~x365167+1048576 ~x365166+524288 ~x365165+262144 ~x365164+131072 ~x365163+65536 ~x365162+32768 ~x365161+16384 ~x365160+8192 ~x365159+4096 ~x365158+2048 ~x365157+1024 ~x365156+512 ~x365155+256 ~x365154+128 ~x365153+64 ~x365152+32 ~x365151+16 ~x365150+8 ~x365149+4 ~x365148+2 ~x365147+1 ~x365146+33554432 ~x4133+16777216 ~x4132+8388608 ~x4131+4194304 ~x4130+2097152 ~x4129+1048576 ~x4128+524288 ~x4127+262144 ~x4126+131072 ~x4125+65536 ~x4124+32768 ~x4123+16384 ~x4122+8192 ~x4121+4096 ~x4120+2048 ~x4119+1024 ~x4118+512 ~x4117+256 ~x4116+128 ~x4115+64 ~x4114+32 ~x4113+16 ~x4112+8 ~x4111+4 ~x4110+2 ~x4109+1 ~x4108-0=116850686 14.88/14.95 c 33554432 ~x378851+16777216 ~x378850+8388608 ~x378849+4194304 ~x378848+2097152 ~x378847+1048576 ~x378846+524288 ~x378845+262144 ~x378844+131072 ~x378843+65536 ~x378842+32768 ~x378841+16384 ~x378840+8192 ~x378839+4096 ~x378838+2048 ~x378837+1024 ~x378836+512 ~x378835+256 ~x378834+128 ~x378833+64 ~x378832+32 ~x378831+16 ~x378830+8 ~x378829+4 ~x378828+2 ~x378827+1 ~x378826+33554432 ~x4163+16777216 ~x4162+8388608 ~x4161+4194304 ~x4160+2097152 ~x4159+1048576 ~x4158+524288 ~x4157+262144 ~x4156+131072 ~x4155+65536 ~x4154+32768 ~x4153+16384 ~x4152+8192 ~x4151+4096 ~x4150+2048 ~x4149+1024 ~x4148+512 ~x4147+256 ~x4146+128 ~x4145+64 ~x4144+32 ~x4143+16 ~x4142+8 ~x4141+4 ~x4140+2 ~x4139+1 ~x4138-0=116850686 15.18/15.27 c 33554432 ~x392531+16777216 ~x392530+8388608 ~x392529+4194304 ~x392528+2097152 ~x392527+1048576 ~x392526+524288 ~x392525+262144 ~x392524+131072 ~x392523+65536 ~x392522+32768 ~x392521+16384 ~x392520+8192 ~x392519+4096 ~x392518+2048 ~x392517+1024 ~x392516+512 ~x392515+256 ~x392514+128 ~x392513+64 ~x392512+32 ~x392511+16 ~x392510+8 ~x392509+4 ~x392508+2 ~x392507+1 ~x392506+33554432 ~x4012+16777216 ~x4011+8388608 ~x4010+4194304 ~x4009+2097152 ~x4008+1048576 ~x4007+524288 ~x4006+262144 ~x4005+131072 ~x4004+65536 ~x4003+32768 ~x4002+16384 ~x4001+8192 ~x4000+4096 ~x3999+2048 ~x3998+1024 ~x3997+512 ~x3996+256 ~x3995+128 ~x3994+64 ~x3993+32 ~x3992+16 ~x3991+8 ~x3990+4 ~x3989+2 ~x3988+1 ~x3987-0=116850686 15.49/15.59 c 33554432 ~x406211+16777216 ~x406210+8388608 ~x406209+4194304 ~x406208+2097152 ~x406207+1048576 ~x406206+524288 ~x406205+262144 ~x406204+131072 ~x406203+65536 ~x406202+32768 ~x406201+16384 ~x406200+8192 ~x406199+4096 ~x406198+2048 ~x406197+1024 ~x406196+512 ~x406195+256 ~x406194+128 ~x406193+64 ~x406192+32 ~x406191+16 ~x406190+8 ~x406189+4 ~x406188+2 ~x406187+1 ~x406186+33554432 ~x4043+16777216 ~x4042+8388608 ~x4041+4194304 ~x4040+2097152 ~x4039+1048576 ~x4038+524288 ~x4037+262144 ~x4036+131072 ~x4035+65536 ~x4034+32768 ~x4033+16384 ~x4032+8192 ~x4031+4096 ~x4030+2048 ~x4029+1024 ~x4028+512 ~x4027+256 ~x4026+128 ~x4025+64 ~x4024+32 ~x4023+16 ~x4022+8 ~x4021+4 ~x4020+2 ~x4019+1 ~x4018-0=116850686 15.88/15.91 c 33554432 ~x419891+16777216 ~x419890+8388608 ~x419889+4194304 ~x419888+2097152 ~x419887+1048576 ~x419886+524288 ~x419885+262144 ~x419884+131072 ~x419883+65536 ~x419882+32768 ~x419881+16384 ~x419880+8192 ~x419879+4096 ~x419878+2048 ~x419877+1024 ~x419876+512 ~x419875+256 ~x419874+128 ~x419873+64 ~x419872+32 ~x419871+16 ~x419870+8 ~x419869+4 ~x419868+2 ~x419867+1 ~x419866+33554432 ~x4253+16777216 ~x4252+8388608 ~x4251+4194304 ~x4250+2097152 ~x4249+1048576 ~x4248+524288 ~x4247+262144 ~x4246+131072 ~x4245+65536 ~x4244+32768 ~x4243+16384 ~x4242+8192 ~x4241+4096 ~x4240+2048 ~x4239+1024 ~x4238+512 ~x4237+256 ~x4236+128 ~x4235+64 ~x4234+32 ~x4233+16 ~x4232+8 ~x4231+4 ~x4230+2 ~x4229+1 ~x4228-0=116850686 16.18/16.23 c 33554432 ~x433571+16777216 ~x433570+8388608 ~x433569+4194304 ~x433568+2097152 ~x433567+1048576 ~x433566+524288 ~x433565+262144 ~x433564+131072 ~x433563+65536 ~x433562+32768 ~x433561+16384 ~x433560+8192 ~x433559+4096 ~x433558+2048 ~x433557+1024 ~x433556+512 ~x433555+256 ~x433554+128 ~x433553+64 ~x433552+32 ~x433551+16 ~x433550+8 ~x433549+4 ~x433548+2 ~x433547+1 ~x433546+33554432 ~x4283+16777216 ~x4282+8388608 ~x4281+4194304 ~x4280+2097152 ~x4279+1048576 ~x4278+524288 ~x4277+262144 ~x4276+131072 ~x4275+65536 ~x4274+32768 ~x4273+16384 ~x4272+8192 ~x4271+4096 ~x4270+2048 ~x4269+1024 ~x4268+512 ~x4267+256 ~x4266+128 ~x4265+64 ~x4264+32 ~x4263+16 ~x4262+8 ~x4261+4 ~x4260+2 ~x4259+1 ~x4258-0=116850686 16.49/16.54 c 33554432 ~x447251+16777216 ~x447250+8388608 ~x447249+4194304 ~x447248+2097152 ~x447247+1048576 ~x447246+524288 ~x447245+262144 ~x447244+131072 ~x447243+65536 ~x447242+32768 ~x447241+16384 ~x447240+8192 ~x447239+4096 ~x447238+2048 ~x447237+1024 ~x447236+512 ~x447235+256 ~x447234+128 ~x447233+64 ~x447232+32 ~x447231+16 ~x447230+8 ~x447229+4 ~x447228+2 ~x447227+1 ~x447226+33554432 ~x4313+16777216 ~x4312+8388608 ~x4311+4194304 ~x4310+2097152 ~x4309+1048576 ~x4308+524288 ~x4307+262144 ~x4306+131072 ~x4305+65536 ~x4304+32768 ~x4303+16384 ~x4302+8192 ~x4301+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=116850686 16.78/16.86 c 33554432 ~x460931+16777216 ~x460930+8388608 ~x460929+4194304 ~x460928+2097152 ~x460927+1048576 ~x460926+524288 ~x460925+262144 ~x460924+131072 ~x460923+65536 ~x460922+32768 ~x460921+16384 ~x460920+8192 ~x460919+4096 ~x460918+2048 ~x460917+1024 ~x460916+512 ~x460915+256 ~x460914+128 ~x460913+64 ~x460912+32 ~x460911+16 ~x460910+8 ~x460909+4 ~x460908+2 ~x460907+1 ~x460906+33554432 ~x4344+16777216 ~x4343+8388608 ~x4342+4194304 ~x4341+2097152 ~x4340+1048576 ~x4339+524288 ~x4338+262144 ~x4337+131072 ~x4336+65536 ~x4335+32768 ~x4334+16384 ~x4333+8192 ~x4332+4096 ~x4331+2048 ~x4330+1024 ~x4329+512 ~x4328+256 ~x4327+128 ~x4326+64 ~x4325+32 ~x4324+16 ~x4323+8 ~x4322+4 ~x4321+2 ~x4320+1 ~x4319-0=116850686 17.08/17.18 c 33554432 ~x474611+16777216 ~x474610+8388608 ~x474609+4194304 ~x474608+2097152 ~x474607+1048576 ~x474606+524288 ~x474605+262144 ~x474604+131072 ~x474603+65536 ~x474602+32768 ~x474601+16384 ~x474600+8192 ~x474599+4096 ~x474598+2048 ~x474597+1024 ~x474596+512 ~x474595+256 ~x474594+128 ~x474593+64 ~x474592+32 ~x474591+16 ~x474590+8 ~x474589+4 ~x474588+2 ~x474587+1 ~x474586+33554432 ~x4193+16777216 ~x4192+8388608 ~x4191+4194304 ~x4190+2097152 ~x4189+1048576 ~x4188+524288 ~x4187+262144 ~x4186+131072 ~x4185+65536 ~x4184+32768 ~x4183+16384 ~x4182+8192 ~x4181+4096 ~x4180+2048 ~x4179+1024 ~x4178+512 ~x4177+256 ~x4176+128 ~x4175+64 ~x4174+32 ~x4173+16 ~x4172+8 ~x4171+4 ~x4170+2 ~x4169+1 ~x4168-0=116850686 17.38/17.50 c 33554432 ~x488291+16777216 ~x488290+8388608 ~x488289+4194304 ~x488288+2097152 ~x488287+1048576 ~x488286+524288 ~x488285+262144 ~x488284+131072 ~x488283+65536 ~x488282+32768 ~x488281+16384 ~x488280+8192 ~x488279+4096 ~x488278+2048 ~x488277+1024 ~x488276+512 ~x488275+256 ~x488274+128 ~x488273+64 ~x488272+32 ~x488271+16 ~x488270+8 ~x488269+4 ~x488268+2 ~x488267+1 ~x488266+33554432 ~x4223+16777216 ~x4222+8388608 ~x4221+4194304 ~x4220+2097152 ~x4219+1048576 ~x4218+524288 ~x4217+262144 ~x4216+131072 ~x4215+65536 ~x4214+32768 ~x4213+16384 ~x4212+8192 ~x4211+4096 ~x4210+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=116850686 17.78/17.81 c 33554432 ~x501971+16777216 ~x501970+8388608 ~x501969+4194304 ~x501968+2097152 ~x501967+1048576 ~x501966+524288 ~x501965+262144 ~x501964+131072 ~x501963+65536 ~x501962+32768 ~x501961+16384 ~x501960+8192 ~x501959+4096 ~x501958+2048 ~x501957+1024 ~x501956+512 ~x501955+256 ~x501954+128 ~x501953+64 ~x501952+32 ~x501951+16 ~x501950+8 ~x501949+4 ~x501948+2 ~x501947+1 ~x501946+33554432 ~x4434+16777216 ~x4433+8388608 ~x4432+4194304 ~x4431+2097152 ~x4430+1048576 ~x4429+524288 ~x4428+262144 ~x4427+131072 ~x4426+65536 ~x4425+32768 ~x4424+16384 ~x4423+8192 ~x4422+4096 ~x4421+2048 ~x4420+1024 ~x4419+512 ~x4418+256 ~x4417+128 ~x4416+64 ~x4415+32 ~x4414+16 ~x4413+8 ~x4412+4 ~x4411+2 ~x4410+1 ~x4409-0=116850686 18.08/18.13 c 33554432 ~x515651+16777216 ~x515650+8388608 ~x515649+4194304 ~x515648+2097152 ~x515647+1048576 ~x515646+524288 ~x515645+262144 ~x515644+131072 ~x515643+65536 ~x515642+32768 ~x515641+16384 ~x515640+8192 ~x515639+4096 ~x515638+2048 ~x515637+1024 ~x515636+512 ~x515635+256 ~x515634+128 ~x515633+64 ~x515632+32 ~x515631+16 ~x515630+8 ~x515629+4 ~x515628+2 ~x515627+1 ~x515626+33554432 ~x4464+16777216 ~x4463+8388608 ~x4462+4194304 ~x4461+2097152 ~x4460+1048576 ~x4459+524288 ~x4458+262144 ~x4457+131072 ~x4456+65536 ~x4455+32768 ~x4454+16384 ~x4453+8192 ~x4452+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=116850686 18.38/18.46 c 33554432 ~x529331+16777216 ~x529330+8388608 ~x529329+4194304 ~x529328+2097152 ~x529327+1048576 ~x529326+524288 ~x529325+262144 ~x529324+131072 ~x529323+65536 ~x529322+32768 ~x529321+16384 ~x529320+8192 ~x529319+4096 ~x529318+2048 ~x529317+1024 ~x529316+512 ~x529315+256 ~x529314+128 ~x529313+64 ~x529312+32 ~x529311+16 ~x529310+8 ~x529309+4 ~x529308+2 ~x529307+1 ~x529306+33554432 ~x4494+16777216 ~x4493+8388608 ~x4492+4194304 ~x4491+2097152 ~x4490+1048576 ~x4489+524288 ~x4488+262144 ~x4487+131072 ~x4486+65536 ~x4485+32768 ~x4484+16384 ~x4483+8192 ~x4482+4096 ~x4481+2048 ~x4480+1024 ~x4479+512 ~x4478+256 ~x4477+128 ~x4476+64 ~x4475+32 ~x4474+16 ~x4473+8 ~x4472+4 ~x4471+2 ~x4470+1 ~x4469-0=116850686 18.69/18.77 c 33554432 ~x543011+16777216 ~x543010+8388608 ~x543009+4194304 ~x543008+2097152 ~x543007+1048576 ~x543006+524288 ~x543005+262144 ~x543004+131072 ~x543003+65536 ~x543002+32768 ~x543001+16384 ~x543000+8192 ~x542999+4096 ~x542998+2048 ~x542997+1024 ~x542996+512 ~x542995+256 ~x542994+128 ~x542993+64 ~x542992+32 ~x542991+16 ~x542990+8 ~x542989+4 ~x542988+2 ~x542987+1 ~x542986+33554432 ~x4524+16777216 ~x4523+8388608 ~x4522+4194304 ~x4521+2097152 ~x4520+1048576 ~x4519+524288 ~x4518+262144 ~x4517+131072 ~x4516+65536 ~x4515+32768 ~x4514+16384 ~x4513+8192 ~x4512+4096 ~x4511+2048 ~x4510+1024 ~x4509+512 ~x4508+256 ~x4507+128 ~x4506+64 ~x4505+32 ~x4504+16 ~x4503+8 ~x4502+4 ~x4501+2 ~x4500+1 ~x4499-0=116850686 18.98/19.09 c 33554432 ~x556691+16777216 ~x556690+8388608 ~x556689+4194304 ~x556688+2097152 ~x556687+1048576 ~x556686+524288 ~x556685+262144 ~x556684+131072 ~x556683+65536 ~x556682+32768 ~x556681+16384 ~x556680+8192 ~x556679+4096 ~x556678+2048 ~x556677+1024 ~x556676+512 ~x556675+256 ~x556674+128 ~x556673+64 ~x556672+32 ~x556671+16 ~x556670+8 ~x556669+4 ~x556668+2 ~x556667+1 ~x556666+33554432 ~x4374+16777216 ~x4373+8388608 ~x4372+4194304 ~x4371+2097152 ~x4370+1048576 ~x4369+524288 ~x4368+262144 ~x4367+131072 ~x4366+65536 ~x4365+32768 ~x4364+16384 ~x4363+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=116850686 19.38/19.41 c 33554432 ~x570371+16777216 ~x570370+8388608 ~x570369+4194304 ~x570368+2097152 ~x570367+1048576 ~x570366+524288 ~x570365+262144 ~x570364+131072 ~x570363+65536 ~x570362+32768 ~x570361+16384 ~x570360+8192 ~x570359+4096 ~x570358+2048 ~x570357+1024 ~x570356+512 ~x570355+256 ~x570354+128 ~x570353+64 ~x570352+32 ~x570351+16 ~x570350+8 ~x570349+4 ~x570348+2 ~x570347+1 ~x570346+33554432 ~x4404+16777216 ~x4403+8388608 ~x4402+4194304 ~x4401+2097152 ~x4400+1048576 ~x4399+524288 ~x4398+262144 ~x4397+131072 ~x4396+65536 ~x4395+32768 ~x4394+16384 ~x4393+8192 ~x4392+4096 ~x4391+2048 ~x4390+1024 ~x4389+512 ~x4388+256 ~x4387+128 ~x4386+64 ~x4385+32 ~x4384+16 ~x4383+8 ~x4382+4 ~x4381+2 ~x4380+1 ~x4379-0=116850686 19.68/19.72 c 33554432 ~x584051+16777216 ~x584050+8388608 ~x584049+4194304 ~x584048+2097152 ~x584047+1048576 ~x584046+524288 ~x584045+262144 ~x584044+131072 ~x584043+65536 ~x584042+32768 ~x584041+16384 ~x584040+8192 ~x584039+4096 ~x584038+2048 ~x584037+1024 ~x584036+512 ~x584035+256 ~x584034+128 ~x584033+64 ~x584032+32 ~x584031+16 ~x584030+8 ~x584029+4 ~x584028+2 ~x584027+1 ~x584026+33554432 ~x4614+16777216 ~x4613+8388608 ~x4612+4194304 ~x4611+2097152 ~x4610+1048576 ~x4609+524288 ~x4608+262144 ~x4607+131072 ~x4606+65536 ~x4605+32768 ~x4604+16384 ~x4603+8192 ~x4602+4096 ~x4601+2048 ~x4600+1024 ~x4599+512 ~x4598+256 ~x4597+128 ~x4596+64 ~x4595+32 ~x4594+16 ~x4593+8 ~x4592+4 ~x4591+2 ~x4590+1 ~x4589-0=116850686 19.98/20.04 c 33554432 ~x597731+16777216 ~x597730+8388608 ~x597729+4194304 ~x597728+2097152 ~x597727+1048576 ~x597726+524288 ~x597725+262144 ~x597724+131072 ~x597723+65536 ~x597722+32768 ~x597721+16384 ~x597720+8192 ~x597719+4096 ~x597718+2048 ~x597717+1024 ~x597716+512 ~x597715+256 ~x597714+128 ~x597713+64 ~x597712+32 ~x597711+16 ~x597710+8 ~x597709+4 ~x597708+2 ~x597707+1 ~x597706+33554432 ~x4645+16777216 ~x4644+8388608 ~x4643+4194304 ~x4642+2097152 ~x4641+1048576 ~x4640+524288 ~x4639+262144 ~x4638+131072 ~x4637+65536 ~x4636+32768 ~x4635+16384 ~x4634+8192 ~x4633+4096 ~x4632+2048 ~x4631+1024 ~x4630+512 ~x4629+256 ~x4628+128 ~x4627+64 ~x4626+32 ~x4625+16 ~x4624+8 ~x4623+4 ~x4622+2 ~x4621+1 ~x4620-0=116850686 20.28/20.36 c 33554432 ~x611411+16777216 ~x611410+8388608 ~x611409+4194304 ~x611408+2097152 ~x611407+1048576 ~x611406+524288 ~x611405+262144 ~x611404+131072 ~x611403+65536 ~x611402+32768 ~x611401+16384 ~x611400+8192 ~x611399+4096 ~x611398+2048 ~x611397+1024 ~x611396+512 ~x611395+256 ~x611394+128 ~x611393+64 ~x611392+32 ~x611391+16 ~x611390+8 ~x611389+4 ~x611388+2 ~x611387+1 ~x611386+33554432 ~x4675+16777216 ~x4674+8388608 ~x4673+4194304 ~x4672+2097152 ~x4671+1048576 ~x4670+524288 ~x4669+262144 ~x4668+131072 ~x4667+65536 ~x4666+32768 ~x4665+16384 ~x4664+8192 ~x4663+4096 ~x4662+2048 ~x4661+1024 ~x4660+512 ~x4659+256 ~x4658+128 ~x4657+64 ~x4656+32 ~x4655+16 ~x4654+8 ~x4653+4 ~x4652+2 ~x4651+1 ~x4650-0=116850686 20.58/20.67 c 33554432 ~x625091+16777216 ~x625090+8388608 ~x625089+4194304 ~x625088+2097152 ~x625087+1048576 ~x625086+524288 ~x625085+262144 ~x625084+131072 ~x625083+65536 ~x625082+32768 ~x625081+16384 ~x625080+8192 ~x625079+4096 ~x625078+2048 ~x625077+1024 ~x625076+512 ~x625075+256 ~x625074+128 ~x625073+64 ~x625072+32 ~x625071+16 ~x625070+8 ~x625069+4 ~x625068+2 ~x625067+1 ~x625066+33554432 ~x4705+16777216 ~x4704+8388608 ~x4703+4194304 ~x4702+2097152 ~x4701+1048576 ~x4700+524288 ~x4699+262144 ~x4698+131072 ~x4697+65536 ~x4696+32768 ~x4695+16384 ~x4694+8192 ~x4693+4096 ~x4692+2048 ~x4691+1024 ~x4690+512 ~x4689+256 ~x4688+128 ~x4687+64 ~x4686+32 ~x4685+16 ~x4684+8 ~x4683+4 ~x4682+2 ~x4681+1 ~x4680-0=116850686 20.88/20.99 c 33554432 ~x638771+16777216 ~x638770+8388608 ~x638769+4194304 ~x638768+2097152 ~x638767+1048576 ~x638766+524288 ~x638765+262144 ~x638764+131072 ~x638763+65536 ~x638762+32768 ~x638761+16384 ~x638760+8192 ~x638759+4096 ~x638758+2048 ~x638757+1024 ~x638756+512 ~x638755+256 ~x638754+128 ~x638753+64 ~x638752+32 ~x638751+16 ~x638750+8 ~x638749+4 ~x638748+2 ~x638747+1 ~x638746+33554432 ~x4554+16777216 ~x4553+8388608 ~x4552+4194304 ~x4551+2097152 ~x4550+1048576 ~x4549+524288 ~x4548+262144 ~x4547+131072 ~x4546+65536 ~x4545+32768 ~x4544+16384 ~x4543+8192 ~x4542+4096 ~x4541+2048 ~x4540+1024 ~x4539+512 ~x4538+256 ~x4537+128 ~x4536+64 ~x4535+32 ~x4534+16 ~x4533+8 ~x4532+4 ~x4531+2 ~x4530+1 ~x4529-0=116850686 21.28/21.32 c 33554432 ~x652451+16777216 ~x652450+8388608 ~x652449+4194304 ~x652448+2097152 ~x652447+1048576 ~x652446+524288 ~x652445+262144 ~x652444+131072 ~x652443+65536 ~x652442+32768 ~x652441+16384 ~x652440+8192 ~x652439+4096 ~x652438+2048 ~x652437+1024 ~x652436+512 ~x652435+256 ~x652434+128 ~x652433+64 ~x652432+32 ~x652431+16 ~x652430+8 ~x652429+4 ~x652428+2 ~x652427+1 ~x652426+33554432 ~x4584+16777216 ~x4583+8388608 ~x4582+4194304 ~x4581+2097152 ~x4580+1048576 ~x4579+524288 ~x4578+262144 ~x4577+131072 ~x4576+65536 ~x4575+32768 ~x4574+16384 ~x4573+8192 ~x4572+4096 ~x4571+2048 ~x4570+1024 ~x4569+512 ~x4568+256 ~x4567+128 ~x4566+64 ~x4565+32 ~x4564+16 ~x4563+8 ~x4562+4 ~x4561+2 ~x4560+1 ~x4559-0=116850686 21.58/21.63 c 33554432 ~x666131+16777216 ~x666130+8388608 ~x666129+4194304 ~x666128+2097152 ~x666127+1048576 ~x666126+524288 ~x666125+262144 ~x666124+131072 ~x666123+65536 ~x666122+32768 ~x666121+16384 ~x666120+8192 ~x666119+4096 ~x666118+2048 ~x666117+1024 ~x666116+512 ~x666115+256 ~x666114+128 ~x666113+64 ~x666112+32 ~x666111+16 ~x666110+8 ~x666109+4 ~x666108+2 ~x666107+1 ~x666106+33554432 ~x4795+16777216 ~x4794+8388608 ~x4793+4194304 ~x4792+2097152 ~x4791+1048576 ~x4790+524288 ~x4789+262144 ~x4788+131072 ~x4787+65536 ~x4786+32768 ~x4785+16384 ~x4784+8192 ~x4783+4096 ~x4782+2048 ~x4781+1024 ~x4780+512 ~x4779+256 ~x4778+128 ~x4777+64 ~x4776+32 ~x4775+16 ~x4774+8 ~x4773+4 ~x4772+2 ~x4771+1 ~x4770-0=116850686 21.89/21.95 c 33554432 ~x679811+16777216 ~x679810+8388608 ~x679809+4194304 ~x679808+2097152 ~x679807+1048576 ~x679806+524288 ~x679805+262144 ~x679804+131072 ~x679803+65536 ~x679802+32768 ~x679801+16384 ~x679800+8192 ~x679799+4096 ~x679798+2048 ~x679797+1024 ~x679796+512 ~x679795+256 ~x679794+128 ~x679793+64 ~x679792+32 ~x679791+16 ~x679790+8 ~x679789+4 ~x679788+2 ~x679787+1 ~x679786+33554432 ~x4825+16777216 ~x4824+8388608 ~x4823+4194304 ~x4822+2097152 ~x4821+1048576 ~x4820+524288 ~x4819+262144 ~x4818+131072 ~x4817+65536 ~x4816+32768 ~x4815+16384 ~x4814+8192 ~x4813+4096 ~x4812+2048 ~x4811+1024 ~x4810+512 ~x4809+256 ~x4808+128 ~x4807+64 ~x4806+32 ~x4805+16 ~x4804+8 ~x4803+4 ~x4802+2 ~x4801+1 ~x4800-0=116850686 22.18/22.27 c 33554432 ~x693491+16777216 ~x693490+8388608 ~x693489+4194304 ~x693488+2097152 ~x693487+1048576 ~x693486+524288 ~x693485+262144 ~x693484+131072 ~x693483+65536 ~x693482+32768 ~x693481+16384 ~x693480+8192 ~x693479+4096 ~x693478+2048 ~x693477+1024 ~x693476+512 ~x693475+256 ~x693474+128 ~x693473+64 ~x693472+32 ~x693471+16 ~x693470+8 ~x693469+4 ~x693468+2 ~x693467+1 ~x693466+33554432 ~x4855+16777216 ~x4854+8388608 ~x4853+4194304 ~x4852+2097152 ~x4851+1048576 ~x4850+524288 ~x4849+262144 ~x4848+131072 ~x4847+65536 ~x4846+32768 ~x4845+16384 ~x4844+8192 ~x4843+4096 ~x4842+2048 ~x4841+1024 ~x4840+512 ~x4839+256 ~x4838+128 ~x4837+64 ~x4836+32 ~x4835+16 ~x4834+8 ~x4833+4 ~x4832+2 ~x4831+1 ~x4830-0=116850686 22.48/22.58 c 33554432 ~x707171+16777216 ~x707170+8388608 ~x707169+4194304 ~x707168+2097152 ~x707167+1048576 ~x707166+524288 ~x707165+262144 ~x707164+131072 ~x707163+65536 ~x707162+32768 ~x707161+16384 ~x707160+8192 ~x707159+4096 ~x707158+2048 ~x707157+1024 ~x707156+512 ~x707155+256 ~x707154+128 ~x707153+64 ~x707152+32 ~x707151+16 ~x707150+8 ~x707149+4 ~x707148+2 ~x707147+1 ~x707146+33554432 ~x4885+16777216 ~x4884+8388608 ~x4883+4194304 ~x4882+2097152 ~x4881+1048576 ~x4880+524288 ~x4879+262144 ~x4878+131072 ~x4877+65536 ~x4876+32768 ~x4875+16384 ~x4874+8192 ~x4873+4096 ~x4872+2048 ~x4871+1024 ~x4870+512 ~x4869+256 ~x4868+128 ~x4867+64 ~x4866+32 ~x4865+16 ~x4864+8 ~x4863+4 ~x4862+2 ~x4861+1 ~x4860-0=116850686 22.88/22.90 c 33554432 ~x720851+16777216 ~x720850+8388608 ~x720849+4194304 ~x720848+2097152 ~x720847+1048576 ~x720846+524288 ~x720845+262144 ~x720844+131072 ~x720843+65536 ~x720842+32768 ~x720841+16384 ~x720840+8192 ~x720839+4096 ~x720838+2048 ~x720837+1024 ~x720836+512 ~x720835+256 ~x720834+128 ~x720833+64 ~x720832+32 ~x720831+16 ~x720830+8 ~x720829+4 ~x720828+2 ~x720827+1 ~x720826+33554432 ~x4735+16777216 ~x4734+8388608 ~x4733+4194304 ~x4732+2097152 ~x4731+1048576 ~x4730+524288 ~x4729+262144 ~x4728+131072 ~x4727+65536 ~x4726+32768 ~x4725+16384 ~x4724+8192 ~x4723+4096 ~x4722+2048 ~x4721+1024 ~x4720+512 ~x4719+256 ~x4718+128 ~x4717+64 ~x4716+32 ~x4715+16 ~x4714+8 ~x4713+4 ~x4712+2 ~x4711+1 ~x4710-0=116850686 23.18/23.22 c 33554432 ~x734531+16777216 ~x734530+8388608 ~x734529+4194304 ~x734528+2097152 ~x734527+1048576 ~x734526+524288 ~x734525+262144 ~x734524+131072 ~x734523+65536 ~x734522+32768 ~x734521+16384 ~x734520+8192 ~x734519+4096 ~x734518+2048 ~x734517+1024 ~x734516+512 ~x734515+256 ~x734514+128 ~x734513+64 ~x734512+32 ~x734511+16 ~x734510+8 ~x734509+4 ~x734508+2 ~x734507+1 ~x734506+33554432 ~x4765+16777216 ~x4764+8388608 ~x4763+4194304 ~x4762+2097152 ~x4761+1048576 ~x4760+524288 ~x4759+262144 ~x4758+131072 ~x4757+65536 ~x4756+32768 ~x4755+16384 ~x4754+8192 ~x4753+4096 ~x4752+2048 ~x4751+1024 ~x4750+512 ~x4749+256 ~x4748+128 ~x4747+64 ~x4746+32 ~x4745+16 ~x4744+8 ~x4743+4 ~x4742+2 ~x4741+1 ~x4740-0=116850686 23.48/23.53 c 33554432 ~x748211+16777216 ~x748210+8388608 ~x748209+4194304 ~x748208+2097152 ~x748207+1048576 ~x748206+524288 ~x748205+262144 ~x748204+131072 ~x748203+65536 ~x748202+32768 ~x748201+16384 ~x748200+8192 ~x748199+4096 ~x748198+2048 ~x748197+1024 ~x748196+512 ~x748195+256 ~x748194+128 ~x748193+64 ~x748192+32 ~x748191+16 ~x748190+8 ~x748189+4 ~x748188+2 ~x748187+1 ~x748186+33554432 ~x4976+16777216 ~x4975+8388608 ~x4974+4194304 ~x4973+2097152 ~x4972+1048576 ~x4971+524288 ~x4970+262144 ~x4969+131072 ~x4968+65536 ~x4967+32768 ~x4966+16384 ~x4965+8192 ~x4964+4096 ~x4963+2048 ~x4962+1024 ~x4961+512 ~x4960+256 ~x4959+128 ~x4958+64 ~x4957+32 ~x4956+16 ~x4955+8 ~x4954+4 ~x4953+2 ~x4952+1 ~x4951-0=116850686 23.78/23.85 c 33554432 ~x761891+16777216 ~x761890+8388608 ~x761889+4194304 ~x761888+2097152 ~x761887+1048576 ~x761886+524288 ~x761885+262144 ~x761884+131072 ~x761883+65536 ~x761882+32768 ~x761881+16384 ~x761880+8192 ~x761879+4096 ~x761878+2048 ~x761877+1024 ~x761876+512 ~x761875+256 ~x761874+128 ~x761873+64 ~x761872+32 ~x761871+16 ~x761870+8 ~x761869+4 ~x761868+2 ~x761867+1 ~x761866+33554432 ~x5006+16777216 ~x5005+8388608 ~x5004+4194304 ~x5003+2097152 ~x5002+1048576 ~x5001+524288 ~x5000+262144 ~x4999+131072 ~x4998+65536 ~x4997+32768 ~x4996+16384 ~x4995+8192 ~x4994+4096 ~x4993+2048 ~x4992+1024 ~x4991+512 ~x4990+256 ~x4989+128 ~x4988+64 ~x4987+32 ~x4986+16 ~x4985+8 ~x4984+4 ~x4983+2 ~x4982+1 ~x4981-0=116850686 24.08/24.17 c 33554432 ~x775571+16777216 ~x775570+8388608 ~x775569+4194304 ~x775568+2097152 ~x775567+1048576 ~x775566+524288 ~x775565+262144 ~x775564+131072 ~x775563+65536 ~x775562+32768 ~x775561+16384 ~x775560+8192 ~x775559+4096 ~x775558+2048 ~x775557+1024 ~x775556+512 ~x775555+256 ~x775554+128 ~x775553+64 ~x775552+32 ~x775551+16 ~x775550+8 ~x775549+4 ~x775548+2 ~x775547+1 ~x775546+33554432 ~x5036+16777216 ~x5035+8388608 ~x5034+4194304 ~x5033+2097152 ~x5032+1048576 ~x5031+524288 ~x5030+262144 ~x5029+131072 ~x5028+65536 ~x5027+32768 ~x5026+16384 ~x5025+8192 ~x5024+4096 ~x5023+2048 ~x5022+1024 ~x5021+512 ~x5020+256 ~x5019+128 ~x5018+64 ~x5017+32 ~x5016+16 ~x5015+8 ~x5014+4 ~x5013+2 ~x5012+1 ~x5011-0=116850686 24.38/24.49 c 33554432 ~x789251+16777216 ~x789250+8388608 ~x789249+4194304 ~x789248+2097152 ~x789247+1048576 ~x789246+524288 ~x789245+262144 ~x789244+131072 ~x789243+65536 ~x789242+32768 ~x789241+16384 ~x789240+8192 ~x789239+4096 ~x789238+2048 ~x789237+1024 ~x789236+512 ~x789235+256 ~x789234+128 ~x789233+64 ~x789232+32 ~x789231+16 ~x789230+8 ~x789229+4 ~x789228+2 ~x789227+1 ~x789226+33554432 ~x5066+16777216 ~x5065+8388608 ~x5064+4194304 ~x5063+2097152 ~x5062+1048576 ~x5061+524288 ~x5060+262144 ~x5059+131072 ~x5058+65536 ~x5057+32768 ~x5056+16384 ~x5055+8192 ~x5054+4096 ~x5053+2048 ~x5052+1024 ~x5051+512 ~x5050+256 ~x5049+128 ~x5048+64 ~x5047+32 ~x5046+16 ~x5045+8 ~x5044+4 ~x5043+2 ~x5042+1 ~x5041-0=116850686 24.77/24.81 c 33554432 ~x802931+16777216 ~x802930+8388608 ~x802929+4194304 ~x802928+2097152 ~x802927+1048576 ~x802926+524288 ~x802925+262144 ~x802924+131072 ~x802923+65536 ~x802922+32768 ~x802921+16384 ~x802920+8192 ~x802919+4096 ~x802918+2048 ~x802917+1024 ~x802916+512 ~x802915+256 ~x802914+128 ~x802913+64 ~x802912+32 ~x802911+16 ~x802910+8 ~x802909+4 ~x802908+2 ~x802907+1 ~x802906+33554432 ~x4915+16777216 ~x4914+8388608 ~x4913+4194304 ~x4912+2097152 ~x4911+1048576 ~x4910+524288 ~x4909+262144 ~x4908+131072 ~x4907+65536 ~x4906+32768 ~x4905+16384 ~x4904+8192 ~x4903+4096 ~x4902+2048 ~x4901+1024 ~x4900+512 ~x4899+256 ~x4898+128 ~x4897+64 ~x4896+32 ~x4895+16 ~x4894+8 ~x4893+4 ~x4892+2 ~x4891+1 ~x4890-0=116850686 25.08/25.14 c 33554432 ~x816611+16777216 ~x816610+8388608 ~x816609+4194304 ~x816608+2097152 ~x816607+1048576 ~x816606+524288 ~x816605+262144 ~x816604+131072 ~x816603+65536 ~x816602+32768 ~x816601+16384 ~x816600+8192 ~x816599+4096 ~x816598+2048 ~x816597+1024 ~x816596+512 ~x816595+256 ~x816594+128 ~x816593+64 ~x816592+32 ~x816591+16 ~x816590+8 ~x816589+4 ~x816588+2 ~x816587+1 ~x816586+33554432 ~x4946+16777216 ~x4945+8388608 ~x4944+4194304 ~x4943+2097152 ~x4942+1048576 ~x4941+524288 ~x4940+262144 ~x4939+131072 ~x4938+65536 ~x4937+32768 ~x4936+16384 ~x4935+8192 ~x4934+4096 ~x4933+2048 ~x4932+1024 ~x4931+512 ~x4930+256 ~x4929+128 ~x4928+64 ~x4927+32 ~x4926+16 ~x4925+8 ~x4924+4 ~x4923+2 ~x4922+1 ~x4921-0=116850686 25.38/25.45 c 33554432 ~x830291+16777216 ~x830290+8388608 ~x830289+4194304 ~x830288+2097152 ~x830287+1048576 ~x830286+524288 ~x830285+262144 ~x830284+131072 ~x830283+65536 ~x830282+32768 ~x830281+16384 ~x830280+8192 ~x830279+4096 ~x830278+2048 ~x830277+1024 ~x830276+512 ~x830275+256 ~x830274+128 ~x830273+64 ~x830272+32 ~x830271+16 ~x830270+8 ~x830269+4 ~x830268+2 ~x830267+1 ~x830266+33554432 ~x5156+16777216 ~x5155+8388608 ~x5154+4194304 ~x5153+2097152 ~x5152+1048576 ~x5151+524288 ~x5150+262144 ~x5149+131072 ~x5148+65536 ~x5147+32768 ~x5146+16384 ~x5145+8192 ~x5144+4096 ~x5143+2048 ~x5142+1024 ~x5141+512 ~x5140+256 ~x5139+128 ~x5138+64 ~x5137+32 ~x5136+16 ~x5135+8 ~x5134+4 ~x5133+2 ~x5132+1 ~x5131-0=116850686 25.68/25.77 c 33554432 ~x843971+16777216 ~x843970+8388608 ~x843969+4194304 ~x843968+2097152 ~x843967+1048576 ~x843966+524288 ~x843965+262144 ~x843964+131072 ~x843963+65536 ~x843962+32768 ~x843961+16384 ~x843960+8192 ~x843959+4096 ~x843958+2048 ~x843957+1024 ~x843956+512 ~x843955+256 ~x843954+128 ~x843953+64 ~x843952+32 ~x843951+16 ~x843950+8 ~x843949+4 ~x843948+2 ~x843947+1 ~x843946+33554432 ~x5186+16777216 ~x5185+8388608 ~x5184+4194304 ~x5183+2097152 ~x5182+1048576 ~x5181+524288 ~x5180+262144 ~x5179+131072 ~x5178+65536 ~x5177+32768 ~x5176+16384 ~x5175+8192 ~x5174+4096 ~x5173+2048 ~x5172+1024 ~x5171+512 ~x5170+256 ~x5169+128 ~x5168+64 ~x5167+32 ~x5166+16 ~x5165+8 ~x5164+4 ~x5163+2 ~x5162+1 ~x5161-0=116850686 25.97/26.08 c 33554432 ~x857651+16777216 ~x857650+8388608 ~x857649+4194304 ~x857648+2097152 ~x857647+1048576 ~x857646+524288 ~x857645+262144 ~x857644+131072 ~x857643+65536 ~x857642+32768 ~x857641+16384 ~x857640+8192 ~x857639+4096 ~x857638+2048 ~x857637+1024 ~x857636+512 ~x857635+256 ~x857634+128 ~x857633+64 ~x857632+32 ~x857631+16 ~x857630+8 ~x857629+4 ~x857628+2 ~x857627+1 ~x857626+33554432 ~x5216+16777216 ~x5215+8388608 ~x5214+4194304 ~x5213+2097152 ~x5212+1048576 ~x5211+524288 ~x5210+262144 ~x5209+131072 ~x5208+65536 ~x5207+32768 ~x5206+16384 ~x5205+8192 ~x5204+4096 ~x5203+2048 ~x5202+1024 ~x5201+512 ~x5200+256 ~x5199+128 ~x5198+64 ~x5197+32 ~x5196+16 ~x5195+8 ~x5194+4 ~x5193+2 ~x5192+1 ~x5191-0=116850686 26.28/26.40 c 33554432 ~x871331+16777216 ~x871330+8388608 ~x871329+4194304 ~x871328+2097152 ~x871327+1048576 ~x871326+524288 ~x871325+262144 ~x871324+131072 ~x871323+65536 ~x871322+32768 ~x871321+16384 ~x871320+8192 ~x871319+4096 ~x871318+2048 ~x871317+1024 ~x871316+512 ~x871315+256 ~x871314+128 ~x871313+64 ~x871312+32 ~x871311+16 ~x871310+8 ~x871309+4 ~x871308+2 ~x871307+1 ~x871306+33554432 ~x5247+16777216 ~x5246+8388608 ~x5245+4194304 ~x5244+2097152 ~x5243+1048576 ~x5242+524288 ~x5241+262144 ~x5240+131072 ~x5239+65536 ~x5238+32768 ~x5237+16384 ~x5236+8192 ~x5235+4096 ~x5234+2048 ~x5233+1024 ~x5232+512 ~x5231+256 ~x5230+128 ~x5229+64 ~x5228+32 ~x5227+16 ~x5226+8 ~x5225+4 ~x5224+2 ~x5223+1 ~x5222-0=116850686 26.67/26.72 c 33554432 ~x885011+16777216 ~x885010+8388608 ~x885009+4194304 ~x885008+2097152 ~x885007+1048576 ~x885006+524288 ~x885005+262144 ~x885004+131072 ~x885003+65536 ~x885002+32768 ~x885001+16384 ~x885000+8192 ~x884999+4096 ~x884998+2048 ~x884997+1024 ~x884996+512 ~x884995+256 ~x884994+128 ~x884993+64 ~x884992+32 ~x884991+16 ~x884990+8 ~x884989+4 ~x884988+2 ~x884987+1 ~x884986+33554432 ~x5096+16777216 ~x5095+8388608 ~x5094+4194304 ~x5093+2097152 ~x5092+1048576 ~x5091+524288 ~x5090+262144 ~x5089+131072 ~x5088+65536 ~x5087+32768 ~x5086+16384 ~x5085+8192 ~x5084+4096 ~x5083+2048 ~x5082+1024 ~x5081+512 ~x5080+256 ~x5079+128 ~x5078+64 ~x5077+32 ~x5076+16 ~x5075+8 ~x5074+4 ~x5073+2 ~x5072+1 ~x5071-0=116850686 26.98/27.04 c 33554432 ~x898691+16777216 ~x898690+8388608 ~x898689+4194304 ~x898688+2097152 ~x898687+1048576 ~x898686+524288 ~x898685+262144 ~x898684+131072 ~x898683+65536 ~x898682+32768 ~x898681+16384 ~x898680+8192 ~x898679+4096 ~x898678+2048 ~x898677+1024 ~x898676+512 ~x898675+256 ~x898674+128 ~x898673+64 ~x898672+32 ~x898671+16 ~x898670+8 ~x898669+4 ~x898668+2 ~x898667+1 ~x898666+33554432 ~x5126+16777216 ~x5125+8388608 ~x5124+4194304 ~x5123+2097152 ~x5122+1048576 ~x5121+524288 ~x5120+262144 ~x5119+131072 ~x5118+65536 ~x5117+32768 ~x5116+16384 ~x5115+8192 ~x5114+4096 ~x5113+2048 ~x5112+1024 ~x5111+512 ~x5110+256 ~x5109+128 ~x5108+64 ~x5107+32 ~x5106+16 ~x5105+8 ~x5104+4 ~x5103+2 ~x5102+1 ~x5101-0=116850686 27.27/27.35 c 33554432 ~x912371+16777216 ~x912370+8388608 ~x912369+4194304 ~x912368+2097152 ~x912367+1048576 ~x912366+524288 ~x912365+262144 ~x912364+131072 ~x912363+65536 ~x912362+32768 ~x912361+16384 ~x912360+8192 ~x912359+4096 ~x912358+2048 ~x912357+1024 ~x912356+512 ~x912355+256 ~x912354+128 ~x912353+64 ~x912352+32 ~x912351+16 ~x912350+8 ~x912349+4 ~x912348+2 ~x912347+1 ~x912346+33554432 ~x5337+16777216 ~x5336+8388608 ~x5335+4194304 ~x5334+2097152 ~x5333+1048576 ~x5332+524288 ~x5331+262144 ~x5330+131072 ~x5329+65536 ~x5328+32768 ~x5327+16384 ~x5326+8192 ~x5325+4096 ~x5324+2048 ~x5323+1024 ~x5322+512 ~x5321+256 ~x5320+128 ~x5319+64 ~x5318+32 ~x5317+16 ~x5316+8 ~x5315+4 ~x5314+2 ~x5313+1 ~x5312-0=116850686 27.58/27.67 c 33554432 ~x926051+16777216 ~x926050+8388608 ~x926049+4194304 ~x926048+2097152 ~x926047+1048576 ~x926046+524288 ~x926045+262144 ~x926044+131072 ~x926043+65536 ~x926042+32768 ~x926041+16384 ~x926040+8192 ~x926039+4096 ~x926038+2048 ~x926037+1024 ~x926036+512 ~x926035+256 ~x926034+128 ~x926033+64 ~x926032+32 ~x926031+16 ~x926030+8 ~x926029+4 ~x926028+2 ~x926027+1 ~x926026+33554432 ~x5367+16777216 ~x5366+8388608 ~x5365+4194304 ~x5364+2097152 ~x5363+1048576 ~x5362+524288 ~x5361+262144 ~x5360+131072 ~x5359+65536 ~x5358+32768 ~x5357+16384 ~x5356+8192 ~x5355+4096 ~x5354+2048 ~x5353+1024 ~x5352+512 ~x5351+256 ~x5350+128 ~x5349+64 ~x5348+32 ~x5347+16 ~x5346+8 ~x5345+4 ~x5344+2 ~x5343+1 ~x5342-0=116850686 27.88/27.99 c 33554432 ~x939731+16777216 ~x939730+8388608 ~x939729+4194304 ~x939728+2097152 ~x939727+1048576 ~x939726+524288 ~x939725+262144 ~x939724+131072 ~x939723+65536 ~x939722+32768 ~x939721+16384 ~x939720+8192 ~x939719+4096 ~x939718+2048 ~x939717+1024 ~x939716+512 ~x939715+256 ~x939714+128 ~x939713+64 ~x939712+32 ~x939711+16 ~x939710+8 ~x939709+4 ~x939708+2 ~x939707+1 ~x939706+33554432 ~x5397+16777216 ~x5396+8388608 ~x5395+4194304 ~x5394+2097152 ~x5393+1048576 ~x5392+524288 ~x5391+262144 ~x5390+131072 ~x5389+65536 ~x5388+32768 ~x5387+16384 ~x5386+8192 ~x5385+4096 ~x5384+2048 ~x5383+1024 ~x5382+512 ~x5381+256 ~x5380+128 ~x5379+64 ~x5378+32 ~x5377+16 ~x5376+8 ~x5375+4 ~x5374+2 ~x5373+1 ~x5372-0=116850686 28.28/28.30 c 33554432 ~x953411+16777216 ~x953410+8388608 ~x953409+4194304 ~x953408+2097152 ~x953407+1048576 ~x953406+524288 ~x953405+262144 ~x953404+131072 ~x953403+65536 ~x953402+32768 ~x953401+16384 ~x953400+8192 ~x953399+4096 ~x953398+2048 ~x953397+1024 ~x953396+512 ~x953395+256 ~x953394+128 ~x953393+64 ~x953392+32 ~x953391+16 ~x953390+8 ~x953389+4 ~x953388+2 ~x953387+1 ~x953386+33554432 ~x5427+16777216 ~x5426+8388608 ~x5425+4194304 ~x5424+2097152 ~x5423+1048576 ~x5422+524288 ~x5421+262144 ~x5420+131072 ~x5419+65536 ~x5418+32768 ~x5417+16384 ~x5416+8192 ~x5415+4096 ~x5414+2048 ~x5413+1024 ~x5412+512 ~x5411+256 ~x5410+128 ~x5409+64 ~x5408+32 ~x5407+16 ~x5406+8 ~x5405+4 ~x5404+2 ~x5403+1 ~x5402-0=116850686 28.58/28.62 c 33554432 ~x967091+16777216 ~x967090+8388608 ~x967089+4194304 ~x967088+2097152 ~x967087+1048576 ~x967086+524288 ~x967085+262144 ~x967084+131072 ~x967083+65536 ~x967082+32768 ~x967081+16384 ~x967080+8192 ~x967079+4096 ~x967078+2048 ~x967077+1024 ~x967076+512 ~x967075+256 ~x967074+128 ~x967073+64 ~x967072+32 ~x967071+16 ~x967070+8 ~x967069+4 ~x967068+2 ~x967067+1 ~x967066+33554432 ~x5277+16777216 ~x5276+8388608 ~x5275+4194304 ~x5274+2097152 ~x5273+1048576 ~x5272+524288 ~x5271+262144 ~x5270+131072 ~x5269+65536 ~x5268+32768 ~x5267+16384 ~x5266+8192 ~x5265+4096 ~x5264+2048 ~x5263+1024 ~x5262+512 ~x5261+256 ~x5260+128 ~x5259+64 ~x5258+32 ~x5257+16 ~x5256+8 ~x5255+4 ~x5254+2 ~x5253+1 ~x5252-0=116850686 28.87/28.94 c 33554432 ~x980771+16777216 ~x980770+8388608 ~x980769+4194304 ~x980768+2097152 ~x980767+1048576 ~x980766+524288 ~x980765+262144 ~x980764+131072 ~x980763+65536 ~x980762+32768 ~x980761+16384 ~x980760+8192 ~x980759+4096 ~x980758+2048 ~x980757+1024 ~x980756+512 ~x980755+256 ~x980754+128 ~x980753+64 ~x980752+32 ~x980751+16 ~x980750+8 ~x980749+4 ~x980748+2 ~x980747+1 ~x980746+33554432 ~x5307+16777216 ~x5306+8388608 ~x5305+4194304 ~x5304+2097152 ~x5303+1048576 ~x5302+524288 ~x5301+262144 ~x5300+131072 ~x5299+65536 ~x5298+32768 ~x5297+16384 ~x5296+8192 ~x5295+4096 ~x5294+2048 ~x5293+1024 ~x5292+512 ~x5291+256 ~x5290+128 ~x5289+64 ~x5288+32 ~x5287+16 ~x5286+8 ~x5285+4 ~x5284+2 ~x5283+1 ~x5282-0=116850686 29.18/29.26 c 33554432 ~x994451+16777216 ~x994450+8388608 ~x994449+4194304 ~x994448+2097152 ~x994447+1048576 ~x994446+524288 ~x994445+262144 ~x994444+131072 ~x994443+65536 ~x994442+32768 ~x994441+16384 ~x994440+8192 ~x994439+4096 ~x994438+2048 ~x994437+1024 ~x994436+512 ~x994435+256 ~x994434+128 ~x994433+64 ~x994432+32 ~x994431+16 ~x994430+8 ~x994429+4 ~x994428+2 ~x994427+1 ~x994426+33554432 ~x5517+16777216 ~x5516+8388608 ~x5515+4194304 ~x5514+2097152 ~x5513+1048576 ~x5512+524288 ~x5511+262144 ~x5510+131072 ~x5509+65536 ~x5508+32768 ~x5507+16384 ~x5506+8192 ~x5505+4096 ~x5504+2048 ~x5503+1024 ~x5502+512 ~x5501+256 ~x5500+128 ~x5499+64 ~x5498+32 ~x5497+16 ~x5496+8 ~x5495+4 ~x5494+2 ~x5493+1 ~x5492-0=116850686 29.47/29.59 c 33554432 ~x1008131+16777216 ~x1008130+8388608 ~x1008129+4194304 ~x1008128+2097152 ~x1008127+1048576 ~x1008126+524288 ~x1008125+262144 ~x1008124+131072 ~x1008123+65536 ~x1008122+32768 ~x1008121+16384 ~x1008120+8192 ~x1008119+4096 ~x1008118+2048 ~x1008117+1024 ~x1008116+512 ~x1008115+256 ~x1008114+128 ~x1008113+64 ~x1008112+32 ~x1008111+16 ~x1008110+8 ~x1008109+4 ~x1008108+2 ~x1008107+1 ~x1008106+33554432 ~x5548+16777216 ~x5547+8388608 ~x5546+4194304 ~x5545+2097152 ~x5544+1048576 ~x5543+524288 ~x5542+262144 ~x5541+131072 ~x5540+65536 ~x5539+32768 ~x5538+16384 ~x5537+8192 ~x5536+4096 ~x5535+2048 ~x5534+1024 ~x5533+512 ~x5532+256 ~x5531+128 ~x5530+64 ~x5529+32 ~x5528+16 ~x5527+8 ~x5526+4 ~x5525+2 ~x5524+1 ~x5523-0=116850686 29.88/29.91 c 33554432 ~x1021811+16777216 ~x1021810+8388608 ~x1021809+4194304 ~x1021808+2097152 ~x1021807+1048576 ~x1021806+524288 ~x1021805+262144 ~x1021804+131072 ~x1021803+65536 ~x1021802+32768 ~x1021801+16384 ~x1021800+8192 ~x1021799+4096 ~x1021798+2048 ~x1021797+1024 ~x1021796+512 ~x1021795+256 ~x1021794+128 ~x1021793+64 ~x1021792+32 ~x1021791+16 ~x1021790+8 ~x1021789+4 ~x1021788+2 ~x1021787+1 ~x1021786+33554432 ~x5578+16777216 ~x5577+8388608 ~x5576+4194304 ~x5575+2097152 ~x5574+1048576 ~x5573+524288 ~x5572+262144 ~x5571+131072 ~x5570+65536 ~x5569+32768 ~x5568+16384 ~x5567+8192 ~x5566+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=116850686 30.18/30.22 c 33554432 ~x1035491+16777216 ~x1035490+8388608 ~x1035489+4194304 ~x1035488+2097152 ~x1035487+1048576 ~x1035486+524288 ~x1035485+262144 ~x1035484+131072 ~x1035483+65536 ~x1035482+32768 ~x1035481+16384 ~x1035480+8192 ~x1035479+4096 ~x1035478+2048 ~x1035477+1024 ~x1035476+512 ~x1035475+256 ~x1035474+128 ~x1035473+64 ~x1035472+32 ~x1035471+16 ~x1035470+8 ~x1035469+4 ~x1035468+2 ~x1035467+1 ~x1035466+33554432 ~x5608+16777216 ~x5607+8388608 ~x5606+4194304 ~x5605+2097152 ~x5604+1048576 ~x5603+524288 ~x5602+262144 ~x5601+131072 ~x5600+65536 ~x5599+32768 ~x5598+16384 ~x5597+8192 ~x5596+4096 ~x5595+2048 ~x5594+1024 ~x5593+512 ~x5592+256 ~x5591+128 ~x5590+64 ~x5589+32 ~x5588+16 ~x5587+8 ~x5586+4 ~x5585+2 ~x5584+1 ~x5583-0=116850686 30.48/30.54 c 33554432 ~x1049171+16777216 ~x1049170+8388608 ~x1049169+4194304 ~x1049168+2097152 ~x1049167+1048576 ~x1049166+524288 ~x1049165+262144 ~x1049164+131072 ~x1049163+65536 ~x1049162+32768 ~x1049161+16384 ~x1049160+8192 ~x1049159+4096 ~x1049158+2048 ~x1049157+1024 ~x1049156+512 ~x1049155+256 ~x1049154+128 ~x1049153+64 ~x1049152+32 ~x1049151+16 ~x1049150+8 ~x1049149+4 ~x1049148+2 ~x1049147+1 ~x1049146+33554432 ~x5457+16777216 ~x5456+8388608 ~x5455+4194304 ~x5454+2097152 ~x5453+1048576 ~x5452+524288 ~x5451+262144 ~x5450+131072 ~x5449+65536 ~x5448+32768 ~x5447+16384 ~x5446+8192 ~x5445+4096 ~x5444+2048 ~x5443+1024 ~x5442+512 ~x5441+256 ~x5440+128 ~x5439+64 ~x5438+32 ~x5437+16 ~x5436+8 ~x5435+4 ~x5434+2 ~x5433+1 ~x5432-0=116850686 30.78/30.86 c 33554432 ~x1062851+16777216 ~x1062850+8388608 ~x1062849+4194304 ~x1062848+2097152 ~x1062847+1048576 ~x1062846+524288 ~x1062845+262144 ~x1062844+131072 ~x1062843+65536 ~x1062842+32768 ~x1062841+16384 ~x1062840+8192 ~x1062839+4096 ~x1062838+2048 ~x1062837+1024 ~x1062836+512 ~x1062835+256 ~x1062834+128 ~x1062833+64 ~x1062832+32 ~x1062831+16 ~x1062830+8 ~x1062829+4 ~x1062828+2 ~x1062827+1 ~x1062826+33554432 ~x5487+16777216 ~x5486+8388608 ~x5485+4194304 ~x5484+2097152 ~x5483+1048576 ~x5482+524288 ~x5481+262144 ~x5480+131072 ~x5479+65536 ~x5478+32768 ~x5477+16384 ~x5476+8192 ~x5475+4096 ~x5474+2048 ~x5473+1024 ~x5472+512 ~x5471+256 ~x5470+128 ~x5469+64 ~x5468+32 ~x5467+16 ~x5466+8 ~x5465+4 ~x5464+2 ~x5463+1 ~x5462-0=116850686 31.08/31.17 c 33554432 ~x1076531+16777216 ~x1076530+8388608 ~x1076529+4194304 ~x1076528+2097152 ~x1076527+1048576 ~x1076526+524288 ~x1076525+262144 ~x1076524+131072 ~x1076523+65536 ~x1076522+32768 ~x1076521+16384 ~x1076520+8192 ~x1076519+4096 ~x1076518+2048 ~x1076517+1024 ~x1076516+512 ~x1076515+256 ~x1076514+128 ~x1076513+64 ~x1076512+32 ~x1076511+16 ~x1076510+8 ~x1076509+4 ~x1076508+2 ~x1076507+1 ~x1076506+33554432 ~x5698+16777216 ~x5697+8388608 ~x5696+4194304 ~x5695+2097152 ~x5694+1048576 ~x5693+524288 ~x5692+262144 ~x5691+131072 ~x5690+65536 ~x5689+32768 ~x5688+16384 ~x5687+8192 ~x5686+4096 ~x5685+2048 ~x5684+1024 ~x5683+512 ~x5682+256 ~x5681+128 ~x5680+64 ~x5679+32 ~x5678+16 ~x5677+8 ~x5676+4 ~x5675+2 ~x5674+1 ~x5673-0=116850686 31.38/31.49 c 33554432 ~x1090211+16777216 ~x1090210+8388608 ~x1090209+4194304 ~x1090208+2097152 ~x1090207+1048576 ~x1090206+524288 ~x1090205+262144 ~x1090204+131072 ~x1090203+65536 ~x1090202+32768 ~x1090201+16384 ~x1090200+8192 ~x1090199+4096 ~x1090198+2048 ~x1090197+1024 ~x1090196+512 ~x1090195+256 ~x1090194+128 ~x1090193+64 ~x1090192+32 ~x1090191+16 ~x1090190+8 ~x1090189+4 ~x1090188+2 ~x1090187+1 ~x1090186+33554432 ~x5728+16777216 ~x5727+8388608 ~x5726+4194304 ~x5725+2097152 ~x5724+1048576 ~x5723+524288 ~x5722+262144 ~x5721+131072 ~x5720+65536 ~x5719+32768 ~x5718+16384 ~x5717+8192 ~x5716+4096 ~x5715+2048 ~x5714+1024 ~x5713+512 ~x5712+256 ~x5711+128 ~x5710+64 ~x5709+32 ~x5708+16 ~x5707+8 ~x5706+4 ~x5705+2 ~x5704+1 ~x5703-0=116850686 31.79/31.81 c 33554432 ~x1103891+16777216 ~x1103890+8388608 ~x1103889+4194304 ~x1103888+2097152 ~x1103887+1048576 ~x1103886+524288 ~x1103885+262144 ~x1103884+131072 ~x1103883+65536 ~x1103882+32768 ~x1103881+16384 ~x1103880+8192 ~x1103879+4096 ~x1103878+2048 ~x1103877+1024 ~x1103876+512 ~x1103875+256 ~x1103874+128 ~x1103873+64 ~x1103872+32 ~x1103871+16 ~x1103870+8 ~x1103869+4 ~x1103868+2 ~x1103867+1 ~x1103866+33554432 ~x5758+16777216 ~x5757+8388608 ~x5756+4194304 ~x5755+2097152 ~x5754+1048576 ~x5753+524288 ~x5752+262144 ~x5751+131072 ~x5750+65536 ~x5749+32768 ~x5748+16384 ~x5747+8192 ~x5746+4096 ~x5745+2048 ~x5744+1024 ~x5743+512 ~x5742+256 ~x5741+128 ~x5740+64 ~x5739+32 ~x5738+16 ~x5737+8 ~x5736+4 ~x5735+2 ~x5734+1 ~x5733-0=116850686 32.07/32.13 c 33554432 ~x1117571+16777216 ~x1117570+8388608 ~x1117569+4194304 ~x1117568+2097152 ~x1117567+1048576 ~x1117566+524288 ~x1117565+262144 ~x1117564+131072 ~x1117563+65536 ~x1117562+32768 ~x1117561+16384 ~x1117560+8192 ~x1117559+4096 ~x1117558+2048 ~x1117557+1024 ~x1117556+512 ~x1117555+256 ~x1117554+128 ~x1117553+64 ~x1117552+32 ~x1117551+16 ~x1117550+8 ~x1117549+4 ~x1117548+2 ~x1117547+1 ~x1117546+33554432 ~x5788+16777216 ~x5787+8388608 ~x5786+4194304 ~x5785+2097152 ~x5784+1048576 ~x5783+524288 ~x5782+262144 ~x5781+131072 ~x5780+65536 ~x5779+32768 ~x5778+16384 ~x5777+8192 ~x5776+4096 ~x5775+2048 ~x5774+1024 ~x5773+512 ~x5772+256 ~x5771+128 ~x5770+64 ~x5769+32 ~x5768+16 ~x5767+8 ~x5766+4 ~x5765+2 ~x5764+1 ~x5763-0=116850686 32.37/32.44 c 33554432 ~x1131251+16777216 ~x1131250+8388608 ~x1131249+4194304 ~x1131248+2097152 ~x1131247+1048576 ~x1131246+524288 ~x1131245+262144 ~x1131244+131072 ~x1131243+65536 ~x1131242+32768 ~x1131241+16384 ~x1131240+8192 ~x1131239+4096 ~x1131238+2048 ~x1131237+1024 ~x1131236+512 ~x1131235+256 ~x1131234+128 ~x1131233+64 ~x1131232+32 ~x1131231+16 ~x1131230+8 ~x1131229+4 ~x1131228+2 ~x1131227+1 ~x1131226+33554432 ~x5638+16777216 ~x5637+8388608 ~x5636+4194304 ~x5635+2097152 ~x5634+1048576 ~x5633+524288 ~x5632+262144 ~x5631+131072 ~x5630+65536 ~x5629+32768 ~x5628+16384 ~x5627+8192 ~x5626+4096 ~x5625+2048 ~x5624+1024 ~x5623+512 ~x5622+256 ~x5621+128 ~x5620+64 ~x5619+32 ~x5618+16 ~x5617+8 ~x5616+4 ~x5615+2 ~x5614+1 ~x5613-0=116850686 32.67/32.76 c 33554432 ~x1144931+16777216 ~x1144930+8388608 ~x1144929+4194304 ~x1144928+2097152 ~x1144927+1048576 ~x1144926+524288 ~x1144925+262144 ~x1144924+131072 ~x1144923+65536 ~x1144922+32768 ~x1144921+16384 ~x1144920+8192 ~x1144919+4096 ~x1144918+2048 ~x1144917+1024 ~x1144916+512 ~x1144915+256 ~x1144914+128 ~x1144913+64 ~x1144912+32 ~x1144911+16 ~x1144910+8 ~x1144909+4 ~x1144908+2 ~x1144907+1 ~x1144906+33554432 ~x5668+16777216 ~x5667+8388608 ~x5666+4194304 ~x5665+2097152 ~x5664+1048576 ~x5663+524288 ~x5662+262144 ~x5661+131072 ~x5660+65536 ~x5659+32768 ~x5658+16384 ~x5657+8192 ~x5656+4096 ~x5655+2048 ~x5654+1024 ~x5653+512 ~x5652+256 ~x5651+128 ~x5650+64 ~x5649+32 ~x5648+16 ~x5647+8 ~x5646+4 ~x5645+2 ~x5644+1 ~x5643-0=116850686 32.98/33.08 c 33554432 ~x1158611+16777216 ~x1158610+8388608 ~x1158609+4194304 ~x1158608+2097152 ~x1158607+1048576 ~x1158606+524288 ~x1158605+262144 ~x1158604+131072 ~x1158603+65536 ~x1158602+32768 ~x1158601+16384 ~x1158600+8192 ~x1158599+4096 ~x1158598+2048 ~x1158597+1024 ~x1158596+512 ~x1158595+256 ~x1158594+128 ~x1158593+64 ~x1158592+32 ~x1158591+16 ~x1158590+8 ~x1158589+4 ~x1158588+2 ~x1158587+1 ~x1158586+33554432 ~x5879+16777216 ~x5878+8388608 ~x5877+4194304 ~x5876+2097152 ~x5875+1048576 ~x5874+524288 ~x5873+262144 ~x5872+131072 ~x5871+65536 ~x5870+32768 ~x5869+16384 ~x5868+8192 ~x5867+4096 ~x5866+2048 ~x5865+1024 ~x5864+512 ~x5863+256 ~x5862+128 ~x5861+64 ~x5860+32 ~x5859+16 ~x5858+8 ~x5857+4 ~x5856+2 ~x5855+1 ~x5854-0=116850686 33.27/33.40 c 33554432 ~x1172291+16777216 ~x1172290+8388608 ~x1172289+4194304 ~x1172288+2097152 ~x1172287+1048576 ~x1172286+524288 ~x1172285+262144 ~x1172284+131072 ~x1172283+65536 ~x1172282+32768 ~x1172281+16384 ~x1172280+8192 ~x1172279+4096 ~x1172278+2048 ~x1172277+1024 ~x1172276+512 ~x1172275+256 ~x1172274+128 ~x1172273+64 ~x1172272+32 ~x1172271+16 ~x1172270+8 ~x1172269+4 ~x1172268+2 ~x1172267+1 ~x1172266+33554432 ~x5909+16777216 ~x5908+8388608 ~x5907+4194304 ~x5906+2097152 ~x5905+1048576 ~x5904+524288 ~x5903+262144 ~x5902+131072 ~x5901+65536 ~x5900+32768 ~x5899+16384 ~x5898+8192 ~x5897+4096 ~x5896+2048 ~x5895+1024 ~x5894+512 ~x5893+256 ~x5892+128 ~x5891+64 ~x5890+32 ~x5889+16 ~x5888+8 ~x5887+4 ~x5886+2 ~x5885+1 ~x5884-0=116850686 33.67/33.72 c 33554432 ~x1185971+16777216 ~x1185970+8388608 ~x1185969+4194304 ~x1185968+2097152 ~x1185967+1048576 ~x1185966+524288 ~x1185965+262144 ~x1185964+131072 ~x1185963+65536 ~x1185962+32768 ~x1185961+16384 ~x1185960+8192 ~x1185959+4096 ~x1185958+2048 ~x1185957+1024 ~x1185956+512 ~x1185955+256 ~x1185954+128 ~x1185953+64 ~x1185952+32 ~x1185951+16 ~x1185950+8 ~x1185949+4 ~x1185948+2 ~x1185947+1 ~x1185946+33554432 ~x5939+16777216 ~x5938+8388608 ~x5937+4194304 ~x5936+2097152 ~x5935+1048576 ~x5934+524288 ~x5933+262144 ~x5932+131072 ~x5931+65536 ~x5930+32768 ~x5929+16384 ~x5928+8192 ~x5927+4096 ~x5926+2048 ~x5925+1024 ~x5924+512 ~x5923+256 ~x5922+128 ~x5921+64 ~x5920+32 ~x5919+16 ~x5918+8 ~x5917+4 ~x5916+2 ~x5915+1 ~x5914-0=116850686 33.98/34.03 c 33554432 ~x1199651+16777216 ~x1199650+8388608 ~x1199649+4194304 ~x1199648+2097152 ~x1199647+1048576 ~x1199646+524288 ~x1199645+262144 ~x1199644+131072 ~x1199643+65536 ~x1199642+32768 ~x1199641+16384 ~x1199640+8192 ~x1199639+4096 ~x1199638+2048 ~x1199637+1024 ~x1199636+512 ~x1199635+256 ~x1199634+128 ~x1199633+64 ~x1199632+32 ~x1199631+16 ~x1199630+8 ~x1199629+4 ~x1199628+2 ~x1199627+1 ~x1199626+33554432 ~x5969+16777216 ~x5968+8388608 ~x5967+4194304 ~x5966+2097152 ~x5965+1048576 ~x5964+524288 ~x5963+262144 ~x5962+131072 ~x5961+65536 ~x5960+32768 ~x5959+16384 ~x5958+8192 ~x5957+4096 ~x5956+2048 ~x5955+1024 ~x5954+512 ~x5953+256 ~x5952+128 ~x5951+64 ~x5950+32 ~x5949+16 ~x5948+8 ~x5947+4 ~x5946+2 ~x5945+1 ~x5944-0=116850686 34.28/34.35 c 33554432 ~x1213331+16777216 ~x1213330+8388608 ~x1213329+4194304 ~x1213328+2097152 ~x1213327+1048576 ~x1213326+524288 ~x1213325+262144 ~x1213324+131072 ~x1213323+65536 ~x1213322+32768 ~x1213321+16384 ~x1213320+8192 ~x1213319+4096 ~x1213318+2048 ~x1213317+1024 ~x1213316+512 ~x1213315+256 ~x1213314+128 ~x1213313+64 ~x1213312+32 ~x1213311+16 ~x1213310+8 ~x1213309+4 ~x1213308+2 ~x1213307+1 ~x1213306+33554432 ~x5818+16777216 ~x5817+8388608 ~x5816+4194304 ~x5815+2097152 ~x5814+1048576 ~x5813+524288 ~x5812+262144 ~x5811+131072 ~x5810+65536 ~x5809+32768 ~x5808+16384 ~x5807+8192 ~x5806+4096 ~x5805+2048 ~x5804+1024 ~x5803+512 ~x5802+256 ~x5801+128 ~x5800+64 ~x5799+32 ~x5798+16 ~x5797+8 ~x5796+4 ~x5795+2 ~x5794+1 ~x5793-0=116850686 34.58/34.67 c 33554432 ~x1227011+16777216 ~x1227010+8388608 ~x1227009+4194304 ~x1227008+2097152 ~x1227007+1048576 ~x1227006+524288 ~x1227005+262144 ~x1227004+131072 ~x1227003+65536 ~x1227002+32768 ~x1227001+16384 ~x1227000+8192 ~x1226999+4096 ~x1226998+2048 ~x1226997+1024 ~x1226996+512 ~x1226995+256 ~x1226994+128 ~x1226993+64 ~x1226992+32 ~x1226991+16 ~x1226990+8 ~x1226989+4 ~x1226988+2 ~x1226987+1 ~x1226986+33554432 ~x5849+16777216 ~x5848+8388608 ~x5847+4194304 ~x5846+2097152 ~x5845+1048576 ~x5844+524288 ~x5843+262144 ~x5842+131072 ~x5841+65536 ~x5840+32768 ~x5839+16384 ~x5838+8192 ~x5837+4096 ~x5836+2048 ~x5835+1024 ~x5834+512 ~x5833+256 ~x5832+128 ~x5831+64 ~x5830+32 ~x5829+16 ~x5828+8 ~x5827+4 ~x5826+2 ~x5825+1 ~x5824-0=116850686 34.88/34.99 c 33554432 ~x1240691+16777216 ~x1240690+8388608 ~x1240689+4194304 ~x1240688+2097152 ~x1240687+1048576 ~x1240686+524288 ~x1240685+262144 ~x1240684+131072 ~x1240683+65536 ~x1240682+32768 ~x1240681+16384 ~x1240680+8192 ~x1240679+4096 ~x1240678+2048 ~x1240677+1024 ~x1240676+512 ~x1240675+256 ~x1240674+128 ~x1240673+64 ~x1240672+32 ~x1240671+16 ~x1240670+8 ~x1240669+4 ~x1240668+2 ~x1240667+1 ~x1240666+33554432 ~x6059+16777216 ~x6058+8388608 ~x6057+4194304 ~x6056+2097152 ~x6055+1048576 ~x6054+524288 ~x6053+262144 ~x6052+131072 ~x6051+65536 ~x6050+32768 ~x6049+16384 ~x6048+8192 ~x6047+4096 ~x6046+2048 ~x6045+1024 ~x6044+512 ~x6043+256 ~x6042+128 ~x6041+64 ~x6040+32 ~x6039+16 ~x6038+8 ~x6037+4 ~x6036+2 ~x6035+1 ~x6034-0=116850686 35.28/35.32 c 33554432 ~x1254371+16777216 ~x1254370+8388608 ~x1254369+4194304 ~x1254368+2097152 ~x1254367+1048576 ~x1254366+524288 ~x1254365+262144 ~x1254364+131072 ~x1254363+65536 ~x1254362+32768 ~x1254361+16384 ~x1254360+8192 ~x1254359+4096 ~x1254358+2048 ~x1254357+1024 ~x1254356+512 ~x1254355+256 ~x1254354+128 ~x1254353+64 ~x1254352+32 ~x1254351+16 ~x1254350+8 ~x1254349+4 ~x1254348+2 ~x1254347+1 ~x1254346+33554432 ~x6089+16777216 ~x6088+8388608 ~x6087+4194304 ~x6086+2097152 ~x6085+1048576 ~x6084+524288 ~x6083+262144 ~x6082+131072 ~x6081+65536 ~x6080+32768 ~x6079+16384 ~x6078+8192 ~x6077+4096 ~x6076+2048 ~x6075+1024 ~x6074+512 ~x6073+256 ~x6072+128 ~x6071+64 ~x6070+32 ~x6069+16 ~x6068+8 ~x6067+4 ~x6066+2 ~x6065+1 ~x6064-0=116850686 35.57/35.64 c 33554432 ~x1268051+16777216 ~x1268050+8388608 ~x1268049+4194304 ~x1268048+2097152 ~x1268047+1048576 ~x1268046+524288 ~x1268045+262144 ~x1268044+131072 ~x1268043+65536 ~x1268042+32768 ~x1268041+16384 ~x1268040+8192 ~x1268039+4096 ~x1268038+2048 ~x1268037+1024 ~x1268036+512 ~x1268035+256 ~x1268034+128 ~x1268033+64 ~x1268032+32 ~x1268031+16 ~x1268030+8 ~x1268029+4 ~x1268028+2 ~x1268027+1 ~x1268026+33554432 ~x6119+16777216 ~x6118+8388608 ~x6117+4194304 ~x6116+2097152 ~x6115+1048576 ~x6114+524288 ~x6113+262144 ~x6112+131072 ~x6111+65536 ~x6110+32768 ~x6109+16384 ~x6108+8192 ~x6107+4096 ~x6106+2048 ~x6105+1024 ~x6104+512 ~x6103+256 ~x6102+128 ~x6101+64 ~x6100+32 ~x6099+16 ~x6098+8 ~x6097+4 ~x6096+2 ~x6095+1 ~x6094-0=116850686 35.88/35.96 c 33554432 ~x1281731+16777216 ~x1281730+8388608 ~x1281729+4194304 ~x1281728+2097152 ~x1281727+1048576 ~x1281726+524288 ~x1281725+262144 ~x1281724+131072 ~x1281723+65536 ~x1281722+32768 ~x1281721+16384 ~x1281720+8192 ~x1281719+4096 ~x1281718+2048 ~x1281717+1024 ~x1281716+512 ~x1281715+256 ~x1281714+128 ~x1281713+64 ~x1281712+32 ~x1281711+16 ~x1281710+8 ~x1281709+4 ~x1281708+2 ~x1281707+1 ~x1281706+33554432 ~x6150+16777216 ~x6149+8388608 ~x6148+4194304 ~x6147+2097152 ~x6146+1048576 ~x6145+524288 ~x6144+262144 ~x6143+131072 ~x6142+65536 ~x6141+32768 ~x6140+16384 ~x6139+8192 ~x6138+4096 ~x6137+2048 ~x6136+1024 ~x6135+512 ~x6134+256 ~x6133+128 ~x6132+64 ~x6131+32 ~x6130+16 ~x6129+8 ~x6128+4 ~x6127+2 ~x6126+1 ~x6125-0=116850686 36.18/36.27 c 33554432 ~x1295411+16777216 ~x1295410+8388608 ~x1295409+4194304 ~x1295408+2097152 ~x1295407+1048576 ~x1295406+524288 ~x1295405+262144 ~x1295404+131072 ~x1295403+65536 ~x1295402+32768 ~x1295401+16384 ~x1295400+8192 ~x1295399+4096 ~x1295398+2048 ~x1295397+1024 ~x1295396+512 ~x1295395+256 ~x1295394+128 ~x1295393+64 ~x1295392+32 ~x1295391+16 ~x1295390+8 ~x1295389+4 ~x1295388+2 ~x1295387+1 ~x1295386+33554432 ~x5999+16777216 ~x5998+8388608 ~x5997+4194304 ~x5996+2097152 ~x5995+1048576 ~x5994+524288 ~x5993+262144 ~x5992+131072 ~x5991+65536 ~x5990+32768 ~x5989+16384 ~x5988+8192 ~x5987+4096 ~x5986+2048 ~x5985+1024 ~x5984+512 ~x5983+256 ~x5982+128 ~x5981+64 ~x5980+32 ~x5979+16 ~x5978+8 ~x5977+4 ~x5976+2 ~x5975+1 ~x5974-0=116850686 36.47/36.59 c 33554432 ~x1309091+16777216 ~x1309090+8388608 ~x1309089+4194304 ~x1309088+2097152 ~x1309087+1048576 ~x1309086+524288 ~x1309085+262144 ~x1309084+131072 ~x1309083+65536 ~x1309082+32768 ~x1309081+16384 ~x1309080+8192 ~x1309079+4096 ~x1309078+2048 ~x1309077+1024 ~x1309076+512 ~x1309075+256 ~x1309074+128 ~x1309073+64 ~x1309072+32 ~x1309071+16 ~x1309070+8 ~x1309069+4 ~x1309068+2 ~x1309067+1 ~x1309066+33554432 ~x6029+16777216 ~x6028+8388608 ~x6027+4194304 ~x6026+2097152 ~x6025+1048576 ~x6024+524288 ~x6023+262144 ~x6022+131072 ~x6021+65536 ~x6020+32768 ~x6019+16384 ~x6018+8192 ~x6017+4096 ~x6016+2048 ~x6015+1024 ~x6014+512 ~x6013+256 ~x6012+128 ~x6011+64 ~x6010+32 ~x6009+16 ~x6008+8 ~x6007+4 ~x6006+2 ~x6005+1 ~x6004-0=116850686 36.87/36.90 c 33554432 ~x1322771+16777216 ~x1322770+8388608 ~x1322769+4194304 ~x1322768+2097152 ~x1322767+1048576 ~x1322766+524288 ~x1322765+262144 ~x1322764+131072 ~x1322763+65536 ~x1322762+32768 ~x1322761+16384 ~x1322760+8192 ~x1322759+4096 ~x1322758+2048 ~x1322757+1024 ~x1322756+512 ~x1322755+256 ~x1322754+128 ~x1322753+64 ~x1322752+32 ~x1322751+16 ~x1322750+8 ~x1322749+4 ~x1322748+2 ~x1322747+1 ~x1322746+33554432 ~x6240+16777216 ~x6239+8388608 ~x6238+4194304 ~x6237+2097152 ~x6236+1048576 ~x6235+524288 ~x6234+262144 ~x6233+131072 ~x6232+65536 ~x6231+32768 ~x6230+16384 ~x6229+8192 ~x6228+4096 ~x6227+2048 ~x6226+1024 ~x6225+512 ~x6224+256 ~x6223+128 ~x6222+64 ~x6221+32 ~x6220+16 ~x6219+8 ~x6218+4 ~x6217+2 ~x6216+1 ~x6215-0=116850686 37.18/37.22 c 33554432 ~x1336451+16777216 ~x1336450+8388608 ~x1336449+4194304 ~x1336448+2097152 ~x1336447+1048576 ~x1336446+524288 ~x1336445+262144 ~x1336444+131072 ~x1336443+65536 ~x1336442+32768 ~x1336441+16384 ~x1336440+8192 ~x1336439+4096 ~x1336438+2048 ~x1336437+1024 ~x1336436+512 ~x1336435+256 ~x1336434+128 ~x1336433+64 ~x1336432+32 ~x1336431+16 ~x1336430+8 ~x1336429+4 ~x1336428+2 ~x1336427+1 ~x1336426+33554432 ~x6270+16777216 ~x6269+8388608 ~x6268+4194304 ~x6267+2097152 ~x6266+1048576 ~x6265+524288 ~x6264+262144 ~x6263+131072 ~x6262+65536 ~x6261+32768 ~x6260+16384 ~x6259+8192 ~x6258+4096 ~x6257+2048 ~x6256+1024 ~x6255+512 ~x6254+256 ~x6253+128 ~x6252+64 ~x6251+32 ~x6250+16 ~x6249+8 ~x6248+4 ~x6247+2 ~x6246+1 ~x6245-0=116850686 37.47/37.54 c 33554432 ~x1350131+16777216 ~x1350130+8388608 ~x1350129+4194304 ~x1350128+2097152 ~x1350127+1048576 ~x1350126+524288 ~x1350125+262144 ~x1350124+131072 ~x1350123+65536 ~x1350122+32768 ~x1350121+16384 ~x1350120+8192 ~x1350119+4096 ~x1350118+2048 ~x1350117+1024 ~x1350116+512 ~x1350115+256 ~x1350114+128 ~x1350113+64 ~x1350112+32 ~x1350111+16 ~x1350110+8 ~x1350109+4 ~x1350108+2 ~x1350107+1 ~x1350106+33554432 ~x6300+16777216 ~x6299+8388608 ~x6298+4194304 ~x6297+2097152 ~x6296+1048576 ~x6295+524288 ~x6294+262144 ~x6293+131072 ~x6292+65536 ~x6291+32768 ~x6290+16384 ~x6289+8192 ~x6288+4096 ~x6287+2048 ~x6286+1024 ~x6285+512 ~x6284+256 ~x6283+128 ~x6282+64 ~x6281+32 ~x6280+16 ~x6279+8 ~x6278+4 ~x6277+2 ~x6276+1 ~x6275-0=116850686 37.78/37.86 c 33554432 ~x1363811+16777216 ~x1363810+8388608 ~x1363809+4194304 ~x1363808+2097152 ~x1363807+1048576 ~x1363806+524288 ~x1363805+262144 ~x1363804+131072 ~x1363803+65536 ~x1363802+32768 ~x1363801+16384 ~x1363800+8192 ~x1363799+4096 ~x1363798+2048 ~x1363797+1024 ~x1363796+512 ~x1363795+256 ~x1363794+128 ~x1363793+64 ~x1363792+32 ~x1363791+16 ~x1363790+8 ~x1363789+4 ~x1363788+2 ~x1363787+1 ~x1363786+33554432 ~x6330+16777216 ~x6329+8388608 ~x6328+4194304 ~x6327+2097152 ~x6326+1048576 ~x6325+524288 ~x6324+262144 ~x6323+131072 ~x6322+65536 ~x6321+32768 ~x6320+16384 ~x6319+8192 ~x6318+4096 ~x6317+2048 ~x6316+1024 ~x6315+512 ~x6314+256 ~x6313+128 ~x6312+64 ~x6311+32 ~x6310+16 ~x6309+8 ~x6308+4 ~x6307+2 ~x6306+1 ~x6305-0=116850686 38.07/38.17 c 33554432 ~x1377491+16777216 ~x1377490+8388608 ~x1377489+4194304 ~x1377488+2097152 ~x1377487+1048576 ~x1377486+524288 ~x1377485+262144 ~x1377484+131072 ~x1377483+65536 ~x1377482+32768 ~x1377481+16384 ~x1377480+8192 ~x1377479+4096 ~x1377478+2048 ~x1377477+1024 ~x1377476+512 ~x1377475+256 ~x1377474+128 ~x1377473+64 ~x1377472+32 ~x1377471+16 ~x1377470+8 ~x1377469+4 ~x1377468+2 ~x1377467+1 ~x1377466+33554432 ~x6180+16777216 ~x6179+8388608 ~x6178+4194304 ~x6177+2097152 ~x6176+1048576 ~x6175+524288 ~x6174+262144 ~x6173+131072 ~x6172+65536 ~x6171+32768 ~x6170+16384 ~x6169+8192 ~x6168+4096 ~x6167+2048 ~x6166+1024 ~x6165+512 ~x6164+256 ~x6163+128 ~x6162+64 ~x6161+32 ~x6160+16 ~x6159+8 ~x6158+4 ~x6157+2 ~x6156+1 ~x6155-0=116850686 38.38/38.49 c 33554432 ~x1391171+16777216 ~x1391170+8388608 ~x1391169+4194304 ~x1391168+2097152 ~x1391167+1048576 ~x1391166+524288 ~x1391165+262144 ~x1391164+131072 ~x1391163+65536 ~x1391162+32768 ~x1391161+16384 ~x1391160+8192 ~x1391159+4096 ~x1391158+2048 ~x1391157+1024 ~x1391156+512 ~x1391155+256 ~x1391154+128 ~x1391153+64 ~x1391152+32 ~x1391151+16 ~x1391150+8 ~x1391149+4 ~x1391148+2 ~x1391147+1 ~x1391146+33554432 ~x6210+16777216 ~x6209+8388608 ~x6208+4194304 ~x6207+2097152 ~x6206+1048576 ~x6205+524288 ~x6204+262144 ~x6203+131072 ~x6202+65536 ~x6201+32768 ~x6200+16384 ~x6199+8192 ~x6198+4096 ~x6197+2048 ~x6196+1024 ~x6195+512 ~x6194+256 ~x6193+128 ~x6192+64 ~x6191+32 ~x6190+16 ~x6189+8 ~x6188+4 ~x6187+2 ~x6186+1 ~x6185-0=116850686 38.78/38.81 c 33554432 ~x1404851+16777216 ~x1404850+8388608 ~x1404849+4194304 ~x1404848+2097152 ~x1404847+1048576 ~x1404846+524288 ~x1404845+262144 ~x1404844+131072 ~x1404843+65536 ~x1404842+32768 ~x1404841+16384 ~x1404840+8192 ~x1404839+4096 ~x1404838+2048 ~x1404837+1024 ~x1404836+512 ~x1404835+256 ~x1404834+128 ~x1404833+64 ~x1404832+32 ~x1404831+16 ~x1404830+8 ~x1404829+4 ~x1404828+2 ~x1404827+1 ~x1404826+33554432 ~x6420+16777216 ~x6419+8388608 ~x6418+4194304 ~x6417+2097152 ~x6416+1048576 ~x6415+524288 ~x6414+262144 ~x6413+131072 ~x6412+65536 ~x6411+32768 ~x6410+16384 ~x6409+8192 ~x6408+4096 ~x6407+2048 ~x6406+1024 ~x6405+512 ~x6404+256 ~x6403+128 ~x6402+64 ~x6401+32 ~x6400+16 ~x6399+8 ~x6398+4 ~x6397+2 ~x6396+1 ~x6395-0=116850686 39.07/39.12 c 33554432 ~x1418531+16777216 ~x1418530+8388608 ~x1418529+4194304 ~x1418528+2097152 ~x1418527+1048576 ~x1418526+524288 ~x1418525+262144 ~x1418524+131072 ~x1418523+65536 ~x1418522+32768 ~x1418521+16384 ~x1418520+8192 ~x1418519+4096 ~x1418518+2048 ~x1418517+1024 ~x1418516+512 ~x1418515+256 ~x1418514+128 ~x1418513+64 ~x1418512+32 ~x1418511+16 ~x1418510+8 ~x1418509+4 ~x1418508+2 ~x1418507+1 ~x1418506+33554432 ~x6452+16777216 ~x6451+8388608 ~x6450+4194304 ~x6449+2097152 ~x6448+1048576 ~x6447+524288 ~x6446+262144 ~x6445+131072 ~x6444+65536 ~x6443+32768 ~x6442+16384 ~x6441+8192 ~x6440+4096 ~x6439+2048 ~x6438+1024 ~x6437+512 ~x6436+256 ~x6435+128 ~x6434+64 ~x6433+32 ~x6432+16 ~x6431+8 ~x6430+4 ~x6429+2 ~x6428+1 ~x6427-0=116850686 39.38/39.44 c 33554432 ~x1432211+16777216 ~x1432210+8388608 ~x1432209+4194304 ~x1432208+2097152 ~x1432207+1048576 ~x1432206+524288 ~x1432205+262144 ~x1432204+131072 ~x1432203+65536 ~x1432202+32768 ~x1432201+16384 ~x1432200+8192 ~x1432199+4096 ~x1432198+2048 ~x1432197+1024 ~x1432196+512 ~x1432195+256 ~x1432194+128 ~x1432193+64 ~x1432192+32 ~x1432191+16 ~x1432190+8 ~x1432189+4 ~x1432188+2 ~x1432187+1 ~x1432186+33554432 ~x6482+16777216 ~x6481+8388608 ~x6480+4194304 ~x6479+2097152 ~x6478+1048576 ~x6477+524288 ~x6476+262144 ~x6475+131072 ~x6474+65536 ~x6473+32768 ~x6472+16384 ~x6471+8192 ~x6470+4096 ~x6469+2048 ~x6468+1024 ~x6467+512 ~x6466+256 ~x6465+128 ~x6464+64 ~x6463+32 ~x6462+16 ~x6461+8 ~x6460+4 ~x6459+2 ~x6458+1 ~x6457-0=116850686 39.67/39.76 c 33554432 ~x1445891+16777216 ~x1445890+8388608 ~x1445889+4194304 ~x1445888+2097152 ~x1445887+1048576 ~x1445886+524288 ~x1445885+262144 ~x1445884+131072 ~x1445883+65536 ~x1445882+32768 ~x1445881+16384 ~x1445880+8192 ~x1445879+4096 ~x1445878+2048 ~x1445877+1024 ~x1445876+512 ~x1445875+256 ~x1445874+128 ~x1445873+64 ~x1445872+32 ~x1445871+16 ~x1445870+8 ~x1445869+4 ~x1445868+2 ~x1445867+1 ~x1445866+33554432 ~x6512+16777216 ~x6511+8388608 ~x6510+4194304 ~x6509+2097152 ~x6508+1048576 ~x6507+524288 ~x6506+262144 ~x6505+131072 ~x6504+65536 ~x6503+32768 ~x6502+16384 ~x6501+8192 ~x6500+4096 ~x6499+2048 ~x6498+1024 ~x6497+512 ~x6496+256 ~x6495+128 ~x6494+64 ~x6493+32 ~x6492+16 ~x6491+8 ~x6490+4 ~x6489+2 ~x6488+1 ~x6487-0=116850686 39.97/40.07 c 33554432 ~x1459571+16777216 ~x1459570+8388608 ~x1459569+4194304 ~x1459568+2097152 ~x1459567+1048576 ~x1459566+524288 ~x1459565+262144 ~x1459564+131072 ~x1459563+65536 ~x1459562+32768 ~x1459561+16384 ~x1459560+8192 ~x1459559+4096 ~x1459558+2048 ~x1459557+1024 ~x1459556+512 ~x1459555+256 ~x1459554+128 ~x1459553+64 ~x1459552+32 ~x1459551+16 ~x1459550+8 ~x1459549+4 ~x1459548+2 ~x1459547+1 ~x1459546+33554432 ~x6360+16777216 ~x6359+8388608 ~x6358+4194304 ~x6357+2097152 ~x6356+1048576 ~x6355+524288 ~x6354+262144 ~x6353+131072 ~x6352+65536 ~x6351+32768 ~x6350+16384 ~x6349+8192 ~x6348+4096 ~x6347+2048 ~x6346+1024 ~x6345+512 ~x6344+256 ~x6343+128 ~x6342+64 ~x6341+32 ~x6340+16 ~x6339+8 ~x6338+4 ~x6337+2 ~x6336+1 ~x6335-0=116850686 40.27/40.39 c 33554432 ~x1473251+16777216 ~x1473250+8388608 ~x1473249+4194304 ~x1473248+2097152 ~x1473247+1048576 ~x1473246+524288 ~x1473245+262144 ~x1473244+131072 ~x1473243+65536 ~x1473242+32768 ~x1473241+16384 ~x1473240+8192 ~x1473239+4096 ~x1473238+2048 ~x1473237+1024 ~x1473236+512 ~x1473235+256 ~x1473234+128 ~x1473233+64 ~x1473232+32 ~x1473231+16 ~x1473230+8 ~x1473229+4 ~x1473228+2 ~x1473227+1 ~x1473226+33554432 ~x6390+16777216 ~x6389+8388608 ~x6388+4194304 ~x6387+2097152 ~x6386+1048576 ~x6385+524288 ~x6384+262144 ~x6383+131072 ~x6382+65536 ~x6381+32768 ~x6380+16384 ~x6379+8192 ~x6378+4096 ~x6377+2048 ~x6376+1024 ~x6375+512 ~x6374+256 ~x6373+128 ~x6372+64 ~x6371+32 ~x6370+16 ~x6369+8 ~x6368+4 ~x6367+2 ~x6366+1 ~x6365-0=116850686 40.68/40.71 c 33554432 ~x1486931+16777216 ~x1486930+8388608 ~x1486929+4194304 ~x1486928+2097152 ~x1486927+1048576 ~x1486926+524288 ~x1486925+262144 ~x1486924+131072 ~x1486923+65536 ~x1486922+32768 ~x1486921+16384 ~x1486920+8192 ~x1486919+4096 ~x1486918+2048 ~x1486917+1024 ~x1486916+512 ~x1486915+256 ~x1486914+128 ~x1486913+64 ~x1486912+32 ~x1486911+16 ~x1486910+8 ~x1486909+4 ~x1486908+2 ~x1486907+1 ~x1486906+33554432 ~x6602+16777216 ~x6601+8388608 ~x6600+4194304 ~x6599+2097152 ~x6598+1048576 ~x6597+524288 ~x6596+262144 ~x6595+131072 ~x6594+65536 ~x6593+32768 ~x6592+16384 ~x6591+8192 ~x6590+4096 ~x6589+2048 ~x6588+1024 ~x6587+512 ~x6586+256 ~x6585+128 ~x6584+64 ~x6583+32 ~x6582+16 ~x6581+8 ~x6580+4 ~x6579+2 ~x6578+1 ~x6577-0=116850686 40.97/41.03 c 33554432 ~x1500611+16777216 ~x1500610+8388608 ~x1500609+4194304 ~x1500608+2097152 ~x1500607+1048576 ~x1500606+524288 ~x1500605+262144 ~x1500604+131072 ~x1500603+65536 ~x1500602+32768 ~x1500601+16384 ~x1500600+8192 ~x1500599+4096 ~x1500598+2048 ~x1500597+1024 ~x1500596+512 ~x1500595+256 ~x1500594+128 ~x1500593+64 ~x1500592+32 ~x1500591+16 ~x1500590+8 ~x1500589+4 ~x1500588+2 ~x1500587+1 ~x1500586+33554432 ~x6632+16777216 ~x6631+8388608 ~x6630+4194304 ~x6629+2097152 ~x6628+1048576 ~x6627+524288 ~x6626+262144 ~x6625+131072 ~x6624+65536 ~x6623+32768 ~x6622+16384 ~x6621+8192 ~x6620+4096 ~x6619+2048 ~x6618+1024 ~x6617+512 ~x6616+256 ~x6615+128 ~x6614+64 ~x6613+32 ~x6612+16 ~x6611+8 ~x6610+4 ~x6609+2 ~x6608+1 ~x6607-0=116850686 41.27/41.34 c 33554432 ~x1514291+16777216 ~x1514290+8388608 ~x1514289+4194304 ~x1514288+2097152 ~x1514287+1048576 ~x1514286+524288 ~x1514285+262144 ~x1514284+131072 ~x1514283+65536 ~x1514282+32768 ~x1514281+16384 ~x1514280+8192 ~x1514279+4096 ~x1514278+2048 ~x1514277+1024 ~x1514276+512 ~x1514275+256 ~x1514274+128 ~x1514273+64 ~x1514272+32 ~x1514271+16 ~x1514270+8 ~x1514269+4 ~x1514268+2 ~x1514267+1 ~x1514266+33554432 ~x6662+16777216 ~x6661+8388608 ~x6660+4194304 ~x6659+2097152 ~x6658+1048576 ~x6657+524288 ~x6656+262144 ~x6655+131072 ~x6654+65536 ~x6653+32768 ~x6652+16384 ~x6651+8192 ~x6650+4096 ~x6649+2048 ~x6648+1024 ~x6647+512 ~x6646+256 ~x6645+128 ~x6644+64 ~x6643+32 ~x6642+16 ~x6641+8 ~x6640+4 ~x6639+2 ~x6638+1 ~x6637-0=116850686 41.58/41.66 c 33554432 ~x1527971+16777216 ~x1527970+8388608 ~x1527969+4194304 ~x1527968+2097152 ~x1527967+1048576 ~x1527966+524288 ~x1527965+262144 ~x1527964+131072 ~x1527963+65536 ~x1527962+32768 ~x1527961+16384 ~x1527960+8192 ~x1527959+4096 ~x1527958+2048 ~x1527957+1024 ~x1527956+512 ~x1527955+256 ~x1527954+128 ~x1527953+64 ~x1527952+32 ~x1527951+16 ~x1527950+8 ~x1527949+4 ~x1527948+2 ~x1527947+1 ~x1527946+33554432 ~x6692+16777216 ~x6691+8388608 ~x6690+4194304 ~x6689+2097152 ~x6688+1048576 ~x6687+524288 ~x6686+262144 ~x6685+131072 ~x6684+65536 ~x6683+32768 ~x6682+16384 ~x6681+8192 ~x6680+4096 ~x6679+2048 ~x6678+1024 ~x6677+512 ~x6676+256 ~x6675+128 ~x6674+64 ~x6673+32 ~x6672+16 ~x6671+8 ~x6670+4 ~x6669+2 ~x6668+1 ~x6667-0=116850686 41.87/41.98 c 33554432 ~x1541651+16777216 ~x1541650+8388608 ~x1541649+4194304 ~x1541648+2097152 ~x1541647+1048576 ~x1541646+524288 ~x1541645+262144 ~x1541644+131072 ~x1541643+65536 ~x1541642+32768 ~x1541641+16384 ~x1541640+8192 ~x1541639+4096 ~x1541638+2048 ~x1541637+1024 ~x1541636+512 ~x1541635+256 ~x1541634+128 ~x1541633+64 ~x1541632+32 ~x1541631+16 ~x1541630+8 ~x1541629+4 ~x1541628+2 ~x1541627+1 ~x1541626+33554432 ~x6542+16777216 ~x6541+8388608 ~x6540+4194304 ~x6539+2097152 ~x6538+1048576 ~x6537+524288 ~x6536+262144 ~x6535+131072 ~x6534+65536 ~x6533+32768 ~x6532+16384 ~x6531+8192 ~x6530+4096 ~x6529+2048 ~x6528+1024 ~x6527+512 ~x6526+256 ~x6525+128 ~x6524+64 ~x6523+32 ~x6522+16 ~x6521+8 ~x6520+4 ~x6519+2 ~x6518+1 ~x6517-0=116850686 42.17/42.30 c 33554432 ~x1555331+16777216 ~x1555330+8388608 ~x1555329+4194304 ~x1555328+2097152 ~x1555327+1048576 ~x1555326+524288 ~x1555325+262144 ~x1555324+131072 ~x1555323+65536 ~x1555322+32768 ~x1555321+16384 ~x1555320+8192 ~x1555319+4096 ~x1555318+2048 ~x1555317+1024 ~x1555316+512 ~x1555315+256 ~x1555314+128 ~x1555313+64 ~x1555312+32 ~x1555311+16 ~x1555310+8 ~x1555309+4 ~x1555308+2 ~x1555307+1 ~x1555306+33554432 ~x6572+16777216 ~x6571+8388608 ~x6570+4194304 ~x6569+2097152 ~x6568+1048576 ~x6567+524288 ~x6566+262144 ~x6565+131072 ~x6564+65536 ~x6563+32768 ~x6562+16384 ~x6561+8192 ~x6560+4096 ~x6559+2048 ~x6558+1024 ~x6557+512 ~x6556+256 ~x6555+128 ~x6554+64 ~x6553+32 ~x6552+16 ~x6551+8 ~x6550+4 ~x6549+2 ~x6548+1 ~x6547-0=116850686 42.57/42.64 c 33554432 ~x1569011+16777216 ~x1569010+8388608 ~x1569009+4194304 ~x1569008+2097152 ~x1569007+1048576 ~x1569006+524288 ~x1569005+262144 ~x1569004+131072 ~x1569003+65536 ~x1569002+32768 ~x1569001+16384 ~x1569000+8192 ~x1568999+4096 ~x1568998+2048 ~x1568997+1024 ~x1568996+512 ~x1568995+256 ~x1568994+128 ~x1568993+64 ~x1568992+32 ~x1568991+16 ~x1568990+8 ~x1568989+4 ~x1568988+2 ~x1568987+1 ~x1568986+33554432 ~x6783+16777216 ~x6782+8388608 ~x6781+4194304 ~x6780+2097152 ~x6779+1048576 ~x6778+524288 ~x6777+262144 ~x6776+131072 ~x6775+65536 ~x6774+32768 ~x6773+16384 ~x6772+8192 ~x6771+4096 ~x6770+2048 ~x6769+1024 ~x6768+512 ~x6767+256 ~x6766+128 ~x6765+64 ~x6764+32 ~x6763+16 ~x6762+8 ~x6761+4 ~x6760+2 ~x6759+1 ~x6758-0=116850686 42.88/42.96 c 33554432 ~x1582691+16777216 ~x1582690+8388608 ~x1582689+4194304 ~x1582688+2097152 ~x1582687+1048576 ~x1582686+524288 ~x1582685+262144 ~x1582684+131072 ~x1582683+65536 ~x1582682+32768 ~x1582681+16384 ~x1582680+8192 ~x1582679+4096 ~x1582678+2048 ~x1582677+1024 ~x1582676+512 ~x1582675+256 ~x1582674+128 ~x1582673+64 ~x1582672+32 ~x1582671+16 ~x1582670+8 ~x1582669+4 ~x1582668+2 ~x1582667+1 ~x1582666+33554432 ~x6813+16777216 ~x6812+8388608 ~x6811+4194304 ~x6810+2097152 ~x6809+1048576 ~x6808+524288 ~x6807+262144 ~x6806+131072 ~x6805+65536 ~x6804+32768 ~x6803+16384 ~x6802+8192 ~x6801+4096 ~x6800+2048 ~x6799+1024 ~x6798+512 ~x6797+256 ~x6796+128 ~x6795+64 ~x6794+32 ~x6793+16 ~x6792+8 ~x6791+4 ~x6790+2 ~x6789+1 ~x6788-0=116850686 43.18/43.28 c 33554432 ~x1596371+16777216 ~x1596370+8388608 ~x1596369+4194304 ~x1596368+2097152 ~x1596367+1048576 ~x1596366+524288 ~x1596365+262144 ~x1596364+131072 ~x1596363+65536 ~x1596362+32768 ~x1596361+16384 ~x1596360+8192 ~x1596359+4096 ~x1596358+2048 ~x1596357+1024 ~x1596356+512 ~x1596355+256 ~x1596354+128 ~x1596353+64 ~x1596352+32 ~x1596351+16 ~x1596350+8 ~x1596349+4 ~x1596348+2 ~x1596347+1 ~x1596346+33554432 ~x6843+16777216 ~x6842+8388608 ~x6841+4194304 ~x6840+2097152 ~x6839+1048576 ~x6838+524288 ~x6837+262144 ~x6836+131072 ~x6835+65536 ~x6834+32768 ~x6833+16384 ~x6832+8192 ~x6831+4096 ~x6830+2048 ~x6829+1024 ~x6828+512 ~x6827+256 ~x6826+128 ~x6825+64 ~x6824+32 ~x6823+16 ~x6822+8 ~x6821+4 ~x6820+2 ~x6819+1 ~x6818-0=116850686 43.47/43.59 c 33554432 ~x1610051+16777216 ~x1610050+8388608 ~x1610049+4194304 ~x1610048+2097152 ~x1610047+1048576 ~x1610046+524288 ~x1610045+262144 ~x1610044+131072 ~x1610043+65536 ~x1610042+32768 ~x1610041+16384 ~x1610040+8192 ~x1610039+4096 ~x1610038+2048 ~x1610037+1024 ~x1610036+512 ~x1610035+256 ~x1610034+128 ~x1610033+64 ~x1610032+32 ~x1610031+16 ~x1610030+8 ~x1610029+4 ~x1610028+2 ~x1610027+1 ~x1610026+33554432 ~x6873+16777216 ~x6872+8388608 ~x6871+4194304 ~x6870+2097152 ~x6869+1048576 ~x6868+524288 ~x6867+262144 ~x6866+131072 ~x6865+65536 ~x6864+32768 ~x6863+16384 ~x6862+8192 ~x6861+4096 ~x6860+2048 ~x6859+1024 ~x6858+512 ~x6857+256 ~x6856+128 ~x6855+64 ~x6854+32 ~x6853+16 ~x6852+8 ~x6851+4 ~x6850+2 ~x6849+1 ~x6848-0=116850686 43.88/43.91 c 33554432 ~x1623731+16777216 ~x1623730+8388608 ~x1623729+4194304 ~x1623728+2097152 ~x1623727+1048576 ~x1623726+524288 ~x1623725+262144 ~x1623724+131072 ~x1623723+65536 ~x1623722+32768 ~x1623721+16384 ~x1623720+8192 ~x1623719+4096 ~x1623718+2048 ~x1623717+1024 ~x1623716+512 ~x1623715+256 ~x1623714+128 ~x1623713+64 ~x1623712+32 ~x1623711+16 ~x1623710+8 ~x1623709+4 ~x1623708+2 ~x1623707+1 ~x1623706+33554432 ~x6722+16777216 ~x6721+8388608 ~x6720+4194304 ~x6719+2097152 ~x6718+1048576 ~x6717+524288 ~x6716+262144 ~x6715+131072 ~x6714+65536 ~x6713+32768 ~x6712+16384 ~x6711+8192 ~x6710+4096 ~x6709+2048 ~x6708+1024 ~x6707+512 ~x6706+256 ~x6705+128 ~x6704+64 ~x6703+32 ~x6702+16 ~x6701+8 ~x6700+4 ~x6699+2 ~x6698+1 ~x6697-0=116850686 44.17/44.22 c 33554432 ~x1637411+16777216 ~x1637410+8388608 ~x1637409+4194304 ~x1637408+2097152 ~x1637407+1048576 ~x1637406+524288 ~x1637405+262144 ~x1637404+131072 ~x1637403+65536 ~x1637402+32768 ~x1637401+16384 ~x1637400+8192 ~x1637399+4096 ~x1637398+2048 ~x1637397+1024 ~x1637396+512 ~x1637395+256 ~x1637394+128 ~x1637393+64 ~x1637392+32 ~x1637391+16 ~x1637390+8 ~x1637389+4 ~x1637388+2 ~x1637387+1 ~x1637386+33554432 ~x6753+16777216 ~x6752+8388608 ~x6751+4194304 ~x6750+2097152 ~x6749+1048576 ~x6748+524288 ~x6747+262144 ~x6746+131072 ~x6745+65536 ~x6744+32768 ~x6743+16384 ~x6742+8192 ~x6741+4096 ~x6740+2048 ~x6739+1024 ~x6738+512 ~x6737+256 ~x6736+128 ~x6735+64 ~x6734+32 ~x6733+16 ~x6732+8 ~x6731+4 ~x6730+2 ~x6729+1 ~x6728-0=116850686 44.47/44.54 c 33554432 ~x1651091+16777216 ~x1651090+8388608 ~x1651089+4194304 ~x1651088+2097152 ~x1651087+1048576 ~x1651086+524288 ~x1651085+262144 ~x1651084+131072 ~x1651083+65536 ~x1651082+32768 ~x1651081+16384 ~x1651080+8192 ~x1651079+4096 ~x1651078+2048 ~x1651077+1024 ~x1651076+512 ~x1651075+256 ~x1651074+128 ~x1651073+64 ~x1651072+32 ~x1651071+16 ~x1651070+8 ~x1651069+4 ~x1651068+2 ~x1651067+1 ~x1651066+33554432 ~x6963+16777216 ~x6962+8388608 ~x6961+4194304 ~x6960+2097152 ~x6959+1048576 ~x6958+524288 ~x6957+262144 ~x6956+131072 ~x6955+65536 ~x6954+32768 ~x6953+16384 ~x6952+8192 ~x6951+4096 ~x6950+2048 ~x6949+1024 ~x6948+512 ~x6947+256 ~x6946+128 ~x6945+64 ~x6944+32 ~x6943+16 ~x6942+8 ~x6941+4 ~x6940+2 ~x6939+1 ~x6938-0=116850686 44.77/44.85 c 33554432 ~x1664771+16777216 ~x1664770+8388608 ~x1664769+4194304 ~x1664768+2097152 ~x1664767+1048576 ~x1664766+524288 ~x1664765+262144 ~x1664764+131072 ~x1664763+65536 ~x1664762+32768 ~x1664761+16384 ~x1664760+8192 ~x1664759+4096 ~x1664758+2048 ~x1664757+1024 ~x1664756+512 ~x1664755+256 ~x1664754+128 ~x1664753+64 ~x1664752+32 ~x1664751+16 ~x1664750+8 ~x1664749+4 ~x1664748+2 ~x1664747+1 ~x1664746+33554432 ~x6993+16777216 ~x6992+8388608 ~x6991+4194304 ~x6990+2097152 ~x6989+1048576 ~x6988+524288 ~x6987+262144 ~x6986+131072 ~x6985+65536 ~x6984+32768 ~x6983+16384 ~x6982+8192 ~x6981+4096 ~x6980+2048 ~x6979+1024 ~x6978+512 ~x6977+256 ~x6976+128 ~x6975+64 ~x6974+32 ~x6973+16 ~x6972+8 ~x6971+4 ~x6970+2 ~x6969+1 ~x6968-0=116850686 45.07/45.17 c 33554432 ~x1678451+16777216 ~x1678450+8388608 ~x1678449+4194304 ~x1678448+2097152 ~x1678447+1048576 ~x1678446+524288 ~x1678445+262144 ~x1678444+131072 ~x1678443+65536 ~x1678442+32768 ~x1678441+16384 ~x1678440+8192 ~x1678439+4096 ~x1678438+2048 ~x1678437+1024 ~x1678436+512 ~x1678435+256 ~x1678434+128 ~x1678433+64 ~x1678432+32 ~x1678431+16 ~x1678430+8 ~x1678429+4 ~x1678428+2 ~x1678427+1 ~x1678426+33554432 ~x7023+16777216 ~x7022+8388608 ~x7021+4194304 ~x7020+2097152 ~x7019+1048576 ~x7018+524288 ~x7017+262144 ~x7016+131072 ~x7015+65536 ~x7014+32768 ~x7013+16384 ~x7012+8192 ~x7011+4096 ~x7010+2048 ~x7009+1024 ~x7008+512 ~x7007+256 ~x7006+128 ~x7005+64 ~x7004+32 ~x7003+16 ~x7002+8 ~x7001+4 ~x7000+2 ~x6999+1 ~x6998-0=116850686 45.37/45.49 c 33554432 ~x1692131+16777216 ~x1692130+8388608 ~x1692129+4194304 ~x1692128+2097152 ~x1692127+1048576 ~x1692126+524288 ~x1692125+262144 ~x1692124+131072 ~x1692123+65536 ~x1692122+32768 ~x1692121+16384 ~x1692120+8192 ~x1692119+4096 ~x1692118+2048 ~x1692117+1024 ~x1692116+512 ~x1692115+256 ~x1692114+128 ~x1692113+64 ~x1692112+32 ~x1692111+16 ~x1692110+8 ~x1692109+4 ~x1692108+2 ~x1692107+1 ~x1692106+33554432 ~x7054+16777216 ~x7053+8388608 ~x7052+4194304 ~x7051+2097152 ~x7050+1048576 ~x7049+524288 ~x7048+262144 ~x7047+131072 ~x7046+65536 ~x7045+32768 ~x7044+16384 ~x7043+8192 ~x7042+4096 ~x7041+2048 ~x7040+1024 ~x7039+512 ~x7038+256 ~x7037+128 ~x7036+64 ~x7035+32 ~x7034+16 ~x7033+8 ~x7032+4 ~x7031+2 ~x7030+1 ~x7029-0=116850686 45.77/45.81 c 33554432 ~x1705811+16777216 ~x1705810+8388608 ~x1705809+4194304 ~x1705808+2097152 ~x1705807+1048576 ~x1705806+524288 ~x1705805+262144 ~x1705804+131072 ~x1705803+65536 ~x1705802+32768 ~x1705801+16384 ~x1705800+8192 ~x1705799+4096 ~x1705798+2048 ~x1705797+1024 ~x1705796+512 ~x1705795+256 ~x1705794+128 ~x1705793+64 ~x1705792+32 ~x1705791+16 ~x1705790+8 ~x1705789+4 ~x1705788+2 ~x1705787+1 ~x1705786+33554432 ~x6903+16777216 ~x6902+8388608 ~x6901+4194304 ~x6900+2097152 ~x6899+1048576 ~x6898+524288 ~x6897+262144 ~x6896+131072 ~x6895+65536 ~x6894+32768 ~x6893+16384 ~x6892+8192 ~x6891+4096 ~x6890+2048 ~x6889+1024 ~x6888+512 ~x6887+256 ~x6886+128 ~x6885+64 ~x6884+32 ~x6883+16 ~x6882+8 ~x6881+4 ~x6880+2 ~x6879+1 ~x6878-0=116850686 46.07/46.12 c 33554432 ~x1719491+16777216 ~x1719490+8388608 ~x1719489+4194304 ~x1719488+2097152 ~x1719487+1048576 ~x1719486+524288 ~x1719485+262144 ~x1719484+131072 ~x1719483+65536 ~x1719482+32768 ~x1719481+16384 ~x1719480+8192 ~x1719479+4096 ~x1719478+2048 ~x1719477+1024 ~x1719476+512 ~x1719475+256 ~x1719474+128 ~x1719473+64 ~x1719472+32 ~x1719471+16 ~x1719470+8 ~x1719469+4 ~x1719468+2 ~x1719467+1 ~x1719466+33554432 ~x6933+16777216 ~x6932+8388608 ~x6931+4194304 ~x6930+2097152 ~x6929+1048576 ~x6928+524288 ~x6927+262144 ~x6926+131072 ~x6925+65536 ~x6924+32768 ~x6923+16384 ~x6922+8192 ~x6921+4096 ~x6920+2048 ~x6919+1024 ~x6918+512 ~x6917+256 ~x6916+128 ~x6915+64 ~x6914+32 ~x6913+16 ~x6912+8 ~x6911+4 ~x6910+2 ~x6909+1 ~x6908-0=116850686 46.37/46.44 c 33554432 ~x1733171+16777216 ~x1733170+8388608 ~x1733169+4194304 ~x1733168+2097152 ~x1733167+1048576 ~x1733166+524288 ~x1733165+262144 ~x1733164+131072 ~x1733163+65536 ~x1733162+32768 ~x1733161+16384 ~x1733160+8192 ~x1733159+4096 ~x1733158+2048 ~x1733157+1024 ~x1733156+512 ~x1733155+256 ~x1733154+128 ~x1733153+64 ~x1733152+32 ~x1733151+16 ~x1733150+8 ~x1733149+4 ~x1733148+2 ~x1733147+1 ~x1733146+33554432 ~x7144+16777216 ~x7143+8388608 ~x7142+4194304 ~x7141+2097152 ~x7140+1048576 ~x7139+524288 ~x7138+262144 ~x7137+131072 ~x7136+65536 ~x7135+32768 ~x7134+16384 ~x7133+8192 ~x7132+4096 ~x7131+2048 ~x7130+1024 ~x7129+512 ~x7128+256 ~x7127+128 ~x7126+64 ~x7125+32 ~x7124+16 ~x7123+8 ~x7122+4 ~x7121+2 ~x7120+1 ~x7119-0=116850686 46.67/46.76 c 33554432 ~x1746851+16777216 ~x1746850+8388608 ~x1746849+4194304 ~x1746848+2097152 ~x1746847+1048576 ~x1746846+524288 ~x1746845+262144 ~x1746844+131072 ~x1746843+65536 ~x1746842+32768 ~x1746841+16384 ~x1746840+8192 ~x1746839+4096 ~x1746838+2048 ~x1746837+1024 ~x1746836+512 ~x1746835+256 ~x1746834+128 ~x1746833+64 ~x1746832+32 ~x1746831+16 ~x1746830+8 ~x1746829+4 ~x1746828+2 ~x1746827+1 ~x1746826+33554432 ~x7174+16777216 ~x7173+8388608 ~x7172+4194304 ~x7171+2097152 ~x7170+1048576 ~x7169+524288 ~x7168+262144 ~x7167+131072 ~x7166+65536 ~x7165+32768 ~x7164+16384 ~x7163+8192 ~x7162+4096 ~x7161+2048 ~x7160+1024 ~x7159+512 ~x7158+256 ~x7157+128 ~x7156+64 ~x7155+32 ~x7154+16 ~x7153+8 ~x7152+4 ~x7151+2 ~x7150+1 ~x7149-0=116850686 46.97/47.08 c 33554432 ~x1760531+16777216 ~x1760530+8388608 ~x1760529+4194304 ~x1760528+2097152 ~x1760527+1048576 ~x1760526+524288 ~x1760525+262144 ~x1760524+131072 ~x1760523+65536 ~x1760522+32768 ~x1760521+16384 ~x1760520+8192 ~x1760519+4096 ~x1760518+2048 ~x1760517+1024 ~x1760516+512 ~x1760515+256 ~x1760514+128 ~x1760513+64 ~x1760512+32 ~x1760511+16 ~x1760510+8 ~x1760509+4 ~x1760508+2 ~x1760507+1 ~x1760506+33554432 ~x7204+16777216 ~x7203+8388608 ~x7202+4194304 ~x7201+2097152 ~x7200+1048576 ~x7199+524288 ~x7198+262144 ~x7197+131072 ~x7196+65536 ~x7195+32768 ~x7194+16384 ~x7193+8192 ~x7192+4096 ~x7191+2048 ~x7190+1024 ~x7189+512 ~x7188+256 ~x7187+128 ~x7186+64 ~x7185+32 ~x7184+16 ~x7183+8 ~x7182+4 ~x7181+2 ~x7180+1 ~x7179-0=116850686 47.37/47.40 c 33554432 ~x1774211+16777216 ~x1774210+8388608 ~x1774209+4194304 ~x1774208+2097152 ~x1774207+1048576 ~x1774206+524288 ~x1774205+262144 ~x1774204+131072 ~x1774203+65536 ~x1774202+32768 ~x1774201+16384 ~x1774200+8192 ~x1774199+4096 ~x1774198+2048 ~x1774197+1024 ~x1774196+512 ~x1774195+256 ~x1774194+128 ~x1774193+64 ~x1774192+32 ~x1774191+16 ~x1774190+8 ~x1774189+4 ~x1774188+2 ~x1774187+1 ~x1774186+33554432 ~x7234+16777216 ~x7233+8388608 ~x7232+4194304 ~x7231+2097152 ~x7230+1048576 ~x7229+524288 ~x7228+262144 ~x7227+131072 ~x7226+65536 ~x7225+32768 ~x7224+16384 ~x7223+8192 ~x7222+4096 ~x7221+2048 ~x7220+1024 ~x7219+512 ~x7218+256 ~x7217+128 ~x7216+64 ~x7215+32 ~x7214+16 ~x7213+8 ~x7212+4 ~x7211+2 ~x7210+1 ~x7209-0=116850686 47.67/47.72 c 33554432 ~x1787891+16777216 ~x1787890+8388608 ~x1787889+4194304 ~x1787888+2097152 ~x1787887+1048576 ~x1787886+524288 ~x1787885+262144 ~x1787884+131072 ~x1787883+65536 ~x1787882+32768 ~x1787881+16384 ~x1787880+8192 ~x1787879+4096 ~x1787878+2048 ~x1787877+1024 ~x1787876+512 ~x1787875+256 ~x1787874+128 ~x1787873+64 ~x1787872+32 ~x1787871+16 ~x1787870+8 ~x1787869+4 ~x1787868+2 ~x1787867+1 ~x1787866+33554432 ~x7084+16777216 ~x7083+8388608 ~x7082+4194304 ~x7081+2097152 ~x7080+1048576 ~x7079+524288 ~x7078+262144 ~x7077+131072 ~x7076+65536 ~x7075+32768 ~x7074+16384 ~x7073+8192 ~x7072+4096 ~x7071+2048 ~x7070+1024 ~x7069+512 ~x7068+256 ~x7067+128 ~x7066+64 ~x7065+32 ~x7064+16 ~x7063+8 ~x7062+4 ~x7061+2 ~x7060+1 ~x7059-0=116850686 47.97/48.04 c 33554432 ~x1801571+16777216 ~x1801570+8388608 ~x1801569+4194304 ~x1801568+2097152 ~x1801567+1048576 ~x1801566+524288 ~x1801565+262144 ~x1801564+131072 ~x1801563+65536 ~x1801562+32768 ~x1801561+16384 ~x1801560+8192 ~x1801559+4096 ~x1801558+2048 ~x1801557+1024 ~x1801556+512 ~x1801555+256 ~x1801554+128 ~x1801553+64 ~x1801552+32 ~x1801551+16 ~x1801550+8 ~x1801549+4 ~x1801548+2 ~x1801547+1 ~x1801546+33554432 ~x7114+16777216 ~x7113+8388608 ~x7112+4194304 ~x7111+2097152 ~x7110+1048576 ~x7109+524288 ~x7108+262144 ~x7107+131072 ~x7106+65536 ~x7105+32768 ~x7104+16384 ~x7103+8192 ~x7102+4096 ~x7101+2048 ~x7100+1024 ~x7099+512 ~x7098+256 ~x7097+128 ~x7096+64 ~x7095+32 ~x7094+16 ~x7093+8 ~x7092+4 ~x7091+2 ~x7090+1 ~x7089-0=116850686 48.28/48.35 c 33554432 ~x1815251+16777216 ~x1815250+8388608 ~x1815249+4194304 ~x1815248+2097152 ~x1815247+1048576 ~x1815246+524288 ~x1815245+262144 ~x1815244+131072 ~x1815243+65536 ~x1815242+32768 ~x1815241+16384 ~x1815240+8192 ~x1815239+4096 ~x1815238+2048 ~x1815237+1024 ~x1815236+512 ~x1815235+256 ~x1815234+128 ~x1815233+64 ~x1815232+32 ~x1815231+16 ~x1815230+8 ~x1815229+4 ~x1815228+2 ~x1815227+1 ~x1815226+33554432 ~x7324+16777216 ~x7323+8388608 ~x7322+4194304 ~x7321+2097152 ~x7320+1048576 ~x7319+524288 ~x7318+262144 ~x7317+131072 ~x7316+65536 ~x7315+32768 ~x7314+16384 ~x7313+8192 ~x7312+4096 ~x7311+2048 ~x7310+1024 ~x7309+512 ~x7308+256 ~x7307+128 ~x7306+64 ~x7305+32 ~x7304+16 ~x7303+8 ~x7302+4 ~x7301+2 ~x7300+1 ~x7299-0=116850686 48.57/48.67 c 33554432 ~x1828931+16777216 ~x1828930+8388608 ~x1828929+4194304 ~x1828928+2097152 ~x1828927+1048576 ~x1828926+524288 ~x1828925+262144 ~x1828924+131072 ~x1828923+65536 ~x1828922+32768 ~x1828921+16384 ~x1828920+8192 ~x1828919+4096 ~x1828918+2048 ~x1828917+1024 ~x1828916+512 ~x1828915+256 ~x1828914+128 ~x1828913+64 ~x1828912+32 ~x1828911+16 ~x1828910+8 ~x1828909+4 ~x1828908+2 ~x1828907+1 ~x1828906+33554432 ~x7355+16777216 ~x7354+8388608 ~x7353+4194304 ~x7352+2097152 ~x7351+1048576 ~x7350+524288 ~x7349+262144 ~x7348+131072 ~x7347+65536 ~x7346+32768 ~x7345+16384 ~x7344+8192 ~x7343+4096 ~x7342+2048 ~x7341+1024 ~x7340+512 ~x7339+256 ~x7338+128 ~x7337+64 ~x7336+32 ~x7335+16 ~x7334+8 ~x7333+4 ~x7332+2 ~x7331+1 ~x7330-0=116850686 48.87/48.99 c 33554432 ~x1842611+16777216 ~x1842610+8388608 ~x1842609+4194304 ~x1842608+2097152 ~x1842607+1048576 ~x1842606+524288 ~x1842605+262144 ~x1842604+131072 ~x1842603+65536 ~x1842602+32768 ~x1842601+16384 ~x1842600+8192 ~x1842599+4096 ~x1842598+2048 ~x1842597+1024 ~x1842596+512 ~x1842595+256 ~x1842594+128 ~x1842593+64 ~x1842592+32 ~x1842591+16 ~x1842590+8 ~x1842589+4 ~x1842588+2 ~x1842587+1 ~x1842586+33554432 ~x7385+16777216 ~x7384+8388608 ~x7383+4194304 ~x7382+2097152 ~x7381+1048576 ~x7380+524288 ~x7379+262144 ~x7378+131072 ~x7377+65536 ~x7376+32768 ~x7375+16384 ~x7374+8192 ~x7373+4096 ~x7372+2048 ~x7371+1024 ~x7370+512 ~x7369+256 ~x7368+128 ~x7367+64 ~x7366+32 ~x7365+16 ~x7364+8 ~x7363+4 ~x7362+2 ~x7361+1 ~x7360-0=116850686 49.28/49.30 c 33554432 ~x1856291+16777216 ~x1856290+8388608 ~x1856289+4194304 ~x1856288+2097152 ~x1856287+1048576 ~x1856286+524288 ~x1856285+262144 ~x1856284+131072 ~x1856283+65536 ~x1856282+32768 ~x1856281+16384 ~x1856280+8192 ~x1856279+4096 ~x1856278+2048 ~x1856277+1024 ~x1856276+512 ~x1856275+256 ~x1856274+128 ~x1856273+64 ~x1856272+32 ~x1856271+16 ~x1856270+8 ~x1856269+4 ~x1856268+2 ~x1856267+1 ~x1856266+33554432 ~x7415+16777216 ~x7414+8388608 ~x7413+4194304 ~x7412+2097152 ~x7411+1048576 ~x7410+524288 ~x7409+262144 ~x7408+131072 ~x7407+65536 ~x7406+32768 ~x7405+16384 ~x7404+8192 ~x7403+4096 ~x7402+2048 ~x7401+1024 ~x7400+512 ~x7399+256 ~x7398+128 ~x7397+64 ~x7396+32 ~x7395+16 ~x7394+8 ~x7393+4 ~x7392+2 ~x7391+1 ~x7390-0=116850686 49.57/49.62 c 33554432 ~x1869971+16777216 ~x1869970+8388608 ~x1869969+4194304 ~x1869968+2097152 ~x1869967+1048576 ~x1869966+524288 ~x1869965+262144 ~x1869964+131072 ~x1869963+65536 ~x1869962+32768 ~x1869961+16384 ~x1869960+8192 ~x1869959+4096 ~x1869958+2048 ~x1869957+1024 ~x1869956+512 ~x1869955+256 ~x1869954+128 ~x1869953+64 ~x1869952+32 ~x1869951+16 ~x1869950+8 ~x1869949+4 ~x1869948+2 ~x1869947+1 ~x1869946+33554432 ~x7264+16777216 ~x7263+8388608 ~x7262+4194304 ~x7261+2097152 ~x7260+1048576 ~x7259+524288 ~x7258+262144 ~x7257+131072 ~x7256+65536 ~x7255+32768 ~x7254+16384 ~x7253+8192 ~x7252+4096 ~x7251+2048 ~x7250+1024 ~x7249+512 ~x7248+256 ~x7247+128 ~x7246+64 ~x7245+32 ~x7244+16 ~x7243+8 ~x7242+4 ~x7241+2 ~x7240+1 ~x7239-0=116850686 49.87/49.94 c 33554432 ~x1883651+16777216 ~x1883650+8388608 ~x1883649+4194304 ~x1883648+2097152 ~x1883647+1048576 ~x1883646+524288 ~x1883645+262144 ~x1883644+131072 ~x1883643+65536 ~x1883642+32768 ~x1883641+16384 ~x1883640+8192 ~x1883639+4096 ~x1883638+2048 ~x1883637+1024 ~x1883636+512 ~x1883635+256 ~x1883634+128 ~x1883633+64 ~x1883632+32 ~x1883631+16 ~x1883630+8 ~x1883629+4 ~x1883628+2 ~x1883627+1 ~x1883626+33554432 ~x7294+16777216 ~x7293+8388608 ~x7292+4194304 ~x7291+2097152 ~x7290+1048576 ~x7289+524288 ~x7288+262144 ~x7287+131072 ~x7286+65536 ~x7285+32768 ~x7284+16384 ~x7283+8192 ~x7282+4096 ~x7281+2048 ~x7280+1024 ~x7279+512 ~x7278+256 ~x7277+128 ~x7276+64 ~x7275+32 ~x7274+16 ~x7273+8 ~x7272+4 ~x7271+2 ~x7270+1 ~x7269-0=116850686 50.17/50.26 c 33554432 ~x1897331+16777216 ~x1897330+8388608 ~x1897329+4194304 ~x1897328+2097152 ~x1897327+1048576 ~x1897326+524288 ~x1897325+262144 ~x1897324+131072 ~x1897323+65536 ~x1897322+32768 ~x1897321+16384 ~x1897320+8192 ~x1897319+4096 ~x1897318+2048 ~x1897317+1024 ~x1897316+512 ~x1897315+256 ~x1897314+128 ~x1897313+64 ~x1897312+32 ~x1897311+16 ~x1897310+8 ~x1897309+4 ~x1897308+2 ~x1897307+1 ~x1897306+33554432 ~x7505+16777216 ~x7504+8388608 ~x7503+4194304 ~x7502+2097152 ~x7501+1048576 ~x7500+524288 ~x7499+262144 ~x7498+131072 ~x7497+65536 ~x7496+32768 ~x7495+16384 ~x7494+8192 ~x7493+4096 ~x7492+2048 ~x7491+1024 ~x7490+512 ~x7489+256 ~x7488+128 ~x7487+64 ~x7486+32 ~x7485+16 ~x7484+8 ~x7483+4 ~x7482+2 ~x7481+1 ~x7480-0=116850686 50.47/50.57 c 33554432 ~x1911011+16777216 ~x1911010+8388608 ~x1911009+4194304 ~x1911008+2097152 ~x1911007+1048576 ~x1911006+524288 ~x1911005+262144 ~x1911004+131072 ~x1911003+65536 ~x1911002+32768 ~x1911001+16384 ~x1911000+8192 ~x1910999+4096 ~x1910998+2048 ~x1910997+1024 ~x1910996+512 ~x1910995+256 ~x1910994+128 ~x1910993+64 ~x1910992+32 ~x1910991+16 ~x1910990+8 ~x1910989+4 ~x1910988+2 ~x1910987+1 ~x1910986+33554432 ~x7535+16777216 ~x7534+8388608 ~x7533+4194304 ~x7532+2097152 ~x7531+1048576 ~x7530+524288 ~x7529+262144 ~x7528+131072 ~x7527+65536 ~x7526+32768 ~x7525+16384 ~x7524+8192 ~x7523+4096 ~x7522+2048 ~x7521+1024 ~x7520+512 ~x7519+256 ~x7518+128 ~x7517+64 ~x7516+32 ~x7515+16 ~x7514+8 ~x7513+4 ~x7512+2 ~x7511+1 ~x7510-0=116850686 50.77/50.89 c 33554432 ~x1924691+16777216 ~x1924690+8388608 ~x1924689+4194304 ~x1924688+2097152 ~x1924687+1048576 ~x1924686+524288 ~x1924685+262144 ~x1924684+131072 ~x1924683+65536 ~x1924682+32768 ~x1924681+16384 ~x1924680+8192 ~x1924679+4096 ~x1924678+2048 ~x1924677+1024 ~x1924676+512 ~x1924675+256 ~x1924674+128 ~x1924673+64 ~x1924672+32 ~x1924671+16 ~x1924670+8 ~x1924669+4 ~x1924668+2 ~x1924667+1 ~x1924666+33554432 ~x7565+16777216 ~x7564+8388608 ~x7563+4194304 ~x7562+2097152 ~x7561+1048576 ~x7560+524288 ~x7559+262144 ~x7558+131072 ~x7557+65536 ~x7556+32768 ~x7555+16384 ~x7554+8192 ~x7553+4096 ~x7552+2048 ~x7551+1024 ~x7550+512 ~x7549+256 ~x7548+128 ~x7547+64 ~x7546+32 ~x7545+16 ~x7544+8 ~x7543+4 ~x7542+2 ~x7541+1 ~x7540-0=116850686 51.17/51.21 c 33554432 ~x1938371+16777216 ~x1938370+8388608 ~x1938369+4194304 ~x1938368+2097152 ~x1938367+1048576 ~x1938366+524288 ~x1938365+262144 ~x1938364+131072 ~x1938363+65536 ~x1938362+32768 ~x1938361+16384 ~x1938360+8192 ~x1938359+4096 ~x1938358+2048 ~x1938357+1024 ~x1938356+512 ~x1938355+256 ~x1938354+128 ~x1938353+64 ~x1938352+32 ~x1938351+16 ~x1938350+8 ~x1938349+4 ~x1938348+2 ~x1938347+1 ~x1938346+33554432 ~x7595+16777216 ~x7594+8388608 ~x7593+4194304 ~x7592+2097152 ~x7591+1048576 ~x7590+524288 ~x7589+262144 ~x7588+131072 ~x7587+65536 ~x7586+32768 ~x7585+16384 ~x7584+8192 ~x7583+4096 ~x7582+2048 ~x7581+1024 ~x7580+512 ~x7579+256 ~x7578+128 ~x7577+64 ~x7576+32 ~x7575+16 ~x7574+8 ~x7573+4 ~x7572+2 ~x7571+1 ~x7570-0=116850686 51.47/51.53 c 33554432 ~x1952051+16777216 ~x1952050+8388608 ~x1952049+4194304 ~x1952048+2097152 ~x1952047+1048576 ~x1952046+524288 ~x1952045+262144 ~x1952044+131072 ~x1952043+65536 ~x1952042+32768 ~x1952041+16384 ~x1952040+8192 ~x1952039+4096 ~x1952038+2048 ~x1952037+1024 ~x1952036+512 ~x1952035+256 ~x1952034+128 ~x1952033+64 ~x1952032+32 ~x1952031+16 ~x1952030+8 ~x1952029+4 ~x1952028+2 ~x1952027+1 ~x1952026+33554432 ~x7445+16777216 ~x7444+8388608 ~x7443+4194304 ~x7442+2097152 ~x7441+1048576 ~x7440+524288 ~x7439+262144 ~x7438+131072 ~x7437+65536 ~x7436+32768 ~x7435+16384 ~x7434+8192 ~x7433+4096 ~x7432+2048 ~x7431+1024 ~x7430+512 ~x7429+256 ~x7428+128 ~x7427+64 ~x7426+32 ~x7425+16 ~x7424+8 ~x7423+4 ~x7422+2 ~x7421+1 ~x7420-0=116850686 51.77/51.87 c 33554432 ~x1965731+16777216 ~x1965730+8388608 ~x1965729+4194304 ~x1965728+2097152 ~x1965727+1048576 ~x1965726+524288 ~x1965725+262144 ~x1965724+131072 ~x1965723+65536 ~x1965722+32768 ~x1965721+16384 ~x1965720+8192 ~x1965719+4096 ~x1965718+2048 ~x1965717+1024 ~x1965716+512 ~x1965715+256 ~x1965714+128 ~x1965713+64 ~x1965712+32 ~x1965711+16 ~x1965710+8 ~x1965709+4 ~x1965708+2 ~x1965707+1 ~x1965706+33554432 ~x7475+16777216 ~x7474+8388608 ~x7473+4194304 ~x7472+2097152 ~x7471+1048576 ~x7470+524288 ~x7469+262144 ~x7468+131072 ~x7467+65536 ~x7466+32768 ~x7465+16384 ~x7464+8192 ~x7463+4096 ~x7462+2048 ~x7461+1024 ~x7460+512 ~x7459+256 ~x7458+128 ~x7457+64 ~x7456+32 ~x7455+16 ~x7454+8 ~x7453+4 ~x7452+2 ~x7451+1 ~x7450-0=116850686 52.07/52.19 c 33554432 ~x1979411+16777216 ~x1979410+8388608 ~x1979409+4194304 ~x1979408+2097152 ~x1979407+1048576 ~x1979406+524288 ~x1979405+262144 ~x1979404+131072 ~x1979403+65536 ~x1979402+32768 ~x1979401+16384 ~x1979400+8192 ~x1979399+4096 ~x1979398+2048 ~x1979397+1024 ~x1979396+512 ~x1979395+256 ~x1979394+128 ~x1979393+64 ~x1979392+32 ~x1979391+16 ~x1979390+8 ~x1979389+4 ~x1979388+2 ~x1979387+1 ~x1979386+33554432 ~x7686+16777216 ~x7685+8388608 ~x7684+4194304 ~x7683+2097152 ~x7682+1048576 ~x7681+524288 ~x7680+262144 ~x7679+131072 ~x7678+65536 ~x7677+32768 ~x7676+16384 ~x7675+8192 ~x7674+4096 ~x7673+2048 ~x7672+1024 ~x7671+512 ~x7670+256 ~x7669+128 ~x7668+64 ~x7667+32 ~x7666+16 ~x7665+8 ~x7664+4 ~x7663+2 ~x7662+1 ~x7661-0=116850686 52.47/52.50 c 33554432 ~x1993091+16777216 ~x1993090+8388608 ~x1993089+4194304 ~x1993088+2097152 ~x1993087+1048576 ~x1993086+524288 ~x1993085+262144 ~x1993084+131072 ~x1993083+65536 ~x1993082+32768 ~x1993081+16384 ~x1993080+8192 ~x1993079+4096 ~x1993078+2048 ~x1993077+1024 ~x1993076+512 ~x1993075+256 ~x1993074+128 ~x1993073+64 ~x1993072+32 ~x1993071+16 ~x1993070+8 ~x1993069+4 ~x1993068+2 ~x1993067+1 ~x1993066+33554432 ~x7716+16777216 ~x7715+8388608 ~x7714+4194304 ~x7713+2097152 ~x7712+1048576 ~x7711+524288 ~x7710+262144 ~x7709+131072 ~x7708+65536 ~x7707+32768 ~x7706+16384 ~x7705+8192 ~x7704+4096 ~x7703+2048 ~x7702+1024 ~x7701+512 ~x7700+256 ~x7699+128 ~x7698+64 ~x7697+32 ~x7696+16 ~x7695+8 ~x7694+4 ~x7693+2 ~x7692+1 ~x7691-0=116850686 52.78/52.82 c 33554432 ~x2006771+16777216 ~x2006770+8388608 ~x2006769+4194304 ~x2006768+2097152 ~x2006767+1048576 ~x2006766+524288 ~x2006765+262144 ~x2006764+131072 ~x2006763+65536 ~x2006762+32768 ~x2006761+16384 ~x2006760+8192 ~x2006759+4096 ~x2006758+2048 ~x2006757+1024 ~x2006756+512 ~x2006755+256 ~x2006754+128 ~x2006753+64 ~x2006752+32 ~x2006751+16 ~x2006750+8 ~x2006749+4 ~x2006748+2 ~x2006747+1 ~x2006746+33554432 ~x7746+16777216 ~x7745+8388608 ~x7744+4194304 ~x7743+2097152 ~x7742+1048576 ~x7741+524288 ~x7740+262144 ~x7739+131072 ~x7738+65536 ~x7737+32768 ~x7736+16384 ~x7735+8192 ~x7734+4096 ~x7733+2048 ~x7732+1024 ~x7731+512 ~x7730+256 ~x7729+128 ~x7728+64 ~x7727+32 ~x7726+16 ~x7725+8 ~x7724+4 ~x7723+2 ~x7722+1 ~x7721-0=116850686 53.07/53.14 c 33554432 ~x2020451+16777216 ~x2020450+8388608 ~x2020449+4194304 ~x2020448+2097152 ~x2020447+1048576 ~x2020446+524288 ~x2020445+262144 ~x2020444+131072 ~x2020443+65536 ~x2020442+32768 ~x2020441+16384 ~x2020440+8192 ~x2020439+4096 ~x2020438+2048 ~x2020437+1024 ~x2020436+512 ~x2020435+256 ~x2020434+128 ~x2020433+64 ~x2020432+32 ~x2020431+16 ~x2020430+8 ~x2020429+4 ~x2020428+2 ~x2020427+1 ~x2020426+33554432 ~x7776+16777216 ~x7775+8388608 ~x7774+4194304 ~x7773+2097152 ~x7772+1048576 ~x7771+524288 ~x7770+262144 ~x7769+131072 ~x7768+65536 ~x7767+32768 ~x7766+16384 ~x7765+8192 ~x7764+4096 ~x7763+2048 ~x7762+1024 ~x7761+512 ~x7760+256 ~x7759+128 ~x7758+64 ~x7757+32 ~x7756+16 ~x7755+8 ~x7754+4 ~x7753+2 ~x7752+1 ~x7751-0=116850686 53.37/53.45 c 33554432 ~x2034131+16777216 ~x2034130+8388608 ~x2034129+4194304 ~x2034128+2097152 ~x2034127+1048576 ~x2034126+524288 ~x2034125+262144 ~x2034124+131072 ~x2034123+65536 ~x2034122+32768 ~x2034121+16384 ~x2034120+8192 ~x2034119+4096 ~x2034118+2048 ~x2034117+1024 ~x2034116+512 ~x2034115+256 ~x2034114+128 ~x2034113+64 ~x2034112+32 ~x2034111+16 ~x2034110+8 ~x2034109+4 ~x2034108+2 ~x2034107+1 ~x2034106+33554432 ~x7625+16777216 ~x7624+8388608 ~x7623+4194304 ~x7622+2097152 ~x7621+1048576 ~x7620+524288 ~x7619+262144 ~x7618+131072 ~x7617+65536 ~x7616+32768 ~x7615+16384 ~x7614+8192 ~x7613+4096 ~x7612+2048 ~x7611+1024 ~x7610+512 ~x7609+256 ~x7608+128 ~x7607+64 ~x7606+32 ~x7605+16 ~x7604+8 ~x7603+4 ~x7602+2 ~x7601+1 ~x7600-0=116850686 53.67/53.77 c 33554432 ~x2047811+16777216 ~x2047810+8388608 ~x2047809+4194304 ~x2047808+2097152 ~x2047807+1048576 ~x2047806+524288 ~x2047805+262144 ~x2047804+131072 ~x2047803+65536 ~x2047802+32768 ~x2047801+16384 ~x2047800+8192 ~x2047799+4096 ~x2047798+2048 ~x2047797+1024 ~x2047796+512 ~x2047795+256 ~x2047794+128 ~x2047793+64 ~x2047792+32 ~x2047791+16 ~x2047790+8 ~x2047789+4 ~x2047788+2 ~x2047787+1 ~x2047786+33554432 ~x7656+16777216 ~x7655+8388608 ~x7654+4194304 ~x7653+2097152 ~x7652+1048576 ~x7651+524288 ~x7650+262144 ~x7649+131072 ~x7648+65536 ~x7647+32768 ~x7646+16384 ~x7645+8192 ~x7644+4096 ~x7643+2048 ~x7642+1024 ~x7641+512 ~x7640+256 ~x7639+128 ~x7638+64 ~x7637+32 ~x7636+16 ~x7635+8 ~x7634+4 ~x7633+2 ~x7632+1 ~x7631-0=116850686 53.97/54.08 c 33554432 ~x2061491+16777216 ~x2061490+8388608 ~x2061489+4194304 ~x2061488+2097152 ~x2061487+1048576 ~x2061486+524288 ~x2061485+262144 ~x2061484+131072 ~x2061483+65536 ~x2061482+32768 ~x2061481+16384 ~x2061480+8192 ~x2061479+4096 ~x2061478+2048 ~x2061477+1024 ~x2061476+512 ~x2061475+256 ~x2061474+128 ~x2061473+64 ~x2061472+32 ~x2061471+16 ~x2061470+8 ~x2061469+4 ~x2061468+2 ~x2061467+1 ~x2061466+33554432 ~x7866+16777216 ~x7865+8388608 ~x7864+4194304 ~x7863+2097152 ~x7862+1048576 ~x7861+524288 ~x7860+262144 ~x7859+131072 ~x7858+65536 ~x7857+32768 ~x7856+16384 ~x7855+8192 ~x7854+4096 ~x7853+2048 ~x7852+1024 ~x7851+512 ~x7850+256 ~x7849+128 ~x7848+64 ~x7847+32 ~x7846+16 ~x7845+8 ~x7844+4 ~x7843+2 ~x7842+1 ~x7841-0=116850686 54.37/54.40 c 33554432 ~x2075171+16777216 ~x2075170+8388608 ~x2075169+4194304 ~x2075168+2097152 ~x2075167+1048576 ~x2075166+524288 ~x2075165+262144 ~x2075164+131072 ~x2075163+65536 ~x2075162+32768 ~x2075161+16384 ~x2075160+8192 ~x2075159+4096 ~x2075158+2048 ~x2075157+1024 ~x2075156+512 ~x2075155+256 ~x2075154+128 ~x2075153+64 ~x2075152+32 ~x2075151+16 ~x2075150+8 ~x2075149+4 ~x2075148+2 ~x2075147+1 ~x2075146+33554432 ~x7896+16777216 ~x7895+8388608 ~x7894+4194304 ~x7893+2097152 ~x7892+1048576 ~x7891+524288 ~x7890+262144 ~x7889+131072 ~x7888+65536 ~x7887+32768 ~x7886+16384 ~x7885+8192 ~x7884+4096 ~x7883+2048 ~x7882+1024 ~x7881+512 ~x7880+256 ~x7879+128 ~x7878+64 ~x7877+32 ~x7876+16 ~x7875+8 ~x7874+4 ~x7873+2 ~x7872+1 ~x7871-0=116850686 54.67/54.72 c 33554432 ~x2088851+16777216 ~x2088850+8388608 ~x2088849+4194304 ~x2088848+2097152 ~x2088847+1048576 ~x2088846+524288 ~x2088845+262144 ~x2088844+131072 ~x2088843+65536 ~x2088842+32768 ~x2088841+16384 ~x2088840+8192 ~x2088839+4096 ~x2088838+2048 ~x2088837+1024 ~x2088836+512 ~x2088835+256 ~x2088834+128 ~x2088833+64 ~x2088832+32 ~x2088831+16 ~x2088830+8 ~x2088829+4 ~x2088828+2 ~x2088827+1 ~x2088826+33554432 ~x7926+16777216 ~x7925+8388608 ~x7924+4194304 ~x7923+2097152 ~x7922+1048576 ~x7921+524288 ~x7920+262144 ~x7919+131072 ~x7918+65536 ~x7917+32768 ~x7916+16384 ~x7915+8192 ~x7914+4096 ~x7913+2048 ~x7912+1024 ~x7911+512 ~x7910+256 ~x7909+128 ~x7908+64 ~x7907+32 ~x7906+16 ~x7905+8 ~x7904+4 ~x7903+2 ~x7902+1 ~x7901-0=116850686 54.98/55.04 c 33554432 ~x2102531+16777216 ~x2102530+8388608 ~x2102529+4194304 ~x2102528+2097152 ~x2102527+1048576 ~x2102526+524288 ~x2102525+262144 ~x2102524+131072 ~x2102523+65536 ~x2102522+32768 ~x2102521+16384 ~x2102520+8192 ~x2102519+4096 ~x2102518+2048 ~x2102517+1024 ~x2102516+512 ~x2102515+256 ~x2102514+128 ~x2102513+64 ~x2102512+32 ~x2102511+16 ~x2102510+8 ~x2102509+4 ~x2102508+2 ~x2102507+1 ~x2102506+33554432 ~x7957+16777216 ~x7956+8388608 ~x7955+4194304 ~x7954+2097152 ~x7953+1048576 ~x7952+524288 ~x7951+262144 ~x7950+131072 ~x7949+65536 ~x7948+32768 ~x7947+16384 ~x7946+8192 ~x7945+4096 ~x7944+2048 ~x7943+1024 ~x7942+512 ~x7941+256 ~x7940+128 ~x7939+64 ~x7938+32 ~x7937+16 ~x7936+8 ~x7935+4 ~x7934+2 ~x7933+1 ~x7932-0=116850686 55.27/55.35 c 33554432 ~x2116211+16777216 ~x2116210+8388608 ~x2116209+4194304 ~x2116208+2097152 ~x2116207+1048576 ~x2116206+524288 ~x2116205+262144 ~x2116204+131072 ~x2116203+65536 ~x2116202+32768 ~x2116201+16384 ~x2116200+8192 ~x2116199+4096 ~x2116198+2048 ~x2116197+1024 ~x2116196+512 ~x2116195+256 ~x2116194+128 ~x2116193+64 ~x2116192+32 ~x2116191+16 ~x2116190+8 ~x2116189+4 ~x2116188+2 ~x2116187+1 ~x2116186+33554432 ~x7806+16777216 ~x7805+8388608 ~x7804+4194304 ~x7803+2097152 ~x7802+1048576 ~x7801+524288 ~x7800+262144 ~x7799+131072 ~x7798+65536 ~x7797+32768 ~x7796+16384 ~x7795+8192 ~x7794+4096 ~x7793+2048 ~x7792+1024 ~x7791+512 ~x7790+256 ~x7789+128 ~x7788+64 ~x7787+32 ~x7786+16 ~x7785+8 ~x7784+4 ~x7783+2 ~x7782+1 ~x7781-0=116850686 55.56/55.67 c 33554432 ~x2129891+16777216 ~x2129890+8388608 ~x2129889+4194304 ~x2129888+2097152 ~x2129887+1048576 ~x2129886+524288 ~x2129885+262144 ~x2129884+131072 ~x2129883+65536 ~x2129882+32768 ~x2129881+16384 ~x2129880+8192 ~x2129879+4096 ~x2129878+2048 ~x2129877+1024 ~x2129876+512 ~x2129875+256 ~x2129874+128 ~x2129873+64 ~x2129872+32 ~x2129871+16 ~x2129870+8 ~x2129869+4 ~x2129868+2 ~x2129867+1 ~x2129866+33554432 ~x7836+16777216 ~x7835+8388608 ~x7834+4194304 ~x7833+2097152 ~x7832+1048576 ~x7831+524288 ~x7830+262144 ~x7829+131072 ~x7828+65536 ~x7827+32768 ~x7826+16384 ~x7825+8192 ~x7824+4096 ~x7823+2048 ~x7822+1024 ~x7821+512 ~x7820+256 ~x7819+128 ~x7818+64 ~x7817+32 ~x7816+16 ~x7815+8 ~x7814+4 ~x7813+2 ~x7812+1 ~x7811-0=116850686 55.87/55.99 c 33554432 ~x2143571+16777216 ~x2143570+8388608 ~x2143569+4194304 ~x2143568+2097152 ~x2143567+1048576 ~x2143566+524288 ~x2143565+262144 ~x2143564+131072 ~x2143563+65536 ~x2143562+32768 ~x2143561+16384 ~x2143560+8192 ~x2143559+4096 ~x2143558+2048 ~x2143557+1024 ~x2143556+512 ~x2143555+256 ~x2143554+128 ~x2143553+64 ~x2143552+32 ~x2143551+16 ~x2143550+8 ~x2143549+4 ~x2143548+2 ~x2143547+1 ~x2143546+33554432 ~x8047+16777216 ~x8046+8388608 ~x8045+4194304 ~x8044+2097152 ~x8043+1048576 ~x8042+524288 ~x8041+262144 ~x8040+131072 ~x8039+65536 ~x8038+32768 ~x8037+16384 ~x8036+8192 ~x8035+4096 ~x8034+2048 ~x8033+1024 ~x8032+512 ~x8031+256 ~x8030+128 ~x8029+64 ~x8028+32 ~x8027+16 ~x8026+8 ~x8025+4 ~x8024+2 ~x8023+1 ~x8022-0=116850686 56.27/56.30 c 33554432 ~x2157251+16777216 ~x2157250+8388608 ~x2157249+4194304 ~x2157248+2097152 ~x2157247+1048576 ~x2157246+524288 ~x2157245+262144 ~x2157244+131072 ~x2157243+65536 ~x2157242+32768 ~x2157241+16384 ~x2157240+8192 ~x2157239+4096 ~x2157238+2048 ~x2157237+1024 ~x2157236+512 ~x2157235+256 ~x2157234+128 ~x2157233+64 ~x2157232+32 ~x2157231+16 ~x2157230+8 ~x2157229+4 ~x2157228+2 ~x2157227+1 ~x2157226+33554432 ~x8077+16777216 ~x8076+8388608 ~x8075+4194304 ~x8074+2097152 ~x8073+1048576 ~x8072+524288 ~x8071+262144 ~x8070+131072 ~x8069+65536 ~x8068+32768 ~x8067+16384 ~x8066+8192 ~x8065+4096 ~x8064+2048 ~x8063+1024 ~x8062+512 ~x8061+256 ~x8060+128 ~x8059+64 ~x8058+32 ~x8057+16 ~x8056+8 ~x8055+4 ~x8054+2 ~x8053+1 ~x8052-0=116850686 56.56/56.62 c 33554432 ~x2170931+16777216 ~x2170930+8388608 ~x2170929+4194304 ~x2170928+2097152 ~x2170927+1048576 ~x2170926+524288 ~x2170925+262144 ~x2170924+131072 ~x2170923+65536 ~x2170922+32768 ~x2170921+16384 ~x2170920+8192 ~x2170919+4096 ~x2170918+2048 ~x2170917+1024 ~x2170916+512 ~x2170915+256 ~x2170914+128 ~x2170913+64 ~x2170912+32 ~x2170911+16 ~x2170910+8 ~x2170909+4 ~x2170908+2 ~x2170907+1 ~x2170906+33554432 ~x8107+16777216 ~x8106+8388608 ~x8105+4194304 ~x8104+2097152 ~x8103+1048576 ~x8102+524288 ~x8101+262144 ~x8100+131072 ~x8099+65536 ~x8098+32768 ~x8097+16384 ~x8096+8192 ~x8095+4096 ~x8094+2048 ~x8093+1024 ~x8092+512 ~x8091+256 ~x8090+128 ~x8089+64 ~x8088+32 ~x8087+16 ~x8086+8 ~x8085+4 ~x8084+2 ~x8083+1 ~x8082-0=116850686 56.87/56.94 c 33554432 ~x2184611+16777216 ~x2184610+8388608 ~x2184609+4194304 ~x2184608+2097152 ~x2184607+1048576 ~x2184606+524288 ~x2184605+262144 ~x2184604+131072 ~x2184603+65536 ~x2184602+32768 ~x2184601+16384 ~x2184600+8192 ~x2184599+4096 ~x2184598+2048 ~x2184597+1024 ~x2184596+512 ~x2184595+256 ~x2184594+128 ~x2184593+64 ~x2184592+32 ~x2184591+16 ~x2184590+8 ~x2184589+4 ~x2184588+2 ~x2184587+1 ~x2184586+33554432 ~x8137+16777216 ~x8136+8388608 ~x8135+4194304 ~x8134+2097152 ~x8133+1048576 ~x8132+524288 ~x8131+262144 ~x8130+131072 ~x8129+65536 ~x8128+32768 ~x8127+16384 ~x8126+8192 ~x8125+4096 ~x8124+2048 ~x8123+1024 ~x8122+512 ~x8121+256 ~x8120+128 ~x8119+64 ~x8118+32 ~x8117+16 ~x8116+8 ~x8115+4 ~x8114+2 ~x8113+1 ~x8112-0=116850686 57.17/57.26 c 33554432 ~x2198291+16777216 ~x2198290+8388608 ~x2198289+4194304 ~x2198288+2097152 ~x2198287+1048576 ~x2198286+524288 ~x2198285+262144 ~x2198284+131072 ~x2198283+65536 ~x2198282+32768 ~x2198281+16384 ~x2198280+8192 ~x2198279+4096 ~x2198278+2048 ~x2198277+1024 ~x2198276+512 ~x2198275+256 ~x2198274+128 ~x2198273+64 ~x2198272+32 ~x2198271+16 ~x2198270+8 ~x2198269+4 ~x2198268+2 ~x2198267+1 ~x2198266+33554432 ~x7987+16777216 ~x7986+8388608 ~x7985+4194304 ~x7984+2097152 ~x7983+1048576 ~x7982+524288 ~x7981+262144 ~x7980+131072 ~x7979+65536 ~x7978+32768 ~x7977+16384 ~x7976+8192 ~x7975+4096 ~x7974+2048 ~x7973+1024 ~x7972+512 ~x7971+256 ~x7970+128 ~x7969+64 ~x7968+32 ~x7967+16 ~x7966+8 ~x7965+4 ~x7964+2 ~x7963+1 ~x7962-0=116850686 57.46/57.57 c 33554432 ~x2211971+16777216 ~x2211970+8388608 ~x2211969+4194304 ~x2211968+2097152 ~x2211967+1048576 ~x2211966+524288 ~x2211965+262144 ~x2211964+131072 ~x2211963+65536 ~x2211962+32768 ~x2211961+16384 ~x2211960+8192 ~x2211959+4096 ~x2211958+2048 ~x2211957+1024 ~x2211956+512 ~x2211955+256 ~x2211954+128 ~x2211953+64 ~x2211952+32 ~x2211951+16 ~x2211950+8 ~x2211949+4 ~x2211948+2 ~x2211947+1 ~x2211946+33554432 ~x8017+16777216 ~x8016+8388608 ~x8015+4194304 ~x8014+2097152 ~x8013+1048576 ~x8012+524288 ~x8011+262144 ~x8010+131072 ~x8009+65536 ~x8008+32768 ~x8007+16384 ~x8006+8192 ~x8005+4096 ~x8004+2048 ~x8003+1024 ~x8002+512 ~x8001+256 ~x8000+128 ~x7999+64 ~x7998+32 ~x7997+16 ~x7996+8 ~x7995+4 ~x7994+2 ~x7993+1 ~x7992-0=116850686 57.77/57.89 c 33554432 ~x2225651+16777216 ~x2225650+8388608 ~x2225649+4194304 ~x2225648+2097152 ~x2225647+1048576 ~x2225646+524288 ~x2225645+262144 ~x2225644+131072 ~x2225643+65536 ~x2225642+32768 ~x2225641+16384 ~x2225640+8192 ~x2225639+4096 ~x2225638+2048 ~x2225637+1024 ~x2225636+512 ~x2225635+256 ~x2225634+128 ~x2225633+64 ~x2225632+32 ~x2225631+16 ~x2225630+8 ~x2225629+4 ~x2225628+2 ~x2225627+1 ~x2225626+33554432 ~x8227+16777216 ~x8226+8388608 ~x8225+4194304 ~x8224+2097152 ~x8223+1048576 ~x8222+524288 ~x8221+262144 ~x8220+131072 ~x8219+65536 ~x8218+32768 ~x8217+16384 ~x8216+8192 ~x8215+4096 ~x8214+2048 ~x8213+1024 ~x8212+512 ~x8211+256 ~x8210+128 ~x8209+64 ~x8208+32 ~x8207+16 ~x8206+8 ~x8205+4 ~x8204+2 ~x8203+1 ~x8202-0=116850686 58.18/58.21 c 33554432 ~x2239331+16777216 ~x2239330+8388608 ~x2239329+4194304 ~x2239328+2097152 ~x2239327+1048576 ~x2239326+524288 ~x2239325+262144 ~x2239324+131072 ~x2239323+65536 ~x2239322+32768 ~x2239321+16384 ~x2239320+8192 ~x2239319+4096 ~x2239318+2048 ~x2239317+1024 ~x2239316+512 ~x2239315+256 ~x2239314+128 ~x2239313+64 ~x2239312+32 ~x2239311+16 ~x2239310+8 ~x2239309+4 ~x2239308+2 ~x2239307+1 ~x2239306+33554432 ~x8258+16777216 ~x8257+8388608 ~x8256+4194304 ~x8255+2097152 ~x8254+1048576 ~x8253+524288 ~x8252+262144 ~x8251+131072 ~x8250+65536 ~x8249+32768 ~x8248+16384 ~x8247+8192 ~x8246+4096 ~x8245+2048 ~x8244+1024 ~x8243+512 ~x8242+256 ~x8241+128 ~x8240+64 ~x8239+32 ~x8238+16 ~x8237+8 ~x8236+4 ~x8235+2 ~x8234+1 ~x8233-0=116850686 58.47/58.53 c 33554432 ~x2253011+16777216 ~x2253010+8388608 ~x2253009+4194304 ~x2253008+2097152 ~x2253007+1048576 ~x2253006+524288 ~x2253005+262144 ~x2253004+131072 ~x2253003+65536 ~x2253002+32768 ~x2253001+16384 ~x2253000+8192 ~x2252999+4096 ~x2252998+2048 ~x2252997+1024 ~x2252996+512 ~x2252995+256 ~x2252994+128 ~x2252993+64 ~x2252992+32 ~x2252991+16 ~x2252990+8 ~x2252989+4 ~x2252988+2 ~x2252987+1 ~x2252986+33554432 ~x8288+16777216 ~x8287+8388608 ~x8286+4194304 ~x8285+2097152 ~x8284+1048576 ~x8283+524288 ~x8282+262144 ~x8281+131072 ~x8280+65536 ~x8279+32768 ~x8278+16384 ~x8277+8192 ~x8276+4096 ~x8275+2048 ~x8274+1024 ~x8273+512 ~x8272+256 ~x8271+128 ~x8270+64 ~x8269+32 ~x8268+16 ~x8267+8 ~x8266+4 ~x8265+2 ~x8264+1 ~x8263-0=116850686 58.77/58.84 c 33554432 ~x2266691+16777216 ~x2266690+8388608 ~x2266689+4194304 ~x2266688+2097152 ~x2266687+1048576 ~x2266686+524288 ~x2266685+262144 ~x2266684+131072 ~x2266683+65536 ~x2266682+32768 ~x2266681+16384 ~x2266680+8192 ~x2266679+4096 ~x2266678+2048 ~x2266677+1024 ~x2266676+512 ~x2266675+256 ~x2266674+128 ~x2266673+64 ~x2266672+32 ~x2266671+16 ~x2266670+8 ~x2266669+4 ~x2266668+2 ~x2266667+1 ~x2266666+33554432 ~x8318+16777216 ~x8317+8388608 ~x8316+4194304 ~x8315+2097152 ~x8314+1048576 ~x8313+524288 ~x8312+262144 ~x8311+131072 ~x8310+65536 ~x8309+32768 ~x8308+16384 ~x8307+8192 ~x8306+4096 ~x8305+2048 ~x8304+1024 ~x8303+512 ~x8302+256 ~x8301+128 ~x8300+64 ~x8299+32 ~x8298+16 ~x8297+8 ~x8296+4 ~x8295+2 ~x8294+1 ~x8293-0=116850686 59.07/59.16 c 33554432 ~x2280371+16777216 ~x2280370+8388608 ~x2280369+4194304 ~x2280368+2097152 ~x2280367+1048576 ~x2280366+524288 ~x2280365+262144 ~x2280364+131072 ~x2280363+65536 ~x2280362+32768 ~x2280361+16384 ~x2280360+8192 ~x2280359+4096 ~x2280358+2048 ~x2280357+1024 ~x2280356+512 ~x2280355+256 ~x2280354+128 ~x2280353+64 ~x2280352+32 ~x2280351+16 ~x2280350+8 ~x2280349+4 ~x2280348+2 ~x2280347+1 ~x2280346+33554432 ~x8167+16777216 ~x8166+8388608 ~x8165+4194304 ~x8164+2097152 ~x8163+1048576 ~x8162+524288 ~x8161+262144 ~x8160+131072 ~x8159+65536 ~x8158+32768 ~x8157+16384 ~x8156+8192 ~x8155+4096 ~x8154+2048 ~x8153+1024 ~x8152+512 ~x8151+256 ~x8150+128 ~x8149+64 ~x8148+32 ~x8147+16 ~x8146+8 ~x8145+4 ~x8144+2 ~x8143+1 ~x8142-0=116850686 59.38/59.48 c 33554432 ~x2294051+16777216 ~x2294050+8388608 ~x2294049+4194304 ~x2294048+2097152 ~x2294047+1048576 ~x2294046+524288 ~x2294045+262144 ~x2294044+131072 ~x2294043+65536 ~x2294042+32768 ~x2294041+16384 ~x2294040+8192 ~x2294039+4096 ~x2294038+2048 ~x2294037+1024 ~x2294036+512 ~x2294035+256 ~x2294034+128 ~x2294033+64 ~x2294032+32 ~x2294031+16 ~x2294030+8 ~x2294029+4 ~x2294028+2 ~x2294027+1 ~x2294026+33554432 ~x8197+16777216 ~x8196+8388608 ~x8195+4194304 ~x8194+2097152 ~x8193+1048576 ~x8192+524288 ~x8191+262144 ~x8190+131072 ~x8189+65536 ~x8188+32768 ~x8187+16384 ~x8186+8192 ~x8185+4096 ~x8184+2048 ~x8183+1024 ~x8182+512 ~x8181+256 ~x8180+128 ~x8179+64 ~x8178+32 ~x8
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-2673923-1276799440/watcher-2673923-1276799440 -o /tmp/evaluation-result-2673923-1276799440/solver-2673923-1276799440 -C 1800 -W 2000 -M 1800 run HOME/instance-2673923-1276799440.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.87 0.95 0.98 3/106 23950 /proc/meminfo: memFree=1880864/2059040 swapFree=4140240/4192956 [pid=23950] ppid=23948 vsize=8700 CPUtime=0 /proc/23950/stat : 23950 (run) S 23948 23950 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21235523 8908800 251 1992294400 4194304 4922060 140736565934368 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23950/statm: 2175 251 211 178 0 68 0 [startup+0.035787 s] /proc/loadavg: 0.87 0.95 0.98 3/106 23950 /proc/meminfo: memFree=1880864/2059040 swapFree=4140240/4192956 [pid=23950] ppid=23948 vsize=8700 CPUtime=0 /proc/23950/stat : 23950 (run) S 23948 23950 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21235523 8908800 251 1992294400 4194304 4922060 140736565934368 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23950/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101787 s] /proc/loadavg: 0.87 0.95 0.98 3/106 23950 /proc/meminfo: memFree=1880864/2059040 swapFree=4140240/4192956 [pid=23950] ppid=23948 vsize=8700 CPUtime=0 /proc/23950/stat : 23950 (run) S 23948 23950 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21235523 8908800 251 1992294400 4194304 4922060 140736565934368 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23950/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301804 s] /proc/loadavg: 0.87 0.95 0.98 3/106 23950 /proc/meminfo: memFree=1880864/2059040 swapFree=4140240/4192956 [pid=23950] ppid=23948 vsize=8700 CPUtime=0 /proc/23950/stat : 23950 (run) S 23948 23950 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21235523 8908800 251 1992294400 4194304 4922060 140736565934368 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23950/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701841 s] /proc/loadavg: 0.87 0.95 0.98 3/106 23950 /proc/meminfo: memFree=1880864/2059040 swapFree=4140240/4192956 [pid=23950] ppid=23948 vsize=8700 CPUtime=0 /proc/23950/stat : 23950 (run) S 23948 23950 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21235523 8908800 251 1992294400 4194304 4922060 140736565934368 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23950/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50191 s] /proc/loadavg: 0.87 0.95 0.98 2/108 23953 /proc/meminfo: memFree=1715928/2059040 swapFree=4140240/4192956 [pid=23950] ppid=23948 vsize=8700 CPUtime=0 /proc/23950/stat : 23950 (run) S 23948 23950 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21235523 8908800 251 1992294400 4194304 4922060 140736565934368 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23950/statm: 2175 251 211 178 0 68 0 [pid=23952] ppid=23950 vsize=245700 CPUtime=1.48 /proc/23952/stat : 23952 (PBPASSolver) R 23950 23950 23863 0 -1 4202496 60886 0 0 0 58 90 0 0 25 0 1 0 21235523 251596800 60824 1992294400 134512640 134902295 4293710224 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23952/statm: 61425 60832 256 96 0 60637 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 254400 [startup+3.10106 s] /proc/loadavg: 0.87 0.95 0.98 2/108 23953 /proc/meminfo: memFree=1547536/2059040 swapFree=4140240/4192956 [pid=23950] ppid=23948 vsize=8700 CPUtime=0 /proc/23950/stat : 23950 (run) S 23948 23950 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21235523 8908800 251 1992294400 4194304 4922060 140736565934368 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23950/statm: 2175 251 211 178 0 68 0 [pid=23952] ppid=23950 vsize=480676 CPUtime=3.08 /proc/23952/stat : 23952 (PBPASSolver) R 23950 23950 23863 0 -1 4202496 119606 0 0 0 134 174 0 0 25 0 1 0 21235523 492212224 119544 1992294400 134512640 134902295 4293710224 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23952/statm: 120169 119551 256 96 0 119381 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 489376 [startup+6.30134 s] /proc/loadavg: 0.88 0.95 0.98 2/108 23953 /proc/meminfo: memFree=1098284/2059040 swapFree=4140240/4192956 [pid=23950] ppid=23948 vsize=8700 CPUtime=0 /proc/23950/stat : 23950 (run) S 23948 23950 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21235523 8908800 251 1992294400 4194304 4922060 140736565934368 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23950/statm: 2175 251 211 178 0 68 0 [pid=23952] ppid=23950 vsize=875180 CPUtime=6.28 /proc/23952/stat : 23952 (PBPASSolver) R 23950 23950 23863 0 -1 4202496 218168 0 0 0 312 316 0 0 25 0 1 0 21235523 896184320 218105 1992294400 134512640 134902295 4293710224 18446744073709551615 7493116 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23952/statm: 218795 218105 262 96 0 218007 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 883880 [startup+12.7009 s] /proc/loadavg: 0.89 0.95 0.98 2/108 23953 /proc/meminfo: memFree=915012/2059040 swapFree=4140240/4192956 [pid=23950] ppid=23948 vsize=8700 CPUtime=0 /proc/23950/stat : 23950 (run) S 23948 23950 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21235523 8908800 251 1992294400 4194304 4922060 140736565934368 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23950/statm: 2175 251 211 178 0 68 0 [pid=23952] ppid=23950 vsize=985080 CPUtime=12.68 /proc/23952/stat : 23952 (PBPASSolver) R 23950 23950 23863 0 -1 4202496 248525 0 0 0 939 329 0 0 25 0 1 0 21235523 1008721920 244635 1992294400 134512640 134902295 4293710224 18446744073709551615 134569456 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23952/statm: 246270 244636 262 96 0 245482 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 993780 [startup+25.5011 s] /proc/loadavg: 0.91 0.96 0.98 2/108 23953 /proc/meminfo: memFree=669492/2059040 swapFree=4140240/4192956 [pid=23950] ppid=23948 vsize=8700 CPUtime=0 /proc/23950/stat : 23950 (run) S 23948 23950 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21235523 8908800 251 1992294400 4194304 4922060 140736565934368 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23950/statm: 2175 251 211 178 0 68 0 [pid=23952] ppid=23950 vsize=1237148 CPUtime=25.48 /proc/23952/stat : 23952 (PBPASSolver) R 23950 23950 23863 0 -1 4202496 310707 0 0 0 2192 356 0 0 25 0 1 0 21235523 1266839552 303545 1992294400 134512640 134902295 4293710224 18446744073709551615 4159726760 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23952/statm: 309287 303545 262 96 0 308499 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1245848 [startup+51.1014 s] /proc/loadavg: 0.94 0.96 0.98 2/108 23955 /proc/meminfo: memFree=231276/2059040 swapFree=4140240/4192956 [pid=23950] ppid=23948 vsize=8700 CPUtime=0 /proc/23950/stat : 23950 (run) S 23948 23950 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21235523 8908800 251 1992294400 4194304 4922060 140736565934368 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23950/statm: 2175 251 211 178 0 68 0 [pid=23952] ppid=23950 vsize=1696264 CPUtime=51.07 /proc/23952/stat : 23952 (PBPASSolver) R 23950 23950 23863 0 -1 4202496 430637 0 0 0 4700 407 0 0 25 0 1 0 21235523 1736974336 414037 1992294400 134512640 134902295 4293710224 18446744073709551615 134814590 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23952/statm: 424066 414037 262 96 0 423278 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1704964 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+59.7011 s] /proc/loadavg: 0.95 0.96 0.98 2/108 23955 /proc/meminfo: memFree=61148/2059040 swapFree=4140240/4192956 [pid=23950] ppid=23948 vsize=8700 CPUtime=0 /proc/23950/stat : 23950 (run) S 23948 23950 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21235523 8908800 251 1992294400 4194304 4922060 140736565934368 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23950/statm: 2175 251 211 178 0 68 0 [pid=23952] ppid=23950 vsize=1834712 CPUtime=59.67 /proc/23952/stat : 23952 (PBPASSolver) R 23950 23950 23863 0 -1 4202496 472854 0 0 0 5544 423 0 0 25 0 1 0 21235523 1878745088 454086 1992294400 134512640 134902295 4293710224 18446744073709551615 7493116 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23952/statm: 458678 454086 262 96 0 457890 0 Current children cumulated CPU time (s) 59.67 Current children cumulated vsize (KiB) 1843412 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+59.7011 s] /proc/loadavg: 0.95 0.96 0.98 2/108 23955 /proc/meminfo: memFree=61148/2059040 swapFree=4140240/4192956 [pid=23950] ppid=23948 vsize=8700 CPUtime=0 /proc/23950/stat : 23950 (run) S 23948 23950 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21235523 8908800 251 1992294400 4194304 4922060 140736565934368 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23950/statm: 2175 251 211 178 0 68 0 [pid=23952] ppid=23950 vsize=1834712 CPUtime=59.67 /proc/23952/stat : 23952 (PBPASSolver) R 23950 23950 23863 0 -1 4202496 472854 0 0 0 5544 423 0 0 25 0 1 0 21235523 1878745088 454086 1992294400 134512640 134902295 4293710224 18446744073709551615 7493116 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23952/statm: 458678 454086 262 96 0 457890 0 Current children cumulated CPU time (s) 59.67 Current children cumulated vsize (KiB) 1843412 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 23950 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=999 # CPU time returned by wait4() is 0.002998 # while last known CPU time is 59.67 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 59.7144 CPU time (s): 59.67 CPU user time (s): 55.44 CPU system time (s): 4.23 CPU usage (%): 99.9256 Max. virtual memory (cumulated for all children) (KiB): 1843412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001999 system time used= 0.000999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 523 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3 runsolver used 0.081987 second user time and 0.32295 second system time The end
Begin job on node051 at 2010-06-17 20:30:40 IDJOB=2673923 IDBENCH=2337 IDSOLVER=1174 FILE ID=node051/2673923-1276799440 PBS_JOBID= 11176667 Free space on /tmp= 62564 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673923-1276799440/watcher-2673923-1276799440 -o /tmp/evaluation-result-2673923-1276799440/solver-2673923-1276799440 -C 1800 -W 2000 -M 1800 run HOME/instance-2673923-1276799440.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5d09427ddf3dc39fc0331bd5827affb8 RANDOM SEED=407559197 node051.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.255 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.51 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.255 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1881384 kB Buffers: 14372 kB Cached: 78156 kB SwapCached: 5508 kB Active: 21128 kB Inactive: 83700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1881384 kB SwapTotal: 4192956 kB SwapFree: 4140240 kB Dirty: 1776 kB Writeback: 0 kB AnonPages: 10904 kB Mapped: 12932 kB Slab: 50828 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181076 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= 62560 MiB End job on node051 at 2010-06-17 20:31:42