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