1############################################################################# 2## 3#W id8.adq GAP library of id's Hans Ulrich Besche 4## 5 6ID_GROUP_TREE.next[8].next[1].next[121]:= 7rec( 8 fp:= [ 720, 1020, 2820, 4020, 6120, 7020, 7320, 7620, 7920, 8220, 8520, 98820, 9120, 9420, 9720, 10020, 10920, 11520, 12720, 13020, 15120, 16320, 1017820, 18120, 19020, 19320, 19920, 20220, 20520, 21120, 22020, 22320, 23220, 1124420, 25020, 25320, 25620, 27120, 27420, 27720, 28620, 28920, 29220, 29520, 1230120, 30720, 31020, 31320, 31620, 31920, 32220, 33120, 33420, 33720, 34320, 1335520, 35820, 36120, 36420, 36720, 37020, 37320, 37620, 38220, 38520, 39120, 1439720, 40320, 40620, 40920, 41220, 41520, 41820, 42120, 42420, 42720, 43020, 1543320, 43620, 43920, 44220, 44520, 44820, 45120, 45420, 45720, 46320, 46620, 1646920, 47220, 47520, 47820, 48720, 49020, 49320, 49620, 49920, 50520, 50820, 1752020, 52320, 52620, 52920, 54120, 55920 ], 18 next:= [ rec( 19 fp:= [ 563 ], 20 next:= [ rec( 21 desc:= [ 106003, 302005, 302007, 210002, 304010, 214004 ], 22 fp:= [ 8, 18 ], 23 next:= [ 58256, 58259 ] ) ] ), rec( 24 fp:= [ 1650 ], 25 next:= [ rec( 26 desc:= [ 302005, 212003 ], 27 fp:= [ 8, 18 ], 28 next:= [ 59632, 59633 ] ) ] ), rec( 29 fp:= [ 689 ], 30 next:= [ rec( 31 desc:= [ 111005 ], 32 fp:= [ 8, 18 ], 33 next:= [ 69379, 69377 ] ) ] ), rec( 34 fp:= [ 1632 ], 35 next:= [ rec( 36 desc:= [ 214007 ], 37 fp:= [ 4, 14 ], 38 next:= [ 76422, 76427 ] ) ] ), rec( 39 fp:= [ 869 ], 40 next:= [ rec( 41 desc:= [ 116007 ], 42 fp:= [ 8, 18 ], 43 next:= [ 87382, 87381 ] ) ] ), rec( 44 fp:= [ 166, 168, 174 ], 45 next:= [ rec( 46 desc:= [ 106003 ], 47 fp:= [ 16, 1214 ], 48 next:= [ 93122, 93119 ] ), rec( 49 fp:= [ 19986, 67962 ], 50 level:= 5, 51 next:= [ 93125, 93120 ] ), rec( 52 desc:= [ 105003 ], 53 fp:= [ 20, 1614 ], 54 next:= [ 93126, 93124 ] ) ] ), rec( 55 fp:= [ 168, 169, 171, 175 ], 56 next:= [ rec( 57 desc:= [ 107003, 302005, 302007, 209002 ], 58 fp:= [ 14, 212 ], 59 next:= [ 96697, rec( 60 desc:= [ 302010, 213002 ], 61 fp:= [ 26, 422 ], 62 next:= [ 96693, 96701 ] ) ] ), rec( 63 desc:= [ 109003, 302005, 302007, 211002 ], 64 fp:= [ 14, 212 ], 65 next:= [ 96695, rec( 66 desc:= [ 109003, 302009, 212002 ], 67 fp:= [ 26, 422 ], 68 next:= [ 96699, 96691 ] ) ] ), rec( 69 desc:= [ 302012, 210002 ], 70 fp:= [ 22, 814 ], 71 next:= [ 96688, 96692 ] ), rec( 72 desc:= [ 107003 ], 73 fp:= [ 8, 414 ], 74 next:= [ 96698, 96694 ] ) ] ), rec( 75 fp:= [ 171 ], 76 next:= [ rec( 77 desc:= [ 302007 ], 78 fp:= [ 1165, 26960 ], 79 next:= [ 100325, rec( 80 desc:= [ 108003 ], 81 fp:= [ 4, 14 ], 82 next:= [ 100324, 100329 ] ) ] ) ] ), rec( 83 fp:= [ 170, 178 ], 84 next:= [ rec( 85 desc:= [ 302009, 208002 ], 86 fp:= [ 8, 18 ], 87 next:= [ 103649, 103647 ] ), rec( 88 desc:= [ 302007, 208002 ], 89 fp:= [ 8, 18 ], 90 next:= [ 103653, 103652 ] ) ] ), rec( 91 fp:= [ 167, 175 ], 92 next:= [ rec( 93 desc:= [ 106003 ], 94 fp:= [ 8, 414 ], 95 next:= [ rec( 96 desc:= [ 108003, 302004, 302006, 302010 ], 97 fp:= [ 12, 2061 ], 98 next:= [ 107039, rec( 99 desc:= [ 302009, 211002, 302012, 302015, 305013, 213005, 40212013 ], 100 fp:= [ 5, 10641 ], 101 next:= [ 107040, 107038 ] ) ] ), 107035 ] ), rec( 102 desc:= [ 106003, 302004, 302006, 302008, 302010, 40308008 ], 103 fp:= [ 1, 5121 ], 104 next:= [ 107036, 107032 ] ) ] ), rec( 105 fp:= [ 168, 171, 174, 1122 ], 106 next:= [ rec( 107 desc:= [ 106003 ], 108 fp:= [ 6, 412 ], 109 next:= [ 111167, 111174 ] ), rec( 110 desc:= [ 106003 ], 111 fp:= [ 8, 414, 612 ], 112 next:= [ 111175, 111171, 111178 ] ), rec( 113 desc:= [ 106003 ], 114 fp:= [ 614, 812 ], 115 next:= [ 111179, rec( 116 desc:= [ 302005 ], 117 fp:= [ 1462, 1721 ], 118 next:= [ 111180, 111168 ] ) ] ), rec( 119 desc:= [ 105003 ], 120 fp:= [ 8, 414 ], 121 next:= [ 111172, 111166 ] ) ] ), rec( 122 fp:= [ 166, 172, 173, 1021 ], 123 next:= [ rec( 124 desc:= [ 105003 ], 125 fp:= [ 16, 1214 ], 126 next:= [ 115457, 115450 ] ), rec( 127 desc:= [ 302008 ], 128 fp:= [ 1584, 69500 ], 129 next:= [ rec( 130 desc:= [ 107003 ], 131 fp:= [ 414, 612 ], 132 next:= [ 115453, 115460 ] ), 115452 ] ), rec( 133 desc:= [ 105003 ], 134 fp:= [ 8, 414 ], 135 next:= [ 115456, 115451 ] ), rec( 136 desc:= [ 111011 ], 137 fp:= [ 24, 1618 ], 138 next:= [ 115455, 115454 ] ) ] ), rec( 139 fp:= [ 166, 169, 171, 172, 175 ], 140 next:= [ rec( 141 desc:= [ 108003 ], 142 fp:= [ 614, 812 ], 143 next:= [ 119614, rec( 144 desc:= [ 302008 ], 145 fp:= [ 1584, 69500 ], 146 next:= [ 119620, 119616 ] ) ] ), rec( 147 desc:= [ 108003, 302005, 302007, 302009, 211002, 302012, 214002, 148306014, 219006 ], 149 fp:= [ 34, 826 ], 150 next:= [ 119624, 119621 ] ), rec( 151 desc:= [ 106003 ], 152 fp:= [ 414, 612 ], 153 next:= [ 119617, 119627 ] ), rec( 154 desc:= [ 302008 ], 155 fp:= [ 1584, 69500 ], 156 next:= [ rec( 157 desc:= [ 107003, 302006, 208002, 302009, 302011, 213002, 302014, 15840308010 ], 159 fp:= [ 3, 2761 ], 160 next:= [ 119615, 119618 ] ), 119622 ] ), rec( 161 desc:= [ 106003 ], 162 fp:= [ 10, 812 ], 163 next:= [ 119619, 119625 ] ) ] ), rec( 164 fp:= [ 165, 171, 172, 174 ], 165 next:= [ rec( 166 desc:= [ 302008, 110003, 210003 ], 167 fp:= [ 218, 416 ], 168 next:= [ 123743, 123735 ] ), rec( 169 fp:= [ 53724, 68030 ], 170 level:= 5, 171 next:= [ 123745, 123744 ] ), rec( 172 fp:= [ 53724, 68030 ], 173 level:= 5, 174 next:= [ rec( 175 desc:= [ 107003 ], 176 fp:= [ 10, 614, 812 ], 177 next:= [ 123746, 123738, 123737 ] ), 123736 ] ), rec( 178 desc:= [ 107003 ], 179 fp:= [ 616, 814 ], 180 next:= [ 123747, rec( 181 desc:= [ 302007 ], 182 fp:= [ 1264, 36860 ], 183 next:= [ 123748, 123740 ] ) ] ) ] ), rec( 184 fp:= [ 168, 173, 174, 177 ], 185 next:= [ rec( 186 desc:= [ 105003 ], 187 fp:= [ 216, 414 ], 188 next:= [ 127779, 127777 ] ), rec( 189 desc:= [ 302005 ], 190 fp:= [ 17060, 26861 ], 191 next:= [ rec( 192 desc:= [ 107003 ], 193 fp:= [ 418, 616 ], 194 next:= [ 127782, 127781 ] ), rec( 195 desc:= [ 302009 ], 196 fp:= [ 19501, 19600 ], 197 next:= [ 127780, rec( 198 desc:= [ 109003, 209005 ], 199 fp:= [ 4, 212 ], 200 next:= [ 127783, 127774 ] ) ] ) ] ), rec( 201 desc:= [ 105003 ], 202 fp:= [ 616, 814, 1012 ], 203 next:= [ 127770, 127775, 127784 ] ), rec( 204 desc:= [ 302007 ], 205 fp:= [ 1386, 49700, 59501 ], 206 next:= [ 127778, 127773, 127776 ] ) ] ), rec( 207 fp:= [ 173 ], 208 next:= [ rec( 209 desc:= [ 302007 ], 210 fp:= [ 59501, 64832 ], 211 next:= [ rec( 212 desc:= [ 302011, 109003, 209004 ], 213 fp:= [ 14, 212 ], 214 next:= [ 131808, 131806 ] ), 131809 ] ) ] ), rec( 215 fp:= [ 322 ], 216 next:= [ rec( 217 desc:= [ 124005, 124011, 124017, 302024, 40305006 ], 218 fp:= [ 1, 961 ], 219 next:= [ 139805, 139793 ] ) ] ), rec( 220 fp:= [ 221 ], 221 next:= [ rec( 222 desc:= [ 120005, 302021, 214002 ], 223 fp:= [ 2, 12 ], 224 next:= [ 145701, 145700 ] ) ] ), rec( 225 fp:= [ 450 ], 226 next:= [ rec( 227 desc:= [ 110005 ], 228 fp:= [ 4, 14 ], 229 next:= [ 158636, 158638 ] ) ] ), rec( 230 fp:= [ 381 ], 231 next:= [ rec( 232 fp:= [ 40526, 93175 ], 233 level:= 5, 234 next:= [ 162677, 162678 ] ) ] ), rec( 235 fp:= [ 654, 661 ], 236 next:= [ rec( 237 fp:= [ 5626, 7856 ], 238 level:= 5, 239 next:= [ 181904, 181896 ] ), rec( 240 fp:= [ 20533, 97595 ], 241 level:= 5, 242 next:= [ 181894, 181902 ] ) ] ), rec( 243 fp:= [ 583, 602 ], 244 next:= [ rec( 245 fp:= [ 15655, 26814 ], 246 level:= 5, 247 next:= [ 195873, 195869 ] ), rec( 248 fp:= [ 15092, 79078 ], 249 level:= 5, 250 next:= [ 195875, rec( 251 desc:= [ 306015 ], 252 fp:= [ 446, 64682 ], 253 next:= [ 195871, rec( 254 desc:= [ 214006 ], 255 fp:= [ 4, 14 ], 256 next:= [ 195864, 195872 ] ) ] ) ] ) ] ), rec( 257 fp:= [ 537 ], 258 next:= [ rec( 259 fp:= [ 11859, 92283 ], 260 level:= 5, 261 next:= [ 212452, 212455 ] ) ] ), rec( 262 fp:= [ 627 ], 263 next:= [ rec( 264 fp:= [ 48922, 73868 ], 265 level:= 5, 266 next:= [ 216700, 216703 ] ) ] ), rec( 267 fp:= [ 797 ], 268 next:= [ rec( 269 desc:= [ 106003 ], 270 fp:= [ 2, 12 ], 271 next:= [ 227802, 227794 ] ) ] ), rec( 272 fp:= [ 658 ], 273 next:= [ rec( 274 desc:= [ 113007 ], 275 fp:= [ 4, 14, 212 ], 276 next:= [ 231978, 231976, 231984 ] ) ] ), rec( 277 fp:= [ 733 ], 278 next:= [ rec( 279 desc:= [ 114007 ], 280 fp:= [ 4, 14 ], 281 next:= [ 240748, 240750 ] ) ] ), rec( 282 fp:= [ 611 ], 283 next:= [ rec( 284 fp:= [ 11904, 33092 ], 285 level:= 5, 286 next:= [ 245260, 245257 ] ) ] ), rec( 287 fp:= [ 520, 597, 809 ], 288 next:= [ rec( 289 desc:= [ 302011, 211002 ], 290 fp:= [ 4, 212 ], 291 next:= [ 249752, 249754 ] ), rec( 292 fp:= [ 17099, 67243 ], 293 level:= 5, 294 next:= [ 249762, 249757 ] ), rec( 295 desc:= [ 302010, 211002 ], 296 fp:= [ 214, 412 ], 297 next:= [ 249748, 249750 ] ) ] ), rec( 298 fp:= [ 610, 788 ], 299 next:= [ rec( 300 desc:= [ 111003 ], 301 fp:= [ 4, 212 ], 302 next:= [ 257412, 257414 ] ), rec( 303 desc:= [ 110003 ], 304 fp:= [ 4, 212 ], 305 next:= [ 257410, 257408 ] ) ] ), rec( 306 fp:= [ 668, 799 ], 307 next:= [ rec( 308 fp:= [ 1255, 43968, 92598 ], 309 level:= 5, 310 next:= [ 267982, 267980, 267985 ] ), rec( 311 fp:= [ 1255, 43968 ], 312 level:= 5, 313 next:= [ 267978, 267976 ] ) ] ), rec( 314 fp:= [ 605 ], 315 next:= [ rec( 316 desc:= [ 107003 ], 317 fp:= [ 4, 14 ], 318 next:= [ 271440, 271438 ] ) ] ), rec( 319 fp:= [ 831, 832, 833 ], 320 next:= [ rec( 321 desc:= [ 302007, 302006, 208002, 302009, 214002 ], 322 fp:= [ 212, 311 ], 323 next:= [ 281678, 281668 ] ), rec( 324 desc:= [ 302007, 302006, 208002, 302009, 214002 ], 325 fp:= [ 212, 311 ], 326 next:= [ 281674, 281680 ] ), rec( 327 desc:= [ 302009, 119007, 219002 ], 328 fp:= [ 214, 412 ], 329 next:= [ rec( 330 desc:= [ 302006, 208002, 302009, 211002, 302012, 214003, 214004, 331306010, 215006, 40311016 ], 332 fp:= [ 1, 1281 ], 333 next:= [ 281682, 281670 ] ), rec( 334 desc:= [ 302006, 208002, 302009, 211002, 302012, 214002, 214003, 335306010, 215007, 40311016 ], 336 fp:= [ 1, 1281 ], 337 next:= [ 281672, 281676 ] ) ] ) ] ), rec( 338 fp:= [ 833 ], 339 next:= [ rec( 340 fp:= [ 12220, 14731 ], 341 level:= 5, 342 next:= [ 298216, 298204 ] ) ] ), rec( 343 fp:= [ 774 ], 344 next:= [ rec( 345 desc:= [ 116003 ], 346 fp:= [ 2, 12 ], 347 next:= [ 307050, 307048 ] ) ] ), rec( 348 fp:= [ 815 ], 349 next:= [ rec( 350 fp:= [ 89816, 94230 ], 351 level:= 5, 352 next:= [ 311428, 311416 ] ) ] ), rec( 353 fp:= [ 774 ], 354 next:= [ rec( 355 desc:= [ 302010, 212002 ], 356 fp:= [ 12, 111 ], 357 next:= [ 315637, 315641 ] ) ] ), rec( 358 fp:= [ 1000, 1023 ], 359 next:= [ rec( 360 desc:= [ 105003 ], 361 fp:= [ 24, 1618 ], 362 next:= [ 329086, 329083 ] ), rec( 363 desc:= [ 105003 ], 364 fp:= [ 16, 818 ], 365 next:= [ 329082, 329084 ] ) ] ), rec( 366 fp:= [ 1034, 1061, 1068, 1075 ], 367 next:= [ rec( 368 desc:= [ 302006, 211002 ], 369 fp:= [ 2022, 2418 ], 370 next:= [ 333430, 333440 ] ), rec( 371 desc:= [ 302007, 209002 ], 372 fp:= [ 2018, 2414 ], 373 next:= [ 333441, 333433 ] ), rec( 374 desc:= [ 302008, 208002 ], 375 fp:= [ 4, 14 ], 376 next:= [ 333425, 333435 ] ), rec( 377 desc:= [ 302008, 209003 ], 378 fp:= [ 4, 14 ], 379 next:= [ 333431, 333434 ] ) ] ), rec( 380 fp:= [ 1022, 1032, 1033 ], 381 next:= [ rec( 382 fp:= [ 8778, 93121 ], 383 level:= 5, 384 next:= [ 338241, 338235 ] ), rec( 385 fp:= [ 48088, 60493 ], 386 level:= 5, 387 next:= [ 338251, 338249 ] ), rec( 388 fp:= [ 8778, 74096 ], 389 level:= 5, 390 next:= [ 338233, 338245 ] ) ] ), rec( 391 fp:= [ 1027, 1179 ], 392 next:= [ rec( 393 desc:= [ 106003 ], 394 fp:= [ 1016, 1412 ], 395 next:= [ 354794, 354788 ] ), rec( 396 desc:= [ 106003 ], 397 fp:= [ 12, 1012 ], 398 next:= [ 354799, 354787 ] ) ] ), rec( 399 fp:= [ 1286 ], 400 next:= [ rec( 401 desc:= [ 109003 ], 402 fp:= [ 816, 1014 ], 403 next:= [ 361575, 361582 ] ) ] ), rec( 404 fp:= [ 1141 ], 405 next:= [ rec( 406 fp:= [ 1408, 80078 ], 407 level:= 5, 408 next:= [ 367635, 367623 ] ) ] ), rec( 409 fp:= [ 1105, 1200, 1291, 1292, 1332 ], 410 next:= [ rec( 411 fp:= [ 45677, 58398 ], 412 level:= 5, 413 next:= [ 374292, 374284 ] ), rec( 414 fp:= [ 8869, 30842 ], 415 level:= 5, 416 next:= [ 374265, 374286 ] ), rec( 417 desc:= [ 302008 ], 418 fp:= [ 285, 38461 ], 419 next:= [ 374266, 374267 ] ), rec( 420 desc:= [ 108003 ], 421 fp:= [ 616, 814 ], 422 next:= [ 374271, 374294 ] ), rec( 423 fp:= [ 10751, 18925 ], 424 level:= 5, 425 next:= [ 374277, 374293 ] ) ] ), rec( 426 fp:= [ 1414 ], 427 next:= [ rec( 428 fp:= [ 19453, 70558 ], 429 level:= 5, 430 next:= [ 387846, 387838 ] ) ] ), rec( 431 fp:= [ 1187, 1430 ], 432 next:= [ rec( 433 desc:= [ 108003 ], 434 fp:= [ 18, 216 ], 435 next:= [ 400233, 400245 ] ), rec( 436 desc:= [ 107003 ], 437 fp:= [ 418, 616 ], 438 next:= [ 400258, 400238 ] ) ] ), rec( 439 fp:= [ 1139 ], 440 next:= [ rec( 441 fp:= [ 25447, 49850 ], 442 level:= 5, 443 next:= [ 407864, 407875 ] ) ] ), rec( 444 fp:= [ 1210, 1451 ], 445 next:= [ rec( 446 fp:= [ 24990, 55675 ], 447 level:= 5, 448 next:= [ 415997, 415980 ] ), rec( 449 desc:= [ 106003 ], 450 fp:= [ 420, 816 ], 451 next:= [ 416006, 415998 ] ) ] ), rec( 452 fp:= [ 1030, 1259, 1265 ], 453 next:= [ rec( 454 desc:= [ 302010, 216003 ], 455 fp:= [ 8, 18 ], 456 next:= [ 424911, 424903 ] ), rec( 457 desc:= [ 107003 ], 458 fp:= [ 10, 812 ], 459 next:= [ 424904, 424913 ] ), rec( 460 desc:= [ 106003 ], 461 fp:= [ 814, 1012 ], 462 next:= [ 424925, 424920 ] ) ] ), rec( 463 fp:= [ 1227 ], 464 next:= [ rec( 465 desc:= [ 302009 ], 466 fp:= [ 28363, 39323 ], 467 next:= [ 433452, 433445 ] ) ] ), rec( 468 fp:= [ 1175, 1291, 1423 ], 469 next:= [ rec( 470 fp:= [ 88167, 88360 ], 471 level:= 5, 472 next:= [ 440437, 440433 ] ), rec( 473 fp:= [ 40966, 69734 ], 474 level:= 5, 475 next:= [ 440435, 440424 ] ), rec( 476 fp:= [ 23239, 79888 ], 477 level:= 5, 478 next:= [ 440426, 440430 ] ) ] ), rec( 479 fp:= [ 1032, 1188 ], 480 next:= [ rec( 481 desc:= [ 302009, 111003, 211003 ], 482 fp:= [ 414, 612 ], 483 next:= [ 461387, 461395 ] ), rec( 484 desc:= [ 302012 ], 485 fp:= [ 346, 44881, 54682 ], 486 next:= [ 461380, 461381, 461401 ] ) ] ), rec( 487 fp:= [ 1035 ], 488 next:= [ rec( 489 desc:= [ 302009 ], 490 fp:= [ 8761, 18562 ], 491 next:= [ 470175, 470183 ] ) ] ), rec( 492 fp:= [ 1150 ], 493 next:= [ rec( 494 fp:= [ 90911, 98165 ], 495 level:= 5, 496 next:= [ 478897, 478887 ] ) ] ), rec( 497 fp:= [ 1202, 1381, 1561 ], 498 next:= [ rec( 499 fp:= [ 53031, 82652 ], 500 level:= 5, 501 next:= [ 497312, 497325 ] ), rec( 502 desc:= [ 115011 ], 503 fp:= [ 4, 14 ], 504 next:= [ 497324, 497332 ] ), rec( 505 desc:= [ 302010 ], 506 fp:= [ 54682, 80517 ], 507 next:= [ 497328, 497336 ] ) ] ), rec( 508 fp:= [ 1223 ], 509 next:= [ rec( 510 fp:= [ 7905, 38810 ], 511 level:= 5, 512 next:= [ 531361, 531348 ] ) ] ), rec( 513 fp:= [ 1153, 1515 ], 514 next:= [ rec( 515 desc:= [ 106003 ], 516 fp:= [ 8, 414 ], 517 next:= [ 538004, 537997 ] ), rec( 518 desc:= [ 302005 ], 519 fp:= [ 48262, 48441 ], 520 next:= [ 537986, 537998 ] ) ] ), rec( 521 fp:= [ 1306, 1424, 1495 ], 522 next:= [ rec( 523 fp:= [ 72022, 92391 ], 524 level:= 5, 525 next:= [ 545312, 545289 ] ), rec( 526 desc:= [ 105003 ], 527 fp:= [ 20, 416 ], 528 next:= [ 545300, 545304 ] ), rec( 529 desc:= [ 106003 ], 530 fp:= [ 418, 616 ], 531 next:= [ 545292, 545290 ] ) ] ), rec( 532 fp:= [ 1096, 1420 ], 533 next:= [ rec( 534 fp:= [ 47395, 95529 ], 535 level:= 5, 536 next:= [ 554347, 554335 ] ), rec( 537 desc:= [ 302009 ], 538 fp:= [ 18661, 28462 ], 539 next:= [ 554345, 554342 ] ) ] ), rec( 540 fp:= [ 1206, 1246, 1264 ], 541 next:= [ rec( 542 desc:= [ 107003 ], 543 fp:= [ 416, 614 ], 544 next:= [ 563193, 563209 ] ), rec( 545 fp:= [ 12107, 17469 ], 546 level:= 5, 547 next:= [ 563217, 563202 ] ), rec( 548 fp:= [ 54935, 92830 ], 549 level:= 5, 550 next:= [ 563215, 563216 ] ) ] ), rec( 551 fp:= [ 1484 ], 552 next:= [ rec( 553 desc:= [ 107003 ], 554 fp:= [ 814, 1012 ], 555 next:= [ 572162, 572172 ] ) ] ), rec( 556 fp:= [ 1079, 1469, 1474 ], 557 next:= [ rec( 558 fp:= [ 63481, 76301 ], 559 level:= 5, 560 next:= [ 581357, 581351 ] ), rec( 561 fp:= [ 52037, 88640 ], 562 level:= 5, 563 next:= [ 581348, 581362 ] ), rec( 564 fp:= [ 20205, 56361 ], 565 level:= 5, 566 next:= [ 581340, 581338 ] ) ] ), rec( 567 fp:= [ 1203 ], 568 next:= [ rec( 569 fp:= [ 2103, 53315 ], 570 level:= 5, 571 next:= [ 590488, 590492 ] ) ] ), rec( 572 fp:= [ 1228 ], 573 next:= [ rec( 574 fp:= [ 25466, 45835 ], 575 level:= 5, 576 next:= [ 605468, rec( 577 desc:= [ 107003 ], 578 fp:= [ 10, 812 ], 579 next:= [ 605486, 605479 ] ) ] ) ] ), rec( 580 fp:= [ 1109 ], 581 next:= [ rec( 582 desc:= [ 302011, 213002 ], 583 fp:= [ 6, 214 ], 584 next:= [ 611851, 611867 ] ) ] ), rec( 585 fp:= [ 1554, 1583 ], 586 next:= [ rec( 587 desc:= [ 302007, 208003 ], 588 fp:= [ 4, 14 ], 589 next:= [ 627962, 627954 ] ), rec( 590 desc:= [ 302007, 210003 ], 591 fp:= [ 8, 612 ], 592 next:= [ 627951, 627961 ] ) ] ), rec( 593 fp:= [ 1188, 1529 ], 594 next:= [ rec( 595 fp:= [ 620, 58789 ], 596 level:= 5, 597 next:= [ 644250, 644257 ] ), rec( 598 fp:= [ 17348, 51177 ], 599 level:= 5, 600 next:= [ 644279, rec( 601 desc:= [ 302009 ], 602 fp:= [ 8761, 18562 ], 603 next:= [ 644266, 644255 ] ) ] ) ] ), rec( 604 fp:= [ 1192, 1260, 1261, 1471, 1532 ], 605 next:= [ rec( 606 desc:= [ 105003 ], 607 fp:= [ 618, 816 ], 608 next:= [ 661686, 661682 ] ), rec( 609 desc:= [ 105003 ], 610 fp:= [ 1014, 1212 ], 611 next:= [ 661693, 661694 ] ), rec( 612 desc:= [ 112011 ], 613 fp:= [ 8, 414 ], 614 next:= [ 661696, 661684 ] ), rec( 615 desc:= [ 302006 ], 616 fp:= [ 38461, 48262 ], 617 next:= [ 661700, 661712 ] ), rec( 618 desc:= [ 105003 ], 619 fp:= [ 614, 812 ], 620 next:= [ 661710, 661706 ] ) ] ), rec( 621 fp:= [ 1404, 1434 ], 622 next:= [ rec( 623 desc:= [ 107003 ], 624 fp:= [ 18, 216 ], 625 next:= [ 670737, 670721 ] ), rec( 626 fp:= [ 4586, 57380 ], 627 level:= 5, 628 next:= [ 670745, 670740 ] ) ] ), rec( 629 fp:= [ 1142, 1401, 1403 ], 630 next:= [ rec( 631 desc:= [ 108003 ], 632 fp:= [ 16, 214 ], 633 next:= [ 679062, 679063 ] ), rec( 634 fp:= [ 29944, 55047 ], 635 level:= 5, 636 next:= [ 679074, 679072 ] ), rec( 637 desc:= [ 302008 ], 638 fp:= [ 483, 58261 ], 639 next:= [ 679060, 679068 ] ) ] ), rec( 640 fp:= [ 1534 ], 641 next:= [ rec( 642 desc:= [ 302006 ], 643 fp:= [ 46013, 52543 ], 644 next:= [ 688270, rec( 645 desc:= [ 304010 ], 646 fp:= [ 821, 24581 ], 647 next:= [ 688272, 688276 ] ) ] ) ] ), rec( 648 fp:= [ 1194, 1422, 1525 ], 649 next:= [ rec( 650 desc:= [ 105003 ], 651 fp:= [ 222, 618 ], 652 next:= [ 697532, 697530 ] ), rec( 653 desc:= [ 302005 ], 654 fp:= [ 48441, 58421 ], 655 next:= [ 697548, 697552 ] ), rec( 656 desc:= [ 302007 ], 657 fp:= [ 54922, 87367 ], 658 next:= [ 697537, 697529 ] ) ] ), rec( 659 fp:= [ 1206 ], 660 next:= [ rec( 661 desc:= [ 108003 ], 662 fp:= [ 418, 616 ], 663 next:= [ 706608, 706610 ] ) ] ), rec( 664 fp:= [ 1224, 1422, 1494 ], 665 next:= [ rec( 666 fp:= [ 57636, 59126 ], 667 level:= 5, 668 next:= [ 715801, 715796 ] ), rec( 669 fp:= [ 20422, 30403 ], 670 level:= 5, 671 next:= [ 715806, 715804 ] ), rec( 672 desc:= [ 106003 ], 673 fp:= [ 614, 812 ], 674 next:= [ 715797, 715802 ] ) ] ), rec( 675 fp:= [ 1260, 1326 ], 676 next:= [ rec( 677 desc:= [ 105003 ], 678 fp:= [ 1014, 1212 ], 679 next:= [ 725078, 725084 ] ), rec( 680 desc:= [ 302007 ], 681 fp:= [ 883, 54682 ], 682 next:= [ 725099, 725088 ] ) ] ), rec( 683 fp:= [ 1289 ], 684 next:= [ rec( 685 fp:= [ 72507, 83920 ], 686 level:= 5, 687 next:= [ 734111, 734089 ] ) ] ), rec( 688 fp:= [ 1405, 1420, 1481 ], 689 next:= [ rec( 690 desc:= [ 107003 ], 691 fp:= [ 16, 214 ], 692 next:= [ 743374, 743370 ] ), rec( 693 desc:= [ 108003 ], 694 fp:= [ 414, 612 ], 695 next:= [ 743356, 743365 ] ), rec( 696 desc:= [ 302009 ], 697 fp:= [ 8761, 18562, 28363 ], 698 next:= [ 743373, 743376, 743381 ] ) ] ), rec( 699 fp:= [ 1424 ], 700 next:= [ rec( 701 fp:= [ 2537, 68641 ], 702 level:= 5, 703 next:= [ 752381, 752365 ] ) ] ), rec( 704 fp:= [ 1252, 1448 ], 705 next:= [ rec( 706 desc:= [ 302006 ], 707 fp:= [ 18562, 49303 ], 708 next:= [ 761672, 761662 ] ), rec( 709 desc:= [ 106003 ], 710 fp:= [ 218, 614 ], 711 next:= [ 761678, 761656 ] ) ] ), rec( 712 fp:= [ 1302, 1322, 1506, 1508 ], 713 next:= [ rec( 714 desc:= [ 105003 ], 715 fp:= [ 420, 816 ], 716 next:= [ 770311, 770305 ] ), rec( 717 desc:= [ 302007 ], 718 fp:= [ 346, 44881, 54682 ], 719 next:= [ 770321, 770324, 770312 ] ), rec( 720 desc:= [ 302006 ], 721 fp:= [ 46013, 62523 ], 722 next:= [ 770328, 770308 ] ), rec( 723 desc:= [ 105003 ], 724 fp:= [ 614, 812 ], 725 next:= [ 770322, 770333 ] ) ] ), rec( 726 fp:= [ 1207, 1282 ], 727 next:= [ rec( 728 desc:= [ 302005 ], 729 fp:= [ 28462, 49223 ], 730 next:= [ 779066, 779064 ] ), rec( 731 desc:= [ 105003 ], 732 fp:= [ 222, 618 ], 733 next:= [ 779075, 779058 ] ) ] ), rec( 734 fp:= [ 1341, 1409 ], 735 next:= [ rec( 736 fp:= [ 30879, 92165 ], 737 level:= 5, 738 next:= [ 788207, 788191 ] ), rec( 739 fp:= [ 31102, 62848 ], 740 level:= 5, 741 next:= [ 788197, 788214 ] ) ] ), rec( 742 fp:= [ 1207, 1213, 1229, 1480 ], 743 next:= [ rec( 744 fp:= [ 3709, 22883 ], 745 level:= 5, 746 next:= [ 797067, 797072 ] ), rec( 747 desc:= [ 302007 ], 748 fp:= [ 38362, 42613 ], 749 next:= [ 797085, 797069 ] ), rec( 750 desc:= [ 302007 ], 751 fp:= [ 28363, 55833 ], 752 next:= [ 797076, 797068 ] ), rec( 753 desc:= [ 302007 ], 754 fp:= [ 384, 48361 ], 755 next:= [ 797086, 797078 ] ) ] ), rec( 756 fp:= [ 1021, 1118 ], 757 next:= [ rec( 758 fp:= [ 13768, 77526 ], 759 level:= 5, 760 next:= [ 804793, 804798 ] ), rec( 761 fp:= [ 389, 56293 ], 762 level:= 5, 763 next:= [ 804802, 804801 ] ) ] ), rec( 764 fp:= [ 1375, 1571 ], 765 next:= [ rec( 766 desc:= [ 302008, 110003, 209002, 302010, 212004, 40207012 ], 767 fp:= [ 3, 2121 ], 768 next:= [ 811371, 811387 ] ), rec( 769 desc:= [ 106003 ], 770 fp:= [ 2, 12 ], 771 next:= [ 811376, 811378 ] ) ] ), rec( 772 fp:= [ 1564 ], 773 next:= [ rec( 774 desc:= [ 302010 ], 775 fp:= [ 3137, 90687 ], 776 next:= [ 820314, 820318 ] ) ] ), rec( 777 fp:= [ 1457, 1515, 1534, 1596 ], 778 next:= [ rec( 779 desc:= [ 106003 ], 780 fp:= [ 214, 412 ], 781 next:= [ 835643, 835638 ] ), rec( 782 desc:= [ 106003 ], 783 fp:= [ 214, 412 ], 784 next:= [ 835651, 835637 ] ), rec( 785 desc:= [ 105003 ], 786 fp:= [ 214, 412 ], 787 next:= [ 835641, 835656 ] ), rec( 788 desc:= [ 302007, 107003, 207003 ], 789 fp:= [ 414, 612 ], 790 next:= [ 835655, 835639 ] ) ] ), rec( 791 fp:= [ 1429, 1455, 1510, 1570 ], 792 next:= [ rec( 793 desc:= [ 107003 ], 794 fp:= [ 2, 12 ], 795 next:= [ 844283, 844259 ] ), rec( 796 fp:= [ 3893, 37722 ], 797 level:= 5, 798 next:= [ 844286, 844277 ] ), rec( 799 desc:= [ 302009 ], 800 fp:= [ 8563, 18364 ], 801 next:= [ 844279, 844285 ] ), rec( 802 desc:= [ 302010 ], 803 fp:= [ 34882, 93737 ], 804 next:= [ 844278, 844288 ] ) ] ), rec( 805 fp:= [ 1451, 1515 ], 806 next:= [ rec( 807 desc:= [ 106003 ], 808 fp:= [ 214, 412 ], 809 next:= [ 853303, 853311 ] ), rec( 810 desc:= [ 106003 ], 811 fp:= [ 6, 412 ], 812 next:= [ 853288, 853304 ] ) ] ), rec( 813 fp:= [ 1499, 1508, 1525, 1568 ], 814 next:= [ rec( 815 desc:= [ 105003 ], 816 fp:= [ 214, 412 ], 817 next:= [ 862477, 862485 ] ), rec( 818 desc:= [ 302005 ], 819 fp:= [ 483, 58261 ], 820 next:= [ 862503, 862498 ] ), rec( 821 desc:= [ 105003 ], 822 fp:= [ 6, 412 ], 823 next:= [ 862480, 862478 ] ), rec( 824 desc:= [ 302007 ], 825 fp:= [ 44881, 54682 ], 826 next:= [ 862504, 862494 ] ) ] ), rec( 827 fp:= [ 1489, 1505, 1528 ], 828 next:= [ rec( 829 desc:= [ 106003 ], 830 fp:= [ 6, 412 ], 831 next:= [ 871753, 871756 ] ), rec( 832 desc:= [ 106003 ], 833 fp:= [ 6, 412 ], 834 next:= [ 871777, 871751 ] ), rec( 835 desc:= [ 106003 ], 836 fp:= [ 6, 412 ], 837 next:= [ 871769, 871776 ] ) ] ), rec( 838 fp:= [ 1430 ], 839 next:= [ rec( 840 desc:= [ 107003 ], 841 fp:= [ 16, 214 ], 842 next:= [ 880997, 880995 ] ) ] ), rec( 843 fp:= [ 1447, 1518 ], 844 next:= [ rec( 845 fp:= [ 48137, 81966 ], 846 level:= 5, 847 next:= [ 908616, 908629 ] ), rec( 848 fp:= [ 48137, 81966 ], 849 level:= 5, 850 next:= [ 908632, rec( 851 desc:= [ 302009 ], 852 fp:= [ 42643, 52444 ], 853 next:= [ 908620, 908613 ] ) ] ) ] ), rec( 854 fp:= [ 1446, 1481 ], 855 next:= [ rec( 856 desc:= [ 106003 ], 857 fp:= [ 214, 412 ], 858 next:= [ 917879, 917873 ] ), rec( 859 desc:= [ 302007 ], 860 fp:= [ 8662, 45933 ], 861 next:= [ 917865, 917858 ] ) ] ), rec( 862 fp:= [ 1203, 1405 ], 863 next:= [ rec( 864 desc:= [ 114011 ], 865 fp:= [ 8, 414 ], 866 next:= [ 927111, 927108 ] ), rec( 867 desc:= [ 302007 ], 868 fp:= [ 582, 761 ], 869 next:= [ 927098, 927123 ] ) ] ), rec( 870 fp:= [ 1417, 1493, 1505 ], 871 next:= [ rec( 872 desc:= [ 107003 ], 873 fp:= [ 4, 212 ], 874 next:= [ 936055, 936063 ] ), rec( 875 fp:= [ 22299, 69166 ], 876 level:= 5, 877 next:= [ 936065, 936046 ] ), rec( 878 desc:= [ 107003 ], 879 fp:= [ 6, 412 ], 880 next:= [ 936062, 936060 ] ) ] ), rec( 881 fp:= [ 1182, 1428, 1448, 1556 ], 882 next:= [ rec( 883 desc:= [ 302007 ], 884 fp:= [ 48361, 58341 ], 885 next:= [ 945241, 945233 ] ), rec( 886 fp:= [ 36027, 76323 ], 887 level:= 5, 888 next:= [ 945257, 945247 ] ), rec( 889 desc:= [ 302007 ], 890 fp:= [ 483, 58261 ], 891 next:= [ 945238, 945256 ] ), rec( 892 fp:= [ 29178, 81361 ], 893 level:= 5, 894 next:= [ 945258, 945248 ] ) ] ), rec( 895 fp:= [ 1506, 1537, 1570 ], 896 next:= [ rec( 897 desc:= [ 302006 ], 898 fp:= [ 5825, 52703 ], 899 next:= [ 963624, 963644 ] ), rec( 900 desc:= [ 105003 ], 901 fp:= [ 214, 412 ], 902 next:= [ 963641, 963648 ] ), rec( 903 desc:= [ 106003 ], 904 fp:= [ 2, 12 ], 905 next:= [ 963640, 963650 ] ) ] ), rec( 906 fp:= [ 1237, 1451, 1513 ], 907 next:= [ rec( 908 desc:= [ 302006 ], 909 fp:= [ 662, 48361 ], 910 next:= [ 972781, 972773 ] ), rec( 911 desc:= [ 302007, 212003 ], 912 fp:= [ 6, 412 ], 913 next:= [ 972793, 972778 ] ), rec( 914 desc:= [ 302009 ], 915 fp:= [ 70647, 96958 ], 916 next:= [ 972787, 972772 ] ) ] ), rec( 917 fp:= [ 1150 ], 918 next:= [ rec( 919 fp:= [ 25731, 31755 ], 920 level:= 5, 921 next:= [ 1008163, 1008156 ] ) ] ), rec( 922 fp:= [ 1245, 1302 ], 923 next:= [ rec( 924 desc:= [ 114011 ], 925 fp:= [ 18, 414 ], 926 next:= [ 1015065, 1015047 ] ), rec( 927 fp:= [ 6789, 84853 ], 928 level:= 5, 929 next:= [ 1015064, 1015055 ] ) ] ), rec( 930 fp:= [ 1222 ], 931 next:= [ rec( 932 fp:= [ 25945, 70521 ], 933 level:= 5, 934 next:= [ 1022689, 1022693 ] ) ] ), rec( 935 fp:= [ 1092, 1105, 1197, 1288, 1318, 1321 ], 936 next:= [ rec( 937 desc:= [ 302006 ], 938 fp:= [ 38442, 55833 ], 939 next:= [ 1029940, 1029937 ] ), rec( 940 desc:= [ 302009 ], 941 fp:= [ 54583, 87127 ], 942 next:= [ 1029933, 1029941 ] ), rec( 943 fp:= [ 51380, 66880 ], 944 level:= 5, 945 next:= [ 1029945, 1029942 ] ), rec( 946 fp:= [ 51380, 66880 ], 947 level:= 5, 948 next:= [ 1029932, 1029935 ] ), rec( 949 desc:= [ 106003 ], 950 fp:= [ 224, 620 ], 951 next:= [ 1029951, 1029958 ] ), rec( 952 desc:= [ 302006 ], 953 fp:= [ 18661, 28462, 49223 ], 954 next:= [ 1029938, 1029934, 1029943 ] ) ] ), rec( 955 fp:= [ 1730 ], 956 next:= [ rec( 957 fp:= [ 34344, 78057 ], 958 level:= 5, 959 next:= [ 1046183, 1046194 ] ) ] ), rec( 960 fp:= [ 2287 ], 961 next:= [ rec( 962 desc:= [ 107003 ], 963 fp:= [ 14, 212 ], 964 next:= [ 1080340, 1080327 ] ) ] ) ] ); 965