Name | csp/fapp/fapp28/ normalized-fapp28-2800-10.xml |
MD5SUM | be5e235ab365e5d69a5b7c6b3a61a471 |
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 | 48.9406 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2800 |
Number of constraints | 22569 |
Maximum constraint arity | 2 |
Maximum domain size | 998 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 22569 |
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:-2474 -3216 -2322 -3160 -3066 -2944 -3048 -2948 -2258 2992 -2220 -3166 -3194 -3176 -2402 -3160 -2552 -2474 -2512 -2520 -2776 -2872 -3160 -3170 -2232 -2662 -2230 -2674 -2528 -2762 3014 -2976 -2434 -2956 -2260 -2940 -2710 -2964 -3092 -2596 -2542 -3104 -2318 -2268 -2572 -2948 -2716 -2824 -2262 -2838 -2612 -2934 -2436 -2298 -2812 -2470 -2896 -3216 -2460 -2260 -2436 -3046 -2762 -2796 -2592 -3216 -3180 -2474 -2268 -2590 -2474 -2774 -2220 -2528 -3166 -2238 -2258 -2936 -2604 -2584 -3160 -2810 -3078 -2510 -2726 -2310 -3008 -3140 -2674 -3006 -2588 -2552 -2288 -2260 -2278 -2574 -3176 -2862 -2894 -2736 -2246 -2674 -2948 -2908 -3090 -2902 -3120 -3216 -3016 -2906 -3216 -3154 2662 -3078 2838 -3210 -2260 -3090 -2500 -3126 -3058 -2702 -2552 -2582 -2418 -2272 -3006 -2862 -2356 -3160 -2668 -2552 -2876 -2588 -2806 -3152 -2502 -2626 -2776 -2474 -2414 -3088 2230 -2302 -2772 -2736 -2582 -3166 2682 -2602 -2318 -2420 -2816 -2312 -2536 -3092 -2540 -2736 -2588 -2280 -2736 2220 -2710 -2258 -2912 -3126 -3130 -2260 -3024 3176 -2528 -2776 -2330 -2936 -2360 -2622 -3176 -3042 -2280 -3166 -2524 2856 -2300 -2358 -3116 -3126 -2432 -2266 -2808 -3160 -2632 -2322 -2426 -2652 -2642 -2710 -2886 -3216 -2370 -2710 -2884 2960 -3216 -2258 -2402 -3140 -2936 -3036 -2614 -2392 -2522 -3044 -2340 -2466 -3192 -2628 -3174 -2358 -2514 -2320 -3050 -3216 -2736 -2880 -3114 -2362 -3120 -2270 -3120 -2704 -2260 2624 -2966 -2908 -2522 -2932 -3176 -2244 -2598 -2840 -2936 -2272 -3150 -2716 -2238 -3216 -2670 -2776 -2802 -2662 -3032 -2532 -2896 -2792 -3124 -3164 -2844 -2718 -2418 -2504 -2508 -2286 -2258 -3200 -2776 -2908 -2244 -2498 -3006 -3028 -2746 -2872 -2846 -2258 -2888 -2470 -2322 -2908 -3160 -2464 -3118 -2792 -2600 -2474 -2434 -2560 -2670 -2464 -2908 -2588 -3116 -2516 2996 -3200 -2328 -2470 -2916 -3176 -2880 -2936 -2282 -2380 -3030 -3082 -3030 -3176 -2270 -2694 -3114 -2638 -2264 -2258 -3114 -2770 -3116 -2936 -2674 -2842 -2376 -2324 -2414 -2238 -3176 -2672 -2694 -3110 -2690 -2416 -2906 -3094 -2486 -3204 -2770 -2840 -2422 -2264 -2880 -3160 -2532 -2672 -3004 -2768 2742 -2954 -2484 -2360 -3050 -2458 -2342 -2254 -2322 -2286 -3160 -2734 -2578 -2988 -2634 -2260 -3160 -2896 -2864 -3216 -2704 -3102 -2864 -2330 -2370 -2550 -2552 -3066 -3094 -2776 -2906 -2552 -2334 -2246 -2664 -2292 -2946 -2884 -2800 -3216 -2900 -2666 -2948 -3108 -2896 -2860 -3090 -2628 -3126 -2314 -3176 -2316 -2342 -2938 -2990 -2792 -2500 -2568 -2630 -2648 -2936 -2398 -2396 -2990 -3010 -2908 -3138 -2982 -2426 -3126 -3046 -3166 -2258 -3160 2482 -2404 -2298 -3076 -2220 -2752 -2268 -2732 -2438 -3160 -2604 -2350 -2320 -2298 -2454 -3140 -2436 -2902 -2706 -3166 -3036 2246 -2318 -3166 -3082 -2280 -2564 -2612 -3180 -2778 -2710 -2688 -3180 -3216 -2784 -2322 -2802 -2968 -2526 -2948 -3132 -3006 -2926 -3200 -3216 -2278 -2262 -2332 -2524 -2274 -2662 -2642 -2554 -2220 -2288 -2420 -2986 -3000 -2980 -3130 -3126 -2622 -3016 -3160 -3140 -2236 -2716 -3098 -2936 -3118 -3130 -2262 -2706 -2880 -2550 -2900 -2732 -2670 -3090 -2760 -2540 -2288 -2446 -3176 -2706 -2490 -3194 -3126 -3046 -2776 -2570 -3042 -2258 -2320 -2408 -2948 -2666 -2734 -2458 -3120 -3026 -2392 -2452 -2272 -2894 -2632 -2334 -3176 -2448 -3102 -2272 -2246 -2622 -3046 -2908 -2908 -2670 -3160 -2484 -2776 -2258 -2736 -3194 -2376 -2244 -2710 -2580 -2620 -2902 -2482 -2268 -3044 -2606 -3154 -2744 -2222 -2258 -2426 -2708 -2286 -2444 -2714 -2964 -2710 -2232 -3216 -3006 -2494 -2496 -3216 -2262 -2978 -2282 -2454 -2710 -2592 -2374 -2936 -3204 -2710 -2444 -2270 -2410 -2788 -2482 -2488 -2576 -2390 -2298 -2284 -2550 -2430 -3216 -2294 -2602 2952 -2820 -2860 -2524 -2790 -2518 -2582 -3200 -2708 -2776 -3216 -2404 -2528 -2322 -2304 -3176 -2322 -3180 -3176 -2656 -3176 -2228 -3166 -2736 -2736 -2736 -2336 -2832 -2908 -3196 -2474 -2424 -3126 -3004 2730 -3216 -2442 -2590 -2462 2436 -2896 -2308 -2498 -3072 -3154 -2362 2770 -2318 -2276 -2564 -3140 -2276 -3176 -2302 -2518 -3176 -2866 -2258 -2776 -2442 -2284 -2708 -2984 -3200 -3180 -3176 -2334 -2418 -2572 -2588 -2474 -2452 -3070 2838 -2714 -3216 -2476 -2668 -2866 -3114 -2338 -3078 -2276 -2736 -2802 -2710 -2704 -2654 -3022 -2278 -2434 -3126 -2460 -3216 -2838 -2294 -2896 -2240 -2280 -2336 -2478 -2694 -2238 -2612 -3070 -2914 -2828 -2618 -2302 -2848 -3176 -2586 -2776 -2644 -2928 -2990 -2220 -2350 -2840 -3128 -3160 -2766 -3216 -2908 -3126 -3200 -3058 -3200 -2274 -2948 -2838 -2262 -3024 -2754 -3176 -2226 -2330 -3058 -3176 -3078 2282 -2408 -2300 -2816 -2798 -2340 -2302 -3054 -2746 -3120 -2862 -2504 -2772 -2760 -3166 -2526 -2220 -3154 -2272 -2948 -2486 -2604 -2948 -2938 -3200 -3100 -3160 -2302 -2792 -2774 3018 -3160 -2492 -2582 -3216 -2596 -2436 -3048 -2950 -3006 -3140 3002 -3132 -3090 -3118 -2684 -2626 -2580 -2796 -2518 -2736 -3216 -2300 -2882 -2278 -2234 -3216 -3112 -2588 -3140 -3216 -2298 -2252 -2744 -2946 -3036 -3086 -3032 -2934 -2908 -2384 -2848 -2950 -2278 -3160 -3156 -2700 -2924 -2290 -3164 -2710 2886 -2906 -2974 -3180 -3166 -3030 -2668 -2230 -2272 -2924 -2278 -2814 -3120 -2884 -2608 -2762 -2592 -3200 -3014 -2298 2846 -2878 -2488 -2982 -3216 -3098 -3138 -2908 -3216 -2230 -3204 -2422 -2776 -2862 -3078 -2512 -2782 -2558 -2666 -3176 -2664 -2764 -3160 -2274 -2272 3182 -3216 -3200 -2604 -3154 -3044 -3078 -2936 -2234 -2372 -2786 -3082 -2320 -2668 -2228 -2826 -2434 -2948 -3086 -2948 -2264 -3006 -2490 -2832 -2634 -2664 -2624 -2298 -3216 -2364 -2966 -2670 -3176 -3216 -2240 -2988 -2258 -2306 -2408 -3126 -2754 -2776 -3130 -2670 -2234 -2410 -3160 -3216 -2852 -2580 -2354 -2296 -2252 2868 -3120 -3192 -2274 -2550 -3216 -3170 -2484 -3120 -3020 -2280 -3200 -2254 -2666 -2364 -2458 -3136 -2320 -3156 -2486 -2670 -2270 -2474 -2948 -2734 -2554 -3118 -3200 -3046 -2590 -2802 -3112 -3044 -2706 2220 -3130 -2658 -3216 -3168 -3084 -2618 -2302 -3018 -2236 -2320 -2260 -2960 -3180 -2582 -2272 -2956 -2402 -2354 -2282 -2242 -2706 -2286 -2478 -3114 -3090 -2756 -3078 -2548 -2240 -2564 -3114 -2260 -2248 -2374 -2454 -3176 -3216 -2298 -2814 2328 -2954 -2242 -3160 -3216 -2780 -3016 -2586 -2300 -2908 -3006 -3154 -2516 -2710 -2482 -2736 -3120 -2280 -2294 -2406 -2736 -3096 -3160 -2674 -3200 -2666 -2280 -2228 -2786 -3096 -3216 -2940 -2990 2432 -3176 -2748 -2702 -3166 -2670 -3166 -2244 -3120 -2334 -2870 -2224 -3066 -3160 -2896 -3014 -2388 -2668 -3120 -3216 -2812 -2452 -2708 -2948 -2604 -3160 -2988 -2524 -2366 -3010 -2598 -3160 -2328 -2990 -2294 -2550 -2792 -2630 -3160 -2318 -3176 -2618 -3200 -3152 -2504 -2374 -3116 -2976 -2974 -2438 -3216 -2644 -2582 -2948 -2398 -3122 2260 -2232 -2278 -3068 -2492 -2228 -2444 -2300 -2632 -2706 -2286 -3216 -2274 -3126 -2670 -3140 -2260 -2434 -3200 -2708 -2818 -2612 -2724 -2360 -2670 -2710 -3154 -3208 -2244 -2936 -2296 -2392 -2956 -2252 -2868 -2564 -2756 -2300 -2496 -2730 -3160 -2942 -3176 -2938 -2412 -2298 -2360 -3176 -3120 -2436 -2718 -2428 -2852 -2360 -3078 -3166 -3154 -2374 -2312 -3114 -2280 -3156 -3216 -2276 -2244 -3172 -2954 -2782 -3140 -2998 -2548 -2286 -2908 -3046 -2516 -2360 2220 -2902 -3014 -3118 2260 -2278 -2916 -2356 -3054 -3042 -2992 -2542 -2694 -2590 -3216 -2502 -3160 -3014 -2750 -2752 -2994 -3128 -2928 -3030 -3154 -3176 -2324 -2712 -2364 -2278 -2582 -2686 -2786 -2710 -2288 -2908 -2304 -2910 -2628 -3176 -2590 -2888 -2792 -2220 -2380 -2448 -2706 -2830 -3216 -2866 -2844 -2920 -2280 -2816 2326 -2232 -2368 -2532 -2776 -3176 -2994 3170 -2320 -2670 -2342 -3120 -2402 -2722 -3176 -2902 -2910 -2474 -2930 -3176 -2228 -2972 -2252 -3046 -3102 -2840 -2966 -2658 -2936 -2366 -2820 -2810 -2518 -2378 -2868 -2278 -3200 -2270 -2942 -2442 -3090 -2300 -3166 -2700 -3142 -2888 2896 -3098 -3166 -2866 -2974 -2360 -2240 -2982 -2326 -3120 -2434 -2320 -2948 -3180 -3176 -3154 -2268 -2948 -2736 -2668 -3166 -3216 -2540 -3116 -2888 -2256 -2260 -2670 -3118 -2872 -3176 -3216 -3166 -2260 -2404 -3160 -2710 -2696 -2406 -2418 -2396 -2736 -3176 -2494 -2674 -2312 -2280 -2356 -2358 -2920 -2984 -2776 -2260 -2522 2220 -2734 -2266 -3112 2960 -3120 -2280 -2450 -2300 -2550 -2908 -2800 -2334 -2988 -2844 -3202 -2986 -3120 -2492 -2762 -2924 -2300 -2896 -2872 -2912 -3160 -2434 -2880 -3166 -2480 -3176 -2396 -3120 -2972 -2326 -2260 -2608 -3216 -3126 -2672 -2710 -3126 -3216 -2298 -2742 -2560 -3174 -3156 -2484 -2710 -2592 -3014 -2334 -2434 -2542 -2376 -2920 -2986 -2370 -3176 -2434 -2610 -2718 -3216 -2232 -3054 -2358 -2500 -2620 -2266 -2542 -2322 -2880 -2482 -3142 -2350 -2466 -3176 -2688 -2648 -2890 -2936 -2644 -2492 -2258 -2896 -2670 -2322 -3026 -3130 -2300 -3160 -2414 -3076 -2736 -2928 -3200 -2736 -2302 -2278 -2606 -2642 -2224 -2732 -2634 -2298 -2948 -2874 -3200 -2736 -3176 -2284 -2320 -3216 -2318 -2642 -3008 -3126 -2322 -2706 -2316 -2458 -2280 -2454 3156 -3006 -3086 -2622 -3022 -3214 -2676 -2982 -2474 -2384 -2262 -3092 -3160 -2318 -3126 -3126 -3090 -2908 -3118 -2474 -2840 -2396 -2280 -2782 -2906 -2300 -3200 -3062 -2396 -2352 -2636 -2282 -2776 -2278 -2330 -2668 -3052 -2326 -2586 -2494 -3176 -2672 -2586 -2392 2774 -2800 -3212 -3086 -3056 -2896 -3010 -3140 -2380 -2300 -2552 -2888 -2846 -2924 3134 -3216 -2276 -2818 -2372 -2454 -2926 -2822 -2358 -2948 -3088 -2714 -3136 -3126 -3126 -2474 -2324 -3046 -2764 -2984 -2272 -2710 -3176 -2946 -2422 -2550 -3024 -3074 -3200 -2564 -2494 -2552 -2512 -2518 -3176 -3116 -2928 -2754 -3182 -2776 -2662 -2278 -2238 -2624 -3078 -2608 -2294 -2320 -2274 -2710 -3176 -2510 -3078 -2318 -3080 -3154 -2292 -3098 -2546 -2896 -2614 -2550 -3176 -3172 -3176 -2278 -2378 -2280 -3180 -2474 -2260 -3118 -2928 -2852 -3200 -2362 -2936 -2538 -2856 -2298 -3156 -2812 -3054 -3178 -2226 -2376 -2896 -3180 -2890 -2542 -2820 3144 -3176 -2802 -2220 -3156 -2664 -3216 -3160 -3176 -2272 -2948 -3166 -3030 -2930 -2624 -2400 -2546 -2596 -3130 -3012 -3200 -3176 -2570 -2442 -2382 -2342 -2360 -2726 -2222 -2258 -2438 -2670 -3146 -2840 -2550 -2260 -3114 -3056 -2590 -3216 -2994 -3164 -3136 -2320 -3100 -2568 -2730 -2670 -2266 -3200 -2374 -3004 -2704 -2774 -2238 -2900 -2280 -2418 -2906 -2916 -3120 -3032 -2268 -3216 -2248 -2320 -2558 -2698 -2828 -3048 -2618 -2880 -2292 -3160 -2320 -2410 2220 -2386 -2904 -3122 -2240 -3138 -2360 -2292 -2258 -2286 -2438 -3176 -3080 -3114 -2736 -2644 -2772 -3216 -2366 -3140 -3170 -2760 -2258 -2948 -3176 -3176 -3006 -2604 -3176 -2952 -3048 -3216 -2266 -2302 -2318 -3160 -2458 -3084 -2914 -3204 -3176 -2798 -2378 -3160 -3004 -3086 -3126 -2288 -2712 -2884 -2798 -3176 -3016 -2750 -3154 -2664 -2308 -2632 -2262 -2300 -2840 -2424 -2664 -3160 -2710 -2868 -2478 -2260 -2936 -2582 -2318 -2416 -2768 -2798 -3176 -2318 -2284 -2290 -3124 -2620 -2902 -3216 -3042 -2296 -3080 -2540 -2606 -2622 -3072 -2728 -3216 -2434 -2518 -2664 -3058 -2494 -2808 -3164 -2390 -2262 -2590 -2244 -2776 -3090 -2896 -2592 -2708 -3160 -2302 -3048 -2670 -3026 -2270 -2670 2542 -3132 -2598 3194 -2360 -2616 -2280 -2362 -2230 -3166 -2320 -2936 -2936 -3200 -2220 -2320 -3036 2796 -2554 -2434 -2278 -2946 -2658 -2592 -2230 -2426 -3176 -2430 -2318 -3154 -2440 -2272 -3114 -2284 -2560 -2638 -2940 -3216 -3194 -2320 -2646 -3168 -2908 -2644 -2290 -2904 -3022 -2454 -2666 -2300 -2726 -2488 -2302 -3186 -2410 -3114 -2474 -3176 -2534 -2390 -2908 -2320 -2702 -3090 -3050 -3176 -2670 -2396 -2372 -3126 -2756 -2978 2826 -2434 -2724 -2536 -2620 -3216 -2462 -2566 -2262 -2676 -2474 -2434 -3086 -2936 -2374 -3154 -3154 -2234 -3018 -2838 -2242 -2380 -2862 -3118 -2260 -2896 -2908 -3160 -2434 -2896 -3100 -2748 -2284 2338 -2746 -2242 -2636 -2504 -2664 -3200 -2888 -3152 -2324 -2772 -2256 -2322 -3126 -2734 -2660 -3176 -2238 -2966 -3176 -3000 -3160 -2360 -2924 -2936 -2290 -2436 -3216 -2342 -2564 -2352 -2996 -3048 -3126 -2360 -2470 -2744 -2760 -2410 -2320 -2936 -3216 -2442 -2670 -3118 -3008 -3132 -2922 -2742 -2798 -2886 -2812 -2540 -2618 -3216 -2600 -3176 -2330 -3166 -2400 -3122 -3080 -3140 -2326 -2624 2260 -2670 -2772 -3030 -2350 -2494 -2298 -2782 -2378 -3114 -2498 -2318 -2954 -2914 -3216 -2468 -3028 -2704 -2372 -2988 -2848 -2420 -2798 -2360 -2548 -2598 -2974 -3176 -3116 -2370 -2534 -2976 -2506 -2878 -2442 -2446 -2888 -2366 -2392 -2320 -3176 -3176 -2506 -2934 -2348 -2448 -3216 -2396 -2740 -3128 -2352 -2636 -3160 -3046 -3216 -2394 -3078 -3154 -2258 -2284 -2904 -3008 -2752 -2634 2948 -3030 -2510 -2536 -2260 -3084 -2808 -2602 -2524 -2456 -3152 -3166 -2318 -2954 -3176 -2234 -3120 -3072 -3040 -2746 -2404 -2248 -2946 -2710 -2996 -3166 -2776 -2412 -2382 -2514 -2720 -2992 -2564 -2754 -3174 -2470 -3216 -3216 -3216 -2456 -2622 -3176 -3126 -2666 -3176 -2314 -3160 -2458 -2576 -2262 -2708 -2972 -2908 -3126 -2548 -2266 -3204 -3154 -2556 -2548 -2288 -3086 -2344 -2272 -2400 -3160 -2468 -3120 -3090 -2604 -3216 -2326 -2410 -3120 -2338 -3142 -2590 -2246 -3060 -2600 -3216 -2550 -2920 -2974 -2832 -2918 -2376 -3030 -3080 -3176 -2318 -2902 -2634 -3158 -3054 -2482 -2728 -2474 -3146 -3216 -2670 -2278 -3084 -3044 -2956 -2604 -2552 -3130 -2236 -2852 -2904 -2276 -2278 -3216 -3216 -3140 -2320 -2474 -2282 -2284 -2544 -2880 -2898 -3078 -2556 -2300 -3150 -2704 -2330 -2388 -2358 -2664 -3162 -2736 -3090 -2556 -3194 -2320 -2398 -2312 -3204 3042 -3120 -2912 -2636 -2268 -3124 -2770 -2658 -2458 -2622 -2260 -2540 -2884 -2806 -3216 -2320 -2776 -3176 -2272 -2812 -2968 -2592 -3176 -2720 -2850 -2960 -2988 -2440 -3216 -2314 -2800 -2920 -3046 -2510 -2728 -3176 -3190 -3028 -3130 -3216 -2226 -3126 -2578 -2260 -2432 -3160 -2614 -2736 -3006 -3088 -2578 -3216 -2260 -2758 -2438 -3216 2912 -3004 -2496 -2910 -2260 -2232 -2306 -2898 -2776 -2670 -3118 -2798 -2368 -3160 -2480 -3104 -3176 -2804 -3160 -3140 -2406 -3180 -2906 -2810 -3126 -3058 -2434 -2464 2860 -2948 -2990 -3070 -2318 -2260 -2996 -3118 -2486 -3034 -3070 -3140 -2474 -2664 -2232 -3120 -3176 -2388 -2660 -2296 -2676 -3216 -2278 -3200 -2696 -3006 -3216 -3080 -2976 -3200 -2948 -2590 -2884 -2750 -2360 -2694 -3110 -2682 -2936 -2946 -2510 -3086 -2800 -3160 -3200 -2310 -3164 -3200 -2466 -3120 -2558 -3120 -2414 -2362 -2934 -3044 -3200 -2374 -3164 -2788 -2550 -3200 -2398 -3120 -3018 -3160 -3176 -2228 -2236 -3118 -2760 -2318 -2878 -2996 -2880 -2438 -2268 -3126 -2320 -2904 -2322 -2938 -3176 -2726 -3120 -2892 -3122 -2756 -2944 -2278 -2342 -2450 -3216 -3180 -2654 -2800 3026 -2786 -3120 -2722 -2714 -2974 -2370 -2704 -3126 -2578 -3030 -2736 -2496 -2320 -2988 -2590 -2452 -3176 -2396 -2618 -2280 -2776 -3176 -2472 -3086 -3008 -2800 -2730 -2232 -3176 -2918 -2826 -3142 -2244 -2382 -3160 -3118 -2870 -2430 -2472 -3112 -2364 -3028 -3126 -3160 -3198 -2592 2432 -2480 -2770 -3082 -2662 -2234 -2908 -2592 -2514 -2362 -3078 -3078 -2354 2734 -2434 -3096 -3166 -3130 -3126 -2294 -2896 -2558 -2370 -2478 -2582 -3026 -2688 -2302 -2978 -2736 -3160 -2766 -2600 -2994 2770 -3176 -2492 -3046 -3110 -2958 -3080 -2278 -2298 -3090 -2436 -3078 -2280 -3176 -3130 -3060 -2406 -3160 -3180 -2652 -2288 -2984 -2844 -3148 -3176 -3160 -3176 -2622 -2300 -2356 -2944 -2666 -2284 -2838 -2474 -2362 -3094 -3126 -2224 -2752 -2644 -2552 -3216 -2494 2912 -3160 -3122 -2594 -2434 -2454 -2514 -2776 -2520 -3216 -3216 -2234 -3216 -2432 -3086 -2890 -2736 -2776 -2660 -2910 -3118 -2362 -3092 -2272 -2734 -2588 -2318 -2920 -2336 -2358 -2260 -2342 -2758 -2934 -2944 -2478 -3160 -3080 -2248 -3130 -3216 -2678 -3176 -2230 -3200 -3176 -2942 -2976 -2322 -2232 -3150 -3176 -3176 -2398 -2758 -2316 -2374 -3116 -2428 -2488 -2672 -2732 -2334 -2338 2220 -3120 -3156 -3160 -3162 -2776 2416 -2872 -2502 -3114 -2452 -2298 -2846 -2770 -3002 -3176 -2610 -2640 -2836 -2548 -2836 -2670 -3176 -2300 -2530 -2870 -2524 -3216 -2514 -2474 -2274 -2298 -2936 -2382 -2878 -2398 -2636 -2710 -2580 -3008 -2670 -2672 -2484 -2330 -2312 -3120 -2550 -2806 -3046 -3176 -2364 -2728 -3216 -2226 -2308 -2990 -3176 -2550 -2710 -2970 -2348 -2908 -2568 -2362 3164 -2270 -3126 -2798 -2670 -3090 -3120 -2360 -2730 -3156 -2888 -2770 -2364 -2994 -2784 -2500 -2434 -3144 -2382 -2548 -2404 -2804 -2790 -3166 -2386 -2320 -2256 -2982 -3160 -3176 -3060 -2830 -2476 -2260 -2368 -2446 -2474 -2362 -2282 -2302 -2260 -2414 -2942 -2254 -2574 -3002 -2608 -3130 -2254 -2590 -3176 -3166 -2896 -2314 -2670 -3132 -2936 -2704 -3200 -2260 2222 -3166 -2954 -3154 -2260 -2430 -2358 -3166 -2398 -2896 -2776 -3200 -3100 -2260 -3186 -2736 -3200 -3006 -2908 -2298 -3160 -2950 -2634 -2686 -2974 -2616 -2942 -3056 2558 -2300 -2688 -2524 -2322 -2376 -3130 -2334 -2446 -2918 -2656 -2896 -2312 -2948 -3178 -3160 -2652 -3008 -2492 -2876 -3216 -2274 2396 -2360 -2646 -2278 -2872 -2978 -3120 -3080 -2474 -2772 2950 -3082 -2740 -2362 -2248 -2362 -2492 -2434 -2760 -2294 -2616 -2458 -2286 -2778 -3116 -3156 -3032 -3216 -3216 -2816 -2392 -2812 -2336 -2348 -2568 -2222 -3046 -2332 -2710 -2588 -2726 -2298 -2848 -2286 -3126 -2986 -2420 -2400 -2896 -2948 -2758 -3160 -3200 -3160 -2560 -2238 -3216 -2710 -3130 -2300 -3214 -2842 -3152 -2706 -2948 -3082 -2280 -2710 -2260 -2274 -2970 -3088 -2396 -3062 -2260 -2830 -2262 -2220 -2390 -2430 2416 -2932 -2776 -2710 -2776 -3092 -3126 -2370 -3048 -2262 -2920 -2668 -2772 -3200 -2370 -2434 -2546 -2896 -2264 3026 -2752 -2380 -2632 -2766 -2320 -3176 -3216 -2730 -2360 -2434 -2908 -2766 -2474 -2320 -2284 -2854