Name | csp/fapp/fapp40/ normalized-fapp40-3000-7.xml |
MD5SUM | 03c519ee722ebb3400aacaf8b7a2d565 |
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 | 72.287 |
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) |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-3414 3190 -3226 -3574 4026 -4158 -3998 -3150 -3542 -3770 -3666 -3302 -3258 4002 -4502 3574 -3298 -4174 -3550 -3886 3614 3650 -3486 3354 -4502 -3358 3730 4062 -3806 3542 3702 4166 -3626 -3870 -3510 -4134 -3318 -3990 3974 -3806 -4042 4118 3914 -4310 -4226 -4322 -3150 -4218 3974 -3502 4418 -3482 -4434 4494 -4102 -3262 4190 -4542 4282 4034 3650 -3394 4430 3890 4106 -3958 -4166 4490 -4542 -3754 4302 -3642 3286 -3730 -4298 -4502 -4542 3530 4246 4434 4322 -4178 -4026 4138 -3498 -3250 -4502 3566 -4338 3290 -4306 -4210 -3970 -3370 -4334 3166 -4118 -4214 -4086 4306 3958 -4502 3246 -3198 -4482 -3974 3714 3174 3866 3202 -3406 3762 3414 3538 3998 -4254 -3650 -3970 -3218 -3210 3998 3830 -3702 -4502 -3826 -3474 -4186 -4258 4270 -4442 3730 -3478 4254 -3406 4102 -4530 -3914 -3578 4190 3582 -3350 4230 3150 -3638 -3214 3806 -3650 -4414 -3238 -3314 3938 3694 4042 4290 -3618 -3902 -4054 3474 -3290 -4458 3442 -4290 -4298 3258 -3550 -4006 -3582 -4186 4106 4466 3222 -3586 4242 4278 -3538 -4542 -3602 -4146 -4262 -3590 -3330 -4074 3650 3530 3746 -3274 3198 -3926 3810 -4542 -3582 -3478 -3350 -3546 3306 -4134 3546 3410 3898 3982 -4470 3930 -4186 4082 -3210 4086 3190 -3354 4498 -4346 3510 3390 -4522 -4190 -4426 3622 -3242 3194 -3302 -3154 3210 -4106 3522 -4122 3710 4226 -3910 -4446 3854 3190 -3566 4450 -4174 -3638 4002 -3506 -4426 -3598 4490 -3202 -4386 -3246 4138 3318 -3190 -4542 4330 -3954 3814 3258 3698 -3306 3782 3770 3810 3918 -3330 4206 -3286 -3726 -3574 -4302 4014 -4146 3398 3210 -3434 -3158 -3586 -3610 -4422 -3582 -3946 -3286 4174 3414 -3534 -4538 -3810 3638 3150 -4482 3618 -4522 -3638 -3558 3202 4462 4130 -3806 -3750 -4322 -4346 -3546 3150 -4318 -3190 -3302 3690 -3190 -4014 -4422 -4006 3266 3702 -3670 -3782 -3630 3606 3466 3842 3814 4462 -4338 -3650 -4542 -3310 -3734 -4486 -3558 3446 -4186 -4118 4426 -4278 4398 3662 -3198 -3154 -3158 -3302 4226 -3426 -3778 -3418 -3758 4230 4490 -4422 -4350 -3238 3302 -4522 -3574 -3958 -3718 4186 -3642 3966 -3518 3150 3330 4166 3582 -3594 3218 -3974 -3354 3422 -3366 3354 -4166 -4398 3382 3326 -3670 3334 4166 4138 -3258 -3866 -3762 -3350 4330 3798 -4502 -3650 -4114 -4330 -4522 -4230 3474 -3478 -4530 -3194 3766 -4422 3650 -3182 3330 -4090 3574 3690 -3578 3202 -3690 -4146 -3302 3850 -4230 -3426 -4158 4502 -3594 -4322 4462 -4410 -3462 4410 4238 -4146 3382 -3322 3314 4186 -4306 3278 -3574 -3302 3518 -3822 3614 -4082 3822 4122 -3714 -4046 -4254 -4266 -3370 -3266 -3566 -3582 -4502 4350 -3558 -3254 3250 3446 -3486 3386 3338 -3906 -4294 3602 4374 -3262 -4482 -3518 -3630 3586 -4462 3210 -3290 4146 -3330 3362 3510 3438 -3550 -3470 -4238 -3254 3414 -3698 3294 -3910 3442 -3446 -4306 -4454 -4470 4214 -4066 3222 -3954 3590 3386 -3678 3614 4298 -4274 3606 3190 4342 -3190 4334 3170 -3170 4470 -3454 -3354 3974 4202 -3306 -4502 3158 -3298 -4162 4202 -4014 -4502 -4382 -3642 -4390 -4130 -3286 -3650 3770 -4178 -3206 3158 -4282 4210 4506 -4502 4198 -3310 -3586 -3366 4502 3646 -4502 -4414 -3614 3962 -3382 -4014 3346 3882 -4522 4434 -4202 -3634 4078 4030 -3298 3150 -3998 3218 3194 3602 -3434 3714 -3206 4094 3334 -4502 3402 4126 -3766 -4438 -4366 -3758 -3974 3770 -3558 -4134 3978 -3934 -4466 3150 4074 -3690 3314 3966 3586 -4470 4366 3306 -3690 3790 4338 -3286 -4342 -3914 -3638 4186 -4030 -3622 3602 3422 -4146 -3822 -3594 3586 -4350 -3582 -4502 -3810 -3574 3662 -4358 -3206 4242 -3562 -4026 -4462 -4522 4514 3394 4134 -3974 -3510 -3638 4518 -4010 -3730 -4146 -4186 -3490 4262 -3222 3238 -4086 -4182 -3682 -3574 -3194 3826 -4386 -4282 -4214 3958 -3770 4446 -4374 -3198 3438 3374 3718 -3562 -3862 -3586 -3798 3550 -3446 -4042 4034 3958 -3678 -4118 4126 -4398 3998 -3666 3974 -4522 3994 -3338 -3278 -3698 -3966 4050 -4082 3690 -3270 -3190 3830 -3638 -4478 3150 -3678 -3150 3210 -3310 3494 -3242 4006 -3574 -3634 -3262 -3406 -3638 -3622 -3174 4102 4274 3630 -4502 3934 4010 4206 -3194 3594 4326 -4334 -4146 4482 -3474 -3870 3806 -3218 3230 -3686 -4030 -3626 -3818 3214 -3738 3502 -4218 4410 3430 -4322 4398 4126 3150 -3534 -4502 3198 4398 -4246 3670 -3762 -4034 -3754 -3370 4534 3198 3270 3766 3518 4542 3230 3274 3262 -3766 4390 -3370 -3750 -3670 -4230 4146 4230 -4026 4542 -3446 3830 4226 -4158 4238 -3426 -3730 4026 -3190 -4462 -4426 4542 3414 -3850 -4542 -4322 4242 -3954 -3854 -4310 -4242 4186 -4450 -4238 3898 -3530 -3154 3442 -3554 4438 3846 -3614 -3310 3266 -3418 -4014 -4218 3330 -3374 -3578 4226 4230 -4462 -4326 -3730 -4454 3726 -4046 -3918 -4502 4118 -3250 -4398 -4502 3190 -3238 4474 -3374 -3722 -3654 -4294 3394 3774 3198 -4394 -3866 -4446 4482 -3550 -3762 -3310 -3266 -3210 -4542 -4502 -3994 -3298 -3314 -3974 -4410 -3662 -3862 -4482 4014 3790 4130 -3170 3806 4162 3710 3674 3710 -3606 -3806 3870 3522 -3630 3478 -4362 3958 -3582 -3370 3386 -3818 4166 4066 4038 3402 4386 -3366 3206 4426 -3910 -3762 -4186 4442 3950 4070 3914 3882 3778 4110 -3594 4310 4090 -4346 -3318 3362 3158 -4426 -3910 -3634 -3246 4266 4086 -3766 -4434 -3386 -3162 -4374 -3462 -4502 4094 3346 3846 4342 3814 3906 3246 3470 3222 3194 -4458 -3862 -3390 4170 3190 -3574 -3966 -3426 -3910 -3906 -4542 -3690 4262 3786 -4226 -3734 -4470 3566 -3482 -3818 -3602 4186 3610 -4374 -4470 3454 -4542 -4154 -3386 -4322 3694 -3850 3170 -3818 3418 -4502 -4502 -4502 -4462 -4518 3150 -3806 3214 -4414 -3510 3806 -4466 3726 -4362 4118 4074 -3850 -4186 -3726 -4118 -3742 3850 -3838 3314 -3278 4322 -3706 3230 -4502 -4126 4006 3810 -3582 3678 3934 3802 -4322 -3246 3654 -3674 -3574 -3334 -4322 4278 -4542 -3862 3814 3430 -3662 -3914 4158 -4126 -3734 4362 -3634 -4362 -4018 -3974 4106 -3410 -3370 -3858 3162 -3310 4242 -3294 -3578 -3482 -4482 -4498 -3190 -4330 3962 4266 4502 -4066 -3274 4502 -4502 -3694 -3546 -3478 -3546 4470 -4178 3574 -3734 -3586 -3218 4150 -3346 -3706 -3718 -4446 -3718 3746 3594 3526 -3518 3494 3510 3850 3606 -4542 4366 3806 4078 -4154 4514 -4322 -3826 -3318 -3454 -3998 3506 3370 -3950 -3858 3810 -4014 3194 -3658 4438 -4346 3618 3418 3802 3286 -3334 3190 -4158 3870 -3710 3298 -4066 -3678 -3838 4462 4502 3942 3710 -3446 -3430 4362 -4186 4118 -4206 3766 3170 -3614 -3498 -4446 3998 -3866 -3810 3422 3586 -3906 -3706 -3542 -3650 -4286 4498 -4022 -4038 -3978 4282 -3342 3378 3698 -3190 3214 3998 -3202 4210 -4110 -3598 -4374 -3838 4434 4050 -4186 3206 3534 -3574 -3458 3610 4374 -3746 3150 -3278 -4042 -3334 4342 -4198 -3642 4246 3694 -4378 -3982 3606 -3514 4170 -3522 -4338 -3290 3150 4126 3422 -3818 3930 -3974 3338 4198 -3274 -4542 -3854 3610 -4010 3150 -4126 -3734 -4198 3866 -3198 -3390 -3890 -3366 -3546 3286 -4422 3902 4014 -3282 3278 3242 3862 3934 -3614 -4110 -4510 -4542 -4322 -3626 -4358 -3294 3202 -3818 -3810 3462 -4034 -4074 4494 -4282 3918 3910 4046 -3294 -4542 4190 -3326 4010 -3642 -3662 -3662 -3662 -3974 -3386 -4002 4102 -3302 -4446 3326 4322 -3222 -3614 -4426 4098 -4334 3150 -4334 -4502 3850 -4482 -4314 -4406 3286 4014 -3546 3586 4198 -3974 3446 -3162 3282 4502 3654 -4542 3754 -3154 3274 -4258 -3150 -3550 4038 -4266 3174 -3342 -4502 4086 4494 -3958 -3286 -4346 -3758 -3354 -4226 -4146 3530 -4398 -3930 -3586 3838 3930 -3454 3218 -4454 -3354 -3774 -3822 4490 -4258 -3858 3750 -3190 -3622 -4502 -3190 -3238 -3598 3602 -3618 -3166 -4046 -3450 -4014 -3718 4418 3190 4042 -3562 -4254 -4170 4006 -4282 -3514 -3342 -4042 -3526 -4282 -3626 -3330 -3214 4502 4238 -3258 -3222 3806 3210 -4058 -3154 -3622 3962 -4542 3590 -3370 3674 3298 -4534 4254 -3810 -3358 -3886 -3722 3274 3810 -3690 -4542 3658 -4374 -3534 -4122 4202 -3486 -4282 4422 3998 -3754 -3458 -3470 -4134 -4146 -3798 -3654 -3846 3326 -3154 -3634 -4402 -3910 -3614 3762 4310 3878 -3202 3278 -3470 -4490 -4346 -3262 4494 4282 3258 -3550 -3966 -4318 -3854 -4322 -4514 -3786 -4358 -3318 4146 3974 3270 3518 -4278 -3902 3370 4258 -3722 -3198 4534 3570 -3250 3314 -3458 3974 3450 -3654 -4422 -3154 3190 -4062 -3754 -3590 -3274 -3810 -4398 -3322 -4038 3158 -3998 3786 -4050 -4222 -4082 3686 -3254 3630 -3710 -3534 3758 3438 -3766 -4186 -4510 4298 -4026 4390 3354 3862 3262 -3970 3770 4038 -3406 4254 -4146 -3194 3754 -4466 -3974 4446 4462 -4266 -3150 3710 -4354 -3162 -3826 -4146 -3770 3886 -4050 -3622 -4386 -4038 -4262 -3170 3254 -4306 -4522 3206 4118 4006 -4502 -4430 -3610 3718 -3786 4406 3290 -4018 3930 -4294 3866 3606 3338 -4526 -4014 3190 -3654 -3210 -4530 -4098 -4334 -4542 4422 4190 3874 4266 -4358 3790 4038 4542 -4346 -3742 4206 4070 4042 -3190 -3842 -3294 3150 -3722 -4302 -4222 3822 -3190 -3890 -4394 -3786 4502 -4190 3654 -4462 4250 4310 4170 3150 3802 -3966 -3890 -4542 -4306 4174 4214 -3334 -3902 -3994 3966 4374 -4042 3450 -3162 -4158 -3762 3810 -3810 -3342 -4350 3150 -3766 4046 -3222 -3210 3190 -3274 3470 3950 -3190 -3966 3182 -4502 -4158 3214 -4462 3246 -4322 4174 3222 -4062 -4234 -4482 4086 3910 -4414 -3806 4114 -4538 -4486 -4362 -3590 3662 -4346 3266 4050 -3546 4030 3966 -3810 -4138 3706 -3298 3242 -3210 -3210 -3478 3538 -3198 -3522 -3254 -3626 -3926 3590 -3546 -4390 -4290 -3430 3270 3974 -3938 -4058 -4098 -3490 -3546 -3278 3734 -3418 -4386 -4002 -4118 -3726 3406 -3822 4138 3238 3550 -4066 4158 3458 -3774 -3614 3966 -3622 -3190 -3626 3842 -3974 -3842 4106 3282 -3166 3370 -3170 -3166 3846 3858 3306 3578 4158 3190 -4170 -3666 -3978 -4542 -3290 4142 3726 4310 -3582 3722 3722 3938 -3974 -3738 4338 -3274 -3626 4070 4278 3746 -4270 3910 3282 -4474 -3258 -4138 -3822 4198 3190 4538 -3222 -4310 -4502 -3622 -3402 3642 4486 3770 -3614 -3322 -4270 -3190 -3626 3766 3238 -4286 3962 -4366 3494 4158 4078 -4538 4486 -3974 4298 3726 3986 3150 3294 -3422 -4502 -3526 3190 4126 -3158 4170 4242 4226 4226 -3362 4106 3198 4118 3358 4522 -4322 -4542 -4462 4350 -3186 -3670 4082 -3774 -4334 -4306 4374 3870 -3770 3642 3798 -3662 -4146 4110 3618 -3838 -3510 -3198 -3210 -4486 3826 3298 3850 4070 -3490 4038 -3670 -3718 4282 3622 -3590 -3198 -4066 -4150 -3242 -3290 -3190 -4298 -3722 -3838 -3510 3970 3570 -4194 4006 -4542 4334 -3426 -3582 -4206 4130 -4070 3370 -3286 3346 -4306 -3982 -3210 -3202 -4126 -3578 3298 4382 4014 -4138 -3478 3346 -3450 -4146 -3262 3830 3282 -3838 -3930 -4490 -4510 -4014 -4498 -4458 -4474 3314 -4006 -4106 -3794 -4006 3706 -3710 -3694 -4522 -4370 3634 -3534 -4234 -3330 -4410 -3614 4106 -3942 -3242 3378 -4030 -4338 3322 -3550 3474 -4214 -3502 3590 -3206 -3222 3874 3762 -3190 -4078 -3510 -4522 -3318 -3622 -3386 -3318 -3622 4518 3670 3762 -4114 -4182 -3622 4198 -3486 3206 4030 -3534 3442 -4502 -3178 -3286 -4310 4130 -3654 3858 3374 -3590 4502 3190 3746 -3770 -3250 3598 3190 4478 -3190 -3878 4462 3658 -3154 4422 3278 -3674 -4422 4194 -3246 -4534 -3190 -4542 3314 4522 -3622 3862 3330 -4306 -3518 3558 -4542 -3274 -4542 4514 3578 3334 3822 -3286 4142 4322 -4338 -3890 -4126 -4066 -3734 3862 -4302 -3462 3798 -3674 4006 -4090 3790 -3394 -3798 3458 -3150 -4502 3626 4542 4494 -4418 4118 3998 3502 -4086 -3282 -3302 -3386 3602 -3954 -4334 -4086 -4402 -3914 3390 3418 -4502 4030 -3646 -4094 -4154 3414 -3150 -3214 -3170 -3190 -3426 3238 4454 3510 4254 -3318 3866 4278 -3350 -4006 3974 3226 3558 -4098 -3878 4006 3830 3150 -3974 -4462 4086 -3590 3314 -4174 3518 -4366 -4226 4086 -3150 3950 -4410 3926 -4322 -3254 -3402 3714 3478 -4502 -3902 3938 3390 -3446 -4170 -3482 -4466 -4266 -3150 -4114 4282 -3598 -4186 -4542 4458 -3322 -3582 -3714 3306 -4386 3754 -3870 -3674 3630 -4134 -3666 -3534 -3558 3730 3210 3998 -4462 -4470 -4378 -3494 4282 3278 4106 4082 3190 -3238 3322 -4374 -4014 -3586 -4534 3942 -4474 -3862 -3422 -3238 -3578 3226 4178 -3386 -4014 -4126 -4186 -4434 3626 -3594 3866 3406 -4430 4018 3974 3190 -4106 4082 -3314 -3150 -4246 -3586 4338 4002 3178 -3694 3326 -3954 -3726 -3554 -3974 4394 -3894 -3150 4154 -3182 3966 3406 3190 -3230 -3170 -3190 -4270 -4542 3766 -4198 -3758 -4046 -4158 4502 4478 -3826 -3450 3678 -4542 -3810 3902 -3838 -3638 4458 -4542 4226 4482 4470 -4542 3266 3374 -3254 -3366 -4278 -4362 -3654 3494 3518 4102 3290 -3934 -3190 4250 -3150 4162 -3514 -4014 -4218 -3258 3566 4134 -4046 4370 -3394 3350 -3986 -4102 -3326 -3942 3338 3250 -4246 -3346 3698 3954 -3514 -3814 4266 -3546 4450 3714 4050 -3674 -3738 -4394 -3294 3534 -3474 3258 -4090 -4202 4274 -4186 4502 -4010 3714 -4066 4078 -3198 -3626 -3594 4166 4350 -3994 -3550 -3942 4242 -3590 -4534 3402 -4198 -3786 -3294 3326 3958 4498 3514 -3158 -4542 4226 3746 3746 -4482 4502 -3802 -3194 -4270 4082 3862 -4542 3374 4530 -4414 3614 -3758 -3874 4210 -3190 3386 -4286 -3910 3590 -3898 -3954 -4542 4542 -4542 -4346 4402 -3686 -3578 -4474 4042 -4206 3634 -4494 3830 -3982 3162 3346 4086 -3158 3782 3622 3582 3710 3222 -4094 4222 4002 3602 -3190 3990 3250 -3374 -3858 -4186 3826 -4250 -3190 -3562 -3326 3686 -4322 4370 3922 -3254 -3354 4474 -3490 -4542 3382 4410 -3522 -3378 -3966 -4542 -3150 4030 -3414 -4266 3950 3614 -3326 -3574 3842 4482 -3422 3966 4318 -3338 4462 -3582 -3990 4038 3238 4238 -3262 -3258 4118 -3798 -3478 -3338 3814 3690 -4066 -4394 -4082 -4222 3478 -3278 -4022 -3526 -3398 -3954 -4334 -4510 3150 3170 3730 -4314 3326 -4394 3598 -3474 -3554 3494 3550 3150 -4502 -3870 -4238 -3330 -4398 4066 -4326 3766 -3642 4042 3150 -4158 -3390 -3278 -3834 -3718 3854 3546 3162 -3594 -3390 -3310 -3714 -3698 -4118 -4014 -3230 -3550 3858 -3974 3778 3710 3850 -4502 -3766 3862 -3914 -4294 3622 -4362 -3310 -4542 -3150 -3818 -4318 -3466 3870 4158 -4170 3158 3190 -4126 4046 3914 -3150 4438 -3326 -4158 3998 -3262 3430 -3998 -3606 -4014 -4434 -4322 4450 -3586 -4146 4470 3378 3770 -3758 3270 -3706 -4514 -3386 -4158 -3510 3626 4386 3646 4114 -4450 -3426 4058 -3294 -3514 -3634 3150 -3846 -4474 -3702 -4350 4542 3614 -4134 -3602 -3542 -4374 3382 3326 3902 -3358 -3794 3190 -4014 3574 -4266 -3706 4482 -3502 -4454 -3714 3654 -3410 -4402 -3878 -3826 -3934 4178 -3998 -3970 -3730 -3294 -3518 3786 3826 -3894 -3882 -3666 -3150 4114 4038 -4062 3286 -3714 -3754 3894 -3582 -3386 4534 -3426 -3622 -4098 -3550 -4502 -3790 -4422 -3250 3566 3554 4242 -4306 3970 3538 -3586 4030 -3378 3190 3434 3770 4450 -4082 3350 -3882 -3466 3206 3254 -3298 -4450 3350 3578 -3198 -3750 3974 -3990 -4002 -3706 -3150 3442 -4270 -3758 3538 -3810 3810 4242 -3174 -4346 -3582 -3950 4310 3794 -3262 -4542 4510 -3406 -3746 -3490 -4178 4042 -4454 -3326 -3226 -3374 -3590 -3706 4318 3766 4362 -3218 -3158 -3974 -4362 4374 3686 -4370 3810 4218 3806 3874 4070 3150 -4226 -3842 3934 -3182 -3926 -4506 -4494 -4394 -3702 3930 -3722 3202 -3558 3326 -3158 4166 -4410 3150 4046 -3286 -4210 4474 -3994 3634 -3838 -3186 -3390 -4250 -4418 4418 3566 3850 4094 -3942 -3574 -3586 3350 3318 -3806 -3302 -4510 3666 3890 3378 -3210 -4422 -3762 -4158 4106 -3410 -4274 -3990 -4090 4078 3462 -3302 3366 -4354 -3622 3738 -3982 -3722 3182 -3854 4466 -4474 -4206 -4522 3326 -4422 3258 -4362 -3614 3150 -3582 -3314 -4362 -4130 3206 -4358 -4010 3714 -3846 -3646 3614 3958 4010 -4194 3810 3690 -3198 -3238 4358 -4290 4486 -3986 -3506 -4542 3150 3286 -4502 3310 -3870 3798 -3622 -4210 -4106 -4334 -4018 -3598 -4090 -3810 4050 -3238 3622 4302 3366 -3346 3858 3406 -4014 -3446 -3234 -3314 -3182 -4078 4270 -3974 4290 3826 -4282 -4462 4302 3202 -4422 -3902 -3974 -4362 -4282 -3590 -3262 -3950 -3994 4430 3670 -3986 3270 3334 3590 -3614 3490 -4218 -4158 -4542 3238 -4278 -3390 3878 -4238 -4014 -3210 -4014 3722 4502 -3674 4322 3162 4306 -4298 4422 -4482 -3974 -4542 -3742 -4542 -3370 -3618 4170 -3586 -4278 -3526 -4026 -4174 3330 3950 3486 -3246 3230 -3702 -4022 -3350 3770 4030 3842 4478 -3550 3150 3198 3838 3934 3990 -4502 -3190 3718 3758 -3330 -4202 -4366 3354 -3694 3730 3150 -4182 -3762 -4330 4542 3990 -3422 3850 4202 -3622 3750 -3446 3990 -3942 3810 3670 3854 3150 -3926 -4522 -3982 -4494 3774 -4422 4430 4406 4434 -3470 4214 -3306 -3954 -4334 3430 -4338 3942 4362 -4406 4098 -4074 -3510 -4482 3766 -3450 4542 -3974 -3438 -3598 3426 3690 3818 -3470 -3270 -4074 4458 3614 4118 -3258 3482 3566 -3174 3218 -3438 3326 -3182 3282 -4210 -4198 3698 -4542 3850 4282 -3246 -3350 3190 -3526 -3550 -3950 -3642 -3170 -4130 -3534 -3214 4242 3350 -3434 -3758 -4306 3470 3218 4042 -3678 3210 3218 -4518 4542 -3270 -3586 -3430 3990 -4146 -3990 3366 -4134 3774 3926 -3358 -3702 -4230 4454 -4502 -3718 3830 -4282 -4542 -3578 -3674 -3598 3330 -3178 -4026 -4246 -3638 -3586 4170 -4478 -4346 -4162 -3198 -4322 3734 4058 4122 4290 -4422 3190 4466 -4542 -3822 -3710 -4422 -4502 -4346 4070 -4414 -3370 -3166 3362 3678 4050 3334 -4230 -3998 4258 -4002 -3234 -4378 -4502 -3498 -3250 -4314 4062 4438 -4478 -3522 3378 4378 -3602 -4502 3230 3330 -3242 -4446 3978 -4278 -4378 -3762 3310 -3722 4118 -4146 -4462 3550 3610 -4522 -3766 4266 -4502 3926 3902 3798 -3410 3374 -4346 -4070 -4486 4482 -3614 3506 3254 -4482 3782 -3226 -3482 -4414 -3862 -4158 3314 -4222 -3406 -3550 -4414 -3802 4190 -3554 -3522 -3422 3598 -4002 -4362 -3934 3186 3202 -4206 -4074 -4010 3574 4406 3150 3790 -4374 -3250 3202 3314 -3926 -3518 -3518 -4362 3866 -3418 -4106 3818 -4542 4294 4418 -3462 3690 -4422 4342 3826 -4014 3602 4042 -3262 -3250 -4386 3198 -4326 4010 -3878 4414 4434 -4374 3978 -3582 -4382 -4182 3566 -3810 -3718 -3170 -3382 -3718 -3482 -3706 -3714 -4350 -3154