CSP 2009 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp28/
normalized-fapp28-2800-9.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp28/
normalized-fapp28-2800-9.xml
MD5SUM54b400bba60c57784266f5aabcfb5702
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 benchmark49.0455
Satisfiable
(Un)Satisfiability was proved
Number of variables2800
Number of constraints22569
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension22569
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 AC (complete)2097851SAT 49.0455 49.3186
Abscon 112v4 ESAC (complete)2097852SAT 51.6202 51.9666
SAT4J CSP 2.1.1 (complete)2083604? 0.755884 0.848241
Concrete DC 2009-07-14 (complete)2083608? 412.799 413.922
Sugar v1.14.6+minisat (complete)2083611? 1049.21 1069.05
Sugar v1.14.6+picosat (complete)2083610? 1075.39 1092.64
bpsolver 09 (complete)2083614? (exit code) 11.5072 11.6191
Concrete 2009-07-14 (complete)2083607? (exit code) 494.438 495.913
Mistral 1.545 (complete)2083613? (TO) 1800.04 1808.72
pcs-restart 0.3.2 (complete)2083606? (TO) 1800.11 1803.25
pcs 0.3.2 (complete)2083605? (TO) 1800.14 1804.04
Choco2.1.1b 2009-07-16 (complete)2116837? (TO) 1800.16 1816.73
Choco2.1.1 2009-06-10 (complete)2083609? (TO) 1800.22 1808.75

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