17.55/17.64	c 5952 19548 0 0 0 0 0 0
17.55/17.64	c 4 ~x17740+2 ~x17739+1 ~x17738+1 ~x3170+7 ~x3074+10 ~x2978-0=12
17.55/17.64	c 4 ~x17820+2 ~x17819+1 ~x17818+1 ~x3171+7 ~x3075+10 ~x2979-0=12
17.55/17.64	c 4 ~x17900+2 ~x17899+1 ~x17898+1 ~x3172+7 ~x3076+10 ~x2980-0=12
17.55/17.64	c 4 ~x17980+2 ~x17979+1 ~x17978+1 ~x3173+7 ~x3077+10 ~x2981-0=12
17.64/17.74	c 16 ~x18062+8 ~x18061+4 ~x18060+2 ~x18059+1 ~x18058+8 ~x3558+4 ~x3462+4 ~x3366+1 ~x3174+7 ~x3078+10 ~x2982-0=52
17.64/17.74	c 16 ~x18359+8 ~x18358+4 ~x18357+2 ~x18356+1 ~x18355+8 ~x3559+4 ~x3463+4 ~x3367+1 ~x3175+7 ~x3079+10 ~x2983-0=52
17.64/17.74	c 16 ~x18656+8 ~x18655+4 ~x18654+2 ~x18653+1 ~x18652+8 ~x3560+4 ~x3464+4 ~x3368+1 ~x3176+7 ~x3080+10 ~x2984-0=52
17.64/17.76	c 16 ~x18953+8 ~x18952+4 ~x18951+2 ~x18950+1 ~x18949+8 ~x3561+4 ~x3465+4 ~x3369+1 ~x3177+7 ~x3081+10 ~x2985-0=52
17.64/17.76	c 16 ~x19250+8 ~x19249+4 ~x19248+2 ~x19247+1 ~x19246+8 ~x3562+4 ~x3466+4 ~x3370+5 ~x3274+1 ~x3178+7 ~x3082+10 ~x2986-0=57
17.64/17.78	c 16 ~x19598+8 ~x19597+4 ~x19596+2 ~x19595+1 ~x19594+8 ~x3563+4 ~x3467+4 ~x3371+5 ~x3275+1 ~x3179+7 ~x3083+10 ~x2987-0=57
17.64/17.78	c 16 ~x19946+8 ~x19945+4 ~x19944+2 ~x19943+1 ~x19942+8 ~x3564+4 ~x3468+4 ~x3372+5 ~x3276+1 ~x3180+7 ~x3084+10 ~x2988-0=57
17.74/17.81	c 16 ~x20294+8 ~x20293+4 ~x20292+2 ~x20291+1 ~x20290+1 ~x3949+8 ~x3565+4 ~x3469+4 ~x3373+5 ~x3277+1 ~x3181+7 ~x3085+10 ~x2989-0=58
17.74/17.81	c 16 ~x20687+8 ~x20686+4 ~x20685+2 ~x20684+1 ~x20683+1 ~x3950+8 ~x3566+4 ~x3470+4 ~x3374+5 ~x3278+1 ~x3182+7 ~x3086+10 ~x2990-0=58
17.74/17.83	c 32 ~x21081+16 ~x21080+8 ~x21079+4 ~x21078+2 ~x21077+1 ~x21076+1 ~x3951+7 ~x3759+8 ~x3567+4 ~x3471+4 ~x3375+5 ~x3279+1 ~x3183+7 ~x3087+10 ~x2991-0=97
17.74/17.83	c 32 ~x21628+16 ~x21627+8 ~x21626+4 ~x21625+2 ~x21624+1 ~x21623+1 ~x3952+7 ~x3760+8 ~x3568+4 ~x3472+4 ~x3376+5 ~x3280+1 ~x3184+7 ~x3088+10 ~x2992-0=97
17.74/17.85	c 32 ~x22175+16 ~x22174+8 ~x22173+4 ~x22172+2 ~x22171+1 ~x22170+1 ~x3953+7 ~x3761+8 ~x3569+4 ~x3473+4 ~x3377+5 ~x3281+1 ~x3185+7 ~x3089+10 ~x2993-0=97
17.74/17.88	c 32 ~x22722+16 ~x22721+8 ~x22720+4 ~x22719+2 ~x22718+1 ~x22717+1 ~x3954+7 ~x3762+8 ~x3570+4 ~x3474+4 ~x3378+5 ~x3282+1 ~x3186+7 ~x3090+10 ~x2994-0=97
17.74/17.88	c 32 ~x23269+16 ~x23268+8 ~x23267+4 ~x23266+2 ~x23265+1 ~x23264+1 ~x3955+7 ~x3763+8 ~x3571+4 ~x3475+4 ~x3379+5 ~x3283+1 ~x3187+7 ~x3091+10 ~x2995-0=97
17.84/17.91	c 32 ~x23816+16 ~x23815+8 ~x23814+4 ~x23813+2 ~x23812+1 ~x23811+2 ~x4724+3 ~x4436+1 ~x4148+1 ~x3956+7 ~x3764+8 ~x3572+4 ~x3476+4 ~x3380+5 ~x3284+1 ~x3188+7 ~x3092+10 ~x2996-0=103
17.84/17.91	c 32 ~x24516+16 ~x24515+8 ~x24514+4 ~x24513+2 ~x24512+1 ~x24511+2 ~x4725+3 ~x4437+1 ~x4149+1 ~x3957+1 ~x3861+7 ~x3765+8 ~x3573+4 ~x3477+4 ~x3381+5 ~x3285+1 ~x3189+7 ~x3093+10 ~x2997-0=104
17.84/17.93	c 32 ~x25267+16 ~x25266+8 ~x25265+4 ~x25264+2 ~x25263+1 ~x25262+2 ~x4726+3 ~x4438+1 ~x4150+1 ~x3958+1 ~x3862+7 ~x3766+8 ~x3574+4 ~x3478+4 ~x3382+5 ~x3286+1 ~x3190+7 ~x3094+10 ~x2998-0=104
17.84/17.95	c 32 ~x26018+16 ~x26017+8 ~x26016+4 ~x26015+2 ~x26014+1 ~x26013+6 ~x5303+2 ~x4727+3 ~x4439+4 ~x4343+1 ~x4151+7 ~x4055+1 ~x3959+1 ~x3863+7 ~x3767+8 ~x3575+4 ~x3479+4 ~x3383+5 ~x3287+1 ~x3191+7 ~x3095+10 ~x2999-0=121
17.84/17.98	c 32 ~x26922+16 ~x26921+8 ~x26920+4 ~x26919+2 ~x26918+1 ~x26917+6 ~x5304+2 ~x4728+3 ~x4440+4 ~x4344+1 ~x4152+7 ~x4056+1 ~x3960+1 ~x3864+7 ~x3768+8 ~x3576+4 ~x3480+4 ~x3384+5 ~x3288+1 ~x3192+7 ~x3096+10 ~x3000-0=121
17.93/18.02	c 32 ~x27826+16 ~x27825+8 ~x27824+4 ~x27823+2 ~x27822+1 ~x27821+6 ~x5305+2 ~x4729+3 ~x4441+4 ~x4345+1 ~x4153+7 ~x4057+1 ~x3961+1 ~x3865+7 ~x3769+8 ~x3577+4 ~x3481+4 ~x3385+5 ~x3289+1 ~x3193+7 ~x3097+10 ~x3001-0=121
17.93/18.02	c 32 ~x28730+16 ~x28729+8 ~x28728+4 ~x28727+2 ~x28726+1 ~x28725+6 ~x5306+2 ~x4730+3 ~x4442+4 ~x4346+1 ~x4154+7 ~x4058+1 ~x3962+1 ~x3866+7 ~x3770+8 ~x3578+4 ~x3482+4 ~x3386+5 ~x3290+1 ~x3194+7 ~x3098+10 ~x3002-0=121
17.93/18.05	c 32 ~x29634+16 ~x29633+8 ~x29632+4 ~x29631+2 ~x29630+1 ~x29629+6 ~x5307+2 ~x4731+3 ~x4443+4 ~x4347+1 ~x4155+7 ~x4059+1 ~x3963+1 ~x3867+7 ~x3771+8 ~x3579+4 ~x3483+4 ~x3387+5 ~x3291+1 ~x3195+7 ~x3099+10 ~x3003-0=121
17.93/18.07	c 32 ~x30538+16 ~x30537+8 ~x30536+4 ~x30535+2 ~x30534+1 ~x30533+6 ~x5308+3 ~x4828+2 ~x4732+3 ~x4444+4 ~x4348+1 ~x4156+7 ~x4060+1 ~x3964+1 ~x3868+7 ~x3772+8 ~x3580+4 ~x3484+4 ~x3388+5 ~x3292+1 ~x3196+7 ~x3100+10 ~x3004-0=124
17.93/18.09	c 64 ~x31494+32 ~x31493+16 ~x31492+8 ~x31491+4 ~x31490+2 ~x31489+1 ~x31488+6 ~x5309+4 ~x5021+3 ~x4829+2 ~x4733+7 ~x4541+3 ~x4445+4 ~x4349+1 ~x4157+7 ~x4061+1 ~x3965+1 ~x3869+7 ~x3773+8 ~x3581+4 ~x3485+4 ~x3389+5 ~x3293+1 ~x3197+7 ~x3101+10 ~x3005-0=199
18.03/18.13	c 64 ~x32701+32 ~x32700+16 ~x32699+8 ~x32698+4 ~x32697+2 ~x32696+1 ~x32695+6 ~x5310+4 ~x5022+3 ~x4830+2 ~x4734+7 ~x4542+3 ~x4446+4 ~x4350+1 ~x4158+7 ~x4062+1 ~x3966+1 ~x3870+7 ~x3774+8 ~x3582+4 ~x3486+4 ~x3390+5 ~x3294+1 ~x3198+7 ~x3102+10 ~x3006-0=199
18.03/18.16	c 64 ~x33908+32 ~x33907+16 ~x33906+8 ~x33905+4 ~x33904+2 ~x33903+1 ~x33902+6 ~x5311+4 ~x5023+3 ~x4831+2 ~x4735+7 ~x4543+3 ~x4447+4 ~x4351+1 ~x4159+7 ~x4063+1 ~x3967+1 ~x3871+7 ~x3775+8 ~x3583+4 ~x3487+4 ~x3391+5 ~x3295+1 ~x3199+7 ~x3103+10 ~x3007-0=199
18.03/18.19	c 64 ~x35115+32 ~x35114+16 ~x35113+8 ~x35112+4 ~x35111+2 ~x35110+1 ~x35109+6 ~x5312+4 ~x5024+3 ~x4832+2 ~x4736+7 ~x4544+3 ~x4448+4 ~x4352+1 ~x4160+7 ~x4064+1 ~x3968+1 ~x3872+7 ~x3776+8 ~x3584+4 ~x3488+4 ~x3392+5 ~x3296+1 ~x3200+7 ~x3104+10 ~x3008-0=199
18.14/18.22	c 64 ~x36322+32 ~x36321+16 ~x36320+8 ~x36319+4 ~x36318+2 ~x36317+1 ~x36316+6 ~x5313+4 ~x5025+9 ~x4929+3 ~x4833+2 ~x4737+7 ~x4545+3 ~x4449+4 ~x4353+1 ~x4161+7 ~x4065+1 ~x3969+1 ~x3873+7 ~x3777+8 ~x3585+4 ~x3489+4 ~x3393+5 ~x3297+1 ~x3201+7 ~x3105+10 ~x3009-0=208
18.14/18.26	c 64 ~x37586+32 ~x37585+16 ~x37584+8 ~x37583+4 ~x37582+2 ~x37581+1 ~x37580+6 ~x5314+4 ~x5026+9 ~x4930+3 ~x4834+2 ~x4738+7 ~x4546+3 ~x4450+4 ~x4354+1 ~x4162+7 ~x4066+1 ~x3970+1 ~x3874+7 ~x3778+8 ~x3586+4 ~x3490+4 ~x3394+5 ~x3298+1 ~x3202+7 ~x3106+10 ~x3010-0=208
18.14/18.29	c 64 ~x38850+32 ~x38849+16 ~x38848+8 ~x38847+4 ~x38846+2 ~x38845+1 ~x38844+6 ~x5315+4 ~x5027+9 ~x4931+3 ~x4835+2 ~x4739+7 ~x4547+3 ~x4451+4 ~x4355+1 ~x4163+7 ~x4067+1 ~x3971+1 ~x3875+7 ~x3779+8 ~x3587+4 ~x3491+4 ~x3395+5 ~x3299+1 ~x3203+7 ~x3107+10 ~x3011-0=208
18.24/18.32	c 64 ~x40114+32 ~x40113+16 ~x40112+8 ~x40111+4 ~x40110+2 ~x40109+1 ~x40108+6 ~x5316+4 ~x5028+9 ~x4932+3 ~x4836+2 ~x4740+7 ~x4548+3 ~x4452+4 ~x4356+1 ~x4164+7 ~x4068+1 ~x3972+1 ~x3876+7 ~x3780+8 ~x3588+4 ~x3492+4 ~x3396+5 ~x3300+1 ~x3204+7 ~x3108+10 ~x3012-0=208
18.24/18.36	c 64 ~x41378+32 ~x41377+16 ~x41376+8 ~x41375+4 ~x41374+2 ~x41373+1 ~x41372+6 ~x5317+4 ~x5029+9 ~x4933+3 ~x4837+2 ~x4741+7 ~x4549+3 ~x4453+4 ~x4357+1 ~x4165+7 ~x4069+1 ~x3973+1 ~x3877+7 ~x3781+8 ~x3589+4 ~x3493+4 ~x3397+5 ~x3301+1 ~x3205+7 ~x3109+10 ~x3013-0=208
18.24/18.39	c 64 ~x42642+32 ~x42641+16 ~x42640+8 ~x42639+4 ~x42638+2 ~x42637+1 ~x42636+6 ~x5318+4 ~x5030+9 ~x4934+3 ~x4838+2 ~x4742+7 ~x4550+3 ~x4454+4 ~x4358+1 ~x4166+7 ~x4070+1 ~x3974+1 ~x3878+7 ~x3782+8 ~x3590+4 ~x3494+4 ~x3398+5 ~x3302+1 ~x3206+7 ~x3110+10 ~x3014-0=208
18.34/18.42	c 64 ~x43906+32 ~x43905+16 ~x43904+8 ~x43903+4 ~x43902+2 ~x43901+1 ~x43900+1 ~x5511+6 ~x5319+8 ~x5127+4 ~x5031+9 ~x4935+3 ~x4839+2 ~x4743+7 ~x4551+3 ~x4455+4 ~x4359+1 ~x4167+7 ~x4071+1 ~x3975+1 ~x3879+7 ~x3783+8 ~x3591+4 ~x3495+4 ~x3399+5 ~x3303+1 ~x3207+7 ~x3111+10 ~x3015-0=217
18.34/18.46	c 64 ~x45284+32 ~x45283+16 ~x45282+8 ~x45281+4 ~x45280+2 ~x45279+1 ~x45278+1 ~x5512+6 ~x5320+8 ~x5128+4 ~x5032+9 ~x4936+3 ~x4840+2 ~x4744+7 ~x4552+3 ~x4456+4 ~x4360+1 ~x4168+7 ~x4072+1 ~x3976+1 ~x3880+7 ~x3784+8 ~x3592+4 ~x3496+4 ~x3400+5 ~x3304+1 ~x3208+7 ~x3112+10 ~x3016-0=217
18.64/18.77	c 64 ~x46662+32 ~x46661+16 ~x46660+8 ~x46659+4 ~x46658+2 ~x46657+1 ~x46656+1 ~x5513+6 ~x5321+8 ~x5129+4 ~x5033+9 ~x4937+3 ~x4841+2 ~x4745+7 ~x4553+3 ~x4457+4 ~x4361+1 ~x4169+7 ~x4073+1 ~x3977+1 ~x3881+7 ~x3785+8 ~x3593+4 ~x3497+4 ~x3401+5 ~x3305+1 ~x3209+7 ~x3113+10 ~x3017-0=217
18.94/19.09	c 64 ~x48040+32 ~x48039+16 ~x48038+8 ~x48037+4 ~x48036+2 ~x48035+1 ~x48034+1 ~x5514+6 ~x5322+8 ~x5130+4 ~x5034+9 ~x4938+3 ~x4842+2 ~x4746+7 ~x4554+3 ~x4458+4 ~x4362+1 ~x4170+7 ~x4074+1 ~x3978+1 ~x3882+7 ~x3786+8 ~x3594+4 ~x3498+4 ~x3402+5 ~x3306+1 ~x3210+10 ~x3018-0=210
19.23/19.30	c 64 ~x49379+32 ~x49378+16 ~x49377+8 ~x49376+4 ~x49375+2 ~x49374+1 ~x49373+1 ~x5515+6 ~x5323+8 ~x5131+4 ~x5035+9 ~x4939+3 ~x4843+2 ~x4747+7 ~x4555+3 ~x4459+4 ~x4363+1 ~x4171+7 ~x4075+1 ~x3979+1 ~x3883+7 ~x3787+8 ~x3595+4 ~x3499+4 ~x3403+5 ~x3307+1 ~x3211+10 ~x3019-0=210
19.33/19.49	c 64 ~x50718+32 ~x50717+16 ~x50716+8 ~x50715+4 ~x50714+2 ~x50713+1 ~x50712+1 ~x5516+6 ~x5324+8 ~x5132+4 ~x5036+9 ~x4940+3 ~x4844+2 ~x4748+7 ~x4556+3 ~x4460+4 ~x4364+1 ~x4172+7 ~x4076+1 ~x3980+1 ~x3884+7 ~x3788+8 ~x3596+4 ~x3500+4 ~x3404+5 ~x3308+1 ~x3212+10 ~x3020-0=210
19.65/19.70	c 64 ~x52057+32 ~x52056+16 ~x52055+8 ~x52054+4 ~x52053+2 ~x52052+1 ~x52051+1 ~x5517+6 ~x5325+8 ~x5133+4 ~x5037+9 ~x4941+3 ~x4845+2 ~x4749+7 ~x4557+3 ~x4461+4 ~x4365+1 ~x4173+7 ~x4077+1 ~x3981+1 ~x3885+7 ~x3789+8 ~x3597+4 ~x3501+4 ~x3405+5 ~x3309+1 ~x3213+10 ~x3021-0=210
19.75/19.83	c 64 ~x53396+32 ~x53395+16 ~x53394+8 ~x53393+4 ~x53392+2 ~x53391+1 ~x53390+1 ~x5518+6 ~x5326+8 ~x5134+4 ~x5038+9 ~x4942+3 ~x4846+2 ~x4750+7 ~x4558+3 ~x4462+4 ~x4366+1 ~x4174+7 ~x4078+1 ~x3982+1 ~x3886+7 ~x3790+8 ~x3598+4 ~x3502+4 ~x3406+5 ~x3310+1 ~x3214+10 ~x3022-0=210
19.84/19.95	c 64 ~x54735+32 ~x54734+16 ~x54733+8 ~x54732+4 ~x54731+2 ~x54730+1 ~x54729+1 ~x5519+6 ~x5327+8 ~x5135+4 ~x5039+9 ~x4943+3 ~x4847+2 ~x4751+7 ~x4559+3 ~x4463+4 ~x4367+1 ~x4175+7 ~x4079+1 ~x3983+1 ~x3887+7 ~x3791+8 ~x3599+4 ~x3503+4 ~x3407+5 ~x3311+1 ~x3215+10 ~x3023-0=210
19.94/20.02	c 64 ~x56074+32 ~x56073+16 ~x56072+8 ~x56071+4 ~x56070+2 ~x56069+1 ~x56068+1 ~x5520+2 ~x5424+6 ~x5328+8 ~x5136+4 ~x5040+9 ~x4944+3 ~x4848+2 ~x4752+7 ~x4560+3 ~x4464+4 ~x4368+1 ~x4176+7 ~x4080+1 ~x3984+1 ~x3888+7 ~x3792+8 ~x3600+4 ~x3504+4 ~x3408+5 ~x3312+1 ~x3216+10 ~x3024-0=212
19.94/20.05	c 64 ~x57470+32 ~x57469+16 ~x57468+8 ~x57467+4 ~x57466+2 ~x57465+1 ~x57464+1 ~x5521+2 ~x5425+6 ~x5329+8 ~x5137+4 ~x5041+9 ~x4945+3 ~x4849+2 ~x4753+7 ~x4561+3 ~x4465+4 ~x4369+1 ~x4177+7 ~x4081+1 ~x3985+1 ~x3889+7 ~x3793+8 ~x3601+4 ~x3505+4 ~x3409+5 ~x3313+1 ~x3217+10 ~x3025-0=212
19.94/20.09	c 64 ~x58866+32 ~x58865+16 ~x58864+8 ~x58863+4 ~x58862+2 ~x58861+1 ~x58860+1 ~x5522+2 ~x5426+6 ~x5330+8 ~x5138+4 ~x5042+9 ~x4946+3 ~x4850+2 ~x4754+7 ~x4562+3 ~x4466+4 ~x4370+1 ~x4178+7 ~x4082+1 ~x3986+1 ~x3890+7 ~x3794+8 ~x3602+4 ~x3506+4 ~x3410+5 ~x3314+1 ~x3218+10 ~x3026-0=212
20.03/20.12	c 64 ~x60262+32 ~x60261+16 ~x60260+8 ~x60259+4 ~x60258+2 ~x60257+1 ~x60256+10 ~x5619+1 ~x5523+2 ~x5427+6 ~x5331+8 ~x5139+4 ~x5043+9 ~x4947+3 ~x4851+2 ~x4755+7 ~x4563+3 ~x4467+4 ~x4371+1 ~x4179+7 ~x4083+1 ~x3987+1 ~x3891+7 ~x3795+8 ~x3603+5 ~x3315+1 ~x3219+10 ~x3027-0=214
20.03/20.16	c 64 ~x61607+32 ~x61606+16 ~x61605+8 ~x61604+4 ~x61603+2 ~x61602+1 ~x61601+8 ~x5812+10 ~x5620+1 ~x5524+2 ~x5428+6 ~x5332+8 ~x5140+4 ~x5044+9 ~x4948+3 ~x4852+2 ~x4756+7 ~x4564+3 ~x4468+4 ~x4372+1 ~x4180+7 ~x4084+1 ~x3988+1 ~x3892+7 ~x3796+8 ~x3604+5 ~x3316-0=211
20.03/20.19	c 64 ~x62859+32 ~x62858+16 ~x62857+8 ~x62856+4 ~x62855+2 ~x62854+1 ~x62853+8 ~x5813+10 ~x5621+1 ~x5525+2 ~x5429+6 ~x5333+8 ~x5141+4 ~x5045+9 ~x4949+3 ~x4853+2 ~x4757+7 ~x4565+3 ~x4469+4 ~x4373+1 ~x4181+7 ~x4085+1 ~x3989+1 ~x3893+7 ~x3797+8 ~x3605+5 ~x3317-0=211
20.13/20.22	c 64 ~x64111+32 ~x64110+16 ~x64109+8 ~x64108+4 ~x64107+2 ~x64106+1 ~x64105+8 ~x5814+10 ~x5622+1 ~x5526+2 ~x5430+6 ~x5334+8 ~x5142+4 ~x5046+9 ~x4950+3 ~x4854+2 ~x4758+7 ~x4566+3 ~x4470+4 ~x4374+1 ~x4182+7 ~x4086+1 ~x3990+1 ~x3894+7 ~x3798+8 ~x3606+5 ~x3318-0=211
20.13/20.26	c 64 ~x65363+32 ~x65362+16 ~x65361+8 ~x65360+4 ~x65359+2 ~x65358+1 ~x65357+8 ~x5815+10 ~x5623+1 ~x5527+2 ~x5431+6 ~x5335+8 ~x5143+4 ~x5047+9 ~x4951+3 ~x4855+2 ~x4759+7 ~x4567+3 ~x4471+4 ~x4375+1 ~x4183+7 ~x4087+1 ~x3991+1 ~x3895+7 ~x3799+8 ~x3607+5 ~x3319-0=211
20.13/20.29	c 64 ~x66615+32 ~x66614+16 ~x66613+8 ~x66612+4 ~x66611+2 ~x66610+1 ~x66609+8 ~x5816+10 ~x5624+1 ~x5528+2 ~x5432+6 ~x5336+8 ~x5144+4 ~x5048+9 ~x4952+3 ~x4856+2 ~x4760+7 ~x4568+3 ~x4472+4 ~x4376+1 ~x4184+7 ~x4088+1 ~x3992+1 ~x3896+7 ~x3800+8 ~x3608+5 ~x3320-0=211
20.24/20.32	c 64 ~x67867+32 ~x67866+16 ~x67865+8 ~x67864+4 ~x67863+2 ~x67862+1 ~x67861+8 ~x5817+10 ~x5625+1 ~x5529+2 ~x5433+6 ~x5337+8 ~x5145+4 ~x5049+9 ~x4953+3 ~x4857+2 ~x4761+7 ~x4569+3 ~x4473+4 ~x4377+1 ~x4185+7 ~x4089+1 ~x3993+1 ~x3897+8 ~x3609-0=199
20.24/20.35	c 64 ~x69008+32 ~x69007+16 ~x69006+8 ~x69005+4 ~x69004+2 ~x69003+1 ~x69002+8 ~x5818+10 ~x5626+1 ~x5530+2 ~x5434+6 ~x5338+8 ~x5146+4 ~x5050+9 ~x4954+3 ~x4858+2 ~x4762+7 ~x4570+3 ~x4474+4 ~x4378+1 ~x4186+7 ~x4090+1 ~x3994+1 ~x3898-0=191
20.24/20.38	c 64 ~x70018+32 ~x70017+16 ~x70016+8 ~x70015+4 ~x70014+2 ~x70013+1 ~x70012+8 ~x5819+10 ~x5627+1 ~x5531+2 ~x5435+6 ~x5339+8 ~x5147+4 ~x5051+9 ~x4955+3 ~x4859+2 ~x4763+7 ~x4571+3 ~x4475+4 ~x4379+1 ~x4187+7 ~x4091+1 ~x3995+1 ~x3899-0=191
20.34/20.41	c 64 ~x71028+32 ~x71027+16 ~x71026+8 ~x71025+4 ~x71024+2 ~x71023+1 ~x71022+8 ~x5820+10 ~x5628+1 ~x5532+2 ~x5436+6 ~x5340+8 ~x5148+4 ~x5052+9 ~x4956+3 ~x4860+2 ~x4764+7 ~x4572+3 ~x4476+4 ~x4380+1 ~x4188+7 ~x4092+1 ~x3996+1 ~x3900-0=191
20.34/20.44	c 64 ~x72038+32 ~x72037+16 ~x72036+8 ~x72035+4 ~x72034+2 ~x72033+1 ~x72032+8 ~x5821+10 ~x5629+1 ~x5533+2 ~x5437+6 ~x5341+8 ~x5149+4 ~x5053+9 ~x4957+3 ~x4861+2 ~x4765+7 ~x4573+3 ~x4477+4 ~x4381+1 ~x4189+7 ~x4093+1 ~x3997+1 ~x3901-0=191
20.34/20.46	c 64 ~x73048+32 ~x73047+16 ~x73046+8 ~x73045+4 ~x73044+2 ~x73043+1 ~x73042+8 ~x5822+10 ~x5630+1 ~x5534+2 ~x5438+6 ~x5342+8 ~x5150+4 ~x5054+9 ~x4958+3 ~x4862+2 ~x4766+7 ~x4574+3 ~x4478+4 ~x4382+1 ~x4190+7 ~x4094+1 ~x3998+1 ~x3902-0=191
20.34/20.49	c 64 ~x74058+32 ~x74057+16 ~x74056+8 ~x74055+4 ~x74054+2 ~x74053+1 ~x74052+8 ~x5823+10 ~x5631+1 ~x5535+2 ~x5439+6 ~x5343+8 ~x5151+4 ~x5055+9 ~x4959+3 ~x4863+2 ~x4767+7 ~x4575+3 ~x4479+4 ~x4383+1 ~x4191+7 ~x4095+1 ~x3999+1 ~x3903-0=191
20.43/20.51	c 64 ~x75068+32 ~x75067+16 ~x75066+8 ~x75065+4 ~x75064+2 ~x75063+1 ~x75062+8 ~x5824+10 ~x5632+1 ~x5536+2 ~x5440+6 ~x5344+8 ~x5152+4 ~x5056+9 ~x4960+3 ~x4864+2 ~x4768+7 ~x4576+3 ~x4480+4 ~x4384+1 ~x4192+7 ~x4096+1 ~x4000+1 ~x3904-0=191
20.43/20.56	c 32 ~x76077+16 ~x76076+8 ~x76075+4 ~x76074+2 ~x76073+1 ~x76072+8 ~x5825+10 ~x5633+1 ~x5537+2 ~x5441+6 ~x5345+8 ~x5153+4 ~x5057+9 ~x4961+3 ~x4865+2 ~x4769+7 ~x4577+3 ~x4481+4 ~x4385+1 ~x4193+7 ~x4097+1 ~x4001-0=126
20.43/20.56	c 32 ~x76993+16 ~x76992+8 ~x76991+4 ~x76990+2 ~x76989+1 ~x76988+8 ~x5826+10 ~x5634+1 ~x5538+2 ~x5442+6 ~x5346+8 ~x5154+4 ~x5058+9 ~x4962+3 ~x4866+2 ~x4770+7 ~x4578+3 ~x4482+4 ~x4386+1 ~x4194+7 ~x4098+1 ~x4002-0=126
20.43/20.58	c 32 ~x77909+16 ~x77908+8 ~x77907+4 ~x77906+2 ~x77905+1 ~x77904+8 ~x5827+10 ~x5635+1 ~x5539+2 ~x5443+6 ~x5347+8 ~x5155+4 ~x5059+9 ~x4963+3 ~x4867+2 ~x4771+7 ~x4579+3 ~x4483+4 ~x4387+1 ~x4195+7 ~x4099+1 ~x4003-0=126
20.53/20.61	c 32 ~x78825+16 ~x78824+8 ~x78823+4 ~x78822+2 ~x78821+1 ~x78820+8 ~x5828+10 ~x5636+1 ~x5540+2 ~x5444+6 ~x5348+8 ~x5156+4 ~x5060+9 ~x4964+3 ~x4868+2 ~x4772+7 ~x4580+3 ~x4484+4 ~x4388+7 ~x4100+1 ~x4004-0=125
20.53/20.63	c 32 ~x79684+16 ~x79683+8 ~x79682+4 ~x79681+2 ~x79680+1 ~x79679+8 ~x5829+10 ~x5637+1 ~x5541+2 ~x5445+6 ~x5349+8 ~x5157+4 ~x5061+9 ~x4965+3 ~x4869+2 ~x4773+7 ~x4581+3 ~x4485+4 ~x4389+7 ~x4101+1 ~x4005-0=125
20.53/20.65	c 32 ~x80543+16 ~x80542+8 ~x80541+4 ~x80540+2 ~x80539+1 ~x80538+8 ~x5830+10 ~x5638+1 ~x5542+2 ~x5446+6 ~x5350+8 ~x5158+4 ~x5062+9 ~x4966+3 ~x4870+2 ~x4774+7 ~x4582+3 ~x4486+4 ~x4390+7 ~x4102+1 ~x4006-0=125
20.53/20.69	c 32 ~x81402+16 ~x81401+8 ~x81400+4 ~x81399+2 ~x81398+1 ~x81397+8 ~x5831+10 ~x5639+1 ~x5543+2 ~x5447+6 ~x5351+8 ~x5159+4 ~x5063+9 ~x4967+3 ~x4871+2 ~x4775+7 ~x4583+3 ~x4487+4 ~x4391+7 ~x4103+1 ~x4007-0=125
20.53/20.69	c 32 ~x82261+16 ~x82260+8 ~x82259+4 ~x82258+2 ~x82257+1 ~x82256+8 ~x5832+10 ~x5640+1 ~x5544+2 ~x5448+6 ~x5352+8 ~x5160+4 ~x5064+9 ~x4968+3 ~x4872+2 ~x4776+7 ~x4584+3 ~x4488+4 ~x4392+7 ~x4104+1 ~x4008-0=125
20.63/20.71	c 32 ~x83120+16 ~x83119+8 ~x83118+4 ~x83117+2 ~x83116+1 ~x83115+8 ~x5833+10 ~x5641+1 ~x5545+2 ~x5449+6 ~x5353+8 ~x5161+4 ~x5065+9 ~x4969+3 ~x4873+2 ~x4777+7 ~x4585+3 ~x4489+4 ~x4393+7 ~x4105+1 ~x4009-0=125
20.63/20.73	c 32 ~x83979+16 ~x83978+8 ~x83977+4 ~x83976+2 ~x83975+1 ~x83974+8 ~x5834+10 ~x5642+1 ~x5546+2 ~x5450+6 ~x5354+8 ~x5162+4 ~x5066+9 ~x4970+3 ~x4874+2 ~x4778+7 ~x4586+3 ~x4490+4 ~x4394+7 ~x4106+1 ~x4010-0=125
20.63/20.77	c 32 ~x84838+16 ~x84837+8 ~x84836+4 ~x84835+2 ~x84834+1 ~x84833+8 ~x5835+10 ~x5643+1 ~x5547+2 ~x5451+6 ~x5355+8 ~x5163+4 ~x5067+9 ~x4971+3 ~x4875+2 ~x4779+3 ~x4491+4 ~x4395+7 ~x4107-0=117
20.63/20.77	c 32 ~x85598+16 ~x85597+8 ~x85596+4 ~x85595+2 ~x85594+1 ~x85593+8 ~x5836+10 ~x5644+1 ~x5548+2 ~x5452+6 ~x5356+8 ~x5164+4 ~x5068+9 ~x4972+3 ~x4876+2 ~x4780+3 ~x4492+4 ~x4396+7 ~x4108-0=117
20.63/20.79	c 32 ~x86358+16 ~x86357+8 ~x86356+4 ~x86355+2 ~x86354+1 ~x86353+8 ~x5837+10 ~x5645+1 ~x5549+2 ~x5453+6 ~x5357+8 ~x5165+4 ~x5069+9 ~x4973+3 ~x4877+2 ~x4781+3 ~x4493+4 ~x4397+7 ~x4109-0=117
20.74/20.82	c 32 ~x87118+16 ~x87117+8 ~x87116+4 ~x87115+2 ~x87114+1 ~x87113+8 ~x5838+10 ~x5646+1 ~x5550+2 ~x5454+6 ~x5358+8 ~x5166+4 ~x5070+9 ~x4974+3 ~x4878+2 ~x4782+3 ~x4494+7 ~x4110-0=113
20.74/20.86	c 32 ~x87821+16 ~x87820+8 ~x87819+4 ~x87818+2 ~x87817+1 ~x87816+8 ~x5839+10 ~x5647+1 ~x5551+2 ~x5455+6 ~x5359+8 ~x5167+4 ~x5071+9 ~x4975+3 ~x4879+2 ~x4783+3 ~x4495+7 ~x4111-0=113
20.74/20.86	c 32 ~x88524+16 ~x88523+8 ~x88522+4 ~x88521+2 ~x88520+1 ~x88519+8 ~x5840+10 ~x5648+1 ~x5552+2 ~x5456+6 ~x5360+8 ~x5168+4 ~x5072+9 ~x4976+3 ~x4880+2 ~x4784+3 ~x4496+7 ~x4112-0=113
20.74/20.88	c 32 ~x89227+16 ~x89226+8 ~x89225+4 ~x89224+2 ~x89223+1 ~x89222+8 ~x5841+10 ~x5649+1 ~x5553+2 ~x5457+6 ~x5361+8 ~x5169+4 ~x5073+9 ~x4977+3 ~x4881+2 ~x4785+3 ~x4497-0=106
20.84/20.91	c 32 ~x89888+16 ~x89887+8 ~x89886+4 ~x89885+2 ~x89884+1 ~x89883+8 ~x5842+10 ~x5650+1 ~x5554+2 ~x5458+6 ~x5362+8 ~x5170+4 ~x5074+9 ~x4978+2 ~x4786+3 ~x4498-0=103
20.84/20.91	c 32 ~x90501+16 ~x90500+8 ~x90499+4 ~x90498+2 ~x90497+1 ~x90496+8 ~x5843+10 ~x5651+1 ~x5555+2 ~x5459+6 ~x5363+8 ~x5171+9 ~x4979+3 ~x4499-0=97
20.84/20.94	c 8 ~x91013+4 ~x91012+2 ~x91011+1 ~x91010+8 ~x5844+10 ~x5652+1 ~x5556+2 ~x5460-0=23
20.84/20.94	c 8 ~x91207+4 ~x91206+2 ~x91205+1 ~x91204+8 ~x5845+10 ~x5653+1 ~x5557+2 ~x5461-0=23
20.84/20.96	c 8 ~x91401+4 ~x91400+2 ~x91399+1 ~x91398+8 ~x5846+10 ~x5654+1 ~x5558+2 ~x5462-0=23
20.84/20.96	c 4 ~x91594+2 ~x91593+1 ~x91592+8 ~x5847+10 ~x5655-0=12
20.84/20.96	c 4 ~x91645+2 ~x91644+1 ~x91643+8 ~x5848+10 ~x5656-0=12
20.84/20.96	c 4 ~x91696+2 ~x91695+1 ~x91694+8 ~x5849+10 ~x5657-0=12
20.84/20.97	c 4 ~x91747+2 ~x91746+1 ~x91745+8 ~x5850+10 ~x5658-0=12
20.84/20.97	c 4 ~x91798+2 ~x91797+1 ~x91796+8 ~x5851+10 ~x5659-0=12
20.84/20.97	c 4 ~x91849+2 ~x91848+1 ~x91847+8 ~x5852+10 ~x5660-0=12
20.84/20.97	c 4 ~x91900+2 ~x91899+1 ~x91898+8 ~x5853+10 ~x5661-0=12
20.84/20.97	c 4 ~x91951+2 ~x91950+1 ~x91949+8 ~x5854+10 ~x5662-0=12
20.84/20.98	c 4 ~x92002+2 ~x92001+1 ~x92000+8 ~x5855+10 ~x5663-0=12
20.84/20.98	c 4 ~x92053+2 ~x92052+1 ~x92051+8 ~x5856+10 ~x5664-0=12
20.84/20.98	c 4 ~x92104+2 ~x92103+1 ~x92102+8 ~x3170+8 ~x3074+3 ~x2978-0=11
20.84/20.98	c 4 ~x92187+2 ~x92186+1 ~x92185+8 ~x3171+8 ~x3075+3 ~x2979-0=11
20.84/21.00	c 4 ~x92270+2 ~x92269+1 ~x92268+8 ~x3172+8 ~x3076+3 ~x2980-0=11
20.84/21.00	c 4 ~x92353+2 ~x92352+1 ~x92351+8 ~x3173+8 ~x3077+3 ~x2981-0=11
20.84/21.00	c 16 ~x92438+8 ~x92437+4 ~x92436+2 ~x92435+1 ~x92434+10 ~x3558+3 ~x3462+8 ~x3366+8 ~x3174+8 ~x3078+3 ~x2982-0=56
20.93/21.03	c 16 ~x92756+8 ~x92755+4 ~x92754+2 ~x92753+1 ~x92752+10 ~x3559+3 ~x3463+8 ~x3367+8 ~x3175+8 ~x3079+3 ~x2983-0=56
20.93/21.03	c 16 ~x93074+8 ~x93073+4 ~x93072+2 ~x93071+1 ~x93070+10 ~x3560+3 ~x3464+8 ~x3368+8 ~x3176+8 ~x3080+3 ~x2984-0=56
20.93/21.03	c 16 ~x93392+8 ~x93391+4 ~x93390+2 ~x93389+1 ~x93388+10 ~x3561+3 ~x3465+8 ~x3369+8 ~x3177+8 ~x3081+3 ~x2985-0=56
20.93/21.05	c 16 ~x93710+8 ~x93709+4 ~x93708+2 ~x93707+1 ~x93706+10 ~x3562+3 ~x3466+8 ~x3370+8 ~x3178+8 ~x3082+3 ~x2986-0=56
20.93/21.05	c 16 ~x94028+8 ~x94027+4 ~x94026+2 ~x94025+1 ~x94024+10 ~x3563+3 ~x3467+8 ~x3371+8 ~x3179+8 ~x3083+3 ~x2987-0=56
20.93/21.07	c 16 ~x94346+8 ~x94345+4 ~x94344+2 ~x94343+1 ~x94342+10 ~x3564+3 ~x3468+8 ~x3372+8 ~x3180+8 ~x3084+3 ~x2988-0=56
20.93/21.07	c 32 ~x94665+16 ~x94664+8 ~x94663+4 ~x94662+2 ~x94661+1 ~x94660+7 ~x3949+2 ~x3661+10 ~x3565+3 ~x3469+8 ~x3373+8 ~x3181+8 ~x3085+3 ~x2989-0=97
20.93/21.09	c 32 ~x95179+16 ~x95178+8 ~x95177+4 ~x95176+2 ~x95175+1 ~x95174+7 ~x3950+2 ~x3662+10 ~x3566+3 ~x3470+8 ~x3374+8 ~x3182+8 ~x3086+3 ~x2990-0=97
20.93/21.09	c 32 ~x95693+16 ~x95692+8 ~x95691+4 ~x95690+2 ~x95689+1 ~x95688+9 ~x4239+7 ~x3951+2 ~x3663+10 ~x3567+3 ~x3471+8 ~x3375+8 ~x3183+8 ~x3087+3 ~x2991-0=106
21.03/21.12	c 32 ~x96258+16 ~x96257+8 ~x96256+4 ~x96255+2 ~x96254+1 ~x96253+9 ~x4240+7 ~x3952+2 ~x3664+10 ~x3568+3 ~x3472+8 ~x3376+8 ~x3184+8 ~x3088+3 ~x2992-0=106
21.03/21.12	c 32 ~x96823+16 ~x96822+8 ~x96821+4 ~x96820+2 ~x96819+1 ~x96818+9 ~x4241+7 ~x3953+2 ~x3665+10 ~x3569+3 ~x3473+8 ~x3377+8 ~x3185+8 ~x3089+3 ~x2993-0=106
21.03/21.14	c 32 ~x97388+16 ~x97387+8 ~x97386+4 ~x97385+2 ~x97384+1 ~x97383+9 ~x4242+7 ~x3954+2 ~x3666+10 ~x3570+3 ~x3474+8 ~x3378+8 ~x3186+8 ~x3090+3 ~x2994-0=106
21.03/21.17	c 32 ~x97953+16 ~x97952+8 ~x97951+4 ~x97950+2 ~x97949+1 ~x97948+9 ~x4243+7 ~x3955+2 ~x3667+10 ~x3571+3 ~x3475+8 ~x3379+8 ~x3187+8 ~x3091+3 ~x2995-0=106
21.03/21.17	c 64 ~x98519+32 ~x98518+16 ~x98517+8 ~x98516+4 ~x98515+2 ~x98514+1 ~x98513+10 ~x4724+4 ~x4436+9 ~x4244+7 ~x4148+7 ~x3956+2 ~x3668+10 ~x3572+3 ~x3476+8 ~x3380+8 ~x3188+8 ~x3092+3 ~x2996-0=191
21.03/21.19	c 64 ~x99286+32 ~x99285+16 ~x99284+8 ~x99283+4 ~x99282+2 ~x99281+1 ~x99280+10 ~x4725+4 ~x4437+9 ~x4245+7 ~x4149+7 ~x3957+8 ~x3861+2 ~x3669+10 ~x3573+3 ~x3477+8 ~x3381+8 ~x3189+8 ~x3093+3 ~x2997-0=199
21.13/21.22	c 64 ~x100184+32 ~x100183+16 ~x100182+8 ~x100181+4 ~x100180+2 ~x100179+1 ~x100178+10 ~x4726+4 ~x4438+9 ~x4246+7 ~x4150+7 ~x3958+8 ~x3862+2 ~x3670+10 ~x3574+3 ~x3478+8 ~x3382+8 ~x3190+8 ~x3094+3 ~x2998-0=199
21.13/21.24	c 64 ~x101082+32 ~x101081+16 ~x101080+8 ~x101079+4 ~x101078+2 ~x101077+1 ~x101076+3 ~x5303+10 ~x4727+2 ~x4631+4 ~x4439+2 ~x4343+9 ~x4247+7 ~x4151+2 ~x4055+7 ~x3959+8 ~x3863+2 ~x3671+10 ~x3575+3 ~x3479+8 ~x3383+8 ~x3191+8 ~x3095+3 ~x2999-0=208
21.23/21.30	c 64 ~x102208+32 ~x102207+16 ~x102206+8 ~x102205+4 ~x102204+2 ~x102203+1 ~x102202+3 ~x5304+10 ~x4728+2 ~x4632+4 ~x4440+2 ~x4344+9 ~x4248+7 ~x4152+2 ~x4056+7 ~x3960+8 ~x3864+2 ~x3672+10 ~x3576+3 ~x3480+8 ~x3384+8 ~x3192+8 ~x3096+3 ~x3000-0=208
21.23/21.30	c 64 ~x103334+32 ~x103333+16 ~x103332+8 ~x103331+4 ~x103330+2 ~x103329+1 ~x103328+3 ~x5305+10 ~x4729+2 ~x4633+4 ~x4441+2 ~x4345+9 ~x4249+7 ~x4153+2 ~x4057+7 ~x3961+8 ~x3865+2 ~x3673+10 ~x3577+3 ~x3481+8 ~x3385+8 ~x3193+8 ~x3097+3 ~x3001-0=208
21.23/21.33	c 64 ~x104460+32 ~x104459+16 ~x104458+8 ~x104457+4 ~x104456+2 ~x104455+1 ~x104454+3 ~x5306+10 ~x4730+2 ~x4634+4 ~x4442+2 ~x4346+9 ~x4250+7 ~x4154+2 ~x4058+7 ~x3962+8 ~x3866+2 ~x3674+10 ~x3578+3 ~x3482+8 ~x3386+8 ~x3194+8 ~x3098+3 ~x3002-0=208
21.23/21.36	c 64 ~x105586+32 ~x105585+16 ~x105584+8 ~x105583+4 ~x105582+2 ~x105581+1 ~x105580+3 ~x5307+10 ~x4731+2 ~x4635+4 ~x4443+2 ~x4347+9 ~x4251+7 ~x4155+2 ~x4059+7 ~x3963+8 ~x3867+2 ~x3675+10 ~x3579+3 ~x3483+8 ~x3387+8 ~x3195+8 ~x3099+3 ~x3003-0=208
21.23/21.39	c 64 ~x106712+32 ~x106711+16 ~x106710+8 ~x106709+4 ~x106708+2 ~x106707+1 ~x106706+3 ~x5308+4 ~x4828+10 ~x4732+2 ~x4636+4 ~x4444+2 ~x4348+9 ~x4252+7 ~x4156+2 ~x4060+7 ~x3964+8 ~x3868+2 ~x3676+10 ~x3580+3 ~x3484+8 ~x3388+8 ~x3196+8 ~x3100+3 ~x3004-0=212
21.34/21.42	c 64 ~x107895+32 ~x107894+16 ~x107893+8 ~x107892+4 ~x107891+2 ~x107890+1 ~x107889+10 ~x5693+3 ~x5309+4 ~x4829+10 ~x4733+2 ~x4637+3 ~x4541+4 ~x4445+2 ~x4349+9 ~x4253+7 ~x4157+2 ~x4061+7 ~x3965+8 ~x3869+2 ~x3677+10 ~x3581+3 ~x3485+8 ~x3389+8 ~x3197+8 ~x3101+3 ~x3005-0=225
21.34/21.46	c 64 ~x109192+32 ~x109191+16 ~x109190+8 ~x109189+4 ~x109188+2 ~x109187+1 ~x109186+10 ~x5694+3 ~x5310+4 ~x4830+10 ~x4734+2 ~x4638+3 ~x4542+4 ~x4446+2 ~x4350+9 ~x4254+7 ~x4158+2 ~x4062+7 ~x3966+8 ~x3870+2 ~x3678+10 ~x3582+3 ~x3486+8 ~x3390+8 ~x3198+8 ~x3102+3 ~x3006-0=225
21.34/21.49	c 64 ~x110489+32 ~x110488+16 ~x110487+8 ~x110486+4 ~x110485+2 ~x110484+1 ~x110483+10 ~x5695+3 ~x5311+4 ~x4831+10 ~x4735+2 ~x4639+3 ~x4543+4 ~x4447+2 ~x4351+9 ~x4255+7 ~x4159+2 ~x4063+7 ~x3967+8 ~x3871+2 ~x3679+10 ~x3583+3 ~x3487+8 ~x3391+8 ~x3199+8 ~x3103+3 ~x3007-0=225
21.43/21.53	c 64 ~x111786+32 ~x111785+16 ~x111784+8 ~x111783+4 ~x111782+2 ~x111781+1 ~x111780+10 ~x5696+3 ~x5312+4 ~x4832+10 ~x4736+2 ~x4640+3 ~x4544+4 ~x4448+2 ~x4352+9 ~x4256+7 ~x4160+2 ~x4064+7 ~x3968+8 ~x3872+2 ~x3680+10 ~x3584+3 ~x3488+8 ~x3392+8 ~x3200+8 ~x3104+3 ~x3008-0=225
21.43/21.56	c 64 ~x113083+32 ~x113082+16 ~x113081+8 ~x113080+4 ~x113079+2 ~x113078+1 ~x113077+10 ~x5697+3 ~x5313+10 ~x4929+4 ~x4833+10 ~x4737+2 ~x4641+3 ~x4545+4 ~x4449+2 ~x4353+9 ~x4257+7 ~x4161+2 ~x4065+7 ~x3969+8 ~x3873+2 ~x3681+10 ~x3585+3 ~x3489+8 ~x3393+8 ~x3201+8 ~x3105+3 ~x3009-0=235
21.53/21.60	c 64 ~x114661+32 ~x114660+16 ~x114659+8 ~x114658+4 ~x114657+2 ~x114656+1 ~x114655+10 ~x5698+3 ~x5314+10 ~x4930+4 ~x4834+10 ~x4738+2 ~x4642+3 ~x4546+4 ~x4450+2 ~x4354+9 ~x4258+7 ~x4162+2 ~x4066+7 ~x3970+8 ~x3874+2 ~x3682+10 ~x3586+3 ~x3490+8 ~x3394+8 ~x3202+8 ~x3106+3 ~x3010-0=235
21.53/21.64	c 64 ~x116239+32 ~x116238+16 ~x116237+8 ~x116236+4 ~x116235+2 ~x116234+1 ~x116233+10 ~x5699+3 ~x5315+10 ~x4931+4 ~x4835+10 ~x4739+2 ~x4643+3 ~x4547+4 ~x4451+2 ~x4355+9 ~x4259+7 ~x4163+2 ~x4067+7 ~x3971+8 ~x3875+2 ~x3683+10 ~x3587+3 ~x3491+8 ~x3395+8 ~x3203+8 ~x3107+3 ~x3011-0=235
21.53/21.68	c 64 ~x117817+32 ~x117816+16 ~x117815+8 ~x117814+4 ~x117813+2 ~x117812+1 ~x117811+10 ~x5700+3 ~x5316+10 ~x4932+4 ~x4836+10 ~x4740+2 ~x4644+3 ~x4548+4 ~x4452+2 ~x4356+9 ~x4260+7 ~x4164+2 ~x4068+7 ~x3972+8 ~x3876+2 ~x3684+10 ~x3588+3 ~x3492+8 ~x3396+8 ~x3204+8 ~x3108+3 ~x3012-0=235
21.63/21.72	c 64 ~x119395+32 ~x119394+16 ~x119393+8 ~x119392+4 ~x119391+2 ~x119390+1 ~x119389+10 ~x5701+3 ~x5317+10 ~x4933+4 ~x4837+10 ~x4741+2 ~x4645+3 ~x4549+4 ~x4453+2 ~x4357+9 ~x4261+7 ~x4165+2 ~x4069+7 ~x3973+8 ~x3877+2 ~x3685+10 ~x3589+3 ~x3493+8 ~x3397+8 ~x3205+8 ~x3109+3 ~x3013-0=235
21.63/21.76	c 64 ~x120973+32 ~x120972+16 ~x120971+8 ~x120970+4 ~x120969+2 ~x120968+1 ~x120967+10 ~x5702+3 ~x5318+10 ~x4934+4 ~x4838+10 ~x4742+2 ~x4646+3 ~x4550+4 ~x4454+2 ~x4358+9 ~x4262+7 ~x4166+2 ~x4070+7 ~x3974+8 ~x3878+2 ~x3686+10 ~x3590+3 ~x3494+8 ~x3398+8 ~x3206+8 ~x3110+3 ~x3014-0=235
21.73/21.80	c 64 ~x122551+32 ~x122550+16 ~x122549+8 ~x122548+4 ~x122547+2 ~x122546+1 ~x122545+10 ~x5703+7 ~x5511+3 ~x5319+2 ~x5127+10 ~x4935+4 ~x4839+10 ~x4743+2 ~x4647+3 ~x4551+4 ~x4455+2 ~x4359+9 ~x4263+7 ~x4167+2 ~x4071+7 ~x3975+8 ~x3879+2 ~x3687+10 ~x3591+3 ~x3495+8 ~x3399+8 ~x3207+8 ~x3111+3 ~x3015-0=244
21.73/21.84	c 64 ~x124261+32 ~x124260+16 ~x124259+8 ~x124258+4 ~x124257+2 ~x124256+1 ~x124255+10 ~x5704+7 ~x5512+3 ~x5320+2 ~x5128+10 ~x4936+4 ~x4840+10 ~x4744+2 ~x4648+3 ~x4552+4 ~x4456+2 ~x4360+9 ~x4264+7 ~x4168+2 ~x4072+7 ~x3976+8 ~x3880+2 ~x3688+10 ~x3592+3 ~x3496+8 ~x3400+8 ~x3208+8 ~x3112+3 ~x3016-0=244
21.73/21.88	c 64 ~x125971+32 ~x125970+16 ~x125969+8 ~x125968+4 ~x125967+2 ~x125966+1 ~x125965+10 ~x5705+7 ~x5513+3 ~x5321+2 ~x5129+10 ~x4937+4 ~x4841+10 ~x4745+2 ~x4649+3 ~x4553+4 ~x4457+2 ~x4361+9 ~x4265+7 ~x4169+2 ~x4073+7 ~x3977+8 ~x3881+2 ~x3689+10 ~x3593+3 ~x3497+8 ~x3401+8 ~x3209+8 ~x3113+3 ~x3017-0=244
21.84/21.93	c 64 ~x127681+32 ~x127680+16 ~x127679+8 ~x127678+4 ~x127677+2 ~x127676+1 ~x127675+10 ~x5706+7 ~x5514+3 ~x5322+2 ~x5130+10 ~x4938+4 ~x4842+10 ~x4746+2 ~x4650+3 ~x4554+4 ~x4458+2 ~x4362+9 ~x4266+7 ~x4170+2 ~x4074+7 ~x3978+8 ~x3882+2 ~x3690+10 ~x3594+3 ~x3498+8 ~x3402+8 ~x3210+3 ~x3018-0=236
21.84/21.97	c 64 ~x129325+32 ~x129324+16 ~x129323+8 ~x129322+4 ~x129321+2 ~x129320+1 ~x129319+10 ~x5707+7 ~x5515+3 ~x5323+2 ~x5131+10 ~x4939+4 ~x4843+10 ~x4747+2 ~x4651+3 ~x4555+4 ~x4459+2 ~x4363+9 ~x4267+7 ~x4171+2 ~x4075+7 ~x3979+8 ~x3883+2 ~x3691+10 ~x3595+3 ~x3499+8 ~x3403+8 ~x3211+3 ~x3019-0=236
21.93/22.01	c 64 ~x130969+32 ~x130968+16 ~x130967+8 ~x130966+4 ~x130965+2 ~x130964+1 ~x130963+10 ~x5708+7 ~x5516+3 ~x5324+2 ~x5132+10 ~x4940+4 ~x4844+10 ~x4748+2 ~x4652+3 ~x4556+4 ~x4460+2 ~x4364+9 ~x4268+7 ~x4172+2 ~x4076+7 ~x3980+8 ~x3884+2 ~x3692+10 ~x3596+3 ~x3500+8 ~x3404+8 ~x3212+3 ~x3020-0=236
21.93/22.05	c 64 ~x132613+32 ~x132612+16 ~x132611+8 ~x132610+4 ~x132609+2 ~x132608+1 ~x132607+10 ~x5709+7 ~x5517+3 ~x5325+2 ~x5133+10 ~x4941+4 ~x4845+10 ~x4749+2 ~x4653+3 ~x4557+4 ~x4461+2 ~x4365+9 ~x4269+7 ~x4173+2 ~x4077+7 ~x3981+8 ~x3885+2 ~x3693+10 ~x3597+3 ~x3501+8 ~x3405+8 ~x3213+3 ~x3021-0=236
21.93/22.09	c 64 ~x134257+32 ~x134256+16 ~x134255+8 ~x134254+4 ~x134253+2 ~x134252+1 ~x134251+10 ~x5710+7 ~x5518+3 ~x5326+2 ~x5134+10 ~x4942+4 ~x4846+10 ~x4750+2 ~x4654+3 ~x4558+4 ~x4462+2 ~x4366+9 ~x4270+7 ~x4174+2 ~x4078+7 ~x3982+8 ~x3886+2 ~x3694+10 ~x3598+3 ~x3502+8 ~x3406+8 ~x3214+3 ~x3022-0=236
22.03/22.14	c 64 ~x135901+32 ~x135900+16 ~x135899+8 ~x135898+4 ~x135897+2 ~x135896+1 ~x135895+10 ~x5711+7 ~x5519+3 ~x5327+2 ~x5135+10 ~x4943+4 ~x4847+10 ~x4751+2 ~x4655+3 ~x4559+4 ~x4463+2 ~x4367+9 ~x4271+7 ~x4175+2 ~x4079+7 ~x3983+8 ~x3887+2 ~x3695+10 ~x3599+3 ~x3503+8 ~x3407+8 ~x3215+3 ~x3023-0=236
22.03/22.18	c 64 ~x137545+32 ~x137544+16 ~x137543+8 ~x137542+4 ~x137541+2 ~x137540+1 ~x137539+10 ~x5712+7 ~x5520+3 ~x5328+5 ~x5232+2 ~x5136+10 ~x4944+4 ~x4848+10 ~x4752+2 ~x4656+3 ~x4560+4 ~x4464+2 ~x4368+9 ~x4272+7 ~x4176+2 ~x4080+7 ~x3984+8 ~x3888+2 ~x3696+10 ~x3600+3 ~x3504+8 ~x3408+8 ~x3216+3 ~x3024-0=241
22.13/22.23	c 64 ~x139255+32 ~x139254+16 ~x139253+8 ~x139252+4 ~x139251+2 ~x139250+1 ~x139249+10 ~x5713+7 ~x5521+3 ~x5329+5 ~x5233+2 ~x5137+10 ~x4945+4 ~x4849+10 ~x4753+2 ~x4657+3 ~x4561+4 ~x4465+2 ~x4369+9 ~x4273+7 ~x4177+2 ~x4081+7 ~x3985+8 ~x3889+2 ~x3697+10 ~x3601+3 ~x3505+8 ~x3409+8 ~x3217+3 ~x3025-0=241
22.13/22.27	c 64 ~x140965+32 ~x140964+16 ~x140963+8 ~x140962+4 ~x140961+2 ~x140960+1 ~x140959+10 ~x5714+7 ~x5522+3 ~x5330+5 ~x5234+2 ~x5138+10 ~x4946+4 ~x4850+10 ~x4754+2 ~x4658+3 ~x4562+4 ~x4466+2 ~x4370+9 ~x4274+7 ~x4178+2 ~x4082+7 ~x3986+8 ~x3890+2 ~x3698+10 ~x3602+3 ~x3506+8 ~x3410+8 ~x3218+3 ~x3026-0=241
22.23/22.31	c 64 ~x142675+32 ~x142674+16 ~x142673+8 ~x142672+4 ~x142671+2 ~x142670+1 ~x142669+10 ~x5715+4 ~x5619+7 ~x5523+3 ~x5331+5 ~x5235+2 ~x5139+10 ~x4947+4 ~x4851+10 ~x4755+2 ~x4659+3 ~x4563+4 ~x4467+2 ~x4371+9 ~x4275+7 ~x4179+2 ~x4083+7 ~x3987+8 ~x3891+2 ~x3699+10 ~x3603+8 ~x3219+3 ~x3027-0=234
22.23/22.35	c 64 ~x144307+32 ~x144306+16 ~x144305+8 ~x144304+4 ~x144303+2 ~x144302+1 ~x144301+5 ~x5812+10 ~x5716+4 ~x5620+7 ~x5524+3 ~x5332+5 ~x5236+2 ~x5140+10 ~x4948+4 ~x4852+10 ~x4756+2 ~x4660+3 ~x4564+4 ~x4468+2 ~x4372+9 ~x4276+7 ~x4180+2 ~x4084+7 ~x3988+8 ~x3892+2 ~x3700+10 ~x3604-0=228
22.23/22.39	c 64 ~x145655+32 ~x145654+16 ~x145653+8 ~x145652+4 ~x145651+2 ~x145650+1 ~x145649+5 ~x5813+10 ~x5717+4 ~x5621+7 ~x5525+3 ~x5333+5 ~x5237+2 ~x5141+10 ~x4949+4 ~x4853+10 ~x4757+2 ~x4661+3 ~x4565+4 ~x4469+2 ~x4373+9 ~x4277+7 ~x4181+2 ~x4085+7 ~x3989+8 ~x3893+2 ~x3701+10 ~x3605-0=228
22.33/22.42	c 64 ~x147003+32 ~x147002+16 ~x147001+8 ~x147000+4 ~x146999+2 ~x146998+1 ~x146997+5 ~x5814+10 ~x5718+4 ~x5622+7 ~x5526+3 ~x5334+5 ~x5238+2 ~x5142+10 ~x4950+4 ~x4854+10 ~x4758+2 ~x4662+3 ~x4566+4 ~x4470+2 ~x4374+9 ~x4278+7 ~x4182+2 ~x4086+7 ~x3990+8 ~x3894+2 ~x3702+10 ~x3606-0=228
22.33/22.46	c 64 ~x148351+32 ~x148350+16 ~x148349+8 ~x148348+4 ~x148347+2 ~x148346+1 ~x148345+5 ~x5815+10 ~x5719+4 ~x5623+7 ~x5527+3 ~x5335+5 ~x5239+2 ~x5143+10 ~x4951+4 ~x4855+10 ~x4759+2 ~x4663+3 ~x4567+4 ~x4471+2 ~x4375+9 ~x4279+7 ~x4183+2 ~x4087+7 ~x3991+8 ~x3895+2 ~x3703+10 ~x3607-0=228
22.33/22.49	c 64 ~x149699+32 ~x149698+16 ~x149697+8 ~x149696+4 ~x149695+2 ~x149694+1 ~x149693+5 ~x5816+10 ~x5720+4 ~x5624+7 ~x5528+3 ~x5336+5 ~x5240+2 ~x5144+10 ~x4952+4 ~x4856+10 ~x4760+2 ~x4664+3 ~x4568+4 ~x4472+2 ~x4376+9 ~x4280+7 ~x4184+2 ~x4088+7 ~x3992+8 ~x3896+2 ~x3704+10 ~x3608-0=228
22.43/22.53	c 64 ~x151047+32 ~x151046+16 ~x151045+8 ~x151044+4 ~x151043+2 ~x151042+1 ~x151041+5 ~x5817+10 ~x5721+4 ~x5625+7 ~x5529+3 ~x5337+5 ~x5241+2 ~x5145+10 ~x4953+4 ~x4857+10 ~x4761+2 ~x4665+3 ~x4569+4 ~x4473+2 ~x4377+9 ~x4281+7 ~x4185+2 ~x4089+7 ~x3993+8 ~x3897+2 ~x3705+10 ~x3609-0=228
22.43/22.56	c 64 ~x152395+32 ~x152394+16 ~x152393+8 ~x152392+4 ~x152391+2 ~x152390+1 ~x152389+5 ~x5818+10 ~x5722+4 ~x5626+7 ~x5530+3 ~x5338+5 ~x5242+2 ~x5146+10 ~x4954+4 ~x4858+10 ~x4762+2 ~x4666+3 ~x4570+4 ~x4474+2 ~x4378+9 ~x4282+7 ~x4186+2 ~x4090+7 ~x3994+8 ~x3898+2 ~x3706-0=218
22.43/22.59	c 64 ~x153668+32 ~x153667+16 ~x153666+8 ~x153665+4 ~x153664+2 ~x153663+1 ~x153662+5 ~x5819+10 ~x5723+4 ~x5627+7 ~x5531+3 ~x5339+5 ~x5243+2 ~x5147+10 ~x4955+4 ~x4859+10 ~x4763+2 ~x4667+3 ~x4571+4 ~x4475+2 ~x4379+9 ~x4283+7 ~x4187+2 ~x4091+7 ~x3995+8 ~x3899+2 ~x3707-0=218
22.53/22.63	c 64 ~x154941+32 ~x154940+16 ~x154939+8 ~x154938+4 ~x154937+2 ~x154936+1 ~x154935+5 ~x5820+10 ~x5724+4 ~x5628+7 ~x5532+3 ~x5340+5 ~x5244+2 ~x5148+10 ~x4956+4 ~x4860+10 ~x4764+2 ~x4668+3 ~x4572+4 ~x4476+2 ~x4380+9 ~x4284+7 ~x4188+2 ~x4092+7 ~x3996+8 ~x3900+2 ~x3708-0=218
22.53/22.66	c 64 ~x156214+32 ~x156213+16 ~x156212+8 ~x156211+4 ~x156210+2 ~x156209+1 ~x156208+5 ~x5821+10 ~x5725+4 ~x5629+7 ~x5533+3 ~x5341+5 ~x5245+2 ~x5149+10 ~x4957+4 ~x4861+10 ~x4765+2 ~x4669+3 ~x4573+4 ~x4477+2 ~x4381+9 ~x4285+7 ~x4189+2 ~x4093+7 ~x3997+8 ~x3901+2 ~x3709-0=218
22.53/22.69	c 64 ~x157487+32 ~x157486+16 ~x157485+8 ~x157484+4 ~x157483+2 ~x157482+1 ~x157481+5 ~x5822+10 ~x5726+4 ~x5630+7 ~x5534+3 ~x5342+5 ~x5246+2 ~x5150+10 ~x4958+4 ~x4862+10 ~x4766+2 ~x4670+3 ~x4574+4 ~x4478+2 ~x4382+9 ~x4286+7 ~x4190+2 ~x4094+7 ~x3998+8 ~x3902+2 ~x3710-0=218
22.63/22.73	c 64 ~x158760+32 ~x158759+16 ~x158758+8 ~x158757+4 ~x158756+2 ~x158755+1 ~x158754+5 ~x5823+10 ~x5727+4 ~x5631+7 ~x5535+3 ~x5343+5 ~x5247+2 ~x5151+10 ~x4959+4 ~x4863+10 ~x4767+2 ~x4671+3 ~x4575+4 ~x4479+2 ~x4383+9 ~x4287+7 ~x4191+2 ~x4095+7 ~x3999+8 ~x3903+2 ~x3711-0=218
22.63/22.76	c 64 ~x160033+32 ~x160032+16 ~x160031+8 ~x160030+4 ~x160029+2 ~x160028+1 ~x160027+5 ~x5824+10 ~x5728+4 ~x5632+7 ~x5536+3 ~x5344+5 ~x5248+2 ~x5152+10 ~x4960+4 ~x4864+10 ~x4768+2 ~x4672+3 ~x4576+4 ~x4480+2 ~x4384+9 ~x4288+7 ~x4192+2 ~x4096+7 ~x4000+8 ~x3904+2 ~x3712-0=218
22.63/22.79	c 64 ~x161306+32 ~x161305+16 ~x161304+8 ~x161303+4 ~x161302+2 ~x161301+1 ~x161300+5 ~x5825+10 ~x5729+4 ~x5633+7 ~x5537+3 ~x5345+5 ~x5249+2 ~x5153+10 ~x4961+4 ~x4865+10 ~x4769+2 ~x4673+3 ~x4577+4 ~x4481+2 ~x4385+9 ~x4289+7 ~x4193+2 ~x4097+7 ~x4001-0=208
22.73/22.82	c 64 ~x162399+32 ~x162398+16 ~x162397+8 ~x162396+4 ~x162395+2 ~x162394+1 ~x162393+5 ~x5826+10 ~x5730+4 ~x5634+7 ~x5538+3 ~x5346+5 ~x5250+2 ~x5154+10 ~x4962+4 ~x4866+10 ~x4770+2 ~x4674+3 ~x4578+4 ~x4482+2 ~x4386+9 ~x4290+7 ~x4194+2 ~x4098+7 ~x4002-0=208
22.73/22.85	c 64 ~x163492+32 ~x163491+16 ~x163490+8 ~x163489+4 ~x163488+2 ~x163487+1 ~x163486+5 ~x5827+10 ~x5731+4 ~x5635+7 ~x5539+3 ~x5347+5 ~x5251+2 ~x5155+10 ~x4963+4 ~x4867+10 ~x4771+2 ~x4675+3 ~x4579+4 ~x4483+2 ~x4387+9 ~x4291+7 ~x4195+2 ~x4099+7 ~x4003-0=208
22.73/22.88	c 64 ~x164585+32 ~x164584+16 ~x164583+8 ~x164582+4 ~x164581+2 ~x164580+1 ~x164579+5 ~x5828+10 ~x5732+4 ~x5636+7 ~x5540+3 ~x5348+5 ~x5252+2 ~x5156+10 ~x4964+4 ~x4868+10 ~x4772+2 ~x4676+3 ~x4580+4 ~x4484+2 ~x4388+9 ~x4292+2 ~x4100+7 ~x4004-0=201
22.83/22.91	c 64 ~x165654+32 ~x165653+16 ~x165652+8 ~x165651+4 ~x165650+2 ~x165649+1 ~x165648+5 ~x5829+10 ~x5733+4 ~x5637+7 ~x5541+3 ~x5349+5 ~x5253+2 ~x5157+10 ~x4965+4 ~x4869+10 ~x4773+2 ~x4677+3 ~x4581+4 ~x4485+2 ~x4389+9 ~x4293+2 ~x4101+7 ~x4005-0=201
22.83/22.94	c 64 ~x166723+32 ~x166722+16 ~x166721+8 ~x166720+4 ~x166719+2 ~x166718+1 ~x166717+5 ~x5830+10 ~x5734+4 ~x5638+7 ~x5542+3 ~x5350+5 ~x5254+2 ~x5158+10 ~x4966+4 ~x4870+10 ~x4774+2 ~x4678+3 ~x4582+4 ~x4486+2 ~x4390+9 ~x4294+2 ~x4102+7 ~x4006-0=201
22.83/22.96	c 64 ~x167792+32 ~x167791+16 ~x167790+8 ~x167789+4 ~x167788+2 ~x167787+1 ~x167786+5 ~x5831+10 ~x5735+4 ~x5639+7 ~x5543+3 ~x5351+5 ~x5255+2 ~x5159+10 ~x4967+4 ~x4871+10 ~x4775+2 ~x4679+3 ~x4583+4 ~x4487+2 ~x4391+9 ~x4295+2 ~x4103+7 ~x4007-0=201
22.94/23.00	c 64 ~x168861+32 ~x168860+16 ~x168859+8 ~x168858+4 ~x168857+2 ~x168856+1 ~x168855+5 ~x5832+10 ~x5736+4 ~x5640+7 ~x5544+3 ~x5352+5 ~x5256+2 ~x5160+10 ~x4968+4 ~x4872+10 ~x4776+2 ~x4680+3 ~x4584+4 ~x4488+2 ~x4392+9 ~x4296+2 ~x4104+7 ~x4008-0=201
22.94/23.03	c 64 ~x169930+32 ~x169929+16 ~x169928+8 ~x169927+4 ~x169926+2 ~x169925+1 ~x169924+5 ~x5833+10 ~x5737+4 ~x5641+7 ~x5545+3 ~x5353+5 ~x5257+2 ~x5161+10 ~x4969+4 ~x4873+10 ~x4777+2 ~x4681+3 ~x4585+4 ~x4489+2 ~x4393+9 ~x4297+2 ~x4105+7 ~x4009-0=201
22.94/23.06	c 64 ~x170999+32 ~x170998+16 ~x170997+8 ~x170996+4 ~x170995+2 ~x170994+1 ~x170993+5 ~x5834+10 ~x5738+4 ~x5642+7 ~x5546+3 ~x5354+5 ~x5258+2 ~x5162+10 ~x4970+4 ~x4874+10 ~x4778+2 ~x4682+3 ~x4586+4 ~x4490+2 ~x4394+9 ~x4298+2 ~x4106+7 ~x4010-0=201
23.04/23.11	c 32 ~x172067+16 ~x172066+8 ~x172065+4 ~x172064+2 ~x172063+1 ~x172062+5 ~x5835+10 ~x5739+4 ~x5643+7 ~x5547+3 ~x5355+5 ~x5259+2 ~x5163+10 ~x4971+4 ~x4875+10 ~x4779+2 ~x4683+4 ~x4491+2 ~x4395+2 ~x4107-0=118
23.04/23.11	c 32 ~x172863+16 ~x172862+8 ~x172861+4 ~x172860+2 ~x172859+1 ~x172858+5 ~x5836+10 ~x5740+4 ~x5644+7 ~x5548+3 ~x5356+5 ~x5260+2 ~x5164+10 ~x4972+4 ~x4876+10 ~x4780+2 ~x4684+4 ~x4492+2 ~x4396+2 ~x4108-0=118
23.04/23.13	c 32 ~x173659+16 ~x173658+8 ~x173657+4 ~x173656+2 ~x173655+1 ~x173654+5 ~x5837+10 ~x5741+4 ~x5645+7 ~x5549+3 ~x5357+5 ~x5261+2 ~x5165+10 ~x4973+4 ~x4877+10 ~x4781+2 ~x4685+4 ~x4493+2 ~x4397+2 ~x4109-0=118
23.04/23.15	c 32 ~x174455+16 ~x174454+8 ~x174453+4 ~x174452+2 ~x174451+1 ~x174450+5 ~x5838+10 ~x5742+4 ~x5646+7 ~x5550+3 ~x5358+5 ~x5262+2 ~x5166+10 ~x4974+4 ~x4878+10 ~x4782+2 ~x4686+4 ~x4494+2 ~x4110-0=116
23.04/23.17	c 32 ~x175212+16 ~x175211+8 ~x175210+4 ~x175209+2 ~x175208+1 ~x175207+5 ~x5839+10 ~x5743+4 ~x5647+7 ~x5551+3 ~x5359+5 ~x5263+2 ~x5167+10 ~x4975+4 ~x4879+10 ~x4783+2 ~x4687+4 ~x4495+2 ~x4111-0=116
23.13/23.21	c 32 ~x175969+16 ~x175968+8 ~x175967+4 ~x175966+2 ~x175965+1 ~x175964+5 ~x5840+10 ~x5744+4 ~x5648+7 ~x5552+3 ~x5360+5 ~x5264+2 ~x5168+10 ~x4976+4 ~x4880+10 ~x4784+2 ~x4688+4 ~x4496+2 ~x4112-0=116
23.13/23.21	c 32 ~x176726+16 ~x176725+8 ~x176724+4 ~x176723+2 ~x176722+1 ~x176721+5 ~x5841+10 ~x5745+4 ~x5649+7 ~x5553+3 ~x5361+5 ~x5265+2 ~x5169+10 ~x4977+4 ~x4881+10 ~x4785+2 ~x4689+4 ~x4497-0=114
23.13/23.23	c 32 ~x177435+16 ~x177434+8 ~x177433+4 ~x177432+2 ~x177431+1 ~x177430+5 ~x5842+10 ~x5746+4 ~x5650+7 ~x5554+3 ~x5362+5 ~x5266+2 ~x5170+10 ~x4978+10 ~x4786+4 ~x4498-0=108
23.13/23.26	c 32 ~x178021+16 ~x178020+8 ~x178019+4 ~x178018+2 ~x178017+1 ~x178016+5 ~x5843+10 ~x5747+4 ~x5651+7 ~x5555+3 ~x5363+5 ~x5267+2 ~x5171+10 ~x4979+4 ~x4499-0=98
23.13/23.26	c 16 ~x178573+8 ~x178572+4 ~x178571+2 ~x178570+1 ~x178569+5 ~x5844+10 ~x5748+4 ~x5652+7 ~x5556+5 ~x5268-0=47
23.13/23.28	c 16 ~x178825+8 ~x178824+4 ~x178823+2 ~x178822+1 ~x178821+5 ~x5845+10 ~x5749+4 ~x5653+7 ~x5557+5 ~x5269-0=47
23.13/23.28	c 16 ~x179077+8 ~x179076+4 ~x179075+2 ~x179074+1 ~x179073+5 ~x5846+10 ~x5750+4 ~x5654+7 ~x5558+5 ~x5270-0=47
23.13/23.30	c 8 ~x179328+4 ~x179327+2 ~x179326+1 ~x179325+5 ~x5847+10 ~x5751+4 ~x5655+5 ~x5271-0=24
23.13/23.30	c 4 ~x179490+2 ~x179489+1 ~x179488+5 ~x5848+10 ~x5752+4 ~x5656-0=11
23.13/23.30	c 4 ~x179565+2 ~x179564+1 ~x179563+5 ~x5849+10 ~x5753+4 ~x5657-0=11
23.23/23.31	c 4 ~x179640+2 ~x179639+1 ~x179638+5 ~x5850+10 ~x5754+4 ~x5658-0=11
23.23/23.31	c 4 ~x179715+2 ~x179714+1 ~x179713+5 ~x5851+10 ~x5755+4 ~x5659-0=11
23.23/23.31	c 4 ~x179790+2 ~x179789+1 ~x179788+5 ~x5852+10 ~x5756+4 ~x5660-0=11
23.23/23.31	c 4 ~x179865+2 ~x179864+1 ~x179863+5 ~x5853+10 ~x5757+4 ~x5661-0=11
23.23/23.33	c 4 ~x179940+2 ~x179939+1 ~x179938+5 ~x5854+10 ~x5758+4 ~x5662-0=11
23.23/23.33	c 4 ~x180015+2 ~x180014+1 ~x180013+5 ~x5855+10 ~x5759+4 ~x5663-0=11
23.23/23.33	c 4 ~x180090+2 ~x180089+1 ~x180088+5 ~x5856+10 ~x5760+4 ~x5664-0=11
23.23/23.33	c 1 ~x180163+4 ~x3558+10 ~x3174+2 ~x2982-0=2
23.23/23.36	c 1 ~x180169+10 ~x3175+2 ~x2983-0=2
23.23/23.36	c 16 ~x180179+8 ~x180178+4 ~x180177+2 ~x180176+1 ~x180175+9 ~x4724+7 ~x4436+3 ~x4244+10 ~x4148+3 ~x3764+3 ~x3284+2 ~x2996-0=53
23.23/23.36	c 16 ~x180539+8 ~x180538+4 ~x180537+2 ~x180536+1 ~x180535+9 ~x4725+7 ~x4437+3 ~x4245+10 ~x4149+3 ~x3765+3 ~x3285+2 ~x2997-0=53
23.23/23.39	c 16 ~x180899+8 ~x180898+4 ~x180897+2 ~x180896+1 ~x180895+9 ~x4726+7 ~x4438+3 ~x4246+10 ~x4150+3 ~x3766+3 ~x3286+2 ~x2998-0=53
23.23/23.39	c 32 ~x181260+16 ~x181259+8 ~x181258+4 ~x181257+2 ~x181256+1 ~x181255+9 ~x5303+9 ~x4727+9 ~x4631+7 ~x4439+3 ~x4247+10 ~x4151+3 ~x3767+3 ~x3287+2 ~x2999-0=103
23.33/23.42	c 32 ~x181819+16 ~x181818+8 ~x181817+4 ~x181816+2 ~x181815+1 ~x181814+9 ~x5304+9 ~x4728+9 ~x4632+7 ~x4440+3 ~x4248+10 ~x4152+3 ~x3768+3 ~x3288+2 ~x3000-0=103
23.33/23.42	c 32 ~x182378+16 ~x182377+8 ~x182376+4 ~x182375+2 ~x182374+1 ~x182373+9 ~x5305+9 ~x4729+9 ~x4633+7 ~x4441+3 ~x4249+10 ~x4153+3 ~x3769+3 ~x3289+2 ~x3001-0=103
23.33/23.43	c 32 ~x182937+16 ~x182936+8 ~x182935+4 ~x182934+2 ~x182933+1 ~x182932+9 ~x5306+9 ~x4730+9 ~x4634+7 ~x4442+3 ~x4250+10 ~x4154+3 ~x3770+3 ~x3290+2 ~x3002-0=103
23.33/23.46	c 32 ~x183496+16 ~x183495+8 ~x183494+4 ~x183493+2 ~x183492+1 ~x183491+9 ~x5307+9 ~x4731+9 ~x4635+7 ~x4443+3 ~x4251+10 ~x4155+3 ~x3771+3 ~x3291+2 ~x3003-0=103
23.33/23.46	c 32 ~x184055+16 ~x184054+8 ~x184053+4 ~x184052+2 ~x184051+1 ~x184050+9 ~x5308+6 ~x4828+9 ~x4732+9 ~x4636+7 ~x4444+3 ~x4252+10 ~x4156+3 ~x3772+3 ~x3292+2 ~x3004-0=109
23.33/23.48	c 32 ~x184665+16 ~x184664+8 ~x184663+4 ~x184662+2 ~x184661+1 ~x184660+9 ~x5309+10 ~x5021+6 ~x4829+9 ~x4733+9 ~x4637+1 ~x4541+7 ~x4445+3 ~x4253+10 ~x4157+3 ~x3773+3 ~x3293+2 ~x3005-0=120
23.43/23.52	c 32 ~x185377+16 ~x185376+8 ~x185375+4 ~x185374+2 ~x185373+1 ~x185372+9 ~x5310+10 ~x5022+6 ~x4830+9 ~x4734+9 ~x4638+1 ~x4542+7 ~x4446+3 ~x4254+10 ~x4158+3 ~x3774+3 ~x3294+2 ~x3006-0=120
23.43/23.52	c 32 ~x186089+16 ~x186088+8 ~x186087+4 ~x186086+2 ~x186085+1 ~x186084+9 ~x5311+10 ~x5023+6 ~x4831+9 ~x4735+9 ~x4639+1 ~x4543+7 ~x4447+3 ~x4255+10 ~x4159+3 ~x3775+3 ~x3295+2 ~x3007-0=120
23.43/23.54	c 32 ~x186801+16 ~x186800+8 ~x186799+4 ~x186798+2 ~x186797+1 ~x186796+9 ~x5312+10 ~x5024+6 ~x4832+9 ~x4736+9 ~x4640+1 ~x4544+7 ~x4448+3 ~x4256+10 ~x4160+3 ~x3776+3 ~x3296+2 ~x3008-0=120
23.43/23.55	c 32 ~x187513+16 ~x187512+8 ~x187511+4 ~x187510+2 ~x187509+1 ~x187508+9 ~x5313+10 ~x5025+5 ~x4929+6 ~x4833+9 ~x4737+9 ~x4641+1 ~x4545+7 ~x4449+3 ~x4257+10 ~x4161+3 ~x3777+3 ~x3297+2 ~x3009-0=125
23.43/23.59	c 32 ~x188276+16 ~x188275+8 ~x188274+4 ~x188273+2 ~x188272+1 ~x188271+9 ~x5314+10 ~x5026+5 ~x4930+6 ~x4834+9 ~x4738+9 ~x4642+1 ~x4546+7 ~x4450+3 ~x4258+10 ~x4162+3 ~x3778+3 ~x3298+2 ~x3010-0=125
23.43/23.59	c 32 ~x189039+16 ~x189038+8 ~x189037+4 ~x189036+2 ~x189035+1 ~x189034+9 ~x5315+10 ~x5027+5 ~x4931+6 ~x4835+9 ~x4739+9 ~x4643+1 ~x4547+7 ~x4451+3 ~x4259+10 ~x4163+3 ~x3779+3 ~x3299+2 ~x3011-0=125
23.53/23.62	c 32 ~x189802+16 ~x189801+8 ~x189800+4 ~x189799+2 ~x189798+1 ~x189797+9 ~x5316+10 ~x5028+5 ~x4932+6 ~x4836+9 ~x4740+9 ~x4644+1 ~x4548+7 ~x4452+3 ~x4260+10 ~x4164+3 ~x3780+3 ~x3300+2 ~x3012-0=125
23.53/23.64	c 32 ~x190565+16 ~x190564+8 ~x190563+4 ~x190562+2 ~x190561+1 ~x190560+9 ~x5317+10 ~x5029+5 ~x4933+6 ~x4837+9 ~x4741+9 ~x4645+1 ~x4549+7 ~x4453+3 ~x4261+10 ~x4165+3 ~x3781+3 ~x3301+2 ~x3013-0=125
23.53/23.68	c 32 ~x191328+16 ~x191327+8 ~x191326+4 ~x191325+2 ~x191324+1 ~x191323+9 ~x5318+10 ~x5030+5 ~x4934+6 ~x4838+9 ~x4742+9 ~x4646+1 ~x4550+7 ~x4454+3 ~x4262+10 ~x4166+3 ~x3782+3 ~x3302+2 ~x3014-0=125
23.53/23.68	c 64 ~x192092+32 ~x192091+16 ~x192090+8 ~x192089+4 ~x192088+2 ~x192087+1 ~x192086+9 ~x5511+9 ~x5319+10 ~x5031+5 ~x4935+6 ~x4839+9 ~x4743+9 ~x4647+1 ~x4551+7 ~x4455+3 ~x4263+10 ~x4167+3 ~x3783+3 ~x3303+2 ~x3015-0=198
23.63/23.70	c 64 ~x193044+32 ~x193043+16 ~x193042+8 ~x193041+4 ~x193040+2 ~x193039+1 ~x193038+9 ~x5512+9 ~x5320+10 ~x5032+5 ~x4936+6 ~x4840+9 ~x4744+9 ~x4648+1 ~x4552+7 ~x4456+3 ~x4264+10 ~x4168+3 ~x3784+3 ~x3304+2 ~x3016-0=198
23.63/23.73	c 64 ~x193996+32 ~x193995+16 ~x193994+8 ~x193993+4 ~x193992+2 ~x193991+1 ~x193990+9 ~x5513+9 ~x5321+10 ~x5033+5 ~x4937+6 ~x4841+9 ~x4745+9 ~x4649+1 ~x4553+7 ~x4457+3 ~x4265+10 ~x4169+3 ~x3785+3 ~x3305+2 ~x3017-0=198
23.63/23.75	c 64 ~x194948+32 ~x194947+16 ~x194946+8 ~x194945+4 ~x194944+2 ~x194943+1 ~x194942+9 ~x5514+9 ~x5322+10 ~x5034+5 ~x4938+6 ~x4842+9 ~x4746+9 ~x4650+1 ~x4554+7 ~x4458+3 ~x4266+10 ~x4170+3 ~x3786+3 ~x3306+2 ~x3018-0=198
23.63/23.78	c 64 ~x195900+32 ~x195899+16 ~x195898+8 ~x195897+4 ~x195896+2 ~x195895+1 ~x195894+9 ~x5515+9 ~x5323+10 ~x5035+5 ~x4939+6 ~x4843+9 ~x4747+9 ~x4651+1 ~x4555+7 ~x4459+3 ~x4267+10 ~x4171+3 ~x3787+3 ~x3307+2 ~x3019-0=198
23.73/23.83	c 64 ~x196852+32 ~x196851+16 ~x196850+8 ~x196849+4 ~x196848+2 ~x196847+1 ~x196846+9 ~x5516+9 ~x5324+10 ~x5036+5 ~x4940+6 ~x4844+9 ~x4748+9 ~x4652+1 ~x4556+7 ~x4460+3 ~x4268+10 ~x4172+3 ~x3788+3 ~x3308+2 ~x3020-0=198
23.73/23.83	c 64 ~x197804+32 ~x197803+16 ~x197802+8 ~x197801+4 ~x197800+2 ~x197799+1 ~x197798+9 ~x5517+9 ~x5325+10 ~x5037+5 ~x4941+6 ~x4845+9 ~x4749+9 ~x4653+1 ~x4557+7 ~x4461+3 ~x4269+10 ~x4173+3 ~x3789+3 ~x3309+2 ~x3021-0=198
23.73/23.85	c 64 ~x198756+32 ~x198755+16 ~x198754+8 ~x198753+4 ~x198752+2 ~x198751+1 ~x198750+9 ~x5518+9 ~x5326+10 ~x5038+5 ~x4942+6 ~x4846+9 ~x4750+9 ~x4654+1 ~x4558+7 ~x4462+3 ~x4270+10 ~x4174+3 ~x3790+3 ~x3310+2 ~x3022-0=198
23.73/23.88	c 64 ~x199708+32 ~x199707+16 ~x199706+8 ~x199705+4 ~x199704+2 ~x199703+1 ~x199702+9 ~x5519+9 ~x5327+10 ~x5039+5 ~x4943+6 ~x4847+9 ~x4751+9 ~x4655+1 ~x4559+7 ~x4463+3 ~x4271+10 ~x4175+3 ~x3791+3 ~x3311+2 ~x3023-0=198
23.83/23.90	c 64 ~x200660+32 ~x200659+16 ~x200658+8 ~x200657+4 ~x200656+2 ~x200655+1 ~x200654+9 ~x5520+10 ~x5424+9 ~x5328+7 ~x5232+10 ~x5040+5 ~x4944+6 ~x4848+9 ~x4752+9 ~x4656+1 ~x4560+7 ~x4464+3 ~x4272+10 ~x4176+3 ~x3792+3 ~x3312+2 ~x3024-0=215
23.83/23.93	c 64 ~x201726+32 ~x201725+16 ~x201724+8 ~x201723+4 ~x201722+2 ~x201721+1 ~x201720+9 ~x5521+10 ~x5425+9 ~x5329+7 ~x5233+10 ~x5041+5 ~x4945+6 ~x4849+9 ~x4753+9 ~x4657+1 ~x4561+7 ~x4465+3 ~x4273+10 ~x4177+3 ~x3793+3 ~x3313+2 ~x3025-0=215
23.83/23.96	c 64 ~x202792+32 ~x202791+16 ~x202790+8 ~x202789+4 ~x202788+2 ~x202787+1 ~x202786+9 ~x5522+10 ~x5426+9 ~x5330+7 ~x5234+10 ~x5042+5 ~x4946+6 ~x4850+9 ~x4754+9 ~x4658+1 ~x4562+7 ~x4466+3 ~x4274+10 ~x4178+3 ~x3794+3 ~x3314+2 ~x3026-0=215
23.83/23.99	c 64 ~x203858+32 ~x203857+16 ~x203856+8 ~x203855+4 ~x203854+2 ~x203853+1 ~x203852+9 ~x5523+10 ~x5427+9 ~x5331+7 ~x5235+10 ~x5043+5 ~x4947+6 ~x4851+9 ~x4755+9 ~x4659+1 ~x4563+7 ~x4467+3 ~x4275+10 ~x4179+3 ~x3795+3 ~x3315+2 ~x3027-0=215
23.93/24.02	c 64 ~x204924+32 ~x204923+16 ~x204922+8 ~x204921+4 ~x204920+2 ~x204919+1 ~x204918+9 ~x5812+9 ~x5524+10 ~x5428+9 ~x5332+7 ~x5236+10 ~x5044+5 ~x4948+6 ~x4852+9 ~x4756+9 ~x4660+1 ~x4564+7 ~x4468+3 ~x4276+10 ~x4180+3 ~x3796+3 ~x3316-0=222
23.93/24.04	c 64 ~x205945+32 ~x205944+16 ~x205943+8 ~x205942+4 ~x205941+2 ~x205940+1 ~x205939+9 ~x5813+9 ~x5525+10 ~x5429+9 ~x5333+7 ~x5237+10 ~x5045+5 ~x4949+6 ~x4853+9 ~x4757+9 ~x4661+1 ~x4565+7 ~x4469+3 ~x4277+10 ~x4181+3 ~x3797+3 ~x3317-0=222
24.03/24.10	c 64 ~x206966+32 ~x206965+16 ~x206964+8 ~x206963+4 ~x206962+2 ~x206961+1 ~x206960+9 ~x5814+9 ~x5526+10 ~x5430+9 ~x5334+7 ~x5238+10 ~x5046+5 ~x4950+6 ~x4854+9 ~x4758+9 ~x4662+1 ~x4566+7 ~x4470+3 ~x4278+10 ~x4182+3 ~x3798+3 ~x3318-0=222
24.03/24.10	c 64 ~x207987+32 ~x207986+16 ~x207985+8 ~x207984+4 ~x207983+2 ~x207982+1 ~x207981+9 ~x5815+9 ~x5527+10 ~x5431+9 ~x5335+7 ~x5239+10 ~x5047+5 ~x4951+6 ~x4855+9 ~x4759+9 ~x4663+1 ~x4567+7 ~x4471+3 ~x4279+10 ~x4183+3 ~x3799+3 ~x3319-0=222
24.03/24.13	c 64 ~x209008+32 ~x209007+16 ~x209006+8 ~x209005+4 ~x209004+2 ~x209003+1 ~x209002+9 ~x5816+9 ~x5528+10 ~x5432+9 ~x5336+7 ~x5240+10 ~x5048+5 ~x4952+6 ~x4856+9 ~x4760+9 ~x4664+1 ~x4568+7 ~x4472+3 ~x4280+10 ~x4184+3 ~x3800+3 ~x3320-0=222
24.03/24.15	c 64 ~x210029+32 ~x210028+16 ~x210027+8 ~x210026+4 ~x210025+2 ~x210024+1 ~x210023+9 ~x5817+9 ~x5529+10 ~x5433+9 ~x5337+7 ~x5241+10 ~x5049+5 ~x4953+6 ~x4857+9 ~x4761+9 ~x4665+1 ~x4569+7 ~x4473+3 ~x4281+10 ~x4185-0=216
24.03/24.19	c 64 ~x210939+32 ~x210938+16 ~x210937+8 ~x210936+4 ~x210935+2 ~x210934+1 ~x210933+9 ~x5818+9 ~x5530+10 ~x5434+9 ~x5338+7 ~x5242+10 ~x5050+5 ~x4954+6 ~x4858+9 ~x4762+9 ~x4666+1 ~x4570+7 ~x4474+3 ~x4282+10 ~x4186-0=216
24.14/24.21	c 64 ~x211849+32 ~x211848+16 ~x211847+8 ~x211846+4 ~x211845+2 ~x211844+1 ~x211843+9 ~x5819+9 ~x5531+10 ~x5435+9 ~x5339+7 ~x5243+10 ~x5051+5 ~x4955+6 ~x4859+9 ~x4763+9 ~x4667+1 ~x4571+7 ~x4475+3 ~x4283+10 ~x4187-0=216
24.14/24.23	c 64 ~x212759+32 ~x212758+16 ~x212757+8 ~x212756+4 ~x212755+2 ~x212754+1 ~x212753+9 ~x5820+9 ~x5532+10 ~x5436+9 ~x5340+7 ~x5244+10 ~x5052+5 ~x4956+6 ~x4860+9 ~x4764+9 ~x4668+1 ~x4572+7 ~x4476+3 ~x4284+10 ~x4188-0=216
24.14/24.26	c 64 ~x213669+32 ~x213668+16 ~x213667+8 ~x213666+4 ~x213665+2 ~x213664+1 ~x213663+9 ~x5821+9 ~x5533+10 ~x5437+9 ~x5341+7 ~x5245+10 ~x5053+5 ~x4957+6 ~x4861+9 ~x4765+9 ~x4669+1 ~x4573+7 ~x4477+3 ~x4285+10 ~x4189-0=216
24.22/24.31	c 64 ~x214579+32 ~x214578+16 ~x214577+8 ~x214576+4 ~x214575+2 ~x214574+1 ~x214573+9 ~x5822+9 ~x5534+10 ~x5438+9 ~x5342+7 ~x5246+10 ~x5054+5 ~x4958+6 ~x4862+9 ~x4766+9 ~x4670+1 ~x4574+7 ~x4478+3 ~x4286+10 ~x4190-0=216
24.22/24.31	c 64 ~x215489+32 ~x215488+16 ~x215487+8 ~x215486+4 ~x215485+2 ~x215484+1 ~x215483+9 ~x5823+9 ~x5535+10 ~x5439+9 ~x5343+7 ~x5247+10 ~x5055+5 ~x4959+6 ~x4863+9 ~x4767+9 ~x4671+1 ~x4575+7 ~x4479+3 ~x4287+10 ~x4191-0=216
24.22/24.33	c 64 ~x216399+32 ~x216398+16 ~x216397+8 ~x216396+4 ~x216395+2 ~x216394+1 ~x216393+9 ~x5824+9 ~x5536+10 ~x5440+9 ~x5344+7 ~x5248+10 ~x5056+5 ~x4960+6 ~x4864+9 ~x4768+9 ~x4672+1 ~x4576+7 ~x4480+3 ~x4288+10 ~x4192-0=216
24.22/24.36	c 64 ~x217309+32 ~x217308+16 ~x217307+8 ~x217306+4 ~x217305+2 ~x217304+1 ~x217303+9 ~x5825+9 ~x5537+10 ~x5441+9 ~x5345+7 ~x5249+10 ~x5057+5 ~x4961+6 ~x4865+9 ~x4769+9 ~x4673+1 ~x4577+7 ~x4481+3 ~x4289+10 ~x4193-0=216
24.22/24.38	c 64 ~x218219+32 ~x218218+16 ~x218217+8 ~x218216+4 ~x218215+2 ~x218214+1 ~x218213+9 ~x5826+9 ~x5538+10 ~x5442+9 ~x5346+7 ~x5250+10 ~x5058+5 ~x4962+6 ~x4866+9 ~x4770+9 ~x4674+1 ~x4578+7 ~x4482+3 ~x4290+10 ~x4194-0=216
24.33/24.41	c 64 ~x219129+32 ~x219128+16 ~x219127+8 ~x219126+4 ~x219125+2 ~x219124+1 ~x219123+9 ~x5827+9 ~x5539+10 ~x5443+9 ~x5347+7 ~x5251+10 ~x5059+5 ~x4963+6 ~x4867+9 ~x4771+9 ~x4675+1 ~x4579+7 ~x4483+3 ~x4291+10 ~x4195-0=216
24.33/24.45	c 64 ~x220039+32 ~x220038+16 ~x220037+8 ~x220036+4 ~x220035+2 ~x220034+1 ~x220033+9 ~x5828+9 ~x5540+10 ~x5444+9 ~x5348+7 ~x5252+10 ~x5060+5 ~x4964+6 ~x4868+9 ~x4772+9 ~x4676+1 ~x4580+7 ~x4484+3 ~x4292-0=206
24.33/24.45	c 64 ~x220916+32 ~x220915+16 ~x220914+8 ~x220913+4 ~x220912+2 ~x220911+1 ~x220910+9 ~x5829+9 ~x5541+10 ~x5445+9 ~x5349+7 ~x5253+10 ~x5061+5 ~x4965+6 ~x4869+9 ~x4773+9 ~x4677+1 ~x4581+7 ~x4485+3 ~x4293-0=206
24.33/24.48	c 64 ~x221793+32 ~x221792+16 ~x221791+8 ~x221790+4 ~x221789+2 ~x221788+1 ~x221787+9 ~x5830+9 ~x5542+10 ~x5446+9 ~x5350+7 ~x5254+10 ~x5062+5 ~x4966+6 ~x4870+9 ~x4774+9 ~x4678+1 ~x4582+7 ~x4486+3 ~x4294-0=206
24.43/24.50	c 64 ~x222670+32 ~x222669+16 ~x222668+8 ~x222667+4 ~x222666+2 ~x222665+1 ~x222664+9 ~x5831+9 ~x5543+10 ~x5447+9 ~x5351+7 ~x5255+10 ~x5063+5 ~x4967+6 ~x4871+9 ~x4775+9 ~x4679+1 ~x4583+7 ~x4487+3 ~x4295-0=206
24.43/24.52	c 64 ~x223547+32 ~x223546+16 ~x223545+8 ~x223544+4 ~x223543+2 ~x223542+1 ~x223541+9 ~x5832+9 ~x5544+10 ~x5448+9 ~x5352+7 ~x5256+10 ~x5064+5 ~x4968+6 ~x4872+9 ~x4776+9 ~x4680+1 ~x4584+7 ~x4488+3 ~x4296-0=206
24.43/24.57	c 64 ~x224424+32 ~x224423+16 ~x224422+8 ~x224421+4 ~x224420+2 ~x224419+1 ~x224418+9 ~x5833+9 ~x5545+10 ~x5449+9 ~x5353+7 ~x5257+10 ~x5065+5 ~x4969+6 ~x4873+9 ~x4777+9 ~x4681+1 ~x4585+7 ~x4489+3 ~x4297-0=206
24.43/24.57	c 64 ~x225301+32 ~x225300+16 ~x225299+8 ~x225298+4 ~x225297+2 ~x225296+1 ~x225295+9 ~x5834+9 ~x5546+10 ~x5450+9 ~x5354+7 ~x5258+10 ~x5066+5 ~x4970+6 ~x4874+9 ~x4778+9 ~x4682+1 ~x4586+7 ~x4490+3 ~x4298-0=206
24.53/24.60	c 64 ~x226178+32 ~x226177+16 ~x226176+8 ~x226175+4 ~x226174+2 ~x226173+1 ~x226172+9 ~x5835+9 ~x5547+10 ~x5451+9 ~x5355+7 ~x5259+10 ~x5067+5 ~x4971+6 ~x4875+9 ~x4779+9 ~x4683+7 ~x4491-0=202
24.53/24.62	c 64 ~x226926+32 ~x226925+16 ~x226924+8 ~x226923+4 ~x226922+2 ~x226921+1 ~x226920+9 ~x5836+9 ~x5548+10 ~x5452+9 ~x5356+7 ~x5260+10 ~x5068+5 ~x4972+6 ~x4876+9 ~x4780+9 ~x4684+7 ~x4492-0=202
24.53/24.66	c 64 ~x227674+32 ~x227673+16 ~x227672+8 ~x227671+4 ~x227670+2 ~x227669+1 ~x227668+9 ~x5837+9 ~x5549+10 ~x5453+9 ~x5357+7 ~x5261+10 ~x5069+5 ~x4973+6 ~x4877+9 ~x4781+9 ~x4685+7 ~x4493-0=202
24.53/24.66	c 64 ~x228422+32 ~x228421+16 ~x228420+8 ~x228419+4 ~x228418+2 ~x228417+1 ~x228416+9 ~x5838+9 ~x5550+10 ~x5454+9 ~x5358+7 ~x5262+10 ~x5070+5 ~x4974+6 ~x4878+9 ~x4782+9 ~x4686+7 ~x4494-0=202
24.53/24.68	c 64 ~x229170+32 ~x229169+16 ~x229168+8 ~x229167+4 ~x229166+2 ~x229165+1 ~x229164+9 ~x5839+9 ~x5551+10 ~x5455+9 ~x5359+7 ~x5263+10 ~x5071+5 ~x4975+6 ~x4879+9 ~x4783+9 ~x4687+7 ~x4495-0=202
24.62/24.70	c 64 ~x229918+32 ~x229917+16 ~x229916+8 ~x229915+4 ~x229914+2 ~x229913+1 ~x229912+9 ~x5840+9 ~x5552+10 ~x5456+9 ~x5360+7 ~x5264+10 ~x5072+5 ~x4976+6 ~x4880+9 ~x4784+9 ~x4688+7 ~x4496-0=202
24.62/24.74	c 64 ~x230666+32 ~x230665+16 ~x230664+8 ~x230663+4 ~x230662+2 ~x230661+1 ~x230660+9 ~x5841+9 ~x5553+10 ~x5457+9 ~x5361+7 ~x5265+10 ~x5073+5 ~x4977+6 ~x4881+9 ~x4785+9 ~x4689+7 ~x4497-0=202
24.62/24.74	c 32 ~x231413+16 ~x231412+8 ~x231411+4 ~x231410+2 ~x231409+1 ~x231408+9 ~x5842+9 ~x5554+10 ~x5458+9 ~x5362+7 ~x5266+10 ~x5074+5 ~x4978+9 ~x4786+7 ~x4498-0=123
24.62/24.76	c 32 ~x231948+16 ~x231947+8 ~x231946+4 ~x231945+2 ~x231944+1 ~x231943+9 ~x5843+9 ~x5555+10 ~x5459+9 ~x5363+7 ~x5267+5 ~x4979+7 ~x4499-0=104
24.62/24.78	c 16 ~x232368+8 ~x232367+4 ~x232366+2 ~x232365+1 ~x232364+9 ~x5844+9 ~x5556+10 ~x5460+7 ~x5268-0=51
24.62/24.78	c 16 ~x232578+8 ~x232577+4 ~x232576+2 ~x232575+1 ~x232574+9 ~x5845+9 ~x5557+10 ~x5461+7 ~x5269-0=51
24.62/24.78	c 16 ~x232788+8 ~x232787+4 ~x232786+2 ~x232785+1 ~x232784+9 ~x5846+9 ~x5558+10 ~x5462+7 ~x5270-0=51
25.23/25.34	c 1 ~x232994+9 ~x5847+7 ~x5271-0=2
25.23/25.34	c Calling SatSolver
25.23/25.34	c Var= 232995 Clauses=692018
25.23/25.34	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-2684609-1278432560/watcher-2684609-1278432560 -o /tmp/evaluation-result-2684609-1278432560/solver-2684609-1278432560 -C 1800 -W 2000 -M 1800 run HOME/instance-2684609-1278432560.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.07 0.02 0.00 3/106 18286
/proc/meminfo: memFree=1443520/2059040 swapFree=4192956/4192956
[pid=18286] ppid=18284 vsize=8700 CPUtime=0
/proc/18286/stat : 18286 (run) S 18284 18286 18099 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 11469550 8908800 251 1992294400 4194304 4922060 140734607275184 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18286/statm: 2175 251 211 178 0 68 0

[startup+0.0922179 s]
/proc/loadavg: 0.07 0.02 0.00 3/106 18286
/proc/meminfo: memFree=1443520/2059040 swapFree=4192956/4192956
[pid=18286] ppid=18284 vsize=8700 CPUtime=0
/proc/18286/stat : 18286 (run) S 18284 18286 18099 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 11469550 8908800 251 1992294400 4194304 4922060 140734607275184 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18286/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101215 s]
/proc/loadavg: 0.07 0.02 0.00 3/106 18286
/proc/meminfo: memFree=1443520/2059040 swapFree=4192956/4192956
[pid=18286] ppid=18284 vsize=8700 CPUtime=0
/proc/18286/stat : 18286 (run) S 18284 18286 18099 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 11469550 8908800 251 1992294400 4194304 4922060 140734607275184 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18286/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301235 s]
/proc/loadavg: 0.07 0.02 0.00 3/106 18286
/proc/meminfo: memFree=1443520/2059040 swapFree=4192956/4192956
[pid=18286] ppid=18284 vsize=8700 CPUtime=0
/proc/18286/stat : 18286 (run) S 18284 18286 18099 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 11469550 8908800 251 1992294400 4194304 4922060 140734607275184 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18286/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701278 s]
/proc/loadavg: 0.07 0.02 0.00 3/106 18286
/proc/meminfo: memFree=1443520/2059040 swapFree=4192956/4192956
[pid=18286] ppid=18284 vsize=8700 CPUtime=0
/proc/18286/stat : 18286 (run) S 18284 18286 18099 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 11469550 8908800 251 1992294400 4194304 4922060 140734607275184 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18286/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50136 s]
/proc/loadavg: 0.07 0.02 0.00 2/108 18290
/proc/meminfo: memFree=1238340/2059040 swapFree=4192956/4192956
[pid=18286] ppid=18284 vsize=8700 CPUtime=0
/proc/18286/stat : 18286 (run) S 18284 18286 18099 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 11469550 8908800 251 1992294400 4194304 4922060 140734607275184 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18286/statm: 2175 251 211 178 0 68 0
[pid=18288] ppid=18286 vsize=302848 CPUtime=1.44
/proc/18288/stat : 18288 (PBPASSolver) R 18286 18286 18099 0 -1 4202496 75154 0 6 0 60 84 0 0 19 0 1 0 11469550 310116352 75097 1992294400 134512640 134902295 4294350448 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/18288/statm: 75712 75100 256 96 0 74902 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 311548

[startup+3.10153 s]
/proc/loadavg: 0.07 0.02 0.00 2/108 18290
/proc/meminfo: memFree=1031260/2059040 swapFree=4192956/4192956
[pid=18286] ppid=18284 vsize=8700 CPUtime=0
/proc/18286/stat : 18286 (run) S 18284 18286 18099 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 11469550 8908800 251 1992294400 4194304 4922060 140734607275184 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18286/statm: 2175 251 211 178 0 68 0
[pid=18288] ppid=18286 vsize=583072 CPUtime=3.04
/proc/18288/stat : 18288 (PBPASSolver) R 18286 18286 18099 0 -1 4202496 145217 0 6 0 137 167 0 0 23 0 1 0 11469550 597065728 145160 1992294400 134512640 134902295 4294350448 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/18288/statm: 145768 145160 256 96 0 144958 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 591772

[startup+6.30186 s]
/proc/loadavg: 0.15 0.03 0.01 2/108 18290
/proc/meminfo: memFree=552744/2059040 swapFree=4192956/4192956
[pid=18286] ppid=18284 vsize=8700 CPUtime=0
/proc/18286/stat : 18286 (run) S 18284 18286 18099 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 11469550 8908800 251 1992294400 4194304 4922060 140734607275184 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18286/statm: 2175 251 211 178 0 68 0
[pid=18288] ppid=18286 vsize=915472 CPUtime=6.24
/proc/18288/stat : 18288 (PBPASSolver) R 18286 18286 18099 0 -1 4202496 228303 0 6 0 366 258 0 0 25 0 1 0 11469550 937443328 228246 1992294400 134512640 134902295 4294350448 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/18288/statm: 228868 228246 261 96 0 228058 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 924172

[startup+12.7015 s]
/proc/loadavg: 0.21 0.05 0.01 2/108 18290
/proc/meminfo: memFree=438788/2059040 swapFree=4192956/4192956
[pid=18286] ppid=18284 vsize=8700 CPUtime=0
/proc/18286/stat : 18286 (run) S 18284 18286 18099 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 11469550 8908800 251 1992294400 4194304 4922060 140734607275184 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18286/statm: 2175 251 211 178 0 68 0
[pid=18288] ppid=18286 vsize=1013348 CPUtime=12.64
/proc/18288/stat : 18288 (PBPASSolver) R 18286 18286 18099 0 -1 4202496 252606 0 6 0 997 267 0 0 25 0 1 0 11469550 1037668352 252549 1992294400 134512640 134902295 4294350448 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/18288/statm: 253337 252549 261 96 0 252527 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 1022048

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

[startup+19.1012 s]
/proc/loadavg: 0.33 0.08 0.02 2/108 18290
/proc/meminfo: memFree=368728/2059040 swapFree=4192956/4192956
[pid=18286] ppid=18284 vsize=8700 CPUtime=0
/proc/18286/stat : 18286 (run) S 18284 18286 18099 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 11469550 8908800 251 1992294400 4194304 4922060 140734607275184 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18286/statm: 2175 251 211 178 0 68 0
[pid=18288] ppid=18286 vsize=1076316 CPUtime=19.04
/proc/18288/stat : 18288 (PBPASSolver) R 18286 18286 18099 0 -1 4202496 268638 0 6 0 1631 273 0 0 25 0 1 0 11469550 1102147584 268050 1992294400 134512640 134902295 4294350448 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/18288/statm: 269079 268050 262 96 0 268269 0
Current children cumulated CPU time (s) 19.04
Current children cumulated vsize (KiB) 1085016

[startup+22.3015 s]
/proc/loadavg: 0.33 0.08 0.02 2/108 18290
/proc/meminfo: memFree=336364/2059040 swapFree=4192956/4192956
[pid=18286] ppid=18284 vsize=8700 CPUtime=0
/proc/18286/stat : 18286 (run) S 18284 18286 18099 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 11469550 8908800 251 1992294400 4194304 4922060 140734607275184 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18286/statm: 2175 251 211 178 0 68 0
[pid=18288] ppid=18286 vsize=1117624 CPUtime=22.23
/proc/18288/stat : 18288 (PBPASSolver) R 18286 18286 18099 0 -1 4202496 281778 0 6 0 1945 278 0 0 25 0 1 0 11469550 1144446976 277936 1992294400 134512640 134902295 4294350448 18446744073709551615 4159974704 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/18288/statm: 279406 277936 262 96 0 278596 0
Current children cumulated CPU time (s) 22.23
Current children cumulated vsize (KiB) 1126324

[startup+23.9017 s]
/proc/loadavg: 0.33 0.08 0.02 2/108 18290
/proc/meminfo: memFree=317144/2059040 swapFree=4192956/4192956
[pid=18286] ppid=18284 vsize=8700 CPUtime=0
/proc/18286/stat : 18286 (run) S 18284 18286 18099 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 11469550 8908800 251 1992294400 4194304 4922060 140734607275184 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18286/statm: 2175 251 211 178 0 68 0
[pid=18288] ppid=18286 vsize=1140204 CPUtime=23.83
/proc/18288/stat : 18288 (PBPASSolver) R 18286 18286 18099 0 -1 4202496 289702 0 6 0 2102 281 0 0 25 0 1 0 11469550 1167568896 283852 1992294400 134512640 134902295 4294350448 18446744073709551615 4159974736 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/18288/statm: 285051 283852 262 96 0 284241 0
Current children cumulated CPU time (s) 23.83
Current children cumulated vsize (KiB) 1148904

[startup+24.7008 s]
/proc/loadavg: 0.39 0.09 0.03 2/108 18290
/proc/meminfo: memFree=302388/2059040 swapFree=4192956/4192956
[pid=18286] ppid=18284 vsize=8700 CPUtime=0
/proc/18286/stat : 18286 (run) S 18284 18286 18099 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 11469550 8908800 251 1992294400 4194304 4922060 140734607275184 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18286/statm: 2175 251 211 178 0 68 0
[pid=18288] ppid=18286 vsize=1154740 CPUtime=24.62
/proc/18288/stat : 18288 (PBPASSolver) R 18286 18286 18099 0 -1 4202496 294322 0 6 0 2179 283 0 0 25 0 1 0 11469550 1182453760 287192 1992294400 134512640 134902295 4294350448 18446744073709551615 4159973195 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/18288/statm: 288685 287192 262 96 0 287875 0
Current children cumulated CPU time (s) 24.62
Current children cumulated vsize (KiB) 1163440

[startup+25.1008 s]
/proc/loadavg: 0.39 0.09 0.03 2/108 18290
/proc/meminfo: memFree=302388/2059040 swapFree=4192956/4192956
[pid=18286] ppid=18284 vsize=8700 CPUtime=0
/proc/18286/stat : 18286 (run) S 18284 18286 18099 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 11469550 8908800 251 1992294400 4194304 4922060 140734607275184 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18286/statm: 2175 251 211 178 0 68 0
[pid=18288] ppid=18286 vsize=72768 CPUtime=25.03
/proc/18288/stat : 18288 (PBPASSolver) R 18286 18286 18099 0 -1 4202496 294714 0 6 0 2208 295 0 0 25 0 1 0 11469550 74514432 16768 1992294400 134512640 134902295 4294350448 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/18288/statm: 18192 16768 262 96 0 17382 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 81468

[startup+25.3079 s]
/proc/loadavg: 0.39 0.09 0.03 2/108 18290
/proc/meminfo: memFree=1394084/2059040 swapFree=4192956/4192956
[pid=18286] ppid=18284 vsize=8700 CPUtime=0
/proc/18286/stat : 18286 (run) S 18284 18286 18099 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 11469550 8908800 251 1992294400 4194304 4922060 140734607275184 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18286/statm: 2175 251 211 178 0 68 0
[pid=18288] ppid=18286 vsize=45984 CPUtime=25.23
/proc/18288/stat : 18288 (PBPASSolver) R 18286 18286 18099 0 -1 4202496 294714 0 6 0 2228 295 0 0 25 0 1 0 11469550 47087616 10452 1992294400 134512640 134902295 4294350448 18446744073709551615 2943415 0 0 4096 17608 0 0 0 17 1 0 0 3
/proc/18288/statm: 11496 10452 262 96 0 10686 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 54684

Child status: 0
Real time (s): 25.3527
CPU time (s): 25.2952
CPU user time (s): 22.3276
CPU system time (s): 2.96755
CPU usage (%): 99.773
Max. virtual memory (cumulated for all children) (KiB): 1163440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.3276
system time used= 2.96755
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295279
page faults= 6
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 209

runsolver used 0.06199 second user time and 0.119981 second system time

The end

Begin job on node007 at 2010-07-06 18:09:20
IDJOB=2684609
IDBENCH=73181
IDSOLVER=1174
FILE ID=node007/2684609-1278432560
PBS_JOBID= 11233463
Free space on /tmp= 62492 MiB

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

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

MD5SUM BENCH= aa398ad728153b81883b8e1b2097cfdd
RANDOM SEED=931328736

node007.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.256
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.256
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:       1444040 kB
Buffers:         98020 kB
Cached:         379480 kB
SwapCached:          0 kB
Active:         165916 kB
Inactive:       371376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1444040 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2352 kB
Writeback:           0 kB
AnonPages:       59792 kB
Mapped:          14408 kB
Slab:            55780 kB
PageTables:       4172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182632 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= 62492 MiB
End job on node007 at 2010-07-06 18:09:45