1############################################################################# 2## 3#W id8.aec GAP library of id's Hans Ulrich Besche 4## 5 6ID_GROUP_TREE.next[8].next[1].next[133]:= 7rec( 8 fp:= [ 3432, 4332, 4632, 5232, 7032, 7632, 7932, 8232, 8532, 8832, 9132, 99432, 9732, 10032, 11532, 12732, 13032, 15132, 15432, 15732, 16332, 19632, 1020232, 20532, 20832, 22632, 22932, 24132, 24432, 25032, 25332, 27132, 27432, 1127732, 29232, 29532, 29832, 30132, 30432, 30732, 32232, 32532, 32832, 33132, 1233432, 34032, 34632, 35232, 35532, 35832, 36132, 36432, 36732, 37032, 37332, 1337632, 37932, 38532, 38832, 39132, 39432, 40332, 40632, 40932, 41232, 41532, 1441832, 42132, 42432, 42732, 43032, 43332, 43632, 43932, 44232, 44532, 44832, 1545132, 45432, 45732, 46332, 46632, 46932, 47232, 47532, 47832, 48132, 48432, 1648732, 49032, 49632, 49932, 50232, 50532, 50832, 51132, 51432, 52032, 52332, 1752632, 53832, 54732, 55332, 55932 ], 18 next:= [ rec( 19 fp:= [ 278 ], 20 next:= [ rec( 21 desc:= [ 112007 ], 22 fp:= [ 4, 14 ], 23 next:= [ 73160, 73161 ] ) ] ), rec( 24 fp:= [ 471 ], 25 next:= [ rec( 26 desc:= [ 105003 ], 27 fp:= [ 22, 814 ], 28 next:= [ 78289, 78288 ] ) ] ), rec( 29 fp:= [ 895 ], 30 next:= [ rec( 31 desc:= [ 118005 ], 32 fp:= [ 8, 18 ], 33 next:= [ 79540, 79538 ] ) ] ), rec( 34 fp:= [ 76, 340 ], 35 next:= [ rec( 36 desc:= [ 206002 ], 37 fp:= [ 14, 212 ], 38 next:= [ 82549, 82551 ] ), rec( 39 desc:= [ 206002 ], 40 fp:= [ 14, 212 ], 41 next:= [ 82545, 82547 ] ) ] ), rec( 42 fp:= [ 165, 1018 ], 43 next:= [ rec( 44 desc:= [ 107003 ], 45 fp:= [ 4, 14 ], 46 next:= [ 93279, 93281 ] ), rec( 47 fp:= [ 35521, 83002 ], 48 level:= 5, 49 next:= [ 93284, rec( 50 desc:= [ 107003 ], 51 fp:= [ 4, 14 ], 52 next:= [ 93286, 93285 ] ) ] ) ] ), rec( 53 fp:= [ 168, 173, 174, 175, 177 ], 54 next:= [ rec( 55 desc:= [ 302006, 206002 ], 56 fp:= [ 418, 814 ], 57 next:= [ 100445, rec( 58 desc:= [ 108003, 208002 ], 59 fp:= [ 14, 212 ], 60 next:= [ 100447, 100449 ] ) ] ), rec( 61 desc:= [ 302005 ], 62 fp:= [ 17060, 26861 ], 63 next:= [ rec( 64 desc:= [ 107003 ], 65 fp:= [ 616, 814 ], 66 next:= [ 100444, 100455 ] ), 100450 ] ), rec( 67 desc:= [ 302005 ], 68 fp:= [ 1066, 17060 ], 69 next:= [ 100446, 100454 ] ), rec( 70 desc:= [ 105003 ], 71 fp:= [ 616, 814 ], 72 next:= [ rec( 73 desc:= [ 302008, 206002 ], 74 fp:= [ 4, 14 ], 75 next:= [ 100448, 100456 ] ), 100453 ] ), rec( 76 desc:= [ 302007 ], 77 fp:= [ 1386, 49700, 59501 ], 78 next:= [ 100452, 100457, 100458 ] ) ] ), rec( 79 fp:= [ 168, 173, 177 ], 80 next:= [ rec( 81 desc:= [ 105003 ], 82 fp:= [ 8, 414 ], 83 next:= [ 103808, 103802 ] ), rec( 84 desc:= [ 110011 ], 85 fp:= [ 28, 2018, 2414 ], 86 next:= [ 103803, 103801, 103797 ] ), rec( 87 desc:= [ 106003 ], 88 fp:= [ 414, 612 ], 89 next:= [ 103809, 103799 ] ) ] ), rec( 90 fp:= [ 1024 ], 91 next:= [ rec( 92 desc:= [ 106003 ], 93 fp:= [ 8, 18 ], 94 next:= [ 107128, 107126 ] ) ] ), rec( 95 fp:= [ 165, 172, 174, 175, 177 ], 96 next:= [ rec( 97 desc:= [ 302005, 109003, 111003, 302008, 302010, 302012, 214002, 98302015, 302017, 212008, 40313012 ], 99 fp:= [ 1, 2561 ], 100 next:= [ 111351, 111343 ] ), rec( 101 desc:= [ 302007, 110003, 302007, 209002, 302010, 213002, 302014, 102302016, 305015, 214005, 40312015 ], 103 fp:= [ 1, 5121 ], 104 next:= [ 111344, 111352 ] ), rec( 105 desc:= [ 105003 ], 106 fp:= [ 8, 414 ], 107 next:= [ 111354, 111349 ] ), rec( 108 desc:= [ 106003, 108003, 302005, 302007, 302009, 211002, 302012, 109302014, 216002, 302017, 217007, 307018, 213007, 309016, 213009, 40313016 ], 110 fp:= [ 2, 2661 ], 111 next:= [ 111345, 111353 ] ), rec( 112 desc:= [ 105003 ], 113 fp:= [ 8, 414 ], 114 next:= [ 111346, 111342 ] ) ] ), rec( 115 fp:= [ 168, 171, 172, 175 ], 116 next:= [ rec( 117 desc:= [ 302005 ], 118 fp:= [ 1264, 36860 ], 119 next:= [ rec( 120 desc:= [ 107003 ], 121 fp:= [ 214, 412 ], 122 next:= [ 115632, rec( 123 desc:= [ 110003, 207002, 302008, 302010, 212002, 302013, 215002, 124306010, 306016, 221006 ], 125 fp:= [ 826, 1618 ], 126 next:= [ 115631, 115624 ] ) ] ), 115622 ] ), rec( 127 desc:= [ 106003 ], 128 fp:= [ 414, 612 ], 129 next:= [ 115635, 115634 ] ), rec( 130 desc:= [ 106003 ], 131 fp:= [ 216, 414 ], 132 next:= [ 115627, 115626 ] ), rec( 133 desc:= [ 106003 ], 134 fp:= [ 416, 614 ], 135 next:= [ 115633, 115625 ] ) ] ), rec( 136 fp:= [ 166, 168, 173, 174, 177 ], 137 next:= [ rec( 138 desc:= [ 302007 ], 139 fp:= [ 1386, 49700, 59501 ], 140 next:= [ 119800, rec( 141 desc:= [ 107003 ], 142 fp:= [ 214, 412 ], 143 next:= [ 119803, 119801 ] ), 119796 ] ), rec( 144 desc:= [ 302007, 107003, 110003, 206002, 302007, 302011, 305008, 145305012, 215006, 40310016 ], 146 fp:= [ 2, 7781 ], 147 next:= [ 119804, 119794 ] ), rec( 148 desc:= [ 302005 ], 149 fp:= [ 26960, 36761 ], 150 next:= [ rec( 151 desc:= [ 107003 ], 152 fp:= [ 218, 416 ], 153 next:= [ 119802, 119799 ] ), rec( 154 desc:= [ 107003 ], 155 fp:= [ 218, 416 ], 156 next:= [ 119805, 119806 ] ) ] ), rec( 157 desc:= [ 105003 ], 158 fp:= [ 416, 614 ], 159 next:= [ rec( 160 desc:= [ 302008, 302012, 211002, 302012, 40209009 ], 161 fp:= [ 2862, 2961 ], 162 next:= [ 119807, 119793 ] ), 119795 ] ), rec( 163 desc:= [ 105003 ], 164 fp:= [ 614, 812 ], 165 next:= [ 119797, 119798 ] ) ] ), rec( 166 fp:= [ 173, 174, 175, 177 ], 167 next:= [ rec( 168 desc:= [ 302007 ], 169 fp:= [ 1386, 49700, 60080 ], 170 next:= [ 123926, rec( 171 desc:= [ 106003 ], 172 fp:= [ 4, 14 ], 173 next:= [ 123925, 123924 ] ), 123922 ] ), rec( 174 desc:= [ 105003 ], 175 fp:= [ 616, 814 ], 176 next:= [ 123918, 123919 ] ), rec( 177 desc:= [ 105003 ], 178 fp:= [ 418, 814 ], 179 next:= [ 123928, 123920 ] ), rec( 180 desc:= [ 105003 ], 181 fp:= [ 418, 616 ], 182 next:= [ 123927, 123917 ] ) ] ), rec( 183 fp:= [ 168, 173, 174, 175, 177 ], 184 next:= [ rec( 185 desc:= [ 105003 ], 186 fp:= [ 414, 612 ], 187 next:= [ 127957, 127959 ] ), rec( 188 desc:= [ 105003 ], 189 fp:= [ 616, 814 ], 190 next:= [ 127963, 127960 ] ), rec( 191 desc:= [ 105003 ], 192 fp:= [ 616, 814 ], 193 next:= [ rec( 194 desc:= [ 302008, 208002 ], 195 fp:= [ 16, 214 ], 196 next:= [ 127962, 127950 ] ), 127961 ] ), rec( 197 desc:= [ 105003 ], 198 fp:= [ 12, 814, 1012 ], 199 next:= [ 127956, 127964, rec( 200 desc:= [ 302008 ], 201 fp:= [ 1386, 49700 ], 202 next:= [ 127958, 127955 ] ) ] ), rec( 203 desc:= [ 302005 ], 204 fp:= [ 1066, 17060 ], 205 next:= [ 127953, rec( 206 desc:= [ 107003 ], 207 fp:= [ 616, 814 ], 208 next:= [ 127954, 127952 ] ) ] ) ] ), rec( 209 fp:= [ 173, 174, 175, 176, 1020 ], 210 next:= [ rec( 211 desc:= [ 302005, 107003, 110003, 209002, 302010, 302012, 214002, 212302015, 306009, 211006, 211007, 40310011 ], 213 fp:= [ 3, 2761 ], 214 next:= [ 131958, 131961 ] ), rec( 215 desc:= [ 302005 ], 216 fp:= [ 1066, 17060 ], 217 next:= [ rec( 218 desc:= [ 106003, 111005, 111007, 111011, 303005, 303007, 209003, 219215003, 303016, 40408010 ], 220 fp:= [ 2, 2661 ], 221 next:= [ 131956, 131959 ] ), 131970 ] ), rec( 222 desc:= [ 302007 ], 223 fp:= [ 1386, 49700 ], 224 next:= [ rec( 225 desc:= [ 106003, 206002 ], 226 fp:= [ 18, 414 ], 227 next:= [ 131962, 131960 ] ), rec( 228 desc:= [ 107003, 207002, 302008, 302010, 40308009 ], 229 fp:= [ 2, 2661 ], 230 next:= [ 131964, 131969 ] ) ] ), rec( 231 desc:= [ 302005, 107003, 110003, 209002, 302010, 212002, 302013, 232302015, 210006, 306011, 213006, 40310013 ], 233 fp:= [ 2, 2661 ], 234 next:= [ 131966, 131967 ] ), rec( 235 desc:= [ 105003, 107003, 302004, 206002, 302007, 209002, 302010, 236212002, 305008, 208005, 40308014 ], 237 fp:= [ 1, 7681 ], 238 next:= [ 131963, 131965 ] ) ] ), rec( 239 fp:= [ 221 ], 240 next:= [ rec( 241 fp:= [ 38633, 87679 ], 242 level:= 5, 243 next:= [ 145816, 145817 ] ) ] ), rec( 244 fp:= [ 455 ], 245 next:= [ rec( 246 desc:= [ 302008, 213003 ], 247 fp:= [ 4, 14 ], 248 next:= [ 158801, 158805 ] ) ] ), rec( 249 fp:= [ 317 ], 250 next:= [ rec( 251 fp:= [ 61307, 68699 ], 252 level:= 5, 253 next:= [ 162853, 162850 ] ) ] ), rec( 254 fp:= [ 686 ], 255 next:= [ rec( 256 desc:= [ 108003 ], 257 fp:= [ 214, 412 ], 258 next:= [ 182051, 182046 ] ) ] ), rec( 259 fp:= [ 609, 610 ], 260 next:= [ rec( 261 fp:= [ 72371, 83241 ], 262 level:= 5, 263 next:= [ 185369, 185361 ] ), rec( 264 fp:= [ 506, 91578 ], 265 level:= 5, 266 next:= [ 185366, 185358 ] ) ] ), rec( 267 fp:= [ 681 ], 268 next:= [ rec( 269 fp:= [ 12084, 33469 ], 270 level:= 5, 271 next:= [ 188555, 188556 ] ) ] ), rec( 272 fp:= [ 649, 656 ], 273 next:= [ rec( 274 desc:= [ 302007 ], 275 fp:= [ 384, 662 ], 276 next:= [ 196018, 196017 ] ), rec( 277 desc:= [ 305012, 110003, 118005, 118007, 302005, 302010, 303012, 278221003 ], 279 fp:= [ 16, 214 ], 280 next:= [ 196013, 196020 ] ) ] ), rec( 281 fp:= [ 732 ], 282 next:= [ rec( 283 fp:= [ 48181, 90345 ], 284 level:= 5, 285 next:= [ 236460, 236452 ] ) ] ), rec( 286 fp:= [ 612 ], 287 next:= [ rec( 288 fp:= [ 38258, 85969 ], 289 level:= 5, 290 next:= [ 245440, 245437 ] ) ] ), rec( 291 fp:= [ 520 ], 292 next:= [ rec( 293 desc:= [ 115003 ], 294 fp:= [ 4, 212 ], 295 next:= [ 249934, 249932 ] ) ] ), rec( 296 fp:= [ 541 ], 297 next:= [ rec( 298 desc:= [ 302010 ], 299 fp:= [ 65161, 75301 ], 300 next:= [ 253805, 253813 ] ) ] ), rec( 301 fp:= [ 755 ], 302 next:= [ rec( 303 desc:= [ 116003 ], 304 fp:= [ 4, 14 ], 305 next:= [ 275344, 275352 ] ) ] ), rec( 306 fp:= [ 832 ], 307 next:= [ rec( 308 desc:= [ 114003 ], 309 fp:= [ 4, 14 ], 310 next:= [ 278324, 278322 ] ) ] ), rec( 311 fp:= [ 768 ], 312 next:= [ rec( 313 desc:= [ 113003 ], 314 fp:= [ 4, 14 ], 315 next:= [ 294193, 294197 ] ) ] ), rec( 316 fp:= [ 807 ], 317 next:= [ rec( 318 desc:= [ 113003 ], 319 fp:= [ 4, 14 ], 320 next:= [ 298397, 298393 ] ) ] ), rec( 321 fp:= [ 605, 626, 767, 768, 775 ], 322 next:= [ rec( 323 desc:= [ 115003 ], 324 fp:= [ 4, 212 ], 325 next:= [ 307199, 307203 ] ), rec( 326 desc:= [ 302010 ], 327 fp:= [ 64582, 98821 ], 328 next:= [ 307196, 307194 ] ), rec( 329 fp:= [ 67119, 85956 ], 330 level:= 5, 331 next:= [ 307192, 307201 ] ), rec( 332 fp:= [ 67119, 85956 ], 333 level:= 5, 334 next:= [ 307198, 307205 ] ), rec( 335 desc:= [ 113003 ], 336 fp:= [ 4, 212 ], 337 next:= [ 307206, 307204 ] ) ] ), rec( 338 fp:= [ 596, 790 ], 339 next:= [ rec( 340 desc:= [ 107003 ], 341 fp:= [ 213, 411 ], 342 next:= [ 311604, 311606 ] ), rec( 343 desc:= [ 107003 ], 344 fp:= [ 13, 211 ], 345 next:= [ 311608, 311610 ] ) ] ), rec( 346 fp:= [ 1001, 1020, 1023 ], 347 next:= [ rec( 348 desc:= [ 110011 ], 349 fp:= [ 48, 2434, 3226, 4018 ], 350 next:= [ 329214, rec( 351 desc:= [ 302007 ], 352 fp:= [ 2742, 59501 ], 353 next:= [ 329212, 329218 ] ), 329216, 329217 ] ), rec( 354 desc:= [ 105003 ], 355 fp:= [ 822, 1218 ], 356 next:= [ 329213, 329211 ] ), rec( 357 desc:= [ 302007 ], 358 fp:= [ 1584, 69500, 79880 ], 359 next:= [ 329219, 329215, 329221 ] ) ] ), rec( 360 fp:= [ 1066, 1067, 1106 ], 361 next:= [ rec( 362 desc:= [ 302009 ], 363 fp:= [ 9747, 80787 ], 364 next:= [ rec( 365 desc:= [ 210002 ], 366 fp:= [ 4, 14 ], 367 next:= [ 333733, 333721 ] ), 333726 ] ), rec( 368 desc:= [ 302009 ], 369 fp:= [ 15026, 29544 ], 370 next:= [ 333741, rec( 371 desc:= [ 302016, 113003, 213004 ], 372 fp:= [ 14, 816 ], 373 next:= [ 333729, 333737 ] ) ] ), rec( 374 desc:= [ 107003 ], 375 fp:= [ 1220, 1418 ], 376 next:= [ 333715, 333720 ] ) ] ), rec( 377 fp:= [ 1029 ], 378 next:= [ rec( 379 fp:= [ 35242, 57444, 98448 ], 380 level:= 5, 381 next:= [ 338470, 338472, 338466 ] ) ] ), rec( 382 fp:= [ 1090, 1176, 1242 ], 383 next:= [ rec( 384 fp:= [ 22157, 31329 ], 385 level:= 5, 386 next:= [ 367908, 367920 ] ), rec( 387 fp:= [ 19876, 70235 ], 388 level:= 5, 389 next:= [ 367919, 367909 ] ), rec( 390 desc:= [ 302010 ], 391 fp:= [ 18661, 28462 ], 392 next:= [ 367918, 367925 ] ) ] ), rec( 393 fp:= [ 1032 ], 394 next:= [ rec( 395 desc:= [ 106003 ], 396 fp:= [ 418, 814 ], 397 next:= [ 374473, 374469 ] ) ] ), rec( 398 fp:= [ 1405 ], 399 next:= [ rec( 400 desc:= [ 302009 ], 401 fp:= [ 18661, 28641 ], 402 next:= [ 379780, 379784 ] ) ] ), rec( 403 fp:= [ 1066, 1369, 1509, 1534 ], 404 next:= [ rec( 405 desc:= [ 302010, 112003, 212002 ], 406 fp:= [ 214, 412 ], 407 next:= [ 388079, 388095 ] ), rec( 408 desc:= [ 302008, 112003, 212002 ], 409 fp:= [ 618, 816 ], 410 next:= [ 388087, 388103 ] ), rec( 411 desc:= [ 302006 ], 412 fp:= [ 38461, 48441 ], 413 next:= [ 388100, 388082 ] ), rec( 414 desc:= [ 302005 ], 415 fp:= [ 38461, 48441 ], 416 next:= [ 388104, 388102 ] ) ] ), rec( 417 fp:= [ 2167 ], 418 next:= [ rec( 419 desc:= [ 115011 ], 420 fp:= [ 8, 18 ], 421 next:= [ 394411, 394403 ] ) ] ), rec( 422 fp:= [ 1156 ], 423 next:= [ rec( 424 fp:= [ 8738, 58649 ], 425 level:= 5, 426 next:= [ 400608, 400612 ] ) ] ), rec( 427 fp:= [ 1141 ], 428 next:= [ rec( 429 fp:= [ 70586, 93611 ], 430 level:= 5, 431 next:= [ 440740, 440742 ] ) ] ), rec( 432 fp:= [ 1360 ], 433 next:= [ rec( 434 fp:= [ 1025, 70001 ], 435 level:= 5, 436 next:= [ 447490, 447494 ] ) ] ), rec( 437 fp:= [ 1400 ], 438 next:= [ rec( 439 fp:= [ 6924, 61761 ], 440 level:= 5, 441 next:= [ 453990, 454006 ] ) ] ), rec( 442 fp:= [ 1152 ], 443 next:= [ rec( 444 desc:= [ 302010 ], 445 fp:= [ 1222, 54682 ], 446 next:= [ 461737, 461721 ] ) ] ), rec( 447 fp:= [ 1093, 1192, 1205, 1307 ], 448 next:= [ rec( 449 fp:= [ 35573, 57100 ], 450 level:= 5, 451 next:= [ 470543, 470559 ] ), rec( 452 fp:= [ 39506, 76906 ], 453 level:= 5, 454 next:= [ 470561, 470551 ] ), rec( 455 desc:= [ 108003 ], 456 fp:= [ 416, 614 ], 457 next:= [ 470553, 470556 ] ), rec( 458 fp:= [ 32816, 56309 ], 459 level:= 5, 460 next:= [ 470557, 470569 ] ) ] ), rec( 461 fp:= [ 1188 ], 462 next:= [ rec( 463 fp:= [ 33653, 65086 ], 464 level:= 5, 465 next:= [ 488479, 488453 ] ) ] ), rec( 466 fp:= [ 1189, 1290, 1393, 1485, 1511 ], 467 next:= [ rec( 468 fp:= [ 40806, 86527 ], 469 level:= 5, 470 next:= [ 506424, 506421 ] ), rec( 471 desc:= [ 302008 ], 472 fp:= [ 384, 48361 ], 473 next:= [ 506429, 506433 ] ), rec( 474 fp:= [ 41705, 96753 ], 475 level:= 5, 476 next:= [ 506428, 506435 ] ), rec( 477 fp:= [ 57321, 65806 ], 478 level:= 5, 479 next:= [ 506414, 506422 ] ), rec( 480 fp:= [ 17115, 66127 ], 481 level:= 5, 482 next:= [ 506434, 506442 ] ) ] ), rec( 483 fp:= [ 1197, 1293, 1305, 1382, 1397, 1477 ], 484 next:= [ rec( 485 desc:= [ 302009 ], 486 fp:= [ 45834, 63913 ], 487 next:= [ 524041, 524031 ] ), rec( 488 fp:= [ 20064, 37520 ], 489 level:= 5, 490 next:= [ 524045, 524032 ] ), rec( 491 fp:= [ 18513, 55749 ], 492 level:= 5, 493 next:= [ 524024, 524033 ] ), rec( 494 fp:= [ 16459, 20620 ], 495 level:= 5, 496 next:= [ 524043, 524036 ] ), rec( 497 desc:= [ 107003 ], 498 fp:= [ 414, 612 ], 499 next:= [ 524044, 524020 ] ), rec( 500 desc:= [ 107003 ], 501 fp:= [ 8, 612 ], 502 next:= [ 524022, 524050 ] ) ] ), rec( 503 fp:= [ 1276 ], 504 next:= [ rec( 505 fp:= [ 12117, 50012 ], 506 level:= 5, 507 next:= [ 531638, 531617 ] ) ] ), rec( 508 fp:= [ 1161 ], 509 next:= [ rec( 510 desc:= [ 107003 ], 511 fp:= [ 214, 412 ], 512 next:= [ 538280, 538281 ] ) ] ), rec( 513 fp:= [ 1141, 1182, 1480 ], 514 next:= [ rec( 515 desc:= [ 302006 ], 516 fp:= [ 48601, 58581 ], 517 next:= [ 545678, 545660 ] ), rec( 518 desc:= [ 114011 ], 519 fp:= [ 4, 14 ], 520 next:= [ 545682, 545656 ] ), rec( 521 desc:= [ 302009 ], 522 fp:= [ 87367, 89161 ], 523 next:= [ 545674, 545672 ] ) ] ), rec( 524 fp:= [ 1091, 1208, 1232, 1286, 1414, 1535 ], 525 next:= [ rec( 526 desc:= [ 108003 ], 527 fp:= [ 820, 1018 ], 528 next:= [ 554697, 554699 ] ), rec( 529 fp:= [ 34848, 86060 ], 530 level:= 5, 531 next:= [ 554680, 554706 ] ), rec( 532 fp:= [ 9615, 55682 ], 533 level:= 5, 534 next:= [ 554694, 554701 ] ), rec( 535 fp:= [ 9615, 55682 ], 536 level:= 5, 537 next:= [ 554708, 554681 ] ), rec( 538 fp:= [ 14077, 46119 ], 539 level:= 5, 540 next:= [ 554696, 554690 ] ), rec( 541 desc:= [ 302010 ], 542 fp:= [ 77227, 93737 ], 543 next:= [ 554700, 554686 ] ) ] ), rec( 544 fp:= [ 1068, 1102, 1103, 1238, 1265, 1317, 1322, 1451, 1508, 1526 ], 545 next:= [ rec( 546 desc:= [ 110011 ], 547 fp:= [ 12, 814 ], 548 next:= [ 563567, 563575 ] ), rec( 549 desc:= [ 105003 ], 550 fp:= [ 624, 1020 ], 551 next:= [ 563585, 563579 ] ), rec( 552 desc:= [ 110011 ], 553 fp:= [ 1618, 2014 ], 554 next:= [ 563563, 563577 ] ), rec( 555 desc:= [ 302006 ], 556 fp:= [ 39323, 49303, 55833 ], 557 next:= [ 563573, 563589, 563569 ] ), rec( 558 fp:= [ 1746, 7108 ], 559 level:= 5, 560 next:= [ 563581, 563564 ] ), rec( 561 fp:= [ 1746, 7108 ], 562 level:= 5, 563 next:= [ 563561, rec( 564 desc:= [ 104003 ], 565 fp:= [ 424, 820, 1018 ], 566 next:= [ 563586, 563562, 563584 ] ) ] ), rec( 567 fp:= [ 1746, 7108 ], 568 level:= 5, 569 next:= [ 563571, 563588 ] ), rec( 570 desc:= [ 104003 ], 571 fp:= [ 420, 618 ], 572 next:= [ 563568, 563578 ] ), rec( 573 desc:= [ 302004 ], 574 fp:= [ 28462, 28641 ], 575 next:= [ 563572, 563576 ] ), rec( 576 desc:= [ 104003 ], 577 fp:= [ 816, 1014 ], 578 next:= [ 563590, 563570 ] ) ] ), rec( 579 fp:= [ 1143 ], 580 next:= [ rec( 581 fp:= [ 17130, 40560 ], 582 level:= 5, 583 next:= [ 572528, 572529 ] ) ] ), rec( 584 fp:= [ 1106, 1253, 1438 ], 585 next:= [ rec( 586 desc:= [ 108003 ], 587 fp:= [ 820, 1216 ], 588 next:= [ 581721, 581729 ] ), rec( 589 desc:= [ 302007 ], 590 fp:= [ 18463, 62443 ], 591 next:= [ 581732, 581718 ] ), rec( 592 desc:= [ 302007 ], 593 fp:= [ 28561, 38362 ], 594 next:= [ 581716, 581734 ] ) ] ), rec( 595 fp:= [ 1091, 1176, 1225, 1290, 1308 ], 596 next:= [ rec( 597 desc:= [ 116011 ], 598 fp:= [ 20, 1614 ], 599 next:= [ 590861, 590853 ] ), rec( 600 desc:= [ 302009 ], 601 fp:= [ 285, 38461 ], 602 next:= [ 590836, 590840 ] ), rec( 603 desc:= [ 114011 ], 604 fp:= [ 4, 14 ], 605 next:= [ 590858, 590862 ] ), rec( 606 fp:= [ 3484, 19299 ], 607 level:= 5, 608 next:= [ 590847, 590850 ] ), rec( 609 fp:= [ 1829, 22198 ], 610 level:= 5, 611 next:= [ 590838, 590865 ] ) ] ), rec( 612 fp:= [ 1186, 1512 ], 613 next:= [ rec( 614 fp:= [ 12627, 33655 ], 615 level:= 5, 616 next:= [ rec( 617 desc:= [ 107003 ], 618 fp:= [ 8, 414 ], 619 next:= [ 599108, 599112 ] ), 599107 ] ), rec( 620 desc:= [ 302006 ], 621 fp:= [ 38461, 48262 ], 622 next:= [ 599119, 599115 ] ) ] ), rec( 623 fp:= [ 1196, 1435 ], 624 next:= [ rec( 625 fp:= [ 53691, 54108 ], 626 level:= 5, 627 next:= [ 612205, 612197 ] ), rec( 628 fp:= [ 8961, 53352 ], 629 level:= 5, 630 next:= [ 612201, 612212 ] ) ] ), rec( 631 fp:= [ 1109, 1480, 1559 ], 632 next:= [ rec( 633 desc:= [ 302011, 110003, 303011, 40407008 ], 634 fp:= [ 1, 641 ], 635 next:= [ 620323, 620307 ] ), rec( 636 fp:= [ 73753, 98791 ], 637 level:= 5, 638 next:= [ 620309, 620328 ] ), rec( 639 desc:= [ 302010, 114003, 215002, 303015, 40408009 ], 640 fp:= [ 1, 1921 ], 641 next:= [ 620315, 620331 ] ) ] ), rec( 642 fp:= [ 1499 ], 643 next:= [ rec( 644 desc:= [ 105003 ], 645 fp:= [ 614, 812 ], 646 next:= [ 628184, 628182 ] ) ] ), rec( 647 fp:= [ 1183, 1320, 1461, 1538 ], 648 next:= [ rec( 649 desc:= [ 105003 ], 650 fp:= [ 222, 420 ], 651 next:= [ 635498, 635502 ] ), rec( 652 desc:= [ 105003 ], 653 fp:= [ 222, 420 ], 654 next:= [ 635510, 635515 ] ), rec( 655 desc:= [ 105003 ], 656 fp:= [ 18, 216 ], 657 next:= [ 635504, 635516 ] ), rec( 658 desc:= [ 302005 ], 659 fp:= [ 38461, 48441 ], 660 next:= [ 635511, 635518 ] ) ] ), rec( 661 fp:= [ 1263, 1406, 1513 ], 662 next:= [ rec( 663 fp:= [ 86574, 89207 ], 664 level:= 5, 665 next:= [ 662061, 662065 ] ), rec( 666 fp:= [ 4586, 57380 ], 667 level:= 5, 668 next:= [ 662074, 662070 ] ), rec( 669 fp:= [ 4586, 57380 ], 670 level:= 5, 671 next:= [ rec( 672 desc:= [ 107003 ], 673 fp:= [ 614, 812 ], 674 next:= [ 662082, 662067 ] ), 662078 ] ) ] ), rec( 675 fp:= [ 1211, 1285 ], 676 next:= [ rec( 677 desc:= [ 107003 ], 678 fp:= [ 220, 814 ], 679 next:= [ 671092, 671102 ] ), rec( 680 fp:= [ 27417, 74284 ], 681 level:= 5, 682 next:= [ 671097, 671111 ] ) ] ), rec( 683 fp:= [ 1156, 1401, 1405 ], 684 next:= [ rec( 685 desc:= [ 302009 ], 686 fp:= [ 285, 38461 ], 687 next:= [ 679424, 679432 ] ), rec( 688 desc:= [ 302009 ], 689 fp:= [ 186, 28561 ], 690 next:= [ 679420, 679444 ] ), rec( 691 fp:= [ 23908, 57737 ], 692 level:= 5, 693 next:= [ 679446, rec( 694 desc:= [ 302008 ], 695 fp:= [ 662, 58341 ], 696 next:= [ 679445, 679437 ] ) ] ) ] ), rec( 697 fp:= [ 1198, 1291, 1368, 1404, 1459 ], 698 next:= [ rec( 699 desc:= [ 108003 ], 700 fp:= [ 418, 814 ], 701 next:= [ 688616, 688628 ] ), rec( 702 fp:= [ 3193, 11826 ], 703 level:= 5, 704 next:= [ 688625, 688609 ] ), rec( 705 fp:= [ 44575, 53208 ], 706 level:= 5, 707 next:= [ 688635, 688619 ] ), rec( 708 fp:= [ 24543, 77277 ], 709 level:= 5, 710 next:= [ 688637, 688621 ] ), rec( 711 desc:= [ 107003 ], 712 fp:= [ 416, 614 ], 713 next:= [ 688626, 688612 ] ) ] ), rec( 714 fp:= [ 1427 ], 715 next:= [ rec( 716 desc:= [ 105003 ], 717 fp:= [ 16, 214 ], 718 next:= [ 697920, 697924 ] ) ] ), rec( 719 fp:= [ 1182, 1237, 1296, 1424, 1516 ], 720 next:= [ rec( 721 desc:= [ 302006 ], 722 fp:= [ 48262, 48441 ], 723 next:= [ 706953, 706946 ] ), rec( 724 desc:= [ 106003 ], 725 fp:= [ 418, 814 ], 726 next:= [ 706964, 706952 ] ), rec( 727 desc:= [ 113011 ], 728 fp:= [ 4, 14 ], 729 next:= [ 706950, 706961 ] ), rec( 730 desc:= [ 302008 ], 731 fp:= [ 54583, 87127 ], 732 next:= [ 706973, 706966 ] ), rec( 733 desc:= [ 302008 ], 734 fp:= [ 54583, 87127 ], 735 next:= [ 706949, 706962 ] ) ] ), rec( 736 fp:= [ 1247, 1418, 1494 ], 737 next:= [ rec( 738 fp:= [ 14813, 29365 ], 739 level:= 5, 740 next:= [ 716158, 716160 ] ), rec( 741 desc:= [ 302007 ], 742 fp:= [ 45933, 62443 ], 743 next:= [ 716148, 716152 ] ), rec( 744 desc:= [ 302007 ], 745 fp:= [ 36033, 52543 ], 746 next:= [ 716174, 716178 ] ) ] ), rec( 747 fp:= [ 1229, 1305 ], 748 next:= [ rec( 749 fp:= [ 47953, 67127 ], 750 level:= 5, 751 next:= [ 725462, 725473 ] ), rec( 752 desc:= [ 107003 ], 753 fp:= [ 618, 1014 ], 754 next:= [ 725464, 725449 ] ) ] ), rec( 755 fp:= [ 1257 ], 756 next:= [ rec( 757 desc:= [ 107003 ], 758 fp:= [ 816, 1014 ], 759 next:= [ 734468, 734474 ] ) ] ), rec( 760 fp:= [ 1290, 1414, 1435 ], 761 next:= [ rec( 762 fp:= [ 73614, 79188 ], 763 level:= 5, 764 next:= [ 743734, 743725 ] ), rec( 765 desc:= [ 302007 ], 766 fp:= [ 483, 58261 ], 767 next:= [ 743746, 743742 ] ), rec( 768 desc:= [ 302007 ], 769 fp:= [ 384, 48361 ], 770 next:= [ 743750, 743737 ] ) ] ), rec( 771 fp:= [ 1176, 1423 ], 772 next:= [ rec( 773 fp:= [ 66726, 94499 ], 774 level:= 5, 775 next:= [ 752732, 752738 ] ), rec( 776 fp:= [ 19153, 33033 ], 777 level:= 5, 778 next:= [ 752737, 752746 ] ) ] ), rec( 779 fp:= [ 1160, 1213, 1267, 1368, 1405, 1408 ], 780 next:= [ rec( 781 desc:= [ 302007 ], 782 fp:= [ 48441, 66341 ], 783 next:= [ 762022, 762013 ] ), rec( 784 desc:= [ 302008 ], 785 fp:= [ 42613, 48521 ], 786 next:= [ 762037, 762024 ] ), rec( 787 fp:= [ 49869, 90225 ], 788 level:= 5, 789 next:= [ 762019, 762035 ] ), rec( 790 fp:= [ 32179, 37753 ], 791 level:= 5, 792 next:= [ 762023, 762039 ] ), rec( 793 desc:= [ 302010 ], 794 fp:= [ 23400, 65401, 88921 ], 795 next:= [ 762036, 762016, rec( 796 desc:= [ 210003 ], 797 fp:= [ 216, 414 ], 798 next:= [ 762038, 762025 ] ) ] ), rec( 799 fp:= [ 23946, 83251 ], 800 level:= 5, 801 next:= [ 762017, 762012 ] ) ] ), rec( 802 fp:= [ 1212, 1329 ], 803 next:= [ rec( 804 desc:= [ 107003 ], 805 fp:= [ 10, 812 ], 806 next:= [ 770686, 770685 ] ), rec( 807 desc:= [ 108003 ], 808 fp:= [ 814, 1012 ], 809 next:= [ 770693, 770690 ] ) ] ), rec( 810 fp:= [ 1384, 1493 ], 811 next:= [ rec( 812 desc:= [ 113011 ], 813 fp:= [ 4, 14 ], 814 next:= [ 779451, 779435 ] ), rec( 815 fp:= [ 4586, 57380 ], 816 level:= 5, 817 next:= [ 779429, 779442 ] ) ] ), rec( 818 fp:= [ 1343, 1445, 1451 ], 819 next:= [ rec( 820 desc:= [ 105003 ], 821 fp:= [ 22, 418 ], 822 next:= [ 788521, 788531 ] ), rec( 823 desc:= [ 302006 ], 824 fp:= [ 46013, 62523 ], 825 next:= [ 788526, 788530 ] ), rec( 826 desc:= [ 105003 ], 827 fp:= [ 20, 218 ], 828 next:= [ 788518, 788519 ] ) ] ), rec( 829 fp:= [ 1256, 1257, 1490 ], 830 next:= [ rec( 831 desc:= [ 302005 ], 832 fp:= [ 18661, 28462 ], 833 next:= [ 797426, 797432 ] ), rec( 834 desc:= [ 105003 ], 835 fp:= [ 816, 1014 ], 836 next:= [ 797436, 797437 ] ), rec( 837 desc:= [ 302006 ], 838 fp:= [ 52543, 69053 ], 839 next:= [ 797450, 797420 ] ) ] ), rec( 840 fp:= [ 1020, 1021, 1123, 1125 ], 841 next:= [ rec( 842 desc:= [ 302007 ], 843 fp:= [ 1584, 69500 ], 844 next:= [ 804994, rec( 845 desc:= [ 107003 ], 846 fp:= [ 30, 1218 ], 847 next:= [ 804988, 804991 ] ) ] ), rec( 848 desc:= [ 105003 ], 849 fp:= [ 822, 1218 ], 850 next:= [ 804987, 804993 ] ), rec( 851 desc:= [ 105003 ], 852 fp:= [ 418, 814 ], 853 next:= [ 804995, 804989 ] ), rec( 854 desc:= [ 302007 ], 855 fp:= [ 59501, 60080 ], 856 next:= [ 804992, 804997 ] ) ] ), rec( 857 fp:= [ 1321, 1563, 1571 ], 858 next:= [ rec( 859 desc:= [ 302008 ], 860 fp:= [ 28443, 46343 ], 861 next:= [ 811753, 811747 ] ), rec( 862 desc:= [ 302009 ], 863 fp:= [ 643, 74581 ], 864 next:= [ 811738, 811764 ] ), rec( 865 desc:= [ 105003 ], 866 fp:= [ 2, 12 ], 867 next:= [ 811748, 811744 ] ) ] ), rec( 868 fp:= [ 1570 ], 869 next:= [ rec( 870 desc:= [ 302008 ], 871 fp:= [ 42803, 49333 ], 872 next:= [ 820664, 820670 ] ) ] ), rec( 873 fp:= [ 1592 ], 874 next:= [ rec( 875 desc:= [ 302008, 113007, 213002 ], 876 fp:= [ 1618, 2014 ], 877 next:= [ 835975, 835985 ] ) ] ), rec( 878 fp:= [ 1292, 1432, 1486, 1564 ], 879 next:= [ rec( 880 desc:= [ 106003 ], 881 fp:= [ 416, 614 ], 882 next:= [ 844627, 844618 ] ), rec( 883 desc:= [ 302007 ], 884 fp:= [ 52543, 62523 ], 885 next:= [ 844619, 844634 ] ), rec( 886 desc:= [ 106003 ], 887 fp:= [ 214, 412 ], 888 next:= [ 844637, 844644 ] ), rec( 889 desc:= [ 106003 ], 890 fp:= [ 2, 12 ], 891 next:= [ 844638, 844630 ] ) ] ), rec( 892 fp:= [ 1410, 1417, 1535 ], 893 next:= [ rec( 894 fp:= [ 14235, 48020 ], 895 level:= 5, 896 next:= [ rec( 897 desc:= [ 107003 ], 898 fp:= [ 2, 12 ], 899 next:= [ 853679, 853681 ] ), 853657 ] ), rec( 900 desc:= [ 302009 ], 901 fp:= [ 45933, 62443 ], 902 next:= [ 853680, 853665 ] ), rec( 903 desc:= [ 107003 ], 904 fp:= [ 214, 412 ], 905 next:= [ 853676, 853670 ] ) ] ), rec( 906 fp:= [ 1470, 1476, 1571 ], 907 next:= [ rec( 908 desc:= [ 106003 ], 909 fp:= [ 4, 212 ], 910 next:= [ 862867, 862862 ] ), rec( 911 desc:= [ 106003 ], 912 fp:= [ 4, 212 ], 913 next:= [ 862868, 862872 ] ), rec( 914 desc:= [ 302008 ], 915 fp:= [ 73937, 84077, 90447 ], 916 next:= [ 862866, 862858, 862876 ] ) ] ), rec( 917 fp:= [ 1563 ], 918 next:= [ rec( 919 desc:= [ 105003 ], 920 fp:= [ 2, 12 ], 921 next:= [ 872134, 872142 ] ) ] ), rec( 922 fp:= [ 1400, 1401, 1405, 1431 ], 923 next:= [ rec( 924 fp:= [ 35727, 51014 ], 925 level:= 5, 926 next:= [ 881391, 881393 ] ), rec( 927 fp:= [ 20209, 47423 ], 928 level:= 5, 929 next:= [ 881367, 881377 ] ), rec( 930 desc:= [ 108003 ], 931 fp:= [ 14, 212 ], 932 next:= [ 881382, 881390 ] ), rec( 933 fp:= [ 33109, 98941 ], 934 level:= 5, 935 next:= [ 881387, 881394 ] ) ] ), rec( 936 fp:= [ 1409, 1535 ], 937 next:= [ rec( 938 desc:= [ 302009 ], 939 fp:= [ 686, 77467 ], 940 next:= [ 890559, 890584 ] ), rec( 941 desc:= [ 106003 ], 942 fp:= [ 16, 214 ], 943 next:= [ 890583, 890585 ] ) ] ), rec( 944 fp:= [ 1488 ], 945 next:= [ rec( 946 desc:= [ 107003 ], 947 fp:= [ 14, 212 ], 948 next:= [ 899812, 899826 ] ) ] ), rec( 949 fp:= [ 1367 ], 950 next:= [ rec( 951 desc:= [ 114011 ], 952 fp:= [ 4, 14 ], 953 next:= [ 909000, 908984 ] ) ] ), rec( 954 fp:= [ 1433 ], 955 next:= [ rec( 956 desc:= [ 107003 ], 957 fp:= [ 14, 212 ], 958 next:= [ 918248, 918230 ] ) ] ), rec( 959 fp:= [ 1211, 1437, 1454, 1500 ], 960 next:= [ rec( 961 desc:= [ 302007 ], 962 fp:= [ 18741, 55833 ], 963 next:= [ 936421, 936413 ] ), rec( 964 desc:= [ 302008 ], 965 fp:= [ 544, 64681 ], 966 next:= [ 936427, 936436 ] ), rec( 967 desc:= [ 106003 ], 968 fp:= [ 214, 412 ], 969 next:= [ 936435, 936433 ] ), rec( 970 desc:= [ 302006 ], 971 fp:= [ 483, 58261 ], 972 next:= [ 936430, 936437 ] ) ] ), rec( 973 fp:= [ 1472, 1559 ], 974 next:= [ rec( 975 fp:= [ 24922, 77716 ], 976 level:= 5, 977 next:= [ 945603, 945621 ] ), rec( 978 fp:= [ 26541, 78345 ], 979 level:= 5, 980 next:= [ 945620, 945630 ] ) ] ), rec( 981 fp:= [ 1440, 1512, 1570 ], 982 next:= [ rec( 983 fp:= [ 29511, 49582 ], 984 level:= 5, 985 next:= [ 954764, 954763 ] ), rec( 986 desc:= [ 302009 ], 987 fp:= [ 28443, 35934 ], 988 next:= [ 954787, 954781 ] ), rec( 989 desc:= [ 302010, 216002 ], 990 fp:= [ 6, 412 ], 991 next:= [ 954790, 954780 ] ) ] ), rec( 992 fp:= [ 1414, 1443, 1529 ], 993 next:= [ rec( 994 fp:= [ 42001, 75726 ], 995 level:= 5, 996 next:= [ 963998, 964013 ] ), rec( 997 desc:= [ 302007 ], 998 fp:= [ 483, 58261 ], 999 next:= [ 964020, 964019 ] ), rec( 1000 fp:= [ 28273, 68569 ], 1001 level:= 5, 1002 next:= [ 963996, 964011 ] ) ] ), rec( 1003 fp:= [ 1326, 1508 ], 1004 next:= [ rec( 1005 desc:= [ 105003 ], 1006 fp:= [ 614, 812 ], 1007 next:= [ 973157, 973148 ] ), rec( 1008 desc:= [ 105003 ], 1009 fp:= [ 6, 412 ], 1010 next:= [ 973159, 973165 ] ) ] ), rec( 1011 fp:= [ 1203, 1424, 1438 ], 1012 next:= [ rec( 1013 desc:= [ 107003 ], 1014 fp:= [ 414, 612 ], 1015 next:= [ 982316, 982315 ] ), rec( 1016 desc:= [ 302008 ], 1017 fp:= [ 28622, 63993 ], 1018 next:= [ 982327, 982334 ] ), rec( 1019 fp:= [ 24557, 91444 ], 1020 level:= 5, 1021 next:= [ 982309, 982314 ] ) ] ), rec( 1022 fp:= [ 1433, 1443, 1559 ], 1023 next:= [ rec( 1024 fp:= [ 36027, 76323 ], 1025 level:= 5, 1026 next:= [ 991219, 991246 ] ), rec( 1027 fp:= [ 39446, 79742 ], 1028 level:= 5, 1029 next:= [ 991242, 991221 ] ), rec( 1030 desc:= [ 302009 ], 1031 fp:= [ 54781, 64582 ], 1032 next:= [ 991238, 991230 ] ) ] ), rec( 1033 fp:= [ 1032 ], 1034 next:= [ rec( 1035 fp:= [ 18879, 85765 ], 1036 level:= 5, 1037 next:= [ 1008391, 1008387 ] ) ] ), rec( 1038 fp:= [ 1105, 1260 ], 1039 next:= [ rec( 1040 desc:= [ 114011 ], 1041 fp:= [ 24, 2014 ], 1042 next:= [ 1015400, 1015381 ] ), rec( 1043 fp:= [ 54261, 54416 ], 1044 level:= 5, 1045 next:= [ 1015397, 1015394 ] ) ] ), rec( 1046 fp:= [ 1035 ], 1047 next:= [ rec( 1048 fp:= [ 55056, 62671 ], 1049 level:= 5, 1050 next:= [ 1022959, 1022955 ] ) ] ), rec( 1051 fp:= [ 1861, 2175 ], 1052 next:= [ rec( 1053 desc:= [ 111003 ], 1054 fp:= [ 8, 18 ], 1055 next:= [ 1041633, 1041631 ] ), rec( 1056 desc:= [ 302005, 113003, 209003, 304009, 215004 ], 1057 fp:= [ 8, 18 ], 1058 next:= [ 1041632, 1041636 ] ) ] ), rec( 1059 fp:= [ 2075 ], 1060 next:= [ rec( 1061 desc:= [ 40104007 ], 1062 fp:= [ 1, 1921 ], 1063 next:= [ 1057787, 1057779 ] ) ] ), rec( 1064 fp:= [ 1900 ], 1065 next:= [ rec( 1066 desc:= [ 122005, 122007 ], 1067 fp:= [ 12, 814 ], 1068 next:= [ 1070700, 1070692 ] ) ] ), rec( 1069 fp:= [ 2251, 2268 ], 1070 next:= [ rec( 1071 fp:= [ 65363, 93597 ], 1072 level:= 5, 1073 next:= [ 1080719, 1080725 ] ), rec( 1074 fp:= [ 62321, 73148 ], 1075 level:= 5, 1076 next:= [ 1080718, 1080724 ] ) ] ) ] ); 1077