12.88/12.98	c 4960 16157 0 0 0 0 0 0
12.88/12.98	c 8 ~x14558+4 ~x14557+2 ~x14556+1 ~x14555+4 ~x3129+4 ~x2809+10 ~x2729+5 ~x2649+7 ~x2569+1 ~x2489-0=27
12.88/12.98	c 8 ~x14824+4 ~x14823+2 ~x14822+1 ~x14821+4 ~x3130+4 ~x2810+10 ~x2730+5 ~x2650+7 ~x2570+1 ~x2490-0=27
12.88/12.98	c 16 ~x15091+8 ~x15090+4 ~x15089+2 ~x15088+1 ~x15087+9 ~x4251+4 ~x3131+4 ~x3051+6 ~x2971+4 ~x2811+10 ~x2731+5 ~x2651+7 ~x2571+1 ~x2491-0=62
13.09/13.14	c 32 ~x15539+16 ~x15538+8 ~x15537+4 ~x15536+2 ~x15535+1 ~x15534+9 ~x4252+2 ~x3692+1 ~x3212+4 ~x3132+4 ~x3052+6 ~x2972+4 ~x2812+10 ~x2732+5 ~x2652+7 ~x2572+1 ~x2492-0=97
13.09/13.17	c 32 ~x16200+16 ~x16199+8 ~x16198+4 ~x16197+2 ~x16196+1 ~x16195+9 ~x4253+2 ~x3693+1 ~x3213+4 ~x3133+4 ~x3053+6 ~x2973+4 ~x2813+10 ~x2733+5 ~x2653+7 ~x2573+1 ~x2493-0=97
13.09/13.17	c 32 ~x16861+16 ~x16860+8 ~x16859+4 ~x16858+2 ~x16857+1 ~x16856+9 ~x4254+2 ~x3694+2 ~x3614+1 ~x3214+4 ~x3134+4 ~x3054+6 ~x2974+4 ~x2814+10 ~x2734+5 ~x2654+7 ~x2574+1 ~x2494-0=99
13.09/13.19	c 32 ~x17573+16 ~x17572+8 ~x17571+4 ~x17570+2 ~x17569+1 ~x17568+9 ~x4255+2 ~x3695+2 ~x3615+1 ~x3215+4 ~x3135+4 ~x3055+6 ~x2975+4 ~x2815+10 ~x2735+5 ~x2655+7 ~x2575+1 ~x2495-0=99
13.19/13.24	c 32 ~x18285+16 ~x18284+8 ~x18283+4 ~x18282+2 ~x18281+1 ~x18280+9 ~x4256+2 ~x3696+2 ~x3616+1 ~x3216+4 ~x3136+4 ~x3056+6 ~x2976+4 ~x2816+10 ~x2736+5 ~x2656+7 ~x2576+1 ~x2496-0=99
13.19/13.24	c 32 ~x18997+16 ~x18996+8 ~x18995+4 ~x18994+2 ~x18993+1 ~x18992+9 ~x4257+2 ~x3697+2 ~x3617+6 ~x3377+5 ~x3297+1 ~x3217+4 ~x3137+4 ~x3057+6 ~x2977+4 ~x2817+10 ~x2737+5 ~x2657+7 ~x2577+1 ~x2497-0=110
13.19/13.26	c 64 ~x19812+32 ~x19811+16 ~x19810+8 ~x19809+4 ~x19808+2 ~x19807+1 ~x19806+9 ~x4258+5 ~x3858+9 ~x3778+2 ~x3698+2 ~x3618+6 ~x3378+5 ~x3298+1 ~x3218+4 ~x3138+4 ~x3058+6 ~x2978+8 ~x2898+4 ~x2818+10 ~x2738+5 ~x2658+7 ~x2578+1 ~x2498-0=196
13.19/13.29	c 64 ~x20914+32 ~x20913+16 ~x20912+8 ~x20911+4 ~x20910+2 ~x20909+1 ~x20908+9 ~x4259+5 ~x3859+9 ~x3779+2 ~x3699+2 ~x3619+6 ~x3379+5 ~x3299+1 ~x3219+4 ~x3139+4 ~x3059+6 ~x2979+8 ~x2899+4 ~x2819+10 ~x2739+5 ~x2659+7 ~x2579+1 ~x2499-0=196
13.28/13.31	c 64 ~x22016+32 ~x22015+16 ~x22014+8 ~x22013+4 ~x22012+2 ~x22011+1 ~x22010+9 ~x4260+5 ~x3860+9 ~x3780+2 ~x3700+2 ~x3620+6 ~x3380+5 ~x3300+1 ~x3220+4 ~x3140+4 ~x3060+6 ~x2980+8 ~x2900+4 ~x2820+10 ~x2740+5 ~x2660+7 ~x2580+1 ~x2500-0=196
13.28/13.34	c 64 ~x23118+32 ~x23117+16 ~x23116+8 ~x23115+4 ~x23114+2 ~x23113+1 ~x23112+9 ~x4261+5 ~x3861+9 ~x3781+2 ~x3701+2 ~x3621+6 ~x3381+5 ~x3301+1 ~x3221+4 ~x3141+4 ~x3061+6 ~x2981+8 ~x2901+4 ~x2821+10 ~x2741+5 ~x2661+7 ~x2581+1 ~x2501-0=196
13.28/13.37	c 64 ~x24220+32 ~x24219+16 ~x24218+8 ~x24217+4 ~x24216+2 ~x24215+1 ~x24214+9 ~x4262+5 ~x3862+9 ~x3782+2 ~x3702+2 ~x3622+6 ~x3382+5 ~x3302+1 ~x3222+4 ~x3142+4 ~x3062+6 ~x2982+8 ~x2902+4 ~x2822+10 ~x2742+5 ~x2662+7 ~x2582+1 ~x2502-0=196
13.39/13.40	c 64 ~x25322+32 ~x25321+16 ~x25320+8 ~x25319+4 ~x25318+2 ~x25317+1 ~x25316+9 ~x4263+5 ~x3863+9 ~x3783+2 ~x3703+2 ~x3623+6 ~x3383+5 ~x3303+1 ~x3223+4 ~x3143+4 ~x3063+6 ~x2983+8 ~x2903+4 ~x2823+10 ~x2743+5 ~x2663+7 ~x2583+1 ~x2503-0=196
13.39/13.43	c 64 ~x26424+32 ~x26423+16 ~x26422+8 ~x26421+4 ~x26420+2 ~x26419+1 ~x26418+9 ~x4264+3 ~x3944+5 ~x3864+9 ~x3784+2 ~x3704+2 ~x3624+6 ~x3384+5 ~x3304+1 ~x3224+4 ~x3144+4 ~x3064+6 ~x2984+8 ~x2904+4 ~x2824+10 ~x2744+5 ~x2664+7 ~x2584+1 ~x2504-0=199
13.39/13.46	c 64 ~x27583+32 ~x27582+16 ~x27581+8 ~x27580+4 ~x27579+2 ~x27578+1 ~x27577+5 ~x4665+9 ~x4265+3 ~x3945+5 ~x3865+9 ~x3785+2 ~x3705+2 ~x3625+6 ~x3385+5 ~x3305+1 ~x3225+4 ~x3145+4 ~x3065+6 ~x2985+8 ~x2905+4 ~x2825+10 ~x2745+5 ~x2665+7 ~x2585+1 ~x2505-0=204
13.39/13.49	c 64 ~x28799+32 ~x28798+16 ~x28797+8 ~x28796+4 ~x28795+2 ~x28794+1 ~x28793+5 ~x4666+9 ~x4266+3 ~x3946+5 ~x3866+9 ~x3786+2 ~x3706+2 ~x3626+10 ~x3546+6 ~x3386+5 ~x3306+1 ~x3226+4 ~x3146+4 ~x3066+6 ~x2986+8 ~x2906+4 ~x2826+10 ~x2746+5 ~x2666+7 ~x2586+1 ~x2506-0=214
13.49/13.52	c 64 ~x30072+32 ~x30071+16 ~x30070+8 ~x30069+4 ~x30068+2 ~x30067+1 ~x30066+9 ~x4747+5 ~x4667+9 ~x4267+3 ~x3947+5 ~x3867+9 ~x3787+2 ~x3707+2 ~x3627+10 ~x3547+10 ~x3467+6 ~x3387+5 ~x3307+1 ~x3227+4 ~x3147+4 ~x3067+6 ~x2987+8 ~x2907+4 ~x2827+10 ~x2747+5 ~x2667+7 ~x2587+1 ~x2507-0=233
13.49/13.56	c 64 ~x31698+32 ~x31697+16 ~x31696+8 ~x31695+4 ~x31694+2 ~x31693+1 ~x31692+9 ~x4748+5 ~x4668+9 ~x4268+10 ~x4188+8 ~x4028+3 ~x3948+5 ~x3868+9 ~x3788+2 ~x3708+2 ~x3628+10 ~x3548+10 ~x3468+6 ~x3388+5 ~x3308+1 ~x3228+4 ~x3148+4 ~x3068+6 ~x2988+8 ~x2908+4 ~x2828+10 ~x2748+5 ~x2668+7 ~x2588+1 ~x2508-0=251
13.58/13.61	c 128 ~x33457+64 ~x33456+32 ~x33455+16 ~x33454+8 ~x33453+4 ~x33452+2 ~x33451+1 ~x33450+9 ~x4749+5 ~x4669+4 ~x4349+9 ~x4269+10 ~x4189+8 ~x4029+3 ~x3949+5 ~x3869+9 ~x3789+2 ~x3709+2 ~x3629+10 ~x3549+10 ~x3469+6 ~x3389+5 ~x3309+1 ~x3229+4 ~x3149+4 ~x3069+6 ~x2989+8 ~x2909+4 ~x2829+10 ~x2749+5 ~x2669+7 ~x2589+1 ~x2509-0=383
13.58/13.66	c 128 ~x35348+64 ~x35347+32 ~x35346+16 ~x35345+8 ~x35344+4 ~x35343+2 ~x35342+1 ~x35341+9 ~x4750+5 ~x4670+4 ~x4350+9 ~x4270+10 ~x4190+8 ~x4030+3 ~x3950+5 ~x3870+9 ~x3790+2 ~x3710+2 ~x3630+10 ~x3550+10 ~x3470+6 ~x3390+5 ~x3310+1 ~x3230+4 ~x3150+4 ~x3070+6 ~x2990+8 ~x2910+4 ~x2830+10 ~x2750+5 ~x2670+7 ~x2590+1 ~x2510-0=383
13.68/13.70	c 128 ~x37239+64 ~x37238+32 ~x37237+16 ~x37236+8 ~x37235+4 ~x37234+2 ~x37233+1 ~x37232+9 ~x4751+5 ~x4671+10 ~x4511+4 ~x4351+9 ~x4271+10 ~x4191+8 ~x4031+3 ~x3951+5 ~x3871+9 ~x3791+2 ~x3711+2 ~x3631+10 ~x3551+10 ~x3471+6 ~x3391+5 ~x3311+1 ~x3231+4 ~x3151+4 ~x3071+6 ~x2991+8 ~x2911+4 ~x2831+10 ~x2751+5 ~x2671+7 ~x2591+1 ~x2511-0=393
13.68/13.75	c 128 ~x39196+64 ~x39195+32 ~x39194+16 ~x39193+8 ~x39192+4 ~x39191+2 ~x39190+1 ~x39189+9 ~x4752+5 ~x4672+10 ~x4512+4 ~x4352+9 ~x4272+10 ~x4192+8 ~x4032+3 ~x3952+5 ~x3872+9 ~x3792+2 ~x3712+2 ~x3632+10 ~x3552+10 ~x3472+6 ~x3392+5 ~x3312+1 ~x3232+4 ~x3152+4 ~x3072+6 ~x2992+8 ~x2912+4 ~x2832+10 ~x2752+5 ~x2672+7 ~x2592+1 ~x2512-0=393
13.78/13.80	c 128 ~x41153+64 ~x41152+32 ~x41151+16 ~x41150+8 ~x41149+4 ~x41148+2 ~x41147+1 ~x41146+9 ~x4753+5 ~x4673+10 ~x4513+4 ~x4353+9 ~x4273+10 ~x4193+8 ~x4033+3 ~x3953+5 ~x3873+9 ~x3793+2 ~x3713+2 ~x3633+10 ~x3553+10 ~x3473+6 ~x3393+5 ~x3313+1 ~x3233+4 ~x3153+4 ~x3073+6 ~x2993+8 ~x2913+4 ~x2833+10 ~x2753+5 ~x2673+7 ~x2593+1 ~x2513-0=393
13.78/13.85	c 128 ~x43110+64 ~x43109+32 ~x43108+16 ~x43107+8 ~x43106+4 ~x43105+2 ~x43104+1 ~x43103+9 ~x4754+5 ~x4674+10 ~x4514+4 ~x4354+9 ~x4274+10 ~x4194+8 ~x4034+3 ~x3954+5 ~x3874+9 ~x3794+2 ~x3714+2 ~x3634+10 ~x3554+10 ~x3474+6 ~x3394+5 ~x3314+1 ~x3234+4 ~x3154+4 ~x3074+6 ~x2994+8 ~x2914+4 ~x2834+10 ~x2754+5 ~x2674+7 ~x2594+1 ~x2514-0=393
13.88/13.90	c 128 ~x45067+64 ~x45066+32 ~x45065+16 ~x45064+8 ~x45063+4 ~x45062+2 ~x45061+1 ~x45060+9 ~x4755+5 ~x4675+10 ~x4515+4 ~x4355+9 ~x4275+10 ~x4195+8 ~x4035+3 ~x3955+5 ~x3875+9 ~x3795+2 ~x3715+2 ~x3635+10 ~x3555+10 ~x3475+6 ~x3395+5 ~x3315+1 ~x3235+4 ~x3155+4 ~x3075+6 ~x2995+8 ~x2915+4 ~x2835+10 ~x2755+5 ~x2675+7 ~x2595+1 ~x2515-0=393
13.88/13.95	c 128 ~x47024+64 ~x47023+32 ~x47022+16 ~x47021+8 ~x47020+4 ~x47019+2 ~x47018+1 ~x47017+9 ~x4756+5 ~x4676+10 ~x4516+4 ~x4356+9 ~x4276+10 ~x4196+8 ~x4036+3 ~x3956+5 ~x3876+9 ~x3796+2 ~x3716+2 ~x3636+10 ~x3556+10 ~x3476+6 ~x3396+5 ~x3316+1 ~x3236+4 ~x3156+4 ~x3076+6 ~x2996+8 ~x2916+4 ~x2836+10 ~x2756+5 ~x2676+7 ~x2596+1 ~x2516-0=393
13.98/14.00	c 128 ~x48981+64 ~x48980+32 ~x48979+16 ~x48978+8 ~x48977+4 ~x48976+2 ~x48975+1 ~x48974+9 ~x4757+5 ~x4677+10 ~x4517+10 ~x4437+4 ~x4357+9 ~x4277+10 ~x4197+9 ~x4117+8 ~x4037+3 ~x3957+5 ~x3877+9 ~x3797+2 ~x3717+2 ~x3637+10 ~x3557+10 ~x3477+6 ~x3397+5 ~x3317+1 ~x3237+4 ~x3157+4 ~x3077+6 ~x2997+8 ~x2917+4 ~x2837+10 ~x2757+5 ~x2677+7 ~x2597+1 ~x2517-0=412
13.98/14.05	c 128 ~x51070+64 ~x51069+32 ~x51068+16 ~x51067+8 ~x51066+4 ~x51065+2 ~x51064+1 ~x51063+9 ~x4758+5 ~x4678+10 ~x4518+10 ~x4438+4 ~x4358+9 ~x4278+10 ~x4198+9 ~x4118+8 ~x4038+3 ~x3958+5 ~x3878+9 ~x3798+2 ~x3718+2 ~x3638+10 ~x3558+10 ~x3478+6 ~x3398+5 ~x3318+1 ~x3238+4 ~x3158+4 ~x3078+6 ~x2998+8 ~x2918+4 ~x2838+10 ~x2758+7 ~x2598+1 ~x2518-0=407
14.08/14.10	c 128 ~x53084+64 ~x53083+32 ~x53082+16 ~x53081+8 ~x53080+4 ~x53079+2 ~x53078+1 ~x53077+9 ~x4759+5 ~x4679+10 ~x4519+10 ~x4439+4 ~x4359+9 ~x4279+10 ~x4199+9 ~x4119+8 ~x4039+3 ~x3959+5 ~x3879+9 ~x3799+2 ~x3719+2 ~x3639+10 ~x3559+10 ~x3479+6 ~x3399+5 ~x3319+1 ~x3239+4 ~x3159+4 ~x3079+6 ~x2999+8 ~x2919+4 ~x2839+10 ~x2759+7 ~x2599+1 ~x2519-0=407
14.08/14.15	c 128 ~x55098+64 ~x55097+32 ~x55096+16 ~x55095+8 ~x55094+4 ~x55093+2 ~x55092+1 ~x55091+9 ~x4760+5 ~x4680+10 ~x4520+10 ~x4440+4 ~x4360+9 ~x4280+10 ~x4200+9 ~x4120+8 ~x4040+3 ~x3960+5 ~x3880+9 ~x3800+2 ~x3720+2 ~x3640+10 ~x3560+10 ~x3480+6 ~x3400+5 ~x3320+1 ~x3240+4 ~x3160+4 ~x3080+6 ~x3000+8 ~x2920+4 ~x2840+10 ~x2760+7 ~x2600+1 ~x2520-0=407
14.18/14.20	c 128 ~x57112+64 ~x57111+32 ~x57110+16 ~x57109+8 ~x57108+4 ~x57107+2 ~x57106+1 ~x57105+9 ~x4761+5 ~x4681+10 ~x4521+10 ~x4441+4 ~x4361+9 ~x4281+10 ~x4201+9 ~x4121+8 ~x4041+3 ~x3961+5 ~x3881+9 ~x3801+2 ~x3721+2 ~x3641+10 ~x3561+10 ~x3481+6 ~x3401+5 ~x3321+1 ~x3241+4 ~x3161+4 ~x3081+6 ~x3001+8 ~x2921+4 ~x2841+10 ~x2761+7 ~x2601-0=406
14.29/14.32	c 128 ~x59042+64 ~x59041+32 ~x59040+16 ~x59039+8 ~x59038+4 ~x59037+2 ~x59036+1 ~x59035+9 ~x4762+5 ~x4682+1 ~x4602+10 ~x4522+10 ~x4442+4 ~x4362+9 ~x4282+10 ~x4202+9 ~x4122+8 ~x4042+3 ~x3962+5 ~x3882+9 ~x3802+2 ~x3722+2 ~x3642+10 ~x3562+10 ~x3482+6 ~x3402+5 ~x3322+1 ~x3242+4 ~x3162+4 ~x3082+6 ~x3002+8 ~x2922+4 ~x2842+10 ~x2762+7 ~x2602-0=407
14.29/14.38	c 128 ~x61038+64 ~x61037+32 ~x61036+16 ~x61035+8 ~x61034+4 ~x61033+2 ~x61032+1 ~x61031+9 ~x4763+5 ~x4683+1 ~x4603+10 ~x4523+10 ~x4443+4 ~x4363+9 ~x4283+10 ~x4203+9 ~x4123+8 ~x4043+3 ~x3963+5 ~x3883+9 ~x3803+2 ~x3723+2 ~x3643+10 ~x3563+10 ~x3483+6 ~x3403+5 ~x3323+1 ~x3243+4 ~x3163+4 ~x3083+6 ~x3003+8 ~x2923+4 ~x2843+10 ~x2763+7 ~x2603-0=407
14.38/14.43	c 128 ~x63034+64 ~x63033+32 ~x63032+16 ~x63031+8 ~x63030+4 ~x63029+2 ~x63028+1 ~x63027+5 ~x4844+9 ~x4764+5 ~x4684+1 ~x4604+10 ~x4524+10 ~x4444+4 ~x4364+9 ~x4284+10 ~x4204+9 ~x4124+8 ~x4044+3 ~x3964+5 ~x3884+9 ~x3804+2 ~x3724+2 ~x3644+10 ~x3564+10 ~x3484+6 ~x3404+5 ~x3324+1 ~x3244+4 ~x3164+4 ~x3084+6 ~x3004+8 ~x2924+4 ~x2844+10 ~x2764+7 ~x2604-0=412
14.38/14.49	c 128 ~x65096+64 ~x65095+32 ~x65094+16 ~x65093+8 ~x65092+4 ~x65091+2 ~x65090+1 ~x65089+5 ~x4845+9 ~x4765+5 ~x4685+1 ~x4605+10 ~x4525+10 ~x4445+4 ~x4365+9 ~x4285+10 ~x4205+9 ~x4125+8 ~x4045+3 ~x3965+5 ~x3885+9 ~x3805+2 ~x3725+2 ~x3645+10 ~x3565+10 ~x3485+6 ~x3405+5 ~x3325+1 ~x3245+4 ~x3165+4 ~x3085+6 ~x3005+8 ~x2925+4 ~x2845+10 ~x2765+7 ~x2605-0=412
14.48/14.55	c 128 ~x67158+64 ~x67157+32 ~x67156+16 ~x67155+8 ~x67154+4 ~x67153+2 ~x67152+1 ~x67151+5 ~x4846+9 ~x4766+5 ~x4686+1 ~x4606+10 ~x4526+10 ~x4446+4 ~x4366+9 ~x4286+10 ~x4206+9 ~x4126+8 ~x4046+3 ~x3966+5 ~x3886+9 ~x3806+2 ~x3726+2 ~x3646+10 ~x3566+10 ~x3486+6 ~x3406+5 ~x3326+1 ~x3246+4 ~x3166+4 ~x3086+6 ~x3006+8 ~x2926+4 ~x2846+10 ~x2766+7 ~x2606-0=412
14.58/14.60	c 128 ~x69220+64 ~x69219+32 ~x69218+16 ~x69217+8 ~x69216+4 ~x69215+2 ~x69214+1 ~x69213+5 ~x4847+9 ~x4767+5 ~x4687+1 ~x4607+10 ~x4527+10 ~x4447+4 ~x4367+9 ~x4287+10 ~x4207+9 ~x4127+8 ~x4047+3 ~x3967+5 ~x3887+9 ~x3807+2 ~x3727+2 ~x3647+10 ~x3567+10 ~x3487+6 ~x3407+5 ~x3327+1 ~x3247+4 ~x3087+8 ~x2927+4 ~x2847+10 ~x2767+7 ~x2607-0=402
14.58/14.66	c 128 ~x71144+64 ~x71143+32 ~x71142+16 ~x71141+8 ~x71140+4 ~x71139+2 ~x71138+1 ~x71137+5 ~x4848+9 ~x4768+5 ~x4688+1 ~x4608+10 ~x4528+10 ~x4448+4 ~x4368+9 ~x4288+10 ~x4208+9 ~x4128+8 ~x4048+3 ~x3968+5 ~x3888+9 ~x3808+2 ~x3728+2 ~x3648+10 ~x3568+10 ~x3488+6 ~x3408+5 ~x3328+1 ~x3248+4 ~x3088+8 ~x2928+4 ~x2848+10 ~x2768+7 ~x2608-0=402
14.68/14.71	c 128 ~x73068+64 ~x73067+32 ~x73066+16 ~x73065+8 ~x73064+4 ~x73063+2 ~x73062+1 ~x73061+5 ~x4849+9 ~x4769+5 ~x4689+1 ~x4609+10 ~x4529+10 ~x4449+4 ~x4369+9 ~x4289+10 ~x4209+9 ~x4129+8 ~x4049+3 ~x3969+5 ~x3889+9 ~x3809+2 ~x3729+2 ~x3649+10 ~x3569+10 ~x3489+6 ~x3409+5 ~x3329+1 ~x3249+4 ~x3089+8 ~x2929+4 ~x2849+10 ~x2769+7 ~x2609-0=402
14.68/14.76	c 128 ~x74992+64 ~x74991+32 ~x74990+16 ~x74989+8 ~x74988+4 ~x74987+2 ~x74986+1 ~x74985+5 ~x4850+9 ~x4770+5 ~x4690+1 ~x4610+10 ~x4530+10 ~x4450+4 ~x4370+9 ~x4290+10 ~x4210+9 ~x4130+8 ~x4050+3 ~x3970+5 ~x3890+9 ~x3810+2 ~x3730+2 ~x3650+10 ~x3570+10 ~x3490+6 ~x3410+5 ~x3330+1 ~x3250+4 ~x3090+8 ~x2930+10 ~x2770+7 ~x2610-0=398
14.78/14.80	c 128 ~x76859+64 ~x76858+32 ~x76857+16 ~x76856+8 ~x76855+4 ~x76854+2 ~x76853+1 ~x76852+5 ~x4851+9 ~x4771+5 ~x4691+1 ~x4611+10 ~x4531+10 ~x4451+4 ~x4371+9 ~x4291+10 ~x4211+9 ~x4131+8 ~x4051+3 ~x3971+5 ~x3891+9 ~x3811+2 ~x3731+2 ~x3651+10 ~x3571+10 ~x3491+6 ~x3411+5 ~x3331+1 ~x3251+4 ~x3091+8 ~x2931+10 ~x2771+7 ~x2611-0=398
14.78/14.85	c 128 ~x78726+64 ~x78725+32 ~x78724+16 ~x78723+8 ~x78722+4 ~x78721+2 ~x78720+1 ~x78719+5 ~x4852+9 ~x4772+5 ~x4692+1 ~x4612+10 ~x4532+10 ~x4452+4 ~x4372+9 ~x4292+10 ~x4212+9 ~x4132+8 ~x4052+3 ~x3972+5 ~x3892+9 ~x3812+2 ~x3732+2 ~x3652+10 ~x3572+10 ~x3492+6 ~x3412+5 ~x3332+1 ~x3252+4 ~x3092+8 ~x2932+10 ~x2772+7 ~x2612-0=398
14.88/14.90	c 128 ~x80593+64 ~x80592+32 ~x80591+16 ~x80590+8 ~x80589+4 ~x80588+2 ~x80587+1 ~x80586+5 ~x4853+9 ~x4773+5 ~x4693+1 ~x4613+10 ~x4533+10 ~x4453+4 ~x4373+9 ~x4293+10 ~x4213+9 ~x4133+8 ~x4053+3 ~x3973+5 ~x3893+9 ~x3813+2 ~x3733+2 ~x3653+10 ~x3573+10 ~x3493+6 ~x3413+5 ~x3333+1 ~x3253+4 ~x3093+8 ~x2933+7 ~x2613-0=388
14.88/14.94	c 64 ~x82408+32 ~x82407+16 ~x82406+8 ~x82405+4 ~x82404+2 ~x82403+1 ~x82402+5 ~x4854+9 ~x4774+5 ~x4694+1 ~x4614+10 ~x4534+10 ~x4454+4 ~x4374+9 ~x4294+10 ~x4214+9 ~x4134+8 ~x4054+3 ~x3974+5 ~x3894+9 ~x3814+2 ~x3734+2 ~x3654+10 ~x3574+10 ~x3494+6 ~x3414+5 ~x3334+1 ~x3254+4 ~x3094+8 ~x2934-0=253
14.88/14.98	c 64 ~x84130+32 ~x84129+16 ~x84128+8 ~x84127+4 ~x84126+2 ~x84125+1 ~x84124+5 ~x4855+9 ~x4775+5 ~x4695+1 ~x4615+10 ~x4535+10 ~x4455+4 ~x4375+9 ~x4295+10 ~x4215+9 ~x4135+8 ~x4055+3 ~x3975+5 ~x3895+9 ~x3815+2 ~x3735+2 ~x3655+10 ~x3575+10 ~x3495+6 ~x3415+5 ~x3335+1 ~x3255+4 ~x3095+8 ~x2935-0=253
14.98/15.03	c 64 ~x85852+32 ~x85851+16 ~x85850+8 ~x85849+4 ~x85848+2 ~x85847+1 ~x85846+5 ~x4856+9 ~x4776+5 ~x4696+1 ~x4616+10 ~x4536+10 ~x4456+4 ~x4376+9 ~x4296+10 ~x4216+9 ~x4136+8 ~x4056+3 ~x3976+5 ~x3896+9 ~x3816+2 ~x3736+2 ~x3656+10 ~x3576+10 ~x3496+6 ~x3416+5 ~x3336+1 ~x3256+4 ~x3096+8 ~x2936-0=253
14.98/15.08	c 64 ~x87574+32 ~x87573+16 ~x87572+8 ~x87571+4 ~x87570+2 ~x87569+1 ~x87568+5 ~x4857+9 ~x4777+5 ~x4697+1 ~x4617+10 ~x4537+10 ~x4457+4 ~x4377+9 ~x4297+10 ~x4217+9 ~x4137+8 ~x4057+3 ~x3977+9 ~x3817+2 ~x3737+2 ~x3657+10 ~x3577+10 ~x3497+5 ~x3337+8 ~x2937-0=237
15.08/15.11	c 64 ~x89005+32 ~x89004+16 ~x89003+8 ~x89002+4 ~x89001+2 ~x89000+1 ~x88999+5 ~x4858+9 ~x4778+5 ~x4698+1 ~x4618+10 ~x4538+10 ~x4458+4 ~x4378+9 ~x4298+10 ~x4218+9 ~x4138+8 ~x4058+3 ~x3978+9 ~x3818+2 ~x3738+2 ~x3658+10 ~x3578+10 ~x3498+5 ~x3338-0=229
15.08/15.15	c 64 ~x90358+32 ~x90357+16 ~x90356+8 ~x90355+4 ~x90354+2 ~x90353+1 ~x90352+5 ~x4859+9 ~x4779+5 ~x4699+1 ~x4619+10 ~x4539+10 ~x4459+4 ~x4379+9 ~x4299+10 ~x4219+9 ~x4139+8 ~x4059+3 ~x3979+9 ~x3819+2 ~x3739+2 ~x3659+10 ~x3579+10 ~x3499+5 ~x3339-0=229
15.08/15.18	c 64 ~x91711+32 ~x91710+16 ~x91709+8 ~x91708+4 ~x91707+2 ~x91706+1 ~x91705+5 ~x4860+9 ~x4780+5 ~x4700+1 ~x4620+10 ~x4540+10 ~x4460+4 ~x4380+9 ~x4300+10 ~x4220+9 ~x4140+8 ~x4060+3 ~x3980+9 ~x3820+2 ~x3740+2 ~x3660+10 ~x3580+10 ~x3500+5 ~x3340-0=229
15.18/15.22	c 64 ~x93064+32 ~x93063+16 ~x93062+8 ~x93061+4 ~x93060+2 ~x93059+1 ~x93058+5 ~x4861+9 ~x4781+5 ~x4701+1 ~x4621+10 ~x4541+10 ~x4461+4 ~x4381+9 ~x4301+10 ~x4221+9 ~x4141+8 ~x4061+3 ~x3981+9 ~x3821+2 ~x3741+2 ~x3661+10 ~x3581+10 ~x3501+5 ~x3341-0=229
15.18/15.25	c 64 ~x94417+32 ~x94416+16 ~x94415+8 ~x94414+4 ~x94413+2 ~x94412+1 ~x94411+5 ~x4862+9 ~x4782+5 ~x4702+1 ~x4622+10 ~x4542+10 ~x4462+4 ~x4382+9 ~x4302+10 ~x4222+9 ~x4142+8 ~x4062+3 ~x3982+9 ~x3822+2 ~x3742+2 ~x3662+10 ~x3582+10 ~x3502+5 ~x3342-0=229
15.18/15.28	c 64 ~x95770+32 ~x95769+16 ~x95768+8 ~x95767+4 ~x95766+2 ~x95765+1 ~x95764+5 ~x4863+9 ~x4783+5 ~x4703+1 ~x4623+10 ~x4543+10 ~x4463+4 ~x4383+9 ~x4303+10 ~x4223+9 ~x4143+8 ~x4063+3 ~x3983+9 ~x3823+2 ~x3743+2 ~x3663+10 ~x3583+10 ~x3503+5 ~x3343-0=229
15.29/15.32	c 64 ~x97123+32 ~x97122+16 ~x97121+8 ~x97120+4 ~x97119+2 ~x97118+1 ~x97117+5 ~x4864+9 ~x4784+5 ~x4704+1 ~x4624+10 ~x4544+10 ~x4464+4 ~x4384+9 ~x4304+10 ~x4224+9 ~x4144+8 ~x4064+9 ~x3824+2 ~x3664+10 ~x3584+10 ~x3504-0=219
15.29/15.34	c 64 ~x98111+32 ~x98110+16 ~x98109+8 ~x98108+4 ~x98107+2 ~x98106+1 ~x98105+5 ~x4865+9 ~x4785+5 ~x4705+1 ~x4625+10 ~x4545+10 ~x4465+4 ~x4385+9 ~x4305+10 ~x4225+9 ~x4145+8 ~x4065+9 ~x3825+2 ~x3665+10 ~x3585+10 ~x3505-0=219
15.29/15.39	c 32 ~x99098+16 ~x99097+8 ~x99096+4 ~x99095+2 ~x99094+1 ~x99093+5 ~x4866+9 ~x4786+5 ~x4706+1 ~x4626+10 ~x4546+10 ~x4466+4 ~x4386+9 ~x4306+10 ~x4226+9 ~x4146+2 ~x3666-0=118
15.29/15.39	c 32 ~x99759+16 ~x99758+8 ~x99757+4 ~x99756+2 ~x99755+1 ~x99754+5 ~x4867+9 ~x4787+5 ~x4707+1 ~x4627+10 ~x4547+10 ~x4467+4 ~x4387+9 ~x4307+10 ~x4227+9 ~x4147+2 ~x3667-0=118
15.39/15.41	c 32 ~x100420+16 ~x100419+8 ~x100418+4 ~x100417+2 ~x100416+1 ~x100415+5 ~x4868+9 ~x4788+5 ~x4708+1 ~x4628+10 ~x4548+10 ~x4468+4 ~x4388+9 ~x4308+10 ~x4228+9 ~x4148+2 ~x3668-0=118
15.39/15.44	c 32 ~x101081+16 ~x101080+8 ~x101079+4 ~x101078+2 ~x101077+1 ~x101076+5 ~x4869+9 ~x4789+5 ~x4709+1 ~x4629+10 ~x4549+10 ~x4469+10 ~x4229+9 ~x4149+2 ~x3669-0=105
15.39/15.44	c 32 ~x101637+16 ~x101636+8 ~x101635+4 ~x101634+2 ~x101633+1 ~x101632+5 ~x4870+9 ~x4790+5 ~x4710+1 ~x4630+10 ~x4550+10 ~x4470+10 ~x4230+9 ~x4150+2 ~x3670-0=105
15.39/15.46	c 8 ~x102191+4 ~x102190+2 ~x102189+1 ~x102188+5 ~x4871+9 ~x4791+5 ~x4711+1 ~x4631+10 ~x4231+2 ~x3671-0=28
15.39/15.46	c 8 ~x102466+4 ~x102465+2 ~x102464+1 ~x102463+5 ~x4872+9 ~x4792+5 ~x4712+1 ~x4632+10 ~x4232+2 ~x3672-0=28
15.48/15.50	c 16 ~x102742+8 ~x102741+4 ~x102740+2 ~x102739+1 ~x102738+7 ~x3129+10 ~x2809+10 ~x2729+4 ~x2649+5 ~x2569+5 ~x2489-0=55
15.48/15.50	c 16 ~x103024+8 ~x103023+4 ~x103022+2 ~x103021+1 ~x103020+7 ~x3130+10 ~x2810+10 ~x2730+4 ~x2650+5 ~x2570+5 ~x2490-0=55
15.48/15.52	c 16 ~x103306+8 ~x103305+4 ~x103304+2 ~x103303+1 ~x103302+1 ~x4251+7 ~x3131+3 ~x3051+3 ~x2971+10 ~x2811+10 ~x2731+4 ~x2651+5 ~x2571+5 ~x2491-0=62
15.48/15.52	c 32 ~x103724+16 ~x103723+8 ~x103722+4 ~x103721+2 ~x103720+1 ~x103719+1 ~x4252+5 ~x3692+8 ~x3212+7 ~x3132+3 ~x3052+3 ~x2972+10 ~x2812+10 ~x2732+4 ~x2652+5 ~x2572+5 ~x2492-0=107
15.48/15.54	c 32 ~x104355+16 ~x104354+8 ~x104353+4 ~x104352+2 ~x104351+1 ~x104350+1 ~x4253+5 ~x3693+8 ~x3213+7 ~x3133+3 ~x3053+3 ~x2973+10 ~x2813+10 ~x2733+4 ~x2653+5 ~x2573+5 ~x2493-0=107
15.48/15.57	c 32 ~x104986+16 ~x104985+8 ~x104984+4 ~x104983+2 ~x104982+1 ~x104981+1 ~x4254+5 ~x3694+5 ~x3614+8 ~x3214+7 ~x3134+3 ~x3054+3 ~x2974+10 ~x2814+10 ~x2734+4 ~x2654+5 ~x2574+5 ~x2494-0=112
15.48/15.57	c 32 ~x105668+16 ~x105667+8 ~x105666+4 ~x105665+2 ~x105664+1 ~x105663+1 ~x4255+5 ~x3695+5 ~x3615+8 ~x3215+7 ~x3135+3 ~x3055+3 ~x2975+10 ~x2815+10 ~x2735+4 ~x2655+5 ~x2575+5 ~x2495-0=112
15.48/15.59	c 32 ~x106350+16 ~x106349+8 ~x106348+4 ~x106347+2 ~x106346+1 ~x106345+1 ~x4256+5 ~x3696+5 ~x3616+8 ~x3216+7 ~x3136+3 ~x3056+3 ~x2976+10 ~x2816+10 ~x2736+4 ~x2656+5 ~x2576+5 ~x2496-0=112
15.58/15.61	c 32 ~x107032+16 ~x107031+8 ~x107030+4 ~x107029+2 ~x107028+1 ~x107027+1 ~x4257+5 ~x3697+5 ~x3617+7 ~x3377+7 ~x3297+8 ~x3217+7 ~x3137+3 ~x3057+3 ~x2977+10 ~x2817+10 ~x2737+4 ~x2657+5 ~x2577+5 ~x2497-0=126
15.58/15.67	c 64 ~x107817+32 ~x107816+16 ~x107815+8 ~x107814+4 ~x107813+2 ~x107812+1 ~x107811+1 ~x4258+5 ~x3858+7 ~x3778+5 ~x3698+5 ~x3618+7 ~x3378+7 ~x3298+8 ~x3218+7 ~x3138+3 ~x3058+3 ~x2978+6 ~x2898+10 ~x2818+10 ~x2738+4 ~x2658+5 ~x2578+5 ~x2498-0=208
15.58/15.67	c 64 ~x108892+32 ~x108891+16 ~x108890+8 ~x108889+4 ~x108888+2 ~x108887+1 ~x108886+1 ~x4259+5 ~x3859+7 ~x3779+5 ~x3699+5 ~x3619+7 ~x3379+7 ~x3299+8 ~x3219+7 ~x3139+3 ~x3059+3 ~x2979+6 ~x2899+10 ~x2819+10 ~x2739+4 ~x2659+5 ~x2579+5 ~x2499-0=208
15.58/15.69	c 64 ~x109967+32 ~x109966+16 ~x109965+8 ~x109964+4 ~x109963+2 ~x109962+1 ~x109961+1 ~x4260+5 ~x3860+7 ~x3780+5 ~x3700+5 ~x3620+7 ~x3380+7 ~x3300+8 ~x3220+7 ~x3140+3 ~x3060+3 ~x2980+6 ~x2900+10 ~x2820+10 ~x2740+4 ~x2660+5 ~x2580+5 ~x2500-0=208
15.68/15.72	c 64 ~x111042+32 ~x111041+16 ~x111040+8 ~x111039+4 ~x111038+2 ~x111037+1 ~x111036+1 ~x4261+5 ~x3861+7 ~x3781+5 ~x3701+5 ~x3621+7 ~x3381+7 ~x3301+8 ~x3221+7 ~x3141+3 ~x3061+3 ~x2981+6 ~x2901+10 ~x2821+10 ~x2741+4 ~x2661+5 ~x2581+5 ~x2501-0=208
15.68/15.75	c 64 ~x112117+32 ~x112116+16 ~x112115+8 ~x112114+4 ~x112113+2 ~x112112+1 ~x112111+1 ~x4262+5 ~x3862+7 ~x3782+5 ~x3702+5 ~x3622+7 ~x3382+7 ~x3302+8 ~x3222+7 ~x3142+3 ~x3062+3 ~x2982+6 ~x2902+10 ~x2822+10 ~x2742+4 ~x2662+5 ~x2582+5 ~x2502-0=208
15.68/15.78	c 64 ~x113192+32 ~x113191+16 ~x113190+8 ~x113189+4 ~x113188+2 ~x113187+1 ~x113186+1 ~x4263+5 ~x3863+7 ~x3783+5 ~x3703+5 ~x3623+7 ~x3383+7 ~x3303+8 ~x3223+7 ~x3143+3 ~x3063+3 ~x2983+6 ~x2903+10 ~x2823+10 ~x2743+4 ~x2663+5 ~x2583+5 ~x2503-0=208
15.78/15.81	c 64 ~x114267+32 ~x114266+16 ~x114265+8 ~x114264+4 ~x114263+2 ~x114262+1 ~x114261+1 ~x4264+3 ~x3944+5 ~x3864+7 ~x3784+5 ~x3704+5 ~x3624+7 ~x3384+7 ~x3304+8 ~x3224+7 ~x3144+3 ~x3064+3 ~x2984+6 ~x2904+10 ~x2824+10 ~x2744+4 ~x2664+5 ~x2584+5 ~x2504-0=211
15.78/15.84	c 64 ~x115399+32 ~x115398+16 ~x115397+8 ~x115396+4 ~x115395+2 ~x115394+1 ~x115393+8 ~x4665+1 ~x4265+3 ~x3945+5 ~x3865+7 ~x3785+5 ~x3705+5 ~x3625+7 ~x3385+7 ~x3305+8 ~x3225+7 ~x3145+3 ~x3065+3 ~x2985+6 ~x2905+10 ~x2825+10 ~x2745+4 ~x2665+5 ~x2585+5 ~x2505-0=219
15.78/15.87	c 64 ~x116588+32 ~x116587+16 ~x116586+8 ~x116585+4 ~x116584+2 ~x116583+1 ~x116582+8 ~x4666+1 ~x4266+3 ~x3946+5 ~x3866+7 ~x3786+5 ~x3706+5 ~x3626+3 ~x3546+7 ~x3386+7 ~x3306+8 ~x3226+7 ~x3146+3 ~x3066+3 ~x2986+6 ~x2906+10 ~x2826+10 ~x2746+4 ~x2666+5 ~x2586+5 ~x2506-0=222
15.88/15.90	c 64 ~x117834+32 ~x117833+16 ~x117832+8 ~x117831+4 ~x117830+2 ~x117829+1 ~x117828+3 ~x4747+8 ~x4667+1 ~x4267+3 ~x3947+5 ~x3867+7 ~x3787+5 ~x3707+5 ~x3627+3 ~x3547+10 ~x3467+7 ~x3387+7 ~x3307+8 ~x3227+7 ~x3147+3 ~x3067+3 ~x2987+6 ~x2907+10 ~x2827+10 ~x2747+4 ~x2667+5 ~x2587+5 ~x2507-0=235
15.88/15.94	c 64 ~x119433+32 ~x119432+16 ~x119431+8 ~x119430+4 ~x119429+2 ~x119428+1 ~x119427+3 ~x4748+8 ~x4668+1 ~x4268+6 ~x4188+10 ~x4028+3 ~x3948+5 ~x3868+7 ~x3788+5 ~x3708+5 ~x3628+3 ~x3548+10 ~x3468+7 ~x3388+7 ~x3308+8 ~x3228+7 ~x3148+3 ~x3068+3 ~x2988+6 ~x2908+10 ~x2828+10 ~x2748+4 ~x2668+5 ~x2588+5 ~x2508-0=251
15.88/15.98	c 64 ~x121164+32 ~x121163+16 ~x121162+8 ~x121161+4 ~x121160+2 ~x121159+1 ~x121158+3 ~x4749+8 ~x4669+3 ~x4349+1 ~x4269+6 ~x4189+10 ~x4029+3 ~x3949+5 ~x3869+7 ~x3789+5 ~x3709+5 ~x3629+3 ~x3549+10 ~x3469+7 ~x3389+7 ~x3309+8 ~x3229+7 ~x3149+3 ~x3069+3 ~x2989+6 ~x2909+10 ~x2829+10 ~x2749+4 ~x2669+5 ~x2589+5 ~x2509-0=254
15.98/16.03	c 64 ~x122961+32 ~x122960+16 ~x122959+8 ~x122958+4 ~x122957+2 ~x122956+1 ~x122955+3 ~x4750+8 ~x4670+3 ~x4350+1 ~x4270+6 ~x4190+10 ~x4030+3 ~x3950+5 ~x3870+7 ~x3790+5 ~x3710+5 ~x3630+3 ~x3550+10 ~x3470+7 ~x3390+7 ~x3310+8 ~x3230+7 ~x3150+3 ~x3070+3 ~x2990+6 ~x2910+10 ~x2830+10 ~x2750+4 ~x2670+5 ~x2590+5 ~x2510-0=254
15.98/16.07	c 128 ~x124759+64 ~x124758+32 ~x124757+16 ~x124756+8 ~x124755+4 ~x124754+2 ~x124753+1 ~x124752+3 ~x4751+8 ~x4671+7 ~x4511+3 ~x4351+1 ~x4271+6 ~x4191+10 ~x4031+3 ~x3951+5 ~x3871+7 ~x3791+5 ~x3711+5 ~x3631+3 ~x3551+10 ~x3471+7 ~x3391+7 ~x3311+8 ~x3231+7 ~x3151+3 ~x3071+3 ~x2991+6 ~x2911+10 ~x2831+10 ~x2751+4 ~x2671+5 ~x2591+5 ~x2511-0=389
16.08/16.12	c 128 ~x126689+64 ~x126688+32 ~x126687+16 ~x126686+8 ~x126685+4 ~x126684+2 ~x126683+1 ~x126682+3 ~x4752+8 ~x4672+7 ~x4512+3 ~x4352+1 ~x4272+6 ~x4192+10 ~x4032+3 ~x3952+5 ~x3872+7 ~x3792+5 ~x3712+5 ~x3632+3 ~x3552+10 ~x3472+7 ~x3392+7 ~x3312+8 ~x3232+7 ~x3152+3 ~x3072+3 ~x2992+6 ~x2912+10 ~x2832+10 ~x2752+4 ~x2672+5 ~x2592+5 ~x2512-0=389
16.08/16.17	c 128 ~x128619+64 ~x128618+32 ~x128617+16 ~x128616+8 ~x128615+4 ~x128614+2 ~x128613+1 ~x128612+3 ~x4753+8 ~x4673+7 ~x4513+3 ~x4353+1 ~x4273+6 ~x4193+10 ~x4033+3 ~x3953+5 ~x3873+7 ~x3793+5 ~x3713+5 ~x3633+3 ~x3553+10 ~x3473+7 ~x3393+7 ~x3313+8 ~x3233+7 ~x3153+3 ~x3073+3 ~x2993+6 ~x2913+10 ~x2833+10 ~x2753+4 ~x2673+5 ~x2593+5 ~x2513-0=389
16.18/16.21	c 128 ~x130549+64 ~x130548+32 ~x130547+16 ~x130546+8 ~x130545+4 ~x130544+2 ~x130543+1 ~x130542+3 ~x4754+8 ~x4674+7 ~x4514+3 ~x4354+1 ~x4274+6 ~x4194+10 ~x4034+3 ~x3954+5 ~x3874+7 ~x3794+5 ~x3714+5 ~x3634+3 ~x3554+10 ~x3474+7 ~x3394+7 ~x3314+8 ~x3234+7 ~x3154+3 ~x3074+3 ~x2994+6 ~x2914+10 ~x2834+10 ~x2754+4 ~x2674+5 ~x2594+5 ~x2514-0=389
16.18/16.26	c 128 ~x132479+64 ~x132478+32 ~x132477+16 ~x132476+8 ~x132475+4 ~x132474+2 ~x132473+1 ~x132472+3 ~x4755+8 ~x4675+7 ~x4515+3 ~x4355+1 ~x4275+6 ~x4195+10 ~x4035+3 ~x3955+5 ~x3875+7 ~x3795+5 ~x3715+5 ~x3635+3 ~x3555+10 ~x3475+7 ~x3395+7 ~x3315+8 ~x3235+7 ~x3155+3 ~x3075+3 ~x2995+6 ~x2915+10 ~x2835+10 ~x2755+4 ~x2675+5 ~x2595+5 ~x2515-0=389
16.28/16.31	c 128 ~x134409+64 ~x134408+32 ~x134407+16 ~x134406+8 ~x134405+4 ~x134404+2 ~x134403+1 ~x134402+3 ~x4756+8 ~x4676+7 ~x4516+3 ~x4356+1 ~x4276+6 ~x4196+10 ~x4036+3 ~x3956+5 ~x3876+7 ~x3796+5 ~x3716+5 ~x3636+3 ~x3556+10 ~x3476+7 ~x3396+7 ~x3316+8 ~x3236+7 ~x3156+3 ~x3076+3 ~x2996+6 ~x2916+10 ~x2836+10 ~x2756+4 ~x2676+5 ~x2596+5 ~x2516-0=389
16.28/16.36	c 128 ~x136339+64 ~x136338+32 ~x136337+16 ~x136336+8 ~x136335+4 ~x136334+2 ~x136333+1 ~x136332+3 ~x4757+8 ~x4677+7 ~x4517+5 ~x4437+3 ~x4357+1 ~x4277+6 ~x4197+9 ~x4117+10 ~x4037+3 ~x3957+5 ~x3877+7 ~x3797+5 ~x3717+5 ~x3637+3 ~x3557+10 ~x3477+7 ~x3397+7 ~x3317+8 ~x3237+7 ~x3157+3 ~x3077+3 ~x2997+6 ~x2917+10 ~x2837+10 ~x2757+4 ~x2677+5 ~x2597+5 ~x2517-0=403
16.38/16.41	c 128 ~x138401+64 ~x138400+32 ~x138399+16 ~x138398+8 ~x138397+4 ~x138396+2 ~x138395+1 ~x138394+3 ~x4758+8 ~x4678+7 ~x4518+5 ~x4438+3 ~x4358+1 ~x4278+6 ~x4198+9 ~x4118+10 ~x4038+3 ~x3958+5 ~x3878+7 ~x3798+5 ~x3718+5 ~x3638+3 ~x3558+10 ~x3478+7 ~x3398+7 ~x3318+8 ~x3238+7 ~x3158+3 ~x3078+3 ~x2998+6 ~x2918+10 ~x2838+10 ~x2758+5 ~x2598+5 ~x2518-0=399
16.38/16.46	c 128 ~x140394+64 ~x140393+32 ~x140392+16 ~x140391+8 ~x140390+4 ~x140389+2 ~x140388+1 ~x140387+3 ~x4759+8 ~x4679+7 ~x4519+5 ~x4439+3 ~x4359+1 ~x4279+6 ~x4199+9 ~x4119+10 ~x4039+3 ~x3959+5 ~x3879+7 ~x3799+5 ~x3719+5 ~x3639+3 ~x3559+10 ~x3479+7 ~x3399+7 ~x3319+8 ~x3239+7 ~x3159+3 ~x3079+3 ~x2999+6 ~x2919+10 ~x2839+10 ~x2759+5 ~x2599+5 ~x2519-0=399
16.49/16.51	c 128 ~x142387+64 ~x142386+32 ~x142385+16 ~x142384+8 ~x142383+4 ~x142382+2 ~x142381+1 ~x142380+3 ~x4760+8 ~x4680+7 ~x4520+5 ~x4440+3 ~x4360+1 ~x4280+6 ~x4200+9 ~x4120+10 ~x4040+3 ~x3960+5 ~x3880+7 ~x3800+5 ~x3720+5 ~x3640+3 ~x3560+10 ~x3480+7 ~x3400+7 ~x3320+8 ~x3240+7 ~x3160+3 ~x3080+3 ~x3000+6 ~x2920+10 ~x2840+10 ~x2760+5 ~x2600+5 ~x2520-0=399
16.49/16.56	c 128 ~x144380+64 ~x144379+32 ~x144378+16 ~x144377+8 ~x144376+4 ~x144375+2 ~x144374+1 ~x144373+3 ~x4761+8 ~x4681+7 ~x4521+5 ~x4441+3 ~x4361+1 ~x4281+6 ~x4201+9 ~x4121+10 ~x4041+3 ~x3961+5 ~x3881+7 ~x3801+5 ~x3721+5 ~x3641+3 ~x3561+10 ~x3481+7 ~x3401+7 ~x3321+8 ~x3241+7 ~x3161+3 ~x3081+3 ~x3001+6 ~x2921+10 ~x2841+10 ~x2761+5 ~x2601-0=394
16.58/16.61	c 128 ~x146331+64 ~x146330+32 ~x146329+16 ~x146328+8 ~x146327+4 ~x146326+2 ~x146325+1 ~x146324+3 ~x4762+8 ~x4682+9 ~x4602+7 ~x4522+5 ~x4442+3 ~x4362+1 ~x4282+6 ~x4202+9 ~x4122+10 ~x4042+3 ~x3962+5 ~x3882+7 ~x3802+5 ~x3722+5 ~x3642+3 ~x3562+10 ~x3482+7 ~x3402+7 ~x3322+8 ~x3242+7 ~x3162+3 ~x3082+3 ~x3002+6 ~x2922+10 ~x2842+10 ~x2762+5 ~x2602-0=403
16.58/16.66	c 128 ~x148348+64 ~x148347+32 ~x148346+16 ~x148345+8 ~x148344+4 ~x148343+2 ~x148342+1 ~x148341+3 ~x4763+8 ~x4683+9 ~x4603+7 ~x4523+5 ~x4443+3 ~x4363+1 ~x4283+6 ~x4203+9 ~x4123+10 ~x4043+3 ~x3963+5 ~x3883+7 ~x3803+5 ~x3723+5 ~x3643+3 ~x3563+10 ~x3483+7 ~x3403+7 ~x3323+8 ~x3243+7 ~x3163+3 ~x3083+3 ~x3003+6 ~x2923+10 ~x2843+10 ~x2763+5 ~x2603-0=403
16.68/16.71	c 128 ~x150365+64 ~x150364+32 ~x150363+16 ~x150362+8 ~x150361+4 ~x150360+2 ~x150359+1 ~x150358+3 ~x4844+3 ~x4764+8 ~x4684+9 ~x4604+7 ~x4524+5 ~x4444+3 ~x4364+1 ~x4284+6 ~x4204+9 ~x4124+10 ~x4044+3 ~x3964+5 ~x3884+7 ~x3804+5 ~x3724+5 ~x3644+3 ~x3564+10 ~x3484+7 ~x3404+7 ~x3324+8 ~x3244+7 ~x3164+3 ~x3084+3 ~x3004+6 ~x2924+10 ~x2844+10 ~x2764+5 ~x2604-0=406
16.68/16.76	c 128 ~x152448+64 ~x152447+32 ~x152446+16 ~x152445+8 ~x152444+4 ~x152443+2 ~x152442+1 ~x152441+3 ~x4845+3 ~x4765+8 ~x4685+9 ~x4605+7 ~x4525+5 ~x4445+3 ~x4365+1 ~x4285+6 ~x4205+9 ~x4125+10 ~x4045+3 ~x3965+5 ~x3885+7 ~x3805+5 ~x3725+5 ~x3645+3 ~x3565+10 ~x3485+7 ~x3405+7 ~x3325+8 ~x3245+7 ~x3165+3 ~x3085+3 ~x3005+6 ~x2925+10 ~x2845+10 ~x2765+5 ~x2605-0=406
16.78/16.81	c 128 ~x154531+64 ~x154530+32 ~x154529+16 ~x154528+8 ~x154527+4 ~x154526+2 ~x154525+1 ~x154524+3 ~x4846+3 ~x4766+8 ~x4686+9 ~x4606+7 ~x4526+5 ~x4446+3 ~x4366+1 ~x4286+6 ~x4206+9 ~x4126+10 ~x4046+3 ~x3966+5 ~x3886+7 ~x3806+5 ~x3726+5 ~x3646+3 ~x3566+10 ~x3486+7 ~x3406+7 ~x3326+8 ~x3246+7 ~x3166+3 ~x3086+3 ~x3006+6 ~x2926+10 ~x2846+10 ~x2766+5 ~x2606-0=406
16.78/16.86	c 128 ~x156614+64 ~x156613+32 ~x156612+16 ~x156611+8 ~x156610+4 ~x156609+2 ~x156608+1 ~x156607+3 ~x4847+3 ~x4767+8 ~x4687+9 ~x4607+7 ~x4527+5 ~x4447+3 ~x4367+1 ~x4287+6 ~x4207+9 ~x4127+10 ~x4047+3 ~x3967+5 ~x3887+7 ~x3807+5 ~x3727+5 ~x3647+3 ~x3567+10 ~x3487+7 ~x3407+7 ~x3327+8 ~x3247+3 ~x3087+6 ~x2927+10 ~x2847+10 ~x2767+5 ~x2607-0=396
16.88/16.91	c 128 ~x158565+64 ~x158564+32 ~x158563+16 ~x158562+8 ~x158561+4 ~x158560+2 ~x158559+1 ~x158558+3 ~x4848+3 ~x4768+8 ~x4688+9 ~x4608+7 ~x4528+5 ~x4448+3 ~x4368+1 ~x4288+6 ~x4208+9 ~x4128+10 ~x4048+3 ~x3968+5 ~x3888+7 ~x3808+5 ~x3728+5 ~x3648+3 ~x3568+10 ~x3488+7 ~x3408+7 ~x3328+8 ~x3248+3 ~x3088+6 ~x2928+10 ~x2848+10 ~x2768+5 ~x2608-0=396
16.88/16.96	c 128 ~x160516+64 ~x160515+32 ~x160514+16 ~x160513+8 ~x160512+4 ~x160511+2 ~x160510+1 ~x160509+3 ~x4849+3 ~x4769+8 ~x4689+9 ~x4609+7 ~x4529+5 ~x4449+3 ~x4369+1 ~x4289+6 ~x4209+9 ~x4129+10 ~x4049+3 ~x3969+5 ~x3889+7 ~x3809+5 ~x3729+5 ~x3649+3 ~x3569+10 ~x3489+7 ~x3409+7 ~x3329+8 ~x3249+3 ~x3089+6 ~x2929+10 ~x2849+10 ~x2769+5 ~x2609-0=396
16.98/17.01	c 128 ~x162467+64 ~x162466+32 ~x162465+16 ~x162464+8 ~x162463+4 ~x162462+2 ~x162461+1 ~x162460+3 ~x4850+3 ~x4770+8 ~x4690+9 ~x4610+7 ~x4530+5 ~x4450+3 ~x4370+1 ~x4290+6 ~x4210+9 ~x4130+10 ~x4050+3 ~x3970+5 ~x3890+7 ~x3810+5 ~x3730+5 ~x3650+3 ~x3570+10 ~x3490+7 ~x3410+7 ~x3330+8 ~x3250+3 ~x3090+6 ~x2930+10 ~x2770+5 ~x2610-0=386
16.98/17.05	c 128 ~x164370+64 ~x164369+32 ~x164368+16 ~x164367+8 ~x164366+4 ~x164365+2 ~x164364+1 ~x164363+3 ~x4851+3 ~x4771+8 ~x4691+9 ~x4611+7 ~x4531+5 ~x4451+3 ~x4371+1 ~x4291+6 ~x4211+9 ~x4131+10 ~x4051+3 ~x3971+5 ~x3891+7 ~x3811+5 ~x3731+5 ~x3651+3 ~x3571+10 ~x3491+7 ~x3411+7 ~x3331+8 ~x3251+3 ~x3091+6 ~x2931+10 ~x2771+5 ~x2611-0=386
17.08/17.10	c 128 ~x166273+64 ~x166272+32 ~x166271+16 ~x166270+8 ~x166269+4 ~x166268+2 ~x166267+1 ~x166266+3 ~x4852+3 ~x4772+8 ~x4692+9 ~x4612+7 ~x4532+5 ~x4452+3 ~x4372+1 ~x4292+6 ~x4212+9 ~x4132+10 ~x4052+3 ~x3972+5 ~x3892+7 ~x3812+5 ~x3732+5 ~x3652+3 ~x3572+10 ~x3492+7 ~x3412+7 ~x3332+8 ~x3252+3 ~x3092+6 ~x2932+10 ~x2772+5 ~x2612-0=386
17.08/17.15	c 64 ~x168175+32 ~x168174+16 ~x168173+8 ~x168172+4 ~x168171+2 ~x168170+1 ~x168169+3 ~x4853+3 ~x4773+8 ~x4693+9 ~x4613+7 ~x4533+5 ~x4453+3 ~x4373+1 ~x4293+6 ~x4213+9 ~x4133+10 ~x4053+3 ~x3973+5 ~x3893+7 ~x3813+5 ~x3733+5 ~x3653+3 ~x3573+10 ~x3493+7 ~x3413+7 ~x3333+8 ~x3253+3 ~x3093+6 ~x2933+5 ~x2613-0=248
17.18/17.20	c 64 ~x169951+32 ~x169950+16 ~x169949+8 ~x169948+4 ~x169947+2 ~x169946+1 ~x169945+3 ~x4854+3 ~x4774+8 ~x4694+9 ~x4614+7 ~x4534+5 ~x4454+3 ~x4374+1 ~x4294+6 ~x4214+9 ~x4134+10 ~x4054+3 ~x3974+5 ~x3894+7 ~x3814+5 ~x3734+5 ~x3654+3 ~x3574+10 ~x3494+7 ~x3414+7 ~x3334+8 ~x3254+3 ~x3094+6 ~x2934-0=243
17.18/17.24	c 64 ~x171649+32 ~x171648+16 ~x171647+8 ~x171646+4 ~x171645+2 ~x171644+1 ~x171643+3 ~x4855+3 ~x4775+8 ~x4695+9 ~x4615+7 ~x4535+5 ~x4455+3 ~x4375+1 ~x4295+6 ~x4215+9 ~x4135+10 ~x4055+3 ~x3975+5 ~x3895+7 ~x3815+5 ~x3735+5 ~x3655+3 ~x3575+10 ~x3495+7 ~x3415+7 ~x3335+8 ~x3255+3 ~x3095+6 ~x2935-0=243
17.18/17.28	c 64 ~x173347+32 ~x173346+16 ~x173345+8 ~x173344+4 ~x173343+2 ~x173342+1 ~x173341+3 ~x4856+3 ~x4776+8 ~x4696+9 ~x4616+7 ~x4536+5 ~x4456+3 ~x4376+1 ~x4296+6 ~x4216+9 ~x4136+10 ~x4056+3 ~x3976+5 ~x3896+7 ~x3816+5 ~x3736+5 ~x3656+3 ~x3576+10 ~x3496+7 ~x3416+7 ~x3336+8 ~x3256+3 ~x3096+6 ~x2936-0=243
17.28/17.32	c 64 ~x175045+32 ~x175044+16 ~x175043+8 ~x175042+4 ~x175041+2 ~x175040+1 ~x175039+3 ~x4857+3 ~x4777+8 ~x4697+9 ~x4617+7 ~x4537+5 ~x4457+3 ~x4377+1 ~x4297+6 ~x4217+9 ~x4137+10 ~x4057+3 ~x3977+7 ~x3817+5 ~x3737+5 ~x3657+3 ~x3577+10 ~x3497+7 ~x3337+6 ~x2937-0=220
17.28/17.36	c 64 ~x176252+32 ~x176251+16 ~x176250+8 ~x176249+4 ~x176248+2 ~x176247+1 ~x176246+3 ~x4858+3 ~x4778+8 ~x4698+9 ~x4618+7 ~x4538+5 ~x4458+3 ~x4378+1 ~x4298+6 ~x4218+9 ~x4138+10 ~x4058+3 ~x3978+7 ~x3818+5 ~x3738+5 ~x3658+3 ~x3578+10 ~x3498+7 ~x3338-0=214
17.28/17.39	c 64 ~x177372+32 ~x177371+16 ~x177370+8 ~x177369+4 ~x177368+2 ~x177367+1 ~x177366+3 ~x4859+3 ~x4779+8 ~x4699+9 ~x4619+7 ~x4539+5 ~x4459+3 ~x4379+1 ~x4299+6 ~x4219+9 ~x4139+10 ~x4059+3 ~x3979+7 ~x3819+5 ~x3739+5 ~x3659+3 ~x3579+10 ~x3499+7 ~x3339-0=214
17.38/17.42	c 64 ~x178492+32 ~x178491+16 ~x178490+8 ~x178489+4 ~x178488+2 ~x178487+1 ~x178486+3 ~x4860+3 ~x4780+8 ~x4700+9 ~x4620+7 ~x4540+5 ~x4460+3 ~x4380+1 ~x4300+6 ~x4220+9 ~x4140+10 ~x4060+3 ~x3980+7 ~x3820+5 ~x3740+5 ~x3660+3 ~x3580+10 ~x3500+7 ~x3340-0=214
17.38/17.44	c 64 ~x179612+32 ~x179611+16 ~x179610+8 ~x179609+4 ~x179608+2 ~x179607+1 ~x179606+3 ~x4861+3 ~x4781+8 ~x4701+9 ~x4621+7 ~x4541+5 ~x4461+3 ~x4381+1 ~x4301+6 ~x4221+9 ~x4141+10 ~x4061+3 ~x3981+7 ~x3821+5 ~x3741+5 ~x3661+3 ~x3581+10 ~x3501+7 ~x3341-0=214
17.38/17.47	c 64 ~x180732+32 ~x180731+16 ~x180730+8 ~x180729+4 ~x180728+2 ~x180727+1 ~x180726+3 ~x4862+3 ~x4782+8 ~x4702+9 ~x4622+7 ~x4542+5 ~x4462+3 ~x4382+1 ~x4302+6 ~x4222+9 ~x4142+10 ~x4062+3 ~x3982+7 ~x3822+5 ~x3742+5 ~x3662+3 ~x3582+10 ~x3502+7 ~x3342-0=214
17.49/17.50	c 64 ~x181852+32 ~x181851+16 ~x181850+8 ~x181849+4 ~x181848+2 ~x181847+1 ~x181846+3 ~x4863+3 ~x4783+8 ~x4703+9 ~x4623+7 ~x4543+5 ~x4463+3 ~x4383+1 ~x4303+6 ~x4223+9 ~x4143+10 ~x4063+3 ~x3983+7 ~x3823+5 ~x3743+5 ~x3663+3 ~x3583+10 ~x3503+7 ~x3343-0=214
17.49/17.53	c 64 ~x182972+32 ~x182971+16 ~x182970+8 ~x182969+4 ~x182968+2 ~x182967+1 ~x182966+3 ~x4864+3 ~x4784+8 ~x4704+9 ~x4624+7 ~x4544+5 ~x4464+3 ~x4384+1 ~x4304+6 ~x4224+9 ~x4144+10 ~x4064+7 ~x3824+5 ~x3664+3 ~x3584+10 ~x3504-0=199
17.49/17.56	c 64 ~x183948+32 ~x183947+16 ~x183946+8 ~x183945+4 ~x183944+2 ~x183943+1 ~x183942+3 ~x4865+3 ~x4785+8 ~x4705+9 ~x4625+7 ~x4545+5 ~x4465+3 ~x4385+1 ~x4305+6 ~x4225+9 ~x4145+10 ~x4065+7 ~x3825+5 ~x3665+3 ~x3585+10 ~x3505-0=199
17.49/17.58	c 32 ~x184923+16 ~x184922+8 ~x184921+4 ~x184920+2 ~x184919+1 ~x184918+3 ~x4866+3 ~x4786+8 ~x4706+9 ~x4626+7 ~x4546+5 ~x4466+3 ~x4386+1 ~x4306+6 ~x4226+9 ~x4146+5 ~x3666-0=105
17.59/17.62	c 32 ~x185575+16 ~x185574+8 ~x185573+4 ~x185572+2 ~x185571+1 ~x185570+3 ~x4867+3 ~x4787+8 ~x4707+9 ~x4627+7 ~x4547+5 ~x4467+3 ~x4387+1 ~x4307+6 ~x4227+9 ~x4147+5 ~x3667-0=105
17.59/17.62	c 32 ~x186227+16 ~x186226+8 ~x186225+4 ~x186224+2 ~x186223+1 ~x186222+3 ~x4868+3 ~x4788+8 ~x4708+9 ~x4628+7 ~x4548+5 ~x4468+3 ~x4388+1 ~x4308+6 ~x4228+9 ~x4148+5 ~x3668-0=105
17.59/17.64	c 32 ~x186879+16 ~x186878+8 ~x186877+4 ~x186876+2 ~x186875+1 ~x186874+3 ~x4869+3 ~x4789+8 ~x4709+9 ~x4629+7 ~x4549+5 ~x4469+6 ~x4229+9 ~x4149+5 ~x3669-0=101
17.59/17.67	c 32 ~x187426+16 ~x187425+8 ~x187424+4 ~x187423+2 ~x187422+1 ~x187421+3 ~x4870+3 ~x4790+8 ~x4710+9 ~x4630+7 ~x4550+5 ~x4470+6 ~x4230+9 ~x4150+5 ~x3670-0=101
17.59/17.67	c 16 ~x187972+8 ~x187971+4 ~x187970+2 ~x187969+1 ~x187968+3 ~x4871+3 ~x4791+8 ~x4711+9 ~x4631+6 ~x4231+5 ~x3671-0=48
17.68/17.70	c 16 ~x188281+8 ~x188280+4 ~x188279+2 ~x188278+1 ~x188277+3 ~x4872+3 ~x4792+8 ~x4712+9 ~x4632+6 ~x4232+5 ~x3672-0=48
17.68/17.70	c 16 ~x188590+8 ~x188589+4 ~x188588+2 ~x188587+1 ~x188586+5 ~x3129+9 ~x2809+10 ~x2729+4 ~x2649+8 ~x2569+1 ~x2489-0=49
17.68/17.73	c 16 ~x188917+8 ~x188916+4 ~x188915+2 ~x188914+1 ~x188913+5 ~x3130+9 ~x2810+10 ~x2730+4 ~x2650+8 ~x2570+1 ~x2490-0=49
17.68/17.73	c 32 ~x189245+16 ~x189244+8 ~x189243+4 ~x189242+2 ~x189241+1 ~x189240+6 ~x4251+5 ~x3131+10 ~x3051+10 ~x2971+9 ~x2811+10 ~x2731+4 ~x2651+8 ~x2571+1 ~x2491-0=107
17.68/17.76	c 32 ~x189819+16 ~x189818+8 ~x189817+4 ~x189816+2 ~x189815+1 ~x189814+6 ~x4252+8 ~x3692+2 ~x3212+5 ~x3132+10 ~x3052+10 ~x2972+9 ~x2812+10 ~x2732+4 ~x2652+8 ~x2572+1 ~x2492-0=117
17.68/17.76	c 32 ~x190495+16 ~x190494+8 ~x190493+4 ~x190492+2 ~x190491+1 ~x190490+6 ~x4253+8 ~x3693+2 ~x3213+5 ~x3133+10 ~x3053+10 ~x2973+9 ~x2813+10 ~x2733+4 ~x2653+8 ~x2573+1 ~x2493-0=117
17.68/17.78	c 32 ~x191171+16 ~x191170+8 ~x191169+4 ~x191168+2 ~x191167+1 ~x191166+6 ~x4254+8 ~x3694+8 ~x3614+2 ~x3214+5 ~x3134+10 ~x3054+10 ~x2974+9 ~x2814+10 ~x2734+4 ~x2654+8 ~x2574+1 ~x2494-0=125
17.78/17.82	c 32 ~x191898+16 ~x191897+8 ~x191896+4 ~x191895+2 ~x191894+1 ~x191893+6 ~x4255+8 ~x3695+8 ~x3615+2 ~x3215+5 ~x3135+10 ~x3055+10 ~x2975+9 ~x2815+10 ~x2735+4 ~x2655+8 ~x2575+1 ~x2495-0=125
17.78/17.82	c 32 ~x192625+16 ~x192624+8 ~x192623+4 ~x192622+2 ~x192621+1 ~x192620+6 ~x4256+8 ~x3696+8 ~x3616+2 ~x3216+5 ~x3136+10 ~x3056+10 ~x2976+9 ~x2816+10 ~x2736+4 ~x2656+8 ~x2576+1 ~x2496-0=125
17.78/17.84	c 64 ~x193353+32 ~x193352+16 ~x193351+8 ~x193350+4 ~x193349+2 ~x193348+1 ~x193347+6 ~x4257+8 ~x3697+8 ~x3617+8 ~x3377+3 ~x3297+2 ~x3217+5 ~x3137+10 ~x3057+10 ~x2977+9 ~x2817+10 ~x2737+4 ~x2657+8 ~x2577+1 ~x2497-0=200
17.78/17.86	c 64 ~x194308+32 ~x194307+16 ~x194306+8 ~x194305+4 ~x194304+2 ~x194303+1 ~x194302+6 ~x4258+3 ~x3858+3 ~x3778+8 ~x3698+8 ~x3618+8 ~x3378+3 ~x3298+2 ~x3218+5 ~x3138+10 ~x3058+10 ~x2978+6 ~x2898+9 ~x2818+10 ~x2738+4 ~x2658+8 ~x2578+1 ~x2498-0=212
17.78/17.89	c 64 ~x195434+32 ~x195433+16 ~x195432+8 ~x195431+4 ~x195430+2 ~x195429+1 ~x195428+6 ~x4259+3 ~x3859+3 ~x3779+8 ~x3699+8 ~x3619+8 ~x3379+3 ~x3299+2 ~x3219+5 ~x3139+10 ~x3059+10 ~x2979+6 ~x2899+9 ~x2819+10 ~x2739+4 ~x2659+8 ~x2579+1 ~x2499-0=212
17.88/17.92	c 64 ~x196560+32 ~x196559+16 ~x196558+8 ~x196557+4 ~x196556+2 ~x196555+1 ~x196554+6 ~x4260+3 ~x3860+3 ~x3780+8 ~x3700+8 ~x3620+8 ~x3380+3 ~x3300+2 ~x3220+5 ~x3140+10 ~x3060+10 ~x2980+6 ~x2900+9 ~x2820+10 ~x2740+4 ~x2660+8 ~x2580+1 ~x2500-0=212
17.88/17.95	c 64 ~x197686+32 ~x197685+16 ~x197684+8 ~x197683+4 ~x197682+2 ~x197681+1 ~x197680+6 ~x4261+3 ~x3861+3 ~x3781+8 ~x3701+8 ~x3621+8 ~x3381+3 ~x3301+2 ~x3221+5 ~x3141+10 ~x3061+10 ~x2981+6 ~x2901+9 ~x2821+10 ~x2741+4 ~x2661+8 ~x2581+1 ~x2501-0=212
17.88/17.98	c 64 ~x198812+32 ~x198811+16 ~x198810+8 ~x198809+4 ~x198808+2 ~x198807+1 ~x198806+6 ~x4262+3 ~x3862+3 ~x3782+8 ~x3702+8 ~x3622+8 ~x3382+3 ~x3302+2 ~x3222+5 ~x3142+10 ~x3062+10 ~x2982+6 ~x2902+9 ~x2822+10 ~x2742+4 ~x2662+8 ~x2582+1 ~x2502-0=212
17.98/18.01	c 64 ~x199938+32 ~x199937+16 ~x199936+8 ~x199935+4 ~x199934+2 ~x199933+1 ~x199932+6 ~x4263+3 ~x3863+3 ~x3783+8 ~x3703+8 ~x3623+8 ~x3383+3 ~x3303+2 ~x3223+5 ~x3143+10 ~x3063+10 ~x2983+6 ~x2903+9 ~x2823+10 ~x2743+4 ~x2663+8 ~x2583+1 ~x2503-0=212
17.98/18.04	c 64 ~x201064+32 ~x201063+16 ~x201062+8 ~x201061+4 ~x201060+2 ~x201059+1 ~x201058+6 ~x4264+2 ~x3944+3 ~x3864+3 ~x3784+8 ~x3704+8 ~x3624+8 ~x3384+3 ~x3304+2 ~x3224+5 ~x3144+10 ~x3064+10 ~x2984+6 ~x2904+9 ~x2824+10 ~x2744+4 ~x2664+8 ~x2584+1 ~x2504-0=214
17.98/18.07	c 64 ~x202247+32 ~x202246+16 ~x202245+8 ~x202244+4 ~x202243+2 ~x202242+1 ~x202241+7 ~x4665+6 ~x4265+2 ~x3945+3 ~x3865+3 ~x3785+8 ~x3705+8 ~x3625+8 ~x3385+3 ~x3305+2 ~x3225+5 ~x3145+10 ~x3065+10 ~x2985+6 ~x2905+9 ~x2825+10 ~x2745+4 ~x2665+8 ~x2585+1 ~x2505-0=221
18.08/18.10	c 64 ~x203487+32 ~x203486+16 ~x203485+8 ~x203484+4 ~x203483+2 ~x203482+1 ~x203481+7 ~x4666+6 ~x4266+2 ~x3946+3 ~x3866+3 ~x3786+8 ~x3706+8 ~x3626+6 ~x3546+8 ~x3386+3 ~x3306+2 ~x3226+5 ~x3146+10 ~x3066+10 ~x2986+6 ~x2906+9 ~x2826+10 ~x2746+4 ~x2666+8 ~x2586+1 ~x2506-0=227
18.08/18.14	c 64 ~x205005+32 ~x205004+16 ~x205003+8 ~x205002+4 ~x205001+2 ~x205000+1 ~x204999+6 ~x4747+7 ~x4667+6 ~x4267+2 ~x3947+3 ~x3867+3 ~x3787+8 ~x3707+8 ~x3627+6 ~x3547+9 ~x3467+8 ~x3387+3 ~x3307+2 ~x3227+5 ~x3147+10 ~x3067+10 ~x2987+6 ~x2907+9 ~x2827+10 ~x2747+4 ~x2667+8 ~x2587+1 ~x2507-0=242
18.08/18.18	c 64 ~x206655+32 ~x206654+16 ~x206653+8 ~x206652+4 ~x206651+2 ~x206650+1 ~x206649+6 ~x4748+7 ~x4668+6 ~x4268+4 ~x4188+6 ~x4028+2 ~x3948+3 ~x3868+3 ~x3788+8 ~x3708+8 ~x3628+6 ~x3548+9 ~x3468+8 ~x3388+3 ~x3308+2 ~x3228+5 ~x3148+10 ~x3068+10 ~x2988+6 ~x2908+9 ~x2828+10 ~x2748+4 ~x2668+8 ~x2588+1 ~x2508-0=252
18.18/18.22	c 128 ~x208438+64 ~x208437+32 ~x208436+16 ~x208435+8 ~x208434+4 ~x208433+2 ~x208432+1 ~x208431+6 ~x4749+7 ~x4669+9 ~x4349+6 ~x4269+4 ~x4189+6 ~x4029+2 ~x3949+3 ~x3869+3 ~x3789+8 ~x3709+8 ~x3629+6 ~x3549+9 ~x3469+8 ~x3389+3 ~x3309+2 ~x3229+5 ~x3149+10 ~x3069+10 ~x2989+6 ~x2909+9 ~x2829+10 ~x2749+4 ~x2669+8 ~x2589+1 ~x2509-0=389
18.18/18.28	c 128 ~x210353+64 ~x210352+32 ~x210351+16 ~x210350+8 ~x210349+4 ~x210348+2 ~x210347+1 ~x210346+6 ~x4750+7 ~x4670+9 ~x4350+6 ~x4270+4 ~x4190+6 ~x4030+2 ~x3950+3 ~x3870+3 ~x3790+8 ~x3710+8 ~x3630+6 ~x3550+9 ~x3470+8 ~x3390+3 ~x3310+2 ~x3230+5 ~x3150+10 ~x3070+10 ~x2990+6 ~x2910+9 ~x2830+10 ~x2750+4 ~x2670+8 ~x2590+1 ~x2510-0=389
18.28/18.32	c 128 ~x212268+64 ~x212267+32 ~x212266+16 ~x212265+8 ~x212264+4 ~x212263+2 ~x212262+1 ~x212261+6 ~x4751+7 ~x4671+4 ~x4511+9 ~x4351+6 ~x4271+4 ~x4191+6 ~x4031+2 ~x3951+3 ~x3871+3 ~x3791+8 ~x3711+8 ~x3631+6 ~x3551+9 ~x3471+8 ~x3391+3 ~x3311+2 ~x3231+5 ~x3151+10 ~x3071+10 ~x2991+6 ~x2911+9 ~x2831+10 ~x2751+4 ~x2671+8 ~x2591+1 ~x2511-0=393
18.28/18.37	c 128 ~x214249+64 ~x214248+32 ~x214247+16 ~x214246+8 ~x214245+4 ~x214244+2 ~x214243+1 ~x214242+6 ~x4752+7 ~x4672+4 ~x4512+9 ~x4352+6 ~x4272+4 ~x4192+6 ~x4032+2 ~x3952+3 ~x3872+3 ~x3792+8 ~x3712+8 ~x3632+6 ~x3552+9 ~x3472+8 ~x3392+3 ~x3312+2 ~x3232+5 ~x3152+10 ~x3072+10 ~x2992+6 ~x2912+9 ~x2832+10 ~x2752+4 ~x2672+8 ~x2592+1 ~x2512-0=393
18.38/18.42	c 128 ~x216230+64 ~x216229+32 ~x216228+16 ~x216227+8 ~x216226+4 ~x216225+2 ~x216224+1 ~x216223+6 ~x4753+7 ~x4673+4 ~x4513+9 ~x4353+6 ~x4273+4 ~x4193+6 ~x4033+2 ~x3953+3 ~x3873+3 ~x3793+8 ~x3713+8 ~x3633+6 ~x3553+9 ~x3473+8 ~x3393+3 ~x3313+2 ~x3233+5 ~x3153+10 ~x3073+10 ~x2993+6 ~x2913+9 ~x2833+10 ~x2753+4 ~x2673+8 ~x2593+1 ~x2513-0=393
18.38/18.47	c 128 ~x218211+64 ~x218210+32 ~x218209+16 ~x218208+8 ~x218207+4 ~x218206+2 ~x218205+1 ~x218204+6 ~x4754+7 ~x4674+4 ~x4514+9 ~x4354+6 ~x4274+4 ~x4194+6 ~x4034+2 ~x3954+3 ~x3874+3 ~x3794+8 ~x3714+8 ~x3634+6 ~x3554+9 ~x3474+8 ~x3394+3 ~x3314+2 ~x3234+5 ~x3154+10 ~x3074+10 ~x2994+6 ~x2914+9 ~x2834+10 ~x2754+4 ~x2674+8 ~x2594+1 ~x2514-0=393
18.48/18.52	c 128 ~x220192+64 ~x220191+32 ~x220190+16 ~x220189+8 ~x220188+4 ~x220187+2 ~x220186+1 ~x220185+6 ~x4755+7 ~x4675+4 ~x4515+9 ~x4355+6 ~x4275+4 ~x4195+6 ~x4035+2 ~x3955+3 ~x3875+3 ~x3795+8 ~x3715+8 ~x3635+6 ~x3555+9 ~x3475+8 ~x3395+3 ~x3315+2 ~x3235+5 ~x3155+10 ~x3075+10 ~x2995+6 ~x2915+9 ~x2835+10 ~x2755+4 ~x2675+8 ~x2595+1 ~x2515-0=393
18.48/18.57	c 128 ~x222173+64 ~x222172+32 ~x222171+16 ~x222170+8 ~x222169+4 ~x222168+2 ~x222167+1 ~x222166+6 ~x4756+7 ~x4676+4 ~x4516+9 ~x4356+6 ~x4276+4 ~x4196+6 ~x4036+2 ~x3956+3 ~x3876+3 ~x3796+8 ~x3716+8 ~x3636+6 ~x3556+9 ~x3476+8 ~x3396+3 ~x3316+2 ~x3236+5 ~x3156+10 ~x3076+10 ~x2996+6 ~x2916+9 ~x2836+10 ~x2756+4 ~x2676+8 ~x2596+1 ~x2516-0=393
18.58/18.62	c 128 ~x224154+64 ~x224153+32 ~x224152+16 ~x224151+8 ~x224150+4 ~x224149+2 ~x224148+1 ~x224147+6 ~x4757+7 ~x4677+4 ~x4517+5 ~x4437+9 ~x4357+6 ~x4277+4 ~x4197+5 ~x4117+6 ~x4037+2 ~x3957+3 ~x3877+3 ~x3797+8 ~x3717+8 ~x3637+6 ~x3557+9 ~x3477+8 ~x3397+3 ~x3317+2 ~x3237+5 ~x3157+10 ~x3077+10 ~x2997+6 ~x2917+9 ~x2837+10 ~x2757+4 ~x2677+8 ~x2597+1 ~x2517-0=403
18.58/18.67	c 128 ~x226267+64 ~x226266+32 ~x226265+16 ~x226264+8 ~x226263+4 ~x226262+2 ~x226261+1 ~x226260+6 ~x4758+7 ~x4678+4 ~x4518+5 ~x4438+9 ~x4358+6 ~x4278+4 ~x4198+5 ~x4118+6 ~x4038+2 ~x3958+3 ~x3878+3 ~x3798+8 ~x3718+8 ~x3638+6 ~x3558+9 ~x3478+8 ~x3398+3 ~x3318+2 ~x3238+5 ~x3158+10 ~x3078+10 ~x2998+6 ~x2918+9 ~x2838+10 ~x2758+8 ~x2598+1 ~x2518-0=399
18.69/18.72	c 128 ~x228311+64 ~x228310+32 ~x228309+16 ~x228308+8 ~x228307+4 ~x228306+2 ~x228305+1 ~x228304+6 ~x4759+7 ~x4679+4 ~x4519+5 ~x4439+9 ~x4359+6 ~x4279+4 ~x4199+5 ~x4119+6 ~x4039+2 ~x3959+3 ~x3879+3 ~x3799+8 ~x3719+8 ~x3639+6 ~x3559+9 ~x3479+8 ~x3399+3 ~x3319+2 ~x3239+5 ~x3159+10 ~x3079+10 ~x2999+6 ~x2919+9 ~x2839+10 ~x2759+8 ~x2599+1 ~x2519-0=399
18.69/18.77	c 128 ~x230355+64 ~x230354+32 ~x230353+16 ~x230352+8 ~x230351+4 ~x230350+2 ~x230349+1 ~x230348+6 ~x4760+7 ~x4680+4 ~x4520+5 ~x4440+9 ~x4360+6 ~x4280+4 ~x4200+5 ~x4120+6 ~x4040+2 ~x3960+3 ~x3880+3 ~x3800+8 ~x3720+8 ~x3640+6 ~x3560+9 ~x3480+8 ~x3400+3 ~x3320+2 ~x3240+5 ~x3160+10 ~x3080+10 ~x3000+6 ~x2920+9 ~x2840+10 ~x2760+8 ~x2600+1 ~x2520-0=399
18.78/18.82	c 128 ~x232399+64 ~x232398+32 ~x232397+16 ~x232396+8 ~x232395+4 ~x232394+2 ~x232393+1 ~x232392+6 ~x4761+7 ~x4681+4 ~x4521+5 ~x4441+9 ~x4361+6 ~x4281+4 ~x4201+5 ~x4121+6 ~x4041+2 ~x3961+3 ~x3881+3 ~x3801+8 ~x3721+8 ~x3641+6 ~x3561+9 ~x3481+8 ~x3401+3 ~x3321+2 ~x3241+5 ~x3161+10 ~x3081+10 ~x3001+6 ~x2921+9 ~x2841+10 ~x2761+8 ~x2601-0=398
18.78/18.87	c 128 ~x234383+64 ~x234382+32 ~x234381+16 ~x234380+8 ~x234379+4 ~x234378+2 ~x234377+1 ~x234376+6 ~x4762+7 ~x4682+6 ~x4602+4 ~x4522+5 ~x4442+9 ~x4362+6 ~x4282+4 ~x4202+5 ~x4122+6 ~x4042+2 ~x3962+3 ~x3882+3 ~x3802+8 ~x3722+8 ~x3642+6 ~x3562+9 ~x3482+8 ~x3402+3 ~x3322+2 ~x3242+5 ~x3162+10 ~x3082+10 ~x3002+6 ~x2922+9 ~x2842+10 ~x2762+8 ~x2602-0=404
18.88/18.92	c 128 ~x236433+64 ~x236432+32 ~x236431+16 ~x236430+8 ~x236429+4 ~x236428+2 ~x236427+1 ~x236426+6 ~x4763+7 ~x4683+6 ~x4603+4 ~x4523+5 ~x4443+9 ~x4363+6 ~x4283+4 ~x4203+5 ~x4123+6 ~x4043+2 ~x3963+3 ~x3883+3 ~x3803+8 ~x3723+8 ~x3643+6 ~x3563+9 ~x3483+8 ~x3403+3 ~x3323+2 ~x3243+5 ~x3163+10 ~x3083+10 ~x3003+6 ~x2923+9 ~x2843+10 ~x2763+8 ~x2603-0=404
18.88/18.97	c 128 ~x238483+64 ~x238482+32 ~x238481+16 ~x238480+8 ~x238479+4 ~x238478+2 ~x238477+1 ~x238476+4 ~x4844+6 ~x4764+7 ~x4684+6 ~x4604+4 ~x4524+5 ~x4444+9 ~x4364+6 ~x4284+4 ~x4204+5 ~x4124+6 ~x4044+2 ~x3964+3 ~x3884+3 ~x3804+8 ~x3724+8 ~x3644+6 ~x3564+9 ~x3484+8 ~x3404+3 ~x3324+2 ~x3244+5 ~x3164+10 ~x3084+10 ~x3004+6 ~x2924+9 ~x2844+10 ~x2764+8 ~x2604-0=408
18.98/19.02	c 128 ~x240599+64 ~x240598+32 ~x240597+16 ~x240596+8 ~x240595+4 ~x240594+2 ~x240593+1 ~x240592+4 ~x4845+6 ~x4765+7 ~x4685+6 ~x4605+4 ~x4525+5 ~x4445+9 ~x4365+6 ~x4285+4 ~x4205+5 ~x4125+6 ~x4045+2 ~x3965+3 ~x3885+3 ~x3805+8 ~x3725+8 ~x3645+6 ~x3565+9 ~x3485+8 ~x3405+3 ~x3325+2 ~x3245+5 ~x3165+10 ~x3085+10 ~x3005+6 ~x2925+9 ~x2845+10 ~x2765+8 ~x2605-0=408
18.98/19.07	c 128 ~x242715+64 ~x242714+32 ~x242713+16 ~x242712+8 ~x242711+4 ~x242710+2 ~x242709+1 ~x242708+4 ~x4846+6 ~x4766+7 ~x4686+6 ~x4606+4 ~x4526+5 ~x4446+9 ~x4366+6 ~x4286+4 ~x4206+5 ~x4126+6 ~x4046+2 ~x3966+3 ~x3886+3 ~x3806+8 ~x3726+8 ~x3646+6 ~x3566+9 ~x3486+8 ~x3406+3 ~x3326+2 ~x3246+5 ~x3166+10 ~x3086+10 ~x3006+6 ~x2926+9 ~x2846+10 ~x2766+8 ~x2606-0=408
19.08/19.12	c 128 ~x244831+64 ~x244830+32 ~x244829+16 ~x244828+8 ~x244827+4 ~x244826+2 ~x244825+1 ~x244824+4 ~x4847+6 ~x4767+7 ~x4687+6 ~x4607+4 ~x4527+5 ~x4447+9 ~x4367+6 ~x4287+4 ~x4207+5 ~x4127+6 ~x4047+2 ~x3967+3 ~x3887+3 ~x3807+8 ~x3727+8 ~x3647+6 ~x3567+9 ~x3487+8 ~x3407+3 ~x3327+2 ~x3247+10 ~x3087+6 ~x2927+9 ~x2847+10 ~x2767+8 ~x2607-0=393
19.08/19.17	c 128 ~x246815+64 ~x246814+32 ~x246813+16 ~x246812+8 ~x246811+4 ~x246810+2 ~x246809+1 ~x246808+4 ~x4848+6 ~x4768+7 ~x4688+6 ~x4608+4 ~x4528+5 ~x4448+9 ~x4368+6 ~x4288+4 ~x4208+5 ~x4128+6 ~x4048+2 ~x3968+3 ~x3888+3 ~x3808+8 ~x3728+8 ~x3648+6 ~x3568+9 ~x3488+8 ~x3408+3 ~x3328+2 ~x3248+10 ~x3088+6 ~x2928+9 ~x2848+10 ~x2768+8 ~x2608-0=393
19.18/19.22	c 128 ~x248799+64 ~x248798+32 ~x248797+16 ~x248796+8 ~x248795+4 ~x248794+2 ~x248793+1 ~x248792+4 ~x4849+6 ~x4769+7 ~x4689+6 ~x4609+4 ~x4529+5 ~x4449+9 ~x4369+6 ~x4289+4 ~x4209+5 ~x4129+6 ~x4049+2 ~x3969+3 ~x3889+3 ~x3809+8 ~x3729+8 ~x3649+6 ~x3569+9 ~x3489+8 ~x3409+3 ~x3329+2 ~x3249+10 ~x3089+6 ~x2929+9 ~x2849+10 ~x2769+8 ~x2609-0=393
19.18/19.27	c 128 ~x250783+64 ~x250782+32 ~x250781+16 ~x250780+8 ~x250779+4 ~x250778+2 ~x250777+1 ~x250776+4 ~x4850+6 ~x4770+7 ~x4690+6 ~x4610+4 ~x4530+5 ~x4450+9 ~x4370+6 ~x4290+4 ~x4210+5 ~x4130+6 ~x4050+2 ~x3970+3 ~x3890+3 ~x3810+8 ~x3730+8 ~x3650+6 ~x3570+9 ~x3490+8 ~x3410+3 ~x3330+2 ~x3250+10 ~x3090+6 ~x2930+10 ~x2770+8 ~x2610-0=384
19.28/19.32	c 128 ~x252692+64 ~x252691+32 ~x252690+16 ~x252689+8 ~x252688+4 ~x252687+2 ~x252686+1 ~x252685+4 ~x4851+6 ~x4771+7 ~x4691+6 ~x4611+4 ~x4531+5 ~x4451+9 ~x4371+6 ~x4291+4 ~x4211+5 ~x4131+6 ~x4051+2 ~x3971+3 ~x3891+3 ~x3811+8 ~x3731+8 ~x3651+6 ~x3571+9 ~x3491+8 ~x3411+3 ~x3331+2 ~x3251+10 ~x3091+6 ~x2931+10 ~x2771+8 ~x2611-0=384
19.28/19.36	c 128 ~x254601+64 ~x254600+32 ~x254599+16 ~x254598+8 ~x254597+4 ~x254596+2 ~x254595+1 ~x254594+4 ~x4852+6 ~x4772+7 ~x4692+6 ~x4612+4 ~x4532+5 ~x4452+9 ~x4372+6 ~x4292+4 ~x4212+5 ~x4132+6 ~x4052+2 ~x3972+3 ~x3892+3 ~x3812+8 ~x3732+8 ~x3652+6 ~x3572+9 ~x3492+8 ~x3412+3 ~x3332+2 ~x3252+10 ~x3092+6 ~x2932+10 ~x2772+8 ~x2612-0=384
19.38/19.41	c 64 ~x256509+32 ~x256508+16 ~x256507+8 ~x256506+4 ~x256505+2 ~x256504+1 ~x256503+4 ~x4853+6 ~x4773+7 ~x4693+6 ~x4613+4 ~x4533+5 ~x4453+9 ~x4373+6 ~x4293+4 ~x4213+5 ~x4133+6 ~x4053+2 ~x3973+3 ~x3893+3 ~x3813+8 ~x3733+8 ~x3653+6 ~x3573+9 ~x3493+8 ~x3413+3 ~x3333+2 ~x3253+10 ~x3093+6 ~x2933+8 ~x2613-0=246
19.38/19.45	c 64 ~x258285+32 ~x258284+16 ~x258283+8 ~x258282+4 ~x258281+2 ~x258280+1 ~x258279+4 ~x4854+6 ~x4774+7 ~x4694+6 ~x4614+4 ~x4534+5 ~x4454+9 ~x4374+6 ~x4294+4 ~x4214+5 ~x4134+6 ~x4054+2 ~x3974+3 ~x3894+3 ~x3814+8 ~x3734+8 ~x3654+6 ~x3574+9 ~x3494+8 ~x3414+3 ~x3334+2 ~x3254+10 ~x3094+6 ~x2934-0=238
19.48/19.50	c 64 ~x259998+32 ~x259997+16 ~x259996+8 ~x259995+4 ~x259994+2 ~x259993+1 ~x259992+4 ~x4855+6 ~x4775+7 ~x4695+6 ~x4615+4 ~x4535+5 ~x4455+9 ~x4375+6 ~x4295+4 ~x4215+5 ~x4135+6 ~x4055+2 ~x3975+3 ~x3895+3 ~x3815+8 ~x3735+8 ~x3655+6 ~x3575+9 ~x3495+8 ~x3415+3 ~x3335+2 ~x3255+10 ~x3095+6 ~x2935-0=238
19.48/19.54	c 64 ~x261711+32 ~x261710+16 ~x261709+8 ~x261708+4 ~x261707+2 ~x261706+1 ~x261705+4 ~x4856+6 ~x4776+7 ~x4696+6 ~x4616+4 ~x4536+5 ~x4456+9 ~x4376+6 ~x4296+4 ~x4216+5 ~x4136+6 ~x4056+2 ~x3976+3 ~x3896+3 ~x3816+8 ~x3736+8 ~x3656+6 ~x3576+9 ~x3496+8 ~x3416+3 ~x3336+2 ~x3256+10 ~x3096+6 ~x2936-0=238
19.48/19.59	c 64 ~x263424+32 ~x263423+16 ~x263422+8 ~x263421+4 ~x263420+2 ~x263419+1 ~x263418+4 ~x4857+6 ~x4777+7 ~x4697+6 ~x4617+4 ~x4537+5 ~x4457+9 ~x4377+6 ~x4297+4 ~x4217+5 ~x4137+6 ~x4057+2 ~x3977+3 ~x3817+8 ~x3737+8 ~x3657+6 ~x3577+9 ~x3497+3 ~x3337+6 ~x2937-0=215
19.58/19.62	c 64 ~x264676+32 ~x264675+16 ~x264674+8 ~x264673+4 ~x264672+2 ~x264671+1 ~x264670+4 ~x4858+6 ~x4778+7 ~x4698+6 ~x4618+4 ~x4538+5 ~x4458+9 ~x4378+6 ~x4298+4 ~x4218+5 ~x4138+6 ~x4058+2 ~x3978+3 ~x3818+8 ~x3738+8 ~x3658+6 ~x3578+9 ~x3498+3 ~x3338-0=209
19.58/19.65	c 64 ~x265871+32 ~x265870+16 ~x265869+8 ~x265868+4 ~x265867+2 ~x265866+1 ~x265865+4 ~x4859+6 ~x4779+7 ~x4699+6 ~x4619+4 ~x4539+5 ~x4459+9 ~x4379+6 ~x4299+4 ~x4219+5 ~x4139+6 ~x4059+2 ~x3979+3 ~x3819+8 ~x3739+8 ~x3659+6 ~x3579+9 ~x3499+3 ~x3339-0=209
19.58/19.69	c 64 ~x267066+32 ~x267065+16 ~x267064+8 ~x267063+4 ~x267062+2 ~x267061+1 ~x267060+4 ~x4860+6 ~x4780+7 ~x4700+6 ~x4620+4 ~x4540+5 ~x4460+9 ~x4380+6 ~x4300+4 ~x4220+5 ~x4140+6 ~x4060+2 ~x3980+3 ~x3820+8 ~x3740+8 ~x3660+6 ~x3580+9 ~x3500+3 ~x3340-0=209
19.69/19.72	c 64 ~x268261+32 ~x268260+16 ~x268259+8 ~x268258+4 ~x268257+2 ~x268256+1 ~x268255+4 ~x4861+6 ~x4781+7 ~x4701+6 ~x4621+4 ~x4541+5 ~x4461+9 ~x4381+6 ~x4301+4 ~x4221+5 ~x4141+6 ~x4061+2 ~x3981+3 ~x3821+8 ~x3741+8 ~x3661+6 ~x3581+9 ~x3501+3 ~x3341-0=209
19.69/19.75	c 64 ~x269456+32 ~x269455+16 ~x269454+8 ~x269453+4 ~x269452+2 ~x269451+1 ~x269450+4 ~x4862+6 ~x4782+7 ~x4702+6 ~x4622+4 ~x4542+5 ~x4462+9 ~x4382+6 ~x4302+4 ~x4222+5 ~x4142+6 ~x4062+2 ~x3982+3 ~x3822+8 ~x3742+8 ~x3662+6 ~x3582+9 ~x3502+3 ~x3342-0=209
19.69/19.78	c 64 ~x270651+32 ~x270650+16 ~x270649+8 ~x270648+4 ~x270647+2 ~x270646+1 ~x270645+4 ~x4863+6 ~x4783+7 ~x4703+6 ~x4623+4 ~x4543+5 ~x4463+9 ~x4383+6 ~x4303+4 ~x4223+5 ~x4143+6 ~x4063+2 ~x3983+3 ~x3823+8 ~x3743+8 ~x3663+6 ~x3583+9 ~x3503+3 ~x3343-0=209
19.79/19.81	c 64 ~x271846+32 ~x271845+16 ~x271844+8 ~x271843+4 ~x271842+2 ~x271841+1 ~x271840+4 ~x4864+6 ~x4784+7 ~x4704+6 ~x4624+4 ~x4544+5 ~x4464+9 ~x4384+6 ~x4304+4 ~x4224+5 ~x4144+6 ~x4064+3 ~x3824+8 ~x3664+6 ~x3584+9 ~x3504-0=196
19.79/19.86	c 64 ~x272855+32 ~x272854+16 ~x272853+8 ~x272852+4 ~x272851+2 ~x272850+1 ~x272849+4 ~x4865+6 ~x4785+7 ~x4705+6 ~x4625+4 ~x4545+5 ~x4465+9 ~x4385+6 ~x4305+4 ~x4225+5 ~x4145+6 ~x4065+3 ~x3825+8 ~x3665+6 ~x3585+9 ~x3505-0=196
19.79/19.86	c 32 ~x273863+16 ~x273862+8 ~x273861+4 ~x273860+2 ~x273859+1 ~x273858+4 ~x4866+6 ~x4786+7 ~x4706+6 ~x4626+4 ~x4546+5 ~x4466+9 ~x4386+6 ~x4306+4 ~x4226+5 ~x4146+8 ~x3666-0=108
19.79/19.88	c 32 ~x274533+16 ~x274532+8 ~x274531+4 ~x274530+2 ~x274529+1 ~x274528+4 ~x4867+6 ~x4787+7 ~x4707+6 ~x4627+4 ~x4547+5 ~x4467+9 ~x4387+6 ~x4307+4 ~x4227+5 ~x4147+8 ~x3667-0=108
19.88/19.92	c 32 ~x275203+16 ~x275202+8 ~x275201+4 ~x275200+2 ~x275199+1 ~x275198+4 ~x4868+6 ~x4788+7 ~x4708+6 ~x4628+4 ~x4548+5 ~x4468+9 ~x4388+6 ~x4308+4 ~x4228+5 ~x4148+8 ~x3668-0=108
19.88/19.92	c 16 ~x275872+8 ~x275871+4 ~x275870+2 ~x275869+1 ~x275868+4 ~x4869+6 ~x4789+7 ~x4709+6 ~x4629+4 ~x4549+5 ~x4469+4 ~x4229+5 ~x4149+8 ~x3669-0=61
19.88/19.93	c 16 ~x276328+8 ~x276327+4 ~x276326+2 ~x276325+1 ~x276324+4 ~x4870+6 ~x4790+7 ~x4710+6 ~x4630+4 ~x4550+5 ~x4470+4 ~x4230+5 ~x4150+8 ~x3670-0=61
19.88/19.97	c 16 ~x276784+8 ~x276783+4 ~x276782+2 ~x276781+1 ~x276780+4 ~x4871+6 ~x4791+7 ~x4711+6 ~x4631+4 ~x4231+8 ~x3671-0=47
19.88/19.97	c 16 ~x277111+8 ~x277110+4 ~x277109+2 ~x277108+1 ~x277107+4 ~x4872+6 ~x4792+7 ~x4712+6 ~x4632+4 ~x4232+8 ~x3672-0=47
20.48/20.57	c 1 ~x277434+7 ~x2642+7 ~x2562+3 ~x2482-0=2
20.48/20.57	c Calling SatSolver
20.48/20.57	c Var= 277435 Clauses=826068
20.48/20.57	s UNSATISFIABLE

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-2684721-1278432621/watcher-2684721-1278432621 -o /tmp/evaluation-result-2684721-1278432621/solver-2684721-1278432621 -C 1800 -W 2000 -M 1800 run HOME/instance-2684721-1278432621.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.69 0.22 0.07 3/106 21560
/proc/meminfo: memFree=1443176/2059040 swapFree=4192956/4192956
[pid=21560] ppid=21558 vsize=8700 CPUtime=0
/proc/21560/stat : 21560 (run) S 21558 21560 21236 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 11475728 8908800 251 1992294400 4194304 4922060 140734771631888 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21560/statm: 2175 251 211 178 0 68 0

[startup+0.0801139 s]
/proc/loadavg: 0.69 0.22 0.07 3/106 21560
/proc/meminfo: memFree=1443176/2059040 swapFree=4192956/4192956
[pid=21560] ppid=21558 vsize=8700 CPUtime=0
/proc/21560/stat : 21560 (run) S 21558 21560 21236 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 11475728 8908800 251 1992294400 4194304 4922060 140734771631888 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21560/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101116 s]
/proc/loadavg: 0.69 0.22 0.07 3/106 21560
/proc/meminfo: memFree=1443176/2059040 swapFree=4192956/4192956
[pid=21560] ppid=21558 vsize=8700 CPUtime=0
/proc/21560/stat : 21560 (run) S 21558 21560 21236 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 11475728 8908800 251 1992294400 4194304 4922060 140734771631888 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21560/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301138 s]
/proc/loadavg: 0.69 0.22 0.07 3/106 21560
/proc/meminfo: memFree=1443176/2059040 swapFree=4192956/4192956
[pid=21560] ppid=21558 vsize=8700 CPUtime=0
/proc/21560/stat : 21560 (run) S 21558 21560 21236 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 11475728 8908800 251 1992294400 4194304 4922060 140734771631888 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21560/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701182 s]
/proc/loadavg: 0.69 0.22 0.07 3/106 21560
/proc/meminfo: memFree=1443176/2059040 swapFree=4192956/4192956
[pid=21560] ppid=21558 vsize=8700 CPUtime=0
/proc/21560/stat : 21560 (run) S 21558 21560 21236 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 11475728 8908800 251 1992294400 4194304 4922060 140734771631888 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21560/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50127 s]
/proc/loadavg: 0.69 0.22 0.07 2/108 21563
/proc/meminfo: memFree=1229260/2059040 swapFree=4192956/4192956
[pid=21560] ppid=21558 vsize=8700 CPUtime=0
/proc/21560/stat : 21560 (run) S 21558 21560 21236 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 11475728 8908800 251 1992294400 4194304 4922060 140734771631888 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21560/statm: 2175 251 211 178 0 68 0
[pid=21562] ppid=21560 vsize=313152 CPUtime=1.49
/proc/21562/stat : 21562 (PBPASSolver) R 21560 21560 21236 0 -1 4202496 77713 0 0 0 61 88 0 0 25 0 1 0 11475728 320667648 77650 1992294400 134512640 134902295 4286761648 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21562/statm: 78288 77652 256 96 0 77478 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 321852

[startup+3.10145 s]
/proc/loadavg: 0.71 0.23 0.08 2/108 21563
/proc/meminfo: memFree=1023048/2059040 swapFree=4192956/4192956
[pid=21560] ppid=21558 vsize=8700 CPUtime=0
/proc/21560/stat : 21560 (run) S 21558 21560 21236 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 11475728 8908800 251 1992294400 4194304 4922060 140734771631888 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21560/statm: 2175 251 211 178 0 68 0
[pid=21562] ppid=21560 vsize=590784 CPUtime=3.09
/proc/21562/stat : 21562 (PBPASSolver) R 21560 21560 21236 0 -1 4202496 147161 0 0 0 140 169 0 0 25 0 1 0 11475728 604962816 147098 1992294400 134512640 134902295 4286761648 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21562/statm: 147696 147098 256 96 0 146886 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 599484

[startup+6.3008 s]
/proc/loadavg: 0.71 0.23 0.08 2/108 21563
/proc/meminfo: memFree=655892/2059040 swapFree=4192956/4192956
[pid=21560] ppid=21558 vsize=8700 CPUtime=0
/proc/21560/stat : 21560 (run) S 21558 21560 21236 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 11475728 8908800 251 1992294400 4194304 4922060 140734771631888 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21560/statm: 2175 251 211 178 0 68 0
[pid=21562] ppid=21560 vsize=808740 CPUtime=6.28
/proc/21562/stat : 21562 (PBPASSolver) R 21560 21560 21236 0 -1 4202496 201563 0 0 0 403 225 0 0 25 0 1 0 11475728 828149760 201500 1992294400 134512640 134902295 4286761648 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21562/statm: 202185 201500 261 96 0 201375 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 817440

[startup+12.7015 s]
/proc/loadavg: 0.75 0.25 0.09 2/108 21565
/proc/meminfo: memFree=553096/2059040 swapFree=4192956/4192956
[pid=21560] ppid=21558 vsize=8700 CPUtime=0
/proc/21560/stat : 21560 (run) S 21558 21560 21236 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 11475728 8908800 251 1992294400 4194304 4922060 140734771631888 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21560/statm: 2175 251 211 178 0 68 0
[pid=21562] ppid=21560 vsize=899236 CPUtime=12.69
/proc/21562/stat : 21562 (PBPASSolver) R 21560 21560 21236 0 -1 4202496 224200 0 0 0 1035 234 0 0 25 0 1 0 11475728 920817664 224137 1992294400 134512640 134902295 4286761648 18446744073709551615 134588431 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21562/statm: 224809 224137 261 96 0 223999 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 907936

Solver just ended. Dumping a history of the last processes samples

[startup+15.9009 s]
/proc/loadavg: 0.75 0.25 0.09 2/108 21565
/proc/meminfo: memFree=510688/2059040 swapFree=4192956/4192956
[pid=21560] ppid=21558 vsize=8700 CPUtime=0
/proc/21560/stat : 21560 (run) S 21558 21560 21236 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 11475728 8908800 251 1992294400 4194304 4922060 140734771631888 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21560/statm: 2175 251 211 178 0 68 0
[pid=21562] ppid=21560 vsize=945028 CPUtime=15.88
/proc/21562/stat : 21562 (PBPASSolver) R 21560 21560 21236 0 -1 4202496 236539 0 0 0 1349 239 0 0 25 0 1 0 11475728 967708672 235082 1992294400 134512640 134902295 4286761648 18446744073709551615 9254396 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21562/statm: 236257 235082 262 96 0 235447 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 953728

[startup+19.1012 s]
/proc/loadavg: 0.77 0.27 0.09 2/108 21565
/proc/meminfo: memFree=456004/2059040 swapFree=4192956/4192956
[pid=21560] ppid=21558 vsize=8700 CPUtime=0
/proc/21560/stat : 21560 (run) S 21558 21560 21236 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 11475728 8908800 251 1992294400 4194304 4922060 140734771631888 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21560/statm: 2175 251 211 178 0 68 0
[pid=21562] ppid=21560 vsize=1001472 CPUtime=19.08
/proc/21562/stat : 21562 (PBPASSolver) R 21560 21560 21236 0 -1 4202496 251155 0 0 0 1664 244 0 0 25 0 1 0 11475728 1025507328 248274 1992294400 134512640 134902295 4286761648 18446744073709551615 4159763129 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21562/statm: 250368 248274 262 96 0 249558 0
Current children cumulated CPU time (s) 19.08
Current children cumulated vsize (KiB) 1010172

[startup+19.9013 s]
/proc/loadavg: 0.77 0.27 0.09 2/108 21565
/proc/meminfo: memFree=436660/2059040 swapFree=4192956/4192956
[pid=21560] ppid=21558 vsize=8700 CPUtime=0
/proc/21560/stat : 21560 (run) S 21558 21560 21236 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 11475728 8908800 251 1992294400 4194304 4922060 140734771631888 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21560/statm: 2175 251 211 178 0 68 0
[pid=21562] ppid=21560 vsize=1014600 CPUtime=19.88
/proc/21562/stat : 21562 (PBPASSolver) R 21560 21560 21236 0 -1 4202496 255144 0 0 0 1741 247 0 0 25 0 1 0 11475728 1038950400 251951 1992294400 134512640 134902295 4286761648 18446744073709551615 134519454 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21562/statm: 253650 251951 262 96 0 252840 0
Current children cumulated CPU time (s) 19.88
Current children cumulated vsize (KiB) 1023300

[startup+20.3014 s]
/proc/loadavg: 0.77 0.27 0.09 2/108 21565
/proc/meminfo: memFree=436660/2059040 swapFree=4192956/4192956
[pid=21560] ppid=21558 vsize=8700 CPUtime=0
/proc/21560/stat : 21560 (run) S 21558 21560 21236 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 11475728 8908800 251 1992294400 4194304 4922060 140734771631888 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21560/statm: 2175 251 211 178 0 68 0
[pid=21562] ppid=21560 vsize=79920 CPUtime=20.28
/proc/21562/stat : 21562 (PBPASSolver) R 21560 21560 21236 0 -1 4202496 255372 0 0 0 1771 257 0 0 25 0 1 0 11475728 81838080 18338 1992294400 134512640 134902295 4286761648 18446744073709551615 134566735 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21562/statm: 19980 18338 262 96 0 19170 0
Current children cumulated CPU time (s) 20.28
Current children cumulated vsize (KiB) 88620

[startup+20.5014 s]
/proc/loadavg: 0.77 0.27 0.09 2/108 21565
/proc/meminfo: memFree=436660/2059040 swapFree=4192956/4192956
[pid=21560] ppid=21558 vsize=8700 CPUtime=0
/proc/21560/stat : 21560 (run) S 21558 21560 21236 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 11475728 8908800 251 1992294400 4194304 4922060 140734771631888 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21560/statm: 2175 251 211 178 0 68 0
[pid=21562] ppid=21560 vsize=54656 CPUtime=20.48
/proc/21562/stat : 21562 (PBPASSolver) R 21560 21560 21236 0 -1 4202496 255372 0 0 0 1791 257 0 0 25 0 1 0 11475728 55967744 12162 1992294400 134512640 134902295 4286761648 18446744073709551615 9242717 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21562/statm: 13664 12162 262 96 0 12854 0
Current children cumulated CPU time (s) 20.48
Current children cumulated vsize (KiB) 63356

Child status: 0
Real time (s): 20.5796
CPU time (s): 20.5699
CPU user time (s): 17.9803
CPU system time (s): 2.58961
CPU usage (%): 99.9526
Max. virtual memory (cumulated for all children) (KiB): 1023300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.9803
system time used= 2.58961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255936
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= 6
involuntary context switches= 43

runsolver used 0.033994 second user time and 0.110983 second system time

The end

Begin job on node005 at 2010-07-06 18:10:21
IDJOB=2684721
IDBENCH=73438
IDSOLVER=1174
FILE ID=node005/2684721-1278432621
PBS_JOBID= 11233465
Free space on /tmp= 62540 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j30/normalized-j3029_8-unsat.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684721-1278432621/watcher-2684721-1278432621 -o /tmp/evaluation-result-2684721-1278432621/solver-2684721-1278432621 -C 1800 -W 2000 -M 1800  run HOME/instance-2684721-1278432621.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 4beea9548a8b05c336cb9a5dcff42191
RANDOM SEED=106410680

node005.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.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
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.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1443696 kB
Buffers:        103628 kB
Cached:         373720 kB
SwapCached:          0 kB
Active:         171820 kB
Inactive:       365852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1443696 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1128 kB
Writeback:           0 kB
AnonPages:       60148 kB
Mapped:          14400 kB
Slab:            55788 kB
PageTables:       4128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179620 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= 62540 MiB
End job on node005 at 2010-07-06 18:10:42