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