1############################################################################# 2## 3#W id1800.z GAP library of id's Hans Ulrich Besche 4## 5 6ID_GROUP_TREE.next[1800]:= 7rec( 8 fp:= [ 574, 935, 2176, 3749, 4234, 4274, 4324, 4790, 5325, 6119, 6572, 96625, 6854, 7285, 8542, 9922, 10423, 10693, 10845, 11286, 11303, 11532, 1012303, 13452, 13798, 14264, 14343, 14500, 14993, 15010, 15204, 16485, 18422, 1118564, 19402, 19662, 19698, 19699, 19898, 20574, 20602, 20713, 21410, 24987, 1227056, 29096, 29366, 30218, 30797, 31534, 32084, 32921, 33240, 34819, 35023, 1335350, 35695, 35783, 37360, 37385, 41281, 41761, 43140, 43238, 44494, 44545, 1446285, 46508, 46885, 47092, 47813, 49561, 50304, 50486, 51155, 51494, 51618, 1552263, 52562, 52593, 53159, 53332, 53466, 55324, 55670, 56205, 56702, 56845, 1657008, 57574, 57614, 58477, 58930, 59277, 60517, 60525, 61743, 62956, 63265, 1763430, 64447, 64753, 65344, 66427, 66677, 66845, 67211, 67222, 67593, 67647, 1867813, 68125, 68186, 68462, 68948, 69279, 69605, 69816, 70171, 70420, 70873, 1970955, 72016, 72271, 72561, 75108, 75276, 75716, 75903, 77613, 78257, 79580, 2079586, 80749, 80917, 80954, 81755, 82337, 82984, 83193, 83365, 84506, 84712, 2185400, 85832, 86400, 86706, 88404, 88440, 89036, 89348, 90186, 91497, 91595, 2292198, 92835, 94295, 95155, 95613, 95737, 96274, 96613, 97206, 97476, 97664, 2398006, 98254, 98653 ], 24 next:= [ rec( 25 fp:= [ 49306, 52744, 97533 ], 26 level:= 4, 27 next:= [ 513, 515, 703 ] ), rec( 28 fp:= [ 50123, 87711 ], 29 level:= 4, 30 next:= [ 104, 106 ] ), rec( 31 fp:= [ 4496, 32389, 33057, 63291, 93672, 96283 ], 32 level:= 4, 33 next:= [ 403, 595, 267, 398, 596, 404 ] ), rec( 34 fp:= [ 8338, 48063 ], 35 level:= 4, 36 next:= [ 276, 297 ] ), rec( 37 fp:= [ 34800, 62183, 96695 ], 38 level:= 4, 39 next:= [ 22, 24, 20 ] ), rec( 40 fp:= [ 16838, 74668 ], 41 level:= 4, 42 next:= [ 585, 682 ] ), rec( 43 fp:= [ 37840, 48862 ], 44 level:= 4, 45 next:= [ 5, 2 ] ), 739, rec( 46 fp:= [ 1874, 2661, 24670, 24771, 86323 ], 47 level:= 4, 48 next:= [ 590, 738, 696, 580, 697 ] ), rec( 49 fp:= [ 3880, 4211, 12751, 59337, 94508, 95174 ], 50 level:= 4, 51 next:= [ 539, 468, 469, 537, 541, 470 ] ), 328, 250, rec( 52 fp:= [ 89429, 89938 ], 53 level:= 4, 54 next:= [ 124, 125 ] ), 324, rec( 55 fp:= [ 38, 38135, 62111 ], 56 level:= 4, 57 next:= [ 107, 103, 105 ] ), 248, 684, rec( 58 fp:= [ 20114, 62323 ], 59 level:= 4, 60 next:= [ 525, 523 ] ), 322, rec( 61 fp:= [ 1357, 3642, 7976, 9796, 9937, 15280, 16312, 20965, 24119, 30097, 6231477, 31849, 40806, 42682, 43758, 48180, 52150, 53596, 57934, 58559, 60826, 6362685, 62960, 69206, 73706, 74841, 88686, 99385 ], 64 level:= 4, 65 next:= [ 381, rec( 66 desc:= [ 109002 ], 67 fp:= [ 16, 412 ], 68 next:= [ 606, 607 ] ), 429, 358, 386, 613, 436, 430, 359, 388, 383, 69422, 614, 612, 611, 428, 535, 710, 608, rec( 70 desc:= [ 118002 ], 71 fp:= [ 1616, 2012 ], 72 next:= [ 610, 609 ] ), rec( 73 desc:= [ 107002 ], 74 fp:= [ 16, 412 ], 75 next:= [ 708, 709 ] ), 357, 574, 421, 435, 584, 533, 423 ] ), rec( 76 fp:= [ 67314, 86846 ], 77 level:= 4, 78 next:= [ 245, 252 ] ), rec( 79 fp:= [ 40008, 71245 ], 80 level:= 4, 81 next:= [ 214, 213 ] ), rec( 82 fp:= [ 17010, 43469, 57323, 70304, 77231 ], 83 level:= 4, 84 next:= [ 247, 244, 253, 229, 246 ] ), rec( 85 fp:= [ 13157, 13596 ], 86 next:= [ rec( 87 fp:= [ 7880, 8505, 28148 ], 88 next:= [ 652, 651, 666 ] ), rec( 89 fp:= [ 14885, 18182, 41332, 47424, 62985, 93932 ], 90 next:= [ 365, 335, 333, 369, 337, 367 ] ) ] ), rec( 91 fp:= [ 8651, 11653, 13116, 14834, 26421, 37393, 37879, 41086, 44062, 9255597, 56134, 60517, 61577, 74325, 75771, 77085, 85729, 98895 ], 93 level:= 4, 94 next:= [ 615, 478, 625, 626, 442, 440, 441, 716, 479, 717, 471, 640, 472, 95545, 711, 473, 543, 639 ] ), rec( 96 fp:= [ 3352, 66097 ], 97 level:= 4, 98 next:= [ 143, 54 ] ), rec( 99 fp:= [ 9726, 9890, 28501, 28829, 42837 ], 100 level:= 4, 101 next:= [ 296, 317, 316, 326, 318 ] ), 685, 299, 231, rec( 102 fp:= [ 33144, 33583 ], 103 next:= [ rec( 104 fp:= [ 14537, 49188, 59708, 71816, 72856, 82140 ], 105 next:= [ 654, 668, 667, 653, 655, 656 ] ), rec( 106 fp:= [ 3440, 10837, 11059, 12562, 15985, 17624, 65976, 76223, 82533, 10783201, 83391, 87353, 95997, 96893 ], 108 next:= [ 345, 341, 356, 343, 354, 372, 374, 350, 348, 351, 344, 338, 109370, 352 ] ) ] ), 233, rec( 110 fp:= [ 17615, 78502, 81439, 90310, 97230 ], 111 level:= 4, 112 next:= [ 467, 715, 538, 466, 540 ] ), 1, rec( 113 fp:= [ 1732, 34157 ], 114 level:= 4, 115 next:= [ 6, 3 ] ), rec( 116 fp:= [ 20226, 51464, 56294, 64064, 84701, 90168 ], 117 level:= 4, 118 next:= [ 671, 661, 672, 662, 660, 663 ] ), rec( 119 fp:= [ 17989, 23432, 36254, 63636, 73020, 78807, 93634 ], 120 level:= 4, 121 next:= [ 418, 417, 531, 419, 529, 420, 527 ] ), rec( 122 fp:= [ 17628, 75678 ], 123 level:= 4, 124 next:= [ 665, 650 ] ), rec( 125 fp:= [ 5033, 37831, 48041, 51800, 55071, 68953, 71340, 71645, 77124, 12683782, 90196 ], 127 level:= 4, 128 next:= [ 375, 508, 519, 509, 379, 377, 411, 412, 521, 517, 413 ] ), rec( 129 fp:= [ 16081, 20912, 22358, 22495, 26696, 29588, 36993, 39685, 43603, 13074391, 94646, 98520 ], 131 level:= 4, 132 next:= [ 518, 520, 706, 410, 603, rec( 133 desc:= [ 106002 ], 134 fp:= [ 16, 412 ], 135 next:= [ 704, 705 ] ), 376, 409, 583, 604, 507, 378 ] ), rec( 136 fp:= [ 13030, 13681, 89082 ], 137 level:= 4, 138 next:= [ 199, 201, 197 ] ), rec( 139 fp:= [ 25482, 28296, 46561, 68500, 73943, 83327, 91350 ], 140 level:= 4, 141 next:= [ 605, 414, 530, 416, 415, 528, 707 ] ), rec( 142 fp:= [ 22522, 22674, 27101, 36259, 38521, 43100, 52258, 59893, 69051, 14379373, 80167, 87008, 90641, 98483 ], 144 level:= 4, 145 next:= [ 735, 680, 677, 734, 679, 681, 736, 675, 729, 678, 728, 730, 737, 146741 ] ), rec( 147 fp:= [ 49717, 88642 ], 148 level:= 4, 149 next:= [ 224, 227 ] ), rec( 150 fp:= [ 9578, 11615, 21839, 26371, 44743, 62177, 62381, 65234, 73347, 15182849, 86761, 88079, 98488, 99301 ], 152 level:= 4, 153 next:= [ 96, 118, 94, 88, 76, 79, 92, 120, 91, 90, 78, 85, 73, 154122 ] ), rec( 155 fp:= [ 8878, 9069, 18060, 20725, 22811, 25001, 32282, 33268, 39190, 15654920, 58854, 64378, 82726, 92155 ], 157 level:= 4, 158 next:= [ 209, 176, 181, 163, 166, 170, 211, 168, 177, 207, 179, 175, 173, 159169 ] ), 34, 298, rec( 160 fp:= [ 35781, 55992, 99279 ], 161 level:= 4, 162 next:= [ 321, 305, 304 ] ), rec( 163 fp:= [ 4056, 4658, 23167, 31253, 31964, 38429, 85732 ], 164 level:= 4, 165 next:= [ 157, 281, 158, 203, 160, 205, 310 ] ), rec( 166 fp:= [ 18827, 30670, 69215 ], 167 level:= 4, 168 next:= [ 98, 100, 102 ] ), 568, rec( 169 fp:= [ 4578, 31025, 57731, 73292, 74841, 90608 ], 170 level:= 4, 171 next:= [ 366, 334, 368, 336, 581, 569 ] ), rec( 172 fp:= [ 18730, 24440, 25386, 67217, 70850 ], 173 level:= 4, 174 next:= [ 575, 588, 683, 587, 586 ] ), rec( 175 fp:= [ 15091, 19251 ], 176 level:= 4, 177 next:= [ 264, 394 ] ), 40, rec( 178 fp:= [ 64935, 91015 ], 179 level:= 4, 180 next:= [ 558, 562 ] ), rec( 181 fp:= [ 1008, 12045, 91529 ], 182 level:= 4, 183 next:= [ 266, 594, 402 ] ), 301, 30, rec( 184 fp:= [ 12652, 27463, 29357, 36766, 44050, 49549, 76941, 86491 ], 185 level:= 4, 186 next:= [ 55, 277, 271, 144, 52, 53, 127, rec( 187 desc:= [ 105002 ], 188 fp:= [ 16, 412 ], 189 next:= [ 145, 146 ] ) ] ), rec( 190 fp:= [ 10037, 34190, 45063, 49717, 79818, 82048 ], 191 level:= 4, 192 next:= [ 82, 84, 83, 117, 115, 113 ] ), 42, 272, 232, rec( 193 fp:= [ 4203, 36252, 42758, 57139, 72992, 73484, 74265, 88572 ], 194 level:= 4, 195 next:= [ 591, 566, 262, rec( 196 desc:= [ 105002 ], 197 fp:= [ 16, 412 ], 198 next:= [ 391, 392 ] ), 393, 331, 260, 257 ] ), 38, 50, rec( 199 fp:= [ 31394, 64669 ], 200 level:= 4, 201 next:= [ 315, 325 ] ), rec( 202 fp:= [ 10733, 26311, 51398 ], 203 level:= 4, 204 next:= [ 51, 126, 270 ] ), 748, rec( 205 fp:= [ 3637, 13563, 17534, 42566, 43707, 80563 ], 206 level:= 4, 207 next:= [ 129, 131, 274, 273, 134, 136 ] ), rec( 208 fp:= [ 24621, 58689 ], 209 level:= 4, 210 next:= [ 147, 57 ] ), rec( 211 fp:= [ 14455, 27349 ], 212 level:= 4, 213 next:= [ 32, 31 ] ), rec( 214 fp:= [ 13960, 16225, 38699, 47776, 52998, 77998, 85165 ], 215 level:= 4, 216 next:= [ 70, 238, 218, 67, 68, 109, 111 ] ), rec( 217 fp:= [ 11094, 13867, 18517, 19122, 49160, 53285, 59671, 62511, 75998, 21880134, 93017, 93190 ], 219 level:= 4, 220 next:= [ 182, 151, 280, 195, 193, 275, 152, 309, 141, rec( 221 desc:= [ 106002 ], 222 fp:= [ 16, 412 ], 223 next:= [ 307, 308 ] ), 279, 139 ] ), rec( 224 fp:= [ 39932, 67483 ], 225 next:= [ rec( 226 fp:= [ 16007, 24776, 81183 ], 227 next:= [ 293, 295, 292 ] ), rec( 228 fp:= [ 10441, 35334, 43102, 52080, 96238, 97931 ], 229 next:= [ 137, 133, 132, 135, 128, 130 ] ) ] ), rec( 230 fp:= [ 11209, 18616 ], 231 level:= 4, 232 next:= [ 364, 511 ] ), rec( 233 fp:= [ 45252, 74345, 84583 ], 234 level:= 4, 235 next:= [ 191, 189, 187 ] ), 578, 695, rec( 236 fp:= [ 6351, 15573, 18557, 20573, 22716, 55029, 69709 ], 237 level:= 4, 238 next:= [ 13, 11, 27, 25, 10, 29, 12 ] ), 689, rec( 239 fp:= [ 13063, 88849 ], 240 level:= 4, 241 next:= [ 560, 556 ] ), rec( 242 fp:= [ 77563, 85269, 93586 ], 243 level:= 4, 244 next:= [ 686, 576, 577 ] ), 687, 320, rec( 245 fp:= [ 24313, 77607 ], 246 level:= 4, 247 next:= [ 243, 251 ] ), 123, rec( 248 fp:= [ 8475, 18986, 24895, 32056, 33352, 53367, 54552, 80112, 89793, 24989845, 98790 ], 250 level:= 4, 251 next:= [ 192, 155, 153, 183, 138, 140, 154, 142, 184, 194, 196 ] ), rec( 252 fp:= [ 12338, 15091, 26760, 33225, 42082, 50168, 84802 ], 253 level:= 4, 254 next:= [ 204, 161, 162, 206, 156, 202, 159 ] ), 254, rec( 255 fp:= [ 1133, 9089, 17024, 17625, 39311, 88830, 91685 ], 256 level:= 4, 257 next:= [ 71, 69, 108, 72, 110, 112, 66 ] ), 269, 327, 234, 230, 41, 258300, rec( 259 fp:= [ 151, 304 ], 260 next:= [ 559, 563 ] ), rec( 261 fp:= [ 14713, 84117 ], 262 level:= 4, 263 next:= [ 33, 60 ] ), rec( 264 fp:= [ 17970, 20347, 28105, 28182, 29408, 41394, 44094, 46597, 64297, 26588022, 93960, 95190 ], 266 level:= 4, 267 next:= [ 600, 599, 408, 601, 602, rec( 268 desc:= [ 105002 ], 269 fp:= [ 16, 412 ], 270 next:= [ 405, 406 ] ), 593, 401, 268, rec( 271 desc:= [ 105002 ], 272 fp:= [ 16, 412 ], 273 next:= [ 597, 598 ] ), 407, rec( 274 desc:= [ 105002 ], 275 fp:= [ 16, 412 ], 276 next:= [ 399, 400 ] ) ] ), rec( 277 fp:= [ 37003, 71718 ], 278 level:= 4, 279 next:= [ 561, 557 ] ), 303, 47, rec( 280 fp:= [ 12111, 19388, 32322, 67163 ], 281 level:= 4, 282 next:= [ 319, 323, 302, 314 ] ), rec( 283 fp:= [ 28769, 94508 ], 284 level:= 4, 285 next:= [ 669, 657 ] ), rec( 286 fp:= [ 6196, 6573, 7518, 8137, 8297, 8364, 8599, 16211, 16375, 18100, 28719630, 20369, 21374, 22558, 24739, 25935, 25997, 26264, 26409, 27608, 28282, 28830315, 33422, 33430, 35133, 37191, 37269, 42518, 47930, 55782, 56765, 58897, 28964660, 66118, 68339, 70312, 72511, 72677, 73665, 75452, 75812, 76720, 83001, 29084576, 89794, 90921, 91463, 92624, 94325 ], 291 level:= 4, 292 next:= [ 714, 634, 548, 490, 621, 624, 500, 550, 456, 649, 721, 638, rec( 293 desc:= [ 116002 ], 294 fp:= [ 32, 1220 ], 295 next:= [ 633, 631 ] ), 496, rec( 296 desc:= [ 106002 ], 297 fp:= [ 16, 412 ], 298 next:= [ 718, 719 ] ), 637, 636, 501, 449, 647, 646, rec( 299 desc:= [ 107002 ], 300 fp:= [ 16, 412 ], 301 next:= [ 641, 642 ] ), 491, rec( 302 desc:= [ 112002 ], 303 fp:= [ 34, 1618 ], 304 next:= [ 620, 619 ] ), rec( 305 desc:= [ 108002 ], 306 fp:= [ 16, 412 ], 307 next:= [ 616, 617 ] ), 447, 623, 643, 645, rec( 308 desc:= [ 106002 ], 309 fp:= [ 16, 412 ], 310 next:= [ 712, 713 ] ), 502, 495, 448, rec( 311 desc:= [ 109002 ], 312 fp:= [ 16, 412 ], 313 next:= [ 627, 629 ] ), 455, 720, 461, 622, 454, 485, 618, 635, 462, 314483, 644, 632, 648, rec( 315 desc:= [ 108002 ], 316 fp:= [ 16, 412 ], 317 next:= [ 628, 630 ] ), 484 ] ), 746, rec( 318 fp:= [ 12689, 29482, 64809, 65755, 96503 ], 319 level:= 4, 320 next:= [ 733, 727, 732, 742, 676 ] ), rec( 321 fp:= [ 19836, 26856, 42855, 67225 ], 322 level:= 4, 323 next:= [ 722, 692, 740, 747 ] ), 59, rec( 324 fp:= [ 4935, 20630, 25209, 36629, 57055, 79922, 84501, 91342 ], 325 level:= 4, 326 next:= [ 674, 724, 744, 726, 725, 589, 693, 694 ] ), rec( 327 fp:= [ 16788, 89947 ], 328 level:= 4, 329 next:= [ 664, 673 ] ), 212, rec( 330 fp:= [ 1970, 6519, 9024, 12251, 12524, 16118, 19243, 22437, 27019, 27390, 33133161, 37930, 40828, 43486, 43587, 44582, 46121, 47266, 54164, 60533, 63021, 33268518, 69204, 73252, 73353, 76391, 95228, 99532 ], 333 level:= 4, 334 next:= [ 464, 494, 551, 498, 497, 451, 504, 489, 458, 463, 486, 487, 453, 335450, 452, 457, 506, 459, 547, 549, 460, 505, 499, 488, 493, 465, 492, 336503 ] ), rec( 337 fp:= [ 35445, 46377, 48525 ], 338 level:= 4, 339 next:= [ 565, 330, 256 ] ), 552, 4, 690, rec( 340 fp:= [ 3363, 8878 ], 341 level:= 4, 342 next:= [ 554, 553 ] ), rec( 343 fp:= [ 6581, 80171 ], 344 level:= 4, 345 next:= [ 579, 691 ] ), rec( 346 fp:= [ 13102, 74579, 82042 ], 347 level:= 4, 348 next:= [ 237, 99, 101 ] ), rec( 349 fp:= [ 19345, 70519 ], 350 level:= 4, 351 next:= [ 743, 731 ] ), rec( 352 fp:= [ 15250, 57459, 67187 ], 353 level:= 4, 354 next:= [ 526, 524, 522 ] ), rec( 355 fp:= [ 12827, 15435, 22023 ], 356 level:= 4, 357 next:= [ 43, 18, 16 ] ), rec( 358 fp:= [ 15777, 18714, 21960, 33755, 34671, 48523, 48955, 64961, 66441, 35966778, 72221, 75085, 81443, 96373 ], 360 level:= 4, 361 next:= [ 446, 546, 482, 480, 443, 445, 481, 474, 477, 475, 476, 542, 444, 362544 ] ), rec( 363 fp:= [ 6761, 70850, 72857 ], 364 level:= 4, 365 next:= [ 19, 15, 17 ] ), rec( 366 fp:= [ 156, 2233, 98456 ], 367 level:= 4, 368 next:= [ 512, 516, 514 ] ), rec( 369 fp:= [ 15376, 31223 ], 370 level:= 4, 371 next:= [ 745, 723 ] ), 236, 698, rec( 372 fp:= [ 41294, 83679 ], 373 level:= 4, 374 next:= [ 61, 35 ] ), 555, 48, rec( 375 fp:= [ 10735, 39591, 55597 ], 376 level:= 4, 377 next:= [ 670, 659, 658 ] ), rec( 378 fp:= [ 36428, 53421 ], 379 level:= 4, 380 next:= [ 45, 49 ] ), 185, rec( 381 fp:= [ 44307, 51148, 82315 ], 382 level:= 4, 383 next:= [ 701, 702, 700 ] ), 186, 56, 749, 235, rec( 384 fp:= [ 37790, 77149, 83085 ], 385 level:= 4, 386 next:= [ 215, 63, 36 ] ), rec( 387 fp:= [ 15993, 16425, 74166 ], 388 level:= 4, 389 next:= [ 329, 564, 255 ] ), rec( 390 fp:= [ 18466, 19023, 37553, 69810, 75620, 91973 ], 391 level:= 4, 392 next:= [ 65, 216, 37, 64, 62, 217 ] ), 249, 97, rec( 393 fp:= [ 4381, 22800, 43576, 52785 ], 394 level:= 4, 395 next:= [ 148, rec( 396 desc:= [ 105002 ], 397 fp:= [ 16, 412 ], 398 next:= [ 149, 150 ] ), 58, 278 ] ), rec( 399 fp:= [ 3542, 4167, 6005, 10658, 14295, 15963, 22501, 26547, 31684, 37246, 40047459, 51164, 58487, 64303, 66008, 70115, 71602, 72076, 77175, 84013, 86412, 40188061, 91903, 93655 ], 402 level:= 4, 403 next:= [ 431, 438, 437, 432, 536, 380, 363, 532, 425, 427, 385, 534, 434, 404361, 360, 433, 362, 387, 384, 439, 382, 424, 389, 426 ] ), rec( 405 fp:= [ 15917, 89840 ], 406 level:= 4, 407 next:= [ 21, 23 ] ), rec( 408 fp:= [ 10916, 19565, 22200, 42556, 55887, 64926, 76336 ], 409 level:= 4, 410 next:= [ 9, 26, 7, 44, 39, 28, 8 ] ), 14, rec( 411 fp:= [ 30554, 51056 ], 412 level:= 4, 413 next:= [ 200, 198 ] ), 46, 688, rec( 414 fp:= [ 6980, 14084, 14717, 21926, 22588, 24781, 46766, 47639, 53423, 41565579, 66670, 72747, 82272, 93013, 97997 ], 416 level:= 4, 417 next:= [ 371, 346, 339, 373, 582, 571, 347, 573, 570, 349, 355, 342, 572, 418353, 340 ] ), rec( 419 fp:= [ 50371, 51921, 79464 ], 420 level:= 4, 421 next:= [ 190, 306, 188 ] ), rec( 422 fp:= [ 33075, 43037, 46178, 63338, 80933 ], 423 level:= 4, 424 next:= [ 81, 240, 80, 116, 114 ] ), rec( 425 fp:= [ 7632, 70132, 89896 ], 426 level:= 4, 427 next:= [ 226, 228, 225 ] ), rec( 428 fp:= [ 15993, 16425, 50660, 58513, 80894, 84037, 96474, 99309 ], 429 level:= 4, 430 next:= [ 332, 567, 265, 258, 397, 592, 259, rec( 431 desc:= [ 106002 ], 432 fp:= [ 16, 412 ], 433 next:= [ 395, 396 ] ) ] ), rec( 434 fp:= [ 125, 2454, 5913, 9036, 12676, 14799, 16375, 20206, 26139, 37133, 43544945, 49392, 52773, 59689, 65058, 79834, 88255, 93928 ], 436 level:= 4, 437 next:= [ 223, 219, 95, 77, 74, 222, 75, 89, 239, 93, 220, 86, 242, 221, 43887, 121, 119, 241 ] ), rec( 439 fp:= [ 51926, 56086 ], 440 level:= 4, 441 next:= [ 261, 390 ] ), rec( 442 fp:= [ 22834, 55401 ], 443 level:= 4, 444 next:= [ 294, 291 ] ), 263, 699, 510, rec( 445 fp:= [ 1980, 5996, 6086, 12815, 14761, 15734, 23264, 31899, 38273, 39014, 44642204, 45306, 47361, 55589, 63132, 79202, 79937, 90405, 97837 ], 447 level:= 4, 448 next:= [ 172, 287, 171, 210, 284, rec( 449 desc:= [ 106002 ], 450 fp:= [ 16, 412 ], 451 next:= [ 311, 312 ] ), 180, 208, 165, 167, 289, 290, rec( 452 desc:= [ 108002 ], 453 fp:= [ 16, 412 ], 454 next:= [ 282, 283 ] ), 174, 313, 178, rec( 455 desc:= [ 113002 ], 456 fp:= [ 16, 412 ], 457 next:= [ 286, 285 ] ), 164, 288 ] ) ] ); 458