Name | csp/fapp/fapp30/ normalized-fapp30-3000-10.xml |
MD5SUM | 34ca3ffc23008dabfd0338886eeccec5 |
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 | 91.1771 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3000 |
Number of constraints | 63204 |
Maximum constraint arity | 2 |
Maximum domain size | 778 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 63204 |
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:2940 -2296 -2868 -2348 -2668 -2354 -2646 -2982 -2942 -2620 -2376 -2652 -2226 -2610 -2224 -2486 -2732 -2992 -2442 -2874 -2262 -2950 -2362 -2996 -2394 -2808 -2510 -2540 -2762 -2762 -2368 -2288 2510 -2850 -2276 -2312 -2810 -2338 -2252 2276 -2940 -2440 -2590 -2264 -2960 -2268 2892 -2608 -2776 2768 -2356 -2422 2502 -2956 -2384 -2496 2848 -2424 -2474 2514 -2894 -2956 -2940 -2638 -2956 -2622 -2966 -2442 2648 -2452 -2252 -2950 2220 -2790 -2256 -2404 -2272 -2578 -2808 2980 -2928 -2230 2926 -2478 -2252 -2482 -2692 -2640 -2514 -2326 -2608 -2406 -2750 -2282 2356 -2850 -2690 -2588 -2898 -2960 -2248 -2600 -2264 -2590 -2612 -2478 2634 2690 -2266 -2646 2464 -2860 2262 -2642 -2898 -2758 -2592 -2436 2220 -2386 -2598 2870 -2402 -2972 -2488 -2474 -2622 -2620 -2406 -2690 2538 -2758 2780 -2598 2646 -2324 -2936 -2638 -2940 -2778 -2732 -2548 -2740 -2880 -2966 -2644 -2598 -2622 -2900 -2282 -2356 -2550 2220 -2806 -2990 -2318 -2496 -2606 -2744 -2790 -2680 -2290 -2996 -2284 -2620 -2276 2400 -2652 -2464 2364 -2240 -2732 -2650 -2642 -2902 -2408 2404 -2956 -2820 -2750 -2956 -2602 -2916 2936 -2950 2708 -2674 -2788 -2914 -2408 -2956 2816 -2846 2380 -2448 -2366 -2926 -2446 -2764 -2224 -2968 -2624 -2982 -2284 -2982 -2678 -2904 -2760 -2546 2816 -2904 -2582 -2240 -2432 -2630 -2810 -2860 -2312 2384 -2962 -2516 -2640 -2344 -2682 -2856 -2570 -2224 -2848 -2938 -2392 -2596 2598 -2520 -2394 2546 -2964 -2608 -2762 -2878 -2406 -2600 -2332 -2442 -2930 -2770 -2762 -2306 -2884 -2406 -2774 2686 -2860 -2674 -2454 2260 2850 -2924 -2510 2274 -2884 -2862 -2712 -2524 2232 -2996 -2576 -2266 -2982 2810 -2324 -2922 -2602 -2724 -2940 -2290 -2260 -2848 -2296 -2622 -2486 -2950 -2260 -2312 -2276 -2884 -2876 -2222 -2876 -2754 2966 -2534 -2332 -2496 -2282 -2382 -2590 2260 -2982 -2334 -2584 -2788 -2980 -2940 -2282 -2428 2254 -2720 -2946 -2650 -2948 -2680 -2490 -2692 -2942 -2220 -2766 -2514 2476 -2396 -2268 -2890 -2662 -2944 -2238 -2564 -2890 -2860 -2254 -2944 -2600 -2584 -2440 -2626 -2940 -2260 -2452 -2480 -2716 2898 -2318 2778 2262 -2646 -2606 -2376 -2964 -2260 -2384 -2928 2956 -2940 -2924 -2818 -2762 -2614 -2928 -2650 -2648 2246 -2882 -2260 -2470 -2408 -2952 -2936 -2390 -2450 -2314 -2350 -2738 2886 -2636 -2456 -2624 -2950 -2722 -2900 2284 -2292 -2244 -2622 -2730 2620 -2630 -2690 -2262 -2618 -2306 -2550 2412 -2686 -2680 -2836 -2382 -2390 -2624 -2406 -2954 -2460 -2818 -2290 -2964 2888 -2916 -2546 -2384 -2806 -2996 -2688 -2550 -2944 -2942 -2548 -2938 -2990 -2990 -2736 -2916 -2968 -2994 2238 -2610 -2808 -2414 -2738 -2748 -2996 -2264 -2284 -2452 2770 2274 -2820 -2262 -2622 -2248 -2668 -2898 -2538 2898 -2530 -2956 -2560 -2910 -2716 -2860 -2858 -2732 -2924 -2898 -2806 -2610 -2316 -2728 -2792 -2492 -2816 -2996 -2248 -2794 -2996 -2944 2260 -2486 -2678 -2478 -2746 -2592 -2688 -2290 2524 2358 -2646 -2942 -2916 -2322 -2876 -2722 -2944 -2634 -2956 -2902 -2624 -2222 2440 2430 -2366 -2514 -2940 -2360 -2904 -2980 -2514 -2554 -2642 -2370 -2814 -2688 -2854 -2892 -2400 -2960 -2644 -2490 -2840 2258 -2910 -2432 -2308 -2962 -2292 -2940 2596 -2640 -2864 -2284 -2690 -2564 -2514 -2986 -2756 -2572 -2484 -2642 2996 -2828 -2906 -2982 2598 -2956 -2244 -2914 -2848 -2772 -2666 -2810 -2732 -2440 -2762 -2406 -2268 -2948 -2990 2992 -2278 -2982 -2710 -2650 -2956 -2438 -2918 -2992 -2882 -2280 -2606 -2956 -2690 -2842 -2900 -2910 -2704 -2906 -2282 -2692 -2548 2840 2442 -2894 -2430 -2650 -2260 -2542 -2948 2426 2294 2306 -2288 -2226 2554 -2632 -2882 2530 -2920 -2666 -2914 2708 2424 -2330 2892 -2976 -2730 -2550 -2756 -2862 -2690 -2670 -2606 -2596 -2606 -2758 -2850 -2802 -2922 -2448 -2940 -2916 2888 -2506 -2408 2402 -2640 -2820 -2512 -2900 2674 -2298 -2222 -2830 -2282 -2316 -2842 -2896 -2228 -2804 -2368 -2764 -2466 -2612 -2866 -2642 2430 -2736 -2470 -2760 -2220 2436 -2432 -2854 -2554 2984 -2498 -2340 -2380 -2466 -2622 -2744 -2544 -2898 -2588 -2960 -2240 2356 -2414 -2940 -2942 -2950 -2772 -2990 -2754 2714 -2960 2220 2662 -2646 -2866 -2926 -2402 -2254 -2260 -2256 -2646 2702 -2786 -2234 -2296 2260 -2382 -2942 -2996 2402 -2880 -2380 -2430 2458 -2704 -2466 -2332 -2898 -2810 -2860 -2386 -2492 -2678 -2686 -2884 2344 -2554 -2484 -2818 -2942 -2812 -2608 -2682 -2980 -2730 -2258 -2822 2220 -2860 -2430 -2290 2562 -2910 2978 -2266 -2950 2340 -2354 -2726 2996 -2876 -2260 -2960 -2634 2880 -2790 -2486 -2900 -2512 -2630 -2256 -2550 -2878 2946 -2580 -2982 2948 -2310 -2314 -2778 -2648 -2264 2814 2812 -2514 -2876 2326 -2766 2924 -2532 -2810 2260 -2950 -2536 2428 -2950 -2310 -2312 -2286 -2790 -2236 -2570 -2790 -2940 -2554 -2392 -2646 -2732 -2710 2804 -2366 -2678 -2592 -2274 -2602 -2688 2684 -2772 -2554 -2494 2996 2756 -2716 -2502 -2590 -2594 -2872 -2328 -2950 -2514 -2238 -2758 -2860 -2622 -2996 -2646 -2536 -2276 -2964 -2648 -2290 2454 -2970 -2252 -2820 2384 -2674 -2982 -2298 -2636 -2228 -2604 -2834 -2940 -2228 -2446 -2250 -2260 2294 -2718 -2406 -2290 -2632 -2650 -2940 2902 -2926 -2594 -2488 -2344 -2272 -2284 -2556 2826 -2862 -2488 -2876 -2292 -2866 -2940 2664 -2950 -2786 -2592 -2368 -2920 -2364 -2996 -2242 -2758 2888 -2956 -2286 -2982 -2994 -2874 -2278 -2866 2468 -2578 -2646 -2382 -2920 -2424 -2262 -2272 -2990 -2254 2280 -2494 -2470 -2762 -2938 -2776 -2996 2260 -2318 -2220 -2642 2820 -2808 -2678 2776 -2928 -2996 -2910 -2948 -2536 -2344 -2504 -2538 -2950 -2906 2898 -2290 -2704 -2820 2260 -2996 -2512 -2912 -2324 -2572 -2486 -2262 -2706 -2476 -2996 -2956 2912 -2670 -2650 -2490 2788 -2260 -2996 -2654 -2954 -2264 -2952 2248 -2776 -2584 -2624 -2662 2638 -2760 -2988 2956 -2442 -2338 -2732 -2834 -2366 2416 2648 -2910 -2500 -2650 -2226 -2256 -2796 2740 -2446 -2372 -2926 -2920 -2292 -2976 -2618 -2766 2872 2250 -2682 -2952 -2684 -2900 -2516 -2442 -2892 2936 -2666 -2782 -2904 -2598 -2486 -2570 -2624 -2956 -2274 2248 2604 -2322 -2550 -2590 -2732 -2908 -2514 2648 -2860 -2724 -2316 -2230 2338 -2554 -2956 -2920 -2558 -2898 -2646 -2990 -2642 -2848 -2450 -2292 -2282 2220 2866 -2834 -2752 -2424 -2736 -2554 -2358 -2396 -2244 -2640 -2944 -2790 2274 -2772 2874 -2542 -2604 -2370 -2858 -2364 -2452 -2268 -2380 -2594 -2636 -2684 -2422 -2318 -2840 -2856 -2790 -2770 -2262 -2638 -2854 -2842 2882 -2980 -2252 -2688 2664 -2906 -2890 -2862 -2680 -2592 -2980 -2900 -2270 -2294 -2942 -2354 -2492 -2554 -2338 2982 -2250 -2720 -2746 -2384 -2680 -2282 -2244 2548 -2876 -2944 -2632 -2724 -2648 -2766 -2250 -2364 -2606 -2956 -2948 -2344 -2386 -2644 -2784 -2942 -2942 -2874 -2386 -2436 -2590 2276 -2578 -2544 -2982 -2502 -2556 -2994 -2352 -2976 -2252 -2604 -2624 -2610 -2252 -2482 -2956 -2556 -2744 -2732 -2690 -2924 -2576 -2940 -2938 -2988 -2568 2646 2794 -2682 -2828 -2654 -2740 -2646 -2318 -2506 -2294 -2942 2328 -2916 -2598 -2686 -2664 -2870 -2248 -2758 -2366 -2820 -2796 2808 -2748 -2996 -2940 -2950 -2542 -2508 -2550 -2376 -2274 -2942 -2688 -2996 -2986 -2692 2994 -2898 -2560 -2282 -2690 -2904 -2790 -2550 2736 -2578 -2512 -2800 -2996 -2902 -2646 2912 2720 -2904 -2980 -2982 -2732 -2304 -2292 -2390 -2880 2578 -2950 -2896 2722 -2624 -2476 2274 -2644 -2420 -2990 2916 -2830 -2956 -2762 -2686 -2686 -2632 -2300 -2892 -2702 -2222 2744 -2912 2644 -2402 -2938 -2876 -2856 2810 -2902 -2876 -2500 -2262 -2724 -2710 -2950 -2410 -2530 -2708 2308 -2742 -2876 -2806 -2894 2416 -2474 -2830 2908 -2270 -2512 -2220 -2552 -2554 2234 -2830 -2946 -2762 -2294 -2720 -2496 -2764 -2808 -2730 -2876 -2600 2372 -2902 -2454 2704 -2494 -2692 -2824 -2874 -2940 -2390 -2770 -2672 -2594 -2982 -2742 -2574 -2234 -2300 -2680 -2944 -2698 -2390 -2704 -2888 -2554 2630 -2246 2220 2646 2404 -2980 -2746 -2772 -2582 -2600 -2650 -2584 -2598 -2512 -2722 -2816 -2836 -2956 -2368 -2262 -2278 -2862 -2732 -2776 -2288 -2980 -2280 -2944 -2722 -2872 -2838 -2942 -2590 -2354 2260 -2934 2622 -2726 -2860 -2880 -2250 -2888 -2294 -2770 -2768 -2478 -2962 -2994 -2938 -2870 -2408 -2986 -2582 -2354 -2796 -2906 -2292 -2364 -2746 2260 -2682 -2624 -2576 2546 -2292 2504 2260 -2916 -2438 2340 -2266 -2416 -2224 -2366 -2990 -2584 -2280 -2230 -2682 -2942 -2564 -2514 2540 -2952 -2756 -2820 -2946 -2408 -2384 -2442 -2820 -2720 2278 -2564 2950 -2860 -2294 -2902 -2242 2900 -2328 -2266 -2982 -2930 2698 -2680 -2820 -2682 -2882 -2288 2852 -2858 2256 -2262 -2538 -2222 2866 -2996 -2238 -2960 -2676 2990 2440 -2990 -2562 -2424 2950 -2652 -2552 -2264 -2384 -2446 -2292 2702 -2902 -2730 -2430 -2830 -2414 -2996 2894 -2324 -2902 -2472 2836 2814 -2956 -2770 -2720 -2370 -2446 2418 -2230 -2354 -2944 -2294 -2784 -2266 -2864 -2588 -2400 -2460 -2582 -2990 -2512 2400 -2640 -2564 -2860 -2996 -2298 -2996 -2864 -2694 -2610 -2260 -2938 -2266 2238 -2288 -2310 -2946 -2408 -2406 2524 2510 -2236 -2870 -2606 2490 -2988 2260 2532 -2500 2940 -2938 -2350 -2634 2434 2754 -2314 -2864 -2524 -2928 -2504 -2226 -2298 -2950 -2686 2732 -2706 -2220 -2916 -2876 -2256 -2286 -2718 -2242 -2510 -2882 -2812 -2776 2836 2438 -2374 2690 -2762 -2692 -2646 2622 2260 -2606 -2598 2652 -2298 -2564 -2642 -2818 -2996 -2646 -2682 -2264 -2940 -2424 -2356 -2930 -2676 2222 -2350 -2860 -2646 -2830 2974 -2924 -2626 -2918 -2322 2282 -2584 -2446 2696 -2764 -2658 -2938 -2424 -2550 -2642 2614 -2688 -2532 -2380 -2246 -2314 -2380 -2296 -2638 2424 2592 -2502 -2798 -2916 2452 -2794 -2982 -2916 -2830 -2382 -2716 -2954 -2900 -2996 -2338 -2948 -2746 2600 -2458 -2224 -2692 -2490 -2288 -2830 -2220 -2904 -2356 -2262 -2390 -2900 -2384 -2270 -2556 -2582 -2946 -2904 -2982 -2936 -2358 -2662 -2232 -2996 -2230 -2946 -2348 -2640 2420 -2338 2560 2848 -2942 -2244 -2942 -2514 2594 2796 -2722 -2848 -2938 -2296 -2762 -2944 2284 -2956 -2958 -2578 -2580 -2446 -2430 -2982 2906 -2950 -2220 -2996 2898 -2326 -2952 -2942 -2354 2938 -2756 -2278 2500 -2920 -2402 -2544 -2226 -2380 2642 -2716 -2860 -2620 -2920 -2512 2276 -2934 -2588 -2496 2264 -2902 -2576 -2300 -2944 -2552 2698 2576 2554 -2542 -2920 -2632 -2538 -2290 -2376 -2738 -2928 2708 -2822 -2240 -2682 -2956 2652 -2464 -2974 -2900 -2940 -2590 2222 2638 -2320 -2234 2516 -2232 -2468 -2480 -2420 -2254 -2772 -2646 2432 -2222 -2722 -2996 -2444 -2692 -2378 2708 -2552 -2264 -2500 2524 -2550 -2716 2960 -2958 -2802 -2522 -2506 -2550 -2752 -2954 -2622 -2224 -2840 2718 -2806 -2842 -2476 2390 -2672 -2816 -2692 -2974 2526 -2642 -2980 -2690 -2732 -2820 -2940 2360 -2910 -2910 -2904 -2692 -2978 2810 2284 2464 -2716 -2296 2590 -2980 -2240 -2570 -2618 -2328 -2974 -2220 -2902 -2240 2222 2236 -2446 2696 -2760 -2716 -2486 -2904 -2728 -2904 -2766 -2392 -2768 2868 -2982 -2920 -2322 -2512 -2480 -2288 -2324 -2350 2856 -2952 -2246 -2904 -2758 -2438 -2934 -2860 -2260 -2550 -2632 2290 -2988 -2436 -2264 -2346 -2342 -2682 -2646 -2956 -2904 -2286 -2378 -2918 2444 -2890 -2710 -2624 -2220 -2944 -2224 -2816 -2642 -2980 -2346 -2682 -2224 -2508 -2862 -2524 2574 -2658 -2642 -2990 -2866 -2570 2354 -2454 2220 2674 -2350 -2850 -2780 -2682 -2992 -2650 -2508 -2708 -2766 -2532 -2292 -2262 -2860 -2264 -2294 -2778 2382 -2946 -2980 -2702 -2324 -2968 -2472 -2392 -2448 -2452 -2758 2288 -2498 -2932 -2718 -2522 -2786 -2940 -2938 -2844 -2608 -2662 -2440 -2768 -2606 -2536 -2922 2750 -2700 -2720 -2916 2752 -2942 -2450 -2592 -2760 -2274 2380 -2224 -2590 -2966 -2902 -2822 -2752 2280 -2810 2558 -2590 -2420 -2448 2874 -2950 2652 -2628 2308 -2380 -2850 -2898 -2440 -2382 -2406 2934 -2746 -2404 -2722 2470 -2692 -2504 -2950 -2678 -2710 2840 -2616 -2744 -2940 -2730 -2676 -2330 -2976 -2784 2388 -2336 -2870 -2272 -2532 -2834 -2880 -2350 -2584 -2958 -2640 -2776 -2686 -2570 2616 -2538 2402 -2422 -2368 -2280 -2422 -2858 -2770 2240 -2724 -2936 -2564 2442 2508 -2672 -2830 -2724 -2922 -2676 -2366 -2348 -2790 -2722 -2380 -2582 2762 -2694 -2484 -2684 -2260 -2688 -2684 -2904 -2804 -2918 -2446 -2242 -2950 -2504 -2356 2442 -2632 2748 -2732 -2636 -2808 2222 -2404 -2844 2574 -2710 -2514 -2942 2364 -2260 -2876 -2298 -2570 -2580 -2980 -2408 -2650 2252 -2554 -2226 -2638 -2980 -2256 -2412 -2914 2928 -2876 -2562 2234 -2368 -2424 2436 2220 -2648 -2648 2416 -2260 -2956 -2498 -2990 -2948 -2950 -2642 -2860 -2800 -2830 2816 -2904 -2830 -2980 -2914 2896 -2466 -2412 -2296 -2602 -2284 2594 -2648 -2716 -2886 -2996 -2446 -2672 -2988 -2294 -2270 -2326 -2294 -2226 -2278 -2856 -2730 -2264 -2914 -2864 -2826 -2950 -2272 -2920 -2938 -2664 -2310 -2968 -2646 -2490 -2646 -2732 -2858 -2940 2644 -2942 -2266 -2576 -2728 2344 -2934 -2894 -2560 -2990 2982 2284 -2576 -2470 -2900 -2554 -2610 -2316 2608 -2522 -2712 -2702 -2578 2806 -2788 -2580 -2334 2964 -2406 2316 -2450 -2244 -2262 -2996 2642 -2452 -2302 -2510 -2292 -2610 -2850 -2676 -2932 -2246 -2396 -2820 -2682 2374 -2502 -2220 -2242 -2860 -2686 2450 -2354 -2390 -2480 -2420 -2990 -2676 -2904 -2584 -2920 -2698 -2460 -2762 -2408 -2274 -2498 -2902 -2222 -2290 2612 -2780 -2956 -2572 -2850 -2904 -2648 -2444 -2920 -2722 -2366 -2794 -2332 2390 -2908 -2290 -2972 -2678 -2896 2492 -2224 -2334 -2590 -2840 2668 -2454 -2902 -2336 -2820 -2862 -2986 -2228 -2552 -2820 -2944 -2554 -2636 -2798 2402 -2682 2266 2278 2448 -2732 -2934 -2582 2238 -2928 2254 -2876 2268 -2492 -2552 -2774 2314 2792 -2324 -2652 -2602 -2982 -2448 -2378 -2970 -2250 -2980 -2956 -2222 -2848 -2692 -2944 -2514 -2624 -2346 -2840 -2408 -2644 -2904 -2942 2440 -2956 -2334 2506 2220 -2788 -2624 -2584 -2304 2572 2494 -2292 -2488 -2616 -2280 -2974 2912 -2996 -2952 -2330 -2408 -2950 -2920 -2932 -2612 -2254 -2478 -2584 -2590 -2646 2514 -2898 -2906 -2792 -2950 -2906 -2948 -2766 -2366 -2776 -2548 -2820 -2900 2378 -2824 -2728 -2426 -2294 -2752 -2454 -2940 -2874 2860 -2712 2464 -2606 -2938 2826 -2944 -2748 -2756 -2844 2678 -2220 -2638 -2824 -2870 2808 -2446 -2480 -2988 -2880 -2248 -2820 -2990 -2260 -2680 -2234 -2926 -2480 -2322 -2664 2344 -2594 -2810 2952 -2670 -2324 -2770 -2260 -2936 2292 -2722 -2800 -2368 2578 -2764 2452 -2404 -2270 -2690 -2502 -2516 -2306 -2608 -2292 -2920 -2946 -2236 -2940 -2278 -2982 -2238 -2462 2862 -2902 -2252 2814 -2886 -2302 -2692 -2576 2260 -2952 -2384 -2690 -2224 -2586 -2400 2682 -2810 -2942 -2684 2906 -2618 -2774 -2820 -2244 -2620 -2806 -2916 -2420 -2360 -2454 -2432 -2990 2326 -2634 -2736 -2830 -2578 -2776 2776 -2654 -2368 2284 -2368 -2486 -2718 -2234 -2252 -2258 -2486 2220 -2820 -2932 -2942 -2280 -2868 -2568 -2444 -2722 -2996 -2804 -2968 -2220 -2222 -2366 -2944 -2472 2874 2470 2954 -2950 -2440 2942 -2946 -2676 -2282 -2228 -2542 2864 -2550 2948 -2472 -2486 -2270 -2476 -2622 -2558 -2384 -2862 -2314 2440 -2976 -2466 -2386 -2224 -2520 -2314 -2274 -2480 -2438 -2950 -2340 -2844 -2876 -2264 -2642 -2706 -2692 -2900 -2718 -2690 -2904 -2978 -2956 -2842 -2592 -2996 2982 -2990 2494 -2990 -2772 -2482 -2250 2900 -2298 -2862 2552 2440 -2978 -2240 -2590 -2534 -2996 -2722 2458 -2382 -2986 -2944 -2738 -2940 -2510 -2744 2242 -2296 -2940 -2900 -2848 -2356 -2450 -2944 -2562 2966 -2990 -2514 2220 -2924 -2908 2308 -2940 -2862 -2548 -2692 -2534 -2530 -2860 -2748 -2808 -2904 -2900 -2396 2384 -2982 2734 -2606 -2492 -2666 -2888 -2944 -2826 -2980 -2760 -2900 -2638 -2818 -2638 -2406 -2370 2322 -2260 -2364 -2292 2788 -2732 -2466 -2290 -2300 2662 -2330 -2556 -2264 2466 -2924 -2270 -2346 -2780 -2996 -2606 -2846 2402 -2368 -2492 -2514 -2900 2234 -2276 -2944 -2516 -2982 -2606 -2880 -2314 -2790 -2850 2288 -2260 -2528 -2740 2952 -2252 -2820 -2830 -2860 -2904 -2250 -2276 -2276 -2280 -2860 -2250 -2336 -2956 -2534 -2436 -2942 2924 -2872 -2908 -2354 2652 -2804 -2780 -2900 -2272 -2488 -2536 -2940 -2720 -2220 -2736 -2684 -2606 -2662 -2958 -2274 -2850 -2494 -2954 -2278 -2624 -2350 -2650 -2860 -2498 -2600 2444 -2968 -2912 -2750 -2990 -2918 -2490 -2296 -2692 -2364 -2960 2680 -2464 -2798 -2682 -2522 -2308 -2554 -2738 -2316 -2230 -2240 -2480 -2740 -2420 -2990 -2354 -2668 -2982 -2860 -2942 -2446 -2792 -2650 -2438 -2444 -2942 -2830 -2332 -2656 -2422 -2692 2912 2828 -2408 -2504 2234 -2864 2704 -2264 -2464 2662 -2980 -2960 -2642 -2568 -2706 -2848 -2478 -2970 -2592 -2332 -2224 -2806 -2778 -2704 -2434 -2310 -2496 -2918 2978 -2732 -2816 2220 -2912 -2974 -2606 -2956 -2938 -2562 -2490 -2506 -2668 -2286 -2428 -2956 -2482 -2754 -2922 2242 2400 -2280 -2968 2926 -2338 -2556 -2624 -2808 -2650 -2720 -2750 -2938 -2560 -2774 -2956 -2940 -2704 -2934 -2820 -2942 -2722 2232 2734 -2982 -2860 -2400 -2862 -2722 -2346 -2316 -2634 -2468 -2256 -2220 -2300 -2300 -2506 -2860 -2334 -2524 -2596 -2552 2506 -2682 -2980 -2506 -2590 -2858 -2248 -2554 2316 -2616 -2718 -2594 -2552 -2904 -2298 -2634 -2610 -2580 -2992 -2550 -2296 -2648 -2928 2676 -2250 2268 -2668 -2222 -2366 -2744 -2786 -2604 -2474 -2800 -2584 -2638 -2922 -2938 -2456 -2474 -2916 -2548 -2270 -2964 -2584 -2942 2480 -2774 2698 -2602 -2646 2450 2288 2932 -2956 -2314 -2934 -2394 2880 -2808 -2442 -2712 -2346 -2562 -2604 -2956 -2750 -2250 -2394 -2850 -2790 -2282 -2536 2826 2314 2220 -2284 -2744 -2424 -2406 -2722 -2878 -2996 -2722 -2448 -2928 -2688 -2366 -2910 2820 -2422 -2582 -2996 -2224 -2680 -2682 2782 2462 -2274 -2532 -2316 -2904 -2396 2956 -2956 -2326 -2684 -2996 -2440 -2422 -2644 -2288 -2676 -2262 2946 -2732 -2288 -2950 -2324 -2860 -2810 -2702 -2862 2268 -2848 -2508 -2920 -2398 -2916 -2944 -2648 -2708 -2768 -2260 -2876 -2510 -2916 -2688 -2250 2734 -2292 -2500 -2292 -2244 -2260 2426 -2790 -2720 -2920 -2292 -2690 -2438 -2442 -2314 -2958 2390 -2290 -2506 -2514 -2538 -2252 2730 -2902 -2272 -2904 -2516 -2658 -2492 2554 -2980 -2316 -2408 2724 -2582 -2710 -2686 -2820 -2760 -2790 -2940 -2554 -2650 -2536 -2942 -2830 -2640 -2448 -2252 -2420 2662 2556 -2912 -2690 -2636 -2414 -2286 -2960 -2858 -2262 -2904 -2320 -2850 -2732 -2634 -2366 2354 -2934 -2940 -2682 -2782 -2440 -2530 2402 -2700 -2292 -2492 -2258 -2606 -2932 -2916 -2222 -2692 -2660 -2330 -2942 -2760 -2484 -2980 2956 -2956 -2982 2564 -2236 2918 -2286 -2550 -2630 -2748 -2332 2236 2380 -2692 2706 -2698 -2460 -2670 2612 -2944 -2522 2260 2248 -2220 -2608 -2946 -2650 -2532 -2746 -2942 -2776 -2974 -2956 -2220 2984 -2818 -2490 -2736 -2720 -2706 -2798 2422 -2456 -2898 -2738 -2854 -2296