Imported vanilla contents from upstream

[construo.git] / examples / tower.construo

;; Written by construo 0.2.0pre3
(construo-scene
  (version 3)
  (author "Ingo Ruhnke,,," "grumbel@gmx.de")
  (particles
    (particle (id 1658) (pos 940.828064 -40.659744) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1659) (pos 941.048462 -2.647639) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1660) (pos 901.036255 -2.467951) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1661) (pos 900.836853 -41.481155) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1662) (pos 940.166260 40.343575) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1663) (pos 940.386536 78.355850) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1664) (pos 900.374329 78.535049) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1665) (pos 900.174744 39.522774) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1666) (pos 861.824402 -41.280960) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1667) (pos 862.044617 -3.268734) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1668) (pos 822.032715 -3.089413) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1669) (pos 821.832886 -42.101883) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1670) (pos 859.142273 40.680977) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1671) (pos 859.362488 78.693619) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1672) (pos 819.350342 78.872696) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1673) (pos 819.150696 39.860420) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1674) (pos 782.840881 -42.901688) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1675) (pos 783.061096 -4.889584) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1676) (pos 743.048950 -4.710384) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1677) (pos 742.849426 -43.722977) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1678) (pos 782.179077 38.101631) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1679) (pos 782.399231 76.114029) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1680) (pos 742.386902 76.293228) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1681) (pos 742.187256 37.281075) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1682) (pos 703.837097 -43.523026) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1683) (pos 704.057068 -5.510310) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1684) (pos 664.045166 -5.331721) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1685) (pos 663.845398 -44.343826) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1686) (pos 701.154846 38.439156) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1687) (pos 701.375183 76.451431) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1688) (pos 661.362915 76.630875) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1689) (pos 661.163330 37.618355) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1690) (pos 941.360229 128.386658) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1691) (pos 941.580200 166.399124) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1692) (pos 901.568176 166.578568) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1693) (pos 901.368713 127.565834) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1694) (pos 940.698181 209.389725) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1695) (pos 940.918091 247.402527) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1696) (pos 900.906128 247.581726) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1697) (pos 900.706665 208.569534) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1698) (pos 862.356506 127.765419) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1699) (pos 862.576599 165.778030) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1700) (pos 822.564453 165.957230) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1701) (pos 822.364624 126.944984) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1702) (pos 859.674316 209.727249) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1703) (pos 859.894348 247.740295) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1704) (pos 819.882202 247.919617) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1705) (pos 819.682617 208.906937) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1706) (pos 783.372925 126.144569) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1707) (pos 783.593018 164.157181) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1708) (pos 743.580811 164.336624) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1709) (pos 743.381226 125.323891) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1710) (pos 782.710815 207.148514) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1711) (pos 782.930908 245.160583) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1712) (pos 742.918884 245.339661) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1713) (pos 742.719177 206.327469) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1714) (pos 704.368835 125.523476) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1715) (pos 704.588989 163.535843) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1716) (pos 664.576904 163.715286) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1717) (pos 664.377197 124.703041) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1718) (pos 701.686646 207.485794) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1719) (pos 701.906799 245.498230) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1720) (pos 661.894775 245.677429) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1721) (pos 661.695129 206.665482) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1722) (pos 1267.307983 -37.315990) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1723) (pos 1267.528320 0.696114) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1724) (pos 1227.516113 0.875801) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1725) (pos 1227.316650 -38.137402) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1726) (pos 1266.646118 43.687325) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1727) (pos 1266.866455 81.699600) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1728) (pos 1226.854126 81.878799) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1729) (pos 1226.654541 42.866524) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1730) (pos 1188.304199 -37.937206) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1731) (pos 1188.524414 0.075019) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1732) (pos 1148.512573 0.254340) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1733) (pos 1148.312744 -38.758129) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1734) (pos 1185.622070 44.024727) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1735) (pos 1185.842285 82.037369) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1736) (pos 1145.830200 82.216446) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1737) (pos 1145.630615 43.204170) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1738) (pos 1109.320923 -39.557934) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1739) (pos 1109.541138 -1.545832) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1740) (pos 1069.529175 -1.366632) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1741) (pos 1069.329590 -40.379223) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1742) (pos 1108.659180 41.445381) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1743) (pos 1108.879272 79.457779) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1744) (pos 1068.867188 79.636978) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1745) (pos 1068.667480 40.624825) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1746) (pos 1030.317383 -40.179272) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1747) (pos 1030.537354 -2.166560) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1748) (pos 990.525391 -1.987971) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1749) (pos 990.325684 -41.000076) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1750) (pos 1027.635010 41.782906) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1751) (pos 1027.855347 79.795181) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1752) (pos 987.843201 79.974625) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1753) (pos 987.643616 40.962105) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1754) (pos 1267.840088 131.730408) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1755) (pos 1268.060059 169.742874) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1756) (pos 1228.047974 169.922318) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1757) (pos 1227.848511 130.909607) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1758) (pos 1267.178101 212.733475) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1759) (pos 1267.397949 250.746292) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1760) (pos 1227.385986 250.925491) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1761) (pos 1227.186523 211.913284) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1762) (pos 1188.836304 131.109192) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1763) (pos 1189.056396 169.121780) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1764) (pos 1149.044312 169.300980) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1765) (pos 1148.844482 130.288757) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1766) (pos 1186.154175 213.070999) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1767) (pos 1186.374146 251.084061) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1768) (pos 1146.362061 251.263382) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1769) (pos 1146.162476 212.250687) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1770) (pos 1109.853027 129.488342) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1771) (pos 1110.073120 167.500931) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1772) (pos 1070.061035 167.680374) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1773) (pos 1069.861450 128.667664) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1774) (pos 1109.190918 210.492264) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1775) (pos 1109.411011 248.504349) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1776) (pos 1069.399048 248.683426) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1777) (pos 1069.199463 209.671219) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1778) (pos 1030.849121 128.867249) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1779) (pos 1031.069214 166.879593) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1780) (pos 991.057129 167.059036) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1781) (pos 990.857422 128.046814) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1782) (pos 1028.166870 210.829544) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1783) (pos 1028.386963 248.841995) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1784) (pos 988.375000 249.021194) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1785) (pos 988.175415 210.009232) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1786) (pos 937.259949 291.004395) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1787) (pos 937.480347 329.016510) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1788) (pos 897.468079 329.196198) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1789) (pos 897.268677 290.182983) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1790) (pos 936.598145 372.007721) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1791) (pos 936.818420 410.020050) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1792) (pos 896.806152 410.199249) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1793) (pos 896.606567 371.186920) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1794) (pos 858.256226 290.383179) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1795) (pos 858.476440 328.395416) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1796) (pos 818.464600 328.574738) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1797) (pos 818.264771 289.562256) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1798) (pos 855.574097 372.345123) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1799) (pos 855.794312 410.357819) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1800) (pos 815.782288 410.536896) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1801) (pos 815.582642 371.524567) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1802) (pos 779.272888 288.762451) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1803) (pos 779.493103 326.774567) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1804) (pos 739.480896 326.953766) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1805) (pos 739.281372 287.941162) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1806) (pos 778.611084 369.765778) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1807) (pos 778.831238 407.778229) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1808) (pos 738.818909 407.957428) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1809) (pos 738.619202 368.945221) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1810) (pos 700.269104 288.141113) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1811) (pos 700.489075 326.153839) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1812) (pos 660.477112 326.332428) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1813) (pos 660.277405 287.320312) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1814) (pos 697.586853 370.103302) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1815) (pos 697.807190 408.115631) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1816) (pos 657.794922 408.295074) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1817) (pos 657.595337 369.282501) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1818) (pos 937.792114 460.050781) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1819) (pos 938.012085 498.063232) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1820) (pos 898.000000 498.242676) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1821) (pos 897.800537 459.229980) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1822) (pos 937.130066 541.053650) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1823) (pos 937.349976 579.066589) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1824) (pos 897.337952 579.245789) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1825) (pos 897.138489 540.233459) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1826) (pos 858.788330 459.429565) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1827) (pos 859.008423 497.442139) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1828) (pos 818.996338 497.621338) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1829) (pos 818.796509 458.609131) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1830) (pos 856.106140 541.391174) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1831) (pos 856.326172 579.404358) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1832) (pos 816.314148 579.583679) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1833) (pos 816.114563 540.570862) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1834) (pos 779.804932 457.808716) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1835) (pos 780.025024 495.821289) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1836) (pos 740.012817 496.000732) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1837) (pos 739.813171 456.988037) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1838) (pos 779.142822 538.812439) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1839) (pos 779.362915 576.824646) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1840) (pos 739.350830 577.003723) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1841) (pos 739.151184 537.991394) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1842) (pos 700.800842 457.187622) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1843) (pos 701.020996 495.199951) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1844) (pos 661.008850 495.379395) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1845) (pos 660.809143 456.367188) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1846) (pos 698.118652 539.149719) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1847) (pos 698.338806 577.162292) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1848) (pos 658.326721 577.341492) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1849) (pos 658.127136 538.329407) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1850) (pos 1263.739990 294.348145) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1851) (pos 1263.960327 332.360260) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1852) (pos 1223.948120 332.539948) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1853) (pos 1223.748657 293.526733) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1854) (pos 1263.078125 375.351471) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1855) (pos 1263.298462 413.363800) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1856) (pos 1223.286133 413.542999) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1857) (pos 1223.086548 374.530670) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1858) (pos 1184.736206 293.726929) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1859) (pos 1184.956421 331.739166) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1860) (pos 1144.944580 331.918488) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1861) (pos 1144.744751 292.906006) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1862) (pos 1182.054077 375.688873) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1863) (pos 1182.274292 413.701569) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1864) (pos 1142.262207 413.880646) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1865) (pos 1142.062622 374.868317) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1866) (pos 1105.753052 292.106201) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1867) (pos 1105.973267 330.118317) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1868) (pos 1065.961060 330.297516) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1869) (pos 1065.761475 291.284912) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1870) (pos 1105.091187 373.109528) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1871) (pos 1105.311401 411.121979) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1872) (pos 1065.299072 411.301178) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1873) (pos 1065.099365 372.288971) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1874) (pos 1026.749023 291.484863) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1875) (pos 1026.968994 329.497589) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1876) (pos 986.957092 329.676178) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1877) (pos 986.757385 290.664062) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1878) (pos 1024.066650 373.447052) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1879) (pos 1024.286987 411.459381) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1880) (pos 984.274963 411.638824) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1881) (pos 984.075378 372.626251) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1882) (pos 1264.272095 463.394531) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1883) (pos 1264.492065 501.406921) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1884) (pos 1224.479980 501.586365) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1885) (pos 1224.280518 462.573730) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1886) (pos 1263.610107 544.397339) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1887) (pos 1263.829956 582.410278) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1888) (pos 1223.817993 582.589478) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1889) (pos 1223.618530 543.577209) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1890) (pos 1185.268311 462.773315) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1891) (pos 1185.488403 500.785828) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1892) (pos 1145.476318 500.965027) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1893) (pos 1145.276489 461.952881) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1894) (pos 1182.586182 544.734863) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1895) (pos 1182.806152 582.748047) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1896) (pos 1142.794067 582.927368) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1897) (pos 1142.594482 543.914551) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1898) (pos 1106.285034 461.152466) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1899) (pos 1106.505127 499.164978) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1900) (pos 1066.492920 499.344421) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1901) (pos 1066.293335 460.331787) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1902) (pos 1105.622925 542.156189) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1903) (pos 1105.843018 580.168396) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1904) (pos 1065.830933 580.347412) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1905) (pos 1065.631348 541.335144) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1906) (pos 1027.280762 460.531372) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1907) (pos 1027.500854 498.543701) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1908) (pos 987.488831 498.723145) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1909) (pos 987.289124 459.710938) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1910) (pos 1024.598511 542.493469) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1911) (pos 1024.818604 580.505981) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1912) (pos 984.806702 580.685181) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1913) (pos 984.607117 541.673157) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1916) (pos 945.111694 -701.764893) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1917) (pos 945.332092 -663.752747) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1918) (pos 905.319824 -663.573059) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1919) (pos 905.120422 -702.586182) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1920) (pos 944.449890 -620.761536) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1921) (pos 944.670166 -582.749451) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1922) (pos 904.657898 -582.570251) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1923) (pos 904.458313 -621.582336) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1924) (pos 866.107971 -702.385986) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1925) (pos 866.328186 -664.373840) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1926) (pos 826.316345 -664.194641) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1927) (pos 826.116516 -703.207031) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1928) (pos 863.425842 -620.424133) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1929) (pos 863.646057 -582.411560) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1930) (pos 823.633972 -582.232605) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1931) (pos 823.434326 -621.244690) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1932) (pos 787.124451 -704.006836) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1933) (pos 787.344666 -665.994690) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1934) (pos 747.332520 -665.815491) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1935) (pos 747.132996 -704.828125) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1936) (pos 786.462646 -623.003479) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1937) (pos 786.682800 -584.991150) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1938) (pos 746.670532 -584.811951) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1939) (pos 746.470825 -623.824036) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1940) (pos 708.120667 -704.628174) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1941) (pos 708.340698 -666.615540) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1942) (pos 668.328735 -666.436829) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1943) (pos 668.128967 -705.448975) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1944) (pos 705.438477 -622.666077) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1945) (pos 705.658813 -584.653748) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1946) (pos 665.646484 -584.474304) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1947) (pos 665.446899 -623.486877) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1948) (pos 945.643860 -532.718689) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1949) (pos 945.863831 -494.705872) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1950) (pos 905.851746 -494.526428) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1951) (pos 905.652283 -533.539490) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1952) (pos 944.981812 -451.715393) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1953) (pos 945.201721 -413.702911) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1954) (pos 905.189697 -413.523712) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1955) (pos 904.990234 -452.535461) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1956) (pos 866.640076 -533.339783) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1957) (pos 866.860168 -495.326965) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1958) (pos 826.848022 -495.147766) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1959) (pos 826.648254 -534.160339) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1960) (pos 863.957886 -451.377747) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1961) (pos 864.177917 -413.365265) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1962) (pos 824.165833 -413.185822) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1963) (pos 823.966248 -452.198059) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1964) (pos 787.656555 -534.960632) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1965) (pos 787.876587 -496.947815) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1966) (pos 747.864441 -496.768372) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1967) (pos 747.664795 -535.781433) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1968) (pos 786.994446 -453.956604) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1969) (pos 787.214539 -415.944855) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1970) (pos 747.202454 -415.765900) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1971) (pos 747.002808 -454.777649) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1972) (pos 708.652405 -535.581726) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1973) (pos 708.872559 -497.569153) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1974) (pos 668.860474 -497.389709) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1975) (pos 668.660767 -536.402283) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1976) (pos 705.970276 -453.619202) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1977) (pos 706.190430 -415.607208) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1978) (pos 666.178345 -415.428009) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1979) (pos 665.978699 -454.439514) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1980) (pos 1271.591553 -698.421143) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1981) (pos 1271.811890 -660.408997) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1982) (pos 1231.799683 -660.229309) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1983) (pos 1231.600220 -699.242432) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1984) (pos 1270.929688 -617.417786) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1985) (pos 1271.150024 -579.405701) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1986) (pos 1231.137695 -579.226501) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1987) (pos 1230.938110 -618.238586) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1988) (pos 1192.587769 -699.042236) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1989) (pos 1192.807983 -661.030090) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1990) (pos 1152.796143 -660.850891) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1991) (pos 1152.596313 -699.863281) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1992) (pos 1189.905640 -617.080383) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1993) (pos 1190.125854 -579.067810) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1994) (pos 1150.113770 -578.888855) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1995) (pos 1149.914185 -617.900940) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1996) (pos 1113.604492 -700.663086) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1997) (pos 1113.824707 -662.650940) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1998) (pos 1073.812744 -662.471741) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 1999) (pos 1073.613159 -701.484375) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2000) (pos 1112.942627 -619.659729) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2001) (pos 1113.162842 -581.647400) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2002) (pos 1073.150757 -581.468201) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2003) (pos 1072.951050 -620.480286) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2004) (pos 1034.600952 -701.284424) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2005) (pos 1034.820923 -663.271790) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2006) (pos 994.808960 -663.093079) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2007) (pos 994.609253 -702.105225) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2008) (pos 1031.918701 -619.322327) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2009) (pos 1032.139038 -581.309998) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2010) (pos 992.126831 -581.130554) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2011) (pos 991.927246 -620.143127) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2012) (pos 1272.123657 -529.374939) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2013) (pos 1272.343628 -491.362122) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2014) (pos 1232.331543 -491.182678) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2015) (pos 1232.132080 -530.195740) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2016) (pos 1271.461670 -448.371643) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2017) (pos 1271.681519 -410.359161) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2018) (pos 1231.669556 -410.179962) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2019) (pos 1231.470093 -449.191711) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2020) (pos 1193.119873 -529.996033) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2021) (pos 1193.339966 -491.983215) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2022) (pos 1153.327881 -491.804016) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2023) (pos 1153.128052 -530.816589) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2024) (pos 1190.437744 -448.033997) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2025) (pos 1190.657715 -410.021271) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2026) (pos 1150.645630 -409.842194) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2027) (pos 1150.446045 -448.854309) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2028) (pos 1114.136475 -531.616882) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2029) (pos 1114.356567 -493.604065) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2030) (pos 1074.344604 -493.424622) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2031) (pos 1074.145020 -532.437683) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2032) (pos 1113.474365 -450.612854) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2033) (pos 1113.694458 -412.601105) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2034) (pos 1073.682617 -412.421906) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2035) (pos 1073.483032 -451.433899) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2036) (pos 1035.132690 -532.237976) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2037) (pos 1035.352783 -494.225403) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2038) (pos 995.340698 -494.045959) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2039) (pos 995.140991 -533.058533) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2040) (pos 1032.450562 -450.275452) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2041) (pos 1032.670654 -412.263458) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2042) (pos 992.658569 -412.084259) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2043) (pos 992.458984 -451.095764) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2044) (pos 941.543518 -370.101166) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2045) (pos 941.763916 -332.089081) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2046) (pos 901.751709 -331.909393) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2047) (pos 901.552307 -370.922577) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2048) (pos 940.881714 -289.097870) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2049) (pos 941.101990 -251.085602) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2050) (pos 901.089783 -250.906403) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2051) (pos 900.890198 -289.918671) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2052) (pos 862.539856 -370.722382) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2053) (pos 862.760071 -332.710175) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2054) (pos 822.748230 -332.530853) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2055) (pos 822.548401 -371.543304) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2056) (pos 859.857727 -288.760468) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2057) (pos 860.077942 -250.747803) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2058) (pos 820.065857 -250.568726) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2059) (pos 819.866272 -289.581024) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2060) (pos 783.556458 -372.343109) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2061) (pos 783.776672 -334.331024) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2062) (pos 743.764526 -334.151825) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2063) (pos 743.565002 -373.164398) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2064) (pos 782.894653 -291.339813) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2065) (pos 783.114807 -253.327423) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2066) (pos 743.102539 -253.148224) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2067) (pos 742.902832 -292.160370) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2068) (pos 704.552673 -372.964447) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2069) (pos 704.772644 -334.951752) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2070) (pos 664.760681 -334.773163) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2071) (pos 664.560974 -373.785248) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2072) (pos 701.870422 -291.002289) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2073) (pos 702.090759 -252.990021) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2074) (pos 662.078491 -252.810577) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2075) (pos 661.878906 -291.823090) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2076) (pos 942.075684 -201.054749) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2077) (pos 942.295654 -163.042236) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2078) (pos 902.283630 -162.862793) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2079) (pos 902.084167 -201.875549) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2080) (pos 941.413635 -120.051605) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2081) (pos 941.633545 -82.038788) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2082) (pos 901.621582 -81.859589) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2083) (pos 901.422119 -120.871788) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2084) (pos 863.071960 -201.675964) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2085) (pos 863.292053 -163.663330) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2086) (pos 823.279968 -163.484131) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2087) (pos 823.080139 -202.496399) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2088) (pos 860.389771 -119.714081) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2089) (pos 860.609802 -81.701019) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2090) (pos 820.597717 -81.521698) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2091) (pos 820.398132 -120.534386) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2092) (pos 784.088562 -203.296814) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2093) (pos 784.308594 -165.284180) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2094) (pos 744.296448 -165.104736) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2095) (pos 744.096802 -204.117493) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2096) (pos 783.426453 -122.292809) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2097) (pos 783.646545 -84.280731) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2098) (pos 743.634460 -84.101654) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2099) (pos 743.434814 -123.113831) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2100) (pos 705.084412 -203.917908) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2101) (pos 705.304565 -165.905518) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2102) (pos 665.292419 -165.726074) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2103) (pos 665.092712 -204.738342) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2104) (pos 702.402222 -121.955528) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2105) (pos 702.622375 -83.943085) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2106) (pos 662.610291 -83.763885) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2107) (pos 662.410706 -122.775841) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2108) (pos 1268.023560 -366.757416) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2109) (pos 1268.243896 -328.745331) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2110) (pos 1228.231689 -328.565643) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2111) (pos 1228.032227 -367.578827) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2112) (pos 1267.361694 -285.754120) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2113) (pos 1267.582031 -247.741821) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2114) (pos 1227.569702 -247.562622) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2115) (pos 1227.370117 -286.574921) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2116) (pos 1189.019775 -367.378632) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2117) (pos 1189.239990 -329.366425) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2118) (pos 1149.228149 -329.187103) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2119) (pos 1149.028320 -368.199554) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2120) (pos 1186.337646 -285.416718) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2121) (pos 1186.557861 -247.404053) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2122) (pos 1146.545776 -247.224976) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2123) (pos 1146.346191 -286.237274) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2124) (pos 1110.036499 -368.999359) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2125) (pos 1110.256714 -330.987274) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2126) (pos 1070.244629 -330.808075) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2127) (pos 1070.045166 -369.820648) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2128) (pos 1109.374756 -287.996063) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2129) (pos 1109.594849 -249.983643) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2130) (pos 1069.582642 -249.804443) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2131) (pos 1069.382935 -288.816620) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2132) (pos 1031.032715 -369.620697) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2133) (pos 1031.252686 -331.608002) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2134) (pos 991.240723 -331.429413) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2135) (pos 991.041077 -370.441498) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2136) (pos 1028.350464 -287.658539) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2137) (pos 1028.570679 -249.646240) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2138) (pos 988.558655 -249.466797) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2139) (pos 988.359070 -288.479340) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2140) (pos 1268.555664 -197.710968) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2141) (pos 1268.775635 -159.698486) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2142) (pos 1228.763550 -159.519043) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2143) (pos 1228.564087 -198.531769) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2144) (pos 1267.893677 -116.707848) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2145) (pos 1268.113525 -78.695038) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2146) (pos 1228.101562 -78.515839) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2147) (pos 1227.902100 -117.528038) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2148) (pos 1189.551880 -198.332184) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2149) (pos 1189.771973 -160.319580) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2150) (pos 1149.759888 -160.140381) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2151) (pos 1149.560059 -199.152618) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2152) (pos 1186.869751 -116.370323) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2153) (pos 1187.089722 -78.357269) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2154) (pos 1147.077637 -78.177948) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2155) (pos 1146.878052 -117.190636) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2156) (pos 1110.568604 -199.953064) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2157) (pos 1110.788696 -161.940430) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2158) (pos 1070.776611 -161.760986) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2159) (pos 1070.576904 -200.773743) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2160) (pos 1109.906494 -118.949066) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2161) (pos 1110.126587 -80.936981) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2162) (pos 1070.114624 -80.757904) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2163) (pos 1069.914917 -119.770111) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2164) (pos 1031.564453 -200.574158) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2165) (pos 1031.784546 -162.561768) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2166) (pos 991.772461 -162.382324) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2167) (pos 991.572754 -201.394592) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2168) (pos 1028.882202 -118.611786) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2169) (pos 1029.102295 -80.599335) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2170) (pos 989.090393 -80.420135) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
    (particle (id 2171) (pos 988.890808 -119.432098) (velocity 0.000000 0.000000) (fixed #f) (mass 0.100000))
  )
  (springs
    (spring (first 1658) (second 1659) (length 38.012745))
    (spring (first 1659) (second 1660) (length 40.012611))
    (spring (first 1660) (second 1661) (length 39.013714))
    (spring (first 1661) (second 1658) (length 39.999645))
    (spring (first 1658) (second 1660) (length 55.154339))
    (spring (first 1659) (second 1661) (length 55.901836))
    (spring (first 1662) (second 1663) (length 38.012913))
    (spring (first 1663) (second 1664) (length 40.012608))
    (spring (first 1664) (second 1665) (length 39.012787))
    (spring (first 1665) (second 1662) (length 39.999939))
    (spring (first 1662) (second 1664) (length 55.154205))
    (spring (first 1663) (second 1665) (length 55.901665))
    (spring (first 1666) (second 1667) (length 38.012863))
    (spring (first 1667) (second 1668) (length 40.012302))
    (spring (first 1668) (second 1669) (length 39.012981))
    (spring (first 1669) (second 1666) (length 39.999943))
    (spring (first 1666) (second 1668) (length 55.154079))
    (spring (first 1667) (second 1669) (length 55.901672))
    (spring (first 1670) (second 1671) (length 38.013279))
    (spring (first 1671) (second 1672) (length 40.012547))
    (spring (first 1672) (second 1673) (length 39.012787))
    (spring (first 1673) (second 1670) (length 39.999996))
    (spring (first 1670) (second 1672) (length 55.154377))
    (spring (first 1671) (second 1673) (length 55.901749))
    (spring (first 1659) (second 1662) (length 43.000263))
    (spring (first 1665) (second 1670) (length 41.048813))
    (spring (first 1670) (second 1667) (length 44.045441))
    (spring (first 1667) (second 1660) (length 38.999859))
    (spring (first 1660) (second 1665) (length 41.999561))
    (spring (first 1664) (second 1671) (length 41.012146))
    (spring (first 1673) (second 1668) (length 43.046417))
    (spring (first 1666) (second 1661) (length 39.012966))
    (spring (first 1661) (second 1667) (length 54.452061))
    (spring (first 1667) (second 1665) (length 57.315090))
    (spring (first 1665) (second 1671) (length 56.568501))
    (spring (first 1664) (second 1670) (length 55.973328))
    (spring (first 1670) (second 1660) (length 60.140965))
    (spring (first 1659) (second 1665) (length 58.728226))
    (spring (first 1662) (second 1660) (length 57.999863))
    (spring (first 1660) (second 1666) (length 55.172630))
    (spring (first 1668) (second 1670) (length 57.384373))
    (spring (first 1667) (second 1673) (length 60.827728))
    (spring (first 1674) (second 1675) (length 38.012741))
    (spring (first 1675) (second 1676) (length 40.012547))
    (spring (first 1676) (second 1677) (length 39.013103))
    (spring (first 1677) (second 1674) (length 39.999886))
    (spring (first 1674) (second 1676) (length 55.154087))
    (spring (first 1675) (second 1677) (length 55.901794))
    (spring (first 1678) (second 1679) (length 38.013035))
    (spring (first 1679) (second 1680) (length 40.012730))
    (spring (first 1680) (second 1681) (length 39.012665))
    (spring (first 1681) (second 1678) (length 40.000240))
    (spring (first 1678) (second 1680) (length 55.154469))
    (spring (first 1679) (second 1681) (length 55.901711))
    (spring (first 1682) (second 1683) (length 38.013351))
    (spring (first 1683) (second 1684) (length 40.012299))
    (spring (first 1684) (second 1685) (length 39.012615))
    (spring (first 1685) (second 1682) (length 40.000122))
    (spring (first 1682) (second 1684) (length 55.154087))
    (spring (first 1683) (second 1685) (length 55.901882))
    (spring (first 1686) (second 1687) (length 38.012913))
    (spring (first 1687) (second 1688) (length 40.012669))
    (spring (first 1688) (second 1689) (length 39.013031))
    (spring (first 1689) (second 1686) (length 39.999939))
    (spring (first 1686) (second 1688) (length 55.154377))
    (spring (first 1687) (second 1689) (length 55.901707))
    (spring (first 1675) (second 1678) (length 43.000263))
    (spring (first 1681) (second 1686) (length 41.048748))
    (spring (first 1686) (second 1683) (length 44.045185))
    (spring (first 1683) (second 1676) (length 39.000088))
    (spring (first 1676) (second 1681) (length 42.000298))
    (spring (first 1680) (second 1687) (length 41.012024))
    (spring (first 1689) (second 1684) (length 43.046650))
    (spring (first 1682) (second 1677) (length 39.012840))
    (spring (first 1677) (second 1683) (length 54.452320))
    (spring (first 1683) (second 1681) (length 57.315041))
    (spring (first 1681) (second 1687) (length 56.568031))
    (spring (first 1680) (second 1686) (length 55.973328))
    (spring (first 1686) (second 1676) (length 60.141491))
    (spring (first 1675) (second 1681) (length 58.728489))
    (spring (first 1678) (second 1676) (length 58.000305))
    (spring (first 1676) (second 1682) (length 55.172371))
    (spring (first 1684) (second 1686) (length 57.384823))
    (spring (first 1683) (second 1689) (length 60.827251))
    (spring (first 1678) (second 1673) (length 37.013428))
    (spring (first 1668) (second 1675) (length 39.013172))
    (spring (first 1674) (second 1669) (length 39.000206))
    (spring (first 1672) (second 1679) (length 37.053944))
    (spring (first 1679) (second 1673) (length 51.623585))
    (spring (first 1675) (second 1669) (length 53.740181))
    (spring (first 1668) (second 1674) (length 55.866062))
    (spring (first 1675) (second 1673) (length 57.489323))
    (spring (first 1668) (second 1678) (length 57.315044))
    (spring (first 1678) (second 1672) (length 55.172298))
    (spring (first 1690) (second 1691) (length 38.013103))
    (spring (first 1691) (second 1692) (length 40.012424))
    (spring (first 1692) (second 1693) (length 39.013245))
    (spring (first 1693) (second 1690) (length 39.999939))
    (spring (first 1690) (second 1692) (length 55.154594))
    (spring (first 1691) (second 1693) (length 55.901592))
    (spring (first 1694) (second 1695) (length 38.013439))
    (spring (first 1695) (second 1696) (length 40.012363))
    (spring (first 1696) (second 1697) (length 39.012703))
    (spring (first 1697) (second 1694) (length 39.999928))
    (spring (first 1694) (second 1696) (length 55.154659))
    (spring (first 1695) (second 1697) (length 55.901340))
    (spring (first 1698) (second 1699) (length 38.013248))
    (spring (first 1699) (second 1700) (length 40.012547))
    (spring (first 1700) (second 1701) (length 39.012756))
    (spring (first 1701) (second 1698) (length 40.000298))
    (spring (first 1698) (second 1700) (length 55.154526))
    (spring (first 1699) (second 1701) (length 55.901775))
    (spring (first 1702) (second 1703) (length 38.013683))
    (spring (first 1703) (second 1704) (length 40.012547))
    (spring (first 1704) (second 1705) (length 39.013191))
    (spring (first 1705) (second 1702) (length 40.000111))
    (spring (first 1702) (second 1704) (length 55.154957))
    (spring (first 1703) (second 1705) (length 55.901817))
    (spring (first 1691) (second 1694) (length 42.999649))
    (spring (first 1697) (second 1702) (length 41.048679))
    (spring (first 1702) (second 1699) (length 44.044945))
    (spring (first 1699) (second 1692) (length 38.999794))
    (spring (first 1692) (second 1697) (length 41.999802))
    (spring (first 1696) (second 1703) (length 41.012085))
    (spring (first 1705) (second 1700) (length 43.046280))
    (spring (first 1698) (second 1693) (length 39.012718))
    (spring (first 1693) (second 1699) (length 54.451813))
    (spring (first 1699) (second 1697) (length 57.315048))
    (spring (first 1697) (second 1703) (length 56.568485))
    (spring (first 1696) (second 1702) (length 55.973419))
    (spring (first 1702) (second 1692) (length 60.140705))
    (spring (first 1691) (second 1697) (length 58.728096))
    (spring (first 1694) (second 1692) (length 57.999592))
    (spring (first 1692) (second 1698) (length 55.172596))
    (spring (first 1700) (second 1702) (length 57.384289))
    (spring (first 1699) (second 1705) (length 60.827595))
    (spring (first 1706) (second 1707) (length 38.013248))
    (spring (first 1707) (second 1708) (length 40.012608))
    (spring (first 1708) (second 1709) (length 39.013245))
    (spring (first 1709) (second 1706) (length 40.000118))
    (spring (first 1706) (second 1708) (length 55.154739))
    (spring (first 1707) (second 1709) (length 55.901814))
    (spring (first 1710) (second 1711) (length 38.012707))
    (spring (first 1711) (second 1712) (length 40.012424))
    (spring (first 1712) (second 1713) (length 39.012703))
    (spring (first 1713) (second 1710) (length 40.000065))
    (spring (first 1710) (second 1712) (length 55.153980))
    (spring (first 1711) (second 1713) (length 55.901646))
    (spring (first 1714) (second 1715) (length 38.013004))
    (spring (first 1715) (second 1716) (length 40.012486))
    (spring (first 1716) (second 1717) (length 39.012756))
    (spring (first 1717) (second 1714) (length 40.000053))
    (spring (first 1714) (second 1716) (length 55.154438))
    (spring (first 1715) (second 1717) (length 55.901474))
    (spring (first 1718) (second 1719) (length 38.013073))
    (spring (first 1719) (second 1720) (length 40.012424))
    (spring (first 1720) (second 1721) (length 39.012459))
    (spring (first 1721) (second 1718) (length 39.999928))
    (spring (first 1718) (second 1720) (length 55.154274))
    (spring (first 1719) (second 1721) (length 55.901348))
    (spring (first 1707) (second 1710) (length 43.000385))
    (spring (first 1713) (second 1718) (length 41.048878))
    (spring (first 1718) (second 1715) (length 44.045677))
    (spring (first 1715) (second 1708) (length 39.000042))
    (spring (first 1708) (second 1713) (length 41.999683))
    (spring (first 1712) (second 1719) (length 41.012390))
    (spring (first 1721) (second 1716) (length 43.046764))
    (spring (first 1714) (second 1709) (length 39.012901))
    (spring (first 1709) (second 1715) (length 54.451729))
    (spring (first 1715) (second 1713) (length 57.315220))
    (spring (first 1713) (second 1719) (length 56.568531))
    (spring (first 1712) (second 1718) (length 55.973320))
    (spring (first 1718) (second 1708) (length 60.141266))
    (spring (first 1707) (second 1713) (length 58.728222))
    (spring (first 1710) (second 1708) (length 58.000130))
    (spring (first 1708) (second 1714) (length 55.172813))
    (spring (first 1716) (second 1718) (length 57.384583))
    (spring (first 1715) (second 1721) (length 60.828026))
    (spring (first 1710) (second 1705) (length 37.013596))
    (spring (first 1700) (second 1707) (length 39.012985))
    (spring (first 1706) (second 1701) (length 38.999912))
    (spring (first 1704) (second 1711) (length 37.054153))
    (spring (first 1711) (second 1705) (length 51.623783))
    (spring (first 1707) (second 1701) (length 53.739975))
    (spring (first 1700) (second 1706) (length 55.866123))
    (spring (first 1707) (second 1705) (length 57.489128))
    (spring (first 1700) (second 1710) (length 57.315220))
    (spring (first 1710) (second 1704) (length 55.172409))
    (spring (first 1663) (second 1690) (length 50.040283))
    (spring (first 1693) (second 1671) (length 64.443901))
    (spring (first 1664) (second 1698) (length 62.201157))
    (spring (first 1698) (second 1672) (length 65.115501))
    (spring (first 1671) (second 1701) (length 60.803257))
    (spring (first 1701) (second 1679) (length 64.660797))
    (spring (first 1688) (second 1717) (length 48.166576))
    (spring (first 1714) (second 1687) (length 49.163273))
    (spring (first 1680) (second 1709) (length 49.040745))
    (spring (first 1679) (second 1706) (length 50.040016))
    (spring (first 1672) (second 1701) (length 48.166698))
    (spring (first 1664) (second 1693) (length 49.040867))
    (spring (first 1663) (second 1693) (length 62.801376))
    (spring (first 1690) (second 1664) (length 64.537018))
    (spring (first 1671) (second 1698) (length 49.163052))
    (spring (first 1672) (second 1706) (length 59.405426))
    (spring (first 1706) (second 1680) (length 64.536888))
    (spring (first 1680) (second 1714) (length 62.201210))
    (spring (first 1714) (second 1688) (length 65.115250))
    (spring (first 1717) (second 1687) (length 60.803528))
    (spring (first 1687) (second 1709) (length 64.443970))
    (spring (first 1709) (second 1679) (length 62.801395))
    (spring (first 1722) (second 1723) (length 38.012741))
    (spring (first 1723) (second 1724) (length 40.012611))
    (spring (first 1724) (second 1725) (length 39.013714))
    (spring (first 1725) (second 1722) (length 39.999767))
    (spring (first 1722) (second 1724) (length 55.154381))
    (spring (first 1723) (second 1725) (length 55.901882))
    (spring (first 1726) (second 1727) (length 38.012913))
    (spring (first 1727) (second 1728) (length 40.012730))
    (spring (first 1728) (second 1729) (length 39.012787))
    (spring (first 1729) (second 1726) (length 40.000000))
    (spring (first 1726) (second 1728) (length 55.154251))
    (spring (first 1727) (second 1729) (length 55.901752))
    (spring (first 1730) (second 1731) (length 38.012863))
    (spring (first 1731) (second 1732) (length 40.012241))
    (spring (first 1732) (second 1733) (length 39.012981))
    (spring (first 1733) (second 1730) (length 39.999882))
    (spring (first 1730) (second 1732) (length 55.154037))
    (spring (first 1731) (second 1733) (length 55.901627))
    (spring (first 1734) (second 1735) (length 38.013279))
    (spring (first 1735) (second 1736) (length 40.012486))
    (spring (first 1736) (second 1737) (length 39.012787))
    (spring (first 1737) (second 1734) (length 39.999874))
    (spring (first 1734) (second 1736) (length 55.154331))
    (spring (first 1735) (second 1737) (length 55.901661))
    (spring (first 1723) (second 1726) (length 43.000263))
    (spring (first 1729) (second 1734) (length 41.048813))
    (spring (first 1734) (second 1731) (length 44.045437))
    (spring (first 1731) (second 1724) (length 38.999920))
    (spring (first 1724) (second 1729) (length 41.999561))
    (spring (first 1728) (second 1735) (length 41.012146))
    (spring (first 1737) (second 1732) (length 43.046413))
    (spring (first 1730) (second 1725) (length 39.012966))
    (spring (first 1725) (second 1731) (length 54.452057))
    (spring (first 1731) (second 1729) (length 57.315090))
    (spring (first 1729) (second 1735) (length 56.568501))
    (spring (first 1728) (second 1734) (length 55.973328))
    (spring (first 1734) (second 1724) (length 60.141006))
    (spring (first 1723) (second 1729) (length 58.728268))
    (spring (first 1726) (second 1724) (length 57.999859))
    (spring (first 1724) (second 1730) (length 55.172672))
    (spring (first 1732) (second 1734) (length 57.384331))
    (spring (first 1731) (second 1737) (length 60.827641))
    (spring (first 1738) (second 1739) (length 38.012741))
    (spring (first 1739) (second 1740) (length 40.012363))
    (spring (first 1740) (second 1741) (length 39.013100))
    (spring (first 1741) (second 1738) (length 39.999763))
    (spring (first 1738) (second 1740) (length 55.153954))
    (spring (first 1739) (second 1741) (length 55.901707))
    (spring (first 1742) (second 1743) (length 38.013035))
    (spring (first 1743) (second 1744) (length 40.012486))
    (spring (first 1744) (second 1745) (length 39.012665))
    (spring (first 1745) (second 1742) (length 40.000118))
    (spring (first 1742) (second 1744) (length 55.154335))
    (spring (first 1743) (second 1745) (length 55.901581))
    (spring (first 1746) (second 1747) (length 38.013348))
    (spring (first 1747) (second 1748) (length 40.012360))
    (spring (first 1748) (second 1749) (length 39.012615))
    (spring (first 1749) (second 1746) (length 40.000122))
    (spring (first 1746) (second 1748) (length 55.154129))
    (spring (first 1747) (second 1749) (length 55.901882))
    (spring (first 1750) (second 1751) (length 38.012913))
    (spring (first 1751) (second 1752) (length 40.012547))
    (spring (first 1752) (second 1753) (length 39.013031))
    (spring (first 1753) (second 1750) (length 39.999817))
    (spring (first 1750) (second 1752) (length 55.154289))
    (spring (first 1751) (second 1753) (length 55.901619))
    (spring (first 1739) (second 1742) (length 43.000259))
    (spring (first 1745) (second 1750) (length 41.048809))
    (spring (first 1750) (second 1747) (length 44.045193))
    (spring (first 1747) (second 1740) (length 39.000027))
    (spring (first 1740) (second 1745) (length 42.000298))
    (spring (first 1744) (second 1751) (length 41.012146))
    (spring (first 1753) (second 1748) (length 43.046646))
    (spring (first 1746) (second 1741) (length 39.012718))
    (spring (first 1741) (second 1747) (length 54.452229))
    (spring (first 1747) (second 1745) (length 57.314999))
    (spring (first 1745) (second 1751) (length 56.568073))
    (spring (first 1744) (second 1750) (length 55.973415))
    (spring (first 1750) (second 1740) (length 60.141529))
    (spring (first 1739) (second 1745) (length 58.728359))
    (spring (first 1742) (second 1740) (length 58.000221))
    (spring (first 1740) (second 1746) (length 55.172325))
    (spring (first 1748) (second 1750) (length 57.384785))
    (spring (first 1747) (second 1753) (length 60.827251))
    (spring (first 1742) (second 1737) (length 37.013245))
    (spring (first 1732) (second 1739) (length 39.012989))
    (spring (first 1738) (second 1733) (length 39.000023))
    (spring (first 1736) (second 1743) (length 37.053761))
    (spring (first 1743) (second 1737) (length 51.623497))
    (spring (first 1739) (second 1733) (length 53.740047))
    (spring (first 1732) (second 1738) (length 55.865932))
    (spring (first 1739) (second 1737) (length 57.489243))
    (spring (first 1732) (second 1742) (length 57.314873))
    (spring (first 1742) (second 1736) (length 55.172134))
    (spring (first 1754) (second 1755) (length 38.013103))
    (spring (first 1755) (second 1756) (length 40.012486))
    (spring (first 1756) (second 1757) (length 39.013222))
    (spring (first 1757) (second 1754) (length 40.000000))
    (spring (first 1754) (second 1756) (length 55.154640))
    (spring (first 1755) (second 1757) (length 55.901623))
    (spring (first 1758) (second 1759) (length 38.013454))
    (spring (first 1759) (second 1760) (length 40.012363))
    (spring (first 1760) (second 1761) (length 39.012718))
    (spring (first 1761) (second 1758) (length 39.999989))
    (spring (first 1758) (second 1760) (length 55.154713))
    (spring (first 1759) (second 1761) (length 55.901352))
    (spring (first 1762) (second 1763) (length 38.013226))
    (spring (first 1763) (second 1764) (length 40.012486))
    (spring (first 1764) (second 1765) (length 39.012733))
    (spring (first 1765) (second 1762) (length 40.000237))
    (spring (first 1762) (second 1764) (length 55.154469))
    (spring (first 1763) (second 1765) (length 55.901714))
    (spring (first 1766) (second 1767) (length 38.013699))
    (spring (first 1767) (second 1768) (length 40.012486))
    (spring (first 1768) (second 1769) (length 39.013206))
    (spring (first 1769) (second 1766) (length 40.000111))
    (spring (first 1766) (second 1768) (length 55.154968))
    (spring (first 1767) (second 1769) (length 55.901783))
    (spring (first 1755) (second 1758) (length 42.999645))
    (spring (first 1761) (second 1766) (length 41.048679))
    (spring (first 1766) (second 1763) (length 44.044941))
    (spring (first 1763) (second 1756) (length 38.999794))
    (spring (first 1756) (second 1761) (length 41.999802))
    (spring (first 1760) (second 1767) (length 41.012146))
    (spring (first 1769) (second 1764) (length 43.046280))
    (spring (first 1762) (second 1757) (length 39.012718))
    (spring (first 1757) (second 1763) (length 54.451797))
    (spring (first 1763) (second 1761) (length 57.315090))
    (spring (first 1761) (second 1767) (length 56.568542))
    (spring (first 1760) (second 1766) (length 55.973431))
    (spring (first 1766) (second 1756) (length 60.140659))
    (spring (first 1755) (second 1761) (length 58.728096))
    (spring (first 1758) (second 1756) (length 57.999672))
    (spring (first 1756) (second 1762) (length 55.172581))
    (spring (first 1764) (second 1766) (length 57.384289))
    (spring (first 1763) (second 1769) (length 60.827553))
    (spring (first 1770) (second 1771) (length 38.013226))
    (spring (first 1771) (second 1772) (length 40.012486))
    (spring (first 1772) (second 1773) (length 39.013222))
    (spring (first 1773) (second 1770) (length 39.999996))
    (spring (first 1770) (second 1772) (length 55.154636))
    (spring (first 1771) (second 1773) (length 55.901711))
    (spring (first 1774) (second 1775) (length 38.012722))
    (spring (first 1775) (second 1776) (length 40.012363))
    (spring (first 1776) (second 1777) (length 39.012718))
    (spring (first 1777) (second 1774) (length 39.999882))
    (spring (first 1774) (second 1776) (length 55.153946))
    (spring (first 1775) (second 1777) (length 55.901527))
    (spring (first 1778) (second 1779) (length 38.012981))
    (spring (first 1779) (second 1780) (length 40.012486))
    (spring (first 1780) (second 1781) (length 39.012733))
    (spring (first 1781) (second 1778) (length 40.000114))
    (spring (first 1778) (second 1780) (length 55.154469))
    (spring (first 1779) (second 1781) (length 55.901459))
    (spring (first 1782) (second 1783) (length 38.013088))
    (spring (first 1783) (second 1784) (length 40.012363))
    (spring (first 1784) (second 1785) (length 39.012474))
    (spring (first 1785) (second 1782) (length 39.999866))
    (spring (first 1782) (second 1784) (length 55.154285))
    (spring (first 1783) (second 1785) (length 55.901272))
    (spring (first 1771) (second 1774) (length 43.000385))
    (spring (first 1777) (second 1782) (length 41.048939))
    (spring (first 1782) (second 1779) (length 44.045677))
    (spring (first 1779) (second 1772) (length 39.000042))
    (spring (first 1772) (second 1777) (length 41.999683))
    (spring (first 1776) (second 1783) (length 41.012390))
    (spring (first 1785) (second 1780) (length 43.046761))
    (spring (first 1778) (second 1773) (length 39.012840))
    (spring (first 1773) (second 1779) (length 54.451714))
    (spring (first 1779) (second 1777) (length 57.315262))
    (spring (first 1777) (second 1783) (length 56.568630))
    (spring (first 1776) (second 1782) (length 55.973286))
    (spring (first 1782) (second 1772) (length 60.141266))
    (spring (first 1771) (second 1777) (length 58.728096))
    (spring (first 1774) (second 1772) (length 58.000050))
    (spring (first 1772) (second 1778) (length 55.172756))
    (spring (first 1780) (second 1782) (length 57.384583))
    (spring (first 1779) (second 1785) (length 60.827984))
    (spring (first 1774) (second 1769) (length 37.013351))
    (spring (first 1764) (second 1771) (length 39.012741))
    (spring (first 1770) (second 1765) (length 38.999668))
    (spring (first 1768) (second 1775) (length 37.053913))
    (spring (first 1775) (second 1769) (length 51.623619))
    (spring (first 1771) (second 1765) (length 53.739784))
    (spring (first 1764) (second 1770) (length 55.865936))
    (spring (first 1771) (second 1769) (length 57.488976))
    (spring (first 1764) (second 1774) (length 57.315048))
    (spring (first 1774) (second 1768) (length 55.172256))
    (spring (first 1727) (second 1754) (length 50.040279))
    (spring (first 1757) (second 1735) (length 64.443916))
    (spring (first 1728) (second 1762) (length 62.201176))
    (spring (first 1762) (second 1736) (length 65.115479))
    (spring (first 1735) (second 1765) (length 60.803238))
    (spring (first 1765) (second 1743) (length 64.660706))
    (spring (first 1752) (second 1781) (length 48.166595))
    (spring (first 1778) (second 1751) (length 49.163303))
    (spring (first 1744) (second 1773) (length 49.040764))
    (spring (first 1743) (second 1770) (length 50.040039))
    (spring (first 1736) (second 1765) (length 48.166721))
    (spring (first 1728) (second 1757) (length 49.040890))
    (spring (first 1727) (second 1757) (length 62.801472))
    (spring (first 1754) (second 1728) (length 64.537056))
    (spring (first 1735) (second 1762) (length 49.163074))
    (spring (first 1736) (second 1770) (length 59.405296))
    (spring (first 1770) (second 1744) (length 64.536789))
    (spring (first 1744) (second 1778) (length 62.201229))
    (spring (first 1778) (second 1752) (length 65.115265))
    (spring (first 1781) (second 1751) (length 60.803509))
    (spring (first 1751) (second 1773) (length 64.444023))
    (spring (first 1773) (second 1743) (length 62.801300))
    (spring (first 1786) (second 1787) (length 38.012753))
    (spring (first 1787) (second 1788) (length 40.012672))
    (spring (first 1788) (second 1789) (length 39.013725))
    (spring (first 1789) (second 1786) (length 39.999706))
    (spring (first 1786) (second 1788) (length 55.154388))
    (spring (first 1787) (second 1789) (length 55.901890))
    (spring (first 1790) (second 1791) (length 38.012966))
    (spring (first 1791) (second 1792) (length 40.012669))
    (spring (first 1792) (second 1793) (length 39.012840))
    (spring (first 1793) (second 1790) (length 40.000000))
    (spring (first 1790) (second 1792) (length 55.154289))
    (spring (first 1791) (second 1793) (length 55.901745))
    (spring (first 1794) (second 1795) (length 38.012875))
    (spring (first 1795) (second 1796) (length 40.012241))
    (spring (first 1796) (second 1797) (length 39.012993))
    (spring (first 1797) (second 1794) (length 39.999882))
    (spring (first 1794) (second 1796) (length 55.154045))
    (spring (first 1795) (second 1797) (length 55.901634))
    (spring (first 1798) (second 1799) (length 38.013332))
    (spring (first 1799) (second 1800) (length 40.012424))
    (spring (first 1800) (second 1801) (length 39.012840))
    (spring (first 1801) (second 1798) (length 39.999874))
    (spring (first 1798) (second 1800) (length 55.154324))
    (spring (first 1799) (second 1801) (length 55.901699))
    (spring (first 1787) (second 1790) (length 43.000263))
    (spring (first 1793) (second 1798) (length 41.048813))
    (spring (first 1798) (second 1795) (length 44.045437))
    (spring (first 1795) (second 1788) (length 38.999859))
    (spring (first 1788) (second 1793) (length 41.999561))
    (spring (first 1792) (second 1799) (length 41.012146))
    (spring (first 1801) (second 1796) (length 43.046410))
    (spring (first 1794) (second 1789) (length 39.012966))
    (spring (first 1789) (second 1795) (length 54.452068))
    (spring (first 1795) (second 1793) (length 57.315090))
    (spring (first 1793) (second 1799) (length 56.568539))
    (spring (first 1792) (second 1798) (length 55.973362))
    (spring (first 1798) (second 1788) (length 60.140965))
    (spring (first 1787) (second 1793) (length 58.728268))
    (spring (first 1790) (second 1788) (length 57.999901))
    (spring (first 1788) (second 1794) (length 55.172638))
    (spring (first 1796) (second 1798) (length 57.384331))
    (spring (first 1795) (second 1801) (length 60.827637))
    (spring (first 1802) (second 1803) (length 38.012753))
    (spring (first 1803) (second 1804) (length 40.012608))
    (spring (first 1804) (second 1805) (length 39.013115))
    (spring (first 1805) (second 1802) (length 39.999947))
    (spring (first 1802) (second 1804) (length 55.154140))
    (spring (first 1803) (second 1805) (length 55.901848))
    (spring (first 1806) (second 1807) (length 38.013088))
    (spring (first 1807) (second 1808) (length 40.012730))
    (spring (first 1808) (second 1809) (length 39.012718))
    (spring (first 1809) (second 1806) (length 40.000301))
    (spring (first 1806) (second 1808) (length 55.154503))
    (spring (first 1807) (second 1809) (length 55.901791))
    (spring (first 1810) (second 1811) (length 38.013363))
    (spring (first 1811) (second 1812) (length 40.012360))
    (spring (first 1812) (second 1813) (length 39.012627))
    (spring (first 1813) (second 1810) (length 40.000122))
    (spring (first 1810) (second 1812) (length 55.154140))
    (spring (first 1811) (second 1813) (length 55.901890))
    (spring (first 1814) (second 1815) (length 38.012966))
    (spring (first 1815) (second 1816) (length 40.012669))
    (spring (first 1816) (second 1817) (length 39.013084))
    (spring (first 1817) (second 1814) (length 39.999939))
    (spring (first 1814) (second 1816) (length 55.154411))
    (spring (first 1815) (second 1817) (length 55.901745))
    (spring (first 1803) (second 1806) (length 43.000259))
    (spring (first 1809) (second 1814) (length 41.048687))
    (spring (first 1814) (second 1811) (length 44.045185))
    (spring (first 1811) (second 1804) (length 39.000027))
    (spring (first 1804) (second 1809) (length 42.000294))
    (spring (first 1808) (second 1815) (length 41.012024))
    (spring (first 1817) (second 1812) (length 43.046642))
    (spring (first 1810) (second 1805) (length 39.012779))
    (spring (first 1805) (second 1811) (length 54.452282))
    (spring (first 1811) (second 1809) (length 57.314999))
    (spring (first 1809) (second 1815) (length 56.568024))
    (spring (first 1808) (second 1814) (length 55.973362))
    (spring (first 1814) (second 1804) (length 60.141445))
    (spring (first 1803) (second 1809) (length 58.728527))
    (spring (first 1806) (second 1804) (length 58.000343))
    (spring (first 1804) (second 1810) (length 55.172337))
    (spring (first 1812) (second 1814) (length 57.384861))
    (spring (first 1811) (second 1817) (length 60.827248))
    (spring (first 1806) (second 1801) (length 37.013367))
    (spring (first 1796) (second 1803) (length 39.013050))
    (spring (first 1802) (second 1797) (length 39.000084))
    (spring (first 1800) (second 1807) (length 37.053883))
    (spring (first 1807) (second 1801) (length 51.623577))
    (spring (first 1803) (second 1797) (length 53.740101))
    (spring (first 1796) (second 1802) (length 55.865986))
    (spring (first 1803) (second 1801) (length 57.489281))
    (spring (first 1796) (second 1806) (length 57.314960))
    (spring (first 1806) (second 1800) (length 55.172298))
    (spring (first 1818) (second 1819) (length 38.013088))
    (spring (first 1819) (second 1820) (length 40.012486))
    (spring (first 1820) (second 1821) (length 39.013206))
    (spring (first 1821) (second 1818) (length 40.000000))
    (spring (first 1818) (second 1820) (length 55.154629))
    (spring (first 1819) (second 1821) (length 55.901611))
    (spring (first 1822) (second 1823) (length 38.013577))
    (spring (first 1823) (second 1824) (length 40.012424))
    (spring (first 1824) (second 1825) (length 39.012840))
    (spring (first 1825) (second 1822) (length 39.999989))
    (spring (first 1822) (second 1824) (length 55.154800))
    (spring (first 1823) (second 1825) (length 55.901482))
    (spring (first 1826) (second 1827) (length 38.013210))
    (spring (first 1827) (second 1828) (length 40.012486))
    (spring (first 1828) (second 1829) (length 39.012718))
    (spring (first 1829) (second 1826) (length 40.000237))
    (spring (first 1826) (second 1828) (length 55.154457))
    (spring (first 1827) (second 1829) (length 55.901703))
    (spring (first 1830) (second 1831) (length 38.013821))
    (spring (first 1831) (second 1832) (length 40.012424))
    (spring (first 1832) (second 1833) (length 39.013329))
    (spring (first 1833) (second 1830) (length 39.999989))
    (spring (first 1830) (second 1832) (length 55.154964))
    (spring (first 1831) (second 1833) (length 55.901825))
    (spring (first 1819) (second 1822) (length 42.999466))
    (spring (first 1825) (second 1830) (length 41.048679))
    (spring (first 1830) (second 1827) (length 44.044762))
    (spring (first 1827) (second 1820) (length 38.999794))
    (spring (first 1820) (second 1825) (length 41.999619))
    (spring (first 1824) (second 1831) (length 41.012085))
    (spring (first 1833) (second 1828) (length 43.046093))
    (spring (first 1826) (second 1821) (length 39.012718))
    (spring (first 1821) (second 1827) (length 54.451786))
    (spring (first 1827) (second 1825) (length 57.314911))
    (spring (first 1825) (second 1831) (length 56.568581))
    (spring (first 1824) (second 1830) (length 55.973511))
    (spring (first 1830) (second 1820) (length 60.140572))
    (spring (first 1819) (second 1825) (length 58.728008))
    (spring (first 1822) (second 1820) (length 57.999496))
    (spring (first 1820) (second 1826) (length 55.172569))
    (spring (first 1828) (second 1830) (length 57.384109))
    (spring (first 1827) (second 1833) (length 60.827377))
    (spring (first 1834) (second 1835) (length 38.013210))
    (spring (first 1835) (second 1836) (length 40.012608))
    (spring (first 1836) (second 1837) (length 39.013206))
    (spring (first 1837) (second 1834) (length 40.000179))
    (spring (first 1834) (second 1836) (length 55.154713))
    (spring (first 1835) (second 1837) (length 55.901829))
    (spring (first 1838) (second 1839) (length 38.012844))
    (spring (first 1839) (second 1840) (length 40.012486))
    (spring (first 1840) (second 1841) (length 39.012840))
    (spring (first 1841) (second 1838) (length 40.000065))
    (spring (first 1838) (second 1840) (length 55.154118))
    (spring (first 1839) (second 1841) (length 55.901741))
    (spring (first 1842) (second 1843) (length 38.012966))
    (spring (first 1843) (second 1844) (length 40.012547))
    (spring (first 1844) (second 1845) (length 39.012718))
    (spring (first 1845) (second 1842) (length 40.000114))
    (spring (first 1842) (second 1844) (length 55.154457))
    (spring (first 1843) (second 1845) (length 55.901489))
    (spring (first 1846) (second 1847) (length 38.013210))
    (spring (first 1847) (second 1848) (length 40.012486))
    (spring (first 1848) (second 1849) (length 39.012596))
    (spring (first 1849) (second 1846) (length 39.999928))
    (spring (first 1846) (second 1848) (length 55.154411))
    (spring (first 1847) (second 1849) (length 55.901443))
    (spring (first 1835) (second 1838) (length 43.000202))
    (spring (first 1841) (second 1846) (length 41.048878))
    (spring (first 1846) (second 1843) (length 44.045494))
    (spring (first 1843) (second 1836) (length 39.000042))
    (spring (first 1836) (second 1841) (length 41.999500))
    (spring (first 1840) (second 1847) (length 41.012329))
    (spring (first 1849) (second 1844) (length 43.046577))
    (spring (first 1842) (second 1837) (length 39.012840))
    (spring (first 1837) (second 1843) (length 54.451660))
    (spring (first 1843) (second 1841) (length 57.315083))
    (spring (first 1841) (second 1847) (length 56.568626))
    (spring (first 1840) (second 1846) (length 55.973370))
    (spring (first 1846) (second 1836) (length 60.141136))
    (spring (first 1835) (second 1841) (length 58.728088))
    (spring (first 1838) (second 1836) (length 57.999996))
    (spring (first 1836) (second 1842) (length 55.172787))
    (spring (first 1844) (second 1846) (length 57.384483))
    (spring (first 1843) (second 1849) (length 60.827896))
    (spring (first 1838) (second 1833) (length 37.013535))
    (spring (first 1828) (second 1835) (length 39.012863))
    (spring (first 1834) (second 1829) (length 38.999790))
    (spring (first 1832) (second 1839) (length 37.054092))
    (spring (first 1839) (second 1833) (length 51.623837))
    (spring (first 1835) (second 1829) (length 53.739861))
    (spring (first 1828) (second 1834) (length 55.866013))
    (spring (first 1835) (second 1833) (length 57.488949))
    (spring (first 1828) (second 1838) (length 57.315002))
    (spring (first 1838) (second 1832) (length 55.172470))
    (spring (first 1791) (second 1818) (length 50.040207))
    (spring (first 1821) (second 1799) (length 64.443863))
    (spring (first 1792) (second 1826) (length 62.201115))
    (spring (first 1826) (second 1800) (length 65.115379))
    (spring (first 1799) (second 1829) (length 60.803177))
    (spring (first 1829) (second 1807) (length 64.660683))
    (spring (first 1816) (second 1845) (length 48.166519))
    (spring (first 1842) (second 1815) (length 49.163219))
    (spring (first 1808) (second 1837) (length 49.040688))
    (spring (first 1807) (second 1834) (length 50.039963))
    (spring (first 1800) (second 1829) (length 48.166641))
    (spring (first 1792) (second 1821) (length 49.040813))
    (spring (first 1791) (second 1821) (length 62.801373))
    (spring (first 1818) (second 1792) (length 64.537003))
    (spring (first 1799) (second 1826) (length 49.162998))
    (spring (first 1800) (second 1834) (length 59.405346))
    (spring (first 1834) (second 1808) (length 64.536850))
    (spring (first 1808) (second 1842) (length 62.201168))
    (spring (first 1842) (second 1816) (length 65.115211))
    (spring (first 1845) (second 1815) (length 60.803520))
    (spring (first 1815) (second 1837) (length 64.443886))
    (spring (first 1837) (second 1807) (length 62.801392))
    (spring (first 1850) (second 1851) (length 38.012753))
    (spring (first 1851) (second 1852) (length 40.012611))
    (spring (first 1852) (second 1853) (length 39.013725))
    (spring (first 1853) (second 1850) (length 39.999767))
    (spring (first 1850) (second 1852) (length 55.154388))
    (spring (first 1851) (second 1853) (length 55.901890))
    (spring (first 1854) (second 1855) (length 38.012966))
    (spring (first 1855) (second 1856) (length 40.012730))
    (spring (first 1856) (second 1857) (length 39.012840))
    (spring (first 1857) (second 1854) (length 40.000000))
    (spring (first 1854) (second 1856) (length 55.154289))
    (spring (first 1855) (second 1857) (length 55.901791))
    (spring (first 1858) (second 1859) (length 38.012875))
    (spring (first 1859) (second 1860) (length 40.012241))
    (spring (first 1860) (second 1861) (length 39.012993))
    (spring (first 1861) (second 1858) (length 39.999882))
    (spring (first 1858) (second 1860) (length 55.154045))
    (spring (first 1859) (second 1861) (length 55.901634))
    (spring (first 1862) (second 1863) (length 38.013332))
    (spring (first 1863) (second 1864) (length 40.012486))
    (spring (first 1864) (second 1865) (length 39.012840))
    (spring (first 1865) (second 1862) (length 39.999874))
    (spring (first 1862) (second 1864) (length 55.154369))
    (spring (first 1863) (second 1865) (length 55.901699))
    (spring (first 1851) (second 1854) (length 43.000263))
    (spring (first 1857) (second 1862) (length 41.048813))
    (spring (first 1862) (second 1859) (length 44.045437))
    (spring (first 1859) (second 1852) (length 38.999920))
    (spring (first 1852) (second 1857) (length 41.999561))
    (spring (first 1856) (second 1863) (length 41.012146))
    (spring (first 1865) (second 1860) (length 43.046410))
    (spring (first 1858) (second 1853) (length 39.012966))
    (spring (first 1853) (second 1859) (length 54.452068))
    (spring (first 1859) (second 1857) (length 57.315090))
    (spring (first 1857) (second 1863) (length 56.568539))
    (spring (first 1856) (second 1862) (length 55.973362))
    (spring (first 1862) (second 1852) (length 60.141006))
    (spring (first 1851) (second 1857) (length 58.728268))
    (spring (first 1854) (second 1852) (length 57.999859))
    (spring (first 1852) (second 1858) (length 55.172680))
    (spring (first 1860) (second 1862) (length 57.384331))
    (spring (first 1859) (second 1865) (length 60.827637))
    (spring (first 1866) (second 1867) (length 38.012753))
    (spring (first 1867) (second 1868) (length 40.012608))
    (spring (first 1868) (second 1869) (length 39.013115))
    (spring (first 1869) (second 1866) (length 40.000008))
    (spring (first 1866) (second 1868) (length 55.154140))
    (spring (first 1867) (second 1869) (length 55.901894))
    (spring (first 1870) (second 1871) (length 38.013088))
    (spring (first 1871) (second 1872) (length 40.012730))
    (spring (first 1872) (second 1873) (length 39.012718))
    (spring (first 1873) (second 1870) (length 40.000240))
    (spring (first 1870) (second 1872) (length 55.154461))
    (spring (first 1871) (second 1873) (length 55.901791))
    (spring (first 1874) (second 1875) (length 38.013363))
    (spring (first 1875) (second 1876) (length 40.012299))
    (spring (first 1876) (second 1877) (length 39.012627))
    (spring (first 1877) (second 1874) (length 40.000061))
    (spring (first 1874) (second 1876) (length 55.154095))
    (spring (first 1875) (second 1877) (length 55.901844))
    (spring (first 1878) (second 1879) (length 38.012966))
    (spring (first 1879) (second 1880) (length 40.012424))
    (spring (first 1880) (second 1881) (length 39.013084))
    (spring (first 1881) (second 1878) (length 39.999695))
    (spring (first 1878) (second 1880) (length 55.154236))
    (spring (first 1879) (second 1881) (length 55.901569))
    (spring (first 1867) (second 1870) (length 43.000259))
    (spring (first 1873) (second 1878) (length 41.049053))
    (spring (first 1878) (second 1875) (length 44.045193))
    (spring (first 1875) (second 1868) (length 39.000271))
    (spring (first 1868) (second 1873) (length 42.000294))
    (spring (first 1872) (second 1879) (length 41.012390))
    (spring (first 1881) (second 1876) (length 43.046638))
    (spring (first 1874) (second 1869) (length 39.012962))
    (spring (first 1869) (second 1875) (length 54.452412))
    (spring (first 1875) (second 1873) (length 57.315159))
    (spring (first 1873) (second 1879) (length 56.568287))
    (spring (first 1872) (second 1878) (length 55.973633))
    (spring (first 1878) (second 1868) (length 60.141701))
    (spring (first 1867) (second 1873) (length 58.728527))
    (spring (first 1870) (second 1868) (length 58.000305))
    (spring (first 1868) (second 1874) (length 55.172508))
    (spring (first 1876) (second 1878) (length 57.384743))
    (spring (first 1875) (second 1881) (length 60.827164))
    (spring (first 1870) (second 1865) (length 37.013245))
    (spring (first 1860) (second 1867) (length 39.012867))
    (spring (first 1866) (second 1861) (length 38.999901))
    (spring (first 1864) (second 1871) (length 37.053642))
    (spring (first 1871) (second 1865) (length 51.623447))
    (spring (first 1867) (second 1861) (length 53.739967))
    (spring (first 1860) (second 1866) (length 55.865856))
    (spring (first 1867) (second 1865) (length 57.489166))
    (spring (first 1860) (second 1870) (length 57.314873))
    (spring (first 1870) (second 1864) (length 55.172176))
    (spring (first 1882) (second 1883) (length 38.013027))
    (spring (first 1883) (second 1884) (length 40.012486))
    (spring (first 1884) (second 1885) (length 39.013145))
    (spring (first 1885) (second 1882) (length 40.000000))
    (spring (first 1882) (second 1884) (length 55.154587))
    (spring (first 1883) (second 1885) (length 55.901569))
    (spring (first 1886) (second 1887) (length 38.013577))
    (spring (first 1887) (second 1888) (length 40.012363))
    (spring (first 1888) (second 1889) (length 39.012779))
    (spring (first 1889) (second 1886) (length 39.999985))
    (spring (first 1886) (second 1888) (length 55.154800))
    (spring (first 1887) (second 1889) (length 55.901394))
    (spring (first 1890) (second 1891) (length 38.013149))
    (spring (first 1891) (second 1892) (length 40.012486))
    (spring (first 1892) (second 1893) (length 39.012657))
    (spring (first 1893) (second 1890) (length 40.000237))
    (spring (first 1890) (second 1892) (length 55.154415))
    (spring (first 1891) (second 1893) (length 55.901661))
    (spring (first 1894) (second 1895) (length 38.013821))
    (spring (first 1895) (second 1896) (length 40.012486))
    (spring (first 1896) (second 1897) (length 39.013329))
    (spring (first 1897) (second 1894) (length 40.000111))
    (spring (first 1894) (second 1896) (length 55.155052))
    (spring (first 1895) (second 1897) (length 55.901867))
    (spring (first 1883) (second 1886) (length 42.999462))
    (spring (first 1889) (second 1894) (length 41.048676))
    (spring (first 1894) (second 1891) (length 44.044758))
    (spring (first 1891) (second 1884) (length 38.999794))
    (spring (first 1884) (second 1889) (length 41.999680))
    (spring (first 1888) (second 1895) (length 41.012146))
    (spring (first 1897) (second 1892) (length 43.046097))
    (spring (first 1890) (second 1885) (length 39.012718))
    (spring (first 1885) (second 1891) (length 54.451744))
    (spring (first 1891) (second 1889) (length 57.314999))
    (spring (first 1889) (second 1895) (length 56.568584))
    (spring (first 1888) (second 1894) (length 55.973511))
    (spring (first 1894) (second 1884) (length 60.140530))
    (spring (first 1883) (second 1889) (length 58.728008))
    (spring (first 1886) (second 1884) (length 57.999538))
    (spring (first 1884) (second 1890) (length 55.172527))
    (spring (first 1892) (second 1894) (length 57.384148))
    (spring (first 1891) (second 1897) (length 60.827423))
    (spring (first 1898) (second 1899) (length 38.013149))
    (spring (first 1899) (second 1900) (length 40.012608))
    (spring (first 1900) (second 1901) (length 39.013145))
    (spring (first 1901) (second 1898) (length 40.000118))
    (spring (first 1898) (second 1900) (length 55.154671))
    (spring (first 1899) (second 1901) (length 55.901745))
    (spring (first 1902) (second 1903) (length 38.012844))
    (spring (first 1903) (second 1904) (length 40.012486))
    (spring (first 1904) (second 1905) (length 39.012779))
    (spring (first 1905) (second 1902) (length 40.000004))
    (spring (first 1902) (second 1904) (length 55.154076))
    (spring (first 1903) (second 1905) (length 55.901699))
    (spring (first 1906) (second 1907) (length 38.012966))
    (spring (first 1907) (second 1908) (length 40.012424))
    (spring (first 1908) (second 1909) (length 39.012718))
    (spring (first 1909) (second 1906) (length 40.000053))
    (spring (first 1906) (second 1908) (length 55.154411))
    (spring (first 1907) (second 1909) (length 55.901402))
    (spring (first 1910) (second 1911) (length 38.013149))
    (spring (first 1911) (second 1912) (length 40.012302))
    (spring (first 1912) (second 1913) (length 39.012535))
    (spring (first 1913) (second 1910) (length 39.999805))
    (spring (first 1910) (second 1912) (length 55.154282))
    (spring (first 1911) (second 1913) (length 55.901268))
    (spring (first 1899) (second 1902) (length 43.000263))
    (spring (first 1905) (second 1910) (length 41.049183))
    (spring (first 1910) (second 1907) (length 44.045494))
    (spring (first 1907) (second 1900) (length 39.000286))
    (spring (first 1900) (second 1905) (length 41.999561))
    (spring (first 1904) (second 1911) (length 41.012634))
    (spring (first 1913) (second 1908) (length 43.046577))
    (spring (first 1906) (second 1901) (length 39.013084))
    (spring (first 1901) (second 1907) (length 54.451878))
    (spring (first 1907) (second 1905) (length 57.315289))
    (spring (first 1905) (second 1911) (length 56.568848))
    (spring (first 1904) (second 1910) (length 55.973507))
    (spring (first 1910) (second 1900) (length 60.141350))
    (spring (first 1899) (second 1905) (length 58.728092))
    (spring (first 1902) (second 1900) (length 58.000042))
    (spring (first 1900) (second 1906) (length 55.172874))
    (spring (first 1908) (second 1910) (length 57.384403))
    (spring (first 1907) (second 1913) (length 60.827812))
    (spring (first 1902) (second 1897) (length 37.013348))
    (spring (first 1892) (second 1899) (length 39.012741))
    (spring (first 1898) (second 1893) (length 38.999668))
    (spring (first 1896) (second 1903) (length 37.053905))
    (spring (first 1903) (second 1897) (length 51.623749))
    (spring (first 1899) (second 1893) (length 53.739731))
    (spring (first 1892) (second 1898) (length 55.865883))
    (spring (first 1899) (second 1897) (length 57.488831))
    (spring (first 1892) (second 1902) (length 57.314960))
    (spring (first 1902) (second 1896) (length 55.172302))
    (spring (first 1855) (second 1882) (length 50.040203))
    (spring (first 1885) (second 1863) (length 64.443863))
    (spring (first 1856) (second 1890) (length 62.201115))
    (spring (first 1890) (second 1864) (length 65.115417))
    (spring (first 1863) (second 1893) (length 60.803177))
    (spring (first 1893) (second 1871) (length 64.660568))
    (spring (first 1880) (second 1909) (length 48.166515))
    (spring (first 1906) (second 1879) (length 49.163227))
    (spring (first 1872) (second 1901) (length 49.040688))
    (spring (first 1871) (second 1898) (length 50.039959))
    (spring (first 1864) (second 1893) (length 48.166645))
    (spring (first 1856) (second 1885) (length 49.040813))
    (spring (first 1855) (second 1885) (length 62.801411))
    (spring (first 1882) (second 1856) (length 64.537003))
    (spring (first 1863) (second 1890) (length 49.162998))
    (spring (first 1864) (second 1898) (length 59.405235))
    (spring (first 1898) (second 1872) (length 64.536812))
    (spring (first 1872) (second 1906) (length 62.201317))
    (spring (first 1906) (second 1880) (length 65.115128))
    (spring (first 1909) (second 1879) (length 60.803410))
    (spring (first 1879) (second 1901) (length 64.444122))
    (spring (first 1901) (second 1871) (length 62.801392))
    (spring (first 1695) (second 1877) (length 63.030163))
    (spring (first 1784) (second 1786) (length 66.146332))
    (spring (first 1695) (second 1784) (length 47.484505))
    (spring (first 1784) (second 1694) (length 61.997841))
    (spring (first 1694) (second 1785) (length 47.481274))
    (spring (first 1785) (second 1691) (length 63.819710))
    (spring (first 1691) (second 1780) (length 49.481331))
    (spring (first 1690) (second 1780) (length 62.970901))
    (spring (first 1781) (second 1690) (length 49.498360))
    (spring (first 1663) (second 1781) (length 70.827271))
    (spring (first 1752) (second 1662) (length 61.997669))
    (spring (first 1662) (second 1753) (length 47.481384))
    (spring (first 1659) (second 1748) (length 49.481327))
    (spring (first 1658) (second 1749) (length 49.498791))
    (spring (first 1658) (second 1748) (length 62.970867))
    (spring (first 1749) (second 1659) (length 62.443207))
    (spring (first 1748) (second 1662) (length 65.787552))
    (spring (first 1659) (second 1753) (length 63.819416))
    (spring (first 1753) (second 1663) (length 60.262127))
    (spring (first 1663) (second 1752) (length 47.484264))
    (spring (first 1752) (second 1690) (length 67.114761))
    (spring (first 1781) (second 1691) (length 62.443127))
    (spring (first 1780) (second 1694) (length 65.786858))
    (spring (first 1785) (second 1695) (length 60.262039))
    (spring (first 1786) (second 1876) (length 62.970730))
    (spring (first 1877) (second 1787) (length 62.443069))
    (spring (first 1787) (second 1881) (length 63.819328))
    (spring (first 1881) (second 1791) (length 60.262062))
    (spring (first 1791) (second 1909) (length 70.827087))
    (spring (first 1819) (second 1908) (length 49.481148))
    (spring (first 1909) (second 1818) (length 49.498177))
    (spring (first 1822) (second 1913) (length 47.481091))
    (spring (first 1823) (second 1912) (length 47.484322))
    (spring (first 1912) (second 1822) (length 61.997742))
    (spring (first 1913) (second 1823) (length 60.261978))
    (spring (first 1822) (second 1908) (length 65.786598))
    (spring (first 1819) (second 1913) (length 63.819450))
    (spring (first 1908) (second 1818) (length 62.970749))
    (spring (first 1909) (second 1819) (length 62.442974))
    (spring (first 1818) (second 1880) (length 67.114624))
    (spring (first 1880) (second 1791) (length 47.484142))
    (spring (first 1790) (second 1881) (length 47.481262))
    (spring (first 1880) (second 1790) (length 61.997608))
    (spring (first 1790) (second 1876) (length 65.787407))
    (spring (first 1787) (second 1876) (length 49.481144))
    (spring (first 1877) (second 1786) (length 49.498608))
    (spring (first 1720) (second 1813) (length 41.674278))
    (spring (first 1810) (second 1719) (length 42.674320))
    (spring (first 1719) (second 1805) (length 56.553173))
    (spring (first 1805) (second 1711) (length 61.118408))
    (spring (first 1711) (second 1797) (length 56.744957))
    (spring (first 1703) (second 1797) (length 59.009304))
    (spring (first 1703) (second 1789) (length 56.552826))
    (spring (first 1789) (second 1695) (length 61.118237))
    (spring (first 1784) (second 1877) (length 41.674274))
    (spring (first 1877) (second 1783) (length 59.009380))
    (spring (first 1783) (second 1869) (length 56.553120))
    (spring (first 1869) (second 1775) (length 61.118397))
    (spring (first 1775) (second 1861) (length 56.744869))
    (spring (first 1861) (second 1767) (length 59.009167))
    (spring (first 1767) (second 1858) (length 42.674313))
    (spring (first 1760) (second 1853) (length 42.756241))
    (spring (first 1759) (second 1850) (length 43.755024))
    (spring (first 1850) (second 1760) (length 56.631618))
    (spring (first 1759) (second 1853) (length 61.118137))
    (spring (first 1853) (second 1767) (length 56.552937))
    (spring (first 1760) (second 1858) (length 60.423229))
    (spring (first 1858) (second 1768) (length 57.233974))
    (spring (first 1768) (second 1861) (length 41.674019))
    (spring (first 1866) (second 1775) (length 43.755024))
    (spring (first 1866) (second 1768) (length 57.595379))
    (spring (first 1776) (second 1866) (length 56.631714))
    (spring (first 1776) (second 1869) (length 42.756504))
    (spring (first 1776) (second 1874) (length 60.423405))
    (spring (first 1874) (second 1784) (length 57.233982))
    (spring (first 1783) (second 1874) (length 42.674313))
    (spring (first 1696) (second 1786) (length 56.631516))
    (spring (first 1696) (second 1789) (length 42.756264))
    (spring (first 1704) (second 1797) (length 41.674038))
    (spring (first 1704) (second 1794) (length 57.233906))
    (spring (first 1794) (second 1703) (length 42.674335))
    (spring (first 1696) (second 1794) (length 60.423328))
    (spring (first 1802) (second 1711) (length 43.755047))
    (spring (first 1704) (second 1802) (length 57.595604))
    (spring (first 1802) (second 1712) (length 56.631725))
    (spring (first 1712) (second 1805) (length 42.756512))
    (spring (first 1712) (second 1810) (length 60.423241))
    (spring (first 1810) (second 1720) (length 57.234200))
    (spring (first 1719) (second 1813) (length 59.009262))
    (spring (first 1695) (second 1786) (length 43.755054))
    (spring (first 1916) (second 1917) (length 38.012783))
    (spring (first 1917) (second 1918) (length 40.012672))
    (spring (first 1918) (second 1919) (length 39.013634))
    (spring (first 1919) (second 1916) (length 39.999706))
    (spring (first 1916) (second 1918) (length 55.154411))
    (spring (first 1917) (second 1919) (length 55.901825))
    (spring (first 1920) (second 1921) (length 38.012722))
    (spring (first 1921) (second 1922) (length 40.012669))
    (spring (first 1922) (second 1923) (length 39.012596))
    (spring (first 1923) (second 1920) (length 40.000000))
    (spring (first 1920) (second 1922) (length 55.154118))
    (spring (first 1921) (second 1923) (length 55.901577))
    (spring (first 1924) (second 1925) (length 38.012783))
    (spring (first 1925) (second 1926) (length 40.012241))
    (spring (first 1926) (second 1927) (length 39.012901))
    (spring (first 1927) (second 1924) (length 39.999882))
    (spring (first 1924) (second 1926) (length 55.153896))
    (spring (first 1925) (second 1927) (length 55.901657))
    (spring (first 1928) (second 1929) (length 38.013210))
    (spring (first 1929) (second 1930) (length 40.012486))
    (spring (first 1930) (second 1931) (length 39.012596))
    (spring (first 1931) (second 1928) (length 39.999935))
    (spring (first 1928) (second 1930) (length 55.154202))
    (spring (first 1929) (second 1931) (length 55.901657))
    (spring (first 1917) (second 1920) (length 43.000263))
    (spring (first 1923) (second 1928) (length 41.048813))
    (spring (first 1928) (second 1925) (length 44.045437))
    (spring (first 1925) (second 1918) (length 38.999859))
    (spring (first 1918) (second 1923) (length 41.999561))
    (spring (first 1922) (second 1929) (length 41.012146))
    (spring (first 1931) (second 1926) (length 43.046535))
    (spring (first 1924) (second 1919) (length 39.012966))
    (spring (first 1919) (second 1925) (length 54.452003))
    (spring (first 1925) (second 1923) (length 57.315090))
    (spring (first 1923) (second 1929) (length 56.568455))
    (spring (first 1922) (second 1928) (length 55.973198))
    (spring (first 1928) (second 1918) (length 60.140965))
    (spring (first 1917) (second 1923) (length 58.728268))
    (spring (first 1920) (second 1918) (length 57.999901))
    (spring (first 1918) (second 1924) (length 55.172573))
    (spring (first 1926) (second 1928) (length 57.384422))
    (spring (first 1925) (second 1931) (length 60.827682))
    (spring (first 1932) (second 1933) (length 38.012783))
    (spring (first 1933) (second 1934) (length 40.012547))
    (spring (first 1934) (second 1935) (length 39.013145))
    (spring (first 1935) (second 1932) (length 39.999886))
    (spring (first 1932) (second 1934) (length 55.154118))
    (spring (first 1933) (second 1935) (length 55.901825))
    (spring (first 1936) (second 1937) (length 38.012966))
    (spring (first 1937) (second 1938) (length 40.012669))
    (spring (first 1938) (second 1939) (length 39.012596))
    (spring (first 1939) (second 1936) (length 40.000240))
    (spring (first 1936) (second 1938) (length 55.154377))
    (spring (first 1937) (second 1939) (length 55.901665))
    (spring (first 1940) (second 1941) (length 38.013271))
    (spring (first 1941) (second 1942) (length 40.012363))
    (spring (first 1942) (second 1943) (length 39.012657))
    (spring (first 1943) (second 1940) (length 40.000122))
    (spring (first 1940) (second 1942) (length 55.154118))
    (spring (first 1941) (second 1943) (length 55.901871))
    (spring (first 1944) (second 1945) (length 38.012966))
    (spring (first 1945) (second 1946) (length 40.012730))
    (spring (first 1946) (second 1947) (length 39.013084))
    (spring (first 1947) (second 1944) (length 40.000000))
    (spring (first 1944) (second 1946) (length 55.154457))
    (spring (first 1945) (second 1947) (length 55.901791))
    (spring (first 1933) (second 1936) (length 43.000259))
    (spring (first 1939) (second 1944) (length 41.048683))
    (spring (first 1944) (second 1941) (length 44.045185))
    (spring (first 1941) (second 1934) (length 39.000027))
    (spring (first 1934) (second 1939) (length 42.000294))
    (spring (first 1938) (second 1945) (length 41.012024))
    (spring (first 1947) (second 1942) (length 43.046524))
    (spring (first 1940) (second 1935) (length 39.012840))
    (spring (first 1935) (second 1941) (length 54.452217))
    (spring (first 1941) (second 1939) (length 57.315090))
    (spring (first 1939) (second 1945) (length 56.567940))
    (spring (first 1938) (second 1944) (length 55.973362))
    (spring (first 1944) (second 1934) (length 60.141357))
    (spring (first 1933) (second 1939) (length 58.728485))
    (spring (first 1936) (second 1934) (length 58.000305))
    (spring (first 1934) (second 1940) (length 55.172401))
    (spring (first 1942) (second 1944) (length 57.384769))
    (spring (first 1941) (second 1947) (length 60.827293))
    (spring (first 1936) (second 1931) (length 37.013489))
    (spring (first 1926) (second 1933) (length 39.013229))
    (spring (first 1932) (second 1927) (length 39.000267))
    (spring (first 1930) (second 1937) (length 37.053997))
    (spring (first 1937) (second 1931) (length 51.623577))
    (spring (first 1933) (second 1927) (length 53.740253))
    (spring (first 1926) (second 1932) (length 55.866051))
    (spring (first 1933) (second 1931) (length 57.489357))
    (spring (first 1926) (second 1936) (length 57.315174))
    (spring (first 1936) (second 1930) (length 55.172199))
    (spring (first 1948) (second 1949) (length 38.013454))
    (spring (first 1949) (second 1950) (length 40.012486))
    (spring (first 1950) (second 1951) (length 39.013573))
    (spring (first 1951) (second 1948) (length 40.000000))
    (spring (first 1948) (second 1950) (length 55.154884))
    (spring (first 1949) (second 1951) (length 55.901863))
    (spring (first 1952) (second 1953) (length 38.013119))
    (spring (first 1953) (second 1954) (length 40.012424))
    (spring (first 1954) (second 1955) (length 39.012260))
    (spring (first 1955) (second 1952) (length 39.999985))
    (spring (first 1952) (second 1954) (length 55.154480))
    (spring (first 1953) (second 1955) (length 55.901077))
    (spring (first 1956) (second 1957) (length 38.013454))
    (spring (first 1957) (second 1958) (length 40.012547))
    (spring (first 1958) (second 1959) (length 39.013084))
    (spring (first 1959) (second 1956) (length 40.000240))
    (spring (first 1956) (second 1958) (length 55.154671))
    (spring (first 1957) (second 1959) (length 55.901958))
    (spring (first 1960) (second 1961) (length 38.013119))
    (spring (first 1961) (second 1962) (length 40.012486))
    (spring (first 1962) (second 1963) (length 39.012749))
    (spring (first 1963) (second 1960) (length 40.000050))
    (spring (first 1960) (second 1962) (length 55.154606))
    (spring (first 1961) (second 1963) (length 55.901379))
    (spring (first 1949) (second 1952) (length 42.999527))
    (spring (first 1955) (second 1960) (length 41.048679))
    (spring (first 1960) (second 1957) (length 44.044945))
    (spring (first 1957) (second 1950) (length 38.999794))
    (spring (first 1950) (second 1955) (length 41.999802))
    (spring (first 1954) (second 1961) (length 41.012085))
    (spring (first 1963) (second 1958) (length 43.046276))
    (spring (first 1956) (second 1951) (length 39.012718))
    (spring (first 1951) (second 1957) (length 54.452045))
    (spring (first 1957) (second 1955) (length 57.315048))
    (spring (first 1955) (second 1961) (length 56.568096))
    (spring (first 1954) (second 1960) (length 55.973122))
    (spring (first 1960) (second 1950) (length 60.140705))
    (spring (first 1949) (second 1955) (length 58.728138))
    (spring (first 1952) (second 1950) (length 57.999542))
    (spring (first 1950) (second 1956) (length 55.172741))
    (spring (first 1958) (second 1960) (length 57.384289))
    (spring (first 1957) (second 1963) (length 60.827553))
    (spring (first 1964) (second 1965) (length 38.013454))
    (spring (first 1965) (second 1966) (length 40.012547))
    (spring (first 1966) (second 1967) (length 39.013573))
    (spring (first 1967) (second 1964) (length 40.000183))
    (spring (first 1964) (second 1966) (length 55.154884))
    (spring (first 1965) (second 1967) (length 55.902039))
    (spring (first 1968) (second 1969) (length 38.012386))
    (spring (first 1969) (second 1970) (length 40.012486))
    (spring (first 1970) (second 1971) (length 39.012260))
    (spring (first 1971) (second 1968) (length 40.000065))
    (spring (first 1968) (second 1970) (length 55.153717))
    (spring (first 1969) (second 1971) (length 55.901424))
    (spring (first 1972) (second 1973) (length 38.013210))
    (spring (first 1973) (second 1974) (length 40.012486))
    (spring (first 1974) (second 1975) (length 39.013084))
    (spring (first 1975) (second 1972) (length 40.000057))
    (spring (first 1972) (second 1974) (length 55.154583))
    (spring (first 1973) (second 1975) (length 55.901703))
    (spring (first 1976) (second 1977) (length 38.012630))
    (spring (first 1977) (second 1978) (length 40.012486))
    (spring (first 1978) (second 1979) (length 39.012016))
    (spring (first 1979) (second 1976) (length 39.999989))
    (spring (first 1976) (second 1978) (length 55.154011))
    (spring (first 1977) (second 1979) (length 55.901085))
    (spring (first 1965) (second 1968) (length 43.000259))
    (spring (first 1971) (second 1976) (length 41.048882))
    (spring (first 1976) (second 1973) (length 44.045673))
    (spring (first 1973) (second 1966) (length 39.000103))
    (spring (first 1966) (second 1971) (length 41.999561))
    (spring (first 1970) (second 1977) (length 41.012329))
    (spring (first 1979) (second 1974) (length 43.046764))
    (spring (first 1972) (second 1967) (length 39.012901))
    (spring (first 1967) (second 1973) (length 54.451962))
    (spring (first 1973) (second 1971) (length 57.315170))
    (spring (first 1971) (second 1977) (length 56.568310))
    (spring (first 1970) (second 1976) (length 55.972897))
    (spring (first 1976) (second 1966) (length 60.141266))
    (spring (first 1965) (second 1971) (length 58.728092))
    (spring (first 1968) (second 1966) (length 58.000042))
    (spring (first 1966) (second 1972) (length 55.173004))
    (spring (first 1974) (second 1976) (length 57.384621))
    (spring (first 1973) (second 1979) (length 60.828026))
    (spring (first 1968) (second 1963) (length 37.013599))
    (spring (first 1958) (second 1965) (length 39.012985))
    (spring (first 1964) (second 1959) (length 38.999912))
    (spring (first 1962) (second 1969) (length 37.054153))
    (spring (first 1969) (second 1963) (length 51.623474))
    (spring (first 1965) (second 1959) (length 53.740246))
    (spring (first 1958) (second 1964) (length 55.866226))
    (spring (first 1965) (second 1963) (length 57.489166))
    (spring (first 1958) (second 1968) (length 57.315090))
    (spring (first 1968) (second 1962) (length 55.172173))
    (spring (first 1921) (second 1948) (length 50.040237))
    (spring (first 1951) (second 1929) (length 64.443794))
    (spring (first 1922) (second 1956) (length 62.201237))
    (spring (first 1956) (second 1930) (length 65.115540))
    (spring (first 1929) (second 1959) (length 60.803104))
    (spring (first 1959) (second 1937) (length 64.660721))
    (spring (first 1946) (second 1975) (length 48.166431))
    (spring (first 1972) (second 1945) (length 49.163246))
    (spring (first 1938) (second 1967) (length 49.040596))
    (spring (first 1937) (second 1964) (length 50.039993))
    (spring (first 1930) (second 1959) (length 48.166676))
    (spring (first 1922) (second 1951) (length 49.040844))
    (spring (first 1921) (second 1951) (length 62.801395))
    (spring (first 1948) (second 1922) (length 64.537025))
    (spring (first 1929) (second 1956) (length 49.163029))
    (spring (first 1930) (second 1964) (length 59.405502))
    (spring (first 1964) (second 1938) (length 64.536873))
    (spring (first 1938) (second 1972) (length 62.201229))
    (spring (first 1972) (second 1946) (length 65.115234))
    (spring (first 1975) (second 1945) (length 60.803448))
    (spring (first 1945) (second 1967) (length 64.443817))
    (spring (first 1967) (second 1937) (length 62.801281))
    (spring (first 1980) (second 1981) (length 38.012783))
    (spring (first 1981) (second 1982) (length 40.012611))
    (spring (first 1982) (second 1983) (length 39.013634))
    (spring (first 1983) (second 1980) (length 39.999763))
    (spring (first 1980) (second 1982) (length 55.154411))
    (spring (first 1981) (second 1983) (length 55.901825))
    (spring (first 1984) (second 1985) (length 38.012722))
    (spring (first 1985) (second 1986) (length 40.012730))
    (spring (first 1986) (second 1987) (length 39.012596))
    (spring (first 1987) (second 1984) (length 40.000000))
    (spring (first 1984) (second 1986) (length 55.154118))
    (spring (first 1985) (second 1987) (length 55.901619))
    (spring (first 1988) (second 1989) (length 38.012783))
    (spring (first 1989) (second 1990) (length 40.012241))
    (spring (first 1990) (second 1991) (length 39.012901))
    (spring (first 1991) (second 1988) (length 39.999882))
    (spring (first 1988) (second 1990) (length 55.153896))
    (spring (first 1989) (second 1991) (length 55.901657))
    (spring (first 1992) (second 1993) (length 38.013210))
    (spring (first 1993) (second 1994) (length 40.012486))
    (spring (first 1994) (second 1995) (length 39.012596))
    (spring (first 1995) (second 1992) (length 39.999874))
    (spring (first 1992) (second 1994) (length 55.154202))
    (spring (first 1993) (second 1995) (length 55.901615))
    (spring (first 1981) (second 1984) (length 43.000263))
    (spring (first 1987) (second 1992) (length 41.048813))
    (spring (first 1992) (second 1989) (length 44.045437))
    (spring (first 1989) (second 1982) (length 38.999920))
    (spring (first 1982) (second 1987) (length 41.999561))
    (spring (first 1986) (second 1993) (length 41.012146))
    (spring (first 1995) (second 1990) (length 43.046532))
    (spring (first 1988) (second 1983) (length 39.012966))
    (spring (first 1983) (second 1989) (length 54.452003))
    (spring (first 1989) (second 1987) (length 57.315090))
    (spring (first 1987) (second 1993) (length 56.568455))
    (spring (first 1986) (second 1992) (length 55.973198))
    (spring (first 1992) (second 1982) (length 60.141006))
    (spring (first 1981) (second 1987) (length 58.728268))
    (spring (first 1984) (second 1982) (length 57.999859))
    (spring (first 1982) (second 1988) (length 55.172615))
    (spring (first 1990) (second 1992) (length 57.384422))
    (spring (first 1989) (second 1995) (length 60.827637))
    (spring (first 1996) (second 1997) (length 38.012783))
    (spring (first 1997) (second 1998) (length 40.012363))
    (spring (first 1998) (second 1999) (length 39.013145))
    (spring (first 1999) (second 1996) (length 39.999763))
    (spring (first 1996) (second 1998) (length 55.153984))
    (spring (first 1997) (second 1999) (length 55.901737))
    (spring (first 2000) (second 2001) (length 38.012966))
    (spring (first 2001) (second 2002) (length 40.012486))
    (spring (first 2002) (second 2003) (length 39.012596))
    (spring (first 2003) (second 2000) (length 39.999996))
    (spring (first 2000) (second 2002) (length 55.154202))
    (spring (first 2001) (second 2003) (length 55.901531))
    (spring (first 2004) (second 2005) (length 38.013271))
    (spring (first 2005) (second 2006) (length 40.012363))
    (spring (first 2006) (second 2007) (length 39.012657))
    (spring (first 2007) (second 2004) (length 40.000122))
    (spring (first 2004) (second 2006) (length 55.154160))
    (spring (first 2005) (second 2007) (length 55.901825))
    (spring (first 2008) (second 2009) (length 38.012966))
    (spring (first 2009) (second 2010) (length 40.012608))
    (spring (first 2010) (second 2011) (length 39.013084))
    (spring (first 2011) (second 2008) (length 39.999878))
    (spring (first 2008) (second 2010) (length 55.154369))
    (spring (first 2009) (second 2011) (length 55.901703))
    (spring (first 1997) (second 2000) (length 43.000259))
    (spring (first 2003) (second 2008) (length 41.048683))
    (spring (first 2008) (second 2005) (length 44.045185))
    (spring (first 2005) (second 1998) (length 39.000027))
    (spring (first 1998) (second 2003) (length 42.000294))
    (spring (first 2002) (second 2009) (length 41.012024))
    (spring (first 2011) (second 2006) (length 43.046516))
    (spring (first 2004) (second 1999) (length 39.012718))
    (spring (first 1999) (second 2005) (length 54.452175))
    (spring (first 2005) (second 2003) (length 57.315090))
    (spring (first 2003) (second 2009) (length 56.567940))
    (spring (first 2002) (second 2008) (length 55.973362))
    (spring (first 2008) (second 1998) (length 60.141357))
    (spring (first 1997) (second 2003) (length 58.728355))
    (spring (first 2000) (second 1998) (length 58.000137))
    (spring (first 1998) (second 2004) (length 55.172356))
    (spring (first 2006) (second 2008) (length 57.384769))
    (spring (first 2005) (second 2011) (length 60.827206))
    (spring (first 2000) (second 1995) (length 37.013367))
    (spring (first 1990) (second 1997) (length 39.012985))
    (spring (first 1996) (second 1991) (length 39.000023))
    (spring (first 1994) (second 2001) (length 37.053753))
    (spring (first 2001) (second 1995) (length 51.623447))
    (spring (first 1997) (second 1991) (length 53.740078))
    (spring (first 1990) (second 1996) (length 55.865879))
    (spring (first 1997) (second 1995) (length 57.489243))
    (spring (first 1990) (second 2000) (length 57.315048))
    (spring (first 2000) (second 1994) (length 55.172077))
    (spring (first 2012) (second 2013) (length 38.013454))
    (spring (first 2013) (second 2014) (length 40.012486))
    (spring (first 2014) (second 2015) (length 39.013573))
    (spring (first 2015) (second 2012) (length 40.000000))
    (spring (first 2012) (second 2014) (length 55.154884))
    (spring (first 2013) (second 2015) (length 55.901863))
    (spring (first 2016) (second 2017) (length 38.013119))
    (spring (first 2017) (second 2018) (length 40.012363))
    (spring (first 2018) (second 2019) (length 39.012260))
    (spring (first 2019) (second 2016) (length 39.999985))
    (spring (first 2016) (second 2018) (length 55.154480))
    (spring (first 2017) (second 2019) (length 55.901035))
    (spring (first 2020) (second 2021) (length 38.013454))
    (spring (first 2021) (second 2022) (length 40.012486))
    (spring (first 2022) (second 2023) (length 39.013084))
    (spring (first 2023) (second 2020) (length 40.000240))
    (spring (first 2020) (second 2022) (length 55.154625))
    (spring (first 2021) (second 2023) (length 55.901958))
    (spring (first 2024) (second 2025) (length 38.013363))
    (spring (first 2025) (second 2026) (length 40.012486))
    (spring (first 2026) (second 2027) (length 39.012627))
    (spring (first 2027) (second 2024) (length 40.000111))
    (spring (first 2024) (second 2026) (length 55.154568))
    (spring (first 2025) (second 2027) (length 55.901550))
    (spring (first 2013) (second 2016) (length 42.999523))
    (spring (first 2019) (second 2024) (length 41.048679))
    (spring (first 2024) (second 2021) (length 44.044941))
    (spring (first 2021) (second 2014) (length 38.999794))
    (spring (first 2014) (second 2019) (length 41.999802))
    (spring (first 2018) (second 2025) (length 41.012146))
    (spring (first 2027) (second 2022) (length 43.046280))
    (spring (first 2020) (second 2015) (length 39.012718))
    (spring (first 2015) (second 2021) (length 54.452045))
    (spring (first 2021) (second 2019) (length 57.315090))
    (spring (first 2019) (second 2025) (length 56.568310))
    (spring (first 2018) (second 2024) (length 55.973122))
    (spring (first 2024) (second 2014) (length 60.140659))
    (spring (first 2013) (second 2019) (length 58.728096))
    (spring (first 2016) (second 2014) (length 57.999584))
    (spring (first 2014) (second 2020) (length 55.172741))
    (spring (first 2022) (second 2024) (length 57.384289))
    (spring (first 2021) (second 2027) (length 60.827553))
    (spring (first 2028) (second 2029) (length 38.013454))
    (spring (first 2029) (second 2030) (length 40.012363))
    (spring (first 2030) (second 2031) (length 39.013573))
    (spring (first 2031) (second 2028) (length 39.999878))
    (spring (first 2028) (second 2030) (length 55.154709))
    (spring (first 2029) (second 2031) (length 55.901863))
    (spring (first 2032) (second 2033) (length 38.012386))
    (spring (first 2033) (second 2034) (length 40.012241))
    (spring (first 2034) (second 2035) (length 39.012505))
    (spring (first 2035) (second 2032) (length 39.999760))
    (spring (first 2032) (second 2034) (length 55.153709))
    (spring (first 2033) (second 2035) (length 55.901203))
    (spring (first 2036) (second 2037) (length 38.013210))
    (spring (first 2037) (second 2038) (length 40.012486))
    (spring (first 2038) (second 2039) (length 39.013084))
    (spring (first 2039) (second 2036) (length 40.000118))
    (spring (first 2036) (second 2038) (length 55.154625))
    (spring (first 2037) (second 2039) (length 55.901703))
    (spring (first 2040) (second 2041) (length 38.012630))
    (spring (first 2041) (second 2042) (length 40.012486))
    (spring (first 2042) (second 2043) (length 39.012016))
    (spring (first 2043) (second 2040) (length 39.999989))
    (spring (first 2040) (second 2042) (length 55.154057))
    (spring (first 2041) (second 2043) (length 55.901039))
    (spring (first 2029) (second 2032) (length 43.000263))
    (spring (first 2035) (second 2040) (length 41.048820))
    (spring (first 2040) (second 2037) (length 44.045670))
    (spring (first 2037) (second 2030) (length 39.000042))
    (spring (first 2030) (second 2035) (length 41.999561))
    (spring (first 2034) (second 2041) (length 41.012268))
    (spring (first 2043) (second 2038) (length 43.046761))
    (spring (first 2036) (second 2031) (length 39.012840))
    (spring (first 2031) (second 2037) (length 54.451962))
    (spring (first 2037) (second 2035) (length 57.315170))
    (spring (first 2035) (second 2041) (length 56.568310))
    (spring (first 2034) (second 2040) (length 55.972969))
    (spring (first 2040) (second 2030) (length 60.141182))
    (spring (first 2029) (second 2035) (length 58.727921))
    (spring (first 2032) (second 2030) (length 57.999878))
    (spring (first 2030) (second 2036) (length 55.172916))
    (spring (first 2038) (second 2040) (length 57.384663))
    (spring (first 2037) (second 2043) (length 60.827984))
    (spring (first 2032) (second 2027) (length 37.013477))
    (spring (first 2022) (second 2029) (length 39.012863))
    (spring (first 2028) (second 2023) (length 38.999790))
    (spring (first 2026) (second 2033) (length 37.054024))
    (spring (first 2033) (second 2027) (length 51.623386))
    (spring (first 2029) (second 2023) (length 53.740116))
    (spring (first 2022) (second 2028) (length 55.866184))
    (spring (first 2029) (second 2027) (length 57.489052))
    (spring (first 2022) (second 2032) (length 57.315048))
    (spring (first 2032) (second 2026) (length 55.172001))
    (spring (first 1985) (second 2012) (length 50.040234))
    (spring (first 2015) (second 1993) (length 64.443794))
    (spring (first 1986) (second 2020) (length 62.201237))
    (spring (first 2020) (second 1994) (length 65.115540))
    (spring (first 1993) (second 2023) (length 60.803104))
    (spring (first 2023) (second 2001) (length 64.660568))
    (spring (first 2010) (second 2039) (length 48.166424))
    (spring (first 2036) (second 2009) (length 49.163250))
    (spring (first 2002) (second 2031) (length 49.040596))
    (spring (first 2001) (second 2028) (length 50.039989))
    (spring (first 1994) (second 2023) (length 48.166676))
    (spring (first 1986) (second 2015) (length 49.040844))
    (spring (first 1985) (second 2015) (length 62.801434))
    (spring (first 2012) (second 1986) (length 64.537025))
    (spring (first 1993) (second 2020) (length 49.163029))
    (spring (first 1994) (second 2028) (length 59.405430))
    (spring (first 2028) (second 2002) (length 64.536682))
    (spring (first 2002) (second 2036) (length 62.201191))
    (spring (first 2036) (second 2010) (length 65.115189))
    (spring (first 2039) (second 2009) (length 60.803448))
    (spring (first 2009) (second 2031) (length 64.443817))
    (spring (first 2031) (second 2001) (length 62.801167))
    (spring (first 2044) (second 2045) (length 38.012722))
    (spring (first 2045) (second 2046) (length 40.012611))
    (spring (first 2046) (second 2047) (length 39.013695))
    (spring (first 2047) (second 2044) (length 39.999645))
    (spring (first 2044) (second 2046) (length 55.154324))
    (spring (first 2045) (second 2047) (length 55.901825))
    (spring (first 2048) (second 2049) (length 38.012905))
    (spring (first 2049) (second 2050) (length 40.012608))
    (spring (first 2050) (second 2051) (length 39.012779))
    (spring (first 2051) (second 2048) (length 39.999939))
    (spring (first 2048) (second 2050) (length 55.154202))
    (spring (first 2049) (second 2051) (length 55.901657))
    (spring (first 2052) (second 2053) (length 38.012844))
    (spring (first 2053) (second 2054) (length 40.012241))
    (spring (first 2054) (second 2055) (length 39.012962))
    (spring (first 2055) (second 2052) (length 39.999882))
    (spring (first 2052) (second 2054) (length 55.154022))
    (spring (first 2053) (second 2055) (length 55.901615))
    (spring (first 2056) (second 2057) (length 38.013302))
    (spring (first 2057) (second 2058) (length 40.012486))
    (spring (first 2058) (second 2059) (length 39.012810))
    (spring (first 2059) (second 2056) (length 39.999874))
    (spring (first 2056) (second 2058) (length 55.154346))
    (spring (first 2057) (second 2059) (length 55.901676))
    (spring (first 2045) (second 2048) (length 43.000263))
    (spring (first 2051) (second 2056) (length 41.048813))
    (spring (first 2056) (second 2053) (length 44.045437))
    (spring (first 2053) (second 2046) (length 38.999859))
    (spring (first 2046) (second 2051) (length 41.999561))
    (spring (first 2050) (second 2057) (length 41.012146))
    (spring (first 2059) (second 2054) (length 43.046410))
    (spring (first 2052) (second 2047) (length 39.012966))
    (spring (first 2047) (second 2053) (length 54.452045))
    (spring (first 2053) (second 2051) (length 57.315090))
    (spring (first 2051) (second 2057) (length 56.568516))
    (spring (first 2050) (second 2056) (length 55.973320))
    (spring (first 2056) (second 2046) (length 60.140965))
    (spring (first 2045) (second 2051) (length 58.728226))
    (spring (first 2048) (second 2046) (length 57.999859))
    (spring (first 2046) (second 2052) (length 55.172615))
    (spring (first 2054) (second 2056) (length 57.384331))
    (spring (first 2053) (second 2059) (length 60.827637))
    (spring (first 2060) (second 2061) (length 38.012722))
    (spring (first 2061) (second 2062) (length 40.012547))
    (spring (first 2062) (second 2063) (length 39.013084))
    (spring (first 2063) (second 2060) (length 39.999886))
    (spring (first 2060) (second 2062) (length 55.154076))
    (spring (first 2061) (second 2063) (length 55.901783))
    (spring (first 2064) (second 2065) (length 38.013027))
    (spring (first 2065) (second 2066) (length 40.012669))
    (spring (first 2066) (second 2067) (length 39.012657))
    (spring (first 2067) (second 2064) (length 40.000240))
    (spring (first 2064) (second 2066) (length 55.154419))
    (spring (first 2065) (second 2067) (length 55.901707))
    (spring (first 2068) (second 2069) (length 38.013332))
    (spring (first 2069) (second 2070) (length 40.012360))
    (spring (first 2070) (second 2071) (length 39.012596))
    (spring (first 2071) (second 2068) (length 40.000122))
    (spring (first 2068) (second 2070) (length 55.154118))
    (spring (first 2069) (second 2071) (length 55.901867))
    (spring (first 2072) (second 2073) (length 38.012905))
    (spring (first 2073) (second 2074) (length 40.012669))
    (spring (first 2074) (second 2075) (length 39.013023))
    (spring (first 2075) (second 2072) (length 39.999939))
    (spring (first 2072) (second 2074) (length 55.154369))
    (spring (first 2073) (second 2075) (length 55.901703))
    (spring (first 2061) (second 2064) (length 43.000259))
    (spring (first 2067) (second 2072) (length 41.048748))
    (spring (first 2072) (second 2069) (length 44.045185))
    (spring (first 2069) (second 2062) (length 39.000088))
    (spring (first 2062) (second 2067) (length 42.000294))
    (spring (first 2066) (second 2073) (length 41.012085))
    (spring (first 2075) (second 2070) (length 43.046642))
    (spring (first 2068) (second 2063) (length 39.012840))
    (spring (first 2063) (second 2069) (length 54.452305))
    (spring (first 2069) (second 2067) (length 57.315037))
    (spring (first 2067) (second 2073) (length 56.568027))
    (spring (first 2066) (second 2072) (length 55.973366))
    (spring (first 2072) (second 2062) (length 60.141487))
    (spring (first 2061) (second 2067) (length 58.728485))
    (spring (first 2064) (second 2062) (length 58.000305))
    (spring (first 2062) (second 2068) (length 55.172359))
    (spring (first 2070) (second 2072) (length 57.384861))
    (spring (first 2069) (second 2075) (length 60.827248))
    (spring (first 2064) (second 2059) (length 37.013428))
    (spring (first 2054) (second 2061) (length 39.013111))
    (spring (first 2060) (second 2055) (length 39.000145))
    (spring (first 2058) (second 2065) (length 37.053886))
    (spring (first 2065) (second 2059) (length 51.623577))
    (spring (first 2061) (second 2055) (length 53.740124))
    (spring (first 2054) (second 2060) (length 55.866009))
    (spring (first 2061) (second 2059) (length 57.489319))
    (spring (first 2054) (second 2064) (length 57.315002))
    (spring (first 2064) (second 2058) (length 55.172276))
    (spring (first 2076) (second 2077) (length 38.013149))
    (spring (first 2077) (second 2078) (length 40.012424))
    (spring (first 2078) (second 2079) (length 39.013268))
    (spring (first 2079) (second 2076) (length 39.999939))
    (spring (first 2076) (second 2078) (length 55.154629))
    (spring (first 2077) (second 2079) (length 55.901608))
    (spring (first 2080) (second 2081) (length 38.013454))
    (spring (first 2081) (second 2082) (length 40.012363))
    (spring (first 2082) (second 2083) (length 39.012711))
    (spring (first 2083) (second 2080) (length 39.999928))
    (spring (first 2080) (second 2082) (length 55.154671))
    (spring (first 2081) (second 2083) (length 55.901348))
    (spring (first 2084) (second 2085) (length 38.013271))
    (spring (first 2085) (second 2086) (length 40.012486))
    (spring (first 2086) (second 2087) (length 39.012779))
    (spring (first 2087) (second 2084) (length 40.000237))
    (spring (first 2084) (second 2086) (length 55.154499))
    (spring (first 2085) (second 2087) (length 55.901745))
    (spring (first 2088) (second 2089) (length 38.013699))
    (spring (first 2089) (second 2090) (length 40.012486))
    (spring (first 2090) (second 2091) (length 39.013199))
    (spring (first 2091) (second 2088) (length 40.000050))
    (spring (first 2088) (second 2090) (length 55.154922))
    (spring (first 2089) (second 2091) (length 55.901779))
    (spring (first 2077) (second 2080) (length 42.999680))
    (spring (first 2083) (second 2088) (length 41.048679))
    (spring (first 2088) (second 2085) (length 44.044975))
    (spring (first 2085) (second 2078) (length 38.999794))
    (spring (first 2078) (second 2083) (length 41.999840))
    (spring (first 2082) (second 2089) (length 41.012085))
    (spring (first 2091) (second 2086) (length 43.046318))
    (spring (first 2084) (second 2079) (length 39.012718))
    (spring (first 2079) (second 2085) (length 54.451832))
    (spring (first 2085) (second 2083) (length 57.315075))
    (spring (first 2083) (second 2089) (length 56.568493))
    (spring (first 2082) (second 2088) (length 55.973431))
    (spring (first 2088) (second 2078) (length 60.140724))
    (spring (first 2077) (second 2083) (length 58.728123))
    (spring (first 2080) (second 2078) (length 57.999611))
    (spring (first 2078) (second 2084) (length 55.172615))
    (spring (first 2086) (second 2088) (length 57.384274))
    (spring (first 2085) (second 2091) (length 60.827579))
    (spring (first 2092) (second 2093) (length 38.013271))
    (spring (first 2093) (second 2094) (length 40.012547))
    (spring (first 2094) (second 2095) (length 39.013268))
    (spring (first 2095) (second 2092) (length 40.000179))
    (spring (first 2092) (second 2094) (length 55.154755))
    (spring (first 2093) (second 2095) (length 55.901829))
    (spring (first 2096) (second 2097) (length 38.012714))
    (spring (first 2097) (second 2098) (length 40.012486))
    (spring (first 2098) (second 2099) (length 39.012688))
    (spring (first 2099) (second 2096) (length 40.000065))
    (spring (first 2096) (second 2098) (length 55.154030))
    (spring (first 2097) (second 2099) (length 55.901634))
    (spring (first 2100) (second 2101) (length 38.013027))
    (spring (first 2101) (second 2102) (length 40.012547))
    (spring (first 2102) (second 2103) (length 39.012779))
    (spring (first 2103) (second 2100) (length 40.000114))
    (spring (first 2100) (second 2102) (length 55.154499))
    (spring (first 2101) (second 2103) (length 55.901531))
    (spring (first 2104) (second 2105) (length 38.013081))
    (spring (first 2105) (second 2106) (length 40.012486))
    (spring (first 2106) (second 2107) (length 39.012466))
    (spring (first 2107) (second 2104) (length 39.999928))
    (spring (first 2104) (second 2106) (length 55.154324))
    (spring (first 2105) (second 2107) (length 55.901352))
    (spring (first 2093) (second 2096) (length 43.000420))
    (spring (first 2099) (second 2104) (length 41.048939))
    (spring (first 2104) (second 2101) (length 44.045715))
    (spring (first 2101) (second 2094) (length 39.000103))
    (spring (first 2094) (second 2099) (length 41.999744))
    (spring (first 2098) (second 2105) (length 41.012390))
    (spring (first 2107) (second 2102) (length 43.046799))
    (spring (first 2100) (second 2095) (length 39.012901))
    (spring (first 2095) (second 2101) (length 54.451744))
    (spring (first 2101) (second 2099) (length 57.315308))
    (spring (first 2099) (second 2105) (length 56.568565))
    (spring (first 2098) (second 2104) (length 55.973328))
    (spring (first 2104) (second 2094) (length 60.141335))
    (spring (first 2093) (second 2099) (length 58.728222))
    (spring (first 2096) (second 2094) (length 58.000160))
    (spring (first 2094) (second 2100) (length 55.172874))
    (spring (first 2102) (second 2104) (length 57.384651))
    (spring (first 2101) (second 2107) (length 60.828056))
    (spring (first 2096) (second 2091) (length 37.013474))
    (spring (first 2086) (second 2093) (length 39.012924))
    (spring (first 2092) (second 2087) (length 38.999790))
    (spring (first 2090) (second 2097) (length 37.054031))
    (spring (first 2097) (second 2091) (length 51.623703))
    (spring (first 2093) (second 2087) (length 53.739948))
    (spring (first 2086) (second 2092) (length 55.866055))
    (spring (first 2093) (second 2091) (length 57.489120))
    (spring (first 2086) (second 2096) (length 57.315163))
    (spring (first 2096) (second 2090) (length 55.172333))
    (spring (first 2049) (second 2076) (length 50.040329))
    (spring (first 2079) (second 2057) (length 64.443932))
    (spring (first 2050) (second 2084) (length 62.201214))
    (spring (first 2084) (second 2058) (length 65.115494))
    (spring (first 2057) (second 2087) (length 60.803253))
    (spring (first 2087) (second 2065) (length 64.660812))
    (spring (first 2074) (second 2103) (length 48.166641))
    (spring (first 2100) (second 2073) (length 49.163342))
    (spring (first 2066) (second 2095) (length 49.040810))
    (spring (first 2065) (second 2092) (length 50.040085))
    (spring (first 2058) (second 2087) (length 48.166737))
    (spring (first 2050) (second 2079) (length 49.040936))
    (spring (first 2049) (second 2079) (length 62.801430))
    (spring (first 2076) (second 2050) (length 64.537056))
    (spring (first 2057) (second 2084) (length 49.163090))
    (spring (first 2058) (second 2092) (length 59.405380))
    (spring (first 2092) (second 2066) (length 64.536942))
    (spring (first 2066) (second 2100) (length 62.201302))
    (spring (first 2100) (second 2074) (length 65.115303))
    (spring (first 2103) (second 2073) (length 60.803619))
    (spring (first 2073) (second 2095) (length 64.444016))
    (spring (first 2095) (second 2065) (length 62.801449))
    (spring (first 2108) (second 2109) (length 38.012722))
    (spring (first 2109) (second 2110) (length 40.012611))
    (spring (first 2110) (second 2111) (length 39.013695))
    (spring (first 2111) (second 2108) (length 39.999767))
    (spring (first 2108) (second 2110) (length 55.154369))
    (spring (first 2109) (second 2111) (length 55.901867))
    (spring (first 2112) (second 2113) (length 38.012936))
    (spring (first 2113) (second 2114) (length 40.012730))
    (spring (first 2114) (second 2115) (length 39.012810))
    (spring (first 2115) (second 2112) (length 40.000000))
    (spring (first 2112) (second 2114) (length 55.154266))
    (spring (first 2113) (second 2115) (length 55.901768))
    (spring (first 2116) (second 2117) (length 38.012844))
    (spring (first 2117) (second 2118) (length 40.012241))
    (spring (first 2118) (second 2119) (length 39.012962))
    (spring (first 2119) (second 2116) (length 39.999882))
    (spring (first 2116) (second 2118) (length 55.154022))
    (spring (first 2117) (second 2119) (length 55.901615))
    (spring (first 2120) (second 2121) (length 38.013302))
    (spring (first 2121) (second 2122) (length 40.012486))
    (spring (first 2122) (second 2123) (length 39.012810))
    (spring (first 2123) (second 2120) (length 39.999874))
    (spring (first 2120) (second 2122) (length 55.154346))
    (spring (first 2121) (second 2123) (length 55.901676))
    (spring (first 2109) (second 2112) (length 43.000263))
    (spring (first 2115) (second 2120) (length 41.048813))
    (spring (first 2120) (second 2117) (length 44.045437))
    (spring (first 2117) (second 2110) (length 38.999920))
    (spring (first 2110) (second 2115) (length 41.999561))
    (spring (first 2114) (second 2121) (length 41.012146))
    (spring (first 2123) (second 2118) (length 43.046410))
    (spring (first 2116) (second 2111) (length 39.012966))
    (spring (first 2111) (second 2117) (length 54.452045))
    (spring (first 2117) (second 2115) (length 57.315090))
    (spring (first 2115) (second 2121) (length 56.568516))
    (spring (first 2114) (second 2120) (length 55.973343))
    (spring (first 2120) (second 2110) (length 60.141006))
    (spring (first 2109) (second 2115) (length 58.728268))
    (spring (first 2112) (second 2110) (length 57.999859))
    (spring (first 2110) (second 2116) (length 55.172657))
    (spring (first 2118) (second 2120) (length 57.384331))
    (spring (first 2117) (second 2123) (length 60.827637))
    (spring (first 2124) (second 2125) (length 38.012722))
    (spring (first 2125) (second 2126) (length 40.012486))
    (spring (first 2126) (second 2127) (length 39.013084))
    (spring (first 2127) (second 2124) (length 39.999763))
    (spring (first 2124) (second 2126) (length 55.154030))
    (spring (first 2125) (second 2127) (length 55.901695))
    (spring (first 2128) (second 2129) (length 38.013058))
    (spring (first 2129) (second 2130) (length 40.012608))
    (spring (first 2130) (second 2131) (length 39.012688))
    (spring (first 2131) (second 2128) (length 40.000240))
    (spring (first 2128) (second 2130) (length 55.154438))
    (spring (first 2129) (second 2131) (length 55.901684))
    (spring (first 2132) (second 2133) (length 38.013332))
    (spring (first 2133) (second 2134) (length 40.012360))
    (spring (first 2134) (second 2135) (length 39.012596))
    (spring (first 2135) (second 2132) (length 40.000061))
    (spring (first 2132) (second 2134) (length 55.154118))
    (spring (first 2133) (second 2135) (length 55.901825))
    (spring (first 2136) (second 2137) (length 38.012936))
    (spring (first 2137) (second 2138) (length 40.012424))
    (spring (first 2138) (second 2139) (length 39.013054))
    (spring (first 2139) (second 2136) (length 39.999817))
    (spring (first 2136) (second 2138) (length 55.154305))
    (spring (first 2137) (second 2139) (length 55.901546))
    (spring (first 2125) (second 2128) (length 43.000256))
    (spring (first 2131) (second 2136) (length 41.048809))
    (spring (first 2136) (second 2133) (length 44.045185))
    (spring (first 2133) (second 2126) (length 39.000149))
    (spring (first 2126) (second 2131) (length 42.000294))
    (spring (first 2130) (second 2137) (length 41.012268))
    (spring (first 2139) (second 2134) (length 43.046635))
    (spring (first 2132) (second 2127) (length 39.012962))
    (spring (first 2127) (second 2133) (length 54.452393))
    (spring (first 2133) (second 2131) (length 57.315079))
    (spring (first 2131) (second 2137) (length 56.568180))
    (spring (first 2130) (second 2136) (length 55.973431))
    (spring (first 2136) (second 2126) (length 60.141529))
    (spring (first 2125) (second 2131) (length 58.728443))
    (spring (first 2128) (second 2126) (length 58.000305))
    (spring (first 2126) (second 2132) (length 55.172401))
    (spring (first 2134) (second 2136) (length 57.384861))
    (spring (first 2133) (second 2139) (length 60.827164))
    (spring (first 2128) (second 2123) (length 37.013245))
    (spring (first 2118) (second 2125) (length 39.012989))
    (spring (first 2124) (second 2119) (length 39.000023))
    (spring (first 2122) (second 2129) (length 37.053761))
    (spring (first 2129) (second 2123) (length 51.623512))
    (spring (first 2125) (second 2119) (length 53.740036))
    (spring (first 2118) (second 2124) (length 55.865921))
    (spring (first 2125) (second 2123) (length 57.489243))
    (spring (first 2118) (second 2128) (length 57.314873))
    (spring (first 2128) (second 2122) (length 55.172153))
    (spring (first 2140) (second 2141) (length 38.013119))
    (spring (first 2141) (second 2142) (length 40.012486))
    (spring (first 2142) (second 2143) (length 39.013237))
    (spring (first 2143) (second 2140) (length 40.000000))
    (spring (first 2140) (second 2142) (length 55.154652))
    (spring (first 2141) (second 2143) (length 55.901630))
    (spring (first 2144) (second 2145) (length 38.013447))
    (spring (first 2145) (second 2146) (length 40.012363))
    (spring (first 2146) (second 2147) (length 39.012711))
    (spring (first 2147) (second 2144) (length 39.999989))
    (spring (first 2144) (second 2146) (length 55.154709))
    (spring (first 2145) (second 2147) (length 55.901348))
    (spring (first 2148) (second 2149) (length 38.013241))
    (spring (first 2149) (second 2150) (length 40.012486))
    (spring (first 2150) (second 2151) (length 39.012749))
    (spring (first 2151) (second 2148) (length 40.000237))
    (spring (first 2148) (second 2150) (length 55.154480))
    (spring (first 2149) (second 2151) (length 55.901726))
    (spring (first 2152) (second 2153) (length 38.013691))
    (spring (first 2153) (second 2154) (length 40.012486))
    (spring (first 2154) (second 2155) (length 39.013199))
    (spring (first 2155) (second 2152) (length 40.000111))
    (spring (first 2152) (second 2154) (length 55.154961))
    (spring (first 2153) (second 2155) (length 55.901779))
    (spring (first 2141) (second 2144) (length 42.999683))
    (spring (first 2147) (second 2152) (length 41.048679))
    (spring (first 2152) (second 2149) (length 44.044979))
    (spring (first 2149) (second 2142) (length 38.999794))
    (spring (first 2142) (second 2147) (length 41.999840))
    (spring (first 2146) (second 2153) (length 41.012146))
    (spring (first 2155) (second 2150) (length 43.046318))
    (spring (first 2148) (second 2143) (length 39.012718))
    (spring (first 2143) (second 2149) (length 54.451809))
    (spring (first 2149) (second 2147) (length 57.315117))
    (spring (first 2147) (second 2153) (length 56.568535))
    (spring (first 2146) (second 2152) (length 55.973423))
    (spring (first 2152) (second 2142) (length 60.140690))
    (spring (first 2141) (second 2147) (length 58.728123))
    (spring (first 2144) (second 2142) (length 57.999702))
    (spring (first 2142) (second 2148) (length 55.172592))
    (spring (first 2150) (second 2152) (length 57.384319))
    (spring (first 2149) (second 2155) (length 60.827579))
    (spring (first 2156) (second 2157) (length 38.013271))
    (spring (first 2157) (second 2158) (length 40.012486))
    (spring (first 2158) (second 2159) (length 39.013268))
    (spring (first 2159) (second 2156) (length 40.000118))
    (spring (first 2156) (second 2158) (length 55.154667))
    (spring (first 2157) (second 2159) (length 55.901829))
    (spring (first 2160) (second 2161) (length 38.012722))
    (spring (first 2161) (second 2162) (length 40.012363))
    (spring (first 2162) (second 2163) (length 39.012718))
    (spring (first 2163) (second 2160) (length 40.000004))
    (spring (first 2160) (second 2162) (length 55.153946))
    (spring (first 2161) (second 2163) (length 55.901615))
    (spring (first 2164) (second 2165) (length 38.013027))
    (spring (first 2165) (second 2166) (length 40.012486))
    (spring (first 2166) (second 2167) (length 39.012779))
    (spring (first 2167) (second 2164) (length 40.000114))
    (spring (first 2164) (second 2166) (length 55.154499))
    (spring (first 2165) (second 2167) (length 55.901489))
    (spring (first 2168) (second 2169) (length 38.013088))
    (spring (first 2169) (second 2170) (length 40.012302))
    (spring (first 2170) (second 2171) (length 39.012474))
    (spring (first 2171) (second 2168) (length 39.999805))
    (spring (first 2168) (second 2170) (length 55.154240))
    (spring (first 2169) (second 2171) (length 55.901226))
    (spring (first 2157) (second 2160) (length 43.000416))
    (spring (first 2163) (second 2168) (length 41.049061))
    (spring (first 2168) (second 2165) (length 44.045708))
    (spring (first 2165) (second 2158) (length 39.000286))
    (spring (first 2158) (second 2163) (length 41.999714))
    (spring (first 2162) (second 2169) (length 41.012634))
    (spring (first 2171) (second 2166) (length 43.046787))
    (spring (first 2164) (second 2159) (length 39.012962))
    (spring (first 2159) (second 2165) (length 54.451832))
    (spring (first 2165) (second 2163) (length 57.315365))
    (spring (first 2163) (second 2169) (length 56.568718))
    (spring (first 2162) (second 2168) (length 55.973465))
    (spring (first 2168) (second 2158) (length 60.141457))
    (spring (first 2157) (second 2163) (length 58.728203))
    (spring (first 2160) (second 2158) (length 58.000072))
    (spring (first 2158) (second 2164) (length 55.172962))
    (spring (first 2166) (second 2168) (length 57.384605))
    (spring (first 2165) (second 2171) (length 60.827965))
    (spring (first 2160) (second 2155) (length 37.013351))
    (spring (first 2150) (second 2157) (length 39.012741))
    (spring (first 2156) (second 2151) (length 38.999672))
    (spring (first 2154) (second 2161) (length 37.053913))
    (spring (first 2161) (second 2155) (length 51.623615))
    (spring (first 2157) (second 2151) (length 53.739796))
    (spring (first 2150) (second 2156) (length 55.865971))
    (spring (first 2157) (second 2155) (length 57.489006))
    (spring (first 2150) (second 2160) (length 57.315071))
    (spring (first 2160) (second 2154) (length 55.172256))
    (spring (first 2113) (second 2140) (length 50.040325))
    (spring (first 2143) (second 2121) (length 64.443954))
    (spring (first 2114) (second 2148) (length 62.201214))
    (spring (first 2148) (second 2122) (length 65.115517))
    (spring (first 2121) (second 2151) (length 60.803276))
    (spring (first 2151) (second 2129) (length 64.660736))
    (spring (first 2138) (second 2167) (length 48.166603))
    (spring (first 2164) (second 2137) (length 49.163319))
    (spring (first 2130) (second 2159) (length 49.040779))
    (spring (first 2129) (second 2156) (length 50.040054))
    (spring (first 2122) (second 2151) (length 48.166767))
    (spring (first 2114) (second 2143) (length 49.040936))
    (spring (first 2113) (second 2143) (length 62.801506))
    (spring (first 2140) (second 2114) (length 64.537094))
    (spring (first 2121) (second 2148) (length 49.163120))
    (spring (first 2122) (second 2156) (length 59.405308))
    (spring (first 2156) (second 2130) (length 64.536880))
    (spring (first 2130) (second 2164) (length 62.201317))
    (spring (first 2164) (second 2138) (length 65.115196))
    (spring (first 2167) (second 2137) (length 60.803520))
    (spring (first 2137) (second 2159) (length 64.444115))
    (spring (first 2159) (second 2129) (length 62.801388))
    (spring (first 1953) (second 2135) (length 63.030125))
    (spring (first 2042) (second 2044) (length 66.146263))
    (spring (first 1953) (second 2042) (length 47.484444))
    (spring (first 2042) (second 1952) (length 61.997581))
    (spring (first 1952) (second 2043) (length 47.481216))
    (spring (first 2043) (second 1949) (length 63.819668))
    (spring (first 1949) (second 2038) (length 49.481270))
    (spring (first 1948) (second 2038) (length 62.971069))
    (spring (first 2039) (second 1948) (length 49.498299))
    (spring (first 1921) (second 2039) (length 70.827194))
    (spring (first 2010) (second 1920) (length 61.997623))
    (spring (first 1920) (second 2011) (length 47.481384))
    (spring (first 1917) (second 2006) (length 49.481266))
    (spring (first 1916) (second 2007) (length 49.498730))
    (spring (first 1916) (second 2006) (length 62.970844))
    (spring (first 2007) (second 1917) (length 62.443184))
    (spring (first 2006) (second 1920) (length 65.787498))
    (spring (first 1917) (second 2011) (length 63.819332))
    (spring (first 2011) (second 1921) (length 60.262085))
    (spring (first 1921) (second 2010) (length 47.484268))
    (spring (first 2010) (second 1948) (length 67.114639))
    (spring (first 2039) (second 1949) (length 62.443295))
    (spring (first 2038) (second 1952) (length 65.786736))
    (spring (first 2043) (second 1953) (length 60.261715))
    (spring (first 2044) (second 2134) (length 62.970760))
    (spring (first 2135) (second 2045) (length 62.443146))
    (spring (first 2045) (second 2139) (length 63.819416))
    (spring (first 2139) (second 2049) (length 60.262119))
    (spring (first 2049) (second 2167) (length 70.827217))
    (spring (first 2077) (second 2166) (length 49.481209))
    (spring (first 2167) (second 2076) (length 49.498238))
    (spring (first 2080) (second 2171) (length 47.481213))
    (spring (first 2081) (second 2170) (length 47.484444))
    (spring (first 2170) (second 2080) (length 61.997795))
    (spring (first 2171) (second 2081) (length 60.262001))
    (spring (first 2080) (second 2166) (length 65.786781))
    (spring (first 2077) (second 2171) (length 63.819687))
    (spring (first 2166) (second 2076) (length 62.970837))
    (spring (first 2167) (second 2077) (length 62.443062))
    (spring (first 2076) (second 2138) (length 67.114777))
    (spring (first 2138) (second 2049) (length 47.484268))
    (spring (first 2048) (second 2139) (length 47.481384))
    (spring (first 2138) (second 2048) (length 61.997681))
    (spring (first 2048) (second 2134) (length 65.787453))
    (spring (first 2045) (second 2134) (length 49.481205))
    (spring (first 2135) (second 2044) (length 49.498730))
    (spring (first 1978) (second 2071) (length 41.674156))
    (spring (first 2068) (second 1977) (length 42.674198))
    (spring (first 1977) (second 2063) (length 56.553082))
    (spring (first 2063) (second 1969) (length 61.118324))
    (spring (first 1969) (second 2055) (length 56.744862))
    (spring (first 1961) (second 2055) (length 59.009262))
    (spring (first 1961) (second 2047) (length 56.552868))
    (spring (first 2047) (second 1953) (length 61.118153))
    (spring (first 2042) (second 2135) (length 41.674164))
    (spring (first 2135) (second 2041) (length 59.009304))
    (spring (first 2041) (second 2127) (length 56.553040))
    (spring (first 2127) (second 2033) (length 61.118149))
    (spring (first 2033) (second 2119) (length 56.744862))
    (spring (first 2119) (second 2025) (length 59.009003))
    (spring (first 2025) (second 2116) (length 42.674084))
    (spring (first 2018) (second 2111) (length 42.756134))
    (spring (first 2017) (second 2108) (length 43.754917))
    (spring (first 2108) (second 2018) (length 56.631538))
    (spring (first 2017) (second 2111) (length 61.118065))
    (spring (first 2111) (second 2025) (length 56.552765))
    (spring (first 2018) (second 2116) (length 60.423157))
    (spring (first 2116) (second 2026) (length 57.233986))
    (spring (first 2026) (second 2119) (length 41.674034))
    (spring (first 2124) (second 2033) (length 43.754917))
    (spring (first 2124) (second 2026) (length 57.595474))
    (spring (first 2034) (second 2124) (length 56.631458))
    (spring (first 2034) (second 2127) (length 42.756264))
    (spring (first 2034) (second 2132) (length 60.423153))
    (spring (first 2132) (second 2042) (length 57.233986))
    (spring (first 2041) (second 2132) (length 42.674206))
    (spring (first 1954) (second 2044) (length 56.631420))
    (spring (first 1954) (second 2047) (length 42.756138))
    (spring (first 1962) (second 2055) (length 41.673916))
    (spring (first 1962) (second 2052) (length 57.233814))
    (spring (first 2052) (second 1961) (length 42.674332))
    (spring (first 1954) (second 2052) (length 60.423199))
    (spring (first 2060) (second 1969) (length 43.754929))
    (spring (first 1962) (second 2060) (length 57.595558))
    (spring (first 2060) (second 1970) (length 56.631725))
    (spring (first 1970) (second 2063) (length 42.756508))
    (spring (first 1970) (second 2068) (length 60.423241))
    (spring (first 2068) (second 1978) (length 57.234108))
    (spring (first 1977) (second 2071) (length 59.009220))
    (spring (first 1953) (second 2044) (length 43.754940))
    (spring (first 1685) (second 2106) (length 39.439404))
    (spring (first 1682) (second 2098) (length 56.837093))
    (spring (first 2098) (second 1674) (length 56.873375))
    (spring (first 1674) (second 2090) (length 54.010036))
    (spring (first 2090) (second 1666) (length 57.610386))
    (spring (first 1666) (second 2082) (length 56.836964))
    (spring (first 2082) (second 1658) (length 56.873329))
    (spring (first 1658) (second 2170) (length 62.531120))
    (spring (first 2170) (second 1746) (length 57.610691))
    (spring (first 1746) (second 2162) (length 56.837009))
    (spring (first 2162) (second 1738) (length 56.873291))
    (spring (first 1738) (second 2154) (length 54.009953))
    (spring (first 2154) (second 1730) (length 57.610302))
    (spring (first 1730) (second 2146) (length 56.837097))
    (spring (first 2146) (second 1722) (length 56.873287))
    (spring (first 1722) (second 2145) (length 41.386887))
    (spring (first 2145) (second 1725) (length 57.526577))
    (spring (first 2146) (second 1725) (length 40.386066))
    (spring (first 2153) (second 1725) (length 56.884476))
    (spring (first 2153) (second 1730) (length 40.438305))
    (spring (first 2153) (second 1733) (length 55.423332))
    (spring (first 1733) (second 2161) (length 56.896732))
    (spring (first 2161) (second 1741) (length 57.526749))
    (spring (first 1741) (second 2169) (length 56.884907))
    (spring (first 1746) (second 2169) (length 40.438324))
    (spring (first 2169) (second 1749) (length 55.423161))
    (spring (first 1749) (second 2081) (length 63.679668))
    (spring (first 2081) (second 1661) (length 57.526443))
    (spring (first 1661) (second 2089) (length 56.884560))
    (spring (first 2089) (second 1669) (length 55.423286))
    (spring (first 2097) (second 1669) (length 56.896854))
    (spring (first 2097) (second 1677) (length 57.526833))
    (spring (first 1677) (second 2105) (length 56.884731))
    (spring (first 2105) (second 1685) (length 55.423416))
    (spring (first 2106) (second 1682) (length 57.610558))
    (spring (first 1682) (second 2105) (length 40.438309))
    (spring (first 2098) (second 1677) (length 40.386307))
    (spring (first 2097) (second 1674) (length 41.386887))
    (spring (first 2090) (second 1669) (length 39.439163))
    (spring (first 1666) (second 2089) (length 40.438305))
    (spring (first 2082) (second 1661) (length 40.386059))
    (spring (first 1658) (second 2081) (length 41.386883))
    (spring (first 2170) (second 1749) (length 39.439411))
    (spring (first 2154) (second 1733) (length 39.439163))
    (spring (first 1738) (second 2161) (length 41.386890))
    (spring (first 2162) (second 1741) (length 40.386311))
  )
  (colliders
  ))

;; EOF ;;