1############################################################################# 2## 3#W id8.aeq GAP library of id's Hans Ulrich Besche 4## 5 6ID_GROUP_TREE.next[8].next[1].next[147]:= 7rec( 8 fp:= [ 2846, 4046, 6146, 6746, 7046, 7346, 7946, 8546, 8846, 9146, 9446, 99746, 10046, 10646, 12746, 15146, 15746, 16046, 16346, 18446, 20246, 20546, 1021446, 22046, 22946, 24146, 24446, 27446, 27746, 28046, 28346, 28646, 28946, 1130146, 31046, 31346, 31646, 32246, 32546, 33146, 33446, 34046, 34646, 35546, 1236146, 36446, 36746, 37346, 37646, 37946, 38546, 39146, 39746, 40046, 40346, 1340946, 41246, 41546, 41846, 42146, 42446, 42746, 43046, 43346, 43946, 44246, 1444546, 44846, 45446, 46046, 46346, 46646, 46946, 47246, 47546, 47846, 48146, 1548746, 49046, 50246, 50546, 50846, 51146, 51746, 52046, 52346, 52646, 52946, 1654446, 55646, 55946 ], 17 next:= [ rec( 18 fp:= [ 224, 225 ], 19 next:= [ rec( 20 desc:= [ 113005 ], 21 fp:= [ 8, 18 ], 22 next:= [ 69521, 69519 ] ), rec( 23 desc:= [ 112005 ], 24 fp:= [ 8, 18 ], 25 next:= [ 69517, 69523 ] ) ] ), rec( 26 fp:= [ 1625 ], 27 next:= [ rec( 28 desc:= [ 107003 ], 29 fp:= [ 4, 14 ], 30 next:= [ 76571, 76569 ] ) ] ), rec( 31 fp:= [ 120, 878 ], 32 next:= [ rec( 33 desc:= [ 112003 ], 34 fp:= [ 4, 212 ], 35 next:= [ 87559, 87562 ] ), rec( 36 desc:= [ 113003 ], 37 fp:= [ 2, 12 ], 38 next:= [ 87558, 87563 ] ) ] ), rec( 39 fp:= [ 998 ], 40 next:= [ rec( 41 desc:= [ 107003 ], 42 fp:= [ 16, 818 ], 43 next:= [ 90693, rec( 44 desc:= [ 302004, 208002 ], 45 fp:= [ 8, 18 ], 46 next:= [ 90694, 90690 ] ) ] ) ] ), rec( 47 fp:= [ 164, 166, 168, 1026 ], 48 next:= [ rec( 49 desc:= [ 105003, 108003, 302004, 302006, 210002 ], 50 fp:= [ 4, 212 ], 51 next:= [ 93449, 93443 ] ), rec( 52 desc:= [ 107003 ], 53 fp:= [ 4, 14, 212 ], 54 next:= [ 93445, 93447, 93454 ] ), rec( 55 fp:= [ 51684, 89199 ], 56 level:= 5, 57 next:= [ rec( 58 desc:= [ 107003 ], 59 fp:= [ 4, 212 ], 60 next:= [ 93455, 93446 ] ), 93451 ] ), rec( 61 desc:= [ 107003 ], 62 fp:= [ 14, 212 ], 63 next:= [ 93453, 93448 ] ) ] ), rec( 64 fp:= [ 170 ], 65 next:= [ rec( 66 desc:= [ 108003 ], 67 fp:= [ 6, 412 ], 68 next:= [ 96865, rec( 69 desc:= [ 302007, 212002 ], 70 fp:= [ 4, 14 ], 71 next:= [ 96863, 96866 ] ) ] ) ] ), rec( 72 fp:= [ 168, 173, 175, 178 ], 73 next:= [ rec( 74 desc:= [ 106003 ], 75 fp:= [ 216, 414 ], 76 next:= [ rec( 77 desc:= [ 108003 ], 78 fp:= [ 16, 1214 ], 79 next:= [ 103994, rec( 80 desc:= [ 302004, 208002 ], 81 fp:= [ 16, 214 ], 82 next:= [ 103988, 103996 ] ) ] ), 103992 ] ), rec( 83 desc:= [ 104003 ], 84 fp:= [ 12, 814 ], 85 next:= [ 103993, 103995 ] ), rec( 86 desc:= [ 106003 ], 87 fp:= [ 18, 414 ], 88 next:= [ 103997, 103989 ] ), rec( 89 desc:= [ 106003 ], 90 fp:= [ 18, 216 ], 91 next:= [ 103987, 103983 ] ) ] ), rec( 92 fp:= [ 168, 173, 175, 177 ], 93 next:= [ rec( 94 desc:= [ 105003 ], 95 fp:= [ 16, 214, 412 ], 96 next:= [ 111558, 111561, 111560 ] ), rec( 97 desc:= [ 104003 ], 98 fp:= [ 8, 414 ], 99 next:= [ 111562, 111559 ] ), rec( 100 desc:= [ 105003 ], 101 fp:= [ 218, 614 ], 102 next:= [ 111564, 111556 ] ), rec( 103 desc:= [ 105003 ], 104 fp:= [ 218, 614 ], 105 next:= [ 111563, 111554 ] ) ] ), rec( 106 fp:= [ 168, 173, 175 ], 107 next:= [ rec( 108 desc:= [ 104003 ], 109 fp:= [ 818, 1214 ], 110 next:= [ 115822, 115814 ] ), rec( 111 desc:= [ 105003 ], 112 fp:= [ 416, 614 ], 113 next:= [ 115817, 115824 ] ), rec( 114 desc:= [ 105003 ], 115 fp:= [ 218, 416 ], 116 next:= [ 115816, 115813 ] ) ] ), rec( 117 fp:= [ 165, 172, 175 ], 118 next:= [ rec( 119 desc:= [ 108003 ], 120 fp:= [ 12, 1012 ], 121 next:= [ 120014, rec( 122 desc:= [ 302005, 210002 ], 123 fp:= [ 20, 218 ], 124 next:= [ 120010, 120006 ] ) ] ), rec( 125 desc:= [ 106003 ], 126 fp:= [ 10, 812 ], 127 next:= [ 120009, 120005 ] ), rec( 128 desc:= [ 108003 ], 129 fp:= [ 8, 612 ], 130 next:= [ rec( 131 desc:= [ 106003, 302005, 302007, 302009, 211002, 302012, 214002, 132302015, 40308011 ], 133 fp:= [ 3, 7881 ], 134 next:= [ 120007, 120012 ] ), rec( 135 desc:= [ 302005, 302009 ], 136 fp:= [ 1483, 1582 ], 137 next:= [ rec( 138 desc:= [ 302008, 210002, 210003, 303011, 210003, 40307010 ], 139 fp:= [ 4, 7981 ], 140 next:= [ 120016, 120003 ] ), 120015 ] ) ] ) ] ), rec( 141 fp:= [ 171, 172, 173 ], 142 next:= [ rec( 143 desc:= [ 302008 ], 144 fp:= [ 1386, 49700, 59501 ], 145 next:= [ 124128, 124132, 124135 ] ), rec( 146 desc:= [ 106003 ], 147 fp:= [ 10, 614 ], 148 next:= [ 124127, 124136 ] ), rec( 149 desc:= [ 302006 ], 150 fp:= [ 17060, 26861 ], 151 next:= [ rec( 152 desc:= [ 108003 ], 153 fp:= [ 418, 616 ], 154 next:= [ 124129, 124134 ] ), rec( 155 desc:= [ 209002 ], 156 fp:= [ 8, 18 ], 157 next:= [ 124130, 124137 ] ) ] ) ] ), rec( 158 fp:= [ 171, 174, 177 ], 159 next:= [ rec( 160 desc:= [ 302008 ], 161 fp:= [ 1386, 49700, 59501 ], 162 next:= [ 128168, rec( 163 desc:= [ 208002 ], 164 fp:= [ 416, 614 ], 165 next:= [ 128171, 128160 ] ), 128172 ] ), rec( 166 desc:= [ 106003 ], 167 fp:= [ 814, 1012 ], 168 next:= [ 128162, 128165 ] ), rec( 169 desc:= [ 105003 ], 170 fp:= [ 4, 14 ], 171 next:= [ 128173, 128166 ] ) ] ), rec( 172 fp:= [ 174, 177, 1010 ], 173 next:= [ rec( 174 desc:= [ 302006, 302010, 302009, 211006, 40208011 ], 175 fp:= [ 6, 15861 ], 176 next:= [ 132116, 132118 ] ), rec( 177 desc:= [ 302006, 302010, 302009, 211006, 40208011 ], 178 fp:= [ 6, 15861 ], 179 next:= [ 132114, 132112 ] ), rec( 180 desc:= [ 302007, 302007, 302009, 40207010 ], 181 fp:= [ 6, 10741 ], 182 next:= [ 132117, 132113 ] ) ] ), rec( 183 fp:= [ 1650 ], 184 next:= [ rec( 185 desc:= [ 302006, 213003 ], 186 fp:= [ 8, 18 ], 187 next:= [ 137592, 137595 ] ) ] ), rec( 188 fp:= [ 379 ], 189 next:= [ rec( 190 fp:= [ 45074, 52266 ], 191 level:= 5, 192 next:= [ 158964, 158963 ] ) ] ), rec( 193 fp:= [ 611 ], 194 next:= [ rec( 195 desc:= [ 114007 ], 196 fp:= [ 4, 14 ], 197 next:= [ 182220, 182228 ] ) ] ), rec( 198 fp:= [ 534 ], 199 next:= [ rec( 200 fp:= [ 54745, 74509 ], 201 level:= 5, 202 next:= [ 188716, 188725 ] ) ] ), rec( 203 fp:= [ 503, 656 ], 204 next:= [ rec( 205 fp:= [ 34632, 46360 ], 206 level:= 5, 207 next:= [ 192626, 192630 ] ), rec( 208 fp:= [ 32868, 50178 ], 209 level:= 5, 210 next:= [ 192624, rec( 211 desc:= [ 305017, 115005, 215005 ], 212 fp:= [ 4, 14 ], 213 next:= [ 192632, 192620 ] ) ] ) ] ), rec( 214 fp:= [ 601 ], 215 next:= [ rec( 216 fp:= [ 29320, 85060 ], 217 level:= 5, 218 next:= [ 196125, 196124 ] ) ] ), rec( 219 fp:= [ 657, 797 ], 220 next:= [ rec( 221 desc:= [ 106003 ], 222 fp:= [ 6, 412 ], 223 next:= [ 221252, 221244 ] ), rec( 224 desc:= [ 106003 ], 225 fp:= [ 2, 12 ], 226 next:= [ 221248, 221240 ] ) ] ), rec( 227 fp:= [ 665, 775 ], 228 next:= [ rec( 229 desc:= [ 107003 ], 230 fp:= [ 14, 212 ], 231 next:= [ 245643, 245649 ] ), rec( 232 desc:= [ 107003 ], 233 fp:= [ 14, 212 ], 234 next:= [ 245646, 245640 ] ) ] ), rec( 235 fp:= [ 609, 833 ], 236 next:= [ rec( 237 fp:= [ 6338, 89783 ], 238 level:= 5, 239 next:= [ 250147, rec( 240 desc:= [ 108003 ], 241 fp:= [ 213, 411 ], 242 next:= [ 250144, 250150 ] ) ] ), rec( 243 desc:= [ 108003 ], 244 fp:= [ 413, 611 ], 245 next:= [ 250148, 250138 ] ) ] ), rec( 246 fp:= [ 1876 ], 247 next:= [ rec( 248 fp:= [ 77608, 83586 ], 249 level:= 5, 250 next:= [ 261009, 261006 ] ) ] ), rec( 251 fp:= [ 626 ], 252 next:= [ rec( 253 desc:= [ 302007 ], 254 fp:= [ 48262, 66341 ], 255 next:= [ 268372, 268370 ] ) ] ), rec( 256 fp:= [ 520, 586 ], 257 next:= [ rec( 258 desc:= [ 108003, 302008, 212003 ], 259 fp:= [ 2, 111 ], 260 next:= [ 278475, 278473 ] ), rec( 261 desc:= [ 108003, 302008, 212003 ], 262 fp:= [ 2, 111 ], 263 next:= [ 278479, 278477 ] ) ] ), rec( 264 fp:= [ 787 ], 265 next:= [ rec( 266 fp:= [ 16186, 81899 ], 267 level:= 5, 268 next:= [ 294400, 294407 ] ) ] ), rec( 269 fp:= [ 803, 832 ], 270 next:= [ rec( 271 fp:= [ 8661, 11351 ], 272 level:= 5, 273 next:= [ 298594, 298606 ] ), rec( 274 desc:= [ 107003 ], 275 fp:= [ 13, 211 ], 276 next:= [ 298608, 298603 ] ) ] ), rec( 277 fp:= [ 1066, 1074, 1108 ], 278 next:= [ rec( 279 desc:= [ 108003 ], 280 fp:= [ 1422, 1620 ], 281 next:= [ 334151, 334163 ] ), rec( 282 desc:= [ 108003 ], 283 fp:= [ 1418, 1616 ], 284 next:= [ 334158, 334138 ] ), rec( 285 desc:= [ 302009 ], 286 fp:= [ 66171, 97297 ], 287 next:= [ 334141, 334149 ] ) ] ), rec( 288 fp:= [ 1001, 1021, 1123 ], 289 next:= [ rec( 290 desc:= [ 106003 ], 291 fp:= [ 426, 1218 ], 292 next:= [ 338655, 338651 ] ), rec( 293 fp:= [ 48680, 95547 ], 294 level:= 5, 295 next:= [ rec( 296 desc:= [ 113011 ], 297 fp:= [ 826, 1618 ], 298 next:= [ 338654, rec( 299 desc:= [ 302009, 207002 ], 300 fp:= [ 8, 18 ], 301 next:= [ 338653, 338658 ] ) ] ), 338659 ] ), rec( 302 desc:= [ 105003 ], 303 fp:= [ 426, 1218 ], 304 next:= [ 338656, 338652 ] ) ] ), rec( 305 fp:= [ 1066 ], 306 next:= [ rec( 307 desc:= [ 302016, 111003, 211003 ], 308 fp:= [ 4, 212 ], 309 next:= [ 343606, 343614 ] ) ] ), rec( 310 fp:= [ 2177 ], 311 next:= [ rec( 312 fp:= [ 11005, 56286 ], 313 level:= 5, 314 next:= [ 348824, 348822 ] ) ] ), rec( 315 fp:= [ 1027 ], 316 next:= [ rec( 317 desc:= [ 106003 ], 318 fp:= [ 1016, 1412 ], 319 next:= [ 355310, 355312 ] ) ] ), rec( 320 fp:= [ 1087, 1252 ], 321 next:= [ rec( 322 desc:= [ 105003 ], 323 fp:= [ 220, 616, 814 ], 324 next:= [ 362113, 362119, 362131 ] ), rec( 325 desc:= [ 105003 ], 326 fp:= [ 620, 818 ], 327 next:= [ 362117, 362132 ] ) ] ), rec( 328 fp:= [ 1416 ], 329 next:= [ rec( 330 fp:= [ 25431, 55882 ], 331 level:= 5, 332 next:= [ 388384, 388394 ] ) ] ), rec( 333 fp:= [ 1175 ], 334 next:= [ rec( 335 fp:= [ 34423, 88921 ], 336 level:= 5, 337 next:= [ 408502, 408478 ] ) ] ), rec( 338 fp:= [ 1136 ], 339 next:= [ rec( 340 fp:= [ 18617, 85466 ], 341 level:= 5, 342 next:= [ 416794, 416811 ] ) ] ), rec( 343 fp:= [ 1170 ], 344 next:= [ rec( 345 desc:= [ 302008 ], 346 fp:= [ 48262, 48441 ], 347 next:= [ 425723, 425715 ] ) ] ), rec( 348 fp:= [ 1159 ], 349 next:= [ rec( 350 fp:= [ 41388, 47698 ], 351 level:= 5, 352 next:= [ 441094, 441097 ] ) ] ), rec( 353 fp:= [ 1212 ], 354 next:= [ rec( 355 fp:= [ 46901, 83044 ], 356 level:= 5, 357 next:= [ 447818, 447805 ] ) ] ), rec( 358 fp:= [ 1212 ], 359 next:= [ rec( 360 desc:= [ 108003 ], 361 fp:= [ 8, 612 ], 362 next:= [ 462074, 462075 ] ) ] ), rec( 363 fp:= [ 1336 ], 364 next:= [ rec( 365 desc:= [ 302011 ], 366 fp:= [ 44881, 55021 ], 367 next:= [ 470995, 471003 ] ) ] ), rec( 368 fp:= [ 1196, 1393 ], 369 next:= [ rec( 370 fp:= [ 59541, 76997 ], 371 level:= 5, 372 next:= [ 488897, 488898 ] ), rec( 373 fp:= [ 14790, 32246 ], 374 level:= 5, 375 next:= [ 488909, 488910 ] ) ] ), rec( 376 fp:= [ 1260, 1306, 1476, 1499 ], 377 next:= [ rec( 378 desc:= [ 302007 ], 379 fp:= [ 8563, 36033 ], 380 next:= [ 506843, 506855 ] ), rec( 381 desc:= [ 302007 ], 382 fp:= [ 45834, 63913 ], 383 next:= [ 506861, 506847 ] ), rec( 384 desc:= [ 302009 ], 385 fp:= [ 73937, 90447 ], 386 next:= [ 506844, 506836 ] ), rec( 387 desc:= [ 302005 ], 388 fp:= [ 38461, 48262 ], 389 next:= [ 506848, 506840 ] ) ] ), rec( 390 fp:= [ 1183, 1224 ], 391 next:= [ rec( 392 fp:= [ 13092, 60719 ], 393 level:= 5, 394 next:= [ 531942, rec( 395 desc:= [ 106003 ], 396 fp:= [ 18, 414 ], 397 next:= [ 531955, 531959 ] ) ] ), rec( 398 desc:= [ 106003 ], 399 fp:= [ 18, 414 ], 400 next:= [ 531951, 531958 ] ) ] ), rec( 401 fp:= [ 1089, 1286, 1325 ], 402 next:= [ rec( 403 desc:= [ 109003 ], 404 fp:= [ 1018, 1216 ], 405 next:= [ 546097, 546103 ] ), rec( 406 fp:= [ 19387, 63067, 93972 ], 407 level:= 5, 408 next:= [ 546106, 546107, 546079 ] ), rec( 409 desc:= [ 108003 ], 410 fp:= [ 616, 814 ], 411 next:= [ 546091, 546083 ] ) ] ), rec( 412 fp:= [ 1093, 1195, 1423 ], 413 next:= [ rec( 414 desc:= [ 302010 ], 415 fp:= [ 445, 54781 ], 416 next:= [ 555119, 555105 ] ), rec( 417 fp:= [ 48393, 85629 ], 418 level:= 5, 419 next:= [ 555102, 555103 ] ), rec( 420 desc:= [ 302007 ], 421 fp:= [ 38461, 48441 ], 422 next:= [ 555108, 555118 ] ) ] ), rec( 423 fp:= [ 1251 ], 424 next:= [ rec( 425 desc:= [ 106003 ], 426 fp:= [ 418, 616 ], 427 next:= [ 564023, 564003 ] ) ] ), rec( 428 fp:= [ 1074, 1321 ], 429 next:= [ rec( 430 desc:= [ 302007 ], 431 fp:= [ 28462, 49223 ], 432 next:= [ 582157, 582163 ] ), rec( 433 desc:= [ 302007 ], 434 fp:= [ 28363, 55833 ], 435 next:= [ 582162, 582160 ] ) ] ), rec( 436 fp:= [ 1093, 1311, 1514 ], 437 next:= [ rec( 438 fp:= [ 16897, 95031 ], 439 level:= 5, 440 next:= [ 591271, 591249 ] ), rec( 441 fp:= [ 69660, 93587 ], 442 level:= 5, 443 next:= [ 591270, 591246 ] ), rec( 444 fp:= [ 55005, 71880 ], 445 level:= 5, 446 next:= [ 591264, 591256 ] ) ] ), rec( 447 fp:= [ 1302 ], 448 next:= [ rec( 449 desc:= [ 107003 ], 450 fp:= [ 12, 1012 ], 451 next:= [ 599433, 599424 ] ) ] ), rec( 452 fp:= [ 1157, 1176, 1471, 1518 ], 453 next:= [ rec( 454 desc:= [ 302009, 218002 ], 455 fp:= [ 4, 14 ], 456 next:= [ 612658, 612634 ] ), rec( 457 desc:= [ 302008 ], 458 fp:= [ 18562, 28363 ], 459 next:= [ 612639, 612660 ] ), rec( 460 desc:= [ 302007, 303011, 111003, 211003 ], 461 fp:= [ 8, 612 ], 462 next:= [ 612638, 612659 ] ), rec( 463 desc:= [ 302007 ], 464 fp:= [ 285, 38461 ], 465 next:= [ 612656, 612643 ] ) ] ), rec( 466 fp:= [ 1173, 1591 ], 467 next:= [ rec( 468 desc:= [ 302008 ], 469 fp:= [ 53405, 56601 ], 470 next:= [ 628436, 628443 ] ), rec( 471 desc:= [ 302009 ], 472 fp:= [ 47880, 89062 ], 473 next:= [ 628444, 628437 ] ) ] ), rec( 474 fp:= [ 1181 ], 475 next:= [ rec( 476 desc:= [ 302006 ], 477 fp:= [ 48441, 66341 ], 478 next:= [ 645056, 645066 ] ) ] ), rec( 479 fp:= [ 1319, 1498, 1500, 1503 ], 480 next:= [ rec( 481 desc:= [ 106003 ], 482 fp:= [ 616, 814 ], 483 next:= [ 653608, 653631 ] ), rec( 484 desc:= [ 105003 ], 485 fp:= [ 614, 812 ], 486 next:= [ 653628, 653637 ] ), rec( 487 desc:= [ 106003 ], 488 fp:= [ 216, 612 ], 489 next:= [ 653629, 653624 ] ), rec( 490 desc:= [ 106003 ], 491 fp:= [ 8, 612 ], 492 next:= [ 653636, 653626 ] ) ] ), rec( 493 fp:= [ 1462, 1509 ], 494 next:= [ rec( 495 desc:= [ 105003 ], 496 fp:= [ 416, 614 ], 497 next:= [ 662512, 662518 ] ), rec( 498 desc:= [ 302006 ], 499 fp:= [ 285, 38461 ], 500 next:= [ 662501, 662509 ] ) ] ), rec( 501 fp:= [ 1169, 1182, 1358, 1464, 1512 ], 502 next:= [ rec( 503 desc:= [ 302006 ], 504 fp:= [ 48361, 58341 ], 505 next:= [ 679873, 679857 ] ), rec( 506 desc:= [ 302007 ], 507 fp:= [ 39323, 49303 ], 508 next:= [ rec( 509 desc:= [ 209004 ], 510 fp:= [ 218, 416 ], 511 next:= [ 679856, 679870 ] ), 679867 ] ), rec( 512 desc:= [ 302008 ], 513 fp:= [ 34981, 45121 ], 514 next:= [ 679861, 679877 ] ), rec( 515 desc:= [ 106003 ], 516 fp:= [ 16, 214 ], 517 next:= [ 679855, 679854 ] ), rec( 518 desc:= [ 106003 ], 519 fp:= [ 214, 412 ], 520 next:= [ 679872, 679871 ] ) ] ), rec( 521 fp:= [ 1402 ], 522 next:= [ rec( 523 fp:= [ 3487, 10074 ], 524 level:= 5, 525 next:= [ 689055, 689071 ] ) ] ), rec( 526 fp:= [ 1285, 1289 ], 527 next:= [ rec( 528 fp:= [ 36748, 42840 ], 529 level:= 5, 530 next:= [ 698347, 698342 ] ), rec( 531 fp:= [ 63538, 70792 ], 532 level:= 5, 533 next:= [ 698353, 698331 ] ) ] ), rec( 534 fp:= [ 1319, 1452 ], 535 next:= [ rec( 536 desc:= [ 106003 ], 537 fp:= [ 220, 418, 616 ], 538 next:= [ 707403, 707392, 707390 ] ), rec( 539 desc:= [ 302007 ], 540 fp:= [ 39483, 49463, 57383 ], 541 next:= [ 707404, 707406, 707402 ] ) ] ), rec( 542 fp:= [ 1225, 1475 ], 543 next:= [ rec( 544 desc:= [ 107003 ], 545 fp:= [ 814, 1012 ], 546 next:= [ 716588, 716592 ] ), rec( 547 fp:= [ 54025, 99257 ], 548 level:= 5, 549 next:= [ 716587, 716606 ] ) ] ), rec( 550 fp:= [ 1252, 1256, 1386, 1486, 1526 ], 551 next:= [ rec( 552 desc:= [ 105003 ], 553 fp:= [ 816, 1014 ], 554 next:= [ 725894, 725907 ] ), rec( 555 desc:= [ 105003 ], 556 fp:= [ 1014, 1212 ], 557 next:= [ 725891, 725889 ] ), rec( 558 desc:= [ 105003 ], 559 fp:= [ 416, 812 ], 560 next:= [ 725909, 725893 ] ), rec( 561 desc:= [ 105003 ], 562 fp:= [ 614, 812 ], 563 next:= [ 725895, 725906 ] ), rec( 564 desc:= [ 105003 ], 565 fp:= [ 614, 812 ], 566 next:= [ 725912, 725882 ] ) ] ), rec( 567 fp:= [ 1144 ], 568 next:= [ rec( 569 desc:= [ 107003 ], 570 fp:= [ 8, 612 ], 571 next:= [ 734902, 734888 ] ) ] ), rec( 572 fp:= [ 1194, 1316, 1453, 1458, 1523 ], 573 next:= [ rec( 574 desc:= [ 105003 ], 575 fp:= [ 24, 420 ], 576 next:= [ 744172, 744165 ] ), rec( 577 desc:= [ 302005 ], 578 fp:= [ 28462, 49223 ], 579 next:= [ 744175, 744160 ] ), rec( 580 desc:= [ 302006 ], 581 fp:= [ 28542, 45933 ], 582 next:= [ 744180, 744163 ] ), rec( 583 desc:= [ 105003 ], 584 fp:= [ 20, 416 ], 585 next:= [ 744188, 744171 ] ), rec( 586 desc:= [ 302008 ], 587 fp:= [ 44782, 54583 ], 588 next:= [ 744176, 744187 ] ) ] ), rec( 589 fp:= [ 1318 ], 590 next:= [ rec( 591 desc:= [ 106003 ], 592 fp:= [ 420, 618 ], 593 next:= [ 753181, 753166 ] ) ] ), rec( 594 fp:= [ 1142, 1429 ], 595 next:= [ rec( 596 desc:= [ 107003 ], 597 fp:= [ 214, 412 ], 598 next:= [ 771126, 771135 ] ), rec( 599 fp:= [ 14017, 71972 ], 600 level:= 5, 601 next:= [ 771136, 771139 ] ) ] ), rec( 602 fp:= [ 1507 ], 603 next:= [ rec( 604 desc:= [ 106003 ], 605 fp:= [ 614, 812 ], 606 next:= [ 779871, 779876 ] ) ] ), rec( 607 fp:= [ 1343 ], 608 next:= [ rec( 609 desc:= [ 106003 ], 610 fp:= [ 22, 616 ], 611 next:= [ 788903, 788896 ] ) ] ), rec( 612 fp:= [ 1156, 1176, 1420, 1482 ], 613 next:= [ rec( 614 fp:= [ 992, 72880 ], 615 level:= 5, 616 next:= [ 797844, 797859 ] ), rec( 617 desc:= [ 302008 ], 618 fp:= [ 48441, 66341 ], 619 next:= [ 797854, 797856 ] ), rec( 620 desc:= [ 107003 ], 621 fp:= [ 6, 412 ], 622 next:= [ 797870, 797847 ] ), rec( 623 desc:= [ 108003 ], 624 fp:= [ 8, 612 ], 625 next:= [ 797864, 797855 ] ) ] ), rec( 626 fp:= [ 1317, 1321, 1384, 1531, 1563, 1568, 1571 ], 627 next:= [ rec( 628 desc:= [ 302007 ], 629 fp:= [ 18543, 35835, 42544 ], 630 next:= [ 812187, 812175, 812163 ] ), rec( 631 desc:= [ 302009, 210003 ], 632 fp:= [ 4, 212 ], 633 next:= [ 812185, 812169 ] ), rec( 634 desc:= [ 302008, 115007, 215003 ], 635 fp:= [ 8, 612 ], 636 next:= [ 812181, 812165 ] ), rec( 637 desc:= [ 105003 ], 638 fp:= [ 16, 214 ], 639 next:= [ 812184, 812180 ] ), rec( 640 desc:= [ 302008 ], 641 fp:= [ 643, 74581 ], 642 next:= [ 812186, 812182 ] ), rec( 643 desc:= [ 302008 ], 644 fp:= [ 643, 74581 ], 645 next:= [ 812170, 812166 ] ), rec( 646 desc:= [ 302007 ], 647 fp:= [ 32545, 75469 ], 648 next:= [ rec( 649 desc:= [ 313015, 211003, 215003, 304011, 216004 ], 650 fp:= [ 1, 11 ], 651 next:= [ 812176, 812160 ] ), 812172 ] ) ] ), rec( 652 fp:= [ 1228 ], 653 next:= [ rec( 654 desc:= [ 113011 ], 655 fp:= [ 18, 414 ], 656 next:= [ 828718, 828719 ] ) ] ), rec( 657 fp:= [ 1445, 1451, 1494, 1538 ], 658 next:= [ rec( 659 desc:= [ 302005, 303012, 111003, 211003 ], 660 fp:= [ 4, 212 ], 661 next:= [ 836272, 836279 ] ), rec( 662 desc:= [ 302005, 109003, 209002 ], 663 fp:= [ 2, 12 ], 664 next:= [ 836271, 836278 ] ), rec( 665 desc:= [ 302007 ], 666 fp:= [ 8416, 80448 ], 667 next:= [ rec( 668 desc:= [ 212003 ], 669 fp:= [ 1018, 1414 ], 670 next:= [ 836284, 836282 ] ), 836274 ] ), rec( 671 desc:= [ 302009, 210002 ], 672 fp:= [ 814, 1012 ], 673 next:= [ 836281, 836275 ] ) ] ), rec( 674 fp:= [ 1286, 1428, 1435 ], 675 next:= [ rec( 676 desc:= [ 302008 ], 677 fp:= [ 39323, 55833 ], 678 next:= [ 845069, 845061 ] ), rec( 679 fp:= [ 36027, 76323 ], 680 level:= 5, 681 next:= [ 845053, rec( 682 desc:= [ 302008 ], 683 fp:= [ 28542, 55913 ], 684 next:= [ 845076, 845068 ] ) ] ), rec( 685 desc:= [ 302009 ], 686 fp:= [ 544, 64681 ], 687 next:= [ 845063, 845081 ] ) ] ), rec( 688 fp:= [ 1197, 1517, 1535 ], 689 next:= [ rec( 690 desc:= [ 302006 ], 691 fp:= [ 38461, 48441 ], 692 next:= [ 854093, 854105 ] ), rec( 693 desc:= [ 302009 ], 694 fp:= [ 39764, 84077 ], 695 next:= [ 854116, 854117 ] ), rec( 696 desc:= [ 302008 ], 697 fp:= [ 64681, 74821 ], 698 next:= [ 854104, 854092 ] ) ] ), rec( 699 fp:= [ 1202, 1525 ], 700 next:= [ rec( 701 desc:= [ 107003 ], 702 fp:= [ 216, 612 ], 703 next:= [ 863297, 863294 ] ), rec( 704 desc:= [ 107003 ], 705 fp:= [ 6, 214 ], 706 next:= [ 863286, 863304 ] ) ] ), rec( 707 fp:= [ 1453 ], 708 next:= [ rec( 709 desc:= [ 106003 ], 710 fp:= [ 16, 214 ], 711 next:= [ 872584, 872578 ] ) ] ), rec( 712 fp:= [ 1403, 1431 ], 713 next:= [ rec( 714 fp:= [ 38582, 72307 ], 715 level:= 5, 716 next:= [ 881726, 881719 ] ), rec( 717 desc:= [ 107003 ], 718 fp:= [ 14, 212 ], 719 next:= [ 881742, 881732 ] ) ] ), rec( 720 fp:= [ 1414, 1435 ], 721 next:= [ rec( 722 desc:= [ 302007 ], 723 fp:= [ 582, 761 ], 724 next:= [ 891021, 891013 ] ), rec( 725 desc:= [ 302008 ], 726 fp:= [ 28363, 39323 ], 727 next:= [ 891008, 891018 ] ) ] ), rec( 728 fp:= [ 1434 ], 729 next:= [ rec( 730 desc:= [ 302009 ], 731 fp:= [ 35934, 36113 ], 732 next:= [ 909432, 909427 ] ) ] ), rec( 733 fp:= [ 1424, 1481, 1483 ], 734 next:= [ rec( 735 desc:= [ 302010 ], 736 fp:= [ 7296, 90447 ], 737 next:= [ 918682, 918670 ] ), rec( 738 desc:= [ 302008 ], 739 fp:= [ 8563, 52543 ], 740 next:= [ 918688, 918663 ] ), rec( 741 fp:= [ 24922, 77716 ], 742 level:= 5, 743 next:= [ 918679, 918687 ] ) ] ), rec( 744 fp:= [ 1385, 1419, 1441, 1546 ], 745 next:= [ rec( 746 fp:= [ 68675, 71308 ], 747 level:= 5, 748 next:= [ 955196, 955212 ] ), rec( 749 fp:= [ 23115, 76404 ], 750 level:= 5, 751 next:= [ 955204, 955216 ] ), rec( 752 desc:= [ 302007, 211004 ], 753 fp:= [ 8, 414 ], 754 next:= [ 955205, 955197 ] ), rec( 755 fp:= [ 26541, 78345 ], 756 level:= 5, 757 next:= [ 955224, 955206 ] ) ] ), rec( 758 fp:= [ 1199, 1427 ], 759 next:= [ rec( 760 desc:= [ 302008 ], 761 fp:= [ 18562, 18741 ], 762 next:= [ 964431, 964443 ] ), rec( 763 desc:= [ 107003 ], 764 fp:= [ 214, 412 ], 765 next:= [ 964436, 964442 ] ) ] ), rec( 766 fp:= [ 1509, 1571 ], 767 next:= [ rec( 768 desc:= [ 106003 ], 769 fp:= [ 214, 412 ], 770 next:= [ 973599, 973602 ] ), rec( 771 desc:= [ 106003 ], 772 fp:= [ 2, 12 ], 773 next:= [ 973586, 973594 ] ) ] ), rec( 774 fp:= [ 1469, 1491 ], 775 next:= [ rec( 776 fp:= [ 3893, 37722 ], 777 level:= 5, 778 next:= [ 982757, rec( 779 desc:= [ 108003 ], 780 fp:= [ 4, 212 ], 781 next:= [ 982751, 982741 ] ) ] ), rec( 782 desc:= [ 302008 ], 783 fp:= [ 42643, 52444, 69133 ], 784 next:= [ 982755, 982733, 982740 ] ) ] ), rec( 785 fp:= [ 1525, 1530 ], 786 next:= [ rec( 787 desc:= [ 106003 ], 788 fp:= [ 214, 412 ], 789 next:= [ 1000654, 1000674 ] ), rec( 790 desc:= [ 106003 ], 791 fp:= [ 214, 412 ], 792 next:= [ 1000679, 1000671 ] ) ] ), rec( 793 fp:= [ 1032, 1095, 1160, 1272 ], 794 next:= [ rec( 795 fp:= [ 43202, 81024 ], 796 level:= 5, 797 next:= [ 1008677, 1008681 ] ), rec( 798 fp:= [ 20654, 80658 ], 799 level:= 5, 800 next:= [ 1008667, 1008670 ] ), rec( 801 fp:= [ 27295, 81912 ], 802 level:= 5, 803 next:= [ 1008668, 1008675 ] ), rec( 804 fp:= [ 56779, 63022 ], 805 level:= 5, 806 next:= [ 1008673, 1008678 ] ) ] ), rec( 807 fp:= [ 1033, 1259 ], 808 next:= [ rec( 809 fp:= [ 13118, 40078 ], 810 level:= 5, 811 next:= [ 1015801, 1015809 ] ), rec( 812 fp:= [ 44546, 55160 ], 813 level:= 5, 814 next:= [ 1015786, 1015816 ] ) ] ), rec( 815 fp:= [ 1035, 1158, 1223 ], 816 next:= [ rec( 817 fp:= [ 55056, 62671 ], 818 level:= 5, 819 next:= [ 1023249, 1023257 ] ), rec( 820 fp:= [ 9732, 80618 ], 821 level:= 5, 822 next:= [ 1023263, 1023259 ] ), rec( 823 fp:= [ 9732, 54308 ], 824 level:= 5, 825 next:= [ 1023244, 1023262 ] ) ] ), rec( 826 fp:= [ 1022, 1176, 1213, 1237 ], 827 next:= [ rec( 828 fp:= [ 71755, 92715 ], 829 level:= 5, 830 next:= [ 1030553, 1030569 ] ), rec( 831 fp:= [ 5139, 28185 ], 832 level:= 5, 833 next:= [ 1030559, 1030549 ] ), rec( 834 fp:= [ 35310, 96981 ], 835 level:= 5, 836 next:= [ 1030567, 1030560 ] ), rec( 837 fp:= [ 22232, 23338 ], 838 level:= 5, 839 next:= [ 1030565, 1030571 ] ) ] ), rec( 840 fp:= [ 1843, 1849 ], 841 next:= [ rec( 842 desc:= [ 302014 ], 843 fp:= [ 24582, 58821 ], 844 next:= [ 1051670, 1051682 ] ), rec( 845 fp:= [ 24756, 89210 ], 846 level:= 5, 847 next:= [ 1051690, 1051684 ] ) ] ), rec( 848 fp:= [ 2151 ], 849 next:= [ rec( 850 fp:= [ 54307, 66239 ], 851 level:= 5, 852 next:= [ 1076215, 1076217 ] ) ] ), rec( 853 fp:= [ 2226, 2291, 2297 ], 854 next:= [ rec( 855 fp:= [ 48660, 94909 ], 856 level:= 5, 857 next:= [ 1081056, 1081061 ] ), rec( 858 fp:= [ 32546, 58694 ], 859 level:= 5, 860 next:= [ 1081065, 1081060 ] ), rec( 861 desc:= [ 302007 ], 862 fp:= [ 142, 281 ], 863 next:= [ 1081058, 1081050 ] ) ] ) ] ); 864