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