Imported vanilla contents from upstream
[construo.git] / examples / choh2 / quicksave9.construo
blobfddc3d57f586792c561736994912d757d3e713ed
1 ;; Written by construo 0.1.0
2 (construo-scene
3   (particles
4     (particle (id 1) (pos 184.000000 599.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
5     (particle (id 2) (pos 199.000000 599.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
6     (particle (id 3) (pos 216.000000 561.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
7     (particle (id 4) (pos 232.000000 599.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
8     (particle (id 5) (pos 247.000000 599.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
9     (particle (id 6) (pos 216.000000 531.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
10     (particle (id 7) (pos 201.000000 531.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
11     (particle (id 8) (pos 231.000000 531.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
12     (particle (id 9) (pos 227.000000 514.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
13     (particle (id 10) (pos 217.000000 502.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
14     (particle (id 11) (pos 206.000000 513.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
15     (particle (id 12) (pos 192.000000 561.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
16     (particle (id 19) (pos 195.000000 576.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
17     (particle (id 20) (pos 180.000000 571.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
18     (particle (id 21) (pos 254.000000 489.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
19     (particle (id 22) (pos 250.000000 474.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
20     (particle (id 23) (pos 265.000000 474.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
21     (particle (id 58) (pos 307.000000 599.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
22     (particle (id 59) (pos 322.000000 599.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
23     (particle (id 60) (pos 340.000000 563.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
24     (particle (id 61) (pos 357.000000 599.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
25     (particle (id 62) (pos 373.000000 599.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
26     (particle (id 63) (pos 340.000000 533.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
27     (particle (id 64) (pos 325.000000 533.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
28     (particle (id 65) (pos 355.000000 532.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
29     (particle (id 66) (pos 351.000000 515.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
30     (particle (id 67) (pos 340.000000 504.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
31     (particle (id 68) (pos 329.000000 515.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
32     (particle (id 105) (pos 302.000000 490.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
33     (particle (id 107) (pos 292.000000 475.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
34     (particle (id 108) (pos 308.000000 476.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
35     (particle (id 109) (pos 279.000000 435.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
36     (particle (id 170) (pos 437.000000 599.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
37     (particle (id 171) (pos 452.000000 599.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
38     (particle (id 172) (pos 468.000000 564.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
39     (particle (id 173) (pos 484.000000 599.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
40     (particle (id 174) (pos 499.000000 599.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
41     (particle (id 175) (pos 468.000000 535.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
42     (particle (id 176) (pos 453.000000 535.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
43     (particle (id 177) (pos 483.000000 534.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
44     (particle (id 178) (pos 497.000000 563.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
45     (particle (id 179) (pos 489.000000 576.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
46     (particle (id 180) (pos 506.000000 575.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
47     (particle (id 873) (pos 477.000000 517.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
48     (particle (id 874) (pos 468.000000 505.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
49     (particle (id 876) (pos 459.000000 517.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
50     (particle (id 1139) (pos 383.000000 491.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
51     (particle (id 1140) (pos 375.000000 477.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
52     (particle (id 1141) (pos 393.000000 478.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
53     (particle (id 1142) (pos 426.000000 492.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
54     (particle (id 1143) (pos 417.000000 479.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
55     (particle (id 1144) (pos 435.000000 480.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
56     (particle (id 1183) (pos 406.000000 437.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
57     (particle (id 1206) (pos 279.000000 402.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
58     (particle (id 1207) (pos 405.000000 402.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
59     (particle (id 1208) (pos 264.000000 402.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
60     (particle (id 1209) (pos 294.000000 402.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
61     (particle (id 1262) (pos 390.000000 401.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
62     (particle (id 1263) (pos 420.000000 402.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
63     (particle (id 1398) (pos 248.000000 435.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
64     (particle (id 1399) (pos 237.000000 446.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
65     (particle (id 1400) (pos 252.000000 451.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
66     (particle (id 1401) (pos 438.000000 437.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
67     (particle (id 1402) (pos 447.000000 450.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
68     (particle (id 1403) (pos 432.000000 453.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
69     (particle (id 1754) (pos 366.000000 358.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
70     (particle (id 1755) (pos 357.000000 346.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
71     (particle (id 1756) (pos 375.000000 346.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
72     (particle (id 1757) (pos 417.000000 383.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
73     (particle (id 1759) (pos 395.000000 382.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
74     (particle (id 1760) (pos 290.000000 385.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
75     (particle (id 1763) (pos 269.000000 384.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
76     (particle (id 1877) (pos 316.000000 358.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
77     (particle (id 1878) (pos 306.000000 345.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
78     (particle (id 1879) (pos 325.000000 346.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
79     (particle (id 1880) (pos 342.000000 308.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
80     (particle (id 2047) (pos 341.000000 274.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
81     (particle (id 2048) (pos 326.000000 273.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
82     (particle (id 2049) (pos 356.000000 274.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
83     (particle (id 3905) (pos 354.000000 255.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
84     (particle (id 3906) (pos 342.000000 241.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
85     (particle (id 3909) (pos 329.000000 254.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
86     (particle (id 4506) (pos 311.000000 306.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
87     (particle (id 4507) (pos 300.000000 317.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
88     (particle (id 4508) (pos 316.000000 321.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
89     (particle (id 4509) (pos 374.000000 307.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
90     (particle (id 4510) (pos 368.000000 321.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
91     (particle (id 4511) (pos 386.000000 317.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
92     (particle (id 5642) (pos 342.000000 476.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
93     (particle (id 6565) (pos 2.000000 599.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
94     (particle (id 6566) (pos 683.000000 599.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
95     (particle (id 7357) (pos 406.000000 371.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
96     (particle (id 7358) (pos 280.000000 373.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
97     (particle (id 7705) (pos 279.000000 599.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
98     (particle (id 7706) (pos 402.000000 599.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
99     (particle (id 9097) (pos 501.000000 195.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
100     (particle (id 9098) (pos 498.000000 210.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
101     (particle (id 9099) (pos 502.000000 225.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
102     (particle (id 9100) (pos 516.000000 187.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
103     (particle (id 9101) (pos 534.000000 188.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
104     (particle (id 9102) (pos 546.000000 200.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
105     (particle (id 9103) (pos 544.000000 216.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
106     (particle (id 9104) (pos 535.000000 230.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
107     (particle (id 9105) (pos 520.000000 231.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
108     (particle (id 9126) (pos 509.000000 258.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
109     (particle (id 9127) (pos 486.000000 280.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
110     (particle (id 9128) (pos 453.000000 299.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
111     (particle (id 9150) (pos 423.000000 304.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
112     (particle (id 9151) (pos 384.000000 292.000000 0.000000) (velocity 0.000000 0.000000 0.000000) (fixed #f) (mass 10.000000))
113   )
114   (springs
115     (spring (first 1) (second 2) (length 15.000000))
116     (spring (first 2) (second 3) (length 41.629318))
117     (spring (first 3) (second 4) (length 41.231056))
118     (spring (first 4) (second 5) (length 15.000000))
119     (spring (first 3) (second 6) (length 30.000000))
120     (spring (first 6) (second 7) (length 15.000000))
121     (spring (first 6) (second 8) (length 15.000000))
122     (spring (first 7) (second 3) (length 33.541019))
123     (spring (first 8) (second 3) (length 33.541019))
124     (spring (first 7) (second 9) (length 31.064449))
125     (spring (first 9) (second 10) (length 15.620500))
126     (spring (first 10) (second 11) (length 15.556349))
127     (spring (first 11) (second 8) (length 30.805843))
128     (spring (first 6) (second 10) (length 29.017237))
129     (spring (first 11) (second 9) (length 21.023796))
130     (spring (first 7) (second 12) (length 31.320919))
131     (spring (first 12) (second 19) (length 15.297058))
132     (spring (first 19) (second 20) (length 15.811388))
133     (spring (first 20) (second 12) (length 15.620500))
134     (spring (first 8) (second 21) (length 47.885281))
135     (spring (first 21) (second 22) (length 15.524175))
136     (spring (first 22) (second 23) (length 15.000000))
137     (spring (first 23) (second 21) (length 18.601076))
138     (spring (first 6) (second 2) (length 70.092796))
139     (spring (first 6) (second 4) (length 69.856995))
140     (spring (first 58) (second 59) (length 15.000000))
141     (spring (first 59) (second 60) (length 40.249222))
142     (spring (first 60) (second 61) (length 39.812057))
143     (spring (first 61) (second 62) (length 16.000000))
144     (spring (first 60) (second 63) (length 30.000000))
145     (spring (first 63) (second 64) (length 15.000000))
146     (spring (first 63) (second 65) (length 15.033297))
147     (spring (first 64) (second 60) (length 33.541019))
148     (spring (first 65) (second 60) (length 34.438351))
149     (spring (first 64) (second 66) (length 31.622776))
150     (spring (first 66) (second 67) (length 15.556349))
151     (spring (first 67) (second 68) (length 15.556349))
152     (spring (first 68) (second 65) (length 31.064449))
153     (spring (first 63) (second 67) (length 29.000000))
154     (spring (first 68) (second 66) (length 22.000000))
155     (spring (first 63) (second 59) (length 68.410522))
156     (spring (first 63) (second 61) (length 68.154236))
157     (spring (first 64) (second 105) (length 48.764740))
158     (spring (first 105) (second 107) (length 18.027756))
159     (spring (first 107) (second 108) (length 16.031219))
160     (spring (first 108) (second 105) (length 15.231546))
161     (spring (first 23) (second 109) (length 41.436699))
162     (spring (first 109) (second 107) (length 42.059483))
163     (spring (first 6) (second 21) (length 56.639210))
164     (spring (first 63) (second 105) (length 57.384666))
165     (spring (first 170) (second 171) (length 15.000000))
166     (spring (first 171) (second 172) (length 38.483765))
167     (spring (first 172) (second 173) (length 38.483765))
168     (spring (first 173) (second 174) (length 15.000000))
169     (spring (first 172) (second 175) (length 29.000000))
170     (spring (first 175) (second 176) (length 15.000000))
171     (spring (first 175) (second 177) (length 15.033297))
172     (spring (first 176) (second 172) (length 32.649654))
173     (spring (first 177) (second 172) (length 33.541019))
174     (spring (first 175) (second 171) (length 65.969688))
175     (spring (first 175) (second 173) (length 65.969688))
176     (spring (first 177) (second 178) (length 32.202484))
177     (spring (first 178) (second 179) (length 15.264338))
178     (spring (first 179) (second 180) (length 17.029387))
179     (spring (first 180) (second 178) (length 15.000000))
180     (spring (first 6) (second 12) (length 38.418747))
181     (spring (first 176) (second 873) (length 30.000000))
182     (spring (first 873) (second 874) (length 15.000000))
183     (spring (first 874) (second 876) (length 15.000000))
184     (spring (first 876) (second 177) (length 29.410883))
185     (spring (first 175) (second 874) (length 30.000000))
186     (spring (first 876) (second 873) (length 18.000000))
187     (spring (first 65) (second 1139) (length 49.648766))
188     (spring (first 63) (second 1139) (length 60.108234))
189     (spring (first 1139) (second 1140) (length 16.124516))
190     (spring (first 1140) (second 1141) (length 18.027756))
191     (spring (first 1141) (second 1139) (length 16.401220))
192     (spring (first 176) (second 1142) (length 50.774010))
193     (spring (first 1142) (second 1143) (length 15.811388))
194     (spring (first 1143) (second 1144) (length 18.027756))
195     (spring (first 1144) (second 1142) (length 15.000000))
196     (spring (first 175) (second 1142) (length 60.108234))
197     (spring (first 175) (second 178) (length 40.311287))
198     (spring (first 1141) (second 1183) (length 43.011627))
199     (spring (first 1183) (second 1143) (length 43.416588))
200     (spring (first 109) (second 1206) (length 33.000000))
201     (spring (first 1183) (second 1207) (length 35.014282))
202     (spring (first 1206) (second 1208) (length 15.000000))
203     (spring (first 1206) (second 1209) (length 15.000000))
204     (spring (first 1208) (second 109) (length 36.249138))
205     (spring (first 1209) (second 109) (length 36.249138))
206     (spring (first 1206) (second 23) (length 73.348480))
207     (spring (first 1206) (second 107) (length 74.148499))
208     (spring (first 1207) (second 1262) (length 15.033297))
209     (spring (first 1207) (second 1263) (length 15.000000))
210     (spring (first 1262) (second 1183) (length 39.395432))
211     (spring (first 1263) (second 1183) (length 37.696156))
212     (spring (first 1207) (second 1141) (length 76.941536))
213     (spring (first 1207) (second 1143) (length 77.929459))
214     (spring (first 1208) (second 1398) (length 36.674240))
215     (spring (first 1398) (second 1399) (length 15.556349))
216     (spring (first 1399) (second 1400) (length 15.811388))
217     (spring (first 1400) (second 1398) (length 16.492422))
218     (spring (first 1398) (second 1206) (length 45.276924))
219     (spring (first 1263) (second 1401) (length 39.357338))
220     (spring (first 1401) (second 1402) (length 15.811388))
221     (spring (first 1402) (second 1403) (length 15.297058))
222     (spring (first 1403) (second 1401) (length 17.088007))
223     (spring (first 1401) (second 1207) (length 48.104053))
224     (spring (first 1262) (second 1754) (length 49.244289))
225     (spring (first 1754) (second 1755) (length 15.000000))
226     (spring (first 1755) (second 1756) (length 18.000000))
227     (spring (first 1756) (second 1754) (length 15.000000))
228     (spring (first 1262) (second 1757) (length 32.449963))
229     (spring (first 1759) (second 1263) (length 32.015621))
230     (spring (first 1759) (second 1757) (length 22.022715))
231     (spring (first 1207) (second 1754) (length 58.796257))
232     (spring (first 1208) (second 1760) (length 31.064449))
233     (spring (first 1763) (second 1209) (length 30.805843))
234     (spring (first 1763) (second 1760) (length 21.023796))
235     (spring (first 1209) (second 1877) (length 49.193497))
236     (spring (first 1877) (second 1878) (length 16.401220))
237     (spring (first 1878) (second 1879) (length 19.026299))
238     (spring (first 1879) (second 1877) (length 15.000000))
239     (spring (first 1879) (second 1880) (length 41.629318))
240     (spring (first 1880) (second 1755) (length 40.853397))
241     (spring (first 1880) (second 2047) (length 34.014702))
242     (spring (first 2047) (second 2048) (length 15.033297))
243     (spring (first 2047) (second 2049) (length 15.000000))
244     (spring (first 2048) (second 1880) (length 38.483765))
245     (spring (first 2049) (second 1880) (length 36.769554))
246     (spring (first 2047) (second 1879) (length 73.756355))
247     (spring (first 2047) (second 1755) (length 73.756355))
248     (spring (first 1206) (second 1877) (length 57.489128))
249     (spring (first 2048) (second 3905) (length 33.286633))
250     (spring (first 3905) (second 3906) (length 18.439089))
251     (spring (first 3906) (second 3909) (length 18.384777))
252     (spring (first 3909) (second 2049) (length 33.600594))
253     (spring (first 2047) (second 3906) (length 33.015148))
254     (spring (first 3909) (second 3905) (length 25.019993))
255     (spring (first 2048) (second 4506) (length 36.249138))
256     (spring (first 4506) (second 4507) (length 15.556349))
257     (spring (first 4507) (second 4508) (length 16.492422))
258     (spring (first 4508) (second 4506) (length 15.811388))
259     (spring (first 4506) (second 2047) (length 43.863426))
260     (spring (first 2049) (second 4509) (length 37.589893))
261     (spring (first 4509) (second 4510) (length 15.231546))
262     (spring (first 4510) (second 4511) (length 18.439089))
263     (spring (first 4511) (second 4509) (length 15.620500))
264     (spring (first 4509) (second 2047) (length 46.669048))
265     (spring (first 3906) (second 5642) (length 235.000000))
266     (spring (first 6565) (second 3906) (length 493.724609))
267     (spring (first 3906) (second 6566) (length 494.413788))
268     (spring (first 6566) (second 6565) (length 681.000000))
269     (spring (first 5642) (second 6565) (length 361.564667))
270     (spring (first 5642) (second 6566) (length 362.505157))
271     (spring (first 1759) (second 7357) (length 15.556349))
272     (spring (first 7357) (second 1757) (length 16.278820))
273     (spring (first 7357) (second 1207) (length 31.016125))
274     (spring (first 1763) (second 7358) (length 15.556349))
275     (spring (first 7358) (second 1760) (length 15.620500))
276     (spring (first 7358) (second 1206) (length 29.017237))
277     (spring (first 7705) (second 5642) (length 138.195511))
278     (spring (first 5642) (second 7706) (length 136.853943))
279     (spring (first 7706) (second 7705) (length 123.000000))
280     (spring (first 64) (second 108) (length 59.481091))
281     (spring (first 8) (second 22) (length 60.083275))
282     (spring (first 65) (second 1140) (length 58.523499))
283     (spring (first 1144) (second 176) (length 57.870544))
284     (spring (first 1262) (second 1756) (length 57.008770))
285     (spring (first 1209) (second 1878) (length 58.249462))
286     (spring (first 2049) (second 4510) (length 48.507732))
287     (spring (first 2048) (second 4508) (length 49.030602))
288     (spring (first 1208) (second 1400) (length 50.447994))
289     (spring (first 1263) (second 1403) (length 52.392746))
290     (spring (first 7) (second 19) (length 45.398239))
291     (spring (first 177) (second 179) (length 42.426407))
292     (spring (first 7705) (second 7357) (length 260.984680))
293     (spring (first 7357) (second 6566) (length 358.765930))
294     (spring (first 7706) (second 7358) (length 256.826782))
295     (spring (first 7358) (second 6565) (length 358.273651))
296     (spring (first 6) (second 11) (length 20.591261))
297     (spring (first 6) (second 9) (length 20.248457))
298     (spring (first 63) (second 68) (length 21.095022))
299     (spring (first 63) (second 66) (length 21.095022))
300     (spring (first 175) (second 876) (length 20.124611))
301     (spring (first 175) (second 873) (length 20.124611))
302     (spring (first 1207) (second 1759) (length 22.360680))
303     (spring (first 1207) (second 1757) (length 22.472204))
304     (spring (first 1206) (second 1763) (length 20.591261))
305     (spring (first 1206) (second 1760) (length 20.248457))
306     (spring (first 2047) (second 3909) (length 23.323807))
307     (spring (first 2047) (second 3905) (length 23.021729))
308     (spring (first 3906) (second 9097) (length 165.520386))
309     (spring (first 3906) (second 9097) (length 165.520386))
310     (spring (first 3906) (second 9098) (length 159.050308))
311     (spring (first 3906) (second 9099) (length 160.798004))
312     (spring (first 9099) (second 9098) (length 15.524175))
313     (spring (first 9098) (second 9097) (length 15.297058))
314     (spring (first 9097) (second 9100) (length 17.000000))
315     (spring (first 9100) (second 9101) (length 18.027756))
316     (spring (first 9101) (second 9102) (length 16.970562))
317     (spring (first 9102) (second 9103) (length 16.124516))
318     (spring (first 9103) (second 9104) (length 16.643316))
319     (spring (first 9104) (second 9105) (length 15.033297))
320     (spring (first 9105) (second 9099) (length 18.973665))
321     (spring (first 9099) (second 9104) (length 33.376640))
322     (spring (first 9099) (second 9103) (length 42.953465))
323     (spring (first 9099) (second 9102) (length 50.606323))
324     (spring (first 9099) (second 9101) (length 48.918301))
325     (spring (first 9099) (second 9100) (length 40.496914))
326     (spring (first 9099) (second 9097) (length 30.016663))
327     (spring (first 9105) (second 9103) (length 28.301943))
328     (spring (first 9105) (second 9102) (length 40.459858))
329     (spring (first 9105) (second 9101) (length 45.221676))
330     (spring (first 9105) (second 9100) (length 44.181442))
331     (spring (first 9105) (second 9097) (length 40.706264))
332     (spring (first 9105) (second 9098) (length 30.413813))
333     (spring (first 9104) (second 9102) (length 31.953091))
334     (spring (first 9104) (second 9101) (length 42.011902))
335     (spring (first 9104) (second 9100) (length 47.010635))
336     (spring (first 9104) (second 9097) (length 48.795490))
337     (spring (first 9104) (second 9098) (length 42.059483))
338     (spring (first 9104) (second 9099) (length 33.376640))
339     (spring (first 9103) (second 9101) (length 29.732138))
340     (spring (first 9103) (second 9100) (length 40.311287))
341     (spring (first 9103) (second 9097) (length 47.853943))
342     (spring (first 9103) (second 9098) (length 46.389652))
343     (spring (first 9103) (second 9099) (length 42.953465))
344     (spring (first 9103) (second 9105) (length 28.301943))
345     (spring (first 9102) (second 9100) (length 32.695564))
346     (spring (first 9102) (second 9097) (length 45.276924))
347     (spring (first 9102) (second 9098) (length 49.030602))
348     (spring (first 9102) (second 9099) (length 50.606323))
349     (spring (first 9102) (second 9105) (length 40.459858))
350     (spring (first 9102) (second 9104) (length 31.953091))
351     (spring (first 9101) (second 9103) (length 29.732138))
352     (spring (first 9101) (second 9104) (length 42.011902))
353     (spring (first 9101) (second 9105) (length 45.221676))
354     (spring (first 9101) (second 9099) (length 48.918301))
355     (spring (first 9101) (second 9098) (length 42.190044))
356     (spring (first 9101) (second 9097) (length 33.734257))
357     (spring (first 9100) (second 9102) (length 32.695564))
358     (spring (first 9100) (second 9103) (length 40.311287))
359     (spring (first 9100) (second 9104) (length 47.010635))
360     (spring (first 9100) (second 9105) (length 44.181442))
361     (spring (first 9100) (second 9099) (length 40.496914))
362     (spring (first 9100) (second 9098) (length 29.206163))
363     (spring (first 9097) (second 9101) (length 33.734257))
364     (spring (first 9097) (second 9102) (length 45.276924))
365     (spring (first 9097) (second 9103) (length 47.853943))
366     (spring (first 9097) (second 9104) (length 48.795490))
367     (spring (first 9097) (second 9105) (length 40.706264))
368     (spring (first 9097) (second 9099) (length 30.016663))
369     (spring (first 9097) (second 9104) (length 48.795490))
370     (spring (first 9097) (second 9104) (length 48.795490))
371     (spring (first 9097) (second 9103) (length 47.853943))
372     (spring (first 9097) (second 9102) (length 45.276924))
373     (spring (first 9097) (second 9101) (length 33.734257))
374     (spring (first 9097) (second 9102) (length 45.276924))
375     (spring (first 9097) (second 9103) (length 47.853943))
376     (spring (first 9097) (second 9104) (length 48.795490))
377     (spring (first 9097) (second 9104) (length 48.795490))
378     (spring (first 9097) (second 9105) (length 40.706264))
379     (spring (first 9097) (second 9099) (length 30.016663))
380     (spring (first 9098) (second 9100) (length 29.206163))
381     (spring (first 9098) (second 9101) (length 42.190044))
382     (spring (first 9098) (second 9102) (length 49.030602))
383     (spring (first 9098) (second 9103) (length 46.389652))
384     (spring (first 9098) (second 9104) (length 42.059483))
385     (spring (first 9098) (second 9105) (length 30.413813))
386     (spring (first 9099) (second 9097) (length 30.016663))
387     (spring (first 9099) (second 9100) (length 40.496914))
388     (spring (first 9099) (second 9101) (length 48.918301))
389     (spring (first 9099) (second 9102) (length 50.606323))
390     (spring (first 9099) (second 9103) (length 42.953465))
391     (spring (first 9099) (second 9104) (length 33.376640))
392     (spring (first 9105) (second 9098) (length 30.413813))
393     (spring (first 9105) (second 9097) (length 40.706264))
394     (spring (first 9105) (second 9100) (length 44.181442))
395     (spring (first 9105) (second 9101) (length 45.221676))
396     (spring (first 9105) (second 9102) (length 40.459858))
397     (spring (first 9105) (second 9103) (length 28.301943))
398     (spring (first 9105) (second 9126) (length 29.154760))
399     (spring (first 9126) (second 9127) (length 31.827662))
400     (spring (first 9127) (second 9128) (length 38.078865))
401     (spring (first 9128) (second 9150) (length 30.413813))
402     (spring (first 9150) (second 9151) (length 40.804413))
403     (spring (first 9151) (second 2047) (length 46.615448))
404   ))
406 ;; EOF ;;