CSP 2009 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp30/
normalized-fapp30-3000-9.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp30/
normalized-fapp30-3000-9.xml
MD5SUM7d795480c7331ac1d2900d14fd419266
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark89.7894
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of constraints63204
Maximum constraint arity2
Maximum domain size778
Number of constraints which are defined in extension0
Number of constraints which are defined in intension63204
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 ESAC (complete)2097838SAT 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

Additionnal information

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