1############################################################################# 2## 3#W id1296.z GAP library of id's Hans Ulrich Besche 4## 5 6ID_GROUP_TREE.next[1296]:= 7rec( 8 fp:= [ 200, 448, 665, 700, 1468, 1547, 1590, 1866, 1903, 2161, 2721, 2818, 92923, 3858, 3977, 4102, 4721, 4748, 5268, 5640, 6071, 6847, 6991, 7169, 7308, 107338, 7483, 7550, 7681, 8033, 8227, 8260, 8290, 8533, 8941, 8956, 9243, 9254, 119281, 9494, 9943, 10814, 10842, 10993, 11009, 11864, 12296, 12723, 13111, 1213253, 13267, 13338, 13361, 13469, 13687, 13823, 13928, 14033, 14131, 14257, 1314348, 14547, 14918, 14966, 15524, 15628, 15819, 16043, 16239, 16704, 16906, 1416928, 18077, 18187, 18523, 18895, 20030, 20450, 21031, 21461, 21549, 22085, 1522268, 22539, 23086, 23277, 23938, 24306, 24325, 24567, 24848, 25033, 25077, 1625345, 25489, 26264, 26409, 26645, 27229, 27549, 28189, 28328, 28527, 28557, 1728709, 28981, 29182, 29615, 29883, 30367, 30580, 30594, 30687, 30690, 31622, 1831812, 31911, 32042, 32045, 32290, 32349, 32370, 32409, 32705, 33112, 33117, 1934025, 34112, 34215, 34475, 35145, 35764, 36492, 36674, 36774, 37016, 37300, 2037414, 38396, 39635, 39777, 39880, 40054, 40077, 40215, 40339, 41001, 41348, 2141417, 41904, 41945, 42324, 42774, 42834, 42925, 43064, 43145, 43748, 43864, 2243900, 44559, 44756, 44954, 45623, 45673, 45736, 45876, 46437, 46480, 46682, 2346869, 46975, 47196, 47370, 47453, 47589, 48030, 48798, 48940, 49239, 49400, 2450005, 51687, 51835, 52011, 52595, 52682, 53689, 54144, 54669, 54940, 55000, 2555262, 55969, 56133, 56210, 56344, 56364, 56897, 57396, 58688, 58917, 59453, 2659596, 59703, 59865, 61084, 61240, 61589, 61689, 62063, 62313, 62606, 62807, 2762816, 62945, 63216, 63303, 63579, 63617, 63818, 63911, 64616, 64756, 64771, 2865060, 65453, 65761, 66296, 66515, 66731, 66835, 66859, 66995, 67200, 68440, 2968944, 69096, 69216, 69600, 69691, 69853, 69923, 70324, 70944, 71130, 71364, 3071520, 73401, 73438, 73502, 73951, 74098, 74251, 74376, 74707, 74761, 74954, 3175274, 75371, 75907, 75929, 76914, 77043, 77259, 77277, 77452, 77611, 78167, 3279239, 79401, 79438, 79532, 79540, 79590, 79667, 80530, 80640, 80739, 81027, 3381077, 81098, 81286, 81639, 81907, 81917, 82737, 82949, 83351, 83369, 83979, 3484188, 84532, 85086, 85131, 85590, 85672, 85691, 85895, 86167, 86177, 86530, 3586812, 87618, 87837, 88424, 88459, 88487, 88737, 89147, 89503, 89671, 90198, 3690777, 90798, 90818, 90922, 91241, 91256, 91672, 92260, 92362, 92578, 92722, 3793167, 93342, 93611, 93915, 94361, 94731, 95560, 95869, 96492, 96677, 96777, 3896849, 96951, 97039, 97050, 97103, 97498, 97694, 97979, 98146, 98258, 98320, 3998345, 98362, 98380, 98929, 99025, 99087 ], 40 next:= [ 3489, rec( 41 fp:= [ 54785, 79022 ], 42 level:= 5, 43 next:= [ 1844, 1843 ] ), rec( 44 fp:= [ 47530, 79566 ], 45 next:= [ rec( 46 fp:= [ 15892, 23334, 41261 ], 47 next:= [ rec( 48 fp:= [ 58483, 80257 ], 49 next:= [ rec( 50 desc:= [ 105003 ], 51 fp:= [ 2, 12 ], 52 next:= [ 306, 307 ] ), rec( 53 desc:= [ 105003 ], 54 fp:= [ 2, 12 ], 55 next:= [ 324, 325 ] ) ] ), rec( 56 fp:= [ 29054, 65455 ], 57 next:= [ 433, 436 ] ), rec( 58 fp:= [ 32437, 73390 ], 59 next:= [ 308, 326 ] ) ] ), rec( 60 fp:= [ 58113, 90238 ], 61 next:= [ rec( 62 fp:= [ 36570, 70259 ], 63 next:= [ 322, 304 ] ), rec( 64 fp:= [ 52101, 71402 ], 65 next:= [ 240, 255 ] ) ] ) ] ), rec( 66 fp:= [ 11161, 30413, 67542, 87915 ], 67 level:= 4, 68 next:= [ 452, 487, 90, rec( 69 desc:= [ 214004 ], 70 fp:= [ 2, 12 ], 71 next:= [ 91, 89 ] ) ] ), rec( 72 fp:= [ 2004, 8461, 11294, 13448, 16281, 17251, 23501, 23896, 28255, 7336827, 37222, 52095, 52490, 52885, 56316, 61303, 62273, 80913, 80925, 82894, 7485900, 85912, 92940, 93335, 93730, 96678 ], 75 level:= 4, 76 next:= [ 431, rec( 77 fp:= [ 81217, 86380, 89451, 89948 ], 78 next:= [ 1681, rec( 79 desc:= [ 116002 ], 80 fp:= [ 9, 613 ], 81 next:= [ 386, 1689 ] ), 402, 1691 ] ), rec( 82 fp:= [ 133, 21219 ], 83 next:= [ 1257, 1315 ] ), rec( 84 fp:= [ 16494, 58738, 59696, 63872 ], 85 next:= [ rec( 86 desc:= [ 115002 ], 87 fp:= [ 9, 613 ], 88 next:= [ 385, 1688 ] ), 401, 1690, 1680 ] ), rec( 89 fp:= [ 84590, 98684 ], 90 next:= [ 1317, 1259 ] ), rec( 91 fp:= [ 33438, 95479 ], 92 next:= [ 1314, 1256 ] ), rec( 93 fp:= [ 3070, 76617 ], 94 next:= [ 1305, 1247 ] ), rec( 95 fp:= [ 47310, 58014 ], 96 next:= [ 1307, 1249 ] ), rec( 97 fp:= [ 32446, 49941 ], 98 next:= [ 1312, 1254 ] ), rec( 99 fp:= [ 36199, 96236 ], 100 next:= [ 1248, 1306 ] ), rec( 101 fp:= [ 14349, 71664 ], 102 next:= [ 1304, 1246 ] ), 302, 301, 298, rec( 103 fp:= [ 9590, 75576 ], 104 next:= [ 1311, 1253 ] ), rec( 105 fp:= [ 24787, 84024 ], 106 next:= [ 1313, 1255 ] ), rec( 107 fp:= [ 34502, 90482 ], 108 next:= [ 1310, 1252 ] ), rec( 109 fp:= [ 21890, 29492, 31405, 91422 ], 110 next:= [ rec( 111 desc:= [ 114002 ], 112 fp:= [ 9, 613 ], 113 next:= [ 412, 1703 ] ), 428, 1695, 1705 ] ), 406, rec( 114 fp:= [ 16690, 91587 ], 115 next:= [ 1316, 1258 ] ), rec( 116 fp:= [ 43835, 48737, 60245, 92323 ], 117 next:= [ 427, 1704, 1694, rec( 118 desc:= [ 113002 ], 119 fp:= [ 9, 613 ], 120 next:= [ 411, 1702 ] ) ] ), 405, rec( 121 fp:= [ 7899, 57722, 87475, 96292 ], 122 next:= [ rec( 123 desc:= [ 113002 ], 124 fp:= [ 9, 613 ], 125 next:= [ 252, 1627 ] ), 1607, 1632, 292 ] ), rec( 126 fp:= [ 39410, 61116, 86719, 87168 ], 127 next:= [ 1606, rec( 128 desc:= [ 114002 ], 129 fp:= [ 9, 613 ], 130 next:= [ 251, 1626 ] ), 291, 1631 ] ), rec( 131 fp:= [ 46183, 55478, 65057, 67771 ], 132 next:= [ 288, 1603, 1628, rec( 133 desc:= [ 112002 ], 134 fp:= [ 9, 613 ], 135 next:= [ 248, 1623 ] ) ] ), 432 ] ), rec( 136 fp:= [ 63348, 72929, 73009 ], 137 next:= [ rec( 138 fp:= [ 658, 60981, 62349 ], 139 next:= [ 2721, rec( 140 fp:= [ 5096, 52175 ], 141 next:= [ 1553, 2840 ] ), 3296 ] ), rec( 142 fp:= [ 23885, 33294, 63378, 93462 ], 143 next:= [ 565, 566, 564, 563 ] ), rec( 144 fp:= [ 47877, 79334 ], 145 next:= [ 1568, 1556 ] ) ] ), rec( 146 fp:= [ 16264, 71231, 77214, 93578 ], 147 level:= 4, 148 next:= [ 3134, 3136, 3510, 3135 ] ), rec( 149 fp:= [ 1573, 74779 ], 150 level:= 4, 151 next:= [ 1504, 1497 ] ), rec( 152 fp:= [ 37861, 39234 ], 153 level:= 4, 154 next:= [ 743, 732 ] ), rec( 155 fp:= [ 18947, 46476, 66533 ], 156 level:= 4, 157 next:= [ rec( 158 fp:= [ 64800, 74023 ], 159 next:= [ 2941, 2942 ] ), rec( 160 fp:= [ 15294, 20863, 56684, 96314 ], 161 next:= [ 3018, rec( 162 desc:= [ 114002 ], 163 fp:= [ 3, 13 ], 164 next:= [ 1850, 3019 ] ), 1849, 3020 ] ), 1848 ] ), rec( 165 fp:= [ 60059, 97590 ], 166 level:= 4, 167 next:= [ rec( 168 fp:= [ 43162, 91656 ], 169 next:= [ 2090, 2089 ] ), rec( 170 fp:= [ 20069, 80084 ], 171 next:= [ 2088, 2087 ] ) ] ), 2, rec( 172 fp:= [ 7129, 90752 ], 173 level:= 4, 174 next:= [ 1886, 1795 ] ), rec( 175 fp:= [ 37861, 39234, 87385 ], 176 level:= 4, 177 next:= [ rec( 178 fp:= [ 11216, 25231, 81713, 82255 ], 179 next:= [ rec( 180 desc:= [ 111002 ], 181 fp:= [ 9, 613 ], 182 next:= [ 698, 2129 ] ), 691, 2116, 2128 ] ), rec( 183 fp:= [ 17828, 18645, 31673, 82317 ], 184 next:= [ 2114, 2115, 2119, 2118 ] ), 692 ] ), rec( 185 fp:= [ 23254, 37403, 42686, 60935, 68053 ], 186 level:= 4, 187 next:= [ 1827, 1820, 2923, 3002, rec( 188 fp:= [ 35815, 74395 ], 189 next:= [ 2993, 1821 ] ) ] ), rec( 190 fp:= [ 23011, 26260 ], 191 level:= 4, 192 next:= [ 3577, 3569 ] ), rec( 193 fp:= [ 27185, 39140, 42020, 67613, 80466 ], 194 level:= 4, 195 next:= [ 1991, 1992, rec( 196 fp:= [ 10891, 61367 ], 197 next:= [ 1987, 1976 ] ), rec( 198 fp:= [ 20515, 66660, 77346 ], 199 next:= [ 1975, rec( 200 desc:= [ 107003 ], 201 fp:= [ 2, 12 ], 202 next:= [ 1998, 1999 ] ), 1986 ] ), 1977 ] ), 663, 42, rec( 203 fp:= [ 6812, 43965 ], 204 next:= [ rec( 205 fp:= [ 5027, 6112, 18177, 56432, 67049, 84506 ], 206 next:= [ rec( 207 fp:= [ 16751, 55011, 79511, 85062 ], 208 next:= [ 2525, 2528, 2524, 2529 ] ), rec( 209 fp:= [ 25852, 37154 ], 210 next:= [ 2527, 2538 ] ), rec( 211 fp:= [ 79074, 94728 ], 212 next:= [ 2535, 2520 ] ), rec( 213 fp:= [ 27093, 35753 ], 214 next:= [ 2519, 2534 ] ), rec( 215 fp:= [ 67551, 93546 ], 216 next:= [ 2526, 2537 ] ), rec( 217 fp:= [ 21055, 64849, 71316, 92197 ], 218 next:= [ 2517, 2521, 2518, 2522 ] ) ] ), rec( 219 fp:= [ 26807, 98511 ], 220 next:= [ 3285, 3286 ] ) ] ), rec( 221 fp:= [ 47520, 79556 ], 222 next:= [ rec( 223 fp:= [ 1374, 16875, 26743, 42244, 48389, 70031, 74710, 95402 ], 224 next:= [ rec( 225 fp:= [ 19168, 29867 ], 226 next:= [ rec( 227 desc:= [ 106003 ], 228 fp:= [ 2, 12 ], 229 next:= [ 314, 315 ] ), rec( 230 desc:= [ 105003 ], 231 fp:= [ 2, 12 ], 232 next:= [ 1646, 1647 ] ) ] ), rec( 233 desc:= [ 106003 ], 234 fp:= [ 4, 212 ], 235 next:= [ 1329, 1328 ] ), rec( 236 fp:= [ 41007, 76124 ], 237 next:= [ 1649, 319 ] ), 1327, 2198, rec( 238 fp:= [ 54422, 55654 ], 239 next:= [ 434, 1709 ] ), 1326, 2209 ] ), rec( 240 fp:= [ 19985, 22274, 71296, 81269, 94837, 96739 ], 241 next:= [ rec( 242 fp:= [ 53717, 86173 ], 243 next:= [ 1609, 245 ] ), 2208, rec( 244 fp:= [ 24158, 24889 ], 245 next:= [ 1641, 310 ] ), 1263, 1262, 2196 ] ) ] ), rec( 246 fp:= [ 14472, 37861, 39234, 62623, 63996, 87385, 88758 ], 247 level:= 4, 248 next:= [ rec( 249 fp:= [ 27395, 68982 ], 250 next:= [ 730, 736 ] ), 734, rec( 251 fp:= [ 25866, 29315 ], 252 next:= [ 737, 728 ] ), rec( 253 fp:= [ 20846, 40138 ], 254 next:= [ 735, 744 ] ), 738, 733, 729 ] ), rec( 255 fp:= [ 38627, 49874 ], 256 level:= 4, 257 next:= [ 61, 62 ] ), rec( 258 fp:= [ 6392, 45426 ], 259 level:= 4, 260 next:= [ 57, 58 ] ), rec( 261 fp:= [ 85319, 85399, 97248 ], 262 next:= [ rec( 263 fp:= [ 17449, 33358, 59325, 75234 ], 264 next:= [ 591, 592, 593, 590 ] ), rec( 265 fp:= [ 18083, 55826, 78096, 86962 ], 266 next:= [ 1532, 1563, 1522, 1551 ] ), rec( 267 fp:= [ 33145, 50360, 54130, 68609, 72483, 94836, 99081 ], 268 next:= [ rec( 269 fp:= [ 32669, 95311 ], 270 next:= [ 2833, 1518 ] ), 3298, 3294, rec( 271 fp:= [ 44586, 47021 ], 272 next:= [ 2838, 1549 ] ), 2711, 3558, 2710 ] ) ] ), rec( 273 fp:= [ 1314, 3574, 5626, 6900, 9106, 11886, 15687, 19563, 23667, 27563, 27430239, 39760, 41708, 45604, 48176, 59622, 60373, 68373, 80466, 81358, 82518, 27584362, 84882, 87514, 89566, 92778, 94770, 98458, 98819 ], 276 level:= 4, 277 next:= [ 3431, 3264, 3207, 3481, 3565, 3396, 3595, 3244, 3209, 3391, 2783416, 3434, 3206, 3394, 3567, 3568, 3246, 3524, 3263, 3428, 3205, 3413, 3208, 2793410, 3387, 3566, 3596, 3474, 3245 ] ), rec( 280 fp:= [ 3560, 10337, 81363 ], 281 level:= 5, 282 next:= [ 3008, 3009, 3013 ] ), rec( 283 fp:= [ 32162, 40949 ], 284 level:= 4, 285 next:= [ 3284, 3540 ] ), 23,, rec( 286 fp:= [ 4295, 96814 ], 287 next:= [ rec( 288 fp:= [ 70301, 98303 ], 289 next:= [ rec( 290 fp:= [ 61732, 89982 ], 291 next:= [ 2091, 3276 ] ), rec( 292 fp:= [ 18116, 44687 ], 293 next:= [ 3277, 2092 ] ) ] ), rec( 294 fp:= [ 4491, 68249, 86697, 90596 ], 295 next:= [ 2083, 2080, 2082, 2081 ] ) ] ), rec( 296 fp:= [ 12117, 15825, 20812, 26271, 59209, 78840 ], 297 level:= 4, 298 next:= [ rec( 299 fp:= [ 5176, 33380, 34593, 46039 ], 300 next:= [ 678, 2120, rec( 301 desc:= [ 112002 ], 302 fp:= [ 9, 613 ], 303 next:= [ 694, 2121 ] ), 2104 ] ), rec( 304 fp:= [ 15033, 18997, 29868, 74868 ], 305 next:= [ 2110, 2103, 2111, 2102 ] ), rec( 306 fp:= [ 122, 71134, 74932, 92088 ], 307 next:= [ 2108, 2098, 2109, 2099 ] ), 681, 679, rec( 308 fp:= [ 60885, 66484, 67186, 68682 ], 309 next:= [ 2105, 2122, 680, rec( 310 desc:= [ 113002 ], 311 fp:= [ 9, 613 ], 312 next:= [ 696, 2123 ] ) ] ) ] ), 631, rec( 313 fp:= [ 85319, 85399, 97248 ], 314 next:= [ rec( 315 fp:= [ 5174, 8056, 10938, 13820, 24450, 40991, 43726, 57385, 71044, 31682551, 84703, 99092 ], 317 next:= [ 628, 626, 627, 629, 619, 618, 610, 608, 609, 617, 611, 318620 ] ), rec( 319 fp:= [ 3882, 9540, 12327, 17871, 21337, 31887, 35326, 47924, 54234, 32065379, 69179, 86088, 89641, 91526 ], 321 next:= [ 1534, 1526, 1579, 1596, 1535, 1524, 1595, 1584, 1525, 1583, 3221592, 1536, 1580, 1591 ] ), rec( 323 fp:= [ 1618, 20034, 30525, 31997, 50930, 52872, 59999, 71231, 73277, 32475219, 78932, 88001, 91693, 99233 ], 325 next:= [ 2715, rec( 326 fp:= [ 58693, 69212 ], 327 next:= [ 1578, 2844 ] ), 2719, rec( 328 fp:= [ 40561, 59735 ], 329 next:= [ 1517, 2837 ] ), 2720, 2716, rec( 330 fp:= [ 131, 80471 ], 331 next:= [ 1520, 2835 ] ), rec( 332 fp:= [ 178, 99578 ], 333 next:= [ 2847, 1589 ] ), 2717, 2714, 2718, rec( 334 fp:= [ 79949, 94432 ], 335 next:= [ 1521, 2836 ] ), rec( 336 fp:= [ 50586, 80659 ], 337 next:= [ 2845, 1577 ] ), rec( 338 fp:= [ 73223, 77450 ], 339 next:= [ 1590, 2846 ] ) ] ) ] ), 51, rec( 340 fp:= [ 43595, 49769 ], 341 level:= 5, 342 next:= [ 690, 2112 ] ), rec( 343 fp:= [ 65058, 81096 ], 344 level:= 4, 345 next:= [ 3557, 3604 ] ), rec( 346 fp:= [ 21621, 31641 ], 347 next:= [ rec( 348 fp:= [ 183, 1988, 6261, 6373, 6704, 10310, 28185, 32946, 45150, 51243, 34951671, 59531, 61398, 69596, 73152, 74920, 80168, 82738, 86216, 87815 ], 350 next:= [ 3167, 3516, 3154, 3158, 3171, 3517, 3165, 3155, 3166, 3518, 3513170, 3152, 3172, 3160, 3164, 3515, 3519, 3514, 3153, 3159 ] ), rec( 352 fp:= [ 2004, 7609, 8461, 8809, 12596, 13448, 13796, 22687, 23082, 35323200, 23477, 28187, 30179, 35166, 38965, 43952, 44693, 49680, 52095, 52490, 35452885, 58240, 63227, 63532, 63927, 64197, 64322, 68214, 69184, 70033, 70428, 35570823, 71890, 76877, 80913, 80925, 81216, 82416, 84247, 84642, 85037, 85900, 35685912, 86203, 87403, 92940, 93335, 93730, 96678 ], 357 next:= [ 547, rec( 358 fp:= [ 33026, 82050 ], 359 next:= [ 167, 168 ] ), 532, rec( 360 fp:= [ 35978, 98136 ], 361 next:= [ 174, 170 ] ), rec( 362 fp:= [ 55812, 84304 ], 363 next:= [ 171, 172 ] ), 531, rec( 364 fp:= [ 23682, 79673 ], 365 next:= [ 177, 176 ] ), 465, 464, 550, 461, 549, rec( 366 fp:= [ 53914, 68834 ], 367 next:= [ 138, 134 ] ), rec( 368 fp:= [ 34900, 37815 ], 369 next:= [ 140, 141 ] ), 544, 543, 530, 529, 475, 474, 471, 133, rec( 370 desc:= [ 212005 ], 371 fp:= [ 2, 12 ], 372 next:= [ 139, 137 ] ), 480, 479, rec( 373 fp:= [ 26993, 72264 ], 374 next:= [ 131, 132 ] ), 476, 142, rec( 375 fp:= [ 31713, 63629 ], 376 next:= [ 136, 135 ] ), 151, rec( 377 desc:= [ 212005 ], 378 fp:= [ 2, 12 ], 379 next:= [ 157, 155 ] ), 160, 536, 535, 546, 534, rec( 380 fp:= [ 4662, 5238 ], 381 next:= [ 149, 150 ] ), rec( 382 fp:= [ 23909, 52361 ], 383 next:= [ 152, 156 ] ), 169, rec( 384 desc:= [ 214005 ], 385 fp:= [ 2, 12 ], 386 next:= [ 175, 173 ] ), 178, 545, 533, rec( 387 fp:= [ 9496, 67096 ], 388 next:= [ 153, 154 ] ), rec( 389 fp:= [ 47294, 70836 ], 390 next:= [ 158, 159 ] ), 470, 469, 466, 548 ] ) ] ), 20, rec( 391 fp:= [ 527, 2138, 6344, 12213, 27683, 28279, 29251, 29580, 40585, 50134, 39258040, 67542, 75368, 78962, 80028, 87915 ], 393 level:= 4, 394 next:= [ 1365, 1941, 2224, 1351, 1352, 1716, 1725, 1940, 2216, 1350, 3951366, 1454, 1349, 2967, 2897, 1449 ] ), 2084, rec( 396 fp:= [ 7401, 75052, 91057 ], 397 level:= 4, 398 next:= [ 27, 25, 26 ] ), 1867, rec( 399 fp:= [ 443, 41363, 74014, 79452 ], 400 level:= 4, 401 next:= [ 1781, 1780, 1828, 1829 ] ), rec( 402 fp:= [ 32952, 38609, 58666, 58914, 79899 ], 403 level:= 4, 404 next:= [ 1853, rec( 405 fp:= [ 24221, 46058 ], 406 next:= [ 3021, 1851 ] ), 1852, 3022, 2943 ] ), rec( 407 fp:= [ 85338, 97451 ], 408 level:= 5, 409 next:= [ 687, 686 ] ), rec( 410 fp:= [ 27674, 27684 ], 411 next:= [ rec( 412 fp:= [ 19011, 71098 ], 413 next:= [ 2883, 2882 ] ), 2885 ] ), rec( 414 fp:= [ 63684, 75551 ], 415 next:= [ rec( 416 fp:= [ 30732, 46167, 91359 ], 417 next:= [ 14, 19, rec( 418 desc:= [ 104003 ], 419 fp:= [ 2, 12 ], 420 next:= [ 12, 13 ] ) ] ), rec( 421 fp:= [ 68506, 78544 ], 422 next:= [ 6, 10 ] ) ] ), rec( 423 fp:= [ 9325, 14224, 20745, 22687, 22693, 23082, 23477, 24185, 36571, 42438965, 41150, 42226, 43092, 43155, 43952, 44674, 44693, 49680, 52982, 64573, 42569152, 75439, 77387, 80984, 89641, 95844, 97786, 97849, 99368 ], 426 level:= 4, 427 next:= [ 2753, rec( 428 fp:= [ 1533, 17706 ], 429 next:= [ 1297, 2741 ] ), rec( 430 fp:= [ 46491, 60724 ], 431 next:= [ 1295, 2738 ] ), 282, rec( 432 fp:= [ 60860, 83238 ], 433 next:= [ 1699, 2862 ] ), 281, 278, rec( 434 fp:= [ 45538, 56732 ], 435 next:= [ 2739, 1278 ] ), rec( 436 fp:= [ 49920, 50086 ], 437 next:= [ 1291, 2735 ] ), 424, rec( 438 fp:= [ 18900, 20425 ], 439 next:= [ 2740, 1279 ] ), rec( 440 fp:= [ 31189, 68244 ], 441 next:= [ 2736, 1294 ] ), rec( 442 fp:= [ 6804, 87463 ], 443 next:= [ 2733, 1289 ] ), rec( 444 fp:= [ 10783, 95270 ], 445 next:= [ 1685, 2860 ] ), 423, rec( 446 fp:= [ 994, 26144 ], 447 next:= [ 1616, 2851 ] ), 398, 397, 2755, rec( 448 fp:= [ 9843, 43497 ], 449 next:= [ 2732, 1288 ] ), rec( 450 fp:= [ 64658, 86944 ], 451 next:= [ 2734, 1281 ] ), rec( 452 fp:= [ 50100, 57179 ], 453 next:= [ 1298, 2742 ] ), rec( 454 fp:= [ 80505, 83804 ], 455 next:= [ 1698, 2863 ] ), 2754, rec( 456 fp:= [ 11785, 94216 ], 457 next:= [ 1617, 2852 ] ), rec( 458 fp:= [ 68857, 76598 ], 459 next:= [ 2743, 1283 ] ), rec( 460 fp:= [ 6598, 8088 ], 461 next:= [ 2737, 1292 ] ), rec( 462 fp:= [ 25385, 63955 ], 463 next:= [ 2861, 1684 ] ), rec( 464 fp:= [ 19347, 42108 ], 465 next:= [ 2853, 1613 ] ) ] ), rec( 466 fp:= [ 39234, 88758 ], 467 level:= 4, 468 next:= [ rec( 469 fp:= [ 4181, 10377, 61945, 74103 ], 470 next:= [ 773, rec( 471 desc:= [ 113002 ], 472 fp:= [ 3, 13 ], 473 next:= [ 774, 2185 ] ), 2186, 2184 ] ), 772 ] ), rec( 474 fp:= [ 44031, 44670, 51669, 58650, 98754, 99324 ], 475 level:= 4, 476 next:= [ 898, 1191, 896, 893, 1140, 824 ] ), rec( 477 fp:= [ 1890, 7626, 12599, 54641, 76285 ], 478 level:= 4, 479 next:= [ 880, 1136, 1189, 810, rec( 480 desc:= [ 214004 ], 481 fp:= [ 4, 14 ], 482 next:= [ 884, 879 ] ) ] ), rec( 483 fp:= [ 26439, 46778 ], 484 level:= 4, 485 next:= [ rec( 486 fp:= [ 47807, 97979 ], 487 next:= [ 672, 673 ] ), rec( 488 fp:= [ 20410, 75181 ], 489 next:= [ 668, 669 ] ) ] ), rec( 490 fp:= [ 33294, 40736, 48178 ], 491 level:= 4, 492 next:= [ 1219, 1228, 1210 ] ), rec( 493 fp:= [ 3467, 9050, 13142, 19767, 25418, 81634 ], 494 level:= 4, 495 next:= [ 1187, 1132, 873, 870, 797, 1856 ] ), rec( 496 fp:= [ 15896, 74658 ], 497 level:= 4, 498 next:= [ 3282, 3283 ] ), 1924,, 48, rec( 499 fp:= [ 26743, 42244, 53066, 70031, 74710, 95402 ], 500 level:= 4, 501 next:= [ rec( 502 fp:= [ 7937, 18457 ], 503 next:= [ 2604, 1007 ] ), 2303, 2250, rec( 504 fp:= [ 1383, 24917 ], 505 next:= [ 1107, 2656 ] ), 2300, 3025 ] ), 1921, rec( 506 fp:= [ 72919, 72929, 73009, 76318, 85319, 85399 ], 507 next:= [ rec( 508 fp:= [ 32374, 33294, 40736, 63378 ], 509 next:= [ 568, 578, 569, 577 ] ), rec( 510 fp:= [ 51686, 71389 ], 511 next:= [ 580, 571 ] ), rec( 512 fp:= [ 6051, 16873, 47877 ], 513 next:= [ 1548, 1598, rec( 514 desc:= [ 105003 ], 515 fp:= [ 2, 12 ], 516 next:= [ 1545, 1546 ] ) ] ), rec( 517 fp:= [ 17449, 59325 ], 518 next:= [ 595, 596 ] ), 598, rec( 519 fp:= [ 18083, 55826 ], 520 next:= [ 1513, 1540 ] ) ] ), rec( 521 fp:= [ 22803, 24482, 47150, 64330, 75449, 77640 ], 522 level:= 4, 523 next:= [ 2218, 1421, 1944, 1482, 1727, 1422 ] ), rec( 524 fp:= [ 7835, 87157 ], 525 level:= 4, 526 next:= [ rec( 527 fp:= [ 72658, 88454 ], 528 next:= [ 2096, 676 ] ), rec( 529 fp:= [ 40321, 41519 ], 530 next:= [ 2100, 677 ] ) ] ), rec( 531 fp:= [ 3387, 37321, 70706 ], 532 level:= 5, 533 next:= [ 2161, 2157, 2156 ] ), rec( 534 fp:= [ 7929, 42686, 44738, 67091, 84366 ], 535 level:= 4, 536 next:= [ 1825, 3548, rec( 537 fp:= [ 27862, 48150 ], 538 next:= [ 3546, 2919 ] ), rec( 539 fp:= [ 2093, 45959, 62862 ], 540 next:= [ 2997, 3588, 3003 ] ), rec( 541 fp:= [ 35509, 46588 ], 542 next:= [ 2924, 3547 ] ) ] ), rec( 543 fp:= [ 38422, 74125 ], 544 level:= 4, 545 next:= [ 1859, 1916 ] ), rec( 546 fp:= [ 4448, 35958, 45029 ], 547 next:= [ rec( 548 fp:= [ 639, 12710 ], 549 next:= [ 50, 49 ] ), 52, 636 ] ), rec( 550 fp:= [ 26597, 81654 ], 551 level:= 4, 552 next:= [ 1857, 1914 ] ), rec( 553 fp:= [ 10383, 11207 ], 554 level:= 4, 555 next:= [ 329, 263 ] ), rec( 556 fp:= [ 12034, 42684, 48082, 94913 ], 557 level:= 4, 558 next:= [ 688, rec( 559 fp:= [ 50121, 64573 ], 560 next:= [ 689, 2113 ] ), 2130, 699 ] ), rec( 561 fp:= [ 76318, 85319, 85399 ], 562 next:= [ rec( 563 fp:= [ 10938, 13820, 40991, 71044, 84703, 99092 ], 564 next:= [ 622, 623, 613, 604, 605, 614 ] ), rec( 565 fp:= [ 23451, 72007, 74556 ], 566 next:= [ 616, 607, 625 ] ), rec( 567 fp:= [ 3882, 17871, 21337, 35326, 47924, 65379, 86088 ], 568 next:= [ 1514, 1588, 1515, 1587, 1576, 1575, 1516 ] ) ] ),, rec( 569 fp:= [ 69247, 79566 ], 570 next:= [ 223, rec( 571 fp:= [ 12980, 27369, 33319, 42130, 47708, 62469, 82808 ], 572 next:= [ rec( 573 fp:= [ 14245, 59688 ], 574 next:= [ 382, 388 ] ), rec( 575 fp:= [ 14442, 63625 ], 576 next:= [ 414, 408 ] ), rec( 577 fp:= [ 8825, 29094 ], 578 next:= [ 387, 381 ] ), rec( 579 fp:= [ 5332, 5658 ], 580 next:= [ 242, 257 ] ), rec( 581 fp:= [ 51300, 97891 ], 582 next:= [ 413, 407 ] ), rec( 583 fp:= [ 2076, 33810 ], 584 next:= [ 256, 241 ] ), rec( 585 fp:= [ 13821, 31916 ], 586 next:= [ 238, 253 ] ) ] ) ] ), rec( 587 fp:= [ 15459, 19563, 35864, 35988, 38020, 39760, 56061, 56269, 58009, 58875202, 76466, 77254, 79990, 92769, 94819 ], 589 level:= 4, 590 next:= [ 3186, 3564, 3188, 1120, rec( 591 fp:= [ 5221, 80595 ], 592 next:= [ 2319, 3359 ] ), 3594, rec( 593 fp:= [ 26108, 59412 ], 594 next:= [ 3357, 2323 ] ), 3187, rec( 595 fp:= [ 49441, 98812 ], 596 next:= [ 2659, 3471 ] ), 3370, rec( 597 fp:= [ 53390, 57910 ], 598 next:= [ 3354, 2314 ] ), rec( 599 fp:= [ 12469, 81319 ], 600 next:= [ 2269, 3350 ] ), rec( 601 fp:= [ 18260, 54889 ], 602 next:= [ 2609, 3464 ] ), 1034, 3372 ] ), rec( 603 fp:= [ 23011, 33812, 41364 ], 604 level:= 4, 605 next:= [ 3178, 3132, 3133 ] ), rec( 606 fp:= [ 19774, 31641 ], 607 next:= [ rec( 608 fp:= [ 40651, 44031, 44670, 51669, 58650, 93227, 98754 ], 609 next:= [ rec( 610 desc:= [ 104003 ], 611 fp:= [ 2, 12 ], 612 next:= [ 496, 497 ] ), 197, 553, 196, 195, rec( 613 desc:= [ 105003 ], 614 fp:= [ 2, 12 ], 615 next:= [ rec( 616 desc:= [ 106003 ], 617 fp:= [ 2, 12 ], 618 next:= [ 193, 192 ] ), 194 ] ), 498 ] ), rec( 619 fp:= [ 7987, 13054, 20027, 66287, 88535 ], 620 next:= [ 116, 494, 458, 110, 111 ] ) ] ), rec( 621 fp:= [ 19764, 31631 ], 622 next:= [ rec( 623 fp:= [ 3467, 9050, 13142, 19767, 74124, 81634, 89967, 94059 ], 624 next:= [ 551, 486, 181, 180, 787, 790, rec( 625 desc:= [ 104003 ], 626 fp:= [ 2, 12 ], 627 next:= [ 484, 485 ] ), rec( 628 desc:= [ 105003 ], 629 fp:= [ 4, 212 ], 630 next:= [ 183, 182 ] ) ] ), rec( 631 fp:= [ 3439, 31821, 37864, 50033, 52218, 98532 ], 632 next:= [ 482, 789, 81, 80, 785, 448 ] ) ] ), rec( 633 fp:= [ 3855, 61546, 69977, 79899 ], 634 level:= 4, 635 next:= [ rec( 636 fp:= [ 19485, 28194 ], 637 next:= [ 3024, 3592 ] ), rec( 638 fp:= [ 19316, 63139 ], 639 next:= [ 3555, 2945 ] ), 1855, 3556 ] ), rec( 640 fp:= [ 29619, 44738, 48842, 67091, 67600, 72119, 84366 ], 641 level:= 4, 642 next:= [ rec( 643 fp:= [ 56525, 68969 ], 644 next:= [ 2940, 2928 ] ), 2926, rec( 645 fp:= [ 41598, 51197, 67472 ], 646 next:= [ 2938, 2931, 2933 ] ), rec( 647 fp:= [ 47847, 86998 ], 648 next:= [ 3005, 3007 ] ), 2936, 2937, 2934 ] ), rec( 649 fp:= [ 53647, 68907 ], 650 next:= [ rec( 651 fp:= [ 1374, 13407, 21001, 26743, 30693, 48389, 60981, 62349, 63764, 65268278, 70031, 71999, 73834, 81966, 94819, 95402, 97368 ], 653 next:= [ rec( 654 fp:= [ 1457, 30113 ], 655 next:= [ rec( 656 desc:= [ 105003 ], 657 fp:= [ 2, 12 ], 658 next:= [ 1676, 1677 ] ), rec( 659 desc:= [ 106003 ], 660 fp:= [ 2, 12 ], 661 next:= [ 362, 363 ] ) ] ), 1711, rec( 662 desc:= [ 107003 ], 663 fp:= [ 2, 12 ], 664 next:= [ 350, 351 ] ), rec( 665 fp:= [ 48421, 79986 ], 666 next:= [ 367, 1679 ] ), 355, 2206, rec( 667 desc:= [ 105003 ], 668 fp:= [ 2, 12 ], 669 next:= [ 1658, 1659 ] ), 2202, 444, 440, rec( 670 fp:= [ 62592, 80506 ], 671 next:= [ 1714, 442 ] ), rec( 672 desc:= [ 106003 ], 673 fp:= [ 2, 12 ], 674 next:= [ 374, 375 ] ), 1661, rec( 675 desc:= [ 104002, 113007, 113011, 213005 ], 676 fp:= [ 40, 3614 ], 677 next:= [ 1336, 1334 ] ), rec( 678 fp:= [ 7689, 44075 ], 679 next:= [ rec( 680 desc:= [ 213005 ], 681 fp:= [ 16, 422 ], 682 next:= [ 1339, 1341 ] ), 2212 ] ), 2215, 379 ] ), rec( 683 fp:= [ 19985, 22274, 33145, 34863, 37057, 50360, 54130, 68609, 71296, 68478801, 96739, 97662 ], 685 next:= [ rec( 686 fp:= [ 15250, 58042 ], 687 next:= [ 285, 1634 ] ), 2214, 1619, 275, 346, 2211, rec( 688 fp:= [ 6425, 97250 ], 689 next:= [ rec( 690 desc:= [ 214005 ], 691 fp:= [ 8, 216 ], 692 next:= [ 1276, 1287 ] ), 2200 ] ), 1653, rec( 693 fp:= [ 20549, 61536 ], 694 next:= [ 1671, 358 ] ), 295, 2204, 370 ] ) ] ), rec( 695 fp:= [ 53637, 68897 ], 696 next:= [ rec( 697 fp:= [ 5922, 7290, 19563, 35988, 38020, 39760, 56061, 58009, 63613, 69876466, 79990, 80814, 81966, 85966, 92769, 94819 ], 699 next:= [ rec( 700 fp:= [ 57004, 92435 ], 701 next:= [ rec( 702 desc:= [ 106003 ], 703 fp:= [ 2, 12 ], 704 next:= [ 1655, 1656 ] ), rec( 705 desc:= [ 105003 ], 706 fp:= [ 2, 12 ], 707 next:= [ 2857, 2858 ] ) ] ), 3304, 3100, 441, rec( 708 fp:= [ 34234, 42687 ], 709 next:= [ 1338, 2747 ] ), 3307, rec( 710 fp:= [ 26902, 86572 ], 711 next:= [ 2745, 1340 ] ), rec( 712 fp:= [ 28163, 63108 ], 713 next:= [ 2864, 1710 ] ), rec( 714 fp:= [ 60297, 63810 ], 715 next:= [ rec( 716 desc:= [ 117007 ], 717 fp:= [ 32, 2814 ], 718 next:= [ 1333, rec( 719 desc:= [ 108003 ], 720 fp:= [ 2, 12 ], 721 next:= [ 1332, 1335 ] ) ] ), rec( 722 desc:= [ 112007 ], 723 fp:= [ 52, 4814 ], 724 next:= [ rec( 725 desc:= [ 107003 ], 726 fp:= [ 2, 12 ], 727 next:= [ 2749, 2750 ] ), 2748 ] ) ] ), rec( 728 fp:= [ 32515, 49272 ], 729 next:= [ 1337, 2746 ] ), rec( 730 fp:= [ 85459, 96024 ], 731 next:= [ 1660, 2859 ] ), rec( 732 desc:= [ 106003 ], 733 fp:= [ 2, 12 ], 734 next:= [ 353, 354 ] ), 2758, 3101, 356, 2757 ] ), rec( 735 fp:= [ 13550, 25877, 27555, 35777, 37187, 40569, 54130, 55644, 62375, 73694962, 97614, 98732 ], 737 next:= [ rec( 738 fp:= [ 62659, 93621 ], 739 next:= [ 2855, 1651 ] ), 3104, 348, rec( 740 fp:= [ 15654, 86322 ], 741 next:= [ 2730, 1274 ] ), 3105, 280, 2752, rec( 742 fp:= [ 60028, 91046 ], 743 next:= [ 2731, 1275 ] ), rec( 744 fp:= [ 32353, 66635 ], 745 next:= [ 1286, 2729 ] ), 3306, rec( 746 fp:= [ 68276, 92193 ], 747 next:= [ 2850, 1615 ] ), 3302 ] ) ] ), 633, rec( 748 fp:= [ 394, 7836, 15892, 41261, 48703, 66630, 74686, 82128 ], 749 level:= 4, 750 next:= [ rec( 751 fp:= [ 20765, 46739 ], 752 next:= [ 1080, 1086 ] ), rec( 753 fp:= [ 59152, 76135 ], 754 next:= [ 1059, 1053 ] ), rec( 755 fp:= [ 58483, 80257 ], 756 next:= [ 1001, 1013 ] ), rec( 757 fp:= [ 59401, 63307 ], 758 next:= [ 1016, 1004 ] ), rec( 759 fp:= [ 19263, 71567 ], 760 next:= [ 1106, 1112 ] ), rec( 761 fp:= [ 50269, 65907 ], 762 next:= [ 1003, 1015 ] ), rec( 763 fp:= [ 14673, 45102 ], 764 next:= [ 1079, 1085 ] ), rec( 765 fp:= [ 65115, 84306 ], 766 next:= [ 1054, 1060 ] ) ] ), rec( 767 fp:= [ 56600, 59307, 64631, 74422, 75702, 77526, 79910 ], 768 level:= 4, 769 next:= [ rec( 770 fp:= [ 771264610043361190987188466121084230057112903261795566263330326743614008800771568\ 7726159, 773264610043361850589350836236947818713988259363384429769649427416829366362226396\ 7745455 ], 775 func:= 11, 776 next:= [ 3522, 3521 ], 777 pos:= [ 7, 8 ] ), 3177, 3520, 3523, 3175, 3176, 3509 ] ), 3275, rec( 778 fp:= [ 5045, 29833, 30416, 48082, 74056, 94913 ], 779 level:= 4, 780 next:= [ rec( 781 fp:= [ 46772, 87168 ], 782 next:= [ 2187, 775 ] ), 2915, 2914, 2188, 776, 777 ] ), rec( 783 fp:= [ 58185, 58275, 59194, 68275 ], 784 next:= [ rec( 785 fp:= [ 19011, 32374, 63378, 71098 ], 786 next:= [ 1756, rec( 787 fp:= [ 1554, 89811 ], 788 next:= [ 1754, 1753 ] ), rec( 789 fp:= [ 21919, 99644 ], 790 next:= [ 1757, 1758 ] ), 1752 ] ), rec( 791 fp:= [ 31760, 71782, 79334 ], 792 next:= [ 2832, 2827, rec( 793 desc:= [ 105003 ], 794 fp:= [ 2, 12 ], 795 next:= [ 2825, 2826 ] ) ] ), rec( 796 fp:= [ 17449, 26639 ], 797 next:= [ rec( 798 fp:= [ 13770, 56276 ], 799 next:= [ 1766, 1765 ] ), 1764 ] ), rec( 800 fp:= [ 78096, 86962 ], 801 next:= [ 2818, 2823 ] ) ] ), rec( 802 fp:= [ 23011, 32888, 35864 ], 803 level:= 4, 804 next:= [ rec( 805 fp:= [ 35832, 53899 ], 806 next:= [ 1994, 1962 ] ), 1995, 1963 ] ), 59, 2689, rec( 807 fp:= [ 38670, 56125, 73580, 94166 ], 808 level:= 4, 809 next:= [ 1958, 1957, 1956, 2899 ] ), 2884, rec( 810 fp:= [ 5027, 56432, 67049, 84506 ], 811 level:= 4, 812 next:= [ 2523, 2533, 2536, 2516 ] ), rec( 813 fp:= [ 418, 1374, 5099, 11240, 11464, 16651, 16875, 26743, 32884, 36833, 81448387, 52112, 53066, 58477, 69299, 73756, 74710, 79391, 94668, 94892, 95400 ], 815 level:= 4, 816 next:= [ rec( 817 fp:= [ 78304, 91246 ], 818 next:= [ 2305, 2311 ] ), rec( 819 fp:= [ 19168, 29867 ], 820 next:= [ 1005, 2600 ] ), rec( 821 fp:= [ 15392, 80827 ], 822 next:= [ 1082, 2644 ] ), 2252, 2240, 2310, 2306, rec( 823 fp:= [ 19423, 93433 ], 824 next:= [ 1009, 2606 ] ), 2304, 2245, rec( 825 fp:= [ 12534, 98194 ], 826 next:= [ 2630, 1056 ] ), rec( 827 fp:= [ 14192, 21762 ], 828 next:= [ 1008, 2605 ] ), rec( 829 fp:= [ 61429, 84574 ], 830 next:= [ 2242, 2244 ] ), 2301, 2241, rec( 831 fp:= [ 54598, 59282 ], 832 next:= [ 1055, 2629 ] ), 2302, rec( 833 fp:= [ 74735, 97656 ], 834 next:= [ 2643, 1081 ] ), 2251, 2243, rec( 835 fp:= [ 49032, 89116 ], 836 next:= [ 2658, 1109 ] ) ] ), rec( 837 fp:= [ 22029, 50031, 66568, 93688 ], 838 level:= 4, 839 next:= [ 1959, 1960, 2900, 1961 ] ), rec( 840 fp:= [ 32460, 75411 ], 841 level:= 4, 842 next:= [ 967, 982 ] ), 60, rec( 843 fp:= [ 82145, 97356 ], 844 level:= 5, 845 next:= [ 2093, 2094 ] ), rec( 846 fp:= [ 4658, 17511, 23011, 35864, 67613, 96767 ], 847 level:= 4, 848 next:= [ 3139, 3137, 3145, 3144, rec( 849 desc:= [ 107003 ], 850 fp:= [ 2, 12 ], 851 next:= [ 3179, 3180 ] ), 3138 ] ), rec( 852 fp:= [ 15463, 95965 ], 853 level:= 4, 854 next:= [ 708, 712 ] ), rec( 855 fp:= [ 5262, 38608 ], 856 level:= 4, 857 next:= [ rec( 858 fp:= [ 34389, 77199 ], 859 next:= [ 1117, 1113 ] ), rec( 860 fp:= [ 65749, 87061 ], 861 next:= [ 1026, 1019 ] ) ] ), 2881, rec( 862 fp:= [ 62623, 74435, 92684 ], 863 level:= 4, 864 next:= [ 693, 3539, rec( 865 fp:= [ 9574, 54832, 70908 ], 866 next:= [ 3281, 2131, 2117 ] ) ] ), 33, 1, 769, rec( 867 fp:= [ 5922, 7290, 63613, 80814, 81966, 85966 ], 868 level:= 4, 869 next:= [ rec( 870 fp:= [ 40486, 89594 ], 871 next:= [ 1654, 2856 ] ), 3303, rec( 872 fp:= [ 12615, 77560 ], 873 next:= [ 1330, 2744 ] ), 352, 2756, 3099 ] ), rec( 874 fp:= [ 57729, 68424, 98154 ], 875 level:= 4, 876 next:= [ 1240, 648, 1937 ] ), rec( 877 fp:= [ 15494, 21337, 23636, 60721, 78715, 81614, 86857 ], 878 level:= 4, 879 next:= [ rec( 880 fp:= [ 65771, 96038 ], 881 next:= [ 394, 390 ] ), rec( 882 fp:= [ 29131, 62850 ], 883 next:= [ 271, 261 ] ), rec( 884 fp:= [ 41771, 86457 ], 885 next:= [ 420, 416 ] ), rec( 886 fp:= [ 8863, 46884 ], 887 next:= [ 262, 272 ] ), rec( 888 fp:= [ 18368, 69357 ], 889 next:= [ 393, 389 ] ), rec( 890 fp:= [ 75934, 78209 ], 891 next:= [ 268, 258 ] ), rec( 892 fp:= [ 3210, 56536 ], 893 next:= [ 415, 419 ] ) ] ), rec( 894 fp:= [ 40056, 46161, 95685 ], 895 level:= 4, 896 next:= [ 2895, 2894, 2893 ] ), rec( 897 fp:= [ 67111, 99147 ], 898 next:= [ rec( 899 fp:= [ 15199, 79656 ], 900 next:= [ 21, 22 ] ), 24 ] ), rec( 901 fp:= [ 5455, 39915 ], 902 level:= 4, 903 next:= [ rec( 904 fp:= [ 40641, 60065 ], 905 next:= [ 1508, 1528 ] ), rec( 906 fp:= [ 38112, 76914 ], 907 next:= [ 1561, 1537 ] ) ] ), rec( 908 fp:= [ 1890, 17056, 34174, 37748, 43226, 54641, 57286, 57569, 61368, 90962095, 63168, 69261, 76285, 86063, 88288, 89595, 92298, 94193, 94561, 96384 ], 910 level:= 4, 911 next:= [ 2486, 2368, 2408, 2367, 2411, 2461, 3028, 2002, 2970, 2004, 9122034, 2414, 2483, 2417, 2685, 2405, 2005, 2670, 2003, 2410 ] ), rec( 913 fp:= [ 40651, 93227 ], 914 level:= 4, 915 next:= [ 495, 191 ] ), rec( 916 fp:= [ 13849, 53349 ], 917 level:= 4, 918 next:= [ rec( 919 fp:= [ 65178, 96501 ], 920 next:= [ 667, 666 ] ), rec( 921 fp:= [ 47597, 64244 ], 922 next:= [ 665, 664 ] ) ] ), rec( 923 fp:= [ 3115, 12746, 41696 ], 924 level:= 4, 925 next:= [ 3493, 3490, 3492 ] ), rec( 926 fp:= [ 74124, 89967, 94059 ], 927 level:= 4, 928 next:= [ 786, 483, 179 ] ), 634, rec( 929 fp:= [ 62623, 74435, 92684 ], 930 level:= 4, 931 next:= [ 783, 3542, rec( 932 fp:= [ 65956, 85955 ], 933 next:= [ 2194, 3293 ] ) ] ), rec( 934 fp:= [ 26668, 78267 ], 935 level:= 4, 936 next:= [ 1782, 1833 ] ), rec( 937 fp:= [ 255, 9325, 12555, 18331, 19531, 20034, 20406, 20594, 26134, 30693, 93831997, 38670, 39870, 44754, 48384, 51032, 52982, 54424, 58080, 59999, 60152, 93968723, 71231, 71371, 71406, 71538, 80984, 88001, 91693, 91877, 99233 ], 940 level:= 4, 941 next:= [ 430, rec( 942 fp:= [ 45648, 74694 ], 943 next:= [ 1290, 1280 ] ), rec( 944 fp:= [ 42359, 74968 ], 945 next:= [ 1637, 283 ] ), rec( 946 fp:= [ 22954, 55641 ], 947 next:= [ 1706, 426 ] ), 404, 1686, 421, 429, 395, 297, 1622, rec( 948 fp:= [ 42395, 53582 ], 949 next:= [ 425, 1707 ] ), 403, 273, rec( 950 fp:= [ 73471, 82442 ], 951 next:= [ 1692, 400 ] ), 296, rec( 952 fp:= [ 32153, 69131 ], 953 next:= [ 1282, 1299 ] ), 422, 276, 1620, 396, rec( 954 fp:= [ 67135, 96024 ], 955 next:= [ 1693, 399 ] ), 1701, 293, 277, rec( 956 fp:= [ 91901, 99325 ], 957 next:= [ 1636, 287 ] ), rec( 958 fp:= [ 19639, 30006 ], 959 next:= [ 1277, rec( 960 desc:= [ 214005 ], 961 fp:= [ 8, 216 ], 962 next:= [ 1296, 1293 ] ) ] ), 1621, 1687, rec( 963 fp:= [ 40016, 65577 ], 964 next:= [ 286, 1635 ] ), 1700 ] ), rec( 965 fp:= [ 7929, 8837, 9302, 32271, 32691, 34064, 59439, 67600, 69240, 72119, 96676193, 82828, 84201 ], 967 level:= 4, 968 next:= [ rec( 969 fp:= [ 46189, 55629 ], 970 next:= [ 1842, 1837 ] ), 1788, 1840, 1786, 1835, 1831, rec( 971 fp:= [ 1052, 62857 ], 972 next:= [ 1838, 1832 ] ), 1783, 1784, 1787, 1790, 1836, rec( 973 fp:= [ 24170, 82272 ], 974 next:= [ 1830, 1839 ] ) ] ), 1204, rec( 975 fp:= [ 1851, 29619, 37827, 48842, 54998, 96678 ], 976 level:= 4, 977 next:= [ 3589, 3552, 3549, 3553, 3551, 3550 ] ), rec( 978 fp:= [ 1573, 36654, 71499, 71735, 74779, 78059, 81339 ], 979 level:= 4, 980 next:= [ 230, rec( 981 fp:= [ 70565, 70916 ], 982 next:= [ 237, 232 ] ), rec( 983 fp:= [ 66523, 92801 ], 984 next:= [ 226, 233 ] ), 231, rec( 985 fp:= [ 40688, 56488 ], 986 next:= [ 234, 227 ] ), 235, 228 ] ), 1201, rec( 987 fp:= [ 7835, 9271, 21475, 29610, 70301, 83605, 87157, 98303 ], 988 level:= 4, 989 next:= [ rec( 990 fp:= [ 34463, 66212 ], 991 next:= [ 671, 2097 ] ), 674, 695, 670, 2124, 697, rec( 992 fp:= [ 42796, 56543 ], 993 next:= [ 2101, 675 ] ), 2126 ] ), rec( 994 fp:= [ 8802, 45508, 57675, 87478 ], 995 level:= 4, 996 next:= [ rec( 997 fp:= [ 53656, 80739 ], 998 next:= [ 3040, 3037 ] ), 3038, 3041, rec( 999 fp:= [ 52774, 99495 ], 1000 next:= [ 3076, 2985 ] ) ] ), rec( 1001 fp:= [ 32315, 42048, 49889, 51781, 69355 ], 1002 level:= 4, 1003 next:= [ 3531, 3537, 3576, 3536, 3581 ] ), rec( 1004 fp:= [ 6112, 18177 ], 1005 level:= 4, 1006 next:= [ 3442, 3441 ] ), rec( 1007 fp:= [ 25831, 34987, 36937, 45522, 45917, 46312, 67925, 74188, 88809, 100892554 ], 1009 level:= 4, 1010 next:= [ 1969, 1966, 2903, 1979, 1978, 1980, 1967, 2901, 2906, 10111968 ] ), rec( 1012 fp:= [ 19985, 22274, 33145, 34863, 37057, 39777, 50360, 54130, 68609, 101371296, 78801, 96739, 97662 ], 1014 level:= 4, 1015 next:= [ rec( 1016 fp:= [ 30393, 47609 ], 1017 next:= [ 284, 1633 ] ), 2213, 1618, 274, 345, 2966, 2210, rec( 1018 fp:= [ 17238, 34713 ], 1019 next:= [ rec( 1020 desc:= [ 215005 ], 1021 fp:= [ 6, 16 ], 1022 next:= [ 1273, 1285 ] ), 2199 ] ), 1652, rec( 1023 fp:= [ 90837, 93178 ], 1024 next:= [ 1670, 357 ] ), 294, 2203, 369 ] ), rec( 1025 fp:= [ 1573, 57216, 74779 ], 1026 level:= 4, 1027 next:= [ rec( 1028 fp:= [ 15647, 78366 ], 1029 next:= [ 1505, 1500 ] ), rec( 1030 fp:= [ 28814, 81116 ], 1031 next:= [ 1506, 1501 ] ), rec( 1032 fp:= [ 1823, 25240, 58425, 88940 ], 1033 next:= [ 1499, 1498, 1502, 1503 ] ) ] ), rec( 1034 fp:= [ 96483, 96573 ], 1035 next:= [ rec( 1036 fp:= [ 906, 94703 ], 1037 next:= [ 3078, rec( 1038 fp:= [ 52116, 59816 ], 1039 next:= [ 3079, 3080 ] ) ] ), 3605 ] ), rec( 1040 fp:= [ 68417, 68427, 68507 ], 1041 next:= [ rec( 1042 fp:= [ 1370, 32374, 33294, 40736, 48178, 63378 ], 1043 next:= [ 1211, 1229, 1221, 1230, 1212, 1220 ] ), rec( 1044 fp:= [ 51686, 71389, 91092 ], 1045 next:= [ 1223, 1232, 1214 ] ), rec( 1046 fp:= [ 640, 6051, 11462, 42466, 47877, 63886, 69297, 74708 ], 1047 next:= [ 2578, 2546, 2566, 2577, 2540, 2545, 2565, 2590 ] ) ] ), 10483077, rec( 1049 fp:= [ 1151, 1495, 19400, 29569, 52810, 66557, 90229 ], 1050 level:= 4, 1051 next:= [ 1238, 39, 644, 35, 1239, rec( 1052 fp:= [ 78298, 86021 ], 1053 next:= [ 37, 647 ] ), 1936 ] ), rec( 1054 fp:= [ 11080, 47438 ], 1055 level:= 4, 1056 next:= [ 3049, 3042 ] ), rec( 1057 fp:= [ 5045, 30416 ], 1058 level:= 4, 1059 next:= [ rec( 1060 fp:= [ 42615, 98615 ], 1061 next:= [ 782, 2193 ] ), 2916 ] ), rec( 1062 fp:= [ 22571, 40604 ], 1063 level:= 4, 1064 next:= [ rec( 1065 fp:= [ 84260, 94100 ], 1066 next:= [ 3069, 1902 ] ), 3031 ] ), rec( 1067 fp:= [ 12587, 41020 ], 1068 level:= 5, 1069 next:= [ 1905, 1907 ] ), rec( 1070 fp:= [ 19011, 23524, 71098 ], 1071 level:= 4, 1072 next:= [ 3485, 3484, 3486 ] ), rec( 1073 fp:= [ 30222, 36274 ], 1074 level:= 5, 1075 next:= [ 1565, 1541 ] ), rec( 1076 fp:= [ 17581, 26117, 41082, 57675, 60075, 70240, 93741 ], 1077 level:= 4, 1078 next:= [ 1917, 1860, 1919, 1861, 1862, 1920, 1918 ] ), 630, rec( 1079 fp:= [ 2549, 5277 ], 1080 next:= [ rec( 1081 fp:= [ 5027, 6112, 67049 ], 1082 next:= [ rec( 1083 fp:= [ 34655, 41479, 47889, 81468 ], 1084 next:= [ 2514, 2510, 2511, 2515 ] ), rec( 1085 fp:= [ 11494, 49519 ], 1086 next:= [ 2513, 2532 ] ), rec( 1087 fp:= [ 5237, 51449 ], 1088 next:= [ 2512, 2531 ] ) ] ), 3287 ] ), rec( 1089 fp:= [ 23334, 41261 ], 1090 level:= 4, 1091 next:= [ rec( 1092 fp:= [ 34718, 97978 ], 1093 next:= [ 1111, 1105 ] ), rec( 1094 fp:= [ 42781, 46687 ], 1095 next:= [ 1014, 1002 ] ) ] ), rec( 1096 fp:= [ 22140, 62721 ], 1097 next:= [ rec( 1098 fp:= [ 12710, 77091 ], 1099 next:= [ rec( 1100 fp:= [ 8682, 93988 ], 1101 next:= [ 652, 653 ] ), 651 ] ), 1930 ] ), rec( 1102 fp:= [ 5329, 11426, 12766, 17092, 18293, 21137, 24529, 24872, 26803, 110332900, 37996, 38566, 40651, 46003, 47994, 52984, 57196, 59851, 63414, 66087, 110474458, 77850, 79554, 80124, 84066, 86221, 87561, 91887, 93227, 98754, 99324 ], 1105 level:= 4, 1106 next:= [ 894, 826, 817, 897, 1178, 821, 818, 901, 899, 825, 1163, 904, 11071139, 823, 900, 815, 1141, 1177, 1192, 814, 820, 816, 1164, 895, 903, 827, 1108819, 902, 892, 1142, 822 ] ), rec( 1109 fp:= [ 30732, 46167 ], 1110 level:= 4, 1111 next:= [ 64, 71 ] ), rec( 1112 fp:= [ 49, 3399, 9050, 14701, 19767, 22143, 25418, 27794, 38511, 50787, 111353192, 62229, 66285, 66321, 71936, 78561, 89967, 91654, 94059, 95618, 97305 ], 1114 level:= 4, 1115 next:= [ 794, 1160, 1134, 1174, 872, 1159, rec( 1116 fp:= [ 51665, 67131 ], 1117 next:= [ 795, 793 ] ), 1133, rec( 1118 fp:= [ 49709, 77256 ], 1119 next:= [ 875, 878 ] ), 799, 791, 1188, 871, 874, 796, 792, 1131, 877, 1120876, 1173, 798 ] ), rec( 1121 fp:= [ 6832, 6912, 96912 ], 1122 next:= [ rec( 1123 fp:= [ 26600, 31587, 63145, 94703 ], 1124 next:= [ 1929, 1928, 1926, 1927 ] ), rec( 1125 fp:= [ 61229, 76670 ], 1126 next:= [ 3065, 3067 ] ), rec( 1127 fp:= [ 42876, 82214 ], 1128 next:= [ rec( 1129 fp:= [ 33629, 45922 ], 1130 next:= [ 3606, 3064 ] ), 3597 ] ) ] ), 1934, 1759, rec( 1131 fp:= [ 36907, 36997 ], 1132 next:= [ rec( 1133 fp:= [ 1370, 19011, 23524, 32374, 63378, 71098 ], 1134 next:= [ rec( 1135 fp:= [ 15042, 92266 ], 1136 next:= [ 2696, 2695 ] ), 2698, 2694, rec( 1137 fp:= [ 83389, 93229 ], 1138 next:= [ 2703, 2704 ] ), rec( 1139 fp:= [ 21919, 99644 ], 1140 next:= [ 2699, 2700 ] ), 2702 ] ), rec( 1141 fp:= [ 24208, 44219, 51771, 64230, 71782, 79334, 91793, 99345 ], 1142 next:= [ 3452, 3447, 3448, 3445, 3446, 3443, 3450, 3449 ] ) ] ), rec( 1143 fp:= [ 19480, 19850, 38224, 39009 ], 1144 level:= 4, 1145 next:= [ 2138, 2133, 2139, 2132 ] ), rec( 1146 fp:= [ 183, 6704, 10310, 28185, 36937, 45150, 45522, 45917, 46312, 51243, 114751671, 61398, 73152, 74920 ], 1148 level:= 4, 1149 next:= [ 1974, 1983, 2904, 1972, 2905, 1971, 1989, 1988, 1990, 2907, 11501984, 1985, 1973, 2902 ] ), 1747, rec( 1151 fp:= [ 35375, 89866 ], 1152 level:= 5, 1153 next:= [ 1904, 1901 ] ), rec( 1154 fp:= [ 53889, 61318 ], 1155 level:= 4, 1156 next:= [ rec( 1157 fp:= [ 47225, 55738, 93851 ], 1158 next:= [ 2145, 2154, 2144 ] ), rec( 1159 fp:= [ 105, 23051, 77247 ], 1160 next:= [ 2148, 2149, 2155 ] ) ] ), rec( 1161 fp:= [ 72919, 72929, 73009 ], 1162 next:= [ rec( 1163 fp:= [ 33294, 63378 ], 1164 next:= [ 560, 559 ] ), 562, 1544 ] ), 1845, rec( 1165 fp:= [ 35069, 73852 ], 1166 level:= 4, 1167 next:= [ rec( 1168 fp:= [ 34967, 68942 ], 1169 next:= [ 754, 753 ] ), rec( 1170 fp:= [ 16235, 81921 ], 1171 next:= [ 757, 758 ] ) ] ), rec( 1172 fp:= [ 18195, 51133, 53448, 82725 ], 1173 level:= 4, 1174 next:= [ 3082, 3081, 3085, 3084 ] ), rec( 1175 fp:= [ 4715, 17433, 61058, 94817 ], 1176 level:= 4, 1177 next:= [ 1779, 659, 658, 657 ] ), rec( 1178 fp:= [ 1498, 9309, 26559, 27308, 35132, 52965, 54528, 56521, 57771, 117964141, 67917, 69586, 74409, 80779, 84490, 84538, 87469, 92349, 95293 ], 1180 level:= 4, 1181 next:= [ 460, 114, 527, 121, 117, 107, 541, 528, 118, 120, 456, 113, 122, 1182124, 542, 459, 123, 112, 119 ] ), rec( 1183 fp:= [ 5027, 67049 ], 1184 level:= 4, 1185 next:= [ 2509, 2530 ] ), rec( 1186 fp:= [ 28985, 78537 ], 1187 level:= 5, 1188 next:= [ 2990, 2989 ] ), rec( 1189 fp:= [ 4711, 13550, 18938, 25877, 35777, 37187, 38608, 55644, 62375, 119067542, 78962, 87915, 94962, 97614, 98732 ], 1191 level:= 4, 1192 next:= [ 2898, 1731, rec( 1193 fp:= [ 12995, 81990 ], 1194 next:= [ rec( 1195 desc:= [ 214004 ], 1196 fp:= [ 2, 12 ], 1197 next:= [ 1386, 1393 ] ), 1460 ] ), 1950, 1404, 1951, 2968, 1405, 11981403, 1476, 2969, 1471, 2227, 1720, rec( 1199 fp:= [ 70172, 77994, 82575 ], 1200 next:= [ 2220, 1465, 1385 ] ) ] ), rec( 1201 fp:= [ 3078, 6400, 7302, 34079, 51095 ], 1202 level:= 4, 1203 next:= [ 2910, 2908, 2982, 2974, 2976 ] ), 3586, rec( 1204 fp:= [ 491, 17036, 28977, 29214, 31330, 31409, 48373, 49316, 50568, 120558594, 70535, 74955, 87366, 90874 ], 1206 level:= 4, 1207 next:= [ 446, 450, 83, 538, 84, 524, 537, 86, 523, 449, 85, 82, 87, 120888 ] ), rec( 1209 fp:= [ 5618, 22029, 28122, 50031, 54930, 66568, 77277, 82932, 83370, 121093688 ], 1211 level:= 4, 1212 next:= [ 3140, 3147, 3513, 3146, 3143, 3512, 3142, 3141, 3511, 12133148 ] ), rec( 1214 fp:= [ 2236, 3788, 5063, 5922, 8011, 9089, 10063, 10851, 14191, 15459, 121516433, 16641, 17221, 18403, 19169, 23011, 24773, 28312, 30074, 30468, 32416, 121636444, 37626, 41150, 43996, 48717, 49691, 50873, 54397, 55087, 56269, 57243, 121758031, 62349, 62639, 63613, 66743, 67940, 68914, 69122, 70884, 71686, 75202, 121875492, 77254, 79990, 80814, 80955, 81966, 83624, 83641, 88055, 90501, 92769, 121993237, 94819, 95897, 96477, 96871 ], 1220 level:= 4, 1221 next:= [ 1070, 3197, 1035, rec( 1222 fp:= [ 57004, 92435 ], 1223 next:= [ 2607, 3463 ] ), rec( 1224 fp:= [ 14432, 30407 ], 1225 next:= [ 3376, 3374 ] ), rec( 1226 fp:= [ 2971, 36383 ], 1227 next:= [ 3190, 3193 ] ), rec( 1228 fp:= [ 12538, 90465 ], 1229 next:= [ 3364, 2329 ] ), rec( 1230 fp:= [ 32454, 49668 ], 1231 next:= [ 2271, 3351 ] ), 1069, 3200, rec( 1232 fp:= [ 6999, 88956 ], 1233 next:= [ 3356, 2317 ] ), 3204, rec( 1234 fp:= [ 73609, 89047 ], 1235 next:= [ 2264, 3344 ] ), rec( 1236 fp:= [ 33044, 80573 ], 1237 next:= [ 2261, 3349 ] ), rec( 1238 fp:= [ 28718, 32923 ], 1239 next:= [ 3468, 2632 ] ), 3196, rec( 1240 fp:= [ 27861, 87841 ], 1241 next:= [ 2258, 3346 ] ), 3192, rec( 1242 fp:= [ 8988, 65469 ], 1243 next:= [ 2274, 3353 ] ), rec( 1244 fp:= [ 30658, 51026 ], 1245 next:= [ 3362, 2328 ] ), rec( 1246 fp:= [ 6056, 87646 ], 1247 next:= [ 3472, 2661 ] ), rec( 1248 fp:= [ 39507, 86691 ], 1249 next:= [ 3348, 2263 ] ), rec( 1250 fp:= [ 65476, 92030 ], 1251 next:= [ 3342, 2256 ] ), rec( 1252 fp:= [ 45048, 80606 ], 1253 next:= [ 2646, 3470 ] ), rec( 1254 fp:= [ 37159, 95161 ], 1255 next:= [ 3340, 2253 ] ), 3191, rec( 1256 fp:= [ 35636, 92144 ], 1257 next:= [ 3365, 2330 ] ), rec( 1258 fp:= [ 7478, 84582 ], 1259 next:= [ 3361, 2321 ] ), rec( 1260 fp:= [ 7249, 17082 ], 1261 next:= [ 2610, 3465 ] ), 3202, 3201, rec( 1262 fp:= [ 5317, 49328 ], 1263 next:= [ 3355, 2315 ] ), rec( 1264 fp:= [ 8736, 45427 ], 1265 next:= [ 3345, 2268 ] ), 3367, 3195, rec( 1266 fp:= [ 60297, 63810 ], 1267 next:= [ 2312, 3363 ] ), rec( 1268 fp:= [ 28095, 42913 ], 1269 next:= [ 3469, 2645 ] ), 3189, rec( 1270 fp:= [ 30449, 42179 ], 1271 next:= [ 3360, 2326 ] ), 3194, rec( 1272 fp:= [ 78185, 91670 ], 1273 next:= [ 2272, 3352 ] ), 1095, rec( 1274 fp:= [ 27714, 36416 ], 1275 next:= [ 3368, 3369 ] ), rec( 1276 fp:= [ 75123, 95289 ], 1277 next:= [ 3199, 3203 ] ), rec( 1278 fp:= [ 45844, 86116 ], 1279 next:= [ 3347, 2267 ] ), rec( 1280 fp:= [ 28224, 49372 ], 1281 next:= [ 3466, 2611 ] ), 1030, 1122, 3375, rec( 1282 fp:= [ 6733, 34741 ], 1283 next:= [ 3343, 2262 ] ), 1096, 3371, rec( 1284 fp:= [ 39649, 78940 ], 1285 next:= [ 3366, 2332 ] ), 1036, rec( 1286 fp:= [ 28703, 84549 ], 1287 next:= [ 2631, 3467 ] ), 3373, 3198, rec( 1288 fp:= [ 42508, 77900 ], 1289 next:= [ 3341, 2255 ] ), rec( 1290 fp:= [ 76833, 79950 ], 1291 next:= [ 3358, 2325 ] ) ] ), 3483, rec( 1292 fp:= [ 16477, 45588 ], 1293 level:= 5, 1294 next:= [ 28, 31 ] ), rec( 1295 fp:= [ 23451, 72007, 74556 ], 1296 level:= 4, 1297 next:= [ 615, 606, 624 ] ), rec( 1298 fp:= [ 6305, 12554, 26907, 40067, 41435, 53156, 53747, 57156, 69468, 129971509, 75509 ], 1300 level:= 4, 1301 next:= [ 3496, 3120, 2811, 2872, 3310, 2777, 3317, 3113, 3127, 2795, 13023106 ] ), rec( 1303 fp:= [ 44889, 45211 ], 1304 level:= 4, 1305 next:= [ rec( 1306 fp:= [ 33418, 93023 ], 1307 next:= [ 2595, 2587 ] ), rec( 1308 fp:= [ 28992, 92173 ], 1309 next:= [ 2541, 2557 ] ) ] ), rec( 1310 fp:= [ 39634, 67230 ], 1311 level:= 4, 1312 next:= [ rec( 1313 fp:= [ 16995, 87835 ], 1314 next:= [ 748, 747 ] ), rec( 1315 fp:= [ 26294, 53675 ], 1316 next:= [ 746, 745 ] ) ] ), rec( 1317 fp:= [ 65951, 78735 ], 1318 level:= 4, 1319 next:= [ rec( 1320 fp:= [ 42078, 90718 ], 1321 next:= [ 327, 339 ] ), rec( 1322 fp:= [ 95654, 96059 ], 1323 next:= [ 269, 259 ] ) ] ), rec( 1324 fp:= [ 7343, 78514 ], 1325 level:= 4, 1326 next:= [ 3543, 3494 ] ), rec( 1327 fp:= [ 68249, 90596 ], 1328 level:= 4, 1329 next:= [ 3273, 3274 ] ), rec( 1330 fp:= [ 7302, 27185, 30878, 39140, 40495, 52450 ], 1331 level:= 4, 1332 next:= [ rec( 1333 desc:= [ 106003 ], 1334 fp:= [ 2, 12 ], 1335 next:= [ 1996, 1997 ] ), 1981, 1970, 1982, 1964, 1965 ] ), rec( 1336 fp:= [ 55270, 60708 ], 1337 level:= 4, 1338 next:= [ 702, 727 ] ), rec( 1339 fp:= [ 2468, 11161, 24697, 27555, 30413, 32914, 33271, 40569, 67542, 134069977, 81414, 87915, 93596, 96290 ], 1341 level:= 4, 1342 next:= [ rec( 1343 desc:= [ 214005 ], 1344 fp:= [ 2, 12 ], 1345 next:= [ 163, 161 ] ), 467, 511, 499, 505, 126, 517, 462, 144, 472, 1346477, rec( 1347 desc:= [ 212005 ], 1348 fp:= [ 2, 12 ], 1349 next:= [ 145, 143 ] ), 162, rec( 1350 desc:= [ 212005 ], 1351 fp:= [ 2, 12 ], 1352 next:= [ 127, 125 ] ) ] ), rec( 1353 fp:= [ 10938, 40991, 71044 ], 1354 level:= 4, 1355 next:= [ 1775, 1771, 1767 ] ), rec( 1356 fp:= [ 32248, 33621, 50707, 56794, 63427, 67600, 72119, 78714, 84423 ], 1357 level:= 4, 1358 next:= [ 2932, 2930, 2925, 2927, 3006, 2935, 2939, 2929, 3004 ] ), rec( 1359 fp:= [ 15322, 61325 ], 1360 level:= 5, 1361 next:= [ 1817, 1816 ] ), rec( 1362 fp:= [ 64330, 95332 ], 1363 level:= 4, 1364 next:= [ 184, 489 ] ), rec( 1365 fp:= [ 18757, 24738, 87246 ], 1366 next:= [ rec( 1367 fp:= [ 5027, 25942, 34304, 63581, 67049, 75411, 96326 ], 1368 next:= [ rec( 1369 fp:= [ 28635, 30824 ], 1370 next:= [ 955, 963 ] ), 960, 964, 956, 959, rec( 1371 fp:= [ 2519, 38603 ], 1372 next:= [ 957, 962 ] ), rec( 1373 fp:= [ 90591, 99211 ], 1374 next:= [ 961, 996 ] ) ] ), rec( 1375 fp:= [ 29833, 48082 ], 1376 next:= [ 3541, rec( 1377 fp:= [ 47468, 57168, 68753 ], 1378 next:= [ 3290, 2172, 2160 ] ) ] ), rec( 1379 fp:= [ 51548, 66435, 89187 ], 1380 next:= [ 2171, 2173, 2159 ] ) ] ), rec( 1381 fp:= [ 1606, 9404, 71353, 77384, 86310, 92444, 94005 ], 1382 level:= 4, 1383 next:= [ 4, 16, 8, 17, 7, 15, 18 ] ), rec( 1384 fp:= [ 59194, 68275 ], 1385 next:= [ rec( 1386 fp:= [ 17449, 26639 ], 1387 next:= [ rec( 1388 fp:= [ 85240, 94016 ], 1389 next:= [ 1762, 1761 ] ), 1760 ] ), rec( 1390 fp:= [ 78096, 86962 ], 1391 next:= [ 2817, 2822 ] ) ] ), rec( 1392 fp:= [ 11837, 73819 ], 1393 next:= [ rec( 1394 fp:= [ 60935, 80262 ], 1395 next:= [ rec( 1396 fp:= [ 6062, 64625 ], 1397 next:= [ 2991, 3587 ] ), 3545 ] ), rec( 1398 fp:= [ 47361, 58883 ], 1399 next:= [ 2988, 2987 ] ) ] ), rec( 1400 fp:= [ 5494, 40601, 57675, 85204, 94700 ], 1401 level:= 4, 1402 next:= [ 3075, 3035, 3039, 2984, 3036 ] ), rec( 1403 fp:= [ 24041, 64728 ], 1404 level:= 5, 1405 next:= [ 331, 341 ] ), rec( 1406 fp:= [ 21970, 70822 ], 1407 level:= 5, 1408 next:= [ 639, 635 ] ), rec( 1409 fp:= [ 7988, 15609, 19441, 21314, 29548, 29899, 34114, 39050, 39445, 141041782, 43695, 46444, 49546, 53843, 54177, 55043, 62854, 62872, 68552, 70033, 141170428, 70823, 71645, 74080, 76184, 77384, 77739, 80608, 81003, 81216, 82416, 141286203, 87115, 87403, 87711, 88002, 96271, 96421 ], 1413 level:= 4, 1414 next:= [ 1358, 1374, 1371, 1361, 1373, 1715, 1377, 1362, 1360, 1375, 14151738, 1719, 1363, 1372, 1378, 1380, 1737, 1357, 1742, 1452, 1451, 1453, 1381, 14161379, 1376, 1384, 1369, 1359, 1364, 1456, 1458, 1457, 1382, 1459, 1741, 1718, 14171370, 1383 ] ), rec( 1418 fp:= [ 5304, 41662, 57700, 65058, 68520, 81096, 95552 ], 1419 level:= 4, 1420 next:= [ rec( 1421 fp:= [ 27498, 41329, 49183, 74493, 82865 ], 1422 next:= [ 2950, 2948, 2946, 2951, 2947 ] ), rec( 1423 fp:= [ 14055, 28144, 77929, 96931 ], 1424 next:= [ 2958, 2962, 2959, 2957 ] ), rec( 1425 fp:= [ 3509, 25176, 30422, 81892 ], 1426 next:= [ 3058, 3057, 3053, 3054 ] ), rec( 1427 fp:= [ 69412, 73252, 73769 ], 1428 next:= [ 2960, 2964, 2963 ] ), rec( 1429 fp:= [ 44215, 58675 ], 1430 next:= [ 3060, 3055 ] ), rec( 1431 fp:= [ 46748, 77677 ], 1432 next:= [ 3056, 3061 ] ), rec( 1433 fp:= [ 24829, 33934, 37198, 96662 ], 1434 next:= [ 2953, 2955, 2961, 2954 ] ) ] ), rec( 1435 fp:= [ 33014, 44346 ], 1436 level:= 4, 1437 next:= [ 1022, 1114 ] ), rec( 1438 fp:= [ 72929, 85319 ], 1439 next:= [ rec( 1440 fp:= [ 51686, 71389 ], 1441 next:= [ 579, 570 ] ), 597 ] ), rec( 1442 fp:= [ 9764, 21631 ], 1443 next:= [ rec( 1444 fp:= [ 1314, 1890, 5922, 7290, 19563, 26907, 38020, 39760, 56061, 144558009, 63613, 64330, 76285, 76466, 79990, 85966 ], 1446 next:= [ rec( 1447 fp:= [ 10606, 96932 ], 1448 next:= [ rec( 1449 desc:= [ 214004 ], 1450 fp:= [ 4, 14 ], 1451 next:= [ 1440, 1441 ] ), 1490 ] ), 1496, rec( 1452 desc:= [ 106003 ], 1453 fp:= [ 2, 12 ], 1454 next:= [ 1734, 1735 ] ), 2223, 1948, rec( 1455 fp:= [ 43587, 85720 ], 1456 next:= [ rec( 1457 desc:= [ 302008 ], 1458 fp:= [ 1182, 2361 ], 1459 next:= [ rec( 1460 desc:= [ 115011, 215004 ], 1461 fp:= [ 4, 14 ], 1462 next:= [ 1438, 1437 ] ), 1436 ] ), rec( 1463 desc:= [ 106003 ], 1464 fp:= [ 2, 12 ], 1465 next:= [ 1488, 1489 ] ) ] ), 1445, rec( 1466 fp:= [ 8898, 21752, 35052 ], 1467 next:= [ 1491, 1439, 2229 ] ), 1443, 1746, rec( 1468 desc:= [ 115011 ], 1469 fp:= [ 32, 1626, 2814 ], 1470 next:= [ 1447, 1446, 1448 ] ), rec( 1471 desc:= [ 106003 ], 1472 fp:= [ 2, 12 ], 1473 next:= [ 1493, 1494 ] ), 1495, 1444, 1736, 1949 ] ), rec( 1474 fp:= [ 13550, 18938, 25877, 35777, 37187, 55644, 62375, 67542, 87915, 147594962, 97614, 98732 ], 1476 next:= [ 1732, rec( 1477 fp:= [ 29683, 32123 ], 1478 next:= [ rec( 1479 desc:= [ 214004 ], 1480 fp:= [ 2, 12 ], 1481 next:= [ 1388, 1394 ] ), 1461 ] ), 1952, 1407, 1953, 1408, 1406, 14821477, 1472, 2228, 1721, rec( 1483 fp:= [ 21519, 83663, 99260 ], 1484 next:= [ 1466, 2221, 1387 ] ) ] ) ] ), rec( 1485 fp:= [ 43622, 49550, 65909, 75825 ], 1486 level:= 4, 1487 next:= [ 781, 779, rec( 1488 fp:= [ 19664, 54076 ], 1489 next:= [ 3292, 2192 ] ), rec( 1490 fp:= [ 13393, 82770 ], 1491 next:= [ 3291, 2191 ] ) ] ), rec( 1492 fp:= [ 492, 61214 ], 1493 level:= 5, 1494 next:= [ 323, 305 ] ), rec( 1495 fp:= [ 530, 35310, 46914, 51348 ], 1496 level:= 4, 1497 next:= [ 1791, 1792, 1884, 1882 ] ), rec( 1498 fp:= [ 63348, 72929, 73009, 85319, 85399, 97248 ], 1499 next:= [ rec( 1500 fp:= [ 658, 13407, 13511, 60981, 62349, 73834, 92767, 94819 ], 1501 next:= [ rec( 1502 desc:= [ 106003 ], 1503 fp:= [ 4, 212 ], 1504 next:= [ 2725, 2724 ] ), rec( 1505 fp:= [ 54307, 87266 ], 1506 next:= [ 2848, 1599 ] ), 2723, rec( 1507 fp:= [ 28982, 39305 ], 1508 next:= [ rec( 1509 desc:= [ 105003 ], 1510 fp:= [ 2, 12 ], 1511 next:= [ 2841, 2842 ] ), rec( 1512 desc:= [ 107003 ], 1513 fp:= [ 2, 12 ], 1514 next:= [ 1554, 1555 ] ) ] ), 3297, rec( 1515 fp:= [ 29515, 95726 ], 1516 next:= [ 1559, 2843 ] ), 2722, 3300 ] ), rec( 1517 fp:= [ 15650, 23885, 24012, 32374, 33294, 40736, 63378, 93462 ], 1518 next:= [ 574, 583, 572, 573, 584, 575, 582, 581 ] ), rec( 1519 fp:= [ 6051, 16873, 31760, 47877, 71782, 79334 ], 1520 next:= [ 1572, 1602, 1600, rec( 1521 desc:= [ 107003 ], 1522 fp:= [ 2, 12 ], 1523 next:= [ 1569, 1570 ] ), 1560, rec( 1524 desc:= [ 107003 ], 1525 fp:= [ 2, 12 ], 1526 next:= [ 1557, 1558 ] ) ] ), rec( 1527 fp:= [ 17449, 33358, 59325, 75234 ], 1528 next:= [ 600, 601, 602, 599 ] ), rec( 1529 fp:= [ 18083, 55826, 78096, 86962 ], 1530 next:= [ 1533, 1564, 1523, 1552 ] ), rec( 1531 fp:= [ 33145, 50360, 54130, 68609, 72483, 99081 ], 1532 next:= [ rec( 1533 fp:= [ 21371, 21388 ], 1534 next:= [ 2834, 1519 ] ), 3299, 3295, rec( 1535 fp:= [ 26596, 41513 ], 1536 next:= [ 2839, 1550 ] ), 2713, 2712 ] ) ] ), 1906, rec( 1537 fp:= [ 32888, 95400 ], 1538 level:= 4, 1539 next:= [ 2979, 2972 ] ), rec( 1540 fp:= [ 36616, 41782, 67266, 72432 ], 1541 level:= 4, 1542 next:= [ 755, 759, rec( 1543 fp:= [ 31762, 31837, 42204, 81084 ], 1544 next:= [ 2174, 756, 2176, rec( 1545 desc:= [ 112002 ], 1546 fp:= [ 3, 13 ], 1547 next:= [ 761, 2175 ] ) ] ), rec( 1548 fp:= [ 30051, 53259, 78172, 92016 ], 1549 next:= [ 2179, 760, rec( 1550 desc:= [ 113002 ], 1551 fp:= [ 3, 13 ], 1552 next:= [ 762, 2178 ] ), 2177 ] ) ] ), rec( 1553 fp:= [ 53647, 68907 ], 1554 next:= [ rec( 1555 fp:= [ 7626, 12599, 50982, 57675, 59377, 66296, 67367, 69630, 78251, 155695332 ], 1557 next:= [ rec( 1558 fp:= [ 12944, 38397, 58473, 75859 ], 1559 next:= [ 1648, 368, 1678, rec( 1560 desc:= [ 113002 ], 1561 fp:= [ 9, 613 ], 1562 next:= [ 320, 1667 ] ) ] ), rec( 1563 fp:= [ 29186, 30983, 73863, 89192 ], 1564 next:= [ 443, 1708, 1713, rec( 1565 desc:= [ 111002 ], 1566 fp:= [ 9, 613 ], 1567 next:= [ 435, 1712 ] ) ] ), rec( 1568 fp:= [ 32128, 74456 ], 1569 next:= [ 1348, 1324 ] ), rec( 1570 fp:= [ 2068, 12104 ], 1571 next:= [ rec( 1572 desc:= [ 302017 ], 1573 fp:= [ 3801, 84981 ], 1574 next:= [ 1344, rec( 1575 desc:= [ 109003 ], 1576 fp:= [ 2, 12 ], 1577 next:= [ 1343, 1345 ] ) ] ), rec( 1578 desc:= [ 115007 ], 1579 fp:= [ 16, 1214 ], 1580 next:= [ rec( 1581 desc:= [ 106003 ], 1582 fp:= [ 2, 12 ], 1583 next:= [ 1320, 1321 ] ), 1319 ] ) ] ), 445, rec( 1584 desc:= [ 107003 ], 1585 fp:= [ 2, 12 ], 1586 next:= [ 377, 378 ] ), rec( 1587 fp:= [ 57005, 90070 ], 1588 next:= [ 1346, 1322 ] ), rec( 1589 fp:= [ 6256, 40570 ], 1590 next:= [ 1323, 1347 ] ), 380, rec( 1591 fp:= [ 2067, 20809, 25489, 41419 ], 1592 next:= [ rec( 1593 desc:= [ 106003 ], 1594 fp:= [ 2, 12 ], 1595 next:= [ 1673, 1674 ] ), rec( 1596 desc:= [ 106003 ], 1597 fp:= [ 2, 12 ], 1598 next:= [ 365, 366 ] ), rec( 1599 desc:= [ 107003 ], 1600 fp:= [ 4, 212 ], 1601 next:= [ rec( 1602 desc:= [ 111002 ], 1603 fp:= [ 9, 613 ], 1604 next:= [ 318, 1666 ] ), rec( 1605 desc:= [ 112002 ], 1606 fp:= [ 9, 613 ], 1607 next:= [ 317, 1665 ] ) ] ), rec( 1608 desc:= [ 105003 ], 1609 fp:= [ 2, 12 ], 1610 next:= [ 1643, 1644 ] ) ] ) ] ), rec( 1611 fp:= [ 11161, 19531, 24697, 30413, 56975, 69977, 97679 ], 1612 next:= [ rec( 1613 fp:= [ 6921, 16982, 83540, 87975 ], 1614 next:= [ rec( 1615 desc:= [ 115002 ], 1616 fp:= [ 9, 613 ], 1617 next:= [ 250, 1625 ] ), 1630, 1605, 290 ] ), rec( 1618 fp:= [ 1287, 49266 ], 1619 next:= [ 1251, 1309 ] ), 372, rec( 1620 fp:= [ 30988, 46924, 84180, 95294 ], 1621 next:= [ 1669, 1639, rec( 1622 desc:= [ 113002 ], 1623 fp:= [ 9, 613 ], 1624 next:= [ 312, 1663 ] ), 360 ] ), rec( 1625 fp:= [ 2323, 20076 ], 1626 next:= [ 1303, 1245 ] ), 300, rec( 1627 fp:= [ 38969, 94631 ], 1628 next:= [ 1302, 1244 ] ) ] ) ] ), 3440, rec( 1629 fp:= [ 6562, 9124, 17599, 23704, 39774, 40530, 73228, 88892 ], 1630 level:= 4, 1631 next:= [ 767, 764, 768, rec( 1632 fp:= [ 63593, 91709 ], 1633 next:= [ 2181, 765 ] ), rec( 1634 fp:= [ 60593, 77792 ], 1635 next:= [ 2180, 763 ] ), 2183, 766, 2182 ] ), 1815, rec( 1636 fp:= [ 57675, 66296, 95332 ], 1637 level:= 4, 1638 next:= [ rec( 1639 fp:= [ 4441, 56064 ], 1640 next:= [ 1318, 1342 ] ), 376, rec( 1641 fp:= [ 8535, 56381, 58632, 60768 ], 1642 next:= [ rec( 1643 desc:= [ 111002 ], 1644 fp:= [ 9, 613 ], 1645 next:= [ 316, 1664 ] ), 1642, 1672, 364 ] ) ] ), rec( 1646 fp:= [ 29092, 91074 ], 1647 next:= [ rec( 1648 fp:= [ 30013, 68596 ], 1649 level:= 5, 1650 next:= [ 3278, 2095 ] ), rec( 1651 fp:= [ 66435, 89187 ], 1652 next:= [ 2085, 2086 ] ) ] ), rec( 1653 fp:= [ 8802, 21962, 35051, 50772, 53404, 69125, 87478 ], 1654 level:= 4, 1655 next:= [ rec( 1656 fp:= [ 9083, 68275 ], 1657 next:= [ 3602, 3538 ] ), 3608, 3600, 3583, 3601, 3585, 3584 ] ), rec( 1658 fp:= [ 52003, 54731 ], 1659 next:= [ rec( 1660 fp:= [ 11080, 16944, 47438 ], 1661 next:= [ rec( 1662 fp:= [ 7803, 84127 ], 1663 next:= [ 3045, 3050 ] ), rec( 1664 fp:= [ 55375, 98261 ], 1665 next:= [ 3051, 3046 ] ), rec( 1666 fp:= [ 7561, 17858, 66223, 79042 ], 1667 next:= [ 3048, 3047, 3043, 3044 ] ) ] ), 3590 ] ), rec( 1668 fp:= [ 68417, 68427, 68507 ], 1669 next:= [ rec( 1670 fp:= [ 32374, 40736 ], 1671 next:= [ 1202, 1203 ] ), 1205, rec( 1672 fp:= [ 6051, 16873 ], 1673 next:= [ 2544, 2588 ] ) ] ), rec( 1674 fp:= [ 2725, 21763, 35663, 76457 ], 1675 level:= 4, 1676 next:= [ 683, rec( 1677 fp:= [ 832, 40603, 81618 ], 1678 next:= [ 3280, 2107, 2127 ] ), 682, rec( 1679 fp:= [ 37237, 72596, 81374 ], 1680 next:= [ 3279, 2106, 2125 ] ) ] ), rec( 1681 fp:= [ 19699, 95018 ], 1682 level:= 5, 1683 next:= [ 770, 771 ] ), 73, rec( 1684 fp:= [ 29019, 38049 ], 1685 level:= 4, 1686 next:= [ 3087, 3091 ] ), rec( 1687 fp:= [ 35958, 45029, 64002 ], 1688 next:= [ rec( 1689 fp:= [ 639, 12710, 24781, 36852 ], 1690 next:= [ 56, 54, 53, 55 ] ), rec( 1691 fp:= [ 37753, 51087 ], 1692 next:= [ 638, 640 ] ), rec( 1693 fp:= [ 1151, 19400, 45627 ], 1694 next:= [ 2706, rec( 1695 fp:= [ 59536, 78015 ], 1696 next:= [ 1931, 637 ] ), 3093 ] ) ] ), 588, rec( 1697 fp:= [ 5304, 41662, 57700, 68520, 95552 ], 1698 level:= 4, 1699 next:= [ 2949, 2956, 3052, 3059, 2952 ] ), rec( 1700 fp:= [ 9754, 19774, 31641 ], 1701 next:= [ rec( 1702 fp:= [ 2097, 12554, 13314, 16762, 25407, 42020, 50907, 57156, 67613, 170368269, 80466, 86310, 93862 ], 1704 next:= [ rec( 1705 desc:= [ 106003 ], 1706 fp:= [ 2, 12 ], 1707 next:= [ 3181, 3182 ] ), 3157, 3498, 3500, 3156, rec( 1708 fp:= [ 74268, 98278 ], 1709 next:= [ 3168, 3162 ] ), 3501, rec( 1710 desc:= [ 107003 ], 1711 fp:= [ 4, 212 ], 1712 next:= [ 3183, 3184 ] ), rec( 1713 fp:= [ 14857, 21173 ], 1714 next:= [ 3163, 3169 ] ), 3149, 3161, 3150, 3151 ] ), rec( 1715 fp:= [ 1890, 2647, 7626, 10189, 12599, 14990, 22144, 31955, 35988, 171658957, 59377, 64330, 66296, 76285, 78251, 80814, 86649, 88871, 90353, 92769, 171795332 ], 1718 next:= [ 207, rec( 1719 desc:= [ 214005 ], 1720 fp:= [ 4, 14 ], 1721 next:= [ 215, 213 ] ), 510, rec( 1722 desc:= [ 105003 ], 1723 fp:= [ 2, 12 ], 1724 next:= [ 520, 521 ] ), 555, 200, 522, rec( 1725 desc:= [ 212005 ], 1726 fp:= [ 4, 14 ], 1727 next:= [ 201, 199 ] ), 554, 214, 556, rec( 1728 desc:= [ 107003 ], 1729 fp:= [ 4, 212 ], 1730 next:= [ 210, rec( 1731 desc:= [ 115011, 215004 ], 1732 fp:= [ 4, 14 ], 1733 next:= [ 209, 211 ] ) ] ), rec( 1734 desc:= [ 106003 ], 1735 fp:= [ 2, 12 ], 1736 next:= [ 514, 515 ] ), rec( 1737 desc:= [ 212005 ], 1738 fp:= [ 4, 14 ], 1739 next:= [ 208, 206 ] ), 516, rec( 1740 desc:= [ 107003 ], 1741 fp:= [ 2, 12 ], 1742 next:= [ 502, 503 ] ), rec( 1743 desc:= [ 107003 ], 1744 fp:= [ 4, 212 ], 1745 next:= [ 203, rec( 1746 desc:= [ 114011, 214004 ], 1747 fp:= [ 4, 14 ], 1748 next:= [ 202, 204 ] ) ] ), 557, rec( 1749 desc:= [ 108003 ], 1750 fp:= [ 4, 212 ], 1751 next:= [ 217, rec( 1752 desc:= [ 116011, 216004 ], 1753 fp:= [ 4, 14 ], 1754 next:= [ 216, 218 ] ) ] ), 504, rec( 1755 desc:= [ 106003 ], 1756 fp:= [ 2, 12 ], 1757 next:= [ 508, 509 ] ) ] ), rec( 1758 fp:= [ 2468, 11161, 24697, 27555, 30413, 32914, 33271, 40569, 67542, 175969977, 81414, 87915, 93596, 96290 ], 1760 next:= [ rec( 1761 desc:= [ 214005 ], 1762 fp:= [ 2, 12 ], 1763 next:= [ 166, 164 ] ), 468, 512, 500, 506, 129, 518, 463, 147, 473, 1764478, rec( 1765 desc:= [ 212005 ], 1766 fp:= [ 2, 12 ], 1767 next:= [ 148, 146 ] ), 165, rec( 1768 desc:= [ 212005 ], 1769 fp:= [ 2, 12 ], 1770 next:= [ 130, 128 ] ) ] ) ] ), rec( 1771 fp:= [ 63091, 88821 ], 1772 level:= 5, 1773 next:= [ 684, 685 ] ), rec( 1774 fp:= [ 2725, 12117, 15825, 20812, 26271, 35663, 40958, 45945, 53089, 177558076, 59209, 78222, 78840, 83209 ], 1776 level:= 4, 1777 next:= [ rec( 1778 fp:= [ 64729, 96380 ], 1779 next:= [ 742, 720 ] ), 716, rec( 1780 fp:= [ 46670, 55126 ], 1781 next:= [ 709, 725 ] ), rec( 1782 fp:= [ 14079, 79579 ], 1783 next:= [ 705, 722 ] ), 717, rec( 1784 fp:= [ 33034, 48267 ], 1785 next:= [ 719, 740 ] ), 710, 706, rec( 1786 fp:= [ 45409, 83724 ], 1787 next:= [ 711, 724 ] ), rec( 1788 fp:= [ 14635, 94754 ], 1789 next:= [ 721, 707 ] ), 715, 726, 718, 723 ] ), 2892, rec( 1790 fp:= [ 32888, 37565, 79391 ], 1791 level:= 4, 1792 next:= [ 1993, 1954, 1955 ] ), 3487, rec( 1793 fp:= [ 58185, 59194 ], 1794 next:= [ rec( 1795 fp:= [ 32374, 63378 ], 1796 next:= [ 1751, 1755 ] ), 1763 ] ), rec( 1797 fp:= [ 16158, 38049, 70367, 98369 ], 1798 level:= 4, 1799 next:= [ 3092, 3090, 3089, 3088 ] ), 3488, rec( 1800 fp:= [ 1502, 67263, 69991 ], 1801 next:= [ rec( 1802 fp:= [ 43382, 52077 ], 1803 next:= [ 1866, 1864 ] ), rec( 1804 fp:= [ 11080, 42638, 47438 ], 1805 next:= [ 1880, rec( 1806 desc:= [ 107004 ], 1807 fp:= [ 6, 16 ], 1808 next:= [ 1868, 1869 ] ), 1873 ] ), rec( 1809 fp:= [ 29405, 92708 ], 1810 next:= [ 3010, 3014 ] ) ] ), rec( 1811 fp:= [ 67181, 99217 ], 1812 next:= [ rec( 1813 fp:= [ 24643, 33014, 44346 ], 1814 next:= [ rec( 1815 desc:= [ 105003 ], 1816 fp:= [ 2, 12 ], 1817 next:= [ 335, 336 ] ), 338, 438 ] ), rec( 1818 fp:= [ 10383, 11207 ], 1819 next:= [ 330, 264 ] ) ] ), rec( 1820 fp:= [ 2498, 3116, 4444, 5307, 10965, 12605, 15372, 16404, 20692, 27465, 182131264, 31992, 32446, 33591, 44015, 44769, 45506, 49305, 51698, 51810, 59138, 182265659, 67853, 71652, 72432, 76231, 78383, 84264, 85668, 87140, 88063, 94561, 182398360 ], 1824 level:= 4, 1825 next:= [ 2869, 2876, 2807, 2765, 2804, 2789, 2793, 2791, 2809, 2773, 18262776, 2769, 2805, 2790, 2877, 2878, 2771, 2775, 2768, 2788, 2810, 2806, 2766, 18272770, 2767, 2772, 2774, 2792, 2879, 2808, 2794, 2868, 2867 ] ), rec( 1828 fp:= [ 57675, 93741 ], 1829 level:= 4, 1830 next:= [ 1858, 1915 ] ), rec( 1831 fp:= [ 23011, 32888, 48717 ], 1832 level:= 4, 1833 next:= [ 2980, 2981, 2973 ] ), 585, 3, rec( 1834 fp:= [ 55187, 76367 ], 1835 level:= 5, 1836 next:= [ 1819, 1818 ] ), rec( 1837 fp:= [ 6403, 20865 ], 1838 level:= 4, 1839 next:= [ 950, 944 ] ), rec( 1840 fp:= [ 7987, 13054, 20027, 66287, 88535 ], 1841 level:= 4, 1842 next:= [ 115, 493, 457, 108, 109 ] ), rec( 1843 fp:= [ 51686, 71389, 91092 ], 1844 level:= 4, 1845 next:= [ 1222, 1231, 1213 ] ), rec( 1846 fp:= [ 3439, 31821, 37864, 50033, 52218, 67648, 98532 ], 1847 level:= 4, 1848 next:= [ 481, 788, 79, 78, 784, 1812, 447 ] ), rec( 1849 fp:= [ 4665, 25661, 73324 ], 1850 level:= 4, 1851 next:= [ 2142, 2136, 2913 ] ), rec( 1852 fp:= [ 1314, 1890, 19563, 38020, 39760, 54641, 56061, 58009, 60373, 185376285, 76466, 77254, 79990, 81358, 98819 ], 1854 level:= 4, 1855 next:= [ rec( 1856 fp:= [ 27921, 87589 ], 1857 next:= [ 2492, rec( 1858 desc:= [ 214004 ], 1859 fp:= [ 4, 14 ], 1860 next:= [ 2430, 2436 ] ) ] ), 2504, rec( 1861 fp:= [ 77735, 89614 ], 1862 next:= [ 2971, rec( 1863 desc:= [ 217006 ], 1864 fp:= [ 414, 612 ], 1865 next:= [ 2073, 2043 ] ) ] ), 2444, rec( 1866 fp:= [ 8699, 15367, 60438 ], 1867 next:= [ 2433, 2495, 3029 ] ), 2479, 2442, 2687, rec( 1868 desc:= [ 217005 ], 1869 fp:= [ 14, 212 ], 1870 next:= [ 2045, 2044 ] ), 2501, 2439, 2399, 2674, rec( 1871 fp:= [ 30431, 91929 ], 1872 next:= [ 2470, 2395 ] ), 2042 ] ), 3609, rec( 1873 fp:= [ 20067, 45753, 64002, 90229 ], 1874 level:= 4, 1875 next:= [ 36, 2707, rec( 1876 fp:= [ 57815, 98904 ], 1877 next:= [ 1932, 643 ] ), 3094 ] ), 731, rec( 1878 fp:= [ 62221, 82236 ], 1879 level:= 5, 1880 next:= [ 3066, 3062 ] ), rec( 1881 fp:= [ 1502, 7483, 69991 ], 1882 next:= [ rec( 1883 fp:= [ 11080, 15880, 20680, 42638, 47438, 52238, 57038 ], 1884 next:= [ 1874, rec( 1885 fp:= [ 72240, 76484 ], 1886 next:= [ 1881, 1876 ] ), 1875, rec( 1887 fp:= [ 35798, 60004 ], 1888 next:= [ 1872, 1877 ] ), rec( 1889 fp:= [ 40736, 51264 ], 1890 next:= [ 1878, 1870 ] ), 1879, 1871 ] ), rec( 1891 fp:= [ 58914, 98252 ], 1892 next:= [ rec( 1893 fp:= [ 10552, 15721, 67895 ], 1894 next:= [ 3016, 3591, 3012 ] ), 3554 ] ), rec( 1895 fp:= [ 29405, 77267, 92708 ], 1896 next:= [ 3011, 3017, 3015 ] ) ] ), rec( 1897 fp:= [ 4816, 5088, 55921, 56193, 80887, 81159, 81431 ], 1898 level:= 4, 1899 next:= [ 391, 392, 417, 418, 266, 265, 267 ] ), rec( 1900 fp:= [ 23826, 28817, 30732, 32647, 67851, 69766, 91359, 93274 ], 1901 level:= 4, 1902 next:= [ 72, 68, 66, 70, 67, 65, 63, 69 ] ), 650, 3603, rec( 1903 fp:= [ 64100, 96390 ], 1904 level:= 4, 1905 next:= [ 3086, 3083 ] ), 561, rec( 1906 fp:= [ 814, 1374, 5099, 6274, 6643, 8011, 14509, 21001, 23076, 26260, 190726743, 30693, 40385, 41364, 48387, 52112, 54217, 60572, 60981, 62349, 70264, 190871999, 73756, 73834, 75202, 79391, 80566, 81966, 86687, 88055, 88801, 89133, 190990783, 93451, 94819, 95400, 96280, 97368 ], 1910 level:= 4, 1911 next:= [ 1067, rec( 1912 fp:= [ 1457, 30113 ], 1913 next:= [ 2620, 1037 ] ), rec( 1914 fp:= [ 53629, 54935 ], 1915 next:= [ 1098, 2654 ] ), 1075, 2633, rec( 1916 fp:= [ 12554, 87905, 98891 ], 1917 next:= [ 2331, rec( 1918 desc:= [ 213005 ], 1919 fp:= [ 32, 2022 ], 1920 next:= [ 2322, 2327 ] ), 2333 ] ), 1102, 1029, 1048, 2662, rec( 1921 fp:= [ 64258, 85393 ], 1922 next:= [ 1041, 2626 ] ), 1033, 1032, 2647, rec( 1923 fp:= [ 50258, 71536 ], 1924 next:= [ 1072, 2640 ] ), rec( 1925 fp:= [ 49647, 62735 ], 1926 next:= [ 2625, 1040 ] ), 2648, 1093, 2608, rec( 1927 fp:= [ 3113, 9932 ], 1928 next:= [ 2265, 2254 ] ), 1094, 1045, rec( 1929 fp:= [ 15459, 38200 ], 1930 next:= [ 2639, 1071 ] ), 2614, rec( 1931 fp:= [ 31791, 66875, 87748 ], 1932 next:= [ 2257, 2260, rec( 1933 desc:= [ 216005 ], 1934 fp:= [ 6, 16 ], 1935 next:= [ 2259, 2266 ] ) ] ), rec( 1936 fp:= [ 5616, 92418 ], 1937 next:= [ 1097, 2653 ] ), 1076, 2313, 2613, rec( 1938 fp:= [ 10501, 12480 ], 1939 next:= [ 2275, 2273 ] ), 1101, 1129, 1068, 2634, rec( 1940 fp:= [ 57479, 80374 ], 1941 next:= [ 2318, 2316 ] ), rec( 1942 fp:= [ 43896, 89904 ], 1943 next:= [ 1125, 2668 ] ), 1121, 1049 ] ), rec( 1944 fp:= [ 63358, 97258 ], 1945 next:= [ rec( 1946 fp:= [ 35519, 44889, 45211 ], 1947 next:= [ rec( 1948 fp:= [ 75430, 96451 ], 1949 next:= [ rec( 1950 desc:= [ 105003 ], 1951 fp:= [ 2, 12 ], 1952 next:= [ 1542, 1543 ] ), rec( 1953 desc:= [ 106003 ], 1954 fp:= [ 2, 12 ], 1955 next:= [ 1566, 1567 ] ) ] ), rec( 1956 fp:= [ 93413, 97767 ], 1957 next:= [ 1601, 1597 ] ), rec( 1958 fp:= [ 87931, 90918 ], 1959 next:= [ 1571, 1547 ] ) ] ), rec( 1960 fp:= [ 5455, 39915 ], 1961 next:= [ rec( 1962 fp:= [ 2140, 71873 ], 1963 next:= [ 1529, 1509 ] ), rec( 1964 fp:= [ 5450, 9885 ], 1965 next:= [ 1538, 1562 ] ) ] ) ] ), rec( 1966 fp:= [ 22571, 42876, 63861, 69573, 80217 ], 1967 level:= 4, 1968 next:= [ rec( 1969 fp:= [ 95294, 95586 ], 1970 next:= [ 3074, 1910 ] ), 3071, 3033, 1912, 1908 ] ), 334, rec( 1971 fp:= [ 12125, 14671, 88963 ], 1972 level:= 4, 1973 next:= [ 660, 655, 656 ] ), rec( 1974 fp:= [ 9758, 68495, 88957 ], 1975 level:= 4, 1976 next:= [ 2886, 2888, 2887 ] ), rec( 1977 fp:= [ 17581, 24523, 45508, 63861, 87478 ], 1978 level:= 4, 1979 next:= [ 1909, 3582, rec( 1980 fp:= [ 38505, 78139 ], 1981 next:= [ 3032, 3598 ] ), 3599, rec( 1982 fp:= [ 35811, 39848 ], 1983 next:= [ 3070, 3607 ] ) ] ), rec( 1984 fp:= [ 68506, 78544 ], 1985 level:= 4, 1986 next:= [ 5, 9 ] ), rec( 1987 fp:= [ 36907, 36997 ], 1988 next:= [ rec( 1989 fp:= [ 32374, 71098 ], 1990 next:= [ rec( 1991 fp:= [ 20776, 39534 ], 1992 next:= [ 2691, 2692 ] ), 2690 ] ), rec( 1993 fp:= [ 31760, 71782 ], 1994 next:= [ 3451, 3444 ] ) ] ), rec( 1995 fp:= [ 18679, 33939, 55832 ], 1996 next:= [ rec( 1997 fp:= [ 5027, 32460, 56432, 67049, 75411, 84506 ], 1998 next:= [ 988, rec( 1999 desc:= [ 106004 ], 2000 fp:= [ 6, 16 ], 2001 next:= [ 968, 969 ] ), 997, 999, rec( 2002 desc:= [ 109004 ], 2003 fp:= [ 6, 16 ], 2004 next:= [ 983, 984 ] ), 973 ] ), rec( 2005 fp:= [ 6403, 20865, 48335, 51900 ], 2006 next:= [ 981, 949, 966, 947 ] ), rec( 2007 fp:= [ 35315, 48250, 63594, 72954 ], 2008 next:= [ 2162, 2164, 2150, 2146 ] ) ] ), rec( 2009 fp:= [ 1890, 2647, 7626, 12599, 14990, 19449, 22144, 31955, 35988, 46279, 201054641, 58957, 59377, 76285, 78251, 88871, 92769 ], 2011 level:= 4, 2012 next:= [ 920, rec( 2013 desc:= [ 214005 ], 2014 fp:= [ 4, 14 ], 2015 next:= [ 936, 931 ] ), 1148, 1195, 907, 866, 1156, rec( 2016 desc:= [ 212005 ], 2017 fp:= [ 4, 14 ], 2018 next:= [ 910, 905 ] ), 1193, 838, 852, 933, 1197, rec( 2019 desc:= [ 212005 ], 2020 fp:= [ 4, 14 ], 2021 next:= [ 923, 918 ] ), 1152, 1199, 1144 ] ), rec( 2022 fp:= [ 6822, 6832, 6912 ], 2023 next:= [ rec( 2024 fp:= [ 26600, 94703 ], 2025 next:= [ 1923, 1922 ] ), 1925, 3063 ] ), rec( 2026 fp:= [ 18757, 84518, 87246 ], 2027 next:= [ rec( 2028 fp:= [ 6403, 20865 ], 2029 next:= [ 951, 945 ] ), rec( 2030 fp:= [ 5027, 67049, 75411 ], 2031 next:= [ 958, 995, rec( 2032 desc:= [ 109004 ], 2033 fp:= [ 6, 16 ], 2034 next:= [ 953, 954 ] ) ] ), rec( 2035 fp:= [ 51548, 89187 ], 2036 next:= [ 2170, 2158 ] ) ] ), 3544, rec( 2037 fp:= [ 36660, 87800 ], 2038 level:= 5, 2039 next:= [ 1847, 1846 ] ), rec( 2040 fp:= [ 1370, 32374, 63378 ], 2041 level:= 4, 2042 next:= [ 2693, 2701, 2697 ] ),, rec( 2043 fp:= [ 12555, 18331, 38670, 48171, 48384, 63181, 65626, 68510, 68723, 204471538, 80636, 85965, 91877, 98091 ], 2045 level:= 4, 2046 next:= [ rec( 2047 fp:= [ 22939, 84429 ], 2048 next:= [ 243, 1612 ] ), rec( 2049 fp:= [ 60291, 82492 ], 2050 next:= [ 410, 1696 ] ), rec( 2051 fp:= [ 25448, 35761 ], 2052 next:= [ 409, 1697 ] ), 1268, rec( 2053 fp:= [ 60681, 87327 ], 2054 next:= [ 384, 1682 ] ), 1269, 1265, 1270, rec( 2055 fp:= [ 28150, 80359 ], 2056 next:= [ 383, 1683 ] ), rec( 2057 fp:= [ 28351, 69429 ], 2058 next:= [ 247, 1611 ] ), 1266, 1267, rec( 2059 fp:= [ 14920, 61444 ], 2060 next:= [ 1610, 246 ] ), 1264 ] ), rec( 2061 fp:= [ 15346, 23920, 28672, 41998, 62354, 89563, 96372 ], 2062 level:= 4, 2063 next:= [ rec( 2064 fp:= [ 72017, 93522 ], 2065 next:= [ 1507, 1527 ] ), rec( 2066 fp:= [ 39951, 64773 ], 2067 next:= [ 1574, 1582 ] ), rec( 2068 fp:= [ 1414, 41685 ], 2069 next:= [ 1510, 1530 ] ), rec( 2070 fp:= [ 14656, 30887 ], 2071 next:= [ 1531, 1511 ] ), rec( 2072 fp:= [ 23574, 42854 ], 2073 next:= [ 1585, 1593 ] ), rec( 2074 fp:= [ 65201, 84636 ], 2075 next:= [ 1581, 1573 ] ), rec( 2076 fp:= [ 16541, 51391 ], 2077 next:= [ 1594, 1586 ] ) ] ), rec( 2078 fp:= [ 76318, 85319, 85399 ], 2079 next:= [ rec( 2080 fp:= [ 17449, 59325 ], 2081 next:= [ 586, 587 ] ), 589, rec( 2082 fp:= [ 18083, 55826 ], 2083 next:= [ 1512, 1539 ] ) ] ), rec( 2084 fp:= [ 52810, 66557, 77794 ], 2085 level:= 4, 2086 next:= [ 1237, rec( 2087 fp:= [ 5935, 83181 ], 2088 next:= [ 29, 642 ] ), 1935 ] ), 3491, rec( 2089 fp:= [ 31365, 93680 ], 2090 level:= 5, 2091 next:= [ 750, 749 ] ), rec( 2092 fp:= [ 7626, 12599, 13257, 50982, 59377, 67367, 69630, 78251 ], 2093 level:= 4, 2094 next:= [ rec( 2095 fp:= [ 3185, 4926, 39502, 45419 ], 2096 next:= [ rec( 2097 desc:= [ 113002 ], 2098 fp:= [ 9, 613 ], 2099 next:= [ 1010, 2616 ] ), 1042, 2601, 2621 ] ), rec( 2100 fp:= [ 26768, 52814, 57037, 92327 ], 2101 next:= [ 2655, 1124, rec( 2102 desc:= [ 110002 ], 2103 fp:= [ 9, 613 ], 2104 next:= [ 1108, 2663 ] ), 2665 ] ), rec( 2105 fp:= [ 12959, 84248 ], 2106 next:= [ 2246, 2286 ] ), rec( 2107 fp:= [ 22713, 63477 ], 2108 next:= [ 2340, 2296 ] ), 1128, rec( 2109 fp:= [ 51055, 71482 ], 2110 next:= [ 2335, 2291 ] ), rec( 2111 fp:= [ 23669, 69639 ], 2112 next:= [ 2338, 2294 ] ), 1050 ] ), rec( 2113 fp:= [ 7684, 9959, 48717, 49691, 67613 ], 2114 level:= 4, 2115 next:= [ 3532, 3570, 3571, 3525, 3578 ] ), rec( 2116 fp:= [ 69247, 81114 ], 2117 next:= [ rec( 2118 fp:= [ 1573, 71499, 74779 ], 2119 next:= [ 236, rec( 2120 desc:= [ 106004 ], 2121 fp:= [ 6, 16 ], 2122 next:= [ 224, 225 ] ), 229 ] ), rec( 2123 fp:= [ 38363, 49126 ], 2124 next:= [ 222, 220 ] ) ] ), rec( 2125 fp:= [ 59577, 59849 ], 2126 level:= 4, 2127 next:= [ 662, 661 ] ), 43, rec( 2128 fp:= [ 6403, 20865, 48335, 51900 ], 2129 level:= 4, 2130 next:= [ 980, 948, 965, 946 ] ), rec( 2131 fp:= [ 13932, 13974, 71053 ], 2132 level:= 4, 2133 next:= [ 77, 41, 654 ] ), rec( 2134 fp:= [ 21763, 76457 ], 2135 level:= 4, 2136 next:= [ rec( 2137 fp:= [ 83258, 90397 ], 2138 next:= [ 2135, 2141 ] ), rec( 2139 fp:= [ 19990, 41823 ], 2140 next:= [ 2140, 2134 ] ) ] ), rec( 2141 fp:= [ 67600, 72119, 82828, 84201 ], 2142 level:= 4, 2143 next:= [ 1785, 1789, 1841, 1834 ] ), rec( 2144 fp:= [ 2601, 4683, 7626, 13257, 18668, 19581, 29324, 35977, 36197, 37636, 214539016, 41608, 47932, 48152, 52264, 53563, 57566, 57675, 61956, 64219, 66296, 214666981, 68156, 73911, 76391, 78023, 78251, 78936, 78984, 79322, 80111, 87159, 214788346, 89978, 90206, 92570, 95332, 95949, 96851 ], 2148 level:= 4, 2149 next:= [ rec( 2150 fp:= [ 41291, 55652 ], 2151 next:= [ 2307, 2344 ] ), 1130, rec( 2152 fp:= [ 7176, 23155, 24555, 48178 ], 2153 next:= [ 2603, 1044, rec( 2154 desc:= [ 115002 ], 2155 fp:= [ 9, 613 ], 2156 next:= [ 1012, 2618 ] ), 2623 ] ), rec( 2157 fp:= [ 1152, 67973 ], 2158 next:= [ 2284, 2238 ] ), rec( 2159 fp:= [ 35212, 42905 ], 2160 next:= [ 2292, 2336 ] ), rec( 2161 fp:= [ 45962, 56959, 58793, 89306 ], 2162 next:= [ 2602, 1043, 2622, rec( 2163 desc:= [ 112002 ], 2164 fp:= [ 9, 613 ], 2165 next:= [ 1011, 2617 ] ) ] ), rec( 2166 fp:= [ 44205, 80847 ], 2167 next:= [ 2233, 2279 ] ), rec( 2168 fp:= [ 29088, 34694, 84586, 85713 ], 2169 next:= [ 1074, 2638, rec( 2170 desc:= [ 117002 ], 2171 fp:= [ 9, 613 ], 2172 next:= [ 1058, 2636 ] ), 2628 ] ), rec( 2173 fp:= [ 18256, 68459 ], 2174 next:= [ 2282, 2236 ] ), rec( 2175 fp:= [ 38517, 45755 ], 2176 next:= [ 2345, 2308 ] ), rec( 2177 fp:= [ 15937, 42045 ], 2178 next:= [ 2232, 2278 ] ), rec( 2179 fp:= [ 47767, 95210 ], 2180 next:= [ 2337, 2293 ] ), rec( 2181 fp:= [ 517, 17543, 31835, 51934 ], 2182 next:= [ 2637, rec( 2183 desc:= [ 118002 ], 2184 fp:= [ 9, 613 ], 2185 next:= [ 1057, 2635 ] ), 1073, 2627 ] ), rec( 2186 fp:= [ 22211, 27629 ], 2187 next:= [ 2247, 2287 ] ), rec( 2188 fp:= [ 28330, 88456 ], 2189 next:= [ 2281, 2235 ] ), rec( 2190 fp:= [ 13617, 49150 ], 2191 next:= [ 2346, 2309 ] ), rec( 2192 fp:= [ 29856, 33802, 42348, 63164 ], 2193 next:= [ 2657, rec( 2194 desc:= [ 113002 ], 2195 fp:= [ 9, 613 ], 2196 next:= [ 1110, 2664 ] ), 1126, 2667 ] ), rec( 2197 fp:= [ 2068, 12104 ], 2198 next:= [ 2334, 2290 ] ), rec( 2199 fp:= [ 50647, 80932 ], 2200 next:= [ 2231, 2277 ] ), rec( 2201 fp:= [ 9629, 91025 ], 2202 next:= [ 2239, 2285 ] ), 1046, rec( 2203 fp:= [ 40623, 48863, 53971, 89614 ], 2204 next:= [ rec( 2205 desc:= [ 113002 ], 2206 fp:= [ 9, 613 ], 2207 next:= [ 1083, 2649 ] ), 1099, 2651, 2641 ] ), 1078, rec( 2208 fp:= [ 12842, 69609 ], 2209 next:= [ 2248, 2288 ] ), 1103, rec( 2210 fp:= [ 2029, 84633 ], 2211 next:= [ 2230, 2276 ] ), 1052, rec( 2212 fp:= [ 3472, 3675, 8580, 98659 ], 2213 next:= [ 1100, 2642, 2652, rec( 2214 desc:= [ 113002 ], 2215 fp:= [ 9, 613 ], 2216 next:= [ 1084, 2650 ] ) ] ), rec( 2217 fp:= [ 50332, 98431 ], 2218 next:= [ 2298, 2342 ] ), rec( 2219 fp:= [ 30056, 44359 ], 2220 next:= [ 2295, 2339 ] ), 1077, rec( 2221 fp:= [ 37020, 63798 ], 2222 next:= [ 2237, 2283 ] ), 1104, rec( 2223 fp:= [ 10477, 77138 ], 2224 next:= [ 2280, 2234 ] ), 1051, rec( 2225 fp:= [ 5717, 36798 ], 2226 next:= [ 2297, 2341 ] ), rec( 2227 fp:= [ 2067, 20809, 25489, 41419 ], 2228 next:= [ 2619, 1038, rec( 2229 desc:= [ 111002 ], 2230 fp:= [ 9, 613 ], 2231 next:= [ 1006, 2615 ] ), 2599 ] ), rec( 2232 fp:= [ 74559, 95179 ], 2233 next:= [ 2343, 2299 ] ), rec( 2234 fp:= [ 4231, 83022 ], 2235 next:= [ 2249, 2289 ] ) ] ), rec( 2236 fp:= [ 8461, 13448, 70033, 70428, 70823, 80913, 81216, 82416, 85900, 223786203, 87403, 92940, 93335, 93730 ], 2238 level:= 4, 2239 next:= [ 526, 525, 97, rec( 2240 desc:= [ 214004 ], 2241 fp:= [ 2, 12 ], 2242 next:= [ 103, 101 ] ), 106, 540, rec( 2243 fp:= [ 94195, 97252 ], 2244 next:= [ 95, 96 ] ), rec( 2245 fp:= [ 14509, 21226 ], 2246 next:= [ 99, 102 ] ), 539, rec( 2247 fp:= [ 75161, 81878 ], 2248 next:= [ 98, 100 ] ), rec( 2249 fp:= [ 63425, 89352 ], 2250 next:= [ 105, 104 ] ), 455, 454, 451 ] ), rec( 2251 fp:= [ 505, 34585, 42063, 64547 ], 2252 level:= 4, 2253 next:= [ 704, 700, 703, 701 ] ), rec( 2254 fp:= [ 13407, 26743, 30693, 63764, 68278, 70031, 73834, 75202, 94819, 225595402, 97368 ], 2256 level:= 4, 2257 next:= [ 2660, rec( 2258 fp:= [ 34414, 94577 ], 2259 next:= [ 1039, 2624 ] ), 1031, 1127, 1119, rec( 2260 fp:= [ 207, 53325 ], 2261 next:= [ 1123, 2666 ] ), 2612, 2270, rec( 2262 fp:= [ 40789, 67993 ], 2263 next:= [ rec( 2264 desc:= [ 214005 ], 2265 fp:= [ 12, 22 ], 2266 next:= [ 2320, 2324 ] ), 3026 ] ), 3027, 1047 ] ), rec( 2267 fp:= [ 9754, 21621 ], 2268 next:= [ rec( 2269 fp:= [ 1314, 6900, 9106, 11886, 12554, 15687, 26907, 27563, 30239, 227039760, 40067, 41435, 45604, 48176, 53156, 53747, 57156, 59622, 69468, 71509, 227175509, 84362, 92778, 94770, 98458 ], 2272 next:= [ 2812, 2880, 3107, 2780, 3122, 3314, rec( 2273 desc:= [ 105003 ], 2274 fp:= [ 2, 12 ], 2275 next:= [ 2814, 2815 ] ), 2779, 2797, 2813, rec( 2276 desc:= [ 104003 ], 2277 fp:= [ 2, 12 ], 2278 next:= [ 2873, 2874 ] ), 3311, 2778, 3121, rec( 2279 desc:= [ 105003 ], 2280 fp:= [ 2, 12 ], 2281 next:= [ rec( 2282 desc:= [ 106003 ], 2283 fp:= [ 2, 12 ], 2284 next:= [ 2782, 2783 ] ), 2781 ] ), 3318, 3115, 3128, 3129, rec( 2285 desc:= [ 105003 ], 2286 fp:= [ 4, 212 ], 2287 next:= [ 2799, 2798 ] ), 3108, 2796, 3114, 3321, 2875 ] ), rec( 2288 fp:= [ 5127, 7487, 15420, 18938, 23480, 26730, 28319, 33908, 41417, 228943673, 45187, 45322, 49168, 51918, 52089, 54109, 84045, 86019, 91699, 98732 ], 2290 next:= [ 2764, 3125, 3111, 2802, 2787, 3112, 3131, 3316, 3126, 2786, 22912763, 2871, 3320, 2762, 3118, 3313, 3309, 3119, 2866, 2803 ] ) ] ), 558, rec( 2292 fp:= [ 9754, 21621 ], 2293 next:= [ rec( 2294 fp:= [ 61364, 69355, 79925, 84674, 92778 ], 2295 next:= [ 3499, 3185, 3174, 3497, 3173 ] ), 3508 ] ), rec( 2296 fp:= [ 63657, 78917 ], 2297 next:= [ rec( 2298 fp:= [ 5262, 38608, 73185 ], 2299 next:= [ rec( 2300 fp:= [ 48504, 70596 ], 2301 next:= [ 439, 437 ] ), rec( 2302 fp:= [ 60703, 60867 ], 2303 next:= [ 344, 337 ] ), rec( 2304 fp:= [ 49977, 74644 ], 2305 next:= [ rec( 2306 desc:= [ 105003 ], 2307 fp:= [ 2, 12 ], 2308 next:= [ 342, 343 ] ), rec( 2309 desc:= [ 105003 ], 2310 fp:= [ 2, 12 ], 2311 next:= [ 332, 333 ] ) ] ) ] ), rec( 2312 fp:= [ 65951, 78735 ], 2313 next:= [ rec( 2314 fp:= [ 74693, 80836 ], 2315 next:= [ 328, 340 ] ), rec( 2316 fp:= [ 18218, 55237 ], 2317 next:= [ 270, 260 ] ) ] ) ] ), rec( 2318 fp:= [ 59194, 68275 ], 2319 next:= [ rec( 2320 fp:= [ 9758, 10938, 40991, 68495, 71044, 88957 ], 2321 next:= [ 1768, rec( 2322 fp:= [ 15171, 16238 ], 2323 next:= [ 1778, 1777 ] ), rec( 2324 fp:= [ 67459, 92786 ], 2325 next:= [ 1774, 1773 ] ), 1776, rec( 2326 fp:= [ 10575, 92481 ], 2327 next:= [ 1770, 1769 ] ), 1772 ] ), rec( 2328 fp:= [ 9540, 12327, 31887, 54234, 69179, 89641, 91526 ], 2329 next:= [ 2821, 2828, 2819, 2820, 2831, 2829, 2830 ] ) ] ), rec( 2330 fp:= [ 7626, 19581, 35977, 35979, 42686, 46857, 47932, 47934, 54641, 233157566, 61348, 64330, 66596, 66981, 73303, 76285, 78936, 82992, 88240, 94947, 233295332 ], 2333 level:= 4, 2334 next:= [ 1138, 1137, 1162, rec( 2335 fp:= [ 6469, 32396 ], 2336 next:= [ 803, 804 ] ), 800, rec( 2337 fp:= [ 1402, 88457 ], 2338 next:= [ rec( 2339 desc:= [ 215005 ], 2340 fp:= [ 4, 14 ], 2341 next:= [ 887, 885 ] ), 890 ] ), 1161, rec( 2342 fp:= [ 14380, 21097 ], 2343 next:= [ 808, 805 ] ), rec( 2344 fp:= [ 33362, 55981 ], 2345 next:= [ 809, rec( 2346 desc:= [ 217005 ], 2347 fp:= [ 2, 12 ], 2348 next:= [ 806, 807 ] ) ] ), 1190, rec( 2349 fp:= [ 77768, 84485 ], 2350 next:= [ 801, 802 ] ), 888, 812, 1175, rec( 2351 fp:= [ 85537, 88594 ], 2352 next:= [ 811, 813 ] ), 882, 1176, rec( 2353 fp:= [ 51556, 71260 ], 2354 next:= [ 883, 881 ] ), 886, rec( 2355 fp:= [ 44500, 64204 ], 2356 next:= [ 891, 889 ] ), 1135 ] ), 632, rec( 2357 fp:= [ 33939, 35279, 55832 ], 2358 next:= [ rec( 2359 fp:= [ 5027, 25942, 32460, 34304, 36891, 56432, 63581, 67049, 70905, 236075411, 84506, 85378, 88937, 96326 ], 2361 next:= [ rec( 2362 fp:= [ 56179, 83518 ], 2363 next:= [ 993, 985 ] ), 990, rec( 2364 fp:= [ 16034, 35278 ], 2365 next:= [ 972, 977 ] ), 994, 979, 974, 986, 989, rec( 2366 fp:= [ 55768, 90411 ], 2367 next:= [ 998, 976 ] ), rec( 2368 fp:= [ 3663, 89262 ], 2369 next:= [ 987, 992 ] ), rec( 2370 fp:= [ 10936, 37777 ], 2371 next:= [ 978, 970 ] ), 975, 971, rec( 2372 fp:= [ 6164, 61344 ], 2373 next:= [ 1000, 991 ] ) ] ), rec( 2374 fp:= [ 40530, 88892 ], 2375 next:= [ rec( 2376 fp:= [ 16536, 20950, 65627 ], 2377 next:= [ 2168, 2153, 3289 ] ), rec( 2378 fp:= [ 7868, 36966, 50060 ], 2379 next:= [ 2166, 2152, 3288 ] ) ] ), rec( 2380 fp:= [ 26807, 35315, 48250, 63594, 72954, 98511 ], 2381 next:= [ 2167, 2163, 2165, 2151, 2147, 2169 ] ) ] ), 2896, 2705, rec( 2382 fp:= [ 17113, 62023 ], 2383 level:= 4, 2384 next:= [ 752, 751 ] ), rec( 2385 fp:= [ 7684, 16427, 51095, 54873, 67613, 94605 ], 2386 level:= 4, 2387 next:= [ 2911, 2977, 2978, 2975, 2983, 2909 ] ), rec( 2388 fp:= [ 24863, 34555, 35519, 45211, 54903, 55867, 65559, 72891 ], 2389 level:= 4, 2390 next:= [ rec( 2391 fp:= [ 51880, 92652 ], 2392 next:= [ 2564, 2572 ] ), rec( 2393 fp:= [ 12639, 94930 ], 2394 next:= [ 2563, 2571 ] ), rec( 2395 fp:= [ 75430, 96451 ], 2396 next:= [ 2539, 2555 ] ), rec( 2397 fp:= [ 39394, 93785 ], 2398 next:= [ 2543, 2559 ] ), rec( 2399 fp:= [ 78730, 81199 ], 2400 next:= [ 2558, 2542 ] ), rec( 2401 fp:= [ 46271, 46464 ], 2402 next:= [ 2583, 2575 ] ), rec( 2403 fp:= [ 761, 18375 ], 2404 next:= [ 2584, 2576 ] ), rec( 2405 fp:= [ 8879, 78168 ], 2406 next:= [ 2589, 2597 ] ) ] ), rec( 2407 fp:= [ 43382, 52077 ], 2408 level:= 4, 2409 next:= [ 1865, 1863 ] ), rec( 2410 fp:= [ 58846, 68427, 68507 ], 2411 next:= [ rec( 2412 fp:= [ 658, 5959, 6643, 13117, 20669, 25970, 26260, 33522, 41364, 241345587, 53139, 54217, 60981, 65598, 73150, 73834, 80702, 85215, 86687, 92767, 241493451 ], 2415 next:= [ 3337, rec( 2416 fp:= [ 49236, 97749 ], 2417 next:= [ 3336, 3339 ] ), rec( 2418 fp:= [ 6050, 42940 ], 2419 next:= [ 3457, 2567 ] ), 3323, 3322, 3329, rec( 2420 fp:= [ 32538, 61091 ], 2421 next:= [ 2593, 3462 ] ), 3327, rec( 2422 fp:= [ 12775, 29079 ], 2423 next:= [ 2579, 3459 ] ), 3338, 3332, rec( 2424 fp:= [ 57161, 72418 ], 2425 next:= [ 3460, 2580 ] ), rec( 2426 fp:= [ 28982, 39305 ], 2427 next:= [ 3453, 2547 ] ), 3330, rec( 2428 fp:= [ 15745, 52406 ], 2429 next:= [ 3324, 3326 ] ), rec( 2430 fp:= [ 24585, 43696 ], 2431 next:= [ 3456, 2551 ] ), 3325, 3335, rec( 2432 fp:= [ 9505, 28940 ], 2433 next:= [ 2550, 3455 ] ), 3333, rec( 2434 fp:= [ 27735, 64487 ], 2435 next:= [ 3458, 2568 ] ) ] ), rec( 2436 fp:= [ 1370, 7415, 15650, 23885, 24012, 32374, 33294, 40736, 48178, 243754223, 63378, 93462 ], 2438 next:= [ 1216, 1217, 1235, 1226, 1233, 1234, 1227, 1236, 1218, 1215, 24391225, 1224 ] ), rec( 2440 fp:= [ 640, 6051, 11462, 24208, 42466, 44219, 47877, 51771, 63886, 244164230, 69297, 71782, 74708, 79334, 91793, 99345 ], 2442 next:= [ 2586, 2562, 2574, 2594, 2585, 2569, 2556, 2570, 2561, 2553, 24432573, 2554, 2598, 2548, 2582, 2581 ] ) ] ), rec( 2444 fp:= [ 13678, 51619 ], 2445 level:= 5, 2446 next:= [ 32, 34 ] ), rec( 2447 fp:= [ 4491, 86697 ], 2448 level:= 4, 2449 next:= [ 2079, 2078 ] ), rec( 2450 fp:= [ 5922, 7290, 26907, 63613, 64330, 85966 ], 2451 level:= 4, 2452 next:= [ 1733, 2222, rec( 2453 fp:= [ 68028, 68285 ], 2454 next:= [ 1487, 1435 ] ), 1442, 1492, 1947 ] ), rec( 2455 fp:= [ 13820, 84703, 99092 ], 2456 level:= 4, 2457 next:= [ 621, 603, 612 ] ), rec( 2458 fp:= [ 18977, 24643, 27348, 33014, 38680, 41385, 47051, 52717 ], 2459 level:= 4, 2460 next:= [ 1089, 1018, 1090, 1024, 1064, 1023, 1063, 1116 ] ), rec( 2461 fp:= [ 29390, 52857, 99267 ], 2462 level:= 4, 2463 next:= [ 2891, 2890, 2889 ] ), rec( 2464 fp:= [ 68053, 88965 ], 2465 level:= 4, 2466 next:= [ rec( 2467 fp:= [ 72919, 87251 ], 2468 next:= [ 1822, 2992 ] ), 2918 ] ), rec( 2469 fp:= [ 72919, 76318 ], 2470 next:= [ rec( 2471 fp:= [ 33294, 40736 ], 2472 next:= [ 576, 567 ] ), 594 ] ), rec( 2473 fp:= [ 19764, 31631 ], 2474 next:= [ rec( 2475 fp:= [ 1890, 7626, 12599, 64330, 76285, 95332 ], 2476 next:= [ 186, 492, 552, rec( 2477 desc:= [ 108003 ], 2478 fp:= [ 4, 212 ], 2479 next:= [ 189, rec( 2480 desc:= [ 117011, 217003 ], 2481 fp:= [ 4, 14 ], 2482 next:= [ 188, 190 ] ) ] ), rec( 2483 desc:= [ 214004 ], 2484 fp:= [ 4, 14 ], 2485 next:= [ 187, 185 ] ), rec( 2486 desc:= [ 106003 ], 2487 fp:= [ 2, 12 ], 2488 next:= [ 490, 491 ] ) ] ), rec( 2489 fp:= [ 11161, 30413, 67542, 87915 ], 2490 next:= [ 453, 488, 93, rec( 2491 desc:= [ 214004 ], 2492 fp:= [ 2, 12 ], 2493 next:= [ 94, 92 ] ) ] ) ] ), rec( 2494 fp:= [ 32691, 62898, 74915, 82828, 84201 ], 2495 level:= 4, 2496 next:= [ 1824, rec( 2497 fp:= [ 89694, 98874 ], 2498 next:= [ 2922, 2921 ] ), rec( 2499 fp:= [ 28174, 32698 ], 2500 next:= [ 2917, 2920 ] ), rec( 2501 fp:= [ 40346, 43712, 67404, 86883 ], 2502 next:= [ 2996, rec( 2503 desc:= [ 113002 ], 2504 fp:= [ 9, 613 ], 2505 next:= [ 1826, 3001 ] ), 3000, 1823 ] ), rec( 2506 fp:= [ 1186, 26829, 79535, 91273 ], 2507 next:= [ 2998, 2995, 2994, 2999 ] ) ] ), rec( 2508 fp:= [ 45753, 47083, 64002, 98154 ], 2509 level:= 4, 2510 next:= [ 1241, 1938, 649, 1939 ] ), rec( 2511 fp:= [ 15199, 50403, 79656 ], 2512 level:= 4, 2513 next:= [ 76, 74, 75 ] ), rec( 2514 fp:= [ 19985, 22274, 71296, 72228, 81269, 94837, 96739 ], 2515 level:= 4, 2516 next:= [ rec( 2517 fp:= [ 34393, 34665 ], 2518 next:= [ 244, 1608 ] ), 2207, rec( 2519 fp:= [ 8468, 79636 ], 2520 next:= [ 309, 1640 ] ), 2965, 1261, 1260, 2195 ] ), rec( 2521 fp:= [ 58846, 68427, 68507 ], 2522 next:= [ rec( 2523 fp:= [ 13407, 13511, 73150, 73834, 92767, 94819 ], 2524 next:= [ rec( 2525 fp:= [ 1050, 77211 ], 2526 next:= [ 2591, 3461 ] ), 3334, 3328, rec( 2527 fp:= [ 14080, 29185 ], 2528 next:= [ 3454, 2549 ] ), 3331, 3593 ] ), rec( 2529 fp:= [ 15650, 24012, 32374, 40736 ], 2530 next:= [ 1208, 1206, 1207, 1209 ] ), rec( 2531 fp:= [ 6051, 16873, 31760, 71782 ], 2532 next:= [ 2560, 2596, 2592, 2552 ] ) ] ), rec( 2533 fp:= [ 13550, 15168, 25877, 27555, 35777, 37187, 39777, 40569, 54130, 253455644, 62375, 94962, 97614, 98732 ], 2535 level:= 4, 2536 next:= [ rec( 2537 fp:= [ 16267, 74120 ], 2538 next:= [ 2854, 1650 ] ), 3502, 3102, 347, rec( 2539 fp:= [ 26328, 86287 ], 2540 next:= [ 1271, 2727 ] ), 3103, 3559, 279, 2751, rec( 2541 fp:= [ 22701, 67056 ], 2542 next:= [ 2728, 1272 ] ), rec( 2543 fp:= [ 93278, 93335 ], 2544 next:= [ 1284, 2726 ] ), 3305, rec( 2545 fp:= [ 35940, 79754 ], 2546 next:= [ 1614, 2849 ] ), 3301 ] ), 11, rec( 2547 fp:= [ 4444, 10965, 14224, 20692, 20745, 22693, 24185, 32446, 36571, 254841150, 42226, 43092, 43155, 44674, 59138, 64573, 65659, 69152, 70033, 70428, 254970823, 75439, 77387, 81216, 82416, 86203, 87140, 87403, 89641, 95844, 97786, 255097849, 99368 ], 2551 level:= 4, 2552 next:= [ rec( 2553 fp:= [ 24638, 84170, 86464 ], 2554 next:= [ 1397, 1469, 1390 ] ), rec( 2555 fp:= [ 7646, 22262 ], 2556 next:= [ 1396, 1463 ] ), 1418, rec( 2557 fp:= [ 12596, 15116 ], 2558 next:= [ 1464, 1402 ] ), 1415, 1743, 1416, rec( 2559 fp:= [ 43915, 78418, 79493 ], 2560 next:= [ 1395, 1391, 1467 ] ), 1412, 1417, 1413, 1410, 1739, 1722, rec( 2561 fp:= [ 8392, 10234, 12010 ], 2562 next:= [ 1401, 1470, 1392 ] ), 1409, rec( 2563 fp:= [ 72563, 92307 ], 2564 next:= [ 1462, rec( 2565 desc:= [ 214004 ], 2566 fp:= [ 2, 12 ], 2567 next:= [ 1400, 1398 ] ) ] ), 1411, 1474, 1473, 1475, 1419, 1744, 25681478, 1480, 1479, rec( 2569 fp:= [ 35272, 64454, 73107 ], 2570 next:= [ 1389, 1468, 1399 ] ), 1481, 1723, 1420, 1414, 1740, 25711724 ] ), rec( 2572 fp:= [ 4711, 5127, 7487, 15420, 18938, 23480, 26730, 28319, 30545, 33908, 257338608, 41417, 43673, 45187, 45322, 49168, 50475, 51918, 52089, 54109, 57584, 257475147, 84045, 86019, 89874, 91699, 94082, 98732 ], 2575 level:= 4, 2576 next:= [ 3503, 2761, 3123, 3109, 2800, 2785, 3110, 3130, 3505, 3315, 25773560, 3124, 2784, 2760, 2870, 3319, 3507, 2759, 3116, 3312, rec( 2578 fp:= [ 2, 3 ], 2579 func:= 14, 2580 next:= [ 3562, 3561 ] ), 3504, 3308, 3117, 3563, 2865, 3506, 2801 ] ), 2581952, rec( 2582 fp:= [ 74435, 92684 ], 2583 level:= 4, 2584 next:= [ 2912, rec( 2585 fp:= [ 25704, 69237 ], 2586 next:= [ 2143, 2137 ] ) ] ), rec( 2587 fp:= [ 58185, 58275 ], 2588 next:= [ rec( 2589 fp:= [ 19011, 63378 ], 2590 next:= [ 1748, rec( 2591 fp:= [ 17154, 35120 ], 2592 next:= [ 1750, 1749 ] ) ] ), 2824 ] ), rec( 2593 fp:= [ 38363, 49126 ], 2594 level:= 4, 2595 next:= [ 221, 219 ] ), rec( 2596 fp:= [ 12125, 55574 ], 2597 level:= 4, 2598 next:= [ 1814, 1813 ] ), rec( 2599 fp:= [ 10189, 64330, 66296, 80814, 86649, 90353, 95332 ], 2600 level:= 4, 2601 next:= [ 519, 205, 513, 501, 198, 212, 507 ] ), rec( 2602 fp:= [ 1374, 21001, 48389, 60981, 62349, 71999, 81966 ], 2603 level:= 4, 2604 next:= [ rec( 2605 fp:= [ 4553, 5678 ], 2606 next:= [ 361, 1675 ] ), 349, 2205, 1657, 2201, 373, 1331 ] ), rec( 2607 fp:= [ 59237, 71104 ], 2608 next:= [ rec( 2609 fp:= [ 7129, 41662, 57700, 68520, 90752, 95552 ], 2610 next:= [ rec( 2611 desc:= [ 105004 ], 2612 fp:= [ 6, 16 ], 2613 next:= [ 1887, 1888 ] ), 1797, 1892, 1899, rec( 2614 desc:= [ 107004 ], 2615 fp:= [ 12, 616 ], 2616 next:= [ 1799, 1798 ] ), 1796 ] ), rec( 2617 fp:= [ 530, 35310, 46914, 51348 ], 2618 next:= [ 1793, 1794, 1885, 1883 ] ) ] ), rec( 2619 fp:= [ 12117, 15825, 20812, 78840 ], 2620 level:= 4, 2621 next:= [ 739, 714, 713, 741 ] ), rec( 2622 fp:= [ 7129, 8610, 38382, 41662, 46462, 47606, 48839, 57700, 58063, 262359181, 68520, 90752, 92233, 95552, 97033 ], 2624 level:= 4, 2625 next:= [ rec( 2626 fp:= [ 4846, 46909 ], 2627 next:= [ 1891, 1896 ] ), 1898, 1808, rec( 2628 fp:= [ 25516, 61640 ], 2629 next:= [ 1806, 1807 ] ), rec( 2630 fp:= [ 23468, 70332 ], 2631 next:= [ 1801, 1802 ] ), 1894, 1800, rec( 2632 fp:= [ 18696, 76728 ], 2633 next:= [ 1897, 1889 ] ), rec( 2634 fp:= [ 33452, 94611 ], 2635 next:= [ 1900, 1895 ] ), 1890, 1893, rec( 2636 fp:= [ 12444, 44222 ], 2637 next:= [ 1810, 1811 ] ), 1803, rec( 2638 fp:= [ 12754, 44452 ], 2639 next:= [ 1804, 1805 ] ), 1809 ] ), rec( 2640 fp:= [ 49294, 90501 ], 2641 level:= 4, 2642 next:= [ rec( 2643 fp:= [ 24566, 57636, 61398, 79027 ], 2644 next:= [ 641, 38, rec( 2645 desc:= [ 111002 ], 2646 fp:= [ 9, 613 ], 2647 next:= [ 30, 645 ] ), 646 ] ), 40 ] ), rec( 2648 fp:= [ 41082, 66212, 93741 ], 2649 level:= 4, 2650 next:= [ 1913, rec( 2651 fp:= [ 22813, 79070 ], 2652 next:= [ 3030, 3034 ] ), rec( 2653 fp:= [ 20515, 40020, 83772, 91753 ], 2654 next:= [ 1911, rec( 2655 desc:= [ 111002 ], 2656 fp:= [ 9, 613 ], 2657 next:= [ 1903, 3072 ] ), 3068, 3073 ] ) ] ), rec( 2658 fp:= [ 38609, 56642 ], 2659 level:= 4, 2660 next:= [ rec( 2661 fp:= [ 42555, 46483 ], 2662 next:= [ 3023, 1854 ] ), 2944 ] ), 2816, rec( 2663 fp:= [ 1374, 16875, 48389 ], 2664 level:= 4, 2665 next:= [ rec( 2666 fp:= [ 63006, 75135 ], 2667 next:= [ 313, 1645 ] ), 1325, 2197 ] ), rec( 2668 fp:= [ 23704, 39774 ], 2669 level:= 4, 2670 next:= [ rec( 2671 fp:= [ 20412, 21196 ], 2672 next:= [ 2190, 780 ] ), rec( 2673 fp:= [ 43691, 55610 ], 2674 next:= [ 2189, 778 ] ) ] ), rec( 2675 fp:= [ 9764, 21631 ], 2676 next:= [ rec( 2677 fp:= [ 1890, 22803, 24482, 34174, 43226, 47150, 57286, 61368, 64330, 267869261, 75449, 76285, 77640, 86063, 88288, 89595, 94193, 96384 ], 2679 next:= [ 1486, 2219, rec( 2680 desc:= [ 111011 ], 2681 fp:= [ 20, 426, 1614 ], 2682 next:= [ 1424, 1423, 1428 ] ), 1429, 1431, 1945, 2226, 1946, rec( 2683 desc:= [ 105003 ], 2684 fp:= [ 2, 12 ], 2685 next:= [ 1483, 1484 ] ), 1434, rec( 2686 desc:= [ 104003 ], 2687 fp:= [ 2, 12 ], 2688 next:= [ 1728, 1729 ] ), 1485, rec( 2689 desc:= [ 105003 ], 2690 fp:= [ 2, 12 ], 2691 next:= [ rec( 2692 desc:= [ 106003 ], 2693 fp:= [ 2, 12 ], 2694 next:= [ 1425, 1426 ] ), 1427 ] ), 1433, 1745, 1430, 1730, 26951432 ] ), rec( 2696 fp:= [ 527, 2138, 6344, 12213, 27683, 28279, 29251, 29580, 40585, 269750134, 58040, 67542, 75368, 87915 ], 2698 next:= [ 1367, 1943, 2225, 1355, 1356, 1717, 1726, 1942, 2217, 1354, 26991368, 1455, 1353, 1450 ] ) ] ), 2986, rec( 2700 fp:= [ 20067, 49294, 78521, 90501 ], 2701 level:= 4, 2702 next:= [ 44, 45, 47, 46 ] ), rec( 2703 fp:= [ 4031, 4830, 11468, 31171, 38608, 46045, 65748, 73185 ], 2704 level:= 4, 2705 next:= [ rec( 2706 fp:= [ 22169, 76495 ], 2707 next:= [ 1020, 1027 ] ), rec( 2708 fp:= [ 91228, 98719 ], 2709 next:= [ 1118, 1115 ] ), rec( 2710 fp:= [ 50232, 54200 ], 2711 next:= [ 1088, 1092 ] ), rec( 2712 fp:= [ 34962, 80505 ], 2713 next:= [ 1061, 1065 ] ), rec( 2714 fp:= [ 81949, 92299 ], 2715 next:= [ 1028, 1021 ] ), rec( 2716 fp:= [ 39454, 74339 ], 2717 next:= [ 1091, 1087 ] ), rec( 2718 fp:= [ 4543, 22438 ], 2719 next:= [ 1062, 1066 ] ), rec( 2720 fp:= [ 49977, 74644 ], 2721 next:= [ 1025, 1017 ] ) ] ), rec( 2722 fp:= [ 14661, 35144, 47083, 53797, 62584, 66059, 94099 ], 2723 level:= 4, 2724 next:= [ rec( 2725 fp:= [ 2, 3 ], 2726 func:= 14, 2727 next:= [ 3098, 3097 ] ), 3096, 3095, 1933, 2708, 3495, 2709 ] ), rec( 2728 fp:= [ 58113, 90238 ], 2729 level:= 4, 2730 next:= [ rec( 2731 fp:= [ 29109, 62798 ], 2732 next:= [ 321, 303 ] ), rec( 2733 fp:= [ 26546, 62195 ], 2734 next:= [ 239, 254 ] ) ] ), rec( 2735 fp:= [ 11161, 19531, 24697, 30413, 56975, 69977, 97679 ], 2736 level:= 4, 2737 next:= [ rec( 2738 fp:= [ 13129, 28212, 50306, 87701 ], 2739 next:= [ 1629, 289, 1604, rec( 2740 desc:= [ 115002 ], 2741 fp:= [ 9, 613 ], 2742 next:= [ 249, 1624 ] ) ] ), rec( 2743 fp:= [ 32109, 66067 ], 2744 next:= [ 1250, 1308 ] ), 371, rec( 2745 fp:= [ 7137, 54784, 75990, 93949 ], 2746 next:= [ 359, rec( 2747 desc:= [ 111002 ], 2748 fp:= [ 9, 613 ], 2749 next:= [ 311, 1662 ] ), 1638, 1668 ] ), rec( 2750 fp:= [ 24587, 68698 ], 2751 next:= [ 1301, 1243 ] ), 299, rec( 2752 fp:= [ 28972, 45563 ], 2753 next:= [ 1242, 1300 ] ) ] ) ] ); 2754