1############################################################################# 2## 3#W id8.adb GAP library of id's Hans Ulrich Besche 4## 5 6ID_GROUP_TREE.next[8].next[1].next[106]:= 7rec( 8 fp:= [ 705, 4305, 6405, 7005, 7305, 7605, 7905, 8205, 8505, 8805, 9105, 99405, 9705, 10005, 10305, 13905, 16005, 16305, 16605, 17805, 19005, 19905, 1020505, 20805, 22005, 22305, 24405, 25305, 25605, 27105, 27405, 28905, 29205, 1129805, 30105, 30405, 30705, 31305, 31605, 32205, 32505, 32805, 33405, 33705, 1234005, 34305, 34605, 35805, 36105, 36405, 36705, 37005, 37305, 37605, 37905, 1338205, 39405, 39705, 40005, 40305, 40605, 41205, 41805, 42105, 42405, 42705, 1443005, 43305, 43605, 44205, 44505, 44805, 45105, 45405, 45705, 46305, 46605, 1546905, 47205, 47505, 47805, 48105, 48405, 48705, 49005, 49305, 49605, 49905, 1650205, 50505, 50805, 51105, 51405, 51705, 52005, 52305, 52605, 52905, 53205, 1754405, 55305 ], 18 next:= [ rec( 19 fp:= [ 3 ], 20 next:= [ rec( 21 desc:= [ 106003, 302004, 302006, 302008, 211003, 305011, 208005, 22217005, 219005, 308017, 220008 ], 23 fp:= [ 4, 14 ], 24 next:= [ 58188, 58190 ] ) ] ), rec( 25 fp:= [ 461, 464 ], 26 next:= [ rec( 27 desc:= [ 306014, 40608009 ], 28 fp:= [ 3, 15561 ], 29 next:= [ 78137, 78139 ] ), rec( 30 desc:= [ 305012, 214005, 305015, 305017, 40610011 ], 31 fp:= [ 2, 5122 ], 32 next:= [ 78141, 78135 ] ) ] ), rec( 33 fp:= [ 878 ], 34 next:= [ rec( 35 desc:= [ 115003 ], 36 fp:= [ 2, 12 ], 37 next:= [ 88970, 88971 ] ) ] ), rec( 38 fp:= [ 167, 168, 1026 ], 39 next:= [ rec( 40 fp:= [ 51684, 89199 ], 41 level:= 5, 42 next:= [ 92950, 92955 ] ), rec( 43 desc:= [ 105003 ], 44 fp:= [ 818, 1214 ], 45 next:= [ 92951, 92953 ] ), rec( 46 desc:= [ 105003 ], 47 fp:= [ 422, 818 ], 48 next:= [ 92956, 92957 ] ) ] ), rec( 49 fp:= [ 171 ], 50 next:= [ rec( 51 desc:= [ 105003 ], 52 fp:= [ 8, 414 ], 53 next:= [ 96527, 96534 ] ) ] ), rec( 54 fp:= [ 169 ], 55 next:= [ rec( 56 desc:= [ 109003 ], 57 fp:= [ 214, 412 ], 58 next:= [ rec( 59 desc:= [ 302006, 302008, 302010, 302012, 214002, 306014, 219006 ], 60 fp:= [ 34, 826 ], 61 next:= [ 100166, 100171 ] ), 100169 ] ) ] ), rec( 62 fp:= [ 170, 171 ], 63 next:= [ rec( 64 desc:= [ 108003 ], 65 fp:= [ 16, 214 ], 66 next:= [ 103455, 103459 ] ), rec( 67 fp:= [ 27093, 84646 ], 68 level:= 5, 69 next:= [ 103461, rec( 70 desc:= [ 108003 ], 71 fp:= [ 216, 414 ], 72 next:= [ 103467, 103463 ] ) ] ) ] ), rec( 73 fp:= [ 1024, 1026 ], 74 next:= [ rec( 75 desc:= [ 106003 ], 76 fp:= [ 8, 414 ], 77 next:= [ 106907, 106908 ] ), rec( 78 desc:= [ 106003 ], 79 fp:= [ 8, 414 ], 80 next:= [ 106911, 106912 ] ) ] ), rec( 81 fp:= [ 167, 168, 173, 174, 176, 1123 ], 82 next:= [ rec( 83 desc:= [ 104003 ], 84 fp:= [ 818, 1214 ], 85 next:= [ 110950, 110957 ] ), rec( 86 desc:= [ 104003 ], 87 fp:= [ 422, 818 ], 88 next:= [ 110958, 110948 ] ), rec( 89 desc:= [ 105003 ], 90 fp:= [ 416, 614 ], 91 next:= [ 110959, 110953 ] ), rec( 92 desc:= [ 104003 ], 93 fp:= [ 8, 414 ], 94 next:= [ 110961, 110956 ] ), rec( 95 desc:= [ 104003 ], 96 fp:= [ 18, 414 ], 97 next:= [ 110960, 110952 ] ), rec( 98 desc:= [ 104003 ], 99 fp:= [ 18, 414 ], 100 next:= [ 110951, 110947 ] ) ] ), rec( 101 fp:= [ 168, 173, 174, 176 ], 102 next:= [ rec( 103 desc:= [ 110011 ], 104 fp:= [ 16, 26, 818, 1214 ], 105 next:= [ 115231, 115236, 115239, rec( 106 desc:= [ 302004 ], 107 fp:= [ 1264, 36860 ], 108 next:= [ 115238, 115229 ] ) ] ), rec( 109 desc:= [ 302006 ], 110 fp:= [ 1584, 69500 ], 111 next:= [ 115233, 115242 ] ), rec( 112 desc:= [ 105003 ], 113 fp:= [ 20, 218, 416 ], 114 next:= [ 115240, 115230, 115232 ] ), rec( 115 desc:= [ 302004 ], 116 fp:= [ 1462, 1721 ], 117 next:= [ 115241, 115237 ] ) ] ), rec( 118 fp:= [ 165, 171, 174, 175 ], 119 next:= [ rec( 120 desc:= [ 106003 ], 121 fp:= [ 6, 214, 412 ], 122 next:= [ 119395, 119399, 119391 ] ), rec( 123 desc:= [ 106003 ], 124 fp:= [ 614, 812 ], 125 next:= [ rec( 126 desc:= [ 302006 ], 127 fp:= [ 1363, 46760 ], 128 next:= [ 119401, 119397 ] ), 119393 ] ), rec( 129 desc:= [ 106003 ], 130 fp:= [ 416, 812 ], 131 next:= [ 119390, 119394 ] ), rec( 132 desc:= [ 302008 ], 133 fp:= [ 1584, 69500 ], 134 next:= [ 119392, 119388 ] ) ] ), rec( 135 fp:= [ 165, 171, 172, 173, 174, 175 ], 136 next:= [ rec( 137 desc:= [ 106003 ], 138 fp:= [ 8, 612 ], 139 next:= [ 123510, 123518 ] ), rec( 140 desc:= [ 105003 ], 141 fp:= [ 616, 814 ], 142 next:= [ 123522, 123512 ] ), rec( 143 desc:= [ 105003 ], 144 fp:= [ 814, 1012 ], 145 next:= [ 123514, 123520 ] ), rec( 146 desc:= [ 302006, 110003, 210002 ], 147 fp:= [ 18, 216 ], 148 next:= [ 123521, 123517 ] ), rec( 149 desc:= [ 106003 ], 150 fp:= [ 616, 814 ], 151 next:= [ 123513, 123523 ] ), rec( 152 desc:= [ 106003 ], 153 fp:= [ 814, 1012 ], 154 next:= [ 123519, rec( 155 desc:= [ 109003, 302005, 302007, 212002 ], 156 fp:= [ 214, 412 ], 157 next:= [ 123515, 123511 ] ) ] ) ] ), rec( 158 fp:= [ 165, 171, 172, 175, 177 ], 159 next:= [ rec( 160 desc:= [ 107003 ], 161 fp:= [ 1214, 1412 ], 162 next:= [ 127546, rec( 163 desc:= [ 302007 ], 164 fp:= [ 1287, 39800 ], 165 next:= [ 127552, 127554 ] ) ] ), rec( 166 desc:= [ 105003 ], 167 fp:= [ 814, 1012 ], 168 next:= [ 127548, 127558 ] ), rec( 169 desc:= [ 105003 ], 170 fp:= [ 12, 1012 ], 171 next:= [ 127550, 127556 ] ), rec( 172 desc:= [ 108003 ], 173 fp:= [ 814, 1012 ], 174 next:= [ rec( 175 desc:= [ 302005, 302007, 210002, 302011, 213002, 304011, 210004, 176304015, 212004, 40308012 ], 177 fp:= [ 3, 7881 ], 178 next:= [ 127551, 127547 ] ), rec( 179 desc:= [ 302008 ], 180 fp:= [ 1485, 59600 ], 181 next:= [ rec( 182 desc:= [ 107003, 302006, 208002, 302009, 40306010 ], 183 fp:= [ 4, 7981 ], 184 next:= [ 127553, 127557 ] ), 127555 ] ) ] ), rec( 185 desc:= [ 106003 ], 186 fp:= [ 814, 1012 ], 187 next:= [ 127549, 127559 ] ) ] ), rec( 188 fp:= [ 170, 171, 172, 1021 ], 189 next:= [ rec( 190 desc:= [ 106003 ], 191 fp:= [ 216, 414, 612 ], 192 next:= [ 131612, 131609, 131613 ] ), rec( 193 desc:= [ 302007 ], 194 fp:= [ 1165, 26960 ], 195 next:= [ rec( 196 desc:= [ 209002 ], 197 fp:= [ 18, 414 ], 198 next:= [ 131620, 131615 ] ), rec( 199 desc:= [ 109003 ], 200 fp:= [ 416, 614 ], 201 next:= [ 131611, 131621 ] ) ] ), rec( 202 desc:= [ 107003 ], 203 fp:= [ 10, 812 ], 204 next:= [ 131614, 131617 ] ), rec( 205 desc:= [ 107003, 109003, 302006, 208002, 302009, 213002 ], 206 fp:= [ 16, 214 ], 207 next:= [ 131610, 131616 ] ) ] ), rec( 208 fp:= [ 180 ], 209 next:= [ rec( 210 desc:= [ 108005 ], 211 fp:= [ 16, 26 ], 212 next:= [ 135166, 135164 ] ) ] ), rec( 213 fp:= [ 1632 ], 214 next:= [ rec( 215 fp:= [ 43996, 88267 ], 216 level:= 5, 217 next:= [ 170857, 170858 ] ) ] ), rec( 218 fp:= [ 598, 608 ], 219 next:= [ rec( 220 fp:= [ 9441, 35945 ], 221 level:= 5, 222 next:= [ 192105, 192101 ] ), rec( 223 fp:= [ 58281, 87850 ], 224 level:= 5, 225 next:= [ 192091, 192095 ] ) ] ), rec( 226 fp:= [ 655 ], 227 next:= [ rec( 228 fp:= [ 13118, 18767 ], 229 level:= 5, 230 next:= [ 195680, 195684 ] ) ] ), rec( 231 fp:= [ 1627 ], 232 next:= [ rec( 233 desc:= [ 107003 ], 234 fp:= [ 16, 412 ], 235 next:= [ 198257, 198261 ] ) ] ), rec( 236 fp:= [ 535 ], 237 next:= [ rec( 238 fp:= [ 11314, 49574 ], 239 level:= 5, 240 next:= [ 212255, 212258 ] ) ] ), rec( 241 fp:= [ 653, 818 ], 242 next:= [ rec( 243 desc:= [ 107003 ], 244 fp:= [ 213, 411 ], 245 next:= [ 227611, 227605 ] ), rec( 246 desc:= [ 107003 ], 247 fp:= [ 215, 413 ], 248 next:= [ 227607, 227601 ] ) ] ), rec( 249 fp:= [ 611 ], 250 next:= [ rec( 251 fp:= [ 25988, 89451 ], 252 level:= 5, 253 next:= [ 240559, 240558 ] ) ] ), rec( 254 fp:= [ 658 ], 255 next:= [ rec( 256 fp:= [ 26908, 74619 ], 257 level:= 5, 258 next:= [ 249535, 249532 ] ) ] ), rec( 259 fp:= [ 666, 723 ], 260 next:= [ rec( 261 desc:= [ 106003 ], 262 fp:= [ 4, 14 ], 263 next:= [ 253441, 253449 ] ), rec( 264 fp:= [ 15475, 77244 ], 265 level:= 5, 266 next:= [ 253443, 253446 ] ) ] ), rec( 267 fp:= [ 665 ], 268 next:= [ rec( 269 desc:= [ 302009 ], 270 fp:= [ 54682, 80517 ], 271 next:= [ 267757, 267755 ] ) ] ), rec( 272 fp:= [ 681 ], 273 next:= [ rec( 274 desc:= [ 302015, 106003, 110003, 302006, 302008, 212002, 302013, 275216002 ], 276 fp:= [ 2, 111 ], 277 next:= [ 271292, 271290 ] ) ] ), rec( 278 fp:= [ 637 ], 279 next:= [ rec( 280 fp:= [ 74159, 85553 ], 281 level:= 5, 282 next:= [ 297984, 297983 ] ) ] ), rec( 283 fp:= [ 653, 833 ], 284 next:= [ rec( 285 desc:= [ 117011 ], 286 fp:= [ 416, 812 ], 287 next:= [ 311202, 311199 ] ), rec( 288 desc:= [ 302006 ], 289 fp:= [ 841, 58261 ], 290 next:= [ 311205, 311200 ] ) ] ), rec( 291 fp:= [ 612 ], 292 next:= [ rec( 293 desc:= [ 114003 ], 294 fp:= [ 14, 212 ], 295 next:= [ 315435, 315437 ] ) ] ), rec( 296 fp:= [ 1001 ], 297 next:= [ rec( 298 desc:= [ 105003 ], 299 fp:= [ 1626, 2418 ], 300 next:= [ 328915, 328913 ] ) ] ), rec( 301 fp:= [ 1033, 1054, 1066, 1092 ], 302 next:= [ rec( 303 desc:= [ 302008, 312016, 111003, 302012, 213002, 305013, 218005 ], 304 fp:= [ 1, 11 ], 305 next:= [ 333149, 333133 ] ), rec( 306 fp:= [ 8079, 87949 ], 307 level:= 5, 308 next:= [ 333128, rec( 309 desc:= [ 302007, 302011, 212003, 40108012 ], 310 fp:= [ 1, 1921 ], 311 next:= [ 333153, 333137 ] ) ] ), rec( 312 desc:= [ 302008 ], 313 fp:= [ 26741, 32823 ], 314 next:= [ 333152, 333140 ] ), rec( 315 fp:= [ 24610, 85096 ], 316 level:= 5, 317 next:= [ 333127, 333134 ] ) ] ), rec( 318 fp:= [ 1091, 1128, 1181 ], 319 next:= [ rec( 320 fp:= [ 22125, 62259 ], 321 level:= 5, 322 next:= [ 361309, 361329 ] ), rec( 323 desc:= [ 302008, 302015, 116003, 216003 ], 324 fp:= [ 4, 212 ], 325 next:= [ 361304, 361302 ] ), rec( 326 fp:= [ 17016, 40041 ], 327 level:= 5, 328 next:= [ 361311, 361327 ] ) ] ), rec( 329 fp:= [ 1071, 1151, 1178 ], 330 next:= [ rec( 331 fp:= [ 53702, 84387 ], 332 level:= 5, 333 next:= [ rec( 334 desc:= [ 108003 ], 335 fp:= [ 10, 812 ], 336 next:= [ 367227, 367229 ] ), 367223 ] ), rec( 337 desc:= [ 109003 ], 338 fp:= [ 814, 1012 ], 339 next:= [ 367225, 367221 ] ), rec( 340 desc:= [ 108003 ], 341 fp:= [ 618, 816 ], 342 next:= [ 367214, 367210 ] ) ] ), rec( 343 fp:= [ 1408, 1455 ], 344 next:= [ rec( 345 fp:= [ 8961, 53352 ], 346 level:= 5, 347 next:= [ 379111, 379113 ] ), rec( 348 desc:= [ 302008 ], 349 fp:= [ 384, 48361 ], 350 next:= [ 379127, 379137 ] ) ] ), rec( 351 fp:= [ 1137 ], 352 next:= [ rec( 353 fp:= [ 48706, 62721 ], 354 level:= 5, 355 next:= [ 387500, 387496 ] ) ] ), rec( 356 fp:= [ 1493 ], 357 next:= [ rec( 358 fp:= [ 10986, 61635 ], 359 level:= 5, 360 next:= [ 394019, 394021 ] ) ] ), rec( 361 fp:= [ 1175, 1181, 1205, 1426 ], 362 next:= [ rec( 363 fp:= [ 34423, 60927, 88921 ], 364 level:= 5, 365 next:= [ 399792, 399790, rec( 366 desc:= [ 108003 ], 367 fp:= [ 20, 218 ], 368 next:= [ 399768, 399780 ] ) ] ), rec( 369 fp:= [ 39775, 41475 ], 370 level:= 5, 371 next:= [ 399784, 399774 ] ), rec( 372 fp:= [ 8146, 12753 ], 373 level:= 5, 374 next:= [ 399772, 399779 ] ), rec( 375 fp:= [ 14751, 64021 ], 376 level:= 5, 377 next:= [ 399765, 399789 ] ) ] ), rec( 378 fp:= [ 1188, 1286, 1380, 1405 ], 379 next:= [ rec( 380 fp:= [ 75189, 84754 ], 381 level:= 5, 382 next:= [ 415515, 415526 ] ), rec( 383 fp:= [ 79515, 98396 ], 384 level:= 5, 385 next:= [ 415516, 415539 ] ), rec( 386 fp:= [ 28773, 47654 ], 387 level:= 5, 388 next:= [ 415535, 415543 ] ), rec( 389 desc:= [ 302009 ], 390 fp:= [ 285, 38461 ], 391 next:= [ 415517, 415521 ] ) ] ), rec( 392 fp:= [ 1200, 1477 ], 393 next:= [ rec( 394 desc:= [ 302009 ], 395 fp:= [ 28462, 28641 ], 396 next:= [ 424436, 424448 ] ), rec( 397 fp:= [ 1723, 44564 ], 398 level:= 5, 399 next:= [ 424453, rec( 400 desc:= [ 302006 ], 401 fp:= [ 28641, 49223 ], 402 next:= [ 424461, 424441 ] ) ] ) ] ), rec( 403 fp:= [ 1037, 1245 ], 404 next:= [ rec( 405 desc:= [ 111011 ], 406 fp:= [ 8, 18 ], 407 next:= [ 440058, 440054 ] ), rec( 408 desc:= [ 106003 ], 409 fp:= [ 814, 1012 ], 410 next:= [ 440069, 440055 ] ) ] ), rec( 411 fp:= [ 1362 ], 412 next:= [ rec( 413 fp:= [ 21553, 45381 ], 414 level:= 5, 415 next:= [ 446839, 446831 ] ) ] ), rec( 416 fp:= [ 1056, 1352 ], 417 next:= [ rec( 418 desc:= [ 108003 ], 419 fp:= [ 816, 1212 ], 420 next:= [ 453307, 453315 ] ), rec( 421 desc:= [ 108003 ], 422 fp:= [ 16, 412 ], 423 next:= [ 453321, 453325 ] ) ] ), rec( 424 fp:= [ 1420, 1485 ], 425 next:= [ rec( 426 desc:= [ 302010 ], 427 fp:= [ 44881, 54682 ], 428 next:= [ 469721, 469725 ] ), rec( 429 desc:= [ 302008 ], 430 fp:= [ 28561, 38362 ], 431 next:= [ 469733, 469717 ] ) ] ), rec( 432 fp:= [ 1196, 1211 ], 433 next:= [ rec( 434 desc:= [ 108003 ], 435 fp:= [ 16, 214 ], 436 next:= [ 478416, 478412 ] ), rec( 437 fp:= [ 29058, 38977 ], 438 level:= 5, 439 next:= [ 478422, 478423 ] ) ] ), rec( 440 fp:= [ 1192, 1362 ], 441 next:= [ rec( 442 fp:= [ 35126, 97551 ], 443 level:= 5, 444 next:= [ 487626, 487619 ] ), rec( 445 fp:= [ 17745, 46351 ], 446 level:= 5, 447 next:= [ 487615, 487638 ] ) ] ), rec( 448 fp:= [ 1210, 1381, 1472 ], 449 next:= [ rec( 450 desc:= [ 302008 ], 451 fp:= [ 384, 48361 ], 452 next:= [ 496844, 496848 ] ), rec( 453 fp:= [ 26525, 49219 ], 454 level:= 5, 455 next:= [ 496867, 496859 ] ), rec( 456 desc:= [ 108003 ], 457 fp:= [ 8, 612 ], 458 next:= [ 496861, 496845 ] ) ] ), rec( 459 fp:= [ 1263, 1336, 1469, 1509 ], 460 next:= [ rec( 461 desc:= [ 302009 ], 462 fp:= [ 39323, 55833 ], 463 next:= [ 505624, 505604 ] ), rec( 464 desc:= [ 302009, 111003, 114003, 211002, 302012, 216002, 216003, 465304011, 217004, 304018, 40509010 ], 466 fp:= [ 1, 1921 ], 467 next:= [ 505620, 505628 ] ), rec( 468 desc:= [ 302007, 303010, 306016, 40406007 ], 469 fp:= [ 1, 641 ], 470 next:= [ 505609, 505601 ] ), rec( 471 desc:= [ 302007 ], 472 fp:= [ 285, 38461 ], 473 next:= [ 505613, 505617 ] ) ] ), rec( 474 fp:= [ 1183, 1531 ], 475 next:= [ rec( 476 desc:= [ 106003 ], 477 fp:= [ 18, 216 ], 478 next:= [ 537656, 537660 ] ), rec( 479 desc:= [ 105003 ], 480 fp:= [ 218, 416 ], 481 next:= [ 537657, 537668 ] ) ] ), rec( 482 fp:= [ 1138, 1177, 1405 ], 483 next:= [ rec( 484 fp:= [ 3075, 76803 ], 485 level:= 5, 486 next:= [ 544858, 544835 ] ), rec( 487 desc:= [ 108003 ], 488 fp:= [ 420, 816 ], 489 next:= [ 544845, 544833 ] ), rec( 490 desc:= [ 108003 ], 491 fp:= [ 20, 218, 416 ], 492 next:= [ 544837, 544851, 544841 ] ) ] ), rec( 493 fp:= [ 1204 ], 494 next:= [ rec( 495 fp:= [ 16050, 39958 ], 496 level:= 5, 497 next:= [ 553905, 553890 ] ) ] ), rec( 498 fp:= [ 1290, 1326, 1448 ], 499 next:= [ rec( 500 desc:= [ 113011 ], 501 fp:= [ 8, 414 ], 502 next:= [ 562756, 562736 ] ), rec( 503 desc:= [ 106003 ], 504 fp:= [ 1216, 1414 ], 505 next:= [ 562763, 562759 ] ), rec( 506 desc:= [ 302006 ], 507 fp:= [ 28462, 38263 ], 508 next:= [ 562747, 562765 ] ) ] ), rec( 509 fp:= [ 1074, 1106, 1212, 1513 ], 510 next:= [ rec( 511 desc:= [ 107003 ], 512 fp:= [ 816, 1212 ], 513 next:= [ 571704, 571690 ] ), rec( 514 desc:= [ 114011 ], 515 fp:= [ 24, 2014 ], 516 next:= [ 571712, 571706 ] ), rec( 517 desc:= [ 106003 ], 518 fp:= [ 12, 814 ], 519 next:= [ 571687, 571709 ] ), rec( 520 desc:= [ 107003 ], 521 fp:= [ 814, 1012 ], 522 next:= [ 571697, 571703 ] ) ] ), rec( 523 fp:= [ 1105, 1281, 1318, 1409 ], 524 next:= [ rec( 525 desc:= [ 302008 ], 526 fp:= [ 883, 80517 ], 527 next:= [ 580916, 580908 ] ), rec( 528 desc:= [ 302005 ], 529 fp:= [ 28363, 55833 ], 530 next:= [ 580917, 580905 ] ), rec( 531 fp:= [ 41049, 46411 ], 532 level:= 5, 533 next:= [ 580902, 580913 ] ), rec( 534 desc:= [ 302005 ], 535 fp:= [ 28561, 38541 ], 536 next:= [ 580909, 580897 ] ) ] ), rec( 537 fp:= [ 1097, 1326 ], 538 next:= [ rec( 539 desc:= [ 111011 ], 540 fp:= [ 24, 2014 ], 541 next:= [ 590016, 590002 ] ), rec( 542 fp:= [ 41982, 79877 ], 543 level:= 5, 544 next:= [ 590010, 590003 ] ) ] ), rec( 545 fp:= [ 1172 ], 546 next:= [ rec( 547 desc:= [ 107003 ], 548 fp:= [ 20, 416 ], 549 next:= [ 598566, 598573 ] ) ] ), rec( 550 fp:= [ 1161, 1274, 1453 ], 551 next:= [ rec( 552 fp:= [ 1315, 14908 ], 553 level:= 5, 554 next:= [ 605158, 605168 ] ), rec( 555 fp:= [ 37649, 59310 ], 556 level:= 5, 557 next:= [ 605160, rec( 558 desc:= [ 108003 ], 559 fp:= [ 20, 218 ], 560 next:= [ 605169, 605156 ] ) ] ), rec( 561 desc:= [ 107003 ], 562 fp:= [ 420, 618 ], 563 next:= [ 605153, 605157 ] ) ] ), rec( 564 fp:= [ 1287, 1408 ], 565 next:= [ rec( 566 fp:= [ 2726, 51886 ], 567 level:= 5, 568 next:= [ 634802, 634818 ] ), rec( 569 fp:= [ 23946, 83251, 89778 ], 570 level:= 5, 571 next:= [ rec( 572 desc:= [ 302009 ], 573 fp:= [ 38263, 49223 ], 574 next:= [ 634807, 634822 ] ), 634806, 634829 ] ) ] ), rec( 575 fp:= [ 1289 ], 576 next:= [ rec( 577 fp:= [ 3193, 11826 ], 578 level:= 5, 579 next:= [ 643786, 643808 ] ) ] ), rec( 580 fp:= [ 1170, 1262, 1490 ], 581 next:= [ rec( 582 desc:= [ 106003 ], 583 fp:= [ 418, 814 ], 584 next:= [ 652514, 652512 ] ), rec( 585 desc:= [ 302007 ], 586 fp:= [ 8761, 18562 ], 587 next:= [ 652520, 652525 ] ), rec( 588 desc:= [ 105003 ], 589 fp:= [ 416, 812 ], 590 next:= [ 652516, 652532 ] ) ] ), rec( 591 fp:= [ 1192, 1485 ], 592 next:= [ rec( 593 fp:= [ 27417, 74284 ], 594 level:= 5, 595 next:= [ 661243, 661221 ] ), rec( 596 fp:= [ 7640, 74527 ], 597 level:= 5, 598 next:= [ 661230, 661241 ] ) ] ), rec( 599 fp:= [ 1248, 1471, 1485 ], 600 next:= [ rec( 601 desc:= [ 302009 ], 602 fp:= [ 44881, 54682, 55021 ], 603 next:= [ 670267, 670272, 670277 ] ), rec( 604 desc:= [ 302009 ], 605 fp:= [ 34981, 44782 ], 606 next:= [ 670292, 670283 ] ), rec( 607 desc:= [ 302009, 209002 ], 608 fp:= [ 416, 614 ], 609 next:= [ 670279, 670293 ] ) ] ), rec( 610 fp:= [ 1181, 1450 ], 611 next:= [ rec( 612 fp:= [ 88168, 99402 ], 613 level:= 5, 614 next:= [ 687806, 687790 ] ), rec( 615 fp:= [ 3087, 72803 ], 616 level:= 5, 617 next:= [ 687801, 687788 ] ) ] ), rec( 618 fp:= [ 1157, 1400, 1403 ], 619 next:= [ rec( 620 desc:= [ 302008 ], 621 fp:= [ 48441, 66341 ], 622 next:= [ 706139, 706140 ] ), rec( 623 desc:= [ 302008 ], 624 fp:= [ 582, 761 ], 625 next:= [ 706149, 706136 ] ), rec( 626 desc:= [ 108003 ], 627 fp:= [ 14, 212 ], 628 next:= [ 706153, 706160 ] ) ] ), rec( 629 fp:= [ 1199 ], 630 next:= [ rec( 631 fp:= [ 3193, 75630 ], 632 level:= 5, 633 next:= [ 715323, 715328 ] ) ] ), rec( 634 fp:= [ 1213, 1265 ], 635 next:= [ rec( 636 desc:= [ 302007 ], 637 fp:= [ 48521, 66421 ], 638 next:= [ 724625, 724621 ] ), rec( 639 desc:= [ 111011 ], 640 fp:= [ 8, 414 ], 641 next:= [ 724620, 724613 ] ) ] ), rec( 642 fp:= [ 1251, 1292 ], 643 next:= [ rec( 644 desc:= [ 107003 ], 645 fp:= [ 618, 816 ], 646 next:= [ 733645, 733636 ] ), rec( 647 fp:= [ 35845, 47258 ], 648 level:= 5, 649 next:= [ 733658, 733647 ] ) ] ), rec( 650 fp:= [ 1432 ], 651 next:= [ rec( 652 desc:= [ 108003 ], 653 fp:= [ 414, 612 ], 654 next:= [ 742916, 742900 ] ) ] ), rec( 655 fp:= [ 1220, 1248 ], 656 next:= [ rec( 657 desc:= [ 107003 ], 658 fp:= [ 814, 1012 ], 659 next:= [ 751908, 751901 ] ), rec( 660 fp:= [ 35845, 47258 ], 661 level:= 5, 662 next:= [ 751909, 751911 ] ) ] ), rec( 663 fp:= [ 1263, 1488, 1535 ], 664 next:= [ rec( 665 desc:= [ 113011 ], 666 fp:= [ 8, 414 ], 667 next:= [ 761195, 761203 ] ), rec( 668 desc:= [ 302006 ], 669 fp:= [ 38461, 48262 ], 670 next:= [ 761200, 761205 ] ), rec( 671 desc:= [ 302006 ], 672 fp:= [ 285, 38461 ], 673 next:= [ 761187, 761208 ] ) ] ), rec( 674 fp:= [ 1237, 1241, 1320, 1495, 1506, 1520, 1537 ], 675 next:= [ rec( 676 desc:= [ 302006 ], 677 fp:= [ 38442, 39323 ], 678 next:= [ 778685, rec( 679 desc:= [ 208003 ], 680 fp:= [ 814, 1012 ], 681 next:= [ 778691, 778692 ] ) ] ), rec( 682 desc:= [ 302006 ], 683 fp:= [ 38442, 39323 ], 684 next:= [ 778697, 778700 ] ), rec( 685 desc:= [ 302005 ], 686 fp:= [ 18661, 28462 ], 687 next:= [ 778693, 778703 ] ), rec( 688 desc:= [ 302005 ], 689 fp:= [ 384, 48361 ], 690 next:= [ 778707, 778696 ] ), rec( 691 desc:= [ 302008 ], 692 fp:= [ 77227, 88822 ], 693 next:= [ 778683, rec( 694 desc:= [ 207002 ], 695 fp:= [ 218, 416 ], 696 next:= [ 778704, 778713 ] ) ] ), rec( 697 desc:= [ 302008 ], 698 fp:= [ 77227, 88822, 89161 ], 699 next:= [ 778712, 778701, 778705 ] ), rec( 700 desc:= [ 302007 ], 701 fp:= [ 34981, 44782 ], 702 next:= [ 778687, 778709 ] ) ] ), rec( 703 fp:= [ 1201, 1448, 1495 ], 704 next:= [ rec( 705 desc:= [ 105003 ], 706 fp:= [ 222, 618 ], 707 next:= [ 787763, 787766 ] ), rec( 708 desc:= [ 105003 ], 709 fp:= [ 218, 614 ], 710 next:= [ 787743, 787765 ] ), rec( 711 desc:= [ 302007 ], 712 fp:= [ 77227, 93737 ], 713 next:= [ 787767, 787769 ] ) ] ), rec( 714 fp:= [ 1203, 1208, 1414, 1485 ], 715 next:= [ rec( 716 fp:= [ 3193, 11826 ], 717 level:= 5, 718 next:= [ 796624, 796608 ] ), rec( 719 fp:= [ 3193, 11826 ], 720 level:= 5, 721 next:= [ 796614, 796630 ] ), rec( 722 desc:= [ 107003 ], 723 fp:= [ 216, 414 ], 724 next:= [ 796628, 796625 ] ), rec( 725 fp:= [ 27962, 64478 ], 726 level:= 5, 727 next:= [ 796635, 796611 ] ) ] ), rec( 728 fp:= [ 1022, 1032, 1127 ], 729 next:= [ rec( 730 desc:= [ 108003 ], 731 fp:= [ 620, 1016 ], 732 next:= [ 804546, 804556 ] ), rec( 733 fp:= [ 6586, 57968 ], 734 level:= 5, 735 next:= [ 804552, 804544 ] ), rec( 736 fp:= [ 20108, 57235 ], 737 level:= 5, 738 next:= [ 804554, 804536 ] ) ] ), rec( 739 fp:= [ 1191 ], 740 next:= [ rec( 741 fp:= [ 43923, 46310 ], 742 level:= 5, 743 next:= [ 810968, 810976 ] ) ] ), rec( 744 fp:= [ 1569 ], 745 next:= [ rec( 746 desc:= [ 302009 ], 747 fp:= [ 42544, 62249 ], 748 next:= [ 819849, 819857 ] ) ] ), rec( 749 fp:= [ 1410, 1417, 1426, 1442, 1593 ], 750 next:= [ rec( 751 desc:= [ 302007, 111003, 211002 ], 752 fp:= [ 6, 412 ], 753 next:= [ 835194, 835184 ] ), rec( 754 desc:= [ 302007 ], 755 fp:= [ 18562, 55833 ], 756 next:= [ 835197, 835183 ] ), rec( 757 desc:= [ 302007, 313016, 109003, 112003, 302010, 213002, 217002, 758304013, 218004 ], 759 fp:= [ 1, 11 ], 760 next:= [ 835188, 835196 ] ), rec( 761 desc:= [ 302007, 111003, 211002 ], 762 fp:= [ 6, 412 ], 763 next:= [ 835170, 835168 ] ), rec( 764 desc:= [ 302008, 108003, 208003 ], 765 fp:= [ 216, 414 ], 766 next:= [ 835174, 835190 ] ) ] ), rec( 767 fp:= [ 1406 ], 768 next:= [ rec( 769 fp:= [ 22299, 69166 ], 770 level:= 5, 771 next:= [ 843794, 843799 ] ) ] ), rec( 772 fp:= [ 1137, 1358, 1406, 1467, 1569 ], 773 next:= [ rec( 774 desc:= [ 302006 ], 775 fp:= [ 582, 761 ], 776 next:= [ 852826, 852840 ] ), rec( 777 desc:= [ 302010 ], 778 fp:= [ 643, 74581 ], 779 next:= [ 852832, 852819 ] ), rec( 780 desc:= [ 302008 ], 781 fp:= [ 582, 761 ], 782 next:= [ 852845, 852838 ] ), rec( 783 desc:= [ 302009 ], 784 fp:= [ 8464, 42643, 59153 ], 785 next:= [ 852818, 852843, 852842 ] ), rec( 786 desc:= [ 302007 ], 787 fp:= [ 42544, 62249 ], 788 next:= [ 852847, 852829 ] ) ] ), rec( 789 fp:= [ 1461 ], 790 next:= [ rec( 791 fp:= [ 44544, 54525 ], 792 level:= 5, 793 next:= [ 862013, 862030 ] ) ] ), rec( 794 fp:= [ 1455, 1462, 1569 ], 795 next:= [ rec( 796 desc:= [ 106003 ], 797 fp:= [ 214, 412 ], 798 next:= [ 871295, 871288 ] ), rec( 799 desc:= [ 106003 ], 800 fp:= [ 214, 412 ], 801 next:= [ 871307, 871289 ] ), rec( 802 desc:= [ 106003 ], 803 fp:= [ 2, 12 ], 804 next:= [ 871297, 871315 ] ) ] ), rec( 805 fp:= [ 1417, 1488 ], 806 next:= [ rec( 807 fp:= [ 507, 40863 ], 808 level:= 5, 809 next:= [ rec( 810 desc:= [ 107003 ], 811 fp:= [ 2, 12 ], 812 next:= [ 880554, 880530 ] ), rec( 813 desc:= [ 108003 ], 814 fp:= [ 4, 212 ], 815 next:= [ 880556, 880532 ] ) ] ), rec( 816 fp:= [ 3296, 37125 ], 817 level:= 5, 818 next:= [ 880533, 880555 ] ) ] ), rec( 819 fp:= [ 1424, 1432, 1546 ], 820 next:= [ rec( 821 desc:= [ 302011 ], 822 fp:= [ 7296, 90447 ], 823 next:= [ 889737, 889740 ] ), rec( 824 fp:= [ 3893, 37722 ], 825 level:= 5, 826 next:= [ 889746, 889724 ] ), rec( 827 fp:= [ 451, 5512 ], 828 level:= 5, 829 next:= [ 889733, 889751 ] ) ] ), rec( 830 fp:= [ 1150 ], 831 next:= [ rec( 832 desc:= [ 108003 ], 833 fp:= [ 6, 412 ], 834 next:= [ 898988, 898982 ] ) ] ), rec( 835 fp:= [ 1413, 1561 ], 836 next:= [ rec( 837 desc:= [ 302006 ], 838 fp:= [ 483, 58261 ], 839 next:= [ 908174, 908149 ] ), rec( 840 desc:= [ 302007 ], 841 fp:= [ 35934, 42643 ], 842 next:= [ 908175, 908157 ] ) ] ), rec( 843 fp:= [ 1385, 1432, 1491 ], 844 next:= [ rec( 845 fp:= [ 17946, 29359 ], 846 level:= 5, 847 next:= [ 917404, 917407 ] ), rec( 848 desc:= [ 107003 ], 849 fp:= [ 4, 212 ], 850 next:= [ 917414, 917395 ] ), rec( 851 desc:= [ 107003 ], 852 fp:= [ 6, 412 ], 853 next:= [ 917393, 917405 ] ) ] ), rec( 854 fp:= [ 1410, 1493, 1562 ], 855 next:= [ rec( 856 desc:= [ 108003 ], 857 fp:= [ 2, 12 ], 858 next:= [ 926655, 926645 ] ), rec( 859 desc:= [ 108003 ], 860 fp:= [ 4, 212 ], 861 next:= [ 926658, 926642 ] ), rec( 862 desc:= [ 107003 ], 863 fp:= [ 2, 12 ], 864 next:= [ 926656, 926650 ] ) ] ), rec( 865 fp:= [ 1419 ], 866 next:= [ rec( 867 fp:= [ 26659, 92763 ], 868 level:= 5, 869 next:= [ 935593, 935574 ] ) ] ), rec( 870 fp:= [ 1494 ], 871 next:= [ rec( 872 desc:= [ 106003 ], 873 fp:= [ 6, 412 ], 874 next:= [ 944766, 944789 ] ) ] ), rec( 875 fp:= [ 1402, 1510 ], 876 next:= [ rec( 877 desc:= [ 302008 ], 878 fp:= [ 18562, 55833 ], 879 next:= [ 953926, 953933 ] ), rec( 880 fp:= [ 24854, 65150 ], 881 level:= 5, 882 next:= [ 953927, 953939 ] ) ] ), rec( 883 fp:= [ 1453 ], 884 next:= [ rec( 885 desc:= [ 302007 ], 886 fp:= [ 36113, 62603 ], 887 next:= [ 963166, 963181 ] ) ] ), rec( 888 fp:= [ 1260, 1344, 1398, 1490, 1498, 1534, 1571 ], 889 next:= [ rec( 890 desc:= [ 109011 ], 891 fp:= [ 8, 18, 414 ], 892 next:= [ 972322, 972324, 972328 ] ), rec( 893 desc:= [ 104003 ], 894 fp:= [ 416, 614 ], 895 next:= [ 972323, 972320 ] ), rec( 896 desc:= [ 104003 ], 897 fp:= [ 214, 412 ], 898 next:= [ 972333, 972330 ] ), rec( 899 desc:= [ 104003 ], 900 fp:= [ 6, 412 ], 901 next:= [ 972336, 972316 ] ), rec( 902 desc:= [ 104003 ], 903 fp:= [ 6, 412 ], 904 next:= [ 972318, 972319 ] ), rec( 905 desc:= [ 302005 ], 906 fp:= [ 5825, 45914, 62249 ], 907 next:= [ 972337, 972334, 972339 ] ), rec( 908 desc:= [ 104003 ], 909 fp:= [ 2, 12 ], 910 next:= [ 972345, 972335 ] ) ] ), rec( 911 fp:= [ 1504, 1522, 1534 ], 912 next:= [ rec( 913 desc:= [ 106003 ], 914 fp:= [ 6, 412 ], 915 next:= [ 981490, 981498 ] ), rec( 916 desc:= [ 106003 ], 917 fp:= [ 214, 412 ], 918 next:= [ 981495, 981487 ] ), rec( 919 desc:= [ 105003 ], 920 fp:= [ 214, 412 ], 921 next:= [ 981474, 981497 ] ) ] ), rec( 922 fp:= [ 1244, 1291, 1410, 1417 ], 923 next:= [ rec( 924 desc:= [ 106003 ], 925 fp:= [ 416, 614 ], 926 next:= [ 990402, 990400 ] ), rec( 927 desc:= [ 106003 ], 928 fp:= [ 614, 812 ], 929 next:= [ 990393, 990407 ] ), rec( 930 desc:= [ 302009 ], 931 fp:= [ 80547, 97057 ], 932 next:= [ rec( 933 desc:= [ 209002 ], 934 fp:= [ 6, 412 ], 935 next:= [ 990403, 990418 ] ), 990414 ] ), rec( 936 desc:= [ 302007 ], 937 fp:= [ 18562, 39323, 55833 ], 938 next:= [ 990421, 990409, 990404 ] ) ] ), rec( 939 fp:= [ 1387, 1530 ], 940 next:= [ rec( 941 desc:= [ 105003 ], 942 fp:= [ 6, 412 ], 943 next:= [ 999523, 999520 ] ), rec( 944 desc:= [ 106003 ], 945 fp:= [ 214, 412 ], 946 next:= [ 999511, 999508 ] ) ] ), rec( 947 fp:= [ 1146 ], 948 next:= [ rec( 949 fp:= [ 2018, 57103 ], 950 level:= 5, 951 next:= [ 1007805, 1007792 ] ) ] ), rec( 952 fp:= [ 1153 ], 953 next:= [ rec( 954 fp:= [ 14920, 46701 ], 955 level:= 5, 956 next:= [ 1014708, 1014714 ] ) ] ), rec( 957 fp:= [ 1189, 1289 ], 958 next:= [ rec( 959 fp:= [ 59524, 85500 ], 960 level:= 5, 961 next:= [ 1022354, 1022348 ] ), rec( 962 fp:= [ 44464, 89040 ], 963 level:= 5, 964 next:= [ 1022333, 1022352 ] ) ] ), rec( 965 fp:= [ 1091, 1170, 1237, 1317 ], 966 next:= [ rec( 967 desc:= [ 107003 ], 968 fp:= [ 224, 620 ], 969 next:= [ 1029624, 1029616 ] ), rec( 970 desc:= [ 107003 ], 971 fp:= [ 218, 614 ], 972 next:= [ 1029632, 1029640 ] ), rec( 973 fp:= [ 5622, 11408, 21384 ], 974 level:= 5, 975 next:= [ 1029629, 1029642, 1029636 ] ), rec( 976 desc:= [ 113011 ], 977 fp:= [ 8, 414 ], 978 next:= [ 1029641, 1029645 ] ) ] ), rec( 979 fp:= [ 1701 ], 980 next:= [ rec( 981 fp:= [ 10974, 74040 ], 982 level:= 5, 983 next:= [ 1034244, 1034250 ] ) ] ), rec( 984 fp:= [ 1773 ], 985 next:= [ rec( 986 desc:= [ 302007, 305015, 40205007 ], 987 fp:= [ 2, 5762 ], 988 next:= [ 1050815, 1050832 ] ) ] ), rec( 989 fp:= [ 2002, 2044 ], 990 next:= [ rec( 991 fp:= [ 20622, 96071 ], 992 level:= 5, 993 next:= [ 1070142, 1070152 ] ), rec( 994 fp:= [ 20274, 63250 ], 995 level:= 5, 996 next:= [ 1070164, 1070138 ] ) ] ) ] ); 997