1############################################################################# 2## 3#W id8.ais GAP library of id's Hans Ulrich Besche 4## 5 6ID_GROUP_TREE.next[8].next[1].next[253]:= 7rec( 8 fp:= [ 6852, 7152, 7452, 7752, 8052, 8352, 8652, 9252, 9552, 9852, 10152, 912552, 16152, 16752, 17652, 17952, 19152, 19752, 20052, 20352, 22152, 22752, 1023952, 24252, 25152, 25452, 27852, 28452, 28752, 29052, 29352, 29652, 30252, 1130852, 31152, 31752, 32352, 32652, 32952, 33252, 33552, 33852, 34152, 34752, 1235052, 36552, 37152, 37752, 38052, 38352, 38952, 39552, 39852, 40152, 40452, 1341352, 41652, 41952, 42252, 42852, 43152, 43452, 43752, 44352, 44652, 44952, 1445252, 45552, 45852, 46152, 46452, 46752, 47052, 47352, 47652, 47952, 48252, 1548552, 48852, 49452, 49752, 50052, 50652, 50952, 51252, 51552, 51852, 52152, 1652452, 52752, 54252, 54852, 55152, 55452, 56052 ], 17 next:= [ rec( 18 fp:= [ 164, 174, 1001 ], 19 next:= [ rec( 20 desc:= [ 302006 ], 21 fp:= [ 1188, 39701 ], 22 next:= [ 91417, rec( 23 desc:= [ 107003, 207002 ], 24 fp:= [ 426, 822 ], 25 next:= [ 91416, 91419 ] ) ] ), rec( 26 desc:= [ 302005, 302008, 110003, 210003 ], 27 fp:= [ 1222, 1618 ], 28 next:= [ 91414, 91422 ] ), rec( 29 desc:= [ 105003 ], 30 fp:= [ 1618, 2014 ], 31 next:= [ 91415, 91413 ] ) ] ), rec( 32 fp:= [ 168 ], 33 next:= [ rec( 34 desc:= [ 302005, 110003, 114005, 302006, 302009, 302011, 213002, 35213006, 306014, 220006 ], 36 fp:= [ 16, 818 ], 37 next:= [ 94818, 94817 ] ) ] ), rec( 38 fp:= [ 166, 167, 168, 174 ], 39 next:= [ rec( 40 desc:= [ 104003 ], 41 fp:= [ 20, 1614 ], 42 next:= [ 98260, 98267 ] ), rec( 43 desc:= [ 302004, 108003, 208002 ], 44 fp:= [ 418, 814 ], 45 next:= [ 98259, 98266 ] ), rec( 46 desc:= [ 110011 ], 47 fp:= [ 16, 818, 1214 ], 48 next:= [ 98264, rec( 49 desc:= [ 104003 ], 50 fp:= [ 1218, 1614 ], 51 next:= [ 98257, 98261 ] ), 98258 ] ), rec( 52 desc:= [ 109011 ], 53 fp:= [ 28, 2018, 2414 ], 54 next:= [ 98268, 98269, 98262 ] ) ] ), rec( 55 fp:= [ 170 ], 56 next:= [ rec( 57 fp:= [ 16316, 66671 ], 58 level:= 5, 59 next:= [ 101555, rec( 60 desc:= [ 109003 ], 61 fp:= [ 16, 412 ], 62 next:= [ 101559, 101557 ] ) ] ) ] ), rec( 63 fp:= [ 166, 168, 173, 174, 175 ], 64 next:= [ rec( 65 desc:= [ 106003 ], 66 fp:= [ 8, 612 ], 67 next:= [ 105433, rec( 68 desc:= [ 108003, 302004, 302006, 302008, 211002 ], 69 fp:= [ 22, 418 ], 70 next:= [ 105429, 105437 ] ) ] ), rec( 71 desc:= [ 105003 ], 72 fp:= [ 8, 414 ], 73 next:= [ 105441, 105439 ] ), rec( 74 desc:= [ 104003 ], 75 fp:= [ 12, 814 ], 76 next:= [ 105442, 105428 ] ), rec( 77 desc:= [ 106003 ], 78 fp:= [ 8, 612 ], 79 next:= [ 105436, rec( 80 desc:= [ 302006 ], 81 fp:= [ 1363, 46760 ], 82 next:= [ 105432, 105440 ] ) ] ), rec( 83 desc:= [ 106003 ], 84 fp:= [ 8, 612 ], 85 next:= [ 105434, 105438 ] ) ] ), rec( 86 fp:= [ 168, 173, 174, 176, 1023 ], 87 next:= [ rec( 88 desc:= [ 104003 ], 89 fp:= [ 818, 1214 ], 90 next:= [ 108760, 108759 ] ), rec( 91 desc:= [ 104003 ], 92 fp:= [ 18, 414 ], 93 next:= [ 108762, 108753 ] ), rec( 94 desc:= [ 105003 ], 95 fp:= [ 416, 812 ], 96 next:= [ 108754, 108758 ] ), rec( 97 desc:= [ 104003 ], 98 fp:= [ 8, 414 ], 99 next:= [ 108751, 108755 ] ), rec( 100 desc:= [ 104003 ], 101 fp:= [ 818, 1214 ], 102 next:= [ 108750, 108756 ] ) ] ), rec( 103 fp:= [ 171 ], 104 next:= [ rec( 105 desc:= [ 111011 ], 106 fp:= [ 826, 1222, 1618, 2014 ], 107 next:= [ 113066, 113056, 113061, 113065 ] ) ] ), rec( 108 fp:= [ 173 ], 109 next:= [ rec( 110 desc:= [ 106003 ], 111 fp:= [ 418, 616 ], 112 next:= [ 121383, 121391 ] ) ] ), rec( 113 fp:= [ 171 ], 114 next:= [ rec( 115 desc:= [ 111011 ], 116 fp:= [ 826, 1222, 2014 ], 117 next:= [ 125565, 125558, 125566 ] ) ] ), rec( 118 fp:= [ 168, 173, 174, 177 ], 119 next:= [ rec( 120 desc:= [ 105003 ], 121 fp:= [ 216, 612 ], 122 next:= [ 129613, 129619 ] ), rec( 123 desc:= [ 302007 ], 124 fp:= [ 49700, 59501, 64832 ], 125 next:= [ 129623, 129624, 129618 ] ), rec( 126 desc:= [ 105003 ], 127 fp:= [ 616, 814, 1012 ], 128 next:= [ 129622, 129614, 129626 ] ), rec( 129 desc:= [ 105003 ], 130 fp:= [ 418, 616 ], 131 next:= [ 129620, 129612 ] ) ] ), rec( 132 fp:= [ 173, 174, 177 ], 133 next:= [ rec( 134 desc:= [ 302005 ], 135 fp:= [ 29900, 39701, 78052 ], 136 next:= [ rec( 137 desc:= [ 303006, 108003, 208005 ], 138 fp:= [ 8, 612 ], 139 next:= [ 133316, 133307 ] ), rec( 140 desc:= [ 302006 ], 141 fp:= [ 862, 86421 ], 142 next:= [ 133315, rec( 143 desc:= [ 108003, 208004 ], 144 fp:= [ 6, 214 ], 145 next:= [ 133314, 133305 ] ) ] ), 133308 ] ), rec( 146 desc:= [ 104003 ], 147 fp:= [ 420, 618, 816 ], 148 next:= [ 133312, 133318, 133306 ] ), rec( 149 desc:= [ 104003 ], 150 fp:= [ 420, 618, 816 ], 151 next:= [ 133317, 133309, 133310 ] ) ] ), rec( 152 fp:= [ 1940 ], 153 next:= [ rec( 154 fp:= [ 6216, 15183 ], 155 level:= 5, 156 next:= [ 156818, 156816 ] ) ] ), rec( 157 fp:= [ 508, 675 ], 158 next:= [ rec( 159 desc:= [ 302005, 302006, 302009, 211002 ], 160 fp:= [ 4, 14 ], 161 next:= [ 193962, 193964 ] ), rec( 162 desc:= [ 302007, 208002 ], 163 fp:= [ 4, 14 ], 164 next:= [ 193958, 193954 ] ) ] ), rec( 165 fp:= [ 494, 508 ], 166 next:= [ rec( 167 desc:= [ 302009, 111003, 211003 ], 168 fp:= [ 214, 412 ], 169 next:= [ 199684, 199680 ] ), rec( 170 desc:= [ 302007, 109003, 209003 ], 171 fp:= [ 214, 412 ], 172 next:= [ 199682, 199686 ] ) ] ), rec( 173 fp:= [ 733 ], 174 next:= [ rec( 175 desc:= [ 113007 ], 176 fp:= [ 4, 14 ], 177 next:= [ 210298, 210290 ] ) ] ), rec( 178 fp:= [ 586, 653 ], 179 next:= [ rec( 180 fp:= [ 34487, 83037 ], 181 level:= 5, 182 next:= [ 214372, 214375 ] ), rec( 183 desc:= [ 114003 ], 184 fp:= [ 4, 14 ], 185 next:= [ 214378, 214380 ] ) ] ), rec( 186 fp:= [ 594, 609 ], 187 next:= [ rec( 188 fp:= [ 64621, 72604 ], 189 level:= 5, 190 next:= [ 229634, 229639 ] ), rec( 191 fp:= [ 72604, 89776 ], 192 level:= 5, 193 next:= [ 229641, 229637 ] ) ] ), rec( 194 fp:= [ 774 ], 195 next:= [ rec( 196 desc:= [ 108003 ], 197 fp:= [ 15, 213 ], 198 next:= [ 238254, 238252 ] ) ] ), rec( 199 fp:= [ 609 ], 200 next:= [ rec( 201 fp:= [ 3496, 80970 ], 202 level:= 5, 203 next:= [ 242737, 242740 ] ) ] ), rec( 204 fp:= [ 595, 653 ], 205 next:= [ rec( 206 desc:= [ 107003 ], 207 fp:= [ 15, 213 ], 208 next:= [ 247234, 247232 ] ), rec( 209 fp:= [ 11314, 98245 ], 210 level:= 5, 211 next:= [ 247242, 247237 ] ) ] ), rec( 212 fp:= [ 541, 626 ], 213 next:= [ rec( 214 desc:= [ 302009, 302021 ], 215 fp:= [ 622, 1041 ], 216 next:= [ 269633, 269635 ] ), rec( 217 desc:= [ 302009, 212003 ], 218 fp:= [ 2, 111 ], 219 next:= [ 269643, 269641 ] ) ] ), rec( 220 fp:= [ 605 ], 221 next:= [ rec( 222 desc:= [ 113003 ], 223 fp:= [ 4, 14 ], 224 next:= [ 276489, 276490 ] ) ] ), rec( 225 fp:= [ 791 ], 226 next:= [ rec( 227 fp:= [ 89816, 94230 ], 228 level:= 5, 229 next:= [ 291682, 291685 ] ) ] ), rec( 230 fp:= [ 520 ], 231 next:= [ rec( 232 desc:= [ 302011, 212002 ], 233 fp:= [ 1, 11 ], 234 next:= [ 295755, 295751 ] ) ] ), rec( 235 fp:= [ 746 ], 236 next:= [ rec( 237 fp:= [ 38294, 74613, 98531 ], 238 level:= 5, 239 next:= [ 308958, 308944, 308953 ] ) ] ), rec( 240 fp:= [ 586, 807, 809 ], 241 next:= [ rec( 242 desc:= [ 115003 ], 243 fp:= [ 4, 14 ], 244 next:= [ 313320, 313322 ] ), rec( 245 fp:= [ 29738, 99341 ], 246 level:= 5, 247 next:= [ 313326, 313321 ] ), rec( 248 fp:= [ 29738, 99341 ], 249 level:= 5, 250 next:= [ 313324, 313325 ] ) ] ), rec( 251 fp:= [ 1020 ], 252 next:= [ rec( 253 desc:= [ 106003 ], 254 fp:= [ 818, 1214 ], 255 next:= [ 340323, 340322 ] ) ] ), rec( 256 fp:= [ 1157, 1220 ], 257 next:= [ rec( 258 desc:= [ 108003 ], 259 fp:= [ 618, 816 ], 260 next:= [ 351390, 351374 ] ), rec( 261 desc:= [ 108003 ], 262 fp:= [ 1016, 1214 ], 263 next:= [ 351398, 351382 ] ) ] ), rec( 264 fp:= [ 1291, 1334 ], 265 next:= [ rec( 266 fp:= [ 17959, 62223 ], 267 level:= 5, 268 next:= [ 357507, 357489 ] ), rec( 269 fp:= [ 17959, 62223 ], 270 level:= 5, 271 next:= [ 357487, 357501 ] ) ] ), rec( 272 fp:= [ 1256 ], 273 next:= [ rec( 274 desc:= [ 302006, 210002 ], 275 fp:= [ 8, 414 ], 276 next:= [ 364380, 364384 ] ) ] ), rec( 277 fp:= [ 1091, 1190, 1193, 1197, 1206 ], 278 next:= [ rec( 279 desc:= [ 108003 ], 280 fp:= [ 216, 414 ], 281 next:= [ 370876, 370872 ] ), rec( 282 fp:= [ 22089, 92975 ], 283 level:= 5, 284 next:= [ rec( 285 desc:= [ 302008, 214002 ], 286 fp:= [ 220, 418 ], 287 next:= [ 370874, 370869 ] ), 370891 ] ), rec( 288 desc:= [ 107003 ], 289 fp:= [ 220, 418 ], 290 next:= [ 370870, 370879 ] ), rec( 291 fp:= [ 73608, 85670 ], 292 level:= 5, 293 next:= [ 370875, 370890 ] ), rec( 294 fp:= [ 22089, 92975 ], 295 level:= 5, 296 next:= [ 370881, 370898 ] ) ] ), rec( 297 fp:= [ 1118, 1121, 1122 ], 298 next:= [ rec( 299 desc:= [ 302009 ], 300 fp:= [ 59600, 69401, 69980 ], 301 next:= [ rec( 302 desc:= [ 214002 ], 303 fp:= [ 822, 1218, 1614 ], 304 next:= [ 375888, 375896, 375892 ] ), 375884, 375897 ] ), rec( 305 desc:= [ 106003 ], 306 fp:= [ 4, 14 ], 307 next:= [ 375894, 375895 ] ), rec( 308 desc:= [ 302007, 211002 ], 309 fp:= [ 414, 612 ], 310 next:= [ 375898, 375890 ] ) ] ), rec( 311 fp:= [ 1461 ], 312 next:= [ rec( 313 desc:= [ 105003 ], 314 fp:= [ 20, 218 ], 315 next:= [ 390996, 390984 ] ) ] ), rec( 316 fp:= [ 1236 ], 317 next:= [ rec( 318 fp:= [ 10589, 13537 ], 319 level:= 5, 320 next:= [ 403641, 403644 ] ) ] ), rec( 321 fp:= [ 1150, 1157 ], 322 next:= [ rec( 323 fp:= [ 19573, 87590 ], 324 level:= 5, 325 next:= [ 411295, 411284 ] ), rec( 326 fp:= [ 41818, 66842 ], 327 level:= 5, 328 next:= [ 411311, 411309 ] ) ] ), rec( 329 fp:= [ 1212 ], 330 next:= [ rec( 331 desc:= [ 302011 ], 332 fp:= [ 18661, 28462 ], 333 next:= [ 428948, 428953 ] ) ] ), rec( 334 fp:= [ 1288 ], 335 next:= [ rec( 336 desc:= [ 108003 ], 337 fp:= [ 20, 218 ], 338 next:= [ 443728, 443726 ] ) ] ), rec( 339 fp:= [ 1149, 1480 ], 340 next:= [ rec( 341 desc:= [ 302011 ], 342 fp:= [ 784, 5096, 89161 ], 343 next:= [ 450026, 450029, 450021 ] ), rec( 344 desc:= [ 302006 ], 345 fp:= [ 285, 38461 ], 346 next:= [ 450018, 450034 ] ) ] ), rec( 347 fp:= [ 1339, 1424 ], 348 next:= [ rec( 349 desc:= [ 302009, 110003, 210002 ], 350 fp:= [ 2, 12 ], 351 next:= [ 457095, 457079 ] ), rec( 352 desc:= [ 105003 ], 353 fp:= [ 20, 416 ], 354 next:= [ 457070, 457086 ] ) ] ), rec( 355 fp:= [ 1320 ], 356 next:= [ rec( 357 fp:= [ 21291, 89248 ], 358 level:= 5, 359 next:= [ 464973, 464971 ] ) ] ), rec( 360 fp:= [ 1174, 1225, 1387, 1451, 1498, 1508, 1534 ], 361 next:= [ rec( 362 desc:= [ 105003 ], 363 fp:= [ 216, 612 ], 364 next:= [ 474047, 474045 ] ), rec( 365 desc:= [ 302007 ], 366 fp:= [ 44881, 54682, 55021, 80517 ], 367 next:= [ 474057, 474065, 474041, 474049 ] ), rec( 368 desc:= [ 302006 ], 369 fp:= [ 8563, 52543 ], 370 next:= [ 474052, 474044 ] ), rec( 371 desc:= [ 105003 ], 372 fp:= [ 416, 614 ], 373 next:= [ 474046, 474042 ] ), rec( 374 desc:= [ 105003 ], 375 fp:= [ 614, 812 ], 376 next:= [ 474066, 474054 ] ), rec( 377 desc:= [ 105003 ], 378 fp:= [ 614, 812 ], 379 next:= [ 474050, 474062 ] ), rec( 380 desc:= [ 105003 ], 381 fp:= [ 416, 614 ], 382 next:= [ 474038, 474058 ] ) ] ), rec( 383 fp:= [ 1151, 1205, 1355 ], 384 next:= [ rec( 385 fp:= [ 32496, 82818 ], 386 level:= 5, 387 next:= [ 482981, 482973 ] ), rec( 388 fp:= [ 16052, 68751 ], 389 level:= 5, 390 next:= [ 482969, 482972 ] ), rec( 391 fp:= [ 86931, 88102 ], 392 level:= 5, 393 next:= [ 482991, 482968 ] ) ] ), rec( 394 fp:= [ 1189, 1381, 1420, 1475 ], 395 next:= [ rec( 396 fp:= [ 56913, 76683 ], 397 level:= 5, 398 next:= [ 492177, 492161 ] ), rec( 399 fp:= [ 87509, 92683 ], 400 level:= 5, 401 next:= [ 492168, 492184 ] ), rec( 402 fp:= [ 41219, 96489 ], 403 level:= 5, 404 next:= [ 492162, 492170 ] ), rec( 405 fp:= [ 35136, 62500 ], 406 level:= 5, 407 next:= [ 492190, 492174 ] ) ] ), rec( 408 fp:= [ 1398 ], 409 next:= [ rec( 410 desc:= [ 105003 ], 411 fp:= [ 218, 614 ], 412 next:= [ 510092, 510100 ] ) ] ), rec( 413 fp:= [ 1362 ], 414 next:= [ rec( 415 fp:= [ 50490, 81483 ], 416 level:= 5, 417 next:= [ 518824, 518847 ] ) ] ), rec( 418 fp:= [ 1197, 1409, 1520 ], 419 next:= [ rec( 420 fp:= [ 72022, 92391 ], 421 level:= 5, 422 next:= [ 558100, 558105 ] ), rec( 423 desc:= [ 302006 ], 424 fp:= [ 28561, 38541 ], 425 next:= [ 558088, 558106 ] ), rec( 426 desc:= [ 106003 ], 427 fp:= [ 418, 616 ], 428 next:= [ 558084, 558086 ] ) ] ), rec( 429 fp:= [ 1477 ], 430 next:= [ rec( 431 fp:= [ 38763, 68542 ], 432 level:= 5, 433 next:= [ 576206, 576208 ] ) ] ), rec( 434 fp:= [ 1211, 1251, 1333, 1434, 1436 ], 435 next:= [ rec( 436 fp:= [ 13503, 43042 ], 437 level:= 5, 438 next:= [ 594445, 594464 ] ), rec( 439 fp:= [ 21829, 83595 ], 440 level:= 5, 441 next:= [ rec( 442 desc:= [ 114011 ], 443 fp:= [ 18, 414 ], 444 next:= [ 594450, 594458 ] ), 594449 ] ), rec( 445 fp:= [ 13503, 86722 ], 446 level:= 5, 447 next:= [ 594447, 594463 ] ), rec( 448 desc:= [ 302006 ], 449 fp:= [ 28641, 49223 ], 450 next:= [ 594448, 594446 ] ), rec( 451 fp:= [ 20205, 56361 ], 452 level:= 5, 453 next:= [ 594452, 594466 ] ) ] ), rec( 454 fp:= [ 1146, 1159, 1272 ], 455 next:= [ rec( 456 fp:= [ 86804, 99470 ], 457 level:= 5, 458 next:= [ 601793, 601794 ] ), rec( 459 fp:= [ 10063, 76812 ], 460 level:= 5, 461 next:= [ 601800, 601810 ] ), rec( 462 fp:= [ 30823, 99470 ], 463 level:= 5, 464 next:= [ 601802, 601811 ] ) ] ), rec( 465 fp:= [ 1282 ], 466 next:= [ rec( 467 desc:= [ 302006 ], 468 fp:= [ 822, 66581 ], 469 next:= [ 608211, 608218 ] ) ] ), rec( 470 fp:= [ 1261, 1537 ], 471 next:= [ rec( 472 desc:= [ 107003 ], 473 fp:= [ 414, 612 ], 474 next:= [ 623865, 623862 ] ), rec( 475 desc:= [ 105003 ], 476 fp:= [ 416, 614 ], 477 next:= [ 623870, 623872 ] ) ] ), rec( 478 fp:= [ 1262, 1528 ], 479 next:= [ rec( 480 desc:= [ 113011 ], 481 fp:= [ 18, 414 ], 482 next:= [ 639078, 639074 ] ), rec( 483 fp:= [ 4586, 57380 ], 484 level:= 5, 485 next:= [ 639096, 639086 ] ) ] ), rec( 486 fp:= [ 1295, 1428, 1448, 1469 ], 487 next:= [ rec( 488 desc:= [ 302008 ], 489 fp:= [ 38362, 38541 ], 490 next:= [ 648020, 648030 ] ), rec( 491 fp:= [ 19153, 33033 ], 492 level:= 5, 493 next:= [ 648029, 648045 ] ), rec( 494 desc:= [ 302007 ], 495 fp:= [ 38461, 48262 ], 496 next:= [ 648040, 648034 ] ), rec( 497 fp:= [ 3087, 72803 ], 498 level:= 5, 499 next:= [ 648022, 648044 ] ) ] ), rec( 500 fp:= [ 1211, 1245, 1519 ], 501 next:= [ rec( 502 desc:= [ 302006 ], 503 fp:= [ 49223, 56441 ], 504 next:= [ rec( 505 desc:= [ 210002 ], 506 fp:= [ 313, 412 ], 507 next:= [ 656811, 656824 ] ), 656817 ] ), rec( 508 desc:= [ 302006 ], 509 fp:= [ 38263, 49223 ], 510 next:= [ 656835, 656827 ] ), rec( 511 desc:= [ 106003 ], 512 fp:= [ 614, 812 ], 513 next:= [ 656815, 656834 ] ) ] ), rec( 514 fp:= [ 1500 ], 515 next:= [ rec( 516 fp:= [ 26859, 92827 ], 517 level:= 5, 518 next:= [ 665723, rec( 519 desc:= [ 302010 ], 520 fp:= [ 54583, 88921 ], 521 next:= [ 665712, 665732 ] ) ] ) ] ), rec( 522 fp:= [ 1205 ], 523 next:= [ rec( 524 desc:= [ 302007 ], 525 fp:= [ 38541, 42613 ], 526 next:= [ 692325, 692323 ] ) ] ), rec( 527 fp:= [ 1200, 1212, 1417, 1518 ], 528 next:= [ rec( 529 fp:= [ 782, 72477 ], 530 level:= 5, 531 next:= [ 701625, 701630 ] ), rec( 532 fp:= [ 26317, 65268 ], 533 level:= 5, 534 next:= [ rec( 535 desc:= [ 302007 ], 536 fp:= [ 384, 48361 ], 537 next:= [ 701633, 701632 ] ), 701639 ] ), rec( 538 fp:= [ 75383, 95888 ], 539 level:= 5, 540 next:= [ 701637, 701646 ] ), rec( 541 desc:= [ 302009 ], 542 fp:= [ 18463, 62443 ], 543 next:= [ 701621, 701640 ] ) ] ), rec( 544 fp:= [ 1202, 1227, 1242, 1289 ], 545 next:= [ rec( 546 fp:= [ 36748, 42840 ], 547 level:= 5, 548 next:= [ 710656, 710650 ] ), rec( 549 fp:= [ 1854, 73609 ], 550 level:= 5, 551 next:= [ 710652, 710647 ] ), rec( 552 desc:= [ 108003 ], 553 fp:= [ 12, 1012 ], 554 next:= [ 710660, 710649 ] ), rec( 555 fp:= [ 63538, 70792 ], 556 level:= 5, 557 next:= [ 710642, 710663 ] ) ] ), rec( 558 fp:= [ 1177, 1286, 1417 ], 559 next:= [ rec( 560 desc:= [ 302008 ], 561 fp:= [ 38362, 48521 ], 562 next:= [ 719882, 719893 ] ), rec( 563 fp:= [ 14013, 19587 ], 564 level:= 5, 565 next:= [ 719891, 719876 ] ), rec( 566 fp:= [ 20527, 79832 ], 567 level:= 5, 568 next:= [ rec( 569 desc:= [ 108003 ], 570 fp:= [ 414, 612 ], 571 next:= [ 719868, 719873 ] ), rec( 572 desc:= [ 107003 ], 573 fp:= [ 214, 412 ], 574 next:= [ 719872, 719890 ] ) ] ) ] ), rec( 575 fp:= [ 1230, 1438 ], 576 next:= [ rec( 577 desc:= [ 115011 ], 578 fp:= [ 4, 14 ], 579 next:= [ 738146, 738153 ] ), rec( 580 fp:= [ 24543, 61059 ], 581 level:= 5, 582 next:= [ 738144, 738149 ] ) ] ), rec( 583 fp:= [ 1421, 1446 ], 584 next:= [ rec( 585 desc:= [ 107003 ], 586 fp:= [ 416, 614 ], 587 next:= [ 747448, 747449 ] ), rec( 588 fp:= [ 36257, 69031 ], 589 level:= 5, 590 next:= [ 747466, 747444 ] ) ] ), rec( 591 fp:= [ 1259, 1260, 1499 ], 592 next:= [ rec( 593 desc:= [ 105003 ], 594 fp:= [ 814, 1012 ], 595 next:= [ 756445, 756452 ] ), rec( 596 desc:= [ 302008 ], 597 fp:= [ 34684, 73937, 90447 ], 598 next:= [ 756453, 756451, 756446 ] ), rec( 599 desc:= [ 302006 ], 600 fp:= [ 18364, 52543 ], 601 next:= [ 756468, 756470 ] ) ] ), rec( 602 fp:= [ 1292, 1483 ], 603 next:= [ rec( 604 fp:= [ 35845, 47258 ], 605 level:= 5, 606 next:= [ 765381, 765373 ] ), rec( 607 desc:= [ 107003 ], 608 fp:= [ 8, 612 ], 609 next:= [ 765393, 765390 ] ) ] ), rec( 610 fp:= [ 1239, 1528 ], 611 next:= [ rec( 612 desc:= [ 111011 ], 613 fp:= [ 8, 414 ], 614 next:= [ 783072, 783066 ] ), rec( 615 desc:= [ 106003 ], 616 fp:= [ 414, 612 ], 617 next:= [ 783073, 783090 ] ) ] ), rec( 618 fp:= [ 1197, 1490, 1506 ], 619 next:= [ rec( 620 fp:= [ 57636, 59126 ], 621 level:= 5, 622 next:= [ 792119, rec( 623 desc:= [ 106003 ], 624 fp:= [ 418, 616 ], 625 next:= [ 792103, 792100 ] ) ] ), rec( 626 desc:= [ 106003 ], 627 fp:= [ 614, 812 ], 628 next:= [ 792120, 792112 ] ), rec( 629 desc:= [ 106003 ], 630 fp:= [ 218, 416 ], 631 next:= [ 792123, 792115 ] ) ] ), rec( 632 fp:= [ 1139, 1144, 1156, 1420, 1510 ], 633 next:= [ rec( 634 fp:= [ 61177, 74502 ], 635 level:= 5, 636 next:= [ 800951, 800954 ] ), rec( 637 desc:= [ 108003 ], 638 fp:= [ 8, 612 ], 639 next:= [ 800942, 800936 ] ), rec( 640 fp:= [ 18040, 78226 ], 641 level:= 5, 642 next:= [ 800943, 800946 ] ), rec( 643 desc:= [ 108003 ], 644 fp:= [ 6, 412 ], 645 next:= [ 800934, 800964 ] ), rec( 646 fp:= [ 82146, 97308 ], 647 level:= 5, 648 next:= [ 800952, 800960 ] ) ] ), rec( 649 fp:= [ 1020, 1023, 1126 ], 650 next:= [ rec( 651 desc:= [ 104003 ], 652 fp:= [ 822, 1218 ], 653 next:= [ 807028, 807030 ] ), rec( 654 desc:= [ 104003 ], 655 fp:= [ 30, 822, 1218 ], 656 next:= [ 807032, 807029, 807027 ] ), rec( 657 desc:= [ 104003 ], 658 fp:= [ 418, 814 ], 659 next:= [ 807033, 807031 ] ) ] ), rec( 660 fp:= [ 1201, 1571, 1573 ], 661 next:= [ rec( 662 desc:= [ 114011 ], 663 fp:= [ 8, 414 ], 664 next:= [ 815389, 815405 ] ), rec( 665 desc:= [ 106003 ], 666 fp:= [ 2, 12 ], 667 next:= [ 815392, 815394 ] ), rec( 668 fp:= [ 62973, 74750 ], 669 level:= 5, 670 next:= [ 815398, rec( 671 desc:= [ 302009, 303010, 40307008 ], 672 fp:= [ 1, 1921 ], 673 next:= [ 815404, 815388 ] ) ] ) ] ), rec( 674 fp:= [ 1563, 1568, 1570 ], 675 next:= [ rec( 676 desc:= [ 302008 ], 677 fp:= [ 643, 74581 ], 678 next:= [ 824230, 824202 ] ), rec( 679 desc:= [ 302008 ], 680 fp:= [ 643, 74581 ], 681 next:= [ 824214, 824218 ] ), rec( 682 desc:= [ 302009, 215003 ], 683 fp:= [ 16, 214 ], 684 next:= [ 824228, 824212 ] ) ] ), rec( 685 fp:= [ 1401, 1403, 1405, 1420, 1510, 1579 ], 686 next:= [ rec( 687 desc:= [ 302009, 216002 ], 688 fp:= [ 10, 812 ], 689 next:= [ 830921, 830913 ] ), rec( 690 desc:= [ 108003 ], 691 fp:= [ 14, 212 ], 692 next:= [ 830928, 830914 ] ), rec( 693 desc:= [ 302011 ], 694 fp:= [ 73838, 80547, 90687 ], 695 next:= [ 830909, rec( 696 desc:= [ 212002 ], 697 fp:= [ 513, 711 ], 698 next:= [ 830924, 830938 ] ), 830911 ] ), rec( 699 desc:= [ 302011 ], 700 fp:= [ 926, 18316, 24883 ], 701 next:= [ 830933, 830908, rec( 702 desc:= [ 313017, 302009, 211002, 302012, 216002, 216003, 303017, 70340307010 ], 704 fp:= [ 1, 1921 ], 705 next:= [ 830926, 830934 ] ) ] ), rec( 706 desc:= [ 108003 ], 707 fp:= [ 4, 212 ], 708 next:= [ 830918, 830930 ] ), rec( 709 desc:= [ 107003, 302007, 302010, 212002, 302013, 40307008 ], 710 fp:= [ 1922, 96280 ], 711 next:= [ 830923, 830931 ] ) ] ), rec( 712 fp:= [ 1198, 1301, 1384, 1427, 1472, 1568 ], 713 next:= [ rec( 714 fp:= [ 12840, 51215 ], 715 level:= 5, 716 next:= [ 839229, 839233 ] ), rec( 717 desc:= [ 113011 ], 718 fp:= [ 4, 14 ], 719 next:= [ 839230, 839224 ] ), rec( 720 fp:= [ 11918, 97027 ], 721 level:= 5, 722 next:= [ 839218, 839234 ] ), rec( 723 desc:= [ 302009 ], 724 fp:= [ 80547, 90348 ], 725 next:= [ 839217, 839219 ] ), rec( 726 desc:= [ 107003 ], 727 fp:= [ 14, 212 ], 728 next:= [ 839245, 839235 ] ), rec( 729 desc:= [ 106003 ], 730 fp:= [ 2, 12 ], 731 next:= [ 839236, 839246 ] ) ] ), rec( 732 fp:= [ 1382, 1489 ], 733 next:= [ rec( 734 desc:= [ 112011 ], 735 fp:= [ 4, 14 ], 736 next:= [ 848268, 848281 ] ), rec( 737 desc:= [ 302005 ], 738 fp:= [ 483, 58261 ], 739 next:= [ 848291, 848293 ] ) ] ), rec( 740 fp:= [ 1508 ], 741 next:= [ rec( 742 desc:= [ 302006 ], 743 fp:= [ 483, 58261 ], 744 next:= [ 857284, 857304 ] ) ] ), rec( 745 fp:= [ 1405, 1559 ], 746 next:= [ rec( 747 desc:= [ 302009 ], 748 fp:= [ 544, 64681 ], 749 next:= [ 866570, 866564 ] ), rec( 750 desc:= [ 302009 ], 751 fp:= [ 54781, 64582 ], 752 next:= [ 866584, 866566 ] ) ] ), rec( 753 fp:= [ 1477 ], 754 next:= [ rec( 755 fp:= [ 17288, 50981 ], 756 level:= 5, 757 next:= [ 875841, 875831 ] ) ] ), rec( 758 fp:= [ 1289 ], 759 next:= [ rec( 760 desc:= [ 106003 ], 761 fp:= [ 416, 614 ], 762 next:= [ 884990, 885004 ] ) ] ), rec( 763 fp:= [ 1386, 1527 ], 764 next:= [ rec( 765 desc:= [ 106003 ], 766 fp:= [ 6, 412 ], 767 next:= [ 894264, 894261 ] ), rec( 768 desc:= [ 106003 ], 769 fp:= [ 6, 412 ], 770 next:= [ 894273, 894270 ] ) ] ), rec( 771 fp:= [ 1212, 1522 ], 772 next:= [ rec( 773 desc:= [ 107003 ], 774 fp:= [ 6, 412 ], 775 next:= [ 903519, 903515 ] ), rec( 776 desc:= [ 107003 ], 777 fp:= [ 4, 212 ], 778 next:= [ 903536, 903532 ] ) ] ), rec( 779 fp:= [ 1320, 1421, 1447, 1479 ], 780 next:= [ rec( 781 desc:= [ 106003 ], 782 fp:= [ 416, 614 ], 783 next:= [ 912678, 912684 ] ), rec( 784 fp:= [ 17288, 50981 ], 785 level:= 5, 786 next:= [ 912692, 912691 ] ), rec( 787 desc:= [ 107003 ], 788 fp:= [ 14, 212 ], 789 next:= [ 912695, 912681 ] ), rec( 790 desc:= [ 106003 ], 791 fp:= [ 4, 212 ], 792 next:= [ 912673, 912671 ] ) ] ), rec( 793 fp:= [ 1422 ], 794 next:= [ rec( 795 fp:= [ 17288, 50981 ], 796 level:= 5, 797 next:= [ 931042, 931026 ] ) ] ), rec( 798 fp:= [ 1569 ], 799 next:= [ rec( 800 desc:= [ 106003 ], 801 fp:= [ 2, 12 ], 802 next:= [ 940074, 940064 ] ) ] ), rec( 803 fp:= [ 1387, 1477 ], 804 next:= [ rec( 805 desc:= [ 302005 ], 806 fp:= [ 483, 58261 ], 807 next:= [ 949311, 949298 ] ), rec( 808 desc:= [ 105003 ], 809 fp:= [ 6, 412 ], 810 next:= [ 949325, 949320 ] ) ] ), rec( 811 fp:= [ 1162, 1440, 1481 ], 812 next:= [ rec( 813 desc:= [ 107003 ], 814 fp:= [ 4, 212 ], 815 next:= [ 967625, 967639 ] ), rec( 816 fp:= [ 71937, 89857 ], 817 level:= 5, 818 next:= [ 967642, rec( 819 desc:= [ 108003 ], 820 fp:= [ 2, 12 ], 821 next:= [ 967620, 967645 ] ) ] ), rec( 822 fp:= [ 94429, 96327 ], 823 level:= 5, 824 next:= [ 967638, 967640 ] ) ] ), rec( 825 fp:= [ 1408 ], 826 next:= [ rec( 827 fp:= [ 57641, 72803 ], 828 level:= 5, 829 next:= [ 976803, 976801 ] ) ] ), rec( 830 fp:= [ 1141 ], 831 next:= [ rec( 832 desc:= [ 302010 ], 833 fp:= [ 66171, 69022, 80448 ], 834 next:= [ 985895, 985897, 985903 ] ) ] ), rec( 835 fp:= [ 1530 ], 836 next:= [ rec( 837 desc:= [ 106003 ], 838 fp:= [ 6, 412 ], 839 next:= [ 994886, 994903 ] ) ] ), rec( 840 fp:= [ 1501 ], 841 next:= [ rec( 842 desc:= [ 302006 ], 843 fp:= [ 42544, 42723 ], 844 next:= [ 1003742, 1003752 ] ) ] ), rec( 845 fp:= [ 1095, 1156 ], 846 next:= [ rec( 847 fp:= [ 9369, 71327 ], 848 level:= 5, 849 next:= [ 1011143, 1011146 ] ), rec( 850 fp:= [ 33213, 42277 ], 851 level:= 5, 852 next:= [ 1011165, 1011144 ] ) ] ), rec( 853 fp:= [ 1037, 1097 ], 854 next:= [ rec( 855 desc:= [ 302005 ], 856 fp:= [ 38442, 55833 ], 857 next:= [ 1018203, 1018199 ] ), rec( 858 desc:= [ 302008 ], 859 fp:= [ 64822, 87127 ], 860 next:= [ 1018208, 1018197 ] ) ] ), rec( 861 fp:= [ 1025, 1177, 1184, 1241, 1245 ], 862 next:= [ rec( 863 fp:= [ 64501, 69093 ], 864 level:= 5, 865 next:= [ 1025987, 1025979 ] ), rec( 866 fp:= [ 2501, 47077 ], 867 level:= 5, 868 next:= [ 1025978, 1025985 ] ), rec( 869 fp:= [ 16837, 36813 ], 870 level:= 5, 871 next:= [ 1025990, 1025968 ] ), rec( 872 fp:= [ 42715, 42870 ], 873 level:= 5, 874 next:= [ 1025980, 1025974 ] ), rec( 875 fp:= [ 2648, 18148 ], 876 level:= 5, 877 next:= [ 1025977, 1025986 ] ) ] ), rec( 878 fp:= [ 2068 ], 879 next:= [ rec( 880 fp:= [ 8283, 62630 ], 881 level:= 5, 882 next:= [ 1048555, 1048561 ] ) ] ), rec( 883 fp:= [ 2092 ], 884 next:= [ rec( 885 desc:= [ 107003 ], 886 fp:= [ 14, 212 ], 887 next:= [ 1060265, 1060259 ] ) ] ), rec( 888 fp:= [ 2042 ], 889 next:= [ rec( 890 fp:= [ 27043, 50285 ], 891 level:= 5, 892 next:= [ 1066525, 1066513 ] ) ] ), rec( 893 fp:= [ 2008 ], 894 next:= [ rec( 895 fp:= [ 73594, 99644 ], 896 level:= 5, 897 next:= [ 1072950, 1072948 ] ) ] ), rec( 898 fp:= [ 2295, 2296 ], 899 next:= [ rec( 900 fp:= [ 3343, 94364 ], 901 level:= 5, 902 next:= [ 1083237, 1083238 ] ), rec( 903 fp:= [ 24495, 53265 ], 904 level:= 5, 905 next:= [ rec( 906 desc:= [ 302008 ], 907 fp:= [ 20502, 54637 ], 908 next:= [ 1083244, 1083226 ] ), 1083227 ] ) ] ) ] ); 909