Name | csp/fapp/fapp15/ normalized-fapp15-3000-10.xml |
MD5SUM | 8ae74589310914004d3bf891f899393f |
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 | 62.8804 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3000 |
Number of constraints | 33021 |
Maximum constraint arity | 2 |
Maximum domain size | 182 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 33021 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 AC (complete) | 2097755 | SAT | 62.8804 | 63.7583 |
Abscon 112v4 ESAC (complete) | 2097756 | SAT | 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 |
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