CSP 2009 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp15/
normalized-fapp15-3000-10.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp15/
normalized-fapp15-3000-10.xml
MD5SUM8ae74589310914004d3bf891f899393f
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 benchmark62.8804
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of constraints33021
Maximum constraint arity2
Maximum domain size182
Number of constraints which are defined in extension0
Number of constraints which are defined in intension33021
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 AC (complete)2097755SAT 62.8804 63.7583
Abscon 112v4 ESAC (complete)2097756SAT 66.3489 67.0085
Sugar v1.14.6+picosat (complete)2083082? 316.55 330.258
Sugar v1.14.6+minisat (complete)2083083? 319.961 332.78
SAT4J CSP 2.1.1 (complete)2083076? 445.818 446.622
Concrete DC 2009-07-14 (complete)2083080? 658.004 658.33
bpsolver 09 (complete)2083086? (exit code) 13.7689 13.8834
Concrete 2009-07-14 (complete)2083079? (exit code) 563.223 567.789
pcs 0.3.2 (complete)2083077? (TO) 1800.08 1805.65
pcs-restart 0.3.2 (complete)2083078? (TO) 1800.09 1804.55
Mistral 1.545 (complete)2083085? (TO) 1800.1 1813.72
Choco2.1.1 2009-06-10 (complete)2083081? (TO) 1800.16 1813.58
Choco2.1.1b 2009-07-16 (complete)2116789? (TO) 1800.18 1810.33

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:
2568 2500 -2488 -2328 2472 2600 -2336 2508 2468 -2384 2280 2404 2280 -2480 2520 2464 2568 -2280 -2356 2404 2512 2280 -2336 -2564 -2392 -2596
-2612 -2624 2600 -2600 -2640 -2380 2640 2460 2448 -2380 -2280 2416 -2280 2380 -2492 -2540 -2320 2500 -2304 -2284 -2492 -2476 -2436 -2576
2288 2404 -2420 -2360 2616 2336 2620 -2632 2280 -2536 -2392 2452 -2480 -2596 2596 2284 2372 2572 2624 -2332 2340 2468 2324 -2284 2620 2280
2512 -2640 -2324 2352 -2596 2296 -2412 -2400 -2340 2596 2428 -2320 -2300 2472 2584 2596 -2568 2324 2444 -2600 2360 -2540 -2640 -2568 -2620
2280 -2320 2620 -2296 2560 2388 2580 -2640 2432 -2584 -2556 -2472 2284 -2280 2328 -2280 -2312 -2624 -2320 -2640 -2452 -2416 2612 -2332 -2512
2592 -2508 -2380 -2364 -2620 -2588 -2388 -2600 2548 2604 -2420 2280 -2420 -2288 2504 -2600 2536 -2376 2372 -2640 -2576 -2532 2572 -2468
-2288 -2460 2324 2624 -2620 -2600 -2392 2336 -2604 -2484 -2524 2404 2336 -2572 -2616 -2640 2404 2440 2600 -2380 2640 -2468 2500 -2444 -2400
2608 -2604 2636 -2588 -2580 -2468 -2376 -2300 -2608 2404 -2440 -2628 -2280 2380 2580 2588 2528 2600 2332 2396 -2640 -2344 2580 2280 -2500
2548 -2336 -2428 -2640 -2620 -2368 2616 2444 -2608 -2424 -2600 -2640 -2560 2596 -2576 -2472 2280 2456 2588 2568 -2564 2520 -2284 2592 -2532
-2452 -2452 2512 -2280 2280 2420 -2416 -2404 -2592 2408 -2548 2432 2280 2500 2616 -2320 -2336 -2352 2320 2480 2296 2280 -2572 -2524 -2320
-2360 -2280 -2600 -2556 -2320 2628 -2532 2484 2440 2420 -2604 -2596 2552 -2640 -2600 2600 2340 2500 -2416 -2356 2284 -2504 2380 -2360 -2600
-2600 -2600 -2280 -2600 -2532 -2476 2380 -2492 2392 -2320 -2624 -2444 2640 -2588 -2320 2420 -2480 -2368 -2420 2616 -2364 2580 -2416 -2512
2412 -2508 -2296 -2632 2596 2320 -2456 2512 2284 2280 2320 2500 -2344 2600 2416 -2432 2560 -2280 -2392 2452 -2320 -2320 -2508 -2528 -2512
-2384 -2468 -2364 2500 2516 -2308 -2324 -2496 -2640 -2368 -2532 2592 2640 -2400 2584 -2600 2532 -2640 2504 2372 -2400 -2600 -2496 -2396 2336
-2432 2320 -2320 2568 -2468 2324 2524 2288 2564 2488 -2592 2444 -2620 2344 -2436 2344 2420 2352 -2588 -2280 2460 2352 2580 2596 2384 -2560
2508 -2344 -2424 2428 -2576 -2548 -2612 -2376 -2312 2392 -2440 -2480 -2640 2616 -2640 2388 2332 2484 -2600 2456 2540 -2592 2436 2636 2300
2596 -2640 2404 -2320 2392 2400 -2600 -2640 -2496 2280 -2328 2320 -2320 2536 2468 -2624 2584 -2480 -2572 -2572 -2552 2356 -2320 2520 2444
-2640 2628 -2556 -2516 -2600 -2588 -2596 -2280 -2332 -2324 -2584 -2504 -2640 -2556 -2484 2452 -2396 2600 -2612 2320 2600 2368 -2508 -2496
-2640 -2524 -2332 2576 2464 2340 -2420 -2340 2380 -2348 -2600 -2524 -2284 -2612 2420 -2424 2356 2496 2476 -2612 -2616 -2280 -2396 -2440 2496
-2488 -2280 -2640 -2328 2384 -2360 -2564 -2288 -2312 -2432 2460 -2600 -2404 -2324 -2640 -2332 2640 2372 2332 -2596 2628 -2636 2544 -2640
2588 2416 2596 2280 -2332 -2344 -2640 2364 -2600 -2600 -2396 2600 -2436 -2556 -2404 2292 2372 -2428 -2632 -2596 -2324 -2364 -2432 2544 2636
2456 2428 2492 -2340 -2584 -2328 -2400 2516 2636 -2524 2400 2452 2396 2388 -2320 2476 2320 2292 2368 -2592 -2600 2460 2472 2280 2320 -2596
-2320 2332 2596 2320 2428 2640 -2592 -2636 -2572 2516 2492 2384 2336 2404 2280 2376 2304 -2408 2344 -2560 -2600 2444 2596 -2460 2300 -2320
2280 2280 -2520 -2352 -2500 2576 -2348 -2548 -2368 2600 -2632 2560 -2280 2604 2452 -2320 -2460 -2436 2452 -2472 2616 -2384 2340 -2472 2532
-2624 -2460 2280 2320 -2324 -2636 2552 2432 2296 2372 -2460 -2348 -2392 2436 2368 -2640 2520 -2336 2372 2320 -2580 -2572 -2640 2344 2284
2320 2280 -2392 2536 -2576 -2280 2372 2444 -2600 -2444 2528 -2424 2412 -2452 2516 -2624 -2540 -2432 -2492 2412 2404 -2308 -2304 -2528 -2432
-2640 2464 -2320 2572 2440 2468 -2372 -2608 -2376 -2468 2288 -2332 -2448 2404 -2520 2288 -2320 -2344 -2504 2280 -2332 -2640 2392 2476 -2320
-2492 2372 -2392 2556 2612 -2420 -2600 2600 -2484 -2620 -2600 2424 -2600 -2588 2600 2488 -2324 -2556 2600 2624 -2464 2376 -2580 2376 -2280
-2352 -2640 2428 -2304 -2404 2320 2320 2500 -2352 -2372 -2280 -2324 2320 2572 2420 2344 -2380 -2588 2376 -2372 -2384 2572 -2600 2380 2612
-2576 -2320 2600 2548 -2384 2640 -2308 2296 -2316 2540 -2536 -2640 2424 2348 -2324 2348 2280 2380 -2636 2592 -2600 -2640 2520 -2600 -2556
-2392 2460 -2488 -2600 2600 2320 -2284 2532 2432 -2408 2640 -2560 2280 -2588 -2432 2508 -2388 -2416 2640 2396 -2284 -2320 -2640 2320 -2368
-2476 -2640 -2412 -2540 -2468 -2640 2296 -2640 2436 2600 -2420 -2444 -2456 -2640 -2364 -2424 -2592 -2496 -2640 -2600 -2408 -2612 -2436 -2492
-2572 2508 2416 2452 2280 -2600 -2320 -2280 -2444 2516 2400 -2576 -2600 -2372 -2484 -2492 -2568 2632 2536 -2496 2604 -2388 2280 -2636 -2420
-2516 2440 2320 -2592 -2548 -2640 2532 2380 2280 -2340 -2280 2524 -2440 -2476 -2528 -2496 2516 2584 -2432 2556 2588 -2460 2628 -2484 -2280
-2464 -2624 -2420 2316 -2428 -2320 -2600 -2600 -2576 2420 2620 -2504 -2352 2632 -2640 -2576 2600 2280 2416 -2320 -2320 2364 2536 -2348 -2524
2640 -2548 -2484 -2344 -2352 -2332 -2600 -2528 -2468 -2320 -2528 -2600 -2528 -2280 -2452 2520 2560 -2528 -2360 -2360 2516 2416 -2280 -2600
2568 -2640 -2576 2596 -2600 2384 2520 -2472 -2640 -2384 -2600 2320 2368 -2484 -2344 -2324 -2364 2584 2396 -2588 -2580 2496 -2496 -2352 -2584
-2516 -2308 2384 -2468 -2328 -2536 -2624 -2564 -2600 2508 -2472 -2448 -2612 2496 -2332 2636 2548 2636 -2376 2396 -2364 2568 2392 -2320 -2372
2316 -2640 2592 2628 -2384 -2476 -2320 2376 2368 -2600 -2372 -2568 -2420 2632 2360 -2368 -2532 2628 2332 -2580 -2296 -2280 2280 2308 2508
-2584 -2396 -2528 -2576 2280 2476 -2640 -2580 -2488 -2392 -2280 2280 -2568 -2476 2356 2336 2392 2360 2280 -2488 -2600 -2592 -2640 -2584
-2420 -2480 -2320 -2384 -2600 -2408 2560 -2320 -2344 2280 -2440 2292 2424 -2292 2372 -2316 -2580 -2380 2448 2580 -2588 2388 -2636 -2600
-2388 2292 -2432 -2324 -2576 2640 -2320 2372 -2468 -2536 -2440 -2460 -2360 -2476 -2364 -2492 2280 -2560 2332 2424 -2364 -2600 -2388 2480
-2640 2640 2580 -2388 2364 -2576 2524 -2536 2324 2280 2408 -2288 -2280 -2404 -2604 2520 -2640 -2620 2420 2280 2408 2468 2460 -2416 -2400
2640 -2640 2432 2300 -2640 -2600 -2580 2308 2516 -2372 2320 -2396 -2600 2460 2352 -2348 -2320 2516 2568 2328 2556 2424 -2628 -2320 -2320
-2536 -2584 -2368 -2640 -2320 -2580 2640 -2600 -2352 2280 2280 -2592 2304 -2420 -2600 2516 -2600 -2280 -2380 2432 -2320 2428 -2468 -2576
-2364 2424 -2472 -2412 -2612 -2528 2320 -2640 -2488 -2520 -2476 2532 2436 2280 2636 -2364 2588 2600 2516 2528 2288 2280 2308 -2300 -2496
-2548 -2464 -2396 -2604 2300 2640 2512 -2640 -2588 -2640 2640 2488 2552 -2492 -2284 2548 -2500 2572 2584 2508 -2280 2536 -2364 -2492 -2540
-2640 -2328 2324 -2628 2328 -2608 -2356 2400 2476 2340 -2600 2320 -2628 -2640 -2476 -2624 2284 -2628 -2320 2516 2388 -2280 2384 2500 -2556
2504 2280 -2600 -2468 -2504 2492 -2440 2448 -2432 -2448 -2320 -2480 -2488 -2428 2600 2492 2452 -2476 -2332 -2400 2280 -2432 2332 -2444 -2312
-2416 -2324 2532 -2280 2500 -2512 -2300 2640 -2440 -2364 2388 -2612 -2500 -2428 -2588 -2640 -2296 2544 -2456 2500 -2588 -2568 -2640 2484
-2456 -2640 2536 2280 -2528 -2352 -2320 -2280 -2636 2412 -2388 -2444 -2332 2344 -2392 2448 -2320 -2572 -2564 -2496 -2600 2596 -2300 2424
2488 2288 -2320 -2600 -2640 -2596 2640 -2288 2368 2288 -2396 -2432 -2280 -2280 2460 2392 -2336 -2328 2324 -2324 -2416 2596 2452 -2640 2368
2452 2340 -2600 -2380 2584 -2296 2392 2360 -2344 2512 -2632 -2304 -2284 -2428 2556 2552 2364 2464 -2356 2280 2640 -2304 2636 -2416 2560 2540
-2376 -2376 -2320 -2376 2280 2280 2500 -2444 2432 -2600 -2324 2640 -2452 -2520 -2424 2472 -2620 -2580 -2364 -2560 -2640 -2336 2620 2412 2280
2500 -2360 2636 -2356 -2568 2528 -2420 -2592 -2320 -2412 -2460 -2320 -2600 2512 -2376 -2640 -2368 -2640 2280 2640 -2328 2588 -2468 2320
-2296 -2280 -2472 -2600 -2280 -2624 -2524 2468 2600 -2316 -2600 -2336 2448 2640 -2492 -2328 2596 -2388 -2292 -2640 2492 2320 2580 -2576 2344
-2532 2508 -2476 -2508 -2428 -2336 2360 2600 -2596 -2496 -2472 2320 2420 -2608 -2428 -2592 -2596 -2640 -2320 2420 2596 -2620 2580 -2640
-2428 -2452 -2356 -2600 2320 -2280 2332 -2456 2556 2600 2640 -2516 -2628 2312 2456 -2404 -2512 -2440 2600 2320 2580 2452 -2636 -2528 -2412
2320 -2444 2504 2352 2600 -2320 2320 2524 2600 2544 -2640 -2328 2452 -2548 2380 -2404 -2336 -2320 2492 -2324 -2280 2536 -2640 -2452 2436
2464 -2600 2576 -2504 -2356 2528 -2460 -2400 -2364 2572 -2500 2464 2464 -2640 2440 -2340 2280 2540 2312 2476 2352 2280 -2536 2408 -2400 2388
-2448 2500 -2600 -2444 2504 2560 -2560 2404 -2624 2456 -2320 -2640 2600 2432 -2320 2360 2640 -2488 -2308 -2600 2472 2600 -2416 -2280 -2300
2580 2556 2428 -2640 2308 2640 2428 2464 2540 -2540 2408 2368 -2544 -2640 -2328 -2568 -2568 2568 -2604 -2640 -2640 -2324 -2384 -2600 -2440
2464 2448 2320 -2504 -2464 -2320 -2528 -2592 -2600 -2428 2632 -2600 2332 -2612 2572 -2556 -2576 2372 2452 -2292 -2568 2296 2304 -2536 -2416
2404 -2320 2284 -2336 -2640 -2640 -2580 -2324 -2324 2356 -2412 -2588 2428 -2640 -2580 -2428 -2600 -2280 2320 2348 -2520 -2484 2436 2376
-2600 -2628 2596 -2640 2296 -2320 -2520 -2404 2560 -2408 -2588 -2320 2400 2280 2320 -2280 2380 2528 2600 -2480 -2280 -2368 2308 -2600 -2412
2360 -2404 2632 2300 2640 2448 -2492 -2508 2404 -2640 2320 2280 -2408 -2512 -2320 2524 -2424 -2600 2384 -2284 2564 -2576 -2400 2324 2404
-2328 -2640 2524 2612 -2556 2280 2616 -2332 -2560 -2324 -2460 -2452 -2540 -2488 -2480 -2632 -2596 2280 2344 2536 2340 -2540 -2556 2424 -2344
-2456 -2392 -2464 2320 -2488 -2344 -2540 -2292 -2560 -2584 2600 2348 -2616 2336 2404 2508 2552 -2468 2320 2536 2600 -2640 -2640 -2400 -2352
-2572 2280 -2636 2356 -2444 -2448 -2504 2280 -2500 2408 2572 2324 -2560 2384 2412 -2320 2496 -2364 2344 -2292 -2344 -2280 -2448 2436 -2460
2456 2476 2556 2320 -2636 2348 -2280 -2280 -2420 2280 -2428 -2336 2448 -2292 2420 2380 2584 -2528 -2412 -2336 -2632 -2536 -2496 -2416 -2488
2368 -2488 -2600 -2324 2284 -2288 -2600 2416 2600 -2388 2484 2552 2572 2320 -2372 -2596 2640 2568 -2640 2396 -2280 2564 -2476 -2548 -2520
-2348 -2640 -2312 2280 -2408 2328 -2484 -2464 -2352 2604 -2324 -2320 -2320 -2400 2464 2476 -2376 -2532 -2532 -2436 -2548 2520 -2632 -2540
2576 -2360 2516 -2556 2396 -2400 2468 -2564 -2472 2468 2320 2476 2600 -2612 -2592 2336 -2348 2336 -2556 -2532 -2460 -2556 2332 -2556 -2280
2480 2596 -2280 -2404 2480 -2464 -2280 -2424 -2384 -2460 2388 -2324 -2508 -2280 2600 2296 -2320 -2504 2444 -2552 -2640 2608 2480 -2480 -2388
-2328 -2384 -2464 2372 2476 -2484 2392 -2600 2564 -2600 2592 -2428 2492 -2396 2512 -2324 2532 -2396 2320 -2372 -2640 -2456 -2640 -2388 2412
-2600 -2592 -2416 2640 -2564 2420 2516 2488 2420 -2624 -2324 -2336 2364 2436 -2460 2496 -2496 -2432 2320 2580 2592 2480 2596 2572 -2580
-2564 -2520 2428 -2412 2468 -2296 -2356 -2408 -2508 2320 2556 -2520 -2616 -2636 -2432 2396 -2372 2456 -2608 2488 2412 -2328 2280 2280 2544
-2364 2476 -2436 2600 2320 -2280 2436 -2640 -2320 -2320 -2420 -2632 2392 -2640 2356 2636 2280 -2624 2460 2364 -2360 -2600 -2320 -2292 2640
-2476 -2340 -2356 -2364 -2340 -2328 -2320 -2320 -2600 2456 2440 2492 -2544 -2376 -2636 -2620 -2368 2568 -2504 -2444 -2636 -2412 2312 -2600
-2404 2588 -2516 -2292 -2524 2352 -2328 -2320 -2296 -2436 2412 -2468 -2588 -2320 -2280 -2540 2632 2468 -2320 2552 -2416 -2556 2320 -2488
2536 -2432 2600 2592 -2320 2584 -2324 -2408 -2288 -2468 2380 2472 2320 2364 -2320 -2640 -2576 -2640 2424 -2524 2336 -2428 2404 2572 -2280
-2608 2588 -2608 -2364 2340 -2320 2640 2452 2472 2460 -2640 2600 -2600 2572 2280 2280 2636 -2332 2412 -2560 -2576 -2600 -2396 -2428 2616
2344 2628 -2548 -2612 2460 -2640 -2320 2348 -2396 -2488 2412 2292 2280 -2320 -2332 -2320 -2388 -2420 -2408 -2372 -2544 -2332 -2612 2332
-2572 -2640 2440 -2640 -2320 2468 -2428 -2544 2340 -2428 2284 2416 -2596 -2420 2600 -2320 2492 -2552 -2548 -2464 2600 2596 -2488 2560 -2572
-2320 2280 2312 2280 2572 2616 2600 2640 -2600 2520 -2376 2588 2596 2280 2492 -2500 2320 2380 2584 -2280 -2280 2284 2316 -2480 2632 -2300
-2428 -2640 -2540 2352 2552 -2512 -2588 2284 2600 -2640 2532 2328 2624 2392 -2444 -2408 2452 -2460 -2424 2440 -2600 -2320 2600 -2516 -2320
-2448 2460 -2596 -2408 -2280 2308 -2340 -2420 2588 -2576 -2628 -2548 2476 -2320 -2640 2320 2280 -2344 2640 2280 -2516 2336 2472 -2472 -2320
-2600 -2380 2328 2592 2300 -2492 2376 -2640 -2520 -2640 -2640 -2428 -2624 2600 2280 2340 -2592 -2340 2348 -2516 -2312 2528 -2640 2400 -2608
2312 -2588 2356 2280 -2348 -2320 -2600 -2480 2352 -2628 2380 -2280 2592 -2388 -2600 -2612 2280 2548 2356 2536 2600 2372 -2584 -2384 -2472
-2452 -2344 -2504 -2452 2512 2632 -2480 2488 2600 2512 2460 -2572 -2460 2524 2348 -2284 2504 -2596 -2516 -2344 -2368 -2296 -2300 -2384 2352
-2472 2340 -2508 -2468 -2412 -2640 2592 -2564 -2628 -2632 -2324 -2468 2492 2472 2404 -2280 2496 2632 -2428 -2504 -2464 -2588 2280 -2516 2488
2584 2352 2320 2580 -2500 -2464 -2568 -2324 2320 -2280 -2640 2380 -2312 -2600 -2468 2292 -2308 2368 2284 2392 2320 -2640 -2568 2320 -2564
2456 -2412 -2428 2480 -2640 -2640 2548 -2280 -2404 -2376 -2480 2528 -2628 2408 -2292 -2612 2320 -2600 2476 -2572 -2280 -2600 2564 2280 -2476
-2536 -2400 -2500 -2332 -2600 -2336 -2284 2280 -2604 -2320 2620 -2460 -2288 -2524 -2600 -2320 2404 -2400 -2340 -2600 -2348 -2624 -2476 -2576
-2560 -2600 2464 2588 2536 2424 -2492 -2424 2280 -2600 2600 2568 2408 2608 -2320 -2584 -2352 2432 2508 2580 -2592 2376 -2544 2528 -2480
-2356 2320 -2568 2548 -2320 2396 -2364 2380 -2640 2408 -2380 -2548 -2492 2612 2480 -2448 -2488 2368 2604 2500 -2584 -2428 2348 -2412 -2500
-2608 2572 -2400 -2460 -2280 -2584 -2280 -2324 -2332 -2328 2512 -2340 -2600 -2304 -2584 -2356 2576 -2600 2412 -2296 -2640 2576 2576 2436
2368 -2496 -2368 -2468 2544 -2508 -2604 2280 2320 -2584 2540 2632 2380 -2552 -2360 -2368 -2504 2600 2420 -2540 -2600 2432 -2504 -2284 -2464
2452 2336 2588 -2320 2296 -2400 2616 -2428 2352 -2452 -2412 2600 -2536 2320 -2640 -2320 -2284 2372 -2352 2324 2304 2444 -2468 -2632 2292
2544 2280 2592 2464 2628 2424 -2464 -2528 -2564 2600 2516 -2440 -2316 2552 2356 -2600 -2600 -2280 -2340 -2436 2584 -2472 2564 2456 2616 2564
-2640 -2292 2280 -2280 -2344 -2444 2332 -2320 -2632 -2316 -2600 -2504 2640 -2524 -2420 -2528 2312 2508 -2428 2504 -2416 -2324 -2368 2380
-2488 -2600 -2532 2568 2576 -2464 -2532 -2488 -2632 -2400 -2388 -2320 -2284 2436 2360 -2640 -2324 -2336 2512 2548 -2640 2320 -2396 2484
-2600 2324 -2600 -2280 2380 -2408 -2444 2332 2372 -2612 2636 -2512 -2436 -2280 2352 2492 -2548 -2320 2344 -2600 -2640 -2428 -2640 -2564
-2320 2396 -2636 2304 -2432 2580 -2512 -2368 2392 -2480 -2600 2488 -2640 -2376 -2344 -2636 -2404 2620 -2320 -2600 2460 -2536 -2600 2472 2284
2516 2492 -2396 -2600 -2388 2616 2288 2320 -2468 -2588 -2280 -2304 2608 -2640 -2424 2332 -2640 -2572 -2600 -2548 -2384 2600 -2440 -2464
-2528 2392 2492 2436 -2360 -2640 -2600 -2384 2304 2616 -2284 -2392 -2640 -2544 2556 -2360 2600 -2584 2280 -2556 -2324 -2640 2280 2292 -2432
-2604 2344 -2564 2568 -2360 -2340 -2540 -2608 -2596 2484 -2540 -2440 -2280 -2460 2508 -2340 -2320 -2368 -2372 -2360 -2320 -2500 -2376 -2600
-2548 -2576 -2516 -2600 2376 -2328 2452 -2356 2484 2532 -2320 -2364 2320 -2496 -2628 2360 2340 -2288 2328 2596 2568 -2600 -2520 -2488 2340
-2520 -2340 -2460 -2336 2336 2600 2392 2580 -2600 2320 -2584 -2280 2508 -2472 2576 -2320 -2508 -2348 2332 -2484 2460 2556 2596 -2420 -2584
-2320 -2572 -2436 -2608 2344 -2408 -2376 2280 2432 -2384 2508 -2568 -2516 -2320 -2324 2572 2328 -2368 2396 -2444 -2612 -2380 2320 -2516
-2500 2496 -2280 -2344 -2320 2420 -2300 -2600 2364 -2640 2500 2508 2392 2448 -2496 2416 -2308 2584 2552 -2320 2320 -2572 -2600 -2436 2280
2336 2600 2520 -2600 -2480 2536 2536 -2348 -2528 2376 -2640 -2388 -2280 2600 -2388 -2640 2560 2568 -2320 2616 -2328 -2320 -2336 2380 2608
2280 -2624 -2560 -2280 -2384 2324 2452 -2388 2496 -2628 2280 -2320 -2508 2320 2320 2312 -2620 -2280 2348 -2456 2280 -2600 2460 2352 2312
2536 -2484 -2540 -2284 -2640 -2356 2288 -2352 -2536 -2408 -2600 -2508 -2376 2464 -2392 -2456 -2332 -2560 -2588 -2604 -2324 -2600 -2600 -2520
-2640 2464 -2404 -2500 -2488 -2640 2480 2384 -2456 -2572 2364 2532 -2596 -2544 -2288 -2640 -2320 -2580 -2396 -2544 2524 2324 -2340 -2620
-2332 2280 2576 -2352 -2640 -2564 -2492 2540 -2388 -2496 2328 -2460 -2528 -2280 -2488 2404 2328 -2384 -2320 -2516 2404 -2640 -2480 2320
-2608 -2424 -2528 2284 2320 2448 -2496 2280 -2280 -2296 -2468 2308 2564 -2452 2432 -2360 -2500 2328 -2484 2432 -2336 -2576 2488 -2572 2600
-2420 -2504 -2580 2280 2520 2280 -2320 2320 -2280 -2564 2284 -2428 -2512 2552 -2436 2540 -2588 -2560 2380 2640 -2600 -2604 2296 -2528 -2444
-2280 -2444 2320 -2396 -2600 2552 -2328 -2404 -2432 -2600 2536 2596 2528 2628 -2428 2392 2528 -2400 -2480 -2600 -2368 2428 2312 -2488 -2292
-2420 2320 2376 -2280 2356 -2280 2384 2400 2280 -2600 -2292 -2284 -2332 -2384 2640 -2640 -2556 2604 -2464 -2640 2380 -2564 -2576 -2592 -2596
-2372 -2600 2428 2612 -2600 -2616 -2640 2580 -2484 2364 2600 2560 2400 2320 -2636 2600 2396 2284 -2532 -2320 -2472 -2640