MAX-CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp15/
normalized-fapp15-3000-0.xml
MD5SUMdb919c043cbe2ccf39dda4a6ced1254b
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints1050
Best CPU time to get the best result obtained on this benchmark3600.08
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-301112801MSAT (TO)1050 3600.08 3618.82
Concrete + CSP4J - Tabu Engine 2008-05-301112802MSAT (TO)1550 3600.05 3622.32
Sugar v1.13+minisat1112806? 337.108 346.765
Sugar++ v1.13+minisat-inc1112805? 341.485 348.411
AbsconMax 112 pc-d1112804? 588.141 591.519
AbsconMax 112 pc-w1112803? 617.48 619

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