Name | csp/fapp/fapp39/ normalized-fapp39-2750-3.xml |
MD5SUM | 19abf0750b237395707bd7efde90eb33 |
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 | 643.335 |
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) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 ESAC (complete) | 2097790 | SAT | 643.335 | 643.952 |
Abscon 112v4 AC (complete) | 2097789 | SAT | 693.789 | 700.392 |
SAT4J CSP 2.1.1 (complete) | 2083263 | ? | 0.561914 | 0.673862 |
Sugar v1.14.6+picosat (complete) | 2083269 | ? | 536.669 | 550.219 |
Sugar v1.14.6+minisat (complete) | 2083270 | ? | 555.472 | 567.911 |
Concrete DC 2009-07-14 (complete) | 2083267 | ? | 626.115 | 629.687 |
bpsolver 09 (complete) | 2083273 | ? (exit code) | 10.7284 | 10.8327 |
Concrete 2009-07-14 (complete) | 2083266 | ? (exit code) | 923.649 | 928.493 |
Mistral 1.545 (complete) | 2083272 | ? (TO) | 1800.05 | 1804.72 |
pcs 0.3.2 (complete) | 2083264 | ? (TO) | 1800.1 | 1803.96 |
Choco2.1.1 2009-06-10 (complete) | 2083268 | ? (TO) | 1800.12 | 1807.36 |
pcs-restart 0.3.2 (complete) | 2083265 | ? (TO) | 1800.17 | 1810.36 |
Choco2.1.1b 2009-07-16 (complete) | 2116806 | ? (TO) | 1800.19 | 1804.42 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:3552 -3392 3604 3524 3332 -3712 3508 3324 3000 3176 -3236 -3496 3288 -3060 3172 -4000 3292 3472 -3500 -3760 -3960 -3404 -3724 -3000 3412 -4000 3304 -3576 -3732 -3960 3104 -3756 -3732 -3184 -3248 -3236 -3048 -3376 -3020 -3596 -3616 -3088 -3240 -3624 -3616 3812 -3352 -3040 -3484 3552 -3464 -3860 -3252 -3244 -3644 -3496 -3184 3040 -3556 3152 -3912 -3564 -3296 -3764 -3000 -3304 3904 -3396 -3396 3384 -3752 3768 -3852 3648 -3164 -3504 -3300 -3932 -3536 -3456 3712 -3800 -3364 -3300 -3368 -3716 -3128 -3352 -3324 -3612 -3444 -3248 -3960 -3912 -3568 3420 -3720 3604 -3056 -3000 -3328 3040 -3224 -3676 -3020 -3200 -3684 -3884 -3000 -3632 -3520 -3056 -3360 -3904 -3716 -3076 3872 -3576 -3960 -3500 -3888 -3972 -3088 3132 -3272 -3868 -3960 -3532 -3120 -3700 3928 3540 3744 -3832 -3720 -3752 -3040 -3760 3672 -3820 -4000 -3424 -3744 -3388 -3636 -4000 -3492 -3804 -3908 -3092 -3880 -3188 -3292 3856 -3976 -3844 -3132 -3920 -3648 -3448 -3000 -3720 -3420 -3872 -3452 -3460 -3472 3476 -3028 -3328 -3828 -3040 3000 -3740 -3408 3904 -3116 -3308 -4000 -3016 -3068 -3316 -3084 3780 -3456 -3116 -3708 3072 -3020 -3276 -4000 -3636 -3924 -4000 -3328 -3236 -3388 -3616 -3444 -3712 -3556 -3732 -3060 -3960 -3864 -4000 -3764 -3524 3484 -3196 3168 -3056 -3296 -4000 -3336 3888 -3960 -3824 -3328 3000 -3212 -3488 -3980 -3116 3660 -3004 -3276 -3652 -3468 -4000 -3140 -3088 3808 -3760 -3960 -3168 -3884 3996 3800 -3484 -3552 -3804 -3076 -3528 -3756 -4000 -3000 3324 -3044 3240 -3692 -3820 -3924 -3760 -3572 -3352 -3200 -3216 -3476 3868 -3204 -3104 -3844 -3040 -3492 -3360 -3156 -3308 -3568 -3092 -3916 -3960 -3228 3008 -3564 -3292 -3616 -3232 -3168 -4000 -3840 -3328 3308 -3784 3612 -3324 3880 -3044 -3164 -3404 -3784 -3860 3184 -4000 -3112 -3040 -3368 -3204 3288 -3000 3428 -3884 -3400 3476 -3760 -3944 -3696 -3680 -3608 -3960 -3692 -3960 -3724 3660 -3676 -3056 -4000 -3604 -3724 -3936 -3628 -3988 -3032 -4000 -3260 -3872 -3260 -3000 -3960 -3456 -3928 -3216 3000 -4000 -3724 -3960 3436 -3960 -3716 3468 -3608 -3816 -3508 -3048 -3644 -3060 -3864 3528 -3252 -4000 -3208 -3248 -3196 -3960 -3088 -3576 -3536 3424 -3960 -3324 3984 -4000 -3472 -3292 -3048 -3760 -3488 -3216 -3536 3816 -3640 -4000 -3516 -3820 -4000 -3308 -3668 -3668 -3884 -3920 3040 -3828 3868 -4000 -3412 -3652 -3380 -3048 3212 -3484 -3636 3296 3148 -3608 -3772 -3960 -3620 -3272 -3272 3276 3064 -3688 3356 -3880 -3048 -3132 -3792 -3692 -3580 -3104 -3276 -3536 3664 -3076 -3740 -3044 -3040 3564 -3060 -4000 3544 -3000 -3312 3208 3128 -3168 -3708 -3376 -3380 -3996 -3596 -3340 -3508 3624 -3748 -3060 -3104 -3208 -3084 -3044 -3548 -3084 -3164 -3784 -3172 -3008 -3384 3624 -3152 -3380 -3576 -3480 -3748 -3476 -3276 -3580 -4000 3920 -3516 -3196 -3556 -3672 3456 -3228 -3812 -3960 -3348 -3316 3596 -3496 -3616 3816 -3396 3048 -3844 -3168 -3552 -3196 -3072 -3388 -3952 -3828 -3816 -3136 -3792 -3048 -3948 -3464 -3040 -4000 -3108 -3292 3528 -3108 3688 -3256 -3556 3232 -3192 -3148 -3352 3196 -3940 -3000 -3464 -3480 -3820 -3316 -3848 -3116 -3300 -3480 -3156 3928 3992 -3292 -3472 -3852 -3484 -3604 -3732 -3192 -3084 -3460 -3960 -3288 -3648 -3040 -3004 -3480 -3960 -3740 -3724 3280 -3588 3956 -3556 -3616 -3672 -3960 3788 -3960 -3960 -3704 -3408 -3644 3816 -3056 3504 -3588 -3756 -3328 -3040 -3728 -3000 -3920 -3828 -3264 -3556 -3700 -3756 -3928 -3216 -3960 -3776 3204 -3300 -3960 -3232 -4000 -3020 3836 -3512 -3496 -3388 -3612 -3940 -3732 -3636 -3256 3064 3060 -3504 -3352 -3036 -3420 -3376 -3604 -3408 -3808 -3604 -3944 -3008 -3008 -3984 -3304 -3180 -3584 -3052 -3960 -3160 -3992 -3072 -3044 -3328 -3468 -3356 -3292 -4000 -3196 -3116 -3880 -3968 -3624 -3784 3228 3444 -3000 -3892 -3116 -3676 -3136 3000 -3140 3256 -3984 -3040 -4000 -3424 -3736 -4000 -3592 -3904 -3764 -3236 3164 3276 -3564 -3808 -3192 -3556 -3820 -3224 -3812 -3304 -3228 -3256 -3912 -3100 -3864 -3204 -3220 -3852 -3960 -3248 -3156 -3084 -3960 -3516 -3504 -3312 -3076 -3784 3040 -3760 -3420 -3396 -3032 -3448 3792 -3960 -3892 -3820 -3148 -3324 -3712 -3944 -3208 -3188 -3144 -4000 -3956 -3040 -3576 3156 3604 -3236 -3548 3384 -3408 -3012 3396 -3220 -3944 -3172 3164 -3568 -3076 -3424 -3624 -3568 -3052 3040 -3060 -3376 -3796 3140 -3632 3428 -3540 -3040 -3040 -3044 -3452 -3748 -3116 -3752 -3572 -3056 -3000 -3960 -3424 -3932 3336 -3040 -3232 -3632 -3184 -3960 -3000 -3728 -3552 3768 -3676 -3076 -3852 -3040 -3596 -3756 -3364 -3192 -3588 -3260 -3296 -3408 -3876 -3496 -3468 -3048 -3344 -3016 -3008 -3008 3672 -3852 3740 -3176 3724 -3336 -3136 -3100 -3036 -3560 -4000 -3424 4000 -3252 -3544 3000 -3652 3788 3812 -3060 -3012 -4000 -3876 3040 3276 -3544 3212 -3716 -3812 -3012 -3220 -3192 3428 -3032 -3932 -3520 -3044 -3572 -3724 -3868 3680 -3692 -3136 -3872 -3012 -3256 -3000 -3828 -3584 -3548 3476 -3940 -3704 -3284 -3480 -3740 -3176 3432 -3324 -3452 -3288 3904 -3864 -3788 3432 3732 3000 -3416 -3252 -3792 -3272 -3636 3000 3176 -3616 -3216 3576 -4000 -3848 -3112 -3404 -3200 -3308 -3804 -3548 -3164 -3488 -3420 -3384 -3316 -3260 -3516 -3832 -4000 3452 -3368 -3092 -3152 -3320 -3152 -4000 3032 3556 -3292 -3008 -3972 -3288 3104 3064 -4000 -3812 -3960 -3504 -3896 -3136 -3128 -3420 -3684 -3548 -3944 3236 -3180 -3664 -3036 3932 -3596 -3040 -3364 3000 -3544 -3960 -3064 -3044 -3532 -3268 -4000 -3720 -3408 -3220 -3252 -3052 3392 3768 -3704 -4000 3952 -3300 -3544 -3024 3416 3864 -3168 3512 -3120 -3960 -3924 3180 -3520 3824 -3724 -3064 -3560 -3332 3644 3232 -3940 -3576 -3564 -3960 -3904 3688 -3400 3040 -3436 3404 -3960 -3748 -3280 -3936 -3872 3636 -3092 -3472 -3052 -3040 -3960 3512 -3016 -3324 -3672 -3312 -3664 -3732 -3692 -3204 3504 -3772 -3464 -3880 -4000 3176 -3020 -3168 -3024 -3120 -3032 3244 -4000 -3040 -3108 -3608 -3068 -3028 -3908 -3448 -3892 -3388 -3276 -3352 -3896 -3424 -3192 3228 3040 3928 -3448 -3328 -3880 -3960 3676 -3652 -3184 -3180 -3296 -3096 -3204 -3136 -3800 -3972 -3636 -3100 -4000 -3780 -3532 -3096 -3388 -3548 3000 -3636 -3580 3124 3708 -3056 3560 -3852 -3192 3932 -3016 -3332 -3436 -3732 -3212 3660 -3136 -3044 3512 3952 -3064 3692 -4000 -3592 -3132 -3164 -3264 -3908 -3008 3448 -4000 -3572 -4000 -3040 -3044 -3060 3212 -3728 -3360 -4000 -3236 -3644 -3136 -3344 3252 3924 3972 -3040 -3676 -3152 -3020 -3692 -3856 3876 -3072 3052 -3768 -3796 -3384 3616 -3600 -3828 -3148 3024 -3272 -3596 -4000 3152 3156 3464 -3268 -3612 -3916 3076 3436 -3100 -3500 -3672 -4000 3076 -3084 -3812 3028 3676 -3432 -3224 -3804 -3516 -3960 -3312 -3372 -3960 -3000 -3440 -3712 3632 -3116 3816 -3172 -4000 3128 3764 -3960 3720 -3024 -3476 -3236 -3468 3936 -3644 -3584 -3848 -3968 3840 -3908 -3240 3844 -3080 -3960 -3364 -3576 -3236 3576 3692 -3368 -3036 -3904 -3644 -3856 -3912 -3156 -3944 -3960 -3472 -3312 -3040 -3956 -3132 -3056 -3500 3288 -3960 3208 3748 -3440 -3872 -3148 3476 -3040 -4000 -3248 -3424 -3232 -3780 -3888 -3660 -3736 -3140 -3000 -3000 -3684 -3960 -3960 -3016 3800 4000 3800 -3960 -3392 3648 -3960 3692 3476 -3432 3040 -3448 -3428 -3876 -3680 3780 3852 3592 -3532 -3812 -3884 -3992 -3600 -3836 -3960 -4000 -3464 -3676 -3864 -3616 -3164 -3912 -3056 -3172 -3960 3000 3568 -3696 -4000 3336 -3960 3164 -3068 -3152 -3140 3664 -3960 3572 -3460 -3144 -3264 -3388 -3336 -3740 -3880 3920 -3336 -3252 -4000 3608 -3288 -3256 3328 -3332 3324 -3952 3596 -3328 -3924 -3224 3252 -3960 3960 3660 -3776 -3192 -3960 3000 3044 -3788 -3228 3260 -3452 3060 -3676 -3240 -4000 -3304 -3840 -3052 -3452 -3068 -3276 3000 -3068 -3124 -3048 3964 -3464 3552 -3992 -3700 -3812 3176 3912 -3176 3312 -3492 -3308 -3492 -3504 -3040 -3920 -3960 -3632 3620 -3024 -3648 -3600 -3796 -3960 -3236 -3428 -3640 -3304 -3960 -3876 -3152 -3436 -3688 -3480 -3472 -3896 -3356 -3468 -3200 -3284 -3960 3704 -3096 -3960 3688 -3436 -3332 3296 3388 3364 -3476 -3652 -3052 -3952 -3140 -3092 3864 3644 -3076 -3580 -3280 3456 -3604 -4000 -3608 3140 -3128 -3000 -3424 -4000 -4000 -3112 3364 3788 -3420 -3872 -3084 -3428 -3300 -3048 -3116 3908 -3904 3320 -3720 -3280 -3748 -3808 -3620 -3800 3188 -3860 3060 -3740 3688 -3948 -3292 3148 3716 -3436 -3872 -3528 3420 -3404 -3844 -3088 -3008 -3764 -3672 -3000 -4000 -3104 3780 3292 3972 -3204 -4000 -3000 3468 -3644 -3852 -3636 -3044 3428 -3820 -3412 -3652 -3284 -3904 -3484 -3072 -3040 -3364 -3400 -3256 3292 -3120 -3964 -3808 -4000 3348 -3268 -3232 3192 -3052 -3608 -3128 -3600 3936 3288 -3232 -3460 3752 3348 -3072 -3056 3168 -3312 3792 3604 -3024 -3000 -3512 -3876 -3040 -3600 -3244 -3832 -3640 -4000 3756 -3380 3924 -3340 -4000 -3520 -3684 -3584 -3744 -3448 -3092 -3900 3344 -3788 -3088 -3236 -3120 -3540 -3492 -3304 -3552 -3216 -3208 -3728 -3196 -3208 -3376 -3432 -3592 -3616 -3268 -3588 -3140 -3000 -3960 -3432 3000 3528 -3960 -3156 -3236 -3528 -3240 -3056 -3348 -3128 -3488 3100 -3124 -3040 -3304 3404 -3568 -3408 3836 3372 -3000 -3564 -3596 -3012 3056 -3568 3128 -3088 -3476 -3192 -3296 -3624 -3664 -3216 -3608 -3156 -3080 -3000 -3648 -3340 -3408 -3364 -3696 -3540 -3044 -3044 -3788 -4000 -3608 -3780 -3960 3852 -3128 -3324 -3088 -3960 -3220 -3376 -3224 -3876 -3476 -3064 -4000 3012 -3068 -3052 -3788 -3984 3520 3268 3268 -3772 -3576 -3240 -4000 -3676 -3108 -3660 3000 -3244 -3404 -3008 -3344 -3456 -3756 -3356 -3348 -3788 -3132 -3080 -3840 3620 -3064 -3892 -3420 -3812 -4000 -3116 3348 -3052 3880 -4000 -3528 -3000 -3052 -3128 -3000 -3044 -3892 -3860 -4000 -3804 -3152 -3860 -3960 -3960 -3056 -3296 -3020 3392 -3256 -3232 -3496 -3064 -3212 -3328 3256 -3648 -3444 -3180 -3684 -3508 -3256 -3216 -3712 -3496 3268 -3072 -4000 -3128 -3040 -3588 -3336 -3596 -3776 -3060 -3280 -3064 -3120 -3696 -3504 -3132 -3272 -3900 -3320 -3960 -3948 -3012 3132 -3456 -3960 -3684 -3120 -3884 -3828 3964 -3724 -3584 -3184 -3444 -3468 -3772 -3396 -4000 -3520 -3040 -3788 -3168 -3520 -3340 3752 -3960 -3476 3072 -3352 -3900 -3568 -3600 -3012 -3472 -3432 -3992 -3524 -3384 -3656 -3856 -3764 -3400 4000 -3220 3392 -3828 -3948 -3380 -3040 3780 -3640 -3592 -3688 -3948 3608 -3040 -4000 -3396 3756 -3924 -3164 -3608 -3340 -3140 -3960 -3252 -3196 3900 -3144 3240 -3052 -3332 -3048 -3604 -3852 3836 -3172 -4000 3380 -3768 -3164 -3012 -3204 -3260 3044 -3752 3260 4000 -3472 -3552 3568 3568 -3188 -3532 -4000 -3832 -3640 -3232 -3732 -4000 -3468 -4000 -3352 -3136 -3732 -3040 -3036 3840 -3824 -3028 -3680 -3960 -3368 -3448 -3004 -3932 -3104 -3772 -3232 3744 -4000 -3472 -3960 -3432 -3936 -3352 -3892 -3528 -3544 -3960 -3316 -3652 -3560 -3952 -3552 -3132 -4000 3100 -3976 3592 -3280 -3000 -3644 -3648 -3944 -3044 -3468 -3960 -3856 -3824 3708 -3868 -3308 3112 -3276 -4000 -3576 -3220 -3104 -3760 3960 -3836 -3772 -3436 -3480 -4000 -3980 -3152 -3796 -3480 -3196 3764 3356 -3880 3908 3688 -3464 3536 -3900 -3524 -3948 -3236 -3184 3460 -3960 3940 -3060 3728 -3112 -3332 -3372 -3128 -3532 -4000 -4000 -3120 -3092 -3808 -3296 -3572 -4000 -3960 -3240 -3908 -3888 -3884 -3356 3128 -3224 -3124 -3512 -3644 -3636 -3344 -3448 3452 -3444 -3660 -3008 -3300 3840 -3936 -3156 3160 -3604 -3284 -3240 3344 3644 -3324 -3092 -3816 -3140 -3732 3428 -3960 3524 -3444 3368 -3676 -3504 -3308 3504 -3272 -3596 -3576 -3408 -3440 -3516 3176 -3556 -3896 3444 -3900 3104 -3040 -3064 -3472 -3528 -3548 -3536 -3464 -3060 -3960 -3236 -3448 3556 -3960 -3736 3628 -3284 -3168 -3200 -3124 3124 -3392 -3000 -3712 3792 3184 -3944 -3052 3364 -3324 -3616 -3172 -3856 -3444 -3060 -3424 -3960 -3744 -3700 -3340 3140 3736 -3040 3124 -3528 -3080 -3280 -3192 -3208 -3100 -4000 -3360 -3804 -3040 -3676 -3152 -3364 -3004 -3428 3764 3444 3812 -3960 -3168 -3908 -3292 -3448 -3844 -3296 -3508 -3920 3164 -4000 -3960 -3500 -3960 3784 -3096 -3548 -3752 3728 -3348 3192 -3992 -3700 3000 -3436 -3636 3512 -3296 -3904 3016 -3700 -3608 -3776 -3596 -3108 -3368 3088 -3040 -3684 -3032 3780 -3652 -3960 3048 -3960 -3580 -3596 -4000 -3084 -3240 -3988 -3076 -3156 -3824 -3460 -3880 -3848 -3100 -3312 -3584 3836 -3236 -3336 -4000 -3176 -3300 -3692 -3200 -3100 -3260 -3944 3904 -3556 3180 -3772 -3324 -3724 -3732 -3960 -3648 3424 -3552 -3624 -3612 -3764 -3960 -3436 3872 -3492 -3784 -3428 -3656 3352 3832 -3040 -3524 -3524 -3364 -3200 -3780 3336 -4000 -3304 -3316 -3512 -3512 -3600 -3812 -3676 -3640 -3056 -3796 -3464 3484 -3692 -3300 -3724 -3240 -3392 3296 -3432 -3980 -3940 -3232 3548 -3704 -3560 -3892 3532 -3516 -3676 -3148 -3384 -3968 -3664 -3356 -3620 -3364 -3516 -4000 -3424 3568 -3580 -3376 -3764 -3508 -3704 -3936 -4000 -3960 -3960 -3648 -3304 -3040 3692 -3016 -3672 -3472 -3796 -3612 -3040 3160 3876 -3212 3112 3052 -3736 -3332 -4000 -3732 3968 3556 -3328 -3860 -3644 -3104 -3864 -3176 -3376 -3960 -3684 -3960 -3716 -3696 3488 -3624 -3116 -3320 -3488 -3028 -3488 -3648 -3700 -3656 3000 -3812 -3980 -3124 -3300 -3100 -4000 -3760 -3212 -3748 -3504 -3136 -3028 -3660 -3912 -3828 -3408 -3716 -3748 -3708 -3536 -3628 -3548 -4000 -3384 3280 -3504 -3240 -3968 -3488 -4000 -3100 -3672 -3240 -3392 -3064 -3924 -3528 -3852 3284 -3040 -3832 -3212 -3884 -3212 -3904 -3892 -3352 -3636 -3976 -3868 3088 3620 3112 -4000 -3932 3928 3868 -3516 -3676 -3388 -3080 3324 -3884 -3264 -3072 -3324 -3200 3700 -3244 -3772 -3476 -4000 -3040 -3412 -3040 -3160 -4000 -3096 -3068 -3040 3356 -3408 3168 -3196 -3456 -3144 3144 -3412 -3416 -3884 -3600 -4000 -3752 -3336 -3844 -3852 -3264 -3000 -4000 3100 3396 -3996 3824 -3408 -3828 -3336 3968 -3868 -4000 -3636 3000 -3316 3460 -3236 -3532 -3852 3300 -4000 -3876 -3364 -3944 3000 -4000 -3144 -3352 -3960 -3788 -3960 -3748 -3204 -3960 -3732 3828 -3036 -3972 3612 -3116 -3924 -3476 -3772 3460 -3600 -3944 3708 -3244 -3512 -4000 -3288 -3544 -3712 -3248 -3868 -3904 -3960 -3704 -3676 -3428 -3528 -3568 -3048 -3820 3536 -3932 -3256 -3656 -3728 -3280 -3996 3040 -3004 -3824 -3408 -3856 -3896 -3676 -3704 3844 -3652 -3020 -3772 -4000 -3928 -4000 -3272 -3296 -3328 -3708 -3160 3280 -3524 -3116 3208 -3960 -3428 -3960 -3388 -3960 -3336 -3636 -4000 -3508 -3712 -3256 -3456 -3448 -3960 -3800 -3344 -3692 -3960 -3128 -3956 -3072 -3528 -3404 3024 -3488 -3004 -3292 -3960 3688 -3124 -3364 -3312 -3704 -3936 -3100 -3836 -3368 -3648 -3960 -3420 -3668 -3800 -3012 -3920 -3888 -3028 -3944 -3260 -3476 -3824 -3368 -3668 -3252 -3124 -3664 -3192 -3664 -3032 -3672 -3520 -3192 -3664 -3484 -3268 -3320 -3792 -3688 3040 -3084 -3336 3636 -3892 3676 -3976 -3680 -3188 -3960 3960 -3092 -3780 -3468 -4000 -4000 -3032 -3092 -4000 -3100 -3184 -3516 -3848 -3960 -3364 -3560 -3800 -3288 -3388 -3756 -3176 3564 -3688 -3000 -3796 -4000 -3960 -3256 -3632 -3620 -3276 -3732 -3392 -3712 -3976 -3296 -3960 -3772 -3464 3164 -3472 -3736 -3044 -3476 3000 3520 3196 -3576 -3572 -3684 -3208 -3728 -3648 -3432 -3380 -3028 -3636 -3080 -3380 -3284 -3676 -3652 -3960 -3016 -3700 3880 3072 -3256 -3960 -3416 -3712 -3916 -3096 -3960 -3872 -3208 -3464 -3824 3696 -3040 -3312 -3232 -3328 -3040 -3160 -3152 -3224 -3192 -3508 -3596 -3500 -3156 3268 -3960 3864 3812 -3196 3016 -3096 -3176 3776 -3716 -3272 -3432 -3960 3428 -3040 -3548 -3568 -3004 3376 -3960 -4000 3460 3260 -3248 -3848 -3380 -3912 3324 -3324 -3252 -3772 -3736 -3716 -3412 -3544 -3152 -4000 -3216 -3008 -3848 -3884 4000 -3908 3800 -3440 -3812 -3960 -3312 -3000 -3040 -3672 -3092 -3048 -3648 -3788 -3276 -3764 -3612 -4000 3224 -3084 -3496 -3616 3980 -3248 -3960 -3976 -3984 -3436 -3628 -3288 -3960 -4000 -3500 -3004 -3876 -3236 -3016 -3684 -3112 -3000 -3332 -3704 -3592 -3864 -3268 3604 -4000 3840 3108 -3524 -3608 -3180 -3844 -3700 -3852 -3368 -3076 -4000 -3216 -3940 -3404 -3656 -3872 -3320 -3960 -3936 -3960 3260 -3212 -3180 -3508 -3584 -3168 3000 -4000 3868 -4000 -3216 -3656 3016 -4000 -3852 3960 -3320 -3008 -3084 -3516 -3200 -3740 3580 -3896 -3300 3380 -3068 -3248 -3768 -3180 -3964 -3884 -3200 -3204 -3768 -3848 -3344 3000 -3332 3836 -3484 -3240 -3260 -3356 -3420 3508 -3828 -3428 -3668 -3968 -3000 -3368 -3280 -4000 -3516 -3220 -3716 -4000 -3136 -3660 -3620 3044 -3004 -3292 -3432 -3084 3416 -3928 -3048 -3592 -3724 -3872 -3064 -3644 -3052 -3328 -3956 -3332 -3856 3168 3712 -3100 -3592 3772 -3208 -3456 3944 -3068 -3112 -3196 -3788 -3748 -3084 -3960 -3092 -3560 -3004 -3904 -3744 -3156 -3508 -3464 -3040 -3000 -3156 -3468 3160 -3292 3048 -3836 -3920 -3240 -3140 -3056 -3636 -3144 -3332 -3212 -3528 -3060 -3508 3960 -3096 -3024 -3584 -3788 -3960 -3416 -3040 -3336 -3804 3284 3916 -3040 3204 -3308 -3960 -3772 3236 -3116 -3748 3492 -3716 -3280 -3888 -3960 -3420