1############################################################################# 2## 3#W id8.aig GAP library of id's Hans Ulrich Besche 4## 5 6ID_GROUP_TREE.next[8].next[1].next[241]:= 7rec( 8 fp:= [ 7440, 7740, 8040, 8340, 8640, 8940, 9240, 9540, 9840, 10140, 14040, 915540, 15840, 16140, 17940, 19140, 19740, 20040, 20640, 22440, 23040, 23940, 1024240, 24840, 25140, 25440, 25740, 27840, 28440, 28740, 29040, 29340, 29940, 1130540, 31140, 31440, 31740, 32640, 32940, 33240, 33540, 33840, 34440, 34740, 1235340, 35940, 36240, 36540, 36840, 37140, 37440, 37740, 38040, 38340, 38640, 1339240, 39540, 39840, 41040, 41640, 41940, 42240, 42540, 43140, 43740, 44040, 1444340, 44640, 44940, 45240, 45540, 45840, 46140, 46440, 46740, 47040, 47340, 1547640, 47940, 48240, 48540, 48840, 49740, 50040, 50340, 50640, 51240, 51540, 1651840, 52140, 52440, 52740, 54540, 54840, 55740, 56040 ], 17 next:= [ rec( 18 fp:= [ 165 ], 19 next:= [ rec( 20 desc:= [ 302005, 302009, 302012, 111003, 211007, 40211012 ], 21 fp:= [ 6, 5621 ], 22 next:= [ 98100, 98105 ] ) ] ), rec( 23 fp:= [ 168, 172, 173, 1018 ], 24 next:= [ rec( 25 desc:= [ 106003 ], 26 fp:= [ 8, 414 ], 27 next:= [ 101406, 101402 ] ), rec( 28 desc:= [ 107003, 302005, 302007, 209002 ], 29 fp:= [ 2, 12 ], 30 next:= [ 101401, 101409 ] ), rec( 31 desc:= [ 105003 ], 32 fp:= [ 12, 814 ], 33 next:= [ 101399, 101403 ] ), rec( 34 desc:= [ 107003, 302005, 208002 ], 35 fp:= [ 2, 12 ], 36 next:= [ 101400, 101408 ] ) ] ), rec( 37 fp:= [ 166, 174 ], 38 next:= [ rec( 39 desc:= [ 105003 ], 40 fp:= [ 8, 414 ], 41 next:= [ 105267, 105270 ] ), rec( 42 desc:= [ 104003 ], 43 fp:= [ 12, 814 ], 44 next:= [ 105266, 105269 ] ) ] ), rec( 45 fp:= [ 168, 171, 173, 1021 ], 46 next:= [ rec( 47 desc:= [ 105003 ], 48 fp:= [ 16, 1214 ], 49 next:= [ 108583, 108586 ] ), rec( 50 desc:= [ 111011 ], 51 fp:= [ 826, 1618, 2014 ], 52 next:= [ 108580, 108577, 108579 ] ), rec( 53 desc:= [ 106003 ], 54 fp:= [ 416, 614 ], 55 next:= [ 108588, 108584 ] ), rec( 56 desc:= [ 106003 ], 57 fp:= [ 4, 212 ], 58 next:= [ 108576, 108578 ] ) ] ), rec( 59 fp:= [ 169, 171, 173, 174, 1020 ], 60 next:= [ rec( 61 desc:= [ 105003 ], 62 fp:= [ 16, 1214 ], 63 next:= [ 112895, 112894 ] ), rec( 64 desc:= [ 105003 ], 65 fp:= [ 8, 414 ], 66 next:= [ 112890, 112893 ] ), rec( 67 desc:= [ 105003 ], 68 fp:= [ 8, 414 ], 69 next:= [ 112897, 112886 ] ), rec( 70 desc:= [ 106003 ], 71 fp:= [ 614, 812 ], 72 next:= [ 112898, 112888 ] ), rec( 73 desc:= [ 105003 ], 74 fp:= [ 16, 1214 ], 75 next:= [ 112887, 112891 ] ) ] ), rec( 76 fp:= [ 171 ], 77 next:= [ rec( 78 desc:= [ 302007, 302010, 113003, 213002, 302014, 302016, 40209012 ], 79 fp:= [ 6, 3061 ], 80 next:= [ 117121, 117123 ] ) ] ), rec( 81 fp:= [ 1116 ], 82 next:= [ rec( 83 fp:= [ 1011, 21722 ], 84 level:= 5, 85 next:= [ 121252, 121254 ] ) ] ), rec( 86 fp:= [ 170, 171, 1118 ], 87 next:= [ rec( 88 desc:= [ 107003 ], 89 fp:= [ 216, 414 ], 90 next:= [ 125416, rec( 91 desc:= [ 302010, 209002 ], 92 fp:= [ 14, 212 ], 93 next:= [ 125426, 125425 ] ) ] ), rec( 94 desc:= [ 107003 ], 95 fp:= [ 416, 614 ], 96 next:= [ 125418, 125424 ] ), rec( 97 desc:= [ 106003 ], 98 fp:= [ 4, 14 ], 99 next:= [ 125415, 125414 ] ) ] ), rec( 100 fp:= [ 168, 171, 175 ], 101 next:= [ rec( 102 desc:= [ 106003 ], 103 fp:= [ 216, 612 ], 104 next:= [ 129433, 129441 ] ), rec( 105 desc:= [ 106003 ], 106 fp:= [ 218, 416, 614 ], 107 next:= [ 129444, 129432, rec( 108 desc:= [ 302009, 207002 ], 109 fp:= [ 4, 14 ], 110 next:= [ 129443, 129436 ] ) ] ), rec( 111 desc:= [ 106003 ], 112 fp:= [ 616, 814 ], 113 next:= [ 129442, 129446 ] ) ] ), rec( 114 fp:= [ 171, 172, 175, 178 ], 115 next:= [ rec( 116 desc:= [ 302006 ], 117 fp:= [ 29900, 39701 ], 118 next:= [ 133137, rec( 119 desc:= [ 302007, 109003, 209003 ], 120 fp:= [ 214, 412 ], 121 next:= [ 133145, 133150 ] ) ] ), rec( 122 desc:= [ 302006 ], 123 fp:= [ 29900, 39701 ], 124 next:= [ 133148, rec( 125 desc:= [ 107003, 207002 ], 126 fp:= [ 216, 414 ], 127 next:= [ 133140, 133142 ] ) ] ), rec( 128 desc:= [ 302006, 107003, 207002 ], 129 fp:= [ 218, 416 ], 130 next:= [ 133138, 133141 ] ), rec( 131 desc:= [ 105003 ], 132 fp:= [ 618, 816 ], 133 next:= [ 133139, 133147 ] ) ] ), rec( 134 fp:= [ 1610 ], 135 next:= [ rec( 136 fp:= [ 24357, 58909 ], 137 level:= 5, 138 next:= [ 171909, 171916 ] ) ] ), rec( 139 fp:= [ 655 ], 140 next:= [ rec( 141 desc:= [ 306014 ], 142 fp:= [ 286, 48362 ], 143 next:= [ 186486, 186482 ] ) ] ), rec( 144 fp:= [ 602 ], 145 next:= [ rec( 146 fp:= [ 18648, 70462 ], 147 level:= 5, 148 next:= [ 189804, 189807 ] ) ] ), rec( 149 fp:= [ 499 ], 150 next:= [ rec( 151 desc:= [ 105003, 107003, 116007, 116011, 302004, 302006, 302009, 152220002 ], 153 fp:= [ 26, 422 ], 154 next:= [ 193839, 193836 ] ) ] ), rec( 155 fp:= [ 809 ], 156 next:= [ rec( 157 desc:= [ 114007 ], 158 fp:= [ 4, 14 ], 159 next:= [ 214188, 214186 ] ) ] ), rec( 160 fp:= [ 586 ], 161 next:= [ rec( 162 fp:= [ 554, 56143 ], 163 level:= 5, 164 next:= [ 229459, 229454 ] ) ] ), rec( 165 fp:= [ 594, 650, 773 ], 166 next:= [ rec( 167 fp:= [ 3496, 80970 ], 168 level:= 5, 169 next:= [ 238081, 238086 ] ), rec( 170 desc:= [ 108003 ], 171 fp:= [ 213, 411 ], 172 next:= [ 238078, 238076 ] ), rec( 173 desc:= [ 108003 ], 174 fp:= [ 13, 211 ], 175 next:= [ 238074, 238072 ] ) ] ), rec( 176 fp:= [ 650 ], 177 next:= [ rec( 178 fp:= [ 15741, 30532 ], 179 level:= 5, 180 next:= [ 242562, 242559 ] ) ] ), rec( 181 fp:= [ 804 ], 182 next:= [ rec( 183 desc:= [ 112003 ], 184 fp:= [ 4, 14 ], 185 next:= [ 251282, 251274 ] ) ] ), rec( 186 fp:= [ 666 ], 187 next:= [ rec( 188 fp:= [ 86980, 92752 ], 189 level:= 5, 190 next:= [ 272952, 272954 ] ) ] ), rec( 191 fp:= [ 748 ], 192 next:= [ rec( 193 desc:= [ 105003 ], 194 fp:= [ 16, 214 ], 195 next:= [ 279631, 279637 ] ) ] ), rec( 196 fp:= [ 791 ], 197 next:= [ rec( 198 fp:= [ 10849, 60010 ], 199 level:= 5, 200 next:= [ 291505, 291502 ] ) ] ), rec( 201 fp:= [ 789 ], 202 next:= [ rec( 203 desc:= [ 302007 ], 204 fp:= [ 841, 58261 ], 205 next:= [ 295650, 295645 ] ) ] ), rec( 206 fp:= [ 605, 732 ], 207 next:= [ rec( 208 desc:= [ 302011 ], 209 fp:= [ 54781, 64921 ], 210 next:= [ 304370, 304368 ] ), rec( 211 desc:= [ 302011 ], 212 fp:= [ 34783, 83837 ], 213 next:= [ 304374, 304372 ] ) ] ), rec( 214 fp:= [ 652, 789 ], 215 next:= [ rec( 216 desc:= [ 106003 ], 217 fp:= [ 17, 215 ], 218 next:= [ 308772, 308775 ] ), rec( 219 fp:= [ 89816, 94230 ], 220 level:= 5, 221 next:= [ 308773, 308764 ] ) ] ), rec( 222 fp:= [ 803 ], 223 next:= [ rec( 224 fp:= [ 57669, 66257 ], 225 level:= 5, 226 next:= [ 313174, 313177 ] ) ] ), rec( 227 fp:= [ 767, 820 ], 228 next:= [ rec( 229 desc:= [ 112003 ], 230 fp:= [ 14, 212 ], 231 next:= [ 317033, 317037 ] ), rec( 232 desc:= [ 111003 ], 233 fp:= [ 14, 212 ], 234 next:= [ 317040, 317036 ] ) ] ), rec( 235 fp:= [ 1001, 1020, 1021 ], 236 next:= [ rec( 237 desc:= [ 106003 ], 238 fp:= [ 1218, 1614 ], 239 next:= [ 340101, 340105 ] ), rec( 240 desc:= [ 302009 ], 241 fp:= [ 59600, 69980 ], 242 next:= [ rec( 243 desc:= [ 114011 ], 244 fp:= [ 24, 1618 ], 245 next:= [ 340112, 340099 ] ), 340100 ] ), rec( 246 fp:= [ 48680, 95547 ], 247 level:= 5, 248 next:= [ rec( 249 desc:= [ 302009 ], 250 fp:= [ 1485, 59600, 69980 ], 251 next:= [ 340107, rec( 252 desc:= [ 108003 ], 253 fp:= [ 818, 1214 ], 254 next:= [ 340108, 340104 ] ), 340103 ] ), 340109 ] ) ] ), rec( 255 fp:= [ 1137, 1215 ], 256 next:= [ rec( 257 desc:= [ 302006 ], 258 fp:= [ 662, 921 ], 259 next:= [ 351121, 351131 ] ), rec( 260 desc:= [ 302007 ], 261 fp:= [ 563, 66421 ], 262 next:= [ 351133, 351125 ] ) ] ), rec( 263 fp:= [ 1146 ], 264 next:= [ rec( 265 fp:= [ 57103, 60181 ], 266 level:= 5, 267 next:= [ 357236, 357220 ] ) ] ), rec( 268 fp:= [ 1307 ], 269 next:= [ rec( 270 fp:= [ 25241, 94217 ], 271 level:= 5, 272 next:= [ 364165, 364166 ] ) ] ), rec( 273 fp:= [ 1075, 1105, 1320 ], 274 next:= [ rec( 275 fp:= [ 18966, 62749 ], 276 level:= 5, 277 next:= [ 370560, 370580 ] ), rec( 278 desc:= [ 108003 ], 279 fp:= [ 416, 614 ], 280 next:= [ 370584, 370576 ] ), rec( 281 desc:= [ 108003 ], 282 fp:= [ 618, 816 ], 283 next:= [ 370583, 370575 ] ) ] ), rec( 284 fp:= [ 1198 ], 285 next:= [ rec( 286 fp:= [ 26541, 86068 ], 287 level:= 5, 288 next:= [ 383077, 383057 ] ) ] ), rec( 289 fp:= [ 1548, 2171 ], 290 next:= [ rec( 291 desc:= [ 302009, 211002 ], 292 fp:= [ 418, 814 ], 293 next:= [ 396585, 396583 ] ), rec( 294 desc:= [ 302007, 216003 ], 295 fp:= [ 8, 18 ], 296 next:= [ 396584, 396582 ] ) ] ), rec( 297 fp:= [ 1210, 1237, 1241, 1497 ], 298 next:= [ rec( 299 fp:= [ 32933, 86892 ], 300 level:= 5, 301 next:= [ 410923, 410929 ] ), rec( 302 desc:= [ 302010 ], 303 fp:= [ 883, 54682 ], 304 next:= [ 410928, 410925 ] ), rec( 305 desc:= [ 302006 ], 306 fp:= [ 38362, 38541 ], 307 next:= [ 410936, 410941 ] ), rec( 308 desc:= [ 302009 ], 309 fp:= [ 54781, 64582 ], 310 next:= [ 410934, 410926 ] ) ] ), rec( 311 fp:= [ 1464 ], 312 next:= [ rec( 313 desc:= [ 105003 ], 314 fp:= [ 20, 416 ], 315 next:= [ 419562, 419572 ] ) ] ), rec( 316 fp:= [ 1022, 1259, 1264 ], 317 next:= [ rec( 318 desc:= [ 302008 ], 319 fp:= [ 28641, 56441 ], 320 next:= [ 428623, 428631 ] ), rec( 321 fp:= [ 32816, 41445 ], 322 level:= 5, 323 next:= [ 428621, 428643 ] ), rec( 324 fp:= [ 25335, 53080 ], 325 level:= 5, 326 next:= [ 428629, 428627 ] ) ] ), rec( 327 fp:= [ 1155, 1172, 1224 ], 328 next:= [ rec( 329 desc:= [ 106003 ], 330 fp:= [ 4, 14 ], 331 next:= [ 449752, 449760 ] ), rec( 332 desc:= [ 107003 ], 333 fp:= [ 20, 416 ], 334 next:= [ 449753, 449748 ] ), rec( 335 fp:= [ 32933, 86892 ], 336 level:= 5, 337 next:= [ 449761, 449741 ] ) ] ), rec( 338 fp:= [ 1152, 1154 ], 339 next:= [ rec( 340 fp:= [ 41388, 49562 ], 341 level:= 5, 342 next:= [ 456793, 456805 ] ), rec( 343 fp:= [ 41388, 49562 ], 344 level:= 5, 345 next:= [ 456797, 456809 ] ) ] ), rec( 346 fp:= [ 1311, 1319 ], 347 next:= [ rec( 348 desc:= [ 107003 ], 349 fp:= [ 414, 612 ], 350 next:= [ 464604, 464597 ] ), rec( 351 desc:= [ 107003 ], 352 fp:= [ 614, 812 ], 353 next:= [ 464613, 464612 ] ) ] ), rec( 354 fp:= [ 1189, 1200, 1362, 1510 ], 355 next:= [ rec( 356 fp:= [ 56913, 80844 ], 357 level:= 5, 358 next:= [ 473681, 473676 ] ), rec( 359 fp:= [ 8363, 16680 ], 360 level:= 5, 361 next:= [ 473665, 473668 ] ), rec( 362 fp:= [ 7865, 16638 ], 363 level:= 5, 364 next:= [ 473687, 473672 ] ), rec( 365 desc:= [ 302008 ], 366 fp:= [ 483, 58261 ], 367 next:= [ 473666, 473690 ] ) ] ), rec( 368 fp:= [ 1250 ], 369 next:= [ rec( 370 desc:= [ 302008 ], 371 fp:= [ 384, 48361 ], 372 next:= [ 482621, 482625 ] ) ] ), rec( 373 fp:= [ 1469 ], 374 next:= [ rec( 375 fp:= [ 10986, 61635 ], 376 level:= 5, 377 next:= [ 500510, 500518 ] ) ] ), rec( 378 fp:= [ 1257 ], 379 next:= [ rec( 380 fp:= [ 28715, 49743 ], 381 level:= 5, 382 next:= [ 509717, 509716 ] ) ] ), rec( 383 fp:= [ 1399 ], 384 next:= [ rec( 385 fp:= [ 1622, 29426 ], 386 level:= 5, 387 next:= [ 527072, 527064 ] ) ] ), rec( 388 fp:= [ 1148 ], 389 next:= [ rec( 390 desc:= [ 109003 ], 391 fp:= [ 14, 212 ], 392 next:= [ 540535, 540532 ] ) ] ), rec( 393 fp:= [ 1150 ], 394 next:= [ rec( 395 fp:= [ 38986, 75129 ], 396 level:= 5, 397 next:= [ 548944, 548953 ] ) ] ), rec( 398 fp:= [ 1061, 1077, 1205, 1237, 1322, 1523, 1534 ], 399 next:= [ rec( 400 desc:= [ 105003 ], 401 fp:= [ 26, 818 ], 402 next:= [ 557731, 557723 ] ), rec( 403 desc:= [ 105003 ], 404 fp:= [ 1020, 1218 ], 405 next:= [ 557741, 557733 ] ), rec( 406 desc:= [ 111011 ], 407 fp:= [ 4, 14 ], 408 next:= [ 557721, 557745 ] ), rec( 409 desc:= [ 302006, 312015, 302010, 112003, 216003, 216004, 212005, 410217005, 212006, 306013, 219006 ], 411 fp:= [ 1, 11 ], 412 next:= [ 557737, 557729 ] ), rec( 413 desc:= [ 105003 ], 414 fp:= [ 820, 1018 ], 415 next:= [ 557744, 557738 ] ), rec( 416 desc:= [ 302007 ], 417 fp:= [ 34783, 83837 ], 418 next:= [ 557726, 557724 ] ), rec( 419 desc:= [ 105003 ], 420 fp:= [ 420, 618 ], 421 next:= [ 557722, 557728 ] ) ] ), rec( 422 fp:= [ 1210, 1344 ], 423 next:= [ rec( 424 desc:= [ 105003 ], 425 fp:= [ 818, 1016 ], 426 next:= [ 566840, 566836 ] ), rec( 427 fp:= [ 41049, 46411 ], 428 level:= 5, 429 next:= [ 566833, 566834 ] ) ] ), rec( 430 fp:= [ 1091, 1162, 1291, 1437, 1512 ], 431 next:= [ rec( 432 desc:= [ 109003 ], 433 fp:= [ 820, 1018 ], 434 next:= [ 575849, 575841 ] ), rec( 435 desc:= [ 107003 ], 436 fp:= [ 420, 618 ], 437 next:= [ 575824, 575828 ] ), rec( 438 fp:= [ 63087, 80673 ], 439 level:= 5, 440 next:= [ 575838, 575835 ] ), rec( 441 desc:= [ 108003 ], 442 fp:= [ 418, 814 ], 443 next:= [ 575834, 575842 ] ), rec( 444 fp:= [ 22446, 83371 ], 445 level:= 5, 446 next:= [ 575844, 575836 ] ) ] ), rec( 447 fp:= [ 1208, 1291, 1413 ], 448 next:= [ rec( 449 fp:= [ 7106, 63087 ], 450 level:= 5, 451 next:= [ 584977, 584980 ] ), rec( 452 fp:= [ 7106, 63087 ], 453 level:= 5, 454 next:= [ 584961, 584958 ] ), rec( 455 desc:= [ 302008 ], 456 fp:= [ 38541, 48521 ], 457 next:= [ 584964, 584974 ] ) ] ), rec( 458 fp:= [ 1075, 1246 ], 459 next:= [ rec( 460 desc:= [ 113011 ], 461 fp:= [ 1218, 1614 ], 462 next:= [ 594105, 594107 ] ), rec( 463 fp:= [ 12107, 17469 ], 464 level:= 5, 465 next:= [ 594115, 594088 ] ) ] ), rec( 466 fp:= [ 1222, 1294 ], 467 next:= [ rec( 468 fp:= [ 20550, 22937 ], 469 level:= 5, 470 next:= [ 601542, 601532 ] ), rec( 471 fp:= [ 62316, 69931 ], 472 level:= 5, 473 next:= [ 601543, 601534 ] ) ] ), rec( 474 fp:= [ 1140 ], 475 next:= [ rec( 476 fp:= [ 23901, 34911, 62400 ], 477 level:= 5, 478 next:= [ 608002, 607995, 607984 ] ) ] ), rec( 479 fp:= [ 1512 ], 480 next:= [ rec( 481 desc:= [ 302007 ], 482 fp:= [ 48361, 58341 ], 483 next:= [ 615178, 615186 ] ) ] ), rec( 484 fp:= [ 1417 ], 485 next:= [ rec( 486 desc:= [ 302009 ], 487 fp:= [ 18661, 28462, 28641 ], 488 next:= [ 630776, 630762, 630781 ] ) ] ), rec( 489 fp:= [ 1290, 1447 ], 490 next:= [ rec( 491 desc:= [ 106003 ], 492 fp:= [ 618, 816 ], 493 next:= [ 638717, 638719 ] ), rec( 494 desc:= [ 107003 ], 495 fp:= [ 18, 414 ], 496 next:= [ 638699, 638715 ] ) ] ), rec( 497 fp:= [ 1256 ], 498 next:= [ rec( 499 desc:= [ 106003 ], 500 fp:= [ 1014, 1212 ], 501 next:= [ 647704, 647718 ] ) ] ), rec( 502 fp:= [ 1212 ], 503 next:= [ rec( 504 desc:= [ 106003 ], 505 fp:= [ 8, 414 ], 506 next:= [ 682763, 682757 ] ) ] ), rec( 507 fp:= [ 1455 ], 508 next:= [ rec( 509 desc:= [ 302006 ], 510 fp:= [ 48262, 66341 ], 511 next:= [ 701274, 701270 ] ) ] ), rec( 512 fp:= [ 1225, 1259 ], 513 next:= [ rec( 514 desc:= [ 107003 ], 515 fp:= [ 12, 1012 ], 516 next:= [ 710275, 710274 ] ), rec( 517 fp:= [ 14813, 29365 ], 518 level:= 5, 519 next:= [ 710278, rec( 520 desc:= [ 113011 ], 521 fp:= [ 8, 414 ], 522 next:= [ 710293, 710270 ] ) ] ) ] ), rec( 523 fp:= [ 1190, 1463 ], 524 next:= [ rec( 525 desc:= [ 113011 ], 526 fp:= [ 18, 414 ], 527 next:= [ 719506, 719521 ] ), rec( 528 desc:= [ 106003 ], 529 fp:= [ 416, 614 ], 530 next:= [ 719517, 719524 ] ) ] ), rec( 531 fp:= [ 1188 ], 532 next:= [ rec( 533 desc:= [ 108003 ], 534 fp:= [ 218, 416 ], 535 next:= [ 728721, 728713 ] ) ] ), rec( 536 fp:= [ 1245 ], 537 next:= [ rec( 538 desc:= [ 106003 ], 539 fp:= [ 1014, 1212 ], 540 next:= [ 747073, 747097 ] ) ] ), rec( 541 fp:= [ 1193 ], 542 next:= [ rec( 543 fp:= [ 42509, 51142 ], 544 level:= 5, 545 next:= [ 765001, 765023 ] ) ] ), rec( 546 fp:= [ 1510 ], 547 next:= [ rec( 548 fp:= [ 21860, 34958 ], 549 level:= 5, 550 next:= [ 773952, 773980 ] ) ] ), rec( 551 fp:= [ 1322, 1532 ], 552 next:= [ rec( 553 desc:= [ 105003 ], 554 fp:= [ 816, 1014 ], 555 next:= [ 782696, 782708 ] ), rec( 556 desc:= [ 105003 ], 557 fp:= [ 416, 614 ], 558 next:= [ 782712, 782692 ] ) ] ), rec( 559 fp:= [ 1264, 1265, 1515 ], 560 next:= [ rec( 561 desc:= [ 111011 ], 562 fp:= [ 8, 414 ], 563 next:= [ 791732, 791729 ] ), rec( 564 desc:= [ 110011 ], 565 fp:= [ 8, 414 ], 566 next:= [ 791738, 791745 ] ), rec( 567 desc:= [ 302005 ], 568 fp:= [ 38461, 48262 ], 569 next:= [ 791722, 791752 ] ) ] ), rec( 570 fp:= [ 1433, 1462 ], 571 next:= [ rec( 572 desc:= [ 107003 ], 573 fp:= [ 414, 612 ], 574 next:= [ 800574, 800578 ] ), rec( 575 fp:= [ 19110, 59406 ], 576 level:= 5, 577 next:= [ 800579, 800604 ] ) ] ), rec( 578 fp:= [ 1034, 1130 ], 579 next:= [ rec( 580 desc:= [ 108003 ], 581 fp:= [ 820, 1216 ], 582 next:= [ 806838, 806828 ] ), rec( 583 desc:= [ 108003 ], 584 fp:= [ 416, 812 ], 585 next:= [ 806842, 806848 ] ) ] ), rec( 586 fp:= [ 1212, 1559, 1568 ], 587 next:= [ rec( 588 desc:= [ 302009, 113003, 213003 ], 589 fp:= [ 2, 12 ], 590 next:= [ 815029, 815025 ] ), rec( 591 fp:= [ 49856, 99529 ], 592 level:= 5, 593 next:= [ 815032, 815010 ] ), rec( 594 desc:= [ 302011 ], 595 fp:= [ 83738, 90447 ], 596 next:= [ 815016, 815020 ] ) ] ), rec( 597 fp:= [ 1262, 1421, 1570, 1571 ], 598 next:= [ rec( 599 fp:= [ 26920, 86507 ], 600 level:= 5, 601 next:= [ 823847, 823845 ] ), rec( 602 desc:= [ 106003 ], 603 fp:= [ 4, 212 ], 604 next:= [ 823832, 823838 ] ), rec( 605 desc:= [ 106003 ], 606 fp:= [ 2, 12 ], 607 next:= [ 823830, 823840 ] ), rec( 608 desc:= [ 106003 ], 609 fp:= [ 2, 12 ], 610 next:= [ 823858, 823856 ] ) ] ), rec( 611 fp:= [ 1139, 1149 ], 612 next:= [ rec( 613 fp:= [ 3462, 81462 ], 614 level:= 5, 615 next:= [ 830655, 830651 ] ), rec( 616 desc:= [ 302009 ], 617 fp:= [ 39304, 47403 ], 618 next:= [ 830659, 830666 ] ) ] ), rec( 619 fp:= [ 1405, 1418, 1441 ], 620 next:= [ rec( 621 desc:= [ 106003 ], 622 fp:= [ 16, 214 ], 623 next:= [ 838862, 838885 ] ), rec( 624 desc:= [ 302009 ], 625 fp:= [ 34882, 44683 ], 626 next:= [ 838883, 838881 ] ), rec( 627 desc:= [ 106003 ], 628 fp:= [ 214, 412 ], 629 next:= [ 838877, 838878 ] ) ] ), rec( 630 fp:= [ 1301, 1386, 1447, 1518 ], 631 next:= [ rec( 632 desc:= [ 112011 ], 633 fp:= [ 4, 14 ], 634 next:= [ 847920, 847914 ] ), rec( 635 desc:= [ 107003 ], 636 fp:= [ 6, 214 ], 637 next:= [ 847924, 847921 ] ), rec( 638 desc:= [ 302010 ], 639 fp:= [ 24926, 90687 ], 640 next:= [ 847909, 847907 ] ), rec( 641 desc:= [ 106003 ], 642 fp:= [ 214, 412 ], 643 next:= [ 847928, 847934 ] ) ] ), rec( 644 fp:= [ 1462 ], 645 next:= [ rec( 646 fp:= [ 39446, 79742 ], 647 level:= 5, 648 next:= [ 856943, 856940 ] ) ] ), rec( 649 fp:= [ 1453, 1522 ], 650 next:= [ rec( 651 desc:= [ 302007 ], 652 fp:= [ 36113, 62603 ], 653 next:= [ 866183, 866203 ] ), rec( 654 desc:= [ 106003 ], 655 fp:= [ 14, 212 ], 656 next:= [ 866210, 866186 ] ) ] ), rec( 657 fp:= [ 1247, 1486, 1507 ], 658 next:= [ rec( 659 desc:= [ 112011 ], 660 fp:= [ 8, 414 ], 661 next:= [ 875472, 875465 ] ), rec( 662 desc:= [ 302006 ], 663 fp:= [ 483, 58261 ], 664 next:= [ 875485, 875469 ] ), rec( 665 desc:= [ 106003 ], 666 fp:= [ 6, 412 ], 667 next:= [ 875459, 875479 ] ) ] ), rec( 668 fp:= [ 1204 ], 669 next:= [ rec( 670 desc:= [ 115011 ], 671 fp:= [ 4, 14 ], 672 next:= [ 884641, 884625 ] ) ] ), rec( 673 fp:= [ 1362 ], 674 next:= [ rec( 675 desc:= [ 302007 ], 676 fp:= [ 582, 761 ], 677 next:= [ 893889, 893876 ] ) ] ), rec( 678 fp:= [ 1406 ], 679 next:= [ rec( 680 fp:= [ 24922, 77716 ], 681 level:= 5, 682 next:= [ 903139, rec( 683 desc:= [ 107003 ], 684 fp:= [ 14, 212 ], 685 next:= [ 903154, 903164 ] ) ] ) ] ), rec( 686 fp:= [ 1207, 1383, 1504, 1532, 1568 ], 687 next:= [ rec( 688 desc:= [ 106003 ], 689 fp:= [ 614, 812 ], 690 next:= [ 912303, 912312 ] ), rec( 691 desc:= [ 105003 ], 692 fp:= [ 214, 412 ], 693 next:= [ 912313, 912316 ] ), rec( 694 desc:= [ 106003 ], 695 fp:= [ 6, 412 ], 696 next:= [ 912304, 912301 ] ), rec( 697 desc:= [ 105003 ], 698 fp:= [ 214, 412 ], 699 next:= [ 912323, 912322 ] ), rec( 700 desc:= [ 302008 ], 701 fp:= [ 883, 54682 ], 702 next:= [ 912328, 912310 ] ) ] ), rec( 703 fp:= [ 1484 ], 704 next:= [ rec( 705 desc:= [ 106003 ], 706 fp:= [ 214, 412 ], 707 next:= [ 939699, 939691 ] ) ] ), rec( 708 fp:= [ 1462 ], 709 next:= [ rec( 710 desc:= [ 302007, 211003 ], 711 fp:= [ 8, 612 ], 712 next:= [ 948952, 948946 ] ) ] ), rec( 713 fp:= [ 1382, 1520 ], 714 next:= [ rec( 715 desc:= [ 106003 ], 716 fp:= [ 6, 214 ], 717 next:= [ 958111, 958098 ] ), rec( 718 desc:= [ 106003 ], 719 fp:= [ 214, 412 ], 720 next:= [ 958100, 958124 ] ) ] ), rec( 721 fp:= [ 1212, 1449, 1518 ], 722 next:= [ rec( 723 desc:= [ 302007 ], 724 fp:= [ 483, 58261 ], 725 next:= [ 967267, 967257 ] ), rec( 726 desc:= [ 302008 ], 727 fp:= [ 582, 761 ], 728 next:= [ 967247, 967250 ] ), rec( 729 desc:= [ 302008 ], 730 fp:= [ 18364, 52543 ], 731 next:= [ 967254, 967248 ] ) ] ), rec( 732 fp:= [ 1435 ], 733 next:= [ rec( 734 desc:= [ 107003 ], 735 fp:= [ 214, 412 ], 736 next:= [ 985611, 985601 ] ) ] ), rec( 737 fp:= [ 1537 ], 738 next:= [ rec( 739 desc:= [ 302005 ], 740 fp:= [ 483, 58261 ], 741 next:= [ 994531, 994526 ] ) ] ), rec( 742 fp:= [ 1439, 1561 ], 743 next:= [ rec( 744 desc:= [ 106003 ], 745 fp:= [ 214, 412 ], 746 next:= [ 1003405, 1003379 ] ), rec( 747 desc:= [ 106003 ], 748 fp:= [ 2, 12 ], 749 next:= [ 1003396, 1003406 ] ) ] ), rec( 750 fp:= [ 1034, 1094, 1183, 1194 ], 751 next:= [ rec( 752 desc:= [ 106003 ], 753 fp:= [ 24, 420 ], 754 next:= [ 1010841, 1010837 ] ), rec( 755 desc:= [ 302009 ], 756 fp:= [ 64822, 80757 ], 757 next:= [ 1010827, 1010844 ] ), rec( 758 desc:= [ 106003 ], 759 fp:= [ 26, 224, 422 ], 760 next:= [ 1010843, 1010828, 1010825 ] ), rec( 761 fp:= [ 43640, 43795 ], 762 level:= 5, 763 next:= [ 1010822, 1010836 ] ) ] ), rec( 764 fp:= [ 1096, 1181, 1182, 1254, 1296 ], 765 next:= [ rec( 766 desc:= [ 107003 ], 767 fp:= [ 222, 618 ], 768 next:= [ 1017929, 1017953 ] ), rec( 769 fp:= [ 24654, 77502 ], 770 level:= 5, 771 next:= [ 1017927, 1017941 ] ), rec( 772 fp:= [ 24654, 77502 ], 773 level:= 5, 774 next:= [ 1017935, 1017949 ] ), rec( 775 fp:= [ 46137, 92994 ], 776 level:= 5, 777 next:= [ 1017930, 1017940 ] ), rec( 778 fp:= [ 24654, 67627 ], 779 level:= 5, 780 next:= [ 1017951, 1017942 ] ) ] ), rec( 781 fp:= [ 1027, 1072, 1094 ], 782 next:= [ rec( 783 desc:= [ 302007, 211002 ], 784 fp:= [ 4, 212 ], 785 next:= [ 1025647, 1025655 ] ), rec( 786 desc:= [ 107003 ], 787 fp:= [ 620, 818 ], 788 next:= [ 1025657, 1025644 ] ), rec( 789 desc:= [ 107003 ], 790 fp:= [ 1216, 1414 ], 791 next:= [ 1025656, 1025641 ] ) ] ), rec( 792 fp:= [ 2008 ], 793 next:= [ rec( 794 fp:= [ 19682, 20189 ], 795 level:= 5, 796 next:= [ 1054087, 1054101 ] ) ] ), rec( 797 fp:= [ 2106 ], 798 next:= [ rec( 799 fp:= [ 38806, 60581 ], 800 level:= 5, 801 next:= [ 1059975, 1059973 ] ) ] ), rec( 802 fp:= [ 2193, 2207, 2295 ], 803 next:= [ rec( 804 fp:= [ 6860, 47867 ], 805 level:= 5, 806 next:= [ 1077297, 1077291 ] ), rec( 807 fp:= [ 47823, 72171 ], 808 level:= 5, 809 next:= [ 1077303, 1077293 ] ), rec( 810 desc:= [ 302012, 110003, 210002 ], 811 fp:= [ 2, 12 ], 812 next:= [ 1077302, 1077312 ] ) ] ), rec( 813 fp:= [ 2278 ], 814 next:= [ rec( 815 desc:= [ 302007, 214003 ], 816 fp:= [ 214, 412 ], 817 next:= [ 1082938, 1082942 ] ) ] ) ] ); 818