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