0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.15	c no version file found!!!
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version	1.6.0
0.08/0.15	c os.name	Linux
0.08/0.15	c os.version	2.6.9-22.EL.rootsmp
0.08/0.15	c os.arch	i386
0.08/0.15	c Free memory 1651659224
0.08/0.15	c Max memory 1654456320
0.08/0.15	c Total memory 1654456320
0.08/0.15	c Number of processors 2
0.20/0.20	--- Begin Solver configuration ---
0.20/0.20	c Stops conflict analysis at the first Unique Implication Point
0.20/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.20/0.20	c Learn all clauses as in MiniSAT
0.20/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.20/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.20/0.20	c No reason simplification
0.20/0.20	c --- End Solver configuration ---
0.20/0.20	c solving /tmp/evaluation/354003-1176690510/instance-354003-1176690510.opb
0.20/0.20	c reading problem ... 
2.17/1.34	c ... done. Wall clock time 1.141s.
2.17/1.34	c CPU time (experimental) 0.76s.
2.17/1.34	c #vars     7812
2.17/1.34	c #constraints  316
4.21/2.73	c SATISFIABLE
4.21/2.73	c OPTIMIZING...
4.21/2.73	c Got one! Elapsed wall clock time (in seconds):2.528
4.31/2.80	o 11693229
4.94/3.36	c Got one! Elapsed wall clock time (in seconds):3.156
5.06/3.43	o 7132164
5.69/4.08	c Got one! Elapsed wall clock time (in seconds):3.873
5.81/4.14	o 6993911
1496.86/1484.28	c cleaning 334350 clauses out of 668706 for limit 54374.48246177769
1506.95/1494.24	c cleaning 168662 clauses out of 337356 for limit 2168089.667441954
1510.19/1497.46	c cleaning 84845 clauses out of 169694 for limit 1.1722249625776108E7
1516.85/1504.09	c cleaning 43666 clauses out of 87348 for limit 2.7750410396108365E8
1519.38/1506.53	c cleaning 22326 clauses out of 44682 for limit 1.4753720284915562E9
1522.41/1509.57	c cleaning 11910 clauses out of 23856 for limit 1.2393791466071358E10
1525.53/1512.69	c cleaning 6712 clauses out of 13446 for limit 9.862258117161786E10
1527.96/1515.09	c cleaning 3853 clauses out of 7735 for limit 4.667189550969127E11
1528.95/1516.01	c cleaning 2182 clauses out of 4382 for limit 1.3586239661614136E12
1530.89/1517.94	c cleaning 1600 clauses out of 3200 for limit 5.059801042728043E12
1542.46/1529.41	c cleaning 4292 clauses out of 8602 for limit 2.075560619206251E-5
1544.38/1531.32	c cleaning 2648 clauses out of 5308 for limit 9.129493767614639E-5
1545.39/1532.32	c cleaning 1573 clauses out of 3160 for limit 2.5289859411030375E-4
1547.61/1534.57	c cleaning 1280 clauses out of 2587 for limit 8.401345457858143E-4
1548.30/1535.20	c cleaning 891 clauses out of 1808 for limit 0.0019844366730388885
1550.42/1537.36	c cleaning 948 clauses out of 1915 for limit 0.005085218785285496
1552.95/1539.80	c cleaning 975 clauses out of 1967 for limit 0.01346436372298797
1554.97/1541.81	c cleaning 985 clauses out of 1992 for limit 0.03615868558293809
1556.99/1543.90	c cleaning 990 clauses out of 2008 for limit 0.09765276536620358
1559.42/1546.21	c cleaning 998 clauses out of 2017 for limit 0.26413114791247716
1561.34/1548.17	c cleaning 999 clauses out of 2019 for limit 0.7176306383506105
1561.84/1548.69	c cleaning 747 clauses out of 1520 for limit 1.5719893162396248
1562.74/1549.56	c cleaning 628 clauses out of 1273 for limit 3.0954276769522484
1563.44/1550.26	c cleaning 556 clauses out of 1145 for limit 5.675439067710958
1565.86/1552.65	c cleaning 1285 clauses out of 2589 for limit 18.565063954851368
1569.38/1556.19	c cleaning 1393 clauses out of 2805 for limit 76.93036753943481
1570.70/1557.48	c cleaning 941 clauses out of 1913 for limit 186.211329840291
1573.23/1559.95	c cleaning 970 clauses out of 1970 for limit 490.7921366970273
1575.15/1561.81	c cleaning 989 clauses out of 2000 for limit 1314.7573292426516
1576.57/1563.24	c cleaning 750 clauses out of 1512 for limit 2870.874473693179
1577.77/1564.48	c cleaning 622 clauses out of 1261 for limit 5671.165007115447
1578.67/1565.32	c cleaning 556 clauses out of 1139 for limit 10354.271134333856
1580.80/1567.48	c cleaning 783 clauses out of 1583 for limit 20261.617681728083
1583.52/1570.19	c cleaning 891 clauses out of 1801 for limit 48482.79003551071
1585.64/1572.21	c cleaning 947 clauses out of 1910 for limit 124331.08504465467
1586.74/1573.33	c cleaning 720 clauses out of 1462 for limit 267600.6066489644
1588.07/1574.64	c cleaning 614 clauses out of 1242 for limit 519479.91096988687
1589.07/1575.69	c cleaning 554 clauses out of 1128 for limit 943272.4290929997
1591.49/1578.01	c cleaning 783 clauses out of 1574 for limit 1838456.1945987733
1592.49/1579.08	c cleaning 637 clauses out of 1292 for limit 3697310.2895639627
1593.91/1580.45	c cleaning 576 clauses out of 1154 for limit 6819679.7294469
1596.13/1582.64	c cleaning 789 clauses out of 1578 for limit 1.3563587189244656E7
1598.75/1585.23	c cleaning 891 clauses out of 1790 for limit 3.2551785655411888E7
1599.76/1586.24	c cleaning 687 clauses out of 1398 for limit 6.866604787106116E7
1601.87/1588.32	c cleaning 848 clauses out of 1712 for limit 1.5264822153448057E8
1603.17/1589.68	c cleaning 682 clauses out of 1364 for limit 3.1596357994108754E8
1604.80/1591.27	c cleaning 591 clauses out of 1183 for limit 6.013911742730256E8
1607.63/1594.01	c cleaning 796 clauses out of 1592 for limit 1.2153755787277076E9
1608.85/1595.25	c cleaning 645 clauses out of 1295 for limit 2.4615302417624807E9
1609.85/1596.27	c cleaning 574 clauses out of 1152 for limit 4.5724332653182535E9
1612.86/1599.24	c cleaning 1023 clauses out of 2075 for limit 1.1351307259586477E10
1613.96/1600.38	c cleaning 753 clauses out of 1552 for limit 2.5028115502695755E10
1615.48/1601.85	c cleaning 627 clauses out of 1299 for limit 4.9313588108237625E10
1616.68/1603.00	c cleaning 562 clauses out of 1174 for limit 9.01638749742449E10
1617.80/1604.17	c cleaning 548 clauses out of 1111 for limit 1.569668638633415E11
1618.61/1605.00	c cleaning 522 clauses out of 1064 for limit 2.7056449852766394E11
1620.03/1606.39	c cleaning 512 clauses out of 1041 for limit 4.5559933842935785E11
1621.12/1607.41	c cleaning 506 clauses out of 1029 for limit 7.601062902230408E11
1622.45/1608.74	c cleaning 512 clauses out of 1025 for limit 1.2609293290005186E12
1623.45/1609.80	c cleaning 504 clauses out of 1010 for limit 2.1039992940014736E12
1624.67/1610.99	c cleaning 494 clauses out of 1006 for limit 3.4835726310499966E12
1626.07/1612.36	c cleaning 497 clauses out of 1013 for limit 5.710890116539231E12
1627.50/1613.76	c cleaning 497 clauses out of 1015 for limit 9.39006464886503E12
1630.01/1616.28	c cleaning 742 clauses out of 1518 for limit 1.7075547086756195E13
1631.11/1617.37	c cleaning 638 clauses out of 1276 for limit 3.3500524854480395E13
1632.44/1618.63	c cleaning 560 clauses out of 1138 for limit 6.1946376894617086E13
1633.64/1619.81	c cleaning 539 clauses out of 1078 for limit 1.0784382891225047E14
1634.86/1621.00	c cleaning 518 clauses out of 1039 for limit 1.8452465374488975E14
1636.16/1622.33	c cleaning 499 clauses out of 1021 for limit 3.09670682687803E14
1637.67/1623.87	c cleaning 502 clauses out of 1023 for limit 5.1020016966410456E14
1640.19/1626.38	c cleaning 754 clauses out of 1522 for limit 9.3357210326015E-6
1640.89/1627.06	c cleaning 632 clauses out of 1267 for limit 1.847597128280194E-5
1642.09/1628.20	c cleaning 559 clauses out of 1135 for limit 3.4012920103154026E-5
1644.11/1630.24	c cleaning 768 clauses out of 1575 for limit 6.659421203397852E-5
1645.11/1631.27	c cleaning 644 clauses out of 1307 for limit 1.3234189290120264E-4
1647.43/1633.58	c cleaning 824 clauses out of 1664 for limit 2.829866145063917E-4
1648.36/1634.50	c cleaning 663 clauses out of 1341 for limit 5.796700157001219E-4
1650.88/1636.93	c cleaning 830 clauses out of 1676 for limit 0.0012588626560022138
1652.18/1638.20	c cleaning 664 clauses out of 1348 for limit 0.0025863505199492307
1653.31/1639.37	c cleaning 585 clauses out of 1183 for limit 0.00485527581357283
1654.61/1640.60	c cleaning 542 clauses out of 1097 for limit 0.008626078344069045
1656.63/1642.68	c cleaning 767 clauses out of 1556 for limit 0.016556049602998
1657.83/1643.88	c cleaning 632 clauses out of 1288 for limit 0.032951244661635924
1660.45/1646.41	c cleaning 821 clauses out of 1659 for limit 0.06978412061584342
1661.55/1647.57	c cleaning 657 clauses out of 1335 for limit 0.1425850795035446
1662.77/1648.70	c cleaning 579 clauses out of 1180 for limit 0.26656200788371603
1663.77/1649.75	c cleaning 534 clauses out of 1099 for limit 0.47105262621146593
1664.67/1650.65	c cleaning 518 clauses out of 1066 for limit 0.8016786465736676
1665.67/1651.62	c cleaning 517 clauses out of 1047 for limit 1.3447210837094403
1666.79/1652.73	c cleaning 508 clauses out of 1031 for limit 2.254294385319809
1667.99/1653.90	c cleaning 505 clauses out of 1023 for limit 3.746705414448054
1669.51/1655.48	c cleaning 500 clauses out of 1017 for limit 6.209056388264533
1670.61/1656.51	c cleaning 494 clauses out of 1018 for limit 10.23974585139108
1671.73/1657.65	c cleaning 503 clauses out of 1023 for limit 16.78737133892718
1672.83/1658.77	c cleaning 501 clauses out of 1020 for limit 27.7660464684626
1673.43/1659.30	c cleaning 503 clauses out of 1020 for limit 45.835760862599365
1674.55/1660.47	c cleaning 495 clauses out of 1018 for limit 75.81362058524978
1675.85/1661.76	c cleaning 492 clauses out of 1021 for limit 124.4102425684027
1677.17/1663.02	c cleaning 502 clauses out of 1029 for limit 203.57403799716437
1678.17/1664.07	c cleaning 499 clauses out of 1027 for limit 336.3746116375272
1679.50/1665.36	c cleaning 501 clauses out of 1028 for limit 554.1871165352492
1680.89/1666.71	c cleaning 506 clauses out of 1028 for limit 914.8435365292249
1682.12/1667.96	c cleaning 501 clauses out of 1021 for limit 1517.5240126546455
1683.12/1668.97	c cleaning 501 clauses out of 1023 for limit 2505.215572341377
1683.92/1669.74	c cleaning 500 clauses out of 1021 for limit 4135.389011916513
1684.93/1670.80	c cleaning 499 clauses out of 1021 for limit 6819.809703094791
1686.24/1672.09	c cleaning 494 clauses out of 1020 for limit 11235.300439913275
1687.24/1673.02	c cleaning 504 clauses out of 1026 for limit 18420.159577153943
1688.23/1674.05	c cleaning 498 clauses out of 1023 for limit 30496.88724758581
1689.13/1674.97	c cleaning 499 clauses out of 1024 for limit 50194.08784546591
1690.25/1676.06	c cleaning 506 clauses out of 1025 for limit 82696.00788191454
1691.75/1677.52	c cleaning 498 clauses out of 1019 for limit 137179.7834819146
1693.06/1678.85	c cleaning 503 clauses out of 1021 for limit 225784.66505498555
1693.97/1679.71	c cleaning 499 clauses out of 1019 for limit 373453.38378372294
1695.18/1680.97	c cleaning 502 clauses out of 1020 for limit 615270.7909420123
1696.48/1682.22	c cleaning 505 clauses out of 1019 for limit 1016676.2646764123
1697.80/1683.53	c cleaning 502 clauses out of 1012 for limit 1684857.671142379
1698.93/1684.64	c cleaning 495 clauses out of 1010 for limit 2784057.7864275426
1700.23/1685.96	c cleaning 507 clauses out of 1015 for limit 4568666.573153154
1701.03/1686.76	c cleaning 491 clauses out of 1008 for limit 7586664.186384237
1702.25/1687.99	c cleaning 509 clauses out of 1018 for limit 1.2400923086620722E7
1703.55/1689.21	c cleaning 493 clauses out of 1008 for limit 2.0633012203267466E7
1705.27/1690.98	c cleaning 499 clauses out of 1015 for limit 3.379193116950096E7
1706.59/1692.26	c cleaning 508 clauses out of 1016 for limit 5.5672565284168124E7
1707.69/1693.33	c cleaning 505 clauses out of 1010 for limit 9.254191408077209E7
1710.21/1695.81	c cleaning 749 clauses out of 1505 for limit 1.6890212975931025E8
1711.52/1697.16	c cleaning 627 clauses out of 1254 for limit 3.3362681749776995E8
1712.63/1698.28	c cleaning 563 clauses out of 1127 for limit 6.121959612503278E8
1713.84/1699.44	c cleaning 525 clauses out of 1065 for limit 1.0694369055113618E9
1715.15/1700.75	c cleaning 511 clauses out of 1040 for limit 1.8060398249531238E9
1716.35/1701.93	c cleaning 507 clauses out of 1029 for limit 3.0102403597611885E9
1716.95/1702.59	c cleaning 501 clauses out of 1022 for limit 4.998291035832488E9
1718.17/1703.80	c cleaning 510 clauses out of 1020 for limit 8.250754016582891E9
1719.48/1705.04	c cleaning 505 clauses out of 1010 for limit 1.3741315923029501E10
1720.61/1706.16	c cleaning 495 clauses out of 1005 for limit 2.2774010865478622E10
1722.20/1707.77	c cleaning 494 clauses out of 1012 for limit 3.737231350240896E10
1723.42/1708.99	c cleaning 504 clauses out of 1016 for limit 6.126658188427823E10
1724.62/1710.18	c cleaning 496 clauses out of 1013 for limit 1.0143744757377995E11
1726.74/1712.29	c cleaning 747 clauses out of 1517 for limit 1.842188009832786E11
1727.84/1713.33	c cleaning 623 clauses out of 1269 for limit 3.628100303893891E11
1728.84/1714.34	c cleaning 559 clauses out of 1147 for limit 6.626251082865402E11
1730.06/1715.55	c cleaning 544 clauses out of 1088 for limit 1.1520154345740093E12
1731.49/1716.93	c cleaning 522 clauses out of 1045 for limit 1.9799822705408054E12
1732.98/1718.42	c cleaning 509 clauses out of 1022 for limit 3.3354011283065776E12
1734.40/1719.81	c cleaning 497 clauses out of 1012 for limit 5.549320777641061E12
1735.50/1720.90	c cleaning 496 clauses out of 1015 for limit 9.124523354904727E12
1736.62/1722.00	c cleaning 509 clauses out of 1019 for limit 1.4988491721463111E13
1738.32/1723.76	c cleaning 494 clauses out of 1010 for limit 2.4938287628449145E13
1739.54/1724.92	c cleaning 508 clauses out of 1016 for limit 4.088369902419516E13
1740.54/1725.96	c cleaning 503 clauses out of 1008 for limit 6.79577897207659E13
1741.66/1727.01	c cleaning 499 clauses out of 1005 for limit 1.1240602823068975E14
1742.86/1728.22	c cleaning 492 clauses out of 1009 for limit 1.8519272431777594E14
1743.98/1729.35	c cleaning 506 clauses out of 1014 for limit 3.0299082905095825E14
1744.88/1730.27	c cleaning 504 clauses out of 1009 for limit 5.0265113898821694E14
1745.78/1731.17	c cleaning 498 clauses out of 1004 for limit 8.322340866338929E14
1747.41/1732.73	c cleaning 494 clauses out of 1007 for limit 1.3697463148512182E15
1749.13/1734.49	c cleaning 499 clauses out of 1013 for limit 2.2455154777644183E-5
1752.05/1737.39	c cleaning 749 clauses out of 1514 for limit 4.0861226380366934E-5
1754.37/1739.69	c cleaning 873 clauses out of 1765 for limit 9.532445623084546E-5
1755.17/1740.41	c cleaning 691 clauses out of 1391 for limit 1.9927062893978836E-4
1755.87/1741.16	c cleaning 599 clauses out of 1203 for limit 3.811221734699268E-4
1756.57/1741.89	c cleaning 538 clauses out of 1102 for limit 6.847548434204464E-4
1757.37/1742.61	c cleaning 514 clauses out of 1063 for limit 0.001169512365412651
1758.07/1743.33	c cleaning 511 clauses out of 1050 for limit 0.001954515785188858
1758.77/1744.04	c cleaning 499 clauses out of 1039 for limit 0.003257382964611444
1759.47/1744.76	c cleaning 503 clauses out of 1039 for limit 0.005366488413267581
1760.17/1745.48	c cleaning 501 clauses out of 1036 for limit 0.008875684888535582
1761.07/1746.30	c cleaning 504 clauses out of 1035 for limit 0.014651333963327023
1762.18/1747.40	c cleaning 499 clauses out of 1032 for limit 0.02425650463091469
1763.39/1748.61	c cleaning 499 clauses out of 1032 for limit 0.03996221889239935
1764.19/1749.45	c cleaning 502 clauses out of 1033 for limit 0.0658392472833295
1765.09/1750.36	c cleaning 505 clauses out of 1032 for limit 0.10879172929180089
1766.08/1751.34	c cleaning 502 clauses out of 1027 for limit 0.18028559220576792
1767.31/1752.52	c cleaning 505 clauses out of 1024 for limit 0.297887913836439
1768.74/1753.92	c cleaning 503 clauses out of 1019 for limit 0.4936675065201229
1769.94/1755.18	c cleaning 502 clauses out of 1017 for limit 0.816541331250079
1770.94/1756.17	c cleaning 496 clauses out of 1014 for limit 1.3492193022278816
1772.26/1757.47	c cleaning 497 clauses out of 1019 for limit 2.216341688546917
1773.46/1758.69	c cleaning 501 clauses out of 1021 for limit 3.644236323613067
1774.57/1759.77	c cleaning 503 clauses out of 1023 for limit 6.016114085230796
1775.57/1760.78	c cleaning 501 clauses out of 1018 for limit 9.950176453854368
1776.79/1761.98	c cleaning 498 clauses out of 1016 for limit 16.425032129443085
1777.99/1763.14	c cleaning 490 clauses out of 1018 for limit 27.033859025015406
1778.98/1764.15	c cleaning 500 clauses out of 1028 for limit 44.14876863641857
1780.50/1765.61	c cleaning 504 clauses out of 1028 for limit 72.80722559805761
1781.92/1767.03	c cleaning 502 clauses out of 1024 for limit 120.53787395237758
1783.02/1768.19	c cleaning 503 clauses out of 1023 for limit 199.17656984622303
1784.14/1769.24	c cleaning 499 clauses out of 1019 for limit 329.4284279269187
1785.24/1770.34	c cleaning 500 clauses out of 1020 for limit 542.7389286336224
1786.34/1771.44	c cleaning 498 clauses out of 1020 for limit 895.0490996317376
1787.36/1772.49	c cleaning 498 clauses out of 1026 for limit 1473.308196954642
1788.35/1773.43	c cleaning 491 clauses out of 1025 for limit 2424.7638697144016
1789.28/1774.40	c cleaning 500 clauses out of 1034 for limit 3963.9545457183976
1790.68/1775.71	c cleaning 509 clauses out of 1035 for limit 6537.312616583482
1792.10/1777.11	c cleaning 503 clauses out of 1025 for limit 10875.196510147876
1793.30/1778.30	c cleaning 502 clauses out of 1022 for limit 17987.299658091375
1794.22/1779.25	c cleaning 495 clauses out of 1019 for limit 29721.04373897046
1794.82/1779.89	c cleaning 502 clauses out of 1024 for limit 48774.65107542726
1795.92/1780.90	c cleaning 502 clauses out of 1023 for limit 80595.14721894082
1796.92/1781.92	c cleaning 499 clauses out of 1021 for limit 133172.53645494833
1798.33/1783.32	c cleaning 494 clauses out of 1022 for limit 219404.43640691813
1799.63/1784.66	c cleaning 502 clauses out of 1027 for limit 359705.6275007415
1800.04/1785.01	c starts		: 29
1800.04/1785.01	c conflicts		: 802367
1800.04/1785.01	c decisions		: 1397699
1800.04/1785.01	c propagations		: 134598708
1800.04/1785.01	c inspects		: 720731003
1800.04/1785.01	c learnt literals	: 0
1800.04/1785.01	c learnt binary clauses	: 0
1800.04/1785.01	c learnt ternary clauses	: 0
1800.04/1785.01	c learnt clauses	: 802367
1800.04/1785.01	c root simplifications	: 0
1800.04/1785.01	c removed literals (reason simplification)	: 0
1800.04/1785.01	c reason swapping (by a shorter reason)	: 0
1800.04/1785.01	c Calls to reduceDB	: 202
1800.04/1785.01	c speed (decisions/second)	: 784.8788987765495
1800.04/1785.01	c non guided choices	146
1800.04/1785.01	s SATISFIABLE
1800.04/1785.04	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.04/1785.04	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.04/1785.04	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1800.04/1785.04	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.04/1785.04	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.04/1785.04	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.04/1785.04	v -x147 -x148 -x149 -x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1800.04/1785.04	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1800.04/1785.04	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211
1800.04/1785.04	v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232
1800.04/1785.04	v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253
1800.04/1785.04	v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274
1800.04/1785.04	v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295
1800.04/1785.04	v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316
1800.04/1785.04	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337
1800.04/1785.04	v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358
1800.04/1785.04	v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379
1800.04/1785.04	v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
1800.04/1785.04	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421
1800.04/1785.04	v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442
1800.04/1785.04	v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463
1800.04/1785.04	v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484
1800.04/1785.04	v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505
1800.04/1785.04	v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526
1800.04/1785.04	v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547
1800.04/1785.04	v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568
1800.04/1785.04	v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589
1800.04/1785.04	v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
1800.04/1785.04	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631
1800.04/1785.04	v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652
1800.04/1785.04	v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673
1800.04/1785.04	v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694
1800.04/1785.04	v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715
1800.04/1785.04	v -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736
1800.04/1785.04	v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757
1800.04/1785.04	v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778
1800.04/1785.04	v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799
1800.04/1785.04	v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
1800.04/1785.04	v -x821 x822 -x823 x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841
1800.04/1785.04	v -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862
1800.04/1785.04	v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883
1800.04/1785.04	v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904
1800.04/1785.04	v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925
1800.04/1785.04	v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946
1800.04/1785.04	v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967
1800.04/1785.04	v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988
1800.04/1785.04	v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007
1800.04/1785.04	v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024
1800.04/1785.04	v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041
1800.04/1785.04	v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058
1800.04/1785.04	v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
1800.04/1785.04	v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1800.04/1785.04	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
1800.04/1785.04	v -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126
1800.04/1785.04	v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143
1800.04/1785.04	v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161
1800.04/1785.04	v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178
1800.04/1785.04	v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195
1800.04/1785.04	v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212
1800.04/1785.04	v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229
1800.04/1785.04	v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246
1800.04/1785.04	v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263
1800.04/1785.04	v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
1800.04/1785.04	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299
1800.04/1785.04	v x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316
1800.04/1785.04	v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333
1800.04/1785.04	v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
1800.04/1785.04	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367
1800.04/1785.04	v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384
1800.04/1785.04	v -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401
1800.04/1785.04	v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418
1800.04/1785.04	v -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435
1800.04/1785.04	v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452
1800.04/1785.04	v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469
1800.04/1785.04	v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486
1800.04/1785.04	v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503
1800.04/1785.04	v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
1800.04/1785.04	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537
1800.04/1785.04	v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554
1800.04/1785.04	v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571
1800.04/1785.04	v -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588
1800.04/1785.04	v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605
1800.04/1785.04	v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622
1800.04/1785.04	v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639
1800.04/1785.04	v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656
1800.04/1785.04	v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673
1800.04/1785.04	v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
1800.04/1785.04	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707
1800.04/1785.04	v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724
1800.04/1785.04	v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741
1800.04/1785.04	v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758
1800.04/1785.04	v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775
1800.04/1785.04	v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792
1800.04/1785.04	v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809
1800.04/1785.04	v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826
1800.04/1785.04	v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843
1800.04/1785.04	v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
1800.04/1785.04	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877
1800.04/1785.04	v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894
1800.04/1785.04	v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911
1800.04/1785.04	v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928
1800.04/1785.04	v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945
1800.04/1785.04	v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962
1800.04/1785.04	v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979
1800.04/1785.04	v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 x1994 -x1995 -x1996 -x1997
1800.04/1785.04	v -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014
1800.04/1785.04	v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031
1800.04/1785.04	v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048
1800.04/1785.04	v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065
1800.04/1785.04	v -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082
1800.04/1785.04	v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099
1800.04/1785.04	v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116
1800.04/1785.04	v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133
1800.04/1785.04	v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
1800.04/1785.04	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167
1800.04/1785.04	v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184
1800.04/1785.04	v -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201
1800.04/1785.04	v -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218
1800.04/1785.04	v -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235
1800.04/1785.04	v -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252
1800.04/1785.04	v -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269
1800.04/1785.04	v -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286
1800.04/1785.04	v -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303
1800.04/1785.04	v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
1800.04/1785.04	v x2321 -x2322 x2323 -x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338
1800.04/1785.04	v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355
1800.04/1785.04	v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372
1800.04/1785.04	v -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389
1800.04/1785.04	v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406
1800.04/1785.04	v -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423
1800.04/1785.04	v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
1800.04/1785.04	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457
1800.04/1785.04	v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474
1800.04/1785.04	v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491
1800.04/1785.04	v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508
1800.04/1785.04	v -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525
1800.04/1785.04	v -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542
1800.04/1785.04	v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559
1800.04/1785.04	v -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576
1800.04/1785.04	v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593
1800.04/1785.04	v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
1800.04/1785.04	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 x2621 -x2622 -x2623 -x2624 x2625 -x2626 -x2627 -x2628
1800.04/1785.04	v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645
1800.04/1785.04	v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662
1800.04/1785.04	v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679
1800.04/1785.04	v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696
1800.04/1785.04	v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713
1800.04/1785.04	v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
1800.04/1785.04	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 x2742 x2743 -x2744 -x2745 -x2746 -x2747 -x2748
1800.04/1785.04	v -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765
1800.04/1785.04	v -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782
1800.04/1785.04	v -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799
1800.04/1785.04	v -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816
1800.04/1785.04	v -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833
1800.04/1785.04	v -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850
1800.04/1785.04	v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867
1800.04/1785.04	v -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884
1800.04/1785.04	v -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901
1800.04/1785.04	v -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918
1800.04/1785.04	v -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935
1800.04/1785.04	v -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952
1800.04/1785.04	v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969
1800.04/1785.04	v -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986
1800.04/1785.04	v -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003
1800.04/1785.04	v -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
1800.04/1785.04	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037
1800.04/1785.04	v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054
1800.04/1785.04	v -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071
1800.04/1785.04	v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088
1800.04/1785.04	v -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 x3105
1800.04/1785.04	v -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122
1800.04/1785.04	v -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139
1800.04/1785.04	v -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156
1800.04/1785.04	v -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173
1800.04/1785.04	v -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190
1800.04/1785.04	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207
1800.04/1785.04	v -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224
1800.04/1785.04	v -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241
1800.04/1785.04	v -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258
1800.04/1785.04	v -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275
1800.04/1785.04	v -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292
1800.04/1785.04	v -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309
1800.04/1785.04	v -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326
1800.04/1785.04	v -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343
1800.04/1785.04	v -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360
1800.04/1785.04	v x3361 x3362 x3363 x3364 x3365 x3366 x3367 x3368 x3369 x3370 x3371 x3372 x3373 x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380
1800.04/1785.04	v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397
1800.04/1785.04	v -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414
1800.04/1785.04	v -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 x3431 -x3432
1800.04/1785.04	v x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449
1800.04/1785.04	v -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 x3462 x3463 -x3464 -x3465 -x3466 -x3467
1800.04/1785.04	v -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484
1800.04/1785.04	v -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501
1800.04/1785.04	v -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518
1800.04/1785.04	v -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535
1800.04/1785.04	v -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552
1800.04/1785.04	v -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569
1800.04/1785.04	v -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 x3581 -x3582 -x3583 -x3584 -x3585 -x3586
1800.04/1785.04	v -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x3601 x3602 x3603 x3604
1800.04/1785.04	v x3605 x3606 x3607 x3608 x3609 x3610 -x3611 -x3612 x3613 x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623
1800.04/1785.04	v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640
1800.04/1785.04	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657
1800.04/1785.04	v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674
1800.04/1785.04	v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691
1800.04/1785.04	v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708
1800.04/1785.04	v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725
1800.04/1785.04	v -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742
1800.04/1785.04	v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759
1800.04/1785.04	v -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776
1800.04/1785.04	v -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793
1800.04/1785.04	v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
1800.04/1785.04	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827
1800.04/1785.04	v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844
1800.04/1785.04	v -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861
1800.04/1785.04	v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878
1800.04/1785.04	v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895
1800.04/1785.04	v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912
1800.04/1785.04	v -x3913 x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929
1800.04/1785.04	v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946
1800.04/1785.04	v -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963
1800.04/1785.04	v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980
1800.04/1785.04	v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997
1800.04/1785.04	v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014
1800.04/1785.04	v -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031
1800.04/1785.04	v -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048
1800.04/1785.04	v -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065
1800.04/1785.04	v -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082
1800.04/1785.04	v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099
1800.04/1785.04	v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116
1800.04/1785.04	v -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133
1800.04/1785.04	v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150
1800.04/1785.04	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167
1800.04/1785.04	v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 x4183 -x4184
1800.04/1785.04	v -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201
1800.04/1785.04	v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218
1800.04/1785.04	v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235
1800.04/1785.04	v -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252
1800.04/1785.04	v -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269
1800.04/1785.04	v -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286
1800.04/1785.04	v -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303
1800.04/1785.04	v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320
1800.04/1785.04	v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337
1800.04/1785.04	v -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354
1800.04/1785.04	v -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371
1800.04/1785.04	v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388
1800.04/1785.04	v -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405
1800.04/1785.04	v -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 x4422
1800.04/1785.04	v -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439
1800.04/1785.04	v -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 x4455 -x4456
1800.04/1785.04	v -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473
1800.04/1785.04	v -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490
1800.04/1785.04	v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507
1800.04/1785.04	v -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524
1800.04/1785.04	v -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541
1800.04/1785.04	v -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558
1800.04/1785.04	v -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575
1800.04/1785.04	v -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592
1800.04/1785.04	v -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609
1800.04/1785.04	v -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626
1800.04/1785.04	v -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643
1800.04/1785.04	v -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660
1800.04/1785.04	v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677
1800.04/1785.04	v -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694
1800.04/1785.04	v -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711
1800.04/1785.04	v -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728
1800.04/1785.04	v -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745
1800.04/1785.04	v -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762
1800.04/1785.04	v -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779
1800.04/1785.04	v -x4780 x4781 x4782 x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797
1800.04/1785.04	v -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814
1800.04/1785.04	v -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831
1800.04/1785.04	v -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848
1800.04/1785.04	v -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865
1800.04/1785.04	v -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882
1800.04/1785.04	v -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899
1800.04/1785.04	v -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916
1800.04/1785.04	v -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933
1800.04/1785.04	v -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950
1800.04/1785.04	v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967
1800.04/1785.04	v -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984
1800.04/1785.04	v -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001
1800.04/1785.04	v -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018
1800.04/1785.04	v -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035
1800.04/1785.04	v -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052
1800.04/1785.04	v -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069
1800.04/1785.04	v -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 x5081 x5082 -x5083 x5084 -x5085 -x5086 -x5087
1800.04/1785.04	v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104
1800.04/1785.04	v -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121
1800.04/1785.04	v -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138
1800.04/1785.04	v -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155
1800.04/1785.04	v -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172
1800.04/1785.04	v -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189
1800.04/1785.04	v -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 x5201 x5202 x5203 -x5204 -x5205 -x5206 -x5207
1800.04/1785.04	v -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 -x5222 -x5223 -x5224
1800.04/1785.04	v -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241
1800.04/1785.04	v -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258
1800.04/1785.04	v -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275
1800.04/1785.04	v -x5276 -x5277 -x5278 -x5279 -x5280 x5281 x5282 x5283 x5284 x5285 x5286 x5287 x5288 x5289 x5290 -x5291 x5292 -x5293 x5294
1800.04/1785.04	v -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311
1800.04/1785.04	v -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328
1800.04/1785.04	v -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345
1800.04/1785.04	v -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362
1800.04/1785.04	v -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379
1800.04/1785.04	v -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396
1800.04/1785.04	v -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413
1800.04/1785.04	v -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430
1800.04/1785.04	v -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447
1800.04/1785.04	v -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464
1800.04/1785.04	v -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481
1800.04/1785.04	v -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498
1800.04/1785.04	v -x5499 -x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515
1800.04/1785.04	v -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532
1800.04/1785.04	v -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549
1800.04/1785.04	v -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566
1800.04/1785.04	v -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 x5581 x5582 x5583 x5584
1800.04/1785.04	v x5585 x5586 x5587 x5588 x5589 x5590 x5591 x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603
1800.04/1785.04	v -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620
1800.04/1785.04	v -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637
1800.04/1785.04	v -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654
1800.04/1785.04	v -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671
1800.04/1785.04	v -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688
1800.04/1785.04	v -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705
1800.04/1785.04	v -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722
1800.04/1785.04	v -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739
1800.04/1785.04	v -x5740 x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756
1800.04/1785.04	v -x5757 -x5758 -x5759 -x5760 x5761 x5762 x5763 x5764 x5765 x5766 x5767 x5768 x5769 x5770 x5771 -x5772 -x5773 -x5774 -x5775
1800.04/1785.04	v -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792
1800.04/1785.04	v -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809
1800.04/1785.04	v -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826
1800.04/1785.04	v -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843
1800.04/1785.04	v -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860
1800.04/1785.04	v x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877
1800.04/1785.04	v -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894
1800.04/1785.04	v -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911
1800.04/1785.04	v -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928
1800.04/1785.04	v -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945
1800.04/1785.04	v -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962
1800.04/1785.04	v -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979
1800.04/1785.04	v -x5980 -x5981 -x5982 x5983 x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997
1800.04/1785.04	v -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014
1800.04/1785.04	v -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031
1800.04/1785.04	v -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048
1800.04/1785.04	v -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065
1800.04/1785.04	v -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082
1800.04/1785.04	v -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099
1800.04/1785.04	v -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116
1800.04/1785.04	v -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133
1800.04/1785.04	v -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150
1800.04/1785.04	v -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167
1800.04/1785.04	v -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184
1800.04/1785.04	v -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201
1800.04/1785.04	v -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 x6211 x6212 x6213 x6214 x6215 x6216 x6217 x6218 x6219 x6220
1800.04/1785.04	v x6221 x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238
1800.04/1785.04	v -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255
1800.04/1785.04	v -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272
1800.04/1785.04	v -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289
1800.04/1785.04	v -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306
1800.04/1785.04	v -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323
1800.04/1785.04	v -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340
1800.04/1785.04	v -x6341 x6342 x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358
1800.04/1785.04	v -x6359 -x6360 x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375
1800.04/1785.04	v -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392
1800.04/1785.04	v -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409
1800.04/1785.04	v -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426
1800.04/1785.04	v -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443
1800.04/1785.04	v -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460
1800.04/1785.04	v -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477
1800.04/1785.04	v -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494
1800.04/1785.04	v -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511
1800.04/1785.04	v -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528
1800.04/1785.04	v -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545
1800.04/1785.04	v -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562
1800.04/1785.04	v -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579
1800.04/1785.04	v -x6580 x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596
1800.04/1785.04	v -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613
1800.04/1785.04	v -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630
1800.04/1785.04	v -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647
1800.04/1785.04	v -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664
1800.04/1785.04	v -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681
1800.04/1785.04	v -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698
1800.04/1785.04	v -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715
1800.04/1785.04	v -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732
1800.04/1785.04	v -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749
1800.04/1785.04	v -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 x6761 -x6762 x6763 -x6764 -x6765 -x6766 -x6767
1800.04/1785.04	v -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784
1800.04/1785.04	v -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801
1800.04/1785.04	v -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818
1800.04/1785.04	v -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835
1800.04/1785.04	v -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852
1800.04/1785.04	v -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869
1800.04/1785.04	v -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886
1800.04/1785.04	v -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903
1800.04/1785.04	v -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920
1800.04/1785.04	v -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937
1800.04/1785.04	v -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954
1800.04/1785.04	v -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971
1800.04/1785.04	v -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988
1800.04/1785.04	v -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005
1800.04/1785.04	v -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022
1800.04/1785.04	v -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039
1800.04/1785.04	v -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056
1800.04/1785.04	v -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073
1800.04/1785.04	v -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090
1800.04/1785.04	v -x7091 x7092 x7093 -x7094 x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108
1800.04/1785.04	v -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125
1800.04/1785.04	v -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142
1800.04/1785.04	v -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159
1800.04/1785.04	v -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176
1800.04/1785.04	v -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193
1800.04/1785.04	v -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210
1800.04/1785.04	v -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227
1800.04/1785.04	v -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244
1800.04/1785.04	v -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261
1800.04/1785.04	v -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278
1800.04/1785.04	v -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295
1800.04/1785.04	v -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312
1800.04/1785.04	v -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329
1800.04/1785.04	v -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346
1800.04/1785.04	v -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363
1800.04/1785.04	v -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380
1800.04/1785.04	v x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 x7395 -x7396 -x7397 -x7398
1800.04/1785.04	v -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415
1800.04/1785.04	v -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432
1800.04/1785.04	v -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449
1800.04/1785.04	v -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466
1800.04/1785.04	v -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483
1800.04/1785.04	v -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500
1800.04/1785.04	v -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517
1800.04/1785.04	v -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534
1800.04/1785.04	v -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 x7541 x7542 x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552
1800.04/1785.04	v -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 x7566 -x7567 -x7568 -x7569
1800.04/1785.04	v -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 x7585 -x7586
1800.04/1785.04	v -x7587 x7588 -x7589 x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 x7598 x7599 -x7600 -x7601 -x7602 -x7603 x7604
1800.04/1785.04	v -x7605 -x7606 -x7607 x7608 -x7609 -x7610 -x7611 -x7612 x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622
1800.04/1785.04	v -x7623 -x7624 -x7625 -x7626 x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 x7638 -x7639 -x7640
1800.04/1785.04	v -x7641 x7642 -x7643 -x7644 -x7645 -x7646 -x7647 x7648 -x7649 -x7650 -x7651 x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658
1800.04/1785.04	v -x7659 -x7660 -x7661 -x7662 -x7663 x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 x7673 -x7674 x7675 x7676
1800.04/1785.04	v -x7677 -x7678 -x7679 x7680 x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 x7691 -x7692 -x7693 -x7694
1800.04/1785.04	v -x7695 -x7696 -x7697 -x7698 -x7699 x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 x7708 x7709 -x7710 -x7711 -x7712
1800.04/1785.04	v -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 x7727 -x7728 -x7729 x7730
1800.04/1785.04	v -x7731 -x7732 -x7733 x7734 x7735 -x7736 x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 x7744 -x7745 -x7746 x7747 -x7748
1800.04/1785.04	v -x7749 -x7750 -x7751 x7752 x7753 -x7754 -x7755 x7756 -x7757 -x7758 -x7759 x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766
1800.04/1785.04	v -x7767 x7768 -x7769 -x7770 -x7771 x7772 x7773 -x7774 -x7775 -x7776 -x7777 x7778 -x7779 x7780 -x7781 -x7782 -x7783 -x7784
1800.04/1785.04	v -x7785 x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 x7797 -x7798 -x7799 -x7800 -x7801 -x7802
1800.04/1785.04	v -x7803 -x7804 -x7805 -x7806 x7807 -x7808 -x7809 -x7810 -x7811 x7812
1800.24/1785.13	c objective function=6993911
1800.24/1785.13	c Total wall clock time (ms): 1784.928

OK	6993911

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

command line: runsolver --timestamp -w ROOT/results/node24/watcher-354003-1176690510 -o ROOT/results/node24/solver-354003-1176690510 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354003-1176690510/sat4jPseudoResolution.jar /tmp/evaluation/354003-1176690510/instance-354003-1176690510.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 1/77 28934
/proc/meminfo: memFree=1845952/2055920 swapFree=4159472/4192956
[pid=28934] ppid=28932 vsize=152 CPUtime=0
/proc/28934/stat : 28934 (java) D 28932 28934 27169 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 116969022 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 2605860 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0
/proc/28934/statm: 38 26 19 9 0 4 0

[startup+0.0267509 s]
/proc/loadavg: 1.00 1.00 1.00 1/77 28934
/proc/meminfo: memFree=1845952/2055920 swapFree=4159472/4192956
[pid=28934] ppid=28932 vsize=1772952 CPUtime=0.01
/proc/28934/stat : 28934 (java) S 28932 28934 27169 0 -1 0 2013 0 1 0 0 1 0 0 18 0 2 0 116969022 1815502848 1763 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/28934/statm: 443238 1774 381 9 0 441252 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1772952

[startup+0.101748 s]
/proc/loadavg: 1.00 1.00 1.00 1/77 28934
/proc/meminfo: memFree=1845952/2055920 swapFree=4159472/4192956
[pid=28934] ppid=28932 vsize=1780108 CPUtime=0.08
/proc/28934/stat : 28934 (java) S 28932 28934 27169 0 -1 0 3969 0 1 0 6 2 0 0 18 0 12 0 116969022 1822830592 3711 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28934/statm: 445027 3711 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301777 s]
/proc/loadavg: 1.00 1.00 1.00 1/77 28934
/proc/meminfo: memFree=1845952/2055920 swapFree=4159472/4192956
[pid=28934] ppid=28932 vsize=1781512 CPUtime=0.34
/proc/28934/stat : 28934 (java) S 28932 28934 27169 0 -1 0 5133 0 1 0 31 3 0 0 18 0 12 0 116969022 1824268288 4872 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28934/statm: 445378 4872 1267 9 0 442990 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 1781512

[startup+0.701822 s]
/proc/loadavg: 1.00 1.00 1.00 1/77 28934
/proc/meminfo: memFree=1845952/2055920 swapFree=4159472/4192956
[pid=28934] ppid=28932 vsize=1787560 CPUtime=0.97
/proc/28934/stat : 28934 (java) S 28932 28934 27169 0 -1 0 8396 0 1 0 93 4 0 0 18 0 12 0 116969022 1830461440 7476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28934/statm: 446890 7476 1303 9 0 444502 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 1787560

[startup+1.50191 s]
/proc/loadavg: 1.00 1.00 1.00 4/89 28946
/proc/meminfo: memFree=1807200/2055920 swapFree=4159472/4192956
[pid=28934] ppid=28932 vsize=1798736 CPUtime=2.56
/proc/28934/stat : 28934 (java) S 28932 28934 27169 0 -1 0 20940 0 1 0 246 10 0 0 18 0 12 0 116969022 1841905664 15612 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28934/statm: 449684 15612 1312 9 0 447296 0
[pid=28934/tid=28936] ppid=28932 vsize=1798736 CPUtime=0.83
/proc/28934/task/28936/stat : 28936 (java) R 28932 28934 27169 0 -1 64 10651 0 1 0 78 5 0 0 25 0 12 0 116969023 1841905664 15612 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28937] ppid=28932 vsize=1798736 CPUtime=0
/proc/28934/task/28937/stat : 28937 (java) S 28932 28934 27169 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 116969025 1841905664 15612 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28938] ppid=28932 vsize=1798736 CPUtime=0
/proc/28934/task/28938/stat : 28938 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 116969025 1841905664 15612 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28939] ppid=28932 vsize=1798736 CPUtime=0
/proc/28934/task/28939/stat : 28939 (java) S 28932 28934 27169 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 116969027 1841905664 15612 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28940] ppid=28932 vsize=1798736 CPUtime=0
/proc/28934/task/28940/stat : 28940 (java) S 28932 28934 27169 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 116969028 1841905664 15612 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28941] ppid=28932 vsize=1798736 CPUtime=0
/proc/28934/task/28941/stat : 28941 (java) S 28932 28934 27169 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 116969028 1841905664 15612 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28942] ppid=28932 vsize=1798736 CPUtime=0
/proc/28934/task/28942/stat : 28942 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 116969032 1841905664 15612 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28943] ppid=28932 vsize=1798736 CPUtime=0.68
/proc/28934/task/28943/stat : 28943 (java) R 28932 28934 27169 0 -1 64 3147 0 0 0 67 1 0 0 16 0 12 0 116969032 1841905664 15612 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 104789875 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28944] ppid=28932 vsize=1798736 CPUtime=1.01
/proc/28934/task/28944/stat : 28944 (java) R 28932 28934 27169 0 -1 64 6420 0 0 0 99 2 0 0 21 0 12 0 116969032 1841905664 15612 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105190856 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28945] ppid=28932 vsize=1798736 CPUtime=0
/proc/28934/task/28945/stat : 28945 (java) S 28932 28934 27169 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 116969032 1841905664 15612 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28946] ppid=28932 vsize=1798736 CPUtime=0
/proc/28934/task/28946/stat : 28946 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 116969032 1841905664 15612 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 1798736

[startup+3.10208 s]
/proc/loadavg: 1.00 1.00 1.00 3/90 28947
/proc/meminfo: memFree=1779800/2055920 swapFree=4159472/4192956
[pid=28934] ppid=28932 vsize=1799060 CPUtime=4.73
/proc/28934/stat : 28934 (java) S 28932 28934 27169 0 -1 0 28568 0 1 0 460 13 0 0 18 0 13 0 116969022 1842237440 23238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28934/statm: 449765 23238 1319 9 0 447377 0
[pid=28934/tid=28936] ppid=28932 vsize=1799060 CPUtime=2.15
/proc/28934/task/28936/stat : 28936 (java) R 28932 28934 27169 0 -1 64 18158 0 1 0 207 8 0 0 17 0 13 0 116969023 1842237440 23238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109678388 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28937] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28937/stat : 28937 (java) S 28932 28934 27169 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 116969025 1842237440 23238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28938] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28938/stat : 28938 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 116969025 1842237440 23238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28939] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28939/stat : 28939 (java) S 28932 28934 27169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 116969027 1842237440 23238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28940] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28940/stat : 28940 (java) S 28932 28934 27169 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 116969028 1842237440 23238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28941] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28941/stat : 28941 (java) S 28932 28934 27169 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 116969028 1842237440 23238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28942] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28942/stat : 28942 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 116969032 1842237440 23238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28943] ppid=28932 vsize=1799060 CPUtime=1.05
/proc/28934/task/28943/stat : 28943 (java) S 28932 28934 27169 0 -1 64 3170 0 0 0 104 1 0 0 16 0 13 0 116969032 1842237440 23238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28944] ppid=28932 vsize=1799060 CPUtime=1.49
/proc/28934/task/28944/stat : 28944 (java) S 28932 28934 27169 0 -1 64 6513 0 0 0 147 2 0 0 17 0 13 0 116969032 1842237440 23238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28945] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28945/stat : 28945 (java) S 28932 28934 27169 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 116969032 1842237440 23238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28946] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28946/stat : 28946 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 116969032 1842237440 23238 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.73
Current children cumulated vsize (KiB) 1799060

[startup+6.30223 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 28950
/proc/meminfo: memFree=1727688/2055920 swapFree=4159472/4192956
[pid=28934] ppid=28932 vsize=1799060 CPUtime=8.01
/proc/28934/stat : 28934 (java) S 28932 28934 27169 0 -1 0 37183 0 1 0 784 17 0 0 18 0 13 0 116969022 1842237440 31852 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28934/statm: 449765 31852 1319 9 0 447377 0
[pid=28934/tid=28936] ppid=28932 vsize=1799060 CPUtime=5.34
/proc/28934/task/28936/stat : 28936 (java) R 28932 28934 27169 0 -1 64 26769 0 1 0 522 12 0 0 25 0 13 0 116969023 1842237440 31852 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109662711 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28937] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28937/stat : 28937 (java) S 28932 28934 27169 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 116969025 1842237440 31852 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28938] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28938/stat : 28938 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 116969025 1842237440 31852 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28939] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28939/stat : 28939 (java) S 28932 28934 27169 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 116969027 1842237440 31852 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28940] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28940/stat : 28940 (java) S 28932 28934 27169 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 116969028 1842237440 31852 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28941] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28941/stat : 28941 (java) S 28932 28934 27169 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 116969028 1842237440 31852 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28942] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28942/stat : 28942 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 116969032 1842237440 31852 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28943] ppid=28932 vsize=1799060 CPUtime=1.1
/proc/28934/task/28943/stat : 28943 (java) S 28932 28934 27169 0 -1 64 3171 0 0 0 109 1 0 0 17 0 13 0 116969032 1842237440 31852 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28944] ppid=28932 vsize=1799060 CPUtime=1.54
/proc/28934/task/28944/stat : 28944 (java) S 28932 28934 27169 0 -1 64 6516 0 0 0 152 2 0 0 16 0 13 0 116969032 1842237440 31852 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28945] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28945/stat : 28945 (java) S 28932 28934 27169 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 116969032 1842237440 31852 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28946] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28946/stat : 28946 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 116969032 1842237440 31852 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28950] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28950/stat : 28950 (java) S 28932 28934 27169 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 116969445 1842237440 31852 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.01
Current children cumulated vsize (KiB) 1799060

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 28950
/proc/meminfo: memFree=1669320/2055920 swapFree=4159472/4192956
[pid=28934] ppid=28932 vsize=1799060 CPUtime=14.5
/proc/28934/stat : 28934 (java) S 28932 28934 27169 0 -1 0 50530 0 1 0 1428 22 0 0 18 0 13 0 116969022 1842237440 45174 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28934/statm: 449765 45174 1328 9 0 447377 0
[pid=28934/tid=28936] ppid=28932 vsize=1799060 CPUtime=11.68
/proc/28934/task/28936/stat : 28936 (java) R 28932 28934 27169 0 -1 64 37719 0 1 0 1152 16 0 0 25 0 13 0 116969023 1842237440 45174 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109927993 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28937] ppid=28932 vsize=1799060 CPUtime=0.03
/proc/28934/task/28937/stat : 28937 (java) S 28932 28934 27169 0 -1 64 1202 0 0 0 3 0 0 0 17 0 13 0 116969025 1842237440 45174 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28938] ppid=28932 vsize=1799060 CPUtime=0.03
/proc/28934/task/28938/stat : 28938 (java) S 28932 28934 27169 0 -1 64 1184 0 0 0 3 0 0 0 17 0 13 0 116969025 1842237440 45174 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28939] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28939/stat : 28939 (java) S 28932 28934 27169 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 116969027 1842237440 45174 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28940] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28940/stat : 28940 (java) S 28932 28934 27169 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 116969028 1842237440 45174 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28941] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28941/stat : 28941 (java) S 28932 28934 27169 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 116969028 1842237440 45174 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28942] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28942/stat : 28942 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 116969032 1842237440 45174 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28943] ppid=28932 vsize=1799060 CPUtime=1.11
/proc/28934/task/28943/stat : 28943 (java) S 28932 28934 27169 0 -1 64 3171 0 0 0 110 1 0 0 16 0 13 0 116969032 1842237440 45174 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28944] ppid=28932 vsize=1799060 CPUtime=1.59
/proc/28934/task/28944/stat : 28944 (java) S 28932 28934 27169 0 -1 64 6523 0 0 0 157 2 0 0 16 0 13 0 116969032 1842237440 45174 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28945] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28945/stat : 28945 (java) S 28932 28934 27169 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 116969032 1842237440 45174 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28946] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28946/stat : 28946 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 116969032 1842237440 45174 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28950] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28950/stat : 28950 (java) S 28932 28934 27169 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 116969445 1842237440 45174 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.5
Current children cumulated vsize (KiB) 1799060

[startup+25.5023 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 28950
/proc/meminfo: memFree=1639176/2055920 swapFree=4159472/4192956
[pid=28934] ppid=28932 vsize=1799060 CPUtime=27.41
/proc/28934/stat : 28934 (java) S 28932 28934 27169 0 -1 0 58155 0 1 0 2715 26 0 0 18 0 13 0 116969022 1842237440 52709 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28934/statm: 449765 52709 1328 9 0 447377 0
[pid=28934/tid=28936] ppid=28932 vsize=1799060 CPUtime=24.36
/proc/28934/task/28936/stat : 28936 (java) R 28932 28934 27169 0 -1 64 37723 0 1 0 2420 16 0 0 25 0 13 0 116969023 1842237440 52709 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109663406 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28937] ppid=28932 vsize=1799060 CPUtime=0.15
/proc/28934/task/28937/stat : 28937 (java) S 28932 28934 27169 0 -1 64 5305 0 0 0 13 2 0 0 17 0 13 0 116969025 1842237440 52709 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28938] ppid=28932 vsize=1799060 CPUtime=0.14
/proc/28934/task/28938/stat : 28938 (java) S 28932 28934 27169 0 -1 64 4694 0 0 0 12 2 0 0 16 0 13 0 116969025 1842237440 52709 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28939] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28939/stat : 28939 (java) S 28932 28934 27169 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 116969027 1842237440 52709 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28940] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28940/stat : 28940 (java) S 28932 28934 27169 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 116969028 1842237440 52709 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

/proc/28934/task/28943/stat : 28943 (java) S 28932 28934 27169 0 -1 64 3184 0 0 0 123 1 0 0 16 0 13 0 116969032 1842237440 370843 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28944] ppid=28932 vsize=1799060 CPUtime=1.71
/proc/28934/task/28944/stat : 28944 (java) S 28932 28934 27169 0 -1 64 6535 0 0 0 169 2 0 0 16 0 13 0 116969032 1842237440 370843 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28945] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28945/stat : 28945 (java) S 28932 28934 27169 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 116969032 1842237440 370843 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28946] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28946/stat : 28946 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 116969032 1842237440 370843 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28950] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28950/stat : 28950 (java) S 28932 28934 27169 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 116969445 1842237440 370843 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1615.98
Current children cumulated vsize (KiB) 1799060

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 28952
/proc/meminfo: memFree=342408/2055920 swapFree=4159472/4192956
[pid=28934] ppid=28932 vsize=1799060 CPUtime=1676.47
/proc/28934/stat : 28934 (java) S 28932 28934 27169 0 -1 0 564619 0 1 0 167376 271 0 0 18 0 13 0 116969022 1842237440 375461 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28934/statm: 449765 375461 1331 9 0 447377 0
[pid=28934/tid=28936] ppid=28932 vsize=1799060 CPUtime=1646.71
/proc/28934/task/28936/stat : 28936 (java) R 28932 28934 27169 0 -1 64 73002 0 1 0 164635 36 0 0 24 0 13 0 116969023 1842237440 375461 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109521115 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28937] ppid=28932 vsize=1799060 CPUtime=13.25
/proc/28934/task/28937/stat : 28937 (java) S 28932 28934 27169 0 -1 64 242260 0 0 0 1215 110 0 0 16 0 13 0 116969025 1842237440 375461 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28938] ppid=28932 vsize=1799060 CPUtime=13.2
/proc/28934/task/28938/stat : 28938 (java) S 28932 28934 27169 0 -1 64 238639 0 0 0 1216 104 0 0 16 0 13 0 116969025 1842237440 375461 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28939] ppid=28932 vsize=1799060 CPUtime=0.27
/proc/28934/task/28939/stat : 28939 (java) S 28932 28934 27169 0 -1 64 276 0 0 0 13 14 0 0 16 0 13 0 116969027 1842237440 375461 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28940] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28940/stat : 28940 (java) S 28932 28934 27169 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 116969028 1842237440 375461 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28941] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28941/stat : 28941 (java) S 28932 28934 27169 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 116969028 1842237440 375461 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28942] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28942/stat : 28942 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 116969032 1842237440 375461 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28943] ppid=28932 vsize=1799060 CPUtime=1.27
/proc/28934/task/28943/stat : 28943 (java) S 28932 28934 27169 0 -1 64 3184 0 0 0 126 1 0 0 17 0 13 0 116969032 1842237440 375461 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28944] ppid=28932 vsize=1799060 CPUtime=1.71
/proc/28934/task/28944/stat : 28944 (java) S 28932 28934 27169 0 -1 64 6535 0 0 0 169 2 0 0 16 0 13 0 116969032 1842237440 375461 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28945] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28945/stat : 28945 (java) S 28932 28934 27169 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 116969032 1842237440 375461 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28946] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28946/stat : 28946 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 116969032 1842237440 375461 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28950] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28950/stat : 28950 (java) S 28932 28934 27169 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 116969445 1842237440 375461 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1676.47
Current children cumulated vsize (KiB) 1799060

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 28952
/proc/meminfo: memFree=333000/2055920 swapFree=4159472/4192956
[pid=28934] ppid=28932 vsize=1799060 CPUtime=1736.92
/proc/28934/stat : 28934 (java) S 28932 28934 27169 0 -1 0 571221 0 1 0 173417 275 0 0 18 0 13 0 116969022 1842237440 377808 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28934/statm: 449765 377808 1331 9 0 447377 0
[pid=28934/tid=28936] ppid=28932 vsize=1799060 CPUtime=1706.12
/proc/28934/task/28936/stat : 28936 (java) R 28932 28934 27169 0 -1 64 75696 0 1 0 170575 37 0 0 20 0 13 0 116969023 1842237440 377808 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109521014 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28937] ppid=28932 vsize=1799060 CPUtime=13.78
/proc/28934/task/28937/stat : 28937 (java) S 28932 28934 27169 0 -1 64 243846 0 0 0 1266 112 0 0 16 0 13 0 116969025 1842237440 377808 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28938] ppid=28932 vsize=1799060 CPUtime=13.7
/proc/28934/task/28938/stat : 28938 (java) S 28932 28934 27169 0 -1 64 240952 0 0 0 1265 105 0 0 16 0 13 0 116969025 1842237440 377808 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28939] ppid=28932 vsize=1799060 CPUtime=0.28
/proc/28934/task/28939/stat : 28939 (java) S 28932 28934 27169 0 -1 64 285 0 0 0 13 15 0 0 15 0 13 0 116969027 1842237440 377808 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28940] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28940/stat : 28940 (java) S 28932 28934 27169 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 116969028 1842237440 377808 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28941] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28941/stat : 28941 (java) S 28932 28934 27169 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 116969028 1842237440 377808 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28942] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28942/stat : 28942 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 116969032 1842237440 377808 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28943] ppid=28932 vsize=1799060 CPUtime=1.27
/proc/28934/task/28943/stat : 28943 (java) S 28932 28934 27169 0 -1 64 3184 0 0 0 126 1 0 0 17 0 13 0 116969032 1842237440 377808 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28944] ppid=28932 vsize=1799060 CPUtime=1.71
/proc/28934/task/28944/stat : 28944 (java) S 28932 28934 27169 0 -1 64 6535 0 0 0 169 2 0 0 16 0 13 0 116969032 1842237440 377808 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28945] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28945/stat : 28945 (java) S 28932 28934 27169 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 116969032 1842237440 377808 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28946] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28946/stat : 28946 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 116969032 1842237440 377808 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28950] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28950/stat : 28950 (java) S 28932 28934 27169 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 116969445 1842237440 377808 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1736.92
Current children cumulated vsize (KiB) 1799060

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 28952
/proc/meminfo: memFree=325448/2055920 swapFree=4159472/4192956
[pid=28934] ppid=28932 vsize=1799060 CPUtime=1797.31
/proc/28934/stat : 28934 (java) S 28932 28934 27169 0 -1 0 579927 0 1 0 179451 280 0 0 18 0 13 0 116969022 1842237440 382286 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28934/statm: 449765 382286 1331 9 0 447377 0
[pid=28934/tid=28936] ppid=28932 vsize=1799060 CPUtime=1765.57
/proc/28934/task/28936/stat : 28936 (java) R 28932 28934 27169 0 -1 64 80173 0 1 0 176518 39 0 0 25 0 13 0 116969023 1842237440 382286 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109647375 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28937] ppid=28932 vsize=1799060 CPUtime=14.24
/proc/28934/task/28937/stat : 28937 (java) S 28932 28934 27169 0 -1 64 245440 0 0 0 1312 112 0 0 17 0 13 0 116969025 1842237440 382287 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28938] ppid=28932 vsize=1799060 CPUtime=14.17
/proc/28934/task/28938/stat : 28938 (java) S 28932 28934 27169 0 -1 64 243571 0 0 0 1310 107 0 0 16 0 13 0 116969025 1842237440 382287 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28939] ppid=28932 vsize=1799060 CPUtime=0.29
/proc/28934/task/28939/stat : 28939 (java) S 28932 28934 27169 0 -1 64 301 0 0 0 13 16 0 0 16 0 13 0 116969027 1842237440 382288 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28940] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28940/stat : 28940 (java) S 28932 28934 27169 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 116969028 1842237440 382289 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28941] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28941/stat : 28941 (java) S 28932 28934 27169 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 116969028 1842237440 382289 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28942] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28942/stat : 28942 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 116969032 1842237440 382289 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28943] ppid=28932 vsize=1799060 CPUtime=1.27
/proc/28934/task/28943/stat : 28943 (java) S 28932 28934 27169 0 -1 64 3184 0 0 0 126 1 0 0 17 0 13 0 116969032 1842237440 382289 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28944] ppid=28932 vsize=1799060 CPUtime=1.71
/proc/28934/task/28944/stat : 28944 (java) S 28932 28934 27169 0 -1 64 6535 0 0 0 169 2 0 0 16 0 13 0 116969032 1842237440 382290 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28945] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28945/stat : 28945 (java) S 28932 28934 27169 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 116969032 1842237440 382290 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28946] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28946/stat : 28946 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 116969032 1842237440 382290 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28950] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28950/stat : 28950 (java) S 28932 28934 27169 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 116969445 1842237440 382291 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1797.31
Current children cumulated vsize (KiB) 1799060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 28952
/proc/meminfo: memFree=313608/2055920 swapFree=4159472/4192956
[pid=28934] ppid=28932 vsize=1799060 CPUtime=1800.04
/proc/28934/stat : 28934 (java) S 28932 28934 27169 0 -1 0 580555 0 1 0 179724 280 0 0 18 0 13 0 116969022 1842237440 382710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28934/statm: 449765 382710 1331 9 0 447377 0
[pid=28934/tid=28936] ppid=28932 vsize=1799060 CPUtime=1768.25
/proc/28934/task/28936/stat : 28936 (java) R 28932 28934 27169 0 -1 64 80549 0 1 0 176786 39 0 0 25 0 13 0 116969023 1842237440 382710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109928011 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28937] ppid=28932 vsize=1799060 CPUtime=14.27
/proc/28934/task/28937/stat : 28937 (java) S 28932 28934 27169 0 -1 64 245440 0 0 0 1315 112 0 0 17 0 13 0 116969025 1842237440 382710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28938] ppid=28932 vsize=1799060 CPUtime=14.19
/proc/28934/task/28938/stat : 28938 (java) S 28932 28934 27169 0 -1 64 243823 0 0 0 1312 107 0 0 16 0 13 0 116969025 1842237440 382710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28939] ppid=28932 vsize=1799060 CPUtime=0.29
/proc/28934/task/28939/stat : 28939 (java) S 28932 28934 27169 0 -1 64 301 0 0 0 13 16 0 0 16 0 13 0 116969027 1842237440 382710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28940] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28940/stat : 28940 (java) S 28932 28934 27169 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 116969028 1842237440 382710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28941] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28941/stat : 28941 (java) S 28932 28934 27169 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 116969028 1842237440 382710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28942] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28942/stat : 28942 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 116969032 1842237440 382710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28943] ppid=28932 vsize=1799060 CPUtime=1.27
/proc/28934/task/28943/stat : 28943 (java) S 28932 28934 27169 0 -1 64 3184 0 0 0 126 1 0 0 17 0 13 0 116969032 1842237440 382710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28934/tid=28944] ppid=28932 vsize=1799060 CPUtime=1.71
/proc/28934/task/28944/stat : 28944 (java) S 28932 28934 27169 0 -1 64 6535 0 0 0 169 2 0 0 16 0 13 0 116969032 1842237440 382710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28945] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28945/stat : 28945 (java) S 28932 28934 27169 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 116969032 1842237440 382710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28946] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28946/stat : 28946 (java) S 28932 28934 27169 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 116969032 1842237440 382710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28934/tid=28950] ppid=28932 vsize=1799060 CPUtime=0
/proc/28934/task/28950/stat : 28950 (java) S 28932 28934 27169 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 116969445 1842237440 382710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1799060

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

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

[startup+1785.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 28955
/proc/meminfo: memFree=567616/2055920 swapFree=4159472/4192956
[pid=28934] ppid=28932 vsize=0 CPUtime=1800.36
/proc/28934/stat : 28934 (java) Z 28932 28934 27169 0 -1 1036 580574 0 1 0 179751 285 0 0 15 0 2 0 116969022 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28934/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 0

[startup+1785.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 28955
/proc/meminfo: memFree=567616/2055920 swapFree=4159472/4192956
[pid=28934] ppid=28932 vsize=0 CPUtime=1800.46
/proc/28934/stat : 28934 (java) Z 28932 28934 27169 0 -1 1036 580574 0 1 0 179751 295 0 0 15 0 2 0 116969022 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28934/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.46
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1785.4
CPU time (s): 1800.55
CPU user time (s): 1797.51
CPU system time (s): 3.03654
CPU usage (%): 100.849
Max. virtual memory (cumulated for all children) (KiB): 1799708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.51
system time used= 3.03654
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 580574
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44147
involuntary context switches= 65494

runsolver used 1.92971 second user time and 5.37618 second system time

The end

Begin job on node24 on Mon Apr 16 02:28:30 UTC 2007

IDJOB= 354003
IDBENCH= 2310
IDSOLVER= 159
FILE ID= node24/354003-1176690510

PBS_JOBID= 4559980

Free space on /tmp= 66519 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354003-1176690510/sat4jPseudoResolution.jar /tmp/evaluation/354003-1176690510/instance-354003-1176690510.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-354003-1176690510 -o ROOT/results/node24/solver-354003-1176690510 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354003-1176690510/sat4jPseudoResolution.jar /tmp/evaluation/354003-1176690510/instance-354003-1176690510.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  e99162fa0a9c8caac0a04031bf39653d

RANDOM SEED= 937049382

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node24.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.238
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.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1846360 kB
Buffers:          8820 kB
Cached:          80136 kB
SwapCached:       2436 kB
Active:          92816 kB
Inactive:        57744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1846360 kB
SwapTotal:     4192956 kB
SwapFree:      4159472 kB
Dirty:            3988 kB
Writeback:           0 kB
Mapped:          76732 kB
Slab:            44436 kB
Committed_AS:  1817644 kB
PageTables:       1880 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66519 MiB

End job on node24 on Mon Apr 16 02:58:17 UTC 2007