File: id720.z

package info (click to toggle)
gap4-gdat 4.2-2
  • links: PTS
  • area: non-free
  • in suites: woody
  • size: 78,948 kB
  • ctags: 10,624
  • sloc: ansic: 25,214; fortran: 12,279; ada: 6,377; asm: 4,623; cpp: 2,332; lisp: 910; cs: 503; ruby: 466; yacc: 284; tcl: 167; makefile: 51
file content (451 lines) | stat: -rw-r--r-- 16,850 bytes parent folder | download
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
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
#############################################################################
##
#W  id720.z                GAP library of id's             Hans Ulrich Besche
##
Revision.id720_z :=
    "@(#)$Id: id720.z,v 1.2 2000/01/23 13:51:38 gap Exp $";

ID_GROUP_TREE.next[720]:=
rec(
  fp:= [ 182, 720, 870, 3770, 3822, 4833, 8438, 8443, 8944, 9159, 9206, 9303, 
9406, 10595, 11602, 11799, 12088, 12148, 12264, 13126, 14356, 14989, 15359, 
16055, 16369, 16623, 17750, 18433, 20640, 20698, 21104, 21588, 22723, 22773, 
23708, 23882, 25982, 26698, 26705, 28437, 29446, 30469, 31478, 31964, 33023, 
33193, 34758, 35710, 36222, 36598, 37403, 38544, 39504, 39788, 41193, 41498, 
42106, 42180, 43249, 44504, 45029, 45771, 45817, 46107, 46498, 46793, 47912, 
48064, 48488, 50075, 50777, 51027, 51183, 51282, 51399, 51648, 54099, 54639, 
55254, 57183, 57411, 57932, 57954, 58412, 59111, 60678, 61787, 62558, 64738, 
65193, 65302, 67482, 68501, 68683, 69270, 69473, 69864, 70649, 71144, 72380, 
72510, 74205, 74336, 75544, 76275, 77997, 78419, 79601, 81046, 83195, 84104, 
84404, 84848, 84887, 85004, 85057, 86059, 88861, 89349, 90651, 90771, 91111, 
91293, 91631, 91804, 91854, 92905, 93411, 93640, 94203, 96002, 96283, 96504, 
98670, 99442 ],
  next:= [ rec(
    fp:= [ 37833, 63826 ],
    level:= 4,
    next:= [ 113, 40 ] ), 409, 152, rec(
    fp:= [ 58856, 90550 ],
    level:= 4,
    next:= [ 837, 828 ] ), rec(
    fp:= [ 12355, 80322 ],
    level:= 4,
    next:= [ 797, 820 ] ), rec(
    fp:= [ 9207, 93608 ],
    next:= [ rec(
      fp:= [ 7446, 29790, 33260, 47041, 56780, 66922, 73189, 74605, 76361 ],
      next:= [ 98, 119, 71, 67, 16, 97, 9, 10, 123 ] ), rec(
      fp:= [ 13399, 20946, 30409, 33955, 44613, 45586, 54109, 56411, 67022, 
82404, 90012 ],
      next:= [ 75, 29, 101, 100, 80, 124, 30, 121, rec(
        desc:= [ 104003 ],
        fp:= [ 2, 12 ],
        next:= [ rec(
          desc:= [ 105003 ],
          fp:= [ 2, 12 ],
          next:= [ 26, 27 ] ), 28 ] ), rec(
        desc:= [ 104003 ],
        fp:= [ 2, 12 ],
        next:= [ 73, 74 ] ), 31 ] ) ] ), rec(
    fp:= [ 23188, 27481 ],
    level:= 4,
    next:= [ 105, 106 ] ), rec(
    fp:= [ 31039, 98090 ],
    level:= 4,
    next:= [ 153, 154 ] ), rec(
    fp:= [ 33101, 58167 ],
    level:= 4,
    next:= [ 54, 50 ] ), 840, rec(
    fp:= [ 10142, 12682, 15421, 17853, 19365, 22129, 34071, 41744, 48685, 
54781, 72275, 72576, 76359, 77364, 90467, 93081, 93231, 93693, 94858 ],
    level:= 4,
    next:= [ 65, 23, 17, 79, 20, 18, 21, 78, 77, 12, 13, 76, 69, 14, 24, 68, 
22, 19, 11 ] ), rec(
    fp:= [ 2321, 3871, 33194, 44392, 62022, 73154, 84913 ],
    level:= 4,
    next:= [ 47, 37, 44, 35, 45, 46, 36 ] ), rec(
    fp:= [ 21083, 24468, 35942, 48915, 78981, 80909 ],
    level:= 4,
    next:= [ 424, 423, 193, 194, 191, 93 ] ), rec(
    fp:= [ 6444, 60217 ],
    level:= 4,
    next:= [ 393, 110 ] ),, 406, 1, rec(
    fp:= [ 13752, 52904 ],
    level:= 4,
    next:= [ 539, 538 ] ), rec(
    fp:= [ 53244, 95190 ],
    level:= 4,
    next:= [ 533, 532 ] ), rec(
    fp:= [ 732, 28369, 32426, 37005, 55484 ],
    level:= 4,
    next:= [ 813, 839, 832, 831, 829 ] ), 528, rec(
    fp:= [ 3624, 23284, 27679, 31597, 51257, 55652, 75312, 79230 ],
    level:= 4,
    next:= [ 722, 728, 719, 726, 723, 725, 724, 721 ] ), 405, 768, 833, 
90, rec(
    fp:= [ 35210, 48425 ],
    level:= 4,
    next:= [ 838, 830 ] ), rec(
    fp:= [ 95198, 98090 ],
    level:= 4,
    next:= [ 531, 787 ] ), rec(
    fp:= [ 2450, 91804, 97357 ],
    level:= 4,
    next:= [ 92, 422, 192 ] ), rec(
    fp:= [ 16590, 75007, 77899 ],
    level:= 4,
    next:= [ 710, 717, 822 ] ), 408, rec(
    fp:= [ 17748, 41932, 93225 ],
    level:= 4,
    next:= [ 389, 388, 390 ] ), rec(
    fp:= [ 62, 122, 125 ],
    next:= [ rec(
      fp:= [ 72683, 79578 ],
      next:= [ 411, 410 ] ), 420, 421 ] ), rec(
    fp:= [ 62, 122 ],
    next:= [ 412, 419 ] ), rec(
    fp:= [ 66478, 73907 ],
    level:= 4,
    next:= [ 541, 542 ] ), rec(
    fp:= [ 13690, 26715, 36850, 48026, 61197, 66535, 75373, 84296, 87360, 
88398 ],
    level:= 4,
    next:= [ 483, 482, 781, 782, 477, 780, 478, 481, 475, 476 ] ), rec(
    fp:= [ 37228, 56202 ],
    level:= 4,
    next:= [ 91, 190 ] ), rec(
    fp:= [ 62, 125 ],
    next:= [ 769, 772 ] ), rec(
    fp:= [ 2974, 5866 ],
    level:= 4,
    next:= [ 540, 789 ] ), rec(
    fp:= [ 32862, 76472 ],
    level:= 4,
    next:= [ 808, 811 ] ), rec(
    fp:= [ 29198, 37982, 55772, 87437 ],
    level:= 4,
    next:= [ 471, 469, 779, 470 ] ), 4, rec(
    fp:= [ 3624, 47339 ],
    level:= 4,
    next:= [ 720, 727 ] ), 759, rec(
    fp:= [ 42618, 93659 ],
    level:= 4,
    next:= [ 102, 103 ] ), rec(
    fp:= [ 78014, 81504 ],
    level:= 4,
    next:= [ 527, 526 ] ), rec(
    fp:= [ 72415, 72425 ],
    next:= [ rec(
      fp:= [ 10220, 29880 ],
      next:= [ 385, 384 ] ), 387 ] ), rec(
    fp:= [ 33626, 75663 ],
    level:= 4,
    next:= [ 792, 816 ] ), rec(
    fp:= [ 33955, 56411, 67022, 82404 ],
    level:= 4,
    next:= [ 99, 120, 25, 72 ] ), rec(
    fp:= [ 5388, 10204, 10342, 25754, 54298, 89637, 98392 ],
    level:= 4,
    next:= [ 316, 307, 315, 314, 305, 317, 306 ] ), rec(
    fp:= [ 1226, 2715, 42896, 55883 ],
    level:= 4,
    next:= [ 547, 551, 308, 303 ] ), rec(
    fp:= [ 49808, 69881, 73933 ],
    level:= 4,
    next:= [ 399, 391, 404 ] ), rec(
    fp:= [ 29166, 31749, 82960, 97797 ],
    level:= 4,
    next:= [ 38, 33, 111, 115 ] ), rec(
    fp:= [ 6577, 96238 ],
    next:= [ rec(
      fp:= [ 1226, 2715, 42896, 55883 ],
      next:= [ 548, 552, 309, 304 ] ), rec(
      fp:= [ 3806, 16590, 75007, 77899, 96822 ],
      next:= [ rec(
        desc:= [ 104003 ],
        fp:= [ 2, 12 ],
        next:= [ 311, 312 ] ), 313, 318, 553, 550 ] ) ] ), rec(
    fp:= [ 12548, 16759, 19455, 22162, 22774, 26337, 33097, 33194, 40631, 
46259, 50630, 51739, 52946, 53446, 53696, 57551, 59254, 65059, 69851, 71769, 
74710, 76067, 76764, 77871, 92781, 94890, 98218 ],
    level:= 4,
    next:= [ 487, 490, 783, 626, 491, 680, 750, 803, 805, 633, 697, 824, 678, 
489, 700, 827, 826, 807, 675, 757, 488, 671, 804, 635, 694, 630, 806 ] ), rec(
    fp:= [ 15978, 17983, 45632, 63703, 67570, 67820, 70462, 91638 ],
    level:= 4,
    next:= [ 608, 599, 730, 603, 737, 606, 823, 802 ] ), rec(
    fp:= [ 10976, 12286, 22800, 24517, 26718, 32862, 35031, 36748, 38542, 
39799, 50773, 56408, 62597, 66515, 68639, 74828, 80056, 82664, 90570, 92287, 
98406 ],
    level:= 4,
    next:= [ 650, 744, 653, 742, 651, 748, 648, 746, 654, 656, rec(
      fp:= [ 3755, 43463 ],
      next:= [ 645, 647 ] ), 743, 658, 644, 741, 646, 739, rec(
      fp:= [ 11011, 90616 ],
      next:= [ 657, 660 ] ), 643, 745, 659 ] ), rec(
    fp:= [ 7747, 22689, 30662, 38224, 59621 ],
    level:= 4,
    next:= [ 809, 810, 812, 785, 784 ] ), rec(
    fp:= [ 78034, 84941 ],
    level:= 4,
    next:= [ 529, 530 ] ), rec(
    fp:= [ 53005, 87192 ],
    level:= 4,
    next:= [ 166, 173 ] ), rec(
    fp:= [ 32425, 74337, 90174 ],
    level:= 4,
    next:= [ 188, 187, 186 ] ), rec(
    fp:= [ 7199, 91600 ],
    next:= [ rec(
      fp:= [ 4243, 7104, 7930, 8970, 13967, 16441, 19432, 23512, 35415, 
42948, 45287, 51051, 55673, 57163, 60954, 62578, 69620, 74515, 77074, 79446, 
80549, 90118, 90535, 91400, 94801, 97263 ],
      next:= [ 368, 265, 580, 264, 224, 562, 466, 266, 459, 438, 458, 465, 
452, 583, 576, 451, 566, 445, 373, 437, 444, 225, 289, 223, 288, 587 ] ), rec(
      fp:= [ 5131, 5246, 11891, 13313, 23842, 26337, 33097, 33194, 40631, 
41311, 46259, 50630, 51739, 52946, 53696, 57551, 59040, 59254, 63330, 65059, 
69851, 69915, 71769, 76764, 77871, 87384, 87693, 94890, 97702, 98218 ],
      next:= [ rec(
        desc:= [ 105003 ],
        fp:= [ 2, 12 ],
        next:= [ rec(
          desc:= [ 106003 ],
          fp:= [ 2, 12 ],
          next:= [ 284, 283 ] ), 285 ] ), 564, rec(
        desc:= [ 104003 ],
        fp:= [ 2, 12 ],
        next:= [ 375, 376 ] ), 441, rec(
        desc:= [ 104003 ],
        fp:= [ 2, 12 ],
        next:= [ rec(
          desc:= [ 105003 ],
          fp:= [ 2, 12 ],
          next:= [ 243, 244 ] ), 242 ] ), 282, 377, 433, 447, 434, 240, 298, 
567, 281, 299, 581, 578, 588, 585, 454, 280, rec(
        desc:= [ 105003 ],
        fp:= [ 2, 12 ],
        next:= [ 300, 301 ] ), 382, 440, 241, 448, 455, 239, 462, 
461 ] ) ] ), rec(
    fp:= [ 1368, 7058, 15242, 24517, 38542, 50773 ],
    level:= 4,
    next:= [ 825, 655, 747, 740, 652, 649 ] ), rec(
    fp:= [ 9627, 99288 ],
    next:= [ rec(
      fp:= [ 58274, 98204 ],
      next:= [ 325, 320 ] ), rec(
      fp:= [ 3624, 27679, 47339 ],
      next:= [ 329, rec(
        desc:= [ 105003 ],
        fp:= [ 2, 12 ],
        next:= [ 327, 328 ] ), 334 ] ) ] ), rec(
    fp:= [ 6722, 57339 ],
    level:= 4,
    next:= [ 416, 413 ] ), rec(
    fp:= [ 3806, 96822 ],
    level:= 4,
    next:= [ 310, 549 ] ), 326, rec(
    fp:= [ 30408, 43291, 80100 ],
    level:= 4,
    next:= [ 400, 163, 156 ] ), rec(
    fp:= [ 29107, 32597, 53291, 56781, 79384, 82874, 86364 ],
    level:= 4,
    next:= [ 332, 333, 330, 331, 322, 321, 323 ] ), 543, rec(
    fp:= [ 26145, 66317 ],
    level:= 4,
    next:= [ 108, 109 ] ), rec(
    fp:= [ 59379, 90527 ],
    level:= 4,
    next:= [ 3, 6 ] ), rec(
    fp:= [ 1347, 15385, 18164, 18875, 21171, 28534, 29198, 32024, 59586, 
65781, 78886, 78930, 86913, 92079 ],
    level:= 4,
    next:= [ 254, 252, 249, 255, 363, 250, 365, 253, 251, 355, 362, 353, 364, 
354 ] ), rec(
    fp:= [ 59072, 79102 ],
    level:= 4,
    next:= [ 788, 537 ] ), rec(
    fp:= [ 37924, 71035 ],
    level:= 4,
    next:= [ 407, 402 ] ), rec(
    fp:= [ 15674, 75425 ],
    level:= 4,
    next:= [ 5, 2 ] ), rec(
    fp:= [ 28266, 35832, 45246, 45439, 53005, 60571, 70178, 77744 ],
    level:= 4,
    next:= [ 169, 170, 174, 167, 168, 165, 172, 171 ] ), rec(
    fp:= [ 21449, 51946 ],
    level:= 4,
    next:= [ 392, 107 ] ), rec(
    fp:= [ 4243, 7104, 7930, 8970, 13967, 15061, 16441, 19432, 23512, 35415, 
42948, 45287, 47336, 51051, 55673, 57163, 60954, 62578, 65929, 67967, 69620, 
74515, 77074, 79446, 80549, 90118, 90535, 91400, 94801, 97263 ],
    level:= 4,
    next:= [ 367, 262, 579, 261, 221, 800, 561, 464, 263, 457, 436, 456, 777, 
463, 450, 582, 575, 449, 801, 778, 565, 443, 372, 435, 442, 222, 287, 220, 
286, 586 ] ), rec(
    fp:= [ 58274, 98204 ],
    level:= 4,
    next:= [ 324, 319 ] ), 32, rec(
    fp:= [ 50919, 59101, 73928, 80573 ],
    level:= 4,
    next:= [ 213, 425, 556, 342 ] ), rec(
    fp:= [ 27323, 55529, 98778 ],
    level:= 4,
    next:= [ 87, 88, 86 ] ), rec(
    fp:= [ 546, 99198 ],
    next:= [ 85, rec(
      fp:= [ 32425, 74337 ],
      next:= [ 82, 83 ] ) ] ), rec(
    fp:= [ 17807, 79665 ],
    level:= 4,
    next:= [ 394, 397 ] ), rec(
    fp:= [ 5131, 5246, 11891, 13313, 23842, 41311, 59040, 63330, 69915, 
87384, 87693, 88713, 97702 ],
    level:= 4,
    next:= [ 279, 563, 374, 439, 238, 432, 577, 584, 297, 446, 453, 773, 
460 ] ), rec(
    fp:= [ 3442, 10576, 10691, 12540, 17983, 21421, 23102, 23426, 28762, 
31627, 34205, 43951, 45632, 47481, 49394, 50919, 52428, 52678, 56735, 60173, 
62178, 68162, 73449, 78892, 80573, 86233, 87822, 88146, 89671, 91676, 95114 ],
    level:= 4,
    next:= [ 735, 609, 731, 598, 596, 607, 734, 597, 610, 614, 613, 594, 732, 
589, 593, 612, 738, 611, 601, 615, 602, 736, 595, 592, 729, 591, 733, 600, 
604, 590, 605 ] ), rec(
    fp:= [ 34711, 35374, 43379, 50571 ],
    level:= 4,
    next:= [ 417, 415, 418, 414 ] ), 818, 814, rec(
    fp:= [ 27544, 62597, 80056 ],
    level:= 4,
    next:= [ 570, 256, 358 ] ), rec(
    fp:= [ 63828, 97728 ],
    next:= [ rec(
      fp:= [ 53005, 60571, 87192 ],
      next:= [ 59, rec(
        desc:= [ 104003 ],
        fp:= [ 2, 12 ],
        next:= [ 57, 58 ] ), 64 ] ), rec(
      fp:= [ 33101, 58167 ],
      next:= [ 55, 51 ] ) ] ), rec(
    fp:= [ 95198, 98090 ],
    level:= 4,
    next:= [ 546, 790 ] ), 302, rec(
    fp:= [ 69086, 80056 ],
    level:= 4,
    next:= [ 791, 815 ] ), rec(
    fp:= [ 62546, 65429, 74273, 95739 ],
    level:= 4,
    next:= [ 786, 821, 798, 834 ] ), 104, 84, rec(
    fp:= [ 68232, 76472, 92287 ],
    level:= 4,
    next:= [ 467, 484, 468 ] ), rec(
    fp:= [ 11, 21 ],
    next:= [ rec(
      fp:= [ 21502, 82543, 84110 ],
      next:= [ 764, 765, 763 ] ), 766 ] ), rec(
    fp:= [ 8253, 16826 ],
    level:= 4,
    next:= [ 544, 545 ] ), 185, 396, rec(
    fp:= [ 7446, 29790, 33260, 47041, 56780, 66922, 73189, 74605, 76361 ],
    level:= 4,
    next:= [ 96, 118, 70, 66, 15, 95, 7, 8, 122 ] ), rec(
    fp:= [ 63818, 97718 ],
    next:= [ rec(
      fp:= [ 1368, 7058, 15242, 24517, 27544, 38542, 62597, 80056 ],
      next:= [ 574, 258, 366, 361, 571, 257, rec(
        desc:= [ 105003 ],
        fp:= [ 4, 212 ],
        next:= [ 260, 259 ] ), rec(
        desc:= [ 104003 ],
        fp:= [ 2, 12 ],
        next:= [ 359, 360 ] ) ] ), rec(
      fp:= [ 25906, 36994, 68736, 74131, 86265, 88865 ],
      next:= [ 569, 357, 247, 352, 573, 248 ] ) ] ), 706, 94, rec(
    fp:= [ 1740, 2474, 3471, 4199, 4737, 6841, 10444, 13292, 18557, 18571, 
23345, 29770, 30179, 40971, 46156, 47878, 48787, 53063, 55713, 57489, 59970, 
68738, 70838, 75575, 78933, 82917, 84295, 87894, 88488, 89222, 89824, 90107, 
94345, 95733, 97208, 97541, 98557, 99610 ],
    level:= 4,
    next:= [ 371, 272, 270, 226, 269, 233, 235, 231, 278, 229, 274, 379, 234, 
293, 296, 290, 237, 294, 271, 378, 291, 267, 381, 370, 232, 295, 273, 228, 
369, 268, 292, 276, 227, 230, 277, 236, 380, 275 ] ), 403, 386, rec(
    fp:= [ 7209, 13399, 20946, 30409, 44613, 45586, 54109, 90012 ],
    level:= 4,
    next:= [ 135, 176, 140, 395, 183, 401, 142, 144 ] ), 383, rec(
    fp:= [ 11, 21 ],
    next:= [ 767, rec(
      fp:= [ 11431, 99060 ],
      next:= [ 771, 770 ] ) ] ), rec(
    fp:= [ 3926, 12018, 30662, 34821, 42978, 46009, 60893, 80178, 99541 ],
    level:= 4,
    next:= [ 775, 774, rec(
      desc:= [ 105003 ],
      fp:= [ 2, 12 ],
      next:= [ 485, 486 ] ), 474, 776, 473, 479, 480, 472 ] ), rec(
    fp:= [ 8692, 21636, 28001, 34366, 45917, 54711, 91936 ],
    level:= 4,
    next:= [ 62, 49, 52, 53, 60, 63, 61 ] ), 819, rec(
    fp:= [ 9532, 51007, 55226, 63826, 67281, 80100, 92919, 96374 ],
    level:= 4,
    next:= [ 162, 160, 164, 155, 159, 158, 161, 157 ] ), rec(
    fp:= [ 6166, 25906, 36994, 68736, 74131, 86265, 88865 ],
    level:= 4,
    next:= [ 799, 568, 356, 245, 351, 572, 246 ] ), 81, 534, 398, rec(
    fp:= [ 18, 2855, 6220, 7209, 7771, 11563, 13399, 14400, 18754, 19027, 
19129, 23075, 26320, 30674, 35988, 43293, 44055, 49683, 53705, 59735, 67022, 
71404, 72332, 76776, 78534, 82404, 83405, 87759, 94950, 95325 ],
    level:= 4,
    next:= [ 130, 128, 147, 132, 179, rec(
      fp:= [ 87523, 99022 ],
      next:= [ 145, 138 ] ), 178, 127, 136, 181, 131, 151, 134, 137, 146, 
150, 177, 182, 143, 149, 139, 148, 184, 180, 141, 175, 125, 133, 126, 
129 ] ), rec(
    fp:= [ 1779, 6706, 8088, 13015, 15448, 17942, 20236, 27215, 29594, 30860, 
34122, 34382, 35648, 36501, 41289, 45873, 47581, 50800, 54488 ],
    level:= 4,
    next:= [ 211, 207, 339, 337, 210, 338, 205, 349, 212, 204, 348, 208, 201, 
209, 203, 206, 347, 202, 346 ] ), 835, rec(
    fp:= [ 23332, 95274 ],
    level:= 4,
    next:= [ 536, 535 ] ), rec(
    fp:= [ 28475, 64761 ],
    level:= 4,
    next:= [ 707, 708 ] ), rec(
    fp:= [ 1650, 35550 ],
    next:= [ rec(
      fp:= [ 15978, 45632, 50919, 59101, 63703, 67570, 67820, 70462, 73928, 
80573, 91638 ],
      next:= [ 216, 345, rec(
        desc:= [ 113007 ],
        fp:= [ 16, 1214 ],
        next:= [ rec(
          desc:= [ 105003 ],
          fp:= [ 2, 12 ],
          next:= [ 218, 219 ] ), 217 ] ), 427, 214, 350, 215, 560, 557, rec(
        desc:= [ 105003 ],
        fp:= [ 2, 12 ],
        next:= [ 343, 344 ] ), 426 ] ), rec(
      fp:= [ 6417, 19583, 24319, 28329, 42973, 46813, 60579, 65989, 77705 ],
      next:= [ 198, 559, 555, 431, 336, 430, 199, 341, 200 ] ) ] ), 836, rec(
    fp:= [ 10220, 29880, 49540 ],
    level:= 4,
    next:= [ 761, 762, 760 ] ), rec(
    fp:= [ 6417, 19583, 24319, 28329, 42973, 46813, 60579, 65989, 77705 ],
    level:= 4,
    next:= [ 195, 558, 554, 429, 335, 428, 196, 340, 197 ] ), rec(
    fp:= [ 2761, 28924, 53477, 56295, 69462 ],
    level:= 4,
    next:= [ 796, 793, 794, 817, 795 ] ), 56, rec(
    fp:= [ 14135, 39334 ],
    level:= 4,
    next:= [ 89, 189 ] ), rec(
    fp:= [ 368, 3806, 13152, 16590, 17763, 20028, 29374, 32812 ],
    level:= 4,
    next:= [ 715, 709, 716, 712, 718, 714, 711, 713 ] ), rec(
    fp:= [ 11311, 23701 ],
    next:= [ rec(
      fp:= [ 30408, 37833, 43291, 63826, 80100 ],
      next:= [ 117, 114, 48, rec(
        desc:= [ 104003 ],
        fp:= [ 2, 12 ],
        next:= [ 41, 42 ] ), 43 ] ), rec(
      fp:= [ 29166, 31749, 82960, 97797 ],
      next:= [ 39, 34, 112, 116 ] ) ] ) ] );