Trace number 4460241

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
RoundingSat log (2)OPT939 76.9998 80.2546

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMb97b9bf3767749854a32fccedb37d823
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark4.63488
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.05	c RoundingSat 2
0.00/0.05	c branch 
0.00/0.05	c commit 
0.04/0.10	c #variables 8405 #constraints 11367
1.33/1.40	c bounds - >= -3212 @ 0.039476
1.33/1.40	c bounds 30893 >= -3212 @ 0.294372
1.33/1.40	c bounds 30893 >= -2545 @ 0.297214
1.33/1.40	c bounds 30893 >= -2445 @ 0.300809
1.33/1.40	c bounds 30893 >= -2345 @ 0.304026
1.33/1.40	c bounds 30893 >= -2245 @ 0.30712
1.33/1.40	c bounds 30893 >= -2145 @ 0.309497
1.33/1.40	c bounds 30893 >= -2045 @ 0.31186
1.33/1.40	c bounds 30893 >= -1945 @ 0.315288
1.33/1.40	c bounds 30893 >= -1845 @ 0.319377
1.33/1.40	c bounds 30893 >= -1745 @ 0.322357
1.33/1.40	c bounds 30893 >= -1645 @ 0.324368
1.33/1.40	c bounds 1055 >= -1645 @ 0.38496
1.33/1.40	c bounds 1054 >= -1645 @ 0.390077
1.33/1.40	c bounds 1053 >= -1645 @ 0.394272
1.33/1.40	c bounds 1052 >= -1645 @ 0.400946
1.33/1.40	c bounds 1051 >= -1645 @ 0.404643
1.33/1.40	c bounds 1050 >= -1645 @ 0.413274
1.33/1.40	c bounds 1049 >= -1645 @ 0.41596
1.33/1.40	c bounds 1048 >= -1645 @ 0.420675
1.33/1.40	c bounds 1047 >= -1645 @ 0.424176
1.33/1.40	c bounds 1046 >= -1645 @ 0.494454
1.33/1.40	c bounds 1046 >= -1644 @ 0.497929
1.33/1.40	c bounds 1046 >= -1643 @ 0.50138
1.33/1.40	c bounds 1046 >= -1642 @ 0.504873
1.33/1.40	c bounds 1046 >= -1641 @ 0.508344
1.33/1.40	c bounds 1046 >= -1640 @ 0.510815
1.33/1.40	c bounds 1046 >= -1639 @ 0.51424
1.33/1.40	c bounds 1046 >= -1638 @ 0.516716
1.33/1.40	c bounds 1046 >= -1637 @ 0.52036
1.33/1.40	c bounds 1046 >= -1636 @ 0.522712
1.33/1.40	c bounds 1046 >= -1635 @ 0.526255
1.33/1.40	c bounds 1046 >= -1634 @ 0.529695
1.33/1.40	c bounds 1046 >= -1633 @ 0.533404
1.33/1.40	c bounds 1046 >= -1632 @ 0.536889
1.33/1.40	c bounds 1046 >= -1631 @ 0.541418
1.33/1.40	c bounds 1046 >= -1630 @ 0.543939
1.33/1.40	c bounds 1046 >= -1629 @ 0.547418
1.33/1.40	c bounds 1046 >= -1628 @ 0.550271
1.33/1.40	c bounds 1046 >= -1627 @ 0.551778
1.33/1.40	c bounds 1046 >= -1626 @ 0.554551
1.33/1.40	c bounds 1046 >= -1625 @ 0.558121
1.33/1.40	c bounds 1046 >= -1624 @ 0.561756
1.33/1.40	c bounds 1046 >= -1623 @ 0.566265
1.33/1.40	c bounds 1046 >= -1622 @ 0.567873
1.33/1.40	c bounds 1046 >= -1619 @ 0.571899
1.33/1.40	c bounds 1046 >= -1618 @ 0.575884
1.33/1.40	c bounds 1046 >= -1615 @ 0.578794
1.33/1.40	c bounds 1046 >= -1614 @ 0.582109
1.33/1.40	c bounds 1046 >= -1611 @ 0.586091
1.33/1.40	c bounds 1046 >= -1610 @ 0.5895
1.33/1.40	c bounds 1046 >= -1607 @ 0.592839
1.33/1.40	c bounds 1046 >= -1604 @ 0.596503
1.33/1.40	c bounds 1046 >= -1602 @ 0.600097
1.33/1.40	c bounds 1046 >= -1598 @ 0.603539
1.33/1.40	c bounds 1046 >= -1597 @ 0.609122
1.33/1.40	c bounds 1046 >= -1596 @ 0.611617
1.33/1.40	c bounds 1046 >= -1595 @ 0.616118
1.33/1.40	c bounds 1046 >= -1594 @ 0.619595
1.33/1.40	c bounds 1046 >= -1593 @ 0.624087
1.33/1.40	c bounds 1046 >= -1592 @ 0.626561
1.33/1.40	c bounds 1046 >= -1591 @ 0.630156
1.33/1.40	c bounds 1046 >= -1590 @ 0.634564
1.33/1.40	c bounds 1046 >= -1589 @ 0.638446
1.33/1.40	c bounds 1046 >= -1588 @ 0.643268
1.33/1.40	c bounds 1046 >= -1587 @ 0.64928
1.33/1.40	c bounds 1046 >= -1586 @ 0.652939
1.33/1.40	c bounds 1046 >= -1585 @ 0.656603
1.33/1.40	c bounds 1046 >= -1584 @ 0.660414
1.33/1.40	c bounds 1046 >= -1583 @ 0.665166
1.33/1.40	c bounds 1046 >= -1582 @ 0.668184
1.33/1.40	c bounds 1046 >= -1581 @ 0.672957
1.33/1.40	c bounds 1046 >= -1580 @ 0.676556
1.33/1.40	c bounds 1046 >= -1579 @ 0.68141
1.33/1.40	c bounds 1046 >= -1578 @ 0.685899
1.33/1.40	c bounds 1046 >= -1577 @ 0.689262
1.33/1.40	c bounds 1046 >= -1576 @ 0.694802
1.33/1.40	c bounds 1046 >= -1575 @ 0.699373
1.33/1.40	c bounds 1046 >= -1574 @ 0.703884
1.33/1.40	c bounds 1046 >= -1573 @ 0.708229
1.33/1.40	c bounds 1046 >= -1572 @ 0.712983
1.33/1.40	c bounds 1046 >= -1571 @ 0.718498
1.33/1.40	c bounds 1046 >= -1570 @ 0.725329
1.33/1.40	c bounds 1046 >= -1569 @ 0.73109
1.33/1.40	c bounds 1046 >= -1568 @ 0.734656
1.33/1.40	c bounds 1046 >= -1567 @ 0.737018
1.33/1.40	c bounds 1046 >= -1566 @ 0.740285
1.33/1.40	c bounds 1046 >= -1565 @ 0.743794
1.33/1.40	c bounds 1046 >= -1564 @ 0.748419
1.33/1.40	c bounds 1046 >= -1563 @ 0.753005
1.33/1.40	c bounds 1046 >= -1562 @ 0.756767
1.33/1.40	c bounds 1046 >= -1561 @ 0.760292
1.33/1.40	c bounds 1046 >= -1560 @ 0.763906
1.33/1.40	c bounds 1046 >= -1559 @ 0.76929
1.33/1.40	c bounds 1046 >= -1558 @ 0.772962
1.33/1.40	c bounds 1046 >= -1557 @ 0.77948
1.33/1.40	c bounds 1046 >= -1556 @ 0.783903
1.33/1.40	c bounds 1046 >= -1552 @ 0.788458
1.33/1.40	c bounds 1046 >= -1547 @ 0.792845
1.33/1.40	c bounds 1046 >= -1543 @ 0.797184
1.33/1.40	c bounds 1046 >= -1542 @ 0.801648
1.33/1.40	c bounds 1046 >= -1540 @ 0.804025
1.33/1.40	c bounds 1046 >= -1539 @ 0.809452
1.33/1.40	c bounds 1046 >= -1535 @ 0.81304
1.33/1.40	c bounds 1046 >= -1533 @ 0.817562
1.33/1.40	c bounds 1046 >= -1532 @ 0.82094
1.33/1.40	c bounds 1046 >= -1527 @ 0.825361
1.33/1.40	c bounds 1046 >= -1525 @ 0.829949
1.33/1.40	c bounds 1046 >= -1524 @ 0.833428
1.33/1.40	c bounds 1046 >= -1518 @ 0.836868
1.33/1.40	c bounds 1046 >= -1517 @ 0.841329
1.33/1.40	c bounds 1046 >= -1512 @ 0.84674
1.33/1.40	c bounds 1046 >= -1505 @ 0.850045
1.33/1.40	c bounds 1046 >= -1504 @ 0.853622
1.33/1.40	c bounds 1046 >= -1499 @ 0.855901
1.33/1.40	c bounds 1046 >= -1494 @ 0.860367
1.33/1.40	c bounds 1046 >= -1493 @ 0.86302
1.33/1.40	c bounds 1046 >= -1492 @ 0.866728
1.33/1.40	c bounds 1046 >= -1491 @ 0.871358
1.33/1.40	c bounds 1046 >= -1490 @ 0.874778
1.33/1.40	c bounds 1046 >= -1489 @ 0.879316
2.23/2.32	c bounds 1046 >= -1488 @ 0.883861
2.23/2.32	c bounds 1046 >= -1487 @ 0.8873
2.23/2.32	c bounds 1046 >= -1486 @ 0.890758
2.23/2.32	c bounds 1046 >= -1485 @ 0.895191
2.23/2.32	c bounds 1046 >= -1484 @ 0.900673
2.23/2.32	c bounds 1046 >= -1483 @ 0.905151
2.23/2.32	c bounds 1046 >= -1482 @ 0.910427
2.23/2.32	c bounds 1046 >= -1481 @ 0.915898
2.23/2.32	c bounds 1046 >= -1480 @ 0.920316
2.23/2.32	c bounds 1046 >= -1479 @ 0.92292
2.23/2.32	c bounds 1046 >= -1478 @ 0.924638
2.23/2.32	c bounds 1046 >= -1477 @ 0.928108
2.23/2.32	c bounds 1046 >= -1476 @ 0.930629
2.23/2.32	c bounds 1046 >= -1475 @ 0.935156
2.23/2.32	c bounds 1046 >= -1474 @ 0.938646
2.23/2.32	c bounds 1046 >= -1473 @ 0.945057
2.23/2.32	c bounds 1046 >= -1467 @ 0.948559
2.23/2.32	c bounds 1046 >= -1466 @ 0.952843
2.23/2.32	c bounds 1046 >= -1465 @ 0.957194
2.23/2.32	c bounds 1046 >= -1464 @ 0.961564
2.23/2.32	c bounds 1046 >= -1463 @ 0.965993
2.23/2.32	c bounds 1046 >= -1462 @ 0.970318
2.23/2.32	c bounds 1046 >= -1461 @ 0.975077
2.23/2.32	c bounds 1046 >= -1460 @ 0.978544
2.23/2.32	c bounds 1046 >= -1459 @ 0.983251
2.23/2.32	c bounds 1046 >= -1458 @ 0.987549
2.23/2.32	c bounds 1046 >= -1457 @ 0.993182
2.23/2.32	c bounds 1046 >= -1456 @ 0.9988
2.23/2.32	c bounds 1046 >= -1455 @ 1.00143
2.23/2.32	c bounds 1046 >= -1454 @ 1.00669
2.23/2.32	c bounds 1046 >= -1453 @ 1.01103
2.23/2.32	c bounds 1046 >= -1452 @ 1.01347
2.23/2.32	c bounds 1046 >= -1451 @ 1.01924
2.23/2.32	c bounds 1046 >= -1450 @ 1.02152
2.23/2.32	c bounds 1046 >= -1449 @ 1.02589
2.23/2.32	c bounds 1046 >= -1448 @ 1.02845
2.23/2.32	c bounds 1046 >= -1447 @ 1.03309
2.23/2.32	c bounds 1046 >= -1446 @ 1.03687
2.23/2.32	c bounds 1046 >= -1445 @ 1.03923
2.23/2.32	c bounds 1046 >= -1444 @ 1.04259
2.23/2.32	c bounds 1046 >= -1443 @ 1.04594
2.23/2.32	c bounds 1046 >= -1442 @ 1.0503
2.23/2.32	c bounds 1046 >= -1441 @ 1.05455
2.23/2.32	c bounds 1046 >= -1440 @ 1.05885
2.23/2.32	c bounds 1046 >= -1439 @ 1.06229
2.23/2.32	c bounds 1046 >= -1436 @ 1.06552
2.23/2.32	c bounds 1046 >= -1435 @ 1.06987
2.23/2.32	c bounds 1046 >= -1434 @ 1.07223
2.23/2.32	c bounds 1046 >= -1433 @ 1.07757
2.23/2.32	c bounds 1046 >= -1432 @ 1.08319
2.23/2.32	c bounds 1046 >= -1431 @ 1.08971
2.23/2.32	c bounds 1046 >= -1430 @ 1.09314
2.23/2.32	c bounds 1046 >= -1429 @ 1.09542
2.23/2.32	c bounds 1046 >= -1428 @ 1.10012
2.23/2.32	c bounds 1046 >= -1427 @ 1.10336
2.23/2.32	c bounds 1046 >= -1426 @ 1.10667
2.23/2.32	c bounds 1046 >= -1425 @ 1.10908
2.23/2.32	c bounds 1046 >= -1424 @ 1.11325
2.23/2.32	c bounds 1046 >= -1423 @ 1.11757
2.23/2.32	c bounds 1046 >= -1422 @ 1.12087
2.23/2.32	c bounds 1046 >= -1421 @ 1.1232
2.23/2.32	c bounds 1046 >= -1420 @ 1.12755
2.23/2.32	c bounds 1046 >= -1419 @ 1.13013
2.23/2.32	c bounds 1046 >= -1418 @ 1.1347
2.23/2.32	c bounds 1046 >= -1417 @ 1.1373
2.23/2.32	c bounds 1046 >= -1416 @ 1.14067
2.23/2.32	c bounds 1046 >= -1415 @ 1.14312
2.23/2.32	c bounds 1046 >= -1414 @ 1.14777
2.23/2.32	c bounds 1046 >= -1413 @ 1.15207
2.23/2.32	c bounds 1046 >= -1412 @ 1.15645
2.23/2.32	c bounds 1046 >= -1411 @ 1.16104
2.23/2.32	c bounds 1046 >= -1410 @ 1.16446
2.23/2.32	c bounds 1046 >= -1409 @ 1.16888
2.23/2.32	c bounds 1046 >= -1408 @ 1.17504
2.23/2.32	c bounds 1046 >= -1407 @ 1.18035
2.23/2.32	c bounds 1046 >= -1406 @ 1.18486
2.23/2.32	c bounds 1046 >= -1405 @ 1.18948
2.23/2.32	c bounds 1046 >= -1404 @ 1.19583
2.23/2.32	c bounds 1046 >= -1403 @ 1.19938
2.23/2.32	c bounds 1046 >= -1402 @ 1.20566
2.23/2.32	c bounds 1046 >= -1397 @ 1.21045
2.23/2.32	c bounds 1046 >= -1396 @ 1.21292
2.23/2.32	c bounds 1046 >= -1395 @ 1.21853
2.23/2.32	c bounds 1046 >= -1394 @ 1.22091
2.23/2.32	c bounds 1046 >= -1393 @ 1.22413
2.23/2.32	c bounds 1046 >= -1392 @ 1.22848
2.23/2.32	c bounds 1046 >= -1391 @ 1.2309
2.23/2.32	c bounds 1046 >= -1390 @ 1.23459
2.23/2.32	c bounds 1046 >= -1389 @ 1.23888
2.23/2.32	c bounds 1046 >= -1388 @ 1.24355
2.23/2.32	c bounds 1046 >= -1387 @ 1.24603
2.23/2.32	c bounds 1046 >= -1386 @ 1.25043
2.23/2.32	c bounds 1046 >= -1385 @ 1.25279
2.23/2.32	c bounds 1046 >= -1384 @ 1.25704
2.23/2.32	c bounds 1046 >= -1383 @ 1.26074
2.23/2.32	c bounds 1046 >= -1382 @ 1.2652
2.23/2.32	c bounds 1046 >= -1381 @ 1.27058
2.23/2.32	c bounds 1046 >= -1380 @ 1.27475
2.23/2.32	c bounds 1046 >= -1379 @ 1.27887
2.23/2.32	c bounds 1046 >= -1378 @ 1.28234
2.23/2.32	c bounds 1046 >= -1377 @ 1.2867
2.23/2.32	c bounds 1046 >= -1372 @ 1.29194
2.23/2.32	c bounds 1046 >= -1371 @ 1.29642
2.23/2.32	c bounds 1046 >= -1370 @ 1.29923
2.23/2.32	c bounds 1046 >= -1369 @ 1.30358
2.23/2.32	c bounds 1046 >= -1368 @ 1.30676
2.23/2.32	c bounds 1046 >= -1367 @ 1.31221
2.23/2.32	c bounds 1046 >= -1366 @ 1.31585
2.23/2.32	c bounds 1046 >= -1365 @ 1.31943
2.23/2.32	c bounds 1046 >= -1364 @ 1.32393
2.23/2.32	c bounds 1046 >= -1363 @ 1.32747
2.23/2.32	c bounds 1046 >= -1362 @ 1.33364
2.23/2.32	c bounds 1046 >= -1361 @ 1.33705
2.23/2.32	c bounds 1046 >= -1360 @ 1.34031
2.23/2.32	c bounds 1046 >= -1359 @ 1.34268
2.23/2.32	c bounds 1046 >= -1358 @ 1.34806
2.23/2.32	c bounds 1046 >= -1357 @ 1.35067
2.23/2.32	c bounds 1046 >= -1356 @ 1.35631
2.23/2.32	c bounds 1046 >= -1355 @ 1.36017
2.23/2.32	c bounds 1046 >= -1354 @ 1.36522
2.23/2.32	c bounds 1046 >= -1353 @ 1.36815
2.23/2.32	c bounds 1046 >= -1352 @ 1.37054
2.23/2.32	c bounds 1046 >= -1351 @ 1.37515
2.23/2.32	c bounds 1046 >= -1350 @ 1.37762
3.13/3.27	c bounds 1046 >= -1349 @ 1.38125
3.13/3.27	c bounds 1046 >= -1348 @ 1.38646
3.13/3.27	c bounds 1046 >= -1347 @ 1.39171
3.13/3.27	c bounds 1046 >= -1346 @ 1.39611
3.13/3.27	c bounds 1046 >= -1345 @ 1.40041
3.13/3.27	c bounds 1046 >= -1344 @ 1.40596
3.13/3.27	c bounds 1046 >= -1343 @ 1.40871
3.13/3.27	c bounds 1046 >= -1342 @ 1.41144
3.13/3.27	c bounds 1046 >= -1341 @ 1.41623
3.13/3.27	c bounds 1046 >= -1340 @ 1.4176
3.13/3.27	c bounds 1046 >= -1339 @ 1.42321
3.13/3.27	c bounds 1046 >= -1338 @ 1.42787
3.13/3.27	c bounds 1046 >= -1337 @ 1.42928
3.13/3.27	c bounds 1046 >= -1336 @ 1.43247
3.13/3.27	c bounds 1046 >= -1335 @ 1.43617
3.13/3.27	c bounds 1046 >= -1332 @ 1.4393
3.13/3.27	c bounds 1046 >= -1328 @ 1.44464
3.13/3.27	c bounds 1046 >= -1324 @ 1.44819
3.13/3.27	c bounds 1046 >= -1323 @ 1.45139
3.13/3.27	c bounds 1046 >= -1319 @ 1.45617
3.13/3.27	c bounds 1046 >= -1317 @ 1.45986
3.13/3.27	c bounds 1046 >= -1316 @ 1.46227
3.13/3.27	c bounds 1046 >= -1315 @ 1.46805
3.13/3.27	c bounds 1046 >= -1314 @ 1.47076
3.13/3.27	c bounds 1046 >= -1308 @ 1.47418
3.13/3.27	c bounds 1046 >= -1305 @ 1.47746
3.13/3.27	c bounds 1046 >= -1304 @ 1.4819
3.13/3.27	c bounds 1046 >= -1303 @ 1.48636
3.13/3.27	c bounds 1046 >= -1302 @ 1.49092
3.13/3.27	c bounds 1046 >= -1301 @ 1.4953
3.13/3.27	c bounds 1046 >= -1300 @ 1.49864
3.13/3.27	c bounds 1046 >= -1299 @ 1.50212
3.13/3.27	c bounds 1046 >= -1298 @ 1.50563
3.13/3.27	c bounds 1046 >= -1297 @ 1.51208
3.13/3.27	c bounds 1046 >= -1296 @ 1.51441
3.13/3.27	c bounds 1046 >= -1295 @ 1.51979
3.13/3.27	c bounds 1046 >= -1294 @ 1.52336
3.13/3.27	c bounds 1046 >= -1293 @ 1.5261
3.13/3.27	c bounds 1046 >= -1292 @ 1.53157
3.13/3.27	c bounds 1046 >= -1291 @ 1.5341
3.13/3.27	c bounds 1046 >= -1290 @ 1.53861
3.13/3.27	c bounds 1046 >= -1289 @ 1.54306
3.13/3.27	c bounds 1046 >= -1288 @ 1.54758
3.13/3.27	c bounds 1046 >= -1287 @ 1.55007
3.13/3.27	c bounds 1046 >= -1286 @ 1.55363
3.13/3.27	c bounds 1046 >= -1285 @ 1.55614
3.13/3.27	c bounds 1046 >= -1284 @ 1.56069
3.13/3.27	c bounds 1046 >= -1283 @ 1.5641
3.13/3.27	c bounds 1046 >= -1282 @ 1.5675
3.13/3.27	c bounds 1046 >= -1281 @ 1.56903
3.13/3.27	c bounds 1046 >= -1280 @ 1.5736
3.13/3.27	c bounds 1046 >= -1279 @ 1.57705
3.13/3.27	c bounds 1046 >= -1278 @ 1.58244
3.13/3.27	c bounds 1046 >= -1277 @ 1.58484
3.13/3.27	c bounds 1046 >= -1276 @ 1.58918
3.13/3.27	c bounds 1046 >= -1275 @ 1.59265
3.13/3.27	c bounds 1046 >= -1274 @ 1.59708
3.13/3.27	c bounds 1045 >= -1274 @ 1.61395
3.13/3.27	c bounds 1045 >= -1273 @ 1.61872
3.13/3.27	c bounds 1045 >= -1272 @ 1.62322
3.13/3.27	c bounds 1045 >= -1271 @ 1.62584
3.13/3.27	c bounds 1045 >= -1270 @ 1.62944
3.13/3.27	c bounds 1045 >= -1269 @ 1.63091
3.13/3.27	c bounds 1045 >= -1268 @ 1.63534
3.13/3.27	c bounds 1045 >= -1267 @ 1.63778
3.13/3.27	c bounds 1045 >= -1266 @ 1.63996
3.13/3.27	c bounds 1045 >= -1265 @ 1.6433
3.13/3.27	c bounds 1045 >= -1264 @ 1.64578
3.13/3.27	c bounds 1045 >= -1263 @ 1.64902
3.13/3.27	c bounds 1045 >= -1262 @ 1.65535
3.13/3.27	c bounds 1045 >= -1261 @ 1.658
3.13/3.27	c bounds 1045 >= -1260 @ 1.66343
3.13/3.27	c bounds 1045 >= -1259 @ 1.66678
3.13/3.27	c bounds 1045 >= -1258 @ 1.67225
3.13/3.27	c bounds 1045 >= -1257 @ 1.67486
3.13/3.27	c bounds 1045 >= -1256 @ 1.68049
3.13/3.27	c bounds 1045 >= -1255 @ 1.68295
3.13/3.27	c bounds 1045 >= -1254 @ 1.68724
3.13/3.27	c bounds 1045 >= -1253 @ 1.69156
3.13/3.27	c bounds 1045 >= -1252 @ 1.69594
3.13/3.27	c bounds 1045 >= -1251 @ 1.69922
3.13/3.27	c bounds 1045 >= -1250 @ 1.70165
3.13/3.27	c bounds 1045 >= -1249 @ 1.70489
3.13/3.27	c bounds 1045 >= -1248 @ 1.70843
3.13/3.27	c bounds 1045 >= -1247 @ 1.71221
3.13/3.27	c bounds 1045 >= -1246 @ 1.71735
3.13/3.27	c bounds 1045 >= -1245 @ 1.72173
3.13/3.27	c bounds 1045 >= -1244 @ 1.72728
3.13/3.27	c bounds 1045 >= -1243 @ 1.73089
3.13/3.27	c bounds 1045 >= -1242 @ 1.7356
3.13/3.27	c bounds 1045 >= -1241 @ 1.73988
3.13/3.27	c bounds 1045 >= -1240 @ 1.74519
3.13/3.27	c bounds 1045 >= -1239 @ 1.7486
3.13/3.27	c bounds 1045 >= -1238 @ 1.75345
3.13/3.27	c bounds 1045 >= -1237 @ 1.75668
3.13/3.27	c bounds 1045 >= -1236 @ 1.76003
3.13/3.27	c bounds 1045 >= -1235 @ 1.76353
3.13/3.27	c bounds 1045 >= -1234 @ 1.76812
3.13/3.27	c bounds 1045 >= -1233 @ 1.77061
3.13/3.27	c bounds 1045 >= -1232 @ 1.77401
3.13/3.27	c bounds 1045 >= -1231 @ 1.77848
3.13/3.27	c bounds 1045 >= -1230 @ 1.78309
3.13/3.27	c bounds 1045 >= -1229 @ 1.7866
3.13/3.27	c bounds 1045 >= -1228 @ 1.7912
3.13/3.27	c bounds 1045 >= -1227 @ 1.79446
3.13/3.27	c bounds 1045 >= -1226 @ 1.80079
3.13/3.27	c bounds 1045 >= -1225 @ 1.80411
3.13/3.27	c bounds 1045 >= -1224 @ 1.80843
3.13/3.27	c bounds 1045 >= -1223 @ 1.81289
3.13/3.27	c bounds 1045 >= -1222 @ 1.81608
3.13/3.27	c bounds 1045 >= -1221 @ 1.8197
3.13/3.27	c bounds 1045 >= -1220 @ 1.82241
3.13/3.27	c bounds 1045 >= -1218 @ 1.8257
3.13/3.27	c bounds 1045 >= -1217 @ 1.8291
3.13/3.27	c bounds 1045 >= -1212 @ 1.83468
3.13/3.27	c bounds 1045 >= -1207 @ 1.83738
3.13/3.27	c bounds 1045 >= -1202 @ 1.84196
3.13/3.27	c bounds 1045 >= -1198 @ 1.8444
3.13/3.27	c bounds 1045 >= -1195 @ 1.84763
3.13/3.27	c bounds 1045 >= -1193 @ 1.85101
3.13/3.27	c bounds 1045 >= -1191 @ 1.85437
3.13/3.27	c bounds 1045 >= -1186 @ 1.85891
3.13/3.27	c bounds 1045 >= -1181 @ 1.86129
3.13/3.27	c bounds 1045 >= -1176 @ 1.86587
3.13/3.27	c bounds 1045 >= -1174 @ 1.87111
4.13/4.24	c bounds 1045 >= -1169 @ 1.87551
4.13/4.24	c bounds 1045 >= -1166 @ 1.87996
4.13/4.24	c bounds 1045 >= -1164 @ 1.88139
4.13/4.24	c bounds 1045 >= -1160 @ 1.88603
4.13/4.24	c bounds 1045 >= -1157 @ 1.88881
4.13/4.24	c bounds 1045 >= -1153 @ 1.89428
4.13/4.24	c bounds 1045 >= -1149 @ 1.89817
4.13/4.24	c bounds 1045 >= -1146 @ 1.90149
4.13/4.24	c bounds 1045 >= -1141 @ 1.90602
4.13/4.24	c bounds 1045 >= -1138 @ 1.90945
4.13/4.24	c bounds 1045 >= -1133 @ 1.91488
4.13/4.24	c bounds 1045 >= -1128 @ 1.91931
4.13/4.24	c bounds 1045 >= -1126 @ 1.92399
4.13/4.24	c bounds 1044 >= -1126 @ 1.95036
4.13/4.24	c bounds 1044 >= -1122 @ 1.95498
4.13/4.24	c bounds 1044 >= -1119 @ 1.95836
4.13/4.24	c bounds 1044 >= -1116 @ 1.96177
4.13/4.24	c bounds 1044 >= -1111 @ 1.96598
4.13/4.24	c bounds 1044 >= -1108 @ 1.97133
4.13/4.24	c bounds 1044 >= -1105 @ 1.97485
4.13/4.24	c bounds 1044 >= -1100 @ 1.97829
4.13/4.24	c bounds 1044 >= -1097 @ 1.98368
4.13/4.24	c bounds 1044 >= -1094 @ 1.9883
4.13/4.24	c bounds 1044 >= -1090 @ 1.99267
4.13/4.24	c bounds 1044 >= -1086 @ 1.99615
4.13/4.24	c bounds 1044 >= -1081 @ 2.00054
4.13/4.24	c bounds 1044 >= -1076 @ 2.00413
4.13/4.24	c bounds 1044 >= -1071 @ 2.00775
4.13/4.24	c bounds 1044 >= -1068 @ 2.0121
4.13/4.24	c bounds 1044 >= -1064 @ 2.01543
4.13/4.24	c bounds 1044 >= -1060 @ 2.01788
4.13/4.24	c bounds 1044 >= -1056 @ 2.02105
4.13/4.24	c bounds 1044 >= -1052 @ 2.02631
4.13/4.24	c bounds 1044 >= -1050 @ 2.03001
4.13/4.24	c bounds 1044 >= -1047 @ 2.03445
4.13/4.24	c bounds 1044 >= -1045 @ 2.03905
4.13/4.24	c bounds 1044 >= -1040 @ 2.04538
4.13/4.24	c bounds 1044 >= -1038 @ 2.04881
4.13/4.24	c bounds 1044 >= -1033 @ 2.05198
4.13/4.24	c bounds 1044 >= -1031 @ 2.05548
4.13/4.24	c bounds 1044 >= -1026 @ 2.05803
4.13/4.24	c bounds 1044 >= -1023 @ 2.06264
4.13/4.24	c bounds 1044 >= -1021 @ 2.06596
4.13/4.24	c bounds 1044 >= -1018 @ 2.06931
4.13/4.24	c bounds 1044 >= -1014 @ 2.0725
4.13/4.24	c bounds 1044 >= -1011 @ 2.07683
4.13/4.24	c bounds 1044 >= -1008 @ 2.08131
4.13/4.24	c bounds 1044 >= -1005 @ 2.08646
4.13/4.24	c bounds 1044 >= -1003 @ 2.09093
4.13/4.24	c bounds 1044 >= -1000 @ 2.09633
4.13/4.24	c bounds 1044 >= -996 @ 2.09877
4.13/4.24	c bounds 1044 >= -992 @ 2.10094
4.13/4.24	c bounds 1044 >= -987 @ 2.10631
4.13/4.24	c bounds 1044 >= -985 @ 2.1099
4.13/4.24	c bounds 1044 >= -980 @ 2.11261
4.13/4.24	c bounds 1044 >= -975 @ 2.11678
4.13/4.24	c bounds 1044 >= -970 @ 2.122
4.13/4.24	c bounds 1044 >= -966 @ 2.12729
4.13/4.24	c bounds 1044 >= -961 @ 2.13173
4.13/4.24	c bounds 1044 >= -958 @ 2.13693
4.13/4.24	c bounds 1044 >= -955 @ 2.14236
4.13/4.24	c bounds 1044 >= -950 @ 2.14468
4.13/4.24	c bounds 1044 >= -948 @ 2.14925
4.13/4.24	c bounds 1044 >= -944 @ 2.15261
4.13/4.24	c bounds 1044 >= -939 @ 2.15678
4.13/4.24	c bounds 1044 >= -934 @ 2.16117
4.13/4.24	c bounds 1044 >= -930 @ 2.16465
4.13/4.24	c bounds 1044 >= -928 @ 2.16926
4.13/4.24	c bounds 1044 >= -925 @ 2.17062
4.13/4.24	c bounds 1044 >= -921 @ 2.17378
4.13/4.24	c bounds 1044 >= -917 @ 2.17908
4.13/4.24	c bounds 1044 >= -912 @ 2.18256
4.13/4.24	c bounds 1044 >= -908 @ 2.18475
4.13/4.24	c bounds 1044 >= -906 @ 2.19105
4.13/4.24	c bounds 1044 >= -903 @ 2.19755
4.13/4.24	c bounds 1044 >= -899 @ 2.20186
4.13/4.24	c bounds 1044 >= -895 @ 2.20553
4.13/4.24	c bounds 1044 >= -892 @ 2.20779
4.13/4.24	c bounds 1044 >= -890 @ 2.21304
4.13/4.24	c bounds 1044 >= -887 @ 2.21637
4.13/4.24	c bounds 1044 >= -882 @ 2.21909
4.13/4.24	c bounds 1044 >= -877 @ 2.22262
4.13/4.24	c bounds 1044 >= -873 @ 2.22805
4.13/4.24	c bounds 1044 >= -871 @ 2.23149
4.13/4.24	c bounds 1044 >= -868 @ 2.23565
4.13/4.24	c bounds 1044 >= -863 @ 2.23898
4.13/4.24	c bounds 1044 >= -859 @ 2.24147
4.13/4.24	c bounds 1044 >= -854 @ 2.24471
4.13/4.24	c bounds 1044 >= -849 @ 2.25025
4.13/4.24	c bounds 1044 >= -846 @ 2.25473
4.13/4.24	c bounds 1044 >= -841 @ 2.26009
4.13/4.24	c bounds 1044 >= -837 @ 2.26352
4.13/4.24	c bounds 1044 >= -833 @ 2.26876
4.13/4.24	c bounds 1044 >= -830 @ 2.27236
4.13/4.24	c bounds 1044 >= -825 @ 2.27577
4.13/4.24	c bounds 1044 >= -821 @ 2.27935
4.13/4.24	c bounds 1044 >= -815 @ 2.2835
4.13/4.24	c bounds 1044 >= -810 @ 2.28773
4.13/4.24	c bounds 1044 >= -808 @ 2.29113
4.13/4.24	c bounds 1044 >= -805 @ 2.29547
4.13/4.24	c bounds 1044 >= -803 @ 2.29984
4.13/4.24	c bounds 1044 >= -799 @ 2.30403
4.13/4.24	c bounds 1044 >= -797 @ 2.30895
4.13/4.24	c bounds 1044 >= -792 @ 2.31242
4.13/4.24	c bounds 1044 >= -786 @ 2.3158
4.13/4.24	c bounds 1044 >= -783 @ 2.32017
4.13/4.24	c bounds 1044 >= -778 @ 2.32336
4.13/4.24	c bounds 1044 >= -776 @ 2.32767
4.13/4.24	c bounds 1044 >= -771 @ 2.33134
4.13/4.24	c bounds 1044 >= -766 @ 2.33492
4.13/4.24	c bounds 1044 >= -765 @ 2.33828
4.13/4.24	c bounds 1044 >= -764 @ 2.34149
4.13/4.24	c bounds 1044 >= -763 @ 2.34715
4.13/4.24	c bounds 1044 >= -762 @ 2.35347
4.13/4.24	c bounds 1044 >= -761 @ 2.35872
4.13/4.24	c bounds 1044 >= -760 @ 2.36317
4.13/4.24	c bounds 1044 >= -759 @ 2.36673
4.13/4.24	c bounds 1044 >= -758 @ 2.37027
4.13/4.24	c bounds 1044 >= -757 @ 2.37569
4.13/4.24	c bounds 1044 >= -756 @ 2.37816
4.13/4.24	c bounds 1044 >= -755 @ 2.38071
4.13/4.24	c bounds 1044 >= -754 @ 2.38418
4.13/4.24	c bounds 1044 >= -752 @ 2.39057
4.13/4.24	c bounds 1044 >= -751 @ 2.39603
4.13/4.24	c bounds 1044 >= -750 @ 2.40019
4.13/4.24	c bounds 1044 >= -749 @ 2.40539
5.13/5.24	c bounds 1044 >= -748 @ 2.40998
5.13/5.24	c bounds 1044 >= -747 @ 2.41511
5.13/5.24	c bounds 1044 >= -746 @ 2.42035
5.13/5.24	c bounds 1044 >= -745 @ 2.42575
5.13/5.24	c bounds 1044 >= -744 @ 2.42834
5.13/5.24	c bounds 1044 >= -743 @ 2.43212
5.13/5.24	c bounds 1044 >= -742 @ 2.43635
5.13/5.24	c bounds 1044 >= -741 @ 2.43973
5.13/5.24	c bounds 1044 >= -740 @ 2.4443
5.13/5.24	c bounds 1044 >= -739 @ 2.44797
5.13/5.24	c bounds 1044 >= -738 @ 2.45114
5.13/5.24	c bounds 1044 >= -737 @ 2.45447
5.13/5.24	c bounds 1044 >= -736 @ 2.45788
5.13/5.24	c bounds 1044 >= -734 @ 2.46105
5.13/5.24	c bounds 1044 >= -733 @ 2.46557
5.13/5.24	c bounds 1044 >= -732 @ 2.46994
5.13/5.24	c bounds 1044 >= -731 @ 2.47209
5.13/5.24	c bounds 1044 >= -730 @ 2.47771
5.13/5.24	c bounds 1044 >= -729 @ 2.48121
5.13/5.24	c bounds 1044 >= -728 @ 2.4848
5.13/5.24	c bounds 1044 >= -727 @ 2.48808
5.13/5.24	c bounds 1043 >= -727 @ 2.50829
5.13/5.24	c bounds 1043 >= -726 @ 2.51188
5.13/5.24	c bounds 1043 >= -725 @ 2.51537
5.13/5.24	c bounds 1043 >= -724 @ 2.51774
5.13/5.24	c bounds 1043 >= -723 @ 2.5219
5.13/5.24	c bounds 1043 >= -722 @ 2.52607
5.13/5.24	c bounds 1043 >= -721 @ 2.52933
5.13/5.24	c bounds 1043 >= -720 @ 2.53199
5.13/5.24	c bounds 1043 >= -719 @ 2.53717
5.13/5.24	c bounds 1043 >= -718 @ 2.54069
5.13/5.24	c bounds 1043 >= -717 @ 2.54383
5.13/5.24	c bounds 1043 >= -716 @ 2.5484
5.13/5.24	c bounds 1043 >= -715 @ 2.55193
5.13/5.24	c bounds 1043 >= -714 @ 2.55641
5.13/5.24	c bounds 1043 >= -713 @ 2.55877
5.13/5.24	c bounds 1043 >= -712 @ 2.56395
5.13/5.24	c bounds 1043 >= -711 @ 2.56824
5.13/5.24	c bounds 1043 >= -710 @ 2.57151
5.13/5.24	c bounds 1043 >= -709 @ 2.57482
5.13/5.24	c bounds 1043 >= -708 @ 2.57901
5.13/5.24	c bounds 1043 >= -707 @ 2.58467
5.13/5.24	c bounds 1043 >= -706 @ 2.58793
5.13/5.24	c bounds 1043 >= -705 @ 2.5932
5.13/5.24	c bounds 1043 >= -704 @ 2.59662
5.13/5.24	c bounds 1043 >= -703 @ 2.59879
5.13/5.24	c bounds 1043 >= -702 @ 2.60248
5.13/5.24	c bounds 1043 >= -701 @ 2.60802
5.13/5.24	c bounds 1043 >= -700 @ 2.61445
5.13/5.24	c bounds 1043 >= -699 @ 2.61884
5.13/5.24	c bounds 1043 >= -698 @ 2.62229
5.13/5.24	c bounds 1043 >= -697 @ 2.62574
5.13/5.24	c bounds 1043 >= -696 @ 2.62907
5.13/5.24	c bounds 1043 >= -695 @ 2.6325
5.13/5.24	c bounds 1043 >= -694 @ 2.63766
5.13/5.24	c bounds 1043 >= -693 @ 2.64311
5.13/5.24	c bounds 1043 >= -692 @ 2.64654
5.13/5.24	c bounds 1043 >= -691 @ 2.64873
5.13/5.24	c bounds 1043 >= -690 @ 2.65539
5.13/5.24	c bounds 1043 >= -689 @ 2.65892
5.13/5.24	c bounds 1043 >= -688 @ 2.66358
5.13/5.24	c bounds 1043 >= -687 @ 2.66678
5.13/5.24	c bounds 1043 >= -686 @ 2.67101
5.13/5.24	c bounds 1043 >= -685 @ 2.67442
5.13/5.24	c bounds 1043 >= -684 @ 2.67758
5.13/5.24	c bounds 1043 >= -681 @ 2.68077
5.13/5.24	c bounds 1043 >= -680 @ 2.68601
5.13/5.24	c bounds 1043 >= -678 @ 2.68844
5.13/5.24	c bounds 1043 >= -677 @ 2.69369
5.13/5.24	c bounds 1043 >= -676 @ 2.69805
5.13/5.24	c bounds 1043 >= -675 @ 2.7033
5.13/5.24	c bounds 1043 >= -674 @ 2.70761
5.13/5.24	c bounds 1043 >= -673 @ 2.71101
5.13/5.24	c bounds 1043 >= -672 @ 2.71559
5.13/5.24	c bounds 1043 >= -671 @ 2.71916
5.13/5.24	c bounds 1043 >= -669 @ 2.72257
5.13/5.24	c bounds 1043 >= -668 @ 2.72785
5.13/5.24	c bounds 1043 >= -667 @ 2.73328
5.13/5.24	c bounds 1043 >= -666 @ 2.73733
5.13/5.24	c bounds 1043 >= -665 @ 2.74195
5.13/5.24	c bounds 1043 >= -663 @ 2.74612
5.13/5.24	c bounds 1043 >= -662 @ 2.74851
5.13/5.24	c bounds 1043 >= -661 @ 2.75317
5.13/5.24	c bounds 1043 >= -660 @ 2.75744
5.13/5.24	c bounds 1043 >= -659 @ 2.7628
5.13/5.24	c bounds 1043 >= -658 @ 2.7652
5.13/5.24	c bounds 1043 >= -657 @ 2.76843
5.13/5.24	c bounds 1043 >= -656 @ 2.77297
5.13/5.24	c bounds 1043 >= -655 @ 2.77646
5.13/5.24	c bounds 1043 >= -652 @ 2.77974
5.13/5.24	c bounds 1043 >= -651 @ 2.78321
5.13/5.24	c bounds 1043 >= -650 @ 2.78636
5.13/5.24	c bounds 1043 >= -649 @ 2.79076
5.13/5.24	c bounds 1043 >= -648 @ 2.79493
5.13/5.24	c bounds 1043 >= -647 @ 2.79835
5.13/5.24	c bounds 1043 >= -646 @ 2.80282
5.13/5.24	c bounds 1043 >= -644 @ 2.80797
5.13/5.24	c bounds 1043 >= -642 @ 2.81092
5.13/5.24	c bounds 1043 >= -641 @ 2.81529
5.13/5.24	c bounds 1043 >= -640 @ 2.82072
5.13/5.24	c bounds 1043 >= -639 @ 2.82323
5.13/5.24	c bounds 1043 >= -638 @ 2.82774
5.13/5.24	c bounds 1043 >= -637 @ 2.83025
5.13/5.24	c bounds 1043 >= -636 @ 2.83475
5.13/5.24	c bounds 1043 >= -635 @ 2.83888
5.13/5.24	c bounds 1043 >= -634 @ 2.84323
5.13/5.24	c bounds 1043 >= -633 @ 2.84743
5.13/5.24	c bounds 1043 >= -632 @ 2.85077
5.13/5.24	c bounds 1043 >= -631 @ 2.85311
5.13/5.24	c bounds 1043 >= -630 @ 2.85754
5.13/5.24	c bounds 1043 >= -628 @ 2.86195
5.13/5.24	c bounds 1042 >= -628 @ 2.88939
5.13/5.24	c bounds 1042 >= -627 @ 2.89514
5.13/5.24	c bounds 1042 >= -626 @ 2.89857
5.13/5.24	c bounds 1042 >= -625 @ 2.90025
5.13/5.24	c bounds 1042 >= -624 @ 2.90356
5.13/5.24	c bounds 1042 >= -623 @ 2.906
5.13/5.24	c bounds 1042 >= -622 @ 2.9112
5.13/5.24	c bounds 1042 >= -620 @ 2.91662
5.13/5.24	c bounds 1042 >= -619 @ 2.91913
5.13/5.24	c bounds 1042 >= -618 @ 2.92353
5.13/5.24	c bounds 1042 >= -617 @ 2.92695
5.13/5.24	c bounds 1042 >= -616 @ 2.93049
5.13/5.24	c bounds 1042 >= -615 @ 2.932
5.13/5.24	c bounds 1042 >= -614 @ 2.93692
5.13/5.24	c bounds 1042 >= -613 @ 2.94141
5.13/5.24	c bounds 1042 >= -612 @ 2.94394
5.13/5.24	c bounds 1042 >= -611 @ 2.94741
5.13/5.24	c bounds 1042 >= -610 @ 2.95089
6.12/6.20	c bounds 1042 >= -609 @ 2.95341
6.12/6.20	c bounds 1042 >= -608 @ 2.9586
6.12/6.20	c bounds 1042 >= -607 @ 2.96202
6.12/6.20	c bounds 1042 >= -606 @ 2.96761
6.12/6.20	c bounds 1042 >= -605 @ 2.97209
6.12/6.20	c bounds 1042 >= -602 @ 2.97751
6.12/6.20	c bounds 1042 >= -601 @ 2.98195
6.12/6.20	c bounds 1042 >= -600 @ 2.98646
6.12/6.20	c bounds 1042 >= -599 @ 2.99089
6.12/6.20	c bounds 1042 >= -598 @ 2.9973
6.12/6.20	c bounds 1042 >= -597 @ 2.99977
6.12/6.20	c bounds 1042 >= -596 @ 3.00304
6.12/6.20	c bounds 1042 >= -595 @ 3.00846
6.12/6.20	c bounds 1042 >= -594 @ 3.01276
6.12/6.20	c bounds 1042 >= -593 @ 3.01723
6.12/6.20	c bounds 1042 >= -592 @ 3.02074
6.12/6.20	c bounds 1042 >= -591 @ 3.02426
6.12/6.20	c bounds 1042 >= -590 @ 3.02771
6.12/6.20	c bounds 1042 >= -589 @ 3.03235
6.12/6.20	c bounds 1042 >= -588 @ 3.03594
6.12/6.20	c bounds 1042 >= -587 @ 3.03933
6.12/6.20	c bounds 1042 >= -586 @ 3.04195
6.12/6.20	c bounds 1042 >= -585 @ 3.04562
6.12/6.20	c bounds 1042 >= -584 @ 3.04994
6.12/6.20	c bounds 1042 >= -583 @ 3.05438
6.12/6.20	c bounds 1042 >= -582 @ 3.05977
6.12/6.20	c bounds 1042 >= -581 @ 3.06413
6.12/6.20	c bounds 1042 >= -580 @ 3.06764
6.12/6.20	c bounds 1042 >= -579 @ 3.0721
6.12/6.20	c bounds 1042 >= -578 @ 3.07528
6.12/6.20	c bounds 1042 >= -577 @ 3.0798
6.12/6.20	c bounds 1042 >= -576 @ 3.08553
6.12/6.20	c bounds 1042 >= -575 @ 3.09112
6.12/6.20	c bounds 1042 >= -574 @ 3.09482
6.12/6.20	c bounds 1042 >= -573 @ 3.09953
6.12/6.20	c bounds 1042 >= -572 @ 3.10301
6.12/6.20	c bounds 1042 >= -571 @ 3.10642
6.12/6.20	c bounds 1042 >= -570 @ 3.10864
6.12/6.20	c bounds 1042 >= -569 @ 3.11299
6.12/6.20	c bounds 1042 >= -568 @ 3.1165
6.12/6.20	c bounds 1042 >= -567 @ 3.11976
6.12/6.20	c bounds 1042 >= -566 @ 3.12421
6.12/6.20	c bounds 1042 >= -565 @ 3.12758
6.12/6.20	c bounds 1042 >= -564 @ 3.13223
6.12/6.20	c bounds 1042 >= -563 @ 3.13476
6.12/6.20	c bounds 1042 >= -562 @ 3.13846
6.12/6.20	c bounds 1042 >= -561 @ 3.14273
6.12/6.20	c bounds 1042 >= -560 @ 3.14637
6.12/6.20	c bounds 1042 >= -559 @ 3.14967
6.12/6.20	c bounds 1042 >= -558 @ 3.15309
6.12/6.20	c bounds 1042 >= -557 @ 3.15747
6.12/6.20	c bounds 1042 >= -556 @ 3.16188
6.12/6.20	c bounds 1042 >= -555 @ 3.16613
6.12/6.20	c bounds 1042 >= -554 @ 3.17146
6.12/6.20	c bounds 1042 >= -553 @ 3.17492
6.12/6.20	c bounds 1042 >= -552 @ 3.1774
6.12/6.20	c bounds 1042 >= -551 @ 3.18288
6.12/6.20	c bounds 1042 >= -550 @ 3.1884
6.12/6.20	c bounds 1042 >= -549 @ 3.19215
6.12/6.20	c bounds 1042 >= -548 @ 3.19443
6.12/6.20	c bounds 1042 >= -547 @ 3.19988
6.12/6.20	c bounds 1042 >= -545 @ 3.20243
6.12/6.20	c bounds 1042 >= -544 @ 3.20603
6.12/6.20	c bounds 1042 >= -540 @ 3.20853
6.12/6.20	c bounds 1042 >= -538 @ 3.21297
6.12/6.20	c bounds 1042 >= -536 @ 3.21437
6.12/6.20	c bounds 1042 >= -534 @ 3.21986
6.12/6.20	c bounds 1042 >= -531 @ 3.22522
6.12/6.20	c bounds 1042 >= -529 @ 3.22884
6.12/6.20	c bounds 1042 >= -527 @ 3.23134
6.12/6.20	c bounds 1042 >= -519 @ 3.23598
6.12/6.20	c bounds 1042 >= -517 @ 3.23909
6.12/6.20	c bounds 1042 >= -516 @ 3.24131
6.12/6.20	c bounds 1042 >= -507 @ 3.24694
6.12/6.20	c bounds 1042 >= -506 @ 3.25139
6.12/6.20	c bounds 1042 >= -502 @ 3.25413
6.12/6.20	c bounds 1042 >= -501 @ 3.25762
6.12/6.20	c bounds 1042 >= -493 @ 3.26187
6.12/6.20	c bounds 1042 >= -485 @ 3.26492
6.12/6.20	c bounds 1042 >= -479 @ 3.26798
6.12/6.20	c bounds 1042 >= -468 @ 3.27236
6.12/6.20	c bounds 1042 >= -464 @ 3.27682
6.12/6.20	c bounds 1042 >= -461 @ 3.28115
6.12/6.20	c bounds 1042 >= -456 @ 3.28581
6.12/6.20	c bounds 1042 >= -453 @ 3.28819
6.12/6.20	c bounds 1042 >= -449 @ 3.29163
6.12/6.20	c bounds 1042 >= -446 @ 3.29597
6.12/6.20	c bounds 1042 >= -443 @ 3.3005
6.12/6.20	c bounds 1042 >= -439 @ 3.30404
6.12/6.20	c bounds 1042 >= -437 @ 3.30837
6.12/6.20	c bounds 1042 >= -432 @ 3.31195
6.12/6.20	c bounds 1042 >= -429 @ 3.31528
6.12/6.20	c bounds 1042 >= -423 @ 3.31971
6.12/6.20	c bounds 1042 >= -419 @ 3.32207
6.12/6.20	c bounds 1042 >= -415 @ 3.32736
6.12/6.20	c bounds 1042 >= -412 @ 3.33187
6.12/6.20	c bounds 1042 >= -408 @ 3.33418
6.12/6.20	c bounds 1042 >= -404 @ 3.3386
6.12/6.20	c bounds 1042 >= -399 @ 3.34302
6.12/6.20	c bounds 1042 >= -394 @ 3.34736
6.12/6.20	c bounds 1042 >= -390 @ 3.35088
6.12/6.20	c bounds 1042 >= -380 @ 3.35445
6.12/6.20	c bounds 1042 >= -376 @ 3.35798
6.12/6.20	c bounds 1042 >= -374 @ 3.36162
6.12/6.20	c bounds 1042 >= -373 @ 3.3639
6.12/6.20	c bounds 1042 >= -370 @ 3.36915
6.12/6.20	c bounds 1042 >= -367 @ 3.37175
6.12/6.20	c bounds 1042 >= -364 @ 3.37593
6.12/6.20	c bounds 1042 >= -359 @ 3.38133
6.12/6.20	c bounds 1042 >= -358 @ 3.38507
6.12/6.20	c bounds 1042 >= -349 @ 3.38838
6.12/6.20	c bounds 1042 >= -344 @ 3.39184
6.12/6.20	c bounds 1042 >= -342 @ 3.39724
6.12/6.20	c bounds 1042 >= -340 @ 3.39972
6.12/6.20	c bounds 1042 >= -336 @ 3.40201
6.12/6.20	c bounds 1042 >= -333 @ 3.40562
6.12/6.20	c bounds 1042 >= -331 @ 3.40928
6.12/6.20	c bounds 1042 >= -328 @ 3.41168
6.12/6.20	c bounds 1042 >= -327 @ 3.41685
6.12/6.20	c bounds 1042 >= -320 @ 3.42217
6.12/6.20	c bounds 1042 >= -316 @ 3.4285
6.12/6.20	c bounds 1042 >= -311 @ 3.43194
6.12/6.20	c bounds 1042 >= -308 @ 3.43459
6.12/6.20	c bounds 1042 >= -303 @ 3.43793
6.12/6.20	c bounds 1042 >= -296 @ 3.44157
6.12/6.20	c bounds 1042 >= -291 @ 3.44713
6.12/6.20	c bounds 1042 >= -287 @ 3.45155
6.12/6.20	c bounds 1042 >= -281 @ 3.45484
7.12/7.25	c bounds 1042 >= -273 @ 3.45953
7.12/7.25	c bounds 1042 >= -266 @ 3.46411
7.12/7.25	c bounds 1041 >= -266 @ 3.51617
7.12/7.25	c bounds 1041 >= -256 @ 3.52014
7.12/7.25	c bounds 1041 >= -254 @ 3.52527
7.12/7.25	c bounds 1041 >= -249 @ 3.52899
7.12/7.25	c bounds 1041 >= -247 @ 3.53341
7.12/7.25	c bounds 1041 >= -245 @ 3.53666
7.12/7.25	c bounds 1041 >= -244 @ 3.54211
7.12/7.25	c bounds 1041 >= -236 @ 3.54547
7.12/7.25	c bounds 1041 >= -233 @ 3.54887
7.12/7.25	c bounds 1041 >= -227 @ 3.55138
7.12/7.25	c bounds 1041 >= -219 @ 3.55464
7.12/7.25	c bounds 1041 >= -214 @ 3.55899
7.12/7.25	c bounds 1041 >= -211 @ 3.56244
7.12/7.25	c bounds 1041 >= -206 @ 3.56618
7.12/7.25	c bounds 1041 >= -203 @ 3.56984
7.12/7.25	c bounds 1041 >= -194 @ 3.57334
7.12/7.25	c bounds 1041 >= -187 @ 3.57784
7.12/7.25	c bounds 1041 >= -186 @ 3.5823
7.12/7.25	c bounds 1041 >= -183 @ 3.58694
7.12/7.25	c bounds 1041 >= -182 @ 3.58995
7.12/7.25	c bounds 1041 >= -181 @ 3.59234
7.12/7.25	c bounds 1041 >= -171 @ 3.59576
7.12/7.25	c bounds 1041 >= -164 @ 3.5993
7.12/7.25	c bounds 1041 >= -160 @ 3.60563
7.12/7.25	c bounds 1041 >= -153 @ 3.6082
7.12/7.25	c bounds 1041 >= -146 @ 3.61147
7.12/7.25	c bounds 1041 >= -138 @ 3.61594
7.12/7.25	c bounds 1041 >= -130 @ 3.61989
7.12/7.25	c bounds 1041 >= -123 @ 3.62221
7.12/7.25	c bounds 1041 >= -116 @ 3.62767
7.12/7.25	c bounds 1041 >= -108 @ 3.63117
7.12/7.25	c bounds 1041 >= -103 @ 3.6366
7.12/7.25	c bounds 1041 >= -99 @ 3.63907
7.12/7.25	c bounds 1041 >= -95 @ 3.64318
7.12/7.25	c bounds 1041 >= -90 @ 3.64709
7.12/7.25	c bounds 1041 >= -86 @ 3.65228
7.12/7.25	c bounds 1041 >= -78 @ 3.65677
7.12/7.25	c bounds 1041 >= -74 @ 3.65919
7.12/7.25	c bounds 1041 >= -67 @ 3.66266
7.12/7.25	c bounds 1041 >= -60 @ 3.66512
7.12/7.25	c bounds 1041 >= -56 @ 3.66864
7.12/7.25	c bounds 1041 >= -52 @ 3.67213
7.12/7.25	c bounds 1041 >= -44 @ 3.67656
7.12/7.25	c bounds 1041 >= -40 @ 3.67916
7.12/7.25	c bounds 1041 >= -36 @ 3.68375
7.12/7.25	c bounds 1041 >= -32 @ 3.68859
7.12/7.25	c bounds 1041 >= -30 @ 3.69204
7.12/7.25	c bounds 1041 >= -23 @ 3.6946
7.12/7.25	c bounds 1041 >= -19 @ 3.69913
7.12/7.25	c bounds 1041 >= -16 @ 3.70465
7.12/7.25	c bounds 1041 >= -11 @ 3.70824
7.12/7.25	c bounds 1041 >= -6 @ 3.71173
7.12/7.25	c bounds 1041 >= -3 @ 3.71414
7.12/7.25	c bounds 1041 >= 2 @ 3.71799
7.12/7.25	c bounds 1041 >= 4 @ 3.72341
7.12/7.25	c bounds 1041 >= 10 @ 3.72693
7.12/7.25	c bounds 1041 >= 12 @ 3.72946
7.12/7.25	c bounds 1041 >= 15 @ 3.73204
7.12/7.25	c bounds 1041 >= 18 @ 3.73587
7.12/7.25	c bounds 1041 >= 19 @ 3.73928
7.12/7.25	c bounds 1041 >= 26 @ 3.74497
7.12/7.25	c bounds 1041 >= 32 @ 3.74945
7.12/7.25	c bounds 1041 >= 40 @ 3.75397
7.12/7.25	c bounds 1041 >= 48 @ 3.75944
7.12/7.25	c bounds 1041 >= 52 @ 3.76201
7.12/7.25	c bounds 1041 >= 57 @ 3.76374
7.12/7.25	c bounds 1041 >= 58 @ 3.76918
7.12/7.25	c bounds 1041 >= 66 @ 3.77272
7.12/7.25	c bounds 1041 >= 68 @ 3.77635
7.12/7.25	c bounds 1041 >= 76 @ 3.77986
7.12/7.25	c bounds 1041 >= 84 @ 3.78355
7.12/7.25	c bounds 1041 >= 88 @ 3.78812
7.12/7.25	c bounds 1041 >= 92 @ 3.79206
7.12/7.25	c bounds 1041 >= 96 @ 3.79544
7.12/7.25	c bounds 1041 >= 100 @ 3.79791
7.12/7.25	c bounds 1041 >= 108 @ 3.80127
7.12/7.25	c bounds 1041 >= 112 @ 3.80585
7.12/7.25	c bounds 1041 >= 120 @ 3.80938
7.12/7.25	c bounds 1041 >= 124 @ 3.81293
7.12/7.25	c bounds 1041 >= 132 @ 3.81678
7.12/7.25	c bounds 1041 >= 137 @ 3.82029
7.12/7.25	c bounds 1041 >= 145 @ 3.82284
7.12/7.25	c bounds 1041 >= 149 @ 3.82837
7.12/7.25	c bounds 1041 >= 156 @ 3.83203
7.12/7.25	c bounds 1041 >= 159 @ 3.83677
7.12/7.25	c bounds 1041 >= 162 @ 3.8403
7.12/7.25	c bounds 1041 >= 163 @ 3.84459
7.12/7.25	c bounds 1041 >= 166 @ 3.84796
7.12/7.25	c bounds 1041 >= 170 @ 3.85432
7.12/7.25	c bounds 1041 >= 178 @ 3.8578
7.12/7.25	c bounds 1041 >= 186 @ 3.86126
7.12/7.25	c bounds 1041 >= 188 @ 3.86466
7.12/7.25	c bounds 1041 >= 189 @ 3.86716
7.12/7.25	c bounds 1041 >= 194 @ 3.87162
7.12/7.25	c bounds 1041 >= 199 @ 3.87699
7.12/7.25	c bounds 1041 >= 203 @ 3.88152
7.12/7.25	c bounds 1041 >= 208 @ 3.88603
7.12/7.25	c bounds 1041 >= 215 @ 3.89068
7.12/7.25	c bounds 1041 >= 219 @ 3.89449
7.12/7.25	c bounds 1041 >= 227 @ 3.89882
7.12/7.25	c bounds 1041 >= 229 @ 3.9033
7.12/7.25	c bounds 1041 >= 233 @ 3.90781
7.12/7.25	c bounds 1041 >= 234 @ 3.91153
7.12/7.25	c bounds 1041 >= 241 @ 3.91412
7.12/7.25	c bounds 1041 >= 244 @ 3.91657
7.12/7.25	c bounds 1041 >= 252 @ 3.92103
7.12/7.25	c bounds 1041 >= 256 @ 3.92365
7.12/7.25	c bounds 1041 >= 264 @ 3.93025
7.12/7.25	c bounds 1041 >= 268 @ 3.93663
7.12/7.25	c bounds 1041 >= 272 @ 3.94227
7.12/7.25	c bounds 1041 >= 277 @ 3.94538
7.12/7.25	c bounds 1041 >= 285 @ 3.94807
7.12/7.25	c bounds 1041 >= 293 @ 3.95373
7.12/7.25	c bounds 1041 >= 301 @ 3.95708
7.12/7.25	c bounds 1041 >= 304 @ 3.9604
7.12/7.25	c bounds 1041 >= 313 @ 3.96482
7.12/7.25	c bounds 1041 >= 321 @ 3.96841
7.12/7.25	c bounds 1041 >= 325 @ 3.97095
7.12/7.25	c bounds 1041 >= 330 @ 3.97526
7.12/7.25	c bounds 1041 >= 335 @ 3.97797
7.12/7.25	c bounds 1041 >= 338 @ 3.98255
7.12/7.25	c bounds 1041 >= 346 @ 3.98694
7.12/7.25	c bounds 1041 >= 354 @ 3.99039
7.12/7.25	c bounds 1041 >= 362 @ 3.99493
7.12/7.25	c bounds 1041 >= 363 @ 3.99942
7.12/7.25	c bounds 1041 >= 364 @ 4.00584
7.12/7.25	c bounds 1041 >= 365 @ 4.00841
7.12/7.25	c bounds 1041 >= 366 @ 4.01295
7.12/7.25	c bounds 1041 >= 367 @ 4.01546
7.12/7.25	c bounds 1041 >= 368 @ 4.02005
8.22/8.32	c bounds 1041 >= 369 @ 4.02339
8.22/8.32	c bounds 1041 >= 370 @ 4.02977
8.22/8.32	c bounds 1041 >= 372 @ 4.03342
8.22/8.32	c bounds 1041 >= 373 @ 4.03883
8.22/8.32	c bounds 1041 >= 374 @ 4.04304
8.22/8.32	c bounds 1041 >= 375 @ 4.04751
8.22/8.32	c bounds 1041 >= 376 @ 4.05201
8.22/8.32	c bounds 1041 >= 377 @ 4.05471
8.22/8.32	c bounds 1041 >= 378 @ 4.05829
8.22/8.32	c bounds 1041 >= 379 @ 4.06159
8.22/8.32	c bounds 1041 >= 380 @ 4.0641
8.22/8.32	c bounds 1041 >= 381 @ 4.06628
8.22/8.32	c bounds 1041 >= 382 @ 4.06958
8.22/8.32	c bounds 1041 >= 383 @ 4.07408
8.22/8.32	c bounds 1041 >= 387 @ 4.07534
8.22/8.32	c bounds 1041 >= 393 @ 4.08081
8.22/8.32	c bounds 1041 >= 396 @ 4.08543
8.22/8.32	c bounds 1041 >= 397 @ 4.08913
8.22/8.32	c bounds 1041 >= 403 @ 4.09098
8.22/8.32	c bounds 1041 >= 405 @ 4.0932
8.22/8.32	c bounds 1041 >= 411 @ 4.09782
8.22/8.32	c bounds 1041 >= 412 @ 4.10214
8.22/8.32	c bounds 1041 >= 414 @ 4.1056
8.22/8.32	c bounds 1041 >= 417 @ 4.10917
8.22/8.32	c bounds 1041 >= 424 @ 4.11348
8.22/8.32	c bounds 1041 >= 427 @ 4.11798
8.22/8.32	c bounds 1041 >= 433 @ 4.11917
8.22/8.32	c bounds 1041 >= 439 @ 4.12346
8.22/8.32	c bounds 1041 >= 445 @ 4.12776
8.22/8.32	c bounds 1041 >= 451 @ 4.13123
8.22/8.32	c bounds 1041 >= 453 @ 4.13404
8.22/8.32	c bounds 1041 >= 454 @ 4.13741
8.22/8.32	c bounds 1041 >= 456 @ 4.14175
8.22/8.32	c bounds 1041 >= 457 @ 4.14732
8.22/8.32	c bounds 1041 >= 459 @ 4.15206
8.22/8.32	c bounds 1041 >= 461 @ 4.15545
8.22/8.32	c bounds 1041 >= 465 @ 4.15793
8.22/8.32	c bounds 1041 >= 467 @ 4.16113
8.22/8.32	c bounds 1041 >= 471 @ 4.1647
8.22/8.32	c bounds 1041 >= 473 @ 4.1681
8.22/8.32	c bounds 1041 >= 479 @ 4.17255
8.22/8.32	c bounds 1041 >= 480 @ 4.17607
8.22/8.32	c bounds 1041 >= 486 @ 4.1797
8.22/8.32	c bounds 1041 >= 488 @ 4.185
8.22/8.32	c bounds 1041 >= 490 @ 4.19038
8.22/8.32	c bounds 1041 >= 496 @ 4.19387
8.22/8.32	c bounds 1041 >= 499 @ 4.19715
8.22/8.32	c bounds 1041 >= 500 @ 4.20257
8.22/8.32	c bounds 1041 >= 501 @ 4.20599
8.22/8.32	c bounds 1041 >= 505 @ 4.21028
8.22/8.32	c bounds 1041 >= 507 @ 4.21357
8.22/8.32	c bounds 1041 >= 513 @ 4.21698
8.22/8.32	c bounds 1041 >= 519 @ 4.22026
8.22/8.32	c bounds 1041 >= 521 @ 4.22379
8.22/8.32	c bounds 1041 >= 524 @ 4.22699
8.22/8.32	c bounds 1041 >= 525 @ 4.23042
8.22/8.32	c bounds 1041 >= 526 @ 4.2327
8.22/8.32	c bounds 1041 >= 528 @ 4.2371
8.22/8.32	c bounds 1041 >= 529 @ 4.2424
8.22/8.32	c bounds 1041 >= 530 @ 4.24686
8.22/8.32	c bounds 1041 >= 535 @ 4.2505
8.22/8.32	c bounds 1041 >= 541 @ 4.25399
8.22/8.32	c bounds 1041 >= 547 @ 4.25952
8.22/8.32	c bounds 1041 >= 552 @ 4.26399
8.22/8.32	c bounds 1041 >= 558 @ 4.26748
8.22/8.32	c bounds 1041 >= 563 @ 4.26892
8.22/8.32	c bounds 1041 >= 565 @ 4.27333
8.22/8.32	c bounds 1041 >= 570 @ 4.27573
8.22/8.32	c bounds 1041 >= 571 @ 4.2799
8.22/8.32	c bounds 1041 >= 574 @ 4.28349
8.22/8.32	c bounds 1041 >= 577 @ 4.28887
8.22/8.32	c bounds 1041 >= 580 @ 4.29246
8.22/8.32	c bounds 1041 >= 583 @ 4.29875
8.22/8.32	c bounds 1041 >= 584 @ 4.30238
8.22/8.32	c bounds 1041 >= 585 @ 4.30499
8.22/8.32	c bounds 1041 >= 586 @ 4.31059
8.22/8.32	c bounds 1041 >= 587 @ 4.31305
8.22/8.32	c bounds 1041 >= 588 @ 4.31566
8.22/8.32	c bounds 1041 >= 590 @ 4.32098
8.22/8.32	c bounds 1041 >= 591 @ 4.32562
8.22/8.32	c bounds 1041 >= 592 @ 4.32934
8.22/8.32	c bounds 1041 >= 593 @ 4.33377
8.22/8.32	c bounds 1041 >= 594 @ 4.33763
8.22/8.32	c bounds 1041 >= 595 @ 4.34318
8.22/8.32	c bounds 1041 >= 596 @ 4.34578
8.22/8.32	c bounds 1041 >= 597 @ 4.35262
8.22/8.32	c bounds 1041 >= 598 @ 4.35738
8.22/8.32	c bounds 1041 >= 599 @ 4.36049
8.22/8.32	c bounds 1041 >= 600 @ 4.36383
8.22/8.32	c bounds 1041 >= 601 @ 4.36761
8.22/8.32	c bounds 1041 >= 602 @ 4.37215
8.22/8.32	c bounds 1041 >= 603 @ 4.37581
8.22/8.32	c bounds 1041 >= 604 @ 4.3795
8.22/8.32	c bounds 1041 >= 605 @ 4.38662
8.22/8.32	c bounds 1041 >= 606 @ 4.39045
8.22/8.32	c bounds 1041 >= 607 @ 4.39512
8.22/8.32	c bounds 1041 >= 608 @ 4.39762
8.22/8.32	c bounds 1041 >= 609 @ 4.40062
8.22/8.32	c bounds 1041 >= 610 @ 4.40368
8.22/8.32	c bounds 1041 >= 611 @ 4.40865
8.22/8.32	c bounds 1041 >= 612 @ 4.41239
8.22/8.32	c bounds 1041 >= 613 @ 4.4162
8.22/8.32	c bounds 1041 >= 614 @ 4.42111
8.22/8.32	c bounds 1041 >= 615 @ 4.42663
8.22/8.32	c bounds 1041 >= 616 @ 4.42991
8.22/8.32	c bounds 1041 >= 617 @ 4.43542
8.22/8.32	c bounds 1041 >= 618 @ 4.44088
8.22/8.32	c bounds 1041 >= 619 @ 4.44746
8.22/8.32	c bounds 1041 >= 620 @ 4.45348
8.22/8.32	c bounds 1041 >= 621 @ 4.45866
8.22/8.32	c bounds 1041 >= 622 @ 4.46234
8.22/8.32	c bounds 1041 >= 623 @ 4.46616
8.22/8.32	c bounds 1041 >= 624 @ 4.46972
8.22/8.32	c bounds 1041 >= 625 @ 4.47463
8.22/8.32	c bounds 1041 >= 626 @ 4.47929
8.22/8.32	c bounds 1041 >= 627 @ 4.48524
8.22/8.32	c bounds 1041 >= 628 @ 4.48989
8.22/8.32	c bounds 1041 >= 629 @ 4.49388
8.22/8.32	c bounds 1041 >= 630 @ 4.49715
8.22/8.32	c bounds 1041 >= 631 @ 4.50176
8.22/8.32	c bounds 1041 >= 632 @ 4.50485
8.22/8.32	c bounds 1041 >= 633 @ 4.51031
8.22/8.32	c bounds 1041 >= 634 @ 4.51652
8.22/8.32	c bounds 1041 >= 635 @ 4.52021
8.22/8.32	c bounds 1041 >= 636 @ 4.52416
8.22/8.32	c bounds 1041 >= 637 @ 4.52973
8.22/8.32	c bounds 1041 >= 638 @ 4.53434
8.22/8.32	c bounds 1041 >= 639 @ 4.53725
8.22/8.32	c bounds 1041 >= 640 @ 4.54273
8.22/8.32	c bounds 1041 >= 641 @ 4.54724
8.22/8.32	c bounds 1041 >= 642 @ 4.5528
8.22/8.32	c bounds 1041 >= 643 @ 4.55704
8.22/8.32	c bounds 1041 >= 644 @ 4.56038
10.02/10.12	c bounds 1040 >= 644 @ 4.5703
10.02/10.12	c bounds 1040 >= 645 @ 4.57422
10.02/10.12	c bounds 1040 >= 646 @ 4.57827
10.02/10.12	c bounds 1040 >= 647 @ 4.58309
10.02/10.12	c bounds 1040 >= 648 @ 4.58621
10.02/10.12	c bounds 1040 >= 649 @ 4.59235
10.02/10.12	c bounds 1040 >= 650 @ 4.5991
10.02/10.12	c bounds 1040 >= 651 @ 4.60218
10.02/10.12	c bounds 1040 >= 652 @ 4.60744
10.02/10.12	c bounds 1040 >= 653 @ 4.61111
10.02/10.12	c bounds 1040 >= 654 @ 4.61486
10.02/10.12	c bounds 1040 >= 655 @ 4.61906
10.02/10.12	c bounds 1040 >= 656 @ 4.62353
10.02/10.12	c bounds 1040 >= 657 @ 4.62853
10.02/10.12	c bounds 1040 >= 658 @ 4.63216
10.02/10.12	c bounds 1040 >= 659 @ 4.63725
10.02/10.12	c bounds 1040 >= 660 @ 4.64403
10.02/10.12	c bounds 1040 >= 661 @ 4.64949
10.02/10.12	c bounds 1039 >= 661 @ 4.70021
10.02/10.12	c bounds 1039 >= 662 @ 4.70581
10.02/10.12	c bounds 1039 >= 663 @ 4.70933
10.02/10.12	c bounds 1039 >= 664 @ 4.71198
10.02/10.12	c bounds 1039 >= 665 @ 4.71654
10.02/10.12	c bounds 1039 >= 666 @ 4.72011
10.02/10.12	c bounds 1039 >= 667 @ 4.72392
10.02/10.12	c bounds 1039 >= 668 @ 4.72766
10.02/10.12	c bounds 1039 >= 669 @ 4.73137
10.02/10.12	c bounds 1039 >= 670 @ 4.73698
10.02/10.12	c bounds 1039 >= 671 @ 4.74063
10.02/10.12	c bounds 1039 >= 672 @ 4.74406
10.02/10.12	c bounds 1039 >= 673 @ 4.74982
10.02/10.12	c bounds 1039 >= 674 @ 4.75467
10.02/10.12	c bounds 1039 >= 675 @ 4.75816
10.02/10.12	c bounds 1039 >= 676 @ 4.7625
10.02/10.12	c bounds 1039 >= 677 @ 4.76706
10.02/10.12	c bounds 1039 >= 678 @ 4.77288
10.02/10.12	c bounds 1039 >= 679 @ 4.77865
10.02/10.12	c bounds 1039 >= 680 @ 4.78164
10.02/10.12	c bounds 1039 >= 681 @ 4.78486
10.02/10.12	c bounds 1039 >= 682 @ 4.79056
10.02/10.12	c bounds 1039 >= 683 @ 4.79481
10.02/10.12	c bounds 1039 >= 684 @ 4.79952
10.02/10.12	c bounds 1039 >= 685 @ 4.80511
10.02/10.12	c bounds 1039 >= 686 @ 4.80976
10.02/10.12	c bounds 1039 >= 687 @ 4.81373
10.02/10.12	c bounds 1039 >= 688 @ 4.81961
10.02/10.12	c bounds 1039 >= 689 @ 4.82419
10.02/10.12	c bounds 1039 >= 690 @ 4.8298
10.02/10.12	c bounds 1039 >= 691 @ 4.83659
10.02/10.12	c bounds 1039 >= 692 @ 4.84519
10.02/10.12	c bounds 1039 >= 693 @ 4.85778
10.02/10.12	c bounds 1039 >= 694 @ 4.86336
10.02/10.12	c bounds 1039 >= 695 @ 4.86712
10.02/10.12	c bounds 1039 >= 696 @ 4.87052
10.02/10.12	c bounds 1039 >= 697 @ 4.87471
10.02/10.12	c bounds 1039 >= 698 @ 4.88039
10.02/10.12	c bounds 1039 >= 699 @ 4.88398
10.02/10.12	c bounds 1039 >= 700 @ 4.88844
10.02/10.12	c bounds 1039 >= 701 @ 4.89202
10.02/10.12	c bounds 1039 >= 702 @ 4.90343
10.02/10.12	c bounds 1039 >= 703 @ 4.91086
10.02/10.12	c bounds 1039 >= 704 @ 4.91738
10.02/10.12	c bounds 1039 >= 705 @ 4.92704
10.02/10.12	c bounds 1039 >= 706 @ 4.93349
10.02/10.12	c bounds 1039 >= 707 @ 4.93973
10.02/10.12	c bounds 1039 >= 708 @ 4.94559
10.02/10.12	c bounds 1039 >= 709 @ 4.95847
10.02/10.12	c bounds 1039 >= 710 @ 4.96307
10.02/10.12	c bounds 1039 >= 711 @ 4.96913
10.02/10.12	c bounds 1039 >= 712 @ 4.97561
10.02/10.12	c bounds 1039 >= 713 @ 4.97936
10.02/10.12	c bounds 1039 >= 714 @ 4.98785
10.02/10.12	c bounds 1039 >= 715 @ 4.99239
10.02/10.12	c bounds 1039 >= 716 @ 4.99893
10.02/10.12	c bounds 1039 >= 717 @ 5.00269
10.02/10.12	c bounds 1039 >= 718 @ 5.00929
10.02/10.12	c bounds 1039 >= 719 @ 5.01171
10.02/10.12	c bounds 1039 >= 720 @ 5.01632
10.02/10.12	c bounds 1039 >= 721 @ 5.02189
10.02/10.12	c bounds 1039 >= 722 @ 5.02967
10.02/10.12	c bounds 1038 >= 722 @ 5.03839
10.02/10.12	c bounds 1038 >= 723 @ 5.04225
10.02/10.12	c bounds 1038 >= 724 @ 5.05028
10.02/10.12	c bounds 1038 >= 725 @ 5.05624
10.02/10.12	c bounds 1038 >= 726 @ 5.06118
10.02/10.12	c bounds 1038 >= 727 @ 5.06737
10.02/10.12	c bounds 1038 >= 728 @ 5.07256
10.02/10.12	c bounds 1038 >= 729 @ 5.07622
10.02/10.12	c bounds 1037 >= 729 @ 5.08973
10.02/10.12	c bounds 1037 >= 730 @ 5.09707
10.02/10.12	c bounds 1037 >= 731 @ 5.10207
10.02/10.12	c bounds 1037 >= 732 @ 5.12386
10.02/10.12	c bounds 1036 >= 732 @ 5.13432
10.02/10.12	c #Conflicts:       1000 | #Constraints:      15901
10.02/10.12	c bounds 1036 >= 733 @ 5.21845
10.02/10.12	c bounds 1035 >= 733 @ 5.22859
10.02/10.12	c bounds 1034 >= 733 @ 5.23803
10.02/10.12	c bounds 1033 >= 733 @ 5.24479
10.02/10.12	c bounds 1032 >= 733 @ 5.25376
10.02/10.12	c bounds 1031 >= 733 @ 5.26164
10.02/10.12	c bounds 1031 >= 734 @ 5.26832
10.02/10.12	c bounds 1031 >= 735 @ 5.27282
10.02/10.12	c bounds 1031 >= 736 @ 5.27652
10.02/10.12	c bounds 1030 >= 736 @ 5.28751
10.02/10.12	c bounds 1030 >= 737 @ 5.29486
10.02/10.12	c bounds 1030 >= 738 @ 5.29966
10.02/10.12	c bounds 1030 >= 739 @ 5.30463
10.02/10.12	c bounds 1030 >= 740 @ 5.4342
10.02/10.12	c bounds 1029 >= 740 @ 5.44698
10.02/10.12	c bounds 1028 >= 740 @ 5.45535
10.02/10.12	c bounds 1027 >= 740 @ 5.46117
10.02/10.12	c bounds 1026 >= 740 @ 5.47225
10.02/10.12	c bounds 1025 >= 740 @ 5.48562
10.02/10.12	c bounds 1024 >= 740 @ 5.64738
10.02/10.12	c bounds 1024 >= 741 @ 5.65184
10.02/10.12	c bounds 1024 >= 742 @ 5.65559
10.02/10.12	c bounds 1024 >= 743 @ 5.65813
10.02/10.12	c bounds 1024 >= 744 @ 5.66235
10.02/10.12	c bounds 1024 >= 745 @ 5.66679
10.02/10.12	c bounds 1024 >= 746 @ 5.67159
10.02/10.12	c bounds 1024 >= 747 @ 5.67687
10.02/10.12	c bounds 1024 >= 748 @ 5.68023
10.02/10.12	c bounds 1024 >= 749 @ 5.68442
10.02/10.12	c bounds 1024 >= 750 @ 5.68995
10.02/10.12	c bounds 1024 >= 751 @ 5.69414
10.02/10.12	c bounds 1024 >= 752 @ 5.69791
10.02/10.12	c bounds 1024 >= 753 @ 5.70449
10.02/10.12	c bounds 1024 >= 754 @ 5.70816
10.02/10.12	c bounds 1024 >= 755 @ 5.71266
10.02/10.12	c bounds 1024 >= 756 @ 5.71712
10.02/10.12	c bounds 1024 >= 757 @ 5.72183
18.39/18.58	c bounds 1024 >= 758 @ 5.72561
18.39/18.58	c bounds 1024 >= 759 @ 5.72995
18.39/18.58	c bounds 1024 >= 760 @ 5.73533
18.39/18.58	c bounds 1024 >= 761 @ 5.7398
18.39/18.58	c bounds 1024 >= 762 @ 5.7444
18.39/18.58	c bounds 1024 >= 763 @ 5.74906
18.39/18.58	c bounds 1024 >= 764 @ 5.75168
18.39/18.58	c bounds 1024 >= 765 @ 5.75567
18.39/18.58	c bounds 1024 >= 766 @ 5.75937
18.39/18.58	c bounds 1024 >= 767 @ 5.76311
18.39/18.58	c bounds 1024 >= 768 @ 5.76766
18.39/18.58	c bounds 1024 >= 769 @ 5.7742
18.39/18.58	c bounds 1024 >= 770 @ 5.78068
18.39/18.58	c bounds 1024 >= 771 @ 5.78419
18.39/18.58	c bounds 1024 >= 772 @ 5.78982
18.39/18.58	c bounds 1024 >= 773 @ 5.7952
18.39/18.58	c bounds 1024 >= 774 @ 5.80028
18.39/18.58	c bounds 1024 >= 775 @ 5.80528
18.39/18.58	c bounds 1024 >= 776 @ 5.8097
18.39/18.58	c bounds 1024 >= 777 @ 5.81522
18.39/18.58	c bounds 1024 >= 778 @ 5.8205
18.39/18.58	c bounds 1024 >= 779 @ 5.82592
18.39/18.58	c bounds 1024 >= 780 @ 5.83111
18.39/18.58	c bounds 1024 >= 781 @ 5.837
18.39/18.58	c bounds 1024 >= 782 @ 5.84349
18.39/18.58	c bounds 1024 >= 783 @ 5.84977
18.39/18.58	c bounds 1024 >= 784 @ 5.85442
18.39/18.58	c bounds 1024 >= 785 @ 5.86276
18.39/18.58	c bounds 1024 >= 786 @ 5.86754
18.39/18.58	c bounds 1024 >= 787 @ 5.87297
18.39/18.58	c bounds 1024 >= 788 @ 5.88034
18.39/18.58	c bounds 1024 >= 789 @ 5.88922
18.39/18.58	c bounds 1024 >= 790 @ 5.89604
18.39/18.58	c bounds 1024 >= 791 @ 5.9006
18.39/18.58	c bounds 1024 >= 792 @ 5.90764
18.39/18.58	c bounds 1024 >= 793 @ 5.91358
18.39/18.58	c bounds 1024 >= 794 @ 5.92042
18.39/18.58	c bounds 1024 >= 795 @ 5.92537
18.39/18.58	c bounds 1024 >= 796 @ 5.93023
18.39/18.58	c bounds 1024 >= 797 @ 5.93517
18.39/18.58	c bounds 1024 >= 798 @ 5.94239
18.39/18.58	c bounds 1024 >= 799 @ 5.94818
18.39/18.58	c bounds 1024 >= 800 @ 5.95399
18.39/18.58	c bounds 1024 >= 801 @ 5.9565
18.39/18.58	c bounds 1024 >= 802 @ 5.9626
18.39/18.58	c bounds 1024 >= 803 @ 5.96776
18.39/18.58	c bounds 1024 >= 804 @ 5.97148
18.39/18.58	c bounds 1024 >= 805 @ 5.97683
18.39/18.58	c bounds 1024 >= 806 @ 5.98122
18.39/18.58	c bounds 1024 >= 807 @ 5.98968
18.39/18.58	c bounds 1024 >= 808 @ 5.99117
18.39/18.58	c bounds 1024 >= 809 @ 5.99623
18.39/18.58	c bounds 1024 >= 810 @ 6.00038
18.39/18.58	c bounds 1024 >= 811 @ 6.00941
18.39/18.58	c bounds 1024 >= 812 @ 6.01393
18.39/18.58	c bounds 1024 >= 813 @ 6.02016
18.39/18.58	c bounds 1024 >= 814 @ 6.02583
18.39/18.58	c bounds 1024 >= 815 @ 6.03526
18.39/18.58	c bounds 1024 >= 816 @ 6.04205
18.39/18.58	c bounds 1024 >= 817 @ 6.04746
18.39/18.58	c bounds 1024 >= 818 @ 6.05401
18.39/18.58	c bounds 1024 >= 819 @ 6.06071
18.39/18.58	c bounds 1024 >= 820 @ 6.06594
18.39/18.58	c bounds 1024 >= 821 @ 6.07352
18.39/18.58	c bounds 1024 >= 822 @ 6.07926
18.39/18.58	c bounds 1024 >= 823 @ 6.08557
18.39/18.58	c bounds 1024 >= 824 @ 6.09418
18.39/18.58	c bounds 1024 >= 825 @ 6.09869
18.39/18.58	c bounds 1024 >= 826 @ 6.10584
18.39/18.58	c bounds 1024 >= 827 @ 6.11452
18.39/18.58	c bounds 1024 >= 828 @ 6.11994
18.39/18.58	c bounds 1024 >= 829 @ 6.12571
18.39/18.58	c bounds 1024 >= 830 @ 6.12904
18.39/18.58	c bounds 1024 >= 831 @ 6.13561
18.39/18.58	c bounds 1024 >= 832 @ 6.14484
18.39/18.58	c bounds 1024 >= 833 @ 6.15475
18.39/18.58	c bounds 1024 >= 834 @ 6.16172
18.39/18.58	c bounds 1024 >= 835 @ 6.18079
18.39/18.58	c bounds 1024 >= 836 @ 6.19156
18.39/18.58	c bounds 1024 >= 837 @ 6.20576
18.39/18.58	c bounds 1024 >= 838 @ 6.20855
18.39/18.58	c bounds 1024 >= 839 @ 6.21212
18.39/18.58	c bounds 1024 >= 840 @ 6.21554
18.39/18.58	c bounds 1024 >= 841 @ 6.2201
18.39/18.58	c bounds 1024 >= 842 @ 6.22556
18.39/18.58	c bounds 1024 >= 843 @ 6.22863
18.39/18.58	c bounds 1024 >= 844 @ 6.23262
18.39/18.58	c bounds 1024 >= 845 @ 6.23435
18.39/18.58	c bounds 1024 >= 846 @ 6.23957
18.39/18.58	c bounds 1024 >= 847 @ 6.24393
18.39/18.58	c bounds 1024 >= 848 @ 6.24866
18.39/18.58	c bounds 1024 >= 849 @ 6.25203
18.39/18.58	c bounds 1024 >= 850 @ 6.2549
18.39/18.58	c bounds 1024 >= 851 @ 6.25955
18.39/18.58	c bounds 1024 >= 852 @ 6.26436
18.39/18.58	c bounds 1024 >= 853 @ 6.27208
18.39/18.58	c bounds 1024 >= 854 @ 6.27919
18.39/18.58	c bounds 1024 >= 855 @ 6.30719
18.39/18.58	c bounds 1024 >= 856 @ 6.37984
18.39/18.58	c bounds 1024 >= 857 @ 6.64604
18.39/18.58	c bounds 1023 >= 857 @ 6.77882
18.39/18.58	c bounds 1023 >= 858 @ 6.78338
18.39/18.58	c bounds 1023 >= 859 @ 6.78824
18.39/18.58	c bounds 1023 >= 860 @ 6.79113
18.39/18.58	c bounds 1023 >= 861 @ 6.79517
18.39/18.58	c bounds 1023 >= 862 @ 6.79948
18.39/18.58	c bounds 1023 >= 863 @ 6.80346
18.39/18.58	c bounds 1023 >= 864 @ 6.80802
18.39/18.58	c #Conflicts:       2000 | #Constraints:      17520
18.39/18.58	c INPROCESSING
18.39/18.58	c GARBAGE COLLECT
18.39/18.58	c bounds 1023 >= 865 @ 9.57559
18.39/18.58	c bounds 1023 >= 866 @ 9.58026
18.39/18.58	c bounds 1023 >= 867 @ 9.58471
18.39/18.58	c bounds 1023 >= 868 @ 9.58843
18.39/18.58	c bounds 1023 >= 869 @ 9.59445
18.39/18.58	c bounds 1023 >= 870 @ 9.60081
18.39/18.58	c bounds 1023 >= 871 @ 9.74929
18.39/18.58	c bounds 1022 >= 871 @ 9.77748
18.39/18.58	c #Conflicts:       3000 | #Constraints:      16342
18.39/18.58	c bounds 1021 >= 871 @ 13.1671
18.39/18.58	c bounds 1021 >= 872 @ 13.1761
18.39/18.58	c bounds 1021 >= 873 @ 13.1832
18.39/18.58	c bounds 1021 >= 874 @ 13.1887
18.39/18.58	c bounds 1021 >= 875 @ 13.1999
18.39/18.58	c bounds 1021 >= 876 @ 13.218
18.39/18.58	c bounds 1021 >= 877 @ 13.2226
18.39/18.58	c bounds 1021 >= 878 @ 13.2417
18.39/18.58	c bounds 1021 >= 879 @ 13.2474
18.39/18.58	c bounds 1021 >= 880 @ 13.2703
18.39/18.58	c bounds 1021 >= 881 @ 13.2947
18.39/18.58	c bounds 1021 >= 882 @ 13.3334
18.39/18.58	c bounds 1021 >= 883 @ 13.3605
56.70/56.98	c bounds 1021 >= 884 @ 13.3662
56.70/56.98	c bounds 1021 >= 885 @ 13.39
56.70/56.98	c bounds 1021 >= 886 @ 13.3958
56.70/56.98	c bounds 1021 >= 887 @ 13.4224
56.70/56.98	c bounds 1021 >= 888 @ 13.4492
56.70/56.98	c bounds 1021 >= 889 @ 13.4562
56.70/56.98	c bounds 1021 >= 890 @ 13.4804
56.70/56.98	c bounds 1021 >= 891 @ 13.5047
56.70/56.98	c bounds 1021 >= 892 @ 13.5313
56.70/56.98	c bounds 1021 >= 893 @ 13.5364
56.70/56.98	c bounds 1021 >= 894 @ 13.5622
56.70/56.98	c bounds 1021 >= 895 @ 13.5678
56.70/56.98	c bounds 1021 >= 896 @ 13.595
56.70/56.98	c bounds 1021 >= 897 @ 13.6227
56.70/56.98	c bounds 1021 >= 898 @ 14.3185
56.70/56.98	c bounds 1021 >= 899 @ 15.2446
56.70/56.98	c #Conflicts:       4000 | #Constraints:      17491
56.70/56.98	c INPROCESSING
56.70/56.98	c GARBAGE COLLECT
56.70/56.98	c #Conflicts:       5000 | #Constraints:      16919
56.70/56.98	c bounds 1021 >= 900 @ 17.1873
56.70/56.98	c #Conflicts:       6000 | #Constraints:      17940
56.70/56.98	c INPROCESSING
56.70/56.98	c GARBAGE COLLECT
56.70/56.98	c #Conflicts:       7000 | #Constraints:      16978
56.70/56.98	c #Conflicts:       8000 | #Constraints:      17978
56.70/56.98	c bounds 1021 >= 901 @ 22.8951
56.70/56.98	c #Conflicts:       9000 | #Constraints:      18996
56.70/56.98	c INPROCESSING
56.70/56.98	c GARBAGE COLLECT
56.70/56.98	c #Conflicts:      10000 | #Constraints:      17722
56.70/56.98	c #Conflicts:      11000 | #Constraints:      18722
56.70/56.98	c #Conflicts:      12000 | #Constraints:      19722
56.70/56.98	c INPROCESSING
56.70/56.98	c GARBAGE COLLECT
56.70/56.98	c bounds 1020 >= 901 @ 35.9371
56.70/56.98	c bounds 1019 >= 901 @ 35.9577
56.70/56.98	c bounds 1018 >= 901 @ 35.9833
56.70/56.98	c bounds 1017 >= 901 @ 36.0011
56.70/56.98	c bounds 1016 >= 901 @ 36.0166
56.70/56.98	c bounds 1015 >= 901 @ 36.0315
56.70/56.98	c bounds 1014 >= 901 @ 36.0417
56.70/56.98	c bounds 1013 >= 901 @ 36.0548
56.70/56.98	c bounds 1012 >= 901 @ 36.0691
56.70/56.98	c bounds 1011 >= 901 @ 36.0823
56.70/56.98	c bounds 1010 >= 901 @ 36.0966
56.70/56.98	c bounds 1009 >= 901 @ 36.1064
56.70/56.98	c bounds 1008 >= 901 @ 36.1222
56.70/56.98	c bounds 1007 >= 901 @ 36.1349
56.70/56.98	c bounds 1006 >= 901 @ 36.1466
56.70/56.98	c bounds 1005 >= 901 @ 36.1604
56.70/56.98	c bounds 1004 >= 901 @ 36.1718
56.70/56.98	c bounds 1003 >= 901 @ 36.1862
56.70/56.98	c bounds 1002 >= 901 @ 36.1977
56.70/56.98	c bounds 1001 >= 901 @ 36.2132
56.70/56.98	c bounds 1000 >= 901 @ 36.2303
56.70/56.98	c bounds 999 >= 901 @ 36.243
56.70/56.98	c bounds 998 >= 901 @ 36.2594
56.70/56.98	c bounds 997 >= 901 @ 36.32
56.70/56.98	c bounds 996 >= 901 @ 36.3356
56.70/56.98	c bounds 995 >= 901 @ 36.6155
56.70/56.98	c #Conflicts:      13000 | #Constraints:      21193
56.70/56.98	c bounds 994 >= 901 @ 38.7669
56.70/56.98	c #Conflicts:      14000 | #Constraints:      22210
56.70/56.98	c bounds 994 >= 902 @ 40.6362
56.70/56.98	c bounds 994 >= 903 @ 40.648
56.70/56.98	c bounds 994 >= 904 @ 40.6546
56.70/56.98	c bounds 994 >= 905 @ 40.663
56.70/56.98	c bounds 994 >= 906 @ 40.6666
56.70/56.98	c bounds 994 >= 907 @ 40.6779
56.70/56.98	c bounds 994 >= 908 @ 40.6802
56.70/56.98	c bounds 994 >= 909 @ 40.691
56.70/56.98	c bounds 994 >= 910 @ 40.696
56.70/56.98	c bounds 994 >= 911 @ 40.7012
56.70/56.98	c bounds 994 >= 912 @ 40.7034
56.70/56.98	c bounds 994 >= 913 @ 40.7141
56.70/56.98	c bounds 994 >= 914 @ 40.7209
56.70/56.98	c bounds 994 >= 915 @ 40.7239
56.70/56.98	c bounds 994 >= 916 @ 40.7306
56.70/56.98	c bounds 994 >= 917 @ 40.7367
56.70/56.98	c bounds 994 >= 918 @ 40.7434
56.70/56.98	c bounds 994 >= 919 @ 40.7492
56.70/56.98	c bounds 994 >= 920 @ 40.7568
56.70/56.98	c bounds 994 >= 921 @ 40.7639
56.70/56.98	c bounds 994 >= 922 @ 40.77
56.70/56.98	c bounds 994 >= 923 @ 40.7759
56.70/56.98	c bounds 994 >= 924 @ 40.7835
56.70/56.98	c bounds 994 >= 925 @ 40.7901
56.70/56.98	c bounds 994 >= 926 @ 40.7948
56.70/56.98	c bounds 994 >= 927 @ 40.8022
56.70/56.98	c bounds 994 >= 928 @ 40.809
56.70/56.98	c #Conflicts:      15000 | #Constraints:      23913
56.70/56.98	c INPROCESSING
56.70/56.98	c GARBAGE COLLECT
56.70/56.98	c #Conflicts:      16000 | #Constraints:      17573
56.70/56.98	c #Conflicts:      17000 | #Constraints:      18573
56.70/56.98	c bounds 994 >= 929 @ 44.5688
56.70/56.98	c bounds 994 >= 930 @ 44.5731
56.70/56.98	c bounds 994 >= 931 @ 44.5777
56.70/56.98	c bounds 994 >= 932 @ 44.5806
56.70/56.98	c bounds 994 >= 933 @ 44.5848
56.70/56.98	c #Conflicts:      18000 | #Constraints:      19606
56.70/56.98	c INPROCESSING
56.70/56.98	c GARBAGE COLLECT
56.70/56.98	c bounds 989 >= 933 @ 45.5898
56.70/56.98	c bounds 988 >= 933 @ 45.9306
56.70/56.98	c bounds 987 >= 933 @ 46.0163
56.70/56.98	c bounds 986 >= 933 @ 46.2984
56.70/56.98	c bounds 986 >= 934 @ 46.3003
56.70/56.98	c bounds 986 >= 935 @ 46.3033
56.70/56.98	c #Conflicts:      19000 | #Constraints:      17641
56.70/56.98	c bounds 986 >= 936 @ 46.8279
56.70/56.98	c #Conflicts:      20000 | #Constraints:      18653
56.70/56.98	c #Conflicts:      21000 | #Constraints:      19653
56.70/56.98	c INPROCESSING
56.70/56.98	c GARBAGE COLLECT
56.70/56.98	c bounds 985 >= 936 @ 48.224
56.70/56.98	c bounds 984 >= 936 @ 48.24
56.70/56.98	c bounds 983 >= 936 @ 48.2494
56.70/56.98	c bounds 982 >= 936 @ 48.257
56.70/56.98	c bounds 981 >= 936 @ 48.2655
56.70/56.98	c bounds 980 >= 936 @ 48.27
56.70/56.98	c bounds 979 >= 936 @ 48.275
56.70/56.98	c bounds 978 >= 936 @ 48.5564
56.70/56.98	c #Conflicts:      22000 | #Constraints:      17462
56.70/56.98	c bounds 977 >= 936 @ 49.9591
56.70/56.98	c #Conflicts:      23000 | #Constraints:      18463
59.49/59.73	c bounds 977 >= 937 @ 50.9381
59.49/59.73	c #Conflicts:      24000 | #Constraints:      19479
59.49/59.73	c #Conflicts:      25000 | #Constraints:      20479
59.49/59.73	c INPROCESSING
59.49/59.73	c GARBAGE COLLECT
59.49/59.73	c rational objective 937
67.07/67.37	c bounds 976 >= 937 @ 53.0054
67.07/67.37	c bounds 975 >= 937 @ 53.0147
67.07/67.37	c bounds 974 >= 937 @ 53.0336
67.07/67.37	c bounds 973 >= 937 @ 53.1639
67.07/67.37	c #Conflicts:      26000 | #Constraints:      18067
67.07/67.37	c bounds 973 >= 938 @ 53.8147
67.07/67.37	c #Conflicts:      27000 | #Constraints:      19081
67.07/67.37	c bounds 972 >= 938 @ 57.8051
67.07/67.37	c #Conflicts:      28000 | #Constraints:      20082
67.07/67.37	c #Conflicts:      29000 | #Constraints:      21082
67.07/67.37	c INPROCESSING
67.07/67.37	c GARBAGE COLLECT
67.07/67.37	c rational objective 938
76.35/76.62	c #Conflicts:      30000 | #Constraints:      18506
76.35/76.62	c #Conflicts:      31000 | #Constraints:      19506
76.35/76.62	c #Conflicts:      32000 | #Constraints:      20506
76.35/76.62	c #Conflicts:      33000 | #Constraints:      21506
76.35/76.62	c INPROCESSING
76.35/76.62	c GARBAGE COLLECT
76.35/76.62	c #Conflicts:      34000 | #Constraints:      18722
76.35/76.62	c #Conflicts:      35000 | #Constraints:      19722
76.35/76.62	c bounds 972 >= 939 @ 67.4767
76.35/76.62	c #Conflicts:      36000 | #Constraints:      20735
76.35/76.62	c #Conflicts:      37000 | #Constraints:      21735
76.35/76.62	c INPROCESSING
76.35/76.62	c GARBAGE COLLECT
76.35/76.62	c rational objective 939
76.85/77.17	c #Conflicts:      38000 | #Constraints:      18735
76.85/77.17	c bounds 939 >= 939 @ 69.7819
76.85/77.17	c cpu time 69.7822 s
76.85/77.17	c deterministic time 6804837491 6.80e+09
76.85/77.17	c optimization time 3.20053 s
76.85/77.17	c total solve time 66.5424 s
76.85/77.17	c core-guided solve time 52.2887 s
76.85/77.17	c propagation time 33.6424 s
76.85/77.17	c conflict analysis time 17.2579 s
76.85/77.17	c propagations 13730556
76.85/77.17	c resolve steps 347322
76.85/77.17	c decisions 10610788
76.85/77.17	c conflicts 38127
76.85/77.17	c restarts 125
76.85/77.17	c inprocessing phases 12
76.85/77.17	c input clauses 16017
76.85/77.17	c input cardinalities 2043
76.85/77.17	c input general constraints 1888
76.85/77.17	c input average constraint length 471.51
76.85/77.17	c input average constraint degree 1226.12
76.85/77.17	c learned clauses 21108
76.85/77.17	c learned cardinalities 974
76.85/77.17	c learned general constraints 16140
76.85/77.17	c learned average constraint length 725.66
76.85/77.17	c learned average constraint degree 48863192.09
76.85/77.17	c watched constraints 8748
76.85/77.17	c counting constraints 9280
76.85/77.17	c gcd simplifications 1511
76.85/77.17	c detected cardinalities 2
76.85/77.17	c weakened non-implied lits 6107377
76.85/77.17	c weakened non-implying lits 2774
76.85/77.17	c original variables 8405
76.85/77.17	c clausal propagations 1678895
76.85/77.17	c cardinality propagations 3417764
76.85/77.17	c watched propagations 1635312
76.85/77.17	c counting propagations 6511100
76.85/77.17	c watch lookups 480489785
76.85/77.17	c watch backjump lookups 460600322
76.85/77.17	c watch checks 3367861796
76.85/77.17	c propagation checks 2294620335
76.85/77.17	c constraint additions 152473892
76.85/77.17	c trail pops 24374976
76.85/77.17	c formula constraints 11367
76.85/77.17	c learned constraints 38222
76.85/77.17	c bound constraints 5415
76.85/77.17	c core-guided constraints 3166
76.85/77.17	c encountered formula constraints 12799
76.85/77.17	c encountered learned constraints 256168
76.85/77.17	c encountered bound constraints 386
76.85/77.17	c encountered core-guided constraints 116096
76.85/77.17	c LP total time 19.6999 s
76.85/77.17	c LP solve time 19.72 s
76.85/77.17	c LP constraints added 11368
76.85/77.17	c LP constraints removed 1
76.85/77.17	c LP pivots internal 41577
76.85/77.17	c LP pivots root 33463
76.85/77.17	c LP calls 362
76.85/77.17	c LP optimalities 357
76.85/77.17	c LP no pivot count 199
76.85/77.17	c LP infeasibilities 0
76.85/77.17	c LP valid Farkas constraints 0
76.85/77.17	c LP learned Farkas constraints 0
76.85/77.17	c LP basis resets 0
76.85/77.17	c LP cycling count 0
76.85/77.17	c LP singular count 0
76.85/77.17	c LP no primal count 0
76.85/77.17	c LP no farkas count 0
76.85/77.17	c LP other issue count 0
76.85/77.17	c LP Gomory cuts 0
76.85/77.17	c LP learned cuts 13
76.85/77.17	c LP deleted cuts 1
76.85/77.17	c LP encountered Gomory constraints 0
76.85/77.17	c LP encountered Farkas constraints 0
76.85/77.17	c LP encountered learned Farkas constraints 0
76.85/77.17	c CG auxiliary variables introduced 1491
76.85/77.17	c CG solutions found 82
76.85/77.17	c CG cores constructed 1296
76.85/77.17	c CG core cardinality constraints returned 389
76.85/77.17	c CG unit cores 1
76.85/77.17	c CG single cores 1270
76.85/77.17	c CG blocks removed during cardinality reduction 0
76.85/77.17	c CG first core best 0
76.85/77.17	c CG decision core best 1
76.85/77.17	c CG core reduction tie 24
76.85/77.17	c CG core degree average 2.00
76.85/77.17	c CG core slack average 7.46
76.85/77.17	o 939
76.85/77.17	s OPTIMUM FOUND
76.85/77.17	v x1 x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 -x51 x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 x72 x73 x74 -x75 -x76 -x77 x78 -x79 x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 x166 -x167 -x168 -x169 x170 -x171 -x172 x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 x444 -x445 -x446 x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 x455 -x456 -x457 x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 x478 -x479 x480 -x481 -x482 x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 x685 x686 -x687 x688 -x689 x690 -x691 -x692 x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 x710 x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 x997 -x998 -x999 x1000 -x1001 x1002 -x1003 -x1004 -x1005 x1006 -x1007 x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 x1235 x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 -x1321 x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 x1332 x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 x1479 -x1480 -x1481 -x1482 x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 x1615 -x1616 x1617 -x1618 x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 x1659 -x1660 x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 x1707 -x1708 -x1709 x1710 -x1711 -x1712 -x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 -x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1880 x1881 -x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 x1899 x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 x1909 -x1910 -x1911 -x1912 -x1913 x1914 -x1915 -x1916 x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 x1954 x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 x1981 -x1982 x1983 -x1984 -x1985 x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 x2298 -x2299 x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 x2320 -x2321 -x2322 x2323 -x2324 -x2325 -x2326 x2327 -x2328 -x2329 -x2330 x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 x2344 -x2345 -x2346 x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 x2386 -x2387 -x2388 -x2389 x2390 -x2391 -x2392 -x2393 -x2394 x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 x2459 -x2460 x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 x2488 -x2489 x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 x2643 -x2644 x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x2690 -x2691 x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2707 -x2708 x2709 -x2710 -x2711 x2712 -x2713 -x2714 -x2715 -x2716 x2717 -x2718 x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 x2731 -x2732 -x2733 -x2734 -x2735 x2736 x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 -x2773 x2774 -x2775 -x2776 -x2777 x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 x2816 -x2817 -x2818 -x2819 x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 x2831 -x2832 -x2833 x2834 -x2835 -x2836 -x2837 -x2838 -x2839 x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 x2850 x2851 -x2852 -x2853 -x2854 -x2855 -x2856 x2857 -x2858 x2859 x2860 -x2861 x2862 -x2863 -x2864 -x2865 -x2866 x2867 x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 x2905 -x2906 -x2907 x2908 -x2909 -x2910 x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 x2942 -x2943 -x2944 -x2945 -x2946 -x2947 x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 x3022 -x3023 -x3024 -x3025 x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3046 x3047 -x3048 -x3049 -x3050 x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 x3107 -x3108 -x3109 -x3110 -x3111 -x3112 x3113 x3114 x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 x3162 x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 x3265 -x3266 -x3267 -x3268 -x3269 -x3270 x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 x3281 x3282 -x3283 x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 x3299 -x3300 -x3301 -x3302 -x3303 x3304 -x3305 -x3306 -x3307 x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 x3320 -x3321 -x3322 x3323 -x3324 -x3325 -x3326 x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 x3334 x3335 x3336 x3337 x3338 x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348 x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 x3358 -x3359 -x3360 -x3361 -x3362 x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 -x3604 x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 x3645 -x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 x3662 -x3663 x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 x3781 -x3782 -x3783 x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 x3809 x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 x3822 -x3823 x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 x3872 x3873 -x3874 -x3875 -x3876 -x3877 x3878 x3879 -x3880 -x3881 -x3882 -x3883 x3884 -x3885 -x3886 -x3887 x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 x4056 -x4057 x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 x4066 -x4067 -x4068 -x4069 x4070 -x4071 x4072 -x4073 -x4074 -x4075 -x4076 x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 x4153 x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 x4163 x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 x4270 -x4271 x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4286 -x4287 -x4288 -x4289 x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 x4310 -x4311 -x4312 -x4313 x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 x4401 x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 x4645 -x4646 -x4647 x4648 -x4649 -x4650 x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 x4676 -x4677 x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 x4702 -x4703 -x4704 x4705 -x4706 -x4707 x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 x4721 -x4722 -x4723 -x4724 -x4725 -x4726 x4727 -x4728 -x4729 -x4730 x4731 -x4732 x4733 -x4734 -x4735 -x4736 -x4737 x4738 -x4739 -x4740 -x4741 x4742 -x4743 x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 x5101 -x5102 -x5103 -x5104 x5105 -x5106 -x5107 x5108 -x5109 x5110 -x5111 x5112 x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 x5135 -x5136 x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 x5151 -x5152 -x5153 x5154 x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 x5176 -x5177 x5178 -x5179 -x5180 x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 x5201 x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 x5219 -x5220 -x5221 -x5222 -x5223 -x5224 x5225 -x5226 -x5227 -x5228 x5229 -x5230 -x5231 -x5232 -x5233 x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 x5311 -x5312 -x5313 -x5314 -x5315 -x5316 x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 x5334 x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 x5349 -x5350 -x5351 -x5352 -x5353 -x5354 x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 x5374 -x5375 x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 x5401 -x5402 -x5403 -x5404 -x5405 x5406 -x5407 -x5408 x5409 -x5410 x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 x5496 -x5497 -x5498 -x5499 x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506 x5507 -x5508 -x5509 -x5510 -x5511 -x5512 x5513 x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 x5572 -x5573 -x5574 x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 x5602 x5603 -x5604 -x5605 -x5606 x5607 -x5608 -x5609 -x5610 x5611 -x5612 -x5613 x5614 -x5615 -x5616 x5617 x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 x5647 -x5648 x5649 x5650 -x5651 -x5652 -x5653 x5654 -x5655 -x5656 -x5657 x5658 x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 x5681 -x5682 -x5683 x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 x5794 -x5795 x5796 -x5797 x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 x5897 -x5898 -x5899 x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 x5956 -x5957 -x5958 -x5959 -x5960 x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 x5996 -x5997 -x5998 -x5999 -x6000 -x6001 x6002 -x6003 -x6004 -x6005 -x6006 -x6007 x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 x6020 x6021 x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 x6072 -x6073 x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 x6117 x6118 -x6119 -x6120 -x6121 x6122 -x6123 x6124 -x6125 x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 x6219 -x6220 -x6221 x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 x6344 -x6345 -x6346 -x6347 x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 x6405 -x6406 -x6407 -x6408 x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 x6424 -x6425 -x6426 -x6427 x6428 -x6429 -x6430 -x6431 -x6432 -x6433 x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 x6442 -x6443 -x6444 x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 x6487 -x6488 -x6489 -x6490 x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 x6576 -x6577 x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 x6607 x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 x6615 -x6616 -x6617 -x6618 x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 x6834 -x6835 -x6836 -x6837 -x6838 -x6839 x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 x6855 -x6856 x6857 -x6858 -x6859 -x6860 -x6861 x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 x6876 -x6877 -x6878 x6879 -x6880 x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 x6894 x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 x6902 x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 x6947 -x6948 -x6949 -x6950 x6951 -x6952 -x6953 x6954 x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 x6991 -x6992 x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 x7042 -x7043 x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 x7065 -x7066 -x7067 x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 x7141 -x7142 x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 x7152 -x7153 -x7154 -x7155 -x7156 -x7157 x7158 -x7159 -x7160 -x7161 -x7162 x7163 -x7164 -x7165 -x7166 -x7167 x7168 -x7169 -x7170 -x7171 -x7172 x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 x7182 x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 x7235 -x7236 -x7237 -x7238 -x7239 x7240 -x7241 x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 x7354 -x7355 -x7356 -x7357 -x7358 x7359 -x7360 -x7361 -x7362 -x7363 x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 x7391 x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 x7433 x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 x7616 -x7617 -x7618 -x7619 -x7620 x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 x7679 -x7680 -x7681 -x7682 -x7683 x7684 -x7685 -x7686 -x7687 x7688 -x7689 x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 x7850 x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 x7925 -x7926 -x7927 -x7928 -x7929 x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 x7983 -x7984 x7985 -x7986 -x7987 x7988 -x7989 x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 x8052 x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 x8070 -x8071 x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 x8080 x8081 x8082 -x8083 -x8084 -x8085 -x8086 -x8087 x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 x8120 -x8121 x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 x8130 -x8131 x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 x8170 -x8171 -x8172 x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 x8287 -x8288 -x8289 x8290 -x8291 x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 x8319 -x8320 -x8321 -x8322 -x8323 x8324 -x8325 x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 x8348 -x8349 x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 x8401 -x8402 -x8403 -x8404 -x8405

Verifier Data

OK	939

Checking of UNSAT/OPT proofs:

VeriPB

-- time out --

VeriPB + CakePB

-- time out --

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62228 MiB free)
  memory of node 1: 64473 MiB (63218 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460241-1722064836/watcher-4460241-1722064836 -o /tmp/evaluation-result-4460241-1722064836/solver-4460241-1722064836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722064836-369843 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460241-1722064836 --lp-cut-gomory=0 HOME/instance-4460241-1722064836.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=369889, runsolver pid=369886

[startup+0.103483 s]*
/proc/loadavg: 0.09 0.10 0.09 3/251 369891
/proc/meminfo: memFree=128445856/131524600 swapFree=131056028/131071996
[pid=369889] ppid=369886 vsize=44188 memory=14028 CPUtime=0.04 cores=1,3
/proc/369889/stat : 369889 (roundingsat) R 369886 369889 369827 0 -1 4194304 2696 0 1 0 3 1 0 0 20 0 1 0 43006460 45248512 3507 134679101440 4194304 8254357 140737143626528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 14737408 140737143628635 140737143628897 140737143628897 140737143635913 0
/proc/369889/statm: 11047 3507 1672 992 0 2905 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 44188 KiB
Current children cumulated memory: 14028 KiB

[startup+0.205119 s]*
/proc/loadavg: 0.09 0.10 0.09 4/248 369899
/proc/meminfo: memFree=128440044/131524600 swapFree=131056028/131071996
[pid=369889] ppid=369886 vsize=50420 memory=20596 CPUtime=0.14 cores=1,3
/proc/369889/stat : 369889 (roundingsat) R 369886 369889 369827 0 -1 4194304 4554 0 1 0 13 1 0 0 20 0 1 0 43006460 51630080 5149 134679101440 4194304 8254357 140737143626528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 14737408 140737143628635 140737143628897 140737143628897 140737143635913 0
/proc/369889/statm: 12605 5149 1784 992 0 4463 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 50420 KiB
Current children cumulated memory: 20596 KiB

[startup+0.305034 s]*
/proc/loadavg: 0.09 0.10 0.09 6/250 369903
/proc/meminfo: memFree=128423664/131524600 swapFree=131056028/131071996
[pid=369889] ppid=369886 vsize=51816 memory=21904 CPUtime=0.24 cores=1,3
/proc/369889/stat : 369889 (roundingsat) R 369886 369889 369827 0 -1 4194304 4899 0 1 0 23 1 0 0 20 0 1 0 43006460 53059584 5476 134679101440 4194304 8254357 140737143626528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 14737408 140737143628635 140737143628897 140737143628897 140737143635913 0
/proc/369889/statm: 12954 5476 1784 992 0 4812 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 51816 KiB
Current children cumulated memory: 21904 KiB

[startup+0.700173 s]
/proc/loadavg: 0.09 0.10 0.09 4/256 369920
/proc/meminfo: memFree=128367188/131524600 swapFree=131056028/131071996
[pid=369889] ppid=369886 vsize=61624 memory=33548 CPUtime=0.63 cores=1,3
/proc/369889/stat : 369889 (roundingsat) R 369886 369889 369827 0 -1 4194304 7242 0 1 0 47 16 0 0 20 0 1 0 43006460 63102976 8387 134679101440 4194304 8254357 140737143626528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 14737408 140737143628635 140737143628897 140737143628897 140737143635913 0
/proc/369889/statm: 15406 8387 1832 992 0 7264 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 61624 KiB
Current children cumulated memory: 33548 KiB

[startup+1.5002 s]
/proc/loadavg: 0.09 0.10 0.09 4/256 369949
/proc/meminfo: memFree=128234568/131524600 swapFree=131056028/131071996
[pid=369889] ppid=369886 vsize=74792 memory=41820 CPUtime=1.44 cores=1,3
/proc/369889/stat : 369889 (roundingsat) R 369886 369889 369827 0 -1 4194304 8775 0 1 0 93 51 0 0 20 0 1 0 43006460 76587008 10455 134679101440 4194304 8254357 140737143626528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 14737408 140737143628635 140737143628897 140737143628897 140737143635913 0
/proc/369889/statm: 18698 10455 1832 992 0 10556 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 74792 KiB
Current children cumulated memory: 41820 KiB

[startup+3.10541 s]
/proc/loadavg: 0.40 0.17 0.11 5/259 370002
/proc/meminfo: memFree=128043104/131524600 swapFree=131056028/131071996
[pid=369889] ppid=369886 vsize=87464 memory=56260 CPUtime=3.04 cores=1,3
/proc/369889/stat : 369889 (roundingsat) R 369886 369889 369827 0 -1 4194304 9846 0 1 0 178 126 0 0 20 0 1 0 43006460 89563136 14065 134679101440 4194304 8254357 140737143626528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 14737408 140737143628635 140737143628897 140737143628897 140737143635913 0
/proc/369889/statm: 21866 14065 1832 992 0 13724 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 87464 KiB
Current children cumulated memory: 56260 KiB

[startup+6.3002 s]
/proc/loadavg: 0.40 0.17 0.11 5/261 370004
/proc/meminfo: memFree=127790732/131524600 swapFree=131056028/131071996
[pid=369889] ppid=369886 vsize=110576 memory=82736 CPUtime=6.22 cores=1,3
/proc/369889/stat : 369889 (roundingsat) R 369886 369889 369827 0 -1 4194304 11497 0 1 0 352 270 0 0 20 0 1 0 43006460 113229824 20684 134679101440 4194304 8254357 140737143626528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 14737408 140737143628635 140737143628897 140737143628897 140737143635913 0
/proc/369889/statm: 27644 20684 1832 992 0 19502 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 110576 KiB
Current children cumulated memory: 82736 KiB

[startup+12.7002 s]
/proc/loadavg: 0.96 0.29 0.15 5/261 370005
/proc/meminfo: memFree=127008448/131524600 swapFree=131056028/131071996
[pid=369889] ppid=369886 vsize=217960 memory=148088 CPUtime=12.61 cores=1,3
/proc/369889/stat : 369889 (roundingsat) R 369886 369889 369827 0 -1 4194304 19150 0 1 0 774 487 0 0 20 0 1 0 43006460 223191040 37022 134679101440 4194304 8254357 140737143626528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 14737408 140737143628635 140737143628897 140737143628897 140737143635913 0
/proc/369889/statm: 54490 37022 1895 992 0 46348 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 217960 KiB
Current children cumulated memory: 148088 KiB

[startup+25.5002 s]
/proc/loadavg: 1.57 0.45 0.20 5/261 370007
/proc/meminfo: memFree=125822104/131524600 swapFree=131056028/131071996
[pid=369889] ppid=369886 vsize=268956 memory=196400 CPUtime=25.38 cores=1,3
/proc/369889/stat : 369889 (roundingsat) R 369886 369889 369827 0 -1 4194304 31220 0 1 0 1995 543 0 0 20 0 1 0 43006460 275410944 49100 134679101440 4194304 8254357 140737143626528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 14737408 140737143628635 140737143628897 140737143628897 140737143635913 0
/proc/369889/statm: 67239 49100 1895 992 0 59097 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 268956 KiB
Current children cumulated memory: 196400 KiB

[startup+51.1055 s]
/proc/loadavg: 2.40 0.73 0.31 5/261 370011
/proc/meminfo: memFree=124293108/131524600 swapFree=131056028/131071996
[pid=369889] ppid=369886 vsize=277828 memory=206936 CPUtime=50.92 cores=1,3
/proc/369889/stat : 369889 (roundingsat) R 369886 369889 369827 0 -1 4194304 33882 0 1 0 4470 622 0 0 20 0 1 0 43006460 284495872 51734 134679101440 4194304 8254357 140737143626528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 14737408 140737143628635 140737143628897 140737143628897 140737143635913 0
/proc/369889/statm: 69457 51734 1895 992 0 61315 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 277828 KiB
Current children cumulated memory: 206936 KiB

[startup+80.2546 s]
# the end of solver process 369889 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=69.7873 s, system=7.21249 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+51.2002 s]
/proc/loadavg: 2.40 0.73 0.31 5/261 370011
/proc/meminfo: memFree=124293108/131524600 swapFree=131056028/131071996
[pid=369889] ppid=369886 vsize=277828 memory=206936 CPUtime=51.01 cores=1,3
/proc/369889/stat : 369889 (roundingsat) R 369886 369889 369827 0 -1 4194304 33882 0 1 0 4479 622 0 0 20 0 1 0 43006460 284495872 51734 134679101440 4194304 8254357 140737143626528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 14737408 140737143628635 140737143628897 140737143628897 140737143635913 0
/proc/369889/statm: 69457 51734 1895 992 0 61315 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 277828 KiB
Current children cumulated memory: 206936 KiB

[startup+64.0002 s]*
/proc/loadavg: 2.84 0.91 0.37 5/262 370015
/proc/meminfo: memFree=123700100/131524600 swapFree=131056028/131071996
[pid=369889] ppid=369886 vsize=278092 memory=207464 CPUtime=63.79 cores=1,3
/proc/369889/stat : 369889 (roundingsat) R 369886 369889 369827 0 -1 4194304 33990 0 1 0 5709 670 0 0 20 0 1 0 43006460 284766208 51866 134679101440 4194304 8254357 140737143626528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 14737408 140737143628635 140737143628897 140737143628897 140737143635913 0
/proc/369889/statm: 69523 51866 1895 992 0 61381 0
Current children cumulated CPU time: 63.79 s
Current children cumulated vsize: 278092 KiB
Current children cumulated memory: 207464 KiB

[startup+70.4002 s]
/proc/loadavg: 2.93 0.96 0.39 5/262 370015
/proc/meminfo: memFree=123429880/131524600 swapFree=131056028/131071996
[pid=369889] ppid=369886 vsize=282968 memory=211364 CPUtime=70.16 cores=1,3
/proc/369889/stat : 369889 (roundingsat) R 369886 369889 369827 0 -1 4194304 34980 0 1 0 6328 688 0 0 20 0 1 0 43006460 289759232 52841 134679101440 4194304 8254357 140737143626528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 14737408 140737143628635 140737143628897 140737143628897 140737143635913 0
/proc/369889/statm: 70742 52841 1895 992 0 62600 0
Current children cumulated CPU time: 70.16 s
Current children cumulated vsize: 282968 KiB
Current children cumulated memory: 211364 KiB

[startup+76.8002 s]
/proc/loadavg: 3.02 1.01 0.41 5/262 370016
/proc/meminfo: memFree=123149092/131524600 swapFree=131056028/131071996
[pid=369889] ppid=369886 vsize=283100 memory=211868 CPUtime=76.54 cores=1,3
/proc/369889/stat : 369889 (roundingsat) R 369886 369889 369827 0 -1 4194304 35138 0 1 0 6944 710 0 0 20 0 1 0 43006460 289894400 52967 134679101440 4194304 8254357 140737143626528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 14737408 140737143628635 140737143628897 140737143628897 140737143635913 0
/proc/369889/statm: 70775 52967 1895 992 0 62633 0
Current children cumulated CPU time: 76.54 s
Current children cumulated vsize: 283100 KiB
Current children cumulated memory: 211868 KiB

[startup+78.4002 s]
/proc/loadavg: 3.09 1.06 0.43 4/262 370016
/proc/meminfo: memFree=122948204/131524600 swapFree=131056028/131071996
[pid=369889] ppid=369886 vsize=283100 memory=211868 CPUtime=76.96 cores=1,3
/proc/369889/stat : 369889 (roundingsat) D 369886 369889 369827 0 -1 4194304 35138 0 1 0 6978 718 0 0 20 0 1 0 43006460 289894400 52967 134679101440 4194304 8254357 140737143626528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 241 0 0 9037040 9046032 14737408 140737143628635 140737143628897 140737143628897 140737143635913 0
/proc/369889/statm: 70775 52967 1895 992 0 62633 0
Current children cumulated CPU time: 76.96 s
Current children cumulated vsize: 283100 KiB
Current children cumulated memory: 211868 KiB

[startup+79.2002 s]
/proc/loadavg: 3.09 1.06 0.43 4/262 370016
/proc/meminfo: memFree=122921328/131524600 swapFree=131056028/131071996
[pid=369889] ppid=369886 vsize=283100 memory=211868 CPUtime=76.96 cores=1,3
/proc/369889/stat : 369889 (roundingsat) D 369886 369889 369827 0 -1 4194304 35138 0 1 0 6978 718 0 0 20 0 1 0 43006460 289894400 52967 134679101440 4194304 8254357 140737143626528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 397 0 0 9037040 9046032 14737408 140737143628635 140737143628897 140737143628897 140737143635913 0
/proc/369889/statm: 70775 52967 1895 992 0 62633 0
Current children cumulated CPU time: 76.96 s
Current children cumulated vsize: 283100 KiB
Current children cumulated memory: 211868 KiB

[startup+80.0002 s]*
/proc/loadavg: 3.09 1.06 0.43 4/262 370016
/proc/meminfo: memFree=122918136/131524600 swapFree=131056028/131071996
[pid=369889] ppid=369886 vsize=283100 memory=211868 CPUtime=76.97 cores=1,3
/proc/369889/stat : 369889 (roundingsat) D 369886 369889 369827 0 -1 4194304 35138 0 1 0 6978 719 0 0 20 0 1 0 43006460 289894400 52967 134679101440 4194304 8254357 140737143626528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 554 0 0 9037040 9046032 14737408 140737143628635 140737143628897 140737143628897 140737143635913 0
/proc/369889/statm: 70775 52967 1895 992 0 62633 0
Current children cumulated CPU time: 76.97 s
Current children cumulated vsize: 283100 KiB
Current children cumulated memory: 211868 KiB

[startup+80.2002 s]
/proc/loadavg: 3.09 1.06 0.43 4/262 370016
/proc/meminfo: memFree=122918136/131524600 swapFree=131056028/131071996
[pid=369889] ppid=369886 vsize=283100 memory=211868 CPUtime=76.98 cores=1,3
/proc/369889/stat : 369889 (roundingsat) D 369886 369889 369827 0 -1 4194304 35138 0 1 0 6978 720 0 0 20 0 1 0 43006460 289894400 52967 134679101440 4194304 8254357 140737143626528 0 0 0 0 0 25182210 0 0 0 17 1 0 0 591 0 0 9037040 9046032 14737408 140737143628635 140737143628897 140737143628897 140737143635913 0
/proc/369889/statm: 70775 52967 1895 992 0 62633 0
Current children cumulated CPU time: 76.98 s
Current children cumulated vsize: 283100 KiB
Current children cumulated memory: 211868 KiB

Child status: 0

Real time (s): 80.2546
CPU time (s): 76.9998
CPU user time (s): 69.7873
CPU system time (s): 7.21249
CPU usage (%): 95.9444
Max. virtual memory (cumulated for all children) (KiB): 283100
Max. memory (cumulated for all children) (KiB): 211868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.7873
system time used= 7.21249
maximum resident set size= 211868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35146
page faults= 1
swaps= 0
block input operations= 40
block output operations= 2714608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8516
involuntary context switches= 107


# summary of solver processes directly reported to runsolver:
#   pid: 369889
#   total CPU time (s): 76.9998
#   total CPU user time (s): 69.7873
#   total CPU system time (s): 7.21249

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.132984 second user time and 0.413935 second system time

The end

Launcher Data

Begin job on nodeC015 at 2024-07-27 09:20:36
IDJOB=4460241
IDBENCH=146652
IDSOLVER=3086
FILE ID=nodeC015/4460241-1722064836
RUNJOBID= nodeC015-1722064836-369843
SLURM_JOB_ID= 8248085
Free space on /tmp= 890072 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460241-1722064836/watcher-4460241-1722064836 -o /tmp/evaluation-result-4460241-1722064836/solver-4460241-1722064836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722064836-369843 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460241-1722064836 --lp-cut-gomory=0 HOME/instance-4460241-1722064836.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=425005107

nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3604.500
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3694.705
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3548.366
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3693.192
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3597.873
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3648.573
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3495.372
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3611.982
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128457976 kB
MemAvailable:   129609652 kB
Buffers:          376348 kB
Cached:          1440252 kB
SwapCached:          312 kB
Active:          1280360 kB
Inactive:         858548 kB
Active(anon):       4300 kB
Inactive(anon):   370852 kB
Active(file):    1276060 kB
Inactive(file):   487696 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:             17316 kB
Writeback:             0 kB
AnonPages:        322056 kB
Mapped:            95560 kB
Shmem:             52524 kB
KReclaimable:     449328 kB
Slab:             574228 kB
SReclaimable:     449328 kB
SUnreclaim:       124900 kB
KernelStack:        3816 kB
PageTables:        10616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     740324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16224 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      367316 kB
DirectMap2M:    43446272 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC015 at 2024-07-27 09:21:56