0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.04/0.51 c #variables 8405 #constraints 11367
1.02/1.55 c bounds - >= -3212 @ 0.035876
1.02/1.55 c bounds 30893 >= -3212 @ 0.302095
1.02/1.55 c bounds 30893 >= -2545 @ 0.302095
1.02/1.55 c bounds 30893 >= -2445 @ 0.303479
1.02/1.55 c bounds 30893 >= -2345 @ 0.304482
1.02/1.55 c bounds 30893 >= -2245 @ 0.305483
1.02/1.55 c bounds 30893 >= -2145 @ 0.305485
1.02/1.55 c bounds 30893 >= -2045 @ 0.305814
1.02/1.55 c bounds 30893 >= -1945 @ 0.308684
1.02/1.55 c bounds 30893 >= -1845 @ 0.310482
1.02/1.55 c bounds 30893 >= -1745 @ 0.311485
1.02/1.55 c bounds 30893 >= -1645 @ 0.312489
1.02/1.55 c bounds 1055 >= -1645 @ 0.371249
1.02/1.55 c bounds 1054 >= -1645 @ 0.379708
1.02/1.55 c bounds 1053 >= -1645 @ 0.382659
1.02/1.55 c bounds 1052 >= -1645 @ 0.387941
1.02/1.55 c bounds 1051 >= -1645 @ 0.390338
1.02/1.55 c bounds 1050 >= -1645 @ 0.397436
1.02/1.55 c bounds 1049 >= -1645 @ 0.400068
1.02/1.55 c bounds 1048 >= -1645 @ 0.408928
1.02/1.55 c bounds 1047 >= -1645 @ 0.413382
1.02/1.55 c bounds 1046 >= -1645 @ 0.48495
1.02/1.55 c bounds 1046 >= -1644 @ 0.485784
1.02/1.55 c bounds 1046 >= -1643 @ 0.485785
1.02/1.55 c bounds 1046 >= -1642 @ 0.487768
1.02/1.55 c bounds 1046 >= -1641 @ 0.48877
1.02/1.55 c bounds 1046 >= -1640 @ 0.488773
1.02/1.55 c bounds 1046 >= -1639 @ 0.488775
1.02/1.55 c bounds 1046 >= -1638 @ 0.488777
1.02/1.55 c bounds 1046 >= -1637 @ 0.489774
1.02/1.55 c bounds 1046 >= -1636 @ 0.49086
1.02/1.55 c bounds 1046 >= -1635 @ 0.491773
1.02/1.55 c bounds 1046 >= -1634 @ 0.491775
1.02/1.55 c bounds 1046 >= -1633 @ 0.491778
1.02/1.55 c bounds 1046 >= -1632 @ 0.492775
1.02/1.55 c bounds 1046 >= -1631 @ 0.493775
1.02/1.55 c bounds 1046 >= -1630 @ 0.494771
1.02/1.55 c bounds 1046 >= -1629 @ 0.494773
1.02/1.55 c bounds 1046 >= -1628 @ 0.496792
1.02/1.55 c bounds 1046 >= -1627 @ 0.499099
1.02/1.55 c bounds 1046 >= -1626 @ 0.500392
1.02/1.55 c bounds 1046 >= -1625 @ 0.500758
1.02/1.55 c bounds 1046 >= -1624 @ 0.501758
1.02/1.55 c bounds 1046 >= -1623 @ 0.503204
1.02/1.55 c bounds 1046 >= -1622 @ 0.503754
1.02/1.55 c bounds 1046 >= -1619 @ 0.505751
1.02/1.55 c bounds 1046 >= -1618 @ 0.505844
1.02/1.55 c bounds 1046 >= -1615 @ 0.509747
1.02/1.55 c bounds 1046 >= -1614 @ 0.511739
1.02/1.55 c bounds 1046 >= -1611 @ 0.51274
1.02/1.55 c bounds 1046 >= -1610 @ 0.513937
1.02/1.55 c bounds 1046 >= -1607 @ 0.51583
1.02/1.55 c bounds 1046 >= -1604 @ 0.518943
1.02/1.55 c bounds 1046 >= -1602 @ 0.519942
1.02/1.55 c bounds 1046 >= -1598 @ 0.521941
1.02/1.55 c bounds 1046 >= -1597 @ 0.524729
1.02/1.55 c bounds 1046 >= -1596 @ 0.526727
1.02/1.55 c bounds 1046 >= -1595 @ 0.528724
1.02/1.55 c bounds 1046 >= -1594 @ 0.529725
1.02/1.55 c bounds 1046 >= -1593 @ 0.531722
1.02/1.55 c bounds 1046 >= -1592 @ 0.532723
1.02/1.55 c bounds 1046 >= -1591 @ 0.536365
1.02/1.55 c bounds 1046 >= -1590 @ 0.538714
1.02/1.55 c bounds 1046 >= -1589 @ 0.541766
1.02/1.55 c bounds 1046 >= -1588 @ 0.543707
1.02/1.55 c bounds 1046 >= -1587 @ 0.543711
1.02/1.55 c bounds 1046 >= -1586 @ 0.546405
1.02/1.55 c bounds 1046 >= -1585 @ 0.548706
1.02/1.55 c bounds 1046 >= -1584 @ 0.551712
1.02/1.55 c bounds 1046 >= -1583 @ 0.553906
1.02/1.55 c bounds 1046 >= -1582 @ 0.557911
1.02/1.55 c bounds 1046 >= -1581 @ 0.561044
1.02/1.55 c bounds 1046 >= -1580 @ 0.561675
1.02/1.55 c bounds 1046 >= -1579 @ 0.564435
1.02/1.55 c bounds 1046 >= -1578 @ 0.56767
1.02/1.55 c bounds 1046 >= -1577 @ 0.569906
1.02/1.55 c bounds 1046 >= -1576 @ 0.571666
1.02/1.55 c bounds 1046 >= -1575 @ 0.57215
1.02/1.55 c bounds 1046 >= -1574 @ 0.575662
1.02/1.55 c bounds 1046 >= -1573 @ 0.57766
1.02/1.55 c bounds 1046 >= -1572 @ 0.580527
1.02/1.55 c bounds 1046 >= -1571 @ 0.582755
1.02/1.55 c bounds 1046 >= -1570 @ 0.583854
1.02/1.55 c bounds 1046 >= -1569 @ 0.585654
1.02/1.55 c bounds 1046 >= -1568 @ 0.588107
1.02/1.55 c bounds 1046 >= -1567 @ 0.589649
1.02/1.55 c bounds 1046 >= -1566 @ 0.590651
1.02/1.55 c bounds 1046 >= -1565 @ 0.593647
1.02/1.55 c bounds 1046 >= -1564 @ 0.595646
1.02/1.55 c bounds 1046 >= -1563 @ 0.596646
1.02/1.55 c bounds 1046 >= -1562 @ 0.598644
1.02/1.55 c bounds 1046 >= -1561 @ 0.599646
1.02/1.55 c bounds 1046 >= -1560 @ 0.600647
1.02/1.55 c bounds 1046 >= -1559 @ 0.60342
1.02/1.55 c bounds 1046 >= -1558 @ 0.605432
1.02/1.55 c bounds 1046 >= -1557 @ 0.607739
1.02/1.55 c bounds 1046 >= -1556 @ 0.61194
1.02/1.55 c bounds 1046 >= -1552 @ 0.613168
1.02/1.55 c bounds 1046 >= -1547 @ 0.615247
1.02/1.55 c bounds 1046 >= -1543 @ 0.616604
1.02/1.55 c bounds 1046 >= -1542 @ 0.619814
1.02/1.55 c bounds 1046 >= -1540 @ 0.621593
1.02/1.55 c bounds 1046 >= -1539 @ 0.621596
1.02/1.55 c bounds 1046 >= -1535 @ 0.62445
1.02/1.55 c bounds 1046 >= -1533 @ 0.626587
1.02/1.55 c bounds 1046 >= -1532 @ 0.628574
1.02/1.55 c bounds 1046 >= -1527 @ 0.630575
1.02/1.55 c bounds 1046 >= -1525 @ 0.631573
1.02/1.55 c bounds 1046 >= -1524 @ 0.631577
1.02/1.55 c bounds 1046 >= -1518 @ 0.632686
1.02/1.55 c bounds 1046 >= -1517 @ 0.636569
1.02/1.55 c bounds 1046 >= -1512 @ 0.638566
1.02/1.55 c bounds 1046 >= -1505 @ 0.639565
1.02/1.55 c bounds 1046 >= -1504 @ 0.641784
1.02/1.55 c bounds 1046 >= -1499 @ 0.64293
1.02/1.55 c bounds 1046 >= -1494 @ 0.64456
1.02/1.55 c bounds 1046 >= -1493 @ 0.645563
1.02/1.55 c bounds 1046 >= -1492 @ 0.646563
1.02/1.55 c bounds 1046 >= -1491 @ 0.648207
1.02/1.55 c bounds 1046 >= -1490 @ 0.648564
1.02/1.55 c bounds 1046 >= -1489 @ 0.65132
1.62/2.18 c bounds 1046 >= -1488 @ 0.653395
1.62/2.18 c bounds 1046 >= -1487 @ 0.654558
1.62/2.18 c bounds 1046 >= -1486 @ 0.656466
1.62/2.18 c bounds 1046 >= -1485 @ 0.657645
1.62/2.18 c bounds 1046 >= -1484 @ 0.658557
1.62/2.18 c bounds 1046 >= -1483 @ 0.658559
1.62/2.18 c bounds 1046 >= -1482 @ 0.658563
1.62/2.18 c bounds 1046 >= -1481 @ 0.660775
1.62/2.18 c bounds 1046 >= -1480 @ 0.662915
1.62/2.18 c bounds 1046 >= -1479 @ 0.665537
1.62/2.18 c bounds 1046 >= -1478 @ 0.666567
1.62/2.18 c bounds 1046 >= -1477 @ 0.66791
1.62/2.18 c bounds 1046 >= -1476 @ 0.670521
1.62/2.18 c bounds 1046 >= -1475 @ 0.672518
1.62/2.18 c bounds 1046 >= -1474 @ 0.674719
1.62/2.18 c bounds 1046 >= -1473 @ 0.677508
1.62/2.18 c bounds 1046 >= -1467 @ 0.67751
1.62/2.18 c bounds 1046 >= -1466 @ 0.68036
1.62/2.18 c bounds 1046 >= -1465 @ 0.682553
1.62/2.18 c bounds 1046 >= -1464 @ 0.684574
1.62/2.18 c bounds 1046 >= -1463 @ 0.685683
1.62/2.18 c bounds 1046 >= -1462 @ 0.686468
1.62/2.18 c bounds 1046 >= -1461 @ 0.68647
1.62/2.18 c bounds 1046 >= -1460 @ 0.68747
1.62/2.18 c bounds 1046 >= -1459 @ 0.689685
1.62/2.18 c bounds 1046 >= -1458 @ 0.690467
1.62/2.18 c bounds 1046 >= -1457 @ 0.692463
1.62/2.18 c bounds 1046 >= -1456 @ 0.69446
1.62/2.18 c bounds 1046 >= -1455 @ 0.697513
1.62/2.18 c bounds 1046 >= -1454 @ 0.698669
1.62/2.18 c bounds 1046 >= -1453 @ 0.699791
1.62/2.18 c bounds 1046 >= -1452 @ 0.700955
1.62/2.18 c bounds 1046 >= -1451 @ 0.703448
1.62/2.18 c bounds 1046 >= -1450 @ 0.706437
1.62/2.18 c bounds 1046 >= -1449 @ 0.70843
1.62/2.18 c bounds 1046 >= -1448 @ 0.710421
1.62/2.18 c bounds 1046 >= -1447 @ 0.710423
1.62/2.18 c bounds 1046 >= -1446 @ 0.712502
1.62/2.18 c bounds 1046 >= -1445 @ 0.714406
1.62/2.18 c bounds 1046 >= -1444 @ 0.714415
1.62/2.18 c bounds 1046 >= -1443 @ 0.714417
1.62/2.18 c bounds 1046 >= -1442 @ 0.717553
1.62/2.18 c bounds 1046 >= -1441 @ 0.719405
1.62/2.18 c bounds 1046 >= -1440 @ 0.720405
1.62/2.18 c bounds 1046 >= -1439 @ 0.721404
1.62/2.18 c bounds 1046 >= -1436 @ 0.723633
1.62/2.18 c bounds 1046 >= -1435 @ 0.7244
1.62/2.18 c bounds 1046 >= -1434 @ 0.724402
1.62/2.18 c bounds 1046 >= -1433 @ 0.725402
1.62/2.18 c bounds 1046 >= -1432 @ 0.727617
1.62/2.18 c bounds 1046 >= -1431 @ 0.731389
1.62/2.18 c bounds 1046 >= -1430 @ 0.732044
1.62/2.18 c bounds 1046 >= -1429 @ 0.732388
1.62/2.18 c bounds 1046 >= -1428 @ 0.733608
1.62/2.18 c bounds 1046 >= -1427 @ 0.735383
1.62/2.18 c bounds 1046 >= -1426 @ 0.736382
1.62/2.18 c bounds 1046 >= -1425 @ 0.738378
1.62/2.18 c bounds 1046 >= -1424 @ 0.740712
1.62/2.18 c bounds 1046 >= -1423 @ 0.743921
1.62/2.18 c bounds 1046 >= -1422 @ 0.744328
1.62/2.18 c bounds 1046 >= -1421 @ 0.746348
1.62/2.18 c bounds 1046 >= -1420 @ 0.74832
1.62/2.18 c bounds 1046 >= -1419 @ 0.749728
1.62/2.18 c bounds 1046 >= -1418 @ 0.750319
1.62/2.18 c bounds 1046 >= -1417 @ 0.751101
1.62/2.18 c bounds 1046 >= -1416 @ 0.753414
1.62/2.18 c bounds 1046 >= -1415 @ 0.756538
1.62/2.18 c bounds 1046 >= -1414 @ 0.759721
1.62/2.18 c bounds 1046 >= -1413 @ 0.7603
1.62/2.18 c bounds 1046 >= -1412 @ 0.762295
1.62/2.18 c bounds 1046 >= -1411 @ 0.764393
1.62/2.18 c bounds 1046 >= -1410 @ 0.767518
1.62/2.18 c bounds 1046 >= -1409 @ 0.768285
1.62/2.18 c bounds 1046 >= -1408 @ 0.769825
1.62/2.18 c bounds 1046 >= -1407 @ 0.774991
1.62/2.18 c bounds 1046 >= -1406 @ 0.776267
1.62/2.18 c bounds 1046 >= -1405 @ 0.778509
1.62/2.18 c bounds 1046 >= -1404 @ 0.779262
1.62/2.18 c bounds 1046 >= -1403 @ 0.78026
1.62/2.18 c bounds 1046 >= -1402 @ 0.782227
1.62/2.18 c bounds 1046 >= -1397 @ 0.784468
1.62/2.18 c bounds 1046 >= -1396 @ 0.786246
1.62/2.18 c bounds 1046 >= -1395 @ 0.786788
1.62/2.18 c bounds 1046 >= -1394 @ 0.791006
1.62/2.18 c bounds 1046 >= -1393 @ 0.792262
1.62/2.18 c bounds 1046 >= -1392 @ 0.793231
1.62/2.18 c bounds 1046 >= -1391 @ 0.793233
1.62/2.18 c bounds 1046 >= -1390 @ 0.796225
1.62/2.18 c bounds 1046 >= -1389 @ 0.797224
1.62/2.18 c bounds 1046 >= -1388 @ 0.800216
1.62/2.18 c bounds 1046 >= -1387 @ 0.802211
1.62/2.18 c bounds 1046 >= -1386 @ 0.804208
1.62/2.18 c bounds 1046 >= -1385 @ 0.804209
1.62/2.18 c bounds 1046 >= -1384 @ 0.805208
1.62/2.18 c bounds 1046 >= -1383 @ 0.808483
1.62/2.18 c bounds 1046 >= -1382 @ 0.811713
1.62/2.18 c bounds 1046 >= -1381 @ 0.812192
1.62/2.18 c bounds 1046 >= -1380 @ 0.81519
1.62/2.18 c bounds 1046 >= -1379 @ 0.816451
1.62/2.18 c bounds 1046 >= -1378 @ 0.81818
1.62/2.18 c bounds 1046 >= -1377 @ 0.818182
1.62/2.18 c bounds 1046 >= -1372 @ 0.820178
1.62/2.18 c bounds 1046 >= -1371 @ 0.823171
1.62/2.18 c bounds 1046 >= -1370 @ 0.823173
1.62/2.18 c bounds 1046 >= -1369 @ 0.823175
1.62/2.18 c bounds 1046 >= -1368 @ 0.825127
1.62/2.18 c bounds 1046 >= -1367 @ 0.828162
1.62/2.18 c bounds 1046 >= -1366 @ 0.829162
1.62/2.18 c bounds 1046 >= -1365 @ 0.830161
1.62/2.18 c bounds 1046 >= -1364 @ 0.832148
1.62/2.18 c bounds 1046 >= -1363 @ 0.833388
1.62/2.18 c bounds 1046 >= -1362 @ 0.835152
1.62/2.18 c bounds 1046 >= -1361 @ 0.837149
1.62/2.18 c bounds 1046 >= -1360 @ 0.839145
1.62/2.18 c bounds 1046 >= -1359 @ 0.839538
1.62/2.18 c bounds 1046 >= -1358 @ 0.840541
1.62/2.18 c bounds 1046 >= -1357 @ 0.84257
1.62/2.18 c bounds 1046 >= -1356 @ 0.845136
1.62/2.18 c bounds 1046 >= -1355 @ 0.846134
1.62/2.18 c bounds 1046 >= -1354 @ 0.846136
1.62/2.18 c bounds 1046 >= -1353 @ 0.848132
2.31/2.82 c bounds 1046 >= -1352 @ 0.850213
2.31/2.82 c bounds 1046 >= -1351 @ 0.853279
2.31/2.82 c bounds 1046 >= -1350 @ 0.855115
2.31/2.82 c bounds 1046 >= -1349 @ 0.855679
2.31/2.82 c bounds 1046 >= -1348 @ 0.856916
2.31/2.82 c bounds 1046 >= -1347 @ 0.859207
2.31/2.82 c bounds 1046 >= -1346 @ 0.861102
2.31/2.82 c bounds 1046 >= -1345 @ 0.861104
2.31/2.82 c bounds 1046 >= -1344 @ 0.863099
2.31/2.82 c bounds 1046 >= -1343 @ 0.864183
2.31/2.82 c bounds 1046 >= -1342 @ 0.866356
2.31/2.82 c bounds 1046 >= -1341 @ 0.867093
2.31/2.82 c bounds 1046 >= -1340 @ 0.867095
2.31/2.82 c bounds 1046 >= -1339 @ 0.870037
2.31/2.82 c bounds 1046 >= -1338 @ 0.873287
2.31/2.82 c bounds 1046 >= -1337 @ 0.875077
2.31/2.82 c bounds 1046 >= -1336 @ 0.877073
2.31/2.82 c bounds 1046 >= -1335 @ 0.877074
2.31/2.82 c bounds 1046 >= -1332 @ 0.879157
2.31/2.82 c bounds 1046 >= -1328 @ 0.881064
2.31/2.82 c bounds 1046 >= -1324 @ 0.882063
2.31/2.82 c bounds 1046 >= -1323 @ 0.885718
2.31/2.82 c bounds 1046 >= -1319 @ 0.886053
2.31/2.82 c bounds 1046 >= -1317 @ 0.889254
2.31/2.82 c bounds 1046 >= -1316 @ 0.891413
2.31/2.82 c bounds 1046 >= -1315 @ 0.893028
2.31/2.82 c bounds 1046 >= -1314 @ 0.895872
2.31/2.82 c bounds 1046 >= -1308 @ 0.900049
2.31/2.82 c bounds 1046 >= -1305 @ 0.904999
2.31/2.82 c bounds 1046 >= -1304 @ 0.905
2.31/2.82 c bounds 1046 >= -1303 @ 0.906996
2.31/2.82 c bounds 1046 >= -1302 @ 0.908912
2.31/2.82 c bounds 1046 >= -1301 @ 0.913108
2.31/2.82 c bounds 1046 >= -1300 @ 0.916195
2.31/2.82 c bounds 1046 >= -1299 @ 0.917973
2.31/2.82 c bounds 1046 >= -1298 @ 0.920967
2.31/2.82 c bounds 1046 >= -1297 @ 0.922964
2.31/2.82 c bounds 1046 >= -1296 @ 0.923962
2.31/2.82 c bounds 1046 >= -1295 @ 0.925959
2.31/2.82 c bounds 1046 >= -1294 @ 0.926958
2.31/2.82 c bounds 1046 >= -1293 @ 0.930168
2.31/2.82 c bounds 1046 >= -1292 @ 0.931948
2.31/2.82 c bounds 1046 >= -1291 @ 0.931949
2.31/2.82 c bounds 1046 >= -1290 @ 0.933615
2.31/2.82 c bounds 1046 >= -1289 @ 0.934942
2.31/2.82 c bounds 1046 >= -1288 @ 0.937157
2.31/2.82 c bounds 1046 >= -1287 @ 0.938263
2.31/2.82 c bounds 1046 >= -1286 @ 0.938937
2.31/2.82 c bounds 1046 >= -1285 @ 0.940489
2.31/2.82 c bounds 1046 >= -1284 @ 0.941543
2.31/2.82 c bounds 1046 >= -1283 @ 0.942931
2.31/2.82 c bounds 1046 >= -1282 @ 0.944927
2.31/2.82 c bounds 1046 >= -1281 @ 0.946923
2.31/2.82 c bounds 1046 >= -1280 @ 0.948919
2.31/2.82 c bounds 1046 >= -1279 @ 0.950915
2.31/2.82 c bounds 1046 >= -1278 @ 0.952912
2.31/2.82 c bounds 1046 >= -1277 @ 0.958053
2.31/2.82 c bounds 1046 >= -1276 @ 0.959109
2.31/2.82 c bounds 1046 >= -1275 @ 0.960896
2.31/2.82 c bounds 1046 >= -1274 @ 0.960897
2.31/2.82 c bounds 1046 >= -1273 @ 0.961896
2.31/2.82 c bounds 1046 >= -1272 @ 0.962891
2.31/2.82 c bounds 1046 >= -1271 @ 0.962896
2.31/2.82 c bounds 1046 >= -1270 @ 0.966849
2.31/2.82 c bounds 1046 >= -1269 @ 0.970077
2.31/2.82 c bounds 1046 >= -1268 @ 0.972873
2.31/2.82 c bounds 1046 >= -1267 @ 0.973871
2.31/2.82 c bounds 1046 >= -1266 @ 0.975698
2.31/2.82 c bounds 1046 >= -1265 @ 0.979816
2.31/2.82 c bounds 1045 >= -1265 @ 0.99942
2.31/2.82 c bounds 1045 >= -1264 @ 1.00279
2.31/2.82 c bounds 1045 >= -1263 @ 1.00379
2.31/2.82 c bounds 1045 >= -1262 @ 1.00678
2.31/2.82 c bounds 1045 >= -1261 @ 1.00778
2.31/2.82 c bounds 1045 >= -1260 @ 1.00878
2.31/2.82 c bounds 1045 >= -1259 @ 1.01165
2.31/2.82 c bounds 1045 >= -1258 @ 1.01377
2.31/2.82 c bounds 1045 >= -1257 @ 1.01499
2.31/2.82 c bounds 1045 >= -1256 @ 1.01703
2.31/2.82 c bounds 1045 >= -1255 @ 1.01776
2.31/2.82 c bounds 1045 >= -1254 @ 1.01776
2.31/2.82 c bounds 1045 >= -1253 @ 1.01976
2.31/2.82 c bounds 1045 >= -1252 @ 1.02086
2.31/2.82 c bounds 1045 >= -1251 @ 1.02306
2.31/2.82 c bounds 1045 >= -1250 @ 1.02575
2.31/2.82 c bounds 1045 >= -1249 @ 1.02575
2.31/2.82 c bounds 1045 >= -1248 @ 1.02774
2.31/2.82 c bounds 1045 >= -1247 @ 1.02974
2.31/2.82 c bounds 1045 >= -1246 @ 1.0316
2.31/2.82 c bounds 1045 >= -1245 @ 1.03459
2.31/2.82 c bounds 1045 >= -1244 @ 1.03573
2.31/2.82 c bounds 1045 >= -1243 @ 1.03774
2.31/2.82 c bounds 1045 >= -1242 @ 1.03873
2.31/2.82 c bounds 1045 >= -1241 @ 1.04085
2.31/2.82 c bounds 1045 >= -1240 @ 1.04292
2.31/2.82 c bounds 1045 >= -1239 @ 1.04593
2.31/2.82 c bounds 1045 >= -1238 @ 1.05
2.31/2.82 c bounds 1045 >= -1237 @ 1.05071
2.31/2.82 c bounds 1045 >= -1236 @ 1.0527
2.31/2.82 c bounds 1045 >= -1235 @ 1.05455
2.31/2.82 c bounds 1045 >= -1234 @ 1.05674
2.31/2.82 c bounds 1045 >= -1233 @ 1.05982
2.31/2.82 c bounds 1045 >= -1232 @ 1.06195
2.31/2.82 c bounds 1045 >= -1231 @ 1.06505
2.31/2.82 c bounds 1045 >= -1230 @ 1.06567
2.31/2.82 c bounds 1045 >= -1229 @ 1.0673
2.31/2.82 c bounds 1045 >= -1228 @ 1.0684
2.31/2.82 c bounds 1045 >= -1227 @ 1.07146
2.31/2.82 c bounds 1045 >= -1226 @ 1.07453
2.31/2.82 c bounds 1045 >= -1225 @ 1.07773
2.31/2.82 c bounds 1045 >= -1224 @ 1.07885
2.31/2.82 c bounds 1045 >= -1223 @ 1.07985
2.31/2.82 c bounds 1045 >= -1222 @ 1.08095
2.31/2.82 c bounds 1045 >= -1221 @ 1.08501
2.31/2.82 c bounds 1045 >= -1220 @ 1.08808
2.31/2.82 c bounds 1045 >= -1218 @ 1.08863
2.31/2.82 c bounds 1045 >= -1217 @ 1.08963
2.31/2.82 c bounds 1045 >= -1212 @ 1.09063
2.31/2.82 c bounds 1045 >= -1207 @ 1.09285
2.31/2.82 c bounds 1045 >= -1202 @ 1.09362
2.31/2.82 c bounds 1045 >= -1198 @ 1.09562
2.31/2.82 c bounds 1045 >= -1195 @ 1.09662
3.01/3.50 c bounds 1045 >= -1193 @ 1.09762
3.01/3.50 c bounds 1045 >= -1191 @ 1.09961
3.01/3.50 c bounds 1045 >= -1186 @ 1.10282
3.01/3.50 c bounds 1045 >= -1181 @ 1.10386
3.01/3.50 c bounds 1045 >= -1176 @ 1.1056
3.01/3.50 c bounds 1045 >= -1174 @ 1.1076
3.01/3.50 c bounds 1045 >= -1169 @ 1.10959
3.01/3.50 c bounds 1045 >= -1166 @ 1.1096
3.01/3.50 c bounds 1045 >= -1164 @ 1.1096
3.01/3.50 c bounds 1045 >= -1160 @ 1.11159
3.01/3.50 c bounds 1045 >= -1157 @ 1.11269
3.01/3.50 c bounds 1045 >= -1153 @ 1.11381
3.01/3.50 c bounds 1045 >= -1149 @ 1.11485
3.01/3.50 c bounds 1045 >= -1146 @ 1.11559
3.01/3.50 c bounds 1045 >= -1141 @ 1.11659
3.01/3.50 c bounds 1045 >= -1138 @ 1.11759
3.01/3.50 c bounds 1045 >= -1133 @ 1.11958
3.01/3.50 c bounds 1045 >= -1128 @ 1.12168
3.01/3.50 c bounds 1045 >= -1126 @ 1.12357
3.01/3.50 c bounds 1045 >= -1122 @ 1.12496
3.01/3.50 c bounds 1045 >= -1119 @ 1.12756
3.01/3.50 c bounds 1045 >= -1116 @ 1.12757
3.01/3.50 c bounds 1045 >= -1111 @ 1.12956
3.01/3.50 c bounds 1045 >= -1108 @ 1.13245
3.01/3.50 c bounds 1045 >= -1105 @ 1.13355
3.01/3.50 c bounds 1045 >= -1100 @ 1.13675
3.01/3.50 c bounds 1045 >= -1097 @ 1.13854
3.01/3.50 c bounds 1045 >= -1094 @ 1.13954
3.01/3.50 c bounds 1045 >= -1090 @ 1.14154
3.01/3.50 c bounds 1045 >= -1086 @ 1.14154
3.01/3.50 c bounds 1045 >= -1081 @ 1.14354
3.01/3.50 c bounds 1044 >= -1081 @ 1.17244
3.01/3.50 c bounds 1044 >= -1076 @ 1.17468
3.01/3.50 c bounds 1044 >= -1071 @ 1.17545
3.01/3.50 c bounds 1044 >= -1068 @ 1.17644
3.01/3.50 c bounds 1044 >= -1064 @ 1.17806
3.01/3.50 c bounds 1044 >= -1060 @ 1.18012
3.01/3.50 c bounds 1044 >= -1056 @ 1.18343
3.01/3.50 c bounds 1044 >= -1052 @ 1.18443
3.01/3.50 c bounds 1044 >= -1050 @ 1.18642
3.01/3.50 c bounds 1044 >= -1047 @ 1.18845
3.01/3.50 c bounds 1044 >= -1045 @ 1.19064
3.01/3.50 c bounds 1044 >= -1040 @ 1.19241
3.01/3.50 c bounds 1044 >= -1038 @ 1.19341
3.01/3.50 c bounds 1044 >= -1033 @ 1.19541
3.01/3.50 c bounds 1044 >= -1031 @ 1.19701
3.01/3.50 c bounds 1044 >= -1026 @ 1.19905
3.01/3.50 c bounds 1044 >= -1023 @ 1.2004
3.01/3.50 c bounds 1044 >= -1021 @ 1.20342
3.01/3.50 c bounds 1044 >= -1018 @ 1.20461
3.01/3.50 c bounds 1044 >= -1014 @ 1.20638
3.01/3.50 c bounds 1044 >= -1011 @ 1.20798
3.01/3.50 c bounds 1044 >= -1008 @ 1.20938
3.01/3.50 c bounds 1044 >= -1005 @ 1.21137
3.01/3.50 c bounds 1044 >= -1003 @ 1.21337
3.01/3.50 c bounds 1044 >= -1000 @ 1.21545
3.01/3.50 c bounds 1044 >= -996 @ 1.21948
3.01/3.50 c bounds 1044 >= -992 @ 1.22158
3.01/3.50 c bounds 1044 >= -987 @ 1.22335
3.01/3.50 c bounds 1044 >= -985 @ 1.22435
3.01/3.50 c bounds 1044 >= -980 @ 1.22474
3.01/3.50 c bounds 1044 >= -975 @ 1.22535
3.01/3.50 c bounds 1044 >= -970 @ 1.22693
3.01/3.50 c bounds 1044 >= -966 @ 1.22734
3.01/3.50 c bounds 1044 >= -961 @ 1.23101
3.01/3.50 c bounds 1044 >= -958 @ 1.23134
3.01/3.50 c bounds 1044 >= -955 @ 1.23433
3.01/3.50 c bounds 1044 >= -950 @ 1.23727
3.01/3.50 c bounds 1044 >= -948 @ 1.24154
3.01/3.50 c bounds 1044 >= -944 @ 1.24231
3.01/3.50 c bounds 1044 >= -939 @ 1.24231
3.01/3.50 c bounds 1044 >= -934 @ 1.24331
3.01/3.50 c bounds 1044 >= -930 @ 1.24531
3.01/3.50 c bounds 1044 >= -928 @ 1.2473
3.01/3.50 c bounds 1044 >= -925 @ 1.24806
3.01/3.50 c bounds 1044 >= -921 @ 1.2503
3.01/3.50 c bounds 1044 >= -917 @ 1.25229
3.01/3.50 c bounds 1044 >= -912 @ 1.25527
3.01/3.50 c bounds 1044 >= -908 @ 1.25637
3.01/3.50 c bounds 1044 >= -906 @ 1.25838
3.01/3.50 c bounds 1044 >= -903 @ 1.2615
3.01/3.50 c bounds 1044 >= -899 @ 1.26459
3.01/3.50 c bounds 1044 >= -895 @ 1.26524
3.01/3.50 c bounds 1044 >= -892 @ 1.26724
3.01/3.50 c bounds 1044 >= -890 @ 1.26824
3.01/3.50 c bounds 1044 >= -887 @ 1.26878
3.01/3.50 c bounds 1044 >= -882 @ 1.272
3.01/3.50 c bounds 1044 >= -877 @ 1.27522
3.01/3.50 c bounds 1044 >= -873 @ 1.27632
3.01/3.50 c bounds 1044 >= -871 @ 1.27745
3.01/3.50 c bounds 1044 >= -868 @ 1.27921
3.01/3.50 c bounds 1044 >= -863 @ 1.28221
3.01/3.50 c bounds 1044 >= -859 @ 1.2832
3.01/3.50 c bounds 1044 >= -854 @ 1.2842
3.01/3.50 c bounds 1044 >= -849 @ 1.2862
3.01/3.50 c bounds 1044 >= -846 @ 1.2862
3.01/3.50 c bounds 1044 >= -841 @ 1.2882
3.01/3.50 c bounds 1044 >= -837 @ 1.28919
3.01/3.50 c bounds 1044 >= -833 @ 1.29119
3.01/3.50 c bounds 1044 >= -830 @ 1.29219
3.01/3.50 c bounds 1044 >= -825 @ 1.29518
3.01/3.50 c bounds 1044 >= -821 @ 1.29618
3.01/3.50 c bounds 1044 >= -815 @ 1.29928
3.01/3.50 c bounds 1044 >= -810 @ 1.30137
3.01/3.50 c bounds 1044 >= -808 @ 1.30438
3.01/3.50 c bounds 1044 >= -805 @ 1.30643
3.01/3.50 c bounds 1044 >= -803 @ 1.30764
3.01/3.50 c bounds 1044 >= -799 @ 1.31015
3.01/3.50 c bounds 1044 >= -797 @ 1.31099
3.01/3.50 c bounds 1044 >= -792 @ 1.31325
3.01/3.50 c bounds 1044 >= -786 @ 1.31639
3.01/3.50 c bounds 1044 >= -783 @ 1.31813
3.01/3.50 c bounds 1044 >= -778 @ 1.32113
3.01/3.50 c bounds 1044 >= -776 @ 1.32212
3.01/3.50 c bounds 1044 >= -771 @ 1.32213
3.01/3.50 c bounds 1044 >= -766 @ 1.32213
3.01/3.50 c bounds 1044 >= -765 @ 1.32213
3.01/3.50 c bounds 1044 >= -764 @ 1.32482
3.01/3.50 c bounds 1044 >= -763 @ 1.32612
3.01/3.50 c bounds 1044 >= -762 @ 1.32712
3.01/3.50 c bounds 1044 >= -761 @ 1.32912
3.01/3.50 c bounds 1044 >= -760 @ 1.33217
3.01/3.50 c bounds 1044 >= -759 @ 1.3342
3.01/3.50 c bounds 1044 >= -758 @ 1.33733
3.01/3.50 c bounds 1044 >= -757 @ 1.33909
3.01/3.50 c bounds 1044 >= -756 @ 1.33909
3.01/3.50 c bounds 1044 >= -755 @ 1.34109
3.62/4.17 c bounds 1044 >= -754 @ 1.34286
3.62/4.17 c bounds 1044 >= -752 @ 1.34493
3.62/4.17 c bounds 1044 >= -751 @ 1.34608
3.62/4.17 c bounds 1044 >= -750 @ 1.34907
3.62/4.17 c bounds 1044 >= -749 @ 1.35115
3.62/4.17 c bounds 1044 >= -748 @ 1.35411
3.62/4.17 c bounds 1044 >= -747 @ 1.35619
3.62/4.17 c bounds 1044 >= -746 @ 1.36027
3.62/4.17 c bounds 1044 >= -745 @ 1.36205
3.62/4.17 c bounds 1044 >= -744 @ 1.36205
3.62/4.17 c bounds 1044 >= -743 @ 1.36305
3.62/4.17 c bounds 1044 >= -742 @ 1.36504
3.62/4.17 c bounds 1044 >= -741 @ 1.36704
3.62/4.17 c bounds 1044 >= -740 @ 1.36804
3.62/4.17 c bounds 1044 >= -739 @ 1.37003
3.62/4.17 c bounds 1044 >= -738 @ 1.37103
3.62/4.17 c bounds 1044 >= -737 @ 1.37103
3.62/4.17 c bounds 1044 >= -736 @ 1.3717
3.62/4.17 c bounds 1044 >= -734 @ 1.37282
3.62/4.17 c bounds 1044 >= -733 @ 1.37502
3.62/4.17 c bounds 1044 >= -732 @ 1.37622
3.62/4.17 c bounds 1044 >= -731 @ 1.37824
3.62/4.17 c bounds 1044 >= -730 @ 1.38021
3.62/4.17 c bounds 1044 >= -729 @ 1.38301
3.62/4.17 c bounds 1044 >= -728 @ 1.38531
3.62/4.17 c bounds 1044 >= -727 @ 1.388
3.62/4.17 c bounds 1044 >= -726 @ 1.39
3.62/4.17 c bounds 1044 >= -725 @ 1.39
3.62/4.17 c bounds 1044 >= -724 @ 1.39066
3.62/4.17 c bounds 1044 >= -723 @ 1.39273
3.62/4.17 c bounds 1044 >= -722 @ 1.39399
3.62/4.17 c bounds 1044 >= -721 @ 1.39884
3.62/4.17 c bounds 1044 >= -720 @ 1.39998
3.62/4.17 c bounds 1044 >= -719 @ 1.40197
3.62/4.17 c bounds 1044 >= -718 @ 1.40497
3.62/4.17 c bounds 1044 >= -717 @ 1.40604
3.62/4.17 c bounds 1044 >= -716 @ 1.40806
3.62/4.17 c bounds 1044 >= -715 @ 1.41118
3.62/4.17 c bounds 1044 >= -714 @ 1.41295
3.62/4.17 c bounds 1044 >= -713 @ 1.41395
3.62/4.17 c bounds 1044 >= -712 @ 1.41595
3.62/4.17 c bounds 1044 >= -711 @ 1.41782
3.62/4.17 c bounds 1043 >= -711 @ 1.43874
3.62/4.17 c bounds 1043 >= -710 @ 1.44068
3.62/4.17 c bounds 1043 >= -709 @ 1.44288
3.62/4.17 c bounds 1043 >= -708 @ 1.44487
3.62/4.17 c bounds 1043 >= -707 @ 1.44587
3.62/4.17 c bounds 1043 >= -706 @ 1.44887
3.62/4.17 c bounds 1043 >= -705 @ 1.45194
3.62/4.17 c bounds 1043 >= -704 @ 1.45406
3.62/4.17 c bounds 1043 >= -703 @ 1.45701
3.62/4.17 c bounds 1043 >= -702 @ 1.45884
3.62/4.17 c bounds 1043 >= -701 @ 1.46111
3.62/4.17 c bounds 1043 >= -700 @ 1.46284
3.62/4.17 c bounds 1043 >= -699 @ 1.46483
3.62/4.17 c bounds 1043 >= -698 @ 1.46756
3.62/4.17 c bounds 1043 >= -697 @ 1.46883
3.62/4.17 c bounds 1043 >= -696 @ 1.47182
3.62/4.17 c bounds 1043 >= -695 @ 1.47361
3.62/4.17 c bounds 1043 >= -694 @ 1.47481
3.62/4.17 c bounds 1043 >= -693 @ 1.47581
3.62/4.17 c bounds 1043 >= -692 @ 1.47781
3.62/4.17 c bounds 1043 >= -691 @ 1.47981
3.62/4.17 c bounds 1043 >= -690 @ 1.4819
3.62/4.17 c bounds 1043 >= -689 @ 1.48288
3.62/4.17 c bounds 1043 >= -688 @ 1.485
3.62/4.17 c bounds 1043 >= -687 @ 1.48599
3.62/4.17 c bounds 1043 >= -686 @ 1.48899
3.62/4.17 c bounds 1043 >= -685 @ 1.49278
3.62/4.17 c bounds 1043 >= -684 @ 1.49378
3.62/4.17 c bounds 1043 >= -681 @ 1.49603
3.62/4.17 c bounds 1043 >= -680 @ 1.49777
3.62/4.17 c bounds 1043 >= -678 @ 1.49917
3.62/4.17 c bounds 1043 >= -677 @ 1.50077
3.62/4.17 c bounds 1043 >= -676 @ 1.50347
3.62/4.17 c bounds 1043 >= -675 @ 1.50561
3.62/4.17 c bounds 1043 >= -674 @ 1.50676
3.62/4.17 c bounds 1043 >= -673 @ 1.50775
3.62/4.17 c bounds 1043 >= -672 @ 1.51075
3.62/4.17 c bounds 1043 >= -671 @ 1.51188
3.62/4.17 c bounds 1043 >= -669 @ 1.51394
3.62/4.17 c bounds 1043 >= -668 @ 1.51591
3.62/4.17 c bounds 1043 >= -667 @ 1.51895
3.62/4.17 c bounds 1043 >= -666 @ 1.51973
3.62/4.17 c bounds 1043 >= -665 @ 1.52073
3.62/4.17 c bounds 1043 >= -663 @ 1.52173
3.62/4.17 c bounds 1043 >= -662 @ 1.52372
3.62/4.17 c bounds 1043 >= -661 @ 1.52509
3.62/4.17 c bounds 1043 >= -660 @ 1.5271
3.62/4.17 c bounds 1043 >= -659 @ 1.52811
3.62/4.17 c bounds 1043 >= -658 @ 1.52971
3.62/4.17 c bounds 1043 >= -657 @ 1.53118
3.62/4.17 c bounds 1043 >= -656 @ 1.5342
3.62/4.17 c bounds 1043 >= -655 @ 1.5367
3.62/4.17 c bounds 1043 >= -652 @ 1.53843
3.62/4.17 c bounds 1043 >= -651 @ 1.53969
3.62/4.17 c bounds 1043 >= -650 @ 1.54278
3.62/4.17 c bounds 1043 >= -649 @ 1.54495
3.62/4.17 c bounds 1043 >= -648 @ 1.54668
3.62/4.17 c bounds 1043 >= -647 @ 1.54768
3.62/4.17 c bounds 1043 >= -646 @ 1.54868
3.62/4.17 c bounds 1043 >= -644 @ 1.54967
3.62/4.17 c bounds 1043 >= -642 @ 1.55013
3.62/4.17 c bounds 1043 >= -641 @ 1.55167
3.62/4.17 c bounds 1043 >= -640 @ 1.55167
3.62/4.17 c bounds 1043 >= -639 @ 1.55167
3.62/4.17 c bounds 1043 >= -638 @ 1.55337
3.62/4.17 c bounds 1043 >= -637 @ 1.55435
3.62/4.17 c bounds 1043 >= -636 @ 1.55567
3.62/4.17 c bounds 1043 >= -635 @ 1.55666
3.62/4.17 c bounds 1043 >= -634 @ 1.55948
3.62/4.17 c bounds 1043 >= -633 @ 1.56066
3.62/4.17 c bounds 1043 >= -632 @ 1.56165
3.62/4.17 c bounds 1043 >= -631 @ 1.56274
3.62/4.17 c bounds 1043 >= -630 @ 1.56365
3.62/4.17 c bounds 1043 >= -628 @ 1.56465
3.62/4.17 c bounds 1043 >= -627 @ 1.56565
3.62/4.17 c bounds 1043 >= -626 @ 1.56665
3.62/4.17 c bounds 1043 >= -625 @ 1.56864
3.62/4.17 c bounds 1043 >= -624 @ 1.57064
3.62/4.17 c bounds 1043 >= -623 @ 1.57358
3.62/4.17 c bounds 1043 >= -622 @ 1.57463
3.62/4.17 c bounds 1043 >= -620 @ 1.57563
3.62/4.17 c bounds 1043 >= -619 @ 1.57858
3.62/4.17 c bounds 1043 >= -618 @ 1.58162
3.62/4.17 c bounds 1043 >= -617 @ 1.5827
3.62/4.17 c bounds 1043 >= -616 @ 1.58362
3.62/4.17 c bounds 1043 >= -615 @ 1.58563
3.62/4.17 c bounds 1043 >= -614 @ 1.58771
4.31/4.85 c bounds 1043 >= -613 @ 1.5908
4.31/4.85 c bounds 1043 >= -612 @ 1.59374
4.31/4.85 c bounds 1043 >= -611 @ 1.59581
4.31/4.85 c bounds 1043 >= -610 @ 1.59679
4.31/4.85 c bounds 1043 >= -609 @ 1.59859
4.31/4.85 c bounds 1043 >= -608 @ 1.59959
4.31/4.85 c bounds 1042 >= -608 @ 1.62601
4.31/4.85 c bounds 1042 >= -607 @ 1.62651
4.31/4.85 c bounds 1042 >= -606 @ 1.62651
4.31/4.85 c bounds 1042 >= -605 @ 1.6275
4.31/4.85 c bounds 1042 >= -602 @ 1.62919
4.31/4.85 c bounds 1042 >= -601 @ 1.6305
4.31/4.85 c bounds 1042 >= -600 @ 1.6315
4.31/4.85 c bounds 1042 >= -599 @ 1.63432
4.31/4.85 c bounds 1042 >= -598 @ 1.63649
4.31/4.85 c bounds 1042 >= -597 @ 1.64038
4.31/4.85 c bounds 1042 >= -596 @ 1.64148
4.31/4.85 c bounds 1042 >= -595 @ 1.64368
4.31/4.85 c bounds 1042 >= -594 @ 1.64582
4.31/4.85 c bounds 1042 >= -593 @ 1.64846
4.31/4.85 c bounds 1042 >= -592 @ 1.65145
4.31/4.85 c bounds 1042 >= -591 @ 1.65207
4.31/4.85 c bounds 1042 >= -590 @ 1.65245
4.31/4.85 c bounds 1042 >= -589 @ 1.65445
4.31/4.85 c bounds 1042 >= -588 @ 1.65723
4.31/4.85 c bounds 1042 >= -587 @ 1.65844
4.31/4.85 c bounds 1042 >= -586 @ 1.66057
4.31/4.85 c bounds 1042 >= -585 @ 1.66171
4.31/4.85 c bounds 1042 >= -584 @ 1.66282
4.31/4.85 c bounds 1042 >= -583 @ 1.66542
4.31/4.85 c bounds 1042 >= -582 @ 1.66642
4.31/4.85 c bounds 1042 >= -581 @ 1.66813
4.31/4.86 c bounds 1042 >= -580 @ 1.66941
4.31/4.86 c bounds 1042 >= -579 @ 1.67265
4.31/4.86 c bounds 1042 >= -578 @ 1.6744
4.31/4.86 c bounds 1042 >= -577 @ 1.6764
4.31/4.86 c bounds 1042 >= -576 @ 1.6764
4.31/4.86 c bounds 1042 >= -575 @ 1.67869
4.31/4.86 c bounds 1042 >= -574 @ 1.68039
4.31/4.86 c bounds 1042 >= -573 @ 1.68238
4.31/4.86 c bounds 1042 >= -572 @ 1.68349
4.31/4.86 c bounds 1042 >= -571 @ 1.68559
4.31/4.86 c bounds 1042 >= -570 @ 1.68875
4.31/4.86 c bounds 1042 >= -569 @ 1.68995
4.31/4.86 c bounds 1042 >= -568 @ 1.69136
4.31/4.86 c bounds 1042 >= -567 @ 1.69272
4.31/4.86 c bounds 1042 >= -566 @ 1.69435
4.31/4.86 c bounds 1042 >= -565 @ 1.69535
4.31/4.86 c bounds 1042 >= -564 @ 1.69535
4.31/4.86 c bounds 1042 >= -563 @ 1.69794
4.31/4.86 c bounds 1042 >= -562 @ 1.70099
4.31/4.86 c bounds 1042 >= -561 @ 1.70134
4.31/4.86 c bounds 1042 >= -560 @ 1.70609
4.31/4.86 c bounds 1042 >= -559 @ 1.70827
4.31/4.86 c bounds 1042 >= -558 @ 1.71042
4.31/4.86 c bounds 1042 >= -557 @ 1.71254
4.31/4.86 c bounds 1042 >= -556 @ 1.71531
4.31/4.86 c bounds 1042 >= -555 @ 1.71531
4.31/4.86 c bounds 1042 >= -554 @ 1.71838
4.31/4.86 c bounds 1042 >= -553 @ 1.7206
4.31/4.86 c bounds 1042 >= -552 @ 1.72129
4.31/4.86 c bounds 1042 >= -551 @ 1.72329
4.31/4.86 c bounds 1042 >= -550 @ 1.72329
4.31/4.86 c bounds 1042 >= -549 @ 1.72484
4.31/4.86 c bounds 1042 >= -548 @ 1.72895
4.31/4.86 c bounds 1042 >= -547 @ 1.72999
4.31/4.86 c bounds 1042 >= -545 @ 1.73127
4.31/4.86 c bounds 1042 >= -544 @ 1.73326
4.31/4.86 c bounds 1042 >= -540 @ 1.73511
4.31/4.86 c bounds 1042 >= -538 @ 1.73726
4.31/4.86 c bounds 1042 >= -536 @ 1.73827
4.31/4.86 c bounds 1042 >= -534 @ 1.74126
4.31/4.86 c bounds 1042 >= -531 @ 1.74433
4.31/4.86 c bounds 1042 >= -529 @ 1.74645
4.31/4.86 c bounds 1042 >= -527 @ 1.74844
4.31/4.86 c bounds 1042 >= -519 @ 1.74951
4.31/4.86 c bounds 1042 >= -517 @ 1.75067
4.31/4.86 c bounds 1042 >= -516 @ 1.75389
4.31/4.86 c bounds 1042 >= -507 @ 1.75621
4.31/4.86 c bounds 1042 >= -506 @ 1.75744
4.31/4.86 c bounds 1042 >= -502 @ 1.75848
4.31/4.86 c bounds 1042 >= -501 @ 1.76051
4.31/4.86 c bounds 1042 >= -493 @ 1.7622
4.31/4.86 c bounds 1042 >= -485 @ 1.76505
4.31/4.86 c bounds 1042 >= -479 @ 1.76719
4.31/4.86 c bounds 1042 >= -468 @ 1.76918
4.31/4.86 c bounds 1042 >= -464 @ 1.77226
4.31/4.86 c bounds 1042 >= -461 @ 1.77528
4.31/4.86 c bounds 1042 >= -456 @ 1.77637
4.31/4.86 c bounds 1042 >= -453 @ 1.77737
4.31/4.86 c bounds 1042 >= -449 @ 1.7784
4.31/4.86 c bounds 1042 >= -446 @ 1.77955
4.31/4.86 c bounds 1042 >= -443 @ 1.78215
4.31/4.86 c bounds 1042 >= -439 @ 1.78464
4.31/4.86 c bounds 1042 >= -437 @ 1.78515
4.31/4.86 c bounds 1042 >= -432 @ 1.78581
4.31/4.86 c bounds 1042 >= -429 @ 1.78714
4.31/4.86 c bounds 1042 >= -423 @ 1.78922
4.31/4.86 c bounds 1042 >= -419 @ 1.79134
4.31/4.86 c bounds 1042 >= -415 @ 1.79234
4.31/4.86 c bounds 1042 >= -412 @ 1.79435
4.31/4.86 c bounds 1042 >= -408 @ 1.79635
4.31/4.86 c bounds 1042 >= -404 @ 1.79737
4.31/4.86 c bounds 1042 >= -399 @ 1.7994
4.31/4.86 c bounds 1042 >= -394 @ 1.80442
4.31/4.86 c bounds 1042 >= -390 @ 1.80611
4.31/4.86 c bounds 1042 >= -380 @ 1.8071
4.31/4.86 c bounds 1042 >= -376 @ 1.8071
4.31/4.86 c bounds 1042 >= -374 @ 1.8071
4.31/4.86 c bounds 1042 >= -373 @ 1.8081
4.31/4.86 c bounds 1042 >= -370 @ 1.8101
4.31/4.86 c bounds 1042 >= -367 @ 1.8111
4.31/4.86 c bounds 1042 >= -364 @ 1.8121
4.31/4.86 c bounds 1042 >= -359 @ 1.8121
4.31/4.86 c bounds 1042 >= -358 @ 1.8131
4.31/4.86 c bounds 1042 >= -349 @ 1.81409
4.31/4.86 c bounds 1042 >= -344 @ 1.81509
4.31/4.86 c bounds 1042 >= -342 @ 1.81806
4.31/4.86 c bounds 1042 >= -340 @ 1.81908
4.31/4.86 c bounds 1042 >= -336 @ 1.82016
4.31/4.86 c bounds 1042 >= -333 @ 1.82118
4.31/4.86 c bounds 1042 >= -331 @ 1.82428
4.31/4.86 c bounds 1042 >= -328 @ 1.82827
4.31/4.86 c bounds 1042 >= -327 @ 1.82929
4.31/4.86 c bounds 1042 >= -320 @ 1.83229
4.31/4.86 c bounds 1042 >= -316 @ 1.83535
4.31/4.86 c bounds 1042 >= -311 @ 1.83933
4.31/4.86 c bounds 1042 >= -308 @ 1.84104
5.11/5.60 c bounds 1042 >= -303 @ 1.84204
5.11/5.60 c bounds 1042 >= -296 @ 1.84403
5.11/5.60 c bounds 1042 >= -291 @ 1.84503
5.11/5.60 c bounds 1042 >= -287 @ 1.84603
5.11/5.60 c bounds 1042 >= -281 @ 1.84603
5.11/5.60 c bounds 1042 >= -273 @ 1.84603
5.11/5.60 c bounds 1042 >= -266 @ 1.84778
5.11/5.60 c bounds 1042 >= -256 @ 1.85002
5.11/5.60 c bounds 1042 >= -254 @ 1.85224
5.11/5.60 c bounds 1042 >= -249 @ 1.85401
5.11/5.60 c bounds 1042 >= -247 @ 1.85601
5.11/5.60 c bounds 1042 >= -245 @ 1.85601
5.11/5.60 c bounds 1042 >= -244 @ 1.85737
5.11/5.60 c bounds 1042 >= -236 @ 1.858
5.11/5.60 c bounds 1042 >= -233 @ 1.859
5.11/5.60 c bounds 1042 >= -227 @ 1.859
5.11/5.60 c bounds 1042 >= -219 @ 1.86
5.11/5.60 c bounds 1042 >= -214 @ 1.86178
5.11/5.60 c bounds 1042 >= -211 @ 1.86299
5.11/5.60 c bounds 1042 >= -206 @ 1.86399
5.11/5.60 c bounds 1042 >= -203 @ 1.86499
5.11/5.60 c bounds 1042 >= -194 @ 1.8672
5.11/5.60 c bounds 1042 >= -187 @ 1.86922
5.11/5.60 c bounds 1042 >= -186 @ 1.87118
5.11/5.60 c bounds 1042 >= -183 @ 1.87397
5.11/5.60 c bounds 1042 >= -182 @ 1.87596
5.11/5.60 c bounds 1042 >= -181 @ 1.87796
5.11/5.60 c bounds 1042 >= -171 @ 1.87996
5.11/5.60 c bounds 1042 >= -164 @ 1.88095
5.11/5.60 c bounds 1042 >= -160 @ 1.88195
5.11/5.60 c bounds 1041 >= -160 @ 1.93875
5.11/5.60 c bounds 1041 >= -153 @ 1.94007
5.11/5.60 c bounds 1041 >= -146 @ 1.94378
5.11/5.60 c bounds 1041 >= -138 @ 1.94478
5.11/5.60 c bounds 1041 >= -130 @ 1.94542
5.11/5.60 c bounds 1041 >= -123 @ 1.94677
5.11/5.60 c bounds 1041 >= -116 @ 1.94986
5.11/5.60 c bounds 1041 >= -108 @ 1.95076
5.11/5.60 c bounds 1041 >= -103 @ 1.95276
5.11/5.60 c bounds 1041 >= -99 @ 1.95276
5.11/5.60 c bounds 1041 >= -95 @ 1.95484
5.11/5.60 c bounds 1041 >= -90 @ 1.95702
5.11/5.60 c bounds 1041 >= -86 @ 1.95874
5.11/5.60 c bounds 1041 >= -78 @ 1.95974
5.11/5.60 c bounds 1041 >= -74 @ 1.96074
5.11/5.60 c bounds 1041 >= -67 @ 1.96463
5.11/5.60 c bounds 1041 >= -60 @ 1.96577
5.11/5.60 c bounds 1041 >= -56 @ 1.96696
5.11/5.60 c bounds 1041 >= -52 @ 1.96872
5.11/5.60 c bounds 1041 >= -44 @ 1.96972
5.11/5.60 c bounds 1041 >= -40 @ 1.97072
5.11/5.60 c bounds 1041 >= -36 @ 1.97172
5.11/5.60 c bounds 1041 >= -32 @ 1.97271
5.11/5.60 c bounds 1041 >= -30 @ 1.97373
5.11/5.60 c bounds 1041 >= -23 @ 1.97471
5.11/5.60 c bounds 1041 >= -19 @ 1.97471
5.11/5.60 c bounds 1041 >= -16 @ 1.97686
5.11/5.60 c bounds 1041 >= -11 @ 1.98018
5.11/5.60 c bounds 1041 >= -6 @ 1.98245
5.11/5.60 c bounds 1041 >= -3 @ 1.98468
5.11/5.60 c bounds 1041 >= 2 @ 1.98764
5.11/5.60 c bounds 1041 >= 4 @ 1.98977
5.11/5.60 c bounds 1041 >= 10 @ 1.99189
5.11/5.60 c bounds 1041 >= 12 @ 1.99314
5.11/5.60 c bounds 1041 >= 15 @ 1.99366
5.11/5.60 c bounds 1041 >= 18 @ 1.99547
5.11/5.60 c bounds 1041 >= 19 @ 1.99765
5.11/5.60 c bounds 1041 >= 26 @ 1.99986
5.11/5.60 c bounds 1041 >= 32 @ 2.00202
5.11/5.60 c bounds 1041 >= 40 @ 2.00464
5.11/5.60 c bounds 1041 >= 48 @ 2.00563
5.11/5.60 c bounds 1041 >= 52 @ 2.00765
5.11/5.60 c bounds 1041 >= 57 @ 2.00885
5.11/5.60 c bounds 1041 >= 58 @ 2.01003
5.11/5.60 c bounds 1041 >= 66 @ 2.01123
5.11/5.60 c bounds 1041 >= 68 @ 2.01262
5.11/5.60 c bounds 1041 >= 76 @ 2.01451
5.11/5.60 c bounds 1041 >= 84 @ 2.01661
5.11/5.60 c bounds 1041 >= 88 @ 2.01761
5.11/5.60 c bounds 1041 >= 92 @ 2.0186
5.11/5.60 c bounds 1041 >= 96 @ 2.02021
5.11/5.60 c bounds 1041 >= 100 @ 2.0206
5.11/5.60 c bounds 1041 >= 108 @ 2.02249
5.11/5.60 c bounds 1041 >= 112 @ 2.02658
5.11/5.60 c bounds 1041 >= 120 @ 2.02881
5.11/5.60 c bounds 1041 >= 124 @ 2.03185
5.11/5.60 c bounds 1041 >= 132 @ 2.03495
5.11/5.60 c bounds 1041 >= 137 @ 2.03557
5.11/5.60 c bounds 1041 >= 145 @ 2.03727
5.11/5.60 c bounds 1041 >= 149 @ 2.03836
5.11/5.60 c bounds 1041 >= 156 @ 2.04148
5.11/5.60 c bounds 1041 >= 159 @ 2.04278
5.11/5.60 c bounds 1041 >= 162 @ 2.04586
5.11/5.60 c bounds 1041 >= 163 @ 2.04754
5.11/5.60 c bounds 1041 >= 166 @ 2.05138
5.11/5.60 c bounds 1041 >= 170 @ 2.05253
5.11/5.60 c bounds 1041 >= 178 @ 2.05374
5.11/5.60 c bounds 1041 >= 186 @ 2.05487
5.11/5.60 c bounds 1041 >= 188 @ 2.05751
5.11/5.60 c bounds 1041 >= 189 @ 2.05915
5.11/5.60 c bounds 1041 >= 194 @ 2.0613
5.11/5.60 c bounds 1041 >= 199 @ 2.0625
5.11/5.60 c bounds 1041 >= 203 @ 2.06372
5.11/5.60 c bounds 1041 >= 208 @ 2.06476
5.11/5.60 c bounds 1041 >= 215 @ 2.0655
5.11/5.60 c bounds 1041 >= 219 @ 2.06699
5.11/5.60 c bounds 1041 >= 227 @ 2.06849
5.11/5.60 c bounds 1041 >= 229 @ 2.07049
5.11/5.60 c bounds 1041 >= 233 @ 2.07248
5.11/5.60 c bounds 1041 >= 234 @ 2.0737
5.11/5.60 c bounds 1041 >= 241 @ 2.07547
5.11/5.60 c bounds 1041 >= 244 @ 2.07747
5.11/5.60 c bounds 1041 >= 252 @ 2.07817
5.11/5.60 c bounds 1041 >= 256 @ 2.08139
5.11/5.60 c bounds 1041 >= 264 @ 2.08345
5.11/5.60 c bounds 1041 >= 268 @ 2.08545
5.11/5.60 c bounds 1041 >= 272 @ 2.08867
5.11/5.60 c bounds 1041 >= 277 @ 2.08967
5.11/5.60 c bounds 1041 >= 285 @ 2.09177
5.11/5.60 c bounds 1041 >= 293 @ 2.09443
5.11/5.60 c bounds 1041 >= 301 @ 2.09543
5.11/5.60 c bounds 1041 >= 304 @ 2.09543
5.11/5.60 c bounds 1041 >= 313 @ 2.09543
5.11/5.60 c bounds 1041 >= 321 @ 2.09643
5.11/5.60 c bounds 1041 >= 325 @ 2.09742
5.11/5.60 c bounds 1041 >= 330 @ 2.10042
5.11/5.60 c bounds 1041 >= 335 @ 2.10141
5.11/5.60 c bounds 1041 >= 338 @ 2.10341
5.11/5.60 c bounds 1041 >= 346 @ 2.10441
5.11/5.60 c bounds 1041 >= 354 @ 2.10541
5.11/5.60 c bounds 1041 >= 362 @ 2.10733
5.11/5.60 c bounds 1041 >= 363 @ 2.1084
5.81/6.37 c bounds 1041 >= 364 @ 2.11163
5.81/6.37 c bounds 1041 >= 365 @ 2.11339
5.81/6.37 c bounds 1041 >= 366 @ 2.11339
5.81/6.37 c bounds 1041 >= 367 @ 2.11439
5.81/6.37 c bounds 1041 >= 368 @ 2.11539
5.81/6.37 c bounds 1041 >= 369 @ 2.11738
5.81/6.37 c bounds 1041 >= 370 @ 2.11858
5.81/6.37 c bounds 1041 >= 372 @ 2.12058
5.81/6.37 c bounds 1041 >= 373 @ 2.12557
5.81/6.37 c bounds 1041 >= 374 @ 2.12736
5.81/6.37 c bounds 1041 >= 375 @ 2.12969
5.81/6.37 c bounds 1041 >= 376 @ 2.13135
5.81/6.37 c bounds 1041 >= 377 @ 2.13335
5.81/6.37 c bounds 1041 >= 378 @ 2.13335
5.81/6.37 c bounds 1041 >= 379 @ 2.13435
5.81/6.37 c bounds 1041 >= 380 @ 2.13534
5.81/6.37 c bounds 1041 >= 381 @ 2.13734
5.81/6.37 c bounds 1041 >= 382 @ 2.14033
5.81/6.37 c bounds 1041 >= 383 @ 2.14133
5.81/6.37 c bounds 1041 >= 387 @ 2.14332
5.81/6.37 c bounds 1041 >= 393 @ 2.1454
5.81/6.37 c bounds 1041 >= 396 @ 2.14746
5.81/6.37 c bounds 1041 >= 397 @ 2.15055
5.81/6.37 c bounds 1041 >= 403 @ 2.15462
5.81/6.37 c bounds 1041 >= 405 @ 2.15765
5.81/6.37 c bounds 1041 >= 411 @ 2.15973
5.81/6.37 c bounds 1041 >= 412 @ 2.16128
5.81/6.37 c bounds 1041 >= 414 @ 2.16281
5.81/6.37 c bounds 1041 >= 417 @ 2.16328
5.81/6.37 c bounds 1041 >= 424 @ 2.16427
5.81/6.37 c bounds 1041 >= 427 @ 2.16527
5.81/6.37 c bounds 1041 >= 433 @ 2.16527
5.81/6.37 c bounds 1041 >= 439 @ 2.16627
5.81/6.37 c bounds 1041 >= 445 @ 2.16921
5.81/6.37 c bounds 1041 >= 451 @ 2.17026
5.81/6.37 c bounds 1041 >= 453 @ 2.17347
5.81/6.37 c bounds 1041 >= 454 @ 2.17446
5.81/6.37 c bounds 1041 >= 456 @ 2.17548
5.81/6.37 c bounds 1041 >= 457 @ 2.17824
5.81/6.37 c bounds 1041 >= 459 @ 2.18024
5.81/6.37 c bounds 1041 >= 461 @ 2.18124
5.81/6.37 c bounds 1041 >= 465 @ 2.18224
5.81/6.37 c bounds 1041 >= 467 @ 2.18512
5.81/6.37 c bounds 1041 >= 471 @ 2.18623
5.81/6.37 c bounds 1041 >= 473 @ 2.1873
5.81/6.37 c bounds 1041 >= 479 @ 2.19045
5.81/6.37 c bounds 1041 >= 480 @ 2.19436
5.81/6.37 c bounds 1041 >= 486 @ 2.19563
5.81/6.37 c bounds 1041 >= 488 @ 2.1982
5.81/6.37 c bounds 1041 >= 490 @ 2.19965
5.81/6.37 c bounds 1041 >= 496 @ 2.20282
5.81/6.37 c bounds 1041 >= 499 @ 2.20319
5.81/6.37 c bounds 1041 >= 500 @ 2.20486
5.81/6.37 c bounds 1041 >= 501 @ 2.20651
5.81/6.37 c bounds 1041 >= 505 @ 2.20715
5.81/6.37 c bounds 1041 >= 507 @ 2.20812
5.81/6.37 c bounds 1041 >= 513 @ 2.21111
5.81/6.37 c bounds 1041 >= 519 @ 2.21111
5.81/6.37 c bounds 1041 >= 521 @ 2.21338
5.81/6.37 c bounds 1041 >= 524 @ 2.21463
5.81/6.37 c bounds 1041 >= 525 @ 2.21689
5.81/6.37 c bounds 1041 >= 526 @ 2.21919
5.81/6.37 c bounds 1041 >= 528 @ 2.22042
5.81/6.37 c bounds 1041 >= 529 @ 2.22208
5.81/6.37 c bounds 1041 >= 530 @ 2.22208
5.81/6.37 c bounds 1041 >= 535 @ 2.22208
5.81/6.37 c bounds 1041 >= 541 @ 2.22419
5.81/6.37 c bounds 1041 >= 547 @ 2.22657
5.81/6.37 c bounds 1041 >= 552 @ 2.22706
5.81/6.37 c bounds 1041 >= 558 @ 2.22815
5.81/6.37 c bounds 1041 >= 563 @ 2.22906
5.81/6.37 c bounds 1041 >= 565 @ 2.23169
5.81/6.37 c bounds 1041 >= 570 @ 2.23507
5.81/6.37 c bounds 1041 >= 571 @ 2.2383
5.81/6.37 c bounds 1041 >= 574 @ 2.23946
5.81/6.37 c bounds 1041 >= 577 @ 2.24
5.81/6.37 c bounds 1041 >= 580 @ 2.24193
5.81/6.37 c bounds 1041 >= 583 @ 2.24628
5.81/6.37 c bounds 1041 >= 584 @ 2.24954
5.81/6.37 c bounds 1041 >= 585 @ 2.2518
5.81/6.37 c bounds 1041 >= 586 @ 2.25424
5.81/6.37 c bounds 1041 >= 587 @ 2.25593
5.81/6.37 c bounds 1041 >= 588 @ 2.25793
5.81/6.37 c bounds 1041 >= 590 @ 2.25992
5.81/6.37 c bounds 1041 >= 591 @ 2.26091
5.81/6.37 c bounds 1041 >= 592 @ 2.26392
5.81/6.37 c bounds 1041 >= 593 @ 2.26627
5.81/6.37 c bounds 1041 >= 594 @ 2.26868
5.81/6.37 c bounds 1041 >= 595 @ 2.2722
5.81/6.37 c bounds 1041 >= 596 @ 2.27389
5.81/6.37 c bounds 1041 >= 597 @ 2.27687
5.81/6.37 c bounds 1041 >= 598 @ 2.27733
5.81/6.37 c bounds 1041 >= 599 @ 2.27817
5.81/6.37 c bounds 1041 >= 600 @ 2.28086
5.81/6.37 c bounds 1041 >= 601 @ 2.28286
5.81/6.37 c bounds 1041 >= 602 @ 2.28319
5.81/6.37 c bounds 1041 >= 603 @ 2.28414
5.81/6.37 c bounds 1041 >= 604 @ 2.28685
5.81/6.37 c bounds 1041 >= 605 @ 2.28785
5.81/6.37 c bounds 1041 >= 606 @ 2.29019
5.81/6.37 c bounds 1041 >= 607 @ 2.29216
5.81/6.37 c bounds 1041 >= 608 @ 2.29383
5.81/6.37 c bounds 1041 >= 609 @ 2.29557
5.81/6.37 c bounds 1041 >= 610 @ 2.29611
5.81/6.37 c bounds 1041 >= 611 @ 2.29814
5.81/6.37 c bounds 1041 >= 612 @ 2.30062
5.81/6.37 c bounds 1041 >= 613 @ 2.30281
5.81/6.37 c bounds 1041 >= 614 @ 2.30481
5.81/6.37 c bounds 1041 >= 615 @ 2.30612
5.81/6.37 c bounds 1041 >= 616 @ 2.31028
5.81/6.37 c bounds 1041 >= 617 @ 2.31306
5.81/6.37 c bounds 1041 >= 618 @ 2.31678
5.81/6.37 c bounds 1041 >= 619 @ 2.31994
5.81/6.37 c bounds 1041 >= 620 @ 2.32217
5.81/6.37 c bounds 1041 >= 621 @ 2.32376
5.81/6.37 c bounds 1041 >= 622 @ 2.32576
5.81/6.37 c bounds 1041 >= 623 @ 2.32974
5.81/6.37 c bounds 1041 >= 624 @ 2.33101
5.81/6.37 c bounds 1041 >= 625 @ 2.3338
5.81/6.37 c bounds 1041 >= 626 @ 2.33673
5.81/6.37 c bounds 1041 >= 627 @ 2.33832
5.81/6.37 c bounds 1041 >= 628 @ 2.34005
5.81/6.37 c bounds 1041 >= 629 @ 2.34419
5.81/6.37 c bounds 1041 >= 630 @ 2.34967
5.81/6.37 c bounds 1041 >= 631 @ 2.35169
5.81/6.37 c bounds 1041 >= 632 @ 2.35468
5.81/6.37 c bounds 1041 >= 633 @ 2.35498
5.81/6.37 c bounds 1041 >= 634 @ 2.35941
5.81/6.37 c bounds 1041 >= 635 @ 2.36189
5.81/6.37 c bounds 1041 >= 636 @ 2.36303
5.81/6.37 c bounds 1041 >= 637 @ 2.36646
5.81/6.37 c bounds 1041 >= 638 @ 2.37179
5.81/6.37 c bounds 1041 >= 639 @ 2.37363
8.10/8.67 c bounds 1041 >= 640 @ 2.37786
8.10/8.67 c bounds 1041 >= 641 @ 2.3816
8.10/8.67 c bounds 1041 >= 642 @ 2.38598
8.10/8.67 c bounds 1041 >= 643 @ 2.38964
8.10/8.67 c bounds 1041 >= 644 @ 2.39354
8.10/8.67 c bounds 1041 >= 645 @ 2.39656
8.10/8.67 c bounds 1041 >= 646 @ 2.39856
8.10/8.67 c bounds 1041 >= 647 @ 2.40184
8.10/8.67 c bounds 1041 >= 648 @ 2.40539
8.10/8.67 c bounds 1041 >= 649 @ 2.41035
8.10/8.67 c bounds 1041 >= 650 @ 2.41485
8.10/8.67 c bounds 1040 >= 650 @ 2.72132
8.10/8.67 c bounds 1040 >= 651 @ 2.72494
8.10/8.67 c bounds 1040 >= 652 @ 2.72693
8.10/8.67 c bounds 1040 >= 653 @ 2.72853
8.10/8.67 c bounds 1040 >= 654 @ 2.73165
8.10/8.67 c bounds 1040 >= 655 @ 2.73384
8.10/8.67 c bounds 1040 >= 656 @ 2.73794
8.10/8.67 c bounds 1040 >= 657 @ 2.7395
8.10/8.67 c bounds 1040 >= 658 @ 2.74145
8.10/8.67 c bounds 1040 >= 659 @ 2.74648
8.10/8.67 c bounds 1040 >= 660 @ 2.75068
8.10/8.67 c bounds 1040 >= 661 @ 2.75383
8.10/8.67 c bounds 1040 >= 662 @ 2.75546
8.10/8.67 c bounds 1040 >= 663 @ 2.75887
8.10/8.67 c bounds 1040 >= 664 @ 2.76084
8.10/8.67 c bounds 1040 >= 665 @ 2.76145
8.10/8.67 c bounds 1040 >= 666 @ 2.76444
8.10/8.67 c bounds 1040 >= 667 @ 2.76617
8.10/8.67 c bounds 1040 >= 668 @ 2.76886
8.10/8.67 c bounds 1040 >= 669 @ 2.77284
8.10/8.67 c bounds 1040 >= 670 @ 2.77475
8.10/8.67 c bounds 1040 >= 671 @ 2.77956
8.10/8.67 c bounds 1040 >= 672 @ 2.78139
8.10/8.67 c bounds 1040 >= 673 @ 2.78339
8.10/8.67 c bounds 1040 >= 674 @ 2.78538
8.10/8.67 c bounds 1040 >= 675 @ 2.78838
8.10/8.67 c bounds 1040 >= 676 @ 2.79093
8.10/8.67 c bounds 1040 >= 677 @ 2.79373
8.10/8.67 c bounds 1040 >= 678 @ 2.79735
8.10/8.67 c bounds 1040 >= 679 @ 2.79934
8.10/8.67 c bounds 1040 >= 680 @ 2.80333
8.10/8.67 c bounds 1040 >= 681 @ 2.80975
8.10/8.67 c bounds 1040 >= 682 @ 2.81308
8.10/8.67 c bounds 1040 >= 683 @ 2.81684
8.10/8.67 c bounds 1040 >= 684 @ 2.8223
8.10/8.67 c bounds 1040 >= 685 @ 2.83404
8.10/8.67 c bounds 1040 >= 686 @ 2.8475
8.10/8.67 c bounds 1040 >= 687 @ 2.8554
8.10/8.67 c bounds 1040 >= 688 @ 2.86054
8.10/8.67 c bounds 1040 >= 689 @ 2.86726
8.10/8.67 c bounds 1040 >= 690 @ 2.87257
8.10/8.67 c bounds 1040 >= 691 @ 2.8767
8.10/8.67 c bounds 1040 >= 692 @ 2.88117
8.10/8.67 c bounds 1040 >= 693 @ 2.88311
8.10/8.67 c bounds 1040 >= 694 @ 2.88668
8.10/8.67 c bounds 1040 >= 695 @ 2.8874
8.10/8.67 c bounds 1040 >= 696 @ 2.92227
8.10/8.67 c bounds 1040 >= 697 @ 2.99497
8.10/8.67 c #Conflicts: 1000 | #Constraints: 14692
8.10/8.67 c bounds 1040 >= 698 @ 3.10002
8.10/8.67 c bounds 1040 >= 699 @ 3.11565
8.10/8.67 c bounds 1040 >= 700 @ 3.12478
8.10/8.67 c bounds 1040 >= 701 @ 3.13186
8.10/8.67 c bounds 1040 >= 702 @ 3.13901
8.10/8.67 c bounds 1040 >= 703 @ 3.14751
8.10/8.67 c bounds 1040 >= 704 @ 3.14928
8.10/8.67 c bounds 1040 >= 705 @ 3.1575
8.10/8.67 c bounds 1040 >= 706 @ 3.16025
8.10/8.67 c bounds 1040 >= 707 @ 3.1689
8.10/8.67 c bounds 1040 >= 708 @ 3.17621
8.10/8.67 c bounds 1040 >= 709 @ 3.17871
8.10/8.67 c bounds 1040 >= 710 @ 3.18618
8.10/8.67 c bounds 1040 >= 711 @ 3.19773
8.10/8.67 c bounds 1040 >= 712 @ 3.20066
8.10/8.67 c bounds 1040 >= 713 @ 3.21015
8.10/8.67 c bounds 1040 >= 714 @ 3.2118
8.10/8.67 c bounds 1040 >= 715 @ 3.21757
8.10/8.67 c bounds 1040 >= 716 @ 3.22047
8.10/8.67 c bounds 1040 >= 717 @ 3.22969
8.10/8.67 c bounds 1040 >= 718 @ 3.23424
8.10/8.67 c bounds 1040 >= 719 @ 3.24065
8.10/8.67 c bounds 1040 >= 720 @ 3.24416
8.10/8.67 c bounds 1040 >= 721 @ 3.25459
8.10/8.67 c bounds 1040 >= 722 @ 3.25541
8.10/8.67 c bounds 1040 >= 723 @ 3.26459
8.10/8.67 c bounds 1040 >= 724 @ 3.26741
8.10/8.67 c bounds 1040 >= 725 @ 3.27793
8.10/8.67 c bounds 1040 >= 726 @ 3.27992
8.10/8.67 c bounds 1040 >= 727 @ 3.28902
8.10/8.67 c bounds 1040 >= 728 @ 3.29849
8.10/8.67 c bounds 1040 >= 729 @ 3.30699
8.10/8.67 c bounds 1040 >= 730 @ 3.45199
8.10/8.67 c bounds 1040 >= 731 @ 3.46514
8.10/8.67 c bounds 1040 >= 732 @ 3.47333
8.10/8.67 c bounds 1040 >= 733 @ 3.64625
8.10/8.67 c bounds 1040 >= 734 @ 3.65735
8.10/8.67 c bounds 1040 >= 735 @ 3.66765
8.10/8.67 c bounds 1040 >= 736 @ 3.6756
8.10/8.67 c bounds 1040 >= 737 @ 3.68601
8.10/8.67 c bounds 1040 >= 738 @ 3.6966
8.10/8.67 c bounds 1040 >= 739 @ 3.70686
8.10/8.67 c bounds 1040 >= 740 @ 3.71753
8.10/8.67 c bounds 1040 >= 741 @ 3.72961
8.10/8.67 c bounds 1040 >= 742 @ 3.74092
8.10/8.67 c bounds 1040 >= 743 @ 3.74911
8.10/8.67 c bounds 1040 >= 744 @ 3.75831
8.10/8.67 c bounds 1040 >= 745 @ 3.76716
8.10/8.67 c bounds 1040 >= 746 @ 3.77499
8.10/8.67 c bounds 1039 >= 746 @ 3.87681
8.10/8.67 c bounds 1039 >= 747 @ 3.88204
8.10/8.67 c bounds 1039 >= 748 @ 3.88204
8.10/8.67 c bounds 1039 >= 749 @ 3.88516
8.10/8.67 c bounds 1039 >= 750 @ 3.88737
8.10/8.67 c bounds 1039 >= 751 @ 3.89161
8.10/8.67 c bounds 1039 >= 752 @ 3.89551
8.10/8.67 c bounds 1039 >= 753 @ 3.89861
8.10/8.67 c bounds 1039 >= 754 @ 3.90199
8.10/8.67 c bounds 1039 >= 755 @ 3.90498
8.10/8.67 c bounds 1039 >= 756 @ 3.90753
8.10/8.67 c bounds 1039 >= 757 @ 3.91191
8.10/8.67 c bounds 1039 >= 758 @ 3.91396
8.10/8.67 c bounds 1039 >= 759 @ 3.91533
8.10/8.67 c bounds 1039 >= 760 @ 3.91866
8.10/8.67 c bounds 1039 >= 761 @ 3.92144
8.10/8.67 c bounds 1039 >= 762 @ 3.92487
8.10/8.67 c bounds 1039 >= 763 @ 3.92835
8.10/8.67 c bounds 1039 >= 764 @ 3.93144
8.10/8.67 c bounds 1039 >= 765 @ 3.93638
8.10/8.67 c bounds 1039 >= 766 @ 3.94159
8.10/8.67 c bounds 1039 >= 767 @ 3.94483
8.10/8.67 c bounds 1039 >= 768 @ 3.95019
11.19/11.75 c bounds 1039 >= 769 @ 3.95233
11.19/11.75 c bounds 1039 >= 770 @ 3.9554
11.19/11.75 c bounds 1039 >= 771 @ 3.95811
11.19/11.75 c bounds 1039 >= 772 @ 3.96126
11.19/11.75 c bounds 1039 >= 773 @ 3.96493
11.19/11.75 c bounds 1039 >= 774 @ 3.96886
11.19/11.75 c bounds 1039 >= 775 @ 3.97136
11.19/11.75 c bounds 1039 >= 776 @ 3.976
11.19/11.75 c bounds 1039 >= 777 @ 3.98101
11.19/11.75 c bounds 1039 >= 778 @ 3.98513
11.19/11.75 c bounds 1039 >= 779 @ 3.98861
11.19/11.75 c bounds 1039 >= 780 @ 3.99235
11.19/11.75 c bounds 1039 >= 781 @ 3.99465
11.19/11.75 c bounds 1039 >= 782 @ 4.00022
11.19/11.75 c bounds 1039 >= 783 @ 4.00221
11.19/11.75 c bounds 1039 >= 784 @ 4.00787
11.19/11.75 c bounds 1039 >= 785 @ 4.01022
11.19/11.75 c bounds 1039 >= 786 @ 4.01591
11.19/11.75 c bounds 1039 >= 787 @ 4.01914
11.19/11.75 c bounds 1039 >= 788 @ 4.02265
11.19/11.75 c bounds 1039 >= 789 @ 4.02576
11.19/11.75 c bounds 1039 >= 790 @ 4.03152
11.19/11.75 c bounds 1039 >= 791 @ 4.03456
11.19/11.75 c bounds 1039 >= 792 @ 4.0395
11.19/11.75 c bounds 1039 >= 793 @ 4.0436
11.19/11.75 c bounds 1039 >= 794 @ 4.04659
11.19/11.75 c bounds 1039 >= 795 @ 4.05056
11.19/11.75 c bounds 1039 >= 796 @ 4.05875
11.19/11.75 c bounds 1039 >= 797 @ 4.06104
11.19/11.75 c bounds 1039 >= 798 @ 4.06764
11.19/11.75 c bounds 1039 >= 799 @ 4.0755
11.19/11.75 c bounds 1039 >= 800 @ 4.08651
11.19/11.75 c bounds 1039 >= 801 @ 4.09253
11.19/11.75 c bounds 1039 >= 802 @ 4.0979
11.19/11.75 c bounds 1039 >= 803 @ 4.10411
11.19/11.75 c bounds 1039 >= 804 @ 4.11285
11.19/11.75 c bounds 1039 >= 805 @ 4.11597
11.19/11.75 c bounds 1039 >= 806 @ 4.17634
11.19/11.75 c bounds 1038 >= 806 @ 4.20708
11.19/11.75 c bounds 1038 >= 807 @ 4.24138
11.19/11.75 c bounds 1038 >= 808 @ 4.26237
11.19/11.75 c bounds 1037 >= 808 @ 4.29467
11.19/11.75 c bounds 1037 >= 809 @ 4.31673
11.19/11.75 c bounds 1037 >= 810 @ 4.43303
11.19/11.75 c bounds 1036 >= 810 @ 4.46738
11.19/11.75 c bounds 1035 >= 810 @ 4.49275
11.19/11.75 c bounds 1034 >= 810 @ 4.85459
11.19/11.75 c bounds 1034 >= 811 @ 4.85648
11.19/11.75 c bounds 1034 >= 812 @ 4.85871
11.19/11.75 c bounds 1034 >= 813 @ 4.86282
11.19/11.75 c bounds 1034 >= 814 @ 4.86612
11.19/11.75 c bounds 1034 >= 815 @ 4.86953
11.19/11.75 c bounds 1034 >= 816 @ 4.8728
11.19/11.75 c bounds 1034 >= 817 @ 4.87609
11.19/11.75 c bounds 1034 >= 818 @ 4.88041
11.19/11.75 c bounds 1034 >= 819 @ 4.88591
11.19/11.75 c bounds 1034 >= 820 @ 4.88863
11.19/11.75 c bounds 1034 >= 821 @ 4.89347
11.19/11.75 c bounds 1034 >= 822 @ 4.89942
11.19/11.75 c bounds 1034 >= 823 @ 4.90515
11.19/11.75 c bounds 1034 >= 824 @ 4.9087
11.19/11.75 c bounds 1034 >= 825 @ 4.91437
11.19/11.75 c bounds 1034 >= 826 @ 4.92074
11.19/11.75 c bounds 1034 >= 827 @ 4.92496
11.19/11.75 c bounds 1034 >= 828 @ 4.93197
11.19/11.75 c bounds 1034 >= 829 @ 4.9366
11.19/11.75 c bounds 1034 >= 830 @ 4.94569
11.19/11.75 c bounds 1034 >= 831 @ 4.9495
11.19/11.75 c bounds 1034 >= 832 @ 4.95957
11.19/11.75 c bounds 1034 >= 833 @ 4.96541
11.19/11.75 c bounds 1034 >= 834 @ 4.9685
11.19/11.75 c bounds 1034 >= 835 @ 4.97655
11.19/11.75 c bounds 1034 >= 836 @ 4.98591
11.19/11.75 c bounds 1034 >= 837 @ 4.99608
11.19/11.75 c bounds 1034 >= 838 @ 5.0037
11.19/11.75 c bounds 1034 >= 839 @ 5.01196
11.19/11.75 c bounds 1034 >= 840 @ 5.02313
11.19/11.75 c bounds 1034 >= 841 @ 5.04002
11.19/11.75 c bounds 1034 >= 842 @ 5.04261
11.19/11.75 c bounds 1034 >= 843 @ 5.05396
11.19/11.75 c bounds 1034 >= 844 @ 5.05869
11.19/11.75 c bounds 1034 >= 845 @ 5.07036
11.19/11.75 c bounds 1034 >= 846 @ 5.07312
11.19/11.75 c bounds 1034 >= 847 @ 5.08408
11.19/11.75 c bounds 1034 >= 848 @ 5.08613
11.19/11.75 c bounds 1034 >= 849 @ 5.09417
11.19/11.75 c bounds 1034 >= 850 @ 5.09664
11.19/11.75 c bounds 1034 >= 851 @ 5.10873
11.19/11.75 c bounds 1034 >= 852 @ 5.12221
11.19/11.75 c bounds 1034 >= 853 @ 5.13562
11.19/11.75 c bounds 1034 >= 854 @ 5.14113
11.19/11.75 c bounds 1034 >= 855 @ 5.15273
11.19/11.75 c #Conflicts: 2000 | #Constraints: 16237
11.19/11.75 c INPROCESSING
11.19/11.75 c GARBAGE COLLECT
11.19/11.75 c rational objective 910
18.67/19.28 c bounds 1034 >= 856 @ 6.53651
18.67/19.28 c bounds 1034 >= 857 @ 6.53995
18.67/19.28 c bounds 1034 >= 858 @ 6.54179
18.67/19.28 c bounds 1034 >= 859 @ 6.54665
18.67/19.28 c bounds 1034 >= 860 @ 6.54777
18.67/19.28 c bounds 1034 >= 861 @ 6.54877
18.67/19.28 c bounds 1034 >= 862 @ 6.54977
18.67/19.28 c bounds 1034 >= 863 @ 6.55127
18.67/19.28 c bounds 1034 >= 864 @ 6.55455
18.67/19.28 c bounds 1034 >= 865 @ 6.55737
18.67/19.28 c bounds 1034 >= 866 @ 6.56118
18.67/19.28 c bounds 1034 >= 867 @ 6.56468
18.67/19.28 c bounds 1034 >= 868 @ 6.56921
18.67/19.28 c bounds 1034 >= 869 @ 6.57169
18.67/19.28 c bounds 1034 >= 870 @ 6.57561
18.67/19.28 c bounds 1034 >= 871 @ 6.57832
18.67/19.28 c bounds 1034 >= 872 @ 6.582
18.67/19.28 c bounds 1034 >= 873 @ 6.5847
18.67/19.28 c bounds 1034 >= 874 @ 6.58562
18.67/19.28 c bounds 1034 >= 875 @ 6.58689
18.67/19.28 c bounds 1034 >= 876 @ 6.58861
18.67/19.28 c bounds 1034 >= 877 @ 6.592
18.67/19.28 c bounds 1034 >= 878 @ 6.5926
18.67/19.28 c bounds 1034 >= 879 @ 6.59601
18.67/19.28 c bounds 1034 >= 880 @ 6.59659
18.67/19.28 c bounds 1034 >= 881 @ 6.59995
18.67/19.28 c bounds 1034 >= 882 @ 6.60319
18.67/19.28 c bounds 1034 >= 883 @ 6.60809
18.67/19.28 c bounds 1034 >= 884 @ 6.6097
18.67/19.28 c bounds 1034 >= 885 @ 6.61195
18.67/19.28 c bounds 1034 >= 886 @ 6.61489
18.67/19.28 c bounds 1034 >= 887 @ 6.61753
18.67/19.28 c bounds 1034 >= 888 @ 6.6207
18.67/19.28 c bounds 1034 >= 889 @ 6.62287
18.67/19.28 c bounds 1034 >= 890 @ 6.62787
18.67/19.28 c bounds 1034 >= 891 @ 6.63284
18.67/19.28 c bounds 1034 >= 892 @ 6.63447
18.67/19.28 c bounds 1034 >= 893 @ 6.63702
18.67/19.28 c bounds 1034 >= 894 @ 6.63846
18.67/19.28 c bounds 1034 >= 895 @ 6.64129
18.67/19.28 c bounds 1034 >= 896 @ 6.64344
18.67/19.28 c bounds 1034 >= 897 @ 6.64642
18.67/19.28 c bounds 1034 >= 898 @ 6.64853
18.67/19.28 c bounds 1034 >= 899 @ 6.64943
18.67/19.28 c bounds 1034 >= 900 @ 6.65105
18.67/19.28 c bounds 1034 >= 901 @ 6.65216
18.67/19.28 c bounds 1034 >= 902 @ 6.65624
18.67/19.28 c bounds 1034 >= 903 @ 6.65966
18.67/19.28 c bounds 1034 >= 904 @ 6.66394
18.67/19.28 c bounds 1034 >= 905 @ 6.66638
18.67/19.28 c bounds 1034 >= 906 @ 6.66837
18.67/19.28 c bounds 1034 >= 907 @ 6.73784
18.67/19.28 c bounds 1034 >= 908 @ 6.95531
18.67/19.28 c #Conflicts: 3000 | #Constraints: 16493
18.67/19.28 c bounds 1034 >= 909 @ 7.65544
18.67/19.28 c bounds 1034 >= 910 @ 8.52972
18.67/19.28 c #Conflicts: 4000 | #Constraints: 17533
18.67/19.28 c INPROCESSING
18.67/19.28 c GARBAGE COLLECT
18.67/19.28 c bounds 1033 >= 910 @ 8.8834
18.67/19.28 c bounds 1032 >= 910 @ 8.89545
18.67/19.28 c bounds 1031 >= 910 @ 8.90431
18.67/19.28 c bounds 1030 >= 910 @ 8.90929
18.67/19.28 c bounds 1029 >= 910 @ 8.91683
18.67/19.28 c bounds 1028 >= 910 @ 8.92238
18.67/19.28 c bounds 1027 >= 910 @ 8.93174
18.67/19.28 c bounds 1026 >= 910 @ 8.96416
18.67/19.28 c bounds 1025 >= 910 @ 8.97391
18.67/19.28 c bounds 1024 >= 910 @ 8.98415
18.67/19.28 c bounds 1023 >= 910 @ 8.99277
18.67/19.28 c bounds 1022 >= 910 @ 9.00122
18.67/19.28 c bounds 1021 >= 910 @ 9.01001
18.67/19.28 c bounds 1020 >= 910 @ 9.02531
18.67/19.28 c bounds 1019 >= 910 @ 9.03564
18.67/19.28 c bounds 1018 >= 910 @ 9.05297
18.67/19.28 c bounds 1017 >= 910 @ 9.0613
18.67/19.28 c bounds 1016 >= 910 @ 9.07158
18.67/19.28 c bounds 1015 >= 910 @ 9.07978
18.67/19.28 c bounds 1014 >= 910 @ 9.08756
18.67/19.28 c bounds 1013 >= 910 @ 9.09475
18.67/19.28 c bounds 1012 >= 910 @ 9.10257
18.67/19.28 c bounds 1011 >= 910 @ 9.11362
18.67/19.28 c bounds 1010 >= 910 @ 9.22525
18.67/19.28 c bounds 1009 >= 910 @ 9.24625
18.67/19.28 c bounds 1008 >= 910 @ 9.27007
18.67/19.28 c bounds 1007 >= 910 @ 9.69835
18.67/19.28 c bounds 1007 >= 911 @ 9.70189
18.67/19.28 c bounds 1007 >= 912 @ 9.70373
18.67/19.28 c bounds 1007 >= 913 @ 9.72077
18.67/19.28 c bounds 1007 >= 914 @ 9.72619
18.67/19.28 c bounds 1007 >= 915 @ 9.73468
18.67/19.28 c bounds 1007 >= 916 @ 9.73726
18.67/19.28 c bounds 1007 >= 917 @ 9.74512
18.67/19.28 c #Conflicts: 5000 | #Constraints: 20119
18.67/19.28 c bounds 1007 >= 918 @ 10.2367
18.67/19.28 c #Conflicts: 6000 | #Constraints: 21133
18.67/19.28 c INPROCESSING
18.67/19.28 c GARBAGE COLLECT
18.67/19.28 c rational objective 910
29.23/29.89 c bounds 1006 >= 918 @ 13.3508
29.23/29.89 c bounds 1005 >= 918 @ 13.3588
29.23/29.89 c bounds 1004 >= 918 @ 13.366
29.23/29.89 c bounds 1003 >= 918 @ 13.3727
29.23/29.89 c bounds 1002 >= 918 @ 13.378
29.23/29.89 c bounds 1001 >= 918 @ 13.3856
29.23/29.89 c bounds 1000 >= 918 @ 13.3899
29.23/29.89 c bounds 999 >= 918 @ 13.3995
29.23/29.89 c bounds 998 >= 918 @ 13.4056
29.23/29.89 c bounds 997 >= 918 @ 13.4119
29.23/29.89 c bounds 996 >= 918 @ 13.4163
29.23/29.89 c bounds 995 >= 918 @ 13.4242
29.23/29.89 c bounds 994 >= 918 @ 13.4308
29.23/29.89 c bounds 993 >= 918 @ 13.4353
29.23/29.89 c bounds 992 >= 918 @ 13.4421
29.23/29.89 c bounds 991 >= 918 @ 13.4511
29.23/29.89 c #Conflicts: 7000 | #Constraints: 17135
29.23/29.89 c bounds 990 >= 918 @ 14.3475
29.23/29.89 c bounds 989 >= 918 @ 15.0216
29.23/29.89 c bounds 989 >= 919 @ 15.0222
29.23/29.89 c bounds 989 >= 920 @ 15.0238
29.23/29.89 c bounds 989 >= 921 @ 15.0243
29.23/29.89 c bounds 989 >= 922 @ 15.0249
29.23/29.89 c bounds 989 >= 923 @ 15.0254
29.23/29.89 c bounds 989 >= 924 @ 15.0259
29.23/29.89 c bounds 989 >= 925 @ 15.0279
29.23/29.89 c #Conflicts: 8000 | #Constraints: 18154
29.23/29.89 c bounds 989 >= 926 @ 15.6422
29.23/29.89 c #Conflicts: 9000 | #Constraints: 19167
29.23/29.89 c INPROCESSING
29.23/29.89 c GARBAGE COLLECT
29.23/29.89 c #Conflicts: 10000 | #Constraints: 16816
29.23/29.89 c bounds 989 >= 927 @ 18.3324
29.23/29.89 c bounds 987 >= 927 @ 18.3414
29.23/29.89 c bounds 986 >= 927 @ 18.3865
29.23/29.89 c bounds 985 >= 927 @ 18.4173
29.23/29.89 c bounds 984 >= 927 @ 18.4293
29.23/29.89 c bounds 983 >= 927 @ 18.5384
29.23/29.89 c #Conflicts: 11000 | #Constraints: 17836
29.23/29.89 c bounds 982 >= 927 @ 18.7155
29.23/29.89 c bounds 981 >= 927 @ 19.0443
29.23/29.89 c bounds 981 >= 928 @ 19.0458
29.23/29.89 c bounds 981 >= 929 @ 19.0479
29.23/29.89 c #Conflicts: 12000 | #Constraints: 18842
29.23/29.89 c INPROCESSING
29.23/29.89 c GARBAGE COLLECT
29.23/29.89 c bounds 980 >= 929 @ 19.6416
29.23/29.89 c bounds 979 >= 929 @ 19.654
29.23/29.89 c bounds 978 >= 929 @ 19.7037
29.23/29.89 c bounds 978 >= 930 @ 19.7039
29.23/29.89 c bounds 978 >= 931 @ 19.7039
29.23/29.89 c #Conflicts: 13000 | #Constraints: 17317
29.23/29.89 c bounds 978 >= 932 @ 20.4167
29.23/29.89 c bounds 977 >= 932 @ 21.3133
29.23/29.89 c bounds 977 >= 933 @ 21.5122
29.23/29.89 c #Conflicts: 14000 | #Constraints: 18335
29.23/29.89 c #Conflicts: 15000 | #Constraints: 19335
29.23/29.89 c INPROCESSING
29.23/29.89 c GARBAGE COLLECT
29.23/29.89 c rational objective 910
41.50/42.12 c #Conflicts: 16000 | #Constraints: 17599
41.50/42.12 c bounds 977 >= 934 @ 24.3782
41.50/42.12 c bounds 976 >= 934 @ 24.3897
41.50/42.12 c bounds 975 >= 934 @ 24.4058
41.50/42.12 c bounds 974 >= 934 @ 24.4304
41.50/42.12 c bounds 973 >= 934 @ 24.4525
41.50/42.12 c bounds 972 >= 934 @ 24.481
41.50/42.12 c #Conflicts: 17000 | #Constraints: 18616
41.50/42.12 c #Conflicts: 18000 | #Constraints: 19616
41.50/42.12 c INPROCESSING
41.50/42.12 c GARBAGE COLLECT
41.50/42.12 c rational objective 910
44.99/45.66 c bounds 972 >= 935 @ 35.2885
44.99/45.66 c bounds 972 >= 936 @ 35.2899
44.99/45.66 c #Conflicts: 19000 | #Constraints: 17619
44.99/45.66 c #Conflicts: 20000 | #Constraints: 18619
44.99/45.66 c #Conflicts: 21000 | #Constraints: 19619
44.99/45.66 c INPROCESSING
44.99/45.66 c GARBAGE COLLECT
44.99/45.66 c rational objective 910
47.49/48.16 c #Conflicts: 22000 | #Constraints: 17460
47.49/48.16 c #Conflicts: 23000 | #Constraints: 18460
47.49/48.16 c bounds 972 >= 937 @ 39.6951
47.49/48.16 c #Conflicts: 24000 | #Constraints: 19472
47.49/48.16 c #Conflicts: 25000 | #Constraints: 20472
47.49/48.16 c INPROCESSING
47.49/48.16 c GARBAGE COLLECT
47.49/48.16 c rational objective 910.5
51.27/51.91 c #Conflicts: 26000 | #Constraints: 18103
51.27/51.91 c #Conflicts: 27000 | #Constraints: 19103
51.27/51.91 c #Conflicts: 28000 | #Constraints: 20103
51.27/51.91 c #Conflicts: 29000 | #Constraints: 21103
51.27/51.91 c INPROCESSING
51.27/51.91 c GARBAGE COLLECT
51.27/51.91 c rational objective 910.5
54.96/55.68 c #Conflicts: 30000 | #Constraints: 18515
54.96/55.68 c #Conflicts: 31000 | #Constraints: 19515
54.96/55.68 c #Conflicts: 32000 | #Constraints: 20515
54.96/55.68 c #Conflicts: 33000 | #Constraints: 21515
54.96/55.68 c INPROCESSING
54.96/55.68 c GARBAGE COLLECT
54.96/55.68 c rational objective 910.5
58.85/59.54 c #Conflicts: 34000 | #Constraints: 18723
58.85/59.54 c #Conflicts: 35000 | #Constraints: 19723
58.85/59.54 c #Conflicts: 36000 | #Constraints: 20723
58.85/59.54 c bounds 972 >= 938 @ 50.3694
58.85/59.54 c #Conflicts: 37000 | #Constraints: 21737
58.85/59.54 c INPROCESSING
58.85/59.54 c GARBAGE COLLECT
58.85/59.54 c rational objective 911
62.74/63.41 c #Conflicts: 38000 | #Constraints: 18730
62.74/63.41 c #Conflicts: 39000 | #Constraints: 19730
62.74/63.41 c #Conflicts: 40000 | #Constraints: 20730
62.74/63.41 c #Conflicts: 41000 | #Constraints: 21730
62.74/63.41 c bounds 972 >= 939 @ 54.6055
62.74/63.41 c INPROCESSING
62.74/63.41 c GARBAGE COLLECT
62.74/63.41 c rational objective 911
62.74/63.47 c bounds 939 >= 939 @ 55.7865
62.74/63.47 c cpu time 55.7865 s
62.74/63.47 c deterministic time 5881851988 5.88e+09
62.74/63.47 c optimization time 0.454141 s
62.74/63.47 c total solve time 55.2967 s
62.74/63.47 c core-guided solve time 38.5013 s
62.74/63.47 c propagation time 29.5248 s
62.74/63.47 c conflict analysis time 16.4927 s
62.74/63.47 c propagations 14369912
62.74/63.47 c resolve steps 422712
62.74/63.47 c decisions 10524583
62.74/63.47 c conflicts 41750
62.74/63.47 c restarts 126
62.74/63.47 c inprocessing phases 13
62.74/63.47 c input clauses 16004
62.74/63.47 c input cardinalities 2043
62.74/63.47 c input general constraints 597
62.74/63.47 c input average constraint length 31.49
62.74/63.47 c input average constraint degree 985.56
62.74/63.47 c learned clauses 27115
62.74/63.47 c learned cardinalities 897
62.74/63.47 c learned general constraints 13825
62.74/63.47 c learned average constraint length 506.11
62.74/63.47 c learned average constraint degree 21933480.37
62.74/63.47 c watched constraints 7946
62.74/63.47 c counting constraints 6476
62.74/63.47 c gcd simplifications 2308
62.74/63.47 c detected cardinalities 16
62.74/63.47 c weakened non-implied lits 5769791
62.74/63.47 c weakened non-implying lits 4155
62.74/63.47 c original variables 8405
62.74/63.47 c clausal propagations 1936893
62.74/63.47 c cardinality propagations 3371697
62.74/63.47 c watched propagations 1372941
62.74/63.47 c counting propagations 7293985
62.74/63.47 c watch lookups 315039061
62.74/63.47 c watch backjump lookups 287195754
62.74/63.47 c watch checks 3881011919
62.74/63.47 c propagation checks 1202734000
62.74/63.47 c constraint additions 145963691
62.74/63.47 c trail pops 24931754
62.74/63.47 c formula constraints 11367
62.74/63.47 c learned constraints 41837
62.74/63.47 c bound constraints 4117
62.74/63.47 c core-guided constraints 3160
62.74/63.47 c encountered formula constraints 9648
62.74/63.47 c encountered learned constraints 315102
62.74/63.47 c encountered bound constraints 293
62.74/63.47 c encountered core-guided constraints 139419
62.74/63.47 c LP total time 11.0901 s
62.74/63.47 c LP solve time 11.05 s
62.74/63.47 c LP constraints added 11410
62.74/63.47 c LP constraints removed 40
62.74/63.47 c LP pivots internal 44000
62.74/63.47 c LP pivots root 37313
62.74/63.47 c LP calls 19
62.74/63.47 c LP optimalities 15
62.74/63.47 c LP no pivot count 0
62.74/63.47 c LP infeasibilities 0
62.74/63.47 c LP valid Farkas constraints 0
62.74/63.47 c LP learned Farkas constraints 0
62.74/63.47 c LP basis resets 0
62.74/63.47 c LP cycling count 0
62.74/63.47 c LP singular count 0
62.74/63.47 c LP no primal count 0
62.74/63.47 c LP no farkas count 0
62.74/63.47 c LP other issue count 0
62.74/63.47 c LP Gomory cuts 0
62.74/63.47 c LP learned cuts 57
62.74/63.47 c LP deleted cuts 42
62.74/63.47 c LP encountered Gomory constraints 0
62.74/63.47 c LP encountered Farkas constraints 0
62.74/63.47 c LP encountered learned Farkas constraints 0
62.74/63.47 c CG auxiliary variables introduced 1489
62.74/63.47 c CG solutions found 85
62.74/63.47 c CG cores constructed 1296
62.74/63.47 c CG core cardinality constraints returned 389
62.74/63.47 c CG unit cores 1
62.74/63.47 c CG single cores 1271
62.74/63.47 c CG blocks removed during cardinality reduction 0
62.74/63.47 c CG first core best 0
62.74/63.47 c CG decision core best 1
62.74/63.47 c CG core reduction tie 23
62.74/63.47 c CG core degree average 2.00
62.74/63.47 c CG core slack average 7.27
62.74/63.47 o 939
62.74/63.47 s OPTIMUM FOUND
62.74/63.47 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
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: 63931 MiB (63052 MiB free)
memory of node 1: 64510 MiB (64223 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462631-1722340763/watcher-4462631-1722340763 -o /tmp/evaluation-result-4462631-1722340763/solver-4462631-1722340763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722340763-6583 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462631-1722340763 --lp-cut-gomory=0 HOME/instance-4462631-1722340763.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=6614, runsolver pid=6611
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 0.07 0.08 0.09 1/246 6615
/proc/meminfo: memFree=130329400/131524600 swapFree=131071996/131071996
[pid=6614] ppid=6611 vsize=37376 memory=2588 CPUtime=0 cores=4,6
/proc/6614/stat : 6614 (roundingsat) D 6611 6614 6572 0 -1 4194304 214 0 0 0 0 0 0 0 20 0 1 0 678044 38273024 647 134679101440 4194304 8255733 140735317329264 0 0 0 0 0 8404994 1 0 0 17 6 0 0 0 0 0 9037040 9046032 15036416 140735317332830 140735317333092 140735317333092 140735317340105 0
/proc/6614/statm: 9344 647 591 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2588 KiB
[startup+0.204351 s]*
/proc/loadavg: 0.07 0.08 0.09 1/246 6615
/proc/meminfo: memFree=130329060/131524600 swapFree=131071996/131071996
[pid=6614] ppid=6611 vsize=37376 memory=2588 CPUtime=0 cores=4,6
/proc/6614/stat : 6614 (roundingsat) D 6611 6614 6572 0 -1 4194304 214 0 0 0 0 0 0 0 20 0 1 0 678044 38273024 647 134679101440 4194304 8255733 140735317329264 0 0 0 0 0 8404994 1 0 0 17 6 0 0 0 0 0 9037040 9046032 15036416 140735317332830 140735317333092 140735317333092 140735317340105 0
/proc/6614/statm: 9344 647 591 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2588 KiB
[startup+0.30419 s]*
/proc/loadavg: 0.07 0.08 0.09 1/246 6617
/proc/meminfo: memFree=130328388/131524600 swapFree=131071996/131071996
[pid=6614] ppid=6611 vsize=37376 memory=2588 CPUtime=0 cores=4,6
/proc/6614/stat : 6614 (roundingsat) D 6611 6614 6572 0 -1 1077936128 214 0 0 0 0 0 0 0 20 0 1 0 678044 38273024 647 134679101440 4194304 8255733 140735317329264 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 15036416 140735317332830 140735317333092 140735317333092 140735317340105 0
/proc/6614/statm: 9344 647 591 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2588 KiB
[startup+0.700422 s]
/proc/loadavg: 0.07 0.08 0.09 3/253 6639
/proc/meminfo: memFree=130304600/131524600 swapFree=131071996/131071996
[pid=6614] ppid=6611 vsize=51816 memory=23732 CPUtime=0.22 cores=4,6
/proc/6614/stat : 6614 (roundingsat) R 6611 6614 6572 0 -1 4194304 4858 0 0 0 21 1 0 0 20 0 1 0 678044 53059584 5933 134679101440 4194304 8255733 140735317329264 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 15036416 140735317332830 140735317333092 140735317333092 140735317340105 0
/proc/6614/statm: 12954 5933 1768 992 0 4812 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 51816 KiB
Current children cumulated memory: 23732 KiB
[startup+1.50015 s]
/proc/loadavg: 0.39 0.15 0.11 2/252 6671
/proc/meminfo: memFree=130284240/131524600 swapFree=131071996/131071996
[pid=6614] ppid=6611 vsize=62648 memory=34604 CPUtime=1.02 cores=4,6
/proc/6614/stat : 6614 (roundingsat) R 6611 6614 6572 0 -1 4194304 7542 0 0 0 63 39 0 0 20 0 1 0 678044 64151552 8651 134679101440 4194304 8255733 140735317329264 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 15036416 140735317332830 140735317333092 140735317333092 140735317340105 0
/proc/6614/statm: 15662 8651 1816 992 0 7520 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 62648 KiB
Current children cumulated memory: 34604 KiB
[startup+3.10536 s]
/proc/loadavg: 0.39 0.15 0.11 5/261 6796
/proc/meminfo: memFree=130073960/131524600 swapFree=131071996/131071996
[pid=6614] ppid=6611 vsize=65604 memory=38564 CPUtime=2.62 cores=4,6
/proc/6614/stat : 6614 (roundingsat) R 6611 6614 6572 0 -1 4194304 8523 0 0 0 120 142 0 0 20 0 1 0 678044 67178496 9641 134679101440 4194304 8255733 140735317329264 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 15036416 140735317332830 140735317333092 140735317333092 140735317340105 0
/proc/6614/statm: 16401 9641 1816 992 0 8259 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 65604 KiB
Current children cumulated memory: 38564 KiB
[startup+6.3002 s]
/proc/loadavg: 0.68 0.21 0.13 5/261 6812
/proc/meminfo: memFree=129911136/131524600 swapFree=131071996/131071996
[pid=6614] ppid=6611 vsize=72188 memory=43208 CPUtime=5.81 cores=4,6
/proc/6614/stat : 6614 (roundingsat) R 6611 6614 6572 0 -1 4194304 9339 0 0 0 234 347 0 0 20 0 1 0 678044 73920512 10802 134679101440 4194304 8255733 140735317329264 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 15036416 140735317332830 140735317333092 140735317333092 140735317340105 0
/proc/6614/statm: 18047 10802 1816 992 0 9905 0
Current children cumulated CPU time: 5.81 s
Current children cumulated vsize: 72188 KiB
Current children cumulated memory: 43208 KiB
[startup+12.7002 s]
/proc/loadavg: 1.02 0.29 0.16 5/264 6848
/proc/meminfo: memFree=129869128/131524600 swapFree=131071996/131071996
[pid=6614] ppid=6611 vsize=124064 memory=94756 CPUtime=12.19 cores=4,6
/proc/6614/stat : 6614 (roundingsat) R 6611 6614 6572 0 -1 4194304 18606 0 0 0 719 500 0 0 20 0 1 0 678044 127041536 23689 134679101440 4194304 8255733 140735317329264 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 15036416 140735317332830 140735317333092 140735317333092 140735317340105 0
/proc/6614/statm: 31016 23689 1877 992 0 22874 0
Current children cumulated CPU time: 12.19 s
Current children cumulated vsize: 124064 KiB
Current children cumulated memory: 94756 KiB
[startup+25.5002 s]
/proc/loadavg: 1.41 0.40 0.19 5/264 7268
/proc/meminfo: memFree=129604224/131524600 swapFree=131071996/131071996
[pid=6614] ppid=6611 vsize=165888 memory=119208 CPUtime=24.95 cores=4,6
/proc/6614/stat : 6614 (roundingsat) R 6611 6614 6572 0 -1 4194304 23674 0 0 0 1921 574 0 0 20 0 1 0 678044 169869312 29802 134679101440 4194304 8255733 140735317329264 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 15036416 140735317332830 140735317333092 140735317333092 140735317340105 0
/proc/6614/statm: 41472 29802 1877 992 0 33330 0
Current children cumulated CPU time: 24.95 s
Current children cumulated vsize: 165888 KiB
Current children cumulated memory: 119208 KiB
[startup+51.1057 s]
/proc/loadavg: 2.51 0.76 0.32 5/265 7274
/proc/meminfo: memFree=128879268/131524600 swapFree=131071996/131071996
[pid=6614] ppid=6611 vsize=176500 memory=144072 CPUtime=50.48 cores=4,6
/proc/6614/stat : 6614 (roundingsat) R 6611 6614 6572 0 -1 4194304 26339 0 0 0 4389 659 0 0 20 0 1 0 678044 180736000 36018 134679101440 4194304 8255733 140735317329264 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 15036416 140735317332830 140735317333092 140735317333092 140735317340105 0
/proc/6614/statm: 44125 36018 1877 992 0 35983 0
Current children cumulated CPU time: 50.48 s
Current children cumulated vsize: 176500 KiB
Current children cumulated memory: 144072 KiB
[startup+63.5241 s]
# the end of solver process 6614 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=55.7895 s, system=7.03958 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 2.51 0.76 0.32 5/265 7274
/proc/meminfo: memFree=128879268/131524600 swapFree=131071996/131071996
[pid=6614] ppid=6611 vsize=176500 memory=144072 CPUtime=50.57 cores=4,6
/proc/6614/stat : 6614 (roundingsat) R 6611 6614 6572 0 -1 4194304 26348 0 0 0 4398 659 0 0 20 0 1 0 678044 180736000 36018 134679101440 4194304 8255733 140735317329264 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 15036416 140735317332830 140735317333092 140735317333092 140735317340105 0
/proc/6614/statm: 44125 36018 1877 992 0 35983 0
Current children cumulated CPU time: 50.57 s
Current children cumulated vsize: 176500 KiB
Current children cumulated memory: 144072 KiB
[startup+57.6002 s]
/proc/loadavg: 2.63 0.81 0.34 5/265 7276
/proc/meminfo: memFree=128649600/131524600 swapFree=131071996/131071996
[pid=6614] ppid=6611 vsize=176724 memory=144600 CPUtime=56.96 cores=4,6
/proc/6614/stat : 6614 (roundingsat) R 6611 6614 6572 0 -1 4194304 26446 0 0 0 5015 681 0 0 20 0 1 0 678044 180965376 36150 134679101440 4194304 8255733 140735317329264 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 15036416 140735317332830 140735317333092 140735317333092 140735317340105 0
/proc/6614/statm: 44181 36150 1877 992 0 36039 0
Current children cumulated CPU time: 56.96 s
Current children cumulated vsize: 176724 KiB
Current children cumulated memory: 144600 KiB
[startup+60.8002 s]
/proc/loadavg: 2.63 0.81 0.34 5/265 7278
/proc/meminfo: memFree=128544028/131524600 swapFree=131071996/131071996
[pid=6614] ppid=6611 vsize=177068 memory=144600 CPUtime=60.14 cores=4,6
/proc/6614/stat : 6614 (roundingsat) R 6611 6614 6572 0 -1 4194304 26464 0 0 0 5323 691 0 0 20 0 1 0 678044 181317632 36150 134679101440 4194304 8255733 140735317329264 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 15036416 140735317332830 140735317333092 140735317333092 140735317340105 0
/proc/6614/statm: 44267 36150 1877 992 0 36125 0
Current children cumulated CPU time: 60.14 s
Current children cumulated vsize: 177068 KiB
Current children cumulated memory: 144600 KiB
[startup+62.4002 s]
/proc/loadavg: 2.74 0.87 0.36 5/265 7278
/proc/meminfo: memFree=128437736/131524600 swapFree=131071996/131071996
[pid=6614] ppid=6611 vsize=177068 memory=144600 CPUtime=61.74 cores=4,6
/proc/6614/stat : 6614 (roundingsat) R 6611 6614 6572 0 -1 4194304 26464 0 0 0 5474 700 0 0 20 0 1 0 678044 181317632 36150 134679101440 4194304 8255733 140735317329264 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 15036416 140735317332830 140735317333092 140735317333092 140735317340105 0
/proc/6614/statm: 44267 36150 1877 992 0 36125 0
Current children cumulated CPU time: 61.74 s
Current children cumulated vsize: 177068 KiB
Current children cumulated memory: 144600 KiB
[startup+63.2002 s]
/proc/loadavg: 2.74 0.87 0.36 5/265 7278
/proc/meminfo: memFree=128451012/131524600 swapFree=131071996/131071996
[pid=6614] ppid=6611 vsize=177068 memory=144860 CPUtime=62.54 cores=4,6
/proc/6614/stat : 6614 (roundingsat) R 6611 6614 6572 0 -1 4194304 26498 0 0 0 5553 701 0 0 20 0 1 0 678044 181317632 36215 134679101440 4194304 8255733 140735317329264 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 15036416 140735317332830 140735317333092 140735317333092 140735317340105 0
/proc/6614/statm: 44267 36215 1877 992 0 36125 0
Current children cumulated CPU time: 62.54 s
Current children cumulated vsize: 177068 KiB
Current children cumulated memory: 144860 KiB
[startup+63.4001 s]
/proc/loadavg: 2.74 0.87 0.36 5/265 7278
/proc/meminfo: memFree=128451012/131524600 swapFree=131071996/131071996
[pid=6614] ppid=6611 vsize=177068 memory=144860 CPUtime=62.74 cores=4,6
/proc/6614/stat : 6614 (roundingsat) R 6611 6614 6572 0 -1 4194304 26499 0 0 0 5573 701 0 0 20 0 1 0 678044 181317632 36215 134679101440 4194304 8255733 140735317329264 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 15036416 140735317332830 140735317333092 140735317333092 140735317340105 0
/proc/6614/statm: 44267 36215 1877 992 0 36125 0
Current children cumulated CPU time: 62.74 s
Current children cumulated vsize: 177068 KiB
Current children cumulated memory: 144860 KiB
[startup+63.5001 s]
/proc/loadavg: 2.74 0.87 0.36 5/265 7278
/proc/meminfo: memFree=128451012/131524600 swapFree=131071996/131071996
[pid=6614] ppid=6611 vsize=177068 memory=144860 CPUtime=62.81 cores=4,6
/proc/6614/stat : 6614 (roundingsat) D 6611 6614 6572 0 -1 4194304 26502 0 0 0 5578 703 0 0 20 0 1 0 678044 181317632 36215 134679101440 4194304 8255733 140735317329264 0 0 0 0 0 25182210 0 0 0 17 6 0 0 3 0 0 9037040 9046032 15036416 140735317332830 140735317333092 140735317333092 140735317340105 0
/proc/6614/statm: 44267 36215 1877 992 0 36125 0
Current children cumulated CPU time: 62.81 s
Current children cumulated vsize: 177068 KiB
Current children cumulated memory: 144860 KiB
Child status: 0
Real time (s): 63.5242
CPU time (s): 62.8291
CPU user time (s): 55.7895
CPU system time (s): 7.03958
CPU usage (%): 98.9057
Max. virtual memory (cumulated for all children) (KiB): 177068
Max. memory (cumulated for all children) (KiB): 144860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.7895
system time used= 7.03958
maximum resident set size= 144860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2576288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 443
involuntary context switches= 95
# summary of solver processes directly reported to runsolver:
# pid: 6614
# total CPU time (s): 62.8291
# total CPU user time (s): 55.7895
# total CPU system time (s): 7.03958
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.111693 second user time and 0.318618 second system time
The end
Begin job on nodeC031 at 2024-07-30 13:59:23
IDJOB=4462631
IDBENCH=146652
IDSOLVER=3089
FILE ID=nodeC031/4462631-1722340763
RUNJOBID= nodeC031-1722340763-6583
SLURM_JOB_ID= 8249004
Free space on /tmp= 890076 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-4462631-1722340763/watcher-4462631-1722340763 -o /tmp/evaluation-result-4462631-1722340763/solver-4462631-1722340763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722340763-6583 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462631-1722340763 --lp-cut-gomory=0 HOME/instance-4462631-1722340763.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=727532140
nodeC031.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 : 3657.692
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.95
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 : 1592.066
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 : 7007.12
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 : 3609.872
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.95
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 : 1256.233
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 : 7007.12
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 : 3659.248
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.95
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 : 1585.425
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 : 7007.12
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 : 3611.549
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.95
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 : 2346.142
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 : 7007.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 130323660 kB
MemAvailable: 129903296 kB
Buffers: 38452 kB
Cached: 334792 kB
SwapCached: 0 kB
Active: 125092 kB
Inactive: 619376 kB
Active(anon): 1432 kB
Inactive(anon): 391480 kB
Active(file): 123660 kB
Inactive(file): 227896 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 11440 kB
Writeback: 12 kB
AnonPages: 371408 kB
Mapped: 87276 kB
Shmem: 21336 kB
KReclaimable: 43836 kB
Slab: 117204 kB
SReclaimable: 43836 kB
SUnreclaim: 73368 kB
KernelStack: 3948 kB
PageTables: 9856 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 630912 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8416 kB
HardwareCorrupted: 0 kB
AnonHugePages: 243712 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: 234196 kB
DirectMap2M: 8976384 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 890008 MiB
End job on nodeC031 at 2024-07-30 14:00:27