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.91	c bounds 371780 >= -2545 @ 0.029256
0.88/0.91	c bounds 30893 >= -2545 @ 0.282626
0.88/0.91	c bounds 30893 >= -2445 @ 0.284933
0.88/0.91	c bounds 30893 >= -2345 @ 0.286614
0.88/0.91	c bounds 30893 >= -2245 @ 0.288825
0.88/0.91	c bounds 30893 >= -2145 @ 0.289609
0.88/0.91	c bounds 30893 >= -2045 @ 0.291053
0.88/0.91	c bounds 30893 >= -2044 @ 0.29175
0.88/0.91	c bounds 30893 >= -2043 @ 0.292604
0.88/0.91	c bounds 30893 >= -2042 @ 0.293927
0.88/0.91	c bounds 30893 >= -2041 @ 0.2946
0.88/0.91	c bounds 30893 >= -2040 @ 0.296019
0.88/0.91	c bounds 30893 >= -2039 @ 0.296596
0.88/0.91	c bounds 30893 >= -2038 @ 0.298584
0.88/0.91	c bounds 30893 >= -2037 @ 0.299871
0.88/0.91	c bounds 30893 >= -2036 @ 0.300581
0.88/0.91	c bounds 30893 >= -2035 @ 0.30204
0.88/0.91	c bounds 30893 >= -2034 @ 0.303653
0.88/0.91	c bounds 30893 >= -2033 @ 0.305571
0.88/0.91	c bounds 30893 >= -2032 @ 0.307995
0.88/0.91	c bounds 30893 >= -2031 @ 0.308709
0.88/0.91	c bounds 30893 >= -2030 @ 0.309565
0.88/0.91	c bounds 30893 >= -2029 @ 0.311083
0.88/0.91	c bounds 30893 >= -2028 @ 0.311882
0.88/0.91	c bounds 30893 >= -2027 @ 0.313469
0.88/0.91	c bounds 30893 >= -1927 @ 0.316695
0.88/0.91	c bounds 30893 >= -1827 @ 0.31869
0.88/0.91	c bounds 30893 >= -1727 @ 0.321877
0.88/0.91	c bounds 30893 >= -1627 @ 0.322939
0.88/0.91	c bounds 30893 >= -1626 @ 0.326959
0.88/0.91	c bounds 30893 >= -1622 @ 0.327536
0.88/0.91	c bounds 30893 >= -1621 @ 0.32899
0.88/0.91	c bounds 30893 >= -1620 @ 0.331529
0.88/0.91	c bounds 30893 >= -1619 @ 0.33504
0.88/0.91	c bounds 30893 >= -1618 @ 0.335683
0.88/0.91	c bounds 30893 >= -1617 @ 0.338998
0.88/0.91	c bounds 30893 >= -1616 @ 0.340513
0.88/0.91	c bounds 30893 >= -1615 @ 0.3429
0.88/0.91	c bounds 30893 >= -1614 @ 0.345505
0.88/0.91	c bounds 30893 >= -1613 @ 0.349607
0.88/0.91	c bounds 30893 >= -1612 @ 0.352046
0.88/0.91	c bounds 30893 >= -1611 @ 0.353491
0.88/0.91	c bounds 30893 >= -1610 @ 0.354971
0.88/0.91	c bounds 30893 >= -1609 @ 0.356484
0.88/0.91	c bounds 30893 >= -1608 @ 0.357965
0.88/0.91	c bounds 30893 >= -1607 @ 0.358481
0.88/0.91	c bounds 30893 >= -1606 @ 0.360903
0.88/0.91	c bounds 30893 >= -1605 @ 0.362309
0.88/0.91	c bounds 30893 >= -1604 @ 0.365917
0.88/0.91	c bounds 30893 >= -1603 @ 0.368466
0.88/0.91	c bounds 30893 >= -1602 @ 0.371978
0.88/0.91	c bounds 30893 >= -1601 @ 0.373599
0.88/0.91	c bounds 30893 >= -1600 @ 0.375454
0.88/0.91	c bounds 30893 >= -1599 @ 0.376594
0.88/0.91	c bounds 30793 >= -1599 @ 0.384671
0.88/0.91	c bounds 30793 >= -1598 @ 0.388418
0.88/0.91	c bounds 30793 >= -1597 @ 0.391006
0.88/0.91	c bounds 30793 >= -1596 @ 0.392551
0.88/0.91	c bounds 30793 >= -1595 @ 0.39396
0.88/0.91	c bounds 30793 >= -1594 @ 0.395389
0.88/0.91	c bounds 30793 >= -1593 @ 0.398836
0.88/0.91	c bounds 30793 >= -1592 @ 0.400397
0.88/0.91	c bounds 30793 >= -1591 @ 0.404181
0.88/0.91	c bounds 30793 >= -1590 @ 0.40583
0.88/0.91	c bounds 30793 >= -1589 @ 0.407385
0.88/0.91	c bounds 30793 >= -1588 @ 0.410566
0.88/0.91	c bounds 30792 >= -1588 @ 0.414919
0.88/0.91	c bounds 30792 >= -1587 @ 0.416535
0.88/0.91	c bounds 30792 >= -1586 @ 0.419362
0.88/0.91	c bounds 30792 >= -1585 @ 0.422498
0.88/0.91	c bounds 30792 >= -1584 @ 0.423924
0.88/0.91	c bounds 30792 >= -1583 @ 0.424353
0.88/0.91	c bounds 30792 >= -1582 @ 0.428759
0.88/0.91	c bounds 30792 >= -1581 @ 0.430341
0.88/0.91	c bounds 30792 >= -1580 @ 0.432478
0.88/0.91	c bounds 30792 >= -1576 @ 0.434865
0.88/0.91	c bounds 30792 >= -1571 @ 0.437281
0.88/0.91	c bounds 30791 >= -1571 @ 0.440853
0.88/0.91	c bounds 30791 >= -1567 @ 0.443459
0.88/0.91	c bounds 30791 >= -1566 @ 0.445314
0.88/0.91	c bounds 30791 >= -1564 @ 0.445457
0.88/0.91	c bounds 30791 >= -1563 @ 0.446312
0.88/0.91	c bounds 30791 >= -1559 @ 0.447446
0.88/0.91	c bounds 30791 >= -1557 @ 0.450304
0.88/0.91	c bounds 30791 >= -1556 @ 0.451745
0.88/0.91	c bounds 30791 >= -1551 @ 0.4533
0.88/0.91	c bounds 30791 >= -1549 @ 0.456391
0.88/0.91	c bounds 30790 >= -1549 @ 0.461956
0.88/0.91	c bounds 30790 >= -1548 @ 0.464699
0.88/0.91	c bounds 30790 >= -1542 @ 0.468767
0.88/0.91	c bounds 30790 >= -1541 @ 0.46927
0.88/0.91	c bounds 30790 >= -1536 @ 0.471682
0.88/0.91	c bounds 30790 >= -1529 @ 0.473263
0.88/0.91	c bounds 30790 >= -1528 @ 0.474405
0.88/0.91	c bounds 30790 >= -1523 @ 0.47872
0.88/0.91	c bounds 30790 >= -1518 @ 0.480252
0.88/0.91	c bounds 30790 >= -1517 @ 0.484598
0.88/0.91	c bounds 30790 >= -1516 @ 0.488238
0.88/0.91	c bounds 30789 >= -1516 @ 0.491894
0.88/0.91	c bounds 30789 >= -1515 @ 0.494223
0.88/0.91	c bounds 30789 >= -1514 @ 0.496225
0.88/0.91	c bounds 30789 >= -1513 @ 0.497224
0.88/0.91	c bounds 30789 >= -1512 @ 0.49922
0.88/0.91	c bounds 30789 >= -1511 @ 0.502444
0.88/0.91	c bounds 30789 >= -1510 @ 0.503216
0.88/0.91	c bounds 30789 >= -1509 @ 0.505212
0.88/0.91	c bounds 30789 >= -1508 @ 0.508654
0.88/0.91	c bounds 30789 >= -1507 @ 0.510938
0.88/0.91	c bounds 30789 >= -1506 @ 0.513341
0.88/0.91	c bounds 30788 >= -1506 @ 0.519115
0.88/0.91	c bounds 30788 >= -1505 @ 0.520692
0.88/0.91	c bounds 30788 >= -1504 @ 0.522181
0.88/0.91	c bounds 30788 >= -1503 @ 0.523657
0.88/0.91	c bounds 30788 >= -1502 @ 0.525175
0.88/0.91	c bounds 30788 >= -1501 @ 0.528415
0.88/0.91	c bounds 30788 >= -1500 @ 0.530935
0.88/0.91	c bounds 30788 >= -1499 @ 0.533627
0.88/0.91	c bounds 30788 >= -1498 @ 0.53516
1.58/1.62	c bounds 30788 >= -1497 @ 0.536651
1.58/1.62	c bounds 30788 >= -1491 @ 0.538154
1.58/1.62	c bounds 30688 >= -1491 @ 0.543268
1.58/1.62	c bounds 30688 >= -1490 @ 0.544142
1.58/1.62	c bounds 30688 >= -1489 @ 0.545789
1.58/1.62	c bounds 30688 >= -1488 @ 0.546139
1.58/1.62	c bounds 30688 >= -1487 @ 0.547297
1.58/1.62	c bounds 30688 >= -1486 @ 0.549664
1.58/1.62	c bounds 30688 >= -1485 @ 0.552031
1.58/1.62	c bounds 30688 >= -1484 @ 0.554543
1.58/1.62	c bounds 30688 >= -1483 @ 0.555125
1.58/1.62	c bounds 30688 >= -1482 @ 0.556265
1.58/1.62	c bounds 30688 >= -1481 @ 0.557653
1.58/1.62	c bounds 30688 >= -1480 @ 0.559933
1.58/1.62	c bounds 30588 >= -1480 @ 0.564723
1.58/1.62	c bounds 30588 >= -1479 @ 0.568086
1.58/1.62	c bounds 30588 >= -1478 @ 0.570656
1.58/1.62	c bounds 30588 >= -1477 @ 0.574204
1.58/1.62	c bounds 30588 >= -1476 @ 0.575089
1.58/1.62	c bounds 30588 >= -1475 @ 0.576088
1.58/1.62	c bounds 30588 >= -1474 @ 0.577501
1.58/1.62	c bounds 30588 >= -1473 @ 0.579756
1.58/1.62	c bounds 30588 >= -1472 @ 0.582218
1.58/1.62	c bounds 30588 >= -1471 @ 0.584496
1.58/1.62	c bounds 30588 >= -1470 @ 0.587067
1.58/1.62	c bounds 30488 >= -1470 @ 0.591657
1.58/1.62	c bounds 30488 >= -1469 @ 0.5932
1.58/1.62	c bounds 30488 >= -1468 @ 0.59647
1.58/1.62	c bounds 30488 >= -1467 @ 0.598048
1.58/1.62	c bounds 30488 >= -1466 @ 0.601206
1.58/1.62	c bounds 30488 >= -1465 @ 0.604039
1.58/1.62	c bounds 30488 >= -1464 @ 0.604981
1.58/1.62	c bounds 30488 >= -1463 @ 0.607494
1.58/1.62	c bounds 30488 >= -1460 @ 0.610028
1.58/1.62	c bounds 30488 >= -1459 @ 0.612591
1.58/1.62	c bounds 30488 >= -1458 @ 0.613184
1.58/1.62	c bounds 30388 >= -1458 @ 0.618185
1.58/1.62	c bounds 30388 >= -1457 @ 0.621803
1.58/1.62	c bounds 30388 >= -1456 @ 0.626424
1.58/1.62	c bounds 30388 >= -1455 @ 0.628995
1.58/1.62	c bounds 30388 >= -1454 @ 0.628996
1.58/1.62	c bounds 30388 >= -1453 @ 0.630415
1.58/1.62	c bounds 30388 >= -1452 @ 0.630993
1.58/1.62	c bounds 30388 >= -1451 @ 0.633048
1.58/1.62	c bounds 30388 >= -1450 @ 0.636427
1.58/1.62	c bounds 30388 >= -1449 @ 0.63798
1.58/1.62	c bounds 30388 >= -1448 @ 0.639436
1.58/1.62	c bounds 30388 >= -1447 @ 0.642576
1.58/1.62	c bounds 30388 >= -1446 @ 0.64397
1.58/1.62	c bounds 30388 >= -1445 @ 0.646563
1.58/1.62	c bounds 30388 >= -1444 @ 0.649899
1.58/1.62	c bounds 30387 >= -1444 @ 0.64996
1.58/1.62	c bounds 30387 >= -1443 @ 0.653315
1.58/1.62	c bounds 30387 >= -1442 @ 0.653952
1.58/1.62	c bounds 30387 >= -1441 @ 0.65717
1.58/1.62	c bounds 30387 >= -1440 @ 0.659522
1.58/1.62	c bounds 30387 >= -1439 @ 0.660941
1.58/1.62	c bounds 30387 >= -1438 @ 0.662423
1.58/1.62	c bounds 30387 >= -1437 @ 0.663936
1.58/1.62	c bounds 30387 >= -1436 @ 0.668121
1.58/1.62	c bounds 30387 >= -1435 @ 0.669488
1.58/1.62	c bounds 30387 >= -1434 @ 0.670924
1.58/1.62	c bounds 30287 >= -1434 @ 0.676329
1.58/1.62	c bounds 30287 >= -1433 @ 0.678828
1.58/1.62	c bounds 30287 >= -1432 @ 0.680352
1.58/1.62	c bounds 30287 >= -1431 @ 0.681906
1.58/1.62	c bounds 30287 >= -1430 @ 0.684385
1.58/1.62	c bounds 30287 >= -1429 @ 0.6849
1.58/1.62	c bounds 30287 >= -1428 @ 0.686365
1.58/1.62	c bounds 30287 >= -1427 @ 0.687721
1.58/1.62	c bounds 30287 >= -1426 @ 0.689377
1.58/1.62	c bounds 30287 >= -1425 @ 0.69089
1.58/1.62	c bounds 30287 >= -1420 @ 0.693885
1.58/1.62	c bounds 30287 >= -1419 @ 0.694436
1.58/1.62	c bounds 30187 >= -1419 @ 0.738777
1.58/1.62	c bounds 30187 >= -1418 @ 0.739785
1.58/1.62	c bounds 30187 >= -1417 @ 0.741228
1.58/1.62	c bounds 30187 >= -1416 @ 0.74278
1.58/1.62	c bounds 30187 >= -1415 @ 0.745234
1.58/1.62	c bounds 30187 >= -1414 @ 0.745776
1.58/1.62	c bounds 30187 >= -1413 @ 0.747192
1.58/1.62	c bounds 30187 >= -1412 @ 0.750765
1.58/1.62	c bounds 30187 >= -1411 @ 0.750765
1.58/1.62	c bounds 30187 >= -1410 @ 0.752183
1.58/1.62	c bounds 30187 >= -1409 @ 0.754758
1.58/1.62	c bounds 30187 >= -1408 @ 0.755756
1.58/1.62	c bounds 30187 >= -1407 @ 0.759026
1.58/1.62	c bounds 30187 >= -1406 @ 0.760747
1.58/1.62	c bounds 30187 >= -1405 @ 0.762749
1.58/1.62	c bounds 30187 >= -1404 @ 0.766161
1.58/1.62	c bounds 30187 >= -1403 @ 0.767737
1.58/1.62	c bounds 30187 >= -1402 @ 0.770739
1.58/1.62	c bounds 30187 >= -1401 @ 0.773541
1.58/1.62	c bounds 30187 >= -1400 @ 0.774866
1.58/1.62	c bounds 30187 >= -1395 @ 0.77772
1.58/1.62	c bounds 30187 >= -1394 @ 0.78082
1.58/1.62	c bounds 30187 >= -1393 @ 0.784273
1.58/1.62	c bounds 30187 >= -1392 @ 0.787822
1.58/1.62	c bounds 30187 >= -1391 @ 0.788702
1.58/1.62	c bounds 30187 >= -1390 @ 0.791839
1.58/1.62	c bounds 30187 >= -1389 @ 0.795083
1.58/1.62	c bounds 30187 >= -1388 @ 0.79669
1.58/1.62	c bounds 30187 >= -1387 @ 0.798828
1.58/1.62	c bounds 30187 >= -1386 @ 0.801105
1.58/1.62	c bounds 30187 >= -1385 @ 0.80268
1.58/1.62	c bounds 30187 >= -1384 @ 0.805094
1.58/1.62	c bounds 30187 >= -1383 @ 0.807671
1.58/1.62	c bounds 30187 >= -1382 @ 0.807671
1.58/1.62	c bounds 30187 >= -1381 @ 0.810085
1.58/1.62	c bounds 30187 >= -1380 @ 0.812408
1.58/1.62	c bounds 30187 >= -1379 @ 0.814818
1.58/1.62	c bounds 30187 >= -1378 @ 0.816189
1.58/1.62	c bounds 30187 >= -1377 @ 0.816654
1.58/1.62	c bounds 30187 >= -1376 @ 0.818222
1.58/1.62	c bounds 30187 >= -1375 @ 0.81979
1.58/1.62	c bounds 30187 >= -1374 @ 0.822234
1.58/1.62	c bounds 30187 >= -1373 @ 0.824085
2.48/2.50	c bounds 30187 >= -1372 @ 0.82639
2.48/2.50	c bounds 30187 >= -1371 @ 0.829092
2.48/2.50	c bounds 30187 >= -1370 @ 0.83163
2.48/2.50	c bounds 30187 >= -1369 @ 0.833768
2.48/2.50	c bounds 30187 >= -1368 @ 0.835166
2.48/2.50	c bounds 30187 >= -1367 @ 0.836622
2.48/2.50	c bounds 30187 >= -1366 @ 0.838062
2.48/2.50	c bounds 30187 >= -1365 @ 0.839312
2.48/2.50	c bounds 30187 >= -1364 @ 0.843734
2.48/2.50	c bounds 30187 >= -1363 @ 0.846141
2.48/2.50	c bounds 30187 >= -1362 @ 0.848441
2.48/2.50	c bounds 30187 >= -1361 @ 0.85003
2.48/2.50	c bounds 30187 >= -1360 @ 0.852595
2.48/2.50	c bounds 30187 >= -1359 @ 0.856631
2.48/2.50	c bounds 30187 >= -1358 @ 0.859584
2.48/2.50	c bounds 30187 >= -1357 @ 0.860563
2.48/2.50	c bounds 30187 >= -1353 @ 0.862924
2.48/2.50	c bounds 30187 >= -1349 @ 0.864574
2.48/2.50	c bounds 30187 >= -1348 @ 0.866011
2.48/2.50	c bounds 30187 >= -1344 @ 0.867569
2.48/2.50	c bounds 30187 >= -1343 @ 0.869714
2.48/2.50	c bounds 30187 >= -1342 @ 0.874176
2.48/2.50	c bounds 30187 >= -1341 @ 0.875556
2.48/2.50	c bounds 30187 >= -1340 @ 0.878005
2.48/2.50	c bounds 30187 >= -1334 @ 0.882545
2.48/2.50	c bounds 30187 >= -1331 @ 0.88468
2.48/2.50	c bounds 30087 >= -1331 @ 1.072
2.48/2.50	c bounds 30087 >= -1330 @ 1.07502
2.48/2.50	c bounds 30087 >= -1329 @ 1.07653
2.48/2.50	c bounds 30087 >= -1328 @ 1.07991
2.48/2.50	c bounds 30087 >= -1327 @ 1.08208
2.48/2.50	c bounds 30087 >= -1326 @ 1.08564
2.48/2.50	c bounds 30087 >= -1325 @ 1.08753
2.48/2.50	c bounds 30087 >= -1324 @ 1.08906
2.48/2.50	c bounds 30087 >= -1323 @ 1.09052
2.48/2.50	c bounds 30087 >= -1322 @ 1.09106
2.48/2.50	c bounds 30087 >= -1321 @ 1.09441
2.48/2.50	c bounds 30087 >= -1320 @ 1.09506
2.48/2.50	c bounds 30087 >= -1319 @ 1.09822
2.48/2.50	c bounds 30087 >= -1318 @ 1.09963
2.48/2.50	c bounds 30087 >= -1317 @ 1.1002
2.48/2.50	c bounds 30087 >= -1316 @ 1.10364
2.48/2.50	c bounds 30087 >= -1315 @ 1.10601
2.48/2.50	c bounds 30087 >= -1314 @ 1.10747
2.48/2.50	c bounds 30087 >= -1313 @ 1.10994
2.48/2.50	c bounds 30087 >= -1312 @ 1.11145
2.48/2.50	c bounds 30087 >= -1311 @ 1.11402
2.48/2.50	c bounds 30087 >= -1310 @ 1.11546
2.48/2.50	c bounds 30087 >= -1309 @ 1.11602
2.48/2.50	c bounds 30087 >= -1308 @ 1.12144
2.48/2.50	c bounds 30087 >= -1307 @ 1.12317
2.48/2.50	c bounds 30087 >= -1306 @ 1.125
2.48/2.50	c bounds 30087 >= -1305 @ 1.12732
2.48/2.50	c bounds 30087 >= -1304 @ 1.12871
2.48/2.50	c bounds 30087 >= -1303 @ 1.13014
2.48/2.50	c bounds 30087 >= -1302 @ 1.13356
2.48/2.50	c bounds 30087 >= -1301 @ 1.13399
2.48/2.50	c bounds 30087 >= -1300 @ 1.13399
2.48/2.50	c bounds 30087 >= -1299 @ 1.13643
2.48/2.50	c bounds 30087 >= -1298 @ 1.13698
2.48/2.50	c bounds 30087 >= -1297 @ 1.1384
2.48/2.50	c bounds 30087 >= -1296 @ 1.1397
2.48/2.50	c bounds 30087 >= -1295 @ 1.1414
2.48/2.50	c bounds 30087 >= -1294 @ 1.14472
2.48/2.50	c bounds 30087 >= -1293 @ 1.14741
2.48/2.50	c bounds 30087 >= -1292 @ 1.14996
2.48/2.50	c bounds 30087 >= -1291 @ 1.15143
2.48/2.50	c bounds 30087 >= -1290 @ 1.15195
2.48/2.50	c bounds 30087 >= -1289 @ 1.15443
2.48/2.50	c bounds 30087 >= -1288 @ 1.15711
2.48/2.50	c bounds 30087 >= -1287 @ 1.15994
2.48/2.50	c bounds 30087 >= -1286 @ 1.16219
2.48/2.50	c bounds 30087 >= -1285 @ 1.1646
2.48/2.50	c bounds 30087 >= -1284 @ 1.16707
2.48/2.50	c bounds 30087 >= -1283 @ 1.16937
2.48/2.50	c bounds 30087 >= -1282 @ 1.17092
2.48/2.50	c bounds 30087 >= -1281 @ 1.17322
2.48/2.50	c bounds 30087 >= -1280 @ 1.17392
2.48/2.50	c bounds 30087 >= -1279 @ 1.17814
2.48/2.50	c bounds 30087 >= -1278 @ 1.1809
2.48/2.50	c bounds 30087 >= -1277 @ 1.18236
2.48/2.50	c bounds 30087 >= -1276 @ 1.1829
2.48/2.50	c bounds 30087 >= -1275 @ 1.18596
2.48/2.50	c bounds 30087 >= -1274 @ 1.18744
2.48/2.50	c bounds 30087 >= -1273 @ 1.19004
2.48/2.50	c bounds 30087 >= -1272 @ 1.19338
2.48/2.50	c bounds 30087 >= -1271 @ 1.19588
2.48/2.50	c bounds 30087 >= -1270 @ 1.19787
2.48/2.50	c bounds 30087 >= -1269 @ 1.19907
2.48/2.50	c bounds 30087 >= -1268 @ 1.20249
2.48/2.50	c bounds 30087 >= -1267 @ 1.20501
2.48/2.50	c bounds 30087 >= -1266 @ 1.20744
2.48/2.50	c bounds 30087 >= -1265 @ 1.20785
2.48/2.50	c bounds 30087 >= -1264 @ 1.2103
2.48/2.50	c bounds 30087 >= -1263 @ 1.21248
2.48/2.50	c bounds 30087 >= -1262 @ 1.21484
2.48/2.50	c bounds 30087 >= -1261 @ 1.21728
2.48/2.50	c bounds 30087 >= -1260 @ 1.21883
2.48/2.50	c bounds 30087 >= -1259 @ 1.22114
2.48/2.50	c bounds 30087 >= -1258 @ 1.22183
2.48/2.50	c bounds 30087 >= -1257 @ 1.22496
2.48/2.50	c bounds 30087 >= -1256 @ 1.22638
2.48/2.50	c bounds 30087 >= -1255 @ 1.22699
2.48/2.50	c bounds 30087 >= -1254 @ 1.22981
2.48/2.50	c bounds 30087 >= -1253 @ 1.2313
2.48/2.50	c bounds 30087 >= -1252 @ 1.23181
2.48/2.50	c bounds 30087 >= -1251 @ 1.23629
2.48/2.50	c bounds 30087 >= -1250 @ 1.23694
2.48/2.50	c bounds 30087 >= -1249 @ 1.2412
2.48/2.50	c bounds 30087 >= -1248 @ 1.24279
2.48/2.50	c bounds 30087 >= -1247 @ 1.24421
2.48/2.50	c bounds 30087 >= -1246 @ 1.24633
2.48/2.50	c bounds 30087 >= -1244 @ 1.24678
2.48/2.50	c bounds 30087 >= -1243 @ 1.25118
2.48/2.50	c bounds 30087 >= -1238 @ 1.25178
2.48/2.50	c bounds 30087 >= -1233 @ 1.25521
2.48/2.50	c bounds 30087 >= -1228 @ 1.25655
2.48/2.50	c bounds 30087 >= -1224 @ 1.25921
2.48/2.50	c bounds 30087 >= -1221 @ 1.26176
2.48/2.50	c bounds 30087 >= -1219 @ 1.2632
2.48/2.50	c bounds 30087 >= -1217 @ 1.26644
3.08/3.17	c bounds 30087 >= -1212 @ 1.27021
3.08/3.17	c bounds 30087 >= -1207 @ 1.27152
3.08/3.17	c bounds 30087 >= -1202 @ 1.27416
3.08/3.17	c bounds 30087 >= -1200 @ 1.27573
3.08/3.17	c bounds 30087 >= -1195 @ 1.2783
3.08/3.17	c bounds 30087 >= -1192 @ 1.27873
3.08/3.17	c bounds 30087 >= -1190 @ 1.28117
3.08/3.17	c bounds 30087 >= -1186 @ 1.28272
3.08/3.17	c bounds 30087 >= -1183 @ 1.28503
3.08/3.17	c bounds 30087 >= -1179 @ 1.28572
3.08/3.17	c bounds 30087 >= -1175 @ 1.28785
3.08/3.17	c bounds 30087 >= -1172 @ 1.29028
3.08/3.17	c bounds 30087 >= -1167 @ 1.29359
3.08/3.17	c bounds 30087 >= -1164 @ 1.29617
3.08/3.17	c bounds 30087 >= -1159 @ 1.29769
3.08/3.17	c bounds 30087 >= -1154 @ 1.30114
3.08/3.17	c bounds 30087 >= -1152 @ 1.30168
3.08/3.17	c bounds 30087 >= -1148 @ 1.30618
3.08/3.17	c bounds 30087 >= -1145 @ 1.30783
3.08/3.17	c bounds 30087 >= -1142 @ 1.3093
3.08/3.17	c bounds 30087 >= -1137 @ 1.31316
3.08/3.17	c bounds 30087 >= -1134 @ 1.31455
3.08/3.17	c bounds 30087 >= -1131 @ 1.31611
3.08/3.17	c bounds 30087 >= -1126 @ 1.31666
3.08/3.17	c bounds 30087 >= -1124 @ 1.32009
3.08/3.17	c bounds 30087 >= -1121 @ 1.32225
3.08/3.17	c bounds 30087 >= -1119 @ 1.3248
3.08/3.17	c bounds 30087 >= -1116 @ 1.32623
3.08/3.17	c bounds 30087 >= -1112 @ 1.32757
3.08/3.17	c bounds 30087 >= -1108 @ 1.33007
3.08/3.17	c bounds 30087 >= -1103 @ 1.33163
3.08/3.17	c bounds 30087 >= -1098 @ 1.33362
3.08/3.17	c bounds 30087 >= -1093 @ 1.3352
3.08/3.17	c bounds 30087 >= -1090 @ 1.33677
3.08/3.17	c bounds 30087 >= -1086 @ 1.33811
3.08/3.17	c bounds 30087 >= -1082 @ 1.33961
3.08/3.17	c bounds 30087 >= -1078 @ 1.34223
3.08/3.17	c bounds 30087 >= -1074 @ 1.3436
3.08/3.17	c bounds 30087 >= -1072 @ 1.3456
3.08/3.17	c bounds 30087 >= -1069 @ 1.34709
3.08/3.17	c bounds 30087 >= -1067 @ 1.34958
3.08/3.17	c bounds 30087 >= -1062 @ 1.35202
3.08/3.17	c bounds 30087 >= -1060 @ 1.35357
3.08/3.17	c bounds 30087 >= -1055 @ 1.35571
3.08/3.17	c bounds 30087 >= -1053 @ 1.35904
3.08/3.17	c bounds 30087 >= -1048 @ 1.35956
3.08/3.17	c bounds 30087 >= -1045 @ 1.36201
3.08/3.17	c bounds 30087 >= -1043 @ 1.36256
3.08/3.17	c bounds 30087 >= -1040 @ 1.36455
3.08/3.17	c bounds 30087 >= -1036 @ 1.36619
3.08/3.17	c bounds 30087 >= -1033 @ 1.37061
3.08/3.17	c bounds 30087 >= -1030 @ 1.37401
3.08/3.17	c bounds 30087 >= -1027 @ 1.37454
3.08/3.17	c bounds 30087 >= -1025 @ 1.37454
3.08/3.17	c bounds 30087 >= -1022 @ 1.3747
3.08/3.17	c bounds 30087 >= -1018 @ 1.37554
3.08/3.17	c bounds 30087 >= -1014 @ 1.37572
3.08/3.17	c bounds 30087 >= -1009 @ 1.37833
3.08/3.17	c bounds 30087 >= -1007 @ 1.38194
3.08/3.17	c bounds 30087 >= -1002 @ 1.38352
3.08/3.17	c bounds 30087 >= -997 @ 1.38594
3.08/3.17	c bounds 30087 >= -992 @ 1.38851
3.08/3.17	c bounds 30087 >= -988 @ 1.39054
3.08/3.17	c bounds 30087 >= -983 @ 1.39393
3.08/3.17	c bounds 30087 >= -980 @ 1.3965
3.08/3.17	c bounds 30087 >= -977 @ 1.39793
3.08/3.17	c bounds 30087 >= -972 @ 1.40007
3.08/3.17	c bounds 30087 >= -970 @ 1.40149
3.08/3.17	c bounds 30087 >= -966 @ 1.40491
3.08/3.17	c bounds 30087 >= -961 @ 1.40548
3.08/3.17	c bounds 30087 >= -956 @ 1.40854
3.08/3.17	c bounds 30087 >= -952 @ 1.41093
3.08/3.17	c bounds 30087 >= -950 @ 1.41148
3.08/3.17	c bounds 30087 >= -947 @ 1.41394
3.08/3.17	c bounds 30087 >= -943 @ 1.41538
3.08/3.17	c bounds 30087 >= -939 @ 1.41719
3.08/3.17	c bounds 30087 >= -934 @ 1.42096
3.08/3.17	c bounds 30087 >= -930 @ 1.4216
3.08/3.17	c bounds 30087 >= -928 @ 1.42492
3.08/3.17	c bounds 30087 >= -925 @ 1.42644
3.08/3.17	c bounds 30087 >= -921 @ 1.42794
3.08/3.17	c bounds 30087 >= -917 @ 1.43038
3.08/3.17	c bounds 30087 >= -914 @ 1.4329
3.08/3.17	c bounds 30087 >= -912 @ 1.43441
3.08/3.17	c bounds 30087 >= -909 @ 1.43685
3.08/3.17	c bounds 30087 >= -904 @ 1.43915
3.08/3.17	c bounds 30087 >= -899 @ 1.4409
3.08/3.17	c bounds 30087 >= -895 @ 1.4424
3.08/3.17	c bounds 30087 >= -893 @ 1.44484
3.08/3.17	c bounds 30087 >= -890 @ 1.44713
3.08/3.17	c bounds 30087 >= -885 @ 1.45211
3.08/3.17	c bounds 30087 >= -881 @ 1.45489
3.08/3.17	c bounds 30087 >= -876 @ 1.45554
3.08/3.17	c bounds 30087 >= -871 @ 1.45837
3.08/3.17	c bounds 30087 >= -868 @ 1.46205
3.08/3.17	c bounds 30087 >= -863 @ 1.46485
3.08/3.17	c bounds 30087 >= -859 @ 1.46714
3.08/3.17	c bounds 30087 >= -855 @ 1.4688
3.08/3.17	c bounds 30087 >= -852 @ 1.47035
3.08/3.17	c bounds 30087 >= -847 @ 1.4728
3.08/3.17	c bounds 30087 >= -843 @ 1.47493
3.08/3.17	c bounds 30087 >= -837 @ 1.47633
3.08/3.17	c bounds 30087 >= -832 @ 1.47778
3.08/3.17	c bounds 30087 >= -830 @ 1.47933
3.08/3.17	c bounds 30087 >= -827 @ 1.48249
3.08/3.17	c bounds 30087 >= -825 @ 1.48391
3.08/3.17	c bounds 30087 >= -821 @ 1.48531
3.08/3.17	c bounds 30087 >= -819 @ 1.48687
3.08/3.17	c bounds 30087 >= -814 @ 1.48731
3.08/3.17	c bounds 30087 >= -808 @ 1.48875
3.08/3.17	c bounds 30087 >= -805 @ 1.48931
3.08/3.17	c bounds 30087 >= -800 @ 1.4929
3.08/3.17	c bounds 30087 >= -798 @ 1.49545
3.08/3.17	c bounds 30087 >= -793 @ 1.49729
3.08/3.17	c bounds 30087 >= -788 @ 1.49876
3.08/3.17	c bounds 30087 >= -787 @ 1.50111
3.08/3.17	c bounds 30087 >= -786 @ 1.5037
3.08/3.17	c bounds 30087 >= -785 @ 1.50583
3.08/3.17	c bounds 30087 >= -784 @ 1.50917
3.08/3.17	c bounds 30087 >= -783 @ 1.51069
3.08/3.17	c bounds 30087 >= -782 @ 1.51288
3.08/3.17	c bounds 30087 >= -781 @ 1.51426
3.78/3.85	c bounds 30087 >= -780 @ 1.51764
3.78/3.85	c bounds 30087 >= -779 @ 1.52005
3.78/3.85	c bounds 30087 >= -778 @ 1.52267
3.78/3.85	c bounds 30087 >= -777 @ 1.5248
3.78/3.85	c bounds 30087 >= -776 @ 1.52812
3.78/3.85	c bounds 30087 >= -774 @ 1.53166
3.78/3.85	c bounds 30087 >= -773 @ 1.53423
3.78/3.85	c bounds 30087 >= -772 @ 1.53693
3.78/3.85	c bounds 30087 >= -771 @ 1.54052
3.78/3.85	c bounds 30087 >= -770 @ 1.54121
3.78/3.85	c bounds 30087 >= -769 @ 1.54435
3.78/3.85	c bounds 30087 >= -768 @ 1.54768
3.78/3.85	c bounds 30087 >= -767 @ 1.5482
3.78/3.85	c bounds 30087 >= -766 @ 1.55062
3.78/3.85	c bounds 30087 >= -765 @ 1.55271
3.78/3.85	c bounds 30087 >= -764 @ 1.55519
3.78/3.85	c bounds 30087 >= -763 @ 1.55763
3.78/3.85	c bounds 30087 >= -762 @ 1.56018
3.78/3.85	c bounds 30087 >= -761 @ 1.56163
3.78/3.85	c bounds 30087 >= -760 @ 1.56317
3.78/3.85	c bounds 30087 >= -759 @ 1.56563
3.78/3.85	c bounds 30087 >= -758 @ 1.56617
3.78/3.85	c bounds 30087 >= -756 @ 1.5693
3.78/3.85	c bounds 30087 >= -755 @ 1.57082
3.78/3.85	c bounds 30087 >= -754 @ 1.57167
3.78/3.85	c bounds 30087 >= -753 @ 1.57322
3.78/3.85	c bounds 30087 >= -752 @ 1.57415
3.78/3.85	c bounds 30087 >= -751 @ 1.57664
3.78/3.85	c bounds 30087 >= -750 @ 1.57814
3.78/3.85	c bounds 30087 >= -749 @ 1.57959
3.78/3.85	c bounds 30087 >= -748 @ 1.58114
3.78/3.85	c bounds 30087 >= -747 @ 1.58258
3.78/3.85	c bounds 30087 >= -746 @ 1.58482
3.78/3.85	c bounds 30087 >= -745 @ 1.58659
3.78/3.85	c bounds 30087 >= -744 @ 1.58883
3.78/3.85	c bounds 30087 >= -743 @ 1.59027
3.78/3.85	c bounds 30087 >= -742 @ 1.59369
3.78/3.85	c bounds 30087 >= -741 @ 1.59528
3.78/3.85	c bounds 30087 >= -740 @ 1.59775
3.78/3.85	c bounds 30087 >= -739 @ 1.59926
3.78/3.85	c bounds 30087 >= -738 @ 1.60369
3.78/3.85	c bounds 30087 >= -737 @ 1.60629
3.78/3.85	c bounds 30087 >= -736 @ 1.60709
3.78/3.85	c bounds 30087 >= -735 @ 1.60909
3.78/3.85	c bounds 30087 >= -734 @ 1.61088
3.78/3.85	c bounds 30087 >= -733 @ 1.61156
3.78/3.85	c bounds 30087 >= -732 @ 1.61308
3.78/3.85	c bounds 30087 >= -731 @ 1.61553
3.78/3.85	c bounds 30087 >= -730 @ 1.6168
3.78/3.85	c bounds 30087 >= -729 @ 1.61922
3.78/3.85	c bounds 30087 >= -728 @ 1.62071
3.78/3.85	c bounds 30087 >= -727 @ 1.62222
3.78/3.85	c bounds 30087 >= -726 @ 1.62467
3.78/3.85	c bounds 30087 >= -725 @ 1.62705
3.78/3.85	c bounds 30087 >= -724 @ 1.62952
3.78/3.85	c bounds 30087 >= -723 @ 1.63105
3.78/3.85	c bounds 30087 >= -722 @ 1.63449
3.78/3.85	c bounds 30087 >= -721 @ 1.6378
3.78/3.85	c bounds 30087 >= -720 @ 1.6412
3.78/3.85	c bounds 30087 >= -719 @ 1.64203
3.78/3.85	c bounds 30087 >= -718 @ 1.64645
3.78/3.85	c bounds 30087 >= -717 @ 1.64901
3.78/3.85	c bounds 30087 >= -716 @ 1.65151
3.78/3.85	c bounds 30087 >= -715 @ 1.65319
3.78/3.85	c bounds 30087 >= -714 @ 1.65674
3.78/3.85	c bounds 30087 >= -713 @ 1.65945
3.78/3.85	c bounds 30087 >= -712 @ 1.66065
3.78/3.85	c bounds 30087 >= -711 @ 1.66315
3.78/3.85	c bounds 30087 >= -710 @ 1.66459
3.78/3.85	c bounds 30087 >= -709 @ 1.66612
3.78/3.85	c bounds 30087 >= -708 @ 1.66841
3.78/3.85	c bounds 30087 >= -707 @ 1.66997
3.78/3.85	c bounds 30087 >= -706 @ 1.67141
3.78/3.85	c bounds 30087 >= -705 @ 1.67258
3.78/3.85	c bounds 30087 >= -702 @ 1.67411
3.78/3.85	c bounds 30087 >= -701 @ 1.67853
3.78/3.85	c bounds 30087 >= -699 @ 1.67896
3.78/3.85	c bounds 30087 >= -698 @ 1.68235
3.78/3.85	c bounds 30087 >= -697 @ 1.68295
3.78/3.85	c bounds 30087 >= -696 @ 1.68695
3.78/3.85	c bounds 30087 >= -695 @ 1.68894
3.78/3.85	c bounds 30087 >= -694 @ 1.69091
3.78/3.85	c bounds 30087 >= -693 @ 1.69254
3.78/3.85	c bounds 30087 >= -692 @ 1.6931
3.78/3.85	c bounds 30087 >= -690 @ 1.69567
3.78/3.85	c bounds 30087 >= -689 @ 1.69736
3.78/3.85	c bounds 30087 >= -688 @ 1.69952
3.78/3.85	c bounds 30087 >= -687 @ 1.70192
3.78/3.85	c bounds 30087 >= -686 @ 1.70431
3.78/3.85	c bounds 30087 >= -684 @ 1.70668
3.78/3.85	c bounds 30087 >= -683 @ 1.70833
3.78/3.85	c bounds 30087 >= -682 @ 1.70958
3.78/3.85	c bounds 30087 >= -681 @ 1.7129
3.78/3.85	c bounds 30087 >= -680 @ 1.71432
3.78/3.85	c bounds 30087 >= -679 @ 1.71572
3.78/3.85	c bounds 30087 >= -678 @ 1.71805
3.78/3.85	c bounds 30087 >= -677 @ 1.71989
3.78/3.85	c bounds 30087 >= -676 @ 1.72233
3.78/3.85	c bounds 30087 >= -673 @ 1.72389
3.78/3.85	c bounds 30087 >= -672 @ 1.72632
3.78/3.85	c bounds 30087 >= -671 @ 1.72788
3.78/3.85	c bounds 30087 >= -670 @ 1.73104
3.78/3.85	c bounds 30087 >= -669 @ 1.73345
3.78/3.85	c bounds 30087 >= -668 @ 1.73387
3.78/3.85	c bounds 30087 >= -667 @ 1.73646
3.78/3.85	c bounds 30087 >= -665 @ 1.73773
3.78/3.85	c bounds 30087 >= -663 @ 1.74007
3.78/3.85	c bounds 30087 >= -662 @ 1.74341
3.78/3.85	c bounds 30087 >= -661 @ 1.74485
3.78/3.85	c bounds 30087 >= -660 @ 1.74726
3.78/3.85	c bounds 30087 >= -659 @ 1.74784
3.78/3.85	c bounds 30087 >= -658 @ 1.74984
3.78/3.85	c bounds 30087 >= -657 @ 1.75226
3.78/3.85	c bounds 30087 >= -656 @ 1.75283
3.78/3.85	c bounds 30087 >= -655 @ 1.75299
3.78/3.85	c bounds 30087 >= -654 @ 1.75541
3.78/3.85	c bounds 30087 >= -653 @ 1.75797
3.78/3.85	c bounds 30087 >= -652 @ 1.75982
3.78/3.85	c bounds 30087 >= -651 @ 1.76226
3.78/3.85	c bounds 30087 >= -650 @ 1.76346
3.78/3.85	c bounds 30087 >= -649 @ 1.76639
3.78/3.85	c bounds 30087 >= -647 @ 1.76681
3.78/3.85	c bounds 30087 >= -646 @ 1.76923
3.78/3.85	c bounds 30087 >= -645 @ 1.77081
3.78/3.85	c bounds 30087 >= -644 @ 1.77081
4.48/4.53	c bounds 30087 >= -643 @ 1.77222
4.48/4.53	c bounds 30087 >= -642 @ 1.7728
4.48/4.53	c bounds 30087 >= -641 @ 1.77494
4.48/4.53	c bounds 30087 >= -639 @ 1.77727
4.48/4.53	c bounds 30087 >= -638 @ 1.7806
4.48/4.53	c bounds 30087 >= -637 @ 1.78193
4.48/4.53	c bounds 30087 >= -636 @ 1.78433
4.48/4.53	c bounds 30087 >= -635 @ 1.78658
4.48/4.53	c bounds 30087 >= -634 @ 1.78923
4.48/4.53	c bounds 30087 >= -633 @ 1.79363
4.48/4.53	c bounds 30087 >= -632 @ 1.79523
4.48/4.53	c bounds 30087 >= -631 @ 1.79676
4.48/4.53	c bounds 30087 >= -630 @ 1.79835
4.48/4.53	c bounds 30087 >= -629 @ 1.79992
4.48/4.53	c bounds 30087 >= -628 @ 1.80131
4.48/4.53	c bounds 30087 >= -627 @ 1.80275
4.48/4.53	c bounds 30087 >= -626 @ 1.80691
4.48/4.53	c bounds 30087 >= -625 @ 1.80929
4.48/4.53	c bounds 30087 >= -622 @ 1.81174
4.48/4.53	c bounds 30087 >= -621 @ 1.81419
4.48/4.53	c bounds 30087 >= -620 @ 1.81673
4.48/4.53	c bounds 30087 >= -619 @ 1.81787
4.48/4.53	c bounds 30087 >= -618 @ 1.82018
4.48/4.53	c bounds 30087 >= -617 @ 1.82072
4.48/4.53	c bounds 30087 >= -616 @ 1.82214
4.48/4.53	c bounds 30087 >= -615 @ 1.82526
4.48/4.53	c bounds 30087 >= -614 @ 1.82571
4.48/4.53	c bounds 30087 >= -613 @ 1.82817
4.48/4.53	c bounds 30087 >= -612 @ 1.83216
4.48/4.53	c bounds 30087 >= -611 @ 1.83565
4.48/4.53	c bounds 30087 >= -610 @ 1.83827
4.48/4.53	c bounds 30087 >= -609 @ 1.84067
4.48/4.53	c bounds 30087 >= -608 @ 1.84249
4.48/4.53	c bounds 30087 >= -607 @ 1.84382
4.48/4.53	c bounds 30087 >= -606 @ 1.84806
4.48/4.53	c bounds 30087 >= -605 @ 1.84967
4.48/4.53	c bounds 30087 >= -604 @ 1.85176
4.48/4.53	c bounds 30087 >= -603 @ 1.85424
4.48/4.53	c bounds 30087 >= -602 @ 1.85666
4.48/4.53	c bounds 30087 >= -601 @ 1.85807
4.48/4.53	c bounds 30087 >= -600 @ 1.85865
4.48/4.53	c bounds 30087 >= -599 @ 1.85971
4.48/4.53	c bounds 30087 >= -598 @ 1.86322
4.48/4.53	c bounds 30087 >= -597 @ 1.8666
4.48/4.53	c bounds 30087 >= -596 @ 1.86906
4.48/4.53	c bounds 30087 >= -595 @ 1.87163
4.48/4.53	c bounds 30087 >= -594 @ 1.87309
4.48/4.53	c bounds 30087 >= -593 @ 1.87562
4.48/4.53	c bounds 30087 >= -592 @ 1.87709
4.48/4.53	c bounds 30087 >= -591 @ 1.87862
4.48/4.53	c bounds 30087 >= -590 @ 1.88203
4.48/4.53	c bounds 30087 >= -589 @ 1.88361
4.48/4.53	c bounds 30087 >= -588 @ 1.88575
4.48/4.53	c bounds 30087 >= -587 @ 1.88703
4.48/4.53	c bounds 30087 >= -586 @ 1.8886
4.48/4.53	c bounds 30087 >= -585 @ 1.89074
4.48/4.53	c bounds 30087 >= -584 @ 1.89202
4.48/4.53	c bounds 30087 >= -583 @ 1.89359
4.48/4.53	c bounds 30087 >= -582 @ 1.89676
4.48/4.53	c bounds 30087 >= -581 @ 1.89913
4.48/4.53	c bounds 30087 >= -580 @ 1.90158
4.48/4.53	c bounds 30087 >= -579 @ 1.90478
4.48/4.53	c bounds 30087 >= -578 @ 1.90557
4.48/4.53	c bounds 30087 >= -577 @ 1.90573
4.48/4.53	c bounds 30087 >= -576 @ 1.90757
4.48/4.53	c bounds 30087 >= -575 @ 1.91078
4.48/4.53	c bounds 30087 >= -574 @ 1.91156
4.48/4.53	c bounds 30087 >= -573 @ 1.91303
4.48/4.53	c bounds 30087 >= -572 @ 1.91356
4.48/4.53	c bounds 30087 >= -571 @ 1.91669
4.48/4.53	c bounds 30087 >= -570 @ 1.92147
4.48/4.53	c bounds 30087 >= -569 @ 1.92397
4.48/4.53	c bounds 30087 >= -568 @ 1.92454
4.48/4.53	c bounds 30087 >= -567 @ 1.92658
4.48/4.53	c bounds 30087 >= -566 @ 1.92896
4.48/4.53	c bounds 30087 >= -565 @ 1.93153
4.48/4.53	c bounds 30087 >= -564 @ 1.93395
4.48/4.53	c bounds 30087 >= -563 @ 1.93607
4.48/4.53	c bounds 30087 >= -562 @ 1.93752
4.48/4.53	c bounds 30087 >= -561 @ 1.93894
4.48/4.53	c bounds 30087 >= -560 @ 1.94251
4.48/4.53	c bounds 30087 >= -559 @ 1.94266
4.48/4.53	c bounds 30087 >= -558 @ 1.94411
4.48/4.53	c bounds 30087 >= -556 @ 1.94551
4.48/4.53	c bounds 30087 >= -555 @ 1.9491
4.48/4.53	c bounds 30087 >= -551 @ 1.95066
4.48/4.53	c bounds 30087 >= -549 @ 1.95349
4.48/4.53	c bounds 30087 >= -547 @ 1.95349
4.48/4.53	c bounds 30087 >= -545 @ 1.95581
4.48/4.53	c bounds 30087 >= -542 @ 1.95748
4.48/4.53	c bounds 30087 >= -540 @ 1.95862
4.48/4.53	c bounds 30087 >= -538 @ 1.96089
4.48/4.53	c bounds 30087 >= -530 @ 1.96217
4.48/4.53	c bounds 30087 >= -528 @ 1.96361
4.48/4.53	c bounds 30087 >= -527 @ 1.96882
4.48/4.53	c bounds 30087 >= -518 @ 1.96946
4.48/4.53	c bounds 30087 >= -517 @ 1.97262
4.48/4.53	c bounds 30087 >= -513 @ 1.974
4.48/4.53	c bounds 30087 >= -512 @ 1.97545
4.48/4.53	c bounds 30087 >= -504 @ 1.97845
4.48/4.53	c bounds 30087 >= -496 @ 1.98165
4.48/4.53	c bounds 30087 >= -490 @ 1.98443
4.48/4.53	c bounds 30087 >= -479 @ 1.98659
4.48/4.53	c bounds 30087 >= -475 @ 1.98843
4.48/4.53	c bounds 30087 >= -472 @ 1.98887
4.48/4.53	c bounds 30087 >= -467 @ 1.99042
4.48/4.53	c bounds 30087 >= -464 @ 1.99184
4.48/4.53	c bounds 30087 >= -460 @ 1.99501
4.48/4.53	c bounds 30087 >= -457 @ 1.99542
4.48/4.53	c bounds 30087 >= -454 @ 1.99685
4.48/4.53	c bounds 30087 >= -450 @ 1.99909
4.48/4.53	c bounds 30087 >= -448 @ 2.00146
4.48/4.53	c bounds 30087 >= -443 @ 2.00386
4.48/4.53	c bounds 30087 >= -440 @ 2.0044
4.48/4.53	c bounds 30087 >= -434 @ 2.00586
4.48/4.53	c bounds 30087 >= -430 @ 2.00908
4.48/4.53	c bounds 30087 >= -426 @ 2.01346
4.48/4.53	c bounds 30087 >= -422 @ 2.01486
4.48/4.53	c bounds 30087 >= -418 @ 2.01538
4.48/4.53	c bounds 30087 >= -413 @ 2.01796
4.48/4.53	c bounds 30087 >= -408 @ 2.01837
4.48/4.53	c bounds 30087 >= -404 @ 2.02
4.48/4.53	c bounds 30087 >= -394 @ 2.02151
4.48/4.53	c bounds 30087 >= -392 @ 2.02394
5.18/5.22	c bounds 30087 >= -391 @ 2.02536
5.18/5.22	c bounds 30087 >= -388 @ 2.0268
5.18/5.22	c bounds 30087 >= -383 @ 2.02736
5.18/5.22	c bounds 30087 >= -374 @ 2.02836
5.18/5.22	c bounds 30087 >= -369 @ 2.03174
5.18/5.22	c bounds 30087 >= -367 @ 2.03317
5.18/5.22	c bounds 30087 >= -365 @ 2.03555
5.18/5.22	c bounds 30087 >= -361 @ 2.03891
5.18/5.22	c bounds 30087 >= -358 @ 2.04034
5.18/5.22	c bounds 30087 >= -356 @ 2.04278
5.18/5.22	c bounds 30087 >= -353 @ 2.04533
5.18/5.22	c bounds 30087 >= -352 @ 2.04697
5.18/5.22	c bounds 30087 >= -345 @ 2.04835
5.18/5.22	c bounds 30087 >= -341 @ 2.05193
5.18/5.22	c bounds 30087 >= -336 @ 2.05345
5.18/5.22	c bounds 30087 >= -333 @ 2.05583
5.18/5.22	c bounds 30087 >= -328 @ 2.05846
5.18/5.22	c bounds 30087 >= -321 @ 2.0613
5.18/5.22	c bounds 30087 >= -316 @ 2.06278
5.18/5.22	c bounds 30087 >= -312 @ 2.0633
5.18/5.22	c bounds 30087 >= -306 @ 2.06643
5.18/5.22	c bounds 30087 >= -298 @ 2.06786
5.18/5.22	c bounds 30087 >= -291 @ 2.06996
5.18/5.22	c bounds 30087 >= -281 @ 2.07128
5.18/5.22	c bounds 30087 >= -279 @ 2.07144
5.18/5.22	c bounds 30087 >= -274 @ 2.07387
5.18/5.22	c bounds 30087 >= -272 @ 2.07528
5.18/5.22	c bounds 30087 >= -270 @ 2.07669
5.18/5.22	c bounds 30087 >= -269 @ 2.07727
5.18/5.22	c bounds 30087 >= -261 @ 2.07727
5.18/5.22	c bounds 30087 >= -258 @ 2.07961
5.18/5.22	c bounds 30087 >= -252 @ 2.08226
5.18/5.22	c bounds 30087 >= -244 @ 2.08552
5.18/5.22	c bounds 30087 >= -239 @ 2.08885
5.18/5.22	c bounds 30087 >= -236 @ 2.09025
5.18/5.22	c bounds 30087 >= -231 @ 2.09281
5.18/5.22	c bounds 30087 >= -228 @ 2.09517
5.18/5.22	c bounds 30087 >= -219 @ 2.0986
5.18/5.22	c bounds 30087 >= -212 @ 2.10123
5.18/5.22	c bounds 30087 >= -211 @ 2.10436
5.18/5.22	c bounds 30087 >= -208 @ 2.10664
5.18/5.22	c bounds 30087 >= -207 @ 2.10722
5.18/5.22	c bounds 30087 >= -206 @ 2.10822
5.18/5.22	c bounds 30087 >= -196 @ 2.11065
5.18/5.22	c bounds 30087 >= -189 @ 2.11121
5.18/5.22	c bounds 30087 >= -185 @ 2.11363
5.18/5.22	c bounds 30087 >= -178 @ 2.11582
5.18/5.22	c bounds 30087 >= -171 @ 2.1182
5.18/5.22	c bounds 30087 >= -163 @ 2.12161
5.18/5.22	c bounds 30087 >= -155 @ 2.12319
5.18/5.22	c bounds 30087 >= -148 @ 2.12541
5.18/5.22	c bounds 30087 >= -141 @ 2.12718
5.18/5.22	c bounds 30087 >= -133 @ 2.12836
5.18/5.22	c bounds 30087 >= -128 @ 2.12918
5.18/5.22	c bounds 30087 >= -124 @ 2.13081
5.18/5.22	c bounds 30087 >= -120 @ 2.13217
5.18/5.22	c bounds 30087 >= -115 @ 2.13461
5.18/5.22	c bounds 30087 >= -111 @ 2.13617
5.18/5.22	c bounds 30087 >= -103 @ 2.13761
5.18/5.22	c bounds 30087 >= -99 @ 2.13916
5.18/5.22	c bounds 30087 >= -92 @ 2.14116
5.18/5.22	c bounds 30087 >= -85 @ 2.14313
5.18/5.22	c bounds 30087 >= -81 @ 2.14556
5.18/5.22	c bounds 30087 >= -77 @ 2.14812
5.18/5.22	c bounds 30087 >= -69 @ 2.15126
5.18/5.22	c bounds 30087 >= -65 @ 2.15553
5.18/5.22	c bounds 30087 >= -61 @ 2.15611
5.18/5.22	c bounds 30087 >= -57 @ 2.15725
5.18/5.22	c bounds 30087 >= -55 @ 2.15811
5.18/5.22	c bounds 30087 >= -48 @ 2.15955
5.18/5.22	c bounds 30087 >= -44 @ 2.16075
5.18/5.22	c bounds 30087 >= -41 @ 2.16155
5.18/5.22	c bounds 30087 >= -36 @ 2.1631
5.18/5.22	c bounds 30087 >= -31 @ 2.16452
5.18/5.22	c bounds 30087 >= -28 @ 2.16865
5.18/5.22	c bounds 30087 >= -27 @ 2.17009
5.18/5.22	c bounds 30087 >= -22 @ 2.17151
5.18/5.22	c bounds 30087 >= -20 @ 2.17464
5.18/5.22	c bounds 30087 >= -14 @ 2.17608
5.18/5.22	c bounds 30087 >= -12 @ 2.17927
5.18/5.22	c bounds 30087 >= -9 @ 2.18262
5.18/5.22	c bounds 30087 >= -6 @ 2.18406
5.18/5.22	c bounds 30087 >= -5 @ 2.18648
5.18/5.22	c bounds 30087 >= 2 @ 2.18862
5.18/5.22	c bounds 30087 >= 8 @ 2.18906
5.18/5.22	c bounds 30087 >= 16 @ 2.19148
5.18/5.22	c bounds 30087 >= 24 @ 2.19405
5.18/5.22	c bounds 30087 >= 28 @ 2.1945
5.18/5.22	c bounds 30087 >= 33 @ 2.19677
5.18/5.22	c bounds 30087 >= 34 @ 2.19948
5.18/5.22	c bounds 30087 >= 42 @ 2.20203
5.18/5.22	c bounds 30087 >= 44 @ 2.20346
5.18/5.22	c bounds 30087 >= 52 @ 2.20574
5.18/5.22	c bounds 30087 >= 60 @ 2.20616
5.18/5.22	c bounds 30087 >= 64 @ 2.20841
5.18/5.22	c bounds 30087 >= 68 @ 2.20902
5.18/5.22	c bounds 30087 >= 72 @ 2.21116
5.18/5.22	c bounds 30087 >= 76 @ 2.21343
5.18/5.22	c bounds 30087 >= 84 @ 2.21463
5.18/5.22	c bounds 30087 >= 88 @ 2.21556
5.18/5.22	c bounds 30087 >= 96 @ 2.217
5.18/5.22	c bounds 30087 >= 100 @ 2.22218
5.18/5.22	c bounds 30087 >= 108 @ 2.22557
5.18/5.22	c bounds 30087 >= 113 @ 2.22798
5.18/5.22	c bounds 30087 >= 121 @ 2.23232
5.18/5.22	c bounds 30087 >= 125 @ 2.23397
5.18/5.22	c bounds 30087 >= 132 @ 2.23823
5.18/5.22	c bounds 30087 >= 135 @ 2.23897
5.18/5.22	c bounds 30087 >= 138 @ 2.24126
5.18/5.22	c bounds 30087 >= 139 @ 2.24282
5.18/5.22	c bounds 30087 >= 142 @ 2.24542
5.18/5.22	c bounds 30087 >= 146 @ 2.24775
5.18/5.22	c bounds 30087 >= 154 @ 2.25037
5.18/5.22	c bounds 30087 >= 162 @ 2.25448
5.18/5.22	c bounds 30087 >= 164 @ 2.25493
5.18/5.22	c bounds 30087 >= 165 @ 2.25718
5.18/5.22	c bounds 30087 >= 170 @ 2.2595
5.18/5.22	c bounds 30087 >= 175 @ 2.26093
5.18/5.22	c bounds 30087 >= 179 @ 2.26335
5.18/5.22	c bounds 30087 >= 184 @ 2.2655
5.18/5.22	c bounds 30087 >= 191 @ 2.26883
5.18/5.22	c bounds 30087 >= 195 @ 2.27116
5.18/5.22	c bounds 30087 >= 203 @ 2.2729
5.18/5.22	c bounds 30087 >= 205 @ 2.27406
5.18/5.22	c bounds 30087 >= 209 @ 2.27741
5.18/5.22	c bounds 30087 >= 210 @ 2.2779
5.18/5.22	c bounds 30087 >= 217 @ 2.28037
5.18/5.22	c bounds 30087 >= 220 @ 2.28089
5.88/5.93	c bounds 30087 >= 228 @ 2.28345
5.88/5.93	c bounds 30087 >= 232 @ 2.28588
5.88/5.93	c bounds 30087 >= 240 @ 2.2883
5.88/5.93	c bounds 30087 >= 244 @ 2.28888
5.88/5.93	c bounds 30087 >= 248 @ 2.29086
5.88/5.93	c bounds 30087 >= 253 @ 2.29429
5.88/5.93	c bounds 30087 >= 261 @ 2.29487
5.88/5.93	c bounds 30087 >= 269 @ 2.2979
5.88/5.93	c bounds 30087 >= 277 @ 2.30171
5.88/5.93	c bounds 30087 >= 280 @ 2.30329
5.88/5.93	c bounds 30087 >= 289 @ 2.30442
5.88/5.93	c bounds 30087 >= 297 @ 2.30685
5.88/5.93	c bounds 30087 >= 301 @ 2.30926
5.88/5.93	c bounds 30087 >= 306 @ 2.3104
5.88/5.93	c bounds 30087 >= 311 @ 2.31201
5.88/5.93	c bounds 30087 >= 314 @ 2.3144
5.88/5.93	c bounds 30087 >= 322 @ 2.31583
5.88/5.93	c bounds 30087 >= 330 @ 2.31937
5.88/5.93	c bounds 30087 >= 338 @ 2.31999
5.88/5.93	c bounds 30087 >= 339 @ 2.32328
5.88/5.93	c bounds 30087 >= 340 @ 2.32559
5.88/5.93	c bounds 30087 >= 341 @ 2.32791
5.88/5.93	c bounds 30087 >= 342 @ 2.33123
5.88/5.93	c bounds 30087 >= 343 @ 2.33281
5.88/5.93	c bounds 30087 >= 344 @ 2.33294
5.88/5.93	c bounds 30087 >= 345 @ 2.33522
5.88/5.93	c bounds 30087 >= 346 @ 2.33643
5.88/5.93	c bounds 30087 >= 347 @ 2.3368
5.88/5.93	c bounds 30087 >= 348 @ 2.33822
5.88/5.93	c bounds 30087 >= 349 @ 2.34242
5.88/5.93	c bounds 30087 >= 350 @ 2.34379
5.88/5.93	c bounds 30087 >= 352 @ 2.34521
5.88/5.93	c bounds 30087 >= 353 @ 2.34578
5.88/5.93	c bounds 30087 >= 354 @ 2.34797
5.88/5.93	c bounds 30087 >= 355 @ 2.35034
5.88/5.93	c bounds 30087 >= 356 @ 2.35194
5.88/5.93	c bounds 30087 >= 357 @ 2.35377
5.88/5.93	c bounds 30087 >= 358 @ 2.35522
5.88/5.93	c bounds 30087 >= 359 @ 2.3584
5.88/5.93	c bounds 30087 >= 360 @ 2.35976
5.88/5.93	c bounds 30087 >= 361 @ 2.36418
5.88/5.93	c bounds 30087 >= 362 @ 2.36475
5.88/5.93	c bounds 30087 >= 363 @ 2.36575
5.88/5.93	c bounds 30087 >= 364 @ 2.36917
5.88/5.93	c bounds 30087 >= 365 @ 2.37074
5.88/5.93	c bounds 30087 >= 366 @ 2.37174
5.88/5.93	c bounds 30087 >= 370 @ 2.37556
5.88/5.93	c bounds 30087 >= 376 @ 2.37687
5.88/5.93	c bounds 30087 >= 379 @ 2.37816
5.88/5.93	c bounds 30087 >= 380 @ 2.37973
5.88/5.93	c bounds 30087 >= 386 @ 2.38288
5.88/5.93	c bounds 30087 >= 388 @ 2.38444
5.88/5.93	c bounds 30087 >= 394 @ 2.38485
5.88/5.93	c bounds 30087 >= 395 @ 2.38731
5.88/5.93	c bounds 30087 >= 397 @ 2.38915
5.88/5.93	c bounds 30087 >= 399 @ 2.39071
5.88/5.93	c bounds 30087 >= 402 @ 2.39213
5.88/5.93	c bounds 30087 >= 409 @ 2.39427
5.88/5.93	c bounds 30087 >= 412 @ 2.39762
5.88/5.93	c bounds 30087 >= 418 @ 2.39912
5.88/5.93	c bounds 30087 >= 424 @ 2.40069
5.88/5.93	c bounds 30087 >= 430 @ 2.40069
5.88/5.93	c bounds 30087 >= 436 @ 2.40306
5.88/5.93	c bounds 30087 >= 438 @ 2.40441
5.88/5.93	c bounds 30087 >= 440 @ 2.40582
5.88/5.93	c bounds 30087 >= 442 @ 2.41017
5.88/5.93	c bounds 30087 >= 443 @ 2.41067
5.88/5.93	c bounds 30087 >= 445 @ 2.41213
5.88/5.93	c bounds 30087 >= 447 @ 2.41466
5.88/5.93	c bounds 30087 >= 449 @ 2.41692
5.88/5.93	c bounds 30087 >= 451 @ 2.41865
5.88/5.93	c bounds 30087 >= 455 @ 2.42211
5.88/5.93	c bounds 30087 >= 457 @ 2.42464
5.88/5.93	c bounds 30087 >= 463 @ 2.42717
5.88/5.93	c bounds 30087 >= 464 @ 2.42863
5.88/5.93	c bounds 30087 >= 470 @ 2.43105
5.88/5.93	c bounds 30087 >= 472 @ 2.43263
5.88/5.93	c bounds 30087 >= 474 @ 2.43505
5.88/5.93	c bounds 30087 >= 480 @ 2.4382
5.88/5.93	c bounds 30087 >= 483 @ 2.44161
5.88/5.93	c bounds 30087 >= 484 @ 2.44407
5.88/5.93	c bounds 30087 >= 485 @ 2.44651
5.88/5.93	c bounds 30087 >= 487 @ 2.44803
5.88/5.93	c bounds 30087 >= 489 @ 2.4506
5.88/5.93	c bounds 30087 >= 495 @ 2.45521
5.88/5.93	c bounds 30087 >= 497 @ 2.45773
5.88/5.93	c bounds 30087 >= 503 @ 2.45917
5.88/5.93	c bounds 30087 >= 505 @ 2.46175
5.88/5.93	c bounds 30087 >= 508 @ 2.46357
5.88/5.93	c bounds 30087 >= 509 @ 2.46671
5.88/5.93	c bounds 30087 >= 510 @ 2.47022
5.88/5.93	c bounds 30087 >= 512 @ 2.47203
5.88/5.93	c bounds 30087 >= 513 @ 2.47472
5.88/5.93	c bounds 30087 >= 514 @ 2.47752
5.88/5.93	c bounds 30087 >= 519 @ 2.48018
5.88/5.93	c bounds 30087 >= 525 @ 2.48296
5.88/5.93	c bounds 30087 >= 531 @ 2.48351
5.88/5.93	c bounds 30087 >= 536 @ 2.48623
5.88/5.93	c bounds 30087 >= 542 @ 2.48796
5.88/5.93	c bounds 30087 >= 547 @ 2.49065
5.88/5.93	c bounds 30087 >= 549 @ 2.49315
5.88/5.93	c bounds 30087 >= 554 @ 2.49497
5.88/5.93	c bounds 30087 >= 555 @ 2.49794
5.88/5.93	c bounds 30087 >= 558 @ 2.50048
5.88/5.93	c bounds 30087 >= 561 @ 2.50209
5.88/5.93	c bounds 30087 >= 564 @ 2.50294
5.88/5.93	c bounds 30087 >= 565 @ 2.50447
5.88/5.93	c bounds 30087 >= 566 @ 2.50626
5.88/5.93	c bounds 30087 >= 567 @ 2.50819
5.88/5.93	c bounds 30087 >= 568 @ 2.51108
5.88/5.93	c bounds 30087 >= 569 @ 2.51385
5.88/5.93	c bounds 30087 >= 570 @ 2.51445
5.88/5.93	c bounds 30087 >= 571 @ 2.51703
5.88/5.93	c bounds 30087 >= 572 @ 2.51958
5.88/5.93	c bounds 30087 >= 573 @ 2.52109
5.88/5.93	c bounds 30087 >= 574 @ 2.52463
5.88/5.93	c bounds 30087 >= 576 @ 2.52716
5.88/5.93	c bounds 30087 >= 577 @ 2.52985
5.88/5.93	c bounds 30087 >= 578 @ 2.53136
5.88/5.93	c bounds 30087 >= 579 @ 2.53342
5.88/5.93	c bounds 30087 >= 580 @ 2.53501
5.88/5.93	c bounds 30087 >= 581 @ 2.53584
5.88/5.93	c bounds 30087 >= 582 @ 2.53642
5.88/5.93	c bounds 30087 >= 583 @ 2.53729
5.88/5.93	c bounds 30087 >= 584 @ 2.53984
5.88/5.93	c bounds 30087 >= 585 @ 2.54303
5.88/5.93	c bounds 30087 >= 586 @ 2.54598
5.88/5.93	c bounds 30087 >= 587 @ 2.54775
6.98/7.01	c bounds 30087 >= 588 @ 2.55165
6.98/7.01	c bounds 30087 >= 589 @ 2.5548
6.98/7.01	c bounds 30087 >= 590 @ 2.55635
6.98/7.01	c bounds 30087 >= 591 @ 2.55738
6.98/7.01	c bounds 30087 >= 592 @ 2.56054
6.98/7.01	c bounds 30087 >= 593 @ 2.56284
6.98/7.01	c bounds 30087 >= 594 @ 2.56512
6.98/7.01	c bounds 30087 >= 595 @ 2.56683
6.98/7.01	c bounds 30087 >= 596 @ 2.56999
6.98/7.01	c bounds 30087 >= 597 @ 2.57198
6.98/7.01	c bounds 30087 >= 598 @ 2.5752
6.98/7.01	c bounds 30087 >= 599 @ 2.57834
6.98/7.01	c bounds 30087 >= 600 @ 2.58077
6.98/7.01	c bounds 30087 >= 601 @ 2.58247
6.98/7.01	c bounds 30087 >= 602 @ 2.58556
6.98/7.01	c bounds 30087 >= 603 @ 2.58732
6.98/7.01	c bounds 30087 >= 604 @ 2.59142
6.98/7.01	c bounds 30087 >= 605 @ 2.59431
6.98/7.01	c bounds 30087 >= 606 @ 2.5983
6.98/7.01	c bounds 30087 >= 607 @ 2.60199
6.98/7.01	c bounds 30087 >= 608 @ 2.6033
6.98/7.01	c bounds 30087 >= 609 @ 2.6084
6.98/7.01	c bounds 30087 >= 610 @ 2.61228
6.98/7.01	c bounds 30087 >= 611 @ 2.61371
6.98/7.01	c bounds 30087 >= 612 @ 2.61717
6.98/7.01	c bounds 30087 >= 613 @ 2.61926
6.98/7.01	c bounds 30087 >= 614 @ 2.62255
6.98/7.01	c bounds 30087 >= 615 @ 2.62426
6.98/7.01	c bounds 30087 >= 616 @ 2.62668
6.98/7.01	c bounds 30087 >= 617 @ 2.62839
6.98/7.01	c bounds 30087 >= 618 @ 2.63375
6.98/7.01	c bounds 30087 >= 619 @ 2.63505
6.98/7.01	c bounds 30087 >= 620 @ 2.64032
6.98/7.01	c bounds 30087 >= 621 @ 2.64622
6.98/7.01	c bounds 30087 >= 622 @ 2.64853
6.98/7.01	c bounds 30087 >= 623 @ 2.65101
6.98/7.01	c bounds 30087 >= 624 @ 2.65479
6.98/7.01	c bounds 30087 >= 625 @ 2.65635
6.98/7.01	c bounds 30087 >= 627 @ 2.65835
6.98/7.01	c bounds 30087 >= 628 @ 2.66292
6.98/7.01	c bounds 30087 >= 629 @ 2.6647
6.98/7.01	c bounds 30087 >= 630 @ 2.6704
6.98/7.01	c bounds 30087 >= 632 @ 2.67302
6.98/7.01	c bounds 30087 >= 634 @ 2.67865
6.98/7.01	c bounds 30087 >= 635 @ 2.68238
6.98/7.01	c bounds 30087 >= 636 @ 2.68428
6.98/7.01	c bounds 30087 >= 637 @ 2.68814
6.98/7.01	c bounds 30087 >= 638 @ 2.69214
6.98/7.01	c bounds 30087 >= 639 @ 2.69673
6.98/7.01	c bounds 30087 >= 640 @ 2.70167
6.98/7.01	c bounds 30087 >= 641 @ 2.70511
6.98/7.01	c bounds 30087 >= 642 @ 2.70703
6.98/7.01	c bounds 30087 >= 643 @ 2.71031
6.98/7.01	c bounds 30087 >= 644 @ 2.71352
6.98/7.01	c bounds 30087 >= 645 @ 2.71717
6.98/7.01	c bounds 30087 >= 646 @ 2.72208
6.98/7.01	c bounds 30087 >= 648 @ 2.72394
6.98/7.01	c bounds 30087 >= 649 @ 2.72793
6.98/7.01	c bounds 30087 >= 650 @ 2.72966
6.98/7.01	c bounds 30087 >= 651 @ 2.73458
6.98/7.01	c bounds 30087 >= 652 @ 2.73765
6.98/7.01	c bounds 30087 >= 653 @ 2.73994
6.98/7.01	c bounds 30087 >= 654 @ 2.74208
6.98/7.01	c bounds 30087 >= 655 @ 2.74651
6.98/7.01	c bounds 30087 >= 657 @ 2.75101
6.98/7.01	c bounds 30087 >= 658 @ 2.75433
6.98/7.01	c bounds 30087 >= 659 @ 2.75744
6.98/7.01	c bounds 30087 >= 660 @ 2.76033
6.98/7.01	c bounds 30087 >= 661 @ 2.76443
6.98/7.01	c bounds 30087 >= 662 @ 2.76775
6.98/7.01	c bounds 30087 >= 663 @ 2.77
6.98/7.01	c bounds 30087 >= 664 @ 2.77308
6.98/7.01	c bounds 30087 >= 665 @ 2.77745
6.98/7.01	c bounds 30087 >= 666 @ 2.78143
6.98/7.01	c bounds 30087 >= 667 @ 2.78397
6.98/7.01	c bounds 30087 >= 668 @ 2.78497
6.98/7.01	c bounds 30087 >= 669 @ 2.78743
6.98/7.01	c bounds 30087 >= 671 @ 2.79252
6.98/7.01	c bounds 30087 >= 673 @ 2.80071
6.98/7.01	c bounds 30087 >= 674 @ 2.80837
6.98/7.01	c bounds 30087 >= 675 @ 2.81305
6.98/7.01	c bounds 30087 >= 676 @ 2.81868
6.98/7.01	c bounds 30087 >= 677 @ 2.82334
6.98/7.01	c bounds 30087 >= 678 @ 2.82488
6.98/7.01	c bounds 30087 >= 679 @ 2.82834
6.98/7.01	c bounds 30087 >= 680 @ 2.83048
6.98/7.01	c bounds 30087 >= 681 @ 2.83181
6.98/7.01	c bounds 30087 >= 682 @ 2.83422
6.98/7.01	c bounds 30087 >= 683 @ 2.83652
6.98/7.01	c bounds 30087 >= 684 @ 2.84087
6.98/7.01	c bounds 30087 >= 685 @ 2.84101
6.98/7.01	c bounds 30087 >= 686 @ 2.84486
6.98/7.01	c bounds 30087 >= 687 @ 2.84756
6.98/7.01	c bounds 30087 >= 688 @ 2.86995
6.98/7.01	c bounds 29576 >= 688 @ 2.88462
6.98/7.01	c bounds 29576 >= 689 @ 2.88754
6.98/7.01	c bounds 29575 >= 689 @ 2.90636
6.98/7.01	c bounds 29575 >= 690 @ 2.90672
6.98/7.01	c bounds 29575 >= 691 @ 2.90856
6.98/7.01	c bounds 29575 >= 692 @ 2.91267
6.98/7.01	c bounds 29575 >= 693 @ 2.91429
6.98/7.01	c bounds 29575 >= 694 @ 2.91569
6.98/7.01	c bounds 29575 >= 695 @ 2.91829
6.98/7.01	c bounds 29575 >= 696 @ 2.92289
6.98/7.01	c bounds 29575 >= 697 @ 2.92682
6.98/7.01	c bounds 29575 >= 698 @ 2.93067
6.98/7.01	c bounds 29575 >= 699 @ 2.9341
6.98/7.01	c bounds 29575 >= 700 @ 2.93566
6.98/7.01	c bounds 29575 >= 701 @ 2.94128
6.98/7.01	c bounds 29575 >= 702 @ 2.94208
6.98/7.01	c bounds 29575 >= 703 @ 2.9468
6.98/7.01	c bounds 29575 >= 704 @ 2.94927
6.98/7.01	c bounds 29574 >= 704 @ 2.96347
6.98/7.01	c bounds 29574 >= 705 @ 2.96893
6.98/7.01	c bounds 29574 >= 706 @ 2.97059
6.98/7.01	c bounds 29574 >= 707 @ 2.97493
6.98/7.01	c bounds 29574 >= 708 @ 2.97803
6.98/7.01	c bounds 29574 >= 709 @ 2.98306
6.98/7.01	c bounds 29474 >= 709 @ 2.99436
6.98/7.01	c bounds 29474 >= 710 @ 2.99853
6.98/7.01	c bounds 29474 >= 711 @ 3.00196
6.98/7.01	c bounds 29474 >= 712 @ 3.00252
6.98/7.01	c bounds 29474 >= 713 @ 3.00795
6.98/7.01	c bounds 29474 >= 714 @ 3.0109
6.98/7.01	c bounds 29474 >= 715 @ 3.0135
6.98/7.01	c bounds 29474 >= 716 @ 3.02094
6.98/7.01	c bounds 29374 >= 716 @ 3.0336
6.98/7.01	c bounds 29374 >= 717 @ 3.03795
13.76/13.87	c bounds 29374 >= 718 @ 3.04032
13.76/13.87	c bounds 29374 >= 719 @ 3.04644
13.76/13.87	c bounds 29374 >= 720 @ 3.05158
13.76/13.87	c bounds 29374 >= 721 @ 3.06131
13.76/13.87	c bounds 29274 >= 721 @ 3.07251
13.76/13.87	c bounds 29274 >= 722 @ 3.08106
13.76/13.87	c bounds 29273 >= 722 @ 3.0914
13.76/13.87	c bounds 29273 >= 723 @ 3.0962
13.76/13.87	c bounds 29273 >= 724 @ 3.10199
13.76/13.87	c bounds 29273 >= 725 @ 3.10612
13.76/13.87	c bounds 29273 >= 726 @ 3.11306
13.76/13.87	c bounds 29272 >= 726 @ 3.12517
13.76/13.87	c bounds 29272 >= 727 @ 3.13819
13.76/13.87	c bounds 29272 >= 728 @ 3.15652
13.76/13.87	c bounds 29172 >= 728 @ 3.19788
13.76/13.87	c bounds 29172 >= 729 @ 3.21353
13.76/13.87	c bounds 29171 >= 729 @ 3.23716
13.76/13.87	c bounds 29171 >= 730 @ 3.2427
13.76/13.87	c bounds 29171 >= 731 @ 3.24511
13.76/13.87	c #Conflicts:       1000 | #Constraints:      15937
13.76/13.87	c bounds 29170 >= 731 @ 4.07455
13.76/13.87	c bounds 29170 >= 732 @ 4.07785
13.76/13.87	c bounds 29170 >= 733 @ 4.08087
13.76/13.87	c bounds 29170 >= 734 @ 4.08388
13.76/13.87	c bounds 29170 >= 735 @ 4.08819
13.76/13.87	c bounds 29170 >= 736 @ 4.09222
13.76/13.87	c bounds 29170 >= 737 @ 4.09462
13.76/13.87	c bounds 29170 >= 738 @ 4.09712
13.76/13.87	c bounds 29170 >= 739 @ 4.10224
13.76/13.87	c bounds 29170 >= 740 @ 4.10546
13.76/13.87	c bounds 29170 >= 741 @ 4.10697
13.76/13.87	c bounds 29170 >= 742 @ 4.11207
13.76/13.87	c bounds 29170 >= 743 @ 4.11671
13.76/13.87	c bounds 29170 >= 744 @ 4.119
13.76/13.87	c bounds 29170 >= 745 @ 4.12284
13.76/13.87	c bounds 29170 >= 746 @ 4.1282
13.76/13.87	c bounds 29170 >= 747 @ 4.13331
13.76/13.87	c bounds 29170 >= 748 @ 4.13869
13.76/13.87	c bounds 29170 >= 749 @ 4.14478
13.76/13.87	c bounds 29170 >= 750 @ 4.14777
13.76/13.87	c bounds 29170 >= 751 @ 4.15169
13.76/13.87	c bounds 29170 >= 752 @ 4.15693
13.76/13.87	c bounds 29170 >= 753 @ 4.16184
13.76/13.87	c bounds 29170 >= 754 @ 4.1662
13.76/13.87	c bounds 29170 >= 755 @ 4.16819
13.76/13.87	c bounds 29170 >= 756 @ 4.17233
13.76/13.87	c bounds 29170 >= 757 @ 4.17917
13.76/13.87	c bounds 29170 >= 758 @ 4.18572
13.76/13.87	c bounds 29170 >= 759 @ 4.19392
13.76/13.87	c bounds 29170 >= 760 @ 4.20066
13.76/13.87	c bounds 29170 >= 761 @ 4.20765
13.76/13.87	c bounds 29170 >= 762 @ 4.21626
13.76/13.87	c bounds 29170 >= 763 @ 4.22341
13.76/13.87	c bounds 29170 >= 764 @ 4.22954
13.76/13.87	c bounds 29170 >= 765 @ 4.23305
13.76/13.87	c bounds 29170 >= 766 @ 4.23911
13.76/13.87	c bounds 29170 >= 767 @ 4.24202
13.76/13.87	c bounds 29170 >= 768 @ 4.2524
13.76/13.87	c bounds 29170 >= 769 @ 4.26516
13.76/13.87	c bounds 29170 >= 770 @ 4.27462
13.76/13.87	c bounds 29170 >= 771 @ 4.28485
13.76/13.87	c bounds 29170 >= 772 @ 4.31254
13.76/13.87	c bounds 29170 >= 773 @ 4.34407
13.76/13.87	c bounds 29170 >= 774 @ 4.45583
13.76/13.87	c bounds 29170 >= 775 @ 4.54686
13.76/13.87	c bounds 29170 >= 776 @ 4.63639
13.76/13.87	c bounds 29170 >= 777 @ 4.71609
13.76/13.87	c bounds 29170 >= 778 @ 4.87725
13.76/13.87	c bounds 29170 >= 779 @ 5.12931
13.76/13.87	c bounds 29170 >= 780 @ 5.14578
13.76/13.87	c #Conflicts:       2000 | #Constraints:      17210
13.76/13.87	c INPROCESSING
13.76/13.87	c GARBAGE COLLECT
13.76/13.87	c bounds 29170 >= 781 @ 7.75291
13.76/13.87	c bounds 29170 >= 782 @ 7.75703
13.76/13.87	c #Conflicts:       3000 | #Constraints:      16126
13.76/13.87	c bounds 29170 >= 783 @ 8.14975
13.76/13.87	c bounds 29069 >= 783 @ 8.1572
13.76/13.87	c bounds 29068 >= 783 @ 8.24446
13.76/13.87	c bounds 29067 >= 783 @ 8.30578
13.76/13.87	c bounds 29067 >= 784 @ 8.30968
13.76/13.87	c bounds 29067 >= 785 @ 8.31317
13.76/13.87	c bounds 29067 >= 786 @ 8.31658
13.76/13.87	c bounds 29067 >= 787 @ 8.32016
13.76/13.87	c bounds 29067 >= 788 @ 8.32282
13.76/13.87	c bounds 29067 >= 789 @ 8.32457
13.76/13.87	c bounds 29067 >= 790 @ 8.32794
13.76/13.87	c bounds 29067 >= 791 @ 8.33161
13.76/13.87	c bounds 29067 >= 792 @ 8.33327
13.76/13.87	c bounds 29067 >= 793 @ 8.33612
13.76/13.87	c bounds 29067 >= 794 @ 8.33858
13.76/13.87	c bounds 29067 >= 795 @ 8.34158
13.76/13.87	c bounds 29067 >= 796 @ 8.34524
13.76/13.87	c bounds 29067 >= 797 @ 8.3471
13.76/13.87	c bounds 29067 >= 798 @ 8.34855
13.76/13.87	c bounds 29067 >= 799 @ 8.35108
13.76/13.87	c bounds 29067 >= 800 @ 8.3541
13.76/13.87	c bounds 29067 >= 801 @ 8.35778
13.76/13.87	c bounds 29067 >= 802 @ 8.36085
13.76/13.87	c bounds 29067 >= 803 @ 8.3615
13.76/13.87	c bounds 29067 >= 804 @ 8.36374
13.76/13.87	c bounds 29067 >= 805 @ 8.36621
13.76/13.87	c bounds 29067 >= 806 @ 8.36849
13.76/13.87	c bounds 29067 >= 807 @ 8.37048
13.76/13.87	c bounds 29067 >= 808 @ 8.37412
13.76/13.87	c bounds 29067 >= 809 @ 8.37776
13.76/13.87	c bounds 29067 >= 810 @ 8.38288
13.76/13.87	c bounds 29067 >= 811 @ 8.38403
13.76/13.87	c bounds 29067 >= 812 @ 8.38947
13.76/13.87	c bounds 29067 >= 813 @ 8.39202
13.76/13.87	c #Conflicts:       4000 | #Constraints:      17273
13.76/13.87	c bounds 29067 >= 814 @ 8.95533
13.76/13.87	c bounds 29066 >= 814 @ 8.97073
13.76/13.87	c bounds 29065 >= 814 @ 8.98224
13.76/13.87	c bounds 29064 >= 814 @ 8.99349
13.76/13.87	c bounds 29063 >= 814 @ 9.00405
13.76/13.87	c bounds 29062 >= 814 @ 9.01381
13.76/13.87	c bounds 29061 >= 814 @ 9.02646
13.76/13.87	c bounds 28961 >= 814 @ 9.03552
13.76/13.87	c bounds 28960 >= 814 @ 9.04676
13.76/13.87	c bounds 28860 >= 814 @ 9.05812
13.76/13.87	c bounds 28859 >= 814 @ 9.07111
13.76/13.87	c bounds 28858 >= 814 @ 9.08006
13.76/13.87	c bounds 28857 >= 814 @ 9.0904
13.76/13.87	c bounds 28856 >= 814 @ 9.10259
13.76/13.87	c bounds 28855 >= 814 @ 9.11599
13.76/13.87	c bounds 28854 >= 814 @ 9.12613
47.48/47.64	c bounds 28853 >= 814 @ 9.13467
47.48/47.64	c bounds 28753 >= 814 @ 9.14383
47.48/47.64	c bounds 28752 >= 814 @ 9.15717
47.48/47.64	c bounds 28652 >= 814 @ 9.20681
47.48/47.64	c INPROCESSING
47.48/47.64	c GARBAGE COLLECT
47.48/47.64	c bounds 28552 >= 814 @ 9.44212
47.48/47.64	c bounds 28452 >= 814 @ 9.50635
47.48/47.64	c bounds 28352 >= 814 @ 9.62439
47.48/47.64	c bounds 28351 >= 814 @ 9.65542
47.48/47.64	c bounds 28251 >= 814 @ 9.67663
47.48/47.64	c bounds 28151 >= 814 @ 9.69696
47.48/47.64	c bounds 28150 >= 814 @ 9.71804
47.48/47.64	c bounds 28149 >= 814 @ 9.73573
47.48/47.64	c bounds 28049 >= 814 @ 9.74961
47.48/47.64	c bounds 27949 >= 814 @ 9.76314
47.48/47.64	c bounds 27849 >= 814 @ 9.7911
47.48/47.64	c bounds 27848 >= 814 @ 9.81009
47.48/47.64	c bounds 27748 >= 814 @ 9.82725
47.48/47.64	c bounds 27747 >= 814 @ 9.84093
47.48/47.64	c bounds 27746 >= 814 @ 9.85376
47.48/47.64	c bounds 27745 >= 814 @ 9.86833
47.48/47.64	c bounds 27744 >= 814 @ 9.88434
47.48/47.64	c bounds 27743 >= 814 @ 9.90088
47.48/47.64	c bounds 27742 >= 814 @ 9.91597
47.48/47.64	c bounds 27741 >= 814 @ 10.0666
47.48/47.64	c bounds 27741 >= 815 @ 10.0702
47.48/47.64	c bounds 27741 >= 816 @ 10.072
47.48/47.64	c bounds 27741 >= 817 @ 10.0778
47.48/47.64	c bounds 27741 >= 818 @ 10.0824
47.48/47.64	c bounds 27741 >= 819 @ 10.0875
47.48/47.64	c bounds 27741 >= 820 @ 10.0908
47.48/47.64	c bounds 27741 >= 821 @ 10.0965
47.48/47.64	c bounds 27741 >= 822 @ 10.0977
47.48/47.64	c bounds 27741 >= 823 @ 10.1024
47.48/47.64	c bounds 27741 >= 824 @ 10.1048
47.48/47.64	c bounds 27741 >= 825 @ 10.1079
47.48/47.64	c bounds 27741 >= 826 @ 10.1125
47.48/47.64	c bounds 27741 >= 827 @ 10.1211
47.48/47.64	c #Conflicts:       5000 | #Constraints:      16718
47.48/47.64	c #Conflicts:       6000 | #Constraints:      17718
47.48/47.64	c bounds 27741 >= 828 @ 14.3853
47.48/47.64	c bounds 27641 >= 828 @ 14.4212
47.48/47.64	c bounds 27640 >= 828 @ 14.4529
47.48/47.64	c bounds 27639 >= 828 @ 14.4807
47.48/47.64	c bounds 27638 >= 828 @ 14.5071
47.48/47.64	c bounds 27637 >= 828 @ 14.5357
47.48/47.64	c bounds 27537 >= 828 @ 14.5654
47.48/47.64	c bounds 27437 >= 828 @ 14.5937
47.48/47.64	c bounds 27436 >= 828 @ 14.6192
47.48/47.64	c bounds 27435 >= 828 @ 14.6486
47.48/47.64	c bounds 27434 >= 828 @ 14.6726
47.48/47.64	c bounds 27433 >= 828 @ 14.7006
47.48/47.64	c bounds 27432 >= 828 @ 14.7301
47.48/47.64	c bounds 27431 >= 828 @ 14.7578
47.48/47.64	c bounds 27430 >= 828 @ 14.7843
47.48/47.64	c bounds 27330 >= 828 @ 14.8817
47.48/47.64	c INPROCESSING
47.48/47.64	c GARBAGE COLLECT
47.48/47.64	c bounds 27329 >= 828 @ 15.1434
47.48/47.64	c #Conflicts:       7000 | #Constraints:      16703
47.48/47.64	c bounds 27328 >= 828 @ 24.4325
47.48/47.64	c bounds 27328 >= 829 @ 24.4571
47.48/47.64	c bounds 27328 >= 830 @ 24.465
47.48/47.64	c bounds 27328 >= 831 @ 24.48
47.48/47.64	c bounds 27328 >= 832 @ 24.4879
47.48/47.64	c bounds 27328 >= 833 @ 24.5039
47.48/47.64	c bounds 27328 >= 834 @ 24.5116
47.48/47.64	c bounds 27328 >= 835 @ 24.5299
47.48/47.64	c bounds 27328 >= 836 @ 24.5514
47.48/47.64	c bounds 27328 >= 837 @ 24.5766
47.48/47.64	c bounds 27328 >= 838 @ 24.5851
47.48/47.64	c bounds 27328 >= 839 @ 24.61
47.48/47.64	c bounds 27328 >= 840 @ 24.6201
47.48/47.64	c bounds 27328 >= 841 @ 24.6458
47.48/47.64	c bounds 27328 >= 842 @ 24.6706
47.48/47.64	c bounds 27328 >= 843 @ 24.6805
47.48/47.64	c bounds 27328 >= 844 @ 24.7073
47.48/47.64	c bounds 27328 >= 845 @ 24.717
47.48/47.64	c bounds 27328 >= 846 @ 24.7483
47.48/47.64	c bounds 27328 >= 847 @ 24.7808
47.48/47.64	c bounds 27328 >= 848 @ 24.8119
47.48/47.64	c bounds 27328 >= 849 @ 24.8405
47.48/47.64	c bounds 27328 >= 850 @ 24.8459
47.48/47.64	c bounds 27328 >= 851 @ 24.876
47.48/47.64	c bounds 27328 >= 852 @ 24.8839
47.48/47.64	c bounds 27328 >= 853 @ 24.9421
47.48/47.64	c bounds 27328 >= 854 @ 25.0822
47.48/47.64	c #Conflicts:       8000 | #Constraints:      17813
47.48/47.64	c bounds 27328 >= 855 @ 30.8784
47.48/47.64	c bounds 27328 >= 856 @ 31.1113
47.48/47.64	c bounds 27328 >= 857 @ 31.1635
47.48/47.64	c bounds 27328 >= 858 @ 31.2139
47.48/47.64	c #Conflicts:       9000 | #Constraints:      18843
47.48/47.64	c bounds 27328 >= 859 @ 31.2264
47.48/47.64	c bounds 27328 >= 860 @ 31.2807
47.48/47.64	c bounds 27328 >= 861 @ 31.3343
47.48/47.64	c bounds 27328 >= 862 @ 31.3846
47.48/47.64	c bounds 27328 >= 863 @ 31.393
47.48/47.64	c bounds 27328 >= 864 @ 31.4489
47.48/47.64	c bounds 27328 >= 865 @ 31.4593
47.48/47.64	c bounds 27328 >= 866 @ 31.5172
47.48/47.64	c INPROCESSING
47.48/47.64	c GARBAGE COLLECT
47.48/47.64	c #Conflicts:      10000 | #Constraints:      17609
47.48/47.64	c bounds 27328 >= 867 @ 41.7138
47.48/47.64	c bounds 27328 >= 868 @ 41.723
47.48/47.64	c bounds 27328 >= 869 @ 41.7279
47.48/47.64	c bounds 27328 >= 870 @ 41.7341
47.48/47.64	c bounds 27328 >= 871 @ 41.7371
47.48/47.64	c bounds 27328 >= 872 @ 41.7433
47.48/47.64	c bounds 27328 >= 873 @ 41.745
47.48/47.64	c bounds 27328 >= 874 @ 41.7504
47.48/47.64	c bounds 27328 >= 875 @ 41.7562
47.48/47.64	c bounds 27328 >= 876 @ 41.7647
47.48/47.64	c bounds 27328 >= 877 @ 41.7686
47.48/47.64	c bounds 27328 >= 878 @ 41.773
47.48/47.64	c bounds 27328 >= 879 @ 41.7774
47.48/47.64	c bounds 27328 >= 880 @ 41.7833
47.48/47.64	c bounds 27328 >= 881 @ 41.7858
47.48/47.64	c bounds 27328 >= 882 @ 41.7921
47.48/47.64	c bounds 27328 >= 883 @ 41.7946
47.48/47.64	c bounds 27328 >= 884 @ 41.8004
47.48/47.64	c bounds 27328 >= 885 @ 41.8019
47.48/47.64	c bounds 27328 >= 886 @ 41.8074
47.48/47.64	c bounds 27328 >= 887 @ 41.812
47.48/47.64	c bounds 27328 >= 888 @ 41.8226
47.48/47.64	c bounds 27328 >= 889 @ 41.8307
54.46/54.68	c bounds 27328 >= 890 @ 41.8376
54.46/54.68	c bounds 27328 >= 891 @ 41.8392
54.46/54.68	c bounds 27328 >= 892 @ 41.845
54.46/54.68	c bounds 27328 >= 893 @ 41.8484
54.46/54.68	c bounds 27328 >= 894 @ 41.8523
54.46/54.68	c bounds 27328 >= 895 @ 41.856
54.46/54.68	c bounds 27328 >= 896 @ 41.8641
54.46/54.68	c bounds 27328 >= 897 @ 41.8687
54.46/54.68	c bounds 27328 >= 898 @ 41.8732
54.46/54.68	c bounds 27328 >= 899 @ 41.8777
54.46/54.68	c bounds 27328 >= 900 @ 41.8801
54.46/54.68	c bounds 27328 >= 901 @ 41.8835
54.46/54.68	c bounds 27328 >= 902 @ 41.8859
54.46/54.68	c bounds 27328 >= 903 @ 41.8911
54.46/54.68	c bounds 27328 >= 904 @ 41.8936
54.46/54.68	c bounds 27328 >= 905 @ 41.8979
54.46/54.68	c bounds 27328 >= 906 @ 41.9013
54.46/54.68	c bounds 27328 >= 907 @ 41.9039
54.46/54.68	c bounds 27328 >= 908 @ 41.9076
54.46/54.68	c bounds 27328 >= 909 @ 41.9111
54.46/54.68	c bounds 27328 >= 910 @ 41.9158
54.46/54.68	c bounds 27328 >= 911 @ 41.9175
54.46/54.68	c bounds 27328 >= 912 @ 41.923
54.46/54.68	c bounds 27328 >= 913 @ 41.9244
54.46/54.68	c bounds 27328 >= 914 @ 41.9278
54.46/54.68	c bounds 27328 >= 915 @ 41.9312
54.46/54.68	c bounds 27328 >= 916 @ 41.9348
54.46/54.68	c bounds 27328 >= 917 @ 41.9391
54.46/54.68	c bounds 27328 >= 918 @ 41.9418
54.46/54.68	c bounds 27328 >= 919 @ 41.946
54.46/54.68	c bounds 27328 >= 920 @ 41.9497
54.46/54.68	c bounds 27328 >= 921 @ 41.9531
54.46/54.68	c bounds 27328 >= 922 @ 41.9556
54.46/54.68	c bounds 27328 >= 923 @ 41.959
54.46/54.68	c bounds 27328 >= 924 @ 41.9629
54.46/54.68	c bounds 27328 >= 925 @ 41.9664
54.46/54.68	c bounds 27328 >= 926 @ 41.9686
54.46/54.68	c bounds 27328 >= 927 @ 41.9717
54.46/54.68	c bounds 27328 >= 928 @ 41.9802
54.46/54.68	c bounds 27328 >= 929 @ 41.9878
54.46/54.68	c bounds 27328 >= 930 @ 41.999
54.46/54.68	c bounds 27328 >= 931 @ 42.0231
54.46/54.68	c bounds 27328 >= 932 @ 42.0293
54.46/54.68	c #Conflicts:      11000 | #Constraints:      18910
54.46/54.68	c #Conflicts:      12000 | #Constraints:      19910
54.46/54.68	c INPROCESSING
54.46/54.68	c GARBAGE COLLECT
54.46/54.68	c #Conflicts:      13000 | #Constraints:      18366
54.46/54.68	c bounds 27328 >= 933 @ 44.8289
54.46/54.68	c bounds 27328 >= 934 @ 44.8564
54.46/54.68	c bounds 27328 >= 935 @ 44.8772
54.46/54.68	c bounds 27328 >= 936 @ 44.8788
54.46/54.68	c bounds 27328 >= 937 @ 44.8821
54.46/54.68	c bounds 27328 >= 938 @ 44.8843
54.46/54.68	c #Conflicts:      14000 | #Constraints:      19400
54.46/54.68	c #Conflicts:      15000 | #Constraints:      20400
54.46/54.68	c INPROCESSING
54.46/54.68	c GARBAGE COLLECT
54.46/54.68	c #Conflicts:      16000 | #Constraints:      18639
54.46/54.68	c bounds 27328 >= 939 @ 48.2637
54.46/54.68	c bounds 939 >= 939 @ 48.4004
54.46/54.68	c cpu time 48.4004 s
54.46/54.68	c deterministic time 5632068498 5.63e+09
54.46/54.68	c optimization time 0.852736 s
54.46/54.68	c total solve time 47.5186 s
54.46/54.68	c core-guided solve time 34.7444 s
54.46/54.68	c propagation time 25.8904 s
54.46/54.68	c conflict analysis time 7.83235 s
54.46/54.68	c propagations 6604143
54.46/54.68	c resolve steps 127100
54.46/54.68	c decisions 10795957
54.46/54.68	c conflicts 16429
54.46/54.68	c restarts 62
54.46/54.68	c inprocessing phases 6
54.46/54.68	c input clauses 16019
54.46/54.68	c input cardinalities 2059
54.46/54.68	c input general constraints 1924
54.46/54.68	c input average constraint length 487.95
54.46/54.68	c input average constraint degree 1609.10
54.46/54.68	c learned clauses 5395
54.46/54.68	c learned cardinalities 680
54.46/54.68	c learned general constraints 10428
54.46/54.68	c learned average constraint length 1472.61
54.46/54.68	c learned average constraint degree 170848215.56
54.46/54.68	c watched constraints 4060
54.46/54.68	c counting constraints 8292
54.46/54.68	c gcd simplifications 322
54.46/54.68	c detected cardinalities 1
54.46/54.68	c weakened non-implied lits 2376874
54.46/54.68	c weakened non-implying lits 3936
54.46/54.68	c original variables 8405
54.46/54.68	c clausal propagations 902590
54.46/54.68	c cardinality propagations 2218656
54.46/54.68	c watched propagations 154498
54.46/54.68	c counting propagations 3027189
54.46/54.68	c watch lookups 542797359
54.46/54.68	c watch backjump lookups 540779122
54.46/54.68	c watch checks 1046954705
54.46/54.68	c propagation checks 3397976016
54.46/54.68	c constraint additions 68707160
54.46/54.68	c trail pops 17412053
54.46/54.68	c formula constraints 11367
54.46/54.68	c learned constraints 16501
54.46/54.68	c bound constraints 5428
54.46/54.68	c core-guided constraints 3207
54.46/54.68	c encountered formula constraints 5319
54.46/54.68	c encountered learned constraints 88635
54.46/54.68	c encountered bound constraints 186
54.46/54.68	c encountered core-guided constraints 49385
54.46/54.68	c LP total time 12.7039 s
54.46/54.68	c LP solve time 12.66 s
54.46/54.68	c LP constraints added 11367
54.46/54.68	c LP constraints removed 0
54.46/54.68	c LP pivots internal 16982
54.46/54.68	c LP pivots root 25000
54.46/54.68	c LP calls 7
54.46/54.68	c LP optimalities 1
54.46/54.68	c LP no pivot count 0
54.46/54.68	c LP infeasibilities 1
54.46/54.68	c LP valid Farkas constraints 1
54.46/54.68	c LP learned Farkas constraints 1
54.46/54.68	c LP basis resets 0
54.46/54.68	c LP cycling count 0
54.46/54.68	c LP singular count 0
54.46/54.68	c LP no primal count 0
54.46/54.68	c LP no farkas count 0
54.46/54.68	c LP other issue count 0
54.46/54.68	c LP Gomory cuts 0
54.46/54.68	c LP learned cuts 0
54.46/54.68	c LP deleted cuts 0
54.46/54.68	c LP encountered Gomory constraints 0
54.46/54.68	c LP encountered Farkas constraints 1
54.46/54.68	c LP encountered learned Farkas constraints 2
54.46/54.68	c CG auxiliary variables introduced 1506
54.46/54.68	c CG solutions found 86
54.46/54.68	c CG cores constructed 1312
54.46/54.68	c CG core cardinality constraints returned 388
54.46/54.68	c CG unit cores 0
54.46/54.68	c CG single cores 1293
54.46/54.68	c CG blocks removed during cardinality reduction 0
54.46/54.68	c CG first core best 0
54.46/54.68	c CG decision core best 0
54.46/54.68	c CG core reduction tie 19
54.46/54.68	c CG core degree average 1.98
54.46/54.68	c CG core slack average 6.82
54.46/54.68	o 939
54.46/54.68	s OPTIMUM FOUND
54.46/54.68	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 (60724 MiB free)
  memory of node 1: 64510 MiB (62735 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429481-1721040095/watcher-4429481-1721040095 -o /tmp/evaluation-result-4429481-1721040095/solver-4429481-1721040095 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721040108-805620 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429481-1721040095.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=805772, runsolver pid=805769

[startup+0.100386 s]*
/proc/loadavg: 2.79 3.80 3.98 5/259 805773
/proc/meminfo: memFree=126402400/131524600 swapFree=131071996/131071996
[pid=805772] ppid=805769 vsize=49584 memory=19888 CPUtime=0.09 cores=1,3
/proc/805772/stat : 805772 (roundingsat) R 805769 805772 805608 0 -1 4194304 4440 0 0 0 8 1 0 0 20 0 1 0 156174898 50774016 4972 134679101440 4194304 7968869 140723171589280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41533440 140723171591102 140723171591266 140723171591266 140723171598281 0
/proc/805772/statm: 12396 4972 1756 922 0 4348 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49584 KiB
Current children cumulated memory: 19888 KiB

[startup+0.205432 s]*
/proc/loadavg: 2.79 3.80 3.98 5/259 805773
/proc/meminfo: memFree=126395652/131524600 swapFree=131071996/131071996
[pid=805772] ppid=805769 vsize=51228 memory=21464 CPUtime=0.19 cores=1,3
/proc/805772/stat : 805772 (roundingsat) R 805769 805772 805608 0 -1 4194304 4828 0 0 0 18 1 0 0 20 0 1 0 156174898 52457472 5366 134679101440 4194304 7968869 140723171589280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41533440 140723171591102 140723171591266 140723171591266 140723171598281 0
/proc/805772/statm: 12807 5366 1756 922 0 4759 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 51228 KiB
Current children cumulated memory: 21464 KiB

[startup+0.304843 s]*
/proc/loadavg: 2.79 3.80 3.98 4/257 805773
/proc/meminfo: memFree=126398712/131524600 swapFree=131071996/131071996
[pid=805772] ppid=805769 vsize=52588 memory=25728 CPUtime=0.3 cores=1,3
/proc/805772/stat : 805772 (roundingsat) R 805769 805772 805608 0 -1 4194304 5347 0 0 0 28 2 0 0 20 0 1 0 156174898 53850112 6432 134679101440 4194304 7968869 140723171589280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41533440 140723171591102 140723171591266 140723171591266 140723171598281 0
/proc/805772/statm: 13147 6432 1786 922 0 5099 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52588 KiB
Current children cumulated memory: 25728 KiB

[startup+0.700192 s]
/proc/loadavg: 2.79 3.80 3.98 3/250 805818
/proc/meminfo: memFree=126412468/131524600 swapFree=131071996/131071996
[pid=805772] ppid=805769 vsize=57216 memory=31072 CPUtime=0.69 cores=1,3
/proc/805772/stat : 805772 (roundingsat) R 805769 805772 805608 0 -1 4194304 6187 0 0 0 44 25 0 0 20 0 1 0 156174898 58589184 7768 134679101440 4194304 7968869 140723171589280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41533440 140723171591102 140723171591266 140723171591266 140723171598281 0
/proc/805772/statm: 14304 7768 1786 922 0 6256 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57216 KiB
Current children cumulated memory: 31072 KiB

[startup+1.50021 s]
/proc/loadavg: 2.79 3.80 3.98 5/259 805865
/proc/meminfo: memFree=126340448/131524600 swapFree=131071996/131071996
[pid=805772] ppid=805769 vsize=72168 memory=44244 CPUtime=1.48 cores=1,3
/proc/805772/stat : 805772 (roundingsat) R 805769 805772 805608 0 -1 4194304 7917 0 0 0 77 71 0 0 20 0 1 0 156174898 73900032 11061 134679101440 4194304 7968869 140723171589280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41533440 140723171591102 140723171591266 140723171591266 140723171598281 0
/proc/805772/statm: 18042 11061 1786 922 0 9994 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72168 KiB
Current children cumulated memory: 44244 KiB

[startup+3.10542 s]
/proc/loadavg: 2.79 3.80 3.98 5/259 805865
/proc/meminfo: memFree=126166052/131524600 swapFree=131071996/131071996
[pid=805772] ppid=805769 vsize=113668 memory=73880 CPUtime=3.08 cores=1,3
/proc/805772/stat : 805772 (roundingsat) R 805769 805772 805608 0 -1 4194304 11736 0 0 0 148 160 0 0 20 0 1 0 156174898 116396032 18470 134679101440 4194304 7968869 140723171589280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41533440 140723171591102 140723171591266 140723171591266 140723171598281 0
/proc/805772/statm: 28417 18470 1786 922 0 20369 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 113668 KiB
Current children cumulated memory: 73880 KiB

[startup+6.30015 s]
/proc/loadavg: 2.88 3.80 3.98 5/259 805865
/proc/meminfo: memFree=126040012/131524600 swapFree=131071996/131071996
[pid=805772] ppid=805769 vsize=145528 memory=104932 CPUtime=6.27 cores=1,3
/proc/805772/stat : 805772 (roundingsat) R 805769 805772 805608 0 -1 4194304 12502 0 0 0 269 358 0 0 20 0 1 0 156174898 149020672 26233 134679101440 4194304 7968869 140723171589280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41533440 140723171591102 140723171591266 140723171591266 140723171598281 0
/proc/805772/statm: 36382 26233 1786 922 0 28334 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 145528 KiB
Current children cumulated memory: 104932 KiB

[startup+12.7002 s]
/proc/loadavg: 2.97 3.80 3.98 5/259 805867
/proc/meminfo: memFree=125890584/131524600 swapFree=131071996/131071996
[pid=805772] ppid=805769 vsize=226388 memory=162680 CPUtime=12.66 cores=1,3
/proc/805772/stat : 805772 (roundingsat) R 805769 805772 805608 0 -1 4194304 20749 0 0 0 820 446 0 0 20 0 1 0 156174898 231821312 40670 134679101440 4194304 7968869 140723171589280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41533440 140723171591102 140723171591266 140723171591266 140723171598281 0
/proc/805772/statm: 56597 40670 1856 922 0 48549 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 226388 KiB
Current children cumulated memory: 162680 KiB

[startup+25.5002 s]
/proc/loadavg: 3.27 3.83 3.99 5/259 805869
/proc/meminfo: memFree=125558920/131524600 swapFree=131071996/131071996
[pid=805772] ppid=805769 vsize=262144 memory=197000 CPUtime=25.43 cores=1,3
/proc/805772/stat : 805772 (roundingsat) R 805769 805772 805608 0 -1 4194304 29350 0 0 0 2022 521 0 0 20 0 1 0 156174898 268435456 49250 134679101440 4194304 7968869 140723171589280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41533440 140723171591102 140723171591266 140723171591266 140723171598281 0
/proc/805772/statm: 65536 49250 1856 922 0 57488 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 262144 KiB
Current children cumulated memory: 197000 KiB

[startup+51.1055 s]
/proc/loadavg: 3.52 3.84 3.99 5/259 805873
/proc/meminfo: memFree=125388996/131524600 swapFree=131071996/131071996
[pid=805772] ppid=805769 vsize=324300 memory=253416 CPUtime=50.97 cores=1,3
/proc/805772/stat : 805772 (roundingsat) R 805769 805772 805608 0 -1 4194304 43503 0 0 0 4491 606 0 0 20 0 1 0 156174898 332083200 63354 134679101440 4194304 7968869 140723171589280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41533440 140723171591102 140723171591266 140723171591266 140723171598281 0
/proc/805772/statm: 81075 63354 1856 922 0 73027 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 324300 KiB
Current children cumulated memory: 253416 KiB

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

# cumulated CPU time of all completed processes:  user=48.405 s, system=6.16155 s

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

[startup+51.2003 s]
/proc/loadavg: 3.52 3.84 3.99 5/259 805873
/proc/meminfo: memFree=125388996/131524600 swapFree=131071996/131071996
[pid=805772] ppid=805769 vsize=324300 memory=253416 CPUtime=51.07 cores=1,3
/proc/805772/stat : 805772 (roundingsat) R 805769 805772 805608 0 -1 4194304 43503 0 0 0 4501 606 0 0 20 0 1 0 156174898 332083200 63354 134679101440 4194304 7968869 140723171589280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41533440 140723171591102 140723171591266 140723171591266 140723171598281 0
/proc/805772/statm: 81075 63354 1856 922 0 73027 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 324300 KiB
Current children cumulated memory: 253416 KiB

[startup+52.8002 s]
/proc/loadavg: 3.52 3.84 3.99 5/259 805873
/proc/meminfo: memFree=125387708/131524600 swapFree=131071996/131071996
[pid=805772] ppid=805769 vsize=324300 memory=253680 CPUtime=52.66 cores=1,3
/proc/805772/stat : 805772 (roundingsat) R 805769 805772 805608 0 -1 4194304 43513 0 0 0 4657 609 0 0 20 0 1 0 156174898 332083200 63420 134679101440 4194304 7968869 140723171589280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41533440 140723171591102 140723171591266 140723171591266 140723171598281 0
/proc/805772/statm: 81075 63420 1856 922 0 73027 0
Current children cumulated CPU time: 52.66 s
Current children cumulated vsize: 324300 KiB
Current children cumulated memory: 253680 KiB

[startup+53.6002 s]
/proc/loadavg: 3.52 3.84 3.99 5/259 805873
/proc/meminfo: memFree=125387400/131524600 swapFree=131071996/131071996
[pid=805772] ppid=805769 vsize=324300 memory=253680 CPUtime=53.46 cores=1,3
/proc/805772/stat : 805772 (roundingsat) R 805769 805772 805608 0 -1 4194304 43543 0 0 0 4736 610 0 0 20 0 1 0 156174898 332083200 63420 134679101440 4194304 7968869 140723171589280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41533440 140723171591102 140723171591266 140723171591266 140723171598281 0
/proc/805772/statm: 81075 63420 1856 922 0 73027 0
Current children cumulated CPU time: 53.46 s
Current children cumulated vsize: 324300 KiB
Current children cumulated memory: 253680 KiB

[startup+54.4002 s]
/proc/loadavg: 3.56 3.85 3.99 5/259 805873
/proc/meminfo: memFree=125387092/131524600 swapFree=131071996/131071996
[pid=805772] ppid=805769 vsize=324300 memory=253680 CPUtime=54.26 cores=1,3
/proc/805772/stat : 805772 (roundingsat) R 805769 805772 805608 0 -1 4194304 43543 0 0 0 4814 612 0 0 20 0 1 0 156174898 332083200 63420 134679101440 4194304 7968869 140723171589280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41533440 140723171591102 140723171591266 140723171591266 140723171598281 0
/proc/805772/statm: 81075 63420 1856 922 0 73027 0
Current children cumulated CPU time: 54.26 s
Current children cumulated vsize: 324300 KiB
Current children cumulated memory: 253680 KiB

[startup+54.6002 s]
/proc/loadavg: 3.56 3.85 3.99 5/259 805873
/proc/meminfo: memFree=125387092/131524600 swapFree=131071996/131071996
[pid=805772] ppid=805769 vsize=324300 memory=253680 CPUtime=54.46 cores=1,3
/proc/805772/stat : 805772 (roundingsat) R 805769 805772 805608 0 -1 4194304 43543 0 0 0 4832 614 0 0 20 0 1 0 156174898 332083200 63420 134679101440 4194304 7968869 140723171589280 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41533440 140723171591102 140723171591266 140723171591266 140723171598281 0
/proc/805772/statm: 81075 63420 1856 922 0 73027 0
Current children cumulated CPU time: 54.46 s
Current children cumulated vsize: 324300 KiB
Current children cumulated memory: 253680 KiB

Child status: 0

Real time (s): 54.6973
CPU time (s): 54.5665
CPU user time (s): 48.405
CPU system time (s): 6.16155
CPU usage (%): 99.7608
Max. virtual memory (cumulated for all children) (KiB): 324300
Max. memory (cumulated for all children) (KiB): 253680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.405
system time used= 6.16155
maximum resident set size= 253680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43554
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= 73


# summary of solver processes directly reported to runsolver:
#   pid: 805772
#   total CPU time (s): 54.5665
#   total CPU user time (s): 48.405
#   total CPU system time (s): 6.16155

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.099097 second user time and 0.288962 second system time

The end

Begin job on nodeC025 at 2024-07-15 12:41:48
IDJOB=4429481
IDBENCH=146652
IDSOLVER=3051
FILE ID=nodeC025/4429481-1721040095
RUNJOBID= nodeC025-1721040108-805620
SLURM_JOB_ID= 7505453
Free space on /tmp= 890068 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-4429481-1721040095/watcher-4429481-1721040095 -o /tmp/evaluation-result-4429481-1721040095/solver-4429481-1721040095 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721040108-805620 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429481-1721040095.opb

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

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=499697789

nodeC025.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		: 3659.289
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.72
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		: 3658.653
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.09
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		: 3600.987
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.72
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		: 3657.219
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.09
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		: 3651.691
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.72
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		: 3665.686
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.09
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		: 3642.560
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.72
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		: 3638.651
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.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126424332 kB
MemAvailable:   129656736 kB
Buffers:          363360 kB
Cached:          3669376 kB
SwapCached:            0 kB
Active:           586588 kB
Inactive:        3844480 kB
Active(anon):       1536 kB
Inactive(anon):   433860 kB
Active(file):     585052 kB
Inactive(file):  3410620 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             21468 kB
Writeback:             8 kB
AnonPages:        397764 kB
Mapped:           109616 kB
Shmem:             37720 kB
KReclaimable:     152756 kB
Slab:             264624 kB
SReclaimable:     152756 kB
SUnreclaim:       111868 kB
KernelStack:        4124 kB
PageTables:        10292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     622920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60800 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 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:      221908 kB
DirectMap2M:    25765888 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC025 at 2024-07-15 12:42:43