Name | csp/fapp/fapp15/ normalized-fapp15-3000-2.xml |
MD5SUM | a7377e3e2481e38a6b40d9be07bb2cda |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 365 |
Best CPU time to get the best result obtained on this benchmark | 3600.03 |
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 | 1112795 | MSAT (TO) | 365 | 3600.03 | 3607.02 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112796 | MSAT (TO) | 848 | 3600.04 | 3636.22 |
Sugar++ v1.13+minisat-inc | 1112799 | ? | 330.15 | 470.602 | |
Sugar v1.13+minisat | 1112800 | ? | 349.705 | 358.983 | |
AbsconMax 112 pc-w | 1112797 | ? | 655.398 | 661.849 | |
AbsconMax 112 pc-d | 1112798 | ? | 837.628 | 838.258 |
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-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