File: falkner.mci

package info (click to toggle)
mcl 1%3A14-137-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd, stretch
  • size: 10,704 kB
  • ctags: 5,125
  • sloc: ansic: 53,217; sh: 4,448; perl: 3,967; makefile: 422
file content (384 lines) | stat: -rw-r--r-- 24,155 bytes parent folder | download | duplicates (5)
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
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
inverted taxi distance
(mclheader
mcltype matrix
dimensions 150x150
)
(mclmatrix
begin
0      0:1.00000000   1:0.50000000   9:0.25000000  10:0.50000000  11:0.16666667 
      17:0.25000000  18:0.16666667  19:0.12500000 $
1      0:0.50000000   1:1.00000000   2:0.25000000   9:0.16666667  10:0.25000000 
      11:0.25000000  12:0.16666667  17:0.16666667  18:0.25000000  19:0.16666667 
      20:0.12500000 $
2      1:0.25000000   2:1.00000000   3:0.50000000  11:0.25000000  12:0.50000000 
      18:0.12500000  19:0.16666667  20:0.25000000  21:0.16666667 $
3      2:0.50000000   3:1.00000000   4:0.25000000  11:0.16666667  12:0.25000000 
      19:0.12500000  20:0.16666667  21:0.25000000  22:0.12500000 $
4      3:0.25000000   4:1.00000000   5:0.50000000  13:0.25000000  21:0.12500000 
      22:0.25000000 $
5      4:0.50000000   5:1.00000000  13:0.50000000  22:0.16666667 $
6      6:1.00000000   7:0.50000000   8:0.25000000  14:0.25000000  15:0.50000000 
      16:0.25000000  23:0.12500000  24:0.16666667  25:0.16666667 
      26:0.12500000 $
7      6:0.50000000   7:1.00000000   8:0.50000000  14:0.16666667  15:0.25000000 
      16:0.50000000  24:0.12500000  25:0.25000000  26:0.16666667 
      27:0.12500000 $
8      6:0.25000000   7:0.50000000   8:1.00000000  15:0.16666667  16:0.25000000 
      25:0.16666667  26:0.25000000  27:0.16666667 $
9      0:0.25000000   1:0.16666667   9:1.00000000  10:0.50000000  17:0.25000000 
      18:0.16666667  28:0.12500000  29:0.16666667 $
10     0:0.50000000   1:0.25000000   9:0.50000000  10:1.00000000  11:0.25000000 
      17:0.50000000  18:0.25000000  19:0.16666667  29:0.12500000 $
11     0:0.16666667   1:0.25000000   2:0.25000000   3:0.16666667  10:0.25000000 
      11:1.00000000  12:0.50000000  17:0.16666667  18:0.25000000  19:0.50000000 
      20:0.25000000  21:0.16666667 $
12     1:0.16666667   2:0.50000000   3:0.25000000  11:0.50000000  12:1.00000000 
      18:0.16666667  19:0.25000000  20:0.50000000  21:0.25000000 $
13     4:0.25000000   5:0.50000000  13:1.00000000  22:0.25000000  30:0.16666667 
      31:0.16666667  32:0.12500000 $
14     6:0.25000000   7:0.16666667  14:1.00000000  15:0.50000000  16:0.25000000 
      23:0.25000000  24:0.50000000  25:0.16666667  32:0.12500000  33:0.25000000 
      34:0.16666667 $
15     6:0.50000000   7:0.25000000   8:0.16666667  14:0.50000000  15:1.00000000 
      16:0.50000000  23:0.16666667  24:0.25000000  25:0.25000000  26:0.16666667 
      33:0.16666667  34:0.25000000  35:0.12500000 $
16     6:0.25000000   7:0.50000000   8:0.25000000  14:0.25000000  15:0.50000000 
      16:1.00000000  24:0.16666667  25:0.50000000  26:0.25000000  27:0.16666667 
      33:0.12500000  34:0.16666667  35:0.16666667  36:0.12500000 $
17     0:0.25000000   1:0.16666667   9:0.25000000  10:0.50000000  11:0.16666667 
      17:1.00000000  18:0.50000000  19:0.25000000  29:0.16666667  37:0.25000000 
      38:0.16666667 $
18     0:0.16666667   1:0.25000000   2:0.12500000   9:0.16666667  10:0.25000000 
      11:0.25000000  12:0.16666667  17:0.50000000  18:1.00000000  19:0.50000000 
      20:0.25000000  37:0.16666667  38:0.25000000 $
19     0:0.12500000   1:0.16666667   2:0.16666667   3:0.12500000  10:0.16666667 
      11:0.50000000  12:0.25000000  17:0.25000000  18:0.50000000  19:1.00000000 
      20:0.50000000  21:0.25000000  37:0.12500000  38:0.16666667 
      39:0.12500000 $
20     1:0.12500000   2:0.25000000   3:0.16666667  11:0.25000000  12:0.50000000 
      18:0.25000000  19:0.50000000  20:1.00000000  21:0.50000000  38:0.12500000 
      39:0.16666667  40:0.12500000 $
21     2:0.16666667   3:0.25000000   4:0.12500000  11:0.16666667  12:0.25000000 
      19:0.25000000  20:0.50000000  21:1.00000000  22:0.25000000  30:0.16666667 
      39:0.25000000  40:0.16666667 $
22     3:0.12500000   4:0.25000000   5:0.16666667  13:0.25000000  21:0.25000000 
      22:1.00000000  30:0.50000000  31:0.16666667  39:0.12500000  40:0.16666667 
      41:0.16666667  42:0.12500000 $
23     6:0.12500000  14:0.25000000  15:0.16666667  23:1.00000000  24:0.50000000 
      31:0.16666667  32:0.25000000  33:0.25000000  34:0.16666667 
      42:0.12500000 $
24     6:0.16666667   7:0.12500000  14:0.50000000  15:0.25000000  16:0.16666667 
      23:0.50000000  24:1.00000000  25:0.25000000  32:0.16666667  33:0.50000000 
      34:0.25000000 $
25     6:0.16666667   7:0.25000000   8:0.16666667  14:0.16666667  15:0.25000000 
      16:0.50000000  24:0.25000000  25:1.00000000  26:0.50000000  27:0.25000000 
      33:0.16666667  34:0.25000000  35:0.25000000  36:0.16666667 $
26     6:0.12500000   7:0.16666667   8:0.25000000  15:0.16666667  16:0.25000000 
      25:0.50000000  26:1.00000000  27:0.50000000  34:0.16666667  35:0.50000000 
      36:0.25000000 $
27     7:0.12500000   8:0.16666667  16:0.16666667  25:0.25000000  26:0.50000000 
      27:1.00000000  35:0.25000000  36:0.50000000 $
28     9:0.12500000  28:1.00000000  29:0.50000000  43:0.12500000 $
29     9:0.16666667  10:0.12500000  17:0.16666667  28:0.50000000  29:1.00000000 
      37:0.16666667  43:0.16666667 $
30    13:0.16666667  21:0.16666667  22:0.50000000  30:1.00000000  31:0.25000000 
      39:0.16666667  40:0.25000000  41:0.25000000  42:0.16666667  45:0.16666667 
      46:0.25000000  47:0.12500000 $
31    13:0.16666667  22:0.16666667  23:0.16666667  30:0.25000000  31:1.00000000 
      32:0.50000000  41:0.25000000  42:0.50000000  46:0.12500000  47:0.25000000 
      48:0.16666667 $
32    13:0.12500000  14:0.12500000  23:0.25000000  24:0.16666667  31:0.50000000 
      32:1.00000000  33:0.25000000  41:0.16666667  42:0.25000000  47:0.16666667 
      48:0.25000000  49:0.12500000 $
33    14:0.25000000  15:0.16666667  16:0.12500000  23:0.25000000  24:0.50000000 
      25:0.16666667  32:0.25000000  33:1.00000000  34:0.50000000  48:0.12500000 
      49:0.25000000 $
34    14:0.16666667  15:0.25000000  16:0.16666667  23:0.16666667  24:0.25000000 
      25:0.25000000  26:0.16666667  33:0.50000000  34:1.00000000  35:0.25000000 
      49:0.16666667  50:0.12500000 $
35    15:0.12500000  16:0.16666667  25:0.25000000  26:0.50000000  27:0.25000000 
      34:0.25000000  35:1.00000000  36:0.50000000  50:0.25000000 $
36    16:0.12500000  25:0.16666667  26:0.25000000  27:0.50000000  35:0.50000000 
      36:1.00000000  50:0.16666667 $
37    17:0.25000000  18:0.16666667  19:0.12500000  29:0.16666667  37:1.00000000 
      38:0.50000000  43:0.25000000  52:0.25000000 $
38    17:0.16666667  18:0.25000000  19:0.16666667  20:0.12500000  37:0.50000000 
      38:1.00000000  43:0.16666667  44:0.16666667  52:0.16666667 $
39    19:0.12500000  20:0.16666667  21:0.25000000  22:0.12500000  30:0.16666667 
      39:1.00000000  40:0.50000000  44:0.25000000  45:0.25000000 
      46:0.16666667 $
40    20:0.12500000  21:0.16666667  22:0.16666667  30:0.25000000  39:0.50000000 
      40:1.00000000  41:0.25000000  44:0.16666667  45:0.50000000 
      46:0.25000000 $
41    22:0.16666667  30:0.25000000  31:0.25000000  32:0.16666667  40:0.25000000 
      41:1.00000000  42:0.50000000  45:0.16666667  46:0.25000000  47:0.25000000 
      48:0.16666667  53:0.16666667  54:0.12500000 $
42    22:0.12500000  23:0.12500000  30:0.16666667  31:0.50000000  32:0.25000000 
      41:0.50000000  42:1.00000000  46:0.16666667  47:0.50000000  48:0.25000000 
      53:0.25000000  54:0.16666667  55:0.12500000 $
43    28:0.12500000  29:0.16666667  37:0.25000000  38:0.16666667  43:1.00000000 
      51:0.16666667  52:0.25000000  60:0.25000000  61:0.16666667 
      62:0.12500000 $
44    38:0.16666667  39:0.25000000  40:0.16666667  44:1.00000000  45:0.25000000 
      62:0.12500000  63:0.16666667  64:0.25000000 $
45    30:0.16666667  39:0.25000000  40:0.50000000  41:0.16666667  44:0.25000000 
      45:1.00000000  46:0.50000000  64:0.12500000 $
46    30:0.25000000  31:0.12500000  39:0.16666667  40:0.25000000  41:0.25000000 
      42:0.16666667  45:0.50000000  46:1.00000000  47:0.25000000 
      53:0.16666667 $
47    30:0.12500000  31:0.25000000  32:0.16666667  41:0.25000000  42:0.50000000 
      46:0.25000000  47:1.00000000  48:0.50000000  53:0.50000000  54:0.25000000 
      55:0.16666667  65:0.12500000 $
48    31:0.16666667  32:0.25000000  33:0.12500000  41:0.16666667  42:0.25000000 
      47:0.50000000  48:1.00000000  49:0.25000000  53:0.25000000  54:0.50000000 
      55:0.25000000  65:0.16666667  66:0.12500000 $
49    32:0.12500000  33:0.25000000  34:0.16666667  48:0.25000000  49:1.00000000 
      54:0.16666667  55:0.25000000  56:0.25000000  57:0.16666667  65:0.16666667 
      66:0.25000000 $
50    34:0.12500000  35:0.25000000  36:0.16666667  50:1.00000000  56:0.16666667 
      57:0.25000000  58:0.50000000  59:0.25000000  67:0.16666667 $
51    43:0.16666667  51:1.00000000  60:0.16666667  68:0.12500000 $
52    37:0.25000000  38:0.16666667  43:0.25000000  52:1.00000000  60:0.25000000 
      61:0.50000000  62:0.25000000  63:0.16666667  68:0.16666667 
      69:0.16666667 $
53    41:0.16666667  42:0.25000000  46:0.16666667  47:0.50000000  48:0.25000000 
      53:1.00000000  54:0.50000000  55:0.25000000  65:0.16666667  71:0.16666667 
      72:0.12500000 $
54    41:0.12500000  42:0.16666667  47:0.25000000  48:0.50000000  49:0.16666667 
      53:0.50000000  54:1.00000000  55:0.50000000  65:0.25000000  66:0.16666667 
      71:0.12500000  72:0.16666667  73:0.12500000 $
55    42:0.12500000  47:0.16666667  48:0.25000000  49:0.25000000  53:0.25000000 
      54:0.50000000  55:1.00000000  56:0.25000000  65:0.50000000  66:0.25000000 
      72:0.25000000  73:0.16666667  74:0.12500000 $
56    49:0.25000000  50:0.16666667  55:0.25000000  56:1.00000000  57:0.50000000 
      58:0.25000000  65:0.16666667  66:0.25000000  72:0.12500000  73:0.16666667 
      74:0.25000000 $
57    49:0.16666667  50:0.25000000  56:0.50000000  57:1.00000000  58:0.50000000 
      59:0.25000000  66:0.16666667  67:0.16666667  73:0.12500000  74:0.16666667 
      75:0.12500000 $
58    50:0.50000000  56:0.25000000  57:0.50000000  58:1.00000000  59:0.50000000 
      67:0.25000000  74:0.12500000  75:0.16666667 $
59    50:0.25000000  57:0.25000000  58:0.50000000  59:1.00000000  67:0.50000000 
      75:0.25000000 $
60    43:0.25000000  51:0.16666667  52:0.25000000  60:1.00000000  61:0.50000000 
      62:0.25000000  68:0.50000000  69:0.16666667  76:0.12500000  77:0.16666667 
      78:0.12500000 $
61    43:0.16666667  52:0.50000000  60:0.50000000  61:1.00000000  62:0.50000000 
      63:0.25000000  68:0.25000000  69:0.25000000  77:0.12500000 
      78:0.16666667 $
62    43:0.12500000  44:0.12500000  52:0.25000000  60:0.25000000  61:0.50000000 
      62:1.00000000  63:0.50000000  64:0.25000000  68:0.16666667  69:0.50000000 
      78:0.25000000 $
63    44:0.16666667  52:0.16666667  61:0.25000000  62:0.50000000  63:1.00000000 
      64:0.50000000  69:0.25000000  78:0.16666667 $
64    44:0.25000000  45:0.12500000  62:0.25000000  63:0.50000000  64:1.00000000 
      69:0.16666667  70:0.16666667  78:0.12500000 $
65    47:0.12500000  48:0.16666667  49:0.16666667  53:0.16666667  54:0.25000000 
      55:0.50000000  56:0.16666667  65:1.00000000  66:0.50000000  72:0.50000000 
      73:0.25000000  74:0.16666667  79:0.25000000  80:0.16666667 $
66    48:0.12500000  49:0.25000000  54:0.16666667  55:0.25000000  56:0.25000000 
      57:0.16666667  65:0.50000000  66:1.00000000  72:0.25000000  73:0.50000000 
      74:0.25000000  79:0.16666667  80:0.25000000  81:0.12500000 $
67    50:0.16666667  57:0.16666667  58:0.25000000  59:0.50000000  67:1.00000000 
      75:0.50000000  81:0.12500000  82:0.25000000 $
68    51:0.12500000  52:0.16666667  60:0.50000000  61:0.25000000  62:0.16666667 
      68:1.00000000  69:0.25000000  76:0.16666667  77:0.25000000  78:0.16666667 
      83:0.25000000 $
69    52:0.16666667  60:0.16666667  61:0.25000000  62:0.50000000  63:0.25000000 
      64:0.16666667  68:0.25000000  69:1.00000000  78:0.50000000  83:0.12500000 
      84:0.16666667  85:0.12500000 $
70    64:0.16666667  70:1.00000000  71:0.25000000  85:0.12500000 
      86:0.16666667 $
71    53:0.16666667  54:0.12500000  70:0.25000000  71:1.00000000  86:0.16666667 
      87:0.12500000 $
72    53:0.12500000  54:0.16666667  55:0.25000000  56:0.12500000  65:0.50000000 
      66:0.25000000  72:1.00000000  73:0.50000000  74:0.25000000  79:0.50000000 
      80:0.25000000  87:0.16666667  88:0.16666667 $
73    54:0.12500000  55:0.16666667  56:0.16666667  57:0.12500000  65:0.25000000 
      66:0.50000000  72:0.50000000  73:1.00000000  74:0.50000000  79:0.25000000 
      80:0.50000000  81:0.16666667  87:0.12500000  88:0.25000000 $
74    55:0.12500000  56:0.25000000  57:0.16666667  58:0.12500000  65:0.16666667 
      66:0.25000000  72:0.25000000  73:0.50000000  74:1.00000000  79:0.16666667 
      80:0.25000000  81:0.25000000  88:0.16666667  89:0.12500000 $
75    57:0.12500000  58:0.16666667  59:0.25000000  67:0.50000000  75:1.00000000 
      81:0.16666667  82:0.50000000  89:0.16666667 $
76    60:0.12500000  68:0.16666667  76:1.00000000  77:0.50000000  83:0.16666667 
      90:0.25000000  91:0.16666667  92:0.12500000 $
77    60:0.16666667  61:0.12500000  68:0.25000000  76:0.50000000  77:1.00000000 
      83:0.25000000  90:0.16666667  91:0.25000000  92:0.16666667 $
78    60:0.12500000  61:0.16666667  62:0.25000000  63:0.16666667  64:0.12500000 
      68:0.16666667  69:0.50000000  78:1.00000000  83:0.16666667  84:0.25000000 
      85:0.16666667  92:0.12500000  93:0.12500000 $
79    65:0.25000000  66:0.16666667  72:0.50000000  73:0.25000000  74:0.16666667 
      79:1.00000000  80:0.50000000  87:0.25000000  88:0.25000000  96:0.16666667 
      97:0.12500000 $
80    65:0.16666667  66:0.25000000  72:0.25000000  73:0.50000000  74:0.25000000 
      79:0.50000000  80:1.00000000  81:0.25000000  87:0.16666667  88:0.50000000 
      96:0.25000000  97:0.16666667 $
81    66:0.12500000  67:0.12500000  73:0.16666667  74:0.25000000  75:0.16666667 
      80:0.25000000  81:1.00000000  82:0.25000000  88:0.16666667  89:0.25000000 
      96:0.12500000  97:0.16666667  98:0.16666667 $
82    67:0.25000000  75:0.50000000  81:0.25000000  82:1.00000000  89:0.25000000 
      98:0.16666667 $
83    68:0.25000000  69:0.12500000  76:0.16666667  77:0.25000000  78:0.16666667 
      83:1.00000000  90:0.16666667  91:0.25000000  92:0.50000000  99:0.16666667 
     100:0.25000000 101:0.16666667 $
84    69:0.16666667  78:0.25000000  84:1.00000000  85:0.50000000  93:0.25000000 
     101:0.12500000 102:0.25000000 $
85    69:0.12500000  70:0.12500000  78:0.16666667  84:0.50000000  85:1.00000000 
      93:0.50000000  94:0.16666667 102:0.16666667 $
86    70:0.16666667  71:0.16666667  86:1.00000000  94:0.25000000  95:0.50000000 
     103:0.12500000 $
87    71:0.12500000  72:0.16666667  73:0.12500000  79:0.25000000  80:0.16666667 
      87:1.00000000  88:0.25000000  96:0.16666667 103:0.16666667 
     104:0.25000000 $
88    72:0.16666667  73:0.25000000  74:0.16666667  79:0.25000000  80:0.50000000 
      81:0.16666667  87:0.25000000  88:1.00000000  96:0.50000000  97:0.25000000 
     104:0.12500000 105:0.12500000 $
89    74:0.12500000  75:0.16666667  81:0.25000000  82:0.25000000  89:1.00000000 
      97:0.16666667  98:0.50000000 105:0.16666667 $
90    76:0.25000000  77:0.16666667  83:0.16666667  90:1.00000000  91:0.50000000 
      92:0.25000000  99:0.25000000 100:0.16666667 $
91    76:0.16666667  77:0.25000000  83:0.25000000  90:0.50000000  91:1.00000000 
      92:0.50000000  99:0.50000000 100:0.25000000 101:0.16666667 
     106:0.12500000 $
92    76:0.12500000  77:0.16666667  78:0.12500000  83:0.50000000  90:0.25000000 
      91:0.50000000  92:1.00000000  99:0.25000000 100:0.50000000 101:0.25000000 
     106:0.16666667 107:0.12500000 $
93    78:0.12500000  84:0.25000000  85:0.50000000  93:1.00000000  94:0.25000000 
     102:0.25000000 107:0.12500000 $
94    85:0.16666667  86:0.25000000  93:0.25000000  94:1.00000000  95:0.50000000 
     108:0.16666667 $
95    86:0.50000000  94:0.50000000  95:1.00000000 103:0.16666667 
     108:0.25000000 $
96    79:0.16666667  80:0.25000000  81:0.12500000  87:0.16666667  88:0.50000000 
      96:1.00000000  97:0.50000000 104:0.16666667 105:0.16666667 109:0.12500000 
     110:0.16666667 111:0.12500000 $
97    79:0.12500000  80:0.16666667  81:0.16666667  88:0.25000000  89:0.16666667 
      96:0.50000000  97:1.00000000  98:0.25000000 105:0.25000000 110:0.25000000 
     111:0.16666667 $
98    81:0.16666667  82:0.16666667  89:0.50000000  97:0.25000000  98:1.00000000 
     105:0.25000000 110:0.12500000 111:0.16666667 $
99    83:0.16666667  90:0.25000000  91:0.50000000  92:0.25000000  99:1.00000000 
     100:0.50000000 101:0.25000000 106:0.16666667 112:0.16666667 113:0.25000000 
     114:0.16666667 $
100   83:0.25000000  90:0.16666667  91:0.25000000  92:0.50000000  99:0.50000000 
     100:1.00000000 101:0.50000000 106:0.25000000 107:0.16666667 112:0.12500000 
     113:0.16666667 114:0.25000000 $
101   83:0.16666667  84:0.12500000  91:0.16666667  92:0.25000000  99:0.25000000 
     100:0.50000000 101:1.00000000 102:0.25000000 106:0.50000000 107:0.25000000 
     113:0.12500000 114:0.16666667 115:0.12500000 $
102   84:0.25000000  85:0.16666667  93:0.25000000 101:0.25000000 102:1.00000000 
     106:0.16666667 107:0.25000000 115:0.25000000 $
103   86:0.12500000  87:0.16666667  95:0.16666667 103:1.00000000 104:0.50000000 
     108:0.16666667 109:0.25000000 116:0.12500000 $
104   87:0.25000000  88:0.12500000  96:0.16666667 103:0.50000000 104:1.00000000 
     109:0.50000000 116:0.16666667 $
105   88:0.12500000  89:0.16666667  96:0.16666667  97:0.25000000  98:0.25000000 
     105:1.00000000 110:0.25000000 111:0.50000000 117:0.25000000 $
106   91:0.12500000  92:0.16666667  99:0.16666667 100:0.25000000 101:0.50000000 
     102:0.16666667 106:1.00000000 107:0.50000000 113:0.16666667 114:0.25000000 
     115:0.16666667 118:0.12500000 119:0.25000000 120:0.16666667 $
107   92:0.12500000  93:0.12500000 100:0.16666667 101:0.25000000 102:0.25000000 
     106:0.50000000 107:1.00000000 114:0.16666667 115:0.25000000 119:0.16666667 
     120:0.25000000 $
108   94:0.16666667  95:0.25000000 103:0.16666667 108:1.00000000 121:0.12500000 
     122:0.12500000 $
109   96:0.12500000 103:0.25000000 104:0.50000000 109:1.00000000 116:0.25000000 
     122:0.16666667 123:0.25000000 124:0.16666667 $
110   96:0.16666667  97:0.25000000  98:0.12500000 105:0.25000000 110:1.00000000 
     111:0.50000000 116:0.16666667 117:0.25000000 124:0.12500000 125:0.16666667 
     126:0.12500000 $
111   96:0.12500000  97:0.16666667  98:0.16666667 105:0.50000000 110:0.50000000 
     111:1.00000000 117:0.50000000 125:0.25000000 126:0.16666667 
     127:0.12500000 $
112   99:0.16666667 100:0.12500000 112:1.00000000 113:0.50000000 114:0.25000000 
     118:0.25000000 128:0.25000000 $
113   99:0.25000000 100:0.16666667 101:0.12500000 106:0.16666667 112:0.50000000 
     113:1.00000000 114:0.50000000 118:0.50000000 119:0.16666667 128:0.16666667 
     129:0.12500000 $
114   99:0.16666667 100:0.25000000 101:0.16666667 106:0.25000000 107:0.16666667 
     112:0.25000000 113:0.50000000 114:1.00000000 118:0.25000000 119:0.25000000 
     120:0.16666667 128:0.12500000 129:0.16666667 $
115  101:0.12500000 102:0.25000000 106:0.16666667 107:0.25000000 115:1.00000000 
     119:0.16666667 120:0.25000000 121:0.16666667 129:0.12500000 130:0.16666667 
     131:0.12500000 $
116  103:0.12500000 104:0.16666667 109:0.25000000 110:0.16666667 116:1.00000000 
     122:0.16666667 123:0.25000000 124:0.50000000 134:0.12500000 135:0.25000000 
     136:0.12500000 $
117  105:0.25000000 110:0.25000000 111:0.50000000 117:1.00000000 125:0.50000000 
     126:0.25000000 127:0.16666667 136:0.16666667 $
118  106:0.12500000 112:0.25000000 113:0.50000000 114:0.25000000 118:1.00000000 
     119:0.25000000 128:0.25000000 129:0.16666667 $
119  106:0.25000000 107:0.16666667 113:0.16666667 114:0.25000000 115:0.16666667 
     118:0.25000000 119:1.00000000 120:0.50000000 129:0.50000000 
     137:0.16666667 $
120  106:0.16666667 107:0.25000000 114:0.16666667 115:0.25000000 119:0.50000000 
     120:1.00000000 129:0.25000000 130:0.16666667 137:0.25000000 $
121  108:0.12500000 115:0.16666667 121:1.00000000 130:0.25000000 131:0.50000000 
     132:0.25000000 133:0.16666667 138:0.16666667 $
122  108:0.12500000 109:0.16666667 116:0.16666667 122:1.00000000 123:0.50000000 
     124:0.25000000 133:0.16666667 134:0.50000000 135:0.16666667 139:0.16666667 
     140:0.25000000 141:0.16666667 $
123  109:0.25000000 116:0.25000000 122:0.50000000 123:1.00000000 124:0.50000000 
     134:0.25000000 135:0.25000000 139:0.12500000 140:0.16666667 
     141:0.25000000 $
124  109:0.16666667 110:0.12500000 116:0.50000000 122:0.25000000 123:0.50000000 
     124:1.00000000 134:0.16666667 135:0.50000000 136:0.16666667 140:0.12500000 
     141:0.16666667 $
125  110:0.16666667 111:0.25000000 117:0.50000000 125:1.00000000 126:0.50000000 
     127:0.25000000 136:0.25000000 142:0.12500000 $
126  110:0.12500000 111:0.16666667 117:0.25000000 125:0.50000000 126:1.00000000 
     127:0.50000000 136:0.16666667 142:0.16666667 $
127  111:0.12500000 117:0.16666667 125:0.25000000 126:0.50000000 127:1.00000000 
     142:0.25000000 $
128  112:0.25000000 113:0.16666667 114:0.12500000 118:0.25000000 128:1.00000000 
     143:0.25000000 144:0.16666667 $
129  113:0.12500000 114:0.16666667 115:0.12500000 118:0.16666667 119:0.50000000 
     120:0.25000000 129:1.00000000 137:0.25000000 144:0.12500000 
     145:0.16666667 $
130  115:0.16666667 120:0.16666667 121:0.25000000 130:1.00000000 131:0.50000000 
     132:0.25000000 137:0.16666667 138:0.16666667 145:0.12500000 146:0.25000000 
     147:0.12500000 $
131  115:0.12500000 121:0.50000000 130:0.50000000 131:1.00000000 132:0.50000000 
     133:0.25000000 138:0.25000000 146:0.16666667 147:0.16666667 $
132  121:0.25000000 130:0.25000000 131:0.50000000 132:1.00000000 133:0.50000000 
     138:0.50000000 139:0.16666667 146:0.12500000 147:0.25000000 $
133  121:0.16666667 122:0.16666667 131:0.25000000 132:0.50000000 133:1.00000000 
     134:0.25000000 138:0.25000000 139:0.25000000 140:0.16666667 
     147:0.16666667 $
134  116:0.12500000 122:0.50000000 123:0.25000000 124:0.16666667 133:0.25000000 
     134:1.00000000 135:0.25000000 139:0.25000000 140:0.50000000 141:0.25000000 
     148:0.16666667 149:0.12500000 $
135  116:0.25000000 122:0.16666667 123:0.25000000 124:0.50000000 134:0.25000000 
     135:1.00000000 136:0.25000000 140:0.16666667 141:0.25000000 148:0.16666667 
     149:0.25000000 $
136  116:0.12500000 117:0.16666667 124:0.16666667 125:0.25000000 126:0.16666667 
     135:0.25000000 136:1.00000000 149:0.12500000 $
137  119:0.16666667 120:0.25000000 129:0.25000000 130:0.16666667 137:1.00000000 
     145:0.50000000 146:0.16666667 $
138  121:0.16666667 130:0.16666667 131:0.25000000 132:0.50000000 133:0.25000000 
     138:1.00000000 139:0.25000000 146:0.16666667 147:0.50000000 $
139  122:0.16666667 123:0.12500000 132:0.16666667 133:0.25000000 134:0.25000000 
     138:0.25000000 139:1.00000000 140:0.50000000 141:0.25000000 147:0.16666667 
     148:0.16666667 $
140  122:0.25000000 123:0.16666667 124:0.12500000 133:0.16666667 134:0.50000000 
     135:0.16666667 139:0.50000000 140:1.00000000 141:0.50000000 148:0.25000000 
     149:0.16666667 $
141  122:0.16666667 123:0.25000000 124:0.16666667 134:0.25000000 135:0.25000000 
     139:0.25000000 140:0.50000000 141:1.00000000 148:0.50000000 
     149:0.25000000 $
142  125:0.12500000 126:0.16666667 127:0.25000000 142:1.00000000 $
143  128:0.25000000 143:1.00000000 144:0.50000000 $
144  128:0.16666667 129:0.12500000 143:0.50000000 144:1.00000000 $
145  129:0.16666667 130:0.12500000 137:0.50000000 145:1.00000000 
     146:0.25000000 $
146  130:0.25000000 131:0.16666667 132:0.12500000 137:0.16666667 138:0.16666667 
     145:0.25000000 146:1.00000000 147:0.25000000 $
147  130:0.12500000 131:0.16666667 132:0.25000000 133:0.16666667 138:0.50000000 
     139:0.16666667 146:0.25000000 147:1.00000000 $
148  134:0.16666667 135:0.16666667 139:0.16666667 140:0.25000000 141:0.50000000 
     148:1.00000000 149:0.50000000 $
149  134:0.12500000 135:0.25000000 136:0.12500000 140:0.16666667 141:0.25000000 
     148:0.50000000 149:1.00000000 $
)