Trace number 1831739

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
clasp 1.2.0-SAT09-32SAT 1.9887 1.99292

General information on the benchmark

NameAPPLICATIONS/aprove09/
AProVE09-05.cnf
MD5SUMaf775a2959a121dbdf88d251c7971506
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.48277
Satisfiable
(Un)Satisfiability was proved
Number of variables14685
Number of clauses49510
Sum of the clauses size127630
Maximum clause length38
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 222578
Number of clauses of size 325464
Number of clauses of size 41414
Number of clauses of size 515
Number of clauses of size over 538

Solver Data 

1.90/1.95	c clasp version 1.2.0-SAT09 
1.90/1.95	c Reading from ...776372/instance-1831739-1242776372.cnf
1.90/1.95	c Reading      : Done(0.020s)
1.90/1.95	c Preprocessing: |-\|/Done(0.200s)
1.90/1.95	c Solving...
1.90/1.95	c Model: 1
1.90/1.95	v -1 2 3 -4 5 -6 -7 -8 -9 -10
1.90/1.95	v 11 -12 -13 -14 -15 -16 -17 -18 -19 -20
1.90/1.95	v -21 -22 -23 -24 -25 -26 27 28 -29 -30
1.90/1.95	v -31 -32 -33 -34 -35 -36 -37 -38 -39 40
1.90/1.95	v -41 -42 -43 -44 -45 -46 -47 -48 -49 -50
1.90/1.95	v 51 -52 -53 -54 -55 -56 -57 -58 -59 -60
1.90/1.95	v 61 -62 -63 -64 -65 -66 -67 -68 -69 -70
1.90/1.95	v -71 -72 -73 -74 -75 -76 -77 -78 -79 -80
1.90/1.95	v -81 -82 -83 -84 -85 -86 -87 -88 -89 -90
1.90/1.95	v -91 -92 -93 -94 -95 96 -97 -98 -99 -100
1.90/1.95	v -101 -102 -103 -104 -105 -106 -107 -108 -109 -110
1.90/1.95	v -111 -112 -113 -114 -115 -116 -117 -118 -119 -120
1.90/1.95	v -121 -122 -123 -124 -125 -126 -127 -128 -129 -130
1.90/1.95	v -131 -132 -133 -134 -135 -136 -137 -138 -139 -140
1.90/1.95	v -141 -142 -143 -144 -145 -146 -147 -148 -149 -150
1.90/1.95	v -151 -152 -153 -154 -155 -156 -157 -158 -159 160
1.90/1.95	v 161 -162 -163 -164 165 -166 -167 -168 -169 -170
1.90/1.95	v -171 -172 -173 -174 -175 -176 -177 178 -179 -180
1.90/1.95	v -181 -182 -183 -184 -185 -186 -187 -188 -189 -190
1.90/1.95	v -191 -192 -193 -194 -195 -196 -197 -198 -199 -200
1.90/1.95	v -201 -202 -203 -204 -205 -206 207 -208 209 -210
1.90/1.95	v -211 -212 213 -214 215 -216 -217 -218 -219 220
1.90/1.95	v -221 222 -223 -224 225 -226 -227 -228 -229 -230
1.90/1.95	v -231 -232 -233 234 235 236 237 -238 -239 240
1.90/1.95	v -241 242 -243 -244 -245 246 -247 -248 -249 -250
1.90/1.95	v -251 -252 -253 -254 -255 -256 -257 258 259 -260
1.90/1.95	v -261 -262 -263 -264 -265 -266 267 -268 -269 -270
1.90/1.95	v -271 -272 -273 -274 275 276 -277 278 279 280
1.90/1.95	v 281 -282 -283 -284 -285 -286 -287 -288 -289 -290
1.90/1.95	v -291 -292 -293 -294 -295 -296 -297 -298 -299 300
1.90/1.95	v -301 -302 -303 -304 -305 -306 -307 -308 -309 310
1.90/1.95	v -311 -312 -313 -314 -315 -316 -317 -318 -319 -320
1.90/1.95	v -321 -322 -323 -324 -325 -326 -327 -328 -329 -330
1.90/1.95	v -331 332 -333 -334 -335 -336 -337 -338 -339 -340
1.90/1.95	v -341 -342 -343 -344 -345 -346 -347 -348 -349 -350
1.90/1.95	v -351 -352 -353 -354 -355 -356 -357 -358 -359 -360
1.90/1.95	v -361 -362 -363 -364 -365 -366 -367 -368 -369 -370
1.90/1.95	v -371 -372 -373 -374 -375 -376 -377 -378 -379 -380
1.90/1.95	v -381 -382 -383 -384 -385 -386 -387 -388 -389 -390
1.90/1.95	v -391 -392 -393 394 -395 -396 -397 -398 -399 -400
1.90/1.95	v -401 -402 -403 -404 -405 -406 -407 -408 -409 -410
1.90/1.95	v -411 -412 -413 -414 -415 -416 -417 -418 -419 -420
1.90/1.95	v -421 -422 -423 -424 -425 -426 -427 -428 -429 -430
1.90/1.95	v -431 -432 -433 -434 -435 -436 -437 -438 -439 -440
1.90/1.95	v -441 -442 -443 -444 -445 -446 -447 -448 -449 -450
1.90/1.95	v -451 -452 -453 -454 -455 -456 -457 -458 -459 -460
1.90/1.95	v -461 -462 -463 -464 -465 -466 -467 -468 -469 -470
1.90/1.95	v -471 -472 -473 -474 -475 -476 -477 -478 -479 -480
1.90/1.95	v -481 -482 -483 -484 -485 -486 -487 -488 -489 -490
1.90/1.95	v -491 -492 -493 -494 -495 -496 -497 -498 -499 -500
1.90/1.95	v -501 -502 -503 -504 -505 -506 -507 -508 -509 -510
1.90/1.95	v -511 -512 -513 -514 -515 -516 -517 -518 -519 -520
1.90/1.95	v -521 -522 -523 -524 -525 -526 -527 -528 -529 -530
1.90/1.95	v -531 -532 -533 -534 -535 -536 -537 -538 -539 -540
1.90/1.95	v -541 -542 -543 -544 -545 -546 -547 -548 -549 -550
1.90/1.95	v -551 -552 -553 -554 -555 -556 -557 -558 -559 -560
1.90/1.95	v -561 562 -563 -564 -565 -566 -567 -568 -569 -570
1.90/1.95	v -571 572 -573 574 -575 -576 -577 -578 -579 -580
1.90/1.95	v -581 -582 -583 -584 -585 -586 -587 -588 -589 -590
1.90/1.96	v -591 -592 -593 -594 -595 -596 -597 -598 -599 -600
1.90/1.96	v -601 -602 -603 -604 -605 -606 -607 -608 -609 -610
1.90/1.96	v -611 -612 -613 -614 -615 -616 -617 -618 -619 620
1.90/1.96	v -621 622 -623 -624 -625 626 -627 628 -629 -630
1.90/1.96	v -631 -632 633 -634 635 -636 -637 638 -639 -640
1.90/1.96	v -641 -642 -643 -644 -645 -646 647 648 649 650
1.90/1.96	v -651 -652 -653 654 -655 -656 -657 -658 -659 -660
1.90/1.96	v -661 -662 -663 -664 665 666 -667 -668 -669 -670
1.90/1.96	v -671 -672 -673 -674 -675 -676 -677 -678 -679 -680
1.90/1.96	v -681 -682 -683 -684 -685 686 -687 -688 -689 -690
1.90/1.96	v -691 -692 -693 -694 -695 -696 -697 -698 -699 -700
1.90/1.96	v -701 -702 -703 -704 -705 -706 -707 -708 -709 -710
1.90/1.96	v -711 -712 -713 -714 -715 -716 -717 -718 -719 -720
1.90/1.96	v -721 -722 -723 -724 -725 -726 727 728 -729 -730
1.90/1.96	v -731 -732 -733 -734 -735 -736 -737 -738 -739 -740
1.90/1.96	v -741 -742 -743 -744 -745 -746 -747 -748 -749 -750
1.90/1.96	v -751 -752 -753 -754 -755 -756 -757 -758 -759 -760
1.90/1.96	v -761 -762 -763 -764 -765 -766 -767 -768 -769 -770
1.90/1.96	v -771 -772 -773 -774 -775 -776 -777 778 -779 -780
1.90/1.96	v -781 -782 -783 -784 -785 -786 -787 -788 -789 790
1.90/1.96	v -791 792 -793 -794 795 -796 -797 -798 -799 -800
1.90/1.96	v -801 -802 -803 -804 -805 -806 -807 808 809 -810
1.90/1.96	v -811 -812 -813 -814 -815 -816 -817 -818 -819 -820
1.90/1.96	v -821 -822 -823 -824 -825 -826 -827 -828 829 -830
1.90/1.96	v -831 -832 -833 -834 -835 -836 837 -838 839 -840
1.90/1.96	v -841 -842 843 -844 845 -846 -847 -848 -849 850
1.90/1.96	v -851 852 853 854 -855 -856 -857 -858 -859 -860
1.90/1.96	v -861 -862 -863 864 865 866 867 -868 -869 -870
1.90/1.96	v 871 -872 -873 -874 -875 -876 -877 -878 -879 -880
1.90/1.96	v -881 -882 -883 884 885 -886 -887 -888 -889 -890
1.90/1.96	v -891 -892 -893 -894 -895 -896 -897 -898 -899 -900
1.90/1.96	v -901 -902 -903 -904 905 -906 -907 -908 -909 -910
1.90/1.96	v -911 -912 -913 -914 -915 -916 -917 -918 -919 -920
1.90/1.96	v -921 -922 -923 -924 -925 -926 -927 -928 -929 -930
1.90/1.96	v -931 -932 -933 -934 -935 -936 -937 -938 -939 -940
1.90/1.96	v -941 -942 -943 -944 -945 946 947 -948 -949 -950
1.90/1.96	v -951 -952 -953 -954 -955 -956 -957 -958 -959 -960
1.90/1.96	v -961 -962 -963 -964 -965 -966 -967 -968 -969 -970
1.90/1.96	v -971 -972 -973 -974 -975 -976 -977 -978 -979 -980
1.90/1.96	v -981 -982 -983 -984 -985 -986 -987 -988 -989 -990
1.90/1.96	v -991 -992 -993 -994 -995 -996 997 -998 -999 -1000
1.90/1.96	v -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010
1.90/1.96	v -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020
1.90/1.96	v -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030
1.90/1.96	v -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040
1.90/1.96	v -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050
1.90/1.96	v -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060
1.90/1.96	v -1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070
1.90/1.96	v -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 1079 1080
1.90/1.96	v -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090
1.90/1.96	v -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100
1.90/1.96	v -1101 -1102 -1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110
1.90/1.96	v -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120
1.90/1.96	v -1121 -1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130
1.90/1.96	v -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140
1.90/1.96	v -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150
1.90/1.96	v -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160
1.90/1.96	v -1161 -1162 -1163 -1164 -1165 1166 -1167 -1168 -1169 -1170
1.90/1.96	v -1171 -1172 -1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180
1.90/1.96	v -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190
1.90/1.96	v -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200
1.90/1.96	v -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210
1.90/1.96	v -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220
1.90/1.96	v -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230
1.90/1.96	v -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240
1.90/1.96	v -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250
1.90/1.96	v -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260
1.90/1.96	v -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270
1.90/1.96	v -1271 -1272 -1273 -1274 -1275 1276 1277 -1278 -1279 -1280
1.90/1.96	v -1281 -1282 -1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290
1.90/1.96	v -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300
1.90/1.96	v -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310
1.90/1.96	v -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320
1.90/1.96	v -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330
1.90/1.96	v -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340
1.90/1.96	v -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350
1.90/1.96	v -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360
1.90/1.96	v -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370
1.90/1.96	v -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380
1.90/1.96	v -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390
1.90/1.96	v -1391 -1392 1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400
1.90/1.96	v -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410
1.90/1.96	v -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420
1.90/1.96	v -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430
1.90/1.96	v -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440
1.90/1.96	v -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450
1.90/1.96	v -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460
1.90/1.96	v -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470
1.90/1.96	v -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480
1.90/1.96	v -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490
1.90/1.96	v -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500
1.90/1.96	v -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510
1.90/1.96	v -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520
1.90/1.96	v -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530
1.90/1.96	v -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540
1.90/1.96	v -1541 -1542 -1543 1544 -1545 -1546 -1547 -1548 -1549 -1550
1.90/1.96	v -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560
1.90/1.96	v -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570
1.90/1.96	v -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580
1.90/1.96	v -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590
1.90/1.96	v -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600
1.90/1.96	v -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610
1.90/1.96	v -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620
1.90/1.96	v -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630
1.90/1.96	v -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640
1.90/1.96	v -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650
1.90/1.96	v -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660
1.90/1.96	v -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670
1.90/1.96	v -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680
1.90/1.96	v -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690
1.90/1.96	v -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700
1.90/1.96	v -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710
1.90/1.96	v -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720
1.90/1.96	v -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730
1.90/1.96	v -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740
1.90/1.96	v -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750
1.90/1.96	v -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760
1.90/1.96	v -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770
1.90/1.96	v -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780
1.90/1.96	v -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790
1.90/1.96	v -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800
1.90/1.96	v -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810
1.90/1.96	v -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820
1.90/1.96	v -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830
1.90/1.96	v -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840
1.90/1.96	v -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850
1.90/1.96	v -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860
1.90/1.96	v -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870
1.90/1.96	v -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880
1.90/1.96	v -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890
1.90/1.96	v -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900
1.90/1.96	v -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908 -1909 -1910
1.90/1.96	v -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920
1.90/1.96	v -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930
1.90/1.96	v -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940
1.90/1.96	v -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950
1.90/1.96	v -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960
1.90/1.96	v -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970
1.90/1.96	v -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980
1.90/1.96	v -1981 -1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990
1.90/1.96	v -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000
1.90/1.96	v -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010
1.90/1.96	v -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020
1.90/1.96	v -2021 -2022 -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030
1.90/1.96	v -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040
1.90/1.96	v -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050
1.90/1.96	v -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060
1.90/1.96	v -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070
1.90/1.96	v -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080
1.90/1.96	v -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090
1.90/1.96	v -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100
1.90/1.96	v -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110
1.90/1.96	v -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120
1.90/1.96	v -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130
1.90/1.96	v -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140
1.90/1.96	v -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150
1.90/1.96	v -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160
1.90/1.96	v -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170
1.90/1.96	v -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180
1.90/1.96	v -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190
1.90/1.96	v -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200
1.90/1.96	v -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210
1.90/1.96	v -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220
1.90/1.96	v -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230
1.90/1.96	v -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240
1.90/1.96	v -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250
1.90/1.96	v -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260
1.90/1.96	v -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270
1.90/1.96	v -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280
1.90/1.96	v -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290
1.90/1.96	v -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300
1.90/1.96	v -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310
1.90/1.96	v -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320
1.90/1.96	v -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330
1.90/1.96	v -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340
1.90/1.96	v -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350
1.90/1.96	v -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360
1.90/1.96	v -2361 -2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370
1.90/1.96	v -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380
1.90/1.96	v -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390
1.90/1.96	v -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400
1.90/1.96	v -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410
1.90/1.96	v -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420
1.90/1.96	v -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430
1.90/1.96	v -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440
1.90/1.96	v -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450
1.90/1.96	v -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460
1.90/1.96	v -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470
1.90/1.96	v -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480
1.90/1.96	v -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490
1.90/1.96	v -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500
1.90/1.96	v -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510
1.90/1.96	v -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520
1.90/1.96	v -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530
1.90/1.96	v -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540
1.90/1.96	v -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550
1.90/1.96	v -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560
1.90/1.96	v -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570
1.90/1.96	v -2571 -2572 -2573 -2574 2575 -2576 2577 -2578 -2579 2580
1.90/1.96	v -2581 2582 -2583 -2584 -2585 -2586 2587 -2588 2589 -2590
1.90/1.96	v -2591 -2592 -2593 2594 -2595 2596 -2597 -2598 -2599 -2600
1.90/1.96	v 2601 -2602 2603 -2604 -2605 -2606 -2607 2608 -2609 2610
1.90/1.96	v -2611 -2612 -2613 -2614 2615 -2616 2617 -2618 -2619 -2620
1.90/1.96	v -2621 2622 -2623 2624 -2625 -2626 -2627 -2628 2629 -2630
1.90/1.96	v 2631 -2632 -2633 2634 -2635 -2636 -2637 -2638 -2639 -2640
1.90/1.96	v -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650
1.90/1.96	v -2651 -2652 -2653 2654 2655 2656 -2657 -2658 -2659 -2660
1.90/1.96	v -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670
1.90/1.96	v -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680
1.90/1.96	v -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690
1.90/1.96	v -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700
1.90/1.96	v -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710
1.90/1.96	v -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720
1.90/1.96	v -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730
1.90/1.96	v -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740
1.90/1.96	v -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750
1.90/1.96	v -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760
1.90/1.96	v -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770
1.90/1.96	v -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780
1.90/1.96	v -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790
1.90/1.96	v -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800
1.90/1.96	v -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810
1.90/1.96	v -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820
1.90/1.96	v -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830
1.90/1.96	v -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840
1.90/1.96	v -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850
1.90/1.96	v -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860
1.90/1.96	v -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870
1.90/1.96	v -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880
1.90/1.96	v -2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890
1.90/1.96	v -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900
1.90/1.96	v -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910
1.90/1.96	v -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920
1.90/1.96	v -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930
1.90/1.96	v -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940
1.90/1.96	v -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950
1.90/1.96	v -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960
1.90/1.96	v -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970
1.90/1.96	v -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980
1.90/1.96	v -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990
1.90/1.96	v -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000
1.90/1.96	v -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010
1.90/1.96	v -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020
1.90/1.96	v -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030
1.90/1.96	v -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040
1.90/1.96	v -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050
1.90/1.96	v -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060
1.90/1.96	v -3061 -3062 -3063 -3064 -3065 -3066 -3067 -3068 -3069 -3070
1.90/1.96	v -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080
1.90/1.96	v -3081 -3082 -3083 -3084 -3085 -3086 3087 -3088 -3089 -3090
1.90/1.96	v -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100
1.90/1.96	v -3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110
1.90/1.96	v -3111 -3112 -3113 3114 -3115 -3116 -3117 -3118 -3119 -3120
1.90/1.96	v -3121 -3122 -3123 -3124 -3125 3126 -3127 -3128 -3129 -3130
1.90/1.96	v -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140
1.90/1.96	v -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150
1.90/1.96	v -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160
1.90/1.96	v -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170
1.90/1.96	v -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180
1.90/1.96	v -3181 -3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190
1.90/1.96	v -3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200
1.90/1.96	v -3201 -3202 -3203 -3204 -3205 3206 -3207 3208 -3209 -3210
1.90/1.96	v 3211 -3212 3213 -3214 -3215 3216 -3217 3218 -3219 -3220
1.90/1.96	v 3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 3230
1.90/1.96	v 3231 3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240
1.90/1.96	v -3241 -3242 -3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250
1.90/1.96	v -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260
1.90/1.96	v -3261 -3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270
1.90/1.96	v -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280
1.90/1.96	v -3281 -3282 -3283 -3284 3285 -3286 -3287 -3288 -3289 -3290
1.90/1.96	v -3291 -3292 -3293 -3294 3295 -3296 3297 -3298 -3299 -3300
1.90/1.96	v -3301 -3302 -3303 -3304 -3305 -3306 -3307 -3308 -3309 -3310
1.90/1.96	v -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 3320
1.90/1.96	v -3321 3322 -3323 -3324 -3325 3326 -3327 3328 -3329 -3330
1.90/1.96	v -3331 -3332 3333 -3334 3335 -3336 -3337 3338 -3339 -3340
1.90/1.96	v -3341 -3342 -3343 -3344 -3345 -3346 3347 3348 3349 -3350
1.90/1.96	v -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360
1.90/1.96	v -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370
1.90/1.96	v -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380
1.90/1.96	v -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 -3389 -3390
1.90/1.96	v -3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400
1.90/1.96	v -3401 -3402 -3403 -3404 -3405 -3406 -3407 -3408 -3409 -3410
1.90/1.96	v -3411 -3412 -3413 3414 -3415 -3416 -3417 -3418 -3419 -3420
1.90/1.96	v -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430
1.90/1.96	v -3431 3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440
1.90/1.96	v -3441 -3442 -3443 3444 -3445 -3446 -3447 -3448 -3449 -3450
1.90/1.96	v -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460
1.90/1.96	v -3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469 -3470
1.90/1.96	v -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480
1.90/1.96	v -3481 -3482 -3483 -3484 -3485 -3486 -3487 3488 -3489 3490
1.90/1.96	v -3491 -3492 3493 -3494 3495 -3496 -3497 3498 -3499 3500
1.90/1.96	v -3501 -3502 3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510
1.90/1.96	v -3511 3512 3513 3514 -3515 -3516 -3517 -3518 -3519 -3520
1.90/1.96	v -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530
1.90/1.96	v -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540
1.90/1.96	v -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550
1.90/1.96	v -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560
1.90/1.96	v -3561 -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570
1.90/1.96	v -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 3579 -3580
1.90/1.96	v -3581 -3582 -3583 -3584 -3585 -3586 -3587 -3588 -3589 -3590
1.90/1.96	v -3591 -3592 -3593 -3594 -3595 -3596 3597 -3598 -3599 -3600
1.90/1.96	v -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 3609 -3610
1.90/1.96	v -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620
1.90/1.96	v -3621 -3622 -3623 -3624 -3625 -3626 -3627 -3628 -3629 -3630
1.90/1.96	v -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640
1.90/1.96	v -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650
1.90/1.96	v -3651 -3652 3653 -3654 3655 -3656 -3657 3658 -3659 3660
1.90/1.96	v -3661 -3662 3663 -3664 3665 -3666 -3667 3668 -3669 -3670
1.90/1.96	v -3671 -3672 -3673 -3674 -3675 -3676 3677 3678 3679 -3680
1.90/1.96	v -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690
1.90/1.96	v -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700
1.90/1.96	v -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710
1.90/1.96	v -3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719 -3720
1.90/1.96	v -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730
1.90/1.96	v -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740
1.90/1.96	v -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 -3749 -3750
1.90/1.96	v -3751 -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760
1.90/1.96	v -3761 -3762 -3763 -3764 -3765 -3766 -3767 -3768 -3769 -3770
1.90/1.96	v -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780
1.90/1.96	v -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790
1.90/1.96	v -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800
1.90/1.96	v -3801 -3802 -3803 -3804 -3805 -3806 -3807 -3808 -3809 -3810
1.90/1.96	v -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820
1.90/1.96	v -3821 -3822 -3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830
1.90/1.96	v -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840
1.90/1.96	v -3841 -3842 -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850
1.90/1.96	v -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860
1.90/1.96	v -3861 -3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870
1.90/1.96	v -3871 -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880
1.90/1.96	v -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890
1.90/1.96	v -3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900
1.90/1.96	v -3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910
1.90/1.96	v -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920
1.90/1.96	v -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930
1.90/1.96	v -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940
1.90/1.96	v -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950
1.90/1.96	v -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960
1.90/1.96	v -3961 -3962 3963 -3964 -3965 -3966 -3967 -3968 -3969 -3970
1.90/1.96	v -3971 -3972 3973 -3974 3975 -3976 -3977 -3978 -3979 -3980
1.90/1.96	v -3981 -3982 -3983 -3984 -3985 3986 -3987 -3988 -3989 -3990
1.90/1.96	v -3991 -3992 3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000
1.90/1.96	v -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010
1.90/1.96	v -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 4020
1.90/1.96	v -4021 4022 -4023 -4024 -4025 4026 -4027 4028 -4029 -4030
1.90/1.96	v -4031 -4032 4033 -4034 4035 -4036 -4037 4038 -4039 -4040
1.90/1.96	v -4041 -4042 -4043 -4044 -4045 -4046 4047 4048 4049 -4050
1.90/1.96	v -4051 -4052 -4053 -4054 4055 -4056 -4057 -4058 -4059 -4060
1.90/1.96	v -4061 -4062 -4063 -4064 -4065 -4066 4067 -4068 -4069 -4070
1.90/1.96	v 4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080
1.90/1.96	v -4081 -4082 4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090
1.90/1.96	v -4091 -4092 -4093 -4094 4095 -4096 -4097 -4098 4099 -4100
1.90/1.96	v -4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108 -4109 -4110
1.90/1.96	v 4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120
1.90/1.96	v -4121 -4122 -4123 -4124 -4125 -4126 -4127 -4128 -4129 -4130
1.90/1.96	v -4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140
1.90/1.96	v -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150
1.90/1.96	v -4151 -4152 -4153 -4154 4155 -4156 -4157 -4158 -4159 -4160
1.90/1.96	v -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 4169 -4170
1.90/1.96	v -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180
1.90/1.96	v -4181 -4182 -4183 -4184 -4185 -4186 -4187 4188 -4189 -4190
1.90/1.96	v -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200
1.90/1.96	v -4201 -4202 -4203 -4204 -4205 -4206 4207 -4208 -4209 -4210
1.90/1.96	v -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220
1.90/1.96	v -4221 -4222 4223 4224 4225 4226 4227 -4228 -4229 -4230
1.90/1.96	v -4231 -4232 -4233 -4234 -4235 4236 -4237 -4238 -4239 -4240
1.90/1.96	v -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250
1.90/1.96	v 4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260
1.90/1.96	v -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270
1.90/1.96	v -4271 -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280
1.90/1.96	v -4281 -4282 -4283 -4284 -4285 -4286 -4287 -4288 -4289 -4290
1.90/1.96	v -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300
1.90/1.96	v -4301 -4302 -4303 -4304 -4305 -4306 -4307 -4308 -4309 -4310
1.90/1.96	v -4311 -4312 -4313 4314 -4315 -4316 4317 -4318 -4319 -4320
1.90/1.96	v 4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330
1.90/1.96	v -4331 -4332 -4333 -4334 -4335 4336 4337 -4338 -4339 -4340
1.90/1.96	v -4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350
1.90/1.96	v -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360
1.90/1.96	v -4361 -4362 -4363 4364 -4365 -4366 -4367 -4368 -4369 -4370
1.90/1.96	v -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380
1.90/1.96	v -4381 -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390
1.90/1.96	v -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400
1.90/1.96	v -4401 -4402 -4403 -4404 -4405 -4406 -4407 -4408 -4409 -4410
1.90/1.96	v -4411 -4412 -4413 -4414 -4415 4416 -4417 -4418 4419 -4420
1.90/1.96	v -4421 -4422 4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430
1.90/1.96	v -4431 -4432 -4433 -4434 -4435 -4436 -4437 4438 4439 -4440
1.90/1.96	v -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450
1.90/1.96	v -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460
1.90/1.96	v -4461 -4462 -4463 -4464 -4465 4466 -4467 -4468 -4469 -4470
1.90/1.96	v -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480
1.90/1.96	v -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490
1.90/1.96	v -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500
1.90/1.96	v -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510
1.90/1.96	v -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520
1.90/1.96	v -4521 -4522 -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530
1.90/1.96	v -4531 -4532 -4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540
1.90/1.96	v -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550
1.90/1.96	v -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 4559 -4560
1.90/1.96	v -4561 4562 -4563 -4564 -4565 4566 -4567 -4568 -4569 -4570
1.90/1.96	v -4571 -4572 -4573 -4574 -4575 -4576 -4577 -4578 -4579 -4580
1.90/1.96	v -4581 -4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589 4590
1.90/1.96	v 4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600
1.90/1.96	v -4601 -4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610
1.90/1.96	v -4611 -4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620
1.90/1.96	v -4621 -4622 -4623 4624 4625 4626 -4627 -4628 -4629 -4630
1.90/1.96	v -4631 -4632 4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640
1.90/1.96	v -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 -4649 -4650
1.90/1.96	v -4651 -4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660
1.90/1.96	v -4661 -4662 4663 4664 -4665 -4666 -4667 -4668 4669 -4670
1.90/1.96	v -4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680
1.90/1.96	v -4681 -4682 -4683 -4684 -4685 -4686 -4687 -4688 -4689 -4690
1.90/1.96	v -4691 -4692 -4693 -4694 -4695 -4696 -4697 -4698 4699 4700
1.90/1.96	v 4701 4702 -4703 -4704 -4705 4706 4707 4708 4709 4710
1.90/1.96	v -4711 -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719 -4720
1.90/1.96	v -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 4729 -4730
1.90/1.96	v -4731 -4732 -4733 -4734 -4735 -4736 -4737 -4738 -4739 -4740
1.90/1.96	v -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750
1.90/1.96	v -4751 -4752 -4753 -4754 -4755 -4756 -4757 -4758 4759 -4760
1.90/1.96	v -4761 -4762 -4763 -4764 -4765 4766 4767 4768 -4769 -4770
1.90/1.96	v -4771 -4772 -4773 4774 -4775 -4776 -4777 -4778 -4779 -4780
1.90/1.96	v -4781 -4782 -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790
1.90/1.96	v -4791 -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800
1.90/1.96	v -4801 -4802 4803 4804 -4805 -4806 -4807 -4808 -4809 -4810
1.90/1.96	v -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820
1.90/1.96	v -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830
1.90/1.96	v -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840
1.90/1.96	v -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850
1.90/1.96	v -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860
1.90/1.96	v -4861 -4862 -4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870
1.90/1.96	v -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880
1.90/1.96	v -4881 -4882 -4883 -4884 -4885 -4886 -4887 -4888 -4889 -4890
1.90/1.96	v -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900
1.90/1.96	v -4901 -4902 -4903 -4904 -4905 -4906 -4907 -4908 -4909 -4910
1.90/1.96	v -4911 -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919 -4920
1.90/1.96	v -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930
1.90/1.96	v -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 -4939 -4940
1.90/1.96	v -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950
1.90/1.96	v -4951 -4952 -4953 -4954 -4955 4956 -4957 -4958 -4959 -4960
1.90/1.96	v -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970
1.90/1.96	v -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980
1.90/1.96	v -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990
1.90/1.96	v -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000
1.90/1.96	v -5001 -5002 -5003 -5004 -5005 -5006 -5007 -5008 -5009 -5010
1.90/1.96	v -5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 -5019 -5020
1.90/1.96	v -5021 -5022 -5023 -5024 -5025 -5026 -5027 -5028 -5029 -5030
1.90/1.96	v -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040
1.90/1.96	v -5041 -5042 -5043 -5044 5045 -5046 -5047 5048 -5049 -5050
1.90/1.96	v -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 5059 -5060
1.90/1.96	v -5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068 -5069 -5070
1.90/1.96	v -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080
1.90/1.96	v -5081 -5082 -5083 5084 5085 -5086 -5087 -5088 -5089 -5090
1.90/1.96	v -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100
1.90/1.96	v -5101 -5102 -5103 -5104 -5105 -5106 -5107 -5108 -5109 -5110
1.90/1.96	v -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120
1.90/1.96	v -5121 -5122 -5123 -5124 -5125 -5126 5127 -5128 -5129 -5130
1.90/1.96	v -5131 -5132 -5133 -5134 -5135 -5136 5137 -5138 -5139 -5140
1.90/1.96	v -5141 -5142 -5143 -5144 -5145 -5146 -5147 -5148 -5149 -5150
1.90/1.96	v -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160
1.90/1.96	v -5161 -5162 -5163 -5164 -5165 -5166 -5167 -5168 -5169 -5170
1.90/1.96	v -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180
1.90/1.96	v -5181 -5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190
1.90/1.96	v -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200
1.90/1.96	v -5201 -5202 -5203 -5204 -5205 -5206 -5207 -5208 -5209 -5210
1.90/1.96	v -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220
1.90/1.96	v -5221 -5222 -5223 -5224 -5225 -5226 -5227 -5228 -5229 -5230
1.90/1.96	v -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240
1.90/1.96	v -5241 -5242 -5243 -5244 -5245 -5246 -5247 -5248 -5249 -5250
1.90/1.96	v -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260
1.90/1.96	v -5261 -5262 -5263 -5264 -5265 -5266 -5267 -5268 -5269 -5270
1.90/1.96	v -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280
1.90/1.96	v -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290
1.90/1.96	v -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300
1.90/1.96	v -5301 -5302 -5303 -5304 -5305 -5306 -5307 -5308 -5309 -5310
1.90/1.96	v -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320
1.90/1.96	v -5321 -5322 -5323 -5324 -5325 -5326 -5327 -5328 -5329 -5330
1.90/1.96	v -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340
1.90/1.96	v -5341 -5342 -5343 -5344 -5345 -5346 -5347 -5348 -5349 -5350
1.90/1.96	v -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360
1.90/1.96	v -5361 5362 -5363 -5364 -5365 -5366 -5367 -5368 -5369 -5370
1.90/1.96	v -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380
1.90/1.96	v -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390
1.90/1.96	v -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400
1.90/1.96	v -5401 -5402 -5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410
1.90/1.96	v -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420
1.90/1.96	v -5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430
1.90/1.96	v -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440
1.90/1.96	v -5441 -5442 -5443 -5444 -5445 -5446 -5447 -5448 -5449 -5450
1.90/1.96	v -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460
1.90/1.96	v -5461 -5462 -5463 -5464 -5465 -5466 -5467 -5468 -5469 -5470
1.90/1.96	v -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479 -5480
1.90/1.96	v -5481 -5482 -5483 -5484 -5485 -5486 -5487 -5488 -5489 -5490
1.90/1.96	v -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499 -5500
1.90/1.96	v -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510
1.90/1.96	v -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520
1.90/1.96	v -5521 -5522 -5523 -5524 -5525 5526 -5527 -5528 -5529 -5530
1.90/1.96	v -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540
1.90/1.96	v -5541 -5542 -5543 -5544 -5545 5546 5547 -5548 -5549 -5550
1.90/1.96	v -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560
1.90/1.96	v -5561 -5562 -5563 -5564 -5565 -5566 -5567 -5568 -5569 -5570
1.90/1.96	v -5571 5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580
1.90/1.96	v -5581 -5582 -5583 -5584 -5585 -5586 -5587 -5588 -5589 -5590
1.90/1.96	v -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600
1.90/1.96	v -5601 -5602 -5603 -5604 -5605 -5606 -5607 -5608 -5609 -5610
1.90/1.96	v -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620
1.90/1.96	v -5621 -5622 -5623 -5624 -5625 -5626 -5627 -5628 -5629 -5630
1.90/1.96	v -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640
1.90/1.96	v -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650
1.90/1.96	v -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660
1.90/1.96	v -5661 -5662 -5663 -5664 -5665 -5666 -5667 -5668 -5669 -5670
1.90/1.96	v -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680
1.90/1.96	v -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690
1.90/1.96	v -5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700
1.90/1.96	v -5701 -5702 -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710
1.90/1.96	v -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720
1.90/1.96	v -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730
1.90/1.96	v -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740
1.90/1.96	v -5741 -5742 -5743 -5744 -5745 -5746 -5747 -5748 -5749 -5750
1.90/1.96	v -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760
1.90/1.96	v -5761 -5762 -5763 -5764 -5765 -5766 -5767 -5768 -5769 -5770
1.90/1.96	v -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780
1.90/1.96	v -5781 -5782 -5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790
1.90/1.96	v -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800
1.90/1.96	v -5801 -5802 -5803 -5804 -5805 -5806 -5807 -5808 -5809 -5810
1.90/1.96	v -5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820
1.90/1.96	v -5821 -5822 -5823 -5824 -5825 -5826 -5827 -5828 -5829 -5830
1.90/1.96	v -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839 -5840
1.90/1.96	v -5841 -5842 -5843 -5844 -5845 -5846 -5847 -5848 -5849 -5850
1.90/1.96	v -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860
1.90/1.96	v -5861 -5862 -5863 -5864 -5865 -5866 -5867 -5868 -5869 -5870
1.90/1.96	v -5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880
1.90/1.96	v -5881 -5882 -5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890
1.90/1.96	v -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900
1.90/1.96	v -5901 -5902 -5903 -5904 -5905 -5906 -5907 -5908 -5909 -5910
1.90/1.96	v -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920
1.90/1.96	v -5921 -5922 -5923 -5924 -5925 -5926 -5927 -5928 -5929 -5930
1.90/1.96	v -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940
1.90/1.96	v -5941 -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950
1.90/1.96	v -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960
1.90/1.96	v -5961 -5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970
1.90/1.96	v -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980
1.90/1.96	v -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990
1.90/1.96	v -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000
1.90/1.96	v -6001 -6002 -6003 -6004 -6005 -6006 -6007 -6008 -6009 -6010
1.90/1.96	v -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020
1.90/1.96	v -6021 -6022 -6023 -6024 -6025 -6026 -6027 -6028 -6029 -6030
1.90/1.96	v -6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040
1.90/1.96	v -6041 -6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050
1.90/1.96	v -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060
1.90/1.96	v -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070
1.90/1.96	v -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080
1.90/1.96	v -6081 -6082 -6083 -6084 -6085 -6086 -6087 -6088 -6089 -6090
1.90/1.96	v -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100
1.90/1.96	v -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110
1.90/1.96	v -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120
1.90/1.96	v -6121 -6122 -6123 -6124 -6125 -6126 -6127 -6128 -6129 -6130
1.90/1.96	v -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140
1.90/1.96	v -6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148 -6149 -6150
1.90/1.96	v -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160
1.90/1.96	v -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170
1.90/1.96	v -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180
1.90/1.96	v -6181 -6182 -6183 -6184 -6185 -6186 -6187 -6188 -6189 -6190
1.90/1.96	v -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200
1.90/1.96	v -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210
1.90/1.96	v -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220
1.90/1.96	v -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230
1.90/1.96	v -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240
1.90/1.96	v -6241 -6242 6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250
1.90/1.96	v -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260
1.90/1.96	v -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270
1.90/1.96	v -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280
1.90/1.96	v -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290
1.90/1.96	v -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300
1.90/1.96	v 6301 -6302 6303 -6304 -6305 6306 -6307 6308 -6309 -6310
1.90/1.96	v 6311 -6312 6313 -6314 -6315 6316 -6317 6318 -6319 -6320
1.90/1.96	v 6321 -6322 6323 -6324 -6325 6326 -6327 6328 -6329 -6330
1.90/1.96	v 6331 -6332 6333 -6334 -6335 6336 -6337 6338 -6339 -6340
1.90/1.96	v 6341 -6342 6343 -6344 -6345 6346 -6347 6348 -6349 -6350
1.90/1.96	v 6351 -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359 -6360
1.90/1.96	v -6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369 -6370
1.90/1.96	v -6371 -6372 6373 6374 6375 -6376 -6377 -6378 -6379 -6380
1.90/1.96	v -6381 -6382 -6383 -6384 -6385 -6386 -6387 -6388 -6389 -6390
1.90/1.96	v -6391 -6392 -6393 -6394 -6395 -6396 6397 -6398 -6399 -6400
1.90/1.96	v -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 -6410
1.90/1.96	v -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420
1.90/1.96	v -6421 -6422 -6423 -6424 -6425 -6426 -6427 -6428 -6429 -6430
1.90/1.96	v -6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440
1.90/1.96	v -6441 -6442 -6443 -6444 -6445 -6446 -6447 -6448 -6449 6450
1.90/1.96	v -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460
1.90/1.96	v -6461 -6462 -6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470
1.90/1.96	v -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480
1.90/1.96	v -6481 -6482 -6483 -6484 -6485 -6486 -6487 -6488 -6489 -6490
1.90/1.96	v -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500
1.90/1.96	v -6501 -6502 -6503 -6504 -6505 -6506 -6507 -6508 -6509 -6510
1.90/1.96	v -6511 -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519 -6520
1.90/1.96	v -6521 -6522 -6523 -6524 -6525 -6526 -6527 -6528 -6529 -6530
1.90/1.96	v -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 -6539 -6540
1.90/1.96	v -6541 -6542 -6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550
1.90/1.96	v -6551 -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560
1.90/1.96	v -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570
1.90/1.96	v -6571 6572 -6573 6574 -6575 -6576 6577 -6578 6579 -6580
1.90/1.96	v -6581 -6582 -6583 6584 -6585 6586 -6587 -6588 -6589 -6590
1.90/1.96	v 6591 -6592 6593 -6594 -6595 -6596 -6597 6598 -6599 6600
1.90/1.96	v -6601 -6602 -6603 -6604 6605 -6606 6607 -6608 -6609 -6610
1.90/1.96	v -6611 6612 -6613 6614 -6615 -6616 -6617 -6618 6619 -6620
1.90/1.96	v 6621 -6622 -6623 -6624 -6625 6626 -6627 6628 6629 -6630
1.90/1.96	v 6631 6632 6633 6634 6635 6636 6637 6638 6639 6640
1.90/1.96	v 6641 6642 6643 6644 6645 6646 6647 6648 6649 6650
1.90/1.96	v -6651 -6652 6653 6654 -6655 -6656 -6657 6658 -6659 -6660
1.90/1.96	v -6661 -6662 -6663 -6664 -6665 -6666 -6667 -6668 -6669 -6670
1.90/1.96	v 6671 6672 -6673 -6674 -6675 -6676 -6677 -6678 -6679 -6680
1.90/1.96	v -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690
1.90/1.96	v -6691 6692 -6693 -6694 -6695 -6696 -6697 -6698 -6699 -6700
1.90/1.96	v -6701 -6702 -6703 -6704 -6705 -6706 -6707 -6708 -6709 -6710
1.90/1.96	v -6711 -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719 -6720
1.90/1.96	v -6721 -6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730
1.90/1.96	v -6731 -6732 6733 -6734 -6735 -6736 -6737 -6738 -6739 -6740
1.90/1.96	v -6741 -6742 -6743 -6744 -6745 -6746 -6747 -6748 -6749 -6750
1.90/1.96	v -6751 -6752 -6753 -6754 -6755 -6756 -6757 -6758 -6759 -6760
1.90/1.96	v -6761 -6762 -6763 -6764 -6765 -6766 -6767 -6768 -6769 -6770
1.90/1.96	v -6771 -6772 -6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780
1.90/1.96	v -6781 -6782 -6783 -6784 -6785 -6786 -6787 -6788 -6789 -6790
1.90/1.96	v -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 -6800
1.90/1.96	v -6801 -6802 -6803 -6804 -6805 6806 -6807 -6808 -6809 -6810
1.90/1.96	v -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820
1.90/1.96	v -6821 -6822 -6823 -6824 -6825 -6826 -6827 -6828 -6829 -6830
1.90/1.96	v 6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840
1.90/1.96	v -6841 -6842 -6843 -6844 -6845 -6846 -6847 -6848 -6849 -6850
1.90/1.96	v -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860
1.90/1.96	v -6861 -6862 -6863 -6864 -6865 -6866 -6867 -6868 -6869 -6870
1.90/1.96	v -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879 -6880
1.90/1.96	v -6881 -6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889 -6890
1.90/1.96	v -6891 -6892 -6893 -6894 -6895 -6896 -6897 -6898 -6899 -6900
1.90/1.96	v -6901 -6902 -6903 -6904 -6905 -6906 -6907 -6908 -6909 -6910
1.90/1.96	v -6911 -6912 6913 6914 -6915 -6916 -6917 -6918 -6919 -6920
1.90/1.96	v -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930
1.90/1.96	v -6931 -6932 -6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940
1.90/1.96	v -6941 -6942 -6943 -6944 -6945 -6946 -6947 -6948 6949 -6950
1.90/1.96	v -6951 -6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959 -6960
1.90/1.96	v 6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968 -6969 -6970
1.90/1.96	v 6971 -6972 6973 -6974 6975 -6976 -6977 -6978 -6979 -6980
1.90/1.96	v -6981 -6982 -6983 -6984 -6985 -6986 -6987 6988 6989 -6990
1.90/1.96	v -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000
1.90/1.96	v -7001 -7002 -7003 -7004 -7005 -7006 -7007 -7008 7009 -7010
1.90/1.96	v -7011 -7012 -7013 -7014 -7015 -7016 7017 -7018 7019 -7020
1.90/1.96	v -7021 -7022 7023 -7024 7025 -7026 -7027 -7028 -7029 7030
1.90/1.96	v -7031 7032 7033 7034 -7035 -7036 -7037 -7038 -7039 -7040
1.90/1.96	v -7041 -7042 -7043 7044 7045 7046 -7047 -7048 -7049 -7050
1.90/1.96	v -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059 -7060
1.90/1.96	v -7061 -7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070
1.90/1.96	v -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080
1.90/1.96	v -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090
1.90/1.96	v -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098 -7099 -7100
1.90/1.96	v -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110
1.90/1.96	v -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120
1.90/1.96	v -7121 7122 -7123 -7124 7125 -7126 -7127 -7128 -7129 7130
1.90/1.96	v -7131 -7132 -7133 -7134 -7135 7136 -7137 -7138 -7139 -7140
1.90/1.96	v -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150
1.90/1.96	v -7151 -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 -7160
1.90/1.96	v -7161 -7162 -7163 -7164 -7165 -7166 -7167 -7168 -7169 -7170
1.90/1.96	v 7171 7172 -7173 -7174 7175 7176 -7177 -7178 -7179 -7180
1.90/1.96	v -7181 -7182 -7183 -7184 -7185 -7186 -7187 -7188 -7189 -7190
1.90/1.96	v -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200
1.90/1.96	v -7201 -7202 -7203 -7204 -7205 -7206 -7207 -7208 -7209 -7210
1.90/1.96	v -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220
1.90/1.96	v -7221 -7222 -7223 -7224 -7225 -7226 -7227 -7228 -7229 -7230
1.90/1.96	v -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240
1.90/1.96	v -7241 -7242 -7243 -7244 -7245 -7246 -7247 -7248 -7249 -7250
1.90/1.96	v -7251 -7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260
1.90/1.96	v -7261 -7262 -7263 -7264 -7265 -7266 -7267 -7268 -7269 7270
1.90/1.96	v -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280
1.90/1.96	v -7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290
1.90/1.96	v -7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 -7300
1.90/1.96	v -7301 -7302 -7303 -7304 -7305 -7306 -7307 -7308 -7309 -7310
1.90/1.96	v -7311 -7312 -7313 -7314 7315 7316 -7317 -7318 -7319 -7320
1.90/1.96	v -7321 -7322 -7323 -7324 -7325 -7326 7327 -7328 7329 -7330
1.90/1.96	v -7331 7332 -7333 7334 -7335 -7336 7337 -7338 7339 -7340
1.90/1.96	v -7341 7342 -7343 7344 -7345 -7346 7347 -7348 7349 -7350
1.90/1.96	v -7351 7352 -7353 7354 -7355 -7356 7357 -7358 7359 -7360
1.90/1.96	v -7361 7362 -7363 7364 7365 -7366 7367 7368 -7369 7370
1.90/1.96	v 7371 -7372 -7373 7374 -7375 -7376 7377 -7378 -7379 -7380
1.90/1.96	v -7381 7382 7383 7384 7385 7386 7387 7388 7389 7390
1.90/1.96	v 7391 7392 7393 7394 7395 7396 7397 7398 7399 -7400
1.90/1.96	v 7401 -7402 -7403 -7404 -7405 -7406 -7407 -7408 -7409 -7410
1.90/1.96	v -7411 -7412 7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420
1.90/1.96	v 7421 -7422 -7423 -7424 -7425 -7426 -7427 -7428 -7429 7430
1.90/1.96	v -7431 -7432 -7433 -7434 -7435 -7436 -7437 7438 -7439 -7440
1.90/1.96	v -7441 -7442 -7443 -7444 -7445 -7446 -7447 -7448 -7449 -7450
1.90/1.96	v -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 7460
1.90/1.96	v -7461 -7462 -7463 -7464 -7465 -7466 -7467 -7468 -7469 -7470
1.90/1.96	v -7471 -7472 -7473 -7474 -7475 -7476 -7477 -7478 -7479 -7480
1.90/1.96	v -7481 -7482 7483 -7484 -7485 -7486 -7487 -7488 -7489 -7490
1.90/1.96	v -7491 -7492 -7493 -7494 -7495 -7496 -7497 -7498 7499 -7500
1.90/1.96	v -7501 -7502 -7503 -7504 -7505 -7506 -7507 7508 7509 7510
1.90/1.96	v 7511 7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520
1.90/1.96	v -7521 -7522 -7523 -7524 7525 -7526 -7527 -7528 -7529 -7530
1.90/1.96	v -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540
1.90/1.96	v -7541 -7542 -7543 -7544 -7545 -7546 -7547 -7548 -7549 -7550
1.90/1.96	v -7551 -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560
1.90/1.96	v -7561 -7562 -7563 -7564 -7565 -7566 -7567 -7568 -7569 -7570
1.90/1.96	v -7571 -7572 -7573 7574 -7575 -7576 7577 -7578 -7579 -7580
1.90/1.96	v 7581 -7582 -7583 -7584 -7585 -7586 -7587 -7588 -7589 -7590
1.90/1.96	v -7591 -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 -7600
1.90/1.96	v -7601 -7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 7610
1.90/1.96	v 7611 -7612 -7613 -7614 -7615 -7616 -7617 -7618 -7619 -7620
1.90/1.96	v -7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630
1.90/1.96	v -7631 -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639 -7640
1.90/1.96	v -7641 -7642 -7643 -7644 -7645 -7646 -7647 -7648 -7649 -7650
1.90/1.96	v -7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 7660
1.90/1.96	v -7661 -7662 7663 -7664 -7665 -7666 7667 -7668 -7669 -7670
1.90/1.96	v -7671 -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680
1.90/1.96	v -7681 -7682 -7683 -7684 -7685 -7686 -7687 -7688 -7689 -7690
1.90/1.96	v -7691 -7692 7693 7694 -7695 -7696 -7697 -7698 -7699 -7700
1.90/1.96	v -7701 -7702 -7703 -7704 -7705 -7706 -7707 -7708 -7709 -7710
1.90/1.96	v -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720
1.90/1.96	v -7721 -7722 -7723 -7724 -7725 -7726 -7727 -7728 -7729 -7730
1.90/1.96	v -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740
1.90/1.96	v -7741 -7742 -7743 -7744 -7745 -7746 -7747 -7748 -7749 -7750
1.90/1.96	v -7751 -7752 -7753 -7754 -7755 7756 -7757 -7758 7759 -7760
1.90/1.96	v -7761 -7762 7763 -7764 -7765 -7766 -7767 -7768 -7769 -7770
1.90/1.96	v -7771 -7772 -7773 -7774 -7775 -7776 -7777 -7778 -7779 -7780
1.90/1.96	v -7781 -7782 -7783 -7784 -7785 -7786 -7787 -7788 -7789 -7790
1.90/1.96	v -7791 -7792 -7793 -7794 -7795 -7796 -7797 -7798 -7799 -7800
1.90/1.96	v -7801 -7802 -7803 -7804 -7805 -7806 7807 7808 7809 7810
1.90/1.96	v -7811 -7812 -7813 -7814 -7815 -7816 7817 -7818 -7819 -7820
1.90/1.96	v -7821 -7822 -7823 -7824 -7825 -7826 -7827 -7828 -7829 -7830
1.90/1.96	v -7831 -7832 -7833 -7834 -7835 -7836 -7837 -7838 -7839 -7840
1.90/1.96	v -7841 -7842 -7843 7844 7845 -7846 -7847 -7848 -7849 7850
1.90/1.96	v -7851 -7852 -7853 -7854 -7855 -7856 -7857 -7858 -7859 -7860
1.90/1.96	v -7861 -7862 -7863 -7864 -7865 -7866 -7867 -7868 -7869 -7870
1.90/1.96	v -7871 -7872 7873 7874 7875 7876 -7877 -7878 -7879 7880
1.90/1.96	v 7881 7882 7883 7884 -7885 -7886 -7887 -7888 -7889 -7890
1.90/1.96	v -7891 -7892 -7893 -7894 -7895 -7896 -7897 -7898 -7899 -7900
1.90/1.96	v -7901 -7902 -7903 -7904 -7905 -7906 -7907 -7908 -7909 -7910
1.90/1.96	v -7911 -7912 -7913 -7914 7915 -7916 -7917 -7918 -7919 -7920
1.90/1.96	v -7921 -7922 7923 7924 7925 -7926 -7927 -7928 -7929 -7930
1.90/1.96	v 7931 -7932 -7933 -7934 -7935 -7936 -7937 -7938 -7939 -7940
1.90/1.96	v -7941 -7942 -7943 -7944 -7945 -7946 -7947 -7948 -7949 -7950
1.90/1.96	v -7951 -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959 -7960
1.90/1.96	v -7961 -7962 -7963 -7964 -7965 -7966 -7967 -7968 -7969 -7970
1.90/1.96	v -7971 -7972 -7973 -7974 -7975 -7976 -7977 -7978 -7979 -7980
1.90/1.96	v -7981 -7982 -7983 -7984 -7985 -7986 -7987 -7988 -7989 -7990
1.90/1.96	v -7991 -7992 -7993 -7994 -7995 -7996 -7997 -7998 -7999 -8000
1.90/1.96	v -8001 -8002 -8003 -8004 -8005 -8006 -8007 -8008 -8009 -8010
1.90/1.96	v -8011 -8012 -8013 -8014 -8015 -8016 -8017 -8018 -8019 -8020
1.90/1.96	v -8021 -8022 -8023 -8024 -8025 -8026 -8027 -8028 -8029 -8030
1.90/1.96	v -8031 -8032 -8033 -8034 -8035 -8036 -8037 -8038 -8039 -8040
1.90/1.96	v -8041 -8042 -8043 -8044 -8045 -8046 -8047 -8048 -8049 -8050
1.90/1.96	v -8051 -8052 -8053 -8054 -8055 -8056 -8057 -8058 -8059 -8060
1.90/1.96	v -8061 -8062 -8063 -8064 -8065 -8066 -8067 -8068 -8069 -8070
1.90/1.96	v -8071 8072 8073 8074 -8075 -8076 -8077 8078 -8079 -8080
1.90/1.96	v -8081 -8082 -8083 8084 -8085 -8086 -8087 -8088 -8089 -8090
1.90/1.96	v -8091 -8092 -8093 -8094 -8095 -8096 -8097 -8098 -8099 -8100
1.90/1.96	v -8101 -8102 -8103 -8104 -8105 -8106 -8107 -8108 -8109 -8110
1.90/1.96	v -8111 -8112 -8113 -8114 -8115 -8116 -8117 -8118 -8119 -8120
1.90/1.96	v -8121 -8122 -8123 -8124 -8125 -8126 -8127 -8128 -8129 -8130
1.90/1.96	v -8131 -8132 -8133 -8134 -8135 -8136 -8137 -8138 -8139 -8140
1.90/1.96	v -8141 -8142 -8143 -8144 -8145 -8146 -8147 -8148 -8149 -8150
1.90/1.96	v -8151 -8152 -8153 -8154 -8155 -8156 -8157 -8158 -8159 8160
1.90/1.96	v -8161 -8162 8163 -8164 -8165 -8166 -8167 -8168 -8169 -8170
1.90/1.96	v -8171 -8172 -8173 8174 -8175 -8176 -8177 -8178 -8179 -8180
1.90/1.96	v -8181 -8182 -8183 -8184 -8185 -8186 -8187 -8188 -8189 -8190
1.90/1.96	v -8191 -8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200
1.90/1.96	v -8201 -8202 -8203 -8204 -8205 -8206 -8207 -8208 -8209 -8210
1.90/1.96	v -8211 -8212 -8213 -8214 -8215 -8216 -8217 8218 8219 -8220
1.90/1.96	v -8221 -8222 -8223 -8224 -8225 -8226 8227 8228 8229 -8230
1.90/1.96	v -8231 -8232 -8233 -8234 8235 -8236 -8237 -8238 -8239 -8240
1.90/1.96	v -8241 -8242 -8243 -8244 -8245 -8246 -8247 -8248 -8249 -8250
1.90/1.96	v -8251 -8252 -8253 -8254 -8255 -8256 -8257 -8258 -8259 8260
1.90/1.96	v -8261 -8262 -8263 -8264 -8265 -8266 -8267 -8268 -8269 8270
1.90/1.96	v -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280
1.90/1.96	v -8281 -8282 -8283 -8284 -8285 -8286 -8287 -8288 -8289 -8290
1.90/1.96	v -8291 -8292 -8293 -8294 -8295 -8296 -8297 -8298 -8299 -8300
1.90/1.96	v -8301 -8302 -8303 -8304 -8305 -8306 -8307 -8308 -8309 -8310
1.90/1.96	v 8311 8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319 -8320
1.90/1.96	v -8321 -8322 -8323 -8324 -8325 -8326 -8327 -8328 -8329 -8330
1.90/1.96	v -8331 -8332 -8333 8334 -8335 -8336 8337 -8338 -8339 -8340
1.90/1.96	v 8341 -8342 -8343 -8344 -8345 -8346 -8347 -8348 -8349 -8350
1.90/1.96	v -8351 -8352 -8353 8354 8355 -8356 -8357 -8358 -8359 -8360
1.90/1.96	v -8361 8362 -8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370
1.90/1.96	v -8371 -8372 -8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380
1.90/1.96	v -8381 -8382 -8383 -8384 -8385 -8386 -8387 -8388 -8389 -8390
1.90/1.96	v -8391 -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399 -8400
1.90/1.96	v -8401 -8402 -8403 -8404 -8405 -8406 -8407 -8408 -8409 -8410
1.90/1.96	v -8411 -8412 -8413 -8414 -8415 -8416 -8417 -8418 -8419 -8420
1.90/1.96	v -8421 -8422 -8423 -8424 -8425 -8426 -8427 -8428 -8429 -8430
1.90/1.96	v -8431 -8432 -8433 -8434 -8435 -8436 -8437 -8438 -8439 -8440
1.90/1.96	v -8441 -8442 -8443 8444 8445 -8446 -8447 -8448 -8449 -8450
1.90/1.96	v -8451 -8452 -8453 -8454 -8455 -8456 -8457 -8458 -8459 -8460
1.90/1.96	v -8461 -8462 -8463 -8464 -8465 -8466 -8467 -8468 -8469 -8470
1.90/1.96	v -8471 -8472 -8473 -8474 -8475 -8476 -8477 -8478 -8479 -8480
1.90/1.96	v -8481 -8482 -8483 -8484 -8485 -8486 -8487 -8488 -8489 8490
1.90/1.96	v -8491 -8492 8493 -8494 -8495 -8496 8497 -8498 -8499 -8500
1.90/1.96	v -8501 -8502 -8503 -8504 -8505 -8506 -8507 -8508 -8509 -8510
1.90/1.96	v -8511 -8512 -8513 -8514 -8515 -8516 -8517 -8518 -8519 -8520
1.90/1.96	v -8521 -8522 8523 8524 -8525 -8526 -8527 -8528 -8529 -8530
1.90/1.96	v 8531 -8532 -8533 -8534 -8535 -8536 -8537 -8538 -8539 -8540
1.90/1.96	v -8541 -8542 -8543 -8544 -8545 -8546 -8547 -8548 -8549 -8550
1.90/1.96	v -8551 -8552 -8553 -8554 -8555 -8556 -8557 -8558 -8559 -8560
1.90/1.96	v -8561 -8562 -8563 -8564 -8565 -8566 -8567 -8568 -8569 -8570
1.90/1.96	v -8571 -8572 -8573 -8574 -8575 -8576 -8577 -8578 -8579 -8580
1.90/1.96	v -8581 -8582 -8583 -8584 -8585 -8586 -8587 -8588 -8589 -8590
1.90/1.96	v -8591 -8592 -8593 -8594 -8595 -8596 -8597 -8598 -8599 -8600
1.90/1.96	v -8601 -8602 -8603 -8604 -8605 -8606 -8607 -8608 -8609 -8610
1.90/1.96	v -8611 -8612 -8613 -8614 -8615 -8616 -8617 -8618 -8619 -8620
1.90/1.96	v -8621 -8622 -8623 -8624 -8625 -8626 -8627 -8628 -8629 -8630
1.90/1.96	v -8631 -8632 -8633 -8634 -8635 -8636 -8637 -8638 -8639 -8640
1.90/1.96	v 8641 8642 -8643 -8644 -8645 -8646 -8647 -8648 -8649 -8650
1.90/1.96	v -8651 -8652 -8653 -8654 -8655 -8656 -8657 -8658 -8659 -8660
1.90/1.96	v -8661 -8662 -8663 -8664 -8665 -8666 -8667 -8668 -8669 -8670
1.90/1.96	v -8671 -8672 -8673 -8674 -8675 -8676 -8677 -8678 -8679 -8680
1.90/1.96	v -8681 -8682 -8683 -8684 -8685 -8686 -8687 -8688 -8689 -8690
1.90/1.96	v -8691 -8692 -8693 -8694 -8695 -8696 -8697 -8698 -8699 -8700
1.90/1.96	v -8701 -8702 -8703 -8704 -8705 -8706 -8707 -8708 -8709 -8710
1.90/1.96	v -8711 -8712 -8713 -8714 -8715 -8716 -8717 -8718 -8719 -8720
1.90/1.96	v -8721 -8722 -8723 -8724 -8725 -8726 -8727 -8728 -8729 -8730
1.90/1.96	v -8731 -8732 -8733 -8734 -8735 -8736 -8737 -8738 -8739 -8740
1.90/1.96	v -8741 -8742 -8743 -8744 -8745 -8746 -8747 -8748 -8749 -8750
1.90/1.96	v -8751 -8752 -8753 -8754 -8755 -8756 -8757 8758 -8759 -8760
1.90/1.96	v -8761 -8762 -8763 -8764 -8765 -8766 -8767 -8768 -8769 -8770
1.90/1.96	v -8771 -8772 -8773 -8774 -8775 -8776 -8777 -8778 -8779 -8780
1.90/1.96	v -8781 -8782 -8783 -8784 -8785 -8786 -8787 -8788 -8789 -8790
1.90/1.96	v -8791 -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799 -8800
1.90/1.96	v -8801 -8802 -8803 -8804 -8805 -8806 -8807 -8808 -8809 -8810
1.90/1.96	v -8811 -8812 -8813 -8814 -8815 -8816 -8817 -8818 -8819 -8820
1.90/1.96	v -8821 -8822 -8823 -8824 -8825 -8826 -8827 -8828 -8829 -8830
1.90/1.96	v -8831 -8832 -8833 -8834 -8835 -8836 -8837 -8838 -8839 -8840
1.90/1.96	v -8841 -8842 -8843 -8844 -8845 -8846 -8847 -8848 -8849 -8850
1.90/1.96	v -8851 -8852 -8853 -8854 -8855 -8856 -8857 -8858 -8859 -8860
1.90/1.96	v -8861 -8862 -8863 -8864 -8865 -8866 -8867 -8868 -8869 -8870
1.90/1.96	v -8871 -8872 -8873 -8874 -8875 -8876 -8877 -8878 -8879 -8880
1.90/1.96	v -8881 -8882 -8883 -8884 -8885 -8886 -8887 -8888 -8889 -8890
1.90/1.96	v -8891 -8892 -8893 -8894 -8895 -8896 -8897 -8898 -8899 -8900
1.90/1.96	v -8901 -8902 -8903 -8904 -8905 -8906 -8907 -8908 8909 8910
1.90/1.96	v -8911 -8912 -8913 -8914 -8915 -8916 -8917 -8918 -8919 -8920
1.90/1.96	v -8921 -8922 -8923 -8924 -8925 -8926 -8927 -8928 -8929 -8930
1.90/1.96	v -8931 -8932 -8933 -8934 -8935 -8936 -8937 -8938 -8939 -8940
1.90/1.96	v -8941 -8942 -8943 -8944 -8945 -8946 -8947 -8948 -8949 -8950
1.90/1.96	v -8951 -8952 -8953 -8954 -8955 -8956 -8957 -8958 -8959 -8960
1.90/1.96	v -8961 -8962 -8963 -8964 -8965 -8966 -8967 -8968 -8969 -8970
1.90/1.96	v -8971 -8972 -8973 -8974 -8975 -8976 -8977 -8978 -8979 -8980
1.90/1.96	v -8981 -8982 -8983 -8984 -8985 -8986 -8987 -8988 -8989 -8990
1.90/1.96	v -8991 -8992 -8993 -8994 -8995 -8996 -8997 -8998 -8999 -9000
1.90/1.96	v -9001 -9002 -9003 -9004 -9005 -9006 -9007 -9008 -9009 -9010
1.90/1.96	v -9011 -9012 -9013 -9014 -9015 -9016 -9017 -9018 -9019 -9020
1.90/1.96	v -9021 -9022 -9023 -9024 -9025 -9026 -9027 -9028 -9029 -9030
1.90/1.96	v -9031 -9032 -9033 -9034 -9035 -9036 -9037 -9038 -9039 -9040
1.90/1.96	v -9041 -9042 -9043 -9044 -9045 -9046 -9047 -9048 -9049 -9050
1.90/1.96	v -9051 -9052 -9053 -9054 -9055 -9056 -9057 -9058 -9059 -9060
1.90/1.96	v -9061 9062 -9063 -9064 -9065 -9066 -9067 -9068 -9069 -9070
1.90/1.96	v -9071 -9072 -9073 -9074 -9075 -9076 -9077 -9078 -9079 -9080
1.90/1.96	v -9081 -9082 -9083 -9084 -9085 9086 -9087 9088 -9089 -9090
1.90/1.96	v 9091 -9092 9093 -9094 -9095 -9096 -9097 9098 -9099 9100
1.90/1.96	v -9101 -9102 -9103 -9104 9105 -9106 9107 -9108 -9109 -9110
1.90/1.96	v -9111 9112 -9113 9114 -9115 -9116 -9117 -9118 9119 -9120
1.90/1.96	v 9121 -9122 -9123 -9124 -9125 9126 -9127 9128 -9129 -9130
1.90/1.96	v -9131 -9132 9133 -9134 9135 9136 9137 -9138 -9139 9140
1.90/1.96	v 9141 -9142 -9143 9144 -9145 -9146 -9147 9148 9149 9150
1.90/1.96	v 9151 9152 9153 9154 9155 9156 9157 9158 9159 9160
1.90/1.96	v 9161 9162 9163 9164 -9165 -9166 9167 9168 -9169 -9170
1.90/1.96	v -9171 9172 -9173 -9174 -9175 -9176 -9177 -9178 -9179 -9180
1.90/1.96	v -9181 -9182 -9183 -9184 9185 9186 -9187 -9188 -9189 -9190
1.90/1.96	v -9191 -9192 -9193 -9194 -9195 -9196 -9197 -9198 -9199 -9200
1.90/1.96	v -9201 -9202 -9203 -9204 -9205 9206 -9207 -9208 -9209 -9210
1.90/1.96	v -9211 -9212 -9213 -9214 -9215 -9216 -9217 -9218 -9219 -9220
1.90/1.96	v -9221 -9222 -9223 -9224 -9225 -9226 -9227 -9228 -9229 -9230
1.90/1.96	v -9231 -9232 -9233 -9234 -9235 -9236 -9237 -9238 -9239 -9240
1.90/1.96	v -9241 -9242 -9243 -9244 -9245 -9246 9247 9248 -9249 -9250
1.90/1.96	v -9251 -9252 -9253 -9254 -9255 -9256 -9257 -9258 -9259 -9260
1.90/1.96	v -9261 -9262 -9263 -9264 -9265 -9266 -9267 -9268 -9269 -9270
1.90/1.96	v -9271 -9272 -9273 -9274 -9275 -9276 -9277 -9278 -9279 -9280
1.90/1.96	v -9281 -9282 -9283 -9284 -9285 -9286 -9287 -9288 -9289 -9290
1.90/1.96	v -9291 -9292 -9293 -9294 -9295 -9296 -9297 9298 -9299 -9300
1.90/1.96	v -9301 -9302 -9303 -9304 -9305 -9306 -9307 -9308 -9309 -9310
1.90/1.96	v -9311 -9312 -9313 -9314 -9315 -9316 -9317 -9318 -9319 -9320
1.90/1.96	v -9321 -9322 -9323 -9324 -9325 -9326 -9327 -9328 -9329 -9330
1.90/1.96	v -9331 -9332 -9333 -9334 -9335 -9336 -9337 -9338 -9339 -9340
1.90/1.96	v -9341 -9342 -9343 -9344 -9345 -9346 -9347 -9348 -9349 -9350
1.90/1.96	v -9351 -9352 -9353 -9354 -9355 -9356 -9357 -9358 -9359 -9360
1.90/1.96	v -9361 -9362 -9363 -9364 -9365 -9366 -9367 -9368 -9369 -9370
1.90/1.96	v -9371 -9372 -9373 -9374 -9375 -9376 -9377 -9378 -9379 9380
1.90/1.96	v 9381 -9382 -9383 -9384 -9385 -9386 -9387 -9388 -9389 -9390
1.90/1.96	v -9391 -9392 -9393 -9394 -9395 -9396 -9397 -9398 -9399 -9400
1.90/1.96	v -9401 -9402 -9403 -9404 -9405 -9406 -9407 -9408 -9409 -9410
1.90/1.96	v -9411 -9412 -9413 -9414 -9415 -9416 -9417 -9418 -9419 -9420
1.90/1.96	v -9421 -9422 -9423 -9424 -9425 -9426 -9427 -9428 -9429 -9430
1.90/1.96	v -9431 -9432 -9433 -9434 -9435 -9436 -9437 -9438 -9439 -9440
1.90/1.96	v -9441 -9442 -9443 -9444 -9445 -9446 -9447 -9448 -9449 -9450
1.90/1.96	v -9451 -9452 -9453 -9454 -9455 -9456 -9457 -9458 -9459 -9460
1.90/1.96	v -9461 -9462 -9463 -9464 -9465 -9466 9467 -9468 -9469 -9470
1.90/1.96	v -9471 -9472 -9473 -9474 -9475 -9476 -9477 -9478 -9479 -9480
1.90/1.96	v -9481 -9482 -9483 -9484 -9485 -9486 -9487 -9488 -9489 -9490
1.90/1.96	v -9491 -9492 -9493 -9494 -9495 -9496 -9497 -9498 -9499 -9500
1.90/1.96	v -9501 -9502 -9503 -9504 -9505 -9506 -9507 -9508 -9509 -9510
1.90/1.96	v -9511 -9512 -9513 -9514 -9515 -9516 -9517 -9518 -9519 -9520
1.90/1.96	v -9521 -9522 -9523 -9524 -9525 -9526 -9527 -9528 -9529 -9530
1.90/1.96	v -9531 -9532 -9533 -9534 -9535 -9536 -9537 -9538 -9539 -9540
1.90/1.96	v -9541 -9542 -9543 -9544 -9545 -9546 -9547 -9548 -9549 -9550
1.90/1.96	v -9551 -9552 -9553 -9554 -9555 -9556 -9557 -9558 -9559 -9560
1.90/1.96	v -9561 -9562 -9563 -9564 -9565 -9566 -9567 -9568 -9569 -9570
1.90/1.96	v -9571 -9572 -9573 -9574 -9575 -9576 9577 9578 -9579 -9580
1.90/1.96	v -9581 -9582 -9583 -9584 -9585 -9586 -9587 -9588 -9589 -9590
1.90/1.96	v -9591 -9592 -9593 -9594 -9595 -9596 -9597 -9598 -9599 -9600
1.90/1.96	v -9601 -9602 -9603 -9604 -9605 -9606 -9607 -9608 -9609 -9610
1.90/1.96	v -9611 -9612 -9613 -9614 -9615 -9616 -9617 -9618 -9619 -9620
1.90/1.96	v -9621 -9622 -9623 -9624 -9625 -9626 -9627 -9628 -9629 -9630
1.90/1.96	v -9631 -9632 -9633 -9634 -9635 -9636 -9637 -9638 -9639 -9640
1.90/1.96	v -9641 -9642 -9643 -9644 -9645 -9646 -9647 -9648 -9649 -9650
1.90/1.96	v -9651 -9652 -9653 -9654 -9655 -9656 -9657 -9658 -9659 -9660
1.90/1.96	v -9661 -9662 -9663 -9664 -9665 -9666 -9667 -9668 -9669 -9670
1.90/1.96	v -9671 -9672 -9673 -9674 -9675 -9676 -9677 -9678 -9679 -9680
1.90/1.96	v -9681 -9682 -9683 -9684 -9685 -9686 -9687 -9688 -9689 -9690
1.90/1.96	v -9691 -9692 -9693 9694 -9695 -9696 -9697 -9698 -9699 -9700
1.90/1.96	v -9701 -9702 -9703 -9704 -9705 -9706 -9707 -9708 -9709 -9710
1.90/1.96	v -9711 -9712 -9713 -9714 -9715 -9716 -9717 -9718 -9719 -9720
1.90/1.96	v -9721 -9722 -9723 -9724 -9725 -9726 -9727 -9728 -9729 -9730
1.90/1.96	v -9731 -9732 -9733 -9734 -9735 -9736 -9737 -9738 -9739 -9740
1.90/1.96	v -9741 -9742 -9743 -9744 -9745 -9746 -9747 -9748 -9749 -9750
1.90/1.96	v -9751 -9752 -9753 -9754 -9755 -9756 -9757 -9758 -9759 -9760
1.90/1.96	v -9761 -9762 -9763 -9764 -9765 -9766 -9767 -9768 -9769 -9770
1.90/1.96	v -9771 -9772 -9773 -9774 -9775 -9776 -9777 -9778 -9779 -9780
1.90/1.96	v -9781 -9782 -9783 -9784 -9785 -9786 -9787 -9788 -9789 -9790
1.90/1.96	v -9791 -9792 -9793 -9794 -9795 -9796 -9797 -9798 -9799 -9800
1.90/1.96	v -9801 -9802 -9803 -9804 -9805 -9806 -9807 -9808 -9809 -9810
1.90/1.96	v -9811 -9812 -9813 -9814 -9815 -9816 -9817 -9818 -9819 -9820
1.90/1.96	v -9821 -9822 -9823 -9824 -9825 -9826 -9827 -9828 -9829 -9830
1.90/1.96	v -9831 -9832 -9833 -9834 -9835 -9836 -9837 -9838 -9839 -9840
1.90/1.96	v -9841 -9842 -9843 -9844 9845 9846 -9847 -9848 -9849 -9850
1.90/1.96	v -9851 -9852 -9853 -9854 -9855 -9856 -9857 -9858 -9859 -9860
1.90/1.96	v -9861 -9862 -9863 -9864 -9865 -9866 -9867 -9868 -9869 -9870
1.90/1.96	v -9871 -9872 -9873 -9874 -9875 -9876 -9877 -9878 -9879 -9880
1.90/1.96	v -9881 -9882 -9883 -9884 -9885 -9886 -9887 -9888 -9889 -9890
1.90/1.96	v -9891 -9892 -9893 -9894 -9895 -9896 -9897 -9898 -9899 -9900
1.90/1.96	v -9901 -9902 -9903 -9904 -9905 -9906 -9907 -9908 -9909 -9910
1.90/1.96	v -9911 -9912 -9913 -9914 -9915 -9916 -9917 -9918 -9919 -9920
1.90/1.96	v -9921 -9922 -9923 -9924 -9925 -9926 -9927 -9928 -9929 -9930
1.90/1.96	v -9931 -9932 -9933 -9934 -9935 -9936 -9937 -9938 -9939 -9940
1.90/1.96	v -9941 -9942 -9943 -9944 -9945 -9946 -9947 -9948 -9949 -9950
1.90/1.96	v -9951 -9952 -9953 -9954 -9955 -9956 -9957 -9958 -9959 -9960
1.90/1.96	v -9961 -9962 -9963 -9964 -9965 -9966 -9967 -9968 -9969 -9970
1.90/1.96	v -9971 -9972 -9973 -9974 -9975 -9976 -9977 -9978 -9979 -9980
1.90/1.96	v -9981 -9982 -9983 -9984 -9985 -9986 -9987 -9988 -9989 -9990
1.90/1.96	v -9991 -9992 -9993 -9994 -9995 -9996 -9997 9998 -9999 -10000
1.90/1.96	v -10001 -10002 -10003 -10004 -10005 -10006 -10007 -10008 -10009 -10010
1.90/1.96	v -10011 -10012 -10013 -10014 -10015 -10016 -10017 -10018 -10019 -10020
1.90/1.96	v -10021 -10022 -10023 -10024 10025 -10026 -10027 -10028 -10029 -10030
1.90/1.96	v -10031 -10032 -10033 -10034 -10035 10036 -10037 -10038 -10039 -10040
1.90/1.96	v -10041 -10042 -10043 -10044 -10045 -10046 -10047 -10048 -10049 -10050
1.90/1.96	v -10051 -10052 -10053 -10054 -10055 -10056 -10057 -10058 -10059 -10060
1.90/1.96	v -10061 -10062 -10063 -10064 -10065 -10066 -10067 -10068 -10069 -10070
1.90/1.96	v -10071 -10072 -10073 -10074 -10075 -10076 10077 10078 -10079 -10080
1.90/1.96	v -10081 -10082 -10083 -10084 -10085 -10086 -10087 -10088 -10089 -10090
1.90/1.96	v -10091 -10092 -10093 -10094 -10095 -10096 -10097 -10098 -10099 -10100
1.90/1.96	v -10101 -10102 -10103 -10104 -10105 -10106 -10107 -10108 -10109 -10110
1.90/1.96	v -10111 -10112 -10113 -10114 -10115 -10116 -10117 -10118 -10119 -10120
1.90/1.96	v -10121 -10122 -10123 -10124 -10125 -10126 -10127 10128 -10129 -10130
1.90/1.96	v -10131 -10132 -10133 -10134 -10135 -10136 -10137 -10138 -10139 -10140
1.90/1.96	v -10141 -10142 -10143 -10144 -10145 -10146 -10147 -10148 -10149 -10150
1.90/1.96	v -10151 -10152 -10153 -10154 -10155 -10156 -10157 -10158 -10159 -10160
1.90/1.96	v -10161 -10162 -10163 -10164 -10165 -10166 -10167 -10168 -10169 -10170
1.90/1.96	v -10171 -10172 -10173 -10174 -10175 -10176 -10177 -10178 -10179 -10180
1.90/1.96	v -10181 -10182 -10183 -10184 -10185 -10186 -10187 -10188 -10189 -10190
1.90/1.96	v -10191 -10192 -10193 -10194 -10195 -10196 -10197 -10198 -10199 -10200
1.90/1.96	v -10201 -10202 -10203 -10204 -10205 -10206 -10207 -10208 -10209 10210
1.90/1.96	v 10211 -10212 -10213 -10214 -10215 -10216 -10217 -10218 -10219 -10220
1.90/1.96	v -10221 -10222 -10223 -10224 -10225 -10226 -10227 -10228 -10229 -10230
1.90/1.96	v -10231 -10232 -10233 -10234 -10235 -10236 -10237 -10238 -10239 -10240
1.90/1.96	v -10241 -10242 -10243 -10244 -10245 -10246 -10247 -10248 -10249 -10250
1.90/1.96	v -10251 -10252 -10253 -10254 -10255 -10256 -10257 -10258 -10259 -10260
1.90/1.96	v -10261 -10262 -10263 -10264 -10265 -10266 -10267 -10268 -10269 -10270
1.90/1.96	v -10271 -10272 -10273 -10274 -10275 -10276 -10277 -10278 -10279 -10280
1.90/1.96	v -10281 -10282 -10283 -10284 -10285 -10286 -10287 -10288 -10289 -10290
1.90/1.96	v -10291 -10292 -10293 -10294 -10295 -10296 10297 -10298 -10299 -10300
1.90/1.96	v -10301 -10302 -10303 -10304 -10305 -10306 -10307 -10308 -10309 -10310
1.90/1.96	v -10311 -10312 -10313 -10314 -10315 -10316 -10317 -10318 -10319 -10320
1.90/1.96	v -10321 -10322 -10323 -10324 -10325 -10326 -10327 -10328 -10329 -10330
1.90/1.96	v -10331 -10332 -10333 -10334 -10335 -10336 -10337 -10338 -10339 -10340
1.90/1.96	v -10341 -10342 -10343 -10344 -10345 -10346 -10347 -10348 -10349 -10350
1.90/1.96	v -10351 -10352 -10353 -10354 -10355 -10356 -10357 -10358 -10359 -10360
1.90/1.96	v -10361 -10362 -10363 -10364 -10365 -10366 -10367 -10368 -10369 -10370
1.90/1.96	v -10371 -10372 -10373 -10374 -10375 -10376 -10377 -10378 -10379 -10380
1.90/1.96	v -10381 -10382 -10383 -10384 -10385 -10386 -10387 -10388 -10389 -10390
1.90/1.96	v -10391 -10392 -10393 -10394 -10395 -10396 -10397 -10398 -10399 -10400
1.90/1.96	v -10401 -10402 -10403 -10404 -10405 -10406 10407 10408 -10409 -10410
1.90/1.96	v -10411 -10412 -10413 -10414 -10415 -10416 -10417 -10418 -10419 -10420
1.90/1.96	v -10421 -10422 -10423 -10424 -10425 -10426 -10427 -10428 -10429 -10430
1.90/1.96	v -10431 -10432 -10433 -10434 -10435 -10436 -10437 -10438 -10439 -10440
1.90/1.96	v -10441 -10442 -10443 -10444 -10445 -10446 -10447 -10448 -10449 -10450
1.90/1.96	v -10451 -10452 -10453 -10454 -10455 -10456 -10457 -10458 -10459 -10460
1.90/1.96	v -10461 -10462 -10463 -10464 -10465 -10466 -10467 -10468 -10469 -10470
1.90/1.96	v -10471 -10472 -10473 -10474 -10475 -10476 -10477 -10478 -10479 -10480
1.90/1.96	v -10481 -10482 -10483 -10484 -10485 -10486 -10487 -10488 -10489 -10490
1.90/1.96	v -10491 -10492 -10493 -10494 -10495 -10496 -10497 -10498 -10499 -10500
1.90/1.96	v -10501 -10502 -10503 -10504 -10505 -10506 -10507 -10508 -10509 -10510
1.90/1.96	v -10511 -10512 -10513 -10514 -10515 -10516 -10517 -10518 -10519 -10520
1.90/1.96	v -10521 -10522 -10523 10524 -10525 -10526 -10527 -10528 -10529 -10530
1.90/1.96	v -10531 -10532 -10533 -10534 -10535 -10536 -10537 -10538 -10539 -10540
1.90/1.96	v -10541 -10542 -10543 -10544 -10545 -10546 -10547 -10548 -10549 -10550
1.90/1.96	v -10551 -10552 -10553 -10554 -10555 -10556 -10557 -10558 -10559 -10560
1.90/1.96	v -10561 -10562 -10563 -10564 -10565 -10566 -10567 -10568 -10569 -10570
1.90/1.96	v -10571 -10572 -10573 -10574 -10575 -10576 -10577 -10578 -10579 -10580
1.90/1.96	v -10581 -10582 -10583 -10584 -10585 -10586 -10587 -10588 -10589 -10590
1.90/1.96	v -10591 -10592 -10593 -10594 -10595 -10596 -10597 -10598 -10599 -10600
1.90/1.96	v -10601 -10602 -10603 -10604 -10605 -10606 -10607 -10608 -10609 -10610
1.90/1.96	v -10611 -10612 -10613 -10614 -10615 -10616 -10617 -10618 -10619 -10620
1.90/1.96	v -10621 -10622 -10623 -10624 -10625 -10626 -10627 -10628 -10629 -10630
1.90/1.96	v -10631 -10632 -10633 -10634 -10635 -10636 -10637 -10638 -10639 -10640
1.90/1.96	v -10641 -10642 -10643 -10644 -10645 -10646 -10647 -10648 -10649 -10650
1.90/1.96	v -10651 -10652 -10653 -10654 -10655 -10656 -10657 -10658 -10659 -10660
1.90/1.96	v -10661 -10662 -10663 -10664 -10665 -10666 -10667 -10668 -10669 -10670
1.90/1.96	v -10671 -10672 -10673 -10674 10675 10676 -10677 -10678 -10679 -10680
1.90/1.96	v -10681 -10682 -10683 -10684 -10685 -10686 -10687 -10688 -10689 -10690
1.90/1.96	v -10691 -10692 -10693 -10694 -10695 -10696 -10697 -10698 -10699 -10700
1.90/1.96	v -10701 -10702 -10703 -10704 -10705 -10706 -10707 -10708 -10709 -10710
1.90/1.96	v -10711 -10712 -10713 -10714 -10715 -10716 -10717 -10718 -10719 -10720
1.90/1.96	v -10721 -10722 -10723 -10724 -10725 -10726 -10727 -10728 -10729 -10730
1.90/1.96	v -10731 -10732 -10733 -10734 -10735 -10736 -10737 -10738 -10739 -10740
1.90/1.96	v -10741 -10742 -10743 -10744 -10745 -10746 -10747 -10748 -10749 -10750
1.90/1.96	v -10751 -10752 -10753 -10754 -10755 -10756 -10757 -10758 -10759 -10760
1.90/1.96	v -10761 -10762 -10763 -10764 -10765 -10766 -10767 -10768 -10769 -10770
1.90/1.96	v -10771 -10772 -10773 -10774 -10775 -10776 -10777 -10778 -10779 -10780
1.90/1.96	v -10781 -10782 -10783 -10784 -10785 -10786 -10787 -10788 -10789 -10790
1.90/1.96	v -10791 -10792 -10793 -10794 -10795 -10796 -10797 -10798 -10799 -10800
1.90/1.96	v -10801 -10802 -10803 -10804 -10805 -10806 -10807 -10808 -10809 -10810
1.90/1.96	v -10811 -10812 -10813 -10814 -10815 -10816 -10817 -10818 -10819 -10820
1.90/1.96	v -10821 -10822 -10823 -10824 -10825 -10826 -10827 10828 -10829 -10830
1.90/1.96	v -10831 -10832 -10833 -10834 -10835 -10836 -10837 -10838 -10839 -10840
1.90/1.96	v -10841 -10842 -10843 -10844 -10845 -10846 -10847 -10848 -10849 -10850
1.90/1.96	v -10851 10852 -10853 10854 -10855 -10856 10857 -10858 10859 -10860
1.90/1.96	v -10861 -10862 -10863 10864 -10865 10866 -10867 -10868 -10869 -10870
1.90/1.96	v 10871 -10872 10873 -10874 -10875 -10876 -10877 10878 -10879 10880
1.90/1.96	v -10881 -10882 -10883 -10884 10885 -10886 10887 -10888 -10889 -10890
1.90/1.96	v -10891 10892 -10893 10894 -10895 -10896 -10897 -10898 10899 -10900
1.90/1.96	v 10901 -10902 -10903 -10904 -10905 10906 -10907 10908 10909 10910
1.90/1.96	v -10911 -10912 -10913 -10914 -10915 -10916 -10917 -10918 -10919 -10920
1.90/1.96	v -10921 -10922 -10923 -10924 -10925 -10926 -10927 -10928 -10929 -10930
1.90/1.96	v 10931 10932 10933 -10934 -10935 -10936 -10937 -10938 -10939 -10940
1.90/1.96	v -10941 -10942 -10943 -10944 -10945 -10946 -10947 -10948 -10949 -10950
1.90/1.96	v -10951 -10952 -10953 -10954 10955 -10956 10957 -10958 -10959 -10960
1.90/1.96	v 10961 -10962 -10963 -10964 -10965 -10966 -10967 -10968 -10969 -10970
1.90/1.96	v -10971 -10972 -10973 -10974 -10975 -10976 -10977 -10978 -10979 -10980
1.90/1.96	v -10981 -10982 -10983 -10984 -10985 -10986 -10987 -10988 -10989 -10990
1.90/1.96	v -10991 -10992 -10993 -10994 -10995 -10996 -10997 -10998 -10999 -11000
1.90/1.96	v -11001 -11002 -11003 -11004 -11005 -11006 -11007 -11008 -11009 -11010
1.90/1.96	v -11011 -11012 -11013 11014 11015 11016 -11017 -11018 -11019 -11020
1.90/1.96	v 11021 -11022 -11023 -11024 -11025 -11026 -11027 -11028 -11029 -11030
1.90/1.96	v -11031 -11032 -11033 -11034 -11035 -11036 -11037 -11038 -11039 -11040
1.90/1.96	v -11041 -11042 -11043 -11044 -11045 -11046 -11047 -11048 -11049 -11050
1.90/1.96	v -11051 -11052 -11053 -11054 -11055 -11056 -11057 -11058 -11059 11060
1.90/1.96	v 11061 -11062 -11063 -11064 -11065 -11066 -11067 -11068 -11069 -11070
1.90/1.96	v -11071 -11072 -11073 -11074 -11075 -11076 -11077 -11078 -11079 -11080
1.90/1.96	v -11081 -11082 -11083 -11084 -11085 -11086 -11087 -11088 -11089 -11090
1.90/1.96	v -11091 -11092 -11093 -11094 -11095 -11096 -11097 -11098 -11099 -11100
1.90/1.96	v -11101 -11102 -11103 -11104 -11105 -11106 -11107 -11108 -11109 -11110
1.90/1.96	v -11111 -11112 -11113 -11114 -11115 -11116 -11117 -11118 -11119 -11120
1.90/1.96	v -11121 -11122 -11123 -11124 -11125 -11126 -11127 -11128 -11129 -11130
1.90/1.96	v -11131 -11132 -11133 -11134 -11135 -11136 -11137 -11138 -11139 -11140
1.90/1.96	v -11141 -11142 -11143 -11144 -11145 -11146 -11147 -11148 -11149 -11150
1.90/1.96	v -11151 -11152 -11153 -11154 -11155 -11156 -11157 -11158 -11159 -11160
1.90/1.96	v -11161 -11162 -11163 -11164 -11165 -11166 -11167 -11168 -11169 -11170
1.90/1.96	v -11171 -11172 -11173 -11174 -11175 -11176 -11177 -11178 -11179 -11180
1.90/1.96	v -11181 -11182 -11183 -11184 -11185 -11186 -11187 -11188 -11189 -11190
1.90/1.96	v -11191 -11192 -11193 -11194 -11195 -11196 -11197 -11198 -11199 -11200
1.90/1.96	v -11201 -11202 -11203 -11204 -11205 -11206 -11207 -11208 -11209 -11210
1.90/1.96	v -11211 -11212 -11213 11214 -11215 11216 -11217 -11218 11219 -11220
1.90/1.96	v 11221 -11222 -11223 11224 -11225 11226 -11227 -11228 11229 -11230
1.90/1.96	v 11231 -11232 -11233 11234 -11235 11236 -11237 -11238 11239 -11240
1.90/1.96	v 11241 -11242 -11243 11244 -11245 11246 -11247 -11248 11249 -11250
1.90/1.96	v 11251 -11252 -11253 11254 -11255 11256 11257 -11258 11259 11260
1.90/1.96	v -11261 -11262 -11263 11264 -11265 -11266 11267 11268 11269 11270
1.90/1.96	v 11271 11272 11273 11274 11275 11276 11277 11278 11279 11280
1.90/1.96	v 11281 11282 11283 11284 11285 11286 -11287 -11288 -11289 -11290
1.90/1.96	v -11291 -11292 -11293 -11294 -11295 -11296 -11297 -11298 -11299 -11300
1.90/1.96	v -11301 -11302 -11303 -11304 -11305 -11306 -11307 -11308 -11309 -11310
1.90/1.96	v -11311 -11312 -11313 -11314 -11315 -11316 -11317 -11318 -11319 11320
1.90/1.96	v -11321 -11322 -11323 -11324 -11325 -11326 -11327 -11328 -11329 -11330
1.90/1.96	v -11331 -11332 -11333 -11334 -11335 -11336 -11337 -11338 -11339 -11340
1.90/1.96	v -11341 -11342 -11343 -11344 -11345 -11346 -11347 -11348 -11349 -11350
1.90/1.96	v -11351 -11352 -11353 -11354 -11355 -11356 -11357 -11358 -11359 -11360
1.90/1.96	v -11361 -11362 -11363 -11364 -11365 -11366 -11367 -11368 -11369 -11370
1.90/1.96	v -11371 -11372 -11373 -11374 -11375 -11376 -11377 -11378 -11379 -11380
1.90/1.96	v -11381 -11382 -11383 -11384 -11385 -11386 -11387 -11388 -11389 -11390
1.90/1.96	v -11391 -11392 -11393 -11394 -11395 -11396 -11397 -11398 -11399 -11400
1.90/1.96	v -11401 -11402 -11403 -11404 -11405 -11406 -11407 -11408 -11409 -11410
1.90/1.96	v -11411 -11412 -11413 -11414 -11415 -11416 -11417 -11418 -11419 -11420
1.90/1.96	v -11421 -11422 -11423 -11424 -11425 11426 -11427 -11428 -11429 -11430
1.90/1.96	v -11431 -11432 -11433 -11434 -11435 -11436 -11437 -11438 -11439 -11440
1.90/1.96	v -11441 -11442 -11443 -11444 -11445 -11446 -11447 -11448 -11449 -11450
1.90/1.96	v -11451 -11452 -11453 -11454 -11455 -11456 -11457 -11458 -11459 -11460
1.90/1.96	v -11461 -11462 -11463 -11464 -11465 -11466 -11467 -11468 -11469 -11470
1.90/1.96	v -11471 -11472 11473 -11474 11475 -11476 -11477 -11478 11479 -11480
1.90/1.96	v 11481 -11482 -11483 -11484 -11485 11486 -11487 11488 -11489 -11490
1.90/1.96	v 11491 -11492 -11493 -11494 -11495 -11496 -11497 -11498 -11499 11500
1.90/1.96	v 11501 11502 -11503 -11504 -11505 -11506 -11507 -11508 -11509 -11510
1.90/1.96	v -11511 11512 -11513 -11514 -11515 -11516 -11517 -11518 -11519 -11520
1.90/1.96	v -11521 -11522 -11523 -11524 -11525 -11526 -11527 -11528 -11529 -11530
1.90/1.96	v -11531 -11532 -11533 -11534 -11535 -11536 11537 -11538 -11539 -11540
1.90/1.96	v -11541 -11542 -11543 -11544 -11545 -11546 -11547 -11548 11549 -11550
1.90/1.96	v -11551 -11552 11553 -11554 -11555 -11556 -11557 -11558 -11559 -11560
1.90/1.96	v -11561 -11562 -11563 11564 -11565 -11566 -11567 -11568 -11569 -11570
1.90/1.96	v -11571 11572 -11573 11574 -11575 -11576 -11577 11578 -11579 11580
1.90/1.96	v -11581 -11582 -11583 -11584 11585 -11586 11587 11588 11589 -11590
1.90/1.96	v -11591 -11592 -11593 -11594 -11595 -11596 -11597 -11598 11599 11600
1.90/1.96	v 11601 -11602 -11603 -11604 -11605 -11606 -11607 -11608 -11609 -11610
1.90/1.96	v -11611 -11612 -11613 -11614 -11615 -11616 -11617 -11618 -11619 -11620
1.90/1.96	v -11621 -11622 -11623 -11624 -11625 -11626 -11627 -11628 -11629 -11630
1.90/1.96	v -11631 -11632 -11633 -11634 -11635 -11636 -11637 -11638 -11639 -11640
1.90/1.96	v -11641 -11642 -11643 11644 -11645 -11646 -11647 11648 11649 -11650
1.90/1.96	v -11651 -11652 -11653 -11654 11655 -11656 -11657 -11658 -11659 -11660
1.90/1.96	v -11661 -11662 -11663 -11664 -11665 -11666 -11667 -11668 -11669 -11670
1.90/1.96	v -11671 -11672 -11673 -11674 -11675 -11676 -11677 -11678 -11679 -11680
1.90/1.96	v -11681 -11682 -11683 -11684 -11685 -11686 -11687 -11688 -11689 -11690
1.90/1.96	v -11691 -11692 -11693 -11694 -11695 -11696 -11697 -11698 -11699 -11700
1.90/1.96	v -11701 -11702 -11703 -11704 -11705 -11706 -11707 -11708 -11709 -11710
1.90/1.96	v -11711 -11712 -11713 -11714 -11715 -11716 -11717 -11718 -11719 -11720
1.90/1.96	v -11721 -11722 -11723 -11724 -11725 -11726 -11727 -11728 -11729 -11730
1.90/1.96	v -11731 -11732 -11733 -11734 -11735 -11736 -11737 -11738 -11739 -11740
1.90/1.96	v -11741 -11742 -11743 -11744 -11745 -11746 -11747 -11748 -11749 -11750
1.90/1.96	v -11751 -11752 -11753 -11754 -11755 -11756 -11757 -11758 -11759 -11760
1.90/1.96	v -11761 -11762 -11763 -11764 -11765 -11766 -11767 -11768 -11769 -11770
1.90/1.96	v -11771 -11772 -11773 -11774 -11775 -11776 -11777 -11778 -11779 -11780
1.90/1.96	v -11781 -11782 -11783 -11784 -11785 -11786 -11787 -11788 -11789 -11790
1.90/1.96	v -11791 -11792 -11793 -11794 -11795 -11796 -11797 -11798 -11799 -11800
1.90/1.96	v -11801 -11802 -11803 -11804 -11805 -11806 -11807 -11808 -11809 -11810
1.90/1.96	v -11811 -11812 -11813 -11814 -11815 -11816 -11817 -11818 -11819 -11820
1.90/1.96	v -11821 -11822 -11823 -11824 -11825 -11826 -11827 -11828 -11829 -11830
1.90/1.96	v 11831 -11832 -11833 -11834 11835 -11836 -11837 -11838 -11839 -11840
1.90/1.96	v -11841 -11842 -11843 -11844 -11845 -11846 -11847 -11848 -11849 -11850
1.90/1.96	v -11851 -11852 -11853 -11854 -11855 -11856 -11857 -11858 -11859 -11860
1.90/1.96	v -11861 -11862 -11863 -11864 -11865 -11866 -11867 -11868 -11869 -11870
1.90/1.96	v -11871 -11872 -11873 -11874 -11875 -11876 -11877 -11878 -11879 -11880
1.90/1.96	v -11881 -11882 -11883 -11884 -11885 -11886 -11887 -11888 -11889 -11890
1.90/1.96	v -11891 -11892 -11893 11894 -11895 -11896 -11897 -11898 -11899 -11900
1.90/1.96	v -11901 -11902 -11903 -11904 -11905 -11906 -11907 -11908 -11909 -11910
1.90/1.96	v -11911 -11912 -11913 -11914 11915 -11916 11917 -11918 -11919 11920
1.90/1.96	v -11921 11922 -11923 -11924 11925 -11926 11927 -11928 -11929 11930
1.90/1.96	v -11931 -11932 -11933 -11934 -11935 -11936 -11937 -11938 -11939 -11940
1.90/1.96	v -11941 -11942 -11943 -11944 -11945 -11946 -11947 -11948 -11949 -11950
1.90/1.96	v -11951 -11952 -11953 -11954 -11955 -11956 -11957 -11958 -11959 -11960
1.90/1.96	v -11961 -11962 -11963 -11964 -11965 -11966 -11967 -11968 -11969 -11970
1.90/1.96	v -11971 -11972 -11973 -11974 -11975 -11976 -11977 -11978 -11979 -11980
1.90/1.96	v -11981 -11982 -11983 -11984 -11985 -11986 -11987 -11988 -11989 -11990
1.90/1.96	v -11991 11992 -11993 -11994 -11995 -11996 -11997 -11998 -11999 -12000
1.90/1.96	v -12001 12002 -12003 12004 -12005 -12006 -12007 -12008 -12009 -12010
1.90/1.96	v -12011 -12012 -12013 -12014 -12015 -12016 -12017 -12018 -12019 -12020
1.90/1.96	v -12021 -12022 -12023 -12024 -12025 -12026 12027 -12028 12029 -12030
1.90/1.96	v -12031 -12032 12033 -12034 12035 -12036 -12037 -12038 -12039 12040
1.90/1.96	v -12041 12042 -12043 -12044 12045 -12046 -12047 -12048 -12049 -12050
1.90/1.96	v -12051 -12052 -12053 12054 12055 12056 -12057 -12058 -12059 -12060
1.90/1.96	v -12061 -12062 -12063 -12064 -12065 -12066 -12067 -12068 -12069 -12070
1.90/1.96	v -12071 -12072 -12073 -12074 -12075 -12076 -12077 -12078 -12079 -12080
1.90/1.96	v -12081 -12082 -12083 -12084 -12085 -12086 -12087 -12088 -12089 -12090
1.90/1.96	v -12091 -12092 -12093 -12094 -12095 -12096 -12097 -12098 -12099 -12100
1.90/1.96	v -12101 -12102 -12103 -12104 -12105 -12106 -12107 -12108 12109 -12110
1.90/1.96	v -12111 -12112 -12113 -12114 -12115 -12116 -12117 -12118 12119 -12120
1.90/1.96	v 12121 -12122 -12123 -12124 -12125 -12126 -12127 -12128 -12129 -12130
1.90/1.96	v -12131 -12132 -12133 -12134 -12135 -12136 -12137 -12138 -12139 -12140
1.90/1.96	v -12141 -12142 -12143 12144 -12145 12146 -12147 -12148 -12149 12150
1.90/1.96	v -12151 12152 -12153 -12154 -12155 -12156 12157 -12158 12159 -12160
1.90/1.96	v -12161 12162 -12163 -12164 -12165 -12166 -12167 -12168 -12169 -12170
1.90/1.96	v 12171 12172 12173 -12174 12175 -12176 -12177 -12178 -12179 -12180
1.90/1.96	v -12181 -12182 -12183 -12184 -12185 -12186 -12187 -12188 -12189 -12190
1.90/1.96	v -12191 -12192 -12193 -12194 -12195 -12196 -12197 -12198 -12199 -12200
1.90/1.96	v -12201 -12202 -12203 -12204 -12205 -12206 -12207 -12208 -12209 -12210
1.90/1.96	v -12211 -12212 -12213 -12214 -12215 -12216 -12217 -12218 -12219 -12220
1.90/1.96	v -12221 12222 -12223 -12224 -12225 -12226 -12227 -12228 -12229 -12230
1.90/1.96	v -12231 -12232 -12233 -12234 -12235 -12236 -12237 -12238 -12239 -12240
1.90/1.96	v -12241 -12242 -12243 -12244 12245 -12246 12247 -12248 -12249 -12250
1.90/1.96	v 12251 -12252 12253 -12254 -12255 -12256 -12257 12258 -12259 12260
1.90/1.96	v -12261 -12262 12263 -12264 -12265 -12266 -12267 -12268 -12269 -12270
1.90/1.96	v -12271 12272 12273 12274 -12275 -12276 -12277 -12278 -12279 -12280
1.90/1.96	v -12281 -12282 -12283 -12284 -12285 -12286 -12287 -12288 -12289 -12290
1.90/1.97	v -12291 -12292 -12293 -12294 -12295 -12296 -12297 -12298 -12299 -12300
1.90/1.97	v -12301 -12302 -12303 -12304 -12305 -12306 -12307 -12308 -12309 -12310
1.90/1.97	v -12311 -12312 -12313 -12314 -12315 -12316 -12317 -12318 -12319 -12320
1.90/1.97	v -12321 -12322 -12323 -12324 -12325 -12326 -12327 -12328 -12329 -12330
1.90/1.97	v -12331 -12332 -12333 -12334 -12335 -12336 -12337 -12338 -12339 -12340
1.90/1.97	v -12341 -12342 -12343 -12344 -12345 -12346 -12347 -12348 -12349 -12350
1.90/1.97	v -12351 -12352 -12353 -12354 -12355 -12356 -12357 -12358 -12359 -12360
1.90/1.97	v -12361 -12362 -12363 -12364 -12365 -12366 -12367 -12368 -12369 -12370
1.90/1.97	v -12371 -12372 -12373 -12374 -12375 -12376 -12377 -12378 -12379 -12380
1.90/1.97	v -12381 -12382 -12383 -12384 -12385 -12386 -12387 -12388 -12389 -12390
1.90/1.97	v -12391 -12392 -12393 -12394 -12395 -12396 -12397 -12398 -12399 -12400
1.90/1.97	v -12401 -12402 -12403 -12404 -12405 -12406 -12407 -12408 -12409 -12410
1.90/1.97	v -12411 -12412 -12413 -12414 -12415 -12416 -12417 -12418 -12419 -12420
1.90/1.97	v -12421 -12422 -12423 -12424 -12425 -12426 -12427 -12428 -12429 -12430
1.90/1.97	v -12431 -12432 -12433 -12434 -12435 -12436 -12437 -12438 -12439 -12440
1.90/1.97	v -12441 -12442 -12443 -12444 -12445 -12446 -12447 -12448 -12449 -12450
1.90/1.97	v -12451 -12452 -12453 -12454 -12455 -12456 -12457 -12458 -12459 -12460
1.90/1.97	v -12461 -12462 -12463 -12464 -12465 -12466 -12467 -12468 -12469 -12470
1.90/1.97	v 12471 -12472 12473 -12474 -12475 12476 -12477 12478 -12479 -12480
1.90/1.97	v -12481 -12482 12483 -12484 12485 -12486 -12487 -12488 -12489 12490
1.90/1.97	v -12491 12492 -12493 -12494 -12495 -12496 12497 -12498 12499 -12500
1.90/1.97	v -12501 -12502 -12503 12504 -12505 12506 -12507 -12508 -12509 -12510
1.90/1.97	v 12511 -12512 12513 -12514 -12515 -12516 -12517 12518 -12519 12520
1.90/1.97	v -12521 -12522 -12523 -12524 12525 -12526 12527 -12528 -12529 12530
1.90/1.97	v -12531 -12532 -12533 -12534 -12535 -12536 -12537 -12538 -12539 -12540
1.90/1.97	v -12541 -12542 -12543 -12544 -12545 -12546 -12547 -12548 -12549 12550
1.90/1.97	v 12551 12552 12553 12554 12555 -12556 -12557 -12558 -12559 -12560
1.90/1.97	v -12561 -12562 -12563 -12564 -12565 -12566 -12567 -12568 -12569 -12570
1.90/1.97	v -12571 -12572 -12573 -12574 -12575 -12576 -12577 -12578 -12579 -12580
1.90/1.97	v -12581 -12582 -12583 -12584 -12585 -12586 -12587 -12588 -12589 -12590
1.90/1.97	v -12591 -12592 -12593 -12594 -12595 -12596 -12597 -12598 -12599 -12600
1.90/1.97	v -12601 12602 -12603 -12604 -12605 -12606 -12607 -12608 -12609 -12610
1.90/1.97	v -12611 -12612 -12613 -12614 -12615 -12616 -12617 -12618 -12619 -12620
1.90/1.97	v -12621 -12622 -12623 -12624 12625 -12626 12627 -12628 -12629 -12630
1.90/1.97	v 12631 -12632 12633 -12634 -12635 -12636 -12637 12638 -12639 12640
1.90/1.97	v -12641 -12642 12643 -12644 -12645 -12646 -12647 -12648 -12649 -12650
1.90/1.97	v -12651 12652 12653 12654 -12655 -12656 -12657 -12658 -12659 -12660
1.90/1.97	v -12661 -12662 -12663 -12664 -12665 -12666 -12667 -12668 -12669 -12670
1.90/1.97	v -12671 -12672 -12673 -12674 -12675 -12676 -12677 -12678 -12679 -12680
1.90/1.97	v -12681 -12682 -12683 -12684 -12685 -12686 -12687 -12688 -12689 -12690
1.90/1.97	v -12691 -12692 -12693 -12694 -12695 -12696 -12697 -12698 -12699 -12700
1.90/1.97	v -12701 -12702 -12703 -12704 -12705 -12706 -12707 -12708 -12709 -12710
1.90/1.97	v -12711 -12712 -12713 -12714 -12715 -12716 -12717 -12718 -12719 -12720
1.90/1.97	v -12721 -12722 -12723 -12724 -12725 -12726 -12727 -12728 -12729 -12730
1.90/1.97	v -12731 -12732 -12733 -12734 -12735 -12736 -12737 -12738 -12739 -12740
1.90/1.97	v -12741 -12742 -12743 -12744 -12745 -12746 -12747 -12748 -12749 -12750
1.90/1.97	v -12751 -12752 -12753 -12754 -12755 -12756 -12757 -12758 -12759 -12760
1.90/1.97	v -12761 -12762 -12763 -12764 -12765 -12766 -12767 -12768 -12769 -12770
1.90/1.97	v -12771 -12772 -12773 -12774 -12775 -12776 -12777 -12778 -12779 -12780
1.90/1.97	v -12781 -12782 -12783 -12784 -12785 -12786 -12787 -12788 -12789 -12790
1.90/1.97	v -12791 -12792 -12793 -12794 -12795 -12796 -12797 -12798 -12799 -12800
1.90/1.97	v -12801 -12802 -12803 -12804 -12805 -12806 -12807 -12808 -12809 -12810
1.90/1.97	v -12811 -12812 -12813 -12814 -12815 -12816 -12817 -12818 -12819 -12820
1.90/1.97	v -12821 -12822 -12823 -12824 -12825 -12826 -12827 -12828 -12829 -12830
1.90/1.97	v -12831 -12832 -12833 -12834 -12835 -12836 -12837 -12838 -12839 -12840
1.90/1.97	v -12841 -12842 -12843 -12844 -12845 -12846 -12847 -12848 -12849 -12850
1.90/1.97	v 12851 -12852 12853 -12854 -12855 12856 -12857 12858 -12859 -12860
1.90/1.97	v -12861 -12862 12863 -12864 12865 -12866 -12867 -12868 -12869 12870
1.90/1.97	v -12871 12872 -12873 -12874 -12875 -12876 12877 -12878 12879 -12880
1.90/1.97	v -12881 -12882 -12883 12884 -12885 12886 -12887 -12888 -12889 -12890
1.90/1.97	v 12891 -12892 12893 -12894 -12895 -12896 -12897 12898 -12899 12900
1.90/1.97	v -12901 -12902 -12903 -12904 12905 -12906 12907 -12908 -12909 12910
1.90/1.97	v -12911 -12912 -12913 -12914 -12915 -12916 -12917 -12918 -12919 -12920
1.90/1.97	v -12921 -12922 -12923 -12924 -12925 -12926 -12927 -12928 -12929 12930
1.90/1.97	v 12931 12932 -12933 -12934 -12935 -12936 -12937 -12938 -12939 -12940
1.90/1.97	v -12941 -12942 -12943 -12944 -12945 -12946 -12947 -12948 -12949 -12950
1.90/1.97	v -12951 -12952 -12953 -12954 -12955 -12956 -12957 -12958 -12959 -12960
1.90/1.97	v -12961 -12962 -12963 -12964 -12965 -12966 -12967 -12968 -12969 -12970
1.90/1.97	v -12971 -12972 -12973 -12974 -12975 -12976 -12977 -12978 -12979 -12980
1.90/1.97	v -12981 -12982 -12983 -12984 -12985 -12986 -12987 -12988 -12989 -12990
1.90/1.97	v 12991 -12992 -12993 -12994 12995 -12996 -12997 -12998 -12999 -13000
1.90/1.97	v -13001 -13002 -13003 -13004 -13005 -13006 -13007 -13008 -13009 -13010
1.90/1.97	v -13011 -13012 -13013 -13014 -13015 -13016 -13017 -13018 -13019 -13020
1.90/1.97	v -13021 -13022 -13023 -13024 -13025 -13026 -13027 -13028 -13029 -13030
1.90/1.97	v -13031 -13032 -13033 -13034 -13035 -13036 -13037 -13038 13039 -13040
1.90/1.97	v 13041 -13042 -13043 13044 -13045 13046 -13047 -13048 13049 -13050
1.90/1.97	v 13051 -13052 -13053 13054 -13055 -13056 -13057 -13058 -13059 -13060
1.90/1.97	v -13061 -13062 13063 13064 13065 -13066 -13067 -13068 -13069 -13070
1.90/1.97	v -13071 -13072 -13073 -13074 -13075 -13076 -13077 -13078 -13079 -13080
1.90/1.97	v -13081 -13082 -13083 -13084 -13085 -13086 -13087 -13088 -13089 -13090
1.90/1.97	v -13091 -13092 -13093 -13094 -13095 -13096 -13097 -13098 -13099 -13100
1.90/1.97	v -13101 -13102 -13103 -13104 -13105 -13106 -13107 -13108 -13109 -13110
1.90/1.97	v -13111 -13112 -13113 -13114 -13115 -13116 -13117 -13118 -13119 -13120
1.90/1.97	v -13121 -13122 -13123 -13124 -13125 -13126 -13127 -13128 -13129 -13130
1.90/1.97	v -13131 -13132 -13133 -13134 -13135 -13136 -13137 -13138 -13139 -13140
1.90/1.97	v -13141 -13142 -13143 -13144 -13145 -13146 -13147 -13148 -13149 -13150
1.90/1.97	v -13151 -13152 -13153 -13154 -13155 -13156 -13157 -13158 -13159 -13160
1.90/1.97	v -13161 -13162 -13163 -13164 -13165 -13166 -13167 -13168 -13169 -13170
1.90/1.97	v -13171 -13172 -13173 -13174 -13175 -13176 -13177 -13178 -13179 -13180
1.90/1.97	v -13181 -13182 -13183 -13184 -13185 -13186 -13187 -13188 -13189 -13190
1.90/1.97	v -13191 -13192 -13193 -13194 -13195 -13196 -13197 -13198 -13199 -13200
1.90/1.97	v -13201 -13202 -13203 -13204 -13205 -13206 -13207 -13208 -13209 -13210
1.90/1.97	v -13211 -13212 -13213 -13214 -13215 -13216 -13217 -13218 -13219 -13220
1.90/1.97	v -13221 -13222 -13223 -13224 -13225 -13226 -13227 -13228 -13229 -13230
1.90/1.97	v -13231 -13232 -13233 -13234 -13235 -13236 -13237 -13238 -13239 -13240
1.90/1.97	v -13241 -13242 -13243 -13244 -13245 -13246 -13247 -13248 -13249 -13250
1.90/1.97	v -13251 -13252 -13253 -13254 -13255 -13256 -13257 -13258 -13259 -13260
1.90/1.97	v -13261 13262 -13263 13264 -13265 -13266 13267 -13268 13269 -13270
1.90/1.97	v -13271 -13272 -13273 13274 -13275 13276 -13277 -13278 -13279 -13280
1.90/1.97	v 13281 -13282 13283 -13284 -13285 -13286 -13287 13288 -13289 13290
1.90/1.97	v -13291 -13292 -13293 -13294 13295 -13296 13297 -13298 -13299 -13300
1.90/1.97	v -13301 13302 -13303 13304 -13305 -13306 -13307 -13308 13309 -13310
1.90/1.97	v 13311 -13312 -13313 -13314 -13315 13316 -13317 13318 -13319 -13320
1.90/1.97	v 13321 -13322 -13323 -13324 -13325 -13326 -13327 -13328 -13329 -13330
1.90/1.97	v -13331 -13332 -13333 -13334 -13335 -13336 -13337 -13338 -13339 -13340
1.90/1.97	v 13341 13342 13343 -13344 -13345 -13346 -13347 -13348 -13349 -13350
1.90/1.97	v -13351 -13352 -13353 -13354 -13355 -13356 -13357 -13358 -13359 -13360
1.90/1.97	v -13361 -13362 -13363 -13364 -13365 -13366 -13367 -13368 -13369 -13370
1.90/1.97	v -13371 -13372 -13373 -13374 -13375 -13376 -13377 -13378 -13379 -13380
1.90/1.97	v -13381 -13382 -13383 -13384 -13385 -13386 -13387 -13388 -13389 -13390
1.90/1.97	v -13391 -13392 -13393 -13394 -13395 13396 -13397 -13398 -13399 -13400
1.90/1.97	v -13401 -13402 -13403 -13404 -13405 13406 -13407 13408 -13409 -13410
1.90/1.97	v -13411 -13412 -13413 -13414 -13415 -13416 -13417 -13418 -13419 -13420
1.90/1.97	v -13421 -13422 -13423 -13424 -13425 -13426 -13427 -13428 -13429 -13430
1.90/1.97	v 13431 -13432 13433 -13434 -13435 -13436 13437 -13438 13439 -13440
1.90/1.97	v -13441 -13442 -13443 13444 -13445 13446 -13447 -13448 13449 -13450
1.90/1.97	v -13451 -13452 -13453 -13454 -13455 -13456 -13457 13458 13459 13460
1.90/1.97	v -13461 -13462 -13463 -13464 -13465 -13466 -13467 -13468 -13469 -13470
1.90/1.97	v -13471 -13472 -13473 -13474 -13475 -13476 -13477 -13478 -13479 -13480
1.90/1.97	v -13481 -13482 -13483 -13484 -13485 -13486 -13487 -13488 -13489 -13490
1.90/1.97	v -13491 -13492 -13493 -13494 -13495 -13496 -13497 -13498 -13499 -13500
1.90/1.97	v -13501 -13502 -13503 -13504 -13505 -13506 13507 -13508 -13509 -13510
1.90/1.97	v -13511 -13512 -13513 -13514 -13515 -13516 -13517 -13518 -13519 -13520
1.90/1.97	v -13521 -13522 -13523 -13524 -13525 -13526 -13527 -13528 -13529 13530
1.90/1.97	v -13531 13532 -13533 -13534 -13535 13536 -13537 13538 -13539 -13540
1.90/1.97	v -13541 -13542 13543 -13544 13545 -13546 -13547 13548 -13549 -13550
1.90/1.97	v -13551 -13552 -13553 -13554 -13555 -13556 13557 13558 13559 -13560
1.90/1.97	v -13561 -13562 -13563 -13564 -13565 -13566 -13567 -13568 -13569 -13570
1.90/1.97	v -13571 -13572 -13573 -13574 -13575 -13576 -13577 -13578 -13579 -13580
1.90/1.97	v -13581 -13582 -13583 -13584 -13585 -13586 -13587 -13588 -13589 -13590
1.90/1.97	v -13591 -13592 -13593 -13594 -13595 -13596 -13597 -13598 -13599 -13600
1.90/1.97	v -13601 -13602 -13603 -13604 -13605 -13606 -13607 -13608 -13609 -13610
1.90/1.97	v -13611 13612 -13613 -13614 -13615 -13616 -13617 -13618 -13619 -13620
1.90/1.97	v -13621 13622 -13623 13624 -13625 -13626 -13627 -13628 13629 -13630
1.90/1.97	v -13631 -13632 -13633 -13634 -13635 -13636 -13637 -13638 13639 -13640
1.90/1.97	v -13641 -13642 -13643 -13644 -13645 -13646 13647 -13648 13649 -13650
1.90/1.97	v -13651 -13652 13653 -13654 13655 -13656 -13657 -13658 -13659 13660
1.90/1.97	v -13661 13662 13663 -13664 13665 13666 13667 13668 13669 13670
1.90/1.97	v 13671 13672 13673 -13674 -13675 13676 -13677 -13678 -13679 -13680
1.90/1.97	v -13681 -13682 -13683 -13684 -13685 -13686 -13687 -13688 -13689 -13690
1.90/1.97	v -13691 -13692 -13693 -13694 -13695 -13696 -13697 -13698 -13699 -13700
1.90/1.97	v -13701 -13702 -13703 -13704 -13705 -13706 -13707 -13708 -13709 -13710
1.90/1.97	v -13711 -13712 -13713 -13714 -13715 -13716 -13717 -13718 -13719 -13720
1.90/1.97	v -13721 -13722 13723 -13724 -13725 -13726 -13727 -13728 -13729 -13730
1.90/1.97	v -13731 -13732 -13733 -13734 -13735 -13736 -13737 -13738 -13739 -13740
1.90/1.97	v -13741 -13742 -13743 -13744 -13745 13746 -13747 13748 -13749 -13750
1.90/1.97	v -13751 13752 -13753 13754 -13755 -13756 -13757 -13758 13759 -13760
1.90/1.97	v 13761 -13762 -13763 13764 -13765 -13766 -13767 -13768 -13769 -13770
1.90/1.97	v -13771 -13772 13773 13774 13775 -13776 -13777 -13778 -13779 -13780
1.90/1.97	v -13781 -13782 -13783 -13784 -13785 -13786 -13787 -13788 -13789 -13790
1.90/1.97	v -13791 -13792 -13793 -13794 -13795 -13796 -13797 -13798 -13799 -13800
1.90/1.97	v -13801 -13802 -13803 -13804 -13805 -13806 -13807 -13808 -13809 -13810
1.90/1.97	v -13811 -13812 -13813 -13814 -13815 -13816 -13817 -13818 -13819 -13820
1.90/1.97	v -13821 13822 -13823 -13824 -13825 -13826 -13827 -13828 -13829 -13830
1.90/1.97	v -13831 -13832 -13833 -13834 -13835 -13836 -13837 -13838 -13839 -13840
1.90/1.97	v -13841 -13842 -13843 -13844 13845 -13846 13847 -13848 -13849 -13850
1.90/1.97	v 13851 -13852 13853 -13854 -13855 -13856 -13857 13858 -13859 13860
1.90/1.97	v -13861 -13862 13863 -13864 -13865 -13866 -13867 -13868 -13869 -13870
1.90/1.97	v -13871 13872 13873 13874 -13875 -13876 -13877 -13878 -13879 -13880
1.90/1.97	v -13881 -13882 -13883 -13884 -13885 -13886 -13887 -13888 -13889 -13890
1.90/1.97	v -13891 -13892 -13893 -13894 -13895 -13896 -13897 -13898 -13899 -13900
1.90/1.97	v -13901 -13902 -13903 -13904 -13905 -13906 -13907 -13908 -13909 -13910
1.90/1.97	v -13911 -13912 -13913 -13914 -13915 -13916 -13917 -13918 -13919 -13920
1.90/1.97	v -13921 -13922 -13923 -13924 -13925 -13926 -13927 -13928 -13929 -13930
1.90/1.97	v -13931 -13932 13933 -13934 -13935 -13936 13937 -13938 -13939 -13940
1.90/1.97	v -13941 -13942 -13943 -13944 -13945 -13946 -13947 -13948 -13949 -13950
1.90/1.97	v -13951 -13952 -13953 -13954 -13955 -13956 -13957 -13958 -13959 -13960
1.90/1.97	v 13961 -13962 -13963 -13964 -13965 -13966 -13967 -13968 -13969 -13970
1.90/1.97	v -13971 -13972 -13973 -13974 13975 13976 -13977 -13978 -13979 -13980
1.90/1.97	v 13981 -13982 13983 -13984 -13985 13986 -13987 13988 13989 -13990
1.90/1.97	v 13991 13992 -13993 -13994 -13995 13996 -13997 -13998 13999 14000
1.90/1.97	v 14001 14002 14003 14004 14005 -14006 14007 -14008 -14009 -14010
1.90/1.97	v -14011 -14012 -14013 -14014 -14015 -14016 -14017 -14018 -14019 -14020
1.90/1.97	v -14021 -14022 -14023 -14024 -14025 -14026 -14027 -14028 -14029 -14030
1.90/1.97	v -14031 -14032 -14033 -14034 -14035 -14036 -14037 -14038 -14039 -14040
1.90/1.97	v -14041 -14042 -14043 -14044 -14045 -14046 -14047 -14048 -14049 -14050
1.90/1.97	v -14051 -14052 -14053 -14054 -14055 -14056 -14057 -14058 -14059 14060
1.90/1.97	v -14061 -14062 -14063 -14064 -14065 -14066 -14067 -14068 -14069 14070
1.90/1.97	v -14071 14072 -14073 -14074 -14075 -14076 -14077 -14078 -14079 -14080
1.90/1.97	v -14081 -14082 -14083 -14084 -14085 -14086 -14087 -14088 -14089 -14090
1.90/1.97	v -14091 -14092 -14093 -14094 14095 -14096 14097 -14098 -14099 -14100
1.90/1.97	v 14101 -14102 14103 -14104 -14105 -14106 -14107 14108 -14109 14110
1.90/1.97	v -14111 -14112 14113 -14114 -14115 -14116 -14117 -14118 -14119 -14120
1.90/1.97	v -14121 14122 14123 14124 -14125 -14126 -14127 -14128 -14129 -14130
1.90/1.97	v -14131 -14132 -14133 -14134 -14135 -14136 -14137 -14138 -14139 -14140
1.90/1.97	v -14141 -14142 -14143 -14144 -14145 -14146 -14147 -14148 -14149 -14150
1.90/1.97	v -14151 -14152 -14153 -14154 -14155 -14156 -14157 -14158 -14159 -14160
1.90/1.97	v -14161 -14162 -14163 -14164 -14165 -14166 -14167 -14168 -14169 -14170
1.90/1.97	v -14171 -14172 -14173 -14174 -14175 -14176 -14177 -14178 -14179 -14180
1.90/1.97	v -14181 -14182 -14183 -14184 -14185 -14186 -14187 -14188 -14189 -14190
1.90/1.97	v -14191 -14192 -14193 -14194 -14195 -14196 -14197 -14198 -14199 -14200
1.90/1.97	v -14201 -14202 -14203 -14204 -14205 -14206 -14207 -14208 -14209 -14210
1.90/1.97	v -14211 -14212 -14213 -14214 -14215 -14216 -14217 -14218 -14219 -14220
1.90/1.97	v -14221 -14222 -14223 -14224 -14225 -14226 -14227 -14228 -14229 -14230
1.90/1.97	v -14231 -14232 -14233 -14234 -14235 -14236 -14237 -14238 -14239 -14240
1.90/1.97	v -14241 -14242 -14243 -14244 -14245 -14246 -14247 -14248 -14249 -14250
1.90/1.97	v -14251 -14252 -14253 -14254 -14255 -14256 -14257 -14258 -14259 -14260
1.90/1.97	v -14261 -14262 -14263 -14264 -14265 -14266 -14267 -14268 -14269 -14270
1.90/1.97	v -14271 -14272 -14273 -14274 -14275 -14276 -14277 -14278 -14279 -14280
1.90/1.97	v -14281 -14282 -14283 -14284 -14285 -14286 -14287 -14288 -14289 -14290
1.90/1.97	v -14291 -14292 -14293 -14294 -14295 -14296 -14297 -14298 -14299 -14300
1.90/1.97	v -14301 -14302 -14303 -14304 -14305 -14306 -14307 -14308 -14309 -14310
1.90/1.97	v -14311 -14312 -14313 -14314 -14315 -14316 -14317 -14318 -14319 -14320
1.90/1.97	v 14321 -14322 14323 -14324 -14325 14326 -14327 14328 -14329 -14330
1.90/1.97	v -14331 -14332 14333 -14334 14335 -14336 -14337 -14338 -14339 14340
1.90/1.97	v -14341 14342 -14343 -14344 -14345 -14346 14347 -14348 14349 -14350
1.90/1.97	v -14351 -14352 -14353 14354 -14355 14356 -14357 -14358 -14359 -14360
1.90/1.97	v 14361 -14362 14363 -14364 -14365 -14366 -14367 14368 -14369 14370
1.90/1.97	v -14371 -14372 -14373 -14374 14375 -14376 14377 -14378 -14379 14380
1.90/1.97	v -14381 -14382 -14383 -14384 -14385 -14386 -14387 -14388 -14389 -14390
1.90/1.97	v -14391 -14392 -14393 -14394 -14395 -14396 -14397 -14398 -14399 14400
1.90/1.97	v 14401 14402 14403 -14404 14405 -14406 -14407 -14408 -14409 -14410
1.90/1.97	v -14411 -14412 -14413 -14414 -14415 -14416 -14417 -14418 -14419 -14420
1.90/1.97	v -14421 -14422 -14423 -14424 -14425 -14426 -14427 -14428 -14429 -14430
1.90/1.97	v -14431 -14432 -14433 -14434 -14435 -14436 -14437 -14438 -14439 -14440
1.90/1.97	v -14441 -14442 -14443 -14444 -14445 -14446 -14447 -14448 -14449 -14450
1.90/1.97	v -14451 -14452 -14453 -14454 -14455 -14456 -14457 -14458 -14459 -14460
1.90/1.97	v -14461 -14462 -14463 -14464 -14465 -14466 -14467 -14468 -14469 -14470
1.90/1.97	v 14471 -14472 -14473 14474 -14475 -14476 -14477 -14478 -14479 -14480
1.90/1.97	v -14481 -14482 -14483 -14484 14485 -14486 -14487 -14488 -14489 -14490
1.90/1.97	v -14491 -14492 -14493 -14494 -14495 -14496 -14497 -14498 -14499 -14500
1.90/1.97	v -14501 -14502 -14503 -14504 -14505 -14506 -14507 -14508 -14509 -14510
1.90/1.97	v -14511 -14512 -14513 -14514 -14515 -14516 -14517 -14518 -14519 -14520
1.90/1.97	v -14521 -14522 -14523 -14524 -14525 -14526 -14527 -14528 -14529 -14530
1.90/1.97	v -14531 -14532 -14533 -14534 -14535 -14536 -14537 -14538 -14539 -14540
1.90/1.97	v -14541 -14542 -14543 -14544 -14545 -14546 -14547 -14548 -14549 -14550
1.90/1.97	v -14551 -14552 -14553 -14554 -14555 -14556 -14557 -14558 -14559 -14560
1.90/1.97	v -14561 -14562 -14563 -14564 -14565 -14566 -14567 -14568 -14569 -14570
1.90/1.97	v -14571 -14572 -14573 -14574 -14575 -14576 -14577 -14578 -14579 -14580
1.90/1.97	v -14581 -14582 -14583 -14584 -14585 -14586 -14587 -14588 -14589 -14590
1.90/1.97	v -14591 -14592 -14593 -14594 -14595 -14596 -14597 -14598 -14599 -14600
1.90/1.97	v -14601 14602 -14603 14604 -14605 -14606 14607 -14608 14609 -14610
1.90/1.97	v -14611 -14612 -14613 14614 -14615 14616 -14617 -14618 -14619 -14620
1.90/1.97	v 14621 -14622 14623 -14624 -14625 -14626 -14627 14628 -14629 14630
1.90/1.97	v -14631 -14632 -14633 -14634 14635 -14636 14637 -14638 -14639 -14640
1.90/1.97	v -14641 14642 -14643 14644 14645 14646 -14647 -14648 14649 14650
1.90/1.97	v -14651 -14652 -14653 -14654 -14655 14656 -14657 14658 -14659 -14660
1.90/1.97	v 14661 -14662 -14663 -14664 -14665 14666 14667 14668 14669 14670
1.90/1.97	v 14671 14672 14673 14674 14675 14676 14677 14678 14679 14680
1.90/1.97	v 14681 -14682 14683 14684 14685 0 
1.90/1.99	
1.90/1.99	c Models    : 1+    
1.90/1.99	c Time         : 1.960s (Solve: 1.740s)
1.90/1.99	s SATISFIABLE

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1831739-1242776372/watcher-1831739-1242776372 -o /tmp/evaluation-result-1831739-1242776372/solver-1831739-1242776372 -C 10000 -W 12000 -M 1800 HOME/clasp --file=HOME/instance-1831739-1242776372.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512 

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.99 0.97 0.92 3/64 20895
/proc/meminfo: memFree=1621072/2055920 swapFree=4078360/4192956
[pid=20895] ppid=20893 vsize=3048 CPUtime=0
/proc/20895/stat : 20895 (clasp) R 20893 20895 20804 0 -1 4194304 545 0 0 0 0 0 0 0 18 0 1 0 305664307 3121152 521 1992294400 134512640 136057169 4294956160 18446744073709551615 134825536 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20895/statm: 762 521 147 377 0 382 0

[startup+0.0641939 s]
/proc/loadavg: 0.99 0.97 0.92 3/64 20895
/proc/meminfo: memFree=1621072/2055920 swapFree=4078360/4192956
[pid=20895] ppid=20893 vsize=6460 CPUtime=0.05
/proc/20895/stat : 20895 (clasp) R 20893 20895 20804 0 -1 4194304 1527 0 0 0 5 0 0 0 18 0 1 0 305664307 6615040 1348 1992294400 134512640 136057169 4294956160 18446744073709551615 134772705 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20895/statm: 1615 1348 165 377 0 1235 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6460

[startup+0.101196 s]
/proc/loadavg: 0.99 0.97 0.92 3/64 20895
/proc/meminfo: memFree=1621072/2055920 swapFree=4078360/4192956
[pid=20895] ppid=20893 vsize=6860 CPUtime=0.09
/proc/20895/stat : 20895 (clasp) R 20893 20895 20804 0 -1 4194304 1640 0 0 0 9 0 0 0 18 0 1 0 305664307 7024640 1461 1992294400 134512640 136057169 4294956160 18446744073709551615 135443142 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20895/statm: 1715 1461 170 377 0 1335 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6860

[startup+0.301214 s]
/proc/loadavg: 0.99 0.97 0.92 3/64 20895
/proc/meminfo: memFree=1621072/2055920 swapFree=4078360/4192956
[pid=20895] ppid=20893 vsize=7412 CPUtime=0.29
/proc/20895/stat : 20895 (clasp) R 20893 20895 20804 0 -1 4194304 2015 0 0 0 29 0 0 0 19 0 1 0 305664307 7589888 1625 1992294400 134512640 136057169 4294956160 18446744073709551615 134823406 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20895/statm: 1853 1625 183 377 0 1473 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7412

[startup+0.701252 s]
/proc/loadavg: 0.99 0.97 0.92 3/64 20895
/proc/meminfo: memFree=1621072/2055920 swapFree=4078360/4192956
[pid=20895] ppid=20893 vsize=7412 CPUtime=0.69
/proc/20895/stat : 20895 (clasp) R 20893 20895 20804 0 -1 4194304 2019 0 0 0 69 0 0 0 23 0 1 0 305664307 7589888 1629 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20895/statm: 1853 1629 183 377 0 1473 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7412

[startup+1.50133 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 20896
/proc/meminfo: memFree=1615048/2055920 swapFree=4078360/4192956
[pid=20895] ppid=20893 vsize=7808 CPUtime=1.49
/proc/20895/stat : 20895 (clasp) R 20893 20895 20804 0 -1 4194304 2101 0 0 0 149 0 0 0 25 0 1 0 305664307 7995392 1711 1992294400 134512640 136057169 4294956160 18446744073709551615 135443142 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20895/statm: 1952 1711 183 377 0 1572 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7808

Solver just ended. Dumping a history of the last processes samples

[startup+1.90137 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 20896
/proc/meminfo: memFree=1615048/2055920 swapFree=4078360/4192956
[pid=20895] ppid=20893 vsize=8204 CPUtime=1.9
/proc/20895/stat : 20895 (clasp) R 20893 20895 20804 0 -1 4194304 2204 0 0 0 189 1 0 0 25 0 1 0 305664307 8400896 1814 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20895/statm: 2051 1814 183 377 0 1671 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 8204

Child status: 10
Real time (s): 1.99292
CPU time (s): 1.9887
CPU user time (s): 1.9747
CPU system time (s): 0.013997
CPU usage (%): 99.7882
Max. virtual memory (cumulated for all children) (KiB): 8204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.9747
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2224
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= 68
involuntary context switches= 7

runsolver used 0.004999 second user time and 0.019996 second system time

The end

Launcher Data 

Begin job on node61 at 2009-05-20 01:39:32
IDJOB=1831739
IDBENCH=70888
IDSOLVER=637
FILE ID=node61/1831739-1242776372
PBS_JOBID= 9322380
Free space on /tmp= 66312 MiB

SOLVER NAME= clasp 1.2.0-SAT09-32
BENCH NAME= SAT09/APPLICATIONS/aprove09/AProVE09-05.cnf
COMMAND LINE= HOME/clasp --file=BENCHNAME --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1831739-1242776372/watcher-1831739-1242776372 -o /tmp/evaluation-result-1831739-1242776372/solver-1831739-1242776372 -C 10000 -W 12000 -M 1800  HOME/clasp --file=HOME/instance-1831739-1242776372.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= af775a2959a121dbdf88d251c7971506
RANDOM SEED=1016283854

node61.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.216
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.216
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:       1621488 kB
Buffers:         21296 kB
Cached:         267116 kB
SwapCached:     109048 kB
Active:         166308 kB
Inactive:       233360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1621488 kB
SwapTotal:     4192956 kB
SwapFree:      4078360 kB
Dirty:            2672 kB
Writeback:           0 kB
Mapped:          13468 kB
Slab:            20808 kB
Committed_AS:  1027664 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66312 MiB
End job on node61 at 2009-05-20 01:39:34