Trace number 3290502

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
ppfolio parSAT 125.207 31.3648

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F20.cnf
MD5SUM3e5703cd522988fbb05dcac3c4dbbe9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.9038
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses395383
Sum of the clauses size2821910
Maximum clause length66
Minimum clause length1
Number of clauses of size 122
Number of clauses of size 227506
Number of clauses of size 320815
Number of clauses of size 412840
Number of clauses of size 536380
Number of clauses of size over 5297820

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290502-1304089014/watcher-3290502-1304089014 -o /tmp/evaluation-result-3290502-1304089014/solver-3290502-1304089014 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3290502-1304089014.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 9.36 9.96 9.48 7/182 14291
/proc/meminfo: memFree=23062292/32951124 swapFree=67111524/67111528
[pid=14291] ppid=14289 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14291/stat : 14291 (ppfolio) R 14289 14291 14150 0 -1 4202496 519 0 0 0 0 0 0 0 24 0 1 0 520501839 18763776 390 33554432000 4194304 4287625 140734028086640 18446744073709551615 244446965263 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/14291/statm: 4581 390 341 23 0 91 0

[startup+0.0789439 s]
/proc/loadavg: 9.36 9.96 9.48 7/182 14291
/proc/meminfo: memFree=23062292/32951124 swapFree=67111524/67111528
[pid=14291] ppid=14289 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14291/stat : 14291 (ppfolio) R 14289 14291 14150 0 -1 4202496 519 0 0 0 0 0 0 0 24 0 1 0 520501839 18763776 390 33554432000 4194304 4287625 140734028086640 18446744073709551615 244446965263 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/14291/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100941 s]
/proc/loadavg: 9.36 9.96 9.48 7/182 14291
/proc/meminfo: memFree=23062292/32951124 swapFree=67111524/67111528
[pid=14291] ppid=14289 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14291/stat : 14291 (ppfolio) R 14289 14291 14150 0 -1 4202496 519 0 0 0 0 0 0 0 24 0 1 0 520501839 18763776 390 33554432000 4194304 4287625 140734028086640 18446744073709551615 244446965263 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/14291/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300904 s]
/proc/loadavg: 9.36 9.96 9.48 7/182 14291
/proc/meminfo: memFree=23062292/32951124 swapFree=67111524/67111528
[pid=14291] ppid=14289 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14291/stat : 14291 (ppfolio) S 14289 14291 14150 0 -1 4202496 520 0 0 0 0 0 0 0 23 0 1 0 520501839 18763776 390 33554432000 4194304 4287625 140734028086640 18446744073709551615 244446965263 0 0 4096 65536 4398741269308768255 0 0 17 5 0 0 0
/proc/14291/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.70083 s]
/proc/loadavg: 9.36 9.96 9.48 7/182 14291
/proc/meminfo: memFree=23062292/32951124 swapFree=67111524/67111528
[pid=14291] ppid=14289 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14291/stat : 14291 (ppfolio) S 14289 14291 14150 0 -1 4202496 520 0 0 0 0 0 0 0 23 0 1 0 520501839 18763776 390 33554432000 4194304 4287625 140734028086640 18446744073709551615 244446965263 0 0 4096 65536 4398741269308768255 0 0 17 5 0 0 0
/proc/14291/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50068 s]
/proc/loadavg: 9.36 9.96 9.48 12/188 14297
/proc/meminfo: memFree=22855968/32951124 swapFree=67111524/67111528
[pid=14291] ppid=14289 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14291/stat : 14291 (ppfolio) S 14289 14291 14150 0 -1 4202496 520 0 0 0 0 0 0 0 23 0 1 0 520501839 18763776 390 33554432000 4194304 4287625 140734028086640 18446744073709551615 244446965263 0 0 4096 65536 4398741269308768255 0 0 17 5 0 0 0
/proc/14291/statm: 4581 390 341 23 0 91 0
[pid=14292] ppid=14291 vsize=85992 CPUtime=1.49 cores=1
/proc/14292/stat : 14292 (cryptominisat) R 14291 14291 14150 0 -1 4202496 10709 0 0 0 148 1 0 0 25 0 1 0 520501839 88055808 10135 33554432000 4194304 4587354 140735849171952 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14292/statm: 21498 10135 306 96 0 18060 0
[pid=14293] ppid=14291 vsize=59124 CPUtime=1.49 cores=5
/proc/14293/stat : 14293 (clasp) R 14291 14291 14150 0 -1 4202496 13791 0 0 0 147 2 0 0 25 0 1 0 520501839 60542976 11810 33554432000 4194304 4785740 140736825562848 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14293/statm: 14781 11810 319 145 0 11826 0
[pid=14294] ppid=14291 vsize=502952 CPUtime=0.76 cores=7
/proc/14294/stat : 14294 (TNM) R 14291 14291 14150 0 -1 4202496 14626 0 0 0 74 2 0 0 25 0 1 0 520501839 515022848 14523 33554432000 134512640 134534564 4289388576 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14294/statm: 125738 14523 91 6 0 124404 0
[pid=14295] ppid=14291 vsize=51012 CPUtime=1.49 cores=3
/proc/14295/stat : 14295 (lingeling) R 14291 14291 14150 0 -1 4202496 13927 0 0 0 147 2 0 0 25 0 1 0 520501839 52236288 11909 33554432000 4194304 4352236 140735648241360 18446744073709551615 4207584 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14295/statm: 12753 11909 121 39 0 11833 0
[pid=14296] ppid=14291 vsize=47860 CPUtime=0.71 cores=7
/proc/14296/stat : 14296 (march_hi) R 14291 14291 14150 0 -1 4194304 10837 0 0 0 69 2 0 0 25 0 1 0 520501839 49008640 6663 33554432000 4194304 4331988 140735069937248 18446744073709551615 4261688 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14296/statm: 11965 6663 126 34 0 10407 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 765264

[startup+3.10039 s]
/proc/loadavg: 9.36 9.96 9.48 12/188 14297
/proc/meminfo: memFree=22698364/32951124 swapFree=67111524/67111528
[pid=14291] ppid=14289 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14291/stat : 14291 (ppfolio) S 14289 14291 14150 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 520501839 18763776 390 33554432000 4194304 4287625 140734028086640 18446744073709551615 244446965263 0 0 4096 65536 4398741269308768255 0 0 17 5 0 0 0
/proc/14291/statm: 4581 390 341 23 0 91 0
[pid=14292] ppid=14291 vsize=161268 CPUtime=3.09 cores=1
/proc/14292/stat : 14292 (cryptominisat) R 14291 14291 14150 0 -1 4202496 37491 0 0 0 304 5 0 0 25 0 1 0 520501839 165138432 27640 33554432000 4194304 4587354 140735849171952 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14292/statm: 40317 27640 316 96 0 36879 0
[pid=14293] ppid=14291 vsize=59124 CPUtime=3.09 cores=5
/proc/14293/stat : 14293 (clasp) R 14291 14291 14150 0 -1 4202496 13791 0 0 0 307 2 0 0 25 0 1 0 520501839 60542976 11810 33554432000 4194304 4785740 140736825562848 18446744073709551615 4495669 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14293/statm: 14781 11810 319 145 0 11826 0
[pid=14294] ppid=14291 vsize=502952 CPUtime=1.56 cores=7
/proc/14294/stat : 14294 (TNM) R 14291 14291 14150 0 -1 4202496 14626 0 0 0 154 2 0 0 25 0 1 0 520501839 515022848 14523 33554432000 134512640 134534564 4289388576 18446744073709551615 134524548 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14294/statm: 125738 14523 91 6 0 124404 0
[pid=14295] ppid=14291 vsize=62932 CPUtime=3.09 cores=3
/proc/14295/stat : 14295 (lingeling) R 14291 14291 14150 0 -1 4202496 16911 0 0 0 307 2 0 0 25 0 1 0 520501839 64442368 14893 33554432000 4194304 4352236 140735648241360 18446744073709551615 4294560 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14295/statm: 15733 14893 125 39 0 14813 0
[pid=14296] ppid=14291 vsize=51916 CPUtime=1.5 cores=7
/proc/14296/stat : 14296 (march_hi) R 14291 14291 14150 0 -1 4202496 34878 0 0 0 145 5 0 0 25 0 1 0 520501839 53161984 7699 33554432000 4194304 4331988 140735069937248 18446744073709551615 4251963 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14296/statm: 12979 7699 148 34 0 11421 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 856516

[startup+6.30079 s]
/proc/loadavg: 9.49 9.97 9.49 12/188 14297
/proc/meminfo: memFree=22540860/32951124 swapFree=67111524/67111528
[pid=14291] ppid=14289 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14291/stat : 14291 (ppfolio) S 14289 14291 14150 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 520501839 18763776 390 33554432000 4194304 4287625 140734028086640 18446744073709551615 244446965263 0 0 4096 65536 4398741269308768255 0 0 17 5 0 0 0
/proc/14291/statm: 4581 390 341 23 0 91 0
[pid=14292] ppid=14291 vsize=161268 CPUtime=6.29 cores=1
/proc/14292/stat : 14292 (cryptominisat) R 14291 14291 14150 0 -1 4202496 37491 0 0 0 624 5 0 0 25 0 1 0 520501839 165138432 27640 33554432000 4194304 4587354 140735849171952 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14292/statm: 40317 27640 316 96 0 36879 0
[pid=14293] ppid=14291 vsize=59124 CPUtime=6.29 cores=5
/proc/14293/stat : 14293 (clasp) R 14291 14291 14150 0 -1 4202496 13791 0 0 0 627 2 0 0 25 0 1 0 520501839 60542976 11810 33554432000 4194304 4785740 140736825562848 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14293/statm: 14781 11810 319 145 0 11826 0
[pid=14294] ppid=14291 vsize=502952 CPUtime=3.14 cores=7
/proc/14294/stat : 14294 (TNM) R 14291 14291 14150 0 -1 4202496 14626 0 0 0 312 2 0 0 25 0 1 0 520501839 515022848 14523 33554432000 134512640 134534564 4289388576 18446744073709551615 134524500 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14294/statm: 125738 14523 91 6 0 124404 0
[pid=14295] ppid=14291 vsize=54504 CPUtime=6.28 cores=3
/proc/14295/stat : 14295 (lingeling) R 14291 14291 14150 0 -1 4202496 17811 0 0 0 626 2 0 0 25 0 1 0 520501839 55812096 12788 33554432000 4194304 4352236 140735648241360 18446744073709551615 4278712 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14295/statm: 13626 12788 127 39 0 12706 0
[pid=14296] ppid=14291 vsize=79964 CPUtime=3.1 cores=7
/proc/14296/stat : 14296 (march_hi) R 14291 14291 14150 0 -1 4202496 84030 0 0 0 297 13 0 0 25 0 1 0 520501839 81883136 14644 33554432000 4194304 4331988 140735069937248 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14296/statm: 19991 14644 151 34 0 18433 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 876136

[startup+12.7006 s]
/proc/loadavg: 9.53 9.97 9.49 12/188 14297
/proc/meminfo: memFree=22480760/32951124 swapFree=67111524/67111528
[pid=14291] ppid=14289 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14291/stat : 14291 (ppfolio) S 14289 14291 14150 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 520501839 18763776 390 33554432000 4194304 4287625 140734028086640 18446744073709551615 244446965263 0 0 4096 65536 4398741269308768255 0 0 17 5 0 0 0
/proc/14291/statm: 4581 390 341 23 0 91 0
[pid=14292] ppid=14291 vsize=179960 CPUtime=12.69 cores=1
/proc/14292/stat : 14292 (cryptominisat) R 14291 14291 14150 0 -1 4202496 41624 0 0 0 1264 5 0 0 25 0 1 0 520501839 184279040 31599 33554432000 4194304 4587354 140735849171952 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14292/statm: 44990 31599 317 96 0 41552 0
[pid=14293] ppid=14291 vsize=59124 CPUtime=12.69 cores=5
/proc/14293/stat : 14293 (clasp) R 14291 14291 14150 0 -1 4202496 13791 0 0 0 1267 2 0 0 25 0 1 0 520501839 60542976 11810 33554432000 4194304 4785740 140736825562848 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14293/statm: 14781 11810 319 145 0 11826 0
[pid=14294] ppid=14291 vsize=502952 CPUtime=6.34 cores=7
/proc/14294/stat : 14294 (TNM) R 14291 14291 14150 0 -1 4202496 14626 0 0 0 632 2 0 0 25 0 1 0 520501839 515022848 14523 33554432000 134512640 134534564 4289388576 18446744073709551615 134524712 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14294/statm: 125738 14523 91 6 0 124404 0
[pid=14295] ppid=14291 vsize=55260 CPUtime=12.68 cores=3
/proc/14295/stat : 14295 (lingeling) R 14291 14291 14150 0 -1 4202496 20956 0 0 0 1266 2 0 0 25 0 1 0 520501839 56586240 12977 33554432000 4194304 4352236 140735648241360 18446744073709551615 4328336 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14295/statm: 13815 12977 127 39 0 12895 0
[pid=14296] ppid=14291 vsize=110228 CPUtime=6.27 cores=7
/proc/14296/stat : 14296 (march_hi) R 14291 14291 14150 0 -1 4202496 90248 0 0 0 612 15 0 0 25 0 1 0 520501839 112873472 20862 33554432000 4194304 4331988 140735069937248 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14296/statm: 27557 20862 151 34 0 25999 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 925848

[startup+25.5012 s]
/proc/loadavg: 9.29 9.89 9.47 11/188 14330
/proc/meminfo: memFree=22317628/32951124 swapFree=67111524/67111528
[pid=14291] ppid=14289 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14291/stat : 14291 (ppfolio) S 14289 14291 14150 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 520501839 18763776 390 33554432000 4194304 4287625 140734028086640 18446744073709551615 244446965263 0 0 4096 65536 4398741269308768255 0 0 17 5 0 0 0
/proc/14291/statm: 4581 390 341 23 0 91 0
[pid=14292] ppid=14291 vsize=176908 CPUtime=25.49 cores=1
/proc/14292/stat : 14292 (cryptominisat) R 14291 14291 14150 0 -1 4202496 44798 0 0 0 2543 6 0 0 25 0 1 0 520501839 181153792 30920 33554432000 4194304 4587354 140735849171952 18446744073709551615 4237665 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14292/statm: 44227 30920 327 96 0 40789 0
[pid=14293] ppid=14291 vsize=78712 CPUtime=25.49 cores=5
/proc/14293/stat : 14293 (clasp) R 14291 14291 14150 0 -1 4202496 19293 0 0 0 2546 3 0 0 25 0 1 0 520501839 80601088 16540 33554432000 4194304 4785740 140736825562848 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14293/statm: 19678 16540 341 145 0 16723 0
[pid=14294] ppid=14291 vsize=502952 CPUtime=12.74 cores=7
/proc/14294/stat : 14294 (TNM) R 14291 14291 14150 0 -1 4202496 14626 0 0 0 1272 2 0 0 25 0 1 0 520501839 515022848 14523 33554432000 134512640 134534564 4289388576 18446744073709551615 134524752 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14294/statm: 125738 14523 91 6 0 124404 0
[pid=14295] ppid=14291 vsize=56280 CPUtime=25.48 cores=3
/proc/14295/stat : 14295 (lingeling) R 14291 14291 14150 0 -1 4202496 21212 0 0 0 2546 2 0 0 25 0 1 0 520501839 57630720 13232 33554432000 4194304 4352236 140735648241360 18446744073709551615 4328100 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14295/statm: 14070 13232 127 39 0 13150 0
[pid=14296] ppid=14291 vsize=170432 CPUtime=12.6 cores=7
/proc/14296/stat : 14296 (march_hi) R 14291 14291 14150 0 -1 4202496 105533 0 0 0 1239 21 0 0 25 0 1 0 520501839 174522368 36147 33554432000 4194304 4331988 140735069937248 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14296/statm: 42608 36147 151 34 0 41050 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 1003608

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

[startup+28.7006 s]
/proc/loadavg: 9.35 9.90 9.48 11/188 14330
/proc/meminfo: memFree=22251628/32951124 swapFree=67111524/67111528
[pid=14291] ppid=14289 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14291/stat : 14291 (ppfolio) S 14289 14291 14150 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 520501839 18763776 390 33554432000 4194304 4287625 140734028086640 18446744073709551615 244446965263 0 0 4096 65536 4398741269308768255 0 0 17 5 0 0 0
/proc/14291/statm: 4581 390 341 23 0 91 0
[pid=14292] ppid=14291 vsize=177016 CPUtime=28.68 cores=1
/proc/14292/stat : 14292 (cryptominisat) R 14291 14291 14150 0 -1 4202496 45676 0 0 0 2862 6 0 0 25 0 1 0 520501839 181264384 31781 33554432000 4194304 4587354 140735849171952 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14292/statm: 44254 31781 337 96 0 40816 0
[pid=14293] ppid=14291 vsize=80476 CPUtime=28.69 cores=5
/proc/14293/stat : 14293 (clasp) R 14291 14291 14150 0 -1 4202496 19881 0 0 0 2866 3 0 0 25 0 1 0 520501839 82407424 17128 33554432000 4194304 4785740 140736825562848 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14293/statm: 20119 17128 341 145 0 17164 0
[pid=14294] ppid=14291 vsize=502952 CPUtime=14.32 cores=7
/proc/14294/stat : 14294 (TNM) R 14291 14291 14150 0 -1 4202496 14626 0 0 0 1430 2 0 0 25 0 1 0 520501839 515022848 14523 33554432000 134512640 134534564 4289388576 18446744073709551615 134524464 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14294/statm: 125738 14523 91 6 0 124404 0
[pid=14295] ppid=14291 vsize=57040 CPUtime=28.68 cores=3
/proc/14295/stat : 14295 (lingeling) R 14291 14291 14150 0 -1 4202496 21404 0 0 0 2866 2 0 0 25 0 1 0 520501839 58408960 13422 33554432000 4194304 4352236 140735648241360 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14295/statm: 14260 13422 127 39 0 13340 0
[pid=14296] ppid=14291 vsize=182972 CPUtime=14.2 cores=7
/proc/14296/stat : 14296 (march_hi) R 14291 14291 14150 0 -1 4202496 109520 0 0 0 1399 21 0 0 25 0 1 0 520501839 187363328 40134 33554432000 4194304 4331988 140735069937248 18446744073709551615 4226625 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14296/statm: 45743 40134 151 34 0 44185 0
Current children cumulated CPU time (s) 114.57
Current children cumulated vsize (KiB) 1018780

[startup+30.3013 s]
/proc/loadavg: 9.35 9.90 9.48 11/188 14330
/proc/meminfo: memFree=22288980/32951124 swapFree=67111524/67111528
[pid=14291] ppid=14289 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14291/stat : 14291 (ppfolio) S 14289 14291 14150 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 520501839 18763776 390 33554432000 4194304 4287625 140734028086640 18446744073709551615 244446965263 0 0 4096 65536 4398741269308768255 0 0 17 5 0 0 0
/proc/14291/statm: 4581 390 341 23 0 91 0
[pid=14292] ppid=14291 vsize=177016 CPUtime=30.29 cores=1
/proc/14292/stat : 14292 (cryptominisat) R 14291 14291 14150 0 -1 4202496 46677 0 0 0 3022 7 0 0 25 0 1 0 520501839 181264384 32782 33554432000 4194304 4587354 140735849171952 18446744073709551615 4357642 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14292/statm: 44254 32782 337 96 0 40816 0
[pid=14293] ppid=14291 vsize=88824 CPUtime=30.29 cores=5
/proc/14293/stat : 14293 (clasp) R 14291 14291 14150 0 -1 4202496 21799 0 0 0 3026 3 0 0 25 0 1 0 520501839 90955776 19046 33554432000 4194304 4785740 140736825562848 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14293/statm: 22206 19046 341 145 0 19251 0
[pid=14294] ppid=14291 vsize=502952 CPUtime=15.11 cores=7
/proc/14294/stat : 14294 (TNM) R 14291 14291 14150 0 -1 4202496 14626 0 0 0 1509 2 0 0 25 0 1 0 520501839 515022848 14523 33554432000 134512640 134534564 4289388576 18446744073709551615 134524691 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14294/statm: 125738 14523 91 6 0 124404 0
[pid=14295] ppid=14291 vsize=57040 CPUtime=30.28 cores=3
/proc/14295/stat : 14295 (lingeling) R 14291 14291 14150 0 -1 4202496 21408 0 0 0 3026 2 0 0 25 0 1 0 520501839 58408960 13426 33554432000 4194304 4352236 140735648241360 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14295/statm: 14260 13426 127 39 0 13340 0
[pid=14296] ppid=14291 vsize=214280 CPUtime=15 cores=7
/proc/14296/stat : 14296 (march_hi) R 14291 14291 14150 0 -1 4202496 111621 0 0 0 1478 22 0 0 25 0 1 0 520501839 219422720 42235 33554432000 4194304 4331988 140735069937248 18446744073709551615 4271136 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14296/statm: 53570 42235 151 34 0 52012 0
Current children cumulated CPU time (s) 120.97
Current children cumulated vsize (KiB) 1058436

[startup+31.1012 s]
/proc/loadavg: 9.35 9.90 9.48 11/188 14330
/proc/meminfo: memFree=22250168/32951124 swapFree=67111524/67111528
[pid=14291] ppid=14289 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14291/stat : 14291 (ppfolio) S 14289 14291 14150 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 520501839 18763776 390 33554432000 4194304 4287625 140734028086640 18446744073709551615 244446965263 0 0 4096 65536 4398741269308768255 0 0 17 5 0 0 0
/proc/14291/statm: 4581 390 341 23 0 91 0
[pid=14292] ppid=14291 vsize=201840 CPUtime=31.08 cores=1
/proc/14292/stat : 14292 (cryptominisat) R 14291 14291 14150 0 -1 4202496 52555 0 0 0 3101 7 0 0 25 0 1 0 520501839 206684160 38660 33554432000 4194304 4587354 140735849171952 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14292/statm: 50460 38660 337 96 0 47022 0
[pid=14293] ppid=14291 vsize=97940 CPUtime=31.08 cores=5
/proc/14293/stat : 14293 (clasp) R 14291 14291 14150 0 -1 4202496 23918 0 0 0 3105 3 0 0 25 0 1 0 520501839 100290560 21165 33554432000 4194304 4785740 140736825562848 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14293/statm: 24485 21165 341 145 0 21530 0
[pid=14294] ppid=14291 vsize=502952 CPUtime=15.51 cores=7
/proc/14294/stat : 14294 (TNM) R 14291 14291 14150 0 -1 4202496 14626 0 0 0 1549 2 0 0 25 0 1 0 520501839 515022848 14523 33554432000 134512640 134534564 4289388576 18446744073709551615 134524573 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14294/statm: 125738 14523 91 6 0 124404 0
[pid=14295] ppid=14291 vsize=57040 CPUtime=31.08 cores=3
/proc/14295/stat : 14295 (lingeling) R 14291 14291 14150 0 -1 4202496 21408 0 0 0 3106 2 0 0 25 0 1 0 520501839 58408960 13426 33554432000 4194304 4352236 140735648241360 18446744073709551615 4328191 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14295/statm: 14260 13426 127 39 0 13340 0
[pid=14296] ppid=14291 vsize=217580 CPUtime=15.4 cores=7
/proc/14296/stat : 14296 (march_hi) R 14291 14291 14150 0 -1 4202496 112667 0 0 0 1518 22 0 0 25 0 1 0 520501839 222801920 43281 33554432000 4194304 4331988 140735069937248 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14296/statm: 54395 43281 151 34 0 52837 0
Current children cumulated CPU time (s) 124.15
Current children cumulated vsize (KiB) 1095676

[startup+31.3011 s]
/proc/loadavg: 9.35 9.90 9.48 11/188 14330
/proc/meminfo: memFree=22250168/32951124 swapFree=67111524/67111528
[pid=14291] ppid=14289 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14291/stat : 14291 (ppfolio) S 14289 14291 14150 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 520501839 18763776 390 33554432000 4194304 4287625 140734028086640 18446744073709551615 244446965263 0 0 4096 65536 4398741269308768255 0 0 17 5 0 0 0
/proc/14291/statm: 4581 390 341 23 0 91 0
[pid=14292] ppid=14291 vsize=201840 CPUtime=31.28 cores=1
/proc/14292/stat : 14292 (cryptominisat) R 14291 14291 14150 0 -1 4202496 52555 0 0 0 3121 7 0 0 25 0 1 0 520501839 206684160 38660 33554432000 4194304 4587354 140735849171952 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14292/statm: 50460 38660 337 96 0 47022 0
[pid=14293] ppid=14291 vsize=98108 CPUtime=31.28 cores=5
/proc/14293/stat : 14293 (clasp) R 14291 14291 14150 0 -1 4202496 23956 0 0 0 3125 3 0 0 25 0 1 0 520501839 100462592 21203 33554432000 4194304 4785740 140736825562848 18446744073709551615 4286964 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14293/statm: 24527 21203 341 145 0 21572 0
[pid=14294] ppid=14291 vsize=502952 CPUtime=15.61 cores=7
/proc/14294/stat : 14294 (TNM) R 14291 14291 14150 0 -1 4202496 14626 0 0 0 1559 2 0 0 25 0 1 0 520501839 515022848 14523 33554432000 134512640 134534564 4289388576 18446744073709551615 134524734 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14294/statm: 125738 14523 91 6 0 124404 0
[pid=14295] ppid=14291 vsize=57040 CPUtime=31.28 cores=3
/proc/14295/stat : 14295 (lingeling) R 14291 14291 14150 0 -1 4202496 21408 0 0 0 3126 2 0 0 25 0 1 0 520501839 58408960 13426 33554432000 4194304 4352236 140735648241360 18446744073709551615 4329024 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14295/statm: 14260 13426 127 39 0 13340 0
[pid=14296] ppid=14291 vsize=218372 CPUtime=15.5 cores=7
/proc/14296/stat : 14296 (march_hi) R 14291 14291 14150 0 -1 4202496 112922 0 0 0 1528 22 0 0 25 0 1 0 520501839 223612928 43536 33554432000 4194304 4331988 140735069937248 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14296/statm: 54593 43536 151 34 0 53035 0
Current children cumulated CPU time (s) 124.95
Current children cumulated vsize (KiB) 1096636

Child status: 0
Real time (s): 31.3648
CPU time (s): 125.207
CPU user time (s): 124.771
CPU system time (s): 0.435933
CPU usage (%): 399.195
Max. virtual memory (cumulated for all children) (KiB): 1096636

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

runsolver used 0.058991 second user time and 0.118981 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-29 16:56:54
IDJOB=3290502
IDBENCH=83436
IDSOLVER=1612
FILE ID=node105/3290502-1304089014
RUNJOBID= node105-1304087809-14169
PBS_JOBID= 13170561
Free space on /tmp= 71912 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290502-1304089014/watcher-3290502-1304089014 -o /tmp/evaluation-result-3290502-1304089014/solver-3290502-1304089014 -C 4800 -W 1300 -M 15500  ppfolio HOME/instance-3290502-1304089014.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=1182877651

node105.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5410.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23062572 kB
Buffers:       2154960 kB
Cached:        7090820 kB
SwapCached:          4 kB
Active:         584816 kB
Inactive:      8757188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23062572 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           36136 kB
Writeback:           0 kB
AnonPages:       95592 kB
Mapped:          16556 kB
Slab:           484028 kB
PageTables:       4592 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   698948 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71904 MiB
End job on node105 at 2011-04-29 16:57:25