Name | csp/fapp/fapp27/ normalized-fapp27-2550-8.xml |
MD5SUM | 80784ad202db7a8a76db2282d616ca89 |
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 | 32.0761 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2550 |
Number of constraints | 10886 |
Maximum constraint arity | 2 |
Maximum domain size | 242 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 10886 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 AC (complete) | 2097915 | SAT | 32.0761 | 32.3627 |
Abscon 112v4 ESAC (complete) | 2097916 | SAT | 32.3471 | 32.5836 |
Concrete 2009-07-14 (complete) | 2083959 | SAT | 131.252 | 131.842 |
Concrete DC 2009-07-14 (complete) | 2083960 | ? | 184.347 | 185.314 |
SAT4J CSP 2.1.1 (complete) | 2083956 | ? | 492.437 | 493.172 |
bpsolver 09 (complete) | 2083966 | ? (exit code) | 8.41372 | 8.49192 |
Sugar v1.14.6+minisat (complete) | 2083963 | ? (MO) | 158.722 | 165.83 |
Sugar v1.14.6+picosat (complete) | 2083962 | ? (MO) | 195.899 | 199.73 |
Mistral 1.545 (complete) | 2083965 | ? (TO) | 1800.11 | 1803.61 |
pcs 0.3.2 (complete) | 2083957 | ? (TO) | 1800.11 | 1808.48 |
pcs-restart 0.3.2 (complete) | 2083958 | ? (TO) | 1800.13 | 1802.36 |
Choco2.1.1b 2009-07-16 (complete) | 2116869 | ? (TO) | 1800.14 | 1803.2 |
Choco2.1.1 2009-06-10 (complete) | 2083961 | ? (TO) | 1800.17 | 1808.58 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2624 -2252 -2240 -2240 -2240 -2720 -2240 -2280 2632 -2240 -2420 2720 -2252 -2276 -2720 2720 -2316 -2640 2240 2616 2644 -2240 -2240 2240 -2680 -2676 2712 -2720 -2352 -2680 -2672 -2364 -2680 -2680 2240 -2440 -2352 2680 -2592 -2404 -2240 2520 -2720 2680 2616 2472 -2300 -2528 -2400 -2632 -2528 -2484 2648 2376 -2380 -2680 -2240 -2636 -2544 -2240 -2240 -2544 2568 -2484 2612 -2504 -2388 -2240 -2276 -2240 -2280 -2720 -2720 -2440 -2720 -2288 -2328 -2340 -2284 -2416 2600 2656 -2280 2568 -2720 -2484 -2720 -2328 -2300 -2404 -2340 -2720 -2600 -2368 -2240 -2680 -2252 -2356 2524 -2280 2560 -2240 2464 -2256 -2240 -2240 -2556 2332 -2308 2668 -2308 -2240 -2684 -2488 -2368 -2408 -2680 -2240 -2532 -2460 -2672 -2428 -2544 -2720 -2412 -2244 -2280 2720 -2432 -2312 -2680 -2316 2280 -2428 -2376 -2520 -2556 -2540 -2280 -2696 2680 -2240 -2280 2696 -2240 -2680 -2720 -2364 -2388 -2580 2716 -2240 -2320 -2256 -2384 2680 -2396 -2536 -2544 -2240 -2504 2676 -2240 -2640 -2332 -2280 -2568 2640 -2680 -2240 -2300 -2720 -2720 -2720 -2624 -2572 -2428 -2348 -2636 -2672 2240 -2680 -2680 -2280 -2720 -2280 -2528 -2532 -2432 2680 -2240 -2720 -2316 -2720 -2444 2720 2420 -2720 2240 2564 -2640 -2460 -2412 -2304 -2464 -2240 -2344 -2596 2680 -2280 -2404 2640 2720 2680 -2680 -2360 -2240 -2312 -2260 -2580 2520 -2284 2492 -2720 2656 -2244 -2240 -2280 -2240 -2240 -2680 -2240 -2280 -2396 -2536 2684 -2244 -2412 -2552 -2500 -2720 -2280 -2344 2552 -2544 -2608 -2240 -2640 -2280 -2332 -2396 -2632 -2248 -2404 -2240 2240 -2512 -2680 -2240 -2280 -2552 -2304 -2492 2656 2680 -2680 -2720 -2540 -2720 -2300 -2720 -2384 -2280 -2720 -2240 -2640 -2556 -2392 -2300 -2680 2440 -2432 -2404 -2412 -2536 -2640 -2644 -2680 2680 -2368 -2264 -2556 -2292 -2356 -2500 -2344 -2308 -2512 2564 2628 -2680 -2372 -2368 -2280 -2540 -2372 -2272 -2404 -2240 -2708 -2240 -2520 -2516 -2720 -2680 -2720 -2272 -2240 -2720 -2316 -2332 -2612 -2356 -2396 -2372 -2656 -2520 -2680 -2508 -2420 -2580 -2720 -2308 2680 -2280 -2404 -2600 -2568 -2280 -2540 -2720 -2592 -2672 -2480 -2384 -2380 -2360 -2408 -2680 2416 -2680 2292 -2720 -2704 -2280 -2680 2720 -2288 -2240 2364 -2520 -2680 -2692 -2528 -2240 -2680 -2280 -2504 -2376 -2720 -2372 -2656 -2296 -2476 2680 -2244 -2508 -2244 -2372 -2688 -2720 -2372 -2444 -2552 -2680 -2588 -2696 -2688 -2552 -2612 -2292 -2284 -2432 -2280 -2632 -2476 -2396 -2252 -2288 -2516 -2716 -2460 -2720 -2688 -2372 -2332 -2312 -2600 2612 -2624 -2428 -2328 2664 -2240 -2244 -2720 -2616 -2272 -2240 -2480 -2284 -2628 -2240 -2696 -2580 -2680 -2556 -2720 -2320 -2308 -2564 -2720 -2720 -2280 2560 -2292 -2348 -2292 -2696 -2280 2632 -2596 -2284 -2404 -2284 -2424 -2676 -2436 -2680 -2708 -2720 -2640 -2284 -2544 -2488 -2592 -2568 -2504 -2268 -2720 -2300 -2524 -2492 -2408 2648 -2364 -2416 -2360 -2592 -2240 2644 -2280 -2388 -2524 -2680 -2720 -2356 2624 -2280 -2720 -2280 -2384 -2252 -2324 -2564 -2276 -2464 -2280 -2680 -2392 -2676 -2440 -2680 -2292 -2500 -2720 -2612 -2448 2252 -2392 2632 -2720 -2460 -2240 2596 -2420 -2328 -2252 -2720 -2572 -2720 -2288 -2680 -2680 -2312 -2316 -2280 -2528 -2720 -2304 -2240 -2444 -2252 -2384 -2720 -2720 -2460 -2240 -2284 2720 -2720 -2312 -2480 -2388 -2548 -2584 -2700 -2720 -2680 -2280 -2376 -2540 -2300 -2384 -2508 -2240 -2456 -2680 -2280 -2240 -2720 -2396 -2268 -2304 -2680 -2720 -2376 -2504 -2528 -2376 -2488 -2580 -2512 -2280 -2596 -2240 -2328 -2280 -2488 2680 -2544 -2304 -2500 -2720 -2484 -2392 -2612 -2500 2536 2240 -2392 -2280 -2424 -2648 -2720 -2280 -2444 -2668 -2720 -2720 -2280 -2292 -2528 -2288 -2280 -2436 -2284 -2244 2240 -2240 -2424 -2520 -2280 -2440 2680 -2404 -2528 -2528 -2412 -2472 -2652 -2720 -2472 -2720 -2304 -2508 -2296 -2480 -2584 -2696 -2664 -2468 -2240 -2600 -2296 -2404 -2240 -2320 -2492 2652 -2720 -2252 -2604 -2428 -2260 -2628 -2444 -2692 -2720 -2332 -2564 -2680 -2404 -2680 -2548 -2280 -2576 -2476 -2280 -2272 -2520 -2296 -2420 -2296 -2364 -2720 -2492 -2356 -2528 2240 -2484 2240 -2352 -2280 -2304 -2348 -2480 -2312 -2536 -2632 -2720 -2352 -2436 -2448 -2584 -2720 2496 -2432 -2592 -2704 -2720 -2644 -2688 -2536 -2396 -2280 -2544 -2680 -2480 -2480 -2656 -2424 2240 -2316 -2588 -2412 -2348 -2720 -2720 -2472 -2344 -2272 -2720 -2412 -2512 -2720 -2344 -2292 -2680 -2332 -2552 -2720 -2428 2520 -2300 -2580 -2472 -2356 -2680 -2660 -2660 2240 -2720 -2252 -2388 -2312 -2592 -2720 -2660 -2264 -2720 2328 -2356 -2680 -2680 -2472 -2720 -2240 -2392 -2680 -2296 -2680 2680 -2296 -2284 -2392 -2240 -2720 -2588 -2680 -2284 -2316 -2668 -2328 -2444 -2680 -2664 -2268 -2720 -2680 -2680 -2556 -2680 -2452 -2516 -2576 -2304 -2356 2716 -2536 -2292 -2444 -2680 -2680 -2592 -2380 -2344 -2280 -2580 -2720 -2328 -2248 -2680 -2448 -2492 -2372 -2584 2652 -2596 -2624 -2720 -2660 -2680 -2432 -2680 -2500 -2680 2440 -2240 -2292 -2680 2592 -2512 -2412 -2720 -2704 -2532 -2636 -2720 -2280 -2280 -2560 -2396 -2448 2680 -2720 -2304 -2720 -2356 -2604 -2240 -2248 -2620 -2384 -2504 -2440 -2284 -2720 -2532 -2240 -2688 -2720 -2436 -2652 -2292 -2280 -2720 -2416 -2644 -2524 -2368 -2504 -2312 2468 -2488 -2504 2304 -2532 -2424 -2680 -2380 -2244 -2332 -2632 -2680 -2240 -2720 -2244 -2280 -2720 -2468 -2500 -2668 -2436 -2612 -2256 -2280 -2668 -2680 -2716 -2404 -2564 -2252 -2336 -2288 -2720 -2656 -2360 2680 -2320 -2260 -2668 -2528 -2436 2284 -2464 -2680 -2296 -2420 -2280 -2720 -2544 -2660 -2548 -2720 -2680 -2680 2588 -2460 2720 -2304 -2264 -2244 -2680 -2280 -2500 2280 -2244 -2532 -2392 -2308 -2280 -2420 -2300 -2252 -2720 -2720 -2504 -2720 -2680 -2680 -2540 -2652 -2428 -2680 2280 -2280 -2428 2688 -2360 -2680 2680 -2520 -2680 -2680 -2476 -2648 -2300 -2404 -2356 -2408 -2720 -2240 -2332 -2488 -2640 -2280 -2720 -2568 -2680 -2280 -2348 -2296 -2656 -2480 -2596 -2296 -2300 -2452 -2524 -2500 -2392 -2356 -2276 -2496 2680 -2688 -2720 2680 -2280 -2460 -2456 -2508 -2308 -2300 -2248 -2240 2256 -2720 -2420 -2720 -2680 -2376 -2280 -2280 -2292 -2672 -2432 -2552 -2384 -2556 -2536 -2280 -2608 2576 -2492 -2680 -2368 -2432 2680 -2248 -2652 -2316 -2716 -2680 -2240 2660 -2720 -2240 2676 -2720 -2516 -2680 -2276 -2612 -2552 -2720 2256 2608 -2680 -2356 -2284 -2460 -2720 -2276 -2280 -2328 -2316 -2448 -2644 -2256 -2292 -2680 -2432 -2400 -2376 -2292 2364 -2292 -2644 -2292 -2488 -2680 -2408 2660 -2632 -2596 -2720 -2292 -2436 -2240 -2296 -2608 -2292 -2524 -2496 -2668 -2252 2680 -2680 -2680 -2616 -2720 -2328 -2464 -2500 -2292 -2720 -2264 -2292 -2240 -2316 -2396 -2636 -2280 -2404 -2720 -2280 -2372 -2380 -2320 -2720 -2244 -2312 -2460 -2376 -2252 2592 -2552 2628 -2408 -2240 2432 -2580 -2568 -2280 -2528 -2680 2680 -2280 -2264 -2680 -2460 -2552 -2680 -2648 -2476 -2464 -2340 -2452 -2720 -2720 -2640 -2340 -2508 -2432 2668 -2356 -2576 2240 -2496 -2592 -2572 -2384 -2444 -2680 -2680 -2480 -2276 -2652 -2280 -2352 -2680 -2364 -2436 -2560 -2680 -2476 -2308 -2420 -2448 -2680 -2244 2556 -2364 -2660 -2720 -2632 -2620 -2720 -2720 -2568 -2720 -2380 -2332 -2720 -2680 -2572 -2284 -2320 -2592 -2680 2408 -2240 -2680 -2720 -2680 -2280 -2720 -2364 -2360 -2396 2680 -2532 -2512 -2288 -2380 -2668 -2604 -2688 -2596 -2396 -2680 -2720 -2548 2324 -2484 -2696 -2280 -2280 -2396 2316 -2396 2680 -2356 -2580 -2532 -2576 -2680 -2720 -2720 -2372 -2568 -2604 -2280 -2680 -2636 -2680 -2600 -2240 2336 -2528 -2284 -2244 -2720 -2280 -2392 2252 -2680 -2404 -2428 -2360 -2304 -2356 -2256 -2388 -2412 -2240 -2652 -2720 2720 -2428 -2292 -2280 -2404 -2288 -2628 -2364 -2356 -2392 -2588 -2296 -2448 -2448 -2476 -2488 -2720 -2676 2680 -2720 -2364 -2572 -2628 -2340 -2688 -2368 -2640 -2284 -2620 -2680 -2604 -2568 -2500 -2348 -2292 -2296 -2680 -2604 -2312 2484 -2284 -2288 -2608 -2392 -2680 -2372 -2364 -2292 -2264 -2648 -2412 -2720 -2280 -2344 -2524 -2716 -2680 -2720 -2304 -2556 -2288 -2372 -2240 2360 -2720 -2612 2672 -2672 -2348 -2300 -2720 -2720 -2452 -2680 -2292 -2680 -2644 2656 -2460 -2388 -2596 -2720 -2420 -2240 -2408 -2720 -2532 -2680 -2336 -2400 2588 -2708 -2600 -2700 -2720 2656 -2240 -2280 -2596 -2548 -2532 -2488 -2576 -2268 -2364 -2680 -2280 -2336 -2568 2680 -2564 -2240 -2280 -2680 -2572 -2332 -2584 -2676 -2580 -2452 -2720 -2280 -2308 -2268 -2280 -2524 -2696 -2296 -2708 -2344 -2428 -2580 -2296 -2720 -2296 -2592 -2304 -2624 -2444 2680 -2608 -2280 -2260 2240 -2384 -2680 -2240 -2720 -2680 -2404 -2596 -2680 -2468 -2348 -2680 -2720 -2336 -2240 2536 -2680 -2680 -2240 -2648 -2412 -2312 -2292 -2720 2612 -2564 -2492 -2240 -2240 -2448 -2240 -2400 -2564 -2492 -2720 -2720 -2328 -2280 -2720 -2720 2680 -2444 -2400 -2680 -2452 -2720 -2520 2240 -2468 -2456 -2720 -2480 -2720 -2240 -2680 -2252 -2680 -2280 -2648 -2368 -2600 -2720 -2544 -2296 -2680 -2340 -2680 -2680 -2720 -2432 -2240 -2560 -2712 -2280 -2648 -2680 -2388 -2680 -2280 -2320 -2404 -2244 -2404 2680 -2720 -2680 2628 -2612 -2384 -2680 -2248 -2252 -2244 -2680 -2656 -2680 2400 -2680 -2576 -2592 -2280 -2280 -2364 -2256 -2720 -2640 -2344 -2240 -2592 -2680 -2528 -2680 -2504 -2492 -2424 -2240 -2296 -2720 -2672 -2720 -2720 -2680 -2668 -2720 2240 -2636 -2492 -2292 -2720 -2680 2720 -2576 -2680 -2240 -2420 -2336 -2460 -2584 -2496 -2680 -2388 -2720 -2280 -2496 -2680 -2536 -2592 -2552 -2524 -2460 -2320 -2344 -2680 -2280 2584 -2720 -2536 -2280 -2240 -2252 -2484 -2252 2240 -2636 -2480 -2316 -2636 -2252 -2564 -2524 2440 -2564 -2712 -2528 -2288 -2328 -2260 -2300 -2396 -2680 -2568 -2720 -2556 2240 -2572 -2260 -2492 -2440 -2532 2364 -2600 2280 -2240 -2284 -2420 -2244 -2444 -2720 -2720 -2720 -2516 -2504 -2528 -2720 -2404 -2428 -2424 -2260 -2256 -2360 -2280 -2244 -2552 -2356 -2416 -2284 -2504 -2720 -2480 -2680 -2720 2688 -2500 -2588 -2680 -2248 -2620 -2628 -2664 -2536 -2356 -2268 -2584 -2588 -2544 -2356 -2508 -2280 2680 -2428 -2480 -2632 -2652 -2532 -2364 -2292 -2680 -2584 -2536 -2472 -2288 -2684 -2424 -2680 -2416 -2292 -2532 -2240 -2280 -2660 -2376 -2672 -2720 -2604 -2280 -2640 -2512 -2680 -2680 -2280 -2412 -2516 -2664 -2524 -2556 2288 -2472 -2292 2720 -2296 -2632 -2304 -2368 2592 -2516 -2288 -2344 -2636 -2680 -2468 -2544 -2608 -2656 -2284 -2596 -2308 -2628 -2308 -2720 -2556 -2592 -2288 -2596 -2656 -2272 -2348 -2684 -2632 -2636 -2692 -2280 -2472 -2392 -2544 -2256 -2280 -2308 -2324 2680 -2548 -2268 -2404 -2412 -2316 -2480 -2676 -2248 -2332 -2260 -2280 -2524 -2616 -2468 2440 -2240 -2560 -2644 -2648 -2260 -2284 -2280 -2564 -2680 -2416 -2720 -2568 -2292 2680 -2440 -2336 2620 -2496 -2720 -2308 -2680 -2560 -2484 2240 -2700 -2336 -2396 -2680 -2368 -2280 -2516 -2296 -2668 -2244 -2436 -2252 -2280 -2240 -2464 -2720 -2444 -2560 -2396 -2488 -2536 -2240 -2364 -2512 -2552 -2408 -2332 -2448 2708 -2520 -2292 -2720 -2696 -2280 -2564 -2280 -2480 -2636 -2612 -2272 -2268 -2280 -2304 -2528 -2680 -2720 -2544 -2280 -2720 -2584 -2712 2680 -2448 -2552 2240 -2508 -2532 -2368 -2564 -2544 -2404 -2720 -2636 -2448 -2436 2720 -2532 -2304 -2640 -2712 -2632 -2288 -2552 -2720 -2392 -2512 2672 -2276 -2540 -2520 -2680 -2660 -2720 -2632 -2260 -2468 2680 -2564 -2680 -2240 -2484 -2548 -2436 -2240 -2596 -2680 -2648 -2680 -2436 -2324 2648 -2520 -2260 -2380 -2664 -2244 -2720 -2408 -2636 -2240 -2720 -2332 -2240 -2720 -2444 -2680 -2680 -2620 2680 -2380 -2720 -2636 -2280 -2548 -2504 -2460 -2680 2492 -2320 -2420 -2680 2680 2680 -2680 -2568 -2288 -2628 -2572 -2444 -2680 -2448 -2720 2384 2240 -2720 -2472 -2240 -2720 -2280 -2348 -2280 -2280 -2508 2632 -2592 -2636 -2584 -2364 2680 -2444 -2588 -2544 -2588 2256 2560 -2720 -2284 -2440 -2568 -2452 -2524 -2372 -2720 2404 -2288 -2564 -2336 -2360 -2624 2680 -2720 -2720 -2720 2240 -2280 -2456 -2596 -2680 -2488 -2688 -2240 -2300 -2288 -2528 -2240 -2396 -2680 -2240 -2500 -2608 -2680 -2720 -2340 -2296 -2300 -2240 -2416 2648 -2432 2280 -2720 -2720 -2672 2680 2720 2392 -2488 -2280 -2424 2280 -2372 -2240 -2680 -2720 -2440 -2328 2688 -2680 2680 2680 -2720 2656 -2360 -2608 -2720 -2284 -2292 -2408 -2712 -2424 -2592 -2452 -2272 -2588 2692 2524 -2488 -2680 -2396 -2488 -2720 2676 -2552 2308 -2240 2328 -2368 -2280 -2488 -2680 -2712 -2280 -2480 -2424 -2292 2680 -2680 2568 -2280 -2492 -2512 -2720 -2720 -2480 -2508 -2572 -2720 -2460 -2280 2700 -2508 -2352 -2248 -2388 -2252 -2720 -2344 -2436 -2680 -2720 -2496 -2324 -2672 -2388 2468 -2296 -2720 2680 -2280 -2680 -2280 -2680 -2680 -2436 -2296 -2240 -2296 2496 2240 -2420 -2720 -2292 -2576 -2552 2680 -2584 -2456 -2376 -2620 2676 -2552 2680 -2456 -2280 -2372 -2332 -2720 -2488 -2256 -2720 2616 -2408 -2364 -2720 -2680 -2720 -2280 -2280 -2340 -2720 -2680 -2668 -2712 -2720 -2436 -2248 -2672 -2680 -2420 -2364 -2468 -2320 -2460 -2720 -2512 -2640 -2272 -2628 -2240 2676 -2720 -2532 -2316 -2352 -2280 -2680 2280 -2596 -2708 -2652 -2448 -2344 -2336 -2380 -2480 -2308 -2244 -2328 -2396 -2680 -2460 -2680 -2280 -2248 -2476 -2280 -2644 -2280 -2336 -2580 -2516 -2276 -2280 -2680 -2440 -2608 -2720 -2720 -2340 -2396 -2488 -2548 -2676 -2508 -2540 -2720 -2284 -2672 -2348 2688 -2396 -2680 -2240 -2608 -2696 2336 -2316 -2524 -2384 -2584 -2680 -2576 -2560 2680 -2548 -2568 -2680 -2336 -2680 -2484 -2512 -2388 -2320 -2468 -2528 2240 2564 -2300 2680 -2240 -2396 -2252 -2704 -2368 -2484 -2556 -2604 -2324 -2492 -2668 -2572 -2720 -2308 -2720 -2240 -2720 -2532 -2536 -2280 -2280 -2420 -2540 -2696 -2292 -2240 -2400 -2616 -2524 -2248 -2720 -2720 2680 -2404 -2612 -2324 2680 -2644 -2240 2504 -2316 2380 -2516 -2288 -2696 -2660 -2608 -2680 -2556 -2720 -2492 -2540 -2712 -2296 -2280 -2676 -2480 -2680 -2452 -2360 2680 -2680 -2280 -2240 -2664 -2272 -2476 -2240 -2348 -2320 -2720 -2720 2676 -2548 -2620 -2280 -2300 2720 -2476 -2336 -2240 -2280 -2484 2684 -2316 -2264 -2240 -2312 -2568 -2680 -2680 -2568 -2544 -2524 -2416 2636 -2240 -2484 2684 -2344 -2292 -2672 -2424 -2320 -2392 2448 -2616 -2720 -2352 -2568 -2592 -2544 -2348 -2556 -2680 -2720 2552 -2408 -2496 -2624 -2368 -2280 -2456 -2404 -2280 2284 2260 -2524 2280 -2528 -2360 -2332 -2680 -2392 -2276 -2240 -2256 -2680 -2612 -2436 2572 -2280 -2356 -2396 -2400 -2440 -2552 2240 -2468 -2500 -2284 -2404 -2720 -2720 -2360 -2656 -2548 -2680 -2680 -2316 -2680 -2280 -2340 -2540 -2312 -2512 -2404 -2324 -2364 -2240 -2436 -2308 2680 -2420 -2380 -2616 -2664 -2620 -2444 2240 -2344 -2280 -2452 -2544 -2516 -2468 -2448 -2252 -2280 -2356 -2680 -2516 -2720 -2292 -2324 -2664 -2568 -2656 -2396 -2432 -2552 -2648 -2320 2336 -2600 -2616 -2300 -2452 -2332 -2264 -2416 -2280 -2568 -2428 -2244 -2720 -2388 -2556 -2240 -2396 -2524 -2328 -2680 -2400 -2444 -2432 -2580 -2628 -2356 -2620 -2444 -2400 -2596 -2240 2680 -2356 -2356 -2316 -2296 -2680 -2280 -2336 -2720 2704 -2312 -2404 -2656 -2444 -2252 -2468 -2248 2656 -2680 -2284 -2264 -2600 -2396 2240 -2544 -2292 -2672 -2720 2240 -2244 -2680 -2680 2492 2280 -2352 -2720 -2440 -2380 2680 -2304 -2280 -2528 -2680 -2380 2680 -2720 -2280 -2588 -2336 -2280 -2324 -2700 -2680 2620 -2680 -2288 -2636 -2284 -2248 -2720 2680 -2252 -2680 -2560 -2240 -2704 -2432 -2256 -2720 -2280 -2636 -2288 -2540 -2580 -2480 2672 -2540 -2252 -2436 -2328 -2548 -2268 -2656 -2584 -2680 -2512 -2540 -2428 -2280 2720 -2720 -2348 -2648 -2360 -2308 -2488 -2720 -2688 -2376 -2476 -2240 -2720 -2720 -2472 -2496 -2260 -2424 -2420 -2456 -2652 -2280 -2332 -2720 -2432 -2304 -2464 -2720 -2348 -2280 2696 -2596 2336 -2720 -2548 2280 2416 -2656 2668 -2648 -2332 -2680 -2600 -2240 -2720 -2680 -2268 -2280 -2688 -2388 -2412 -2680 -2440 -2720 -2604 -2432 -2360