0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.10/0.15 c #variables 8405 #constraints 11367
2.27/2.35 c bounds - >= -3212 @ 0.109603
2.27/2.35 c bounds 30893 >= -3212 @ 0.790608
2.27/2.35 c bounds 30893 >= -2545 @ 0.796707
2.27/2.35 c bounds 30893 >= -2445 @ 0.803506
2.27/2.35 c bounds 30893 >= -2345 @ 0.811617
2.27/2.35 c bounds 30893 >= -2245 @ 0.817847
2.27/2.35 c bounds 30893 >= -2145 @ 0.825333
2.27/2.35 c bounds 30893 >= -2045 @ 0.832729
2.27/2.35 c bounds 30893 >= -1945 @ 0.842267
2.27/2.35 c bounds 30893 >= -1845 @ 0.850492
2.27/2.35 c bounds 30893 >= -1745 @ 0.855619
2.27/2.35 c bounds 30893 >= -1645 @ 0.861696
2.27/2.35 c bounds 1055 >= -1645 @ 0.966048
2.27/2.35 c bounds 1054 >= -1645 @ 0.981023
2.27/2.35 c bounds 1053 >= -1645 @ 0.987907
2.27/2.35 c bounds 1052 >= -1645 @ 0.995797
2.27/2.35 c bounds 1051 >= -1645 @ 1.00579
2.27/2.35 c bounds 1050 >= -1645 @ 1.0196
2.27/2.35 c bounds 1049 >= -1645 @ 1.02674
2.27/2.35 c bounds 1048 >= -1645 @ 1.03638
2.27/2.35 c bounds 1047 >= -1645 @ 1.04248
2.27/2.35 c bounds 1046 >= -1645 @ 1.16974
2.27/2.35 c bounds 1046 >= -1644 @ 1.17406
2.27/2.35 c bounds 1046 >= -1643 @ 1.17817
2.27/2.35 c bounds 1046 >= -1642 @ 1.18234
2.27/2.35 c bounds 1046 >= -1641 @ 1.18748
2.27/2.35 c bounds 1046 >= -1640 @ 1.19175
2.27/2.35 c bounds 1046 >= -1639 @ 1.19586
2.27/2.35 c bounds 1046 >= -1638 @ 1.20092
2.27/2.35 c bounds 1046 >= -1637 @ 1.20504
2.27/2.35 c bounds 1046 >= -1636 @ 1.20926
2.27/2.35 c bounds 1046 >= -1635 @ 1.21247
2.27/2.35 c bounds 1046 >= -1634 @ 1.21558
2.27/2.35 c bounds 1046 >= -1633 @ 1.21869
2.27/2.35 c bounds 1046 >= -1632 @ 1.22281
2.27/2.35 c bounds 1046 >= -1631 @ 1.22697
2.27/2.35 c bounds 1046 >= -1630 @ 1.23028
2.27/2.35 c bounds 1046 >= -1629 @ 1.23341
2.27/2.35 c bounds 1046 >= -1628 @ 1.23757
2.27/2.35 c bounds 1046 >= -1627 @ 1.24175
2.27/2.35 c bounds 1046 >= -1626 @ 1.24697
2.27/2.35 c bounds 1046 >= -1625 @ 1.25135
2.27/2.35 c bounds 1046 >= -1624 @ 1.25553
2.27/2.35 c bounds 1046 >= -1623 @ 1.26069
2.27/2.35 c bounds 1046 >= -1622 @ 1.26494
2.27/2.35 c bounds 1046 >= -1619 @ 1.26962
2.27/2.35 c bounds 1046 >= -1618 @ 1.27582
2.27/2.35 c bounds 1046 >= -1615 @ 1.27959
2.27/2.35 c bounds 1046 >= -1614 @ 1.28435
2.27/2.35 c bounds 1046 >= -1611 @ 1.29096
2.27/2.35 c bounds 1046 >= -1610 @ 1.29576
2.27/2.35 c bounds 1046 >= -1607 @ 1.30084
2.27/2.35 c bounds 1046 >= -1604 @ 1.3069
2.27/2.35 c bounds 1046 >= -1602 @ 1.3131
2.27/2.35 c bounds 1046 >= -1598 @ 1.31811
2.27/2.35 c bounds 1046 >= -1597 @ 1.32031
2.27/2.35 c bounds 1046 >= -1596 @ 1.32538
2.27/2.35 c bounds 1046 >= -1595 @ 1.33241
2.27/2.35 c bounds 1046 >= -1594 @ 1.33751
2.27/2.35 c bounds 1046 >= -1593 @ 1.34362
2.27/2.35 c bounds 1046 >= -1592 @ 1.34775
2.27/2.35 c bounds 1046 >= -1591 @ 1.35289
2.27/2.35 c bounds 1046 >= -1590 @ 1.3579
2.27/2.35 c bounds 1046 >= -1589 @ 1.36499
2.27/2.35 c bounds 1046 >= -1588 @ 1.37018
2.27/2.35 c bounds 1046 >= -1587 @ 1.37519
2.27/2.35 c bounds 1046 >= -1586 @ 1.37932
2.27/2.35 c bounds 1046 >= -1585 @ 1.3864
2.27/2.35 c bounds 1046 >= -1584 @ 1.39153
2.27/2.35 c bounds 1046 >= -1583 @ 1.39777
2.27/2.35 c bounds 1046 >= -1582 @ 1.40373
2.27/2.35 c bounds 1046 >= -1581 @ 1.40795
2.27/2.35 c bounds 1046 >= -1580 @ 1.41102
2.27/2.35 c bounds 1046 >= -1579 @ 1.4141
2.27/2.35 c bounds 1046 >= -1578 @ 1.41817
2.27/2.35 c bounds 1046 >= -1577 @ 1.42325
2.27/2.35 c bounds 1046 >= -1576 @ 1.42933
2.27/2.35 c bounds 1046 >= -1575 @ 1.43402
2.27/2.35 c bounds 1046 >= -1574 @ 1.43828
2.27/2.35 c bounds 1046 >= -1573 @ 1.44462
2.27/2.35 c bounds 1046 >= -1572 @ 1.45095
2.27/2.35 c bounds 1046 >= -1571 @ 1.45423
2.27/2.35 c bounds 1046 >= -1570 @ 1.45686
2.27/2.35 c bounds 1046 >= -1569 @ 1.46166
2.27/2.35 c bounds 1046 >= -1568 @ 1.46755
2.27/2.35 c bounds 1046 >= -1567 @ 1.47277
2.27/2.35 c bounds 1046 >= -1566 @ 1.47903
2.27/2.35 c bounds 1046 >= -1565 @ 1.48429
2.27/2.35 c bounds 1046 >= -1564 @ 1.48954
2.27/2.35 c bounds 1046 >= -1563 @ 1.49379
2.27/2.35 c bounds 1046 >= -1562 @ 1.49808
2.27/2.35 c bounds 1046 >= -1561 @ 1.50349
2.27/2.35 c bounds 1046 >= -1560 @ 1.50763
2.27/2.35 c bounds 1046 >= -1559 @ 1.50988
2.27/2.35 c bounds 1046 >= -1558 @ 1.5161
2.27/2.35 c bounds 1046 >= -1557 @ 1.52136
2.27/2.35 c bounds 1046 >= -1556 @ 1.52561
2.27/2.35 c bounds 1046 >= -1552 @ 1.52988
2.27/2.35 c bounds 1046 >= -1547 @ 1.53335
2.27/2.35 c bounds 1046 >= -1543 @ 1.53751
2.27/2.35 c bounds 1046 >= -1542 @ 1.53978
2.27/2.35 c bounds 1046 >= -1540 @ 1.54503
2.27/2.35 c bounds 1046 >= -1539 @ 1.55062
2.27/2.35 c bounds 1046 >= -1535 @ 1.55587
2.27/2.35 c bounds 1046 >= -1533 @ 1.56013
2.27/2.35 c bounds 1046 >= -1532 @ 1.56339
2.27/2.35 c bounds 1046 >= -1527 @ 1.56767
2.27/2.35 c bounds 1046 >= -1525 @ 1.5739
2.27/2.35 c bounds 1046 >= -1524 @ 1.57744
2.27/2.35 c bounds 1046 >= -1518 @ 1.58279
2.27/2.35 c bounds 1046 >= -1517 @ 1.58734
2.27/2.35 c bounds 1046 >= -1512 @ 1.59162
2.27/2.35 c bounds 1046 >= -1505 @ 1.59721
2.27/2.35 c bounds 1046 >= -1504 @ 1.60045
2.27/2.35 c bounds 1046 >= -1499 @ 1.60585
2.27/2.35 c bounds 1046 >= -1494 @ 1.60935
2.27/2.35 c bounds 1046 >= -1493 @ 1.6147
2.27/2.35 c bounds 1046 >= -1492 @ 1.61924
2.27/2.35 c bounds 1046 >= -1491 @ 1.6235
2.27/2.35 c bounds 1046 >= -1490 @ 1.6281
2.27/2.35 c bounds 1046 >= -1489 @ 1.63432
2.27/2.35 c bounds 1046 >= -1488 @ 1.64072
2.27/2.35 c bounds 1046 >= -1487 @ 1.64614
2.27/2.35 c bounds 1046 >= -1486 @ 1.64846
3.27/3.34 c bounds 1046 >= -1485 @ 1.65394
3.27/3.34 c bounds 1046 >= -1484 @ 1.6571
3.27/3.34 c bounds 1046 >= -1483 @ 1.66085
3.27/3.34 c bounds 1046 >= -1482 @ 1.6653
3.27/3.34 c bounds 1046 >= -1481 @ 1.67082
3.27/3.34 c bounds 1046 >= -1480 @ 1.67434
3.27/3.34 c bounds 1046 >= -1479 @ 1.67796
3.27/3.34 c bounds 1046 >= -1478 @ 1.68418
3.27/3.34 c bounds 1046 >= -1477 @ 1.68844
3.27/3.34 c bounds 1046 >= -1476 @ 1.6919
3.27/3.34 c bounds 1046 >= -1475 @ 1.69411
3.27/3.34 c bounds 1046 >= -1474 @ 1.69829
3.27/3.34 c bounds 1046 >= -1473 @ 1.70356
3.27/3.34 c bounds 1046 >= -1467 @ 1.70795
3.27/3.34 c bounds 1046 >= -1466 @ 1.71077
3.27/3.34 c bounds 1046 >= -1465 @ 1.71372
3.27/3.34 c bounds 1046 >= -1464 @ 1.71832
3.27/3.34 c bounds 1046 >= -1463 @ 1.72214
3.27/3.34 c bounds 1046 >= -1462 @ 1.72501
3.27/3.34 c bounds 1046 >= -1461 @ 1.72872
3.27/3.34 c bounds 1046 >= -1460 @ 1.7325
3.27/3.34 c bounds 1046 >= -1459 @ 1.73534
3.27/3.34 c bounds 1046 >= -1458 @ 1.73915
3.27/3.34 c bounds 1046 >= -1457 @ 1.74395
3.27/3.34 c bounds 1046 >= -1456 @ 1.74787
3.27/3.34 c bounds 1046 >= -1455 @ 1.75166
3.27/3.34 c bounds 1046 >= -1454 @ 1.75665
3.27/3.34 c bounds 1046 >= -1453 @ 1.76125
3.27/3.34 c bounds 1046 >= -1452 @ 1.76316
3.27/3.34 c bounds 1046 >= -1451 @ 1.76699
3.27/3.34 c bounds 1046 >= -1450 @ 1.77282
3.27/3.34 c bounds 1046 >= -1449 @ 1.77672
3.27/3.34 c bounds 1046 >= -1448 @ 1.7835
3.27/3.34 c bounds 1046 >= -1447 @ 1.78647
3.27/3.34 c bounds 1046 >= -1446 @ 1.78902
3.27/3.34 c bounds 1046 >= -1445 @ 1.79198
3.27/3.34 c bounds 1046 >= -1444 @ 1.79584
3.27/3.34 c bounds 1046 >= -1443 @ 1.79968
3.27/3.34 c bounds 1046 >= -1442 @ 1.80346
3.27/3.34 c bounds 1046 >= -1441 @ 1.80718
3.27/3.34 c bounds 1046 >= -1440 @ 1.81197
3.27/3.34 c bounds 1046 >= -1439 @ 1.81546
3.27/3.34 c bounds 1046 >= -1436 @ 1.81949
3.27/3.34 c bounds 1046 >= -1435 @ 1.82356
3.27/3.34 c bounds 1046 >= -1434 @ 1.82863
3.27/3.34 c bounds 1046 >= -1433 @ 1.83272
3.27/3.34 c bounds 1046 >= -1432 @ 1.83772
3.27/3.34 c bounds 1046 >= -1431 @ 1.84174
3.27/3.34 c bounds 1046 >= -1430 @ 1.84666
3.27/3.34 c bounds 1046 >= -1429 @ 1.85161
3.27/3.34 c bounds 1046 >= -1428 @ 1.85543
3.27/3.34 c bounds 1046 >= -1427 @ 1.85932
3.27/3.34 c bounds 1046 >= -1426 @ 1.86397
3.27/3.34 c bounds 1046 >= -1425 @ 1.86774
3.27/3.34 c bounds 1046 >= -1424 @ 1.87063
3.27/3.34 c bounds 1046 >= -1423 @ 1.87638
3.27/3.34 c bounds 1046 >= -1422 @ 1.88112
3.27/3.34 c bounds 1046 >= -1421 @ 1.88516
3.27/3.34 c bounds 1046 >= -1420 @ 1.8877
3.27/3.34 c bounds 1046 >= -1419 @ 1.89254
3.27/3.34 c bounds 1046 >= -1418 @ 1.89634
3.27/3.34 c bounds 1046 >= -1417 @ 1.90012
3.27/3.34 c bounds 1046 >= -1416 @ 1.90517
3.27/3.34 c bounds 1046 >= -1415 @ 1.90776
3.27/3.34 c bounds 1046 >= -1414 @ 1.91256
3.27/3.34 c bounds 1046 >= -1413 @ 1.91641
3.27/3.34 c bounds 1046 >= -1412 @ 1.92108
3.27/3.34 c bounds 1046 >= -1411 @ 1.92506
3.27/3.34 c bounds 1046 >= -1410 @ 1.92862
3.27/3.34 c bounds 1046 >= -1409 @ 1.93347
3.27/3.34 c bounds 1046 >= -1408 @ 1.93723
3.27/3.34 c bounds 1046 >= -1407 @ 1.94201
3.27/3.34 c bounds 1046 >= -1406 @ 1.947
3.27/3.34 c bounds 1046 >= -1405 @ 1.9505
3.27/3.34 c bounds 1046 >= -1404 @ 1.95337
3.27/3.34 c bounds 1046 >= -1403 @ 1.95622
3.27/3.34 c bounds 1046 >= -1402 @ 1.96021
3.27/3.34 c bounds 1046 >= -1397 @ 1.96496
3.27/3.34 c bounds 1046 >= -1396 @ 1.96963
3.27/3.34 c bounds 1046 >= -1395 @ 1.97408
3.27/3.34 c bounds 1046 >= -1394 @ 1.97964
3.27/3.34 c bounds 1046 >= -1393 @ 1.98443
3.27/3.34 c bounds 1046 >= -1392 @ 1.98731
3.27/3.34 c bounds 1046 >= -1391 @ 1.99108
3.27/3.34 c bounds 1046 >= -1390 @ 1.99603
3.27/3.34 c bounds 1046 >= -1389 @ 1.99962
3.27/3.34 c bounds 1046 >= -1388 @ 2.00342
3.27/3.34 c bounds 1046 >= -1387 @ 2.00824
3.27/3.34 c bounds 1046 >= -1386 @ 2.01298
3.27/3.34 c bounds 1046 >= -1385 @ 2.01576
3.27/3.34 c bounds 1046 >= -1384 @ 2.02075
3.27/3.34 c bounds 1046 >= -1383 @ 2.02527
3.27/3.34 c bounds 1046 >= -1382 @ 2.02911
3.27/3.34 c bounds 1046 >= -1381 @ 2.03381
3.27/3.34 c bounds 1046 >= -1380 @ 2.0377
3.27/3.34 c bounds 1046 >= -1379 @ 2.04131
3.27/3.34 c bounds 1046 >= -1378 @ 2.04327
3.27/3.34 c bounds 1046 >= -1377 @ 2.04703
3.27/3.34 c bounds 1046 >= -1372 @ 2.05302
3.27/3.34 c bounds 1046 >= -1371 @ 2.05783
3.27/3.34 c bounds 1046 >= -1370 @ 2.06192
3.27/3.34 c bounds 1046 >= -1369 @ 2.06577
3.27/3.34 c bounds 1046 >= -1368 @ 2.06977
3.27/3.34 c bounds 1046 >= -1367 @ 2.07372
3.27/3.34 c bounds 1046 >= -1366 @ 2.07781
3.27/3.34 c bounds 1046 >= -1365 @ 2.08158
3.27/3.34 c bounds 1046 >= -1364 @ 2.08574
3.27/3.34 c bounds 1046 >= -1363 @ 2.08969
3.27/3.34 c bounds 1046 >= -1362 @ 2.0944
3.27/3.34 c bounds 1046 >= -1361 @ 2.09768
3.27/3.34 c bounds 1046 >= -1360 @ 2.10067
3.27/3.34 c bounds 1046 >= -1359 @ 2.10564
3.27/3.34 c bounds 1046 >= -1358 @ 2.1106
3.27/3.34 c bounds 1046 >= -1357 @ 2.11437
3.27/3.34 c bounds 1046 >= -1356 @ 2.11754
3.27/3.34 c bounds 1046 >= -1355 @ 2.12347
3.27/3.34 c bounds 1046 >= -1354 @ 2.12711
3.27/3.34 c bounds 1046 >= -1353 @ 2.13106
3.27/3.34 c bounds 1046 >= -1352 @ 2.13489
3.27/3.34 c bounds 1046 >= -1351 @ 2.13868
3.27/3.34 c bounds 1046 >= -1350 @ 2.14449
3.27/3.34 c bounds 1046 >= -1349 @ 2.14842
3.27/3.34 c bounds 1046 >= -1348 @ 2.1514
3.27/3.34 c bounds 1046 >= -1347 @ 2.15601
3.27/3.34 c bounds 1046 >= -1346 @ 2.16086
4.26/4.30 c bounds 1046 >= -1345 @ 2.16476
4.26/4.30 c bounds 1046 >= -1344 @ 2.17046
4.26/4.30 c bounds 1046 >= -1343 @ 2.17427
4.26/4.30 c bounds 1046 >= -1342 @ 2.17833
4.26/4.30 c bounds 1046 >= -1341 @ 2.18087
4.26/4.30 c bounds 1046 >= -1340 @ 2.18273
4.26/4.30 c bounds 1046 >= -1339 @ 2.1856
4.26/4.30 c bounds 1046 >= -1338 @ 2.18832
4.26/4.30 c bounds 1046 >= -1337 @ 2.19343
4.26/4.30 c bounds 1046 >= -1336 @ 2.19667
4.26/4.30 c bounds 1046 >= -1335 @ 2.20094
4.26/4.30 c bounds 1046 >= -1332 @ 2.2054
4.26/4.30 c bounds 1046 >= -1328 @ 2.20744
4.26/4.30 c bounds 1046 >= -1324 @ 2.21242
4.26/4.30 c bounds 1046 >= -1323 @ 2.2167
4.26/4.30 c bounds 1046 >= -1319 @ 2.22181
4.26/4.30 c bounds 1046 >= -1317 @ 2.22584
4.26/4.30 c bounds 1046 >= -1316 @ 2.23115
4.26/4.30 c bounds 1046 >= -1315 @ 2.23417
4.26/4.30 c bounds 1046 >= -1314 @ 2.23882
4.26/4.30 c bounds 1046 >= -1308 @ 2.24366
4.26/4.30 c bounds 1046 >= -1305 @ 2.24655
4.26/4.30 c bounds 1046 >= -1304 @ 2.25228
4.26/4.30 c bounds 1046 >= -1303 @ 2.25708
4.26/4.30 c bounds 1046 >= -1302 @ 2.26206
4.26/4.30 c bounds 1046 >= -1301 @ 2.26643
4.26/4.30 c bounds 1046 >= -1300 @ 2.26994
4.26/4.30 c bounds 1046 >= -1299 @ 2.27442
4.26/4.30 c bounds 1046 >= -1298 @ 2.2779
4.26/4.30 c bounds 1046 >= -1297 @ 2.28141
4.26/4.30 c bounds 1046 >= -1296 @ 2.28616
4.26/4.30 c bounds 1046 >= -1295 @ 2.28967
4.26/4.30 c bounds 1046 >= -1294 @ 2.29234
4.26/4.30 c bounds 1046 >= -1293 @ 2.29498
4.26/4.30 c bounds 1046 >= -1292 @ 2.29846
4.26/4.30 c bounds 1046 >= -1291 @ 2.30294
4.26/4.30 c bounds 1046 >= -1290 @ 2.30541
4.26/4.30 c bounds 1046 >= -1289 @ 2.31019
4.26/4.30 c bounds 1046 >= -1288 @ 2.31481
4.26/4.30 c bounds 1046 >= -1287 @ 2.3182
4.26/4.30 c bounds 1046 >= -1286 @ 2.32251
4.26/4.30 c bounds 1046 >= -1285 @ 2.32894
4.26/4.30 c bounds 1046 >= -1284 @ 2.33235
4.26/4.30 c bounds 1046 >= -1283 @ 2.33586
4.26/4.30 c bounds 1046 >= -1282 @ 2.33828
4.26/4.30 c bounds 1046 >= -1281 @ 2.34476
4.26/4.30 c bounds 1046 >= -1280 @ 2.34936
4.26/4.30 c bounds 1046 >= -1279 @ 2.35296
4.26/4.30 c bounds 1046 >= -1278 @ 2.35859
4.26/4.30 c bounds 1046 >= -1277 @ 2.36204
4.26/4.30 c bounds 1046 >= -1276 @ 2.36439
4.26/4.30 c bounds 1046 >= -1275 @ 2.36884
4.26/4.30 c bounds 1046 >= -1274 @ 2.37328
4.26/4.30 c bounds 1045 >= -1274 @ 2.38908
4.26/4.30 c bounds 1045 >= -1273 @ 2.3927
4.26/4.30 c bounds 1045 >= -1272 @ 2.39705
4.26/4.30 c bounds 1045 >= -1271 @ 2.40054
4.26/4.30 c bounds 1045 >= -1270 @ 2.40414
4.26/4.30 c bounds 1045 >= -1269 @ 2.4088
4.26/4.30 c bounds 1045 >= -1268 @ 2.41327
4.26/4.30 c bounds 1045 >= -1267 @ 2.41666
4.26/4.30 c bounds 1045 >= -1266 @ 2.42018
4.26/4.30 c bounds 1045 >= -1265 @ 2.42693
4.26/4.30 c bounds 1045 >= -1264 @ 2.43242
4.26/4.30 c bounds 1045 >= -1263 @ 2.43491
4.26/4.30 c bounds 1045 >= -1262 @ 2.43928
4.26/4.30 c bounds 1045 >= -1261 @ 2.44371
4.26/4.30 c bounds 1045 >= -1260 @ 2.44817
4.26/4.30 c bounds 1045 >= -1259 @ 2.45174
4.26/4.30 c bounds 1045 >= -1258 @ 2.45408
4.26/4.30 c bounds 1045 >= -1257 @ 2.45778
4.26/4.30 c bounds 1045 >= -1256 @ 2.4604
4.26/4.30 c bounds 1045 >= -1255 @ 2.46583
4.26/4.30 c bounds 1045 >= -1254 @ 2.4703
4.26/4.30 c bounds 1045 >= -1253 @ 2.47473
4.26/4.30 c bounds 1045 >= -1252 @ 2.47827
4.26/4.30 c bounds 1045 >= -1251 @ 2.48166
4.26/4.30 c bounds 1045 >= -1250 @ 2.48529
4.26/4.30 c bounds 1045 >= -1249 @ 2.4879
4.26/4.30 c bounds 1045 >= -1248 @ 2.49059
4.26/4.30 c bounds 1045 >= -1247 @ 2.49389
4.26/4.30 c bounds 1045 >= -1246 @ 2.49931
4.26/4.30 c bounds 1045 >= -1245 @ 2.50282
4.26/4.30 c bounds 1045 >= -1244 @ 2.50651
4.26/4.30 c bounds 1045 >= -1243 @ 2.50979
4.26/4.30 c bounds 1045 >= -1242 @ 2.51459
4.26/4.30 c bounds 1045 >= -1241 @ 2.51801
4.26/4.30 c bounds 1045 >= -1240 @ 2.52198
4.26/4.30 c bounds 1045 >= -1239 @ 2.52563
4.26/4.30 c bounds 1045 >= -1238 @ 2.53095
4.26/4.30 c bounds 1045 >= -1237 @ 2.53352
4.26/4.30 c bounds 1045 >= -1236 @ 2.53777
4.26/4.30 c bounds 1045 >= -1235 @ 2.54127
4.26/4.30 c bounds 1045 >= -1234 @ 2.54365
4.26/4.30 c bounds 1045 >= -1233 @ 2.54706
4.26/4.30 c bounds 1045 >= -1232 @ 2.55239
4.26/4.30 c bounds 1045 >= -1231 @ 2.55585
4.26/4.30 c bounds 1045 >= -1230 @ 2.56222
4.26/4.30 c bounds 1045 >= -1229 @ 2.56566
4.26/4.30 c bounds 1045 >= -1228 @ 2.5703
4.26/4.30 c bounds 1045 >= -1227 @ 2.57346
4.26/4.30 c bounds 1045 >= -1226 @ 2.57683
4.26/4.30 c bounds 1045 >= -1225 @ 2.58043
4.26/4.30 c bounds 1045 >= -1224 @ 2.58365
4.26/4.30 c bounds 1045 >= -1223 @ 2.58801
4.26/4.30 c bounds 1045 >= -1222 @ 2.59249
4.26/4.30 c bounds 1045 >= -1221 @ 2.59678
4.26/4.30 c bounds 1045 >= -1220 @ 2.60032
4.26/4.30 c bounds 1045 >= -1218 @ 2.60356
4.26/4.30 c bounds 1045 >= -1217 @ 2.60898
4.26/4.30 c bounds 1045 >= -1212 @ 2.61659
4.26/4.30 c bounds 1045 >= -1207 @ 2.62137
4.26/4.30 c bounds 1045 >= -1202 @ 2.62494
4.26/4.30 c bounds 1045 >= -1198 @ 2.62813
4.26/4.30 c bounds 1045 >= -1195 @ 2.63255
4.26/4.30 c bounds 1045 >= -1193 @ 2.63515
4.26/4.30 c bounds 1045 >= -1191 @ 2.63738
4.26/4.30 c bounds 1045 >= -1186 @ 2.64085
4.26/4.30 c bounds 1045 >= -1181 @ 2.64424
4.26/4.30 c bounds 1045 >= -1176 @ 2.64549
4.26/4.30 c bounds 1045 >= -1174 @ 2.64809
4.26/4.30 c bounds 1045 >= -1169 @ 2.65132
4.26/4.30 c bounds 1045 >= -1166 @ 2.6546
4.26/4.30 c bounds 1045 >= -1164 @ 2.65721
5.16/5.28 c bounds 1045 >= -1160 @ 2.66267
5.16/5.28 c bounds 1045 >= -1157 @ 2.66734
5.16/5.28 c bounds 1045 >= -1153 @ 2.67169
5.16/5.28 c bounds 1045 >= -1149 @ 2.67623
5.16/5.28 c bounds 1045 >= -1146 @ 2.67945
5.16/5.28 c bounds 1045 >= -1141 @ 2.68207
5.16/5.28 c bounds 1045 >= -1138 @ 2.68429
5.16/5.28 c bounds 1045 >= -1133 @ 2.68876
5.16/5.28 c bounds 1045 >= -1128 @ 2.69215
5.16/5.28 c bounds 1045 >= -1126 @ 2.69539
5.16/5.28 c bounds 1044 >= -1126 @ 2.72853
5.16/5.28 c bounds 1044 >= -1122 @ 2.73343
5.16/5.28 c bounds 1044 >= -1119 @ 2.73886
5.16/5.28 c bounds 1044 >= -1116 @ 2.74126
5.16/5.28 c bounds 1044 >= -1111 @ 2.74388
5.16/5.28 c bounds 1044 >= -1108 @ 2.74714
5.16/5.28 c bounds 1044 >= -1105 @ 2.7516
5.16/5.28 c bounds 1044 >= -1100 @ 2.75401
5.16/5.28 c bounds 1044 >= -1097 @ 2.75851
5.16/5.28 c bounds 1044 >= -1094 @ 2.76286
5.16/5.28 c bounds 1044 >= -1090 @ 2.76627
5.16/5.28 c bounds 1044 >= -1086 @ 2.77065
5.16/5.28 c bounds 1044 >= -1081 @ 2.7741
5.16/5.28 c bounds 1044 >= -1076 @ 2.77774
5.16/5.28 c bounds 1044 >= -1071 @ 2.78027
5.16/5.28 c bounds 1044 >= -1068 @ 2.78391
5.16/5.28 c bounds 1044 >= -1064 @ 2.7892
5.16/5.28 c bounds 1044 >= -1060 @ 2.79264
5.16/5.28 c bounds 1044 >= -1056 @ 2.79502
5.16/5.28 c bounds 1044 >= -1052 @ 2.79844
5.16/5.28 c bounds 1044 >= -1050 @ 2.80292
5.16/5.28 c bounds 1044 >= -1047 @ 2.80722
5.16/5.28 c bounds 1044 >= -1045 @ 2.81163
5.16/5.28 c bounds 1044 >= -1040 @ 2.81504
5.16/5.28 c bounds 1044 >= -1038 @ 2.82042
5.16/5.28 c bounds 1044 >= -1033 @ 2.82293
5.16/5.28 c bounds 1044 >= -1031 @ 2.82746
5.16/5.28 c bounds 1044 >= -1026 @ 2.83024
5.16/5.28 c bounds 1044 >= -1023 @ 2.83577
5.16/5.28 c bounds 1044 >= -1021 @ 2.83917
5.16/5.28 c bounds 1044 >= -1018 @ 2.84273
5.16/5.28 c bounds 1044 >= -1014 @ 2.84562
5.16/5.28 c bounds 1044 >= -1011 @ 2.84885
5.16/5.28 c bounds 1044 >= -1008 @ 2.85314
5.16/5.28 c bounds 1044 >= -1005 @ 2.85771
5.16/5.28 c bounds 1044 >= -1003 @ 2.86101
5.16/5.28 c bounds 1044 >= -1000 @ 2.86359
5.16/5.28 c bounds 1044 >= -996 @ 2.86782
5.16/5.28 c bounds 1044 >= -992 @ 2.8712
5.16/5.28 c bounds 1044 >= -987 @ 2.87656
5.16/5.28 c bounds 1044 >= -985 @ 2.88115
5.16/5.28 c bounds 1044 >= -980 @ 2.88574
5.16/5.28 c bounds 1044 >= -975 @ 2.89039
5.16/5.28 c bounds 1044 >= -970 @ 2.89574
5.16/5.28 c bounds 1044 >= -966 @ 2.89915
5.16/5.28 c bounds 1044 >= -961 @ 2.90161
5.16/5.28 c bounds 1044 >= -958 @ 2.9049
5.16/5.28 c bounds 1044 >= -955 @ 2.91047
5.16/5.28 c bounds 1044 >= -950 @ 2.91332
5.16/5.28 c bounds 1044 >= -948 @ 2.9159
5.16/5.28 c bounds 1044 >= -944 @ 2.9206
5.16/5.28 c bounds 1044 >= -939 @ 2.92436
5.16/5.28 c bounds 1044 >= -934 @ 2.92736
5.16/5.28 c bounds 1044 >= -930 @ 2.93307
5.16/5.28 c bounds 1044 >= -928 @ 2.93789
5.16/5.28 c bounds 1044 >= -925 @ 2.94158
5.16/5.28 c bounds 1044 >= -921 @ 2.94619
5.16/5.28 c bounds 1044 >= -917 @ 2.94866
5.16/5.28 c bounds 1044 >= -912 @ 2.95238
5.16/5.28 c bounds 1044 >= -908 @ 2.95571
5.16/5.28 c bounds 1044 >= -906 @ 2.9593
5.16/5.28 c bounds 1044 >= -903 @ 2.96383
5.16/5.28 c bounds 1044 >= -899 @ 2.96651
5.16/5.28 c bounds 1044 >= -895 @ 2.97001
5.16/5.28 c bounds 1044 >= -892 @ 2.97258
5.16/5.28 c bounds 1044 >= -890 @ 2.97712
5.16/5.28 c bounds 1044 >= -887 @ 2.98004
5.16/5.28 c bounds 1044 >= -882 @ 2.98248
5.16/5.28 c bounds 1044 >= -877 @ 2.98699
5.16/5.28 c bounds 1044 >= -873 @ 2.99146
5.16/5.28 c bounds 1044 >= -871 @ 2.99587
5.16/5.28 c bounds 1044 >= -868 @ 2.99831
5.16/5.28 c bounds 1044 >= -863 @ 3.00055
5.16/5.28 c bounds 1044 >= -859 @ 3.00403
5.16/5.28 c bounds 1044 >= -854 @ 3.00766
5.16/5.28 c bounds 1044 >= -849 @ 3.01026
5.16/5.28 c bounds 1044 >= -846 @ 3.0155
5.16/5.28 c bounds 1044 >= -841 @ 3.01999
5.16/5.28 c bounds 1044 >= -837 @ 3.02546
5.16/5.28 c bounds 1044 >= -833 @ 3.03005
5.16/5.28 c bounds 1044 >= -830 @ 3.03249
5.16/5.28 c bounds 1044 >= -825 @ 3.03625
5.16/5.28 c bounds 1044 >= -821 @ 3.04072
5.16/5.28 c bounds 1044 >= -815 @ 3.04339
5.16/5.28 c bounds 1044 >= -810 @ 3.04904
5.16/5.28 c bounds 1044 >= -808 @ 3.05137
5.16/5.28 c bounds 1044 >= -805 @ 3.05673
5.16/5.28 c bounds 1044 >= -803 @ 3.06207
5.16/5.28 c bounds 1044 >= -799 @ 3.06648
5.16/5.28 c bounds 1044 >= -797 @ 3.06992
5.16/5.28 c bounds 1044 >= -792 @ 3.07441
5.16/5.28 c bounds 1044 >= -786 @ 3.07981
5.16/5.28 c bounds 1044 >= -783 @ 3.08218
5.16/5.28 c bounds 1044 >= -778 @ 3.0848
5.16/5.28 c bounds 1044 >= -776 @ 3.08813
5.16/5.28 c bounds 1044 >= -771 @ 3.09364
5.16/5.28 c bounds 1044 >= -766 @ 3.09624
5.16/5.28 c bounds 1044 >= -765 @ 3.10185
5.16/5.28 c bounds 1044 >= -764 @ 3.10528
5.16/5.28 c bounds 1044 >= -763 @ 3.11074
5.16/5.28 c bounds 1044 >= -762 @ 3.11509
5.16/5.28 c bounds 1044 >= -761 @ 3.11936
5.16/5.28 c bounds 1044 >= -760 @ 3.12377
5.16/5.28 c bounds 1044 >= -759 @ 3.12619
5.16/5.28 c bounds 1044 >= -758 @ 3.12958
5.16/5.28 c bounds 1044 >= -757 @ 3.13396
5.16/5.28 c bounds 1044 >= -756 @ 3.13757
5.16/5.28 c bounds 1044 >= -755 @ 3.14014
5.16/5.28 c bounds 1044 >= -754 @ 3.14295
5.16/5.28 c bounds 1044 >= -752 @ 3.14764
5.16/5.28 c bounds 1044 >= -751 @ 3.15084
5.16/5.28 c bounds 1044 >= -750 @ 3.15472
5.16/5.28 c bounds 1044 >= -749 @ 3.16128
5.16/5.28 c bounds 1044 >= -748 @ 3.16701
5.16/5.28 c bounds 1044 >= -747 @ 3.17283
5.16/5.28 c bounds 1044 >= -746 @ 3.17744
5.16/5.28 c bounds 1044 >= -745 @ 3.18104
6.26/6.30 c bounds 1044 >= -744 @ 3.18567
6.26/6.30 c bounds 1044 >= -743 @ 3.19043
6.26/6.30 c bounds 1044 >= -742 @ 3.19406
6.26/6.30 c bounds 1044 >= -741 @ 3.19771
6.26/6.30 c bounds 1044 >= -740 @ 3.20139
6.26/6.30 c bounds 1044 >= -739 @ 3.20487
6.26/6.30 c bounds 1044 >= -738 @ 3.20937
6.26/6.30 c bounds 1044 >= -737 @ 3.21286
6.26/6.30 c bounds 1044 >= -736 @ 3.21634
6.26/6.30 c bounds 1044 >= -734 @ 3.22284
6.26/6.30 c bounds 1044 >= -733 @ 3.2274
6.26/6.30 c bounds 1044 >= -732 @ 3.23388
6.26/6.30 c bounds 1044 >= -731 @ 3.23831
6.26/6.30 c bounds 1044 >= -730 @ 3.24077
6.26/6.30 c bounds 1044 >= -729 @ 3.24513
6.26/6.30 c bounds 1044 >= -728 @ 3.24955
6.26/6.30 c bounds 1044 >= -727 @ 3.25222
6.26/6.30 c bounds 1043 >= -727 @ 3.27271
6.26/6.30 c bounds 1043 >= -726 @ 3.27729
6.26/6.30 c bounds 1043 >= -725 @ 3.28164
6.26/6.30 c bounds 1043 >= -724 @ 3.28505
6.26/6.30 c bounds 1043 >= -723 @ 3.2877
6.26/6.30 c bounds 1043 >= -722 @ 3.29204
6.26/6.30 c bounds 1043 >= -721 @ 3.29454
6.26/6.30 c bounds 1043 >= -720 @ 3.29875
6.26/6.30 c bounds 1043 >= -719 @ 3.30411
6.26/6.30 c bounds 1043 >= -718 @ 3.30768
6.26/6.30 c bounds 1043 >= -717 @ 3.31165
6.26/6.30 c bounds 1043 >= -716 @ 3.31613
6.26/6.30 c bounds 1043 >= -715 @ 3.31854
6.26/6.30 c bounds 1043 >= -714 @ 3.3219
6.26/6.30 c bounds 1043 >= -713 @ 3.32538
6.26/6.30 c bounds 1043 >= -712 @ 3.32965
6.26/6.30 c bounds 1043 >= -711 @ 3.33495
6.26/6.30 c bounds 1043 >= -710 @ 3.3384
6.26/6.30 c bounds 1043 >= -709 @ 3.34166
6.26/6.30 c bounds 1043 >= -708 @ 3.34424
6.26/6.30 c bounds 1043 >= -707 @ 3.34545
6.26/6.30 c bounds 1043 >= -706 @ 3.34989
6.26/6.30 c bounds 1043 >= -705 @ 3.35233
6.26/6.30 c bounds 1043 >= -704 @ 3.35489
6.26/6.30 c bounds 1043 >= -703 @ 3.35868
6.26/6.30 c bounds 1043 >= -702 @ 3.36139
6.26/6.30 c bounds 1043 >= -701 @ 3.36772
6.26/6.30 c bounds 1043 >= -700 @ 3.37126
6.26/6.30 c bounds 1043 >= -699 @ 3.37349
6.26/6.30 c bounds 1043 >= -698 @ 3.37897
6.26/6.30 c bounds 1043 >= -697 @ 3.38334
6.26/6.30 c bounds 1043 >= -696 @ 3.3876
6.26/6.30 c bounds 1043 >= -695 @ 3.39314
6.26/6.30 c bounds 1043 >= -694 @ 3.39736
6.26/6.30 c bounds 1043 >= -693 @ 3.40175
6.26/6.30 c bounds 1043 >= -692 @ 3.40422
6.26/6.30 c bounds 1043 >= -691 @ 3.40896
6.26/6.30 c bounds 1043 >= -690 @ 3.41203
6.26/6.30 c bounds 1043 >= -689 @ 3.41582
6.26/6.30 c bounds 1043 >= -688 @ 3.42037
6.26/6.30 c bounds 1043 >= -687 @ 3.42419
6.26/6.30 c bounds 1043 >= -686 @ 3.42903
6.26/6.30 c bounds 1043 >= -685 @ 3.43479
6.26/6.30 c bounds 1043 >= -684 @ 3.44051
6.26/6.30 c bounds 1043 >= -681 @ 3.4441
6.26/6.30 c bounds 1043 >= -680 @ 3.4496
6.26/6.30 c bounds 1043 >= -678 @ 3.456
6.26/6.30 c bounds 1043 >= -677 @ 3.46058
6.26/6.30 c bounds 1043 >= -676 @ 3.46273
6.26/6.30 c bounds 1043 >= -675 @ 3.46517
6.26/6.30 c bounds 1043 >= -674 @ 3.46898
6.26/6.30 c bounds 1043 >= -673 @ 3.47355
6.26/6.30 c bounds 1043 >= -672 @ 3.47812
6.26/6.30 c bounds 1043 >= -671 @ 3.48364
6.26/6.30 c bounds 1043 >= -669 @ 3.48612
6.26/6.30 c bounds 1043 >= -668 @ 3.49084
6.26/6.30 c bounds 1043 >= -667 @ 3.49522
6.26/6.30 c bounds 1043 >= -666 @ 3.50072
6.26/6.30 c bounds 1043 >= -665 @ 3.50442
6.26/6.30 c bounds 1043 >= -663 @ 3.50679
6.26/6.30 c bounds 1043 >= -662 @ 3.51002
6.26/6.30 c bounds 1043 >= -661 @ 3.51455
6.26/6.30 c bounds 1043 >= -660 @ 3.51862
6.26/6.30 c bounds 1043 >= -659 @ 3.52157
6.26/6.30 c bounds 1043 >= -658 @ 3.52532
6.26/6.30 c bounds 1043 >= -657 @ 3.52872
6.26/6.30 c bounds 1043 >= -656 @ 3.53202
6.26/6.30 c bounds 1043 >= -655 @ 3.53642
6.26/6.30 c bounds 1043 >= -652 @ 3.54096
6.26/6.30 c bounds 1043 >= -651 @ 3.54436
6.26/6.30 c bounds 1043 >= -650 @ 3.54898
6.26/6.30 c bounds 1043 >= -649 @ 3.5524
6.26/6.30 c bounds 1043 >= -648 @ 3.55478
6.26/6.30 c bounds 1043 >= -647 @ 3.55921
6.26/6.30 c bounds 1043 >= -646 @ 3.56366
6.26/6.30 c bounds 1043 >= -644 @ 3.56716
6.26/6.30 c bounds 1043 >= -642 @ 3.5715
6.26/6.30 c bounds 1043 >= -641 @ 3.57517
6.26/6.30 c bounds 1043 >= -640 @ 3.57868
6.26/6.30 c bounds 1043 >= -639 @ 3.58323
6.26/6.30 c bounds 1043 >= -638 @ 3.5877
6.26/6.30 c bounds 1043 >= -637 @ 3.59206
6.26/6.30 c bounds 1043 >= -636 @ 3.59561
6.26/6.30 c bounds 1043 >= -635 @ 3.59886
6.26/6.30 c bounds 1043 >= -634 @ 3.60324
6.26/6.30 c bounds 1043 >= -633 @ 3.60766
6.26/6.30 c bounds 1043 >= -632 @ 3.61142
6.26/6.30 c bounds 1043 >= -631 @ 3.6148
6.26/6.30 c bounds 1043 >= -630 @ 3.61818
6.26/6.30 c bounds 1043 >= -628 @ 3.62159
6.26/6.30 c bounds 1042 >= -628 @ 3.65168
6.26/6.30 c bounds 1042 >= -627 @ 3.65626
6.26/6.30 c bounds 1042 >= -626 @ 3.65984
6.26/6.30 c bounds 1042 >= -625 @ 3.66613
6.26/6.30 c bounds 1042 >= -624 @ 3.66857
6.26/6.30 c bounds 1042 >= -623 @ 3.67197
6.26/6.30 c bounds 1042 >= -622 @ 3.67635
6.26/6.30 c bounds 1042 >= -620 @ 3.68066
6.26/6.30 c bounds 1042 >= -619 @ 3.68329
6.26/6.30 c bounds 1042 >= -618 @ 3.68673
6.26/6.30 c bounds 1042 >= -617 @ 3.69024
6.26/6.30 c bounds 1042 >= -616 @ 3.69479
6.26/6.30 c bounds 1042 >= -615 @ 3.69818
6.26/6.30 c bounds 1042 >= -614 @ 3.7004
6.26/6.30 c bounds 1042 >= -613 @ 3.70377
6.26/6.30 c bounds 1042 >= -612 @ 3.70619
6.26/6.30 c bounds 1042 >= -611 @ 3.7094
6.26/6.30 c bounds 1042 >= -610 @ 3.71372
6.26/6.30 c bounds 1042 >= -609 @ 3.71805
6.26/6.30 c bounds 1042 >= -608 @ 3.72035
6.26/6.30 c bounds 1042 >= -607 @ 3.72572
6.26/6.30 c bounds 1042 >= -606 @ 3.72923
7.25/7.34 c bounds 1042 >= -605 @ 3.73275
7.25/7.34 c bounds 1042 >= -602 @ 3.73729
7.25/7.34 c bounds 1042 >= -601 @ 3.74092
7.25/7.34 c bounds 1042 >= -600 @ 3.74489
7.25/7.34 c bounds 1042 >= -599 @ 3.74811
7.25/7.34 c bounds 1042 >= -598 @ 3.75335
7.25/7.34 c bounds 1042 >= -597 @ 3.75673
7.25/7.34 c bounds 1042 >= -596 @ 3.76107
7.25/7.34 c bounds 1042 >= -595 @ 3.76551
7.25/7.34 c bounds 1042 >= -594 @ 3.76883
7.25/7.34 c bounds 1042 >= -593 @ 3.77422
7.25/7.34 c bounds 1042 >= -592 @ 3.77868
7.25/7.34 c bounds 1042 >= -591 @ 3.78305
7.25/7.34 c bounds 1042 >= -590 @ 3.78655
7.25/7.34 c bounds 1042 >= -589 @ 3.79006
7.25/7.34 c bounds 1042 >= -588 @ 3.79468
7.25/7.34 c bounds 1042 >= -587 @ 3.79912
7.25/7.34 c bounds 1042 >= -586 @ 3.8035
7.25/7.34 c bounds 1042 >= -585 @ 3.80596
7.25/7.34 c bounds 1042 >= -584 @ 3.8102
7.25/7.34 c bounds 1042 >= -583 @ 3.81459
7.25/7.34 c bounds 1042 >= -582 @ 3.81721
7.25/7.34 c bounds 1042 >= -581 @ 3.82162
7.25/7.34 c bounds 1042 >= -580 @ 3.82602
7.25/7.34 c bounds 1042 >= -579 @ 3.82938
7.25/7.34 c bounds 1042 >= -578 @ 3.83286
7.25/7.34 c bounds 1042 >= -577 @ 3.83616
7.25/7.34 c bounds 1042 >= -576 @ 3.83985
7.25/7.34 c bounds 1042 >= -575 @ 3.84358
7.25/7.34 c bounds 1042 >= -574 @ 3.84676
7.25/7.34 c bounds 1042 >= -573 @ 3.85115
7.25/7.34 c bounds 1042 >= -572 @ 3.85556
7.25/7.34 c bounds 1042 >= -571 @ 3.85901
7.25/7.34 c bounds 1042 >= -570 @ 3.86245
7.25/7.34 c bounds 1042 >= -569 @ 3.8648
7.25/7.34 c bounds 1042 >= -568 @ 3.8712
7.25/7.34 c bounds 1042 >= -567 @ 3.873
7.25/7.34 c bounds 1042 >= -566 @ 3.87779
7.25/7.34 c bounds 1042 >= -565 @ 3.88166
7.25/7.34 c bounds 1042 >= -564 @ 3.88535
7.25/7.34 c bounds 1042 >= -563 @ 3.88948
7.25/7.34 c bounds 1042 >= -562 @ 3.89363
7.25/7.34 c bounds 1042 >= -561 @ 3.89849
7.25/7.34 c bounds 1042 >= -560 @ 3.90428
7.25/7.34 c bounds 1042 >= -559 @ 3.90966
7.25/7.34 c bounds 1042 >= -558 @ 3.91428
7.25/7.34 c bounds 1042 >= -557 @ 3.91988
7.25/7.34 c bounds 1042 >= -556 @ 3.92542
7.25/7.34 c bounds 1042 >= -555 @ 3.93003
7.25/7.34 c bounds 1042 >= -554 @ 3.93367
7.25/7.34 c bounds 1042 >= -553 @ 3.93723
7.25/7.34 c bounds 1042 >= -552 @ 3.94186
7.25/7.34 c bounds 1042 >= -551 @ 3.9446
7.25/7.34 c bounds 1042 >= -550 @ 3.94926
7.25/7.34 c bounds 1042 >= -549 @ 3.95327
7.25/7.34 c bounds 1042 >= -548 @ 3.95861
7.25/7.34 c bounds 1042 >= -547 @ 3.96421
7.25/7.34 c bounds 1042 >= -545 @ 3.96874
7.25/7.34 c bounds 1042 >= -544 @ 3.97334
7.25/7.34 c bounds 1042 >= -540 @ 3.97803
7.25/7.34 c bounds 1042 >= -538 @ 3.98205
7.25/7.34 c bounds 1042 >= -536 @ 3.98551
7.25/7.34 c bounds 1042 >= -534 @ 3.98914
7.25/7.34 c bounds 1042 >= -531 @ 3.99266
7.25/7.34 c bounds 1042 >= -529 @ 3.99534
7.25/7.34 c bounds 1042 >= -527 @ 3.99888
7.25/7.34 c bounds 1042 >= -519 @ 4.00269
7.25/7.34 c bounds 1042 >= -517 @ 4.00748
7.25/7.34 c bounds 1042 >= -516 @ 4.01207
7.25/7.34 c bounds 1042 >= -507 @ 4.017
7.25/7.34 c bounds 1042 >= -506 @ 4.01931
7.25/7.34 c bounds 1042 >= -502 @ 4.02478
7.25/7.34 c bounds 1042 >= -501 @ 4.02638
7.25/7.34 c bounds 1042 >= -493 @ 4.03097
7.25/7.34 c bounds 1042 >= -485 @ 4.03309
7.25/7.34 c bounds 1042 >= -479 @ 4.03738
7.25/7.34 c bounds 1042 >= -468 @ 4.04013
7.25/7.34 c bounds 1042 >= -464 @ 4.0455
7.25/7.34 c bounds 1042 >= -461 @ 4.05104
7.25/7.34 c bounds 1042 >= -456 @ 4.0562
7.25/7.34 c bounds 1042 >= -453 @ 4.06291
7.25/7.34 c bounds 1042 >= -449 @ 4.06842
7.25/7.34 c bounds 1042 >= -446 @ 4.07393
7.25/7.34 c bounds 1042 >= -443 @ 4.07746
7.25/7.34 c bounds 1042 >= -439 @ 4.08012
7.25/7.34 c bounds 1042 >= -437 @ 4.08365
7.25/7.34 c bounds 1042 >= -432 @ 4.087
7.25/7.34 c bounds 1042 >= -429 @ 4.08997
7.25/7.34 c bounds 1042 >= -423 @ 4.09533
7.25/7.34 c bounds 1042 >= -419 @ 4.09902
7.25/7.34 c bounds 1042 >= -415 @ 4.1019
7.25/7.34 c bounds 1042 >= -412 @ 4.10567
7.25/7.34 c bounds 1042 >= -408 @ 4.10932
7.25/7.34 c bounds 1042 >= -404 @ 4.11214
7.25/7.34 c bounds 1042 >= -399 @ 4.11501
7.25/7.34 c bounds 1042 >= -394 @ 4.1196
7.25/7.34 c bounds 1042 >= -390 @ 4.12218
7.25/7.34 c bounds 1042 >= -380 @ 4.12669
7.25/7.34 c bounds 1042 >= -376 @ 4.13017
7.25/7.34 c bounds 1042 >= -374 @ 4.13465
7.25/7.34 c bounds 1042 >= -373 @ 4.13816
7.25/7.34 c bounds 1042 >= -370 @ 4.14366
7.25/7.34 c bounds 1042 >= -367 @ 4.14624
7.25/7.34 c bounds 1042 >= -364 @ 4.15171
7.25/7.34 c bounds 1042 >= -359 @ 4.15427
7.25/7.34 c bounds 1042 >= -358 @ 4.15992
7.25/7.34 c bounds 1042 >= -349 @ 4.16446
7.25/7.34 c bounds 1042 >= -344 @ 4.16725
7.25/7.34 c bounds 1042 >= -342 @ 4.17265
7.25/7.34 c bounds 1042 >= -340 @ 4.17673
7.25/7.34 c bounds 1042 >= -336 @ 4.18066
7.25/7.34 c bounds 1042 >= -333 @ 4.1846
7.25/7.34 c bounds 1042 >= -331 @ 4.18963
7.25/7.34 c bounds 1042 >= -328 @ 4.19258
7.25/7.34 c bounds 1042 >= -327 @ 4.19752
7.25/7.34 c bounds 1042 >= -320 @ 4.20068
7.25/7.34 c bounds 1042 >= -316 @ 4.2039
7.25/7.34 c bounds 1042 >= -311 @ 4.20796
7.25/7.34 c bounds 1042 >= -308 @ 4.21107
7.25/7.34 c bounds 1042 >= -303 @ 4.21404
7.25/7.34 c bounds 1042 >= -296 @ 4.21788
7.25/7.34 c bounds 1042 >= -291 @ 4.22378
7.25/7.34 c bounds 1042 >= -287 @ 4.22773
7.25/7.34 c bounds 1042 >= -281 @ 4.23351
7.25/7.34 c bounds 1042 >= -273 @ 4.23632
7.25/7.34 c bounds 1042 >= -266 @ 4.23996
7.25/7.34 c bounds 1041 >= -266 @ 4.29558
7.25/7.34 c bounds 1041 >= -256 @ 4.30059
8.25/8.36 c bounds 1041 >= -254 @ 4.30348
8.25/8.36 c bounds 1041 >= -249 @ 4.30705
8.25/8.36 c bounds 1041 >= -247 @ 4.31055
8.25/8.36 c bounds 1041 >= -245 @ 4.31418
8.25/8.36 c bounds 1041 >= -244 @ 4.31665
8.25/8.36 c bounds 1041 >= -236 @ 4.32034
8.25/8.36 c bounds 1041 >= -233 @ 4.32407
8.25/8.36 c bounds 1041 >= -227 @ 4.32641
8.25/8.36 c bounds 1041 >= -219 @ 4.33015
8.25/8.36 c bounds 1041 >= -214 @ 4.33392
8.25/8.36 c bounds 1041 >= -211 @ 4.33651
8.25/8.36 c bounds 1041 >= -206 @ 4.34106
8.25/8.36 c bounds 1041 >= -203 @ 4.34561
8.25/8.36 c bounds 1041 >= -194 @ 4.34731
8.25/8.36 c bounds 1041 >= -187 @ 4.35175
8.25/8.36 c bounds 1041 >= -186 @ 4.35437
8.25/8.36 c bounds 1041 >= -183 @ 4.35728
8.25/8.36 c bounds 1041 >= -182 @ 4.35976
8.25/8.36 c bounds 1041 >= -181 @ 4.36334
8.25/8.36 c bounds 1041 >= -171 @ 4.36981
8.25/8.36 c bounds 1041 >= -164 @ 4.37546
8.25/8.36 c bounds 1041 >= -160 @ 4.37833
8.25/8.36 c bounds 1041 >= -153 @ 4.38204
8.25/8.36 c bounds 1041 >= -146 @ 4.38482
8.25/8.36 c bounds 1041 >= -138 @ 4.38948
8.25/8.36 c bounds 1041 >= -130 @ 4.394
8.25/8.36 c bounds 1041 >= -123 @ 4.39873
8.25/8.36 c bounds 1041 >= -116 @ 4.40227
8.25/8.36 c bounds 1041 >= -108 @ 4.40679
8.25/8.36 c bounds 1041 >= -103 @ 4.41037
8.25/8.36 c bounds 1041 >= -99 @ 4.41405
8.25/8.36 c bounds 1041 >= -95 @ 4.41884
8.25/8.36 c bounds 1041 >= -90 @ 4.42236
8.25/8.36 c bounds 1041 >= -86 @ 4.42509
8.25/8.36 c bounds 1041 >= -78 @ 4.42985
8.25/8.36 c bounds 1041 >= -74 @ 4.43263
8.25/8.36 c bounds 1041 >= -67 @ 4.43708
8.25/8.36 c bounds 1041 >= -60 @ 4.44368
8.25/8.36 c bounds 1041 >= -56 @ 4.4483
8.25/8.36 c bounds 1041 >= -52 @ 4.45303
8.25/8.36 c bounds 1041 >= -44 @ 4.4575
8.25/8.36 c bounds 1041 >= -40 @ 4.46126
8.25/8.36 c bounds 1041 >= -36 @ 4.46397
8.25/8.36 c bounds 1041 >= -32 @ 4.46718
8.25/8.36 c bounds 1041 >= -30 @ 4.4713
8.25/8.36 c bounds 1041 >= -23 @ 4.47567
8.25/8.36 c bounds 1041 >= -19 @ 4.47972
8.25/8.36 c bounds 1041 >= -16 @ 4.48275
8.25/8.36 c bounds 1041 >= -11 @ 4.48595
8.25/8.36 c bounds 1041 >= -6 @ 4.49198
8.25/8.36 c bounds 1041 >= -3 @ 4.49697
8.25/8.36 c bounds 1041 >= 2 @ 4.50199
8.25/8.36 c bounds 1041 >= 4 @ 4.50696
8.25/8.36 c bounds 1041 >= 10 @ 4.51101
8.25/8.36 c bounds 1041 >= 12 @ 4.51588
8.25/8.36 c bounds 1041 >= 15 @ 4.52163
8.25/8.36 c bounds 1041 >= 18 @ 4.52644
8.25/8.36 c bounds 1041 >= 19 @ 4.53044
8.25/8.36 c bounds 1041 >= 26 @ 4.53522
8.25/8.36 c bounds 1041 >= 32 @ 4.54116
8.25/8.36 c bounds 1041 >= 40 @ 4.544
8.25/8.36 c bounds 1041 >= 48 @ 4.5478
8.25/8.36 c bounds 1041 >= 52 @ 4.55253
8.25/8.36 c bounds 1041 >= 57 @ 4.55827
8.25/8.36 c bounds 1041 >= 58 @ 4.56201
8.25/8.36 c bounds 1041 >= 66 @ 4.56583
8.25/8.36 c bounds 1041 >= 68 @ 4.56958
8.25/8.36 c bounds 1041 >= 76 @ 4.57433
8.25/8.36 c bounds 1041 >= 84 @ 4.57916
8.25/8.36 c bounds 1041 >= 88 @ 4.5839
8.25/8.36 c bounds 1041 >= 92 @ 4.58671
8.25/8.36 c bounds 1041 >= 96 @ 4.5905
8.25/8.36 c bounds 1041 >= 100 @ 4.59533
8.25/8.36 c bounds 1041 >= 108 @ 4.59821
8.25/8.36 c bounds 1041 >= 112 @ 4.60085
8.25/8.36 c bounds 1041 >= 120 @ 4.60733
8.25/8.36 c bounds 1041 >= 124 @ 4.61185
8.25/8.36 c bounds 1041 >= 132 @ 4.61554
8.25/8.36 c bounds 1041 >= 137 @ 4.62096
8.25/8.36 c bounds 1041 >= 145 @ 4.6246
8.25/8.36 c bounds 1041 >= 149 @ 4.62833
8.25/8.36 c bounds 1041 >= 156 @ 4.6324
8.25/8.36 c bounds 1041 >= 159 @ 4.63598
8.25/8.36 c bounds 1041 >= 162 @ 4.64051
8.25/8.36 c bounds 1041 >= 163 @ 4.64413
8.25/8.36 c bounds 1041 >= 166 @ 4.64766
8.25/8.36 c bounds 1041 >= 170 @ 4.65141
8.25/8.36 c bounds 1041 >= 178 @ 4.65611
8.25/8.36 c bounds 1041 >= 186 @ 4.6588
8.25/8.36 c bounds 1041 >= 188 @ 4.66235
8.25/8.36 c bounds 1041 >= 189 @ 4.66478
8.25/8.36 c bounds 1041 >= 194 @ 4.66737
8.25/8.36 c bounds 1041 >= 199 @ 4.67276
8.25/8.36 c bounds 1041 >= 203 @ 4.67629
8.25/8.36 c bounds 1041 >= 208 @ 4.67978
8.25/8.36 c bounds 1041 >= 215 @ 4.6833
8.25/8.36 c bounds 1041 >= 219 @ 4.68678
8.25/8.36 c bounds 1041 >= 227 @ 4.68937
8.25/8.36 c bounds 1041 >= 229 @ 4.69491
8.25/8.36 c bounds 1041 >= 233 @ 4.6984
8.25/8.36 c bounds 1041 >= 234 @ 4.70122
8.25/8.36 c bounds 1041 >= 241 @ 4.70482
8.25/8.36 c bounds 1041 >= 244 @ 4.70849
8.25/8.36 c bounds 1041 >= 252 @ 4.71325
8.25/8.36 c bounds 1041 >= 256 @ 4.71673
8.25/8.36 c bounds 1041 >= 264 @ 4.72029
8.25/8.36 c bounds 1041 >= 268 @ 4.72483
8.25/8.36 c bounds 1041 >= 272 @ 4.72828
8.25/8.36 c bounds 1041 >= 277 @ 4.73181
8.25/8.36 c bounds 1041 >= 285 @ 4.73628
8.25/8.36 c bounds 1041 >= 293 @ 4.7399
8.25/8.36 c bounds 1041 >= 301 @ 4.74365
8.25/8.36 c bounds 1041 >= 304 @ 4.74923
8.25/8.36 c bounds 1041 >= 313 @ 4.75394
8.25/8.36 c bounds 1041 >= 321 @ 4.75774
8.25/8.36 c bounds 1041 >= 325 @ 4.76311
8.25/8.36 c bounds 1041 >= 330 @ 4.76667
8.25/8.36 c bounds 1041 >= 335 @ 4.77016
8.25/8.36 c bounds 1041 >= 338 @ 4.77487
8.25/8.36 c bounds 1041 >= 346 @ 4.77982
8.25/8.36 c bounds 1041 >= 354 @ 4.78314
8.25/8.36 c bounds 1041 >= 362 @ 4.78593
8.25/8.36 c bounds 1041 >= 363 @ 4.78827
8.25/8.36 c bounds 1041 >= 364 @ 4.79112
8.25/8.36 c bounds 1041 >= 365 @ 4.79541
8.25/8.36 c bounds 1041 >= 366 @ 4.80004
8.25/8.36 c bounds 1041 >= 367 @ 4.80465
8.25/8.36 c bounds 1041 >= 368 @ 4.80818
8.25/8.36 c bounds 1041 >= 369 @ 4.81279
8.25/8.36 c bounds 1041 >= 370 @ 4.81714
8.25/8.36 c bounds 1041 >= 372 @ 4.82078
8.25/8.36 c bounds 1041 >= 373 @ 4.82418
8.25/8.36 c bounds 1041 >= 374 @ 4.82783
9.36/9.48 c bounds 1041 >= 375 @ 4.83131
9.36/9.48 c bounds 1041 >= 376 @ 4.83385
9.36/9.48 c bounds 1041 >= 377 @ 4.83617
9.36/9.48 c bounds 1041 >= 378 @ 4.83881
9.36/9.48 c bounds 1041 >= 379 @ 4.84232
9.36/9.48 c bounds 1041 >= 380 @ 4.84492
9.36/9.48 c bounds 1041 >= 381 @ 4.84967
9.36/9.48 c bounds 1041 >= 382 @ 4.85317
9.36/9.48 c bounds 1041 >= 383 @ 4.85575
9.36/9.48 c bounds 1041 >= 387 @ 4.85907
9.36/9.48 c bounds 1041 >= 393 @ 4.86169
9.36/9.48 c bounds 1041 >= 396 @ 4.86417
9.36/9.48 c bounds 1041 >= 397 @ 4.86769
9.36/9.48 c bounds 1041 >= 403 @ 4.87135
9.36/9.48 c bounds 1041 >= 405 @ 4.87387
9.36/9.48 c bounds 1041 >= 411 @ 4.8775
9.36/9.48 c bounds 1041 >= 412 @ 4.88199
9.36/9.48 c bounds 1041 >= 414 @ 4.88566
9.36/9.48 c bounds 1041 >= 417 @ 4.89128
9.36/9.48 c bounds 1041 >= 424 @ 4.89516
9.36/9.48 c bounds 1041 >= 427 @ 4.89965
9.36/9.48 c bounds 1041 >= 433 @ 4.90431
9.36/9.48 c bounds 1041 >= 439 @ 4.90778
9.36/9.48 c bounds 1041 >= 445 @ 4.91328
9.36/9.48 c bounds 1041 >= 451 @ 4.91746
9.36/9.48 c bounds 1041 >= 453 @ 4.91988
9.36/9.48 c bounds 1041 >= 454 @ 4.92634
9.36/9.48 c bounds 1041 >= 456 @ 4.9291
9.36/9.48 c bounds 1041 >= 457 @ 4.93554
9.36/9.48 c bounds 1041 >= 459 @ 4.9399
9.36/9.48 c bounds 1041 >= 461 @ 4.94558
9.36/9.48 c bounds 1041 >= 465 @ 4.94873
9.36/9.48 c bounds 1041 >= 467 @ 4.95157
9.36/9.48 c bounds 1041 >= 471 @ 4.95526
9.36/9.48 c bounds 1041 >= 473 @ 4.95873
9.36/9.48 c bounds 1041 >= 479 @ 4.96242
9.36/9.48 c bounds 1041 >= 480 @ 4.96782
9.36/9.48 c bounds 1041 >= 486 @ 4.97151
9.36/9.48 c bounds 1041 >= 488 @ 4.97559
9.36/9.48 c bounds 1041 >= 490 @ 4.98176
9.36/9.48 c bounds 1041 >= 496 @ 4.98776
9.36/9.48 c bounds 1041 >= 499 @ 4.99211
9.36/9.48 c bounds 1041 >= 500 @ 4.99808
9.36/9.48 c bounds 1041 >= 501 @ 5.00209
9.36/9.48 c bounds 1041 >= 505 @ 5.007
9.36/9.48 c bounds 1041 >= 507 @ 5.01218
9.36/9.48 c bounds 1041 >= 513 @ 5.01726
9.36/9.48 c bounds 1041 >= 519 @ 5.0222
9.36/9.48 c bounds 1041 >= 521 @ 5.0272
9.36/9.48 c bounds 1041 >= 524 @ 5.03033
9.36/9.48 c bounds 1041 >= 525 @ 5.03524
9.36/9.48 c bounds 1041 >= 526 @ 5.03913
9.36/9.48 c bounds 1041 >= 528 @ 5.04413
9.36/9.48 c bounds 1041 >= 529 @ 5.04687
9.36/9.48 c bounds 1041 >= 530 @ 5.05051
9.36/9.48 c bounds 1041 >= 535 @ 5.05433
9.36/9.48 c bounds 1041 >= 541 @ 5.05914
9.36/9.48 c bounds 1041 >= 547 @ 5.06314
9.36/9.48 c bounds 1041 >= 552 @ 5.06909
9.36/9.48 c bounds 1041 >= 558 @ 5.07375
9.36/9.48 c bounds 1041 >= 563 @ 5.07772
9.36/9.48 c bounds 1041 >= 565 @ 5.08137
9.36/9.48 c bounds 1041 >= 570 @ 5.08584
9.36/9.48 c bounds 1041 >= 571 @ 5.08939
9.36/9.48 c bounds 1041 >= 574 @ 5.09419
9.36/9.48 c bounds 1041 >= 577 @ 5.09907
9.36/9.48 c bounds 1041 >= 580 @ 5.10273
9.36/9.48 c bounds 1041 >= 583 @ 5.10667
9.36/9.48 c bounds 1041 >= 584 @ 5.11125
9.36/9.48 c bounds 1041 >= 585 @ 5.11617
9.36/9.48 c bounds 1041 >= 586 @ 5.11915
9.36/9.48 c bounds 1041 >= 587 @ 5.12393
9.36/9.48 c bounds 1041 >= 588 @ 5.12849
9.36/9.48 c bounds 1041 >= 590 @ 5.13293
9.36/9.48 c bounds 1041 >= 591 @ 5.13662
9.36/9.48 c bounds 1041 >= 592 @ 5.1414
9.36/9.48 c bounds 1041 >= 593 @ 5.14493
9.36/9.48 c bounds 1041 >= 594 @ 5.14803
9.36/9.48 c bounds 1041 >= 595 @ 5.15288
9.36/9.48 c bounds 1041 >= 596 @ 5.15759
9.36/9.48 c bounds 1041 >= 597 @ 5.16239
9.36/9.48 c bounds 1041 >= 598 @ 5.16744
9.36/9.48 c bounds 1041 >= 599 @ 5.17251
9.36/9.48 c bounds 1041 >= 600 @ 5.17657
9.36/9.48 c bounds 1041 >= 601 @ 5.18365
9.36/9.48 c bounds 1041 >= 602 @ 5.18669
9.36/9.48 c bounds 1041 >= 603 @ 5.19246
9.36/9.48 c bounds 1041 >= 604 @ 5.19552
9.36/9.48 c bounds 1041 >= 605 @ 5.2014
9.36/9.48 c bounds 1041 >= 606 @ 5.20711
9.36/9.48 c bounds 1041 >= 607 @ 5.21223
9.36/9.48 c bounds 1041 >= 608 @ 5.21598
9.36/9.48 c bounds 1041 >= 609 @ 5.22199
9.36/9.48 c bounds 1041 >= 610 @ 5.22779
9.36/9.48 c bounds 1041 >= 611 @ 5.23318
9.36/9.48 c bounds 1041 >= 612 @ 5.23618
9.36/9.48 c bounds 1041 >= 613 @ 5.24137
9.36/9.48 c bounds 1041 >= 614 @ 5.24567
9.36/9.48 c bounds 1041 >= 615 @ 5.25136
9.36/9.48 c bounds 1041 >= 616 @ 5.25661
9.36/9.48 c bounds 1041 >= 617 @ 5.26166
9.36/9.48 c bounds 1041 >= 618 @ 5.26456
9.36/9.48 c bounds 1041 >= 619 @ 5.26717
9.36/9.48 c bounds 1041 >= 620 @ 5.27251
9.36/9.48 c bounds 1041 >= 621 @ 5.27707
9.36/9.48 c bounds 1041 >= 622 @ 5.28069
9.36/9.48 c bounds 1041 >= 623 @ 5.28579
9.36/9.48 c bounds 1041 >= 624 @ 5.28957
9.36/9.48 c bounds 1041 >= 625 @ 5.29368
9.36/9.48 c bounds 1041 >= 626 @ 5.2975
9.36/9.48 c bounds 1041 >= 627 @ 5.30062
9.36/9.48 c bounds 1041 >= 628 @ 5.30544
9.36/9.48 c bounds 1041 >= 629 @ 5.31155
9.36/9.48 c bounds 1041 >= 630 @ 5.31777
9.36/9.48 c bounds 1041 >= 631 @ 5.3197
9.36/9.48 c bounds 1041 >= 632 @ 5.32322
9.36/9.48 c bounds 1041 >= 633 @ 5.3281
9.36/9.48 c bounds 1041 >= 634 @ 5.33327
9.36/9.48 c bounds 1041 >= 635 @ 5.3401
9.36/9.48 c bounds 1041 >= 636 @ 5.34511
9.36/9.48 c bounds 1041 >= 637 @ 5.35078
9.36/9.48 c bounds 1041 >= 638 @ 5.35647
9.36/9.48 c bounds 1041 >= 639 @ 5.361
9.36/9.48 c bounds 1041 >= 640 @ 5.36739
9.36/9.48 c bounds 1041 >= 641 @ 5.37111
9.36/9.48 c bounds 1041 >= 642 @ 5.379
9.36/9.48 c bounds 1041 >= 643 @ 5.38263
9.36/9.48 c bounds 1041 >= 644 @ 5.39091
9.36/9.48 c bounds 1040 >= 644 @ 5.39972
9.36/9.48 c bounds 1040 >= 645 @ 5.4023
9.36/9.48 c bounds 1040 >= 646 @ 5.40767
9.36/9.48 c bounds 1040 >= 647 @ 5.41096
11.34/11.40 c bounds 1040 >= 648 @ 5.41507
11.34/11.40 c bounds 1040 >= 649 @ 5.41968
11.34/11.40 c bounds 1040 >= 650 @ 5.4248
11.34/11.40 c bounds 1040 >= 651 @ 5.42916
11.34/11.40 c bounds 1040 >= 652 @ 5.43199
11.34/11.40 c bounds 1040 >= 653 @ 5.43609
11.34/11.40 c bounds 1040 >= 654 @ 5.44345
11.34/11.40 c bounds 1040 >= 655 @ 5.44776
11.34/11.40 c bounds 1040 >= 656 @ 5.45386
11.34/11.40 c bounds 1040 >= 657 @ 5.45904
11.34/11.40 c bounds 1040 >= 658 @ 5.46272
11.34/11.40 c bounds 1040 >= 659 @ 5.46697
11.34/11.40 c bounds 1040 >= 660 @ 5.47127
11.34/11.40 c bounds 1040 >= 661 @ 5.47702
11.34/11.40 c bounds 1039 >= 661 @ 5.52686
11.34/11.40 c bounds 1039 >= 662 @ 5.5304
11.34/11.40 c bounds 1039 >= 663 @ 5.53701
11.34/11.40 c bounds 1039 >= 664 @ 5.54089
11.34/11.40 c bounds 1039 >= 665 @ 5.54588
11.34/11.40 c bounds 1039 >= 666 @ 5.55062
11.34/11.40 c bounds 1039 >= 667 @ 5.55437
11.34/11.40 c bounds 1039 >= 668 @ 5.559
11.34/11.40 c bounds 1039 >= 669 @ 5.5628
11.34/11.40 c bounds 1039 >= 670 @ 5.56755
11.34/11.40 c bounds 1039 >= 671 @ 5.57058
11.34/11.40 c bounds 1039 >= 672 @ 5.57495
11.34/11.40 c bounds 1039 >= 673 @ 5.57878
11.34/11.40 c bounds 1039 >= 674 @ 5.58442
11.34/11.40 c bounds 1039 >= 675 @ 5.58896
11.34/11.40 c bounds 1039 >= 676 @ 5.5951
11.34/11.40 c bounds 1039 >= 677 @ 5.5999
11.34/11.40 c bounds 1039 >= 678 @ 5.60489
11.34/11.40 c bounds 1039 >= 679 @ 5.6086
11.34/11.40 c bounds 1039 >= 680 @ 5.61346
11.34/11.40 c bounds 1039 >= 681 @ 5.61718
11.34/11.40 c bounds 1039 >= 682 @ 5.62283
11.34/11.40 c bounds 1039 >= 683 @ 5.62856
11.34/11.40 c bounds 1039 >= 684 @ 5.63349
11.34/11.40 c bounds 1039 >= 685 @ 5.63745
11.34/11.40 c bounds 1039 >= 686 @ 5.6422
11.34/11.40 c bounds 1039 >= 687 @ 5.64552
11.34/11.40 c bounds 1039 >= 688 @ 5.6498
11.34/11.40 c bounds 1039 >= 689 @ 5.65276
11.34/11.40 c bounds 1039 >= 690 @ 5.66092
11.34/11.40 c bounds 1039 >= 691 @ 5.6661
11.34/11.40 c bounds 1039 >= 692 @ 5.67577
11.34/11.40 c bounds 1039 >= 693 @ 5.68601
11.34/11.40 c bounds 1039 >= 694 @ 5.69065
11.34/11.40 c bounds 1039 >= 695 @ 5.69543
11.34/11.40 c bounds 1039 >= 696 @ 5.70144
11.34/11.40 c bounds 1039 >= 697 @ 5.70585
11.34/11.40 c bounds 1039 >= 698 @ 5.70978
11.34/11.40 c bounds 1039 >= 699 @ 5.71493
11.34/11.40 c bounds 1039 >= 700 @ 5.72097
11.34/11.40 c bounds 1039 >= 701 @ 5.72536
11.34/11.40 c bounds 1039 >= 702 @ 5.73768
11.34/11.40 c bounds 1039 >= 703 @ 5.74449
11.34/11.40 c bounds 1039 >= 704 @ 5.7494
11.34/11.40 c bounds 1039 >= 705 @ 5.75942
11.34/11.40 c bounds 1039 >= 706 @ 5.76728
11.34/11.40 c bounds 1039 >= 707 @ 5.77439
11.34/11.40 c bounds 1039 >= 708 @ 5.78232
11.34/11.40 c bounds 1039 >= 709 @ 5.79391
11.34/11.40 c bounds 1039 >= 710 @ 5.80006
11.34/11.40 c bounds 1039 >= 711 @ 5.80446
11.34/11.40 c bounds 1039 >= 712 @ 5.81134
11.34/11.40 c bounds 1039 >= 713 @ 5.81597
11.34/11.40 c bounds 1039 >= 714 @ 5.82306
11.34/11.40 c bounds 1039 >= 715 @ 5.82825
11.34/11.40 c bounds 1039 >= 716 @ 5.83487
11.34/11.40 c bounds 1039 >= 717 @ 5.83897
11.34/11.40 c bounds 1039 >= 718 @ 5.84725
11.34/11.40 c bounds 1039 >= 719 @ 5.85134
11.34/11.40 c bounds 1039 >= 720 @ 5.85547
11.34/11.40 c bounds 1039 >= 721 @ 5.8577
11.34/11.40 c bounds 1039 >= 722 @ 5.86477
11.34/11.40 c bounds 1038 >= 722 @ 5.87655
11.34/11.40 c bounds 1038 >= 723 @ 5.88081
11.34/11.40 c bounds 1038 >= 724 @ 5.88936
11.34/11.40 c bounds 1038 >= 725 @ 5.89438
11.34/11.40 c bounds 1038 >= 726 @ 5.89819
11.34/11.40 c bounds 1038 >= 727 @ 5.90267
11.34/11.40 c bounds 1038 >= 728 @ 5.90602
11.34/11.40 c bounds 1038 >= 729 @ 5.90964
11.34/11.40 c bounds 1037 >= 729 @ 5.92273
11.34/11.40 c bounds 1037 >= 730 @ 5.93107
11.34/11.40 c bounds 1037 >= 731 @ 5.93665
11.34/11.40 c bounds 1037 >= 732 @ 5.96183
11.34/11.40 c bounds 1036 >= 732 @ 5.97393
11.34/11.40 c #Conflicts: 1000 | #Constraints: 15901
11.34/11.40 c bounds 1036 >= 733 @ 6.06494
11.34/11.40 c bounds 1035 >= 733 @ 6.07659
11.34/11.40 c bounds 1034 >= 733 @ 6.09067
11.34/11.40 c bounds 1033 >= 733 @ 6.10234
11.34/11.40 c bounds 1032 >= 733 @ 6.11206
11.34/11.40 c bounds 1031 >= 733 @ 6.11986
11.34/11.40 c bounds 1031 >= 734 @ 6.12758
11.34/11.40 c bounds 1031 >= 735 @ 6.13485
11.34/11.40 c bounds 1031 >= 736 @ 6.13891
11.34/11.41 c bounds 1030 >= 736 @ 6.14906
11.34/11.41 c bounds 1030 >= 737 @ 6.15453
11.34/11.41 c bounds 1030 >= 738 @ 6.16251
11.34/11.41 c bounds 1030 >= 739 @ 6.1666
11.34/11.41 c bounds 1030 >= 740 @ 6.29482
11.34/11.41 c bounds 1029 >= 740 @ 6.30391
11.34/11.41 c bounds 1028 >= 740 @ 6.31542
11.34/11.41 c bounds 1027 >= 740 @ 6.32737
11.34/11.41 c bounds 1026 >= 740 @ 6.33749
11.34/11.41 c bounds 1025 >= 740 @ 6.35279
11.34/11.41 c bounds 1024 >= 740 @ 6.52761
11.34/11.41 c bounds 1024 >= 741 @ 6.53261
11.34/11.41 c bounds 1024 >= 742 @ 6.53775
11.34/11.41 c bounds 1024 >= 743 @ 6.54347
11.34/11.41 c bounds 1024 >= 744 @ 6.55175
11.34/11.41 c bounds 1024 >= 745 @ 6.55841
11.34/11.41 c bounds 1024 >= 746 @ 6.56458
11.34/11.41 c bounds 1024 >= 747 @ 6.56876
11.34/11.41 c bounds 1024 >= 748 @ 6.57381
11.34/11.41 c bounds 1024 >= 749 @ 6.57889
11.34/11.41 c bounds 1024 >= 750 @ 6.58297
11.34/11.41 c bounds 1024 >= 751 @ 6.58712
11.34/11.41 c bounds 1024 >= 752 @ 6.59132
11.34/11.41 c bounds 1024 >= 753 @ 6.59772
11.34/11.41 c bounds 1024 >= 754 @ 6.60283
11.34/11.41 c bounds 1024 >= 755 @ 6.60625
11.34/11.41 c bounds 1024 >= 756 @ 6.60896
11.34/11.41 c bounds 1024 >= 757 @ 6.61335
11.34/11.41 c bounds 1024 >= 758 @ 6.61916
11.34/11.41 c bounds 1024 >= 759 @ 6.62444
11.34/11.41 c bounds 1024 >= 760 @ 6.63028
11.34/11.41 c bounds 1024 >= 761 @ 6.63711
11.34/11.41 c bounds 1024 >= 762 @ 6.64049
20.52/20.60 c bounds 1024 >= 763 @ 6.64778
20.52/20.60 c bounds 1024 >= 764 @ 6.65424
20.52/20.60 c bounds 1024 >= 765 @ 6.66063
20.52/20.60 c bounds 1024 >= 766 @ 6.66606
20.52/20.60 c bounds 1024 >= 767 @ 6.6712
20.52/20.60 c bounds 1024 >= 768 @ 6.67649
20.52/20.60 c bounds 1024 >= 769 @ 6.68155
20.52/20.60 c bounds 1024 >= 770 @ 6.68945
20.52/20.60 c bounds 1024 >= 771 @ 6.69264
20.52/20.60 c bounds 1024 >= 772 @ 6.70097
20.52/20.60 c bounds 1024 >= 773 @ 6.70691
20.52/20.60 c bounds 1024 >= 774 @ 6.71413
20.52/20.60 c bounds 1024 >= 775 @ 6.71723
20.52/20.60 c bounds 1024 >= 776 @ 6.72376
20.52/20.60 c bounds 1024 >= 777 @ 6.72635
20.52/20.60 c bounds 1024 >= 778 @ 6.73379
20.52/20.60 c bounds 1024 >= 779 @ 6.73938
20.52/20.60 c bounds 1024 >= 780 @ 6.74415
20.52/20.60 c bounds 1024 >= 781 @ 6.75163
20.52/20.60 c bounds 1024 >= 782 @ 6.75554
20.52/20.60 c bounds 1024 >= 783 @ 6.76221
20.52/20.60 c bounds 1024 >= 784 @ 6.76602
20.52/20.60 c bounds 1024 >= 785 @ 6.77292
20.52/20.60 c bounds 1024 >= 786 @ 6.77771
20.52/20.60 c bounds 1024 >= 787 @ 6.78484
20.52/20.60 c bounds 1024 >= 788 @ 6.79389
20.52/20.60 c bounds 1024 >= 789 @ 6.80403
20.52/20.60 c bounds 1024 >= 790 @ 6.81237
20.52/20.60 c bounds 1024 >= 791 @ 6.81784
20.52/20.60 c bounds 1024 >= 792 @ 6.82497
20.52/20.60 c bounds 1024 >= 793 @ 6.83307
20.52/20.60 c bounds 1024 >= 794 @ 6.84176
20.52/20.60 c bounds 1024 >= 795 @ 6.84842
20.52/20.60 c bounds 1024 >= 796 @ 6.85728
20.52/20.60 c bounds 1024 >= 797 @ 6.86719
20.52/20.60 c bounds 1024 >= 798 @ 6.87728
20.52/20.60 c bounds 1024 >= 799 @ 6.88291
20.52/20.60 c bounds 1024 >= 800 @ 6.88742
20.52/20.60 c bounds 1024 >= 801 @ 6.89086
20.52/20.60 c bounds 1024 >= 802 @ 6.89882
20.52/20.60 c bounds 1024 >= 803 @ 6.90565
20.52/20.60 c bounds 1024 >= 804 @ 6.90932
20.52/20.60 c bounds 1024 >= 805 @ 6.917
20.52/20.60 c bounds 1024 >= 806 @ 6.91984
20.52/20.60 c bounds 1024 >= 807 @ 6.92668
20.52/20.60 c bounds 1024 >= 808 @ 6.92956
20.52/20.60 c bounds 1024 >= 809 @ 6.93769
20.52/20.60 c bounds 1024 >= 810 @ 6.94681
20.52/20.60 c bounds 1024 >= 811 @ 6.9558
20.52/20.60 c bounds 1024 >= 812 @ 6.96425
20.52/20.60 c bounds 1024 >= 813 @ 6.97259
20.52/20.60 c bounds 1024 >= 814 @ 6.97771
20.52/20.60 c bounds 1024 >= 815 @ 6.98747
20.52/20.60 c bounds 1024 >= 816 @ 6.99637
20.52/20.60 c bounds 1024 >= 817 @ 6.99971
20.52/20.60 c bounds 1024 >= 818 @ 7.00747
20.52/20.60 c bounds 1024 >= 819 @ 7.01546
20.52/20.60 c bounds 1024 >= 820 @ 7.01859
20.52/20.60 c bounds 1024 >= 821 @ 7.02604
20.52/20.60 c bounds 1024 >= 822 @ 7.03467
20.52/20.60 c bounds 1024 >= 823 @ 7.03784
20.52/20.60 c bounds 1024 >= 824 @ 7.0483
20.52/20.60 c bounds 1024 >= 825 @ 7.0521
20.52/20.60 c bounds 1024 >= 826 @ 7.06095
20.52/20.60 c bounds 1024 >= 827 @ 7.0714
20.52/20.60 c bounds 1024 >= 828 @ 7.07499
20.52/20.60 c bounds 1024 >= 829 @ 7.08466
20.52/20.60 c bounds 1024 >= 830 @ 7.08833
20.52/20.60 c bounds 1024 >= 831 @ 7.09793
20.52/20.60 c bounds 1024 >= 832 @ 7.10532
20.52/20.60 c bounds 1024 >= 833 @ 7.11503
20.52/20.60 c bounds 1024 >= 834 @ 7.12295
20.52/20.60 c bounds 1024 >= 835 @ 7.14476
20.52/20.60 c bounds 1024 >= 836 @ 7.15676
20.52/20.60 c bounds 1024 >= 837 @ 7.17219
20.52/20.60 c bounds 1024 >= 838 @ 7.17662
20.52/20.60 c bounds 1024 >= 839 @ 7.1835
20.52/20.60 c bounds 1024 >= 840 @ 7.18919
20.52/20.60 c bounds 1024 >= 841 @ 7.19564
20.52/20.60 c bounds 1024 >= 842 @ 7.19986
20.52/20.60 c bounds 1024 >= 843 @ 7.20553
20.52/20.60 c bounds 1024 >= 844 @ 7.20872
20.52/20.60 c bounds 1024 >= 845 @ 7.21315
20.52/20.60 c bounds 1024 >= 846 @ 7.21801
20.52/20.60 c bounds 1024 >= 847 @ 7.22149
20.52/20.60 c bounds 1024 >= 848 @ 7.2263
20.52/20.60 c bounds 1024 >= 849 @ 7.22935
20.52/20.60 c bounds 1024 >= 850 @ 7.23449
20.52/20.60 c bounds 1024 >= 851 @ 7.2391
20.52/20.60 c bounds 1024 >= 852 @ 7.24423
20.52/20.60 c bounds 1024 >= 853 @ 7.24913
20.52/20.60 c bounds 1024 >= 854 @ 7.25593
20.52/20.60 c bounds 1024 >= 855 @ 7.28544
20.52/20.60 c bounds 1024 >= 856 @ 7.36355
20.52/20.60 c bounds 1024 >= 857 @ 7.64261
20.52/20.60 c bounds 1023 >= 857 @ 7.7815
20.52/20.60 c bounds 1023 >= 858 @ 7.78638
20.52/20.60 c bounds 1023 >= 859 @ 7.78926
20.52/20.60 c bounds 1023 >= 860 @ 7.79223
20.52/20.60 c bounds 1023 >= 861 @ 7.79626
20.52/20.60 c bounds 1023 >= 862 @ 7.8016
20.52/20.60 c bounds 1023 >= 863 @ 7.80771
20.52/20.60 c bounds 1023 >= 864 @ 7.81334
20.52/20.60 c #Conflicts: 2000 | #Constraints: 17520
20.52/20.60 c INPROCESSING
20.52/20.60 c GARBAGE COLLECT
20.52/20.60 c bounds 1023 >= 865 @ 10.6398
20.52/20.60 c bounds 1023 >= 866 @ 10.6454
20.52/20.60 c bounds 1023 >= 867 @ 10.649
20.52/20.60 c bounds 1023 >= 868 @ 10.6544
20.52/20.60 c bounds 1023 >= 869 @ 10.6581
20.52/20.60 c bounds 1023 >= 870 @ 10.665
20.52/20.60 c bounds 1023 >= 871 @ 10.8176
20.52/20.60 c bounds 1022 >= 871 @ 10.8464
20.52/20.60 c #Conflicts: 3000 | #Constraints: 16342
20.52/20.60 c bounds 1021 >= 871 @ 14.6568
20.52/20.60 c bounds 1021 >= 872 @ 14.6675
20.52/20.60 c bounds 1021 >= 873 @ 14.6763
20.52/20.60 c bounds 1021 >= 874 @ 14.6858
20.52/20.60 c bounds 1021 >= 875 @ 14.6983
20.52/20.60 c bounds 1021 >= 876 @ 14.7222
20.52/20.60 c bounds 1021 >= 877 @ 14.7309
20.52/20.60 c bounds 1021 >= 878 @ 14.757
20.52/20.60 c bounds 1021 >= 879 @ 14.7644
20.52/20.60 c bounds 1021 >= 880 @ 14.7913
20.52/20.60 c bounds 1021 >= 881 @ 14.8226
20.52/20.60 c bounds 1021 >= 882 @ 14.871
20.52/20.60 c bounds 1021 >= 883 @ 14.9006
20.52/20.60 c bounds 1021 >= 884 @ 14.907
20.52/20.60 c bounds 1021 >= 885 @ 14.9396
20.52/20.60 c bounds 1021 >= 886 @ 14.9468
20.52/20.60 c bounds 1021 >= 887 @ 14.9772
62.57/62.80 c bounds 1021 >= 888 @ 15.0057
62.57/62.80 c bounds 1021 >= 889 @ 15.0106
62.57/62.80 c bounds 1021 >= 890 @ 15.0425
62.57/62.80 c bounds 1021 >= 891 @ 15.0728
62.57/62.80 c bounds 1021 >= 892 @ 15.1029
62.57/62.80 c bounds 1021 >= 893 @ 15.1075
62.57/62.80 c bounds 1021 >= 894 @ 15.141
62.57/62.80 c bounds 1021 >= 895 @ 15.1495
62.57/62.80 c bounds 1021 >= 896 @ 15.1786
62.57/62.80 c bounds 1021 >= 897 @ 15.2089
62.57/62.80 c bounds 1021 >= 898 @ 16.0473
62.57/62.80 c bounds 1021 >= 899 @ 17.2056
62.57/62.80 c #Conflicts: 4000 | #Constraints: 17491
62.57/62.80 c INPROCESSING
62.57/62.80 c GARBAGE COLLECT
62.57/62.80 c #Conflicts: 5000 | #Constraints: 16919
62.57/62.80 c bounds 1021 >= 900 @ 19.3518
62.57/62.80 c #Conflicts: 6000 | #Constraints: 17940
62.57/62.80 c INPROCESSING
62.57/62.80 c GARBAGE COLLECT
62.57/62.80 c #Conflicts: 7000 | #Constraints: 16978
62.57/62.80 c #Conflicts: 8000 | #Constraints: 17978
62.57/62.80 c bounds 1021 >= 901 @ 25.1747
62.57/62.80 c #Conflicts: 9000 | #Constraints: 18996
62.57/62.80 c INPROCESSING
62.57/62.80 c GARBAGE COLLECT
62.57/62.80 c #Conflicts: 10000 | #Constraints: 17722
62.57/62.80 c #Conflicts: 11000 | #Constraints: 18722
62.57/62.80 c #Conflicts: 12000 | #Constraints: 19722
62.57/62.80 c INPROCESSING
62.57/62.80 c GARBAGE COLLECT
62.57/62.80 c bounds 1020 >= 901 @ 38.3797
62.57/62.80 c bounds 1019 >= 901 @ 38.4012
62.57/62.80 c bounds 1018 >= 901 @ 38.4282
62.57/62.80 c bounds 1017 >= 901 @ 38.4435
62.57/62.80 c bounds 1016 >= 901 @ 38.4624
62.57/62.80 c bounds 1015 >= 901 @ 38.48
62.57/62.80 c bounds 1014 >= 901 @ 38.4931
62.57/62.80 c bounds 1013 >= 901 @ 38.5103
62.57/62.80 c bounds 1012 >= 901 @ 38.5241
62.57/62.80 c bounds 1011 >= 901 @ 38.5394
62.57/62.80 c bounds 1010 >= 901 @ 38.5527
62.57/62.80 c bounds 1009 >= 901 @ 38.5672
62.57/62.80 c bounds 1008 >= 901 @ 38.5805
62.57/62.80 c bounds 1007 >= 901 @ 38.5943
62.57/62.80 c bounds 1006 >= 901 @ 38.6106
62.57/62.80 c bounds 1005 >= 901 @ 38.6244
62.57/62.80 c bounds 1004 >= 901 @ 38.6378
62.57/62.80 c bounds 1003 >= 901 @ 38.6507
62.57/62.80 c bounds 1002 >= 901 @ 38.6626
62.57/62.80 c bounds 1001 >= 901 @ 38.673
62.57/62.80 c bounds 1000 >= 901 @ 38.6933
62.57/62.80 c bounds 999 >= 901 @ 38.7086
62.57/62.80 c bounds 998 >= 901 @ 38.7242
62.57/62.80 c bounds 997 >= 901 @ 38.7879
62.57/62.80 c bounds 996 >= 901 @ 38.8014
62.57/62.80 c bounds 995 >= 901 @ 39.0848
62.57/62.80 c #Conflicts: 13000 | #Constraints: 21193
62.57/62.80 c bounds 994 >= 901 @ 41.3399
62.57/62.80 c #Conflicts: 14000 | #Constraints: 22210
62.57/62.80 c bounds 994 >= 902 @ 43.2851
62.57/62.80 c bounds 994 >= 903 @ 43.2993
62.57/62.80 c bounds 994 >= 904 @ 43.3061
62.57/62.80 c bounds 994 >= 905 @ 43.3153
62.57/62.80 c bounds 994 >= 906 @ 43.321
62.57/62.80 c bounds 994 >= 907 @ 43.3315
62.57/62.80 c bounds 994 >= 908 @ 43.3336
62.57/62.80 c bounds 994 >= 909 @ 43.3445
62.57/62.80 c bounds 994 >= 910 @ 43.3479
62.57/62.80 c bounds 994 >= 911 @ 43.3545
62.57/62.80 c bounds 994 >= 912 @ 43.3567
62.57/62.80 c bounds 994 >= 913 @ 43.3677
62.57/62.80 c bounds 994 >= 914 @ 43.3724
62.57/62.80 c bounds 994 >= 915 @ 43.3745
62.57/62.80 c bounds 994 >= 916 @ 43.3829
62.57/62.80 c bounds 994 >= 917 @ 43.3915
62.57/62.80 c bounds 994 >= 918 @ 43.396
62.57/62.80 c bounds 994 >= 919 @ 43.4033
62.57/62.80 c bounds 994 >= 920 @ 43.4096
62.57/62.80 c bounds 994 >= 921 @ 43.4171
62.57/62.80 c bounds 994 >= 922 @ 43.4255
62.57/62.80 c bounds 994 >= 923 @ 43.4322
62.57/62.80 c bounds 994 >= 924 @ 43.4387
62.57/62.80 c bounds 994 >= 925 @ 43.4463
62.57/62.80 c bounds 994 >= 926 @ 43.4539
62.57/62.80 c bounds 994 >= 927 @ 43.4621
62.57/62.80 c bounds 994 >= 928 @ 43.4688
62.57/62.80 c #Conflicts: 15000 | #Constraints: 23913
62.57/62.80 c INPROCESSING
62.57/62.80 c GARBAGE COLLECT
62.57/62.80 c #Conflicts: 16000 | #Constraints: 17573
62.57/62.80 c #Conflicts: 17000 | #Constraints: 18573
62.57/62.80 c bounds 994 >= 929 @ 47.3103
62.57/62.80 c bounds 994 >= 930 @ 47.3148
62.57/62.80 c bounds 994 >= 931 @ 47.3173
62.57/62.80 c bounds 994 >= 932 @ 47.3201
62.57/62.80 c bounds 994 >= 933 @ 47.3228
62.57/62.80 c #Conflicts: 18000 | #Constraints: 19606
62.57/62.80 c INPROCESSING
62.57/62.80 c GARBAGE COLLECT
62.57/62.80 c bounds 989 >= 933 @ 48.3295
62.57/62.80 c bounds 988 >= 933 @ 48.6725
62.57/62.80 c bounds 987 >= 933 @ 48.7627
62.57/62.80 c bounds 986 >= 933 @ 49.039
62.57/62.80 c bounds 986 >= 934 @ 49.0419
62.57/62.80 c bounds 986 >= 935 @ 49.0449
62.57/62.80 c #Conflicts: 19000 | #Constraints: 17641
62.57/62.80 c bounds 986 >= 936 @ 49.5862
62.57/62.80 c #Conflicts: 20000 | #Constraints: 18653
62.57/62.80 c #Conflicts: 21000 | #Constraints: 19653
62.57/62.80 c INPROCESSING
62.57/62.80 c GARBAGE COLLECT
62.57/62.80 c bounds 985 >= 936 @ 50.9601
62.57/62.80 c bounds 984 >= 936 @ 50.9757
62.57/62.80 c bounds 983 >= 936 @ 50.9847
62.57/62.80 c bounds 982 >= 936 @ 50.9931
62.57/62.80 c bounds 981 >= 936 @ 51.0056
62.57/62.80 c bounds 980 >= 936 @ 51.0111
62.57/62.80 c bounds 979 >= 936 @ 51.0173
62.57/62.80 c bounds 978 >= 936 @ 51.299
62.57/62.80 c #Conflicts: 22000 | #Constraints: 17462
62.57/62.80 c bounds 977 >= 936 @ 52.6786
62.57/62.80 c #Conflicts: 23000 | #Constraints: 18463
62.57/62.80 c bounds 977 >= 937 @ 53.6593
62.57/62.80 c #Conflicts: 24000 | #Constraints: 19479
62.57/62.80 c #Conflicts: 25000 | #Constraints: 20479
62.67/62.97 c INPROCESSING
62.67/62.97 c GARBAGE COLLECT
62.67/62.97 c rational objective 937
70.35/70.69 c bounds 976 >= 937 @ 55.7284
70.35/70.69 c bounds 975 >= 937 @ 55.7358
70.35/70.69 c bounds 974 >= 937 @ 55.7534
70.35/70.69 c bounds 973 >= 937 @ 55.8834
70.35/70.69 c #Conflicts: 26000 | #Constraints: 18067
70.35/70.69 c bounds 973 >= 938 @ 56.5341
70.35/70.69 c #Conflicts: 27000 | #Constraints: 19081
70.35/70.69 c bounds 972 >= 938 @ 60.5863
70.35/70.69 c #Conflicts: 28000 | #Constraints: 20082
70.35/70.69 c #Conflicts: 29000 | #Constraints: 21082
70.35/70.69 c INPROCESSING
70.35/70.69 c GARBAGE COLLECT
70.35/70.69 c rational objective 938
79.61/79.98 c #Conflicts: 30000 | #Constraints: 18506
79.61/79.98 c #Conflicts: 31000 | #Constraints: 19506
79.61/79.98 c #Conflicts: 32000 | #Constraints: 20506
79.61/79.98 c #Conflicts: 33000 | #Constraints: 21506
79.61/79.98 c INPROCESSING
79.61/79.98 c GARBAGE COLLECT
79.61/79.98 c #Conflicts: 34000 | #Constraints: 18722
79.61/79.98 c #Conflicts: 35000 | #Constraints: 19722
79.61/79.98 c bounds 972 >= 939 @ 70.2806
79.61/79.98 c #Conflicts: 36000 | #Constraints: 20735
79.61/79.98 c #Conflicts: 37000 | #Constraints: 21735
79.61/79.98 c INPROCESSING
79.61/79.98 c GARBAGE COLLECT
79.61/79.98 c rational objective 939
80.21/80.54 c #Conflicts: 38000 | #Constraints: 18735
80.21/80.54 c bounds 939 >= 939 @ 72.6072
80.21/80.54 c cpu time 72.6076 s
80.21/80.54 c deterministic time 6804837491 6.80e+09
80.21/80.54 c optimization time 3.4177 s
80.21/80.54 c total solve time 69.0806 s
80.21/80.54 c core-guided solve time 53.67 s
80.21/80.54 c propagation time 35.2681 s
80.21/80.54 c conflict analysis time 17.6897 s
80.21/80.54 c propagations 13730556
80.21/80.54 c resolve steps 347322
80.21/80.54 c decisions 10610788
80.21/80.54 c conflicts 38127
80.21/80.54 c restarts 125
80.21/80.54 c inprocessing phases 12
80.21/80.54 c input clauses 16017
80.21/80.54 c input cardinalities 2043
80.21/80.54 c input general constraints 1888
80.21/80.54 c input average constraint length 471.51
80.21/80.54 c input average constraint degree 1226.12
80.21/80.54 c learned clauses 21108
80.21/80.54 c learned cardinalities 974
80.21/80.54 c learned general constraints 16140
80.21/80.54 c learned average constraint length 725.66
80.21/80.54 c learned average constraint degree 48863192.09
80.21/80.54 c watched constraints 8748
80.21/80.54 c counting constraints 9280
80.21/80.54 c gcd simplifications 1511
80.21/80.54 c detected cardinalities 2
80.21/80.54 c weakened non-implied lits 6107377
80.21/80.54 c weakened non-implying lits 2774
80.21/80.54 c original variables 8405
80.21/80.54 c clausal propagations 1678895
80.21/80.54 c cardinality propagations 3417764
80.21/80.54 c watched propagations 1635312
80.21/80.54 c counting propagations 6511100
80.21/80.54 c watch lookups 480489785
80.21/80.54 c watch backjump lookups 460600322
80.21/80.54 c watch checks 3367861796
80.21/80.54 c propagation checks 2294620335
80.21/80.54 c constraint additions 152473892
80.21/80.54 c trail pops 24374976
80.21/80.54 c formula constraints 11367
80.21/80.54 c learned constraints 38222
80.21/80.54 c bound constraints 5415
80.21/80.54 c core-guided constraints 3166
80.21/80.54 c encountered formula constraints 12799
80.21/80.54 c encountered learned constraints 256168
80.21/80.54 c encountered bound constraints 386
80.21/80.54 c encountered core-guided constraints 116096
80.21/80.54 c LP total time 20.2477 s
80.21/80.54 c LP solve time 20.06 s
80.21/80.54 c LP constraints added 11368
80.21/80.54 c LP constraints removed 1
80.21/80.54 c LP pivots internal 41577
80.21/80.54 c LP pivots root 33463
80.21/80.54 c LP calls 362
80.21/80.54 c LP optimalities 357
80.21/80.54 c LP no pivot count 199
80.21/80.54 c LP infeasibilities 0
80.21/80.54 c LP valid Farkas constraints 0
80.21/80.54 c LP learned Farkas constraints 0
80.21/80.54 c LP basis resets 0
80.21/80.54 c LP cycling count 0
80.21/80.54 c LP singular count 0
80.21/80.54 c LP no primal count 0
80.21/80.54 c LP no farkas count 0
80.21/80.54 c LP other issue count 0
80.21/80.54 c LP Gomory cuts 0
80.21/80.54 c LP learned cuts 13
80.21/80.54 c LP deleted cuts 1
80.21/80.54 c LP encountered Gomory constraints 0
80.21/80.54 c LP encountered Farkas constraints 0
80.21/80.54 c LP encountered learned Farkas constraints 0
80.21/80.54 c CG auxiliary variables introduced 1491
80.21/80.54 c CG solutions found 82
80.21/80.54 c CG cores constructed 1296
80.21/80.54 c CG core cardinality constraints returned 389
80.21/80.54 c CG unit cores 1
80.21/80.54 c CG single cores 1270
80.21/80.54 c CG blocks removed during cardinality reduction 0
80.21/80.54 c CG first core best 0
80.21/80.54 c CG decision core best 1
80.21/80.54 c CG core reduction tie 24
80.21/80.54 c CG core degree average 2.00
80.21/80.54 c CG core slack average 7.46
80.21/80.54 o 939
80.21/80.54 s OPTIMUM FOUND
80.21/80.54 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: 64096 MiB (62186 MiB free)
memory of node 1: 64473 MiB (60610 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456648-1721765589/watcher-4456648-1721765589 -o /tmp/evaluation-result-4456648-1721765589/solver-4456648-1721765589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721765589-117317 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456648-1721765589 --lp-cut-gomory=0 HOME/instance-4456648-1721765589.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=117372, runsolver pid=117363
[startup+0.101545 s]*
/proc/loadavg: 2.13 2.11 2.25 7/250 117380
/proc/meminfo: memFree=125724736/131655788 swapFree=131070400/131071996
[pid=117372] ppid=117363 vsize=40164 memory=10372 CPUtime=0.1 cores=0,2
/proc/117372/stat : 117372 (roundingsat) R 117363 117372 117307 0 -1 4194304 1261 0 1 0 8 2 0 0 20 0 1 0 12548186 41127936 2593 134679101440 4194304 8254037 140728981521744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16834560 140728981529436 140728981529698 140728981529698 140728981536713 0
/proc/117372/statm: 10041 2593 1368 992 0 1899 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40164 KiB
Current children cumulated memory: 10372 KiB
[startup+0.21532 s]*
/proc/loadavg: 2.13 2.11 2.25 5/250 117380
/proc/meminfo: memFree=125699884/131655788 swapFree=131070400/131071996
[pid=117372] ppid=117363 vsize=49764 memory=21548 CPUtime=0.21 cores=0,2
/proc/117372/stat : 117372 (roundingsat) R 117363 117372 117307 0 -1 4194304 4272 0 1 0 18 3 0 0 20 0 1 0 12548186 50958336 5387 134679101440 4194304 8254037 140728981521744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16834560 140728981529436 140728981529698 140728981529698 140728981536713 0
/proc/117372/statm: 12441 5387 1777 992 0 4299 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49764 KiB
Current children cumulated memory: 21548 KiB
[startup+0.315382 s]*
/proc/loadavg: 2.13 2.11 2.25 7/250 117380
/proc/meminfo: memFree=125696060/131655788 swapFree=131070400/131071996
[pid=117372] ppid=117363 vsize=50008 memory=21548 CPUtime=0.31 cores=0,2
/proc/117372/stat : 117372 (roundingsat) R 117363 117372 117307 0 -1 4194304 4322 0 1 0 27 4 0 0 20 0 1 0 12548186 51208192 5387 134679101440 4194304 8254037 140728981521744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16834560 140728981529436 140728981529698 140728981529698 140728981536713 0
/proc/117372/statm: 12502 5387 1777 992 0 4360 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50008 KiB
Current children cumulated memory: 21548 KiB
[startup+0.700341 s]
/proc/loadavg: 2.13 2.11 2.25 6/250 117380
/proc/meminfo: memFree=125686912/131655788 swapFree=131070400/131071996
[pid=117372] ppid=117363 vsize=51816 memory=23384 CPUtime=0.68 cores=0,2
/proc/117372/stat : 117372 (roundingsat) R 117363 117372 117307 0 -1 4194304 4764 0 1 0 63 5 0 0 20 0 1 0 12548186 53059584 5846 134679101440 4194304 8254037 140728981521744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16834560 140728981529436 140728981529698 140728981529698 140728981536713 0
/proc/117372/statm: 12954 5846 1777 992 0 4812 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 51816 KiB
Current children cumulated memory: 23384 KiB
[startup+1.50033 s]
/proc/loadavg: 2.13 2.11 2.25 7/250 117380
/proc/meminfo: memFree=125655372/131655788 swapFree=131070400/131071996
[pid=117372] ppid=117363 vsize=62804 memory=35368 CPUtime=1.47 cores=0,2
/proc/117372/stat : 117372 (roundingsat) R 117363 117372 117307 0 -1 4194304 7185 0 1 0 117 30 0 0 20 0 1 0 12548186 64311296 8842 134679101440 4194304 8254037 140728981521744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16834560 140728981529436 140728981529698 140728981529698 140728981536713 0
/proc/117372/statm: 15701 8842 1825 992 0 7559 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 62804 KiB
Current children cumulated memory: 35368 KiB
[startup+3.11404 s]
/proc/loadavg: 2.13 2.11 2.25 6/251 117427
/proc/meminfo: memFree=125458504/131655788 swapFree=131070400/131071996
[pid=117372] ppid=117363 vsize=74792 memory=47472 CPUtime=3.09 cores=0,2
/proc/117372/stat : 117372 (roundingsat) R 117363 117372 117307 0 -1 4194304 8194 0 1 0 204 105 0 0 20 0 1 0 12548186 76587008 11868 134679101440 4194304 8254037 140728981521744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16834560 140728981529436 140728981529698 140728981529698 140728981536713 0
/proc/117372/statm: 18698 11868 1825 992 0 10556 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 74792 KiB
Current children cumulated memory: 47472 KiB
[startup+6.30031 s]
/proc/loadavg: 2.36 2.15 2.27 6/251 117429
/proc/meminfo: memFree=125156468/131655788 swapFree=131070400/131071996
[pid=117372] ppid=117363 vsize=109052 memory=73908 CPUtime=6.26 cores=0,2
/proc/117372/stat : 117372 (roundingsat) R 117363 117372 117307 0 -1 4194304 10171 0 1 0 373 253 0 0 20 0 1 0 12548186 111669248 18477 134679101440 4194304 8254037 140728981521744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16834560 140728981529436 140728981529698 140728981529698 140728981536713 0
/proc/117372/statm: 27263 18477 1825 992 0 19121 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 109052 KiB
Current children cumulated memory: 73908 KiB
[startup+12.7003 s]
/proc/loadavg: 2.50 2.18 2.28 6/251 117429
/proc/meminfo: memFree=124775860/131655788 swapFree=131070400/131071996
[pid=117372] ppid=117363 vsize=207548 memory=134664 CPUtime=12.64 cores=0,2
/proc/117372/stat : 117372 (roundingsat) R 117363 117372 117307 0 -1 4194304 15306 0 1 0 746 518 0 0 20 0 1 0 12548186 212529152 33666 134679101440 4194304 8254037 140728981521744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16834560 140728981529436 140728981529698 140728981529698 140728981536713 0
/proc/117372/statm: 51887 33666 1885 992 0 43745 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 207548 KiB
Current children cumulated memory: 134664 KiB
[startup+25.5003 s]
/proc/loadavg: 2.98 2.31 2.32 6/249 117432
/proc/meminfo: memFree=124186316/131655788 swapFree=131070400/131071996
[pid=117372] ppid=117363 vsize=265392 memory=194192 CPUtime=25.4 cores=0,2
/proc/117372/stat : 117372 (roundingsat) R 117363 117372 117307 0 -1 4194304 29158 0 1 0 1961 579 0 0 20 0 1 0 12548186 271761408 48548 134679101440 4194304 8254037 140728981521744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16834560 140728981529436 140728981529698 140728981529698 140728981536713 0
/proc/117372/statm: 66348 48548 1885 992 0 58206 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 265392 KiB
Current children cumulated memory: 194192 KiB
[startup+51.114 s]
/proc/loadavg: 3.33 2.44 2.36 6/254 117486
/proc/meminfo: memFree=123213300/131655788 swapFree=131070400/131071996
[pid=117372] ppid=117363 vsize=277828 memory=207576 CPUtime=50.93 cores=0,2
/proc/117372/stat : 117372 (roundingsat) R 117363 117372 117307 0 -1 4194304 33277 0 1 0 4430 663 0 0 20 0 1 0 12548186 284495872 51894 134679101440 4194304 8254037 140728981521744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16834560 140728981529436 140728981529698 140728981529698 140728981536713 0
/proc/117372/statm: 69457 51894 1885 992 0 61315 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 277828 KiB
Current children cumulated memory: 207576 KiB
[startup+81.0429 s]
# the end of solver process 117372 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=72.6239 s, system=7.77028 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2004 s]
/proc/loadavg: 3.33 2.44 2.36 6/254 117486
/proc/meminfo: memFree=123213300/131655788 swapFree=131070400/131071996
[pid=117372] ppid=117363 vsize=277828 memory=207576 CPUtime=51.02 cores=0,2
/proc/117372/stat : 117372 (roundingsat) R 117363 117372 117307 0 -1 4194304 33280 0 1 0 4439 663 0 0 20 0 1 0 12548186 284495872 51894 134679101440 4194304 8254037 140728981521744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16834560 140728981529436 140728981529698 140728981529698 140728981536713 0
/proc/117372/statm: 69457 51894 1885 992 0 61315 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 277828 KiB
Current children cumulated memory: 207576 KiB
[startup+64.0003 s]*
/proc/loadavg: 3.48 2.52 2.39 5/258 117493
/proc/meminfo: memFree=122649128/131655788 swapFree=131070400/131071996
[pid=117372] ppid=117363 vsize=278092 memory=208036 CPUtime=63.78 cores=0,2
/proc/117372/stat : 117372 (roundingsat) R 117363 117372 117307 0 -1 4194304 33434 0 1 0 5668 710 0 0 20 0 1 0 12548186 284766208 52009 134679101440 4194304 8254037 140728981521744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16834560 140728981529436 140728981529698 140728981529698 140728981536713 0
/proc/117372/statm: 69523 52009 1885 992 0 61381 0
Current children cumulated CPU time: 63.78 s
Current children cumulated vsize: 278092 KiB
Current children cumulated memory: 208036 KiB
[startup+70.4003 s]
/proc/loadavg: 3.52 2.55 2.40 6/258 117493
/proc/meminfo: memFree=122508764/131655788 swapFree=131070400/131071996
[pid=117372] ppid=117363 vsize=280088 memory=210068 CPUtime=70.15 cores=0,2
/proc/117372/stat : 117372 (roundingsat) R 117363 117372 117307 0 -1 4194304 33941 0 1 0 6285 730 0 0 20 0 1 0 12548186 286810112 52517 134679101440 4194304 8254037 140728981521744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16834560 140728981529436 140728981529698 140728981529698 140728981536713 0
/proc/117372/statm: 70022 52517 1885 992 0 61880 0
Current children cumulated CPU time: 70.15 s
Current children cumulated vsize: 280088 KiB
Current children cumulated memory: 210068 KiB
[startup+76.8003 s]
/proc/loadavg: 3.56 2.57 2.41 6/258 117494
/proc/meminfo: memFree=122174884/131655788 swapFree=131070400/131071996
[pid=117372] ppid=117363 vsize=282968 memory=212172 CPUtime=76.53 cores=0,2
/proc/117372/stat : 117372 (roundingsat) R 117363 117372 117307 0 -1 4194304 34451 0 1 0 6903 750 0 0 20 0 1 0 12548186 289759232 53043 134679101440 4194304 8254037 140728981521744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16834560 140728981529436 140728981529698 140728981529698 140728981536713 0
/proc/117372/statm: 70742 53043 1885 992 0 62600 0
Current children cumulated CPU time: 76.53 s
Current children cumulated vsize: 282968 KiB
Current children cumulated memory: 212172 KiB
[startup+78.4003 s]
/proc/loadavg: 3.56 2.57 2.41 6/258 117494
/proc/meminfo: memFree=122086308/131655788 swapFree=131070400/131071996
[pid=117372] ppid=117363 vsize=282968 memory=212172 CPUtime=78.13 cores=0,2
/proc/117372/stat : 117372 (roundingsat) R 117363 117372 117307 0 -1 4194304 34479 0 1 0 7059 754 0 0 20 0 1 0 12548186 289759232 53043 134679101440 4194304 8254037 140728981521744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16834560 140728981529436 140728981529698 140728981529698 140728981536713 0
/proc/117372/statm: 70742 53043 1885 992 0 62600 0
Current children cumulated CPU time: 78.13 s
Current children cumulated vsize: 282968 KiB
Current children cumulated memory: 212172 KiB
[startup+80.0003 s]*
/proc/loadavg: 3.60 2.59 2.42 6/258 117494
/proc/meminfo: memFree=121991776/131655788 swapFree=131070400/131071996
[pid=117372] ppid=117363 vsize=283100 memory=212672 CPUtime=79.73 cores=0,2
/proc/117372/stat : 117372 (roundingsat) R 117363 117372 117307 0 -1 4194304 34587 0 1 0 7212 761 0 0 20 0 1 0 12548186 289894400 53168 134679101440 4194304 8254037 140728981521744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16834560 140728981529436 140728981529698 140728981529698 140728981536713 0
/proc/117372/statm: 70775 53168 1885 992 0 62633 0
Current children cumulated CPU time: 79.73 s
Current children cumulated vsize: 283100 KiB
Current children cumulated memory: 212672 KiB
[startup+80.8003 s]
/proc/loadavg: 3.60 2.59 2.42 6/258 117494
/proc/meminfo: memFree=121991776/131655788 swapFree=131070400/131071996
[pid=117372] ppid=117363 vsize=283100 memory=212672 CPUtime=80.34 cores=0,2
/proc/117372/stat : 117372 (roundingsat) D 117363 117372 117307 0 -1 4194304 34595 0 1 0 7261 773 0 0 20 0 1 0 12548186 289894400 53168 134679101440 4194304 8254037 140728981521744 0 0 0 0 0 25182210 0 0 0 17 0 0 0 19 0 0 9037040 9046032 16834560 140728981529436 140728981529698 140728981529698 140728981536713 0
/proc/117372/statm: 70775 53168 1885 992 0 62633 0
Current children cumulated CPU time: 80.34 s
Current children cumulated vsize: 283100 KiB
Current children cumulated memory: 212672 KiB
[startup+81.0003 s]*
/proc/loadavg: 3.60 2.59 2.42 5/259 117495
/proc/meminfo: memFree=121953812/131655788 swapFree=131070400/131071996
[pid=117372] ppid=117363 vsize=283100 memory=212672 CPUtime=80.38 cores=0,2
/proc/117372/stat : 117372 (roundingsat) D 117363 117372 117307 0 -1 4194304 34595 0 1 0 7262 776 0 0 20 0 1 0 12548186 289894400 53168 134679101440 4194304 8254037 140728981521744 0 0 0 0 0 25182210 1 0 0 17 0 0 0 35 0 0 9037040 9046032 16834560 140728981529436 140728981529698 140728981529698 140728981536713 0
/proc/117372/statm: 70775 53168 1885 992 0 62633 0
Current children cumulated CPU time: 80.38 s
Current children cumulated vsize: 283100 KiB
Current children cumulated memory: 212672 KiB
Child status: 0
Real time (s): 81.043
CPU time (s): 80.3942
CPU user time (s): 72.6239
CPU system time (s): 7.77028
CPU usage (%): 99.1995
Max. virtual memory (cumulated for all children) (KiB): 283100
Max. memory (cumulated for all children) (KiB): 212672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.6239
system time used= 7.77028
maximum resident set size= 212672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34623
page faults= 1
swaps= 0
block input operations= 16
block output operations= 2714608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21178
involuntary context switches= 560
# summary of solver processes directly reported to runsolver:
# pid: 117372
# total CPU time (s): 80.3942
# total CPU user time (s): 72.6239
# total CPU system time (s): 7.77028
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.39687 second user time and 0.968577 second system time
The end
Begin job on nodeC006 at 2024-07-23 22:13:09
IDJOB=4456648
IDBENCH=146652
IDSOLVER=3085
FILE ID=nodeC006/4456648-1721765589
RUNJOBID= nodeC006-1721765589-117317
SLURM_JOB_ID= 7770663
Free space on /tmp= 723776 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-4456648-1721765589/watcher-4456648-1721765589 -o /tmp/evaluation-result-4456648-1721765589/solver-4456648-1721765589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721765589-117317 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456648-1721765589 --lp-cut-gomory=0 HOME/instance-4456648-1721765589.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=1386238209
nodeC006.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 : 0xb00001f
cpu MHz : 1197.100
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.06
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 : 0xb00001f
cpu MHz : 1197.097
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.40
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 : 0xb00001f
cpu MHz : 1197.110
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.06
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 : 0xb00001f
cpu MHz : 1193.771
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.40
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 : 0xb00001f
cpu MHz : 1185.604
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.06
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 : 0xb00001f
cpu MHz : 1208.736
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.40
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 : 0xb00001f
cpu MHz : 1191.110
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.06
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 : 0xb00001f
cpu MHz : 1200.069
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 125745748 kB
MemAvailable: 129945276 kB
Buffers: 176088 kB
Cached: 4814684 kB
SwapCached: 108 kB
Active: 1091564 kB
Inactive: 4230480 kB
Active(anon): 1424 kB
Inactive(anon): 367484 kB
Active(file): 1090140 kB
Inactive(file): 3862996 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070400 kB
Dirty: 24428 kB
Writeback: 0 kB
AnonPages: 330944 kB
Mapped: 101748 kB
Shmem: 37584 kB
KReclaimable: 173180 kB
Slab: 271260 kB
SReclaimable: 173180 kB
SUnreclaim: 98080 kB
KernelStack: 3744 kB
PageTables: 9216 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 729972 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 217088 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: 357192 kB
DirectMap2M: 45684736 kB
DirectMap1G: 90177536 kB
Free space on /tmp at the end= 723752 MiB
End job on nodeC006 at 2024-07-23 22:14:30