0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.04	c #variables 8405 #constraints 11367
0.88/0.92	c bounds - >= -2545 @ 0.025959
0.88/0.92	c bounds 30893 >= -2545 @ 0.280588
0.88/0.92	c bounds 30893 >= -2445 @ 0.282031
0.88/0.92	c bounds 30893 >= -2345 @ 0.282305
0.88/0.92	c bounds 30893 >= -2245 @ 0.283148
0.88/0.92	c bounds 30893 >= -2145 @ 0.283308
0.88/0.92	c bounds 30893 >= -2045 @ 0.285809
0.88/0.92	c bounds 30893 >= -2044 @ 0.287551
0.88/0.92	c bounds 30893 >= -2043 @ 0.288202
0.88/0.92	c bounds 30893 >= -2042 @ 0.290033
0.88/0.92	c bounds 30893 >= -2041 @ 0.29242
0.88/0.92	c bounds 30893 >= -2040 @ 0.294055
0.88/0.92	c bounds 30893 >= -2039 @ 0.295026
0.88/0.92	c bounds 30893 >= -2038 @ 0.296464
0.88/0.92	c bounds 30893 >= -2037 @ 0.297025
0.88/0.92	c bounds 30893 >= -2036 @ 0.298025
0.88/0.92	c bounds 30893 >= -2035 @ 0.299462
0.88/0.92	c bounds 30893 >= -2034 @ 0.301068
0.88/0.92	c bounds 30893 >= -2033 @ 0.302021
0.88/0.92	c bounds 30893 >= -2032 @ 0.303544
0.88/0.92	c bounds 30893 >= -2031 @ 0.304408
0.88/0.92	c bounds 30893 >= -2030 @ 0.305018
0.88/0.92	c bounds 30893 >= -2029 @ 0.306579
0.88/0.92	c bounds 30893 >= -2028 @ 0.307376
0.88/0.92	c bounds 30893 >= -2027 @ 0.308015
0.88/0.92	c bounds 30893 >= -1927 @ 0.309155
0.88/0.92	c bounds 30893 >= -1827 @ 0.310157
0.88/0.92	c bounds 30893 >= -1727 @ 0.311157
0.88/0.92	c bounds 30893 >= -1627 @ 0.313369
0.88/0.92	c bounds 30893 >= -1626 @ 0.315441
0.88/0.92	c bounds 30893 >= -1622 @ 0.317013
0.88/0.92	c bounds 30893 >= -1621 @ 0.318468
0.88/0.92	c bounds 30893 >= -1620 @ 0.321903
0.88/0.92	c bounds 30893 >= -1619 @ 0.32547
0.88/0.92	c bounds 30893 >= -1618 @ 0.326002
0.88/0.92	c bounds 30893 >= -1617 @ 0.327002
0.88/0.92	c bounds 30893 >= -1616 @ 0.330431
0.88/0.92	c bounds 30893 >= -1615 @ 0.331994
0.88/0.92	c bounds 30893 >= -1614 @ 0.334413
0.88/0.92	c bounds 30893 >= -1613 @ 0.335147
0.88/0.92	c bounds 30893 >= -1612 @ 0.337613
0.88/0.92	c bounds 30893 >= -1611 @ 0.340403
0.88/0.92	c bounds 30893 >= -1610 @ 0.341947
0.88/0.92	c bounds 30893 >= -1609 @ 0.346388
0.88/0.92	c bounds 30893 >= -1608 @ 0.348097
0.88/0.92	c bounds 30893 >= -1607 @ 0.350649
0.88/0.92	c bounds 30893 >= -1606 @ 0.35241
0.88/0.92	c bounds 30893 >= -1605 @ 0.352934
0.88/0.92	c bounds 30893 >= -1604 @ 0.355405
0.88/0.92	c bounds 30893 >= -1603 @ 0.35691
0.88/0.92	c bounds 30893 >= -1602 @ 0.360508
0.88/0.92	c bounds 30893 >= -1601 @ 0.362368
0.88/0.92	c bounds 30893 >= -1600 @ 0.362905
0.88/0.92	c bounds 30893 >= -1599 @ 0.36538
0.88/0.92	c bounds 30793 >= -1599 @ 0.375729
0.88/0.92	c bounds 30793 >= -1598 @ 0.378791
0.88/0.92	c bounds 30793 >= -1597 @ 0.38116
0.88/0.92	c bounds 30793 >= -1596 @ 0.383546
0.88/0.92	c bounds 30793 >= -1595 @ 0.385229
0.88/0.92	c bounds 30793 >= -1594 @ 0.386779
0.88/0.92	c bounds 30793 >= -1593 @ 0.38924
0.88/0.92	c bounds 30793 >= -1592 @ 0.391821
0.88/0.92	c bounds 30793 >= -1591 @ 0.394768
0.88/0.92	c bounds 30793 >= -1590 @ 0.395235
0.88/0.92	c bounds 30793 >= -1589 @ 0.396566
0.88/0.92	c bounds 30793 >= -1588 @ 0.400075
0.88/0.92	c bounds 30792 >= -1588 @ 0.403335
0.88/0.92	c bounds 30792 >= -1587 @ 0.404912
0.88/0.92	c bounds 30792 >= -1586 @ 0.407342
0.88/0.92	c bounds 30792 >= -1585 @ 0.408909
0.88/0.92	c bounds 30792 >= -1584 @ 0.410747
0.88/0.92	c bounds 30792 >= -1583 @ 0.412186
0.88/0.92	c bounds 30792 >= -1582 @ 0.413743
0.88/0.92	c bounds 30792 >= -1581 @ 0.417116
0.88/0.92	c bounds 30792 >= -1580 @ 0.417737
0.88/0.92	c bounds 30792 >= -1576 @ 0.419321
0.88/0.92	c bounds 30792 >= -1571 @ 0.419895
0.88/0.92	c bounds 30791 >= -1571 @ 0.423397
0.88/0.92	c bounds 30791 >= -1567 @ 0.42619
0.88/0.92	c bounds 30791 >= -1566 @ 0.426728
0.88/0.92	c bounds 30791 >= -1564 @ 0.430199
0.88/0.92	c bounds 30791 >= -1563 @ 0.431721
0.88/0.92	c bounds 30791 >= -1559 @ 0.434154
0.88/0.92	c bounds 30791 >= -1557 @ 0.435714
0.88/0.92	c bounds 30791 >= -1556 @ 0.435716
0.88/0.92	c bounds 30791 >= -1551 @ 0.43906
0.88/0.92	c bounds 30791 >= -1549 @ 0.439712
0.88/0.92	c bounds 30790 >= -1549 @ 0.44268
0.88/0.92	c bounds 30790 >= -1548 @ 0.446622
0.88/0.92	c bounds 30790 >= -1542 @ 0.450052
0.88/0.92	c bounds 30790 >= -1541 @ 0.453607
0.88/0.92	c bounds 30790 >= -1536 @ 0.457059
0.88/0.92	c bounds 30790 >= -1529 @ 0.459597
0.88/0.92	c bounds 30790 >= -1528 @ 0.461056
0.88/0.92	c bounds 30790 >= -1523 @ 0.465268
0.88/0.92	c bounds 30790 >= -1518 @ 0.468725
0.88/0.92	c bounds 30790 >= -1517 @ 0.470135
0.88/0.92	c bounds 30790 >= -1516 @ 0.471736
0.88/0.92	c bounds 30789 >= -1516 @ 0.476727
0.88/0.92	c bounds 30789 >= -1515 @ 0.478563
0.88/0.92	c bounds 30789 >= -1514 @ 0.479996
0.88/0.92	c bounds 30789 >= -1513 @ 0.482558
0.88/0.92	c bounds 30789 >= -1512 @ 0.483642
0.88/0.92	c bounds 30789 >= -1511 @ 0.487093
0.88/0.92	c bounds 30789 >= -1510 @ 0.487548
0.88/0.92	c bounds 30789 >= -1509 @ 0.490025
0.88/0.92	c bounds 30789 >= -1508 @ 0.492695
0.88/0.92	c bounds 30789 >= -1507 @ 0.494538
0.88/0.92	c bounds 30789 >= -1506 @ 0.495681
0.88/0.92	c bounds 30788 >= -1506 @ 0.499408
0.88/0.92	c bounds 30788 >= -1505 @ 0.501933
0.88/0.92	c bounds 30788 >= -1504 @ 0.502528
0.88/0.92	c bounds 30788 >= -1503 @ 0.50574
0.88/0.92	c bounds 30788 >= -1502 @ 0.508516
0.88/0.92	c bounds 30788 >= -1501 @ 0.510969
0.88/0.92	c bounds 30788 >= -1500 @ 0.511514
0.88/0.92	c bounds 30788 >= -1499 @ 0.513944
0.88/0.92	c bounds 30788 >= -1498 @ 0.516505
1.59/1.63	c bounds 30788 >= -1497 @ 0.518642
1.59/1.63	c bounds 30788 >= -1491 @ 0.519935
1.59/1.63	c bounds 30688 >= -1491 @ 0.525455
1.59/1.63	c bounds 30688 >= -1490 @ 0.526487
1.59/1.63	c bounds 30688 >= -1489 @ 0.529834
1.59/1.63	c bounds 30688 >= -1488 @ 0.531495
1.59/1.63	c bounds 30688 >= -1487 @ 0.534955
1.59/1.63	c bounds 30688 >= -1486 @ 0.536541
1.59/1.63	c bounds 30688 >= -1485 @ 0.538886
1.59/1.63	c bounds 30688 >= -1484 @ 0.542003
1.59/1.63	c bounds 30688 >= -1483 @ 0.54439
1.59/1.63	c bounds 30688 >= -1482 @ 0.546806
1.59/1.63	c bounds 30688 >= -1481 @ 0.548925
1.59/1.63	c bounds 30688 >= -1480 @ 0.550539
1.59/1.63	c bounds 30588 >= -1480 @ 0.5561
1.59/1.63	c bounds 30588 >= -1479 @ 0.557823
1.59/1.63	c bounds 30588 >= -1478 @ 0.558368
1.59/1.63	c bounds 30588 >= -1477 @ 0.560524
1.59/1.63	c bounds 30588 >= -1476 @ 0.562362
1.59/1.63	c bounds 30588 >= -1475 @ 0.564498
1.59/1.63	c bounds 30588 >= -1474 @ 0.566825
1.59/1.63	c bounds 30588 >= -1473 @ 0.568355
1.59/1.63	c bounds 30588 >= -1472 @ 0.571909
1.59/1.63	c bounds 30588 >= -1471 @ 0.5745
1.59/1.63	c bounds 30588 >= -1470 @ 0.577838
1.59/1.63	c bounds 30488 >= -1470 @ 0.58187
1.59/1.63	c bounds 30488 >= -1469 @ 0.582493
1.59/1.63	c bounds 30488 >= -1468 @ 0.584862
1.59/1.63	c bounds 30488 >= -1467 @ 0.586323
1.59/1.63	c bounds 30488 >= -1466 @ 0.588779
1.59/1.63	c bounds 30488 >= -1465 @ 0.590318
1.59/1.63	c bounds 30488 >= -1464 @ 0.592633
1.59/1.63	c bounds 30488 >= -1463 @ 0.593315
1.59/1.63	c bounds 30488 >= -1460 @ 0.59473
1.59/1.63	c bounds 30488 >= -1459 @ 0.597308
1.59/1.63	c bounds 30488 >= -1458 @ 0.598308
1.59/1.63	c bounds 30388 >= -1458 @ 0.606051
1.59/1.63	c bounds 30388 >= -1457 @ 0.608754
1.59/1.63	c bounds 30388 >= -1456 @ 0.61028
1.59/1.63	c bounds 30388 >= -1455 @ 0.612699
1.59/1.63	c bounds 30388 >= -1454 @ 0.613277
1.59/1.63	c bounds 30388 >= -1453 @ 0.614676
1.59/1.63	c bounds 30388 >= -1452 @ 0.616219
1.59/1.63	c bounds 30388 >= -1451 @ 0.618396
1.59/1.63	c bounds 30388 >= -1450 @ 0.621209
1.59/1.63	c bounds 30388 >= -1449 @ 0.623344
1.59/1.63	c bounds 30388 >= -1448 @ 0.624663
1.59/1.63	c bounds 30388 >= -1447 @ 0.628363
1.59/1.63	c bounds 30388 >= -1446 @ 0.63295
1.59/1.63	c bounds 30388 >= -1445 @ 0.635661
1.59/1.63	c bounds 30388 >= -1444 @ 0.636165
1.59/1.63	c bounds 30387 >= -1444 @ 0.639509
1.59/1.63	c bounds 30387 >= -1443 @ 0.642154
1.59/1.63	c bounds 30387 >= -1442 @ 0.644606
1.59/1.63	c bounds 30387 >= -1441 @ 0.646148
1.59/1.63	c bounds 30387 >= -1440 @ 0.647627
1.59/1.63	c bounds 30387 >= -1439 @ 0.650143
1.59/1.63	c bounds 30387 >= -1438 @ 0.651615
1.59/1.63	c bounds 30387 >= -1437 @ 0.652143
1.59/1.63	c bounds 30387 >= -1436 @ 0.654574
1.59/1.63	c bounds 30387 >= -1435 @ 0.656138
1.59/1.63	c bounds 30387 >= -1434 @ 0.658259
1.59/1.63	c bounds 30287 >= -1434 @ 0.661125
1.59/1.63	c bounds 30287 >= -1433 @ 0.661705
1.59/1.63	c bounds 30287 >= -1432 @ 0.663288
1.59/1.63	c bounds 30287 >= -1431 @ 0.664129
1.59/1.63	c bounds 30287 >= -1430 @ 0.666255
1.59/1.63	c bounds 30287 >= -1429 @ 0.667691
1.59/1.63	c bounds 30287 >= -1428 @ 0.669122
1.59/1.63	c bounds 30287 >= -1427 @ 0.671576
1.59/1.63	c bounds 30287 >= -1426 @ 0.674113
1.59/1.63	c bounds 30287 >= -1425 @ 0.67741
1.59/1.63	c bounds 30287 >= -1420 @ 0.678108
1.59/1.63	c bounds 30287 >= -1419 @ 0.68041
1.59/1.63	c bounds 30187 >= -1419 @ 0.727823
1.59/1.63	c bounds 30187 >= -1418 @ 0.730609
1.59/1.63	c bounds 30187 >= -1417 @ 0.733047
1.59/1.63	c bounds 30187 >= -1416 @ 0.73582
1.59/1.63	c bounds 30187 >= -1415 @ 0.737238
1.59/1.63	c bounds 30187 >= -1414 @ 0.738817
1.59/1.63	c bounds 30187 >= -1413 @ 0.739954
1.59/1.63	c bounds 30187 >= -1412 @ 0.744303
1.59/1.63	c bounds 30187 >= -1411 @ 0.744807
1.59/1.63	c bounds 30187 >= -1410 @ 0.74736
1.59/1.63	c bounds 30187 >= -1409 @ 0.748802
1.59/1.63	c bounds 30187 >= -1408 @ 0.752234
1.59/1.63	c bounds 30187 >= -1407 @ 0.754791
1.59/1.63	c bounds 30187 >= -1406 @ 0.757205
1.59/1.63	c bounds 30187 >= -1405 @ 0.758429
1.59/1.63	c bounds 30187 >= -1404 @ 0.76187
1.59/1.63	c bounds 30187 >= -1403 @ 0.76331
1.59/1.63	c bounds 30187 >= -1402 @ 0.764777
1.59/1.63	c bounds 30187 >= -1401 @ 0.768204
1.59/1.63	c bounds 30187 >= -1400 @ 0.769769
1.59/1.63	c bounds 30187 >= -1395 @ 0.773028
1.59/1.63	c bounds 30187 >= -1394 @ 0.77476
1.59/1.63	c bounds 30187 >= -1393 @ 0.776756
1.59/1.63	c bounds 30187 >= -1392 @ 0.778753
1.59/1.63	c bounds 30187 >= -1391 @ 0.780206
1.59/1.63	c bounds 30187 >= -1390 @ 0.780753
1.59/1.63	c bounds 30187 >= -1389 @ 0.782181
1.59/1.63	c bounds 30187 >= -1388 @ 0.784743
1.59/1.63	c bounds 30187 >= -1387 @ 0.788107
1.59/1.63	c bounds 30187 >= -1386 @ 0.790734
1.59/1.63	c bounds 30187 >= -1385 @ 0.793729
1.59/1.63	c bounds 30187 >= -1384 @ 0.796723
1.59/1.63	c bounds 30187 >= -1383 @ 0.798294
1.59/1.63	c bounds 30187 >= -1382 @ 0.799611
1.59/1.63	c bounds 30187 >= -1381 @ 0.802078
1.59/1.63	c bounds 30187 >= -1380 @ 0.803662
1.59/1.63	c bounds 30187 >= -1379 @ 0.805116
1.59/1.63	c bounds 30187 >= -1378 @ 0.81041
1.59/1.63	c bounds 30187 >= -1377 @ 0.813062
1.59/1.63	c bounds 30187 >= -1376 @ 0.813643
1.59/1.63	c bounds 30187 >= -1375 @ 0.813644
1.59/1.63	c bounds 30187 >= -1374 @ 0.815057
1.59/1.63	c bounds 30187 >= -1373 @ 0.817348
2.48/2.52	c bounds 30187 >= -1372 @ 0.820083
2.48/2.52	c bounds 30187 >= -1371 @ 0.820636
2.48/2.52	c bounds 30187 >= -1370 @ 0.820785
2.48/2.52	c bounds 30187 >= -1369 @ 0.822222
2.48/2.52	c bounds 30187 >= -1368 @ 0.823692
2.48/2.52	c bounds 30187 >= -1367 @ 0.827079
2.48/2.52	c bounds 30187 >= -1366 @ 0.82845
2.48/2.52	c bounds 30187 >= -1365 @ 0.831062
2.48/2.52	c bounds 30187 >= -1364 @ 0.831621
2.48/2.52	c bounds 30187 >= -1363 @ 0.83262
2.48/2.52	c bounds 30187 >= -1362 @ 0.835113
2.48/2.52	c bounds 30187 >= -1361 @ 0.83679
2.48/2.52	c bounds 30187 >= -1360 @ 0.839252
2.48/2.52	c bounds 30187 >= -1359 @ 0.843744
2.48/2.52	c bounds 30187 >= -1358 @ 0.846132
2.48/2.52	c bounds 30187 >= -1357 @ 0.847439
2.48/2.52	c bounds 30187 >= -1353 @ 0.84901
2.48/2.52	c bounds 30187 >= -1349 @ 0.850592
2.48/2.52	c bounds 30187 >= -1348 @ 0.852745
2.48/2.52	c bounds 30187 >= -1344 @ 0.855136
2.48/2.52	c bounds 30187 >= -1343 @ 0.856584
2.48/2.52	c bounds 30187 >= -1342 @ 0.858064
2.48/2.52	c bounds 30187 >= -1341 @ 0.860578
2.48/2.52	c bounds 30187 >= -1340 @ 0.863017
2.48/2.52	c bounds 30187 >= -1334 @ 0.863575
2.48/2.52	c bounds 30187 >= -1331 @ 0.866292
2.48/2.52	c bounds 30087 >= -1331 @ 1.0648
2.48/2.52	c bounds 30087 >= -1330 @ 1.06816
2.48/2.52	c bounds 30087 >= -1329 @ 1.06989
2.48/2.52	c bounds 30087 >= -1328 @ 1.0754
2.48/2.52	c bounds 30087 >= -1327 @ 1.07688
2.48/2.52	c bounds 30087 >= -1326 @ 1.07946
2.48/2.52	c bounds 30087 >= -1325 @ 1.08033
2.48/2.52	c bounds 30087 >= -1324 @ 1.08244
2.48/2.52	c bounds 30087 >= -1323 @ 1.08287
2.48/2.52	c bounds 30087 >= -1322 @ 1.08345
2.48/2.52	c bounds 30087 >= -1321 @ 1.08503
2.48/2.52	c bounds 30087 >= -1320 @ 1.08852
2.48/2.52	c bounds 30087 >= -1319 @ 1.09202
2.48/2.52	c bounds 30087 >= -1318 @ 1.09463
2.48/2.52	c bounds 30087 >= -1317 @ 1.09707
2.48/2.52	c bounds 30087 >= -1316 @ 1.09984
2.48/2.52	c bounds 30087 >= -1315 @ 1.10098
2.48/2.52	c bounds 30087 >= -1314 @ 1.10383
2.48/2.52	c bounds 30087 >= -1313 @ 1.10483
2.48/2.52	c bounds 30087 >= -1312 @ 1.10743
2.48/2.52	c bounds 30087 >= -1311 @ 1.10932
2.48/2.52	c bounds 30087 >= -1310 @ 1.11001
2.48/2.52	c bounds 30087 >= -1309 @ 1.11345
2.48/2.52	c bounds 30087 >= -1308 @ 1.11398
2.48/2.52	c bounds 30087 >= -1307 @ 1.1154
2.48/2.52	c bounds 30087 >= -1306 @ 1.11681
2.48/2.52	c bounds 30087 >= -1305 @ 1.11827
2.48/2.52	c bounds 30087 >= -1304 @ 1.1218
2.48/2.52	c bounds 30087 >= -1303 @ 1.12444
2.48/2.52	c bounds 30087 >= -1302 @ 1.12626
2.48/2.52	c bounds 30087 >= -1301 @ 1.12779
2.48/2.52	c bounds 30087 >= -1300 @ 1.13022
2.48/2.52	c bounds 30087 >= -1299 @ 1.13262
2.48/2.52	c bounds 30087 >= -1298 @ 1.13423
2.48/2.52	c bounds 30087 >= -1297 @ 1.13768
2.48/2.52	c bounds 30087 >= -1296 @ 1.13974
2.48/2.52	c bounds 30087 >= -1295 @ 1.14237
2.48/2.52	c bounds 30087 >= -1294 @ 1.14322
2.48/2.52	c bounds 30087 >= -1293 @ 1.14453
2.48/2.52	c bounds 30087 >= -1292 @ 1.14612
2.48/2.52	c bounds 30087 >= -1291 @ 1.1467
2.48/2.52	c bounds 30087 >= -1290 @ 1.14813
2.48/2.52	c bounds 30087 >= -1289 @ 1.15152
2.48/2.52	c bounds 30087 >= -1288 @ 1.15399
2.48/2.52	c bounds 30087 >= -1287 @ 1.15756
2.48/2.52	c bounds 30087 >= -1286 @ 1.16115
2.48/2.52	c bounds 30087 >= -1285 @ 1.16283
2.48/2.52	c bounds 30087 >= -1284 @ 1.1643
2.48/2.52	c bounds 30087 >= -1283 @ 1.1658
2.48/2.52	c bounds 30087 >= -1282 @ 1.16824
2.48/2.52	c bounds 30087 >= -1281 @ 1.16966
2.48/2.52	c bounds 30087 >= -1280 @ 1.17107
2.48/2.52	c bounds 30087 >= -1279 @ 1.17265
2.48/2.52	c bounds 30087 >= -1278 @ 1.17409
2.48/2.52	c bounds 30087 >= -1277 @ 1.17465
2.48/2.52	c bounds 30087 >= -1276 @ 1.17718
2.48/2.52	c bounds 30087 >= -1275 @ 1.17916
2.48/2.52	c bounds 30087 >= -1274 @ 1.18064
2.48/2.52	c bounds 30087 >= -1273 @ 1.18325
2.48/2.52	c bounds 30087 >= -1272 @ 1.18579
2.48/2.52	c bounds 30087 >= -1271 @ 1.18763
2.48/2.52	c bounds 30087 >= -1270 @ 1.18984
2.48/2.52	c bounds 30087 >= -1269 @ 1.19239
2.48/2.52	c bounds 30087 >= -1268 @ 1.19411
2.48/2.52	c bounds 30087 >= -1267 @ 1.19462
2.48/2.52	c bounds 30087 >= -1266 @ 1.19708
2.48/2.52	c bounds 30087 >= -1265 @ 1.19961
2.48/2.52	c bounds 30087 >= -1264 @ 1.20206
2.48/2.52	c bounds 30087 >= -1263 @ 1.20277
2.48/2.52	c bounds 30087 >= -1262 @ 1.20516
2.48/2.52	c bounds 30087 >= -1261 @ 1.2066
2.48/2.52	c bounds 30087 >= -1260 @ 1.20997
2.48/2.52	c bounds 30087 >= -1259 @ 1.21159
2.48/2.52	c bounds 30087 >= -1258 @ 1.21346
2.48/2.52	c bounds 30087 >= -1257 @ 1.21617
2.48/2.52	c bounds 30087 >= -1256 @ 1.217
2.48/2.52	c bounds 30087 >= -1255 @ 1.21852
2.48/2.52	c bounds 30087 >= -1254 @ 1.21967
2.48/2.52	c bounds 30087 >= -1253 @ 1.22151
2.48/2.52	c bounds 30087 >= -1252 @ 1.22399
2.48/2.52	c bounds 30087 >= -1251 @ 1.2265
2.48/2.52	c bounds 30087 >= -1250 @ 1.229
2.48/2.52	c bounds 30087 >= -1249 @ 1.23068
2.48/2.52	c bounds 30087 >= -1248 @ 1.23149
2.48/2.52	c bounds 30087 >= -1247 @ 1.23395
2.48/2.52	c bounds 30087 >= -1246 @ 1.23548
2.48/2.52	c bounds 30087 >= -1244 @ 1.23895
2.48/2.52	c bounds 30087 >= -1243 @ 1.24261
2.48/2.52	c bounds 30087 >= -1238 @ 1.246
2.48/2.52	c bounds 30087 >= -1233 @ 1.24846
2.48/2.52	c bounds 30087 >= -1228 @ 1.25106
2.48/2.52	c bounds 30087 >= -1224 @ 1.25391
2.48/2.52	c bounds 30087 >= -1221 @ 1.25645
2.48/2.52	c bounds 30087 >= -1219 @ 1.25843
2.48/2.52	c bounds 30087 >= -1217 @ 1.25987
3.18/3.20	c bounds 30087 >= -1212 @ 1.26142
3.18/3.20	c bounds 30087 >= -1207 @ 1.26356
3.18/3.20	c bounds 30087 >= -1202 @ 1.26596
3.18/3.20	c bounds 30087 >= -1200 @ 1.26741
3.18/3.20	c bounds 30087 >= -1195 @ 1.26998
3.18/3.20	c bounds 30087 >= -1192 @ 1.27157
3.18/3.20	c bounds 30087 >= -1190 @ 1.2734
3.18/3.20	c bounds 30087 >= -1186 @ 1.27455
3.18/3.20	c bounds 30087 >= -1183 @ 1.2764
3.18/3.20	c bounds 30087 >= -1179 @ 1.27687
3.18/3.20	c bounds 30087 >= -1175 @ 1.27839
3.18/3.20	c bounds 30087 >= -1172 @ 1.28164
3.18/3.20	c bounds 30087 >= -1167 @ 1.28338
3.18/3.20	c bounds 30087 >= -1164 @ 1.28556
3.18/3.20	c bounds 30087 >= -1159 @ 1.28638
3.18/3.20	c bounds 30087 >= -1154 @ 1.28784
3.18/3.20	c bounds 30087 >= -1152 @ 1.29156
3.18/3.20	c bounds 30087 >= -1148 @ 1.29402
3.18/3.20	c bounds 30087 >= -1145 @ 1.29776
3.18/3.20	c bounds 30087 >= -1142 @ 1.29891
3.18/3.20	c bounds 30087 >= -1137 @ 1.30144
3.18/3.20	c bounds 30087 >= -1134 @ 1.30376
3.18/3.20	c bounds 30087 >= -1131 @ 1.30429
3.18/3.20	c bounds 30087 >= -1126 @ 1.30681
3.18/3.20	c bounds 30087 >= -1124 @ 1.30978
3.18/3.20	c bounds 30087 >= -1121 @ 1.31028
3.18/3.20	c bounds 30087 >= -1119 @ 1.31278
3.18/3.20	c bounds 30087 >= -1116 @ 1.31328
3.18/3.20	c bounds 30087 >= -1112 @ 1.31579
3.18/3.20	c bounds 30087 >= -1108 @ 1.31727
3.18/3.20	c bounds 30087 >= -1103 @ 1.31973
3.18/3.20	c bounds 30087 >= -1098 @ 1.32043
3.18/3.20	c bounds 30087 >= -1093 @ 1.32127
3.18/3.20	c bounds 30087 >= -1090 @ 1.32373
3.18/3.20	c bounds 30087 >= -1086 @ 1.32626
3.18/3.20	c bounds 30087 >= -1082 @ 1.3277
3.18/3.20	c bounds 30087 >= -1078 @ 1.32925
3.18/3.20	c bounds 30087 >= -1074 @ 1.33089
3.18/3.20	c bounds 30087 >= -1072 @ 1.33125
3.18/3.20	c bounds 30087 >= -1069 @ 1.33472
3.18/3.20	c bounds 30087 >= -1067 @ 1.33721
3.18/3.20	c bounds 30087 >= -1062 @ 1.33989
3.18/3.20	c bounds 30087 >= -1060 @ 1.34248
3.18/3.20	c bounds 30087 >= -1055 @ 1.34404
3.18/3.20	c bounds 30087 >= -1053 @ 1.34745
3.18/3.20	c bounds 30087 >= -1048 @ 1.34822
3.18/3.20	c bounds 30087 >= -1045 @ 1.35221
3.18/3.20	c bounds 30087 >= -1043 @ 1.35321
3.18/3.20	c bounds 30087 >= -1040 @ 1.35566
3.18/3.20	c bounds 30087 >= -1036 @ 1.35903
3.18/3.20	c bounds 30087 >= -1033 @ 1.36068
3.18/3.20	c bounds 30087 >= -1030 @ 1.36334
3.18/3.20	c bounds 30087 >= -1027 @ 1.36681
3.18/3.20	c bounds 30087 >= -1025 @ 1.36932
3.18/3.20	c bounds 30087 >= -1022 @ 1.37076
3.18/3.20	c bounds 30087 >= -1018 @ 1.3733
3.18/3.20	c bounds 30087 >= -1014 @ 1.3762
3.18/3.20	c bounds 30087 >= -1009 @ 1.37766
3.18/3.20	c bounds 30087 >= -1007 @ 1.37811
3.18/3.20	c bounds 30087 >= -1002 @ 1.38064
3.18/3.20	c bounds 30087 >= -997 @ 1.38226
3.18/3.20	c bounds 30087 >= -992 @ 1.38354
3.18/3.20	c bounds 30087 >= -988 @ 1.3841
3.18/3.20	c bounds 30087 >= -983 @ 1.38648
3.18/3.20	c bounds 30087 >= -980 @ 1.38887
3.18/3.20	c bounds 30087 >= -977 @ 1.39145
3.18/3.20	c bounds 30087 >= -972 @ 1.39516
3.18/3.20	c bounds 30087 >= -970 @ 1.39671
3.18/3.20	c bounds 30087 >= -966 @ 1.39855
3.18/3.20	c bounds 30087 >= -961 @ 1.40007
3.18/3.20	c bounds 30087 >= -956 @ 1.40272
3.18/3.20	c bounds 30087 >= -952 @ 1.40356
3.18/3.20	c bounds 30087 >= -950 @ 1.40606
3.18/3.20	c bounds 30087 >= -947 @ 1.40851
3.18/3.20	c bounds 30087 >= -943 @ 1.41094
3.18/3.20	c bounds 30087 >= -939 @ 1.41451
3.18/3.20	c bounds 30087 >= -934 @ 1.41806
3.18/3.20	c bounds 30087 >= -930 @ 1.42175
3.18/3.20	c bounds 30087 >= -928 @ 1.42626
3.18/3.20	c bounds 30087 >= -925 @ 1.42702
3.18/3.20	c bounds 30087 >= -921 @ 1.42918
3.18/3.20	c bounds 30087 >= -917 @ 1.43301
3.18/3.20	c bounds 30087 >= -914 @ 1.43446
3.18/3.20	c bounds 30087 >= -912 @ 1.436
3.18/3.20	c bounds 30087 >= -909 @ 1.43845
3.18/3.20	c bounds 30087 >= -904 @ 1.43918
3.18/3.20	c bounds 30087 >= -899 @ 1.44199
3.18/3.20	c bounds 30087 >= -895 @ 1.44348
3.18/3.20	c bounds 30087 >= -893 @ 1.44607
3.18/3.20	c bounds 30087 >= -890 @ 1.4487
3.18/3.20	c bounds 30087 >= -885 @ 1.45229
3.18/3.20	c bounds 30087 >= -881 @ 1.45297
3.18/3.20	c bounds 30087 >= -876 @ 1.4544
3.18/3.20	c bounds 30087 >= -871 @ 1.45492
3.18/3.20	c bounds 30087 >= -868 @ 1.45678
3.18/3.20	c bounds 30087 >= -863 @ 1.45938
3.18/3.20	c bounds 30087 >= -859 @ 1.45991
3.18/3.20	c bounds 30087 >= -855 @ 1.46136
3.18/3.20	c bounds 30087 >= -852 @ 1.46191
3.18/3.20	c bounds 30087 >= -847 @ 1.46532
3.18/3.20	c bounds 30087 >= -843 @ 1.4659
3.18/3.20	c bounds 30087 >= -837 @ 1.46834
3.18/3.20	c bounds 30087 >= -832 @ 1.4689
3.18/3.20	c bounds 30087 >= -830 @ 1.4689
3.18/3.20	c bounds 30087 >= -827 @ 1.47249
3.18/3.20	c bounds 30087 >= -825 @ 1.47504
3.18/3.20	c bounds 30087 >= -821 @ 1.47887
3.18/3.20	c bounds 30087 >= -819 @ 1.48001
3.18/3.20	c bounds 30087 >= -814 @ 1.48343
3.18/3.20	c bounds 30087 >= -808 @ 1.48487
3.18/3.20	c bounds 30087 >= -805 @ 1.48729
3.18/3.20	c bounds 30087 >= -800 @ 1.48786
3.18/3.20	c bounds 30087 >= -798 @ 1.49015
3.18/3.20	c bounds 30087 >= -793 @ 1.49385
3.18/3.20	c bounds 30087 >= -788 @ 1.49631
3.18/3.20	c bounds 30087 >= -787 @ 1.49782
3.18/3.20	c bounds 30087 >= -786 @ 1.49927
3.18/3.20	c bounds 30087 >= -785 @ 1.50084
3.18/3.20	c bounds 30087 >= -784 @ 1.50226
3.18/3.20	c bounds 30087 >= -783 @ 1.50483
3.18/3.20	c bounds 30087 >= -782 @ 1.50587
3.18/3.20	c bounds 30087 >= -781 @ 1.50935
3.78/3.88	c bounds 30087 >= -780 @ 1.51098
3.78/3.88	c bounds 30087 >= -779 @ 1.51346
3.78/3.88	c bounds 30087 >= -778 @ 1.51396
3.78/3.88	c bounds 30087 >= -777 @ 1.51729
3.78/3.88	c bounds 30087 >= -776 @ 1.51981
3.78/3.88	c bounds 30087 >= -774 @ 1.52209
3.78/3.88	c bounds 30087 >= -773 @ 1.52547
3.78/3.88	c bounds 30087 >= -772 @ 1.52824
3.78/3.88	c bounds 30087 >= -771 @ 1.52974
3.78/3.88	c bounds 30087 >= -770 @ 1.53224
3.78/3.88	c bounds 30087 >= -769 @ 1.53643
3.78/3.88	c bounds 30087 >= -768 @ 1.53875
3.78/3.88	c bounds 30087 >= -767 @ 1.54124
3.78/3.88	c bounds 30087 >= -766 @ 1.54271
3.78/3.88	c bounds 30087 >= -765 @ 1.54714
3.78/3.88	c bounds 30087 >= -764 @ 1.54866
3.78/3.88	c bounds 30087 >= -763 @ 1.55213
3.78/3.88	c bounds 30087 >= -762 @ 1.55463
3.78/3.88	c bounds 30087 >= -761 @ 1.5573
3.78/3.88	c bounds 30087 >= -760 @ 1.55917
3.78/3.88	c bounds 30087 >= -759 @ 1.55968
3.78/3.88	c bounds 30087 >= -758 @ 1.56112
3.78/3.88	c bounds 30087 >= -756 @ 1.56242
3.78/3.88	c bounds 30087 >= -755 @ 1.56413
3.78/3.88	c bounds 30087 >= -754 @ 1.5665
3.78/3.88	c bounds 30087 >= -753 @ 1.56811
3.78/3.88	c bounds 30087 >= -752 @ 1.57147
3.78/3.88	c bounds 30087 >= -751 @ 1.57414
3.78/3.88	c bounds 30087 >= -750 @ 1.57465
3.78/3.88	c bounds 30087 >= -749 @ 1.57614
3.78/3.88	c bounds 30087 >= -748 @ 1.57764
3.78/3.88	c bounds 30087 >= -747 @ 1.5821
3.78/3.88	c bounds 30087 >= -746 @ 1.58363
3.78/3.88	c bounds 30087 >= -745 @ 1.58613
3.78/3.88	c bounds 30087 >= -744 @ 1.58861
3.78/3.88	c bounds 30087 >= -743 @ 1.59409
3.78/3.88	c bounds 30087 >= -742 @ 1.59678
3.78/3.88	c bounds 30087 >= -741 @ 1.5986
3.78/3.88	c bounds 30087 >= -740 @ 1.60011
3.78/3.88	c bounds 30087 >= -739 @ 1.60175
3.78/3.88	c bounds 30087 >= -738 @ 1.60359
3.78/3.88	c bounds 30087 >= -737 @ 1.60504
3.78/3.88	c bounds 30087 >= -736 @ 1.60559
3.78/3.88	c bounds 30087 >= -735 @ 1.60704
3.78/3.88	c bounds 30087 >= -734 @ 1.60759
3.78/3.88	c bounds 30087 >= -733 @ 1.61022
3.78/3.88	c bounds 30087 >= -732 @ 1.61169
3.78/3.88	c bounds 30087 >= -731 @ 1.61417
3.78/3.88	c bounds 30087 >= -730 @ 1.61635
3.78/3.88	c bounds 30087 >= -729 @ 1.61888
3.78/3.88	c bounds 30087 >= -728 @ 1.62043
3.78/3.88	c bounds 30087 >= -727 @ 1.6219
3.78/3.88	c bounds 30087 >= -726 @ 1.62343
3.78/3.88	c bounds 30087 >= -725 @ 1.62574
3.78/3.88	c bounds 30087 >= -724 @ 1.62736
3.78/3.88	c bounds 30087 >= -723 @ 1.63106
3.78/3.88	c bounds 30087 >= -722 @ 1.63374
3.78/3.88	c bounds 30087 >= -721 @ 1.6364
3.78/3.88	c bounds 30087 >= -720 @ 1.63884
3.78/3.88	c bounds 30087 >= -719 @ 1.64123
3.78/3.88	c bounds 30087 >= -718 @ 1.64384
3.78/3.88	c bounds 30087 >= -717 @ 1.64538
3.78/3.88	c bounds 30087 >= -716 @ 1.64684
3.78/3.88	c bounds 30087 >= -715 @ 1.64838
3.78/3.88	c bounds 30087 >= -714 @ 1.64984
3.78/3.88	c bounds 30087 >= -713 @ 1.65037
3.78/3.88	c bounds 30087 >= -712 @ 1.6518
3.78/3.88	c bounds 30087 >= -711 @ 1.65337
3.78/3.88	c bounds 30087 >= -710 @ 1.65553
3.78/3.88	c bounds 30087 >= -709 @ 1.65694
3.78/3.88	c bounds 30087 >= -708 @ 1.65736
3.78/3.88	c bounds 30087 >= -707 @ 1.65883
3.78/3.88	c bounds 30087 >= -706 @ 1.66031
3.78/3.88	c bounds 30087 >= -705 @ 1.66194
3.78/3.88	c bounds 30087 >= -702 @ 1.66446
3.78/3.88	c bounds 30087 >= -701 @ 1.66634
3.78/3.88	c bounds 30087 >= -699 @ 1.66748
3.78/3.88	c bounds 30087 >= -698 @ 1.67094
3.78/3.88	c bounds 30087 >= -697 @ 1.6742
3.78/3.88	c bounds 30087 >= -696 @ 1.67773
3.78/3.88	c bounds 30087 >= -695 @ 1.68031
3.78/3.88	c bounds 30087 >= -694 @ 1.68145
3.78/3.88	c bounds 30087 >= -693 @ 1.6829
3.78/3.88	c bounds 30087 >= -692 @ 1.68373
3.78/3.88	c bounds 30087 >= -690 @ 1.6848
3.78/3.88	c bounds 30087 >= -689 @ 1.68619
3.78/3.88	c bounds 30087 >= -688 @ 1.68805
3.78/3.88	c bounds 30087 >= -687 @ 1.6904
3.78/3.88	c bounds 30087 >= -686 @ 1.69178
3.78/3.88	c bounds 30087 >= -684 @ 1.69423
3.78/3.88	c bounds 30087 >= -683 @ 1.69723
3.78/3.88	c bounds 30087 >= -682 @ 1.69739
3.78/3.88	c bounds 30087 >= -681 @ 1.70023
3.78/3.88	c bounds 30087 >= -680 @ 1.70239
3.78/3.88	c bounds 30087 >= -679 @ 1.70483
3.78/3.88	c bounds 30087 >= -678 @ 1.70539
3.78/3.88	c bounds 30087 >= -677 @ 1.70783
3.78/3.88	c bounds 30087 >= -676 @ 1.70866
3.78/3.88	c bounds 30087 >= -673 @ 1.71121
3.78/3.88	c bounds 30087 >= -672 @ 1.71236
3.78/3.88	c bounds 30087 >= -671 @ 1.71478
3.78/3.88	c bounds 30087 >= -670 @ 1.7172
3.78/3.88	c bounds 30087 >= -669 @ 1.71861
3.78/3.88	c bounds 30087 >= -668 @ 1.72019
3.78/3.88	c bounds 30087 >= -667 @ 1.72161
3.78/3.88	c bounds 30087 >= -665 @ 1.72418
3.78/3.88	c bounds 30087 >= -663 @ 1.72614
3.78/3.88	c bounds 30087 >= -662 @ 1.73058
3.78/3.88	c bounds 30087 >= -661 @ 1.73117
3.78/3.88	c bounds 30087 >= -660 @ 1.73454
3.78/3.88	c bounds 30087 >= -659 @ 1.73716
3.78/3.88	c bounds 30087 >= -658 @ 1.73859
3.78/3.88	c bounds 30087 >= -657 @ 1.74072
3.78/3.88	c bounds 30087 >= -656 @ 1.74309
3.78/3.88	c bounds 30087 >= -655 @ 1.7446
3.78/3.88	c bounds 30087 >= -654 @ 1.74614
3.78/3.88	c bounds 30087 >= -653 @ 1.74728
3.78/3.88	c bounds 30087 >= -652 @ 1.7487
3.78/3.88	c bounds 30087 >= -651 @ 1.75116
3.78/3.88	c bounds 30087 >= -650 @ 1.75368
3.78/3.88	c bounds 30087 >= -649 @ 1.75513
3.78/3.88	c bounds 30087 >= -647 @ 1.7585
3.78/3.88	c bounds 30087 >= -646 @ 1.76106
3.78/3.88	c bounds 30087 >= -645 @ 1.76447
3.78/3.88	c bounds 30087 >= -644 @ 1.7662
4.48/4.57	c bounds 30087 >= -643 @ 1.7676
4.48/4.57	c bounds 30087 >= -642 @ 1.77004
4.48/4.57	c bounds 30087 >= -641 @ 1.77163
4.48/4.57	c bounds 30087 >= -639 @ 1.7732
4.48/4.57	c bounds 30087 >= -638 @ 1.77404
4.48/4.57	c bounds 30087 >= -637 @ 1.77418
4.48/4.57	c bounds 30087 >= -636 @ 1.77546
4.48/4.57	c bounds 30087 >= -635 @ 1.77704
4.48/4.57	c bounds 30087 >= -634 @ 1.77848
4.48/4.57	c bounds 30087 >= -633 @ 1.78004
4.48/4.57	c bounds 30087 >= -632 @ 1.78004
4.48/4.57	c bounds 30087 >= -631 @ 1.78453
4.48/4.57	c bounds 30087 >= -630 @ 1.78602
4.48/4.57	c bounds 30087 >= -629 @ 1.78844
4.48/4.57	c bounds 30087 >= -628 @ 1.78972
4.48/4.57	c bounds 30087 >= -627 @ 1.79317
4.48/4.57	c bounds 30087 >= -626 @ 1.79443
4.48/4.57	c bounds 30087 >= -625 @ 1.79601
4.48/4.57	c bounds 30087 >= -622 @ 1.79915
4.48/4.57	c bounds 30087 >= -621 @ 1.80055
4.48/4.57	c bounds 30087 >= -620 @ 1.801
4.48/4.57	c bounds 30087 >= -619 @ 1.80358
4.48/4.57	c bounds 30087 >= -618 @ 1.80557
4.48/4.57	c bounds 30087 >= -617 @ 1.80615
4.48/4.57	c bounds 30087 >= -616 @ 1.80754
4.48/4.57	c bounds 30087 >= -615 @ 1.80892
4.48/4.57	c bounds 30087 >= -614 @ 1.8114
4.48/4.57	c bounds 30087 >= -613 @ 1.81199
4.48/4.57	c bounds 30087 >= -612 @ 1.81315
4.48/4.57	c bounds 30087 >= -611 @ 1.81499
4.48/4.57	c bounds 30087 >= -610 @ 1.81615
4.48/4.57	c bounds 30087 >= -609 @ 1.81769
4.48/4.57	c bounds 30087 >= -608 @ 1.82139
4.48/4.57	c bounds 30087 >= -607 @ 1.82352
4.48/4.57	c bounds 30087 >= -606 @ 1.82513
4.48/4.57	c bounds 30087 >= -605 @ 1.82844
4.48/4.57	c bounds 30087 >= -604 @ 1.82984
4.48/4.57	c bounds 30087 >= -603 @ 1.83276
4.48/4.57	c bounds 30087 >= -602 @ 1.83404
4.48/4.57	c bounds 30087 >= -601 @ 1.83489
4.48/4.57	c bounds 30087 >= -600 @ 1.83633
4.48/4.57	c bounds 30087 >= -599 @ 1.83889
4.48/4.57	c bounds 30087 >= -598 @ 1.8403
4.48/4.57	c bounds 30087 >= -597 @ 1.84145
4.48/4.57	c bounds 30087 >= -596 @ 1.84381
4.48/4.57	c bounds 30087 >= -595 @ 1.84622
4.48/4.57	c bounds 30087 >= -594 @ 1.84887
4.48/4.57	c bounds 30087 >= -593 @ 1.85031
4.48/4.57	c bounds 30087 >= -592 @ 1.85255
4.48/4.57	c bounds 30087 >= -591 @ 1.85602
4.48/4.57	c bounds 30087 >= -590 @ 1.85741
4.48/4.57	c bounds 30087 >= -589 @ 1.85885
4.48/4.57	c bounds 30087 >= -588 @ 1.86043
4.48/4.57	c bounds 30087 >= -587 @ 1.8637
4.48/4.57	c bounds 30087 >= -586 @ 1.86527
4.48/4.57	c bounds 30087 >= -585 @ 1.86584
4.48/4.57	c bounds 30087 >= -584 @ 1.86798
4.48/4.57	c bounds 30087 >= -583 @ 1.86983
4.48/4.57	c bounds 30087 >= -582 @ 1.87097
4.48/4.57	c bounds 30087 >= -581 @ 1.87441
4.48/4.57	c bounds 30087 >= -580 @ 1.87881
4.48/4.57	c bounds 30087 >= -579 @ 1.88113
4.48/4.57	c bounds 30087 >= -578 @ 1.88456
4.48/4.57	c bounds 30087 >= -577 @ 1.88824
4.48/4.57	c bounds 30087 >= -576 @ 1.8888
4.48/4.57	c bounds 30087 >= -575 @ 1.88894
4.48/4.57	c bounds 30087 >= -574 @ 1.89342
4.48/4.57	c bounds 30087 >= -573 @ 1.89594
4.48/4.57	c bounds 30087 >= -572 @ 1.89878
4.48/4.57	c bounds 30087 >= -571 @ 1.89993
4.48/4.57	c bounds 30087 >= -570 @ 1.90242
4.48/4.57	c bounds 30087 >= -569 @ 1.90293
4.48/4.57	c bounds 30087 >= -568 @ 1.90539
4.48/4.57	c bounds 30087 >= -567 @ 1.90785
4.48/4.57	c bounds 30087 >= -566 @ 1.91019
4.48/4.57	c bounds 30087 >= -565 @ 1.91171
4.48/4.57	c bounds 30087 >= -564 @ 1.91374
4.48/4.57	c bounds 30087 >= -563 @ 1.91631
4.48/4.57	c bounds 30087 >= -562 @ 1.91883
4.48/4.57	c bounds 30087 >= -561 @ 1.92024
4.48/4.57	c bounds 30087 >= -560 @ 1.92169
4.48/4.57	c bounds 30087 >= -559 @ 1.9241
4.48/4.57	c bounds 30087 >= -558 @ 1.92468
4.48/4.57	c bounds 30087 >= -556 @ 1.92688
4.48/4.57	c bounds 30087 >= -555 @ 1.92936
4.48/4.57	c bounds 30087 >= -551 @ 1.92982
4.48/4.57	c bounds 30087 >= -549 @ 1.93122
4.48/4.57	c bounds 30087 >= -547 @ 1.93267
4.48/4.57	c bounds 30087 >= -545 @ 1.93409
4.48/4.57	c bounds 30087 >= -542 @ 1.93536
4.48/4.57	c bounds 30087 >= -540 @ 1.93782
4.48/4.57	c bounds 30087 >= -538 @ 1.93921
4.48/4.57	c bounds 30087 >= -530 @ 1.94058
4.48/4.57	c bounds 30087 >= -528 @ 1.9431
4.48/4.57	c bounds 30087 >= -527 @ 1.94466
4.48/4.57	c bounds 30087 >= -518 @ 1.94806
4.48/4.57	c bounds 30087 >= -517 @ 1.94946
4.48/4.57	c bounds 30087 >= -513 @ 1.95181
4.48/4.57	c bounds 30087 >= -512 @ 1.95418
4.48/4.57	c bounds 30087 >= -504 @ 1.95762
4.48/4.57	c bounds 30087 >= -496 @ 1.95856
4.48/4.57	c bounds 30087 >= -490 @ 1.96107
4.48/4.57	c bounds 30087 >= -479 @ 1.96161
4.48/4.57	c bounds 30087 >= -475 @ 1.96417
4.48/4.57	c bounds 30087 >= -472 @ 1.9656
4.48/4.57	c bounds 30087 >= -467 @ 1.96903
4.48/4.57	c bounds 30087 >= -464 @ 1.97059
4.48/4.57	c bounds 30087 >= -460 @ 1.97287
4.48/4.57	c bounds 30087 >= -457 @ 1.9743
4.48/4.57	c bounds 30087 >= -454 @ 1.97774
4.48/4.57	c bounds 30087 >= -450 @ 1.97957
4.48/4.57	c bounds 30087 >= -448 @ 1.98198
4.48/4.57	c bounds 30087 >= -443 @ 1.98253
4.48/4.57	c bounds 30087 >= -440 @ 1.98401
4.48/4.57	c bounds 30087 >= -434 @ 1.98552
4.48/4.57	c bounds 30087 >= -430 @ 1.98997
4.48/4.57	c bounds 30087 >= -426 @ 1.99251
4.48/4.57	c bounds 30087 >= -422 @ 1.99398
4.48/4.57	c bounds 30087 >= -418 @ 1.9965
4.48/4.57	c bounds 30087 >= -413 @ 1.99972
4.48/4.57	c bounds 30087 >= -408 @ 2.00149
4.48/4.57	c bounds 30087 >= -404 @ 2.00364
4.48/4.57	c bounds 30087 >= -394 @ 2.00449
4.48/4.57	c bounds 30087 >= -392 @ 2.0078
4.48/4.57	c bounds 30087 >= -391 @ 2.00948
5.18/5.26	c bounds 30087 >= -388 @ 2.01095
5.18/5.26	c bounds 30087 >= -383 @ 2.01331
5.18/5.26	c bounds 30087 >= -374 @ 2.01592
5.18/5.26	c bounds 30087 >= -369 @ 2.01832
5.18/5.26	c bounds 30087 >= -367 @ 2.02068
5.18/5.26	c bounds 30087 >= -365 @ 2.02146
5.18/5.26	c bounds 30087 >= -361 @ 2.02492
5.18/5.26	c bounds 30087 >= -358 @ 2.02732
5.18/5.26	c bounds 30087 >= -356 @ 2.02988
5.18/5.26	c bounds 30087 >= -353 @ 2.03116
5.18/5.26	c bounds 30087 >= -352 @ 2.03257
5.18/5.26	c bounds 30087 >= -345 @ 2.035
5.18/5.26	c bounds 30087 >= -341 @ 2.03642
5.18/5.26	c bounds 30087 >= -336 @ 2.0379
5.18/5.26	c bounds 30087 >= -333 @ 2.04042
5.18/5.26	c bounds 30087 >= -328 @ 2.04189
5.18/5.26	c bounds 30087 >= -321 @ 2.04341
5.18/5.26	c bounds 30087 >= -316 @ 2.04559
5.18/5.26	c bounds 30087 >= -312 @ 2.0474
5.18/5.26	c bounds 30087 >= -306 @ 2.0484
5.18/5.26	c bounds 30087 >= -298 @ 2.04996
5.18/5.26	c bounds 30087 >= -291 @ 2.05229
5.18/5.26	c bounds 30087 >= -281 @ 2.05486
5.18/5.26	c bounds 30087 >= -279 @ 2.05539
5.18/5.26	c bounds 30087 >= -274 @ 2.05883
5.18/5.26	c bounds 30087 >= -272 @ 2.05934
5.18/5.26	c bounds 30087 >= -270 @ 2.06299
5.18/5.26	c bounds 30087 >= -269 @ 2.06377
5.18/5.26	c bounds 30087 >= -261 @ 2.06433
5.18/5.26	c bounds 30087 >= -258 @ 2.06447
5.18/5.26	c bounds 30087 >= -252 @ 2.06687
5.18/5.26	c bounds 30087 >= -244 @ 2.06832
5.18/5.26	c bounds 30087 >= -239 @ 2.07073
5.18/5.26	c bounds 30087 >= -236 @ 2.07132
5.18/5.26	c bounds 30087 >= -231 @ 2.07273
5.18/5.26	c bounds 30087 >= -228 @ 2.07493
5.18/5.26	c bounds 30087 >= -219 @ 2.07634
5.18/5.26	c bounds 30087 >= -212 @ 2.07875
5.18/5.26	c bounds 30087 >= -211 @ 2.08107
5.18/5.26	c bounds 30087 >= -208 @ 2.08272
5.18/5.26	c bounds 30087 >= -207 @ 2.0843
5.18/5.26	c bounds 30087 >= -206 @ 2.08622
5.18/5.26	c bounds 30087 >= -196 @ 2.08984
5.18/5.26	c bounds 30087 >= -189 @ 2.09228
5.18/5.26	c bounds 30087 >= -185 @ 2.09473
5.18/5.26	c bounds 30087 >= -178 @ 2.09628
5.18/5.26	c bounds 30087 >= -171 @ 2.09971
5.18/5.26	c bounds 30087 >= -163 @ 2.10027
5.18/5.26	c bounds 30087 >= -155 @ 2.10175
5.18/5.26	c bounds 30087 >= -148 @ 2.10227
5.18/5.26	c bounds 30087 >= -141 @ 2.10372
5.18/5.26	c bounds 30087 >= -133 @ 2.10527
5.18/5.26	c bounds 30087 >= -128 @ 2.1085
5.18/5.26	c bounds 30087 >= -124 @ 2.11125
5.18/5.26	c bounds 30087 >= -120 @ 2.11331
5.18/5.26	c bounds 30087 >= -115 @ 2.11581
5.18/5.26	c bounds 30087 >= -111 @ 2.11824
5.18/5.26	c bounds 30087 >= -103 @ 2.12254
5.18/5.26	c bounds 30087 >= -99 @ 2.12495
5.18/5.26	c bounds 30087 >= -92 @ 2.12567
5.18/5.26	c bounds 30087 >= -85 @ 2.12822
5.18/5.26	c bounds 30087 >= -81 @ 2.12968
5.18/5.26	c bounds 30087 >= -77 @ 2.13117
5.18/5.26	c bounds 30087 >= -69 @ 2.13457
5.18/5.26	c bounds 30087 >= -65 @ 2.13533
5.18/5.26	c bounds 30087 >= -61 @ 2.13875
5.18/5.26	c bounds 30087 >= -57 @ 2.13931
5.18/5.26	c bounds 30087 >= -55 @ 2.14115
5.18/5.26	c bounds 30087 >= -48 @ 2.14215
5.18/5.26	c bounds 30087 >= -44 @ 2.1446
5.18/5.26	c bounds 30087 >= -41 @ 2.14714
5.18/5.26	c bounds 30087 >= -36 @ 2.15032
5.18/5.26	c bounds 30087 >= -31 @ 2.15272
5.18/5.26	c bounds 30087 >= -28 @ 2.15412
5.18/5.26	c bounds 30087 >= -27 @ 2.15754
5.18/5.26	c bounds 30087 >= -22 @ 2.16011
5.18/5.26	c bounds 30087 >= -20 @ 2.16223
5.18/5.26	c bounds 30087 >= -14 @ 2.16366
5.18/5.26	c bounds 30087 >= -12 @ 2.16411
5.18/5.26	c bounds 30087 >= -9 @ 2.16665
5.18/5.26	c bounds 30087 >= -6 @ 2.16826
5.18/5.26	c bounds 30087 >= -5 @ 2.16971
5.18/5.26	c bounds 30087 >= 2 @ 2.17124
5.18/5.26	c bounds 30087 >= 8 @ 2.17265
5.18/5.26	c bounds 30087 >= 16 @ 2.17499
5.18/5.26	c bounds 30087 >= 24 @ 2.17751
5.18/5.26	c bounds 30087 >= 28 @ 2.17908
5.18/5.26	c bounds 30087 >= 33 @ 2.18229
5.18/5.26	c bounds 30087 >= 34 @ 2.18507
5.18/5.26	c bounds 30087 >= 42 @ 2.18523
5.18/5.26	c bounds 30087 >= 44 @ 2.18749
5.18/5.26	c bounds 30087 >= 52 @ 2.18907
5.18/5.26	c bounds 30087 >= 60 @ 2.19152
5.18/5.26	c bounds 30087 >= 64 @ 2.19206
5.18/5.26	c bounds 30087 >= 68 @ 2.19552
5.18/5.26	c bounds 30087 >= 72 @ 2.1977
5.18/5.26	c bounds 30087 >= 76 @ 2.20021
5.18/5.26	c bounds 30087 >= 84 @ 2.20365
5.18/5.26	c bounds 30087 >= 88 @ 2.20518
5.18/5.26	c bounds 30087 >= 96 @ 2.20853
5.18/5.26	c bounds 30087 >= 100 @ 2.21043
5.18/5.26	c bounds 30087 >= 108 @ 2.21272
5.18/5.26	c bounds 30087 >= 113 @ 2.21581
5.18/5.26	c bounds 30087 >= 121 @ 2.21809
5.18/5.26	c bounds 30087 >= 125 @ 2.22151
5.18/5.26	c bounds 30087 >= 132 @ 2.22194
5.18/5.26	c bounds 30087 >= 135 @ 2.22448
5.18/5.26	c bounds 30087 >= 138 @ 2.22693
5.18/5.26	c bounds 30087 >= 139 @ 2.22937
5.18/5.26	c bounds 30087 >= 142 @ 2.23156
5.18/5.26	c bounds 30087 >= 146 @ 2.23405
5.18/5.26	c bounds 30087 >= 154 @ 2.2365
5.18/5.26	c bounds 30087 >= 162 @ 2.2379
5.18/5.26	c bounds 30087 >= 164 @ 2.24032
5.18/5.26	c bounds 30087 >= 165 @ 2.24189
5.18/5.26	c bounds 30087 >= 170 @ 2.24331
5.18/5.26	c bounds 30087 >= 175 @ 2.24554
5.18/5.26	c bounds 30087 >= 179 @ 2.24695
5.18/5.26	c bounds 30087 >= 184 @ 2.24944
5.18/5.26	c bounds 30087 >= 191 @ 2.24988
5.18/5.26	c bounds 30087 >= 195 @ 2.2513
5.18/5.26	c bounds 30087 >= 203 @ 2.25349
5.18/5.26	c bounds 30087 >= 205 @ 2.25586
5.18/5.26	c bounds 30087 >= 209 @ 2.25729
5.18/5.26	c bounds 30087 >= 210 @ 2.25887
5.18/5.26	c bounds 30087 >= 217 @ 2.26228
5.18/5.26	c bounds 30087 >= 220 @ 2.26385
5.88/5.98	c bounds 30087 >= 228 @ 2.26728
5.88/5.98	c bounds 30087 >= 232 @ 2.2684
5.88/5.98	c bounds 30087 >= 240 @ 2.26984
5.88/5.98	c bounds 30087 >= 244 @ 2.27226
5.88/5.98	c bounds 30087 >= 248 @ 2.27545
5.88/5.98	c bounds 30087 >= 253 @ 2.27897
5.88/5.98	c bounds 30087 >= 261 @ 2.28137
5.88/5.98	c bounds 30087 >= 269 @ 2.28496
5.88/5.98	c bounds 30087 >= 277 @ 2.28838
5.88/5.98	c bounds 30087 >= 280 @ 2.28881
5.88/5.98	c bounds 30087 >= 289 @ 2.29123
5.88/5.98	c bounds 30087 >= 297 @ 2.29275
5.88/5.98	c bounds 30087 >= 301 @ 2.29419
5.88/5.98	c bounds 30087 >= 306 @ 2.2967
5.88/5.98	c bounds 30087 >= 311 @ 2.29816
5.88/5.98	c bounds 30087 >= 314 @ 2.29961
5.88/5.98	c bounds 30087 >= 322 @ 2.30119
5.88/5.98	c bounds 30087 >= 330 @ 2.30448
5.88/5.98	c bounds 30087 >= 338 @ 2.30586
5.88/5.98	c bounds 30087 >= 339 @ 2.30732
5.88/5.98	c bounds 30087 >= 340 @ 2.30772
5.88/5.98	c bounds 30087 >= 341 @ 2.30914
5.88/5.98	c bounds 30087 >= 342 @ 2.31138
5.88/5.98	c bounds 30087 >= 343 @ 2.31185
5.88/5.98	c bounds 30087 >= 344 @ 2.31318
5.88/5.98	c bounds 30087 >= 345 @ 2.3157
5.88/5.98	c bounds 30087 >= 346 @ 2.31799
5.88/5.98	c bounds 30087 >= 347 @ 2.32034
5.88/5.98	c bounds 30087 >= 348 @ 2.32184
5.88/5.98	c bounds 30087 >= 349 @ 2.32513
5.88/5.98	c bounds 30087 >= 350 @ 2.32768
5.88/5.98	c bounds 30087 >= 352 @ 2.3301
5.88/5.98	c bounds 30087 >= 353 @ 2.33225
5.88/5.98	c bounds 30087 >= 354 @ 2.33267
5.88/5.98	c bounds 30087 >= 355 @ 2.33614
5.88/5.98	c bounds 30087 >= 356 @ 2.33764
5.88/5.98	c bounds 30087 >= 357 @ 2.33959
5.88/5.98	c bounds 30087 >= 358 @ 2.33959
5.88/5.98	c bounds 30087 >= 359 @ 2.34404
5.88/5.98	c bounds 30087 >= 360 @ 2.34458
5.88/5.98	c bounds 30087 >= 361 @ 2.34673
5.88/5.98	c bounds 30087 >= 362 @ 2.34917
5.88/5.98	c bounds 30087 >= 363 @ 2.34971
5.88/5.98	c bounds 30087 >= 364 @ 2.35218
5.88/5.98	c bounds 30087 >= 365 @ 2.35372
5.88/5.98	c bounds 30087 >= 366 @ 2.35617
5.88/5.98	c bounds 30087 >= 370 @ 2.357
5.88/5.98	c bounds 30087 >= 376 @ 2.35756
5.88/5.98	c bounds 30087 >= 379 @ 2.36061
5.88/5.98	c bounds 30087 >= 380 @ 2.36349
5.88/5.98	c bounds 30087 >= 386 @ 2.36428
5.88/5.98	c bounds 30087 >= 388 @ 2.36649
5.88/5.98	c bounds 30087 >= 394 @ 2.36907
5.88/5.98	c bounds 30087 >= 395 @ 2.37062
5.88/5.98	c bounds 30087 >= 397 @ 2.37307
5.88/5.98	c bounds 30087 >= 399 @ 2.37561
5.88/5.98	c bounds 30087 >= 402 @ 2.37905
5.88/5.98	c bounds 30087 >= 409 @ 2.38045
5.88/5.98	c bounds 30087 >= 412 @ 2.38187
5.88/5.98	c bounds 30087 >= 418 @ 2.38245
5.88/5.98	c bounds 30087 >= 424 @ 2.38487
5.88/5.98	c bounds 30087 >= 430 @ 2.38644
5.88/5.98	c bounds 30087 >= 436 @ 2.3899
5.88/5.98	c bounds 30087 >= 438 @ 2.39238
5.88/5.98	c bounds 30087 >= 440 @ 2.39485
5.88/5.98	c bounds 30087 >= 442 @ 2.39542
5.88/5.98	c bounds 30087 >= 443 @ 2.39884
5.88/5.98	c bounds 30087 >= 445 @ 2.40141
5.88/5.98	c bounds 30087 >= 447 @ 2.40485
5.88/5.98	c bounds 30087 >= 449 @ 2.40639
5.88/5.98	c bounds 30087 >= 451 @ 2.40855
5.88/5.98	c bounds 30087 >= 455 @ 2.41008
5.88/5.98	c bounds 30087 >= 457 @ 2.41161
5.88/5.98	c bounds 30087 >= 463 @ 2.41239
5.88/5.98	c bounds 30087 >= 464 @ 2.41383
5.88/5.98	c bounds 30087 >= 470 @ 2.41438
5.88/5.98	c bounds 30087 >= 472 @ 2.4158
5.88/5.98	c bounds 30087 >= 474 @ 2.41734
5.88/5.98	c bounds 30087 >= 480 @ 2.42104
5.88/5.98	c bounds 30087 >= 483 @ 2.42188
5.88/5.98	c bounds 30087 >= 484 @ 2.4237
5.88/5.98	c bounds 30087 >= 485 @ 2.42454
5.88/5.98	c bounds 30087 >= 487 @ 2.42537
5.88/5.98	c bounds 30087 >= 489 @ 2.42794
5.88/5.98	c bounds 30087 >= 495 @ 2.43008
5.88/5.98	c bounds 30087 >= 497 @ 2.43281
5.88/5.98	c bounds 30087 >= 503 @ 2.43384
5.88/5.98	c bounds 30087 >= 505 @ 2.43446
5.88/5.98	c bounds 30087 >= 508 @ 2.43889
5.88/5.98	c bounds 30087 >= 509 @ 2.44082
5.88/5.98	c bounds 30087 >= 510 @ 2.44177
5.88/5.98	c bounds 30087 >= 512 @ 2.44446
5.88/5.98	c bounds 30087 >= 513 @ 2.44728
5.88/5.98	c bounds 30087 >= 514 @ 2.44828
5.88/5.98	c bounds 30087 >= 519 @ 2.45192
5.88/5.98	c bounds 30087 >= 525 @ 2.45472
5.88/5.98	c bounds 30087 >= 531 @ 2.45673
5.88/5.98	c bounds 30087 >= 536 @ 2.46124
5.88/5.98	c bounds 30087 >= 542 @ 2.46409
5.88/5.98	c bounds 30087 >= 547 @ 2.46789
5.88/5.98	c bounds 30087 >= 549 @ 2.4697
5.88/5.98	c bounds 30087 >= 554 @ 2.47121
5.88/5.98	c bounds 30087 >= 555 @ 2.47389
5.88/5.98	c bounds 30087 >= 558 @ 2.47463
5.88/5.98	c bounds 30087 >= 561 @ 2.4772
5.88/5.98	c bounds 30087 >= 564 @ 2.4788
5.88/5.98	c bounds 30087 >= 565 @ 2.48061
5.88/5.98	c bounds 30087 >= 566 @ 2.48219
5.88/5.98	c bounds 30087 >= 567 @ 2.48361
5.88/5.98	c bounds 30087 >= 568 @ 2.48419
5.88/5.98	c bounds 30087 >= 569 @ 2.48686
5.88/5.98	c bounds 30087 >= 570 @ 2.4886
5.88/5.98	c bounds 30087 >= 571 @ 2.49118
5.88/5.98	c bounds 30087 >= 572 @ 2.49274
5.88/5.98	c bounds 30087 >= 573 @ 2.49548
5.88/5.98	c bounds 30087 >= 574 @ 2.49717
5.88/5.98	c bounds 30087 >= 576 @ 2.49877
5.88/5.98	c bounds 30087 >= 577 @ 2.5016
5.88/5.98	c bounds 30087 >= 578 @ 2.50415
5.88/5.98	c bounds 30087 >= 579 @ 2.50515
5.88/5.98	c bounds 30087 >= 580 @ 2.50673
5.88/5.98	c bounds 30087 >= 581 @ 2.50761
5.88/5.98	c bounds 30087 >= 582 @ 2.50861
5.88/5.98	c bounds 30087 >= 583 @ 2.5101
5.88/5.98	c bounds 30087 >= 584 @ 2.51124
5.88/5.98	c bounds 30087 >= 585 @ 2.51414
5.88/5.98	c bounds 30087 >= 586 @ 2.51986
5.88/5.98	c bounds 30087 >= 587 @ 2.52274
6.98/7.08	c bounds 30087 >= 588 @ 2.52407
6.98/7.08	c bounds 30087 >= 589 @ 2.52477
6.98/7.08	c bounds 30087 >= 590 @ 2.52574
6.98/7.08	c bounds 30087 >= 591 @ 2.52985
6.98/7.08	c bounds 30087 >= 592 @ 2.53206
6.98/7.08	c bounds 30087 >= 593 @ 2.53306
6.98/7.08	c bounds 30087 >= 594 @ 2.53706
6.98/7.08	c bounds 30087 >= 595 @ 2.53972
6.98/7.08	c bounds 30087 >= 596 @ 2.54273
6.98/7.08	c bounds 30087 >= 597 @ 2.54574
6.98/7.08	c bounds 30087 >= 598 @ 2.54901
6.98/7.08	c bounds 30087 >= 599 @ 2.55003
6.98/7.08	c bounds 30087 >= 600 @ 2.55407
6.98/7.08	c bounds 30087 >= 601 @ 2.55684
6.98/7.08	c bounds 30087 >= 602 @ 2.55816
6.98/7.08	c bounds 30087 >= 603 @ 2.56201
6.98/7.08	c bounds 30087 >= 604 @ 2.56516
6.98/7.08	c bounds 30087 >= 605 @ 2.56915
6.98/7.08	c bounds 30087 >= 606 @ 2.5734
6.98/7.08	c bounds 30087 >= 607 @ 2.5754
6.98/7.08	c bounds 30087 >= 608 @ 2.57939
6.98/7.08	c bounds 30087 >= 609 @ 2.58068
6.98/7.08	c bounds 30087 >= 610 @ 2.58344
6.98/7.08	c bounds 30087 >= 611 @ 2.5859
6.98/7.08	c bounds 30087 >= 612 @ 2.59036
6.98/7.08	c bounds 30087 >= 613 @ 2.59332
6.98/7.08	c bounds 30087 >= 614 @ 2.59732
6.98/7.08	c bounds 30087 >= 615 @ 2.59907
6.98/7.08	c bounds 30087 >= 616 @ 2.60362
6.98/7.08	c bounds 30087 >= 617 @ 2.60388
6.98/7.08	c bounds 30087 >= 618 @ 2.60818
6.98/7.08	c bounds 30087 >= 619 @ 2.60903
6.98/7.08	c bounds 30087 >= 620 @ 2.61249
6.98/7.08	c bounds 30087 >= 621 @ 2.61331
6.98/7.08	c bounds 30087 >= 622 @ 2.61585
6.98/7.08	c bounds 30087 >= 623 @ 2.61947
6.98/7.08	c bounds 30087 >= 624 @ 2.62164
6.98/7.08	c bounds 30087 >= 625 @ 2.62447
6.98/7.08	c bounds 30087 >= 627 @ 2.625
6.98/7.08	c bounds 30087 >= 628 @ 2.62855
6.98/7.08	c bounds 30087 >= 629 @ 2.63146
6.98/7.08	c bounds 30087 >= 630 @ 2.63224
6.98/7.08	c bounds 30087 >= 632 @ 2.63706
6.98/7.08	c bounds 30087 >= 634 @ 2.64084
6.98/7.08	c bounds 30087 >= 635 @ 2.64373
6.98/7.08	c bounds 30087 >= 636 @ 2.6468
6.98/7.08	c bounds 30087 >= 637 @ 2.65067
6.98/7.08	c bounds 30087 >= 638 @ 2.65179
6.98/7.08	c bounds 30087 >= 639 @ 2.6575
6.98/7.08	c bounds 30087 >= 640 @ 2.6616
6.98/7.08	c bounds 30087 >= 641 @ 2.6644
6.98/7.08	c bounds 30087 >= 642 @ 2.6677
6.98/7.08	c bounds 30087 >= 643 @ 2.6687
6.98/7.08	c bounds 30087 >= 644 @ 2.6707
6.98/7.08	c bounds 30087 >= 645 @ 2.67244
6.98/7.08	c bounds 30087 >= 646 @ 2.67365
6.98/7.08	c bounds 30087 >= 648 @ 2.67518
6.98/7.08	c bounds 30087 >= 649 @ 2.67968
6.98/7.08	c bounds 30087 >= 650 @ 2.6803
6.98/7.08	c bounds 30087 >= 651 @ 2.68328
6.98/7.08	c bounds 30087 >= 652 @ 2.68667
6.98/7.08	c bounds 30087 >= 653 @ 2.68848
6.98/7.08	c bounds 30087 >= 654 @ 2.69259
6.98/7.08	c bounds 30087 >= 655 @ 2.69657
6.98/7.08	c bounds 30087 >= 657 @ 2.70059
6.98/7.08	c bounds 30087 >= 658 @ 2.70376
6.98/7.08	c bounds 30087 >= 659 @ 2.70778
6.98/7.08	c bounds 30087 >= 660 @ 2.71107
6.98/7.08	c bounds 30087 >= 661 @ 2.71524
6.98/7.08	c bounds 30087 >= 662 @ 2.71826
6.98/7.08	c bounds 30087 >= 663 @ 2.72058
6.98/7.08	c bounds 30087 >= 664 @ 2.727
6.98/7.08	c bounds 30087 >= 665 @ 2.73088
6.98/7.08	c bounds 30087 >= 666 @ 2.73399
6.98/7.08	c bounds 30087 >= 667 @ 2.73823
6.98/7.08	c bounds 30087 >= 668 @ 2.7412
6.98/7.08	c bounds 30087 >= 669 @ 2.74677
6.98/7.08	c bounds 30087 >= 671 @ 2.75115
6.98/7.08	c bounds 30087 >= 673 @ 2.75796
6.98/7.08	c bounds 30087 >= 674 @ 2.76093
6.98/7.08	c bounds 30087 >= 675 @ 2.76468
6.98/7.08	c bounds 30087 >= 676 @ 2.7691
6.98/7.08	c bounds 30087 >= 677 @ 2.76989
6.98/7.08	c bounds 30087 >= 678 @ 2.77439
6.98/7.08	c bounds 30087 >= 679 @ 2.77877
6.98/7.08	c bounds 30087 >= 680 @ 2.78228
6.98/7.08	c bounds 30087 >= 681 @ 2.78507
6.98/7.08	c bounds 30087 >= 682 @ 2.78767
6.98/7.08	c bounds 30087 >= 683 @ 2.78936
6.98/7.08	c bounds 30087 >= 684 @ 2.79258
6.98/7.08	c bounds 30087 >= 685 @ 2.79447
6.98/7.08	c bounds 30087 >= 686 @ 2.79833
6.98/7.08	c bounds 30087 >= 687 @ 2.80063
6.98/7.08	c bounds 30087 >= 688 @ 2.82214
6.98/7.08	c bounds 29576 >= 688 @ 2.83757
6.98/7.08	c bounds 29576 >= 689 @ 2.8403
6.98/7.08	c bounds 29575 >= 689 @ 2.8604
6.98/7.08	c bounds 29575 >= 690 @ 2.86212
6.98/7.08	c bounds 29575 >= 691 @ 2.86437
6.98/7.08	c bounds 29575 >= 692 @ 2.86773
6.98/7.08	c bounds 29575 >= 693 @ 2.87057
6.98/7.08	c bounds 29575 >= 694 @ 2.87468
6.98/7.08	c bounds 29575 >= 695 @ 2.87555
6.98/7.08	c bounds 29575 >= 696 @ 2.87709
6.98/7.08	c bounds 29575 >= 697 @ 2.88298
6.98/7.08	c bounds 29575 >= 698 @ 2.88507
6.98/7.08	c bounds 29575 >= 699 @ 2.88886
6.98/7.08	c bounds 29575 >= 700 @ 2.89052
6.98/7.08	c bounds 29575 >= 701 @ 2.89322
6.98/7.08	c bounds 29575 >= 702 @ 2.89577
6.98/7.08	c bounds 29575 >= 703 @ 2.89947
6.98/7.08	c bounds 29575 >= 704 @ 2.90005
6.98/7.08	c bounds 29574 >= 704 @ 2.91065
6.98/7.08	c bounds 29574 >= 705 @ 2.91322
6.98/7.08	c bounds 29574 >= 706 @ 2.91489
6.98/7.08	c bounds 29574 >= 707 @ 2.9192
6.98/7.08	c bounds 29574 >= 708 @ 2.92265
6.98/7.08	c bounds 29574 >= 709 @ 2.92842
6.98/7.08	c bounds 29474 >= 709 @ 2.94094
6.98/7.08	c bounds 29474 >= 710 @ 2.94241
6.98/7.08	c bounds 29474 >= 711 @ 2.94306
6.98/7.08	c bounds 29474 >= 712 @ 2.9439
6.98/7.08	c bounds 29474 >= 713 @ 2.95039
6.98/7.08	c bounds 29474 >= 714 @ 2.95288
6.98/7.08	c bounds 29474 >= 715 @ 2.95522
6.98/7.08	c bounds 29474 >= 716 @ 2.96159
6.98/7.08	c bounds 29374 >= 716 @ 2.97416
6.98/7.08	c bounds 29374 >= 717 @ 2.977
6.98/7.08	c bounds 29374 >= 718 @ 2.98089
13.95/14.02	c bounds 29374 >= 719 @ 2.9868
13.95/14.02	c bounds 29374 >= 720 @ 2.99079
13.95/14.02	c bounds 29374 >= 721 @ 2.99578
13.95/14.02	c bounds 29274 >= 721 @ 3.00924
13.95/14.02	c bounds 29274 >= 722 @ 3.01696
13.95/14.02	c bounds 29273 >= 722 @ 3.03035
13.95/14.02	c bounds 29273 >= 723 @ 3.03479
13.95/14.02	c bounds 29273 >= 724 @ 3.03838
13.95/14.02	c bounds 29273 >= 725 @ 3.04204
13.95/14.02	c bounds 29273 >= 726 @ 3.04674
13.95/14.02	c bounds 29272 >= 726 @ 3.05975
13.95/14.02	c bounds 29272 >= 727 @ 3.07532
13.95/14.02	c bounds 29272 >= 728 @ 3.09662
13.95/14.02	c bounds 29172 >= 728 @ 3.14144
13.95/14.02	c bounds 29172 >= 729 @ 3.16139
13.95/14.02	c bounds 29171 >= 729 @ 3.18306
13.95/14.02	c bounds 29171 >= 730 @ 3.1895
13.95/14.02	c bounds 29171 >= 731 @ 3.19305
13.95/14.02	c #Conflicts:       1000 | #Constraints:      15937
13.95/14.02	c bounds 29170 >= 731 @ 4.01747
13.95/14.02	c bounds 29170 >= 732 @ 4.02201
13.95/14.02	c bounds 29170 >= 733 @ 4.02587
13.95/14.02	c bounds 29170 >= 734 @ 4.02946
13.95/14.02	c bounds 29170 >= 735 @ 4.0337
13.95/14.02	c bounds 29170 >= 736 @ 4.03646
13.95/14.02	c bounds 29170 >= 737 @ 4.03809
13.95/14.02	c bounds 29170 >= 738 @ 4.04119
13.95/14.02	c bounds 29170 >= 739 @ 4.04671
13.95/14.02	c bounds 29170 >= 740 @ 4.05206
13.95/14.02	c bounds 29170 >= 741 @ 4.05682
13.95/14.02	c bounds 29170 >= 742 @ 4.0582
13.95/14.02	c bounds 29170 >= 743 @ 4.06291
13.95/14.02	c bounds 29170 >= 744 @ 4.06536
13.95/14.02	c bounds 29170 >= 745 @ 4.06838
13.95/14.02	c bounds 29170 >= 746 @ 4.07164
13.95/14.02	c bounds 29170 >= 747 @ 4.07395
13.95/14.02	c bounds 29170 >= 748 @ 4.07893
13.95/14.02	c bounds 29170 >= 749 @ 4.08628
13.95/14.02	c bounds 29170 >= 750 @ 4.08946
13.95/14.02	c bounds 29170 >= 751 @ 4.09464
13.95/14.02	c bounds 29170 >= 752 @ 4.10113
13.95/14.02	c bounds 29170 >= 753 @ 4.10292
13.95/14.02	c bounds 29170 >= 754 @ 4.10901
13.95/14.02	c bounds 29170 >= 755 @ 4.11149
13.95/14.02	c bounds 29170 >= 756 @ 4.11671
13.95/14.02	c bounds 29170 >= 757 @ 4.12232
13.95/14.02	c bounds 29170 >= 758 @ 4.12747
13.95/14.02	c bounds 29170 >= 759 @ 4.133
13.95/14.02	c bounds 29170 >= 760 @ 4.13859
13.95/14.02	c bounds 29170 >= 761 @ 4.1469
13.95/14.02	c bounds 29170 >= 762 @ 4.15397
13.95/14.02	c bounds 29170 >= 763 @ 4.16369
13.95/14.02	c bounds 29170 >= 764 @ 4.17046
13.95/14.02	c bounds 29170 >= 765 @ 4.17525
13.95/14.02	c bounds 29170 >= 766 @ 4.18237
13.95/14.02	c bounds 29170 >= 767 @ 4.18774
13.95/14.02	c bounds 29170 >= 768 @ 4.19872
13.95/14.02	c bounds 29170 >= 769 @ 4.20838
13.95/14.02	c bounds 29170 >= 770 @ 4.21464
13.95/14.02	c bounds 29170 >= 771 @ 4.22265
13.95/14.02	c bounds 29170 >= 772 @ 4.25191
13.95/14.02	c bounds 29170 >= 773 @ 4.28725
13.95/14.02	c bounds 29170 >= 774 @ 4.41242
13.95/14.02	c bounds 29170 >= 775 @ 4.49696
13.95/14.02	c bounds 29170 >= 776 @ 4.58521
13.95/14.02	c bounds 29170 >= 777 @ 4.67054
13.95/14.02	c bounds 29170 >= 778 @ 4.82271
13.95/14.02	c bounds 29170 >= 779 @ 5.08424
13.95/14.02	c bounds 29170 >= 780 @ 5.10201
13.95/14.02	c #Conflicts:       2000 | #Constraints:      17210
13.95/14.02	c INPROCESSING
13.95/14.02	c GARBAGE COLLECT
13.95/14.02	c bounds 29170 >= 781 @ 7.72843
13.95/14.02	c bounds 29170 >= 782 @ 7.73228
13.95/14.02	c #Conflicts:       3000 | #Constraints:      16126
13.95/14.02	c bounds 29170 >= 783 @ 8.12985
13.95/14.02	c bounds 29069 >= 783 @ 8.13524
13.95/14.02	c bounds 29068 >= 783 @ 8.22807
13.95/14.02	c bounds 29067 >= 783 @ 8.28593
13.95/14.02	c bounds 29067 >= 784 @ 8.29045
13.95/14.02	c bounds 29067 >= 785 @ 8.29416
13.95/14.02	c bounds 29067 >= 786 @ 8.29472
13.95/14.02	c bounds 29067 >= 787 @ 8.29772
13.95/14.02	c bounds 29067 >= 788 @ 8.30226
13.95/14.02	c bounds 29067 >= 789 @ 8.30517
13.95/14.02	c bounds 29067 >= 790 @ 8.31056
13.95/14.02	c bounds 29067 >= 791 @ 8.31533
13.95/14.02	c bounds 29067 >= 792 @ 8.31812
13.95/14.02	c bounds 29067 >= 793 @ 8.32013
13.95/14.02	c bounds 29067 >= 794 @ 8.32283
13.95/14.02	c bounds 29067 >= 795 @ 8.32562
13.95/14.02	c bounds 29067 >= 796 @ 8.33033
13.95/14.02	c bounds 29067 >= 797 @ 8.33129
13.95/14.02	c bounds 29067 >= 798 @ 8.33316
13.95/14.02	c bounds 29067 >= 799 @ 8.33503
13.95/14.02	c bounds 29067 >= 800 @ 8.33628
13.95/14.02	c bounds 29067 >= 801 @ 8.33702
13.95/14.02	c bounds 29067 >= 802 @ 8.34101
13.95/14.02	c bounds 29067 >= 803 @ 8.34198
13.95/14.02	c bounds 29067 >= 804 @ 8.34597
13.95/14.02	c bounds 29067 >= 805 @ 8.34869
13.95/14.02	c bounds 29067 >= 806 @ 8.352
13.95/14.02	c bounds 29067 >= 807 @ 8.35622
13.95/14.02	c bounds 29067 >= 808 @ 8.35825
13.95/14.02	c bounds 29067 >= 809 @ 8.36069
13.95/14.02	c bounds 29067 >= 810 @ 8.36558
13.95/14.02	c bounds 29067 >= 811 @ 8.36951
13.95/14.02	c bounds 29067 >= 812 @ 8.37266
13.95/14.02	c bounds 29067 >= 813 @ 8.37351
13.95/14.02	c #Conflicts:       4000 | #Constraints:      17273
13.95/14.02	c bounds 29067 >= 814 @ 8.94456
13.95/14.02	c bounds 29066 >= 814 @ 8.95825
13.95/14.02	c bounds 29065 >= 814 @ 8.96557
13.95/14.02	c bounds 29064 >= 814 @ 8.97844
13.95/14.02	c bounds 29063 >= 814 @ 8.98885
13.95/14.02	c bounds 29062 >= 814 @ 9.00014
13.95/14.02	c bounds 29061 >= 814 @ 9.01412
13.95/14.02	c bounds 28961 >= 814 @ 9.0275
13.95/14.02	c bounds 28960 >= 814 @ 9.03922
13.95/14.02	c bounds 28860 >= 814 @ 9.05315
13.95/14.02	c bounds 28859 >= 814 @ 9.06474
13.95/14.02	c bounds 28858 >= 814 @ 9.07723
13.95/14.02	c bounds 28857 >= 814 @ 9.08908
13.95/14.02	c bounds 28856 >= 814 @ 9.10194
13.95/14.02	c bounds 28855 >= 814 @ 9.11266
13.95/14.02	c bounds 28854 >= 814 @ 9.12585
13.95/14.02	c bounds 28853 >= 814 @ 9.13581
47.74/47.99	c bounds 28753 >= 814 @ 9.1485
47.74/47.99	c bounds 28752 >= 814 @ 9.15992
47.74/47.99	c bounds 28652 >= 814 @ 9.20748
47.74/47.99	c INPROCESSING
47.74/47.99	c GARBAGE COLLECT
47.74/47.99	c bounds 28552 >= 814 @ 9.448
47.74/47.99	c bounds 28452 >= 814 @ 9.52106
47.74/47.99	c bounds 28352 >= 814 @ 9.63964
47.74/47.99	c bounds 28351 >= 814 @ 9.67186
47.74/47.99	c bounds 28251 >= 814 @ 9.6955
47.74/47.99	c bounds 28151 >= 814 @ 9.71277
47.74/47.99	c bounds 28150 >= 814 @ 9.73131
47.74/47.99	c bounds 28149 >= 814 @ 9.75012
47.74/47.99	c bounds 28049 >= 814 @ 9.76634
47.74/47.99	c bounds 27949 >= 814 @ 9.78039
47.74/47.99	c bounds 27849 >= 814 @ 9.80441
47.74/47.99	c bounds 27848 >= 814 @ 9.8154
47.74/47.99	c bounds 27748 >= 814 @ 9.83345
47.74/47.99	c bounds 27747 >= 814 @ 9.84521
47.74/47.99	c bounds 27746 >= 814 @ 9.86266
47.74/47.99	c bounds 27745 >= 814 @ 9.87755
47.74/47.99	c bounds 27744 >= 814 @ 9.89099
47.74/47.99	c bounds 27743 >= 814 @ 9.90591
47.74/47.99	c bounds 27742 >= 814 @ 9.92191
47.74/47.99	c bounds 27741 >= 814 @ 10.0742
47.74/47.99	c bounds 27741 >= 815 @ 10.0782
47.74/47.99	c bounds 27741 >= 816 @ 10.0819
47.74/47.99	c bounds 27741 >= 817 @ 10.0841
47.74/47.99	c bounds 27741 >= 818 @ 10.0865
47.74/47.99	c bounds 27741 >= 819 @ 10.0886
47.74/47.99	c bounds 27741 >= 820 @ 10.0958
47.74/47.99	c bounds 27741 >= 821 @ 10.1012
47.74/47.99	c bounds 27741 >= 822 @ 10.1055
47.74/47.99	c bounds 27741 >= 823 @ 10.1121
47.74/47.99	c bounds 27741 >= 824 @ 10.1144
47.74/47.99	c bounds 27741 >= 825 @ 10.1188
47.74/47.99	c bounds 27741 >= 826 @ 10.1231
47.74/47.99	c bounds 27741 >= 827 @ 10.1316
47.74/47.99	c #Conflicts:       5000 | #Constraints:      16718
47.74/47.99	c #Conflicts:       6000 | #Constraints:      17718
47.74/47.99	c bounds 27741 >= 828 @ 14.4491
47.74/47.99	c bounds 27641 >= 828 @ 14.4836
47.74/47.99	c bounds 27640 >= 828 @ 14.5141
47.74/47.99	c bounds 27639 >= 828 @ 14.539
47.74/47.99	c bounds 27638 >= 828 @ 14.5669
47.74/47.99	c bounds 27637 >= 828 @ 14.5923
47.74/47.99	c bounds 27537 >= 828 @ 14.6194
47.74/47.99	c bounds 27437 >= 828 @ 14.6459
47.74/47.99	c bounds 27436 >= 828 @ 14.6753
47.74/47.99	c bounds 27435 >= 828 @ 14.7057
47.74/47.99	c bounds 27434 >= 828 @ 14.7312
47.74/47.99	c bounds 27433 >= 828 @ 14.7572
47.74/47.99	c bounds 27432 >= 828 @ 14.7821
47.74/47.99	c bounds 27431 >= 828 @ 14.8107
47.74/47.99	c bounds 27430 >= 828 @ 14.8366
47.74/47.99	c bounds 27330 >= 828 @ 14.9307
47.74/47.99	c INPROCESSING
47.74/47.99	c GARBAGE COLLECT
47.74/47.99	c bounds 27329 >= 828 @ 15.195
47.74/47.99	c #Conflicts:       7000 | #Constraints:      16703
47.74/47.99	c bounds 27328 >= 828 @ 24.513
47.74/47.99	c bounds 27328 >= 829 @ 24.5387
47.74/47.99	c bounds 27328 >= 830 @ 24.5473
47.74/47.99	c bounds 27328 >= 831 @ 24.5642
47.74/47.99	c bounds 27328 >= 832 @ 24.5734
47.74/47.99	c bounds 27328 >= 833 @ 24.5899
47.74/47.99	c bounds 27328 >= 834 @ 24.596
47.74/47.99	c bounds 27328 >= 835 @ 24.6153
47.74/47.99	c bounds 27328 >= 836 @ 24.6384
47.74/47.99	c bounds 27328 >= 837 @ 24.6621
47.74/47.99	c bounds 27328 >= 838 @ 24.6718
47.74/47.99	c bounds 27328 >= 839 @ 24.6969
47.74/47.99	c bounds 27328 >= 840 @ 24.7046
47.74/47.99	c bounds 27328 >= 841 @ 24.7308
47.74/47.99	c bounds 27328 >= 842 @ 24.7571
47.74/47.99	c bounds 27328 >= 843 @ 24.7672
47.74/47.99	c bounds 27328 >= 844 @ 24.7953
47.74/47.99	c bounds 27328 >= 845 @ 24.8021
47.74/47.99	c bounds 27328 >= 846 @ 24.8326
47.74/47.99	c bounds 27328 >= 847 @ 24.8641
47.74/47.99	c bounds 27328 >= 848 @ 24.8944
47.74/47.99	c bounds 27328 >= 849 @ 24.9257
47.74/47.99	c bounds 27328 >= 850 @ 24.9336
47.74/47.99	c bounds 27328 >= 851 @ 24.9631
47.74/47.99	c bounds 27328 >= 852 @ 24.9712
47.74/47.99	c bounds 27328 >= 853 @ 25.0274
47.74/47.99	c bounds 27328 >= 854 @ 25.1704
47.74/47.99	c #Conflicts:       8000 | #Constraints:      17813
47.74/47.99	c bounds 27328 >= 855 @ 30.9893
47.74/47.99	c bounds 27328 >= 856 @ 31.218
47.74/47.99	c bounds 27328 >= 857 @ 31.2706
47.74/47.99	c bounds 27328 >= 858 @ 31.3241
47.74/47.99	c #Conflicts:       9000 | #Constraints:      18843
47.74/47.99	c bounds 27328 >= 859 @ 31.3327
47.74/47.99	c bounds 27328 >= 860 @ 31.3865
47.74/47.99	c bounds 27328 >= 861 @ 31.4406
47.74/47.99	c bounds 27328 >= 862 @ 31.4925
47.74/47.99	c bounds 27328 >= 863 @ 31.5049
47.74/47.99	c bounds 27328 >= 864 @ 31.5563
47.74/47.99	c bounds 27328 >= 865 @ 31.5668
47.74/47.99	c bounds 27328 >= 866 @ 31.6237
47.74/47.99	c INPROCESSING
47.74/47.99	c GARBAGE COLLECT
47.74/47.99	c #Conflicts:      10000 | #Constraints:      17609
47.74/47.99	c bounds 27328 >= 867 @ 41.8713
47.74/47.99	c bounds 27328 >= 868 @ 41.8791
47.74/47.99	c bounds 27328 >= 869 @ 41.8831
47.74/47.99	c bounds 27328 >= 870 @ 41.8887
47.74/47.99	c bounds 27328 >= 871 @ 41.892
47.74/47.99	c bounds 27328 >= 872 @ 41.8984
47.74/47.99	c bounds 27328 >= 873 @ 41.9021
47.74/47.99	c bounds 27328 >= 874 @ 41.9073
47.74/47.99	c bounds 27328 >= 875 @ 41.9088
47.74/47.99	c bounds 27328 >= 876 @ 41.9133
47.74/47.99	c bounds 27328 >= 877 @ 41.9168
47.74/47.99	c bounds 27328 >= 878 @ 41.9223
47.74/47.99	c bounds 27328 >= 879 @ 41.925
47.74/47.99	c bounds 27328 >= 880 @ 41.9319
47.74/47.99	c bounds 27328 >= 881 @ 41.9378
47.74/47.99	c bounds 27328 >= 882 @ 41.9433
47.74/47.99	c bounds 27328 >= 883 @ 41.9459
47.74/47.99	c bounds 27328 >= 884 @ 41.9517
47.74/47.99	c bounds 27328 >= 885 @ 41.9544
47.74/47.99	c bounds 27328 >= 886 @ 41.9614
47.74/47.99	c bounds 27328 >= 887 @ 41.9658
47.74/47.99	c bounds 27328 >= 888 @ 41.9755
47.74/47.99	c bounds 27328 >= 889 @ 41.9861
54.82/55.10	c bounds 27328 >= 890 @ 41.9936
54.82/55.10	c bounds 27328 >= 891 @ 41.9976
54.82/55.10	c bounds 27328 >= 892 @ 42.0035
54.82/55.10	c bounds 27328 >= 893 @ 42.0052
54.82/55.10	c bounds 27328 >= 894 @ 42.0104
54.82/55.10	c bounds 27328 >= 895 @ 42.0132
54.82/55.10	c bounds 27328 >= 896 @ 42.0194
54.82/55.10	c bounds 27328 >= 897 @ 42.0222
54.82/55.10	c bounds 27328 >= 898 @ 42.0299
54.82/55.10	c bounds 27328 >= 899 @ 42.0347
54.82/55.10	c bounds 27328 >= 900 @ 42.0384
54.82/55.10	c bounds 27328 >= 901 @ 42.0412
54.82/55.10	c bounds 27328 >= 902 @ 42.045
54.82/55.10	c bounds 27328 >= 903 @ 42.0488
54.82/55.10	c bounds 27328 >= 904 @ 42.0522
54.82/55.10	c bounds 27328 >= 905 @ 42.0544
54.82/55.10	c bounds 27328 >= 906 @ 42.0571
54.82/55.10	c bounds 27328 >= 907 @ 42.0616
54.82/55.10	c bounds 27328 >= 908 @ 42.0644
54.82/55.10	c bounds 27328 >= 909 @ 42.0674
54.82/55.10	c bounds 27328 >= 910 @ 42.0732
54.82/55.10	c bounds 27328 >= 911 @ 42.0758
54.82/55.10	c bounds 27328 >= 912 @ 42.0784
54.82/55.10	c bounds 27328 >= 913 @ 42.083
54.82/55.10	c bounds 27328 >= 914 @ 42.0865
54.82/55.10	c bounds 27328 >= 915 @ 42.0923
54.82/55.10	c bounds 27328 >= 916 @ 42.0962
54.82/55.10	c bounds 27328 >= 917 @ 42.0984
54.82/55.10	c bounds 27328 >= 918 @ 42.1033
54.82/55.10	c bounds 27328 >= 919 @ 42.107
54.82/55.10	c bounds 27328 >= 920 @ 42.1109
54.82/55.10	c bounds 27328 >= 921 @ 42.1146
54.82/55.10	c bounds 27328 >= 922 @ 42.1184
54.82/55.10	c bounds 27328 >= 923 @ 42.1232
54.82/55.10	c bounds 27328 >= 924 @ 42.1272
54.82/55.10	c bounds 27328 >= 925 @ 42.1309
54.82/55.10	c bounds 27328 >= 926 @ 42.1337
54.82/55.10	c bounds 27328 >= 927 @ 42.1364
54.82/55.10	c bounds 27328 >= 928 @ 42.1446
54.82/55.10	c bounds 27328 >= 929 @ 42.1546
54.82/55.10	c bounds 27328 >= 930 @ 42.1694
54.82/55.10	c bounds 27328 >= 931 @ 42.1929
54.82/55.10	c bounds 27328 >= 932 @ 42.1982
54.82/55.10	c #Conflicts:      11000 | #Constraints:      18910
54.82/55.10	c #Conflicts:      12000 | #Constraints:      19910
54.82/55.10	c INPROCESSING
54.82/55.10	c GARBAGE COLLECT
54.82/55.10	c #Conflicts:      13000 | #Constraints:      18366
54.82/55.10	c bounds 27328 >= 933 @ 45.0137
54.82/55.10	c bounds 27328 >= 934 @ 45.0407
54.82/55.10	c bounds 27328 >= 935 @ 45.056
54.82/55.10	c bounds 27328 >= 936 @ 45.0597
54.82/55.10	c bounds 27328 >= 937 @ 45.0631
54.82/55.10	c bounds 27328 >= 938 @ 45.0685
54.82/55.10	c #Conflicts:      14000 | #Constraints:      19400
54.82/55.10	c #Conflicts:      15000 | #Constraints:      20400
54.82/55.10	c INPROCESSING
54.82/55.10	c GARBAGE COLLECT
54.82/55.10	c #Conflicts:      16000 | #Constraints:      18639
54.82/55.10	c bounds 27328 >= 939 @ 48.4762
54.82/55.10	c bounds 939 >= 939 @ 48.6183
54.82/55.10	c cpu time 48.6183 s
54.82/55.10	c deterministic time 5632068498 5.63e+09
54.82/55.10	c optimization time 0.875685 s
54.82/55.10	c total solve time 47.7168 s
54.82/55.10	c core-guided solve time 34.8898 s
54.82/55.10	c propagation time 26.0974 s
54.82/55.10	c conflict analysis time 7.82486 s
54.82/55.10	c propagations 6604143
54.82/55.10	c resolve steps 127100
54.82/55.10	c decisions 10795957
54.82/55.10	c conflicts 16429
54.82/55.10	c restarts 62
54.82/55.10	c inprocessing phases 6
54.82/55.10	c input clauses 16019
54.82/55.10	c input cardinalities 2059
54.82/55.10	c input general constraints 1924
54.82/55.10	c input average constraint length 487.95
54.82/55.10	c input average constraint degree 1609.10
54.82/55.10	c learned clauses 5395
54.82/55.10	c learned cardinalities 680
54.82/55.10	c learned general constraints 10428
54.82/55.10	c learned average constraint length 1472.61
54.82/55.10	c learned average constraint degree 170848215.56
54.82/55.10	c watched constraints 4060
54.82/55.10	c counting constraints 8292
54.82/55.10	c gcd simplifications 322
54.82/55.10	c detected cardinalities 1
54.82/55.10	c weakened non-implied lits 2376874
54.82/55.10	c weakened non-implying lits 3936
54.82/55.10	c original variables 8405
54.82/55.10	c clausal propagations 902590
54.82/55.10	c cardinality propagations 2218656
54.82/55.10	c watched propagations 154498
54.82/55.10	c counting propagations 3027189
54.82/55.10	c watch lookups 542797359
54.82/55.10	c watch backjump lookups 540779122
54.82/55.10	c watch checks 1046954705
54.82/55.10	c propagation checks 3397976016
54.82/55.10	c constraint additions 68707160
54.82/55.10	c trail pops 17412053
54.82/55.10	c formula constraints 11367
54.82/55.10	c learned constraints 16501
54.82/55.10	c bound constraints 5428
54.82/55.10	c core-guided constraints 3207
54.82/55.10	c encountered formula constraints 5319
54.82/55.10	c encountered learned constraints 88635
54.82/55.10	c encountered bound constraints 186
54.82/55.10	c encountered core-guided constraints 49385
54.82/55.10	c LP total time 12.8107 s
54.82/55.10	c LP solve time 12.78 s
54.82/55.10	c LP constraints added 11367
54.82/55.10	c LP constraints removed 0
54.82/55.10	c LP pivots internal 16982
54.82/55.10	c LP pivots root 25000
54.82/55.10	c LP calls 7
54.82/55.10	c LP optimalities 1
54.82/55.10	c LP no pivot count 0
54.82/55.10	c LP infeasibilities 1
54.82/55.10	c LP valid Farkas constraints 1
54.82/55.10	c LP learned Farkas constraints 1
54.82/55.10	c LP basis resets 0
54.82/55.10	c LP cycling count 0
54.82/55.10	c LP singular count 0
54.82/55.10	c LP no primal count 0
54.82/55.10	c LP no farkas count 0
54.82/55.10	c LP other issue count 0
54.82/55.10	c LP Gomory cuts 0
54.82/55.10	c LP learned cuts 0
54.82/55.10	c LP deleted cuts 0
54.82/55.10	c LP encountered Gomory constraints 0
54.82/55.10	c LP encountered Farkas constraints 1
54.82/55.10	c LP encountered learned Farkas constraints 2
54.82/55.10	c CG auxiliary variables introduced 1506
54.82/55.10	c CG solutions found 86
54.82/55.10	c CG cores constructed 1312
54.82/55.10	c CG core cardinality constraints returned 388
54.82/55.10	c CG unit cores 0
54.82/55.10	c CG single cores 1293
54.82/55.10	c CG blocks removed during cardinality reduction 0
54.82/55.10	c CG first core best 0
54.82/55.10	c CG decision core best 0
54.82/55.10	c CG core reduction tie 19
54.82/55.10	c CG core degree average 1.98
54.82/55.10	c CG core slack average 6.82
54.82/55.10	o 939
54.82/55.10	s OPTIMUM FOUND
54.82/55.10	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

OK	939

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (62570 MiB free)
  memory of node 1: 64510 MiB (63260 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455197-1721455861/watcher-4455197-1721455861 -o /tmp/evaluation-result-4455197-1721455861/solver-4455197-1721455861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721455874-1042521 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455197-1721455861.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
solver pid=1042672, runsolver pid=1042668
Current StackSize limit: 8192 KiB


[startup+0.100084 s]*
/proc/loadavg: 3.62 4.01 4.06 5/257 1042677
/proc/meminfo: memFree=128833012/131524600 swapFree=131071996/131071996
[pid=1042672] ppid=1042668 vsize=49580 memory=19800 CPUtime=0.09 cores=0,2
/proc/1042672/stat : 1042672 (roundingsat) R 1042668 1042672 1042511 0 -1 4194304 4439 0 0 0 8 1 0 0 20 0 1 0 197751029 50769920 4950 134679101440 4194304 7968373 140720638936928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37216256 140720638940092 140720638940256 140720638940256 140720638947273 0
/proc/1042672/statm: 12395 4950 1735 922 0 4347 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49580 KiB
Current children cumulated memory: 19800 KiB

[startup+0.205194 s]*
/proc/loadavg: 3.65 4.01 4.06 5/257 1042677
/proc/meminfo: memFree=128823432/131524600 swapFree=131071996/131071996
[pid=1042672] ppid=1042668 vsize=51224 memory=21376 CPUtime=0.2 cores=0,2
/proc/1042672/stat : 1042672 (roundingsat) R 1042668 1042672 1042511 0 -1 4194304 4827 0 0 0 18 2 0 0 20 0 1 0 197751029 52453376 5344 134679101440 4194304 7968373 140720638936928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37216256 140720638940092 140720638940256 140720638940256 140720638947273 0
/proc/1042672/statm: 12806 5344 1735 922 0 4758 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51224 KiB
Current children cumulated memory: 21376 KiB

[startup+0.305421 s]*
/proc/loadavg: 3.65 4.01 4.06 5/251 1042681
/proc/meminfo: memFree=128831148/131524600 swapFree=131071996/131071996
[pid=1042672] ppid=1042668 vsize=52448 memory=23860 CPUtime=0.3 cores=0,2
/proc/1042672/stat : 1042672 (roundingsat) R 1042668 1042672 1042511 0 -1 4194304 5378 0 0 0 27 3 0 0 20 0 1 0 197751029 53706752 5965 134679101440 4194304 7968373 140720638936928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37216256 140720638940092 140720638940256 140720638940256 140720638947273 0
/proc/1042672/statm: 13112 5965 1765 922 0 5064 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52448 KiB
Current children cumulated memory: 23860 KiB

[startup+0.70018 s]
/proc/loadavg: 3.65 4.01 4.06 4/248 1042727
/proc/meminfo: memFree=128835892/131524600 swapFree=131071996/131071996
[pid=1042672] ppid=1042668 vsize=57176 memory=29992 CPUtime=0.69 cores=0,2
/proc/1042672/stat : 1042672 (roundingsat) R 1042668 1042672 1042511 0 -1 4194304 6399 0 0 0 42 27 0 0 20 0 1 0 197751029 58548224 7498 134679101440 4194304 7968373 140720638936928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37216256 140720638940092 140720638940256 140720638940256 140720638947273 0
/proc/1042672/statm: 14294 7498 1765 922 0 6246 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57176 KiB
Current children cumulated memory: 29992 KiB

[startup+1.50019 s]
/proc/loadavg: 3.65 4.01 4.06 5/257 1042769
/proc/meminfo: memFree=128770440/131524600 swapFree=131071996/131071996
[pid=1042672] ppid=1042668 vsize=72120 memory=42352 CPUtime=1.49 cores=0,2
/proc/1042672/stat : 1042672 (roundingsat) R 1042668 1042672 1042511 0 -1 4194304 8486 0 0 0 76 73 0 0 20 0 1 0 197751029 73850880 10588 134679101440 4194304 7968373 140720638936928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37216256 140720638940092 140720638940256 140720638940256 140720638947273 0
/proc/1042672/statm: 18030 10588 1765 922 0 9982 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 72120 KiB
Current children cumulated memory: 42352 KiB

[startup+3.10543 s]
/proc/loadavg: 3.65 4.01 4.06 5/257 1042769
/proc/meminfo: memFree=128595640/131524600 swapFree=131071996/131071996
[pid=1042672] ppid=1042668 vsize=113612 memory=73996 CPUtime=3.09 cores=0,2
/proc/1042672/stat : 1042672 (roundingsat) R 1042668 1042672 1042511 0 -1 4194304 12294 0 0 0 147 162 0 0 20 0 1 0 197751029 116338688 18499 134679101440 4194304 7968373 140720638936928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37216256 140720638940092 140720638940256 140720638940256 140720638947273 0
/proc/1042672/statm: 28403 18499 1765 922 0 20355 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 113612 KiB
Current children cumulated memory: 73996 KiB

[startup+6.30015 s]
/proc/loadavg: 3.68 4.01 4.06 5/257 1042769
/proc/meminfo: memFree=128467760/131524600 swapFree=131071996/131071996
[pid=1042672] ppid=1042668 vsize=145476 memory=105056 CPUtime=6.27 cores=0,2
/proc/1042672/stat : 1042672 (roundingsat) R 1042668 1042672 1042511 0 -1 4194304 13066 0 0 0 263 364 0 0 20 0 1 0 197751029 148967424 26264 134679101440 4194304 7968373 140720638936928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37216256 140720638940092 140720638940256 140720638940256 140720638947273 0
/proc/1042672/statm: 36369 26264 1765 922 0 28321 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 145476 KiB
Current children cumulated memory: 105056 KiB

[startup+12.7002 s]
/proc/loadavg: 3.70 4.01 4.06 5/257 1042771
/proc/meminfo: memFree=128321244/131524600 swapFree=131071996/131071996
[pid=1042672] ppid=1042668 vsize=226336 memory=162836 CPUtime=12.66 cores=0,2
/proc/1042672/stat : 1042672 (roundingsat) R 1042668 1042672 1042511 0 -1 4194304 21319 0 0 0 808 458 0 0 20 0 1 0 197751029 231768064 40709 134679101440 4194304 7968373 140720638936928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37216256 140720638940092 140720638940256 140720638940256 140720638947273 0
/proc/1042672/statm: 56584 40709 1843 922 0 48536 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 226336 KiB
Current children cumulated memory: 162836 KiB

[startup+25.5002 s]
/proc/loadavg: 3.75 4.01 4.06 5/257 1042772
/proc/meminfo: memFree=127986100/131524600 swapFree=131071996/131071996
[pid=1042672] ppid=1042668 vsize=262096 memory=196892 CPUtime=25.41 cores=0,2
/proc/1042672/stat : 1042672 (roundingsat) R 1042668 1042672 1042511 0 -1 4194304 29863 0 0 0 2007 534 0 0 20 0 1 0 197751029 268386304 49223 134679101440 4194304 7968373 140720638936928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37216256 140720638940092 140720638940256 140720638940256 140720638947273 0
/proc/1042672/statm: 65524 49223 1843 922 0 57476 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 262096 KiB
Current children cumulated memory: 196892 KiB

[startup+51.1054 s]
/proc/loadavg: 3.91 4.02 4.06 5/257 1042777
/proc/meminfo: memFree=127819556/131524600 swapFree=131071996/131071996
[pid=1042672] ppid=1042668 vsize=324236 memory=253544 CPUtime=50.93 cores=0,2
/proc/1042672/stat : 1042672 (roundingsat) R 1042668 1042672 1042511 0 -1 4194304 44372 0 0 0 4478 615 0 0 20 0 1 0 197751029 332017664 63386 134679101440 4194304 7968373 140720638936928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37216256 140720638940092 140720638940256 140720638940256 140720638947273 0
/proc/1042672/statm: 81059 63386 1843 922 0 73011 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 324236 KiB
Current children cumulated memory: 253544 KiB

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

# cumulated CPU time of all completed processes:  user=48.622 s, system=6.31165 s

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

[startup+51.2002 s]
/proc/loadavg: 3.91 4.02 4.06 5/257 1042777
/proc/meminfo: memFree=127819556/131524600 swapFree=131071996/131071996
[pid=1042672] ppid=1042668 vsize=324236 memory=253544 CPUtime=51.02 cores=0,2
/proc/1042672/stat : 1042672 (roundingsat) R 1042668 1042672 1042511 0 -1 4194304 44372 0 0 0 4486 616 0 0 20 0 1 0 197751029 332017664 63386 134679101440 4194304 7968373 140720638936928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37216256 140720638940092 140720638940256 140720638940256 140720638947273 0
/proc/1042672/statm: 81059 63386 1843 922 0 73011 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 324236 KiB
Current children cumulated memory: 253544 KiB

[startup+52.8002 s]
/proc/loadavg: 3.91 4.02 4.06 5/257 1042777
/proc/meminfo: memFree=127819192/131524600 swapFree=131071996/131071996
[pid=1042672] ppid=1042668 vsize=324236 memory=253544 CPUtime=52.62 cores=0,2
/proc/1042672/stat : 1042672 (roundingsat) R 1042668 1042672 1042511 0 -1 4194304 44372 0 0 0 4638 624 0 0 20 0 1 0 197751029 332017664 63386 134679101440 4194304 7968373 140720638936928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37216256 140720638940092 140720638940256 140720638940256 140720638947273 0
/proc/1042672/statm: 81059 63386 1843 922 0 73011 0
Current children cumulated CPU time: 52.62 s
Current children cumulated vsize: 324236 KiB
Current children cumulated memory: 253544 KiB

[startup+54.4002 s]
/proc/loadavg: 3.91 4.02 4.06 5/257 1042777
/proc/meminfo: memFree=127818968/131524600 swapFree=131071996/131071996
[pid=1042672] ppid=1042668 vsize=324236 memory=253544 CPUtime=54.21 cores=0,2
/proc/1042672/stat : 1042672 (roundingsat) R 1042668 1042672 1042511 0 -1 4194304 44407 0 0 0 4795 626 0 0 20 0 1 0 197751029 332017664 63386 134679101440 4194304 7968373 140720638936928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37216256 140720638940092 140720638940256 140720638940256 140720638947273 0
/proc/1042672/statm: 81059 63386 1843 922 0 73011 0
Current children cumulated CPU time: 54.21 s
Current children cumulated vsize: 324236 KiB
Current children cumulated memory: 253544 KiB

[startup+54.8002 s]
/proc/loadavg: 3.91 4.02 4.06 5/257 1042777
/proc/meminfo: memFree=127818968/131524600 swapFree=131071996/131071996
[pid=1042672] ppid=1042668 vsize=324236 memory=253544 CPUtime=54.61 cores=0,2
/proc/1042672/stat : 1042672 (roundingsat) R 1042668 1042672 1042511 0 -1 4194304 44407 0 0 0 4834 627 0 0 20 0 1 0 197751029 332017664 63386 134679101440 4194304 7968373 140720638936928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37216256 140720638940092 140720638940256 140720638940256 140720638947273 0
/proc/1042672/statm: 81059 63386 1843 922 0 73011 0
Current children cumulated CPU time: 54.61 s
Current children cumulated vsize: 324236 KiB
Current children cumulated memory: 253544 KiB

[startup+55.0002 s]*
/proc/loadavg: 3.91 4.02 4.06 5/257 1042777
/proc/meminfo: memFree=127818800/131524600 swapFree=131071996/131071996
[pid=1042672] ppid=1042668 vsize=324236 memory=253544 CPUtime=54.82 cores=0,2
/proc/1042672/stat : 1042672 (roundingsat) R 1042668 1042672 1042511 0 -1 4194304 44407 0 0 0 4853 629 0 0 20 0 1 0 197751029 332017664 63386 134679101440 4194304 7968373 140720638936928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37216256 140720638940092 140720638940256 140720638940256 140720638947273 0
/proc/1042672/statm: 81059 63386 1843 922 0 73011 0
Current children cumulated CPU time: 54.82 s
Current children cumulated vsize: 324236 KiB
Current children cumulated memory: 253544 KiB

[startup+55.1054 s]
/proc/loadavg: 3.91 4.02 4.06 5/257 1042777
/proc/meminfo: memFree=127818800/131524600 swapFree=131071996/131071996
[pid=1042672] ppid=1042668 vsize=318392 memory=196208 CPUtime=54.92 cores=0,2
/proc/1042672/stat : 1042672 (roundingsat) R 1042668 1042672 1042511 0 -1 4194304 44411 0 0 0 4862 630 0 0 20 0 1 0 197751029 326033408 49052 134679101440 4194304 7968373 140720638936928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37216256 140720638940092 140720638940256 140720638940256 140720638947273 0
/proc/1042672/statm: 79598 49052 1843 922 0 71550 0
Current children cumulated CPU time: 54.92 s
Current children cumulated vsize: 318392 KiB
Current children cumulated memory: 196208 KiB

Child status: 0

Real time (s): 55.1128
CPU time (s): 54.9337
CPU user time (s): 48.622
CPU system time (s): 6.31165
CPU usage (%): 99.6749
Max. virtual memory (cumulated for all children) (KiB): 324236
Max. memory (cumulated for all children) (KiB): 253544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.622
system time used= 6.31165
maximum resident set size= 253544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44420
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 383


# summary of solver processes directly reported to runsolver:
#   pid: 1042672
#   total CPU time (s): 54.9337
#   total CPU user time (s): 48.622
#   total CPU system time (s): 6.31165

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.123947 second user time and 0.263986 second system time

The end

Begin job on nodeC024 at 2024-07-20 08:11:14
IDJOB=4455197
IDBENCH=146652
IDSOLVER=3084
FILE ID=nodeC024/4455197-1721455861
RUNJOBID= nodeC024-1721455874-1042521
SLURM_JOB_ID= 7545689
Free space on /tmp= 890072 MiB

SOLVER NAME= RoundingSat nolog
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 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455197-1721455861/watcher-4455197-1721455861 -o /tmp/evaluation-result-4455197-1721455861/solver-4455197-1721455861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721455874-1042521 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455197-1721455861.opb

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

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=161867905

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128852784 kB
MemAvailable:   129681020 kB
Buffers:          546948 kB
Cached:          1125396 kB
SwapCached:            0 kB
Active:          1043548 kB
Inactive:        1014204 kB
Active(anon):       1508 kB
Inactive(anon):   429812 kB
Active(file):    1042040 kB
Inactive(file):   584392 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             21908 kB
Writeback:             0 kB
AnonPages:        385404 kB
Mapped:           114060 kB
Shmem:             45912 kB
KReclaimable:      82904 kB
Slab:             194756 kB
SReclaimable:      82904 kB
SUnreclaim:       111852 kB
KernelStack:        3992 kB
PageTables:        10288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     771352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            71744 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 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:      299732 kB
DirectMap2M:    36173824 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC024 at 2024-07-20 08:12:10