File: data.donnell

package info (click to toggle)
survival 2.29-1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 3,204 kB
  • ctags: 1,077
  • sloc: asm: 8,713; ansic: 6,928; sh: 22; makefile: 2
file content (210 lines) | stat: -rw-r--r-- 7,676 bytes parent folder | download | duplicates (9) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
 
0.558521561 1.000000000 0.000000000
1.059548255 1.000000000 0.000000000
1.659137577 1.000000000 0.000000000
0.561259411 1.000000000 0.000000000
1.108829569 1.000000000 0.000000000
1.530458590 1.000000000 0.000000000
0.550308008 1.000000000 0.000000000
1.065023956 1.000000000 0.000000000
1.546885695 1.000000000 0.000000000
0.668035592 1.000000000 0.000000000
1.048596851 1.000000000 0.000000000
1.549623546 1.000000000 0.000000000
0.594113621 1.000000000 0.000000000
1.010266940 1.000000000 0.000000000
1.577002053 1.000000000 0.000000000
0.569472964 1.000000000 0.000000000
1.045859001 1.000000000 0.000000000
1.555099247 1.000000000 0.000000000
0.605065024 1.000000000 0.000000000
1.054072553 1.000000000 0.000000000
1.566050650 1.000000000 0.000000000
0.544832307 1.000000000 0.000000000
1.048596851 1.000000000 0.000000000
1.544147844 1.000000000 0.000000000
0.550308008 1.000000000 0.000000000
1.065023956 1.000000000 0.000000000
1.568788501 1.000000000 0.000000000
0.528405202 1.000000000 0.000000000
1.070499658 1.000000000 0.000000000
1.546885695 1.000000000 0.000000000
0.813141684 1.000000000 0.000000000
1.226557153 1.000000000 0.000000000
1.744010951 1.000000000 0.000000000
0.520191650 1.000000000 0.000000000
1.075975359 1.000000000 0.000000000
1.557837098 1.000000000 0.000000000
0.577686516 1.000000000 0.000000000
1.067761807 1.000000000 0.000000000
1.590691307 1.000000000 0.000000000
0.580424367 1.000000000 0.000000000
1.043121150 1.000000000 0.000000000
1.560574949 1.000000000 0.000000000
0.539356605 1.000000000 0.000000000
1.097878166 1.000000000 0.000000000
1.557837098 1.000000000 0.000000000
0.613278576 1.000000000 0.000000000
1.065023956 1.000000000 0.000000000
1.629021218 1.000000000 0.000000000
0.542094456 1.000000000 0.000000000
1.021218344 1.000000000 0.000000000
1.535934292 1.000000000 0.000000000
0.542094456 1.000000000 0.000000000
1.084188912 1.000000000 0.000000000
1.541409993 1.000000000 0.000000000
0.479123888 1.000000000 0.000000000
1.166324435 1.000000000 0.000000000
1.609856263 1.000000000 0.000000000
0.574948665 1.000000000 0.000000000
1.032169747 1.000000000 0.000000000
1.511293634 1.000000000 0.000000000
0.580424367 1.000000000 0.000000000
1.015742642 1.000000000 0.000000000
1.593429158 1.000000000 0.000000000
0.580424367 1.000000000 0.000000000
0.580424367 1.059548255 3.000000000
0.555783710 1.000000000 0.000000000
1.073237509 1.000000000 0.000000000
1.552361396 1.000000000 0.000000000
0.558521561 1.000000000 0.000000000
1.048596851 1.000000000 0.000000000
1.549623546 1.000000000 0.000000000
0.569472964 1.000000000 0.000000000
1.048596851 1.000000000 0.000000000
1.546885695 1.000000000 0.000000000
0.591375770 1.000000000 0.000000000
1.147159480 1.000000000 0.000000000
1.549623546 1.000000000 0.000000000
0.673511294 1.000000000 0.000000000
1.111567420 1.000000000 0.000000000
1.609856263 1.000000000 0.000000000
0.574948665 1.000000000 0.000000000
1.051334702 1.000000000 0.000000000
1.566050650 1.000000000 0.000000000
0.558521561 1.000000000 0.000000000
1.034907598 1.000000000 0.000000000
1.555099247 1.000000000 0.000000000
0.539356605 1.000000000 0.000000000
1.040383299 1.000000000 0.000000000
1.615331964 1.000000000 0.000000000
0.572210815 1.000000000 0.000000000
1.056810404 1.000000000 0.000000000
1.552361396 1.000000000 0.000000000
0.550308008 1.000000000 0.000000000
1.125256674 1.000000000 0.000000000
 1.596167009 1.000000000 0.000000000
 0.514715948 1.000000000 0.000000000
 1.010266940 1.000000000 0.000000000
 1.585215606 1.000000000 0.000000000
 0.555783710 1.000000000 0.000000000
 1.054072553 1.000000000 0.000000000
 1.566050650 1.000000000 0.000000000
 0.632443532 1.000000000 0.000000000
 1.073237509 1.000000000 0.000000000
 1.585215606 1.000000000 0.000000000
 0.569472964 1.000000000 0.000000000
 1.067761807 1.000000000 0.000000000
 1.612594114 1.000000000 0.000000000
 0.566735113 1.000000000 0.000000000
 1.125256674 1.000000000 0.000000000
 1.607118412 1.000000000 0.000000000
 0.728268309 1.000000000 0.000000000
 1.095140315 1.000000000 0.000000000
 1.634496920 1.000000000 0.000000000
 0.550308008 1.000000000 0.000000000
 1.149897331 1.000000000 0.000000000
 1.508555784 1.000000000 0.000000000
 0.553045859 1.000000000 0.000000000
 1.029431896 1.000000000 0.000000000
 1.546885695 1.000000000 0.000000000
 0.547570157 1.000000000 0.000000000
 1.070499658 1.000000000 0.000000000
 1.549623546 1.000000000 0.000000000
 0.607802875 1.000000000 0.000000000
 1.007529090 1.000000000 0.000000000
 1.508555784 1.000000000 0.000000000
 0.528405202 1.000000000 0.000000000
 1.056810404 1.000000000 0.000000000
 1.549623546 1.000000000 0.000000000
 0.522929500 1.000000000 0.000000000
 0.544832307 1.000000000 0.000000000
 1.084188912 1.000000000 0.000000000
 1.519507187 1.000000000 0.000000000
 0.563997262 1.000000000 0.000000000
 0.999315537 1.000000000 0.000000000
 1.503080082 1.000000000 0.000000000
 0.536618754 1.000000000 0.000000000
 1.103353867 1.000000000 0.000000000
 1.601642710 1.000000000 0.000000000
 0.520191650 1.000000000 0.000000000
 1.056810404 1.000000000 0.000000000
 1.541409993 1.000000000 0.000000000
 0.522929500 1.000000000 0.000000000
 1.095140315 1.000000000 0.000000000
 1.697467488 1.000000000 0.000000000
 0.659822040 1.000000000 0.000000000
 1.122518823 1.000000000 0.000000000
 1.648186174 1.000000000 0.000000000
 0.536618754 1.000000000 0.000000000
 1.078713210 1.000000000 0.000000000
 1.557837098 1.000000000 0.000000000
 0.517453799 1.000000000 0.000000000
 1.125256674 1.000000000 0.000000000
 1.571526352 1.000000000 0.000000000
 0.520191650 1.000000000 0.000000000
 1.026694045 1.000000000 0.000000000
 1.609856263 1.000000000 0.000000000
 0.561259411 1.000000000 0.000000000
 1.059548255 1.000000000 0.000000000
 1.538672142 1.000000000 0.000000000
 0.536618754 1.000000000 0.000000000
 1.021218344 1.000000000 0.000000000
 1.560574949 1.000000000 0.000000000
 0.613278576 1.000000000 0.000000000
 1.092402464 1.000000000 0.000000000
 1.596167009 1.000000000 0.000000000
 0.525667351 1.000000000 0.000000000
 1.023956194 1.000000000 0.000000000
 1.738535250 1.000000000 0.000000000
 0.542094456 1.000000000 0.000000000
 1.021218344 1.000000000 0.000000000
 1.524982888 1.000000000 0.000000000
 0.577686516 1.000000000 0.000000000
 1.097878166 1.000000000 0.000000000
 1.557837098 1.000000000 0.000000000
 0.572210815 1.000000000 0.000000000
 1.013004791 1.000000000 0.000000000
 1.516769336 1.000000000 0.000000000
 0.544832307 1.000000000 0.000000000
 0.999315537 1.000000000 0.000000000
 1.555099247 1.000000000 0.000000000
 0.536618754 1.000000000 0.000000000
 1.002053388 1.000000000 0.000000000
 1.494866530 1.000000000 0.000000000
 0.555783710 1.000000000 0.000000000
 1.059548255 1.000000000 0.000000000
 1.593429158 1.000000000 0.000000000
 0.522929500 1.000000000 0.000000000
 1.062286105 1.000000000 0.000000000
 1.571526352 1.000000000 0.000000000
 0.580424367 1.000000000 0.000000000
 1.037645448 1.000000000 0.000000000
 1.670088980 1.000000000 0.000000000
 0.536618754 1.000000000 0.000000000
 1.073237509 1.000000000 0.000000000
 1.494866530 1.000000000 0.000000000
 0.539356605 1.000000000 0.000000000
 1.054072553 1.000000000 0.000000000
 1.533196441 1.000000000 0.000000000
 0.670773443 1.000000000 0.000000000
 1.004791239 1.000000000 0.000000000
 0.580424367 1.059548255 3.000000000
 0.985626283 1.503080082 3.000000000
 0.002737851 0.539356605 3.000000000
 1.062286105 1.541409993 3.000000000
 0.002737851 0.501026694 3.000000000
 0.002737851 0.574948665 3.000000000
 0.002737851 0.583162218 3.000000000
 1.037645448 1.516769336 3.000000000
 0.574948665 1.114305270 3.000000000
 0.002737851 0.528405202 3.000000000