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