Imported vanilla contents from upstream
[construo.git] / examples / complex.construo
blob288c376e677683221b654dcbb4832b9318d996ea
2 (construo-scene
3   (particles 
4     (particle (id 1) (pos  0  600  0 ) (velocity  21.4383  -20.226  0 ) )
5     (particle (id 2) (pos  304.425  200.009  0 ) (velocity  -300.199  -170.811  0 ) )
6     (particle (id 3) (pos  279.238  405.26  0 ) (velocity  -1051.21  -759.716  0 ) )
7     (particle (id 4) (pos  515.625  264.869  0 ) (velocity  -303.354  -325.517  0 ) )
8     (particle (id 5) (pos  502.529  440.343  0 ) (velocity  1061.98  -889.051  0 ) )
9     (particle (id 6) (pos  486.313  253.441  0 ) (velocity  1032.11  -177.311  0 ) )
10     (particle (id 7) (pos  0  600  0 ) (velocity  26.0769  -9.94746  0 ) )
11     (particle (id 8) (pos  800  600  0 ) (velocity  -38.858  -28.5178  0 ) )
12     (particle (id 255) (pos  547.631  458.954  0 ) (velocity  204.476  348.621  0 ) )
13     (particle (id 256) (pos  260.171  228.314  0 ) (velocity  301.892  -10.4807  0 ) )
14     (particle (id 257) (pos  253.816  265.424  0 ) (velocity  -113.555  -438.753  0 ) )
15     (particle (id 258) (pos  268.157  296.486  0 ) (velocity  -630.202  -196.34  0 ) )
16     (particle (id 259) (pos  236.177  321.454  0 ) (velocity  146.22  39.8539  0 ) )
17     (particle (id 260) (pos  288.11  234.679  0 ) (velocity  -286.747  -581.142  0 ) )
18     (particle (id 261) (pos  265.881  333.589  0 ) (velocity  -78.8015  -572.489  0 ) )
19     (particle (id 262) (pos  362.686  166.203  0 ) (velocity  692.698  276.941  0 ) )
20     (particle (id 263) (pos  375.255  199.345  0 ) (velocity  440.672  652.269  0 ) )
21     (particle (id 264) (pos  434.567  173.023  0 ) (velocity  -580.108  -89.4578  0 ) )
22     (particle (id 265) (pos  439.134  209.532  0 ) (velocity  247.199  -543.324  0 ) )
23     (particle (id 266) (pos  475.059  180.629  0 ) (velocity  386.258  33.6568  0 ) )
24     (particle (id 267) (pos  483.119  223.349  0 ) (velocity  29.2114  -300.934  0 ) )
25     (particle (id 268) (pos  519.608  190.638  0 ) (velocity  458.467  -525.106  0 ) )
26     (particle (id 269) (pos  526.936  233.749  0 ) (velocity  310.92  -184.807  0 ) )
27     (particle (id 270) (pos  554.422  270.438  0 ) (velocity  969.961  -617.178  0 ) )
28     (particle (id 271) (pos  592.687  236.472  0 ) (velocity  56.6366  -51.9778  0 ) )
29     (particle (id 272) (pos  562.812  203.962  0 ) (velocity  -435.806  422.07  0 ) )
30     (particle (id 273) (pos  557.32  301.739  0 ) (velocity  59.1563  -806.206  0 ) )
31     (particle (id 274) (pos  611.113  300.78  0 ) (velocity  -204.83  80.3128  0 ) )
32     (particle (id 275) (pos  538.848  350.737  0 ) (velocity  -275.153  165.026  0 ) )
33     (particle (id 276) (pos  589.023  358.508  0 ) (velocity  414.407  204.194  0 ) )
34     (particle (id 277) (pos  544.159  383.214  0 ) (velocity  428.933  586.376  0 ) )
35     (particle (id 278) (pos  579.283  393.971  0 ) (velocity  -147.142  640.878  0 ) )
36     (particle (id 279) (pos  555.395  422.975  0 ) (velocity  519.015  -162.8  0 ) )
37     (particle (id 313) (pos  581.334  433.235  0 ) (velocity  -280.179  252.603  0 ) )
38     (particle (id 314) (pos  610.368  406.174  0 ) (velocity  -32.4588  136.337  0 ) )
39     (particle (id 315) (pos  626.534  440.507  0 ) (velocity  373.167  965.374  0 ) )
40     (particle (id 316) (pos  675.44  407.452  0 ) (velocity  301.504  -475.198  0 ) )
41     (particle (id 317) (pos  651.265  442.11  0 ) (velocity  -183.164  -348.066  0 ) )
42     (particle (id 318) (pos  699.268  443.321  0 ) (velocity  113.024  498.537  0 ) )
43     (particle (id 319) (pos  735.02  399.12  0 ) (velocity  265.531  -531.311  0 ) )
44     (particle (id 320) (pos  739.236  419.314  0 ) (velocity  226.024  577.023  0 ) )
45     (particle (id 536) (pos  582.051  437.409  0 ) (velocity  -438.737  486.365  0 ) )
46     (particle (id 843) (pos  529.37  152.296  0 ) (velocity  848.231  -69.7732  0 ) )
47     (particle (id 844) (pos  586.274  179.117  0 ) (velocity  243.2  370.619  0 ) )
48     (particle (id 1973) (pos  688.869  351.167  0 ) (velocity  -668.101  466.189  0 ) )
49     (particle (id 1974) (pos  726.29  333.677  0 ) (velocity  765.557  62.2285  0 ) )
50     (particle (id 1975) (pos  692.934  289.678  0 ) (velocity  -18.7577  -56.0383  0 ) )
51     (particle (id 1976) (pos  716.688  250.447  0 ) (velocity  631.952  -467.637  0 ) )
52     (particle (id 1977) (pos  693.442  218.4  0 ) (velocity  94.0563  103.903  0 ) )
53     (particle (id 1978) (pos  718.686  174.808  0 ) (velocity  298.867  -1309.47  0 ) )
54     (particle (id 1979) (pos  673.805  128.894  0 ) (velocity  209.611  619.208  0 ) )
55     (particle (id 1980) (pos  706.964  98.4553  0 ) (velocity  815.003  894.319  0 ) )
56     (particle (id 2353) (pos  620.06  128.056  0 ) (velocity  492.247  -391.64  0 ) )
57     (particle (id 2354) (pos  631.936  89.731  0 ) (velocity  520.49  436.046  0 ) )
58     (particle (id 2355) (pos  662.265  100.062  0 ) (velocity  -638.814  733.455  0 ) )
59     (particle (id 2356) (pos  560.644  100.479  0 ) (velocity  -1359.05  78.1399  0 ) )
60     (particle (id 2357) (pos  504.983  94.145  0 ) (velocity  218.55  -276.736  0 ) )
61     (particle (id 2358) (pos  533.68  64.5419  0 ) (velocity  178.473  -77.1395  0 ) )
62     (particle (id 2359) (pos  430.573  66.7756  0 ) (velocity  1300.44  -196.213  0 ) )
63     (particle (id 2360) (pos  454.815  75.0333  0 ) (velocity  -863.015  909.658  0 ) )
64     (particle (id 2361) (pos  411.167  91.2202  0 ) (velocity  755.165  -101.961  0 ) )
65     (particle (id 2362) (pos  362.285  91.1109  0 ) (velocity  -96.4117  -1.99168  0 ) )
66     (particle (id 2363) (pos  364.485  58.3313  0 ) (velocity  215.389  305.771  0 ) )
67     (particle (id 2364) (pos  296.993  58.6276  0 ) (velocity  -474.057  -184.074  0 ) )
68     (particle (id 2365) (pos  312.009  91.499  0 ) (velocity  112.252  963.719  0 ) )
69     (particle (id 3151) (pos  620.891  372.499  0 ) (velocity  -241.419  -59.9848  0 ) )
70     (particle (id 3152) (pos  645.178  335.934  0 ) (velocity  597.872  -514.214  0 ) )
71     (particle (id 3153) (pos  647.102  265.544  0 ) (velocity  589.6  -310.818  0 ) )
72     (particle (id 3154) (pos  641.561  226.231  0 ) (velocity  59.2453  48.5058  0 ) )
73     (particle (id 3155) (pos  631.42  169.922  0 ) (velocity  1169.23  -653.992  0 ) )
74     (particle (id 3656) (pos  434.893  128.078  0 ) (velocity  -416.512  -330.936  0 ) )
75     (particle (id 3657) (pos  491.755  123.955  0 ) (velocity  1013.94  211.75  0 ) )
76     (particle (id 3658) (pos  569.431  134.367  0 ) (velocity  -919.386  506.903  0 ) )
77     (particle (id 3659) (pos  608.284  159.275  0 ) (velocity  81.2505  143.287  0 ) )
78     (particle (id 4845) (pos  316.335  136.431  0 ) (velocity  -179.886  334.113  0 ) )
79     (particle (id 4846) (pos  270.776  106.069  0 ) (velocity  406.061  396.236  0 ) )
80     (particle (id 4847) (pos  234.167  67.8834  0 ) (velocity  -908.635  401.936  0 ) )
81     (particle (id 4848) (pos  212.381  132.039  0 ) (velocity  14.1553  128.129  0 ) )
82     (particle (id 4849) (pos  221.666  229.038  0 ) (velocity  -183.913  -249.983  0 ) )
83     (particle (id 4850) (pos  203.173  268.855  0 ) (velocity  210.921  829.638  0 ) )
84     (particle (id 5626) (pos  524.594  415.799  0 ) (velocity  -1389.17  -390.569  0 ) )
85     (particle (id 6793) (pos  145.745  91.1333  0 ) (velocity  892.678  163.176  0 ) )
86     (particle (id 6794) (pos  156.455  165.288  0 ) (velocity  600.72  -400.717  0 ) )
87     (particle (id 6795) (pos  168.909  253.401  0 ) (velocity  1033.17  -12.9099  0 ) )
88     (particle (id 6796) (pos  181.572  336  0 ) (velocity  -488.656  -835  0 ) )
89     (particle (id 6797) (pos  239.007  379.215  0 ) (velocity  771.591  357.213  0 ) )
90     (particle (id 6798) (pos  171.669  400.53  0 ) (velocity  828.27  -100.247  0 ) )
91     (particle (id 6799) (pos  104.145  402.548  0 ) (velocity  216.069  776.116  0 ) )
92     (particle (id 6800) (pos  117.512  323.005  0 ) (velocity  176.438  -122.029  0 ) )
93     (particle (id 6801) (pos  118.428  256.598  0 ) (velocity  -536.663  -485.898  0 ) )
94     (particle (id 6802) (pos  105.583  203.18  0 ) (velocity  497.532  670.13  0 ) )
95     (particle (id 6803) (pos  95.7195  163.473  0 ) (velocity  667.084  491.662  0 ) )
96     (particle (id 6804) (pos  107.706  233.441  0 ) (velocity  -876.637  1077.23  0 ) )
97     (particle (id 7868) (pos  376.357  279.388  0 ) (velocity  580.458  -1110.87  0 ) )
98     (particle (id 7869) (pos  356.465  303.222  0 ) (velocity  -216.029  1599.19  0 ) )
99     (particle (id 7870) (pos  467.682  318.363  0 ) (velocity  -687.856  35.3209  0 ) )
100     (particle (id 7871) (pos  409.546  308.853  0 ) (velocity  -618.194  -1077.55  0 ) )
101     (particle (id 10455) (pos  155.257  447.785  0 ) (velocity  -824.755  20.7439  0 ) )
102     (particle (id 10722) (pos  700.842  474.534  0 ) (velocity  -185.785  -221.37  0 ) )
103     (particle (id 14671) (pos  570.699  508.521  0 ) (velocity  140.529  -645.405  0 ) )
104     (particle (id 14672) (pos  533.784  535.009  0 ) (velocity  -236.616  -203.883  0 ) )
105     (particle (id 14673) (pos  581.85  577.339  0 ) (velocity  164.325  -5.64906  0 ) )
106     (particle (id 14674) (pos  644.772  524.36  0 ) (velocity  -53.2514  -108.899  0 ) )
107     (particle (id 14675) (pos  689.394  552.351  0 ) (velocity  -396.925  831.239  0 ) )
108     (particle (id 14676) (pos  746.076  514.564  0 ) (velocity  507.879  -840.5  0 ) )
109     (particle (id 19714) (pos  228.503  349.513  0 ) (velocity  -339.625  1047  0 ) )
110     (particle (id 19715) (pos  205.935  360.452  0 ) (velocity  -1258.27  -1726.91  0 ) )
111     (particle (id 19716) (pos  310.281  411.191  0 ) (velocity  -677.364  622.06  0 ) )
112     (particle (id 19717) (pos  288.934  457.978  0 ) (velocity  765.957  1108.77  0 ) )
113     (particle (id 19718) (pos  221.981  490.067  0 ) (velocity  313.802  487.112  0 ) )
114     (particle (id 19719) (pos  161.448  511.706  0 ) (velocity  -1655.08  1014.5  0 ) )
115     (particle (id 19720) (pos  256.214  527.367  0 ) (velocity  295.935  -445.731  0 ) )
116     (particle (id 19721) (pos  158.85  557.618  0 ) (velocity  413.951  -175.327  0 ) )
117     (particle (id 19722) (pos  332.367  493.786  0 ) (velocity  -355.643  694.33  0 ) )
118     (particle (id 19723) (pos  348.317  443.083  0 ) (velocity  -1277.9  -949.554  0 ) )
119     (particle (id 19724) (pos  91.0341  526.436  0 ) (velocity  323.651  -1264.36  0 ) )
120     (particle (id 19725) (pos  374.165  600  0 ) (velocity  5.07771  -8.9977  0 ) )
121     (particle (id 19726) (pos  325.326  202.601  0 ) (velocity  -665.538  -171.222  0 ) )
122     (particle (id 19727) (pos  558.974  172.622  0 ) (velocity  -152.417  536.206  0 ) )
123     (particle (id 19847) (pos  715.065  600  0 ) (velocity  0  -1.66667  0 ) )
124     (particle (id 19848) (pos  722.533  600  0 ) (velocity  0  -1.66667  0 ) )
125     (particle (id 19849) (pos  732.471  373.195  0 ) (velocity  590.781  -718.205  0 ) )
126     (particle (id 19850) (pos  731.022  600  0 ) (velocity  0  -1.66667  0 ) )
127     (particle (id 19851) (pos  738.49  600  0 ) (velocity  0  -1.66667  0 ) )
128     (particle (id 19852) (pos  704.969  112.253  0 ) (velocity  1129.35  -183.269  0 ) )
129     (particle (id 19853) (pos  731.71  134.021  0 ) (velocity  -2133.28  904.574  0 ) )
130     (particle (id 19854) (pos  781.792  300.556  0 ) (velocity  -2021.43  2820.66  0 ) )
131     (particle (id 19855) (pos  773.015  330.978  0 ) (velocity  -1081.65  1195.12  0 ) )
132     (particle (id 19856) (pos  717.565  426.657  0 ) (velocity  1329.43  1664.93  0 ) )
133     (particle (id 19857) (pos  800  356.276  0 ) (velocity  -10.9715  -15.6932  0 ) )
134     (particle (id 19858) (pos  683.244  288.375  0 ) (velocity  -1495.7  -423.294  0 ) )
135     (particle (id 19859) (pos  775.337  186.995  0 ) (velocity  51.1814  -1183.13  0 ) )
136     (particle (id 19860) (pos  757.64  91.0205  0 ) (velocity  -1609.05  -241.902  0 ) )
137     (particle (id 19861) (pos  672.105  220.619  0 ) (velocity  -2441.57  -2998.39  0 ) )
138     (particle (id 19862) (pos  633.462  104.647  0 ) (velocity  -325.9  1307.35  0 ) )
139     (particle (id 19863) (pos  661.804  176.047  0 ) (velocity  262.774  74.9223  0 ) )
140     (particle (id 19864) (pos  759.685  73.8169  0 ) (velocity  197.213  -402.909  0 ) )
141     (particle (id 19865) (pos  788.181  117.855  0 ) (velocity  1632  4379.57  0 ) )
142     (particle (id 19866) (pos  663.902  213.307  0 ) (velocity  1410.28  -69.0867  0 ) )
143     (particle (id 19867) (pos  745  600  0 ) (velocity  0  -1.66667  0 ) )
144     (particle (id 19868) (pos  636.943  101.221  0 ) (velocity  512.033  -351.901  0 ) )
145     (particle (id 19869) (pos  599.304  142.444  0 ) (velocity  1611.82  1052.92  0 ) )
146     (particle (id 19870) (pos  746.968  69.268  0 ) (velocity  158.419  -2095.41  0 ) )
147     (particle (id 19871) (pos  726.264  232.786  0 ) (velocity  -152.56  3309.08  0 ) )
148     (particle (id 19872) (pos  439.151  164.715  0 ) (velocity  -765.761  355.213  0 ) )
149     (particle (id 19873) (pos  675.089  600  0 ) (velocity  0  -1.66667  0 ) )
150     (particle (id 19874) (pos  673.599  600  0 ) (velocity  0  -1.66667  0 ) )
151     (particle (id 19875) (pos  657.872  600  0 ) (velocity  0  -1.66667  0 ) )
152     (particle (id 19876) (pos  675.124  600  0 ) (velocity  0  -1.66667  0 ) )
153     (particle (id 19877) (pos  514.446  189.761  0 ) (velocity  -1151.33  1205.58  0 ) )
154     (particle (id 19878) (pos  800  149.786  0 ) (velocity  -20.1567  -6.08694  0 ) )
155     (particle (id 19879) (pos  559.873  48.6304  0 ) (velocity  1317.15  947.517  0 ) )
156     (particle (id 19880) (pos  744.165  149.987  0 ) (velocity  499.408  -280.497  0 ) )
157     (particle (id 19881) (pos  154.756  132.55  0 ) (velocity  2147.91  -782.738  0 ) )
158     (particle (id 19882) (pos  218.643  164.988  0 ) (velocity  -883.343  1921.45  0 ) )
159     (particle (id 19883) (pos  119.524  121.512  0 ) (velocity  -557.888  -1140.86  0 ) )
160     (particle (id 19884) (pos  69.2702  119.176  0 ) (velocity  -1133.12  -2993.87  0 ) )
161     (particle (id 19885) (pos  94.5984  26.3866  0 ) (velocity  1196.73  -2514.58  0 ) )
162     (particle (id 19886) (pos  71.6692  44.5988  0 ) (velocity  -295.257  379.991  0 ) )
163     (particle (id 19887) (pos  69.7331  57.1708  0 ) (velocity  -96.9003  -471.203  0 ) )
164     (particle (id 19888) (pos  217.918  98.5464  0 ) (velocity  946.151  -3525.9  0 ) )
165     (particle (id 19889) (pos  69.0757  255.723  0 ) (velocity  -208.449  -204.595  0 ) )
166     (particle (id 20052) (pos  345.427  600  0 ) (velocity  0  -1.66667  0 ) )
167     (particle (id 20053) (pos  204.529  600  0 ) (velocity  0  -1.66667  0 ) )
168     (particle (id 20054) (pos  437.799  404.669  0 ) (velocity  -273.382  948.395  0 ) )
169     (particle (id 20055) (pos  213.094  335.656  0 ) (velocity  -1034.11  468.796  0 ) )
170     (particle (id 20056) (pos  246.575  24.8201  0 ) (velocity  -278.906  247.857  0 ) )
171     (particle (id 20057) (pos  288.652  29.127  0 ) (velocity  -322.632  66.9866  0 ) )
172     (particle (id 20058) (pos  356.306  29.6223  0 ) (velocity  159.711  252.147  0 ) )
173     (particle (id 20059) (pos  466.407  40.3433  0 ) (velocity  118.361  -761.869  0 ) )
174     (particle (id 20060) (pos  654.237  38.4023  0 ) (velocity  339.917  -827.566  0 ) )
175     (particle (id 20061) (pos  749.529  39.4776  0 ) (velocity  592.066  469.124  0 ) )
176     (particle (id 20062) (pos  104.139  21.0225  0 ) (velocity  742.693  -1656.39  0 ) )
177     (particle (id 20063) (pos  60.5155  17.2755  0 ) (velocity  -119.755  149.303  0 ) )
178     (particle (id 20064) (pos  16.4807  33.567  0 ) (velocity  -883.307  -221.759  0 ) )
179     (particle (id 20065) (pos  13.8837  79.9392  0 ) (velocity  742.143  -34.7809  0 ) )
180     (particle (id 20066) (pos  21.6803  143.676  0 ) (velocity  165.61  679.234  0 ) )
181     (particle (id 20067) (pos  53.6382  137.851  0 ) (velocity  572.724  1147.11  0 ) )
182     (particle (id 20068) (pos  49.4293  88.502  0 ) (velocity  908.486  176.423  0 ) )
183     (particle (id 20248) (pos  745.232  241.551  0 ) (velocity  221.533  46.3339  0 ) )
184     (particle (id 20249) (pos  777.655  270.276  0 ) (velocity  232.845  -24.6112  0 ) )
185     (particle (id 20250) (pos  756.813  323.352  0 ) (velocity  346.249  347.975  0 ) )
186     (particle (id 20251) (pos  777.698  223.017  0 ) (velocity  338.692  500.882  0 ) )
187     (particle (id 20252) (pos  743.602  206.155  0 ) (velocity  55.5301  -537.94  0 ) )
188     (particle (id 20253) (pos  737.718  411.801  0 ) (velocity  144.801  323.107  0 ) )
189     (particle (id 20254) (pos  728.866  427.109  0 ) (velocity  842.379  1168.29  0 ) )
190     (particle (id 20255) (pos  719.416  600  0 ) (velocity  0  -1.66667  0 ) )
191     (particle (id 20256) (pos  665.03  600  0 ) (velocity  0  -1.66667  0 ) )
192     (particle (id 20257) (pos  527.059  600  0 ) (velocity  0  -1.66667  0 ) )
193     (particle (id 20258) (pos  518.723  600  0 ) (velocity  0.00102073  -1.66667  0 ) )
194     (particle (id 20259) (pos  557.093  431.091  0 ) (velocity  1982.91  -691.532  0 ) )
195     (particle (id 20260) (pos  525.439  600  0 ) (velocity  0  -1.66667  0 ) )
196     (particle (id 20261) (pos  522.693  422.746  0 ) (velocity  -1187.39  -548.902  0 ) )
197     (particle (id 20262) (pos  511.483  600  0 ) (velocity  -0.00102073  -1.66667  0 ) )
198     (particle (id 20263) (pos  691.73  586.359  0 ) (velocity  -125.906  6331.42  0 ) )
199     (particle (id 20264) (pos  708.487  600  0 ) (velocity  0  -1.66667  0 ) )
200     (particle (id 20265) (pos  695.598  481.131  0 ) (velocity  -1028.38  -1212.28  0 ) )
201     (particle (id 20266) (pos  654.384  600  0 ) (velocity  0  -1.66667  0 ) )
202     (particle (id 20267) (pos  663.964  443.405  0 ) (velocity  874.063  -1176.47  0 ) )
203     (particle (id 20268) (pos  614.209  438.434  0 ) (velocity  -502.174  -285.751  0 ) )
204     (particle (id 20269) (pos  697.298  448.17  0 ) (velocity  -155.03  283.889  0 ) )
205     (particle (id 20270) (pos  690.599  581.273  0 ) (velocity  -143.332  6632.94  0 ) )
206     (particle (id 20271) (pos  23  198  0 ) (velocity  0  0  0 ) )
207     (particle (id 20272) (pos  69  205  0 ) (velocity  0  0  0 ) )
208     (particle (id 20273) (pos  39  243  0 ) (velocity  0  0  0 ) )
209     (particle (id 20274) (pos  44  294  0 ) (velocity  0  0  0 ) )
210     (particle (id 20275) (pos  19  270  0 ) (velocity  0  0  0 ) )
211     (particle (id 20276) (pos  24  336  0 ) (velocity  0  0  0 ) )
212     (particle (id 20277) (pos  56  325  0 ) (velocity  0  0  0 ) )
213     (particle (id 20278) (pos  98  297  0 ) (velocity  0  0  0 ) )
214   )
215   (springs 
216     (spring (first 2)(second 3))
217     (spring (first 4)(second 5))
218     (spring (first 2)(second 6))
219     (spring (first 6)(second 4))
220     (spring (first 3)(second 7))
221     (spring (first 5)(second 8))
222     (spring (first 7)(second 8))
223     (spring (first 3)(second 5))
224     (spring (first 6)(second 3))
225     (spring (first 2)(second 6))
226     (spring (first 5)(second 6))
227     (spring (first 255)(second 5))
228     (spring (first 255)(second 8))
229     (spring (first 2)(second 256))
230     (spring (first 256)(second 257))
231     (spring (first 257)(second 258))
232     (spring (first 258)(second 259))
233     (spring (first 259)(second 3))
234     (spring (first 259)(second 257))
235     (spring (first 256)(second 258))
236     (spring (first 256)(second 260))
237     (spring (first 260)(second 258))
238     (spring (first 260)(second 2))
239     (spring (first 258)(second 261))
240     (spring (first 261)(second 3))
241     (spring (first 261)(second 259))
242     (spring (first 2)(second 262))
243     (spring (first 262)(second 263))
244     (spring (first 263)(second 264))
245     (spring (first 264)(second 265))
246     (spring (first 265)(second 266))
247     (spring (first 266)(second 267))
248     (spring (first 267)(second 268))
249     (spring (first 268)(second 269))
250     (spring (first 269)(second 4))
251     (spring (first 269)(second 267))
252     (spring (first 267)(second 265))
253     (spring (first 265)(second 263))
254     (spring (first 263)(second 2))
255     (spring (first 262)(second 264))
256     (spring (first 264)(second 266))
257     (spring (first 268)(second 266))
258     (spring (first 5)(second 7))
259     (spring (first 3)(second 8))
260     (spring (first 269)(second 270))
261     (spring (first 270)(second 271))
262     (spring (first 271)(second 269))
263     (spring (first 269)(second 272))
264     (spring (first 272)(second 268))
265     (spring (first 272)(second 271))
266     (spring (first 270)(second 273))
267     (spring (first 273)(second 274))
268     (spring (first 274)(second 271))
269     (spring (first 270)(second 274))
270     (spring (first 273)(second 275))
271     (spring (first 275)(second 274))
272     (spring (first 275)(second 276))
273     (spring (first 276)(second 274))
274     (spring (first 276)(second 277))
275     (spring (first 277)(second 275))
276     (spring (first 277)(second 278))
277     (spring (first 278)(second 276))
278     (spring (first 278)(second 279))
279     (spring (first 279)(second 277))
280     (spring (first 279)(second 313))
281     (spring (first 313)(second 278))
282     (spring (first 313)(second 314))
283     (spring (first 314)(second 278))
284     (spring (first 314)(second 315))
285     (spring (first 313)(second 315))
286     (spring (first 314)(second 316))
287     (spring (first 316)(second 317))
288     (spring (first 317)(second 314))
289     (spring (first 315)(second 316))
290     (spring (first 317)(second 318))
291     (spring (first 318)(second 316))
292     (spring (first 318)(second 319))
293     (spring (first 319)(second 316))
294     (spring (first 320)(second 318))
295     (spring (first 5)(second 536))
296     (spring (first 536)(second 8))
297     (spring (first 536)(second 7))
298     (spring (first 5)(second 255))
299     (spring (first 255)(second 536))
300     (spring (first 255)(second 7))
301     (spring (first 266)(second 843))
302     (spring (first 843)(second 268))
303     (spring (first 843)(second 272))
304     (spring (first 843)(second 844))
305     (spring (first 844)(second 271))
306     (spring (first 844)(second 272))
307     (spring (first 316)(second 1973))
308     (spring (first 1973)(second 319))
309     (spring (first 1973)(second 1974))
310     (spring (first 1974)(second 319))
311     (spring (first 1974)(second 1975))
312     (spring (first 1975)(second 1973))
313     (spring (first 1975)(second 1976))
314     (spring (first 1976)(second 1974))
315     (spring (first 1976)(second 1977))
316     (spring (first 1977)(second 1975))
317     (spring (first 1977)(second 1978))
318     (spring (first 1978)(second 1979))
319     (spring (first 1979)(second 1977))
320     (spring (first 1979)(second 1980))
321     (spring (first 1980)(second 1978))
322     (spring (first 1978)(second 1976))
323     (spring (first 1979)(second 2353))
324     (spring (first 2353)(second 2354))
325     (spring (first 1980)(second 2355))
326     (spring (first 2355)(second 2354))
327     (spring (first 2354)(second 1979))
328     (spring (first 2354)(second 2356))
329     (spring (first 2356)(second 2353))
330     (spring (first 2356)(second 2357))
331     (spring (first 2357)(second 2358))
332     (spring (first 2358)(second 2356))
333     (spring (first 2358)(second 2354))
334     (spring (first 2356)(second 2358))
335     (spring (first 2358)(second 2359))
336     (spring (first 2357)(second 2360))
337     (spring (first 2360)(second 2359))
338     (spring (first 2360)(second 2359))
339     (spring (first 2359)(second 2361))
340     (spring (first 2361)(second 2357))
341     (spring (first 2360)(second 2361))
342     (spring (first 2361)(second 2362))
343     (spring (first 2362)(second 2363))
344     (spring (first 2361)(second 2363))
345     (spring (first 2359)(second 2363))
346     (spring (first 2363)(second 2364))
347     (spring (first 2364)(second 2362))
348     (spring (first 2364)(second 2365))
349     (spring (first 2362)(second 2365))
350     (spring (first 276)(second 3151))
351     (spring (first 3151)(second 314))
352     (spring (first 3151)(second 316))
353     (spring (first 3151)(second 3152))
354     (spring (first 3152)(second 1973))
355     (spring (first 3152)(second 274))
356     (spring (first 1975)(second 3153))
357     (spring (first 3153)(second 3152))
358     (spring (first 3153)(second 274))
359     (spring (first 3153)(second 3154))
360     (spring (first 3154)(second 271))
361     (spring (first 1977)(second 3154))
362     (spring (first 3154)(second 3155))
363     (spring (first 3155)(second 844))
364     (spring (first 3155)(second 1979))
365     (spring (first 2362)(second 262))
366     (spring (first 2361)(second 3656))
367     (spring (first 3656)(second 264))
368     (spring (first 2357)(second 3657))
369     (spring (first 3657)(second 843))
370     (spring (first 3657)(second 3656))
371     (spring (first 2353)(second 3658))
372     (spring (first 3658)(second 843))
373     (spring (first 3658)(second 2356))
374     (spring (first 3658)(second 3659))
375     (spring (first 3659)(second 3155))
376     (spring (first 3659)(second 1979))
377     (spring (first 2365)(second 4845))
378     (spring (first 4845)(second 262))
379     (spring (first 4845)(second 2))
380     (spring (first 4845)(second 256))
381     (spring (first 4845)(second 4846))
382     (spring (first 4846)(second 256))
383     (spring (first 4846)(second 2365))
384     (spring (first 2364)(second 4846))
385     (spring (first 2364)(second 4847))
386     (spring (first 4847)(second 4846))
387     (spring (first 4847)(second 4848))
388     (spring (first 4848)(second 256))
389     (spring (first 4848)(second 4849))
390     (spring (first 4849)(second 257))
391     (spring (first 4849)(second 4850))
392     (spring (first 4850)(second 259))
393     (spring (first 536)(second 5))
394     (spring (first 5626)(second 536))
395     (spring (first 5626)(second 5))
396     (spring (first 5626)(second 269))
397     (spring (first 3)(second 269))
398     (spring (first 3)(second 5626))
399     (spring (first 5626)(second 1))
400     (spring (first 5626)(second 8))
401     (spring (first 4847)(second 6793))
402     (spring (first 6793)(second 4848))
403     (spring (first 6793)(second 6794))
404     (spring (first 6794)(second 4848))
405     (spring (first 6794)(second 4849))
406     (spring (first 6794)(second 6795))
407     (spring (first 6795)(second 4850))
408     (spring (first 6795)(second 4849))
409     (spring (first 6795)(second 6796))
410     (spring (first 261)(second 259))
411     (spring (first 6796)(second 259))
412     (spring (first 6796)(second 6797))
413     (spring (first 6797)(second 3))
414     (spring (first 6796)(second 6798))
415     (spring (first 6797)(second 6798))
416     (spring (first 6798)(second 3))
417     (spring (first 6798)(second 6799))
418     (spring (first 6799)(second 6796))
419     (spring (first 6799)(second 6800))
420     (spring (first 6796)(second 6800))
421     (spring (first 6800)(second 6801))
422     (spring (first 6801)(second 6795))
423     (spring (first 6801)(second 6802))
424     (spring (first 6794)(second 6802))
425     (spring (first 6803)(second 6793))
426     (spring (first 6803)(second 6804))
427     (spring (first 6802)(second 6804))
428     (spring (first 2)(second 7868))
429     (spring (first 7868)(second 269))
430     (spring (first 7868)(second 3))
431     (spring (first 7869)(second 7868))
432     (spring (first 5626)(second 7868))
433     (spring (first 269)(second 7870))
434     (spring (first 7870)(second 5626))
435     (spring (first 7870)(second 7871))
436     (spring (first 7871)(second 7868))
437     (spring (first 275)(second 7870))
438     (spring (first 7870)(second 273))
439     (spring (first 3)(second 10455))
440     (spring (first 10455)(second 1))
441     (spring (first 10455)(second 6798))
442     (spring (first 10455)(second 6799))
443     (spring (first 315)(second 255))
444     (spring (first 318)(second 255))
445     (spring (first 320)(second 10722))
446     (spring (first 10722)(second 255))
447     (spring (first 10722)(second 8))
448     (spring (first 320)(second 8))
449     (spring (first 6799)(second 1))
450     (spring (first 536)(second 314))
451     (spring (first 536)(second 278))
452     (spring (first 255)(second 14671))
453     (spring (first 14671)(second 14672))
454     (spring (first 14672)(second 14673))
455     (spring (first 14673)(second 14674))
456     (spring (first 14674)(second 14671))
457     (spring (first 14672)(second 14674))
458     (spring (first 10722)(second 14674))
459     (spring (first 14675)(second 14676))
460     (spring (first 10722)(second 14676))
461     (spring (first 14675)(second 14674))
462     (spring (first 14674)(second 14676))
463     (spring (first 6794)(second 4846))
464     (spring (first 6803)(second 4850))
465     (spring (first 6801)(second 6794))
466     (spring (first 6801)(second 6796))
467     (spring (first 6795)(second 6799))
468     (spring (first 6800)(second 6798))
469     (spring (first 10455)(second 259))
470     (spring (first 6798)(second 4850))
471     (spring (first 262)(second 2361))
472     (spring (first 3656)(second 2362))
473     (spring (first 3656)(second 268))
474     (spring (first 3657)(second 264))
475     (spring (first 262)(second 3656))
476     (spring (first 2361)(second 3657))
477     (spring (first 3657)(second 2357))
478     (spring (first 2357)(second 3656))
479     (spring (first 2357)(second 843))
480     (spring (first 2356)(second 3657))
481     (spring (first 3657)(second 3658))
482     (spring (first 3658)(second 844))
483     (spring (first 3155)(second 271))
484     (spring (first 844)(second 3154))
485     (spring (first 3154)(second 274))
486     (spring (first 271)(second 3153))
487     (spring (first 1977)(second 3153))
488     (spring (first 3154)(second 1975))
489     (spring (first 1979)(second 3154))
490     (spring (first 3155)(second 1977))
491     (spring (first 265)(second 7868))
492     (spring (first 263)(second 7871))
493     (spring (first 7871)(second 267))
494     (spring (first 7871)(second 260))
495     (spring (first 7871)(second 258))
496     (spring (first 7871)(second 261))
497     (spring (first 7871)(second 19714))
498     (spring (first 19715)(second 19714))
499     (spring (first 19715)(second 6798))
500     (spring (first 19715)(second 6796))
501     (spring (first 19715)(second 259))
502     (spring (first 19714)(second 259))
503     (spring (first 19716)(second 3))
504     (spring (first 3)(second 19717))
505     (spring (first 19717)(second 10455))
506     (spring (first 19717)(second 19718))
507     (spring (first 19718)(second 10455))
508     (spring (first 19718)(second 19719))
509     (spring (first 19719)(second 6799))
510     (spring (first 10455)(second 1))
511     (spring (first 1)(second 19719))
512     (spring (first 1)(second 19718))
513     (spring (first 19718)(second 19720))
514     (spring (first 19720)(second 19717))
515     (spring (first 19720)(second 19719))
516     (spring (first 19719)(second 19721))
517     (spring (first 19721)(second 19720))
518     (spring (first 19720)(second 19722))
519     (spring (first 19722)(second 19717))
520     (spring (first 19722)(second 19723))
521     (spring (first 19723)(second 3))
522     (spring (first 19717)(second 19723))
523     (spring (first 19721)(second 19724))
524     (spring (first 19724)(second 6799))
525     (spring (first 19724)(second 19719))
526     (spring (first 19724)(second 1))
527     (spring (first 14672)(second 255))
528     (spring (first 14676)(second 320))
529     (spring (first 14674)(second 318))
530     (spring (first 14674)(second 3152))
531     (spring (first 316)(second 3153))
532     (spring (first 274)(second 1975))
533     (spring (first 274)(second 1973))
534     (spring (first 3)(second 275))
535     (spring (first 19725)(second 3))
536     (spring (first 3)(second 4846))
537     (spring (first 3)(second 6793))
538     (spring (first 4849)(second 6793))
539     (spring (first 4847)(second 256))
540     (spring (first 2364)(second 19726))
541     (spring (first 7871)(second 19727))
542     (spring (first 7871)(second 269))
543     (spring (first 1974)(second 19849))
544     (spring (first 19847)(second 19850))
545     (spring (first 19848)(second 19851))
546     (spring (first 1978)(second 19852))
547     (spring (first 1980)(second 19853))
548     (spring (first 1976)(second 19854))
549     (spring (first 1974)(second 19855))
550     (spring (first 319)(second 19856))
551     (spring (first 320)(second 19857))
552     (spring (first 1976)(second 19858))
553     (spring (first 1978)(second 19859))
554     (spring (first 1980)(second 19860))
555     (spring (first 1978)(second 19861))
556     (spring (first 1980)(second 19862))
557     (spring (first 2355)(second 19863))
558     (spring (first 1980)(second 19864))
559     (spring (first 1979)(second 19865))
560     (spring (first 1978)(second 19860))
561     (spring (first 2353)(second 19866))
562     (spring (first 19866)(second 19863))
563     (spring (first 2355)(second 19868))
564     (spring (first 2353)(second 19869))
565     (spring (first 19864)(second 1980))
566     (spring (first 19870)(second 2358))
567     (spring (first 19871)(second 270))
568     (spring (first 19872)(second 270))
569     (spring (first 269)(second 270))
570     (spring (first 19873)(second 19875))
571     (spring (first 19877)(second 270))
572     (spring (first 270)(second 19878))
573     (spring (first 270)(second 19879))
574     (spring (first 270)(second 19880))
575     (spring (first 19880)(second 4848))
576     (spring (first 19881)(second 6793))
577     (spring (first 19882)(second 6793))
578     (spring (first 6793)(second 19883))
579     (spring (first 6793)(second 19884))
580     (spring (first 6793)(second 19885))
581     (spring (first 6793)(second 19886))
582     (spring (first 6793)(second 19887))
583     (spring (first 6793)(second 19888))
584     (spring (first 6803)(second 19889))
585     (spring (first 6802)(second 19889))
586     (spring (first 263)(second 264))
587     (spring (first 263)(second 264))
588     (spring (first 265)(second 264))
589     (spring (first 265)(second 266))
590     (spring (first 267)(second 266))
591     (spring (first 267)(second 268))
592     (spring (first 267)(second 266))
593     (spring (first 267)(second 266))
594     (spring (first 265)(second 266))
595     (spring (first 265)(second 264))
596     (spring (first 263)(second 264))
597     (spring (first 263)(second 264))
598     (spring (first 263)(second 264))
599     (spring (first 263)(second 19872))
600     (spring (first 263)(second 264))
601     (spring (first 263)(second 264))
602     (spring (first 263)(second 264))
603     (spring (first 263)(second 264))
604     (spring (first 263)(second 262))
605     (spring (first 263)(second 262))
606     (spring (first 263)(second 262))
607     (spring (first 263)(second 19872))
608     (spring (first 263)(second 262))
609     (spring (first 263)(second 19872))
610     (spring (first 265)(second 263))
611     (spring (first 264)(second 265))
612     (spring (first 266)(second 270))
613     (spring (first 269)(second 270))
614     (spring (first 269)(second 270))
615     (spring (first 272)(second 270))
616     (spring (first 19727)(second 270))
617     (spring (first 271)(second 270))
618     (spring (first 271)(second 274))
619     (spring (first 273)(second 271))
620     (spring (first 273)(second 270))
621     (spring (first 278)(second 273))
622     (spring (first 275)(second 274))
623     (spring (first 20052)(second 20053))
624     (spring (first 7871)(second 20054))
625     (spring (first 3)(second 6798))
626     (spring (first 20055)(second 6797))
627     (spring (first 6796)(second 6795))
628     (spring (first 259)(second 4850))
629     (spring (first 257)(second 4850))
630     (spring (first 258)(second 4850))
631     (spring (first 6794)(second 6795))
632     (spring (first 4847)(second 20056))
633     (spring (first 20056)(second 20057))
634     (spring (first 20057)(second 2364))
635     (spring (first 20056)(second 2364))
636     (spring (first 20057)(second 4847))
637     (spring (first 20057)(second 20058))
638     (spring (first 20058)(second 2363))
639     (spring (first 20058)(second 2364))
640     (spring (first 20057)(second 2363))
641     (spring (first 20058)(second 20059))
642     (spring (first 2359)(second 20059))
643     (spring (first 20058)(second 2359))
644     (spring (first 2363)(second 20059))
645     (spring (first 20059)(second 2358))
646     (spring (first 20059)(second 19879))
647     (spring (first 19879)(second 2358))
648     (spring (first 19879)(second 2354))
649     (spring (first 19879)(second 20060))
650     (spring (first 20060)(second 2354))
651     (spring (first 20060)(second 2355))
652     (spring (first 20060)(second 1980))
653     (spring (first 20060)(second 19860))
654     (spring (first 20060)(second 20061))
655     (spring (first 20061)(second 19860))
656     (spring (first 20061)(second 1980))
657     (spring (first 20061)(second 19868))
658     (spring (first 19879)(second 19860))
659     (spring (first 6793)(second 20062))
660     (spring (first 20062)(second 20063))
661     (spring (first 20063)(second 20064))
662     (spring (first 20064)(second 20065))
663     (spring (first 20065)(second 20066))
664     (spring (first 20066)(second 20067))
665     (spring (first 20067)(second 20068))
666     (spring (first 20068)(second 20065))
667     (spring (first 20068)(second 20066))
668     (spring (first 20065)(second 20067))
669     (spring (first 19886)(second 20068))
670     (spring (first 19886)(second 20064))
671     (spring (first 20064)(second 20068))
672     (spring (first 20065)(second 19886))
673     (spring (first 20063)(second 19886))
674     (spring (first 20062)(second 19886))
675     (spring (first 19886)(second 6793))
676     (spring (first 20062)(second 6793))
677     (spring (first 19886)(second 6803))
678     (spring (first 7871)(second 20248))
679     (spring (first 20248)(second 20249))
680     (spring (first 20249)(second 20250))
681     (spring (first 20250)(second 20248))
682     (spring (first 20250)(second 7871))
683     (spring (first 20248)(second 260))
684     (spring (first 20248)(second 20251))
685     (spring (first 20251)(second 20249))
686     (spring (first 20248)(second 20252))
687     (spring (first 20252)(second 20251))
688     (spring (first 20252)(second 19878))
689     (spring (first 19878)(second 20251))
690     (spring (first 20252)(second 19880))
691     (spring (first 19880)(second 19878))
692     (spring (first 319)(second 20253))
693     (spring (first 320)(second 20254))
694     (spring (first 279)(second 20259))
695     (spring (first 5626)(second 20261))
696     (spring (first 20258)(second 20262))
697     (spring (first 10722)(second 20265))
698     (spring (first 317)(second 20267))
699     (spring (first 315)(second 20268))
700     (spring (first 318)(second 20269))
701     (spring (first 20263)(second 20270))
702     (spring (first 20066)(second 20271))
703     (spring (first 20271)(second 20067))
704     (spring (first 20271)(second 20272))
705     (spring (first 20067)(second 20272))
706     (spring (first 20271)(second 20273))
707     (spring (first 20273)(second 20272))
708     (spring (first 20273)(second 20274))
709     (spring (first 20274)(second 20272))
710     (spring (first 20274)(second 20271))
711     (spring (first 20274)(second 20275))
712     (spring (first 20275)(second 20271))
713     (spring (first 20275)(second 20273))
714     (spring (first 20275)(second 20276))
715     (spring (first 20276)(second 20277))
716     (spring (first 20274)(second 20277))
717     (spring (first 20276)(second 20274))
718     (spring (first 20275)(second 20277))
719     (spring (first 20277)(second 20278))
720     (spring (first 20278)(second 20272))
721     (spring (first 20274)(second 20278))
722     (spring (first 20272)(second 20277))
723   )