Name | csp/fapp/fapp30/ normalized-fapp30-3000-9.xml |
MD5SUM | 7d795480c7331ac1d2900d14fd419266 |
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 | 89.7894 |
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) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 ESAC (complete) | 2097838 | SAT | 89.7894 | 90.6644 |
SAT4J CSP 2.1.1 (complete) | 2083527 | ? | 0.616905 | 0.734321 |
Sugar v1.14.6+minisat (complete) | 2083534 | ? | 992.655 | 1003.53 |
Sugar v1.14.6+picosat (complete) | 2083533 | ? | 1009.24 | 1037.28 |
bpsolver 09 (complete) | 2083537 | ? (exit code) | 36.1345 | 36.4369 |
Abscon 112v4 AC (complete) | 2097837 | ? (MO) | 26.22 | 28.0244 |
Concrete 2009-07-14 (complete) | 2083530 | ? (TO) | 579.77 | 2000.02 |
Concrete DC 2009-07-14 (complete) | 2083531 | ? (TO) | 656.14 | 2000.02 |
Mistral 1.545 (complete) | 2083536 | ? (TO) | 1800.03 | 1807.23 |
pcs 0.3.2 (complete) | 2083528 | ? (TO) | 1800.11 | 1806.56 |
pcs-restart 0.3.2 (complete) | 2083529 | ? (TO) | 1800.11 | 1813.25 |
Choco2.1.1b 2009-07-16 (complete) | 2116830 | ? (TO) | 1800.16 | 1804.82 |
Choco2.1.1 2009-06-10 (complete) | 2083532 | ? (TO) | 1801.31 | 1808.11 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2938 -2296 -2876 -2348 -2674 -2352 -2646 -2982 -2942 -2618 -2374 -2652 -2226 -2610 -2224 -2486 -2732 -2992 2442 -2870 -2262 -2950 -2360 -2996 -2392 -2816 -2510 -2536 -2760 -2762 -2366 -2290 2510 -2846 -2274 -2312 -2812 -2336 -2252 2276 -2940 -2444 -2590 -2232 -2960 -2268 2894 -2608 -2778 2766 -2356 -2410 2472 -2956 2384 -2496 -2846 -2422 -2474 2510 -2894 -2956 -2940 -2638 -2956 -2622 -2966 -2414 2648 2440 -2250 -2948 2220 -2790 -2256 2404 -2272 -2576 -2808 2972 2928 -2230 2926 -2478 -2252 -2482 -2692 -2640 -2516 -2294 2608 -2406 -2748 -2280 -2324 -2848 -2690 -2588 -2896 -2960 -2246 -2600 -2264 -2588 -2610 -2478 2636 2692 -2266 -2646 2464 -2860 2262 -2640 -2898 -2758 -2592 -2436 2222 -2386 -2600 -2870 -2402 -2972 2490 -2474 -2622 -2620 -2406 -2690 2538 -2680 2774 -2590 2642 -2294 -2936 -2634 -2940 -2776 -2732 -2548 -2738 -2878 -2962 -2650 -2596 -2622 -2900 -2282 -2356 -2550 2220 -2806 -2992 -2318 -2488 -2606 -2744 -2790 -2680 -2290 -2994 -2284 -2620 -2288 2400 -2654 -2466 2334 -2238 -2732 -2650 -2642 -2902 -2408 2404 -2952 -2820 -2750 -2956 -2602 -2916 2936 -2950 2714 -2674 -2786 2912 -2410 -2954 -2816 -2840 2380 -2448 -2368 -2926 -2446 -2760 -2222 -2968 -2624 -2982 -2282 -2982 -2678 -2904 -2760 -2540 2812 -2904 -2580 -2238 -2438 -2630 -2812 -2860 -2324 -2386 -2962 -2516 -2640 -2340 2654 -2856 -2568 -2224 -2846 -2936 -2392 2598 2592 -2520 2394 2536 -2964 -2608 -2762 -2876 -2406 -2600 -2334 -2442 -2930 2764 -2760 -2306 -2886 -2406 -2774 -2686 -2860 -2668 -2454 2260 2850 -2926 -2514 -2288 2884 -2858 -2710 -2524 2234 -2996 -2576 -2266 -2982 2810 -2324 -2920 -2602 2724 -2940 -2288 -2260 -2848 -2296 -2622 -2486 -2950 -2262 -2310 -2274 -2884 -2876 -2222 -2876 -2716 -2966 2524 -2334 -2500 2282 -2382 -2590 2260 -2982 -2332 -2584 -2782 -2980 -2940 -2282 -2438 2252 -2720 -2944 -2648 -2944 -2654 -2492 -2692 2938 -2220 -2766 -2514 -2478 -2384 -2266 -2886 -2662 -2944 -2240 2564 -2890 -2858 -2256 -2944 -2600 -2582 -2440 -2626 -2940 -2248 -2452 -2480 -2692 2896 -2290 -2778 -2230 -2646 -2606 -2378 -2966 -2260 -2384 -2928 2956 -2940 -2924 -2816 -2760 -2614 -2928 -2650 -2648 2246 -2880 -2250 -2472 -2406 -2950 -2940 -2390 -2448 -2314 -2350 -2738 -2894 -2636 -2460 -2622 -2950 -2722 -2900 2296 -2260 -2244 -2622 -2730 2620 -2630 -2688 -2260 -2620 -2306 -2548 -2400 -2684 -2680 2836 -2384 -2394 -2624 -2406 -2954 -2460 -2816 -2290 -2964 -2888 -2916 -2544 -2380 -2806 -2996 -2688 -2548 -2944 -2942 -2548 -2938 -2990 -2990 -2736 -2916 -2968 2994 -2240 -2610 -2808 -2414 -2736 -2748 -2996 -2262 -2284 -2452 2772 2272 -2820 -2264 -2622 -2248 -2674 -2896 -2538 2898 -2530 -2956 -2560 -2910 -2712 -2860 -2856 -2726 -2924 -2898 -2806 -2612 -2316 -2726 -2792 -2462 -2824 -2996 -2250 -2910 -2996 -2944 -2264 -2486 -2678 -2476 -2748 -2592 -2690 -2290 2526 2328 -2568 -2942 -2916 -2320 -2876 2722 -2944 -2628 -2956 -2902 -2622 -2222 -2442 2434 -2366 -2514 -2932 -2360 -2904 -2980 -2514 -2554 -2642 -2370 -2814 -2688 -2854 -2894 -2400 -2958 -2640 -2488 -2838 -2260 2910 -2432 -2278 -2958 -2290 -2940 2600 -2642 -2862 2282 -2690 -2564 -2514 -2988 2764 -2570 2484 -2638 -2996 -2836 -2904 -2982 2594 2954 -2244 -2914 -2848 -2774 -2666 -2808 -2732 -2440 -2762 -2406 -2268 -2942 -2990 2988 -2280 -2976 -2710 -2650 -2956 -2438 -2918 -2992 -2882 -2280 2610 -2956 -2690 -2814 -2900 -2908 -2712 -2904 -2282 -2692 -2548 2838 2412 -2894 -2420 -2650 -2260 -2512 -2946 2426 -2296 2274 -2290 -2226 2556 -2630 -2880 2530 -2996 -2666 -2912 -2710 2424 -2342 -2890 -2976 -2724 -2548 2756 -2862 -2688 -2670 -2606 -2598 -2606 -2752 -2822 2774 -2918 -2450 -2940 -2916 2886 -2504 -2406 -2374 2638 -2820 -2514 -2898 2676 -2296 -2224 -2830 -2280 -2316 -2842 -2896 -2228 -2802 -2368 -2762 -2468 -2614 -2862 -2640 2434 -2738 2440 -2760 -2220 2436 2420 -2854 -2554 2982 -2498 -2340 -2378 -2468 -2622 -2742 -2544 -2900 -2590 -2960 -2228 2356 -2412 -2940 -2942 -2948 -2772 -2990 -2752 2722 -2956 2220 -2664 -2646 2826 -2926 -2406 -2252 -2260 -2254 -2644 2674 -2794 -2234 -2296 2260 -2370 2936 -2996 -2404 -2872 -2368 2398 2458 -2698 -2454 -2330 -2898 -2808 -2860 -2380 -2496 -2670 -2682 -2884 2344 -2554 -2484 -2820 -2942 -2814 -2608 -2682 -2980 -2724 -2256 -2822 2220 -2860 -2432 -2290 2564 -2910 2978 -2268 -2950 -2372 -2324 -2726 2996 -2876 -2260 -2960 -2634 2880 -2790 -2486 -2900 -2512 -2632 -2256 -2550 -2880 -2946 -2580 2982 2948 -2310 -2284 -2776 -2648 -2262 2734 2812 -2514 -2876 2326 -2766 2924 -2534 -2782 2260 -2950 -2536 -2428 -2950 -2298 -2312 -2284 -2790 -2250 -2570 -2790 -2940 -2550 -2398 -2646 -2732 -2274 -2802 -2366 -2678 -2588 -2272 -2602 -2688 2680 -2772 -2554 -2494 2996 -2756 2688 -2498 -2584 -2594 -2870 -2332 -2950 -2516 -2238 -2730 -2860 -2620 -2996 -2642 -2536 -2276 -2966 -2648 -2290 2454 -2970 -2252 -2832 2386 -2676 -2982 -2296 -2636 -2226 -2604 -2950 -2940 -2228 -2448 -2248 -2260 2296 -2710 -2406 -2290 -2632 -2648 2940 -2900 -2926 -2594 -2486 -2344 2270 -2284 2560 2828 -2862 -2488 -2876 -2290 -2866 -2938 2678 -2948 -2786 -2592 -2366 -2920 -2364 2996 -2240 -2752 -2888 -2956 -2274 -2982 -2996 -2872 -2278 -2862 -2468 -2578 -2646 -2372 -2922 -2426 -2262 -2260 -2990 2254 2280 -2494 -2470 -2760 -2938 -2776 -2926 2260 -2288 -2220 -2640 2830 -2810 -2672 -2776 -2926 -2996 -2910 -2946 -2536 -2344 -2506 -2538 -2950 -2906 2898 -2290 -2708 -2820 2262 -2996 -2510 -2912 -2322 -2574 -2486 -2262 -2708 -2474 -2996 -2956 2912 -2670 -2648 -2460 2788 -2260 -2996 2654 -2954 -2264 -2948 -2248 -2774 -2584 -2624 -2668 -2640 -2758 -2986 2956 -2444 -2338 2732 -2832 -2334 2418 -2650 2908 -2500 -2650 -2226 -2258 -2796 -2738 -2446 -2524 -2922 -2912 -2290 -2976 -2612 -2766 2872 2250 -2682 -2952 2684 -2900 -2514 -2446 -2896 -2938 -2682 -2782 -2904 -2598 -2488 -2570 -2624 -2956 -2276 2248 2610 -2322 -2550 -2588 -2732 -2910 -2514 2648 -2860 -2722 -2314 -2232 2350 -2554 -2956 -2920 -2558 2972 -2646 -2990 -2640 -2848 -2450 -2290 -2282 -2234 -2868 -2830 -2752 -2424 -2738 -2558 -2358 2396 -2246 -2640 -2944 -2790 2274 -2772 2874 2542 -2604 -2370 -2854 -2364 -2454 -2266 -2380 -2594 -2636 -2682 -2412 -2318 -2838 -2856 -2790 -2772 -2260 -2638 -2854 -2840 2880 -2980 -2252 -2688 2658 -2906 -2890 -2862 -2680 -2590 -2980 -2900 -2258 -2294 -2946 -2352 -2492 -2554 -2338 2990 -2250 -2720 -2744 -2378 -2680 -2280 -2244 -2550 -2876 -2944 -2634 -2724 -2648 -2766 -2250 -2364 -2606 -2956 -2946 -2340 -2386 -2644 -2784 -2942 -2942 -2872 -2388 -2438 -2590 2276 -2578 -2544 -2982 -2502 -2558 2992 -2352 -2978 -2250 -2606 -2622 -2608 -2250 -2482 -2956 -2556 -2716 -2732 -2690 -2924 -2576 -2938 -2940 -2988 -2570 2648 -2794 -2682 -2828 -2650 -2702 -2646 2318 -2500 -2304 -2940 2296 -2916 -2590 -2686 -2662 -2868 -2250 -2762 -2366 -2820 -2796 -2808 -2748 -2992 -2940 -2952 -2540 -2478 -2554 -2376 -2274 -2942 -2688 -2996 -2984 -2692 2994 -2898 -2562 -2280 -2690 -2904 -2790 -2550 2736 -2572 -2512 -2802 -2996 -2902 -2646 2910 -2722 -2904 -2980 -2982 -2732 -2304 2294 -2358 2852 2580 -2950 -2896 -2722 2628 -2476 2288 -2644 -2422 -2990 -2918 -2830 -2956 -2762 -2682 -2686 -2624 -2302 -2890 -2702 -2220 2752 -2912 -2644 -2402 -2938 -2876 -2856 2782 -2902 -2876 -2500 -2262 -2720 -2712 -2946 -2410 2530 -2704 2278 -2714 -2876 -2806 -2894 2414 -2474 -2830 2906 -2270 -2512 -2220 -2552 -2556 -2248 -2830 2946 -2762 -2292 -2720 -2486 -2762 -2806 -2728 -2876 -2600 -2362 -2900 -2454 2702 -2498 -2692 -2824 -2872 -2940 -2358 -2768 -2668 -2594 -2982 -2742 -2574 -2234 -2268 -2680 -2944 -2698 -2392 -2702 -2888 -2554 2630 -2244 -2268 2646 -2406 -2980 -2746 -2768 -2582 -2602 -2652 -2582 -2598 -2512 -2722 -2816 -2836 -2954 -2366 -2262 -2280 -2860 -2732 -2776 -2288 -2978 -2280 -2944 -2720 -2872 -2840 -2942 -2590 -2354 2228 -2934 2622 2724 -2860 -2878 -2250 -2894 -2292 -2770 -2768 -2478 -2960 -2994 -2938 -2868 -2406 -2982 -2582 -2354 -2794 -2906 -2294 -2364 -2744 -2272 -2682 -2624 -2546 2550 -2290 -2506 2262 -2916 -2440 2350 -2266 2416 -2222 -2366 -2988 -2582 -2278 -2230 -2680 -2942 -2564 -2514 -2542 -2952 -2754 -2814 -2946 -2406 -2384 -2442 -2818 -2720 2280 -2564 2950 -2858 -2292 -2902 -2242 2900 -2328 -2266 -2982 -2926 -2698 -2680 -2820 -2682 -2882 2290 -2856 -2860 -2256 -2260 -2536 -2220 2868 -2996 -2240 -2960 -2648 2986 2440 -2990 -2562 -2426 2956 -2652 -2552 -2262 -2384 -2446 -2292 2672 -2900 -2730 -2424 -2830 -2414 -2996 2890 -2326 -2902 -2470 2836 2814 -2956 -2764 -2718 -2370 -2446 2412 -2220 -2352 -2944 -2292 -2784 -2254 -2864 -2590 -2402 -2460 -2582 -2990 -2512 2400 -2640 2564 -2860 -2996 -2300 -2996 -2864 -2704 -2610 -2260 -2936 -2266 -2230 2288 -2298 -2944 -2406 -2406 2524 -2512 -2234 -2868 -2606 2490 -2988 2228 2524 -2502 2938 -2938 -2352 -2634 2434 -2762 -2312 -2862 2524 -2926 -2504 -2226 -2298 -2950 -2688 2732 -2706 -2220 -2916 -2874 -2256 -2286 -2720 -2242 -2512 -2882 -2814 -2772 2834 2436 -2364 -2690 -2684 -2692 -2646 2628 -2260 -2606 -2598 -2658 -2298 -2566 -2642 -2818 -2994 -2646 -2680 -2262 -2940 -2424 -2358 -2926 -2648 2222 -2350 -2860 -2646 -2830 2978 -2924 -2626 -2996 -2322 -2284 -2584 -2446 -2700 -2758 -2630 -2936 -2424 -2550 -2640 2610 -2688 -2532 -2412 -2242 -2314 -2382 -2296 -2636 -2426 -2594 -2472 -2792 -2916 -2460 2792 -2982 -2916 -2830 -2388 -2688 -2954 -2898 -2996 -2340 -2948 -2754 -2602 -2454 -2220 -2692 -2494 -2292 -2830 -2220 -2904 -2356 2260 -2390 -2898 -2384 -2270 2554 -2580 2944 -2904 -2978 -2934 -2330 -2662 2220 -2994 -2230 -2944 -2346 -2640 2428 -2340 2560 2848 -2942 -2242 -2950 -2512 2594 -2796 -2722 -2846 -2934 -2296 -2762 -2942 2284 -2956 -2958 -2578 -2580 -2446 2398 -2982 -2986 -2950 -2220 -2996 2894 -2404 -2952 -2942 -2354 2936 -2674 -2270 2496 -2920 -2402 -2544 -2226 -2368 2642 -2634 -2858 -2620 -2918 -2480 2274 -2934 -2588 -2496 2264 -2902 -2576 -2290 -2944 -2552 2698 -2548 2554 -2512 -2920 -2632 -2538 -2290 -2376 -2738 -2926 2706 -2820 -2240 -2682 -2956 2654 -2466 -2976 -2898 -2940 -2588 2220 2632 -2320 -2234 2510 -2230 -2438 -2480 -2422 -2252 -2766 -2646 2432 -2220 -2720 -2996 -2444 -2692 -2378 2714 -2548 -2264 -2500 2524 -2550 -2724 2960 -2956 -2774 -2522 -2496 -2550 -2752 -2954 -2624 -2224 -2840 -2690 -2806 -2842 2476 -2394 -2668 -2824 -2692 -2972 2526 -2642 -2980 -2688 -2728 -2820 -2938 2360 -2910 -2910 -2904 -2692 2974 2812 2282 2436 -2720 -2296 2590 -2980 -2240 -2570 -2618 -2338 -2974 2220 -2902 -2238 -2222 2236 -2446 -2706 -2762 -2716 -2486 -2904 -2728 -2904 -2766 -2392 -2768 2870 -2982 -2918 -2320 -2512 -2480 -2288 -2324 -2352 2854 -2950 -2246 -2906 -2758 -2438 -2934 -2860 -2274 -2550 -2634 2290 -2982 -2424 -2264 -2346 -2342 -2682 -2646 -2956 -2904 -2256 -2380 -2910 2444 -2886 -2708 -2624 -2220 -2946 -2224 -2814 -2642 -2980 -2346 -2680 2222 2510 -2860 -2524 2574 -2658 -2642 -2990 -2866 -2570 2354 -2454 -2224 2670 -2350 -2850 -2704 -2682 -2994 2652 -2504 -2708 -2766 -2530 2260 2260 -2860 -2264 -2294 -2776 2370 -2946 -2980 -2698 -2324 -2968 2472 -2380 -2448 -2422 -2760 2286 -2498 -2930 -2728 -2522 -2784 -2936 -2938 -2842 -2610 -2662 -2440 2768 -2606 -2536 -2922 2750 -2698 -2720 -2916 2724 -2942 -2450 -2590 -2760 -2274 -2382 -2224 -2590 2966 2900 -2820 -2722 2268 -2810 2550 -2590 -2408 -2446 2874 -2950 -2650 -2630 -2306 -2380 -2852 -2898 -2440 -2382 -2406 2936 -2754 -2402 -2722 -2472 -2692 -2504 -2950 -2680 -2710 -2840 -2616 2748 -2940 -2730 -2676 2330 -2974 -2784 2398 -2336 -2870 -2270 -2536 -2830 -2880 -2350 -2582 2958 -2640 -2776 -2686 -2570 -2586 -2538 -2404 -2422 -2366 -2278 -2410 -2858 -2768 -2240 -2724 -2936 -2566 2442 2510 -2674 -2830 -2722 -2920 -2672 -2366 2346 -2790 -2722 -2388 -2582 -2762 -2694 -2484 2684 -2260 -2688 -2684 2904 2798 -2916 -2446 -2244 -2950 -2500 -2356 2444 -2632 2742 -2732 -2636 -2808 2220 -2404 -2838 2564 -2708 -2514 -2942 -2366 -2260 -2876 -2298 -2568 -2580 -2980 -2406 -2648 2220 -2552 -2226 -2638 -2980 2256 -2400 -2914 2928 -2876 -2562 2232 -2366 -2396 -2438 2220 -2648 -2648 2416 -2262 -2956 -2486 -2990 -2948 -2950 -2642 -2870 -2798 -2830 2816 -2904 -2830 -2980 -2916 2894 -2464 -2402 -2306 -2602 -2284 2594 -2648 2716 -2966 -2996 -2446 -2670 -2988 -2292 -2260 -2324 -2292 -2228 -2280 -2856 -2728 -2264 -2914 -2864 -2822 -2950 -2274 -2920 -2938 -2664 -2312 -2968 -2644 -2490 -2646 -2732 -2858 -2938 2646 -2942 -2234 -2576 -2728 -2346 -2930 -2894 2560 -2990 2986 -2286 -2574 -2470 -2900 -2554 -2610 -2316 2608 -2522 -2708 -2674 -2578 2800 -2788 -2580 -2332 2962 -2406 2316 -2452 -2234 -2260 -2922 -2642 -2440 -2302 -2480 -2292 -2610 -2850 -2674 -2934 -2234 -2396 -2820 -2680 2374 -2502 -2220 -2240 -2860 -2684 2420 -2354 -2390 -2474 -2420 -2996 -2676 -2902 -2584 -2914 -2668 -2454 -2762 -2410 -2278 -2498 -2898 2224 -2288 -2612 -2742 -2956 -2572 -2850 -2904 -2648 -2446 -2920 -2722 -2366 -2756 -2342 2380 -2904 -2290 -2972 -2688 -2896 2492 -2222 -2332 -2592 -2840 2664 -2452 -2902 -2336 -2820 -2862 -2986 -2228 -2552 -2820 -2944 -2554 -2634 -2720 2402 -2682 2266 2278 2450 -2732 -2938 -2582 2240 -2934 2256 -2876 2238 -2494 -2552 -2774 -2324 2762 -2322 -2652 -2604 -2982 -2446 -2372 -2966 -2250 -2980 -2966 -2222 -2850 -2692 -2944 -2514 -2622 -2348 2838 -2408 -2642 -2904 -2942 -2440 -2956 -2336 2478 2274 -2788 -2624 -2584 -2296 -2564 -2496 -2302 -2486 -2616 -2282 -2976 2910 -2996 -2950 -2330 -2406 -2950 -2918 -2932 -2614 2264 -2474 -2584 -2590 -2650 2516 -2898 -2904 -2764 -2952 -2906 -2948 -2766 -2366 -2774 -2550 -2820 -2898 2380 -2824 -2728 -2396 -2296 -2750 -2458 -2940 -2870 2872 -2708 2464 -2606 -2938 2786 2944 -2748 -2732 -2846 2678 -2220 -2638 -2822 -2868 2810 -2446 -2480 -2988 -2882 -2244 -2820 -2992 -2260 -2678 -2234 -2934 2468 -2322 -2668 2338 -2594 2816 -2952 -2670 -2336 -2764 2234 -2936 -2294 -2720 -2798 -2368 2580 -2764 2452 -2404 -2272 -2690 -2506 -2514 -2294 -2610 -2292 -2920 -2942 -2236 -2938 -2278 -2982 -2238 -2462 2860 -2900 -2250 -2812 -2886 -2270 -2692 -2576 -2260 -2950 -2380 -2690 -2224 -2586 -2400 2684 -2810 -2942 -2684 -2904 2620 -2770 -2820 -2244 -2620 -2806 -2916 -2420 -2360 -2456 -2432 -2990 2328 -2636 -2736 -2830 -2578 -2778 2784 -2654 -2366 -2274 -2366 -2486 -2718 -2232 -2250 -2258 -2486 -2220 -2820 -2932 -2942 -2278 -2876 -2570 -2442 -2722 -2996 -2802 -2966 2222 -2220 -2364 -2944 -2472 2876 2472 -2956 -2950 -2428 -2950 -2946 -2676 -2282 -2226 -2538 -2864 -2550 2948 2440 -2486 -2258 -2476 -2620 -2550 -2382 -2860 -2314 2428 -2980 -2436 -2386 -2224 -2520 -2314 -2272 -2480 -2438 -2950 -2338 -2840 -2876 -2256 2644 2706 -2692 -2900 -2718 -2688 -2904 -2976 -2956 -2814 -2598 -2996 2990 -2990 2494 -2990 -2774 -2482 -2250 -2900 -2298 -2862 2558 -2440 2976 -2238 -2590 -2534 -2996 -2722 2446 -2380 -2986 -2944 -2738 -2938 -2510 -2744 2242 -2294 -2938 -2900 -2850 -2356 -2454 -2944 -2562 2966 -2990 -2514 2288 -2926 -2906 -2306 -2940 -2860 -2544 -2692 -2534 -2530 -2860 -2746 2808 -2904 -2898 -2398 2386 -2982 2730 -2606 -2492 -2668 -2886 -2944 -2828 -2976 -2760 -2898 -2640 -2818 -2638 -2406 -2370 2322 -2260 -2364 -2292 2788 -2732 -2438 2302 -2302 2632 -2330 -2550 -2264 2466 -2922 -2270 -2346 -2780 2996 -2606 -2846 2402 -2366 -2606 -2514 -2900 2236 -2290 -2944 -2516 -2982 -2606 -2880 -2318 -2790 -2850 2298 -2260 -2448 -2664 -2954 -2250 -2820 -2830 -2860 -2904 -2250 -2276 -2276 -2278 -2860 -2250 -2336 -2956 -2534 -2438 -2942 -2924 -2872 -2908 -2354 2654 -2800 -2778 -2898 -2284 -2488 2534 -2940 -2720 -2220 -2746 -2682 -2604 -2662 -2950 -2274 2822 -2494 -2952 -2278 -2624 -2350 -2650 -2860 -2494 -2600 2446 -2966 -2912 -2752 -2988 -2916 -2492 -2298 -2692 -2364 -2960 -2682 -2460 -2792 -2682 -2522 -2308 -2554 -2738 -2284 -2232 -2242 -2468 -2738 -2408 -2990 -2354 2666 -2982 -2860 -2942 -2446 -2792 -2650 -2434 -2444 -2938 -2828 -2330 -2660 -2424 -2692 2912 -2836 -2408 -2504 2248 -2864 2676 2260 2466 -2634 -2980 -2954 -2640 -2568 2722 -2848 -2480 -2966 2584 -2334 2224 -2806 -2778 -2718 -2434 -2310 -2496 -2918 -2976 -2732 -2814 2232 -2910 -2974 -2608 -2956 2936 -2562 -2490 -2510 -2668 -2284 -2428 -2956 -2484 -2754 -2922 2240 -2404 -2280 -2966 2926 -2338 -2556 -2622 -2810 -2650 -2720 -2750 -2938 -2560 -2774 -2956 -2940 -2704 -2934 -2818 -2942 -2722 -2230 -2734 -2982 -2860 -2400 -2862 -2694 -2346 -2318 -2634 -2468 -2266 -2220 -2300 -2310 -2494 -2860 -2334 -2526 -2596 -2550 -2504 -2682 -2980 -2508 -2588 -2858 -2252 -2554 2316 -2588 -2712 -2598 -2554 -2904 -2310 -2630 -2610 -2580 -2990 -2548 -2296 -2648 -2928 2680 -2250 -2238 -2670 -2222 -2366 -2744 -2794 -2604 -2474 -2798 2584 -2638 -2920 -2938 -2446 -2474 -2916 2550 -2272 -2964 -2582 -2942 2480 -2772 2698 -2678 -2646 2452 2292 2934 -2956 -2312 -2936 -2396 2878 -2808 -2444 -2710 -2340 -2562 -2602 -2956 -2748 -2248 -2392 2846 -2790 -2282 -2536 -2822 2314 2220 -2284 -2744 -2424 -2406 -2720 -2878 -2996 -2644 -2450 -2928 -2688 -2366 -2908 2818 -2428 -2580 -2996 2272 -2680 -2680 2782 2466 -2284 -2532 -2316 -2904 -2398 2956 -2956 2296 -2684 -2996 2440 -2420 -2644 -2256 -2676 -2264 2948 -2732 -2284 -2950 -2324 -2860 2810 -2702 -2862 -2268 -2856 -2508 -2892 -2398 -2916 -2944 2648 -2708 -2770 -2260 -2876 -2510 -2916 -2688 -2250 2744 -2290 -2494 -2290 -2244 -2260 2426 -2790 -2694 -2920 -2292 -2688 -2438 -2442 2314 -2956 2384 -2290 -2508 2514 -2538 -2220 2724 -2902 -2270 -2904 -2516 2628 -2500 2556 -2980 -2316 -2406 2718 -2582 -2710 -2686 -2820 -2760 -2790 -2940 -2554 -2648 -2536 -2942 -2828 -2640 -2448 -2252 -2420 2658 2558 -2910 -2688 -2636 -2404 -2286 -2960 -2932 -2260 -2904 -2320 -2856 -2732 2634 -2366 -2356 2932 -2940 -2680 -2780 -2434 -2528 -2372 -2698 -2290 -2492 -2258 -2606 -2930 -2916 -2220 -2692 -2658 -2330 -2942 -2760 -2486 -2980 2962 -2956 -2978 2564 -2248 2918 2282 -2550 -2624 -2748 -2484 2234 2380 -2698 -2708 -2670 -2460 -2314 2614 -2944 -2522 2260 2250 -2220 -2608 -2944 -2650 -2646 -2746 -2942 2784 -2974 -2958 -2220 2984 -2818 -2490 -2736 -2720 -2704 -2802 2422 -2448 -2898 -2738 -2854 -2296