Rebuild autotool system
[construo.git] / examples / bigthing.construo
blob0c696de8db54830496ca288dcba09ec605d96e07
2 (construo-scene
3   (particles 
4     (particle (id 43304) (pos  165.814  600  0 ) (velocity  0.0295602  -0.173863  0 ) )
5     (particle (id 43305) (pos  193.298  561.754  0 ) (velocity  -0.666357  0.307867  0 ) )
6     (particle (id 43306) (pos  214.043  599.902  0 ) (velocity  -0.349162  0.808449  0 ) )
7     (particle (id 43307) (pos  249.089  562.048  0 ) (velocity  0.427666  0.540617  0 ) )
8     (particle (id 43308) (pos  282.285  600  0 ) (velocity  0.0392189  -0.195403  0 ) )
9     (particle (id 43309) (pos  318.739  564.383  0 ) (velocity  -1.40143  0.379267  0 ) )
10     (particle (id 43310) (pos  347.667  600  0 ) (velocity  0.0134265  -0.0838214  0 ) )
11     (particle (id 43311) (pos  379.907  567.176  0 ) (velocity  0.0735036  0.23978  0 ) )
12     (particle (id 43312) (pos  399.741  600  0 ) (velocity  0.0289317  -0.405771  0 ) )
13     (particle (id 43313) (pos  429.579  572.077  0 ) (velocity  -0.66303  -0.560965  0 ) )
14     (particle (id 43314) (pos  455.144  596.56  0 ) (velocity  0.426619  -0.88794  0 ) )
15     (particle (id 43315) (pos  509.459  600  0 ) (velocity  0.00407085  -0.365626  0 ) )
16     (particle (id 43316) (pos  478.504  573.923  0 ) (velocity  -0.0822266  -1.59909  0 ) )
17     (particle (id 43317) (pos  222.5  520.839  0 ) (velocity  -0.196108  0.729194  0 ) )
18     (particle (id 43318) (pos  283.815  520.699  0 ) (velocity  -0.441568  0.712045  0 ) )
19     (particle (id 43319) (pos  343.176  526.924  0 ) (velocity  -1.6177  -0.424093  0 ) )
20     (particle (id 43320) (pos  402.858  531.094  0 ) (velocity  -1.83445  -0.880267  0 ) )
21     (particle (id 43321) (pos  462.174  530.535  0 ) (velocity  -0.570618  -1.10219  0 ) )
22     (particle (id 43322) (pos  259.05  486.761  0 ) (velocity  0.0474441  0.287896  0 ) )
23     (particle (id 43323) (pos  315.143  491.623  0 ) (velocity  0.3988  -0.0392815  0 ) )
24     (particle (id 43324) (pos  379.62  496.108  0 ) (velocity  -1.10265  -0.447233  0 ) )
25     (particle (id 43325) (pos  444.156  501.108  0 ) (velocity  -1.73283  -1.53803  0 ) )
26     (particle (id 43326) (pos  513.414  530.828  0 ) (velocity  -0.783448  -1.47433  0 ) )
27     (particle (id 43327) (pos  480.359  500.03  0 ) (velocity  -1.71305  -2.29723  0 ) )
28     (particle (id 43328) (pos  544.85  568.387  0 ) (velocity  -0.00517109  -0.0217278  0 ) )
29     (particle (id 43329) (pos  569.339  600  0 ) (velocity  0.0243785  -0.0440399  0 ) )
30     (particle (id 43330) (pos  296.355  449.597  0 ) (velocity  -0.630731  -0.949033  0 ) )
31     (particle (id 43331) (pos  348.667  453.529  0 ) (velocity  -0.256985  -0.934687  0 ) )
32     (particle (id 43332) (pos  406.82  457.81  0 ) (velocity  -1.08109  -1.16216  0 ) )
33     (particle (id 43333) (pos  457.095  457.098  0 ) (velocity  -0.491482  -1.56389  0 ) )
34     (particle (id 43334) (pos  324.195  414.827  0 ) (velocity  1.24537  -1.86127  0 ) )
35     (particle (id 43335) (pos  381.963  418.155  0 ) (velocity  0.938349  -2.43806  0 ) )
36     (particle (id 43336) (pos  427.688  417.302  0 ) (velocity  -0.293501  -1.44868  0 ) )
37     (particle (id 43337) (pos  407.149  380.563  0 ) (velocity  -0.410307  -2.26069  0 ) )
38     (particle (id 43338) (pos  350.438  375.367  0 ) (velocity  -0.425119  -0.592536  0 ) )
39     (particle (id 43339) (pos  379.759  344.619  0 ) (velocity  0.0686457  -3.83636  0 ) )
40     (particle (id 43376) (pos  328.597  343.85  0 ) (velocity  -2.23408  -1.07127  0 ) )
41     (particle (id 43377) (pos  313.359  311.544  0 ) (velocity  -0.593103  0.479524  0 ) )
42     (particle (id 43378) (pos  364.775  312.049  0 ) (velocity  0.558661  -1.8432  0 ) )
43     (particle (id 43379) (pos  283.808  283.718  0 ) (velocity  -1.41366  -2.03905  0 ) )
44     (particle (id 43380) (pos  337.266  279.824  0 ) (velocity  -2.8571  -1.33695  0 ) )
45     (particle (id 43381) (pos  260.953  253.991  0 ) (velocity  -1.35423  -0.23179  0 ) )
46     (particle (id 43382) (pos  313.452  251.745  0 ) (velocity  -1.91193  -2.04032  0 ) )
47     (particle (id 43383) (pos  266.983  312.393  0 ) (velocity  0.173948  -1.14986  0 ) )
48     (particle (id 43384) (pos  230.105  282.819  0 ) (velocity  -1.93261  0.909962  0 ) )
49     (particle (id 43385) (pos  205.563  256.099  0 ) (velocity  -1.2236  0.326934  0 ) )
50     (particle (id 43432) (pos  178.215  220.997  0 ) (velocity  -2.9409  -0.611479  0 ) )
51     (particle (id 43433) (pos  253.445  223.561  0 ) (velocity  -4.13696  0.455455  0 ) )
52     (particle (id 43434) (pos  290.667  224.958  0 ) (velocity  -1.71754  -0.339825  0 ) )
53     (particle (id 43435) (pos  156.705  191.201  0 ) (velocity  -0.778192  1.86694  0 ) )
54     (particle (id 43436) (pos  207.57  189.349  0 ) (velocity  -4.72394  1.57676  0 ) )
55     (particle (id 43437) (pos  262.31  193.065  0 ) (velocity  -4.27671  -2.16641  0 ) )
56     (particle (id 43662) (pos  437.745  350.444  0 ) (velocity  0.64648  -2.97962  0 ) )
57     (particle (id 43663) (pos  410.331  315.941  0 ) (velocity  0.110437  -3.72596  0 ) )
58     (particle (id 43724) (pos  303.467  374.768  0 ) (velocity  0.327575  -0.301937  0 ) )
59     (particle (id 43841) (pos  385.745  289.096  0 ) (velocity  -1.26947  -2.14121  0 ) )
60     (particle (id 44064) (pos  286.417  341.52  0 ) (velocity  -0.376276  0.807122  0 ) )
61     (particle (id 44065) (pos  134.698  157.142  0 ) (velocity  -2.70043  0.701503  0 ) )
62     (particle (id 44066) (pos  184.411  159.751  0 ) (velocity  -3.5499  2.10604  0 ) )
63     (particle (id 44067) (pos  232.177  161.925  0 ) (velocity  -1.14778  -0.272815  0 ) )
64     (particle (id 44068) (pos  198.714  122.079  0 ) (velocity  -2.01143  -0.884693  0 ) )
65     (particle (id 44069) (pos  154.958  116.701  0 ) (velocity  -4.33464  1.33067  0 ) )
66     (particle (id 44070) (pos  109.039  111.962  0 ) (velocity  -4.15248  3.49913  0 ) )
67     (particle (id 44071) (pos  131.533  77.9221  0 ) (velocity  -1.83302  2.37003  0 ) )
68     (particle (id 44072) (pos  83.6903  71.6691  0 ) (velocity  -1.64506  1.75181  0 ) )
69     (particle (id 44152) (pos  199.469  81.2479  0 ) (velocity  -1.56822  1.13283  0 ) )
70     (particle (id 44153) (pos  231.282  87.3815  0 ) (velocity  -6.75737  1.5529  0 ) )
71     (particle (id 44154) (pos  252.018  116.992  0 ) (velocity  -3.2696  2.21975  0 ) )
72     (particle (id 44155) (pos  285.547  88.969  0 ) (velocity  -1.35028  1.30229  0 ) )
73     (particle (id 44156) (pos  309.069  120.833  0 ) (velocity  -6.10308  1.047  0 ) )
74     (particle (id 44157) (pos  342.844  91.7067  0 ) (velocity  -3.98564  0.637311  0 ) )
75     (particle (id 44158) (pos  373.058  124.166  0 ) (velocity  -0.813407  2.1099  0 ) )
76     (particle (id 44159) (pos  413.974  96.1019  0 ) (velocity  -5.06949  1.8793  0 ) )
77     (particle (id 44160) (pos  437.668  128.509  0 ) (velocity  -2.72472  0.739804  0 ) )
78     (particle (id 44161) (pos  470.308  100.777  0 ) (velocity  -0.213827  0.714231  0 ) )
79     (particle (id 44162) (pos  504.417  129.835  0 ) (velocity  -0.932153  1.45382  0 ) )
80     (particle (id 44163) (pos  519.661  94.7922  0 ) (velocity  -2.55609  2.5722  0 ) )
81     (particle (id 44164) (pos  548.321  129.378  0 ) (velocity  -3.39773  1.43414  0 ) )
82     (particle (id 44165) (pos  570.517  93.2257  0 ) (velocity  -3.56924  1.72873  0 ) )
83     (particle (id 44166) (pos  592.722  122.331  0 ) (velocity  -1.93852  3.37411  0 ) )
84     (particle (id 44167) (pos  626.647  121.075  0 ) (velocity  -0.250495  5.06717  0 ) )
85     (particle (id 44168) (pos  605.425  91.8754  0 ) (velocity  -1.58265  2.87755  0 ) )
86     (particle (id 44321) (pos  283.824  147.863  0 ) (velocity  -3.91159  1.79982  0 ) )
87     (particle (id 44498) (pos  318.467  56.3225  0 ) (velocity  -2.34082  1.3892  0 ) )
88     (particle (id 44499) (pos  373.395  62.2057  0 ) (velocity  -2.51787  3.28186  0 ) )
89     (particle (id 44500) (pos  265.178  53.0458  0 ) (velocity  -3.17763  -0.038897  0 ) )
90     (particle (id 44501) (pos  216.927  48.8146  0 ) (velocity  -2.99408  0.943976  0 ) )
91     (particle (id 44502) (pos  178.681  49.6281  0 ) (velocity  -3.41591  0.611357  0 ) )
92     (particle (id 44503) (pos  110.114  40.9696  0 ) (velocity  -2.10434  1.72484  0 ) )
93     (particle (id 44972) (pos  473.394  324.395  0 ) (velocity  -2.32553  -1.44286  0 ) )
94     (particle (id 44973) (pos  515.396  298.323  0 ) (velocity  0.430082  0.319313  0 ) )
95     (particle (id 44974) (pos  563.909  267.208  0 ) (velocity  1.28209  0.199843  0 ) )
96     (particle (id 44975) (pos  465.572  288.45  0 ) (velocity  1.29013  -2.14317  0 ) )
97     (particle (id 44976) (pos  515.906  259.44  0 ) (velocity  1.54761  -0.922675  0 ) )
98     (particle (id 44977) (pos  555.883  234.005  0 ) (velocity  1.46576  1.68435  0 ) )
99     (particle (id 44978) (pos  616.821  236.002  0 ) (velocity  4.3276  5.60219  0 ) )
100     (particle (id 44979) (pos  600.667  203.688  0 ) (velocity  1.39164  7.07028  0 ) )
101     (particle (id 44980) (pos  652.016  204.318  0 ) (velocity  2.87093  2.5227  0 ) )
102     (particle (id 44981) (pos  644.869  167.674  0 ) (velocity  -0.750517  4.62931  0 ) )
103     (particle (id 44982) (pos  683.831  167.401  0 ) (velocity  -1.86867  4.1028  0 ) )
104     (particle (id 44983) (pos  670.684  127.782  0 ) (velocity  -1.89796  1.95116  0 ) )
105     (particle (id 44984) (pos  712.875  108.129  0 ) (velocity  -2.56604  0.94981  0 ) )
106     (particle (id 44985) (pos  673.904  77.4248  0 ) (velocity  -3.82308  5.72022  0 ) )
107     (particle (id 44986) (pos  685.437  37.0708  0 ) (velocity  -2.65211  2.33532  0 ) )
108     (particle (id 44987) (pos  642.061  54.4863  0 ) (velocity  -2.98042  4.7981  0 ) )
109     (particle (id 44988) (pos  621.792  23.3357  0 ) (velocity  -2.13126  4.86919  0 ) )
110     (particle (id 44989) (pos  602.259  60.9811  0 ) (velocity  -2.42617  2.43797  0 ) )
111     (particle (id 44990) (pos  569.483  45.408  0 ) (velocity  -4.27158  0.181532  0 ) )
112     (particle (id 44991) (pos  552.695  73.0491  0 ) (velocity  -1.58829  1.36909  0 ) )
113     (particle (id 44992) (pos  523.668  53.5096  0 ) (velocity  -1.42662  0.869871  0 ) )
114     (particle (id 46799) (pos  468.642  362.166  0 ) (velocity  -1.81475  -1.90692  0 ) )
115     (particle (id 46800) (pos  521.411  332.292  0 ) (velocity  0.523193  0.956331  0 ) )
116     (particle (id 46801) (pos  579.7  300.74  0 ) (velocity  0.192241  3.00072  0 ) )
117     (particle (id 46802) (pos  612.15  268.887  0 ) (velocity  3.69121  2.84948  0 ) )
118     (particle (id 46803) (pos  664.437  233.209  0 ) (velocity  1.83478  5.14882  0 ) )
119     (particle (id 46804) (pos  691.881  203.231  0 ) (velocity  1.81837  3.46493  0 ) )
120     (particle (id 46805) (pos  717.935  174.037  0 ) (velocity  0.807793  1.56601  0 ) )
121     (particle (id 46806) (pos  736.14  143.317  0 ) (velocity  0.136669  1.09937  0 ) )
122     (particle (id 47359) (pos  614.789  164.384  0 ) (velocity  -0.240833  6.38423  0 ) )
123     (particle (id 48486) (pos  530.008  239.86  0 ) (velocity  4.48384  7.41988  0 ) )
124     (particle (id 48487) (pos  624.858  192.606  0 ) (velocity  0.0647246  -0.494078  0 ) )
125     (particle (id 48488) (pos  67  188  0 ) (velocity  0  0  0 ) )
126     (particle (id 48489) (pos  39  209  0 ) (velocity  0  0  0 ) )
127     (particle (id 48490) (pos  79  212  0 ) (velocity  0  0  0 ) )
128     (particle (id 48491) (pos  113  194  0 ) (velocity  0  0  0 ) )
129     (particle (id 48492) (pos  118  223  0 ) (velocity  0  0  0 ) )
130     (particle (id 48493) (pos  90  242  0 ) (velocity  0  0  0 ) )
131     (particle (id 48494) (pos  62  238  0 ) (velocity  0  0  0 ) )
132     (particle (id 48495) (pos  33  236  0 ) (velocity  0  0  0 ) )
133     (particle (id 48496) (pos  37  181  0 ) (velocity  0  0  0 ) )
134     (particle (id 48497) (pos  94  170  0 ) (velocity  0  0  0 ) )
135     (particle (id 48498) (pos  141  212  0 ) (velocity  0  0  0 ) )
136     (particle (id 48499) (pos  125  251  0 ) (velocity  0  0  0 ) )
137     (particle (id 48500) (pos  77  271  0 ) (velocity  0  0  0 ) )
138     (particle (id 50287) (pos  303  191  0 ) (velocity  0  0  0 ) )
139     (particle (id 50288) (pos  323  149  0 ) (velocity  0  0  0 ) )
140     (particle (id 50289) (pos  343  219  0 ) (velocity  0  0  0 ) )
141     (particle (id 50290) (pos  367  247  0 ) (velocity  0  0  0 ) )
142     (particle (id 52525) (pos  572  190  0 ) (velocity  0  0  0 ) )
143     (particle (id 52526) (pos  576  154  0 ) (velocity  0  0  0 ) )
144     (particle (id 52527) (pos  534  161  0 ) (velocity  0  0  0 ) )
145     (particle (id 52528) (pos  536  202  0 ) (velocity  0  0  0 ) )
146     (particle (id 52971) (pos  464  417  0 ) (velocity  0  0  0 ) )
147     (particle (id 54120) (pos  39  268  0 ) (velocity  0  0  0 ) )
148     (particle (id 54121) (pos  9  204  0 ) (velocity  0  0  0 ) )
149     (particle (id 54122) (pos  58  154  0 ) (velocity  0  0  0 ) )
150     (particle (id 54123) (pos  117  286  0 ) (velocity  0  0  0 ) )
151     (particle (id 54124) (pos  464  260  0 ) (velocity  0  0  0 ) )
152     (particle (id 54125) (pos  406  262  0 ) (velocity  0  0  0 ) )
153     (particle (id 54126) (pos  492  230  0 ) (velocity  0  0  0 ) )
154     (particle (id 54127) (pos  508  190  0 ) (velocity  0  0  0 ) )
155     (particle (id 54128) (pos  490  153  0 ) (velocity  0  0  0 ) )
156     (particle (id 54511) (pos  428  64  0 ) (velocity  0  0  0 ) )
157     (particle (id 54512) (pos  468  68  0 ) (velocity  0  0  0 ) )
158     (particle (id 54513) (pos  463  37  0 ) (velocity  0  0  0 ) )
159     (particle (id 54514) (pos  401  36  0 ) (velocity  0  0  0 ) )
160     (particle (id 54515) (pos  343  29  0 ) (velocity  0  0  0 ) )
161     (particle (id 54516) (pos  300  31  0 ) (velocity  0  0  0 ) )
162     (particle (id 54517) (pos  493  37  0 ) (velocity  0  0  0 ) )
163     (particle (id 54518) (pos  534  24  0 ) (velocity  0  0  0 ) )
164     (particle (id 57427) (pos  145  306  0 ) (velocity  0  0  0 ) )
165     (particle (id 57428) (pos  162  269  0 ) (velocity  0  0  0 ) )
166     (particle (id 57429) (pos  171  333  0 ) (velocity  0  0  0 ) )
167     (particle (id 57430) (pos  181  298  0 ) (velocity  0  0  0 ) )
168     (particle (id 61457) (pos  110  146  0 ) (velocity  0  0  0 ) )
169     (particle (id 61458) (pos  86  133  0 ) (velocity  0  0  0 ) )
170     (particle (id 61459) (pos  57  122  0 ) (velocity  0  0  0 ) )
171     (particle (id 61460) (pos  73  95  0 ) (velocity  0  0  0 ) )
172     (particle (id 61461) (pos  41  96  0 ) (velocity  0  0  0 ) )
173     (particle (id 70259) (pos  183  523  0 ) (velocity  0  0  0 ) )
174     (particle (id 70260) (pos  146  553  0 ) (velocity  0  0  0 ) )
175     (particle (id 70261) (pos  124  594  0 ) (velocity  0  0  0 ) )
176     (particle (id 70262) (pos  104  564  0 ) (velocity  0  0  0 ) )
177     (particle (id 70263) (pos  131  532  0 ) (velocity  0  0  0 ) )
178     (particle (id 70264) (pos  155  502  0 ) (velocity  0  0  0 ) )
179     (particle (id 70265) (pos  105  509  0 ) (velocity  0  0  0 ) )
180     (particle (id 70266) (pos  202  503  0 ) (velocity  0  0  0 ) )
181     (particle (id 70800) (pos  247  26  0 ) (velocity  0  0  0 ) )
182     (particle (id 70801) (pos  197  23  0 ) (velocity  0  0  0 ) )
183     (particle (id 70802) (pos  156  23  0 ) (velocity  0  0  0 ) )
184     (particle (id 70803) (pos  107  13  0 ) (velocity  0  0  0 ) )
185     (particle (id 70804) (pos  83  25  0 ) (velocity  0  0  0 ) )
186     (particle (id 70805) (pos  61  53  0 ) (velocity  0  0  0 ) )
187     (particle (id 70806) (pos  49  19  0 ) (velocity  0  0  0 ) )
188     (particle (id 70807) (pos  76  0  0 ) (velocity  0  0  0 ) )
189     (particle (id 76155) (pos  529  503  0 ) (velocity  0  0  0 ) )
190     (particle (id 76156) (pos  562  529  0 ) (velocity  0  0  0 ) )
191     (particle (id 76157) (pos  579  508  0 ) (velocity  0  0  0 ) )
192     (particle (id 76158) (pos  612  532  0 ) (velocity  0  0  0 ) )
193     (particle (id 76159) (pos  582  568  0 ) (velocity  0  0  0 ) )
194     (particle (id 76160) (pos  613  595  0 ) (velocity  0  0  0 ) )
195     (particle (id 76161) (pos  633  571  0 ) (velocity  0  0  0 ) )
196     (particle (id 78386) (pos  344  1  0 ) (velocity  0  0  0 ) )
197     (particle (id 78387) (pos  566  0  0 ) (velocity  0  0  0 ) )
198     (particle (id 79677) (pos  749  105  0 ) (velocity  0  0  0 ) )
199     (particle (id 79678) (pos  773  126  0 ) (velocity  0  0  0 ) )
200     (particle (id 79679) (pos  797  107  0 ) (velocity  0  0  0 ) )
201     (particle (id 79680) (pos  774  78  0 ) (velocity  0  0  0 ) )
202     (particle (id 79681) (pos  799  70  0 ) (velocity  0  0  0 ) )
203     (particle (id 79682) (pos  731  79  0 ) (velocity  0  0  0 ) )
204     (particle (id 81051) (pos  751  50  0 ) (velocity  0  0  0 ) )
205     (particle (id 81052) (pos  711  43  0 ) (velocity  0  0  0 ) )
206     (particle (id 81053) (pos  786  34  0 ) (velocity  0  0  0 ) )
207     (particle (id 82431) (pos  747  24  0 ) (velocity  0  0  0 ) )
208     (particle (id 82432) (pos  700  10  0 ) (velocity  0  0  0 ) )
209     (particle (id 82433) (pos  663  6  0 ) (velocity  0  0  0 ) )
210   )
211   (springs 
212     (spring (first 43304)(second 43305))
213     (spring (first 43305)(second 43306))
214     (spring (first 43306)(second 43304))
215     (spring (first 43305)(second 43307))
216     (spring (first 43307)(second 43306))
217     (spring (first 43306)(second 43308))
218     (spring (first 43308)(second 43307))
219     (spring (first 43307)(second 43309))
220     (spring (first 43309)(second 43308))
221     (spring (first 43309)(second 43310))
222     (spring (first 43310)(second 43308))
223     (spring (first 43309)(second 43311))
224     (spring (first 43311)(second 43310))
225     (spring (first 43311)(second 43312))
226     (spring (first 43310)(second 43312))
227     (spring (first 43312)(second 43313))
228     (spring (first 43313)(second 43311))
229     (spring (first 43313)(second 43314))
230     (spring (first 43314)(second 43312))
231     (spring (first 43314)(second 43315))
232     (spring (first 43315)(second 43316))
233     (spring (first 43316)(second 43314))
234     (spring (first 43313)(second 43316))
235     (spring (first 43305)(second 43317))
236     (spring (first 43317)(second 43307))
237     (spring (first 43307)(second 43318))
238     (spring (first 43318)(second 43309))
239     (spring (first 43309)(second 43319))
240     (spring (first 43319)(second 43311))
241     (spring (first 43311)(second 43320))
242     (spring (first 43320)(second 43313))
243     (spring (first 43320)(second 43321))
244     (spring (first 43321)(second 43313))
245     (spring (first 43321)(second 43316))
246     (spring (first 43320)(second 43319))
247     (spring (first 43319)(second 43318))
248     (spring (first 43317)(second 43318))
249     (spring (first 43317)(second 43322))
250     (spring (first 43322)(second 43318))
251     (spring (first 43322)(second 43323))
252     (spring (first 43323)(second 43318))
253     (spring (first 43323)(second 43319))
254     (spring (first 43323)(second 43324))
255     (spring (first 43324)(second 43319))
256     (spring (first 43324)(second 43320))
257     (spring (first 43324)(second 43325))
258     (spring (first 43325)(second 43320))
259     (spring (first 43325)(second 43321))
260     (spring (first 43316)(second 43326))
261     (spring (first 43326)(second 43321))
262     (spring (first 43325)(second 43327))
263     (spring (first 43327)(second 43321))
264     (spring (first 43327)(second 43326))
265     (spring (first 43326)(second 43328))
266     (spring (first 43328)(second 43316))
267     (spring (first 43328)(second 43329))
268     (spring (first 43329)(second 43315))
269     (spring (first 43315)(second 43328))
270     (spring (first 43322)(second 43330))
271     (spring (first 43330)(second 43323))
272     (spring (first 43323)(second 43331))
273     (spring (first 43331)(second 43324))
274     (spring (first 43324)(second 43332))
275     (spring (first 43325)(second 43332))
276     (spring (first 43332)(second 43331))
277     (spring (first 43330)(second 43331))
278     (spring (first 43332)(second 43333))
279     (spring (first 43333)(second 43325))
280     (spring (first 43333)(second 43327))
281     (spring (first 43330)(second 43334))
282     (spring (first 43334)(second 43331))
283     (spring (first 43334)(second 43335))
284     (spring (first 43335)(second 43331))
285     (spring (first 43335)(second 43332))
286     (spring (first 43335)(second 43336))
287     (spring (first 43336)(second 43332))
288     (spring (first 43336)(second 43333))
289     (spring (first 43336)(second 43337))
290     (spring (first 43337)(second 43335))
291     (spring (first 43335)(second 43338))
292     (spring (first 43338)(second 43334))
293     (spring (first 43338)(second 43337))
294     (spring (first 43337)(second 43339))
295     (spring (first 43339)(second 43338))
296     (spring (first 43338)(second 43376))
297     (spring (first 43376)(second 43339))
298     (spring (first 43376)(second 43377))
299     (spring (first 43377)(second 43378))
300     (spring (first 43378)(second 43376))
301     (spring (first 43378)(second 43339))
302     (spring (first 43377)(second 43379))
303     (spring (first 43379)(second 43380))
304     (spring (first 43380)(second 43377))
305     (spring (first 43380)(second 43378))
306     (spring (first 43379)(second 43381))
307     (spring (first 43381)(second 43382))
308     (spring (first 43382)(second 43379))
309     (spring (first 43382)(second 43380))
310     (spring (first 43377)(second 43383))
311     (spring (first 43383)(second 43379))
312     (spring (first 43383)(second 43384))
313     (spring (first 43384)(second 43379))
314     (spring (first 43384)(second 43385))
315     (spring (first 43385)(second 43381))
316     (spring (first 43381)(second 43384))
317     (spring (first 43385)(second 43432))
318     (spring (first 43432)(second 43433))
319     (spring (first 43433)(second 43385))
320     (spring (first 43433)(second 43434))
321     (spring (first 43434)(second 43381))
322     (spring (first 43434)(second 43382))
323     (spring (first 43433)(second 43381))
324     (spring (first 43432)(second 43435))
325     (spring (first 43435)(second 43436))
326     (spring (first 43436)(second 43432))
327     (spring (first 43436)(second 43433))
328     (spring (first 43436)(second 43437))
329     (spring (first 43437)(second 43433))
330     (spring (first 43437)(second 43434))
331     (spring (first 43339)(second 43662))
332     (spring (first 43662)(second 43337))
333     (spring (first 43378)(second 43663))
334     (spring (first 43663)(second 43339))
335     (spring (first 43663)(second 43662))
336     (spring (first 43334)(second 43724))
337     (spring (first 43724)(second 43338))
338     (spring (first 43724)(second 43376))
339     (spring (first 43380)(second 43841))
340     (spring (first 43841)(second 43378))
341     (spring (first 43841)(second 43663))
342     (spring (first 43376)(second 44064))
343     (spring (first 44064)(second 43377))
344     (spring (first 43383)(second 44064))
345     (spring (first 43724)(second 44064))
346     (spring (first 43435)(second 44065))
347     (spring (first 44065)(second 44066))
348     (spring (first 44066)(second 43435))
349     (spring (first 44066)(second 43436))
350     (spring (first 44067)(second 43436))
351     (spring (first 44067)(second 43437))
352     (spring (first 44067)(second 44066))
353     (spring (first 44067)(second 44068))
354     (spring (first 44068)(second 44066))
355     (spring (first 44066)(second 44069))
356     (spring (first 44069)(second 44065))
357     (spring (first 44065)(second 44070))
358     (spring (first 44070)(second 44069))
359     (spring (first 44069)(second 44068))
360     (spring (first 44069)(second 44071))
361     (spring (first 44071)(second 44070))
362     (spring (first 44070)(second 44072))
363     (spring (first 44072)(second 44071))
364     (spring (first 44071)(second 44152))
365     (spring (first 44152)(second 44069))
366     (spring (first 44152)(second 44068))
367     (spring (first 44152)(second 44153))
368     (spring (first 44153)(second 44068))
369     (spring (first 44153)(second 44154))
370     (spring (first 44154)(second 44068))
371     (spring (first 44153)(second 44155))
372     (spring (first 44155)(second 44154))
373     (spring (first 44154)(second 44156))
374     (spring (first 44156)(second 44155))
375     (spring (first 44155)(second 44157))
376     (spring (first 44157)(second 44156))
377     (spring (first 44156)(second 44158))
378     (spring (first 44158)(second 44157))
379     (spring (first 44157)(second 44159))
380     (spring (first 44159)(second 44158))
381     (spring (first 44158)(second 44160))
382     (spring (first 44160)(second 44159))
383     (spring (first 44159)(second 44161))
384     (spring (first 44161)(second 44160))
385     (spring (first 44160)(second 44162))
386     (spring (first 44162)(second 44161))
387     (spring (first 44161)(second 44163))
388     (spring (first 44163)(second 44162))
389     (spring (first 44163)(second 44164))
390     (spring (first 44164)(second 44162))
391     (spring (first 44164)(second 44165))
392     (spring (first 44165)(second 44163))
393     (spring (first 44165)(second 44166))
394     (spring (first 44166)(second 44164))
395     (spring (first 44166)(second 44167))
396     (spring (first 44168)(second 44167))
397     (spring (first 44168)(second 44166))
398     (spring (first 44165)(second 44168))
399     (spring (first 44067)(second 44154))
400     (spring (first 44154)(second 44321))
401     (spring (first 44321)(second 44156))
402     (spring (first 44321)(second 44067))
403     (spring (first 44321)(second 43437))
404     (spring (first 44155)(second 44498))
405     (spring (first 44498)(second 44157))
406     (spring (first 44498)(second 44499))
407     (spring (first 44499)(second 44157))
408     (spring (first 44499)(second 44159))
409     (spring (first 44498)(second 44500))
410     (spring (first 44500)(second 44155))
411     (spring (first 44500)(second 44153))
412     (spring (first 44500)(second 44501))
413     (spring (first 44501)(second 44153))
414     (spring (first 44501)(second 44152))
415     (spring (first 44152)(second 44502))
416     (spring (first 44502)(second 44071))
417     (spring (first 44071)(second 44503))
418     (spring (first 44503)(second 44072))
419     (spring (first 44503)(second 44502))
420     (spring (first 44502)(second 44501))
421     (spring (first 43662)(second 44972))
422     (spring (first 44972)(second 43663))
423     (spring (first 44972)(second 44973))
424     (spring (first 44973)(second 44974))
425     (spring (first 44974)(second 44973))
426     (spring (first 44972)(second 43663))
427     (spring (first 44975)(second 43663))
428     (spring (first 44975)(second 44972))
429     (spring (first 44975)(second 44973))
430     (spring (first 44975)(second 44976))
431     (spring (first 44976)(second 44973))
432     (spring (first 44976)(second 44974))
433     (spring (first 44976)(second 44977))
434     (spring (first 44977)(second 44974))
435     (spring (first 44977)(second 44978))
436     (spring (first 44978)(second 44974))
437     (spring (first 44979)(second 44978))
438     (spring (first 44979)(second 44980))
439     (spring (first 44980)(second 44978))
440     (spring (first 44979)(second 44981))
441     (spring (first 44981)(second 44980))
442     (spring (first 44981)(second 44982))
443     (spring (first 44980)(second 44982))
444     (spring (first 44981)(second 44983))
445     (spring (first 44983)(second 44982))
446     (spring (first 44983)(second 44984))
447     (spring (first 44984)(second 44982))
448     (spring (first 44983)(second 44985))
449     (spring (first 44985)(second 44984))
450     (spring (first 44984)(second 44986))
451     (spring (first 44986)(second 44985))
452     (spring (first 44986)(second 44987))
453     (spring (first 44987)(second 44985))
454     (spring (first 44986)(second 44988))
455     (spring (first 44988)(second 44987))
456     (spring (first 44987)(second 44989))
457     (spring (first 44989)(second 44988))
458     (spring (first 44988)(second 44990))
459     (spring (first 44990)(second 44989))
460     (spring (first 44990)(second 44991))
461     (spring (first 44991)(second 44989))
462     (spring (first 44991)(second 44165))
463     (spring (first 44991)(second 44163))
464     (spring (first 44989)(second 44165))
465     (spring (first 44989)(second 44168))
466     (spring (first 44990)(second 44992))
467     (spring (first 44992)(second 44991))
468     (spring (first 44992)(second 44163))
469     (spring (first 44992)(second 44161))
470     (spring (first 44168)(second 44987))
471     (spring (first 44168)(second 44985))
472     (spring (first 44167)(second 44985))
473     (spring (first 44167)(second 44983))
474     (spring (first 44981)(second 44167))
475     (spring (first 43337)(second 46799))
476     (spring (first 46799)(second 43662))
477     (spring (first 46799)(second 44972))
478     (spring (first 46799)(second 46800))
479     (spring (first 46800)(second 44972))
480     (spring (first 46800)(second 44973))
481     (spring (first 44973)(second 46801))
482     (spring (first 46801)(second 46800))
483     (spring (first 46801)(second 44974))
484     (spring (first 44974)(second 46802))
485     (spring (first 46802)(second 46801))
486     (spring (first 46802)(second 44978))
487     (spring (first 46802)(second 44978))
488     (spring (first 46803)(second 44978))
489     (spring (first 44978)(second 46803))
490     (spring (first 46802)(second 46803))
491     (spring (first 46803)(second 44980))
492     (spring (first 44980)(second 46804))
493     (spring (first 46804)(second 46803))
494     (spring (first 46804)(second 44982))
495     (spring (first 44982)(second 46805))
496     (spring (first 46805)(second 46804))
497     (spring (first 46805)(second 46806))
498     (spring (first 46806)(second 44983))
499     (spring (first 46805)(second 44984))
500     (spring (first 44984)(second 46806))
501     (spring (first 44982)(second 46806))
502     (spring (first 43336)(second 46799))
503     (spring (first 44167)(second 47359))
504     (spring (first 47359)(second 44981))
505     (spring (first 47359)(second 44979))
506     (spring (first 43304)(second 44072))
507     (spring (first 46806)(second 43329))
508     (spring (first 44977)(second 48486))
509     (spring (first 44979)(second 48487))
510     (spring (first 48488)(second 48489))
511     (spring (first 48489)(second 48490))
512     (spring (first 48490)(second 48488))
513     (spring (first 48488)(second 48491))
514     (spring (first 48490)(second 48491))
515     (spring (first 48491)(second 48492))
516     (spring (first 48492)(second 48490))
517     (spring (first 48492)(second 48493))
518     (spring (first 48493)(second 48490))
519     (spring (first 48493)(second 48494))
520     (spring (first 48494)(second 48490))
521     (spring (first 48494)(second 48489))
522     (spring (first 48494)(second 48495))
523     (spring (first 48495)(second 48489))
524     (spring (first 48489)(second 48496))
525     (spring (first 48496)(second 48488))
526     (spring (first 48488)(second 48497))
527     (spring (first 48497)(second 48491))
528     (spring (first 48491)(second 48498))
529     (spring (first 48498)(second 48492))
530     (spring (first 48492)(second 48493))
531     (spring (first 48493)(second 48499))
532     (spring (first 48492)(second 48499))
533     (spring (first 48493)(second 48494))
534     (spring (first 48500)(second 48494))
535     (spring (first 48500)(second 48493))
536     (spring (first 48495)(second 48500))
537     (spring (first 48500)(second 48499))
538     (spring (first 48499)(second 48498))
539     (spring (first 48498)(second 48497))
540     (spring (first 48497)(second 48496))
541     (spring (first 48496)(second 48495))
542     (spring (first 48495)(second 48491))
543     (spring (first 48488)(second 48499))
544     (spring (first 48498)(second 48494))
545     (spring (first 48500)(second 48491))
546     (spring (first 48496)(second 48490))
547     (spring (first 48490)(second 44158))
548     (spring (first 48492)(second 44158))
549     (spring (first 48494)(second 44158))
550     (spring (first 43437)(second 50287))
551     (spring (first 50287)(second 44321))
552     (spring (first 44321)(second 50288))
553     (spring (first 50288)(second 44156))
554     (spring (first 50288)(second 44158))
555     (spring (first 50288)(second 50287))
556     (spring (first 50287)(second 43434))
557     (spring (first 50287)(second 43382))
558     (spring (first 50287)(second 50289))
559     (spring (first 50289)(second 43434))
560     (spring (first 50289)(second 43382))
561     (spring (first 50289)(second 50290))
562     (spring (first 50290)(second 43382))
563     (spring (first 50290)(second 43380))
564     (spring (first 50290)(second 43841))
565     (spring (first 44977)(second 44979))
566     (spring (first 44977)(second 52525))
567     (spring (first 52525)(second 44979))
568     (spring (first 52525)(second 47359))
569     (spring (first 47359)(second 44166))
570     (spring (first 52525)(second 52526))
571     (spring (first 52526)(second 47359))
572     (spring (first 52526)(second 44166))
573     (spring (first 52526)(second 44164))
574     (spring (first 44164)(second 52527))
575     (spring (first 52527)(second 52526))
576     (spring (first 52527)(second 52525))
577     (spring (first 52527)(second 44162))
578     (spring (first 52527)(second 52528))
579     (spring (first 52528)(second 52525))
580     (spring (first 52528)(second 44977))
581     (spring (first 52528)(second 44976))
582     (spring (first 52971)(second 43336))
583     (spring (first 52971)(second 46799))
584     (spring (first 52971)(second 43333))
585     (spring (first 48495)(second 54120))
586     (spring (first 54120)(second 48500))
587     (spring (first 48495)(second 48489))
588     (spring (first 54121)(second 48495))
589     (spring (first 54121)(second 48496))
590     (spring (first 48496)(second 54122))
591     (spring (first 54122)(second 48497))
592     (spring (first 48499)(second 54123))
593     (spring (first 54123)(second 48500))
594     (spring (first 43841)(second 44975))
595     (spring (first 44975)(second 54124))
596     (spring (first 54124)(second 44976))
597     (spring (first 54124)(second 43663))
598     (spring (first 43841)(second 54125))
599     (spring (first 54125)(second 44975))
600     (spring (first 54125)(second 54124))
601     (spring (first 54125)(second 50290))
602     (spring (first 54124)(second 54126))
603     (spring (first 54126)(second 44976))
604     (spring (first 54126)(second 52528))
605     (spring (first 54126)(second 54127))
606     (spring (first 54127)(second 52528))
607     (spring (first 54127)(second 52527))
608     (spring (first 54127)(second 44162))
609     (spring (first 54128)(second 44160))
610     (spring (first 54128)(second 54127))
611     (spring (first 54128)(second 44162))
612     (spring (first 44499)(second 54511))
613     (spring (first 54511)(second 44159))
614     (spring (first 54511)(second 44161))
615     (spring (first 54511)(second 54512))
616     (spring (first 44161)(second 54512))
617     (spring (first 54512)(second 44992))
618     (spring (first 44992)(second 54513))
619     (spring (first 54513)(second 54512))
620     (spring (first 54513)(second 54511))
621     (spring (first 54511)(second 54514))
622     (spring (first 54514)(second 44499))
623     (spring (first 44499)(second 54515))
624     (spring (first 54515)(second 44498))
625     (spring (first 44498)(second 54516))
626     (spring (first 54516)(second 44500))
627     (spring (first 54516)(second 54515))
628     (spring (first 54515)(second 54514))
629     (spring (first 54514)(second 54513))
630     (spring (first 44992)(second 54518))
631     (spring (first 54517)(second 44992))
632     (spring (first 54517)(second 54518))
633     (spring (first 54518)(second 44990))
634     (spring (first 54517)(second 54513))
635     (spring (first 54517)(second 54512))
636     (spring (first 54123)(second 57427))
637     (spring (first 57427)(second 48499))
638     (spring (first 48499)(second 57428))
639     (spring (first 57428)(second 57427))
640     (spring (first 57428)(second 48498))
641     (spring (first 57427)(second 57429))
642     (spring (first 57429)(second 57428))
643     (spring (first 57429)(second 57430))
644     (spring (first 57430)(second 57428))
645     (spring (first 48499)(second 44158))
646     (spring (first 48491)(second 61457))
647     (spring (first 61457)(second 48497))
648     (spring (first 61457)(second 61458))
649     (spring (first 61458)(second 54122))
650     (spring (first 61458)(second 48497))
651     (spring (first 61458)(second 61459))
652     (spring (first 61459)(second 54122))
653     (spring (first 61459)(second 61460))
654     (spring (first 61460)(second 61458))
655     (spring (first 61460)(second 61457))
656     (spring (first 61461)(second 61459))
657     (spring (first 61460)(second 61461))
658     (spring (first 48497)(second 44158))
659     (spring (first 48491)(second 44158))
660     (spring (first 43724)(second 43330))
661     (spring (first 43327)(second 46799))
662     (spring (first 43322)(second 44064))
663     (spring (first 44158)(second 50290))
664     (spring (first 44160)(second 54124))
665     (spring (first 50290)(second 44160))
666     (spring (first 44158)(second 54124))
667     (spring (first 43322)(second 43383))
668     (spring (first 43327)(second 46800))
669     (spring (first 43305)(second 70259))
670     (spring (first 70259)(second 43317))
671     (spring (first 70259)(second 70260))
672     (spring (first 70260)(second 43305))
673     (spring (first 70260)(second 43304))
674     (spring (first 70260)(second 70261))
675     (spring (first 70261)(second 43304))
676     (spring (first 70261)(second 70262))
677     (spring (first 70262)(second 70260))
678     (spring (first 70262)(second 70263))
679     (spring (first 70263)(second 70260))
680     (spring (first 70263)(second 70259))
681     (spring (first 70263)(second 70264))
682     (spring (first 70264)(second 70259))
683     (spring (first 70264)(second 70265))
684     (spring (first 70265)(second 70263))
685     (spring (first 70265)(second 70262))
686     (spring (first 70264)(second 70266))
687     (spring (first 70266)(second 43317))
688     (spring (first 70266)(second 70259))
689     (spring (first 70266)(second 43322))
690     (spring (first 44500)(second 70800))
691     (spring (first 70800)(second 44501))
692     (spring (first 70800)(second 54516))
693     (spring (first 70800)(second 44501))
694     (spring (first 70801)(second 44501))
695     (spring (first 70801)(second 70800))
696     (spring (first 70801)(second 44502))
697     (spring (first 44502)(second 70802))
698     (spring (first 70802)(second 44503))
699     (spring (first 70802)(second 70801))
700     (spring (first 70802)(second 70803))
701     (spring (first 70803)(second 44503))
702     (spring (first 70803)(second 70804))
703     (spring (first 70804)(second 44503))
704     (spring (first 70804)(second 44072))
705     (spring (first 44072)(second 70805))
706     (spring (first 70805)(second 70804))
707     (spring (first 70804)(second 70806))
708     (spring (first 70806)(second 70805))
709     (spring (first 70806)(second 70804))
710     (spring (first 70804)(second 70807))
711     (spring (first 70806)(second 70807))
712     (spring (first 70807)(second 70803))
713     (spring (first 43307)(second 43322))
714     (spring (first 43327)(second 43316))
715     (spring (first 43306)(second 43317))
716     (spring (first 43326)(second 43315))
717     (spring (first 43314)(second 43321))
718     (spring (first 43308)(second 43318))
719     (spring (first 43327)(second 76155))
720     (spring (first 76155)(second 43326))
721     (spring (first 76155)(second 76156))
722     (spring (first 76156)(second 43326))
723     (spring (first 76156)(second 43328))
724     (spring (first 76155)(second 76157))
725     (spring (first 76157)(second 76156))
726     (spring (first 76157)(second 76158))
727     (spring (first 76158)(second 76156))
728     (spring (first 76156)(second 76159))
729     (spring (first 76159)(second 43328))
730     (spring (first 76159)(second 76158))
731     (spring (first 76159)(second 43329))
732     (spring (first 76159)(second 76160))
733     (spring (first 76160)(second 43329))
734     (spring (first 76160)(second 76161))
735     (spring (first 76161)(second 76159))
736     (spring (first 76161)(second 76158))
737     (spring (first 76158)(second 76160))
738     (spring (first 70802)(second 78386))
739     (spring (first 78386)(second 54513))
740     (spring (first 54513)(second 78387))
741     (spring (first 78387)(second 44986))
742     (spring (first 78386)(second 54516))
743     (spring (first 78386)(second 54514))
744     (spring (first 78387)(second 54518))
745     (spring (first 78387)(second 44988))
746     (spring (first 78387)(second 44990))
747     (spring (first 78386)(second 54515))
748     (spring (first 70804)(second 46800))
749     (spring (first 44987)(second 43383))
750     (spring (first 44984)(second 79677))
751     (spring (first 79677)(second 46806))
752     (spring (first 46806)(second 79678))
753     (spring (first 79678)(second 79677))
754     (spring (first 79678)(second 79679))
755     (spring (first 79679)(second 79677))
756     (spring (first 79677)(second 79680))
757     (spring (first 79680)(second 79679))
758     (spring (first 79679)(second 79681))
759     (spring (first 79681)(second 79680))
760     (spring (first 79680)(second 79682))
761     (spring (first 79682)(second 79677))
762     (spring (first 79682)(second 44984))
763     (spring (first 44985)(second 79682))
764     (spring (first 79680)(second 81051))
765     (spring (first 81051)(second 79682))
766     (spring (first 79682)(second 81052))
767     (spring (first 81052)(second 44985))
768     (spring (first 81052)(second 81051))
769     (spring (first 81051)(second 81053))
770     (spring (first 81053)(second 79681))
771     (spring (first 81053)(second 79680))
772     (spring (first 81052)(second 44986))
773     (spring (first 81053)(second 82431))
774     (spring (first 82431)(second 81051))
775     (spring (first 82431)(second 81052))
776     (spring (first 82431)(second 82432))
777     (spring (first 82432)(second 44986))
778     (spring (first 82432)(second 81052))
779     (spring (first 82432)(second 82433))
780     (spring (first 82433)(second 44988))
781     (spring (first 82433)(second 44987))
782     (spring (first 82433)(second 44986))
783     (spring (first 43309)(second 43323))
784     (spring (first 43324)(second 43311))
785     (spring (first 43325)(second 43313))
786     (spring (first 70265)(second 43322))
787     (spring (first 43333)(second 76157))
788     (spring (first 43330)(second 70265))
789   )