1############################################################################# 2## 3#W id8.aiv GAP library of id's Hans Ulrich Besche 4## 5 6ID_GROUP_TREE.next[8].next[1].next[256]:= 7rec( 8 fp:= [ 1155, 6855, 7455, 7755, 8055, 8355, 8655, 8955, 9255, 9555, 9855, 910155, 10755, 12855, 14355, 14655, 15255, 16155, 16755, 19155, 19755, 20055, 1020355, 20955, 21555, 22155, 23055, 24255, 24555, 24855, 25155, 27255, 27555, 1127855, 28455, 28755, 29055, 29655, 30555, 30855, 31155, 31755, 32055, 32355, 1232655, 32955, 33255, 33555, 33855, 34155, 34455, 34755, 35055, 35355, 35655, 1336255, 36555, 36855, 37155, 37755, 38055, 38355, 38655, 39255, 39555, 39855, 1440155, 40455, 40755, 41055, 41355, 41655, 41955, 42255, 42555, 42855, 43755, 1544055, 44355, 44655, 44955, 45255, 45855, 46155, 46455, 46755, 47055, 47655, 1647955, 48255, 48555, 48855, 49155, 49455, 49755, 50055, 50355, 50655, 50955, 1751555, 51855, 52155, 52455, 52755, 54855, 55155, 55455, 55755, 56055 ], 18 next:= [ rec( 19 fp:= [ 15 ], 20 next:= [ rec( 21 desc:= [ 110005 ], 22 fp:= [ 8, 18 ], 23 next:= [ 60154, 60152 ] ) ] ), rec( 24 fp:= [ 1009 ], 25 next:= [ rec( 26 fp:= [ 14262, 79139 ], 27 level:= 5, 28 next:= [ 91439, 91435 ] ) ] ), rec( 29 fp:= [ 1026 ], 30 next:= [ rec( 31 desc:= [ 104003 ], 32 fp:= [ 30, 822 ], 33 next:= [ 98294, 98291 ] ) ] ), rec( 34 fp:= [ 165, 174, 175 ], 35 next:= [ rec( 36 desc:= [ 106003 ], 37 fp:= [ 8, 414 ], 38 next:= [ rec( 39 desc:= [ 105003 ], 40 fp:= [ 8, 414 ], 41 next:= [ rec( 42 desc:= [ 107003, 302007, 208002 ], 43 fp:= [ 18, 216 ], 44 next:= [ 101597, 101599 ] ), 101595 ] ), 101591 ] ), rec( 45 desc:= [ 302006 ], 46 fp:= [ 1264, 36860 ], 47 next:= [ 101590, rec( 48 desc:= [ 302010, 109003, 111003, 209002, 302010, 302012, 214007, 4940211015 ], 50 fp:= [ 3062, 3161 ], 51 next:= [ 101588, 101594 ] ) ] ), rec( 52 desc:= [ 106003, 108003, 110003, 302005, 302007, 302009, 213002, 53302014, 214004, 305017, 211005, 307014, 211007, 308018, 212008, 40212016 ], 54 fp:= [ 3062, 3161 ], 55 next:= [ 101592, 101598 ] ) ] ), rec( 56 fp:= [ 167 ], 57 next:= [ rec( 58 desc:= [ 106003 ], 59 fp:= [ 414, 612 ], 60 next:= [ 105471, 105464 ] ) ] ), rec( 61 fp:= [ 168, 173, 174, 176, 1023 ], 62 next:= [ rec( 63 desc:= [ 109011 ], 64 fp:= [ 826, 1618 ], 65 next:= [ 108802, 108805 ] ), rec( 66 desc:= [ 302005 ], 67 fp:= [ 26960, 36761 ], 68 next:= [ rec( 69 desc:= [ 106003 ], 70 fp:= [ 18, 414 ], 71 next:= [ 108807, 108806 ] ), 108800 ] ), rec( 72 desc:= [ 104003 ], 73 fp:= [ 8, 414 ], 74 next:= [ 108796, 108803 ] ), rec( 75 desc:= [ 104003 ], 76 fp:= [ 18, 414 ], 77 next:= [ 108799, 108798 ] ), rec( 78 desc:= [ 104003 ], 79 fp:= [ 422, 1214 ], 80 next:= [ 108795, 108801 ] ) ] ), rec( 81 fp:= [ 165, 170, 171 ], 82 next:= [ rec( 83 desc:= [ 302009 ], 84 fp:= [ 1485, 59600 ], 85 next:= [ 113100, 113108 ] ), rec( 86 desc:= [ 302009 ], 87 fp:= [ 1584, 69500 ], 88 next:= [ 113110, 113102 ] ), rec( 89 desc:= [ 106003 ], 90 fp:= [ 8, 414 ], 91 next:= [ 113101, 113099 ] ) ] ), rec( 92 fp:= [ 170, 171, 172, 177, 1021 ], 93 next:= [ rec( 94 desc:= [ 107003 ], 95 fp:= [ 216, 612 ], 96 next:= [ 117317, 117313 ] ), rec( 97 desc:= [ 302006 ], 98 fp:= [ 1462, 1721 ], 99 next:= [ 117310, 117306 ] ), rec( 100 fp:= [ 55476, 93513 ], 101 level:= 5, 102 next:= [ 117316, 117309 ] ), rec( 103 desc:= [ 302006 ], 104 fp:= [ 1462, 1721 ], 105 next:= [ 117308, 117304 ] ), rec( 106 fp:= [ 28396, 44978 ], 107 level:= 5, 108 next:= [ 117312, 117305 ] ) ] ), rec( 109 fp:= [ 171, 172, 173 ], 110 next:= [ rec( 111 fp:= [ 53724, 68030 ], 112 level:= 5, 113 next:= [ rec( 114 desc:= [ 107003 ], 115 fp:= [ 416, 614 ], 116 next:= [ 121426, 121430 ] ), 121431 ] ), rec( 117 fp:= [ 53724, 68030 ], 118 level:= 5, 119 next:= [ 121422, 121423 ] ), rec( 120 desc:= [ 107003 ], 121 fp:= [ 418, 616 ], 122 next:= [ 121424, 121420 ] ) ] ), rec( 123 fp:= [ 173 ], 124 next:= [ rec( 125 desc:= [ 109011 ], 126 fp:= [ 1226, 1622, 2018, 2414 ], 127 next:= [ 125598, 125591, 125592, 125599 ] ) ] ), rec( 128 fp:= [ 171, 174, 175 ], 129 next:= [ rec( 130 desc:= [ 111011 ], 131 fp:= [ 24, 1222, 1618, 2014 ], 132 next:= [ 129657, 129661, 129669, 129665 ] ), rec( 133 desc:= [ 105003 ], 134 fp:= [ 4, 14 ], 135 next:= [ 129670, 129671 ] ), rec( 136 desc:= [ 106003 ], 137 fp:= [ 814, 1012 ], 138 next:= [ 129667, 129659 ] ) ] ), rec( 139 fp:= [ 171, 173, 177 ], 140 next:= [ rec( 141 desc:= [ 302006 ], 142 fp:= [ 29900, 39701, 40280 ], 143 next:= [ rec( 144 desc:= [ 207002 ], 145 fp:= [ 616, 814 ], 146 next:= [ 133352, 133358 ] ), rec( 147 desc:= [ 207002 ], 148 fp:= [ 418, 616 ], 149 next:= [ 133350, 133360 ] ), 133362 ] ), rec( 150 desc:= [ 105003 ], 151 fp:= [ 816, 1014 ], 152 next:= [ 133361, 133363 ] ), rec( 153 desc:= [ 105003 ], 154 fp:= [ 816, 1014 ], 155 next:= [ 133351, 133359 ] ) ] ), rec( 156 fp:= [ 284, 286, 291 ], 157 next:= [ rec( 158 fp:= [ 21167, 39874 ], 159 level:= 5, 160 next:= [ 138372, 138375 ] ), rec( 161 fp:= [ 4173, 85127 ], 162 level:= 5, 163 next:= [ 138371, 138370 ] ), rec( 164 desc:= [ 302011 ], 165 fp:= [ 582, 1161 ], 166 next:= [ 138368, 138378 ] ) ] ), rec( 167 fp:= [ 353 ], 168 next:= [ rec( 169 fp:= [ 47998, 51765 ], 170 level:= 5, 171 next:= [ 160593, 160588 ] ) ] ), rec( 172 fp:= [ 508, 586, 681 ], 173 next:= [ rec( 174 desc:= [ 302008, 209002 ], 175 fp:= [ 4, 14 ], 176 next:= [ 174473, 174477 ] ), rec( 177 desc:= [ 113003 ], 178 fp:= [ 4, 14 ], 179 next:= [ 174480, 174472 ] ), rec( 180 desc:= [ 112003 ], 181 fp:= [ 4, 14 ], 182 next:= [ 174470, 174474 ] ) ] ), rec( 183 fp:= [ 485, 649, 656 ], 184 next:= [ rec( 185 fp:= [ 26143, 32631 ], 186 level:= 5, 187 next:= [ rec( 188 desc:= [ 305016 ], 189 fp:= [ 446, 64682 ], 190 next:= [ 177812, 177808 ] ), 177810 ] ), rec( 191 desc:= [ 302006 ], 192 fp:= [ 384, 662 ], 193 next:= [ 177809, 177813 ] ), rec( 194 desc:= [ 305013 ], 195 fp:= [ 286, 48362 ], 196 next:= [ 177821, 177817 ] ) ] ), rec( 197 fp:= [ 601, 602 ], 198 next:= [ rec( 199 fp:= [ 15235, 72623 ], 200 level:= 5, 201 next:= [ 183334, 183329 ] ), rec( 202 fp:= [ 57968, 73936 ], 203 level:= 5, 204 next:= [ 183336, 183331 ] ) ] ), rec( 205 fp:= [ 508, 651 ], 206 next:= [ rec( 207 desc:= [ 105003 ], 208 fp:= [ 12, 814 ], 209 next:= [ 194001, 193992 ] ), rec( 210 fp:= [ 12084, 33469 ], 211 level:= 5, 212 next:= [ 193991, 194003 ] ) ] ), rec( 213 fp:= [ 765 ], 214 next:= [ rec( 215 desc:= [ 112007 ], 216 fp:= [ 4, 14 ], 217 next:= [ 199718, 199722 ] ) ] ), rec( 218 fp:= [ 597, 610 ], 219 next:= [ rec( 220 fp:= [ 11314, 49574 ], 221 level:= 5, 222 next:= [ 229684, 229679 ] ), rec( 223 fp:= [ 11314, 98245 ], 224 level:= 5, 225 next:= [ rec( 226 desc:= [ 107003 ], 227 fp:= [ 15, 213 ], 228 next:= [ 229678, 229686 ] ), 229682 ] ) ] ), rec( 229 fp:= [ 774 ], 230 next:= [ rec( 231 desc:= [ 108003 ], 232 fp:= [ 15, 213 ], 233 next:= [ 238299, 238297 ] ) ] ), rec( 234 fp:= [ 610, 659 ], 235 next:= [ rec( 236 fp:= [ 11314, 98245 ], 237 level:= 5, 238 next:= [ 242785, 242782 ] ), rec( 239 fp:= [ 11314, 49574 ], 240 level:= 5, 241 next:= [ 242779, 242784 ] ) ] ), rec( 242 fp:= [ 596 ], 243 next:= [ rec( 244 desc:= [ 108003 ], 245 fp:= [ 13, 211 ], 246 next:= [ 247279, 247277 ] ) ] ), rec( 247 fp:= [ 568, 724 ], 248 next:= [ rec( 249 desc:= [ 302018, 302007, 302009, 40207014 ], 250 fp:= [ 1, 7681 ], 251 next:= [ 255197, 255203 ] ), rec( 252 desc:= [ 302018, 302007, 302014, 40307014 ], 253 fp:= [ 1, 7681 ], 254 next:= [ 255199, 255202 ] ) ] ), rec( 255 fp:= [ 627, 666 ], 256 next:= [ rec( 257 desc:= [ 302009, 114003, 214002 ], 258 fp:= [ 2, 12 ], 259 next:= [ 262226, 262228 ] ), rec( 260 desc:= [ 302013, 112003, 212002 ], 261 fp:= [ 2, 12 ], 262 next:= [ 262236, 262234 ] ) ] ), rec( 263 fp:= [ 541, 627 ], 264 next:= [ rec( 265 desc:= [ 302010, 302022 ], 266 fp:= [ 622, 1041 ], 267 next:= [ 269670, 269672 ] ), rec( 268 desc:= [ 302010, 213003 ], 269 fp:= [ 2, 111 ], 270 next:= [ 269678, 269680 ] ) ] ), rec( 271 fp:= [ 775 ], 272 next:= [ rec( 273 desc:= [ 113003 ], 274 fp:= [ 4, 14 ], 275 next:= [ 279798, 279795 ] ) ] ), rec( 276 fp:= [ 519, 624, 758 ], 277 next:= [ rec( 278 desc:= [ 115003 ], 279 fp:= [ 2, 12 ], 280 next:= [ 295800, 295796 ] ), rec( 281 desc:= [ 302011, 213002 ], 282 fp:= [ 2, 12 ], 283 next:= [ 295793, 295791 ] ), rec( 284 desc:= [ 114003 ], 285 fp:= [ 2, 12 ], 286 next:= [ 295801, 295803 ] ) ] ), rec( 287 fp:= [ 833 ], 288 next:= [ rec( 289 desc:= [ 302010, 209002 ], 290 fp:= [ 2, 12 ], 291 next:= [ 300205, 300202 ] ) ] ), rec( 292 fp:= [ 799 ], 293 next:= [ rec( 294 fp:= [ 8661, 11351 ], 295 level:= 5, 296 next:= [ 304585, 304597 ] ) ] ), rec( 297 fp:= [ 744 ], 298 next:= [ rec( 299 desc:= [ 107003 ], 300 fp:= [ 13, 211 ], 301 next:= [ 308998, 309003 ] ) ] ), rec( 302 fp:= [ 1093 ], 303 next:= [ rec( 304 fp:= [ 30115, 30503 ], 305 level:= 5, 306 next:= [ 330743, 330741 ] ) ] ), rec( 307 fp:= [ 1018, 1020, 1122, 1126 ], 308 next:= [ rec( 309 desc:= [ 108003, 302005, 208002, 302009, 211002 ], 310 fp:= [ 418, 814 ], 311 next:= [ 336051, 336043 ] ), rec( 312 desc:= [ 108003 ], 313 fp:= [ 12, 814 ], 314 next:= [ 336053, rec( 315 desc:= [ 302005, 302007, 209002, 302010, 212002 ], 316 fp:= [ 8, 414 ], 317 next:= [ 336049, 336041 ] ) ] ), rec( 318 desc:= [ 108003 ], 319 fp:= [ 12, 814 ], 320 next:= [ 336052, rec( 321 desc:= [ 302013, 210002 ], 322 fp:= [ 8, 414 ], 323 next:= [ 336040, 336048 ] ) ] ), rec( 324 desc:= [ 108003 ], 325 fp:= [ 8, 414 ], 326 next:= [ 336050, rec( 327 desc:= [ 302012, 210002 ], 328 fp:= [ 4, 14 ], 329 next:= [ 336054, 336046 ] ) ] ) ] ), rec( 330 fp:= [ 1027, 1036 ], 331 next:= [ rec( 332 desc:= [ 108003 ], 333 fp:= [ 620, 1016 ], 334 next:= [ 340382, 340388 ] ), rec( 335 fp:= [ 63747, 66795, 89740 ], 336 level:= 5, 337 next:= [ 340392, 340390, 340396 ] ) ] ), rec( 338 fp:= [ 1144 ], 339 next:= [ rec( 340 desc:= [ 302011 ], 341 fp:= [ 784, 89161 ], 342 next:= [ 351446, 351456 ] ) ] ), rec( 343 fp:= [ 1192, 1262, 1310 ], 344 next:= [ rec( 345 desc:= [ 302007 ], 346 fp:= [ 28561, 38362 ], 347 next:= [ 357579, 357594 ] ), rec( 348 desc:= [ 114011 ], 349 fp:= [ 8, 414 ], 350 next:= [ 357582, 357599 ] ), rec( 351 desc:= [ 114011 ], 352 fp:= [ 8, 414 ], 353 next:= [ 357598, 357600 ] ) ] ), rec( 354 fp:= [ 1071 ], 355 next:= [ rec( 356 fp:= [ 31556, 91143 ], 357 level:= 5, 358 next:= [ 364425, 364428 ] ) ] ), rec( 359 fp:= [ 1121, 1122, 1123, 1126 ], 360 next:= [ rec( 361 desc:= [ 105003 ], 362 fp:= [ 4, 14 ], 363 next:= [ 375920, 375931 ] ), rec( 364 desc:= [ 302006, 210002 ], 365 fp:= [ 814, 1012 ], 366 next:= [ rec( 367 desc:= [ 209002 ], 368 fp:= [ 8, 414 ], 369 next:= [ 375932, 375928 ] ), 375924 ] ), rec( 370 desc:= [ 105003 ], 371 fp:= [ 4, 14 ], 372 next:= [ 375922, 375925 ] ), rec( 373 desc:= [ 302006 ], 374 fp:= [ 17060, 26861 ], 375 next:= [ 375930, rec( 376 desc:= [ 209002 ], 377 fp:= [ 8, 414 ], 378 next:= [ 375926, 375934 ] ) ] ) ] ), rec( 379 fp:= [ 1015 ], 380 next:= [ rec( 381 desc:= [ 111011 ], 382 fp:= [ 8, 18 ], 383 next:= [ 396775, 396776 ] ) ] ), rec( 384 fp:= [ 1230 ], 385 next:= [ rec( 386 fp:= [ 8027, 71545 ], 387 level:= 5, 388 next:= [ 403699, 403689 ] ) ] ), rec( 389 fp:= [ 1182, 1237, 1242, 1494 ], 390 next:= [ rec( 391 desc:= [ 106003 ], 392 fp:= [ 418, 616 ], 393 next:= [ 411386, 411390 ] ), rec( 394 desc:= [ 106003 ], 395 fp:= [ 616, 1012 ], 396 next:= [ 411406, 411382 ] ), rec( 397 fp:= [ 52786, 88929 ], 398 level:= 5, 399 next:= [ 411398, 411404 ] ), rec( 400 desc:= [ 106003 ], 401 fp:= [ 816, 1014 ], 402 next:= [ 411379, 411383 ] ) ] ), rec( 403 fp:= [ 1190 ], 404 next:= [ rec( 405 fp:= [ 90187, 96839 ], 406 level:= 5, 407 next:= [ 429057, 429044 ] ) ] ), rec( 408 fp:= [ 1178, 1320 ], 409 next:= [ rec( 410 fp:= [ 18529, 50079 ], 411 level:= 5, 412 next:= [ 436586, 436573 ] ), rec( 413 desc:= [ 302006 ], 414 fp:= [ 28561, 38362 ], 415 next:= [ 436570, 436566 ] ) ] ), rec( 416 fp:= [ 1184 ], 417 next:= [ rec( 418 desc:= [ 108003 ], 419 fp:= [ 18, 216 ], 420 next:= [ 443762, 443766 ] ) ] ), rec( 421 fp:= [ 1034, 1155, 1239, 1314 ], 422 next:= [ rec( 423 desc:= [ 106003 ], 424 fp:= [ 620, 1016 ], 425 next:= [ 450092, 450096 ] ), rec( 426 desc:= [ 106003 ], 427 fp:= [ 218, 614 ], 428 next:= [ 450098, 450105 ] ), rec( 429 fp:= [ 18529, 50079 ], 430 level:= 5, 431 next:= [ 450094, 450095 ] ), rec( 432 desc:= [ 106003 ], 433 fp:= [ 220, 616 ], 434 next:= [ 450102, 450107 ] ) ] ), rec( 435 fp:= [ 1461, 1500 ], 436 next:= [ rec( 437 desc:= [ 106003 ], 438 fp:= [ 220, 418 ], 439 next:= [ 457171, 457175 ] ), rec( 440 desc:= [ 106003 ], 441 fp:= [ 418, 616 ], 442 next:= [ 457191, 457187 ] ) ] ), rec( 443 fp:= [ 1532 ], 444 next:= [ rec( 445 desc:= [ 302006 ], 446 fp:= [ 18661, 28462 ], 447 next:= [ 465059, 465067 ] ) ] ), rec( 448 fp:= [ 1293 ], 449 next:= [ rec( 450 desc:= [ 107003 ], 451 fp:= [ 6, 214 ], 452 next:= [ 474158, 474156 ] ) ] ), rec( 453 fp:= [ 1169, 1212, 1237, 1486, 1563 ], 454 next:= [ rec( 455 desc:= [ 107003 ], 456 fp:= [ 16, 214 ], 457 next:= [ 483074, 483070 ] ), rec( 458 desc:= [ 302008 ], 459 fp:= [ 18463, 28264, 62443 ], 460 next:= [ 483072, 483062, 483066 ] ), rec( 461 desc:= [ 107003 ], 462 fp:= [ 8, 612 ], 463 next:= [ 483082, 483088 ] ), rec( 464 desc:= [ 107003 ], 465 fp:= [ 614, 812 ], 466 next:= [ 483091, 483079 ] ), rec( 467 desc:= [ 302009 ], 468 fp:= [ 346, 54682 ], 469 next:= [ 483081, 483089 ] ) ] ), rec( 470 fp:= [ 1408 ], 471 next:= [ rec( 472 fp:= [ 8961, 53352 ], 473 level:= 5, 474 next:= [ 492263, 492259 ] ) ] ), rec( 475 fp:= [ 1262, 1384 ], 476 next:= [ rec( 477 desc:= [ 108003 ], 478 fp:= [ 8, 612 ], 479 next:= [ 500982, 500984 ] ), rec( 480 fp:= [ 29426, 97122 ], 481 level:= 5, 482 next:= [ 500989, 500996 ] ) ] ), rec( 483 fp:= [ 1248, 1395 ], 484 next:= [ rec( 485 fp:= [ 24043, 95974 ], 486 level:= 5, 487 next:= [ 510181, 510188 ] ), rec( 488 fp:= [ 37695, 72962 ], 489 level:= 5, 490 next:= [ 510200, 510193 ] ) ] ), rec( 491 fp:= [ 1189, 1327 ], 492 next:= [ rec( 493 fp:= [ 34801, 88357 ], 494 level:= 5, 495 next:= [ 518928, 518944 ] ), rec( 496 fp:= [ 36443, 67348 ], 497 level:= 5, 498 next:= [ 518938, 518942 ] ) ] ), rec( 499 fp:= [ 1364, 1520 ], 500 next:= [ rec( 501 fp:= [ 39142, 43303 ], 502 level:= 5, 503 next:= [ 527540, 527517 ] ), rec( 504 desc:= [ 106003 ], 505 fp:= [ 416, 614 ], 506 next:= [ 527527, 527531 ] ) ] ), rec( 507 fp:= [ 1227, 1302 ], 508 next:= [ rec( 509 desc:= [ 302007 ], 510 fp:= [ 39224, 45933 ], 511 next:= [ 534405, 534398 ] ), rec( 512 desc:= [ 106003 ], 513 fp:= [ 216, 612 ], 514 next:= [ 534406, 534407 ] ) ] ), rec( 515 fp:= [ 1070, 1212 ], 516 next:= [ rec( 517 desc:= [ 108003 ], 518 fp:= [ 816, 1014 ], 519 next:= [ 549400, 549422 ] ), rec( 520 fp:= [ 39975, 57049 ], 521 level:= 5, 522 next:= [ 549402, 549423 ] ) ] ), rec( 523 fp:= [ 1306, 1424 ], 524 next:= [ rec( 525 desc:= [ 107003 ], 526 fp:= [ 416, 614 ], 527 next:= [ 558170, 558190 ] ), rec( 528 desc:= [ 302008 ], 529 fp:= [ 38442, 39323, 49303 ], 530 next:= [ 558185, 558187, 558199 ] ) ] ), rec( 531 fp:= [ 1105 ], 532 next:= [ rec( 533 fp:= [ 23330, 56814 ], 534 level:= 5, 535 next:= [ 567280, 567294 ] ) ] ), rec( 536 fp:= [ 1105, 1197, 1320, 1461 ], 537 next:= [ rec( 538 desc:= [ 106003 ], 539 fp:= [ 226, 622 ], 540 next:= [ 576306, 576314 ] ), rec( 541 desc:= [ 302006 ], 542 fp:= [ 38461, 48441 ], 543 next:= [ 576302, 576316 ] ), rec( 544 fp:= [ 41049, 46411 ], 545 level:= 5, 546 next:= [ 576318, 576313 ] ), rec( 547 desc:= [ 105003 ], 548 fp:= [ 220, 418 ], 549 next:= [ 576309, 576307 ] ) ] ), rec( 550 fp:= [ 1333 ], 551 next:= [ rec( 552 desc:= [ 302008 ], 553 fp:= [ 38461, 48262 ], 554 next:= [ 594556, 594540 ] ) ] ), rec( 555 fp:= [ 1226 ], 556 next:= [ rec( 557 fp:= [ 32728, 94494 ], 558 level:= 5, 559 next:= [ 601860, 601869 ] ) ] ), rec( 560 fp:= [ 1177 ], 561 next:= [ rec( 562 fp:= [ 9632, 71398 ], 563 level:= 5, 564 next:= [ 608293, 608272 ] ) ] ), rec( 565 fp:= [ 1141, 1221 ], 566 next:= [ rec( 567 desc:= [ 107003 ], 568 fp:= [ 4, 212 ], 569 next:= [ 615582, 615577 ] ), rec( 570 desc:= [ 107003 ], 571 fp:= [ 6, 412 ], 572 next:= [ 615570, 615573 ] ) ] ), rec( 573 fp:= [ 1448, 1523, 1597 ], 574 next:= [ rec( 575 desc:= [ 106003 ], 576 fp:= [ 20, 614 ], 577 next:= [ 631217, 631206 ] ), rec( 578 desc:= [ 105003 ], 579 fp:= [ 416, 614 ], 580 next:= [ 631225, 631211 ] ), rec( 581 desc:= [ 107003, 110003, 302006, 302008, 302013, 304013, 211004, 58240207012 ], 583 fp:= [ 2, 741 ], 584 next:= [ 631208, 631224 ] ) ] ), rec( 585 fp:= [ 1429 ], 586 next:= [ rec( 587 fp:= [ 28312, 48383 ], 588 level:= 5, 589 next:= [ 639177, 639180 ] ) ] ), rec( 590 fp:= [ 1471, 1490 ], 591 next:= [ rec( 592 desc:= [ 107003 ], 593 fp:= [ 8, 612 ], 594 next:= [ 648115, 648133 ] ), rec( 595 desc:= [ 302006 ], 596 fp:= [ 285, 38461 ], 597 next:= [ 648122, 648137 ] ) ] ), rec( 598 fp:= [ 1204, 1212 ], 599 next:= [ rec( 600 fp:= [ 11232, 63570 ], 601 level:= 5, 602 next:= [ 656912, 656910 ] ), rec( 603 fp:= [ 26317, 65268 ], 604 level:= 5, 605 next:= [ 656914, 656905 ] ) ] ), rec( 606 fp:= [ 1170, 1252, 1322, 1476, 1499 ], 607 next:= [ rec( 608 desc:= [ 105003 ], 609 fp:= [ 220, 418 ], 610 next:= [ 665812, 665817 ] ), rec( 611 desc:= [ 302008 ], 612 fp:= [ 73937, 83738, 90447 ], 613 next:= [ 665807, 665806, 665803 ] ), rec( 614 desc:= [ 105003 ], 615 fp:= [ 618, 816 ], 616 next:= [ 665818, 665804 ] ), rec( 617 desc:= [ 302005 ], 618 fp:= [ 384, 48361 ], 619 next:= [ 665815, rec( 620 desc:= [ 209002 ], 621 fp:= [ 422, 620 ], 622 next:= [ 665811, 665801 ] ) ] ), rec( 623 desc:= [ 105003 ], 624 fp:= [ 614, 812 ], 625 next:= [ 665808, 665805 ] ) ] ), rec( 626 fp:= [ 1194, 1201, 1452, 1453, 2185 ], 627 next:= [ rec( 628 desc:= [ 105003 ], 629 fp:= [ 420, 618 ], 630 next:= [ 674655, 674631 ] ), rec( 631 desc:= [ 106003 ], 632 fp:= [ 420, 618 ], 633 next:= [ 674641, 674643 ] ), rec( 634 desc:= [ 106003 ], 635 fp:= [ 20, 218 ], 636 next:= [ 674659, 674635 ] ), rec( 637 desc:= [ 302009 ], 638 fp:= [ 44782, 45121, 87127 ], 639 next:= [ 674657, 674634, 674642 ] ), rec( 640 desc:= [ 106003 ], 641 fp:= [ 226, 424 ], 642 next:= [ 674632, 674648 ] ) ] ), rec( 643 fp:= [ 1308, 1441, 1513 ], 644 next:= [ rec( 645 fp:= [ 53255, 87084 ], 646 level:= 5, 647 next:= [ 683213, 683216 ] ), rec( 648 desc:= [ 302008 ], 649 fp:= [ 18661, 28462 ], 650 next:= [ 683217, 683219 ] ), rec( 651 fp:= [ 17386, 83218 ], 652 level:= 5, 653 next:= [ 683211, 683215 ] ) ] ), rec( 654 fp:= [ 1500, 1534 ], 655 next:= [ rec( 656 desc:= [ 106003 ], 657 fp:= [ 414, 612 ], 658 next:= [ 692427, 692435 ] ), rec( 659 desc:= [ 105003 ], 660 fp:= [ 416, 614 ], 661 next:= [ 692437, 692438 ] ) ] ), rec( 662 fp:= [ 1135, 1142, 1410, 1417, 1510 ], 663 next:= [ rec( 664 fp:= [ 64878, 92379 ], 665 level:= 5, 666 next:= [ 701711, 701715 ] ), rec( 667 fp:= [ 39323, 42287 ], 668 level:= 5, 669 next:= [ 701717, rec( 670 desc:= [ 302011 ], 671 fp:= [ 24982, 34783 ], 672 next:= [ 701729, 701726 ] ) ] ), rec( 673 fp:= [ 68214, 84726 ], 674 level:= 5, 675 next:= [ 701738, 701713 ] ), rec( 676 desc:= [ 302009 ], 677 fp:= [ 28264, 62443 ], 678 next:= [ 701730, 701722 ] ), rec( 679 desc:= [ 302009 ], 680 fp:= [ 8662, 18463, 62443 ], 681 next:= [ 701739, 701733, 701714 ] ) ] ), rec( 682 fp:= [ 1519 ], 683 next:= [ rec( 684 desc:= [ 302007 ], 685 fp:= [ 662, 48361 ], 686 next:= [ 710761, 710751 ] ) ] ), rec( 687 fp:= [ 1461 ], 688 next:= [ rec( 689 fp:= [ 26859, 92827 ], 690 level:= 5, 691 next:= [ 719989, 719982 ] ) ] ), rec( 692 fp:= [ 1208, 1290 ], 693 next:= [ rec( 694 desc:= [ 302007, 212002 ], 695 fp:= [ 9, 712 ], 696 next:= [ 729146, 729154 ] ), rec( 697 desc:= [ 107003 ], 698 fp:= [ 420, 618 ], 699 next:= [ 729139, 729149 ] ) ] ), rec( 700 fp:= [ 1258 ], 701 next:= [ rec( 702 fp:= [ 86574, 89207 ], 703 level:= 5, 704 next:= [ 738246, 738262 ] ) ] ), rec( 705 fp:= [ 1305, 1520 ], 706 next:= [ rec( 707 desc:= [ 107003 ], 708 fp:= [ 1014, 1212 ], 709 next:= [ 765467, 765482 ] ), rec( 710 desc:= [ 302007 ], 711 fp:= [ 38461, 48262 ], 712 next:= [ 765487, 765483 ] ) ] ), rec( 713 fp:= [ 1188, 1272, 1408 ], 714 next:= [ rec( 715 desc:= [ 107003 ], 716 fp:= [ 20, 218 ], 717 next:= [ 774376, 774379 ] ), rec( 718 fp:= [ 12570, 63071 ], 719 level:= 5, 720 next:= [ 774380, 774385 ] ), rec( 721 desc:= [ 302008 ], 722 fp:= [ 48361, 58341 ], 723 next:= [ 774384, 774373 ] ) ] ), rec( 724 fp:= [ 1240 ], 725 next:= [ rec( 726 desc:= [ 302006 ], 727 fp:= [ 18661, 28641 ], 728 next:= [ 783170, 783159 ] ) ] ), rec( 729 fp:= [ 1141, 1531 ], 730 next:= [ rec( 731 fp:= [ 48852, 99234 ], 732 level:= 5, 733 next:= [ 792196, 792212 ] ), rec( 734 desc:= [ 106003 ], 735 fp:= [ 218, 416 ], 736 next:= [ 792216, 792215 ] ) ] ), rec( 737 fp:= [ 1405 ], 738 next:= [ rec( 739 desc:= [ 302008 ], 740 fp:= [ 18661, 28641 ], 741 next:= [ 801028, 801044 ] ) ] ), rec( 742 fp:= [ 1128 ], 743 next:= [ rec( 744 desc:= [ 107003 ], 745 fp:= [ 218, 614 ], 746 next:= [ 807070, 807056 ] ) ] ), rec( 747 fp:= [ 1259, 1564, 1570 ], 748 next:= [ rec( 749 desc:= [ 302008 ], 750 fp:= [ 42643, 59153 ], 751 next:= [ 824322, 824302 ] ), rec( 752 desc:= [ 302008 ], 753 fp:= [ 42723, 62249 ], 754 next:= [ 824311, rec( 755 desc:= [ 213002 ], 756 fp:= [ 6, 412 ], 757 next:= [ 824317, 824305 ] ) ] ), rec( 758 desc:= [ 302008 ], 759 fp:= [ 42803, 49333 ], 760 next:= [ 824307, 824321 ] ) ] ), rec( 761 fp:= [ 1403, 1408, 1410, 1579 ], 762 next:= [ rec( 763 desc:= [ 108003 ], 764 fp:= [ 14, 212 ], 765 next:= [ 831021, 831006 ] ), rec( 766 desc:= [ 302011 ], 767 fp:= [ 1806, 80547, 84317 ], 768 next:= [ 831002, 831014, 831005 ] ), rec( 769 desc:= [ 302007, 313016, 313019, 118005, 304015, 308019, 40508010 ], 770 fp:= [ 1, 1921 ], 771 next:= [ 831027, 831011 ] ), rec( 772 desc:= [ 302009, 109003, 211002, 302012, 40207010 ], 773 fp:= [ 1, 1281 ], 774 next:= [ 831016, 831008 ] ) ] ), rec( 775 fp:= [ 1177 ], 776 next:= [ rec( 777 desc:= [ 107003 ], 778 fp:= [ 216, 414 ], 779 next:= [ 839314, 839318 ] ) ] ), rec( 780 fp:= [ 1282, 1317, 1387, 1445, 1451, 1506, 1508, 1565 ], 781 next:= [ rec( 782 desc:= [ 109011 ], 783 fp:= [ 8, 414 ], 784 next:= [ 848366, 848368 ] ), rec( 785 desc:= [ 302004 ], 786 fp:= [ 285, 38461 ], 787 next:= [ 848364, 848376 ] ), rec( 788 desc:= [ 104003 ], 789 fp:= [ 16, 214 ], 790 next:= [ 848361, 848374 ] ), rec( 791 desc:= [ 302005 ], 792 fp:= [ 36193, 98956 ], 793 next:= [ 848363, 848365 ] ), rec( 794 desc:= [ 302004 ], 795 fp:= [ 483, 58261 ], 796 next:= [ 848369, 848362 ] ), rec( 797 desc:= [ 302006 ], 798 fp:= [ 544, 64681 ], 799 next:= [ 848387, 848375 ] ), rec( 800 desc:= [ 104003 ], 801 fp:= [ 16, 214, 412 ], 802 next:= [ 848384, 848386, 848383 ] ), rec( 803 desc:= [ 104003 ], 804 fp:= [ 2, 12 ], 805 next:= [ 848389, 848371 ] ) ] ), rec( 806 fp:= [ 1432 ], 807 next:= [ rec( 808 fp:= [ 24922, 77716 ], 809 level:= 5, 810 next:= [ 857381, 857399 ] ) ] ), rec( 811 fp:= [ 1307, 1445 ], 812 next:= [ rec( 813 desc:= [ 106003 ], 814 fp:= [ 416, 614 ], 815 next:= [ 875923, 875946 ] ), rec( 816 desc:= [ 302006 ], 817 fp:= [ 36193, 98956 ], 818 next:= [ 875951, 875944 ] ) ] ), rec( 819 fp:= [ 1404, 1414, 1443 ], 820 next:= [ rec( 821 desc:= [ 106003 ], 822 fp:= [ 16, 214 ], 823 next:= [ 885087, 885110 ] ), rec( 824 desc:= [ 106003 ], 825 fp:= [ 16, 214 ], 826 next:= [ 885104, 885111 ] ), rec( 827 desc:= [ 106003 ], 828 fp:= [ 214, 412 ], 829 next:= [ 885099, 885108 ] ) ] ), rec( 830 fp:= [ 1450 ], 831 next:= [ rec( 832 fp:= [ 22299, 69166 ], 833 level:= 5, 834 next:= [ 894340, 894366 ] ) ] ), rec( 835 fp:= [ 1453, 1457, 1555 ], 836 next:= [ rec( 837 desc:= [ 302008 ], 838 fp:= [ 544, 64681 ], 839 next:= [ 903606, 903624 ] ), rec( 840 desc:= [ 302007 ], 841 fp:= [ 35934, 46343, 60015 ], 842 next:= [ 903604, 903609, 903619 ] ), rec( 843 desc:= [ 302008 ], 844 fp:= [ 44881, 54682 ], 845 next:= [ 903615, 903633 ] ) ] ), rec( 846 fp:= [ 1421 ], 847 next:= [ rec( 848 fp:= [ 6115, 51680 ], 849 level:= 5, 850 next:= [ 912779, 912792 ] ) ] ), rec( 851 fp:= [ 1457, 1512 ], 852 next:= [ rec( 853 desc:= [ 107003 ], 854 fp:= [ 16, 214 ], 855 next:= [ 922037, 922019 ] ), rec( 856 desc:= [ 107003 ], 857 fp:= [ 14, 212 ], 858 next:= [ 922043, 922042 ] ) ] ), rec( 859 fp:= [ 1452, 1505, 1530 ], 860 next:= [ rec( 861 desc:= [ 302006 ], 862 fp:= [ 483, 58261 ], 863 next:= [ 931116, 931124 ] ), rec( 864 desc:= [ 106003 ], 865 fp:= [ 6, 214 ], 866 next:= [ 931137, 931119 ] ), rec( 867 desc:= [ 302007, 304011, 113003, 213005 ], 868 fp:= [ 6, 412 ], 869 next:= [ 931132, 931140 ] ) ] ), rec( 870 fp:= [ 1164, 1404, 1452, 1569 ], 871 next:= [ rec( 872 desc:= [ 107003 ], 873 fp:= [ 216, 414 ], 874 next:= [ 940154, 940146 ] ), rec( 875 desc:= [ 107003 ], 876 fp:= [ 14, 212 ], 877 next:= [ 940158, 940148 ] ), rec( 878 desc:= [ 302008, 213002 ], 879 fp:= [ 6, 412 ], 880 next:= [ 940163, 940161 ] ), rec( 881 desc:= [ 107003 ], 882 fp:= [ 2, 12 ], 883 next:= [ 940149, 940157 ] ) ] ), rec( 884 fp:= [ 1201, 1477 ], 885 next:= [ rec( 886 desc:= [ 106003 ], 887 fp:= [ 614, 812 ], 888 next:= [ 949397, 949398 ] ), rec( 889 desc:= [ 302007 ], 890 fp:= [ 59153, 69133 ], 891 next:= [ 949392, 949418 ] ) ] ), rec( 892 fp:= [ 1410 ], 893 next:= [ rec( 894 fp:= [ 52310, 79464 ], 895 level:= 5, 896 next:= [ rec( 897 desc:= [ 302007 ], 898 fp:= [ 582, 761 ], 899 next:= [ 958571, 958567 ] ), rec( 900 desc:= [ 302010 ], 901 fp:= [ 73838, 97057 ], 902 next:= [ 958582, 958577 ] ) ] ) ] ), rec( 903 fp:= [ 1175, 1350, 1400, 1429, 1435 ], 904 next:= [ rec( 905 fp:= [ 19778, 53427 ], 906 level:= 5, 907 next:= [ 967709, 967726 ] ), rec( 908 desc:= [ 108003 ], 909 fp:= [ 14, 212 ], 910 next:= [ 967724, 967727 ] ), rec( 911 fp:= [ 42815, 58102 ], 912 level:= 5, 913 next:= [ 967736, 967738 ] ), rec( 914 fp:= [ 83802, 95103 ], 915 level:= 5, 916 next:= [ 967735, 967713 ] ), rec( 917 desc:= [ 107003 ], 918 fp:= [ 2, 12 ], 919 next:= [ 967712, 967730 ] ) ] ), rec( 920 fp:= [ 1556 ], 921 next:= [ rec( 922 fp:= [ 29178, 81361 ], 923 level:= 5, 924 next:= [ 976869, 976887 ] ) ] ), rec( 925 fp:= [ 1490, 1501, 1508 ], 926 next:= [ rec( 927 desc:= [ 302006 ], 928 fp:= [ 42544, 42723, 49253 ], 929 next:= [ 994994, 994976, 994981 ] ), rec( 930 desc:= [ 105003 ], 931 fp:= [ 6, 412 ], 932 next:= [ 994986, 994999 ] ), rec( 933 desc:= [ 105003 ], 934 fp:= [ 6, 412 ], 935 next:= [ 994991, 994978 ] ) ] ), rec( 936 fp:= [ 1453 ], 937 next:= [ rec( 938 desc:= [ 106003 ], 939 fp:= [ 214, 412 ], 940 next:= [ 1003850, 1003832 ] ) ] ), rec( 941 fp:= [ 1090, 1156, 1213, 1291 ], 942 next:= [ rec( 943 fp:= [ 27809, 43631 ], 944 level:= 5, 945 next:= [ 1011239, 1011236 ] ), rec( 946 fp:= [ 6980, 14708, 23772 ], 947 level:= 5, 948 next:= [ 1011237, 1011244, 1011231 ] ), rec( 949 fp:= [ 5687, 73230 ], 950 level:= 5, 951 next:= [ 1011247, 1011258 ] ), rec( 952 fp:= [ 55106, 57990 ], 953 level:= 5, 954 next:= [ 1011242, 1011233 ] ) ] ), rec( 955 fp:= [ 1037, 1097, 1185, 1284 ], 956 next:= [ rec( 957 desc:= [ 302005 ], 958 fp:= [ 38442, 55833 ], 959 next:= [ 1018238, 1018242 ] ), rec( 960 desc:= [ 105003 ], 961 fp:= [ 28, 820 ], 962 next:= [ 1018236, 1018247 ] ), rec( 963 fp:= [ 68130, 68285 ], 964 level:= 5, 965 next:= [ 1018243, 1018234 ] ), rec( 966 fp:= [ 68130, 68285 ], 967 level:= 5, 968 next:= [ rec( 969 desc:= [ 302007 ], 970 fp:= [ 56521, 66581 ], 971 next:= [ 1018245, 1018240 ] ), 1018241 ] ) ] ), rec( 972 fp:= [ 1223 ], 973 next:= [ rec( 974 fp:= [ 9732, 54308 ], 975 level:= 5, 976 next:= [ 1026052, 1026054 ] ) ] ), rec( 977 fp:= [ 1834, 1964, 2113, 2120 ], 978 next:= [ rec( 979 desc:= [ 107003, 116003, 308016, 40803004 ], 980 fp:= [ 1, 321 ], 981 next:= [ 1060331, 1060347 ] ), rec( 982 desc:= [ 108003, 117003, 309017, 40904005 ], 983 fp:= [ 1, 961 ], 984 next:= [ 1060351, 1060335 ] ), rec( 985 fp:= [ 24941, 67118 ], 986 level:= 5, 987 next:= [ 1060340, 1060354 ] ), rec( 988 fp:= [ 20380, 77864 ], 989 level:= 5, 990 next:= [ 1060336, 1060342 ] ) ] ), rec( 991 fp:= [ 2052 ], 992 next:= [ rec( 993 fp:= [ 22901, 88368 ], 994 level:= 5, 995 next:= [ 1066582, 1066570 ] ) ] ), rec( 996 fp:= [ 2007 ], 997 next:= [ rec( 998 fp:= [ 53909, 98719 ], 999 level:= 5, 1000 next:= [ 1073019, 1073017 ] ) ] ), rec( 1001 fp:= [ 2203 ], 1002 next:= [ rec( 1003 desc:= [ 108003 ], 1004 fp:= [ 12, 814 ], 1005 next:= [ 1077493, 1077486 ] ) ] ), rec( 1006 fp:= [ 2295 ], 1007 next:= [ rec( 1008 fp:= [ 70256, 79877 ], 1009 level:= 5, 1010 next:= [ 1083294, 1083295 ] ) ] ) ] ); 1011