0.49/0.59 c clasp version 1.2.0-SAT09
0.49/0.59 c Reading from ...757880/instance-1560591-1238757880.cnf
0.49/0.59 c Reading : Done(0.020s)
0.49/0.59 c Preprocessing: |-\|Done(0.100s)
0.49/0.59 c Solving...
0.49/0.59 c Model: 1
0.49/0.59 v -1 2 3 -4 -5 -6 -7 -8 -9 -10
0.49/0.59 v -11 -12 -13 -14 -15 -16 -17 -18 -19 -20
0.49/0.59 v -21 22 -23 -24 -25 -26 -27 -28 -29 -30
0.49/0.59 v -31 -32 -33 -34 -35 -36 -37 -38 39 -40
0.49/0.59 v -41 -42 -43 -44 -45 -46 -47 -48 -49 -50
0.49/0.59 v -51 -52 -53 -54 -55 -56 -57 -58 -59 -60
0.49/0.59 v -61 -62 -63 -64 -65 -66 -67 -68 -69 -70
0.49/0.59 v -71 -72 -73 -74 -75 -76 -77 -78 -79 -80
0.49/0.59 v -81 -82 -83 -84 -85 -86 -87 -88 -89 -90
0.49/0.59 v -91 -92 -93 -94 -95 -96 -97 -98 -99 -100
0.49/0.59 v -101 -102 -103 -104 -105 -106 -107 108 -109 -110
0.49/0.59 v -111 -112 -113 -114 -115 -116 -117 -118 -119 -120
0.49/0.59 v -121 -122 -123 -124 -125 -126 -127 -128 -129 -130
0.49/0.59 v -131 -132 -133 -134 -135 -136 -137 -138 -139 -140
0.49/0.59 v -141 -142 -143 -144 -145 -146 -147 -148 -149 -150
0.49/0.59 v -151 -152 -153 -154 -155 -156 -157 -158 -159 -160
0.49/0.59 v -161 -162 -163 -164 -165 -166 -167 -168 -169 -170
0.49/0.59 v -171 -172 -173 -174 -175 -176 -177 -178 -179 -180
0.49/0.59 v -181 -182 -183 -184 -185 -186 -187 -188 -189 -190
0.49/0.59 v -191 -192 -193 -194 -195 -196 -197 -198 -199 -200
0.49/0.59 v -201 -202 -203 -204 -205 -206 -207 -208 -209 -210
0.49/0.59 v -211 -212 -213 -214 -215 -216 -217 -218 -219 -220
0.49/0.59 v -221 -222 -223 -224 -225 -226 -227 -228 -229 -230
0.49/0.59 v -231 -232 -233 -234 -235 -236 -237 -238 -239 -240
0.49/0.59 v -241 -242 -243 -244 -245 -246 -247 -248 -249 -250
0.49/0.59 v -251 -252 -253 -254 -255 -256 -257 -258 -259 -260
0.49/0.59 v -261 -262 -263 -264 -265 -266 -267 268 -269 -270
0.49/0.59 v -271 -272 -273 -274 -275 -276 -277 -278 -279 -280
0.49/0.59 v -281 -282 -283 -284 -285 -286 -287 -288 -289 -290
0.49/0.59 v -291 -292 -293 -294 -295 -296 -297 -298 -299 -300
0.49/0.59 v -301 -302 -303 -304 -305 -306 -307 -308 -309 -310
0.49/0.59 v -311 -312 -313 -314 -315 -316 -317 -318 -319 -320
0.49/0.59 v -321 -322 -323 -324 -325 -326 -327 -328 -329 -330
0.49/0.59 v -331 -332 -333 -334 -335 -336 -337 -338 -339 -340
0.49/0.59 v -341 -342 -343 -344 -345 -346 -347 -348 -349 -350
0.49/0.59 v -351 -352 -353 -354 -355 -356 -357 -358 -359 -360
0.49/0.59 v -361 -362 -363 -364 -365 -366 -367 -368 -369 -370
0.49/0.59 v -371 -372 -373 -374 -375 -376 -377 -378 -379 -380
0.49/0.59 v -381 -382 -383 -384 -385 -386 -387 -388 -389 -390
0.49/0.59 v -391 -392 -393 -394 -395 -396 -397 -398 -399 -400
0.49/0.59 v -401 -402 -403 -404 -405 -406 -407 -408 -409 -410
0.49/0.59 v -411 -412 -413 -414 -415 -416 -417 -418 -419 -420
0.49/0.59 v -421 -422 -423 -424 -425 -426 -427 -428 -429 -430
0.49/0.59 v -431 -432 -433 -434 -435 -436 -437 -438 -439 -440
0.49/0.59 v -441 -442 -443 -444 -445 -446 -447 -448 -449 -450
0.49/0.59 v -451 -452 -453 -454 -455 -456 -457 -458 -459 -460
0.49/0.59 v -461 -462 -463 -464 -465 -466 -467 -468 -469 -470
0.49/0.59 v -471 -472 -473 -474 -475 -476 -477 -478 -479 -480
0.49/0.59 v -481 -482 -483 -484 -485 -486 -487 -488 -489 -490
0.49/0.59 v -491 -492 -493 -494 -495 -496 -497 -498 -499 -500
0.49/0.59 v -501 -502 -503 -504 -505 -506 -507 -508 -509 -510
0.49/0.59 v -511 -512 -513 -514 -515 -516 -517 -518 -519 -520
0.49/0.59 v -521 -522 -523 -524 -525 -526 -527 -528 -529 -530
0.49/0.59 v -531 -532 -533 -534 -535 -536 -537 -538 -539 -540
0.49/0.59 v -541 -542 -543 -544 -545 -546 -547 -548 -549 -550
0.49/0.59 v -551 -552 -553 -554 -555 -556 -557 -558 -559 -560
0.49/0.59 v -561 -562 -563 -564 -565 -566 -567 -568 -569 -570
0.49/0.59 v -571 -572 -573 -574 -575 -576 -577 -578 -579 -580
0.49/0.59 v -581 -582 -583 -584 -585 -586 -587 -588 -589 -590
0.49/0.59 v -591 -592 -593 -594 -595 -596 -597 -598 -599 -600
0.49/0.59 v -601 -602 -603 -604 -605 -606 -607 -608 -609 -610
0.49/0.59 v -611 -612 -613 -614 -615 -616 -617 -618 -619 -620
0.49/0.59 v -621 -622 -623 -624 -625 -626 -627 -628 -629 -630
0.49/0.59 v -631 -632 -633 -634 -635 -636 -637 -638 -639 -640
0.49/0.59 v -641 -642 -643 -644 -645 -646 -647 -648 -649 -650
0.49/0.59 v -651 -652 -653 -654 -655 -656 -657 -658 -659 -660
0.49/0.59 v -661 -662 -663 -664 -665 -666 -667 -668 -669 -670
0.49/0.59 v -671 -672 -673 -674 -675 -676 -677 -678 -679 -680
0.49/0.59 v -681 -682 -683 -684 -685 -686 -687 -688 -689 -690
0.49/0.59 v -691 -692 -693 -694 -695 -696 -697 -698 -699 -700
0.49/0.59 v -701 -702 -703 -704 -705 -706 -707 -708 -709 -710
0.49/0.59 v -711 -712 -713 -714 -715 -716 -717 -718 -719 -720
0.49/0.59 v -721 -722 -723 -724 -725 -726 -727 -728 -729 -730
0.49/0.59 v -731 -732 -733 -734 -735 -736 -737 -738 -739 -740
0.49/0.59 v -741 -742 -743 -744 -745 -746 -747 -748 -749 -750
0.49/0.59 v -751 -752 -753 -754 -755 -756 -757 -758 -759 -760
0.49/0.59 v -761 -762 -763 -764 -765 -766 -767 -768 -769 -770
0.49/0.59 v -771 -772 -773 -774 -775 -776 -777 -778 -779 -780
0.49/0.59 v -781 -782 -783 -784 -785 -786 -787 -788 -789 -790
0.49/0.59 v -791 -792 -793 -794 -795 -796 -797 -798 -799 -800
0.49/0.59 v -801 -802 -803 -804 -805 -806 -807 -808 -809 -810
0.49/0.59 v -811 -812 -813 -814 -815 -816 -817 -818 -819 -820
0.49/0.59 v -821 -822 -823 -824 -825 -826 -827 -828 -829 -830
0.49/0.59 v -831 -832 -833 -834 -835 -836 -837 -838 -839 -840
0.49/0.59 v -841 -842 -843 -844 -845 -846 -847 -848 -849 -850
0.49/0.59 v -851 -852 -853 -854 -855 -856 -857 -858 -859 -860
0.49/0.59 v -861 -862 -863 -864 -865 -866 -867 -868 -869 -870
0.49/0.59 v -871 -872 873 -874 875 -876 -877 -878 -879 -880
0.49/0.59 v -881 -882 -883 -884 -885 886 -887 -888 -889 -890
0.49/0.59 v -891 -892 -893 894 -895 -896 -897 -898 -899 -900
0.49/0.59 v -901 -902 -903 -904 -905 -906 -907 -908 -909 -910
0.49/0.59 v -911 -912 -913 -914 -915 -916 -917 -918 -919 -920
0.49/0.59 v -921 -922 -923 -924 -925 -926 -927 -928 -929 -930
0.49/0.59 v -931 -932 -933 -934 -935 -936 -937 -938 -939 -940
0.49/0.59 v -941 -942 -943 -944 -945 -946 -947 -948 -949 -950
0.49/0.59 v -951 -952 -953 -954 -955 -956 -957 -958 -959 -960
0.49/0.59 v -961 -962 -963 -964 -965 -966 -967 -968 -969 -970
0.49/0.59 v -971 -972 -973 -974 -975 -976 -977 -978 -979 -980
0.49/0.59 v -981 -982 -983 -984 -985 -986 -987 -988 -989 -990
0.49/0.59 v -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000
0.49/0.59 v -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010
0.49/0.59 v -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020
0.49/0.59 v -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030
0.49/0.59 v -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040
0.49/0.59 v -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050
0.49/0.59 v -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060
0.49/0.59 v -1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070
0.49/0.59 v -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080
0.49/0.59 v -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090
0.49/0.59 v -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100
0.49/0.59 v -1101 -1102 -1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110
0.49/0.59 v -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120
0.49/0.59 v -1121 -1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130
0.49/0.59 v -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140
0.49/0.59 v -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150
0.49/0.59 v -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160
0.49/0.59 v -1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 -1169 -1170
0.49/0.59 v -1171 -1172 -1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180
0.49/0.59 v -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190
0.49/0.59 v -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200
0.49/0.59 v -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210
0.49/0.59 v -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220
0.49/0.59 v -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230
0.49/0.59 v -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240
0.49/0.59 v -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250
0.49/0.59 v -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260
0.49/0.59 v -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270
0.49/0.59 v -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280
0.49/0.59 v -1281 -1282 -1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290
0.49/0.59 v -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300
0.49/0.59 v -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310
0.49/0.59 v -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320
0.49/0.59 v -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330
0.49/0.59 v -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340
0.49/0.59 v -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350
0.49/0.59 v -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360
0.49/0.59 v -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370
0.49/0.59 v -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380
0.49/0.59 v -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390
0.49/0.59 v -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400
0.49/0.59 v -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410
0.49/0.59 v -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420
0.49/0.59 v -1421 -1422 -1423 1424 -1425 1426 -1427 -1428 -1429 -1430
0.49/0.59 v 1431 -1432 1433 -1434 -1435 -1436 -1437 1438 -1439 1440
0.49/0.59 v -1441 -1442 -1443 -1444 1445 -1446 1447 -1448 -1449 -1450
0.49/0.59 v -1451 1452 -1453 1454 -1455 -1456 -1457 -1458 1459 -1460
0.49/0.59 v 1461 -1462 -1463 -1464 -1465 1466 -1467 1468 -1469 -1470
0.49/0.59 v 1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480
0.49/0.59 v -1481 -1482 -1483 -1484 -1485 -1486 -1487 1488 1489 1490
0.49/0.59 v -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500
0.49/0.59 v 1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510
0.49/0.59 v -1511 -1512 1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520
0.49/0.59 v -1521 -1522 -1523 1524 1525 1526 -1527 -1528 -1529 -1530
0.49/0.59 v -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540
0.49/0.59 v -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550
0.49/0.59 v -1551 -1552 -1553 -1554 -1555 -1556 1557 -1558 -1559 -1560
0.49/0.59 v -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 1570
0.49/0.59 v 1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580
0.49/0.59 v -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590
0.49/0.59 v -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600
0.49/0.59 v -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610
0.49/0.59 v -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620
0.49/0.59 v -1621 -1622 -1623 -1624 1625 1626 -1627 -1628 1629 -1630
0.49/0.59 v -1631 1632 -1633 -1634 1635 -1636 -1637 -1638 -1639 -1640
0.49/0.59 v -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650
0.49/0.59 v 1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660
0.49/0.59 v -1661 -1662 -1663 -1664 -1665 -1666 -1667 1668 -1669 -1670
0.49/0.59 v -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680
0.49/0.59 v 1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690
0.49/0.59 v -1691 -1692 -1693 -1694 -1695 -1696 1697 1698 1699 1700
0.49/0.59 v 1701 -1702 -1703 -1704 1705 -1706 -1707 -1708 -1709 -1710
0.49/0.59 v -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 1719 1720
0.49/0.59 v 1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730
0.49/0.59 v -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740
0.49/0.59 v -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750
0.49/0.59 v -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760
0.49/0.59 v -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770
0.49/0.59 v -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780
0.49/0.59 v -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790
0.49/0.59 v -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800
0.49/0.59 v -1801 -1802 -1803 -1804 -1805 1806 1807 -1808 -1809 1810
0.49/0.59 v 1811 1812 -1813 -1814 -1815 1816 -1817 -1818 -1819 -1820
0.49/0.59 v -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830
0.49/0.59 v -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840
0.49/0.59 v -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850
0.49/0.59 v -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860
0.49/0.59 v -1861 -1862 -1863 1864 -1865 -1866 -1867 -1868 -1869 -1870
0.49/0.59 v -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880
0.49/0.59 v -1881 -1882 -1883 1884 -1885 -1886 -1887 -1888 -1889 -1890
0.49/0.59 v -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900
0.49/0.59 v -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908 -1909 -1910
0.49/0.59 v -1911 1912 1913 1914 1915 -1916 1917 -1918 -1919 1920
0.49/0.59 v -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930
0.49/0.59 v -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940
0.49/0.59 v -1941 -1942 1943 1944 1945 1946 1947 -1948 -1949 -1950
0.49/0.59 v -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960
0.49/0.59 v -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970
0.49/0.59 v -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980
0.49/0.59 v -1981 -1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990
0.49/0.59 v -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000
0.49/0.59 v -2001 -2002 -2003 -2004 -2005 -2006 2007 -2008 -2009 -2010
0.49/0.59 v -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020
0.49/0.59 v -2021 -2022 -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030
0.49/0.59 v -2031 -2032 -2033 -2034 -2035 2036 2037 -2038 -2039 -2040
0.49/0.59 v -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050
0.49/0.59 v -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060
0.49/0.59 v 2061 2062 -2063 -2064 2065 -2066 -2067 2068 -2069 -2070
0.49/0.59 v -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 2079 -2080
0.49/0.59 v -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090
0.49/0.59 v -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100
0.49/0.59 v -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110
0.49/0.59 v -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120
0.49/0.59 v -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130
0.49/0.59 v -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140
0.49/0.59 v -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150
0.49/0.59 v -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160
0.49/0.59 v -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170
0.49/0.59 v -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180
0.49/0.59 v -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190
0.49/0.59 v -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200
0.49/0.59 v -2201 -2202 -2203 -2204 2205 2206 2207 -2208 -2209 -2210
0.49/0.59 v -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220
0.49/0.59 v 2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230
0.49/0.59 v -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240
0.49/0.59 v -2241 -2242 -2243 -2244 2245 2246 -2247 -2248 -2249 -2250
0.49/0.59 v -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260
0.49/0.59 v -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270
0.49/0.59 v -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280
0.49/0.59 v -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290
0.49/0.59 v -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300
0.49/0.59 v -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310
0.49/0.59 v -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320
0.49/0.59 v -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330
0.49/0.59 v -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340
0.49/0.59 v -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350
0.49/0.59 v -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360
0.49/0.59 v -2361 -2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370
0.49/0.59 v -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380
0.49/0.59 v -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390
0.49/0.59 v -2391 -2392 -2393 -2394 2395 -2396 -2397 -2398 -2399 -2400
0.49/0.59 v -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410
0.49/0.59 v -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420
0.49/0.59 v -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430
0.49/0.59 v -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440
0.49/0.59 v -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450
0.49/0.59 v -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460
0.49/0.59 v -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470
0.49/0.59 v -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480
0.49/0.59 v -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490
0.49/0.59 v -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500
0.49/0.59 v -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510
0.49/0.59 v -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520
0.49/0.59 v -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530
0.49/0.59 v -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540
0.49/0.59 v -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550
0.49/0.59 v -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560
0.49/0.59 v -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570
0.49/0.59 v -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580
0.49/0.59 v -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590
0.49/0.59 v -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600
0.49/0.59 v -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610
0.49/0.59 v -2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620
0.49/0.59 v -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630
0.49/0.59 v -2631 -2632 -2633 -2634 -2635 -2636 2637 -2638 -2639 -2640
0.49/0.59 v 2641 2642 -2643 -2644 -2645 2646 -2647 -2648 2649 2650
0.49/0.59 v -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660
0.49/0.59 v -2661 -2662 -2663 -2664 2665 2666 -2667 -2668 2669 -2670
0.49/0.59 v -2671 2672 -2673 -2674 2675 -2676 -2677 -2678 -2679 -2680
0.49/0.59 v -2681 2682 -2683 -2684 2685 -2686 -2687 2688 -2689 -2690
0.49/0.59 v -2691 -2692 -2693 -2694 -2695 -2696 2697 2698 2699 2700
0.49/0.59 v 2701 -2702 -2703 -2704 2705 -2706 -2707 -2708 -2709 -2710
0.49/0.59 v -2711 -2712 2713 2714 2715 -2716 -2717 -2718 -2719 -2720
0.49/0.59 v -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730
0.49/0.59 v -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740
0.49/0.59 v -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750
0.49/0.59 v -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760
0.49/0.59 v -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 2770
0.49/0.59 v 2771 -2772 -2773 2774 2775 2776 -2777 -2778 -2779 2780
0.49/0.59 v -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790
0.49/0.59 v -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800
0.49/0.59 v -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810
0.49/0.59 v -2811 2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820
0.49/0.59 v -2821 -2822 -2823 -2824 -2825 2826 -2827 -2828 -2829 -2830
0.49/0.59 v -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840
0.49/0.59 v -2841 2842 2843 2844 2845 2846 2847 2848 2849 2850
0.49/0.59 v 2851 2852 2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860
0.49/0.59 v -2861 -2862 2863 2864 -2865 -2866 -2867 -2868 -2869 -2870
0.49/0.59 v -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880
0.49/0.59 v -2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890
0.49/0.59 v -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900
0.49/0.59 v -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910
0.49/0.59 v -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920
0.49/0.59 v -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930
0.49/0.59 v -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940
0.49/0.59 v -2941 -2942 -2943 -2944 -2945 2946 2947 -2948 -2949 2950
0.49/0.59 v -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960
0.49/0.59 v -2961 -2962 -2963 2964 -2965 -2966 -2967 -2968 -2969 -2970
0.49/0.59 v -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980
0.49/0.59 v -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990
0.49/0.59 v -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000
0.49/0.59 v -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 3009 -3010
0.49/0.59 v -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020
0.49/0.59 v -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 3029 -3030
0.49/0.59 v -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040
0.49/0.59 v -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050
0.49/0.59 v -3051 3052 3053 3054 -3055 -3056 -3057 -3058 -3059 3060
0.49/0.59 v -3061 -3062 -3063 -3064 -3065 -3066 -3067 3068 -3069 -3070
0.49/0.59 v -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080
0.49/0.59 v -3081 -3082 -3083 -3084 -3085 3086 3087 -3088 -3089 -3090
0.49/0.59 v -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100
0.49/0.59 v -3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110
0.49/0.59 v -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120
0.49/0.59 v -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130
0.49/0.59 v -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140
0.49/0.59 v -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150
0.49/0.59 v -3151 3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160
0.49/0.59 v -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170
0.49/0.59 v -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180
0.49/0.59 v 3181 3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190
0.49/0.59 v -3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200
0.49/0.59 v -3201 -3202 -3203 -3204 -3205 3206 -3207 -3208 -3209 -3210
0.49/0.59 v -3211 -3212 3213 -3214 -3215 3216 -3217 -3218 -3219 -3220
0.49/0.59 v -3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230
0.49/0.59 v -3231 -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240
0.49/0.59 v -3241 -3242 -3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250
0.49/0.59 v -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260
0.49/0.59 v -3261 -3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270
0.49/0.59 v -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280
0.49/0.59 v -3281 -3282 -3283 -3284 -3285 -3286 -3287 -3288 -3289 -3290
0.49/0.59 v -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300
0.49/0.59 v -3301 -3302 -3303 -3304 -3305 -3306 -3307 -3308 -3309 -3310
0.49/0.59 v -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320
0.49/0.59 v -3321 -3322 -3323 -3324 -3325 -3326 -3327 -3328 -3329 -3330
0.49/0.59 v -3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339 -3340
0.49/0.59 v -3341 -3342 -3343 -3344 -3345 -3346 -3347 -3348 -3349 -3350
0.49/0.59 v -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360
0.49/0.59 v -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370
0.49/0.59 v -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380
0.49/0.59 v -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 -3389 -3390
0.49/0.59 v -3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400
0.49/0.59 v -3401 -3402 -3403 -3404 3405 -3406 3407 -3408 -3409 3410
0.49/0.59 v -3411 3412 -3413 -3414 3415 -3416 3417 -3418 -3419 3420
0.49/0.59 v -3421 3422 -3423 -3424 3425 -3426 3427 -3428 -3429 3430
0.49/0.59 v -3431 3432 -3433 -3434 3435 -3436 3437 -3438 -3439 3440
0.49/0.59 v -3441 3442 -3443 -3444 3445 -3446 -3447 -3448 -3449 -3450
0.49/0.59 v -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460
0.49/0.59 v -3461 -3462 -3463 3464 3465 3466 3467 -3468 -3469 -3470
0.49/0.59 v 3471 -3472 -3473 -3474 -3475 -3476 -3477 3478 -3479 -3480
0.49/0.59 v -3481 -3482 -3483 3484 3485 3486 -3487 -3488 -3489 -3490
0.49/0.59 v -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500
0.49/0.59 v -3501 -3502 -3503 -3504 3505 -3506 -3507 -3508 -3509 -3510
0.49/0.59 v -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520
0.49/0.59 v -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530
0.49/0.59 v -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540
0.49/0.59 v -3541 -3542 -3543 -3544 -3545 3546 3547 -3548 -3549 -3550
0.49/0.59 v -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560
0.49/0.59 v -3561 -3562 -3563 3564 -3565 -3566 -3567 -3568 -3569 -3570
0.49/0.59 v -3571 -3572 -3573 3574 -3575 -3576 -3577 -3578 -3579 -3580
0.49/0.59 v -3581 -3582 -3583 -3584 -3585 -3586 -3587 -3588 -3589 -3590
0.49/0.59 v -3591 -3592 -3593 -3594 3595 3596 3597 3598 3599 3600
0.49/0.59 v -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610
0.49/0.59 v -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620
0.49/0.59 v -3621 -3622 -3623 -3624 -3625 -3626 -3627 -3628 -3629 -3630
0.49/0.59 v -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640
0.49/0.59 v -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650
0.49/0.59 v -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660
0.49/0.59 v -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670
0.49/0.59 v -3671 -3672 3673 3674 -3675 -3676 -3677 3678 -3679 -3680
0.49/0.59 v -3681 -3682 -3683 3684 -3685 -3686 -3687 -3688 -3689 -3690
0.49/0.59 v -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700
0.49/0.59 v -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710
0.49/0.59 v -3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719 -3720
0.49/0.59 v -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 3729 -3730
0.49/0.59 v -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740
0.49/0.59 v -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 -3749 -3750
0.49/0.59 v -3751 -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760
0.49/0.59 v 3761 3762 3763 3764 -3765 -3766 -3767 -3768 3769 -3770
0.49/0.59 v -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780
0.49/0.59 v -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790
0.49/0.59 v -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800
0.49/0.59 v -3801 -3802 -3803 -3804 -3805 -3806 -3807 -3808 -3809 -3810
0.49/0.59 v -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820
0.49/0.59 v -3821 -3822 -3823 -3824 3825 -3826 -3827 -3828 -3829 -3830
0.49/0.59 v -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840
0.49/0.59 v -3841 -3842 -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850
0.49/0.59 v -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860
0.49/0.59 v -3861 -3862 -3863 -3864 -3865 -3866 -3867 -3868 3869 3870
0.49/0.59 v 3871 -3872 -3873 -3874 3875 -3876 -3877 3878 -3879 -3880
0.49/0.59 v 3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890
0.49/0.59 v -3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900
0.49/0.59 v -3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910
0.49/0.59 v -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920
0.49/0.59 v -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930
0.49/0.59 v -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940
0.49/0.59 v -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950
0.49/0.59 v -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960
0.49/0.59 v -3961 -3962 -3963 -3964 -3965 -3966 -3967 -3968 -3969 -3970
0.49/0.59 v -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980
0.49/0.59 v -3981 -3982 -3983 -3984 -3985 -3986 -3987 3988 3989 3990
0.49/0.59 v -3991 -3992 -3993 -3994 -3995 3996 -3997 -3998 -3999 -4000
0.49/0.59 v -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010
0.49/0.59 v -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020
0.49/0.59 v -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030
0.49/0.59 v -4031 -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040
0.49/0.59 v -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050
0.49/0.59 v -4051 -4052 -4053 -4054 -4055 -4056 -4057 -4058 -4059 -4060
0.49/0.59 v -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070
0.49/0.59 v -4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080
0.49/0.59 v -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090
0.49/0.59 v -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100
0.49/0.59 v -4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108 -4109 -4110
0.49/0.59 v -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120
0.49/0.59 v -4121 -4122 -4123 -4124 -4125 -4126 -4127 -4128 -4129 -4130
0.49/0.59 v -4131 -4132 -4133 -4134 -4135 -4136 4137 4138 -4139 -4140
0.49/0.59 v -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150
0.49/0.59 v -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160
0.49/0.59 v -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170
0.49/0.59 v -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180
0.49/0.59 v -4181 -4182 -4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190
0.49/0.59 v -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200
0.49/0.59 v -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210
0.49/0.59 v -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220
0.49/0.59 v -4221 -4222 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230
0.49/0.59 v -4231 -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239 -4240
0.49/0.59 v -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250
0.49/0.59 v -4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260
0.49/0.59 v -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270
0.49/0.59 v -4271 -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280
0.49/0.59 v -4281 -4282 -4283 -4284 -4285 -4286 -4287 -4288 -4289 -4290
0.49/0.59 v -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300
0.49/0.59 v -4301 -4302 -4303 -4304 -4305 -4306 -4307 -4308 -4309 -4310
0.49/0.59 v -4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320
0.49/0.59 v 4321 -4322 4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330
0.49/0.59 v -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340
0.49/0.59 v -4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350
0.49/0.59 v 4351 -4352 -4353 -4354 -4355 -4356 -4357 4358 4359 -4360
0.49/0.59 v -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370
0.49/0.59 v -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380
0.49/0.59 v -4381 -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390
0.49/0.59 v -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400
0.49/0.59 v 4401 4402 -4403 -4404 -4405 -4406 -4407 -4408 -4409 -4410
0.49/0.59 v -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420
0.49/0.59 v -4421 -4422 -4423 -4424 -4425 -4426 -4427 4428 -4429 -4430
0.49/0.59 v -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440
0.49/0.59 v -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 4450
0.49/0.59 v 4451 4452 4453 4454 4455 -4456 -4457 -4458 -4459 -4460
0.49/0.59 v -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470
0.49/0.59 v -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480
0.49/0.59 v -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490
0.49/0.59 v -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500
0.49/0.59 v -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510
0.49/0.59 v -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520
0.49/0.59 v -4521 -4522 -4523 -4524 -4525 -4526 -4527 4528 4529 -4530
0.49/0.59 v -4531 -4532 4533 -4534 -4535 -4536 -4537 -4538 4539 -4540
0.49/0.59 v -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550
0.49/0.59 v -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559 -4560
0.49/0.59 v -4561 -4562 -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570
0.49/0.59 v -4571 -4572 -4573 -4574 -4575 -4576 -4577 -4578 -4579 -4580
0.49/0.59 v -4581 -4582 -4583 4584 -4585 -4586 -4587 -4588 -4589 -4590
0.49/0.59 v -4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600
0.49/0.59 v -4601 -4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610
0.49/0.59 v -4611 -4612 -4613 -4614 -4615 4616 4617 4618 4619 -4620
0.49/0.59 v -4621 -4622 -4623 4624 -4625 -4626 -4627 -4628 -4629 -4630
0.49/0.59 v -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640
0.49/0.59 v -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 -4649 -4650
0.49/0.59 v -4651 -4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660
0.49/0.59 v -4661 -4662 -4663 -4664 -4665 -4666 -4667 -4668 -4669 -4670
0.49/0.59 v -4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 4680
0.49/0.59 v -4681 -4682 -4683 -4684 -4685 -4686 -4687 -4688 -4689 -4690
0.49/0.59 v -4691 -4692 -4693 -4694 -4695 -4696 -4697 -4698 -4699 -4700
0.49/0.59 v -4701 -4702 -4703 -4704 -4705 -4706 -4707 -4708 -4709 -4710
0.49/0.59 v -4711 -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719 -4720
0.49/0.59 v -4721 -4722 -4723 4724 4725 -4726 -4727 -4728 -4729 -4730
0.49/0.59 v -4731 -4732 4733 -4734 -4735 -4736 -4737 -4738 -4739 -4740
0.49/0.59 v -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750
0.49/0.59 v -4751 -4752 -4753 -4754 -4755 -4756 -4757 -4758 -4759 -4760
0.49/0.59 v -4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770
0.49/0.59 v -4771 -4772 -4773 -4774 -4775 -4776 -4777 -4778 -4779 -4780
0.49/0.59 v -4781 -4782 -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790
0.49/0.59 v -4791 -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800
0.49/0.59 v -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 -4809 -4810
0.49/0.59 v -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820
0.49/0.59 v -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830
0.49/0.59 v -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840
0.49/0.59 v -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850
0.49/0.59 v -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860
0.49/0.59 v -4861 -4862 -4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870
0.49/0.59 v 4871 -4872 4873 -4874 -4875 -4876 -4877 4878 -4879 4880
0.49/0.59 v -4881 -4882 -4883 -4884 4885 -4886 4887 -4888 -4889 -4890
0.49/0.59 v -4891 4892 -4893 4894 -4895 -4896 -4897 -4898 4899 -4900
0.49/0.59 v 4901 -4902 -4903 -4904 -4905 4906 -4907 4908 -4909 -4910
0.49/0.59 v -4911 -4912 4913 -4914 4915 -4916 -4917 4918 -4919 -4920
0.49/0.59 v -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930
0.49/0.59 v -4931 -4932 -4933 -4934 4935 4936 4937 4938 -4939 -4940
0.49/0.59 v -4941 4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950
0.49/0.59 v -4951 -4952 -4953 -4954 4955 4956 -4957 -4958 -4959 -4960
0.49/0.59 v -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970
0.49/0.59 v -4971 -4972 -4973 -4974 -4975 4976 -4977 -4978 -4979 -4980
0.49/0.59 v -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990
0.49/0.59 v -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000
0.49/0.59 v -5001 -5002 -5003 -5004 -5005 -5006 -5007 -5008 -5009 -5010
0.49/0.59 v -5011 -5012 -5013 -5014 -5015 -5016 5017 5018 -5019 -5020
0.49/0.59 v -5021 -5022 -5023 -5024 -5025 -5026 -5027 -5028 -5029 -5030
0.49/0.59 v -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040
0.49/0.59 v -5041 -5042 -5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050
0.49/0.59 v -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060
0.49/0.59 v -5061 -5062 -5063 -5064 -5065 -5066 -5067 5068 -5069 -5070
0.49/0.59 v -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080
0.49/0.59 v -5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090
0.49/0.59 v -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100
0.49/0.59 v -5101 -5102 -5103 -5104 -5105 -5106 -5107 -5108 -5109 -5110
0.49/0.59 v -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120
0.49/0.59 v -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130
0.49/0.59 v -5131 -5132 -5133 -5134 -5135 -5136 -5137 -5138 -5139 -5140
0.49/0.59 v -5141 -5142 -5143 -5144 -5145 -5146 -5147 -5148 -5149 5150
0.49/0.59 v 5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160
0.49/0.59 v -5161 -5162 -5163 -5164 -5165 -5166 -5167 -5168 -5169 -5170
0.49/0.59 v -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180
0.49/0.59 v -5181 -5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190
0.49/0.59 v -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200
0.49/0.59 v -5201 -5202 -5203 -5204 -5205 -5206 -5207 -5208 -5209 -5210
0.49/0.59 v -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220
0.49/0.59 v -5221 -5222 -5223 -5224 -5225 -5226 -5227 -5228 -5229 -5230
0.49/0.59 v -5231 -5232 -5233 -5234 -5235 -5236 5237 -5238 -5239 -5240
0.49/0.59 v -5241 -5242 -5243 -5244 -5245 -5246 -5247 -5248 -5249 -5250
0.49/0.59 v -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260
0.49/0.59 v -5261 -5262 -5263 -5264 -5265 -5266 -5267 -5268 -5269 -5270
0.49/0.59 v -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280
0.49/0.59 v -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290
0.49/0.59 v -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300
0.49/0.59 v -5301 -5302 -5303 -5304 -5305 -5306 -5307 -5308 -5309 -5310
0.49/0.59 v -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320
0.49/0.59 v -5321 -5322 -5323 -5324 -5325 -5326 -5327 -5328 -5329 -5330
0.49/0.59 v -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340
0.49/0.59 v -5341 -5342 -5343 -5344 -5345 -5346 5347 5348 -5349 -5350
0.49/0.59 v -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360
0.49/0.59 v -5361 -5362 -5363 -5364 -5365 -5366 -5367 -5368 -5369 -5370
0.49/0.59 v -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380
0.49/0.59 v -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390
0.49/0.59 v -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400
0.49/0.59 v -5401 -5402 -5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410
0.49/0.59 v -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420
0.49/0.59 v -5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430
0.49/0.59 v -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440
0.49/0.59 v -5441 -5442 -5443 -5444 -5445 -5446 -5447 -5448 -5449 -5450
0.49/0.59 v -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460
0.49/0.59 v -5461 -5462 -5463 5464 -5465 -5466 -5467 -5468 -5469 -5470
0.49/0.59 v -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479 -5480
0.49/0.59 v -5481 -5482 -5483 -5484 -5485 -5486 -5487 -5488 -5489 -5490
0.49/0.59 v -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499 -5500
0.49/0.59 v -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510
0.49/0.59 v -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520
0.49/0.59 v -5521 -5522 -5523 -5524 -5525 -5526 -5527 -5528 -5529 -5530
0.49/0.59 v -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540
0.49/0.59 v -5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 -5550
0.49/0.59 v -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560
0.49/0.59 v -5561 -5562 -5563 -5564 -5565 -5566 -5567 -5568 -5569 -5570
0.49/0.59 v -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580
0.49/0.59 v -5581 -5582 -5583 -5584 -5585 -5586 -5587 -5588 -5589 -5590
0.49/0.59 v -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600
0.49/0.59 v -5601 -5602 -5603 -5604 -5605 -5606 -5607 -5608 -5609 -5610
0.49/0.59 v -5611 -5612 -5613 -5614 5615 5616 -5617 -5618 -5619 -5620
0.49/0.59 v -5621 -5622 -5623 -5624 -5625 -5626 -5627 -5628 -5629 -5630
0.49/0.59 v -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640
0.49/0.59 v -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650
0.49/0.59 v -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660
0.49/0.59 v -5661 -5662 -5663 -5664 -5665 -5666 -5667 -5668 -5669 -5670
0.49/0.59 v -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680
0.49/0.59 v -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690
0.49/0.59 v -5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700
0.49/0.59 v -5701 -5702 -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710
0.49/0.59 v -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720
0.49/0.59 v -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730
0.49/0.59 v -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740
0.49/0.59 v -5741 -5742 -5743 -5744 -5745 -5746 -5747 -5748 -5749 -5750
0.49/0.59 v -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760
0.49/0.59 v -5761 -5762 -5763 -5764 -5765 -5766 -5767 5768 -5769 -5770
0.49/0.59 v -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780
0.49/0.59 v -5781 -5782 -5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790
0.49/0.59 v -5791 5792 -5793 5794 -5795 5796 -5797 -5798 -5799 -5800
0.49/0.59 v -5801 -5802 -5803 -5804 -5805 -5806 -5807 -5808 5809 5810
0.49/0.59 v -5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820
0.49/0.59 v -5821 -5822 -5823 -5824 -5825 -5826 -5827 -5828 -5829 5830
0.49/0.59 v -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839 -5840
0.49/0.59 v -5841 -5842 -5843 -5844 -5845 -5846 -5847 -5848 -5849 -5850
0.49/0.59 v -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860
0.49/0.59 v -5861 -5862 -5863 -5864 -5865 -5866 -5867 -5868 -5869 -5870
0.49/0.59 v 5871 5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880
0.49/0.59 v -5881 -5882 -5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890
0.49/0.59 v -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900
0.49/0.59 v -5901 -5902 -5903 -5904 -5905 -5906 -5907 -5908 -5909 -5910
0.49/0.59 v -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920
0.49/0.59 v -5921 5922 -5923 -5924 -5925 -5926 -5927 -5928 -5929 -5930
0.49/0.59 v -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940
0.49/0.59 v -5941 -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950
0.49/0.59 v -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960
0.49/0.59 v -5961 -5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970
0.49/0.59 v -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980
0.49/0.59 v -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990
0.49/0.59 v -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000
0.49/0.59 v -6001 -6002 -6003 6004 6005 -6006 -6007 -6008 -6009 -6010
0.49/0.59 v -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020
0.49/0.59 v -6021 -6022 -6023 -6024 -6025 -6026 -6027 -6028 -6029 -6030
0.49/0.59 v -6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040
0.49/0.59 v -6041 -6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050
0.49/0.59 v -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060
0.49/0.59 v -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070
0.49/0.59 v -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080
0.49/0.59 v -6081 -6082 -6083 -6084 -6085 -6086 -6087 -6088 -6089 -6090
0.49/0.59 v 6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100
0.49/0.59 v -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110
0.49/0.59 v -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120
0.49/0.59 v -6121 -6122 -6123 -6124 -6125 -6126 -6127 -6128 -6129 -6130
0.49/0.59 v -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140
0.49/0.59 v -6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148 -6149 -6150
0.49/0.59 v -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160
0.49/0.59 v -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170
0.49/0.59 v -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180
0.49/0.59 v -6181 -6182 -6183 -6184 -6185 -6186 -6187 -6188 -6189 -6190
0.49/0.59 v -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200
0.49/0.59 v 6201 6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210
0.49/0.59 v -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220
0.49/0.59 v -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230
0.49/0.59 v -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240
0.49/0.59 v -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250
0.49/0.59 v -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260
0.49/0.59 v -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270
0.49/0.59 v -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280
0.49/0.59 v -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290
0.49/0.59 v -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300
0.49/0.59 v -6301 -6302 -6303 -6304 -6305 -6306 -6307 -6308 -6309 -6310
0.49/0.59 v -6311 -6312 -6313 -6314 -6315 -6316 -6317 6318 -6319 -6320
0.49/0.59 v -6321 -6322 -6323 -6324 -6325 -6326 -6327 -6328 -6329 -6330
0.49/0.59 v -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340
0.49/0.59 v 6341 -6342 6343 -6344 -6345 -6346 -6347 6348 -6349 6350
0.49/0.59 v -6351 -6352 -6353 -6354 6355 -6356 6357 -6358 -6359 -6360
0.49/0.59 v -6361 6362 -6363 6364 -6365 -6366 -6367 -6368 6369 -6370
0.49/0.59 v 6371 -6372 -6373 -6374 -6375 6376 -6377 6378 -6379 -6380
0.49/0.59 v -6381 -6382 6383 -6384 6385 6386 6387 -6388 -6389 -6390
0.49/0.59 v -6391 -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399 -6400
0.49/0.59 v -6401 -6402 -6403 -6404 6405 6406 6407 -6408 -6409 -6410
0.49/0.59 v -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420
0.49/0.59 v -6421 -6422 -6423 -6424 -6425 -6426 -6427 -6428 -6429 -6430
0.49/0.59 v -6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440
0.49/0.59 v -6441 -6442 -6443 -6444 -6445 -6446 -6447 -6448 -6449 -6450
0.49/0.59 v -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460
0.49/0.59 v -6461 -6462 -6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470
0.49/0.59 v -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480
0.49/0.59 v -6481 -6482 -6483 -6484 -6485 -6486 -6487 -6488 -6489 -6490
0.49/0.59 v -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500
0.49/0.59 v -6501 -6502 -6503 -6504 -6505 6506 -6507 6508 -6509 -6510
0.49/0.59 v -6511 -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519 -6520
0.49/0.59 v -6521 -6522 -6523 -6524 -6525 -6526 -6527 -6528 -6529 -6530
0.49/0.59 v -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 -6539 -6540
0.49/0.59 v -6541 -6542 -6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550
0.49/0.59 v -6551 -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560
0.49/0.59 v -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570
0.49/0.59 v -6571 -6572 -6573 -6574 -6575 -6576 -6577 -6578 -6579 -6580
0.49/0.59 v -6581 -6582 -6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590
0.49/0.59 v -6591 -6592 -6593 -6594 -6595 6596 -6597 6598 -6599 -6600
0.49/0.59 v -6601 -6602 6603 -6604 6605 -6606 -6607 -6608 -6609 6610
0.49/0.59 v -6611 6612 -6613 -6614 -6615 -6616 6617 -6618 6619 -6620
0.49/0.59 v -6621 -6622 -6623 6624 -6625 6626 -6627 -6628 -6629 -6630
0.49/0.59 v 6631 -6632 6633 -6634 -6635 -6636 -6637 6638 -6639 6640
0.49/0.59 v -6641 -6642 6643 -6644 -6645 -6646 -6647 -6648 -6649 -6650
0.49/0.59 v -6651 -6652 -6653 -6654 -6655 -6656 -6657 -6658 -6659 6660
0.49/0.59 v 6661 6662 -6663 -6664 -6665 -6666 -6667 -6668 -6669 -6670
0.49/0.59 v -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 -6679 -6680
0.49/0.59 v -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690
0.49/0.59 v -6691 -6692 -6693 -6694 -6695 -6696 -6697 -6698 -6699 -6700
0.49/0.59 v -6701 -6702 -6703 -6704 -6705 -6706 -6707 -6708 -6709 -6710
0.49/0.59 v -6711 -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719 -6720
0.49/0.59 v -6721 -6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730
0.49/0.59 v -6731 -6732 -6733 -6734 -6735 -6736 -6737 -6738 -6739 -6740
0.49/0.59 v -6741 -6742 -6743 -6744 -6745 -6746 -6747 -6748 -6749 -6750
0.49/0.59 v -6751 -6752 -6753 -6754 -6755 -6756 -6757 -6758 -6759 -6760
0.49/0.59 v 6761 -6762 6763 -6764 -6765 -6766 -6767 -6768 -6769 -6770
0.49/0.59 v -6771 -6772 -6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780
0.49/0.59 v -6781 -6782 -6783 -6784 -6785 -6786 -6787 -6788 -6789 -6790
0.49/0.59 v -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 -6800
0.49/0.59 v -6801 -6802 -6803 -6804 -6805 -6806 -6807 -6808 -6809 -6810
0.49/0.59 v -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820
0.49/0.59 v -6821 -6822 -6823 -6824 -6825 -6826 -6827 -6828 -6829 -6830
0.49/0.59 v -6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840
0.49/0.59 v -6841 -6842 -6843 -6844 -6845 -6846 -6847 -6848 -6849 -6850
0.49/0.59 v 6851 -6852 6853 -6854 -6855 -6856 -6857 6858 -6859 6860
0.49/0.59 v -6861 -6862 -6863 -6864 6865 -6866 6867 -6868 -6869 -6870
0.49/0.59 v -6871 6872 -6873 6874 -6875 -6876 -6877 -6878 6879 -6880
0.49/0.59 v 6881 -6882 -6883 -6884 -6885 6886 -6887 6888 -6889 -6890
0.49/0.59 v -6891 -6892 6893 -6894 6895 -6896 -6897 6898 -6899 -6900
0.49/0.59 v -6901 -6902 -6903 -6904 -6905 -6906 -6907 -6908 -6909 -6910
0.49/0.59 v -6911 -6912 -6913 -6914 6915 6916 6917 -6918 -6919 -6920
0.49/0.59 v -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930
0.49/0.59 v -6931 -6932 -6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940
0.49/0.59 v -6941 -6942 -6943 -6944 -6945 -6946 -6947 -6948 -6949 -6950
0.49/0.59 v -6951 -6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959 -6960
0.49/0.59 v -6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968 -6969 -6970
0.49/0.59 v -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980
0.49/0.59 v -6981 -6982 -6983 -6984 -6985 -6986 -6987 -6988 -6989 -6990
0.49/0.59 v -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000
0.49/0.59 v -7001 -7002 -7003 -7004 -7005 -7006 -7007 -7008 -7009 -7010
0.49/0.59 v -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020
0.49/0.59 v -7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030
0.49/0.59 v -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040
0.49/0.59 v -7041 -7042 -7043 -7044 -7045 -7046 -7047 -7048 -7049 -7050
0.49/0.59 v -7051 -7052 -7053 -7054 -7055 7056 -7057 -7058 -7059 7060
0.49/0.59 v -7061 -7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070
0.49/0.59 v -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080
0.49/0.59 v -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090
0.49/0.59 v -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098 -7099 -7100
0.49/0.59 v -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110
0.49/0.59 v -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120
0.49/0.59 v -7121 -7122 -7123 -7124 -7125 -7126 -7127 -7128 -7129 -7130
0.49/0.59 v -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140
0.49/0.59 v -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150
0.49/0.59 v -7151 -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 -7160
0.49/0.59 v -7161 -7162 -7163 -7164 -7165 -7166 -7167 -7168 -7169 7170
0.49/0.59 v -7171 7172 -7173 -7174 7175 -7176 7177 -7178 -7179 7180
0.49/0.59 v -7181 7182 -7183 -7184 7185 -7186 7187 -7188 -7189 7190
0.49/0.59 v -7191 7192 -7193 -7194 7195 -7196 7197 -7198 -7199 7200
0.49/0.59 v -7201 7202 -7203 -7204 7205 -7206 7207 -7208 -7209 7210
0.49/0.59 v -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220
0.49/0.59 v -7221 -7222 -7223 -7224 -7225 -7226 -7227 -7228 7229 7230
0.49/0.59 v 7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240
0.49/0.59 v -7241 -7242 -7243 -7244 -7245 -7246 -7247 -7248 -7249 7250
0.49/0.59 v -7251 7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260
0.49/0.59 v -7261 7262 -7263 -7264 -7265 -7266 -7267 -7268 -7269 -7270
0.49/0.59 v -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280
0.49/0.59 v -7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290
0.49/0.59 v -7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 -7300
0.49/0.59 v -7301 -7302 -7303 -7304 -7305 -7306 -7307 7308 7309 7310
0.49/0.59 v -7311 -7312 -7313 -7314 -7315 -7316 -7317 -7318 -7319 -7320
0.49/0.59 v -7321 7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 -7330
0.49/0.59 v -7331 -7332 -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340
0.49/0.59 v -7341 -7342 -7343 -7344 -7345 -7346 -7347 -7348 -7349 -7350
0.49/0.59 v -7351 -7352 -7353 -7354 7355 7356 -7357 -7358 -7359 -7360
0.49/0.59 v -7361 -7362 -7363 -7364 -7365 -7366 -7367 -7368 -7369 7370
0.49/0.59 v -7371 -7372 -7373 7374 -7375 -7376 -7377 -7378 -7379 -7380
0.49/0.59 v -7381 -7382 -7383 -7384 -7385 -7386 7387 -7388 7389 -7390
0.49/0.59 v -7391 -7392 7393 -7394 -7395 -7396 -7397 -7398 7399 -7400
0.49/0.59 v -7401 -7402 -7403 -7404 -7405 -7406 -7407 -7408 -7409 -7410
0.49/0.59 v -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420
0.49/0.59 v -7421 -7422 -7423 -7424 -7425 -7426 -7427 -7428 -7429 -7430
0.49/0.59 v 7431 7432 7433 -7434 -7435 -7436 -7437 -7438 7439 -7440
0.49/0.59 v -7441 -7442 -7443 -7444 7445 -7446 -7447 -7448 -7449 -7450
0.49/0.59 v -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 -7460
0.49/0.59 v -7461 -7462 -7463 -7464 -7465 -7466 -7467 -7468 7469 7470
0.49/0.59 v -7471 -7472 7473 -7474 -7475 -7476 -7477 -7478 -7479 -7480
0.49/0.59 v -7481 -7482 -7483 7484 -7485 7486 -7487 -7488 7489 -7490
0.49/0.59 v 7491 -7492 -7493 7494 -7495 7496 -7497 -7498 7499 -7500
0.49/0.59 v 7501 -7502 -7503 7504 -7505 7506 -7507 -7508 7509 -7510
0.49/0.59 v 7511 7512 7513 -7514 -7515 7516 -7517 -7518 7519 -7520
0.49/0.59 v 7521 7522 -7523 7524 7525 7526 7527 7528 7529 7530
0.49/0.59 v 7531 7532 7533 7534 7535 7536 7537 7538 7539 7540
0.49/0.59 v 7541 7542 -7543 -7544 7545 -7546 -7547 -7548 -7549 -7550
0.49/0.59 v -7551 -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560
0.49/0.59 v -7561 -7562 -7563 -7564 -7565 -7566 -7567 -7568 -7569 -7570
0.49/0.59 v -7571 -7572 -7573 -7574 -7575 -7576 -7577 -7578 -7579 -7580
0.49/0.59 v -7581 -7582 -7583 -7584 -7585 -7586 -7587 -7588 -7589 -7590
0.49/0.59 v -7591 -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 -7600
0.49/0.59 v -7601 -7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610
0.49/0.59 v -7611 -7612 -7613 -7614 -7615 -7616 -7617 -7618 -7619 -7620
0.49/0.59 v -7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630
0.49/0.59 v -7631 -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639 -7640
0.49/0.59 v -7641 -7642 -7643 7644 -7645 7646 -7647 -7648 -7649 -7650
0.49/0.59 v -7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 -7660
0.49/0.59 v -7661 -7662 -7663 -7664 -7665 -7666 -7667 -7668 -7669 -7670
0.49/0.59 v -7671 -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680
0.49/0.59 v -7681 -7682 -7683 -7684 -7685 -7686 -7687 -7688 -7689 -7690
0.49/0.59 v -7691 -7692 -7693 -7694 -7695 -7696 -7697 -7698 -7699 -7700
0.49/0.59 v -7701 -7702 -7703 -7704 -7705 -7706 -7707 -7708 -7709 -7710
0.49/0.59 v -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720
0.49/0.59 v -7721 -7722 -7723 -7724 -7725 -7726 -7727 -7728 -7729 -7730
0.49/0.59 v -7731 -7732 -7733 7734 -7735 7736 -7737 -7738 -7739 -7740
0.49/0.59 v 7741 -7742 7743 -7744 -7745 -7746 -7747 7748 -7749 7750
0.49/0.59 v -7751 -7752 -7753 -7754 7755 -7756 7757 -7758 -7759 -7760
0.49/0.59 v -7761 7762 -7763 7764 -7765 -7766 -7767 -7768 7769 -7770
0.49/0.59 v 7771 -7772 -7773 -7774 -7775 7776 -7777 7778 -7779 -7780
0.49/0.59 v 7781 -7782 -7783 -7784 -7785 -7786 -7787 -7788 -7789 -7790
0.49/0.59 v -7791 -7792 -7793 -7794 -7795 -7796 -7797 7798 7799 7800
0.49/0.59 v -7801 -7802 -7803 -7804 -7805 -7806 -7807 -7808 -7809 -7810
0.49/0.59 v -7811 -7812 -7813 -7814 -7815 -7816 -7817 -7818 7819 -7820
0.49/0.59 v 7821 -7822 -7823 -7824 7825 -7826 -7827 -7828 -7829 -7830
0.49/0.59 v -7831 -7832 -7833 -7834 -7835 -7836 -7837 -7838 -7839 -7840
0.49/0.59 v -7841 -7842 -7843 -7844 -7845 -7846 -7847 -7848 -7849 -7850
0.49/0.59 v -7851 -7852 -7853 -7854 -7855 -7856 -7857 -7858 -7859 -7860
0.49/0.59 v -7861 -7862 -7863 -7864 -7865 -7866 -7867 -7868 -7869 -7870
0.49/0.59 v 7871 7872 7873 -7874 -7875 -7876 -7877 7878 -7879 -7880
0.49/0.59 v -7881 -7882 -7883 -7884 -7885 -7886 -7887 -7888 -7889 -7890
0.49/0.59 v -7891 -7892 -7893 -7894 -7895 -7896 -7897 -7898 7899 -7900
0.49/0.59 v 7901 -7902 -7903 -7904 -7905 -7906 -7907 -7908 -7909 -7910
0.49/0.59 v -7911 -7912 -7913 -7914 -7915 -7916 7917 -7918 7919 -7920
0.49/0.59 v -7921 -7922 7923 -7924 -7925 -7926 -7927 -7928 -7929 -7930
0.49/0.59 v -7931 -7932 -7933 -7934 -7935 -7936 -7937 -7938 -7939 -7940
0.49/0.59 v -7941 -7942 -7943 -7944 -7945 -7946 -7947 -7948 -7949 -7950
0.49/0.59 v -7951 -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959 -7960
0.49/0.59 v -7961 7962 7963 7964 -7965 -7966 -7967 -7968 7969 -7970
0.49/0.59 v -7971 -7972 -7973 -7974 -7975 -7976 -7977 -7978 -7979 -7980
0.49/0.59 v -7981 -7982 -7983 -7984 -7985 -7986 -7987 -7988 7989 -7990
0.49/0.59 v 7991 -7992 -7993 -7994 -7995 7996 -7997 7998 -7999 -8000
0.49/0.59 v -8001 -8002 8003 -8004 8005 -8006 -8007 -8008 -8009 8010
0.49/0.59 v -8011 8012 -8013 -8014 -8015 -8016 8017 -8018 8019 -8020
0.49/0.59 v -8021 -8022 -8023 8024 -8025 8026 8027 8028 8029 8030
0.49/0.59 v -8031 -8032 8033 -8034 -8035 8036 -8037 -8038 -8039 -8040
0.49/0.59 v -8041 -8042 -8043 -8044 -8045 -8046 -8047 -8048 -8049 -8050
0.49/0.59 v -8051 -8052 8053 8054 8055 -8056 -8057 -8058 -8059 -8060
0.49/0.59 v -8061 -8062 -8063 -8064 -8065 -8066 -8067 -8068 -8069 -8070
0.49/0.59 v -8071 -8072 -8073 -8074 -8075 -8076 -8077 -8078 -8079 -8080
0.49/0.59 v -8081 -8082 -8083 -8084 -8085 -8086 -8087 -8088 -8089 -8090
0.49/0.59 v -8091 -8092 -8093 -8094 -8095 -8096 -8097 -8098 -8099 -8100
0.49/0.59 v -8101 -8102 -8103 -8104 -8105 -8106 -8107 -8108 -8109 -8110
0.49/0.59 v -8111 -8112 -8113 -8114 -8115 -8116 -8117 -8118 -8119 -8120
0.49/0.59 v -8121 -8122 -8123 -8124 -8125 -8126 -8127 -8128 -8129 -8130
0.49/0.59 v -8131 -8132 -8133 -8134 -8135 -8136 -8137 -8138 -8139 -8140
0.49/0.59 v -8141 -8142 -8143 -8144 -8145 -8146 -8147 -8148 -8149 -8150
0.49/0.59 v -8151 -8152 -8153 8154 -8155 8156 -8157 -8158 -8159 -8160
0.49/0.59 v -8161 -8162 -8163 -8164 -8165 -8166 -8167 -8168 -8169 -8170
0.49/0.59 v -8171 -8172 -8173 -8174 -8175 -8176 -8177 -8178 -8179 -8180
0.49/0.59 v -8181 -8182 -8183 -8184 -8185 -8186 -8187 -8188 -8189 -8190
0.49/0.59 v -8191 -8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200
0.49/0.59 v -8201 -8202 -8203 -8204 -8205 -8206 -8207 -8208 -8209 -8210
0.49/0.59 v -8211 -8212 -8213 -8214 -8215 -8216 -8217 -8218 -8219 -8220
0.49/0.59 v -8221 -8222 -8223 -8224 -8225 -8226 -8227 -8228 -8229 -8230
0.49/0.59 v -8231 -8232 -8233 -8234 -8235 -8236 -8237 -8238 -8239 -8240
0.49/0.59 v -8241 -8242 -8243 8244 -8245 8246 -8247 -8248 -8249 -8250
0.49/0.59 v 8251 -8252 8253 -8254 -8255 -8256 -8257 8258 -8259 8260
0.49/0.59 v -8261 -8262 -8263 -8264 8265 -8266 8267 -8268 -8269 -8270
0.49/0.59 v -8271 8272 -8273 8274 -8275 -8276 -8277 -8278 8279 -8280
0.49/0.59 v 8281 -8282 -8283 -8284 -8285 8286 -8287 8288 -8289 -8290
0.49/0.59 v 8291 -8292 -8293 -8294 -8295 -8296 -8297 -8298 -8299 -8300
0.49/0.59 v -8301 -8302 -8303 -8304 -8305 -8306 -8307 8308 8309 8310
0.49/0.59 v -8311 -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319 -8320
0.49/0.59 v -8321 -8322 -8323 -8324 -8325 -8326 -8327 -8328 -8329 -8330
0.49/0.59 v -8331 -8332 -8333 -8334 -8335 -8336 -8337 -8338 -8339 -8340
0.49/0.59 v -8341 -8342 -8343 -8344 -8345 -8346 -8347 -8348 -8349 -8350
0.49/0.59 v -8351 -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359 -8360
0.49/0.59 v -8361 -8362 -8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370
0.49/0.59 v -8371 -8372 -8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380
0.49/0.59 v -8381 -8382 -8383 -8384 -8385 -8386 -8387 -8388 -8389 -8390
0.49/0.59 v -8391 -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399 -8400
0.49/0.59 v -8401 -8402 -8403 -8404 -8405 -8406 -8407 -8408 8409 -8410
0.49/0.59 v 8411 -8412 -8413 -8414 -8415 -8416 -8417 -8418 -8419 -8420
0.49/0.59 v -8421 -8422 -8423 -8424 -8425 -8426 -8427 -8428 -8429 -8430
0.49/0.59 v -8431 -8432 -8433 -8434 -8435 -8436 -8437 -8438 -8439 -8440
0.49/0.59 v -8441 -8442 -8443 -8444 -8445 -8446 -8447 -8448 -8449 -8450
0.49/0.59 v -8451 -8452 -8453 -8454 -8455 -8456 -8457 -8458 -8459 -8460
0.49/0.59 v -8461 -8462 -8463 -8464 -8465 -8466 -8467 -8468 -8469 -8470
0.49/0.59 v -8471 -8472 -8473 -8474 -8475 -8476 -8477 -8478 -8479 -8480
0.49/0.59 v -8481 -8482 -8483 -8484 -8485 -8486 -8487 -8488 -8489 -8490
0.49/0.59 v -8491 -8492 -8493 -8494 -8495 -8496 -8497 -8498 8499 -8500
0.49/0.59 v 8501 -8502 -8503 -8504 -8505 8506 -8507 8508 -8509 -8510
0.49/0.59 v -8511 -8512 8513 -8514 8515 -8516 -8517 -8518 -8519 8520
0.49/0.59 v -8521 8522 -8523 -8524 -8525 -8526 8527 -8528 8529 -8530
0.49/0.59 v -8531 -8532 -8533 8534 -8535 8536 -8537 -8538 -8539 -8540
0.49/0.59 v 8541 -8542 8543 -8544 -8545 8546 -8547 -8548 -8549 -8550
0.49/0.59 v -8551 -8552 -8553 -8554 -8555 -8556 -8557 -8558 -8559 -8560
0.49/0.59 v -8561 -8562 8563 8564 8565 8566 8567 0
0.59/0.60
0.59/0.60 c Models : 1+
0.59/0.60 c Time : 0.590s (Solve: 0.470s)
0.59/0.60 s SATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1560591-1238757880/watcher-1560591-1238757880 -o /tmp/evaluation-result-1560591-1238757880/solver-1560591-1238757880 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/clasp --file=HOME/instance-1560591-1238757880.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 0.99 1.00 3/71 3772
/proc/meminfo: memFree=1764424/2055920 swapFree=4170332/4192956
[pid=3772] ppid=3770 vsize=2568 CPUtime=0
/proc/3772/stat : 3772 (clasp) R 3770 3772 3590 0 -1 4194304 406 0 0 0 0 0 0 0 18 0 1 0 1148451070 2629632 390 1992294400 134512640 136057169 4294956160 18446744073709551615 135459759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/3772/statm: 642 391 147 377 0 262 0
[startup+0.0183441 s]
/proc/loadavg: 1.00 0.99 1.00 3/71 3772
/proc/meminfo: memFree=1764424/2055920 swapFree=4170332/4192956
[pid=3772] ppid=3770 vsize=3336 CPUtime=0.01
/proc/3772/stat : 3772 (clasp) R 3770 3772 3590 0 -1 4194304 582 0 0 0 1 0 0 0 18 0 1 0 1148451070 3416064 566 1992294400 134512640 136057169 4294956160 18446744073709551615 134767168 0 0 4096 16386 0 0 0 17 1 0 0
/proc/3772/statm: 834 567 147 377 0 454 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3336
[startup+0.101359 s]
/proc/loadavg: 1.00 0.99 1.00 3/71 3772
/proc/meminfo: memFree=1764424/2055920 swapFree=4170332/4192956
[pid=3772] ppid=3770 vsize=5240 CPUtime=0.09
/proc/3772/stat : 3772 (clasp) R 3770 3772 3590 0 -1 4194304 1130 0 0 0 9 0 0 0 18 0 1 0 1148451070 5365760 1048 1992294400 134512640 136057169 4294956160 18446744073709551615 134774448 0 0 4096 16386 0 0 0 17 1 0 0
/proc/3772/statm: 1310 1048 170 377 0 930 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5240
[startup+0.301396 s]
/proc/loadavg: 1.00 0.99 1.00 3/71 3772
/proc/meminfo: memFree=1764424/2055920 swapFree=4170332/4192956
[pid=3772] ppid=3770 vsize=5172 CPUtime=0.29
/proc/3772/stat : 3772 (clasp) R 3770 3772 3590 0 -1 4194304 1257 0 0 0 29 0 0 0 19 0 1 0 1148451070 5296128 1050 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 1 0 0
/proc/3772/statm: 1293 1050 183 377 0 913 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5172
Solver just ended. Dumping a history of the last processes samples
[startup+0.501434 s]
/proc/loadavg: 1.00 0.99 1.00 3/71 3772
/proc/meminfo: memFree=1764424/2055920 swapFree=4170332/4192956
[pid=3772] ppid=3770 vsize=5172 CPUtime=0.49
/proc/3772/stat : 3772 (clasp) R 3770 3772 3590 0 -1 4194304 1263 0 0 0 49 0 0 0 20 0 1 0 1148451070 5296128 1056 1992294400 134512640 136057169 4294956160 18446744073709551615 134823738 0 0 4096 16386 0 0 0 17 1 0 0
/proc/3772/statm: 1293 1056 183 377 0 913 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 5172
[startup+0.601454 s]
/proc/loadavg: 1.00 0.99 1.00 3/71 3772
/proc/meminfo: memFree=1764424/2055920 swapFree=4170332/4192956
[pid=3772] ppid=3770 vsize=5172 CPUtime=0.59
/proc/3772/stat : 3772 (clasp) R 3770 3772 3590 0 -1 4194304 1280 0 0 0 59 0 0 0 16 0 1 0 1148451070 5296128 1073 1992294400 134512640 136057169 4294956160 18446744073709551615 135433867 0 0 4096 16386 0 0 0 17 1 0 0
/proc/3772/statm: 1293 1073 187 377 0 913 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 5172
Child status: 10
Real time (s): 0.606083
CPU time (s): 0.602908
CPU user time (s): 0.596909
CPU system time (s): 0.005999
CPU usage (%): 99.4761
Max. virtual memory (cumulated for all children) (KiB): 5240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.596909
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1280
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= 37
involuntary context switches= 0
runsolver used 0.007998 second user time and 0.008998 second system time
The end
Begin job on node38 at 2009-04-03 13:24:40
IDJOB=1560591
IDBENCH=70899
IDSOLVER=508
FILE ID=node38/1560591-1238757880
PBS_JOBID= 9085490
Free space on /tmp= 66488 MiB
SOLVER NAME= clasp 1.2.0-SAT09-32
BENCH NAME= SAT09/APPLICATIONS/aprove09/AProVE09-07.cnf
COMMAND LINE= HOME/clasp --file=BENCHNAME --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1560591-1238757880/watcher-1560591-1238757880 -o /tmp/evaluation-result-1560591-1238757880/solver-1560591-1238757880 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/clasp --file=HOME/instance-1560591-1238757880.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c5fb730ce517a6a48db8bb4f0db1d85a
RANDOM SEED=1482866921
node38.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1764904 kB
Buffers: 26460 kB
Cached: 171288 kB
SwapCached: 11216 kB
Active: 17656 kB
Inactive: 192880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1764904 kB
SwapTotal: 4192956 kB
SwapFree: 4170332 kB
Dirty: 2380 kB
Writeback: 0 kB
Mapped: 18460 kB
Slab: 65704 kB
Committed_AS: 3419068 kB
PageTables: 1988 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66484 MiB
End job on node38 at 2009-04-03 13:24:41