1############################################################################# 2## 3#W id1440.z GAP library of id's Hans Ulrich Besche 4## 5 6ID_GROUP_TREE.next[1440]:= 7rec( 8 fp:= [ 34, 699, 939, 1036, 1128, 1204, 1765, 1890, 1998, 2339, 2585, 2668, 94007, 4811, 4945, 5158, 5572, 5779, 5952, 5963, 6538, 6712, 6809, 6911, 7663, 108101, 8443, 9033, 9500, 9673, 9818, 10190, 11658, 11709, 12145, 12745, 12798, 1113070, 13604, 13889, 14159, 14477, 14660, 14848, 14881, 15210, 15498, 15916, 1216253, 16558, 17123, 18002, 18499, 18610, 18886, 19395, 19731, 20089, 20488, 1320831, 20877, 21066, 21167, 21233, 22790, 23149, 23548, 23614, 23676, 24121, 1424258, 24358, 24484, 24780, 25135, 25193, 25497, 25962, 26243, 26459, 28006, 1528869, 28907, 29159, 29470, 29699, 30254, 30548, 31945, 32233, 32239, 32550, 1633235, 33599, 33809, 33969, 34809, 34909, 34979, 35344, 35495, 35596, 35746, 1735980, 36237, 36327, 36458, 36807, 38272, 38882, 38979, 39705, 39797, 40573, 1840745, 41553, 41848, 42010, 42579, 43333, 43480, 43561, 43562, 43801, 44299, 1944739, 44924, 45079, 45186, 45189, 45206, 45326, 45418, 45570, 45972, 48005, 2048559, 48592, 49021, 49449, 49687, 51166, 51216, 51301, 51335, 51609, 51967, 2152029, 52109, 52760, 53057, 53089, 53353, 53405, 53954, 53966, 54625, 54661, 2254689, 55037, 55438, 55460, 55632, 55918, 56106, 56238, 56247, 56463, 56821, 2357473, 57969, 58026, 58184, 58558, 60199, 60255, 60565, 60824, 60875, 61107, 2461119, 61185, 61779, 62428, 62709, 62718, 62808, 63766, 63939, 64572, 64693, 2564988, 65317, 65597, 65629, 65831, 65880, 65952, 66029, 66171, 66189, 66353, 2666795, 66939, 66973, 67054, 67124, 67333, 67709, 67934, 67965, 68016, 68174, 2768241, 68904, 69542, 69607, 69847, 70035, 70739, 71080, 72064, 72695, 72846, 2873465, 74906, 75837, 76179, 76737, 79029, 79119, 79208, 79289, 79806, 80196, 2980425, 80795, 80798, 81559, 81610, 81761, 82510, 83880, 84099, 84238, 85223, 3085732, 86195, 86367, 86520, 86657, 86696, 87175, 88362, 88876, 88966, 88987, 3189118, 89374, 89379, 89419, 89741, 89999, 90080, 90576, 90893, 90926, 91488, 3291689, 91709, 91853, 92272, 92423, 93374, 93527, 93608, 94131, 94908, 95419, 3395557, 95993, 96309, 96592, 96905, 96948, 97026, 97277, 97795, 98037, 98765, 3499346 ], 35 next:= [ rec( 36 fp:= [ 27015, 30304, 40640, 45107, 48597, 52087, 82062, 82717, 82808, 3791739, 98879 ], 38 level:= 4, 39 next:= [ rec( 40 desc:= [ 107003 ], 41 fp:= [ 2, 12 ], 42 next:= [ 4709, 4708 ] ), 4707, 1886, 1874, 1876, 1875, rec( 43 desc:= [ 104003 ], 44 fp:= [ 4, 212 ], 45 next:= [ rec( 46 desc:= [ 108003 ], 47 fp:= [ 4, 14 ], 48 next:= [ 1888, 1887 ] ), 1885 ] ), rec( 49 desc:= [ 110003 ], 50 fp:= [ 4, 14 ], 51 next:= [ 1938, 1937 ] ), 1878, 1940, 1884 ] ), rec( 52 fp:= [ 11082, 24646, 48904, 50791, 55709, 60627 ], 53 level:= 4, 54 next:= [ 1534, 1535, 1536, 1539, 1538, 1537 ] ), rec( 55 fp:= [ 1612, 3548, 5108, 11397, 12659, 13676, 14242, 20702, 21830, 23466, 5625503, 26230, 32342, 34048, 35631, 36259, 38133, 44381, 45664, 48545, 49261, 5749394, 49836, 53631, 54925, 57868, 58842, 59522, 62217, 63946, 67195, 72281, 5872419, 76336, 77820, 79377, 80226, 88047, 90931, 93830, 98027 ], 59 level:= 4, 60 next:= [ 170, rec( 61 fp:= [ 10472, 54353 ], 62 next:= [ 173, 182 ] ), 185, 193, 28, 52, 230, rec( 63 desc:= [ 105003 ], 64 fp:= [ 2, 12 ], 65 next:= [ rec( 66 desc:= [ 106003 ], 67 fp:= [ 2, 12 ], 68 next:= [ rec( 69 desc:= [ 109003 ], 70 fp:= [ 4, 14 ], 71 next:= [ 31, 33 ] ), 37 ] ), 66 ] ), rec( 72 desc:= [ 302005 ], 73 fp:= [ 3702, 7401 ], 74 next:= [ rec( 75 desc:= [ 106003 ], 76 fp:= [ 4, 212 ], 77 next:= [ 177, 179 ] ), 178 ] ), 29, 165, 35, 242, 34, 233, 60, 78234, rec( 79 desc:= [ 112003 ], 80 fp:= [ 2, 12 ], 81 next:= [ 231, 232 ] ), rec( 82 desc:= [ 110003 ], 83 fp:= [ 2, 12 ], 84 next:= [ 297, 296 ] ), 314, 68, rec( 85 desc:= [ 302012 ], 86 fp:= [ 441, 18261 ], 87 next:= [ 196, rec( 88 desc:= [ 108003 ], 89 fp:= [ 2, 12 ], 90 next:= [ rec( 91 desc:= [ 111003 ], 92 fp:= [ 4, 14 ], 93 next:= [ 167, 168 ] ), 169 ] ) ] ), 238, 62, 237, rec( 94 fp:= [ 12524, 57563, 63355 ], 95 next:= [ 54, 48, 53 ] ), rec( 96 desc:= [ 105003 ], 97 fp:= [ 2, 12 ], 98 next:= [ rec( 99 desc:= [ 106003 ], 100 fp:= [ 2, 12 ], 101 next:= [ rec( 102 desc:= [ 109003 ], 103 fp:= [ 4, 14 ], 104 next:= [ 47, 46 ] ), 45 ] ), 44 ] ), 229, rec( 105 desc:= [ 110003 ], 106 fp:= [ 2, 12 ], 107 next:= [ 240, 239 ] ), rec( 108 desc:= [ 111003 ], 109 fp:= [ 2, 12 ], 110 next:= [ 301, 300 ] ), 315, 69, 241, 59, 63, 313, 197, 181, rec( 111 desc:= [ 105003 ], 112 fp:= [ 2, 12 ], 113 next:= [ rec( 114 desc:= [ 106003 ], 115 fp:= [ 2, 12 ], 116 next:= [ rec( 117 desc:= [ 109003 ], 118 fp:= [ 4, 14 ], 119 next:= [ 30, 32 ] ), 36 ] ), 65 ] ), 51, 312 ] ), rec( 120 fp:= [ 8417, 9288, 10778, 28158, 39758, 41651, 49809, 50422, 51404, 12168118, 70479, 79250, 81611, 81874, 90330 ], 122 level:= 4, 123 next:= [ rec( 124 desc:= [ 302017 ], 125 fp:= [ 681, 26421 ], 126 next:= [ 113, rec( 127 desc:= [ 108003 ], 128 fp:= [ 2, 12 ], 129 next:= [ rec( 130 desc:= [ 111003 ], 131 fp:= [ 4, 14 ], 132 next:= [ 85, 86 ] ), 88 ] ) ] ), rec( 133 desc:= [ 302005 ], 134 fp:= [ 502, 1001 ], 135 next:= [ rec( 136 desc:= [ 106003 ], 137 fp:= [ 4, 212 ], 138 next:= [ 94, 99 ] ), 95 ] ), 290, 111, rec( 139 fp:= [ 41165, 71399 ], 140 next:= [ 100, 96 ] ), 288, 103, 87, rec( 141 desc:= [ 111003 ], 142 fp:= [ 2, 12 ], 143 next:= [ 274, 273 ] ), 115, 287, 83, 289, rec( 144 desc:= [ 110003 ], 145 fp:= [ 2, 12 ], 146 next:= [ 276, 275 ] ), 98 ] ), rec( 147 fp:= [ 41300, 98091 ], 148 level:= 4, 149 next:= [ 1459, 259 ] ), rec( 150 fp:= [ 2848, 15355, 19787, 30439, 30673, 33088, 40603, 41594, 42948, 15145986, 53501, 54873, 75934, 83008, 84507, 89454, 95731, 96184 ], 152 level:= 4, 153 next:= [ 5869, 4888, 4857, 4905, 4872, 4887, 4902, 5867, 5894, 5868, 1545866, 4860, rec( 155 fp:= [ 15256, 26050 ], 156 next:= [ 4858, 4873 ] ), 5404, 4875, 5396, 4890, 4903 ] ), rec( 157 fp:= [ 68467, 82011 ], 158 next:= [ rec( 159 fp:= [ 5118, 77646, 98995 ], 160 next:= [ 5895, 5407, 5415 ] ), rec( 161 fp:= [ 4923, 11424, 16691, 24380, 29981, 34734, 36857, 39945, 51418, 16283309 ], 163 next:= [ 2574, 2582, 2568, 1270, 1242, 2580, 1268, 1259, 1260, 1641272 ] ) ] ), rec( 165 fp:= [ 18058, 58060 ], 166 level:= 4, 167 next:= [ 4616, 4615 ] ), 5872,, rec( 168 fp:= [ 8764, 12277, 27350, 37204, 44286, 51849, 55172, 56461, 60192, 16961425, 66227, 80081, 92536 ], 170 level:= 4, 171 next:= [ 4670, 4668, 1893, 1891, 1908, 1894, 1909, 1930, 4667, 1892, 1721919, 1920, 4669 ] ), rec( 173 fp:= [ 72220, 87480 ], 174 next:= [ rec( 175 fp:= [ 21742, 42327, 87876, 94313 ], 176 next:= [ 253, 311, 72, 191 ] ), rec( 177 fp:= [ 1594, 12689, 24430, 32998, 44136, 48109, 51082, 54805, 55431, 17899638 ], 179 next:= [ 163, 176, 26, 42, 305, 228, 43, 299, 236, 248 ] ) ] ), rec( 180 fp:= [ 8657, 17005, 20065, 22731, 26647, 41734, 46200, 49833, 54837, 18157503, 57706, 74847, 75026, 77259, 77692, 80892, 94997, 97663, 99576 ], 182 level:= 4, 183 next:= [ 1319, 1344, 966, 962, 961, 1345, 1318, 956, 958, 955, 965, 1346, 184964, 1317, 959, 960, 963, 957, 1347 ] ), rec( 185 fp:= [ 27531, 78032 ], 186 next:= [ rec( 187 fp:= [ 7606, 29186, 47293, 64515, 68462, 79611, 83668, 96158, 98659 ], 188 next:= [ 1716, 952, 2592, 1330, 954, 953, 1715, 2584, 1316 ] ), rec( 189 fp:= [ 6854, 29834, 34568, 34592, 39380, 39495, 50200, 51109, 52055, 19052147, 64765, 66521, 67634, 69692, 74541, 96241 ], 191 next:= [ 1720, 1322, 1001, 1002, 974, 975, 1348, rec( 192 desc:= [ 105003 ], 193 fp:= [ 2, 12 ], 194 next:= [ 2598, 2597 ] ), 2606, 1000, 1332, 2596, rec( 195 desc:= [ 106003 ], 196 fp:= [ 2, 12 ], 197 next:= [ 1727, 1726 ] ), 1337, 1721, 973 ] ) ] ), rec( 198 fp:= [ 26896, 97443 ], 199 level:= 4, 200 next:= [ 5848, 5847 ] ), rec( 201 fp:= [ 7169, 22038, 24472, 55775, 61168, 78961, 83715, 83984, 88791 ], 202 level:= 4, 203 next:= [ 157, 224, 302, 223, 171, 15, 7, 8, 294 ] ), rec( 204 fp:= [ 4849, 6862, 7975, 9776, 11816, 12763, 12822, 13384, 14882, 19670, 20527228, 29947, 31398, 35108, 47554, 48779, 53567, 58355, 64191, 72313, 75492, 20677071, 79220, 79344, 79603, 81859, 82458, 83978, 84132, 86127, 86251, 86647, 20786965, 90885, 91039, 91111, 91892, 92679, 96819, 99411, 99583 ], 208 level:= 4, 209 next:= [ 1343, 2603, 1704, 1338, 2601, 1707, rec( 210 desc:= [ 112003 ], 211 fp:= [ 2, 12 ], 212 next:= [ 2590, 2589 ] ), 1351, 1708, 1702, 2602, rec( 213 fp:= [ 2930, 11598 ], 214 next:= [ 1340, 1336 ] ), 994, rec( 215 desc:= [ 115003 ], 216 fp:= [ 2, 12 ], 217 next:= [ 1710, 1709 ] ), rec( 218 desc:= [ 113003 ], 219 fp:= [ 2, 12 ], 220 next:= [ 1712, 1711 ] ), rec( 221 desc:= [ 106003 ], 222 fp:= [ 2, 12 ], 223 next:= [ rec( 224 desc:= [ 107003 ], 225 fp:= [ 2, 12 ], 226 next:= [ rec( 227 desc:= [ 111003 ], 228 fp:= [ 4, 14 ], 229 next:= [ 1007, 1004 ] ), 988 ] ), 990 ] ), 996, 984, 995, rec( 230 desc:= [ 302014 ], 231 fp:= [ 1081, 34741 ], 232 next:= [ 1353, rec( 233 desc:= [ 109003 ], 234 fp:= [ 2, 12 ], 235 next:= [ rec( 236 desc:= [ 113003 ], 237 fp:= [ 4, 14 ], 238 next:= [ 1325, 1326 ] ), 1328 ] ) ] ), 983, rec( 239 desc:= [ 106003 ], 240 fp:= [ 2, 12 ], 241 next:= [ rec( 242 desc:= [ 107003 ], 243 fp:= [ 2, 12 ], 244 next:= [ rec( 245 desc:= [ 111003 ], 246 fp:= [ 4, 14 ], 247 next:= [ 1006, 1003 ] ), 993 ] ), 991 ] ), 1323, 1703, 982, 248997, rec( 249 desc:= [ 114003 ], 250 fp:= [ 2, 12 ], 251 next:= [ 2588, 2587 ] ), 999, 1705, 1327, 1706, 985, rec( 252 desc:= [ 106003 ], 253 fp:= [ 2, 12 ], 254 next:= [ rec( 255 desc:= [ 107003 ], 256 fp:= [ 2, 12 ], 257 next:= [ rec( 258 desc:= [ 111003 ], 259 fp:= [ 4, 14 ], 260 next:= [ 1008, 1005 ] ), 992 ] ), 989 ] ), 987, 1701, 2604, 998, 2611355, 986, rec( 262 fp:= [ 12835, 40035, 77681 ], 263 next:= [ 1009, 1010, 1011 ] ), rec( 264 desc:= [ 116011 ], 265 fp:= [ 32, 2418 ], 266 next:= [ rec( 267 desc:= [ 106003 ], 268 fp:= [ 4, 212 ], 269 next:= [ 1335, 1339 ] ), 1334 ] ) ] ), rec( 270 fp:= [ 9216, 52406, 77662, 96517 ], 271 level:= 4, 272 next:= [ 269, 89, 75, 277 ] ), rec( 273 fp:= [ 12103, 15682, 51626, 87847 ], 274 level:= 4, 275 next:= [ 4807, 2528, 2527, 4806 ] ), rec( 276 fp:= [ 1082, 5272, 14722, 19015, 22339, 22471, 23308, 24973, 35928, 27746230, 46362, 53892, 84548, 98109 ], 278 level:= 4, 279 next:= [ 1465, 1468, 1523, 1525, 1527, 1466, 1524, 1463, 1470, 1526, 2801464, 1467, 1469, 1528 ] ), rec( 281 fp:= [ 4602, 16833 ], 282 level:= 4, 283 next:= [ 5788, 5776 ] ),, rec( 284 fp:= [ 3401, 8417, 9288, 10462, 15716, 28031, 28158, 31190, 39290, 43922, 28546650, 49809, 50422, 56237, 68118, 70163, 71711, 74856, 79250, 84443, 87171, 28690330, 98991 ], 287 level:= 4, 288 next:= [ 710, 738, 698, 742, rec( 289 fp:= [ 87007, 90019 ], 290 next:= [ 709, 706 ] ), 703, 731, 701, 743, 711, 705, 702, 736, 707, 291744, 729, 696, 708, 737, 712, 704, rec( 292 fp:= [ 40466, 62001 ], 293 next:= [ 695, 697 ] ), 730 ] ), rec( 294 fp:= [ 7130, 42071 ], 295 level:= 4, 296 next:= [ 2538, rec( 297 fp:= [ 27747, 34694 ], 298 next:= [ 2537, 2539 ] ) ] ), rec( 299 fp:= [ 12432, 23584, 28658, 32553, 33053, 40852, 44040, 45900, 63625, 30072732, 75902, 75919, 83098, 85107, 89777, 89865, 93156, 96439, 97401 ], 301 level:= 4, 302 next:= [ 18, 24, 189, 11, 159, 186, 14, 22, 17, 188, 161, 21, 13, 19, 20, 303160, 12, 187, 23 ] ), rec( 304 fp:= [ 50775, 66183 ], 305 next:= [ rec( 306 fp:= [ 42312, 55709, 68078 ], 307 next:= [ 4568, 1532, 1540 ] ), rec( 308 fp:= [ 2406, 5904, 13451, 15245, 21445, 22147, 24523, 73431, 74976, 30998862 ], 310 next:= [ 114, 101, 291, 110, 279, 112, 102, 84, 293, 285 ] ) ] ), rec( 311 fp:= [ 29227, 32717, 36207, 77030, 80520, 84010 ], 312 level:= 4, 313 next:= [ 5366, 5367, 5365, 5370, 5369, 5368 ] ), rec( 314 fp:= [ 36543, 48454 ], 315 level:= 4, 316 next:= [ 4569, 4575 ] ), 4576, rec( 317 fp:= [ 2208, 17137, 38494, 41360, 77646, 80512 ], 318 level:= 4, 319 next:= [ 5410, 5412, 5414, 5411, 5413, 5409 ] ), rec( 320 fp:= [ 43686, 43696 ], 321 next:= [ rec( 322 fp:= [ 10365, 30025, 49685, 69345 ], 323 next:= [ 4545, rec( 324 fp:= [ 23683, 73498 ], 325 next:= [ 4542, 4543 ] ), 4544, 4541 ] ), rec( 326 fp:= [ 31434, 78349 ], 327 level:= 5, 328 next:= [ 4556, 4557 ] ) ] ), rec( 329 fp:= [ 14041, 35156, 79830, 87105 ], 330 level:= 4, 331 next:= [ 5875, 5905, 5930, 5863 ] ), rec( 332 fp:= [ 4154, 7284, 13247, 14483, 18201, 18757, 28659, 33613, 36775, 33338567, 38667, 48248, 49025, 53979, 58577, 62851, 69391, 70050, 80869, 82761, 33492342, 94234, 97496 ], 335 level:= 4, 336 next:= [ 4147, 4152, 4186, 4160, 4193, 4154, 4185, 4192, 4150, 4180, rec( 337 fp:= [ 43191, 80680 ], 338 next:= [ 4155, 4158 ] ), 4151, 4191, 4179, 4161, 4153, 4178, 4159, 3394145, 4156, rec( 340 fp:= [ 79103, 81627 ], 341 next:= [ 4144, 4146 ] ), 4157, 4187 ] ), rec( 342 fp:= [ 491, 1188, 4886, 8712, 10610, 11762, 12615, 16469, 19491, 20848, 34321496, 23394, 23886, 26209, 26709, 30270, 30967, 32275, 32767, 34280, 34665, 34434772, 36129, 36670, 42166, 43546, 45551, 46248, 47556, 52427, 54432, 55789, 34556330, 56437, 56822, 58335, 58827, 65211, 65908, 67109, 67216, 67708, 69606, 34671070, 71611, 77995, 78487, 80492, 81189, 82390, 84268, 85568, 86216, 89266, 34791271, 93276, 97487, 99492 ], 348 level:= 4, 349 next:= [ 5559, rec( 350 fp:= [ 3436, 27991 ], 351 next:= [ 5800, 5793 ] ), 5518, 5524, 5540, 5566, 5556, 5797, 5548, 3525796, 5539, 5533, 5550, 5804, 5565, 5569, 5792, 5542, 5525, 5534, 5530, 5551, 3535802, 5554, 5563, 5545, rec( 354 fp:= [ 24683, 36853, 52724, 83806 ], 355 next:= [ 5537, 5535, 5528, 5536 ] ), 5798, 5555, 5561, 5544, 5795, 3565547, 5529, 5527, 5538, 5552, 5570, 5801, 5564, 5546, 5523, 5521, 5790, 5549, 3575567, 5541, 5522, 5799, 5520, 5568, 5794, 5532, 5558, 5543, 5519, 5526, 3585553 ] ), rec( 359 fp:= [ 125, 255 ], 360 next:= [ 5852, 5854 ] ), rec( 361 fp:= [ 27311, 58580 ], 362 level:= 4, 363 next:= [ 5, 2 ] ), rec( 364 fp:= [ 2189, 4950, 9787, 35241, 54129, 57508, 65532 ], 365 level:= 4, 366 next:= [ 147, 119, 146, 118, 145, 148, 120 ] ), rec( 367 fp:= [ 33692, 82393 ], 368 level:= 4, 369 next:= [ 5862, 5904 ] ), rec( 370 fp:= [ 15845, 52229, 53254, 79821 ], 371 level:= 4, 372 next:= [ 4585, 4580, 4566, 656 ] ), rec( 373 fp:= [ 6052, 10999, 13803, 34640, 39731, 40993, 41942, 42155, 48059, 37451879, 54728, 60201, 60452, 66376, 68248, 76446, 94179, 94632 ], 375 level:= 4, 376 next:= [ 4877, 5397, 4889, 4886, 4861, 4859, 4907, 4901, 4906, 4874, rec( 377 fp:= [ 21742, 35131 ], 378 next:= [ 4871, 4856 ] ), 5405, 4876, 4862, 5395, 4892, 4891, 4904 ] ), 3791676, rec( 380 fp:= [ 17730, 66716 ], 381 level:= 4, 382 next:= [ 2534, 4811 ] ), rec( 383 fp:= [ 63965, 67509 ], 384 next:= [ 5933, rec( 385 fp:= [ 10321, 14123, 17197, 23105, 29981, 35889, 36857, 42765, 48673, 38649641, 55549, 62425, 97198 ], 387 next:= [ rec( 388 fp:= [ 6013, 22850, 87478 ], 389 next:= [ rec( 390 desc:= [ 302018 ], 391 fp:= [ 681, 26421 ], 392 next:= [ 4188, rec( 393 desc:= [ 107003 ], 394 fp:= [ 2, 12 ], 395 next:= [ 4130, 4139 ] ) ] ), 4118, 4140 ] ), 4195, rec( 396 fp:= [ 22250, 68852, 96881 ], 397 next:= [ 4122, 4166, 4120 ] ), rec( 398 fp:= [ 41526, 43042, 98961 ], 399 next:= [ 4189, 4137, 4117 ] ), rec( 400 fp:= [ 1904, 16610, 38481, 92734 ], 401 next:= [ 4171, 4121, 4128, 4126 ] ), 4138, rec( 402 fp:= [ 15076, 17359 ], 403 next:= [ 4177, 4176 ] ), rec( 404 fp:= [ 33717, 94743 ], 405 next:= [ 4172, 4127 ] ), 4116, rec( 406 fp:= [ 27055, 46197 ], 407 next:= [ 4174, 4182 ] ), 4125, rec( 408 fp:= [ 16581, 56555 ], 409 next:= [ 4175, 4181 ] ), rec( 410 fp:= [ 34444, 71302 ], 411 next:= [ rec( 412 desc:= [ 106003 ], 413 fp:= [ 4, 14, 212 ], 414 next:= [ 4133, rec( 415 desc:= [ 116011 ], 416 fp:= [ 22, 814 ], 417 next:= [ 4183, 4131 ] ), 4132 ] ), rec( 418 desc:= [ 104003 ], 419 fp:= [ 16, 412 ], 420 next:= [ 4111, 4112 ] ) ] ) ] ) ] ), rec( 421 fp:= [ 67509, 77509 ], 422 next:= [ rec( 423 fp:= [ 3907, 10321, 17197, 20129, 23105, 29981, 36857, 42765, 71367, 42477151, 87346, 97198 ], 425 next:= [ rec( 426 fp:= [ 871, 93806 ], 427 next:= [ 5444, 5445 ] ), rec( 428 fp:= [ 15055, 63807, 70129 ], 429 next:= [ 4135, 4134, 4114 ] ), rec( 430 fp:= [ 5549, 52527, 91228 ], 431 next:= [ rec( 432 desc:= [ 104003 ], 433 fp:= [ 4, 14 ], 434 next:= [ 4165, 4167 ] ), 4119, 4168 ] ), 5447, rec( 435 fp:= [ 43815, 88402 ], 436 next:= [ 4115, 4136 ] ), rec( 437 fp:= [ 16731, 61328 ], 438 next:= [ 4170, 4124 ] ), 4173, rec( 439 fp:= [ 4268, 21016 ], 440 next:= [ 4123, 4169 ] ), 4194, 5452, 5449, rec( 441 fp:= [ 40817, 64308 ], 442 next:= [ rec( 443 desc:= [ 104003 ], 444 fp:= [ 16, 412 ], 445 next:= [ 4184, 4129 ] ), 4110 ] ) ] ), rec( 446 fp:= [ 4014, 17858, 18319, 20335, 22812, 95512 ], 447 next:= [ rec( 448 fp:= [ 80958, 92587 ], 449 next:= [ 4163, 4190 ] ), 5448, 5451, rec( 450 fp:= [ 8232, 60149 ], 451 next:= [ 5441, 5442 ] ), 5446, rec( 452 fp:= [ 7996, 20317, 26440, 72005 ], 453 next:= [ 4149, 4148, 4142, 4143 ] ) ] ) ] ), rec( 454 fp:= [ 48219, 69425 ], 455 level:= 4, 456 next:= [ rec( 457 fp:= [ 156, 98295 ], 458 next:= [ 2553, 2551 ] ), 2552 ] ), rec( 459 fp:= [ 60870, 71942 ], 460 level:= 4, 461 next:= [ 1462, 265 ] ), rec( 462 fp:= [ 24374, 25486, 32426, 49209, 50492, 52989, 63243, 75747, 76367, 46384985, 95628 ], 464 level:= 4, 465 next:= [ 1566, 1556, 885, 322, 357, 376, 1494, 1498, 1478, 361, 865 ] ), 466212, rec( 467 fp:= [ 2615, 13871, 16650, 27245, 27637, 28245, 28745, 28912, 34681, 46835615, 43103, 47239, 49626, 50645, 51123, 53909, 55133, 59344, 59924, 62058, 46962259, 71132, 74881, 75675, 75779, 87299, 87402, 95486 ], 470 level:= 4, 471 next:= [ 5916, 5613, 5741, 5703, 5918, 5298, 5744, 5917, 5287, 5942, 4725301, 5945, 5700, 5944, 5281, 5584, 5304, 5294, 5889, 5674, 5705, 5615, 5915, 4735833, 5821, 5610, 5914, 5722 ] ), rec( 474 fp:= [ 1188, 4968, 37330, 41541, 45551, 56493, 56993, 62277 ], 475 level:= 4, 476 next:= [ 5791, 5913, 5557, 5562, 5531, 5803, 5560, 5941 ] ), rec( 477 fp:= [ 5256, 66011, 69999, 88085, 90066, 93500, 97495 ], 478 level:= 4, 479 next:= [ 5384, 4847, 4841, 5394, 4844, 5386, 4846 ] ), rec( 480 fp:= [ 6675, 52148, 79257 ], 481 level:= 4, 482 next:= [ 1936, 1871, 1877 ] ), rec( 483 fp:= [ 15682, 22589, 25529, 29019, 29496, 30456, 33946, 41929, 45419, 48446856, 50346, 51626, 58533, 65440 ], 485 level:= 4, 486 next:= [ 5379, 5380, 4823, 4822, 5381, 4825, 4824, 4819, 4818, 4821, 4874820, 5376, 5378, 5377 ] ), 4589, 4108, rec( 488 fp:= [ 20267, 47462, 51489, 72955, 91957 ], 489 level:= 4, 490 next:= [ 5939, 4105, 5909, 5952, 5892 ] ), rec( 491 fp:= [ 23161, 88257, 91948 ], 492 level:= 4, 493 next:= [ 1531, 1533, 1541 ] ), rec( 494 fp:= [ 10192, 36267, 52104, 78179, 94016 ], 495 level:= 4, 496 next:= [ 1677, 1681, 1680, 1678, 1679 ] ), rec( 497 fp:= [ 7159, 24285, 48833, 50452, 68723, 79508, 92126 ], 498 level:= 4, 499 next:= [ 107, 77, 106, 105, 79, 78, 104 ] ),, rec( 500 fp:= [ 11470, 23701, 27664, 58619, 86669, 99577 ], 501 level:= 4, 502 next:= [ 5632, 5654, 5818, 5806, 5651, 5943 ] ), rec( 503 fp:= [ 14497, 46388, 50463, 67700, 94498 ], 504 level:= 4, 505 next:= [ 5129, 5132, 5204, 5202, 5134 ] ), rec( 506 fp:= [ 70559, 80559 ], 507 next:= [ rec( 508 fp:= [ 4602, 16833, 21228, 40888, 45283, 64943, 84603, 96834 ], 509 next:= [ 4280, rec( 510 fp:= [ 5941, 52596 ], 511 next:= [ 4255, 4209 ] ), rec( 512 fp:= [ 24951, 83479, 89867 ], 513 next:= [ 4220, 4221, 4200 ] ), rec( 514 fp:= [ 31089, 51010 ], 515 next:= [ 4256, 4210 ] ), rec( 516 fp:= [ 13541, 49415 ], 517 next:= [ rec( 518 desc:= [ 105003 ], 519 fp:= [ 16, 412 ], 520 next:= [ 4270, 4215 ] ), 4196 ] ), rec( 521 fp:= [ 9521, 78008, 96909 ], 522 next:= [ 4205, 4254, rec( 523 desc:= [ 105003 ], 524 fp:= [ 4, 14 ], 525 next:= [ 4251, 4253 ] ) ] ), 4259, rec( 526 fp:= [ 66943, 90673 ], 527 next:= [ 4201, 4222 ] ) ] ), rec( 528 fp:= [ 633, 80493 ], 529 next:= [ rec( 530 fp:= [ 23623, 39893 ], 531 next:= [ 4276, 4249 ] ), rec( 532 fp:= [ 27889, 34753, 97228, 98015 ], 533 next:= [ 4235, 4229, 4234, 4228 ] ) ] ) ] ), rec( 534 fp:= [ 7999, 15428, 22857, 44285, 51714, 59143 ], 535 level:= 4, 536 next:= [ 5420, 5422, 5421, 5423, 5424, 5425 ] ), rec( 537 fp:= [ 9901, 12460, 27006, 44503, 61608, 65529, 70104, 73709, 74679, 53874765, 77519, 79105, 88841, 89897 ], 539 level:= 4, 540 next:= [ 1359, 1090, 1091, 1358, 1093, 1087, 1089, 1385, 1092, 1387, 5411088, 1360, 1386, 1388 ] ), 4555, rec( 542 fp:= [ 6413, 9903, 13393, 30597, 34087, 37577, 41960, 42853, 45450, 54346343, 48940, 49833, 53323, 56813, 66144, 69634, 73124, 81890, 85380, 88870, 54490328, 93818, 97308 ], 545 level:= 4, 546 next:= [ 4242, rec( 547 fp:= [ 32023, 77153 ], 548 next:= [ 4244, 4241 ] ), 4243, 4238, 4239, 4240, 4271, 4231, 4272, 5494236, 4273, rec( 550 fp:= [ 20300, 98752 ], 551 next:= [ 4232, 4230 ] ), 4237, 4233, 4277, 4278, 4279, 4247, 4246, 5524245, 4264, 4265, 4266 ] ), rec( 553 fp:= [ 1574, 14562, 15671, 17660, 27246, 32277, 56637, 66123, 73154, 55474274, 86523 ], 555 level:= 4, 556 next:= [ rec( 557 desc:= [ 106003 ], 558 fp:= [ 2, 12 ], 559 next:= [ 4681, 4680 ] ), 1942, 4666, 4665, rec( 560 desc:= [ 106003 ], 561 fp:= [ 2, 12 ], 562 next:= [ 4688, 4687 ] ), 1889, 1890, 1924, 1918, 1901, 1941 ] ), 563222, rec( 564 fp:= [ 70212, 85472 ], 565 next:= [ rec( 566 fp:= [ 11133, 18593, 19847, 20077, 28004, 33367, 36211, 36584, 55220, 56762735, 90158, 90776, 97673 ], 568 next:= [ 1860, 4657, 1187, 2625, 2675, 1431, 1779, 2700, 1229, 1079, 5691804, 1835, 1748 ] ), rec( 570 fp:= [ 5145, 6268, 11009, 18818, 24089, 27303, 30682, 33149, 36041, 57137374, 41577, 43683, 44563, 46138, 50335, 55372, 58834, 60345, 61618, 65223, 57272497, 80670, 80822, 82201, 83912, 87681, 87763, 89618, 91393, 91487, 96420, 57397950 ], 574 next:= [ 1415, 2661, 1204, 2620, 4663, 1146, 2670, 1731, 2686, 1837, 5751205, 1147, 1761, 1730, 4662, 1750, 1817, 1781, 1039, 1818, 1847, 2695, 1806, 5761791, 1862, 2611, 1038, 1403, 1037, 1762, 1145, 4661 ] ) ] ), 4574, 4540, 577255, 934, rec( 578 fp:= [ 30974, 44518 ], 579 next:= [ rec( 580 fp:= [ 39483, 51714 ], 581 next:= [ 5426, 5418 ] ), rec( 582 fp:= [ 24817, 40888, 76110, 77003, 83983, 84603 ], 583 next:= [ 1311, 1283, 1313, 1300, 1301, 1309 ] ) ] ), rec( 584 fp:= [ 1169, 8735, 21883, 27949, 35515, 43081, 50647, 62295, 69861, 58577427, 84993, 92559, 93264 ], 586 level:= 4, 587 next:= [ rec( 588 fp:= [ 8864, 14562 ], 589 next:= [ 819, 814 ] ), rec( 590 fp:= [ 7815, 98207 ], 591 next:= [ 816, 817 ] ), 832, 762, rec( 592 fp:= [ 4014, 23759 ], 593 next:= [ 764, 809 ] ), rec( 594 fp:= [ 6666, 19747, 31586, 54995 ], 595 next:= [ 758, 765, 763, 808 ] ), rec( 596 fp:= [ 74128, 92301, 93968 ], 597 next:= [ 759, 803, 757 ] ), 753, 775, rec( 598 fp:= [ 20231, 31431, 70302 ], 599 next:= [ 754, 826, 774 ] ), rec( 600 fp:= [ 10164, 54327, 64174 ], 601 next:= [ rec( 602 desc:= [ 302014 ], 603 fp:= [ 441, 18261 ], 604 next:= [ 825, rec( 605 desc:= [ 107003 ], 606 fp:= [ 2, 12 ], 607 next:= [ 767, 776 ] ) ] ), 777, 755 ] ), rec( 608 fp:= [ 35731, 41232 ], 609 next:= [ rec( 610 desc:= [ 104003 ], 611 fp:= [ 16, 412 ], 612 next:= [ 748, 749 ] ), rec( 613 desc:= [ 106003 ], 614 fp:= [ 4, 14, 212 ], 615 next:= [ 770, rec( 616 desc:= [ 112007 ], 617 fp:= [ 16, 412 ], 618 next:= [ 823, 768 ] ), 769 ] ) ] ), rec( 619 fp:= [ 90782, 98269 ], 620 next:= [ 818, 815 ] ) ] ), rec( 621 fp:= [ 1594, 12689, 24430, 32998, 44136, 48109, 51082, 54805, 55431, 62299638 ], 623 level:= 4, 624 next:= [ 162, 174, 25, 38, 304, 227, 39, 298, 235, 245 ] ), rec( 625 fp:= [ 50463, 62904 ], 626 level:= 4, 627 next:= [ 5922, 5919 ] ), rec( 628 fp:= [ 1755, 3481, 6070, 14516, 15647, 18006, 19219, 21496, 24062, 26360, 62927665, 28796, 31155, 32089, 34645, 38700, 40116, 40814, 41945, 42190, 43177, 63043976, 44214, 44304, 45680, 47466, 47794, 50956, 51849, 54446, 55094, 55339, 63157363, 57936, 58829, 59994, 61426, 62319, 62884, 65809, 66008, 66374, 67595, 63268243, 68398, 69864, 70512, 71085, 71978, 74035, 74575, 75468, 76033, 78958, 63379523, 80744, 81547, 81777, 82062, 83013, 84234, 84599, 86503, 87724, 89804, 63489993, 92582, 94696, 96162, 97831, 99652 ], 635 level:= 4, 636 next:= [ 3440, 3519, 4411, 3445, 4405, 3448, 4410, 3452, 4437, 3451, 6373447, 4409, 3446, 4450, 3450, 3536, 4444, 3441, rec( 638 fp:= [ 51152, 53523 ], 639 next:= [ 4402, 4404 ] ), rec( 640 fp:= [ 33964, 86899 ], 641 next:= [ 3532, 3535 ] ), rec( 642 fp:= [ 11620, 73465 ], 643 next:= [ 3439, 3443 ] ), 3387, 4417, 3442, 3531, 3386, 3449, rec( 644 fp:= [ 12315, 59604 ], 645 next:= [ rec( 646 desc:= [ 114003 ], 647 fp:= [ 2, 12 ], 648 next:= [ 3400, 3398 ] ), 3385 ] ), 3528, rec( 649 fp:= [ 12894, 29202 ], 650 next:= [ 3396, 3399 ] ), 4408, rec( 651 fp:= [ 90111, 99176 ], 652 next:= [ 3527, 3538 ] ), 4418, rec( 653 fp:= [ 2419, 4221 ], 654 next:= [ 3389, 3391 ] ), rec( 655 fp:= [ 16433, 99123 ], 656 next:= [ 3529, 3537 ] ), 3438, 3388, 3540, 3521, 3533, 4438, rec( 657 fp:= [ 20981, 42976 ], 658 next:= [ 3517, 3522 ] ), 3384, 4403, 4415, 3518, 4419, rec( 659 fp:= [ 42011, 62377 ], 660 next:= [ 3381, 3395 ] ), 3530, 4451, 3390, 3539, 3513, 3534, rec( 661 fp:= [ 23697, 79966 ], 662 next:= [ 3514, 3523 ] ), 3382, rec( 663 fp:= [ 14754, 96876 ], 664 next:= [ 4413, 4416 ] ), 4436, 4445, rec( 665 fp:= [ 19628, 96795 ], 666 next:= [ 3516, 3524 ] ), 3383, 3444, 3525, 3397, 4449, 3520, 4412, 6674414, 3515, 4443, 3526 ] ), rec( 668 fp:= [ 10776, 76998 ], 669 level:= 4, 670 next:= [ 4588, 4583 ] ), rec( 671 fp:= [ 14497, 22333, 38552, 46388, 50463, 62607, 66048, 67700, 70443, 67290103 ], 673 level:= 4, 674 next:= [ 5121, 5141, 5120, 5142, 5205, 5122, 5131, rec( 675 desc:= [ 106003 ], 676 fp:= [ 15, 411 ], 677 next:= [ 5203, 5201 ] ), 5133, 5130 ] ), rec( 678 fp:= [ 43885, 64906 ], 679 level:= 4, 680 next:= [ 5752, 5753 ] ), rec( 681 fp:= [ 37168, 46525, 65527, 93498 ], 682 level:= 4, 683 next:= [ 2550, 5937, 5864, 5907 ] ), rec( 684 fp:= [ 1169, 20383, 27949, 35515, 43081, 50647, 69861, 77427, 79598, 68584993, 85698, 93264 ], 686 level:= 4, 687 next:= [ 1651, 1648, 1657, rec( 688 fp:= [ 79652, 91605 ], 689 next:= [ 1656, 1649 ] ), 1658, 1646, 1654, 1655, 1660, 1653, 1650, 6901652 ] ), 5835, rec( 691 fp:= [ 14470, 48064, 65281, 90973, 92677, 94623, 97097 ], 692 level:= 4, 693 next:= [ 1472, 4565, 1473, 1521, 1529, 4567, 1475 ] ), rec( 694 fp:= [ 18065, 19222, 45204 ], 695 level:= 4, 696 next:= [ 1694, 220, 946 ] ), rec( 697 fp:= [ 18633, 44165, 51788, 67253, 69674, 97807 ], 698 level:= 4, 699 next:= [ 1514, 1517, 1515, 1512, 1513, 1516 ] ), rec( 700 fp:= [ 21, 41, 42 ], 701 next:= [ rec( 702 fp:= [ 26965, 51403, 77382 ], 703 next:= [ 4603, 4600, 4601 ] ), rec( 704 fp:= [ 47490, 60116 ], 705 next:= [ 4629, 4640 ] ), rec( 706 fp:= [ 34530, 76133 ], 707 next:= [ 4634, 4645 ] ) ] ), rec( 708 fp:= [ 163, 15428, 51714 ], 709 level:= 4, 710 next:= [ 5362, 5372, 5364 ] ), rec( 711 fp:= [ 71737, 84181, 96625 ], 712 level:= 4, 713 next:= [ 1456, 1455, 1454 ] ), 1452, rec( 714 fp:= [ 6044, 41956 ], 715 level:= 4, 716 next:= [ 5927, 5899 ] ), rec( 717 fp:= [ 16687, 52255, 71942, 91022 ], 718 level:= 4, 719 next:= [ 266, 1461, 267, 1460 ] ), 1439, rec( 720 fp:= [ 253, 7034, 21452, 74346, 98571 ], 721 level:= 4, 722 next:= [ 4618, 4624, 4654, 4619, 4652 ] ), rec( 723 fp:= [ 3563, 5023, 9345, 13371, 17807, 22534, 28693, 31031, 37176, 45050, 72445688, 54837, 56518, 58504, 61183, 68344, 74081, 75746, 79227, 88001, 98513 ], 725 level:= 4, 726 next:= [ 5881, 4759, 5161, 5163, 4762, 5882, 4761, 5208, 5190, 5880, 7274758, 5860, rec( 728 desc:= [ 106003 ], 729 fp:= [ 16, 412 ], 730 next:= [ 4798, 4799 ] ), rec( 731 desc:= [ 105003 ], 732 fp:= [ 4, 14 ], 733 next:= [ 5211, 5212 ] ), 4760, 4797, 5859, 5192, 5165, 5157, 7345187 ] ), rec( 735 fp:= [ 4014, 18319, 20335, 95512 ], 736 level:= 4, 737 next:= [ 4162, 5450, 5440, 4141 ] ), rec( 738 fp:= [ 67015, 70559 ], 739 next:= [ 5934, rec( 740 fp:= [ 16833, 21228, 36493, 40888, 45283, 48724, 60548, 64943, 72779, 74180208, 84603, 92439, 96834 ], 742 next:= [ rec( 743 fp:= [ 17100, 21139 ], 744 next:= [ 4258, 4213 ] ), rec( 745 fp:= [ 19915, 36526, 62545 ], 746 next:= [ 4226, 4204, rec( 747 desc:= [ 302017 ], 748 fp:= [ 1081, 34741, 42661 ], 749 next:= [ 4274, 4225, 4216 ] ) ] ), rec( 750 fp:= [ 36939, 53446 ], 751 next:= [ 4261, 4267 ] ), rec( 752 fp:= [ 17680, 90974, 93009, 98251 ], 753 next:= [ 4214, 4257, 4207, 4212 ] ), rec( 754 fp:= [ 51282, 63099 ], 755 next:= [ rec( 756 desc:= [ 302014 ], 757 fp:= [ 1081, 34741, 42661 ], 758 next:= [ 4269, rec( 759 desc:= [ 109003 ], 760 fp:= [ 4, 14 ], 761 next:= [ 4219, 4217 ] ), 4218 ] ), rec( 762 desc:= [ 105003 ], 763 fp:= [ 16, 412 ], 764 next:= [ 4197, 4198 ] ) ] ), 4202, rec( 765 fp:= [ 70254, 88134 ], 766 next:= [ 4268, 4260 ] ), rec( 767 fp:= [ 28428, 49692, 75300 ], 768 next:= [ 4252, 4208, 4206 ] ), 4224, 4281, rec( 769 fp:= [ 21259, 33217 ], 770 next:= [ 4263, 4262 ] ), 4211, rec( 771 fp:= [ 5989, 12069, 49959 ], 772 next:= [ 4203, 4275, 4223 ] ) ] ) ] ), rec( 773 fp:= [ 48658, 55638, 70443 ], 774 level:= 4, 775 next:= [ 1872, 1873, 1883 ] ), 2530, rec( 776 fp:= [ 62555, 88778 ], 777 level:= 4, 778 next:= [ 944, 219 ] ), 199, rec( 779 fp:= [ 14722, 46230, 89077, 93308 ], 780 level:= 4, 781 next:= [ 260, 261, 1458, 1457 ] ), rec( 782 fp:= [ 50647, 84993 ], 783 level:= 4, 784 next:= [ 801, 750 ] ), rec( 785 fp:= [ 41789, 75715, 79821 ], 786 level:= 4, 787 next:= [ 1542, 1629, 1630 ] ), rec( 788 fp:= [ 13557, 18329, 28457, 49972 ], 789 level:= 4, 790 next:= [ 2566, 1247, 1233, 2558 ] ),, rec( 791 fp:= [ 26678, 37943 ], 792 level:= 4, 793 next:= [ 2540, 4814 ] ), rec( 794 fp:= [ 45368, 54942, 69665, 72864 ], 795 level:= 4, 796 next:= [ 4815, 4816, 2555, 2556 ] ), rec( 797 fp:= [ 21, 42 ], 798 next:= [ 5849, rec( 799 fp:= [ 26023, 64358 ], 800 next:= [ 5851, 5853 ] ) ] ), rec( 801 fp:= [ 16761, 42558, 47292, 58504, 68344 ], 802 level:= 4, 803 next:= [ 5890, 5921, 5920, 5923, 5891 ] ), rec( 804 fp:= [ 5171, 15682, 57157 ], 805 level:= 4, 806 next:= [ 1546, 664, 715 ] ), rec( 807 fp:= [ 14460, 21889, 45944, 49378, 70465 ], 808 level:= 4, 809 next:= [ 4843, 4845, 4842, 5385, 5393 ] ), rec( 810 fp:= [ 44132, 78032 ], 811 next:= [ rec( 812 fp:= [ 11762, 28126, 57780, 71070 ], 813 next:= [ 1012, 1717, 2600, 1349 ] ), rec( 814 fp:= [ 290, 29834, 34568, 34592, 47640, 51109, 52147, 64765, 67634, 81582372 ], 816 next:= [ 1699, 1321, 972, 971, 2586, 2595, 970, 1333, 1719, 8171700 ] ) ] ), 5953, rec( 818 fp:= [ 4923, 34293, 51418, 83309 ], 819 level:= 4, 820 next:= [ 2569, 2560, 1249, 1238 ] ), rec( 821 fp:= [ 35515, 63829 ], 822 level:= 4, 823 next:= [ 1647, 1659 ] ), rec( 824 fp:= [ 1519, 16651, 49511 ], 825 level:= 4, 826 next:= [ 1511, 1509, 1519 ] ), 5954, 919, rec( 827 fp:= [ 78032, 87928 ], 828 next:= [ rec( 829 fp:= [ 19860, 20110, 24546, 29834, 34568, 34592, 36129, 40674, 44168, 83044422, 45160, 51109, 52147, 64765, 67634, 70564, 70566, 74619, 76482, 81730, 83187368, 90730, 92846 ], 832 next:= [ 2605, 1722, 1013, 1354, 981, 980, 1324, 976, 977, 978, 2607, 8332599, 979, 1342, 1725, 2593, 1352, 1341, 1015, 1724, 1014, 1350, 8341723 ] ), rec( 835 fp:= [ 32596, 36069, 72211, 76422, 84121, 84621, 89905 ], 836 next:= [ 5870, 5429, 4916, 4918, 5437, 4917, 5896 ] ) ] ), rec( 837 fp:= [ 9004, 30025, 49685, 69345, 89005 ], 838 level:= 4, 839 next:= [ 5836, 5837, 5840, 5838, 5839 ] ),, rec( 840 fp:= [ 3907, 10321, 17197 ], 841 level:= 4, 842 next:= [ 5443, 4113, 4164 ] ), rec( 843 fp:= [ 21, 41 ], 844 next:= [ rec( 845 fp:= [ 6098, 16415, 53971 ], 846 next:= [ 4592, 4590, 4595 ] ), 4596 ] ), rec( 847 fp:= [ 9085, 91457 ], 848 level:= 4, 849 next:= [ 1510, 1518 ] ), rec( 850 fp:= [ 21, 41, 42 ], 851 next:= [ rec( 852 fp:= [ 5054, 33083, 56574 ], 853 next:= [ 4593, 4594, 4591 ] ), 4597, 4598 ] ), rec( 854 fp:= [ 122, 242 ], 855 next:= [ 1682, 1691 ] ), rec( 856 fp:= [ 19242, 40960, 70535, 94719 ], 857 level:= 4, 858 next:= [ 1445, 1451, rec( 859 desc:= [ 105003 ], 860 fp:= [ 4, 212 ], 861 next:= [ rec( 862 desc:= [ 108003 ], 863 fp:= [ 4, 14 ], 864 next:= [ 1450, 1449 ] ), 1446 ] ), 1447 ] ), rec( 865 fp:= [ 122, 125, 242, 249 ], 866 next:= [ 1683, 1684, 1692, 1693 ] ), rec( 867 fp:= [ 11, 21, 42 ], 868 next:= [ 5841, rec( 869 fp:= [ 44901, 47782, 53971 ], 870 next:= [ 5843, 5842, 5844 ] ), 5845 ] ), rec( 871 fp:= [ 21228, 64943 ], 872 level:= 4, 873 next:= [ 4199, 4250 ] ), rec( 874 fp:= [ 25386, 51152, 89705 ], 875 level:= 4, 876 next:= [ 4581, 1644, 1632 ] ), 258, rec( 877 fp:= [ 21, 41, 42 ], 878 next:= [ rec( 879 fp:= [ 458, 6726, 7353, 20977, 25243, 32138, 32776, 48091, 49838, 88057965, 62863, 70990, 72141, 74581 ], 881 next:= [ 4607, 4632, 4606, 4638, 4609, 4611, 4631, 4643, 4608, 4610, 8824613, 4612, 4642, 4649 ] ), rec( 883 fp:= [ 19751, 60116 ], 884 next:= [ 4633, 4644 ] ), rec( 885 fp:= [ 5780, 36174, 49786, 88935 ], 886 next:= [ 4636, 4637, 4648, 4647 ] ) ] ), rec( 887 fp:= [ 5631, 18219 ], 888 level:= 4, 889 next:= [ 799, 779 ] ), rec( 890 fp:= [ 10321, 17197, 23105, 29981, 35889, 42765, 49641, 55549, 56540, 89162425, 68333, 75209 ], 892 level:= 4, 893 next:= [ 5767, 5760, 5769, 5772, 5768, rec( 894 fp:= [ 11242, 93898 ], 895 next:= [ 5763, 5770 ] ), 5765, 5771, 5774, 5766, 5762, 5764 ] ), rec( 896 fp:= [ 317, 2628, 8702, 10282, 13425, 17949, 27929, 28068, 28589, 30534, 89730653, 30998, 34687, 44715, 45215, 48820, 51479, 52119, 53347, 55483, 57117, 89857180, 60943, 64135, 68875, 70549, 72322, 81409, 83539, 89165, 93293, 94679, 89995999, 98575 ], 900 level:= 4, 901 next:= [ 1776, 4932, 2616, 1397, 2608, 1192, 4704, 2666, 4943, 1411, 9021124, 1016, 1857, 1018, 4939, 1126, 1775, 1831, 2691, 1832, 2683, 1191, 1800, 9031017, 4936, 1745, 1125, 2658, 4703, 4696, 1856, 1744, 1801, 4697 ] ), rec( 904 fp:= [ 1872, 46992, 56413 ], 905 level:= 4, 906 next:= [ 215, 214, 216 ] ), rec( 907 fp:= [ 5093, 12943, 56192, 84398 ], 908 level:= 4, 909 next:= [ 211, rec( 910 desc:= [ 105003 ], 911 fp:= [ 4, 212 ], 912 next:= [ rec( 913 desc:= [ 108003 ], 914 fp:= [ 4, 14 ], 915 next:= [ 210, 209 ] ), 206 ] ), 205, 207 ] ), rec( 916 fp:= [ 62, 122, 125, 249, 255 ], 917 next:= [ rec( 918 fp:= [ 33851, 34713, 35798, 66622, 86172 ], 919 next:= [ 4653, 4627, 4620, 4621, 4655 ] ), 4622, rec( 920 fp:= [ 27818, 41608 ], 921 next:= [ 4625, 4626 ] ), 4651, 4656 ] ), rec( 922 fp:= [ 122, 125, 249 ], 923 next:= [ 4617, 4623, 4650 ] ), rec( 924 fp:= [ 709, 1896, 2273, 6766, 6862, 7424, 8866, 10859, 11532, 15841, 92524579, 24603, 30131, 31495, 33365, 33611, 33907, 35659, 36387, 39058, 45117, 92647215, 48497, 49881, 53800, 54190, 56224, 58094, 58868, 70078, 70498, 71960, 92773226, 75608, 76026, 87416, 92149, 97937 ], 928 level:= 4, 929 next:= [ 1024, 1140, 1429, 1196, 1426, 1136, 1138, 1428, 1132, 1030, 9301025, 1401, 1399, 1199, 1195, 1023, 1130, 1400, 1022, 1029, 1134, 1141, 1197, 9311137, 1028, 1033, 1201, 1198, 1133, 1139, 1135, 1027, 1200, 1031, 1131, 1026, 9321032, 1427 ] ), rec( 933 fp:= [ 35089, 68989 ], 934 next:= [ rec( 935 fp:= [ 4041, 11063, 11470, 14497, 15458, 23701, 27664, 32782, 35118, 93635525, 38959, 50376, 58619, 59580, 64673, 67009, 70036, 79240, 86669, 89696, 93791064, 94498, 96564, 99577 ], 938 next:= [ 3468, rec( 939 fp:= [ 45902, 87520 ], 940 next:= [ 3554, 3557 ] ), rec( 941 fp:= [ 38671, 58366 ], 942 next:= [ 3509, 3510 ] ), rec( 943 fp:= [ 65263, 67285 ], 944 next:= [ 4428, 4382 ] ), rec( 945 fp:= [ 5506, 54061, 60170 ], 946 next:= [ rec( 947 desc:= [ 108003 ], 948 fp:= [ 4, 14, 212 ], 949 next:= [ 3401, 3404, 3501 ] ), rec( 950 desc:= [ 105003 ], 951 fp:= [ 2, 12 ], 952 next:= [ 3502, 3402 ] ), 3500 ] ), rec( 953 fp:= [ 3002, 35262 ], 954 next:= [ 3548, 3558 ] ), 4452, 5488, rec( 955 fp:= [ 4004, 55152, 86830 ], 956 next:= [ 3544, rec( 957 desc:= [ 105003 ], 958 fp:= [ 8, 414 ], 959 next:= [ 3551, 3549 ] ), 3542 ] ), rec( 960 fp:= [ 15317, 21259, 34723, 99209 ], 961 next:= [ 3480, 3479, 3481, 3482 ] ), rec( 962 fp:= [ 17527, 71656 ], 963 next:= [ 4373, 4394 ] ), rec( 964 fp:= [ 45643, 95735 ], 965 next:= [ rec( 966 desc:= [ 104003 ], 967 fp:= [ 16, 412 ], 968 next:= [ 4442, 4387 ] ), 4368 ] ), rec( 969 fp:= [ 27076, 44045 ], 970 next:= [ 4381, 4427 ] ), rec( 971 fp:= [ 12854, 16206, 38885, 75464 ], 972 next:= [ 3408, rec( 973 desc:= [ 106003 ], 974 fp:= [ 2, 12 ], 975 next:= [ 3459, 3475 ] ), 3428, 3458 ] ), rec( 976 fp:= [ 5333, 28446 ], 977 next:= [ 5483, 5484 ] ), rec( 978 fp:= [ 18699, 44451, 79917, 95347 ], 979 next:= [ rec( 980 desc:= [ 106003 ], 981 fp:= [ 2, 12 ], 982 next:= [ 3478, 3473 ] ), 3466, 3476, 3477 ] ), rec( 983 fp:= [ 6052, 85330, 96326 ], 984 next:= [ rec( 985 desc:= [ 104003 ], 986 fp:= [ 4, 14 ], 987 next:= [ 4423, 4425 ] ), 4377, 4426 ] ), 3555, rec( 988 fp:= [ 25450, 55026 ], 989 next:= [ 3552, 3545 ] ), 4431, rec( 990 fp:= [ 5829, 47477, 51562, 74953, 76985 ], 991 next:= [ 3456, 3409, 3410, 3455, rec( 992 desc:= [ 106003 ], 993 fp:= [ 2, 12 ], 994 next:= [ 3454, 3463 ] ) ] ), rec( 995 fp:= [ 1387, 46919, 50443 ], 996 next:= [ 4393, 4372, 4392 ] ), 5486, 5491 ] ), rec( 997 fp:= [ 8688, 21557, 32347, 42607, 61815, 75478, 81616, 91290, 97654 ], 998 next:= [ 5487, rec( 999 fp:= [ 9755, 63107, 71265, 86794 ], 1000 next:= [ 3436, 3432, 3431, 3430 ] ), rec( 1001 fp:= [ 71720, 72817, 73691, 89081 ], 1002 next:= [ 4406, 4401, 4407, 4400 ] ), 5485, rec( 1003 fp:= [ 3556, 25294, 70856 ], 1004 next:= [ 3437, 3435, 3434 ] ), rec( 1005 fp:= [ 7075, 96188 ], 1006 next:= [ 5480, 5481 ] ), rec( 1007 fp:= [ 2519, 4965, 61104, 78496, 89449 ], 1008 next:= [ 3392, 3393, 3394, 3380, 3379 ] ), 5490, rec( 1009 fp:= [ 12452, 63907 ], 1010 next:= [ 4448, 4421 ] ) ] ) ] ), rec( 1011 fp:= [ 17166, 59967 ], 1012 level:= 4, 1013 next:= [ 5876, 5931 ] ), rec( 1014 fp:= [ 76110, 83983 ], 1015 level:= 4, 1016 next:= [ 1279, 1290 ] ),, rec( 1017 fp:= [ 28620, 40987 ], 1018 level:= 4, 1019 next:= [ 4104, 4109 ] ), rec( 1020 fp:= [ 1351, 1686, 2808, 4082, 7144, 8728, 8880, 9334, 9595, 10213, 102110451, 11475, 13885, 16310, 23691, 26945, 29925, 30770, 32091, 38384, 39061, 102244266, 44995, 45817, 46393, 48550, 51547, 54916, 56158, 65093, 65331, 67252, 102369146, 70815, 71253, 72120, 74326, 77166, 77920, 81816, 83091, 83585, 91893, 102494377, 95425, 99292 ], 1025 level:= 4, 1026 next:= [ 1954, 3662, 5476, 3959, 3132, 5492, 5058, 5109, 1950, 5884, 10271952, 5502, 5012, 5505, 4981, 5466, 4739, 3670, 3666, 5055, 5883, 1951, 3043, 10283136, 5911, 4506, 5067, 5515, 3573, 5113, 5083, 5032, 4740, 3908, 5912, 4997, 10295028, 5042, 5080, 5093, 5001, 4738, 4485, 3140, 1953, 3963 ] ), rec( 1030 fp:= [ 51665, 61246 ], 1031 next:= [ 5751, rec( 1032 fp:= [ 5917, 49685, 54285 ], 1033 next:= [ 1444, 1442, 1443 ] ) ] ), rec( 1034 fp:= [ 5145, 6268, 11009, 14562, 18818, 24089, 25909, 27246, 27303, 103530682, 33149, 36041, 37374, 41577, 43683, 44563, 46138, 50335, 51451, 55372, 103658834, 60345, 61618, 64550, 65223, 72497, 80670, 80822, 82201, 83912, 87681, 103787763, 89618, 91393, 91487, 96420, 97950 ], 1038 level:= 4, 1039 next:= [ 1413, 2660, 1202, 4941, 2619, 4660, 5855, 4693, 1143, 2669, 10401729, 2685, 1836, 1203, 1144, 1759, 1728, 4659, 4700, 1749, 1815, 1780, 1036, 10414934, 1816, 1846, 2694, 1805, 1790, 1861, 2610, 1035, 1402, 1034, 1760, 1142, 10424658 ] ), rec( 1043 fp:= [ 6858, 70246 ], 1044 level:= 4, 1045 next:= [ 5955, 5946 ] ),, 2533, rec( 1046 fp:= [ 50463, 94498 ], 1047 level:= 4, 1048 next:= [ 1939, 1882 ] ), rec( 1049 fp:= [ 25666, 59566 ], 1050 next:= [ rec( 1051 fp:= [ 35118, 64673, 70036 ], 1052 next:= [ 1121, 2650, 1390 ] ), rec( 1053 fp:= [ 6020, 17763, 19198, 20321, 25047, 48666 ], 1054 next:= [ 1362, 2645, 1374, 2636, 1096, 1097 ] ) ] ),, rec( 1055 fp:= [ 633, 80493 ], 1056 level:= 4, 1057 next:= [ 4248, 4227 ] ), 4, rec( 1058 fp:= [ 4886, 11762, 16469, 28126, 56822, 57780, 67708, 71070, 82067 ], 1059 level:= 4, 1060 next:= [ 2839, 2990, 4285, 4962, 2847, 5456, 2843, 4336, 4958 ] ), rec( 1061 fp:= [ 12943, 27986, 56192, 84398, 99441 ], 1062 level:= 4, 1063 next:= [ 939, 941, rec( 1064 fp:= [ 8376, 68909 ], 1065 next:= [ 940, 938 ] ), 942, 937 ] ), rec( 1066 fp:= [ 44183, 75857 ], 1067 level:= 4, 1068 next:= [ 1624, 1623 ] ), rec( 1069 fp:= [ 70469, 71478 ], 1070 next:= [ rec( 1071 fp:= [ 20430, 36267, 78179, 94016 ], 1072 next:= [ 924, 923, rec( 1073 fp:= [ 26383, 73117 ], 1074 next:= [ 921, 922 ] ), 920 ] ), rec( 1075 fp:= [ 55266, 84834 ], 1076 level:= 5, 1077 next:= [ 936, 935 ] ) ] ), rec( 1078 fp:= [ 64287, 70469 ], 1079 next:= [ 4584, rec( 1080 fp:= [ 20430, 36267, 52104, 78179, 94016 ], 1081 next:= [ rec( 1082 desc:= [ 104003 ], 1083 fp:= [ 16, 412 ], 1084 next:= [ 933, 930 ] ), rec( 1085 fp:= [ 62408, 68575 ], 1086 next:= [ 928, 929 ] ), rec( 1087 fp:= [ 17590, 99659 ], 1088 next:= [ 925, 932 ] ), rec( 1089 fp:= [ 48379, 56974 ], 1090 next:= [ 927, 931 ] ), 926 ] ) ] ), rec( 1091 fp:= [ 13795, 91857 ], 1092 level:= 4, 1093 next:= [ 1274, 1288 ] ), rec( 1094 fp:= [ 34428, 35437 ], 1095 next:= [ 198, 200 ] ), rec( 1096 fp:= [ 30396, 97311 ], 1097 level:= 4, 1098 next:= [ 3, 6 ] ), rec( 1099 fp:= [ 71679, 72864 ], 1100 level:= 4, 1101 next:= [ 4808, 2526 ] ), rec( 1102 fp:= [ 1270, 3871, 4023, 5145, 6613, 7482, 11009, 15237, 16134, 17103, 110317857, 18818, 19012, 22556, 22978, 27303, 27475, 30540, 30682, 32861, 35935, 110436879, 37374, 41053, 41577, 43683, 44526, 45144, 49541, 52041, 53027, 53668, 110554573, 55372, 57346, 57790, 59590, 60345, 61109, 61183, 61618, 63868, 72126, 110673452, 74899, 75899, 78980, 80670, 80822, 83912, 84567, 87763, 89618, 89998, 110790023, 90773, 91393, 93326, 95453, 96420, 96816, 97417 ], 1108 level:= 4, 1109 next:= [ 1785, 1044, 1867, 1424, 1151, 1434, 1210, 1866, 1840, 1082, 11101153, 2624, 1080, 1043, 2707, 1155, 1045, 1842, 2674, 2618, 1230, 1152, 1843, 11111190, 1211, 1156, 1810, 1841, 1786, 1754, 1432, 1231, 1406, 1756, 1209, 2693, 11121811, 1787, 2682, 1081, 1048, 1865, 2668, 2705, 2630, 1753, 1423, 2699, 1812, 11131868, 1188, 1047, 1436, 2680, 1784, 1809, 1046, 1755, 1189, 1154, 1208, 11142632 ] ), rec( 1115 fp:= [ 61246, 71256 ], 1116 next:= [ rec( 1117 fp:= [ 5917, 30101 ], 1118 next:= [ 1448, 1441 ] ), 1453 ] ), rec( 1119 fp:= [ 7257, 13122, 53751, 60020 ], 1120 level:= 4, 1121 next:= [ 1627, 1628, 1625, 1626 ] ), rec( 1122 fp:= [ 2438, 11133, 17564, 18593, 19847, 19919, 20077, 21393, 25354, 112325649, 28004, 30844, 33367, 34913, 36211, 36584, 45952, 55220, 56838, 62735, 112463352, 64907, 65707, 75793, 86305, 88242, 90152, 90158, 90776, 93006, 93677, 112593814, 96664, 97673 ], 1126 level:= 4, 1127 next:= [ 2170, 5076, 4989, 5879, 3855, 3178, 5469, 3712, 2169, 5073, 11285508, 4719, 4508, 4457, 5024, 5495, 2168, 4071, 2167, 3325, 5048, 3704, 3987, 11293708, 3983, 3174, 5020, 5051, 5105, 4720, 2166, 5101, 3182, 4993 ] ), rec( 1130 fp:= [ 11854, 68067 ], 1131 level:= 4, 1132 next:= [ 133, 121 ] ), rec( 1133 fp:= [ 4154, 13247, 16633, 18201, 28659, 32045, 36999, 38567, 48248, 113452411, 81557, 86690, 92342, 97496, 98682 ], 1135 level:= 4, 1136 next:= [ rec( 1137 desc:= [ 302005 ], 1138 fp:= [ 502, 1001 ], 1139 next:= [ rec( 1140 desc:= [ 106003 ], 1141 fp:= [ 4, 212 ], 1142 next:= [ 1252, 1257 ] ), 1253 ] ), 1241, 2579, 1273, 1245, 2578, 11432576, 1269, 1261, 2577, rec( 1144 desc:= [ 110003 ], 1145 fp:= [ 2, 12 ], 1146 next:= [ 2565, 2564 ] ), rec( 1147 desc:= [ 111003 ], 1148 fp:= [ 2, 12 ], 1149 next:= [ 2563, 2562 ] ), 1256, rec( 1150 desc:= [ 302015 ], 1151 fp:= [ 681, 26421 ], 1152 next:= [ 1271, rec( 1153 desc:= [ 108003 ], 1154 fp:= [ 2, 12 ], 1155 next:= [ rec( 1156 desc:= [ 111003 ], 1157 fp:= [ 4, 14 ], 1158 next:= [ 1243, 1244 ] ), 1246 ] ) ] ), rec( 1159 fp:= [ 76062, 91649 ], 1160 next:= [ 1258, 1254 ] ) ] ), rec( 1161 fp:= [ 18539, 19656, 41667, 54520, 70552, 88013, 89849, 97737 ], 1162 level:= 4, 1163 next:= [ 4925, 1084, 4929, 1083, 1370, 2633, 1356, 2641 ] ), rec( 1164 fp:= [ 51788, 67253 ], 1165 level:= 4, 1166 next:= [ 257, 256 ] ), rec( 1167 fp:= [ 29207, 36636, 47462, 49821, 71517 ], 1168 level:= 4, 1169 next:= [ 4924, 4923, 5759, 5439, 5758 ] ), 2522, 254, rec( 1170 fp:= [ 6318, 15682, 22592, 31519, 31956, 47793, 48230, 57157, 64067, 117173431, 75022, 89705 ], 1172 level:= 4, 1173 next:= [ 1642, 1638, 1633, 1636, 1640, 1637, 1639, 1631, 1635, 1643, 11741645, rec( 1175 fp:= [ 26913, 86936 ], 1176 next:= [ 1641, 1634 ] ) ] ),, rec( 1177 fp:= [ 28819, 42592 ], 1178 level:= 4, 1179 next:= [ 943, 217 ] ), rec( 1180 fp:= [ 11492, 41960, 45450, 48940, 49833, 53323, 56813, 73124, 97308 ], 1181 level:= 4, 1182 next:= [ rec( 1183 fp:= [ 35100, 47434 ], 1184 next:= [ 1295, 1299 ] ), 1286, 1282, rec( 1185 desc:= [ 302014 ], 1186 fp:= [ 1081, 34741 ], 1187 next:= [ 1312, rec( 1188 desc:= [ 109003 ], 1189 fp:= [ 2, 12 ], 1190 next:= [ rec( 1191 desc:= [ 113003 ], 1192 fp:= [ 4, 14 ], 1193 next:= [ 1284, 1285 ] ), 1287 ] ) ] ), 1297, 1302, rec( 1194 desc:= [ 118011 ], 1195 fp:= [ 32, 2418 ], 1196 next:= [ rec( 1197 desc:= [ 106003 ], 1198 fp:= [ 4, 212 ], 1199 next:= [ 1294, 1298 ] ), 1293 ] ), 1314, 1310 ] ), rec( 1200 fp:= [ 114, 45545, 53659, 62817, 89932 ], 1201 level:= 4, 1202 next:= [ 5947, 5957, 5950, 5949, 5924 ] ), 5925, rec( 1203 fp:= [ 35118, 59580, 64673, 70036, 91064, 94498 ], 1204 level:= 4, 1205 next:= [ 3541, 3457, 5482, 4422, 3453, 4371 ] ), rec( 1206 fp:= [ 10406, 60307, 66772, 71679, 80355, 86952 ], 1207 level:= 4, 1208 next:= [ 1695, 221, 945, 1696, 947, 948 ] ), rec( 1209 fp:= [ 39483, 75769 ], 1210 level:= 4, 1211 next:= [ 5371, 5363 ] ), rec( 1212 fp:= [ 12438, 16833, 21228, 36493, 40888, 56153, 60548, 64943, 68384, 121372779, 92439, 96834 ], 1214 level:= 4, 1215 next:= [ 5779, rec( 1216 fp:= [ 32831, 98123 ], 1217 next:= [ 5778, 5785 ] ), 5782, 5781, 5787, 5789, 5780, 5775, 5777, 12185783, 5786, 5784 ] ), 2547, rec( 1219 fp:= [ 35099, 68999 ], 1220 next:= [ rec( 1221 fp:= [ 8735, 35515, 43081, 50647, 63829, 77427, 84993, 92559 ], 1222 next:= [ 813, rec( 1223 fp:= [ 19157, 54950 ], 1224 next:= [ 806, 760 ] ), rec( 1225 fp:= [ 18810, 89191 ], 1226 next:= [ 807, 761 ] ), rec( 1227 fp:= [ 36970, 71944, 84372 ], 1228 next:= [ 805, rec( 1229 desc:= [ 104003 ], 1230 fp:= [ 4, 14 ], 1231 next:= [ 802, 804 ] ), 756 ] ), 831, rec( 1232 fp:= [ 57572, 77291 ], 1233 next:= [ 752, 773 ] ), rec( 1234 fp:= [ 5932, 31707, 51426 ], 1235 next:= [ 771, 751, 772 ] ), rec( 1236 fp:= [ 34668, 44607 ], 1237 next:= [ rec( 1238 desc:= [ 104003 ], 1239 fp:= [ 16, 412 ], 1240 next:= [ 824, 766 ] ), 747 ] ) ] ), rec( 1241 fp:= [ 5631, 18219 ], 1242 next:= [ rec( 1243 fp:= [ 48480, 66016 ], 1244 next:= [ 827, 800 ] ), rec( 1245 fp:= [ 2223, 2469, 20108, 65723 ], 1246 next:= [ 786, 781, 780, 785 ] ) ] ) ] ), rec( 1247 fp:= [ 25676, 59576 ], 1248 next:= [ 150, rec( 1249 fp:= [ 11854, 68067 ], 1250 next:= [ 135, 122 ] ) ] ), rec( 1251 fp:= [ 7606, 29186, 47293, 64515, 68462, 79611, 83668, 96158, 98659 ], 1252 level:= 4, 1253 next:= [ 1714, 949, 2591, 1329, 951, 950, 1713, 2583, 1315 ] ), rec( 1254 fp:= [ 2329, 6290, 46643, 53837, 54337, 65848, 69794 ], 1255 level:= 4, 1256 next:= [ 4920, 5428, 4922, 5438, 4921, 5430, 4919 ] ), rec( 1257 fp:= [ 79225, 82243 ], 1258 next:= [ 4578, rec( 1259 fp:= [ 6318, 15245, 15682, 31519, 31956, 47793, 48230, 57157, 63087, 126064504, 73431, 89705, 99069 ], 1261 next:= [ 676, rec( 1262 fp:= [ 82014, 94437 ], 1263 next:= [ 727, 728 ] ), rec( 1264 fp:= [ 35357, 38496, 94515 ], 1265 next:= [ 691, rec( 1266 desc:= [ 302021 ], 1267 fp:= [ 681, 26421 ], 1268 next:= [ 739, rec( 1269 desc:= [ 107003 ], 1270 fp:= [ 2, 12 ], 1271 next:= [ 681, 690 ] ) ] ), 669 ] ), rec( 1272 fp:= [ 5086, 14604 ], 1273 next:= [ 725, 733 ] ), rec( 1274 fp:= [ 72107, 81907, 83422 ], 1275 next:= [ 740, 668, 688 ] ), rec( 1276 fp:= [ 60019, 60954 ], 1277 next:= [ 732, 726 ] ), 689, rec( 1278 fp:= [ 12800, 15020, 54986 ], 1279 next:= [ 673, 717, 671 ] ), 746, 667, rec( 1280 fp:= [ 10083, 56449, 81366, 81582 ], 1281 next:= [ 672, 677, 722, 679 ] ), rec( 1282 fp:= [ 15325, 21735 ], 1283 next:= [ 723, 678 ] ), rec( 1284 fp:= [ 397, 21647 ], 1285 next:= [ rec( 1286 desc:= [ 104003 ], 1287 fp:= [ 16, 412 ], 1288 next:= [ 662, 663 ] ), rec( 1289 desc:= [ 106003 ], 1290 fp:= [ 4, 14, 212 ], 1291 next:= [ 684, rec( 1292 desc:= [ 118011 ], 1293 fp:= [ 22, 814 ], 1294 next:= [ 734, 682 ] ), 683 ] ) ] ) ] ) ] ), rec( 1295 fp:= [ 28506, 61220 ], 1296 level:= 4, 1297 next:= [ 130, 116 ] ), rec( 1298 fp:= [ 34115, 43686 ], 1299 next:= [ 5951, rec( 1300 fp:= [ 10365, 30025, 49685, 69345, 89005 ], 1301 next:= [ rec( 1302 desc:= [ 104003 ], 1303 fp:= [ 16, 412 ], 1304 next:= [ 4554, 4551 ] ), rec( 1305 fp:= [ 802, 37218 ], 1306 next:= [ 4548, 4552 ] ), rec( 1307 fp:= [ 44410, 58154 ], 1308 next:= [ 4550, 4549 ] ), 4547, rec( 1309 fp:= [ 34285, 57024 ], 1310 next:= [ 4546, 4553 ] ) ] ) ] ), rec( 1311 fp:= [ 14527, 21374 ], 1312 level:= 4, 1313 next:= [ 5938, 2557 ] ), rec( 1314 fp:= [ 2946, 5362, 8558, 8915, 11239, 11654, 12895, 12928, 14052, 17615, 131519220, 19744, 20494, 25308, 25808, 26036, 27310, 28871, 29202, 32253, 33602, 131634876, 36018, 37292, 41121, 42310, 43584, 44708, 44858, 49876, 51150, 51156, 131752292, 53566, 55964, 57966, 59858, 61132, 66674, 67220, 67424, 67948, 71980, 131874240, 75514, 76619, 81806, 83057, 84222, 86620, 87876, 90514, 91788, 94313, 131995041, 96315, 97876, 99643 ], 1320 level:= 4, 1321 next:= [ 1592, 1580, 1616, 1618, 1610, 1597, 1621, 1578, 1667, 1663, 13221594, 1570, 1574, 1673, 1615, 1599, 1571, 1669, 1575, 1617, 1596, 1573, 1590, 13231602, 1675, 1593, rec( 1324 fp:= [ 6053, 22666, 59532, 82289 ], 1325 next:= [ 1588, 1586, 1587, 1579 ] ), 1665, 1603, 1598, 1577, 1619, 13261585, 1606, rec( 1327 fp:= [ 3790, 53943 ], 1328 next:= [ 1671, 1664 ] ), 1572, 1589, 1600, 1583, 1668, 1576, 1604, 13291612, 1591, 1601, 1614, 1581, 1666, 1607, 1672, 1608, 1584, 1605, 1661, 1595, 13301569, 1670, 1620 ] ), rec( 1331 fp:= [ 47462, 71517 ], 1332 level:= 4, 1333 next:= [ 4107, rec( 1334 fp:= [ 32923, 57619 ], 1335 next:= [ 4103, 4106 ] ) ] ),, rec( 1336 fp:= [ 13215, 53837 ], 1337 level:= 4, 1338 next:= [ 5897, 5926 ] ), rec( 1339 fp:= [ 8690, 30320, 36562, 50509, 59748, 82934, 88162 ], 1340 level:= 4, 1341 next:= [ 1265, 1262, 1237, 1263, 1235, 1236, 1264 ] ), 2521, rec( 1342 fp:= [ 1083, 4573, 10937, 13614, 14427, 16109, 17398, 19628, 20521, 134322707, 23609, 23850, 27340, 30536, 32222, 32447, 39129, 39374, 41315, 43828, 134456505, 63851, 65136, 71547, 72043, 75113, 76657, 80422, 83584, 83744, 85495, 134587831, 90651, 91321, 91570, 92422, 98451, 99030 ], 1346 level:= 4, 1347 next:= [ 4864, 4863, 4870, 4850, 4869, 5398, 4893, 5403, 4851, 4899, 13484881, 4868, 4867, 4879, 4848, 4880, 4849, 4878, 4897, 5400, 4896, 5401, 4854, 13495399, 4855, 4894, 4885, 4900, 4883, 4852, 4884, 4866, 4853, 4865, 5402, 4882, 13504895, 4898 ] ), rec( 1351 fp:= [ 8735, 11854, 24584, 42856, 43081, 68067 ], 1352 level:= 4, 1353 next:= [ 153, 142, 143, 151, 125, 154 ] ), rec( 1354 fp:= [ 59227, 85657 ], 1355 level:= 4, 1356 next:= [ 5956, 5948 ] ), rec( 1357 fp:= [ 3563, 22534, 47218, 58504, 75746, 79227 ], 1358 level:= 4, 1359 next:= [ 4679, 4686, 4664, 1947, 1929, 1907 ] ), 4572,, rec( 1360 fp:= [ 11702, 22588, 33509, 71010, 72211, 84121, 89905 ], 1361 level:= 4, 1362 next:= [ 4828, 4827, 5865, 5374, 4830, 5382, 5893 ] ), rec( 1363 fp:= [ 14516, 15647, 16770, 18006, 18988, 21496, 22749, 23872, 26360, 136427015, 28796, 34645, 40116, 41945, 43177, 47794, 52217, 66008, 74035, 76703, 136582062, 84599, 84730, 97831 ], 1366 level:= 4, 1367 next:= [ 1105, rec( 1368 desc:= [ 302005 ], 1369 fp:= [ 822, 1641 ], 1370 next:= [ rec( 1371 desc:= [ 106003 ], 1372 fp:= [ 4, 212 ], 1373 next:= [ 1375, 1380 ] ), 1376 ] ), rec( 1374 desc:= [ 110003 ], 1375 fp:= [ 2, 12 ], 1376 next:= [ 2638, 2637 ] ), 1110, 2651, rec( 1377 desc:= [ 106003 ], 1378 fp:= [ 2, 12 ], 1379 next:= [ rec( 1380 desc:= [ 107003 ], 1381 fp:= [ 2, 12 ], 1382 next:= [ rec( 1383 desc:= [ 111003 ], 1384 fp:= [ 4, 14 ], 1385 next:= [ 1117, 1115 ] ), 1109 ] ), 1108 ] ), rec( 1386 fp:= [ 32046, 49455 ], 1387 next:= [ 1381, 1377 ] ), rec( 1388 desc:= [ 109003 ], 1389 fp:= [ 2, 12 ], 1390 next:= [ 2640, 2639 ] ), rec( 1391 desc:= [ 106003 ], 1392 fp:= [ 4, 212 ], 1393 next:= [ rec( 1394 desc:= [ 110003 ], 1395 fp:= [ 4, 14 ], 1396 next:= [ 1118, 1116 ] ), 1107 ] ), 2654, 1384, 1112, 1364, 1379, 13971104, 1106, rec( 1398 fp:= [ 33190, 77685 ], 1399 next:= [ 1119, 1120 ] ), 1392, 1396, 2652, rec( 1400 desc:= [ 302011 ], 1401 fp:= [ 1161, 42741 ], 1402 next:= [ 1394, rec( 1403 desc:= [ 108003 ], 1404 fp:= [ 2, 12 ], 1405 next:= [ rec( 1406 desc:= [ 111003 ], 1407 fp:= [ 4, 14 ], 1408 next:= [ 1366, 1367 ] ), 1369 ] ) ] ), 1111, 2653, 1368 ] ), rec( 1409 fp:= [ 16109, 63851, 66591, 69820 ], 1410 level:= 4, 1411 next:= [ 2535, 2536, 4809, 4810 ] ), rec( 1412 fp:= [ 4049, 12104, 17903, 24271, 25958, 34125, 43979 ], 1413 level:= 4, 1414 next:= [ 1904, 1903, 1906, 1928, 1905, 1927, 1926 ] ), rec( 1415 fp:= [ 12938, 85472 ], 1416 next:= [ rec( 1417 fp:= [ 317, 2628, 8702, 10282, 13425, 17949, 27929, 28068, 28589, 141830534, 30653, 30998, 34687, 44715, 45215, 48820, 51479, 52119, 53347, 55483, 141957117, 57180, 60943, 64135, 68875, 70549, 72322, 81409, 83539, 89165, 93293, 142094679, 95999, 98575 ], 1421 next:= [ 1778, 4933, 2617, 1398, 2609, 1194, 4706, 2667, 4944, 1412, 14221127, 1019, 1859, 1021, 4940, 1129, 1777, 1833, 2692, 1834, 2684, 1193, 1802, 14231020, 4937, 1747, 1128, 2659, 4705, 4698, 1858, 1746, 1803, 4699 ] ), rec( 1424 fp:= [ 1686, 2808, 4082, 5145, 7144, 8728, 8880, 9334, 10213, 11009, 142511475, 14562, 16310, 18818, 26945, 27246, 27303, 30682, 30770, 32091, 37374, 142638384, 39061, 41577, 43683, 45817, 46393, 48550, 51451, 54916, 55372, 60345, 142761618, 64550, 65093, 65331, 67252, 71253, 72120, 74326, 77920, 80670, 80822, 142883091, 83912, 87763, 89618, 91393, 91893, 94377, 96420, 99292 ], 1429 next:= [ 1148, 2631, 1206, 1414, 1040, 2696, 1808, 1838, 4701, 1221, 14302706, 4942, 2671, rec( 1431 desc:= [ 104003 ], 1432 fp:= [ 2, 12 ], 1433 next:= [ 2623, 2622 ] ), 2621, 4695, 1177, rec( 1434 desc:= [ 104003 ], 1435 fp:= [ 2, 12 ], 1436 next:= [ 2673, 2672 ] ), 1150, 1149, rec( 1437 desc:= [ 105003 ], 1438 fp:= [ 2, 12 ], 1439 next:= [ 1845, 1844 ] ), 1807, 4694, 1222, 1176, 1041, 4938, 1430, 14404702, 2681, rec( 1441 desc:= [ 105003 ], 1442 fp:= [ 2, 12 ], 1443 next:= [ 1758, 1757 ] ), rec( 1444 desc:= [ 106003 ], 1445 fp:= [ 2, 12 ], 1446 next:= [ 1789, 1788 ] ), 1068, 4935, 1839, 1864, 1783, 4945, 1751, 14471782, 1863, rec( 1448 desc:= [ 104003 ], 1449 fp:= [ 2, 12 ], 1450 next:= [ 2698, 2697 ] ), rec( 1451 desc:= [ 106003 ], 1452 fp:= [ 2, 12 ], 1453 next:= [ 1814, 1813 ] ), 1752, rec( 1454 desc:= [ 104003 ], 1455 fp:= [ 2, 12 ], 1456 next:= [ 1870, 1869 ] ), 1069, 1404, 1067, 1419, 1042, 1175, 14571207 ] ) ] ), rec( 1458 fp:= [ 46606, 68072, 95334 ], 1459 level:= 4, 1460 next:= [ 5878, 5936, 2543 ] ), rec( 1461 fp:= [ 11, 21 ], 1462 next:= [ 5846, 5850 ] ), rec( 1463 fp:= [ 8356, 27496, 34712, 36069, 42141, 43285, 44642, 50714, 73864, 146481293, 82437, 89866, 90871, 99444 ], 1465 level:= 4, 1466 next:= [ 5432, 5434, 4908, 5435, 4911, 4912, 5436, 4915, 4914, 4909, 14674910, 4913, 5431, 5433 ] ), rec( 1468 fp:= [ 8776, 21220, 24431, 57924, 70368, 73579, 74944 ], 1469 level:= 4, 1470 next:= [ 1305, 1303, 1276, 1306, 1304, 1278, 1277 ] ), 2525, rec( 1471 fp:= [ 1069, 15792, 26678, 98843 ], 1472 level:= 4, 1473 next:= [ 4813, 2541, 2542, 4812 ] ), rec( 1474 fp:= [ 6020, 9134, 11063, 12963, 14497, 17763, 18067, 19198, 25047, 147545496, 48666, 74964, 79240, 81957, 89627, 89696 ], 1476 level:= 4, 1477 next:= [ 1395, 2643, 1122, 2657, 1365, 2649, 1100, 1383, 1102, 1382, 14781103, 1101, 1123, 2655, 1393, 1391 ] ), 1, rec( 1479 fp:= [ 60, 2293, 2733, 5229, 5489, 8453, 10754, 12136, 12396, 14454, 148014837, 15758, 19043, 19303, 21643, 23779, 24102, 25950, 32857, 34668, 34742, 148136804, 37127, 39622, 45148, 46718, 47693, 50152, 53625, 54034, 58173, 58496, 148258939, 60532, 60718, 63728, 63830, 67059, 70635, 71198, 71521, 72465, 76855, 148377542, 84546, 87352, 88140, 89369, 89880, 95047 ], 1484 level:= 4, 1485 next:= [ 4777, 4788, 5149, 5186, 4781, 5888, 5173, 5183, 4794, 5166, 14865168, 5151, rec( 1487 fp:= [ 5934, 6890 ], 1488 next:= [ 5182, 5184 ] ), 4785, 5198, 5169, 5154, 5185, 5181, 5197, 14895887, 5167, 5148, 5172, 5174, 4795, rec( 1490 fp:= [ 81511, 87378 ], 1491 next:= [ 5196, 5194 ] ), 5150, rec( 1492 fp:= [ 14721, 84999 ], 1493 next:= [ 4787, 4780 ] ), 4783, 5171, 5156, 5861, 4792, 5195, 4793, 14944786, 4789, rec( 1495 fp:= [ 43131, 73052 ], 1496 next:= [ 4784, 4779 ] ), 5170, 5152, 5886, 4791, 4790, 5153, 5193, 14974782, 5155, 4778, 4796 ] ), rec( 1498 fp:= [ 14322, 15515 ], 1499 level:= 4, 1500 next:= [ 1685, 1688 ] ), rec( 1501 fp:= [ 20494, 21742, 34876, 42327, 50519, 67220, 87876, 94313, 96315 ], 1502 level:= 4, 1503 next:= [ 503, 1502, 467, 1559, 1490, 836, 601, 887, 463 ] ), 74, rec( 1504 fp:= [ 2832, 31263, 44818, 48851, 51183, 56474, 57548, 78551, 93699 ], 1505 level:= 4, 1506 next:= [ 124, 152, rec( 1507 desc:= [ 302005 ], 1508 fp:= [ 822, 1641 ], 1509 next:= [ rec( 1510 desc:= [ 106003 ], 1511 fp:= [ 4, 212 ], 1512 next:= [ 136, 138 ] ), 137 ] ), 129, 144, rec( 1513 desc:= [ 302012 ], 1514 fp:= [ 441, 18261 ], 1515 next:= [ 155, rec( 1516 desc:= [ 108003 ], 1517 fp:= [ 2, 12 ], 1518 next:= [ rec( 1519 desc:= [ 111003 ], 1520 fp:= [ 4, 14 ], 1521 next:= [ 126, 127 ] ), 128 ] ) ] ), 140, rec( 1522 fp:= [ 30685, 40729 ], 1523 next:= [ 141, 132 ] ), 156 ] ), rec( 1524 fp:= [ 15272, 30304, 32089, 40640, 48906, 57457, 73511, 82062, 90328, 152594385, 98879 ], 1526 level:= 4, 1527 next:= [ 5128, 5885, rec( 1528 fp:= [ 51469, 51972 ], 1529 next:= [ 5127, 5123 ] ), 5139, 5125, 5136, 5126, 5140, 5124, 5135, rec( 1530 fp:= [ 213, 36687 ], 1531 next:= [ 5138, 5137 ] ) ] ), rec( 1532 fp:= [ 25332, 62107, 65044, 70034 ], 1533 level:= 4, 1534 next:= [ 1553, 713, 692, 1543 ] ), rec( 1535 fp:= [ 61236, 61246 ], 1536 next:= [ 1438, 1440 ] ), rec( 1537 fp:= [ 342, 36335 ], 1538 level:= 4, 1539 next:= [ 4564, 4570 ] ), rec( 1540 fp:= [ 35437, 47837 ], 1541 next:= [ rec( 1542 fp:= [ 9018, 80473 ], 1543 next:= [ 208, 201 ] ), 213 ] ), rec( 1544 fp:= [ 7680, 12549, 19388, 20138, 50935, 55296, 62240, 69297, 70688, 154582431 ], 1546 level:= 4, 1547 next:= [ 4604, 4630, 4635, 4605, 4639, 4646, 4602, 4641, 4599, 15484628 ] ), rec( 1549 fp:= [ 3553, 52078, 84168 ], 1550 level:= 4, 1551 next:= [ 5408, 5406, 5416 ] ), 5908, rec( 1552 fp:= [ 1557, 20735, 21968, 55151, 60317, 78194, 78489 ], 1553 level:= 4, 1554 next:= [ 1474, 1530, 1522, 1476, 1520, 1471, 1477 ] ), 218, rec( 1555 fp:= [ 6462, 25388, 43584, 55964, 62050, 69469, 85344, 87290 ], 1556 level:= 4, 1557 next:= [ 1609, 4573, 1582, 1662, 1611, 1613, 1674, 4582 ] ), rec( 1558 fp:= [ 163, 3604, 91034 ], 1559 level:= 4, 1560 next:= [ 5417, 5419, 5427 ] ), rec( 1561 fp:= [ 2832, 3902, 19378, 23640, 25743, 31263, 32108, 40057, 44818, 156247584, 48851, 51183, 53949, 56474, 57548, 60314, 63913, 70278, 77282, 86076, 156390833, 93699, 97198 ], 1564 level:= 4, 1565 next:= [ 822, 789, 794, 811, rec( 1566 fp:= [ 11017, 91189 ], 1567 next:= [ 792, 795 ] ), 810, 793, 830, 778, 796, 821, 788, 797, 820, rec( 1568 fp:= [ 1242, 3018 ], 1569 next:= [ 782, 784 ] ), 798, 787, 783, 812, 829, 791, 828, 790 ] ), 15705958, rec( 1571 fp:= [ 50778, 58990, 67202 ], 1572 level:= 4, 1573 next:= [ 1881, 1880, 1879 ] ), rec( 1574 fp:= [ 72011, 82011 ], 1575 next:= [ rec( 1576 fp:= [ 3907, 17197 ], 1577 next:= [ 2575, 1267 ] ), rec( 1578 fp:= [ 4923, 34293, 51418, 83309 ], 1579 next:= [ 2570, 2561, 1251, 1239 ] ) ] ), rec( 1580 fp:= [ 7181, 62720 ], 1581 level:= 4, 1582 next:= [ 2545, rec( 1583 fp:= [ 6866, 70067 ], 1584 next:= [ 2544, 2546 ] ) ] ), rec( 1585 fp:= [ 1594, 8829, 12689, 16497, 19227, 22305, 24152, 24430, 25308, 158632998, 44136, 51082, 52401, 58601, 63258, 67986, 74963, 78906, 81548, 89532, 158792290, 93899, 99638 ], 1588 level:= 4, 1589 next:= [ 195, 244, 183, 318, 56, 317, 70, 67, 166, 57, 309, 58, 194, 310, 1590192, 55, 71, 184, 64, 73, 243, 251, 252 ] ), rec( 1591 fp:= [ 4177, 28300 ], 1592 level:= 4, 1593 next:= [ 4579, 268 ] ), rec( 1594 fp:= [ 21557, 30753, 32347, 61815, 75478, 81616, 91290, 97654 ], 1595 level:= 4, 1596 next:= [ 3429, 5910, 4399, 3433, 5479, 3378, 5489, 4420 ] ), 4587, rec( 1597 fp:= [ 44518, 88418 ], 1598 next:= [ rec( 1599 fp:= [ 633, 76110, 80493, 83983 ], 1600 next:= [ 1307, 1281, 1296, 1291 ] ), rec( 1601 fp:= [ 13795, 91857 ], 1602 next:= [ 1275, 1289 ] ) ] ), rec( 1603 fp:= [ 6020, 6675, 17763, 19198, 20321, 25047, 48666 ], 1604 level:= 4, 1605 next:= [ 1361, 4927, 2644, 1372, 2635, 1094, 1095 ] ), rec( 1606 fp:= [ 7233, 23002, 29457, 32947, 39580, 42606, 46096, 49586, 53076, 160762735, 64948, 66225, 81526, 97295 ], 1608 level:= 4, 1609 next:= [ 5387, 5388, 4838, 4837, 5391, 4840, 4839, 4834, 4833, 4836, 16105389, 4835, 5390, 5392 ] ), rec( 1611 fp:= [ 7233, 81526 ], 1612 level:= 4, 1613 next:= [ 2531, 2532 ] ), rec( 1614 fp:= [ 9075, 59576 ], 1615 next:= [ rec( 1616 fp:= [ 28506, 61220 ], 1617 next:= [ 131, 117 ] ), rec( 1618 fp:= [ 5631, 11854, 18219, 68067 ], 1619 next:= [ 149, 134, 139, 123 ] ) ] ), rec( 1620 fp:= [ 41, 42 ], 1621 next:= [ rec( 1622 fp:= [ 15515, 42016 ], 1623 next:= [ 1689, 1686 ] ), rec( 1624 fp:= [ 36174, 95418 ], 1625 next:= [ 1687, 1690 ] ) ] ), rec( 1626 fp:= [ 290, 29834, 34568, 34592, 47640, 51109, 52147, 64765, 67634, 162782372 ], 1628 level:= 4, 1629 next:= [ 1697, 1320, 969, 968, 2585, 2594, 967, 1331, 1718, 1698 ] ), rec( 1630 fp:= [ 2406, 24523, 66639, 98862 ], 1631 level:= 4, 1632 next:= [ 80, 91, 271, 280 ] ), rec( 1633 fp:= [ 6290, 36069, 37270, 46643, 48156, 68979, 87308 ], 1634 level:= 4, 1635 next:= [ 5373, 5375, 4832, 4826, 4831, 5383, 4829 ] ), rec( 1636 fp:= [ 4565, 31654, 40851, 67940 ], 1637 level:= 4, 1638 next:= [ 5755, 5754, 5756, 5757 ] ), 4614, rec( 1639 fp:= [ 11519, 63538 ], 1640 level:= 4, 1641 next:= [ 2549, 2548 ] ), rec( 1642 fp:= [ 26250, 82011 ], 1643 next:= [ rec( 1644 fp:= [ 13557, 18329, 28457, 49972 ], 1645 next:= [ 2567, 1248, 1234, 2559 ] ), rec( 1646 fp:= [ 4014, 4923, 18319, 20335, 51418, 83309, 95512 ], 1647 next:= [ 1266, rec( 1648 desc:= [ 104003 ], 1649 fp:= [ 2, 12 ], 1650 next:= [ 2573, 2572 ] ), 2581, 2571, 1250, 1240, 1255 ] ) ] ), 16514586, rec( 1652 fp:= [ 26932, 90199 ], 1653 level:= 4, 1654 next:= [ 4577, 4571 ] ), rec( 1655 fp:= [ 9065, 59566 ], 1656 next:= [ rec( 1657 fp:= [ 18539, 19656, 41667, 54520, 70552, 88013, 89849, 97737 ], 1658 next:= [ 4926, 1086, 4930, 1085, 1371, 2634, 1357, 2642 ] ), rec( 1659 fp:= [ 6020, 6675, 17763, 19198, 21557, 25047, 30753, 32347, 48666, 166061815, 75478, 91290, 97654 ], 1661 next:= [ 1363, 4928, rec( 1662 desc:= [ 104003 ], 1663 fp:= [ 2, 12 ], 1664 next:= [ 2648, 2647 ] ), 1373, 1098, 1113, 4931, 1378, 1114, 1099, 16652646, 2656, 1389 ] ) ] ), rec( 1666 fp:= [ 53169, 96946 ], 1667 level:= 4, 1668 next:= [ 660, 655 ] ), rec( 1669 fp:= [ 82200, 89533, 96141 ], 1670 level:= 4, 1671 next:= [ 5877, 5932, 5906 ] ), rec( 1672 fp:= [ 3080, 3634, 7075, 11470, 14497, 19306, 22740, 23294, 23701, 31130, 167331537, 34157, 35118, 35525, 38959, 42954, 43361, 47202, 47756, 55185, 55592, 167458619, 59580, 62904, 63021, 67009, 67416, 70036, 74845, 75252, 76778, 78279, 167579240, 79647, 83081, 86669, 87076, 91064, 94498, 98900, 99307 ], 1676 level:= 4, 1677 next:= [ 5816, 5647, 5658, rec( 1678 fp:= [ 633, 1769, 78509, 83466 ], 1679 next:= [ 5630, 5636, 5626, 5635 ] ), 5817, 5640, 5809, 5639, 5648, 16805660, 5633, 5810, 5657, 5627, 5814, 5625, 5644, 5807, 5646, rec( 1681 fp:= [ 30795, 84863 ], 1682 next:= [ 5649, 5652 ] ), 5638, rec( 1683 fp:= [ 19037, 56696 ], 1684 next:= [ 5815, 5808 ] ), 5629, 5819, 5634, 5628, 5642, 5805, 5643, rec( 1685 fp:= [ 34845, 81856 ], 1686 next:= [ 5656, 5659 ] ), 5655, 5811, 5645, 5631, 5813, 5653, 5637, 16875624, 5812, 5641, 5650 ] ), rec( 1688 fp:= [ 6854, 8137, 21174, 39380, 39495, 50200, 52055, 66521, 69692, 168974541, 96241 ], 1690 level:= 4, 1691 next:= [ 4966, 2708, 4950, 2801, 2805, 4334, 5463, 5453, 4313, 4970, 16922797 ] ), rec( 1693 fp:= [ 8558, 66183 ], 1694 next:= [ rec( 1695 fp:= [ 9216, 52406, 77662, 96517 ], 1696 next:= [ 270, 90, 76, 278 ] ), rec( 1697 fp:= [ 2406, 24523, 25332, 62107, 65044, 70034, 98862 ], 1698 next:= [ 82, 92, 292, 108, 97, 282, rec( 1699 desc:= [ 104003 ], 1700 fp:= [ 2, 12 ], 1701 next:= [ 284, 283 ] ) ] ) ] ), rec( 1702 fp:= [ 71679, 72864 ], 1703 level:= 4, 1704 next:= [ 4817, 2554 ] ), 2529, 5873, rec( 1705 fp:= [ 37394, 51234, 59562, 72728, 74894, 81658 ], 1706 level:= 4, 1707 next:= [ 5928, 5900, 5898, 5871, 5902, 5901 ] ), rec( 1708 fp:= [ 34518, 44518 ], 1709 next:= [ 1308, rec( 1710 fp:= [ 76110, 83983 ], 1711 next:= [ 1280, 1292 ] ) ] ), rec( 1712 fp:= [ 3684, 8453, 8941, 9431, 10754, 11094, 14358, 14556, 15848, 17943, 171319285, 19726, 21643, 22755, 31044, 34668, 34742, 35771, 39622, 39854, 44241, 171445148, 47693, 48060, 48127, 55034, 57266, 58173, 60683, 66646, 69777, 71198, 171572465, 72845, 79543, 82219, 84331, 85132, 85235, 89119, 90151, 92193, 98260 ], 1716 level:= 4, 1717 next:= [ rec( 1718 desc:= [ 109003 ], 1719 fp:= [ 2, 12 ], 1720 next:= [ 4685, 4684 ] ), 4716, 1922, 1897, 1915, rec( 1721 fp:= [ 68000, 74099 ], 1722 next:= [ 1949, 1948 ] ), 1899, rec( 1723 desc:= [ 110003 ], 1724 fp:= [ 4, 14 ], 1725 next:= [ 1946, 1944 ] ), 1923, 1925, 1895, 5856, rec( 1726 desc:= [ 105003 ], 1727 fp:= [ 4, 212 ], 1728 next:= [ rec( 1729 desc:= [ 108003 ], 1730 fp:= [ 4, 14 ], 1731 next:= [ 1935, 1934 ] ), 1932 ] ), 1921, 5858, 1933, 4713, 5857, 17321911, rec( 1733 desc:= [ 106003 ], 1734 fp:= [ 2, 12 ], 1735 next:= [ 4715, 4714 ] ), 4673, rec( 1736 desc:= [ 104003 ], 1737 fp:= [ 2, 12 ], 1738 next:= [ rec( 1739 desc:= [ 106003 ], 1740 fp:= [ 2, 12 ], 1741 next:= [ rec( 1742 desc:= [ 109003 ], 1743 fp:= [ 4, 14 ], 1744 next:= [ 1917, 1916 ] ), 1912 ] ), 1913 ] ), 1931, 4671, 4674, 17454678, 4676, 1914, rec( 1746 desc:= [ 111003 ], 1747 fp:= [ 4, 14 ], 1748 next:= [ 1945, 1943 ] ), rec( 1749 desc:= [ 107003 ], 1750 fp:= [ 2, 12 ], 1751 next:= [ 4718, 4717 ] ), rec( 1752 desc:= [ 110003 ], 1753 fp:= [ 2, 12 ], 1754 next:= [ 4692, 4691 ] ), 1910, 4710, 4675, 1898, rec( 1755 desc:= [ 111003 ], 1756 fp:= [ 2, 12 ], 1757 next:= [ 4683, 4682 ] ), 1900, rec( 1758 desc:= [ 110003 ], 1759 fp:= [ 2, 12 ], 1760 next:= [ 4690, 4689 ] ), 4677, 1896, rec( 1761 desc:= [ 107003 ], 1762 fp:= [ 2, 12 ], 1763 next:= [ 4712, 4711 ] ), 1902, 4672 ] ), rec( 1764 fp:= [ 10747, 12395, 17891, 20231, 22613, 23281, 28631, 28693, 29005, 176531031, 33793, 34802, 37176, 41898, 44286, 45688, 47051, 47336, 52748, 53060, 176655172, 56461, 56518, 58504, 63572, 63634, 63946, 66336, 68344, 68734, 69743, 176777115, 80629, 84951, 87689, 93413, 97890, 98513, 98887 ], 1768 level:= 4, 1769 next:= [ 4764, 5143, 5199, 5177, 4775, 5145, 5189, 4774, 5160, rec( 1770 fp:= [ 54163, 58444 ], 1771 next:= [ rec( 1772 desc:= [ 108003 ], 1773 fp:= [ 4, 14 ], 1774 next:= [ 5206, 5209 ] ), rec( 1775 desc:= [ 106003 ], 1776 fp:= [ 15, 411 ], 1777 next:= [ 5210, 5207 ] ) ] ), 5178, 4767, 5200, 4768, 5162, 4766, 17784763, 5147, 4771, 5159, 5164, 5191, rec( 1779 desc:= [ 108003 ], 1780 fp:= [ 13, 211 ], 1781 next:= [ rec( 1782 desc:= [ 116011 ], 1783 fp:= [ 22, 814 ], 1784 next:= [ 4804, 4805 ] ), 4803 ] ), rec( 1785 fp:= [ 34240, 82723 ], 1786 next:= [ 5214, 5213 ] ), 5188, 4770, 5158, 4765, rec( 1787 desc:= [ 117019 ], 1788 fp:= [ 22, 814 ], 1789 next:= [ 4802, rec( 1790 desc:= [ 107003 ], 1791 fp:= [ 2, 12 ], 1792 next:= [ 4801, 4800 ] ) ] ), 5180, 4773, 5144, 4772, 5175, 4776, 17934769, 5176, 5179, 5146 ] ), rec( 1794 fp:= [ 42765, 71367, 77151 ], 1795 level:= 4, 1796 next:= [ 5761, 5773, 5940 ] ), rec( 1797 fp:= [ 36207, 84010 ], 1798 level:= 4, 1799 next:= [ 2523, 2524 ] ), 659, rec( 1800 fp:= [ 19242, 43426, 67610, 70535, 94719 ], 1801 level:= 4, 1802 next:= [ rec( 1803 fp:= [ 73933, 79104 ], 1804 next:= [ 4561, 4559 ] ), 4562, 4558, 4560, 4563 ] ),, rec( 1805 fp:= [ 14946, 87480 ], 1806 next:= [ rec( 1807 fp:= [ 7169, 22038, 24472, 55775, 61168, 78961, 83715, 83984, 88791 ], 1808 next:= [ 158, 226, 303, 225, 172, 16, 9, 10, 295 ] ), rec( 1809 fp:= [ 1594, 12689, 24374, 24430, 25486, 32426, 32998, 44136, 50492, 181051082, 52989, 63243, 75747, 84985, 95628, 99638 ], 1811 next:= [ 164, 175, 316, 27, 306, 190, 41, rec( 1812 desc:= [ 104003 ], 1813 fp:= [ 2, 12 ], 1814 next:= [ 308, 307 ] ), 49, 40, 61, 249, 250, 50, 180, rec( 1815 desc:= [ 105003 ], 1816 fp:= [ 2, 12 ], 1817 next:= [ 247, 246 ] ) ] ) ] ), rec( 1818 fp:= [ 82243, 94633 ], 1819 next:= [ rec( 1820 fp:= [ 5171, 15245, 15682, 17990, 25386, 31956, 51152, 57157, 73431, 182189705, 92013, 99069 ], 1822 next:= [ rec( 1823 fp:= [ 13713, 91415 ], 1824 next:= [ 1547, 1548 ] ), 724, rec( 1825 fp:= [ 29694, 84439, 89764 ], 1826 next:= [ 665, 685, 686 ] ), 1552, 1555, rec( 1827 fp:= [ 42745, 82336 ], 1828 next:= [ 687, 666 ] ), 745, rec( 1829 fp:= [ 4805, 8421, 42764 ], 1830 next:= [ 670, 719, rec( 1831 desc:= [ 104003 ], 1832 fp:= [ 4, 14 ], 1833 next:= [ 716, 718 ] ) ] ), rec( 1834 fp:= [ 37730, 94333 ], 1835 next:= [ 675, 721 ] ), rec( 1836 fp:= [ 34731, 67436 ], 1837 next:= [ 720, 674 ] ), 1550, rec( 1838 fp:= [ 23014, 55220 ], 1839 next:= [ rec( 1840 desc:= [ 104003 ], 1841 fp:= [ 16, 412 ], 1842 next:= [ 735, 680 ] ), 661 ] ) ] ), rec( 1843 fp:= [ 25332, 62107, 64468, 65044, 70034, 75600 ], 1844 next:= [ 1554, rec( 1845 fp:= [ 2284, 70601 ], 1846 next:= [ 714, 741 ] ), 1549, rec( 1847 fp:= [ 25423, 54421, 65171, 71047 ], 1848 next:= [ 694, 699, 700, 693 ] ), rec( 1849 fp:= [ 6554, 71077 ], 1850 next:= [ 1545, 1544 ] ), 1551 ] ) ] ), rec( 1851 fp:= [ 75715, 79821 ], 1852 level:= 4, 1853 next:= [ rec( 1854 fp:= [ 2506, 92905 ], 1855 next:= [ 654, 657 ] ), 658 ] ), rec( 1856 fp:= [ 53793, 66183 ], 1857 next:= [ rec( 1858 fp:= [ 5171, 57157 ], 1859 next:= [ 286, 109 ] ), rec( 1860 fp:= [ 2406, 24523, 66639, 98862 ], 1861 next:= [ 81, 93, 272, 281 ] ) ] ), rec( 1862 fp:= [ 55291, 94028 ], 1863 level:= 4, 1864 next:= [ 5929, 5874 ] ), rec( 1865 fp:= [ 28246, 35437 ], 1866 next:= [ 1622, rec( 1867 fp:= [ 9018, 36267, 52267 ], 1868 next:= [ 204, 202, 203 ] ) ] ), rec( 1869 fp:= [ 83225, 90152 ], 1870 level:= 4, 1871 next:= [ 263, rec( 1872 fp:= [ 2438, 22142 ], 1873 next:= [ 264, 262 ] ) ] ), 1232 ] ); 1874