Name | csp/fapp/fapp39/ normalized-fapp39-2750-5.xml |
MD5SUM | d08e5d47ef9f1649c292e6df05982746 |
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 | 1265 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2750 |
Number of constraints | 23154 |
Maximum constraint arity | 2 |
Maximum domain size | 502 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 23154 |
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:3568 -3400 3612 -3512 3316 3720 -3520 -3340 3000 -3160 -3236 3532 -3300 -3124 3188 -3900 3288 3464 3500 3772 -3960 -3404 -3824 -3000 -3436 -4000 3340 -3576 -3740 -3960 -3120 -3764 3740 -3148 -3256 3248 -3072 3392 -3000 -3612 -3632 -3068 3276 -3644 -3960 -3796 3360 -3004 -3492 3508 -3456 -3864 -3276 -3264 -3660 -3508 -3192 3000 -3564 3116 -3836 -3552 -3316 -3864 -3000 -3288 -3892 3376 -3424 -3404 -3680 -3788 3820 -3656 -3192 -3512 -3324 -3952 -3516 -3460 3712 -3804 3380 -3316 -3376 -3724 -3108 -3364 -3328 -3620 -3456 -3260 -3960 -3916 -3568 3424 3724 3612 -3092 -3000 -3340 -3040 -3244 -3692 -3104 -3216 -3696 -3888 -3000 -3640 -3520 -3068 -3364 -3896 -3724 -3068 3880 -3568 -3960 -3508 -3892 -3960 -3120 3148 -3288 -3792 -3960 -3548 -3116 -3708 -3932 -3564 3796 -3836 -3728 -3772 -3040 -3728 -3692 3768 -4000 -3440 -3752 -3400 -3648 -4000 -3504 -3844 -3752 -3012 -3888 -3180 -3292 -3864 -3988 -3852 -3140 -3920 -3660 -3460 -3008 -3748 -3420 -3876 -3464 -3472 -3484 3040 -3056 3340 -3832 -3040 3000 -3748 3416 4000 -3112 -3320 3900 -3040 -3068 -3280 -3096 -3788 -3468 3128 -3724 -3072 -3044 -3284 -3924 -3644 -3928 -3960 -3352 -3024 -3404 -3608 -3448 -3708 -3568 -3740 -3040 -3964 -3844 3768 -3772 -3540 -3488 -3216 -3196 -3000 -3304 -4000 -3356 3920 -3960 -3832 -3344 3000 -3228 3504 3844 -3144 -3660 -3000 -3296 -3660 -3480 -3960 -3136 -3120 3828 -3768 -3936 -3192 -3888 -4000 3812 -3500 -3556 -3904 -3096 -3544 -3756 -4000 -3008 3340 -3000 3252 -3708 -3832 -3928 -3764 -3584 -3368 3160 -3204 -3492 -3868 -3232 -3096 -3848 -3040 -3504 -3384 -3156 -3324 -3580 -3100 -3968 -3960 -3244 3016 -3576 -3320 -3628 -3248 3108 -4000 -4000 -3348 3320 -3792 -3636 -3344 -3960 -3064 -3196 -3416 -3756 -3860 3200 -3924 -3132 -3052 -3380 -3228 3284 -3028 3444 -3848 3424 -3484 -3772 -4000 -3696 -3684 -3616 -4000 -3692 -3960 -3740 -3660 -3688 -3084 -4000 -3612 -3732 -3940 3632 -3992 -3064 -4000 -3300 -3876 -3228 3044 -3960 -3468 -3932 -3236 3000 -4000 -3728 -3960 3428 -3960 -3844 3484 3612 -3824 -3520 -3056 -3652 -3040 -3872 3552 -3268 -4000 -3148 -3268 -3192 -3960 -3068 -3648 -3552 3436 -3884 -3340 3984 -4000 -3488 -3308 -3064 -3764 -3416 -3232 -3548 3824 3644 -3996 -3524 -3828 -4000 -3276 -3676 3652 -3892 -3924 3000 -3832 3876 4000 -3424 -3672 -3392 -3044 3212 -3496 -3636 -3312 -3196 -3528 -3760 -3960 -3960 -3280 -3276 -3288 -3028 -3696 -3376 -3884 -3072 -3160 -3796 -3700 -3568 -3124 -3288 -3544 3676 -3092 -3760 -3052 -3040 3580 -3064 -4000 -3552 -3044 -3328 3220 -3156 -3252 -3712 -3376 3392 -3996 -3608 -3356 -3516 3628 -3744 -3056 -3108 -3220 -3104 -3048 -3556 3104 -3176 -3792 -3172 -3024 -3404 -3632 -3164 -3396 -3588 -3492 -3756 -3492 -3280 -3588 -4000 -4000 -3524 -3216 -3564 -3696 -3400 -3244 -3816 -3960 -3344 -3332 3608 -3504 -3620 -3820 -3388 -3028 -3848 -3180 -3564 -3064 -3040 -3396 -3960 -3832 -3820 -3088 -3800 -3064 -3952 -3484 3036 -4000 -3124 -3304 -3540 -3120 -3700 -3264 -3572 -3236 -3192 -3152 -3344 3224 -3944 -3040 -3464 -3492 -3960 -3332 -3860 -3112 3288 -3488 -3152 -3960 -4000 -3320 -3484 -3864 -3496 3620 -3732 -3200 -3084 -3468 -3960 -3308 -3652 -3056 -3008 -3492 -3960 -3752 -3740 3272 -3600 -3960 -3564 3632 -3684 -3960 3800 -3960 -3932 -3704 -3416 -3644 3800 -3072 3448 -3600 -3764 3340 3040 -3740 -3016 -3920 -3824 -3268 -3568 -3720 -3776 3932 -3236 -3960 -3804 3200 -3328 -3960 -3248 -3924 -3052 -3840 -3480 -3508 -3400 3624 -3884 -3732 3632 3256 3076 3016 -3516 -3360 -3048 -3444 -3372 3616 -3420 -3820 -3600 -3984 -3024 -3028 -3988 -3308 -3192 -3592 -3060 -3960 -3172 -3960 -3072 -3056 -3344 -3464 -3352 -3300 -3960 -3212 -3120 3856 -4000 -3632 -3788 3216 -3456 -3040 -3888 -3000 -3680 -3192 -3048 -3160 -3024 -3988 -3088 -4000 -3436 -3740 -4000 -3600 -3904 -3760 -3232 -3168 3292 -3580 -3812 3216 -3556 -3824 3240 -3800 3312 -3240 -3276 3876 -3164 -3864 -3208 -3252 3848 -4000 -3240 -3104 -3040 -3960 -3532 -3496 -3336 -3116 -3788 3040 -3768 3404 -3408 -3048 -3460 3776 -3960 -3860 -3840 3160 -3308 3648 -3960 -3232 -3236 -3164 -3960 -3976 -3040 -3580 -3160 3588 -3256 3560 3396 -3420 -3020 3416 -3224 -3932 -3180 3184 3032 -3092 -3424 -3656 -3580 -3052 3000 -3004 3344 -3808 -3140 -3648 3412 -3560 -3040 -3048 3040 -3464 -3748 -3112 -3752 -3580 -3044 -3016 -3960 -3504 -3960 -3336 -3056 -3260 -3640 -3192 -3932 -3040 -3736 -3552 3768 -3752 -3092 -3892 -3004 -3608 -3768 -3380 -3160 -3596 -3280 3296 -3420 -3876 -3504 -3480 -3040 3356 -3004 -3004 -3024 -3676 -3860 -3748 -3196 -3728 -3352 -3152 -3028 -3048 -3568 -4000 -3436 3984 -3268 -3552 3000 -3660 3792 -3736 -3092 3020 3588 -3880 3040 3320 -3560 -3308 -3736 -3820 -3036 -3228 -3208 -3452 3048 -3940 -3528 -3056 -3560 -3716 -3872 -3696 -3696 -3164 -3848 -3036 -3268 -3076 3828 -3592 -3560 3484 -3940 3712 -3304 -3148 -3748 -3196 3444 -3340 3384 3304 3900 -3864 3788 3448 3740 3000 -3420 -3260 -3812 -3288 -3648 3000 3048 -3624 -3256 3592 -4000 -3860 -3048 -3412 -3208 -3328 -3804 -3560 -3192 -3496 -3432 -3400 3312 -3244 -3000 -3816 -4000 -3484 -3372 -3040 -3160 -3344 -3148 -4000 3016 -3560 -3316 -3000 -3980 -3296 -3124 -3084 -3892 3824 -3960 -3516 -3896 -3156 -3152 -3432 -3692 -3556 -3952 3248 -3176 -3672 -3052 3940 -3604 -3040 -3372 -3048 3556 -4000 -3068 -3068 -3532 -3280 -4000 -3736 -3412 3204 -3264 -3076 -3400 3776 -3708 4000 -3960 -3308 -3556 -3016 3436 3868 -3184 -3528 -3136 -3628 -3960 -3192 -3452 -3832 -3732 -3072 -3576 -3340 3652 -3188 -3936 -3580 -3576 -3960 -3904 3688 -3420 3040 -3444 3420 -3960 -3756 -3304 -3940 -3864 -3636 -3092 -3488 -3064 -3040 -3960 -3512 -3068 -3332 -3668 -3328 -3668 -3736 -3700 -3224 3516 -3772 -3472 -3888 -4000 -3152 -3036 -3168 -3056 -3096 -3000 -3264 -3960 -3000 -3120 -3608 -3064 -3032 -3912 -3280 -3856 -3416 -3288 3364 -3900 -3428 -3204 -3236 3000 -3928 -3456 -3332 -4000 -3960 -3684 -3660 -3200 -3196 -3312 -3424 3232 -3156 -3804 -3960 -3644 -3112 -4000 -3776 3520 -3124 3392 -3560 3000 -3652 -3604 3124 3692 -3040 -3572 3836 3220 -4000 -3044 -3348 -3452 -3748 -3128 3664 -3120 -3000 3528 4000 -3040 3700 -4000 3604 -3052 -3200 3280 -3880 -3032 -3448 -4000 3576 -4000 -3040 -3120 -3080 -3228 -3732 -3344 -4000 -3248 -3652 -3152 -3328 3208 -3920 3992 -3040 3696 -3172 -3032 -3704 -3840 3876 -3092 -3076 -3780 -3804 -3396 -3624 -3600 -3824 -3164 -3032 -3292 -3596 3856 3100 -3180 -3476 -3288 -3620 -4000 3088 3444 -3152 -3508 3608 -4000 -3080 3104 -3820 -3036 -3692 -3444 -3220 -3820 -3524 -3960 -3324 -3380 -3960 -3092 -3448 -3724 3656 -3028 3824 -3188 -4000 3172 -3764 -3960 3728 -3000 -3488 -3240 -3472 -3940 -3660 3588 -3852 -3972 3848 -3904 -3244 -3848 -3076 -3976 -3372 -3584 -3248 3556 3692 -3376 3000 -3916 -3640 -3860 -3916 -3164 3948 -3960 -3468 -3324 -3068 -3960 -3132 -3052 -3508 -3308 -3960 -3232 -3752 -3460 -3872 -3140 -3480 3040 -3984 -3260 -3440 -3252 -3788 3900 -3672 3736 -3100 -3072 -3000 -3692 -3960 -3960 -3012 3800 -4000 3804 -4000 -3404 3660 -3960 3716 3496 3428 -3056 3460 -3444 3868 -3688 -4000 -3856 3596 -3540 -3852 -3892 -3996 3604 -3864 -3952 -4000 -3476 -3676 3860 -3620 -3160 -3920 -3040 -3220 -3964 3016 3580 -3704 -4000 3332 -3960 3160 -3084 -3164 -3156 3696 -3960 3580 -3468 -3156 3288 -3384 -3352 -3744 -3888 -4000 -3276 -3268 -4000 3616 -3308 -3244 3324 -3340 -3340 -3956 -3612 -3336 -3932 -3228 3264 3960 3960 -3664 -3784 -3192 -3940 3032 -3064 -3788 -3244 3284 -3448 -3012 3680 -3260 -3936 -3328 -3844 3076 -3464 -3100 -3208 3000 -3076 -3116 -3064 3968 -3476 3560 -3996 -3712 -3816 -3296 3904 -3204 3252 -3508 -3316 3500 3524 -3008 -3928 -3960 -3640 -3628 3008 -3656 -3612 -3800 -4000 -3192 3436 -3652 -3320 -3996 -3820 -3008 -3456 -3700 -3488 -3520 -4000 -3372 -3476 -3192 -3296 -3960 3708 -3104 3960 3688 -3444 -3360 3264 3412 3380 -3488 -3664 -3048 -3956 -3152 -3092 -3856 -3628 -3072 -4000 -3304 3480 -3612 -4000 -3616 3100 -3140 -3040 -3448 -4000 -4000 -3076 -3380 3792 3428 -3900 -3020 -3436 -3320 -3000 -3136 -4000 -3908 3312 -3704 -3216 -3764 3792 -3632 -3800 -3204 -3864 -3076 3736 3696 -3948 -3264 3176 3724 -3448 -3796 -3536 -3436 -3416 -3848 -3112 3040 -3864 3672 -3092 -3960 -3196 3808 3292 -4000 -3224 -4000 -3000 3472 -3660 -3816 -3644 -3040 -3452 -3824 -3432 -3664 -3268 -3884 -3476 -3008 -3040 -3380 -3412 -3276 3312 -3144 -3972 -3808 -3924 3364 -3204 -3240 3148 -3072 -3620 -3128 -3616 -3960 3304 -3232 -3476 3748 3352 -3088 3072 -3168 -3344 -3792 -3612 -3108 -3000 -3524 -3904 -3004 3684 -3240 -3836 -3644 -4000 3768 -3392 3932 -3352 -4000 -3532 -3700 -3592 -3752 -3460 -3100 -3904 3352 -3788 -3080 -3252 -3136 -3556 -3496 -3316 -3564 -3204 -3240 -3740 3204 -3068 -3392 -3436 -3616 -3608 -3280 -3596 -3152 -3040 -3960 -3444 -3060 -3540 -3960 -3176 -3248 -3532 -3260 -3016 -3376 -3140 -3492 3000 -3152 -3040 3308 3428 -3568 -3240 -3852 -3396 -3040 -3572 -3600 -3024 3108 -3584 3120 -3068 3484 -3200 -3308 -3624 -3672 -3224 -3612 -3156 -3096 -3000 -3660 -3356 -3428 -3364 -3696 -3548 3040 -3068 -3780 -4000 3620 -3788 -3960 -3856 -3100 -3344 -3112 -3960 -3244 -3396 -3216 -3884 3484 -3016 -3956 -3008 -3096 -3060 -3796 -3988 -3608 -3304 3256 -3784 -3584 -3240 -4000 -3688 -3140 -3664 -3020 -3264 -3416 -3044 -3364 -3464 -3760 -3372 -3360 -3792 -3140 -3000 -3840 3608 -3124 -3892 -3424 -3864 3864 -3196 3356 -3080 3880 4000 -3540 -3048 -3080 -3140 -3000 -3064 -4000 3864 -4000 3804 -3192 -3872 -3960 -3960 -3080 -3312 -3040 -3408 -3276 -3176 -3508 -3048 -3228 -3324 -3272 -3656 -3436 -3140 -3676 -3520 -3280 -3240 -3716 -3504 3236 -3056 -4000 -3108 -3040 -3600 -3316 -3604 -3780 -3084 -3236 -3068 -3040 -3704 -3512 -3180 -3292 -3892 -3180 -3960 3936 -3020 -3140 -3476 3940 -3688 -3116 3892 -3832 4000 -3724 -3596 -3204 -3452 -3480 -3780 3412 -4000 -3532 -3040 -3792 -3180 -3532 3340 -3768 -3960 -3484 3036 -3368 -3900 -3576 -3616 -3032 -3484 -3456 -3960 -3536 -3408 -3664 -3864 -3764 -3404 -4000 -3240 3412 3832 -3960 3384 -3036 3784 -3640 -3604 -3696 -3944 3616 -3112 3856 -3428 -3760 3924 -3180 -3632 -3352 -3152 -3960 -3304 -3208 3900 -3184 3232 -3060 -3348 -3072 -3608 -3812 -3836 3180 -4000 3380 -3772 -3188 -3028 -3200 -3276 -3008 -3752 -3268 4000 -3484 -3556 -3572 3588 -3276 -3540 -3976 -3836 3644 -3240 -3820 -4000 -3480 -4000 -3368 -3164 -3740 -3020 -3052 3840 -3824 -3028 -3708 -3960 -3364 -3460 -3108 -3932 -3092 3780 -3300 -3744 -4000 -3496 -3960 3444 3948 3376 -3852 -3532 -3556 -3960 -3324 -3676 -3576 -4000 -3564 -3132 -4000 3140 -4000 -3600 -3256 -3040 -3652 -3656 3948 -3000 -3480 -3960 -3864 -3828 -3704 -3868 3344 3112 3276 -4000 3588 -3236 -3068 -3764 3916 -3836 -3780 -3444 -3480 -4000 -3984 -3152 -3804 -3488 -3204 -3764 -3368 -3960 3896 -3696 -3488 3572 -3904 -3528 -3984 -3264 -3180 3472 -3960 3936 -3112 3744 -3156 -3356 -3392 -3160 -3544 -4000 -3960 -3132 -3092 -3808 -3304 -3580 3956 -3960 -3220 -3908 -3896 -3888 -3384 3160 -3240 -3148 -3444 3652 -3648 3348 -3348 -3456 -3460 -3672 3000 -3300 3848 -3960 3164 3168 -3608 -3368 -3256 3380 3648 -3340 -3036 -3844 -3068 -3684 -3440 -3960 3532 3468 3384 -3684 -3520 -3312 3516 -3260 -3592 -3588 -3428 -3452 -3524 -3172 3572 3904 3456 -3976 3116 -3040 -3056 -3476 -3536 -3560 -3548 -3476 -3036 -3960 3256 -3452 -3572 -3960 -3740 3636 -3292 3180 -3200 -3060 3144 -3400 -3000 -3736 3784 -3196 -3944 -3060 -3372 -3332 -3624 -3176 -3860 -3452 -3072 -3436 -3944 -3756 -3704 3348 3136 3740 -3040 3156 -3536 3000 -3304 -3200 -3220 -3124 -4000 -3364 -3808 -3056 -3684 -3164 -3376 -3012 -3440 3768 3444 -3820 -3960 3180 -3944 -3300 -3456 3860 -3312 -3520 -3924 -3192 -4000 -3960 -3520 -3996 3784 -3108 -3556 -3824 3740 -3360 3208 -4000 -3704 3000 3448 -3640 -3524 -3320 -3912 3040 -3700 -3624 -3780 3584 -3136 -3380 -3112 -3000 -3684 -3004 3800 -3668 -3960 -3068 -3960 -3596 3608 -3956 -3000 -3232 -3908 -3040 -3152 -3828 -3460 -3884 -3856 -3120 -3328 -3592 -3844 -3244 -3304 -4000 -3184 -3316 -3696 -3204 -3056 -3292 -3944 -3904 -3544 3184 -3700 -3352 -3732 -3740 3960 -3656 3436 -3552 -3632 3620 -3780 -3960 -3444 3888 -3508 -3788 -3440 -3664 -3372 3808 -3040 -3532 3540 -3372 -3212 -3792 3352 -4000 -3392 -3332 -3516 -3512 -3612 -3816 -3684 3652 -3052 -3808 -3480 3492 -3644 3188 3732 3264 -3396 -3064 -3440 -3980 -3940 -3248 -3540 3716 -3572 -3900 3540 -3452 -3684 -3160 -3388 -3968 -3672 -3336 -3636 -3368 -3516 -4000 -3444 3592 -3600 -3392 -3784 -3520 -3716 -3904 -4000 -4000 -3960 -3648 -3324 -3040 -3700 -3032 -3688 -3480 -3804 -3632 3068 -3184 -3884 -3248 3112 3072 -3736 -3352 -4000 -3732 -3972 3564 -3348 -3860 -3656 -3144 -3876 -3180 -3396 -3964 -3692 -3960 -3716 -3700 3496 -3632 -3124 -3300 -3308 -3024 -3500 -3660 -3700 -3672 -3044 -3820 -3980 -3140 -3312 -3116 -4000 -3768 -3220 -3756 -3504 -3144 -3044 -3672 -3912 -3820 -3408 -3720 -3752 3680 -3548 -3640 -3560 -4000 -3384 -3272 -3516 -3264 -3972 -3496 -4000 -3052 -3684 -3272 3388 -3068 -3932 -3536 -3904 -3292 -3000 -3940 -3228 -3888 -3224 -3944 3896 -3364 3644 -3968 -3872 -3060 3628 -3152 -4000 -4000 3932 3864 -3520 3676 -3372 -3076 -3328 -3888 -3284 -3044 -3336 -3220 -3708 -3252 -3776 -3476 -4000 -3040 -3424 -3052 -3176 -4000 -3000 -3072 -3040 -3368 -3420 -3108 -3152 -3464 -3132 3136 -3408 -3428 -3888 -3604 -4000 -3760 3352 -3884 -3860 -3256 -3000 -3960 3016 3408 -3936 -3820 -3420 -3828 -3336 -4000 -3872 -4000 -3640 3012 -3328 3468 -3248 -3468 -3856 3260 -4000 -3928 -3380 -3948 3000 -4000 -3156 3384 -3960 -3792 -3960 -3736 -3224 -3960 -3724 3836 -3076 -3980 3624 -3116 -3944 -3484 -3788 -3444 -3612 -3948 -3724 -3252 -3424 -4000 3312 -3556 -3724 -3268 -3860 -3904 -3904 3712 -3684 -3436 -3528 3576 -3040 -3828 3536 -3960 -3192 -3664 3736 -3260 -4000 3000 -3016 3832 -3416 -3856 -3904 3684 -3712 3808 -3676 -3076 -3780 -4000 3960 -3960 -3292 -3296 -3336 -3696 -3168 -3312 -3536 -3052 3208 -3960 -3444 -3944 -3396 -3960 -3384 3652 -4000 -3512 -3716 -3264 -3468 -3456 -3960 3808 -3352 3684 -3956 -3140 -3960 -3040 -3072 -3420 3164 -3512 -3000 3308 -3960 3704 3120 -3312 -3304 -3712 -3928 -3100 -3844 -3388 -3648 -3960 -3432 -3672 -3768 -3032 -3960 -3892 -3032 -3944 -3248 -3484 -3828 -3388 -3672 -3248 -3136 -3668 -3204 3664 -3132 -3676 3536 -3204 -3664 -3484 -3280 -3324 -3808 -3700 3040 -3048 -3356 -3648 -3896 3680 -3944 -3664 -3204 -4000 3960 -3100 -3792 -3492 -3992 -4000 -3000 -3108 -4000 -3096 -3188 -3528 -3880 -4000 -3380 -3564 -3808 -3308 -3404 -3884 -3192 3568 -3700 -3000 -3804 -3960 -3960 -3280 -3644 -3632 -3288 -3740 -3404 3708 -3980 -3316 -3960 -3780 -3476 -3188 -3484 -3740 -3040 -3484 3000 -3528 3220 -3592 -3584 -3700 -3212 -3728 3652 -3428 -3384 -3036 -3648 -3076 -3396 3304 -3684 -3656 -3808 3056 -3712 -3884 3104 3272 -4000 3440 3732 -3860 -3112 -3896 -3836 -3200 3476 -3824 3700 -3040 -3336 -3200 -3340 -3052 -3096 -3172 -3232 3188 -3500 -3608 -3512 -3168 -3272 -3960 3872 3864 3216 3012 -3052 -3164 3780 -3720 -3296 -3440 -3960 -3424 -3008 -3556 -3576 -3040 3356 -3960 -4000 3480 -3268 -3280 -3852 -3392 -3928 3332 -3332 3168 -3776 -3744 -3712 -3444 -3552 3160 -3988 -3236 -3004 3856 -3880 -4000 -3900 -3812 -3108 -3824 -3896 -3332 -3108 -3040 -3680 3120 -3004 -3660 -3784 -3292 -3772 -3616 -4000 3232 -3156 -3508 -3628 3976 -3264 -3960 3980 -3960 -3452 -3640 3300 -3960 -4000 3516 -3000 -3892 -3252 -3044 -3688 -3140 3040 3332 -3704 -3604 -3860 -3276 3620 -4000 3816 3112 -3540 -3700 -3200 -3848 -3704 -3860 -3388 -3088 -4000 -3220 -3932 -3412 -3664 -3876 -3296 3948 -3944 3960 -3132 -3216 -3204 -3516 -3592 -3180 3000 -3892 3840 -4000 -3212 -4000 3000 -4000 -3696 3960 -3304 -3024 -3080 -3524 -3208 -3752 3588 -3900 -3308 -3484 -3076 -3272 3768 -3196 -3964 -3904 -3220 -3224 -3780 -3832 -3356 3000 3332 3844 -3492 -3200 -3288 -3388 -3436 -3520 -3828 -3440 3684 -3972 3000 -3376 -3140 -4000 -3528 -3172 -3728 -4000 -3464 -3672 -3624 3040 3024 -3292 -3436 -3080 -3432 -3932 -3044 -3548 -3744 -3876 -3080 -3648 -3068 -3348 -3956 -3280 -3864 3212 -3712 -3124 -3600 3824 -3224 -3464 -3944 -3072 -3132 -3208 -3796 -3720 -3040 -3960 -3120 -3576 -3028 -3912 -3748 -3168 -3520 -3464 -3072 -3000 3040 -3476 3136 3276 -3064 -3844 -3844 -3256 -3164 -3004 -3656 -3108 -3332 -3236 -3548 -3076 -3512 -3960 -3112 -3028 -3604 -3796 -3960 -3440 -3048 -3356 -3800 3292 -3908 -3060 -3160 -3320 -4000 3780 -3256 -3120 3760 3492 -3724 -3260 -3896 -3960 -3432