Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418346#############################################################################
##
#W id1008.z GAP library of id's Hans Ulrich Besche
##
ID_GROUP_TREE.next[1008]:=
rec(
fp:= [ 223, 978, 1028, 1505, 1643, 1663, 1765, 5234, 8028, 8654, 8769,
8838, 11712, 11738, 11788, 11865, 12999, 13615, 13645, 13745, 14973, 16081,
16333, 16887, 17269, 17426, 17436, 17644, 17726, 19107, 19434, 20808, 22215,
22299, 22300, 23192, 23329, 26864, 26918, 28201, 28406, 29249, 29750, 29823,
30037, 30059, 30327, 32374, 32708, 33034, 33819, 34045, 34132, 34668, 35218,
35350, 36594, 36823, 37798, 37799, 38319, 40864, 40877, 41173, 42926, 43435,
43873, 44706, 45013, 45730, 45944, 46334, 48200, 49839, 50634, 51572, 52822,
54115, 54299, 59897, 60374, 60976, 61401, 61980, 62217, 62472, 63105, 64134,
64295, 64670, 66837, 67198, 67354, 68144, 68249, 68449, 69475, 69707, 70564,
70620, 70945, 73060, 73454, 73605, 74376, 74834, 75073, 75585, 75833, 76434,
76590, 77070, 77213, 77484, 77680, 77993, 78184, 78594, 79460, 79773, 79802,
80765, 81724, 81769, 83628, 83904, 84194, 84799, 85105, 85772, 85941, 85961,
87037, 87469, 87520, 94355, 96211, 96645, 97359, 97631, 98726, 99634 ],
next:= [ rec(
fp:= [ 11313, 23703 ],
next:= [ rec(
fp:= [ 16005, 17980, 42330, 54575, 55973, 70642, 89767, 95990 ],
next:= [ 49, 22, 68, rec(
desc:= [ 104003 ],
fp:= [ 2, 12 ],
next:= [ 15, 16 ] ), 73, 17, rec(
desc:= [ 104003 ],
fp:= [ 2, 12 ],
next:= [ 66, 67 ] ), 50 ] ), rec(
fp:= [ 29649, 30833, 36562, 56900, 99283 ],
next:= [ 8, 52, 59, 13, 64 ] ) ] ), rec(
fp:= [ 79195, 79205 ],
next:= [ rec(
fp:= [ 15787, 87213 ],
next:= [ 492, 491 ] ), 494 ] ), rec(
fp:= [ 32564, 39386, 65715 ],
level:= 4,
next:= [ 121, 291, 557 ] ), 517, rec(
fp:= [ 39726, 52196 ],
level:= 4,
next:= [ 673, 674 ] ), 880, rec(
fp:= [ 33863, 35176, 36626, 43978, 46741, 53803, 72430 ],
level:= 4,
next:= [ 86, 74, 85, 88, 87, 77, 78 ] ), 498, rec(
fp:= [ 6579, 96240 ],
next:= [ rec(
fp:= [ 32210, 47360, 52082, 62619, 74509 ],
next:= [ 416, 244, 411, 249, 404 ] ), rec(
fp:= [ 16035, 24172, 33171, 66934, 73117, 74057, 74418, 75071 ],
next:= [ rec(
desc:= [ 105003 ],
fp:= [ 2, 12 ],
next:= [ 251, 252 ] ), 253, 425, rec(
desc:= [ 104003 ],
fp:= [ 2, 12 ],
next:= [ 418, 419 ] ), 401, 402, 258, 420 ] ) ] ), rec(
fp:= [ 26959, 65141 ],
level:= 4,
next:= [ 75, 79 ] ), rec(
fp:= [ 1545, 59258 ],
level:= 4,
next:= [ 821, 822 ] ), rec(
fp:= [ 1508, 4956, 7705, 8018, 22360, 23002, 26674, 27724, 39764, 49218,
53940, 59121, 62659, 74919, 75232, 95106, 96447 ],
level:= 4,
next:= [ 413, 407, 256, 254, 406, 245, 424, 412, 405, 247, 414, 423, 422,
257, 255, 421, 246 ] ), rec(
fp:= [ 35061, 65874, 94684 ],
level:= 4,
next:= [ 120, 116, 115 ] ), rec(
fp:= [ 5768, 7471, 11924, 23284, 38846, 45520, 48207, 48718, 51909,
54530, 68544, 72046, 86767, 94846 ],
level:= 4,
next:= [ 847, 716, 541, 709, 648, 854, 713, 544, 655, 658, 718, 537, 665,
546 ] ), rec(
fp:= [ 31, 62 ],
next:= [ 882, 884 ] ), rec(
fp:= [ 12517, 50347 ],
level:= 4,
next:= [ 626, 625 ] ), 499, rec(
fp:= [ 13922, 84774 ],
level:= 4,
next:= [ 632, 631 ] ), rec(
fp:= [ 34011, 42610 ],
level:= 4,
next:= [ 926, 902 ] ), rec(
fp:= [ 1295, 23092, 27246, 27331, 27416, 27870, 30564, 31066, 34262,
39613, 43709, 60102, 60230, 71687, 74413, 77939, 92250 ],
level:= 4,
next:= [ 60, 71, 55, 54, 53, 10, 62, 9, 11, 69, 72, 19, 70, 61, 18, 21,
20 ] ), 675, rec(
fp:= [ 10992, 15223, 24985, 29216, 33447, 43094, 48822, 53053, 57464,
58899, 60008, 74704, 86273, 88817 ],
level:= 4,
next:= [ 350, 348, 462, 460, 461, 347, 353, 351, 472, 349, 470, 352, 471,
469 ] ), 119, rec(
fp:= [ 4187, 4943, 7241, 7997, 11251, 13200, 18335, 20189, 21538, 31826,
32582, 33338, 38425, 40310, 43364, 54386, 57167, 57440, 57923, 59988, 60221,
60494, 60530, 60977, 66977, 71516, 74570, 79263, 80262, 85562, 88872 ],
level:= 4,
next:= [ 150, 146, 155, 148, 168, 162, 167, 172, 170, 152, 153, 147, 164,
208, 207, 203, 151, 206, 154, 160, 158, 205, 171, 157, 166, 209, 210, 149,
212, 159, 169 ] ), rec(
fp:= [ 28906, 32349, 44622, 61507, 64886, 77159 ],
level:= 4,
next:= [ 680, 677, 683, 679, 676, 682 ] ), rec(
fp:= [ 55633, 92978 ],
level:= 4,
next:= [ 179, 178 ] ), rec(
fp:= [ 22129, 58419 ],
level:= 4,
next:= [ 947, 911 ] ), rec(
fp:= [ 12691, 33681 ],
level:= 4,
next:= [ 635, 634 ] ), 516, rec(
fp:= [ 19069, 20312, 69828 ],
level:= 4,
next:= [ 567, 566, 583 ] ), rec(
fp:= [ 29649, 30833, 36562, 56900, 99283 ],
level:= 4,
next:= [ 7, 51, 58, 12, 63 ] ), 923, rec(
fp:= [ 7201, 91602 ],
next:= [ rec(
fp:= [ 6507, 6731, 10414, 28430, 30690, 32110, 37581, 49092, 50078,
54239, 61598, 74412, 76427, 85793 ],
next:= [ 387, 364, 693, 386, 475, 564, 697, 480, 363, 565, 322, 362,
323, 321 ] ), rec(
fp:= [ 2476, 7357, 17683, 30032, 31743, 32169, 38476, 41444, 49936,
57288, 60112, 68537, 77586, 79784, 86925, 88586, 93320, 96842 ],
next:= [ rec(
desc:= [ 105003 ],
fp:= [ 2, 12 ],
next:= [ 398, 399 ] ), rec(
desc:= [ 104003 ],
fp:= [ 2, 12 ],
next:= [ 482, 483 ] ), 397, 338, 698, 379, 695, rec(
desc:= [ 104003 ],
fp:= [ 2, 12 ],
next:= [ rec(
desc:= [ 105003 ],
fp:= [ 2, 12 ],
next:= [ 341, 342 ] ), 340 ] ), 380, 339, rec(
desc:= [ 105003 ],
fp:= [ 2, 12 ],
next:= [ rec(
desc:= [ 106003 ],
fp:= [ 2, 12 ],
next:= [ 382, 381 ] ), 383 ] ), 396, 337, 489, 560, 378, 561,
484 ] ) ] ), 502, 6, rec(
fp:= [ 7535, 37603 ],
level:= 4,
next:= [ 125, 124 ] ), rec(
fp:= [ 891, 3878, 3910, 5098, 5768, 7135, 7717, 7826, 8299, 8545, 10308,
12015, 12047, 13235, 18594, 19837, 23284, 24107, 25047, 26056, 26731, 27244,
27974, 28785, 32384, 32416, 34242, 38846, 39823, 40070, 40521, 40553, 40763,
41426, 43540, 44760, 45184, 48382, 48964, 49546, 52645, 53385, 53585, 54530,
54809, 55479, 55718, 58256, 59499, 62946, 66026, 67384, 68297, 69237, 72014,
72046, 72078, 73234, 76681, 76955, 77985, 82887, 83004, 83283, 83953, 86431,
86730, 87973, 91420, 94052 ],
level:= 4,
next:= [ 538, 533, 530, 717, 849, 721, 724, 553, 719, 714, 647, 529, 528,
723, 705, 703, 706, 652, 653, 657, 701, 851, 712, 550, 532, 531, 848, 650,
662, 722, 539, 540, 663, 543, 527, 715, 855, 549, 552, 547, 651, 542, 654,
660, 702, 852, 850, 699, 707, 700, 551, 649, 661, 664, 536, 534, 535, 725,
720, 846, 548, 545, 659, 704, 853, 666, 708, 710, 711, 656 ] ), rec(
fp:= [ 7632, 9943 ],
level:= 4,
next:= [ 242, 409 ] ), 933, rec(
fp:= [ 4384, 31260, 34719, 37666, 40799, 41372, 44083, 46403, 52483,
54347, 60311, 60689, 69949, 74994, 77659, 86919, 89247, 95664, 97690 ],
level:= 4,
next:= [ 34, 40, 29, 101, 28, 90, 102, 27, 30, 94, 36, 37, 33, 38, 39,
35, 103, 104, 93 ] ), 876, rec(
fp:= [ 28942, 60148, 91354 ],
level:= 4,
next:= [ 214, 216, 215 ] ), 899, rec(
fp:= [ 4142, 6297, 12749, 26702, 36679, 59272, 79158, 83917, 97304,
98459 ],
level:= 4,
next:= [ 575, 895, 580, 576, 894, 582, 577, 581, 893, 574 ] ), rec(
fp:= [ 13878, 25105, 26027, 27391, 49790, 84061 ],
level:= 4,
next:= [ 765, 762, 937, 864, 857, 759 ] ), 3, rec(
fp:= [ 2679, 12679 ],
next:= [ rec(
fp:= [ 23464, 51699, 52942 ],
next:= [ 441, rec(
desc:= [ 105003 ],
fp:= [ 2, 12 ],
next:= [ 434, 435 ] ), 436 ] ), rec(
fp:= [ 14085, 28520 ],
next:= [ 432, 427 ] ) ] ), rec(
fp:= [ 6507, 6731, 10414, 15848, 28430, 30690, 32110, 37581, 49092,
50078, 50489, 54239, 61598, 74412, 76427, 85793 ],
level:= 4,
next:= [ 385, 361, 692, 891, 384, 474, 562, 696, 479, 360, 915, 563, 319,
359, 320, 318 ] ), rec(
fp:= [ 7075, 26275, 31110, 44905, 68940, 88106, 92941 ],
level:= 4,
next:= [ 439, 438, 428, 440, 430, 437, 429 ] ), rec(
fp:= [ 4142, 33915, 38077 ],
level:= 4,
next:= [ 928, 944, 949 ] ), rec(
fp:= [ 22553, 52546 ],
level:= 4,
next:= [ 515, 507 ] ), rec(
fp:= [ 32210, 47360, 52082, 62619, 74509 ],
level:= 4,
next:= [ 415, 243, 410, 248, 403 ] ), rec(
fp:= [ 54386, 59988 ],
level:= 4,
next:= [ 97, 41 ] ), rec(
fp:= [ 22981, 38494, 61972, 69937, 73711 ],
level:= 4,
next:= [ 953, 942, 922, 940, 943 ] ), 887, rec(
fp:= [ 39867, 53930, 69370 ],
level:= 4,
next:= [ 505, 506, 510 ] ), 950, rec(
fp:= [ 15787, 58978, 87213 ],
level:= 4,
next:= [ 878, 877, 879 ] ), rec(
fp:= [ 2476, 7357, 38476, 41444, 60112, 93320 ],
level:= 4,
next:= [ 395, 481, 694, 336, 377, 559 ] ), 56, rec(
fp:= [ 14277, 23765, 25542, 36807, 68013, 71467, 79278, 82732 ],
level:= 4,
next:= [ 199, 202, 196, 197, 200, 193, 195, 198 ] ), 126, rec(
fp:= [ 24033, 49995, 60836 ],
level:= 4,
next:= [ 678, 681, 684 ] ), rec(
fp:= [ 26327, 60227 ],
next:= [ rec(
fp:= [ 13878, 23862, 25105, 26027, 27391, 49790, 59774, 90893 ],
next:= [ 356, rec(
desc:= [ 105003 ],
fp:= [ 4, 212 ],
next:= [ 358, 357 ] ), 355, 691, 473, 468, rec(
desc:= [ 104003 ],
fp:= [ 2, 12 ],
next:= [ 466, 467 ] ), 688 ] ), rec(
fp:= [ 11640, 35958, 56941, 79263, 82818, 82982 ],
next:= [ 686, 345, 690, 346, 464, 459 ] ) ] ), rec(
fp:= [ 25542, 64891 ],
level:= 4,
next:= [ 194, 201 ] ), rec(
fp:= [ 16035, 66934, 74057 ],
level:= 4,
next:= [ 250, 417, 400 ] ), rec(
fp:= [ 16035, 24172, 32309, 33999, 56885, 65022, 66934, 69464, 70404,
72177, 73117, 74057, 75071, 75246, 77601, 78541, 83208, 85120, 93257 ],
level:= 4,
next:= [ 637, 640, 639, 835, 831, 830, 826, 642, 643, 817, 819, 818, 829,
646, 641, 644, 828, 832, 833 ] ), rec(
fp:= [ 16005, 17980, 42330, 55973, 70642 ],
level:= 4,
next:= [ 173, 138, 184, 191, 131 ] ), rec(
fp:= [ 69828, 82569 ],
level:= 4,
next:= [ 920, 917 ] ), rec(
fp:= [ 29839, 68754 ],
level:= 4,
next:= [ 503, 500 ] ), 509, 433, rec(
fp:= [ 150, 14821, 17823, 90009, 95380, 98132 ],
level:= 4,
next:= [ 140, 182, 143, 144, 181, 141 ] ), rec(
fp:= [ 17173, 28976, 55768 ],
level:= 4,
next:= [ 1, 4, 2 ] ), rec(
fp:= [ 368, 12107, 34303, 46042, 53619 ],
level:= 4,
next:= [ 930, 906, 951, 939, 929 ] ), 501, rec(
fp:= [ 9752, 23728, 70138, 81877, 97674 ],
level:= 4,
next:= [ 907, 935, 936, 908, 934 ] ), 213, rec(
fp:= [ 615, 2940, 16005, 19007, 22616, 31821, 35681, 38683, 42330, 52839,
54575, 70642, 80610, 84045, 86249, 86709, 89767, 94554, 95990 ],
level:= 4,
next:= [ 188, 136, 176, 137, 135, 189, 174, 134, 186, 187, 130, 133, 139,
190, 192, 132, 183, 185, 175 ] ), 57, rec(
fp:= [ 10308, 26056, 28785, 40070, 76955 ],
level:= 4,
next:= [ 266, 282, 235, 311, 449 ] ), rec(
fp:= [ 24033, 29097, 68811 ],
level:= 4,
next:= [ 630, 523, 520 ] ), 636, 627, 820, rec(
fp:= [ 11207, 95608 ],
next:= [ rec(
fp:= [ 11420, 19350, 33234, 38429, 79827 ],
next:= [ 25, 26, 92, 32, 96 ] ), rec(
fp:= [ 1591, 52359, 54386, 57440, 59988, 61842, 94991 ],
next:= [ 105, 45, rec(
desc:= [ 104003 ],
fp:= [ 2, 12 ],
next:= [ 98, 99 ] ), 100, rec(
desc:= [ 104003 ],
fp:= [ 2, 12 ],
next:= [ rec(
desc:= [ 105003 ],
fp:= [ 2, 12 ],
next:= [ 42, 43 ] ), 44 ] ), 46, 47 ] ) ] ), 493, 490, 129,, rec(
fp:= [ 53567, 63182 ],
level:= 4,
next:= [ 881, 883 ] ), 5, 885, rec(
fp:= [ 62749, 76671 ],
level:= 4,
next:= [ 128, 127 ] ), rec(
fp:= [ 423, 1119, 1618, 2501, 7422, 9263, 9276, 11231, 12607, 12960,
23491, 36288, 38256, 39191, 39985, 43118, 43790, 46815, 47118, 48972, 49237,
50826, 52934, 52938, 59057, 65281, 70374, 71394, 75439, 76135, 76451, 77513,
78305, 78408, 85385, 91504, 95160, 99398 ],
level:= 4,
next:= [ 368, 365, 376, 485, 370, 388, 366, 389, 327, 390, 486, 391, 392,
333, 393, 326, 324, 332, 478, 476, 331, 477, 335, 330, 334, 394, 328, 367,
374, 369, 375, 372, 371, 487, 325, 329, 373, 488 ] ), rec(
fp:= [ 1113, 15384, 55319, 68081, 81445, 83793 ],
level:= 4,
next:= [ rec(
desc:= [ 105003 ],
fp:= [ 2, 12 ],
next:= [ 584, 585 ] ), 579, 573, 572, 578, 571 ] ), rec(
fp:= [ 21052, 63575, 68218 ],
level:= 4,
next:= [ 292, 558, 122 ] ), rec(
fp:= [ 11879, 23649, 83782, 92714 ],
level:= 4,
next:= [ 912, 910, 948, 913 ] ), 511, 109, rec(
fp:= [ 11684, 16748, 48487, 69080, 81039 ],
level:= 4,
next:= [ 669, 526, 672, 554, 823 ] ), 954, rec(
fp:= [ 11420, 19350, 33234, 38429, 79827 ],
level:= 4,
next:= [ 23, 24, 91, 31, 95 ] ), rec(
fp:= [ 14085, 28520 ],
level:= 4,
next:= [ 431, 426 ] ), rec(
fp:= [ 64787, 77283, 89779 ],
level:= 4,
next:= [ 111, 112, 113 ] ), rec(
fp:= [ 2589, 3598 ],
next:= [ rec(
fp:= [ 60148, 91354 ],
next:= [ 107, 108 ] ), 110 ] ), rec(
fp:= [ 6334, 8600, 54703, 77160, 78316 ],
level:= 4,
next:= [ 904, 903, 901, 927, 905 ] ), rec(
fp:= [ 18017, 26135, 28633, 55658, 85573, 93033 ],
level:= 4,
next:= [ 522, 519, 629, 628, 518, 521 ] ), rec(
fp:= [ 24707, 38203, 39446, 51699, 52942, 54185, 66438, 67681 ],
level:= 4,
next:= [ 845, 841, 840, 836, 839, 838, 842, 843 ] ), rec(
fp:= [ 22006, 30394, 90854 ],
level:= 4,
next:= [ 114, 117, 118 ] ), 123, rec(
fp:= [ 32692, 33090, 41659, 57464 ],
level:= 4,
next:= [ 568, 892, 569, 570 ] ), 945, rec(
fp:= [ 1652, 35552 ],
next:= [ rec(
fp:= [ 5768, 7471, 10308, 11924, 26056, 28785, 38846, 40070, 45520,
48207, 48718, 51909, 54530, 68544, 76955, 86767, 94846 ],
next:= [ 452, 313, rec(
desc:= [ 106003 ],
fp:= [ 2, 12 ],
next:= [ 267, 268 ] ), 236, rec(
desc:= [ 106003 ],
fp:= [ 2, 12 ],
next:= [ 283, 284 ] ), rec(
desc:= [ 113007 ],
fp:= [ 16, 1214 ],
next:= [ rec(
desc:= [ 106003 ],
fp:= [ 2, 12 ],
next:= [ 240, 241 ] ), 239 ] ), 269, rec(
desc:= [ 112007 ],
fp:= [ 16, 1214 ],
next:= [ rec(
desc:= [ 105003 ],
fp:= [ 2, 12 ],
next:= [ 316, 317 ] ), 315 ] ), 457, 312, 237, 274, 285, 314, rec(
desc:= [ 105003 ],
fp:= [ 2, 12 ],
next:= [ 450, 451 ] ), 290, 238 ] ), rec(
fp:= [ 6767, 18049, 32657, 34885, 39557, 42012, 46734, 69966, 87301,
92663, 94575, 95768 ],
next:= [ 298, 281, 265, 222, 297, 276, 443, 221, 448, 260, 220,
296 ] ) ] ), 514, 81, rec(
fp:= [ 61990, 69080, 73729, 73851, 74190, 74263, 77916, 81039, 86463,
98046 ],
level:= 4,
next:= [ 668, 556, 525, 524, 667, 671, 824, 825, 670, 555 ] ), rec(
fp:= [ 63369, 83073 ],
level:= 4,
next:= [ 941, 952 ] ), rec(
fp:= [ 58906, 74346, 90290 ],
level:= 4,
next:= [ 504, 508, 513 ] ), rec(
fp:= [ 54575, 89767, 95990 ],
level:= 4,
next:= [ 14, 65, 48 ] ), 898, rec(
fp:= [ 11293, 23697, 28761, 72581, 84941 ],
level:= 4,
next:= [ 888, 925, 889, 886, 900 ] ), rec(
fp:= [ 23862, 59774, 90893 ],
level:= 4,
next:= [ 354, 465, 687 ] ), 924, rec(
fp:= [ 9085, 15121, 19069, 23862, 25105, 28617, 29860, 38601, 39806,
39844, 49790, 59774, 69322, 70565, 80511, 82569, 82818, 83251, 84061, 85304,
90495 ],
level:= 4,
next:= [ 863, rec(
fp:= [ 48198, 55939 ],
next:= [ 767, 770 ] ), 862, 768, 764, 758, 760, 753, 858, 754, 859,
856, 763, 769, 860, 865, 756, 766, rec(
fp:= [ 49749, 55265 ],
next:= [ 757, 755 ] ), 761, 861 ] ), rec(
fp:= [ 26337, 60237 ],
next:= [ rec(
fp:= [ 25542, 64891, 71467 ],
next:= [ 84, 89, rec(
desc:= [ 104003 ],
fp:= [ 2, 12 ],
next:= [ 82, 83 ] ) ] ), rec(
fp:= [ 26959, 65141 ],
next:= [ 76, 80 ] ) ] ), 512, rec(
fp:= [ 24172, 33171, 73117, 74418, 75071 ],
level:= 4,
next:= [ 638, 834, 816, 645, 827 ] ), 408, rec(
fp:= [ 10230, 17683, 30032, 31743, 32169, 36887, 49936, 55732, 57288,
67245, 68537, 69217, 73772, 77586, 79784, 84000, 86925, 88586, 94109, 96842 ],
level:= 4,
next:= [ 589, 810, 743, 938, 788, 804, 790, 588, 745, 736, 807, 586, 590,
740, 874, 781, 916, 785, 587, 867 ] ), rec(
fp:= [ 1787, 1891, 4024, 71779, 73912 ],
level:= 4,
next:= [ 931, 909, 946, 890, 932 ] ), rec(
fp:= [ 11640, 35958, 52148, 56941, 79263, 82818, 82982 ],
level:= 4,
next:= [ 685, 343, 914, 689, 344, 463, 458 ] ), rec(
fp:= [ 14821, 19415, 23784 ],
level:= 4,
next:= [ 180, 145, 142 ] ), rec(
fp:= [ 17151, 79552, 98182 ],
level:= 4,
next:= [ 497, 495, 496 ] ), 106, rec(
fp:= [ 1113, 3600, 8185, 63055, 70916 ],
level:= 4,
next:= [ 921, 896, 918, 919, 897 ] ), rec(
fp:= [ 1277, 2404, 2873, 6214, 6272, 6464, 9473, 10237, 10833, 14066,
22046, 22497, 22747, 22810, 28314, 28946, 33036, 33239, 35320, 37262, 40599,
42324, 46513, 49522, 49835, 53153, 53646, 54459, 54949, 56745, 58946, 62311,
63668, 70073, 73913, 79862, 81484, 82109, 84278, 84494, 89961, 94682, 94758,
96147, 97343 ],
level:= 4,
next:= [ 456, 446, 227, 307, 272, 271, 306, 453, 305, 308, 230, 288, 299,
286, 277, 229, 444, 310, 223, 454, 233, 270, 302, 289, 287, 262, 304, 231,
261, 263, 278, 232, 445, 273, 455, 309, 234, 301, 300, 224, 303, 225, 226,
228, 279 ] ), rec(
fp:= [ 6767, 18049, 32657, 34885, 39557, 42012, 46734, 69966, 87301,
92663, 94575, 95768 ],
level:= 4,
next:= [ 295, 280, 264, 219, 294, 275, 442, 218, 447, 259, 217,
293 ] ), rec(
fp:= [ 23464, 52942 ],
level:= 4,
next:= [ 844, 837 ] ), 177, rec(
fp:= [ 1591, 32582, 52359, 57440, 61842, 94991 ],
level:= 4,
next:= [ 211, 156, 161, 204, 163, 165 ] ), 633 ] );