Name | csp/fapp/fapp15/ normalized-fapp15-3000-8.xml |
MD5SUM | 3783482c1cbff3c4a72df59d958779fb |
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 | 68.9175 |
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) |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2588 2540 2516 2640 2512 -2552 -2360 -2568 -2300 2412 -2636 -2600 2280 -2632 -2280 -2468 -2444 2420 -2380 -2320 2600 2280 2332 2608 -2392 -2556 2612 2576 2460 2612 -2280 -2288 2448 -2368 -2376 -2376 2572 -2408 -2280 -2320 -2456 -2412 -2320 -2500 -2412 -2332 -2624 -2444 -2636 -2560 2320 -2320 -2328 -2300 2328 2280 -2368 -2328 2608 -2360 -2288 2496 -2476 -2536 -2572 2636 2304 -2640 -2600 -2628 -2460 -2520 -2284 2332 -2528 -2600 2300 -2304 2612 2288 2552 -2344 2424 -2320 2472 -2600 2516 2640 2344 -2320 2404 -2600 -2500 -2380 -2352 -2600 2404 -2420 2532 2400 -2312 -2312 -2372 -2640 -2292 2352 -2280 2604 -2280 2496 -2560 2596 2404 -2288 -2400 2468 -2280 -2320 -2596 -2320 2488 -2640 -2560 2320 -2384 -2304 -2528 -2340 -2348 -2288 2424 -2588 -2356 2632 -2548 2512 -2636 -2628 -2404 2348 -2548 2360 -2536 -2376 -2620 -2376 -2328 -2408 2516 -2320 2340 -2364 -2292 2640 -2460 -2600 2492 2280 -2600 2376 2288 2556 -2328 -2588 -2288 2504 -2640 -2400 -2640 2428 -2592 -2296 2452 2388 2336 -2640 -2412 2516 -2580 -2612 2412 -2636 2408 2588 -2356 -2320 -2516 -2280 -2280 2368 2568 2616 2548 2372 -2280 -2448 2552 2436 -2380 -2512 2492 -2320 -2428 -2544 -2620 -2552 2620 -2352 2408 -2392 2484 -2416 2336 -2388 -2288 2320 2340 2556 2348 2576 2596 -2512 -2480 -2280 2448 -2400 2480 -2600 2600 2280 -2296 -2364 -2356 -2640 -2320 -2640 2504 2548 2352 2616 -2340 -2636 -2520 -2320 2436 2320 2600 2484 -2324 -2636 -2600 -2384 -2464 -2336 -2320 -2616 -2560 2364 -2356 2588 2396 2376 2580 2568 -2320 2280 2528 -2576 -2392 2280 2452 -2400 -2572 -2640 -2328 -2588 -2284 2320 2492 -2504 2640 2280 -2604 -2596 2448 -2448 -2324 -2336 -2320 -2324 2528 2548 2364 -2436 2284 -2376 2580 2600 2280 2616 -2456 -2436 2600 -2592 2640 -2340 2520 -2280 -2524 2600 -2372 -2640 2532 2416 -2280 2344 2528 2420 2312 -2436 2320 -2636 -2592 -2420 -2332 -2476 2616 -2508 2440 2600 2416 2556 2584 -2280 2380 2600 2280 2316 2580 2288 -2616 -2540 -2640 -2300 -2452 -2444 -2496 -2420 -2356 2492 -2320 -2636 2448 2380 -2328 2628 2596 -2588 -2560 2588 -2524 -2320 -2352 2380 2324 2296 -2460 -2600 -2396 -2616 2540 -2408 -2548 2280 -2588 2336 -2588 -2284 -2348 -2640 -2640 2568 -2332 -2580 2400 -2312 2400 -2520 2468 -2600 2572 -2464 2640 -2536 2556 2572 -2512 2600 -2480 -2340 -2556 -2616 2548 -2320 2440 2280 -2316 -2640 2456 2388 -2632 2320 -2356 -2600 2396 -2368 2468 -2584 -2504 2528 2480 -2436 2300 2588 -2576 -2640 -2628 2632 -2404 -2488 2600 -2420 -2312 -2392 -2324 -2512 -2320 -2640 -2360 2508 2328 -2292 -2636 -2600 -2320 2520 2556 2452 2404 -2640 -2288 2300 2484 -2600 -2320 -2576 2412 -2512 2300 2308 2352 -2600 -2280 2324 2296 -2320 -2596 2404 2628 -2624 2280 -2552 -2404 -2448 -2376 -2448 2600 2312 -2596 -2280 2600 -2528 2380 -2280 2372 -2640 -2428 -2512 -2624 2324 2568 -2316 -2324 -2460 -2608 -2640 -2640 -2492 2296 2600 2512 2432 2288 2280 -2280 -2324 2612 -2592 -2292 2600 2444 2344 2436 2304 -2320 -2468 -2528 -2600 -2628 -2288 2444 2424 -2640 -2300 -2372 -2324 2320 2564 2588 -2412 -2524 -2640 2628 -2600 -2420 -2340 2400 2608 -2292 -2440 2424 -2536 -2600 -2432 2440 2496 2640 2432 -2440 -2640 -2320 2344 2364 2320 -2528 -2340 2612 -2464 2436 2308 -2336 -2304 -2328 2596 -2396 2284 2512 2404 -2520 2536 2600 2576 -2600 2460 -2460 2488 -2576 -2472 2284 2576 2484 -2284 -2288 -2320 2304 -2488 2320 -2468 2608 -2640 2436 2484 -2300 2332 -2640 2636 -2592 -2500 -2544 2584 -2384 -2392 2584 -2584 2544 2532 2332 2600 2528 -2356 2388 -2616 -2640 -2332 2372 -2620 -2376 2600 -2600 2328 -2448 -2564 -2524 2452 2416 -2636 -2320 -2348 2600 2560 2456 2280 -2348 -2496 -2548 -2328 2280 -2352 -2348 2448 -2624 -2408 2364 -2592 2280 -2320 -2320 2280 -2532 -2328 -2440 -2324 -2288 2320 -2448 -2580 -2552 -2508 2372 2604 -2280 -2320 2464 2384 -2476 2280 2544 2584 -2396 -2424 2600 -2524 -2372 -2612 -2340 2532 2576 2320 -2396 -2612 -2420 2352 2548 -2328 2508 -2300 2432 2440 -2548 -2580 -2320 -2384 -2612 2444 2364 2360 2324 -2296 2280 2320 -2280 2280 -2288 -2628 -2600 2536 -2500 2580 -2412 2280 2288 -2292 -2588 2468 2596 2288 -2600 2636 2372 -2408 -2512 -2280 2604 2520 -2576 -2324 -2280 2344 2460 -2544 -2580 -2464 2320 -2480 -2552 2492 -2600 2352 2312 2416 2640 2440 -2396 -2284 2524 2588 -2496 2640 -2380 -2540 2372 -2392 -2504 -2580 -2568 -2588 -2492 -2424 -2600 2332 -2308 2532 2600 -2576 2428 2600 -2368 -2376 2636 -2300 -2640 -2596 -2640 2460 -2556 -2384 -2600 -2344 -2476 -2368 2340 -2336 -2432 -2460 2320 -2368 2280 2532 -2324 -2332 -2640 2372 2340 2596 -2436 -2364 -2496 -2424 -2340 2380 2388 -2512 -2632 -2640 -2284 -2388 2632 -2620 -2348 2412 -2468 -2588 -2300 -2308 -2600 2524 2532 2620 -2400 -2624 -2584 2600 2616 -2308 2340 2592 2452 2584 -2588 -2280 2564 -2424 -2384 -2336 -2640 2520 2464 2484 2292 2496 2384 2508 2408 2380 -2536 -2456 -2640 -2320 -2300 2488 -2548 -2464 -2600 -2420 -2280 -2280 -2528 2464 -2336 -2320 -2508 -2340 2356 2320 2324 -2640 -2420 -2284 -2336 -2540 -2504 -2604 2332 -2380 -2488 -2532 2284 -2376 -2392 -2280 2640 2280 -2328 -2384 2424 2456 2512 -2512 -2552 -2640 2516 -2628 -2288 -2400 2396 -2460 2524 -2580 2464 -2600 2280 2600 2348 2600 2532 2636 -2444 2320 -2544 -2360 2296 2492 -2360 -2424 2544 2536 2332 2560 2580 2352 -2596 -2280 2320 2508 -2280 2312 -2412 2340 -2600 -2496 2452 -2380 2500 2640 -2488 -2604 -2580 2348 2304 -2588 -2400 -2320 -2456 -2548 2616 -2548 2472 2284 -2600 -2324 -2500 2496 2640 2328 2320 -2640 -2344 -2412 2328 2640 -2384 -2568 -2292 -2600 -2456 2640 -2340 -2468 2344 2528 2312 -2500 2356 -2408 -2640 2592 -2636 2308 -2456 -2504 2280 -2588 -2432 -2344 2464 -2628 -2280 2512 2396 -2296 -2332 -2332 -2456 -2376 -2540 2516 -2424 2428 2476 -2364 2376 2600 2324 -2516 -2320 2588 -2628 2404 -2612 -2516 -2320 -2636 -2480 -2600 -2308 2416 2580 -2348 2320 -2576 2572 -2320 -2320 -2392 -2504 2308 -2348 -2320 -2436 -2476 -2352 2516 -2288 -2616 -2472 -2424 -2372 2552 -2516 2324 -2608 -2408 -2300 2400 2460 -2404 -2640 2464 -2428 -2456 2580 -2608 2364 2332 -2588 2448 -2300 -2420 -2640 -2332 -2552 -2340 -2356 2492 -2324 2368 2400 2488 -2392 -2576 -2324 2616 2388 2464 -2620 -2364 2596 2352 2320 2320 -2280 2396 2584 -2612 2328 -2320 2424 -2636 2600 2432 2560 2432 -2432 -2472 -2340 -2320 -2564 -2404 -2640 -2588 2612 2492 -2600 -2352 -2544 -2524 -2492 -2436 2524 2500 -2600 -2640 -2596 -2412 2548 -2348 2380 2388 -2288 2340 -2424 -2448 2324 2564 2412 -2432 -2448 2548 -2588 -2440 2468 -2360 2524 -2516 -2424 2384 2576 2516 -2516 -2320 2568 -2600 2420 -2500 2632 2316 -2384 -2624 -2456 -2640 -2456 -2600 2500 -2628 -2500 2412 -2320 -2640 -2380 -2320 -2620 2640 2296 -2508 -2540 -2600 -2476 -2600 -2620 -2640 -2448 2320 -2640 -2480 2280 -2280 -2344 2484 2300 -2580 -2572 -2600 -2632 -2420 -2476 2280 -2476 -2564 -2444 2312 -2432 2392 2432 2412 2584 2324 2600 -2348 2568 -2364 -2372 -2328 2400 -2640 -2328 -2572 2376 2544 -2432 -2484 2348 -2416 2596 -2600 -2488 2452 2304 2308 -2584 -2372 -2600 -2464 -2332 -2536 2444 -2560 -2640 2640 2508 -2340 -2612 -2328 2440 -2328 -2452 -2640 -2588 -2288 -2380 -2600 -2528 2388 2484 -2552 -2348 2516 -2320 2556 -2412 -2380 2576 2328 -2380 -2320 2640 -2344 2468 -2484 2508 -2640 -2420 -2568 -2572 2320 2636 2408 -2312 2596 2592 -2588 -2500 -2512 2560 2404 2628 2348 -2600 2280 2332 2588 2280 -2420 2460 -2320 -2348 -2292 -2352 2320 -2500 2332 -2368 2428 2500 2348 2624 -2548 -2456 -2372 2368 2320 2284 2460 2580 -2640 2340 -2372 2344 2600 2600 2640 -2600 -2336 -2404 2444 2552 -2324 2600 -2640 -2284 -2556 -2360 -2292 -2280 -2320 -2336 2324 -2504 -2608 2596 2632 -2336 2516 2600 -2640 -2568 -2628 -2344 2540 -2280 2516 -2592 -2408 -2624 -2636 2356 2588 -2412 -2516 2556 -2572 2320 -2368 -2368 2636 -2424 2632 2348 -2352 -2340 -2448 2616 2532 -2408 -2360 2496 -2428 2360 -2280 2568 -2320 2508 -2340 -2640 -2600 -2580 2428 -2640 -2476 -2596 2312 2584 2296 -2320 -2320 -2388 2424 2524 -2436 2480 -2600 -2520 2308 -2444 2360 -2284 2340 -2280 -2280 2304 -2640 -2440 -2328 2404 2508 2356 -2640 2372 -2508 2572 -2432 -2336 2400 -2556 2336 2600 -2624 2612 -2284 -2612 -2600 -2376 2416 -2416 -2416 -2420 2564 -2640 -2424 -2640 -2612 -2320 -2452 2280 -2500 2532 -2424 2640 -2640 -2348 -2556 -2340 -2332 2516 2600 2636 2576 -2548 2280 2396 2484 -2472 2612 2404 -2640 -2280 2280 -2320 -2364 -2480 -2388 -2600 -2280 2428 2596 -2572 -2372 2424 2484 2420 -2356 -2520 -2636 -2480 2600 -2332 2572 -2528 2572 2400 2564 2508 -2640 -2380 2564 2336 2556 2444 -2280 2380 2392 2628 2340 2544 -2312 2280 2280 2408 2444 2556 -2508 -2640 2540 -2488 -2588 -2320 2280 -2288 -2416 -2324 2556 2460 -2364 -2508 -2364 2424 -2600 -2296 2608 -2556 2516 2600 2348 2460 2340 2344 2588 -2564 -2384 2476 -2604 -2616 -2380 -2600 2492 2600 2372 -2400 2524 -2448 -2356 2320 2392 2608 -2416 -2280 2384 -2448 2532 -2484 -2616 2580 -2320 2484 -2392 -2448 -2364 2548 -2448 2620 -2372 -2640 2308 -2372 -2320 2576 -2480 2344 2448 -2356 2364 2280 2464 2592 -2352 -2412 -2340 -2564 -2388 2508 -2380 2320 -2468 -2428 -2536 2520 -2340 2280 2432 -2480 2324 -2488 2320 2540 2628 -2392 2548 -2320 2508 -2564 2584 -2312 -2600 2496 -2632 2400 -2640 -2320 2596 2300 -2600 2408 2472 -2324 -2320 2520 2320 2348 2304 -2300 -2336 2468 -2628 -2292 -2564 2516 2624 -2572 2320 -2472 -2452 -2320 2532 2296 2588 2568 2456 2504 2600 2280 2420 2312 2324 -2320 2464 2588 2588 2624 -2480 -2456 2568 -2640 2412 -2396 -2572 -2316 -2392 -2484 -2612 2612 -2324 -2444 2320 -2508 2520 -2636 -2348 -2448 -2368 2400 -2384 2324 -2316 2528 -2280 2340 -2356 2600 -2388 -2444 2544 -2392 -2388 -2640 -2516 -2492 -2488 -2548 2456 2628 -2308 2320 2296 2628 2512 -2440 -2600 2424 2440 2452 2480 -2340 -2604 -2440 -2600 2352 -2360 2280 2580 2316 -2368 2432 -2476 -2388 2604 -2400 2476 -2304 2408 -2412 2528 -2596 2372 -2596 2572 -2552 -2520 -2328 -2356 -2360 -2320 -2280 2452 2600 2452 2352 2280 -2640 2444 2280 -2600 2384 2284 2340 2572 -2496 2484 -2280 -2536 -2496 -2528 2412 2536 2472 -2572 2344 2448 -2640 2600 -2628 -2528 2444 -2300 -2436 -2436 2344 2464 -2540 -2312 -2444 -2640 -2384 2280 -2356 -2316 -2296 -2640 -2604 -2428 -2420 -2292 -2392 2488 -2288 2364 2444 -2332 -2536 2476 -2328 -2488 2476 -2320 2376 -2596 -2320 2336 2280 -2584 -2292 2596 2588 2280 2408 2280 -2524 -2332 2424 2336 2308 2380 -2296 -2300 -2316 2640 -2280 2468 -2592 -2288 2328 -2628 -2352 -2280 -2356 -2348 -2288 2340 -2384 -2384 2624 2364 -2316 2564 -2612 -2512 -2600 -2600 2472 2592 -2408 -2388 -2308 2572 -2312 -2280 2640 2312 -2624 -2640 -2640 2560 2280 -2352 2600 -2280 2640 -2284 -2600 -2280 -2280 2340 -2560 -2500 -2612 -2392 2600 2600 2288 2516 2280 -2588 2372 -2368 -2332 -2532 -2576 -2420 -2288 -2640 -2484 -2472 2476 -2596 -2332 2300 -2500 2568 -2600 2596 2508 2568 -2372 -2472 -2300 2320 -2380 -2596 2372 -2392 2384 -2372 2516 -2572 -2640 -2292 -2280 -2400 -2392 -2424 -2600 2640 2356 -2304 -2328 2408 -2508 -2388 -2412 -2320 2544 -2600 -2336 2300 2344 2628 2344 -2416 -2320 -2468 2280 -2640 2548 2428 -2604 2316 2600 -2296 -2388 -2600 2548 -2584 2432 2320 -2640 -2640 2320 -2300 -2640 -2640 -2600 -2540 2364 -2508 2576 2408 2280 2636 -2352 2512 -2428 -2476 -2328 2408 -2324 2532 2580 -2588 -2452 2496 2464 2444 2336 -2344 -2320 -2544 2280 -2384 2568 -2640 -2280 -2568 -2640 -2324 -2628 -2576 -2412 -2480 -2512 -2600 -2424 2516 2600 2380 -2568 -2548 -2320 -2284 2296 2332 2336 -2632 2352 2360 2584 2548 -2572 -2520 2600 2600 2588 -2476 -2348 2404 2316 2484 -2640 2548 -2524 -2516 -2592 2480 2640 -2380 2472 2640 2376 -2608 -2556 2344 2320 2552 -2344 -2320 2624 -2324 2392 -2604 -2364 -2584 2600 2640 2348 2320 -2368 2568 -2512 -2400 2572 -2584 -2484 2640 -2396 -2608 2280 -2420 -2308 -2512 2408 -2376 2588 -2320 -2564 -2280 -2464 2640 2452 2484 -2584 -2420 -2468 -2588 -2448 -2548 -2600 -2416 -2504 -2516 -2640 -2320 2368 -2308 -2640 -2288 -2452 2408 2424 -2488 2536 2468 2280 2480 2280 2320 -2640 2584 -2484 -2640 -2516 2324 -2500 2572 2572 2520 -2460 -2448 2280 -2600 -2640 2280 -2552 2320 -2320 2460 2384 -2528 -2600 2496 2472 2320 -2592 -2320 2280 -2544 -2548 2340 -2596 2640 -2404 -2412 2336 -2528 -2568 -2596 -2340 -2560 -2568 -2504 -2572 -2304 -2344 -2376 -2320 2600 -2640 -2372 -2416 2320 2556 -2440 -2280 -2292 -2340 2280 -2564 -2600 -2472 -2612 2640 2368 -2600 -2332 -2464 -2412 -2320 -2528 -2328 -2320 -2540 2280 -2460 2484 2280 2360 -2588 -2320 -2280 -2368 2280 -2568 2280 -2600 2340 -2280 2488 -2300 2464 -2320 2340 2588 2460 -2600 2420 2464 2320 2600 2284 -2476 2572 2388 -2320 -2412 2640 -2488 -2448 -2404 -2468 2596 -2600 2512 2560 -2344 2564 2416 2396 -2344 -2552 -2640 -2320 -2600 2484 2360 -2320 2576 2456 -2536 -2404 -2416 2636 -2332 2332 -2384 -2368 2416 -2416 2284 -2320 -2640 -2324 2624 2304 -2376 -2540 -2460 -2384 -2400 -2444 -2556 2536 -2340 -2524 -2540 -2488 -2320 -2472 -2320 -2532 -2640 -2428 -2440 -2312 -2600 -2600 2444 2320 2600 2360 2320 -2396 -2376 2280 2596 -2340 -2532 2280 -2492 -2568 -2372 2488 -2528 -2588 2360 -2600 2572 -2532 -2528 2532 -2412 2380 -2476 -2312 -2440 -2320 2324 -2528 -2572 2388 -2396 2576 -2432 -2352 2404 -2424 -2496 -2284 -2596 -2360 -2608 -2484 2536 -2296 -2320 2412 2560 -2596 -2536 2364 -2432 -2592 -2280 -2448 2300 2380 -2636 2528 2604 -2440 -2352 2280 -2604 2300 -2428 2364 2452 -2360 2280 -2604 -2320 2468 -2472 -2624 -2508 2436 -2428 2448 -2300 -2352 2364 -2504 -2584 2640 -2596 -2640 -2352 2408 -2420 2436 -2292 -2464 -2288 -2456 -2620 -2640 2424 -2320 2376 -2600 -2628 2368 2388 -2280 2512 -2364 2568 -2408 -2336 -2600 2556 -2432 2356 2632 2380 2568 2408 -2464 -2424 2500 -2640 -2524 -2460 -2280 -2376 2536 2548 2536 -2640 -2292 -2604 -2280 -2436 -2344 2560 2628 -2600 2320 -2600 2592 -2280 -2404 2576 -2600 2584 -2320 2520 2480 -2340 -2360 2468 -2592 2616 2384 2484 2584 2468 -2628 2280 2344 -2296 -2352 2628 -2320 -2508 -2492 2584 -2596 2640 -2332 -2336 2324 2452 -2280 2640 -2320 -2308 -2348 -2480 2340 -2600 2388 2400 -2516 2488 -2420 2328 -2564 -2384 -2392 -2376 2328 2280 -2428 -2544 2284 -2316 -2372 2396 -2624 2548 -2408 2572 -2360 -2504 -2392 2372 2388 2316 -2500 -2320 2324 -2320 -2320 -2424 -2496 -2408 -2476 -2596 2636 2532 2576 2600 -2320 -2640 -2280 -2292 -2396 -2412 -2348 2280 -2280 -2584 2328 2320 2628 2372 2284 2320 2600 -2396 -2616 -2528 -2344 -2540 -2380 2472 2320 2348 2340 -2596 2600 -2336 2364 -2548 2328 -2508 -2600 2380 2280 2588 2492 -2372 -2304 2344 -2608 -2540 -2608 -2420 -2640 -2488 2640 -2428 -2292 -2424 -2640 -2324 -2396 2280 -2340 -2572 -2320 -2436 2380 -2288 2488 -2416 -2320 2536 2564 2572 -2468 -2280 2472 2296 2280 -2448 2284 2584 -2280 2444 2400 2292 2516 -2320 2588 2640 2600 2320 -2464 -2300 2620 -2320 -2336 2352 2360 2472 2404 -2304 -2624 2508 2452 -2560 -2572 2580 -2344 2600 -2476 -2600 -2520 -2344 -2372 -2588 -2468 -2280 -2396 2576 -2448 -2424 2636 2572 -2448 -2436 2600 -2528 -2512 -2320 -2592 2356 2596 -2400 -2320 -2328 2384 2328 -2320 2280 -2468 -2384 2476 2516 -2588 2280 -2320 2328 2280 -2564 2332 2280 -2320 -2568 -2320 2412 2368 -2500 -2600 2508 -2328 -2540 -2348 -2500 -2548 -2308 -2288 2612 -2352 -2384 -2376 2484 -2520 -2584 2444 -2600 -2428 2448 2560 2336 -2280 -2320 -2356 2548 -2564 2480 2344 -2352 -2464 2540 2640 -2600 2388 -2640 -2600 2384 2584 2360 2552 2520 -2436 -2468 -2280 -2360 -2524 -2564 2328 -2528 -2600 -2584 -2556 -2280 2540 2280 -2320 2428 2496 -2328 2280 -2284 2444 2584 2332 -2480 -2600 -2356 2364 -2340 -2576 -2372 -2320 2376 2568 -2552 2328 -2516 -2640 -2512 -2520 -2640 2572 -2580 -2280 -2640 2508 -2508 2332 -2320 2580 -2320 -2564 -2328 -2384 -2332 -2640 -2300 -2572 -2304 2452 -2412 -2332 2484 -2512 2472 2332 2292 -2588 -2580 2320 -2600 -2496 -2320 -2392 -2360 2296 2600 -2384 -2344 -2472 2636 2520 2352 -2568 2384 2576 -2280 2600 2576 -2412 -2468 2532 -2548 -2320 -2640 2568 -2600 2488 -2452 -2300 -2640 2336 2352 -2488 -2316 2292 -2428 2324 2384 -2588 -2408 -2280 2548 -2600 2392 2432 2600 2392 -2640 -2536 2468 -2568 -2580 2420 -2280 -2364 -2640 2504 -2312 2496 -2428 2408 2328 2436 -2388 2300 -2492 2492 2640 -2432 -2640 -2572 -2512 -2548 -2516 -2560 -2492 -2620 2624 2456 -2600 -2336 -2336 -2352 -2620 -2380 2508 -2640 2604 -2600 -2548 -2288 -2448 -2320 2576 -2404 2632 2460 -2600 -2576 -2532 -2384 -2620 -2508 2500 2576 2404 -2280 2340 -2600 2596 -2428 -2300 2320 -2336 -2336 -2328 2564 2344 -2636 -2476 -2284 2304 -2616 -2624 -2628 -2600 -2640 2356 -2600 2376 2428 -2528 2312 -2640 2596 -2280 2468 -2576 -2576 -2444 2588 -2472 -2408 -2280 -2588 -2488 -2412 -2640 -2288 -2604 2600 -2320 2532 2488 -2428 -2556 -2316 -2600 2280 -2320 2584 2460 -2440 -2540 -2340 -2332 -2640 -2392 -2424 2476 2640 -2556 -2516 -2328 -2360 -2336 -2340 2408 2480 -2504 2280 2496 2516 2400 -2336 -2636 -2424 -2556 2424 -2640 -2348 -2556 2600 2348 -2352 -2572 -2392 2532 -2432 -2416 2332 2328 -2412 -2372 -2640 -2320 -2284 2308 -2316 -2640 -2496 -2280 -2324 -2580 -2384 -2280 -2384 2540 -2616 2468 2624 2280 -2320 2544 -2608 -2324 -2368 -2600 2280 -2524 -2320 2596 -2532 -2564 2284 -2588 -2600 -2324 -2432 -2536 -2600 -2628 -2396 -2292 -2468 -2636 -2536 -2640