Name | csp/fapp/fapp15/ normalized-fapp15-3000-0.xml |
MD5SUM | db919c043cbe2ccf39dda4a6ced1254b |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 1050 |
Best CPU time to get the best result obtained on this benchmark | 3600.08 |
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 | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112801 | MSAT (TO) | 1050 | 3600.08 | 3618.82 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112802 | MSAT (TO) | 1550 | 3600.05 | 3622.32 |
Sugar v1.13+minisat | 1112806 | ? | 337.108 | 346.765 | |
Sugar++ v1.13+minisat-inc | 1112805 | ? | 341.485 | 348.411 | |
AbsconMax 112 pc-d | 1112804 | ? | 588.141 | 591.519 | |
AbsconMax 112 pc-w | 1112803 | ? | 617.48 | 619 |
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-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