Lines Matching refs:next

6 ID_GROUP_TREE.next[640]:=
21   next:= [ 19081, 21285, rec(
24     next:= [ 21128, 21195, 21475, 21499 ] ), 18546, rec(
27     next:= [ 565, 159, 715, 4 ] ), rec(
30     next:= [ 19101, 19102 ] ), rec(
33     next:= [ 5849, 5853, rec(
35       next:= [ 5852, 5850 ] ), 5854, 5851 ] ), rec(
38     next:= [ 563, 562, 564 ] ), rec(
40     next:= [ rec(
42       next:= [ 566, 160, 716, 5 ] ), rec(
44       next:= [ 163, 736, 737, 82, 376, 618, 167, 840 ] ) ] ), rec(
47     next:= [ 535, 538, 537, 536 ] ),, rec(
50     next:= [ 17535, 15811, 19473, 19536 ] ), rec(
53     next:= [ 9, 593, 717, 70 ] ), rec(
57     next:= [ 33, 346, 653, 115, 658, 111, 35, 345, rec(
59       next:= [ 36, 123 ] ), 918, 344, 916, 917, 657, 915, 654, rec(
61       next:= [ 119, 34 ] ), 343 ] ), rec(
64     next:= [ 21197, 19655, 21478 ] ), rec(
67     next:= [ rec(
69       next:= [ 18615, 18618, 18627 ] ), rec(
71       next:= [ 18567, 18570 ] ), rec(
73       next:= [ 18578, 18623, 18572, 18569, 18576, rec(
76         next:= [ 18573, 18577 ] ), 18621 ] ), rec(
78       next:= [ 18624, rec(
81         next:= [ 18590, 18589 ] ), rec(
84         next:= [ 18587, 18571 ] ), 18622, 18588, 18586, rec(
87         next:= [ rec(
90           next:= [ 18585, 18584 ] ), 18568 ] ) ] ), rec(
92       next:= [ 18591, 18592, 18593 ] ), rec(
94       next:= [ 18574, 18619, 18625, 18613 ] ), rec(
96       next:= [ 18620, 18617, 18575, 18616, rec(
99         next:= [ 18628, rec(
102           next:= [ 18629, 18626 ] ) ] ), 18614 ] ), rec(
104       next:= [ 18632, 18630, 18633, 18631, 18634 ] ) ] ), rec(
106     next:= [ rec(
108       next:= [ rec(
110         next:= [ 17943, 17945, 17950 ] ), rec(
112         next:= [ 17948, 17952 ] ), rec(
114         next:= [ rec(
117           next:= [ 17944, 17946 ] ), 17951, 17947 ] ), rec(
119         next:= [ 17949, 17953 ] ) ] ), rec(
122       next:= [ 18548, rec(
125         next:= [ 18552, 18550 ] ), 18549, 18551, 18547 ] ) ] ), rec(
128     next:= [ 19099, 19098, 21455, 21454 ] ), 17942, rec(
131     next:= [ 15864, 19122, 7125 ] ), 19103, rec(
135     next:= [ 5771, rec(
137       next:= [ 5726, 5730 ] ), 5736, rec(
139       next:= [ rec(
142         next:= [ 5749, 5731 ] ), rec(
145         next:= [ rec(
148           next:= [ 5746, 5747 ] ), 5727 ] ), 5748 ] ), rec(
150       next:= [ 5765, 5763 ] ), rec(
152       next:= [ rec(
155         next:= [ 5744, 5737 ] ), 5745 ] ), rec(
157       next:= [ 5769, 5768 ] ), rec(
159       next:= [ 5750, 5751 ] ), 5770, rec(
161       next:= [ 5728, 5735, rec(
164         next:= [ 5729, 5734 ] ) ] ), rec(
166       next:= [ 5762, 5767 ] ), rec(
168       next:= [ rec(
171         next:= [ 5738, 5733 ] ), 5732 ] ), rec(
173       next:= [ 5764, 5766 ] ) ] ), rec(
175     next:= [ rec(
177       next:= [ rec(
179         next:= [ rec(
182           next:= [ rec(
185             next:= [ 5365, 5364 ] ), 5351 ] ), rec(
188           next:= [ 5366, 5353 ] ) ] ), rec(
190         next:= [ 5337, 5363, 5362 ] ), rec(
192         next:= [ 5368, 5367 ] ), rec(
194         next:= [ 5348, 5326, 5322, 5349, rec(
197           next:= [ 5320, 5323 ] ), 5325, 5324 ] ), rec(
199         next:= [ 5355, 5354 ] ), rec(
201         next:= [ 5327, rec(
204           next:= [ 5321, 5328 ] ) ] ), rec(
206         next:= [ 5352, 5350 ] ) ] ), rec(
209       next:= [ 5700, 5699 ] ) ] ), rec(
212     next:= [ rec(
214       next:= [ 519, 517, 513 ] ), rec(
216       next:= [ 515, rec(
219         next:= [ 520, 516 ] ), 522 ] ), rec(
221       next:= [ 514, rec(
224         next:= [ 518, 521 ] ) ] ) ] ), rec(
227     next:= [ 558, 552, 550, rec(
230       next:= [ 559, 553 ] ), 548, 551, rec(
233       next:= [ rec(
236         next:= [ 556, 557 ] ), 549 ] ) ] ), rec(
238     next:= [ rec(
241       next:= [ rec(
243         next:= [ 19253, 19254 ] ), rec(
245         next:= [ 15895, 17837, 17836, 15896 ] ), rec(
247         next:= [ 16129, 16130 ] ), rec(
249         next:= [ rec(
252           next:= [ 7246, 16035 ] ), 15957, rec(
255           next:= [ rec(
258             next:= [ 7132, 7134 ] ), 15956 ] ), 15869, rec(
261           next:= [ 7248, 16036 ] ), rec(
264           next:= [ rec(
267             next:= [ 15865, 15867 ] ), 15868 ] ) ] ), rec(
269         next:= [ rec(
272           next:= [ 16262, 7428 ] ), 7111, rec(
275           next:= [ 7196, 16263, 7429 ] ) ] ), rec(
277         next:= [ rec(
280           next:= [ 19123, 19124 ] ), 19209, 19179, 19180, 19208, 
283         next:= [ 19289, 19290 ] ), rec(
285         next:= [ 7175, 7373, 15866, 7372, 7133 ] ), rec(
287         next:= [ 7110, 7427, rec(
290           next:= [ 7564, 7225 ] ) ] ), rec(
292         next:= [ 7247, 7135, 15870, 7249 ] ), rec(
294         next:= [ rec(
297           next:= [ 7224, 7562 ] ), rec(
300           next:= [ 7195, 7426 ] ), 7563, 7109 ] ), rec(
302         next:= [ 19558, 19148, 19559, 19149 ] ) ] ), rec(
304       next:= [ rec(
306         next:= [ 19489, 19488, 19477, 19497, 19496, 19478, 19487 ] ), rec(
309         next:= [ rec(
312           next:= [ 12363, 12361 ] ), 12326, 12298, rec(
315           next:= [ 12329, 12327 ] ), 12299, 12296, 12263, 12264, 12265, 
318         next:= [ 16323, 15856, 16014, 16015, 15857, 16324 ] ), rec(
320         next:= [ 17559, 17560, 17594, 17558, 17538, 17595, 17539 ] ), rec(
322         next:= [ 19132, 19542, 19541, 19131 ] ), rec(
324         next:= [ 19218, 19217 ] ), rec(
326         next:= [ 19156, 19188, 19106, 19107, 19108, 19187, 19155 ] ), rec(
328         next:= [ 19265, 19266 ] ) ] ) ] ), rec(
331     next:= [ 19104, 19100 ] ), 560, rec(
334     next:= [ 19476, 12262, 15855, 17537, 19540, 19105 ] ), rec(
336     next:= [ rec(
338       next:= [ 5028, rec(
341         next:= [ 5030, 5029 ] ), rec(
344         next:= [ 5033, rec(
347           next:= [ 5032, 5035 ] ), 5031, rec(
350           next:= [ 5036, 5034 ] ) ] ) ] ), rec(
353       next:= [ rec(
355         next:= [ rec(
358           next:= [ 5588, rec(
361             next:= [ 5587, 5556 ] ) ] ), rec(
364           next:= [ 5430, 5422, 5433, rec(
367             next:= [ 5575, 5507 ] ), 5530 ] ), 5391, 5420 ] ), 5373, 
370         next:= [ rec(
373           next:= [ 5380, 5479 ] ), 5488 ] ), rec(
375         next:= [ 5375, 5490, 5381, 5504, 5370 ] ), rec(
377         next:= [ 5503, 5409, 5554, 5372 ] ), rec(
379         next:= [ 5489, 5389, 5418, rec(
382           next:= [ 5457, 5480 ] ) ] ), rec(
385         next:= [ 5410, 5586 ] ), rec(
387         next:= [ 5412, rec(
390           next:= [ 5374, 5411 ] ), 5491, rec(
393           next:= [ 5408, 5388, 5514, 5441 ] ), 5458, 5505 ] ), 5555, rec(
395         next:= [ 5481, rec(
398           next:= [ 5545, 5460 ] ), 5557, 5419, 5390 ] ) ] ), rec(
400       next:= [ rec(
402         next:= [ 5060, 5057 ] ), rec(
404         next:= [ 5061, 5052 ] ), rec(
406         next:= [ 5063, 5054, 5053, 5062 ] ), rec(
408         next:= [ 5059, 5058, rec(
411           next:= [ 5056, 5055 ] ) ] ) ] ), rec(
413       next:= [ rec(
415         next:= [ 5712, 5711 ] ), 5713, 5708, rec(
417         next:= [ 5709, 5710 ] ) ] ) ] ), 529, rec(
420     next:= [ 2261, 6251, 5918, 2622 ] ), 443, rec(
424     next:= [ 17, 254, rec(
427       next:= [ 200, 209 ] ), 106, rec(
430       next:= [ 18, rec(
433         next:= [ 19, 20 ] ) ] ), 195, 809, 845, rec(
435       next:= [ rec(
438         next:= [ 901, 902 ] ), rec(
441         next:= [ 785, 786 ] ) ] ), 103, 865, 784, 919, 900, 292 ] ), rec(
444     next:= [ 21466, 21536, 21458 ] ), rec(
448     next:= [ 21, rec(
451       next:= [ 221, 223, 225 ] ), 220, rec(
454       next:= [ 23, rec(
457         next:= [ 22, 24 ] ) ] ), rec(
459       next:= [ rec(
462         next:= [ 222, rec(
465           next:= [ 224, 219 ] ) ] ), rec(
468         next:= [ 64, rec(
471           next:= [ 63, 65 ] ) ] ) ] ), 218, 62, rec(
474       next:= [ 29, 66 ] ), rec(
477       next:= [ rec(
480         next:= [ 584, rec(
483           next:= [ 582, 583 ] ) ] ), 912, rec(
486         next:= [ 801, 800 ] ) ] ), 908, 581, rec(
489       next:= [ rec(
492         next:= [ 911, rec(
495           next:= [ 798, 799 ] ) ] ), 580, rec(
498         next:= [ 578, 579 ] ) ] ), rec(
501       next:= [ rec(
504         next:= [ 32, 69 ] ), rec(
507         next:= [ 30, 67 ] ), rec(
510         next:= [ 31, 68 ] ) ] ), 907, 577 ] ), rec(
512     next:= [ 5022, rec(
515       next:= [ 5315, 5316 ] ) ] ), rec(
518     next:= [ 6175, 4270, 2239, 6763 ] ), rec(
520     next:= [ rec(
522       next:= [ rec(
525         next:= [ 441, 442, 440 ] ), 437, rec(
528         next:= [ 439, 438 ] ) ] ), rec(
530       next:= [ 524, 525, 523 ] ) ] ), rec(
532     next:= [ rec(
534       next:= [ rec(
536         next:= [ 18659, 18635 ] ), 18553, rec(
538         next:= [ 18594, 18665, 18641, 18579 ] ), rec(
540         next:= [ 18649, 18603 ] ) ] ), rec(
543       next:= [ 19084, 19083, 19082 ] ) ] ), rec(
545     next:= [ rec(
548       next:= [ rec(
550         next:= [ 5585, 5584, 5576, rec(
553           next:= [ rec(
556             next:= [ 5523, rec(
559               next:= [ rec(
562                 next:= [ 5581, 5531 ] ), 5425 ] ) ] ), rec(
565             next:= [ rec(
568               next:= [ 5424, rec(
571                 next:= [ rec(
574                   next:= [ 5546, 5580 ] ), rec(
577                   next:= [ 5559, 5532 ] ) ] ) ] ), 5434, 5436 ] ), 
581           next:= [ 5525, rec(
584             next:= [ rec(
587               next:= [ 5533, 5582 ] ), rec(
590               next:= [ rec(
593                 next:= [ 5561, 5550 ] ), 5426 ] ), rec(
596               next:= [ 5534, 5583 ] ) ] ), 5437 ] ), rec(
599           next:= [ 5476, 5447 ] ), rec(
602           next:= [ rec(
605             next:= [ rec(
608               next:= [ rec(
611                 next:= [ 5517, 5509 ] ), 5510 ] ), rec(
614               next:= [ 5511, rec(
617                 next:= [ 5518, 5508 ] ) ] ) ] ), rec(
620             next:= [ 5393, 5395 ] ), rec(
623             next:= [ 5455, rec(
626               next:= [ 5453, 5468 ] ) ] ), rec(
629             next:= [ rec(
632               next:= [ 5579, rec(
635                 next:= [ 5577, rec(
638                   next:= [ 5571, 5578 ] ), 5537 ] ) ] ), 5538, 
641         next:= [ 5512, 5536, 5535, 5431, 5423, rec(
644           next:= [ rec(
647             next:= [ 5542, 5541 ] ), 5569, 5520 ] ) ] ), rec(
649         next:= [ rec(
652           next:= [ 5427, 5438 ] ), rec(
655           next:= [ 5428, 5439 ] ), 5543, 5540 ] ), 5376, rec(
658         next:= [ 5378, 5473, 5384, rec(
661           next:= [ 5501, 5494 ] ), 5464, 5465, 5483, 5500, 5379, 
664         next:= [ 5497, 5493 ] ), rec(
667         next:= [ rec(
670           next:= [ 5502, 5495 ] ), 5416, rec(
673           next:= [ rec(
676             next:= [ 5398, 5482 ] ), 5397 ] ), rec(
679           next:= [ 5399, 5484 ] ), 5402, rec(
682           next:= [ 5449, rec(
685             next:= [ 5450, 5472 ] ) ] ), rec(
688           next:= [ rec(
691             next:= [ 5415, 5444 ] ), 5463 ] ), rec(
694           next:= [ 5377, rec(
697             next:= [ rec(
700               next:= [ rec(
703                 next:= [ 5413, 5414 ] ), 5443 ] ), rec(
706               next:= [ 5442, 5462 ] ) ] ) ] ), 5499, 5417, 5396 ] ), rec(
708         next:= [ 5522, 5456, 5404, 5527, 5451, 5519, 5528, 5492, rec(
711           next:= [ 5498, rec(
714             next:= [ 5406, 5405 ] ) ] ) ] ), rec(
716         next:= [ 5401, 5400, 5403, 5448, 5445 ] ), rec(
718         next:= [ 5572, 5477, 5469, 5382, rec(
721           next:= [ 5547, 5560 ] ), rec(
724           next:= [ 5562, 5551 ] ), 5385 ] ), 5568, rec(
727         next:= [ 5552, rec(
730           next:= [ rec(
733             next:= [ 5446, 5475 ] ), 5383 ] ), rec(
736           next:= [ 5526, rec(
739             next:= [ 5563, 5549 ] ) ] ), 5496, 5461, rec(
742           next:= [ rec(
745             next:= [ 5515, 5516 ] ), 5470, 5573 ] ), 5487, 5553, 5386, 5474, 
749           next:= [ rec(
752             next:= [ rec(
755               next:= [ 5467, 5454 ] ), 5452 ] ), rec(
758             next:= [ 5392, 5394 ] ) ] ), 5566, rec(
761           next:= [ rec(
764             next:= [ 5548, 5524 ] ), 5558 ] ), 5570 ] ), rec(
766         next:= [ rec(
769           next:= [ 5521, 5567 ] ), 5471, 5466, 5564, 5565 ] ) ] ), rec(
772       next:= [ rec(
774         next:= [ 5105, 5108, 5096, 5093 ] ), rec(
777         next:= [ 5144, rec(
780           next:= [ rec(
783             next:= [ 5136, rec(
786               next:= [ 5139, 5138 ] ) ] ), 5140, 5142, rec(
789             next:= [ 5121, 5118 ] ) ] ), rec(
792           next:= [ 5132, 5071 ] ), rec(
795           next:= [ 5124, rec(
798             next:= [ 5148, 5146 ] ) ] ), rec(
801           next:= [ 5134, 5116, 5075 ] ), rec(
804           next:= [ 5077, 5081 ] ), rec(
807           next:= [ 5113, rec(
810             next:= [ 5131, 5129 ] ) ] ), 5087, rec(
813           next:= [ 5151, 5149, 5127 ] ), 5083 ] ), rec(
815         next:= [ rec(
818           next:= [ 5164, 5162 ] ), rec(
821           next:= [ 5157, 5156, 5158 ] ), 5159, rec(
824           next:= [ 5161, 5160, 5163 ] ) ] ), rec(
826         next:= [ rec(
829           next:= [ 5178, 5173 ] ), 5182, 5180, rec(
832           next:= [ 5175, 5172 ] ) ] ), rec(
834         next:= [ 5100, 5097, 5109, 5088 ] ), rec(
836         next:= [ 5102, 5090, 5098, 5101, 5111, 5110, 5089, 5099 ] ), rec(
838         next:= [ rec(
841           next:= [ 5114, 5073 ] ), 5122, 5072, 5084, 5119, 5125, 5085, rec(
844           next:= [ 5079, 5078 ] ) ] ), rec(
846         next:= [ rec(
849           next:= [ 5176, 5171 ] ), 5179, 5184 ] ), rec(
851         next:= [ 5128, 5145, 5135 ] ), rec(
853         next:= [ rec(
856           next:= [ 5177, 5174 ] ), 5183, 5181 ] ), rec(
858         next:= [ 5103, 5094, 5091, 5106, 5107, 5095, 5104, 5092 ] ), rec(
861         next:= [ rec(
864           next:= [ 5076, 5080 ] ), 5123, rec(
867           next:= [ 5150, 5147, 5126 ] ), rec(
870           next:= [ 5137, 5141, rec(
873             next:= [ 5120, 5117 ] ) ] ), 5086, 5082, 5143, rec(
876           next:= [ 5130, 5070 ] ), 5112, rec(
879           next:= [ 5133, 5115, 5074 ] ) ] ) ] ), rec(
881       next:= [ 5721, 5714, 5724, rec(
883         next:= [ 5718, 5717 ] ), rec(
885         next:= [ 5715, 5716 ] ), rec(
887         next:= [ 5755, 5756 ] ), 5719, rec(
889         next:= [ 5723, 5725 ] ), rec(
891         next:= [ 5722, 5720 ] ) ] ) ] ), rec(
901     next:= [ rec(
903       next:= [ 12373, 12338 ] ), 19641, rec(
905       next:= [ 19515, 19516, 19514 ] ), rec(
907       next:= [ 13534, 13530, 13645, 13641 ] ), rec(
909       next:= [ 19564, 19563 ] ), rec(
911       next:= [ rec(
914         next:= [ 12949, 12919 ] ), rec(
917         next:= [ 12948, 12585 ] ), 12978, 12603, rec(
920         next:= [ 12916, 12583 ] ), 12770, 12760, 12981, 12979 ] ), rec(
922       next:= [ 19484, 19492, 19493, rec(
925         next:= [ 19483, 19482 ] ), rec(
928         next:= [ 19501, 19500 ] ) ] ), rec(
930       next:= [ 17630, rec(
933         next:= [ 17581, 17591 ] ), 17590, 17552, 17580 ] ), rec(
935       next:= [ 12792, 12793, 12791, 12803, 12802 ] ), rec(
937       next:= [ rec(
940         next:= [ 13463, 13462 ] ), 13457, 13585, 13456, rec(
943         next:= [ 13591, 13590 ] ), 13584 ] ), rec(
945       next:= [ 13070, 13061, 13062, 13071, 13060 ] ), rec(
947       next:= [ 17634, 17635, 17636 ] ), rec(
949       next:= [ 12632, rec(
952         next:= [ 12681, 12682 ] ), 12631, 12645, 12696 ] ), rec(
954       next:= [ 19481, rec(
957         next:= [ 19499, 19498 ] ), rec(
960         next:= [ 19480, 19479 ] ), 19491, 19490 ] ), rec(
962       next:= [ 17721, 17813, 17722, 17723, 17812 ] ), rec(
964       next:= [ 19529, 19528 ] ), rec(
966       next:= [ 13398, 13677, 13681, 13402 ] ), rec(
968       next:= [ 17566, 17548, 17623, 17602, rec(
971         next:= [ 17567, 17572 ] ) ] ), rec(
973       next:= [ 17710, rec(
976         next:= [ 17711, 17712 ] ), 17656, 17709, rec(
979         next:= [ 12536, 17654 ] ), 12729, rec(
982         next:= [ 12537, 17655 ] ) ] ), rec(
984       next:= [ 12384, 12349 ] ), rec(
986       next:= [ 13644, 13529, 13640, 13533 ] ), rec(
988       next:= [ 12553, 12736, 12551 ] ), rec(
990       next:= [ 12374, 12272, 12306 ] ), rec(
992       next:= [ rec(
995         next:= [ 12917, 17686, 12586 ] ), 12982, 17687, 12761, rec(
998         next:= [ 12947, 17685, 12584 ] ) ] ), rec(
1000       next:= [ rec(
1003         next:= [ 17598, 17597 ] ), 17565, 17544, rec(
1006         next:= [ 17564, 17587 ] ), rec(
1009         next:= [ rec(
1012           next:= [ 17542, 17556 ] ), 17543 ] ) ] ), rec(
1014       next:= [ 16239, 16238, 16362 ] ), rec(
1016       next:= [ 19532, 19533 ] ), rec(
1018       next:= [ 13012, 12600, 12769, 12602, 13014 ] ), rec(
1020       next:= [ rec(
1023         next:= [ 15947, 17869 ] ), rec(
1026         next:= [ 16375, 16374 ] ), 16384, 16020, 16018, rec(
1029         next:= [ 17868, rec(
1032           next:= [ rec(
1035             next:= [ 15946, 15953 ] ), 15945 ] ) ] ), rec(
1038         next:= [ 16019, 16031 ] ), 16345 ] ), 17610, rec(
1040       next:= [ 16360, 16240 ] ), rec(
1042       next:= [ 16103, 17924, 16356, 16125 ] ), rec(
1044       next:= [ 13588, 13586, 13460, 13458 ] ), rec(
1046       next:= [ rec(
1049         next:= [ 16370, 16371 ] ), 16318, 16319, 16383 ] ), rec(
1051       next:= [ 16361, 16237, 16251 ] ), rec(
1053       next:= [ 17884, 17883, 17890, rec(
1056         next:= [ 17891, 17885 ] ), 17933 ] ), rec(
1059       next:= [ 12679, 12633, 12795, 12804, 12796, 12794, 12642, 12805, 12693, 
1062       next:= [ 16105, 16350 ] ), rec(
1064       next:= [ 16349, 16377, rec(
1067         next:= [ 16034, 16026 ] ), 15863, 15949, 16024, 16337 ] ), 17912, rec(
1069       next:= [ 13678, 13399, 13400, 13679 ] ), rec(
1071       next:= [ 12393, 12318, 12354, 12392, 12289 ] ), rec(
1073       next:= [ 16104, 16102, 16351 ] ), rec(
1075       next:= [ 17847, 17848 ] ), rec(
1077       next:= [ 19502, 19504, 19503 ] ), 16376, rec(
1079       next:= [ 12554, 12539, 12737, 12552, 12727 ] ), rec(
1081       next:= [ 13710, 13703, 13712, 13701, 13711, 13709, 13700, 
1084       next:= [ 12273, 12307, 12284, rec(
1087         next:= [ rec(
1090           next:= [ 12387, 12385 ] ), 12375 ] ), 12305 ] ), rec(
1092       next:= [ 19517, 19519, 19518 ] ), rec(
1094       next:= [ 13643, 13531, 13532, 13642 ] ), rec(
1096       next:= [ 17625, 17605, 17603, 17604, 17624 ] ), rec(
1098       next:= [ 16025, 15948 ] ), rec(
1100       next:= [ 19534, 19535 ] ), rec(
1102       next:= [ 17742, 17743 ] ), rec(
1105       next:= [ rec(
1108         next:= [ 12992, 12991 ] ), 12587, rec(
1111         next:= [ 13020, 12768 ] ), 13015, 12989, rec(
1114         next:= [ rec(
1117           next:= [ 12958, 12928 ] ), 12601 ] ), rec(
1120         next:= [ 13013, 12759 ] ), 13021, 12990, rec(
1123         next:= [ rec(
1126           next:= [ 12956, 12926 ] ), 12599 ] ), rec(
1129         next:= [ 12957, 12927 ] ), rec(
1132         next:= [ 13023, 13022 ] ), rec(
1135         next:= [ 12959, 12929 ] ) ] ), rec(
1137       next:= [ 13065, 13072, 13063, 13064, 13073 ] ), 17619, rec(
1139       next:= [ 19511, rec(
1142         next:= [ 19527, 19526 ] ), 19524, 19512, 19525, 19513 ] ), rec(
1144       next:= [ 13461, 13459, 13587, 13589 ] ), rec(
1146       next:= [ 12980, 12946, 12918 ] ), rec(
1148       next:= [ 17551, 17579 ] ), rec(
1150       next:= [ 19530, 19531 ] ), rec(
1152       next:= [ 19508, rec(
1155         next:= [ 19522, 19523 ] ), 19509, 19510, 19521, 19520 ] ), rec(
1157       next:= [ rec(
1160         next:= [ 17777, 12680 ] ), 17778, 12634 ] ), rec(
1162       next:= [ 19592, 19591 ] ), rec(
1164       next:= [ 19507, 19505, 19506 ] ), rec(
1166       next:= [ 12695, 12644 ] ), 19643, rec(
1168       next:= [ 13401, 13680, 13676, 13397 ] ), rec(
1170       next:= [ 19566, 19565 ] ), rec(
1172       next:= [ 12285, 12314, 12386 ] ), 19642, rec(
1174       next:= [ 19617, 19613, rec(
1177         next:= [ 19618, 19615 ] ), 19614, 19616 ] ), 19644, rec(
1179       next:= [ 19594, 19593 ] ), rec(
1181       next:= [ 12555, 12538, 12535, 12738, 12728 ] ) ] ), rec(
1186     next:= [ 17829, rec(
1188       next:= [ 15823, 15828 ] ), 17682, 15838, 17632, rec(
1190       next:= [ 15854, 15851 ] ), rec(
1192       next:= [ 15842, 15833, 15834, 15837, 15845, 15843 ] ), rec(
1194       next:= [ 15847, 15849 ] ), 15829, 17820, 17706, rec(
1196       next:= [ 15821, 15826 ] ), 15839, 17631, 15817, 17684, rec(
1198       next:= [ 15846, 15836 ] ), rec(
1200       next:= [ 15850, 15848 ] ), rec(
1202       next:= [ 15831, 15832 ] ), 17708, rec(
1204       next:= [ 15827, 15822, 15815, 15816 ] ), 17830, rec(
1206       next:= [ 15841, 15840 ] ), rec(
1208       next:= [ 15853, 15852 ] ), 17683, rec(
1210       next:= [ 15844, 15835 ] ), 17633, 17821, 15830, rec(
1212       next:= [ 17707, 17705 ] ), 15814 ] ), rec(
1215     next:= [ 5904, 4272, 6228, 6782, 6178, 1924, 2614 ] ), rec(
1217     next:= [ rec(
1219       next:= [ rec(
1221         next:= [ 2275, 4408 ] ), rec(
1223         next:= [ 6278, 5881 ] ) ] ), rec(
1225       next:= [ rec(
1227         next:= [ 2309, 2262 ] ), rec(
1229         next:= [ 6252, 5855 ] ), rec(
1231         next:= [ 5959, 5919, 5920, 5958 ] ), rec(
1233         next:= [ 2623, 2678, 2679, 2624 ] ) ] ) ] ), rec(
1235     next:= [ rec(
1237       next:= [ rec(
1239         next:= [ 5023, 5027 ] ), rec(
1242         next:= [ rec(
1245           next:= [ 5024, 5026 ] ), 5025 ] ) ] ), rec(
1247       next:= [ rec(
1249         next:= [ 5346, rec(
1252           next:= [ rec(
1255             next:= [ 5361, rec(
1258               next:= [ 5336, 5358 ] ) ] ), 5360 ] ), rec(
1261           next:= [ 5335, 5357 ] ) ] ), 5329, 5344, 5330, rec(
1263         next:= [ rec(
1266           next:= [ 5342, 5319 ] ), rec(
1269           next:= [ 5340, 5343 ] ), 5347, rec(
1272           next:= [ 5339, 5318 ] ), rec(
1275           next:= [ 5333, 5332 ] ), 5331 ] ), 5345 ] ), rec(
1278       next:= [ rec(
1281         next:= [ 5044, 5045, 5043 ] ), rec(
1284         next:= [ 5042, 5041 ] ) ] ) ] ), rec(
1286     next:= [ rec(
1288       next:= [ rec(
1290         next:= [ 5069, 5065 ] ), rec(
1292         next:= [ 5155, rec(
1295           next:= [ 5153, 5152 ] ), 5154 ] ), rec(
1297         next:= [ 5166, 5168 ] ), rec(
1299         next:= [ 5066, 5067 ] ), rec(
1301         next:= [ 5170, 5165 ] ), rec(
1303         next:= [ 5169, 5167 ] ), rec(
1305         next:= [ 5064, 5068 ] ) ] ), rec(
1307       next:= [ rec(
1309         next:= [ 5706, 5707 ] ), rec(
1311         next:= [ 5742, 5743 ] ), rec(
1313         next:= [ 5760, 5761 ] ) ] ) ] ), rec(
1315     next:= [ rec(
1317       next:= [ rec(
1319         next:= [ rec(
1322           next:= [ 5334, 5356 ] ), 5359 ] ), rec(
1324         next:= [ 5338, 5341, 5317 ] ) ] ), rec(
1327       next:= [ rec(
1330         next:= [ 5039, 5040 ] ), 5038 ] ), rec(
1333       next:= [ 5698, 5696, 5697 ] ) ] ), rec(
1336     next:= [ rec(
1338       next:= [ 467, 465 ] ), rec(
1340       next:= [ 501, rec(
1343         next:= [ 504, 505 ] ) ] ), rec(
1345       next:= [ 502, 506 ] ), rec(
1347       next:= [ 464, 466 ] ), rec(
1349       next:= [ 468, 469 ] ) ] ), rec(
1351     next:= [ rec(
1353       next:= [ rec(
1355         next:= [ 409, 407, 412 ] ), rec(
1357         next:= [ 408, 410, 411 ] ) ] ), rec(
1360       next:= [ 509, 508, 512 ] ), 446, 531 ] ), rec(
1362     next:= [ rec(
1364       next:= [ rec(
1366         next:= [ 5914, 5954 ] ), rec(
1368         next:= [ 4299, 4300 ] ), rec(
1370         next:= [ 6235, 6451 ] ), rec(
1372         next:= [ 6793, 6830 ] ), rec(
1374         next:= [ rec(
1377           next:= [ 6181, 6182 ] ), 6197, 6183, 6196 ] ), rec(
1379         next:= [ 1961, 1962 ] ), rec(
1381         next:= [ 2759, 2677 ] ) ] ), rec(
1387       next:= [ rec(
1389         next:= [ rec(
1392           next:= [ rec(
1395             next:= [ 6130, 6154 ] ), 6066 ] ), rec(
1398           next:= [ rec(
1401             next:= [ 6153, 6129 ] ), 6065 ] ) ] ), rec(
1403         next:= [ 1657, 1655 ] ), rec(
1405         next:= [ 6810, 6812, 6851, rec(
1408           next:= [ 6850, 6849 ] ), 6811, 6848 ] ), rec(
1410         next:= [ 6860, 6859 ] ), rec(
1412         next:= [ 6803, 6802, rec(
1415           next:= [ 6844, 6838 ] ), 6806, 6840, 6837 ] ), rec(
1417         next:= [ 2664, 2762, 2763, 2714 ] ), rec(
1419         next:= [ 4868, 4851, rec(
1422           next:= [ 4872, 4873, 4869 ] ) ] ), rec(
1424         next:= [ 3026, 3027 ] ), rec(
1426         next:= [ 2741, 2740 ] ), rec(
1428         next:= [ 6074, 6073 ] ), rec(
1430         next:= [ 1617, 3534, 3535, 1616, 1572 ] ), rec(
1432         next:= [ 4883, 4884 ] ), rec(
1434         next:= [ 6087, 6088 ] ), rec(
1436         next:= [ rec(
1439           next:= [ rec(
1442             next:= [ rec(
1445               next:= [ 3095, 1661, 3428 ] ), 3480 ] ), 1658 ] ), rec(
1448           next:= [ rec(
1451             next:= [ rec(
1454               next:= [ 3094, rec(
1457                 next:= [ 1660, rec(
1460                   next:= [ 1659, 3427 ] ) ] ) ] ), 3479 ] ), 
1463         next:= [ rec(
1466           next:= [ 1792, 3567 ] ), rec(
1469           next:= [ 1791, 3566 ] ) ] ), rec(
1471         next:= [ rec(
1474           next:= [ 4866, 4857 ] ), 4844, 4860, 4843, 4856 ] ), rec(
1476         next:= [ rec(
1479           next:= [ 4506, rec(
1482             next:= [ 2356, 2350 ] ) ] ), rec(
1485           next:= [ 4505, rec(
1488             next:= [ rec(
1491               next:= [ 2355, 2354 ] ), 2348 ] ) ] ) ] ), rec(
1493         next:= [ 6042, 6041 ] ), rec(
1495         next:= [ 6084, 6083 ] ), rec(
1498         next:= [ 4433, rec(
1501           next:= [ rec(
1504             next:= [ 4452, 4453 ] ), 4449 ] ), 4455, 4400, 4432, 4517, 4456, 
1507         next:= [ 3577, 1592, 3578 ] ), rec(
1509         next:= [ 2260, 2305 ] ), rec(
1511         next:= [ 6167, 6168 ] ), rec(
1513         next:= [ 4484, 4483 ] ), rec(
1515         next:= [ 2347, 2349 ] ), rec(
1517         next:= [ 6171, 6172 ] ), rec(
1519         next:= [ 2633, 2687 ] ), rec(
1521         next:= [ 1614, 1615 ] ), rec(
1523         next:= [ 5970, rec(
1526           next:= [ 5937, 5936 ] ) ] ), rec(
1528         next:= [ 1742, 1628, 1603, 1577, 1604, 1740, 1741, 1627 ] ), rec(
1530         next:= [ 1595, 1812, 1813 ] ), rec(
1532         next:= [ 5933, 5967, 5966, 5932 ] ), rec(
1534         next:= [ 3244, 3164, 3245, 3165 ] ), rec(
1536         next:= [ 1802, 1801 ] ), rec(
1538         next:= [ 6536, 6535 ] ), rec(
1540         next:= [ 5963, rec(
1543           next:= [ 5926, 5925 ] ) ] ), rec(
1545         next:= [ 6033, 6034 ] ), rec(
1547         next:= [ 2748, 2715, 2665, 2747 ] ), rec(
1549         next:= [ 3228, 3229 ] ), rec(
1551         next:= [ 6498, 6497 ] ), rec(
1554         next:= [ 6367, 6461, 6460, rec(
1557           next:= [ 6457, 6458 ] ), 6363, 6362, 6455, 6238, 6239, 6454, 
1560         next:= [ 6532, 6531 ] ), rec(
1562         next:= [ 2704, 2765, 2654, 2770, 2764 ] ), rec(
1564         next:= [ 6501, 6502 ] ), rec(
1566         next:= [ rec(
1569           next:= [ rec(
1572             next:= [ 2636, 2635 ] ), 2634 ] ), rec(
1575           next:= [ 2689, 2688 ] ) ] ), rec(
1577         next:= [ rec(
1580           next:= [ 6159, 6135 ] ), rec(
1583           next:= [ 6136, 6160 ] ) ] ) ] ) ] ), rec(
1585     next:= [ ] ), rec(
1609     next:= [ 13708, rec(
1612       next:= [ 12376, 12900, 12871, 13196, rec(
1615         next:= [ 12875, 13167 ] ), 13197, rec(
1618         next:= [ 13210, 13204 ] ), rec(
1621         next:= [ 12841, 12313 ] ), 13120, 12345, 13159, 12522, 12834, 12391, 
1626       next:= [ 14072, 14486, rec(
1629         next:= [ 15118, 15105 ] ), rec(
1632         next:= [ 14467, 14466 ] ), 12660, rec(
1635         next:= [ 15106, rec(
1638           next:= [ 13877, 13865, 15159, 15135 ] ) ] ), rec(
1641         next:= [ rec(
1644           next:= [ 15209, 15208 ] ), rec(
1647           next:= [ 15197, 15224, 15180 ] ) ] ), rec(
1650         next:= [ 13862, 15133 ] ), rec(
1653         next:= [ 14500, rec(
1656           next:= [ 14505, 14507 ] ), rec(
1659           next:= [ 14464, 14465 ] ) ] ), 14463, rec(
1662         next:= [ 17809, rec(
1665           next:= [ 12712, 12720 ] ) ] ), rec(
1668         next:= [ 14502, 14461 ] ), 14066, 12670, rec(
1671         next:= [ 17802, 12713 ] ), 15203, 12662, rec(
1674         next:= [ 14639, rec(
1677           next:= [ 14642, 14643 ] ) ] ), rec(
1680         next:= [ 14073, rec(
1683           next:= [ 14067, 14087 ] ) ] ), rec(
1686         next:= [ 15150, rec(
1689           next:= [ 15149, rec(
1692             next:= [ 13869, 15111 ] ) ] ) ] ), 14064, rec(
1695         next:= [ 15207, 15179 ] ), 14061, rec(
1698         next:= [ 14658, rec(
1701           next:= [ 14644, 14645 ] ), rec(
1704           next:= [ rec(
1707             next:= [ 14646, 14615, 14659 ] ), rec(
1710             next:= [ 14613, 14614 ] ), 14635 ] ) ] ), rec(
1713         next:= [ 13866, 15108 ] ), 14060, rec(
1716         next:= [ 14503, 14462 ] ), 15177, 12669, rec(
1719         next:= [ 14055, 14068 ] ), 15200, 12718 ] ), 15602, rec(
1721       next:= [ 13609, 15004, 14793, 14441, 14892, 13454, 14259, 
1724       next:= [ 17756, 17776 ] ), 14095, rec(
1727       next:= [ rec(
1730         next:= [ 14127, 14145 ] ), rec(
1733         next:= [ 14160, 14154 ] ), 14090, 15660, 14148, 15668, 14155, 15663, 
1737         next:= [ 14151, 14158 ] ), 15659, 15657, 15662, 14130 ] ), rec(
1741       next:= [ rec(
1744         next:= [ rec(
1747           next:= [ 15411, 15405 ] ), 15699, 15720 ] ), rec(
1750         next:= [ 14907, 14289 ] ), 13562, rec(
1753         next:= [ rec(
1756           next:= [ rec(
1759             next:= [ 15408, 15418 ] ), rec(
1762             next:= [ rec(
1765               next:= [ 15616, 15755 ] ), 15749 ] ) ] ), 15708, 15724 ] ), rec(
1768         next:= [ rec(
1771           next:= [ 14946, 14298 ] ), 14849, 15027 ] ), 15553, rec(
1774         next:= [ 15075, rec(
1777           next:= [ 14295, 14911 ] ) ] ), 13660, rec(
1780         next:= [ 14910, 14814 ] ), rec(
1783         next:= [ 15748, 15700, 15721 ] ), rec(
1786         next:= [ 14815, 15074 ] ), 15019, 15550, 13528, 13663, 15023, rec(
1789         next:= [ 15419, 15735 ] ), 15791, 14292, rec(
1792         next:= [ rec(
1795           next:= [ 15707, rec(
1798             next:= [ 15414, 15415 ] ) ] ), rec(
1801           next:= [ 15754, 15613 ] ) ] ), 13540, 13636, 13559, 14809, 15792, 
1804       next:= [ 14741, 12532, 14742, 17616, 17618 ] ), 12556, 13713, rec(
1806       next:= [ 12311, 12831, 12378, rec(
1809         next:= [ 13116, 12343 ] ) ] ), rec(
1812       next:= [ 14342, rec(
1815         next:= [ 15404, 15571, 15630 ] ), 13392, 13667, 14186, rec(
1818         next:= [ 14187, 14193 ] ), 15524, 13381, 14329, rec(
1821         next:= [ 13389, 13390 ] ), rec(
1824         next:= [ 14336, 14331 ] ), 13384, 14335, 14183, rec(
1827         next:= [ 15402, 15626 ] ), rec(
1830         next:= [ 13669, 13668 ] ), rec(
1833         next:= [ 13387, 13386, 13388 ] ) ] ), 17651, rec(
1835       next:= [ rec(
1838         next:= [ 14652, 14651 ] ), 14647, 14056, 14649, rec(
1841         next:= [ 13873, 15156 ] ), 14079, 15217, 15115, 15198 ] ), rec(
1843       next:= [ rec(
1846         next:= [ 13791, 13785, rec(
1849           next:= [ 13790, 13789 ] ) ] ), rec(
1852         next:= [ 13794, 13764, 13798 ] ), rec(
1855         next:= [ 13744, rec(
1858           next:= [ 13738, 13742 ] ) ] ), 13747 ] ), 17823, rec(
1861       next:= [ 17744, 13814, 13823, 17763, 17773, 17752, 13806, 17758, 13820, 
1869       next:= [ 15311, rec(
1872         next:= [ 14001, 15261 ] ), rec(
1875         next:= [ 12630, 17689 ] ), rec(
1878         next:= [ 15284, 15243 ] ), 14712, 12595, 14016, 13052, rec(
1881         next:= [ 12596, 17693 ] ), 14709, 14555, 17694, rec(
1884         next:= [ 15333, 15334 ] ), 15307, rec(
1887         next:= [ rec(
1890           next:= [ rec(
1893             next:= [ 12942, 12941 ] ), rec(
1896             next:= [ 12974, 12973 ] ) ] ), 12626 ] ), rec(
1899         next:= [ 14003, 15302 ] ), 15305, rec(
1902         next:= [ 13028, 12771 ] ), rec(
1905         next:= [ 13055, 12774 ] ), 12613, 14702, 15329, 15267, 12998, 
1909         next:= [ 15270, 15230 ] ), rec(
1912         next:= [ 15280, 15239 ] ), 15328, 12767, 15335, 14717, 14705, rec(
1915         next:= [ 12954, 12925, 12628 ] ), 14564, 14579, 14561, rec(
1918         next:= [ 15244, rec(
1921           next:= [ 14004, 15285 ] ) ] ), 14724, 14553, 13027, 15225, rec(
1924         next:= [ 13996, rec(
1927           next:= [ 15281, 15240 ] ) ] ), 15363, rec(
1930         next:= [ 13034, 13035 ] ), 13010, 13998, rec(
1933         next:= [ 12775, 13025 ] ), rec(
1936         next:= [ 14577, 14572 ] ), 14722, 13029, 14575, 15336, 14015, 
1940       next:= [ rec(
1943         next:= [ rec(
1946           next:= [ 12398, 12402 ] ), 12428 ] ), 17582, 12464, 12453, 12425, 
1950         next:= [ 12489, rec(
1953           next:= [ 12490, 12488 ] ) ] ), 17553, 12427, 12422, rec(
1956         next:= [ 17614, rec(
1959           next:= [ 17613, 17611 ] ) ] ), 12437, 17555, 12400 ] ), rec(
1962       next:= [ 14368, 14207, 14217, 15644, 15394, 13670, 13425, 13421, rec(
1965         next:= [ 15583, 15642 ] ), 14370, 13695, 14192, 15540, 13419, 
1969         next:= [ 13416, 13417 ] ), 14366, 14340 ] ), rec(
1971       next:= [ 13737, 13728, rec(
1974         next:= [ 13763, 13769 ] ), 13782 ] ), rec(
1976       next:= [ 17811, 17791 ] ), 15604, rec(
1978       next:= [ rec(
1981         next:= [ 15599, 15590 ] ), rec(
1984         next:= [ 15588, 15595 ] ), 15589 ] ), 14115,, rec(
1986       next:= [ 14750, 12514 ] ), 13813, rec(
1988       next:= [ 12606, 12996, 12931, 12960 ] ), 13075, rec(
1990       next:= [ 12450, 12483 ] ), rec(
1992       next:= [ rec(
1995         next:= [ 13524, rec(
1998           next:= [ 13519, 13518, 13520 ] ), 13512 ] ), rec(
2001         next:= [ rec(
2004           next:= [ 13633, 13632 ] ), 13630 ] ), rec(
2007         next:= [ 15033, 14918, rec(
2010           next:= [ 15040, 15037, rec(
2013             next:= [ 14820, 14279 ] ) ] ) ] ), rec(
2016         next:= [ rec(
2019           next:= [ 14819, 14951, 14915 ] ), rec(
2022           next:= [ 14275, 14281 ] ), 15035 ] ), rec(
2025         next:= [ rec(
2028           next:= [ 14278, 14855 ] ), rec(
2031           next:= [ 14917, 14856 ] ), 15039 ] ), rec(
2034         next:= [ 15609, 15727, rec(
2037           next:= [ 15770, 15769, 15437 ] ) ] ), rec(
2040         next:= [ 15440, 15719, 15745 ] ), rec(
2043         next:= [ rec(
2046           next:= [ 15784, 15780 ] ), 15546 ] ), rec(
2049         next:= [ 13515, 13521, 13522 ] ) ] ), rec(
2053       next:= [ 14544, 17737, 13936, 14697, 12749, 14548, 13934, 13981, rec(
2056         next:= [ 17677, 12577 ] ), 17731, 13914, 17735, 13980, rec(
2059         next:= [ 14540, 14545 ] ), 12570, 14541, 14543, 13944, 14689, 12754, 
2062       next:= [ rec(
2065         next:= [ 13283, 13324 ] ), 13226, 13288, rec(
2068         next:= [ 13376, 13347, 13343 ] ), 13232, rec(
2071         next:= [ 13228, 13258, 13261 ] ) ] ), rec(
2073       next:= [ 17641, 17638 ] ), 17833,, 15457, 14752, 13067, rec(
2076       next:= [ 14140, 14169, 15670, 14165, 15671, 14161, 14141, 14172, 14168, 
2081       next:= [ 15059, 15561, rec(
2084         next:= [ 15714, 15742 ] ), 15807, rec(
2087         next:= [ 14937, 14316, rec(
2090           next:= [ 14851, 15064 ] ) ] ), 14285, 15761, 13657, 15759, 
2094         next:= [ 14836, 14947 ] ), 15619, 15805, 13635, 13550, 15431, rec(
2097         next:= [ 15030, 15062, 14838 ] ), rec(
2100         next:= [ 13553, 13544, 13543 ] ), 14934, 13545, 15428, 15739 ] ), rec(
2103       next:= [ rec(
2106         next:= [ 13312, 13314 ] ), 13265, 13309, 13319, 13250, 13378, rec(
2109         next:= [ 13366, 13364, 13368 ] ), rec(
2112         next:= [ 13321, 13323 ] ), rec(
2115         next:= [ 13252, 13247 ] ), rec(
2118         next:= [ 13254, 13248 ] ) ] ), 17816, rec(
2120       next:= [ rec(
2123         next:= [ 15648, 15587 ] ), 14102, 14109 ] ), rec(
2128       next:= [ rec(
2131         next:= [ 14202, 14180 ] ), rec(
2134         next:= [ 15388, 15641 ] ), 14173, rec(
2137         next:= [ 15624, 15623, 15566 ] ), rec(
2140         next:= [ 14364, rec(
2143           next:= [ 14363, 14360 ] ) ] ), 13672, 14179, 14362, rec(
2146         next:= [ rec(
2149           next:= [ 15375, 15369 ] ), 15565, 15622 ] ), 14352, 13396, rec(
2152         next:= [ 14323, 14324 ] ), 13675, 13410, 15526, 14361, 14181, 15534, 
2156         next:= [ rec(
2159           next:= [ 15385, rec(
2162             next:= [ 15378, 15577 ] ) ] ), rec(
2165           next:= [ 15384, 15575 ] ) ] ), 14317, 13404, 15536, 15535, 15637, 
2169         next:= [ 14175, 14196 ] ), 15518, 15529, rec(
2172         next:= [ rec(
2175           next:= [ rec(
2178             next:= [ 15372, 15387 ] ), rec(
2181             next:= [ 15382, 15386 ] ) ] ), rec(
2184           next:= [ 15580, 15567 ] ), 15625 ] ) ] ), 17644, rec(
2186       next:= [ 14755, 12524 ] ), rec(
2189       next:= [ 12675, 14044, 12806, 12807, 12699, 15153, 15112, 15213, 12697, 
2192       next:= [ 13836, 17766, rec(
2195         next:= [ 17774, 17771 ] ), 17768, rec(
2198         next:= [ 13826, 13834 ] ), rec(
2201         next:= [ 13838, 13830 ] ), 13831, 13827 ] ), rec(
2205       next:= [ 15358, 15286, rec(
2208         next:= [ 15245, rec(
2211           next:= [ 14018, 15300 ] ) ] ), rec(
2214         next:= [ 14017, 15299 ] ), 14585, rec(
2217         next:= [ 14023, 15247 ] ), 15258, rec(
2220         next:= [ 12622, 12940 ] ), rec(
2223         next:= [ 15339, 15362 ] ), 15338, 14588, rec(
2226         next:= [ 14584, 14590 ] ), 12967, rec(
2229         next:= [ 14737, 14727 ] ), 14587, 14592, 13038, 13005, 15359, 13001, 
2233         next:= [ 17702, 12621, 12970 ] ), rec(
2236         next:= [ 13040, rec(
2239           next:= [ 13049, 13048 ] ), rec(
2242           next:= [ 12782, 12783 ] ) ] ), 15366 ] ), 13245, rec(
2245       next:= [ 17827, 17825 ] ), rec(
2249       next:= [ 17715, 12735, 13883, 13953, 12544, rec(
2252         next:= [ 12582, 17660 ] ), 14669, 14665, rec(
2255         next:= [ rec(
2258           next:= [ 12542, 12543 ] ), rec(
2261           next:= [ 12540, rec(
2264             next:= [ 12541, 17657 ] ) ] ) ] ), 12731, rec(
2267         next:= [ 12548, 17666 ] ), 14520, 12547, 13881, 17720, 13945, 12730, 
2271         next:= [ 13887, 13888 ] ), 14662, 14672, 13893, 14509, 13947 ] ), rec(
2273       next:= [ 14099, 15532, 14197, 14349, 14357, 14203, 15530, 14105 ] ), 
2277       next:= [ 13115, 12838, 13198, rec(
2280         next:= [ 12904, 12905 ] ), 12383, 13161, rec(
2283         next:= [ 12874, rec(
2286           next:= [ 12873, 12870 ] ) ] ), rec(
2289         next:= [ 13135, rec(
2292           next:= [ 13171, 13136 ] ) ] ), 12388, rec(
2295         next:= [ 12876, 13137 ] ), rec(
2298         next:= [ 12842, 12317 ] ), 13207, 12913, rec(
2301         next:= [ 13178, rec(
2304           next:= [ 13211, 13177 ] ) ] ), 12352, 13124, 13170, 13087, 12907, 
2307       next:= [ 15603, 15593 ] ), rec(
2313       next:= [ 14430, 13611, 14406, rec(
2316         next:= [ 14891, 15001 ] ), 14889, rec(
2319         next:= [ 14896, 15010 ] ), 13566, 14808, 14799, rec(
2322         next:= [ 15696, 15511 ] ), 15679, rec(
2325         next:= [ 15015, rec(
2328           next:= [ 14804, 14898 ] ), 15014 ] ), rec(
2331         next:= [ 13451, rec(
2334           next:= [ 13435, 13450 ] ), 13452 ] ), 14434, rec(
2337         next:= [ 14440, 14432 ] ), 14265, 15446, 13492, 15510, rec(
2340         next:= [ 14895, 14963 ] ), rec(
2343         next:= [ 14237, 14966 ] ), 14262, 14268, 14264, 13565, 13442, 
2347         next:= [ 15487, rec(
2350           next:= [ 15485, 15516 ] ) ] ), 14402, 14999, 15468, 14427, rec(
2353         next:= [ rec(
2356           next:= [ 14768, 14802 ] ), 14865, 15011 ] ), rec(
2359         next:= [ 15694, 15513 ] ), rec(
2362         next:= [ 13610, 13614 ] ), rec(
2365         next:= [ 13608, 13615 ] ), rec(
2368         next:= [ 14257, 14795 ] ), 13434, 15470, rec(
2371         next:= [ 13438, 13455 ] ), 14405, 13497, rec(
2374         next:= [ 15473, 15471 ] ), 14428, rec(
2377         next:= [ 14903, 14233 ] ), 14426, rec(
2380         next:= [ 14798, 15006 ] ), 13618, 13490, 15008, 15465 ] ), 14094, 
2386       next:= [ rec(
2389         next:= [ 15424, 15736 ] ), rec(
2392         next:= [ rec(
2395           next:= [ 14919, 14287 ] ), 14822, 15041 ] ), 13637, 15049, 
2399         next:= [ 15552, rec(
2402           next:= [ 15789, 15790 ] ) ] ), rec(
2405         next:= [ 15559, 15794 ] ), rec(
2408         next:= [ 15560, 15800 ] ), rec(
2411         next:= [ 14274, 15024 ] ), 13535, rec(
2414         next:= [ 15731, 15730, rec(
2417           next:= [ 15752, 15705 ] ) ] ), rec(
2420         next:= [ 14905, 14269 ] ), rec(
2423         next:= [ rec(
2426           next:= [ 15410, rec(
2429             next:= [ 15611, 15750 ] ) ] ), 15703, 15728 ] ), rec(
2432         next:= [ rec(
2435           next:= [ 14271, 14811 ] ), 15043, rec(
2438           next:= [ 14921, 14824 ] ) ] ), 13649, 13538, 13651, rec(
2441         next:= [ rec(
2444           next:= [ rec(
2447             next:= [ rec(
2450               next:= [ 15417, 15421 ] ), rec(
2453               next:= [ 15413, 15420 ] ) ] ), rec(
2456             next:= [ rec(
2459               next:= [ 15615, 15756 ] ), 15753 ] ) ] ), rec(
2462           next:= [ 15709, 15706 ] ), 15732 ] ), rec(
2465         next:= [ rec(
2468           next:= [ 15057, 15054 ] ), 15053, rec(
2471           next:= [ 14832, rec(
2474             next:= [ 14301, 14929 ] ) ] ) ] ), rec(
2477         next:= [ 15549, 15785 ] ), 13537, rec(
2480         next:= [ 15788, 15787 ] ), rec(
2483         next:= [ rec(
2486           next:= [ rec(
2489             next:= [ 15423, 15702 ] ), rec(
2492             next:= [ 15710, rec(
2495               next:= [ 15409, 15422 ] ) ] ) ] ), rec(
2498           next:= [ 15757, 15607 ] ) ] ), rec(
2501         next:= [ rec(
2504           next:= [ 14830, 14834 ] ), rec(
2507           next:= [ 14927, 14300 ] ) ] ), 13541, rec(
2510         next:= [ 15606, 15723 ] ), rec(
2513         next:= [ 14828, rec(
2516           next:= [ rec(
2519             next:= [ 14925, 14299 ] ), rec(
2522             next:= [ 14931, 14293 ] ) ] ) ] ), rec(
2525         next:= [ rec(
2528           next:= [ 15406, rec(
2531             next:= [ rec(
2534               next:= [ 15605, 15747 ] ), 15751 ] ) ] ), 15704, 15729 ] ), 
2538         next:= [ 15045, 15046, rec(
2541           next:= [ 14923, 14826 ] ) ] ), rec(
2544         next:= [ 15558, 15793 ] ), 15543, 13646 ] ), 17622, rec(
2548       next:= [ 12745, 13897, 12755, 17818, 14678, 13894, 13962, 12558, rec(
2551         next:= [ 12557, 17668 ] ), 14526, 17670, 13900, 14681, 13931, 13957, 
2556       next:= [ 12382, 13205, 12520, rec(
2559         next:= [ rec(
2562           next:= [ 12339, 13118 ] ), 12344 ] ), 12833, rec(
2565         next:= [ 13117, 12348 ] ), rec(
2568         next:= [ 12868, 13156 ] ), 12908, 12901, 12377, 13199, 13110, 12844, 
2572         next:= [ 12274, 12277, 12279 ] ), 13162, 12312, 12839, rec(
2575         next:= [ 12877, 13163 ] ), rec(
2578         next:= [ 12283, 12280 ] ) ] ), 17652, rec(
2584       next:= [ 12709, rec(
2587         next:= [ rec(
2590           next:= [ 15199, 15223 ] ), rec(
2593           next:= [ rec(
2596             next:= [ 15206, 15181 ] ), 15182 ] ) ] ), 12664, 14484, rec(
2599         next:= [ 14088, rec(
2602           next:= [ 14070, 14074 ] ) ] ), 14495, 14485, rec(
2605         next:= [ 12673, 12671 ] ), rec(
2608         next:= [ 14085, 14063 ] ), rec(
2611         next:= [ 14054, 14065 ] ), 15204, 14633, rec(
2614         next:= [ rec(
2617           next:= [ rec(
2620             next:= [ 15110, 15151 ] ), 15145, 13868 ] ), rec(
2623           next:= [ rec(
2626             next:= [ 13879, 15120 ] ), 13867, 15109 ] ) ] ), 15104, rec(
2629         next:= [ 14648, 14636 ] ), 15146, 15214, rec(
2632         next:= [ rec(
2635           next:= [ 13880, 15158 ] ), rec(
2638           next:= [ 13863, 15147 ] ) ] ), 14058, 14082, 14062, 15148, rec(
2641         next:= [ 14660, rec(
2644           next:= [ 14656, 14657 ] ), rec(
2647           next:= [ 14641, 14637 ] ) ] ), 14059, rec(
2650         next:= [ 13874, 15102 ] ), 15194, rec(
2653         next:= [ rec(
2656           next:= [ 14650, 14655 ] ), rec(
2659           next:= [ 14640, 14632 ] ) ] ), 14504, rec(
2662         next:= [ 17801, rec(
2665           next:= [ 12716, rec(
2668             next:= [ 12708, 12719 ] ) ] ) ] ), 14080, 15201, 12658, rec(
2671         next:= [ 12666, 12668 ] ), rec(
2674         next:= [ 17800, 12711 ] ), 14069, rec(
2677         next:= [ 14506, 14508 ] ), rec(
2680         next:= [ 15219, 15202 ] ), 12663, 14071, rec(
2683         next:= [ rec(
2686           next:= [ 17807, 17810 ] ), rec(
2689           next:= [ 12722, rec(
2692             next:= [ 12714, 12717 ] ) ] ) ] ), rec(
2695         next:= [ 15119, rec(
2698           next:= [ 13864, rec(
2701             next:= [ 15107, 15134 ] ) ] ) ] ), rec(
2704         next:= [ 15222, rec(
2707           next:= [ 15178, 15205 ] ) ] ), 12661, rec(
2710         next:= [ 14497, 14499 ] ) ] ), 13483, rec(
2712       next:= [ rec(
2715         next:= [ rec(
2718           next:= [ 17514, 17509 ] ), 17495, rec(
2721           next:= [ 17520, 17515 ] ) ] ), rec(
2724         next:= [ rec(
2727           next:= [ 17511, 17512 ] ), rec(
2730           next:= [ 17522, 17496 ] ), 17497 ] ) ] ), 17755, 17824, rec(
2734       next:= [ 12592, rec(
2737         next:= [ 15231, rec(
2740           next:= [ 13991, 15271 ] ) ] ), rec(
2743         next:= [ 12986, 12985 ] ), 14706, 14563, rec(
2746         next:= [ 13985, 15265 ] ), 13011, rec(
2749         next:= [ 13059, 12763 ] ), rec(
2752         next:= [ 12952, 12923 ] ), rec(
2755         next:= [ 15276, 15233 ] ), 12983, 14708, 14556, 13990, rec(
2758         next:= [ 13987, 15227 ] ), 15313, rec(
2761         next:= [ rec(
2764           next:= [ rec(
2767             next:= [ 12921, 12920 ] ), rec(
2770             next:= [ 12955, 12950 ] ) ] ), 17691, 12594 ] ), 15312, rec(
2773         next:= [ rec(
2776           next:= [ rec(
2779             next:= [ 12945, 12944 ] ), rec(
2782             next:= [ 12977, 12976 ] ) ] ), 17688, rec(
2785           next:= [ 12629, rec(
2788             next:= [ rec(
2791               next:= [ 12591, 12590 ] ), rec(
2794               next:= [ 12589, 12588 ] ) ] ) ] ) ] ), 12984, 14711, rec(
2797         next:= [ 13058, 12762 ] ), rec(
2800         next:= [ rec(
2803           next:= [ 12951, 12922 ] ), 12597 ] ), rec(
2806         next:= [ rec(
2809           next:= [ 13017, 13016 ] ), 12766 ] ), 14703, rec(
2812         next:= [ 15273, 15235 ] ), 14560, rec(
2815         next:= [ 13019, 13018 ] ), 14554, 15315, rec(
2818         next:= [ 15317, 15318 ] ) ] ), rec(
2820       next:= [ 14146, 14153, 15664, 15666, 14147, 14152, 14091, 
2824       next:= [ 15775, 14906, 15771, 14812, 15555, 14288, 15076, 15021, 15774, 
2827       next:= [ 14743, 12533, 17627 ] ), 14746, rec(
2830       next:= [ 12495, rec(
2833         next:= [ rec(
2836           next:= [ 12403, 12399 ] ), 12429 ] ), 17620, 17557, 12430, 12459, 
2841       next:= [ 17294, 17293, 16368, 17139, 16834, 17264, 16363, rec(
2844         next:= [ 16244, 16261 ] ), rec(
2847         next:= [ 17187, rec(
2850           next:= [ 17185, 17140 ] ) ] ), rec(
2853         next:= [ rec(
2856           next:= [ rec(
2859             next:= [ rec(
2862               next:= [ 17035, 17037 ] ), 17011 ] ), rec(
2865             next:= [ 17036, 17020 ] ) ] ), 16828 ] ), rec(
2868         next:= [ 17180, 17182 ] ), rec(
2871         next:= [ 17286, 17285 ] ), rec(
2874         next:= [ rec(
2877           next:= [ 16242, 16259 ] ), 16241, 16243 ] ), 17257, 17153, 
2881         next:= [ rec(
2884           next:= [ rec(
2887             next:= [ 17007, 17008 ] ), rec(
2890             next:= [ 17014, 17018 ] ) ] ), 17017, 16826 ] ), rec(
2893         next:= [ rec(
2896           next:= [ rec(
2899             next:= [ rec(
2902               next:= [ 17183, 17137 ] ), 17150 ] ), rec(
2905             next:= [ 17136, 17154 ] ) ] ), 17186, 17155 ] ), rec(
2908         next:= [ rec(
2911           next:= [ 17032, 17034 ] ), 17033, 16833 ] ), rec(
2914         next:= [ 17266, 17255 ] ), rec(
2917         next:= [ rec(
2920           next:= [ 17010, 17019 ] ), rec(
2923           next:= [ 16824, 16827 ] ) ] ), 17181, rec(
2926         next:= [ 17157, 17152 ] ), rec(
2929         next:= [ rec(
2932           next:= [ 17138, 17184 ] ), 17161 ] ) ] ), 13707, rec(
2937       next:= [ rec(
2940         next:= [ 14333, 14334 ] ), 14379, 13671, 14377, 13428, 14344, 14337, 
2944         next:= [ 15523, 15539 ] ), 13697, 14211, 15522, 13694, 14373, rec(
2947         next:= [ 15400, 15646, rec(
2950           next:= [ 15586, 15396 ] ) ] ), rec(
2953         next:= [ 13430, 13431 ] ), rec(
2956         next:= [ 15403, 15629 ] ), 14332, rec(
2959         next:= [ 14185, 14190 ] ), 14375, 14209, rec(
2962         next:= [ 15391, 15398 ] ), 13420, rec(
2965         next:= [ 13665, 13666 ] ), 15647, 13385, 13429, rec(
2968         next:= [ 14182, 14191 ] ), rec(
2971         next:= [ 15569, rec(
2974           next:= [ 15401, 15568 ] ), 15627 ] ), rec(
2977         next:= [ 14206, 14213 ] ), 14184, 13382, 14341, 13698 ] ), 14487, rec(
2980       next:= [ rec(
2983         next:= [ 17490, 17493, 17491 ] ), rec(
2986         next:= [ 17410, 17408 ] ), rec(
2989         next:= [ rec(
2992           next:= [ 17364, 17380 ] ), rec(
2995           next:= [ 17436, 17453 ] ) ] ), rec(
2998         next:= [ 17442, rec(
3001           next:= [ 17381, 17370 ] ) ] ), rec(
3004         next:= [ 17488, 17476, 17473 ] ), 17403, rec(
3007         next:= [ 17406, 17416 ] ), rec(
3010         next:= [ 17457, rec(
3013           next:= [ 17371, 17444 ] ), rec(
3016           next:= [ 17367, rec(
3019             next:= [ 17439, 17445 ] ) ] ) ] ), 17489, rec(
3022         next:= [ 17365, 17437 ] ), 17472 ] ), rec(
3024       next:= [ rec(
3027         next:= [ 13788, 13792 ] ), rec(
3030         next:= [ 13795, 13768, rec(
3033           next:= [ 13766, 13797 ] ) ] ), rec(
3036         next:= [ 13741, 13743 ] ), 13739, rec(
3039         next:= [ 13725, 13748 ] ), rec(
3042         next:= [ 13783, 13787 ] ) ] ), 14116, rec(
3045       next:= [ 13816, 13824, 17745, 13821, 17747, 13810, 13818, 13819, 17759, 
3048       next:= [ rec(
3051         next:= [ 17505, rec(
3054           next:= [ 17519, 17507 ] ), 17508 ] ), 17502, rec(
3057         next:= [ 17501, 17506, 17518 ] ), rec(
3060         next:= [ 17517, 17499, 17513 ] ) ] ), rec(
3065       next:= [ 15255, 13030, 14578, 15353, 12995, 15354, 14723, 12776, 
3069         next:= [ 12611, 12962 ] ), rec(
3072         next:= [ 12609, 12930 ] ), 14014, rec(
3075         next:= [ 12953, 12935 ] ), 13032, 15309, 12608, 12789, 12994, 14581, 
3079         next:= [ 15297, 15257 ] ), 12993, rec(
3082         next:= [ rec(
3085           next:= [ 12964, 12936 ] ), 12604 ] ), 14574, 15228, 15356, 14716, 
3089         next:= [ 17696, 12607 ] ), 14571, 15296, 13997, rec(
3092         next:= [ 12963, 12933 ] ), 14726, 12987 ] ), rec(
3096       next:= [ 16542, rec(
3099         next:= [ rec(
3102           next:= [ 16539, 16537 ] ), 16553 ] ), 16347, 17210, rec(
3105         next:= [ rec(
3108           next:= [ 16967, 16937 ] ), 16936 ] ), 17214, 16320, 17280, 16966, 
3112         next:= [ 16968, rec(
3115           next:= [ 16934, 16951 ] ) ] ), rec(
3118         next:= [ 16372, 16373, 16386 ] ), 16555, 16032, rec(
3121         next:= [ 16322, rec(
3124           next:= [ 16321, 16346 ] ) ] ), 17226, 16949, 16540, rec(
3127         next:= [ 16969, 16938 ] ), rec(
3130         next:= [ 17873, rec(
3133           next:= [ 15955, 15954 ] ) ] ), 17225, 16544, rec(
3136         next:= [ 17267, 17268, 17281 ] ) ] ), rec(
3138       next:= [ 12484, 12491, 17615, 12423, 12529, rec(
3141         next:= [ 17585, 12426 ] ), 12451, 12486, 12456 ] ), rec(
3145       next:= [ 13920, rec(
3148         next:= [ 13982, 13976 ] ), 14525, rec(
3151         next:= [ 17679, 12576 ] ), rec(
3154         next:= [ 14547, 14549, 14522 ] ), rec(
3157         next:= [ 13921, rec(
3160           next:= [ 13910, 13929 ] ) ] ), 13916, 12572, 17738, 14692, 
3164         next:= [ 14551, 14524 ] ), 13926, 14521, rec(
3167         next:= [ 13975, 13977 ] ), 14539, 13917, 17739, rec(
3170         next:= [ 13913, 13928 ] ), 13922, rec(
3173         next:= [ 14693, rec(
3176           next:= [ 14674, 14673 ] ), rec(
3179           next:= [ 14699, 14690 ] ) ] ), 14523, 17733, rec(
3182         next:= [ 12748, 12752 ] ) ] ), rec(
3185       next:= [ 16258, 16367, rec(
3188         next:= [ rec(
3191           next:= [ 17022, 17025 ] ), 16830 ] ), 17258, rec(
3194         next:= [ 17288, 17289 ] ), 17165, rec(
3197         next:= [ 17030, rec(
3200           next:= [ 17027, 17031 ] ) ] ), 17284, 16365, 16831, 17162, rec(
3203         next:= [ 17265, 17262 ] ), 17167, 17158, 17173, rec(
3206         next:= [ 17177, 17159 ] ), rec(
3209         next:= [ 17291, 17292 ] ), 16256, rec(
3212         next:= [ 17178, 17175 ] ), 17259 ] ), rec(
3215       next:= [ 17331, rec(
3218         next:= [ 17425, rec(
3221           next:= [ 17350, 17424 ] ), 17354 ] ), rec(
3224         next:= [ 17347, 17419 ] ), rec(
3227         next:= [ rec(
3230           next:= [ 17351, 17359 ] ), rec(
3233           next:= [ 17422, 17433 ] ) ] ), 17323, rec(
3236         next:= [ 17328, 17342, 17326 ] ), 17530, 17459, rec(
3239         next:= [ 17532, 17534, 17531 ] ), rec(
3242         next:= [ 17330, 17344 ] ), 17333, rec(
3245         next:= [ 17470, 17464, 17462 ] ) ] ), rec(
3247       next:= [ 13391, 13691, 14218, 14365 ] ), 17653, 13765, 17789, 
3251       next:= [ rec(
3254         next:= [ rec(
3257           next:= [ 17368, 17458 ] ), 17440, 17376 ] ), 17413, 17480, rec(
3260         next:= [ rec(
3263           next:= [ 17438, 17454 ] ), rec(
3266           next:= [ 17366, 17378 ] ) ] ), rec(
3269         next:= [ rec(
3272           next:= [ 17409, 17418 ] ), 17407 ] ), rec(
3275         next:= [ 17404, 17415 ] ), rec(
3278         next:= [ 17363, 17435 ] ), rec(
3281         next:= [ 17449, rec(
3284           next:= [ 17373, 17446 ] ), rec(
3287           next:= [ 17377, 17443 ] ) ] ), 17405, 17471, 17494, rec(
3290         next:= [ 17481, 17482 ] ), 17477, 17450, rec(
3293         next:= [ 17487, 17474, 17475 ] ), rec(
3296         next:= [ 17369, 17441 ] ), 17483 ] ), 15600, rec(
3300       next:= [ rec(
3303         next:= [ 17231, 17232 ] ), rec(
3306         next:= [ rec(
3309           next:= [ rec(
3312             next:= [ 17083, 17096 ] ), rec(
3315             next:= [ rec(
3318               next:= [ 17130, 17084 ] ), 17101 ] ) ] ), 17133, 17097 ] ), 
3322         next:= [ 16738, 16747 ] ), 16762, 16750, 17095, rec(
3325         next:= [ 17134, rec(
3328           next:= [ 17132, 17087 ] ) ] ), 17236, 17252, rec(
3331         next:= [ 17094, 17103 ] ), 17128, 17086, rec(
3334         next:= [ 16751, 16755 ] ), 16728, 17244, 16127, rec(
3337         next:= [ 16109, 16128 ] ), 17241, rec(
3340         next:= [ 17127, 17129 ] ), rec(
3343         next:= [ rec(
3346           next:= [ 17131, 17085 ] ), 17107 ] ), 16358, 16752, 16761, 
3350         next:= [ 16106, rec(
3353           next:= [ 16107, 16126 ] ), 16108 ] ), rec(
3356         next:= [ 16727, 16746 ] ), rec(
3359         next:= [ 17930, 16352 ] ), rec(
3362         next:= [ 17254, 17243 ] ) ] ), rec(
3367       next:= [ 13482, 14112, rec(
3370         next:= [ 14767, rec(
3373           next:= [ 14863, 14249 ] ), 14995 ] ), 14410, 15691, 14418, 14240, 
3377         next:= [ 14765, 14861 ] ), 13625, 15451, 13509, 15455, 13624, 14113, 
3381         next:= [ 14884, 14961 ] ), rec(
3384         next:= [ 14790, 14962 ] ), 13508, 15477, 13467, 14954, 13510, 
3388         next:= [ 15458, 15459 ] ), 15456, 15493, 14421, 13598, 14243, 14764, 
3391       next:= [ 14751, 12516 ] ), rec(
3393       next:= [ 13066, 13069 ] ), rec(
3395       next:= [ 17510, rec(
3398         next:= [ 17521, 17500, 17504 ] ) ] ), 12419, rec(
3402       next:= [ 16341, 16552, 16953, 17213, 16964, rec(
3405         next:= [ 16382, 16389 ] ), 16028, 16029, 16343, 16962, rec(
3408         next:= [ 16380, 16387, 16385 ] ), 17224, rec(
3411         next:= [ 17872, 15952 ] ), 16947, rec(
3414         next:= [ 17274, 17275 ] ), rec(
3417         next:= [ 16545, 16550 ] ), 17221, 16952, rec(
3420         next:= [ 17270, 17269 ] ), 17223, 17216, 16955, 17219, rec(
3423         next:= [ 17279, 17282, 17277 ] ) ] ), rec(
3425       next:= [ 14132, 14136, 14138, 14135, 15654 ] ), rec(
3427       next:= [ 17383, rec(
3430         next:= [ 17314, 17310 ] ), 17307, rec(
3433         next:= [ 17311, 17319 ] ), rec(
3436         next:= [ 17401, 17399 ] ), rec(
3439         next:= [ 17388, 17397, 17386 ] ), 17400 ] ), rec(
3443       next:= [ rec(
3446         next:= [ 14276, 15029 ] ), 13556, 15066, 15438, rec(
3449         next:= [ rec(
3452           next:= [ rec(
3455             next:= [ 15782, 15781 ] ), rec(
3458             next:= [ 15779, 15778 ] ) ] ), 15545, 15809 ] ), rec(
3461         next:= [ 14843, 15061, rec(
3464           next:= [ 14306, 15068 ] ) ] ), rec(
3467         next:= [ rec(
3470           next:= [ rec(
3473             next:= [ 15768, 15767 ] ), 15743 ] ), rec(
3476           next:= [ 15429, 15436 ] ), rec(
3479           next:= [ 15715, 15741 ] ) ] ), rec(
3482         next:= [ 13552, 13558, 13557 ] ), 15737, 13517, 15548, rec(
3485         next:= [ rec(
3488           next:= [ 15070, 15032 ] ), 14916, rec(
3491           next:= [ 15036, 15038, rec(
3494             next:= [ 14821, 14941 ] ) ] ) ] ), rec(
3497         next:= [ 15073, rec(
3500           next:= [ 14853, 14839 ] ), rec(
3503           next:= [ 14948, 14950, rec(
3506             next:= [ 14846, 14942, rec(
3509               next:= [ 14308, 15079 ] ) ] ) ] ) ] ), rec(
3512         next:= [ 15439, 15610 ] ), rec(
3515         next:= [ 13654, 13658 ] ), rec(
3518         next:= [ 14277, 14286, 15080 ] ), 13659, rec(
3521         next:= [ 15762, rec(
3524           next:= [ 15717, 15716, 15726 ] ), 15433 ] ), rec(
3527         next:= [ 14282, rec(
3530           next:= [ 14914, 14280, 14817 ] ) ] ), rec(
3533         next:= [ 13546, 13548, 13555 ] ), 13513, rec(
3536         next:= [ 13634, rec(
3539           next:= [ 13631, 13628 ] ) ] ), rec(
3542         next:= [ rec(
3545           next:= [ 14304, 14938 ] ), rec(
3548           next:= [ 14303, 14932 ] ) ] ), 13554, rec(
3551         next:= [ rec(
3554           next:= [ 14949, 14842 ] ), rec(
3557           next:= [ 14852, 14850 ] ), 15034 ] ), rec(
3560         next:= [ 15562, 15804 ] ), rec(
3563         next:= [ 15620, 15426, 15760 ] ) ] ), rec(
3565       next:= [ 14695, 13979, 13938, 13933, 14694 ] ), rec(
3567       next:= [ rec(
3570         next:= [ 13377, rec(
3573           next:= [ 13348, 13344 ] ), rec(
3576           next:= [ 13342, 13375 ] ) ] ), rec(
3579         next:= [ rec(
3582           next:= [ 13282, 13285 ] ), 13320, rec(
3585           next:= [ 13326, 13328 ] ) ] ), 13255, rec(
3588         next:= [ 13325, rec(
3591           next:= [ 13287, 13289 ] ) ] ), 13317, 13230, rec(
3594         next:= [ 13371, 13365 ] ), rec(
3597         next:= [ 13225, 13260 ] ), rec(
3600         next:= [ 13227, 13262 ] ) ] ), rec(
3604       next:= [ 17260, rec(
3607         next:= [ rec(
3610           next:= [ 17169, 17172 ] ), 17160 ] ), rec(
3613         next:= [ 17176, 17151 ] ), 17290, 17287, 17148, rec(
3616         next:= [ 17147, 17156 ] ), 17164, 16832, 16366, rec(
3619         next:= [ 17179, rec(
3622           next:= [ 17174, 17171 ] ) ] ), 17170, rec(
3625         next:= [ 17163, 17166 ] ), rec(
3628         next:= [ 17009, 17015 ] ), 17256, rec(
3631         next:= [ rec(
3634           next:= [ rec(
3637             next:= [ 17028, 17012 ] ), rec(
3640             next:= [ rec(
3643               next:= [ 17026, 17029 ] ), 17016 ] ) ] ), 16825 ] ), 16253, rec(
3646         next:= [ 17023, rec(
3649           next:= [ 17021, 17024 ] ), 16829 ] ), 17038, 16255, rec(
3652         next:= [ 16254, 16257 ] ), 16822, 17263 ] ), rec(
3655       next:= [ 17334, 17523, rec(
3658         next:= [ rec(
3661           next:= [ 17426, 17434 ] ), rec(
3664           next:= [ 17352, 17423 ] ), rec(
3667           next:= [ 17353, 17361 ] ) ] ), 17340, 17526, rec(
3670         next:= [ 17356, 17428 ] ), 17329, 17460, 17465, 17525, rec(
3673         next:= [ 17528, 17527 ] ), 17324, rec(
3676         next:= [ 17332, 17345 ] ), rec(
3679         next:= [ rec(
3682           next:= [ 17420, 17431 ] ), rec(
3685           next:= [ 17348, 17362 ] ) ] ), rec(
3688         next:= [ 17325, 17341, 17327 ] ), rec(
3691         next:= [ 17349, 17421 ] ), 17337, rec(
3694         next:= [ 17469, 17461, 17463 ] ) ] ), rec(
3697       next:= [ 17204, 17936, 16432, 16427, 17205, rec(
3700         next:= [ rec(
3703           next:= [ 16426, 16428 ] ), 16442 ] ), 16444, 17193, 17189, 17897, 
3706       next:= [ 17647, 17639, 17649, 17645, 17648 ] ), rec(
3713       next:= [ 12809, 14049, 12689, rec(
3716         next:= [ 15114, rec(
3719           next:= [ 13860, 15154 ] ) ] ), 14605, rec(
3722         next:= [ 15085, 15125 ] ), rec(
3725         next:= [ 14473, 14472 ] ), 14627, 14036, 12640, 13870, 14597, 14624, 
3729         next:= [ 15097, 15140 ] ), 15165, 15210, 14609, 14450, rec(
3732         next:= [ 17794, 12698 ] ), 15183, rec(
3735         next:= [ 14451, 14454 ] ), 14602, 13849, rec(
3738         next:= [ 13856, 15142 ] ), rec(
3741         next:= [ 14483, 14481 ] ), 15186, 15164, rec(
3744         next:= [ 13858, 15099 ] ), 15162, 14457, 14045, rec(
3747         next:= [ 15096, 15139 ] ), 14047, rec(
3750         next:= [ 14631, 14629 ] ), rec(
3753         next:= [ 14621, 14620 ] ), rec(
3756         next:= [ 13850, rec(
3759           next:= [ 15093, 15136 ] ) ] ), 12676, 14476, 12652, 12674, 
3763         next:= [ 12704, 12703 ] ), 14041, 14617, 15084, 14469, 17782, 12677, 
3768         next:= [ 15187, 15188 ] ), rec(
3771         next:= [ 14052, 14053 ] ) ] ), 15594, 14754, 12512, rec(
3774       next:= [ 17456, 17417, 17414, 17478, 17492, 17411, rec(
3777         next:= [ rec(
3780           next:= [ 17455, 17452 ] ), 17379, 17382 ] ), 17486, 17485, rec(
3783         next:= [ 17372, 17448 ] ) ] ), rec(
3787       next:= [ 16354, 16736, rec(
3790         next:= [ 17124, 17106 ] ), 16758, rec(
3793         next:= [ 17927, 16357 ] ), 16735, rec(
3796         next:= [ 17239, 17242 ] ), 17118, 16122, 17247, 16745, rec(
3799         next:= [ 17234, 17233 ] ), 17112, 17114, 17246, 17929, 16759, 17240, 
3803         next:= [ 17125, 17122 ] ), rec(
3806         next:= [ 17253, 17250 ] ), 17109 ] ), rec(
3808       next:= [ 17299, 17297, rec(
3811         next:= [ 17296, 17306 ] ) ] ), rec(
3815       next:= [ rec(
3818         next:= [ 14593, 14594, 14566 ] ), 13004, rec(
3821         next:= [ rec(
3824           next:= [ 14024, 15303 ] ), rec(
3827           next:= [ 14006, 15289 ] ) ] ), rec(
3830         next:= [ 13042, rec(
3833           next:= [ 13046, 13050 ] ), 12785 ] ), 14567, rec(
3836         next:= [ 14009, 15251 ] ), 15343, rec(
3839         next:= [ 15254, rec(
3842           next:= [ 15293, rec(
3845             next:= [ 14013, 15292 ] ) ] ) ] ), 12968, rec(
3848         next:= [ rec(
3851           next:= [ 15264, 15250 ] ), rec(
3854           next:= [ 14008, 15278 ] ) ] ), rec(
3857         next:= [ 15340, 15347 ] ), 14565, rec(
3860         next:= [ rec(
3863           next:= [ 15367, rec(
3866             next:= [ 15352, 15325 ] ) ] ), 15324 ] ), 15249, rec(
3869         next:= [ 12623, 12939 ] ), 13007, 15346, 12999, rec(
3872         next:= [ rec(
3875           next:= [ 14733, 14740 ] ), rec(
3878           next:= [ 14713, 14714 ] ) ] ), rec(
3881         next:= [ 14595, 14568 ] ), rec(
3884         next:= [ 15351, 15321 ] ), rec(
3887         next:= [ 12779, 13037 ] ), 14569, rec(
3890         next:= [ 14728, 14732 ] ), 14583, rec(
3893         next:= [ 17703, 12619, 12969 ] ) ] ), rec(
3895       next:= [ 14162, 14137, 14171, 15669 ] ), rec(
3897       next:= [ rec(
3900         next:= [ 17516, 17498 ] ), 17503 ] ), rec(
3902       next:= [ 13653, 14840, 15060, 14933, 14315, 13525 ] ), rec(
3906       next:= [ 16338, 17220, 17218, 16030, 16958, 17272, 16551, 17222, 16381, 
3911         next:= [ 16963, 16960 ] ), 16027, 16543, rec(
3914         next:= [ 16961, rec(
3917           next:= [ 16957, 16950 ] ) ] ), 17229, rec(
3920         next:= [ 17871, rec(
3923           next:= [ 15950, 15951 ] ) ] ), 16541, 16549 ] ), rec(
3926       next:= [ rec(
3929         next:= [ rec(
3932           next:= [ 17313, 17321 ] ), 17312 ] ), 17394, 17392, 17384, 17393, 
3936         next:= [ 17308, 17322 ] ), 17389, 17309, rec(
3939         next:= [ 17385, 17396, 17387 ] ) ] ), rec(
3941       next:= [ rec(
3944         next:= [ 13361, 13362 ] ), 13251, rec(
3947         next:= [ 13318, 13307 ] ), 13369, 13310, 13259, 13246 ] ), rec(
3949       next:= [ 16981, rec(
3952         next:= [ 16970, 16973 ] ), 17919, 17918, rec(
3955         next:= [ 16972, 16982 ] ), 16971 ] ), rec(
3957       next:= [ 17681, 17814, 17741 ] ), rec(
3959       next:= [ 14100, 14107 ] ), rec(
3964       next:= [ 14174, 14318, 13674, 15371, 14106, 13699, rec(
3967         next:= [ 14354, 14325 ] ), rec(
3970         next:= [ 14216, 14204 ] ), 14098, 15639, 14350, 13689, 13685, 14198, 
3974         next:= [ 14321, 14322 ] ), 13686, 14320, 15527, rec(
3977         next:= [ 15581, 15582 ] ), 14214, 15517, 13405, 14346, 13408, 15376, 
3981         next:= [ 14356, 14326 ] ), 13412, rec(
3984         next:= [ 14327, rec(
3987           next:= [ 14328, 14358 ] ) ] ), 14176, 15531, 15520, 14177, 15638, 
3990       next:= [ 16364, 17283, 17261 ] ), 17640, rec(
3992       next:= [ 14757, 12525 ] ), rec(
3995       next:= [ rec(
3998         next:= [ 17358, 17427 ] ), rec(
4001         next:= [ 17360, 17432 ] ), rec(
4004         next:= [ 17357, 17430 ] ), 17343, 17533, 17339, 17466, 17335, 17468, 
4007       next:= [ 12797, 12647 ] ), rec(
4010       next:= [ 17198, 17199, 17894, 16441, 17192, rec(
4013         next:= [ 16434, 16439 ] ), 17202, 17203, 17893, 17194, 17934 ] ), rec(
4016       next:= [ rec(
4019         next:= [ rec(
4022           next:= [ 14771, 14866 ] ), 14227, 14970 ] ), rec(
4025         next:= [ 13439, 13453 ] ), 14399, 14807, 15447, rec(
4028         next:= [ 14904, 14235 ] ), rec(
4031         next:= [ 13445, rec(
4034           next:= [ 13444, 13432 ] ), 13446 ] ), rec(
4037         next:= [ 14400, rec(
4040           next:= [ 14395, 14403 ] ) ] ), 13436, 15476, rec(
4043         next:= [ 15484, 15490, 15677 ] ), rec(
4046         next:= [ rec(
4049           next:= [ rec(
4052             next:= [ 13574, 13575 ] ), rec(
4055             next:= [ 13573, 13572 ] ) ] ), 13568 ] ), rec(
4058         next:= [ 13441, rec(
4061           next:= [ 13447, 13448 ] ), 13449 ] ), 14968, 13571, 14393, rec(
4064         next:= [ 14972, 14974, rec(
4067           next:= [ 14773, rec(
4070             next:= [ 14870, 14231 ] ) ] ) ] ), rec(
4073         next:= [ 14230, rec(
4076           next:= [ 14774, 14869 ] ), 14973 ] ) ] ), rec(
4078       next:= [ 17484, rec(
4081         next:= [ 17374, 17447 ] ), 17375, 17412, 17479, 17451 ] ), rec(
4083       next:= [ 13839, 17772, 17765, 13835, 13825 ] ), rec(
4087       next:= [ 16355, 17928, 16741, 17235, 17119, 17245, 16757, 16739, 17926, 
4091         next:= [ 16737, 16742 ] ), 16119, 16760, rec(
4094         next:= [ 17110, 17113 ] ), rec(
4097         next:= [ 17126, rec(
4100           next:= [ 17120, 17121 ] ) ] ), 16753, 17251, 17248, 16763, rec(
4103         next:= [ 17123, 17102 ] ), 16764, 16121, 17135, 17238, rec(
4106         next:= [ 17104, 17098 ] ), rec(
4109         next:= [ 16120, 16123 ] ), 16744, 17111, 16756, rec(
4112         next:= [ rec(
4115           next:= [ 17116, 17117 ] ), 17108 ] ) ] ), rec(
4117       next:= [ rec(
4120         next:= [ 15361, 15341 ] ), 14734, rec(
4123         next:= [ 14020, 15298 ] ), 15259, 14735 ] ), rec(
4125       next:= [ rec(
4128         next:= [ 17298, 17304 ] ), 17302, 17300, 17295 ] ), 17852, rec(
4130       next:= [ 17276, 16378, 17217, 17215 ] ), 17828, rec(
4137       next:= [ 14683, 12758, 17727, 13952, 13960, 17728, rec(
4140         next:= [ 17730, 17729 ] ), 14530, 12744, 14537, 14679, 13884, rec(
4143         next:= [ 13885, 13886 ] ), 13955, 13968, 17819, 14667, 12746, rec(
4146         next:= [ 12561, 17674 ] ), 13882, 14527, 13965, 13946, 14686, 13903, 
4150         next:= [ 17669, rec(
4153           next:= [ 12566, 12568 ] ) ] ), 13963, 13901, 14670, rec(
4156         next:= [ 12559, 17671 ] ), 14664, 12733, rec(
4159         next:= [ 14514, 14516 ] ), 17713, rec(
4162         next:= [ 12563, 17675 ] ), 17676, 14518, 13940, 12569, 17726, 
4166         next:= [ 13908, 13909 ] ), 14513, 12756, rec(
4169         next:= [ 12567, 12545 ] ), 13948, 12732, 17662, 13905, 12550, 13949, 
4172       next:= [ 17390, 17320, 17402, 17318, 17317, 17398 ] ), rec(
4174       next:= [ 16978, 16980, 17915, 17917 ] ), rec(
4176       next:= [ 15636, rec(
4179         next:= [ 15379, 15574 ] ) ] ), 14759, rec(
4183       next:= [ 12902, 12310, rec(
4186         next:= [ 13206, 13175 ] ), 13200, rec(
4189         next:= [ 12276, 12281, 12282 ] ), 13122, 12903, rec(
4192         next:= [ 13201, 13202 ] ), rec(
4195         next:= [ rec(
4198           next:= [ 12342, 12340 ] ), rec(
4201           next:= [ 13081, 12351 ] ), rec(
4204           next:= [ 12341, rec(
4207             next:= [ 13125, 13082 ] ) ] ) ] ), rec(
4210         next:= [ 12880, 13168 ] ), 13158, rec(
4213         next:= [ 12347, rec(
4216           next:= [ rec(
4219             next:= [ 13119, 13083 ] ), 12346 ] ) ] ), 13112, rec(
4222         next:= [ 12910, rec(
4225           next:= [ 12911, 12909 ] ) ] ), 13111, rec(
4228         next:= [ 12381, rec(
4231           next:= [ 12379, 12380 ] ) ] ), rec(
4234         next:= [ 12872, 13157 ] ), rec(
4237         next:= [ 12308, 12316 ] ), rec(
4240         next:= [ 12835, rec(
4243           next:= [ 12832, 12836 ] ), 12837 ] ), rec(
4246         next:= [ 12840, 12843 ] ), 12275, 13208, 12389, 12521, rec(
4249         next:= [ 13164, 13131 ] ), 12846, rec(
4252         next:= [ 12878, rec(
4255           next:= [ 13132, 13165 ] ), 12879 ] ) ] ), rec(
4257       next:= [ 16252, rec(
4260         next:= [ 17006, 17013 ] ), 16823, rec(
4263         next:= [ 17149, 17168 ] ) ] ), rec(
4265       next:= [ 17338, 17524, rec(
4268         next:= [ 17355, 17429 ] ), 17467, 17336 ] ), rec(
4271       next:= [ 17191, 17935, 16438, 17197, 17895, 17201, 16436, 16440, 16437, 
4274       next:= [ 15591, 15601 ] ), rec(
4278       next:= [ 13494, 15695, 13612, 13487, 14442, 15509, 13500, rec(
4281         next:= [ 14261, 14888 ] ), rec(
4284         next:= [ 14797, 15005 ] ), 14425, 14238, 13613, 15515, 14805, 14443, 
4288         next:= [ 13486, 13489 ] ), rec(
4291         next:= [ 13579, 13576 ] ), 15000, rec(
4294         next:= [ 14890, 15002 ] ), 14258, rec(
4297         next:= [ 13496, 13484 ] ), 15466, 14796 ] ), 17754, rec(
4299       next:= [ 17237, 16353, 17249 ] ), rec(
4301       next:= [ 17305, 17301 ] ), 17704, rec(
4303       next:= [ 14093, 15673 ] ), 17851, rec(
4306       next:= [ 14128, 15651, 15650, 14159, 14126, 15649, 14150, 15665, 14157, 
4312       next:= [ rec(
4315         next:= [ 15557, rec(
4318           next:= [ 15801, 15802 ] ) ] ), rec(
4321         next:= [ 15711, rec(
4324           next:= [ 15617, 15758 ] ) ] ), 15773, 13539, 13542, rec(
4327         next:= [ 15541, 15772 ] ), rec(
4330         next:= [ 14831, rec(
4333           next:= [ 14296, 14928 ] ) ] ), rec(
4336         next:= [ 15544, 15776 ] ), rec(
4339         next:= [ 15047, 15048, rec(
4342           next:= [ 14924, 14827 ] ) ] ), 13650, 13638, rec(
4345         next:= [ 15797, 15798 ] ), 13661, 15733, 15412, 13560, rec(
4348         next:= [ 14273, 15022 ] ), 15020, 13563, 13536, 15551, rec(
4351         next:= [ 14908, 14272 ] ), rec(
4354         next:= [ 14270, 14810 ] ), 14291, rec(
4357         next:= [ 15055, rec(
4360           next:= [ 15077, 15056 ] ), rec(
4363           next:= [ rec(
4366             next:= [ 14816, 14833 ] ), rec(
4369             next:= [ rec(
4372               next:= [ 14930, 14912 ] ), rec(
4375               next:= [ 14297, 14312 ] ) ] ) ] ) ] ), 13648, rec(
4378         next:= [ 14909, 14813 ] ), 15018, rec(
4381         next:= [ 14920, 14823, 15042 ] ), rec(
4384         next:= [ rec(
4387           next:= [ 15052, 15026 ] ), rec(
4390           next:= [ 14311, 14945 ] ) ] ), 13662, 15734, 15407, rec(
4393         next:= [ 14310, 14847, rec(
4396           next:= [ 15050, 15025 ] ) ] ), 13647, rec(
4399         next:= [ 15554, rec(
4402           next:= [ 15796, 15795 ] ) ] ), 13561, rec(
4405         next:= [ 14926, 14829 ] ), rec(
4408         next:= [ rec(
4411           next:= [ 14922, 14290 ] ), 14825, 15044 ] ) ] ), rec(
4413       next:= [ 14744, 12534, 17629 ] ), rec(
4415       next:= [ 17719, 13959, 12741, 12739, 13898, 12578, 17665 ] ), rec(
4418       next:= [ 13706, rec(
4421         next:= [ 13704, 13705 ] ) ] ), rec(
4423       next:= [ 16546, 16339, 16959 ] ), rec(
4425       next:= [ 17395, 17391, 17315 ] ), rec(
4427       next:= [ 13166, 12899, 13203, 12869 ] ), rec(
4429       next:= [ 16977, rec(
4432         next:= [ 16979, 16976 ] ), 17916, 16975, 16983, 17914 ] ), 17650, rec(
4437       next:= [ 15196, 14086, 14501, 14634, rec(
4440         next:= [ 14490, 14494 ] ), 14057, 15195, 14083, 12672, 15144, rec(
4443         next:= [ 14489, 14493 ] ), rec(
4446         next:= [ 14496, 14498 ] ), 15216, 14077, rec(
4449         next:= [ 17804, 12715 ] ), 15221, 12659, 14078, 14492, rec(
4452         next:= [ 13875, 15103 ] ), 15220, 12707, rec(
4455         next:= [ 13878, rec(
4458           next:= [ 15101, 15160 ] ) ] ), rec(
4461         next:= [ 17803, rec(
4464           next:= [ 12710, 12721 ] ) ] ), 14491, 12667, rec(
4467         next:= [ 14653, rec(
4470           next:= [ 14638, 14654 ] ) ] ), 14488, 14081, 15116, 12665, 
4474         next:= [ 13876, 15155 ] ) ] ), rec(
4476       next:= [ rec(
4479         next:= [ 13796, 13799, 13800 ] ), rec(
4482         next:= [ 13746, rec(
4485           next:= [ 13727, 13749 ] ), 13750 ] ) ] ), rec(
4487       next:= [ 17195, 17196 ] ), 17822, rec(
4489       next:= [ 17746, 17748, 13802, 13808, 13804, 13805 ] ), rec(
4496       next:= [ 13989, rec(
4499         next:= [ 15282, 15241 ] ), 15316, rec(
4502         next:= [ 13056, 13057, rec(
4505           next:= [ 13033, 12764 ] ) ] ), rec(
4508         next:= [ 13031, 12778 ] ), 12790, rec(
4511         next:= [ rec(
4514           next:= [ 12966, 12934 ] ), 17695, rec(
4517           next:= [ 12605, rec(
4520             next:= [ 12616, 12614 ] ) ] ) ] ), rec(
4523         next:= [ 15332, 15331 ] ), rec(
4526         next:= [ 15234, rec(
4529           next:= [ 13992, 15272 ] ) ] ), 12997, 14005, 12777, rec(
4532         next:= [ 15236, rec(
4535           next:= [ 13993, 15274 ] ) ] ), rec(
4538         next:= [ 12932, 17699, 12612 ] ), rec(
4541         next:= [ 14002, 15262 ] ), 15310, 14721, 17690, 14725, 14704, 
4545         next:= [ 13988, 15268 ] ), rec(
4548         next:= [ 13994, rec(
4551           next:= [ 15279, 15238 ] ) ] ), 15364, 12765, 14718, rec(
4554         next:= [ 15319, 15320 ] ), rec(
4557         next:= [ rec(
4560           next:= [ 12965, 12924 ] ), rec(
4563           next:= [ 12593, 12615 ] ) ] ), 14701, 14707, 14557, 14570, 13009, 
4567         next:= [ rec(
4570           next:= [ 13054, 13053 ] ), 12787 ] ), 17700, 14580, 15306, 12988, 
4574         next:= [ 14558, 14559 ] ), 15314, 12598, rec(
4577         next:= [ 14000, 15301 ] ), rec(
4580         next:= [ 12961, 17698, 12610 ] ), rec(
4583         next:= [ 13986, 15226 ] ), rec(
4586         next:= [ 15275, 15232 ] ), 14576, 14710, 15308, 15330, rec(
4589         next:= [ 12975, 12943, 12617 ] ), rec(
4592         next:= [ 15283, 15242 ] ), rec(
4595         next:= [ 15269, 15229 ] ), 14715 ] ), rec(
4597       next:= [ 14089, 14143, 14149, 15658, 15661, 15656 ] ), rec(
4599       next:= [ 16118, 16754, 16740, rec(
4602         next:= [ 17115, 17100 ] ) ] ), rec(
4604       next:= [ rec(
4607         next:= [ 15746, 15612 ] ), rec(
4610         next:= [ 15416, 15701 ] ), 15722 ] ), 17617, 17303, rec(
4613       next:= [ 14748, 14747 ] ), rec(
4615       next:= [ 12436, 12460, rec(
4618         next:= [ 12435, 12458 ] ), 17621, rec(
4621         next:= [ 12466, 12467 ] ), 12494, rec(
4624         next:= [ 17589, 12431 ] ), 12492, 12404 ] ), 17850, 12278, rec(
4629       next:= [ 15645, 14210, 14378, 14369, 14338, 13380, 14376, 13383, 14380, 
4633         next:= [ 15570, 15631 ] ), rec(
4636         next:= [ 15392, 15397 ] ), 14339, rec(
4639         next:= [ 15537, 15521 ] ), 14372, 13393, rec(
4642         next:= [ 15584, 15390 ] ), 13422, rec(
4645         next:= [ 13394, 13395 ] ), 15538, 13692, 13696, rec(
4648         next:= [ 15399, 15395 ] ), 14371, rec(
4651         next:= [ 14219, 14208 ] ), 14188, 15628, 14220, 14343, 14374, 14189, 
4655         next:= [ 15393, 15643 ] ) ] ), rec(
4657       next:= [ rec(
4660         next:= [ 13793, 13767 ] ), rec(
4663         next:= [ 13726, rec(
4666           next:= [ 13724, 13745 ] ) ] ), rec(
4669         next:= [ 13786, 13784 ] ), 13740 ] ), 17790, rec(
4671       next:= [ 15698, 14114 ] ), 16435, rec(
4676       next:= [ 13582, rec(
4679         next:= [ 14785, rec(
4682           next:= [ 14248, 14880 ] ) ] ), rec(
4685         next:= [ 14779, rec(
4688           next:= [ 14874, 14242 ] ), 14980 ] ), rec(
4691         next:= [ rec(
4694           next:= [ 14991, 14996 ] ), 14992, rec(
4697           next:= [ 14787, rec(
4700             next:= [ 14255, 14882 ] ) ] ) ] ), 14390, 15494, 13599, rec(
4703         next:= [ 14777, 14872, 14978 ] ), rec(
4706         next:= [ 15692, rec(
4709           next:= [ 15507, 15508 ] ) ] ), 15461, 14389, rec(
4712         next:= [ 14988, rec(
4715           next:= [ 14885, 14253 ] ) ] ), rec(
4718         next:= [ 14860, 14224 ] ), rec(
4721         next:= [ 15689, rec(
4724           next:= [ 15504, 15503 ] ) ] ), 15675, 13478, 15452, rec(
4727         next:= [ 14783, 14878 ] ), rec(
4730         next:= [ 14958, 14225 ] ), 13597, rec(
4733         next:= [ 15482, 15676 ] ), 13604, 13596, 13469, 13481, 13470, rec(
4736         next:= [ 14789, 14252, 14986 ] ), rec(
4739         next:= [ 14983, 14984, rec(
4742           next:= [ 14781, 14876 ] ) ] ), 14382, 13627, rec(
4745         next:= [ 14391, rec(
4748           next:= [ 14422, 14392 ] ) ] ), rec(
4751         next:= [ 15505, 15506 ] ), rec(
4754         next:= [ 14386, 14385 ] ), 13468, rec(
4757         next:= [ 15464, rec(
4760           next:= [ 15460, 15463 ] ) ] ), 15462, rec(
4763         next:= [ 14762, 14222 ] ), 15442, 14414, 13471, rec(
4766         next:= [ 15478, 15674 ] ), 14384 ] ), rec(
4768       next:= [ 13807, 13815, 17757, 17750, 17769, 17753, 13817, 
4772       next:= [ 13026, 12627, 17692, 12773, 13995, 12772, 15295, 13024, 15355, 
4776       next:= [ 12485, 12420, 12454, 12452, 17612, 12530, 12487, 17554, 17583, 
4781       next:= [ rec(
4784         next:= [ rec(
4787           next:= [ 12751, 12750 ] ), 12753 ] ), 14546, 13935, rec(
4790         next:= [ 13942, 13923 ] ), rec(
4793         next:= [ 13983, 13978 ] ), 14687, 12747, 14550, 17734, 17736, 
4797         next:= [ 12574, 12575 ] ), rec(
4800         next:= [ 13984, 13971 ] ), rec(
4803         next:= [ 17680, 12573 ] ), 13919, 13943, 17732, 13915, rec(
4806         next:= [ 13912, 13927 ] ), 17740, rec(
4809         next:= [ 17678, 12571 ] ), 14538, 13973, rec(
4812         next:= [ rec(
4815           next:= [ 13911, 13930 ] ), 13924 ] ), 13939, 13970, rec(
4818         next:= [ 14698, rec(
4821           next:= [ 14688, 14700 ] ) ] ), 13925, rec(
4824         next:= [ 14696, 14691 ] ), 13918, 13974 ] ), 13418, 13723, 16974, 
4829       next:= [ rec(
4832         next:= [ 15092, 15130 ] ), 14601, rec(
4835         next:= [ 12685, 12686 ] ), rec(
4838         next:= [ 17780, rec(
4841           next:= [ 12684, 12683 ] ) ] ), 14026, 14028, 14458, 15170, rec(
4844         next:= [ 13844, 15124 ] ), 14610, rec(
4847         next:= [ 15088, 15131 ] ), rec(
4850         next:= [ 14452, 14455 ] ), 15166, rec(
4853         next:= [ 14030, 14029 ] ), rec(
4856         next:= [ 12636, 12637 ] ), 17783, 14084, 12690, rec(
4859         next:= [ 13842, 15082 ] ), 14606, 14598, rec(
4862         next:= [ 15175, 15176 ] ), 13845, 12678, 12641, 15172, rec(
4865         next:= [ 15090, rec(
4868           next:= [ 13848, 15128 ] ) ] ), 12635, 14449 ] ), rec(
4870       next:= [ rec(
4873         next:= [ 15598, 15596 ] ), 15597 ] ), rec(
4876       next:= [ 15682, 15497, 14997, 14761, 14788, rec(
4879         next:= [ 14247, 14886 ] ), rec(
4882         next:= [ 14859, 14241 ] ), 14415, 14111, 15501, 15498, 15684, 14959, 
4885       next:= [ 12515, 14749 ] ), 14753, 13074, rec(
4888       next:= [ 14133, 14170, 14134, 14164, 14139, 15672, rec(
4891         next:= [ 15655, 15652 ] ), 14131, 14167, 14142, 14166 ] ), rec(
4895       next:= [ 13549, rec(
4898         next:= [ 14314, 14309 ] ), rec(
4901         next:= [ rec(
4904           next:= [ 15078, 15072 ] ), 14936, rec(
4907           next:= [ 14943, 14845, 15065 ] ) ] ), rec(
4910         next:= [ 15069, 15063, rec(
4913           next:= [ rec(
4916             next:= [ 14302, 14837 ] ), 14940 ] ) ] ), rec(
4919         next:= [ 15058, 15067 ] ), 15608, rec(
4922         next:= [ 15425, 15712 ] ), rec(
4925         next:= [ 15713, 15434 ] ), rec(
4928         next:= [ rec(
4931           next:= [ 15783, 15777 ] ), 15563 ] ), rec(
4934         next:= [ 15547, rec(
4937           next:= [ 15810, 15808 ] ) ] ), 14305, rec(
4940         next:= [ 13516, 13526, 13527 ] ), 15738, 13655, rec(
4943         next:= [ 15432, rec(
4946           next:= [ 15618, 15744 ] ), 15718 ] ), rec(
4949         next:= [ 13652, 13656 ] ), rec(
4952         next:= [ rec(
4955           next:= [ 15427, 15766 ] ), 15765, 15725 ] ), rec(
4958         next:= [ 14835, 14841 ] ), 14307, rec(
4961         next:= [ 15071, 14935, rec(
4964           next:= [ rec(
4967             next:= [ 14818, 14844 ] ), 14913 ] ) ] ), rec(
4970         next:= [ 14939, 15028 ] ), rec(
4973         next:= [ 13514, 13523 ] ), 13629, rec(
4976         next:= [ 14952, 14283 ] ), rec(
4979         next:= [ 15435, 15740, rec(
4982           next:= [ rec(
4985             next:= [ 15763, 15764 ] ), 15430 ] ) ] ), 13551, rec(
4988         next:= [ 15564, rec(
4991           next:= [ 15803, 15806 ] ) ] ), 14854, rec(
4994         next:= [ 15031, 14284 ] ) ] ), 14542, rec(
4997       next:= [ rec(
5000         next:= [ rec(
5003           next:= [ 13327, 13329 ] ), 13286 ] ), 13249, 13253, rec(
5006         next:= [ 13374, rec(
5009           next:= [ 13346, 13372 ] ), rec(
5012           next:= [ 13345, 13373, 13379 ] ) ] ), rec(
5015         next:= [ 13231, 13264 ] ), rec(
5018         next:= [ 13370, 13367 ] ), 13224, rec(
5021         next:= [ 13229, 13257, 13263 ] ), rec(
5024         next:= [ 13316, 13308 ] ), 13256, rec(
5027         next:= [ rec(
5030           next:= [ 13313, 13315 ] ), 13311 ] ), rec(
5033         next:= [ 13284, 13322 ] ) ] ), rec(
5035       next:= [ 14101, 14108 ] ), rec(
5037       next:= [ 17637, 17642, 17643, 17646 ] ), rec(
5042       next:= [ 14618, 12799, 15123, 12724, 15192, 17787, 14628, 14042, 15167, 
5046         next:= [ 14477, 14470 ] ), 13851, 14622, 14039, 12648, 12653, 12798, 
5051         next:= [ 15100, 15143 ] ), 14625 ] ), 12513, rec(
5053       next:= [ rec(
5056         next:= [ 13840, 13828 ] ), rec(
5059         next:= [ 13833, 13832 ] ), 17767, 13829, 17775 ] ), rec(
5063       next:= [ rec(
5066         next:= [ 15246, rec(
5069           next:= [ 14022, 15290 ] ) ] ), rec(
5072         next:= [ 15260, rec(
5075           next:= [ 14019, 15287 ] ) ] ), rec(
5078         next:= [ rec(
5081           next:= [ 13036, 13039 ] ), 12781 ] ), rec(
5084         next:= [ 12620, 12938 ] ), rec(
5087         next:= [ 15337, 15344 ] ), 15345, rec(
5090         next:= [ 15342, 15348 ] ), 14591, 14589, rec(
5093         next:= [ rec(
5096           next:= [ 15253, 15252 ] ), rec(
5099           next:= [ 15294, 14010, rec(
5102             next:= [ 14012, 15288 ] ) ] ) ] ), rec(
5105         next:= [ 13006, 13008 ] ), rec(
5108         next:= [ 15263, 15248 ] ), rec(
5111         next:= [ 14007, 15277 ] ), rec(
5114         next:= [ 14736, rec(
5117           next:= [ 14729, 14738 ] ) ] ), rec(
5120         next:= [ 15368, rec(
5123           next:= [ rec(
5126             next:= [ 15323, 15350 ] ), 15326 ] ) ] ), rec(
5129         next:= [ 15349, rec(
5132           next:= [ 15365, 15322 ] ) ] ), 15357, 14582, 13000, 14731, 
5136         next:= [ rec(
5139           next:= [ rec(
5142             next:= [ 13045, 13044 ] ), rec(
5145             next:= [ 13047, 13051 ] ) ] ), rec(
5148           next:= [ 13041, 13043 ] ), rec(
5151           next:= [ 12784, rec(
5154             next:= [ 12780, 12786 ] ) ] ) ] ), rec(
5157         next:= [ 14739, 14730 ] ), rec(
5160         next:= [ 17701, rec(
5163           next:= [ 12971, 12972 ] ), rec(
5166           next:= [ 12624, 12625 ] ) ] ), 14596, rec(
5169         next:= [ 12618, 12937 ] ), 15360, rec(
5172         next:= [ 15237, rec(
5175           next:= [ rec(
5178             next:= [ 14021, 15304 ] ), rec(
5181             next:= [ 14011, 15291 ] ) ] ) ] ) ] ), 14163, 13547, rec(
5183       next:= [ 13363, 13306 ] ), 17815, 17826, rec(
5187       next:= [ 14200, 13682, 14096, 15528, rec(
5190         next:= [ 15373, rec(
5193           next:= [ 15380, 15578 ] ) ] ), 14347, rec(
5196         next:= [ 15383, 15640 ] ), 14345, rec(
5199         next:= [ 15576, 15635 ] ), 14353, 14194, 15519, 14097, 13403, 13690, 
5203         next:= [ 15370, 15573, 15633 ] ), 14103, 13409, 15525, 14359, 13414, 
5207         next:= [ rec(
5210           next:= [ 15377, 15381 ] ), 15579, 15634 ] ), rec(
5213         next:= [ 15374, 15572, 15632 ] ), 13687 ] ), rec(
5215       next:= [ 14756, 12523 ] ), 14760, rec(
5218       next:= [ 12915, 12914, rec(
5221         next:= [ 12320, rec(
5224           next:= [ 12350, 13084 ] ), rec(
5227           next:= [ rec(
5230             next:= [ 13126, 13085 ] ), 12319 ] ) ] ), rec(
5233         next:= [ 13086, 12353 ] ), rec(
5236         next:= [ 12315, 12291 ] ), 12292, rec(
5239         next:= [ rec(
5242           next:= [ 12286, rec(
5245             next:= [ 12287, 12254 ] ) ] ), 12252, 12253 ] ), rec(
5248         next:= [ 12288, 12255 ] ), 12390, rec(
5251         next:= [ 12359, 12358 ] ), 13123, 12850, rec(
5254         next:= [ rec(
5257           next:= [ 12845, 12848 ] ), 12847, 12849 ] ), 13133, rec(
5260         next:= [ 12882, 13134 ] ), 13209, 13176, rec(
5263         next:= [ 12881, 13169 ] ) ] ), 15592, rec(
5269       next:= [ 14435, rec(
5272         next:= [ 14893, rec(
5275           next:= [ 14260, 14975 ] ), rec(
5278           next:= [ 14772, 14902 ] ) ] ), 13437, rec(
5281         next:= [ 14444, 14433 ] ), rec(
5284         next:= [ rec(
5287           next:= [ 14794, 14867 ] ), 14770, 14969 ] ), 14431, 15007, rec(
5290         next:= [ 13622, 13621 ] ), rec(
5293         next:= [ rec(
5296           next:= [ 14398, 14404 ] ), 14397 ] ), 13443, rec(
5299         next:= [ 15489, rec(
5302           next:= [ 15512, 15483 ] ) ] ), rec(
5305         next:= [ 14806, 15013, rec(
5308           next:= [ rec(
5311             next:= [ 14803, 14899 ] ), 14267 ] ) ] ), rec(
5314         next:= [ rec(
5317           next:= [ 15680, 15678 ] ), 15486, 15488 ] ), 14228, rec(
5320         next:= [ 14801, 14266, 15009 ] ), rec(
5323         next:= [ 14967, rec(
5326           next:= [ 14897, 15012 ] ) ] ), rec(
5329         next:= [ rec(
5332           next:= [ 13619, 13620 ] ), 13617 ] ), rec(
5335         next:= [ rec(
5338           next:= [ 13578, 13577 ] ), rec(
5341           next:= [ 13567, 13569 ] ) ] ), rec(
5344         next:= [ 14263, 14894 ] ), 13502, rec(
5347         next:= [ 15472, 15474 ] ), rec(
5350         next:= [ rec(
5353           next:= [ 14864, 14769 ] ), 14236 ] ), rec(
5356         next:= [ 14394, 14401 ] ), 13440, 15475, rec(
5359         next:= [ 14800, 14900 ] ), rec(
5362         next:= [ 14396, 14407 ] ), 14229, rec(
5365         next:= [ 15697, 15514 ] ), 15445, 13433, 15448, rec(
5368         next:= [ 13485, 13499 ] ), 13616, rec(
5371         next:= [ 14234, 14964 ] ), 15467, 15016, 13493, rec(
5374         next:= [ 13491, 13501 ] ), 14429, rec(
5377         next:= [ rec(
5380           next:= [ 14976, 15003 ] ), 14971, rec(
5383           next:= [ 14775, 14868 ] ) ] ), 14232, 13503, rec(
5386         next:= [ 13498, rec(
5389           next:= [ 13506, 13505 ] ), 13504 ] ), rec(
5392         next:= [ 13570, 13564 ] ) ] ), 13837, 14586, rec(
5398       next:= [ rec(
5401         next:= [ 13906, 13907 ] ), 13895, rec(
5404         next:= [ 14533, 14528 ] ), 17817, 13889, 12579, 14671, 14677, 13956, 
5410         next:= [ 17664, rec(
5413           next:= [ 12546, 17663 ] ) ] ), 12742, 13891, 13967, 17667, 14666, 
5417         next:= [ 12581, 17659 ] ), 13961, 13932, 17714, 17724, 17717, 12580, 
5422     next:= [ 5785, 5802, rec(
5424       next:= [ 5805, 5777, 5780, 5776, 5808 ] ), rec(
5426       next:= [ 5840, 5796 ] ), 5811, rec(
5428       next:= [ 5806, 5809, 5827, rec(
5431         next:= [ rec(
5434           next:= [ 5826, 5825 ] ), 5778 ] ) ] ), rec(
5436       next:= [ rec(
5439         next:= [ 5814, rec(
5442           next:= [ 5798, 5816 ] ), 5818 ] ), 5832, 5801, rec(
5445         next:= [ 5833, 5841 ] ) ] ), rec(
5447       next:= [ 5812, 5829 ] ), rec(
5449       next:= [ 5783, 5784 ] ), 5803, 5774, 5836, rec(
5452       next:= [ 5804, 5820, 5821 ] ), rec(
5454       next:= [ 5779, 5824, rec(
5457         next:= [ rec(
5460           next:= [ 5822, 5823 ] ), 5775 ] ), 5810, 5781, 5807 ] ), rec(
5462       next:= [ 5834, rec(
5465         next:= [ 5830, 5838, 5839 ] ), 5800, 5797 ] ), rec(
5467       next:= [ 5813, 5828 ] ), 5782, rec(
5469       next:= [ rec(
5472         next:= [ rec(
5475           next:= [ 5799, 5817 ] ), 5815, 5819 ] ), rec(
5478         next:= [ 5835, 5845 ] ), rec(
5481         next:= [ rec(
5484           next:= [ 5831, rec(
5487             next:= [ 5837, 5842 ] ) ] ), 5844, 5843 ] ) ] ) ] ), rec(
5491     next:= [ rec(
5493       next:= [ 5211, 5245 ] ), rec(
5495       next:= [ 5277, 5257 ] ), rec(
5497       next:= [ 5247, rec(
5500         next:= [ 5231, 5232, 5221 ] ), rec(
5503         next:= [ 5217, 5212 ] ), 5218, 5249 ] ), rec(
5505       next:= [ rec(
5508         next:= [ 5271, rec(
5511           next:= [ 5267, 5255 ] ) ] ), rec(
5514         next:= [ 5287, 5275, 5291 ] ) ] ), rec(
5516       next:= [ rec(
5519         next:= [ rec(
5522           next:= [ 5239, 5234 ] ), rec(
5525           next:= [ 5241, 5233 ] ), rec(
5528           next:= [ 5227, 5222 ] ) ] ), rec(
5531         next:= [ 5250, 5254 ] ), rec(
5534         next:= [ 5242, 5240, 5228 ] ) ] ), rec(
5536       next:= [ rec(
5539         next:= [ 5289, 5281, rec(
5542           next:= [ rec(
5545             next:= [ 5283, 5285 ] ), 5279, 5293 ] ) ] ), rec(
5548         next:= [ 5259, rec(
5551           next:= [ rec(
5554             next:= [ 5265, 5263 ] ), 5261 ] ), rec(
5557           next:= [ 5273, 5269 ] ) ] ) ] ), 5302, rec(
5559       next:= [ 5311, 5209 ] ), rec(
5561       next:= [ rec(
5564         next:= [ 5210, 5214 ] ), rec(
5567         next:= [ 5299, 5296 ] ), rec(
5570         next:= [ 5229, 5219 ] ), rec(
5573         next:= [ 5305, 5307 ] ), 5246, 5215 ] ), rec(
5575       next:= [ 5258, 5278 ] ), rec(
5577       next:= [ rec(
5580         next:= [ 5312, rec(
5583           next:= [ 5304, rec(
5586             next:= [ 5310, 5309 ] ) ] ) ] ), rec(
5589         next:= [ 5252, 5251 ] ), rec(
5592         next:= [ rec(
5595           next:= [ 5225, 5237 ] ), 5244 ] ), 5248, rec(
5598         next:= [ 5220, 5224, rec(
5601           next:= [ 5230, 5236 ] ) ] ), rec(
5604         next:= [ 5213, 5216 ] ), rec(
5607         next:= [ 5301, 5295, 5298 ] ) ] ), rec(
5609       next:= [ rec(
5612         next:= [ 5272, rec(
5615           next:= [ 5268, 5256 ] ) ] ), rec(
5618         next:= [ 5288, 5276, 5292 ] ) ] ), rec(
5620       next:= [ rec(
5623         next:= [ rec(
5626           next:= [ 5303, 5300 ] ), 5297 ] ), 5253, rec(
5629         next:= [ rec(
5632           next:= [ 5235, 5223 ] ), rec(
5635           next:= [ rec(
5638             next:= [ 5226, 5238 ] ), 5243 ] ) ] ), rec(
5641         next:= [ 5313, rec(
5644           next:= [ 5306, 5308 ] ) ] ) ] ), rec(
5646       next:= [ rec(
5649         next:= [ 5290, 5282, rec(
5652           next:= [ rec(
5655             next:= [ 5284, 5286 ] ), 5280, 5294 ] ) ] ), rec(
5658         next:= [ rec(
5661           next:= [ rec(
5664             next:= [ 5266, 5264 ] ), 5262 ] ), 5260, rec(
5667           next:= [ 5274, 5270 ] ) ] ) ] ) ] ), 5846, 21468, rec(
5669     next:= [, rec(
5671       next:= [ 18700, rec(
5673         next:= [ 18704, 18703 ] ), rec(
5675         next:= [ 18701, 18702 ] ), 18705 ] ) ] ), 5695, rec(
5677     next:= [ rec(
5679       next:= [ 447, 455 ] ), 533 ] ), rec(
5681     next:= [ rec(
5683       next:= [ rec(
5685         next:= [ rec(
5688           next:= [ 421, 419 ] ), 418, rec(
5691           next:= [ 433, 436 ] ), rec(
5694           next:= [ 428, 429 ] ) ] ), rec(
5696         next:= [ 432, rec(
5699           next:= [ 420, 424 ] ), rec(
5702           next:= [ 425, 423 ] ), rec(
5705           next:= [ 435, 434 ] ) ] ), rec(
5707         next:= [ 417, 430, 422, 427 ] ), rec(
5709         next:= [ 426, 431 ] ) ] ), rec(
5711       next:= [ 527, 526, 528 ] ) ] ), 5037, rec(
5713     next:= [ rec(
5715       next:= [ 5772, 5701, rec(
5717         next:= [ 5739, 5752 ] ), 5757 ] ), rec(
5720       next:= [ 5848, 5847 ] ) ] ), 2, rec(
5723     next:= [ rec(
5726       next:= [ 487, 479, 486 ] ), 476, rec(
5729       next:= [ 484, rec(
5732         next:= [ 485, 477 ] ) ] ), 478 ] ), rec(
5734     next:= [ rec(
5736       next:= [ 470, rec(
5739         next:= [ 503, 500 ] ), 462 ] ), rec(
5741       next:= [ 555, 534 ] ) ] ), rec(
5744     next:= [ rec(
5747       next:= [ 496, rec(
5750         next:= [ 498, rec(
5753           next:= [ 495, 497 ] ) ] ) ] ), rec(
5755       next:= [ 473, 481 ] ), rec(
5757       next:= [ 483, 475 ] ), 493, rec(
5759       next:= [ 472, 480 ] ), rec(
5761       next:= [ 482, 474 ] ), 494 ] ), rec(
5763     next:= [ rec(
5765       next:= [ rec(
5767         next:= [ rec(
5770           next:= [ 499, 491 ] ), 489 ] ), rec(
5772         next:= [ 492, 488 ] ), 490 ] ), rec(
5774       next:= [ 539, rec(
5776         next:= [ 547, 540 ] ), 541, rec(
5778         next:= [ 545, 542 ] ), 543, rec(
5780         next:= [ 544, 546 ] ) ] ) ] ), rec(
5782     next:= [ 507, 445, 530 ] ), rec(
5785     next:= [ 19096, 19095 ] ), rec(
5789     next:= [ 1840, rec(
5791       next:= [ rec(
5794         next:= [ 4724, 4725 ] ), 2372 ] ), 2900, rec(
5796       next:= [ rec(
5799         next:= [ 4769, rec(
5802           next:= [ 1833, 4770 ] ), 1831 ] ), rec(
5805         next:= [ 2469, 2411 ] ), 1825 ] ), 2912, rec(
5807       next:= [ 2375, 4726 ] ), rec(
5809       next:= [ rec(
5812         next:= [ 1841, 1832 ] ), rec(
5815         next:= [ 4772, 1846 ] ), rec(
5818         next:= [ 2471, 2414 ] ) ] ), 4546, rec(
5820       next:= [ rec(
5823         next:= [ 2906, 2907 ] ), rec(
5826         next:= [ 4581, 2474 ] ) ] ), rec(
5829       next:= [ 4771, 1842 ] ) ] ), rec(
5831     next:= [ rec(
5834       next:= [ rec(
5836         next:= [ 4281, 1976 ] ), 3731, 4837, rec(
5838         next:= [ 5910, 5911, 5908 ] ), 5985, 6529, rec(
5840         next:= [ 2152, 1929 ] ), rec(
5842         next:= [ 1967, 4275 ] ), rec(
5844         next:= [ 6231, 6233 ] ), 6106, rec(
5846         next:= [ 6789, 6791 ] ), rec(
5848         next:= [ 2158, 1927, 2149 ] ), rec(
5850         next:= [ 1980, 4283 ] ), 6103, rec(
5852         next:= [ 6786, 6785 ] ), 6494, 3823, 6953, rec(
5854         next:= [ 2617, 2619 ] ), rec(
5856         next:= [ 1922, 2155 ] ) ] ), rec(
5858       next:= [ rec(
5860         next:= [ 6176, 6193, 6177 ] ), rec(
5862         next:= [ 4271, 4326 ] ), rec(
5864         next:= [ 2241, 2240, 2246, 2247 ] ), rec(
5866         next:= [ 6764, 6856 ] ) ] ) ] ), rec(
5869     next:= [ 21473, 21472, 21474, 21471 ] ), rec(
5871     next:= [ rec(
5873       next:= [ 377, 780, 859, 741, 230 ] ), rec(
5875       next:= [ 11, rec(
5878         next:= [ 596, 595 ] ), 719, 72 ] ), rec(
5880       next:= [ 162, 735, 81, 617, 568 ] ) ] ), rec(
5883     next:= [ 3, 1 ] ), rec(
5886     next:= [ 5786, rec(
5888       next:= [ 5788, 5787 ] ), 5794, 5795, rec(
5891       next:= [ 5790, 5789 ] ), 5792, 5791, 5793 ] ), 21541, rec(
5901     next:= [ 1966, rec(
5903       next:= [ 6917, 6918 ] ), rec(
5905       next:= [ 4292, rec(
5908         next:= [ 4317, 4323 ] ) ] ), rec(
5910       next:= [ 4325, 4287, rec(
5913         next:= [ 4314, 4324 ] ) ] ), rec(
5915       next:= [ 3472, 3527 ] ), rec(
5917       next:= [ rec(
5920         next:= [ 2194, 2083 ] ), rec(
5923         next:= [ 2212, 2081 ] ) ] ), rec(
5925       next:= [ 1957, 1939 ] ), rec(
5927       next:= [ rec(
5930         next:= [ 2200, 2220 ] ), rec(
5933         next:= [ rec(
5936           next:= [ 2221, 2201 ] ), 2097 ] ), rec(
5939         next:= [ rec(
5942           next:= [ 2199, 2219 ] ), 2094 ] ) ] ), rec(
5944       next:= [ 2125, 2126 ] ), rec(
5946       next:= [ rec(
5949         next:= [ 2186, 2140 ] ), 2187 ] ), rec(
5952       next:= [ 4396, 2123 ] ), rec(
5954       next:= [ 2062, 2065 ] ), 4909, rec(
5956       next:= [ 2115, 2116 ] ), rec(
5958       next:= [ 2233, 2232 ] ), rec(
5961       next:= [ 6221, 6220 ] ), rec(
5963       next:= [ 2234, 2235 ] ), 2130, rec(
5965       next:= [ 6867, 6868 ] ), rec(
5968       next:= [ 6214, 6215 ] ), 3804, rec(
5970       next:= [ 3797, 3796 ] ), rec(
5972       next:= [ 3560, rec(
5975         next:= [ 3559, 3563 ] ) ] ), rec(
5977       next:= [ 6870, 6869 ] ), 2129, rec(
5979       next:= [ 6205, 6204 ] ), rec(
5981       next:= [ 4335, 4336 ] ), rec(
5983       next:= [ 6941, rec(
5986         next:= [ 6940, 6942 ] ), 6939 ] ), rec(
5988       next:= [ 6916, 6915 ] ), rec(
5990       next:= [ 1932, 1953 ] ), 1965, rec(
5992       next:= [ 4280, 4304 ] ), rec(
5994       next:= [ 4302, rec(
5997         next:= [ 4301, 4321 ] ) ] ), rec(
5999       next:= [ 3784, 3783 ] ), rec(
6001       next:= [ rec(
6004         next:= [ 4303, 4320 ] ), rec(
6007         next:= [ rec(
6010           next:= [ 4278, 4290 ] ), 4277 ] ), 4279 ] ), 2185, rec(
6012       next:= [ rec(
6015         next:= [ 2213, 4371, 2084 ] ), rec(
6018         next:= [ 2193, 4370, 2082 ] ) ] ), rec(
6020       next:= [ rec(
6023         next:= [ 3471, 4936 ] ), 3523, rec(
6026         next:= [ rec(
6029           next:= [ rec(
6032             next:= [ 3469, 3470 ] ), 3476 ] ), 4935 ] ), rec(
6035         next:= [ 3524, 3529 ] ) ] ), rec(
6037       next:= [ 6219, 6218 ] ), rec(
6039       next:= [ 2052, 2049 ] ), rec(
6041       next:= [ 2113, 2114 ] ), rec(
6043       next:= [ 2063, 2064 ] ), rec(
6045       next:= [ 3564, rec(
6048         next:= [ 3562, 3565 ] ) ] ), rec(
6050       next:= [ 6871, 6872 ] ), 2131, 4390, rec(
6052       next:= [ 3558, 3557 ] ), rec(
6055       next:= [ 6212, 6213 ] ), rec(
6058       next:= [ 6207, 6206 ] ), rec(
6060       next:= [ 3759, 3766 ] ), rec(
6062       next:= [ 6192, 6201, rec(
6065         next:= [ 6190, 6191 ] ) ] ), rec(
6067       next:= [ 4951, rec(
6070         next:= [ 4953, 4950 ] ), 4952 ] ), rec(
6072       next:= [ 6186, rec(
6075         next:= [ 6184, 6185 ] ), 6198, 6199 ] ), rec(
6077       next:= [ 6189, 6200, rec(
6080         next:= [ 6187, 6188 ] ) ] ), 4316, rec(
6082       next:= [ 6913, 6914 ] ), rec(
6084       next:= [ 1942, 1960 ] ), rec(
6086       next:= [ 4315, 4286 ] ), rec(
6088       next:= [ 2214, 2192 ] ), rec(
6090       next:= [ 1952, 1938 ] ), rec(
6092       next:= [ 3782, 3788 ] ), rec(
6094       next:= [ 2096, 2095 ] ), 3792, 2141, rec(
6096       next:= [ rec(
6099         next:= [ 3473, 3426 ] ), 3531, 3526 ] ), 2124, rec(
6102       next:= [ 2184, 2139 ] ), rec(
6104       next:= [ 3525, rec(
6107         next:= [ 3425, 4937 ] ) ] ), rec(
6109       next:= [ 4907, 4908 ] ), 3561, rec(
6111       next:= [ 4386, 4387 ] ), rec(
6113       next:= [ rec(
6116         next:= [ 2050, 4348 ] ), rec(
6119         next:= [ 2051, 4349 ] ) ] ), rec(
6121       next:= [ 6210, 6211 ] ), rec(
6123       next:= [ 6217, 6216 ] ), rec(
6125       next:= [ 6865, 6866 ] ), rec(
6127       next:= [ 6208, 6209 ] ), 3803, rec(
6129       next:= [ 6202, 6203 ] ), rec(
6131       next:= [ 3760, 3758 ] ), 3793, rec(
6133       next:= [ 6936, 6937, rec(
6136         next:= [ 6938, 6935 ] ) ] ), rec(
6138       next:= [ 4954, rec(
6141         next:= [ 4956, 4955 ] ) ] ), rec(
6143       next:= [ 6912, 6911 ] ) ] ), rec(
6145     next:= [ rec(
6148       next:= [ 333, 814, rec(
6151         next:= [ 13, 12 ] ), rec(
6153         next:= [ 129, 76 ] ), 663, 661, rec(
6156         next:= [ rec(
6159           next:= [ rec(
6162             next:= [ 607, 606 ] ), 605 ] ), 604 ] ), 812, 341, rec(
6165         next:= [ 128, 127 ] ), rec(
6167         next:= [ 131, 79 ] ) ] ), rec(
6169       next:= [ 172, 751, 740, 83, 396, 620, rec(
6171         next:= [ 168, 176 ] ), 880 ] ) ] ), rec(
6173     next:= [ rec(
6175       next:= [ rec(
6177         next:= [ rec(
6180           next:= [ 5506, rec(
6183             next:= [ 5574, 5529 ] ) ] ), rec(
6186           next:= [ 5429, 5432, 5421 ] ) ] ), 5369, rec(
6188         next:= [ 5440, 5513, rec(
6191           next:= [ 5407, 5387 ] ) ] ), rec(
6193         next:= [ 5459, 5544 ] ) ] ), rec(
6195       next:= [ 5051, 5046, rec(
6197         next:= [ 5047, 5048 ] ), rec(
6199         next:= [ 5049, 5050 ] ) ] ), rec(
6201       next:= [ 5773, rec(
6203         next:= [ 5703, 5705, 5704, 5702 ] ), rec(
6205         next:= [ rec(
6208           next:= [ 5740, 5753 ] ), 5754, 5741 ] ), rec(
6210         next:= [ 5759, 5758 ] ) ] ) ] ), rec(
6213     next:= [ 180, 7, 183, 6, 181, 8, 182 ] ), rec(
6217     next:= [ rec(
6219       next:= [ 704, 688, 685, 702 ] ), rec(
6221       next:= [ 308, rec(
6224         next:= [ 305, 303 ] ), 302 ] ), rec(
6226       next:= [ 708, 714, rec(
6229         next:= [ 711, 709 ] ) ] ), rec(
6231       next:= [ 381, rec(
6234         next:= [ 393, 394 ] ) ] ), rec(
6236       next:= [ 380, 395, rec(
6239         next:= [ 390, 389 ] ) ] ), rec(
6241       next:= [ 392, 379, 391 ] ), rec(
6243       next:= [ 298, 294, 295, 299 ] ), rec(
6245       next:= [ rec(
6248         next:= [ 306, rec(
6251           next:= [ 304, 307 ] ) ] ), 301 ] ), rec(
6253       next:= [ 707, rec(
6256         next:= [ 713, 710 ] ), 712 ] ), rec(
6258       next:= [ 758, 749, 750 ] ), rec(
6260       next:= [ 747, 745, 756, 759 ] ), rec(
6262       next:= [ 757, 748, 746 ] ), rec(
6264       next:= [ 686, 703, 701, 687 ] ), rec(
6266       next:= [ 297, 300, rec(
6269         next:= [ 296, 293 ] ) ] ) ] ), rec(
6271     next:= [ 561, rec(
6273       next:= [ 554, 532 ] ) ] ), rec(
6276     next:= [ 21525, 21539, 21503 ] ), rec(
6279     next:= [ 21441, rec(
6281       next:= [ 21445, 21448 ] ), rec(
6283       next:= [ 21447, 21442, 21451, 21449, 21444 ] ), rec(
6285       next:= [ 21446, 21450 ] ), 21443, 21452, 21453 ] ), rec(
6293     next:= [ rec(
6297       next:= [ 20324, 19959, 20562, 21228, 19831, 20321, 19718, 19715, 
6301         next:= [ 20546, 20550 ] ), 20337, 19658, 19940, 19696, rec(
6304         next:= [ 20441, 20442 ] ), 20515, 19822, 20095, 20149, 19662, 19830, 
6308       next:= [ rec(
6311         next:= [ 20626, 20625 ] ), 20629, 20750, 20760, 20772, 20641, rec(
6314         next:= [ 21071, 21061 ] ), 20759, 20610, 20624 ] ), rec(
6317       next:= [ 19801, 20183, 20083, 20194, 20242, 19784, 19795, 20565, 
6321         next:= [ 20487, 20481 ] ), 20580, 20080 ] ), rec(
6324       next:= [ rec(
6327         next:= [ 20887, 20886 ] ), rec(
6330         next:= [ 20882, 20711, 20881 ] ), 21086, 20946, 21095, rec(
6333         next:= [ 21041, 20953, 21042 ] ), 20659, 21047, 20702, 20867, rec(
6336         next:= [ 20776, 20666, 20665 ] ), 20703, rec(
6339         next:= [ 20701, 20868 ] ), 20958, 20695, 20786, 20692, 21077, rec(
6342         next:= [ 20794, 20675, 20793 ] ) ] ), rec(
6345       next:= [ rec(
6348         next:= [ 20994, 20979, 20995 ] ), rec(
6351         next:= [ 20976, 20966 ] ), rec(
6354         next:= [ 20726, 20906 ] ), 20832, rec(
6357         next:= [ 20834, 20835 ] ), 20735, 20939, 21104, 20736, 20926, 21119, 
6361         next:= [ 20730, 20909, 20910 ] ), rec(
6364         next:= [ 20825, 20815 ] ) ] ), rec(
6366       next:= [ 20591, 20603 ] ), rec(
6368       next:= [ 21213, 21214 ] ), rec(
6370       next:= [ rec(
6373         next:= [ 21029, 21015, 21014 ] ), 21123, rec(
6376         next:= [ 21028, 21013 ] ), 21010, 21125 ] ), rec(
6379       next:= [ 20765, 20648, 21066, 21054, 20634, 21070, 20770, 20644, 
6383         next:= [ 21062, 21072 ] ), 20650, rec(
6386         next:= [ 21063, 21073 ] ), 20752 ] ), 21284, rec(
6388       next:= [ 20172, 19895 ] ), rec(
6391       next:= [ rec(
6394         next:= [ 21096, 21080 ] ), 20719, 21092, 20947, rec(
6397         next:= [ 20871, 20870 ] ), 21034, rec(
6400         next:= [ 21052, 20949 ] ), 20698, 20657, 20693, 20784, 20690, rec(
6403         next:= [ 20788, 20674 ] ), rec(
6406         next:= [ 20798, 20683 ] ), 20898, 20901, 20713, 20878 ] ), rec(
6409       next:= [ 19670, 19906, 21202, 19909, 19666, 19669, 21245, 20280, 19912, 
6413       next:= [ rec(
6416         next:= [ 20831, 20849 ] ), 20847, 21098, 21103, 20969, 20743, rec(
6419         next:= [ 20982, 20991 ] ), 20907, rec(
6422         next:= [ 20817, 20845 ] ), 20912, 20922, 20728, 20935, 20731, rec(
6425         next:= [ rec(
6428           next:= [ 21114, 21118 ] ), 21111 ] ), 20988 ] ), rec(
6431       next:= [ 20046, rec(
6434         next:= [ 19743, 19738, 19744 ] ), 20207, 20348, 20050, 20462, 19740, 
6437       next:= [ 21124, 21009, 21018, 21026, 20999 ] ), rec(
6441       next:= [ 20326, rec(
6444         next:= [ 19653, 19652 ] ), 19654, 19708, rec(
6447         next:= [ 19811, 19812 ] ), 20554, 19707, rec(
6450         next:= [ 19873, 19872 ] ), 20112, 20121, 20520, 20088, 19813, 19706, 
6454         next:= [ 19685, rec(
6457           next:= [ 21229, 19687 ] ), 19684 ] ), 19942, 19944, 20125, 20428, 
6460       next:= [ 21265, 19902, 19899, 21267, 20178, 20175, 19893 ] ), rec(
6462       next:= [ 20241, rec(
6465         next:= [ 19782, rec(
6468           next:= [ 19780, 19783 ] ), 19781 ] ), 19786, 20071, rec(
6471         next:= [ 20186, 20069, 20185 ] ), 20485, 19858, 20568, 20253 ] ), rec(
6474       next:= [ 19679, 19921, 20309, 21252, 19933, 19935, 20314, 20281, 19915, 
6482       next:= [ 19753, 19757, 20051, 20043, 20218, 20400, 19854, 19755, 20386, 
6486         next:= [ 20403, 20366 ] ), 20006, 19987, 19979, 20029, rec(
6489         next:= [ 20230, 20227 ] ), rec(
6492         next:= [ 21273, 19845 ] ), 19765, 19841, 19975, 19756, rec(
6495         next:= [ rec(
6498           next:= [ 20407, 20383 ] ), 20369 ] ), 20346, 20469, 19989, 20026, 
6502         next:= [ 20233, 20232 ] ), 20404, 20237, 20059, 20228, 20221, 20473, 
6506         next:= [ 20041, 20016 ] ), 20017, rec(
6509         next:= [ 20457, 20475 ] ), rec(
6512         next:= [ 20384, 20355 ] ), 21276, 20054, 19995, 20467, 19773, 
6516         next:= [ 20396, 20361 ] ), 20020 ] ), rec(
6522       next:= [ rec(
6525         next:= [ 20328, 20333, 20419, rec(
6528           next:= [ 20427, 20335 ] ) ] ), 19879, 19968, rec(
6531         next:= [ rec(
6534           next:= [ 20159, 20163 ] ), 20162 ] ), rec(
6537         next:= [ 20161, 20156 ] ), rec(
6540         next:= [ 20139, 20145 ] ), 19874, 20090, rec(
6543         next:= [ rec(
6546           next:= [ 20551, 20548 ] ), 20542 ] ), 19730, 20136, 19826, 20130, 
6550         next:= [ 20513, 20512 ] ), 20339, rec(
6553         next:= [ 20533, 20537 ] ), 19835, 19884, 19836, 20558, 19724, 19954, 
6557         next:= [ 20437, 20438 ] ), 19965, 20507, 20555, 19821, 19725, 20544, 
6561         next:= [ 20426, 20330 ] ), 20101, 20146, 20536, 19886, rec(
6564         next:= [ rec(
6567           next:= [ 20141, 20143 ] ), 20144 ] ), 19973, rec(
6570         next:= [ 20448, 20440 ] ), 19971, 19722, 20154, 19828, 20097, 
6574         next:= [ 21233, 19700 ] ), 20131 ] ), rec(
6578       next:= [ 20197, 19785, 20478, 20065, 20583, rec(
6581         next:= [ 20490, 20489 ] ), 20274, 20572, rec(
6584         next:= [ 20270, 20272 ] ), 19793, rec(
6587         next:= [ 20188, 20070 ] ), 19864, 19804, 20256, 20480, 19790, 20086, 
6591         next:= [ 20074, 20190 ] ), 20579, 20259, 20567, 20499, 20268, 20246, 
6594       next:= [ 20604, 20606, 20600, 20599, 20590, 20605, 20607, 
6597       next:= [ 19829, 19693, 19717 ] ), rec(
6600       next:= [ 20623, rec(
6603         next:= [ 20622, 20615 ] ), 20758, rec(
6606         next:= [ 20656, 20632 ] ), 20616, rec(
6609         next:= [ 20771, 20762 ] ), 20627, rec(
6612         next:= [ 20766, 20754 ] ), 20749, 20609, 20761, rec(
6615         next:= [ 20647, 20646 ] ), rec(
6618         next:= [ 21075, 21057 ] ), 21065, rec(
6621         next:= [ 20655, 20636 ] ), rec(
6624         next:= [ 20633, rec(
6627           next:= [ 20638, 20631 ] ) ] ), 21058, rec(
6630         next:= [ 20652, 20628 ] ) ] ), 19777, rec(
6635       next:= [ 20866, 21076, rec(
6638         next:= [ 20787, 20790, 20676, rec(
6641           next:= [ 20689, 20681 ] ), 20792 ] ), rec(
6644         next:= [ 20797, 20682 ] ), rec(
6647         next:= [ 20789, rec(
6650           next:= [ 20687, 20680 ] ), 20802 ] ), rec(
6653         next:= [ 20875, rec(
6656           next:= [ 20716, 20710 ] ), rec(
6659           next:= [ 20715, 20723, 20900 ] ), rec(
6662           next:= [ 20885, 20880 ] ) ] ), 20884, rec(
6665         next:= [ 21040, 20952, 20957, 21043 ] ), rec(
6668         next:= [ 20954, 21045 ] ), rec(
6671         next:= [ 21082, 21085 ] ), 20861, 20774, 21033, 20859, rec(
6674         next:= [ 21037, rec(
6677           next:= [ 20943, 20945 ] ) ] ), 20660, 20686, rec(
6680         next:= [ 21094, 21091 ] ), rec(
6683         next:= [ 20720, 20896 ] ), 20688, 21078, rec(
6686         next:= [ rec(
6689           next:= [ 20779, 20800 ] ), 20664 ] ), rec(
6692         next:= [ 20959, 21048 ] ), 20722, 20778, rec(
6695         next:= [ rec(
6698           next:= [ 20865, 20895 ] ), 20721, 20894 ] ), 20667, rec(
6701         next:= [ 20717, 20891 ] ), 21036, 20869, 20697, rec(
6704         next:= [ 20803, 20805, 20806 ] ), rec(
6707         next:= [ rec(
6710           next:= [ 20775, 20780 ] ), 20661 ] ), rec(
6713         next:= [ 20903, 20897 ] ), rec(
6716         next:= [ 20700, 20860 ] ), 21090, 20942, rec(
6719         next:= [ 20956, 21046 ] ) ] ), rec(
6723       next:= [ 20940, rec(
6726         next:= [ 20742, rec(
6729           next:= [ 20930, 20917 ] ) ] ), 20934, rec(
6732         next:= [ 20809, 20810 ] ), 20826, rec(
6735         next:= [ 20842, 20843, 20822 ] ), 20827, 20973, 20905, 20734, rec(
6738         next:= [ rec(
6741           next:= [ 20748, 20746 ] ), 20937, 20938 ] ), 20823, rec(
6744         next:= [ 21101, rec(
6747           next:= [ 21117, 21106 ] ) ] ), 21112, 20962, 20828, rec(
6750         next:= [ rec(
6753           next:= [ 20737, 20740 ] ), 20920, 20921 ] ), 20918, rec(
6756         next:= [ rec(
6759           next:= [ 20855, 20854 ] ), rec(
6762           next:= [ 20850, 20840, 20856 ] ) ] ), rec(
6765         next:= [ 20968, 20987, 20967 ] ), rec(
6768         next:= [ 20981, 20977 ] ), 20729, rec(
6771         next:= [ 21109, 21108 ] ), 20824, 20963, rec(
6774         next:= [ 20974, 20975 ] ), rec(
6777         next:= [ 20911, 20919 ] ), rec(
6780         next:= [ 20985, 20997 ] ), rec(
6783         next:= [ 20844, 20816 ] ) ] ), rec(
6785       next:= [ 21220, 21222, 21219, 21212, 21218 ] ), rec(
6787       next:= [ 21025, 21004, rec(
6790         next:= [ 21027, rec(
6793           next:= [ 21011, 21012 ] ) ] ), rec(
6796         next:= [ 21005, 21016 ] ), 21126, 21000, 21122, rec(
6799         next:= [ 21030, 21017 ] ) ] ), rec(
6801       next:= [ 20171, 21264, 20179, 19901, 21268, 20180, 19904, rec(
6804         next:= [ 19903, 19897 ] ) ] ), rec(
6809       next:= [ 19905, 19937, 20300, 21206, 19907, 19680, 19939, 19934, 21251, 
6813         next:= [ 19926, 19908 ] ), rec(
6816         next:= [ 20320, 20318 ] ), rec(
6819         next:= [ 20298, 20302 ] ), rec(
6822         next:= [ 19911, 19910 ] ), 20296, rec(
6825         next:= [ 19927, 19925 ] ), 20277, 21250, 20306, 21256, 21248, 19678, 
6829         next:= [ 20292, 20279 ] ), 21244, 21205, rec(
6832         next:= [ 20308, 20307 ] ), rec(
6835         next:= [ 20295, 20294 ] ), 19676, rec(
6838         next:= [ 20288, 20285 ] ) ] ),,, rec(
6840       next:= [ 20174, 19898 ] ), rec(
6845       next:= [ 20267, 20184, rec(
6848         next:= [ 20200, 20085, 20201 ] ), rec(
6851         next:= [ 20078, 20079 ] ), 20495, 20479, 20571, 20243, rec(
6854         next:= [ 20273, 20250, 20276 ] ), 19800, 20582, 20248, rec(
6857         next:= [ 20500, rec(
6860           next:= [ 20501, 20504 ] ), 20505 ] ), rec(
6863         next:= [ 20196, 20195, 20068 ] ), 20258, 19865, rec(
6866         next:= [ 19796, 19798 ] ), 20262, rec(
6869         next:= [ 20492, 20494 ] ), rec(
6872         next:= [ 20199, 20084 ] ), 20261, rec(
6875         next:= [ 20585, 20584 ] ), 19794, 19861, rec(
6878         next:= [ 20488, 20486 ] ), 20566, rec(
6881         next:= [ 19778, 19779 ] ), 20263, 19797, 20269, 20498, rec(
6884         next:= [ 20577, 20576 ] ), 19866, rec(
6887         next:= [ 19803, 19802 ] ), 20082, 20575, 20581, 20275 ] ), 19928, rec(
6889       next:= [ 19850, 20225, 19988, 20052, 20022 ] ), rec(
6891       next:= [ 20594, 20588, 20596, 20608, rec(
6894         next:= [ 20601, 20598 ] ), 20595 ] ), rec(
6896       next:= [ 19883, 19963, 20100, 20155 ] ), rec(
6899       next:= [ rec(
6902         next:= [ 21074, 21064, 21067 ] ), rec(
6905         next:= [ rec(
6908           next:= [ 20654, 20642 ] ), rec(
6911           next:= [ 20643, 20637 ] ) ] ), rec(
6914         next:= [ rec(
6917           next:= [ 20640, 20635 ] ), rec(
6920           next:= [ 20651, 20639 ] ) ] ), rec(
6923         next:= [ 21059, rec(
6926           next:= [ 21055, 21069, 21056 ] ), 21060 ] ), 20611, 20630, 20613, 
6930         next:= [ 20618, 20619 ] ), 20617, rec(
6933         next:= [ 20614, 20620 ] ), 20751, 20621, rec(
6936         next:= [ 20756, 20755, 20757 ] ), 20653, rec(
6939         next:= [ rec(
6942           next:= [ 20769, 20764 ] ), 20763 ] ), rec(
6945         next:= [ 21053, 21068 ] ), rec(
6948         next:= [ 20767, 20768 ] ) ] ), rec(
6950       next:= [ 20181, 20075, 19857, 20244 ] ), rec(
6954       next:= [ rec(
6957         next:= [ 20799, 20684 ] ), rec(
6960         next:= [ 20773, 20658 ] ), 20670, 20857, rec(
6963         next:= [ 20668, 20662, 20781 ] ), rec(
6966         next:= [ 20718, 20892, 20704 ] ), rec(
6969         next:= [ 20777, 20671 ] ), rec(
6972         next:= [ 20706, 20874, 20707 ] ), rec(
6975         next:= [ 20705, 20864, 20862, 20699 ] ), rec(
6978         next:= [ 20782, 20783 ] ), 20872, 21032, rec(
6981         next:= [ 20804, 20672 ] ), rec(
6984         next:= [ 20795, 20807, 20691, 20677, rec(
6987           next:= [ 20796, 20808 ] ) ] ), rec(
6990         next:= [ 20679, 20678, 20791 ] ), rec(
6993         next:= [ 20948, 21039 ] ), rec(
6996         next:= [ 20955, 20944, 21038, 21035 ] ), rec(
6999         next:= [ 20694, 20858 ] ), rec(
7002         next:= [ rec(
7005           next:= [ 20889, 20888 ] ), 20724, rec(
7008           next:= [ 20712, 20879 ] ), rec(
7011           next:= [ 20890, 20904 ] ) ] ), rec(
7014         next:= [ 20877, 20708, rec(
7017           next:= [ 20883, 20876 ] ) ] ), rec(
7020         next:= [ 21089, rec(
7023           next:= [ 21087, 21081 ] ), rec(
7026           next:= [ 21088, 21083 ] ) ] ), 20873, 20941, 20673, rec(
7029         next:= [ 21044, rec(
7032           next:= [ 20960, 21050, 20961 ] ), 20950, 21051 ] ), rec(
7035         next:= [ 20714, 20709, 20902 ] ), 20663, rec(
7038         next:= [ rec(
7041           next:= [ 21097, 21084 ] ), 21079 ] ), 20785, rec(
7044         next:= [ 20893, 20863 ] ), 21093, 20669 ] ), rec(
7049       next:= [ rec(
7052         next:= [ 20739, 20923, rec(
7055           next:= [ 20924, 20927 ] ) ] ), 20913, 20848, rec(
7058         next:= [ rec(
7061           next:= [ 21102, 21105 ] ), 21107 ] ), rec(
7064         next:= [ 20989, rec(
7067           next:= [ 20990, 20970 ] ) ] ), rec(
7070         next:= [ 20744, 20931, 20932 ] ), rec(
7073         next:= [ 20814, 20820 ] ), rec(
7076         next:= [ 20747, 20936 ] ), 20745, 20964, 20908, 21110, rec(
7079         next:= [ 20741, 20929 ] ), 20986, rec(
7082         next:= [ 20972, 20971 ] ), rec(
7085         next:= [ 20851, 20853 ] ), rec(
7088         next:= [ 20846, 20821 ] ), 20965, 20933, rec(
7091         next:= [ 20984, 20978, rec(
7094           next:= [ 20983, 20980 ] ) ] ), 20727, 20733, 20841, 20811, rec(
7097         next:= [ 20996, 20993 ] ), rec(
7100         next:= [ rec(
7103           next:= [ 20818, 20812 ] ), 20813, 20819 ] ), rec(
7106         next:= [ rec(
7109           next:= [ 21121, 21113 ] ), rec(
7112           next:= [ 21116, rec(
7115             next:= [ 21120, 21115 ] ) ] ) ] ), rec(
7118         next:= [ 20732, 20915 ] ), 21100, 20914, rec(
7121         next:= [ 20833, 20837, rec(
7124           next:= [ 20839, 20838 ] ) ] ), rec(
7127         next:= [ 20738, rec(
7130           next:= [ 20925, 20928 ] ) ] ), rec(
7133         next:= [ 20836, 20830 ] ), 21099 ] ), 20602, 21216, rec(
7135       next:= [ 21127, rec(
7138         next:= [ rec(
7141           next:= [ 21003, 21008 ] ), 21007 ] ), 21021, rec(
7144         next:= [ 21022, 20998 ] ), rec(
7147         next:= [ 21024, 21002, 21001 ] ), rec(
7150         next:= [ 21031, 21020, 21019 ] ) ] ), 19661, rec(
7152       next:= [ 20645, 20753 ] ), rec(
7154       next:= [ 20176, 19894, 19896, 20173, 21266, 21263, 20170, 
7157       next:= [ 20951, 20801, 20685, 21049, 20696, 20899 ] ), rec(
7160       next:= [ rec(
7163         next:= [ 20283, 20289, 20287 ] ), rec(
7166         next:= [ 20305, 20311, 20310 ] ), 19913, 19936, 20304, 19918, 21246, 
7171         next:= [ 19916, 19914, 19917 ] ), 20278 ] ), rec(
7173       next:= [ 20916, 20829, 20725, 20992 ] ), rec(
7179       next:= [ 20405, 20053, 19984, rec(
7182         next:= [ 20208, 20212, 20210 ] ), rec(
7185         next:= [ 19842, 21275 ] ), 20001, rec(
7188         next:= [ 20349, 20373, rec(
7191           next:= [ 20352, 20351 ] ) ] ), 19980, 20203, 20009, 19750, 20004, 
7195         next:= [ 20007, 20005, 20008 ] ), 20454, 20364, 19990, 20042, 20209, 
7199         next:= [ 20392, 20356, rec(
7202           next:= [ 20395, 20393 ] ), 20394 ] ), 19754, 20452, 19846, 
7206         next:= [ 20465, 20461, 20466, 20458 ] ), 20219, 19735, 20002, 19986, 
7210         next:= [ 19978, 19977 ] ), 20477, 20202, rec(
7213         next:= [ 20044, 20055 ] ), 20013, rec(
7216         next:= [ 20215, 20213 ] ), rec(
7219         next:= [ rec(
7222           next:= [ 20382, 20381 ] ), 20359, 20388 ] ), 20216, 20370, 19734, 
7226         next:= [ 20040, 20039 ] ) ] ), rec(
7228       next:= [ 21215, 21217 ] ), rec(
7230       next:= [ 21023, 21006 ] ), rec(
7236       next:= [ 19967, 20148, 19889, rec(
7239         next:= [ 21230, 19690 ] ), 19709, 19887, rec(
7242         next:= [ 20140, 20147 ] ), 20560, 19956, 20538, 20103, 19949, 20132, 
7246         next:= [ 20549, 20553, 20547 ] ), rec(
7249         next:= [ 19948, 19951, 19950 ] ), rec(
7252         next:= [ rec(
7255           next:= [ 20105, 20108 ] ), 20107 ] ), 20534, rec(
7258         next:= [ 20527, rec(
7261           next:= [ 20522, 20526 ] ), 20524, rec(
7264           next:= [ 20521, 20517 ] ), 20525 ] ), 20091, 19809, rec(
7267         next:= [ 20329, rec(
7270           next:= [ 20422, 20421 ] ), 20429 ] ), 20137, rec(
7273         next:= [ 20414, 20325 ] ), 19875, rec(
7276         next:= [ rec(
7279           next:= [ 20122, 20165 ] ), 20126 ] ), rec(
7282         next:= [ rec(
7285           next:= [ 20119, 20164 ] ), rec(
7288           next:= [ rec(
7291             next:= [ 20118, 20117 ] ), 20116 ] ) ] ), 19710, 20098, 19953, 
7295         next:= [ 20415, 20340 ] ), 19955, rec(
7298         next:= [ rec(
7301           next:= [ 20449, 20344 ] ), 20446 ] ), 19806, 19726, 19815, 20508, 
7305         next:= [ 20430, 20424, 20332 ] ), 19723, rec(
7308         next:= [ 20412, 20322 ] ), 20093, 20557 ] ), rec(
7310       next:= [ 19900, 20177 ] ), rec(
7314       next:= [ rec(
7317         next:= [ 20264, 20265 ] ), 20574, rec(
7320         next:= [ 20569, 20570 ] ), 20587, rec(
7323         next:= [ 20182, 20066 ] ), 20491, 20260, rec(
7326         next:= [ 20252, 20251 ] ), 20578, rec(
7329         next:= [ 20482, 20484, 20483 ] ), 19859, 19792, 19787, 20564, 
7333         next:= [ 20189, 20073 ] ), 20255, 19867, 19799, 20072, 20257, rec(
7336         next:= [ 20245, 20249 ] ), rec(
7339         next:= [ 20198, 20081 ] ), rec(
7342         next:= [ 20493, 20497 ] ), 20187, 19791, 20266, 20254, rec(
7345         next:= [ 20502, 20503 ] ), rec(
7348         next:= [ 20193, 20077 ] ), rec(
7351         next:= [ 20076, 20067, 20191 ] ) ] ), rec(
7354       next:= [ 21249, 21204, 19922, 20299, 19923, 20290, 19924, 20291, 19675, 
7358       next:= [ 20476, 19997, 20365, 19769, 20224, 20035, 20379, 20235, 20362, 
7361       next:= [ 20589, 20592, 20593 ] ) ] ), 5314, rec(
7364     next:= [ 21461, 21462, 21463, 21464, 21465, 21460 ] ), rec(
7366     next:= [ rec(
7368       next:= [ rec(
7370         next:= [ 17592, 17593, 17536 ] ), rec(
7372         next:= [ 15820, 15818, 15825, 15824, 15819, 15812, 15813 ] ), rec(
7374         next:= [ 19485, 19494, 19486, 19495, 19475, 19474 ] ), rec(
7376         next:= [ 19537, 19611, 19612 ] ) ] ), rec(
7380       next:= [ rec(
7382         next:= [ 17549, 12410 ] ), rec(
7384         next:= [ 13715, 13719 ] ), rec(
7386         next:= [ 16248, 16245 ] ), rec(
7388         next:= [ 13094, 13104, 12826, 12822, 12266, 12259, 12810, 
7391         next:= [ 16329, 15858, 15860, 16333 ] ), rec(
7393         next:= [ 13212, 13218 ] ), rec(
7395         next:= [ 16110, 16114 ] ), rec(
7397         next:= [ 12394, 17540 ] ), 17834, rec(
7399         next:= [ 12269, 12814, 13099 ] ), rec(
7401         next:= [ rec(
7404           next:= [ 19600, 19167 ] ), rec(
7407           next:= [ 19603, 19175 ] ) ] ), rec(
7409         next:= [ 19281, 19273 ] ), rec(
7411         next:= [ 13233, 13239 ] ), rec(
7413         next:= [ 19626, rec(
7416           next:= [ 19552, 19551 ] ), 19630, rec(
7419           next:= [ 19549, 19548 ] ) ] ), rec(
7421         next:= [ 19247, 19235 ] ), rec(
7423         next:= [ 19202, 19109, rec(
7426           next:= [ 19113, 19114 ] ), 19115, 19196 ] ), rec(
7428         next:= [ 19277, 19285 ] ), rec(
7430         next:= [ 12405, 17545, 12414 ] ), rec(
7432         next:= [ 19579, 19575 ] ), rec(
7434         next:= [ 19138, 19143 ] ), rec(
7436         next:= [ 19229, 19241 ] ), rec(
7438         next:= [ 19171, 19163 ] ), rec(
7440         next:= [ 19544, 19543 ] ), 19646, rec(
7442         next:= [ 13729, 13733 ] ), rec(
7444         next:= [ 12818, 13076, 12256 ] ) ] ) ] ), rec(
7450     next:= [ 2037, 3861, 3870, 2014, 3862, 2043, rec(
7452       next:= [ rec(
7455         next:= [ 2008, 2006 ] ), 3866 ] ), 4817, 2036, 4834, 3860, 4805, 
7458       next:= [ 4833, 2030 ] ), 3867, 3873, rec(
7460       next:= [ 3877, 4821, 4797, 2023, 3875 ] ), 2028, 2005, rec(
7462       next:= [ rec(
7465         next:= [ 4822, 4825 ] ), rec(
7468         next:= [ 3874, 3872 ] ) ] ), rec(
7470       next:= [ 2022, 3876 ] ), 2035, 2029, 4784, 3871, 3859, 2021, 3869, rec(
7472       next:= [ 2013, 2015 ] ), 3863, 2042, rec(
7474       next:= [ 3865, 2007 ] ) ] ), rec(
7477     next:= [ 920, 5887, 6765, 2595 ] ), rec(
7479     next:= [ rec(
7481       next:= [ rec(
7484         next:= [ 404, 405 ] ), 403 ] ), rec(
7486       next:= [ rec(
7489         next:= [ 458, rec(
7492           next:= [ 457, 452 ] ) ] ), 471, rec(
7494         next:= [ 448, 454 ] ), rec(
7496         next:= [ 456, 460 ] ), 463, 451 ] ) ] ), rec(
7499     next:= [ 19097, 21456 ] ), rec(
7502     next:= [ 21457, 21459, 21467 ] ), rec(
7504     next:= [ 406, 444 ] ), rec(
7507     next:= [ 453, 449, 461, rec(
7510       next:= [ 450, 459 ] ) ] ), rec(
7512     next:= [ rec(
7514       next:= [ rec(
7516         next:= [ rec(
7519           next:= [ 922, 921 ] ), 941, rec(
7522           next:= [ 943, 942 ] ) ] ), rec(
7524         next:= [ rec(
7527           next:= [ 5891, 5890 ] ), rec(
7530           next:= [ 6091, rec(
7533             next:= [ 5943, 6092 ] ) ] ), rec(
7536           next:= [ 5888, 5889 ] ) ] ), rec(
7538         next:= [ rec(
7541           next:= [ 6816, rec(
7544             next:= [ 5973, 5974 ] ) ] ), rec(
7547           next:= [ 6766, 6767 ] ), rec(
7550           next:= [ 6768, 6769 ] ) ] ), rec(
7552         next:= [ rec(
7555           next:= [ 2598, 2599 ] ), rec(
7558           next:= [ 2596, 2597 ] ), rec(
7561           next:= [ 2721, 3614, 3615 ] ) ] ) ] ), rec(
7563       next:= [ rec(
7565         next:= [ 5906, 5907, 5905, 5950 ] ), rec(
7567         next:= [ 4293, 4294, 4274, 4273 ] ), rec(
7569         next:= [ 6448, 6229, 6230 ] ), rec(
7571         next:= [ 6823, 6783, 6784 ] ), rec(
7573         next:= [ 6194, 6180, 6195, 6179 ] ), rec(
7575         next:= [ 1945, 1925, 1946, 1947, 1926 ] ), rec(
7577         next:= [ 2756, 2615, 2616 ] ) ] ), rec(
7580       next:= [ rec(
7582         next:= [ 5995, 6798, 6800, 5989 ] ), rec(
7584         next:= [ 2351, rec(
7587           next:= [ 2263, 2265 ] ) ] ), rec(
7589         next:= [ 1522, 1534, 2627, 2655, 1474 ] ), rec(
7591         next:= [ 4401, 2321, 4403 ] ), rec(
7593         next:= [ 2822, 2780, 4839, 4841 ] ), rec(
7595         next:= [ rec(
7598           next:= [ rec(
7601             next:= [ 6255, 6256 ] ), rec(
7604             next:= [ 6261, 6260 ] ) ] ), rec(
7607           next:= [ 5861, 6396 ] ) ] ), rec(
7609         next:= [ 6978, 6976, 6307 ] ), rec(
7611         next:= [ 6253, 6258, 5857 ] ), rec(
7613         next:= [ 6115, 5921, 5923, 6109 ] ), rec(
7615         next:= [ rec(
7618           next:= [ 2625, 2629 ] ), rec(
7621           next:= [ rec(
7624             next:= [ 1471, 1477 ] ), 3315 ] ), rec(
7627           next:= [ 1526, 3340 ] ), rec(
7630           next:= [ 2657, 2631 ] ) ] ) ] ) ] ), rec(
7632     next:= [ rec(
7634       next:= [ rec(
7637         next:= [ 416, 414 ] ), rec(
7639         next:= [ 415, 413 ] ) ] ), rec(
7642       next:= [ 511, 510 ] ) ] ), rec(
7644     next:= [ rec(
7646       next:= [ 847, 226 ] ), rec(
7648       next:= [ 10, 594, 718, 71 ] ) ] ), 21537, rec(
7654     next:= [ rec(
7656       next:= [ 21158, 21167 ] ), rec(
7658       next:= [ 21147, 21140 ] ), rec(
7660       next:= [ 21185, 21173, 21171 ] ), 21162, 21150, 21131, rec(
7662       next:= [ 21155, 21154 ] ), rec(
7664       next:= [ 21177, 21193, 21178 ] ), rec(
7667       next:= [ 21188, 21189, 21156, 21166, 21160, 21182, 21168, 21181, 21157, 
7670       next:= [ 21174, 21186, 21172 ] ), rec(
7672       next:= [ 21163, 21164 ] ), 21225, 21151, rec(
7674       next:= [ 21144, 21138 ] ), 21240, 21153, rec(
7676       next:= [ 21179, 21192, 21176 ] ), 21271, 21224, 21282, 21270, 
7679       next:= [ 21159, 21169 ] ), 21261, rec(
7681       next:= [ 21239, 21280, 21237 ] ), 21269, rec(
7683       next:= [ 21190, 21183 ] ), 21223, 21260, 21281, 21161, 21208, 21259, 
7686       next:= [ 21187, 21175 ] ), rec(
7688       next:= [ 21133, 21132, 21145, 21146, 21139 ] ), 21207, rec(
7690       next:= [ 21180, 21194 ] ), 21152, rec(
7692       next:= [ 21191, 21184 ] ) ] ), rec(
7694     next:= [ rec(
7697       next:= [ rec(
7699         next:= [ 998, 2845, 2842, 2796, 995 ] ), rec(
7701         next:= [ 4612, 4500 ] ), rec(
7703         next:= [ 1001, 3660, 1022, 1004, 3701, 3704, 1019 ] ), rec(
7705         next:= [ 4427, 4566, 4447, 4620 ] ), rec(
7707         next:= [ 4577, rec(
7710           next:= [ 4478, 4477 ] ), 4595 ] ), rec(
7712         next:= [ 2846, 2798, 2847, 977, 980 ] ), rec(
7714         next:= [ 4551, 4414 ] ), rec(
7716         next:= [ 1020, 1021, 3703, 3659, 3702 ] ), rec(
7718         next:= [ rec(
7721           next:= [ 7059, 6377 ] ), rec(
7724           next:= [ rec(
7727             next:= [ 6381, 6380 ] ), 6379 ] ), 6246 ] ), rec(
7729         next:= [ 6285, 6965, 6290, rec(
7732           next:= [ 6964, 6963 ] ), rec(
7735           next:= [ 6292, 6291 ] ) ] ), rec(
7737         next:= [ 6244, 6375, rec(
7740           next:= [ 6384, 6385 ] ), rec(
7743           next:= [ 7061, 6383 ] ), 6374 ] ), rec(
7745         next:= [ 2795, rec(
7748           next:= [ 996, 978 ] ), 979, 2844, 2843, 997 ] ), rec(
7750         next:= [ rec(
7753           next:= [ 7016, 7015 ] ), 7018, 7017 ] ), rec(
7755         next:= [ 6288, 6289, rec(
7758           next:= [ 6966, 6967 ] ), 6286, 6287 ] ), rec(
7760         next:= [ 6245, 7060, 6376, 6378 ] ), rec(
7762         next:= [ 7020, 7019 ] ), rec(
7764         next:= [ 6962, 6284 ] ), 7104, 6382, rec(
7766         next:= [ 1003, 3662, 1002, 3705, 3706 ] ) ] ), rec(
7771       next:= [ 6539, 6293, 3021, rec(
7773         next:= [ 2019, 2017 ] ), 2969, 2011, 3022, rec(
7775         next:= [ 2933, 4745 ] ), rec(
7777         next:= [ 4591, 4578, 2891 ] ), 2018, 2931, rec(
7779         next:= [ 4734, 4722 ] ), 2968, 2890, 2932, 4543, rec(
7781         next:= [ 2012, 2010 ] ), 2889, 3020, 7105, 2020, 2970, 6614, rec(
7783         next:= [ 7062, 6465 ] ), 6540, rec(
7785         next:= [ 6968, 6294, 6969 ] ), rec(
7787         next:= [ 6612, 6611 ] ), 6463, 2009, rec(
7789         next:= [ 7022, 7021 ] ), rec(
7791         next:= [ 6542, 6541 ] ), 6295, 6613, 6464 ] ), rec(
7793       next:= [ 2301, 5006, rec(
7796         next:= [ rec(
7799           next:= [ rec(
7802             next:= [ 4424, 4423 ] ), 4422 ] ), 4421 ] ), rec(
7805         next:= [ rec(
7808           next:= [ rec(
7811             next:= [ 2291, 2293, 2292 ] ), 2284, rec(
7815             next:= [ 2289, 2296, 2288 ] ) ] ), rec(
7818           next:= [ 2294, 5009 ] ), 4440, rec(
7821           next:= [ rec(
7824             next:= [ rec(
7827               next:= [ 4442, 4444 ] ), rec(
7830               next:= [ 2297, rec(
7833                 next:= [ 2298, 2290 ] ), 2287 ] ) ] ), rec(
7836             next:= [ 4443, rec(
7839               next:= [ 2299, 2295 ] ) ] ), rec(
7842             next:= [ rec(
7845               next:= [ 2286, 4441 ] ), 2285 ] ) ] ) ] ), rec(
7848         next:= [ 5885, rec(
7851           next:= [ 7070, 5886 ] ), 6426, rec(
7854           next:= [ 6427, 5884 ] ) ] ), 4425, rec(
7857         next:= [ rec(
7860           next:= [ 2304, 2303, 4445 ] ), 2302 ] ), 7036, rec(
7863         next:= [ 6337, 6336 ] ) ] ) ] ), rec(
7865     next:= [, rec(
7872       next:= [ 2041, 2026, 3024, 2034, 6683, rec(
7874         next:= [ 5956, 5916, 5957, 5917 ] ), 4645, rec(
7876         next:= [ 6626, 6627 ] ), rec(
7878         next:= [ 4736, 4735 ] ), 6723, rec(
7880         next:= [ 2892, 4694, 4607 ] ), rec(
7882         next:= [ 2934, 4746 ] ), rec(
7884         next:= [ 2046, 2048 ] ), 4671, 7000, 3003, 7078, rec(
7886         next:= [ 4747, 4748 ] ), rec(
7888         next:= [ 6437, 7045 ] ), 2039, rec(
7890         next:= [ 4695, 4608 ] ), rec(
7892         next:= [ 1989, 1990 ] ), 3025, 4737, 6222, 2024, 2032, rec(
7894         next:= [ 6237, 6453 ] ), 2047, 2893, rec(
7896         next:= [ 6797, 6834 ] ), 2936, 3002, rec(
7898         next:= [ 6226, 7046 ] ), 6724, rec(
7900         next:= [ 2038, 2040 ] ), rec(
7902         next:= [ 2173, 1963, 1964, 2174 ] ), 7081, rec(
7904         next:= [ 6633, 6632 ] ), rec(
7906         next:= [ 7047, 6440, 6438 ] ), rec(
7908         next:= [ 6435, 6436 ] ), 6725, 3023, 7001, 6684, 7080, rec(
7910         next:= [ 6631, 6630 ] ), rec(
7912         next:= [ 2025, 2027 ] ), rec(
7914         next:= [ 6227, 6225 ] ), rec(
7916         next:= [ 2033, 2031 ] ), 7002, 6685, 6682, 6439, rec(
7918         next:= [ 6628, 6629 ] ), 6722, 2045, 2894, 3004, 2935, 6999, 
7921         next:= [ 6223, 6224, 7044 ] ), rec(
7923         next:= [ 2761, 2739 ] ) ] ) ] ), rec(
7925     next:= [ rec(
7930       next:= [ rec(
7932         next:= [ 3769, 3768 ] ), rec(
7934         next:= [ 951, 1433, 928, 1391 ] ), rec(
7936         next:= [ 6020, 6017 ] ), rec(
7938         next:= [ 3806, 3807, 1088, 1090 ] ), rec(
7940         next:= [ 6873, 6874 ] ), rec(
7942         next:= [ 1104, 1105 ] ), rec(
7944         next:= [ 4495, 4496 ] ), rec(
7946         next:= [ 3630, 2609, 3629, 3300 ] ), rec(
7948         next:= [ 4514, 4513 ] ), rec(
7950         next:= [ rec(
7953           next:= [ 6142, 6919, 6050 ] ), rec(
7956           next:= [ 6143, 6920, 6052 ] ) ] ), rec(
7958         next:= [ 1040, 1041 ] ), rec(
7960         next:= [ 4471, 4472 ] ), rec(
7962         next:= [ rec(
7965           next:= [ 1442, 1402 ] ), rec(
7968           next:= [ 1441, 1401 ] ), rec(
7971           next:= [ 1443, 1403 ] ) ] ), rec(
7973         next:= [ 926, 1431, 1393, 952 ] ), rec(
7975         next:= [ 3752, 3753 ] ), rec(
7977         next:= [ 3805, 3812, 1089, 1087 ] ), rec(
7979         next:= [ 3776, 3777 ] ), rec(
7981         next:= [ 3714, 1025, 1024, 3720 ] ), rec(
7983         next:= [ 2608, rec(
7986           next:= [ 3632, 3631 ] ), 3299 ] ), rec(
7988         next:= [ rec(
7991           next:= [ 6353, 7049 ] ), rec(
7994           next:= [ 6351, 7048 ] ) ] ), rec(
7996         next:= [ 6517, 6520 ] ), rec(
7998         next:= [ rec(
8001           next:= [ 6121, 6049 ] ), rec(
8004           next:= [ 6122, 6051 ] ) ] ), rec(
8006         next:= [ 1042, 1039 ] ), rec(
8008         next:= [ 7083, 7082 ] ), rec(
8010         next:= [ 6484, 6483 ] ), rec(
8012         next:= [ 6441, 6442 ] ), rec(
8014         next:= [ 6519, 6518 ] ), rec(
8016         next:= [ 7004, 7003 ] ), rec(
8018         next:= [ 1392, 959, 1432, 929 ] ), rec(
8020         next:= [ 5947, rec(
8023           next:= [ 5897, 5896 ] ), rec(
8026           next:= [ 5895, 5894 ] ) ] ), rec(
8028         next:= [ rec(
8031           next:= [ 6019, 6890 ] ), rec(
8034           next:= [ 6018, 6889 ] ) ] ), rec(
8036         next:= [ 6482, 6485 ] ), rec(
8038         next:= [ 6352, 6350 ] ), rec(
8040         next:= [ rec(
8043           next:= [ 6821, 6820 ] ), rec(
8046           next:= [ rec(
8049             next:= [ 6773, 6772 ] ), rec(
8052             next:= [ 6775, 6774 ] ) ] ), rec(
8055           next:= [ 6777, 6776 ] ) ] ), rec(
8057         next:= [ rec(
8060           next:= [ 2603, 2602 ] ), rec(
8063           next:= [ 3294, 3293 ] ), rec(
8066           next:= [ 3621, 2725 ] ), 3295, 2604, 3620 ] ), rec(
8068         next:= [ 1106, 1103 ] ), rec(
8070         next:= [ 3303, 2612, rec(
8073           next:= [ 3642, 3641 ] ) ] ), rec(
8075         next:= [ 3713, 3715, 1026, 1023 ] ), rec(
8077         next:= [ 6141, 6144 ] ) ] ), rec(
8080       next:= [ rec(
8082         next:= [ 1997, 4328, 4327, 1998 ] ), rec(
8084         next:= [ 3798, 3799 ] ), rec(
8086         next:= [ 6081, 6082 ] ), rec(
8088         next:= [ 4880, 4881 ] ), rec(
8090         next:= [ 5915, 5955 ] ), rec(
8092         next:= [ 2176, 1951, 2175, 1931 ] ), rec(
8094         next:= [ 4298, 4297 ] ), rec(
8096         next:= [ 6236, 6452 ] ), rec(
8098         next:= [ 6943, 6944 ] ), rec(
8100         next:= [ 6833, 6796 ] ), rec(
8102         next:= [ 2177, 2178 ] ), rec(
8104         next:= [ 4311, 2000, 1999, rec(
8107           next:= [ 4312, 4313 ] ), 4285 ] ), rec(
8109         next:= [ 6827, 6858, 6857, 6826 ] ), rec(
8111         next:= [ 6166, 6165 ] ), rec(
8113         next:= [ 7090, 7091 ] ), rec(
8115         next:= [ 2760, 2621 ] ) ] ) ] ), rec(
8120     next:= [ 4367, 4333, 2250, 4369, 2242, 2251, rec(
8122       next:= [ 2243, 2244 ] ), 2255, 2245, 2256, 2258, 4384, 2257, 4385, 
8125       next:= [ 2254, 2253 ] ), 2259, 4334, 4383 ] ), rec(
8127     next:= [ rec(
8130       next:= [ rec(
8132         next:= [ 993, 2793 ] ), 4499, rec(
8134         next:= [ 1017, 3657, 999 ] ), rec(
8136         next:= [ 4426, 4446 ] ), rec(
8138         next:= [ 4475, 4476 ] ), rec(
8140         next:= [ 2797, 975 ] ), 4413, rec(
8142         next:= [ 1018, 3658 ] ), rec(
8144         next:= [ rec(
8147           next:= [ 6373, 7058 ] ), 6243 ] ), rec(
8149         next:= [ 6282, rec(
8152           next:= [ 6958, 6957 ] ), 6959 ] ), rec(
8154         next:= [ 6371, 6370, 6241 ] ), rec(
8156         next:= [ 976, 2794, 994 ] ), rec(
8158         next:= [ 7013, 7014 ] ), rec(
8160         next:= [ 6960, 6283, 6961 ] ), rec(
8162         next:= [ 6372, 6242 ] ), rec(
8164         next:= [ 6956, 6281 ] ), 7103, rec(
8166         next:= [ 1000, 3661 ] ) ] ), rec(
8169       next:= [ rec(
8171         next:= [ 4282, rec(
8174           next:= [ 1979, 4305 ] ), 1977, rec(
8177           next:= [ 1978, 4308 ] ) ] ), rec(
8179         next:= [ 3732, 3733 ] ), rec(
8181         next:= [ 4879, 4882, 4838, 4853 ] ), rec(
8183         next:= [ 5952, rec(
8186           next:= [ 5913, 5909, 5912 ] ), 5951, 5953 ] ), rec(
8188         next:= [ 5987, 5988, 5986 ] ), 6530, rec(
8190         next:= [ 2154, rec(
8193           next:= [ 2153, 1950 ] ), 1930 ] ), rec(
8195         next:= [ 4296, 1969, rec(
8198           next:= [ 1968, 4295 ] ), 4276 ] ), rec(
8200         next:= [ 6449, rec(
8203           next:= [ 6232, 6234 ] ), 6450 ] ), rec(
8205         next:= [ 6107, 6108 ] ), rec(
8207         next:= [ 6829, rec(
8210           next:= [ 6792, 6790 ] ), 6828 ] ), rec(
8212         next:= [ rec(
8215           next:= [ 2150, 2159, 1948 ] ), 1928, 2160, 1949, 2151 ] ), rec(
8217         next:= [ 1993, 4307, 4309, rec(
8220           next:= [ 1981, 4306 ] ), 4310, 1994, 4284, 1982 ] ), rec(
8222         next:= [ 6105, 6104 ] ), rec(
8224         next:= [ 6795, 6825, 6832, rec(
8227           next:= [ 6788, 6787 ] ), 6831, 6794, 6824 ] ), rec(
8229         next:= [ 6496, 6495 ] ), 3824, rec(
8231         next:= [ 6955, 7089, 6954, 7092 ] ), rec(
8233         next:= [ 2757, 2758, rec(
8236           next:= [ 2618, 2620 ] ) ] ), rec(
8238         next:= [ rec(
8241           next:= [ 2157, 1943 ] ), 2156, 1923 ] ) ] ), rec(
8244       next:= [ 2830, rec(
8246         next:= [ rec(
8249           next:= [ 2268, 2269, 2267 ] ), rec(
8252           next:= [ 4509, rec(
8255             next:= [ 2357, 2359 ] ) ] ) ] ), rec(
8257         next:= [ 1532, rec(
8260           next:= [ 1541, 3352 ] ), 2660, rec(
8263           next:= [ 1490, 3324 ] ), rec(
8266           next:= [ rec(
8269             next:= [ 1539, 3350 ] ), 1537 ] ) ] ), rec(
8271         next:= [ 2324, rec(
8274           next:= [ 4406, 4405 ] ), 2326 ] ), rec(
8276         next:= [ 4485, 4489 ] ), rec(
8278         next:= [ rec(
8281           next:= [ 2788, 2787 ] ), 2825, 4849, rec(
8284           next:= [ 2785, 2783 ] ) ] ), 5001, rec(
8286         next:= [ 2662, 1543, 3345 ] ), rec(
8288         next:= [ rec(
8291           next:= [ rec(
8294             next:= [ rec(
8297               next:= [ 6270, 6271 ] ), 6268 ] ), 6272, rec(
8300             next:= [ rec(
8303               next:= [ 6267, 6269 ] ), 6273 ] ) ] ), rec(
8306           next:= [ rec(
8309             next:= [ 5878, rec(
8312               next:= [ 5870, 5871 ] ) ] ), 7066, rec(
8315             next:= [ rec(
8318               next:= [ 6404, 6413 ] ), 6408, rec(
8321               next:= [ 6412, 6403, 6407 ] ) ] ) ] ) ] ), rec(
8323         next:= [ rec(
8326           next:= [ rec(
8329             next:= [ rec(
8332               next:= [ 6984, 6983 ] ), 6982 ] ), 6981 ] ), rec(
8335           next:= [ 6320, 6319 ] ), rec(
8338           next:= [ 6312, 6313 ] ) ] ), rec(
8340         next:= [ 5867, rec(
8343           next:= [ 5874, 5875 ] ), rec(
8346           next:= [ rec(
8349             next:= [ 6266, 6265 ] ), 6264 ] ) ] ), rec(
8351         next:= [ 2832, 4850, 2827, 2791 ] ), rec(
8353         next:= [ 7030, 7028 ] ), rec(
8355         next:= [ 6315, 6323, 6316 ] ), rec(
8357         next:= [ 6410, 6401 ] ), 6980, 7107, rec(
8359         next:= [ rec(
8362           next:= [ 1530, rec(
8365             next:= [ 3347, 3343 ] ) ] ), rec(
8368           next:= [ 2659, rec(
8371             next:= [ 2663, 2661 ] ) ] ), rec(
8374           next:= [ rec(
8377             next:= [ 1482, 3318 ] ), 3320, 1480 ] ), rec(
8380           next:= [ rec(
8383             next:= [ 3322, 3326 ] ), rec(
8386             next:= [ rec(
8389               next:= [ rec(
8392                 next:= [ 1484, 1485 ] ), 1486 ] ), rec(
8395               next:= [ 1494, 1492 ] ) ] ) ] ) ] ) ] ) ] ), rec(
8407     next:= [ 3971, 2001, 2179, 4999, rec(
8409       next:= [ rec(
8412         next:= [ 4256, 4188 ] ), 3789, 4227 ] ), rec(
8414       next:= [ 4330, 1991 ] ), rec(
8416       next:= [ 4289, 1972, 1986, rec(
8419         next:= [ rec(
8422           next:= [ 1970, 1971 ] ), 1987 ] ), 1996, 4319 ] ), rec(
8424       next:= [ 4168, 4167 ] ), 3960, rec(
8426       next:= [ 2091, rec(
8429         next:= [ 2092, 4376 ] ), rec(
8432         next:= [ 2112, 4373 ] ), rec(
8435         next:= [ rec(
8438           next:= [ rec(
8441             next:= [ 2229, 2228 ] ), rec(
8444             next:= [ 2209, 2208 ] ) ] ), 2109 ] ) ] ), rec(
8446       next:= [ rec(
8449         next:= [ 1958, 1944 ] ), rec(
8452         next:= [ rec(
8455           next:= [ 1940, rec(
8458             next:= [ 1941, 1919 ] ) ] ), 1921, 1920 ] ), rec(
8461         next:= [ rec(
8464           next:= [ 2168, 2171 ] ), 2170, 2172 ] ) ] ), 4382, 4170, 2143, rec(
8466       next:= [ rec(
8469         next:= [ rec(
8472           next:= [ 2206, 2227 ] ), 4377, rec(
8475           next:= [ rec(
8478             next:= [ 2107, 2106 ] ), 2100 ] ) ] ), rec(
8481         next:= [ 2203, 4379, 2102 ] ), rec(
8484         next:= [ 2224, 4380, 2104 ] ), rec(
8487         next:= [ rec(
8490           next:= [ 2207, 2217 ] ), rec(
8493           next:= [ 2089, 2108 ] ) ] ) ] ), 2117, rec(
8495       next:= [ 2077, 4356 ] ), 4910, rec(
8498       next:= [ 4397, 2128 ] ), rec(
8500       next:= [ 2145, rec(
8503         next:= [ 2189, 2142 ] ) ] ), rec(
8506       next:= [ 4395, rec(
8509         next:= [ 2122, 2121 ] ) ] ), rec(
8511       next:= [ 2072, 2067, 2070, 4359, rec(
8514         next:= [ 2068, 4360 ] ) ] ), 3970, 2135, 4389, 3968, 3800, 2237, 
8517       next:= [ 4196, 3764 ] ), 4346, 3950, rec(
8519       next:= [ 4340, 4338 ] ), 3973, 3972, 1983, rec(
8521       next:= [ 2167, rec(
8524         next:= [ 1933, 1936, 1937 ] ), 1955, 2163 ] ), rec(
8526       next:= [ 2003, 2002 ] ), rec(
8528       next:= [ 2099, 2223, 2202 ] ), 4165, rec(
8531       next:= [ 2181, 2182, 2183 ] ), rec(
8533       next:= [ 4331, 1992 ] ), 4381, rec(
8535       next:= [ rec(
8538         next:= [ rec(
8541           next:= [ rec(
8544             next:= [ 4185, 4257 ] ), rec(
8547             next:= [ 4187, 4259 ] ) ] ), 4260, 4229 ] ), rec(
8550         next:= [ rec(
8553           next:= [ 3791, 3786 ] ), 3785, 3787 ] ), rec(
8556         next:= [ rec(
8559           next:= [ 4228, 4230 ] ), rec(
8562           next:= [ 4186, 4261 ] ) ] ), rec(
8565         next:= [ rec(
8568           next:= [ 4191, 4265 ] ), 4264, 4232 ] ) ] ), 4398, rec(
8570       next:= [ rec(
8573         next:= [ rec(
8576           next:= [ 1974, 1973 ] ), 1988 ] ), 4322, 1975, 4291 ] ), 2147, rec(
8578       next:= [ rec(
8581         next:= [ rec(
8584           next:= [ rec(
8587             next:= [ 2218, 2215 ] ), rec(
8590             next:= [ 2196, 2195 ] ) ] ), 4374, 2090 ] ), rec(
8593         next:= [ rec(
8596           next:= [ 2216, 2197 ] ), 2093 ] ), rec(
8599         next:= [ rec(
8602           next:= [ rec(
8605             next:= [ 2231, 2230 ] ), rec(
8608             next:= [ 2211, 2210 ] ) ] ), 4372, rec(
8611           next:= [ 2111, rec(
8614             next:= [ rec(
8617               next:= [ 2088, 2087 ] ), rec(
8620               next:= [ 2086, 2085 ] ) ] ) ] ) ] ) ] ), 2236, 2144, rec(
8622       next:= [ 3956, rec(
8625         next:= [ rec(
8628           next:= [ 3478, 3477 ] ), 4939 ] ), 3530, 3955, 3958, rec(
8631         next:= [ rec(
8634           next:= [ 3954, 3953 ] ), 3962 ] ) ] ), 3969, rec(
8636       next:= [ 2118, 2119 ] ), rec(
8638       next:= [ rec(
8641         next:= [ 4355, rec(
8644           next:= [ 2058, 4354 ] ) ] ), 2078, 2061, 4352, rec(
8647         next:= [ 2079, 4350 ] ) ] ), 3967, 4366, 3801, 2133, rec(
8649       next:= [ rec(
8652         next:= [ 2069, 4361 ] ), rec(
8655         next:= [ rec(
8658           next:= [ 2074, 2075 ] ), 4358 ] ), rec(
8661         next:= [ 2073, 4363 ] ), rec(
8664         next:= [ 2071, 4362 ] ), rec(
8667         next:= [ 2076, 2057 ] ) ] ), 3598, 4339, 4391, rec(
8669       next:= [ 2136, 2132 ] ), 4388, 4342, rec(
8671       next:= [ 4193, 4199, rec(
8674         next:= [ 4194, 4197 ] ), rec(
8677         next:= [ 3761, rec(
8680           next:= [ 3767, 3762 ] ), 3763 ] ) ] ), 1935, rec(
8682       next:= [ 4988, 3945, rec(
8685         next:= [ rec(
8688           next:= [ 3943, 3944 ] ), 3952 ] ), 4958, 3947, 3949 ] ), 2180, 
8691       next:= [ 4288, 1984, 1995, 1985, 4318 ] ), rec(
8693       next:= [ 4375, 2110 ] ), rec(
8695       next:= [ rec(
8698         next:= [ 1954, 1959 ] ), 1934, 2169, rec(
8701         next:= [ 2164, rec(
8704           next:= [ 2162, 2165 ] ), 2166 ] ) ] ), 5000, rec(
8706       next:= [ 3790, rec(
8709         next:= [ 4262, rec(
8712           next:= [ 4190, 4263 ] ), 4231 ] ), rec(
8715         next:= [ 4258, 4189 ] ), 4226 ] ), 2004, rec(
8717       next:= [ rec(
8720         next:= [ 2105, 2204 ] ), rec(
8723         next:= [ 4378, 2101 ] ), rec(
8726         next:= [ 2198, 2226 ] ), rec(
8729         next:= [ 2103, 2222 ] ), rec(
8732         next:= [ rec(
8735           next:= [ 2205, 2225 ] ), 2098 ] ) ] ), rec(
8738       next:= [ 4192, 4225, 4233 ] ), 2127, rec(
8740       next:= [ 4169, 4164, rec(
8743         next:= [ 4163, 4166 ] ) ] ), rec(
8745       next:= [ 2146, 2188 ] ), rec(
8747       next:= [ 3528, 3966, 3959, 3961, 3957, rec(
8750         next:= [ rec(
8753           next:= [ 3474, 3475 ] ), 4938 ] ) ] ), 4394, 2066, 4399, rec(
8756       next:= [ 2191, rec(
8759         next:= [ 2148, 2190 ] ) ] ), 3965, 4911, rec(
8761       next:= [ 4365, 4364 ] ), 2238, 4392, 2138, 2120, rec(
8763       next:= [ rec(
8766         next:= [ 2080, 4353 ] ), rec(
8769         next:= [ 2060, 4357 ] ), rec(
8772         next:= [ rec(
8775           next:= [ 2055, 2056 ] ), rec(
8778           next:= [ 2053, rec(
8781             next:= [ 2054, 4351 ] ) ] ) ] ), 2059 ] ), 2134, rec(
8784       next:= [ 3802, 3794, 3795 ] ), rec(
8786       next:= [ 4337, 4341 ] ), 4347, 4998, rec(
8788       next:= [ 4195, 4198, 3765 ] ), rec(
8790       next:= [ 4345, 4344, 4343 ] ), 4200, rec(
8792       next:= [ 3946, 4987, 3948, 3964, 3951, 4957 ] ), 3963, rec(
8794       next:= [ 2161, 1956 ] ), 3974 ] ), rec(
8796     next:= [ rec(
8798       next:= [ rec(
8800         next:= [ 184, 192, 187 ] ), rec(
8802         next:= [ 803, 777, 778 ] ), rec(
8804         next:= [ 669, 670, 613, 611 ] ), rec(
8806         next:= [ 869, 853, 855 ] ), rec(
8808         next:= [ 612, 671, 608, 665 ] ), rec(
8810         next:= [ 227, 276, 313, 233, 229, rec(
8813           next:= [ 312, 240 ] ) ] ), rec(
8815         next:= [ 277, 228, 309, 310 ] ) ] ), rec(
8817       next:= [ rec(
8819         next:= [ 384, 388, 383, 378 ] ), rec(
8821         next:= [ 810, 781, 782 ] ), rec(
8823         next:= [ 860, 861, 878 ] ), rec(
8825         next:= [ 742, 744, 752, 755 ] ), rec(
8827         next:= [ 244, 236, 231 ] ) ] ), rec(
8829       next:= [ 15, 597, rec(
8832         next:= [ 722, rec(
8835           next:= [ 720, 721 ] ) ] ), rec(
8838         next:= [ 85, 84 ] ) ] ), rec(
8840       next:= [ 173, 738, 92, 619, rec(
8843         next:= [ 570, 569 ] ) ] ) ] ), rec(
8853     next:= [ rec(
8855       next:= [ rec(
8858         next:= [ rec(
8861           next:= [ 1056, 1059 ] ), 1086 ] ), rec(
8864         next:= [ rec(
8867           next:= [ 1079, 1083 ] ), 1060 ] ), rec(
8870         next:= [ 1233, 1232, 1231 ] ), rec(
8873         next:= [ rec(
8876           next:= [ 1082, 1058 ] ), 1078 ] ) ] ), rec(
8878       next:= [ rec(
8881         next:= [ 4085, 4148, 4086 ] ), rec(
8884         next:= [ 4147, rec(
8887           next:= [ 4084, 4083 ] ) ] ), rec(
8890         next:= [ 3898, rec(
8893           next:= [ 3897, 3895 ] ) ] ), rec(
8896         next:= [ 3901, 3899, 3902 ] ) ] ), rec(
8898       next:= [ rec(
8901         next:= [ rec(
8904           next:= [ 1328, 1327 ] ), rec(
8907           next:= [ 1325, 1375 ] ), rec(
8910           next:= [ rec(
8913             next:= [ rec(
8916               next:= [ 1326, 1376 ] ), 1330 ] ), rec(
8919             next:= [ 1324, 1378 ] ) ] ) ] ), rec(
8922         next:= [ rec(
8925           next:= [ rec(
8928             next:= [ rec(
8931               next:= [ 1322, 1319 ] ), rec(
8934               next:= [ 1318, 1372 ] ) ] ), rec(
8937             next:= [ 1317, 1371 ] ) ] ), rec(
8940           next:= [ rec(
8943             next:= [ 1374, 1320 ] ), 1316 ] ) ] ) ] ), 3890, rec(
8945       next:= [ rec(
8948         next:= [ 4172, 4234 ] ), rec(
8951         next:= [ 4093, 4211 ] ) ] ), rec(
8953       next:= [ 1225, 1061 ] ), rec(
8955       next:= [ 3834, 3814 ] ), rec(
8957       next:= [ rec(
8960         next:= [ 4122, 4205 ] ), rec(
8963         next:= [ rec(
8966           next:= [ 3988, rec(
8969             next:= [ 3921, 4019 ] ) ] ), rec(
8972           next:= [ 3989, rec(
8975             next:= [ 4017, 3925 ] ) ] ) ] ), rec(
8978         next:= [ 3990, rec(
8981           next:= [ 4022, 3924 ] ) ] ) ] ), rec(
8984       next:= [ 1279, 1281 ] ), rec(
8986       next:= [ rec(
8989         next:= [ 4118, rec(
8992           next:= [ rec(
8995             next:= [ 4254, 4255 ] ), 4184 ] ), rec(
8998           next:= [ 4117, 4224 ] ) ] ), rec(
9001         next:= [ rec(
9004           next:= [ rec(
9007             next:= [ 4026, rec(
9010               next:= [ 4024, 3928 ] ) ] ), rec(
9013             next:= [ 3994, 3992 ] ) ] ), rec(
9016           next:= [ rec(
9019             next:= [ 3929, rec(
9022               next:= [ 4023, 3927 ] ) ] ), 3993 ] ) ] ), rec(
9025         next:= [ rec(
9028           next:= [ rec(
9031             next:= [ 4252, 4253 ] ), 4223 ] ), 4183, rec(
9034           next:= [ 4116, 4115 ] ) ] ), rec(
9037         next:= [ rec(
9040           next:= [ 4030, 3998 ] ), rec(
9043           next:= [ 3996, rec(
9046             next:= [ 4028, 3932 ] ) ] ), rec(
9049           next:= [ 3933, rec(
9052             next:= [ rec(
9055               next:= [ 4027, 3931 ] ), 3997 ] ) ] ) ] ) ] ), rec(
9057       next:= [ rec(
9060         next:= [ 3725, rec(
9063           next:= [ rec(
9066             next:= [ 3728, 3727 ] ), 3726 ] ), rec(
9069           next:= [ 3730, 3729 ] ) ] ), rec(
9072         next:= [ 3750, 3747, rec(
9075           next:= [ 3746, rec(
9078             next:= [ 3748, 3749 ] ), 3751 ] ) ] ) ] ), rec(
9080       next:= [ rec(
9083         next:= [ 4154, 4155 ] ), 4156 ] ), rec(
9086       next:= [ 3983, rec(
9089         next:= [ 3919, 4018 ] ) ] ), 1278, rec(
9091       next:= [ 3880, 3884 ] ), rec(
9093       next:= [ rec(
9096         next:= [ 966, 967 ] ), rec(
9099         next:= [ 935, 933 ] ) ] ), rec(
9101       next:= [ rec(
9104         next:= [ rec(
9107           next:= [ 1143, rec(
9110             next:= [ 1147, 1132 ] ) ] ), rec(
9113           next:= [ rec(
9116             next:= [ rec(
9119               next:= [ 1128, 1131 ] ), 1150 ] ), rec(
9122             next:= [ rec(
9125               next:= [ 1130, 1146 ] ), 1142 ] ) ] ) ] ), rec(
9128         next:= [ rec(
9131           next:= [ 1380, 1382 ] ), rec(
9134           next:= [ 1333, rec(
9137             next:= [ 1335, 1338 ] ) ] ) ] ), rec(
9140         next:= [ 1252, 1251 ] ) ] ), rec(
9142       next:= [ rec(
9145         next:= [ rec(
9148           next:= [ rec(
9151             next:= [ 1463, 1464 ] ), 1422 ] ), 1462, rec(
9154           next:= [ 1466, 1424 ] ) ] ), rec(
9157         next:= [ 1470, 1468, rec(
9160           next:= [ rec(
9163             next:= [ 1427, 1428 ] ), 1426, 1430 ] ) ] ) ] ), rec(
9165       next:= [ rec(
9168         next:= [ rec(
9171           next:= [ 4057, 4130 ] ), 4055 ] ), rec(
9174         next:= [ rec(
9177           next:= [ 4061, 4135 ] ), rec(
9180           next:= [ 4060, 4134 ] ), rec(
9183           next:= [ 4062, 4063 ] ) ] ), 3906, rec(
9186         next:= [ 4073, 4141 ] ), 4123, 4140, 4071 ] ), rec(
9188       next:= [ 1246, rec(
9191         next:= [ 1365, 1332 ] ), rec(
9194         next:= [ rec(
9197           next:= [ 1138, 1123 ] ), 1136 ] ), rec(
9200         next:= [ 1141, 1119 ] ), 1308, 1120 ] ), rec(
9202       next:= [ 4157, 4158 ] ), rec(
9204       next:= [ rec(
9207         next:= [ rec(
9210           next:= [ 3975, 4009 ] ), 3914 ] ), rec(
9213         next:= [ 4013, 3979, 3918 ] ) ] ), rec(
9215       next:= [ 1288, 1284 ] ), rec(
9217       next:= [ rec(
9220         next:= [ 1455, rec(
9223           next:= [ 1413, 1411 ] ) ] ), rec(
9226         next:= [ 1459, 1457, 1419 ] ) ] ), rec(
9228       next:= [ 4836, rec(
9231         next:= [ rec(
9234           next:= [ 4816, 4815 ] ), rec(
9237           next:= [ rec(
9240             next:= [ 4811, 4812 ] ), 4813 ] ) ] ) ] ), rec(
9242       next:= [ rec(
9245         next:= [ rec(
9248           next:= [ 4791, 4801 ] ), rec(
9251           next:= [ 4792, 4800 ] ), rec(
9254           next:= [ 4790, 4799 ] ) ] ), rec(
9257         next:= [ 4831, 4832 ] ), rec(
9260         next:= [ 4809, 4808, 4807 ] ) ] ), rec(
9262       next:= [ 3893, 3892, 3887, 4202 ] ), rec(
9264       next:= [ rec(
9267         next:= [ rec(
9270           next:= [ 4238, rec(
9273             next:= [ 4175, 4240 ] ) ] ), rec(
9276           next:= [ 4241, 4176 ] ), rec(
9279           next:= [ rec(
9282             next:= [ 4099, 4100 ] ), rec(
9285             next:= [ rec(
9288               next:= [ 4098, 4215 ] ), rec(
9291               next:= [ 4091, 4210 ] ) ] ) ] ) ] ), rec(
9294         next:= [ 4126, 4267 ] ), rec(
9297         next:= [ 4106, 4179 ] ), rec(
9300         next:= [ rec(
9303           next:= [ 4090, 4209 ] ), 4207, 4088 ] ), rec(
9306         next:= [ rec(
9309           next:= [ 3935, 4034 ] ), 4003 ] ), rec(
9312         next:= [ rec(
9315           next:= [ 4103, 4218 ] ), 4244 ] ) ] ), rec(
9317       next:= [ rec(
9320         next:= [ rec(
9323           next:= [ 1065, 1072 ] ), 1063 ] ), rec(
9326         next:= [ 1228, 1227 ] ), 1229, 1076, rec(
9329         next:= [ 1073, 1062 ] ) ] ), rec(
9331       next:= [ rec(
9334         next:= [ 4077, 4143, 4078 ] ), rec(
9337         next:= [ 4142, rec(
9340           next:= [ 4076, 4075 ] ) ] ) ] ), rec(
9342       next:= [ rec(
9345         next:= [ rec(
9348           next:= [ 1345, 1385 ] ), 1339 ] ), rec(
9351         next:= [ 3835, 3833, 3836 ] ), rec(
9354         next:= [ 3816, rec(
9357           next:= [ 3815, 3813 ] ) ] ), rec(
9360         next:= [ 1389, 1347, 1353 ] ) ] ), rec(
9362       next:= [ rec(
9365         next:= [ 4829, 4828 ] ), rec(
9368         next:= [ rec(
9371           next:= [ 4786, 4787 ] ), 4788 ] ), rec(
9374         next:= [ 4819, 4803, rec(
9377           next:= [ 4820, 4804 ] ) ] ) ] ), 1069, rec(
9379       next:= [ rec(
9382         next:= [ 4814, 4810 ] ), 4835 ] ), rec(
9384       next:= [ rec(
9387         next:= [ 4795, 4796, 4794 ] ), 4824 ] ), rec(
9389       next:= [ rec(
9392         next:= [ 4150, 4149 ] ), 4159, rec(
9395         next:= [ 4153, 4152 ] ) ] ), rec(
9397       next:= [ rec(
9400         next:= [ 3986, rec(
9403           next:= [ 4021, 3923 ] ) ] ), rec(
9406         next:= [ 3984, rec(
9409           next:= [ 3922, 4020 ] ) ] ), rec(
9412         next:= [ 4121, 4120, 4206 ] ), rec(
9415         next:= [ 3985, rec(
9418           next:= [ 4015, 3926 ] ) ] ) ] ), rec(
9421       next:= [ 1282, 1268, 1280 ] ), rec(
9423       next:= [ 4830, rec(
9426         next:= [ 4789, 4798 ] ), 4806 ] ), rec(
9428       next:= [ rec(
9431         next:= [ 3885, 3883, 3886 ] ), rec(
9434         next:= [ 3882, rec(
9437           next:= [ 3881, 3879 ] ) ] ) ] ), rec(
9439       next:= [ rec(
9442         next:= [ 973, rec(
9445           next:= [ 965, rec(
9448             next:= [ 972, 968 ] ) ] ) ] ), rec(
9451         next:= [ 936, 932, 934 ] ) ] ), rec(
9453       next:= [ rec(
9456         next:= [ 4110, rec(
9459           next:= [ rec(
9462             next:= [ 4248, 4249 ] ), 4181 ] ), rec(
9465           next:= [ 4109, 4220 ] ) ] ), rec(
9468         next:= [ 4180, rec(
9471           next:= [ rec(
9474             next:= [ 4246, 4247 ] ), 4219 ] ), rec(
9477           next:= [ 4108, 4107 ] ) ] ) ] ), rec(
9480       next:= [ 4783, 4782 ] ), rec(
9482       next:= [ 4827, rec(
9485         next:= [ 4818, 4802 ] ), 4785 ] ), 1265, rec(
9487       next:= [ 3743, 3722 ] ), rec(
9489       next:= [ rec(
9492         next:= [ 4081, 4145 ] ), 4125, rec(
9495         next:= [ 3909, rec(
9498           next:= [ 3905, 3908 ] ) ] ), rec(
9501         next:= [ 4144, 4079 ] ), rec(
9504         next:= [ rec(
9507           next:= [ 4058, 4131 ] ), 4129, 4056 ] ), rec(
9510         next:= [ rec(
9513           next:= [ 4133, rec(
9516             next:= [ 4068, 4065 ] ) ] ), rec(
9519           next:= [ 4070, 4138 ] ), rec(
9522           next:= [ rec(
9525             next:= [ 4064, 4067 ] ), rec(
9528             next:= [ rec(
9531               next:= [ 4066, 4136 ] ), rec(
9534               next:= [ 4059, 4132 ] ) ] ) ] ) ] ) ] ), rec(
9536       next:= [ 4823, 4793 ] ), rec(
9538       next:= [ rec(
9541         next:= [ 1337, 1312, 1310 ] ), rec(
9544         next:= [ rec(
9547           next:= [ 1148, rec(
9550             next:= [ 1144, 1126 ] ) ] ), rec(
9553           next:= [ rec(
9556             next:= [ 1145, 1124 ] ), 1121 ] ) ] ), rec(
9559         next:= [ rec(
9562           next:= [ 1381, 1336 ] ), rec(
9565           next:= [ 1369, 1313 ] ), rec(
9568           next:= [ 1367, 1334 ] ) ] ), rec(
9571         next:= [ rec(
9574           next:= [ 1122, 1125 ] ), 1149 ] ), rec(
9577         next:= [ 1253, 1247, 1254 ] ) ] ), rec(
9579       next:= [ rec(
9582         next:= [ rec(
9585           next:= [ rec(
9588             next:= [ 3978, 3976 ] ), rec(
9591             next:= [ 4010, rec(
9594               next:= [ 4008, 3912 ] ) ] ) ] ), rec(
9597           next:= [ 3977, rec(
9600             next:= [ 3913, rec(
9603               next:= [ 4007, 3911 ] ) ] ) ] ) ] ), rec(
9606         next:= [ rec(
9609           next:= [ 3982, 4014 ] ), rec(
9612           next:= [ 3980, rec(
9615             next:= [ 4012, 3916 ] ) ] ), rec(
9618           next:= [ 3917, rec(
9621             next:= [ 3981, rec(
9624               next:= [ 4011, 3915 ] ) ] ) ] ) ] ) ] ), rec(
9626       next:= [ rec(
9629         next:= [ 1289, 1287, 1290 ] ), rec(
9632         next:= [ rec(
9635           next:= [ 1286, 1285 ] ), 1283 ] ) ] ), 937, rec(
9637       next:= [ rec(
9640         next:= [ 1460, 1458, rec(
9643           next:= [ 1416, rec(
9646             next:= [ 1417, 1418 ] ), 1420 ] ) ] ), rec(
9649         next:= [ 1452, rec(
9652           next:= [ rec(
9655             next:= [ 1453, 1454 ] ), 1412 ] ), rec(
9658           next:= [ 1456, 1414 ] ) ] ) ] ), 4781, 3907, rec(
9660       next:= [ 1307, 1245, 1133, 1366 ] ), rec(
9662       next:= [ 1274, 1270 ] ), rec(
9664       next:= [ 1461, 1425 ] ), rec(
9666       next:= [ rec(
9669         next:= [ rec(
9672           next:= [ 4037, rec(
9675             next:= [ 3939, 4006 ] ) ] ), rec(
9678           next:= [ rec(
9681             next:= [ rec(
9684               next:= [ 4033, 3942 ] ), 4005 ] ), rec(
9687             next:= [ rec(
9690               next:= [ 3938, 4036 ] ), 4004 ] ) ] ) ] ), rec(
9693         next:= [ rec(
9696           next:= [ 4236, rec(
9699             next:= [ 4171, 4235 ] ) ] ), rec(
9702           next:= [ 4173, 4237 ] ), rec(
9705           next:= [ rec(
9708             next:= [ 4089, 4087 ] ), 4208 ] ) ] ), rec(
9711         next:= [ 4127, 4268 ] ), rec(
9714         next:= [ rec(
9717           next:= [ rec(
9720             next:= [ 4174, 4213 ] ), rec(
9723             next:= [ 4097, 4239 ] ) ] ), rec(
9726           next:= [ rec(
9729             next:= [ 4242, 4216 ] ), rec(
9732             next:= [ rec(
9735               next:= [ 4101, 4102 ] ), rec(
9738               next:= [ 4177, 4243 ] ) ] ) ] ), rec(
9741           next:= [ rec(
9744             next:= [ 4095, 4096 ] ), rec(
9747             next:= [ rec(
9750               next:= [ 4094, 4214 ] ), rec(
9753               next:= [ 4092, 4212 ] ) ] ) ] ) ] ), rec(
9756         next:= [ rec(
9759           next:= [ 4114, 4182 ] ), rec(
9762           next:= [ rec(
9765             next:= [ 4111, 4222 ] ), 4250 ] ) ] ) ] ), rec(
9767       next:= [ rec(
9770         next:= [ 1230, 1234 ] ), rec(
9773         next:= [ rec(
9776           next:= [ 1080, 1084 ] ), 1068 ] ), rec(
9779         next:= [ rec(
9782           next:= [ rec(
9785             next:= [ 1066, 1081 ] ), 1077 ] ), rec(
9788           next:= [ rec(
9791             next:= [ 1064, 1067 ] ), 1085 ] ) ] ) ] ), rec(
9793       next:= [ rec(
9796         next:= [ 3841, 3838, rec(
9799           next:= [ rec(
9802             next:= [ 3839, 3840 ] ), 3837, 3842 ] ) ] ), rec(
9805         next:= [ rec(
9808           next:= [ rec(
9811             next:= [ rec(
9814               next:= [ 1346, 1343 ] ), rec(
9817               next:= [ 1342, 1384 ] ) ] ), rec(
9820             next:= [ 1341, 1383 ] ) ] ), rec(
9823           next:= [ rec(
9826             next:= [ 1386, 1344 ] ), 1340 ] ) ] ), rec(
9829         next:= [ rec(
9832           next:= [ 1351, 1352 ] ), rec(
9835           next:= [ 1349, 1387 ] ), rec(
9838           next:= [ rec(
9841             next:= [ rec(
9844               next:= [ 1350, 1388 ] ), 1354 ] ), rec(
9847             next:= [ 1348, 1390 ] ) ] ) ] ), rec(
9850         next:= [ rec(
9853           next:= [ rec(
9856             next:= [ 3820, 3819 ] ), 3818 ] ), 3817, rec(
9859           next:= [ 3822, 3821 ] ) ] ) ] ), rec(
9861       next:= [ 4201, 3888 ] ), rec(
9864       next:= [ rec(
9867         next:= [ 3936, 4035 ] ), 3999 ] ), rec(
9869       next:= [ 1055, rec(
9872         next:= [ rec(
9875           next:= [ 1071, 1057 ] ), 1070 ] ), 1074, 1226, 1075 ] ), rec(
9877       next:= [ 3896, 3900 ] ), rec(
9879       next:= [ rec(
9882         next:= [ 1377, 1323, 1329 ] ), rec(
9885         next:= [ rec(
9888           next:= [ 1321, 1373 ] ), 1315 ] ) ] ), rec(
9890       next:= [ rec(
9893         next:= [ rec(
9896           next:= [ 940, 939 ] ), 938 ] ), rec(
9899         next:= [ 974, rec(
9902           next:= [ 970, 971 ] ) ] ) ] ), 4160, rec(
9904       next:= [ rec(
9907         next:= [ 3987, rec(
9910           next:= [ 3920, 4016 ] ) ] ), rec(
9913         next:= [ 4119, 4204 ] ) ] ), rec(
9915       next:= [ 1277, rec(
9918         next:= [ 1266, 1267 ] ) ] ), rec(
9920       next:= [ rec(
9923         next:= [ 4029, 3995, 3934 ] ), rec(
9926         next:= [ rec(
9929           next:= [ 4025, 3991 ] ), 3930 ] ) ] ), rec(
9931       next:= [ rec(
9934         next:= [ 3724, rec(
9937           next:= [ 3723, 3721 ] ) ] ), rec(
9940         next:= [ 3744, 3742, 3745 ] ) ] ), 4151, 969, rec(
9942       next:= [ rec(
9945         next:= [ 3910, 3903 ] ), rec(
9948         next:= [ 4082, 4074, 4146 ] ), 4124, rec(
9951         next:= [ 4139, 4080 ] ), 4072, 3904 ] ), rec(
9953       next:= [ 1250, rec(
9956         next:= [ 1140, rec(
9959           next:= [ 1127, 1139 ] ) ] ), rec(
9962         next:= [ 1368, 1370 ] ), rec(
9965         next:= [ rec(
9968           next:= [ 1129, 1137 ] ), 1135 ] ), rec(
9971         next:= [ 1379, 1331 ] ), rec(
9974         next:= [ 1309, rec(
9977           next:= [ 1311, 1314 ] ) ] ), rec(
9980         next:= [ 1249, 1248 ] ) ] ), rec(
9982       next:= [ 4161, 4162 ] ), rec(
9984       next:= [ rec(
9987         next:= [ 1275, 1273, 1276 ] ), rec(
9990         next:= [ rec(
9993           next:= [ 1272, 1271 ] ), 1269 ] ) ] ), rec(
9995       next:= [ rec(
9998         next:= [ 1465, rec(
10001           next:= [ 1423, 1421 ] ) ] ), rec(
10004         next:= [ 1469, 1467, 1429 ] ) ] ), rec(
10007       next:= [ 4069, 4137 ] ), 1134, rec(
10009       next:= [ rec(
10012         next:= [ 3891, 3889 ] ), 3894, 4203 ] ), rec(
10014       next:= [ 1415, 1451 ] ), rec(
10016       next:= [ rec(
10019         next:= [ 4269, 4266, 4128 ] ), rec(
10022         next:= [ rec(
10025           next:= [ rec(
10028             next:= [ 4038, 3940 ] ), 4002 ] ), rec(
10031           next:= [ rec(
10034             next:= [ 3937, 4031 ] ), 4000 ] ) ] ), rec(
10037         next:= [ rec(
10040           next:= [ 4113, 4251 ] ), rec(
10043           next:= [ 4105, 4217 ] ), rec(
10046           next:= [ 4178, 4112 ] ) ] ), rec(
10049         next:= [ rec(
10052           next:= [ 4032, 3941 ] ), 4001 ] ), rec(
10055         next:= [ 4221, 4245, 4104 ] ) ] ) ] ), 21540, rec(
10057     next:= [ rec(
10059       next:= [ 21286, rec(
10061         next:= [ 21289, 21292 ] ), 21296, rec(
10063         next:= [ 21287, 21291, 21288, 21294, 21295 ] ), 21297, rec(
10065         next:= [ 21290, 21293 ] ) ] ), rec(
10068       next:= [ 21437, 21438, 21439, 21440 ] ) ] ), rec(
10070     next:= [ rec(
10072       next:= [ rec(
10075         next:= [ 211, 215 ] ), 212, 52, rec(
10078         next:= [ 910, rec(
10081           next:= [ rec(
10084             next:= [ 797, 795 ] ), 796 ] ) ] ), 906, 794, rec(
10087         next:= [ 53, rec(
10090           next:= [ 51, 50 ] ) ] ) ] ), rec(
10094       next:= [ 334, rec(
10096         next:= [ 262, 263 ] ), rec(
10099         next:= [ 208, rec(
10102           next:= [ 205, 216 ] ) ] ), 815, 213, rec(
10105         next:= [ 130, 88 ] ), rec(
10107         next:= [ 105, 98 ] ), rec(
10109         next:= [ 773, 808 ] ), 664, rec(
10111         next:= [ 864, 866 ] ), 27, rec(
10113         next:= [ rec(
10116           next:= [ 771, rec(
10119             next:= [ 770, 769 ] ) ] ), rec(
10122           next:= [ 909, rec(
10125             next:= [ 792, 793 ] ) ] ) ] ), rec(
10127         next:= [ 104, 96 ] ), 662, 905, rec(
10129         next:= [ 844, 863 ] ), 813, 768, rec(
10132         next:= [ rec(
10135           next:= [ 25, 28 ] ), 26 ] ), 342, rec(
10137         next:= [ 913, 914 ] ), rec(
10139         next:= [ 291, 290 ] ), rec(
10142         next:= [ 132, 91 ] ) ] ) ] ), rec(
10147     next:= [ rec(
10149       next:= [ rec(
10152         next:= [ 696, 896 ] ), rec(
10155         next:= [ 684, 894 ] ) ] ), rec(
10157       next:= [ 100, 108 ] ), rec(
10160       next:= [ 136, rec(
10163         next:= [ 138, rec(
10166           next:= [ 134, 137 ] ) ] ) ] ), rec(
10168       next:= [ 99, 107 ] ), 363, rec(
10171       next:= [ rec(
10174         next:= [ 49, rec(
10177           next:= [ 47, 48 ] ) ] ), 41 ] ), rec(
10179       next:= [ 57, 61 ] ), rec(
10181       next:= [ 888, 886 ] ), 133, rec(
10183       next:= [ 695, 683 ] ), rec(
10185       next:= [ 110, 102 ] ), rec(
10187       next:= [ 109, 101 ] ), rec(
10190       next:= [ rec(
10193         next:= [ 698, 697 ] ), rec(
10196         next:= [ rec(
10199           next:= [ 699, 700 ] ), 892 ] ) ] ), rec(
10201       next:= [ 55, 59, 353, 349 ] ), 40, rec(
10203       next:= [ 56, 60 ] ), 882, rec(
10205       next:= [ 351, 347 ] ), rec(
10207       next:= [ rec(
10210         next:= [ 694, 895 ] ), rec(
10213         next:= [ 682, 893 ] ) ] ), 135, rec(
10216       next:= [ 372, rec(
10219         next:= [ 375, rec(
10222           next:= [ 366, 374 ] ) ] ) ] ), 890, rec(
10224       next:= [ 54, 58 ] ), 46, rec(
10226       next:= [ 350, 354 ] ), rec(
10228       next:= [ 887, 885 ] ), 369, 884, rec(
10230       next:= [ 348, 352 ] ), rec(
10232       next:= [ 681, 693 ] ) ] ), rec(
10234     next:= [ rec(
10236       next:= [ 196, rec(
10239         next:= [ 637, rec(
10242           next:= [ 636, 868 ] ) ] ), rec(
10245         next:= [ 202, 199 ] ), rec(
10248         next:= [ 259, rec(
10251           next:= [ 258, 257 ] ) ] ), rec(
10254         next:= [ 790, 789 ] ), rec(
10257         next:= [ rec(
10260           next:= [ 648, 877 ] ), 876, 647 ] ), rec(
10263         next:= [ 289, rec(
10266           next:= [ 285, 331 ] ), 332 ] ), 787 ] ), rec(
10269       next:= [ rec(
10271         next:= [ 874, 852 ] ), 656, rec(
10273         next:= [ 872, 850 ] ), rec(
10275         next:= [ 266, 273 ] ), 264, 269, rec(
10277         next:= [ 210, 267 ] ), 655, 271, 651, rec(
10279         next:= [ 904, 791 ] ), 649 ] ) ] ), rec(
10282     next:= [ 21528, 21531, 21534, rec(
10284       next:= [ 21530, 21533 ] ), 21535, 21532, 21529 ] ), rec(
10286     next:= [ rec(
10288       next:= [ rec(
10290         next:= [ rec(
10293           next:= [ rec(
10296             next:= [ 946, 945 ] ), 944 ] ), rec(
10299           next:= [ rec(
10302             next:= [ 949, 948 ] ), 950, 947 ] ), rec(
10305           next:= [ 924, 925, 923 ] ) ] ), rec(
10307         next:= [ rec(
10310           next:= [ 6094, rec(
10313             next:= [ 5944, 6093 ] ) ] ), rec(
10316           next:= [ 5893, 5892 ] ), rec(
10319           next:= [ 6096, 5946, 6095, 5945 ] ) ] ), rec(
10321         next:= [ rec(
10324           next:= [ 6817, rec(
10327             next:= [ 5976, 5975 ] ) ] ), rec(
10330           next:= [ 5978, 6819, 5977, 6818 ] ), rec(
10333           next:= [ 6770, 6771 ] ) ] ), rec(
10335         next:= [ rec(
10338           next:= [ rec(
10341             next:= [ 3619, 2723 ] ), 2724, 3618 ] ), rec(
10344           next:= [ 2601, 2600 ] ), rec(
10347           next:= [ 3617, rec(
10350             next:= [ 3616, 2722 ] ) ] ) ] ) ] ), rec(
10352       next:= [ rec(
10354         next:= [ 5002, 4419, 4420 ] ), rec(
10356         next:= [ rec(
10359           next:= [ rec(
10362             next:= [ 4409, 4411 ] ), 4410 ] ), rec(
10365           next:= [ rec(
10368             next:= [ 4439, rec(
10371               next:= [ 2279, rec(
10374                 next:= [ rec(
10377                   next:= [ 2277, rec(
10380                     next:= [ 2278, 2276 ] ) ] ), rec(
10383                   next:= [ 2281, 2282 ] ) ] ), 2280 ] ) ] ), 
10386         next:= [ rec(
10389           next:= [ rec(
10392             next:= [ 6425, rec(
10395               next:= [ 5882, 5883 ] ) ] ), 6424 ] ), rec(
10398           next:= [ 6279, 6280 ] ) ] ), rec(
10400         next:= [ 4412, 2300, 2283 ] ), rec(
10402         next:= [ 6991, 6335, 6334 ] ) ] ), rec(
10406       next:= [ 6014, 6004, rec(
10409         next:= [ 4416, 4415 ] ), rec(
10412         next:= [ rec(
10415           next:= [ 6845, rec(
10418             next:= [ 6853, 6842 ] ) ] ), rec(
10421           next:= [ 5990, 6835 ] ), 6841, rec(
10424           next:= [ 5991, 5997, 6839 ] ), 6846, 6852, 6807, 6808, rec(
10427           next:= [ 6801, 6799 ] ), rec(
10430           next:= [ 5996, 6836 ] ) ] ), rec(
10432         next:= [ 4493, 2901 ] ), rec(
10434         next:= [ rec(
10437           next:= [ 4468, 4467 ] ), 1826 ] ), 6008, rec(
10439         next:= [ rec(
10442           next:= [ 2264, 2266 ] ), rec(
10445           next:= [ 2310, 2311, rec(
10448             next:= [ 2353, 2352 ] ) ] ), 4511 ] ), rec(
10451         next:= [ 1864, rec(
10454           next:= [ 2705, 1524 ] ), 1863, rec(
10457           next:= [ rec(
10460             next:= [ 1523, 2706 ] ), 1536 ] ), rec(
10463           next:= [ 2628, 2656 ] ), 1900, 1889, rec(
10466           next:= [ rec(
10469             next:= [ 1476, 1525 ] ), 2683 ] ), rec(
10472           next:= [ rec(
10475             next:= [ 1475, 2682 ] ), 1535 ] ), 2773 ] ), rec(
10477         next:= [ 6971, 6298 ] ), rec(
10479         next:= [ rec(
10482           next:= [ 2322, 4454 ] ), rec(
10485           next:= [ 4404, 4402 ] ), rec(
10488           next:= [ 4463, 4462 ] ), rec(
10491           next:= [ 4457, 2323 ] ), 4436, 2915 ] ), rec(
10493         next:= [ 6247, 6386, 6466 ] ), 4491, rec(
10495         next:= [ rec(
10498           next:= [ rec(
10501             next:= [ 2782, 2824 ] ), 4858 ] ), rec(
10504           next:= [ 2823, 4855 ] ), 4886, rec(
10507           next:= [ 4842, 4840 ] ), 3008, rec(
10510           next:= [ rec(
10513             next:= [ 4874, 4867 ] ), 4862 ] ), 4861, rec(
10516           next:= [ 2781, 4854 ] ) ] ), 6005, 1843, rec(
10518         next:= [ 2744, 1847 ] ), rec(
10520         next:= [ 6417, rec(
10523           next:= [ rec(
10526             next:= [ 6257, 6262 ] ), 6263 ] ), rec(
10529           next:= [ rec(
10532             next:= [ 6398, rec(
10535               next:= [ 5862, rec(
10538                 next:= [ 5856, 5860 ] ), 5863 ] ) ] ), 6397 ] ), 
10541         next:= [ 6985, rec(
10544           next:= [ 6979, 6977 ] ), rec(
10547           next:= [ 6306, 6309 ] ), rec(
10550           next:= [ 6326, 6325 ] ), rec(
10553           next:= [ 6308, 6305 ] ) ] ), 6002, rec(
10555         next:= [ rec(
10558           next:= [ 5858, 6394 ] ), 6468, 6274, rec(
10561           next:= [ 6395, 5859 ] ), rec(
10564           next:= [ 6259, 6254 ] ), 6416 ] ), rec(
10566         next:= [ 6327, 6986 ] ), rec(
10568         next:= [ rec(
10571           next:= [ 5960, 6110 ] ), rec(
10574           next:= [ 6111, 6117, 5962 ] ), 6011, rec(
10577           next:= [ 5922, 5924 ] ), rec(
10580           next:= [ 5961, 6116 ] ) ] ), 2937, rec(
10582         next:= [ rec(
10585           next:= [ rec(
10588             next:= [ 2681, 3341 ] ), rec(
10591             next:= [ 2707, 1528 ] ) ] ), rec(
10594           next:= [ rec(
10597             next:= [ 2658, rec(
10600               next:= [ 2626, 2630 ] ) ] ), 2632 ] ), rec(
10603           next:= [ rec(
10606             next:= [ rec(
10609               next:= [ 1472, 2680 ] ), rec(
10612               next:= [ 1478, 2684 ] ) ] ), 3316 ] ), rec(
10615           next:= [ rec(
10618             next:= [ rec(
10621               next:= [ 1473, rec(
10624                 next:= [ rec(
10627                   next:= [ 1479, 1529 ] ), 2686 ] ) ] ), rec(
10630               next:= [ 1527, 2708 ] ) ] ), 2685, rec(
10633             next:= [ 3317, 3342 ] ) ] ), rec(
10636           next:= [ 1848, 2971 ] ), 2745 ] ), rec(
10638         next:= [ 2330, 1827 ] ), rec(
10640         next:= [ rec(
10643           next:= [ 6297, 6296 ] ), 6970 ] ), rec(
10645         next:= [ 6387, 6248 ] ) ] ) ] ), rec(
10647     next:= [ ] ), rec(
10650     next:= [ 21469, 21470 ] ), rec(
10652     next:= [ rec(
10654       next:= [ 246, 97, 772, 843, 95, 842, 899, 282 ] ), rec(
10656       next:= [ 739, 382, 175, 841 ] ) ] ), rec(
10658     next:= [ rec(
10661       next:= [ rec(
10663         next:= [ 94, rec(
10666           next:= [ 147, rec(
10669             next:= [ 146, 145 ] ) ] ) ] ), 144, 832, rec(
10671         next:= [ 839, rec(
10674           next:= [ 816, 817 ],
10677         next:= [ rec(
10680           next:= [ 373, 367 ] ), 358 ] ), rec(
10682         next:= [ 93, 143 ] ), rec(
10684         next:= [ 360, 356 ] ), rec(
10686         next:= [ 833, 828 ] ), rec(
10688         next:= [ rec(
10691           next:= [ 838, rec(
10695             next:= [ 826, 827 ],
10699           next:= [ 834, rec(
10702             next:= [ 819, 818 ],
10707       next:= [ rec(
10709         next:= [ 835, rec(
10712           next:= [ 821, 820 ],
10715         next:= [ 624, 603 ] ), 829, rec(
10717         next:= [ 371, 355 ] ), rec(
10719         next:= [ 124, 126 ] ), 622, rec(
10721         next:= [ 118, 116 ] ), 121, 117, rec(
10723         next:= [ 623, rec(
10727           next:= [ 600, 601 ],
10730         next:= [ 837, rec(
10733           next:= [ 824, 825 ],
10736         next:= [ 112, 113 ] ), 598, 831, rec(
10738         next:= [ 359, 368 ] ), rec(
10740         next:= [ 357, 361 ] ), rec(
10742         next:= [ 120, 122 ] ), 114, rec(
10744         next:= [ 836, rec(
10747           next:= [ 822, 823 ],
10750         next:= [ 621, 599 ] ), 370 ] ) ] ), rec(
10752     next:= [ rec(
10756       next:= [ rec(
10758         next:= [ 19682, 19712, 19657 ] ), rec(
10760         next:= [ 21210, 21211 ] ), 21262, 21498, rec(
10762         next:= [ 19664, 21243, 21242, 21241, 21200, rec(
10765           next:= [ 21199, 21198 ] ) ] ), 21272, rec(
10767         next:= [ 21227, rec(
10770           next:= [ 21226, 19683 ] ), 19703, 19650 ] ), rec(
10772         next:= [ 19752, 19849, 19751 ] ), rec(
10774         next:= [ 21487, 21488 ] ), rec(
10776         next:= [ 19818, 19869 ] ), rec(
10778         next:= [ 19855, 19774, 19775 ] ), 21283, rec(
10780         next:= [ 19673, 19665, 21201 ] ), rec(
10782         next:= [ 19840, 19733 ] ), rec(
10785         next:= [ 19702, 19691, 19651, 19713, 19656, 19692, 19868, 19711, 
10788         next:= [ 21484, 21483 ] ), rec(
10790         next:= [ 19776, 19856 ] ), 21501, 21496, rec(
10792         next:= [ 19839, 19731, 19732 ] ), rec(
10794         next:= [ 19805, 19870 ] ), rec(
10796         next:= [ 19788, 19789, 19863 ] ), rec(
10798         next:= [ 21203, 19672 ] ), rec(
10800         next:= [ 21492, 21479, 21493, 21480, 21494 ] ) ] ), rec(
10802       next:= [ rec(
10805         next:= [ 21148, 21149, 21142, 21130, 21141, 21137, 21136, 21143, 
10808         next:= [ 21279, 21236, 21235, 21196 ] ), rec(
10810         next:= [ 21481, 21482 ] ), 21495, rec(
10812         next:= [ 21490, 21477, 21491, 21489, 21476 ] ), 21500, 21497, rec(
10814         next:= [ 21486, 21485 ] ) ] ) ] ), rec(
10816     next:= [ rec(
10819       next:= [ rec(
10821         next:= [ 642, 871, 643, 849 ] ), rec(
10823         next:= [ rec(
10826           next:= [ 206, 204 ] ), rec(
10829           next:= [ 203, 207 ] ), rec(
10832           next:= [ 188, 193 ] ), 194 ] ), rec(
10834         next:= [ 635, 846, 867, 634 ] ), rec(
10836         next:= [ 253, 252, 260, 261 ] ), rec(
10838         next:= [ 248, 256, 249, 255 ] ), rec(
10840         next:= [ 197, 189, 191, 198, 201, 185 ] ), rec(
10842         next:= [ rec(
10845           next:= [ 587, 590 ] ), 779, rec(
10848           next:= [ 804, 807 ] ), rec(
10851           next:= [ 592, 591 ] ) ] ), rec(
10853         next:= [ rec(
10856           next:= [ 630, 674 ] ), rec(
10859           next:= [ 615, 614 ] ), rec(
10862           next:= [ 629, 675 ] ), rec(
10865           next:= [ 631, 673 ] ), rec(
10868           next:= [ 672, 678 ] ), rec(
10871           next:= [ 632, 679 ] ) ] ), rec(
10873         next:= [ rec(
10876           next:= [ 639, 645 ] ), rec(
10879           next:= [ 858, 854 ] ), 870, rec(
10882           next:= [ 646, 640 ] ) ] ), rec(
10884         next:= [ rec(
10887           next:= [ 627, 668 ] ), rec(
10890           next:= [ 625, 676 ] ), rec(
10893           next:= [ 628, 677 ] ), rec(
10896           next:= [ 626, 667 ] ), rec(
10899           next:= [ 666, 680 ] ), rec(
10902           next:= [ 610, 609 ] ) ] ), rec(
10905         next:= [ rec(
10908           next:= [ 324, 287 ] ), rec(
10911           next:= [ 284, 328 ] ), 283, rec(
10914           next:= [ rec(
10917             next:= [ 330, 329 ] ), rec(
10920             next:= [ 327, 326 ] ) ] ), rec(
10923           next:= [ 316, 242 ] ), rec(
10926           next:= [ 315, 318 ] ), rec(
10929           next:= [ 320, 243 ] ), rec(
10932           next:= [ 278, 281 ] ), rec(
10935           next:= [ 235, 280 ] ) ] ), rec(
10937         next:= [ 589, 585, 586, 588, 774, 802 ] ), rec(
10939         next:= [ rec(
10942           next:= [ 232, 275 ] ), rec(
10945           next:= [ 239, 311 ] ), rec(
10948           next:= [ 238, 319 ] ), rec(
10951           next:= [ 322, 323 ] ), rec(
10954           next:= [ 325, 286 ] ), rec(
10957           next:= [ 321, 288 ] ) ] ) ] ), rec(
10960       next:= [ 660, 650, rec(
10962         next:= [ 851, 873 ] ), rec(
10964         next:= [ 268, 214 ] ), 217, 270, rec(
10966         next:= [ 265, 274 ] ), rec(
10968         next:= [ 776, 806 ] ), 652, 659, 272, rec(
10970         next:= [ 775, 805 ] ) ] ) ] ), rec(
10974     next:= [ 21511, 21502, 21516, 21522, 21520, 21507, 21514, 21509, 21506, 
10977       next:= [ 21513, 21515, 21505, 21523 ] ), 21521 ] ), rec(
10979     next:= [ rec(
10981       next:= [ rec(
10983         next:= [ 633, 641, 848 ] ), rec(
10985         next:= [ 190, 186 ] ), rec(
10987         next:= [ rec(
10990           next:= [ 251, 250 ] ), 247 ] ), rec(
10992         next:= [ 903, 788 ] ), rec(
10994         next:= [ rec(
10997           next:= [ 875, 644, 638 ] ), rec(
11000           next:= [ 857, 856 ] ) ] ), rec(
11002         next:= [ rec(
11005           next:= [ rec(
11008             next:= [ 317, 241 ] ), 314 ] ), rec(
11011           next:= [ 279, 234 ] ) ] ) ] ), rec(
11013       next:= [ rec(
11015         next:= [ 385, rec(
11018           next:= [ 387, 386 ] ) ] ), rec(
11020         next:= [ 783, 811 ] ), rec(
11022         next:= [ 862, 879 ] ), rec(
11024         next:= [ 754, 743, 753 ] ), rec(
11026         next:= [ 245, 237 ] ) ] ) ] ), rec(
11029     next:= [ 161, 734, 80, 616, 567 ] ), rec(
11031     next:= [ rec(
11033       next:= [ 17954, rec(
11035         next:= [ 17985, 17986, 17964, 17969, 18015 ] ), rec(
11037         next:= [ 18043, 18005, 17976, 18035, 17983, 17998, rec(
11040           next:= [ 18057, 18052 ] ) ] ), rec(
11043         next:= [ rec(
11046           next:= [ 18018, 18040 ] ), 17992, rec(
11049           next:= [ rec(
11052             next:= [ 17956, 17963 ] ), 17955 ] ), rec(
11055           next:= [ 18010, 18001 ] ), 18054, rec(
11058           next:= [ 17974, 17977 ] ), rec(
11061           next:= [ rec(
11064             next:= [ 18002, 17989 ] ), 17988 ] ), 17966, 17957, rec(
11067           next:= [ 18019, 18016 ] ), rec(
11070           next:= [ 18041, 18038 ] ) ] ), rec(
11072         next:= [ rec(
11075           next:= [ 17999, 17995 ] ), rec(
11078           next:= [ 18051, rec(
11081             next:= [ 18044, 18034 ] ), 18031, 18049 ] ), rec(
11084           next:= [ 17967, 17978 ] ), rec(
11087           next:= [ 17996, rec(
11090             next:= [ 18014, 18012 ] ), 18003 ] ), rec(
11093           next:= [ rec(
11096             next:= [ 18036, 18030 ] ), 18029 ] ), rec(
11099           next:= [ 17970, 17980 ] ), rec(
11102           next:= [ 18053, 18056 ] ), rec(
11105           next:= [ 18025, 18026 ] ) ] ), rec(
11107         next:= [ rec(
11110           next:= [ 17962, rec(
11113             next:= [ 17973, rec(
11116               next:= [ 17960, 17979 ] ) ] ) ] ), rec(
11119           next:= [ 18060, 18055 ] ), rec(
11122           next:= [ 18050, rec(
11125             next:= [ 18039, 18024 ] ), 18023 ] ), rec(
11128           next:= [ 17975, 17981 ] ), rec(
11131           next:= [ 18000, rec(
11134             next:= [ 18009, 18011 ] ), 17991 ] ), rec(
11137           next:= [ rec(
11140             next:= [ 17959, 17965 ] ), 17961, rec(
11143             next:= [ 17958, rec(
11146               next:= [ 17968, 17971 ] ) ] ) ] ), rec(
11149           next:= [ 18017, 18020, 18021, rec(
11152             next:= [ 18037, 18022 ] ), 18045 ] ), rec(
11155           next:= [ 17990, 17993, 17987, 18006, 17994 ] ) ] ), rec(
11157         next:= [ rec(
11160           next:= [ 17984, rec(
11163             next:= [ 17982, 17972 ] ) ] ), rec(
11166           next:= [ 17997, rec(
11169             next:= [ 18008, 18007 ] ), 18013, 18004 ] ), rec(
11172           next:= [ 18058, 18059 ] ), rec(
11175           next:= [ 18028, 18048, 18033, 18047, rec(
11178             next:= [ 18042, 18032 ] ), 18027, 18046 ] ) ] ) ] ), rec(
11181       next:= [ rec(
11184         next:= [ 18638, 18662, 18660, rec(
11187           next:= [ 18640, 18661 ] ), 18636, 18639, 18663, 18637, 18664 ] ), 
11190         next:= [ 18554, rec(
11193           next:= [ 18564, 18556 ] ), 18555, 18557 ] ), 18559, 18561, rec(
11196         next:= [ 18581, 18669, 18596, 18597, 18672, 18643, rec(
11199           next:= [ 18645, 18671 ] ), rec(
11202           next:= [ 18580, 18595 ] ), rec(
11205           next:= [ 18599, 18642 ] ), 18582, rec(
11208           next:= [ 18644, 18670 ] ), 18602, 18583, rec(
11211           next:= [ 18668, 18648 ] ), rec(
11214           next:= [ 18667, rec(
11217             next:= [ 18601, 18647 ] ) ] ), 18563, rec(
11220           next:= [ 18666, rec(
11223             next:= [ 18600, 18598 ] ) ] ), 18646 ] ), 18565, rec(
11226         next:= [ 18658, 18612, rec(
11229           next:= [ 18657, 18655 ] ), rec(
11232           next:= [ 18654, 18610 ] ), 18608, 18656, 18566, 18604, rec(
11235           next:= [ 18611, 18651 ] ), 18605, rec(
11238           next:= [ 18653, rec(
11241             next:= [ 18609, 18607 ] ) ] ), 18650, 18652, 
11244     next:= [, rec(
11247       next:= [ 12504, 14119, 17921, 14124, 17937, 12499, 12503, rec(
11249         next:= [ 14118, 14120 ] ), rec(
11251         next:= [ 14121, 14123 ] ), rec(
11253         next:= [ 16416, 17922 ] ), rec(
11255         next:= [ 17209, 17939, 17188 ] ), rec(
11257         next:= [ 16749, 16705, 12498 ] ), rec(
11259         next:= [ 12505, 17230 ] ), 14117, 14122, 17923, 17938, 
11265     next:= [ rec(
11268       next:= [ rec(
11271         next:= [ 18847, 18837 ] ), 18913, rec(
11274         next:= [ rec(
11277           next:= [ 18926, 18843 ] ), rec(
11280           next:= [ 18816, 18906 ] ), rec(
11283           next:= [ rec(
11286             next:= [ 18886, 18907 ] ), 18842 ] ) ] ), rec(
11289         next:= [ 18755, 18790 ] ), 18781, rec(
11292         next:= [ rec(
11295           next:= [ 18806, rec(
11298             next:= [ 18822, 18836 ] ) ] ), 18834, 18835 ] ), 18854, 
11302         next:= [ 18841, 18840 ] ), rec(
11305         next:= [ 18932, 18914 ] ), rec(
11308         next:= [ 18938, 18919 ] ), 18804, 18759, rec(
11311         next:= [ 18811, 18838 ] ), rec(
11314         next:= [ 18908, 18862 ] ), rec(
11317         next:= [ rec(
11320           next:= [ 18751, 18710 ] ), 18750, 18752 ] ) ] ), rec(
11322       next:= [ rec(
11325         next:= [ 18949, 18950 ] ), 19076, 18957, rec(
11328         next:= [ 18942, 18995 ] ), 18971, 18964, rec(
11331         next:= [ 19002, 18945 ] ) ] ), 18965, rec(
11334       next:= [ 19011, rec(
11337         next:= [ 18962, 18978, 19016 ] ), rec(
11340         next:= [ 18943, 18991 ] ), rec(
11343         next:= [ 18985, 19022 ] ), rec(
11346         next:= [ rec(
11349           next:= [ rec(
11352             next:= [ 18994, 18998 ] ), 19024 ] ), rec(
11355           next:= [ 18955, 18954 ] ), 19050, rec(
11358           next:= [ 19003, 19032, 19031 ] ), rec(
11361           next:= [ 19010, 19047 ] ) ] ), rec(
11364         next:= [ 19038, rec(
11367           next:= [ 18981, 19018 ] ) ] ), rec(
11370         next:= [ 19007, rec(
11373           next:= [ rec(
11376             next:= [ 18984, 18988 ] ), 18946 ] ), 19000 ] ), 18980, 
11380         next:= [ 19039, 19069, 19071 ] ), rec(
11383         next:= [ 19045, 19078 ] ), 18973 ] ), 18673, 18966, rec(
11385       next:= [ 19013, rec(
11388         next:= [ rec(
11391           next:= [ 19056, 19058 ] ), 19036, 19019 ] ), rec(
11394         next:= [ 18963, 18976, 19015 ] ), 19041, rec(
11397         next:= [ 19026, rec(
11400           next:= [ 19063, 19065, 19062 ] ), rec(
11403           next:= [ 19049, 19029, 19033 ] ), 19005 ] ), rec(
11406         next:= [ 19046, 19075, 19054 ] ), rec(
11409         next:= [ 18989, 19021 ] ) ] ), rec(
11412       next:= [ 18876, 18725, 18696, 18689, 18674, 18869, 18735, 18683, 18677, 
11418       next:= [ 18678, 18720, 18727, rec(
11421         next:= [ 18690, 18719 ] ), 18712, 18792, 18868, 18870, 18773, 18699, 
11425         next:= [ 18924, rec(
11428           next:= [ 18888, 18857 ] ) ] ), 18889, 18697, 18717, 18796, rec(
11431         next:= [ rec(
11434           next:= [ 18898, 18899 ] ), 18934 ] ), 18848, 18771, 18856, 
11438         next:= [ 18880, rec(
11441           next:= [ 18881, 18877 ] ) ] ), 18864, rec(
11444         next:= [ 18675, rec(
11447           next:= [ 18762, 18766 ] ) ] ), 18764, 18783, rec(
11450         next:= [ 18738, rec(
11453           next:= [ 18737, 18734 ] ) ] ), 18791, 18724, rec(
11456         next:= [ 18928, 18896 ] ), 18782, 18728, 18731 ] ), rec(
11458       next:= [ 18741, 18744 ] ), rec(
11462       next:= [ 18793, rec(
11465         next:= [ rec(
11468           next:= [ 18920, 18900 ] ), 18921, 18935 ] ), 18849, rec(
11471         next:= [ 18915, rec(
11474           next:= [ 18895, 18916 ] ) ] ), rec(
11477         next:= [ 18929, 18917 ] ), 18855, 18736, 18785, 18772, 18753, 18879, 
11481         next:= [ 18925, rec(
11484           next:= [ 18909, 18858 ] ) ] ), 18730, 18910, 18721, 18866, 18765, 
11488         next:= [ 18676, rec(
11491           next:= [ 18767, 18763 ] ) ] ), rec(
11494         next:= [ 18757, rec(
11497           next:= [ 18756, 18716 ] ) ] ), 18798, rec(
11500         next:= [ 18760, 18761, 18774 ] ), 18784, 18794 ] ), rec(
11502       next:= [ 18951, 18941, 19068 ] ), 18969, 18743, rec(
11505       next:= [ rec(
11508         next:= [ 18958, 18972 ] ), 19073, rec(
11511         next:= [ 18986, 18948, 19009, 19043 ] ), rec(
11514         next:= [ 19074, 19080 ] ), rec(
11517         next:= [ 19035, 18982 ] ), rec(
11520         next:= [ 18999, 18996, 18952, 19001 ] ), rec(
11523         next:= [ 18959, 18974 ] ), 18961, 18944, rec(
11526         next:= [ 18983, 18987 ] ) ] ), 18821, rec(
11529       next:= [ 18968, 18967 ] ), rec(
11531       next:= [ rec(
11534         next:= [ 18990, rec(
11537           next:= [ 19025, 19027 ] ), rec(
11540           next:= [ 19030, 19028, 19034 ] ), 19053, 19006, rec(
11543           next:= [ 19044, 19004 ] ) ] ), rec(
11546         next:= [ 19055, 19057, 18979 ] ), rec(
11549         next:= [ 19037, 19017 ] ), rec(
11552         next:= [ 18992, 18953, rec(
11555           next:= [ 19008, 19066, 19061 ] ) ] ), rec(
11558         next:= [ 19042, 19070 ] ), rec(
11561         next:= [ 19052, rec(
11564           next:= [ 19077, 19079 ] ), 19048 ] ), rec(
11567         next:= [ 18977, 19014 ] ), rec(
11570         next:= [ 18947, rec(
11573           next:= [ 19020, 19023 ] ), rec(
11576           next:= [ 18993, 18997 ] ) ] ), rec(
11579         next:= [ 18975, 19012 ] ) ] ), rec(
11581       next:= [ rec(
11584         next:= [ 18882, 18828 ] ), 18685, 18706, 18825, 18680, 18691, 
11587       next:= [ rec(
11590         next:= [ 19072, 19040, 19060, 19059 ] ), rec(
11593         next:= [ 19051, 19064, 19067 ] ) ] ), rec(
11597       next:= [ 18777, 18709, 18722, 18827, 18693, 18708, 18871, 18679, rec(
11600         next:= [ 18846, 18824 ] ), 18686, rec(
11603         next:= [ rec(
11606           next:= [ 18815, 18885 ] ), 18922, 18830 ] ), rec(
11609         next:= [ 18884, 18861 ] ), 18695, 18682, 18692, rec(
11612         next:= [ 18732, 18865 ] ), 18831, rec(
11615         next:= [ 18805, 18820, 18823 ] ), 18739, 18890, rec(
11618         next:= [ 18936, 18901 ] ), rec(
11621         next:= [ 18930, 18891 ] ), 18810, 18853, 18799, 18875, 18687, rec(
11624         next:= [ 18713, 18786 ] ) ] ), 18745, rec(
11629       next:= [ rec(
11632         next:= [ 18931, rec(
11635           next:= [ 18912, 18893 ] ), 18933 ] ), rec(
11638         next:= [ 18688, 18758 ] ), 18873, 18740, 18800, 18833, 18779, 
11642         next:= [ 18681, 18769 ] ), rec(
11645         next:= [ 18801, 18802 ] ), 18694, rec(
11648         next:= [ 18939, rec(
11651           next:= [ 18940, 18937 ] ), rec(
11654           next:= [ 18902, 18918 ] ) ] ), rec(
11657         next:= [ 18809, 18826 ] ), 18788, rec(
11660         next:= [ 18852, rec(
11663           next:= [ 18850, 18851 ] ) ] ), 18770, rec(
11666         next:= [ 18754, 18787 ] ), 18768, rec(
11669         next:= [ 18733, 18867 ] ), 18878, rec(
11672         next:= [ 18808, 18844, 18845 ] ), rec(
11675         next:= [ rec(
11678           next:= [ rec(
11681             next:= [ 18903, 18829 ] ), rec(
11684             next:= [ 18818, rec(
11687               next:= [ 18883, 18904 ] ) ] ) ] ), 18923, rec(
11690           next:= [ 18819, 18817 ] ), 18927 ] ), rec(
11693         next:= [ 18775, 18776, 18723 ] ), rec(
11696         next:= [ 18860, rec(
11699           next:= [ rec(
11702             next:= [ 18887, 18905 ] ), 18859 ] ) ] ), 18711, 18812, 
11706         next:= [ 18714, 18789 ] ), rec(
11709         next:= [ 18747, rec(
11712           next:= [ 18748, 18707 ] ), 18749 ] ), 18807, rec(
11715         next:= [ 18892, 18911 ] ), 18780 ] ), 18956, 18746 ] ), rec(
11717     next:= [ rec(
11719       next:= [ 5611, rec(
11721         next:= [ rec(
11724           next:= [ 5612, 5634 ] ), 5619 ] ), 5622, rec(
11726         next:= [ 5694, rec(
11729           next:= [ 5652, 5620 ] ) ] ) ] ), 21538 ] ), 21527, rec(
11733     next:= [ rec(
11735       next:= [ rec(
11738         next:= [ 73, 74 ] ), 86 ] ), rec(
11740       next:= [ 78, 90 ] ), rec(
11742       next:= [ 39, 45 ] ), rec(
11744       next:= [ 340, 339 ] ), rec(
11746       next:= [ 141, 142 ] ), rec(
11748       next:= [ rec(
11751         next:= [ 692, 891 ] ), rec(
11754         next:= [ 690, 889 ] ) ] ), rec(
11756       next:= [ 38, 44 ] ), rec(
11758       next:= [ 16, 14 ] ), rec(
11760       next:= [ 37, rec(
11763         next:= [ 42, 43 ] ) ] ), rec(
11765       next:= [ 881, 883 ] ), rec(
11767       next:= [ 89, 77 ] ), rec(
11769       next:= [ 897, 898 ] ), rec(
11771       next:= [ 337, 338 ] ), rec(
11773       next:= [ 691, 689 ] ), rec(
11775       next:= [ rec(
11778         next:= [ 733, 732 ] ), rec(
11781         next:= [ 731, 730 ] ) ] ), rec(
11783       next:= [ 140, 75, 87, 139 ] ), rec(
11785       next:= [ 336, 335 ] ), rec(
11787       next:= [ rec(
11790         next:= [ 725, rec(
11793           next:= [ 723, 724 ] ) ] ), rec(
11796         next:= [ rec(
11799           next:= [ 729, 728 ] ), rec(
11802           next:= [ 727, 726 ] ) ] ) ] ), rec(
11804       next:= [ 706, 705 ] ) ] ), rec(
11809     next:= [ 765, 150, 158, 762, 766, 166, 177, rec(
11812       next:= [ rec(
11815         next:= [ rec(
11818           next:= [ 148, 149 ] ), 151 ] ), 399 ] ), rec(
11821       next:= [ 174, 178 ] ), 169, rec(
11824       next:= [ rec(
11827         next:= [ 165, 170 ] ), 164 ] ), 760, rec(
11830       next:= [ 152, 400 ] ), 156, 763, 401, 764, 153, rec(
11833       next:= [ 155, 157 ] ), 402, rec(
11836       next:= [ 575, 576 ] ), 767, rec(
11839       next:= [ 574, 573 ] ), 171, 154, rec(
11842       next:= [ 571, 572 ] ), 179, 397, 761, 398 ] ), rec(
11845     next:= [ rec(
11847       next:= [ 19086, 19088, 19091, 19093 ] ), 19087, rec(
11849       next:= [ 19089, 19092 ] ), rec(
11851       next:= [ 19094, 19090 ] ), 19085 ] ), rec(
11853     next:= [ rec(
11856       next:= [ rec(
11858         next:= [ rec(
11861           next:= [ 5651, 5618, 5650 ] ), rec(
11864           next:= [ rec(
11867             next:= [ 5616, rec(
11870               next:= [ 5656, 5678 ] ), rec(
11873               next:= [ 5664, 5691 ] ) ] ), rec(
11876             next:= [ rec(
11879               next:= [ rec(
11882                 next:= [ 5633, 5614 ] ), 5648, 5649 ] ), rec(
11885               next:= [ rec(
11888                 next:= [ 5677, 5676 ] ), 5646, 5658 ] ), rec(
11891               next:= [ rec(
11894                 next:= [ 5662, rec(
11897                   next:= [ 5689, 5690 ] ) ] ), rec(
11900                 next:= [ 5686, 5674 ] ), rec(
11903                 next:= [ 5687, 5675 ] ) ] ) ] ), rec(
11906             next:= [ rec(
11909               next:= [ 5606, 5647 ] ), rec(
11912               next:= [ 5685, 5673 ] ) ] ) ] ) ] ), 5659, rec(
11914         next:= [ rec(
11917           next:= [ 5680, 5637, 5679, 5654 ] ), 5672, 5692 ] ), rec(
11919         next:= [ 5660, 5693 ] ), rec(
11921         next:= [ 5592, 5589 ] ), 5608, rec(
11923         next:= [ 5600, rec(
11926           next:= [ rec(
11929             next:= [ 5593, 5594 ] ), 5627 ] ), rec(
11932           next:= [ 5623, rec(
11935             next:= [ 5590, 5624 ] ) ] ) ] ), rec(
11937         next:= [ rec(
11940           next:= [ 5609, 5641 ] ), 5638, 5607 ] ), rec(
11942         next:= [ rec(
11945           next:= [ 5628, 5595 ] ), 5621, rec(
11948           next:= [ rec(
11951             next:= [ 5667, rec(
11954               next:= [ 5665, 5666 ] ) ] ), 5591, rec(
11957             next:= [ 5626, 5625 ] ) ] ) ] ), rec(
11959         next:= [ rec(
11962           next:= [ 5688, 5670 ] ), 5639, rec(
11965           next:= [ 5610, 5669, 5668, 5642 ] ) ] ), 5681, 5601, rec(
11967         next:= [ 5598, 5596, rec(
11970           next:= [ rec(
11973             next:= [ 5631, 5644 ] ), 5604, 5602 ] ) ] ), 5635, rec(
11975         next:= [ 5599, rec(
11978           next:= [ rec(
11981             next:= [ 5663, rec(
11984               next:= [ 5632, 5615 ] ), rec(
11987               next:= [ 5645, 5655 ] ) ] ), 5683, rec(
11990             next:= [ rec(
11993               next:= [ 5661, 5684, 5682 ] ), rec(
11996               next:= [ 5613, 5603, 5605 ] ), 5657 ] ) ] ), 5643, rec(
11999           next:= [ 5630, rec(
12002             next:= [ rec(
12005               next:= [ 5617, 5597 ] ), 5629 ] ) ] ) ] ), rec(
12007         next:= [ 5671, rec(
12010           next:= [ 5636, 5653 ] ), 5640 ] ) ] ), rec(
12012       next:= [ rec(
12015         next:= [ 5195, 5201, 5207 ] ), 5185, rec(
12017         next:= [ 5187, rec(
12020           next:= [ 5191, 5197, rec(
12023             next:= [ 5186, 5203 ] ) ] ) ] ), rec(
12025         next:= [ rec(
12028           next:= [ 5193, 5199, 5205 ] ), rec(
12031           next:= [ 5198, 5204, 5192 ] ) ] ), rec(
12034         next:= [ 5188, 5190 ] ), rec(
12037         next:= [ 5206, rec(
12040           next:= [ rec(
12043             next:= [ 5196, 5208 ] ), 5202 ] ), 5200, rec(
12046           next:= [ 5194, 5189 ] ) ] ) ] ) ] ), 21436 ] );