Trace number 45263

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
PB-smodels 1.31SAT (TO)264081 1800.58 1800.29

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic97.opb
MD5SUMaef7e3722fd5816dc0cbb2acb61edf83
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark264081
Best CPU time to get the best result obtained on this benchmark1800.58
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 264081
Optimality of the best value was proved NO
Number of variables11503
Total number of constraints971
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)835
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint4
Maximum length of a constraint9784
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 529231
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Running pbsmodels-v1.31
162.72	o 264081
1800.27	sh: line 1: 23815 Done                    pb2smodels ROOT/tmp/node6/45263-1154026056/instance-45263-1154026056.opb ROOT/tmp/node6/45263-1154026056
1800.27	     23816 Terminated              | smodels-2.31 0 -seed 921981458
1800.27	     23817 Terminated              | pbout.new.pl ROOT/tmp/node6/45263-1154026056/instance-45263-1154026056.opb ROOT/tmp/node6/45263-1154026056
1800.27	s SATISFIABLE
1800.27	v x1721 x1723 x1724 x1725 x1726 x1727 x1728 x1729 x1730 x1731 x1732 x1734 x1735 x1736 x1737 x1738 x1740 x1741 x1742 x1750 x1181
1800.27	v x1183 x1192 x1205 x1217 x1251 x1252 x1263 x1274 x1295 x1307 x1318 x1342 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1364
1800.27	v x1396 x1398 x1399 x1400 x1401 x1402 x1403 x1404 x1405 x1406 x1408 x1419 x1442 x1454 x1455 x1456 x1457 x1458 x1460 x1461 x1462
1800.27	v x1463 x1464 x1465 x1477 x1488 x1489 x1490 x1491 x1492 x1494 x1495 x1496 x1497 x1498 x1499 x1512 x1522 x1534 x1536 x1547 x1548
1800.27	v x1550 x1551 x1552 x1553 x1554 x1555 x1556 x1557 x1558 x1571 x1572 x1574 x1575 x1576 x1577 x1578 x1579 x1580 x1581 x1583 x1594
1800.27	v x1618 x1629 x1640 x1642 x1662 x1666 x1667 x1668 x1669 x1670 x1671 x1672 x1673 x1686 x1697 x1700 x1702 x1703 x1704 x1705 x1706
1800.27	v x1707 x1709 x1710 x1711 x1712 x1714 x1715 x1716 x1717 x1718 x5633 x7257 x1783 x9828 x1887 x2056 x2377 x5366 x6508 x8321 x2695
1800.27	v x2882 x2743 x9991 x3764 x4081 x5707 x3785 x4034 x4663 x6018 x10726 x9514 x5117 x8036 x9736 x5859 x7950 x9627 x6350 x6933
1800.27	v x11070 x7814 x9745 x8089 x9199 x3 x4 x8 x9 x11 x12 x14 x31 x32 x33 x34 x38 x42 x76 x100 x105 x123 x124 x127 x129 x130 x132 x163 x181
1800.27	v x182 x183 x184 x185 x186 x187 x189 x190 x191 x192 x193 x221 x225 x254 x282 x314 x338 x375 x405 x422 x425 x426 x459 x492 x513 x514
1800.27	v x517 x519 x520 x522 x524 x571 x576 x581 x613 x615 x645 x661 x662 x663 x666 x669 x671 x672 x695 x705 x734 x764 x787 x795 x843 x846
1800.27	v x850 x851 x853 x883 x945 x995 x1001 x1002 x1005 x1025 x1028 x1030 x1035 x1053 x1056 x1059 x1065 x1082 x1095 x1111 x1114 x1115
1800.27	v x1117 x1118 x1121 x1122 x1141 x1144 x1145 x1150 x1152 x1153 -x1720 -x1722 -x1733 -x1739 -x1743 -x1744 -x1745 -x1746 -x1747
1800.27	v -x1748 -x1749 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1182 -x1184 -x1185 -x1186 -x1187
1800.27	v -x1188 -x1189 -x1190 -x1191 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1206
1800.27	v -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224
1800.27	v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241
1800.27	v -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
1800.27	v -x1261 -x1262 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1275 -x1276 -x1277 -x1278 -x1279
1800.27	v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1296 -x1297
1800.27	v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315
1800.27	v -x1316 -x1317 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333
1800.27	v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351
1800.27	v -x1352 -x1353 -x1354 -x1363 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377
1800.27	v -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394
1800.27	v -x1395 -x1397 -x1407 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1420 -x1421 -x1422 -x1423
1800.27	v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
1800.27	v -x1441 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1459 -x1466 -x1467 -x1468 -x1469
1800.27	v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487
1800.27	v -x1493 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1513 -x1514 -x1515 -x1516
1800.27	v -x1517 -x1518 -x1519 -x1520 -x1521 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1535
1800.27	v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1549 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564
1800.27	v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1573 -x1582 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592
1800.27	v -x1593 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
1800.27	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628
1800.27	v -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1641 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648
1800.27	v -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1663 -x1664 -x1665 -x1674
1800.27	v -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692
1800.27	v -x1693 -x1694 -x1695 -x1696 -x1698 -x1699 -x1701 -x1708 -x1713 -x1719 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
1800.27	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1789 -x1790 -x1791 -x1792 -x1793 -x1859 -x1860 -x1861 -x1862 -x1863 -x1890 -x1891
1800.27	v -x1892 -x1893 -x1894 -x1895 -x1896 -x1910 -x1911 -x1912 -x1913 -x1914 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986
1800.27	v -x2000 -x2001 -x2002 -x2003 -x2004 -x2070 -x2071 -x2072 -x2073 -x2074 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
1800.27	v -x2355 -x2356 -x2357 -x2358 -x2359 -x3034 -x3035 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3036 -x3037
1800.27	v -x3038 -x3047 -x3048 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3049 -x3050 -x3051 -x3093 -x3094 -x3098
1800.27	v -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3095 -x3096 -x3097 -x3119 -x3120 -x3124 -x3125 -x3126 -x3127 -x3128
1800.27	v -x3129 -x3130 -x3131 -x3121 -x3122 -x3123 -x3145 -x3146 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3147
1800.27	v -x3148 -x3149 -x3178 -x3179 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3180 -x3181 -x3182 -x3204 -x3205
1800.27	v -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3206 -x3207 -x3208 -x3217 -x3218 -x3222 -x3223 -x3224 -x3225
1800.27	v -x3226 -x3227 -x3228 -x3229 -x3219 -x3220 -x3221 -x3256 -x3257 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268
1800.27	v -x3258 -x3259 -x3260 -x3282 -x3283 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3284 -x3285 -x3286 -x3295
1800.27	v -x3296 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3297 -x3298 -x3299 -x3377 -x3378 -x3382 -x3383 -x3384
1800.27	v -x3385 -x3386 -x3387 -x3388 -x3389 -x3379 -x3380 -x3381 -x3471 -x3472 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482
1800.27	v -x3483 -x3473 -x3474 -x3475 -x3497 -x3498 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3499 -x3500 -x3501
1800.27	v -x3538 -x3539 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3540 -x3541 -x3542 -x3551 -x3552 -x3556 -x3557
1800.27	v -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3553 -x3554 -x3555 -x3642 -x3643 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652
1800.27	v -x3653 -x3654 -x3644 -x3645 -x3646 -x4183 -x4184 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4185 -x4186
1800.27	v -x4187 -x4262 -x4263 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4264 -x4265 -x4266 -x4293 -x4294 -x4298
1800.27	v -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4295 -x4296 -x4297 -x4410 -x4411 -x4415 -x4416 -x4417 -x4418 -x4419
1800.27	v -x4420 -x4421 -x4422 -x4412 -x4413 -x4414 -x4433 -x4434 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4435
1800.27	v -x4436 -x4437 -x4511 -x4512 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4513 -x4514 -x4515 -x4731 -x4732
1800.27	v -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4733 -x4734 -x4735 -x4800 -x4801 -x4805 -x4806 -x4807 -x4808
1800.27	v -x4809 -x4810 -x4811 -x4812 -x4802 -x4803 -x4804 -x4891 -x4892 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903
1800.27	v -x4893 -x4894 -x4895 -x5084 -x5085 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5086 -x5087 -x5088 -x5287
1800.27	v -x5288 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5289 -x5290 -x5291 -x5338 -x5339 -x5343 -x5344 -x5345
1800.27	v -x5346 -x5347 -x5348 -x5349 -x5350 -x5340 -x5341 -x5342 -x5371 -x5372 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382
1800.27	v -x5383 -x5373 -x5374 -x5375 -x5397 -x5398 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5399 -x5400 -x5401
1800.27	v -x5428 -x5429 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5430 -x5431 -x5432 -x5454 -x5455 -x5459 -x5460
1800.27	v -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5456 -x5457 -x5458 -x5467 -x5468 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477
1800.27	v -x5478 -x5479 -x5469 -x5470 -x5471 -x5506 -x5507 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5508 -x5509
1800.27	v -x5510 -x5532 -x5533 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5534 -x5535 -x5536 -x5545 -x5546 -x5550
1800.27	v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5547 -x5548 -x5549 -x5597 -x5598 -x5602 -x5603 -x5604 -x5605 -x5606
1800.27	v -x5607 -x5608 -x5609 -x5599 -x5600 -x5601 -x5623 -x5624 -x5628 -x5629 -x5630 -x5631 -x5632 -x5634 -x5635 -x5625 -x5626
1800.27	v -x5627 -x5675 -x5676 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5677 -x5678 -x5679 -x5766 -x5767 -x5771
1800.27	v -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5768 -x5769 -x5770 -x5909 -x5910 -x5914 -x5915 -x5916 -x5917 -x5918
1800.27	v -x5919 -x5920 -x5921 -x5911 -x5912 -x5913 -x5935 -x5936 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5937
1800.27	v -x5938 -x5939 -x6000 -x6001 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6002 -x6003 -x6004 -x6065 -x6066
1800.27	v -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6067 -x6068 -x6069 -x6117 -x6118 -x6122 -x6123 -x6124 -x6125
1800.27	v -x6126 -x6127 -x6128 -x6129 -x6119 -x6120 -x6121 -x6175 -x6176 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187
1800.27	v -x6177 -x6178 -x6179 -x6211 -x6212 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6213 -x6214 -x6215 -x6373
1800.27	v -x6374 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6375 -x6376 -x6377 -x6425 -x6426 -x6430 -x6431 -x6432
1800.27	v -x6433 -x6434 -x6435 -x6436 -x6437 -x6427 -x6428 -x6429 -x6484 -x6485 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495
1800.27	v -x6496 -x6486 -x6487 -x6488 -x6517 -x6518 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6519 -x6520 -x6521
1800.27	v -x6530 -x6531 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6532 -x6533 -x6534 -x6574 -x6575 -x6579 -x6580
1800.27	v -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6576 -x6577 -x6578 -x6587 -x6588 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597
1800.27	v -x6598 -x6599 -x6589 -x6590 -x6591 -x6605 -x6606 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6607 -x6608
1800.27	v -x6609 -x6631 -x6632 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6633 -x6634 -x6635 -x6657 -x6658 -x6662
1800.27	v -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6659 -x6660 -x6661 -x6696 -x6697 -x6701 -x6702 -x6703 -x6704 -x6705
1800.27	v -x6706 -x6707 -x6708 -x6698 -x6699 -x6700 -x6719 -x6720 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6721
1800.27	v -x6722 -x6723 -x6758 -x6759 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6760 -x6761 -x6762 -x6771 -x6772
1800.27	v -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6773 -x6774 -x6775 -x6797 -x6798 -x6802 -x6803 -x6804 -x6805
1800.27	v -x6806 -x6807 -x6808 -x6809 -x6799 -x6800 -x6801 -x6823 -x6824 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835
1800.27	v -x6825 -x6826 -x6827 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6902 -x6903 -x6907 -x6908 -x6909 -x6910 -x6911
1800.27	v -x6912 -x6913 -x6914 -x6904 -x6905 -x6906 -x7226 -x7227 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7228
1800.27	v -x7229 -x7230 -x7255 -x7256 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7258 -x7259 -x7453 -x7454 -x7458
1800.27	v -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7455 -x7456 -x7457 -x7471 -x7472 -x7473 -x7474 -x7475 -x7788 -x7789
1800.27	v -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7790 -x7791 -x7792 -x7996 -x7997 -x8001 -x8002 -x8003 -x8004
1800.27	v -x8005 -x8006 -x8007 -x8008 -x7998 -x7999 -x8000 -x8302 -x8303 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314
1800.27	v -x8304 -x8305 -x8306 -x8328 -x8329 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8330 -x8331 -x8332 -x8372
1800.27	v -x8373 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8374 -x8375 -x8376 -x8398 -x8399 -x8403 -x8404 -x8405
1800.27	v -x8406 -x8407 -x8408 -x8409 -x8410 -x8400 -x8401 -x8402 -x8411 -x8412 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422
1800.27	v -x8423 -x8413 -x8414 -x8415 -x8437 -x8438 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8439 -x8440 -x8441
1800.27	v -x8463 -x8464 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8465 -x8466 -x8467 -x8502 -x8503 -x8507 -x8508
1800.27	v -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8504 -x8505 -x8506 -x8525 -x8526 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535
1800.27	v -x8536 -x8537 -x8527 -x8528 -x8529 -x8564 -x8565 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8566 -x8567
1800.27	v -x8568 -x8577 -x8578 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8579 -x8580 -x8581 -x8603 -x8604 -x8608
1800.27	v -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8605 -x8606 -x8607 -x8629 -x8630 -x8634 -x8635 -x8636 -x8637 -x8638
1800.27	v -x8639 -x8640 -x8641 -x8631 -x8632 -x8633 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x9005 -x9006 -x9010 -x9011
1800.27	v -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9007 -x9008 -x9009 -x9031 -x9032 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041
1800.27	v -x9042 -x9043 -x9033 -x9034 -x9035 -x9148 -x9149 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9150 -x9151
1800.27	v -x9152 -x9368 -x9369 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9370 -x9371 -x9372 -x9433 -x9434 -x9438
1800.27	v -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9435 -x9436 -x9437 -x9469 -x9470 -x9474 -x9475 -x9476 -x9477 -x9478
1800.27	v -x9479 -x9480 -x9481 -x9471 -x9472 -x9473 -x9651 -x9652 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9653
1800.27	v -x9654 -x9655 -x9803 -x9804 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9805 -x9806 -x9807 -x9849 -x9850
1800.27	v -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9851 -x9852 -x9853 -x10001 -x10002 -x10006 -x10007 -x10008
1800.27	v -x10009 -x10010 -x10011 -x10012 -x10013 -x10003 -x10004 -x10005 -x10040 -x10041 -x10045 -x10046 -x10047 -x10048 -x10049
1800.27	v -x10050 -x10051 -x10052 -x10042 -x10043 -x10044 -x10058 -x10059 -x10060 -x10061 -x10062 -x10095 -x10096 -x10100 -x10101
1800.27	v -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10097 -x10098 -x10099 -x10255 -x10256 -x10260 -x10261 -x10262 -x10263
1800.27	v -x10264 -x10265 -x10266 -x10267 -x10257 -x10258 -x10259 -x10294 -x10295 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304
1800.27	v -x10305 -x10306 -x10296 -x10297 -x10298 -x10470 -x10471 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482
1800.27	v -x10472 -x10473 -x10474 -x10496 -x10497 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10498 -x10499
1800.27	v -x10500 -x10535 -x10536 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10537 -x10538 -x10539 -x10561
1800.27	v -x10562 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10563 -x10564 -x10565 -x10574 -x10575 -x10579
1800.27	v -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10576 -x10577 -x10578 -x10699 -x10700 -x10704 -x10705 -x10706
1800.27	v -x10707 -x10708 -x10709 -x10710 -x10711 -x10701 -x10702 -x10703 -x11270 -x11271 -x11275 -x11276 -x11277 -x11278 -x11279
1800.27	v -x11280 -x11281 -x11282 -x11272 -x11273 -x11274 -x11408 -x11409 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419
1800.27	v -x11420 -x11410 -x11411 -x11412 -x11460 -x11461 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11462
1800.27	v -x11463 -x11464 -x11486 -x11487 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11488 -x11489 -x11490
1800.27	v -x11499 -x11500 -x11501 -x11502 -x11503 -x1751 -x1752 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1753
1800.27	v -x1754 -x1755 -x1776 -x1777 -x1781 -x1782 -x1784 -x1785 -x1786 -x1787 -x1788 -x1778 -x1779 -x1780 -x1794 -x1795 -x1799
1800.27	v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1796 -x1797 -x1798 -x1820 -x1821 -x1825 -x1826 -x1827 -x1828 -x1829
1800.27	v -x1830 -x1831 -x1832 -x1822 -x1823 -x1824 -x1833 -x1834 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1835
1800.27	v -x1836 -x1837 -x1897 -x1898 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1899 -x1900 -x1901 -x1915 -x1916
1800.27	v -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1917 -x1918 -x1919 -x1928 -x1929 -x1933 -x1934 -x1935 -x1936
1800.27	v -x1937 -x1938 -x1939 -x1940 -x1930 -x1931 -x1932 -x1941 -x1942 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953
1800.27	v -x1943 -x1944 -x1945 -x1954 -x1955 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1956 -x1957 -x1958 -x1967
1800.27	v -x1968 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1969 -x1970 -x1971 -x1987 -x1988 -x1992 -x1993 -x1994
1800.27	v -x1995 -x1996 -x1997 -x1998 -x1999 -x1989 -x1990 -x1991 -x2005 -x2006 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016
1800.27	v -x2017 -x2007 -x2008 -x2009 -x2057 -x2058 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2059 -x2060 -x2061
1800.27	v -x2075 -x2076 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2077 -x2078 -x2079 -x2160 -x2161 -x2165 -x2166
1800.27	v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2162 -x2163 -x2164 -x2186 -x2187 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196
1800.27	v -x2197 -x2198 -x2188 -x2189 -x2190 -x2199 -x2200 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2201 -x2202
1800.27	v -x2203 -x2212 -x2213 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2214 -x2215 -x2216 -x2225 -x2226 -x2230
1800.27	v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2227 -x2228 -x2229 -x2264 -x2265 -x2269 -x2270 -x2271 -x2272 -x2273
1800.27	v -x2274 -x2275 -x2276 -x2266 -x2267 -x2268 -x2745 -x2746 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2747
1800.27	v -x2748 -x2749 -x2998 -x2999 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3000 -x3001 -x3002 -x3933 -x3934
1800.27	v -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3935 -x3936 -x3937 -x4131 -x4132 -x4136 -x4137 -x4138 -x4139
1800.27	v -x4140 -x4141 -x4142 -x4143 -x4133 -x4134 -x4135 -x4306 -x4307 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318
1800.27	v -x4308 -x4309 -x4310 -x5058 -x5059 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5060 -x5061 -x5062 -x5261
1800.27	v -x5262 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5263 -x5264 -x5265 -x5584 -x5585 -x5589 -x5590 -x5591
1800.27	v -x5592 -x5593 -x5594 -x5595 -x5596 -x5586 -x5587 -x5588 -x5727 -x5728 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738
1800.27	v -x5739 -x5729 -x5730 -x5731 -x5753 -x5754 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5755 -x5756 -x5757
1800.27	v -x5805 -x5806 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5807 -x5808 -x5809 -x5818 -x5819 -x5823 -x5824
1800.27	v -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5820 -x5821 -x5822 -x5896 -x5897 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906
1800.27	v -x5907 -x5908 -x5898 -x5899 -x5900 -x7032 -x7033 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7034 -x7035
1800.27	v -x7036 -x7268 -x7269 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7270 -x7271 -x7272 -x7476 -x7477 -x7481
1800.27	v -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7478 -x7479 -x7480 -x7645 -x7646 -x7650 -x7651 -x7652 -x7653 -x7654
1800.27	v -x7655 -x7656 -x7657 -x7647 -x7648 -x7649 -x7658 -x7659 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7660
1800.27	v -x7661 -x7662 -x7957 -x7958 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7959 -x7960 -x7961 -x8256 -x8257
1800.27	v -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8258 -x8259 -x8260 -x8269 -x8270 -x8274 -x8275 -x8276 -x8277
1800.27	v -x8278 -x8279 -x8280 -x8281 -x8271 -x8272 -x8273 -x8734 -x8735 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746
1800.27	v -x8736 -x8737 -x8738 -x8966 -x8967 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8968 -x8969 -x8970 -x9044
1800.27	v -x9045 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9046 -x9047 -x9048 -x9701 -x9702 -x9706 -x9707 -x9708
1800.27	v -x9709 -x9710 -x9711 -x9712 -x9713 -x9703 -x9704 -x9705 -x9816 -x9817 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827
1800.27	v -x9818 -x9819 -x9820 -x10063 -x10064 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10065 -x10066
1800.27	v -x10067 -x10348 -x10349 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10350 -x10351 -x10352 -x10393
1800.27	v -x10394 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10395 -x10396 -x10397 -x10899 -x10900 -x10904
1800.27	v -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10901 -x10902 -x10903 -x11175 -x11176 -x11180 -x11181 -x11182
1800.27	v -x11183 -x11184 -x11185 -x11186 -x11187 -x11177 -x11178 -x11179 -x11188 -x11189 -x11193 -x11194 -x11195 -x11196 -x11197
1800.27	v -x11198 -x11199 -x11200 -x11190 -x11191 -x11192 -x11374 -x11375 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385
1800.27	v -x11386 -x11376 -x11377 -x11378 -x1807 -x1808 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1809 -x1810 -x1811
1800.27	v -x1846 -x1847 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1848 -x1849 -x1850 -x1864 -x1865 -x1869 -x1870
1800.27	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1866 -x1867 -x1868 -x1877 -x1878 -x1882 -x1883 -x1884 -x1885 -x1886 -x1888
1800.27	v -x1889 -x1879 -x1880 -x1881 -x2018 -x2019 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2020 -x2021 -x2022
1800.27	v -x2031 -x2032 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2033 -x2034 -x2035 -x2044 -x2045 -x2049 -x2050
1800.27	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2046 -x2047 -x2048 -x2088 -x2089 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099
1800.27	v -x2100 -x2090 -x2091 -x2092 -x2101 -x2102 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2103 -x2104 -x2105
1800.27	v -x2121 -x2122 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2123 -x2124 -x2125 -x2134 -x2135 -x2139 -x2140
1800.27	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2136 -x2137 -x2138 -x2147 -x2148 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157
1800.27	v -x2158 -x2159 -x2149 -x2150 -x2151 -x2173 -x2174 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2175 -x2176
1800.27	v -x2177 -x2238 -x2239 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2240 -x2241 -x2242 -x2251 -x2252 -x2256
1800.27	v -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2253 -x2254 -x2255 -x2277 -x2278 -x2282 -x2283 -x2284 -x2285 -x2286
1800.27	v -x2287 -x2288 -x2289 -x2279 -x2280 -x2281 -x2290 -x2291 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2292
1800.27	v -x2293 -x2294 -x2303 -x2304 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2305 -x2306 -x2307 -x2316 -x2317
1800.27	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2318 -x2319 -x2320 -x2329 -x2330 -x2334 -x2335 -x2336 -x2337
1800.27	v -x2338 -x2339 -x2340 -x2341 -x2331 -x2332 -x2333 -x2342 -x2343 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354
1800.27	v -x2344 -x2345 -x2346 -x5274 -x5275 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5276 -x5277 -x5278 -x6386
1800.27	v -x6387 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6388 -x6389 -x6390 -x6399 -x6400 -x6404 -x6405 -x6406
1800.27	v -x6407 -x6408 -x6409 -x6410 -x6411 -x6401 -x6402 -x6403 -x9381 -x9382 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392
1800.27	v -x9393 -x9383 -x9384 -x9385 -x9394 -x9395 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9396 -x9397 -x9398
1800.27	v -x9664 -x9665 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9666 -x9667 -x9668 -x10268 -x10269 -x10273 -x10274
1800.27	v -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10270 -x10271 -x10272 -x10281 -x10282 -x10286 -x10287 -x10288 -x10289
1800.27	v -x10290 -x10291 -x10292 -x10293 -x10283 -x10284 -x10285 -x10483 -x10484 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493
1800.27	v -x10494 -x10495 -x10485 -x10486 -x10487 -x10886 -x10887 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898
1800.27	v -x10888 -x10889 -x10890 -x11421 -x11422 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11423 -x11424
1800.27	v -x11425 -x11434 -x11435 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 -x11446 -x11436 -x11437 -x11438 -x2360
1800.27	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385
1800.27	v -x2386 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465
1800.27	v -x2466 -x2467 -x2468 -x2469 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2545 -x2546 -x2547
1800.27	v -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616
1800.27	v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715
1800.27	v -x2716 -x2717 -x2718 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x3011 -x3012 -x3013 -x3014
1800.27	v -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3023
1800.27	v -x3024 -x3025 -x3060 -x3061 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3062 -x3063 -x3064 -x3080 -x3081
1800.27	v -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3082 -x3083 -x3084 -x3106 -x3107 -x3111 -x3112 -x3113 -x3114
1800.27	v -x3115 -x3116 -x3117 -x3118 -x3108 -x3109 -x3110 -x3132 -x3133 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144
1800.27	v -x3134 -x3135 -x3136 -x3158 -x3159 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3160 -x3161 -x3162 -x3191
1800.27	v -x3192 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3193 -x3194 -x3195 -x3230 -x3231 -x3235 -x3236 -x3237
1800.27	v -x3238 -x3239 -x3240 -x3241 -x3242 -x3232 -x3233 -x3234 -x3243 -x3244 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254
1800.27	v -x3255 -x3245 -x3246 -x3247 -x3269 -x3270 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3271 -x3272 -x3273
1800.27	v -x3308 -x3309 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3310 -x3311 -x3312 -x3328 -x3329 -x3330 -x3331
1800.27	v -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3340
1800.27	v -x3341 -x3342 -x3351 -x3352 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3353 -x3354 -x3355 -x3364 -x3365
1800.27	v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3366 -x3367 -x3368 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407
1800.27	v -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3414 -x3415 -x3416
1800.27	v -x3425 -x3426 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3427 -x3428 -x3429 -x3445 -x3446 -x3450 -x3451
1800.27	v -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3447 -x3448 -x3449 -x3458 -x3459 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468
1800.27	v -x3469 -x3470 -x3460 -x3461 -x3462 -x3484 -x3485 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3486 -x3487
1800.27	v -x3488 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3530 -x3531 -x3532 -x3533
1800.27	v -x3534 -x3535 -x3536 -x3537 -x3527 -x3528 -x3529 -x3564 -x3565 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576
1800.27	v -x3566 -x3567 -x3568 -x3577 -x3578 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3579 -x3580 -x3581 -x3590
1800.27	v -x3591 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3592 -x3593 -x3594 -x3603 -x3604 -x3608 -x3609 -x3610
1800.27	v -x3611 -x3612 -x3613 -x3614 -x3615 -x3605 -x3606 -x3607 -x3616 -x3617 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627
1800.27	v -x3628 -x3618 -x3619 -x3620 -x3629 -x3630 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3631 -x3632 -x3633
1800.27	v -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760
1800.27	v -x3761 -x3762 -x3763 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3959 -x3960 -x3961 -x3962
1800.27	v -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x4157 -x4158 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4159
1800.27	v -x4160 -x4161 -x4358 -x4359 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4360 -x4361 -x4362 -x4384 -x4385
1800.27	v -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4386 -x4387 -x4388 -x4446 -x4447 -x4451 -x4452 -x4453 -x4454
1800.27	v -x4455 -x4456 -x4457 -x4458 -x4448 -x4449 -x4450 -x4524 -x4525 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536
1800.27	v -x4526 -x4527 -x4528 -x4718 -x4719 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4720 -x4721 -x4722 -x4787
1800.27	v -x4788 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4789 -x4790 -x4791 -x4839 -x4840 -x4844 -x4845 -x4846
1800.27	v -x4847 -x4848 -x4849 -x4850 -x4851 -x4841 -x4842 -x4843 -x4878 -x4879 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889
1800.27	v -x4890 -x4880 -x4881 -x4882 -x4943 -x4944 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4945 -x4946 -x4947
1800.27	v -x5020 -x5021 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5022 -x5023 -x5024 -x5071 -x5072 -x5076 -x5077
1800.27	v -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5073 -x5074 -x5075 -x5248 -x5249 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258
1800.27	v -x5259 -x5260 -x5250 -x5251 -x5252 -x5300 -x5301 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5302 -x5303
1800.27	v -x5304 -x5325 -x5326 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5327 -x5328 -x5329 -x5358 -x5359 -x5363
1800.27	v -x5364 -x5365 -x5367 -x5368 -x5369 -x5370 -x5360 -x5361 -x5362 -x5384 -x5385 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394
1800.27	v -x5395 -x5396 -x5386 -x5387 -x5388 -x5410 -x5411 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5412 -x5413
1800.27	v -x5414 -x5441 -x5442 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5443 -x5444 -x5445 -x5480 -x5481 -x5485
1800.27	v -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5482 -x5483 -x5484 -x5493 -x5494 -x5498 -x5499 -x5500 -x5501 -x5502
1800.27	v -x5503 -x5504 -x5505 -x5495 -x5496 -x5497 -x5519 -x5520 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5521
1800.27	v -x5522 -x5523 -x5558 -x5559 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5560 -x5561 -x5562 -x5610 -x5611
1800.27	v -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5612 -x5613 -x5614 -x5688 -x5689 -x5693 -x5694 -x5695 -x5696
1800.27	v -x5697 -x5698 -x5699 -x5700 -x5690 -x5691 -x5692 -x5948 -x5949 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960
1800.27	v -x5950 -x5951 -x5952 -x6078 -x6079 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6080 -x6081 -x6082 -x6224
1800.27	v -x6225 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6226 -x6227 -x6228 -x6412 -x6413 -x6417 -x6418 -x6419
1800.27	v -x6420 -x6421 -x6422 -x6423 -x6424 -x6414 -x6415 -x6416 -x6445 -x6446 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456
1800.27	v -x6457 -x6447 -x6448 -x6449 -x6458 -x6459 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6460 -x6461 -x6462
1800.27	v -x6471 -x6472 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6473 -x6474 -x6475 -x6497 -x6498 -x6502 -x6503
1800.27	v -x6504 -x6505 -x6506 -x6507 -x6509 -x6499 -x6500 -x6501 -x6543 -x6544 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554
1800.27	v -x6555 -x6545 -x6546 -x6547 -x6556 -x6557 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6558 -x6618 -x6619
1800.27	v -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6620 -x6621 -x6622 -x6644 -x6645 -x6649 -x6650 -x6651 -x6652
1800.27	v -x6653 -x6654 -x6655 -x6656 -x6646 -x6647 -x6648 -x6670 -x6671 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682
1800.27	v -x6672 -x6673 -x6674 -x6683 -x6684 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6685 -x6686 -x6687 -x6709
1800.27	v -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6732 -x6733 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742
1800.27	v -x6743 -x6744 -x6734 -x6735 -x6736 -x6745 -x6746 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6747 -x6748
1800.27	v -x6749 -x6784 -x6785 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6786 -x6787 -x6788 -x6810 -x6811 -x6815
1800.27	v -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6812 -x6813 -x6814 -x6836 -x6837 -x6841 -x6842 -x6843 -x6844 -x6845
1800.27	v -x6846 -x6847 -x6848 -x6838 -x6839 -x6840 -x6876 -x6877 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6878
1800.27	v -x6879 -x6880 -x6889 -x6890 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6891 -x6892 -x6893 -x6993 -x6994
1800.27	v -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x6995 -x6996 -x6997 -x7123 -x7124 -x7128 -x7129 -x7130 -x7131
1800.27	v -x7132 -x7133 -x7134 -x7135 -x7125 -x7126 -x7127 -x7366 -x7367 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378
1800.27	v -x7368 -x7369 -x7370 -x7401 -x7402 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7403 -x7404 -x7405 -x7489
1800.27	v -x7490 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7491 -x7492 -x7493 -x7502 -x7503 -x7507 -x7508 -x7509
1800.27	v -x7510 -x7511 -x7512 -x7513 -x7514 -x7504 -x7505 -x7506 -x7775 -x7776 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786
1800.27	v -x7787 -x7777 -x7778 -x7779 -x7983 -x7984 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7985 -x7986 -x7987
1800.27	v -x8282 -x8283 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8284 -x8285 -x8286 -x8315 -x8316 -x8320 -x8322
1800.27	v -x8323 -x8324 -x8325 -x8326 -x8327 -x8317 -x8318 -x8319 -x8341 -x8342 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352
1800.27	v -x8353 -x8343 -x8344 -x8345 -x8354 -x8355 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8356 -x8385 -x8386
1800.27	v -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8387 -x8388 -x8389 -x8424 -x8425 -x8429 -x8430 -x8431 -x8432
1800.27	v -x8433 -x8434 -x8435 -x8436 -x8426 -x8427 -x8428 -x8450 -x8451 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462
1800.27	v -x8452 -x8453 -x8454 -x8476 -x8477 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8478 -x8479 -x8480 -x8489
1800.27	v -x8490 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8491 -x8492 -x8493 -x8515 -x8516 -x8517 -x8518 -x8519
1800.27	v -x8520 -x8521 -x8522 -x8523 -x8524 -x8538 -x8539 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8540 -x8541
1800.27	v -x8542 -x8551 -x8552 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8553 -x8554 -x8555 -x8590 -x8591 -x8595
1800.27	v -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8592 -x8593 -x8594 -x8616 -x8617 -x8621 -x8622 -x8623 -x8624 -x8625
1800.27	v -x8626 -x8627 -x8628 -x8618 -x8619 -x8620 -x8642 -x8643 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8644
1800.27	v -x8645 -x8646 -x8760 -x8761 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8762 -x8763 -x8764 -x9096 -x9097
1800.27	v -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9098 -x9099 -x9100 -x9122 -x9123 -x9127 -x9128 -x9129 -x9130
1800.27	v -x9131 -x9132 -x9133 -x9134 -x9124 -x9125 -x9126 -x9482 -x9483 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494
1800.27	v -x9484 -x9485 -x9486 -x9927 -x9928 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9929 -x9930 -x9931 -x9975
1800.27	v -x9976 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9977 -x9978 -x9979 -x10509 -x10510 -x10514 -x10515 -x10516
1800.27	v -x10517 -x10518 -x10519 -x10520 -x10521 -x10511 -x10512 -x10513 -x10522 -x10523 -x10527 -x10528 -x10529 -x10530 -x10531
1800.27	v -x10532 -x10533 -x10534 -x10524 -x10525 -x10526 -x10548 -x10549 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559
1800.27	v -x10560 -x10550 -x10551 -x10552 -x10587 -x10588 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10589
1800.27	v -x10590 -x10591 -x11162 -x11163 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11164 -x11165 -x11166
1800.27	v -x2387 -x2388 -x2389 -x2390 -x2391 -x2624 -x2625 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2626 -x2627
1800.27	v -x2628 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3858 -x3859 -x3860 -x3861
1800.27	v -x3862 -x3863 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4236 -x4237 -x4241
1800.27	v -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4238 -x4239 -x4240 -x7195 -x7196 -x7200 -x7201 -x7202 -x7203 -x7204
1800.27	v -x7205 -x7206 -x7207 -x7197 -x7198 -x7199 -x8669 -x8670 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8671
1800.27	v -x8672 -x8673 -x8708 -x8709 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8710 -x8711 -x8712 -x8953 -x8954
1800.27	v -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8955 -x8956 -x8957 -x2692 -x2693 -x2696 -x2697 -x2698 -x2699
1800.27	v -x2700 -x2701 -x2702 -x2694 -x2879 -x2880 -x2881 -x2883 -x2884 -x2885 -x2886 -x2887 -x7239 -x7240 -x7242 -x7243 -x7244
1800.27	v -x7245 -x7246 -x7247 -x7248 -x7249 -x7241 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x9677 -x9678
1800.27	v -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9679 -x9792 -x9793 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800
1800.27	v -x9801 -x9802 -x9794 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x11214 -x11215 -x11216 -x11217 -x11218
1800.27	v -x11219 -x11220 -x11221 -x11222 -x2408 -x2409 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2410 -x2411 -x2412
1800.27	v -x2421 -x2422 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2423 -x2424 -x2425 -x2434 -x2435 -x2439 -x2440
1800.27	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2436 -x2437 -x2438 -x2447 -x2448 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457
1800.27	v -x2458 -x2459 -x2449 -x2450 -x2451 -x2470 -x2471 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2472 -x2473
1800.27	v -x2474 -x2483 -x2484 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2485 -x2486 -x2487 -x2496 -x2497 -x2501
1800.27	v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2498 -x2499 -x2500 -x2526 -x2527 -x2531 -x2532 -x2533 -x2534 -x2535
1800.27	v -x2536 -x2537 -x2538 -x2528 -x2529 -x2530 -x2555 -x2556 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2557
1800.27	v -x2558 -x2559 -x2568 -x2569 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2570 -x2571 -x2572 -x2581 -x2582
1800.27	v -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2583 -x2584 -x2585 -x2594 -x2595 -x2599 -x2600 -x2601 -x2602
1800.27	v -x2603 -x2604 -x2605 -x2606 -x2596 -x2597 -x2598 -x2653 -x2654 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665
1800.27	v -x2655 -x2656 -x2657 -x2666 -x2667 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2668 -x2669 -x2670 -x2679
1800.27	v -x2680 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2681 -x2682 -x2683 -x2719 -x2720 -x2724 -x2725 -x2726
1800.27	v -x2727 -x2728 -x2729 -x2730 -x2731 -x2721 -x2722 -x2723 -x2732 -x2733 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2744
1800.27	v -x2734 -x2735 -x2736 -x2758 -x2759 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2760 -x2761 -x2762 -x2788
1800.27	v -x2789 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2790 -x2791 -x2792 -x2801 -x2802 -x2806 -x2807 -x2808
1800.27	v -x2809 -x2810 -x2811 -x2812 -x2813 -x2803 -x2804 -x2805 -x2814 -x2815 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825
1800.27	v -x2826 -x2816 -x2817 -x2818 -x2827 -x2828 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2829 -x2830 -x2831
1800.27	v -x2840 -x2841 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2842 -x2843 -x2844 -x2853 -x2854 -x2858 -x2859
1800.27	v -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2855 -x2856 -x2857 -x2866 -x2867 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876
1800.27	v -x2877 -x2878 -x2868 -x2869 -x2870 -x2888 -x2889 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2890 -x2891
1800.27	v -x2892 -x2901 -x2902 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2903 -x2904 -x2905 -x2914 -x2915 -x2919
1800.27	v -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2916 -x2917 -x2918 -x2927 -x2928 -x2932 -x2933 -x2934 -x2935 -x2936
1800.27	v -x2937 -x2938 -x2939 -x2929 -x2930 -x2931 -x2940 -x2941 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2942
1800.27	v -x2943 -x2944 -x2953 -x2954 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2955 -x2956 -x2957 -x2966 -x2967
1800.27	v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2968 -x2969 -x2970 -x2979 -x2980 -x2984 -x2985 -x2986 -x2987
1800.27	v -x2988 -x2989 -x2990 -x2991 -x2981 -x2982 -x2983 -x4144 -x4145 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156
1800.27	v -x4146 -x4147 -x4148 -x4170 -x4171 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4172 -x4173 -x4174 -x4203
1800.27	v -x4204 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4205 -x4206 -x4207 -x4216 -x4217 -x4221 -x4222 -x4223
1800.27	v -x4224 -x4225 -x4226 -x4227 -x4228 -x4218 -x4219 -x4220 -x4249 -x4250 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260
1800.27	v -x4261 -x4251 -x4252 -x4253 -x4280 -x4281 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4282 -x4283 -x4284
1800.27	v -x4319 -x4320 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4321 -x4322 -x4323 -x4332 -x4333 -x4337 -x4338
1800.27	v -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4334 -x4335 -x4336 -x4345 -x4346 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355
1800.27	v -x4356 -x4357 -x4347 -x4348 -x4349 -x4371 -x4372 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4373 -x4374
1800.27	v -x4375 -x4397 -x4398 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4399 -x4400 -x4401 -x4459 -x4460 -x4464
1800.27	v -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4461 -x4462 -x4463 -x4472 -x4473 -x4477 -x4478 -x4479 -x4480 -x4481
1800.27	v -x4482 -x4483 -x4484 -x4474 -x4475 -x4476 -x4587 -x4588 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4589
1800.27	v -x4590 -x4591 -x4600 -x4601 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4602 -x4603 -x4604 -x4692 -x4693
1800.27	v -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4694 -x4695 -x4696 -x4705 -x4706 -x4710 -x4711 -x4712 -x4713
1800.27	v -x4714 -x4715 -x4716 -x4717 -x4707 -x4708 -x4709 -x4826 -x4827 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838
1800.27	v -x4828 -x4829 -x4830 -x4930 -x4931 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4932 -x4933 -x4934 -x5007
1800.27	v -x5008 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5009 -x5010 -x5011 -x5235 -x5236 -x5240 -x5241 -x5242
1800.27	v -x5243 -x5244 -x5245 -x5246 -x5247 -x5237 -x5238 -x5239 -x5636 -x5637 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647
1800.27	v -x5648 -x5638 -x5639 -x5640 -x5779 -x5780 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5781 -x5782 -x5783
1800.27	v -x5922 -x5923 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5924 -x5925 -x5926 -x5987 -x5988 -x5992 -x5993
1800.27	v -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x5989 -x5990 -x5991 -x6104 -x6105 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114
1800.27	v -x6115 -x6116 -x6106 -x6107 -x6108 -x6162 -x6163 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6164 -x6165
1800.27	v -x6166 -x6360 -x6361 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6362 -x6363 -x6364 -x6863 -x6864 -x6868
1800.27	v -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6865 -x6866 -x6867 -x6980 -x6981 -x6985 -x6986 -x6987 -x6988 -x6989
1800.27	v -x6990 -x6991 -x6992 -x6982 -x6983 -x6984 -x7110 -x7111 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7112
1800.27	v -x7113 -x7114 -x7136 -x7137 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7138 -x7139 -x7140 -x7149 -x7150
1800.27	v -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7151 -x7152 -x7153 -x7162 -x7163 -x7167 -x7168 -x7169 -x7170
1800.27	v -x7171 -x7172 -x7173 -x7174 -x7164 -x7165 -x7166 -x7175 -x7176 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187
1800.27	v -x7177 -x7178 -x7179 -x7213 -x7214 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7215 -x7216 -x7217 -x7288
1800.27	v -x7289 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7290 -x7291 -x7292 -x7301 -x7302 -x7306 -x7307 -x7308
1800.27	v -x7309 -x7310 -x7311 -x7312 -x7313 -x7303 -x7304 -x7305 -x7314 -x7315 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325
1800.27	v -x7326 -x7316 -x7317 -x7318 -x7327 -x7328 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7329 -x7330 -x7331
1800.27	v -x7340 -x7341 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7342 -x7343 -x7344 -x7353 -x7354 -x7358 -x7359
1800.27	v -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7355 -x7356 -x7357 -x7388 -x7389 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398
1800.27	v -x7399 -x7400 -x7390 -x7391 -x7392 -x7414 -x7415 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7416 -x7417
1800.27	v -x7418 -x7427 -x7428 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7429 -x7430 -x7431 -x7440 -x7441 -x7445
1800.27	v -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7442 -x7443 -x7444 -x7593 -x7594 -x7598 -x7599 -x7600 -x7601 -x7602
1800.27	v -x7603 -x7604 -x7605 -x7595 -x7596 -x7597 -x7606 -x7607 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7608
1800.27	v -x7609 -x7610 -x7749 -x7750 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7751 -x7752 -x7753 -x7762 -x7763
1800.27	v -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7764 -x7765 -x7766 -x7827 -x7828 -x7832 -x7833 -x7834 -x7835
1800.27	v -x7836 -x7837 -x7838 -x7839 -x7829 -x7830 -x7831 -x7840 -x7841 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852
1800.27	v -x7842 -x7843 -x7844 -x7905 -x7906 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7907 -x7908 -x7909 -x7918
1800.27	v -x7919 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7920 -x7921 -x7922 -x8230 -x8231 -x8235 -x8236 -x8237
1800.27	v -x8238 -x8239 -x8240 -x8241 -x8242 -x8232 -x8233 -x8234 -x8243 -x8244 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254
1800.27	v -x8255 -x8245 -x8246 -x8247 -x8979 -x8980 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8981 -x8982 -x8983
1800.27	v -x8992 -x8993 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x8994 -x8995 -x8996 -x9018 -x9019 -x9023 -x9024
1800.27	v -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9020 -x9021 -x9022 -x9057 -x9058 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067
1800.27	v -x9068 -x9069 -x9059 -x9060 -x9061 -x9070 -x9071 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9072 -x9073
1800.27	v -x9074 -x9083 -x9084 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9085 -x9086 -x9087 -x9109 -x9110 -x9114
1800.27	v -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9111 -x9112 -x9113 -x9135 -x9136 -x9140 -x9141 -x9142 -x9143 -x9144
1800.27	v -x9145 -x9146 -x9147 -x9137 -x9138 -x9139 -x9355 -x9356 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9357
1800.27	v -x9358 -x9359 -x9420 -x9421 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9422 -x9423 -x9424 -x9638 -x9639
1800.27	v -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9640 -x9641 -x9642 -x9836 -x9837 -x9841 -x9842 -x9843 -x9844
1800.27	v -x9845 -x9846 -x9847 -x9848 -x9838 -x9839 -x9840 -x9862 -x9863 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874
1800.27	v -x9864 -x9865 -x9866 -x9875 -x9876 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9877 -x9878 -x9879 -x9888
1800.27	v -x9889 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9890 -x9891 -x9892 -x9901 -x9902 -x9906 -x9907 -x9908
1800.27	v -x9909 -x9910 -x9911 -x9912 -x9913 -x9903 -x9904 -x9905 -x9914 -x9915 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925
1800.27	v -x9926 -x9916 -x9917 -x9918 -x9949 -x9950 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9951 -x9952 -x9953
1800.27	v -x9962 -x9963 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9964 -x9965 -x9966 -x9988 -x9989 -x9993 -x9994
1800.27	v -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x9990 -x9992 -x10014 -x10015 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024
1800.27	v -x10025 -x10026 -x10016 -x10017 -x10018 -x10027 -x10028 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039
1800.27	v -x10029 -x10030 -x10031 -x10242 -x10243 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10244 -x10245
1800.27	v -x10246 -x10686 -x10687 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10688 -x10689 -x10690 -x10860
1800.27	v -x10861 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10862 -x10863 -x10864 -x10873 -x10874 -x10878
1800.27	v -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10875 -x10876 -x10877 -x10980 -x10981 -x10985 -x10986 -x10987
1800.27	v -x10988 -x10989 -x10990 -x10991 -x10992 -x10982 -x10983 -x10984 -x10993 -x10994 -x10998 -x10999 -x11000 -x11001 -x11002
1800.27	v -x11003 -x11004 -x11005 -x10995 -x10996 -x10997 -x11149 -x11150 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160
1800.27	v -x11161 -x11151 -x11152 -x11153 -x11257 -x11258 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11259
1800.27	v -x11260 -x11261 -x11361 -x11362 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11363 -x11364 -x11365
1800.27	v -x11395 -x11396 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407 -x11397 -x11398 -x11399 -x11447 -x11448
1800.27	v -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 -x11449 -x11450 -x11451 -x11473 -x11474 -x11478 -x11479
1800.27	v -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11475 -x11476 -x11477 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376
1800.27	v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2539 -x2540 -x2541 -x2542
1800.27	v -x2543 -x2544 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2703 -x2704
1800.27	v -x2705 -x2706 -x2707 -x2708 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997
1800.27	v -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3321 -x3322 -x3323
1800.27	v -x3324 -x3325 -x3326 -x3327 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443
1800.27	v -x3444 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x5313 -x5314
1800.27	v -x5315 -x5316 -x5317 -x5318 -x5319 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x6438 -x6439 -x6440 -x6441 -x6442
1800.27	v -x6443 -x6444 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6849
1800.27	v -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7281 -x7282 -x7283 -x7284
1800.27	v -x7285 -x7286 -x7287 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371
1800.27	v -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x10600 -x10601 -x10602
1800.27	v -x10603 -x10604 -x10605 -x10606 -x3397 -x3398 -x3399 -x3400 -x3401 -x3510 -x3511 -x3512 -x3513 -x3514 -x3655 -x3656 -x3657
1800.27	v -x3658 -x3659 -x3679 -x3680 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3681 -x3682 -x3683 -x3728 -x3729
1800.27	v -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3730 -x3731 -x3732 -x3741 -x3742 -x3746 -x3747 -x3748 -x3749
1800.27	v -x3750 -x3751 -x3752 -x3753 -x3743 -x3744 -x3745 -x3765 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3766
1800.27	v -x3767 -x3768 -x3864 -x3865 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3866 -x3867 -x3868 -x3877 -x3878
1800.27	v -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3879 -x3880 -x3881 -x3920 -x3921 -x3925 -x3926 -x3927 -x3928
1800.27	v -x3929 -x3930 -x3931 -x3932 -x3922 -x3923 -x3924 -x3946 -x3947 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958
1800.27	v -x3948 -x3949 -x3950 -x3969 -x3970 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3971 -x3972 -x3973 -x4060
1800.27	v -x4061 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4062 -x4063 -x4064 -x4073 -x4074 -x4078 -x4079 -x4080
1800.27	v -x4082 -x4083 -x4084 -x4085 -x4075 -x4076 -x4077 -x4086 -x4087 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098
1800.27	v -x4088 -x4089 -x4090 -x4099 -x4100 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4101 -x4102 -x4103 -x4112
1800.27	v -x4113 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4114 -x4115 -x4116 -x5701 -x5702 -x5706 -x5708 -x5709
1800.27	v -x5710 -x5711 -x5712 -x5713 -x5703 -x5704 -x5705 -x6091 -x6092 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103
1800.27	v -x6093 -x6094 -x6095 -x6303 -x6304 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6305 -x6306 -x6307 -x8682
1800.27	v -x8683 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8684 -x8685 -x8686 -x8695 -x8696 -x8700 -x8701 -x8702
1800.27	v -x8703 -x8704 -x8705 -x8706 -x8707 -x8697 -x8698 -x8699 -x8721 -x8722 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732
1800.27	v -x8733 -x8723 -x8724 -x8725 -x8747 -x8748 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8749 -x8750 -x8751
1800.27	v -x8773 -x8774 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8775 -x8776 -x8777 -x8888 -x8889 -x8893 -x8894
1800.27	v -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8890 -x8891 -x8892 -x8901 -x8902 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911
1800.27	v -x8912 -x8913 -x8903 -x8904 -x8905 -x8914 -x8915 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8916 -x8917
1800.27	v -x8918 -x8927 -x8928 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8929 -x8930 -x8931 -x8940 -x8941 -x8945
1800.27	v -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8942 -x8943 -x8944 -x9292 -x9293 -x9297 -x9298 -x9299 -x9300 -x9301
1800.27	v -x9302 -x9303 -x9304 -x9294 -x9295 -x9296 -x9550 -x9551 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9552
1800.27	v -x9553 -x9554 -x10179 -x10180 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10181 -x10182 -x10183
1800.27	v -x11201 -x11202 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11203 -x11204 -x11205 -x3705 -x3706
1800.27	v -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3707 -x3708 -x3709 -x3809 -x3810 -x3814 -x3815 -x3816 -x3817
1800.27	v -x3818 -x3819 -x3820 -x3821 -x3811 -x3812 -x3813 -x3835 -x3836 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847
1800.27	v -x3837 -x3838 -x3839 -x3901 -x3902 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3903 -x3904 -x3905 -x3995
1800.27	v -x3996 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x3997 -x3998 -x3999 -x4021 -x4022 -x4026 -x4027 -x4028
1800.27	v -x4029 -x4030 -x4031 -x4032 -x4033 -x4023 -x4024 -x4025 -x4047 -x4048 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058
1800.27	v -x4059 -x4049 -x4050 -x4051 -x8864 -x8865 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8866 -x8867 -x8868
1800.27	v -x3666 -x3667 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3668 -x3669 -x3670 -x3692 -x3693 -x3697 -x3698
1800.27	v -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3694 -x3695 -x3696 -x3777 -x3778 -x3782 -x3783 -x3784 -x3786 -x3787 -x3788
1800.27	v -x3789 -x3779 -x3780 -x3781 -x3796 -x3797 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3798 -x3799 -x3800
1800.27	v -x3822 -x3823 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3824 -x3825 -x3826 -x3890 -x3891 -x3893 -x3894
1800.27	v -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3892 -x3982 -x3983 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994
1800.27	v -x3984 -x3985 -x3986 -x4008 -x4009 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4010 -x4011 -x4012 -x4035
1800.27	v -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4036 -x4037 -x4038 -x5320 -x5321 -x5322 -x5323 -x5324 -x7208
1800.27	v -x7209 -x7210 -x7211 -x7212 -x7250 -x7251 -x7252 -x7253 -x7254 -x7466 -x7467 -x7468 -x7469 -x7470 -x4275 -x4276 -x4277
1800.27	v -x4278 -x4279 -x4423 -x4424 -x4425 -x4426 -x4427 -x4485 -x4486 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497
1800.27	v -x4487 -x4488 -x4489 -x4498 -x4499 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4500 -x4501 -x4502 -x4537
1800.27	v -x4538 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4539 -x4540 -x4541 -x4550 -x4551 -x4555 -x4556 -x4557
1800.27	v -x4558 -x4559 -x4560 -x4561 -x4562 -x4552 -x4553 -x4554 -x4637 -x4638 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648
1800.27	v -x4649 -x4639 -x4640 -x4641 -x4664 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4665 -x4666 -x4667 -x4770
1800.27	v -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4778 -x4956
1800.27	v -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974
1800.27	v -x4966 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042
1800.27	v -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5043 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5097 -x5098
1800.27	v -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5107
1800.27	v -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167
1800.27	v -x5168 -x5160 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197
1800.27	v -x5198 -x5190 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214
1800.27	v -x5215 -x5207 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5227 -x5228 -x5229 -x5230 -x5231
1800.27	v -x5232 -x5233 -x5234 -x5226 -x5974 -x5975 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5976 -x5977 -x5978
1800.27	v -x6013 -x6014 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6015 -x6016 -x6017 -x6039 -x6040 -x6044 -x6045 -x6046
1800.27	v -x6047 -x6048 -x6049 -x6050 -x6051 -x6041 -x6042 -x6043 -x6149 -x6150 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160
1800.27	v -x6161 -x6151 -x6152 -x6153 -x6277 -x6278 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6279 -x6280 -x6281
1800.27	v -x6290 -x6291 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6292 -x6293 -x6294 -x6954 -x6955 -x6959 -x6960
1800.27	v -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6956 -x6957 -x6958 -x7019 -x7020 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029
1800.27	v -x7030 -x7031 -x7021 -x7022 -x7023 -x7071 -x7072 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7073 -x7074
1800.27	v -x7075 -x7097 -x7098 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7099 -x7100 -x7101 -x7541 -x7542 -x7546
1800.27	v -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7543 -x7544 -x7545 -x7580 -x7581 -x7585 -x7586 -x7587 -x7588 -x7589
1800.27	v -x7590 -x7591 -x7592 -x7582 -x7583 -x7584 -x7619 -x7620 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7621
1800.27	v -x7622 -x7623 -x7684 -x7685 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7686 -x7687 -x7688 -x7723 -x7724
1800.27	v -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7725 -x7726 -x7727 -x7853 -x7854 -x7858 -x7859 -x7860 -x7861
1800.27	v -x7862 -x7863 -x7864 -x7865 -x7855 -x7856 -x7857 -x7892 -x7893 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904
1800.27	v -x7894 -x7895 -x7896 -x7931 -x7932 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7933 -x7934 -x7935 -x8009
1800.27	v -x8010 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8011 -x8012 -x8013 -x8048 -x8049 -x8053 -x8054 -x8055
1800.27	v -x8056 -x8057 -x8058 -x8059 -x8060 -x8050 -x8051 -x8052 -x8074 -x8075 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085
1800.27	v -x8086 -x8076 -x8077 -x8078 -x8113 -x8114 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8115 -x8116 -x8117
1800.27	v -x8152 -x8153 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8154 -x8155 -x8156 -x8178 -x8179 -x8183 -x8184
1800.27	v -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8180 -x8181 -x8182 -x8204 -x8205 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214
1800.27	v -x8215 -x8216 -x8206 -x8207 -x8208 -x9185 -x9186 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9187 -x9188
1800.27	v -x9189 -x9266 -x9267 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9268 -x9269 -x9270 -x9279 -x9280 -x9284
1800.27	v -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9281 -x9282 -x9283 -x9524 -x9525 -x9529 -x9530 -x9531 -x9532 -x9533
1800.27	v -x9534 -x9535 -x9536 -x9526 -x9527 -x9528 -x9688 -x9689 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9690
1800.27	v -x9691 -x9692 -x9779 -x9780 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9781 -x9782 -x9783 -x10153 -x10154
1800.27	v -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10155 -x10156 -x10157 -x10166 -x10167 -x10171 -x10172
1800.27	v -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10168 -x10169 -x10170 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336
1800.27	v -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10361 -x10362 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372
1800.27	v -x10373 -x10363 -x10364 -x10365 -x10626 -x10627 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10628
1800.27	v -x10629 -x10630 -x10639 -x10640 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10641 -x10642 -x10643
1800.27	v -x10725 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10727 -x10728 -x10729 -x10925 -x10926 -x10930
1800.27	v -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10927 -x10928 -x10929 -x11032 -x11033 -x11037 -x11038 -x11039
1800.27	v -x11040 -x11041 -x11042 -x11043 -x11044 -x11034 -x11035 -x11036 -x11045 -x11046 -x11050 -x11051 -x11052 -x11053 -x11054
1800.27	v -x11055 -x11056 -x11057 -x11047 -x11048 -x11049 -x11071 -x11072 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082
1800.27	v -x11083 -x11073 -x11074 -x11075 -x11084 -x11085 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11086
1800.27	v -x11087 -x11088 -x11097 -x11098 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11099 -x11100 -x11101
1800.27	v -x11110 -x11111 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11112 -x11113 -x11114 -x11123 -x11124
1800.27	v -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11125 -x11126 -x11127 -x11136 -x11137 -x11141 -x11142
1800.27	v -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11138 -x11139 -x11140 -x5844 -x5845 -x5849 -x5850 -x5851 -x5852 -x5853
1800.27	v -x5854 -x5855 -x5856 -x5846 -x5847 -x5848 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6253 -x6254 -x6255 -x6256
1800.27	v -x6257 -x6258 -x6259 -x6260 -x6252 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6269 -x6270 -x6271 -x6272 -x6273
1800.27	v -x6274 -x6275 -x6276 -x6268 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9239 -x9240 -x9241
1800.27	v -x9242 -x9243 -x9244 -x9245 -x9246 -x9238 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9258
1800.27	v -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9257 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523
1800.27	v -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10126 -x10127 -x10128 -x10129 -x10130
1800.27	v -x10131 -x10132 -x10133 -x10125 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10145
1800.27	v -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10144 -x10326 -x10327 -x10328 -x10329 -x10330 -x10337 -x10338
1800.27	v -x10339 -x10340 -x10341 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10618 -x10619
1800.27	v -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10617 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771
1800.27	v -x10772 -x10773 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10774 -x10796 -x10797 -x10801 -x10802
1800.27	v -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10798 -x10799 -x10800 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814
1800.27	v -x10815 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10816 -x10825 -x10826 -x10827 -x10828 -x10829
1800.27	v -x10830 -x10831 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10832 -x10841 -x10842 -x10843 -x10844
1800.27	v -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10851
1800.27	v -x10951 -x10952 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10953 -x10954 -x10955 -x10964 -x10965
1800.27	v -x10966 -x10967 -x10968 -x10969 -x10970 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10971 -x4428
1800.27	v -x4429 -x4430 -x4431 -x4432 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4574 -x4575 -x4576
1800.27	v -x4577 -x4578 -x4579 -x4580 -x4581 -x4573 -x4582 -x4583 -x4584 -x4585 -x4586 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618
1800.27	v -x4619 -x4620 -x4621 -x4622 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4623 -x4632 -x4633 -x4634 -x4635
1800.27	v -x4636 -x4650 -x4651 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4652 -x4653 -x4654 -x4676 -x4677 -x4678
1800.27	v -x4679 -x4680 -x4681 -x4682 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4683 -x5116 -x5118 -x5119 -x5120
1800.27	v -x5121 -x5122 -x5123 -x5831 -x5832 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5833 -x5834 -x5835 -x7058
1800.27	v -x7059 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7060 -x7061 -x7062 -x7671 -x7672 -x7676 -x7677 -x7678
1800.27	v -x7679 -x7680 -x7681 -x7682 -x7683 -x7673 -x7674 -x7675 -x8035 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047
1800.27	v -x8037 -x8038 -x8039 -x8061 -x8062 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8063 -x8064 -x8065 -x8786
1800.27	v -x8787 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8788 -x8789 -x8790 -x8799 -x8800 -x8804 -x8805 -x8806
1800.27	v -x8807 -x8808 -x8809 -x8810 -x8811 -x8801 -x8802 -x8803 -x8812 -x8813 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823
1800.27	v -x8824 -x8814 -x8815 -x8816 -x8825 -x8826 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8827 -x8828 -x8829
1800.27	v -x9714 -x9715 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9716 -x9717 -x9718 -x9727 -x9728 -x9732 -x9733
1800.27	v -x9734 -x9735 -x9737 -x9738 -x9739 -x9729 -x9730 -x9731 -x10712 -x10713 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722
1800.27	v -x10723 -x10724 -x10714 -x10715 -x10716 -x10738 -x10739 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750
1800.27	v -x10740 -x10741 -x10742 -x10751 -x10752 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10753 -x10754
1800.27	v -x10755 -x10783 -x10784 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10785 -x10786 -x10787 -x10912
1800.27	v -x10913 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10914 -x10915 -x10916 -x10938 -x10939 -x10943
1800.27	v -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10940 -x10941 -x10942 -x4744 -x4745 -x4749 -x4750 -x4751 -x4752
1800.27	v -x4753 -x4754 -x4755 -x4756 -x4746 -x4747 -x4748 -x4757 -x4758 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769
1800.27	v -x4759 -x4760 -x4761 -x4813 -x4814 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4815 -x4816 -x4817 -x4852
1800.27	v -x4853 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4854 -x4855 -x4856 -x4865 -x4866 -x4870 -x4871 -x4872
1800.27	v -x4873 -x4874 -x4875 -x4876 -x4877 -x4867 -x4868 -x4869 -x4904 -x4905 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915
1800.27	v -x4916 -x4906 -x4907 -x4908 -x4917 -x4918 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4919 -x4920 -x4921
1800.27	v -x4981 -x4982 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4983 -x4984 -x4985 -x4994 -x4995 -x4999 -x5000
1800.27	v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x4996 -x4997 -x4998 -x5124 -x5125 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134
1800.27	v -x5135 -x5136 -x5126 -x5127 -x5128 -x5137 -x5138 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5139 -x5140
1800.27	v -x5141 -x5169 -x5170 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5171 -x5172 -x5173 -x5423 -x5424 -x5425
1800.27	v -x5426 -x5427 -x5571 -x5572 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5573 -x5574 -x5575 -x5649 -x5650
1800.27	v -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5651 -x5652 -x5653 -x5662 -x5663 -x5667 -x5668 -x5669 -x5670
1800.27	v -x5671 -x5672 -x5673 -x5674 -x5664 -x5665 -x5666 -x5714 -x5715 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726
1800.27	v -x5716 -x5717 -x5718 -x5740 -x5741 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5742 -x5743 -x5744 -x5792
1800.27	v -x5793 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5794 -x5795 -x5796 -x5857 -x5858 -x5862 -x5863 -x5864
1800.27	v -x5865 -x5866 -x5867 -x5868 -x5869 -x5860 -x5861 -x5870 -x5871 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882
1800.27	v -x5872 -x5873 -x5874 -x5883 -x5884 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5885 -x5886 -x5887 -x5961
1800.27	v -x5962 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5963 -x5964 -x5965 -x6026 -x6027 -x6031 -x6032 -x6033
1800.27	v -x6034 -x6035 -x6036 -x6037 -x6038 -x6028 -x6029 -x6030 -x6052 -x6053 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063
1800.27	v -x6064 -x6054 -x6055 -x6056 -x6138 -x6139 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6140 -x6196 -x6197
1800.27	v -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6198 -x6324 -x6325 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334
1800.27	v -x6335 -x6336 -x6326 -x6327 -x6328 -x6941 -x6942 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6943 -x6944
1800.27	v -x6945 -x7006 -x7007 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7008 -x7009 -x7010 -x7084 -x7085 -x7089
1800.27	v -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7086 -x7087 -x7088 -x7554 -x7555 -x7559 -x7560 -x7561 -x7562 -x7563
1800.27	v -x7564 -x7565 -x7566 -x7556 -x7557 -x7558 -x7632 -x7633 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7634
1800.27	v -x7635 -x7636 -x7736 -x7737 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7738 -x7739 -x7740 -x7866 -x7867
1800.27	v -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7868 -x7869 -x7870 -x7944 -x7945 -x7949 -x7951 -x7952 -x7953
1800.27	v -x7954 -x7955 -x7956 -x7946 -x7947 -x7948 -x8022 -x8023 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8024
1800.27	v -x8025 -x8026 -x8126 -x8127 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8128 -x8129 -x8130 -x8165 -x8166
1800.27	v -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8167 -x8168 -x8169 -x8191 -x8192 -x8196 -x8197 -x8198 -x8199
1800.27	v -x8200 -x8201 -x8202 -x8203 -x8193 -x8194 -x8195 -x8217 -x8218 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229
1800.27	v -x8219 -x8220 -x8221 -x9166 -x9167 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9168 -x9202 -x9203 -x9205
1800.27	v -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9204 -x9305 -x9306 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316
1800.27	v -x9317 -x9307 -x9308 -x9309 -x9446 -x9447 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9448 -x9495 -x9496
1800.27	v -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9497 -x9563 -x9564 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571
1800.27	v -x9572 -x9573 -x9565 -x9595 -x9596 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9597 -x9611 -x9612 -x9614
1800.27	v -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9613 -x9628 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637
1800.27	v -x9629 -x10076 -x10077 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10078 -x10192 -x10193 -x10197
1800.27	v -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10194 -x10195 -x10196 -x10307 -x10308 -x10310 -x10311 -x10312
1800.27	v -x10313 -x10314 -x10315 -x10316 -x10317 -x10309 -x10374 -x10375 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383
1800.27	v -x10384 -x10376 -x10419 -x10420 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10421 -x10435 -x10436
1800.27	v -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10437 -x10451 -x10452 -x10454 -x10455 -x10456 -x10457
1800.27	v -x10458 -x10459 -x10460 -x10461 -x10453 -x10652 -x10653 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664
1800.27	v -x10654 -x10655 -x10656 -x11223 -x11224 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11225 -x11226
1800.27	v -x11227 -x11283 -x11284 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 -x11285 -x11286 -x11287 -x11309
1800.27	v -x11310 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11311 -x11312 -x11313 -x11335 -x11336 -x11340
1800.27	v -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11337 -x11338 -x11339 -x6207 -x6208 -x6209 -x6210 -x6337 -x6338
1800.27	v -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6339 -x6340 -x6341 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182
1800.27	v -x9183 -x9184 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9318 -x9319 -x9323 -x9324 -x9325 -x9326 -x9327
1800.27	v -x9328 -x9329 -x9330 -x9320 -x9321 -x9322 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9506 -x9507 -x9508
1800.27	v -x9509 -x9510 -x9511 -x9512 -x9513 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9606 -x9607 -x9608 -x9609
1800.27	v -x9610 -x9622 -x9623 -x9624 -x9625 -x9626 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10205 -x10206
1800.27	v -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10207 -x10208 -x10209 -x10318 -x10319 -x10320 -x10321
1800.27	v -x10322 -x10323 -x10324 -x10325 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10430 -x10431 -x10432
1800.27	v -x10433 -x10434 -x10446 -x10447 -x10448 -x10449 -x10450 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469
1800.27	v -x10665 -x10666 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10667 -x10668 -x10669 -x11236 -x11237
1800.27	v -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11238 -x11239 -x11240 -x11296 -x11297 -x11301 -x11302
1800.27	v -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11298 -x11299 -x11300 -x11322 -x11323 -x11327 -x11328 -x11329 -x11330
1800.27	v -x11331 -x11332 -x11333 -x11334 -x11324 -x11325 -x11326 -x11348 -x11349 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358
1800.27	v -x11359 -x11360 -x11350 -x11351 -x11352 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x9331 -x9332
1800.27	v -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x10218 -x10219 -x10220
1800.27	v -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10678 -x10679
1800.27	v -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11387
1800.27	v -x11388 -x11389 -x11390 -x11391 -x11392 -x11393 -x11394 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6188
1800.27	v -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6316 -x6317
1800.27	v -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6600 -x6601 -x6602 -x6603 -x6604 -x6915 -x6916 -x6920 -x6921 -x6922 -x6923
1800.27	v -x6924 -x6925 -x6926 -x6927 -x6917 -x6918 -x6919 -x6928 -x6929 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6930
1800.27	v -x6931 -x6932 -x7567 -x7568 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7569 -x7570 -x7571 -x7697 -x7698
1800.27	v -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7699 -x7700 -x7701 -x7879 -x7880 -x7884 -x7885 -x7886 -x7887
1800.27	v -x7888 -x7889 -x7890 -x7891 -x7881 -x7882 -x7883 -x7970 -x7971 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982
1800.27	v -x7972 -x7973 -x7974 -x8139 -x8140 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8141 -x8142 -x8143 -x9407
1800.27	v -x9408 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9409 -x9410 -x9411 -x9766 -x9767 -x9771 -x9772 -x9773
1800.27	v -x9774 -x9775 -x9776 -x9777 -x9778 -x9768 -x9769 -x9770 -x7710 -x7711 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721
1800.27	v -x7722 -x7712 -x7713 -x7714 -x9537 -x9538 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9539 -x9540 -x9541
1800.27	v -x11058 -x11059 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11060 -x11061 -x11062 -x6967 -x6968 -x6972
1800.27	v -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6969 -x6970 -x6971 -x7045 -x7046 -x7050 -x7051 -x7052 -x7053 -x7054
1800.27	v -x7055 -x7056 -x7057 -x7047 -x7048 -x7049 -x7528 -x7529 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7530
1800.27	v -x7531 -x7532 -x7815 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7816 -x7817 -x7818 -x8100 -x8101 -x8105
1800.27	v -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8102 -x8103 -x8104 -x8851 -x8852 -x8856 -x8857 -x8858 -x8859 -x8860
1800.27	v -x8861 -x8862 -x8863 -x8853 -x8854 -x8855 -x9753 -x9754 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9755
1800.27	v -x9756 -x9757 -x11019 -x11020 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11021 -x11022 -x11023
1800.27	v -x7515 -x7516 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7517 -x7518 -x7519 -x8838 -x8839 -x8843 -x8844
1800.27	v -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8840 -x8841 -x8842 -x9740 -x9741 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751
1800.27	v -x9752 -x9742 -x9743 -x9744 -x11006 -x11007 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11008
1800.27	v -x11009 -x11010 -x7801 -x7802 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7803 -x7804 -x7805 -x8087 -x8088
1800.27	v -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8090 -x8091 -x8877 -x8878 -x8880 -x8881 -x8882 -x8883 -x8884
1800.27	v -x8885 -x8886 -x8887 -x8879 -x10053 -x10054 -x10055 -x10056 -x10057 -x9161 -x9162 -x9163 -x9164 -x9165 -x9198 -x9200
1800.27	v -x9201 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9465
1800.27	v -x9466 -x9467 -x9468 -x10406 -x10407 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10408 -x10409
1800.27	v -x10410 -x9582 -x9583 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9584 -x9585 -x9586 -x10108 -x10109 -x10110
1800.27	v -x10111 -x10112 -x10113 -x10114 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x1 -x2 -x5 -x6 -x7 -x10
1800.27	v -x13 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x35 -x36 -x37 -x39 -x40 -x41 -x43 -x44 -x45
1800.27	v -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71
1800.27	v -x72 -x73 -x74 -x75 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98
1800.27	v -x99 -x101 -x102 -x103 -x104 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121
1800.27	v -x122 -x125 -x126 -x128 -x131 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1800.27	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1800.27	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x188 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203
1800.27	v -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x222 -x223 -x224 -x226
1800.27	v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247
1800.27	v -x248 -x249 -x250 -x251 -x252 -x253 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269
1800.27	v -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1800.27	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1800.27	v -x313 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
1800.27	v -x335 -x336 -x337 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.27	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x376 -x377 -x378
1800.27	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.27	v -x400 -x401 -x402 -x403 -x404 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421
1800.27	v -x423 -x424 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445
1800.27	v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467
1800.27	v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488
1800.27	v -x489 -x490 -x491 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
1800.27	v -x511 -x512 -x515 -x516 -x518 -x521 -x523 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538
1800.27	v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559
1800.27	v -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x572 -x573 -x574 -x575 -x577 -x578 -x579 -x580 -x582 -x583
1800.27	v -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604
1800.27	v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1800.27	v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x646 -x647 -x648 -x649
1800.27	v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x664 -x665 -x667 -x668 -x670 -x673 -x674 -x675 -x676 -x677
1800.27	v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x696 -x697 -x698 -x699
1800.27	v -x700 -x701 -x702 -x703 -x704 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721
1800.27	v -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743
1800.27	v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x765
1800.27	v -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786
1800.27	v -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809
1800.27	v -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
1800.27	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x844 -x845 -x847 -x848 -x849 -x852 -x854 -x855 -x856
1800.27	v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877
1800.27	v -x878 -x879 -x880 -x881 -x882 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
1800.27	v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
1800.27	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
1800.27	v -x942 -x943 -x944 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963
1800.27	v -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984
1800.27	v -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x996 -x997 -x998 -x999 -x1000 -x1003 -x1004 -x1006 -x1007 -x1008
1800.27	v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1026
1800.27	v -x1027 -x1029 -x1031 -x1032 -x1033 -x1034 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046
1800.27	v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1054 -x1055 -x1057 -x1058 -x1060 -x1061 -x1062 -x1063 -x1064 -x1066 -x1067
1800.27	v -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1083 -x1084 -x1085
1800.27	v -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103
1800.27	v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1112 -x1113 -x1116 -x1119 -x1120 -x1123 -x1124 -x1125 -x1126 -x1127
1800.27	v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1142 -x1143 -x1146 -x1147
1800.27	v -x1148 -x1149 -x1151 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167
1800.27	v -x1168 -x1169 -x1170
1800.28	c Somebody sent me a SIGTERM
1800.28	smodels-2.31: no process killed
1800.29	pb2smodels: no process killed

Verifier Data (download as text)

OK	264081

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node6/watcher-45263-1154026056 -o ROOT/results/node6/solver-45263-1154026056 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node6/45263-1154026056/instance-45263-1154026056.opb 921981458 ROOT/tmp/node6/45263-1154026056 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.99 0.99 3/63 23812
/proc/meminfo: memFree=761544/2055924 swapFree=4183160/4192956
[pid=23812] ppid=23810 vsize=5360 CPUtime=0
/proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23812/statm: 1340 234 195 169 0 51 0
[pid=23813] ppid=23812 vsize=0 CPUtime=0
/proc/23813/stat : 23813 (runpbsmodels) R 23812 23812 23763 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 149466973 0 0 18446744073709551615 0 0 0 18446744073709551615 268582841639 0 0 4096 0 0 0 0 17 1 0 0
/proc/23813/statm: 0 0 0 0 0 0 0

[startup+10.0019 s]
/proc/loadavg: 0.93 0.99 0.99 2/67 23817
/proc/meminfo: memFree=750056/2055924 swapFree=4183160/4192956
[pid=23812] ppid=23810 vsize=5360 CPUtime=0
/proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23812/statm: 1340 234 195 169 0 51 0
[pid=23813] ppid=23812 vsize=12268 CPUtime=0
/proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23813/statm: 3067 383 293 3 0 167 0
[pid=23814] ppid=23813 vsize=5356 CPUtime=3.99
/proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23814/statm: 1339 227 188 169 0 50 0
[pid=23816] ppid=23814 vsize=12420 CPUtime=7.02
/proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2731 0 0 0 701 1 0 0 25 0 1 0 149466974 12718080 2695 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552478 0 0 4096 0 0 0 0 17 1 0 0
/proc/23816/statm: 3105 2695 211 21 0 2541 0
[pid=23817] ppid=23814 vsize=12268 CPUtime=0
/proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149466974 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23817/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 11.01
Current children cumulated vsize (Kb) 47672

[startup+20.0078 s]
/proc/loadavg: 0.94 0.99 0.99 2/67 23817
/proc/meminfo: memFree=750120/2055924 swapFree=4183160/4192956
[pid=23812] ppid=23810 vsize=5360 CPUtime=0
/proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23812/statm: 1340 234 195 169 0 51 0
[pid=23813] ppid=23812 vsize=12268 CPUtime=0
/proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23813/statm: 3067 383 293 3 0 167 0
[pid=23814] ppid=23813 vsize=5356 CPUtime=3.99
/proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23814/statm: 1339 227 188 169 0 50 0
[pid=23816] ppid=23814 vsize=12420 CPUtime=17.03
/proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2731 0 0 0 1702 1 0 0 25 0 1 0 149466974 12718080 2695 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521662 0 0 4096 0 0 0 0 17 1 0 0
/proc/23816/statm: 3105 2695 211 21 0 2541 0
[pid=23817] ppid=23814 vsize=12268 CPUtime=0
/proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149466974 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23817/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 21.02
Current children cumulated vsize (Kb) 47672

[startup+30.0138 s]
/proc/loadavg: 0.95 0.99 0.99 2/67 23817
/proc/meminfo: memFree=750184/2055924 swapFree=4183160/4192956
[pid=23812] ppid=23810 vsize=5360 CPUtime=0
/proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23812/statm: 1340 234 195 169 0 51 0
[pid=23813] ppid=23812 vsize=12268 CPUtime=0
/proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23813/statm: 3067 383 293 3 0 167 0
[pid=23814] ppid=23813 vsize=5356 CPUtime=3.99
/proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23814/statm: 1339 227 188 169 0 50 0
[pid=23816] ppid=23814 vsize=12420 CPUtime=27.02
/proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2731 0 0 0 2701 1 0 0 25 0 1 0 149466974 12718080 2695 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550765 0 0 4096 0 0 0 0 17 1 0 0
/proc/23816/statm: 3105 2695 211 21 0 2541 0
[pid=23817] ppid=23814 vsize=12268 CPUtime=0
/proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149466974 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23817/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 31.01
Current children cumulated vsize (Kb) 47672

[startup+40.0208 s]
/proc/loadavg: 0.96 0.99 0.99 2/67 23817
/proc/meminfo: memFree=750248/2055924 swapFree=4183160/4192956
[pid=23812] ppid=23810 vsize=5360 CPUtime=0
/proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23812/statm: 1340 234 195 169 0 51 0
[pid=23813] ppid=23812 vsize=12268 CPUtime=0
/proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23813/statm: 3067 383 293 3 0 167 0
[pid=23814] ppid=23813 vsize=5356 CPUtime=3.99
/proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23814/statm: 1339 227 188 169 0 50 0
[pid=23816] ppid=23814 vsize=12420 CPUtime=37.03
/proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2731 0 0 0 3702 1 0 0 25 0 1 0 149466974 12718080 2695 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134551334 0 0 4096 0 0 0 0 17 1 0 0
/proc/23816/statm: 3105 2695 211 21 0 2541 0
[pid=23817] ppid=23814 vsize=12268 CPUtime=0
/proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149466974 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23817/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 41.02
Current children cumulated vsize (Kb) 47672

[startup+50.0278 s]
/proc/loadavg: 0.97 0.99 0.99 2/67 23817
/proc/meminfo: memFree=750248/2055924 swapFree=4183160/4192956
[pid=23812] ppid=23810 vsize=5360 CPUtime=0
/proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23812/statm: 1340 234 195 169 0 51 0
[pid=23813] ppid=23812 vsize=12268 CPUtime=0
/proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23813/statm: 3067 383 293 3 0 167 0
[pid=23814] ppid=23813 vsize=5356 CPUtime=3.99
/proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23814/statm: 1339 227 188 169 0 50 0
[pid=23816] ppid=23814 vsize=12420 CPUtime=47.03
/proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2731 0 0 0 4702 1 0 0 25 0 1 0 149466974 12718080 2695 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550765 0 0 4096 0 0 0 0 17 1 0 0
/proc/23816/statm: 3105 2695 211 21 0 2541 0
[pid=23817] ppid=23814 vsize=12268 CPUtime=0
/proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149466974 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23817/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (Kb) 47672

[startup+60.0347 s]
/proc/loadavg: 0.97 0.99 0.99 2/67 23817
/proc/meminfo: memFree=750248/2055924 swapFree=4183160/4192956
[pid=23812] ppid=23810 vsize=5360 CPUtime=0
/proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23812/statm: 1340 234 195 169 0 51 0
[pid=23813] ppid=23812 vsize=12268 CPUtime=0
/proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23813/statm: 3067 383 293 3 0 167 0
[pid=23814] ppid=23813 vsize=5356 CPUtime=3.99
/proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23814/statm: 1339 227 188 169 0 50 0
[pid=23816] ppid=23814 vsize=12420 CPUtime=57.04
/proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2731 0 0 0 5703 1 0 0 25 0 1 0 149466974 12718080 2695 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553320 0 0 4096 0 0 0 0 17 1 0 0
/proc/23816/statm: 3105 2695 211 21 0 2541 0
[pid=23817] ppid=23814 vsize=12268 CPUtime=0
/proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149466974 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23817/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 61.03
Current children cumulated vsize (Kb) 47672

[startup+70.0417 s]
/proc/loadavg: 0.97 0.99 0.99 2/67 23817
/proc/meminfo: memFree=750248/2055924 swapFree=4183160/4192956
[pid=23812] ppid=23810 vsize=5360 CPUtime=0
/proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23812/statm: 1340 234 195 169 0 51 0
[pid=23813] ppid=23812 vsize=12268 CPUtime=0
/proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23813/statm: 3067 383 293 3 0 167 0
[pid=23814] ppid=23813 vsize=5356 CPUtime=3.99
/proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23814/statm: 1339 227 188 169 0 50 0
[pid=23816] ppid=23814 vsize=12420 CPUtime=67.04
/proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2731 0 0 0 6703 1 0 0 25 0 1 0 149466974 12718080 2695 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/23816/statm: 3105 2695 211 21 0 2541 0
[pid=23817] ppid=23814 vsize=12268 CPUtime=0
/proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149466974 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23817/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 71.03
Current children cumulated vsize (Kb) 47672

[startup+80.0487 s]
/proc/loadavg: 0.98 0.99 0.99 2/67 23817
/proc/meminfo: memFree=750248/2055924 swapFree=4183160/4192956
[pid=23812] ppid=23810 vsize=5360 CPUtime=0
/proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23812/statm: 1340 234 195 169 0 51 0
[pid=23813] ppid=23812 vsize=12268 CPUtime=0
/proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23813/statm: 3067 383 293 3 0 167 0
[pid=23814] ppid=23813 vsize=5356 CPUtime=3.99
/proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23814/statm: 1339 227 188 169 0 50 0
[pid=23816] ppid=23814 vsize=12420 CPUtime=77.04
/proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2731 0 0 0 7703 1 0 0 25 0 1 0 149466974 12718080 2695 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552542 0 0 4096 0 0 0 0 17 1 0 0
/proc/23816/statm: 3105 2695 211 21 0 2541 0
[pid=23817] ppid=23814 vsize=12268 CPUtime=0
/proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149466974 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23817/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 81.03
Current children cumulated vsize (Kb) 47672

[startup+90.0556 s]
/proc/loadavg: 0.98 0.99 0.99 2/67 23817
/proc/meminfo: memFree=750248/2055924 swapFree=4183160/4192956
[pid=23812] ppid=23810 vsize=5360 CPUtime=0
/proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23812/statm: 1340 234 195 169 0 51 0
[pid=23813] ppid=23812 vsize=12268 CPUtime=0
/proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23813/statm: 3067 383 293 3 0 167 0
[pid=23814] ppid=23813 vsize=5356 CPUtime=3.99
/proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0

################
# More data... #
################

/proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2783 0 0 0 178950 5 0 0 25 0 1 0 149466974 12853248 2747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550827 0 0 4096 0 0 0 0 17 1 0 0
/proc/23816/statm: 3138 2747 214 21 0 2574 0
[pid=23817] ppid=23814 vsize=12580 CPUtime=0
/proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 522 0 0 0 0 0 0 0 17 0 1 0 149466974 12881920 482 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23817/statm: 3145 482 333 3 0 245 0
Current children cumulated CPU time (s) 1793.54
Current children cumulated vsize (Kb) 48116

[startup+1794.23 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=749608/2055924 swapFree=4183160/4192956
[pid=23812] ppid=23810 vsize=5360 CPUtime=0
/proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23812/statm: 1340 234 195 169 0 51 0
[pid=23813] ppid=23812 vsize=12268 CPUtime=0
/proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23813/statm: 3067 383 293 3 0 167 0
[pid=23814] ppid=23813 vsize=5356 CPUtime=3.99
/proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23814/statm: 1339 227 188 169 0 50 0
[pid=23816] ppid=23814 vsize=12552 CPUtime=1790.55
/proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2783 0 0 0 179050 5 0 0 25 0 1 0 149466974 12853248 2747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550742 0 0 4096 0 0 0 0 17 1 0 0
/proc/23816/statm: 3138 2747 214 21 0 2574 0
[pid=23817] ppid=23814 vsize=12580 CPUtime=0
/proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 522 0 0 0 0 0 0 0 17 0 1 0 149466974 12881920 482 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23817/statm: 3145 482 333 3 0 245 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (Kb) 48116

[startup+1795.23 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=749608/2055924 swapFree=4183160/4192956
[pid=23812] ppid=23810 vsize=5360 CPUtime=0
/proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23812/statm: 1340 234 195 169 0 51 0
[pid=23813] ppid=23812 vsize=12268 CPUtime=0
/proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23813/statm: 3067 383 293 3 0 167 0
[pid=23814] ppid=23813 vsize=5356 CPUtime=3.99
/proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23814/statm: 1339 227 188 169 0 50 0
[pid=23816] ppid=23814 vsize=12552 CPUtime=1791.56
/proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2783 0 0 0 179151 5 0 0 25 0 1 0 149466974 12853248 2747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553391 0 0 4096 0 0 0 0 17 1 0 0
/proc/23816/statm: 3138 2747 214 21 0 2574 0
[pid=23817] ppid=23814 vsize=12580 CPUtime=0
/proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 522 0 0 0 0 0 0 0 17 0 1 0 149466974 12881920 482 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23817/statm: 3145 482 333 3 0 245 0
Current children cumulated CPU time (s) 1795.55
Current children cumulated vsize (Kb) 48116

[startup+1796.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=749608/2055924 swapFree=4183160/4192956
[pid=23812] ppid=23810 vsize=5360 CPUtime=0
/proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23812/statm: 1340 234 195 169 0 51 0
[pid=23813] ppid=23812 vsize=12268 CPUtime=0
/proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23813/statm: 3067 383 293 3 0 167 0
[pid=23814] ppid=23813 vsize=5356 CPUtime=3.99
/proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23814/statm: 1339 227 188 169 0 50 0
[pid=23816] ppid=23814 vsize=12552 CPUtime=1792.56
/proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2783 0 0 0 179251 5 0 0 25 0 1 0 149466974 12853248 2747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553538 0 0 4096 0 0 0 0 17 1 0 0
/proc/23816/statm: 3138 2747 214 21 0 2574 0
[pid=23817] ppid=23814 vsize=12580 CPUtime=0
/proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 522 0 0 0 0 0 0 0 17 0 1 0 149466974 12881920 482 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23817/statm: 3145 482 333 3 0 245 0
Current children cumulated CPU time (s) 1796.55
Current children cumulated vsize (Kb) 48116

[startup+1797.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=749608/2055924 swapFree=4183160/4192956
[pid=23812] ppid=23810 vsize=5360 CPUtime=0
/proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23812/statm: 1340 234 195 169 0 51 0
[pid=23813] ppid=23812 vsize=12268 CPUtime=0
/proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23813/statm: 3067 383 293 3 0 167 0
[pid=23814] ppid=23813 vsize=5356 CPUtime=3.99
/proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23814/statm: 1339 227 188 169 0 50 0
[pid=23816] ppid=23814 vsize=12552 CPUtime=1793.57
/proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2783 0 0 0 179352 5 0 0 25 0 1 0 149466974 12853248 2747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0
/proc/23816/statm: 3138 2747 214 21 0 2574 0
[pid=23817] ppid=23814 vsize=12580 CPUtime=0
/proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 522 0 0 0 0 0 0 0 17 0 1 0 149466974 12881920 482 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23817/statm: 3145 482 333 3 0 245 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (Kb) 48116

[startup+1798.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=749608/2055924 swapFree=4183160/4192956
[pid=23812] ppid=23810 vsize=5360 CPUtime=0
/proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23812/statm: 1340 234 195 169 0 51 0
[pid=23813] ppid=23812 vsize=12268 CPUtime=0
/proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23813/statm: 3067 383 293 3 0 167 0
[pid=23814] ppid=23813 vsize=5356 CPUtime=3.99
/proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23814/statm: 1339 227 188 169 0 50 0
[pid=23816] ppid=23814 vsize=12552 CPUtime=1794.57
/proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2783 0 0 0 179452 5 0 0 25 0 1 0 149466974 12853248 2747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550871 0 0 4096 0 0 0 0 17 1 0 0
/proc/23816/statm: 3138 2747 214 21 0 2574 0
[pid=23817] ppid=23814 vsize=12580 CPUtime=0
/proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 522 0 0 0 0 0 0 0 17 0 1 0 149466974 12881920 482 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23817/statm: 3145 482 333 3 0 245 0
Current children cumulated CPU time (s) 1798.56
Current children cumulated vsize (Kb) 48116

[startup+1799.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=749608/2055924 swapFree=4183160/4192956
[pid=23812] ppid=23810 vsize=5360 CPUtime=0
/proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23812/statm: 1340 234 195 169 0 51 0
[pid=23813] ppid=23812 vsize=12268 CPUtime=0
/proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23813/statm: 3067 383 293 3 0 167 0
[pid=23814] ppid=23813 vsize=5356 CPUtime=3.99
/proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23814/statm: 1339 227 188 169 0 50 0
[pid=23816] ppid=23814 vsize=12552 CPUtime=1795.58
/proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2783 0 0 0 179553 5 0 0 25 0 1 0 149466974 12853248 2747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0
/proc/23816/statm: 3138 2747 214 21 0 2574 0
[pid=23817] ppid=23814 vsize=12580 CPUtime=0
/proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 522 0 0 0 0 0 0 0 17 0 1 0 149466974 12881920 482 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23817/statm: 3145 482 333 3 0 245 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (Kb) 48116

[startup+1800.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=749608/2055924 swapFree=4183160/4192956
[pid=23812] ppid=23810 vsize=5360 CPUtime=0
/proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23812/statm: 1340 234 195 169 0 51 0
[pid=23813] ppid=23812 vsize=12268 CPUtime=0
/proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23813/statm: 3067 383 293 3 0 167 0
[pid=23814] ppid=23813 vsize=5356 CPUtime=3.99
/proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23814/statm: 1339 227 188 169 0 50 0
[pid=23816] ppid=23814 vsize=12552 CPUtime=1796.58
/proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2783 0 0 0 179653 5 0 0 25 0 1 0 149466974 12853248 2747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553314 0 0 4096 0 0 0 0 17 1 0 0
/proc/23816/statm: 3138 2747 214 21 0 2574 0
[pid=23817] ppid=23814 vsize=12580 CPUtime=0
/proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 522 0 0 0 0 0 0 0 17 0 1 0 149466974 12881920 482 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23817/statm: 3145 482 333 3 0 245 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (Kb) 48116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24015
/proc/meminfo: memFree=749608/2055924 swapFree=4183160/4192956
[pid=23812] ppid=23810 vsize=5360 CPUtime=0
/proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23812/statm: 1340 234 195 169 0 51 0
[pid=23813] ppid=23812 vsize=12268 CPUtime=0
/proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23813/statm: 3067 383 293 3 0 167 0
[pid=23814] ppid=23813 vsize=5356 CPUtime=3.99
/proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23814/statm: 1339 227 188 169 0 50 0
[pid=23816] ppid=23814 vsize=12552 CPUtime=1796.59
/proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2783 0 0 0 179654 5 0 0 25 0 1 0 149466974 12853248 2747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553137 0 0 4096 0 0 0 0 17 1 0 0
/proc/23816/statm: 3138 2747 214 21 0 2574 0
[pid=23817] ppid=23814 vsize=12580 CPUtime=0
/proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 522 0 0 0 0 0 0 0 17 0 1 0 149466974 12881920 482 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23817/statm: 3145 482 333 3 0 245 0
Current children cumulated CPU time (s) 1800.58
Current children cumulated vsize (Kb) 48116

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23812 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=1999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=0
CPU time returned by wait4() is 0.001999
while last known CPU time is 1800.58

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1800.29
CPU time (s): 1800.58
CPU user time (s): 1800.52
CPU system time (s): 0.06
CPU usage (%): 100.016
Max. virtual memory (cumulated for all children) (Kb): 48116
The end

Launcher Data (download as text)

Begin job on node6 on Thu Jul 27 18:47:36 UTC 2006


FILE ID= 45263-1154026056

PBS_JOBID= 880786

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic97.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node6/45263-1154026056/instance-45263-1154026056.opb 921981458  ROOT/tmp/node6/45263-1154026056
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-45263-1154026056 -o ROOT/results/node6/solver-45263-1154026056 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node6/45263-1154026056/instance-45263-1154026056.opb 921981458  ROOT/tmp/node6/45263-1154026056

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  aef7e3722fd5816dc0cbb2acb61edf83

RANDOM SEED= 921981458

TIMEOUT= 1800 seconds


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.255
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.255
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:        761752 kB
Buffers:         46996 kB
Cached:        1151944 kB
SwapCached:       3980 kB
Active:         293428 kB
Inactive:       914512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:        761752 kB
SwapTotal:     4192956 kB
SwapFree:      4183160 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          14832 kB
Slab:            72208 kB
Committed_AS:   573356 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node6 on Thu Jul 27 19:17:36 UTC 2006