1############################################################################# 2## 3#W id576.z GAP library of id's Hans Ulrich Besche 4## 5 6ID_GROUP_TREE.next[576]:= 7rec( 8 fp:= [ 1305, 1523, 1692, 1836, 1945, 2278, 2320, 2355, 2361, 3046, 3422, 93749, 4306, 5634, 5767, 6752, 6786, 7082, 7898, 7945, 8366, 9089, 9979, 1010217, 11152, 11693, 11835, 12471, 12474, 13174, 13692, 14202, 14845, 15261, 1115971, 16676, 16768, 18180, 19003, 19563, 20149, 20833, 20895, 21338, 21345, 1221845, 22429, 22534, 22591, 22793, 23008, 23683, 23878, 24663, 25169, 25202, 1325498, 25844, 25989, 26599, 26734, 26932, 27031, 27039, 27141, 28562, 28689, 1429180, 29293, 29452, 29503, 29678, 29823, 29848, 30077, 30124, 30152, 30183, 1530446, 31008, 31070, 31100, 31692, 32218, 33139, 33743, 33966, 35063, 35522, 1635862, 36134, 36299, 36329, 37267, 37579, 37794, 38335, 38478, 38728, 38923, 1739082, 39471, 39474, 40433, 40654, 42029, 42258, 42871, 43857, 44401, 44653, 1844706, 45293, 45661, 46633, 46862, 47307, 47332, 47660, 47679, 47685, 48368, 1948427, 48472, 48509, 48701, 48768, 48933, 48972, 49539, 49743, 49934, 49997, 2050201, 50478, 50524, 50785, 51058, 51162, 51297, 51463, 51648, 52134, 52252, 2152919, 52933, 53707, 53782, 53848, 53997, 54142, 55318, 55355, 55668, 55761, 2256378, 56499, 56509, 56636, 56711, 56905, 57091, 57549, 57895, 58079, 58186, 2358616, 59067, 59219, 59271, 59383, 59989, 59997, 60189, 60472, 60649, 61284, 2461419, 61989, 62000, 64296, 64564, 65022, 65644, 65923, 66106, 66319, 66694, 2566879, 67211, 67217, 67491, 67513, 67626, 67684, 68591, 68651, 68734, 69115, 2669972, 70294, 71068, 71099, 71989, 72118, 72218, 72989, 73860, 74344, 75949, 2776238, 76589, 76793, 77574, 78295, 78763, 78983, 79236, 79893, 79999, 81016, 2881819, 82544, 82650, 83220, 83264, 83566, 83679, 84228, 84250, 84361, 84364, 2984384, 84447, 84571, 84729, 84895, 84933, 85028, 85608, 85887, 85913, 86273, 3086666, 86989, 87718, 87769, 88214, 88355, 88402, 88834, 89167, 89491, 89523, 3190107, 90205, 90268, 90273, 90311, 90520, 90601, 91024, 91344, 91648, 91786, 3291895, 92753, 92982, 93029, 93106, 93193, 93240, 93826, 94539, 95072, 95571, 3396268, 96557, 96573, 96738, 96750, 98593, 98597, 98800, 99221 ], 34 next:= [, rec( 35 fp:= [ 32878, 36422 ], 36 next:= [ 8672 ] ), rec( 37 fp:= [ 971, 31956 ], 38 level:= 4, 39 next:= [ 1994, 1991 ] ), rec( 40 fp:= [ 1053, 2275, 6848, 10191, 14149, 18722, 27253, 29808, 30596, 32371, 4132544, 37905, 38339, 39127, 47793, 50213, 54786, 61914, 63862, 66660, 69223, 4269396, 70445, 73000, 75191, 81531, 82319, 86277, 90062, 93405, 97978 ], 43 level:= 4, 44 next:= [ 8457, 8349, 8301, 8314, 8352, 8308, 8304, 8354, 8313, 8454, 458458, 8464, 8345, 8310, 8474, 8355, 8302, 8306, 8459, 8312, 8463, 8456, 8305, 468351, 8303, 8350, 8307, 8347, 8343, 8353, 8309 ] ), 8679, rec( 47 fp:= [ 1015, 1241, 9063, 20902, 21128, 40789, 41015, 48837, 60902, 80789, 4881015, 88611 ], 49 level:= 4, 50 next:= [ rec( 51 fp:= [ 1013, 60931, 87840 ], 52 next:= [ 932, 889, 895 ] ), rec( 53 fp:= [ 10953, 22213, 23698, 25648 ], 54 next:= [ 903, 921, 906, rec( 55 desc:= [ 302006 ], 56 fp:= [ 401, 14261 ], 57 next:= [ 887, rec( 58 desc:= [ 112003 ], 59 fp:= [ 4, 14 ], 60 next:= [ 920, 919 ] ) ] ) ] ), 909, 883, rec( 61 fp:= [ 35588, 52122, 69817, 71302, 85454 ], 62 next:= [ 892, rec( 63 desc:= [ 110003 ], 64 fp:= [ 4, 14, 212 ], 65 next:= [ 910, rec( 66 desc:= [ 302006, 209002 ], 67 fp:= [ 2, 12 ], 68 next:= [ 912, 897 ] ), 914 ] ), 900, rec( 69 desc:= [ 110003 ], 70 fp:= [ 4, 14 ], 71 next:= [ 925, 933 ] ), 924 ] ), 929, rec( 72 fp:= [ 37389, 73486, 82031, 83824, 84882 ], 73 next:= [ rec( 74 desc:= [ 302007 ], 75 fp:= [ 401, 14261 ], 76 next:= [ 884, rec( 77 desc:= [ 114003 ], 78 fp:= [ 4, 14 ], 79 next:= [ 916, 917 ] ) ] ), 918, 888, 901, 904 ] ), 907, rec( 80 fp:= [ 1423, 26496, 38650, 85988, 92905, 96257 ], 81 next:= [ 899, 896, rec( 82 desc:= [ 109003 ], 83 fp:= [ 8, 18, 414 ], 84 next:= [ 922, 928, 931 ] ), 926, 891, 890 ] ), rec( 85 fp:= [ 15357, 29021, 67219, 72821 ], 86 next:= [ 902, 885, 905, 886 ] ), rec( 87 fp:= [ 6386, 38471, 43345 ], 88 next:= [ rec( 89 desc:= [ 108003 ], 90 fp:= [ 4, 14, 212 ], 91 next:= [ rec( 92 desc:= [ 302005, 208003 ], 93 fp:= [ 2, 12 ], 94 next:= [ 913, 898 ] ), 911, 915 ] ), rec( 95 desc:= [ 108003 ], 96 fp:= [ 4, 14 ], 97 next:= [ 927, 937 ] ), rec( 98 desc:= [ 107003 ], 99 fp:= [ 8, 18, 414 ], 100 next:= [ rec( 101 desc:= [ 302005 ], 102 fp:= [ 262, 521 ], 103 next:= [ 923, rec( 104 desc:= [ 208002 ], 105 fp:= [ 8, 18 ], 106 next:= [ 930, 936 ] ) ] ), 934, 935 ] ) ] ), 908 ] ), rec( 107 fp:= [ 46519, 53710 ], 108 next:= [ 1418, rec( 109 fp:= [ 9063, 29472 ], 110 next:= [ rec( 111 fp:= [ 54595, 97124 ], 112 next:= [ 150, 149 ] ), 148 ] ) ] ),, rec( 113 fp:= [ 19483, 24134, 60011, 62696, 90920, 91903 ], 114 level:= 4, 115 next:= [ rec( 116 fp:= [ 4903, 11030 ], 117 next:= [ 5004, 198 ] ), 199, rec( 118 fp:= [ 3665, 42481 ], 119 next:= [ 5007, 5005 ] ), 5006, 204, 205 ] ), rec( 120 fp:= [ 19483, 30269, 47707, 90920, 97474 ], 121 level:= 4, 122 next:= [ 1446, 1450, 1447, 1449, 1448 ] ), rec( 123 fp:= [ 13469, 41693 ], 124 level:= 4, 125 next:= [ 5465, 5453 ] ), rec( 126 fp:= [ 2255, 8035, 13469, 41693, 49824, 69917, 74383, 98141 ], 127 level:= 4, 128 next:= [ 8479, 8276, 8480, 8476, 8277, 8478, 8477, 8475 ] ), rec( 129 fp:= [ 21048, 41823, 62598 ], 130 level:= 4, 131 next:= [ 7434, 7435, 7436 ] ), rec( 132 fp:= [ 4087, 7867, 11420, 17726, 35468, 36543, 38694, 40495, 41996, 13342616, 43876, 48703, 56273, 71292, 71691, 75072, 76332, 80792, 89265, 91916 ], 134 level:= 4, 135 next:= [ rec( 136 fp:= [ 16496, 25900, 69129, 77957 ], 137 next:= [ 5231, 5262, 5263, 5242 ] ), rec( 138 fp:= [ 29338, 55827, 61255 ], 139 next:= [ 5326, 5327, 5251 ] ), rec( 140 fp:= [ 73994, 88239 ], 141 next:= [ 5373, 5375 ] ), rec( 142 fp:= [ 5923, 59879 ], 143 next:= [ 5447, 5446 ] ), rec( 144 fp:= [ 31435, 82957 ], 145 next:= [ 5200, 5198 ] ), rec( 146 fp:= [ 7764, 69506, 74534 ], 147 next:= [ rec( 148 desc:= [ 106003 ], 149 fp:= [ 8, 414 ], 150 next:= [ 5276, 5256 ] ), 5271, rec( 151 desc:= [ 106003 ], 152 fp:= [ 8, 414 ], 153 next:= [ rec( 154 desc:= [ 109003 ], 155 fp:= [ 8, 18 ], 156 next:= [ 5278, 5269 ] ), 5257 ] ) ] ), rec( 157 fp:= [ 67471, 71725 ], 158 next:= [ 5428, 5429 ] ), 8289, rec( 159 fp:= [ 25418, 68109, 78635 ], 160 next:= [ 5179, 5180, 5181 ] ), rec( 161 fp:= [ 28216, 40339, 49275 ], 162 next:= [ 5301, 5302, 5298 ] ), rec( 163 fp:= [ 9137, 27497, 94923, 95593 ], 164 next:= [ 5388, 5387, 5378, 5380 ] ), rec( 165 fp:= [ 32115, 55475 ], 166 next:= [ 5203, 5202 ] ), rec( 167 fp:= [ 14637, 14784, 54698 ], 168 next:= [ 5211, 5213, 5212 ] ), rec( 169 fp:= [ 24177, 88989 ], 170 next:= [ 5247, 5245 ] ), rec( 171 desc:= [ 107003 ], 172 fp:= [ 4, 14 ], 173 next:= [ 8296, 8295 ] ), rec( 174 fp:= [ 24943, 35429, 42609, 76384 ], 175 next:= [ 5312, 5313, 5314, 5315 ] ), rec( 176 fp:= [ 761, 56875, 99323 ], 177 next:= [ rec( 178 desc:= [ 105003 ], 179 fp:= [ 8, 414 ], 180 next:= [ 5389, 5385 ] ), 5393, rec( 181 desc:= [ 104003 ], 182 fp:= [ 8, 414 ], 183 next:= [ rec( 184 desc:= [ 107003 ], 185 fp:= [ 8, 18 ], 186 next:= [ 5392, 5391 ] ), 5384 ] ) ] ), 8293, rec( 187 fp:= [ 47523, 63181, 65282 ], 188 next:= [ 5426, rec( 189 desc:= [ 109003 ], 190 fp:= [ 8, 18 ], 191 next:= [ 5424, 5423 ] ), 5425 ] ), rec( 192 fp:= [ 10036, 45597, 59680, 61654, 80120, 96479 ], 193 next:= [ 5204, 5199, 5201, 5205, 5206, 5207 ] ) ] ), 492, rec( 194 fp:= [ 74383, 98141 ], 195 level:= 4, 196 next:= [ 1986, 1983 ] ), 1071, rec( 197 fp:= [ 19483, 62696, 90920 ], 198 level:= 4, 199 next:= [ rec( 200 fp:= [ 31368, 66427 ], 201 next:= [ 1426, 1417 ] ), 1427, 1433 ] ), rec( 202 fp:= [ 46752, 69514 ], 203 level:= 4, 204 next:= [ 190, 186 ] ), rec( 205 fp:= [ 954, 42924 ], 206 level:= 4, 207 next:= [ 8675, 8680 ] ), rec( 208 fp:= [ 7030, 49247, 64507 ], 209 next:= [ rec( 210 fp:= [ 20887, 24866, 60330, 64100, 81314 ], 211 next:= [ rec( 212 fp:= [ 29840, 36258 ], 213 next:= [ 1098, 1165 ] ), 1101, 1162, 1097, 1102 ] ), rec( 214 fp:= [ 761, 6122, 61188 ], 215 next:= [ 5602, rec( 216 desc:= [ 107003 ], 217 fp:= [ 2, 12 ], 218 next:= [ 5581, 5582 ] ), 5583 ] ), rec( 219 fp:= [ 14247, 49711 ], 220 next:= [ 5569, 5579 ] ) ] ), rec( 221 fp:= [ 28538, 52307, 92621 ], 222 level:= 4, 223 next:= [ 661, 482, 248 ] ), rec( 224 fp:= [ 4768, 10355, 15942, 17658, 23245, 28832, 41722 ], 225 level:= 4, 226 next:= [ 163, 166, rec( 227 desc:= [ 105003 ], 228 fp:= [ 4, 212 ], 229 next:= [ rec( 230 desc:= [ 111007 ], 231 fp:= [ 8, 18 ], 232 next:= [ 172, 173 ] ), 164 ] ), 167, 165, rec( 233 desc:= [ 106003 ], 234 fp:= [ 2, 12 ], 235 next:= [ 171, 168 ] ), 174 ] ), rec( 236 fp:= [ 53710, 66110 ], 237 next:= [ rec( 238 fp:= [ 1241, 16885 ], 239 next:= [ rec( 240 fp:= [ 59710, 90449, 91013 ], 241 next:= [ 145, 143, 146 ] ), rec( 242 fp:= [ 11606, 59341 ], 243 next:= [ 147, 144 ] ) ] ), 153 ] ), rec( 244 fp:= [ 8137, 18031, 18600, 37192, 55784, 66247, 84839, 89206 ], 245 level:= 4, 246 next:= [ 4968, 4986, 4971, 4969, 4976, 4966, 4975, 4970 ] ), rec( 247 fp:= [ 77697, 81241, 91241 ], 248 next:= [ rec( 249 fp:= [ 6122, 16593, 36210, 41571, 55827, 61188, 80805, 86166 ], 250 next:= [ 8489, 8491, 8493, 8499, 8509, 8492, 8494, 8498 ] ), rec( 251 fp:= [ 1968, 21585, 26946, 46563, 54479, 74096, 82012, 93713, 99074 ], 252 next:= [ 3939, 4202, rec( 253 desc:= [ 111007 ], 254 fp:= [ 48, 58, 2830, 3226, 3622, 4414 ], 255 next:= [ rec( 256 desc:= [ 107003 ], 257 fp:= [ 16, 412 ], 258 next:= [ 3655, 3654 ] ), 4210, 3973, rec( 259 desc:= [ 107003 ], 260 fp:= [ 6, 214 ], 261 next:= [ 3971, 3972 ] ), 3656, rec( 262 desc:= [ 107003 ], 263 fp:= [ 6, 214 ], 264 next:= [ 3653, 3652 ] ) ] ), rec( 265 desc:= [ 107003 ], 266 fp:= [ 8, 414, 612 ], 267 next:= [ 3932, rec( 268 desc:= [ 302007 ], 269 fp:= [ 742, 1081 ], 270 next:= [ rec( 271 desc:= [ 207002 ], 272 fp:= [ 14, 212 ], 273 next:= [ 3926, 3927 ] ), 3928 ] ), 3931 ] ), rec( 274 desc:= [ 106003 ], 275 fp:= [ 214, 412 ], 276 next:= [ 3970, 3651 ] ), rec( 277 desc:= [ 107003 ], 278 fp:= [ 4, 212 ], 279 next:= [ 3938, 3940 ] ), 3650, 4201, rec( 280 desc:= [ 109007 ], 281 fp:= [ 48, 58, 2830, 3226, 3622, 4414 ], 282 next:= [ rec( 283 desc:= [ 106003 ], 284 fp:= [ 8, 414 ], 285 next:= [ 3641, 3637 ] ), 4209, rec( 286 desc:= [ 106003 ], 287 fp:= [ 8, 18, 414 ], 288 next:= [ 3965, 3958, rec( 289 desc:= [ 302006 ], 290 fp:= [ 742, 1081 ], 291 next:= [ 3961, 3960 ] ) ] ), rec( 292 desc:= [ 106003 ], 293 fp:= [ 216, 612 ], 294 next:= [ 3962, 3964 ] ), rec( 295 desc:= [ 106003 ], 296 fp:= [ 216, 612 ], 297 next:= [ 3635, 3640 ] ), rec( 298 desc:= [ 106003 ], 299 fp:= [ 216, 612 ], 300 next:= [ 3636, rec( 301 desc:= [ 302006 ], 302 fp:= [ 643, 74581 ], 303 next:= [ 3639, 3638 ] ) ] ) ] ) ] ), rec( 304 fp:= [ 50521, 70138, 78054, 97671 ], 305 next:= [ rec( 306 fp:= [ 40215, 70850 ], 307 next:= [ 4032, 3721 ] ), 4222, 3720, rec( 308 fp:= [ 2110, 4052 ], 309 next:= [ 4223, 4011 ] ) ] ) ] ), rec( 310 fp:= [ 4593, 46382, 51743, 93532, 98893 ], 311 level:= 4, 312 next:= [ 8647, 8649, 8650, 8646, rec( 313 fp:= [ 53333, 67648 ], 314 next:= [ 8648, 8651 ] ) ] ),, rec( 315 fp:= [ 1216, 22595, 30842, 36364, 40636, 64565, 72812, 77577, 78284 ], 316 level:= 4, 317 next:= [ rec( 318 fp:= [ 33514, 39530 ], 319 next:= [ 1278, 1281 ] ), rec( 320 fp:= [ 17764, 91095 ], 321 next:= [ 1050, 1053 ] ), rec( 322 desc:= [ 206002 ], 323 fp:= [ 8, 414 ], 324 next:= [ 1069, 1068 ] ), rec( 325 fp:= [ 52187, 66609 ], 326 next:= [ 2038, 2090 ] ), rec( 327 fp:= [ 15416, 99133 ], 328 next:= [ 1049, rec( 329 desc:= [ 211006 ], 330 fp:= [ 4, 14 ], 331 next:= [ 1052, 1051 ] ) ] ), rec( 332 fp:= [ 17620, 33760 ], 333 next:= [ rec( 334 desc:= [ 210005 ], 335 fp:= [ 4, 14 ], 336 next:= [ 1307, 1304 ] ), 1302 ] ), rec( 337 desc:= [ 205002 ], 338 fp:= [ 4, 14 ], 339 next:= [ 1275, 1274 ] ), rec( 340 fp:= [ 3386, 8883, 97695 ], 341 next:= [ 2070, 2073, 2065 ] ), rec( 342 fp:= [ 92531, 98565 ], 343 next:= [ 2037, 2088 ] ) ] ), rec( 344 fp:= [ 5821, 95911 ], 345 next:= [ rec( 346 fp:= [ 4593, 22807, 28168, 33529, 46382, 51743, 57104, 75318, 80679, 34798893 ], 348 next:= [ rec( 349 fp:= [ 3082, 7709, 22829, 51167, 51206, 55121 ], 350 next:= [ rec( 351 desc:= [ 106003 ], 352 fp:= [ 4, 14 ], 353 next:= [ 8222, 8219 ] ), 8225, 8211, 8226, 8212, 8206 ] ), 3548228, rec( 355 fp:= [ 12682, 21339, 23866, 42978 ], 356 next:= [ rec( 357 desc:= [ 106003 ], 358 fp:= [ 8, 414 ], 359 next:= [ 8234, 8230 ] ), rec( 360 desc:= [ 106003 ], 361 fp:= [ 416, 812 ], 362 next:= [ 8231, 8236 ] ), 8245, rec( 363 desc:= [ 302005 ], 364 fp:= [ 222, 4361 ], 365 next:= [ 8238, 8242 ] ) ] ), rec( 366 fp:= [ 38530, 85287 ], 367 next:= [ 8247, rec( 368 desc:= [ 104003 ], 369 fp:= [ 22, 418 ], 370 next:= [ 8241, 8240 ] ) ] ), rec( 371 fp:= [ 62190, 69380 ], 372 next:= [ 8204, 8213 ] ), rec( 373 fp:= [ 21059, 26016, 39203, 41136, 47567, 62607 ], 374 next:= [ 8207, 8223, 8208, 8209, rec( 375 desc:= [ 106003 ], 376 fp:= [ 4, 14 ], 377 next:= [ 8221, 8220 ] ), 8215 ] ), rec( 378 fp:= [ 14441, 27924, 70619, 89063 ], 379 next:= [ 8227, rec( 380 desc:= [ 104003 ], 381 fp:= [ 22, 814 ], 382 next:= [ 8214, 8210 ] ), 8216, 8224 ] ), rec( 383 fp:= [ 48510, 49190, 61285 ], 384 next:= [ 8229, rec( 385 desc:= [ 40103003 ], 386 fp:= [ 1921, 2881 ], 387 next:= [ 8243, 8244 ] ), 8233 ] ), rec( 388 fp:= [ 24671, 56963, 76515, 98203 ], 389 next:= [ 8239, rec( 390 desc:= [ 105003 ], 391 fp:= [ 18, 414 ], 392 next:= [ 8232, 8237 ] ), 8235, 8246 ] ), rec( 393 fp:= [ 65544, 72078, 92052 ], 394 next:= [ 8205, 8217, 8218 ] ) ] ), 8676 ] ), rec( 395 fp:= [ 8886, 12865, 26100, 44559, 65334, 69313, 87772 ], 396 level:= 4, 397 next:= [ 5485, 5470, 5466, 5482, 5484, 5469, 5483 ] ), rec( 398 fp:= [ 10868, 12865, 14541, 42186, 43953, 44768, 46444, 50214, 57230, 39976847, 80623, 82117, 83975, 90124, 97252 ], 400 level:= 4, 401 next:= [ 5556, 5575, 5599, rec( 402 desc:= [ 107003 ], 403 fp:= [ 16, 214, 412 ], 404 next:= [ 5552, 5555, 5557 ] ), 5591, 5576, 5598, 5601, 5589, 5597, 4055577, 5600, 5559, 5595, 5561 ] ), rec( 406 fp:= [ 1968, 14457, 21585, 26946, 29501, 41990, 46563, 49118, 54479, 40757034, 61607, 74096, 76651, 82012, 89140, 96268 ], 408 level:= 4, 409 next:= [ rec( 410 fp:= [ 16033, 50579, 83230 ], 411 next:= [ 8608, 8615, 8618 ] ), 8621, 8610, 8612, 8616, 8622, 8605, 4128611, 8614, 8607, 8620, 8617, 8609, 8613, 8619, 8624 ] ), rec( 413 fp:= [ 4389, 4541, 4693, 14994, 19872, 20024, 44049, 73104, 88719, 41488871 ], 415 level:= 4, 416 next:= [ 4981, rec( 417 fp:= [ 27631, 90637 ], 418 next:= [ 4978, 4980 ] ), 4983, 4973, 4977, 4984, 4974, 4972, 4982, 4194979 ] ), rec( 420 fp:= [ 3162, 5920, 12214, 18493, 21251, 49111, 80493 ], 421 level:= 4, 422 next:= [ 1399, 1401, 1382, 1398, 1400, 1386, 1385 ] ), rec( 423 fp:= [ 17196, 30222, 44729, 57974, 66286, 93819, 99599 ], 424 level:= 4, 425 next:= [ 7445, 7441, 7443, 5129, 7442, 7444, 5128 ] ), rec( 426 fp:= [ 638, 64835 ], 427 level:= 4, 428 next:= [ 1086, 1126 ] ), rec( 429 fp:= [ 1549, 15017, 21166, 28294, 34443, 41571, 47911, 61188, 74465, 43087933 ], 431 level:= 4, 432 next:= [ 8507, 8496, 8505, 8497, 8504, 8495, 8502, rec( 433 fp:= [ 24466, 79147 ], 434 next:= [ 8503, 8501 ] ), 8500, 8506 ] ), 938, 1364, rec( 435 fp:= [ 7181, 12677, 41494, 49410, 94005 ], 436 level:= 4, 437 next:= [ 8430, 8422, 8389, 8408, 8410 ] ), 838, rec( 438 fp:= [ 5030, 7181 ], 439 level:= 4, 440 next:= [ 8666, 8667 ] ), rec( 441 fp:= [ 2255, 12167, 65852 ], 442 level:= 4, 443 next:= [ 5464, 8656, 8670 ] ),, rec( 444 fp:= [ 71170, 71362, 71554 ], 445 level:= 4, 446 next:= [ 1906, 1907, 1908 ] ), rec( 447 fp:= [ 49474, 76533 ], 448 level:= 4, 449 next:= [ 1072, 1124 ] ), rec( 450 fp:= [ 27165, 80967 ], 451 level:= 5, 452 next:= [ 5003, 194 ] ), rec( 453 fp:= [ 74969, 81151, 82160 ], 454 next:= [ rec( 455 fp:= [ 22453, 55875, 88692 ], 456 next:= [ 4999, 4995, 4997 ] ), rec( 457 fp:= [ 12761, 29472, 46183, 62894 ], 458 next:= [ rec( 459 desc:= [ 104003 ], 460 fp:= [ 14, 222, 618, 1014 ], 461 next:= [ 837, 831, 834, 836 ] ), rec( 462 desc:= [ 302005 ], 463 fp:= [ 563, 28561, 38541 ], 464 next:= [ 832, 833, rec( 465 desc:= [ 107003, 207003 ], 466 fp:= [ 6, 16 ], 467 next:= [ 835, 829 ] ) ] ), 830, 828 ] ), rec( 468 fp:= [ 4708, 87658 ], 469 next:= [ 893, 894 ] ) ] ), 5028, 1987, 8248, rec( 470 fp:= [ 6723, 9141, 19501, 22032, 28683, 28779, 28875, 38068, 38164, 47138260, 39825, 42356, 49936, 50535, 51067, 57399, 57909, 62714, 65589, 72442, 47275949, 85816, 93149 ], 473 level:= 4, 474 next:= [ 5043, 5049, 1946, 1945, 1902, 1900, 1903, 1898, 1901, 1899, 4755045, 1969, 5044, 5050, 1952, 1966, 1947, 1943, rec( 476 desc:= [ 106003 ], 477 fp:= [ 2, 12 ], 478 next:= [ 5052, 5051 ] ), rec( 479 desc:= [ 112007 ], 480 fp:= [ 8, 18 ], 481 next:= [ 1967, 1968 ] ), rec( 482 desc:= [ 105003 ], 483 fp:= [ 4, 212 ], 484 next:= [ rec( 485 desc:= [ 110007 ], 486 fp:= [ 8, 18 ], 487 next:= [ 1950, 1951 ] ), 1944 ] ), rec( 488 desc:= [ 106003 ], 489 fp:= [ 2, 12 ], 490 next:= [ 1949, 1948 ] ), 5042 ] ), rec( 491 fp:= [ 37640, 77313 ], 492 level:= 5, 493 next:= [ 8514, 2013 ] ), rec( 494 fp:= [ 971, 8778, 15728, 31956, 47307, 51087, 69314, 73080, 89308, 49589616 ], 496 level:= 4, 497 next:= [ 8484, 8282, 8485, 8482, 8280, 8281, 8486, 8487, 8483, 8279 ] ), 4988655, rec( 499 fp:= [ 865, 37058, 43986, 45322, 56069, 66592, 73520 ], 500 level:= 4, 501 next:= [ 8, 81, 79, 7, 9, 80, 78 ] ), rec( 502 fp:= [ 10212, 44112 ], 503 next:= [ rec( 504 fp:= [ 408, 1787, 3166, 8651, 45548, 46361, 60313, 61692, 66155, 76930, 50597537 ], 506 next:= [ 103, 99, rec( 507 desc:= [ 110007 ], 508 fp:= [ 16, 412 ], 509 next:= [ rec( 510 desc:= [ 302004, 207002 ], 511 fp:= [ 2, 12 ], 512 next:= [ 106, 105 ] ), 102 ] ), rec( 513 desc:= [ 112011 ], 514 fp:= [ 14, 212 ], 515 next:= [ rec( 516 desc:= [ 302004, 207002 ], 517 fp:= [ 2, 12 ], 518 next:= [ rec( 519 desc:= [ 303007, 210003 ], 520 fp:= [ 4, 14 ], 521 next:= [ 41, 43 ] ), 40 ] ), 23 ] ), 45, 11, 96, rec( 522 fp:= [ 64444, 73584 ], 523 next:= [ 97, 10 ] ), 29, 24, 26 ] ), rec( 524 fp:= [ 1787, 3166, 8651, 19447, 48502, 65213, 76930 ], 525 next:= [ 101, 107, 36, 33, rec( 526 fp:= [ 40252, 49684 ], 527 next:= [ 100, 31 ] ), 104, 37 ] ) ] ), 8268, rec( 528 fp:= [ 19998, 22453, 24908, 96843 ], 529 level:= 4, 530 next:= [ 5001, rec( 531 fp:= [ 30361, 66544 ], 532 next:= [ 4998, 5002 ] ), 5000, 4996 ] ), rec( 533 fp:= [ 3330, 4458, 5730, 8000, 8348, 8414, 11932, 17733, 19742, 21649, 53423745, 25944, 27118, 29499, 29595, 29691, 33493, 34785, 36980, 37055, 38884, 53538980, 39076, 39207, 40335, 40987, 41325, 42926, 45578, 48208, 51067, 52311, 53654963, 56368, 60909, 63251, 66110, 66855, 68242, 70294, 75084, 76240, 77263, 53782538, 83465, 85625, 90348, 92306, 98508 ], 538 level:= 4, 539 next:= [ rec( 540 desc:= [ 106003 ], 541 fp:= [ 4, 212 ], 542 next:= [ rec( 543 desc:= [ 112007 ], 544 fp:= [ 8, 18 ], 545 next:= [ 1022, 1024 ] ), 999 ] ), 1002, 2078, 1243, rec( 546 desc:= [ 112007 ], 547 fp:= [ 4, 14 ], 548 next:= [ 2022, 2023 ] ), 998, 1236, 2019, 2081, 1010, 1007, rec( 549 desc:= [ 106003 ], 550 fp:= [ 2, 12 ], 551 next:= [ 1235, 1313 ] ), rec( 552 desc:= [ 112007 ], 553 fp:= [ 4, 14 ], 554 next:= [ 2020, 2021 ] ), 1009, 1003, rec( 555 desc:= [ 107003 ], 556 fp:= [ 2, 12 ], 557 next:= [ 1018, 1012 ] ), 1026, 2079, 1004, 1245, 997, 1006, rec( 558 desc:= [ 106003 ], 559 fp:= [ 2, 12 ], 560 next:= [ rec( 561 desc:= [ 107003 ], 562 fp:= [ 2, 12 ], 563 next:= [ rec( 564 desc:= [ 114007 ], 565 fp:= [ 8, 18 ], 566 next:= [ 1021, 1023 ] ), 1001 ] ), 1000 ] ), 1005, 1008, rec( 567 desc:= [ 105003 ], 568 fp:= [ 2, 12 ], 569 next:= [ rec( 570 desc:= [ 106003 ], 571 fp:= [ 2, 12 ], 572 next:= [ rec( 573 desc:= [ 111007 ], 574 fp:= [ 8, 18 ], 575 next:= [ 1237, 1238 ] ), 1240 ] ), 1312 ] ), 1311, 1025, 1264, 5762077, 1241, rec( 577 desc:= [ 107003 ], 578 fp:= [ 2, 12 ], 579 next:= [ 1019, 1013 ] ), 1257, 1310, 1258, 2075, rec( 580 desc:= [ 106003 ], 581 fp:= [ 2, 12 ], 582 next:= [ 1242, 1244 ] ), 1254, rec( 583 desc:= [ 107003 ], 584 fp:= [ 2, 12 ], 585 next:= [ 1020, 1011 ] ), 1266, 996, rec( 586 desc:= [ 106003 ], 587 fp:= [ 2, 12 ], 588 next:= [ 1261, 1265 ] ), 2076, 1239, 1315, rec( 589 desc:= [ 105003 ], 590 fp:= [ 4, 212 ], 591 next:= [ rec( 592 desc:= [ 109007 ], 593 fp:= [ 8, 18 ], 594 next:= [ 1252, 1253 ] ), 1251 ] ), 2080, 2074, 1314 ] ), rec( 595 fp:= [ 11678, 14149, 93298 ], 596 level:= 4, 597 next:= [ 1925, 1972, 1926 ] ), 206, 8645, 8668,, rec( 598 fp:= [ 48578, 58558 ], 599 level:= 4, 600 next:= [ 5009, 5026 ] ), rec( 601 fp:= [ 6122, 17208, 22569, 28294, 33655, 44741, 50102, 61188 ], 602 level:= 4, 603 next:= [ 8433, 8438, 8442, 8453, 8436, 8437, 8443, 8435 ] ), rec( 604 fp:= [ 50928, 96817 ], 605 level:= 4, 606 next:= [ 1764, 1721 ] ), rec( 607 fp:= [ 3330, 8222, 8318, 8414, 11054, 11300, 11932, 13478, 13507, 13603, 60813699, 15917, 16013, 16109, 23553, 23649, 23745, 24301, 26385, 26414, 26510, 60926606, 27313, 31248, 31344, 31440, 38884, 38980, 39076, 39207, 39292, 39632, 61040398, 40987, 41716, 41745, 41841, 41937, 44155, 44251, 44347, 47177, 47356, 61147452, 47548, 54623, 54963, 56368, 59486, 59582, 59678, 62687, 62783, 62879, 61269453, 69954, 70294, 75084, 78018, 78114, 78210, 82477, 82538, 85625, 90988, 61391084, 91180, 91276, 91372, 97808, 97837, 97919, 97933, 98029, 98508 ], 614 level:= 4, 615 next:= [ 2522, 2513, 2516, 2521, 4495, 2512, 4760, 4493, 2913, rec( 616 fp:= [ 75465, 86100 ], 617 next:= [ 2914, 2909 ] ), 2910, 2907, 2918, 2911, 2515, 2514, 2524, 6184483, rec( 619 fp:= [ 1199, 38522 ], 620 next:= [ 4497, 4494 ] ), 2920, rec( 621 fp:= [ 77963, 83639 ], 622 next:= [ 2930, 2919 ] ), 2929, 4728, 2908, 2917, 2912, 2519, 2520, 6232523, 2518, 4500, 4489, 4774, 4761, 4496, 2928, rec( 624 fp:= [ 401, 19712 ], 625 next:= [ 2924, 2927 ] ), 2923, 2922, 2931, 2926, 2510, 2112, 2115, 6262125, 4499, rec( 627 fp:= [ 45184, 77481 ], 628 next:= [ 4485, 4484 ] ), 4729, 2921, 2932, 2925, 2114, rec( 629 fp:= [ 39208, 70962 ], 630 next:= [ 2124, 2113 ] ), 2120, 4775, 4498, 4490, rec( 631 fp:= [ 17742, 26980 ], 632 next:= [ 2517, 2511 ] ), 2123, 2121, 2119, 4491, 4759, 4486, 2116, 6332118, rec( 634 fp:= [ 8899, 53742 ], 635 next:= [ rec( 636 desc:= [ 117007 ], 637 fp:= [ 4, 14 ], 638 next:= [ 2126, 2127 ] ), 2117 ] ), 2128, 2122, 4492, 2905, 4727, rec( 639 fp:= [ 61207, 82326 ], 640 next:= [ 2915, 2906 ] ), 2916, 4776 ] ), 1340, rec( 641 fp:= [ 30222, 68477, 96010 ], 642 level:= 4, 643 next:= [ rec( 644 fp:= [ 44243, 99108 ], 645 next:= [ 3609, rec( 646 desc:= [ 207002 ], 647 fp:= [ 4, 212 ], 648 next:= [ 3617, 3618 ] ) ] ), rec( 649 fp:= [ 86134, 88759 ], 650 next:= [ 3619, 3610 ] ), 3614 ] ), 1316, rec( 651 fp:= [ 42471, 49711 ], 652 level:= 4, 653 next:= [ 5467, 5476 ] ), rec( 654 fp:= [ 216, 6150, 27749, 41823, 61622, 77496, 94516 ], 655 level:= 4, 656 next:= [ rec( 657 desc:= [ 105003 ], 658 fp:= [ 16, 412 ], 659 next:= [ 7427, 7426 ] ), 7437, 7425, 7438, 7424, 7439, 7423 ] ), rec( 660 fp:= [ 10487, 27185 ], 661 level:= 4, 662 next:= [ 1392, 1383 ] ), 1995, rec( 663 fp:= [ 4768, 10355, 15942, 93255, 98842 ], 664 level:= 4, 665 next:= [ rec( 666 fp:= [ 10963, 76111 ], 667 next:= [ 944, 942 ] ), 946, 943, 941, 945 ] ), rec( 668 fp:= [ 13220, 15807, 24592, 25846, 42383, 49114, 52305, 68451, 84353 ], 669 level:= 4, 670 next:= [ 1208, 5143, 5136, 2016, 984, 983, 2028, 2056, 1248 ] ), 6712007, rec( 672 fp:= [ 7181, 8719, 10003, 12677, 13961, 16635, 17919, 21877, 37536, 67341494, 45452, 49410, 65069, 69027, 72985, 76943, 86089, 96560 ], 674 level:= 4, 675 next:= [ rec( 676 fp:= [ 61798, 80000 ], 677 next:= [ 8432, 8431 ] ), rec( 678 desc:= [ 106003 ], 679 fp:= [ 19, 415 ], 680 next:= [ 8428, 8429 ] ), 8405, rec( 681 fp:= [ 9729, 41191, 50569 ], 682 next:= [ 8424, 8425, rec( 683 desc:= [ 106003 ], 684 fp:= [ 20, 812 ], 685 next:= [ 8423, 8421 ] ) ] ), rec( 686 fp:= [ 76646, 90160 ], 687 next:= [ 8374, 8376 ] ), rec( 688 desc:= [ 108003 ], 689 fp:= [ 17, 413 ], 690 next:= [ 8426, 8427 ] ), 8401, 8409, 8406, rec( 691 fp:= [ 39991, 43752, 56095, 57993 ], 692 next:= [ 8395, 8392, 8393, 8375 ] ), 8400, rec( 693 fp:= [ 38177, 69325 ], 694 next:= [ 8419, 8420 ] ), 8407, rec( 695 fp:= [ 30689, 78929 ], 696 next:= [ 8394, 8390 ] ), 8399, 8418, 8377, 8391 ] ), rec( 697 fp:= [ 7181, 11678, 14149, 93298, 94005 ], 698 level:= 4, 699 next:= [ 1980, rec( 700 fp:= [ 2369, 32911, 58473 ], 701 next:= [ 1936, 1934, 1938 ] ), rec( 702 fp:= [ 34363, 81202 ], 703 next:= [ 1976, 1977 ] ), rec( 704 fp:= [ 8573, 47430 ], 705 next:= [ 1937, 1935 ] ), rec( 706 fp:= [ 25678, 38859 ], 707 next:= [ 1959, 1958 ] ) ] ), rec( 708 fp:= [ 7030, 64507, 96691 ], 709 next:= [ rec( 710 fp:= [ 64787, 86180 ], 711 next:= [ 1140, 1179 ] ), rec( 712 fp:= [ 14247, 49711 ], 713 next:= [ 5568, 5578 ] ), rec( 714 fp:= [ 35373, 56357, 95591, 99570 ], 715 next:= [ 1151, 1095, 1154, 1094 ] ) ] ), rec( 716 fp:= [ 30150, 36332 ], 717 next:= [ 8264, rec( 718 fp:= [ 4708, 12761, 21419, 29472, 46183, 54236, 62894, 70947, 79605, 71987658 ], 720 next:= [ rec( 721 fp:= [ 6310, 35888, 69476 ], 722 next:= [ rec( 723 desc:= [ 40103003 ], 724 fp:= [ 1921, 2881 ], 725 next:= [ 1874, 1875 ] ), 1864, 1860 ] ), rec( 726 fp:= [ 5657, 13652, 47883, 87004 ], 727 next:= [ 1847, 1855, 1858, rec( 728 desc:= [ 104003 ], 729 fp:= [ 22, 814 ], 730 next:= [ 1845, 1841 ] ) ] ), 1859, rec( 731 fp:= [ 4661, 17827, 21170, 28251, 43645, 96229 ], 732 next:= [ 1856, 1843, rec( 733 desc:= [ 106003 ], 734 fp:= [ 4, 14 ], 735 next:= [ 1853, 1850 ] ), 1837, 1857, 1842 ] ), rec( 736 fp:= [ 10931, 25680, 81151, 86356, 87238, 95331 ], 737 next:= [ rec( 738 desc:= [ 106003 ], 739 fp:= [ 4, 14 ], 740 next:= [ 1852, 1851 ] ), 1839, 1846, 1838, 1840, 1854 ] ), rec( 741 fp:= [ 66371, 83730 ], 742 next:= [ 1878, rec( 743 desc:= [ 104003 ], 744 fp:= [ 22, 418 ], 745 next:= [ 1872, 1871 ] ) ] ), rec( 746 fp:= [ 692, 76117, 90082 ], 747 next:= [ 1849, 1836, 1848 ] ), rec( 748 fp:= [ 34634, 38440, 53870, 85553 ], 749 next:= [ 1866, 1877, 1870, rec( 750 desc:= [ 105003 ], 751 fp:= [ 18, 414 ], 752 next:= [ 1863, 1868 ] ) ] ), rec( 753 fp:= [ 23047, 98933 ], 754 next:= [ 1835, 1844 ] ), rec( 755 fp:= [ 22375, 24395, 44879, 52055 ], 756 next:= [ 1876, rec( 757 desc:= [ 106003 ], 758 fp:= [ 416, 812 ], 759 next:= [ 1862, 1867 ] ), rec( 760 desc:= [ 302005 ], 761 fp:= [ 222, 4361 ], 762 next:= [ 1869, 1873 ] ), rec( 763 desc:= [ 106003 ], 764 fp:= [ 8, 414 ], 765 next:= [ 1865, 1861 ] ) ] ) ] ) ] ), rec( 766 fp:= [ 1241, 20902, 41015, 60676, 80789 ], 767 level:= 4, 768 next:= [ 1885, rec( 769 fp:= [ 67798, 81527 ], 770 next:= [ 1887, 1890 ] ), rec( 771 fp:= [ 42683, 53623 ], 772 next:= [ 1888, 1892 ] ), 1883, rec( 773 fp:= [ 67575, 76218, 91457, 94087 ], 774 next:= [ 1891, 1884, 1886, 1889 ] ) ] ), 8194, rec( 775 fp:= [ 396, 6051, 13632, 20965, 26604, 28529, 31120, 32299, 34184, 37954, 77638453, 39839, 43609, 45494, 49264, 51149, 54919, 55941, 63274, 70984, 71742, 77777397, 78317, 81167, 83052, 86822, 88472, 88707, 92477, 94362, 94402, 95805, 77896287 ], 779 level:= 4, 780 next:= [ 8329, 8332, rec( 781 fp:= [ 65371, 83761 ], 782 next:= [ 8468, 8466 ] ), 8462, 8325, 8320, 8469, 8334, 8322, rec( 783 fp:= [ 45670, 81808 ], 784 next:= [ 8337, 8335 ] ), 8472, rec( 785 fp:= [ 64020, 70882 ], 786 next:= [ 8316, 8321 ] ), rec( 787 fp:= [ 23214, 63270 ], 788 next:= [ 8339, 8336 ] ), 8317, rec( 789 fp:= [ 4980, 71799 ], 790 next:= [ 8338, 8330 ] ), 8318, 8331, 8465, 8460, 8467, 8323, 8326, 7918461, 8342, rec( 792 fp:= [ 15136, 38763 ], 793 next:= [ 8327, 8324 ] ), 8341, 8470, 8328, 8340, 8319, 8333, 8471, 7948315 ] ), rec( 795 fp:= [ 2936, 21823, 83710 ], 796 level:= 4, 797 next:= [ 1367, 1366, 1368 ] ), rec( 798 fp:= [ 13525, 15160, 35935, 43398, 64173, 71636, 92411 ], 799 level:= 4, 800 next:= [ 1363, 1352, 1356, 1355, 1354, rec( 801 desc:= [ 105003 ], 802 fp:= [ 4, 212 ], 803 next:= [ rec( 804 desc:= [ 110007 ], 805 fp:= [ 8, 18 ], 806 next:= [ 1361, 1362 ] ), 1353 ] ), rec( 807 desc:= [ 106003 ], 808 fp:= [ 2, 12 ], 809 next:= [ 1360, 1357 ] ) ] ), rec( 810 fp:= [ 4541, 11494, 19872, 42876, 44049, 46554, 48237, 61885, 62189, 81163568, 73104, 77520, 78899, 79773 ], 812 level:= 4, 813 next:= [ 1411, 1390, 1409, 1387, 1405, 1413, 1377, 1412, 1415, 1379, 8141403, 1414, rec( 815 desc:= [ 109003 ], 816 fp:= [ 4, 14, 212 ], 817 next:= [ rec( 818 desc:= [ 302004, 302006, 209002 ], 819 fp:= [ 2, 12 ], 820 next:= [ 1374, 1375 ] ), 1370, 1373 ] ), 1391 ] ), rec( 821 fp:= [ 10786, 52575, 79129 ], 822 level:= 4, 823 next:= [ rec( 824 fp:= [ 81291, 90228 ], 825 next:= [ 1998, 1999 ] ), rec( 826 fp:= [ 33531, 84016 ], 827 next:= [ rec( 828 desc:= [ 108003 ], 829 fp:= [ 2, 12 ], 830 next:= [ 2000, 2001 ] ), 2002 ] ), 1997 ] ), rec( 831 fp:= [ 41682, 85351 ], 832 level:= 4, 833 next:= [ 8659, 8669 ] ), rec( 834 fp:= [ 32371, 90062 ], 835 level:= 4, 836 next:= [ 5526, 5119 ] ), rec( 837 fp:= [ 44112, 94613 ], 838 next:= [ rec( 839 fp:= [ 93942, 94549 ], 840 next:= [ 71, 25 ] ), rec( 841 fp:= [ 59200, 61692, 97537 ], 842 next:= [ rec( 843 fp:= [ 18338, 71167, 87237 ], 844 next:= [ 113, 115, 109 ] ), rec( 845 fp:= [ 19336, 43785, 79170, 81983 ], 846 next:= [ 88, 90, 92, 83 ] ), rec( 847 fp:= [ 7378, 13644, 48470 ], 848 next:= [ 117, 111, 119 ] ) ] ) ] ), rec( 849 fp:= [ 15160, 43398, 58345, 71636, 86583 ], 850 level:= 4, 851 next:= [ rec( 852 fp:= [ 74477, 77343 ], 853 next:= [ 4963, 4961 ] ), 4965, 4960, 4962, 4964 ] ), rec( 854 fp:= [ 5116, 14247, 16335, 20105, 33340, 37110, 40789, 48329, 57460, 85570695, 72783, 76553, 80323, 84002 ], 856 level:= 4, 857 next:= [ 5493, 5474, 5499, 5461, rec( 858 desc:= [ 111003 ], 859 fp:= [ 4, 14, 212 ], 860 next:= [ rec( 861 desc:= [ 302005, 302007, 210002 ], 862 fp:= [ 2, 12 ], 863 next:= [ 5458, 5459 ] ), 5454, 5457 ] ), 5496, 5487, 5495, 5475, 8645471, 5498, 5463, 5497, 5489 ] ), rec( 865 fp:= [ 43092, 54959 ], 866 next:= [ rec( 867 fp:= [ 37192, 60340, 66247 ], 868 next:= [ 1397, 1416, rec( 869 desc:= [ 105003 ], 870 fp:= [ 2, 12 ], 871 next:= [ 1395, 1396 ] ) ] ), rec( 872 fp:= [ 10487, 27185 ], 873 next:= [ 1393, 1384 ] ) ] ), rec( 874 fp:= [ 18151, 23512, 27485, 48260, 57594, 58982, 78369, 87703 ], 875 level:= 4, 876 next:= [ rec( 877 fp:= [ 56353, 86305 ], 878 next:= [ 4893, 4895 ] ), rec( 879 fp:= [ 31069, 90045 ], 880 next:= [ 4899, 4898 ] ), rec( 881 fp:= [ 13911, 69790 ], 882 next:= [ 4869, 4873 ] ), rec( 883 fp:= [ 1967, 16833, 29633 ], 884 next:= [ 4882, rec( 885 desc:= [ 106003 ], 886 fp:= [ 8, 414 ], 887 next:= [ 4883, 4874 ] ), rec( 888 desc:= [ 105003 ], 889 fp:= [ 8, 414 ], 890 next:= [ rec( 891 desc:= [ 107003 ], 892 fp:= [ 8, 18 ], 893 next:= [ 4881, 4880 ] ), 4870 ] ) ] ), rec( 894 fp:= [ 3053, 38126 ], 895 next:= [ 4892, 4897 ] ), rec( 896 fp:= [ 61818, 75647 ], 897 next:= [ 4885, 4884 ] ), rec( 898 fp:= [ 12978, 92394 ], 899 next:= [ 4894, 4896 ] ), rec( 900 fp:= [ 28761, 36600, 47755, 81165 ], 901 next:= [ 4876, 4871, 4872, 4875 ] ) ] ), rec( 902 fp:= [ 5478, 44112 ], 903 next:= [ rec( 904 fp:= [ 83684, 89448 ], 905 next:= [ 58, 6 ] ), rec( 906 fp:= [ 20765, 46547, 93942, 94549 ], 907 next:= [ 66, 108, 60, 21 ] ) ] ),, rec( 908 fp:= [ 81928, 81938 ], 909 next:= [ rec( 910 fp:= [ 23512, 83730, 89091 ], 911 next:= [ 1320, 1321, rec( 912 desc:= [ 107003 ], 913 fp:= [ 8, 414 ], 914 next:= [ 1330, 1329 ] ) ] ), rec( 915 fp:= [ 44210, 58329 ], 916 next:= [ 1345, 1359 ] ) ] ), rec( 917 fp:= [ 1567, 4087, 6380, 8900, 11420, 34023, 36543, 38836, 41356, 43876, 91868772, 71292, 73812, 76332, 78625, 80792, 91152 ], 919 level:= 4, 920 next:= [ 8403, rec( 921 fp:= [ 55422, 77957 ], 922 next:= [ 8387, 8385 ] ), 8380, 8396, rec( 923 fp:= [ 26706, 39911, 73994 ], 924 next:= [ 8413, 8414, 8415 ] ), 8402, 8388, rec( 925 fp:= [ 42798, 89132 ], 926 next:= [ 8383, 8379 ] ), 8397, 8416, 8404, rec( 927 fp:= [ 17200, 24177, 53933, 68277, 86890 ], 928 next:= [ 8384, 8386, 8381, 8382, 8378 ] ), 8398, 8417, 8412, 8658, 9298411 ] ), rec( 930 fp:= [ 17726, 48703, 56273, 71691, 76332, 89265 ], 931 level:= 4, 932 next:= [ rec( 933 fp:= [ 5923, 59879 ], 934 next:= [ 1978, 1979 ] ), rec( 935 fp:= [ 12981, 24156, 53421, 55475 ], 936 next:= [ 1927, 1930, 1929, 1931 ] ), rec( 937 fp:= [ 14637, 50912, 89207 ], 938 next:= [ 1933, 1932, 1928 ] ), 5048, rec( 939 fp:= [ 68989, 86378, 99323 ], 940 next:= [ 1956, 1955, 1957 ] ), rec( 941 fp:= [ 63181, 90475, 94362 ], 942 next:= [ 1975, 1974, 1973 ] ) ] ), 810, rec( 943 fp:= [ 2444, 4075, 9777, 13632, 15385, 17270, 19195, 20965, 28529, 28620, 94429860, 33765, 39336, 39839, 50646, 51149, 55941, 59796, 60523, 62408, 63274, 94567129, 71742, 71833, 72169, 73718, 78903, 83052, 83143, 87212, 88288, 93859, 94695784, 96287 ], 947 level:= 4, 948 next:= [ 5544, 5111, 5546, 5543, 5112, 5097, rec( 949 desc:= [ 116011 ], 950 fp:= [ 16, 214, 412 ], 951 next:= [ rec( 952 desc:= [ 113003 ], 953 fp:= [ 2, 12 ], 954 next:= [ 5084, 5094 ] ), 5083, rec( 955 desc:= [ 113003 ], 956 fp:= [ 2, 12 ], 957 next:= [ 5078, 5081 ] ) ] ), 5537, rec( 958 desc:= [ 118007 ], 959 fp:= [ 2, 12 ], 960 next:= [ 5093, 5092 ] ), rec( 961 fp:= [ 36238, 45639 ], 962 next:= [ 5117, 5118 ] ), 5511, 5522, 5105, 5085, 5106, 5088, 5541, 9635545, rec( 964 fp:= [ 10645, 51867 ], 965 next:= [ 5113, 5114 ] ), 5087, 5535, 5547, 5099, 5115, rec( 966 desc:= [ 111003 ], 967 fp:= [ 4, 14, 212 ], 968 next:= [ rec( 969 desc:= [ 302005, 302007, 210002 ], 970 fp:= [ 2, 12 ], 971 next:= [ 5506, 5507 ] ), 5502, 5505 ] ), 5090, 5519, 5100, 5116, 9725509, 5523, 5107, 5108, rec( 973 desc:= [ 113003 ], 974 fp:= [ 2, 12 ], 975 next:= [ 5076, 5079 ] ) ] ), rec( 976 fp:= [ 35373, 99570 ], 977 level:= 4, 978 next:= [ 7759, 7715 ] ), rec( 979 fp:= [ 67426, 77436 ], 980 next:= [ rec( 981 fp:= [ 23512, 53621, 83730, 93064 ], 982 next:= [ 4889, rec( 983 fp:= [ 3623, 82090 ], 984 next:= [ 4886, 4877 ] ), 4900, 4861 ] ), rec( 985 fp:= [ 38495, 44762 ], 986 level:= 5, 987 next:= [ 4959, 4958 ] ) ] ), rec( 988 fp:= [ 57755, 81494, 83276, 93819 ], 989 level:= 4, 990 next:= [ 7420, 8662, 8677, 7429 ] ), rec( 991 fp:= [ 5116, 33340, 40789, 42471, 76553 ], 992 level:= 4, 993 next:= [ rec( 994 fp:= [ 4301, 63058, 67647, 79641 ], 995 next:= [ 5492, 5491, 5494, 5490 ] ), rec( 996 fp:= [ 72777, 96607 ], 997 next:= [ 5456, 5455 ] ), rec( 998 fp:= [ 3391, 16314 ], 999 next:= [ 5486, 5488 ] ), rec( 1000 fp:= [ 6673, 64145 ], 1001 next:= [ 5473, 5472 ] ), rec( 1002 fp:= [ 4084, 67430 ], 1003 next:= [ 5460, 5462 ] ) ] ), rec( 1004 fp:= [ 66350, 95405 ], 1005 level:= 4, 1006 next:= [ 184, 183 ] ), 1, rec( 1007 fp:= [ 22291, 35568 ], 1008 level:= 4, 1009 next:= [ 8272, 8270 ] ), rec( 1010 fp:= [ 7027, 60922 ], 1011 level:= 4, 1012 next:= [ 1766, 1455 ] ), rec( 1013 fp:= [ 36790, 96010 ], 1014 level:= 4, 1015 next:= [ 8356, rec( 1016 fp:= [ 5431, 94028 ], 1017 next:= [ 8600, 3611 ] ) ] ), rec( 1018 fp:= [ 64787, 86180 ], 1019 level:= 4, 1020 next:= [ 3878, 4075 ] ), rec( 1021 fp:= [ 26187, 81938 ], 1022 next:= [ 1365, rec( 1023 fp:= [ 44210, 58329 ], 1024 next:= [ 1343, 1358 ] ) ] ), rec( 1025 fp:= [ 12586, 28480, 40064 ], 1026 level:= 4, 1027 next:= [ 947, 181, 1893 ] ), rec( 1028 fp:= [ 7181, 12677, 13961, 86089, 94005 ], 1029 level:= 4, 1030 next:= [ 5445, 5431, 5279, 5291, 5369 ] ), rec( 1031 fp:= [ 15728, 32536, 34348, 51876 ], 1032 level:= 4, 1033 next:= [ 1993, 8488, 8652, 8283 ] ), rec( 1034 fp:= [ 2130, 37275, 66350, 72736, 82413, 95405 ], 1035 level:= 4, 1036 next:= [ 4990, 4991, 4988, 4992, 4989, 4987 ] ), rec( 1037 fp:= [ 25558, 58452, 91346, 92325 ], 1038 level:= 4, 1039 next:= [ 8598, rec( 1040 fp:= [ 756, 99364 ], 1041 next:= [ 8595, 8599 ] ), 8597, 8593 ] ), rec( 1042 fp:= [ 26946, 46563 ], 1043 level:= 4, 1044 next:= [ 7450, 7761 ] ), rec( 1045 fp:= [ 27355, 70568, 83803, 95113 ], 1046 level:= 4, 1047 next:= [ 8274, 8271, 8269, 8273 ] ), rec( 1048 fp:= [ 71928, 81938 ], 1049 next:= [ rec( 1050 fp:= [ 48260, 58982 ], 1051 next:= [ rec( 1052 fp:= [ 29633, 65787, 70182 ], 1053 next:= [ 1335, 1334, 1332 ] ), rec( 1054 fp:= [ 61818, 75647 ], 1055 next:= [ 1333, 1336 ] ) ] ), 1342 ] ), rec( 1056 fp:= [ 7146, 13456, 23799, 23975, 33587, 36747, 43175, 44043, 46533, 105749666, 62375, 69824, 70484, 86563 ], 1058 level:= 4, 1059 next:= [ 955, 1270, 1196, 952, 958, 1269, 954, 953, 1268, 1198, 957, 10601267, 956, 1197 ] ), 3909, 1079, rec( 1061 fp:= [ 83684, 89448 ], 1062 level:= 4, 1063 next:= [ 57, 5 ] ), rec( 1064 fp:= [ 56357, 58242, 95591 ], 1065 level:= 4, 1066 next:= [ 4077, 3663, 3899 ] ), rec( 1067 fp:= [ 66100, 66110 ], 1068 next:= [ rec( 1069 fp:= [ 28950, 88837, 96659 ], 1070 next:= [ 131, 132, rec( 1071 desc:= [ 107003 ], 1072 fp:= [ 8, 414 ], 1073 next:= [ 141, 140 ] ) ] ), rec( 1074 fp:= [ 22668, 75292 ], 1075 next:= [ 156, 170 ] ) ] ), rec( 1076 fp:= [ 1241, 16885, 21128, 28950, 41015, 60902, 80789, 81015 ], 1077 level:= 4, 1078 next:= [ rec( 1079 fp:= [ 30141, 31844, 91013 ], 1080 next:= [ 863, rec( 1081 desc:= [ 106003 ], 1082 fp:= [ 8, 414 ], 1083 next:= [ 864, 855 ] ), rec( 1084 desc:= [ 105003 ], 1085 fp:= [ 8, 414 ], 1086 next:= [ rec( 1087 desc:= [ 107003 ], 1088 fp:= [ 8, 18 ], 1089 next:= [ 862, 861 ] ), 851 ] ) ] ), rec( 1090 fp:= [ 11606, 59341 ], 1091 next:= [ 865, 866 ] ), rec( 1092 fp:= [ 75669, 80939 ], 1093 next:= [ 876, 874 ] ), rec( 1094 fp:= [ 31294, 72637 ], 1095 next:= [ 880, 879 ] ), rec( 1096 fp:= [ 17607, 27122, 29752, 42683 ], 1097 next:= [ 856, 852, 857, 853 ] ), rec( 1098 fp:= [ 10650, 81722 ], 1099 next:= [ 873, 878 ] ), rec( 1100 fp:= [ 5410, 76218 ], 1101 next:= [ 854, 850 ] ), rec( 1102 fp:= [ 18759, 60938 ], 1103 next:= [ 875, 877 ] ) ] ), rec( 1104 fp:= [ 64021, 86276 ], 1105 level:= 4, 1106 next:= [ 8266, 8661 ] ), rec( 1107 fp:= [ 53710, 66100, 66110 ], 1108 next:= [ 142, 128, 152 ] ), rec( 1109 fp:= [ 81151, 82160 ], 1110 next:= [ rec( 1111 fp:= [ 12761, 29472 ], 1112 next:= [ rec( 1113 desc:= [ 105003 ], 1114 fp:= [ 24, 2014 ], 1115 next:= [ 812, 814 ] ), rec( 1116 fp:= [ 44896, 77651 ], 1117 next:= [ 813, 811 ] ) ] ), rec( 1118 fp:= [ 56410, 62135, 78054 ], 1119 level:= 5, 1120 next:= [ 839, 841, 840 ] ) ] ), rec( 1121 fp:= [ 30222, 57755, 93819 ], 1122 level:= 4, 1123 next:= [ rec( 1124 fp:= [ 52024, 60804 ], 1125 next:= [ 7421, 7412 ] ), 7422, 7428 ] ), rec( 1126 fp:= [ 37192, 60340 ], 1127 level:= 4, 1128 next:= [ 4967, 4985 ] ), rec( 1129 fp:= [ 7030, 96691 ], 1130 next:= [ rec( 1131 fp:= [ 22988, 26039, 30018, 50521, 65482, 70138, 86466 ], 1132 next:= [ rec( 1133 fp:= [ 76547, 92322 ], 1134 next:= [ 1167, 1099 ] ), 1174, 1103, 1100, 1168, 1171, 1104 ] ), rec( 1135 fp:= [ 5264, 11762, 26039, 30018, 50996, 54975, 65482, 73231, 86466, 113690439, 94209 ], 1137 next:= [ 1170, 1093, rec( 1138 desc:= [ 112007 ], 1139 fp:= [ 30, 1218 ], 1140 next:= [ rec( 1141 desc:= [ 302005, 208002 ], 1142 fp:= [ 2, 12 ], 1143 next:= [ 1173, 1172 ] ), 1169 ] ), 1090, rec( 1144 fp:= [ 79632, 96869 ], 1145 next:= [ 1078, 1164 ] ), 1096, 1166, 1111, rec( 1146 desc:= [ 113007 ], 1147 fp:= [ 618, 1212 ], 1148 next:= [ rec( 1149 desc:= [ 302012, 209002 ], 1150 fp:= [ 2, 12 ], 1151 next:= [ rec( 1152 desc:= [ 209003 ], 1153 fp:= [ 2, 12 ], 1154 next:= [ 1108, 1112 ] ), 1107 ] ), 1091 ] ), 1163, 11551077 ] ) ] ), rec( 1156 fp:= [ 3318, 6266, 19501, 31225, 49479, 59132, 62714, 67102, 75949, 115795009 ], 1158 level:= 4, 1159 next:= [ 5158, 5216, 5218, rec( 1160 fp:= [ 19631, 57276 ], 1161 next:= [ 5157, 5160 ] ), 5214, 5162, rec( 1162 fp:= [ 4925, 95821 ], 1163 next:= [ 5217, 5215 ] ), 5159, 5219, 5161 ] ), 3, rec( 1164 fp:= [ 3217, 12127, 95750 ], 1165 level:= 4, 1166 next:= [ 8663, 8678, 8664 ] ), rec( 1167 fp:= [ 15679, 57649, 63121, 69627 ], 1168 level:= 4, 1169 next:= [ 959, 1201, 2049, 5132 ] ), rec( 1170 fp:= [ 67416, 67426 ], 1171 next:= [ rec( 1172 fp:= [ 4593, 57104 ], 1173 next:= [ rec( 1174 fp:= [ 19742, 79766 ], 1175 next:= [ 4830, 4832 ] ), rec( 1176 desc:= [ 105003 ], 1177 fp:= [ 24, 2014 ], 1178 next:= [ 4831, 4833 ] ) ] ), rec( 1179 fp:= [ 3623, 80176, 82090 ], 1180 level:= 5, 1181 next:= [ 4859, 4860, 4858 ] ) ] ), rec( 1182 fp:= [ 8146, 31302, 46961, 69314, 70094, 89434, 90639 ], 1183 level:= 4, 1184 next:= [ 8653, 8660, 5126, 5512, 8671, 8657, 8654 ] ), rec( 1185 fp:= [ 71928, 81928, 81938 ], 1186 next:= [ 1331, 1317, 1341 ] ), rec( 1187 fp:= [ 36332, 37341 ], 1188 next:= [ rec( 1189 fp:= [ 12761, 29472, 46183, 62894 ], 1190 next:= [ rec( 1191 fp:= [ 22532, 36976 ], 1192 next:= [ 1830, 1833 ] ), rec( 1193 fp:= [ 4846, 40207, 44896, 77651 ], 1194 next:= [ 1834, 1831, 1828, 1827 ] ), rec( 1195 fp:= [ 26914, 72377 ], 1196 next:= [ 1829, 1832 ] ), 1826 ] ), rec( 1197 fp:= [ 61359, 88499, 98775 ], 1198 level:= 5, 1199 next:= [ 1882, 1881, 1880 ] ) ] ), rec( 1200 fp:= [ 93942, 94549 ], 1201 level:= 4, 1202 next:= [ 59, 19 ] ), rec( 1203 fp:= [ 11225, 30842, 52035, 71652, 72812, 78284, 94005 ], 1204 level:= 4, 1205 next:= [ 6751, 7359, 6762, 5872, 8135, 8518, 7824 ] ), rec( 1206 fp:= [ 63175, 86237, 88692 ], 1207 level:= 4, 1208 next:= [ rec( 1209 fp:= [ 56244, 77849 ], 1210 next:= [ 1438, 1437 ] ), rec( 1211 fp:= [ 14562, 48543 ], 1212 next:= [ 1423, 1421 ] ), rec( 1213 fp:= [ 50121, 72709 ], 1214 next:= [ 1422, 1424 ] ) ] ), 189, rec( 1215 fp:= [ 81241, 91241 ], 1216 next:= [ rec( 1217 fp:= [ 26946, 46563, 99074 ], 1218 next:= [ rec( 1219 fp:= [ 53662, 73536, 96927 ], 1220 next:= [ 3642, 3645, 3917 ] ), rec( 1221 fp:= [ 7558, 78355, 93128 ], 1222 next:= [ 4187, 4188, 3920 ] ), rec( 1223 fp:= [ 78646, 97714 ], 1224 next:= [ rec( 1225 desc:= [ 107003 ], 1226 fp:= [ 16, 1214 ], 1227 next:= [ rec( 1228 desc:= [ 106003 ], 1229 fp:= [ 8, 414 ], 1230 next:= [ 3911, 3913 ] ), 3910 ] ), rec( 1231 desc:= [ 302005 ], 1232 fp:= [ 483, 58261 ], 1233 next:= [ rec( 1234 desc:= [ 108003 ], 1235 fp:= [ 12, 814 ], 1236 next:= [ 3627, 3628 ] ), 3953 ] ) ] ) ] ), rec( 1237 fp:= [ 56357, 58242, 95591 ], 1238 next:= [ rec( 1239 fp:= [ 16909, 74554, 82811, 91397 ], 1240 next:= [ 4096, 4079, 4080, 4101 ] ), rec( 1241 fp:= [ 14960, 16165, 28014, 59005, 70160 ], 1242 next:= [ 3683, 3666, 3687, 3686, 3668 ] ), rec( 1243 fp:= [ 32998, 33023, 84065 ], 1244 next:= [ 3901, 3976, 3900 ] ) ] ) ] ), rec( 1245 fp:= [ 31956, 89308 ], 1246 level:= 4, 1247 next:= [ 1989, 1990 ] ), 1070, rec( 1248 fp:= [ 38319, 69917, 78760 ], 1249 level:= 4, 1250 next:= [ 8481, 1985, 8278 ] ), rec( 1251 fp:= [ 81928, 81938 ], 1252 next:= [ rec( 1253 fp:= [ 23512, 48260, 62955, 83730, 87703 ], 1254 next:= [ 1324, 1323, 1326, rec( 1255 desc:= [ 302006 ], 1256 fp:= [ 182, 361 ], 1257 next:= [ 1325, rec( 1258 desc:= [ 205002 ], 1259 fp:= [ 14, 212 ], 1260 next:= [ 1328, 1327 ] ) ] ), 1322 ] ), rec( 1261 fp:= [ 23512, 28168, 80679, 83730 ], 1262 next:= [ 1350, 1348, 1349, 1351 ] ) ] ), rec( 1263 fp:= [ 41072, 79448 ], 1264 level:= 4, 1265 next:= [ 203, 207 ] ), rec( 1266 fp:= [ 1270, 1291, 5040, 10401, 11762, 16259, 20887, 24657, 28133, 28636, 126730018, 30221, 33264, 37761, 40713, 41871, 44483, 45865, 47750, 48253, 50996, 126854975, 61488, 64100, 72707, 74592, 76477, 81105, 83220, 85084, 90439, 94209, 126998188 ], 1270 level:= 4, 1271 next:= [ rec( 1272 fp:= [ 34851, 51180 ], 1273 next:= [ rec( 1274 desc:= [ 107003 ], 1275 fp:= [ 2, 12 ], 1276 next:= [ 3736, 4143 ] ), rec( 1277 desc:= [ 108003 ], 1278 fp:= [ 2, 12 ], 1279 next:= [ 3737, 4140 ] ) ] ), rec( 1280 fp:= [ 16509, 71956, 93836 ], 1281 next:= [ 4102, rec( 1282 desc:= [ 111003 ], 1283 fp:= [ 4, 14 ], 1284 next:= [ 4103, 4104 ] ), 4086 ] ), rec( 1285 fp:= [ 12808, 95433 ], 1286 next:= [ rec( 1287 desc:= [ 108003 ], 1288 fp:= [ 4, 212 ], 1289 next:= [ 3831, 3767 ] ), rec( 1290 desc:= [ 107003 ], 1291 fp:= [ 4, 212 ], 1292 next:= [ 3868, 3796 ] ) ] ), rec( 1293 fp:= [ 43392, 62948 ], 1294 next:= [ 3873, 3874 ] ), rec( 1295 fp:= [ 18217, 29202, 75772 ], 1296 next:= [ rec( 1297 desc:= [ 106003 ], 1298 fp:= [ 8, 414 ], 1299 next:= [ rec( 1300 desc:= [ 109003 ], 1301 fp:= [ 8, 18 ], 1302 next:= [ 4084, 4083 ] ), 4082 ] ), rec( 1303 desc:= [ 107003 ], 1304 fp:= [ 8, 414 ], 1305 next:= [ 4100, 4099 ] ), 4085 ] ), rec( 1306 fp:= [ 26944, 73267 ], 1307 next:= [ 3749, 3748 ] ), rec( 1308 fp:= [ 10668, 98661 ], 1309 next:= [ 3997, 3996 ] ), rec( 1310 fp:= [ 5183, 47316 ], 1311 next:= [ 4004, 4005 ] ), rec( 1312 fp:= [ 59265, 97253 ], 1313 next:= [ 4124, 4123 ] ), rec( 1314 fp:= [ 9626, 40861 ], 1315 next:= [ 3690, 3671 ] ), rec( 1316 fp:= [ 19594, 92455 ], 1317 next:= [ 3696, 3679 ] ), rec( 1318 fp:= [ 10174, 79863 ], 1319 next:= [ 4193, 4194 ] ), rec( 1320 fp:= [ 5638, 15057, 76539 ], 1321 next:= [ rec( 1322 desc:= [ 113003 ], 1323 fp:= [ 4, 14 ], 1324 next:= [ 3859, 3839 ] ), rec( 1325 desc:= [ 120007 ], 1326 fp:= [ 16, 26, 1214 ], 1327 next:= [ 3781, 3860, 3840 ] ), rec( 1328 desc:= [ 302016 ], 1329 fp:= [ 16441, 26501, 34421 ], 1330 next:= [ 3838, 3780, 3858 ] ) ] ), rec( 1331 fp:= [ 3949, 58979 ], 1332 next:= [ 3980, 3944 ] ), rec( 1333 fp:= [ 44364, 80496 ], 1334 next:= [ 4131, 4128 ] ), rec( 1335 fp:= [ 4453, 68403 ], 1336 next:= [ 3695, 3677 ] ), rec( 1337 fp:= [ 56080, 72495 ], 1338 next:= [ 3764, 3735 ] ), rec( 1339 fp:= [ 60747, 62713 ], 1340 next:= [ 4175, 4176 ] ), rec( 1341 fp:= [ 18413, 95446 ], 1342 next:= [ 3803, 3802 ] ), rec( 1343 fp:= [ 33211, 71442 ], 1344 next:= [ 3851, 3848 ] ), rec( 1345 fp:= [ 28527, 33418, 34979, 76677 ], 1346 next:= [ rec( 1347 desc:= [ 108003 ], 1348 fp:= [ 4, 14 ], 1349 next:= [ 3974, 3983 ] ), 3977, rec( 1350 desc:= [ 302012 ], 1351 fp:= [ 2361, 99381 ], 1352 next:= [ 4203, rec( 1353 desc:= [ 109003 ], 1354 fp:= [ 4, 14 ], 1355 next:= [ rec( 1356 desc:= [ 112003 ], 1357 fp:= [ 8, 18 ], 1358 next:= [ 3941, 3942 ] ), 3948 ] ) ] ), rec( 1359 desc:= [ 107003 ], 1360 fp:= [ 4, 14 ], 1361 next:= [ 3943, 4204 ] ) ] ), rec( 1362 fp:= [ 10911, 42315, 47955, 93349 ], 1363 next:= [ 4118, 4117, 4092, 4112 ] ), rec( 1364 fp:= [ 75474, 98239 ], 1365 next:= [ rec( 1366 desc:= [ 107003 ], 1367 fp:= [ 4, 14, 212 ], 1368 next:= [ 3852, 4160, 3769 ] ), rec( 1369 desc:= [ 106003 ], 1370 fp:= [ 4, 14, 212 ], 1371 next:= [ 3832, 4163, 3768 ] ) ] ), rec( 1372 fp:= [ 50169, 77427 ], 1373 next:= [ 3993, 3992 ] ), rec( 1374 fp:= [ 5959, 39993 ], 1375 next:= [ 3751, 3750 ] ), rec( 1376 fp:= [ 58345, 64446 ], 1377 next:= [ 3800, 3799 ] ), rec( 1378 fp:= [ 26608, 27348 ], 1379 next:= [ 3783, 3782 ] ), rec( 1380 fp:= [ 21812, 66054 ], 1381 next:= [ 4009, 4008 ] ), rec( 1382 fp:= [ 39736, 99071 ], 1383 next:= [ 3872, 3871 ] ), rec( 1384 fp:= [ 35330, 85172 ], 1385 next:= [ 3689, 3670 ] ), rec( 1386 fp:= [ 31352, 77010, 79866, 87410 ], 1387 next:= [ 4211, 4212, 4214, 4215 ] ), rec( 1388 fp:= [ 7523, 11645, 35275, 69797 ], 1389 next:= [ 3906, 3984, 3981, 3945 ] ), rec( 1390 fp:= [ 90435, 93931 ], 1391 next:= [ 4110, 4091 ] ) ] ), rec( 1392 fp:= [ 9793, 11172, 17763, 86042, 95502 ], 1393 level:= 4, 1394 next:= [ 95, rec( 1395 fp:= [ 38187, 77399 ], 1396 next:= [ 98, 30 ] ), 34, 35, 32 ] ), rec( 1397 fp:= [ 12031, 35965 ], 1398 level:= 4, 1399 next:= [ 3624, 3620 ] ), rec( 1400 fp:= [ 1098, 3391, 16267, 18672, 25652, 33626, 35551, 35847, 46861, 140150901, 68303, 70790, 76024, 78764, 90074, 91999, 93210 ], 1402 level:= 4, 1403 next:= [ 5071, 5065, 5514, 5532, 5518, 5066, 5059, 5067, rec( 1404 fp:= [ 11241, 92954 ], 1405 next:= [ 5060, 5070 ] ), 5531, 5069, 5517, 5533, 5068, 5061, rec( 1406 fp:= [ 10035, 28228 ], 1407 next:= [ 5062, 5072 ] ), 5530 ] ), rec( 1408 fp:= [ 7030, 62791 ], 1409 next:= [ rec( 1410 fp:= [ 638, 64835 ], 1411 next:= [ 1092, 1138 ] ), rec( 1412 fp:= [ 1291, 11762, 50996 ], 1413 next:= [ rec( 1414 fp:= [ 16509, 71956, 93836 ], 1415 next:= [ 1184, 1186, 1178 ] ), rec( 1416 fp:= [ 18217, 20701, 74380 ], 1417 next:= [ 1177, 1183, 1181 ] ), rec( 1418 fp:= [ 34979, 36274, 54595, 60819 ], 1419 next:= [ 1155, 1158, 1149, 1157 ] ) ] ) ] ), rec( 1420 fp:= [ 761, 33655 ], 1421 level:= 4, 1422 next:= [ 8452, 8434 ] ), rec( 1423 fp:= [ 25662, 70368, 83353 ], 1424 level:= 4, 1425 next:= [ 4511, 5614, 3120 ] ), rec( 1426 fp:= [ 10202, 44102 ], 1427 next:= [ rec( 1428 fp:= [ 1929, 4398, 5168, 7289, 7566, 9299, 13940, 14297, 21213, 25251, 142926302, 29382, 32412, 32523, 34023, 49536, 52704, 56452, 57510, 58758, 62089, 143062520, 67560, 69681, 70745, 71691, 76332, 77661, 94674 ], 1431 next:= [ 1215, 1233, 2092, 1292, 969, 2091, 1285, 968, 1032, 2098, 14321031, 2039, rec( 1433 desc:= [ 109007 ], 1434 fp:= [ 34, 1618 ], 1435 next:= [ rec( 1436 desc:= [ 302004, 207002 ], 1437 fp:= [ 2, 12 ], 1438 next:= [ 1295, 1294 ] ), 1291 ] ), 1033, 1199, 1212, rec( 1439 desc:= [ 112011 ], 1440 fp:= [ 30, 1218 ], 1441 next:= [ rec( 1442 desc:= [ 302005, 208002 ], 1443 fp:= [ 2, 12 ], 1444 next:= [ 976, 978 ] ), 971 ] ), 1218, 972, 1035, 973, 2096, rec( 1445 desc:= [ 302010 ], 1446 fp:= [ 1161, 42741 ], 1447 next:= [ 2102, rec( 1448 desc:= [ 108003 ], 1449 fp:= [ 4, 14 ], 1450 next:= [ 2041, 2044 ] ) ] ), 1288, rec( 1451 desc:= [ 113007 ], 1452 fp:= [ 1418, 2012 ], 1453 next:= [ rec( 1454 desc:= [ 113005, 302013, 209002 ], 1455 fp:= [ 2, 12 ], 1456 next:= [ rec( 1457 desc:= [ 209003 ], 1458 fp:= [ 2, 12 ], 1459 next:= [ 977, 975 ] ), 974 ] ), 970 ] ), rec( 1460 desc:= [ 112007 ], 1461 fp:= [ 22, 814 ], 1462 next:= [ 2097, 2040 ] ), rec( 1463 fp:= [ 81581, 91402 ], 1464 next:= [ 1200, 1286 ] ), rec( 1465 fp:= [ 34429, 92546 ], 1466 next:= [ 1036, 1034 ] ), rec( 1467 desc:= [ 111011 ], 1468 fp:= [ 26, 818 ], 1469 next:= [ rec( 1470 desc:= [ 302004, 207002 ], 1471 fp:= [ 2, 12 ], 1472 next:= [ rec( 1473 desc:= [ 303007, 210003 ], 1474 fp:= [ 4, 14 ], 1475 next:= [ 1230, 1234 ] ), 1229 ] ), 1213 ] ) ] ), rec( 1476 fp:= [ 2198, 5168, 7267, 7566, 14297, 17919, 23391, 25251, 32412, 147734800, 49237, 49536, 52704, 54709, 67560, 69681, 70745, 75610, 94674, 96387 ], 1478 next:= [ 2093, 2094, rec( 1479 fp:= [ 23898, 86005 ], 1480 next:= [ 1062, 1063 ] ), 1065, 1064, 1222, 2024, 2027, 1296, 14811060, rec( 1482 fp:= [ 42978, 69713 ], 1483 next:= [ 1289, 1221 ] ), 1225, 1067, rec( 1484 fp:= [ 19697, 52630 ], 1485 next:= [ 2025, 2099 ] ), rec( 1486 fp:= [ 44085, 71959 ], 1487 next:= [ 2100, 2026 ] ), 1290, 1066, 1061, 1226, 1293 ] ) ] ), rec( 1488 fp:= [ 10202, 44102 ], 1489 next:= [ rec( 1490 fp:= [ 1216, 14149, 19427, 22595, 31010, 36364, 38485, 40636, 64565, 149167508, 77118, 83849, 93716 ], 1492 next:= [ 1276, 5142, 1216, 1030, 5154, rec( 1493 desc:= [ 105003 ], 1494 fp:= [ 2, 12 ], 1495 next:= [ 2085, 2084 ] ), 1273, 1029, 1217, 2104, 1028, 1027, 14962086 ] ), rec( 1497 fp:= [ 4093, 22196, 26857, 49066, 50011, 84548, 91811, 92899 ], 1498 next:= [ 2062, 2083, 1262, 991, 5156, 992, 1301, 5148 ] ) ] ), rec( 1499 fp:= [ 21193, 21289, 21385, 25244, 25340, 25436, 49834, 49930, 50026, 150050122, 50218, 53482, 53578, 53674, 64378, 64474, 64570, 81720, 81816, 81912, 150192616, 92712, 92808 ], 1502 level:= 4, 1503 next:= [ 3898, 3897, 3896, 4125, 4126, 4127, 3881, 3887, rec( 1504 fp:= [ 576, 39812 ], 1505 next:= [ 3883, 3882 ] ), 3888, 3884, 4172, 4173, 4174, 3889, 3890, 15063891, 4157, 4158, 4159, 3893, rec( 1507 fp:= [ 2644, 35694 ], 1508 next:= [ 3895, 3892 ] ), 3894 ] ), rec( 1509 fp:= [ 62347, 81938, 96247 ], 1510 next:= [ rec( 1511 fp:= [ 58452, 63813 ], 1512 next:= [ 7414, 7415 ] ), rec( 1513 fp:= [ 18151, 57594 ], 1514 next:= [ 1347, 1346 ] ), 7431 ] ), rec( 1515 fp:= [ 66350, 72736 ], 1516 level:= 4, 1517 next:= [ 1369, 1381 ] ), rec( 1518 fp:= [ 10212, 44112, 94613 ], 1519 next:= [ rec( 1520 desc:= [ 106005 ], 1521 fp:= [ 8, 18 ], 1522 next:= [ 13, 14 ] ), rec( 1523 fp:= [ 93942, 94549 ], 1524 next:= [ 61, 20 ] ), rec( 1525 fp:= [ 28538, 52307 ], 1526 next:= [ 110, 82 ] ) ] ), 8275, rec( 1527 fp:= [ 53372, 87272 ], 1528 next:= [ rec( 1529 fp:= [ 7027, 60922, 89977 ], 1530 next:= [ rec( 1531 fp:= [ 10544, 65854, 92157 ], 1532 next:= [ 770, 503, 771 ] ), rec( 1533 fp:= [ 37443, 67948, 70640 ], 1534 next:= [ 228, 500, 225 ] ), rec( 1535 fp:= [ 2699, 71855 ], 1536 next:= [ rec( 1537 desc:= [ 106003 ], 1538 fp:= [ 16, 1214 ], 1539 next:= [ rec( 1540 desc:= [ 105003 ], 1541 fp:= [ 8, 414 ], 1542 next:= [ 494, 496 ] ), 493 ] ), rec( 1543 desc:= [ 302004 ], 1544 fp:= [ 483, 58261 ], 1545 next:= [ rec( 1546 desc:= [ 107003 ], 1547 fp:= [ 12, 814 ], 1548 next:= [ 210, 211 ] ), 536 ] ) ] ) ] ), rec( 1549 fp:= [ 28538, 52307, 92621 ], 1550 next:= [ rec( 1551 fp:= [ 4100, 5629, 21308, 93672 ], 1552 next:= [ 679, 663, 664, 683 ] ), rec( 1553 fp:= [ 870, 73704, 87786 ], 1554 next:= [ 483, 484, 557 ] ), rec( 1555 fp:= [ 9404, 16359, 25459, 51414, 91533 ], 1556 next:= [ 253, 270, 267, 271, 251 ] ) ] ) ] ), rec( 1557 fp:= [ 25159, 37275 ], 1558 level:= 4, 1559 next:= [ 8263, 1380 ] ), 8681, rec( 1560 fp:= [ 30696, 96714 ], 1561 level:= 4, 1562 next:= [ 1996, 1992 ] ), rec( 1563 fp:= [ 3391, 10615, 13492, 17688, 21884, 28272, 29651, 31030, 34773, 156436627, 38006, 41997, 43603, 44982, 46193, 46361, 50389, 51958, 53266, 53337, 156558934, 60313, 61692, 66155, 71670, 73379, 77575, 81771, 85967, 90163, 97537 ], 1566 level:= 4, 1567 next:= [ rec( 1568 fp:= [ 63017, 99086 ], 1569 next:= [ 1730, 1736 ] ), 1749, rec( 1570 fp:= [ 6263, 32528 ], 1571 next:= [ 1744, 1755 ] ), rec( 1572 fp:= [ 3775, 19811 ], 1573 next:= [ 1759, 1757 ] ), rec( 1574 fp:= [ 27774, 69726 ], 1575 next:= [ 1741, 1739 ] ), 1777, 1805, 1792, rec( 1576 fp:= [ 17969, 29361, 47090, 84982 ], 1577 next:= [ 1726, 1735, 1732, 1724 ] ), 1819, 1821, rec( 1578 fp:= [ 60666, 87919 ], 1579 next:= [ 1748, 1750 ] ), 1778, rec( 1580 fp:= [ 28444, 89437 ], 1581 next:= [ 1806, 1807 ] ), rec( 1582 fp:= [ 72843, 77955 ], 1583 next:= [ 1762, 1761 ] ), 1793, rec( 1584 fp:= [ 63124, 65722 ], 1585 next:= [ 1753, 1743 ] ), 1820, 1740, 1822, 1776, 1804, 1791, rec( 1586 fp:= [ 40339, 59297 ], 1587 next:= [ 1731, 1737 ] ), 1725, 1747, rec( 1588 fp:= [ 23162, 38943 ], 1589 next:= [ 1760, 1763 ] ), rec( 1590 fp:= [ 9872, 24784, 34359, 40046, 43014, 90020 ], 1591 next:= [ 1752, 1751, 1745, 1754, 1746, 1742 ] ), rec( 1592 fp:= [ 37675, 97970 ], 1593 next:= [ 1758, 1756 ] ), 1738, 1720 ] ), rec( 1594 fp:= [ 678, 36356 ], 1595 level:= 5, 1596 next:= [ rec( 1597 desc:= [ 107003 ], 1598 fp:= [ 4, 14 ], 1599 next:= [ 3612, 3613 ] ), 3608 ] ), 8267, rec( 1600 fp:= [ 2260, 3655, 5030, 7440, 10176, 11225, 15356, 18092, 19141, 19929, 160123272, 26008, 27057, 27845, 30842, 31369, 34973, 38758, 40334, 41494, 42889, 160246674, 47201, 47462, 48250, 49410, 52035, 54590, 55378, 57326, 59163, 62506, 160362687, 66291, 67079, 67867, 70603, 71652, 72812, 74207, 75783, 78519, 79568, 160482123, 85908, 86696, 87117, 87484, 88644, 94005, 94612, 95400, 99185 ], 1605 level:= 4, 1606 next:= [ 8641, 8545, 8644, rec( 1607 fp:= [ 48138, 50789, 63020, 73820, 79685, 80863, 92920, 93961 ], 1608 next:= [ 8542, 8580, 8548, 8551, 8538, 8547, 8577, 8572 ] ), rec( 1609 fp:= [ 5976, 13188, 78394 ], 1610 next:= [ 8635, 8628, 8638 ] ), 8536, rec( 1611 fp:= [ 28994, 61641 ], 1612 next:= [ 8559, 8557 ] ), 8639, 8552, 8568, rec( 1613 fp:= [ 58824, 75450 ], 1614 next:= [ 8589, 8586 ] ), 8629, rec( 1615 fp:= [ 33479, 46879 ], 1616 next:= [ 8582, 8566 ] ), 8579, 8587, 8633, rec( 1617 fp:= [ 2824, 11265 ], 1618 next:= [ 8574, 8549 ] ), 8540, 8563, 8637, 8553, rec( 1619 fp:= [ 29662, 71222 ], 1620 next:= [ 8554, 8561 ] ), 8627, 8570, 8543, 8640, 8541, 8590, 8573, 16218631, 8575, 8546, 8634, 8537, 8560, rec( 1622 fp:= [ 9822, 23146 ], 1623 next:= [ 8571, 8565 ] ), 8642, 8564, 8625, 8558, 8550, 8636, rec( 1624 fp:= [ 24229, 64758 ], 1625 next:= [ 8539, 8576 ] ), 8588, 8583, 8578, 8585, 8555, 8630, 8632, 16268556, 8567, rec( 1627 fp:= [ 24527, 75826 ], 1628 next:= [ 8569, 8562 ] ) ] ), rec( 1629 fp:= [ 19195, 28529, 29860, 55941, 56334, 62408, 63274, 67560, 72169, 163073215, 73718, 94402, 96287 ], 1631 level:= 4, 1632 next:= [ rec( 1633 fp:= [ 33276, 79375 ], 1634 next:= [ rec( 1635 desc:= [ 108003 ], 1636 fp:= [ 2, 12 ], 1637 next:= [ 5075, 5074 ] ), rec( 1638 desc:= [ 107003 ], 1639 fp:= [ 2, 12 ], 1640 next:= [ 5077, 5080 ] ) ] ), rec( 1641 fp:= [ 25284, 30380 ], 1642 next:= [ 5091, 5098 ] ), rec( 1643 fp:= [ 26111, 83513 ], 1644 next:= [ 5508, 5510 ] ), rec( 1645 fp:= [ 42905, 51430, 63985, 92994 ], 1646 next:= [ 5542, 5540, 5539, 5538 ] ), rec( 1647 fp:= [ 83711, 86254 ], 1648 next:= [ 5521, 5520 ] ), rec( 1649 fp:= [ 9413, 44124 ], 1650 next:= [ 5086, 5095 ] ), rec( 1651 fp:= [ 34445, 64594 ], 1652 next:= [ 5534, 5536 ] ), rec( 1653 fp:= [ 2919, 9384 ], 1654 next:= [ 5103, 5101 ] ), rec( 1655 fp:= [ 2436, 59838 ], 1656 next:= [ 5503, 5504 ] ), rec( 1657 fp:= [ 8702, 73819 ], 1658 next:= [ 5104, 5102 ] ), rec( 1659 fp:= [ 18848, 66276 ], 1660 next:= [ 5089, 5096 ] ), rec( 1661 fp:= [ 84473, 95579 ], 1662 next:= [ 5109, 5110 ] ), rec( 1663 fp:= [ 29163, 39778 ], 1664 next:= [ 5082, 5073 ] ) ] ), rec( 1665 fp:= [ 41505, 75405 ], 1666 next:= [ rec( 1667 fp:= [ 7027, 23738, 31867, 38039, 48578, 54750, 58558, 60922, 67094, 166877633, 83805, 89977 ], 1669 next:= [ rec( 1670 fp:= [ 10544, 17284, 65854, 80161, 92157 ], 1671 next:= [ rec( 1672 desc:= [ 104003 ], 1673 fp:= [ 8, 18 ], 1674 next:= [ 1767, 1769 ] ), 1811, 1464, 1810, 1770 ] ), rec( 1675 fp:= [ 50912, 61248 ], 1676 next:= [ 1779, 1782 ] ), rec( 1677 fp:= [ 22634, 53139, 70680 ], 1678 next:= [ 1487, 1457, 1505 ] ), rec( 1679 fp:= [ 38290, 70842 ], 1680 next:= [ 1557, 1558 ] ), rec( 1681 fp:= [ 3652, 5938 ], 1682 next:= [ 1771, 1468 ] ), rec( 1683 fp:= [ 37, 23989 ], 1684 next:= [ 1528, 1529 ] ), 1823, rec( 1685 fp:= [ 6874, 37443, 60913, 63307, 63794, 67948, 70640, 98615 ], 1686 next:= [ 1504, 1486, 1507, 1488, 1506, 1456, 1485, 1458 ] ), rec( 1687 fp:= [ 8523, 30958 ], 1688 next:= [ 1556, 1555 ] ), rec( 1689 fp:= [ 5567, 11478, 20622 ], 1690 next:= [ 1772, 1470, 1469 ] ), rec( 1691 fp:= [ 11003, 14222 ], 1692 next:= [ 1520, 1530 ] ), rec( 1693 fp:= [ 2699, 25838, 63685, 71855 ], 1694 next:= [ 1451, 1796, 1500, rec( 1695 desc:= [ 104003 ], 1696 fp:= [ 22, 814 ], 1697 next:= [ 1795, 1480 ] ) ] ) ] ), rec( 1698 fp:= [ 50928, 96817 ], 1699 next:= [ rec( 1700 fp:= [ 49780, 91594, 96157 ], 1701 next:= [ 1803, 1765, 1802 ] ), rec( 1702 fp:= [ 35113, 37419, 40116, 50654, 57774, 60002, 77563 ], 1703 next:= [ 1722, 1728, 1733, 1723, 1729, 1734, 1727 ] ) ] ) ] ), rec( 1704 fp:= [ 82413, 95405 ], 1705 level:= 4, 1706 next:= [ 188, 185 ] ),, rec( 1707 fp:= [ 57845, 67416, 67426 ], 1708 next:= [ rec( 1709 fp:= [ 53091, 58452, 63813 ], 1710 next:= [ 8592, 8596, 8594 ] ), rec( 1711 fp:= [ 4593, 51743, 57104, 98893 ], 1712 next:= [ rec( 1713 desc:= [ 302005 ], 1714 fp:= [ 563, 28561, 38541 ], 1715 next:= [ 4851, 4852, rec( 1716 desc:= [ 107003, 207003 ], 1717 fp:= [ 6, 16 ], 1718 next:= [ 4854, 4848 ] ) ] ), 4849, rec( 1719 desc:= [ 104003 ], 1720 fp:= [ 14, 222, 618, 1014 ], 1721 next:= [ 4856, 4850, 4853, 4855 ] ), 4847 ] ), rec( 1722 fp:= [ 28168, 75318 ], 1723 next:= [ 4913, 4912 ] ) ] ), rec( 1724 fp:= [ 2834, 2930, 3026, 16261, 25436, 38671, 50026, 50122, 50218, 53674, 172563261, 63357, 63453, 66909, 76688, 81720, 81816, 81912, 95147 ], 1726 level:= 4, 1727 next:= [ 1121, 1123, rec( 1728 desc:= [ 107003 ], 1729 fp:= [ 2, 12 ], 1730 next:= [ 1120, 1122 ] ), 1119, 1188, 1189, 1135, 1144, rec( 1731 desc:= [ 106003 ], 1732 fp:= [ 4, 212 ], 1733 next:= [ rec( 1734 desc:= [ 112007 ], 1735 fp:= [ 8, 18 ], 1736 next:= [ 1130, 1131 ] ), 1129 ] ), 1192, 1142, 1136, rec( 1737 desc:= [ 107003 ], 1738 fp:= [ 2, 12 ], 1739 next:= [ 1139, 1143 ] ), 1193, 1132, 1117, 1114, rec( 1740 desc:= [ 106003 ], 1741 fp:= [ 2, 12 ], 1742 next:= [ rec( 1743 desc:= [ 107003 ], 1744 fp:= [ 2, 12 ], 1745 next:= [ rec( 1746 desc:= [ 115007 ], 1747 fp:= [ 8, 18 ], 1748 next:= [ 1115, 1116 ] ), 1118 ] ), 1190 ] ), rec( 1749 desc:= [ 107003 ], 1750 fp:= [ 2, 12 ], 1751 next:= [ 1113, 1191 ] ) ] ), rec( 1752 fp:= [ 10212, 44112 ], 1753 next:= [ rec( 1754 fp:= [ 28538, 50928, 52307, 96817 ], 1755 next:= [ 27, 84, 87, 28 ] ), rec( 1756 fp:= [ 20765, 46547 ], 1757 next:= [ 73, 112 ] ) ] ),, rec( 1758 fp:= [ 2414, 2827, 26343, 27562, 40495, 45136, 47552, 71481, 82405, 175990765, 94767, 96451, 97847 ], 1760 level:= 4, 1761 next:= [ 1056, 1219, 1223, 1057, rec( 1762 fp:= [ 34819, 38523 ], 1763 next:= [ 2087, 2036 ] ), rec( 1764 fp:= [ 8682, 26810 ], 1765 next:= [ 1287, 1220 ] ), rec( 1766 fp:= [ 50332, 82954 ], 1767 next:= [ 1058, 1059 ] ), 1224, 1284, 1055, 1054, 2105, 2035 ] ), rec( 1768 fp:= [ 8495, 66110 ], 1769 next:= [ 176, rec( 1770 fp:= [ 22668, 75292 ], 1771 next:= [ 154, 169 ] ) ] ), rec( 1772 fp:= [ 10202, 44102 ], 1773 next:= [ rec( 1774 fp:= [ 5168, 7566, 12889, 14297, 15409, 15679, 25251, 32412, 49536, 177552704, 57649, 63121, 67560, 69627, 69681, 70745, 94674 ], 1776 next:= [ 2095, 964, 5150, rec( 1777 fp:= [ 91847, 95329 ], 1778 next:= [ 963, 962 ] ), 5152, rec( 1779 fp:= [ 19882, 28708 ], 1780 next:= [ rec( 1781 desc:= [ 109003 ], 1782 fp:= [ 8, 414 ], 1783 next:= [ 981, 979 ] ), rec( 1784 desc:= [ 110003 ], 1785 fp:= [ 8, 414 ], 1786 next:= [ 982, 980 ] ) ] ), 2042, 1283, rec( 1787 fp:= [ 25348, 98719 ], 1788 next:= [ 1231, 1207 ] ), 967, rec( 1789 fp:= [ 37123, 40952 ], 1790 next:= [ rec( 1791 desc:= [ 107003 ], 1792 fp:= [ 8, 414 ], 1793 next:= [ 1206, 1205 ] ), rec( 1794 desc:= [ 108003 ], 1795 fp:= [ 8, 414 ], 1796 next:= [ 1227, 1228 ] ) ] ), rec( 1797 desc:= [ 108003 ], 1798 fp:= [ 4, 14 ], 1799 next:= [ rec( 1800 desc:= [ 305010 ], 1801 fp:= [ 84, 362 ], 1802 next:= [ 2054, rec( 1803 desc:= [ 109007 ], 1804 fp:= [ 4, 14 ], 1805 next:= [ 2055, 2053 ] ) ] ), 2052 ] ), rec( 1806 desc:= [ 105003 ], 1807 fp:= [ 2, 12 ], 1808 next:= [ 2043, 2101 ] ), rec( 1809 desc:= [ 109003 ], 1810 fp:= [ 2, 12 ], 1811 next:= [ 5135, 5134 ] ), 1282, rec( 1812 fp:= [ 85203, 88685 ], 1813 next:= [ 966, 965 ] ), rec( 1814 fp:= [ 31846, 80845 ], 1815 next:= [ 1232, 1204 ] ) ] ), rec( 1816 fp:= [ 4093, 13220, 22196, 24592, 26857, 42383, 49066, 49114, 52305, 181768451, 84353, 84548, 89129, 91811, 96669 ], 1818 next:= [ 2069, 1211, 2103, rec( 1819 desc:= [ 109003 ], 1820 fp:= [ 2, 12 ], 1821 next:= [ 5139, 5138 ] ), rec( 1822 fp:= [ 26869, 93423 ], 1823 next:= [ 1263, 1256 ] ), 1017, rec( 1824 fp:= [ 27782, 63968 ], 1825 next:= [ 993, 994 ] ), 1016, 2032, 2060, 1259, 995, 5151, 1309, 18265153 ] ) ] ), rec( 1827 fp:= [ 29472, 46183, 62894, 79605, 96316 ], 1828 level:= 4, 1829 next:= [ 5030, 5033, rec( 1830 fp:= [ 8932, 61963 ], 1831 next:= [ 5031, 5034 ] ), 5032, 5029 ] ), rec( 1832 fp:= [ 7030, 66190 ], 1833 next:= [ rec( 1834 fp:= [ 638, 64787, 64835, 86180 ], 1835 next:= [ 1088, 1133, 1127, 1175 ] ), rec( 1836 fp:= [ 49474, 76533 ], 1837 next:= [ 1073, 1125 ] ) ] ), rec( 1838 fp:= [ 17689, 87491 ], 1839 level:= 5, 1840 next:= [ 191, rec( 1841 desc:= [ 106003 ], 1842 fp:= [ 4, 14 ], 1843 next:= [ 195, 196 ] ) ] ), 1445, rec( 1844 fp:= [ 12519, 35088, 73080, 89308 ], 1845 level:= 4, 1846 next:= [ 5053, 5054, 5513, 5501 ] ), rec( 1847 fp:= [ 49247, 62791 ], 1848 next:= [ 5580, rec( 1849 fp:= [ 46563, 56357, 95591 ], 1850 next:= [ rec( 1851 desc:= [ 206002 ], 1852 fp:= [ 4, 14 ], 1853 next:= [ 1153, 1152 ] ), rec( 1854 fp:= [ 36854, 82610 ], 1855 next:= [ rec( 1856 desc:= [ 212006 ], 1857 fp:= [ 4, 14 ], 1858 next:= [ 1185, 1182 ] ), 1180 ] ), rec( 1859 fp:= [ 47243, 68306 ], 1860 next:= [ 1156, 1159 ] ) ] ) ] ),, 3623, rec( 1861 fp:= [ 15579, 75014, 95127 ], 1862 level:= 4, 1863 next:= [ 1441, 1439, 1440 ] ),, rec( 1864 fp:= [ 5347, 26134, 69347, 72552 ], 1865 level:= 4, 1866 next:= [ 1961, 1940, 1939, 1960 ] ), rec( 1867 fp:= [ 4093, 6280, 22196, 26857, 49066, 50011, 84548, 91811, 92899 ], 1868 level:= 4, 1869 next:= [ 5642, 2106, 5671, 4480, 2501, 8371, 2505, 4677, 8361 ] ), rec( 1870 fp:= [ 30222, 32413, 36790, 57755, 68477, 70663, 83940, 93819, 96010 ], 1871 level:= 4, 1872 next:= [ rec( 1873 fp:= [ 44243, 99108 ], 1874 next:= [ 8601, 3615 ] ), 3622, rec( 1875 fp:= [ 41563, 89420 ], 1876 next:= [ 8360, 8358 ] ), 8603, 3616, 8357, 8359, 3621, rec( 1877 fp:= [ 42491, 82666 ], 1878 next:= [ 8602, 8604 ] ) ] ), rec( 1879 fp:= [ 7027, 28538, 52307 ], 1880 level:= 4, 1881 next:= [ rec( 1882 desc:= [ 205002 ], 1883 fp:= [ 4, 14 ], 1884 next:= [ 86, 85 ] ), rec( 1885 fp:= [ 30572, 50452 ], 1886 next:= [ 116, rec( 1887 desc:= [ 210005 ], 1888 fp:= [ 4, 14 ], 1889 next:= [ 114, 118 ] ) ] ), rec( 1890 fp:= [ 192, 59924 ], 1891 next:= [ 91, 89 ] ) ] ), rec( 1892 fp:= [ 6710, 27485, 48260, 66928, 87703 ], 1893 level:= 4, 1894 next:= [ 8252, rec( 1895 fp:= [ 8357, 13911, 85316, 93155 ], 1896 next:= [ 8260, 8253, 8258, 8255 ] ), 8254, rec( 1897 fp:= [ 1787, 91825 ], 1898 next:= [ 8259, 8256 ] ), rec( 1899 fp:= [ 14927, 47755 ], 1900 next:= [ 8261, 8257 ] ) ] ), rec( 1901 fp:= [ 1968, 41202 ], 1902 level:= 4, 1903 next:= [ 8606, 8623 ] ), rec( 1904 fp:= [ 44102, 94603 ], 1905 next:= [ rec( 1906 fp:= [ 13220, 25846, 42383, 49114, 52305, 68451, 84353 ], 1907 next:= [ 1214, 2018, 988, 987, 2031, 2061, 1260 ] ), rec( 1908 fp:= [ 1929, 14941, 27540, 40552, 58758, 71691, 76332, 77661, 85231 ], 1909 next:= [ rec( 1910 fp:= [ 65967, 66229, 66783 ], 1911 next:= [ 1299, 1303, 1305 ] ), rec( 1912 fp:= [ 19074, 36482, 53387 ], 1913 next:= [ 2066, 2064, 2071 ] ), rec( 1914 fp:= [ 28264, 73148, 89222 ], 1915 next:= [ 1306, 1308, 1300 ] ), rec( 1916 fp:= [ 63820, 78671, 88762 ], 1917 next:= [ 2072, 2068, 2067 ] ), rec( 1918 fp:= [ 33040, 61406, 91640 ], 1919 next:= [ 1039, 1043, 1045 ] ), rec( 1920 fp:= [ 31794, 78619, 93175, 96055 ], 1921 next:= [ 2045, 2034, 2046, 2033 ] ), rec( 1922 fp:= [ 5862, 39213, 45640, 87920 ], 1923 next:= [ 1279, 1271, 1277, 1280 ] ), rec( 1924 fp:= [ 2536, 12040, 65641, 75359 ], 1925 next:= [ 1044, 1040, 1046, 1042 ] ), rec( 1926 fp:= [ 26196, 80454, 84537 ], 1927 next:= [ 1041, 1047, 1048 ] ) ] ) ] ), rec( 1928 fp:= [ 5821, 5831 ], 1929 next:= [ rec( 1930 fp:= [ 4593, 51743, 57104, 98893 ], 1931 next:= [ rec( 1932 fp:= [ 19742, 24123, 24469, 79766 ], 1933 next:= [ 8196, 8203, 8200, 8197 ] ), rec( 1934 fp:= [ 16719, 74771 ], 1935 next:= [ 8198, 8201 ] ), rec( 1936 fp:= [ 48000, 73136 ], 1937 next:= [ 8199, 8202 ] ), 8195 ] ), rec( 1938 fp:= [ 10526, 66651, 86422 ], 1939 level:= 5, 1940 next:= [ 8250, 8251, 8249 ] ) ] ), rec( 1941 fp:= [ 4507, 12159, 14402, 15816, 19473, 21574, 23817, 26060, 29925, 194230092, 32335, 53216, 55459, 63111, 76785, 79028, 88529, 92186, 95843 ], 1943 level:= 4, 1944 next:= [ 55, rec( 1945 desc:= [ 105003 ], 1946 fp:= [ 2, 12 ], 1947 next:= [ rec( 1948 desc:= [ 106003 ], 1949 fp:= [ 2, 12 ], 1950 next:= [ rec( 1951 desc:= [ 112007 ], 1952 fp:= [ 8, 18 ], 1953 next:= [ 48, 49 ] ), 51 ] ), 123 ] ), 50, 125, 121, 65, rec( 1954 desc:= [ 106003 ], 1955 fp:= [ 2, 12 ], 1956 next:= [ 72, 77 ] ), rec( 1957 desc:= [ 105003 ], 1958 fp:= [ 4, 212 ], 1959 next:= [ rec( 1960 desc:= [ 110007 ], 1961 fp:= [ 8, 18 ], 1962 next:= [ 63, 64 ] ), 62 ] ), 52, 75, 68, rec( 1963 desc:= [ 106003 ], 1964 fp:= [ 2, 12 ], 1965 next:= [ 53, 56 ] ), 54, 47, 69, 76, rec( 1966 desc:= [ 106003 ], 1967 fp:= [ 2, 12 ], 1968 next:= [ 46, 124 ] ), 126, 122 ] ), rec( 1969 fp:= [ 41693, 98141 ], 1970 level:= 4, 1971 next:= [ 1982, 1981 ] ), rec( 1972 fp:= [ 9192, 21059 ], 1973 next:= [ rec( 1974 fp:= [ 1053, 10235, 17934, 32371, 45467, 58744, 90062 ], 1975 next:= [ 5529, 5548, 5123, rec( 1976 desc:= [ 106003 ], 1977 fp:= [ 2, 12 ], 1978 next:= [ 5527, 5528 ] ), 5125, 5124, rec( 1979 desc:= [ 107003 ], 1980 fp:= [ 2, 12 ], 1981 next:= [ rec( 1982 desc:= [ 108003 ], 1983 fp:= [ 4, 14 ], 1984 next:= [ 5120, 5121 ] ), 5122 ] ) ] ), rec( 1985 fp:= [ 14364, 26750, 56334, 80486, 98187 ], 1986 next:= [ 5058, 5057, 5516, 5525, 5064 ] ) ] ), rec( 1987 fp:= [ 2812, 7027, 19523, 25695, 31867, 36234, 42406, 48578, 54750, 198860922, 65289, 71461, 73601, 77633, 90129, 94344 ], 1989 level:= 4, 1990 next:= [ 5016, 5008, 5019, 5025, 5017, 5012, 5022, rec( 1991 fp:= [ 72632, 90419, 92861 ], 1992 next:= [ 5021, 5011, 5018 ] ), 5024, 5015, 5014, 5023, 5027, 5020, 19935010, 5013 ] ), rec( 1994 fp:= [ 18151, 27485, 32846, 36819, 48260, 53621, 57594, 66928, 78369, 199587703, 93064, 97037 ], 1996 level:= 4, 1997 next:= [ rec( 1998 fp:= [ 34, 18281, 46626, 46984, 96037 ], 1999 next:= [ 4943, 4911, rec( 2000 desc:= [ 110003 ], 2001 fp:= [ 4, 14, 212 ], 2002 next:= [ 4929, rec( 2003 desc:= [ 302006, 209002 ], 2004 fp:= [ 2, 12 ], 2005 next:= [ 4931, 4916 ] ), 4933 ] ), 4919, rec( 2006 desc:= [ 110003 ], 2007 fp:= [ 4, 14 ], 2008 next:= [ 4944, 4952 ] ) ] ), rec( 2009 fp:= [ 56121, 60577, 75085, 90910 ], 2010 next:= [ 4924, 4904, 4921, 4905 ] ), 4927, 4948, rec( 2011 fp:= [ 41147, 75139, 85855, 90200 ], 2012 next:= [ 4940, rec( 2013 desc:= [ 302006 ], 2014 fp:= [ 401, 14261 ], 2015 next:= [ 4906, rec( 2016 desc:= [ 112003 ], 2017 fp:= [ 4, 14 ], 2018 next:= [ 4939, 4938 ] ) ] ), 4922, 4925 ] ), 4928, rec( 2019 fp:= [ 23335, 25775, 25833, 57494, 69114, 69387 ], 2020 next:= [ 4918, rec( 2021 desc:= [ 109003 ], 2022 fp:= [ 8, 18, 414 ], 2023 next:= [ 4941, 4947, 4950 ] ), 4915, 4910, 4909, 4945 ] ), 4902, rec( 2024 fp:= [ 1106, 4302, 90021 ], 2025 next:= [ rec( 2026 desc:= [ 108003 ], 2027 fp:= [ 4, 14 ], 2028 next:= [ 4946, 4956 ] ), rec( 2029 desc:= [ 108003 ], 2030 fp:= [ 4, 14, 212 ], 2031 next:= [ rec( 2032 desc:= [ 302005, 208003 ], 2033 fp:= [ 2, 12 ], 2034 next:= [ 4932, 4917 ] ), 4930, 4934 ] ), rec( 2035 desc:= [ 107003 ], 2036 fp:= [ 8, 18, 414 ], 2037 next:= [ rec( 2038 desc:= [ 302005 ], 2039 fp:= [ 262, 521 ], 2040 next:= [ 4942, rec( 2041 desc:= [ 208002 ], 2042 fp:= [ 8, 18 ], 2043 next:= [ 4949, 4955 ] ) ] ), 4953, 4954 ] ) ] ), rec( 2044 fp:= [ 14237, 52105, 65040, 77674, 85754 ], 2045 next:= [ 4920, 4907, rec( 2046 desc:= [ 302007 ], 2047 fp:= [ 401, 14261 ], 2048 next:= [ 4903, rec( 2049 desc:= [ 114003 ], 2050 fp:= [ 4, 14 ], 2051 next:= [ 4935, 4936 ] ) ] ), 4923, 4937 ] ), 4926, rec( 2052 fp:= [ 1711, 26008, 42737 ], 2053 next:= [ 4914, 4908, 4951 ] ) ] ), rec( 2054 fp:= [ 10212, 44112 ], 2055 next:= [ rec( 2056 fp:= [ 1787, 3166, 8651, 39313, 76930 ], 2057 next:= [ 93, 94, rec( 2058 fp:= [ 9004, 51168 ], 2059 next:= [ 15, 42 ] ), rec( 2060 fp:= [ 14533, 82882 ], 2061 next:= [ rec( 2062 desc:= [ 107003 ], 2063 fp:= [ 8, 414 ], 2064 next:= [ 17, 16 ] ), rec( 2065 desc:= [ 108003 ], 2066 fp:= [ 8, 414 ], 2067 next:= [ 38, 39 ] ) ] ), rec( 2068 fp:= [ 5865, 54383 ], 2069 next:= [ 18, 44 ] ) ] ), rec( 2070 fp:= [ 20765, 46547, 93942, 94549 ], 2071 next:= [ rec( 2072 fp:= [ 38864, 47355 ], 2073 next:= [ 67, 74 ] ), 120, 70, 22 ] ) ] ), rec( 2074 fp:= [ 11172, 12202, 12551, 12847, 13492, 14886, 24267, 26306, 29183, 207531030, 34773, 41997, 46268, 46361, 57688, 58934, 59200, 59845, 60313, 61692, 207665510, 66155, 68957, 73379, 76930, 77575, 77650, 81771, 89070, 95502, 96881, 207797462, 97537 ], 2078 level:= 4, 2079 next:= [ rec( 2080 fp:= [ 55433, 71210 ], 2081 next:= [ 576, 575 ] ), rec( 2082 fp:= [ 71166, 79518 ], 2083 next:= [ 454, 455 ] ), rec( 2084 fp:= [ 9173, 38905 ], 2085 next:= [ 587, 588 ] ), rec( 2086 fp:= [ 55703, 82902 ], 2087 next:= [ 706, 707 ] ), rec( 2088 fp:= [ 6263, 51748 ], 2089 next:= [ 333, 334 ] ), rec( 2090 fp:= [ 36289, 67724 ], 2091 next:= [ 274, 256 ] ), rec( 2092 fp:= [ 44171, 82004 ], 2093 next:= [ 385, 386 ] ), rec( 2094 fp:= [ 46282, 51764 ], 2095 next:= [ 434, 431 ] ), rec( 2096 fp:= [ 249, 14929 ], 2097 next:= [ rec( 2098 desc:= [ 106003 ], 2099 fp:= [ 2, 12 ], 2100 next:= [ 319, 726 ] ), rec( 2101 desc:= [ 106003 ], 2102 fp:= [ 2, 12 ], 2103 next:= [ 320, 723 ] ) ] ), rec( 2104 fp:= [ 55256, 87291 ], 2105 next:= [ 564, 530 ] ), rec( 2106 fp:= [ 51678, 84982 ], 2107 next:= [ 695, 675 ] ), rec( 2108 fp:= [ 54650, 60666 ], 2109 next:= [ 366, 365 ] ), rec( 2110 fp:= [ 46244, 54407 ], 2111 next:= [ 273, 255 ] ), rec( 2112 fp:= [ 9350, 15965, 82821, 88135 ], 2113 next:= [ 531, 565, 567, 489 ] ), rec( 2114 fp:= [ 46640, 48509 ], 2115 next:= [ rec( 2116 desc:= [ 106003 ], 2117 fp:= [ 4, 212 ], 2118 next:= [ 414, 350 ] ), rec( 2119 desc:= [ 106003 ], 2120 fp:= [ 4, 212 ], 2121 next:= [ 451, 379 ] ) ] ), rec( 2122 fp:= [ 68354, 91887 ], 2123 next:= [ 778, 777 ] ), rec( 2124 fp:= [ 18338, 71167, 87237 ], 2125 next:= [ 680, rec( 2126 desc:= [ 109003 ], 2127 fp:= [ 4, 14 ], 2128 next:= [ 681, 682 ] ), 660 ] ), rec( 2129 fp:= [ 15784, 23232 ], 2130 next:= [ 758, 759 ] ), rec( 2131 fp:= [ 16490, 34874, 56259, 67679 ], 2132 next:= [ 795, 796, 798, 799 ] ), rec( 2133 fp:= [ 3198, 19336, 50067, 94974 ], 2134 next:= [ rec( 2135 desc:= [ 106003 ], 2136 fp:= [ 4, 14 ], 2137 next:= [ 526, 788 ] ), rec( 2138 desc:= [ 302010 ], 2139 fp:= [ 1081, 66421 ], 2140 next:= [ 787, rec( 2141 desc:= [ 108003 ], 2142 fp:= [ 4, 14 ], 2143 next:= [ rec( 2144 desc:= [ 110003 ], 2145 fp:= [ 8, 18 ], 2146 next:= [ 524, 525 ] ), 527 ] ) ] ), rec( 2147 desc:= [ 107003 ], 2148 fp:= [ 4, 14 ], 2149 next:= [ 561, 563 ] ), 558 ] ), rec( 2150 fp:= [ 20917, 32923 ], 2151 next:= [ 456, 457 ] ), rec( 2152 fp:= [ 4652, 28068, 29786, 40339 ], 2153 next:= [ 676, 701, 700, 697 ] ), rec( 2154 fp:= [ 16736, 66907 ], 2155 next:= [ 711, 714 ] ), rec( 2156 fp:= [ 9507, 15523, 69488 ], 2157 next:= [ rec( 2158 desc:= [ 110003 ], 2159 fp:= [ 4, 14 ], 2160 next:= [ 442, 422 ] ), rec( 2161 desc:= [ 106003 ], 2162 fp:= [ 4, 212 ], 2163 next:= [ rec( 2164 desc:= [ 116007 ], 2165 fp:= [ 4, 14 ], 2166 next:= [ 423, 443 ] ), 364 ] ), rec( 2167 desc:= [ 106003 ], 2168 fp:= [ 4, 212 ], 2169 next:= [ rec( 2170 desc:= [ 110003 ], 2171 fp:= [ 4, 14 ], 2172 next:= [ 441, 421 ] ), 363 ] ) ] ), rec( 2173 fp:= [ 14164, 41329 ], 2174 next:= [ 279, 262 ] ), rec( 2175 fp:= [ 59574, 61740 ], 2176 next:= [ 382, 383 ] ), rec( 2177 fp:= [ 55435, 95445 ], 2178 next:= [ 246, 266 ] ), rec( 2179 fp:= [ 88535, 90020 ], 2180 next:= [ 332, 331 ] ), rec( 2181 fp:= [ 19231, 39134 ], 2182 next:= [ rec( 2183 desc:= [ 105003 ], 2184 fp:= [ 4, 14, 212 ], 2185 next:= [ 435, 743, 352 ] ), rec( 2186 desc:= [ 105003 ], 2187 fp:= [ 4, 14, 212 ], 2188 next:= [ 415, 746, 351 ] ) ] ), rec( 2189 fp:= [ 48217, 69031 ], 2190 next:= [ 579, 578 ] ), rec( 2191 fp:= [ 37877, 64298 ], 2192 next:= [ 591, 590 ] ), rec( 2193 fp:= [ 54120, 88014 ], 2194 next:= [ 318, 347 ] ), rec( 2195 fp:= [ 13644, 28339, 75150 ], 2196 next:= [ rec( 2197 desc:= [ 105003 ], 2198 fp:= [ 8, 414 ], 2199 next:= [ rec( 2200 desc:= [ 107003 ], 2201 fp:= [ 8, 18 ], 2202 next:= [ 668, 667 ] ), 666 ] ), rec( 2203 desc:= [ 106003 ], 2204 fp:= [ 8, 414 ], 2205 next:= [ 687, 686 ] ), 669 ] ) ] ), rec( 2206 fp:= [ 5116, 8886, 27554, 40789, 44559, 48329, 52099, 84002, 87772, 220791542 ], 2208 level:= 4, 2209 next:= [ 8444, 8448, 8440, 8439, 8451, rec( 2210 fp:= [ 82509, 83226 ], 2211 next:= [ 8447, 8445 ] ), 8449, 8441, 8450, 8446 ] ),, rec( 2212 fp:= [ 22317, 24168, 43055, 48758, 50609, 69496, 75199 ], 2213 level:= 4, 2214 next:= [ 1074, 1147, 1145, 1075, 1148, 1146, 1076 ] ), rec( 2215 fp:= [ 12865, 26100, 31324, 44559, 52099, 65334, 99291 ], 2216 level:= 4, 2217 next:= [ 5570, 5572, 5584, 5585, 5586, 5587, 5571 ] ), 2, rec( 2218 fp:= [ 54001, 77935 ], 2219 level:= 4, 2220 next:= [ 2008, 2006 ] ), rec( 2221 fp:= [ 11762, 12489, 14374, 16259, 16986, 18144, 20029, 30221, 32106, 222233264, 33991, 35876, 37761, 41740, 50996, 54975, 55702, 57587, 59472, 72707, 222373434, 74592, 75319, 76477, 77204, 84953, 90439, 92324, 94209, 98188, 98915 ], 2224 level:= 4, 2225 next:= [ 7721, 7735, rec( 2226 fp:= [ 6248, 61094 ], 2227 next:= [ 7754, 7752 ] ), rec( 2228 fp:= [ 9390, 22073, 25511, 62794, 73267, 93059 ], 2229 next:= [ 7749, 7740, 7747, 7746, 7737, 7741 ] ), 7771, rec( 2230 fp:= [ 52442, 93306 ], 2231 next:= [ 7756, 7757 ] ), 7744, 7773, 7815, 7742, rec( 2232 fp:= [ 81949, 93913 ], 2233 next:= [ 7801, 7800 ] ), 7816, 7786, rec( 2234 fp:= [ 27573, 87521 ], 2235 next:= [ 7731, 7725 ] ), 7788, rec( 2236 fp:= [ 58768, 93349 ], 2237 next:= [ 7732, 7726 ] ), rec( 2238 fp:= [ 2288, 63383 ], 2239 next:= [ 7734, 7736 ] ), rec( 2240 fp:= [ 38673, 47555 ], 2241 next:= [ 7751, 7753 ] ), rec( 2242 fp:= [ 4562, 42012 ], 2243 next:= [ 7738, 7748 ] ), rec( 2244 fp:= [ 39993, 55246 ], 2245 next:= [ 7739, 7750 ] ), 7772, rec( 2246 fp:= [ 4950, 51999 ], 2247 next:= [ 7755, 7758 ] ), 7814, rec( 2248 fp:= [ 27348, 88048 ], 2249 next:= [ 7743, 7745 ] ), 7799, 7719, 7802, 7817, 7787, rec( 2250 fp:= [ 3644, 55181, 93001, 93931 ], 2251 next:= [ 7720, 7727, 7730, 7718 ] ), 7733 ] ),, rec( 2252 fp:= [ 19483, 24134, 60011 ], 2253 level:= 4, 2254 next:= [ rec( 2255 fp:= [ 4903, 11030 ], 2256 next:= [ 192, rec( 2257 desc:= [ 206002 ], 2258 fp:= [ 4, 212 ], 2259 next:= [ 200, 201 ] ) ] ), rec( 2260 fp:= [ 12439, 25762 ], 2261 next:= [ 202, 193 ] ), 197 ] ), 175, 1879, 4957, 182, rec( 2262 fp:= [ 7741, 30919, 63813 ], 2263 level:= 4, 2264 next:= [ rec( 2265 fp:= [ 49404, 58784 ], 2266 next:= [ 7432, 7433 ] ), rec( 2267 fp:= [ 2954, 57284 ], 2268 next:= [ 7416, 7418 ] ), rec( 2269 fp:= [ 20299, 72379 ], 2270 next:= [ 7417, 7419 ] ) ] ), rec( 2271 fp:= [ 53372, 87272 ], 2272 next:= [ rec( 2273 fp:= [ 2812, 7027, 23738, 31867, 48578, 60922, 77633, 89977, 94344 ], 2274 next:= [ 233, rec( 2275 desc:= [ 106003 ], 2276 fp:= [ 8, 414, 612 ], 2277 next:= [ 515, rec( 2278 desc:= [ 302006 ], 2279 fp:= [ 1222, 2041 ], 2280 next:= [ rec( 2281 desc:= [ 206002 ], 2282 fp:= [ 14, 212 ], 2283 next:= [ 509, 510 ] ), 511 ] ), 514 ] ), 784, rec( 2284 desc:= [ 105003 ], 2285 fp:= [ 214, 412 ], 2286 next:= [ 553, 234 ] ), 522, rec( 2287 desc:= [ 105003 ], 2288 fp:= [ 6, 16, 214, 412 ], 2289 next:= [ rec( 2290 desc:= [ 106003 ], 2291 fp:= [ 16, 412 ], 2292 next:= [ 238, 237 ] ), rec( 2293 desc:= [ 109007 ], 2294 fp:= [ 12, 22 ], 2295 next:= [ 239, 793 ] ), 556, rec( 2296 desc:= [ 302007 ], 2297 fp:= [ 1123, 23880 ], 2298 next:= [ rec( 2299 desc:= [ 108003 ], 2300 fp:= [ 6, 214 ], 2301 next:= [ 554, 555 ] ), rec( 2302 desc:= [ 109003 ], 2303 fp:= [ 6, 214 ], 2304 next:= [ 236, 235 ] ) ] ) ] ), rec( 2305 desc:= [ 106003 ], 2306 fp:= [ 4, 212 ], 2307 next:= [ 521, 523 ] ), rec( 2308 desc:= [ 105003 ], 2309 fp:= [ 8, 18, 216, 414, 612 ], 2310 next:= [ rec( 2311 desc:= [ 104003 ], 2312 fp:= [ 6, 214 ], 2313 next:= [ 224, 548 ] ), 541, rec( 2314 desc:= [ 302004 ], 2315 fp:= [ 483, 841, 58261 ], 2316 next:= [ rec( 2317 desc:= [ 105003 ], 2318 fp:= [ 16, 412 ], 2319 next:= [ 218, 219 ] ), 792, 545 ] ), rec( 2320 desc:= [ 302004 ], 2321 fp:= [ 483, 58261 ], 2322 next:= [ 220, rec( 2323 desc:= [ 207002 ], 2324 fp:= [ 4, 212 ], 2325 next:= [ 543, 544 ] ) ] ), rec( 2326 desc:= [ 109011 ], 2327 fp:= [ 12, 22, 814 ], 2328 next:= [ 547, 223, rec( 2329 desc:= [ 302005 ], 2330 fp:= [ 1123, 23880 ], 2331 next:= [ 222, 221 ] ) ] ) ] ), 785 ] ), rec( 2332 fp:= [ 19447, 36158, 65213, 90053 ], 2333 next:= [ rec( 2334 fp:= [ 6527, 50764 ], 2335 next:= [ 304, 615 ] ), rec( 2336 fp:= [ 74297, 94599 ], 2337 next:= [ 806, 594 ] ), 805, 303 ] ) ] ), rec( 2338 fp:= [ 36422, 46422 ], 2339 next:= [ rec( 2340 fp:= [ 1968, 14457, 26946, 39435, 41202, 46563, 54479, 66968, 74096, 234186585, 93713, 99074 ], 2342 next:= [ rec( 2343 fp:= [ 21139, 46148 ], 2344 next:= [ 7766, 7463 ] ), rec( 2345 fp:= [ 1732, 77735 ], 2346 next:= [ 7524, 7523 ] ), rec( 2347 fp:= [ 4960, 5230, 10177, 53662, 73536, 77071, 87754, 96927 ], 2348 next:= [ 7483, 7499, 7502, 7480, 7481, 7501, 7453, 7451 ] ), rec( 2349 fp:= [ 22133, 74679 ], 2350 next:= [ 7551, 7550 ] ), 7818, rec( 2351 fp:= [ 7558, 11639, 59732, 78355, 93128 ], 2352 next:= [ rec( 2353 desc:= [ 105003 ], 2354 fp:= [ 8, 18 ], 2355 next:= [ 7762, 7764 ] ), 7805, 7806, 7765, 7459 ] ), rec( 2356 fp:= [ 43535, 74643, 81981 ], 2357 next:= [ 7500, 7482, 7452 ] ), rec( 2358 fp:= [ 56115, 63260 ], 2359 next:= [ 7552, 7553 ] ), rec( 2360 fp:= [ 5707, 30979, 82530 ], 2361 next:= [ 7464, 7767, 7465 ] ), rec( 2362 fp:= [ 4926, 68035 ], 2363 next:= [ 7515, 7525 ] ), rec( 2364 fp:= [ 44504, 78893 ], 2365 next:= [ 7777, 7774 ] ), rec( 2366 fp:= [ 14896, 16780, 78646, 97714 ], 2367 next:= [ 7791, 7495, 7446, rec( 2368 desc:= [ 105003 ], 2369 fp:= [ 22, 814 ], 2370 next:= [ 7790, 7475 ] ) ] ) ] ), rec( 2371 fp:= [ 35373, 99570 ], 2372 next:= [ rec( 2373 fp:= [ 19225, 59906, 64774 ], 2374 next:= [ 7797, 7760, 7798 ] ), rec( 2375 fp:= [ 14749, 40802, 44460, 70909, 81964, 90559, 91748 ], 2376 next:= [ 7728, 7724, 7729, 7717, 7722, 7716, 7723 ] ) ] ) ] ), 1825, 23778262, 1394, 151, rec( 2378 fp:= [ 80793, 83676 ], 2379 level:= 4, 2380 next:= [ 7440, 5127 ] ), rec( 2381 fp:= [ 6122, 13250, 14247, 26527, 49711, 72889 ], 2382 level:= 4, 2383 next:= [ rec( 2384 fp:= [ 42622, 68358 ], 2385 next:= [ 5596, 5594 ] ), rec( 2386 fp:= [ 41503, 90957 ], 2387 next:= [ 5560, 5558 ] ), rec( 2388 fp:= [ 3757, 10091 ], 2389 next:= [ 5574, 5573 ] ), rec( 2390 fp:= [ 12442, 60541 ], 2391 next:= [ 5553, 5554 ] ), rec( 2392 fp:= [ 39712, 70174 ], 2393 next:= [ 5592, 5593 ] ), rec( 2394 fp:= [ 48641, 53411 ], 2395 next:= [ 5590, 5588 ] ) ] ),, rec( 2396 fp:= [ 10202, 44102 ], 2397 next:= [ rec( 2398 fp:= [ 10018, 27657, 34247, 64682, 65040, 77460, 78842 ], 2399 next:= [ rec( 2400 desc:= [ 108003 ], 2401 fp:= [ 8, 414 ], 2402 next:= [ 1971, 1970 ] ), 5041, rec( 2403 fp:= [ 26660, 37911 ], 2404 next:= [ 1913, 1914 ] ), 5036, 5035, rec( 2405 fp:= [ 25023, 41564 ], 2406 next:= [ 1911, 1912 ] ), rec( 2407 desc:= [ 108003 ], 2408 fp:= [ 8, 414 ], 2409 next:= [ 1924, 1923 ] ) ] ), rec( 2410 fp:= [ 24592, 41567, 48250 ], 2411 next:= [ 1965, 1905, rec( 2412 fp:= [ 18964, 48875 ], 2413 next:= [ 1896, 1897 ] ) ] ) ] ), 12, rec( 2414 fp:= [ 852, 10786, 16511, 52575, 58724, 74383, 79129 ], 2415 level:= 4, 2416 next:= [ 8513, 2009, 2012, rec( 2417 fp:= [ 33531, 84016 ], 2418 next:= [ 2010, 8511 ] ), 8512, 2011, 8510 ] ), rec( 2419 fp:= [ 57845, 67416, 67426 ], 2420 next:= [ 8591, rec( 2421 fp:= [ 4593, 51743, 57104, 98893 ], 2422 next:= [ rec( 2423 fp:= [ 22829, 55121 ], 2424 next:= [ 4843, rec( 2425 desc:= [ 105003 ], 2426 fp:= [ 8, 414 ], 2427 next:= [ rec( 2428 desc:= [ 106003 ], 2429 fp:= [ 8, 414 ], 2430 next:= [ 4836, 4840 ] ), 4835 ] ) ] ), rec( 2431 fp:= [ 21059, 41136 ], 2432 next:= [ 4841, 4845 ] ), rec( 2433 desc:= [ 104003 ], 2434 fp:= [ 12, 22, 814 ], 2435 next:= [ rec( 2436 desc:= [ 105003 ], 2437 fp:= [ 8, 414 ], 2438 next:= [ 4838, 4842 ] ), 4839, rec( 2439 desc:= [ 106003 ], 2440 fp:= [ 8, 414 ], 2441 next:= [ 4837, rec( 2442 desc:= [ 302004, 207002 ], 2443 fp:= [ 4, 14 ], 2444 next:= [ 4844, 4846 ] ) ] ) ] ), 4834 ] ), rec( 2445 fp:= [ 4593, 23512, 32846, 51743, 53621, 83730, 93064 ], 2446 next:= [ 4865, rec( 2447 fp:= [ 34545, 44387 ], 2448 next:= [ 4891, 4890 ] ), 4866, 4864, rec( 2449 fp:= [ 2546, 18787, 77354, 93911 ], 2450 next:= [ 4867, 4879, rec( 2451 desc:= [ 106003 ], 2452 fp:= [ 416, 812 ], 2453 next:= [ 4878, 4887 ] ), 4888 ] ), 4901, rec( 2454 fp:= [ 28250, 56636, 80657 ], 2455 next:= [ 4863, 4868, 4862 ] ) ] ) ] ), rec( 2456 fp:= [ 62347, 71928 ], 2457 next:= [ 7413, rec( 2458 fp:= [ 4593, 53621 ], 2459 next:= [ 1337, rec( 2460 fp:= [ 2546, 51385 ], 2461 next:= [ 1338, 1339 ] ) ] ) ] ), rec( 2462 fp:= [ 24592, 41567, 48250 ], 2463 level:= 4, 2464 next:= [ 1964, 1904, 1894 ] ), rec( 2465 fp:= [ 20923, 30808, 51890, 54345, 56800, 59785, 95127 ], 2466 level:= 4, 2467 next:= [ rec( 2468 desc:= [ 104003 ], 2469 fp:= [ 16, 412 ], 2470 next:= [ 1432, 1431 ] ), 1444, 1429, 1428, 1430, 1442, 1443 ] ), rec( 2471 fp:= [ 10202, 44102 ], 2472 next:= [ rec( 2473 fp:= [ 11678, 54891 ], 2474 next:= [ 1910, 1909 ] ), 1895 ] ), rec( 2475 fp:= [ 7440, 10176, 29575, 64723, 67867, 85908 ], 2476 level:= 4, 2477 next:= [ 8544, 8626, 8643, 8674, 8584, 8581 ] ), rec( 2478 fp:= [ 5468, 44102 ], 2479 next:= [ rec( 2480 fp:= [ 24786, 33753, 34660, 52237, 86226, 87042, 94207, 98686 ], 2481 next:= [ 5141, 950, 2015, 951, 5131, 2048, 1195, 1247 ] ), rec( 2482 fp:= [ 4093, 13220, 15807, 22196, 26857, 42383, 49066, 49114, 50011, 248352305, 68451, 84353, 84548, 91811, 92899 ], 2484 next:= [ 2058, 1210, rec( 2485 desc:= [ 104003 ], 2486 fp:= [ 2, 12 ], 2487 next:= [ 5147, 5144 ] ), 2082, 1255, 1015, 989, 1014, 5155, 2029, 24882059, 1249, 990, 1297, 5146 ] ) ] ), rec( 2489 fp:= [ 19872, 27185, 63568, 73104, 78899 ], 2490 level:= 4, 2491 next:= [ rec( 2492 fp:= [ 44265, 65915, 70115, 71625 ], 2493 next:= [ 1410, 1407, 1406, 1408 ] ), rec( 2494 fp:= [ 53515, 83242 ], 2495 next:= [ 1389, 1388 ] ), rec( 2496 fp:= [ 10320, 97695 ], 2497 next:= [ 1376, 1378 ] ), rec( 2498 fp:= [ 64280, 75503 ], 2499 next:= [ 1402, 1404 ] ), rec( 2500 fp:= [ 49868, 62154 ], 2501 next:= [ 1372, 1371 ] ) ] ), 127, rec( 2502 fp:= [ 62696, 90920, 95125 ], 2503 level:= 4, 2504 next:= [ 1425, 1434, 8265 ] ),, rec( 2505 fp:= [ 852, 16511, 21257, 36916, 52575 ], 2506 level:= 4, 2507 next:= [ 5566, 5567, 5549, 5564, rec( 2508 fp:= [ 5907, 6545, 27224 ], 2509 next:= [ 5551, 5565, 5550 ] ) ] ), rec( 2510 fp:= [ 1782, 31184 ], 2511 level:= 5, 2512 next:= [ 2005, rec( 2513 desc:= [ 107003 ], 2514 fp:= [ 4, 14 ], 2515 next:= [ 2004, 2003 ] ) ] ), 4, rec( 2516 fp:= [ 82160, 94560 ], 2517 next:= [ rec( 2518 fp:= [ 9063, 28950, 48837, 88837 ], 2519 next:= [ rec( 2520 fp:= [ 56410, 78054 ], 2521 next:= [ 858, 867 ] ), 870, 842, 881 ] ), rec( 2522 fp:= [ 21037, 63465 ], 2523 level:= 5, 2524 next:= [ 940, 939 ] ) ] ), rec( 2525 fp:= [ 24786, 33753, 34660, 52237, 86226, 87042, 94207, 98686 ], 2526 level:= 4, 2527 next:= [ 5140, 948, 2014, 949, 5130, 2047, 1194, 1246 ] ), 5478, rec( 2528 fp:= [ 35480, 91241 ], 2529 next:= [ rec( 2530 fp:= [ 64787, 86180 ], 2531 next:= [ rec( 2532 fp:= [ 1378, 4158, 4434, 53749 ], 2533 next:= [ 3885, 3880, 3879, 3886 ] ), rec( 2534 fp:= [ 69646, 93733 ], 2535 next:= [ 4119, 4076 ] ) ] ), rec( 2536 fp:= [ 26039, 28133, 30018, 35373, 56357, 58242, 65482, 86466, 95591, 253799570 ], 2538 next:= [ 4002, rec( 2539 fp:= [ 48204, 69534 ], 2540 next:= [ 4088, 3704 ] ), rec( 2541 fp:= [ 50889, 92865 ], 2542 next:= [ 3813, 3665 ] ), 4185, rec( 2543 fp:= [ 16909, 74554 ], 2544 next:= [ 3697, 4078 ] ), rec( 2545 fp:= [ 14960, 16165, 59005 ], 2546 next:= [ 3811, 3664, 3812 ] ), 3989, rec( 2547 fp:= [ 4445, 38027 ], 2548 next:= [ 3809, 3657 ] ), rec( 2549 fp:= [ 32998, 84065 ], 2550 next:= [ 3904, 3902 ] ), rec( 2551 fp:= [ 81964, 90559 ], 2552 next:= [ 3703, 4087 ] ) ] ) ] ), 180, rec( 2553 fp:= [ 1216, 14149, 22595, 30135, 36364, 40636, 42521, 63714, 64565, 255469369, 72105, 77577, 96236 ], 2555 level:= 4, 2556 next:= [ 4501, 8364, 2940, 2202, 5675, 2934, 2198, 2535, 4679, 2539, 25574265, 5645, 5604 ] ), rec( 2558 fp:= [ 6468, 22073, 90524 ], 2559 level:= 4, 2560 next:= [ 178, 177, 179 ] ), rec( 2561 fp:= [ 7030, 62791, 96691 ], 2562 next:= [ rec( 2563 fp:= [ 638, 64835 ], 2564 next:= [ 1087, 1128 ] ), rec( 2565 fp:= [ 56357, 95591 ], 2566 next:= [ 1176, 1150 ] ), rec( 2567 desc:= [ 108005 ], 2568 fp:= [ 8, 18 ], 2569 next:= [ 1080, 1081 ] ) ] ), rec( 2570 fp:= [ 852, 16511, 25585, 92488 ], 2571 level:= 4, 2572 next:= [ 5562, 5563, 8673, 5603 ] ), rec( 2573 fp:= [ 53362, 87262 ], 2574 next:= [ rec( 2575 fp:= [ 7181, 12677, 13961, 21877, 41494, 49410, 86089, 94005 ], 2576 next:= [ rec( 2577 desc:= [ 107003 ], 2578 fp:= [ 8, 414 ], 2579 next:= [ 5451, 5450 ] ), rec( 2580 desc:= [ 106003 ], 2581 fp:= [ 10, 20, 614, 812 ], 2582 next:= [ 5432, 5435, rec( 2583 desc:= [ 108003, 302005, 207003, 304007, 211004 ], 2584 fp:= [ 4, 14 ], 2585 next:= [ 5430, 5437 ] ), rec( 2586 desc:= [ 108003 ], 2587 fp:= [ 8, 414 ], 2588 next:= [ 5427, 5436 ] ) ] ), rec( 2589 fp:= [ 53833, 76646, 81432 ], 2590 next:= [ 5282, rec( 2591 desc:= [ 106003 ], 2592 fp:= [ 2, 12 ], 2593 next:= [ 5280, 5285 ] ), 5281 ] ), rec( 2594 fp:= [ 53817, 68195 ], 2595 next:= [ 5397, 5396 ] ), rec( 2596 fp:= [ 36250, 49498, 57993 ], 2597 next:= [ 5335, 5287, rec( 2598 desc:= [ 106003 ], 2599 fp:= [ 2, 12 ], 2600 next:= [ 5336, 5289 ] ) ] ), 5394, rec( 2601 fp:= [ 34361, 91376 ], 2602 next:= [ rec( 2603 desc:= [ 107003 ], 2604 fp:= [ 4, 14, 212 ], 2605 next:= [ 5294, 5223, 5220 ] ), rec( 2606 desc:= [ 107003 ], 2607 fp:= [ 20, 614, 812 ], 2608 next:= [ 5295, 5292, rec( 2609 desc:= [ 106003 ], 2610 fp:= [ 8, 414 ], 2611 next:= [ 5226, 5224 ] ) ] ) ] ), rec( 2612 fp:= [ 54841, 99542 ], 2613 next:= [ rec( 2614 desc:= [ 109003 ], 2615 fp:= [ 4, 14 ], 2616 next:= [ 5370, 5367 ] ), 5398 ] ) ] ), rec( 2617 fp:= [ 6991, 11678, 13961, 14149, 21877, 41996, 54891, 93298, 98104 ], 2618 next:= [ 5414, rec( 2619 fp:= [ 32911, 77607 ], 2620 next:= [ 5196, 5197 ] ), rec( 2621 fp:= [ 4206, 65555 ], 2622 next:= [ 5228, 5227 ] ), rec( 2623 fp:= [ 17912, 78398 ], 2624 next:= [ 5422, 5421 ] ), rec( 2625 fp:= [ 84321, 84965 ], 2626 next:= [ 5371, 5372 ] ), rec( 2627 fp:= [ 59628, 66731 ], 2628 next:= [ 5165, 5164 ] ), rec( 2629 fp:= [ 7670, 35214, 37001, 71958, 80386 ], 2630 next:= [ 5195, 5191, 5190, 5189, 5193 ] ), rec( 2631 fp:= [ 13688, 32642 ], 2632 next:= [ 5209, 5210 ] ), rec( 2633 fp:= [ 66780, 75605 ], 2634 next:= [ 5192, 5194 ] ) ] ) ] ), rec( 2635 fp:= [ 81928, 81938, 96247 ], 2636 next:= [ rec( 2637 fp:= [ 53621, 93064 ], 2638 next:= [ 1319, 1318 ] ), 1344, 7430 ] ), rec( 2639 fp:= [ 10202, 44102, 94603 ], 2640 next:= [ rec( 2641 fp:= [ 15679, 57649, 63121, 69627 ], 2642 next:= [ rec( 2643 desc:= [ 108005 ], 2644 fp:= [ 16, 818 ], 2645 next:= [ 961, 960 ] ), rec( 2646 desc:= [ 106005 ], 2647 fp:= [ 8, 18 ], 2648 next:= [ 1202, 1203 ] ), rec( 2649 desc:= [ 107005 ], 2650 fp:= [ 4, 14 ], 2651 next:= [ 2051, 2050 ] ), 5133 ] ), rec( 2652 fp:= [ 13220, 15807, 24592, 25846, 42383, 49114, 52305, 68451, 84353 ], 2653 next:= [ 1209, 5145, 5137, 2017, 986, 985, 2030, 2057, 1250 ] ), rec( 2654 fp:= [ 1216, 14149, 22595, 36364, 40636, 64565, 77577 ], 2655 next:= [ 1272, 5149, 1038, 2089, 1037, 1298, 2063 ] ) ] ), rec( 2656 fp:= [ 14364, 26750, 56334, 80486, 98187 ], 2657 level:= 4, 2658 next:= [ 5056, 5055, 5515, 5524, 5063 ] ), rec( 2659 fp:= [ 6991, 14149, 41996, 54891, 93298 ], 2660 level:= 4, 2661 next:= [ 5413, 5420, 5163, 5188, 5208 ] ), rec( 2662 fp:= [ 7030, 96691 ], 2663 next:= [ rec( 2664 fp:= [ 638, 64787, 64835, 86180 ], 2665 next:= [ 1089, rec( 2666 fp:= [ 41633, 55637 ], 2667 next:= [ 1141, 1134 ] ), 1137, 1187 ] ), rec( 2668 fp:= [ 26039, 30018, 31400, 65482, 86466 ], 2669 next:= [ 1161, rec( 2670 fp:= [ 32847, 41462 ], 2671 next:= [ 1085, 1109 ] ), rec( 2672 fp:= [ 5525, 32589 ], 2673 next:= [ rec( 2674 desc:= [ 110003 ], 2675 fp:= [ 8, 414 ], 2676 next:= [ 1105, 1106 ] ), rec( 2677 desc:= [ 109003 ], 2678 fp:= [ 8, 414 ], 2679 next:= [ 1084, 1083 ] ) ] ), 1160, rec( 2680 fp:= [ 24503, 91213 ], 2681 next:= [ 1110, 1082 ] ) ] ) ] ), rec( 2682 fp:= [ 12921, 19427, 31010, 38485, 67508, 77118, 83849, 93716 ], 2683 level:= 4, 2684 next:= [ 6546, 8089, 8665, 8133, 8533, 6659, 6654, 8515 ] ), rec( 2685 fp:= [ 10202, 44102 ], 2686 next:= [ rec( 2687 fp:= [ 21012, 32584, 34247, 39235, 43876, 48703, 64682, 71691, 76332, 268877460, 91916, 97496 ], 2689 next:= [ 1919, 5037, rec( 2690 desc:= [ 113007 ], 2691 fp:= [ 4, 14, 212 ], 2692 next:= [ rec( 2693 desc:= [ 302004, 302006, 208002 ], 2694 fp:= [ 2, 12 ], 2695 next:= [ 1921, 1922 ] ), 1920, 1918 ] ), 5046, 1953, 1916, rec( 2696 desc:= [ 206002, 303006, 210003 ], 2697 fp:= [ 2, 12 ], 2698 next:= [ 5039, 5040 ] ), 5047, 1954, 1917, 1915, 5038 ] ), rec( 2699 fp:= [ 10003, 34247, 37536, 77460 ], 2700 next:= [ 1963, 1942, 1962, 1941 ] ) ] ), rec( 2701 fp:= [ 12013, 12159, 14402, 15816, 17600, 18059, 19473, 21716, 23187, 270226060, 32335, 38610, 58706, 63111, 64293, 64981, 66768, 69880, 70425, 70568, 270376155, 79028, 85303 ], 2704 level:= 4, 2705 next:= [ 473, 742, 740, 757, rec( 2706 fp:= [ 20884, 34636 ], 2707 next:= [ 475, 478 ] ), 755, 710, 708, 480, 467, rec( 2708 fp:= [ 38202, 66235 ], 2709 next:= [ 466, 465 ] ), 464, 474, 741, 477, 472, 756, 479, 709, 476, 2710481, 471, 470 ] ), 4857, rec( 2711 fp:= [ 53362, 87262 ], 2712 next:= [ rec( 2713 fp:= [ 11225, 25662, 30842, 52035, 70368, 72812, 78284, 83353, 94005 ], 2714 next:= [ rec( 2715 fp:= [ 11448, 22951, 44842, 61903, 98457 ], 2716 next:= [ 3247, 3250, 3243, 3119, 3158 ] ), rec( 2717 fp:= [ 47253, 87031 ], 2718 next:= [ rec( 2719 desc:= [ 302004 ], 2720 fp:= [ 483, 58261 ], 2721 next:= [ rec( 2722 desc:= [ 107003 ], 2723 fp:= [ 12, 814 ], 2724 next:= [ 4229, 4230 ] ), 4555 ] ), rec( 2725 desc:= [ 106003 ], 2726 fp:= [ 16, 1214 ], 2727 next:= [ rec( 2728 desc:= [ 105003 ], 2729 fp:= [ 8, 414 ], 2730 next:= [ 4513, 4515 ] ), 4512 ] ) ] ), rec( 2731 fp:= [ 16471, 69345, 88960 ], 2732 next:= [ 3582, 3587, 3577 ] ), rec( 2733 fp:= [ 16375, 33122, 38923, 69792 ], 2734 next:= [ 3170, 3142, 3252, 3115 ] ), rec( 2735 fp:= [ 7934, 91450 ], 2736 next:= [ rec( 2737 desc:= [ 106003 ], 2738 fp:= [ 4, 212 ], 2739 next:= [ 5615, 5616 ] ), 5639 ] ), rec( 2740 fp:= [ 16438, 19421, 35603 ], 2741 next:= [ 4789, 4790, 4522 ] ), rec( 2742 fp:= [ 11117, 64606, 94090 ], 2743 next:= [ 5691, 5692, 5627 ] ), rec( 2744 fp:= [ 5801, 18756, 32051 ], 2745 next:= [ rec( 2746 desc:= [ 302006 ], 2747 fp:= [ 544, 982 ], 2748 next:= [ rec( 2749 desc:= [ 107003 ], 2750 fp:= [ 16, 1214 ], 2751 next:= [ 3104, 3211 ] ), 3218 ] ), rec( 2752 desc:= [ 302007 ], 2753 fp:= [ 643, 74581 ], 2754 next:= [ rec( 2755 desc:= [ 209002 ], 2756 fp:= [ 8, 18, 414 ], 2757 next:= [ 3124, 3121, 3122 ] ), rec( 2758 desc:= [ 107003 ], 2759 fp:= [ 4, 14 ], 2760 next:= [ 3125, 3149 ] ) ] ), rec( 2761 desc:= [ 106003 ], 2762 fp:= [ 16, 1214 ], 2763 next:= [ rec( 2764 desc:= [ 302006 ], 2765 fp:= [ 544, 982 ], 2766 next:= [ 3134, rec( 2767 desc:= [ 106003 ], 2768 fp:= [ 4, 14 ], 2769 next:= [ 3139, 3156 ] ) ] ), 3123 ] ) ] ), rec( 2770 fp:= [ 34651, 40246, 80024 ], 2771 next:= [ 4244, 4247, 4519 ] ) ] ), rec( 2772 fp:= [ 1216, 22595, 30135, 36364, 40636, 42521, 63714, 64565, 69369, 277372105, 77577, 96236 ], 2774 next:= [ rec( 2775 fp:= [ 17085, 41618, 74610 ], 2776 next:= [ 4502, 4578, 4503 ] ), rec( 2777 fp:= [ 45656, 51913, 61575 ], 2778 next:= [ 2942, 2941, 2947 ] ), rec( 2779 fp:= [ 25193, 43000, 74585, 74964 ], 2780 next:= [ 2129, 2217, 2203, 2204 ] ), rec( 2781 fp:= [ 24114, 34768, 63644 ], 2782 next:= [ 5678, 5679, 5620 ] ), rec( 2783 fp:= [ 25890, 36542, 47417, 66516 ], 2784 next:= [ 2936, 2937, 2939, 2946 ] ), rec( 2785 fp:= [ 28477, 40950, 59125, 78544, 87205 ], 2786 next:= [ 2215, 2199, 2216, 2200, 2201 ] ), rec( 2787 fp:= [ 1645, 22334, 63936, 64043, 71390, 81011, 96995 ], 2788 next:= [ 2575, 2791, 2549, 2574, 2544, 2541, 2790 ] ), rec( 2789 fp:= [ 1067, 27766, 37224, 54552 ], 2790 next:= [ 4698, 4682, 4681, 4703 ] ), rec( 2791 fp:= [ 1849, 6911, 7399, 12401, 86249 ], 2792 next:= [ 2792, 2582, 2546, 2550, 2585 ] ), rec( 2793 fp:= [ 13221, 13569, 47443, 77615, 81515 ], 2794 next:= [ 4270, 4289, 4285, 4288, 4268 ] ), rec( 2795 fp:= [ 28002, 36241, 63146, 87281 ], 2796 next:= [ 5657, 5647, 5646, 5655 ] ), rec( 2797 fp:= [ 15025, 54797, 56805 ], 2798 next:= [ 5630, 5605, 5606 ] ) ] ) ] ), 4829, rec( 2799 fp:= [ 46519, 66110, 78555 ], 2800 next:= [ rec( 2801 fp:= [ 22453, 88692 ], 2802 next:= [ 1419, 1420 ] ), rec( 2803 fp:= [ 21128, 60902 ], 2804 next:= [ 158, 157 ] ), 1436 ] ), rec( 2805 fp:= [ 53075, 68335 ], 2806 next:= [ rec( 2807 fp:= [ 761, 6122, 33655 ], 2808 next:= [ 5500, rec( 2809 desc:= [ 106003 ], 2810 fp:= [ 2, 12 ], 2811 next:= [ 5479, 5480 ] ), 5481 ] ), rec( 2812 fp:= [ 42471, 49711 ], 2813 next:= [ 5468, 5477 ] ) ] ), rec( 2814 fp:= [ 53362, 87262 ], 2815 next:= [ rec( 2816 fp:= [ 7181, 12677, 13961, 21877, 41494, 49410, 69027, 86089, 94005 ], 2817 next:= [ rec( 2818 desc:= [ 304007 ], 2819 fp:= [ 263, 8541 ], 2820 next:= [ 5449, rec( 2821 desc:= [ 108003, 208004 ], 2822 fp:= [ 6, 16 ], 2823 next:= [ 5448, 5452 ] ) ] ), rec( 2824 desc:= [ 106003 ], 2825 fp:= [ 221, 617, 1013 ], 2826 next:= [ 5438, 5434, 5433 ] ), rec( 2827 desc:= [ 107003 ], 2828 fp:= [ 6, 214, 412 ], 2829 next:= [ rec( 2830 desc:= [ 108003 ], 2831 fp:= [ 15, 411 ], 2832 next:= [ 5290, 5286 ] ), 5284, 5288 ] ), 5395, rec( 2833 desc:= [ 107003 ], 2834 fp:= [ 4, 212 ], 2835 next:= [ 5338, 5283 ] ), 5412, 5337, rec( 2836 desc:= [ 106003 ], 2837 fp:= [ 216, 414, 612 ], 2838 next:= [ 5293, 5222, rec( 2839 desc:= [ 108003 ], 2840 fp:= [ 15, 411 ], 2841 next:= [ 5221, 5225 ] ) ] ), 5368 ] ), rec( 2842 fp:= [ 25835, 37536, 65069, 97963 ], 2843 next:= [ 5296, 5400, 5399, 5297 ] ) ] ), rec( 2844 fp:= [ 66100, 66110, 78555 ], 2845 next:= [ rec( 2846 fp:= [ 9063, 48837 ], 2847 next:= [ 130, 129 ] ), 155, 1435 ] ), rec( 2848 fp:= [ 1053, 10235, 17934, 18722, 45467, 58744 ], 2849 level:= 4, 2850 next:= [ 8455, 8473, 8344, 8311, 8348, 8346 ] ), rec( 2851 fp:= [ 54001, 77935 ], 2852 level:= 4, 2853 next:= [ 1988, 1984 ] ), rec( 2854 fp:= [ 20765, 46547 ], 2855 level:= 4, 2856 next:= [ 461, 658 ] ), rec( 2857 fp:= [ 36771, 87272 ], 2858 next:= [ rec( 2859 fp:= [ 20765, 46547 ], 2860 next:= [ rec( 2861 fp:= [ 17801, 19725, 69530, 96227 ], 2862 next:= [ 463, 462, 468, 469 ] ), rec( 2863 fp:= [ 76245, 98044 ], 2864 next:= [ 659, 702 ] ) ] ), rec( 2865 fp:= [ 1787, 3166, 8651, 12847, 28538, 50928, 52307, 76930, 92621, 286696817 ], 2867 next:= [ 569, 582, rec( 2868 fp:= [ 39793, 75025 ], 2869 next:= [ 240, 390 ] ), rec( 2870 fp:= [ 27750, 70268 ], 2871 next:= [ 672, 289 ] ), rec( 2872 fp:= [ 5629, 93672 ], 2873 next:= [ 662, 280 ] ), 768, rec( 2874 fp:= [ 870, 73704 ], 2875 next:= [ 485, 487 ] ), rec( 2876 fp:= [ 32308, 70436 ], 2877 next:= [ 250, 400 ] ), rec( 2878 fp:= [ 16359, 25459, 91533 ], 2879 next:= [ 399, 398, 249 ] ), rec( 2880 fp:= [ 35113, 77563 ], 2881 next:= [ 671, 288 ] ) ] ) ] ), rec( 2882 fp:= [ 74969, 81151, 82160 ], 2883 next:= [ 4994, rec( 2884 fp:= [ 12761, 29472, 46183, 62894 ], 2885 next:= [ rec( 2886 desc:= [ 104003 ], 2887 fp:= [ 12, 22, 814 ], 2888 next:= [ rec( 2889 desc:= [ 105003 ], 2890 fp:= [ 8, 414 ], 2891 next:= [ 819, 823 ] ), 820, rec( 2892 desc:= [ 106003 ], 2893 fp:= [ 8, 414 ], 2894 next:= [ 818, rec( 2895 desc:= [ 302004, 207002 ], 2896 fp:= [ 4, 14 ], 2897 next:= [ 825, 827 ] ) ] ) ] ), rec( 2898 fp:= [ 28251, 96229 ], 2899 next:= [ rec( 2900 desc:= [ 105003 ], 2901 fp:= [ 8, 414 ], 2902 next:= [ rec( 2903 desc:= [ 106003 ], 2904 fp:= [ 8, 414 ], 2905 next:= [ 817, 821 ] ), 816 ] ), 824 ] ), rec( 2906 fp:= [ 86356, 87238 ], 2907 next:= [ 822, 826 ] ), 815 ] ), rec( 2908 fp:= [ 9063, 28950, 29472, 46183, 48837, 88611, 88837 ], 2909 next:= [ rec( 2910 fp:= [ 14628, 50480, 90618, 97124 ], 2911 next:= [ rec( 2912 desc:= [ 106003 ], 2913 fp:= [ 416, 812 ], 2914 next:= [ 859, 868 ] ), 860, 869, 848 ] ), rec( 2915 fp:= [ 42847, 93433 ], 2916 next:= [ 872, 871 ] ), 846, 845, rec( 2917 fp:= [ 26734, 51418, 85045 ], 2918 next:= [ 843, 849, 844 ] ), 847, 882 ] ) ] ), rec( 2919 fp:= [ 2130, 67468 ], 2920 level:= 4, 2921 next:= [ 187, 4993 ] ), rec( 2922 fp:= [ 66100, 66110 ], 2923 next:= [ rec( 2924 fp:= [ 1241, 28950, 41015, 68724, 88837 ], 2925 next:= [ 134, 135, 133, 137, rec( 2926 desc:= [ 302006 ], 2927 fp:= [ 182, 361 ], 2928 next:= [ 136, rec( 2929 desc:= [ 205002 ], 2930 fp:= [ 14, 212 ], 2931 next:= [ 139, 138 ] ) ] ) ] ), rec( 2932 fp:= [ 28950, 70947, 87658, 88837 ], 2933 next:= [ 161, 160, 159, 162 ] ) ] ) ] ); 2934