MAX-CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp15/
normalized-fapp15-3000-2.xml
MD5SUMa7377e3e2481e38a6b40d9be07bb2cda
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints365
Best CPU time to get the best result obtained on this benchmark3600.03
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 NameTraceIDAnswerNumber of falsified constraintsCPU timeWall clock time
Concrete + CSP4J - MCRW Engine 2008-05-301112795MSAT (TO)365 3600.03 3607.02
Concrete + CSP4J - Tabu Engine 2008-05-301112796MSAT (TO)848 3600.04 3636.22
Sugar++ v1.13+minisat-inc1112799? 330.15 470.602
Sugar v1.13+minisat1112800? 349.705 358.983
AbsconMax 112 pc-w1112797? 655.398 661.849
AbsconMax 112 pc-d1112798? 837.628 838.258

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

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