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