Name | csp/fapp/fapp40/ normalized-fapp40-3000-10.xml |
MD5SUM | 6cee6301fe32a4b3c9ce453d6c18bf37 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 91.5551 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3000 |
Number of constraints | 53548 |
Maximum constraint arity | 2 |
Maximum domain size | 698 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 53548 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 AC (complete) | 2097745 | SAT | 91.5551 | 92.1973 |
Abscon 112v4 ESAC (complete) | 2097746 | SAT | 93.5628 | 94.499 |
SAT4J CSP 2.1.1 (complete) | 2083021 | ? | 0.591909 | 0.679601 |
Sugar v1.14.6+picosat (complete) | 2083027 | ? | 710.702 | 723.624 |
Sugar v1.14.6+minisat (complete) | 2083028 | ? | 727.095 | 740.459 |
Concrete DC 2009-07-14 (complete) | 2083025 | ? | 925.33 | 929.62 |
Choco2.1.1 2009-06-10 (complete) | 2083026 | ? (problem) | 141.717 | 141.785 |
bpsolver 09 (complete) | 2083031 | ? (exit code) | 33.8968 | 34.2309 |
Concrete 2009-07-14 (complete) | 2083024 | ? (exit code) | 1393.32 | 1394.01 |
Mistral 1.545 (complete) | 2083030 | ? (TO) | 1800.11 | 1800.82 |
pcs 0.3.2 (complete) | 2083022 | ? (TO) | 1800.13 | 1813.05 |
pcs-restart 0.3.2 (complete) | 2083023 | ? (TO) | 1800.13 | 1804.54 |
Choco2.1.1b 2009-07-16 (complete) | 2116784 | ? (TO) | 1800.13 | 1804.83 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-3442 3174 -3230 -3574 4030 4166 -4006 -3154 -3550 -3750 -3670 3298 -3262 4002 -4538 -3578 3286 -4170 -3530 -3898 -3618 3666 -3474 -3342 -4502 -3370 3726 -4138 -3814 3542 3710 4166 -3638 -3866 -3518 4138 -3318 3994 3966 -3814 -4046 4114 3914 -4314 -4230 4314 3150 -4218 -3974 -3506 -4438 -3486 -4434 4494 -4106 -3258 4182 -4498 4290 -4046 3658 3386 -4426 -3894 -4106 -3962 -4150 4486 -4542 -3758 -4390 -3654 -3290 -3722 4286 -4418 4446 3502 -4250 -4430 4298 -4190 4022 -4150 -3494 3254 -4502 3546 -4346 3294 4298 4206 -3970 3370 -4338 -3178 -4118 4198 -4086 4298 -3962 -4502 -3262 -3198 -4482 -3970 -3718 -3150 -3858 3190 -3414 -3778 3438 -3526 -4006 -4258 -3650 3958 -3206 3238 3986 -3838 -3722 -4502 3838 -3482 -4186 -4270 -4266 -4378 3746 -3466 -4258 -3414 -4098 -4542 -3906 3586 4194 -3590 -3354 4258 -3150 3634 -3210 -3794 -3670 -4418 -3238 3310 -3930 3706 4038 4302 -3622 -3898 -4034 3410 3278 -4454 -3454 4290 4306 3262 -3554 -4010 3590 -4186 4098 -4450 -3158 -3590 -4242 4270 -3538 -4510 3614 -4146 4246 -3514 -3334 -4074 3658 3550 -3754 -3242 3198 -3938 3802 -4542 -3582 -3482 3366 -3550 3306 -4130 -3542 3414 3898 -3982 -4466 3938 4174 4074 -3182 -4098 3190 -3362 -4498 -4350 -3510 3390 -4522 -4190 -4426 -3602 -3250 3198 -3302 -3158 -3214 -4098 3530 -4114 -3718 -4218 -3918 4430 -3858 3190 3562 -4454 -4178 -3642 -3994 -3506 -4426 -3602 -4542 -3218 4382 -3246 4142 -3322 -3190 -4542 -4342 -3954 -3814 3262 -3678 -3322 3790 -3758 3814 3914 -3342 -4202 -3274 3730 -3582 -4302 -4014 -4146 -3410 -3218 -3450 -3162 -3586 3622 -4422 -3582 -3942 -3330 4170 -3442 3530 -4542 -3814 3642 -3150 -4482 -3614 4518 -3654 -3570 -3214 -4462 -4134 -3814 -3738 -4322 4338 -3550 -3150 -4318 -3190 3278 3694 -3198 4014 -4462 4010 3282 -3702 3666 -3778 -3626 -3606 3466 3842 3818 4458 -4342 -3650 -4502 -3322 -3734 4462 -3558 -3454 -4190 4110 4426 4274 -4398 -3650 -3202 -3262 -3158 -3298 4226 3410 -3786 -3414 3750 -4222 -4490 -4422 -4506 3226 -3302 4522 -3610 3958 -3726 -4186 -3658 3982 3522 3150 3318 -4178 -3586 -3610 -3234 -3974 -3346 -3406 3362 3358 4150 -4398 3378 -3330 -3642 -3330 -4166 -4146 3274 -3878 -3770 -3366 4330 3798 4502 -3662 -4114 4334 4526 -4234 -3486 -3474 -4522 -3206 -3766 -4438 3638 -3186 3326 4098 -3582 3686 -3570 -3206 -3622 -4150 3150 -3846 -4234 3430 -4166 -4510 -3598 -4322 -4462 4394 -3466 4402 -4254 -4146 3366 -3322 3322 -4186 4306 3270 -3578 -3302 3522 -3818 3614 -4086 3826 -4130 -3710 -4038 4242 4258 -3366 -3274 3526 3586 -4502 -4354 -3574 -3254 3254 -3434 -3474 -3370 3326 -3898 4286 -3602 4374 -3262 4474 3506 3622 3590 4434 3210 -3250 4146 -3342 3378 3490 3414 -3518 3462 4250 -3262 -3414 -3698 -3290 -3914 3438 -3454 -4306 4262 -4466 -4210 -4062 -3226 -3950 -3598 -3382 -3670 -3622 -4362 4282 3566 -3194 -4342 -3190 4326 3182 3174 4470 -3482 -3350 -3958 -4210 3302 -4502 -3158 -3286 -4154 4206 4010 -4502 -4386 3658 -4390 -4142 -3294 -3666 -3770 -4190 -3202 -3162 -4282 4210 4506 -4502 -4210 3314 -3598 3362 -4502 3638 4354 4398 -3638 -3950 3382 -4014 -3346 -3882 4522 -4442 -4202 -3642 4074 -4050 -3302 3150 -4002 -3214 -3222 -3618 -3430 -3718 -3210 4098 -3322 -4502 -3398 4134 3754 -4542 -4370 -3746 -3974 -3774 -3546 -4138 -3986 -3942 -4466 3150 -4086 -3698 3314 3970 3586 -4458 4362 3298 -3706 3786 4330 -3286 -4350 -3914 -3642 4190 -4030 -3626 3614 3430 4138 -3826 3610 3570 -4502 3586 -4494 -3810 -3578 -3670 -4354 -3222 -4242 -3562 4030 -4422 -4522 -4518 3398 -4138 3966 -3514 -3642 4526 -4002 -3734 -4146 -4178 -3506 -4258 -3222 3254 -4094 4170 3682 -3598 3190 -3846 -4386 -4282 -4218 3950 -3782 -4438 4362 -3206 3466 3362 3710 -3550 -3854 -3606 -3810 -3550 -3446 -4066 -4034 -3954 -3674 -4114 4122 4374 4014 -3638 -3974 -4522 3998 3262 -3282 3702 3978 4070 -4090 3694 -3270 -3218 -3826 -3646 -4502 -3178 -3674 -3170 -3210 -3310 -3490 -3318 3990 -3578 3634 -3230 -3406 -3626 -3622 -3186 4098 -4266 3634 -4502 3926 4002 4206 -3202 -3598 4330 -4322 4138 4486 -3470 3870 -3818 -3222 -3214 -3678 -4034 -3622 -3818 -3214 -3738 3510 4218 -4414 -3434 4318 4402 4138 3190 3510 -4502 -3198 4394 4170 3658 3766 -4038 -3754 3378 4534 3206 -3298 3778 3534 -4542 3218 -3274 3262 -3786 -4394 -3378 3762 -3674 -4222 -4162 -4238 -4030 4530 -3446 3826 4218 -4166 4234 -3510 3730 4014 -3190 -4462 4410 4314 -3422 -3854 -4542 -4330 -4234 -3950 -3858 -4310 -4246 4178 4450 -4238 -3902 3542 -3162 -3454 -3650 4438 -3854 -3618 -3318 3266 -3418 -4014 -4230 3290 -3374 3566 -4218 -4226 -4462 4338 -3730 -4454 -3738 -4046 3918 4502 -4126 -3246 -4394 -4502 3190 -3238 4482 -3370 -3722 -3654 4294 -3406 3786 -3198 4394 -3886 4450 4458 -3558 -3782 -3310 3294 -3226 -4542 -4502 -3994 -3326 -3314 -3974 4394 -3678 3874 4478 -4006 3778 -4138 -3198 3806 -4242 3706 3666 -3726 -3610 -3798 -3870 3522 -3622 -3506 -4362 -3970 -3594 3382 3390 3826 4162 4070 4026 -3410 -4390 3314 -3222 4418 -3910 -3762 4186 4434 3942 -4070 3914 3894 -3850 4102 3590 4306 4094 -4346 3310 -3370 3190 -4410 -3922 -3634 3250 4262 -4086 -3754 -4438 3406 -3166 -4358 -3450 -4502 4094 -3350 3846 -4338 -3818 -3902 -3262 -3470 -3218 -3198 -4462 -3866 3394 -4182 3150 -3578 3954 -3430 -3910 -3902 -4542 3710 4262 3778 4226 -3742 4470 -3570 -3438 3806 -3602 -4182 -3610 4374 -4466 -3482 -4542 -4166 -3322 -4322 -3686 -3854 3182 -3838 3426 -4542 -4502 -4502 -4442 -4518 3150 -3814 -3198 -4414 -3510 3794 -4466 3722 4358 4126 4066 -3862 -4186 3730 4114 3738 3854 3850 -3330 -3282 4306 3714 -3230 -4542 -4134 -4006 3810 -3582 3666 -3934 3810 4318 3246 -3654 -3670 -3578 3338 -4318 4274 -4542 -3858 -3822 -3434 -3662 -3910 -4186 -4138 -3742 -4354 3626 4358 -4026 -3974 -4102 3406 3382 -3850 -3150 -3314 4250 -3298 -3586 3490 -4482 4494 -3194 4326 3966 4198 -4490 -4058 -3274 4502 -4502 -3698 3538 -3490 -3546 4450 -4186 3566 -3746 -3578 -3222 -4150 -3350 -3714 -3690 -4430 -3726 3750 3598 3514 -3530 -3482 3510 -3830 -3610 4534 -4366 -3806 4082 -4150 -4518 4322 -3834 3346 -3454 3994 3502 3370 -3950 -3858 3810 -4014 3202 -3658 4446 -4346 -3622 3418 -3806 3302 -3334 -3194 -4158 -3870 -3686 -3326 -4070 -3686 3838 -4462 4494 3954 3698 -3434 3422 4366 -4186 4118 -4210 3774 3186 -3618 -3482 -4454 3998 -3882 3802 3422 -3590 -3898 -3710 -3542 -3662 -4290 -4502 -4022 4054 -3986 4282 -3338 3378 3690 -3190 3214 -3990 3214 4214 4106 -3602 -4374 3842 -4430 4042 -4186 -3210 3538 -3574 -3442 3610 -4374 3750 3150 -3282 4050 3334 4350 4206 3638 -4258 3702 -4382 -3994 -3602 3502 -4178 -3530 -4342 -3286 -3178 4110 -3410 -3806 3950 -3974 -3326 4210 -3274 -4470 3850 -3618 -4014 -3230 -4130 -3750 -4206 3858 -3226 3398 -3902 3346 -3546 3290 4402 3898 -4002 -3278 -3266 3262 3870 -3934 -3618 -4110 -4502 -4542 -4322 -3630 -4358 -3290 3206 3818 -3802 3470 4026 -4078 4474 -4282 -3910 -3910 -4038 -3190 -4542 4198 3326 -3998 3642 3642 -3682 -3662 -3974 -3386 -4006 -4102 -3298 -4450 3330 -4502 -3214 -3618 -4426 -4110 -4334 3190 -4334 -4502 -3854 -4482 -4306 4414 3298 -4006 -3550 3582 4206 3966 3450 -3254 -3286 4502 3662 4502 -3750 -3150 -3290 -4258 3150 -3546 -4030 -4262 3170 -3362 -4502 4090 4502 -3966 -3290 4338 -3766 3374 -4238 -4150 -3542 -4406 -3918 -3578 3850 3930 -3478 -3214 -4450 3342 3786 -3826 4482 -4258 -3870 3766 -3190 -3630 4498 -3190 -3238 -3614 -3602 -3626 3158 -4030 -3446 -4014 -3722 -4422 3218 -4050 -3570 -4246 4174 -4014 -4282 3510 -3318 -4034 -3514 -4282 3622 -3330 -3210 4442 4226 3266 -3222 3826 3214 -4070 -3162 -3622 -3962 -4534 -3610 3366 -3690 -3302 4534 -4258 3814 -3362 -3898 3722 3258 -3822 3706 -4542 -3670 -4374 -3522 -4122 4194 -3490 -4282 4394 4010 -3750 -3458 -3474 4134 4142 3794 -3658 3850 -3314 -3238 -3638 -4402 -3910 3618 -3762 4286 -3878 -3202 3278 -3462 -4490 -4346 -3262 4502 4282 -3262 -3554 -3966 -4314 -3858 -4394 4542 -3778 -4334 -3330 -4138 -3974 3254 -3522 -4278 -3894 -3374 4270 -3722 -3198 4514 -3570 3250 3314 -3466 -3982 -3462 3658 -4422 3158 3150 -4058 -3758 3582 -3278 -3822 -4402 -3314 4030 3158 -3994 -3790 4022 -4210 -4090 -3690 -3262 3634 -3682 3522 -3762 -3434 3778 -4178 -4502 -4302 -4018 -4418 -3354 -3858 -3190 -3974 -3782 -4042 -3410 4258 4146 -3218 -3742 -4458 -3974 -4422 4502 4262 -3150 -3698 -4354 3162 3846 -4146 3762 3890 -4054 -3630 -4386 4038 -4278 3178 -3230 -4302 4518 3218 4110 -3998 4482 -4430 -3598 3726 -3794 -4406 3278 -4018 3934 4282 3874 -3610 3342 -4526 -4014 3190 -3670 -3266 -4502 -4106 4366 -4542 -4422 -4190 -3874 4262 -4362 -3794 4042 4542 -4354 -3750 -4218 4074 -4034 -3210 -3846 -3298 -3162 -3694 -4298 -4222 -3838 -3150 3890 4394 -3698 -4502 -4218 -3658 -4442 4250 -4378 -4174 -3214 3806 -3978 -3878 4542 -4314 -4158 -4222 -3346 -3906 -3986 3966 4374 -4058 3442 -3178 -4154 -3762 -3814 3790 -3338 4326 3150 -3770 4030 3222 3222 3150 3274 -3474 3994 -3222 -3966 3182 4502 -4154 3218 -4462 3238 -4322 4178 -3226 -4054 -4218 4418 4078 -3930 -4410 -3818 4110 4542 4470 -4362 3594 -3650 -4338 3262 4054 -3546 -4110 -3970 -3798 -4146 3690 -3302 -3246 -3222 -3214 3482 -3526 -3202 3510 -3258 -3646 3930 3594 -3554 -4466 -4286 -3438 -3258 3978 3938 4046 -4102 -3502 -3546 -3286 3746 -3414 -4386 -4002 -4114 -3726 3394 -3814 4134 -3246 -3570 -4062 4154 3454 -3778 -3622 3962 -3630 -3190 -3618 -3846 -3974 -3854 4102 -3282 -3162 3366 -3222 3190 3858 -3878 -3306 -3578 -4170 -3190 4098 3670 -3974 -4542 -3218 -4162 -3698 -4306 -3590 3742 3726 3934 -3974 3734 -4326 -3278 3598 4066 -4290 3750 -4262 -3902 -3282 4470 -3262 -4150 -3834 4198 -3190 4538 -3218 -4310 -4502 3626 -3414 3654 4490 -3762 -3622 3338 4270 -3218 3622 -3774 -3238 -4298 -3966 -4366 -3482 4170 4082 -4542 4478 -3974 4298 3742 -3978 3150 3302 -3406 -4542 3506 3190 -4122 -3186 -4166 4246 4214 4226 3378 4106 -3150 -4138 3386 4518 -4314 -4542 -4462 4346 -3190 3666 -4090 -3782 4334 4310 4350 3874 -3774 -3642 -3810 -3666 -4146 -4106 -3610 -3834 3514 -3198 -3202 -4486 -3834 -3306 3842 4070 -3474 4034 -3678 -3714 -4542 3626 -3590 3198 -4054 4146 -3238 -3294 -3190 -4310 -3730 3850 -3514 3962 3582 4174 3990 -4542 4334 3410 -3590 -4210 -4138 -4066 3374 -3278 -3346 -4310 -3966 -3154 -3198 -4126 3578 -3302 4390 -4014 -4142 -3486 3342 3434 -4142 -3278 3842 3274 -3846 -3942 -4502 -4506 -4010 -4502 -4478 -4478 -3334 3990 4110 3782 -4014 3710 -3706 3710 4518 4354 -3638 -3526 -4234 -3326 -4410 -3614 4102 -3926 -3254 -3382 4030 4342 -3318 -3570 -3470 4218 -3510 -3610 -3198 -3210 -3874 3766 -3190 -4078 -3558 -4522 -3322 -3618 -3390 -3230 -3626 -4522 3682 -3766 -4118 4174 -3638 4206 -3514 3150 -4034 -3538 3446 -4502 -3174 -3282 -4306 -4138 -3658 -3854 -3362 -3590 4490 3190 -3738 -3770 -3254 3610 3190 -4482 -3190 -3882 -4522 3662 -3178 4418 3278 -3682 -4422 -4194 -3242 -4542 -3190 4538 -3314 -4522 -3622 3858 3330 -4310 -3506 3562 -4542 -3274 -4542 -4518 -3582 -3338 -3826 3270 -4142 -4322 4322 -3898 4126 -4070 3746 3866 -4318 3446 -3786 -3678 3994 -4098 -3802 3382 -3782 -3450 3150 -4502 3646 4542 4494 -4542 4114 4002 3502 -4066 -3302 -3318 -3402 -3598 -3950 -4334 -4082 -4406 -3918 3406 -3418 4474 -4034 -3638 4074 -4150 -3414 -3190 -3226 -3174 -3190 -3442 -3246 4454 3502 -4262 3310 -3878 -4278 -3350 -4010 -3974 3230 -3562 -4110 -3874 4006 3822 -3150 3970 -4386 -4082 3586 -3318 -4182 -3518 -4274 -4214 4086 -3150 3930 -4394 3922 -4322 -3254 -3414 -3706 3490 -4502 -3926 -3934 3402 3434 -4170 3474 4450 -4270 3150 4110 4262 -3602 -4178 -4542 4502 -3322 -3582 -3718 -3314 -4378 3742 -3890 3678 -3634 -4114 3646 -3530 -3562 -3738 -3214 4002 -4462 -4542 -4382 3490 -4282 -3170 4102 4086 3198 -3210 3338 4378 -4014 3586 4534 3950 -4482 3866 -3422 -3238 -3566 3254 -4182 3378 -4010 4126 -4186 4354 3630 3598 -3886 -3394 -4430 4026 -3974 -3190 -4110 -4098 -3314 3150 -4246 3606 4342 -3998 3166 -3710 3338 -3946 -3746 3542 -3974 4390 -3898 -3150 4134 -3186 -3974 3406 3190 3258 -3174 -3202 4274 -4542 3774 -4214 -3742 -4054 4166 4502 -4490 3818 -3466 -3666 -4502 -3822 3910 -3830 -3630 -4462 4542 4222 -4482 -4542 -4482 3290 -3374 3250 -3366 -4282 -4338 3654 3490 -3526 4094 -3278 -3926 -3202 -4254 -3150 4162 -3522 -4014 -4222 3262 -3554 -4142 -4030 -4370 3390 -3358 3986 -4122 -3342 -3946 -3366 -3258 -4246 -3346 -3698 3946 -3442 -3818 4254 -3542 4434 -3710 -4050 -3678 3718 4390 3306 -3530 3482 -3262 -4094 4206 -4266 -4202 4502 4010 -3730 4062 4070 3202 -3630 -3582 -4178 4346 3990 3546 3954 -4246 -3586 -4542 3414 -4186 -3794 -3294 3334 3950 4502 3526 -3166 -4538 4218 3750 3730 -4478 -4502 -3814 3198 4266 -4082 3878 -4542 -3382 -4526 4414 -3618 -3746 -3878 -4210 3178 -3390 -4270 -3910 3582 3894 -3954 4530 -4542 -4502 -4350 4406 -3698 -3582 4470 4050 4206 3638 -4494 -3834 -3986 3158 -3338 -4086 3158 3786 3622 3582 3714 -3302 -4102 4206 4026 3602 -3190 -3998 -3254 -3374 3858 -4186 -3818 -4262 -3174 -3566 -3370 3682 -4322 -4474 3910 -3238 -3430 -4474 -3510 -4542 -3402 -4434 -3534 -3378 3970 -4542 -3154 -4030 -3414 -4258 -3950 3614 -3306 3590 3854 -4482 -3418 3970 4322 -3366 4462 -3586 -4010 -4042 3242 -4238 -3262 3270 -4118 -3802 -3474 -3334 -3810 3690 -4062 -4402 4082 4210 3478 -3270 -4026 -3554 -3454 -3954 4326 -4502 3162 -3162 3746 -4322 -3354 4410 3606 -3486 -3542 3470 -3550 -3258 4490 3878 -4250 -3338 4402 4058 -4314 -3782 -3646 4046 -3150 -4178 -3394 -3294 -3834 -3722 -3858 3530 -3166 -3586 -3394 -3310 -3718 -3710 -4146 -4014 -3218 -3554 3862 -3966 -3766 -3722 3854 4506 3738 -3850 -3910 -4298 -3626 -4354 -3314 -4542 -3166 -3890 4318 3470 -3862 4158 -4174 -3158 3206 4106 -4046 3914 -3158 4442 -3354 -4150 3990 -3262 -3434 -3998 3602 -3998 -4430 -4322 4442 3582 4142 -4542 3374 -3762 3766 -3282 -3710 4510 -3390 4166 -3510 -3626 4386 -3646 -4110 4450 -3446 -4058 -3302 -3502 -3650 3150 3846 4478 -3710 -4350 4542 3618 -4142 -3606 -3542 -4378 -3390 -3330 -3890 3382 -3782 -3190 -4014 3578 -4258 -3790 -4478 -3502 -4458 -3718 -3662 -3406 -4406 -3870 -3834 3926 -4194 -4002 -3962 -3734 -3306 -3518 3790 -3830 -3898 -3886 -3674 -3182 -4114 4046 -4054 3290 -3718 -3758 -3898 -3582 -3386 4534 -3422 -3622 -4094 -3550 -4502 -3802 4402 3238 -3562 -3550 4222 -4298 -3970 -3538 -3582 4038 3374 3190 3446 -3770 4434 4074 3350 3886 -3450 -3206 -3250 -3306 -4450 -3350 3582 -3226 -3754 3970 -3986 -4010 -3686 3190 3478 -4266 -3730 -3542 -3814 -3802 -4234 -3174 -4270 -3578 3946 -4542 3794 -3258 -4542 4490 -3410 -3750 -3462 -4182 -4050 -4462 -3330 -3214 3378 -3586 3726 -4310 3758 4366 -3310 -3162 3966 -4362 4366 3678 -4374 -3814 -4234 3814 3874 -4074 -3150 -4226 -3850 3938 -3174 -3942 -4510 4494 -4398 3690 -3930 -3722 3198 -3566 3310 -3166 -4174 -4410 -3158 -4046 -3382 -4214 4502 -3994 -3638 3838 -3174 -3406 -4246 -4422 -4422 -3570 3842 4098 -3942 -3578 3586 -3350 3342 3802 3270 4498 -3686 -3910 -3382 -3214 -4422 -3734 4150 -4110 -3402 4258 -3990 -4082 4070 3470 3298 -3370 -4450 -3622 3730 -3982 -3738 -3182 -3854 -4466 -4478 4206 -4522 3322 -4422 3266 -4362 -3622 3150 3582 -3318 -4346 -4138 3206 -4366 -4022 3710 -3786 -3642 -3650 3958 3982 -4126 3790 -3698 -3198 -3242 -4362 -4298 -4490 -3990 -3506 -4542 3150 3314 -4542 3294 -3878 -3806 -3622 4210 4102 -4334 4006 3602 4086 -3806 -4046 -3322 -3634 -4298 3370 -3362 -3846 3402 -4014 -3450 3218 3302 -3170 -4074 -4270 -3974 4286 3842 4278 -4462 4302 -3202 -4426 -3886 -3974 4354 4274 -3602 -3258 -3962 -3994 -4458 -3658 3982 3274 -3346 -3594 3614 -3502 -4230 -4158 -4514 -3266 -4290 3390 -3890 -4226 -4014 -3218 -4014 -3714 -4498 -3674 -4322 3162 4302 -4290 4482 4478 -3974 -4542 -3750 -4542 3370 3626 -4182 -3594 -4278 3510 -4022 -4178 -3338 3954 3486 -3246 3230 3690 -4014 -3434 3770 -4026 3846 4486 -3558 -3150 -3206 -3842 -3934 3954 -4486 -3190 -3722 -3758 -3330 -4190 -4378 3358 -3702 -3734 3154 4170 3762 -4338 -4466 -3994 -3434 3850 4202 3630 -3762 -3454 3970 -3966 -3810 3646 3858 3150 -3926 4418 -3994 -4494 3782 -4422 -4426 4406 4442 -3474 -4218 -3302 -3954 -4390 3442 4342 3926 4358 4402 -4110 4074 -3514 -4482 -3762 3438 4530 -3962 -3450 -3606 3418 3706 -3830 3470 -3298 -4074 -4462 3614 4110 -3270 3434 3550 -3178 -3222 -3450 3330 -3178 3278 -4214 -4190 3694 -4542 -3854 -4286 3262 -3350 -3190 3522 -3550 -3982 -3642 -3226 -4142 -3538 -3190 4222 3354 -3446 -3762 -4302 3470 3230 4042 3686 -3214 3222 4530 -4522 -3274 -3582 -3430 -3990 4150 -4022 3366 -4138 -3774 3938 -3350 3702 -4226 4454 -4542 3714 3834 4262 -4530 -3574 -3674 -3602 -3282 -3174 -4026 -4250 3626 3590 -4170 -4478 -4342 4150 -3198 -4318 3726 -4070 4114 4302 -4422 -3190 -4470 -4542 -3830 -3722 -4422 -4502 4346 4062 -4414 -3322 -3170 3374 -3682 -4062 3322 -4230 3990 4258 -4006 3202 4382 -4502 3490 -3254 -4306 -4066 -4434 -4486 3514 3374 4382 3606 4470 3258 -3318 3238 -4450 3970 4266 -4382 -3754 -3314 -3722 4122 -4146 -4462 -3554 -3610 4518 -3774 -4266 4490 3926 -3910 -3786 -3398 3374 -4346 -4070 4470 -4482 -3630 3510 -3250 -4478 3790 3250 -3482 4422 3854 4166 -3318 -4214 -3414 -3562 -4418 -3806 -4194 -3542 -3474 -3430 -3594 -4010 -4362 -3934 3190 -3210 -4190 4070 -4010 -3582 4410 3150 -3794 4326 -3258 -3198 -3314 -3938 -3442 3514 -4366 3862 -3422 -4098 -3810 -4378 4298 -4422 -3474 -3706 -4422 -4346 3838 -3994 3618 -4042 -3198 -3250 4386 3202 -4310 -4030 -3878 4302 -4522 4366 -3974 -3582 -4398 4182 3570 -3814 -3726 -3194 -3382 -3718 -3494 -3710 -3714 4338 -3166