1############################################################################# 2## 3#W id8.aej GAP library of id's Hans Ulrich Besche 4## 5 6ID_GROUP_TREE.next[8].next[1].next[140]:= 7rec( 8 fp:= [ 1939, 4339, 7039, 7339, 7939, 8239, 8539, 8839, 9139, 9439, 9739, 910039, 11839, 12739, 15739, 16339, 16639, 17839, 18139, 19039, 20239, 20539, 1020839, 22039, 23239, 24139, 24439, 25639, 27139, 27439, 27739, 28339, 28639, 1128939, 29239, 29539, 29839, 31039, 31339, 31639, 31939, 32239, 33439, 33739, 1234039, 34339, 34639, 35239, 35539, 35839, 36139, 36439, 36739, 37339, 37639, 1337939, 38539, 38839, 39139, 39439, 39739, 40039, 40339, 40639, 40939, 41239, 1441539, 41839, 42139, 42439, 42739, 43039, 43339, 43639, 43939, 44239, 44539, 1544839, 45139, 45439, 46039, 46339, 46639, 46939, 47239, 47539, 47839, 48439, 1648739, 49339, 49639, 49939, 50239, 50539, 50839, 51139, 51739, 52039, 52339, 1752639, 54439, 55039, 55339, 55939 ], 18 next:= [ rec( 19 fp:= [ 206 ], 20 next:= [ rec( 21 desc:= [ 108003 ], 22 fp:= [ 2, 12 ], 23 next:= [ 64168, 64169 ] ) ] ), rec( 24 fp:= [ 471 ], 25 next:= [ rec( 26 desc:= [ 106003 ], 27 fp:= [ 16, 1214 ], 28 next:= [ rec( 29 desc:= [ 303006, 107003, 110005, 303007, 303011, 211006, 40309011 ], 30 fp:= [ 7, 31222 ], 31 next:= [ 78326, 78328 ] ), rec( 32 desc:= [ 108005, 303005, 207003, 303008, 211003, 303012, 306009, 33209006, 306014, 211006, 40311010 ], 34 fp:= [ 8, 5821 ], 35 next:= [ 78325, 78324 ] ) ] ) ] ), rec( 36 fp:= [ 167 ], 37 next:= [ rec( 38 desc:= [ 107003 ], 39 fp:= [ 4, 14 ], 40 next:= [ rec( 41 desc:= [ 302005, 302010, 302008, 302011, 302015, 212008, 40212011 ], 42 fp:= [ 5, 5521 ], 43 next:= [ 93359, 93353 ] ), 93355 ] ) ] ), rec( 44 fp:= [ 165, 166 ], 45 next:= [ rec( 46 desc:= [ 108003, 302005, 302008, 302010, 302012, 214002, 305014, 47212005, 40311012 ], 48 fp:= [ 1, 5121 ], 49 next:= [ 96811, 96809 ] ), rec( 50 desc:= [ 108003 ], 51 fp:= [ 12, 814 ], 52 next:= [ 96814, rec( 53 desc:= [ 302005, 302007, 302009, 211002, 302012, 302014, 216002, 54305016, 213005, 40409013 ], 55 fp:= [ 1, 15361 ], 56 next:= [ 96806, 96808 ] ) ] ) ] ), rec( 57 fp:= [ 168, 172, 174, 1021 ], 58 next:= [ rec( 59 desc:= [ 107003 ], 60 fp:= [ 414, 612 ], 61 next:= [ 103895, rec( 62 desc:= [ 302005, 208002 ], 63 fp:= [ 16, 214 ], 64 next:= [ 103897, 103899 ] ) ] ), rec( 65 desc:= [ 107003 ], 66 fp:= [ 6, 412 ], 67 next:= [ 103890, rec( 68 desc:= [ 110003, 302005, 211002 ], 69 fp:= [ 14, 212 ], 70 next:= [ 103886, 103888 ] ) ] ), rec( 71 desc:= [ 107003 ], 72 fp:= [ 414, 612 ], 73 next:= [ 103896, 103900 ] ), rec( 74 desc:= [ 107003 ], 75 fp:= [ 214, 412 ], 76 next:= [ 103889, 103887 ] ) ] ), rec( 77 fp:= [ 166, 173 ], 78 next:= [ rec( 79 desc:= [ 106003, 108003, 302004, 302006, 302008, 211002 ], 80 fp:= [ 8, 18 ], 81 next:= [ 107202, 107205 ] ), rec( 82 desc:= [ 106003 ], 83 fp:= [ 216, 612 ], 84 next:= [ 107197, 107204 ] ) ] ), rec( 85 fp:= [ 165, 175, 177 ], 86 next:= [ rec( 87 desc:= [ 106003 ], 88 fp:= [ 6, 214, 412 ], 89 next:= [ 111455, 111453, 111446 ] ), rec( 90 desc:= [ 106003 ], 91 fp:= [ 10, 812 ], 92 next:= [ 111449, 111450 ] ), rec( 93 desc:= [ 106003 ], 94 fp:= [ 416, 614 ], 95 next:= [ 111458, 111451 ] ) ] ), rec( 96 fp:= [ 171, 1026 ], 97 next:= [ rec( 98 desc:= [ 106003 ], 99 fp:= [ 8, 414, 612 ], 100 next:= [ 115722, 115724, rec( 101 desc:= [ 302006 ], 102 fp:= [ 1363, 46760 ], 103 next:= [ 115720, 115723 ] ) ] ), rec( 104 desc:= [ 105003 ], 105 fp:= [ 422, 818 ], 106 next:= [ 115726, 115725 ] ) ] ), rec( 107 fp:= [ 166, 168, 173, 174, 175 ], 108 next:= [ rec( 109 desc:= [ 105003 ], 110 fp:= [ 214, 412 ], 111 next:= [ 119901, 119905 ] ), rec( 112 desc:= [ 105003 ], 113 fp:= [ 6, 412 ], 114 next:= [ 119909, rec( 115 desc:= [ 302008, 106003, 206002 ], 116 fp:= [ 22, 418 ], 117 next:= [ 119908, 119899 ] ) ] ), rec( 118 desc:= [ 302005 ], 119 fp:= [ 1165, 26960, 36761 ], 120 next:= [ 119902, 119904, 119911 ] ), rec( 121 desc:= [ 105003 ], 122 fp:= [ 416, 812 ], 123 next:= [ 119907, rec( 124 desc:= [ 302005 ], 125 fp:= [ 1264, 36860 ], 126 next:= [ 119898, 119900 ] ) ] ), rec( 127 desc:= [ 105003 ], 128 fp:= [ 10, 614 ], 129 next:= [ 119903, 119912 ] ) ] ), rec( 130 fp:= [ 170, 171, 172, 174 ], 131 next:= [ rec( 132 desc:= [ 106003 ], 133 fp:= [ 414, 612 ], 134 next:= [ 124031, 124030 ] ), rec( 135 desc:= [ 302007 ], 136 fp:= [ 1165, 26960 ], 137 next:= [ 124029, rec( 138 desc:= [ 210002 ], 139 fp:= [ 18, 414 ], 140 next:= [ 124027, 124025 ] ) ] ), rec( 141 desc:= [ 107003 ], 142 fp:= [ 614, 812 ], 143 next:= [ rec( 144 desc:= [ 302010, 209002 ], 145 fp:= [ 16, 214 ], 146 next:= [ 124024, 124023 ] ), 124022 ] ), rec( 147 desc:= [ 106003 ], 148 fp:= [ 616, 814 ], 149 next:= [ 124033, 124021 ] ) ] ), rec( 150 fp:= [ 168, 174, 175, 177 ], 151 next:= [ rec( 152 desc:= [ 105003 ], 153 fp:= [ 414, 612 ], 154 next:= [ 128062, 128064 ] ), rec( 155 desc:= [ 105003 ], 156 fp:= [ 418, 1012 ], 157 next:= [ 128067, 128069 ] ), rec( 158 desc:= [ 105003 ], 159 fp:= [ 616, 814, 1012 ], 160 next:= [ 128055, rec( 161 desc:= [ 302008, 302006, 208002, 302009, 302011, 213002, 302014, 16240210012 ], 163 fp:= [ 3, 5321 ], 164 next:= [ 128065, 128059 ] ), rec( 165 desc:= [ 108003, 302004, 302006, 302008, 210002, 302011, 213002, 166302014, 216002, 306012, 211006, 306018, 40611012 ], 167 fp:= [ 3, 2761 ], 168 next:= [ 128061, 128063 ] ) ] ), rec( 169 desc:= [ 105003 ], 170 fp:= [ 814, 1012 ], 171 next:= [ rec( 172 desc:= [ 302008, 207002 ], 173 fp:= [ 18, 216 ], 174 next:= [ 128068, 128060 ] ), 128058 ] ) ] ), rec( 175 fp:= [ 173, 174, 175, 1020 ], 176 next:= [ rec( 177 desc:= [ 105003 ], 178 fp:= [ 418, 616 ], 179 next:= [ 132056, 132065 ] ), rec( 180 desc:= [ 105003 ], 181 fp:= [ 418, 616, 814, 1012 ], 182 next:= [ 132064, rec( 183 desc:= [ 302008 ], 184 fp:= [ 1386, 49700 ], 185 next:= [ rec( 186 desc:= [ 206002 ], 187 fp:= [ 16, 214 ], 188 next:= [ 132061, 132057 ] ), 132059 ] ), 132066, 132063 ] ), rec( 189 desc:= [ 105003 ], 190 fp:= [ 616, 814 ], 191 next:= [ 132067, 132058 ] ), rec( 192 desc:= [ 105003, 107003, 302004, 206002, 302007, 211002 ], 193 fp:= [ 216, 414 ], 194 next:= [ 132060, 132062 ] ) ] ), rec( 195 fp:= [ 363 ], 196 next:= [ rec( 197 desc:= [ 108003 ], 198 fp:= [ 13, 211 ], 199 next:= [ 149220, 149222 ] ) ] ), rec( 200 fp:= [ 1917 ], 201 next:= [ rec( 202 desc:= [ 111003 ], 203 fp:= [ 4, 14 ], 204 next:= [ 158878, 158877 ] ) ] ), rec( 205 fp:= [ 529 ], 206 next:= [ rec( 207 desc:= [ 108003 ], 208 fp:= [ 6, 214 ], 209 next:= [ 188615, 188624 ] ) ] ), rec( 210 fp:= [ 583 ], 211 next:= [ rec( 212 fp:= [ 18300, 91992 ], 213 level:= 5, 214 next:= [ 196089, 196087 ] ) ] ), rec( 215 fp:= [ 475, 1626 ], 216 next:= [ rec( 217 desc:= [ 110003 ], 218 fp:= [ 8, 414 ], 219 next:= [ 198516, 198512 ] ), rec( 220 desc:= [ 110003 ], 221 fp:= [ 4, 14 ], 222 next:= [ 198514, 198510 ] ) ] ), rec( 223 fp:= [ 820 ], 224 next:= [ rec( 225 desc:= [ 113003 ], 226 fp:= [ 4, 14 ], 227 next:= [ 212697, 212689 ] ) ] ), rec( 228 fp:= [ 1733 ], 229 next:= [ rec( 230 desc:= [ 115003 ], 231 fp:= [ 4, 14 ], 232 next:= [ 216990, 216982 ] ) ] ), rec( 233 fp:= [ 594, 820 ], 234 next:= [ rec( 235 desc:= [ 106003 ], 236 fp:= [ 2, 12 ], 237 next:= [ 228059, 228051 ] ), rec( 238 desc:= [ 106003 ], 239 fp:= [ 2, 12 ], 240 next:= [ 228055, 228047 ] ) ] ), rec( 241 fp:= [ 609 ], 242 next:= [ rec( 243 fp:= [ 44568, 98985 ], 244 level:= 5, 245 next:= [ 245542, 245545 ] ) ] ), rec( 246 fp:= [ 610 ], 247 next:= [ rec( 248 fp:= [ 11314, 98245 ], 249 level:= 5, 250 next:= [ rec( 251 desc:= [ 105003 ], 252 fp:= [ 16, 214 ], 253 next:= [ 250039, 250045 ] ), 250042 ] ) ] ), rec( 254 fp:= [ 541 ], 255 next:= [ rec( 256 desc:= [ 302006 ], 257 fp:= [ 48262, 58421 ], 258 next:= [ 253902, 253908 ] ) ] ), rec( 259 fp:= [ 625 ], 260 next:= [ rec( 261 fp:= [ 9316, 30082 ], 262 level:= 5, 263 next:= [ 268267, 268265 ] ) ] ), rec( 264 fp:= [ 744 ], 265 next:= [ rec( 266 desc:= [ 115003 ], 267 fp:= [ 4, 14 ], 268 next:= [ 281823, 281833 ] ) ] ), rec( 269 fp:= [ 788 ], 270 next:= [ rec( 271 fp:= [ 10849, 60010 ], 272 level:= 5, 273 next:= [ 294302, 294295 ] ) ] ), rec( 274 fp:= [ 809, 833 ], 275 next:= [ rec( 276 desc:= [ 114003 ], 277 fp:= [ 14, 212 ], 278 next:= [ 298498, 298502 ] ), rec( 279 fp:= [ 54451, 70663 ], 280 level:= 5, 281 next:= [ 298501, 298489 ] ) ] ), rec( 282 fp:= [ 817 ], 283 next:= [ rec( 284 desc:= [ 302007 ], 285 fp:= [ 841, 58261 ], 286 next:= [ 315886, 315891 ] ) ] ), rec( 287 fp:= [ 1002, 1025 ], 288 next:= [ rec( 289 desc:= [ 302007 ], 290 fp:= [ 464, 18562 ], 291 next:= [ 329296, rec( 292 desc:= [ 109003 ], 293 fp:= [ 32, 2814 ], 294 next:= [ 329292, 329302 ] ) ] ), rec( 295 desc:= [ 107003 ], 296 fp:= [ 16, 1214 ], 297 next:= [ 329294, 329290 ] ) ] ), rec( 298 fp:= [ 1053, 1056, 1065, 1074, 1105 ], 299 next:= [ rec( 300 desc:= [ 302007, 210002 ], 301 fp:= [ 18, 414 ], 302 next:= [ 333938, 333950 ] ), rec( 303 desc:= [ 302009, 209002 ], 304 fp:= [ 4, 14 ], 305 next:= [ 333954, 333942 ] ), rec( 306 desc:= [ 107003 ], 307 fp:= [ 1418, 1616 ], 308 next:= [ 333934, 333959 ] ), rec( 309 desc:= [ 302007, 211003 ], 310 fp:= [ 4, 14 ], 311 next:= [ 333941, 333961 ] ), rec( 312 desc:= [ 302007 ], 313 fp:= [ 32743, 42544, 49253 ], 314 next:= [ 333932, 333933, 333953 ] ) ] ), rec( 315 fp:= [ 1020, 1122 ], 316 next:= [ rec( 317 desc:= [ 106003 ], 318 fp:= [ 16, 818, 1214 ], 319 next:= [ 338564, 338563, 338567 ] ), rec( 320 desc:= [ 105003 ], 321 fp:= [ 16, 1214 ], 322 next:= [ 338559, 338562 ] ) ] ), rec( 323 fp:= [ 1040 ], 324 next:= [ rec( 325 fp:= [ 15634, 98713 ], 326 level:= 5, 327 next:= [ 348686, 348687 ] ) ] ), rec( 328 fp:= [ 1245 ], 329 next:= [ rec( 330 desc:= [ 106003 ], 331 fp:= [ 4, 14 ], 332 next:= [ 355153, 355162 ] ) ] ), rec( 333 fp:= [ 1077, 1254, 1301, 1317 ], 334 next:= [ rec( 335 desc:= [ 107003 ], 336 fp:= [ 616, 814 ], 337 next:= [ 361967, 361983 ] ), rec( 338 desc:= [ 107003 ], 339 fp:= [ 618, 816 ], 340 next:= [ 361966, 361986 ] ), rec( 341 fp:= [ 5622, 11408 ], 342 level:= 5, 343 next:= [ 361976, 361977 ] ), rec( 344 desc:= [ 107003 ], 345 fp:= [ 620, 818 ], 346 next:= [ 361968, 361980 ] ) ] ), rec( 347 fp:= [ 1095 ], 348 next:= [ rec( 349 fp:= [ 40881, 99600 ], 350 level:= 5, 351 next:= [ 368115, 368125 ] ) ] ), rec( 352 fp:= [ 1032, 1080 ], 353 next:= [ rec( 354 desc:= [ 106003 ], 355 fp:= [ 418, 814 ], 356 next:= [ 374564, 374560 ] ), rec( 357 fp:= [ 71483, 97800 ], 358 level:= 5, 359 next:= [ 374565, 374563 ] ) ] ), rec( 360 fp:= [ 1413, 1419 ], 361 next:= [ rec( 362 fp:= [ 53802, 98193 ], 363 level:= 5, 364 next:= [ 380001, 380003 ] ), rec( 365 fp:= [ 24515, 73753 ], 366 level:= 5, 367 next:= [ 380011, 380013 ] ) ] ), rec( 368 fp:= [ 1217 ], 369 next:= [ rec( 370 fp:= [ 46408, 73677 ], 371 level:= 5, 372 next:= [ 408322, 408317 ] ) ] ), rec( 373 fp:= [ 1418 ], 374 next:= [ rec( 375 desc:= [ 302007 ], 376 fp:= [ 38461, 48441 ], 377 next:= [ 416583, 416595 ] ) ] ), rec( 378 fp:= [ 1261, 1507 ], 379 next:= [ rec( 380 desc:= [ 107003 ], 381 fp:= [ 814, 1012 ], 382 next:= [ 425498, 425493 ] ), rec( 383 desc:= [ 302006 ], 384 fp:= [ 18661, 38263 ], 385 next:= [ 425507, 425515 ] ) ] ), rec( 386 fp:= [ 2196 ], 387 next:= [ rec( 388 fp:= [ 17530, 94052 ], 389 level:= 5, 390 next:= [ 433828, 433835 ] ) ] ), rec( 391 fp:= [ 1244 ], 392 next:= [ rec( 393 fp:= [ 51536, 96792 ], 394 level:= 5, 395 next:= [ 440893, 440902 ] ) ] ), rec( 396 fp:= [ 1191, 1198, 1201 ], 397 next:= [ rec( 398 fp:= [ 11311, 98110 ], 399 level:= 5, 400 next:= [ 470786, 470768 ] ), rec( 401 fp:= [ 54993, 75173 ], 402 level:= 5, 403 next:= [ 470784, 470778 ] ), rec( 404 desc:= [ 302008 ], 405 fp:= [ 28561, 38362 ], 406 next:= [ 470757, 470781 ] ) ] ), rec( 407 fp:= [ 1385, 1560 ], 408 next:= [ rec( 409 fp:= [ 7356, 89561 ], 410 level:= 5, 411 next:= [ 479481, 479488 ] ), rec( 412 desc:= [ 302009 ], 413 fp:= [ 44782, 87127 ], 414 next:= [ 479485, 479493 ] ) ] ), rec( 415 fp:= [ 1188, 1367 ], 416 next:= [ rec( 417 fp:= [ 19937, 24358, 37393 ], 418 level:= 5, 419 next:= [ 488680, 488696, 488681 ] ), rec( 420 fp:= [ 9867, 60350, 88956 ], 421 level:= 5, 422 next:= [ 488677, 488693, 488692 ] ) ] ), rec( 423 fp:= [ 1207, 1451 ], 424 next:= [ rec( 425 fp:= [ 6584, 28935 ], 426 level:= 5, 427 next:= [ 497886, 497889 ] ), rec( 428 desc:= [ 106003 ], 429 fp:= [ 218, 614 ], 430 next:= [ 497899, 497891 ] ) ] ), rec( 431 fp:= [ 1084, 1362, 1513 ], 432 next:= [ rec( 433 desc:= [ 302008, 302011, 215002, 215003, 215004, 304016, 40409010 ], 434 fp:= [ 1, 1921 ], 435 next:= [ 506620, 506636 ] ), rec( 436 desc:= [ 302007, 302012, 117005, 213002, 302014, 217002, 217003, 437303018, 310022, 40310011 ], 438 fp:= [ 1, 641 ], 439 next:= [ 506625, 506641 ] ), rec( 440 desc:= [ 302007 ], 441 fp:= [ 38461, 48262 ], 442 next:= [ 506627, 506631 ] ) ] ), rec( 443 fp:= [ 1257, 1338, 1386, 1479, 1534 ], 444 next:= [ rec( 445 desc:= [ 302006 ], 446 fp:= [ 384, 48361 ], 447 next:= [ 524250, 524248 ] ), rec( 448 desc:= [ 106003 ], 449 fp:= [ 414, 612 ], 450 next:= [ 524246, 524254 ] ), rec( 451 fp:= [ 24535, 28696 ], 452 level:= 5, 453 next:= [ 524260, 524237 ] ), rec( 454 desc:= [ 302005 ], 455 fp:= [ 38461, 48262 ], 456 next:= [ 524263, 524251 ] ), rec( 457 desc:= [ 302009 ], 458 fp:= [ 34783, 83837 ], 459 next:= [ 524243, 524255 ] ) ] ), rec( 460 fp:= [ 1179 ], 461 next:= [ rec( 462 fp:= [ 36956, 41548 ], 463 level:= 5, 464 next:= [ 531787, 531778 ] ) ] ), rec( 465 fp:= [ 1161 ], 466 next:= [ rec( 467 desc:= [ 107003 ], 468 fp:= [ 216, 612 ], 469 next:= [ 538429, 538442 ] ) ] ), rec( 470 fp:= [ 1213, 1242 ], 471 next:= [ rec( 472 desc:= [ 114011 ], 473 fp:= [ 4, 14 ], 474 next:= [ 545890, 545866 ] ), rec( 475 desc:= [ 302009, 217002 ], 476 fp:= [ 4, 14 ], 477 next:= [ 545882, 545874 ] ) ] ), rec( 478 fp:= [ 1093, 1175, 1196 ], 479 next:= [ rec( 480 desc:= [ 302009, 215002 ], 481 fp:= [ 613, 811 ], 482 next:= [ 554914, 554916 ] ), rec( 483 fp:= [ 44310, 76444 ], 484 level:= 5, 485 next:= [ 554919, 554908 ] ), rec( 486 fp:= [ 49196, 94841 ], 487 level:= 5, 488 next:= [ 554921, 554897 ] ) ] ), rec( 489 fp:= [ 1253, 1260, 1309, 1328 ], 490 next:= [ rec( 491 desc:= [ 302008 ], 492 fp:= [ 28641, 49223 ], 493 next:= [ 563786, 563790 ] ), rec( 494 desc:= [ 107003 ], 495 fp:= [ 814, 1012 ], 496 next:= [ 563804, 563798 ] ), rec( 497 fp:= [ 25466, 85909 ], 498 level:= 5, 499 next:= [ 563781, 563788 ] ), rec( 500 fp:= [ 54935, 92830 ], 501 level:= 5, 502 next:= [ 563778, 563799 ] ) ] ), rec( 503 fp:= [ 1150 ], 504 next:= [ rec( 505 fp:= [ 82112, 99568 ], 506 level:= 5, 507 next:= [ 581934, 581921 ] ) ] ), rec( 508 fp:= [ 1141 ], 509 next:= [ rec( 510 desc:= [ 107003 ], 511 fp:= [ 222, 420 ], 512 next:= [ 591053, 591079 ] ) ] ), rec( 513 fp:= [ 1098, 1186, 1512 ], 514 next:= [ rec( 515 desc:= [ 106003 ], 516 fp:= [ 220, 616 ], 517 next:= [ 599267, 599253 ] ), rec( 518 desc:= [ 107003 ], 519 fp:= [ 18, 414, 612 ], 520 next:= [ 599263, 599255, 599251 ] ), rec( 521 desc:= [ 302006 ], 522 fp:= [ 38461, 48262 ], 523 next:= [ 599256, 599258 ] ) ] ), rec( 524 fp:= [ 1170, 1225, 1508, 1587 ], 525 next:= [ rec( 526 desc:= [ 105003 ], 527 fp:= [ 414, 612 ], 528 next:= [ 612441, 612422 ] ), rec( 529 desc:= [ 302007 ], 530 fp:= [ 54682, 80517 ], 531 next:= [ 612438, rec( 532 desc:= [ 302008 ], 533 fp:= [ 282, 28261 ], 534 next:= [ rec( 535 desc:= [ 115011 ], 536 fp:= [ 4, 14 ], 537 next:= [ 612443, 612427 ] ), 612425 ] ) ] ), rec( 538 desc:= [ 105003 ], 539 fp:= [ 614, 812 ], 540 next:= [ 612442, 612421 ] ), rec( 541 desc:= [ 302008, 110003, 210003 ], 542 fp:= [ 14, 212 ], 543 next:= [ 612436, 612420 ] ) ] ), rec( 544 fp:= [ 1194, 1487, 1524 ], 545 next:= [ rec( 546 desc:= [ 302006 ], 547 fp:= [ 384, 48361 ], 548 next:= [ 620546, 620551 ] ), rec( 549 desc:= [ 302007 ], 550 fp:= [ 36033, 45834 ], 551 next:= [ 620547, 620529 ] ), rec( 552 desc:= [ 105003 ], 553 fp:= [ 20, 416 ], 554 next:= [ 620526, 620523 ] ) ] ), rec( 555 fp:= [ 1115, 1237, 1436, 1575 ], 556 next:= [ rec( 557 desc:= [ 302007, 110003, 210003 ], 558 fp:= [ 14, 212 ], 559 next:= [ 628314, 628298 ] ), rec( 560 desc:= [ 302007 ], 561 fp:= [ 35842, 46442 ], 562 next:= [ 628312, 628315 ] ), rec( 563 desc:= [ 302007 ], 564 fp:= [ 53485, 64521 ], 565 next:= [ 628311, 628300 ] ), rec( 566 desc:= [ 302007, 110003, 210003 ], 567 fp:= [ 14, 212 ], 568 next:= [ 628322, 628306 ] ) ] ), rec( 569 fp:= [ 1310, 1502, 1518 ], 570 next:= [ rec( 571 desc:= [ 112011 ], 572 fp:= [ 8, 414 ], 573 next:= [ 635732, 635740 ] ), rec( 574 desc:= [ 302008, 212002 ], 575 fp:= [ 12, 1012 ], 576 next:= [ 635743, 635735 ] ), rec( 577 fp:= [ 3087, 72803 ], 578 level:= 5, 579 next:= [ 635731, rec( 580 desc:= [ 302009 ], 581 fp:= [ 18463, 62443 ], 582 next:= [ 635720, 635745 ] ) ] ) ] ), rec( 583 fp:= [ 1424 ], 584 next:= [ rec( 585 fp:= [ 11406, 55954 ], 586 level:= 5, 587 next:= [ 644867, 644868 ] ) ] ), rec( 588 fp:= [ 1200 ], 589 next:= [ rec( 590 fp:= [ 30879, 92165 ], 591 level:= 5, 592 next:= [ 653402, 653405 ] ) ] ), rec( 593 fp:= [ 1150 ], 594 next:= [ rec( 595 fp:= [ 5668, 98075 ], 596 level:= 5, 597 next:= [ 662273, 662279 ] ) ] ), rec( 598 fp:= [ 1146, 1208, 1405, 1535 ], 599 next:= [ rec( 600 desc:= [ 113011 ], 601 fp:= [ 8, 414 ], 602 next:= [ 671317, 671330 ] ), rec( 603 desc:= [ 106003 ], 604 fp:= [ 618, 816, 1014 ], 605 next:= [ 671314, 671319, 671316 ] ), rec( 606 desc:= [ 106003 ], 607 fp:= [ 218, 416 ], 608 next:= [ 671325, 671311 ] ), rec( 609 desc:= [ 302006 ], 610 fp:= [ 38461, 48262 ], 611 next:= [ 671334, 671326 ] ) ] ), rec( 612 fp:= [ 1271, 1402, 1414 ], 613 next:= [ rec( 614 fp:= [ 10983, 46602 ], 615 level:= 5, 616 next:= [ 679656, 679650 ] ), rec( 617 fp:= [ 59624, 74786 ], 618 level:= 5, 619 next:= [ 679659, 679654 ] ), rec( 620 fp:= [ 37305, 52467 ], 621 level:= 5, 622 next:= [ 679661, 679651 ] ) ] ), rec( 623 fp:= [ 1434 ], 624 next:= [ rec( 625 fp:= [ 13136, 45910 ], 626 level:= 5, 627 next:= [ 688838, 688854 ] ) ] ), rec( 628 fp:= [ 1191 ], 629 next:= [ rec( 630 fp:= [ 73915, 83437 ], 631 level:= 5, 632 next:= [ 698122, 698120 ] ) ] ), rec( 633 fp:= [ 1445 ], 634 next:= [ rec( 635 desc:= [ 302006 ], 636 fp:= [ 39483, 49463 ], 637 next:= [ 707182, 707191 ] ) ] ), rec( 638 fp:= [ 1422, 1452 ], 639 next:= [ rec( 640 fp:= [ 20422, 30403 ], 641 level:= 5, 642 next:= [ 716378, 716391 ] ), rec( 643 fp:= [ 20422, 30403 ], 644 level:= 5, 645 next:= [ 716369, 716365 ] ) ] ), rec( 646 fp:= [ 1263 ], 647 next:= [ rec( 648 desc:= [ 302008 ], 649 fp:= [ 186, 28561 ], 650 next:= [ 725675, 725690 ] ) ] ), rec( 651 fp:= [ 1410, 1532 ], 652 next:= [ rec( 653 desc:= [ 302007 ], 654 fp:= [ 483, 58261 ], 655 next:= [ 734670, 734686 ] ), rec( 656 desc:= [ 107003 ], 657 fp:= [ 614, 812 ], 658 next:= [ 734689, 734691 ] ) ] ), rec( 659 fp:= [ 1440 ], 660 next:= [ rec( 661 desc:= [ 108003 ], 662 fp:= [ 414, 612 ], 663 next:= [ 743962, 743946 ] ) ] ), rec( 664 fp:= [ 1259 ], 665 next:= [ rec( 666 desc:= [ 106003 ], 667 fp:= [ 816, 1212 ], 668 next:= [ 752966, 752953 ] ) ] ), rec( 669 fp:= [ 1172, 1181, 1274, 1412 ], 670 next:= [ rec( 671 desc:= [ 302007 ], 672 fp:= [ 38362, 38541 ], 673 next:= [ 762237, 762226 ] ), rec( 674 fp:= [ 88168, 99402 ], 675 level:= 5, 676 next:= [ 762234, 762242 ] ), rec( 677 desc:= [ 108003 ], 678 fp:= [ 22, 220 ], 679 next:= [ 762227, 762224 ] ), rec( 680 desc:= [ 108003 ], 681 fp:= [ 18, 216 ], 682 next:= [ 762222, 762221 ] ) ] ), rec( 683 fp:= [ 1144, 1156, 1478 ], 684 next:= [ rec( 685 desc:= [ 108003 ], 686 fp:= [ 8, 414 ], 687 next:= [ 770899, 770913 ] ), rec( 688 desc:= [ 107003 ], 689 fp:= [ 6, 214 ], 690 next:= [ 770895, 770909 ] ), rec( 691 fp:= [ 33608, 39308 ], 692 level:= 5, 693 next:= [ 770922, 770911 ] ) ] ), rec( 694 fp:= [ 1246, 1344 ], 695 next:= [ rec( 696 desc:= [ 105003 ], 697 fp:= [ 1014, 1212 ], 698 next:= [ 779651, 779648 ] ), rec( 699 desc:= [ 302005 ], 700 fp:= [ 87, 18661 ], 701 next:= [ 779649, 779653 ] ) ] ), rec( 702 fp:= [ 1341 ], 703 next:= [ rec( 704 desc:= [ 107003 ], 705 fp:= [ 416, 812 ], 706 next:= [ 788664, 788679 ] ) ] ), rec( 707 fp:= [ 1416 ], 708 next:= [ rec( 709 fp:= [ 53608, 73679 ], 710 level:= 5, 711 next:= [ 797649, 797646 ] ) ] ), rec( 712 fp:= [ 1023 ], 713 next:= [ rec( 714 desc:= [ 105003 ], 715 fp:= [ 30, 822, 1218 ], 716 next:= [ 805093, 805092, 805094 ] ) ] ), rec( 717 fp:= [ 1175, 1176, 1182, 1275, 1371 ], 718 next:= [ rec( 719 desc:= [ 115011 ], 720 fp:= [ 4, 14 ], 721 next:= [ 811956, 811972 ] ), rec( 722 desc:= [ 302010, 218003 ], 723 fp:= [ 4, 14 ], 724 next:= [ 811964, 811980 ] ), rec( 725 desc:= [ 302010 ], 726 fp:= [ 3137, 73838 ], 727 next:= [ 811966, rec( 728 desc:= [ 210002 ], 729 fp:= [ 4, 212 ], 730 next:= [ 811974, 811954 ] ) ] ), rec( 731 desc:= [ 302010 ], 732 fp:= [ 70548, 72781 ], 733 next:= [ rec( 734 desc:= [ 210004 ], 735 fp:= [ 4, 14 ], 736 next:= [ 811958, 811970 ] ), 811982 ] ), rec( 737 desc:= [ 302009 ], 738 fp:= [ 78922, 84077 ], 739 next:= [ 811976, 811960 ] ) ] ), rec( 740 fp:= [ 1139, 1561 ], 741 next:= [ rec( 742 desc:= [ 302007 ], 743 fp:= [ 582, 761 ], 744 next:= [ 828550, 828552 ] ), rec( 745 desc:= [ 302008 ], 746 fp:= [ 35934, 42643 ], 747 next:= [ 828555, 828549 ] ) ] ), rec( 748 fp:= [ 1479 ], 749 next:= [ rec( 750 desc:= [ 302007, 304015, 214004 ], 751 fp:= [ 713, 911 ], 752 next:= [ 836137, 836125 ] ) ] ), rec( 753 fp:= [ 1326, 1387, 1430 ], 754 next:= [ rec( 755 desc:= [ 106003 ], 756 fp:= [ 416, 614 ], 757 next:= [ 844840, 844849 ] ), rec( 758 desc:= [ 105003 ], 759 fp:= [ 6, 214 ], 760 next:= [ 844853, 844837 ] ), rec( 761 desc:= [ 106003 ], 762 fp:= [ 214, 412 ], 763 next:= [ 844836, 844845 ] ) ] ), rec( 764 fp:= [ 1412, 1476, 1524 ], 765 next:= [ rec( 766 desc:= [ 105003 ], 767 fp:= [ 2, 12 ], 768 next:= [ 853896, 853890 ] ), rec( 769 desc:= [ 302008 ], 770 fp:= [ 643, 74581 ], 771 next:= [ 853900, 853899 ] ), rec( 772 desc:= [ 105003 ], 773 fp:= [ 16, 214 ], 774 next:= [ 853893, 853887 ] ) ] ), rec( 775 fp:= [ 1519 ], 776 next:= [ rec( 777 desc:= [ 106003 ], 778 fp:= [ 6, 412 ], 779 next:= [ 863067, 863069 ] ) ] ), rec( 780 fp:= [ 1225, 1494, 1501, 1520, 1570 ], 781 next:= [ rec( 782 desc:= [ 302007 ], 783 fp:= [ 52543, 69053 ], 784 next:= [ 872339, 872353 ] ), rec( 785 desc:= [ 302007 ], 786 fp:= [ 5825, 42723 ], 787 next:= [ 872343, 872368 ] ), rec( 788 desc:= [ 302007 ], 789 fp:= [ 36542, 42544 ], 790 next:= [ 872340, 872361 ] ), rec( 791 desc:= [ 302009 ], 792 fp:= [ 7536, 90687 ], 793 next:= [ 872358, 872364 ] ), rec( 794 desc:= [ 302009 ], 795 fp:= [ 926, 83738 ], 796 next:= [ 872351, 872369 ] ) ] ), rec( 797 fp:= [ 1189, 1405 ], 798 next:= [ rec( 799 desc:= [ 107003 ], 800 fp:= [ 216, 612 ], 801 next:= [ 881552, 881555 ] ), rec( 802 desc:= [ 302010 ], 803 fp:= [ 7296, 24883, 90447 ], 804 next:= [ 881562, 881557, 881548 ] ) ] ), rec( 805 fp:= [ 1367, 1405 ], 806 next:= [ rec( 807 desc:= [ 107003 ], 808 fp:= [ 4, 212 ], 809 next:= [ 900037, 900021 ] ), rec( 810 desc:= [ 302014, 212002 ], 811 fp:= [ 414, 612 ], 812 next:= [ 900043, 900020 ] ) ] ), rec( 813 fp:= [ 1381, 1445 ], 814 next:= [ rec( 815 desc:= [ 106003 ], 816 fp:= [ 14, 212 ], 817 next:= [ 909214, 909201 ] ), rec( 818 desc:= [ 106003 ], 819 fp:= [ 16, 214 ], 820 next:= [ 909218, 909205 ] ) ] ), rec( 821 fp:= [ 1139, 1393, 1556 ], 822 next:= [ rec( 823 desc:= [ 107003 ], 824 fp:= [ 216, 414 ], 825 next:= [ 927596, 927602 ] ), rec( 826 fp:= [ 38041, 49454 ], 827 level:= 5, 828 next:= [ 927607, 927591 ] ), rec( 829 fp:= [ 29178, 81361 ], 830 level:= 5, 831 next:= [ 927601, 927619 ] ) ] ), rec( 832 fp:= [ 1450, 1556 ], 833 next:= [ rec( 834 desc:= [ 302008, 212002 ], 835 fp:= [ 6, 412 ], 836 next:= [ 936651, 936626 ] ), rec( 837 fp:= [ 29178, 81361 ], 838 level:= 5, 839 next:= [ 936655, 936645 ] ) ] ), rec( 840 fp:= [ 1157, 1405, 1438, 1488 ], 841 next:= [ rec( 842 desc:= [ 302007 ], 843 fp:= [ 48361, 58341 ], 844 next:= [ 945830, 945822 ] ), rec( 845 desc:= [ 302007 ], 846 fp:= [ 582, 761 ], 847 next:= [ 945838, 945833 ] ), rec( 848 desc:= [ 302008 ], 849 fp:= [ 45834, 63913 ], 850 next:= [ 945846, 945841 ] ), rec( 851 desc:= [ 302010 ], 852 fp:= [ 926, 83738 ], 853 next:= [ 945820, 945844 ] ) ] ), rec( 854 fp:= [ 1480 ], 855 next:= [ rec( 856 desc:= [ 108003 ], 857 fp:= [ 4, 212 ], 858 next:= [ 954998, 954996 ] ) ] ), rec( 859 fp:= [ 1197, 1382, 1491, 1531 ], 860 next:= [ rec( 861 desc:= [ 112011 ], 862 fp:= [ 18, 414 ], 863 next:= [ 964214, 964216 ] ), rec( 864 desc:= [ 302008 ], 865 fp:= [ 544, 64681 ], 866 next:= [ 964211, 964227 ] ), rec( 867 desc:= [ 302007 ], 868 fp:= [ 35934, 69133 ], 869 next:= [ 964237, 964231 ] ), rec( 870 desc:= [ 302006 ], 871 fp:= [ 5825, 36721 ], 872 next:= [ 964238, 964225 ] ) ] ), rec( 873 fp:= [ 1201, 1417, 1467, 1468, 1509 ], 874 next:= [ rec( 875 desc:= [ 302007 ], 876 fp:= [ 18463, 55913, 62443 ], 877 next:= [ 973365, 973374, 973357 ] ), rec( 878 desc:= [ 302005 ], 879 fp:= [ 483, 58261 ], 880 next:= [ 973363, 973383 ] ), rec( 881 desc:= [ 302006 ], 882 fp:= [ 483, 58261 ], 883 next:= [ 973358, 973381 ] ), rec( 884 desc:= [ 302009 ], 885 fp:= [ 24784, 80547 ], 886 next:= [ 973386, 973361 ] ), rec( 887 desc:= [ 106003 ], 888 fp:= [ 6, 412 ], 889 next:= [ 973378, 973385 ] ) ] ), rec( 890 fp:= [ 1201, 1474, 1513 ], 891 next:= [ rec( 892 desc:= [ 106003 ], 893 fp:= [ 614, 812 ], 894 next:= [ 982522, 982521 ] ), rec( 895 desc:= [ 302006 ], 896 fp:= [ 483, 58261 ], 897 next:= [ 982534, 982540 ] ), rec( 898 desc:= [ 106003 ], 899 fp:= [ 6, 412 ], 900 next:= [ 982539, 982524 ] ) ] ), rec( 901 fp:= [ 1430 ], 902 next:= [ rec( 903 desc:= [ 302006 ], 904 fp:= [ 36193, 62249 ], 905 next:= [ 1000484, 1000496 ] ) ] ), rec( 906 fp:= [ 1032, 1273 ], 907 next:= [ rec( 908 fp:= [ 20406, 85143 ], 909 level:= 5, 910 next:= [ 1008550, 1008552 ] ), rec( 911 fp:= [ 4449, 78832, 94332 ], 912 level:= 5, 913 next:= [ 1008553, 1008551, 1008548 ] ) ] ), rec( 914 fp:= [ 1031 ], 915 next:= [ rec( 916 fp:= [ 6024, 98702 ], 917 level:= 5, 918 next:= [ 1015616, 1015608 ] ) ] ), rec( 919 fp:= [ 1141 ], 920 next:= [ rec( 921 fp:= [ 28294, 66284 ], 922 level:= 5, 923 next:= [ 1023111, 1023114 ] ) ] ), rec( 924 fp:= [ 1841 ], 925 next:= [ rec( 926 fp:= [ 16581, 53717 ], 927 level:= 5, 928 next:= [ 1051485, 1051487 ] ) ] ), rec( 929 fp:= [ 2011 ], 930 next:= [ rec( 931 fp:= [ 24274, 90578 ], 932 level:= 5, 933 next:= [ 1063972, 1063966 ] ) ] ), rec( 934 fp:= [ 1930 ], 935 next:= [ rec( 936 desc:= [ 117003 ], 937 fp:= [ 2, 12 ], 938 next:= [ 1070861, 1070883 ] ) ] ), rec( 939 fp:= [ 2233, 2246, 2273, 2293, 2297 ], 940 next:= [ rec( 941 desc:= [ 107003 ], 942 fp:= [ 14, 212 ], 943 next:= [ 1080863, 1080883 ] ), rec( 944 desc:= [ 107003 ], 945 fp:= [ 14, 212 ], 946 next:= [ 1080881, 1080858 ] ), rec( 947 desc:= [ 108003 ], 948 fp:= [ 2, 12 ], 949 next:= [ 1080859, 1080875 ] ), rec( 950 desc:= [ 108003 ], 951 fp:= [ 2, 12 ], 952 next:= [ 1080882, 1080857 ] ), rec( 953 desc:= [ 302007 ], 954 fp:= [ 142, 281 ], 955 next:= [ 1080872, 1080869 ] ) ] ) ] ); 956