This file is indexed.

/usr/share/gap/pkg/ctbllib/dlnames/uctypeC.g is in gap-character-tables 1r2p2.dfsg.0-3.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  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
#############################################################################
##
#W  uctypeC.g            GAP 4 package CTblLib          Michael Claßen-Houben
##
#Y  Copyright (C)  2005,   Lehrstuhl D für Mathematik,  RWTH Aachen,  Germany
##
##  This file contains Deligne-Lusztig names of $C$ type groups.
##

Append( DeltigLibUnipotentCharacters, [
  rec( isoc := "C", l := 2, q := 2, isot := [ "ad", "sc", "simple" ],
      identifier := "A6.2_1",
      labeling := [ rec( label := [ [ 1, 2 ], [ 0 ] ], index := 3 ),
          rec( label := [ [ 0, 2 ], [ 1 ] ], index := 8 ),
          rec( label := [ [ 0, 1, 2 ], [ 1, 2 ] ], index := 7 ),
          rec( label := [ [ 2 ], [  ] ], index := 1 ),
          rec( label := [ [ 0, 1 ], [ 2 ] ], index := 5 ),
          rec( label := [ [ 0, 1, 2 ], [  ] ], index := 2 ) ] ),
  rec( isoc := "C", l := 2, q := 3, isot := [ "ad" ],
      identifier := "U4(2).2",
      labeling := [ rec( label := [ [ 1, 2 ], [ 0 ] ], index := 8 ),
          rec( label := [ [ 0, 2 ], [ 1 ] ], index := 13 ),
          rec( label := [ [ 0, 1, 2 ], [ 1, 2 ] ], index := 25 ),
          rec( label := [ [ 2 ], [  ] ], index := 1 ),
          rec( label := [ [ 0, 1 ], [ 2 ] ], index := 9 ),
          rec( label := [ [ 0, 1, 2 ], [  ] ], index := 5 ) ] ),
  rec( identifier := "2.U4(2)", isoc := "C", isot := [ "sc" ], l := 2,
      q := 3, labelingfrom := "U4(2)" ),
  rec( identifier := "U4(2)", isoc := "C", isot := [ "simple" ], l := 2,
      q := 3, labelingfrom := "U4(2).2" ),
  rec( isoc := "C", l := 2, q := 4, isot := [ "ad", "sc", "simple" ],
      identifier := "S4(4)",
      labeling := [ rec( label := [ [ 1, 2 ], [ 0 ] ], index := 3 ),
          rec( label := [ [ 0, 2 ], [ 1 ] ], index := 5 ),
          rec( label := [ [ 0, 1, 2 ], [ 1, 2 ] ], index := 25 ),
          rec( label := [ [ 2 ], [  ] ], index := 1 ),
          rec( label := [ [ 0, 1 ], [ 2 ] ], index := 4 ),
          rec( label := [ [ 0, 1, 2 ], [  ] ], index := 2 ) ] ),
  rec( isoc := "C", l := 2, q := 5, isot := [ "ad" ],
      identifier := "S4(5).2",
      labeling := [ rec( label := [ [ 1, 2 ], [ 0 ] ], index := 9 ),
          rec( label := [ [ 0, 2 ], [ 1 ] ], index := 11 ),
          rec( label := [ [ 0, 1, 2 ], [ 1, 2 ] ], index := 45 ),
          rec( label := [ [ 2 ], [  ] ], index := 1 ),
          rec( label := [ [ 0, 1 ], [ 2 ] ], index := 6 ),
          rec( label := [ [ 0, 1, 2 ], [  ] ], index := 5 ) ] ),
  rec( identifier := "2.S4(5)", isoc := "C", isot := [ "sc" ], l := 2,
      q := 5, labelingfrom := "S4(5)" ),
  rec( identifier := "S4(5)", isoc := "C", isot := [ "simple" ], l := 2,
      q := 5, labelingfrom := "S4(5).2" ),
  rec( isoc := "C", l := 2, q := 7, isot := [ "ad" ],
      identifier := "S4(7).2",
      labeling := [ rec( label := [ [ 1, 2 ], [ 0 ] ], index := 7 ),
          rec( label := [ [ 0, 2 ], [ 1 ] ], index := 12 ),
          rec( label := [ [ 0, 1, 2 ], [ 1, 2 ] ], index := 71 ),
          rec( label := [ [ 2 ], [  ] ], index := 1 ),
          rec( label := [ [ 0, 1 ], [ 2 ] ], index := 10 ),
          rec( label := [ [ 0, 1, 2 ], [  ] ], index := 5 ) ] ),
  rec( identifier := "S4(7)", isoc := "C", isot := [ "simple" ], l := 2,
      q := 7, labelingfrom := "S4(7).2" ),
  rec( isoc := "C", l := 2, q := 8, isot := [ "ad", "sc", "simple" ],
      identifier := "S4(8)",
      labeling := [ rec( label := [ [ 1, 2 ], [ 0 ] ], index := 3 ),
          rec( label := [ [ 0, 2 ], [ 1 ] ], index := 5 ),
          rec( label := [ [ 0, 1, 2 ], [ 1, 2 ] ], index := 74 ),
          rec( label := [ [ 2 ], [  ] ], index := 1 ),
          rec( label := [ [ 0, 1 ], [ 2 ] ], index := 4 ),
          rec( label := [ [ 0, 1, 2 ], [  ] ], index := 2 ) ] ),
  rec( isoc := "C", l := 3, q := 2, isot := [ "ad", "sc", "simple" ],
      identifier := "S6(2)",
      labeling := [ rec( label := [ [ 1, 2, 3 ], [ 0, 1 ] ], index := 15 ),
          rec( label := [ [ 1, 2 ], [ 1 ] ], index := 16 ),
          rec( label := [ [ 0, 1, 3 ], [ 1, 2 ] ], index := 24 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 1, 2, 3 ] ], index := 30 ),
          rec( label := [ [ 1, 3 ], [ 0 ] ], index := 6 ),
          rec( label := [ [ 0, 2 ], [ 2 ] ], index := 11 ),
          rec( label := [ [ 0, 3 ], [ 1 ] ], index := 8 ),
          rec( label := [ [ 0, 1, 2 ], [ 1, 3 ] ], index := 22 ),
          rec( label := [ [ 3 ], [  ] ], index := 1 ),
          rec( label := [ [ 0, 1 ], [ 3 ] ], index := 3 ),
          rec( label := [ [ 0, 1, 3 ], [  ] ], index := 2 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 1 ] ], index := 9 ) ] ),
  rec( isoc := "C", l := 3, q := 3, isot := [ "ad" ],
      identifier := "S6(3).2",
      labeling := [ rec( label := [ [ 1, 2, 3 ], [ 0, 1 ] ], index := 34 ),
          rec( label := [ [ 1, 2 ], [ 1 ] ], index := 29 ),
          rec( label := [ [ 0, 1, 3 ], [ 1, 2 ] ], index := 40 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 1, 2, 3 ] ], index := 75 ),
          rec( label := [ [ 1, 3 ], [ 0 ] ], index := 9 ),
          rec( label := [ [ 0, 2 ], [ 2 ] ], index := 17 ),
          rec( label := [ [ 0, 3 ], [ 1 ] ], index := 11 ),
          rec( label := [ [ 0, 1, 2 ], [ 1, 3 ] ], index := 38 ),
          rec( label := [ [ 3 ], [  ] ], index := 1 ),
          rec( label := [ [ 0, 1 ], [ 3 ] ], index := 7 ),
          rec( label := [ [ 0, 1, 3 ], [  ] ], index := 5 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 1 ] ], index := 26 ) ] ),
  rec( identifier := "2.S6(3)", isoc := "C", isot := [ "sc" ], l := 3,
      q := 3, labelingfrom := "S6(3)" ),
  rec( identifier := "S6(3)", isoc := "C", isot := [ "simple" ], l := 3,
      q := 3, labelingfrom := "S6(3).2" ),
  rec( isoc := "C", l := 3, q := 4, isot := [ "ad", "sc", "simple" ],
      identifier := "S6(4)",
      labeling := [ rec( label := [ [ 1, 2, 3 ], [ 0, 1 ] ], index := 25 ),
          rec( label := [ [ 1, 2 ], [ 1 ] ], index := 17 ),
          rec( label := [ [ 0, 1, 3 ], [ 1, 2 ] ], index := 34 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 1, 2, 3 ] ], index := 103 ),
          rec( label := [ [ 1, 3 ], [ 0 ] ], index := 4 ),
          rec( label := [ [ 0, 2 ], [ 2 ] ], index := 11 ),
          rec( label := [ [ 0, 3 ], [ 1 ] ], index := 5 ),
          rec( label := [ [ 0, 1, 2 ], [ 1, 3 ] ], index := 30 ),
          rec( label := [ [ 3 ], [  ] ], index := 1 ),
          rec( label := [ [ 0, 1 ], [ 3 ] ], index := 3 ),
          rec( label := [ [ 0, 1, 3 ], [  ] ], index := 2 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 1 ] ], index := 19 ) ] ),
  rec( isoc := "C", l := 3, q := 5, isot := [ "simple" ],
      identifier := "S6(5)",
      labeling := [ rec( label := [ [ 1, 2, 3 ], [ 0, 1 ] ], index := 44 ),
          rec( label := [ [ 1, 2 ], [ 1 ] ], index := 31 ),
          rec( label := [ [ 0, 1, 3 ], [ 1, 2 ] ], index := 61 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 1, 2, 3 ] ], index := 169 ),
          rec( label := [ [ 1, 3 ], [ 0 ] ], index := 6 ),
          rec( label := [ [ 0, 2 ], [ 2 ] ], index := 16 ),
          rec( label := [ [ 0, 3 ], [ 1 ] ], index := 9 ),
          rec( label := [ [ 0, 1, 2 ], [ 1, 3 ] ], index := 58 ),
          rec( label := [ [ 3 ], [  ] ], index := 1 ),
          rec( label := [ [ 0, 1 ], [ 3 ] ], index := 5 ),
          rec( label := [ [ 0, 1, 3 ], [  ] ], index := 4 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 1 ] ], index := 41 ) ] ),
  rec( isoc := "C", l := 4, q := 2, isot := [ "ad", "sc", "simple" ],
      identifier := "S8(2)",
      labeling := [ rec( label := [ [ 1, 2, 3, 4 ], [ 0, 1, 2 ] ],
              index := 43 ),
          rec( label := [ [ 1, 2, 3 ], [ 0, 2 ] ], index := 47 ),
          rec( label := [ [ 0, 2, 3 ], [ 1, 2 ] ], index := 56 ),
          rec( label := [ [ 0, 1, 2, 4 ], [ 1, 2, 3 ] ], index := 69 ),
          rec( label := [ [ 0, 1, 2, 3, 4 ], [ 1, 2, 3, 4 ] ], index := 80
             ), rec( label := [ [ 1, 2, 4 ], [ 0, 1 ] ], index := 18 ),
          rec( label := [ [ 1, 2 ], [ 2 ] ], index := 31 ),
          rec( label := [ [ 1, 3 ], [ 1 ] ], index := 24 ),
          rec( label := [ [ 0, 1, 3 ], [ 1, 3 ] ], index := 44 ),
          rec( label := [ [ 0, 1, 4 ], [ 1, 2 ] ], index := 29 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 1, 2, 4 ] ], index := 63 ),
          rec( label := [ [ 2, 3 ], [ 0 ] ], index := 8 ),
          rec( label := [ [ 0, 3 ], [ 2 ] ], index := 12 ),
          rec( label := [ [ 0, 1, 2 ], [ 2, 3 ] ], index := 35 ),
          rec( label := [ [ 1, 4 ], [ 0 ] ], index := 5 ),
          rec( label := [ [ 0, 2 ], [ 3 ] ], index := 11 ),
          rec( label := [ [ 0, 4 ], [ 1 ] ], index := 6 ),
          rec( label := [ [ 0, 1, 2 ], [ 1, 4 ] ], index := 19 ),
          rec( label := [ [ 4 ], [  ] ], index := 1 ),
          rec( label := [ [ 0, 1 ], [ 4 ] ], index := 3 ),
          rec( label := [ [ 0, 2, 3 ], [  ] ], index := 7 ),
          rec( label := [ [ 0, 1, 2, 4 ], [ 1 ] ], index := 14 ),
          rec( label := [ [ 0, 1, 2, 3, 4 ], [ 1, 2 ] ], index := 38 ),
          rec( label := [ [ 0, 1, 4 ], [  ] ], index := 2 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 2 ] ], index := 28 ) ] ),
  rec( isoc := "C", l := 4, q := 3, isot := [ "simple" ],
      identifier := "S8(3)",
      labeling := [ rec( label := [ [ 1, 2, 3, 4 ], [ 0, 1, 2 ] ],
              index := 159 ),
          rec( label := [ [ 1, 2, 3 ], [ 0, 2 ] ], index := 124 ),
          rec( label := [ [ 0, 2, 3 ], [ 1, 2 ] ], index := 133 ),
          rec( label := [ [ 0, 1, 2, 4 ], [ 1, 2, 3 ] ], index := 187 ),
          rec( label := [ [ 0, 1, 2, 3, 4 ], [ 1, 2, 3, 4 ] ],
              index := 276 ),
          rec( label := [ [ 1, 2, 4 ], [ 0, 1 ] ], index := 48 ),
          rec( label := [ [ 1, 2 ], [ 2 ] ], index := 63 ),
          rec( label := [ [ 1, 3 ], [ 1 ] ], index := 39 ),
          rec( label := [ [ 0, 1, 3 ], [ 1, 3 ] ], index := 96 ),
          rec( label := [ [ 0, 1, 4 ], [ 1, 2 ] ], index := 52 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 1, 2, 4 ] ], index := 185 ),
          rec( label := [ [ 2, 3 ], [ 0 ] ], index := 17 ),
          rec( label := [ [ 0, 3 ], [ 2 ] ], index := 26 ),
          rec( label := [ [ 0, 1, 2 ], [ 2, 3 ] ], index := 105 ),
          rec( label := [ [ 1, 4 ], [ 0 ] ], index := 8 ),
          rec( label := [ [ 0, 2 ], [ 3 ] ], index := 24 ),
          rec( label := [ [ 0, 4 ], [ 1 ] ], index := 9 ),
          rec( label := [ [ 0, 1, 2 ], [ 1, 4 ] ], index := 49 ),
          rec( label := [ [ 4 ], [  ] ], index := 1 ),
          rec( label := [ [ 0, 1 ], [ 4 ] ], index := 7 ),
          rec( label := [ [ 0, 2, 3 ], [  ] ], index := 14 ),
          rec( label := [ [ 0, 1, 2, 4 ], [ 1 ] ], index := 45 ),
          rec( label := [ [ 0, 1, 2, 3, 4 ], [ 1, 2 ] ], index := 154 ),
          rec( label := [ [ 0, 1, 4 ], [  ] ], index := 4 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 2 ] ], index := 87 ) ] ),
  rec( isoc := "C", l := 5, q := 2, isot := [ "ad", "sc", "simple" ],
      identifier := "S10(2)",
      labeling := [ rec( label := [ [ 1, 2, 3, 4, 5 ], [ 0, 1, 2, 3 ] ],
              index := 123 ),
          rec( label := [ [ 1, 2, 3, 4 ], [ 0, 1, 3 ] ], index := 121 ),
          rec( label := [ [ 1, 2, 3 ], [ 1, 2 ] ], index := 120 ),
          rec( label := [ [ 0, 1, 3, 4 ], [ 1, 2, 3 ] ], index := 135 ),
          rec( label := [ [ 0, 1, 2, 3, 5 ], [ 1, 2, 3, 4 ] ],
              index := 171 ),
          rec( label := [ [ 0, 1, 2, 3, 4, 5 ], [ 1, 2, 3, 4, 5 ] ],
              index := 197 ),
          rec( label := [ [ 1, 2, 3, 5 ], [ 0, 1, 2 ] ], index := 66 ),
          rec( label := [ [ 1, 2, 3 ], [ 0, 3 ] ], index := 82 ),
          rec( label := [ [ 1, 2, 4 ], [ 0, 2 ] ], index := 67 ),
          rec( label := [ [ 0, 2, 3 ], [ 1, 3 ] ], index := 103 ),
          rec( label := [ [ 0, 2, 4 ], [ 1, 2 ] ], index := 71 ),
          rec( label := [ [ 0, 1, 2, 4 ], [ 1, 2, 4 ] ], index := 130 ),
          rec( label := [ [ 0, 1, 2, 5 ], [ 1, 2, 3 ] ], index := 85 ),
          rec( label := [ [ 0, 1, 2, 3, 4 ], [ 1, 2, 3, 5 ] ],
              index := 165 ),
          rec( label := [ [ 1, 3, 4 ], [ 0, 1 ] ], index := 36 ),
          rec( label := [ [ 1, 3 ], [ 2 ] ], index := 46 ),
          rec( label := [ [ 0, 1, 3 ], [ 2, 3 ] ], index := 83 ),
          rec( label := [ [ 2, 3 ], [ 1 ] ], index := 34 ),
          rec( label := [ [ 0, 1, 4 ], [ 1, 3 ] ], index := 51 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 1, 3, 4 ] ], index := 122 ),
          rec( label := [ [ 1, 2, 5 ], [ 0, 1 ] ], index := 22 ),
          rec( label := [ [ 1, 2 ], [ 3 ] ], index := 35 ),
          rec( label := [ [ 1, 4 ], [ 1 ] ], index := 23 ),
          rec( label := [ [ 0, 1, 3 ], [ 1, 4 ] ], index := 50 ),
          rec( label := [ [ 0, 1, 5 ], [ 1, 2 ] ], index := 25 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 1, 2, 5 ] ], index := 76 ),
          rec( label := [ [ 2, 4 ], [ 0 ] ], index := 8 ),
          rec( label := [ [ 0, 3 ], [ 3 ] ], index := 19 ),
          rec( label := [ [ 0, 4 ], [ 2 ] ], index := 11 ),
          rec( label := [ [ 0, 1, 2 ], [ 2, 4 ] ], index := 49 ),
          rec( label := [ [ 1, 5 ], [ 0 ] ], index := 5 ),
          rec( label := [ [ 0, 2 ], [ 4 ] ], index := 9 ),
          rec( label := [ [ 0, 5 ], [ 1 ] ], index := 6 ),
          rec( label := [ [ 0, 1, 2 ], [ 1, 5 ] ], index := 16 ),
          rec( label := [ [ 5 ], [  ] ], index := 1 ),
          rec( label := [ [ 0, 1 ], [ 5 ] ], index := 3 ),
          rec( label := [ [ 1, 2, 3 ], [  ] ], index := 20 ),
          rec( label := [ [ 0, 1, 3, 4 ], [ 1 ] ], index := 29 ),
          rec( label := [ [ 0, 1, 2, 3, 5 ], [ 1, 2 ] ], index := 56 ),
          rec( label := [ [ 0, 1, 2, 3, 4, 5 ], [ 1, 2, 3 ] ],
              index := 115 ),
          rec( label := [ [ 0, 2, 4 ], [  ] ], index := 7 ),
          rec( label := [ [ 0, 1, 2, 4 ], [ 2 ] ], index := 40 ),
          rec( label := [ [ 0, 1, 2, 5 ], [ 1 ] ], index := 15 ),
          rec( label := [ [ 0, 1, 2, 3, 4 ], [ 1, 3 ] ], index := 97 ),
          rec( label := [ [ 0, 1, 5 ], [  ] ], index := 2 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 3 ] ], index := 39 ) ] ),
  rec( isoc := "C", l := 6, q := 2, isot := [ "ad", "sc", "simple" ],
      identifier := "S12(2)",
      labeling := [ rec( label := [ [ 1, 2, 3, 4, 5, 6 ],
                  [ 0, 1, 2, 3, 4 ] ], index := 322 ),
          rec( label := [ [ 1, 2, 3, 4, 5 ], [ 0, 1, 2, 4 ] ],
              index := 313 ),
          rec( label := [ [ 1, 2, 3, 4 ], [ 0, 2, 3 ] ], index := 300 ),
          rec( label := [ [ 0, 2, 3, 4 ], [ 1, 2, 3 ] ], index := 307 ),
          rec( label := [ [ 0, 1, 2, 4, 5 ], [ 1, 2, 3, 4 ] ],
              index := 349 ),
          rec( label := [ [ 0, 1, 2, 3, 4, 6 ], [ 1, 2, 3, 4, 5 ] ],
              index := 419 ),
          rec( label := [ [ 0, 1, 2, 3, 4, 5, 6 ], [ 1, 2, 3, 4, 5, 6 ] ],
              index := 475 ),
          rec( label := [ [ 1, 2, 3, 4, 6 ], [ 0, 1, 2, 3 ] ],
              index := 194 ),
          rec( label := [ [ 1, 2, 3, 4 ], [ 0, 1, 4 ] ], index := 210 ),
          rec( label := [ [ 1, 2, 3, 5 ], [ 0, 1, 3 ] ], index := 186 ),
          rec( label := [ [ 1, 2, 3 ], [ 1, 3 ] ], index := 233 ),
          rec( label := [ [ 1, 2, 4 ], [ 1, 2 ] ], index := 183 ),
          rec( label := [ [ 0, 1, 3, 4 ], [ 1, 2, 4 ] ], index := 277 ),
          rec( label := [ [ 0, 1, 3, 5 ], [ 1, 2, 3 ] ], index := 202 ),
          rec( label := [ [ 0, 1, 2, 3, 5 ], [ 1, 2, 3, 5 ] ],
              index := 341 ),
          rec( label := [ [ 0, 1, 2, 3, 6 ], [ 1, 2, 3, 4 ] ],
              index := 240 ),
          rec( label := [ [ 0, 1, 2, 3, 4, 5 ], [ 1, 2, 3, 4, 6 ] ],
              index := 418 ),
          rec( label := [ [ 1, 2, 4, 5 ], [ 0, 1, 2 ] ], index := 125 ),
          rec( label := [ [ 1, 2, 4 ], [ 0, 3 ] ], index := 128 ),
          rec( label := [ [ 0, 2, 3 ], [ 2, 3 ] ], index := 173 ),
          rec( label := [ [ 1, 3, 4 ], [ 0, 2 ] ], index := 114 ),
          rec( label := [ [ 0, 2, 4 ], [ 1, 3 ] ], index := 146 ),
          rec( label := [ [ 0, 1, 2, 4 ], [ 1, 3, 4 ] ], index := 259 ),
          rec( label := [ [ 0, 3, 4 ], [ 1, 2 ] ], index := 108 ),
          rec( label := [ [ 0, 1, 2, 5 ], [ 1, 2, 4 ] ], index := 169 ),
          rec( label := [ [ 0, 1, 2, 3, 4 ], [ 1, 2, 4, 5 ] ],
              index := 335 ),
          rec( label := [ [ 2, 3, 4 ], [ 0, 1 ] ], index := 78 ),
          rec( label := [ [ 2, 3 ], [ 2 ] ], index := 76 ),
          rec( label := [ [ 0, 1, 4 ], [ 2, 3 ] ], index := 107 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 2, 3, 4 ] ], index := 231 ),
          rec( label := [ [ 1, 2, 3, 6 ], [ 0, 1, 2 ] ], index := 73 ),
          rec( label := [ [ 1, 2, 3 ], [ 0, 4 ] ], index := 100 ),
          rec( label := [ [ 1, 2, 5 ], [ 0, 2 ] ], index := 70 ),
          rec( label := [ [ 0, 2, 3 ], [ 1, 4 ] ], index := 129 ),
          rec( label := [ [ 0, 2, 5 ], [ 1, 2 ] ], index := 74 ),
          rec( label := [ [ 0, 1, 2, 4 ], [ 1, 2, 5 ] ], index := 165 ),
          rec( label := [ [ 0, 1, 2, 6 ], [ 1, 2, 3 ] ], index := 84 ),
          rec( label := [ [ 0, 1, 2, 3, 4 ], [ 1, 2, 3, 6 ] ],
              index := 228 ),
          rec( label := [ [ 1, 3, 5 ], [ 0, 1 ] ], index := 42 ),
          rec( label := [ [ 1, 3 ], [ 3 ] ], index := 61 ),
          rec( label := [ [ 1, 4 ], [ 2 ] ], index := 41 ),
          rec( label := [ [ 0, 1, 3 ], [ 2, 4 ] ], index := 115 ),
          rec( label := [ [ 2, 4 ], [ 1 ] ], index := 37 ),
          rec( label := [ [ 0, 1, 4 ], [ 1, 4 ] ], index := 85 ),
          rec( label := [ [ 0, 1, 5 ], [ 1, 3 ] ], index := 51 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 1, 3, 5 ] ], index := 176 ),
          rec( label := [ [ 3, 4 ], [ 0 ] ], index := 21 ),
          rec( label := [ [ 0, 4 ], [ 3 ] ], index := 27 ),
          rec( label := [ [ 0, 1, 2 ], [ 3, 4 ] ], index := 79 ),
          rec( label := [ [ 1, 2, 6 ], [ 0, 1 ] ], index := 20 ),
          rec( label := [ [ 1, 2 ], [ 4 ] ], index := 31 ),
          rec( label := [ [ 1, 5 ], [ 1 ] ], index := 22 ),
          rec( label := [ [ 0, 1, 3 ], [ 1, 5 ] ], index := 48 ),
          rec( label := [ [ 0, 1, 6 ], [ 1, 2 ] ], index := 24 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 1, 2, 6 ] ], index := 72 ),
          rec( label := [ [ 2, 5 ], [ 0 ] ], index := 9 ),
          rec( label := [ [ 0, 3 ], [ 4 ] ], index := 26 ),
          rec( label := [ [ 0, 5 ], [ 2 ] ], index := 11 ),
          rec( label := [ [ 0, 1, 2 ], [ 2, 5 ] ], index := 49 ),
          rec( label := [ [ 1, 6 ], [ 0 ] ], index := 5 ),
          rec( label := [ [ 0, 2 ], [ 5 ] ], index := 8 ),
          rec( label := [ [ 0, 6 ], [ 1 ] ], index := 6 ),
          rec( label := [ [ 0, 1, 2 ], [ 1, 6 ] ], index := 15 ),
          rec( label := [ [ 6 ], [  ] ], index := 1 ),
          rec( label := [ [ 0, 1 ], [ 6 ] ], index := 3 ),
          rec( label := [ [ 1, 2, 3, 4 ], [ 0 ] ], index := 56 ),
          rec( label := [ [ 0, 2, 3, 4 ], [ 1 ] ], index := 87 ),
          rec( label := [ [ 0, 1, 2, 4, 5 ], [ 1, 2 ] ], index := 113 ),
          rec( label := [ [ 0, 1, 2, 3, 4, 6 ], [ 1, 2, 3 ] ],
              index := 185 ),
          rec( label := [ [ 0, 1, 2, 3, 4, 5, 6 ], [ 1, 2, 3, 4 ] ],
              index := 315 ),
          rec( label := [ [ 1, 2, 4 ], [  ] ], index := 28 ),
          rec( label := [ [ 0, 1, 3, 4 ], [ 2 ] ], index := 90 ),
          rec( label := [ [ 0, 1, 3, 5 ], [ 1 ] ], index := 36 ),
          rec( label := [ [ 0, 1, 2, 3, 5 ], [ 1, 3 ] ], index := 156 ),
          rec( label := [ [ 0, 1, 2, 3, 6 ], [ 1, 2 ] ], index := 67 ),
          rec( label := [ [ 0, 1, 2, 3, 4, 5 ], [ 1, 2, 4 ] ],
              index := 289 ),
          rec( label := [ [ 0, 3, 4 ], [  ] ], index := 16 ),
          rec( label := [ [ 0, 1, 2, 5 ], [ 2 ] ], index := 45 ),
          rec( label := [ [ 0, 1, 2, 3, 4 ], [ 2, 3 ] ], index := 201 ),
          rec( label := [ [ 0, 2, 5 ], [  ] ], index := 7 ),
          rec( label := [ [ 0, 1, 2, 4 ], [ 3 ] ], index := 88 ),
          rec( label := [ [ 0, 1, 2, 6 ], [ 1 ] ], index := 14 ),
          rec( label := [ [ 0, 1, 2, 3, 4 ], [ 1, 4 ] ], index := 163 ),
          rec( label := [ [ 0, 1, 6 ], [  ] ], index := 2 ),
          rec( label := [ [ 0, 1, 2, 3 ], [ 4 ] ], index := 55 ),
          rec( label := [ [ 0, 1, 2, 3, 4 ], [  ] ], index := 29 ) ] ) 
    ] );


#############################################################################
##
#E